graph
35299 papers tagged with this keyword
Crystallizing the hypoplactic monoid: from quasi-Kashiwara operators to the Robinson--Schensted--Knuth-type correspondence for quasi-ribbon tableaux
Published in Journal of Algebraic Combinatorics. 45.2 (2017): 475-524
• View Publication
• BIB
Crystal graphs, in the sense of Kashiwara, carry a natural monoid structure given by identifying words labelling vertices that appear in the same position of isomorphic components of the crystal. In the particular case of the crystal graph for the $q$-analogue of the special linear Lie algebra $\mathfrak{sl}_{n}$, this monoid is the celebrated plactic monoid, whose elements can be identified with Young tableaux. The crystal graph and the so-called Kashiwara operators interact beautifully with the combinatorics of Young tableaux and with the Robinson--Schensted--Knuth correspondence and so provide powerful combinatorial tools to work with them. This paper constructs an analogous `quasi-crystal' structure for the hypoplactic monoid, whose elements can be identified with quasi-ribbon tableaux and whose connection with the theory of quasi-symmetric functions echoes the connection of the plactic monoid with the theory of symmetric functions. This quasi-crystal structure and the associated quasi-Kashiwara operators are shown to interact just as neatly with the combinatorics of quasi-ribbon tableaux and with the hypoplactic version of the Robinson--Schensted--Knuth correspondence. A study is then made of the interaction of the crystal graph of the plactic monoid and the quasi-crystal graph for the hypoplactic monoid. Finally, the quasi-crystal structure is applied to prove some new results about the hypoplactic monoid.
Randomly juggling backwards
Published
• View Publication
• BIB
We recall the directed graph of _juggling states_, closed walks within which give juggling patterns, as studied by Ron Graham in [w/Chung, w/Butler]. Various random walks in this graph have been studied before by several authors, and their equilibrium distributions computed. We motivate a random walk on the reverse graph (and an enrichment thereof) from a very classical linear algebra problem, leading to a particularly simple equilibrium: a Boltzmann distribution closely related to the Poincaré series of the b-Grassmannian in infinite-dimensional space.
We determine the most likely asymptotic state in the limit of many balls, where in the limit the probability of a 0-throw is kept fixed.
Discrete quantitative nodal theorem
We prove a theorem that can be thought of as a common generalization of the Discrete Nodal Theorem and (one direction of) Cheeger's Inequality for graphs. special case of this result will assert that if the second and third eigenvalues of the Laplacian are at least c apart, then the subgraphs induced by the positive and negative supports of the eigenvector belonging to the second eigenvalue are not only connected, but edge-expanders (in a weighted sense, with expansion depending on c).
The Local Cut Lemma
Published in European Journal of Combinatorics, vol. 63 (2017), 95--114
• View Publication
• BIB
The Lovász Local Lemma is a very powerful tool in probabilistic combinatorics, that is often used to prove existence of combinatorial objects satisfying certain constraints. Moser and Tardos have shown that the LLL gives more than just pure existence results: there is an effective randomized algorithm that can be used to find a desired object. In order to analyze this algorithm, Moser and Tardos developed the so-called entropy compression method. It turned out that one could obtain better combinatorial results by a direct application of the entropy compression method rather than simply appealing to the LLL. The aim of this paper is to provide a generalization of the LLL which implies these new combinatorial results. This generalization, which we call the Local Cut Lemma, concerns a random cut in a directed graph with certain properties. Note that our result has a short probabilistic proof that does not use entropy compression. As a consequence, it not only shows that a certain probability is positive, but also gives an explicit lower bound for this probability. As an illustration, we present a new application (an improved lower bound on the number of edges in color-critical hypergraphs) as well as explain how to use the Local Cut Lemma to derive some of the results obtained previously using the entropy compression method.
A second proof of the Shareshian--Wachs conjecture, by way of a new Hopf algebra
This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.
Thrackles containing a standard musquash
A thrackle is a drawing of a graph in which each pair of edges meets precisely once. Conway's Thrackle Conjecture asserts that a planar thrackle drawing of a graph cannot have more edges than vertices, which is equivalent to saying that no connected component of the graph contains more than one cycle. We prove that a thrackle drawing containing a standard musquash (standard $n$-gonal thrackle) cannot contain any other cycle of length three or five.
Treeable Graphings Are Local Limits of Finite Graphs
Let $\mathbf G$ be a graphing, that is a Borel graph defined by $d$ measure preserving involutions. We prove that if $\mathbf G$ is {\em treeable} then it arises as the local limit of some sequence $(G_n)_{n\in\mathbb{N}}$ of graphs with maximum degree at most $d$. This extends a result by Elek [G. Elek, Note on limits of finite graphs, Combinatorica 27 (2007)] (for $\mathbf G$ a treeing) and consequently extends the domain of the graphings for which Aldous-Lyons conjecture is known to be true.
The graphs with all but two eigenvalues equal to $-2$ or $0$
We determine all graphs for which the adjacency matrix has at most two eigenvalues (multiplicities included) not equal to $-2$, or $0$, and determine which of these graphs are determined by their adjacency spectrum.
Cores, joins and the Fano-flow conjectures
Published
• View Publication
• BIB
The Fan-Raspaud Conjecture states that every bridgeless cubic graph has three 1-factors with empty intersection. A weaker one than this conjecture is that every bridgeless cubic graph has two 1-factors and one join with empty intersection. Both of these two conjectures can be related to conjectures on Fano-flows. In this paper, we show that these two conjectures are equivalent to some statements on cores and weak cores of a bridgeless cubic graph. In particular, we prove that the Fan-Raspaud Conjecture is equivalent to a conjecture proposed in [E. Steffen, 1-factor and cycle covers of cubic graphs, J. Graph Theory 78 (2015) 195-206]. Furthermore, we disprove a conjecture proposed in [G. Mazzuoccolo, New conjectures on perfect matchings in cubic graphs, Electron. Notes Discrete Math. 40 (2013) 235-238] and we propose a new version of it under a stronger connectivity assumption. The weak oddness of a cubic graph $G$ is the minimum number of odd components in the complement of a join of $G$. We obtain an upper bound of weak oddness in terms of weak cores, and thus an upper bound of oddness in terms of cores as a by-product.
A note on Edge Isoperimetric Numbers and Regular Graphs
Published
• View Publication
• BIB
This note resolves an open problem asked by Bezrukov in the open problem session of IWOCA 2014. It shows an equivalence between regular graphs and graphs for which a sequence of invariants presents some symmetric property. We extend this result to a few other sequences.
Regular balanced Cayley maps on ${\rm PSL}(2,p)$
Published in Discrete Mathematics 339 (2016), no. 12, 2933-2940
• View Publication
• BIB
A {\it regular balanced Cayley map} (RBCM for short) on a finite group $Γ$ is an embedding of a Cayley graph on $Γ$ into a surface, with some special symmetric property. People have classified RBCM's for cyclic, dihedral, generalized quaternion, dicyclic, and semi-dihedral groups. In this paper we classify RBCM's on the group ${\rm PSL}(2,p)$ for each prime number $p>3$.
Optimal-size clique transversals in chordal graphs
Published
• View Publication
• BIB
The following question was raised by Tuza in 1990 and Erdos et al. in 1992: if every edge of an n-vertex chordal graph G is contained in a clique of size at least four, does G have a clique transversal, i.e., a set of vertices meeting all non-trivial maximal cliques, of size at most n/4? We prove that every such graph G has a clique transversal of size at most 2(n-1)/7 if n>=5, which is the best possible bound.
Phases in Large Combinatorial Systems
Published
• View Publication
• BIB
This is a status report on a companion subject to extremal combinatorics, obtained by replacing extremality properties with emergent structure, `phases'. We discuss phases, and phase transitions, in large graphs and large permutations, motivating and using the asymptotic formalisms of graphons for graphs and permutons for permutations. Phase structure is shown to emerge using entropy and large deviation techniques.
Separating hash families: A Johnson-type bound and new constructions
Published
• View Publication
• BIB
Separating hash families are useful combinatorial structures which are generalizations of many well-studied objects in combinatorics, cryptography and coding theory. In this paper, using tools from graph theory and additive number theory, we solve several open problems and conjectures concerning bounds and constructions for separating hash families. Firstly, we discover that the cardinality of a separating hash family satisfies a Johnson-type inequality. As a result, we obtain a new upper bound, which is superior to all previous ones. Secondly, we present a construction for an infinite class of perfect hash families. It is based on the Hamming graphs in coding theory and generalizes many constructions that appeared before. It provides an affirmative answer to both Bazrafshan-Trung's open problem on separating hash families and Alon-Stav's conjecture on parent-identifying codes. Thirdly, let $p_t(N,q)$ denote the maximal cardinality of a $t$-perfect hash family of length $N$ over an alphabet of size $q$. Walker II and Colbourn conjectured that $p_3(3,q)=o(q^2)$. We verify this conjecture by proving $q^{2-o(1)}<p_3(3,q)=o(q^2)$. Our proof can be viewed as an application of Ruzsa-Szemer{é}di's (6,3)-theorem. We also prove $q^{2-o(1)}<p_4(4,q)=o(q^2)$. Two new notions in graph theory and additive number theory, namely rainbow cycles and $R$-sum-free sets, are introduced to prove this result. These two bounds support a question of Blackburn, Etzion, Stinson and Zaverucha. Finally, we establish a bridge between perfect hash families and hypergraph Tur{á}n problems. This connection has not been noticed before. As a consequence, many new results and problems arise.
Bounds on the Game Transversal Number in Hypergraphs
Let $H = (V,E)$ be a hypergraph with vertex set $V$ and edge set $E$ of order $\nH = |V|$ and size $\mH = |E|$. A transversal in $H$ is a subset of vertices in $H$ that has a nonempty intersection with every edge of $H$. A vertex hits an edge if it belongs to that edge. The transversal game played on $H$ involves of two players, \emph{Edge-hitter} and \emph{Staller}, who take turns choosing a vertex from $H$. Each vertex chosen must hit at least one edge not hit by the vertices previously chosen. The game ends when the set of vertices chosen becomes a transversal in $H$. Edge-hitter wishes to minimize the number of vertices chosen in the game, while Staller wishes to maximize it. The \emph{game transversal number}, $τ_g(H)$, of $H$ is the number of vertices chosen when Edge-hitter starts the game and both players play optimally. We compare the game transversal number of a hypergraph with its transversal number, and also present an important fact concerning the monotonicity of $τ_g$, that we call the Transversal Continuation Principle. It is known that if $H$ is a hypergraph with all edges of size at least~$2$, and $H$ is not a $4$-cycle, then $τ_g(H) \le \frac{4}{11}(\nH+\mH)$; and if $H$ is a (loopless) graph, then $τ_g(H) \le \frac{1}{3}(\nH + \mH + 1)$. We prove that if $H$ is a $3$-uniform hypergraph, then $τ_g(H) \le \frac{5}{16}(\nH + \mH)$, and if $H$ is $4$-uniform, then $τ_g(H) \le \frac{71}{252}(\nH + \mH)$.
Cohen-Macaulayness of triangular graphs
We study the Cohen-Macaulay property of triangular graphs $T_n$. We show that $T_2$, $T_3$ and $T_5$ are Cohen-Macaulay graphs, and that $T_4$, $T_6$, $T_8$ and $T_n$ are not Cohen-Macaulay graphs, for $n\geq 10$. Finally, we prove that over fields of characteristic zero $T_7$ and $T_9$ are Cohen-Macaulay.
Properties of the Dot Product Graph of a Commutative Ring
Let $R$ be a commutative ring with identity and $n\geq1$ be an integer. Let $R^{n}=R\times\cdots\times R~(n~times)$. The \textit{total dot product} graph, denoted by $TD(R,n)$ is a simple graph with elements of $R^{n}-\{(0,0,\ldots,0)\}$ as vertices, and two distinct vertices $\mathbf{x}$ and $\mathbf{y}$ are adjacent if and only if $\mathbf{x} \cdot \mathbf{y}=0\in R$, where $\mathbf{x} \cdot \mathbf{y}$ denotes the dot product of $\mathbf{x}$ and $\mathbf{y}$. In this paper, we find the structure of $TD(R\times S,n)$ with respect to the structure of $TD(R,n)$ and $TD(S,n)$. In addition, we find the degree of vertices of this graph. We determine when it is regular. Let $\mathbb{F}$ be a finite field. It is shown that if $TD(\mathbb{F},n)\simeq TD(R,m)$, then $n=m$ and $R\simeq\mathbb{F}$. A number of results concerning the domination number are also presented. Furthermore, we give some results on the clique and the independence number of $TD(R,n)$. It is shown that the ring $R$ is finite if and only if its independence number is finite. Finally, we classify all planar graphs within this class.
Maximizing $H$-colorings of connected graphs with fixed minimum degree
Published
• View Publication
• BIB
For graphs $G$ and $H$, an $H$-coloring of $G$ is a map from the vertices of $G$ to the vertices of $H$ that preserves edge adjacency. We consider the following extremal enumerative question: for a given $H$, which connected $n$-vertex graph with minimum degree $δ$ maximizes the number of $H$-colorings? We show that for non-regular $H$ and sufficiently large $n$, the complete bipartite graph $K_{δ,n-δ}$ is the unique maximizer. As a corollary, for non-regular $H$ and sufficiently large $n$ the graph $K_{k,n-k}$ is the unique $k$-connected graph that maximizes the number of $H$-colorings among all $k$-connected graphs. Finally, we show that this conclusion does not hold for all regular $H$ by exhibiting a connected $n$-vertex graph with minimum degree $δ$ which has more $K_{q}$-colorings (for sufficiently large $q$ and $n$) than $K_{δ,n-δ}$.
Independent sets in polarity graphs
Published
• View Publication
• BIB
Given a projective plane $Σ$ and a polarity $θ$ of $Σ$, the corresponding polarity graph is the graph whose vertices are the points of $Σ$, and two distinct points $p_1$ and $p_2$ are adjacent if $p_1$ is incident to $p_2^{ θ}$ in $Σ$. A well-known example of a polarity graph is the Erdős-Rényi orthogonal polarity graph $ER_q$, which appears frequently in a variety of extremal problems. Eigenvalue methods provide an upper bound on the independence number of any polarity graph. Mubayi and Williford showed that in the case of $ER_q$, the eigenvalue method gives the correct upper bound in order of magnitude. We prove that this is also true for other families of polarity graphs. This includes a family of polarity graphs for which the polarity is neither orthogonal nor unitary. We conjecture that any polarity graph of a projective plane of order $q$ has an independent set of size $Ω(q^{3/2})$. Some related results are also obtained.
Normal Subgroup Based Power Graph of a finite Group
Published
• View Publication
• BIB
For a finite group $G$ with a normal subgroup $H$, the normal subgroup based power graph of $G$, denoted by $Γ_H(G)$ whose vertex set $V(Γ_H(G))=(G\setminus H)\bigcup \{e\}$ and two vertices $a$ and $b$ are edge connected if $aH=b^mH$ or $bH=a^nH$ for some $m, n \in \mathbb{N}$. In this paper we obtain some fundamental characterizations of the normal subgroup based power graph. We show some relation between the graph $Γ_H(G)$ and the power graph $Γ(\frac{G}{H})$. We show that $Γ_H(G)$ is complete if and only of $\frac{G}{H}$ is cyclic group of order $1$ or $p^m$, where $p$ is prime number and $m\in \mathbb{N}$. $Γ_H(G)$ is planar if and only if $|H|=2$ or $3$ and $\frac{G}{H}\cong \mathbb{Z}_2\times \mathbb{Z}_2 \times \cdots \times \mathbb{Z}_2$. Also $Γ_H(G)$ is Eulerian if and only if $|G|\equiv |H|$ mod$ 2$.