arXiv++ Combinatorics

For any infinite, connected, locally finite graph $G=(V,E)$, any parameter $p>p^{\mathrm{site}}_{c}(G)$, and any (finite or infinite) set of vertices $S\subset V$, we derive explicit exponential-type upper bounds on the disconnection probability $\mathbb{P}_{p}(S\nleftrightarrow\infty)$. The estimates are expressed in terms of a packing profile of $S$, encoded by a $(p,\varepsilon,c)$--packing number, which counts how many well-separated vertices in $S$ exhibit controlled local-to-global connectivity. The proof combines a local functional characterization of $p^{\mathrm{site}}_{c}$ from \cite{ZL24,ZL26} with a packing construction and an amplification-by-independence argument, in the direction of Problem~1.6 in \cite{DC20}.

In this paper, we construct directed strongly regular graphs and divisible design graphs with new parameters merging some basic relations of so-called Tatra associations schemes. We also study the above association schemes, their fusions and isomorphisms.

Let $G$ be an infinite, connected, locally finite planar graph and consider i.i.d.\ Bernoulli$(p)$ site percolation. Write $p_c^{\mathrm{site}}(G)$ and $p_u^{\mathrm{site}}(G)$ for the critical and uniqueness thresholds. Using a well--separated Freudenthal embedding $G\hookrightarrow\mathbb S^2$, we introduce a cycle--separation equivalence on ends and associated ``directional'' thresholds $p^{\mathrm{site}}_{c,F}(G)$. When the set of end--equivalence classes is countable, we show that $p_c^{\mathrm{site}}(G)=\inf_F p^{\mathrm{site}}_{c,F}(G)$ and that for every $p\in\bigl(\tfrac12,\,1-p_c^{\mathrm{site}}(G)\bigr)$ there are almost surely infinitely many infinite open clusters. Combined with the $0/\infty$ theorem of Glazman--Harel--Zelesko for $p\le \tfrac12$, this yields non--uniqueness throughout the full coexistence interval $\bigl(p_c^{\mathrm{site}}(G),\,1-p_c^{\mathrm{site}}(G)\bigr)$, and hence $p_u^{\mathrm{site}}(G)\ge 1-p_c^{\mathrm{site}}(G)$ in this setting. This resolves the extension problem posed by Glazman--Harel--Zelesko for the upper half of the coexistence regime under a natural countability hypothesis. In contrast, for graphs with uncountably many end--equivalence classes we give criteria guaranteeing infinitely many infinite clusters above criticality, and we construct an explicit locally finite planar graph of minimum degree at least $7$ for which $p_u^{\mathrm{site}}(G)<1-p_c^{\mathrm{site}}(G)$. Consequently, the Benjamini--Schramm conjecture (Conjecture 7 in \cite{bs96}) that planarity together with minimal vertex degree at least 7 forces infinitely many infinite clusters for all $p\in(p_c,1-p_c)$ does not hold in full generality. Our proofs combine a cutset characterization of $p_c^{\mathrm{site}}$ with a planar alternating--arm exploration organized by an end--adapted boundary decomposition.

A holographic entropy inequality (HEI) is a linear inequality obeyed by Ryu-Takayanagi holographic entanglement entropies, or equivalently by the minimum cut function on weighted graphs. We establish a new combinatorial framework for studying HEIs, and use it to prove several properties they share, including two majorization-related properties as well as a necessary and sufficient condition for an inequality to be an HEI. We thereby resolve all the conjectures presented in [arXiv:2508.21823], proving two of them and disproving the other two. In particular, we show that the null reduction of any superbalanced HEI passes the majorization test defined in [arXiv:2508.21823], thereby providing strong new evidence that all HEIs are obeyed in time-dependent holographic states.

For a graph $G$, let $λ_1(G)$ and $λ_2(G)$ denote the largest and the second largest adjacency eigenvalue of $G$. The sum $λ_1(G) + λ_2(G)$ is called the \emph{spectral sum} of $G$. We investigate the spectral sum of trees of order $n$ and determine the extremal trees that achieve maximum/minimum. Moreover, for any $α\in [0,1]$, we determine the extremal trees which maximize the convex combination $αλ_1 + (1-α)λ_2$ in the class of $n$-vertex trees.

For $d\geq 4$, Kalai (1987) characterized all simplicial $(d-1)$-spheres with $g_2=0$, and for $k\geq 2$ and $d\geq 2k$, Murai and Nevo (2013) characterized all simplicial $(d-1)$-spheres with $g_k=0$. In addition, for $d\geq 4$, Nevo and Novinsky (2011) characterized all simplicial $(d-1)$-spheres with $g_2=1$. Motivated by these results, we characterize, for any $k\geq 2$ and $d\geq 2k+1$, all simplicial $(d-1)$-spheres with no missing faces of dimension larger than $d-k$ that satisfy $g_k=1$. When $d=2k$, we obtain a characterization of simplicial $(d-1)$-spheres with $g_k=1$ and no missing faces of dimension greater than $k$, under the additional assumption that there exists at least one missing face of dimension $k$. Finally, for $k=3$, we are able to remove this assumption and characterize all simplicial $5$-spheres with no missing faces of dimension larger than $3$ that satisfy $g_3=1$.

The \emph{booksize} $ \mathrm{bk}(G) \) of a graph $ G $, introduced by Erdős, refers to the maximum integer $ r $ for which $G$ contains the book $ B_r $ as a subgraph. This paper investigates two open problems in spectral graph theory related to the booksize of graphs. First, we prove that for any positive integer $r$ and any $ B_{r+1} $-free graph $ G $ with $ m \geq (9r)^2 $ edges, the spectral radius satisfies $ ρ(G) \leq \sqrt{m} $. Equality holds if and only if $ G $ is a complete bipartite graph. This result improves the lower bound on the booksize of Nosal graphs (i.e., graphs with $ ρ(G) > \sqrt{m} $) from the previously established $ \mathrm{bk}(G) > \frac{1}{144}\sqrt{m} $ to $ \mathrm{bk}(G) > \frac{1}{9}\sqrt{m} $, presenting a significant advancement in the booksize conjecture proposed Li, Liu, and Zhang. Second, we show that for any positive integer $r$ and any non-bipartite $ B_{r+1} $-free graph $ G $ with $ m \geq (240r)^2 $ edges, the spectral radius $ρ$ satisfies $ρ^2<m-1+\frac{2}{ρ-1}$, unless $G$ is isomorphic to $S^+_{m,s}$ for some $s\in\{1,\ldots,r\}$. This resolves Liu and Miao's conjecture and further reveals an interesting phenomenon: even with a weaker spectral condition, $ρ^2\geq m-1+\frac2{ρ-1}$, we can still derive the supersaturation of the booksize for non-bipartite graphs.

A circuit double cover of a bridgeless graph is a collection of even subgraphs such that every edge is contained in exactly two subgraphs of the given collection. Such a circuit double cover describes an embedding of the corresponding graph onto a surface. In this paper, we investigate the well-known Orientable Strong Embedding Conjecture. This conjecture proposes that every bridgeless graph has a circuit double cover describing an embedding on an orientable surface. In a recent paper, we have proved that a 3-connected cubic planar graph G has exactly one orientable circuit double cover if and only if G is the dual graph of an Apollonian network. In this paper, we extend this result by demonstrating that this characterisation applies to any 3-connected planar graph, regardless of whether it is cubic.

This article investigates structural connections between unrefinable partitions into distinct parts and numerical semigroups. By analysing the hooksets of Young diagrams associated with numerical sets, new criteria for recognising unrefinable partitions are established. A correspondence between missing parts and the gaps of numerical semigroups is developed, extending previous classifications and enabling the characterisation of partitions with maximal numbers of missing parts. In particular, the results show that certain families of unrefinable partitions correspond precisely to symmetric numerical semigroups when the maximal part is prime. Further structural consequences, examples, and a decomposition of unrefinable partitions by minimal excludant are discussed, together with implications for the study of maximal unrefinable partitions.

In this paper, we prove that for every $k$ and every graph $H$ with $m$ edges and no isolated vertices, the Ramsey number $R(C_k,H)$ is at most $2m+\lfloor \frac{k-1}{2} \rfloor$, provided $m$ is sufficiently large with respect to $k$. This settles a problem of Erdős, Faudree, Rousseau and Schelp.

We prove a new universal identity for umbral operators. This motivates the definition of a subclass obeying a simplified identity, which we then fully characterize. The results are illustrated with common examples of the theory of umbral calculus.

In 2010, Koolen and Bang proposed the following conjecture: For a fixed integer $m \geq 2$, any geometric distance-regular graph with smallest eigenvalue $-m$, diameter $D \geq 3$ and $c_2 \geq 2$ is either a Johnson graph, a Grassmann graph, a Hamming graph, a bilinear forms graph, or the number of vertices is bounded above by a function of $m$. In this paper, we obtain some partial results towards this conjecture.

We determine an infinite family of linear identities for the number $A_4(n)$ of partition pairs of $n$ with $4$-cores by employing elementary $q$-series techniques and certain $3$-dissection formulas. We then discover an infinite family of congruences for $A_4(n)$ as a consequence of these linear identities.

The common eigenfunctions of the twisted Cherednik operators can be first analyzed in the limit of $q\longrightarrow 1$. Then, the polynomial eigenfunctions form a simple set originating from the symmetric ground state of non-vanishing degree and excitations over it, described by non-symmetric polynomials of higher degrees and enumerated by weak compositions. This pattern is inherited by the full spectrum at $q\neq 1$, which can be considered as a deformation. The whole story looks like a typical NP problem: the Cherednik equations are difficult to solve, but easy to check the solution once it is somehow found.

Directed acyclic graphical (DAG) models are a powerful tool for representing causal relationships among jointly distributed random variables, especially concerning data from across different experimental settings. However, it is not always practical or desirable to estimate a causal model at the granularity of given features in a particular dataset. There is a growing body of research on causal abstraction to address such problems. We contribute to this line of research by (i) providing novel graphical identifiability results for practically-relevant interventional settings, (ii) proposing an efficient, provably consistent algorithm for directly learning abstract causal graphs from interventional data with unknown intervention targets, and (iii) uncovering theoretical insights about the lattice structure of the underlying search space, with connections to the field of causal discovery more generally. As proof of concept, we apply our algorithm on synthetic and real datasets with known ground truths, including measurements from a controlled physical system with interacting light intensity and polarization.

Let $I(F,n)$ denote the maximum number of induced copies of a graph $F$ in an $n$-vertex graph. The inducibility of $F$, defined as $i(F)=\lim_{n\to \infty} I(F,n)/\binom{n}{v(F)}$, is a central problem in extremal graph theory. In this work, we investigate the inducibility of Turán graphs $F$. This topic has been extensively studied in the literature, including works of Pippenger--Golumbic, Brown--Sidorenko, Bollobás--Egawa--Harris--Jin, Mubayi, Reiher, and the first author, and Yuster. Broadly speaking, these results resolve or asymptotically resolve the problem when the part sizes of $F$ are either sufficiently large or sufficiently small (at most four). We complete this picture by proving that for every Turán graph $F$ and sufficiently large $n$, the value $I(F,n)$ is attained uniquely by the $m$-partite Turán graph on $n$ vertices, where $m$ is given explicitly in terms of the number of parts and vertices of $F$. This confirms a conjecture of Bollobás--Egawa--Harris--Jin from 1995, and we also establish the corresponding stability theorem. Moreover, we prove an asymptotic analogue for $I_{k+1}(F,n)$, the maximum number of induced copies of $F$ in an $n$-vertex $K_{k+1}$-free graph, thereby completely resolving a recent problem of Yuster. Finally, our results extend to a broader class of complete multipartite graphs in which the largest and smallest part sizes differ by at most on the order of the square root of the smallest part size.

Let $p$ be an odd prime and let $F_i$ be the $i$th $(a,b)$-Fibonacci number with initial values $F_0=a$ and $F_1=b$. For a simple connected graph $G=(V,E)$, define a bijective function $f:V(G)\to \{0,1,\ldots,|V|-1\}$. If the induced function $f_p^*:E(G)\to \{0,1\}$, defined by $f_p^*(uv)=\frac{1+([F_{f(u)}+F_{f(v)}]/p)}{2}$ whenever $F_{f(u)}+F_{f(v)}\not\equiv 0\pmod{p}$ and $f_p^*(uv)=0$ whenever $F_{f(u)}+F_{f(v)}\equiv 0\pmod{p}$, satisfies the condition $|e_{f_p^*}(0)-e_{f_p^*}(1)|\leq 1$ where $e_{f_p^*}(i)$ is the number of edges labeled $i$ ($i=0,1$), then $f$ is called $(a,b)$-Fibonacci-Legendre cordial labeling modulo $p$. In this paper, the $(a,b)$-Fibonacci-Legendre cordial labeling of path graphs, star graphs, wheel graphs, and graphs under the operations join, corona, lexicographic product, cartesian product, tensor product, and strong product is explored in relation to $k$-Pisano-Legendre primes relative to $(a,b)$. We also present some properties of $k$-Pisano-Legendre primes relative to $(a,b)$ and numerical observations on its distribution, leading to several conjectures concerning their density and growth behavior.

We define a real-valued distance metric $wd$ on the space $\mathcal{C}$ of short combinatorial games in canonical form. We demonstrate the existence of Cauchy sequences informed by sidling sequences, find limit points, and investigate the closure $\overline{\mathcal{C}}$, which is shown to partition the set of loopy games in a non-trivial way. Stoppers, enders, and non-stopper-sided loopy games are explored, as well as the topological properties of $(\mathcal{C},wd)$.

We consider the problem of locating the source (starting vertex) of a simple random walk, given a snapshot of the set of edges (or vertices) visited in the first $n$ steps. Considering lattices $\mathbb{Z}^d$, in dimensions $d \geq 5$, we show that the source can be identified (a) with probability bounded away from $0$ using one guess, and (b) with probability arbitrarily close to $1$ using a constant number of guesses. On the other hand, for dimensions $d \leq 2$, we show that one cannot locate the source with positive constant probability. Our arguments apply more generally to strongly transient and recurrent simple random walks on vertex-transitive graphs.

Let $R$ be a finite local ring. We prove a quantitative universality statement for the cokernel of random matrices with i.i.d. entries valued in $R$. Rather than use the moment method, we use the Lindeberg replacement technique. This approach also yields a universality result for several invariants that are finer than the cokernel, such as the span and the determinant.

Let $H$ be a finite abelian (commutative) group of order $n \geq 2$, and $m >1$ be an integer. We define the $m$-graph of $H$, denoted by $m-G(H)$, as a simple undirected graph with vertex set $H$, and two distinct vertices, $a, b \in H$, are connected by an edge if and only if $a^m = b$ or $b^m = a$. Several results regarding the properties of the $m$-$G(H)$ have been established.

We provide a closed formula for the graded Betti numbers in the linear strands of all powers of binomial edge ideals $J_G$ arising from closed graphs $G$ that do not have the complete graph $K_4$ as an induced subgraph. We show that these agree with the corresponding Betti numbers for the powers of the lexicographic initial ideal of $J_G$, thereby confirming a conjecture of Ene--Rinaldo--Terai in a special case.

In this expository article, we summarize what is known about maximum likelihood thresholds of Gaussian models, paying special attention to connections with rigidity theory.

Since the alternating sign matrix conjecture, proposed by Mills, Robbins, and Rumsey in 1982, was proved by Zeilberger and Kuperberg, several refined enumerations have been considered. In particular, Behrend et al. obtained a quadruply refined enumeration by adding certain parameters. In this paper, we revisit the doubly refined enumeration of alternating sign matrices by adding three parameters: the number of $-1$'s, the position of the $1$ in the first row, and the position of the $1$ in the last row. Using Lascoux's formula on symmetry functions, we derive a new determinantal formula for this doubly refined enumeration. Besides the enumeration conjecture, Mills et al. also proposed a decomposition conjecture, which was subsequently proven by Kuperberg. We present a refinement of that decomposition conjecture.

The cross-ratio degree problem asks for the number of configurations of $n$ points in $\mathbb{P}^1$ that satisfy $n-3$ specified cross-ratio conditions. It is known that the maximal cross-ratio degree for 8 points is at least 4. In this paper, we will see that the maximal cross-ratio degree for 8 points in $\mathbb{P}^1$ is equal to 4.

Recently, in the context of walks of hexagonal circle packings, interest has emerged in the family of skew Dyck paths with two variants of down-steps. These paths have steps $U, D_g, D_b, L=D_r$. Using generating functions, the kernel method and (in)finite linear systems, contributions to the (average) height and other enumerations are made. As in many similar instances, the average height is of order $\sqrt n$.