Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Computation of Poincare-Betti series for monomial rings
Published in Rend. Istit. Mat. Univ. Trieste 37 (2005), no. 1-2, 85--94 (2006)
• Search Publication
The multigraded Poincare-Betti series P_R^k(x_1,...,x_n; t) of a monomial ring k[x_1,...,x_n]/<M> on a finite number of monomial generators has the form (1+tx_1)(1+tx_2)...(1+tx_n)/b_(R,k)(x_1,...,x_n; t), where b_(R,k)(x_1,...,x_n;t) is a polynomial depending only on the monomial set M and the characteristic of the field k. I present a computer program designed to calculate the polynomial b_(R,k) for a given field characteristic and a given set of monomial generators.
Chains in the Bruhat order
Published
• View Publication
• BIB
We study a family of polynomials whose values express degrees of Schubert varieties in the generalized complex flag manifold G/B. The polynomials are given by weighted sums over saturated chains in the Bruhat order. We derive several explicit formulas for these polynomials, and investigate their relations with Schubert polynomials, harmonic polynomials, Demazure characters, and generalized Littlewood-Richardson coefficients. In the second half of the paper, we concern with the case of to the classical flag manifold of Lie type A and discuss related combinatorial objects: flagged Schur polynomials, 312-avoiding permutations, generalized Gelfand-Tsetlin polytopes, the inverse Schubert-Kostka matrix, parking functions, and binary trees.
Geometric approach to error correcting codes and reconstruction of signals
Published in International Mathematical Research Notices 64 (2005), 4019--4041
• Search Publication
We develop an approach through geometric functional analysis to error correcting codes and to reconstruction of signals from few linear measurements. An error correcting code encodes an n-letter word x into an m-letter word y in such a way that x can be decoded correctly when any r letters of y are corrupted. We prove that most linear orthogonal transformations Q from R^n into R^m form efficient and robust robust error correcting codes over reals. The decoder (which corrects the corrupted components of y) is the metric projection onto the range of Q in the L_1 norm. An equivalent problem arises in signal processing: how to reconstruct a signal that belongs to a small class from few linear measurements? We prove that for most sets of Gaussian measurements, all signals of small support can be exactly reconstructed by the L_1 norm minimization. This is a substantial improvement of recent results of Donoho and of Candes and Tao. An equivalent problem in combinatorial geometry is the existence of a polytope with fixed number of facets and maximal number of lower-dimensional facets. We prove that most sections of the cube form such polytopes.
Cubature formulas, geometrical designs, reproducing kernels, and Markov operators
Published
• View Publication
• BIB
Cubature formulas and geometrical designs are described in terms of reproducing kernels for Hilbert spaces of functions on the one hand, and Markov operators associated to orthogonal group representations on the other hand. In this way, several known results for spheres in Euclidean spaces, involving cubature formulas for polynomial functions and spherical designs, are shown to generalize to large classes of finite measure spaces $(Ω,σ)$ and appropriate spaces of functions inside $L^2(Ω,σ)$. The last section points out how spherical designs are related to a class of reflection groups which are (in general dense) subgroups of orthogonal groups.
Shells of selfdual lattices viewed as spherical designs
Published
• View Publication
• BIB
We find out for which $t$ shells of selfdual lattices and of theirs shadows are spherical $t$-designs. The method uses theta series of lattices, which are modular forms. We analyse fully cubic and Witt lattices, as well as all selfdual lattices of rank at most 24.
Bounds on the Nodal Statuses of Some Transfinite Graphs
The bounds on the statuses of the nodes in a finite graph established by Entringer, Jackson, and Snyder are extended herein so that they apply to the nodes in a transfinite graph of a certain kind.
An analogue of distributivity for ungraded lattices
Published
• View Publication
• BIB
In this paper, we define a property, trimness, for lattices. Trimness is a not-necessarily-graded generalization of distributivity; in particular, if a lattice is trim and graded, it is distributive. Trimness is preserved under taking intervals and suitable sublattices. Trim lattices satisfy a weakened form of modularity. The order complex of a trim lattice is contractible or homotopic to a sphere; the latter holds exactly if the maximum element of the lattice is a join of atoms.
Other than distributive lattices, the main examples of trim lattices are the Tamari lattices and various generalizations of them. We show that the Cambrian lattices in types A and B defined by Reading are trim, and we conjecture that all Cambrian lattices are trim.
Point Lattices and Oscillating Recurrence Sequences
Published
• View Publication
• BIB
We consider the following question: Which real sequences (a(n)) that satisfy a linear recurrence with constant coefficients are positive for sufficiently large n? We show that the answer is negative for both (a(n)) and (-a(n)), if the dominating characteristic roots in the representation of a(n) as a generalized power sum comprise either two pairs of conjugate complex roots or one negative real root and one pair of conjugate complex roots. The proof uses results from Diophantine approximation and the geometry of numbers. Concerning the case of a real positive dominating root we show what the answer to the question of positivity is for almost all values of the other dominating roots, provided that all dominating roots are simple.
The Linking Probability of Deep Spider-Web Networks
Published
• View Publication
• BIB
We consider crossbar switching networks with base $b$ (that is, constructed from $b\times b$ crossbar switches), scale $k$ (that is, with $b^k$ inputs, $b^k$ outputs and $b^k$ links between each consecutive pair of stages) and depth $l$ (that is, with $l$ stages). We assume that the crossbars are interconnected according to the spider-web pattern, whereby two diverging paths reconverge only after at least $k$ stages. We assume that each vertex is independently idle with probability $q$, the vacancy probability. We assume that $b\ge 2$ and the vacancy probability $q$ are fixed, and that $k$ and $l = ck$ tend to infinity with ratio a fixed constant $c>1$. We consider the linking probability $Q$ (the probability that there exists at least one idle path between a given idle input and a given idle output). In a previous paper it was shown that if $c\le 2$, then the linking probability $Q$ tends to 0 if $0<q<q_c$ (where $q_c = 1/b^{(c-1)/c}$ is the critical vacancy probability), and tends to $(1-ξ)^2$ (where $ξ$ is the unique solution of the equation $(1-q (1-x))^b=x$ in the range $0<x<1$) if $q_c<q<1$. In this paper we extend this result to all rational $c>1$. This is done by using generating functions and complex-variable techniques to estimate the second moments of various random variables involved in the analysis of the networks.
Integration and Optimization of Multivariate Polynomials by Restriction onto a Random Subspace
Published
• View Publication
• BIB
We consider the problem of efficient integration of an n-variate polynomial with respect to the Gaussian measure in R^n and related problems of complex integration and optimization of a polynomial on the unit sphere. We identify a class of n-variate polynomials f for which the integral of any positive integer power f^p over the whole space is well-approximated by a properly scaled integral over a random subspace of dimension O(log n). Consequently, the maximum of f on the unit sphere is well-approximated by a properly scaled maximum on the unit sphere in a random subspace of dimension O(log n). We discuss connections with problems of combinatorial counting and applications to efficient approximation of a hafnian of a positive matrix.
Random recursive trees and the Bolthausen-Sznitman coalescent
Published in Electron. J. Probab. Vol. 10 (2005) paper 21, pp. 718-745
• View Publication
• BIB
We describe a representation of the Bolthausen-Sznitman coalescent in terms of the cutting of random recursive trees. Using this representation, we prove results concerning the final collision of the coalescent restricted to [n]: we show that the distribution of the number of blocks involved in the final collision converges as n tends to infinity, and obtain a scaling law for the sizes of these blocks. We also consider the discrete-time Markov chain giving the number of blocks after each collision of the coalescent restricted to [n]; we show that the transition probabilities of the time-reversal of this Markov chain have limits as n tends to infinity. These results can be interpreted as describing a ``post-gelation'' phase of the Bolthausen-Sznitman coalescent, in which a giant cluster containing almost all of the mass has already formed and the remaining small blocks are being absorbed.
The direct algorithm for solving of the graph isomorphism problem
We propose an algorithm for solving of the graph isomorphism problem. Also, we introduce the new class of graphs for which the graph isomorphism problem can be solved polynomially using the algorithm.
Diameters of Cayley graphs of SL_n(Z/kZ)
Published
• View Publication
• BIB
We show that for integers k > 1 and n > 2, the diameter of the Cayley graph of SL_n(Z/kZ) associated to a standard two-element generating set, is at most a constant times n^2 ln k. This answers a question of A. Lubotzky concerning SL_n(F_p) and is unexpected because these Cayley graphs do not form an expander family. Our proof amounts to a quick algorithm for finding short words representing elements of SL_n(Z/kZ).
A Commutative Family of Integral Transformations and Basic Hypergeometric Series. II. Eigenfunctions and Quasi-Eigenfunctions
A series of conjectures is obtained as further investigation of the integral transformation I(alpha) introduced in the previous paper. A Macdonald-type difference operator D is introduced. It is conjectured that D and I(alpha) are commutative with each other. Studying the series for the eigenfunctions under termination conditions, it is observed that a deformed Weyl group action appears as a hidden symmetry. An infinite product formula for the eigenfunction is found for a spacial case of parameters. A one parameter family of hypergeometric-type series F(alpha) is introduced. The series F(alpha) is caracterized by a covariant transformation property I(alpha q^{-1} t) F(alpha)=F(alpha q^{-1} t) and a certain initial condition given at alpha=t^{1/2}. We call F(alpha) the `quasi-eigenfunction' for short. A class of infinite product-type expressions are conjectured for F(alpha) at the special points alpha=-t^{1/2}, alpha=q, alpha=pm q^{1/2}t^{1/2}, and alpha=pm q^{ell}t^{1/2} (ell=1,2,3,cdots).
Universal lattices and unbounded rank expanders
Published
• View Publication
• BIB
We study the representations of non-commutative universal lattices and use them to compute lower bounds for the \TauC for the commutative universal lattices $G_{d,k}= \SL_d(\Z[x_1,...,x_k])$ with respect to several generating sets.
As an application of the above result we show that the Cayley graphs of the finite groups $\SL_{3k}(\F_p)$ can be made expanders using suitable choice of the generators. This provides the first examples of expander families of groups of Lie type where the rank is not bounded and gives a natural (and explicit) counter examples to two conjectures of Alex Lubotzky and Benjamin Weiss.
Développements limités et réversion des séries
Published in L'Enseignement Mathématique 52 (2006) 267-293
• Search Publication
We prove a few new properties of a Hankel transform related to limited series expansions. This preprint superseed the preprint math.CO/0303221 of the first author.
Congruences for sums of binomial coefficients
Published in J. Number Theory 126(2007), no.2, 287-296
• View Publication
• BIB
Let q>1 and m>0 be relatively prime integers. We find an explicit period $ν_m(q)$ such that for any integers n>0 and r we have $[n+ν_m(q),r]_m(a)=[n,r]_m(a) (mod q)$ whenever a is an integer with $\gcd(1-(-a)^m,q)=1$, or a=-1 (mod q), or a=1 (mod q) and 2|m, where $[n,r]_m(a)=\sum_{k=r(mod m)}\binom{n}{k}a^k$. This is a further extension of a congruence of Glaisher.
Non-holonomicity of the sequence $\log 1, \log 2, \log 3, ...$
Gerhold conjectured and proved conditionally that (log n: n=1,2,...) is not a holonomic sequence. Flajolet, Gerhold and Salvy gave a proof using an analytic machinery. We give a simple proof.
Gröbner geometry of vertex decompositions and of flagged tableaux
Published in J. Reine Angew. Math. 630 (2009), 1--31
• View Publication
• BIB
We relate a classic algebro-geometric degeneration technique, dating at least to [Hodge 1941], to the notion of vertex decompositions of simplicial complexes. The good case is when the degeneration is reduced, and we call this a "geometric vertex decomposition".
Our main example in this paper is the family of vexillary matrix Schubert varieties, whose ideals are also known as (one-sided) ladder determinantal ideals. Using a diagonal term order to specify the (Gröbner) degeneration, we show that these have geometric vertex decompositions into simpler varieties of the same type. From this, together with the combinatorics of the pipe dreams of [Fomin--Kirillov 1996], we derive a new formula for the numerators of their multigraded Hilbert series, the double Grothendieck polynomials, in terms of "flagged set-valued tableaux". This unifies work of [Wachs 1985] on flagged tableaux, and [Buch 2002] on set-valued tableaux, giving geometric meaning to both.
This work focuses on diagonal term orders, giving results complementary to those of [Knutson--Miller 2004], where it was shown that the generating minors form a Gröbner basis for any antidiagonal term order and any matrix Schubert variety. We show here that under a diagonal term order, the only matrix Schubert varieties for which these minors form Gröbner bases are the vexillary ones, reaching an end toward which the ladder determinantal literature had been building.
A Combinatorial Model for Crystals of Kac-Moody Algebras
Published
• View Publication
• BIB
We present a simple combinatorial model for the characters of the irreducible integrable highest weight modules for complex symmetrizable Kac-Moody algebras. This model can be viewed as a discrete counterpart to the Littelmann path model. We describe crystal graphs and give a Littlewood-Richardson rule for decomposing tensor products of irreducible representations. The new model is based on the notion of a lambda-chain, which is a chain of positive roots defined by certain interlacing conditions.