Showing 20 papers (Total: 83190 papers, 48060 authors in database)
An orthogonal bimodule decomposition of quantized tensor space realizing Jimbo's Schur--Weyl duality
Consider the vector representation $V_q$ of the quantized enveloping algebra $\mathbf{U}_q(\mathfrak{gl}_n)$. For $q$ generic, Jimbo showed that $q$-tensor space $V_q^{\otimes r}$ satisfies Schur--Weyl duality for the commuting actions of $\mathbf{U}_q(\mathfrak{gl}_n)$ and the Iwahori--Hecke algebra $\mathbf{H}_q(\mathfrak{S}_r)$, with the latter action derived from the $R$-matrix. In the limit as $q \to 1$, one recovers classical Schur--Weyl duality.
We give a combinatorial realization of the corresponding isotypic semisimple decomposition of $V_q^{\otimes r}$ indexed by paths in the Bratteli diagram. This extends earlier work (\emph{Journal of Algebra} 2024) of the first two authors for the $n=2$ case. Our construction works over any field containing a non-zero element $q$ which is not a root of unity.
Sufficient conditions for bipartite rigidity, symmetric completability and hyperconnectivity of graphs
We consider three matroids defined by Kalai in 1985: the symmetric completion matroid $\mathcal{S}_d$ on the edge set of a looped complete graph; the hyperconnectivity matroid $\mathcal{H}_d$ on the edge set of a complete graph; and the birigidity matroid $\mathcal{B}_d$ on the edge set of a complete bipartite graph. These matroids arise in the study of low rank completion of partially filled symmetric, skew-symmetric and rectangular matrices, respectively. We give sufficient conditions for a graph $G$ to have maximum possible rank in these matroids. For $\mathcal{S}_d$ and $\mathcal{H}_d$, our conditions are in terms of the minimum degree of $G$ and are best possible. For $\mathcal{B}_d$, our condition is in terms of the connectivity of $G$. Our results are analogous to recent results for rigidity matroids due to Krivelevich, Lew and Michaeli, and Villányi, respectively, but our proofs require new techniques and structural results. In particular, we give an almost tight lower bound on the vertex cover number in critically $k$-connected graphs.
The Strong Birthday Problem Revisited
We revisit the Strong Birthday Problem (SBP) introduced in [1]. The problem is stated as follows: what is the minimum number of people we have to choose so that everyone has a shared birthday with probability at least 1/2? We derive recurrence relations to compute the probability, and further show a nice connection to the associated Stirling numbers of the second kind to derive additional recurrences. We implement the recurrences using dynamic programming as well as compute the values using the combinatorial formula, and provide numerical results.
Directed distances in bipolar-oriented triangulations: exact exponents and scaling limits
We study longest and shortest directed paths in the following natural model of directed random planar maps: the uniform infinite bipolar-oriented triangulation (UIBOT), which is the local limit of uniform bipolar-oriented triangulations around a typical edge. We construct the Busemann function which measures directed distance to $\infty$ along a natural interface in the UIBOT. We show that in the case of longest (resp.\ shortest) directed paths, this Busemann function converges in the scaling limit to a $2/3$-stable Lévy process (resp.\ a $4/3$-stable Lévy process).
We also prove up-to-constants bounds for directed distances in finite bipolar-oriented triangulations sampled from a Boltzmann distribution, and for size-$n$ cells in the UIBOT. These bounds imply that in a typical subset of the UIBOT with $n$ edges, longest directed path lengths are of order $n^{3/4}$ and shortest directed path lengths are of order $n^{3/8}$. These results give the scaling dimensions for discretizations of the (hypothetical) $\sqrt{4/3}$-directed Liouville quantum gravity metrics.
The main external input in our proof is the bijection of Kenyon-Miller-Sheffield-Wilson (2015). We do not use any continuum theory. We expect that our techniques can also be applied to prove similar results for directed distances in other random planar map models and for longest increasing subsequences in pattern-avoiding permutations.
Variance vs. range for linear extensions, and balancing extensions in posets of bounded width
An old conjecture of Kahn and Saks says, roughly, that any poset $P$ of large enough width contains elements $x,y$ which are "balanced" in the sense that the probability that $x$ precedes $y$ in a uniformly random linear extension of $P$ is close to $1/2$. We show this implies the seemingly stronger statement that the same conclusion holds if, instead of large width, we assume only that, for some $x$, the number, $π(x)$, of elements of $P$ incomparable to $x$ is large. The implication follows from our two main results: first, that if $π(P):=\max π(x)$ is large then $P$ has large variance, i.e. there is a $y$ whose position in a uniform extension of $P$ has large variance; and second, that the conclusion of the Kahn-Saks Conjecture holds for $P$ with large variance and bounded width. These two assertions also yield an easy proof of a (not easy) result of Chan, Pak and Panova on "sorting probabilities" for Young diagrams, together with its natural generalization to higher dimensions.
GUE Correlators and Large Genus Asymptotics
Published
• View Publication
• BIB
In this paper, we use a formula obtained in [8] to study certain asymptotic behaviors of GUE (Gaussian unitary ensemble) correlators. More precisely, we obtain large genus asymptotics of enumerations of ordinary graphs and ribbon graphs with 1 face.
Enumeration of pattern-avoiding $(0,1)$-matrices and their symmetry classes
Published
• View Publication
• BIB
Recently, Brualdi and Cao studied $I_k$-avoiding $(0,1)$-matrices by decomposing them into zigzag paths and proved that the maximum number of $1$'s in such a matrix is given by an exact number. We further study the structure of maximal $I_k$-avoiding $(0,1)$-matrices (IAMs) by interpreting them as families of non-intersecting lattice paths on the square lattice. Using this perspective, we establish a bijection showing that IAMs are equinumerous with plane partitions of a certain size. Moreover, we classify all ten symmetry classes of IAMs under the action of the dihedral group of order $8$ and show that the enumeration formulas for these classes are given by simple product formulas. Extending this approach to skew shapes, we derive a conceptual formula for enumerating maximal $I_k$-avoiding $(0,1)$-fillings of skew shapes.
Minimum spectral radius of graphs of fixed order and dissociation number and its connection to Turán problems
Let $\mathcal{D}_{n,τ}$ be the set of all simple connected graphs of order $n$ and dissociation number $τ.$ In this paper, we study the minimum size and the minimum spectral radius of graphs in $\mathcal{D}_{n,τ}$ in connection with Turán-type problems for complete multipartite graphs. We characterize the Tur\' an graphs for several complete multipartite graphs where the size of one of the partite sets is much smaller than the size of the remaining partites. This extends a result of Erdős and Simonovits [16]. Additionally, we prove some stability results to get the structure of graphs without such a forbidden complete multipartite subgraph, and close to Turán number of edges. As an application, we show that a graph with the minimum spectral radius in $\mathcal{D}_{n,τ}$ must be a graph with the minimum size in $\mathcal{D}_{n, τ}$ when $n$ is sufficiently large and satisfies some parity conditions. We then describe a few structural properties of graphs with the minimum spectral radius in $\mathcal{D}_{n,τ}$. For even dissociation numbers and any order $n$, we compute the minimum size of a graph in $\mathcal{D}_{n,τ}$ and use it to characterize the graphs in $\mathcal{D}_{n, 4}$ that attain the minimum size and the minimum spectral radius. We also apply the stability results to upper bound the minimum number of edges and spectral radius for connected graphs with a given $d$-independence number when the order of the graph is sufficiently large. Finally, we derive two new bounds on the value of $τ(G)$ for a given graph $G$.
The Morse complex of the wedge of two extended star graphs and a path
In the work of C. Donovan and N. A. Scoville, the homotopy type of the Morse complex of the extended star graph which is obtained as the one-point union of n paths of length 2 was determined by using star clusters and Cluster Lemma. In this paper, we determine the homotopy type of the Morse complex of extended star graph consisting of a path of length 1 and n paths of length 2 by using strong collapses and Hasse diagram. Furthermore, we compute the homotopy type of the graph obtained by attaching the center vertices of two extended star graphs to different endpoints of a path by using star clusters and the Cluster Lemma.
The circumference of a graph with given minimum degree and clique number
The circumference denoted by $c(G)$ of a graph $G$ is the length of its longest cycle. Let $δ(G)$ and $ω(G)$ denote the minimum degree and the clique number of a graph $G$, respectively. In [\emph{Electron. J. Combin.} 31(4)(2024) $\#$P4.65], Yuan proved that if $G$ is a 2-connected graph of order $n$, then $c(G)\geq \min\{n,ω(G)+δ(G)\}$ unless $G$ is one of two specific graphs. In this paper, we prove a stability result for the theorem of Erd\H os and Gallai, thereby helping us to characterize all $2$-connected non-hamiltonian graphs whose circumference equals the sum of their clique number and minimum degree. Combining this with Yuan's result, one can deduce that if $G$ is a $2$-connected graph of order $n$, then $c(G)\geq \min\{n,ω(G)+δ(G)+1\}$, unless $G$ belongs to certain specified graph classes.
Strict monotonicity of critical points in independent long-range percolation models
We consider independent long-range percolation models on locally finite vertex-transitive graphs. Using coupling ideas we prove strict monotonicity of the critical points with respect to local perturbations in the connection function, thereby improving upon previous results obtained via the classical essential enhancement method of Aizenman and Grimmett in several ways. In particular, our approach allows us to work under minimal assumptions, namely shift-invariance and summability of the connection function, and it applies to both undirected and directed bond percolation models.
Conditioning random points by the number of vertices of their convex hull: the bi-pointed case
Pick $N$ random points $U_1,\cdots,U_{N}$ independently and uniformly in a triangle ABC with area 1, and take the convex hull of the set $\{A,B,U_1,\cdots,U_{N}\}$. The boundary of this convex hull is a convex chain $V_0=B,V_1,\cdots,$ $V_{\mathbf{n}(N)}$, $V_{\mathbf{n}(N)+1}=A$ with random size $\mathbf{n}(N)$. The first aim of this paper is to study the asymptotic behavior of this chain, conditional on $\mathbf{n}(N)=n$, when both $n$ and $m=N-n$ go to $+\infty$. We prove a phase transition: if $m=\lfloor nλ\rfloor$ where $λ>0$, this chain converges in probability for the Hausdorff topology to an (explicit) hyperbola ${\cal H}_λ$ as $n\to+\infty$, while, if $m=o(n)$, the limit shape is a parabola. We prove that this hyperbola is solution to an optimization problem: among all concave curves ${\cal C}$ in $ABC$ (incident with $A$ and $B$), ${\cal H}_λ$ is the unique curve maximizing the functional ${\cal C}\mapsto {\sf Area}({\cal C})^λ {\sf L}({\cal C})^3$ where ${\sf L}({\cal C})$ is the affine perimeter of ${\cal C}$. We also give the logarithm expansion of the probability ${\bf Q}^{\triangle \bullet\bullet}_{n,\lfloor nλ\rfloor}$, that $\mathbf{n}(N)=n$ when $N=n+\lfloor nλ\rfloor$.
Take a compact convex set $\mathbf{K}$ with area 1 in the plane, and denote by ${\bf Q}^{\mathbf{K}}_{n,m}$ the probability of the event that the convex hull of $n+m$ iid uniform points in $\mathbf{K}$ is a polygon with $n$ vertices.
We provide some results and conjectures regarding the asymptotic logarithm expansion of ${\bf Q}^{\mathbf{K}}_{n,m}$, as well as results and conjectures concerning limit shape theorems, conditional on this event.
These results and conjectures generalize Bárány's results, who treated the case $λ=0$.
Additive structures imply more distances in $\mathbb{F}_q^d$
For a set $E \subseteq \mathbb{F}_q^d$, the distance set is defined as $Δ(E) := \{\|\mathbf{x} - \mathbf{y}\| : \mathbf{x}, \mathbf{y} \in E\}$, where $\|\cdot\|$ denotes the standard quadratic form. We investigate the Erdős--Falconer distance problem within the flexible class of $(u, s)$--Salem sets introduced by Jonathan M. Fraser, with emphasis on the even case $u = 4$. By exploiting the exact identity between $\|\widehat{E}\|_4$ and the fourth additive energy $Λ_4(E)$, we prove that quantitative gains in $Λ_4(E)$ force the existence of many distances.
In particular, for a $(4, s)$--Salem set $E\subset \mathbb{F}_q^d$ with $d \geq 2$, if \[ |E|\gg q^{\min\left\{\frac{d+2}{4s+1}, \frac{d+4}{8s}\right\}}, \] then $E$ determines a positive proportion of all distances. This strictly improves Fraser's threshold of $\frac{d}{4s}$ and the Iosevich-Rudnev bound of $q^{\frac{d+1}{2}}$ in certain parameter ranges. As applications, we obtain improved thresholds for multiplicative subgroups and sets on arbitrary varieties, and establish a sharp incidence bound for Salem sets that is of independent interest in incidence geometry. Moreover, our methods give sharp lower bounds for the number of distinct distances determined by two different sets. We also propose a unified conjecture for $(4, s)$--Salem sets that reconciles known bounds and pinpoints the odd-dimensional sphere regime: in odd dimensions $d \geq 3$, the often-cited $\frac{d-1}{2}$ threshold does not follow without additional structures. This provides a clear picture of the spherical distance conjecture.
A new spectral Turán theorem for weighted graphs and consequences
Confirming a conjecture of Elphick and Edwards and strengthening a spectral theorem of Wilf, Nikiforov proved that for any $K_{r+1}$-free graph $G$, $λ(G)^2 \leq 2 (1 - 1/r) m$, where $λ(G)$ is the spectral radius of $G$, and $m$ is the number of edges of $G$. This result was later improved in \cite{LiuN26}, where it was shown that for any graph $G$, $λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)}$, where $\mathrm{cl}(e)$ denotes the order of the largest clique containing the edge $e$. In this paper, we further extend this inequality to weighted graphs, proving that \[ λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)} w(e)^2, \] and we characterize all extremal graphs attaining this bound. Our main theorem yields several new consequences, including two vertex-based and vertex-degree-based local versions of Turán's theorem, as well as weighted generalizations of the Edwards--Elphick theorem and the Cvetković theorem, and two localized versions of Wilf's theorems. One of these localized Wilf's theorem confirms a conjecture that originates from Probability and Operator Algebras and was proposed by R. Tripathi independently of us. Moreover, our main result unifies and implies numerous earlier ones from spectral graph theory and extremal graph theory, including Stanley's spectral inequality, Hong's inequality, a localized Turán-type theorem, and a recent extremal theorem by Adak and Chandran. Notably, while Nikiforov's earlier spectral inequality implied Stanley's bound, it did not imply Hong's inequality -- a gap that is now bridged by our result. As a key tool, we establish the inequality $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)} \geq n-1$, which complements an upper bound $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)-1} \leq n^2 - 2m$ due to Bradač, and Malec and Tompkins, independently.
Note on Long Directed Cycles in Eulerian Digraphs
Huang, Ma, Shapira, Sudakov and Yuster (Comb. Prob. Comput. 2013) proved that every Eulerian digraph of average out-degree $d$ has a directed cycle of length at least $\sqrt{d}.$ We improve the lower bound from $\sqrt{d}$ to $\sqrt{2d}-3/2.$
On the number of non-degenerate canalizing Boolean functions
Canalization is a key organizing principle in complex systems, particularly in gene regulatory networks. It describes how certain input variables exert dominant control over a function's output, thereby imposing hierarchical structure and conferring robustness to perturbations. Degeneracy, in contrast, captures redundancy among input variables and reflects the complete dominance of some variables by others. Both properties influence the stability and dynamics of discrete dynamical systems, yet their combinatorial underpinnings remain incompletely understood. Here, we derive recursive formulas for counting Boolean functions with prescribed numbers of essential variables and given canalizing properties. In particular, we determine the number of non-degenerate canalizing Boolean functions -- that is, functions for which all variables are essential and at least one variable is canalizing. Our approach extends earlier enumeration results on canalizing and nested canalizing functions. It provides a rigorous foundation for quantifying how frequently canalization occurs among random Boolean functions and for assessing its pronounced over-representation in biological network models, where it contributes to both robustness and to the emergence of distinct regulatory roles.
Bijections Between Smirnov Words and Hamiltonian Cycles in Complete Multipartite Graphs
We establish a bijective correspondence between Smirnov words with balanced letter multiplicities and Hamiltonian paths in complete $m$-partite graphs $K_{n,n,\ldots,n}$. This bijection allows us to derive closed inclusion-exclusion formulas for the number of Hamiltonian cycles in such graphs. We further extend the enumeration to the generalized nonuniform case $K_{n_1,n_2,\ldots,n_m}$. We also provide an asymptotic analysis based on Stirling's approximation, which yields compact factorial expressions and logarithmic expansions describing the growth of the number of Hamiltonian cycles in the considered graphs. Our approach unifies the combinatorial study of adjacency-constrained words and the enumeration of Hamiltonian cycles within a single analytical framework.
The product measures of cross $t$-intersecting families
We investigate the product measures of intersection problems in extremal combinatorics. Invoking a recent result of He--Li--Wu--Zhang, we prove that for any $ n \geq t \geq 3$ and $ p_1, p_2 \in (0, \frac{1}{t+1})$, if $ \mathcal{F}_1, \mathcal{F}_2 \subseteq 2^{[n]}$ are cross $ t$-intersecting families, then $μ_{p_1}(\mathcal{F}_1)μ_{p_2}(\mathcal{F}_2)\le (p_1p_2)^t$. Secondly, we study the intersection problems for integer sequences by proving that if $\mathcal{H}_1, \mathcal{H}_2 \subseteq [m]^{n}$ are cross $t$-intersecting with $ m > t+1$, then $|\mathcal{H}_1|| \mathcal{H}_2|\leq (m^{n-t})^2$. These results confirm two classical conjectures of Tokushige. As an application, we strengthen a recent theorem of Frankl--Kupavskii, generalizing the well-known IU-Theorem. Finally, we show that if $ p \geq \frac{1}{2}$ and $ \mathcal{F}_1, \mathcal{F}_2 \subseteq 2^{[n]}$ are cross $t$-intersecting families, then $\min \left\{μ_{p}(\mathcal{F}_1),μ_{p}(\mathcal{F}_2)\right\} \leq μ_{p}(\mathcal{K}(n,t))$, where $\mathcal{K}(n,t)$ denotes the Katona family. This recovers an old result of Ahlswede--Katona.
Heilbronn's triangle problem in three dimensions
We show that among any $n$ points in the unit cube one can find a triangle of area at most $n^{-2/3-c}$ for some absolute constant $c >0$. This gives the first non-trivial upper bound for the three-dimensional version of Heilbronn's triangle problem. This estimate is a consequence of the following result about configurations of point-line pairs in $\mathbb R^3$: for $n \ge 2$ let $p_1, \ldots,p_n \in [0,1]^3$ be a collection of points and let $\ell_i$ be a line through $p_i$ for every $i$ such that $d(p_i, \ell_j) \ge δ$ for all $i\neq j$. Then we have $n \lesssim δ^{-3+γ}$ for some absolute constant $γ>0$. The analogous result about point-line configurations in the plane was previously established by Cohen, Pohoata and the last author.
Sharp Fuss-Catalan thresholds in graph bootstrap percolation
We study graph bootstrap percolation on the Erdős-Rényi random graph ${\mathcal G}_{n,p}$. For all $r \ge 5$, we locate the sharp $K_r$-percolation threshold $p_c \sim (γn)^{-1/λ}$, solving a problem of Balogh, Bollobás and Morris. The case $r=3$ is the classical graph connectivity threshold, and the threshold for $r=4$ was found using strong connections with the well-studied $2$-neighbor dynamics from statistical physics. When $r \ge 5$, such connections break down, and the process exhibits much richer behavior. The constants $λ=λ(r)$ and $γ=γ(r)$ in $p_c$ are determined by a class of $\left({r\choose2}-1\right)$-ary tree-like graphs, which we call $K_r$-tree witness graphs. These graphs are associated with the most efficient ways of adding a new edge in the $K_r$-dynamics, and they can be counted using the Fuss-Catalan numbers. Also, in the subcritical setting, we determine the asymptotic number of edges added to ${\mathcal G}_{n,p}$, showing that the edge density increases only by a constant factor, whose value we identify.