graph
34905 papers tagged with this keyword
What makes a D_0 graph Schur positive?
Published
• View Publication
• BIB
We define a D_0 graph to be a graph whose vertex set is a subset of permutations of n, with edges of the form ...bac... <--> ...bca... or ...acb... <--> ...cab... (Knuth transformations), or ...bac... <--> ...acb... or ...bca... <--> ...cab... (rotation transformations), such that whenever the Knuth and rotation transformations at positions i-1, i, i+1 are available at a vertex, exactly one of these is an edge. The generating function of such a graph is the sum of the quasisymmetric functions associated to the descent sets of its vertices. Assaf studied D_0 graphs in the paper *Dual equivalence and Schur positivity* and showed that they provide a rich source of examples of the D graphs defined in the paper *Dual equivalence graphs and a combinatorial proof of LLT and Macdonald positivity*. A key construction of Assaf expresses the coefficient of q^t in an LLT polynomial as the generating function of a certain D_0 graph. LLT polynomials are known to be Schur positive by work of Grojnowski-Haiman, and experimentation shows that many D_0 graphs have Schur positive generating functions, which suggests a vast generalization of LLT positivity in this setting.
As part of a series of papers, we study D_0 graphs using the Fomin-Greene theory of noncommutative Schur functions. We construct a D_0 graph whose generating function is not Schur positive by solving a linear program related to a certain noncommutative Schur function. We go on to construct a D graph on the same vertex set as this D_0 graph.
On the ideal of orthogonal representations of a graph in $\mathbb{R}^2$
Published
• View Publication
• BIB
In this paper, we study orthogonal representations of simple graphs $G$ in $\mathbb{R}^d$ from an algebraic perspective in case $d = 2$. Orthogonal representations of graphs, introduced by Lovász, are maps from the vertex set to $\mathbb{R}^d$ where non-adjacent vertices are sent to orthogonal vectors. We exhibit algebraic properties of the ideal generated by the equations expressing this condition and deduce geometric properties of the variety of orthogonal embeddings for $d=2$ and $\mathbb{R}$ replaced by an arbitrary field. In particular, we classify when the ideal is radical and provide a reduced primary decomposition if $\sqrt{-1} \not\in K$. This leads to a description of the variety of orthogonal embeddings as a union of varieties defined by prime ideals. In particular, this applies to the motivating case $K = \mathbb{R}$.
Acyclic edge colourings of graphs with large girth
Published
• View Publication
• BIB
An edge colouring of a graph $G$ is called acyclic if it is proper and every cycle contains at least three colours. We show that for every $\varepsilon>0$, there exists a $g=g(\varepsilon)$ such that if $G$ has girth at least $g$ then $G$ admits an acyclic edge colouring with at most $(1+\varepsilon)Δ$ colours.
RNA, local moves on plane trees, and transpositions on tableaux
Published in Involve, a Journal of Mathematics 11:3 (2018), 383-411
• View Publication
• BIB
We define a collection of functions $s_i$ on the set of plane trees (or standard Young tableaux). The functions are adapted from transpositions in the representation theory of the symmetric group and almost form a group action. They were motivated by $\textit{local moves}$ in combinatorial biology, which are maps that represent a certain unfolding and refolding of RNA strands. One main result of this study identifies a subset of local moves that we call $s_i$-local moves, and proves that $s_i$-local moves correspond to the maps $s_i$ acting on standard Young tableaux. We also prove that the graph of $s_i$-local moves is a connected, graded poset with unique minimal and maximal elements. We then extend this discussion to functions $s_i^C$ that mimic reflections in the Weyl group of type $C$. The corresponding graph is no longer connected, but we prove it has two connected components, one of symmetric and the other of asymmetric plane trees. We give open questions and possible biological interpretations.
A Ramsey theorem on semigroups and a general van der Corput lemma
Published in Journal of Symbolic Logic, vol. 81 (2016), no. 2, pp. 718--741
• View Publication
• BIB
A major theme in arithmetic combinatorics is proving multiple recurrence results on semigroups (such as Szemerédi's theorem) and this can often be done using methods of ergodic Ramsey theory. What usually lies at the heart of such proofs is that, for actions of semigroups, a certain kind of one recurrence (mixing along a filter) amplifies itself to multiple recurrence. This amplification is proved using a so-called van der Corput difference lemma for a suitable filter on the semigroup. Particular instances of this lemma (for concrete filters) have been proven before (by Furstenberg, Bergelson--McCutcheon, and others), with a somewhat different proof in each case. We define a notion of differentiation for subsets of semigroups and isolate the class of filters that respect this notion. The filters in this class (call them $\partial$-filters) include all those for which the van der Corput lemma was known, and our main result is a van der Corput lemma for $\partial$-filters, which thus generalizes all its previous instances. This is done via proving a Ramsey theorem for graphs on the semigroup with edges between the semigroup elements labeled by their ratios.
Stochastic monotonicity in Young graph and Thoma theorem
Published in International Mathematics Research Notices 2015 (23): 12920-12940
• View Publication
• BIB
We show that the order on probability measures, inherited from the dominance order on the Young diagrams, is preserved under natural maps reducing the number of boxes in a diagram by $1$. As a corollary we give a new proof of the Thoma theorem on the structure of characters of the infinite symmetric group.
We present several conjectures generalizing our result. One of them (if it is true) would imply the Kerov's conjecture on the classification of all homomorphisms from the algebra of symmetric functions into $\mathbb R$ which are non-negative on Hall--Littlewood polynomials.
Rainbow arborescence in random digraphs
Published
• View Publication
• BIB
We consider the Erdős-Rényi random directed graph process, which is a stochastic process that starts with $n$ vertices and no edges, and at each step adds one new directed edge chosen uniformly at random from the set of missing edges. Let $\mathcal{D}(n,m)$ be a graph with $m$ edges obtained after $m$ steps of this process. Each edge $e_i$ ($i=1,2,\ldots, m$) of $\mathcal{D}(n,m)$ independently chooses a colour, taken uniformly at random from a given set of $n(1 + O( \log \log n / \log n)) = n (1+o(1))$ colours. We stop the process prematurely at time $M$ when the following two events hold: $\mathcal{D}(n,M)$ has at most one vertex that has in-degree zero and there are at least $n-1$ distinct colours introduced ($M= n(n-1)$ if at the time when all edges are present there are still less than $n-1$ colours introduced; however, this does not happen asymptotically almost surely). The question addressed in this paper is whether $\mathcal{D}(n,M)$ has a rainbow arborescence (that is, a directed, rooted tree on $n$ vertices in which all edges point away from the root and all the edges are different colours). Clearly, both properties are necessary for the desired tree to exist and we show that, asymptotically almost surely, the answer to this question is "yes".
Bridge graphs and Deodhar parametrizations for positroid varieties
Published
• View Publication
• BIB
A parametrization of a positroid variety $Π$ of dimension $d$ is a regular map $(\mathbb{C}^{\times})^{d} \rightarrow Π$ which is birational onto a dense subset of $Π$. There are several remarkable combinatorial constructions which yield parametrizations of positroid varieties. We investigate the relationship between two families of such parametrizations, and prove they are essentially the same. Our first family is defined in terms of Postnikov's boundary measurement map, and the domain of each parametrization is the space of edge weights of a planar network. We focus on a special class of planar networks called bridge graphs, which have applications to particle physics. Our second family arises from Marsh and Rietsch's parametrizations of Deodhar components of the flag variety, which are indexed by certain subexpressions of reduced words. Projecting to the Grassmannian gives a family of parametrizations for each positroid variety. We show that each Deodhar parametrization for a positroid variety corresponds to a bridge graph, while each parametrization from a bridge graph agrees with some projected Deodhar parametrization.
Minimum number of monotone subsequences of length 4 in permutations
Published in Combinator. Probab. Comp. 24 (2014) 658-679
• View Publication
• BIB
We show that for every sufficiently large $n$, the number of monotone subsequences of length four in a permutation on $n$ points is at least $\binom{\lfloor n/3 \rfloor}{4} + \binom{\lfloor(n+1)/3\rfloor}{4} + \binom{\lfloor (n+2)/3\rfloor}{4}$. Furthermore, we characterize all permutations on $[n]$ that attain this lower bound. The proof uses the flag algebra framework together with some additional stability arguments. This problem is equivalent to some specific type of edge colorings of complete graphs with two colors, where the number of monochromatic $K_4$'s is minimized. We show that all the extremal colorings must contain monochromatic $K_4$'s only in one of the two colors. This translates back to permutations, where all the monotone subsequences of length four are all either increasing, or decreasing only.
A characterization of functions with vanishing averages over products of disjoint sets
Published
• View Publication
• BIB
Given $α_1,...,α_m \in (0,1)$, we characterize all integrable functions $f:[0,1]^m \to \mathbb{C}$ satisfying $\int_{A_1 \times ...\times A_m} f =0$ for any collection of disjoint sets $A_1,...,A_m \subseteq [0,1]$ of respective measures $α_1,...,α_m$. We use this characterization to settle some of the conjectures in [S. Janson and V. Sós, More on quasi-random graphs, subgraph counts and graph limits, arXiv:1405.6808].
Smoothing of Limit Linear Series of Rank One on Saturated Metrized Complexes of Algebraic Curves
Published
• View Publication
• BIB
We investigate the smoothing problem of limit linear series of rank one on an enrichment of the notions of nodal curves and metrized complexes called saturated metrized complexes. We give a finitely verifiable full criterion for smoothability of a limit linear series of rank one on saturared metrized complexes, characterize the space of all such smoothings, and extend the criterion to metrized complexes. As applications, we prove that all limit linear series of rank one are smoothable on saturated metrized complexes corresponding to curves of compact-type, and prove an analogue for saturated metrized complexes of a theorem of Harris and Mumford on the characterization of nodal curves contained in a given gonality stratum. In addition, we give a full combinatorial criterion for smoothable limit linear series of rank one on saturated metrized complexes corresponding to nodal curves whose dual graphs are made of separate loops.
Doob--Martin boundary of Rémy's tree growth chain
Published in Ann. Probab. 45 (2017), 225-277
• View Publication
• BIB
Rémy's algorithm is a Markov chain that iteratively generates a sequence of random trees in such a way that the $n^{\mathrm{th}}$ tree is uniformly distributed over the set of rooted, planar, binary trees with $2n+1$ vertices. We obtain a concrete characterization of the Doob--Martin boundary of this transient Markov chain and thereby delineate all the ways in which, loosely speaking, this process can be conditioned to "go to infinity" at large times. A (deterministic) sequence of finite rooted, planar, binary trees converges to a point in the boundary if for each $m$ the random rooted, planar, binary tree spanned by $m+1$ leaves chosen uniformly at random from the $n^{\mathrm{th}}$ tree in the sequence converges in distribution as $n$ tends to infinity -- a notion of convergence that is analogous to one that appears in the recently developed theory of graph limits.
We show that a point in the Doob--Martin boundary may be identified with the following ensemble of objects: a complete separable $\mathbb{R}$-tree that is rooted and binary in a suitable sense, a diffuse probability measure on the $\mathbb{R}$-tree that allows us to make sense of sampling points from it, and a kernel on the $\mathbb{R}$-tree that describes the probability that the first of a given pair of points is below and to the left of their most recent common ancestor while the second is below and to the right. The Doob--Martin boundary corresponds bijectively to the set of extreme points of the closed convex set of normalized nonnegative harmonic functions, in other words, the minimal and full Doob--Martin boundaries coincide. These results are in the spirit of the identification of graphons as limit objects in the theory of graph limits.
Randic energy of specific graphs
Published
• View Publication
• BIB
Let $G$ be a simple graph with vertex set $V(G) = \{v_1, v_2,..., v_n\}$. The Randić matrix of $G$, denoted by $R(G)$, is defined as the $n\times n$ matrix whose $(i,j)$-entry is $(d_id_j)^{\frac{-1}{2}}$ if $v_i$ and $v_j$ are adjacent and $0$ for another cases. Let the eigenvalues of the Randić matrix $R(G)$ be $ρ_1\geq ρ_2\geq ...\geq ρ_n$ which are the roots of the Randić characteristic polynomial $\prod_{i=1}^n (ρ-ρ_i)$. The Randić energy $RE$ of $G$ is the sum of absolute values of the eigenvalues of $R(G)$. In this paper we compute the Randić characteristic polynomial and the Randić energy for specific graphs $G$.
Infinite Gammoids: Minors and Duality
Published
• View Publication
• BIB
This sequel to our paper (Infinite gammoids, 2014) considers minors and duals of infinite gammoids. We prove that a class of gammoids definable by digraphs not containing a certain type of substructure, called an outgoing comb, is minor-closed. Also, we prove that finite-rank minors of gammoids are gammoids. Furthermore, the topological gammoids introduced by Carmesin (Topological infinite gammoids, and a new Menger-type theorem for infinite graphs, 2014) are proved to coincide, as matroids, with the finitary gammoids. A corollary is that topological gammoids are minor-closed. It is a well-known fact that the dual of any finite strict gammoid is a transversal matroid. The class of alternating-comb-free strict gammoids, introduced in the prequel, contains examples which are not dual to any transversal matroid. However, we describe the duals of matroids in this class as a natural extension of transversal matroids. While finite gammoids are closed under duality, we construct a strict gammoid that is not dual to any gammoid.
Scaling Limits of Random Graphs from Subcritical Classes
Published
• View Publication
• BIB
We study the uniform random graph $\mathsf{C}_n$ with $n$ vertices drawn from a subcritical class of connected graphs. Our main result is that the rescaled graph $\mathsf{C}_n / \sqrt{n}$ converges to the Brownian Continuum Random Tree $\mathcal{T}_{\mathsf{e}}$ multiplied by a constant scaling factor that depends on the class under consideration. In addition, we provide subgaussian tail bounds for the diameter $\text{D}(\mathsf{C}_n)$ and height $\text{H}(\mathsf{C}_n^\bullet)$ of the rooted random graph $\mathsf{C}_n^\bullet$. We give analytic expressions for the scaling factor of several classes, including for example the prominent class of outerplanar graphs. Our methods also enable us to study first passage percolation on $\mathsf{C}_n$, where we show the convergence to $\mathcal{T}_{\mathsf{e}}$ under an appropriate rescaling.
Towards an Isomorphism Dichotomy for Hereditary Graph Classes
Published
• View Publication
• BIB
In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and algorithmic analysis of graphs. First, we develop a methodology to show isomorphism completeness of the isomorphism problem on graph classes by providing a general framework unifying various reduction techniques. Second, we generalize the concept of the modular decomposition to colored graphs, allowing for non-standard decompositions. We show that, given a suitable decomposition functor, the graph isomorphism problem reduces to checking isomorphism of colored prime graphs. Third, we extend the techniques of bounded color valence and hypergraph isomorphism on hypergraphs of bounded color size as follows. We say a colored graph has generalized color valence at most k if, after removing all vertices in color classes of size at most k, for each color class C every vertex has at most k neighbors in C or at most k non-neighbors in C. We show that isomorphism of graphs of bounded generalized color valence can be solved in polynomial time.
Geometry and spectrum of rapidly branching graphs
Published
• View Publication
• BIB
We study graphs whose vertex degree tends and which are, therefore, called rapidly branching. We prove spectral estimates, discreteness of spectrum, first order eigenvalue and Weyl asymptotics solely in terms of the vertex degree growth. The underlying techniques are estimates on the isoperimetric constant. Furthermore, we give lower volume growth bounds and we provide a new criterion for stochastic incompleteness.
Bipartitions of highly connected tournaments
Published
• View Publication
• BIB
We show that if $T$ is a strongly $10^9k^6\log(2k)$-connected tournament, there exists a partition $A, B$ of $V(T)$ such that each of $T[A]$, $T[B]$ and $T[A,B]$ is strongly $k$-connected. This provides tournament analogues of two partition conjectures of Thomassen regarding highly connected graphs.
Limit law for number of components of fixed sizes of graphs with degree one or two
We consider graphs with vertices of degree 1 or 2 and prove that the numbers of components of sizes 2 to q have a limit normal distribution for any q > 1. The result is also extended to multigraphs.
Space proof complexity for random $3$-CNFs via a $(2-ε)$-Hall's Theorem
We investigate the space complexity of refuting $3$-CNFs in Resolution and algebraic systems. No lower bound for refuting any family of $3$-CNFs was previously known for the total space in resolution or for the monomial space in algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random $3$-CNF $φ$ in $n$ variables requires, with high probability, $Ω(n/\log n)$ distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation $φ$ requires, with high probability, $Ω(n/\log n)$ clauses each of width $Ω(n/\log n)$ to be kept at the same time in memory. This gives a $Ω(n^2/\log^2 n)$ lower bound for the total space needed in Resolution to refute $φ$.
The main technical innovation is a variant of Hall's theorem. We show that in bipartite graphs $G$ with bipartition $(L,R)$ and left-degree at most 3, $L$ can be covered by certain families of disjoint paths, called $(2,4)$-matchings, provided that $L$ expands in $R$ by a factor of $(2-ε)$, for $ε< \frac{1}{23}$.