sequence
6842 papers tagged with this keyword
The On-Line Encyclopedia of Integer Sequences
Published in Notices American Math. Soc., Vol. 50 (Sept. 2003), 912-915
• Search Publication
This article gives a brief introduction to the On-Line Encyclopedia of Integer Sequences (or OEIS). The OEIS is a database of nearly 90,000 sequences of integers, arranged lexicographically. The entry for a sequence lists the initial terms (50 to 100, if available), a description, formulae, programs to generate the sequence, references, links to relevant web pages, and other information.
On Simple Characterisations of Sheffer psi- polynomials and Related Propositions of the Calculus of Sequences
Published in Bull. Soc. Sci. Lett. Lodz Ser. Rech. Deform. 52, Ser. Rech. Deform. 36 (2002) pp.45-65
• Search Publication
A calculus of sequences started in 1936 opened the way for future extensions of umbral calculus in its finite operator form. Because of historically established notation we call it the psi-calculus.It appears in parts to be almost automatic extension of the standard classical finite operator calculus.
Multi-indexed p-orthogonal sums in non-commutative Lebesgue spaces
Published in Indiana Univ. Math. J. 53 (2004), 1171-1188.
• View Publication
• BIB
In this paper we extend a recent Pisier's inequality for p-orthogonal sums in non-commutative Lebesgue spaces. To that purpose, we generalize the notion of p-orthogonality to the class of multi-indexed families of operators. This kind of families appear naturally in certain non-commutative Khintchine type inequalities associated with free groups. Other p-orthogonal families are given by the homogeneous operator-valued polynomials in the Rademacher variables or the multi-indexed martingale difference sequences. As in Pisier's result, our tools are mainly combinatorial.
The Pseudo Cosine Sequences of a Distance-Regular Graph
Published
• View Publication
• BIB
Let $G$ denote a distance-regular graph with diameter $D\ge 3$, valency $k$, and intersection numbers $a_i$, $b_i$, $c_i$. By a {\it pseudo cosine sequence} of $G$ we mean a sequence of real numbers $s_0, s_1, ..., s_D$ such that $s_0=1$ and $c_i s_{i-1}+a_i s_i+b_i s_{i+1}=k s_1 s_i$ for $ 0 \le i \le D-1$. Let $s_0, s_1,..., s_D$ and $p_0, p_1, ..., p_D$ denote pseudo cosine sequences of $G$. We say this pair of sequences is {\it tight} whenever $s_0 p_0, s_1 p_1, ..., s_D p_D$ is a pseudo cosine sequence of $G$. In this paper, we determine all the tight pairs of pseudo cosine sequences of $G$.
A Hopf algebra of parking functions
If the moments of a probability measure on $\R$ are interpreted as a specialization of complete homogeneous symmetric functions, its free cumulants are, up to sign, the corresponding specializations of a sequence of Schur positive symmetric functions $(f_n)$. We prove that $(f_n)$ is the Frobenius characteristic of the natural permutation representation of $\SG_n$ on the set of prime parking functions. This observation leads us to the construction of a Hopf algebra of parking functions, which we study in some detail.
Ehrhart polynomials, simplicial polytopes, magic squares and a conjecture of Stanley
Published
• View Publication
• BIB
It is proved that a certain symmetric sequence of nonnegative integers arising in the enumeration of magic squares of given size n by row sums or, equivalently, in the generating function of the Ehrhart polynomial of the polytope of doubly stochastic n by n matrices, is equal to the h-vector of a simplicial polytope and hence that it satisfies the conditions of the g-theorem. The unimodality of this sequance, which follows, was conjectured by Stanley (1983). Several generalizations are given.
Local limit of labeled trees and expected volume growth in a random quadrangulation
Published in Annals of Probability 2006, Vol. 34, No. 3, 879-917
• View Publication
• BIB
Exploiting a bijective correspondence between planar quadrangulations and well-labeled trees, we define an ensemble of infinite surfaces as a limit of uniformly distributed ensembles of quadrangulations of fixed finite volume. The limit random surface can be described in terms of a birth and death process and a sequence of multitype Galton--Watson trees. As a consequence, we find that the expected volume of the ball of radius $r$ around a marked point in the limit random surface is $Θ(r^4)$.
On combinatorial compexity of convex sequences
Published
• View Publication
• BIB
We obtain a good upper bound on the number of solutions of a diophantine equation arising from a strictly convex sequences of real numbers.
Multiplicity of the trivial representation in rank-selected homology of the partition lattice
Published in J. Algebra 266 (2003), no. 2, 521-538
• View Publication
• BIB
We study the multiplicity $b_S(n)$ of the trivial representation in the symmetric group representations $β_S$ on the (top) homology of the rank-selected partition lattice $Π_n^S$. We break the possible rank sets $S$ into three cases: (1) $1\not\in S$, (2) $S=1,..., i$ for $i\ge 1$ and (3) $S=1,..., i,j_1,..., j_l$ for $i,l\ge 1$, $j_1 > i+1$. It was previously shown by Hanlon that $b_S(n)=0$ for $S=1,..., i$. We use a partitioning for $Δ(Π_n)/S_n$ due to Hersh to confirm a conjecture of Sundaram that $b_S(n)>0$ for $1\not\in S$. On the other hand, we use the spectral sequence of a filtered complex to show $b_S(n)=0$ for $S=1,..., i,j_1,..., j_l$ unless a certain type of chain of support $S$ exists. The partitioning for $Δ(Π_n)/S_n$ allows us then to show that a large class of rank sets $S=1,..., i,j_1,..., j_l$ for which such a chain exists do satisfy $b_S(n)>0$. We also generalize the partitioning for $Δ(Π_n)/S_n$ to $Δ(Π_n)/S_λ$; when $λ= (n-1,1)$, this partitioning leads to a proof of a conjecture of Sundaram about $S_1\times S_{n-1}$-representations on the homology of the partition lattice.
On a combinatorial problem of Asmus Schmidt
Published in Electron. J. Combin. 11:1 (2004), #R22, 8 pages
• View Publication
• BIB
For any integer $r\ge2$, define a sequence of numbers $\{c_k^{(r)}\}_{k=0}^\infty$, independent of the parameter $n$, by $$ \sum_{k=0}^n{\binom nk}^r{\binom{n+k}k}^r =\sum_{k=0}^n\binom nk\binom{n+k}kc_k^{(r)}, \qquad n=0,1,2,...c. $$ We prove that all the numbers $c_k^{(r)}$ are integers.
Combinatorial coherent states via normal ordering of bosons
Published in Letters in Mathematical Physics 67:13-23, 2004
• View Publication
• BIB
We construct and analyze a family of coherent states built on sequences of integers originating from the solution of the boson normal ordering problem. These sequences generalize the conventional combinatorial Bell numbers and are shown to be moments of positive functions. Consequently, the resulting coherent states automatically satisfy the resolution of unity condition. In addition they display such non-classical fluctuation properties as super-Poissonian statistics and squeezing.
Radii minimal projections of polytopes and constrained optimization of symmetric polynomials
Published
• View Publication
• BIB
We provide a characterization of the radii minimal projections of polytopes onto $j$-dimensional subspaces in Euclidean space $\E^n$. Applied on simplices this characterization allows to reduce the computation of an outer radius to a computation in the circumscribing case or to the computation of an outer radius of a lower-dimensional simplex. In the second part of the paper, we use this characterization to determine the sequence of outer $(n-1)$-radii of regular simplices (which are the radii of smallest enclosing cylinders). This settles a question which arose from the incidence that a paper by Weißbach (1983) on this determination was erroneous. In the proof, we first reduce the problem to a constrained optimization problem of symmetric polynomials and then to an optimization problem in a fixed number of variables with additional integer constraints.
The angle defect for odd-dimensional simplicial manifolds
Published
• View Publication
• BIB
In a 1967 paper, Banchoff stated that a certain type of polyhedral curvature, that applies to all finite polyhedra, was zero at all vertices of an odd-dimensional polyhedral manifold; one then obtains an elementary proof that odd-dimensional manifolds have zero Euler characteristic. In a previous paper, the author defined a different approach to curvature for arbitrary simplicial complexes, based upon a direct generalization of the angle defect. The generalized angle defect is not zero at the simplices of every odd-dimensional manifold. In this paper we use a sequence based upon the Bernoulli numbers to define a variant of the angle defect for finite simplicial complexes that still satisfies a Gauss-Bonnet type theorem, but is also zero at any simplex of an odd-dimensional simplicial complex K (of dimension at least 3), such that the Euler characteristic of the link of each i-simplex equals 2, where i is a non-negative even integer that is less than n. As a corollary, an elementary proof is given that any such simplicial complex has Euler characteristic zero.
Quasirandom Arithmetic Permutations
Published
• View Publication
• BIB
Previously, the author introduced quasirandom permutations, permutations of $\mathbb{Z}_n$ which map intervals to sets with low discrepancy. Here we show that several natural number-theoretic permutations are quasirandom, some very strongly so. Quasirandomness is established via discrete Fourier analysis and the Erdos-Turan inequality, as well as by other means. We apply our results on Sos permutations to make progress on a number of questions relating to the sequence of fractional parts of multiples of an irrational. Several intriguing new open problems are presented throughout the discussion.
A common recursion for Laplacians of matroids and shifted simplicial complexes
Published
• View Publication
• BIB
A recursion due to Kook expresses the Laplacian eigenvalues of a matroid M in terms of the eigenvalues of its deletion M-e and contraction M/e by a fixed element e, and an error term. We show that this error term is given simply by the Laplacian eigenvalues of the pair (M-e, M/e). We further show that by suitably generalizing deletion and contraction to arbitrary simplicial complexes, the Laplacian eigenvalues of shifted simplicial complexes satisfy this exact same recursion.
We show that the class of simplicial complexes satisfying this recursion is closed under a wide variety of natural operations, and that several specializations of this recursion reduce to basic recursions for natural invariants.
We also find a simple formula for the Laplacian eigenvalues of an arbitrary pair of shifted complexes in terms of a kind of generalized degree sequence.
Independence polynomials of well-covered graphs: generic counterexamples for the unimodality conjecture
Published
• View Publication
• BIB
A graph $G$ is well-covered if all its maximal stable sets have the same size, denoted by alpha(G) (M. D. Plummer, 1970). If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). J. I. Brown, K. Dilcher and R. J. Nowakowski (2000) conjectured that I(G;x) is unimodal (that is, there exists an index $k$ such that the part of the sequence of coefficients from the first to $k$-th is non-decreasing while the other part of coefficients is non-increasing) for any well-covered graph $G$. T. S. Michael and W. N. Traves (2002) proved that this assertion is true for alpha(G) < 4, while for alpha(G) from the set {4,5,6,7} they provided counterexamples.
In this paper we show that for any integer $alpha$ > 7, there exists a (dis)connected well-covered graph $G$ with $alpha$ = alpha(G), whose independence polynomial is not unimodal. In addition, we present a number of sufficient conditions for a graph $G$ with alpha(G) < 7 to have unimodal independence polynomial.
Partitions and Compositions defined by inequalities
Published
• View Publication
• BIB
We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the integer solutions of weight $n$ has a finite product form. The results are proved bijectively and are used to give several examples of interesting identities for integer partitions and compositions. The method can be adapted to accommodate equalities along with inequalities and can be used to obtain multivariate forms of the generating function. We show how to extend the technique to obtain the generating function when some coefficients are allowed to be rational, generalizing the case of lecture hall partitions. Our initial results were conjectured thanks to the Omega package.
Four positive formulae for type A quiver polynomials
Published
• View Publication
• BIB
We give four positive formulae for the (equioriented type A) quiver polynomials of Buch and Fulton. All four formulae are combinatorial, in the sense that they are expressed in terms of combinatorial objects of certain types: Zelevinsky permutations, lacing diagrams, Young tableaux, and pipe dreams (also known as rc-graphs). Three of our formulae are multiplicity-free and geometric, meaning that their summands have coefficient 1, and correspond bijectively to components of a torus-invariant scheme. The remaining (presently non-geometric) formula was conjectured for by Buch and Fulton in terms of factor sequences of Young tableaux; our proof of it proceeds by way of a new characterization of the tableaux counted by quiver constants. All four formulae come naturally in ``doubled'' versions, two for `double quiver polynomials', and the other two for their stable versions, the `double quiver functions', where setting half the variables equal to the other half specializes to the ordinary case.
A note on potentially $K_4-e$ graphical sequences
Published in Australasian Journal of Combinatorics, 24(2001), 123-127
• Search Publication
A sequence $S$ is potentially $K_4-e$ graphical if it has a realization containing a $K_4-e$ as a subgraph. Let $σ(K_4-e, n)$ denote the smallest degree sum such that every $n$-term graphical sequence $S$ with $σ(S)\geq σ(K_4-e, n)$ is potentially $K_4-e$ graphical. Gould, Jacobson, Lehel raised the problem of determining the value of $σ(K_4-e, n)$. In this paper, we prove that $σ(K_4-e, n)=2[(3n-1)/2]$ for $n\geq 7$, and $n=4,5,$ and $σ(K_4-e, 6)= 20$.
Regularly spaced subsums of integer partitions
Published
• View Publication
• BIB
For integer partitions $λ:n=a_1+...+a_k$, where $a_1\ge a_2\ge >...\ge a_k\ge 1$, we study the sum $a_1+a_3+...$ of the parts of odd index. We show that the average of this sum, over all partitions $λ$ of $n$, is of the form $n/2+(\sqrt{6}/(8π))\sqrt{n}\log{n}+c_{2,1}\sqrt{n}+O(\log{n}).$ More generally, we study the sum $a_i+a_{m+i}+a_{2m+i}+...$ of the parts whose indices lie in a given arithmetic progression and we show that the average of this sum, over all partitions of $n$, is of the form $n/m+b_{m,i}\sqrt{n}\log{n}+c_{m,i}\sqrt{n}+O(\log{n})$, with explicitly given constants $b_{m,i},c_{m,i}$. Interestingly, for $m$ odd and $i=(m+1)/2$ we have $b_{m,i}=0$, so in this case the error term is of lower order. The methods used involve asymptotic formulas for the behavior of Lambert series and the Zeta function of Hurwitz.
We also show that if $f(n,j)$ is the number of partitions of $n$ the sum of whose parts of even index is $j$, then for every $n$, $f(n,j)$ agrees with a certain universal sequence, Sloane's sequence \texttt{#A000712}, for $j\le n/3$ but not for any larger $j$.