sequence
6845 papers tagged with this keyword
Q-Systems, Factorization Dynamics, and the Twist Automorphism
Published
• View Publication
• BIB
We provide a concrete realization of the cluster algebras associated with Q-systems as amalgamations of cluster structures on double Bruhat cells in simple algebraic groups. For nonsimply-laced groups, this provides a cluster-algebraic formulation of Q-systems of twisted type. It also yields a uniform proof of the discrete integrability of these Q-systems by identifying them with the dynamics of factorization mappings on quotients of double Bruhat cells. On the double Bruhat cell itself, we find these dynamics are closely related to those of the Fomin-Zelevinsky twist map. This leads to an explicit formula expressing twisted cluster variables as Laurent monomials in the untwisted cluster variables obtained from the corresponding mutation sequence. This holds for Coxeter double Bruhat cells in any symmetrizable Kac-Moody group, and we show that in affine type the analogous factorization mapping is also integrable.
On the descent polynomial of signed multipermutations
Published
• View Publication
• BIB
Motivated by a conjecture of Savage and Visontai about the equidistribution of the descent statistic on signed permutations of the multiset $\{1,1,2,2,\ldots,n,n\}$ and the ascent statistic on $(1,4,3,8,\ldots,2n-1,4n)$-inversion sequences, we investigate the descent polynomial of the signed permutations of a general multiset. We obtain a factorial generating function formula for a $q$-analog of these descent polynomials and apply it to show that they have only real roots. Two different proofs of the conjecture of Savage and Visontai are provided.
s-Inversion Sequences and P-Partitions of Type B
Published
• View Publication
• BIB
Given a sequence $s=(s_1,s_2,\ldots)$ of positive integers, the inversion sequences with respect to $s$, or $s$-inversion sequences, were introduced by Savage and Schuster in their study of lecture hall polytopes. A sequence $(e_1,e_2,\ldots,e_n)$ of nonnegative integers is called an $s$-inversion sequence of length $n$ if $0\leq e_i < s_i$ for $1\leq i\leq n$. Let I(n) be the set of $s$-inversion sequences of length $n$ for $s=(1,4,3,8,5,12,\ldots)$, that is, $s_{2i}=4i$ and $s_{2i-1}=2i-1$ for $i\geq1$, and let $P_n$ be the set of signed permutations on $\{1^2,2^2,\ldots,n^2\}$. Savage and Visontai conjectured that when $n=2k$, the ascent number over $I_n$ is equidistributed with the descent number over $P_k$. For a positive integer $n$, we use type $B$ $P$-partitions to give a characterization of signed permutations over which the descent number is equidistributed with the ascent number over $I_n$. When $n$ is even, this confirms the conjecture of Savage and Visontai. Moreover, let $I'_n$ be the set of $s$-inversion sequences of length $n$ for $s=(2,2,6,4,10,6,\ldots)$, that is, $s_{2i}=2i$ and $s_{2i-1}=4i-2$ for $i\geq1$. We find a set of signed permutations over which the descent number is equidistributed with the ascent number over $I'_n$.
An Elementary Proof of the Hook Content Formula
In this paper we prove the Hook Content Formula (HCF) (and Hook Length Formula (HLF)) using induction. Instead of working with Young tableaux directly, we introduce a vector notation (sequences of these vectors represent ("single-vote") ballot sequences in the case of SYT, and "multi-vote" ballot sequences--where the voter may choose any number of candidates--in the case of SSYT) to aid in the inductive argument. Next, we establish an identity which allows us to prove a formula that counts multi-vote ballot sequences. We demonstrate that, in the non-degenerate case (when this formula counts SSYTs) it coincides with the HCF. To do the latter, we borrow parts of a technique outlined by Wilson and Van Lint in their proof of the HLF. We then establish an identity, which is really a special case of the equation mentioned above, and show that the HLF follows from it. (Wilson and Van Lint prove this identity directly, and use it to prove the HLF in a similar manner.) We then note the appearance of an expression resembling the Weyl dimension formula and conclude with a combinatorial result.
A sharp refinement of a result of Zverovich--Zverovich
Published
• View Publication
• BIB
For a finite sequence of positive integers to be the degree sequence of a finite graph, Zverovich and Zverovich gave a sufficient condition involving only the length of the sequence, its maximal element and its minimal element. In this paper we give a sharp refinement of Zverovich--Zverovich's result.
Small Superpatterns for Dominance Drawing
Published
• View Publication
• BIB
We exploit the connection between dominance drawings of directed acyclic graphs and permutations, in both directions, to provide improved bounds on the size of universal point sets for certain types of dominance drawing and on superpatterns for certain natural classes of permutations. In particular we show that there exist universal point sets for dominance drawings of the Hasse diagrams of width-two partial orders of size O(n^{3/2}), universal point sets for dominance drawings of st-outerplanar graphs of size O(n\log n), and universal point sets for dominance drawings of directed trees of size O(n^2). We show that 321-avoiding permutations have superpatterns of size O(n^{3/2}), riffle permutations (321-, 2143-, and 2413-avoiding permutations) have superpatterns of size O(n), and the concatenations of sequences of riffles and their inverses have superpatterns of size O(n\log n). Our analysis includes a calculation of the leading constants in these bounds.
On face numbers of neighborly cubical polytopes
Neighborly cubical polytopes are known as the cubical analogues of the cyclic polytopes. Using the short cubical $h$-vectors of cubical polytopes (introduced by Adin), we derive an explicit formula for the face numbers of the neighborly cubical polytopes. These face numbers form a unimodal sequence.
On the construction of l-equienergetic graphs
Published
• View Publication
• BIB
For a graph with $n$ vertices and $m$ edges, having Laplacian spectrum $μ_1, μ_2, \cdots,μ_n$ and signless Laplacian spectrum $μ^+_1,μ^+_2, \cdots,μ^+_n$, the Laplacian energy and signless Laplacian energy of $G$ are respectively, defined as $LE(G)=\sum_{i=1}^{n}|μ_i-\frac{2m}{n}|$ and $LE^+(G)=\sum_{i=1}^{n}|μ^+_i-\frac{2m}{n}|$. Two graphs $G_1$ and $G_2$ of same order are said to be $L$-equienergetic if $LE(G_1)=LE(G_2)$ and $Q$-equienergetic if $LE^{+}(G_1)=LE^{+}(G_2)$. The problem of constructing graphs having same Laplacian energy has been considered by Stevanovic for threshold graphs and by Liu and Liu for those graphs whose order is $n\equiv 0$ (mod 7). In general the problem of constructing $L$-equienergetic graphs from any pair of given graphs is still not solved, and this work is an attempt in that direction. We construct sequences of non-cospectral (Laplacian, signless Laplacian) $L$-equienergetic and $Q$-equienergetic graphs from any pair of graphs having same number of vertices and edges.
Universal Limit Theorems in Graph Coloring Problems With Connections to Extremal Combinatorics
Published in Annals of Applied Probability, Vol. 27 (1), 337-394, 2017
• View Publication
• BIB
This paper proves limit theorems for the number of monochromatic edges in uniform random colorings of general random graphs. These can be seen as generalizations of the birthday problem (what is the chance that there are two friends with the same birthday?). It is shown that if the number of colors grows to infinity, the asymptotic distribution is either a Poisson mixture or a Normal depending solely on the limiting behavior of the ratio of the number of edges in the graph and the number of colors. This result holds for any graph sequence, deterministic or random. On the other hand, when the number of colors is fixed, a necessary and sufficient condition for asymptotic normality is determined. Finally, using some results from the emerging theory of dense graph limits, the asymptotic (non-normal) distribution is characterized for any converging sequence of dense graphs. The proofs are based on moment calculations which relate to the results of Erd\H os and Alon on extremal subgraph counts. As a consequence, a simpler proof of a result of Alon, estimating the number of isomorphic copies of a cycle of given length in graphs with a fixed number of edges, is presented.
Self-Similar Graphs
For any graph $G$ on $n$ vertices and for any {\em symmetric} subgraph $J$ of $K_{n,n}$, we construct an infinite sequence of graphs based on the pair $(G,J)$. The First graph in the sequence is $G$, then at each stage replacing every vertex of the previous graph by a copy of $G$ and every edge of the previous graph by a copy of $J$ the new graph is constructed. We call these graphs {\em self-similar} graphs. We are interested in delineating those pairs $(G,J)$ for which the chromatic numbers of the graphs in the sequence are bounded. Here we have some partial results. When $G$ is a complete graph and $J$ is a special matching we show that every graph in the resulting sequence is an {\em expander} graph.
TSP Tours in Cubic Graphs: Beyond 4/3
Published
• View Publication
• BIB
After a sequence of improvements Boyd, Sitters, van der Ster, and Stougie proved that any 2-connected graph whose n vertices have degree 3, i.e., a cubic 2-connected graph, has a Hamiltonian tour of length at most (4/3)n, establishing in particular that the integrality gap of the subtour LP is at most 4/3 for cubic 2-connected graphs and matching the conjectured value of the famous 4/3 conjecture. In this paper we improve upon this result by designing an algorithm that finds a tour of length (4/3 - 1/61236)n, implying that cubic 2-connected graphs are among the few interesting classes of graphs for which the integrality gap of the subtour LP is strictly less than 4/3. With the previous result, and by considering an even smaller epsilon, we show that the integrality gap of the TSP relaxation is at most 4/3 - epsilon, even if the graph is not 2-connected (i.e. for cubic connected graphs), implying that the approximability threshold of the TSP in cubic graphs is strictly below 4/3. Finally, using similar techniques we show, as an additional result, that every Barnette graph admits a tour of length at most (4/3 - 1/18)n.
Euler tours and unicycles in the rotor-router model
Published
• View Publication
• BIB
A recurrent state of the rotor-routing process on a finite sink-free graph can be represented by a unicycle that is a connected spanning subgraph containing a unique directed cycle. We distinguish between short cycles of length 2 called "dimers" and longer ones called "contours". Then the rotor-router walk performing an Euler tour on the graph generates a sequence of dimers and contours which exhibits both random and regular properties. Imposing initial conditions randomly chosen from the uniform distribution we calculate expected numbers of dimers and contours and correlation between them at two successive moments of time in the sequence. On the other hand, we prove that the excess of the number of contours over dimers is an invariant depending on planarity of the subgraph but not on initial conditions. In addition, we analyze the mean-square displacement of the rotor-router walker in the recurrent state.
Minimal forbidden sets for degree sequence characterizations
Published in Discrete Mathematics 338 (2015), no. 9, 1543--1554
• View Publication
• BIB
Given a set $\mathcal{F}$ of graphs, a graph $G$ is $\mathcal{F}$-free if $G$ does not contain any member of $\mathcal{F}$ as an induced subgraph. Barrus, Kumbhat, and Hartke [M. D. Barrus, M. Kumbhat, and S. G. Hartke, Graph classes characterized both by forbidden subgraphs and degree sequences, J. Graph Theory (2008), no. 2, 131--148] called $\mathcal{F}$ a degree-sequence-forcing (DSF) set if, for each graph $G$ in the class $\mathcal{C}$ of $\mathcal{F}$-free graphs, every realization of the degree sequence of $G$ is also in $\mathcal{C}$. A DSF set is minimal if no proper subset is also DSF. In this paper, we present new properties of minimal DSF sets, including that every graph is in a minimal DSF set and that there are only finitely many DSF sets of cardinality $k$. Using these properties and a computer search, we characterize the minimal DSF triples.
On fractional realizations of graph degree sequences
Published in Electronic Journal of Combinatorics 21 (2014), no. 2, Paper #P2.18
• View Publication
• BIB
We introduce fractional realizations of a graph degree sequence and a closely associated convex polytope. Simple graph realizations correspond to a subset of the vertices of this polytope. We describe properties of the polytope vertices and characterize degree sequences for which each polytope vertex corresponds to a simple graph realization. These include the degree sequences of pseudo-split graphs, and we characterize their realizations both in terms of forbidden subgraphs and graph structure.
Topological orderings of weighted directed acyclic graphs
Published
• View Publication
• BIB
We call a topological ordering of a weighted directed acyclic graph non-negative if the sum of weights on the vertices in any prefix of the ordering is non-negative. We investigate two processes for constructing non-negative topological orderings of weighted directed acyclic graphs. The first process is called a mark sequence and the second is a generalization called a mark-unmark sequence. We answer a question of Erickson by showing that every non-negative topological ordering that can be realized by a mark-unmark sequence can also be realized by a mark sequence. We also investigate the question of whether a given weighted directed acyclic graph has a non-negative topological ordering. We show that even in the simple case when every vertex is a source or a sink the question is NP-complete.
Characterization of the degree sequences of (quasi) regular uniform hypergraphs
Published
• View Publication
• BIB
In hypergraph theory, determining a characterization of the degree sequence $d=(d_1,d_2,\ldots,d_n)$ where $d_1\ge d_2\ge\ldots,d_n$ are positive integers, of an $h$-uniform simple hypergraph $\cal H$, and deciding the complexity status of the reconstruction of $\cal H$ from $d$, are two challenging open problems. They can be formulated in the context of discrete tomography: asks whether there is a matrix $A$ with positive projection vectors $H=(h,h,\ldots,h)$ and $V=(d_1,d_2,\ldots,d_n)$ with distinct rows. In this paper we consider the two subcases where the vector $V$ is an homogeneous vector, and where $V$ is almost homogeneous, i.e., $d_1-d_n=1$. We give a simple characterization for these two subcases, and we show how to solve the related reconstruction problems in polynomial time. To reach our goal, we use the concepts of Lyndon words and necklaces of fixed density, and we apply some already known algorithms for their efficient generation.
Difference Balanced Functions and Their Generalized Difference Sets
Published
• View Publication
• BIB
Difference balanced functions from $F_{q^n}^*$ to $F_q$ are closely related to combinatorial designs and naturally define $p$-ary sequences with the ideal two-level autocorrelation. In the literature, all existing such functions are associated with the $d$-homogeneous property, and it was conjectured by Gong and Song that difference balanced functions must be $d$-homogeneous. First we characterize difference balanced functions by generalized difference sets with respect to two exceptional subgroups. We then derive several necessary and sufficient conditions for $d$-homogeneous difference balanced functions. In particular, we reveal an unexpected equivalence between the $d$-homogeneous property and multipliers of generalized difference sets. By determining these multipliers, we prove the Gong-Song conjecture for $q$ prime. Furthermore, we show that every difference balanced function must be balanced or an affine shift of a balanced function.
Quantum cluster algebra structures on quantum nilpotent algebras
Published
• View Publication
• BIB
All algebras in a very large, axiomatically defined class of quantum nilpotent algebras are proved to possess quantum cluster algebra structures under mild conditions. Furthermore, it is shown that these quantum cluster algebras always equal the corresponding upper quantum cluster algebras. Previous approaches to these problems for the construction of (quantum) cluster algebra structures on (quantized) coordinate rings arising in Lie theory were done on a case by case basis relying on the combinatorics of each concrete family. The results of the paper have a broad range of applications to these problems, including the construction of quantum cluster algebra structures on quantum unipotent groups and quantum double Bruhat cells (the Berenstein-Zelevinsky conjecture), and treat these problems from a unified perspective. All such applications also establish equality between the constructed quantum cluster algebras and their upper counterparts. The proofs rely on Chatters' notion of noncommutative unique factorization domains. Toric frames are constructed by considering sequences of homogeneous prime elements of chains of noncommutative UFDs (a generalization of the construction of Gelfand-Tsetlin subalgebras) and mutations are obtained by altering chains of noncommutative UFDs. Along the way, an intricate (and unified) combinatorial model for the homogeneous prime elements in chains of noncommutative UFDs and their alterations is developed. When applied to special families, this recovers the combinatorics of Weyl groups and double Weyl groups previously used in the construction and categorification of cluster algebras. It is expected that this combinatorial model of sequences of homogeneous prime elements will have applications to the unified categorification of quantum nilpotent algebras.
On the properties of a sequence concerning binomial coefficients
For $n\ge 3$ let $f(n)$ be the least positive integer $k$ such that $\binom nk>\frac{2^n}{n+1}$. In this paper we investigate the properties of $f(n)$.
Factorization Properties of Leamer Monoids
Published in Semigroup Forum 89 (2014), no. 2, 409-421
• View Publication
• BIB
The Huneke-Wiegand conjecture has prompted much recent research in Commutative Algebra. In studying this conjecture for certain classes of rings, García-Sánchez and Leamer construct a monoid S_Γ^s whose elements correspond to arithmetic sequences in a numerical monoid Γof step size s. These monoids, which we call Leamer monoids, possess a very interesting factorization theory that is significantly different from the numerical monoids from which they are derived. In this paper, we offer much of the foundational theory of Leamer monoids, including an analysis of their atomic structure, and investigate certain factorization invariants. Furthermore, when S_Γ^s is an arithmetical Leamer monoid, we give an exact description of its atoms and use this to provide explicit formulae for its Delta set and catenary degree.