Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Planar percolation and the loop O(n) model
We show that a large class of site percolation processes on any planar graph contains either zero or infinitely many infinite connected components. The assumptions that we require are: tail triviality, positive association (FKG) and that the set of open vertices is stochastically dominated by the set of closed ones. This covers the case of Bernoulli site percolation at parameter $p\leq 1/2$ and resolves Conjecture 8 from the work of Benjamini and Schramm from 1996. Our result also implies that $p_c\geq 1/2$ for any invariantly amenable unimodular random rooted planar graph.
Furthermore, we apply our statement to the loop O(n) model on the hexagonal lattice and confirm a part of the phase diagram conjectured by Nienhuis in 1982: the existence of infinitely many loops around every face whenever $n\in [1,2]$ and $x\in [1/\sqrt{2},1]$. The point $n=2,x=1/\sqrt{2}$ is conjectured to be critical. This is the first instance that this behavior has been proven in such a large region of parameters. In a big portion of this region, the loop O(n) model has no known FKG representation. We apply our percolation result to quenched distributions that can be described as divide and color models.
Falling stars: a fall-decorated rational shuffle theorem
Published
• View Publication
• BIB
In this paper, we formulate a rational analog of the fall Delta theorem and the Delta square conjecture.
We find a new dinv statistic on fall-decorated paths on a $(m+k) \times (n+k)$ rectangle that simultaneously extends the previously known dinv statistics on decorated square objects and non-decorated rectangular objects.
We prove a symmetric function formula for the $q,t$-generating function of fall-decorated rectangular Dyck paths as a skewing operator applied to $e_{m,n+km}$ and, conditionally on the rectangular paths conjecture, an analog formula for fall-decorated rectangular paths.
Vertex-Based Localization of Generalized Turán Problems
Published
• View Publication
• BIB
Let $\mathcal{F}$ be a family of graphs. A graph is called $\mathcal{F}$-free if it does not contain any member of $\mathcal{F}$. Generalized Turán problems aim to maximize the number of copies of a graph $H$ in an $n$-vertex $\mathcal{F}$-free graph. This maximum is denoted by $ex(n, H, \mathcal{F})$. When $H \cong K_2$, it is simply denoted by $ex(n,F)$. Erdős and Gallai established the bounds $ex(n, P_{k+1}) \leq \frac{n(k-1)}{2}$ and $ex(n, C_{\geq k+1}) \leq \frac{k(n-1)}{2}$. This was later extended by Luo \cite{luo2018maximum}, who showed that $ex(n, K_s, P_{k+1}) \leq \frac{n}{k} \binom{k}{s}$ and $ex(n, K_s, C_{\geq k+1}) \leq \frac{n-1}{k-1} \binom{k}{s}$. Let $N(G,K_s)$ denote the number of copies of $K_s$ in $G$. In this paper, we use the vertex-based localization framework, introduced in \cite{adak2025vertex}, to generalize Luo's bounds. In a graph $G$, for each $v \in V(G)$, define $p(v)$ to be the length of the longest path that contains $v$. We show that \[N(G,K_s) \leq \sum_{v \in V(G)} \frac{1}{p(v)+1}{p(v)+1\choose s} = \frac{1}{s}\sum_{v \in V(G)}{p(v) \choose s-1}\] We strengthen the cycle bound from \cite{luo2018maximum} as follows: In graph $G$, for each $v \in V(G)$, let $c(v)$ be the length of the longest cycle that contains $v$, or $2$ if $v$ is not part of any cycle. We prove that \[N(G,K_s) \leq \left(\sum_{v\in V(G)}\frac{1}{c(v)-1}{c(v) \choose s}\right) - \frac{1}{c(u)-1}{c(u) \choose s}\] where $c(u)$ denotes the circumference of $G$. Furthermore, we characterize the class of extremal graphs that attain equality for these bounds. We provide full proofs for the cases $s = 1$ and $s \geq 3$, while the case $s = 2$ follows from the result in \cite{adak2025vertex}. We also conclude with a generalization of a result by Balister-Bollobás-Riordan-Schelp \cite{BALISTER2003366}.
On the non-existence of perfect codes in the sum-rank metric
We study perfect codes in the sum-rank metric, a generalization of both the Hamming and rank metrics relevant in multishot network coding and space-time coding. A perfect code attains equality in the sphere-packing bound, corresponding to a partition of the ambient space into disjoint metric balls. While perfect codes in the Hamming and rank metrics are completely classified, the existence of nontrivial perfect codes in the sum-rank metric remains largely open. In this paper, we investigate linear perfect codes in the sum-rank metric. We analyze the geometry of balls and derive bounds on their volumes, showing how the sphere-packing bound applies. For two-block spaces, we determine explicit parameter constraints for the existence of perfect codes. For multiple-block spaces, we establish non-existence results for various ranges of minimum distance, divisibility conditions, and code dimensions. We further provide computational evidence based on congruence conditions imposed by the volume of metric balls.
Localization: A Framework to Generalize Extremal Problems
Published
• View Publication
• BIB
Extremal graph theory studies the maximum or minimum number of subgraphs isomorphic to a prescribed graph under given constraints. \textit{Localization} has recently emerged as a framework that refines such problems by assigning extremal quantities locally (to vertices or edges) and then aggregating them. This perspective not only recovers classical results but also leads to sharper bounds.
A classical result states that a connected planar graph with a finite girth $g$ satisfies \begin{equation*}
m \leq \frac{g}{g-2}(n-2) \end{equation*} Wood~\cite{wood} derived upper bounds on the number of $K_t$-cliques in graphs of bounded maximum degree, expressed in terms of both the number of vertices and the number of edges: \begin{align*}
ex(n,K_t,K_{1,d+1}) \leq \frac{n}{d+1}\binom{d+1}{t} \\ mex(m,K_t,K_{1,d+1}) \leq \frac{m}{\binom{d+1}{2}}\binom{d+1}{t} \end{align*} More recently, Chakraborty and Chen~\cite{CHAKRABORTI2024103955} established a similar upper bound for graphs with bounded path length: \begin{equation*}
mex(m,K_t,P_{r+1}) \leq \frac{m}{\binom{r}{2}}\binom{r}{t} \end{equation*}
In this paper, we employ the localization framework to improve these bounds and provide structural characterizations of the extremal graphs attaining them.
Edge-connectivity and non-negative Lin-Lu-Yau curvature
By definition, the edge-connectivity of a connected graph is no larger than its minimum degree. In this paper, we prove that the edge connectivity of a finite connected graph with non-negative Lin-Lu-Yau curvature is equal to its minimum degree. This answers an open question of Chen, Liu and You. Notice that our conclusion would be false if we did not require the graph to be finite. We actually classify all connected graphs with non-negative Lin-Lu-Yau curvature and edge-connectivity smaller than their minimum degree. In particular, they are all infinite.
Modular systoles are extremal for the crossing number
We study crossing numbers for systoles of congruence surfaces. Taken as a family of curves on a family of surfaces, we show that the growth rate of their intersection is optimally small among all sets of curves of the same cardinality lying on the same topological surface.
Measuring Ransomware Lateral Movement Susceptibility via Privilege-Weighted Adjacency Matrix Exponentiation
Ransomware impact hinges on how easily an intruder can move laterally and spread to the maximum number of assets. We present a graph-theoretic formulation that casts lateral movement as a path-closure problem over a probability semiring to measure lateral-movement susceptibility and estimate blast radius. We build a directed multigraph where vertices represent assets and edges represent reachable services (e.g., RDP/SSH) between them. We model lateral movement as a probabilistic process using a pivot potential factor $π(s)$ for each service, with step successes composed via a probabilistic path operator \( \otimes \) and alternative paths aggregated via a probabilistic union \( \oplus \) (noisy-OR). This yields a monotone fixed-point (iterative) computation of a $K$-hop compromise probability matrix that captures how compromise propagates through the network. Metrics derived from this model include: (1) Lateral-Movement Susceptibility (LMS$_K$): the average probability of a successful lateral movement between any two assets (0-1 scale); and (2) Blast-Radius Estimate (BRE$_K$): the expected percentage of assets compromised in an average attack scenario. Interactive services (SSH 22, RDP 3389) receive higher $π(s)$ than app-only ports (MySQL 3306, MSSQL 1433), which seldom enable pivoting without an RCE. Across anonymized enterprise snapshots, pruning high-$π(s)$ edges yields the largest LMS$_K$/BRE$_K$ drop, aligning with CISA guidance, MITRE ATT\&CK (TA0008: Lateral Movement), and NIST SP~800-207. The framework evaluates (micro)segmentation and helps prioritize controls that reduce lateral-movement susceptibility and shrink blast radius.
The Edge-Distinguishing Game
Published
• View Publication
• BIB
In this paper, we introduce a graph coloring game called the Edge-Distinguishing Game (EDGe). The edge-distinguishing chromatic number of a graph is used to determine the moves each player can make. We determine which player has a winning strategy for particular graphs and graph families. Additionally, utilizing principles from game theory as well as previous work on a computational solution for the Game of Cycles.
A Note on Distance-Fall Colorings
We say a proper coloring of a graph is distance-$k$ fall if every vertex is within distance $k$ of at least one vertex of every color. We show that if $G$ is a connected graph of order at least $3$ that is $3$-colorable, thenit has a distance-2 fall 3-coloring. Further, for every integer $k\ge 2$, if $T$ is a tree of order at least $k$, then $T$ has a $k$-coloring such that every vertex is within distance $k-1$ of every color. This proves an old conjecture of Beineke and Henning that every tree of order $n$ has an independent distance-$d$-dominating set of size at most $n/(d + 1)$.
Sylvester--Gallai configurations on algebraic curves in C^2
The Sylvester-Gallai theorem says that for any finite set of non-collinear points in $\R^2$, there is some line passing through exactly two points of the set. Over the complex numbers, this theorem fails: there are finite configurations with the property that any line through two points also passes through a third. Only one infinite class of examples (the Fermat configurations) is known, and it is a folklore conjecture that this is the only infinite class of examples. We prove this conjecture in the ``99\% structure'' case where we assume most of the points lie on a low degree algebraic curve.
Curves in projective space and RSK
Published
• View Publication
• BIB
The geometric Tevelev degrees of projective space enumerate general, pointed algebraic curves interpolating through the maximal possible number of points. Previous work expresses these invariants in terms of Schubert calculus. Extending ideas of Gillespie--Reimer-Berg, we use the RSK correspondence to give a positive interpretation of these counts in terms of the combinatorics of words.
Approximating mixed volumes to arbitrary accuracy
We study the problem of approximating the mixed volume $V(P_1^{(α_1)}, \dots, P_k^{(α_k)})$ of an $k$-tuple of convex polytopes $(P_1, \dots, P_k)$, each of which is defined as the convex hull of at most $m_0$ points in $\mathbb{Z}^n$. We design an algorithm that produces an estimate that is within a multiplicative $1 \pm ε$ factor of the true mixed volume with a probability greater than $1 - δ.$ Let the constant $ \prod_{i=2}^{k} \frac{(α_{i}+1)^{α_{i}+1}}{α_{i}^{\,α_{i}}}$ be denoted by $\tilde{A}$. When each $P_i \subseteq B_\infty(2^L)$, we show in this paper that the time complexity of the algorithm is bounded above by a polynomial in $n, m_0, L, \tilde{A}, ε^{-1}$ and $\log δ^{-1}$. In fact, a stronger result is proved in this paper, with slightly more involved terminology.
In particular, we provide the first randomized polynomial time algorithm for computing mixed volumes of such polytopes when $k$ is an absolute constant, but $α_1, \dots, α_k$ are arbitrary. Our approach synthesizes tools from convex optimization, the theory of Lorentzian polynomials, and polytope subdivision.
Various spectral aspects of NCCC-graphs of certain finite non-abelian groups
Let ${G}$ be a finite non-abelian group. The non-commuting conjugacy class graph (abbreviated as NCCC-graph) of $G$ is a simple undirected graph whose vertex set is the set of conjugacy classes of non-central elements of $G$ and two vertices $x^G$ and $y^G$ are adjacent to each other if $x'$ and $y'$ does not commute for all $x'\in x^G$ and $y'\in y^G$, where $x^G$ is the conjugacy class of $x \in G$. In this paper, we compute the spectrum, Laplacian spectrum, signless Laplacian spectrum and corresponding energies of NCCC-graphs of certain families of finite non-abelian groups. We determine whether these graphs are integral, L-integral and Q-integral. Further, we compare energy, Laplacian energy and signless Laplacian energy; and determine whether these graphs are borderenergetic, L-borderenergetic, Q-borderenergetic, hyperenergetic, L-hyperenergetic or Q-hyperenergetic.
Fractional domatic number and minimum degree
The domatic number of a graph $G$ is the maximum number of pairwise disjoint dominating sets of $G$. We are interested in the LP-relaxation of this parameter, which is called the fractional domatic number of $G$. We study its extremal value in the class of graphs of minimum degree $d$. The fractional domatic number of a graph of minimum degree $d$ is always at most $d+1$, and at least $(1-o(1))\, d/\ln d$ as $d\to \infty$. This is asymptotically tight even within the class of split graphs. Our main result concerns the case $d=2$; we show that, excluding $8$ exceptional graphs, the fractional domatic number of every connected graph of minimum degree (at least) $2$ is at least $5/2$. We also show that this bound cannot be improved if only finitely many graphs are excluded, even when restricting to bipartite graphs of girth at least $6$. This proves in a stronger sense a conjecture by Gadouleau, Harms, Mertzios, and Zamaraev (2024). This also extends and generalises results from McCuaig and Shepherd (1989), from Fujita, Kameda, and Yamashita (2000), and from Abbas, Egerstedt, Liu, Thomas, and Whalen (2016). Finally, we show that planar graphs of minimum degree at least $2$ and girth at least $g$ have fractional domatic number at least $3 - O(1/g)$ as $g\to\infty$.
Word Chain Generators for Prefix Normal Words
Published
• View Publication
• BIB
In 2011, Fici and Lipták introduced prefix normal words. A binary word is prefix normal if it has no factor (substring) that contains more occurrences of the letter 1 than the prefix of the same length. Among the open problems regarding this topic are the enumeration of prefix normal words and efficient testing methods. We show a range of characteristics of prefix normal words. These include properties of factors that are responsible for a word not being prefix normal. With word chains and generators, we introduce new ways of relating words of the same length to each other.
Examples of diameter-2 graphs with no triangle or $K_{2,t}$
For each $t \ge 1$ let $W_t$ denote the class of graphs other than stars that have diameter $2$ and contain neither a triangle nor a $K_{2,t}$. The famous Hoffman--Singleton Theorem implies that $W_2$ is finite. Recently Wood suggested the study of $W_t$ for $t > 2$ and conjectured that $W_t$ is finite for all $t \ge 2$. In this note we show that (1) $W_3$ is infinite, (2) $W_5$ contains infinitely many regular graphs, and (3) $W_7$ contains infinitely many Cayley graphs. Our $W_3$ and $W_5$ examples are based on so-called crooked graphs, first constructed by de Caen, Mathon, and Moorhouse. Our $W_7$ examples are Cayley graphs with vertex set $\mathbb{F}_p^2$ for prime $p \equiv 11 \pmod {12}$.
Generalized Macdonald functions and quantum toroidal gl(1) algebra
The Macdonald operator is known to coincide with a certain element of the quantum toroidal $\mathfrak{gl}(1)$ algebra in the Fock representation of levels $(1,0)$. A generalization of this operator to higher levels $(r,0)$ can be built using the coproduct structure, it is diagonalized by the generalized Macdonald symmetric functions, indexed by $r$-tuple partitions and depending on $r$ alphabets. In this paper, we extend to the generalized case some of the known formulas obeyed by ordinary Macdonald symmetric functions, such as the $e_1$-Pieri rule or the identity relating them to Whittaker vectors obtained by Garsia, Haiman, and Tesler. We also propose a generalization of the five-term relation, and the Fourier/Hopf pairing. In addition, we prove the factorized expression of the generalized Macdonald kernel conjectured previously by Zenkevich.
Two results on set families: sturdiness and intersection
Published
• View Publication
• BIB
This paper resolves two open problems in extremal set theory. For a family $\mathcal{F} \subseteq 2^{[n]}$ and $i, j\in [n]$, we denote $\mathcal{F} (i,\bar{j})=\{F\backslash\{i\}: F\in \mathcal{F}, F\cap\{i,j\}=\{i\}\}$. The sturdiness $β(\mathcal{F})$ is defined as the minimum $|\mathcal{F} (i,\bar{j})|$ over all $i\neq j$. A family $\mathcal{F}$ is called an IU-family if it satisfies the intersection constraint: $F\cap F'\neq \emptyset $ for all $F,F'\in \mathcal{F}$, as well as the union constraint: $F\cup F' \neq [n]$ for all $F,F'\in \mathcal{F}$. The well-known IU-Theorem states that every IU-family $\mathcal{F}\subseteq 2^{[n]}$ has size at most $ 2^{n-2}$. In this paper, we prove that if $\mathcal{F}\subseteq 2^{[n]}$ is an IU-family, then $β(\mathcal{F})\le 2^{n-4}$. This confirms a recent conjecture proposed by Frankl and Wang.
As the second result, we establish a tight upper bound on the sum of sizes of cross $t$-intersecting separated families. Our result not only extends a previous theorem of Frankl, Liu, Wang and Yang on separated families, but also provides explicit counterexamples to an open problem proposed by them, thereby settling their problem in the negative.
Non-uniform pairwise cross $t$-intersecting families
Published
• View Publication
• BIB
Let $ n\geqslant t\geqslant 1$ and $ \mathcal{A}_1, \mathcal{A}_2, \ldots, \mathcal{A}_m \subseteq 2^{[n]}$ be non-empty families. We say that they are pairwise cross $t$-intersecting if $|A_i\cap A_j|\geqslant t$ holds for any $A_i\in \mathcal{A}_i$ and $A_j\in \mathcal{A}_j$ with $i\neq j$. In the case where $m=2$ and $\mathcal{A}_1=\mathcal{A}_2$, determining the maximum size $M(n,t)$ of a non-uniform $t$-intersecting family of sets over $[n]$ was solved by Katona (1964), and enhanced by Frankl (2017), and recently by Li and Wu (2024). In this paper, we establish the following upper bound: if $ \mathcal{A}_1, \mathcal{A}_2, \ldots, \mathcal{A}_m \subseteq 2^{[n]}$ are non-empty pairwise cross $t$-intersecting families, then $$ \sum_{i=1}^m |\mathcal{A}_i| \leqslant \max \left\{ \sum_{k=t} ^{n}\binom{n}{k} + m - 1, \, m M(n, t) \right\}. $$
Furthermore, we provide a complete characterization of the extremal families that achieve the bound. Our result not only generalizes an old result of Katona (1964) for a single family, but also extends a theorem of Frankl and Wong (2021) for two families. Moreover, our result could be viewed as a non-uniform version of a recent theorem of Li and Zhang (2025). The key in our proof is to utilize the generating set method and the pushing-pulling method together.