graph
34763 papers tagged with this keyword
Dehn-Sommerville from Gauss-Bonnet
We give a zero curvature proof of Dehn-Sommerville for finite simple graphs. It uses a parametrized Gauss-Bonnet formula telling that the curvature of the valuation G to f_G(t)=1+f0 t + ... + fd t^(d+1) defined by the f-vector of G is the anti-derivative F of f evaluated on the unit sphere S(x). Gauss Bonnet is then parametrized, f_G(t) = sum_x F_(S(x))(t), and holds for all simplicial complexes G. The Gauss-Bonnet formula chi(G)=sum_x K(x) for Euler characteristic chi(G) is the special case t=-1. Dehn-Sommerville is equivalent to the reflection symmetry f_G(t)+(-1)^d f_G(-1-t)=0 which is equivalent to the same symmetry for F. Gauss-Bonnet therefore relates Dehn-Sommerville for G with Dehn-Sommerville for the unit spheres S(x), where it is a zero curvature condition. A class X_d of complexes for which Dehn-Sommerville holds is defined inductively by requiring chi(G)=1+(-1)^d and S(x) in X_(d-1) for all x. It starts with X_(-1)={}. Examples are simplicial spheres, including homology spheres, any odd-dimensional discrete manifold, any even-dimensional discrete manifold with chi(G)=2. It also contains non-orientable ones for which Poincar'e-duality fails or stranger spaces like spaces where the unit spheres allow for two disjoint copies of manifolds with chi(G)=1. Dehn-Sommerville is present in the Barycentric limit. It is a symmetry for the Perron-Frobenius eigenvector of the Barycentric refinement operator A. The even eigenfunctions of A^T, the Barycentric Dehn-Sommerville functionals, vanish on X like 22 f1 - 33 f2 + 40 f3 - 45f4=0 for all 4-manifolds.
Group distance magic Cartesian product of two cycles
Published in Discrete Mathematics 343 (2020)
• View Publication
• BIB
Let $G=(V,E)$ be a graph and $Γ$ an Abelian group both of order $n$. A $Γ$-distance magic labeling of $G$ is a bijection $\ell \colon V\rightarrow Γ$ for which there exists $μ\in Γ$ such that $% \sum_{x\in N(v)}\ell (x)=μ$ for all $v\in V$, where $N(v)$ is the neighborhood of $v$. Froncek %(\cite{ref_CicAus}) showed that the Cartesian product $C_m \square C_n$, $m, n\geq3$ is a $\mathbb{Z}_{mn}$-distance magic graph if and only if $mn$ is even. It is also known that if $mn$ is even then $C_m \square C_n$ has $\mathbb{Z}_α\times \mathcal{A}$-magic labeling for any $α\equiv 0 \pmod {{\rm lcm}(m,n)}$ and any Abelian group $\mathcal{A}$ of order $mn/α$. %\cite{ref_CicAus} However, the full characterization of group distance magic Cartesian product of two cycles is still unknown.
In the paper we make progress towards the complete solution this problem by proving some necessary conditions. We further prove that for $n$ even the graph $C_{n}\square C_{n}$ has a $Γ$-distance magic labeling for any Abelian group $Γ$ of order $n^{2}$. Moreover we show that if $m\neq n$, then there does not exist a $(\mathbb{Z}_2)^{m+n}$-distance magic labeling of the Cartesian product $C_{2^m} \square C_{2^{n}}$. We also give necessary and sufficient condition for $C_{m} \square C_{n}$ with $\gcd(m,n)=1$ to be $Γ$-distance magic.
Metric dimension of combinatorial game graphs
The study of combinatorial games is intimately tied to the study of graphs, as any game can be realized as a directed graph in which players take turns traversing the edges until reaching a sink. However, there have heretofore been few efforts towards analyzing game graphs using graph theoretic metrics and techniques. A set $S$ of vertices in a graph $G$ resolves $G$ if every vertex in $G$ is uniquely determined by the vector of its distances from the vertices in $S$. A metric basis of $G$ is a smallest resolving set and the metric dimension is the cardinality of a metric basis. In this article we examine the metric dimension of the graphs resulting from some rulesets, including both short games (those which are sure to end after finitely many turns) and loopy games (those games for which the associated graph contains cycles).
Identifying codes in line digraphs
Given an integer $\ell\ge 1$, a $(1,\le \ell)$-identifying code in a digraph is a dominating subset $C$ of vertices such that all distinct subsets of vertices of cardinality at most $\ell$ have distinct closed in-neighbourhood within $C$. In this paper, we prove that every $k$-iterated line digraph of minimum in-degree at least 2 and $k\geq2$, or minimum in-degree at least 3 and $k\geq1$, admits a $(1,\le \ell)$-identifying code with $\ell\leq2$, and in any case it does not admit a $(1,\le \ell)$-identifying code for $\ell\geq3$. Moreover, we find that the identifying number of a line digraph is lower bounded by the size of the original digraph minus its order. Furthermore, this lower bound is attained for oriented graphs of minimum in-degree at least 2.
Partitioning infinite hypergraphs into few monochromatic Berge-paths
Extending a result of Rado to hypergraphs, we prove that for all $s, k, t \in \mathbb{N}$ with $k \geq t \geq 2$, the vertices of every $r = s(k-t+1)$-edge-coloured countably infinite complete $k$-graph can be partitioned into the cores of at most $s$ monochromatic $t$-tight Berge-paths of different colours. We further describe a construction showing that this result is best possible.
Bijective proofs of skew Schur polynomial factorizations
Published in Journal of Combinatorial Theory, Series A Volume 174, August 2020, 105241, 40pp
• View Publication
• BIB
In a recent paper, Ayyer and Behrend present for a wide class of partitions factorizations of Schur polynomials with an even number of variables where half of the variables are the reciprocals of the others into symplectic and/or orthogonal group characters, thereby generalizing results of Ciucu and Krattenthaler for rectangular shapes. Their proofs proceed by manipulations of determinants underlying the characters. The purpose of the current paper is to provide bijective proofs of such factorizations. The quantities involved have known combinatorial interpretations in terms of Gelfand-Tsetlin patterns of various types or half Gelfand-Tsetlin patterns, which can in turn be transformed into perfect matchings of weighted trapezoidal honeycomb graphs. An important ingredient is then Ciucu's theorem for graphs with reflective symmetry. However, before being able to apply it, we need to employ a certain averaging procedure in order to achieve symmetric edge weights. This procedure is based on a "randomized" bijection, which can however also be turned into a classical bijection. For one type of Schur polynomial factorization, we also need an additional graph operation that almost doubles the underlying graph. Finally, our combinatorial proofs reveal that the factorizations under consideration can in fact also be generalized to skew shapes as discussed at the end of the paper.
Books versus triangles at the extremal density
A celebrated result of Mantel shows that every graph on $n$ vertices with $\lfloor n^2/4 \rfloor + 1$ edges must contain a triangle. A robust version of this result, due to Rademacher, says that there must in fact be at least $\lfloor n/2 \rfloor$ triangles in any such graph. Another strengthening, due to the combined efforts of many authors starting with Erdős, says that any such graph must have an edge which is contained in at least $n/6$ triangles. Following Mubayi, we study the interplay between these two results, that is, between the number of triangles in such graphs and their book number, the largest number of triangles sharing an edge. Among other results, Mubayi showed that for any $1/6 \leq β< 1/4$ there is $γ> 0$ such that any graph on $n$ vertices with at least $\lfloor n^2/4\rfloor + 1$ edges and book number at most $βn$ contains at least $(γ-o(1))n^3$ triangles. He also asked for a more precise estimate for $γ$ in terms of $β$. We make a conjecture about this dependency and prove this conjecture for $β= 1/6$ and for $0.2495 \leq β< 1/4$, thereby answering Mubayi's question in these ranges.
Fractional matching preclusion for restricted hypercube-like graphs
Published
• View Publication
• BIB
The restricted hypercube-like graphs, variants of the hypercube, were proposed as desired interconnection networks of parallel systems. The matching preclusion number of a graph is the minimum number of edges whose deletion results in the graph with neither perfect matchings nor almost perfect matchings. The fractional perfect matching preclusion and fractional strong perfect matching preclusion are generalizations of the concept matching preclusion. In this paper, we obtain fractional matching preclusion number and fractional strong matching preclusion numbers of restricted hypercube-like graphs, which extend some known results.
Monochromatic connected matchings in 2-edge-colored multipartite graphs
A matching $M$ in a graph $G$ is connected if all the edges of $M$ are in the same component of $G$. Following Łuczak,there have been many results using the existence of large connected matchings in cluster graphs with respect to regular partitions of large graphs to show the existence of long paths and other structures in these graphs. We prove exact
Ramsey-type bounds on the sizes of monochromatic connected matchings in $2$-edge-colored multipartite graphs. In addition, we prove a stability theorem for such matchings.
Long monochromatic paths and cycles in 2-edge-colored multipartite graphs
We solve four similar problems: For every fixed $s$ and large $n$, we describe all values of $n_1,\ldots,n_s$ such that for every $2$-edge-coloring of the complete $s$-partite graph $K_{n_1,\ldots,n_s}$ there exists a monochromatic (i) cycle $C_{2n}$ with $2n$ vertices, (ii) cycle $C_{\geq 2n}$ with at least $2n$ vertices, (iii) path $P_{2n}$ with $2n$ vertices, and (iv) path $P_{2n+1}$ with $2n+1$ vertices.
This implies a generalization for large $n$ of the conjecture by Gyárfás, Ruszinkó, Sárkőzy and Szemerédi that for every $2$-edge-coloring of the complete $3$-partite graph $K_{n,n,n}$ there is a monochromatic path $P_{2n+1}$. An important tool is our recent stability theorem on monochromatic connected matchings.
A construction for clique-free pseudorandom graphs
A construction of Alon and Krivelevich gives highly pseudorandom $K_k$-free graphs on $n$ vertices with edge density equal to $Θ(n^{-1/(k -2)})$. In this short note we improve their result by constructing an infinite family of highly pseudorandom $K_k$-free graphs with a higher edge density of $Θ(n^{-1/(k - 1)})$.
A note on spanning $K_r$-cycles in random graphs
We find the threshold for the existence of a collection of edge disjoint copies of $K_r$ that form a cyclic structure and span all vertices of $G_{n,p}$. We use a recent result of Riordan to give a two line proof of the main result.
Orbits of Hamiltonian Paths and Cycles in Complete Graphs
Published in Journal of Integer Sequences, Vol.23 (2020)
• Search Publication
We enumerate certain geometric equivalence classes of subgraphs induced by Hamiltonian paths and cycles in complete graphs. Said classes are orbits under the action of certain direct products of dihedral and cyclic groups on sets of strings representing subgraphs. These orbits are enumerated using Burnside's lemma. The technique used also provides an alternative proof of the formulae found by S. W. Golomb and L. R. Welch which give the number of distinct $n$-gons on fixed, regularly spaced vertices up to rotation and optionally reflection.
Spectrum of some arrow-bordered circulant matrix
Given a circulant matrix $\mathrm{circ}(c,a,0,0,...,0,a)$, $a\ne 0$, of order~$n$, we ``border'' it from left and from above by constant column and row, respectively, and we set the left top entry to be $-nc$. This way we get a~particular title object, an example of what we call an \textit{abc matrix\/}, or an \textit{arrow-bordered circulant (matrix)\/}. We find its eigenpairs and we discuss its spectrum with stress on extreme eigenvalues and their bounds. At last we notice its relation to a~weighted wheel graph
Triangle-creation processes on cubic graphs
An edge switch is an operation which makes a local change in a graph while maintaining the degree of every vertex. We introduce a switch move, called a triangle switch, which creates or deletes at least one triangle. Specifically, a make move is a triangle switch which chooses a path $zwvxy$ of length 4 and replaces it by a triangle $vxwv$ and an edge $yz$, while a break move performs the reverse operation. We consider various Markov chains which perform random triangle switches, and assume that every possible make or break move has positive probability of being performed.
Our first result is that any such Markov chain is irreducible on the set of all 3-regular graphs with vertex set $\{1,2,\ldots, n\}$. For a particular, natural Markov chain of this type,
we obtain a non-trivial linear upper and lower bounds on the number of triangles in the long run. These bounds are almost surely obtained in linear time, irrespective of the starting graph.
On the conjecture of bijection between perfect matching and sub-hypercube in folded hypercubes
Dong and Wang in [Theor. Comput. Sci. 771 (2019) 93--98] conjectured that the resulting graph of the $n$-dimensional folded hypercube $FQ_n$ by deleting any perfect matching is isomorphic to the hypercube $Q_n$. In this paper, we show that the conjecture holds when $n=2,3$, and it is not true for $n\geq4$.
Perfect Pseudo-Matchings in cubic graphs
A perfect pseudo-matching M in a cubic graph G is a spanning subgraph of G such that every component of M is isomorphic to K_2 or to K_1,3.
In view of snarks G with dominating cycle C, this is a natural generalization of perfect matchings since G-E(C) is a perfect pseudo-matching.
Of special interest are such M where the graph G/M is planar because such G have a cycle double cover. We show that various well known classes of snarks contain planarizing perfect pseudo-matchings, and that there are at least as many snarks with planarizing perfect pseudo-matchings as there are cyclically 5-edge-connected snarks.
Inverse sum indeg energy of graphs
Suppose G is an n-vertex simple graph with vertex set {v1,..., vn} and d(i), i = 1,..., n, is the degree of vertex vi in G. The ISI matrix S(G) = [sij] of G is a square matrix of order n and is defined by sij = d(i)d(j)/d(i)+d(j) if the vertices vi and vj are adjacent and sij = 0 otherwise. The S-eigenvalues of G are the eigenvalues of its ISI matrix S(G). Recently the notion of inverse sum indeg (henceforth, ISI) energy of graphs is introduced and is defined as the sum of absolute values of S-eigenvalues of graph G. We give ISI energy formula of some graph classes. We also obtain some bounds for ISI energy of graphs.
The $r$-matching sequencibility of complete multi-$k$-partite $k$-graphs
Alspach [{\sl Bull. Inst. Combin. Appl.}~{\bf 52} (2008), 7--20] defined the maximal matching sequencibility of a graph $G$, denoted~$ms(G)$, to be the largest integer $s$ for which there is an ordering of the edges of $G$ such that every $s$ consecutive edges form a matching. In this paper, we consider the natural analogue for hypergraphs of this and related results and determine $ms(λ\mathcal{K}_{n_1,\ldots, n_k})$ where $λ\mathcal{K}_{n_1,\ldots, n_k}$ denotes the multi-$k$-partite $k$-graph with edge multiplicity $λ$ and parts of sizes $n_1,\ldots,n_k$, respectively. It turns out that these invariants may be given surprisingly precise and somewhat elegant descriptions, in a much more general setting.
Strong metric dimension of generalized Jahangir graph
Let $G$ be a simple and connected graph with vertex set $V(G)$. A vertex $w\in V(G)$ strongly resolves two vertices $u,v \in V(G)$ if $v$ belongs to a shortest $u-w$ path or $u$ belongs to a shortest $v-w$ path. A set $W \subseteq V(G)$ is a strong resolving set for $G$ if every pair of vertices of $G$ is strongly resolved by some vertex of $W$. A strong metric basis of $G$ is a strong resolving set for $G$ with minimum cardinality. The strong metric dimension of $G$, denoted by $sdim(G)$, is the cardinality of a strong metric basis of $G$. In this paper we compute the strong metric dimension of generalized Jahangir graph $J(n,m)$, where $m\geq 3$ and $n\geq 2$.