arXiv subjects

Tony Zeng

Publications and source records attributed to Tony Zeng.

7 recordsLinked to original sources

arXiv2026

A stellated tetrahedron that is probably not Rupert

A convex polyhedron is Rupert if a hole can be cut into it (making its genus $1$) such that an identical copy of the polyhedron can pass through the hole. Resolving a conjecture of Jerrard-Wetzel-Yuan, Steininger and Yurkevich recently constructed a convex polyhedron which is not Rupert. We propose a search for the simplest possible non-Rupert polyhedron and provide numerical evidence suggesting that a particular stellated tetrahedron is not Rupert. The computational techniques utilize linear program solvers to compute the largest possible scalings of polygons that can be translated to fit in other polygons. The relative simplicity of the stellated tetrahedron as compared to other polyhedra allows this more rudimentary check to be computationally tractable. In particular, we show that over 88% of a particular encoding of $\text{SO}(3) \times \text{SO}(3)$ equipped with the standard measure does not yield a Rupert passage.

math.MG↗

arXiv2026

Juniper Green and the Gallai-Edmonds Decomposition

Juniper Green is a simple combinatorial game invented by Rob Porteous and popularized by Ian Stewart. It was originally designed to familiarize school children with the concepts of multiplication and division. We analyze this elementary game through a completely different lens and show that it recovers the Gallai-Edmonds decomposition of the divisibility graph on the vertex set $V= \left\{1,2,\dots, n\right\}$. This characterizes the winning moves of the game; as a byproduct, we show that this decomposition seems to have many interesting and curious patterns that are currently unexplained.

math.CO↗

arXiv2024

Approximately Jumping Towards the Origin

Given an initial point $x_0 \in \mathbb{R}^d$ and a sequence of vectors $v_1, v_2, \dots$ in $\mathbb{R}^d$, we define a greedy sequence by setting $x_{n} = x_{n-1} \pm v_n$ where the sign is chosen so as to minimize $\|x_n\|$. We prove that if the vectors $v_i$ are chosen uniformly at random from $\mathbb{S}^{d-1}$ then elements of the sequence are, on average, approximately at distance $\|x_n\| \sim \sqrt{\pi d/8}$ from the origin. We show that the sequence $(\|x_n\|)_{n=1}^{\infty}$ has an invariant measure $\pi_d$ depending only on $d$ and we determine its mean and study its decay for all $d$. We also investigate a completely deterministic example in $d=2$ where the $v_n$ are derived from the van der Corput sequence. Several additional examples are considered.

math.PR↗

arXiv2024

A curious dynamical system in the plane

For any irrational $\alpha > 0$ and any initial value $z_{-1} \in \mathbb{C}$, we define a sequence of complex numbers $(z_n)_{n=0}^{\infty}$ as follows: $z_n$ is $z_{n-1} + e^{2 \pi i \alpha n}$ or $z_{n-1} - e^{2 \pi i \alpha n}$, whichever has the smaller absolute value. If both numbers have the same absolute value, the sequence terminates at $z_{n-1}$ but this happens rarely. This dynamical system has astonishingly intricate behavior: the choice of signs in $z_{n-1} \pm e^{2 \pi i \alpha n}$ appears to eventually become periodic (though the period can be large). We prove that if one observes periodic signs for a sufficiently long time (depending on $z_{-1}, \alpha$), the signs remain periodic for all time. The surprising complexity of the system is illustrated through examples.

math.DS↗

arXiv2024

On the Structure of Bad Science Matrices

The bad science matrix problem consists in finding, among all matrices $A \in \mathbb{R}^{n \times n}$ with rows having unit $\ell^2$ norm, one that maximizes $\beta(A) = \frac{1}{2^n} \sum_{x \in \{-1, 1\}^n} \|Ax\|_\infty$. Our main contribution is an explicit construction of an $n \times n$ matrix $A$ showing that $\beta(A) \geq \sqrt{\log_2(n+1)}$, which is only 18% smaller than the asymptotic rate. We prove that every entry of any optimal matrix is a square root of a rational number, and we find provably optimal matrices for $n \leq 4$.

math.FA↗

arXiv2023

Graph decomposition via edge edits into a union of regular graphs

Suppose a finite, unweighted, combinatorial graph $G = (V,E)$ is the union of several (degree-)regular graphs which are then additionally connected with a few additional edges. $G$ will then have only a small number of vertices $v \in V$ with the property that one of their neighbors $(v,w) \in E$ has a higher degree $\mbox{deg}(w) > \mbox{deg}(v)$. We prove the converse statement: if a graph has few vertices having a neighbor with higher degree and satisfies a mild regularity condition, then, via adding and removing a few edges, the graph can be turned into a disjoint union of (distance-)regular graphs. The number of edge operations depends on the maximum degree and number of vertices with a higher degree neighbor but is independent of the size of $|V|$.

math.CO↗

arXiv2020

Maximum distances in the four-digit Kaprekar process

For natural numbers $x$ and $b$, the classical Kaprekar function is defined as $K_{b} (x) = D-A$, where $D$ is the rearrangement of the base-$b$ digits of $x$ in descending order and $A$ is ascending. The bases $b$ for which $K_b$ has a $4$-digit non-zero fixed point were classified by Hasse and Prichett, and for each base this fixed point is known to be unique. In this article, we determine the maximum number of iterations required to reach this fixed point among all four-digit base-$b$ inputs, thus answering a question of Yamagami. Moreover, we also explore---as a function of $b$---the fraction of four-digit inputs for which iterating $K_b$ converges to this fixed point.

math.NT↗