English
Related papers

Related papers: Uneven Splitting of Ham Sandwiches

200 papers

Hadwiger's theorem is a Helly-type theorem involving common transversals to families of convex sets instead of common intersections. Subsequently, Pollack and Wenger identified a necessary and sufficient condition, called a consistent…

Combinatorics · Mathematics 2025-12-03 Ilani Axelrod-Freed , João Pedro Carvalho , Yuki Takahashi

We show that, for any set of n points in d dimensions, there exists a hyperplane with regression depth at least ceiling(n/(d+1)). as had been conjectured by Rousseeuw and Hubert. Dually, for any arrangement of n hyperplanes in d dimensions…

Computational Geometry · Computer Science 2010-01-21 Nina Amenta , Marshall Bern , David Eppstein , Shang-Hua Teng

A space $X$ is H-separable (Bella et al., 2009) if for every sequence $(Y_n)$ of dense subspaces of $X$ there exists a sequence $(F_n)$ such that for each $n$ $F_n$ is a finite subset of $Y_n$ and every nonempty open set of $X$ intersects…

General Topology · Mathematics 2025-11-07 Debraj Chandra , Nur Alam , Dipika Roy

We provide the final step in the resolution of Bourgain's slicing problem in the affirmative. Thus we establish the following theorem: for any convex body $K \subseteq \mathbb{R}^n$ of volume one, there exists a hyperplane $H \subseteq…

Metric Geometry · Mathematics 2024-12-20 Boaz Klartag , Joseph Lehec

The aim of this note is to give a sufficient condition for pairs of functions to have a convex separator when the underlying structure is a Cartan--Hadamard manifold, or more generally: a reduced Birkhoff--Beatley system. Some exotic…

Metric Geometry · Mathematics 2020-09-29 Mihály Bessenyei , Dávid Cs. Kertész , Rezső L. Lovas

We use recent extensions of the Borsuk--Ulam theorem for Stiefel manifolds to generalize the ham sandwich theorem to mass assignments. A $k$-dimensional mass assignment continuously imposes a measure on each $k$-dimensional affine subspace…

Combinatorics · Mathematics 2021-10-11 Ilani Axelrod-Freed , Pablo Soberón

Let $X$ be a smooth irreducible projective variety of dimension at least 2 over an algebraically closed field of characteristic 0 in the projective space ${\mathbb{P}}^n$. Bertini's Theorem states that a general hyperplane $H$ intersects…

Algebraic Geometry · Mathematics 2009-10-22 Jing Zhang

A classical result of A.D. Alexandrov states that a connected compact smooth $n-$dimensional manifold without boundary, embedded in $\Bbb R^{n+1}$, and such that its mean curvature is constant, is a sphere. Here we study the problem of…

Analysis of PDEs · Mathematics 2007-05-23 YanYan Li , Louis Nirenberg

We study complete spacelike hypersurfaces immersed in an open region of the de Sitter space $\mathbb{S}^{n+1}_{1}$ which is known as the steady state space $\mathcal{H}^{n+1}$. In this setting, under suitable constraints on the behavior of…

Differential Geometry · Mathematics 2025-01-22 Weiller F. C. Barboza , Henrique F. de Lima , Marco Antonio L. Velásquez

You have $m$ muffins and $s$ students. You want to divide the muffins into pieces and give the shares to students such that every student has $\frac{m}{s}$ muffins. Find a divide-and-distribute protocol that maximizes the minimum piece. Let…

A finite point set in $\mathbb{R}^d$ is in general position if no $d + 1$ points lie on a common hyperplane. Let $\alpha_d(N)$ be the largest integer such that any set of $N$ points in $\mathbb{R}^d$, with no $d + 2$ members on a common…

Combinatorics · Mathematics 2026-01-14 Andrew Suk , Ji Zeng

We give some sufficient conditions of separation of two sets of integer points by a hyperplane. Our conditions are related to the notion of convexity of sets of integer points and are weaker than existing notions.

Combinatorics · Mathematics 2014-02-11 Takuya Kashimura , Yasuhide Numata , Akimichi Takemura

For A a separable unital C*-algebra and M a separable McDuff II_1-factor, we show that the space Hom_w(A,M) of weak approximate unitary equivalence classes of unital *-homomorphisms A \rightarrow M may be considered as a closed, bounded,…

Operator Algebras · Mathematics 2015-12-02 Scott Atkinson

We show that if no $m$-plane contains almost all of an $m$-rectifiable set $E \subset \R^{n}$, then there exists a single $(m - 1)$-plane $V$ such that the radial projection of $E$ has positive $m$-dimensional measure from every point…

Classical Analysis and ODEs · Mathematics 2015-03-17 Tuomas Orponen , Tuomas Sahlsten

Given a $k$-uniform hypergraph $\mathcal{H}$ and sufficiently large $m \gg m_0(\mathcal{H})$, we show that an $m$-element set $I \subseteq V(\mathcal{H})$, chosen uniformly at random, with probability $1 - e^{-\omega(m)}$ is either not…

Combinatorics · Mathematics 2023-04-25 Rajko Nenadov

We compute some numerical invariants of the lines on hyperplane sections of a smooth cubic threefold over complex numbers. We also prove that for any smooth hypersurface $X\subset \mathbb P^{n+1}$ of degree $d$ over an algebraically closed…

Algebraic Geometry · Mathematics 2020-07-08 Yiran Cheng

If a finitely generated monoid M is defined by a finite number of degree-preserving relations, then it has linear growth if and only if it can be decomposed into a finite disjoint union of subsets (which we call "sandwiches") of the form…

Group Theory · Mathematics 2017-12-19 Dmitri Piontkovski

In this work we prove that if for a pair of convex bodies $K_1, K_2 \subset \mathbb{R}^n$, $n \geq 3$, there exists a hyperplane $H$ and two distinct points $p_1$ and $p_2$ in $\mathbb{R}^n \setminus H$ such that for every $(n-2)$-plane $M…

Metric Geometry · Mathematics 2026-02-03 Efren Morales-Amaya

The real homology of a compact, n-dimensional Riemannian manifold M is naturally endowed with the stable norm. The stable norm of a homology class is the minimal Riemannian volume of its representatives. If M is orientable the stable norm…

Differential Geometry · Mathematics 2007-05-23 Franz Auer , Victor Bangert

Let $k$ be a field, $m$ a positive integer, $\mathbb{V}$ an affine subvariety of $\mathbb{A}^{m+3}$ defined by a linear relation of the form $x_{1}^{r_{1}}\cdots x_{m}^{r_{m}}y=F(x_{1}, \ldots , x_{m},z,t)$, $A$ the coordinate ring of…

Commutative Algebra · Mathematics 2023-06-06 Parnashree Ghosh , Neena Gupta