Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Bipartite Graphs Are Not Well-Ordered by Bipartite Minors
In "Bipartite minors," Chudnovsky etal. introduced the bipartite minor relation, a partial order on the set of bipartite graphs somewhat analogous the minor relation on general graphs and asked whether it is a well-order. We answer this question negatively by giving an infinite set of $2$-connected bipartite graphs that are pairwise incomparable with respect to the bipartite minor relation. We additionally give two sets of infinitely many pairs of bipartite graphs: one set of pairs $G,H$ such that $H$ is a bipartite minor, but not a minor, of $G$, and one set of pairs $G,H$ such that $H$ is a minor, but not a bipartite minor, of $G$.
Series-Parallel and Planar Graphs for Efficient Broadcasting
The broadcasting problem concerns the efficient dissemination of information in graphs. In classical broadcasting, a single originator vertex initially has a message to be transmitted to all vertices. Every vertex which has received the message informs at most one uninformed neighbor at each discrete time unit. In this paper, we introduce infinite families of series-parallel graphs with efficient broadcast times: graphs on $n$ vertices with broadcast time at most $\lceil\log_2 n \rceil + 1$ for any $n$, graphs on $n$ vertices with broadcast time $\lfloor \frac{3 \lceil \log_2 n \rceil}{2} \rfloor$ and maximum degree $\lceil \log_2 n \rceil - 1$ for any $n$, and broadcast graphs on up to $2^{k-1} + 2^{\lfloor \frac{k}{2} \rfloor }$ vertices with broadcast time $k$ for any $k$. We also introduce an infinite family of planar broadcast graphs on up to $2^{k-1} + 2^{\lfloor \frac{3k}{4} \rfloor - 1}$ vertices with broadcast time $k$ for any $k$, which improves the known lower bound on the maximum number of vertices in a planar broadcast graph.
The Coxeter Flag Variety
For a Coxeter element $c$ in a Weyl group $W$, we define the $c$-Coxeter flag variety $\operatorname{CFl}_c\subset G/B$ as the union of left-translated Richardson varieties $w^{-1}X^{wc}_w$. This is a complex of toric varieties whose geometry is governed by the lattice $\operatorname{NC}(W,c)$ of $c$-noncrossing partitions. We show that $\operatorname{CFl}_c$ is the common vanishing locus of the generalized Plücker coordinates indexed by $W\setminus\operatorname{NC}(W,c)$. We also construct an explicit affine paving of $\operatorname{CFl}_c$ and identify the $T$-weights of each cell in terms of $c$-clusters. This paving gives a GKM description of $H^\bullet(\operatorname{CFl}_c)$ and $H^\bullet_{T_{ad}}(\operatorname{CFl}_c)$ in terms of the induced Cayley subgraph on $\operatorname{NC}(W,c)$, and we show these rings are naturally isomorphic for different choices of $c$. In type $\mathrm{A}$, this recovers the quasisymmetric flag variety for a special $c$, and for general $c$ we show the cohomology ring has a presentation as permuted quasisymmetric coinvariants.
The Total Chromatic Quasisymmetric Functions of a Graph
In this paper, we introduce and study two variants of the chromatic quasisymmetric function of a graph: the total chromatic quasisymmetric function via vertex labeling and via acyclic orientations. The original definition of the chromatic quasisymmetric function of a graph by Shareshian and Wachs depends on a labeling of the vertices of the graph, which directly affects the properties of the coefficients appearing in the decomposition of the chromatic quasisymmetric function of a graph into different bases. Motivated by this, we construct the first variant of the chromatic quasisymmetric function of a graph by normalizing it with respect to all the labelings of the vertices. The second variant is motivated by the \emph{tree isomorphism conjecture} and is constructed in terms of acyclic orientations.
We investigate the properties of the coefficients in the expansion in the monomial quasisymmetric basis for both variants and provide a comparative analysis. Furthermore, we derive explicit formulas for the coefficients in the monomial decomposition of the two variants for the star graph. For the labeling-based variant, these coefficients arise from a binomial identity for which we provide a combinatorial proof.
On graphs with girth at least five achieving Steffen's edge coloring bound
Vizing and Gupta showed that the chromatic index $χ'(G)$ of a graph $G$ is bounded above by $Δ(G) + μ(G)$, where $Δ(G)$ and $μ(G)$ denote the maximum degree and the maximum multiplicity of $G$, respectively. Steffen refined this bound, proving that $χ'(G) \leq Δ(G) + \left\lceil μ(G)/\left\lfloor g(G)/2 \right\rfloor \right\rceil$, where $g(G)$ is the girth of the graph $G$. A {\it ring graph} is a graph obtained from a cycle by duplicating some edges. The equality in Steffen's bound is achieved by ring graphs of the form $μC_g$, obtained from an odd cycle $C_g$ by duplicating each edge $μ$ times. We answer two questions posed by Stiebitz et al. regarding the characterization of graphs which achieve Steffen's bound. In particular, we show that if $G$ is a critical graph which achieves Steffen's bound with $g(G)\geq 5$ and $χ'(G)\geq Δ+2$, then $G$ must be a ring graph of odd girth.
Mass formula for topological boundary conditions from TQFT gravity
Mass formulas evaluate the total weighted count of a given class of algebraic structures, such as lattices or codes. We show that 3d TQFTs provide a generalization of this concept: the total weighted count of topological boundary conditions is given by the TQFT partition function averaged over all closed 3d manifolds. This weighted count, which we call the mass, can be interpreted as the renormalized partition function of TQFT gravity. For Abelian TQFTs, the mass formula for topological boundary conditions reduces to the mass formula for particular families of codes. Focusing on the Abelian case, we show how to evaluate the mass for any bosonic theory and consider many explicit examples. We then discuss the non-Abelian generalization and compute the mass for $n + \bar n$ copies of the Ising modular tensor category. Finally, we generalize the construction to five dimensions and compute the mass for Abelian 2-form Chern-Simons theories.
Exact cospectrality probabilities for uniform random matrices
We study the conjugation action of orthogonal matrices on symmetric random matrices. Given a fixed orthogonal matrix over an algebraic number field and a random matrix with entries sufficiently uniform in the ring of integers, we wonder what the probability is that the conjugate is again integral. Our main result establishes an exact formula for this probability in terms of the Smith ideals associated to the orthogonal matrix.
As an illustrative application, we establish exact formulas for the expected number of rational orthogonal matrices that preserve the integrality of a random matrix for every fixed denominator in dimensions two and three. Notably, the dependence on the denominator turns out to be non-monotone due to number-theoretic fluctuations. We also prove bounds on the probability of rational cospectrality with bounded but arbitrarily large denominator.
Thresholds vs. expectation thresholds for non-spanning graphs
The threshold $p_c(H)$ for the event that the binomial random graph $G_{n,p}$ contains a copy of a graph $H$ is the unique $p$ for which $\mathbb{P}(H \subseteq G_{n,p}) = 1/2$, and the fractional expectation threshold $q_f(H)$ is roughly the best lower bound on $p_c(H)$ using simple expectation considerations. All previously known $H$'s with $p_c(H)$ substantially larger than $q_f(H)$ have the property that $v_H > n/2$ (where $v_H$ is the number of vertices of $H$). We construct small graphs whose threshold for containment in $G_{n,p}$ is of different order than their corresponding fractional expectation threshold: there is a constant $c > 0$ such that for any $m \; (\leq n)$, there is a graph $H$ with $v_H = m$ and $p_c(H) > q_f(H) c \log^{1/2}(v_H).$
Games on deBruijn Graphs and Cycle Means
deBruijn graphs are widely used in genomics and computer science. In this paper we present a novel approach to finding weights on edges of doubly weighted deBruijn graphs. Given any fixed set of weights on vertices, we use a repeated two-person zero-sum game to find weights on edges so that every cycle on the deBruijn graph has the same average weight, providing explicit formulas. This approach uses minimax optimal strategies of the players. Once the weights on the edges are determined, we observe that they correspond to solving a set of linear equations with as many equations as there are cycles. This is very surprising, because there are many more cycles than unknowns. Moreover we analyze other, related games on graphs.
Efficient Algorithms for Weakly-Interacting Quantum Spin Systems
We establish efficient algorithms for weakly-interacting quantum spin systems at arbitrary temperature. In particular, we obtain a fully polynomial-time approximation scheme for the partition function and an efficient approximate sampling scheme for the thermal distribution over a classical spin space. Our approach is based on the cluster expansion method and a standard reduction from approximate sampling to approximate counting.
Community detection in network using Szegedy quantum walk
In a network, the vertices with similar characteristics construct communities. The vertices in a community are well-connected. Detecting the communities in a network is a challenging and important problem in the theory of complex networks. One approach to solving this problem uses the classical random walks on graphs. In quantum computing, quantum walks are the quantum mechanical counterparts of classical random walks. In this article, we employ a variant of Szegedy's quantum walk to develop a procedure for discovering the communities in networks. The limiting probability distribution of quantum walks assists us in determining the inclusion of a vertex in a community. We apply our community detection procedure to a variety of graphs and social networks, including the relaxed caveman graph, $l$-partition graph, Karate club graph, and the dolphin's social network, among others.
Comparability in Bruhat orders
We determine the sharp asymptotic scale of the probability that two uniformly random permutations are comparable in weak Bruhat order, showing that $\mathbb{P}(σ_1 \preceq_W σ_2)=\exp\Bigl(\bigl(-\tfrac12+o(1)\bigr)\,n\log n\Bigr)$. This significantly improves both of the best known bounds, due to Hammett and Pittel, which placed this probability between $\exp((-1+o(1))n\log n)$ and $\exp(-Θ(n))$. We also improve the best known lower bound for strong Bruhat-order comparability, due to the same authors, by proving a subexponential lower bound. The Bruhat orders are natural partial orders on the symmetric group, appearing in wide-reaching settings including the geometry of flag manifolds, the representation theory of $\mathfrak{S}_{n}$, and the combinatorics of the permutohedron. To analyze weak Bruhat order, we combine classic analytic, tableau-theoretic, and poset-theoretic tools, including the Plancherel measure and the RSK bijection. For strong Bruhat order we construct large families where members are comparable with high probability. Our proof that members are comparable combines the tableau criterion with an associated random-walk-type deviation process.
$q$-deformations of the Tsetlin library
The Tsetlin library is a random shuffling process on permutations of $n$ letters, where each letter $i$ can be interpreted as a book; book $i$ is brought to the front of the bookshelf with an assigned probability $x_i$. We define a $q$-deformation of the Tsetlin library by replacing the symmetric group action on permutations by the action of the type $A$ Iwahori-Hecke algebra. We compute the stationary distribution and spectrum of this Markov chain by relating it to a Markov chain on complete flags over the finite field vector space $\mathbb{F}_q^n$ and applying techniques from semigroup theory. We also generalize the $q$-Tsetlin library to words (with repeated letters), and compute its stationary distribution and spectrum.
Real gamma distribution on analytic bundles of flag varieties
This paper introduces four matrix normal distributions extending the separable covariance $ \varPhi \otimes \varPsi$ with potentially variable-level ($ \varPsi$) and/or sample-level ($ \varPhi$) correlations. The joint distribution of sample variances and covariances, leading to the product-moment distribution, is considered when precision matrices admit a specific tensor form. Several well-known results, including the non-central Wishart distribution and normal quadratic forms, now appear as corollaries. Moreover, we propose a conjecture concerning the analytic continuation of the real gamma distribution. By applying these results to the flag varieties, we classify the double flag and the single flag.
Classifying integer hypertilings
There are two objectives to this work: to classify all tame integer tilings and to classify all tame integer hypertilings. Motivation for the first objective comes from Conway and Coxeter's modelling of positive integer friezes using triangulated polygons, which has received significant attention since the discovery of cluster algebras by Fomin and Zelevinsky in 2002. Assem, Reutenauer, and Smith introduced $\text{SL}_2$-tilings as generalisations of friezes, and Bessenrodt, Holm, and Jørgensen classified positive integer $\text{SL}_2$-tilings using infinite triangulated polygons. Here we consider $N$-tilings, of which $\text{SL}_2$-tilings are the case $N=1$. We provide a geometric model for all tame integer $N$-tilings using a generalisation of the Farey graph in the hyperbolic plane. Highlights of this model include classifications of all positive integer $N$-tilings and of all quiddity sequences of positive rational friezes using triangulated polygons.
The second objective is motivated by Bhargava's celebrated study of binary quadratic forms using integer cubes and by an observation of Demonet et al.\ that there is essentially only one three-dimensional positive integer tiling with $\text{SL}_2$ cross sections. We consider a richer class of three-dimensional tilings, which we call hypertilings, using the Cayley hyperdeterminant. We classify all tame integer hypertilings using generalised Farey graphs; remarkably, those with Cayley hyperdeterminant 1 prove to have a simple description in terms of triple Hadamard products of integer pairs.
Log-concavity and unimodality of cluster monomials of type $A_3$
The log-concavity of cluster variables of type $A_n$ and cluster monomials of type $A_2$ was established by Chen-Huang-Sun. It is still a conjecture for the cluster monomials of higher rank. In this paper, we prove the log-concavity and unimodality of the cluster monomials of type $A_3$, a substantially more intricate case. Moreover, we refine and extend this conjecture by considering the unimodality and the strongly isomorphism of cluster algebras.
Seymour's Second Neighbourhood Conjecture for Oriented Graphs of Order at Most Seven and Split-Twin Extensions
For an oriented graph $D$, let $N_1^+(v)$ denote the out-neighborhood of a vertex $v$, and let $N_2^+(v)$ be the set of vertices reachable from $v$ by a directed path of length two that are neither out-neighbors of $v$ nor equal to $v$. The Second Neighborhood Conjecture of Seymour asserts that every oriented graph contains a vertex $v$ with $|N_2^+(v)| \ge |N_1^+(v)|$. Equivalently, if one defines the second neighborhood invariant \[ Δ(D)=\max_{v\in V(D)}\bigl(|N_2^+(v)|-|N_1^+(v)|\bigr), \] the conjecture asserts that $Δ(D)\ge 0$ for all oriented graphs.
We prove by exhaustive computation that $Δ(D)\ge 0$ for every oriented graph on at most seven vertices. We also introduce a local graph operation, called a split--twin extension, and prove that it preserves the inequality $Δ(D)\ge 0$. Consequently, $Δ(D)\ge 0$ holds for infinite inductively generated families of oriented graphs.
On minimal graphs for hamiltonian groups and their fixing set
A finite non-abelian group $H$ is hamiltonian if all of its subgroups are normal. We compute the minimal orders of graphs having a hamiltonian group as their automorphism group. The fixing number of a graph $Γ$ is the minimum cardinality of a subset $S$ of $V(Γ)$ such that the stabilizer of $S$ is trivial. For a given finite group $G$, the fixing set is defined as the set comprising all possible fixing numbers of graphs having group $G$ as their automorphism groups. We determine the fixing sets corresponding to finite hamiltonian groups.
Asymptotic Enumeration of Subclasses of Level-$2$ Phylogenetic Networks
Published in Proceedings of the 13th European Conference on Combinatorics, Graph Theory and Applications (EUROCOMB'25), 2025
• Search Publication
This paper studies the enumeration of seven subclasses of level-$2$ phylogenetic networks under various planarity and structural constraints, including terminal planar, tree-child, and galled networks. We derive their exponential generating functions, recurrence relations, and asymptotic formulas. Specifically, we show that the number of networks of size $n$ in each class follows: \[ N_n \sim c \cdot n^{n-1} \cdot γ^n, \] where $c$ is a class-specific constant and $γ$ is the corresponding growth rate. Our results reveal that being terminal planar can significantly reduce the growth rate of general level-2 networks, but has only a minor effect on the growth rates of tree-child and galled level-2 networks. Notably, the growth rate of 3.83 for level-$2$ terminal planar galled tree-child networks is remarkably close to the rate of 2.94 for level-$1$ networks.
On the minimum doubly resolving set problem in line graphs
Given a connected graph $G$ with at least three vertices, let $d_G(u,v)$ denote the distance between vertices $u,v\in V(G)$. A subset $S\subseteq V$ is called a doubly resolving set (DRS) of $G$ if for any two distinct vertices $u, v \in V(G)$, there exists a pair $\{x,y\}\subseteq S$ such that $d_G(u,x)-d_G(u,y)\neq d_G(v,x)-d_G(v,y)$. This paper studies the minimum cardinality of a DRS in the line graph of $G$, denoted by $Ψ(L(G))$. First, we prove that computing $Ψ(L(G))$ is NP-hard, even when $G$ is a bipartite graph. Second, we establish that $\lceil \log_2 (1+Δ(G))\rceil \le Ψ(L(G)) \le |V(G)| - 1$ holds for all $G$ with maximum degree $Δ(G)$, and show that both inequalities are tight. Finally, we determine the exact value of $Ψ(L(G))$ provided $G$ is a tree.