graph
34516 papers tagged with this keyword
Sampling Balanced Forests of Grids in Polynomial Time
We prove that a polynomial fraction of the set of $k$-component forests in the $m \times n$ grid graph have equal numbers of vertices in each component, for any constant $k$. This resolves a conjecture of Charikar, Liu, Liu, and Vuong, and establishes the first provably polynomial-time algorithm for (exactly or approximately) sampling balanced grid graph partitions according to the spanning tree distribution, which weights each $k$-partition according to the product, across its $k$ pieces, of the number of spanning trees of each piece. Our result follows from a careful analysis of the probability a uniformly random spanning tree of the grid can be cut into balanced pieces.
Beyond grids, we show that for a broad family of lattice-like graphs, we achieve balance up to any multiplicative $(1 \pm \varepsilon)$ constant with constant probability, and up to an additive constant with polynomial probability. More generally, we show that, with constant probability, components derived from uniform spanning trees can approximate any given partition of a planar region specified by Jordan curves. These results imply polynomial time algorithms for sampling approximately balanced tree-weighted partitions for lattice-like graphs.
Our results have applications to understanding political districtings, where there is an underlying graph of indivisible geographic units that must be partitioned into $k$ population-balanced connected subgraphs. In this setting, tree-weighted partitions have interesting geometric properties, and this has stimulated significant effort to develop methods to sample them.
Accessibility, planar graphs, and quasi-isometries
We prove that a connected, locally finite, quasi-transitive graph which is quasi-isometric to a planar graph is necessarily accessible. This leads to a complete classification of the finitely generated groups which are quasi-isometric to planar graphs. In particular, such a group is virtually a free product of free and surface groups, and thus virtually admits a planar Cayley graph.
Spectral properties of generalized Paley graphs
We study the spectrum of generalized Paley graphs $Γ(k,q)=Cay(\mathbb{F}_q,R_k)$, undirected or not, with $R_k=\{x^k:x\in \mathbb{F}_q^*\}$ where $q=p^m$ with $p$ prime and $k\mid q-1$. We first show that the eigenvalues of $Γ(k,q)$ are given by the Gaussian periods $η_{i}^{(k,q)}$ with $0\le i\le k-1$. Then, we explicitly compute the spectrum of $Γ(k,q)$ with $1\le k \le 4$ and of $Γ(5,q)$ for $p\equiv 1\pmod 5$ and $5\mid m$. Also, we characterize those GP-graphs having integral spectrum, showing that $Γ(k,q)$ is integral if and only if $p$ divides $(q-1)/(p-1)$. Next, we focus on the family of semiprimitive GP-graphs. We show that they are integral strongly regular graphs (of pseudo-Latin square type). Finally, we characterize all integral Ramanujan graphs $Γ(k,q)$ with $1\le k \le 4$ or where $(k,q)$ is a semiprimitive pair.
Graph decomposition via edge edits into a union of regular graphs
Suppose a finite, unweighted, combinatorial graph $G = (V,E)$ is the union of several (degree-)regular graphs which are then additionally connected with a few additional edges. $G$ will then have only a small number of vertices $v \in V$ with the property that one of their neighbors $(v,w) \in E$ has a higher degree $\mbox{deg}(w) > \mbox{deg}(v)$. We prove the converse statement: if a graph has few vertices having a neighbor with higher degree and satisfies a mild regularity condition, then, via adding and removing a few edges, the graph can be turned into a disjoint union of (distance-)regular graphs. The number of edge operations depends on the maximum degree and number of vertices with a higher degree neighbor but is independent of the size of $|V|$.
Quantum search by continuous-time quantum walk on t-designs
Published in Quantum Inf Process 23, 140 (2024)
• View Publication
• BIB
This work examines the time complexity of quantum search algorithms on combinatorial $t$-designs with multiple marked elements using the continuous-time quantum walk. Through a detailed exploration of $t$-designs and their incidence matrices, we identify a subset of bipartite graphs that are conducive to success compared to random-walk-based search algorithms. These graphs have adjacency matrices with eigenvalues and eigenvectors that can be determined algebraically and are also suitable for analysis in the multiple-marked vertex scenario. We show that the continuous-time quantum walk on certain symmetric $t$-designs achieves an optimal running time of $O(\sqrt{n})$, where $n$ is the number of points and blocks, even when accounting for an arbitrary number of marked elements. Upon examining two primary configurations of marked elements distributions, we observe that the success probability is consistently $o(1)$, but it approaches 1 asymptotically in certain scenarios.
The weak Lefschetz property of artinian algebras associated to paths and cycles
Given a base field $\Bbbk$ of characteristic zero, for each graph $G$, we associate the artinian algebra $A(G)$ defined by the edge ideal of $G$ and the squares of the variables. We study the weak Lefschetz property of $A(G)$. We classify some classes of graphs with relatively few edges, including paths and cycles, such that its associated artinian ring has the weak Lefschetz property.
The inverse nullity pair problem and the strong nullity interlacing property
The inverse eigenvalue problem studies the possible spectra among matrices whose off-diagonal entries have their zero-nonzero patterns described by the adjacency of a graph $G$. In this paper, we refer to the $i$-nullity pair of a matrix $A$ as $(\operatorname{null}(A), \operatorname{null}(A(i))$, where $A(i)$ is the matrix obtained from $A$ by removing the $i$-th row and column. The inverse $i$-nullity pair problem is considered for complete graphs, cycles, and trees. The strong nullity interlacing property is introduced, and the corresponding supergraph lemma and decontraction lemma are developed as new tools for constructing matrices with a given nullity pair.
Ramsey goodness of fans
Given two graphs $G_1$ and $G_2$, the Ramsey number $r(G_1,G_2)$ refers to the smallest positive integer $N$ such that any graph $G$ with $N$ vertices contains $G_1$ as a subgraph, or the complement of $G$ contains $G_2$ as a subgraph. A connected graph $H$ is said to be $p$-good if $r(K_p,H)=(p-1)(|H|-1)+1$. A generalized fan, denoted as $K_1+nH$, is formed by the disjoint union of $n$ copies of $H$ along with an additional vertex that is connected to each vertex of $nH$. Recently Chung and Lin proved that $K_1+nH$ is $p$-good for $n\ge cp\ell/|H|$, where $c\approx 52.456$ and $\ell=r(K_{p},H)$. They also posed the question of improving the lower bound of $n$ further so that $K_1+nH$ remains $p$-good.
In this paper, we present three different methods to improve the range of $n$. First, we apply the Andrásfai-Erdős-Sós theorem to reduce $c$ from $52.456$ to $3$. Second, we utilize the approach established by Chen and Zhang to achieve a further reduction of $c$ to $2$. Lastly, we employ a new method to bring $c$ down to $1$. In addition, when $K_1+nH$ forms a fan graph $F_n$, we can further obtain a slightly more refined bound of $n$.
Regular packing of rooted hyperforests with root constraints in hypergraphs
The seminal papers of Edmonds \cite{Egy}, Nash-Williams \cite{NW} and Tutte \cite{Tu} have laid the foundations of the theories of packing arborescences and packing trees. The directed version has been extensively investigated, resulting in a great number of generalizations. In contrast, the undirected version has been marginally considered. The aim of this paper is to further develop the theories of packing trees and forests. Our main result on graphs characterizes the existence of a packing of $k$ forests, $F_1, \ldots, F_k$, in a graph $G$ such that each vertex of $G$ belongs to exactly $h$ of the forests, and in addition, each $F_i$ has between $\ell(i)$ and $\ell'(i)$ connected components and the total number of connected components in the packing is between $α$ and $β$. Finally, we extend this result to hypergraphs and dypergraphs, the latter giving a generalization of a theorem of Bérczi and Frank \cite{BF3}.
Cycle decompositions of cartesian products of two cycles
We say a graph $H$ decomposes a graph $G$ if there exists a partition of the edges of $G$ into subgraphs isomorphic to $H$. We seek to characterize necessary and sufficient conditions for a cycle of length $k$, denoted $C_k$, to decompose the Cartesian product of two cycles $C_m ~\square~ C_n$. We prove that if $m$ is a multiple of 3, then the Cartesian product of a cycle $C_m$ and any other cycle can be decomposed into 3 cycles of equal length. This extends work of Kotzig, who proved in 1973 that the Cartesian product of two cycles can always be decomposed into two cycles of equal length. We also show that if $k$, $m$, and $n$ are positive, and $k$ divides $4mn$ then $C_{4k}$ decomposes $C_{4m} ~\square~ C_{4n}$.
Integer flows on triangularly connected signed graphs
A triangle-path in a graph $G$ is a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in $G$ such that for any $i, j$ with $1\leq i < j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j > i+1$. A connected graph $G$ is triangularly connected if for any two nonparallel edges $e$ and $e'$ there is a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and $e'\in E(T_m)$. For ordinary graphs, Fan {\it et al.}~(J. Combin. Theory Ser. B 98 (2008) 1325-1336) characterize all triangularly connected graphs that admit nowhere-zero $3$-flows or $4$-flows. Corollaries of this result include integer flow of some families of ordinary graphs, such as, locally connected graphs due to Lai (J. Graph Theory 42 (2003) 211-219) and some types of products of graphs due to Imrich et al.(J. Graph Theory 64 (2010) 267-276). In this paper, Fan's result for triangularly connected graphs is further extended to signed graphs. We proved that every flow-admissible triangularly connected signed graph admits a nowhere-zero $4$-flow if and only if it is not the wheel $W_5$ associated with a specific signature. Moreover, this result is sharp since there are infinitely many unbalanced triangularly connected signed graphs admitting a nowhere-zero $4$-flow but not $3$-flow.
Cop numbers of periodic graphs
A \emph{periodic graph} ${\cal G}=(G_0, G_1, G_2, \dots)$ with period $p$ is an infinite periodic sequence of graphs $G_i = G_{i + p} = (V,E_i)$, where $i \geq 0$. The graph $G=(V,\cup_i E_i)$ is called the footprint of ${\cal G}$. Recently, the arena where the Cops and Robber game is played has been extended from a graph to a periodic graph; in this case, the \emph{cop number} is also the minimum number of cops sufficient for capturing the robber. We study the connections and distinctions between the cop number $c({\cal G})$ of a periodic graph ${\cal G}$ and the cop number $c(G)$ of its footprint $G$ and establish several facts. For instance, we show that the smallest periodic graph with $c({\cal G}) = 3$ has at most $8$ nodes; in contrast, the smallest graph $G$ with $c(G) = 3$ has $10$ nodes.
We push this investigation by generating multiple examples showing how the cop numbers of a periodic graph ${\cal G}$, the subgraphs $G_i$ and its footprint $G$ can be loosely tied.
Based on these results, we derive upper bounds on the cop number of a periodic graph from properties of its footprint such as its treewidth.
Classification of higher grade $\ell$ graphs for $\mathrm{U}(N)^2\times \mathrm{O}(D)$ multi-matrix models
The authors studied in [Ann. Inst. Henri Poincaré D 9, 367-433, (2022)], a complex multi-matrix model with $\mathrm{U}(N)^2 \times \mathrm{O}(D)$ symmetry, and whose double scaling limit where simultaneously the large-$N$ and large-$D$ limits were taken while keeping the ratio $N/\sqrt{D}=M$ finite and fixed. In this double scaling limit, the complete recursive characterization of the Feynman graphs of arbitrary genus for the leading order grade $\ell=0$ was achieved. In this current study, we classify the higher order graphs in $\ell$. More specifically, $\ell=1$ and $\ell=2$ with arbitrary genus, in addition to a specific class of two-particle-irreducible (2PI) graphs for higher $\ell \geqslant 3$ but with genus zero. Furthermore, we demonstrate that each 2PI graph with a single $\mathrm{O}(D)$-loop with an arbitrary $\ell$ corresponds to a reduced alternating knot diagram with $\ell$ crossings as listed in the Rolfsen knot table, or a resulting alternating knot diagram obtained after performing the Tait flyping moves. We generalize to 2PR by considering the connected sum and the Reidemeister move I.
Hamiltonian Cycles for Finite Weyl Groupoids
Let $Γ({\mathcal{W}})$ be the Cayley graph of a finite Weyl groupoid ${\mathcal{W}}$. In this paper, we show an existence of a Hamitonian cycle of $Γ({\mathcal{W}})$ for any ${\mathcal{W}}$. We exatctly draw a Hamiltonian cycle of $Γ({\mathcal{W}})$ for any (resp. some) irreducible ${\mathcal{W}}$ of rank three (resp. four). Moreover for the irreducible ${\mathcal{W}}$ of rank three, we give a second largest eigenvalue of the adjacency matrix of $Γ({\mathcal{W}})$, and know if $Γ({\mathcal{W}})$ is a bipartite Ramanujan graph or not.
Proving a conjecture on the upper bound of semistrong chromatic indices of graphs
Let $G=(V(G), E(G))$ be a graph with maximum degree $Δ$. For a subset $M$ of $E(G)$, we denote by $G[V(M)]$ the subgraph of $G$ induced by the endvertices of edges in $M$. We call $M$ a semistrong matching if each edge of $M$ is incident with a vertex that is of degree 1 in $G[V(M)]$. Given a positive integer $k$, a semistrong $k$-edge-coloring of $G$ is an edge coloring using at most $k$ colors in which each color class is a semistrong matching of $G$. The semistrong chromatic index of $G$, denoted by $χ'_{ss}(G)$, is the minimum integer $k$ such that $G$ has a semistrong $k$-edge-coloring. Recently, Lužar, Mockovčiaková and Soták conjectured that $χ'_{ss}(G)\le Δ^{2}-1$ for any connected graph $G$ except the complete bipartite graph $K_{Δ,Δ}$. In this paper, we settle this conjecture by proving that each such graph $G$ other than a cycle on $7$ vertices has a semistrong edge coloring using at most $Δ^{2}-1$ colors.
The nullity of the net Laplacian matrix of a signed graph
Let $Γ= (G, σ)$ be a signed graph, where $G = (V(G),E(G))$ is an (unsigned) graph, called the underlying graph. The net Laplacian matrix of $Γ$ is defined as $L^{\pm}(Γ) = D^{\pm}(Γ) - A(Γ)$, where $D^{\pm}(Γ)$ and $A(Γ)$ are the diagonal matrix of net-degrees and the adjacency matrix of $Γ$, respectively.
The nullity of $L^{\pm}(Γ)$, written as $ η(L^{\pm} (Γ))$, is the multiplicity of 0 as an eigenvalue of $L^{\pm}(Γ)$. In this paper, we focus our attention on the nullity of the net Laplacian matrix of a connected signed graph $Γ$ and prove that $1 \leq η(L^{\pm} (Γ)) \leq min\{ β(Γ) + 1, |V(Γ)| - 1 \}$, where $β(Γ) = |E(Γ)| - |V(Γ)| + 1$ is the cyclomatic number of $Γ$. The connected signed graphs with nullity $|V(Γ)| - 1$ are completely determined. Moreover, we characterize the signed cactus graphs with nullity $1$ or $β(Γ) + 1$
On Spectrum of Neighbourhood Corona Product of Signed Graphs
Published in Patel, M.K., Ashraf, M., Mahdou, N., Kim, H. (eds) Algebra and Its Applications. ICAA 2023. Springer Proceedings in Mathematics & Statistics, vol 474. Springer, Singapore
• View Publication
• BIB
Given two signed graphs $Γ_1$ with nodes $\{u_1,u_2,\cdots,u_n\}$ and $Γ_2$, the neighbourhood corona, $Γ_1*Γ_2$ is the signed graph obtained by taking one copy of $Γ_1$ and $n_1$ copies of $Γ_2$, and joining every neighbour of the $i^{th}$ node with each nodes of the $i^{th}$ copy of $Γ_2$ by a new signed edge. In this paper we will determine the condition for $Γ_1*Γ_2$ to be balanced. We also determine the adjacency spectrum of $Γ_1*Γ_2$ for arbitrary $Γ_1$ and $Γ_2$, and Laplacian and signless Laplacian spectrum of $Γ_1*Γ_2$ for regular $Γ_1$ and arbitrary $Γ_2$, in terms of the corresponding spectrum of $Γ_1$ and $Γ_2$.
Vertex-critical graphs far from edge-criticality
Let $r$ be any positive integer. We prove that for every sufficiently large $k$ there exists a $k$-chromatic vertex-critical graph $G$ such that $χ(G-R)=k$ for every set $R \subseteq E(G)$ with $|R|\le r$. This partially solves a problem posed by Erdős in 1985, who asked whether the above statement holds for $k \ge 4$.
Dedekind's problem in the hypergrid
Consider the partially ordered set on $[t]^n:=\{0,\dots,t-1\}^n$ equipped with the natural coordinate-wise ordering. Let $A(t,n)$ denote the number of antichains of this poset. The quantity $A(t,n)$ has a number of combinatorial interpretations: it is precisely the number of $(n-1)$-dimensional partitions with entries from $\{0,\dots,t\}$, and by a result of Moshkovitz and Shapira, $A(t,n)+1$ is equal to the $n$-color Ramsey number of monotone paths of length $t$ in 3-uniform hypergraphs. This has led to significant interest in the growth rate of $A(t,n)$.
A number of results in the literature show that $\log_2 A(t,n)=(1+o(1))\cdot α(t,n)$, where $α(t,n)$ is the width of $[t]^n$, and the $o(1)$ term goes to $0$ for $t$ fixed and $n$ tending to infinity. In the present paper, we prove the first bound that is close to optimal in the case where $t$ is arbitrarily large compared to $n$, as well as improve all previous results for sufficiently large $n$. In particular, we prove that there is an absolute constant $c$ such that for every $t,n\geq 2$, $$\log_2 A(t,n)\leq \left(1+c\cdot \frac{(\log n)^3}{n}\right)\cdot α(t,n).$$ This resolves a conjecture of Moshkovitz and Shapira. A key ingredient in our proof is the construction of a normalized matching flow on the cover graph of the poset $[t]^n$ in which the distribution of weights is close to uniform, a result that may be of independent interest.
Lawrence Lifts, Matroids, and Maximum Likelihood Degrees
Published in Alg. Stat. 16 (2025) 217-242
• View Publication
• BIB
We express the maximum likelihood (ML) degrees of a family toric varieties in terms of Mobius invariants of matroids. The family of interest are those parametrized by monomial maps given by Lawrence lifts of totally unimodular matrices with even circuits. Specifying these matrices to be vertex-edge incidence matrices of bipartite graphs gives the ML degrees of some hierarchical models and three dimensional quasi-independence models. Included in this list are the no-three-way interaction models with one binary random variable, for which, we give closed formulae.