BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Roman Karasev appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We present short proofs of Tverberg-type theorems for cell complexes by S. Hasui, D. Kishimoto, M. Takeda, and M. Tsutaya. One of them states that for any prime power $r$, any complex $X$ topologically homeomorphic to $S^{(d+1)(r-1)-1}$, and any continuous map $f:X\to\mathbb R^d$ there are pairwise disjoint faces $σ_1,\ldots,σ_r$ of $X$ such that $f(σ_1)\cap\ldots f(σ_r)\ne\emptyset$.
We note that the recent polynomial proofs of the spherical and complex plank covering problems by Zhao and Ortega-Moreno give some general information on zeros of real and complex polynomials restricted to the unit sphere. As a corollary of these results, we establish several generalizations of the celebrated Bang plank covering theorem. We prove a tight polynomial analog of the Bang theorem for the Euclidean ball and an even stronger polynomial version for the complex projective space. Specifically, for the ball we show that for every real nonzero $d$-variate polynomial $P$ of degree $n$, there exists a point in the unit $d$-dimensional ball at distance at least $1/n$ from the zero set of the polynomial $P$. Using the polynomial approach, we also prove the strengthening of the Fejes Tóth zone conjecture on covering a sphere by spherical segments, closed parts of the sphere between two parallel hyperplanes. In particular, we show that the sum of angular widths of spherical segments covering the whole sphere is at least $π$.
We prove that, for any positive integer $m$, a segment may be partitioned into $m$ possibly degenerate or empty segments with equal values of a continuous function $f$ of a segment, assuming that $f$ may take positive and negative values, but its value on degenerate or empty segments is zero.
Inspired by the classical Riemannian systolic inequality of Gromov we present a combinatorial analogue providing a lower bound on the number of vertices of a simplicial complex in terms of its edge-path systole. Similarly to the Riemannian case, where the inequality holds under a topological assumption of "essentiality", our proofs rely on a combinatorial analogue of that assumption. Under a stronger assumption, expressed in terms of cohomology cup-length, we improve our results quantitatively. We also illustrate our methods in the continuous setting, generalizing and improving quantitatively the Minkowski principle of Balacheff and Karam; a corollary of this result is the extension of the Guth--Nakamura cup-length systolic bound from manifolds to complexes.
A union of an arrangement of affine hyperplanes $H$ in $R^d$ is the real algebraic variety associated to the principal ideal generated by the polynomial $p_{H}$ given as the product of the degree one polynomials which define the hyperplanes of the arrangement. A finite Borel measure on $R^d$ is bisected by the arrangement of affine hyperplanes $H$ if the measure on the "non-negative side" of the arrangement $\{x\in R^d : p_{H}(x)\ge 0\}$ is the same as the measure on the "non-positive" side $\{x\in R^d : p_{H}(x)\le 0\}$. In 2017 Barba, Pilz \& Schnider considered special cases of the following measure partition hypothesis: For a given collection of $j$ finite Borel measures on $R^d$ there exists a $k$-element affine hyperplane arrangement that bisects each of the measures into equal halves simultaneously. They showed that there are simultaneous bisections in the case when $d=k=2$ and $j=4$. They conjectured that every collection of $j$ measures on $R^d$ can be simultaneously bisected with a $k$-element affine hyperplane arrangement provided that $d\ge \lceil j/k \rceil$. The conjecture was confirmed in the case when $d\ge j/k=2^a$ by Hubard and Karasev in 2018. In this paper we give a different proof of the Hubard and Karasev result using the framework of Blagojević, Frick, Haase \& Ziegler (2016), based on the equivariant relative obstruction theory of tom Dieck, which was developed for handling the Grünbaum--Hadwiger--Ramos hyperplane measure partition problem. Furthermore, this approach allowed us to prove even more, that for every collection of $2^a(2h+1)+\ell$ measures on $R^{2^a+\ell}$, where $1\leq \ell\leq 2^a-1$, there exists a $(2h+1)$-element affine hyperplane arrangement that bisects all of them simultaneously. Our result was extended to the case of spherical arrangements and reproved by alternative methods in a beautiful way by Crabb in 2020.
We use symplectic techniques to obtain partial results on Mahler's conjecture about the product of the volume of a convex body and the volume of its polar. We confirm the conjecture for hyperplane sections or projections of $\ell_p$-balls or the Hanner polytopes.
We consider the Tarski--Bang problem about covering of convex bodies by planks. The results of this kind give a lower bound on the sum of widths of planks (regions between a pair of parallel hyperplanes) covering a given convex body. Previously we have applied some notions of symplectic geometry to study convex bodies, and here we show that the symplectic techniques may be useful in this problem as well. We are able to handle some particular cases with the symplectic techniques, and show that the general cases would follow from a certain ``subadditivity conjecture'' in symplectic geometry, motivated by the results of K.~Ball. We also prove several related results by more elementary methods.
We study the Gromov waist in the sense of $t$-neighborhoods for measures in the Euclidean space, motivated by the famous theorem of Gromov about the waist of radially symmetric Gaussian measures. In particular, it turns our possible to extend Gromov's original result to the case of not necessarily radially symmetric Gaussian measure. We also provide examples of measures having no $t$-neighborhood waist property, including a rather wide class of compactly supported radially symmetric measures and their maps into the Euclidean space of dimension at least 2. We use a simpler form of Gromov's pancake argument to produce some estimates of $t$-neighborhoods of (weighted) volume-critical submanifolds in the spirit of the waist theorems, including neighborhoods of algebraic manifolds in the complex projective space. For reader's convenience, in one appendix of this paper we provide a more detailed explanation of the Caffarelli theorem that we use to handle not necessarily radially symmetric Gaussian measures. In the other appendix, we provide a comparison of different variations of Gromov's pancake method.
We give an improvement of the Carathéodory theorem for strong convexity (ball convexity) in $\mathbb R^n$, reducing the Carathéodory number to $n$ in several cases; and show that the Carathéodory number cannot be smaller than $n$ for an arbitrary gauge body $K$. We also give an improved topological criterion for one convex body to be a Minkowski summand of another.
We study some particular cases of Viterbo's conjecture relating volumes of convex bodies and actions of closed characteristics on their boundaries, focusing on the case of a Hamiltonian of classical mechanical type, splitting into summands depending on the coordinates and the momentum separately. We manage to establish the conjecture for sublevel sets of convex $2$-homogeneous Hamiltonians of this kind in several particular cases. We also discuss open cases of this conjecture.
In this paper, extending the works of Milena Radnović and Serge Tabachnikov, we establish conditions for two different non-symmetric norms to define the same billiard reflection law.
In this article we study the following question: What can be the measure of the minimal solid angle of a simplex in $\mathbb{R}^d$? We show that in dimensions three it is not greater than the solid angle of the regular simplex. And in dimension four the same holds for simplices sufficiently close to the regular simplex. We also study a similar question for trihedral and dihedral angles of polyhedra compared to those of regular solids.
We examine Gromov's method of selecting a point "heavily covered" by simplices formed by a given finite point sets, in order to understand the dependence of the heavily covered point on parameters. We have no continuous dependence, but manage to utilize the "homological continuous dependence" of the heavily covered point. This allows us to infer some corollaries in a usual way. We also give an elementary argument to prove the simplest of these corollaries.
Let $M$ and $N$ be smooth (real or complex) manifolds, and let $M$ be equipped with some Riemannian metric. A continuous map $f\colon M\longrightarrow N$ admits a local $k$-multiplicity if, for every real number $ω>0$, there exist $k$ pairwise distinct points $x_1,\ldots,x_k$ in $M$ such that $f(x_1)=\cdots=f(x_k)$ and $\diam\{x_1,\ldots,x_k\}<ω$. In this paper we systematically study the existence of local $k$-mutiplicities and derive criteria for the existence of local $k$-multiplicity in terms of Stiefel--Whitney classes and Chern classes of the vector bundle $f^*τN\oplus(-τM)$. For example, as a corollary of one criterion we deduce that for $k\geq 2$ a power of $2$, $M$ a compact smooth manifold with the integer $s:=\max\{\ell : \bar{w}_{\ell}(M)\neq 0\}$, and $N$ a parallelizable smooth manifold, if $s\geq \dim N-\dim M+1$ and $\bar{w}_{s}(M)^{k-1}\neq 0$, any continuous map $M\longrightarrow N$ admits a local $k$-multiplicity. Furthermore, as a special case of this corollary we recover, when $k=2$, the classical criterion for the non-existence of an immersion $M\looparrowright N$ between manifolds $M$ and $N$.
We estimate the selection constant in the following geometric selection theorem by Pach: For every positive integer $d$ there is a constant $c_d > 0$ such that whenever $X_1,..., X_{d+1}$ are $n$-element subsets of $\mathbb{R}^d$, then we can find a point $\mathbf{p} \in \mathbb{R}^d$ and subsets $Y_i \subseteq X_i$ for every $i \in [d+1]$, each of size at least $c_d n$, such that $\mathbf{p}$ belongs to all {\em rainbow} $d$-simplices determined by $Y_1,..., Y_{d+1}$, that is, simplices with one vertex in each $Y_i$. We show a super-exponentially decreasing upper bound $c_d\leq e^{-(1/2-o(1))(d \ln d)}$. The ideas used in the proof of the upper bound also help us prove Pach's theorem with $c_d \geq 2^{-2^{d^2 + O(d)}}$, which is a lower bound doubly exponentially decreasing in $d$ (up to some polynomial in the exponent). For comparison, Pach's original approach yields a triply exponentially decreasing lower bound. On the other hand, Fox, Pach, and Suk recently obtained a hypergraph density result implying a proof of Pach's theorem with $c_d \geq2^{-O(d^2\log d)}$. In our construction for the upper bound, we use the fact that the minimum solid angle of every $d$-simplex is super-exponentially small. This fact was previously unknown and might be of independent interest. For the lower bound, we improve the "separation" part of the argument by showing that in one of the key steps only $d+1$ separations are necessary, compared to $2^d$ separations in the original proof. We also provide a measure version of Pach's theorem.
We consider the geometric join of a family of subsets of the Euclidean space. This is a construction frequently used in the (colorful) Carathéodory and Tverberg theorems, and their relatives. We conjecture that when the family has at least $d+1$ sets, where $d$ is the dimension of the space, then the geometric join is contractible. We are able to prove this when $d$ equals $2$ and $3$, while for larger $d$ we show that the geometric join is contractible provided the number of sets is quadratic in $d$. We also consider a matroid generalization of geometric joins and provide similar bounds in this case.
We study nested partitions of $R^d$ obtained by successive cuts using hyperplanes with fixed directions. We establish the number of measures that can be split evenly simultaneously by taking a partition of this kind and then distributing the parts among $k$ sets. This generalises classical necklace splitting results and their more recent high-dimensional versions. With similar methods we show that in the plane, for any $t$ measures there is a path formed only by horizontal and vertical segments using at most $t-1$ turns that splits them by half simultaneously, and optimal mass-partitioning results for chessboard-colourings of $R^d$ using hyperplanes with fixed directions.
We show that every two nice measures in the plane can be partitioned into equal halves by translation of an angle from arbitrary k-fan when k is odd and in some cases when k is even. We also give some counterexamples for certain fans and measures.
In this paper we deduce the Lebesgue and the Knaster--Kuratowski--Mazurkiewicz theorems on the covering dimension, as well as their certain generalizations, from some simple facts of toric geometry. This provides a new point of view on this circle of results.
In this note we link symplectic and convex geometry by relating two seemingly different open conjectures: a symplectic isoperimetric-type inequality for convex domains, and Mahler's conjecture on the volume product of centrally symmetric convex bodies. More precisely, we show that if for convex bodies of fixed volume in the classical phase space the Hofer-Zehnder capacity is maximized by the Euclidean ball, then a hypercube is a minimizer for the volume product among centrally symmetric convex bodies.
In this paper we exhibit a similarity between Euclidean Ramsey problems and Knaster-type problems. By borrowing ideas from Ramsey theory we prove weak Knaster properties of non-equatorial triangles in spheres, and of simplices in Euclidean spaces.
We study some measure partition problems: Cut the same positive fraction of $d+1$ measures in $\mathbb R^d$ with a hyperplane or find a convex subset of $\mathbb R^d$ on which $d+1$ given measures have the same prescribed value. For both problems positive answers are given under some additional assumptions.
We study questions of the following type: Can one assign continuously and $Σ_m$-equivariantly to any $m$-tuple of distinct points on the sphere $S^n$ a multipath in $S^n$ spanning these points? A \emph{multipath} is a continuous map of the wedge of $m$ segments to the sphere. This question is connected with the \emph{higher symmetric topological complexity} of spheres, introduced and studied by I. Basabe, J. González, Yu. B. Rudyak, and D. Tamaki. In all cases we can handle, the answer is negative. Our arguments are in the spirit of the definition of the Hopf invariant of a map $f: S^{2n-1} \to S^n$ by means of the mapping cone and the cup product.
We consider extensions of the Rattray theorem and two Makeev's theorems, showing that they hold for several maps, measures, or functions simultaneously, when we consider orthonormal $k$-frames in $\R^n$ instead of orthonormal basis (full frames). We also present new results on simultaneous partition of several measures into parts by $k$ mutually orthogonal hyperplanes. In the case $k=2$ we relate the Rattray and Makeev type results with the well known embedding problem for projective spaces.
We prove that any simple polytope (and some non-simple polytopes) in $\mathbb R^3$ admits an inscribed regular octahedron.
We present projective versions of the center point theorem and Tverberg's theorem, interpolating between the original and the so-called "dual" center point and Tverberg theorems. Furthermore we give a common generalization of these and many other known (transversal, constraint, dual, and colorful) Tverberg type results in a single theorem, as well as some essentially new results about partitioning measures in projective space.
In this paper we compute: the Schwarz genus of the Stiefel manifold $V_k(\mathbb R^n)$ with respect to the action of the Weyl group $W_k:=(\mathbb Z/2)^{k}\rtimesΣ_k$, and the Lusternik--Schnirelmann category of the quotient space $V_k(\mathbb R^n)/W_k$. Furthermore, these results are used in estimating the number of: critically outscribed parallelotopes around the strictly convex body, and Birkhoff--James orthogonal bases of the normed finite dimensional vector space.
We show that every hypersurface in $\R^s\times \R^s$ contains a large grid, i.e., the set of the form $S\times T$, with $S,T\subset \R^s$. We use this to deduce that the known constructions of extremal $K_{2,2}$-free and $K_{3,3}$-free graphs cannot be generalized to a similar construction of $K_{s,s}$-free graphs for any $s\geq 4$. We also give new constructions of extremal $K_{s,t}$-free graphs for large $t$.
It is proved that if we partition a $d$-dimensional cube into $n^d$ small cubes and color the small cubes into $m+1$ colors then there exists a monochromatic connected component consisting of at least $f(d, m) n^{d-m}$ small cubes.
For convex partitions of a convex body $B$ we prove that we can put a homothetic copy of $B$ into each set of the partition so that the sum of homothety coefficients is $\ge 1$. In the plane the partition may be arbitrary, while in higher dimensions we need certain restrictions on the partition.
In this paper we give sufficient conditions for a compactum in $\mathbb R^n$ to have Carathéodory number less than $n+1$, generalizing an old result of Fenchel. Then we prove the corresponding versions of the colorful Carathéodory theorem and give a Tverberg type theorem for families of convex compacta.