arXiv++ Combinatorics

This book develops algebraic and combinatorial methods for studying discrete structures. It brings together graph theory, Boolean functions, Fourier analysis on finite groups, coding theory, perfect colorings and perfect codes, association schemes, Latin squares, and related topics. A central theme is the interaction between different representations of the same object: combinatorial, algebraic, spectral, and coding-theoretic. The main mathematical object studied in this book is a perfect coloring of a graph, or, equivalently, an equitable partition of a graph. The book is intended for advanced undergraduate and graduate students in mathematics and computer science, as well as for researchers in discrete mathematics, combinatorics, coding theory, and related fields.

We recall definitions of linking numbers and Wu--Simon numbers for spatial graphs. We expose a `converse' to the Conway--Gordon--Sachs theorem (i.e. description of linking functions for embeddings $K_6\to\mathbb{R}^3$), and some results on Wu--Simon numbers. We conjecture and discuss a generalization of the Conway--Gordon--Sachs theorem to multiple linking. The exposition is based on plane diagrams, so no knowledge of spatial geometry is required.

The panmagic square engraved in a temple in Khajuraho, India, and studied by Narayana Pandita in the 14th century, closely guards a secret: its group of symmetries is isomorphic to that of the hypercube, the four-dimensional analogue of the standard cube.

Infinite Canons is an ongoing series of canons with infinite solutions. More specifically, each canon is based on a melodic line that can be combined in any number of voices, at any tempo ratios (rational or irrational), and with each voice moving either forward or in retrograde inversion, while maintaining harmonic consistency. This paper describes the structure of these maximally self-similar melodic lines based on two different constructions: 1) a discrete prime-factorization approach yielding self-similarity under all rational ratios, and 2) a continuous logarithmic approach extending this to irrational ratios. In both cases the vertical interval between voices in a tempo ratio of $λ_i / λ_j$ is given by a homomorphism $φ(λ_i / λ_j)$, which is a constant independent of time. Furthermore, under these constructions retrograde inversion collapses to transposition, allowing for all manner of table canons. These structures are demonstrated with suggestive realizations of several different infinite canons. Future work includes a more complete mathematical treatment, musical applications, and an interactive program that allows users to explore an unlimited number of realizations of these pieces.

We present results around an isoperimetric problem built on polyforms: What is the biggest enclosed area one can build using polyforms in each of the three plane tessellations? We give challenges to the readers and present Shimauchi's proof of the biggest area a fence made of pentominoes can enclose. A translation of the instance using integer linear programming is also given. A companion web app is available to test some of the challenges we propose and for activities, and we included extra pages with a cutout handout of the board and pieces of the puzzles, so that you can print and cut them to read this paper hands on.

Let $N$ be an arbitrary positive integer and let $λ=(λ_1, λ_2, \ldots, λ_l)$ be a partition of $N$ of length $l$, i.e., $\sum_{i=1}^lλ_i= N$ with parts $λ_1\ge λ_2\ldots λ_l\ge 1$. Define $T(λ)$ as the partition of $N$ with parts $l,λ_1-1λ_2-1,\ldots λ_l-1$,ignoring any zeros that might occur. Starting with a partition $λ$ of $N$, we describe Bulgarian solitaire by repeatedly applying the shift operation $T$ to obtain the sequence of partitions $$ λ, T(λ), T^2(λ),\ldots . $$ We say a partition $μ$ of $N$ is $T$-cyclic if $T(μ) = μ$ for some $i\ge 1$. In 1982 Brandt [9] characterized all $T$-cyclic partitions for Bulgarian solitaire. Bulgarian solitaire is a dynamical system on integer partition of a positive integer $N$ which converges to a unique fixed point if $N=1+2+\cdots +k$ is a triangular number. In this paper we present a short survey of the game Bulgarian solitaire and several variations of this game.

Adriano Mario Garsia was born in Tunis on August 20, 1928, to a Tunisian-Italian family. He lived on a farm there until the end of World War II, then moved to Rome. After finishing high school, he was sent to the United States to live with relatives in Woyming and eventually made his way to California, becoming a student of Charles Loewner at Stanford in the early 1950s. Following his Ph.D., Adriano held positions at MIT, the University of Minnesota, and Caltech before joining the nascent mathematics department at the University of California, San Diego, in 1966 where he spent the remainder of his career. He passed away in San Diego on October 6, 2024, at the age of 96.

Between April 1 and May 15, 2026, a group of 49 mathematicians compiled a dataset of research-level mathematics questions with known answers. Most of the work was done during the 3-day workshop *Benchmarks in Leipzig* with 35 participants at the Max Planck Institute for Mathematics in the Sciences in Leipzig, Germany. We present the resulting collection of 100 questions. We evaluated these questions in three stages: a single attempt by five state-of-the-art LLMs, followed by a 20-runs-per-model evaluation with three of these models, and finally a 3-run attempt with two heavy-thinking models. After Stage 1, 41 questions remained completely unsolved; after Stage 2, this count dropped to 16; and we concluded Stage 3 with only 2 unsolved questions. This demonstrates that the mathematical reasoning capabilities of LLMs are becoming impressive.

While motivated by structural problems in mathematical music theory, this article introduces a novel combinatorial framework that advances the classification of cyclic cubic bipartite graphs. We extend the classical study of Levi graphs by endowing their vertices with an internal algebraic anatomy -- specifically, treating them not as empty geometric nodes, but as defined subsets of a cyclic base space Z_n. This internal structure allows us to formalize and classify a highly restricted class of graph isomorphisms: those strictly induced by global affine bijections f(x) = ax+b (mod n) operating directly on the underlying base set. By applying this framework to generalized tone networks (Tonnetze) unrolled via the Chinese Remainder Theorem in composite dimensions -- specifically the classic 12-TET (3x4) and the decaphonic 10-TET (2x5) -- we reveal absolute geometric anchors for these spaces, namely the (9,4) and (6,5) systems respectively. We completely classify the topological orbits of these structured graphs, proving a fundamental architectural dichotomy: while the isomorphic landscape of 12-TET splits into an orientation-preserving family and an orientation-reversing chiral mirror (providing a rigorous foundation for musical Negative Harmony), the 10-TET space is unconditionally orientation-preserving. Finally, we demonstrate that these abstract combinatorial properties manifest as rigidly coherent, parallel auditory universes through explicit structural voice-leading maps and acoustic physical modeling synthesis.

We give a correspondence between simple matroids and a reconstruction of Alfred North Whitehead's theory of dimension, as developed in "On Mathematical Concepts of the Material World" (1906). In brief, if a geometrical system in the generalized sense of Whitehead has finite ground set and is phi-maximal, then it is a simple matroid. Here "generalized" means that Whitehead's three-dimensional axiom is replaced by finite-dimensionality. Conversely, every simple matroid is a phi-maximal geometrical system in the generalized sense of Whitehead.

The holiday gift exchange game is a familiar social institution with nontrivial strategic structure. We provide a formal treatment of the game's mechanics, defining the state space, action sets, and the recursive structure of stealing chains; we prove termination and derive an algorithm for counting distinct game trajectories, which grow far faster than the space of possible final allocations. Beyond the base mechanics, we introduce a decorated model incorporating partial information, social costs, and adaptive strategies grounded in discrete choice theory and the frustration-aggression literature. A full factorial simulation of 240,000 games yields three findings of note: implicit social costs are the dominant regulator of aggression, reducing stealing by 27--48\% and outweighing both uncertainty and strategic sophistication; partial information, contrary to expectation, slightly increases stealing through asymmetric uncertainty; correlated valuations amplify every behavioral effect, so that consensus about gift quality, rather than the features themselves, is what intensifies competition. The first-player advantage is robust across all conditions.

What happens when a food product contains a version of itself? The Oreo Loaded -- a cookie whose filling contains real Oreo cookie crumbs -- can be viewed as the result of mixing a Mega Stuf Oreo into a Mega Stuf Oreo. Iterating this process yields a sequence of increasingly self-referential cookies; taking the limit gives the $\infty$-Oreo. We model the iteration as an affine recurrence on the creme fraction of the filling, prove convergence, and compute the limit exactly: the stuf of the $\infty$-Oreo is approximately $95.8\%$~creme and $4.2\%$~wafer. We then extend the framework to pairs of foods that reference each other, deriving a coupled recursion whose fixed point defines a \emph{bi-$\infty$ food}, and illustrate the construction with M\&M Cookies and Crunchy Cookie M\&M's. Finally, we classify $\infty$-foods by the number of foods in the recursion and introduce \emph{homological foods}, whose recursive structure is governed by cycles in a directed graph of commercially available products. We close with a conjecture. All products used in this paper can be purchased at a supermarket.