graph
34516 papers tagged with this keyword
Property O and Erdős--Szekeres properties in linear hypergraphs
An oriented $k$-uniform hypergraph, or oriented $k$-graph, is said to satisfy Property O if, for every linear ordering of its vertex set, there is some edge oriented consistently with this order. The minimum number $f(k)$ of edges in a $k$-graph with Property O was first studied by Duffus, Kay, and Rödl, and later improved by Kronenberg, Kusch, Lamaison, Micek, and Tran. In particular, they established the bounds $k! + 1 \le f(k) \le \left(\lfloor\tfrac{k}{2}\rfloor+1 \right) k! - \lfloor\tfrac{k}{2}\rfloor(k-1)!$ for every $k \ge 2$.
In this note, we extend the study of Property O to the linear setting. We determine the minimum number $f'(k)$ of edges in a linear $k$-graph up to a $\operatorname{poly}(k)$ multiplicative factor, showing that $\frac{(k!)^2}{2e^2k^4} \le f'(k) \le (1+o(1)) \cdot 4 k^6 \ln^2 k \cdot (k!)^2$. Our approach also yields bounds on the minimum number $n'(k)$ of vertices in an oriented linear $k$-graph with Property O. Additionally, we explore the minimum number of edges and vertices required in a linear $k$-graph satisfying the newly introduced Erdős--Szekeres properties.
Asymptotic structure. V. The coarse Menger conjecture in bounded path-width
Menger's theorem tells us that if $S,T$ are sets of vertices in a graph $G$, then (for $k\ge0$) either there are $k+1$ vertex-disjoint paths between $S$ and $T$, or there is a set of $k$ vertices separating $S$ and $T$. But what if we want the paths to be far apart, say at distance at least $c$? One might hope that we can find either $k+1$ paths pairwise far apart, or $k$ sets of bounded radius that separate $S$ and $T$, where the bound on the radius is some $\ell$ that depends only on $k,c$ (the ``coarse Menger conjecture''). We showed in an earlier paper that this is false for all $k\ge 2$ and $c\ge3$. To do so we gave a sequence of finite graphs, counterexamples for larger and larger values of $\ell$ with $k=2$, $c=3$. Our counterexamples contained subdivisions of uniform binary trees with arbitrarily large depth as subgraphs.
Here we show that for any binary tree $T$, the coarse Menger conjecture is true for all graphs that contain no subdivision of $T$ as a subgraph, that is, it is true for graphs with bounded path-width (and, further, for graphs with bounded coarse path-width). This is perhaps surprising, since it is false for bounded tree-width.
The Eigenvalue Method in Coding Theory
Published
• View Publication
• BIB
We lay down the foundations of the Eigenvalue Method in coding theory. The method uses modern algebraic graph theory to derive upper bounds on the size of error-correcting codes for various metrics, addressing major open questions in the field. We identify the core assumptions that allow applying the Eigenvalue Method, test it for multiple well-known classes of error-correcting codes, and compare the results with the best bounds currently available. By applying the Eigenvalue Method, we obtain new bounds on the size of error-correcting codes that often improve the state of the art. Our results show that spectral graph theory techniques capture structural properties of error-correcting codes that are missed by classical coding theory approaches.
A Proof of the 2004 Albert-Grossman-Nowakowski-Wolfe Conjecture on Alternating Linear Clobber
Clobber is an alternate-turn two-player game introduced in 2001 by Albert, Grossman, Nowakowski and Wolfe. The board is a graph with each node colored black (x), white (o), or empty (-). Player Left has black stones, player Right has white stones. On a turn, a player takes one of their stones that is adjacent to an opponent stone and clobbers the opponent's stone (replaces it with theirs). Whoever cannot move loses. Linear clobber is clobber played on a path, for example, one row of a Go board. In 2004 Albert et al. conjectured that, for every even-length alternating-color linear clobber position except oxoxox, the first player has a winning strategy. We prove their conjecture.
Asymptotic structure. II. Path-width and additive quasi-isometry
We show that if a graph $G$ admits a quasi-isometry $φ$ to a graph $H$ of bounded path-width, then we can assign a non-negative integer length to each edge of $H$, such that the same function $φ$ is a quasi-isometry to this weighted version of $H$, with error only an additive constant.
Asymptotic structure. III. Excluding a fat tree
Robertson and Seymour proved that for every finite tree $H$, there exists $k$ such that every finite graph $G$ with no $H$ minor has path-width at most $k$; and conversely, for every integer $k$, there is a finite tree $H$ such that every finite graph $G$ with an $H$ minor has path-width more than $k$. If we (twice) replace ``path-width'' by ``line-width'', the same is true for infinite graphs $G$.
We prove a ``coarse graph theory'' analogue, as follows. For every finite tree $H$ and every $c$, there exist $k,L,C$ such that every graph that does not contain $H$ as a $c$-fat minor admits an $(L,C)$-quasi-isonetry to a graph with line-width at most $k$; and conversely, for all $k,L,C$ there exist $c$ and a finite tree $H$ such that every graph that contains $H$ as a $c$-fat minor admits no $(L,C)$-quasi-isometry to a graph with line-width at most $k$.
On a Conjecture about Comparing the First and Second Zagreb Indices of Graphs
Let $G$ be a graph with order $n(G)$, size $m(G)$, first Zagreb index $M_1(G)$, and second Zagreb index $M_2(G)$. More than twenty years ago, it was conjectured that $\frac{M_1(G)}{n(G)} \leq \frac{M_2(G)}{m(G)}$. Later, Hansen and Vukičević demonstrated that this conjecture does not hold for general graphs but is valid for chemical graphs. In this paper, as an extension of the study of chemical graphs, we investigate graphs in which the difference between the minimum and maximum degrees is at most $3$. We prove that any graph in this class that serves as a counterexample to the stated conjecture must have a minimum degree of $2$ and a maximum degree of $5$. Furthermore, we present infinitely many connected graphs that serve as counterexamples to this conjecture, all of which have a minimum degree of 2, a maximum degree of 5, and an order of at least 218.
Sign-coherence and tropical sign pattern for rank $3$ real cluster-cyclic exchange matrices
The sign-coherence about $c$-vectors was conjectured by Fomin-Zelevinsky and solved completely by Gross-Hacking-Keel-Kontsevich for integer skew-symmetrizable case. We prove this conjecture associated with $c$-vectors for rank 3 real cluster-cyclic skew-symmetrizable case. Simultaneously, we establish their self-contained recursion and monotonicity. Then, these $c$-vectors are proved to be roots of certain quadratic equations. Based on these results, we prove that the corresponding exchange graphs of $C$-pattern and $G$-pattern are $3$-regular trees. We also study the structure of tropical signs and equip the dihedral group $\mathrm{D}_6$ with a cluster realization via certain mutations.
An Erdos-Gallai conjecture for signed graphs
For every natural number $p$, we show that the maximum negative girth among the class of signed graphs on $n$ vertices with balanced chromatic number at least $p$ is between $(1/e)n^{1/(p-1)}$ and $2(p-1) n^{1/(p-1)}$. This extends a conjecture of Erdős and Gallai to signed graphs.
New constructions and bounds for nonabelian Sidon sets with applications to Turán-type problems
An $S_k$-set in a group $Γ$ is a set $A\subseteqΓ$ such that $α_1\cdotsα_k=β_1\cdotsβ_k$ with $α_i,β_i\in A$ implies $(α_1,\ldots,α_k)=(β_1,\ldots,β_k)$. An $S_k'$-set is a set such that $α_1β_1^{-1}\cdotsα_kβ_k^{-1}=1$ implies that there exists $i$ such that $α_i=β_i\text{ or }β_i=α_{i+1}$. We give explicit constructions of large $S_k$-sets in the group $S_n$ and $S_2$-sets in $S_n\times S_n$ and $A_n\times A_n$. We give probabilistic constructions for `nice' groups which obtain large $S_2$-sets in $A_n$ and $S_2'$-sets in $S_n$. We also give upper bounds on the size of $S_k$-sets in certain groups, improving the trivial bound by a constant multiplicative factor. We describe some connections between $S_k$-sets and extremal graph theory. In particular, we determine up to a constant factor the minimum outdegree of a digraph which guarantees even cycles with certain orientations. As applications, we improve the upper bound on Hamilton paths which pairwise create a two-part cycle of given length, and we show that a directed version of the Erdős-Simonovits compactness conjecture is false.
Fault Tolerant Zero Forcing
Zero forcing is an iterative graph coloring process studied for its wide array of applications. In this process, the vertices of the graph are initially designated as blue or white, and a zero forcing set is a set of initially blue vertices that results in all vertices becoming blue after repeated application of a color change rule. The zero forcing number of a graph is the minimum cardinality of a zero forcing set. The zero forcing number has motivated the introduction of a host of variants motivated by linear-algebraic or graph-theoretic contexts. We define a variant we term the $k$-fault tolerant zero forcing number, which is the minimum cardinality of a set $B$ such that every subset of $B$ of cardinality $|B|-k$ is a zero forcing set. We study the values of this parameter on various graph families, the behavior under several graph operations, and characterize the 1-fault tolerant zero forcing number of trees.
How to find all extremal graphs using symmetric subgraphs
Let $\mathcal{F}$ be a finite family of graphs with $\min_{F\in \mathcal{F}}χ(F)=r+1\geq3$, where $χ(F)$ is the chromatic number of $F$. Set $t=\max_{F\in\mathcal{F}}|F|$. Let ${\rm EX}(n,\mathcal{F})$ be the set of graphs with maximum edges among all the graphs of order $n$ without any $F\in\mathcal{F}$ as a subgraph. Let $T(n,r)$ be the Turán graph of order $n$ with $r$ parts. Assume that some $F_{0}\subseteq\mathcal{F}$ is a subgraph of the graph obtained from $T(rt,r)$ by embedding a path in its one part. Simonovits \cite{S1} introduced the concept of symmetric subgraphs, and proved that there exist graphs in ${\rm EX}(n,\mathcal{F})$ which have symmetrical property. In this paper, we aim to find a way to characterize all the extremal graphs for such $\mathcal{F}$ using symmetric subgraphs. Some new extremal results are obtained.
Finite projective planes meet spectral gaps
We show that for any connected graph $G$ with maximum degree $d\ge3$, the spectral gap from $0$ with respect to the adjacency matrix is at most $\sqrt{d-1}$, with equality if and only if $G$ is the incidence graph of a finite projective plane of order $d-1$; and for other cases, the bound $\sqrt{d-1}$ is improved to $\sqrt{d-2}$. This is a spectral gap version of a result by Mohar and Tayfeh-Rezaie. Moreover, for $d$-regular graphs with girth at least 7, the bound $\sqrt{d-2}$ is further improved to $\sqrt{d-c(d)}$ where $c(d)\ge 2$ and $\lim\limits_{d\to\infty}c(d)/d=(\sqrt{5}-1)/2$.
A similar yet more subtle phenomenon involving the normalized Laplacian is also investigated, where we work on graphs of degrees $\ge d$ rather than $\le d$. We prove that for any graph $G$ with \emph{minimum} degree $d\ge 3$, the spectral gap from the value 1 with respect to the normalized Laplacian is at most $\sqrt{d-1}/d$, with equality if and only if $G$ is the incidence graph of a finite projective plane of order $d-1$. As an application, we provide a new sharp bound for the convergence rate of some eigenvalues of the Laplacian on the weighted neighborhood graphs introduced by Bauer and Jost.
On graphs, homology bases, and triangulated homology spheres
We describe a construction that takes as input a graph and a basis for its first homology, and returns a triangulation of a 3-dimensional homology sphere. This makes precise an idea of M. Gromov and A. Nabutovski. The immediate application, essentially described by Gromov, is to translate problems about asymptotics of homology sphere triangulations to asymptotic counting problems for constant-degree graphs with "short" homology bases. We construct families of 3- sphere triangulations with dual graphs that are expanders, answering a relaxation of a question asked by G. Kalai. Our results also imply that if the number of d-dimensional triangulated homology spheres with n facets is superexponential in n for some d then the same holds for d = 3.
Proper conflict-free degree-choosability of outerplanar graphs
A proper coloring $φ$ of $G$ is called a proper conflict-free coloring of $G$ if for every non-isolated vertex $v$ of $G$, there is a color $c$ such that $|φ^{-1}(c)\cap N_G(v)|=1$. As an analogy to degree-choosability of graphs, the authors recently, in a previous paper, introduced the notion of proper conflict-free $({\rm degree}+k)$-choosability of graphs. For a non-negative integer $k$, a graph $G$ is proper conflict-free $({\rm degree}+k)$-choosable if for any list assignment $L$ of $G$ with $|L(v)|\geq d_G(v)+k$ for every vertex $v\in V(G)$, $G$ admits a proper conflict-free coloring $φ$ such that $φ(v)\in L(v)$ for every vertex $v\in V(G)$. In this paper, we show that every connected outerplanar graph other than the $5$-cycle is proper conflict-free $({\rm degree}+2)$-choosable. This bound is tight in the sense that there are infinitely many connected outerplanar graphs that are not proper conflict-free $({\rm degree}+1)$-choosable. We conclude the paper with two questions for further work.
Proof of a conjecture of Voss on bridges of longest cycles
Bridges are a classical concept in structural graph theory and play a fundamental role in the study of cycles. A conjecture of Voss from 1991 asserts that if disjoint bridges $B_1, B_2, \ldots, B_k$ of a longest cycle $L$ in a $2$-connected graph overlap in a tree-like manner (i.e., induce a tree in the {\it overlap graph} of $L$), then the total {\it length} of these bridges is at most half the length of $L$. Voss established this for $k \leq 3$ and used it as a key tool in his 1991 monograph on cycles and bridges. In this paper, we confirm the conjecture in full via a reduction to a cycle covering problem.
Revisiting Cases 2 and 11 of the Map Color Theorem
In 1968, Ringel and Youngs solved the remaining cases of the orientable Map Color Theorem by finding genus embeddings of the complete graphs $K_n$, for sufficiently large $n \equiv 2, 8, 11 \pmod{12}$. Following the approach previously explored by the author for $n \equiv 8 \pmod{12}$, we aim to streamline their constructions for $n \equiv 2, 11 \pmod{12}$ by finding families of current graphs with simpler patterns for the arc labelings.
Real $C$-, $G$-structures and sign-coherence of cluster algebras
We generalize the theory of integer $C$-, $G$-matrices in cluster algebras to the real case. By a skew-symmetrizing method, we can reduce the problem of skew-symmetrizable patterns to the one of skew-symmetric patterns. In this sense, we extend the sign-coherence of integer $C$-, $G$-matrices proved by Gross-Hacking-Keel-Kontsevich to a more general real class called of quasi-integer type. Furthermore, we give a complete classification of this type by a combinatorial method of real weighted quivers. However, the sign-coherence of real $C$-, $G$-matrices does not always hold in general. For this purpose, we classify all the rank $2$ case and the finite type case via the Coxeter diagrams. We also give two conjectures about the real exchange matrices and $C$-, $G$-matrices. Under these conjectures, the dual mutation, $G$-fan structure and synchronicity property hold. As an application, the isomorphism of several kinds of exchange graphs is studied.
Using dense graph limit theory to count cocycles of random simplicial complexes
We develop a limit theory for $1$-cochains of complete graphs with coefficients from a finite abelian group. We prove an analogue of the large deviation principle of Chatterjee and Varadhan for random cochains. We use these new tools to prove results about the homology of random $2$-dimensional simplicial complexes.
More specifically, we prove that if $T_n$ is a random $2$-dimensional determinantal hypertree on $n$ vertices and $p$ is any prime, then \[\frac{\dim H_1(T_n,\mathbb{F}_p)}{n^2}\] converges to zero in probability. The same result holds for random $1$-out 2-complexes.
On the sum of the largest and smallest eigenvalues of graphs with high odd girth
The sum $λ_1 + λ_n$ of the maximum and minimum eigenvalues, and the odd girth of a graph both measure bipartiteness. We seek to relate these measures. In particular, for an odd integer $k\geq 3$, let $γ_k$ denote the supremum of $\frac{λ_1 + λ_n}{n}$ over graphs without odd cycles of length less than $k$. The example of the $k$-cycle $C_k$ shows that $γ_k\geq Ω(k^{-3})$. In their recent work, Abiad, Taranchuk, and van Veluw showed that $γ_k\leq O(k^{-1})$ and asked to determine the asymptotics of $γ_k$. Using approximation theory, we show that $γ_k\leq O(k^{-3}\log^3 k)$, giving a tight upper bound up to a poly-logarithmic factor.