arXiv subjects

Steven Simon

Publications and source records attributed to Steven Simon.

At least 19 recordsLinked to original sources

arXiv2026

Topological Tverberg theorems for products of polytopes

The topological Tverberg theorem asserts that if $r$ is a prime power then for any continuous map $f\colon \Delta_{(r-1)(d+1)}\rightarrow \mathbb{R}^d$ from the $(r-1)(d+1)$-dimensional simplex $\Delta_{(r-1)(d+1)}$ to $\mathbb{R}^d$ there exist $r$ pairwise disjoint faces of the simplex whose images have non-empty $r$-fold intersection. By refinement, the same conclusion holds if the simplex is replaced by any polytope of the same dimension. While this dimension is tight for simplices, recent work of Sober\'on and Zerbib shows that this need not be true for polytopes in general. Here we give topological Tverberg theorems for products of simplices. Each of these improves upon the $(r-1)(d+1)$-dimensional threshold, even while imposing the structural condition that the ``Tverberg faces'' of the product are themselves the products of pairwise disjoint faces from each simplex factor. As before, refinement extends these results, and in particular their dimensional improvements, to products of arbitrary polytopes. As an example, if $d+1$ is a power of two then whenever $m\geq n\geq d+1$ and $m+n=3d+2$ we show that any continuous map $f\colon \Delta_m\times \Delta_n\rightarrow \mathbb{R}^d$ admits disjoint faces $\sigma_1,\sigma_2$ of $\Delta_m$ and $\tau_1,\tau_2$ of $\Delta_n$ such that $\cap_{i,j\in[2]} f(\sigma_i\times\tau_j)\neq \emptyset$. In the case of multilinear maps, our results imply partitions of grid-indexed point sets in $\mathbb{R}^d$ by specialized subsets with stronger intersection conclusions than given by Tverberg's original theorem. Lastly, we extend our results to van Kampen--Flores type theorems which impose dimensional restrictions on the faces of each product factor.

math.CO↗

arXiv2025

Outlier Detection in Plantar Pressure: Human-Centered Comparison of Statistical Parametric Mapping and Explainable Machine Learning

Plantar pressure mapping is essential in clinical diagnostics and sports science, yet large heterogeneous datasets often contain outliers from technical errors or procedural inconsistencies. Statistical Parametric Mapping (SPM) provides interpretable analyses but is sensitive to alignment and its capacity for robust outlier detection remains unclear. This study compares an SPM approach with an explainable machine learning (ML) approach to establish transparent quality-control pipelines for plantar pressure datasets. Data from multiple centers were annotated by expert consensus and enriched with synthetic anomalies resulting in 798 valid samples and 2000 outliers. We evaluated (i) a non-parametric, registration-dependent SPM approach and (ii) a convolutional neural network (CNN), explained using SHapley Additive exPlanations (SHAP). Performance was assessed via nested cross-validation; explanation quality via a semantic differential survey with domain experts. The ML model reached high accuracy and outperformed SPM, which misclassified clinically meaningful variations and missed true outliers. Experts perceived both SPM and SHAP explanations as clear, useful, and trustworthy, though SPM was assessed less complex. These findings highlight the complementary potential of SPM and explainable ML as approaches for automated outlier detection in plantar pressure data, and underscore the importance of explainability in translating complex model outputs into interpretable insights that can effectively inform decision-making.

cs.AI↗

arXiv2025

A non-face characterization of spheres on few vertices

We prove a relatively simple combinatorial characterization of simplicial $d$-spheres on $d+4$ vertices. Our criteria are given in terms of the intersection patterns of a simplicial complex's family of minimal non-faces. Namely, let $\Sigma$ be a simplicial complex on $d+4$ vertices and let $\mathcal{F}$ be its family of minimal non-faces. Then $\Sigma$ is a $d$-sphere if and only if $|\mathcal{F}|=n\geq 3$ is odd and there is an ordering $A_0,\ldots, A_{n-1}$ of the minimal non-faces, indices taken modulo $n$, such that successive $A_i$ are disjoint and the alternating $\frac{(n-1)}{2}$-fold intersections $A_i\cap A_{i+2} \cap A_{i+4} \cap \cdots \cap A_{i+n-3}$ partition the vertex set.

math.CO↗

arXiv2024

Fan distributions via Tverberg partitions and Gale duality

Equipartition theory, beginning with the classical ham sandwich theorem, seeks the fair division of finite point sets in $\mathbb{R}^d$ by the full-dimensional regions determined by a prescribed geometric dissection of $\mathbb{R}^d$. Here we examine $\textit{equidistributions}$ of finite point sets in $\mathbb{R}^d$ by prescribed $\textit{low dimensional}$ subsets. Our main result states that if $r\geq 3$ is a prime power, then for any $m$-coloring of a sufficiently small point set $X$ in $\mathbb{R}^d$, there exists an $r$-fan in $\mathbb{R}^d$ -- that is, the union of $r$ ``half-flats'' of codimension $r-2$ centered about a common $(r-1)$-codimensional affine subspace -- which captures all the points of $X$ in such a way that each half-flat contains at most an $r$-th of the points from each color class. The number of points in $\mathbb{R}^d$ we require for this is essentially tight when $m\geq 2$. Additionally, we extend our equidistribution results to ''piercing'' distributions in a similar fashion to Dolnikov's hyperplane transversal generalization of the ham sandwich theorem. By analogy with recent work of Frick et al., our results are obtained by applying Gale duality to linear cases of topological Tverberg-type theorems. Finally, we extend our distribution results to multiple $r$-fans after establishing a multiple intersection version of a topological Tverberg-type theorem due to Sarkaria.

math.CO↗

arXiv2023

Topological methods in zero-sum Ramsey theory

A cornerstone result of Erd\H os, Ginzburg, and Ziv (EGZ) states that any sequence of $2n-1$ elements in $\mathbb{Z}/n$ contains a zero-sum subsequence of length $n$. While algebraic techniques have predominated in deriving many deep generalizations of this theorem over the past sixty years, here we introduce topological approaches to zero-sum problems which have proven fruitful in other combinatorial contexts. Our main result (1) is a topological criterion for determining when any $\mathbb{Z}/n$-coloring of an $n$-uniform hypergraph contains a zero-sum hyperedge. In addition to applications for Kneser hypergraphs, for complete hypergraphs our methods recover Olson's generalization of the EGZ theorem for arbitrary finite groups. Furthermore, we (2) give a fractional generalization of the EGZ theorem with applications to balanced set families and (3) provide a constrained EGZ theorem which imposes combinatorial restrictions on zero-sum sequences in the original result.

math.CO↗

arXiv2023

The Generalized Makeev Problem Revisited

Based on a result of Makeev, in 2012 Blagojevi\'c and Karasev proposed the following problem: given any positive integers $m$ and $1\leq \ell\leq k$, find the minimum dimension $d=\Delta(m;\ell/k)$ such that for any $m$ mass distributions on $\mathbb{R}^d$, there exist $k$ hyperplanes, any $\ell$ of which equipartition each mass. The $\ell=k$ case is a central question in geometric and topological combinatorics which remains open except for few values of $m$ and $k$. For $\ell< k$ and arbitrary $m$, we establish new upper bounds on $\Delta(m;\ell/k)$ when (1) $\ell=2$ and $k$ is arbitrary and (2) $\ell=3$ and $k=4$. When $\ell=k-1$ and $m+1$ is a power of two these bounds are nearly optimal and are exponentially smaller than the current best upper bounds when $\ell=k$. Similar remarks apply to our upper bounds when the hyperplanes are prescribed to be pairwise orthogonal. Lastly, we provide transversal extensions of our results along the lines recently established by Frick et al.: given $m$ families of compact convex sets in $\mathbb{R}^d$ such that no $2^\ell$ members of any family are pairwise disjoint, we show that every member of each family is pierced by the union of any $\ell$ of some collection of $k$ hyperplanes.

math.CO↗

arXiv2022

Transversal generalizations of hyperplane equipartitions

The classical Ham Sandwich theorem states that any $d$ point sets in $\mathbb{R}^d$ can be simultaneously bisected by a single affine hyperplane. A generalization of Dolnikov asserts that any $d$ families of pairwise intersecting compact, convex sets in $\mathbb{R}^d$ admit a common hyperplane transversal. We extend Dolnikov's theorem by showing that families of compact convex sets satisfying more general non-disjointness conditions admit common transversals by multiple hyperplanes. In particular, these generalize all known optimal results to the long-standing Gr\"unbaum--Hadwiger--Ramos measure equipartition problem in the case of two hyperplanes. Our proof proceeds by establishing topological Radon-type intersection theorems and then applying Gale duality in the linear setting. For a single hyperplane, this gives a new proof of Dolnikov's original result via Sarkaria's non-embedding criterion for simplicial complexes.

math.CO↗

arXiv2021

Inscribed Tverberg-Type Partitions for Orbit Polytopes

Tverberg's theorem states that any set of $t(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Moreover, generic collections of fewer points cannot be so divided. Extending earlier work of the first author, we show that one can nonetheless guarantee inscribed ``polytopal partitions" with specified symmetry conditions in many such circumstances. Namely, for any faithful and full--dimensional orthogonal representation $\rho\colon G\rightarrow O(d)$ of any order $r$ group $G$, we show that a generic set of $t(r,d)-d$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets so that there are $r$ points, one from each of the resulting convex hulls, which are the vertices of a convex $d$--polytope whose isometry group contains $G$ via the regular action afforded by the representation. As with Tverberg's theorem, the number of points is optimal for this. At one extreme, this gives polytopal partitions for all regular $r$--gons in the plane, as well as for three of the six regular 4--polytopes in $\mathbb{R}^4$. At the other extreme, one has polytopal partitions for $d$-polytopes on $r$ vertices with isometry group equal to $G$ whenever $G$ is the isometry group of a vertex--transitive $d$-polytope.

math.CO↗

arXiv2021

Embedding dimensions of simplicial complexes on few vertices

We provide a simple characterization of simplicial complexes on few vertices that embed into the $d$-sphere. Namely, a simplicial complex on $d+3$ vertices embeds into the $d$-sphere if and only if its non-faces do not form an intersecting family. As immediate consequences, we recover the classical van Kampen--Flores theorem and provide a topological extension of the Erd\H os--Ko--Rado theorem. By analogy with F\'ary's theorem for planar graphs, we show in addition that such complexes satisfy the rigidity property that continuous and linear embeddability are equivalent.

math.CO↗

arXiv2021

From anyons to Majoranas

Anyons, particles that are neither bosons nor fermions, were predicted in the 1980s, but strong experimental evidence for the existence of the simplest type on anyons has only emerged this year. Further theoretical and experimental advances promise to nail the existence of more exotic types on anyons, such as Majorana fermions, which would make topological quantum computation possible.

cond-mat.supr-con↗

arXiv2019

Regular Polygonal Partitions of a Tverberg Type

A seminal theorem of Tverberg states that any set of $T(r,d)=(r-1)(d+1)+1$ points in $\mathbb{R}^d$ can be partitioned into $r$ subsets whose convex hulls have non-empty $r$-fold intersection. Almost any collection of fewer points in $\mathbb{R}^d$ cannot be so divided, and in these cases we ask if the set can nonetheless be $P(r,d)$--partitioned, i.e., split into $r$ subsets so that there exist $r$ points, one from each resulting convex hull, which form the vertex set of a prescribed convex $d$--polytope $P(r,d)$. Our main theorem shows that this is the case for any generic $T(r,2)-2$ points in the plane and any $r\geq 3$ when $P(r,2)=P_r$ is a regular $r$--gon, and moreover that $T(r,2)-2$ is tight. For higher dimensional polytopes and $r=r_1\cdots r_k$, $r_i \geq 3$, this generalizes to $T(r,2k)-2k$ generic points in $\mathbb{R}^{2k}$ and orthogonal products $P(r,2k)=P_{r_1}\times \cdots \times P_{r_k}$ of regular polygons, and likewise to $T(2r,2k+1)-(2k+1)$ points in $\mathbb{R}^{2k+1}$ and the product polytopes $P(2r,2k+1)=P_{r_1}\times \cdots \times P_{r_k} \times P_2$. As with Tverberg's original theorem, our results admit topological generalizations when $r$ is a prime power, and, using the "constraint method" of Blagojevi\'c, Frick, and Ziegler, allow for dimensionally restricted versions of a van Kampen--Flores type and colored analogues in the fashion of Sober\'on.

math.CO↗

arXiv2017

Hyperplane Equipartitions Plus Constraints

While equivariant methods have seen many fruitful applications in geometric combinatorics, their inability to answer the now settled Topological Tverberg Conjecture has made apparent the need to move beyond the use of Borsuk--Ulam type theorems alone. This impression holds as well for one of the most famous problems in the field, dating back to 1960, which seeks the minimum dimension $d:=\Delta(m;k)$ such that any $m$ mass distributions in $\mathbb{R}^d$ can be simultaneously equipartitioned by $k$ hyperplanes. Precise values of $\Delta(m;k)$ have been obtained in few cases, and the best-known general upper bound $U(m;k)$ typically far exceeds the conjectured-tight lower bound arising from degrees of freedom. Following the "constraint method" of Blagojevi\'c, Frick, and Ziegler originally used for Tverberg-type results and recently to the present problem, we show how the imposition of further conditions -- on the hyperplane arrangements themselves (e.g., orthogonality, prescribed flat containment) and/or the equipartition of additional masses by successively fewer hyperplanes ("cascades") -- yields a variety of optimal results for constrained equipartitions of $m$ mass distributions in dimension $U(m;k)$, including in dimensions \textit{below} $\Delta(m+1;k)$, which are still extractable via equivariance. Among these are families of exact values for full orthogonality as well as cascades which maximize the "fullness" of the equipartition at each stage, including some strengthened equipartitions in dimension $\Delta(m;k)$ itself.

math.MG↗

arXiv2015

Measure Partitions via Fourier Analysis II: Center Transversality in the $L^2$-norm for Complex Hyperplanes

Applications of harmonic analysis on finite groups were recently introduced to measure partition problems, with a variety of equipartition types by convex fundamental domains obtained as the vanishing of prescribed Fourier transforms. Considering the circle group, we extend this approach to the compact Lie group setting, in which case the annihilation of transforms in the classical Fourier series produces measure transversality similar in spirit to the classical centerpoint theorem of Rado: for any $q\geq 2$, the existence of a complex hyperplane whose surrounding regular $q$-fans are close -- in an $L^2$-sense -- to equipartitioning a given set of measures. The proofs of these results represent the first application of continuous as opposed to finite group actions in the usual equivariant topological reductions prevalent in combinatorial geometry.

math.MG↗

arXiv2015

Average-Value Tverberg Partitions via Finite Fourier Analysis

The long-standing topological Tverberg conjecture claimed, for any continuous map from the boundary of an $N(q,d):=(q-1)(d+1)$-simplex to $d$-dimensional Euclidian space, the existence of $q$ pairwise disjoint subfaces whose images have non-empty $q$-fold intersection. The affine cases, true for all $q$, constitute Tverberg's famous 1966 generalization of the classical Radon's Theorem. Although established for all prime powers in 1987 by \"Ozaydin, counterexamples to the conjecture, relying on 2014 work of Mabillard and Wagner, were first shown to exist for all non-prime-powers in 2015 by Frick. Starting with a reformulation of the topological Tverberg conjecture in terms of harmonic analysis on finite groups, we show that despite the failure of the conjecture, continuous maps \textit{below} the tight dimension $N(q,d)$ are nonetheless guaranteed $q$ pairwise disjoint subfaces -- including when $q$ is not a prime power -- which satisfy a variety of "average value" coincidences, the latter obtained as the vanishing of prescribed Fourier transforms.

math.CO↗

arXiv2014

Measure Equipartitions via Finite Fourier Analysis

Applications of harmonic analysis on finite groups are introduced to measure partition problems, with equipartitions obtained as the vanishing of prescribed Fourier transforms. For elementary abelian groups $Z_p^k$, $p$ an odd prime, equipartitions are by $k$-tuples of complex regular $p$-fans in $\mathbb{C}^d$, analogues of the famous Gr\"unbaum problem on equipartitions in $\mathbb{R}^d$ by $k$-tuples of hyperplanes (i.e., regular 2-fans). Here the number of regions is a prime power, as usual in topological applications to combinatorial geometry. For general abelian groups, however, the Fourier perspective yields new classes of equipartitions by families of complex regular fans $F_{q_1},\ldots, F_{q_k}$ (such as those of a "Makeev-type"), including when the number of regions is not a prime power.

math.MG↗

arXiv2012

Equivariant Equipartitions: Ham Sandwich Theorems for Finite Subgroups of Spheres

Equivariant "Ham Sandwich" Theorems are obtained for the finite subgroups G of the unit spheres S(F) in the classical algebras F = R, C, and H. Given any n F-valued mass distributions on F^n, it is shown that there exists a G-equivariant decomposition of F^n into |G| regular convex fundamental regions which "G-equipartition" each of the n measures, as realized by the vanishing of the "G-averages" of these regions' measures. Applications for real measures follow, among them that any n signed mass distributions on R^{(p-1)n} can be equipartitioned by a single regular p-fan when p a prime number.

math.CO↗

arXiv2011

From the Ham Sandwich to the Pizza Pie: A Simultaneous Z_m Equipartition of Complex Measures

A "ham sandwich" theorem is derived for n complex Borel measures on C^n. For each integer m>=2, it shown that there exists a regular m-fan centered about a complex hyperplane, satisfying the condition that for each complex measure, the "Z_m rotational average" of the measures of the m corresponding regular sectors is zero. Taking [n/2] finite Borel measures on R^n and letting m=3, the theorem shows the existence of a regular 3-fan in R^n which trisects each measure; when m=4, the theorem shows the existence of a pair of orthogonal hyperplanes, each of which bisects each measure. If the theorem is applied to 2n finite Borel measures on R^2n, the classical ham sandwich theorem for R^2n is recovered when m = 2.

math.CO↗

arXiv2011

A Ham Sandwich Analogue for Quaternionic Measures and Finite Subgroups of S^3

A "ham sandwich" theorem is established for n quaternionic Borel measures on quaternionic space H^n. For each finite subgroup G of S^3, it is shown that there is a quaternionic hyperplane H and a corresponding tiling of H^n into |G| fundamental regions which are rotationally symmetric about H with respect to G, and satisfy the condition that for each of the n measures, the "G average" of the measures of these regions is zero. If each quaternionic measure is a 4-tuple of finite Borel measures on R^{4n}, the original ham sandwich theorem on R^{4n} is recovered when G = Z_2. The theorem applies to [n/4] finite Borel measures on R^n, and when G is the quaternion group Q_8 this gives a decomposition of R^n into 2 rings of 4 cubical "wedges" each, such that the measure any two opposite wedges is equal for each finite measure.

math.CO↗