Showing 20 papers (Total: 82851 papers, 47869 authors in database)
On the natural representation of $S(Ω)$ into $L^2(P(Ω))$: Discrete harmonics and Fourier transform
Published in J. Combin. Theory Ser. A 100 (2002), 153-175
• View Publication
• BIB
Let $Ω$ denote a non-empty finite set. Let $S(Ω)$ stand for the symmetric group on $Ω$ and let us write $P(Ω)$ for the power set of $Ω$. Let $ρ: S(Ω) \to U(L^2(P(Ω)))$ be the left unitary representation of $S(Ω)$ associated with its natural action on $P(Ω)$. We consider the algebra consisting of those endomorphisms of $L^2(P(Ω))$ which commute with the action of $ρ$. We find an attractive basis $B$ for this algebra. We obtain an expression, as a linear combination of $B$, for the product of any two elements of $B$. We obtain an expression, as a linear combination of $B$, for the adjoint of each element of $B$. It turns out the Fourier transform on $P(Ω)$ is an element of our algebra; we give the matrix which represents this transform with respect to $B$.
Invariance Combinatoire des Polynomes de Kazhdan-Lusztig sur les intervalles partant de l'origine
We show that for Bruhat intervals starting from the origin in simply-laced Coxeter groups the conjecture of Lusztig and Dyer holds, that is, the R-polynomials and the Kazhdan-Lusztig polynomials defined on [e,u] only depend on the isomorphism type of [e,u].
Another proof of Bailey's 6-psi-6 summation
Published in Aequationes Math. 70 (1-2) (2005), 43-50
• View Publication
• BIB
Adapting a method used by Cauchy, Bailey, Slater, and more recently, the second author, we give a new proof of Bailey's celebrated 6-psi-6 summation formula.
A new approach to the theory of classical hypergeometric polynomials
Published
• View Publication
• BIB
In this paper we present a unified approach to the spectral analysis of an hypergeometric type operator whose eigenfunctions include the classical orthogonal polynomials. We write the eigenfunctions of this operator by means of a new Taylor formula for operators of Askey-Wilson type. This gives rise to some expressions for the eigenfunctions, which are unknown in such a general setting. Our methods also give a general Rodrigues formula from which several well known formulas of Rodrigues type can be obtained directly. Moreover, other new Rodrigues type formulas come out when seeking for regular solutions of the associated functional equations. The main difference here is that, in contrast with the formulas appearing in the literature, we get non-ramified solutions which are useful for applications in combinatorics. Another fact, that becomes clear in this paper, is the role played by the theory of elliptic functions in the connection between ramified and non-ramified solutions.
Proof of two conjectures of Zuber on fully packed loop configurations
Published in J. Combin. Theory Ser. A 108 (2004), 123-146.
• View Publication
• BIB
Two conjectures of Zuber [``On the counting of fully packed loops configurations. Some new conjectures,'' preprint] on the enumeration of configurations in the fully packed loop model on the square grid with periodic boundary conditions, which have a prescribed linkage pattern, are proved. Following an idea of de Gier [``Loops, matchings and alternating-sign matrices,'' Discrete Math., to appear], the proofs are based on bijections between such fully packed loop configurations and rhombus tilings, and the hook-content formula for semistandard tableaux.
Selection principles in mathematics: A milestone of open problems
Published in Note di Matematica 22 (2003), 179--208
• View Publication
• BIB
We survey some of the major open problems involving selection principles, diagonalizations, and covering properties in topology and infinite combinatorics. Background details, definitions and motivations are also provided.
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$.
U-turn Alternating Sign Matrices, Symplectic Shifted Tableaux and Their Weighted Enumeration
Published
• View Publication
• BIB
Alternating sign matrices with a U-turn boundary (UASMs) are a recent generalization of ordinary alternating sign matrices. Here we show that variations of these matrices are in bijective correspondence with certain symplectic shifted tableaux that were recently introduced in the context of a symplectic version of Tokuyama's deformation of Weyl's denominator formula. This bijection yields a formula for the weighted enumeration of UASMs. In this connection use is made of the link between UASMs and certain square ice configuration matrices.
Short formulas for algebraic covariant derivative curvature tensors via Algebraic Combinatorics
We consider generators of algebraic covariant derivative curvature tensors R' which can be constructed by a Young symmetrization of product tensors W*U or U*W, where W and U are covariant tensors of order 2 and 3. W is a symmetric or alternating tensor whereas U belongs to a class of the infinite set S of irreducible symmetry classes characterized by the partition (2,1). Using Computer Algebra we search for such generators whose coordinate representations are polynomials with a minimal number of summands. For a generic choice of the symmetry class of U we obtain lengths of 16 or 20 summands if W is symmetric or skew-symmetric, respectively. In special cases these numbers can be reduced to the minima 12 or 10. If these minima occur then U admits an index commutation symmetry. Furthermore minimal lengths are possible if U is formed from torsion-free covariant derivatives of symmetric or alternating 2-tensor fields. Foundation of our investigations is a theorem of S. A. Fulling, R. C. King, B. G. Wybourne and C. J. Cummins about a Young symmetrizer that generates the symmetry class of algebraic covariant derivative curvature tensors. Furthermore we apply ideals and idempotents in group rings C[S_r] and discrete Fourier transforms for symmetric groups S_r. For symbolic calculations we used the Mathematica packages Ricci and PERMS.
An inequality for regular near polygons
Published
• View Publication
• BIB
Let $G$ denote a near-polygon distance-regular graph with diameter $d\geq 3$, valency $k$ and intersection numbers $a_1>0$, $c_2>1$. Let $θ_1$ denote the second largest eigenvalue for the adjacency matrix of $G$. We show $θ_1$ is at most $(k-a_1-c_2)/(c_2-1)$. We show the following are equivalent: (i) Equality is attained above; (ii) $G$ is $Q$-polynomial with respect to $θ_1$; (iii) $G$ is a dual polar graph or a Hamming graph.
SPM Bulletin 6 (November 2003)
After a long break, we are back with some very interesting research announcements and an open problem which is one of the most difficult, long lasting, and important problems in the field.
A major change in this bulletin is that from now on it will usually not appear monthly, but more close to quarterly. Special announcements (if urgent) will be made by text emails. Contributions to the next issue are, as always, welcome.
On the rank of a tropical matrix
Published in In "Discrete and Computational Geometry" (E. Goodman, J. Pach and E. Welzl, eds), MSRI Publications, Cambridge Univ. Press, 2005. ISBN-10: 0521848628
• View Publication
• BIB
This is a foundational paper in tropical linear algebra, which is linear algebra over the min-plus semiring. We introduce and compare three natural definitions of the rank of a matrix, called the Barvinok rank, the Kapranov rank and the tropical rank. We demonstrate how these notions arise naturally in polyhedral and algebraic geometry, and we show that they differ in general. Realizability of matroids plays a crucial role here. Connections to optimization are also discussed.
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.
Ground State Incongruence In 2D Spin Glasses Revisited
Published
• View Publication
• BIB
A construction supporting a conjecture that different ground state pairs exist in the 2-dimensional Edwards-Anderson Ising spin glass is presented.
Flag vectors of multiplicial polytopes
Published
• View Publication
• BIB
Bisztriczky introduced the multiplex as a generalization of the simplex. A polytope is multiplicial if all its faces are multiplexes. In this paper it is proved that the flag vectors of multiplicial polytopes depend only on their face vectors. A special class of multiplicial polytopes, also discovered by Bisztriczky, is comprised of the ordinary polytopes. These are a natural generalization of the cyclic polytopes. The flag vectors of ordinary polytopes are determined. This is used to give a surprisingly simple formula for the h-vector of the ordinary d-polytope with n+1 vertices and characteristic k: h_i=binom{k-d+i}{i}+(n-k)binom{k-d+i-1}{i-1}, for i at most d/2. In addition, a construction is given for 4-dimensional multiplicial polytopes having two-thirds of their vertices on a single facet, answering a question of Bisztriczky.
Le cocycle du verger
Published
• View Publication
• BIB
We define and prove uniqueness of a natural homomorphism (called the Orchard morphism) from some groups associated naturally to a finite set $E$ to the group ${\mathcal E}(E)$ of two-partitions of $E$ representing equivalence relations having at most two classes on $E$.
As an application, given a finite generic configuration ${\mathcal C}\subset {\mathbf R}^d$, we exhibit a natural partition of ${\mathcal C}$ in two sets.
A Splitting Lemma
In this paper, we study the relations between the numerical structure of the optimal solutions of a convex programming problem defined on the edge set of a simple graph and the stability number (i.e. the maximum size of a subset of pairwise non-adjacent vertices) of the graph. Our analysis shows that the stability number of every graph G can be decomposed in the sum of the stability number of a subgraph containing a perfect 2-matching (i.e. a system of vertex-disjoint odd-cycles and edges covering the vertex-set) plus a term computable in polynomial time. As a consequence, it is possible to bound from above and below the stability number in terms of the matching number of a subgraph having a perfect 2-matching and other quantities computable in polynomial time. Our results are closely related to those by Lorentzen, Balinsky, Spielberg, and Pulleyblank on the linear relaxation of the vertex-cover problem. Moreover, The convex programming problem involved has important applications in information theory and extremal set theory where, as a graph capacity formula, has been used to answer a longstanding open question about qualitatively independet sets in the sense of Renyi (L. Gargano, J. K{ö}rner, and U. Vaccaro, "Sperner capacities", Graphs and combinatorics, 9:31-46, 1993).
On the Parameters of Convolutional Codes with Cyclic Structure
Published
• View Publication
• BIB
In this paper convolutional codes with cyclic structure will be investigated. These codes can be understood as left principal ideals in a suitable skew-polynomial ring. It has been shown in [3] that only certain combinations of the parameters (field size, length, dimension, and Forney indices) can occur for cyclic codes. We will investigate whether all these combinations can indeed be realized by a suitable cyclic code and, if so, how to construct such a code. A complete characterization and construction will be given for minimal cyclic codes. It is derived from a detailed investigation of the units in the skew-polynomial ring.
Polar decomposition and Brion's theorem
Published
• View Publication
• BIB
In this note we point out the relation between Brion's formula for the lattice point generating function of a convex polytope in terms of the vertex cones [Brion1988] on the one hand, and the polar decomposition à la Lawrence/Varchenko [Lawrence1991, Varchenko1987] on the other.
We then go on to prove a version of polar decomposition for non-simple polytopes.
DW(6,n), n>2, has no ovoid: A single proof
An ovoid of a dual polar space is a point set meeting every line in exactly one point. For the symplectic dual polar space DW(6,q), Cooperstein and Pasini have recently proved no ovoid exists if q is odd. Earlier, Shult has proved the same for even q. In this paper, we prove the non-existence of ovoids of DW(6,q) independently from the parity of q.