Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Gauss-Manin Connections for Arrangements
Published in Compositio Math. 136 (2003), 299-316
• Search Publication
We construct a formal connection on the Aomoto complex of an arrangement of hyperplanes, and use it to study the Gauss-Manin connection for the moduli space of the arrangement in the cohomology of a complex rank one local system. We prove that the eigenvalues of the Gauss-Manin connection are integral linear combinations of the weights which define the local system.
Triples of arrangements and local systems
Published in Proc. Amer. Math. Soc. 130 (2002), 3025-3031
• View Publication
• BIB
For a triple of complex hyperplane arrangements, there is a well-known long exact sequence relating the cohomology of the complements. We observe that this result extends to certain local coefficient systems, and use this extension to study the characteristic varieties of arrangements. We show that the first characteristic variety may contain components that are translated by characters of any order, thereby answering a question of A. Suciu.
Noncommutative symmetric functions VI: Free quasi-symmetric functions and related algebras
Published in International Journal of Algebra and Computation 12 (2002), 671-717
• View Publication
• BIB
This article is devoted to the study of several algebras which are related to symmetric functions, and which admit linear bases labelled by various combinatorial objects: permutations (free quasi-symmetric functions), standard Young tableaux (free symmetric functions) and packed integer matrices (matrix quasi-symmetric functions). Free quasi-symmetric functions provide a kind of noncommutative Frobenius characteristic for a certain category of modules over the 0-Hecke algebras. New examples of indecomposable $H_n(0)$-modules are discussed, and the homological properties of $H_n(0)$ are computed for small $n$. Finally, the algebra of matrix quasi-symmetric functions is interpreted as a convolution algebra.
Combinatorics of the heat trace on spheres
Published
• View Publication
• BIB
We present a concise explicit expression for the heat trace coefficients of spheres. Our formulas yield certain combinatorial identities which are proved following ideas of D. Zeilberger. In particular, these identities allow to recover in a surprising way some known formulas for the heat trace asymptotics. Our approach is based on a method for computation of heat invariants developed in math.DG/9905073.
Counting occurences of 132 in a permutation
Published
• View Publication
• BIB
We study the generating function for the number of permutations on n letters containing exactly $r\gs0$ occurences of 132. It is shown that finding this function for a given r amounts to a routine check of all permutations in $S_{2r}$.
Local statistics of lattice dimers
Published in Annales de Inst. H. Poincaré, Probabilités et Statistiques, 33 (1997),591-618
• View Publication
• BIB
We show how to compute the probability of any given local configuration in a random tiling of the plane with dominos. That is, we explicitly compute the measures of cylinder sets for the measure of maximal entropy $μ$ on the space of tilings of the plane with dominos.
We construct a measure $ν$ on the set of lozenge tilings of the plane, show that its entropy is the topological entropy, and compute explicitly the $ν$-measures of cylinder sets.
As applications of these results, we prove that the translation action is strongly mixing for $μ$ and $ν$, and compute the rate of convergence to mixing (the correlation between distant events). For the measure $ν$ we compute the variance of the height function.
Selection principles and the minimal tower problem
Published in Note di Matematica 22 (2003), 53--81
• View Publication
• BIB
We study diagonalizations of covers using various selection principles, where the covers are related to linear quasiorderings (tau-covers). This includes: equivalences and nonequivalences, combinatorial characterizations, critical cardinalities and constructions of special sets of reals. This study leads to a solution of a topological problem which was suggested to the author by Scheepers (and stated in an earlier work) and is related to the Minimal Tower problem.
We also introduce a variant of the notion of tau-cover, called tau^*-cover, and settle some problems for this variant which are still open in the case of $τ$-covers. This new variant introduces new (and tighter) topological and combinatorial lower bounds on the Minimal Tower problem.
About Division by 1
Published
• View Publication
• BIB
The Euclidean division of two formal series in one variable produces a sequence of series that we obtain explicitly, remarking that the case where one of the two initial series is 1 is sufficiently generic. As an application, we define a Wronskian of symmetric functions.
Supernormal Vector Configurations
A configuration of lattice vectors is supernormal if it contains a Hilbert basis for every cone spanned by a subset. We study such configurations from various perspectives, including triangulations, integer programming and Groebner bases. Our main result is a bijection between virtual chambers of the configuration and virtual initial ideals of the associated binomial ideal.
Exceptional parameters for generic A-hypergeometric systems
The holonomic rank of an A-hypergeometric system $H_A(β)$ is conjectured to be independent of the parameter vector $β$ if and only if the toric ideal $I_A$ is Cohen Macaulay. We prove this conjecture in the case that $I_A$ is generic by explicitly constructing more than $\vol(A)$ many linearly independent hypergeometric functions for parameters $β$ coming from embedded primes of certain initial ideals of $I_A$.
Partial theta functions. I. Beyond the lost notebook
Published in Proc. London Math. Soc. 87 (2003), 363-395
• View Publication
• BIB
It is shown how many of the partial theta function identities in Ramanujan's lost notebook can be generalized to infinite families of such identities. Key in our construction is the Bailey lemma and a new generalization of the Jacobi triple product identity. By computing residues around the poles of our identities we find a surprising connection between partial theta functions identities and Garret-Ismail-Stanton-type extensions of multisum Rogers-Ramanujan identities.
On finite sequences satisfying linear recursions
Published in New York J. Math._8_ (2002) 85-97 = http://nyjm.albany.edu:8000/j/2002/8-5.html
• Search Publication
For any field k and any integers m,n with 0 <= 2m <= n+1, let W_n be the k-vector space of sequences (x_0,...,x_n), and let H_m be the subset of W_n consisting of the sequences that satisfy a degree-m linear recursion, that is, for which there exist a_0,...,a_m in k, not all zero, such that sum(a_i x_{i+j}, i=0..m) = 0 holds for each j=0,1,...,n-m. Equivalently, H_m is the set of (x_0,...,x_n) such that the (m+1)-by-(n-m+1) matrix with (i,j) entry x_{i+j} (i=0..m, j=0..n-m) has rank at most m. We use elementary linear and polynomial algebra to study these sets H_m. In particular, when k is a finite field of q elements, we write the characteristic function of H_m as a linear combination of characteristic functions of linear subspaces of dimensions m and m+1 in W_n. We deduce a formula for the discrete Fourier transform (DFT) of this characteristic function, and obtain some consequences. For instance, if the 2m+1 entries of a square Hankel matrix of order m+1 are chosen independently from a fixed but not necessarily uniform distribution mu on k, then as m->infty the matrix is singular with probability approaching 1/q provided the DFT of mu has l_1 norm less than sqrt(q). This bound sqrt(q) is best possible if q is a square.
Algebraic Unimodular Counting
Published
• View Publication
• BIB
We study algebraic algorithms for expressing the number of non-negative integer solutions to a unimodular system of linear equations as a function of the right hand side. Our methods include Todd classes of toric varieties via Gröbner bases, and rational generating functions as in Barvinok's algorithm. We report polyhedral and computational results for two special cases: counting contingency tables and Kostant's partition function.
On the hypersurface orbital varieties of sl(N,C)
Published
• View Publication
• BIB
We study the structure of hypersurface orbital varieties of sl(N,C) (those that are hypersurfaces in the nilradical of some parabolic subalgebra) and how information about this structure is encoded in the standard Young tableau associated to it by the Robinson-Schensted algorithm. We present a conjecture for the exact form of the unique non-linear defining equations of hypersurface orbital varieties and proofs of the conjecture in certain cases.
The Laurent phenomenon
Published
• View Publication
• BIB
A composition of birational maps given by Laurent polynomials need not be given by Laurent polynomials; however, sometimes---quite unexpectedly---it does. We suggest a unified treatment of this phenomenon, which covers a large class of applications. In particular, we settle in the affirmative a conjecture of D$.$Gale and R$.$Robinson on integrality of generalized Somos sequences, and prove the Laurent property for several multidimensional recurrences, confirming conjectures by J$.$Propp, N$.$Elkies, and M$.$Kleber.
Combinatorial nature of ground state vector of O(1) loop model
Published in Theor.Math.Phys. 138 (2004) 333-337; Teor.Mat.Fiz. 138 (2004) 395-400
• View Publication
• BIB
Hanging about a hypothetical connections between the ground state vector for some special spin systems and the alternating-sign matrices, we have found a numerical evidence for the fact that the numbers of the states of the fully packed loop model with fixed link-patterns coincide with the components of the ground state vector of the dense O$(1)$ loop model considered by Batchelor, de Gier and Nienhuis. Our conjecture generalizes in a sense the conjecture of Bosley and Fidkowski, refined by Cohn and Propp, and proved by Wieland.
The distribution of values in the quadratic assignment problem
Published
• View Publication
• BIB
We obtain a number of results regarding the distribution of values of a quadratic function f on the set of nxn permutation matrices (identified with the symmetric group S_n) around its optimum (minimum or maximum). In particular, we estimate the fraction of permutations sigma such that f(sigma) lies within a given neighborhood of the optimal value of f. We identify some ``extreme'' functions f (there are 4 of those for n even and 5 for n odd) such that the distribution of every quadratic function around its optimum is a certain ``mixture'' of the distributions of the extremes and describe a natural class of functions (which includes, for example, the objective function in the Traveling Salesman Problem) with a relative abundance of near-optimal permutations. In particular, we identify a large class of functions f with the property that permutations in the vicinity of the optimal permutation (in the Hamming metric of S_n) tend to produce near optimal values of f (such is, for example, the objective function in the symmetric Traveling Salesman Problem) and show that for general f, just the opposite behavior may take place: an average permutation in the vicinity of the optimal permutation may be much worse than an average permutation in the whole group S_n.
Critical and Multicritical Semi-Random (1+d)-Dimensional Lattices and Hard Objects in d Dimensions
Published in J.Phys.A35:897-928,2002
• View Publication
• BIB
We investigate models of (1+d)-D Lorentzian semi-random lattices with one random (space-like) direction and d regular (time-like) ones. We prove a general inversion formula expressing the partition function of these models as the inverse of that of hard objects in d dimensions. This allows for an exact solution of a variety of new models including critical and multicritical generalized (1+1)-D Lorentzian surfaces, with fractal dimensions $d_F=k+1$, k=1,2,3,..., as well as a new model of (1+2)-D critical tetrahedral complexes, with fractal dimension $d_F=12/5$. Critical exponents and universal scaling functions follow from this solution. We finally establish a general connection between (1+d)-D Lorentzian lattices and directed-site lattice animals in (1+d) dimensions.
Planar Maps in 4 bits/edge
Existing planar map encodings neglect maps with loops. The presented scheme encodes any connected planar map in 4 bits/edge. Encoding and decoding time is O(edges). Implicit face/edge/vertex orderings and canonical encodings are discussed.
Conformal-field-theoretic analogues of codes and lattices
Published
• View Publication
• BIB
We introduce and study completely-extendable conformal intertwining algebras. Based on results obtained in other papers, various examples are given. Duals of these algebras are constructed and nondegenerate such algebras are defined. We prove that the double dual of such a nondegenrate algebra is equal to itself. We explain using a table that these nondegenerate algebras are the correct conformal-field-theoretic analogues of linear binary codes and nondegenerate rational lattices.