graph
35299 papers tagged with this keyword
Automorphisms and subdivisions of Helly graphs
Published
• View Publication
• BIB
We study Helly graphs of finite combinatorial dimension, i.e. whose injective hull is finite-dimensional. We describe very simple fine simplicial subdivisions of the injective hull of a Helly graph, following work of Lang. We also give a very explicit simplicial model of the injective hull of a Helly graphs, in terms of cliques which are intersections of balls. We use these subdivisions to prove that any automorphism of a Helly graph with finite combinatorial dimension is either elliptic or hyperbolic. Moreover, every such hyperbolic automorphism has an axis in an appropriate Helly subdivision, and its translation length is rational with uniformly bounded denominator.
Off-Diagonal Ramsey Multiplicity
The Ramsey multiplicity problem asks for the minimum asymptotic density of monochromatic labelled copies of a graph $H$ in a red/blue colouring of the edges of $K_n$. We introduce an off-diagonal generalization in which the goal is to minimize a certain weighted sum of the densities of red copies of one graph and blue copies of another. We build up various properties of this new notion, including a useful "dual formulation," and use these results to solve the problem for several pairs of graphs.
A co-preLie structure from chronological loop erasure in graph walks
Published in European Journal of Combinatorics, Volume 120, 2024, 103967
• View Publication
• BIB
We show that the chronological removal of cycles from a walk on a graph, known as Lawler's loop-erasing procedure, generates a preLie co-algebra on the vector space spanned by the walks. In addition, we prove that the tensor and symmetric algebras of graph walks are graded Hopf algebras, provide their antipodes explicitly and recover the preLie co-algebra from a brace coalgebra on the tensor algebra of graph walks. Finally we exhibit sub-Hopf algebras associated to particular types of walks.
Complete bipartite graphs without small rainbow stars
Published
• View Publication
• BIB
The $k$-edge-colored bipartite Gallai-Ramsey number $\operatorname{bgr}_k(G:H)$ is defined as the minimum integer $n$ such that $n^2\geq k$ and for every $N\geq n$, every edge-coloring (using all $k$ colors) of complete bipartite graph $K_{N,N}$ contains a rainbow copy of $G$ or a monochromatic copy of $H$. In this paper, we first study the structural theorem on the complete bipartite graph $K_{n,n}$ with no rainbow copy of $K_{1,3}$. Next, we utilize the results to prove the exact values of $\operatorname{bgr}_{k}(P_4: H)$, $\operatorname{bgr}_{k}(P_5: H)$, $\operatorname{bgr}_{k}(K_{1,3}: H)$, where $H$ is a various union of cycles and paths and stars.
Canonizing Graphs of Bounded Rank-Width in Parallel via Weisfeiler--Leman
In this paper, we show that computing canonical labelings of graphs of bounded rank-width is in $\textsf{TC}^{2}$. Our approach builds on the framework of Köbler & Verbitsky (CSR 2008), who established the analogous result for graphs of bounded treewidth. Here, we use the framework of Grohe & Neuen (ACM Trans. Comput. Log., 2023) to enumerate separators via split-pairs and flip functions. In order to control the depth of our circuit, we leverage the fact that any graph of rank-width $k$ admits a rank decomposition of width $\leq 2k$ and height $O(\log n)$ (Courcelle & Kanté, WG 2007). This allows us to utilize an idea from Wagner (CSR 2011) of tracking the depth of the recursion in our computation.
Furthermore, after splitting the graph into connected components, it is necessary to decide isomorphism of said components in $\textsf{TC}^{1}$. To this end, we extend the work of Grohe & Neuen (ibid.) to show that the $(6k+3)$-dimensional Weisfeiler--Leman (WL) algorithm can identify graphs of rank-width $k$ using only $O(\log n)$ rounds. As a consequence, we obtain that graphs of bounded rank-width are identified by $\textsf{FO} + \textsf{C}$ formulas with $6k+4$ variables and quantifier depth $O(\log n)$.
Prior to this paper, isomorphism testing for graphs of bounded rank-width was not known to be in $\textsf{NC}$.
Borel Vizing's Theorem for Graphs of Subexponential Growth
Published
• View Publication
• BIB
We show that every Borel graph $G$ of subexponential growth has a Borel proper edge-coloring with $Δ(G) + 1$ colors. We deduce this from a stronger result, namely that an $n$-vertex (finite) graph $G$ of subexponential growth can be properly edge-colored using $Δ(G) + 1$ colors by an $O(\log^\ast n)$-round deterministic distributed algorithm in the $\mathsf{LOCAL}$ model, where the implied constants in the $O(\cdot)$ notation are determined by a bound on the growth rate of $G$.
Moment sequences, transformations, and Spidernet graphs
We use the link between Jacobi continued fractions and the generating functions of certain moment sequences to study some simple transformations on them. In particular, we define and study a transformation that is appropriate for the study of spidernet graphs and their moments, and the free Meixner law.
The maximum number of odd cycles in a planar graph
Published
• View Publication
• BIB
How many copies of a fixed odd cycle, $C_{2m+1}$, can a planar graph contain? We answer this question asymptotically for $m\in\{2,3,4\}$ and prove a bound which is tight up to a factor of $3/2$ for all other values of $m$. This extends the prior results of Cox--Martin and Lv et al. on the analogous question for even cycles. Our bounds result from a reduction to the following maximum likelihood question: which probability mass $μ$ on the edges of some clique maximizes the probability that $m$ edges sampled independently from $μ$ form either a cycle or a path?
Spectral extremal graphs for edge blow-up of star forests
Published
• View Publication
• BIB
The edge blow-up of a graph $G$, denoted by $G^{p+1}$, is obtained by replacing each edge of $G$ with a clique of order $p+1$, where the new vertices of the cliques are all distinct. Yuan [J. Comb. Theory, Ser. B, 152 (2022) 379-398] determined the range of the Turán numbers for edge blow-up of all bipartite graphs and the exact Turán numbers for edge blow-up of all non-bipartite graphs. In this paper we prove that the graphs with the maximum spectral radius in an $n$-vertex graph without any copy of edge blow-up of star forests are the extremal graphs for edge blow-up of star forests when $n$ is sufficiently large.
Spectral radius and k-factor-critical graphs
Published
• View Publication
• BIB
For a nonnegative integer $k$, a graph $G$ is said to be $k$-factor-critical if $G-Q$ admits a perfect matching for any $Q\subseteq V(G)$ with $|Q|=k$. In this article, we prove spectral radius conditions for the existence of $k$-factor-critical graphs. Our result generalises one previous result on perfect matchings of graphs. Furthermore, we claim that the bounds on spectral radius in Theorem 3.1 are sharp.
A combinatorial characterization of $S_2$ binomial edge ideals
Published in European Journal of Combinatorics 125 (2025), 104123
• View Publication
• BIB
Several algebraic properties of a binomial edge ideal $J_G$ can be interpreted in terms of combinatorial properties of its associated graph $G$. In particular, the so-called cut sets of a graph $G$, special sets of vertices that disconnect $G$ in a minimal way, play an important role since they are in bijection with the minimal prime ideals of $J_G$. In this paper we establish the first graph-theoretical characterization of binomial edge ideals $J_G$ satisfying Serre's condition $(S_2)$ by proving that this is equivalent to having $G$ accessible, which means that $J_G$ is unmixed and the cut sets of $G$ form an accessible set system. The proof relies on the combinatorial structure of the Stanley-Reisner simplicial complex of a multigraded generic initial ideal of $J_G$, whose facets can be described in terms of cut sets. Another key step in the proof consists in proving the equivalence between accessibility and strong accessibility for the collection of cut sets of $G$ with $J_G$ unmixed. This result, interesting on its own, provides the first relevant class of set systems for which the previous two notions are equivalent.
$3$D Farey graph, lambda lengths and $SL_2$-tilings
Published
• View Publication
• BIB
We explore a three-dimensional counterpart of the Farey tessellation and its relations to Penner's lambda lengths and $SL_2$-tilings. In particular, we prove a three-dimensional version of Ptolemy relation, and generalise results of Ian Short to classify tame $SL_2$-tilings over Eisenstein integers in terms of pairs of paths in the 3D Farey graph.
Recognizing $\mathbf{W_2}$ Graphs
Published
• View Publication
• BIB
Let $G$ be a graph. A set $S \subseteq V(G)$ is independent if its elements are pairwise non-adjacent. A vertex $v \in V(G)$ is shedding if for every independent set $S \subseteq V(G) \setminus N[v]$ there exists $u \in N(v)$ such that $S \cup \{u\}$ is independent. An independent set $S$ is maximal if it is not contained in another independent set. An independent set $S$ is maximum if the size of every independent set of $G$ is not bigger than $|S|$. The size of a maximum independent set of $G$ is denoted $α(G)$. A graph $G$ is well-covered if all its maximal independent sets are maximum, i.e. the size of every maximal independent set is $α(G)$. The graph $G$ belongs to class $\mathbf{W_2}$ if every two pairwise disjoint independent sets in $G$ are included in two pairwise disjoint maximum independent sets. If a graph belongs to the class $\mathbf{W_2}$ then it is well-covered.
Finding a maximum independent set in an input graph is an NP-complete problem. Recognizing well-covered graphs is co-NP-complete. The complexity status of deciding whether an input graph belongs to the $\mathbf{W_2}$ class is not known. Even when the input is restricted to well-covered graphs, the complexity status of recognizing graphs in $\mathbf{W_2}$ is not known.
In this article, we investigate the connection between shedding vertices and $\mathbf{W_2}$ graphs. On the one hand, we prove that recognizing shedding vertices is co-NP-complete. On the other hand, we find polynomial solutions for restricted cases of the problem. We also supply polynomial characterizations of several families of $\mathbf{W_2}$ graphs.
Fulkerson duality for modulus of spanning trees and partitions
Published
• View Publication
• BIB
One of the main properties of modulus on graphs is Fulkerson duality. In this paper, we study Fulkerson duality for spanning tree modulus. We introduce a new notion of Beurling partition, and we identify two important ones, which correspond to the notion of strength and maximum denseness of an arbitrary graph. These special partitions, also give rise to two deflation processes that reveal a hierarchical structure for general graphs. While Fulkerson duality for spanning tree families can be deduced from a well-known result in combinatorics due to Chopra, we give an alternative approach based on a result of Nash-Williams and Tutte. Finally, we introduce the weighted variant of spanning tree modulus.
Some results concerning the valences of (super) edge-magic graphs
A graph $G$ is called edge-magic if there exists a bijective function $f:V\left(G\right) \cup E\left(G\right)\rightarrow \left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert +\left\vert E\left( G\right) \right\vert \right\}$ such that $f\left(u\right) + f\left(v\right) + f\left(uv\right)$ is a constant (called the valence of $f$) for each $uv\in E\left( G\right) $. If $f\left(V \left(G\right)\right) =\left\{1, 2, \ldots , \left\vert V\left( G\right) \right\vert \right\}$, then $G$ is called a super edge-magic graph. A stronger version of edge-magic and super edge-magic graphs appeared when the concepts of perfect edge-magic and perfect super edge-magic graphs were introduced. The super edge-magic deficiency $ μ_{s}\left(G\right)$ of a graph $G$ is defined to be either the smallest nonnegative integer $n$ with the property that $G \cup nK_{1}$ is super edge-magic or $+ \infty$ if there exists no such integer $n$. On the other hand, the edge-magic deficiency $ μ\left(G\right)$ of a graph $G$ is the smallest nonnegative integer $n$ for which $G\cup nK_{1}$ is edge-magic, being $ μ\left(G\right)$ always finite. In this paper, the concepts of (super) edge-magic deficiency are generalized using the concepts of perfect (super) edge-magic graphs. This naturally leads to the study of the valences of edge-magic and super edge-magic labelings. We present some general results in this direction and study the perfect (super) edge-magic deficiency of the star $K_{1,n}$.
Homology rings of affine grassmannians and positively multiplicative graphs
Let $\mathfrak{g}$ be an untwisted affine Lie algebra with associated Weyl group $W_a$. To any level 0 weight $γ$ we associate a weighted graph $Γ_γ$ that encodes the orbit of $γ$ under the action $W_a$. We show that the graph $Γ_γ$ encodes the periodic orientation of certain subsets of alcoves in $W_a$ and therefore can be interpreted as an automaton determining the reduced expressions in these subsets. Then, by using some relevant quotients of the homology ring of affine Grassmannians, we show that $Γ_γ$ is positively multiplicative. This allows us in particular to compute the structure constants of the homology rings using elementary linear algebra on multiplicative graphs. In another direction, the positivity of $Γ_γ$ yields the key ingredients to study a large class of central random walks on alcoves.
On the Extremal Functions of Acyclic Forbidden 0-1 Matrices
Published
• View Publication
• BIB
The extremal theory of forbidden 0-1 matrices studies the asymptotic growth of the function $\mathrm{Ex}(P,n)$, which is the maximum weight of a matrix $A\in\{0,1\}^{n\times n}$ whose submatrices avoid a fixed pattern $P\in\{0,1\}^{k\times l}$. This theory has been wildly successful at resolving problems in combinatorics, discrete and computational geometry, structural graph theory, and the analysis of data structures, particularly corollaries of the dynamic optimality conjecture.
All these applications use acyclic patterns, meaning that when $P$ is regarded as the adjacency matrix of a bipartite graph, the graph is acyclic. The biggest open problem in this area is to bound $\mathrm{Ex}(P,n)$ for acyclic $P$. Prior results have only ruled out the strict $O(n\log n)$ bound conjectured by Furedi and Hajnal. It is consistent with prior results that $\forall P. \mathrm{Ex}(P,n)\leq n\log^{1+o(1)} n$, and also consistent that $\forall ε>0.\exists P. \mathrm{Ex}(P,n) \geq n^{2-ε}$.
In this paper we establish a stronger lower bound on the extremal functions of acyclic $P$. Specifically, we give a new construction of relatively dense 0-1 matrices with $Θ(n(\log n/\log\log n)^t)$ 1s that avoid an acyclic $X_t$. Pach and Tardos have conjectured that this type of result is the best possible, i.e., no acyclic $P$ exists for which $\mathrm{Ex}(P,n)\geq n(\log n)^{ω(1)}$.
Extremal Bounds on Peripherality Measures
We investigate several measures of peripherality for vertices and edges in networks. We improve asymptotic bounds on the maximum value achieved by edge peripherality, edge sum peripherality, and the Trinajstić index over $n$ vertex graphs. We also prove similar results on the maxima over $n$-vertex bipartite graphs, trees, and graphs with a fixed diameter. Finally, we refute two conjectures of Furtula, the first on necessary conditions for minimizing the Trinajstić index and the second about maximizing the Trinajstić index.
A characterization of graphs of radius-$r$ flip-width at most $2$
Published
• View Publication
• BIB
The $r$-flip-width of a graph, for $r\in \mathbb{N}\cup \{\infty\}$, is a graph parameter defined in terms of a variant of the cops and robber game, called the flipper game, and it was introduced by Toruńczyk (FOCS 2023). We prove that for every $r\in (\mathbb{N}\setminus \{1\})\cup \{\infty\}$, the class of graphs of $r$-flip-width at most $2$ is exactly the class of ($C_5$, bull, gem, co-gem)-free graphs, which are known as totally decomposable graphs with respect to bi-joins.
Uniform density in matroids, matrices and graphs
We give new characterizations for the class of uniformly dense matroids and study applications of these characterizations to graphic and real representable matroids. We show that a matroid is uniformly dense if and only if its base polytope contains a point with constant coordinates. As a main application, we derive new spectral, structural and classification results for uniformly dense graphs. In particular, we show that connected regular uniformly dense graphs are $1$-tough and thus contain a (near-)perfect matching. As a second application, we show that strictly uniformly dense real represented matroids can be represented by projection matrices with a constant diagonal and that they are parametrized by a subvariety of the Grassmannian.