graph
35299 papers tagged with this keyword
Diameter bound for facet-ridge incidence graphs of geometric lattices
This paper proves that the facet-ridge incidence graph of the order complex of any finite geometric lattice of rank $r$ has diameter at most ${r \choose 2}$. A key ingredient is the well-known fact that every ordering of the atoms of any finite geometric lattice gives rise to a lexicographic shelling of its order complex. The paper also gives results that provide some evidence that this bound ought to be sharp as well as examples indicating that the question of sharpness is quite subtle.
Fibonacci Sumsets and the Gonality of Strip Graphs
Published
• View Publication
• BIB
We provide a new perspective on the divisor theory of graphs, using additive combinatorics. As a test case for this perspective, we compute the gonality of certain families of outerplanar graphs, specifically the strip graphs. The Jacobians of such graphs are always cyclic of Fibonacci order. As a consequence, we obtain several results on the additive properties of Fibonacci numbers.
Rainbow perfect matchings in 3-partite 3-uniform hypergraphs
Let $m,n,r,s$ be nonnegative integers such that $n\ge m=3r+s$ and $1\leq s\leq 3$. Let \[δ(n,r,s)=\left\{\begin{array}{ll} n^2-(n-r)^2 &\text{if}\ s=1 , \\[5pt]
n^2-(n-r+1)(n-r-1) &\text{if}\ s=2,\\[5pt] n^2 - (n-r)(n-r-1) &\text{if}\ s=3. \end{array}\right.\]
We show that there exists a constant $n_0 > 0$ such that if $F_1,\ldots, F_n$ are 3-partite 3-graphs with $n\ge n_0$ vertices in each partition class and minimum vertex degree of $F_i$ is at least $δ(n,r,s)+1$ for $i \in [n]$ then $\{F_1,\ldots,F_n\}$ admits a rainbow perfect matching. This generalizes a result of Lo and Markström on the vertex degree threshold for the existence of perfect matchings in 3-partite 3-graphs. In this proof, we use a fractional rainbow matching theory obtained by Aharoni et al. to find edge-disjoint fractional perfect matching.
On odd covers of cliques and disjoint unions
Published
• View Publication
• BIB
Babai and Frankl posed the ``odd cover problem" of finding the minimum cardinality of a collection of complete bipartite graphs such that every edge of the complete graph of order $n$ is covered an odd number of times. In a previous paper with O'Neill, some of the authors proved that this value is always $\lceil n / 2 \rceil$ or $\lceil n / 2 \rceil + 1$ and that it is the former whenever $n$ is a multiple of $8$. In this paper, we determine this value to be $\lceil n / 2 \rceil$ whenever $n$ is odd or equivalent to $18$ modulo $24$. We also further the study of odd covers of graphs which are not complete, wherein edges are covered an odd number of times and nonedges an even number of times by the complete bipartite graphs in the collection. Among various results on disjoint unions, we find the minimum cardinality of an odd cover of a union of odd cliques and of a union of cycles.
Periodicity and perfect state transfer of Grover walks on quadratic unitary Cayley graphs
Published in Quantum Inf. Process. 24, 260 (2025)
• View Publication
• BIB
The quadratic unitary Cayley graph $\mathcal{G}_{\mathbb{Z}_n}$ has vertex set $\mathbb{Z}_n: =\{0,1, \ldots ,n-1\}$, where two vertices $u$ and $v$ are adjacent if and only if $u - v$ or $v-u$ is a square of some units in $\mathbb{Z}_n$. This paper explores the periodicity and perfect state transfer of Grover walks on quadratic unitary Cayley graphs. We determine all periodic quadratic unitary Cayley graphs. From our results, it follows that there are infinitely many integral as well as non-integral graphs that are periodic. Additionally, we also determine the values of $n$ for which the quadratic unitary Cayley graph $\mathcal{G}_{\mathbb{Z}_n}$ exhibits perfect state transfer.
On the Edge-Connectivity of the Square of a Graph
Published
• View Publication
• BIB
Let $G$ be a connected graph. The edge-connectivity of $G$, denoted by $λ(G)$, is the minimum number of edges whose removal renders $G$ disconnected. Let $δ(G)$ be the minimum degree of $G$. It is well-known that $λ(G) \leq δ(G)$, and graphs for which equality holds are said to be maximally edge-connected. The square $G^2$ of $G$ is the graph with the same vertex set as $G$, in which two vertices are adjacent if their distance is not more that $2$.
In this paper we present results on the edge-connectivity of the square of a graph. We show that if the minimum degree of a connected graph $G$ of order $n$ is at least $\lfloor \frac{n+2}{4}\rfloor$, then $G^2$ is maximally edge-connected, and this result is best possible. We also give lower bounds on $λ(G^2)$ for the case that $G^2$ is not maximally edge-connected: We prove that $λ(G^2) \geq κ(G)^2 + κ(G)$, where $κ(G)$ denotes the connectivity of $G$, i.e., the minimum number of vertices whose removal renders $G$ disconnected, and this bound is sharp. We further prove that $λ(G^2) \geq \frac{1}{2}λ(G)^{3/2} - \frac{1}{2} λ(G)$, and we construct an infinite family of graphs to show that the exponent $3/2$ of $λ(G)$ in this bound is best possible.
Interlacing triangles, Schubert puzzles, and graph colorings
Published in Communications in Mathematical Physics, Volume 406, article number 118, (2025)
• View Publication
• BIB
We show that interlacing triangular arrays, introduced by Aggarwal-Borodin-Wheeler to study certain probability measures, can be used to compute structure constants for multiplying Schubert classes in the $K$-theory of Grassmannians, in the cohomology of their cotangent bundles, and in the cohomology of partial flag varieties. Our results are achieved by establishing a splitting lemma, allowing for interlacing triangular arrays of high rank to be decomposed into arrays of lower rank, and by constructing a bijection between interlacing triangular arrays of rank 3 with certain proper vertex colorings of the triangular grid graph that factors through generalizations of Knutson-Tao puzzles. Along the way, we prove one enumerative conjecture of Aggarwal-Borodin-Wheeler and disprove another.
Congruence Classes of Simplex Structures in Finite Field Vector Spaces
We study a generalization of the Erdős-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that $||p(v_i) - p(v_j)|| = ||p'(v_i) - p'(v_j)||$. What is the infimum of $s$ such that for any subset $E\subset \mathbb{F}_q^d$ with $|E| \gtrsim q^s$, $E$ contains a positive proportion of congruence classes of $G$ in $\mathbb{F}_q^d$? Bennett et al. and McDonald used group action methods to prove results in the case of $k$-simplices. The work of Iosevich, Jardine, and McDonald as well as that of Bright et al. have proved results in the case of trees and trees of simplices, utilizing the inductive nature of these graphs.
Recently, Aksoy, Iosevich, and McDonald combined these two approaches to obtain nontrivial bounds on the "bowtie" graph, two triangles joined at a vertex. Their proof relies on an application of the Hadamard three-lines theorem to pass to a different graph. We develop novel geometric techniques called branch shifting and simplex unbalancing to reduce our analysis of trees of simplices to a much smaller class of simplex structures. This allows us to establish a framework that handles a wide class of graphs exhibiting a combination of rigid and loose behavior. In $\mathbb{F}_q^2$, this approach gives new nontrivial bounds on chains and trees of simplices. In $\mathbb{F}_q^d$, we improve on the results of Bright et al. in many cases and generalize their work to a wider class of simplex trees. We discuss partial progress on how this framework can be extended to more general simplex structures, such as cycles of simplices and structures of simplices glued together along an edge or a face.
Domination Polynomials of the Grid, the Cylinder, the Torus, and the King Graph
We present an algorithm to compute the domination polynomial of the $m \times n$ grid, cylinder, and torus graphs and the king graph. The time complexity of the algorithm is $O(m^2n^2 λ^{2m})$ for the torus and $O(m^3n^2λ^m)$ for the other graphs, where $λ= 1+\sqrt{2}$. The space complexity is $O(mnλ^m)$ for all of these graphs. We use this algorithm to compute domination polynomials for graphs up to size $24\times 24$ and the total number of dominating sets for even larger graphs. This allows us to give precise estimates of the asymptotic growth rates of the number of dominating sets. We also extend several sequences in the Online Encyclopedia of Integer Sequences.
A note on the 2-Factor Hamiltonicity Conjecture
Published
• View Publication
• BIB
The 2-factor Hamiltonicity Conjecture by Funk, Jackson, Labbate, and Sheehan [JCTB, 2003] asserts that all cubic, bipartite graphs in which all 2-factors are Hamiltonian cycles can be built using a simple operation starting from $K_{3,3}$ and the Heawood graph.
We discuss the link between this conjecture and matching theory, in particular by showing that this conjecture is equivalent to the statement that the two exceptional graphs in the conjecture are the only cubic braces in which all 2-factors are Hamiltonian cycles, where braces are connected, bipartite graphs in which every matching of size at most two is contained in a perfect matching. In the context of matching theory this conjecture is especially noteworthy as $K_{3,3}$ and the Heawood graph are both strongly tied to the important class of Pfaffian graphs, with $K_{3,3}$ being the canonical non-Pfaffian graph and the Heawood graph being one of the most noteworthy Pfaffian graphs.
Our main contribution is a proof that the Heawood graph is the only Pfaffian, cubic brace in which all 2-factors are Hamiltonian cycles. This is shown by establishing that, aside from the Heawood graph, all Pfaffian braces contain a cycle of length four, which may be of independent interest.
Palette Sparsification for Graphs with Sparse Neighborhoods
A seminal palette sparsification result of Assadi, Chen, and Khanna states that in every $n$-vertex graph of maximum degree $Δ$, sampling $Θ(\log n)$ colors per vertex from $\{1, \ldots, Δ+1\}$ almost certainly allows for a proper coloring from the sampled colors. Alon and Assadi extended this work proving a similar result for $O\left(Δ/\log Δ\right)$-coloring triangle-free graphs. Apart from being interesting results from a combinatorial standpoint, their results have various applications to the design of graph coloring algorithms in different models of computation. In this work, we focus on locally sparse graphs, i.e., graphs with sparse neighborhoods. We say a graph $G = (V, E)$ is $k$-locally-sparse if for each vertex $v \in V$, the subgraph $G[N(v)]$ contains at most $k$ edges. A celebrated result of Alon, Krivelevich, and Sudakov shows that such graphs are $O(Δ/\log (Δ/\sqrt{k}))$-colorable. For any $α\in (0, 1)$ and $k \ll Δ^{2α}$, let $G$ be a $k$-locally-sparse graph. For $q = Θ\left(Δ/\log \left(Δ^α/\sqrt{k}\right)\right)$, we show that sampling $O\left(Δ^α+ \sqrt{\log n}\right)$ colors per vertex is sufficient to obtain a proper $q$-coloring of $G$ from the sampled colors. Setting $k = 1$ recovers the aforementioned result of Alon and Assadi for triangle-free graphs. A key element in our proof is a proposition regarding correspondence coloring in the so-called color-degree setting, which improves upon recent work of Anderson, Kuchukova, and the author and is of independent interest.
When invariance implies exchangeability (and applications to invariant Keisler measures)
We study the problem of when, given a countable homogeneous structure $M$ and a space $S$ of expansions of $M$, every $\mathrm{Aut}(M)$-invariant probability measure on $S$ is exchangeable (i.e. invariant under all permutations of the domain). We show, for example, that if $M$ is a finitely bounded homogeneous $3$-hypergraph with free amalgamation (including the generic tetrahedron-free $3$-hypergraph), all $\mathrm{Aut}(M)$-invariant random expansions by graphs are exchangeable. Moreover, we extend and recover both the work of Angel, Kechris, and Lyons on invariant random orderings and some of the work of Crane and Towsner, and Ackerman on relative exchangeability.
In the second part of the paper, we apply our results to the study of invariant Keisler measures, which we prove to be particular invariant random expansions. Thus, we describe the spaces of invariant Keisler measures of various homogeneous structures, obtaining the first results of this kind since the work of Albert and Ensley. We also show there are $2^{\aleph_0}$ supersimple homogeneous ternary structures for which there are non-forking formulas which are universally measure zero.
Graphs of maximum average degree less than $\frac {11}{3}$ are flexibly $4$-choosable
We consider the flexible list coloring problem, in which we have a graph $G$, a color list assignment $L:V(G) \rightarrow 2^{\mathbb N}$, and a set $U \subseteq V(G)$ of vertices such that each $u \in U$ has a preferred color $p(u) \in L(u)$. Given a constant $\varepsilon > 0$, the problem asks for an $L$-coloring of $G$ in which at least $\varepsilon |U|$ vertices in $U$ receive their preferred color. We use a method of reducible subgraphs to approach this problem. We develop a vertex-partitioning tool that, when used with a new reducible subgraph framework, allows us to define large reducible subgraphs. Using this new tool, we show that if $G$ has maximum average degree less than $\frac{11}{3}$, a list $L(v)$ of size $4$ at each $v \in V(G)$, and a set $U \subseteq V(G)$ of vertices with preferred colors, then there exists an $L$-coloring of $G$ for which at least $2^{-145} |U|$ vertices of $U$ receive their preferred color.
Percolation Inequalities and Decision Trees
The use of decision trees for percolation inequalities started with the celebrated O'Donnell--Saks--Schramm--Servedio (OSSS) inequality. We prove decision tree generalizations of the Harris--Kleitman (HK), van den Berg--Kesten (vdBK), and other inequalities. These inequalities are then applied to estimate the connection probabilities in Bernoulli bond percolation on general graphs.
On the Min-Max Star Partitioning Number
Published
• View Publication
• BIB
In this paper, we introduce a novel star partitioning problem for simple connected graphs $G=(V,E)$. The goal is to find a partition of the edges into stars that minimizes the maximum number of stars a node is contained in while simultaneously satisfying node-specific capacities. We design and analyze an efficient polynomial time algorithm with a runtime of $\mathcal{O}(|E|^2)$ that determines an optimal partition. Moreover, we explicitly provide a closed form of an optimal value for some graph classes. We generalize our algorithm to find even an optimal star partition of linear hypergraphs, multigraphs, and graphs with self-loop. We use flow techniques to design an algorithm for the star partitioning problem with an improved runtime of $\mathcal{O}(\log(Δ) \cdot |E| \cdot \min\{|V|^{\frac{2}{3}},|E|^{\frac{1}{2}}\})$, where $Δ$ is maximum node degree in $G$. In contrast to the unweighted setting, we show that a node-weighted decision variant of this problem is \texttt{strongly NP-complete} even without capacity constraints. Furthermore, we provide an extensive comparison to the problem of minimizing the minimum indegree satisfying node capacity constraints.
A logical limit law for the sequential model of preferential attachment graphs
For a sequence of random graphs, the limit law we refer to is the existence of a limiting probability of any graph property that can be expressed in terms of predicate logic. A zero-one limit law is shown by Shelah and Spencer for Erdös-Renyi graphs given that the connection rate has an irrational exponent. We show a limit law for preferential attachment graphs which admit a Pólya urn representation. The two extreme cases of the parametric model, the uniform attachment graph and the sequential Barabási-Albert model, are covered separately as they exhibit qualitative differences regarding the distribution of cycles of bounded length in the graph.
Probability graphons and P-variables: two equivalent viewpoints for dense weighted graph limits
We develop further the graph limit theory for dense weighted graph sequences. In particular, we consider probability graphons, which have recently appeared in graph limit theory as continuum representations of weighted graphs, and we introduce P-variables, which also appear in the context of the Aldous-Hoover theorem for exchangeable infinite random arrays, as an alternative continuum representation for weighted graphs. In particular, we explain how P-variables are related to probability graphons in a similar way in which random variables are related to probability measures. We define a metric for P-variables (inspired by action convergence in the graph limit theory of sparse graph sequences) and show that convergence of P-variables in this metric is equivalent to probability graphons convergence. We exploit this equivalence to translate several results from the theory of probability graphons to P-variables. In addition, we prove several properties of P-variables convergence, thus showing new properties also for probability graphons convergence and demonstrating the power of the connection between probability graphons and P-variables. Furthermore, we show how P-variables convergence can be easily modified and generalised to cover other combinatorial structures such as bipartite graphs and hypergraphs.
Clique structure and other network properties of the tensor product of Erdős-Rényi graphs
We analyze the number of cliques of given size and the size of the largest clique in tensor product $G \times H$ of two Erdős-Rényi graphs $G$ and $H$. Then an extended clustering coefficient is introduced and is studied for $G \times H$. Restriction to the standard clustering coefficient has a direct relation to the local efficiency of the graph, and the results are also interpreted in terms of the efficiency. As a last statistic of interest, the number of isolated vertices is analyzed for $G \times H$. The paper is concluded with a discussion of the modular product of random graphs, and the relation to the maximum common subgraph problem.
Topology of total cut complexes and cut complexes of grid graphs
Published
• View Publication
• BIB
Inspired by the work of Fr{ö}berg (1990) and Eagon and Reiner (1998), Bayer et al. recently introduced two new graph complexes: total cut complexes and cut complexes. In this article, we investigate these complexes specifically for (rectangular) grid graphs, focusing on $2 \times n$ and $3 \times n$ cases. We extend and refine the work of Bayer et al., proving and strengthening several of their conjectures, thereby enhancing the understanding of these graph complexes' topological and combinatorial properties.
New Families of tripartite graphs with local antimagic chromatic number 3
Published
• View Publication
• BIB
For a graph $G(V,E)$ of size $q$, a bijection $f : E(G) \to [1,q]$ is a local antimagc labeling if it induces a vertex labeling $f^+ : V(G) \to \mathbb{N}$ such that $f^+(u) \ne f^+(v)$, where $f^+(u)$ is the sum of all the incident edge label(s) of $u$, for every edge $uv \in E(G)$. In this paper, we make use of matrices of fixed sizes to construct several families of infinitely many tripartite graphs with local antimagic chromatic number 3.