arXiv++ Combinatorics

We prove that the magnitude of the tope graph of a simple oriented matroid is the specialization at $x=-1$ of the motivic zeta function of its underlying matroid. This refines the Las Vergnas--Zaslavsky theorem and defines magnitude for arbitrary matroids. For simple orientable matroids, we compute the order of the pole at $q=-1$ from chains of flats and identify it with the Varchenko--Gelfand degree of the tope parity function. Comparing pole orders, we construct a rank-six real arrangement $\mathcal A$ such that $\operatorname{Mag}(\mathcal A;-t)$ has infinitely many negative coefficients, disproving Koizumi--Liu's eventual sign alternation conjecture. We then construct a canonical multiplicative Varchenko--Gelfand filtration on the mod-$2$ magnitude cohomology of a simple oriented matroid and show that its graded dimensions recover the full motivic zeta function.

We completely determine the magnitude homology of tope graphs of real hyperplane arrangements. Their ranks can be described as the Hilbert functions of the Stanley--Reisner rings of certain simplicial complexes naturally associated with the arrangements. For Coxeter arrangements, this gives a computation of the magnitude homology of the Cayley graph of the corresponding Coxeter group. We also prove the homological reciprocity for central arrangements conjectured by Koizumi--Liu. The proof combines poset combinatorics, the Edelman--Walker theorem, and Alexander duality.

Littlewood asked for the maximum number $N$ of congruent infinite cylinders that can be arranged in $\mathbb{R}^3$ so that every pair touches. We improve upon the proof of the second author that $N \leq 18$ to show that $N \leq 10$. Together with the lower bound established by Bozóki, Lee, and Rónyai, this shows that $N \in \{7,8,9,10\}$. Our method is based on linear algebra and Ramsey theory, and makes partial use of computer verification. We also provide a completely computer-free proof that $N \leq 12$.

Let $N$ denote the maximum number of congruent infinite cylinders that can be arranged in $\mathbb{R}^3$ so that every pair of cylinders touches each other. Littlewood posed the question of whether $N=7$, which remains unsolved. In this paper, we prove that $N\leq 18$, improving the previously known upper bound of $24$ established by A. Bezdek.

Paul Erdős posed the question of whether every measurable planar set of infinite Lebesgue measure contains the four vertices of an isosceles trapezoid of unit area. In this paper, we provide an affirmative answer to this question. Additionally, we present affirmative solutions to similar questions by Erdős concerning isosceles triangles and right-angled triangles.

Let $f(n)$ denote the maximum total length of the sides of $n$ squares packed inside a unit square. Erdős conjectured that $f(k^2+1)=k$. We show that the conjecture is true if we assume that the sides of the squares are parallel to the sides of the unit square.

An iterated circumcenter sequence (ICS) in dimension $d$ is a sequence of points in $\mathbb{R}^d$ where each point is the circumcenter of the preceding $d+1$ points. The purpose of this paper is to completely determine the parameter space of ICSs and its subspace consisting of periodic ICSs. In particular, we prove Goddyn's conjecture on periodic ICSs, which was independently proven recently by Ardanuy. We also prove the existence of a periodic ICS in any dimension.

The formula for the number of domino tilings due to Kasteleyn and Temperley-Fisher is strikingly similar to Eisenstein's formula for the Legendre symbol. We study the connection between these two concepts and prove a formula which expresses the Jacobi symbol in terms of domino tilings.