graph
34516 papers tagged with this keyword
Cycles of weight divisible by $k$
A weighted (directed) graph is a (directed) graph with integer weights assigned to its vertices and edges. The weight of a subgraph is the sum of weights of vertices and edges in the subgraph. The problem of determining the largest order $f(k)$ of a weighted complete directed graph that does not contain a directed cycle of weight divisible by $k$, for an integer $k \ge 2$, was raised by Alon and Krivelevich [J. Graph Theory 98 (2021) 623-629]. They showed that $f(k)$ is $O(k\log k)$ and $f(k) \le 2k-2$ if $k$ is prime. The best bounds known to us are $f(k) \le 2k-2$ for all $k$ and $f(k) < (3k-1)/2$ for prime $k$. It is also known that $f(k) \ge k$ and this is believed to be the correct value. We prove that $f(k) < k+2Ω(k)$, where $Ω(k)$ is the number of prime factors, not necessarily distinct, in the prime factorization of $k$.
We also show that any weighted undirected graph of minimum degree $2k-1$ contains a cycle of weight divisible by $k$. This result is proved in the more general setting in which the weights are from a finite abelian group of order $k$, and the cycle has weight equal to the group identity. We conjecture that this holds for undirected graphs with minimum degree $k+1$.
Eccentricity and algebraic connectivity of graphs
Let $G$ be a graph on $n$ nodes with algebraic connectivity $λ_{2}$. The eccentricity of a node is defined as the length of a longest shortest path starting at that node. If $s_\ell$ denotes the number of nodes of eccentricity at most $\ell$, then for $\ell \ge 2$, $$λ_{2} \ge \frac{ 4 \, s_\ell }{ (\ell-2+\frac{4}{n}) \, n^2 }.$$ As a corollary, if $d$ denotes the diameter of $G$, then $$λ_{2} \ge \frac{ 4 }{ (d-2+\frac{4}{n}) \, n }.$$ It is also shown that $$λ_{2} \ge \frac{ s_\ell }{ 1+ \ell \left(e(G^{\ell})-m\right) },$$ where $m$ and $e(G^\ell)$ denote the number of edges in $G$ and in the $\ell$-th power of $ G $, respectively.
Jets and principal components of monomial ideals, and very well-covered graphs
Motivated by using combinatorics to study jets of monomial ideals, we extend a definition of jets from graphs to clutters. We offer some structural results on their vertex covers, and show an interesting connection between the cover ideal of the jets of a clutter and the symbolic powers of the cover ideal of the original clutter. We use this connection to prove that jets of very well-covered graphs are very well-covered. Next, we turn our attention to principal jets of monomial ideals, describing their primary decomposition and minimal generating sets. Finally, we give formulas to compute various algebraic invariants of principal jets of monomial ideals, including their Hilbert series, Betti numbers, multiplicity and regularity.
The $S_3$-symmetric tridiagonal algebra
The tridiagonal algebra is defined by two generators and two relations, called the tridiagonal relations. Special cases of the tridiagonal algebra include the $q$-Onsager algebra, the positive part of the $q$-deformed enveloping algebra $U_q({\widehat{\mathfrak{sl}}}_2)$, and the enveloping algebra of the Onsager Lie algebra.
In this paper, we introduce the $S_3$-symmetric tridiagonal algebra. This algebra has six generators. The generators can be identified with the vertices of a regular hexagon, such that nonadjacent generators commute and adjacent generators satisfy a pair of tridiagonal relations. For a $Q$-polynomial distance-regular graph $Γ$ we turn the tensor power $V^{\otimes 3}$ of the standard module $V$ into a module for an $S_3$-symmetric tridiagonal algebra.
We investigate in detail the case in which $Γ$ is a Hamming graph. We give some conjectures and open problems.
Computing Vertex and Edge Connectivity of Graphs Embedded with Crossings
Vertex connectivity and edge connectivity are fundamental concepts in graph theory that have been widely studied from both structural and algorithmic perspectives. The focus of this paper is on computing these two parameters for graphs embedded on the plane with crossings. For planar graphs -- which can be embedded on the plane without any crossings -- it has long been known that vertex and edge connectivity can be computed in linear time. Recently, the algorithm for vertex connectivity was extended from planar graphs to 1-plane graphs (where each edge is crossed at most once) without $\times$-crossings -- these are crossings whose endpoints induce a matching. The key insight, for both these classes of graphs, is that any two vertices/edges of a minimum vertex/edge cut have small face-distance (distance measured by number of faces) in the embedding. In this paper, we attempt at a comprehensive generalization of this idea to a wider class of graphs embedded on the plane. Our method works for all those embedded graphs where every pair of crossing edges is connected by a path whose vertices and edges have a small face-distance from the crossing point. Important examples of such graphs include optimal 2-planar and optimal 3-planar graphs, $d$-map graphs, $d$-framed graphs, graphs with bounded crossing number, and $k$-plane graphs with bounded number of $\times$-crossings. For all these graph classes, we get a linear-time algorithm for computing vertex and edge connectivity.
Proof of Lovász conjecture for odd order
Lovász conjectured that every connected vertex-transitive graph contains a hamilton path in 1970. First we reveal the structure of connected vertex-transitive graphs with an odd number of vertices. Then we prove that every connected vertex-transitive graph with an odd number of vertices is hamiltonian.
On $Q$-polynomial distance-regular graphs with a linear dependency involving a $3$-clique
Published in This paper has been published in Journal of Algebraic Combinatorics volume 61, article number 31, (2025)
• Search Publication
Let $Γ$ denote a distance-regular graph with diameter $D \geq 2$. Let $E$ denote a primitive idempotent of $Γ$ with respect to which $Γ$ is $Q$-polynomial. Assume that there exists a $3$-clique $\{x,y,z\}$ such that $E\hat{x},E\hat{y},E\hat{z}$ are linearly dependent. In this paper, we classify all the $Q$-polynomial distance-regular graphs $Γ$ with the above property. We describe these graphs from multiple points of view.
Krenn-Gu conjecture for sparse graphs
Greenberger-Horne-Zeilinger (GHZ) states are quantum states involving at least three entangled particles. They are of fundamental interest in quantum information theory, and the construction of such states of high dimension has various applications in quantum communication and cryptography. They are of fundamental interest in quantum information theory, and the construction of such states of high dimension has various applications in quantum communication and cryptography. Krenn, Gu and Zeilinger discovered a correspondence between a large class of quantum optical experiments which produce GHZ states and edge-weighted edge-coloured multi-graphs with some special properties called the \emph{GHZ graphs}. On such GHZ graphs, a graph parameter called \emph{dimension} can be defined, which is the same as the dimension of the GHZ state produced by the corresponding experiment. Krenn and Gu conjectured that the dimension of any GHZ graph with more than $4$ vertices is at most $2$. An affirmative resolution of the Krenn-Gu conjecture has implications for quantum resource theory. On the other hand, the construction of a GHZ graph on a large number of vertices with a high dimension would lead to breakthrough results.
In this paper, we study the existence of GHZ graphs from the perspective of the Krenn-Gu conjecture and show that the conjecture is true for graphs of vertex connectivity at most 2 and for cubic graphs. We also show that the minimal counterexample to the conjecture should be $4$-connected. Such information could be of great help in the search for GHZ graphs using existing tools like PyTheus. While the impact of the work is in quantum physics, the techniques in this paper are purely combinatorial, and no background in quantum physics is required to understand them.
Balanced clique subdivisions and cycles lengths in $K_{s, t}$-free graphs
Let $ t\ge s\ge2$ be integers. Confirming a conjecture of Mader, Liu and Montgomery [J. Lond. Math. Soc., 2017] showed that every $K_{s, t}$-free graph with average degree $d$ contains a subdivision of a clique with at least $Ω(d^{\frac{s}{2(s-1)}})$ vertices. We give an improvement by showing that such a graph contains a balanced subdivision of a clique with the same order, where a balanced subdivision is a subdivision in which each edge is subdivided the same number of times.
In 1975, Erdős asked whether the sum of the reciprocals of the cycle lengths in a graph with infinite average degree $d$ is necessarily infinite. Recently, Liu and Montgomery [J. Amer. Math. Soc., 2023] confirmed the asymptotically correct lower bound on the reciprocals of the cycle lengths, and provided a lower bound of at least $(\frac{1}{2} -o_d(1)) \log d$. In this paper, we improve this low bound to $\left(\frac{s}{2(s-1)} -o_d(1)\right) \log d$ for $K_{s, t}$-free graphs.
Both proofs of our results use the graph sublinear expansion property as well as some novel structural techniques.
On the boundedness of degenerate hypergraphs
We investigate the impact of a high-degree vertex in Turán problems for degenerate hypergraphs (including graphs). We say an $r$-graph $F$ is bounded if there exist constants $α, β>0$ such that for large $n$, every $n$-vertex $F$-free $r$-graph with a vertex of degree at least $α\binom{n-1}{r-1}$ has fewer than $(1-β) \cdot \mathrm{ex}(n,F)$ edges. The boundedness property is crucial for recent works~\cite{HHLLYZ23a,DHLY24} that aim to extend the classical Hajnal--Szemerédi Theorem and the anti-Ramsey theorems of Erdős--Simonovits--Sós.
We show that many well-studied degenerate hypergraphs, such as all even cycles, most complete bipartite graphs, and the expansion of most complete bipartite graphs, are bounded. In addition, to prove the boundedness of the expansion of complete bipartite graphs, we introduce and solve a Zarankiewicz-type problem for $3$-graphs, strengthening a theorem by Kostochka--Mubayi--Verstraëte~\cite{KMV15}.
The Planar Turán Number of $Θ_6$-graphs
There are two particular $Θ_6$-graphs - the 6-cycle graphs with a diagonal. We find the planar Turán number of each of them, i.e. the maximum number of edges in a planar graph $G$ of $n$ vertices not containing the given $Θ_6$ as a subgraph and we find infinitely many extremal constructions showing the sharpness of these results - apart from a small additive constant error in one of the cases.
Optimal radio labeling for the Cartesian product of square mesh networks and stars
As the most critical component in the communication process, channels have a great impact on the communication quality of network. With the continuous expansion of network scale, the limited channel resources lead to the limitation of communication network scale. Therefore, achieving reasonable channel assignment and utilization becomes an extremely challenging problem. In order to solve this issue effectively, the channel assignment problem in communication networks can be transformed into a graph labeling problem, utilizing graphs to simulate the communication networks. In this paper, the topologies of mesh networks and stars are studied by constructing Cartesian product, and the lower bound and exact value of the optimal radio label of the Cartesian product of square mesh network and star $G=P(m,m)\Box K_{1,n}$ are obtained, where $m\geq 2$.
Symmetric $(15,8,4)$-designs in terms of the geometry of binary simplex codes of dimension $4$
Let $n=2^k-1$ and $m=2^{k-2}$ for a certain $k\ge 3$. Consider the point-line geometry of $2m$-element subsets of an $n$-element set. Maximal singular subspaces of this geometry correspond to binary simplex codes of dimension $k$. For $k\ge 4$ the associated collinearity graph contains maximal cliques different from maximal singular subspaces. We investigate maximal cliques corresponding to symmetric $(n,2m,m)$-designs. The main results concern the case $k=4$ and give a geometric interpretation of the five well-known symmetric $(15,8,4)$-designs.
Free multiderivations of connected subgraph arrangements
Cuntz and Kühne introduced the class of connected subgraph arrangements $A_G$, depending on a graph $G$, and classified all graphs $G$ such that the corresponding arrangement $A_G$ is free. We extend their result to the multiarrangement case and classify all graphs $G$ for which the corresponding arrangement $A_G$ supports some multiplicity $μ$ such that the multiarrangement $(A_G,μ)$ is free.
Alon's transmitting problem and multicolor Beck--Spencer Lemma
The Hamming graph $H(n,q)$ is defined on the vertex set $\{1,2,\ldots,q\}^n$ and two vertices are adjacent if and only if they differ in precisely one coordinate. Alon (1992) proved that for any sequence $v_1,\ldots,v_b$ of $b=\lceil\frac n2\rceil$ vertices of $H(n,2)$, there is a vertex whose distance from $v_i$ is at least $b-i+1$ for all $1\leq i\leq b$. In this note, we prove that for any $q\geq 3$ and any sequence $v_1,\ldots,v_b$ of $b=\lfloor(1-\frac1q)n\rfloor$ vertices of $H(n,q)$, there is a vertex whose distance from $v_i$ is at least $b-i+1$ for all $1\leq i\leq b$.
Alon used a lemma due to Beck and Spencer (1983) which, in turn, was based on the floating variable method introduced by Beck and Fiala (1981) who studied combinatorial discrepancies. For our proof, we extend the Beck--Spencer Lemma by using a multicolor version of the floating variable method due to Doerr and Srivastav (2003).
An Analysis of Graceful Coloring in a Specific r-Regular Graphs
A graceful $l$-coloring of a graph $G$ is a proper vertex coloring with $l$ colors which induces a proper edge coloring with at most $l-1$ colors, where the color for an edge $ab$ is the absolute difference between the colors assigned to the vertices $a$ and $b$. The graceful chromatic number $χ_g(G)$ is the smallest $l$ for which $G$ permits graceful $l$-coloring. The problem of computing the graceful chromatic number of regular graphs is still open, though the existence of the lower bound was proved in \cite{3}. Hence, we pay attention to the computation of the graceful chromatic number of a special class of regular graphs namely complete graphs using set theoretic approach. Also, a few characterization of graphs based on their graceful chromatic number were examined.
A Triangulation of the Flow Polytope of the Zigzag Graph
We show that the dual graph of the triangulation of the flow polytope of the zigzag graph adorned with the length-reverse-length framing is a subgraph of a grid graph. Through Mészáros, Morales, and Striker's bijection between simplices of the triangulation, integer flows of a different, supplemental flow polytope, we provide a simple numerical characterization of the adjacency between the triangulation's simplices in terms of their corresponding integer flows. The proofs result from the development of Postnikov and Stanley's sequences of noncrossing bipartite trees as combinatorial objects we call groves. We propose two new statistics derived from this construction that we conjecture recover the $h^*$-polynomial of the flow polytope of the zigzag graph.
The Honeymoon Oberwolfach Problem: small cases
The Honeymoon Oberwolfach Problem HOP$(2m_1,2m_2,\ldots,2m_t)$ asks the following question. Given $n=m_1+m_2+\ldots +m_t$ newlywed couples at a conference and $t$ round tables of sizes $2m_1,2m_2,\ldots,2m_t$, is it possible to arrange the $2n$ participants at these tables for $2n-2$ meals so that each participant sits next to their spouse at every meal, and sits next to every other participant exactly once? A solution to HOP$(2m_1,2m_2,\ldots,2m_t)$ is a decomposition of $K_{2n}+(2n-3)I$, the complete graph $K_{2n}$ with $2n-3$ additional copies of a fixed 1-factor $I$, into 2-factors, each consisting of disjoint $I$-alternating cycles of lengths $2m_1,2m_2,\ldots,2m_t$.
The Honeymoon Oberwolfach Problem was introduced in a 2019 paper by Lepine and Šajna. The authors conjectured that HOP$(2m_1,2m_2,\ldots,$ $2m_t)$ has a solution whenever the obvious necessary conditions are satisfied, and proved the conjecture for several large cases, including the uniform cycle length case $m_1=\ldots=m_t$, and the small cases with $n \le 9$. In the present paper, we extend the latter result to all cases with $n \le 20$ using a computer search.
Counting the Number of Domatic Partition of a Graph
A subset of vertices $S$ of a graph $G$ is a dominating set if every vertex in $V \setminus S$ has at least one neighbor in $S$. A domatic partition is a partition of the vertices of a graph $G$ into disjoint dominating sets. The domatic number $d(G)$ is the maximum size of a domatic partition. Suppose that $dp(G,i)$ is the number of distinct domatic partition of $G$ with cardinality $i$. In this paper, we consider the generating function of $dp(G,i)$, i.e., $DP(G,x)=\sum_{i=1}^{d(G)}dp(G,i)x^i$ which we call it the domatic partition polynomial. We explore the domatic polynomial for trees, providing a quadratic time algorithm for its computation based on weak 2-coloring numbers. Our results include specific findings for paths and certain graph products, demonstrating practical applications of our theoretical framework.
Table of large graphs with given degree and diameter
We update the table of large undirected graphs with given degree and diameter with results obtained since the publication of the survey by M. Miller and J. Širáň in the {\em Electronic Journal of Combinatorics} (Dynamic Survey DS14, 2nd. edition. May 2013).