arXiv++ Combinatorics

In 1997, Erdős asked whether for arbitrarily large $n$ there exists a set of $n$ points in $\mathbb{R}^2$ that determines $O(\frac{n}{\sqrt{\log n}})$ distinct distances while satisfying the local constraint that every 4-point subset determines at least 3 distinct pairwise distances. We construct $n$-point sets from an $m\times m$ box of the lattice $L = \{(x,\sqrt{2}y):x,y \in \mathbb{Z}\} \subset \mathbb{R}^2.$ The distinct distance bound follows from applying Bernays' theorem to the number of integers represented by the binary quadratic form $u^2 + 2v^2$. The local 4-point constraint is verified through Perucca's similarity classification of the six similarity types determining exactly two distances.

Chip-firing on a directed graph is a game in which chips, a discrete commodity, are placed on the vertices of the graph and are transferred between vertices. In this paper, we study a chip-firing game on the Hasse diagram of the lattice of nonnegative integer points on the plane, where we start with $2^n$ chips at the origin. When we fire a vertex $v$, we send one chip to each out-neighbor. We fire until we reach a stable configuration, a distribution of chips where no vertex can fire. We study the intermediate firing configuration: a table that assigns to each vertex the total number of chips that pass through it. We prove that the nonzero entries of the stable configuration correspond to the odd entries of the intermediate configuration. The intermediate configuration consists of three parts: the top triangle, the midsection, and the bottom triangle. We describe properties of each part. We study properties of each row and the number of rows of the intermediate configuration. We also explore properties of the difference tables, which are tables of first differences of each row of the intermediate firing configuration.

A quantum Latin square of order $n$ (denoted as QLS$(n)$) is an $n\times n$ array whose entries are unit column vectors from the $n$-dimensional Hilbert space $\mathcal{H}_n$, such that each row and column forms an orthonormal basis. Two unit vectors $|u\rangle, |v\rangle\in \mathcal{H}_n$ are regarded as identical if there exists a real number $θ$ such that $|u\rangle=e^{iθ}|v\rangle$; otherwise, they are considered distinct. The cardinality $c$ of a QLS$(n)$ is the number of distinct vectors in the array. In this note,we use sub-QLS$(6)$ to prove that for any integer $m\geq 2$ and any $c\in [6m,36m^2]\setminus \{6m+1\}$, there is a QLS$(6m)$ with cardinality $c$.

A Roman dominating function of a graph $G=(V,E)$ is a labeling $f: V \rightarrow{} \{0 ,1, 2\}$ such that for each vertex $u \in V$ with $f(u) = 0$, there exists a vertex $v \in N(u)$ with $f(v) =2$. A Roman dominating function $f$ is a global Roman dominating function if it is a Roman dominating function for both $G$ and its complement $\overline{G}$. The weight of $f$ is the sum of $f(u)$ over all the vertices $u \in V$. The objective of Global Roman Domination problem is to find a global Roman dominating function with minimum weight. The objective of Global Roman Domination is to compute a global Roman dominating function of minimum weight. In this paper, we study the algorithmic aspects of Global Roman Domination problem on various graph classes and obtain the following results. 1. We prove that Roman domination and Global Roman Domination problems are not computationally equivalent by identifying graph classes on which one is linear-time solvable, while the other is NP-complete. 2. We show that Global Roman Domination problem is NP-complete on split graphs, thereby resolving an open question posed by Panda and Goyal [Discrete Applied Mathematics, 2023]. 3. We prove that Global Roman Domination problem is NP-complete on chordal bipartite graphs, planar bipartite graphs with maximum degree five and circle graphs. 4. On the positive side, we present a linear-time algorithm for Global Roman domination problem on cographs.

A line multigraph is obtained from a hypergraph as follows: the vertices of the multigraph correspond to the hyperedges of the hypergraph, and the number of edges between two vertices is given by the number of vertices shared by the corresponding hyperedges. In this paper, we establish several structural and spectral properties of this class of multigraphs. More precisely, we show that important structural characteristics, such as connectivity, linearity, and regularity are, in some sense, preserved between a hypergraph and its line multigraph. We also prove that the eigenvalues of the line multigraph associated with a general hypergraph of rank $r$ are greater than or equal to $-r$, which generalizes a fundamental spectral property of line graphs. Furthermore, we provide sufficient conditions for $-r$ to be an eigenvalue of the line multigraph. Finally, we present applications of line multigraphs to the spectral theory of hypergraphs, including bounds for the signless Laplacian spectral radius of a hypergraph and a characterization of the signless Laplacian spectrum for a specific class of hypergraphs.

Given a graph $F$, the $r$-expansion $F^r$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by inserting $r-2$ new distinct vertices in each edge of $F$. Given $r$-uniform hypergraphs $\mathcal{H}$ and $\mathcal{F}$, the generalized Turán number, denoted by $\textrm{ex}_r(n,\mathcal{H},\mathcal{F})$, is the maximum number of copies of $\mathcal{H}$ in an $n$-vertex $r$-uniform hypergraph that does not contain $\mathcal{F}$ as a subhypergraph. In the case where $r=2$ (i.e., the graph case), the study of generalized Turán problems was initiated by Alon and Shikhelman [\textit{J. Combin. Theory Series B.} 121 (2016) 146--172]. Motivated by their work, we systematically study generalized Turán problems for expansions and obtain several general and exact results. In particular, for the non-degenerate case, we determine the exact generalized Turán number for expansions of complete graphs, and establish the asymptotics of the generalized Turán number for expansions of the vertex-disjoint union of complete graphs. For the degenerate case, we establish the asymptotics of generalized Turán numbers for expansions of several classes of forests, including star forests, linear forests and star-path forests.

Swish is a card game in which players are given cards having symbols (hoops and balls), and find a valid superposition of cards, called a "swish." Dailly, Lafourcade, and Marcadet (FUN 2024) studied a generalized version of Swish and showed that the problem is solvable in polynomial time with one symbol per card, while it is NP-complete with three or more symbols per card. In this paper, we resolve the previously open case of two symbols per card, which corresponds to the original game. We show that Swish is NP-complete for this case. Specifically, we prove the NP-hardness when the allowed transformations of cards are restricted to a single (horizontal or vertical) flip or 180-degree rotation, and extend the results to the original setting allowing all three transformations. In contrast, when neither transformation is allowed, we present a polynomial-time algorithm. Combining known and our results, we establish a complete characterization of the computational complexity of Swish with respect to both the number of symbols per card and the allowed transformations.

We show that a certain triangulation of CAT(0) triangle-pentagon complexes is $7$-located and locally $5$-large. Hereby we give examples of $7$-located, locally $5$-large groups.

We consider the Hopf algebra of B-diagrams as an algebra projecting onto the Heisenberg algebra and designed to encode the combinatorics of the bosonic normal-ordering problem. In order to understand and generalize the properties of the algebra of noncommutative symmetric polynomials viewed as a Hopf subalgebra of the Hopf algebra linearly spanned by B-diagrams, we describe and study its dual Hopf algebra. This construction also allows us to establish connections with combinatorial Hopf algebras based on colored set partitions.

Disjunct matrices, also known as cover-free families and superimposed codes, are combinatorial arrays widely used in group testing. Among their variants, those that satisfy an additional combinatorial property called inclusiveness form a special class suitable for computationally efficient and highly error-tolerant group testing under the general inhibitor complex model, a broad framework that subsumes practical settings such as DNA screening. Despite this relevance, the asymptotic behavior of the inclusive variant of disjunct matrices has remained largely unexplored. In particular, it was not previously known whether this variant can achieve an asymptotically positive rate, a requirement for scalable group testing designs. In this work, we establish the first nontrivial asymptotic lower bound on the maximum achievable rate of the inclusive variant, which matches the strongest known upper bound up to a logarithmic factor. Our proof is based on the probabilistic method and yields a simple and efficient randomized construction. Furthermore, we derandomize this construction to obtain a deterministic polynomial-time construction. These results clarify the asymptotic potential of robust and scalable group testing under the general inhibitor complex model.

In this paper, we provide an upper bound for the number of one-element commutation classes of a permutation, that is, the number of reduced words in which no commutation can be applied. Using this upper bound, we prove a conjecture that relates the number of reduced words with the number of commutation classes of a permutation.

In recent years, several efforts have focused on identifying new families of scattered polynomials. Currently, only three families in $\mathbb{F}_{q^n}[X]$ are known to exist for infinitely many values of $n$ and $q$: (i) pseudoregulus-type monomials, (ii) Lunardon-Polverino-type binomials, and (iii) a family of quadrinomials studied in a series of papers. In this work, we provide sufficient conditions under which these quadrinomials, denoted by $ψ_{m,h,s}$, are scattered. Our results both include and generalize those obtained in previous studies. We also investigate the equivalences between the previously known families of scattered polynomials and those in this new class.

We study a $q$-deformed random unitary ensemble associated with the little-$q$ Laguerre weight, which provides a discrete analogue of the classical Laguerre unitary ensemble. In the double scaling regime $q=e^{-λ/N}$, where $N$ is the system size and $λ\ge 0$, we derive the limiting spectral distribution as $N\to \infty$, which yields a $q$-deformation of the Marchenko-Pastur law. The limiting density undergoes a phase transition at an explicitly determined critical value $λ_c$: for $λ<λ_c$, the support consists of a single band region, whereas for $λ>λ_c$ an additional saturated region emerges adjacent to the band region. Our derivation of the limiting distribution is based on three complementary approaches: the method of moments, the analysis of a constrained equilibrium problem, and the asymptotic zero distribution of orthogonal polynomials. As a consequence, we establish the convergence of the empirical measure as well as a large deviation principle. In addition, we derive closed-form expressions for the spectral moments using the combinatorial structure of orthogonal polynomials, and obtain large-$N$ expansions for these moments.

For the buffet, the waiter of a restaurant gets a large stack of pancakes from the overworked cook. As usual, one side is burnt, and as the level of batter decreases, the pancakes became smaller and smaller. Hence, the waiter ends up with a stack of one-sided burnt pancakes sorted by size, with the larger at the bottom and burnt side up. However, the waiter cannot serve them this way. He needs to turn all the burnt sides down, without changing the order. Having only a spatula, he can only perform flips to the top of the stack. How can he perform this transformation in a minimum number of flips? Having n pancakes, this problem can be modeled in the burnt pancake graph, having 2^n*n! vertices, where each possible stack of pancakes corresponds to a vertex expressed by a permutation of size n, where the pancakes are ordered by size, and the pancake numbers are multiplied by -1, if the corresponding pancake has the burnt side side up. An edge exists in this graph, if the corresponding stacks can be reached from each other by one flip. Let T(n) be the minimum number of flips to sort the stack of n pancakes (-1,...,-n). General burnt pancake sorting has been introduced by Bill Gates and Papadimitriou. The instance (-1,...,-n) has strong relevance because of its easy structure and as it has been shown to be a worst-case instance for several small n. Heydari and Sudborough gave the currently best upper bound of T(n), namely (3n+3)/2 for n = 3 mod 4, which later has been shown to be exact by a work of Cibulka. Except these two works, no progress regarding lower and upper bounds has been made until now. In our work, we present that (3n+3)/2 is also an upper bound of T(n) for n = 1 mod 4, which again matches the lower bound of Cibulka and thus is exact. The case of even n keeps an open problem, where two possible values for T(n) are possible, namely (3/2)n + 1 or (3/2)n + 2.

The generalized Turán number for $H$ of $G$, denoted by $\ex(n,H,G)$, is the maximum number of copies of $H$ in an $n$-vertex $G$-free graph. When $H$ is an edge, $\ex(n,H,G)$ is the classical Turán number $\ex(n,G)$. Let $P_k$ be the path with $k$ vertices. The square of $P_k$, denoted by $P_k^2$, is obtained by joining the pairs of vertices with distance at most two in $P_k$. The Turán number of $P_k^2$, $\ex(n, P_k^2)$, was determined by several researchers. When $k=3$, $P_3^2$ is the triangle and $\ex(n, P_3^2)$ is well-known from Mantel's theorem. When $k=4$, $\ex(n, P_4^2)$ was solved by Dirac in a more general context. When $k=5,6$, the problem was solved by Xiao, Katona, Xiao, and Zamora. For general $k \ge 7$, the problem was solved by Yuan in a more general context. Recently, Mukherjee determined the generalized Turán number $\ex(n, K_3, P_5^2)$. In this paper, we determine the exact value of $\ex(n, K_3, P_6^2)$ and characterize all the extremal graphs for $n \ge 11$.

We say a hypergraph $\mathcal{H}$ contains a graph $G$ as trace if there exists a vertex subset $S \subseteq V(\mathcal{H})$ such that $|S| = V(G)$ and $\{e \cap S \mid e \in E(\mathcal{H})\}$ contains $G$ as a subgraph. We use $\mathrm{ex}(n, Tr_r(G))$ to denote the maximum number of edges in an $r$-uniform hypergraph on $n$ vertices not containing $G$ as trace. The study of Turán numbers for traces was initiated by Mubayi and Zhao~(2017) who studied $\mathrm{ex}(n, Tr_r(K_{s+1}))$ where $K_{s+1}$ is a clique on $s+1$ vertices and conjectured the exact value of $\mathrm{ex}(n, Tr_r(K_{s+1}))$. When $r \le s$, the conjecture was covered by a result of Pikhurko~(2013) who gave the exact value of Turán numbers for expanded cliques. Then Gerbner and Picollelli~(2023) gave the exact value for book graphs~($K_{1,1,t}$, the complete tripartite graph with two parts of size one and one part of size $t \ge 2$). We say $G$ is edge-critical if there exists an edge $e \in E(G)$ such that $χ(G - e) < χ(G)$ where $χ(G)$ is the chromatic number of $G$. The definition of edge-critical was given by Simonovits~(1974), who proved that for an edge-critical graph $G$ with $χ(G) = s+1 \ge 3$, the Turán graph $T(n,s)$ is the unique extremal graph for $ex(n,G)$ as $n$ is sufficiently large. In this paper, we further generalize the results of Gerbner and Picollelli~(2023) to edge-critical graphs. More precisely, we prove that for an edge-critical graph $G$ with $χ(G) = s+1$, when $s \ge r \ge 3$ and $n$ is sufficiently large, the $r$-uniform Turán graph $T_r(n,s)$ is the unique extremal hypergraph.

We show that powersets over structures with a bounded counting sequence can be sampled efficiently without evaluating the generating function. An algorithm is provided, implemented, and tested. Runtimes are comparable to existing Boltzmann samplers reported in the literature.

Banderier, Marchal, and Wallner considered Young tableaux with walls, which are similar to standard Young tableaux, except that local decreases are allowed at some walls. In this work, we prove a conjecture of Fuchs and Yu concerning the enumeration of two classes of three-row Young tableaux with walls. Combining with the work by Chang, Fuchs, Liu, Wallner, and Yu leads to the verification of a conjecture on tree-child networks proposed by Pons and Batle. This conjecture was regarded as a specific and challenging problem in the Phylogenetics community until it was finally resolved by the present work.

Let $f\in\mathbb R[x,y,z]$ be a fixed non-degenerate quadratic polynomial. Given an $α$-Frostman probability measure $μ$ supported on $[0,1]$ with $α\in(0,1)$, consider the pushforward measure $ν=f_{\#}(μ\timesμ\timesμ)$ on $\mathbb R$. We prove the following $L^2$ energy estimate: for a fixed nonnegative Schwartz function $\varphi$ with $\int\varphi=1$ and $\varphi_δ(t)=δ^{-1}\varphi(t/δ)$, there exist $ε>0$ and $δ_{0}>0$ (depending only on $α$ and the coefficients of $f$) such that \[ \int_{\mathbb R}(\varphi_δ*ν(t))^{2}\,dt \ \lesssim\ δ^{α+ε-1} \qquad \text{for all } δ\in(0,δ_{0}]. \] The proof expands the $L^2$ energy into a weighted six-fold coincidence integral and reduces the main contribution to a planar incidence problem after a controlled change of variables. The key new input is an incidence estimate for point sets that arise as bi-Lipschitz images of a Cartesian product $M\times M$ of a $δ$-separated and non-concentrated set $M$, yielding a power saving beyond what is available from separation and non-concentration alone. We also give examples showing that bounded support and Frostman-type hypotheses are necessary for such $L^{2}$ control.

In this paper, we investigate birational toric morphisms between quantum toric stacks -- namely, toric (analytic) stacks associated with fans whose cones may be irrational -- focusing on two primary classes of examples: weighted blow-ups with arbitrary weights, and morphisms induced by cobordisms.

When can one change the diagonal of a matrix without changing its spectrum? We completely answer this question over an algebraically closed field of characteristic zero or larger than the size of the matrix: An $n \times n$ matrix $A$ admits a nonzero diagonal matrix $D$ such that $A$ and $A+D$ have the same spectrum if and only if, for some size $k$, the $k \times k$ principal minors of $A$ are not all equal. This relates to the classical additive inverse eigenvalue problem in numerical analysis and has implications for existence and rigidity results in the theory of Floquet isospectrality of discrete periodic operators in solid state physics. The proof employs new techniques involving Hilbert schemes of points and the infinitesimal structure of the Hilbert--Chow morphism.

Deltoids provide a natural framework for studying defective (partial) matchings in abelian groups, and we develop both structure and existence results in this setting. Given finite subsets $A$ and $B$ of an abelian group $G$, a matching is a bijection $f:A\to B$ such that $af(a)\notin A$ for all $a\in A$, a definition motivated by the study of canonical forms for symmetric tensors. We provide necessary and sufficient conditions for the existence of a partial matching with any prescribed defect, and then describe the minimal unavoidable defect for a pair $(A,B)$. We also define and examine a defective version of Chowla sets in the matching context. We prove a structure theorem identifying obstructions to the existence of partial matchings with small defect. Finally, within the deltoid setup, we establish max-min results on the partitioning of $A$ and $B$ into left- and right-admissible sets. Our tools mix results from transversal theory with ideas from additive number theory.

We show that the 3-symmetric rectilinear and the 3-symmetric pseudolinear crossing numbers of $K_{33}$ are equal. Specifically, we prove that $\operatorname{sym}-\overline{\operatorname{cr}}_3(K_{33}) = 14 634 = \operatorname{sym}-\widetilde{\operatorname{cr}}_3(K_{33})$.

We prove universality for cokernels of random integral matrices with symmetries via an approach different from the classical surjection moment method introduced by Wood (arXiv:1402.5149). In the symmetric case, we reprove Hodges' universality theorem (arXiv:2311.07078), i.e. the version incorporating the canonical pairing from Wood's setting, and in the alternating case we reprove the local universality theorem of Nguyen-Wood (arXiv:2210.08526). A key advantage of our method is that it is quantitative: we obtain explicit error bounds, which are exponentially small in most regimes, thereby addressing Wood's question on effective convergence rates. Our argument is inspired by Maples' exposure-process and coupling viewpoint (arXiv:1301.1239) and uses a generalized form of Fourier-analytic estimates in the exponentially sharp style of Ferber-Jain-Sah-Sawhney (arXiv:2106.04049).

In relation to Kostant's problem for simple highest weight modules over the general linear Lie algebra, we prove a persistence result for Kostant negative consecutive patterns. Inspired by it, we introduce the notion of a Kostant cuspidal permutation as a minimal Kostant negative consecutive pattern. It is shown that Kostant cuspidality is an invariant of a Kazhdan-Lusztig left cell. We describe four infinite families of Kostant cuspidal involutions, including a complete classification of Kostant cuspidal fully commutative involutions. In particular, we show that the number of new Kostant cuspidal elements can be arbitrarily large, when the rank grows. This provides some potential explanation why Kostant's problem is hard.

A set of points $S \subseteq \mathbb{F}_p^n$ is called \emph{$p$-divisible} if every affine hyperplane in $\mathbb{F}_p^n$ intersects $S$ in $0 \pmod p$ points. The Strong Cylinder Conjecture of Ball asserts that if $S$ is a $p$-divisible set of $p^2$ points in $\mathbb{F}_p^3$, then $S$ is a cylinder. In this paper, we show that every $p$-divisible multiset $S$ is both a $\mathbb{F}_p$-linear and $\mathbb{Z}$-linear combination of characteristic functions of cylinders. In addition, the multisets of size $p^2$ are $\Z$-linear combinations of a plane and weighted differences of parallel lines.