graph
35396 papers tagged with this keyword
Tutte polynomials of hyperplane arrangements and the finite field method
Published
• View Publication
• BIB
The Tutte polynomial is a fundamental invariant associated to a graph, matroid, vector arrangement, or hyperplane arrangement. This short survey focuses on some of the most important results on Tutte polynomials of hyperplane arrangements. We show that many enumerative, algebraic, geometric, and topological invariants of a hyperplane arrangement can be expressed in terms of its Tutte polynomial. We also show that, even if one is only interested in computing the Tutte polynomial of a graph or a matroid, the theory of hyperplane arrangements provides a powerful finite field method for this computation.
Supersaturation Problem for the Bowtie
Published
• View Publication
• BIB
The Turán function $ex(n,F)$ denotes the maximal number of edges in an $F$-free graph on $n$ vertices. We consider the function $h_F(n,q)$, the minimal number of copies of $F$ in a graph on $n$ vertices with $ex(n,F)+q$ edges. The value of $h_F(n,q)$ has been extensively studied when $F$ is bipartite or colour-critical. In this paper we investigate the simplest remaining graph $F$, namely, two triangles sharing a vertex, and establish the asymptotic value of $h_F(n,q)$ for $q=o(n^2)$.
A new upper bound on the game chromatic index of graphs
Published
• View Publication
• BIB
We study the two-player game where Maker and Breaker alternately color the edges of a given graph $G$ with $k$ colors such that adjacent edges never get the same color. Maker's goal is to play such that at the end of the game, all edges are colored. Vice-versa, Breaker wins as soon as there is an uncolored edge where every color is blocked. The game chromatic index $χ'_g(G)$ denotes the smallest $k$ for which Maker has a winning strategy.
The trivial bounds $Δ(G) \le χ_g'(G) \le 2Δ(G)-1$ hold for every graph $G$, where $Δ(G)$ is the maximum degree of $G$. In 2008, Beveridge, Bohman, Frieze, and Pikhurko proved that for every $δ>0$ there exists a constant $c>0$ such that $χ'_g(G) \le (2-c)Δ(G)$ holds for any graph with $Δ(G) \ge (\frac{1}{2}+δ)v(G)$, and conjectured that the same holds for every graph $G$. In this paper, we show that $χ'_g(G) \le (2-c)Δ(G)$ is true for all graphs $G$ with $Δ(G) \ge C \log v(G)$. In addition, we consider a biased version of the game where Breaker is allowed to color $b$ edges per turn and give bounds on the number of colors needed for Maker to win this biased game.
Partial characterization of graphs having a single large Laplacian eigenvalue
Published
• View Publication
• BIB
The parameter $σ(G)$ of a graph $G$ stands for the number of Laplacian eigenvalues greater than or equal to the average degree of $G$. In this work, we address the problem of characterizing those graphs $G$ having $σ(G)=1$. Our conjecture is that these graphs are stars plus a (possible empty) set of isolated vertices. We establish a link between $σ(G)$ and the number of anticomponents of $G$. As a by-product, we present some results which support the conjecture, by restricting our analysis to some classes of graphs.
Random numerical semigroups and a simplicial complex of irreducible semigroups
Published
• View Publication
• BIB
We examine properties of random numerical semigroups under a probabilistic model inspired by the Erdos-Renyi model for random graphs. We provide a threshold function for cofiniteness, and bound the expected embedding dimension, genus, and Frobenius number of random semigroups. Our results follow, surprisingly, from the construction of a very natural shellable simplicial complex whose facets are in bijection with irreducible numerical semigroups of a fixed Frobenius number and whose $h$-vector determines the probability that a particular element lies in the semigroup.
Generalised Mycielski graphs and the Borsuk-Ulam theorem
Published in Electronic Journal of Combinatorics 26(4) (2019) #P4.81
• View Publication
• BIB
Stiebitz determined the chromatic number of generalised Mycielski graphs using the topological method of Lovasz, which invokes the Borsuk-Ulam theorem. Van Ngoc and Tuza used elementary combinatorial arguments to prove Stiebitz's theorem for 4-chromatic generalised Mycielski graphs, and asked if there is also an elementary combinatorial proof for higher chromatic number. We answer their question by showing that Stiebitz's theorem can be deduced from a version of Fan's combinatorial lemma. Our proof uses topological terminology, but is otherwise completely discrete and could be rewritten to avoid topology altogether. However, doing so would be somewhat artificial, because we also show that Stiebitz's theorem is equivalent to the Borsuk-Ulam theorem.
Spectral gaps and discrete magnetic Laplacians
Published in Linear Algebra and its Applications 547 (2018) 183-216
• View Publication
• BIB
The aim of this article is to give a simple geometric condition that guarantees the existence of spectral gaps of the discrete Laplacian on periodic graphs. For proving this, we analyse the discrete magnetic Laplacian (DML) on the finite quotient and interpret the vector potential as a Floquet parameter. We develop a procedure of virtualising edges and vertices that produces matrices whose eigenvalues (written in ascending order and counting multiplicities) specify the bracketing intervals where the spectrum of the Laplacian is localised. We prove Higuchi-Shirai's conjecture for Z-periodic trees and apply our technique in several examples like the polypropylene or the polyacetylene to show the existence spectral gaps.
Relationships between cycle spaces, gain graphs, graph coverings, fundamental groups, path homology, and graph curvature
We prove a homology vanishing theorem for graphs with positive Bakry-Émery curvature, analogous to a classic result of Bochner on manifolds \cite{Bochner}. Specifically, we prove that if a graph has positive curvature at every vertex, then its first homology group is trivial, where the notion of homology that we use for graphs is the path homology developed by Grigor'yan, Lin, Muranov, and Yau \cite{Grigoryan2}. %\Hm{added the fundamental group curvature relation} We moreover prove that the fundamental group is finite for graphs with positive Bakry-Émery curvature, analogous to a classic result of Myers on manifolds \cite{Myers1941}. The proofs draw on several separate areas of graph theory. We study graph coverings, gain graphs, and cycle spaces of graphs, in addition to the Bakry-Émery curvature and the path homology. The main results follow as a consequence of several different relationships developed among these different areas. Specifically, we show that a graph with positive curvature can have no non-trivial infinite cover preserving 3-cycles and 4-cycles, and give a combinatorial interpretation of the first path homology in terms of the cycle space of a graph. We relate cycle spaces of graphs to gain graphs with abelian gain group, and relate these to coverings of graphs. Along the way, we prove other new facts about gain graphs, coverings, and cycles spaces that are of related interest. Furthermore, we relate gain graphs to graph homotopy and the fundamental group developed by Grigor'yan, Lin, Muranov, and Yau \cite{Grigoryan_homotopy}, and obtain an alternative proof to their result that the abelianization of the fundamental group is isomorphic to the first path homology over the integers.
Hamiltonicity in random graphs is born resilient
Published
• View Publication
• BIB
Let $\{G_M\}_{M\geq 0}$ be the random graph process, where $G_0$ is the empty graph on $n$ vertices and subsequent graphs in the sequence are obtained by adding a new edge uniformly at random. For each $\varepsilon>0$, we show that, almost surely, any graph $G_M$ with minimum degree at least 2 is not only Hamiltonian (as shown by Bollobás), but remains Hamiltonian despite the removal of any set of edges, as long as at most $(1/2-\varepsilon)$ of the edges incident to each vertex are removed. We say that such a graph is $(1/2-\varepsilon)$-resiliently Hamiltonian. Furthermore, for each $ε>0$, we show that, almost surely, each graph $G_M$ is not $(1/2+\varepsilon)$-resiliently Hamiltonian. These results strengthen those by Lee and Sudakov on the likely resilience of Hamiltonicity in the binomial random graph.
For each $k$, we denote by $G^{(k)}$ the (possibly empty) maximal subgraph with minimum degree at least $k$ of a graph $G$. That is, the $k$-core of $G$. Krivelevich, Lubetzky and Sudakov have shown that, for each $k\geq 15$, in almost every random graph process $\{G_M\}_{M\geq 0}$, every non-empty $k$-core is Hamiltonian. We show that, for each $\varepsilon>0$ and $k\geq k_0(\varepsilon)$, in almost every random graph process $\{G_M\}_{M\geq 0}$, every non-empty $k$-core is $(1/2-\varepsilon)$-resiliently Hamiltonian, but not $(1/2+\varepsilon)$-resiliently Hamiltonian.
Solving Two Conjectures regarding Codes for Location in Circulant Graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (January 8, 2019) dmtcs:3973
• View Publication
• BIB
Identifying and locating-dominating codes have been widely studied in circulant graphs of type $C_n(1,2, \ldots, r)$, which can also be viewed as power graphs of cycles. Recently, Ghebleh and Niepel (2013) considered identification and location-domination in the circulant graphs $C_n(1,3)$. They showed that the smallest cardinality of a locating-dominating code in $C_n(1,3)$ is at least $\lceil n/3 \rceil$ and at most $\lceil n/3 \rceil + 1$ for all $n \geq 9$. Moreover, they proved that the lower bound is strict when $n \equiv 0, 1, 4 \pmod{6}$ and conjectured that the lower bound can be increased by one for other $n$. In this paper, we prove their conjecture. Similarly, they showed that the smallest cardinality of an identifying code in $C_n(1,3)$ is at least $\lceil 4n/11 \rceil$ and at most $\lceil 4n/11 \rceil + 1$ for all $n \geq 11$. Furthermore, they proved that the lower bound is attained for most of the lengths $n$ and conjectured that in the rest of the cases the lower bound can improved by one. This conjecture is also proved in the paper. The proofs of the conjectures are based on a novel approach which, instead of making use of the local properties of the graphs as is usual to identification and location-domination, also manages to take advantage of the global properties of the codes and the underlying graphs.
The heptagon-wheel cocycle in the Kontsevich graph complex
Published in J. Nonlin. Math. Phys. (2017) Vol.24 Suppl.1, 157--173
• View Publication
• BIB
The real vector space of non-oriented graphs is known to carry a differential graded Lie algebra structure. Cocycles in the Kontsevich graph complex, expressed using formal sums of graphs on $n$ vertices and $2n-2$ edges, induce -- under the orientation mapping -- infinitesimal symmetries of classical Poisson structures on arbitrary finite-dimensional affine real manifolds. Willwacher has stated the existence of a nontrivial cocycle that contains the $(2\ell+1)$-wheel graph with a nonzero coefficient at every $\ell\in\mathbb{N}$. We present detailed calculations of the differential of graphs; for the tetrahedron and pentagon-wheel cocycles, consisting at $\ell = 1$ and $\ell = 2$ of one and two graphs respectively, the cocycle condition $d(γ) = 0$ is verified by hand. For the next, heptagon-wheel cocycle (known to exist at $\ell = 3$), we provide an explicit representative: it consists of 46 graphs on 8 vertices and 14 edges.
Volumes and Ehrhart polynomials of flow polytopes
The Lidskii formula for the type $A_n$ root system expresses the volume and Ehrhart polynomial of the flow polytope of the complete graph with nonnegative integer netflows in terms of Kostant partition functions. For every integer polytope the volume is the leading coefficient of the Ehrhart polynomial. The beauty of the Lidskii formula is the revelation that for these polytopes its Ehrhart polynomial function can be deduced from its volume function! Baldoni and Vergne generalized Lidskii's result for flow polytopes of arbitrary graphs $G$ and nonnegative integer netflows. While their formulas are combinatorial in nature, their proofs are based on residue computations. In this paper we construct canonical polytopal subdivisions of flow polytopes which we use to prove the Baldoni-Vergne-Lidskii formulas. In contrast with the original computational proof of these formulas, our proof reveal their geometry and combinatorics. We conclude by exhibiting enumerative properties of the Lidskii formulas via our canonical polytopal subdivisions.
On the smallest snarks with oddness 4 and connectivity 2
Published in Electron. J. Comb. 25(2) (2018)
• View Publication
• BIB
A snark is a bridgeless cubic graph which is not 3-edge-colourable. The oddness of a bridgeless cubic graph is the minimum number of odd components in any 2-factor of the graph.
Lukot'ka, Mácajová, Mazák and Škoviera showed in [Electron. J. Combin. 22 (2015)] that the smallest snark with oddness 4 has 28 vertices and remarked that there are exactly two such graphs of that order. However, this remark is incorrect as -- using an exhaustive computer search -- we show that there are in fact three snarks with oddness 4 on 28 vertices. In this note we present the missing snark and also determine all snarks with oddness 4 up to 34 vertices.
Resonance Graphs and Perfect Matchings of Graphs on Surfaces
Published in Graphs Combin. 39 (2023), article no. 68
• View Publication
• BIB
Let $G$ be a graph embedded in a surface and let $\mathcal F$ be a set of even faces of $G$ (faces bounded by a cycle of even length). The resonance graph of $G$ with respect to $\mathcal F$, denoted by $R(G;\mathcal F)$, is a graph such that its vertex set is the set of all perfect matchings of $G$ and two vertices $M_1$ and $M_2$ are adjacent to each other if and only if the symmetric difference $M_1\oplus M_2$ is a cycle bounding some face in $\mathcal F$. It has been shown that if $G$ is a matching-covered plane bipartite graph, the resonance graph of $G$ with respect to the set of all inner faces is isomorphic to the covering graph of a distributive lattice. It is evident that the resonance graph of a plane graph $G$ with respect to an even-face set $\mathcal F$ may not be the covering graph of a distributive lattice. In this paper, we show the resonance graph of a graph $G$ on a surface with respect to a given even-face set $\mathcal F$ can always be embedded into a hypercube as an induced subgraph. Furthermore, we show that the Clar covering polynomial of $G$ with respect to $\mathcal F$ is equal to the cube polynomial of the resonance graph $R(G;\mathcal F)$, which generalizes previous results on some subfamilies of plane graphs.
Resilience of Perfect Matchings and Hamiltonicity in Random Graph Processes
Published
• View Publication
• BIB
Let $\{G_i\}$ be the random graph process: starting with an empty graph $G_0$ with $n$ vertices, in every step $i \geq 1$ the graph $G_i$ is formed by taking an edge chosen uniformly at random among the non-existing ones and adding it to the graph $G_{i - 1}$. The classical `hitting-time' result of Ajtai, Komlós, and Szemerédi, and independently Bollobás, states that asymptotically almost surely the graph becomes Hamiltonian as soon as the minimum degree reaches $2$, that is if $δ(G_i) \ge 2$ then $G_i$ is Hamiltonian. We establish a resilience version of this result. In particular, we show that the random graph process almost surely creates a sequence of graphs such that for $m \geq (\tfrac{1}{6} + o(1))n\log n$ edges, the $2$-core of the graph $G_m$ remains Hamiltonian even after an adversary removes $(\tfrac{1}{2} - o(1))$-fraction of the edges incident to every vertex. A similar result is obtained for perfect matchings.
Heptavalent symmetric graphs with solvable stabilizers admitting vertex-transitive non-abelian simple groups
A graph $Γ$ is said to be symmetric if its automorphism group $\rm Aut(Γ)$ acts transitively on the arc set of $Γ$. In this paper, we show that if $Γ$ is a finite connected heptavalent symmetric graph with solvable stabilizer admitting a vertex-transitive non-abelian simple group $G$ of automorphisms, then either $G$ is normal in $\rm Aut(Γ)$, or $\rm Aut(Γ)$ contains a non-abelian simple normal subgroup $T$ such that $G\leq T$ and $(G,T)$ is explicitly given as one of $11$ possible exception pairs of non-abelian simple groups. Furthermore, if $G$ is regular on the vertex set of $Γ$ then the exception pair $(G,T)$ is one of $7$ possible pairs, and if $G$ is arc-transitive then the exception pair $(G,T)=(A_{17},A_{18})$ or $(A_{35},A_{36})$.
Domination game on uniform hypergraphs
In this paper we introduce and study the domination game on hypergraphs. This is played on a hypergraph $\mathcal{H}$ by two players, namely Dominator and Staller, who alternately select vertices such that each selected vertex enlarges the set of vertices dominated so far. The game is over if all vertices of $\mathcal{H}$ are dominated. Dominator aims to finish the game as soon as possible, while Staller aims to delay the end of the game. If each player plays optimally and Dominator starts, the length of the game is the invariant `game domination number' denoted by $γ_g(\mathcal{H})$. This definition is the generalization of the domination game played on graphs and it is a special case of the transversal game on hypergraphs. After some basic general results, we establish an asymptotically tight upper bound on the game domination number of $k$-uniform hypergraphs. In the remaining part of the paper we prove that $γ_g(\mathcal{H}) \le 5n/9$ if $\mathcal{H}$ is a 3-uniform hypergraph of order $n$ and does not contain isolated vertices. This also implies the following new result for graphs: If $G$ is an isolate-free graph on $n$ vertices and each of its edges is contained in a triangle, then $γ_g(G) \le 5n/9$.
A Near Proof of Weak Graph Positivity, A New Property of Random Regular Graphs
One deals with r-regular bipartite graphs with 2n vertices. In a previous paper Butera, Pernici, and the author have introduced a quantity d(i), a function of the number of i-matchings, and conjectured that as n goes to infinity the fraction of graphs that satisfy Delta^k d(i) for all k and i, approaches 1. Here Delta is the finite difference operator. This conjecture we called the 'graph positivity conjecture'.
In this paper it is formally shown that for each i and k the probability that Delta^k d(i) goes to 1 with n going to infinity.
We call this weaker result the 'weak graph positivity conjecture ( theorem )'.
A formalism of Wanless as systematized by Pernici is central to this effort.
Our result falls short of being a rigorous proof since we make a sweeping conjecture ( computer tested ), of which we so far have only a portion of the proof.
The graph theory general position problem on some interconnection networks
Published
• View Publication
• BIB
Given a graph $G$, the (graph theory) general position problem is to find the maximum number of vertices such that no three vertices lie on a common geodesic. This graph invariant is called the general position number (gp-number for short) of $G$ and denoted by ${\rm gp}(G)$. In this paper, the gp-number is determined for a large class of subgraphs of the infinite grid graph and for the infinite diagonal grid. To derive these results, we introduce monotone-geodesic labeling and prove a Monotone Geodesic Lemma that is in turn developed using the Erdös-Szekeres theorem on monotone sequences. The gp-number of the 3-dim infinite grid is bounded. Using isometric path covers, the gp-number is also determined for Beneš networks.
Upper and lower bounds for rich lines in grids
Published
• View Publication
• BIB
We prove upper and lower bounds for the number of lines in general position that are rich in a Cartesian product point set. This disproves a conjecture of Solymosi and improves work of Elekes, Borenstein and Croot, and Amirkhanyan, Bush, Croot, and Pryby.
The upper bounds are based on a version of the asymmetric Balog-Szemeredi-Gowers theorem for group actions combined with product theorems for the affine group. The lower bounds are based on a connection between rich lines in Cartesian product sets and amenability (or expanding families of graphs in the finite field case).
As an application of our upper bounds for rich lines in grids, we give a geometric proof of the asymmetric sum-product estimates of Bourgain and Shkredov.