Andriy Prymak

Andriy Prymak
Verified
Andriy verified their affiliation via an institutional email.
Verified
Andriy verified their affiliation via an institutional email.
University of Manitoba | UMN · Department of Mathematics

PhD

About

75
Publications
4,104
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
450
Citations

Publications

Publications (75)
Preprint
Full-text available
We show that any finite family of pairwise intersecting balls in $\mathbb{E}^n$ can be pierced by $(\sqrt{3/2}+o(1))^n$ points improving the previously known estimate of $(2+o(1))^n$. As a corollary, this implies that any $2$-illuminable spiky ball in $\mathbb{E}^n$ can be illuminated by $(\sqrt{3/2}+o(1))^n$ directions. For the illumination number...
Preprint
Full-text available
For every $n\ge 2$, we construct a body $U_n$ of constant width $2$ in $\mathbb{E}^n$ with small volume and symmetries of a regular $n$-simplex. $U_2$ is the Reuleaux triangle. To the best of our knowledge, $U_3$ was not previously constructed, and its volume is smaller than the volume of other three-dimensional bodies of constant width with tetrah...
Article
Let $\chi(\mathbb{E}^n)$ denote the chromatic number of the Euclidean space $\mathbb{E}^n$, i.e., the smallest number of colors that can be used to color $\mathbb{E}^n$ so that no two points unit distance apart are of the same color. We present explicit constructions of colorings of $\mathbb{E}^n$ based on sublattice coloring schemes that establish...
Preprint
Full-text available
For every large enough $n$, we explicitly construct a body of constant width $2$ that has volume less than $0.9^n \text{Vol}(\mathbb{B}^{n}$), where $\mathbb{B}^{n}$ is the unit ball in $\mathbb{R}^{n}$. This answers a question of O.~Schramm.
Article
Full-text available
We show that there exist convex bodies of constant width in En\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb {E}}^n$$\end{document} with illumination number a...
Preprint
Full-text available
We study Whitney-type estimates for approximation of convex functions in the uniform norm on various convex multivariate domains while paying a particular attention to the dependence of the involved constants on the dimension and the geometry of the domain.
Article
Full-text available
We introduce appropriate computable moduli of smoothness to characterize the rate of best approximation by multivariate polynomials on a connected and compact \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\o...
Preprint
Full-text available
We show that there exist convex bodies of constant width in $\mathbb{E}^n$ with illumination number at least $(\cos(\pi/14)+o(1))^{-n}$, answering a question by G. Kalai. Furthermore, we prove the existence of finite sets of diameter $1$ in $\mathbb{E}^n$ which cannot be covered by $(2/\sqrt{3}+o(1))^{n}$ balls of diameter $1$, improving a result b...
Article
We show that optimal polynomial meshes exist for every convex body in Rd, confirming a conjecture by A. Kroó.
Preprint
Full-text available
A set $Q$ in $\mathbb{Z}_+^d$ is a lower set if $(k_1,\dots,k_d)\in Q$ implies $(l_1,\dots,l_d)\in Q$ whenever $0\le l_i\le k_i$ for all $i$. We derive new and refine known results regarding the cardinality of the lower sets of size $n$ in $\mathbb{Z}_+^d$. Next we apply these results for universal discretization of the $L_2$-norm of elements from...
Preprint
We introduce appropriate computable moduli of smoothness to characterize the rate of best approximation by multivariate polynomials on a connected and compact $C^2$-domain $\Omega\subset \mathbb{R}^d$. This new modulus of smoothness is defined via finite differences along the directions of coordinate axes, and along a number of tangential direction...
Preprint
We show that optimal polynomial meshes exist for every convex body in $\mathbb{R}^d$, confirming a conjecture by A. Kroo.
Preprint
We prove new Bernstein and Markov type inequalities in $L^p$ spaces associated with the normal and the tangential derivatives on the boundary of a general compact $C^\alpha$-domain with $1\leq \alpha\leq 2$. These estimates are also applied to establish Marcinkiewicz type inequalities for discretization of $L^p$ norms of algebraic polynomials on $C...
Preprint
Full-text available
Let $\chi(\mathbb{E}^n)$ denote the chromatic number of the Euclidean space $\mathbb{E}^n$, i.e., the smallest number of colors that can be used to color $\mathbb{E}^n$ so that no two points unit distance apart are of the same color. We present explicit constructions of colorings of $\mathbb{E}^n$ based on sublattice coloring schemes that establish...
Preprint
Full-text available
We show that every $3$-dimensional convex body can be covered by $14$ smaller homothetic copies. The previous result was $16$ copies established by Papadoperakis in 1999, while a conjecture by Hadwiger is $8$. We modify Papadoperakis's approach and develop a discretization technique that reduces the problem to verification of feasibility of a numbe...
Article
Bezdek and Kiss showed that existence of origin-symmetric coverings of unit sphere in ${\mathbb {E}}^n$ by at most $2^n$ congruent spherical caps with radius not exceeding $\arccos \sqrt {\frac {n-1}{2n}}$ implies the X -ray conjecture and the illumination conjecture for convex bodies of constant width in ${\mathbb {E}}^n$ , and constructed such co...
Article
Full-text available
The paper is devoted to discretization of integral norms of functions from a given finite dimensional subspace. Even though this problem is extremely important in applications, its systematic study has begun only recently. In this paper we obtain a conditional theorem for all integral norms \(L_q\), \(1\le q<\infty \), which is an extension of know...
Preprint
We prove a new Bernstein type inequality in L p L^p spaces associated with the normal and the tangential derivatives on the boundary of a general compact C 2 C^2 -domain. We give two applications: Marcinkiewicz type inequality for discretization of L p L^p norms and positive cubature formulas. Both results are optimal in the sense that the number o...
Article
For an arbitrary planar convex domain, we compute the behavior of Christoffel function up to a constant factor using comparison with other simple reference domains. The lower bound is obtained by constructing an appropriate ellipse contained in the domain, while for the upper bound an appropriate parallelogram containing the domain is constructed....
Article
This paper studies the behavior of the entropy numbers of classes of functions with bounded integral norms from a given finite dimensional linear subspace. Upper bounds of these entropy numbers in the uniform norm are obtained and applied to establish a Marcinkiewicz-type discretization result for these classes.
Article
This paper studies a new Whitney type inequality on a compact domain $\Omega \subset {\mathbb R}^d$ that takes the form $$ \begin{align*} \inf_{Q\in \Pi_{r-1}^d(\mathcal{E})} \|f-Q\|_p \leq C(p,r,\Omega) \omega_{\mathcal{E}}^r(f,\mathrm{diam}(\Omega))_p,\ \ r\in {\mathbb N},\ \ 0 where $\omega _{\mathcal {E}}^r(f, t)_p$ denotes the r th order direc...
Article
Full-text available
Let \(H_n\) be the minimal number of smaller homothetic copies of an n-dimensional convex body required to cover the whole body. Equivalently, \(H_n\) can be defined via illumination of the boundary of a convex body by external light sources. The best known upper bound in three-dimensional case is \(H_3\le 16\) and is due to Papadoperakis. We use P...
Preprint
Full-text available
The main goal of this work is to give constructions of certain spherical coverings in small dimensions. K. Bezdek and Gy. Kiss showed that existence of origin-symmetric coverings of unit sphere in $\mathbb{E}^n$ by at most $2^n$ congruent spherical caps with radius not exceeding $\arccos\sqrt{\frac{n-1}{2n}}$ implies the X-ray conjecture and the il...
Preprint
This paper studies a new Whitney type inequality on a compact domain $\Omega\subset {\mathbb{R}}^d$ that takes the form $$\inf_{Q\in \Pi_{r-1}^d({\mathcal{E}})} \|f-Q\|_p \leq C(p,r,\Omega) \omega_{{\mathcal{E}}}^r(f,{\rm diam}(\Omega))_p,\ \ r\in {\mathbb{N}},\ \ 0<p\leq \infty,$$ where $\omega_{{\mathcal{E}}}^r(f, t)_p$ denotes the $r$-th order d...
Preprint
We prove a new Bernstein type inequality in $L^p$ spaces associated with the tangential derivatives on the boundary of a general compact $C^2$-domain. We give two applications: Marcinkiewicz type inequality for discretization of $L^p$ norm and positive cubature formula. Both results are optimal in the sense that the number of function samples used...
Preprint
For arbitrary planar convex domain, we compute the behavior of Christoffel function up to a constant factor using comparison with other simple reference domains. The lower bound is obtained by constructing an appropriate ellipse contained in the domain, while for the upper bound an appropriate parallelepiped containing the domain is constructed. As...
Preprint
Full-text available
This paper studies the behavior of the entropy numbers of classes of functions with bounded integral norms from a given finite dimensional linear subspace. Upper bounds of these entropy numbers in the uniform norm are obtained and applied to establish a Marcinkiewicz type discretization theorem for integral norms of functions from a given finite di...
Preprint
Full-text available
The paper is devoted to discretization of integral norms of functions from a given finite dimensional subspace. Even though this problem is extremely important in applications, its systematic study has begun recently. In this paper we obtain a conditional theorem for all integral norms $L_q$, $1\le q<\infty$, which is an extension of known results...
Preprint
Full-text available
We introduce appropriate computable moduli of smoothness to characterize the rate of best approximation by multivariate polynomials on a connected and compact $C^2$-domain $\Omega\subset \mathbb{R}^d$. This new modulus of smoothness is defined via finite differences along the directions of coordinate axes, and along a number of tangential direction...
Chapter
We prove a general lower bound on Christoffel function on planar convex domains in terms of a modification of the parallel section function of the domain. For a certain class of planar convex domains, in combination with a recent general upper bound, this allows to compute the pointwise behavior of Christoffel function. We illustrate this approach...
Article
The problem is discussed of replacing an integral norm with respect to a given probability measure by the corresponding integral norm with respect to a discrete measure. This problem is investigated for elements of finite-dimensional spaces. Also, discretization of the uniform norm of functions in a given finite-dimensional subspace of continuous f...
Article
В статье обсуждается задача о замене интегральной нормы по заданной вероятностной мере соответствующей интегральной нормой по дискретной мере. Указанная задача изучается для элементов конечномерных пространств. Также рассматривается дискретизация равномерной нормы для функций из заданного конечномерного подпространства непрерывных функций. Особое в...
Article
Up to a constant factor, we compute the Christoffel function on planar domains with boundary consisting of finitely many C2 curves such that each corner point of the boundary has interior angle strictly between 0 and π. The resulting formula uses the distances from the point of interest to the curves or certain parts of the curves defining the boun...
Preprint
Full-text available
Let H_n be the minimal number of smaller homothetic copies of an n-dimensional convex body required to cover the whole body. Equivalently, H_n can be defined via illumination of the boundary of a convex body by external light sources. The best known upper bound in three-dimensional case is H_3 ≤ 16 and is due to Papadoperakis. We use Papadoperakis'...
Preprint
Let $H_n$ be the minimal number of smaller homothetic copies of an $n$-dimensional convex body required to cover the whole body. Equivalently, $H_n$ can be defined via illumination of the boundary of a convex body by external light sources. The best known upper bound in three-dimensional case is $H_3\le 16$ and is due to Papadoperakis. We use Papad...
Article
Full-text available
Upper estimates of the diameter and the radius of the family of planar convex bodies with respect to the Banach–Mazur distance are obtained. Namely, it is shown that the diameter does not exceed 19-734≈2.614\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepack...
Preprint
Full-text available
We compute up to a constant factor the Christoffel function on planar domains with boundary consisting of finitely many $C^2$ curves intersecting at angles which are strictly between $0$ and $\pi$. The resulting formula uses the distances from the point of interest to certain extensions of the curves defining the boundary of the domain.
Preprint
Full-text available
The problem of replacing an integral norm with respect to a given probability measure by the corresponding integral norm with respect to a discrete measure is discussed in the paper. The above problem is studied for elements of finite dimensional spaces. Also, discretization of the uniform norm of functions from a given finite dimensional subspace...
Chapter
We prove that there is no strongly regular graph (SRG) with parameters (460, 153, 32, 60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs.
Article
Full-text available
We prove a general lower bound on Christoffel function on planar convex domains in terms of a modification of the parallel section function of the domain. For a certain class of planar convex domains, in combination with a recent general upper bound, this allows to compute the pointwise behavior of Christoffel function. We illustrate this approach...
Article
We prove the non-existence of strongly regular graph with parameters . We use Euclidean representation of a strongly regular graph together with a new lower bound on the number of 4-cliques to derive strong structural properties of the graph, and then use these properties to show that the graph cannot exist.
Preprint
Upper estimates of the diameter and the radius of the family of all planar convex bodies with respect to the Banach-Mazur distance are obtained. Namely, it is shown that the diameter does not exceed $\tfrac{19-\sqrt{73}}4\approx 2.614$, which improves the previously known bound of $3$, and that the radius does not exceed $\frac{117}{70}\approx 1.67...
Article
New upper bounds on the pointwise behaviour of Christoffel function on convex domains in ${\mathbb{R}}^d$ are obtained. These estimates are established by explicitly constructing the corresponding "needle"-like algebraic polynomials having small integral norm on the domain, and are stated in terms of few easy-to-measure geometric characteristics of...
Preprint
New upper bounds on the pointwise behaviour of Christoffel function on convex domains in ${\mathbb{R}}^d$ are obtained. These estimates are established by explicitly constructing the corresponding "needle"-like algebraic polynomials having small integral norm on the domain, and are stated in terms of few easy-to-measure geometric characteristics of...
Article
Nikol’skii inequalities for various sets of functions, domains, and weights will be discussed. Much of the work is dedicated to the class of algebraic polynomials of total degree n on a bounded convex domain D. That is, we study (Formula presented.) for which (Formula presented.)where P is a polynomial of total degree n. We use geometric properties...
Article
For each $q\in{\mathbb{N}}_0$, we construct positive linear polynomial approximation operators $M_n$ that simultaneously preserve $k$-monotonicity for all $0\leq k\leq q$ and yield the estimate \[ |f(x)-M_n(f, x)| \leq c \omega_2^{\varphi^\lambda} \left(f, n^{-1} \varphi^{1-\lambda/2}(x) \left(\varphi(x) + 1/n \right)^{-\lambda/2} \right) , \] for...
Preprint
For each $q\in{\mathbb{N}}_0$, we construct positive linear polynomial approximation operators $M_n$ that simultaneously preserve $k$-monotonicity for all $0\leq k\leq q$ and yield the estimate \[ |f(x)-M_n(f, x)| \leq c \omega_2^{\varphi^\lambda} \left(f, n^{-1} \varphi^{1-\lambda/2}(x) \left(\varphi(x) + 1/n \right)^{-\lambda/2} \right) , \] for...
Article
We prove that there is no strongly regular graph (SRG) with parameters (460,153,32,60). The proof is based on a recent lower bound on the number of 4-cliques in a SRG and some applications of Euclidean representation of SRGs.
Article
Full-text available
Our main result is the non-existence of strongly regular graph with parameters (76,30,8,14). We heavily use Euclidean representation of a strongly regular graph, and develop a number of tools that allow to establish certain structural properties of the graph. In particular, we give a new lower bound for the number of 4-cliques in a strongly regular...
Article
Full-text available
Nikol'skii inequalities for various sets of functions, domains and weights will be discussed. Much of the work is dedicated to the class of algebraic polynomials of total degree $n$ on a bounded convex domain $D$. That is, we study $\sigma:= \sigma(D,d)$ for which \[ \|P\|_{L_q(D)}\le c n^{\sigma(\frac1p-\frac1q)}\|P\|_{L_p(D)},\quad 0<p\le q\le\in...
Article
We show that for multivariate Freud-type weights $W_\alpha(x)=\exp(-|x|^\alpha)$, $\alpha>1$, any convex function $f$ on $R^d$ satisfying $fW_\alpha\in L_p(R^d)$ if $1\le p<\infty$, or $\lim_{|x|\to\infty}f(x)W_\alpha(x)=0$ if $p=\infty$, can be approximated in the weighted norm by a sequence $P_n$ of algebraic polynomials convex on $R^d$ such that...
Article
Full-text available
We show that on the $d$-dimensional cube $I^d\equiv [0,1]^d$ the discrete moduli of smoothness which use only the values of the function on a diadic mesh are sufficient to determine the moduli of smoothness of that function. As an important special case our result implies for $f\in C(I^d)$ and given integer $r$ that when $0<\alpha<r$, the condition...
Article
Pippenger (1977) [3] showed the existence of (6m,4m,3m,6)(6m,4m,3m,6)-concentrator for each positive integer mm using a probabilistic method. We generalize his approach and prove existence of (6m,4m,3m,5.05)(6m,4m,3m,5.05)-concentrator (which is no longer regular, but has fewer edges). We apply this result to improve the constant of approximation o...
Article
We prove that for a 3-monotone function F@?C[-1,1], one can achieve the pointwise estimates |F(x)-@J(x)|@?c@w"3(F,@r"n(x)),x@?[-1,1], where @r"n(x)@?1n^2+1-x^2n and c is an absolute constant, both with @J, a 3-monotone quadratic spline on the nth Chebyshev partition, and with @J, a 3-monotone polynomial of degree @?n. The basis for the construction...
Article
Full-text available
We survey developments, over the last thirty years, in the theory of Shape Preserving Approximation (SPA) by algebraic polynomials on a finite interval. In this article, "shape" refers to (finitely many changes of) monotonicity, convexity, or q-monotonicity of a function (for definition, see Section 4). It is rather well known that it is possible t...
Article
Full-text available
For a Banach space B of functions which satisfies for some m>0 $$ \max ({\|F+G\|}_B,{\|F-G\|}_B)\geqq ({\|F\|}^s_B+m{\|G\|}^s_B)^{1/s},\quad \forall \,F,G\in B $$ (∗) a significant improvement for lower estimates of the moduli of smoothness ω r (f,t) B is achieved. As a result of these estimates, sharp Jackson inequalities which are superior t...
Article
For r≥3, n∈N and each 3-monotone continuous function f on [a,b] (i.e., f is such that its third divided differences [x0,x1,x2,x3]f are nonnegative for all choices of distinct points x0,…,x3 in [a,b]), we construct a spline s of degree r and of minimal defect (i.e., s∈Cr−1[a,b]) with n−1 equidistant knots in (a,b), which is also 3-monotone and satis...
Article
Full-text available
We obtain an analog of Shvedov theorem for convex multivariate approximation by algebras of continuous functions. Comment: 9 pages
Article
Full-text available
For a positive finite measure d μ( u ) on ℝ d normalized to satisfy , the dilated average of f ( x ) is given by It will be shown that under some mild assumptions on d μ( u ) one has the equivalence where means , B is a Banach space of functions for which translations are continuous isometries and P ( D ) is an elliptic differential operator indu...
Article
Full-text available
A general approach is given for establishing Nikol'skii-type inequalities for various Lorentz spaces. The key ingredient for the proof is either a Bernstein-type inequality or a Remez-type inequality. Applications of our results to trigonometric polynomials on the torus Td, algebraic polynomials on [- 1,1], spherical harmonic polynomials on the uni...
Article
Given a monotone or convex function on a finite interval we construct splines of arbitrarily high order having maximum smoothness which are "nearly monotone" or "nearly convex" and provide the rate of L p -approximation which can be estimated in terms of the third or fourth (classical or Ditzian–Totik) moduli of smoothness (for uniformly spaced or...
Article
For Ω∈Rd, a convex bounded set with non-empty interior, the moduli of smoothness ωr(f,t)Lq(Ω) and the norm ∥f∥Lq(Ω) are estimated by an Ul’yanov-type expression involving ωr(f,t)Lp(Ω) where 0pq⩽∞. The main result for q∞ is given by ωr(f,t)q⩽C∫0tu-qθωr(f,u)pqduu1/q,0t⩽diamΩ,θ=dp-dq.The inequalities established here settle a conjecture in Ditzian and...
Article
Full-text available
Several results on constrained spline smoothing are obtained. In particular, we establish a general result, showing how one can constructively smooth any monotone or convex piecewise polynomial function (ppf) (or any $q$-monotone ppf, $q\geq 3$, with one additional degree of smoothness) to be of minimal defect while keeping it close to the original...
Article
Full-text available
For Lp spaces on Td, Rd and Sd¡1 sharp versions of the classical Marchaud inequality are known. These results are extended here to Orlicz spaces (on Td, Rd and Sd¡1) for which M(u1=q) is convex for some q, 1 < q • 2, where M(u) is the Orlicz function. Sharp converse inequalities for such spaces are deduced.
Article
Full-text available
It is shown that the rate of L p -approximation of a non-decreasing function in L p , 0 < p < ∞, by "nearly non-decreasing" splines can be esti-mated in terms of the third classical modulus of smoothness (for uniformly spaced knots) and third Ditzian-Totik modulus (for Chebyshev knots), and that estimates in terms of higher moduli are impossible. I...
Article
We consider 3-monotone approximation by piecewise polynomials with pre-scribed knots. A general theorem is proved, which reduces the problem of 3-monotone uniform approximation of a 3-monotone function, to convex local L1 approximation of the derivative of the function. As the corollary we obtain Jackson-type estimates on the degree of 3-monotone a...
Article
Full-text available
For every 3-convex piecewise-polynomial function s of degree ≤4 with n equidistant knots on [0, 1] we construct a 3-convex spline s1 (s1 ∈ C(3)) of degree ≤4 with the same knots that satisfies the inequality $$\left\| {S - S_1 } \right\|_{C_{[0,1]} } \leqslant c\omega _5 (s;1/n),$$ where c is an absolute constant and ω5 is the modulus of smoothnes...
Article
It is proved that for q-convex polynomial approximations, where $$q \geqslant 4$$ , inequalities of Jackson type are not valid even with a constant depending on the approximated function.

Network

Cited By