arXiv++ Combinatorics

Browse math.CO papers from arXiv

sequence

6845 papers tagged with this keyword
2011-12-21 v3
Minimality of toric arrangements
We prove that the complement of a toric arrangement has the homotopy type of a minimal CW complex. As a corollary we obtain that the integer cohomology of these spaces is torsion free. We use Discrete Morse Theory, providing a sequence of cellular collapses that leads to a minimal complex.
2011-12-21
Random generation of combinatorial structures: Boltzmann samplers and beyond
Published • View PublicationBIB
The Boltzmann model for the random generation of "decomposable" combinatorial structures is a set of techniques that allows for efficient random sampling algorithms for a large class of families of discrete objects. The usual requirement of sampling uniformly from the set of objects of a given size is somehow relaxed, though uniformity among objects of each size is still ensured. Generating functions, rather than the enumeration sequences they are based on, are the crucial ingredient. We give a brief description of the general theory, as well as a number of newer developments.
Filter-regular sequences, almost complete intersections and Stanley's conjecture
Let $K$ be a field and $I$ a monomial ideal of the polynomial ring $S=K[x_1,..., x_n]$ generated by monomials $u_1,u_2,..., u_t$. We show that $S/I$ is pretty clean if either: 1) $u_1,u_2,..., u_t$ is a filter-regular sequence, 2) $u_1,u_2,..., u_t$ is a $d$-sequence; or 3) $I$ is almost complete intersection. In particular, in each of these cases, $S/I$ is sequentially Cohen-Macaulay and both Stanley's and $h$-regularity conjectures, on Stanley decompositions, hold for $S/I$. Also, we prove that if $I$ is the Stanley-Reisner ideal of a locally complete intersection simplicial complex on $[n]$, then Stanley's conjecture holds for $S/I$.
2011-12-20 v3
Combinatorics of locally optimal RNA secondary structures
Published • View PublicationBIB
It is a classical result of Stein and Waterman that the asymptotic number of RNA secondary structures is $1.104366 \cdot n^{-3/2} \cdot 2.618034^n$. Motivated by the kinetics of RNA secondary structure formation, we are interested in determining the asymptotic number of secondary structures that are locally optimal, with respect to a particular energy model. In the Nussinov energy model, where each base pair contributes -1 towards the energy of the structure, locally optimal structures are exactly the saturated structures, for which we have previously shown that asymptotically, there are $1.07427\cdot n^{-3/2} \cdot 2.35467^n$ many saturated structures for a sequence of length $n$. In this paper, we consider the base stacking energy model, a mild variant of the Nussinov model, where each stacked base pair contributes -1 toward the energy of the structure. Locally optimal structures with respect to the base stacking energy model are exactly those secondary structures, whose stems cannot be extended. Such structures were first considered by Evers and Giegerich, who described a dynamic programming algorithm to enumerate all locally optimal structures. In this paper, we apply methods from enumerative combinatorics to compute the asymptotic number of such structures. Additionally, we consider analogous combinatorial problems for secondary structures with annotated single-stranded, stacking nucleotides (dangles).
2011-12-16
Two short proofs of the bounded case of S.B. Rao's degree sequence conjecture
Published in Discrete Mathematics Volume 313, Issue 13, 6 July 2013, Pages 1500-1501 • View PublicationBIB
S. B. Rao conjectured that graphic sequences are well-quasi-ordered under an inclusion based on induced subgraphs. This conjecture has now been settled completely by M. Chudnovsky and P. Seymour. One part of the proof proves the result for the bounded case, a result proved independently by C. J. Altomare. We give two short proofs of the bounded case of S. B. Rao's conjecture. Both the proofs use the fact that if the number of entries in an integer sequence (with even sum) is much larger than its highest term, then it is necessarily graphic.
2011-12-15 v5
Multi-way expansion constants and partitions of a graph
In this paper, we consider a relation between $k$-way expansion constant of a finite graph and the expansion constants of subgraphs in a $k$-partition of the graph. Using this relation, we show that a sequence of finite graphs which have uniformly bounded $k+1$-way expansion constants and uniformly bounded degrees can be divided into $k$ or less sequences of expanders. Furthermore, we prove that such sequence of finite graphs is not coarsely embeddable into any Hilbert space.
2011-12-15
The Run Transform
Published • View PublicationBIB
We consider the transform from sequences to triangular arrays defined in terms of generating functions by f(x) -> (1-x)/(1-xy) f(x(1-x)/(1-xy)). We establish a criterion for the transform of a nonnegative sequence to be nonnegative, and we show that the transform counts certain classes of lattice paths by number of "pyramid ascents", as well as certain classes of ordered partitions by number of blocks that consist of increasing consecutive integers.
2011-12-14
Test-space characterizations of some classes of Banach spaces
Published in in: Algebraic Methods in Functional Analysis, The Victor Shulman Anniversary Volume, I.G. Todorov, L. Turowska (Eds.), Operator Theory: Advances and Applications, Vol. 233, Birkhäuser, Basel, 2014, pp. 103-126 • View PublicationBIB
Let $\mathcal{P}$ be a class of Banach spaces and let $T=\{T_α\}_{α\in A}$ be a set of metric spaces. We say that $T$ is a set of {\it test-spaces} for $\mathcal{P}$ if the following two conditions are equivalent: (1) $X\notin\mathcal{P}$; (2) The spaces $\{T_α\}_{α\in A}$ admit uniformly bilipschitz embeddings into $X$. The first part of the paper is devoted to a simplification of the proof of the following test-space characterization obtained in M.I. Ostrovskii [Different forms of metric characterizations of classes of Banach spaces, Houston J. Math., to appear]: For each sequence $\{X_m\}_{m=1}^\infty$ of finite-dimensional Banach spaces there is a sequence $\{H_n\}_{n=1}^\infty$ of finite connected unweighted graphs with maximum degree 3 such that the following conditions on a Banach space $Y$ are equivalent: (A) $Y$ admits uniformly isomorphic embeddings of $\{X_m\}_{m=1}^\infty$; (B) $Y$ admits uniformly bilipschitz embeddings of $\{H_n\}_{n=1}^\infty$. The second part of the paper is devoted to the case when $\{X_m\}_{m=1}^\infty$ is an increasing sequence of spaces. It is shown that in this case the class of spaces given by (A) can be characterized using one test-space, which can be chosen to be an infinite graph with maximum degree 3.
2011-12-14
Supersymmetric lattice fermions on the triangular lattice: superfrustration and criticality
Published in New J. Phys. 14, 073002 (2012) • View PublicationBIB
We study a model for itinerant, strongly interacting fermions where a judicious tuning of the interactions leads to a supersymmetric Hamiltonian. On the triangular lattice this model is known to exhibit a property called superfrustration, which is characterized by an extensive ground state entropy. Using a combination of numerical and analytical methods we study various ladder geometries obtained by imposing doubly periodic boundary conditions on the triangular lattice. We compare our results to various bounds on the ground state degeneracy obtained in the literature. For all systems we find that the number of ground states grows exponentially with system size. For two of the models that we study we obtain the exact number of ground states by solving the cohomology problem. For one of these, we find that via a sequence of mappings the entire spectrum can be understood. It exhibits a gapped phase at 1/4 filling and a gapless phase at 1/6 filling and phase separation at intermediate fillings. The gapless phase separates into an exponential number of sectors, where the continuum limit of each sector is described by a superconformal field theory.
2011-12-13
A combinatorial characterization of tight fusion frames
Published in Pacific J. Math. Vol. 275 (2015), No. 2, 257-294 • View PublicationBIB
In this paper we give a combinatorial characterization of tight fusion frame (TFF) sequences using Littlewood-Richardson skew tableaux. The equal rank case has been solved recently by Casazza, Fickus, Mixon, Wang, and Zhou. Our characterization does not have this limitation. We also develop some methods for generating TFF sequences. The basic technique is a majorization principle for TFF sequences combined with spatial and Naimark dualities. We use these methods and our characterization to give necessary and sufficient conditions which are satisfied by the first three highest ranks. We also give a combinatorial interpretation of spatial and Naimark dualities in terms of Littlewood-Richardson coefficients. We exhibit four classes of TFF sequences which have unique maximal elements with respect to majorization partial order. Finally, we give several examples illustrating our techniques including an example of tight fusion frame which can not be constructed by the existing spectral tetris techniques. We end the paper by giving a complete list of maximal TFF sequences in dimensions less than ten.
2011-12-12
Recurrence Relations and Determinants
We examine relationships between two minors of order n of some matrices of n rows and n+r columns. This is done through a class of determinants, here called $n$-determinants, the investigation of which is our objective. We prove that 1-determinants are the upper Hessenberg determinants. In particular, we state several 1-determinants each of which equals a Fibonacci number. We also derive relationships among terms of sequences defined by the same recurrence equation independently of the initial conditions. A result generalizing the formula for the product of two determinants is obtained. Finally, we prove that the Schur functions may be expressed as $n$-determinants.
2011-12-09
Saturated Domino Coverings
A domino covering of a board is saturated if no domino is redundant. We introduce the concept of a fragment tiling and show that a minimal fragment tiling always corresponds to a maximal saturated domino covering. The size of a minimal fragment tiling is the domination number of the board. We define a class of regular boards and show that for these boards the domination number gives the size of a minimal X-pentomino covering. Natural sequences that count maximal saturated domino coverings of square and rectangular boards are obtained. These include the new sequences A193764, A193765, A193766, A193767, and A193768 of OEIS.
Hankel transform of a sequence obtained by series reversion II - aerating transforms
This paper provides the connection between the Hankel transform and aerating transforms of a given integer sequence. Results obtained are used to establish a completely different Hankel transform evaluation of the series reversion of a certain rational function $Q(x)$ and shifted sequences, recently published in our paper \cite{part1}. For that purpose, we needed to evaluate the Hankel transforms of the sequences $\seqn{α^2 C_n-βC_{n+1}}$ and $\seqn{α^2 C_{n+1}-βC_{n+2}}$, where $C=\seqn{C_n}$ is the well-known sequence of Catalan numbers. This generalizes the results of Cvetkovi\' c, Rajković and Ivković \cite{CRI}. Also, we need the evaluation of Hankel-like determinants whose entries are Catalan numbers $C_n$ and which is based on the recent results of Krattenthaler \cite{krattCat}. The results obtained are general and can be applied to many other Hankel transform evaluations.
2011-12-06 v2
A Note on the Characterization of Digraph Sequences
Published • View PublicationBIB
We consider the following fundamental realization problem of directed graphs. Given a sequence $S:={a_1 \choose b_1},\dots,{a_n \choose b_n}$ with $a_i,b_i\in \mathbb{Z}_0^+.$ Does there exist a digraph (no loops and no parallel arcs are allowed)$G=(V,A)$ with a labeled vertex set $V:=\{v_1,\dots,v_n\}$ such that for all $v_i \in V$ indegree and outdegree of $v_i$ match exactly the given numbers $a_i$ and $b_i$, respectively? There exist two known approaches solving this problem in polynomial running time. One first approach of Kleitman and Wang (1973) uses recursive algorithms to construct digraph realizations \cite{KleitWang:73}. The second one draws back into the Fifties and Sixties of the last century and gives a complete characterization of digraph sequences (Gale 1957, Fulkerson 1960, Ryser 1957, Chen 1966). That is, one has only to validate a certain number of inequalities. Chen bounded this number by $n$. His characterization demands the property that $S$ has to be in lexicographical order. We show that this condition is stronger than necessary. We provide a new characterization which is formally analogous to the classical one by Erd{\H o}s and Gallai (1960) for graphs. Hence, we can give several, different sets of $n$ inequalities. We think that this stronger result can be very important with respect to structural insights about the sets of digraph sequences, for example in the context of threshold sequences. Furthermore, the number of inequalities can be restricted to all $k \in \{1,\dots,n-1\}$ with $a_{k+1}>a_{k}$ and to $k=n.$ An analogous result for graphs was given by Tripathi and Vijay \cite{TripathiVijay03}. We prove this property also for the case of digraphs (no parallel arcs) with at most one loop per vertex.
2011-12-04
A characterization of incomplete sequences in $F_p^d$
Published • View PublicationBIB
A sequence $A$ of elements an additive group $G$ is {\it incomplete} if there exists a group element that {\it can not} be expressed as a sum of elements from $A$. The study of incomplete sequences is a popular topic in combinatorial number theory. However, the structure of incomplete sequences is still far from being understood, even in basic groups. The main goal of this paper is to give a characterization of incomplete sequences in the vector space $F_p^d$, where $d$ is a fixed integer and $p$ is a large prime. As an application, we give a new proof for a recent result by Gao-Ruzsa-Thangadurai on the Olson's constant of $\F_p^2$ and partially answer their conjecture concerning $F_p^3$.
2011-12-04 v2
Cocharacters of polynomial identities of block triangular matrices
Published • View PublicationBIB
We give an algorithm which calculates the generating function of the cocharacter sequence of the polynomial identities of the algebra of upper block triangular (p+2q) x (p+2q) matrices over a field of characteristic zero with diagonal consisting of p copies of 1 x 1 and q copies of 2 x 2 matrices. We have found the explicit form of the multiplicities and their asymptotic behaviour for small values of p and q.
2011-12-04
Different forms of metric characterizations of classes of Banach spaces
Published in Houston J. Math., 39 (2013), no. 3, 889-906 • Search Publication
For each sequence X of finite-dimensional Banach spaces there exists a sequence H of finite connected nweighted graphs with maximum degree 3 such that the following conditions on a Banach space Y are equivalent: (1) Y admits uniformly isomorphic embeddings of elements of the sequence X. (2) Y admits uniformly bilipschitz embeddings of elements of the sequence H.
2011-11-28 v4
The $(q,t)$-Gaussian Process
We introduce a two-parameter deformation of the classical Bosonic, Fermionic, and Boltzmann Fock spaces that is a refinement of the $q$-Fock space of [BS91]. Starting with a real, separable Hilbert space $H$, we construct the $(q,t)$-Fock space and the corresponding creation and annihilation operators, $\{a_{q,t}(h)^\ast\}_{h\in H}$ and $\{a_{q,t}(h)\}_{h\in H}$, satifying the $(q,t)$-commutation relation $a_{q,t}(f)a_{q,t}(g)^\ast-q \,a_{q,t}(g)^\ast a_{q,t}(f)= <f,g>_{_H}\, t^{N},$ for $h,g\in H$, with $N$ denoting the number operator. Interpreting the bounded linear operators on the $(q,t)$-Fock space as non-commutative random variables, the analogue of the Gaussian random variable is given by the deformed field operator $s_{q,t}(h):=a_{q,t}(h)+a_{q,t}(h)^\ast$, for $h\in H$. The resulting refinement is particularly natural, as the moments of $s_{q,t}(h)$ are encoded by the joint statistics of crossings \emph{and nestings} in pair partitions. Furthermore, the orthogonal polynomial sequence associated with the normalized $(q,t)$-Gaussian $s_{q,t}$ is that of the $(q,t)$-Hermite orthogonal polynomials, a deformation of the $q$-Hermite sequence that is given by the recurrence $zH_n(z;q,t)=H_{n+1}(z;q,t)+[n]_{q,t}H_{n-1}(z;q,t),$ with $H_0(z;q,t)=1$, $H_1(z;q,t)=z$, and $[n]_{q,t}=\sum_{i=1}^n q^{i-1}t^{n-i}$. The $q=0<t$ specialization yields a new single-parameter deformation of the full Boltzmann Fock space of free probability. The probability measure associated with the corresponding deformed semicircular operator turns out to be encoded, in various forms, via the Rogers-Ramanujan continued fraction, the Rogers-Ramanujan identities, the $t$-Airy function, the $t$-Catalan numbers of Carlitz-Riordan, and the first-order statistics of the reduced Wigner process.
2011-11-27
A permutation pattern that illustrates the strong law of small numbers
We obtain an explicit formula for the number of permutations of [n] that avoid the barred pattern bar{1}43bar{5}2. A curious feature of its counting sequence, 1, 1, 2, 5, 14, 43, 145, 538, 2194,..., is that the displayed terms agree with A122993 in the On-Line Encyclopedia of Integer Sequences, but the two sequences diverge thereafter.
2011-11-23
An Inequality for Generalized Chromatic Graphs
Let $G$ be a simple $n$-vertex graph with degree sequence $d_1,d_2,...,d_n$ and vertex set $\V(G)$. The degree of $v\in\V(G)$ is denoted by $\D(v)$. The smallest integer $r$ for which $\V(G)$ has an $r$-partition $$ \V(G)=V_1\cup V_2\cup...\cup V_r,\quad V_i\cap V_j=\emptyset, \quad,i\neq j $$ such that $\D(v)\leq n-\abs{V_i}$, $\forall v\in V_i$, $i=1,2,...,r$ is denoted by $\f(G)$. In this note we prove the inequality $$ \f(G)\geq\frac n{n-\bar{\bar{d}}}, $$ where $\bar{\bar{d}}=\sqrt{\dfrac{d_1^2+d_2^2+...+d_n^2}n}$.