graph
35299 papers tagged with this keyword
A minimum-change version of the Chung-Feller theorem for Dyck paths
Published in European Journal of Combinatorics 69:260-275, 2018
• View Publication
• BIB
A Dyck path with $2k$ steps and $e$ flaws is a path in the integer lattice that starts at the origin and consists of $k$ many $\nearrow$-steps and $k$ many $\searrow$-steps that change the current coordinate by $(1,1)$ or $(1,-1)$, respectively, and that has exactly $e$ many $\searrow$-steps below the line $y=0$. Denoting by $D_{2k}^e$ the set of Dyck paths with $2k$ steps and $e$ flaws, the Chung-Feller theorem asserts that the sets $D_{2k}^0,D_{2k}^1,\ldots,D_{2k}^k$ all have the same cardinality $\frac{1}{k+1}\binom{2k}{k}=C_k$, the $k$-th Catalan number. The standard combinatorial proof of this classical result establishes a bijection $f'$ between $D_{2k}^e$ and $D_{2k}^{e+1}$ that swaps certain parts of the given Dyck path $x$, with the effect that $x$ and $f'(x)$ may differ in many positions. In this paper we strengthen the Chung-Feller theorem by presenting a simple bijection $f$ between $D_{2k}^e$ and $D_{2k}^{e+1}$ which has the additional feature that $x$ and $f(x)$ differ in only two positions (the least possible number). We also present an algorithm that allows to compute a sequence of applications of $f$ in constant time per generated Dyck path. As an application, we use our minimum-change bijection $f$ to construct cycle-factors in the odd graph $O_{2k+1}$ and the middle levels graph $M_{2k+1}$ --- two intensively studied families of vertex-transitive graphs --- that consist of $C_k$ many cycles of the same length.
On Resolvability of a Graph Associated to a Finite Vector Space
Published
• View Publication
• BIB
The metric dimension of non-component graph, associated to a finite vector space, is determined.
It is proved that the exchange property holds for resolving sets of the graph, except a special case.
Some results are also related to an intersection graph.
Co-adjoint polynomial
In this note we study a certain graph polynomial arising from a special recursion. This recursion is a member of a family of four recursions where the other three recursions belong to the chromatic polynomial, the modified matching polynomial, and the adjoint polynomial, respectively. The four polynomials share many common properties, for instance all of them are of exponential type, i. e., they satisfy the identity $$\sum_{S\subseteq V(G)}f(G[S],x)f(G[V\setminus S],y)=f(G,x+y)$$ for every graph $G$.
It turns out that the new graph polynomial is a specialization of the Tutte polynomial.
Spectral radius and fractional matchings in graphs
Published in European Journal of Combinatorics, Volume 55, 2016, Pages 144-148
• View Publication
• BIB
A {\it fractional matching} of a graph $G$ is a function $f$ giving each edge a number in $[0,1]$ so that $\sum_{e \in Γ(v)} f(e) \le 1$ for each $v\in V(G)$, where $Γ(v)$ is the set of edges incident to $v$. The {\it fractional matching number} of $G$, written $α'_*(G)$, is the maximum of $\sum_{e \in E(G)} f(e)$ over all fractional matchings $f$. Let $G$ be an $n$-vertex connected graph with minimum degree $d$, let $λ_1(G)$ be the largest eigenvalue of $G$, and let $k$ be a positive integer less than $n$. In this paper, we prove that if $λ_1(G) < d\sqrt{1+\frac{2k}{n-k}}$, then $α'_*(G) > \frac{n-k}{2}$. As a result, we prove $α'_*(G) \ge \frac{nd^2}{λ_1(G)^2 + d^2}$, we characterize when equality holds in the bound.
An explicit prime geodesic theorem for discrete tori and the hypergeometric functions
Published in Math. Z., 289 (2018) No. 1, 361 -- 376
• View Publication
• BIB
The discrete tori are graph analogues of the real tori, which are defined by the Cayley graphs of a finite product of finite cyclic groups. In this paper, using the theory of the heat kernel on the discrete tori established by Chinta, Jorgenson and Karlsson, we derive an explicit prime geodesic theorem for the discrete tori, which is not an asymptotic formula. To describe the formula, we need generalizations of the classical Jacobi polynomials, which are defined by the Lauricella multivariable hypergeometric function of type C.
Independent Sets in Classes Related to Chair/Fork-free Graphs
Published in LNCS 9602 (2016) pp. 224-232
• View Publication
• BIB
The Maximum Weight Independent Set (MWIS) problem on graphs with vertex weights asks for a set of pairwise nonadjacent vertices of maximum total weight. MWIS is known to be $NP$-complete in general, even under various restrictions. Let $S_{i,j,k}$ be the graph consisting of three induced paths of lengths $i, j, k$ with a common initial vertex. The complexity of the MWIS problem for $S_{1, 2, 2}$-free graphs, and for $S_{1, 1, 3}$-free graphs are open. In this paper, we show that the MWIS problem can solved in polynomial time for ($S_{1, 2, 2}$, $S_{1, 1, 3}$, co-chair)-free graphs, by analyzing the structure of the subclasses of this class of graphs. This extends some known results in the literature.
There is no (95,40,12,20) strongly regular graph
Published
• View Publication
• BIB
We show that there is no $(95,40,12,20)$ strongly regular graph and, consequently, there is no $(96,45,24,18)$ strongly regular graph, no two-graph on $96$ vertices, and no partial geometry $\rm{pg}(5,9,3)$. The main idea of the result is based on the star complement technique and requires a small amount of computation.
Counting surface-kernel epimorphisms from a co-compact Fuchsian group to a cyclic group with motivations from string theory and QFT
Published in Nuclear Physics B 910 (2016), 712-723
• View Publication
• BIB
Graphs embedded into surfaces have many important applications, in particular, in combinatorics, geometry, and physics. For example, ribbon graphs and their counting is of great interest in string theory and quantum field theory (QFT). Recently, Koch, Ramgoolam, and Wen [Nuclear Phys.\,B {\bf 870} (2013), 530--581] gave a refined formula for counting ribbon graphs and discussed its applications to several physics problems. An important factor in this formula is the number of surface-kernel epimorphisms from a co-compact Fuchsian group to a cyclic group. The aim of this paper is to give an explicit and practical formula for the number of such epimorphisms. As a consequence, we obtain an `equivalent' form of the famous Harvey's theorem on the cyclic groups of automorphisms of compact Riemann surfaces. Our main tool is an explicit formula for the number of solutions of restricted linear congruence recently proved by Bibak et al. using properties of Ramanujan sums and of the finite Fourier transform of arithmetic functions.
Staggered Quantum Walks on Graphs
Published in Phys. Rev. A 93, 062335 (2016)
• View Publication
• BIB
The staggered quantum walk model allows to establish an unprecedented connection between discrete-time quantum walks and graph theory. We call attention to the fact that a large subclass of the coined model is included in Szegedy's model, which in its turn is entirely included in the staggered model. In order to compare those three quantum walk models, we put them in the staggered formalism and we show that the Szegedy and coined models are defined on a special subclass of graphs. This inclusion scheme is also true when the searching framework is added. We use graph theory to characterize which staggered quantum walks can be reduced to the Szegedy or coined quantum walk model. We analyze a staggered-based search that cannot be included in Szegedy's model and we show numerically that this search is more efficient than a random-walk-based search.
On almost-planar graphs
Published
• View Publication
• BIB
A nonplanar graph G is called almost-planar if for every edge e of G, at least one of G\e and G/e is planar. In 1990, Gubser characterized 3-connected almost-planar graphs in his dissertation. However, his proof is so long that only a small portion of it was published. The main purpose of this paper is to provide a short proof of this result. We also discuss the structure of almost-planar graphs that are not 3-connected.
Toric rings and ideals of stable set polytopes
Published in Mathematics 7 (2019), 613
• View Publication
• BIB
In this paper, we discuss the normality of the toric rings of stable set polytopes, and the set of generators and Gröbner bases of toric ideals of stable set polytopes by using the results on that of edge polytopes of finite nonsimple graphs. In particular, for a graph of stability number two, we give a graph theoretical characterization of the set of generators of the toric ideal of the stable set polytope, and a criterion to check whether the toric ring of the stable set polytope is normal or not. One of the application of the results is an infinite family of stable set polytopes whose toric ideal is generated by quadratic binomials and has no quadratic Gröbner bases.
Isomorphisms of Cayley graphs on nilpotent groups
Let S be a finite generating set of a torsion-free, nilpotent group G. We show that every automorphism of the Cayley graph Cay(G;S) is affine. (That is, every automorphism of the graph is obtained by composing a group automorphism with multiplication by an element of the group.) More generally, we show that if Cay(G;S) and Cay(G';S') are connected Cayley graphs of finite valency on two nilpotent groups G and G', then every isomorphism from Cay(G;S) to Cay(G';S') factors through to a well-defined affine map from G/N to G'/N', where N and N' are the torsion subgroups of G and G', respectively. For the special case where the groups are abelian, these results were previously proved by A.A.Ryabchenko and C.Loeh, respectively.
Cubic arc-transitive $k$-circulants
Published
• View Publication
• BIB
For an integer $k\geq 1$, a graph is called a $k$-circulant if its automorphism group contains a cyclic semiregular subgroup with $k$ orbits on the vertices. We show that, if $k$ is even, there exist infinitely many cubic arc-transitive $k$-circulants. We conjecture that, if $k$ is odd, then a cubic arc-transitive $k$-circulant has order at most $6k^2$. Our main result is a proof of this conjecture when $k$ is squarefree and coprime to $6$.
Hamiltonian prisms on 5-chordal graphs
In this paper, we provide a method to find a Hamiltonian cycle in the prism of a 5-chordal graph, which is $(1+ε)$-tough, with some special conditions.
Cubic graphs and related triangulations on orientable surfaces
Published
• View Publication
• BIB
Let $\mathbb{S}_g$ be the orientable surface of genus $g$. We show that the number of vertex-labelled cubic multigraphs embeddable on $\mathbb{S}_g$ with $2n$ vertices is asymptotically $c_g n^{5(g-1)/2-1}γ^{2n}(2n)!$, where $γ$ is an algebraic constant and $c_g$ is a constant depending only on the genus $g$. We also derive an analogous result for simple cubic graphs and weighted cubic multigraphs. Additionally we prove that a typical cubic multigraph embeddable on $\mathbb{S}_g$, $g\ge 1$, has exactly one non-planar component.
Web matrices: structural properties and generating combinatorial identities
Published in Electron. J. Combin. 23 (2016), no. 1, #P1.45
• View Publication
• BIB
In this paper we present new results for the combinatorics of web diagrams and web worlds. These are discrete objects that arise in the physics of calculating scattering amplitudes in non-abelian gauge theories. Web-colouring and web-mixing matrices (collectively known as web matrices) are indexed by ordered pairs of web-diagrams and contain information relating the number of colourings of the first web diagram that will produce the second diagram.
We introduce the black diamond product on power series and show how it determines the web-colouring matrix of disjoint web worlds. Furthermore, we show that combining known physical results with the black diamond product gives a new technique for generating combinatorial identities. Due to the complicated action of the product on power series, the resulting identities appear highly non-trivial.
We present two results to explain repeated entries that appear in the web matrices. The first of these shows how diagonal web matrix entries will be the same if the comparability graphs of their associated decomposition posets are the same. The second result concerns general repeated entries in conjunction with a flipping operation on web diagrams.
We present a combinatorial proof of idempotency of the web-mixing matrices, previously established using physical arguments only. We also show how the entries of the square of the web-colouring matrix can be achieved by a linear transformation that maps the standard basis for formal power series in one variable to a sequence of polynomials. We look at one parameterized web world that is related to indecomposable permutations and show how determining the web-colouring matrix entries in this case is equivalent to a combinatorics on words problem.
Fractional Clique Decompositions of Dense Partite Graphs
Published
• View Publication
• BIB
We give a minimum degree condition sufficent to ensure the existence of a fractional $K_r$-decomposition in a balanced $r$-partite graph (subject to some further simple necessary conditions). This generalises the non-partite problem studied recently by Barber, Lo, Kühn, Osthus and the author, and the $3$-partite fractional $K_3$-decomposition problem studied recently by Dukes. Combining our result with recent work by Barber, Kühn, Lo, Osthus and Taylor, this gives a minimum degree condition sufficient to ensure the existence of a (non-fractional) $K_r$-decomposition in a balanced $r$-partite graph (subject to the same simple necessary conditions).
Clique decompositions of multipartite graphs and completion of Latin squares
Published
• View Publication
• BIB
Our main result essentially reduces the problem of finding an edge-decomposition of a balanced r-partite graph of large minimum degree into r-cliques to the problem of finding a fractional r-clique decomposition or an approximate one. Together with very recent results of Bowditch and Dukes as well as Montgomery on fractional decompositions into triangles and cliques respectively, this gives the best known bounds on the minimum degree which ensures an edge-decomposition of an r-partite graph into r-cliques (subject to trivially necessary divisibility conditions). The case of triangles translates into the setting of partially completed Latin squares and more generally the case of r-cliques translates into the setting of partially completed mutually orthogonal Latin squares.
Computing Linear Systems on Metric Graphs
Published in Journal of Symbolic Computation 87 (2018):54-67
• View Publication
• BIB
The linear system $|D|$ of a divisor $D$ on a metric graph has the structure of a cell complex. We introduce the anchor divisors and anchor cells in it - they serve as the landmarks for us to compute the f-vector of the complex and find all cells in the complex. A linear system can also be identified as a tropical convex hull of rational functions. We compute its extremal generators using the landmarks. We apply these methods to some examples - namely the canonical linear systems of some small trivalent graphs.
Mapping class group orbits of curves with self-intersections
Published
• View Publication
• BIB
We study mapping class group orbits of homotopy and isotopy classes of curves with self-intersections. We exhibit the asymptotics of the number of such orbits of curves with a bounded number of self-intersections, as the complexity of the surface tends to infinity. We also consider the minimal genus of a subsurface that contains the curve. We determine the asymptotic number of orbits of curves with a fixed minimal genus and a bounded self-intersection number, as the complexity of the surface tends to infinity. As a corollary of our methods, we obtain that most curves that are homotopic are also isotopic. Furthermore, using a theorem by Basmajian, we get a bound on the number of mapping class group orbits on a given a hyperbolic surface that can contain short curves. For a fixed length, this bound is polynomial in the signature of the surface. The arguments we use are based on counting embeddings of ribbon graphs.