arXiv++ Combinatorics

The connection Laplacian L and the Dirac matrix D are both n x n matrices defined from a given finite simplicial complex G with n sets. In both cases, there is interlacing of the eigenvalues for subcomplexes. This gives general upper bounds of the eigenvalues both for L and D in terms of inclusion or intersection degrees. We conjecture that L always dominates both D and the inverse of L in a weak Loewner sense. In a second part we look at dynamical systems (G,T), where T is a simplicial map on G. Both L and D generalize to dynamical versions of L and D. The modified L is still unimodular with an explicit Green function inverse and modified Dirac part still comes from an exterior derivative d. We also review the Lefschetz fixed point theorem for a simplicial map T on a simplicial complex G which implies the Brouwer fixed point theorem: any simplicial map on a contractible finite abstract simplicial complex G has a fixed simplex.

Armstrong, Reiner, and Rhoades defined for all Weyl groups $W$ a natural representation of $W$ called the $W$-parking space. The type $B$ parking space is the representation $\mathbb{C}[(\mathbb{Z}/(2n+1)\mathbb{Z})^n]$ of the $n$th signed symmetric group. We consider more general representations of the form $\mathbb{C}[(\mathbb{Z}/m\mathbb{Z})^n]$; we conjecture that this representation extends to the $(n+1)$th signed symmetric group for all $n$ and $m$. We prove this conjecture when $m = 3$ or when $n \leq 2$.

Given a permutation of size $n$, we consider its associated grid graph whose $i$th column has height equal to the $i$th entry, with vertical edges between consecutive levels and horizontal edges between equal levels in adjacent columns. We study global degree statistics of these graphs when the permutation is chosen from the Catalan avoidance class $\mathrm{Av}_n(213)$ (and, by reversal, also from $\mathrm{Av}_n(312)$). We first obtain an explicit closed form for the total number of horizontal edges summed over all permutations in $\mathrm{Av}_n(213)$. We then determine, for each degree $r\in\{1,2,3,4\}$, the total number of degree-$r$ vertices accumulated over the same class, yielding closed expressions in terms of central binomial coefficients and powers of four. The proofs rely on the Catalan decomposition induced by the position of the minimum entry, which leads to gluing identities and algebraic functional equations for ordinary generating functions, completed using global vertex and degree-sum identities. As a consequence, we derive asymptotic degree proportions for a uniform random permutation in $\mathrm{Av}_n(213)$: the distribution concentrates and the proportion of degree-$4$ vertices tends to $1$, with a deficit of order $n^{-1/2}$.

The Brualdi-Solheid problem asks which graph achieves the extremal (maximum or minimum) spectral radius for a given class of graphs. This paper addresses the Brualdi-Solheid problem for \( \mathcal{G}_{n,β} \), the family of graphs with order \( n \) and matching number \( β\), aiming to identify its spectrally minimal graphs i.e., those that minimize the spectral radius \(ρ(G)\). We introduce the novel concept of ``quasi-adjacency'' relation, developing a unified structural classification framework for trees in \(\mathcal{G}_{n,β}\), which clarifies structural properties and provides a constructive method to generate trees with fixed \(β\). By showing that all spectrally minimal graphs in \( \mathcal{G}_{n,β} \) are trees, we further narrow the search for extremal graphs. Additionally, we apply this framework to the representative cases \(β=2,3,4\), obtaining the minimizers by explicit structural formulas involving parameters related to \(n\).

Approximating the permanent of a complex-valued matrix is a fundamental problem with applications in Boson sampling and probabilistic inference. In this paper, we extend factor-graph-based methods for approximating the permanent of non-negative-real-valued matrices that are based on running the sum-product algorithm (SPA) on standard normal factor graphs, to factor-graph-based methods for approximating the permanent of complex-valued matrices that are based on running the SPA on double-edge normal factor graphs. On the algorithmic side, we investigate the behavior of the SPA, in particular how the SPA fixed points change when transitioning from real-valued to complex-valued matrix ensembles. On the analytical side, we use graph covers to analyze the Bethe approximation of the permanent, i.e., the approximation of the permanent that is obtained with the help of the SPA. This combined algorithmic and analytical perspective provides new insight into the structure of Bethe approximations in complex-valued problems and clarifies when such approximations remain meaningful beyond the non-negative-real-valued settings.

In embedding calculus, spaces of embeddings are identified with derived mapping spaces between framed Fulton-MacPherson-type modules (framed configuration spaces). Unfortunately, there are no sufficiently good algebraic models for framed Fulton-MacPherson modules that would allow us to explicitly describe the rational homotopy type of the embedding space. Recently there were several attempts to avoid dealing with the framed versions of Fulton-MacPherson modules by considering framed manifolds, e.g. embeddings modulo immersions $\overline{\mathrm{Emb}}$ in a recent paper by Fresse, Turchin and Willwacher, or embeddings with a deformation of the framing $\widetilde{\mathrm{Emb}}$ in a recent paper by the author. In both cases, the rational homotopy type of the corresponding embedding space has an explicit description in terms of graphs (hairy graph complexes). We construct a combinatorial graphical composition for the composition of embedding spaces $\widetilde{\mathrm{Emb}}$. As a step on our way, we describe the action of the coinduction functor on configuration-space-type $e_n^c$-comodules.

Given a simple graph $G$, its $A_α$ matrix is a convex combination with parameter $α\in [0,1]$ of its adjacency matrix and its degree diagonal matrices. Here we compare two lower bounds presented in [J. D. G. Silva Jr., C. S. Oliveira and L. M. G. C. Costa. "Some results involving the $A_α$-eigenvalues for graphs and line graphs"] for the spectral radius of $A_α$, and prove that one is better than the other when there are no isolated nodes in $G$.

An imprimitive symmetric indecomposable association scheme of rank 5 is said to be Higmanian. A divisible design graph is a graph whose adjacency matrix is an incidence matrix of a symmetric divisible design. We establish conditions which guarantee that a union of some basis relations of a Higmanian association scheme is an edge set of a divisible design graph. Further, we show that several known families of divisible design graphs can be obtained as fusions of Higmanian association schemes. Finally, using our approach we construct new infinite families of divisible design graphs.

In this paper, following the paper ``On the average hitting times of the squares of cycles,'' we provide an explicit formula for the average hitting times of a simple random walk on a directed graph with $N$ vertices, where the graph consists of a cycle with a single absorbing vertex at its center, using elementary methods. Also, we show that the average hitting times can be expressed in terms of the Fibonacci and Lucas numbers in general.

We prove that there exist functions $f$ and $g$ such that for all positive integers $k$ and $d$, for every graph $G$ and every subset $A$ of the vertices of $G$, either $G$ contains $k$ $A$-paths such that vertices of different $A$-paths are at distance at least $d$ in $G$, or there exists a set $X$ of the vertices of $G$ with $|X|\leq f(k)$ such that every $A$-path in $G$ contains a vertex of $B_G(X,g(k,d))$.

The saturation number $\text{sat}_r(n,\mathcal{F})$ is the minimum number of hyperedges in an $r$-uniform $\mathcal{F}$-saturated hypergraph on $n$ vertices. We determine this parameter for $3$-uniform Berge-$K_4$ hypergraphs, proving that $\text{sat}_3(n,\text{Berge-}K_4)=n$ for $n =5,7,8$ and $n\ge 96$, while $\text{sat}_3(6,\text{Berge-}K_4)=5$. This resolves a problem posed by English, Kritschgau, Nahvi, and Sprangel~\cite{EKNS2024} for large $n.$ Using a computer search, we classify all extremal hypergraphs for $5\le n\le 8.$ For $n\geq 96$, we further show the existence of many non-isomorphic extremal families. Our approach synthesizes structural insights with computational power.

We study the tensor product of Demazure crystals for symmetrizable Kac-Moody Lie algebras. It is not necessary that the tensor product of Demazure crystals is isomorphic to a disjoint union of Demazure crystals. In this paper, we provide necessary and sufficient conditions for the decomposition of the tensor product of Demazure crystals as a disjoint union of Demazure crystals. Our results are the generalization of the results proved by Anthony Joseph and Takafumi Kouno. As an application, we obtain a sufficient condition when the product of Demazure characters is a linear combination of Demazure characters with nonnegative integer coefficients. In particular, we obtain a partial solution for the key positivity problem.

This paper defines the algebraic structure of tracial post-Lie-Rinehart algebras and describes the free object in this category. Post-Lie-Rinehart algebras is a generalisation of pre-Lie-Rinehart algebras, and of post-Lie algebroids.

Given two graphs $H$ and $G$, an $H$-tiling is a family of vertex-disjoint copies of $H$ in $G$. A perfect $H$-tiling covers all vertices of $G$. The Corradi-Hajnal theorem (1963) states that an $n$-vertex graph $G$ with minimum degree $δ(G)\ge 2n/3$ contains a perfect triangle-tiling. For an $n$-vertex graph $G$ with independence number $α(G)=o(n)$, Balogh, Molla and Sharifzadeh (Random Structures & Algorithms, 2016) showed that a minimum degree of $(\frac12+o(1))n$ forces a perfect triangle-tiling. In a 2-edge-colored graph, Balogh, Freschi, Treglown (European J. Combin. 2026) determined the (asymptotic) minimum degree threshold for forcing a strong or weak monochromatic triangle-tiling covering a prescribed proportion of the vertices: a strong tiling requires all triangles to be in the same color class, while a weak tiling only requires each triangle to be monochromatic. In this paper, we combine the conditions from these two lines of work and prove that every $2$-edge-colored $n$-vertex graph $G$ with $α(G)=o(n)$ contains a weak monochromatic triangle-tiling $Γ$ of size \[ |Γ|\ge \begin{cases} 2δ(G)-n-o(n), & \text{if }\frac12 n\le δ(G)\le \frac35 n,\\[2mm] δ(G)/3-o(n), & \text{if }δ(G)>\frac35 n. \end{cases} \] Both bounds are asymptotically optimal. We use the degree form regularity lemma in our proof.

We study classes of graphs with bounded clique-width that are well-quasi-ordered by the induced subgraph relation, in the presence of labels on the vertices. We prove that, given a finite presentation of a class of graphs, one can decide whether the class is labelled-well-quasi-ordered. This solves an open problem raised by Daligault, Rao and Thomassé in 2010, and answers positively to two conjectures of Pouzet in the restricted case of bounded clique-width classes. Namely, we prove that being labelled-well-quasi-ordered by a set of size 2 or by a well-quasi-ordered infinite set are equivalent conditions, and that in such cases, one can freely assume that the graphs are equipped with a total ordering on their vertices. Finally, we provide a structural characterization of those classes as those that are of bounded clique-width and do not existentially transduce the class of all finite paths.

Lovász (1967) showed that two graphs $G$ and $H$ are isomorphic if, and only if, they are homomorphism indistinguishable over all graphs, i.e., $G$ and $H$ admit the same number of number of homomorphisms from every graph $F$. Subsequently, a substantial line of work studied homomorphism indistinguishability over restricted graph classes. For example, homomorphism indistinguishability over minor-closed graph classes $\mathcal{F}$ such as the class of planar graphs, the class of graphs of treewidth $\leq k$, pathwidth $\leq k$, or treedepth $\leq k$, was shown to be equivalent to quantum isomorphism and equivalences with respect to counting logic fragments, respectively. Via such characterisations, the distinguishing power of e.g. logical or quantum graph isomorphism relaxations can be studied with graph-theoretic means. In this vein, Roberson (2022) conjectured that homomorphism indistinguishability over every graph class excluding some minor is not the same as isomorphism. We prove this conjecture for all vortex-free graph classes. In particular, homomorphism indistinguishability over graphs of bounded Euler genus is not the same as isomorphism. As a negative result, we show that Roberson's conjecture fails when generalised to graph classes excluding a topological minor. Furthermore, we show homomorphism distinguishing closedness for several graph classes including all topological-minor-closed and union-closed classes of forests, and show that homomorphism indistinguishability over graphs of genus $\leq g$ (and other parameters) forms a strict hierarchy.

The harmonic numbers are those $H_n=\sum_{0<k\le n}\frac1k\ (n=0,1,2,\ldots)$. In this paper we confirm over ten conjectural series identities with summands involving the binomial coefficient $\binom{4k}k$ and harmonic numbers. For example, we prove the identities $$\sum_{k=1}^\infty \frac{\binom{4k}{k}}{16^k}\left((22k^2-92k+11)H_{4k}-\frac{449k-275}{2}-\frac{85}{12k}\right)=-151-\frac{80}{3}\log{2}$$ and $$ \sum_{k=0}^\infty\frac{\binom{4k}{k}((11k^2+8k+1)(10H_{4k}-17H_{2k})+2k+18)}{(3k+1)(3k+2)16^k}=8\log2,$$ which were previously conjectured by Z.-W. Sun.

In this paper, we study various classes of partition functions such as those related to the parity of the number of parts, to differences of partition numbers, and to partitions with a repeated smallest part. We establish identities connecting these various classes of partitions. Moreover, our identities help us to extend the Euler's partition theorem. An analogue of Legendre's theorem of the partition-theoretic interpretation of Euler's pentagonal number theorem is also derived. Both combinatorial and $q$-series proofs are given for our results.

In this paper, we give error bounds for the distance distribution of Reed-Muller codes, extending prior work on the distance distribution of Reed-Solomon codes. This is equivalent to the problem of counting multivariate polynomials over a finite field with prescribed degree, coefficients, and number of zeroes. We provide a solution to this problem using the character sum method, which offers a new unified framework applicable to a broad class of polynomial enumeration problems over finite fields that involve prescribed evaluation vectors. This work effectively makes the first systematic attempt to study the coset weight distribution problem for Reed-Muller codes of fixed degree over large finite fields, which was proposed in MacWilliams and Sloane's 1977 textbook \emph{The Theory of Error Correcting Codes}.

Subtraction games are a classical topic in Combinatorial Game Theory. A result of Golomb~(1966) shows that every subtraction game with a finite move set has an eventually periodic nim-sequence, but the known proof yields only an exponential upper bound on the period length. Flammenkamp (1997) conjectures a striking classification for three-move subtraction games: non-additive rulesets exhibit linear period lengths of the form ``the sum of two moves'', where the choice of which two moves displays fractal-like behavior, while additive sets $S=\{a,b,a+b\}$ have purely periodic outcomes with linear or quadratic period lengths. Despite early attention in \emph{Winning Ways} (1982), the general additive case remains open. We introduce and analyze a dual winning convention, which we call {\sc sink subtraction}. Unlike the standard wall convention, where moves to negative positions are forbidden, the sink convention declares a player the winner upon moving to a non-positive position. We show that {\sc additive sink subtraction} admits a complete solution: the nim-sequence is purely periodic with an explicit linear or quadratic period formula, and we conjecture a duality between additive sink subtraction and classical wall subtraction. Keywords: Additive Subtraction Game, Nimber, Periodicity, Sink Convention.

We show that for all integers $2\le s\le t$, any $K_{s,t}$-free subset of $[N]$ with size $Ω(n^{1-1/s})$ must contain a nontrivial solution to every fixed translation-invariant linear equation in at least five variables. This extends earlier results for Sidon sets due to Conlon-Fox-Sudakov-Zhao and Prendiville to the full family of $K_{s,t}$-free sets. We also study the corresponding problem in vector spaces over finite fields. In $\mathbb F_q^n$ we obtain stronger quantitative bounds, including polylogarithmic savings, by combining Fourier-analytic transference with polynomial-method input from the arithmetic cycle-removal lemma of Fox-Lovász-Sauermann.

While sporadic examples of virtual resolutions with homology have been constructed, their occurrence is not well understood or controlled. Our results build a new set of tools for studying virtual resolutions of monomial ideals as arising from simplicial complexes, including characterizing them by the acyclicity of certain induced subcomplexes. Using this characterization, we give a description of minimal simplicial complexes supporting virtual resolutions as well as a technique for removing homology from simplicial virtual resolutions.

A balanced colouring of a graph is one in which every colour appears the same number of times. Given a fixed graph $H$ on $r$ vertices and a balanced $k$-colouring of the complete graph $K_{nrk}$, Hollom (2025) asked the following question: can we always find an $H$-factor $F$ covering all vertices of the complete graph $K_{nrk}$ such that the inherited colouring of $F$ is almost balanced? This is known to be the case for palettes of only two colours, or when $H$ is only a single edge. We answer the above question in full, finding an $H$-factor which is at most $C_{r,k}$ edges away from being balanced, where $C_{r,k}$ depends only on $r$ and $k$. In fact, we work in the more general setting wherein our palette of colours is a subset of $\mathbb{S}^{d-1}$, and find an $H$-factor where the sum of the colours of all edges has bounded Euclidean norm.

We introduce a family of polytopes -- in-in zonotopes -- whose boundary structure organizes the contributions to scalar equal-time correlators in flat space computed via the in-in formalism. We provide explicit Minkowski sum and facet descriptions of these polytopes, and show that their boundaries factorize into products of graphical zonotopes and lower-dimensional in-in zonotopes, thereby mimicking the factorization structure of the correlators themselves. Evaluating their canonical forms at the origin -- equivalently, calculating the volume of the dual polytope -- reproduces the correlator. Finally, in a simple example, we show that the wavefunction decomposition of the correlator corresponds to a subdivision of the dual polytope.

In this paper, we consider the problem of counting almost empty monochromatic triangles in colored planar point sets, that is, triangles whose vertices are all assigned the same color and that contain only a few interior points. Specifically, we show that any $c$-coloring of a set of $n$ points in the plane in general position (that is, no three on a line) contains $Ω(n^2)$ monochromatic triangles with at most $c-1$ interior points and $Ω(n^{\frac{4}{3}})$ monochromatic triangles with at most $c-2$ interior points, for any fixed $c \geq 2$. The latter, in particular, generalizes the result of Pach and Tóth (2013) on the number of monochromatic empty triangles in 2-colored point sets, to the setting of multiple colors and monochromatic triangles with a few interior points. We also derive the limiting value of the expected number of triangles with $s$ interior points in random point sets, for any integer $s \geq 0$. As a result, we obtain the expected number of monochromatic triangles with at most $s$ interior points in random colorings of random point sets.

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 and subdivision operations. Finally, we show that unweighted paths and unweighted even cycles contain no sedentary vertices.

We construct $(P_2)$-closed groups acting on $T_3$ in which all edge inversions have infinite order. This provides a negative answer to a question posed by Tornier. We also construct a family of $(P_2)$-closed groups for which the smallest order of an edge inversion is an arbitrarily high finite number.

We prove a formula for the asymptotic number of edge-colored regular graphs with a prescribed set of allowed vertex-incidence structures. The formula depends on specific critical points of a polynomial encoding the vertex-incidences. As an application, we compute the expected number of proper $c$-edge-colorings of a large random $k$-regular graph.

We show that a circle and square of the same area in $\mathbb{R}^2$ are equidecomposable by translations using $\mathbfΔ^0_2$ pieces. That is, pieces which are simultaneously $F_σ$ and $G_δ$ sets. This improves a result of Máthé-Noel-Pikhurko and is the best possible complexity in terms of the Borel hierarchy. More generally we show that bounded sets $A,B \subseteq \mathbb{R}^n$ with small enough boundaries and the same nonzero Lebesgue measure are equidecomposable with pieces that are countable unions of finite Boolean combinations of translates of $A,B$, and open sets. The improvement comes from constructions of low complexity toasts and related objects which should be independently useful within Borel combinatorics.

We establish that the minimum number of arcs required to partition the Galois projective plane $\text{PG}(2,q)$ is $q+1$. Furthermore, we determine the exact value for a fractional variant of this problem. We extend our analysis to affine planes $\text{AG}(2,q)$, proving that they can be partitioned into $q$ arcs. In particular, we show that this partition is tight when $q$ is an odd prime power, and that a $(q-1)$-partition is attainable for $q=2^k$ with $k \in \{1,2,3\}$. For $q=2^k$ with $k \geq 4$, we provide bounds between two possible values. Finally, we apply these results to Euclidean grids, demonstrating that a partition into $(1+ε)n$ sets in general position exists for any $ε> 0$ and sufficiently large $n$. We also present exact minimal partitions for small Euclidean grids.