sequence
6966 papers tagged with this keyword
Integer Polynomial Optimization in Fixed Dimension
Published in Mathematics of Operations Research 31 (2006), no. 1, 147-153
• View Publication
• BIB
We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials that are non-negative over the polytope, these sequences of bounds lead to a fully polynomial-time approximation scheme for the optimization problem.
An application of graph pebbling to zero-sum sequences in abelian groups
A sequence of elements of a finite group G is called a zero-sum sequence if it sums to the identity of G. The study of zero-sum sequences has a long history with many important applications in number theory and group theory. In 1989 Kleitman and Lemke, and independently Chung, proved a strengthening of a number theoretic conjecture of Erdos and Lemke. Kleitman and Lemke then made more general conjectures for finite groups, strengthening the requirements of zero-sum sequences. In this paper we prove their conjecture in the case of abelian groups. Namely, we use graph pebbling to prove that for every sequence (g_k)_{k=1}^{|G|} of |G| elements of a finite abelian group G there is a nonempty subsequence (g_k)_{k in K} such that sum_{k in K}g_k=0_G and sum_{k in K}1/|g_k|\le 1, where |g| is the order of the element g in G.
In search of Robbins stability
Published in Advances in Applied Mathematics, Volume 34, Issue 4, May 2005, pp. 659-668
• View Publication
• BIB
We speculate on whether a certain p-adic stability phenomenon, observed by David Robbins empirically for Dodgson condensation, appears in other nonlinear recurrence relations that "unexpectedly" produce integer or nearly-integer sequences. We exhibit an example (number friezes) where this phenomenon provably occurs.
An extremal problem on potentially $K_{m}-P_{k}$-graphic sequences
A sequence $S$ is potentially $K_{m}-P_{k}$ graphical if it has a realization containing a $K_{m}-P_{k}$ as a subgraph. Let $σ(K_{m}-P_{k}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-P_{k}, n)$ is potentially $K_{m}-P_{k}$ graphical. In this paper, we prove that $σ(K_{m}-P_{k}, n)\geq (2m-6)n-(m-3)(m-2)+2,$ for $n \geq m \geq k+1\geq 4.$ We conjecture that equality holds for $n \geq m \geq k+1\geq 4.$ We prove that this conjecture is true for $m=k+1=5$ and $m=k+2=5$.
The Galaxies of Nonstandard Enlargements of Infinite and Transfinite Graphs
Published
• View Publication
• BIB
The galaxies of nonstandard enlargements of conventionally infinite as well as of transfinite graphs are defined, analyzed, and illustrated by some examples. It is then shown that any such enlargement either has exactly one galaxy, its principal one, or it has infinitely many galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. If an enlargement has a galaxy different from its principal galaxy, then it has a two-way infinite sequence of galaxies that are totally ordered according to that "closeness" property. There may be many such totally ordered sequences.
A product formula and combinatorial field theory
We treat the problem of normally ordering expressions involving the standard boson operators a, a* where [a,a*]=1. We show that a simple product formula for formal power series - essentially an extension of the Taylor expansion - leads to a double exponential formula which enables a powerful graphical description of the generating functions of the combinatorial sequences associated with such functions - in essence, a combinatorial field theory. We apply these techniques to some examples related to specific physical Hamiltonians.
A difference-integral representation of Koornwinder polynomials
Published
• View Publication
• BIB
We construct new families of (q-) difference and (contour) integral operators having nice actions on Koornwinder's multivariate orthogonal polynomials. We further show that the Koornwinder polynomials can be constructed by suitable sequences of these operators applied to the constant polynomial 1, giving the difference-integral representation of the title. Macdonald's conjectures (as proved by van Diejen and Sahi) for the principal specialization and norm follow immediately, as does a Cauchy-type identity of Mimachi.
Fractal Sequences and Restricted Nim
The Grundy number of an impartial game G is the size of the unique Nim heap equal to G. We introduce a new variant of Nim, Restricted Nim, which restricts the number of stones a player may remove from a heap in terms of the size of the heap. Certain classes of Restricted Nim are found to produce sequences of Grundy numbers with a self-similar fractal structure. Extending work of C. Kimberling, we obtain new characterizations of these "fractal sequences" and give a bijection between these sequences and certain upper-triangular arrays. As a special case we obtain the game of Serial Nim, in which the Nim heaps are ordered from left to right, and players can move only in the leftmost nonempty heap.
Cover Pebbling Hypercubes
Given a graph G and a configuration C of pebbles on the vertices of G, a pebbling step removes two pebbles from one vertex and places one pebble on an adjacent vertex. The cover pebbling number g=g(G) is the minimum number so that every configuration of g pebbles has the property that, after some sequence of pebbling steps, every vertex has a pebble on it. We prove that the cover pebbling number of the d-dimensional hypercube Q^d equals 3^d.
Cover pebbling numbers and bounds for certain families of graphs
Given a configuration of pebbles on the vertices of a graph, a pebbling move is defined by removing two pebbles from some vertex and placing one pebble on an adjacent vertex. The cover pebbling number of a graph, gamma(G), is the smallest number of pebbles such that through a sequence of pebbling moves, a pebble can eventually be placed on every vertex simultaneously, no matter how the pebbles are initially distributed. The cover pebbling number for complete multipartite graphs and wheel graphs is determined. We also prove a sharp bound for gamma(G) given the diameter and number of vertices of G.
Partition functions and graphs: A combinatorial approach
Although symmetry methods and analysis are a necessary ingredient in every physicist's toolkit, rather less use has been made of combinatorial methods. One exception is in the realm of Statistical Physics, where the calculation of the partition function, for example, is essentially a combinatorial problem. In this talk we shall show that one approach is via the normal ordering of the second quantized operators appearing in the partition function. This in turn leads to a combinatorial graphical description, giving essentially Feynman-type graphs associated with the theory. We illustrate this methodology by the explicit calculation of two model examples, the free boson gas and a superfluid boson model. We show how the calculation of partition functions can be facilitated by knowledge of the combinatorics of the boson normal ordering problem; this naturally gives rise to the Bell numbers of combinatorics. The associated graphical representation of these numbers gives a perturbation expansion in terms of a sequence of graphs analogous to zero - dimensional Feynman diagrams.
Complexes of trees and nested set complexes
Published
• View Publication
• BIB
We exhibit an identity of abstract simplicial complexes between the well-studied complex of trees and the reduced minimal nested set complex of the partition lattice. We conclude that the order complex of the partition lattice can be obtained from the complex of trees by a sequence of stellar subdivisions. We provide an explicit cohomology basis for the complex of trees that emerges naturally from this context.
Motivated by these results, we review the generalization of complexes of trees to complexes of $k$-trees by Hanlon, and we propose yet another, in the context of nested set complexes more natural, generalization.
An extremal problem on potentially $K_{m}-C_{4}$-graphic sequences
Published in Journal of Combinatorial Mathematics and Combinatorial Computing, 61 (2007), 59-63.
• Search Publication
A sequence $S$ is potentially $K_{m}-C_{4}$-graphical if it has a realization containing a $K_{m}-C_{4}$ as a subgraph. Let $σ(K_{m}-C_{4}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{m}-C_{4}, n)$ is potentially $K_{m}-C_{4}$-graphical. In this paper, we prove that $σ(K_{m}-C_{4}, n)\geq (2m-6)n-(m-3)(m-2)+2,$ for $n \geq m \geq 4.$ We conjecture that equality holds for $n \geq m \geq 4.$ We prove that this conjecture is true for $m=5$.
Torsion in the Matching Complex and Chessboard Complex
Published
• View Publication
• BIB
Topological properties of the matching complex were first studied by Bouc in connection with Quillen complexes, and topological properties of the chessboard complex were first studied by Garst in connection with Tits coset complexes. Björner, Lovász, Vrécica and {Ž}ivaljević established bounds on the connectivity of these complexes and conjectured that these bounds are sharp. In this paper we show that the conjecture is true by establishing the nonvanishing of integral homology in the degrees given by these bounds. Moreover, we show that for sufficiently large $n$, the bottom nonvanishing homology of the matching complex $M_n$ is an elementary 3-group, improving a result of Bouc, and that the bottom nonvanishing homology of the chessboard complex $M_{n,n}$ is a 3-group of exponent at most 9. When $n \equiv 2 \bmod 3$, the bottom nonvanishing homology of $M_{n,n}$ is shown to be $\Z_3$. Our proofs rely on computer calculations, long exact sequences, representation theory, and tableau combinatorics.
Cumulants in Noncommutative Probability Theory IV. De Finetti's Theorem and $L^p$-Inequalities
Published in J. Funct. Anal. 239 (2006), no. 1, 214-246
• View Publication
• BIB
In this paper we collect a few results about exchangeability systems in which crossing cumulants vanish, which we call noncrossing exchangeability systems. The main result is a free version of De Finetti's theorem, characterising amalgamated free products as noncrossing exchangeability systems which satisfy a so-called weak singleton condition. The main tool in the proof is an $L^p$-inequality with uniformly bounded constants for i.i.d. sequences in noncrossing exchangeability systems.
An extremal problem on potentially $K_{p_{1},p_{2},...,p_{t}}$-graphic sequences
A sequence $S$ is potentially $K_{p_{1},p_{2},...,p_{t}}$ graphical if it has a realization containing a $K_{p_{1},p_{2},...,p_{t}}$ as a subgraph, where $K_{p_{1},p_{2},...,p_{t}}$ is a complete t-partite graph with partition sizes $p_{1},p_{2},...,p_{t} (p_{1}\geq p_{2}\geq ...\geq p_{t} \geq 1)$. Let $σ(K_{p_{1},p_{2},...,p_{t}}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{p_{1},p_{2},...,p_{t}}, n)$ is potentially $K_{p_{1},p_{2},...,p_{t}}$ graphical. In this paper, we prove that $σ(K_{p_{1},p_{2},...,p_{t}}, n)\geq 2[((2p_{1}+2p_{2}+...+2p_{t}-p_{1}-p_{2}-...-p_{i}-2)n -(p_{1}+p_{2}+...+p_{t}-p_{i})(p_{i}+p_{i+1}+...+p_{t}-1)+2)/2]$ for $n \geq p_{1}+p_{2}+...+p_{t}, i=2,3,...,t.$
An extremal problem on potentially $K_{p,1,1}$-graphic sequences
Published in Discrete Mathematics and Theoretical Computer Science 7(2005), 75-80
• View Publication
• BIB
A sequence $S$ is potentially $K_{p,1,1}$ graphical if it has a realization containing a $K_{p,1,1}$ as a subgraph, where $K_{p,1,1}$ is a complete 3-partite graph with partition sizes $p,1,1$. Let $σ(K_{p,1,1}, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_{p,1,1}, n)$ is potentially $K_{p,1,1}$ graphical. In this paper, we prove that $σ(K_{p,1,1}, n)\geq 2[((p+1)(n-1)+2)/2]$ for $n \geq p+2.$ We conjecture that equality holds for $n \geq 2p+4.$ We prove that this conjecture is true for $p=3$.
Limits of dense graph sequences
We show that if a sequence of dense graphs has the property that for every fixed graph F, the density of copies of F in these graphs tends to a limit, then there is a natural ``limit object'', namely a symmetric measurable 2-variable function on [0,1]. This limit object determines all the limits of subgraph densities. We also show that the graph parameters obtained as limits of subgraph densities can be characterized by ``reflection positivity'', semidefiniteness of an associated matrix. Conversely, every such function arises as a limit object. Along the lines we introduce a rather general model of random graphs, which seems to be interesting on its own right.
Asymptotic enumeration and logical limit laws for expansive multisets and selections
Published in Journal London Math. Soc. (2) 73 (2006) 252-272
• View Publication
• BIB
Given a sequence of integers $a_j, j\ge 1,$ a multiset is a combinatorial object composed of unordered components, such that there are exactly $a_j$ one-component multisets of size $j.$
When $a_j\asymp j^{r-1} y^j$ for some $r>0$, $y\geq 1$, then the multiset is called {\em expansive}. Let $c_n$ be the number of multisets of total size $n$. Using a probabilistic approach, we prove for expansive multisets that $c_n/c_{n+1}\to 1$ and that $c_n/c_{n+1}<1$ for large enough $n$. This allows us to prove Monadic Second Order Limit Laws for expansive multisets. The above results are extended to a class of expansive multisets with oscillation.
Moreover, under the condition $a_j=Kj^{r-1}y^j + O(y^{νj}),$ where $K>0$, $r>0$, $y>1$, $ν\in (0,1)$, we find an explicit asymptotic formula for $c_n$. In a similar way we study the asymptotic behavior of selections which are defined as multisets composed of components of distinct sizes.
Congruences for Catalan and Motzkin numbers and related sequences
Published
• View Publication
• BIB
We prove various congruences for Catalan and Motzkin numbers as well as related sequences. The common thread is that all these sequences can be expressed in terms of binomial coefficients. Our techniques are combinatorial and algebraic: group actions, induction, and Lucas' congruence for binomial coefficients come into play. A number of our results settle conjectures of Benoit Cloitre and Reinhard Zumkeller. The Thue-Morse sequence appears in several contexts.