Researcher profile

Steven Simon

Steven Simon contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

4 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.

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.