sequence
6845 papers tagged with this keyword
The Lefschetz property for barycentric subdivisions of shellable complexes
Published
• View Publication
• BIB
We show that an 'almost strong Lefschetz' property holds for the barycentric subdivision of a shellable complex. From this we conclude that for the barycentric subdivision of a Cohen-Macaulay complex, the $h$-vector is unimodal, peaks in its middle degree (one of them if the dimension of the complex is even), and that its $g$-vector is an $M$-sequence. In particular, the (combinatorial) $g$-conjecture is verified for barycentric subdivisions of homology spheres. In addition, using the above algebraic result, we derive new inequalities on a refinement of the Eulerian statistics on permutations, where permutations are grouped by the number of descents and the image of 1.
The Algebra of Graph Invariants - Lower and Upper Bounds for Minimal Generators
In this paper we study the algebra of graph invariants, focusing mainly on the invariants of simple graphs.
All other invariants, such as sorted eigenvalues, degree sequences and canonical permutations, belong to this algebra. In fact, every graph invariant is a linear combination of the basic graph invariants which we study in this paper.
To prove that two graphs are isomorphic, a number of basic invariants are required, which are called separator invariants. The minimal set of separator invariants is also the minimal basic generator set for the algebra of graph invariants.
We find lower and upper bounds for the minimal number of generator/separator invariants needed for proving graph isomorphism.
Finally we find a sufficient condition for Ulam's conjecture to be true based on Redfield's enumeration formula.
Univoque numbers and an avatar of Thue-Morse
Published in Acta Arithmetica, 136 (2009) 319-329
• View Publication
• BIB
Univoque numbers are real numbers $λ> 1$ such that the number 1 admits a unique expansion in base $λ$, i.e., a unique expansion $1 = \sum_{j \geq 0} a_j λ^{-(j+1)}$, with $a_j \in \{0, 1, ..., \lceil λ\rceil -1\}$ for every $j \geq 0$. A variation of this definition was studied in 2002 by Komornik and Loreti, together with sequences called {\em admissible sequences}. We show how a 1983 study of the first author gives both a result of Komornik and Loreti on the smallest admissible sequence on the set $\{0, 1, >..., b\}$, and a result of de Vries and Komornik (2007) on the smallest univoque number belonging to the interval $(b, b+1)$, where $b$ is any positive integer. We also prove that this last number is transcendental. An avatar of the Thue-Morse sequence, namely the fixed point beginning in 3 of the morphism $3 \to 31$, $2 \to 30$, $1 \to 03$, $0 \to 02$, occurs in a "universal" manner.
Sets, Lists and Noncrossing Partitions
Published in Journal of Integer Sequences, Vol. 11, 2008, Article 08.1.3
• Search Publication
Partitions of [n]={1,2,...,n} into sets of lists are counted by sequence number A000262 in the On-Line Encyclopedia of Integer Sequences. They are somewhat less numerous than partitions of [n] into lists of sets, A000670. Here we observe that the former are actually equinumerous with partitions of [n] into lists of *noncrossing* sets and give a bijective proof. We show that partitions of [n] into sets of noncrossing lists are counted by A088368 and generalize this result to introduce a transform on integer sequences that we dub the "noncrossing partition" transform. We also derive recurrence relations to count partitions of [n] into lists of noncrossing lists.
Perfect domination in rectangular grid graphs
A dominating set $S$ in a graph $G$ is said to be perfect if every vertex of $G$ not in $S$ is adjacent to just one vertex of $S$. Given a vertex subset $S'$ of a side $P_m$ of an $m\times n$ grid graph $G$, the perfect dominating sets $S$ in $G$ with $S'=S\cap V(P_m)$ can be determined via an exhaustive algorithm $Θ$ of running time $O(2^{m+n})$. Extending $Θ$ to infinite grid graphs of width $m-1$, periodicity makes the binary decision tree of $Θ$ prunable into a finite threaded tree, a closed walk of which yields all such sets $S$. The graphs induced by the complements of such sets $S$ can be codified by arrays of ordered pairs of positive integers via $Θ$, for the growth and determination of which a speedier %greedy algorithm exists. %and their periodic structure, further studied. A recent characterization of grid graphs having total perfect codes $S$ (with just 1-cubes as induced components), due to Klostermeyer and Goldwasser, is given in terms of $Θ$, which allows to show that these sets $S$ are restrictions of only one total perfect code $S_1$ in the integer lattice graph $Λ$ of $\R^2$. Moreover, the complement $Λ-S_1$ yields an aperiodic tiling, like the Penrose tiling. In contrast, the parallel, horizontal, total perfect codes in $Λ$ are in 1-1 correspondence with the doubly infinite $\{0,1\}$-sequences.
A weighted generalization of Gao's n+D-1 Theorem
Published
• View Publication
• BIB
Let $G$ denotes a finite abelian group of order $n$ and Davenport constant $D$, and put $m= n+D-1$.
Let $x=(x_1, ..., x_m)\in G^m$ be a sequence with a maximal repetition $\ell$ attained by $x_m$ and put $r=\min(D,\ell)$. Let $w=(w_1, ..., w_{m-r})\in \Z^{m-r}.$ Then there are an $n$-subset $I\subset [1,m-r]$ and an injection $f: I\mapsto [1,m]$, such that $m\in f(I)$ and $$\sum_{i\in I}w_{i}x_{f({i})}=(\sum_{i\in I}w_{i})x_{m}.$$
Hyperfinite graph limits
Published
• View Publication
• BIB
Gábor Elek introduced the notion of a hyperfinite graph family: a collection of graphs is hypefinite if for every $ε>0$ there is some finite $k$ such that each graph $G$ in the collection can be broken into connected components of size at most $k$ by removing a set of edges of size at most $ε|V(G)|$. We presently extend this notion to a certain compactification of finite bounded-degree graphs, and show that if a sequence of finite graphs converges to a hyperfinite limit, then the sequence itself is hyperfinite.
Powers of sequences and recurrence
Published
• View Publication
• BIB
We study recurrence, and multiple recurrence, properties along the $k$-th powers of a given set of integers. We show that the property of recurrence for some given values of $k$ does not give any constraint on the recurrence for the other powers. This is motivated by similar results in number theory concerning additive basis of natural numbers. Moreover, motivated by a result of Kamae and Mendès-France, that links single recurrence with uniform distribution properties of sequences, we look for an analogous result dealing with higher order recurrence and make a related conjecture.
On the universal Gröbner bases of varieties of minimal degree
Published
• View Publication
• BIB
A universal Gröbner basis of an ideal is the union of all its reduced Gröbner bases. It is contained in the Graver basis, the set of all primitive elements. Obtaining an explicit description of either of these sets, or even a sharp degree bound for their elements, is a nontrivial task.
In their '95 paper, Graham, Diaconis and Sturmfels give a nice combinatorial description of the Graver basis for any rational normal curve in terms of primitive partition identities. Their result is extended here to rational normal scrolls. The description of the Graver bases is given in terms of colored partition identities. This leads to a sharp bound on the degree of Graver basis elements, which is always attained by a circuit.
Finally, for any variety obtained from a scroll by a sequence of projections to some of the coordinate hyperplanes, the degree of any element in any reduced Gröbner basis is bounded by the degree of the variety.
Minimum de Bruijn Sequence in a Language with Forbidden Substrings
Let be the following strategy to construct a walk in a labeled digraph: at each vertex, we follow the unvisited arc of minimum label. In this work we study for which languages, applying the previous strategy over the corresponding de Bruijn graph, we finish with an Eulerian cycle, in order to obtain the minimal de Bruijn sequence of the language.
Inductive Methods and zero-sum free sequences
Published
• View Publication
• BIB
We obtain a decidability result for the Davenport constant.
Period Lengths for Iterated Functions
Published
• View Publication
• BIB
For random maps, the expected value of the order (i.e. the period of the sequence of compositional iterates) is approximated asymptotically. It is much smaller than the expected value for the product of the cycle lengths.
Tutte chromatic identities from the Temperley-Lieb algebra
Published in Geom. Topol. 13 (2009) 709-741
• View Publication
• BIB
This paper introduces a conceptual framework, in the context of quantum topology and the algebras underlying it, for analyzing relations obeyed by the chromatic polynomial χ(Q) of planar graphs. Using it we give new proofs and substantially extend a number of classical results concerning the combinatorics of the chromatic polynomial. In particular, we show that Tutte's golden identity is a consequence of level-rank duality for SO(N) topological quantum field theories and Birman-Murakami-Wenzl algebras. This identity is a remarkable feature of the chromatic polynomial relating χ({φ+2}) for any triangulation of the sphere to (χ({φ+1}))^2 for the same graph, where φdenotes the golden ratio. The new viewpoint presented here explains that Tutte's identity is special to these values of the parameter Q. A natural context for analyzing such properties of the chromatic polynomial is provided by the {\em chromatic algebra}, whose Markov trace is the chromatic polynomial of an associated graph. We use it to show that another identity of Tutte's for the chromatic polynomial at Q=φ+1 arises from a Jones-Wenzl projector in the Temperley-Lieb algebra. We generalize this identity to each value Q= 2+2\cos(2πj/(n+1)) for j< n positive integers. When j=1, these Q are the Beraha numbers, where the existence of such identities was conjectured by Tutte. We present a recursive formula for this sequence of chromatic polynomial relations.
Discrete differential geometry of tetrahedrons and encoding of local protein structure
Local protein structure analysis is informative to protein structure analysis and has been used successfully in protein structure prediction and others. Proteins have recurring structural features, such as helix caps and beta turns, which often have strong amino acid sequence preferences. And the challenges for local structure analysis have been identification and assignment of such common short structural motifs.
This paper proposes a new mathematical framework that can be applied to analysis of the local structure of proteins, where local conformations of protein backbones are described using differential geometry of folded tetrahedron sequences. Using the framework, we could capture the recurring structural features without any structural templates, which makes local structure analysis not only simpler, but also more objective.
Programs and examples are available from http://www.genocript.com .
Weighted Sequences in Finite Cyclic Groups
Let $p>7$ be a prime, let $G=\Z/p\Z$, and let $S_1=\prod_{i=1}^p g_i$ and $S_2=\prod_{i=1}^p h_i$ be two sequences with terms from $G$. Suppose that the maximum multiplicity of a term from either $S_1$ or $S_2$ is at most $\frac{2p+1}{5}$. Then we show that, for each $g\in G$, there exists a permutation $σ$ of $1,2,..., p$ such that $g=\sum_{i=1}^{p}(g_i\cdot h_{σ(i)})$. The question is related to a conjecture of A. Bialostocki concerning weighted subsequence sums and the Erdős-Ginzburg-Ziv Theorem.
Determinants of rational knots
Published
• View Publication
• BIB
We study the Fox coloring invariants of rational knots. We express the propagation of the colors down the twists of these knots and ultimately the determinant of them with the help of finite increasing sequences whose terms of even order are even and whose terms of odd order are odd.
On cardinality constrained cycle and path polytopes
Published
• View Publication
• BIB
Given a directed graph D = (N, A) and a sequence of positive integers 1 <= c_1 < c_2 < ... < c_m <= |N|, we consider those path and cycle polytopes that are defined as the convex hulls of simple paths and cycles of D of cardinality c_p for some p, respectively. We present integer characterizations of these polytopes by facet defining linear inequalities for which the separation problem can be solved in polynomial time. These inequalities can simply be transformed into inequalities that characterize the integer points of the undirected counterparts of cardinality constrained path and cycle polytopes. Beyond we investigate some further inequalities, in particular inequalities that are specific to odd/even paths and cycles.
Cohomology of the Hilbert scheme of points on a surface with values in representations of tautological bundles
Published in Duke Math. J. 150, no. 2 (2009), 211-267
• View Publication
• BIB
Let $X$ a smooth quasi-projective algebraic surface, $L$ a line bundle on $X$. Let $X^{[n]}$ the Hilbert scheme of $n$ points on $X$ and $L^{[n]}$ the tautological bundle on $X^{[n]}$ naturally associated to the line bundle $L$ on $X$. We explicitely compute the image $\bkrh(L^{[n]})$ of the tautological bundle $L^{[n]}$ for the Bridgeland-King-Reid equivalence $\bkrh : \B{D}^b(X^{[n]}) \ra \B{D}^b_{\perm_n}(X^n)$ in terms of a complex $\comp{\mc{C}}_L$ of $\perm_n$-equivariant sheaves in $\B{D}^b_{\perm_n}(X^n)$. We give, moreover, a characterization of the image $\bkrh(L^{[n]} \tens ... \tens L^{[n]})$ in terms of of the hyperderived spectral sequence $E^{p,q}_1$ associated to the derived $k$-fold tensor power of the complex $\comp{\mc{C}}_L$. The study of the $\perm_n$-invariants of this spectral sequence allows to get the derived direct images of the double tensor power and of the general $k$-fold exterior power of the tautological bundle for the Hilbert-Chow morphism, providing Danila-Brion-type formulas in these two cases. This yields easily the computation of the cohomology of $X^{[n]}$ with values in $L^{[n]} \tens L^{[n]}$ and $Λ^k L^{[n]}$.
Combinatorial Aspects of Elliptic Curves II: Relationship between Elliptic Curves and Chip-Firing Games on Graphs
Let q be a power of a prime and E be an elliptic curve defined over F_q. In "Combinatorial aspects of elliptic curves" [17], the present author examined a sequence of polynomials which express the N_k's, the number of points on E over the field extensions F_{q^k}, in terms of the parameters q and N_1 = #E(F_q). These polynomials have integral coefficients which alternate in sign, and a combinatorial interpretation in terms of spanning trees of wheel graphs. In this sequel, we explore further ramifications of this connection. In particular, we highlight a relationship between elliptic curves and chip-firing games on graphs by comparing the groups structures of both. As a coda, we construct a cyclic rational language whose zeta function is dual to that of an elliptic curve.
Schur type functions associated with polynomial sequences of binomial type
Published
• View Publication
• BIB
We introduce a class of Schur type functions associated with polynomial sequences of binomial type. This can be regarded as a generalization of the ordinary Schur functions and the factorial Schur functions. This generalization satisfies some interesting expansion formulas, in which there is a curious duality. Moreover this class includes examples which are useful to describe the eigenvalues of Capelli type central elements of the universal enveloping algebras of classical Lie algebras.