Source author record

Steven Simon

Steven Simon appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

6works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

6 published item(s)

preprint2023arXiv

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.

preprint2015arXiv

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ünbaum 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.

preprint2015arXiv

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.

preprint2012arXiv

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.

preprint2011arXiv

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.

preprint2011arXiv

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.