arXiv++ Combinatorics

We prove every term of Svinin's even-order recurrences is a Laurent polynomial in the initial values.

Binomial coefficients for multidimensional arrays count occurrences of particular configurations. For the sake of presentation, the emphasis is put on column-binomial coefficients for two-dimensional finite arrays. In this article, we first show that these coefficients can be computed through some Magnus transform. To get structural and combinatorial information on arrays, we then define \((k,\ell)\)-binomial equivalence for finite arrays and, from it, the \((k,\ell)\)-binomial complexity function of an infinite array. Roughly, two finite arrays are \((k,\ell)\)-binomially equivalent when they share the same number of subarrays of size at most $k\times \ell$. We obtain general results on the \((k,\ell)\)-binomial complexity of infinite arrays coding direct products of infinite words. Our main theorem gives an exact formula for the \((k,\ell)\)-binomial complexity of the two-dimensional Thue--Morse array. To that end, we closely examine the action of the bit-wise complement on the \(k\)-binomial equivalence classes of the factors of the Thue--Morse word.

We show that all normal covers of a fixed finite graph $G$ sitting between the universal and maximal abelian covers share the same atomic part of their spectral measures. We give an explicit double formula for the mass of atoms which generalises and unifies known results on universal covering trees and maximal abelian covers. It also proves an extension of a conjecture in physics literature on hyperbolic lattices. Moreover, we also establish the logarithmic Hölder regularity of the continuous part of the spectral measures. Our proof combines techniques from von Neumann algebras, matching theory and the monotone labelling method. In an appendix, we prove a converse generalised Gallai-Edmonds structural theorem which might be of independent interest.

The order $m$ antisymmetrised matrix product ensemble is represented by the product $X_1^T\cdots X_m^TJX_m\cdots X_1$, where $X_1,\ldots,X_m$ are independent real Ginibre matrices and $J$ is the elementary antisymmetric matrix, while the order $m$ Hermitised matrix product ensemble is represented by $X_1^\dagger\cdots X_m^\dagger HX_1\cdots X_m$, where $X_1,\ldots,X_m$ are now independent complex Ginibre matrices and $H$ is a Hermitian matrix drawn from the Gaussian unitary ensemble. These ensembles have recently been shown to be related to certain Muttalib--Borodin ensembles and integrals of Harish-Chandra--Itzykson--Zuber type, thereby motivating further investigation into their eigenvalue statistics. In this work, we construct ribbon graphs and constellations that are enumerated by the mixed cumulants of these ensembles and give loop equation characterisations for the generating functions of said cumulants when $m=1$.

We introduce a new family of recursively constructed sparse matrices, termed Fractus matrices, and investigate their use in constructing low-density parity-check (LDPC) codes. Generated through a self-similar recursive process, these matrices yield regular sparse parity-check matrices while preserving key structural properties across successive iterations. This recursive structure enables an efficient encoding algorithm with computational complexity that is nearly linear in the block length. Decoding is performed using standard iterative message-passing algorithms, thereby retaining the low-complexity decoding characteristic of LDPC codes. The proposed construction produces Tanner graphs with girth six and guarantees a minimum Hamming distance of at least $\ell+1$. We establish several algebraic properties of Fractus matrices, including sparsity, regularity, recursive decomposition, and symmetry under the flip-transpose operation. In addition, we show that the family of Fractus matrices admits a natural lattice structure and that the associated LDPC codes inherit corresponding lattice-theoretic properties. These results establish a connection between order theory and coding theory. Overall, the proposed framework integrates recursive matrix constructions, efficient encoding, graph-theoretic analysis, and lattice theory into a unified algebraic approach to the design and analysis of scalable LDPC codes.

We prove a dimensional strengthening of the colorful Helly theorem. Let $\mathcal{C}_1,\dots,\mathcal{C}_{d+1}$ be finite nonempty families of convex sets in $\mathbb{R}^d$. If $C_1\cap\cdots\cap C_{d+1}\neq\varnothing$ for every choice of $C_i\in\mathcal{C}_i$, then $\sum_{i=1}^{d+1}\dim(\bigcap\mathcal{C}_i)\geq0$, where $\dim\varnothing=-1$. We also obtain a dimensional strengthening of a theorem of Kim and Lew, in which the intersections are taken over unions of color classes. For simplicial complexes, we introduce the link-Leray dimension, defined as the Leray number of the link for a face and as $-1$ for a nonface. Using this invariant, we prove a matroidal extension of the dimensional colorful Helly theorem for $d$-Leray complexes. We further establish a corresponding strengthening of the topological Kim--Lew theorem in two ranges of parameters. As a special case, we recover the topological colorful Helly theorem of Kalai and Meshulam. Finally, we construct counterexamples to the unrestricted topological extension, even under a stronger local condition.

The classical Hadwiger-Nelson problem asks for the chromatic number of the unit distance graph of the Euclidean plane. Over the years, this problem has been considered for a variety of other normed spaces, with higher-dimensional Euclidean space $\mathbb{R}^d$ being perhaps the most natural and well-studied. Alon, Bucić, and Sauermann proved that, for a typical norm on $\mathbb{R}^d$, the chromatic number of the unit distance graph is at most $2^d$. We improve this exponential bound to a linear one by showing that the chromatic number of a typical norm on $\mathbb{R}^d$ is at most $2d$ and that this is tight. This shows a stark difference in the behavior compared to the Euclidean case, where there is an exponential lower bound. One of the key ingredients is a certain high-dimensional, matrix generalization of the Lonely runner conjecture, which also allows us to completely settle the so-called view-obstruction conjecture of Schoenberg from 1978 and a more recent covering-radius conjecture of Henze and Malikiosis.

For a graph $H$, $\langle H \rangle$ denotes the class of all subdivisions of $H$ and $tw(H)$ denotes the treewidth of $H$. In this paper, we prove the following. For $k\geq 1, R\geq 1$, let $G,H$ be two graphs such that strong isometric path complexities (Chakraborty et al. [\textsc{Disc. Math., 2026}]) of both $G$ and $\langle H \rangle$ are at most $k$, and $G$ admits an honest, ``nicely rooted'' $R$-bounded $H$-partition. Then, there is a graph $F$ with $tw(F)\leq tw(H)$ such that $G$ admits a $(1,33\cdot R\cdot k^2)$-quasi-isometry to $F$. Using results of Albrechtsen, Distel, and Georgakopoulos (2025), we also obtain that $K_{2,t}$-asymptotic minor-free graphs admit quasi-isometries with additive distortion to $K_{2,t}$-minor-free graphs. This answers an open question raised by the above authors. As part of our proof, we combine the graph-partition based method and the layering partition based method (Chepoi et al. [\textsc{Discrete Comput. Geom.} 2012]) to obtain additive quasi-isometry when both the source and all subdivisions of the target graph have bounded strong isometric path complexity.

The algebra of polysymmetric functions (PSym) is defined as the tensor product of copies of the algebra of symmetric functions (Sym) where the $i$th copy has variables scaled by $i$. One way to construct a basis of PSym is to start with a basis $\{f_λ\}$ of Sym and consider all pure tensors arising from this basis. Asvin G and Andrew O'Desky described four families of non-pure tensor bases, namely $H, E, E^+$ and $P$, which we call plethystic bases. In this paper, we study the expansions of the plethystic bases into the pure-tensor bases $\{h^\otimes_τ\}$ and $\{e^\otimes_τ\}$, and interpret the results via combinatorial objects called polywrapping block tabloids. The expansions of $H, E$ and $E^+$ in $h^\otimes$ and $e^\otimes$ are found via the $h$-expansion of the plethysm $h_n[p_r]$. We compute this $h$-expansion using a statistic on words and prove it through abacus methods.

We give a short proof of the following theorem of K. Ball: If a centrally symmetric convex body $K\subset \mathbb R^d$ is covered by finitely many planks, then the sum of their relative widths with respect to $K$ is at least $1$.

We study Verlinde sums $V_{n}(N,m)$, which for our purposes are finite sums of trigonometric functions $\{r_{x}\}$, associated to $\textrm{ SU}(N)$. In this article we prove the following results: (i) the polynomial $D_N(w):=\prod_x(w-r_x)$ is equal to, up to an explicit and computable factor, the iterated resultant of $Q(u)=u^m-1$ with an explicit elementary polynomial $W_N$ which is independent of $n$ and $m$; (ii) for fixed $N$ and $m$, $V_n(N,m)$ satisfies a linear recursion of order at most $\binom{m-1}{N-1}$, together with arguments showing that one actually has a recursion of length equal to the number of distinct roots of $D_{N}$; (iii) for fixed $N$ and $m$, a Binet-type closed form expressing $V_n(N,m)$ as an explicit finite sum of $n$-th powers of algebraic numbers which are rescaled reciprocals of the distinct roots of $D_N(w)$ is derived. Several explicit examples are provided for $N=2,3,4,5,6$ and $8$.

In DNA-based storage systems, data are retrieved by sequencing molecules sampled from a DNA pool. We study how the way coding redundancy is shared between files affects their expected retrieval times. Our focus lies on the case of two files that are encoded by a systematic linear code over an arbitrary finite field. We consider the conjecture that the sum obtained by dividing each file dimension by its expected retrieval time is at most one whenever the dimension of at least one file is more than one. For this, we develop a geometric view of the retrieval process. As molecules are sampled, we follow the growing span of the corresponding columns of the generator matrix and track how much of this span comes from each file. Among the samples that enlarge the overall span, this lets us compare those that make progress toward recovering both files with those that make progress toward neither. We call a column mixed if the corresponding encoded symbol combines information from both files. In this work, we sharpen a projection bound and use it to control the effect of mixed columns. We prove the conjecture whenever the total information dimension is at least twice the number of mixed columns plus two. For equal-sized files, this allows up to one fewer mixed column than the dimension of either file and extends the previous result for codes with no mixed columns.

Let $d \geq 5$, $0 < γ< d - 2$, and $Ω_N$ be the binomial random subset of $Q_N = [-N,N]^d \cap \mathbb Z^d$ with retention probability $p_N = N^{-γ}$. We prove that, with failure probability of optimal exponential order, every subset $B \subseteq Ω_N$ of fixed positive relative density realizes, at each scale $p_N^{-2/(d - 2)} \lesssim λ\lesssim N^2$, a squared distance of the form $q^2 λ$, where $q$ belongs to a fixed finite set depending only on the dimension and the density. The lower scale $p_N^{-2/(d - 2)}$ is sharp. As a consequence,the squared-distance set $D^2(B)$ of $B$ has maximal order $N^2$ and contains affine copies of every fixed finite subset of $\mathbb Z$. The main new input is a finite multidilate supersaturation theorem for dense subsets of $Q_N$, which, together with boundedness estimates for the associated spherical distance graphs down to the sharp scale, allows us to apply Schacht's transference theorem.

Let $R$ be a commutative Artinian ring. We consider two graphs associated to $R$, namely the compressed zero-divisor graph $Γ_E(R)$ and the associate class graph $Γ_A(R)$. Partitioning the vertex set of a zero-divisor graph into its core and its boundary, we count the core vertices that dominate the core. This count is a graph invariant, and we estimate it for $Γ(R)$, $Γ_A(R)$ and $Γ_E(R)$. We prove that the count for $Γ_A(R)$ is bounded below by the count for $Γ_E(R)$, and that the lower bound is attained precisely when $R$ is Gorenstein. As a consequence we obtain that $R$ is Gorenstein if and only if $Γ_A(R)\congΓ_E(R)$ as graphs, the isomorphism being an arbitrary one and not merely the natural compression map. Using the same counting technique we then answer, for Artinian rings, a question of Anderson and LaGrange by showing that $Γ(R)\congΓ_E(R)$ if and only if $R\cong \mathbb Z_2^{\,n}$ for some $n\ge2$, or $R\cong\mathbb Z_4$, or $R\cong\mathbb Z_2[x]/(x^2)$.

We study one-dimensional binary cellular automata with a five-slot radius-two local rule of exact algebraic-normal-form degree two, acting on periodic rings of length n. We prove that every such rule is non-injective whenever 4 | n and n >= 8. The proof begins with the four-cell collapse, where the two extreme formal slots coincide. A structural classification of the resulting four-variable maps separates the 65,472 exactly quadratic rules into 63,456 rules with an immediate ring-four collision and 2,016 exceptional lifts. The latter split into layers of sizes 480 and 1,536. Their remaining finite obligations are represented by 136 parameter-region constructions and 768 per-lift records, respectively. Each certificate supplies differentiating closed walks of lengths 8 and 12 with a common pair-graph base vertex. Concatenation then gives lengths 8a + 12b, which are exactly the multiples of four from eight onward. The load-bearing finite certificate core therefore contains 904 = 136 + 768 independently replayable objects checked by standalone, non-searching programs. The complete checker CLIs additionally reconstruct expected populations and execute coverage, complement, and regression/guard checks; 904 is not a count of total checker operations. Periodic extension also yields full-shift non-injectivity; that consequence is used here only as a corollary.

Fishburn's latent-subset conjecture, proposed in 1987 and revisited in 1988, asserts that for every dual intersecting family $\mathcal F\subseteq 2^{[n]}$, there exists $i\in[n]$ such that $|\mathcal F^L(i)|\geq|\mathcal F(i)|$. Here $\mathcal F^L$ is the family of the subsets of members of $\mathcal F$ that do not belong to $\mathcal F$. In this paper, we prove the conjecture using the recent weighted star inequality of Chang, Liu, and Liu.

We show that if an $(n,d,λ)$-graph satisfies $λ\leq (1-δ)d$ and $d\gg δ^{-6}(\log n)^{3}$ for some $δ>0$, then it is Hamiltonian. A qualitatively similar result was recently proven by Bradač and Janzer. Our proof here is shorter and gives better quantitative bounds. \par In our proof, as in earlier work of Ferber, Han, Mao, and Vershynin, we use a random matrix inequality to show that a mild spectral gap is typically preserved after randomly sampling an appropriate proportion of the vertices. This allows us to deduce that typical balanced bipartite subgraphs of pseudorandom graphs contain perfect matchings. To convert a collection of perfect matchings into a Hamilton cycle, we use a variant of the sorting network method.

For $n\ge5$, let $F\colon\mathbb{F}_2^n\to \mathbb{F}_2^n$ be almost perfect nonlinear and write $N=2^n$. It is proven that the linearity $\mathcal{L}(F)$ of $F$, i.e., the largest absolute Walsh coefficient of a nonzero component, is at most $N-10$ in even dimension and at most $N-6$ in odd dimension. This improves the general upper bound of $N-6$ in even dimension and $N-4$ in odd dimension. It is further proven that, for each fixed $k$, the $k$-th largest absolute Walsh coefficient among nonzero components, counted with multiplicity, is at most $(1+O_k(2^{-n}))N/\sqrt{k}$ as $n\to\infty$. The second and fourth largest coefficients are at most $2\lfloor N/3\rfloor$ and $N/2$, respectively. Finally, a bound on the linearity in terms of the number $q$ of nonplateaued nonzero components is derived. In odd dimension, for $q>0$, we have $\mathcal{L}(F)^2\le N(1+\sqrt{q(N-1)})$, so that $\mathcal{L}(F)/N\to1$ implies $q/N\to1$. In even dimension, for every $1/2\le C<1$, the condition $q\le(4C-C^2-1)N/4+1$ implies $\mathcal{L}(F)\le CN$. In particular, $q\le3N/16+2$ implies $\mathcal{L}(F)\le N/2$.

Imagine there are $n$ cars lined up along a one-way street containing $n$ spots. Each car contains a group of friends, including a reluctant driver. Each car has a preferred spot and cars enter one by one. The cars drive to their preferred spot and if it is empty park there. If it is not empty, a friend in the back yells out ``Hey! You should have driven faster!". Frustrated by this, the driver continues down the road until they find the last unoccupied spot (if one exists) and parks there. We say a sequence $(a_1,a_2,\dots, a_n)$ of preferred spots is a frustrated parking function if all cars can park under this rule. In this paper, we study the enumerative properties of frustrated parking functions. In particular, we show that the number of frustrated parking functions of length $n$ is $(2n-1)!!$. This is done by associating frustrated parking functions with height labeled Dyck paths. Using this association, we are then able to better understand the sets of lucky cars and lucky spots for frustrated parking functions. We show that the frustrated parking functions of length $n$ where the first $k$ cars (or first $k$ spots) are lucky is given by $k!S(n,k)$ where $S(n,k)$ is the Stirling number of the second kind. This in turn implies that the number of frustrated parking functions where once a car (or spot) is unlucky, the remaining cars (or spots) are unlucky is counted by the $n^{th}$ Fubini number. We also show that the number of frustrated parking functions with $k$ lucky cars (or spots) is given by the second order Eulerian number.

We prove that the $g$-polynomial of every split matroid has nonnegative coefficients, establishing Speyer's conjecture for a class closed under taking minors and containing all paving and copaving matroids. Our proof uses a deletion--contraction identity obtained by constructing an auxiliary split matroid. We first show that every simple, cosimple, connected split matroid $M$ has an element $e$ for which both the deletion $M\setminus e$ and the contraction $M/e$ are connected. More generally, let $M$ be any connected split matroid of rank $k$ on a ground set $E$ with $|E|\ge4$. Suppose that $e\in E$ is such that both $M\setminus e$ and $M/e$ are connected. For every $v\in E\setminus\{e\}$, we construct a connected elementary split matroid $N_{e,v}$ of rank $k-1$ on $E\setminus\{e,v\}$ satisfying \[ g_M(t)=g_{M\setminus e}(t)+g_{M/e}(t)+t\,g_{N_{e,v}}(t). \] Using a fixed total order on $E$, we prescribe the proper cyclic flats of $N_{e,v}$ and their ranks. The identity follows from the covaluative formula of Ferroni and Schröter together with recurrences for its correction polynomials, derived from Ferroni's enumeration of admissible Delannoy paths for Schubert matroids. Since all three matroids on the right have fewer elements, the identity supplies the induction step in the proof of nonnegativity.

Zero forcing is a process described by a color change rule on the vertices of a graph. In this paper, we maximize the discrepancy between various zero forcing parameters relative to graph order. First, we find an upper bound on the difference in cardinality between minimal zero forcing sets (sets containing no proper zero forcing subset) of maximum and minimum size, and we show that this bound is sharp for an infinite family of graphs. Furthermore, we derive an upper bound for the discrepancy between the maximum and minimum propagation times of the minimum zero forcing sets of any graph, showing this bound is sharp for an infinite family of graphs.

We study classical and quantum indistinguishability of sums of independent random permutations and related transformations from permutations to functions. Let $G$ be a finite abelian group of order $N$, and let $π^k_+(x)=π_1(x)+\cdots+π_k(x)$ for $k\geq2$ independent uniform random permutations of $G$. We give a unified Fourier analytic treatment in which the construction is represented by its probability density and a distinguisher by its acceptance function, with the classical and quantum query models imposing different restrictions on the Fourier support of the latter. Classically, we obtain the bound $O_k(q/N^{k-1/2})$ for every $q<N$, and refine it below the birthday threshold to $O_k(q^2/N^k)$. In the quantum model, a simulation argument gives $O_k(N^{-(k-3/2)})$ for $q\leq(N-1)/2$, while Fourier interpolation gives concrete finite bounds up to $q\leq4N/15$ and the query-dependent bounds $O\left(\min\left\{N^{-1/2},q^3/N^2 + 1/N\right\}\right)$ and $O_k\left(\min\left\{q^3/N^k,N^{-(k-3/2)}\right\}\right)$, for $k=2$ and $k \geq 3$, respectively, throughout $1\leq q\leq(N-1)/2$. For $q = 1$, the first bound sharpens to $O(N^{-2})$. Over $G=\mathbb F_2^n$, a one-query Fourier attack matches the order of our one-query bound, while an $N/2$-query parity attack with advantage $1/2$ shows that our bounds reach the constant-advantage query threshold. We further study two variants of sum of permutations over binary vector spaces. First, we allow arbitrary surjective linear postprocessing, which includes truncation, and obtain classical and quantum bounds that retain the output-size dependence. Second, we analyse Dinur's variable-output single-permutation construction, $\mathsf{LXoP}$, for every fixed output width, and derive its classical and quantum security bounds; for one- and two-block outputs, we give concrete quantum security bounds.

Hadwiger's conjecture (1943) states that every graph $G$ with chromatic number at least $t$ contains a $K_t$-model: a collection of $t$ vertex-disjoint connected subgraphs $T_1,\dots,T_t$ such that for all $1\le i<j\le t$ some vertex in $T_j$ has a neighbour in $T_i$. Replacing "some" in this definition by "every" gives rise to the significantly stronger notion of a dominating $K_t$-model introduced by Illingworth and Wood (2024). They raised the question whether every graph of chromatic number at least $t$ contains a dominating $K_t$-model. This statement is a significant strengthening of Hadwiger's conjecture and has come to be known as the dominating Hadwiger conjecture. We provide our own exposition of a disproof of this conjecture found by ChatGPT 6 Astra Ultra. The construction is the complement of a pseudorandom triangle-free graph that is obtained by randomly subsampling a block geometric graph based on the Suzuki-Tits ovoid.

An antimagic labelling of a graph G = (V,E) is a bijection from E to {1,2,...,|E|}, such that all vertex-sums are pairwise distinct, where the vertex-sum of each vertex is the sum of labels over edges incident to this vertex. A graph is antimagic if it has an antimagic labelling. Hartsfield and Ringel in 1990 stated the celebrated conjecture: Every connected graph other than K_2 is antimagic. We prove the conjecture for join graphs with at least three vertices.

For vertex-transitive Ramanujan graphs with logarithmic girth, a simple random walk bridge of length of order $\log N$, where $N$ is the size of the graph, has a maximum distance that changes from order $\sqrt{\log N}$ to order $\log N$ in a bounded critical window. We prove this by separating bridges whose lifts to the regular tree close from those whose lifts do not. A uniform two-term return estimate determines the probabilities of these two cases and the real-valued critical center. In the same $O(1)$ window, the normalized range has a two-point limiting law whose mixture weights vary nontrivially across the window.

For a finite group $G$, let $λ(G)$ denote the minimum number of orbits on the elements of a finite lattice $L$ with $\operatorname{Aut}(L)\cong G$. Babai and Goodman conjectured that $λ(G)$ is bounded by an absolute constant. We prove that $λ(G)\leq 50$ for every finite group $G$, thereby confirming their conjecture. Moreover, the lattice can be chosen to have a regular orbit. The main algebraic ingredient is a decomposition of a generating set of an arbitrary finite $2$-group into an elementary abelian part and two sets in which no quotient of distinct elements is an involution.

Bourneuf, Charbit and Thomassé [BCT25] showed that the domination number of a tournament can be bounded as a function of its fractional dichromatic number. The function proved was exponential and the tools were based on VC-dimension. In this paper, we present two new proofs of this theorem. The first proof is based on a reduction to the problem of bounding the domination number of a $(1/2-ε)$-majority tournament, for which [BCT25] and Charikar, Ramakrishnan and Wang [CRW26] gave tight bounds. This proof yields the same exponential bound on the domination number as in [BCT25]. The second proof gives a quasilinear bound for the domination in terms of the fractional dichromatic number. It was obtained via AI and was inspired by the recent book proof of the existence of a Condorcet Winning Set of size five due to Ramakrishnan [Ram26].

We study the hard-core model on recursively defined sequences $(G_n)_{n\geq0}$ of graphs with a fixed number $k\geq 1$ of labeled vertices in each graph. The next graph in the sequence is constructed by taking a fixed number $m\geq 2$ of copies of the previous graph, connecting these copies by identifying some labeled vertices according to a fixed rule, and afterward choosing $k$ labeled vertices in the resulting graph, again in accordance with a fixed rule. Examples of such sequences include the Sierpiński gasket graphs, hierarchical lattices, and many more. We prove that, when the vertex degrees of the graphs $G_n$ are uniformly bounded and the distances between the labeled vertices in $G_n$ diverge, the complex zeros of the univariate independence polynomials $Z_{G_n}(λ)$ avoid a neighborhood of the non-negative real axis. By the Lee--Yang theory this implies that no phase transitions occur for the hard-core model on these recursive sequences of graphs, independently of the starting graph $G_0$. The proof relies on the study of the dynamical properties of a one-parameter family of rational maps $F_λ$ on the $(2^k-1)$-dimensional complex projective space induced by the graph recursion operator. The dynamical framework developed in this paper can be naturally extended to other classical models in statistical mechanics (such as the Ising or Potts models) and to more general notions of graph recursions.

The set-coloring Ramsey number $R(k;r,s)$ is the least $N$ such that every assignment of an $s$-element subset of $[r]$ to each edge of $K_N$ yields a copy of $K_k$ whose edges share a common color. For every fixed prime power $q$, we construct infinitely many positive integer triples $(r,j,s)$ with $j\sim(q-1)^{-2/3}r^{1/3}$ and $s=(1-1/q)(r-j)$ such that $R(q+1;r,s)=Θ_q(r^{4/3})$. For $q=3$, this answers in the affirmative a question of Conlon, Fox, Pham and Zhao, showing that polynomially superlinear growth for $R(4;r,2(r-j)/3)$ already occurs at the scale \(j=Θ(r^{1/3})\). Moreover, along the same sequence, the maximum size of a $q$-ary code of length $r$ and minimum Hamming distance at least $s$ is $(1+o(1))(q-1)^{4/3}r^{4/3}$.

Low-power error-correcting cooling (LPECC) codes and constant-power error-correcting cooling (CPECC) codes provide error correction while controlling power consumption and thermal effects in on-chip buses. In this paper, we study binary CPECC and LPECC codes with \(e=w-3\). For CPECC codes, we extend the applicability of the upper bound previously obtained by Zhao and Zhang from the quadratic-order condition \(w\ge 2t(t+1)+2\) to \(w\ge w_0(t)\), where \(w_0(t)\sim \sqrt{2}\,t^{3/2}\). Using Steiner systems, we show that the CPECC bound is attainable and asymptotically tight for fixed \(t,w\). For LPECC codes, we establish the new upper bound \(\left\lfloor\frac{\binom{n+2}{3}}{\binom{w+t}{3}}\right\rfloor\) for \(w\ge μ(t)\), where \(μ(t)\sim \sqrt{2}\,t^{3/2}\). This bound is strictly smaller than the previous bound of Zhao and Zhang whenever both apply, and is asymptotically tight for fixed \(t,w\) in the stated range.

The generalized packing--covering conjecture of Elimelech, Firer and Schwartz asserts that, for every linear code $\mathcal{C}$ and every admissible order $t$, the $t$-th generalized Hamming weight $d_t(\mathcal{C})$ and the $t$-th generalized covering radius $R_t(\mathcal{C})$ satisfy $d_t(\mathcal{C})\le 2R_t(\mathcal{C})+2$. We give a computer-assisted proof of the conjecture for every linear code over every finite field and every admissible order. Combining a parity-check reformulation of the conjecture, bounds on the length of putative counterexamples, and successive puncturing arguments, we settle all orders $t\ge 32$ and reduce the remaining orders to finitely many parameter tuples, which we exclude by an exact computer verification.

Let $F$ be a fixed graph without isolated vertices. An edge-colored graph is $F$-rainbow saturated if it contains no rainbow copy of $F$, but the addition of any missing edge in any color creates a rainbow copy of $F$. The rainbow saturation number $rsat(n,F)$ is the minimum number of edges in such a graph on $n$ vertices. We prove a dichotomy governed by isolated edges: if $F$ contains an isolated edge, then $rsat(n,F)=O(1)$ for all sufficiently large $n$, while if $F$ has no isolated edge, then $rsat(n,F)=Θ(n)$. The linear lower bound is expressed in terms of a directed weight parameter $η(F)$ and establishes the linear half of the dichotomy; in several cases it also strengthens the Cameron--Puleo type coefficient. For the bounded half, we construct rainbow saturated graphs for targets of the form $H\cup K_2$. As an application of these constructions, we determine the asymptotically tight behavior for the rainbow saturation number of the generalized friendship graph $F_{t,p,q}=tK_p\vee K_q$, proving that $ rsat(n,F_{t,p,q})=(p+q-1)n+O(1)$ for fixed $t\geq 2$, $p\geq 2$ and $q\geq 1$ as $n\to\infty$.

Completely positive functions are an extension of completely positive matrices. They are known to characterize maximal spherical codes and maximum-density distance-avoiding subsets of $\mathbb{R}^n$ and certain compact metric spaces. This thesis expands this framework to related classes of problems in finite measure spaces and to the sphere-packing problem. For the latter, this is sharpened to show that the optimal sphere-packing density can be approximated using Schwartz functions. Converging hierarchies of semidefinite programming bounds on the size of optimal spherical codes are known, based on approximations of completely positive functions and the Lovász theta number of a graph. This thesis extends these hierarchies to distance-avoiding sets and similar problems and to the sphere-packing problem, and proves their convergence to the maximum density. For distance-avoiding sets, additional hierarchies, such as the moment hierarchy, are introduced and shown to be stronger than the completely positive hierarchy, hence they also converge. Related hierarchies for compact packing problems are also investigate. These bounds are implemented for Witsenhausen's problem, which asks for the maximum fraction $α_n$ of the $n$-dimensional unit sphere that is coverable by a set avoiding orthogonal pairs; and for the $t$-almost-equiangular-set problem: finding the maximum size $α(n,t)$ of a subset of the $n$-dimensional unit sphere in which every triple contains a pair with inner product $t \in [-1,1)$. An analytic solution to this bound yields an enumeration of optimal constructions for $n = 2$ and $3$ when $t \geq 0$.

A graph $G$ is point determining, if no two vertices have the same neighborhoods. In this paper, we show that this property is recognizable from the deck of cards of a graph.

We give a new proof that if the natural numbers are colored in two colors, then there exists a monochromatic Pythagorean triple. The proof was found by ChatGPT Astra.

For a graph \(F\), the Turán number \(\ex(n,F)\) is the maximum number of edges in an \(F\)-free graph on \(n\) vertices. Let \(q\ge 2\) be an integer and set \(n=q^{2}+q+1\). Brown and Erdős, Rényi and Sós independently proved that $\ex(n,C_{4})\ge \frac12 q(q+1)^{2}$ for every prime power \(q\), and Füredi subsequently established the upper bound $\frac12 q(q+1)^{2}$ for $\ex(n,C_{4})$ whenever \(q\notin\{1, 7,9,11,13\}\). In this article, we prove that every \(C_{4}\)-free graph \(G\) on \(n\) vertices with at most \(\frac12 q(q+1)^{2}\) edges satisfies $τ(G)\le n^{(n-3)/2}$, where \(τ(G)\) denotes the number of spanning trees of \(G\). In particular, for every prime power $q\notin\{7,9,11,13\}$, the above upper bound on $τ(G)$ is attained precisely by the orthogonal polarity graphs, thereby proving London's conjecture for all such $q$.

Let $f(z)=\sum_{k=0}^{n}a_kz^k$ be a polynomial with positive coefficients, and define its coefficientwise reciprocal by $f^{\#}(z)=\sum_{k=0}^{n}\frac{z^k}{a_k}.$ It is known that if $f$ is palindromic and has only negative real zeros, then all zeros of $f^{\#}$ lie on the unit circle. We prove that if $p$ and $q$ are palindromic polynomials of degrees $n$ and $n+1$, respectively, with only negative real zeros, then their coefficientwise reciprocals have only simple zeros, and $p^{\#}$ strictly interlaces $q^{\#}$ on the unit circle. Our proof is based on finite Blaschke products and the comparison of their boundary phases. As an immediate consequence, we obtain strict interlacing for the reciprocal binomial, reciprocal Eulerian, and reciprocal Narayana polynomials. By combining a sign change in the $γ$-coefficients with coefficientwise reciprocation, we further construct strictly interlacing families from Rogers--Szegő, Poupard, and Kreweras-related polynomials.

Spencer's 1985 ``six standard deviations suffice'' theorem shows that every $A \in [-1,1]^{n \times n}$ has a sign vector $x \in \{-1,1\}^n$ with $\|Ax\|_\infty \le 6\sqrt{n}$. We show the upper bound $\sqrt{3\operatorname{arsinh}(10)}\sqrt{n}+4 < 2.9992 \sqrt{n} + 4$ by directly rounding the minimizer of a potential function to a vertex of the cube. We also show that, for every power of two $n \ge 2^{50}$, there exists a matrix $A \in \{-1,1\}^{n \times n}$ such that $\|Ax\|_\infty >1.0000002\sqrt{n}$ for every choice of signs $x \in \{-1,1\}^n$. The construction simply replaces a $2^{-22}$ fraction of the columns of a Hadamard matrix with independent random sign vectors. This is the first improvement over the $\sqrt{n}$ lower bound of Olson and Spencer (1978), which uses a Hadamard matrix.

The $\triangle$-convexity space on a finite, simple graph $G = (V,E)$ is the collection $\mathcal{C}$ of subsets $S \subseteq V(G)$ such that whenever $x \in V(G)$ forms a triangle with two vertices in $S$, we have $x \in S$. The members of $\mathcal{C}$ are called convex sets, and the convex hull of a set $S \subseteq V(G)$, denoted $\operatorname{Hull}(S)$, is the smallest member of $\mathcal{C}$ that contains $S$. The Carathéodory (resp., exchange) number, $c_{\triangle}(G)$ (resp., $e_{\triangle}(G)$), is the size of a largest Carathéodory (resp., exchange) independent subset of $V(G)$. It was shown by Anand et al. (JCMCC 126, 2025, 11--27) that $c_{\triangle}(G) \leq t(G)+1$ and $e_{\triangle}(G) \leq t(G) + 2$, where $t(G)$ is the number of triangles in $G$, and that these bounds are tight. They also computed $c_{\triangle}(G)$ and $e_{\triangle}(G)$ for a block graph $G$ in terms of the number and arrangement of non-$K_2$ blocks in $G$. In this paper, we point out a gap in the proof in Anand et al. of the first inequality, $c_{\triangle}(G) \leq t(G)+1$, which has consequences for the proof of the second inequality, $e_{\triangle}(G) \leq t(G) + 2$, as well. Moreover, the tightness results are inadvertently applied as characterizations of the extremal graphs, leading to incorrect computations of the Carathéodory and exchange numbers of block graphs in certain cases. We fix these gaps by giving a full proof of the first inequality via a different route from that in Anand et al. Together with the argument in Anand et al., this also completes the proof of the second inequality. Our proof also leads to a characterization of the extremal graphs for each bound, which we use to compute the Carathéodory and exchange numbers of block graphs and to identify the extremal block graphs. We also determine $e_{\triangle}(G)$ exactly for $k$-trees for every $k \geq 2$.

The principal matroid determinant $E_L$ of a linear space $L \subseteq \mathbb{P}^n$ has been introduced in recent work by Matsubara-Heo and Telen. In this paper, we give the complete factorization of this polynomial into its irreducible components, proving a conjecture of the aforementioned authors. Our methods rely on bounding local multiplicities and an étale-local description of the strata of reciprocal linear spaces developed by Elias, Proudfoot and Wakefield. We also discuss analogous questions for other coordinate-wise powers of linear spaces.

We study the temporal exploration problem on temporal digraphs. We prove that a lifetime of $O(n^2)$ suffices to guarantee the existence of a temporal exploration on always-unilateral temporal digraphs. We complement this with a $Ω(n^2)$ lower bound, even in the case where each snapshot has maximum undirected degree 2; for always-strong temporal digraphs, the lower bound still holds even if the maximum undirected degree is 3. This stands in stark contrast with the undirected setting. For the large minimum degree setting, we show that a lifetime of $4n/3 - 1$ is sufficient and necessary for guaranteeing the existence of a temporal exploration on temporal digraphs where each snapshot is semicomplete. For always-strong temporal digraphs where each snapshot has minimum undirected degree at least $n - c - 1$, we prove that a lifetime of $O(cn)$ guarantees the existence of a temporal exploration, and we also prove that this is asymptotically tight. From a computational perspective, our results for temporal semicomplete digraphs also yield a polynomial-time, factor-$4/3$ algorithm for deciding if a temporal semicomplete digraph admits a temporal exploration within the first $\ell$ snapshots. We complement this showing that no polynomial-time, factor-$(4/3 - ε)$ approximation algorithm exists, even if every snapshot is a tournament, unless P$=$NP.

In this paper, we investigate three fundamental convexity parameters of graphs under cycle convexity, namely the Helly number, Radon number, and rank. We first study the computational complexity of these parameters. For each of these parameters, we consider the associated threshold decision problem of determining whether the parameter of a given graph is at least a prescribed integer. We establish that all three problems are $\NP$-hard and $\W[1]$-hard when parameterized by the threshold. Moreover, we strengthen these results by showing that the $\NP$-hardness persists even when the input is restricted to planar graphs of maximum degree at most $6$. We also focus on the structural properties of connected graphs corresponding to extremal values of these parameters. In particular, we characterize the graph classes for which the three parameters attain the values $n-1$ and $n-2$, where $n$ is the order of $G$.

The limit set of Conway's Game of Life collects the configurations that can still appear at arbitrarily late times: those admitting predecessors of every finite depth. Answering a question of Salo and Törmä (ICALP 2022), we prove that two fixed finite patterns can each occur in the limit set, yet can never be found together in a single configuration of it, at any relative position; equivalently, the spatial translation action on the limit set is not topologically transitive. Our method is to make a persistent marker force a periodic lane to grow in sufficiently deep predecessors, until two perpendicular lanes are forced to intersect and prescribe incompatible values at a common cell. The argument uses two computer-verified local implications.

Motivated by the structure of various standard statistical arrays, Bailey, Praeger, Rowley and Speed (1983) described the automorphism groups of poset block structures as generalized wreath products. We observe that these are exactly the groups used to define DAG exchangeability in Jung, Lee, Staton and Yang (2021), and we restate the representation theorem of the latter work in this language. As a concrete example, we write out the resulting representation for block matrices whose block rows and block columns are separately exchangeable, and whose rows and columns may also be permuted independently inside each block.

A connected graph $G$ with at least two vertices is {\em matching covered} if each of its edges lies in a perfect matching. A matching covered graph is {\em minimal} if the removal of any edge results in a graph that is no longer matching covered. Lovász and Plummer [J. Combin. Theory, Ser. B 23 (1977) 127--138] proved by ear decompositions that every minimal matching covered bipartite graph $G$ different from $K_2$ has at most $(3|V(G)|-6)/2$ edges, and this bound is sharp for all $|V(G)|\ge4$. In this paper, we prove that every minimal matching covered nonbipartite graph $G$ with at least 6 vertices has at most $5(|V(G)|-2)/2$ edges, and this bound is sharp for all $|V(G)|\ge6$.

Every finite nonempty incomplete uniquely decipherable code with maximum word length $k$ has an uncompletable word of length at most $4k^2-3k$. The bound is independent of the number of codewords and their total length. Deleting a complete codeword cycle gives a finite path-counting identity; Kraft equality then supplies a short word of deficient compressed mass. Cyclic averaging and padding turn it into an uncompletable word. Conditional expectation makes the construction polynomial-time and also decides completeness. First-return words extend the bound to mortal families of nonnegative integer $n\times n$ matrices with joint spectral radius at most one, provided every strongly connected component has a vertex meeting every cycle. Such a family has a zero product of length at most $4n^2-3n$. A binary partial deterministic family with $2k-1$ states has shortest zero product of length $k^2+k-1$, establishing the optimal quadratic order. The bounds and the explicit-code algorithm, including its polynomial work bound, are proved in Lean.

Dyer conjectured that the join of two biclosed sets of positive roots can be described by increasing Bruhat paths whose reflection labels belong to their union. We give a type-uniform proof of this conjecture for all finite Coxeter groups. More generally, for a $2$-coclosed set $C$ of positive roots contained in an inversion set, we show that its $2$-closure is an inversion set $I(w)$ and that the elements reachable from the identity using reflections labeled by roots in $C$ form exactly the set $[e,w]_B w^{-1}$. The proof combines Dyer's closure criteria with a root-selection argument.

Motzkin paths of length $n$ and standard Young tableaux (SYT) with $n$ cells and at most three rows are both counted by the Motzkin numbers, and many bijections between them are known. The Riordan numbers count the subfamilies of Riordan paths (Motzkin paths with no horizontal step on the $x$-axis) and of tableaux whose three row lengths have the same parity, but none of the known bijections restricts to these subfamilies. We introduce the set of $321$-avoiding permutations in which every left-to-right maximum is either a descent or a fixed point. This family is counted by the Motzkin numbers, and its fixed-point-free elements are the ``Riordan permutations'' of Callan. We give a bijection from Motzkin paths to these permutations under which Riordan paths correspond to Riordan permutations. We then give a bijection from these permutations to SYT of height at most three, obtained from Robinson--Schensted insertion followed by a parity correction, under which Riordan permutations correspond to tableaux with rows of equal parity and the number of left-to-right maxima becomes a simple tableau statistic. Via Dyck paths, we connect these objects to further families counted by the Riordan numbers, including derangements of genus zero and SYT of shape $(k,k,1^{n-2k})$.

We introduce a transformation on partially ordered sets, termed the \emph{stellahedral transform}, with notable features. It preserves the properties of being Eulerian, Cohen--Macaulay, and of being the face poset of a polytope. Furthermore, it admits an explicit geometric realization for convex polytopes and specializes to the construction that takes a simplex to the stellahedron. One motivation for this definition comes from the theory of toric $h$-polynomials and (augmented) Chow polynomials of Eulerian posets. We show that the right augmented Chow polynomial of an Eulerian poset $P$ agrees with the toric $h$-polynomial of the stellahedral transform of $P$. We use this perspective, together with $\mathbf{cd}$-index results due to Ehrenborg (2005) and Karu (2006), to prove two positivity results for augmented Chow polynomials: for Gorenstein* posets they are unimodal, and for face posets of polytopes they are $γ$-positive. Along the way we provide negative answers to two open questions concerning Eulerian and Gorenstein* posets. First, the question on the nonnegativity of Eulerian Chow polynomials, posed by Ferroni, Matherne, and Vecchi (2024). Second, the question posed by Athanasiadis and Kalampogia-Evangelinou (2023) on the real-rootedness of chain and Chow polynomials of Gorenstein* posets: these examples provide a novel application of a technique introduced by Murai and Nevo (2014).

In this paper, we derive thresholds and fluctuations for arithmetic progressions with prescribed color patterns in sparse random colorings of $[n]:=\{1, 2, \ldots, n\}$, where each element of $[n]$ is colored independently according to a given probability vector. For any admissible ordered palette of colors, we determine the full multi-parameter threshold region for the appearance of a colorful arithmetic progression. The threshold is governed by two competing mechanisms: a global first-moment condition and a local color-availability condition, resulting in a polyhedral satisfiability region, with a piecewise-polyhedral threshold surface. In the satisfiability region we establish asymptotic normality for the number of colorful arithmetic progressions of a given length, with an explicit rate of convergence in Wasserstein distance. On the threshold surface, we identify three distinct asymptotic regimes: Poisson, compound Poisson with mixed Poisson jumps, and compound Poisson with uniform jumps, after an appropriate normalization. These results provide a complete description of the threshold and fluctuation behavior of general colored arithmetic progressions under sparse random colorings, in a unified framework that interpolates between classical uncolored/monochromatic progressions in binomial random subsets and multicolored, including rainbow, arithmetic progressions.

We study the inverse-weight Lin--Lu--Yau Ricci flow on finite trees, and prove the convergence of the curvature on every edge via its diffusion equation. Moreover, the limiting curvature is the unique minimum-norm point of a polyhedron determined by the tree. We characterize possible limits of the normalized edge weights, give criteria for their convergence, and show that different positive initial metrics have equivalent omega-limit sets.

We construct an Orlik--Solomon algebra for any locally geometric poset as a natural generalization of the one for geometric lattices. This algebra has several interesting features, including a combinatorial no-broken-circuit basis that we obtain through Gröbner basis theory. When the poset captures the intersection data of an arrangement of certain subgroups in a complex abelian Lie group, we infuse the Orlik--Solomon algebra with topological information to compute the cohomology of the arrangement complement. In particular, when the Lie group is compact, we present an explicit differential graded algebra whose cohomology is the rational cohomology of the arrangement complement. We further exhibit a family of abelian arrangements whose integer cohomology has torsion.

We show that one of the main cases of the stable forking conjecture, stability of the forking relation over a base in a finite-rank supersimple theory, is determined by finitely many pregeometries in each rank. This case of the stable forking conjecture has long had an implicitly well-known pregeometric interpretation: there is a set of matroids $\mathcal{G}_{n}$ such that the forking instability in rank $n$ is equivalent to the pregeometry on some rank-one partial type (over a finite set) embedding a matroid in $\mathcal{G}_{n}$. Our contribution is to show that this set of matroids $\mathcal{G}_{n}$, determining based forking stability in rank $n$, can be chosen to be finite. The main part of our proof was already accomplished in rank $3$ by Peretz, but does not extend as stated to higher ranks (and may or may not directly extend in a weaker sense to higher ranks, by shrinking terms). However, we obtain a sufficient substitute for Peretz's work in ranks $n > 3$: we turn Peretz's original universal result into an existence theorem. The rest of our proof refines an argument from multi-experiment parameter definability, originating from work in applied model theory by Li, Meshkat, Ovchinnikov, Pillay, Pogudin and Scanlon.

We study the distance from the root to the nearest leaf, the analogous quantity for a uniformly chosen vertex, and its protection number, in size-conditioned simply generated trees. We prove a uniform exponential tail bound for each of these quantities, valid for arbitrary offspring distributions. As a consequence, these random variables are uniformly integrable of every order. This yields convergence of all moments to those of the corresponding local limit. The argument is probabilistic and unified across the three quantities.

For a graph $G$ and an integer $d\geq 0$, the defective chromatic polynomial $χ_d(G;k)$ counts the $k$-colorings of $G$ in which each vertex has at most $d$ neighbors of its own color. We investigate which structural properties of $G$ are determined by the full family $\{χ_d(G;k)\}_{d\geq 0}$. We establish a contraction formula expressing $χ_d(G;k)$ as a sum of ordinary chromatic polynomials of the edge contractions of $G$. As a first application, we prove that for triangle-free graphs, the full family determines the degree sequence. For trees, we show further that the family $\{χ_d(T;k)\}_{d\geq 0}$ determines the path-subgraph counts $N(P_j,T)$ for $j=1,2,3,4$, but not for $j=5$. For each $n\geq 9$, we construct a pair of nonisomorphic trees of order $n$ that share the same defective chromatic polynomials for every $d\geq 0$.

Efficient total girth colorings (or ETGCs) of maps of connected simple cubic graphs of girth 4 are reanalyzed in genus-realizing orientable surfaces, where the ETGC condition applies to the restriction of each color class to the vertex set. A necessary condition for such ETGCs to exist is that the maps considered to admit them have only face-cycle lengths divisible by 4. When such ETGCs exist, for which seven constructive tools are provided (four old and three new), the faces of the involved maps are shown to be colorable by the six 3-permutations whenever the face color cycles are length 4 periodic.Moreover, for the vertex coloring of each ETGC, there are two mutually orthogonal subjacent edge colorings leading to two corresponding mutually orthogonal ETGCs distinguishable as the directed ETGC and the reversed ETGC. Furthermore, there are two injections into the set of 3-permutation face colorings: one from the set of periodic directed ETGCs and the other one from the set of periodic reversed ETGCs. Throughout the work, questions and conjectures are posed, among which one asserting that all ETGCs are obtained solely by means of the seven mentioned tools.

We prove a Borsuk--Ulam-type zero theorem for the Stiefel manifold $V_{n,k}$ with the free action of the hyperoctahedral group $B_k=(\mathbb{Z}/2)^k\rtimes S_k$. The theorem gives a nonvanishing criterion for explicit polynomials in ${R}_{n,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^n,a_2^{n-1},\ldots,a_k^{n-k+1})$. We apply this criterion to equipartitions by mutually orthogonal hyperplanes. If $(P_{k,n})^m\ne0$ in ${R}_{d,k}=\mathbb{F}_2[a_1,\ldots,a_k]/(a_1^{d+1},a_2^d,\ldots,a_k^{d-k+2})$, then any $m$ finite Borel measures in $\mathbb{R}^d$ that vanish on affine hyperplanes admit $k$ mutually orthogonal hyperplanes such that every $n$-element subfamily divides each measure into $2^n$ equal parts. For the least possible dimension $Δ^*(m,k,n)$, we obtain general lower bounds and prove upper bounds in several cases. These give exact values, including $Δ^*(2^j-1,k,2)=2^{j-1}(k+1)-1$ for all $j\ge1$ and $k\ge2$. In the case $n=k$, the upper bound of Mani-Levitska, Vrećica, and Zivaljević [18], originally obtained without an orthogonality requirement, remains valid under the stronger requirement that all $k$ hyperplanes be mutually orthogonal.

We collect some open problems about minimal presentations of numerical semigroups and, more generally, about defining ideals and free resolutions of their semigroup rings and associated graded rings. We emphasize both long-standing problems and more recent questions and developments.

We extend the scope of analytic combinatorics to classes containing objects that have irrational sizes. The generating function for such a class is a power series that admits irrational exponents (which we call a Ribenboim series). A transformation then yields a generalised Dirichlet series from which the asymptotics of the coefficients can be extracted by singularity analysis using an appropriate Tauberian theorem. In practice, the asymptotics can often be determined directly from the original generating function. We illustrate the technique with a variety of applications, including tilings with tiles of irrational area, ordered integer factorizations, lattice walks enumerated by Euclidean length, and plane trees with vertices of irrational size. We also explore phase transitions in the asymptotics of families of irrational combinatorial classes. This revision contains a correction to the proof of Proposition 13 that appears in the published version.

The burning number of a graph is the minimal number of steps that are needed to burn all of its vertices, with the following burning procedure: at each step, one can choose a point to set on fire, and the fire propagates constantly at unit speed along the edges of the graph. In this paper, we consider two natural random burning procedures in the discrete Euclidean torus $\mathbb{T}_n^d$, in which the points that we set on fire at each step are random variables. Our main result deals with the case where at each step, the law of the new point that we set on fire conditionally on the past is the uniform distribution on the complement of the set of vertices burned by the previous points. In this case, we prove that as $n\to\infty$, the corresponding random burning number (i.e, the first step at which the whole torus is burned) is asymptotic to $T\cdot n^{d/(d+1)}$ in probability, where $T=T(d)\in(0,\infty)$ is the explosion time of a so-called generalised Blasius equation.

For any graph $H$, let $R_k(H)$ denote the minimum integer $n$ such that in every $k$-edge-coloring of $K_{n}$, there is a monochromatic copy of $H$. Given two graphs $H$ and $G$, the \emph{constrained Ramsey number} $f(H,G)$ is the minimum integer $n$ such that in every edge-coloring of $K_{n}$ with any number of colors, there is either a monochromatic copy of $H$ or a rainbow copy of $G$. Let $P_t$ be the path on $t$ vertices. Gyárfás, Lehel and Schelp proved that $f(H,P_5)=R_3(H)$ when $H$ is a path, a cycle, or a connected non-bipartite graph. Li, Besse, Magnant, Wang and Watts conjectured that $f(H,P_5)=R_3(H)$ for any graph $H$, and confirmed this for every connected graph and every bipartite graph. In this paper, we address this conjecture for several classes of disconnected graphs with chromatic number at least 3. To the best of our knowledge, our general results encompass all previously known results of this type. We also obtain several results for a bipartite variant of the problem. In addition, we propose a series of related questions from several directions for further research. Our proofs combine the structural characterization of Thomason and Wagner with Simonovits' decomposition-family method and Ramsey numbers for families of graphs.

In this paper, we investigate the edge-coloring number of various graphs defined on finite groups. We notably show that the power graph of a finite group $G$ is overfull if and only if the power graph of $G$ is of Class $2$ (has edge-coloring number one more than its maximum vertex degree) if and only if $G$ is a cyclic group of odd prime power order. We find the equivalent necessary and sufficient conditions to be Class $2$ for the intersection power graph and enhanced power graph (respectively cyclic of odd prime power order, and cyclic of odd order), and investigate the situation for the proper power graph. Finally, we give conditions for the power graph of a finite group to have the universal edge pre-coloring extension property: every optimal coloring of the power graph extending to another graph without modifying the existing colors (the enhanced power graph in our case).

We determine the number of positive integral points on $n$-dimensional affine varieties associated to arbitrary $n \times n$ generalized Cartan matrices. An application to the theory of cluster algebras and combinatorics is the resolution of the Fontaine-Plamondon conjecture, which says that there are exactly $4400$ and $26952$ positive integral friezes of type $E_7$ and $E_8$ respectively. An application to number theory is a refinement and generalization of theorems of Mordell, Mohanty, and Schinzel to positive integers and higher dimensions by exhibiting examples of log K3 surfaces $xyz = G(x, y)$ and affine threefolds $xyzw = G(x, y, z)$ of every degree greater than $3$ with infinitely many positive integral solutions.

Crystal skeletons were introduced by Maas-Gariépy in 2023 by contracting quasi-crystal components in a crystal graph. On the representation theoretic level, crystal skeletons model the expansion of Schur functions into Gessel's quasisymmetric functions. Motivated by questions of Schur positivity, we provide a combinatorial description of crystal skeletons, and prove many new properties, including a conjecture by Maas-Gariépy that crystal skeletons generalize dual equivalence graphs. We then present a new axiomatic approach to crystal skeletons. We give three versions of the axioms based on $GL_n$-branching, $S_n$-branching, and local axioms in analogy to the local Stembridge axioms for crystals based on novel commutation relations.

We consider geometric and combinatorial characterizations of equiangular tight frames (ETFs), with the former concerning homogeneity of the vector and line symmetry groups and the latter the matroid structure. We introduce the concept of the bender of a frame, which is the collection of short circuits, which in turn are the dependent subsets of frame vectors of minimum size. We also show that ETFs with $k$-homogeneous line symmetry groups have benders which are $k$-designs. Paley ETFs are a known class of ETFs constructed using number theory. We determine the line and vector symmetry groups of all Paley ETFs and show that they are $2$-homogeneous. We additionally characterize all $k$-homogeneous ETFs for $k\geq 3$. Finally, we revisit David Larson's AMS Memoirs \emph{Frames, Bases, and Group Representations} coauthored with Deguang Han and \emph{Wandering Vectors for Unitary Systems and Orthogonal Wavelets} coauthored with Xingde Dai with a modern eye and focus on finite-dimensional Hilbert spaces.

Let $\mathscr{N}_g(2ν,j)$ denote the number of connected labelled $2ν$-valent maps of genus $g$ with $j$ vertices. Explicit bivariate formulae for $\mathscr{N}_g(2ν,j)$ have been available only in the planar and toroidal cases. Using a structural formula of Ercolani et al (2023), we translate the problem of determining an explicit bivariate formula for $\mathscr{N}_g(2ν,j)$, $g \geq 2$, to finding finitely many counts with a fixed number of vertices. For $g=2,3$ and $4$ we determine these counts using the associated orthogonal polynomials, yielding explicit bivariate formulae for $\mathscr{N}_g(2ν,j)$ in these genera. Furthermore, the same method applies for every $g\ge5$ at the cost of additional computation. From these formulae we obtain the leading-order asymptotics of $\mathscr{N}_g(2ν,j)$ as $ν\to\infty$ for $g=2,3,4$, and we conjecture the structure of these formulae in general genus. In addition, we establish an analogous reduction to finitely many counts, derive explicit formulae and large-valence asymptotics, and formulate corresponding conjectures for two-legged even-valent maps.

An edge-colored graph $(G,\mathcal C)$ is $F$-rainbow saturated if it contains no rainbow copy of $F$, but adding any nonedge in any prescribed color creates one. The rainbow saturation number $\operatorname{rsat}(n,F)$ is the minimum number of edges in such a graph of order $n$. In this paper we study $\operatorname{rsat}(n,C_r)$. We determine the value for $C_4$ exactly, and establish bounds for every fixed $C_r$ with $r\geq5$.

The famous Hindman conjecture says that for any finite coloring of natural numbers, there exists a monochromatic copy of the form $\{x,x+y,xy\}.$ In a celebrated article, Moreira gave a partial answer to this conjecture by showing that every finite coloring of the natural numbers contains a monochromatic configuration of the form $\{x, x+y, xy\}$. In this article we prove matrix versions (both finite and infinite) of Moreira's theorem. A matrix $A$ is said to be an image partition regular matrix if for any finite coloring of naturals, there exists a monochromatic image of $A,$ i.e. there exists a vector $\vec X$ such that all the entries of $A\vec X$ are monochromatic. From a recent paper of Bowen, one can derive the finite matrix version of the Moreira theorem: if $A$ and $B$ are two finite image partition regular matrices of the same order, then under any finite coloring of $\mathbb{N}$, there exist vectors $\vec{X}$ and $\vec{Y}$ such that all entries in the union of $A\vec{X}, A\vec{X} + B\vec{Y}, A\vec{X} \cdot B\vec{Y}$ are monochromatic, where $A\vec{X} \cdot B\vec{Y}$ denote the vector each of its entries are pointwise multiplication of the coordinates of $A\vec{X} \text{ and } B\vec{Y}$. In this article, we give a short combinatorial proof of this result, and then we extend it to infinite image partition regular matrices.

If a quantum walk starting on a vertex tends to stay at home, then that vertex is said to be sedentary. We prove that almost all planar graphs and almost all trees contain at least two sedentary vertices for any assignment of edge weights --- a result that suggests vertex sedentariness is a common phenomenon in trees and planar graphs. For weighted bipartite graphs, we show that a vertex is not sedentary whenever 0 does not belong to its eigenvalue support. Consequently, each vertex in a nonsingular weighted bipartite graph is not sedentary, a stark contrast to weighted trees and weighted planar graphs. A corollary of this result is that every vertex in a bipartite graph with a unique perfect matching is not sedentary for any assignment of edge weights. We also construct new families of weighted bipartite graphs with sedentary vertices using the bipartite double, subdivision operation, and corona product. Finally, we show that unweighted paths and unweighted even cycles contain no sedentary vertices.