graph
34828 papers tagged with this keyword
Dual Polar Graphs, a nil-DAHA of Rank One, and Non-Symmetric Dual q-Krawtchouk Polynomials
Published in SIGMA 14 (2018), 009, 27 pages
• View Publication
• BIB
Let $Γ$ be a dual polar graph with diameter $D \geqslant 3$, having as vertices the maximal isotropic subspaces of a finite-dimensional vector space over the finite field $\mathbb{F}_q$ equipped with a non-degenerate form (alternating, quadratic, or Hermitian) with Witt index $D$. From a pair of a vertex $x$ of $Γ$ and a maximal clique $C$ containing $x$, we construct a $2D$-dimensional irreducible module for a nil-DAHA of type $(C^{\vee}_1, C_1)$, and establish its connection to the generalized Terwilliger algebra with respect to $x$, $C$. Using this module, we then define the non-symmetric dual $q$-Krawtchouk polynomials and derive their recurrence and orthogonality relations from the combinatorial points of view. We note that our results do not depend essentially on the particular choice of the pair $x$, $C$, and that all the formulas are described in terms of $q$, $D$, and one other scalar which we assign to $Γ$ based on the type of the form.
NC Algorithms for Weighted Planar Perfect Matching and Related Problems
Consider a planar graph $G=(V,E)$ with polynomially bounded edge weight function $w:E\to [0, poly(n)]$. The main results of this paper are NC algorithms for the following problems:
- minimum weight perfect matching in $G$,
- maximum cardinality and maximum weight matching in $G$ when $G$ is bipartite,
- maximum multiple-source multiple-sink flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function,
- minimum weight $f$-factor in $G$ where $f:V\to [1, poly(n)]$,
- min-cost flow in $G$ where $c:E\to [1, poly(n)]$ is a polynomially bounded edge capacity function and $b:V\to [1, poly(n)]$ is a polynomially bounded vertex demand function.
There have been no known NC algorithms for any of these problems previously (Before this and independent paper by Anari and Vazirani). In order to solve these problems we develop a new relatively simple but versatile framework that is combinatorial in spirit. It handles the combinatorial structure of matchings directly and needs to only know weights of appropriately defined matchings from algebraic subroutines.
Chromatic number, Clique number, and Lovász's bound: In a comparison
In the way of proving Kneser's conjecture, László Lovász settled out a new lower bound for the chromatic number. He showed that if neighborhood complex $\mathcal{N}(G)$ of a graph $G$ is topologically $k$-connected, then its chromatic number is at least $k+3$. Then he completed his proof by showing that this bound is tight for the Kneser graph. However, there are some graphs where this bound is not useful at all, even comparing by the obvious bound; the clique number. For instance, if a graph contains no complete bipartite graph $\mathcal{K}_{l, m}$, then its Lovász's bound is at most $l+m-1$. But, it can have an arbitrarily large chromatic number.
In this note, we present new graphs showing that the gaps between the chromatic number, the clique number, and the Lovász bound can be arbitrarily large. More precisely, for given positive integers $l, m$ and $2\leq p\leq q$, we construct a connected graph which contains a copy of $\mathcal{K}_{l,m}$, and its chromatic number, clique number, and Lovász's bound are $q$, $p$, and $3$, respectively.
The size of $3$-uniform hypergraphs with given matching number and codegree
Published
• View Publication
• BIB
Determine the size of $r$-graphs with given graph parameters is an interesting problem. Chvátal and Hanson (JCTB, 1976) gave a tight upper bound of the size of 2-graphs with restricted maximum degree and matching number; Khare (DM, 2014) studied the same problem for linear $3$-graphs with restricted matching number and maximum degree. In this paper, we give a tight upper bound of the size of $3$-graphs with bounded codegree and matching number.
On the distribution of monochromatic complete subgraphs and arithmetic progressions
Published
• View Publication
• BIB
We investigate the distributions of the number of: (1) monochromatic complete subgraphs over edgewise 2-colorings of complete graphs; and (2) monochromatic arithmetic progressions over 2-colorings of intervals, as statistical Ramsey theory questions. We present convincing evidence that both distributions are very well-approximated by the Delaporte distribution.
Bidirected Graphs I: Signed General Kotzig-Lovász Decomposition
Published
• View Publication
• BIB
This paper is the first from a series of papers that establish a common analogue of the strong component and basilica decompositions for bidirected graphs. A bidirected graph is a graph in which a sign $+$ or $-$ is assigned to each end of each edge, and therefore is a common generalization of digraphs and signed graphs. Unlike digraphs, the reachabilities between vertices by directed trails and paths are not equal in general bidirected graphs. In this paper, we set up an analogue of the strong connectivity theory for bidirected graphs regarding directed trails, motivated by factor theory. We define the new concepts of {\em circular connectivity} and {\em circular components} as generalizations of the strong connectivity and strong components. In our main theorem, we characterize the inner structure of each circular component; we define a certain binary relation between vertices in terms of the circular connectivity and prove that this relation is an equivalence relation. The nontrivial aspect of this structure arises from directed trails starting and ending with the same sign, and is therefore characteristic to bidirected graphs that are not digraphs. This structure can be considered as an analogue of the general Kotzig-Lovász decomposition, a known canonical decomposition in $1$-factor theory. From our main theorem, we also obtain a new result in $b$-factor theory, namely, a $b$-factor analogue of the general Kotzig-Lovász decomposition.
The 6-girth-thickness of the complete graph
Published in AKCE International Journal of Graphs and Combinatorics-2020
• View Publication
• BIB
The $g$-girth-thickness $θ(g,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least $g$ whose union is $G$. In this paper, we determine the $6$-girth-thickness $θ(6,K_n)$ of the complete graph $K_n$ in almost all cases. And also, we calculate by computer the missing value of $θ(4,K_n)$.
Hopf monoids and generalized permutahedra
Published
• View Publication
• BIB
Generalized permutahedra are a family of polytopes with a rich combinatorial structure and strong connections to optimization. We prove that they are the universal family of polyhedra with a certain Hopf algebraic structure. Their antipode is remarkably simple: the antipode of a polytope is the alternating sum of its faces. Our construction provides a unifying framework to organize numerous combinatorial structures, including graphs, matroids, posets, set partitions, linear graphs, hypergraphs, simplicial complexes, building sets, and simple graphs. We highlight three applications:
1. We obtain uniform proofs of numerous old and new results about the Hopf algebraic and combinatorial structures of these families. In particular, we give the optimal formula for the antipode of graphs, posets, matroids, hypergraphs, and building sets, and we answer questions of Humpert--Martin and Rota.
2. We show that the reciprocity theorems of Stanley and Billera--Jia--Reiner on chromatic polynomials of graphs, order polynomials of posets, and BJR-polynomials of matroids are instances of the same reciprocity theorem for generalized permutahedra.
3. We explain why the formulas for the multiplicative and compositional inverses of power series are governed by the face structure of permutahedra and associahedra, respectively, answering a question of Loday.
Along the way, we offer a combinatorial user's guide to Hopf monoids.
Maximum oriented forcing number for complete graphs
Published
• View Publication
• BIB
The maximum oriented $k$-forcing number of a simple graph $G$, written $\MOF_k(G)$, is the maximum directed $k$-forcing number among all orientations of $G$. This invariant was recently introduced by Caro, Davila and Pepper in [CaroDavilaPepper], and in the current paper we study the special case where $G$ is the complete graph with order $n$, denoted $K_n$. While $\MOF_k(G)$ is an invariant for the underlying simple graph $G$, $\MOF_k(K_n)$ can also be interpreted as an interesting property for tournaments. Our main results further focus on the case when $k=1$. These include a lower bound on $\MOF(K_n)$ of roughly $\frac{3}{4}n$, and for $n\ge 2$, a lower bound of $n - \frac{2n}{\log_2(n)}$. Along the way, we also consider various lower bounds on the maximum oriented $k$-forcing number for the closely related complete $q$-partite graphs.
A note on the 4-girth-thickness of K_{n,n,n}
Published
• View Publication
• BIB
The $4$-girth-thickness $θ(4,G)$ of a graph $G$ is the minimum number of planar subgraphs of girth at least four whose union is $G$. In this paper, we obtain that the 4-girth-thickness of complete tripartite graph $K_{n,n,n}$ is $\big\lceil\frac{n+1}{2}\big\rceil$ except for $θ(4,K_{1,1,1})=2$. And we also show that the $4$-girth-thickness of the complete graph $K_{10}$ is three which disprove the conjecture $θ(4,K_{10})=4$ posed by Rubio-Montiel (Ars Math Contemp 14(2) (2018) 319).
Forbidden Subgraphs for Chorded Pancyclicity
Published in Discrete Mathematics, Volume 340, Issue 12, December 2017, Pages 2878-2888
• View Publication
• BIB
We call a graph $G$ pancyclic if it contains at least one cycle of every possible length $m$, for $3\le m\le |V(G)|$. In this paper, we define a new property called chorded pancyclicity. We explore forbidden subgraphs in claw-free graphs sufficient to imply that the graph contains at least one chorded cycle of every possible length $4, 5, \ldots, |V(G)|$. In particular, certain paths and triangles with pendant paths are forbidden.
Characterization and enumeration of 3-regular permutation graphs
Published
• View Publication
• BIB
A permutation graph is a graph that can be derived from a permutation, where the vertices correspond to letters of the permutation, and the edges represent inversions. We provide a construction to show that there are infinitely many connected $r$-regular permutation graphs for $r \geq 3$. We prove that all $3$-regular permutation graphs arise from a similar construction. Finally, we enumerate all $3$-regular permutation graphs on $n$ vertices.
Uniquely labelled geodesics of Coxeter groups
Studying geodesics in Cayley graphs of groups has been a very active area of research over the last decades. We introduce the notion of a uniquely labelled geodesic, abbreviated with u.l.g. These will be studied first in finite Coxeter groups of type $A_n$. Here we introduce a generating function, and hence are able to precisely describe how many u.l.g.'s we have of a certain length and with which label combination. These results generalize several results about unique geodesics in Coxeter groups. In the second part of the paper, we expand our investigation to infinite Coxeter groups described by simply laced trees. We show that any u.l.g. of finite branching index has finite length. We use the example of the group $\widetilde{D}_6$ to show the existence of infinite u.l.g.'s in groups which do not have any infinite unique geodesics. We conclude by exhibiting a detailed description of the geometry of such u.l.g.'s and their relation to each other in the group $\widetilde{D}_6$.
Chromatic polynomials of random graphs
Published in J. Phys. A: Math. Theor. 43 175002 (2010)
• View Publication
• BIB
Chromatic polynomials and related graph invariants are central objects in both graph theory and statistical physics. Computational difficulties, however, have so far restricted studies of such polynomials to graphs that were either very small, very sparse or highly structured. Recent algorithmic advances (Timme et al 2009 New J. Phys. 11 023001) now make it possible to compute chromatic polynomials for moderately sized graphs of arbitrary structure and number of edges. Here we present chromatic polynomials of ensembles of random graphs with up to 30 vertices, over the entire range of edge density. We specifically focus on the locations of the zeros of the polynomial in the complex plane. The results indicate that the chromatic zeros of random graphs have a very consistent layout. In particular, the crossing point, the point at which the chromatic zeros with non-zero imaginary part approach the real axis, scales linearly with the average degree over most of the density range. While the scaling laws obtained are purely empirical, if they continue to hold in general there are significant implications: the crossing points of chromatic zeros in the thermodynamic limit separate systems with zero ground state entropy from systems with positive ground state entropy, the latter an exception to the third law of thermodynamics.
A Proof Technique for Skewness of Graphs
The skewness of a graph G is the minimum number of edges in G whose removal results in a planar graph. By appropriately introducing a weight to each edge of a graph, we determine, among other thing, the skewness of the generalized Petersen graph P(4k, k) for odd k at least 9. This provides an answer to the conjecture raised in [3].
F-index of graphs based on new operations related to the join of graphs
Published
• View Publication
• BIB
The forgotten topological index or F-index of a graph is defined as the sum of degree cube of all the vertices of the graph. This index was introduced by Gutman and Trinajestić more than 40 years ago. In this paper, we derive F-index of new operations of subdivision graphs related to the graphs join.
Double-distance frameworks and mixed sparsity graphs
Published
• View Publication
• BIB
A rigidity theory is developed for frameworks in a metric space with two types of distance constraints. Mixed sparsity graph characterisations are obtained for the infinitesimal and continuous rigidity of completely regular bar-joint frameworks in a variety of such contexts. The main results are combinatorial characterisations for (i) frameworks restricted to surfaces with both Euclidean and geodesic distance constraints, (ii) frameworks in the plane with Euclidean and non-Euclidean distance constraints, and (iii) direction-length frameworks in the non-Euclidean plane.
On Björner and Lovász's conjecture
In the way of proving Kneser's conjecture, László Lovász settled out a new lower bound for the chromatic number of graphs. He showed that if the hom complex $||Hom(\mathcal{K}_2, H)||$ of a graph $H$ is topologically $k$-connected, then its chromatic number, $χ(H)$, is at least $k+3$. After that, he made the following conjecture, to provide a better lower bound on the chromatic number of graphs. If $||Hom(C_{2r+1}, H)||$ is $k$-connected, then $χ(H)\geq k+4$, where $C_{2r+1}$ is an odd cycle of length $2r+1$. Finally, Björner and Lovász proposed a generalization of the Lovász conjecture as follows. If $||Hom(T, H)||$ is $k$-connected, then $χ(H)\geq k+χ(T) +1$. The first conjecture was originally confirmed by Babson and Kozlov, by complicated computations with spectral sequences. But the second one was disproved by Hoory and Linial. So, after that, a graph $T$ is called a test graph if for every graph $H$, the $k$-connectedness of $||Hom(T, H)||$ implies $χ(H)\geq k + 1 + χ(H)$.
In this paper, we prove that if a graph $F$ possess an involutive automorphism that flips some edge; then it is a test graph. As a corollary, we give a purely combinatorial proof of the Lovász conjecture; odd cycles are test graphs. Indeed, although the Björner and Lovász conjecture is not true in general, we show that a slight modification of the conjecture is always true. More precisely, we show that for any graph $T$, there is a supergraph $T\subseteq\hat{T}$ with $χ(\hat{T})\leqχ(T)+1$, such that $\hat{T}$ is a test graph.
On dihedral flows in embedded graphs
Published
• View Publication
• BIB
Let $Γ$ be a multigraph with for each vertex a cyclic order of the edges incident with it. For $n \geq 3$, let $D_{2n}$ be the dihedral group of order $2n$. Define $\mathbb{D} := \{(\begin{smallmatrix} 1 & a \\ 0 & 1 \end{smallmatrix}) \mid a \in \mathbb{Z}\}$. In [5] it was asked whether $Γ$ admits a nowhere-identity $D_{2n}$-flow if and only if it admits a nowhere-identity $\mathbb{D}$-flow with $|a| < n$ (a `nowhere-identity $\mathbb{D}_n$-flow'). We give counterexamples to this statement and provide general obstructions. Furthermore, the complexity of the existence of nowhere-identity $\mathbb{D}_2$-flows is discussed. Lastly, graphs in which the equivalence of the existence of flows as above is true, are described. We focus particularly on cubic graphs.
Unimodal Category and the Monotonicity Conjecture
Published
• View Publication
• BIB
We completely characterize the unimodal category for functions $f:\mathbb R\to[0,\infty)$ using a decomposition theorem obtained by generalizing the sweeping algorithm of Baryshnikov and Ghrist. We also give a characterization of the unimodal category for functions $f:S^1\to[0,\infty)$ and provide an algorithm to compute the unimodal category of such a function in the case of finitely many critical points.
We then turn to the monotonicity conjecture of Baryshnikov and Ghrist. We show that this conjecture is true for functions on $\mathbb R$ and $S^1$ using the above characterizations and that it is false on certain graphs and on the Euclidean plane by providing explicit counterexamples. We also show that it holds for functions on the Euclidean plane whose Morse-Smale graph is a tree using a result of Hickok, Villatoro and Wang.