arXiv++ Combinatorics

Recently, sharp matrix concentration inequalities~\cite{BBvH23,BvH24} were developed using the theory of free probability. In this work, we design polynomial time deterministic algorithms to construct outcomes that satisfy the guarantees of these inequalities. As direct consequences, we obtain polynomial time deterministic algorithms for the matrix Spencer problem~\cite{BJM23} and for constructing near-Ramanujan graphs. Our proofs show that the concepts and techniques in free probability are useful not only for mathematical analyses but also for efficient computations.

Flag codes generalize constant dimension codes by considering sequences of nested subspaces with prescribed dimensions as codewords. A comprehensive construction, which unites cyclic orbit flag codes, yields two families of flag codes on $\mathbb{F}^n_q$ (where $n=sk+h$ with $s\geq 2$ and $0\leq h < k$): optimum distance flag codes of the longest possible type vector $(1, 2, \ldots, k, n-k, \ldots, n-1)$ and flag codes with longer type vectors $(1, 2, \ldots, k+h, 2k+h, \ldots, (s-2)k+h, n-k, \ldots, n-1)$. These flag codes achieve the same cardinality $\sum^{s-1}_{i=1}q^{ik+h}+1$.

Flow cones of a directed acyclic graph admit a family of unimodular triangulations given by Danilov, Karzanov, and Koshevoy (DKK) whose normal fans are related to (generalizations) of the associahedron and permutahedron. A correspondence between these triangulations for certain graphs and maximal cones of a $g$-vector fan of a gentle quiver associated to the graph was discovered by von Bell, Braun, Bruegge, Hanely, Peterson, Serhiyenko, and Yip in 2022. This correspondence has been fruitful in uncovering lattice structures in the triangulations. We start by showing that this correspondence is actually a linear isomorphism. We then consider flow cones of certain graphs with cycles. For this case, we give a DKK-like triangulation of the cone, and extend the correspondence to the finite $g$-vector fan of a corresponding locally gentle quiver. In addition, we extend to cyclic graphs a mysterious result of Postnikov--Stanley and Baldoni--Vergne, giving the volume of flow polytopes of acyclic graphs as the number of certain integer flows on the same graph. We illustrate our results with a two-parameter family of cyclic graphs that includes a cycle graph and nested 2-cycles as special cases. We show that the fans of its DKK-like triangulations are respectively isomorphic to the normal fan of the cyclohedron and of a new polytope with the same $f$-vector but different combinatorial type than the permutahedron.

In this paper we establish an asymptotic formula for the signless Laplacian spectral radius of a $2$-dimensional simplicial complex with given $2$-th Betti number. Furthermore, we characterize the $2$-dimensional simplicial complex that achieves the maximum signless Laplacian spectral radius among all-dimensional simplicial complex with the $2$-th Betti number equal to $1$ or $2$.

The edge-to-edge tilings of the sphere by congruent polygons, where all edges are straight, have been completely classified. We classify the curvilinear version of the similar triangular tilings, where the edges may not be straight, and find that these are the modifications of the straight triangular tilings.

The notion of mutual visibility in graphs arises from constraining shortest paths by forbidding internal vertices from belonging to a specified subset. Mutual-visibility sets, originally introduced as a tool for studying information flow and structural restrictions in complex networks, have since gained increasing attention due to their theoretical significance and diverse applications. In this paper, a complete characterization of mutual-visibility sets in trees is presented. It is shown that a subset $S$ is a mutual-visibility set of $T$ if and only if it coincides with the set of leaves of the Steiner subtree $T\langle S\rangle$. As a consequence, the mutual-visibility number of a tree is equal to the number of its leaves. For trees containing branch vertices, the notion of legs is introduced and an explicit formula for the number of maximal mutual-visibility sets is derived in terms of the corresponding leg lengths. It is proved that every tree is absolute-clear. It is further established that the mutual-visibility number is preserved under the line graph operation for trees with at least two edges, that is, $μ(L(T))=μ(T)$.

In this paper we define a generating function for buildings of type $\widetilde{A}_1$ (i.e. trees) that are enhanced with a certain filtration structure. We prove that this generating function recovers the zeta function of certain quadratic orders. We do this by studying how the ideals of the orders distribute in the building of $SL(2, K)$.

We show that the q-Narayana numbers for q=-1 count symmetric Dyck paths according to the number of their valleys.

Asymptotic normality is frequently observed in large combinatorial structures, rigorously established for many quantities such as cycles or inversions in random permutations, the number of prime factors of random integers, and various parameters of random graphs. In this paper, we investigate whether this normal limit behavior extends to the topological invariants of geometric spaces. We show that the Betti numbers of the moduli space of rational curves with $n$ marked points $\overline{\mathcal{M}}_{0,n}$ and the Fulton-MacPherson configuration space $\mathbb{P}^1[n]$ are asymptotically normally distributed. Based on numerical evidence and established log-concavity, we conjecture that the Betti numbers of the quotients of these spaces by the symmetric group $\mathbb{S}_n$ are also asymptotically normally distributed. In contrast, we provide examples of geometric spaces that do not follow this Gaussian law.

This article gives a formula for associated Stirling numbers of the second kind based on the moment of a sum of independent random variables having a beta distribution. From this formula we deduce, using probabilistic approaches, lower and upper bounds for these numbers.

Using the generalized Temperley trick, we demonstrate the explicit embedding of circular electrical networks into totally non-negative Grassmannians. Building on this result, we show that the effective resistances between boundary nodes of circular electrical networks satisfy the Kalmanson property, and we provide the full characterization of planar electrical Kalmanson metrics. Additionally, we present a graph reconstruction algorithm with applications in phylogenetic network analysis as well as the numerical solution of the Calderon problem.

We show that it is not true that every countable infinite strongly dense poset has the splitting property, so answering a question of R. Ahlswede, P.L. Erdös and N. Graham.

Since its introduction as a Maker-Breaker positional game by Duchêne et al. in 2020, the Maker-Breaker domination game has become one of the most studied positional games on vertices. In this game, two players, Dominator and Staller, alternately claim an unclaimed vertex of a given graph G. If at some point the set of vertices claimed by Dominator is a dominating set, she wins; otherwise, i.e. if Staller manages to isolate a vertex by claiming all its closed neighborhood, Staller wins. Given a graph G and a first player, Dominator or Staller must have a winning strategy. We are interested in the computational complexity of determining which player has such a strategy. This problem is known to be PSPACE-complete on bipartite graphs of bounded degree and split graphs; polynomial on cographs, outerplanar graphs, and block graphs; and in NP for interval graphs. In this paper, we consider the parameterized complexity of this game. We start by considering as a parameter the number of moves of both players. We prove that for the general framework of Maker-Breaker positional games in hypergraphs, determining whether Breaker can claim a transversal of the hypergraph in k moves is W[2]-complete, in contrast to the problem of determining whether Maker can claim all the vertices of a hyperedge in k moves, which is known to be W[1]-complete since 2017. These two hardness results are then applied to the Maker-Breaker domination game, proving that it is W[2]-complete to decide if Dominator can dominate the graph in k moves and W[1]-complete to decide if Staller can isolate a vertex in k moves. Next, we provide FPT algorithms for the Maker-Breaker domination game parameterized by the neighborhood diversity, the modular width, the P4-fewness, the distance to cluster, and the feedback edge number.

We investigate the ferromagnetic Ising model on the Erdős-Rényi random graph $\mathbb{G}(n,m)$ with bounded average degree $d=2m/n$. Specifically, we determine the limiting distribution of $\log Z_{\mathbb{G}(n,m)}(β,B)$, where $Z_{\mathbb{G}(n,m)}(β,B)$ is the partition function at inverse temperature $β>0$ and external field $B\geq0$. If either $B>0$, or $B=0$, $d>1$ and $β>\operatorname{ath}(1/d)$ the limiting distribution is a Gaussian whose variance is of order $Θ(n)$ and is described by a family of stochastic fixed point problems that encode the root magnetisation of two correlated Galton-Watson trees. By contrast, if $B=0$ and either $d\leq1$ or $β<\operatorname{ath}(1/d)$ the limiting distribution is an infinite sum of independent random variables and has bounded variance.

Let $\mathcal{H}=(V, E)$ be an $r$-uniform hypergraph on $n$ vertices. The signless Laplacian spectral radius of $\mathcal{H}$ is defined as the maximum modulus of the eigenvalues of the tensor $\mathcal{Q}(\mathcal{H})=\mathcal{D}(\mathcal{H})+\mathcal{A}(\mathcal{H})$, where $\mathcal{D}(\mathcal{H})$ and $\mathcal{A}(\mathcal{H})$ are the degree diagonal tensor and the adjacency tensor of $\mathcal{H}$, respectively. In this paper, we establish a general theorem that extends the spectral Turán result of Keevash, Lenz and Mubayi [SIAM J. Discrete Math., 28 (4) (2014)] to the setting of signless Laplacian spectral Turán problems. We prove that if a family $\mathcal{F}$ of $r$-uniform hypergraphs is degree-stable with respect to a family $\mathcal{H}_n$ of $r$-uniform hypergraphs and its extremal constructions satisfy certain natural assumptions, then the signless Laplacian spectral Turán problem for $\mathcal{F}$ can be effectively reduced to the corresponding problem restricted to the family $\mathcal{H}_n$. As a concrete application, we completely determine the extremal hypergraph that maximizes the signless Laplacian spectral radius among all Fano plane-free $3$-uniform hypergraphs, showing that the unique extremal hypergraph is the balanced complete bipartite $3$-uniform hypergraph.

Let $\mathcal{D}$ be a block design admitting a locally transitive automorphism group $G$. We say $\mathcal{D}$ is $G$-point-locally dihedral if the induced local action $G_x^{\mathcal{D}(x)}$ is dihedral for each point $x$, and say $\mathcal{D}$ is $G$-block-locally dihedral if the induced local action $G_B^B$ is dihedral for each block $B$. The design $\mathcal{D}$ is called $G$-locally dihedral if both conditions hold. We give a classification of primitive permutation groups with dihedral point stabilizers, and apply it to classify point-locally dihedral block designs. For symmetric designs with a dihedral local action, we show that $G_x$ and $G_B$ are conjugate in $G$. Moreover, both local actions are faithful, and $G$ acts imprimitively on both points and blocks.

Let us denote elements of the symmetric group $S_n$ using square brackets for the one-line notation. Cycles will be represented using parentheses, following the standard cycle notation. Under this convention, the full reversal of the identity element $()$ is the element $s = [n\ n-1 \dots 1]$. In the present work, we obtain a lower bound on the decomposition complexity of elements $s(1n \dots 2)^{i}$ into the generators $(12), (12 \dots n), (1n \dots 2)$, where $i$ ranges over the set $\{1,2,\dots,n\}$. As a consequence, we derive the lower bound $n(n-1)/2$ for the diameter of Cayley graph of the group $S_n$ generated by $(12), (12 \dots n), (1n \dots 2)$.

We prove that constant minimum degree already forces cycles with almost linearly many chords. Specifically, every graph $G$ with $δ(G)\ge C$ contains a cycle of length $\ell\ge 4$ with $Ω(\ell/\log^{C}\ell)$ chords for some absolute constant $C>0$. This is the first result showing that a constant-degree condition yields an unbounded -- indeed nearly linear -- number of chords, placing our bound within a polylogarithmic factor of the Chen--Erdős--Staton conjecture. It also gives a strong affirmative conclusion in the direction of a recent question of Dvořák, Martins, Thomassé, and Trotignon asking whether constant-degree graphs must contain cycles whose chord counts grow with their length.

We confirm the Jamneshan-Tao conjecture for finite abelian groups of rank at most a fixed integer $R$ (i.e. finite abelian groups generated by at most $R$ elements), by proving an inverse theorem for 1-bounded functions of non-trivial Gowers norm on such groups, concluding that such a function must correlate non-trivially with a nilsequence of bounded complexity.

We introduce triple crossing diagram (TCD) maps, which encode projective configurations of points and lines, as a unified framework for constructions arising in various areas of geometry, such as discrete differential geometry, discrete geometric dynamics and hyperbolic geometry. We define two types of local moves for TCD maps, one of which is governed by the discrete Schwarzian KP (dSKP) equation, and establish their multi-dimensional consistency. We construct two distinct cluster structures on the space of TCD maps, called projective and affine cluster structures, and show that they are related via an operation called section. This framework organizes and unifies a wide range of examples, including Q-nets, Darboux maps, line complexes, T-graphs, t-embeddings, triangulations and geometric discrete integrable systems such as the pentagram map and cross-ratio dynamics, which are further developed in a companion paper and in (arXiv:2108.12692).

The classical Maker-Breaker positional game is played on a board which is a hypergraph $\mathcal{H}$, with two players, Maker and Breaker, alternately claiming vertices of $\mathcal{H}$ until all the vertices are claimed. When the game ends, Maker wins if she has claimed all the vertices of some edge of $\mathcal{H}$; otherwise, Breaker wins. Playing this game in real life can be done by placing tokens on the vertices of the board. In this paper, we study the unfortunate case in which one or both players do not have enough tokens to cover all the vertices and, as such, will have to move their tokens around at some point instead of placing new ones. There may be a bias, in that Maker and Breaker do not necessarily have the same amount of tokens. The present paper initiates the study of this generalization of positional games, called token positional games. A particularly interesting case is when Maker has a winning strategy in the classical game: what is the lowest number of tokens with which she still wins against Breaker's unlimited stock? We notably show that, for $k$-uniform hypergraphs on an arbitrarily large number $n$ of vertices, this number equals $k$ if $k \in\{2,3\}$ but can vary from $k$ to $Ω(n)$ if $k \geq 4$. From an algorithmic point of view, PSPACE-hardness in general is inherited from classical positional games, but we get a polynomial-time algorithm to solve the case where Breaker only has one token. We also establish EXPTIME-completeness for a "token sliding" variation of the game.

Consider a unit-intensity point process $Π$ on the vertex set $V$ of a transitive non-amenable unimodular graph. We study invariant matchings between $Π$ and $V$ having small typical matching distances. When $Π$ is either a Poisson process or i.i.d. perturbations of the vertex set, we determine the optimal matching distance and show that it can be attained by a factor matching scheme (that is, a deterministic and equivariant function of $Π$).