Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Finite Form of the Quintuple Product Identity
Published
• View Publication
• BIB
The celebrated quintuple product identity follows surprisingly from an almost-trivial algebraic identity, which is the limiting case of the terminating q-Dixon formula.
Categorification of the Dichromatic Polynomial for Graphs
For each graph and each positive integer $n$, we define a chain complex whose graded Euler characteristic is equal to an appropriate $n$-specialization of the dichromatic polynomial. This also gives a categorification of $n$-specializations of the Tutte polynomial of graphs. Also, for each graph and integer $n\le 2$, we define the different one variable $n$-specializations of the dichromatic polynomials, and for each polynomial we define graded chain complex whose graded Euler characteristic is equal to that polynomial. Furthermore, we explicitly categorify the specialization of the Tutte polynomial for graphs which corresponds to the Jones polynomial of the appropriate alternating link.
Learning symmetric k-juntas in time n^o(k)
We give an algorithm for learning symmetric k-juntas (boolean functions of $n$ boolean variables which depend only on an unknown set of $k$ of these variables) in the PAC model under the uniform distribution, which runs in time n^{O(k/\log k)}. Our bound is obtained by proving the following result: Every symmetric boolean function on k variables, except for the parity and the constant functions, has a non-zero Fourier coefficient of order at least 1 and at most O(k/\log k). This improves the previously best known bound of (3/31)k, and provides the first n^{o(k)} time algorithm for learning symmetric juntas.
Maximal Sidon Sets and Matroids
Published
• View Publication
• BIB
Let X be a subset of an abelian group and a_1,...,a_h,a'_1,...,a'_h a sequence of 2h elements of X such that a_1 + ... + a_h = a'_1 + ... + a'_h. The set X is a Sidon set of order h if, after renumbering, a_i = a'_i for i = 1,..., h. For k \leq h, the set X is a generalized Sidon set of order (h,k), if, after renumbering, a_i = a'_i for i = 1,..., k. It is proved that if X is a generalized Sidon set of order (2h-1,h-1), then the maximal Sidon sets of order h contained in X have the same cardinality. Moreover, X is a matroid where the independent subsets of X are the Sidon sets of order h.
Ehrhart-Macdonald reciprocity extended
For a convex polytope P with rational vertices, we count the number of integer points in integral dilates of P and its interior. The Ehrhart-Macdonald reciprocity law gives an intimate relation between these two counting functions. A similar counting function and reciprocity law exists for the sum of all solid angles at integer points in dilates of P. We derive a unifying generalization of these reciprocity theorems which follows in a natural way from Brion's Theorem on conic decompositions of polytopes.
Volume computation for polytopes and partition functions for classical root systems
Published in Discrete & Computational Geometry 35 (2006), 551-595
• View Publication
• BIB
This paper presents an algorithm to compute the value of the inverse Laplace transforms of rational functions with poles on arrangements of hyperplanes. As an application, we present an efficient computation of the partition function for classical root systems.
The Eulerian Distribution on Involutions is Indeed Unimodal
Published in J. Combin. Theory Ser. A 113 (2006), 1061-1071
• View Publication
• BIB
Let I_{n,k} (resp. J_{n,k}) be the number of involutions (resp. fixed-point free involutions) of {1,...,n} with k descents. Motivated by Brenti's conjecture which states that the sequence I_{n,0}, I_{n,1},..., I_{n,n-1} is log-concave, we prove that the two sequences I_{n,k} and J_{2n,k} are unimodal in k, for all n. Furthermore, we conjecture that there are nonnegative integers a_{n,k} such that $$ \sum_{k=0}^{n-1}I_{n,k}t^k=\sum_{k=0}^{\lfloor (n-1)/2\rfloor}a_{n,k}t^{k}(1+t)^{n-2k-1}. $$ This statement is stronger than the unimodality of I_{n,k} but is also interesting in its own right.
Integral affine structures on spheres III: complete intersections
We extend our model for affine structures on toric Calabi-Yau hypersurfaces math.AG/0205321 to the case of complete intersections.
Log-concavity and LC-positivity
Published in J. Combin. Theory, Ser. A 114 (2007) 195--210
• View Publication
• BIB
A triangle $\{a(n,k)\}_{0\le k\le n}$ of nonnegative numbers is LC-positive if for each $r$, the sequence of polynomials $\sum_{k=r}^{n}a(n,k)q^k$ is $q$-log-concave. It is double LC-positive if both triangles $\{a(n,k)\}$ and $\{a(n,n-k)\}$ are LC-positive. We show that if $\{a(n,k)\}$ is LC-positive then the log-concavity of the sequence $\{x_k\}$ implies that of the sequence $\{z_n\}$ defined by $z_n=\sum_{k=0}^{n}a(n,k)x_k$, and if $\{a(n,k)\}$ is double LC-positive then the log-concavity of sequences $\{x_k\}$ and $\{y_k\}$ implies that of the sequence $\{z_n\}$ defined by $z_n=\sum_{k=0}^{n}a(n,k)x_ky_{n-k}$. Examples of double LC-positive triangles include the constant triangle and the Pascal triangle. We also give a generalization of a result of Liggett that is used to prove a conjecture of Pemantle on characteristics of negative dependence.
Inhomogeneous loop models with open boundaries
Published
• View Publication
• BIB
We consider the crossing and non-crossing O(1) dense loop models on a semi-infinite strip, with inhomogeneities (spectral parameters) that preserve the integrability. We compute the components of the ground state vector and obtain a closed expression for their sum, in the form of Pfaffian and determinantal formulas.
The Galaxies of Nonstandard Enlargements of Infinite and Transfinite Graphs: II
Published
• View Publication
• BIB
This report is an improvement of a prior report (Report 813). It sharpens the principal theorems (Theorems 4.2 and 11.2 of Report 813) while simplifying their proofs. There are also several minor changes involving clarifications and corrections of misprints.
The Abstract of the prior report remains the same as follow: The galaxies of the nonstandard enlargements of connected, conventionally infinite graphs as well as of connected transfinite graphs are defined, analyzed, and illustrated by some examples. It is then shown that any such enlargement either has exactly one galaxy, its principal one, or it has infinitely many galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. If an enlargement has a galaxy different from its principal galaxy, then it has a two-way infinite sequence of galaxies that are totally ordered according to that "closeness" property. There may be many such totally ordred sequences.
The Galaxies of Nonstandard Enlargements of Infinite and Transfinite grpahs of Higher Ranks: II
This report is an improvement of a prior report (Report 814). It sharpens the principal theorem (Theorem 5.1 of Report 814) and also simplifies its proof. There are also several minor changes involving clarifications and corrections of misprints. The prior abstract remins the same as follows:
In a previous work, the galaxies of the nonstandard enlargements of connected, conventionally infinite and also of transfinite graphs of the first rank of transfiniteness were defined, examined, and illustrated by some examples. In this work it is shown how the results of the prior work extend to transfinite graphs of higher ranks. Among those results are following: Any such enlargement either has exactly one galaxy, its principal one, ot it has infinitely many such galaxies. In the latter case, the galaxies are partially ordered by their "closeness" to the principal galaxy. Also, certain sequences of galaxies whose members are totally ordered by that "closeness" property are identified.
Three osculating walkers
Published in Journal of Physics: Conference Series 42 (2006) 35--46
• View Publication
• BIB
We consider three directed walkers on the square lattice, which move simultaneously at each tick of a clock and never cross. Their trajectories form a non-crossing configuration of walks. This configuration is said to be osculating if the walkers never share an edge, and vicious (or: non-intersecting) if they never meet. We give a closed form expression for the generating function of osculating configurations starting from prescribed points. This generating function turns out to be algebraic. We also relate the enumeration of osculating configurations with prescribed starting and ending points to the (better understood) enumeration of non-intersecting configurations. Our method is based on a step by step decomposition of osculating configurations, and on the solution of the functional equation provided by this decomposition.
Navigating in the Cayley graphs of SL_N(Z) and SL_N(F_p)
Published in Geometriae Dedicata, 113(1), pages 215-229, 2005
• View Publication
• BIB
We give a non-deterministic algorithm that expresses elements of SL_N(Z), for N > 2, as words in a finite set of generators, with the length of these words at most a constant times the word metric. We show that the non-deterministic time-complexity of the subtractive version of Euclid's algorithm for finding the greatest common divisor of N > 2 integers a_1,..., a_N is at most a constant times N log n where n := max {|a_1|,..., |a_N|}. This leads to an elementary proof that for N > 2 the word metric in SL_N(Z) is biLipschitz equivalent to the logarithm of the matrix norm -- an instance of a theorem of Mozes, Lubotzky and Raghunathan. And we show constructively that there exists K>0 such that for all N > 2 and primes p, the diameter of the Cayley graph of SL_N(F_p) with respect to the generating set {e_{ij} \mid i \neq j} is at most K N^2 \log p.
Enumerations of half-turn symmetric alternating-sign matrices of odd order
Published
• View Publication
• BIB
It was shown by Kuperberg that the partition function of the square-ice model related to half-turn symmetric alternating-sign matrices of even order is the product of two similar factors. We propose a square-ice model whose states are in bijection with half-turn symmetric alternating-sign matrices of odd order. The partition function of the model is expressed via the above mentioned factors. The contributions to the partition function of the states corresponding to the alternating-sign matrices having 1 or -1 as the central entry are found and the related enumerations are obtained.
Linear spaces, transversal polymatroids and ASL domains
Published
• View Publication
• BIB
Let $K$ be an infinite field and $R=K[x_1,...,x_n]$ be the polynomial ring. Let $V=V_1, ..., V_m$ be a collection of vector spaces of linear forms. Denote by $A(V)$ the $K$-subalgebra of $R$ generated by the elements of the product $V_1... V_m$. Our goal is to investigate the properties of the algebra $A(V)$ and the relations with two problems in algebraic combinatorics White's and related conjectures on polymatroids and the study of integral posets.
Counting monomials
Published
• View Publication
• BIB
This paper presents two enumeration techniques based on Hilbert functions. The paper illustrates these techniques by solving two chessboard problems.
Multimagic Squares
Published
• View Publication
• BIB
In this paper we give the first method for constructing n-multimagic squares (and hypercubes) for any n. We give an explicit formula in the case of squares and an effective existence proof in the higher dimensional case. Finally we prove that n-multimagic squares do not exist for certain orders.
Counting with rational generating functions
Published in Journal of Symbolic Computation 43 (2008), 75-91
• View Publication
• BIB
We examine two different ways of encoding a counting function, as a rational generating function and explicitly as a function (defined piecewise using the greatest integer function). We prove that, if the degree and number of input variables of the (quasi-polynomial) function are fixed, there is a polynomial time algorithm which converts between the two representations. Examples of such counting functions include Ehrhart quasi-polynomials, vector partition functions, integer points in parametric polytopes, and projections of the integer points in parametric polytopes. For this last example, this algorithm provides the first known way to compute the explicit function in polynomial time. We rely heavily on results of Barvinok, and also of Verdoolaege, Seghir, Beyls, et al.
On the entropy of LEGO
Published
• View Publication
• BIB
We propose the further study of the rate of growth of the number of contiguous buildings which may be made from n LEGO blocks of the same size and color. Specializing to blocks of dimension 2x4 we give upper and lower bounds, and speculate on the true value.