arXiv++ Combinatorics

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 study the two-color distinct-part series \(S_1(q)\), equivalently Andrews' generating function \(v_d(q)\) for strictly concave compositions, and its odd and even companions \(T_o(q)\) and \(T_e(q)\). We determine the coefficients of \(S_1(q)\) modulo \(4\) and obtain a complete criterion for the resulting Ramanujan-type progressions. For the even companion, we give a direct overpartition interpretation of its coefficients and show that two natural partition families are each counted by half of those coefficients. For the eta-normalized odd companion \(C(q)=(q;q)_\infty T_o(q)\), we prove a quintic self-similarity, derive exact vanishing relations and infinite sign changes for its coefficients, and show that \(c(n)\) can be nonzero only when \(24n+28\) is represented by \(x^2+3y^2\).

Let $p$ be a prime, let $d \geq 1$ be an integer and $A$ be the algebra of square matrices of size $d$ over the field of order $p$. Let $P, Q \in A[x_1, \dots x_n]$ be polynomials in $n$ indeterminates with coefficients in $A$, such that $Q$ is invertible in $ A[\![x_1, \dots, x_n]\!]$. Let also $\mathcal M \colon \mathbf Z^n \to A$ be the map associating to the $n$-tuple of integers $(α_1, \dots, α_n)$ the coefficient of the monomial $x_1^{α_1} \dots x_n^{α_n}$ in the development of the rational fraction $PQ^{-1}$ as a power series (the support of $\mathcal M$ is contained in $\mathbf N^n$). Our main result ensures that the map $\mathcal M$, viewed as a tiling of $\mathbf R^n$ by unit cubes with color set $A$, is self-similar. The self-similarity is expressed in terms of invariance under substitutions. By specializing to $d=1$, $n=2$, $P=1$ and $Q =1-x_1-x_2$, we recover the well-known self-similarity feature of the binomial coefficients modulo $p$.

We study a perturbed variant of Hofstadter's $Q$-recursion \[ Q(n)=Q(n-Q(n-1))+Q(n-Q(n-2))+(-1)^n, \qquad Q(1)=Q(2)=1 . \] Numerical experiments indicate that the sequence remains well defined for very large values of $n$ and exhibits an unexpectedly structured large-scale behavior. The data provide strong empirical evidence that the sequence grows approximately linearly, with \[ Q(n)\approx \frac{n}{2}. \] Writing $Q(n)=n/2+E(n)$, the fluctuation term $E(n)$ appears to display a persistent dyadic self-similarity: characteristic patterns recur across scales related by powers of two. A heuristic analysis of the recursion suggests a possible explanation for this phenomenon. Since the recursive indices typically lie close to $n/2$, the dynamics repeatedly couple values at scale $n$ with values near scale $n/2$, producing an effective dyadic renormalization mechanism. We further analyze the associated index processes $t_1(n)=n-Q(n-1)$ and $t_2(n)=n-Q(n-2)$, which reveal a pronounced parity dependence in the dynamics. In addition, numerical experiments on the frequency sequence of the values of $Q(n)$ suggest a regular dyadic organization with approximately geometric multiplicities inside blocks $B_k={2^k,\dots,2^{k+1}-1}$. Taken together, these observations point to a possible parity-split dyadic renormalization structure governing the long-term dynamics of the recursion. Establishing rigorous results for these phenomena remains an open problem.

We narrow the gap between the family of graphs that do and the family of graphs that do not satisfy the fat minor conjecture by obtaining much simpler counterexamples than were previously known, including $K_t, t \geq 6$ and $K_{s,t}, s,t \geq 4$ and $K_{2,2,2}$. This is achieved by establishing a `coarse self-similarity' property of the graphs used by Nguyen, Scott and Seymour to disprove the `coarse Menger conjecture'. This property may be of independent interest.

The Tower of Hanoi continues to provide a surprisingly rich meeting point for recursive reasoning, combinatorial geometry, and computational verification. Motivated by the editorial standards of the Bulletin of the Australian Mathematical Society, we revisit the classical three-peg problem through Sierpinski-style self-similarity, bring Stockmeyer's uniqueness argument into a modern invariant-based framework, and then pivot to four pegs via the Frame-Stewart strategy and Bousch's optimality proof. The heart of this note is a cautionary data-and-proof cycle: the balanced split k = floor(n/2) is indeed optimal for n <= 8, but our corrected tables show that it already exceeds the optimal cost by 20% at n = 9, crosses the 1.5 mark at n = 13, and comes close to quadrupling the optimum by n = 20. We complement this diagnosis with a subtower-independence lemma, a reproducible table for n <= 15, three publication-ready TikZ figures (recursion arrow, four-peg state diagram, and multi-peg growth curves), and a bibliography exceeding thirty sources that foreground Bulletin and Gazette contributions. The concluding section reframes the open problems as robustness tests for heuristics rather than premature theorems.

Classical studies of the Fibonacci sequence focus on its periodicity modulo $m$ (the Pisano periods) with canonical initialization. We investigate instead the complete periodic structure arising from all $m^2$ possible initializations in $\mathbb{Z}/m\mathbb{Z}$. We discover perfect mirror symmetry between the Fibonacci recurrence $a_n = a_{n-1} + a_{n-2}$ and its parity transform $a_n = - a_{n-1} + a_{n-2}$ and observe fractal self-similarity in the extension from prime to prime power moduli. Additionally, we classify prime moduli based on their quadratic reciprocity and demonstrate that periodic sequences exhibit weight preservation under modular extension. Furthermore, we define a minima distribution $P(n)$ governed by Lucas ratios, which satisfies the symmetric relation $P(n)=P(1-n)$. For cyclotomic recurrences, we propose explicit counting functions for the number of distinct periods with connections to necklace enumeration. These findings imply potential connections to Viswanath's random recurrence, modular forms and L-functions.

This work is about self-similar sequences of growing connected graphs. We explain how to construct such sequences and why they are important. We show for instance that all the connected graphs in a self-similar sequence have not only the same entropy, but also the same spectral radius.

The 2x2 space-filling curve is a type of generalized space-filling curve characterized by a basic unit is in a "U-shape" that traverses a 2x2 grid. In this work, we propose a universal framework for constructing general 2x2 curves where self-similarity is not strictly required. The construction is based on a novel set of grammars that define the expansion of curves from level 0 (a single point) to level 1 (units in U-shapes), which ultimately determines all $36 \times 2^k$ possible forms of curves on any level $k$ initialized from single points. We further developed an encoding system in which each unique form of the curve is associated with a specific combination of an initial seed and a sequence of codes that sufficiently describes both the global and local structures of the curve. We demonstrated that this encoding system is a powerful tool for studying 2x2 curves and we established comprehensive theoretical foundations from the following three key perspectives: 1) We provided a deterministic encoding for any unit on any level and position on the curve, enabling the study of curve generation across arbitrary parts on the curve and ranges of iterations; 2) We gave deterministic encodings for various curve transformations, including rotations, reflections and reversals; 3) We provided deterministic forms of families of curves exhibiting specific structures, including homogeneous curves, curves with identical shapes, partially identical shapes, and with completely distinct shapes. We also explored families of recursive curves, subunit identically or differently shaped curves, completely non-recursive curves, symmetric curves and closed curves. Finally, we proposed a method to calculate the location of any point on the curve arithmetically, within a time complexity linear to the level of the curve.

We extend a theorem of the second author on the $L^q$-dimensions of dynamically driven self-similar measures from the real line to arbitrary dimension. Our approach provides a novel, simpler proof even in the one-dimensional case. As consequences, we show that, under mild separation conditions, the $L^q$-dimensions of homogeneous self-similar measures in $\mathbb{R}^d$ take the expected values, and we derive higher rank slicing theorems in the spirit of Furstenberg's slicing conjecture.

For every positive integer $n$, we introduce a set $\mathcal{T}_n$ made of $(n+3)^2$ Wang tiles (unit squares with labeled edges). We represent a tiling by translates of these tiles as a configuration $\mathbb{Z}^2\to\mathcal{T}_n$. A configuration is valid if the common edge of adjacent tiles has the same label. For every $n\geq1$, we show that the Wang shift $Ω_n$, defined as the set of valid configurations over the tiles $\mathcal{T}_n$, is self-similar, aperiodic and minimal for the shift action. We say that $\{Ω_n\}_{n\geq1}$ is a family of metallic mean Wang shifts, since the inflation factor of the self-similarity of $Ω_n$ is the positive root of the polynomial $x^2-nx-1$. This root is sometimes called the $n$-th metallic mean, and in particular, the golden mean when $n=1$, and the silver mean when $n=2$. When $n=1$, the set of Wang tiles $\mathcal{T}_1$ is equivalent to the Ammann aperiodic set of 16 Wang tiles.

The Artificial Benchmark for Community Detection (ABCD) graph is a random graph model with community structure and power-law distribution for both degrees and community sizes. The model generates graphs similar to the well-known LFR model but it is faster and can be investigated analytically. In this paper, we show that the ABCD model exhibits some interesting self-similar behaviour, namely, the degree distribution of ground-truth communities is asymptotically the same as the degree distribution of the whole graph (appropriately normalized based on their sizes). As a result, we can not only estimate the number of edges induced by each community but also the number of self-loops and multi-edges generated during the process. Understanding these quantities is important as (a) rewiring self-loops and multi-edges to keep the graph simple is an expensive part of the algorithm, and (b) every rewiring causes the underlying configuration models to deviate slightly from uniform simple graphs on their corresponding degree sequences.

Various problems in engineering and natural science demand binary sequences that do not resemble translates of themselves, that is, the sequences must have small aperiodic autocorrelation at every nonzero shift. If $f$ is a sequence, then the demerit factor of $f$ is the sum of the squared magnitudes of the autocorrelations at all nonzero shifts for the sequence obtained by normalizing $f$ to unit Euclidean norm. The demerit factor is the reciprocal of Golay's merit factor, and low demerit factor indicates low self-similarity of a sequence under translation. We endow the $2^\ell$ binary sequences of length $\ell$ with uniform probability measure and consider the distribution of their demerit factors. Earlier works used combinatorial techniques to find exact formulas for the mean, variance, skewness, and kurtosis of the distribution as a function of $\ell$. These revealed that for $\ell \geq 4$, the $p$th central moment of this distribution is strictly positive for every $p \geq 2$. This article shows that for every $p$, the $p$th central moment is $\ell^{-2 p}$ times a quasi-polynomial function of $\ell$ with rational coefficients. It also shows that, in the limit as $\ell$ tends to infinity, the $p$th standardized moment is the same as that of the standard normal distribution.

Call a hereditary family $\mathcal{F}$ of graphs strongly persistent if there exists a graphon $W$ such that in all subgraphons $W'$ of $W$, $\mathcal{F}$ is precisely the class of finite graphs that have positive density in $W'$. Our first result is a complete characterization of the hereditary families of graphs that are strongly persistent as precisely those that are closed under substitutions. We call graphons with the self-similarity property above weakly random. A hereditary family $\mathcal{F}$ is said to have the weakly random Erdős--Hajnal property (WR) if every graphon that is a limit of graphs in $\mathcal{F}$ has a weakly random subgraphon. Among families of graphs that are closed under substitutions, we completely characterize the families that belong to WR as those with "few" prime graphs. We also extend some of the results above to structures in finite relational languages by using the theory of theons.

In 1946, Erdős posed the distinct distance problem, which seeks to find the minimum number of distinct distances between pairs of points selected from any configuration of $n$ points in the plane. The problem has since been explored along with many variants, including ones that extend it into higher dimensions. Less studied but no less intriguing is Erdős' distinct angle problem, which seeks to find point configurations in the plane that minimize the number of distinct angles. In their recent paper "Distinct Angles in General Position," Fleischmann, Konyagin, Miller, Palsson, Pesikoff, and Wolf use a logarithmic spiral to establish an upper bound of $O(n^2)$ on the minimum number of distinct angles in the plane in general position, which prohibits three points on any line or four on any circle. We consider the question of distinct angles in three dimensions and provide bounds on the minimum number of distinct angles in general position in this setting. We focus on pinned variants of the question, and we examine explicit constructions of point configurations in $\mathbb{R}^3$ which use self-similarity to minimize the number of distinct angles. Furthermore, we study a variant of the distinct angles question regarding distinct angle chains and provide bounds on the minimum number of distinct chains in $\mathbb{R}^2$ and $\mathbb{R}^3$.

Defining the biperiodic Fibonacci words as a class of words over the alphabet $\{0,1\}$, and two specializations the $k-$Fibonacci and classical Fibonacci words, we provide a self-similar decomposition of these words into overlapping words of the same type. These self-similar decompositions complement the previous literature where self-similarity was indicated but the specific structure of how the pieces interact was left undiscussed.

For a positive integer $\ell$, let $b_{\ell}(n)$ denote the number of $\ell$-regular partitions of a nonnegative integer $n$. Motivated by some recent conjectures of Keith and Zanello, we establish infinite families of congruences modulo $2$ for $b_3(n)$ and $b_{21}(n)$. We prove a specific case of a conjecture of Keith and Zanello on self-similarities of $b_3(n)$ modulo $2$. We next prove that the series $\sum_{n=0}^{\infty}b_9(2n+1)q^n$ is lacunary modulo arbitrary powers of $2$. We also prove that the series $\sum_{n=0}^{\infty}b_9(4n)q^n$ is lacunary modulo $2$.

This paper is interested in independent sets (or equivalently, cliques) in uniform random cographs. We also study their permutation analogs, namely, increasing subsequences in uniform random separable permutations. First, we prove that, with high probability as $n$ gets large, the largest independent set in a uniform random cograph with $n$ vertices has size $o(n)$. This answers a question of Kang, McDiarmid, Reed and Scott. Using the connection between graphs and permutations via inversion graphs, we also give a similar result for the longest increasing subsequence in separable permutations. These results are proved using the self-similarity of the Brownian limits of random cographs and random separable permutations, and actually apply more generally to all families of graphs and permutations with the same limit. Second, and unexpectedly given the above results, we show that for $β>0$ sufficiently small, the expected number of independent sets of size $βn$ in a uniform random cograph with $n$ vertices grows exponentially fast with $n$. We also prove a permutation analog of this result. This time the proofs rely on singularity analysis of the associated bivariate generating functions.

We investigate the parity of the coefficients of certain eta-quotients, extensively examining the case of $m$-regular partitions. Our theorems concern the density of their odd values, in particular establishing lacunarity modulo 2 for specified coefficients; self-similarities modulo 2; and infinite families of congruences in arithmetic progressions. For all $m \leq 28$, we either establish new results of these types where none were known, extend previous ones, or conjecture that such results are impossible. All of our work is consistent with a new, overarching conjecture that we present for arbitrary eta-quotients, greatly extending Parkin-Shanks' classical conjecture for the partition function. We pose several other open questions throughout the paper, and conclude by suggesting a list of specific research directions for future investigations in this area.

Wythoff's game as a classic combinatorial game has been well studied. In this paper, we focus on $(2n+1)$-dimensional Wythoff's game; that is the Wythoff's game with $(2n+1)$ heaps. We characterize their $\mathcal{P}$-positions explicitly and show that they have self-similar structures. In particular, the set of all $\mathcal{P}$-positions of $3$-dimensional Wythoff's game generates the well-known fractal set---the Sierpinski sponge.