graph
35396 papers tagged with this keyword
Graphical methods and rings of invariants on the symmetric algebra
Published in Can. J. Math.-J. Can. Math. 76 (2024) 2173-2198
• View Publication
• BIB
Let $G$ be a complex classical group, and let $V$ be its defining representation (possibly plus a copy of the dual). A foundational problem in classical invariant theory is to write down generators and relations for the ring of $G$-invariant polynomial functions on the space $\mathcal{P}^m(V)$ of degree-$m$ homogeneous polynomial functions on $V$. In this paper, we replace $\mathcal{P}^m(V)$ with the full polynomial algebra $\mathcal{P}(V)$. As a result, the invariant ring is no longer finitely generated. Hence instead of seeking generators, we aim to write down linear bases for bigraded components. Indeed, when $G$ is of sufficiently high rank, we realize these bases as sets of graphs with prescribed number of vertices and edges. When the rank of $G$ is small, there arise complicated linear dependencies among the graphs, but we remedy this setback via representation theory: in particular, we determine the dimension of an arbitrary component in terms of branching multiplicities from the general linear group to the symmetric group. We thereby obtain an expression for the bigraded Hilbert series of the ring of invariants on $\mathcal{P}(V)$. We conclude with examples using our graphical notation, several of which recover classical results.
Degenerations and order of graphs realized by finite abelian groups
Let G_1 and G_2 be two groups. If a group homomorphism \varphi : G_1 \longrightarrow G_2 maps a \in G_1 into b \in G_2 such that \varphi(a) = b, then we say a degenerates to b and if every element of G_1 degenerates to elements in G_2, then we say G_1 degenerates to G_2. In this paper, we study degeneration in graphs and show that degeneration in groups is a particular case of degeneration in graphs. We exhibit some interesting properties of degeneration in graphs. We use this concept to present a pictorial representation of graphs realized by finite abelian groups. We discus some partial orders on the set T_p_1 \dots T_p_n of all graphs realized by finite abelian p_r-groups, where each p_r, 1 \leq r \leq n, is a prime number. We show that each finite abelian p_r-group of rank n can be identified with saturated chains of Young diagrams in the poset T_p_1 \dots T_p_n. We present a combinatorial formula which represents the degree of a projective representation of a symmetric group. This formula determines the number of different saturated chains in T_p_1 \cdots T_p_n and the number of finite abelian groups of different orders.
Note on the sum of the smallest and largest eigenvalues of a triangle-free graph
Let $G$ be a triangle-free graph on $n$ vertices with adjacency matrix eigenvalues $μ_1(G)\geq μ_2(G)\geq \dots \geq μ_n(G)$. In this paper we study the quantity $$μ_1(G)+μ_n(G).$$ We prove that for any triangle-free graph $G$ we have $$μ_1(G)+μ_n(G)\leq (3-2\sqrt{2})n.$$ This was proved for regular graphs by Brandt, we show that the condition on regularity is not necessary. We also prove that among triangle-free strongly regular graphs the Higman-Sims graph achieves the maximum of $$\frac{μ_1(G)+μ_n(G)}{n}.$$
Basics on positively multiplicative graphs and algebras
Published
• View Publication
• BIB
An oriented graph is said positively multiplicative when its adjacency matrix $A$ embeds in a matrix algebra admitting a basis $\mathsf{B}$ with nonnegative structure constants in which the matrix of the multiplication by $A$ coincides with $A$. The goal of this paper is to present basic properties of this notion and explain, through various simple examples, how it relates to highly non trivial problems like the combinatorial description of fusion rules, the description of the minimal boundary of graded graphs or the study of random walks on alcove tilings.
Powers of Hamilton cycles in dense graphs perturbed by a random geometric graph
Let $G$ be a graph obtained as the union of some $n$-vertex graph $H_n$ with minimum degree $δ(H_n)\geqαn$ and a $d$-dimensional random geometric graph $G^d(n,r)$. We investigate under which conditions for $r$ the graph $G$ will a.a.s. contain the $k$-th power of a Hamilton cycle, for any choice of $H_n$. We provide asymptotically optimal conditions for $r$ for all values of $α$, $d$ and $k$. This has applications in the containment of other spanning structures, such as $F$-factors.
Minimal prime ages, words and permutation graphs Extended abstract
This paper is a contribution to the study of hereditary classes of finite graphs. We classify these classes according to the number of prime structures they contain. We consider such classes that are \emph{minimal prime}: classes that contain infinitely many primes but every proper hereditary subclass contains only finitely many primes. We give a complete characterization of such classes. In fact, each one of these classes is a well quasi ordered age and there are uncountably many of them. Eleven of these ages remain well quasi ordered when labels in a well quasi ordering are added. Among the remaining ones, countably many remain well quasi ordered when one label is added. Except for six examples, members of these ages we characterize are permutation graphs. In fact, every age which is not among the eleven ones is the age of a graph associated to a uniformly recurrent $0$-$1$ word on the integers. A characterization of minimal prime classes of posets and bichains is also provided.
Modulo factors with bounded degrees
Published
• View Publication
• BIB
Let $G$ be a bipartite graph with bipartition $(X,Y)$, let $k$ be a positive integer, and let $f:V(G)\rightarrow \{-1,\ldots, k-2\}$ be a mapping with $\sum_{v\in X}f(v) \stackrel{k}{\equiv}\sum_{v\in Y}f(v)$. In this paper, we show that if $G$ is essentially $(3k-3)$-edge-connected and for each vertex $v$, $d_G(v)\ge 2k-1+f(v)$, then it admits a factor $H$ such that for each vertex $v$, $d_H(v)\stackrel{k}{\equiv} f(v)$, and $$\lfloor\frac{d_G(v)}{2}\rfloor-(k-1)\le d_{H}(v)\le \lceil\frac{d_G(v)}{2}\rceil+k-1.$$ Next, we generalize this result to general graphs and derive sufficient conditions for a highly edge-connected general graph $G$ to have a factor $H$ such that for each vertex $v$, $d_H(v)\in \{f(v),f(v)+k\}$. Finally, we show that every $(4k-1)$-edge-connected essentially $(6k-7)$-edge-connected graph admits a bipartite factor whose degrees are positive and divisible by $k$.
On a class of poly-context-free groups generated by automata
Published in Journal of Algebra 626 (2023), 135-162
• View Publication
• BIB
This paper deals with graph automaton groups associated with trees and some generalizations. We start by showing some algebraic properties of tree automaton groups. Then we characterize the associated semigroup, proving that it is isomorphic to the partially commutative monoid associated with the complement of the line graph of the defining tree. After that, we generalize these groups by introducing the quite broad class of reducible automaton groups, which lies in the class of contracting automaton groups without singular points. We give a general structure theorem that shows that all reducible automaton groups are direct limit of poly-context-free groups which are virtually subgroups of the direct product of free groups; notice that this result partially supports a conjecture by T. Brough. Moreover, we prove that tree automaton groups with at least two generators are not finitely presented and they are amenable groups, which are direct limit of non-amenable groups.
The existence of $\{p,q\}$-orientations in edge-connected graphs
In 1976 Frank and Gy{á}rf{á}s gave a necessary and sufficient condition for the existence of an orientation in an arbitrary graph $G$ such that for each vertex $v$, the out-degree $d^+_G(v)$ of it satisfies $p(v)\le d^+_G(v)\le q(v)$, where $p$ and $q$ are two integer-valued functions on $V(G)$ with $p\le q$. In this paper, we give a sufficient edge-connectivity condition for the existence of an orientation in $G$ such that for each vertex $v$, $d^+_G(v)\in \{p(v),q(v)\}$, provided that for each vertex $v$, $p(v)\le \frac{1}{2}d_G(v) \le q(v)$, $|q(v)-p(v)|\le k$, and there is $t(v)\in \{p(v),q(v)\}$ in which $|E(G)|=\sum_{v\in V(G)}t(v)$. This result is a generalization of a theorem due to Thomassen (2012) on the existence of modulo orientations in highly edge-connected graphs.
The existence of planar $4$-connected essentially $6$-edge-connected graphs with no claw-decompositions
Published
• View Publication
• BIB
In 2006 Bar{á}t and Thomassen conjectured that every planar $4$-edge-connected $4$-regular simple graph of size divisible by three admits a claw-decomposition. Later, Lai (2007) disproved this conjecture by a family of planar graphs with edge-connectivity $4$ which the smallest one contains $24$ vertices. In this note, we first give a smaller counterexample having only $18$ vertices and next construct a family of planar $4$-connected essentially $6$-edge-connected $4$-regular simple graphs of size divisible by three with no claw-decompositions. This result provides the sharpness for two known results which say that every $5$-edge-connected graph of size divisible by three admits a claw-decomposition if it is essentially $6$-edge-connected or planar.
A subdivision algebra for a product of two simplices via flow polytopes
Published
• View Publication
• BIB
For a lattice path $ν$ from the origin to a point $(a,b)$ using steps $E=(1,0)$ and $N=(0,1)$, we construct an associated flow polytope $\mathcal{F}_{\hat{G}_B(ν)}$ arising from an acyclic graph where bidirectional edges are permitted. We show that the flow polytope $\mathcal{F}_{\hat{G}_B(ν)}$ admits a subdivision dual to a $w$-simplex, where $w$ is the number of valleys in the path $\barν = EνN$. Refinements of this subdivision can be obtained by reductions of a polynomial $P_ν$ in a generalization of Mészáros' subdivision algebra for acyclic root polytopes where negative roots are allowed. Via an integral equivalence between $\mathcal{F}_{\hat{G}_B(ν)}$ and the product of simplices $Δ_a\times Δ_b$, we thereby obtain a subdivision algebra for a product of two simplices. As a special case, we give a reduction order for reducing $P_ν$ that yields the cyclic $ν$-Tamari complex of Ceballos, Padrol, and Sarmiento.
Reconfiguration of Digraph Homomorphisms
For a fixed graph H, the H-Recoloring problem asks whether for two given homomorphisms from a graph G to H, we can transform one into the other by changing the image of a single vertex of G in each step and maintaining a homomorphism from G to H throughout. We extend an algorithm of Wrochna for H-Recoloring where H is a square-free loopless undirected graph to the more general setting of directed graphs. We obtain a polynomial-time algorithm for H-Recoloring in this setting whenever H is a loopless digraph that does not contain a 4-cycle of algebraic girth zero and whenever H is a reflexive digraph that contains neither a 3-cycle of algebraic girth 1 nor a 4-cycle of algebraic girth zero.
On the homotopy type of the iterated clique graphs of low degree
Published
• View Publication
• BIB
To any simple graph \(G\), the clique graph operator \(K\) assigns the graph \(K(G)\) which is the intersection graph of the maximal complete subgraphs of \(G\). The iterated clique graphs are defined by \(K^{0}(G)=G\) and \(K^{n}(G)=K(K^{n-1}(G))\) for \(n\geq 1\). We associate topological concepts to graphs by means of the simplicial complex \(\mathrm{Cl}(G)\) of complete subgraphs of \(G\). Hence we say that the graphs \(G_{1}\) and \(G_{2}\) are homotopic whenever \(\mathrm{Cl}(G_{1})\) and \(\mathrm{Cl}(G_{2})\) are. A graph \(G\) such that \(K^{n}(G)\simeq G\) for all \(n\geq1\) is called \emph{\(K\)-homotopy permanent}. A graph is \emph{Helly} if the collection of maximal complete subgraphs of \(G\) has the Helly property. Let \(G\) be a Helly graph. Escalante (1973) proved that \(K(G)\) is Helly, and Prisner (1992) proved that \(G\simeq K(G)\), and so Helly graphs are \(K\)-homotopy permanent. We conjecture that if a graph \(G\) satisfies that \(K^{m}(G)\) is Helly for some \(m\geq1\), then \(G\) is \(K\)-homotopy permanent. If a connected graph has maximum degree at most four and is different from the octahedral graph, we say that it is a \emph{low degree graph}. It was recently proven that all low degree graphs \(G\) satisfy that \(K^{2}(G)\) is Helly. In this paper, we show that all low degree graphs have the homotopy type of a wedge or circumferences, and that they are \(K\)-homotopy permanent.
The Hamilton compression of highly symmetric graphs
Published
• View Publication
• BIB
We say that a Hamilton cycle $C=(x_1,\ldots,x_n)$ in a graph $G$ is $k$-symmetric, if the mapping $x_i\mapsto x_{i+n/k}$ for all $i=1,\ldots,n$, where indices are considered modulo $n$, is an automorphism of $G$. In other words, if we lay out the vertices $x_1,\ldots,x_n$ equidistantly on a circle and draw the edges of $G$ as straight lines, then the drawing of $G$ has $k$-fold rotational symmetry, i.e., all information about the graph is compressed into a $360^\circ/k$ wedge of the drawing. The maximum $k$ for which there exists a $k$-symmetric Hamilton cycle in $G$ is referred to as the Hamilton compression of $G$. We investigate the Hamilton compression of four different families of vertex-transitive graphs, namely hypercubes, Johnson graphs, permutahedra and Cayley graphs of abelian groups. In several cases we determine their Hamilton compression exactly, and in other cases we provide close lower and upper bounds. The constructed cycles have a much higher compression than several classical Gray codes known from the literature. Our constructions also yield Gray codes for bitstrings, combinations and permutations that have few tracks and/or that are balanced.
On Clique Incidence Matrices and Derivatives of Clique Polynomials
The ordinary generating function of the number of complete subgraphs (cliques) of $G$, denoted by $C(G,x)$, is called the The clique polynomial of the graph $G$. In this paper, we first introduce some \emph{clique} incidence matrices associated by a simple graph $G$ as a generalization of the classical vertex-edge incidence matrix of $G$. Then, using these clique incidence matrices, we obtain two clique-counting identities that can be used for deriving two combinatorial formulas for the first and the second derivatives of clique polynomials. Finally, we conclude the paper with several open questions and conjectures about possible extensions of our main results for higher derivatives of clique polynomials.
Coloring circle arrangements: New $4$-chromatic planar graphs
Published
• View Publication
• BIB
Felsner, Hurtado, Noy and Streinu (2000) conjectured that arrangement graphs of simple great-circle arrangements have chromatic number at most $3$. Motivated by this conjecture, we study the colorability of arrangement graphs for different classes of arrangements of (pseudo-)circles.
In this paper the conjecture is verified for $\triangle$-saturated pseudocircle arrangements, i.e., for arrangements where one color class of the 2-coloring of faces consists of triangles only, as well as for further classes of (pseudo-)circle arrangements. These results are complemented by a construction which maps $\triangle$-saturated arrangements with a pentagonal face to arrangements with 4-chromatic 4-regular arrangement graphs. This "corona" construction has similarities with the crowning construction introduced by Koester (1985). Based on exhaustive experiments with small arrangements we propose three strengthenings of the original conjecture.
We also investigate fractional colorings. It is shown that the arrangement graph of every arrangement $\mathcal{A}$ of pairwise intersecting pseudocircles is "close" to being $3$-colorable. More precisely, the fractional chromatic number $χ_f(\mathcal{A})$ of the arrangement graph is bounded from above by $χ_f(\mathcal{A}) \le 3+O(\frac{1}{n})$, where $n$ is the number of pseudocircles of $\mathcal{A}$. Furthermore, we construct an infinite family of $4$-edge-critical $4$-regular planar graphs which are fractionally $3$-colorable. This disproves a conjecture of Gimbel, Kündgen, Li, and Thomassen (2019).
Kemeny's constant for a graph with bridges
Published
• View Publication
• BIB
In this paper, we determine a formula for Kemeny's constant for a graph with multiple bridges, in terms of quantities that are inherent to the subgraphs obtained upon removal of all bridges and that can be computed independently. With the formula, we consider several optimization problems for Kemeny's constant for graphs with bridges, and we remark on the computational benefit of this formula for the computation of Kemeny's constant. Finally, we discuss some potential applications.
A tight linear bound to the chromatic number of $(P_5, K_1+(K_1\cup K_3))$-free graphs
Published
• View Publication
• BIB
Let $F_1$ and $F_2$ be two disjoint graphs. The union $F_1\cup F_2$ is a graph with vertex set $V(F_1)\cup V(F_2)$ and edge set $E(F_1)\cup E(F_2)$, and the join $F_1+F_2$ is a graph with vertex set $V(F_1)\cup V(F_2)$ and edge set $E(F_1)\cup E(F_2)\cup \{xy\;|\; x\in V(F_1)\mbox{ and } y\in V(F_2)\}$. In this paper, we present a characterization to $(P_5, K_1\cup K_3)$-free graphs, prove that $χ(G)\le 2ω(G)-1$ if $G$ is $(P_5, K_1\cup K_3)$-free. Based on this result, we further prove that $χ(G)\le $max$\{2ω(G),15\}$ if $G$ is a $(P_5,K_1+( K_1\cup K_3))$-free graph, and construct an infinite family of $(P_5, K_1+( K_1\cup K_3))$-free graphs such that every graph $G$ in the family satisfies $χ(G)=2ω(G)$.
Intersection theorems for finite general linear groups
Published
• View Publication
• BIB
A subset $Y$ of the general linear group $\operatorname{GL}(n,q)$ is called $t$-intersecting if $\operatorname{rk}(x-y)\le n-t$ for all $x,y\in Y$, or equivalently $x$ and $y$ agree pointwise on a $t$-dimensional subspace of $\mathbb{F}_q^n$ for all $x,y\in Y$. We show that, if $n$ is sufficiently large compared to $t$, the size of every such $t$-intersecting set is at most that of the stabiliser of a basis of a $t$-dimensional subspace of $\mathbb{F}_q^n$. In case of equality, the characteristic vector of $Y$ is a linear combination of the characteristic vectors of the cosets of these stabilisers. We also give similar results for subsets of $\operatorname{GL}(n,q)$ that intersect not necessarily pointwise in $t$-dimensional subspaces of $\mathbb{F}_q^n$ and for cross-intersecting subsets of $\operatorname{GL}(n,q)$. These results may be viewed as variants of the classical Erdős-Ko-Rado Theorem in extremal set theory and are $q$-analogs of corresponding results known for the symmetric group. Our methods are based on eigenvalue techniques to estimate the size of the largest independent sets in graphs and crucially involve the representation theory of $\operatorname{GL}(n,q)$.
Maximal Chordal Subgraphs
Published
• View Publication
• BIB
A chordal graph is a graph with no induced cycles of length at least $4$. Let $f(n,m)$ be the maximal integer such that every graph with $n$ vertices and $m$ edges has a chordal subgraph with at least $f(n,m)$ edges. In 1985 Erdős and Laskar posed the problem of estimating $f(n,m)$. In the late '80s, Erdős, Gyárfás, Ordman and Zalcstein determined the value of $f(n,n^2/4+1)$ and made a conjecture on the value of $f(n,n^2/3+1)$. In this paper we prove this conjecture and answer the question of Erdős and Laskar, determining $f(n,m)$ asymptotically for all $m$ and exactly for $m \leq n^2/3+1$.