Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Faber-Krahn Type Inequalities for Trees
The Faber-Krahn theorem states that among all bounded domains with the same volume in ${\mathbb R}^n$ (with the standard Euclidean metric), a ball that has lowest first Dirichlet eigenvalue. Recently it has been shown that a similar result holds for (semi-)regular trees. In this article we show that such a theorem also hold for other classes of (not necessarily non-regular) trees. However, for these new results no couterparts in the world of the Laplace-Beltrami-operator on manifolds are known.
The tropical totally positive Grassmannian
Published
• View Publication
• BIB
Tropical algebraic geometry is the geometry of the tropical semiring (R, min, +). The theory of total positivity is a natural generalization of the study of matrices with all minors positive. In this paper we introduce the totally positive part of the tropicalization of an arbitrary affine variety, an object which has the structure of a polyhedral fan. We then investigate the case of the Grassmannian, denoting the resulting fan \Trop^+ Gr_{k,n}. We show that \Trop^+ Gr_{2,n} is the Stanley-Pitman fan, which is combinatorially the fan dual to the (type A_{n-3}) associahedron, and that \Trop^+ Gr_{3,6} and \Trop^+ Gr_{3,7} are closely related to the fans dual to the types D_4 and E_6 associahedra. These results are reminiscent of the results of Fomin and Zelevinsky, and Scott, who showed that the Grassmannian has a natural cluster algebra structure which is of types A_{n-3}, D_4, and E_6 for Gr_{2,n}, Gr_{3,6}, and Gr_{3,7}. We suggest a general conjecture about the positive part of the tropicalization of a cluster algebra.
Turbo Codes over the Real Field
In this article we extend the idea of Turbo codes onto the Real Field. The channel is taken to result in block erasures and the only noise as being that due to quantization. The decoding in this case is reduced to reconstruction of the lost values. The encoding is done using critically sampled filter banks and introduction of an interleaver is found to reduce the mean square quantization error drastically. The permutation that gives the best recoverability is obtained in the 2 Channel case. Results are also obtained for M channel case. The algorithm for reconstruction of the lost values in the absence of quantization noise is obtained.
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.
Alternating formulas for K-theoretic quiver polynomials
Published
• View Publication
• BIB
The main theorem here is the K-theoretic analogue of the cohomological `stable double component formula' for quiver functions in [Knutson, Miller, and Shimozono, math.AG/0308142]. This K-theoretic version is still in terms of lacing diagrams, but nonminimal diagrams contribute terms of higher degree. The motivating consequence is a conjecture of A. Buch on the sign-alternation of the coefficients appearing in his expansion of quiver K-polynomials in terms of stable Grothendieck polynomials for partitions [Buch, math.AG/0104029].
Metric combinatorics of convex polyhedra: cut loci and nonoverlapping unfoldings
Published
• View Publication
• BIB
This paper is a study of the interaction between the combinatorics of boundaries of convex polytopes in arbitrary dimension and their metric geometry.
Let S be the boundary of a convex polytope of dimension d+1, or more generally let S be a `convex polyhedral pseudomanifold'. We prove that S has a polyhedral nonoverlapping unfolding into R^d, so the metric space S is obtained from a closed (usually nonconvex) polyhedral ball in R^d by identifying pairs of boundary faces isometrically. Our existence proof exploits geodesic flow away from a source point v in S, which is the exponential map to S from the tangent space at v. We characterize the `cut locus' (the closure of the set of points in S with more than one shortest path to v) as a polyhedral complex in terms of Voronoi diagrams on facets. Analyzing infinitesimal expansion of the wavefront consisting of points at constant distance from v on S produces an algorithmic method for constructing Voronoi diagrams in each facet, and hence the unfolding of S. The algorithm, for which we provide pseudocode, solves the discrete geodesic problem. Its main construction generalizes the source unfolding for boundaries of 3-polytopes into R^2. We present conjectures concerning the number of shortest paths on the boundaries of convex polyhedra, and concerning continuous unfolding of convex polyhedra. We also comment on the intrinsic non-polynomial complexity of nonconvex polyhedral manifolds.
Convex Geometry of Orbits
Published
• View Publication
• BIB
We study metric properties of convex bodies B and their polars B^o, where B is the convex hull of an orbit under the action of a compact group G. Examples include the Traveling Salesman Polytope in polyhedral combinatorics (G=S_n, the symmetric group), the set of non-negative polynomials in real algebraic geometry (G=SO(n), the special orthogonal group), and the convex hull of the Grassmannian and the unit comass ball in the theory of calibrated geometries (G=SO(n), but with a different action). We compute the radius of the largest ball contained in the symmetric Traveling Salesman Polytope, give a reasonably tight estimate for the radius of the Euclidean ball containing the unit comass ball and review (sometimes with simpler and unified proofs) recent results on the structure of the set of non-negative polynomials (the radius of the inscribed ball, volume estimates, and relations to the sums of squares). Our main tool is a new simple description of the ellipsoid of the largest volume contained in B^o.
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
• Search Publication
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.