Showing 20 papers (Total: 83502 papers, 48219 authors in database)
Forbidden Directed Minors and Kelly-width
Published
• View Publication
• BIB
Partial 1-trees are undirected graphs of treewidth at most one. Similarly, partial 1-DAGs are directed graphs of KellyWidth at most two. It is well-known that an undirected graph is a partial 1-tree if and only if it has no K_3 minor. In this paper, we generalize this characterization to partial 1-DAGs. We show that partial 1-DAGs are characterized by three forbidden directed minors, K_3, N_4 and M_5.
Independence ratio and random eigenvectors in transitive graphs
Published in Annals of Probability 2015, Vol. 43, No. 5, 2810-2840
• View Publication
• BIB
A theorem of Hoffman gives an upper bound on the independence ratio of regular graphs in terms of the minimum $λ_{\min}$ of the spectrum of the adjacency matrix. To complement this result we use random eigenvectors to gain lower bounds in the vertex-transitive case. For example, we prove that the independence ratio of a $3$-regular transitive graph is at least \[q=\frac{1}{2}-\frac{3}{4π}\arccos\biggl(\frac{1-λ_{\min}}{4}\biggr).\] The same bound holds for infinite transitive graphs: we construct factor of i.i.d. independent sets for which the probability that any given vertex is in the set is at least $q-o(1)$. We also show that the set of the distributions of factor of i.i.d. processes is not closed w.r.t. the weak topology provided that the spectrum of the graph is uncountable.
On the geometric Ramsey numbers of trees
Published
• View Publication
• BIB
In this paper, we obtain upper bounds for the geometric Ramsey numbers of trees. We prove that $R_c(T_n,H_m)=(n-1)(m-1)+1$ if $T_n$ is a caterpillar and $H_m$ is a Hamiltonian outerplanar graph on $m$ vertices. Moreover, if $T_n$ has at most two non-leaf vertices, then $R_g(T_n,H_m)=(n-1)(m-1)+1$. We also prove that $R_c(T_n,H_m)=O(n^2m)$ and $R_g(T_n,H_m)=O(n^3m^2)$ if $T_n$ is an arbitrary tree on $n$ vertices and $H_m$ is an outerplanar triangulation with pathwidth 2. %Further, we prove a uniform polynomial upper bound for the geometric Ramsey numbers of caterpillars and we also give an upper bound for $R_g(T_n)$ where $T_n$ is an arbitrary tree.
Reconstructing a phylogenetic level-1 network from quartets
Published
• View Publication
• BIB
We describe a method that will reconstruct an unrooted binary phylogenetic level-1 network on n taxa from the set of all quartets containing a certain fixed taxon, in O(n^3) time. We also present a more general method which can handle more diverse quartet data, but which takes O(n^6) time. Both methods proceed by solving a certain system of linear equations over GF(2).
For a general dense quartet set (containing at least one quartet on every four taxa) our O(n^6) algorithm constructs a phylogenetic level-1 network consistent with the quartet set if such a network exists and returns an (O(n^2) sized) certificate of inconsistency otherwise. This answers a question raised by Gambette, Berry and Paul regarding the complexity of reconstructing a level-1 network from a dense quartet set.
Arithmetic progressions in sets of small doubling
Published in Mathematika 62 (2016) 587-613
• View Publication
• BIB
We show that if a finite, large enough subset A of an arbitrary abelian group satisfies the small doubling condition |A + A| < (log |A|)^{1 - epsilon} |A|, then A must contain a three-term arithmetic progression whose terms are not all equal, and A + A must contain an arithmetic progression or a coset of a subgroup, either of which of size at least exp^[ c (log |A|)^{delta} ]. This extends analogous results obtained by Sanders and, respectively, by Croot, Laba and Sisask in the case where the group is that of the integers or a finite field.
Algebraic study on Cameron-Walker graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple graph on $[n]$ and $I(G) \subset S$ the edge ideal of $G$, where $S = K[x_{1}, \ldots, x_{n}]$ is the polynomial ring over a field $K$. Let $m(G)$ denote the maximum size of matchings of $G$ and $im(G)$ that of induced matchings of $G$. It is known that $im(G) \leq \text{reg}(S/I(G)) \leq m(G)$, where $\text{reg}(S/I(G))$ is the Castelnuovo-Mumford regularity of $S/I(G)$. Cameron and Walker succeeded in classifying the finite connected simple graphs $G$ with $im(G) = m(G)$. We say that a finite connected simple graph $G$ is a Cameron-Walker graph if $im(G) = m(G)$ and if $G$ is neither a star nor a star triangle. In the present paper, we study Cameron-Walker graphs from a viewpoint of commutative algebra. First, we prove that a Cameron-Walker graph $G$ is unmixed if and only if $G$ is Cohen-Macaulay and classify all Cohen-Macaulay Cameron-Walker graphs. Second, we prove that there is no Gorenstein Cameron-Walker graph. Finally, we prove that every Cameron--Walker graph is sequentially Cohen-Macaulay.
Appendix of Extending Bicoloring for Steiner Triple Systems
We initiate the study of extended bicolorings of Steiner triple systems (STS) which start with a $k$-bicoloring of an STS($v$) and end up with a $k$-bicoloring of an STS($2v+1$) obtained by a doubling construction, using only the original colors used in coloring the subsystem STS($v$). By producing many such extended bicolorings, we obtain several infinite classes of orders for which there exist STSs with different lower and upper chromatic number.
The Strip-Decomposition of m-Dyck Paths
The $m$-Tamari lattices $\mathcal{T}_{n}^{(m)}$, introduced by Bergeron and Pr{é}ville-Ratelle, are defined as a poset of $m$-Dyck paths equipped with the generalized rotation order, and constitute a Fuss-Catalan generalization of the classical Tamari lattices $\mathcal{T}_{n}$. While for $\mathcal{T}_{n}$ many combinatorial realizations are known, to present there is no further combinatorial realization of $\mathcal{T}_{n}^{(m)}$. In this article, we introduce a certain decomposition of $m$-Dyck paths into $m$-tuples of Dyck paths, and after a certain modification of these $m$-tuples, we conjecture that the resulting $m$-tuples of Dyck paths realize $\mathcal{T}_{n}^{(m)}$ as an induced subposet of the $m$-fold direct product of $\mathcal{T}_{n}$ with itself. We are able to prove this conjecture for $n\leq 3$, and provide necessary conditions for $m$-tuples of Dyck paths to belong to this realization. However, for $n\geq 5$, no sufficient condition is known.
Towards m-Cambrian Lattices
For positive integers $m$ and $k$, we introduce a family of lattices $\mathcal{C}_{k}^{(m)}$ associated to the Cambrian lattice $\mathcal{C}_{k}$ of the dihedral group $I_{2}(k)$. We show that $\mathcal{C}_{k}^{(m)}$ satisfies some basic properties of a Fuss-Catalan generalization of $\mathcal{C}_{k}$, namely that $\mathcal{C}_{k}^{(1)}=\mathcal{C}_{k}$ and $\bigl\lvert\mathcal{C}_{k}^{(m)}\bigr\rvert=\mbox{Cat}^{(m)}\bigl(I_{2}(k)\bigr)$. Subsequently, we prove some structural and topological properties of these lattices---namely that they are trim and EL-shellable---which were known for $\mathcal{C}_{k}$ before. Remarkably, our construction coincides in the case $k=3$ with the $m$-Tamari lattice of parameter 3 due to Bergeron and Pr{é}ville-Ratelle. Eventually, we investigate this construction in the context of other Coxeter groups, in particular we conjecture that the lattice completion of the analogous construction for the symmetric group $\mathfrak{S}_{n}$ and the long cycle $(1\;2\;\ldots\;n)$ is isomorphic to the $m$-Tamari lattice of parameter $n$.
Application of Vertex coloring in a particular triangular closed path structure and in Krafts inequality
A good deal of research has been done and published on coloring of the vertices of graphs for several years while studying of the excellent work of those maestros, we get inspire to work on the vertex coloring of graphs in case of a particular triangular closed path structure what we achieve from the front view of a pyramidal structure. From here we achieve a repetitive nature of vertex coloring in case of odd and even number of horizontal lines within this triangular structure. In order to apply this repetitive nature of vertex coloring in case of a binary tree, we get a success in Krafts Inequality. Actually our work mainly deals with a particular triangular closed path vertex coloring and repetition of the vertex coloring nature in case of the Krafts inequality in the field of Information Theory and Coding.
Posets with cover graph of pathwidth two have bounded dimension
Published
• View Publication
• BIB
Joret, Micek, Milans, Trotter, Walczak, and Wang recently asked if there exists a constant $d$ such that if $P$ is a poset with cover graph of $P$ of pathwidth at most $2$, then $\dim(P)\leq d$. We answer this question in the affirmative by showing that $d=17$ is sufficient. We also show that if $P$ is a poset containing the standard example $S_5$ as a subposet, then the cover graph of $P$ has treewidth at least $3$.
Jack polynomials with prescribed symmetry and some of their clustering properties
Published
• View Publication
• BIB
We study Jack polynomials in $N$ variables, with parameter $α$, and having a prescribed symmetry with respect to two disjoint subsets of variables. For instance, these polynomials can exhibit a symmetry of type AS, which means that they are anti-symmetric in the first $m$ variables and symmetric in the remaining $N-m$ variables. One of our main goals is to extend recent works on symmetric Jack polynomials [arXiv:0711.3062, arXiv:1007.2692, arXiv:1303.4126] and prove that the Jack polynomials with prescribed symmetry also admit clusters of size $k$ and order $r$, that is, the polynomials vanish to order $r$ when $k+1$ variables coincide.
We first prove some general properties for generic $α$, such as their uniqueness as triangular eigenfunctions of operators of Sutherland type, and the existence of their analogues in infinity many variables. We then turn our attention to the case with $α=-(k+1)/(r-1)$. We show that for each triplet $(k,r,N)$, there exist admissibility conditions on the indexing sets, called superpartitions, that guaranty both the regularity and the uniqueness of the polynomials. These conditions are also used to establish similar properties for non-symmetric Jack polynomials. As a result, we prove that the Jack polynomials with arbitrary prescribed symmetry, indexed by $(k,r,N)$-admissible superpartitions, admit clusters of size $k=1$ and order $r\geq 2$. In the last part of the article, we find necessary and sufficient conditions for the invariance under translation of the Jack polynomials with prescribed symmetry AS. This allows to find special families of superpartitions that imply the existence of clusters of size $k>1$ and order $r\geq 2$.
Sequences defined by h-vectors
In this paper we consider the sequence whose n^{th} term is the number of h-vectors of length n. We show that the n^{th} term of this sequence is bounded above by the n^{th} Fibonacci number and bounded below by the number if integer partitions of n into distinct parts. Further we show embedded sequences that directly relate to integer partitions.
On the effective and automatic enumeration of polynomial permutation classes
Published
• View Publication
• BIB
We describe an algorithm, implemented in Python, which can enumerate any permutation class with polynomial enumeration from a structural description of the class. In particular, this allows us to find formulas for the number of permutations of length n which can be obtained by a finite number of block sorting operations (e.g., reversals, block transpositions, cut-and-paste moves).
Edge Decompositions of Hypercubes by Paths
Many authors have investigated edge decompositions of graphs by the edge sets of isomorphic copies of special subgraphs. For $q$- dimensional hypercubes $Q_q$ various researchers have done this for cer- tain trees, paths, and cycles. In this paper we shall say that "$H$ divides $G$" if $E(G)$ is the disjoint union of $\{fE(H_i) | H_i \simeq H\}$. Our main result is that for $q$ odd and $q < 2^{32}$, the path of length $m$, $P_m$, divides $Q_q$ if and only if $m \leq q$ and $m | (q \times 2^{q-1})$.
The full Kostant-Toda hierarchy on the positive flag variety
Published
• View Publication
• BIB
We study some geometric and combinatorial aspects of the solution to the full Kostant-Toda (f-KT) hierarchy, when the initial data is given by an arbitrary point on the totally non-negative (tnn) flag variety of SL_n(R). The f-KT flows on the tnn flag variety are complete, and their asymptotics are completely determined by the cell decomposition of the tnn flag variety given by Rietsch. We define the f-KT flow on the weight space via the moment map, and show that the closure of each f-KT flow forms an interesting convex polytope generalizing the permutohedron which we call a Bruhat interval polytope. We also prove analogous results for the full symmetric Toda hierarchy, by mapping our f-KT solutions to those of the full symmetric Toda hierarchy. In the Appendix we show that Bruhat interval polytopes are generalized permutohedra, in the sense of Postnikov, and that their edges correspond to cover relations in the Bruhat order.
Characterising pointsets in PG(4,q) that correspond to conics
Published
• View Publication
• BIB
We consider a non-degenerate conic in $\PG(2,q^2)$, $q$ odd, that is tangent to $\ell_\infty$ and look at its structure in the Bruck-Bose representation in $\PG(4,q)$. We determine which combinatorial properties of this set of points in $\PG(4,q)$ are needed to reconstruct the conic in $\PG(2,q^2)$. That is, we define a set $\C$ in $\PG(4,q)$ with $q^2$ points that satisfies certain combinatorial properties. We then show that if $q\ge 7$, we can use $\C$ to construct a regular spread $§$ in the hyperplane at infinity of $\PG(4,q)$, and that $\C$ corresponds to a conic in the Desarguesian plane $¶(§)\cong\PG(2,q^2)$ constructed via the Bruck-Bose correspondence.
Random subtrees of complete graphs
Published
• View Publication
• BIB
We study the asymptotic behavior of four statistics associated with subtrees of complete graphs: the uniform probability $p_n$ that a random subtree is a spanning tree of $K_n$, the weighted probability $q_n$ (where the probability a subtree is chosen is proportional to the number of edges in the subtree) that a random subtree spans and the two expectations associated with these two probabilities. We find $p_n$ and $q_n$ both approach $e^{-e^{-1}}\approx .692$, while both expectations approach the size of a spanning tree, i.e., a random subtree of $K_n$ has approximately $n-1$ edges.
Geometric RSK and the Toda lattice
Published in Illinois J. Math. 57(3): 883-918 (Fall 2013)
• View Publication
• BIB
We relate a continuous-time version of the geometric RSK correspondence to the Toda lattice, in a way which can be viewed as a semi-classical limit of a recent result by the author which relates the continuous-time geometric RSK mapping, with Brownian motion as input, to the quantum Toda lattice.
The unreasonable ubiquitousness of quasi-polynomials
Published in Electronic Journal of Combinatorics 21 (2014), #P1.44
• View Publication
• BIB
A function g, with domain the natural numbers, is a quasi-polynomial if there exists a period m and polynomials p_0,p_1,...,p_{m-1} such that g(t)=p_i(t) for t=i mod m. Quasi-polynomials classically -- and "reasonably" -- appear in Ehrhart theory and in other contexts where one examines a family of polyhedra, parametrized by a variable t, and defined by linear inequalities of the form a_1x_1+...+a_dx_d <= b(t).
Recent results of Chen, Li, Sam; Calegari, Walker; and Roune, Woods show a quasi-polynomial structure in several problems where the a_i are also allowed to vary with t. We discuss these "unreasonable" results and conjecture a general class of sets that exhibit various (eventual) quasi-polynomial behaviors: sets S_t of d-tuples of natural numbers that are defined with quantifiers ("for all", "there exists"), boolean operations (and, or, not), and statements of the form a_1(t)x_1+...+a_d(t)x_d <= b(t), where a_i(t) and b(t) are polynomials in t. These sets are a generalization of sets defined in the Presburger arithmetic. We prove several relationships between our conjectures, and we prove several special cases of the conjectures. The title is a play on Eugene Wigner's "The unreasonable effectiveness of mathematics in the natural sciences''.