Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A Closer Look at Lattice Points in Rational Simplices
Published in Electronic J. Comb. 6, no. 1 (1999), R 37
• Search Publication
We generalize Ehrhart's idea of counting lattice points in dilated rational polytopes: Given a rational simplex, that is, an n-dimensional polytope with n+1 rational vertices, we use its description as the intersection of n+1 halfspaces, which determine the facets of the simplex. Instead of just a single dilation factor, we allow different dilation factors for each of these facets. We give an elementary proof that the lattice point counts in the interior and closure of such a "vector-dilated" simplex are quasipolynomials satisfying an Ehrhart-type reciprocity law. This generalizes the classical reciprocity law for rational polytopes. As an example, we derive a lattice point count formula for a rectangular rational triangle, which enables us to compute the number of lattice points inside any rational polygon.
Counting Lattice Points by means of the Residue Theorem
Published in Ramanujan J. 4, no. 3 (2000), 299-310
• Search Publication
We use the residue theorem to derive an expression for the number of lattice oints in a dilated n-dimensional tetrahedron with vertices at lattice points on each coordinate axis and the origin. This expression is known as the Ehrhart polynomial. We show that it is a polynomial in t, where t is the integral dilation parameter. We prove the Ehrhart-Macdonald reciprocity law for these tetrahedra, relating the Ehrhart polynomials of the interior and the closure of the tetrahedra. To illustrate our method, we compute the Ehrhart coefficient for codimension 2. Finally, we show how our ideas can be used to compute the Ehrhart polynomial for an arbitrary convex lattice polytope.
The polynomial part of a restricted partition function related to the Frobenius problem
Published in Electronic J. Comb. 8, no. 1 (2001), N 7
• Search Publication
Given a set of positive integers A = {a_1,...,a_n}, we study the number p_A (t) of nonnegative integer solutions (m_1,...,m_n) to m_1 a_1 + ... m_n a_n = t. We derive an explicit formula for the polynomial part of p_A.
The equivariant Orlik-Solomon algebra
Published
• View Publication
• BIB
Given a real arrangement $A$, the complement $M(A)$ of the complexification of $A$ admits an action of $\mathbb{Z}_2$ by complex conjugation. We define the equivariant Orlik-Solomon algebra of $A$ to be the $\mathbb{Z}_2$-equivariant cohomology ring of $M(A)$ with coefficients in $\mathbb{Z}_2$. We give a combinatorial presentation of this ring, and interpret it as a deformation of the ordinary Orlik-Solomon algebra into the Varchenko-Gel'fand ring of locally constant $\mattbb{Z}_2$-valued functions on the complement $C(A)$ of $A$ in $\mathbb{R}^n$. We also show that the $\mathbb{Z}_2$-equivariant homotopy type of $M(A)$ is determined by the oriented matroid of $A$. As an application, we give two examples of pairs of arrangements $A$ and $A'$ such that $M(A)$ and $M(A')$ have the same nonequivariant homotopy type, but are distinguished by the equivariant Orlik-Solomon algebra.
Random MAX SAT, Random MAX CUT, and Their Phase Transitions
Published
• View Publication
• BIB
Given a 2-SAT formula $F$ consisting of $n$ variables and $\cn$ random clauses, what is the largest number of clauses $\max F$ satisfiable by a single assignment of the variables? We bound the answer away from the trivial bounds of $(3/4)cn$ and $cn$. We prove that for $c<1$, the expected number of clauses satisfiable is $\cn-Θ(1/n)$; for large $c$, it is $((3/4)c + Θ(\sqrt{c}))n$; for $c = 1+\eps$, it is at least $(1+\eps-O(\eps^3))n$ and at most $(1+\eps-Ω(\eps^3/\ln \eps))n$; and in the ``scaling window'' $c= 1+Θ(n^{-1/3})$, it is $cn-Θ(1)$. In particular, just as the decision problem undergoes a phase transition, our optimization problem also undergoes a phase transition at the same critical value $c=1$.
Nearly all of our results are established without reference to the analogous propositions for decision 2-SAT, and as a byproduct we reproduce many of those results, including much of what is known about the 2-SAT scaling window.
We consider ``online'' versions of MAX-2-SAT, and show that for one version, the obvious greedy algorithm is optimal.
We can extend only our simplest MAX-2-SAT results to MAX-k-SAT, but we conjecture a ``MAX-k-SAT limiting function conjecture'' analogous to the folklore satisfiability threshold conjecture, but open even for $k=2$. Neither conjecture immediately implies the other, but it is natural to further conjecture a connection between them.
Finally, for random MAXCUT (the size of a maximum cut in a sparse random graph) we prove analogous results.
Prefix exchanging and pattern avoidance by involutions
Published in Elec. J. Comb. 9 (2) 2003, #R16
• View Publication
• BIB
Let I_n(π) denote the number of involutions in the symmetric group S_n which avoid the permutation π. We say that two permutations α,β\in§{j} may be exchanged if for every n, k, and ordering τof j+1,...,k, we have I_n(ατ)=I_n(βτ). Here we prove that 12 and 21 may be exchanged and that 123 and 321 may be exchanged. The ability to exchange 123 and 321 implies a conjecture of Guibert, thus completing the classification of S_4 with respect to pattern avoidance by involutions; both of these results also have consequences for longer patterns.
Pattern avoidance by involutions may be generalized to rook placements on Ferrers boards which satisfy certain symmetry conditions. Here we provide sufficient conditions for the corresponding generalization of the ability to exchange two prefixes and show that these conditions are satisfied by 12 and 21 and by 123 and 321. Our results and approach parallel work by Babson and West on analogous problems for pattern avoidance by general (not necessarily involutive) permutations, with some modifications required by the symmetry of the current problem.
Interpolation analogues of Schur Q-functions
Published
• View Publication
• BIB
We introduce interpolation analogues of Schur Q-functions - the multiparameter Schur Q-functions. We obtain for them several results: a combinatorial formula, generating functions for one-row and two-rows functions, vanishing and characterization properties, a Pieri-type formula, a Nimmo-type formula (a relation of two Pfaffians), a Giambelli-Schur-type Pfaffian formula, a determinantal formula for the transition coefficients between multiparameter Schur Q-functions with different parameters. We write an explicit Pfaffian expression for the dimension of skew shifted Young diagram. This paper is a continuation of author's paper math.CO/0303169 and is a partial projective analogue of the paper by A. Okounkov and G. Olshanski q-alg/9605042, and of the paper by G. Olshanski, A. Regev and A. Vershik math.CO/0110077.
Refined upper bounds for the linear Diophantine problem of Frobenius
Published in Adv. Appl. Math. 32, no. 3 (2004), 454-467
• View Publication
• BIB
We study the Frobenius problem: given relatively prime positive integers a_1,...,a_d, find the largest value of t (the Frobenius number g(a_1,...,a_d)) such that m_1 a_1 + ... m_d a_d = t has no solution in nonnegative integers m_1,...,m_d. We introduce a method to compute upper bounds for g(a_1,a_2,a_3), which seem to grow considerably slower than previously known bounds. Our computations are based on a formula for the restricted partition function, which involves Dedekind-Rademacher sums, and the reciprocity law for these sums.
q Statistics on $S_n$ and Pattern Avoidance
Published
• View Publication
• BIB
Natural q analogues of classical statistics on the symmetric groups $S_n$ are introduced; parameters like: the q-length, the q-inversion number, the q-descent number and the q-major index. MacMahon's theorem about the equi-distribution of the inversion number and the reverse major index is generalized to all positive integers q. It is also shown that the q-inversion number and the q-reverse major index are equi-distributed over subsets of permutations avoiding certain patterns. Natural q analogues of the Bell and the Stirling numbers are related to these q statistics -- through the counting of the above pattern-avoiding permutations.
The Reciprocity Law for Dedekind Sums via the constant Ehrhart coefficient
Published in American Mathematical Monthly 106, no. 5 (1999), 459--462
• Search Publication
We obtain a new motivated proof of the reciprocity law for Dedekind sums by computing the constant coefficient of the Ehrhart polynomial for a rectangular triangle in two ways. On the one hand, the constant term is the Euler characteristic, and on the other hand it is given by a cotangent Laurent expansion.
Orderings of Monomial Ideals
Published
• View Publication
• BIB
We study the set of monomial ideals in a polynomial ring as an ordered set, with the ordering given by reverse inclusion. We give a short proof of the fact that every antichain of monomial ideals is finite. Then we investigate ordinal invariants for the complexity of this ordered set. In particular, we give an interpretation of the height function in terms of the Hilbert-Samuel polynomial, and we compute upper and lower bounds on the maximal order type.
Bandwidth reduction in rectalgular grids
We show that the bandwidth of a square two-dimensional grid of arbitrary size can be reduced if two (but not less than two) edges are deleted. The two deleted edges may not be chosen arbitrarily, but they may be chosen to share a common endpoint or to be non-adjacent.
We also show that the bandwidth of the rectangular n by m (m greater or equal to n) grid can be reduced by k, for all k that are sufficiently small, if m-n+2k edges are deleted.
SPM Bulletin 5 (Special issue)
*** Note the comment above ***
This is a special issue dedicated to the announcement of Shelah's recent solution of the Minimal Tower problem, one of the oldest and most important problems in infinite combinatorics which also motivated some new studies in SPM (see fourth issue of this bulletin). We give some background and personal perspectives on the problem and its solution.
We decided not to include additional research announcements in this issue, so to let them draw the attention they deserve in the coming issue.
This issue also contains an interesting new problem which is related to the Minimal Tower problem (but still open).
Generating function for K-restricted jagged partitions
Published in Electronic J. Comb. 12 (2005) No 1 R12 (17p.)
• View Publication
• BIB
We present a natural extension of Andrews' multiple sums counting partitions with difference 2 at distance $k-1$, by deriving the generating function for $K$-restricted jagged partitions.
A jagged partition is a collection of non-negative integers $(n_1,n_2,..., n_m)$ with $n_m\geq 1$ subject to the weakly decreasing conditions $n_i\geq n_{i+1}-1$ and $n_i\geq n_{i+2}$. The $K$-restriction refers to the following additional conditions: $n_i \geq n_{i+K-1} +1$ or $ n_i = n_{i+1}-1 = n_{i+K-2}+1= n_{i+K-1}$. The corresponding generalization of the Rogers-Ramunjan identities is displayed, together with a novel combinatorial interpretation.
Zero-sum problems for abelian p-groups and covers of the integers by residue classes
Published in Israel J. Math. 170(2009), 235-252
• View Publication
• BIB
Zero-sum problems for abelian groups and covers of the integers by residue classes, are two different active topics initiated by P. Erdos more than 40 years ago and investigated by many researchers separately since then. In an earlier announcement [Electron. Res. Announc. Amer. Math. Soc. 9(2003), 51-60], the author claimed some surprising connections among these seemingly unrelated fascinating areas. In this paper we establish further connections between zero-sum problems for abelian p-groups and covers of the integers. For example, we extend the famous Erdos-Ginzburg-Ziv theorem in the following way: If {a_s(mod n_s)}_{s=1}^k covers each integer either exactly 2q-1 times or exactly 2q times where q is a prime power, then for any c_1,...,c_k in Z/qZ there exists a subset I of {1,...,k} such that sum_{s in I}1/n_s=q and sum_{s in I}c_s=0. Our main theorem in this paper unifies many results in the two realms and also implies an extension of the Alon-Friedland-Kalai result on regular subgraphs.
Evolving sets, mixing and heat kernel bounds
Published
• View Publication
• BIB
We show that a new probabilistic technique, recently introduced by the first author, yields the sharpest bounds obtained to date on mixing times of Markov chains in terms of isoperimetric properties of the state space (also known as conductance bounds or Cheeger inequalities). We prove that the bounds for mixing time in total variation obtained by Lovasz and Kannan, can be refined to apply to the maximum relative deviation $|p^n(x,y)/π(y)-1|$ of the distribution at time $n$ from the stationary distribution $π$. We then extend our results to Markov chains on infinite state spaces and to continuous-time chains. Our approach yields a direct link between isoperimetric inequalities and heat kernel bounds; previously, this link rested on analytic estimates known as Nash inequalities.
Integer and fractional packing of families of graphs
Published
• View Publication
• BIB
Let ${\cal F}$ be a family of graphs. For a graph $G$, the {\em ${\cal F}$-packing number}, denoted $ν_{\cal F}(G)$, is the maximum number of pairwise edge-disjoint elements of ${\cal F}$ in $G$. A function $ψ$ from the set of elements of ${\cal F}$ in $G$ to $[0,1]$ is a {\em fractional ${\cal F}$-packing} of $G$ if $\sum_{e \in H \in {\cal F}} {ψ(H)} \leq 1$ for each $e \in E(G)$. The {\em fractional ${\cal F}$-packing number}, denoted $ν^*_{\cal F}(G)$, is defined to be the maximum value of $\sum_{H \in {{G} \choose {\cal F}}} ψ(H)$ over all fractional ${\cal F}$-packings $ψ$. Our main result is that $ν^*_{\cal F}(G)-ν_{\cal F}(G) = o(|V(G)|^2)$. Furthermore, a set of $ν_{\cal F}(G) -o(|V(G)|^2)$ edge-disjoint elements of ${\cal F}$ in $G$ can be found in randomized polynomial time. For the special case ${\cal F}=\{H_0\}$ we obtain a significantly simpler proof of a recent difficult result of Haxell and Rödl \cite{HaRo} that $ν^*_{H_0}(G)-ν_{H_0}(G) = o(|V(G)|^2)$.
On a sequence related to the Josephus problem
In this short note, we show that an integer sequence defined on the minimum of differences between divisor complements of its partial products is connected with the Josephus problem (q=3).
Refined sign-balance on 321-avoiding permutations
Published
• View Publication
• BIB
The number of even 321-avoiding permutations of length n is equal to the number of odd ones if n is even, and exceeds it by the (n-1)/2th Catalan number otherwise. We present an involution that proves a refinement of this sign-balance property respecting the length of the longest increasing subsequence of the permutation. In addition, this yields a combinatorial proof of a recent analogous result of Adin and Roichman dealing with the last descent. In particular, we answer the question how to obtain the sign of a 321-avoiding permutation from the pair of tableaux resulting from the Robinson-Schensted-Knuth algorithm. The proof of the simple solution bases on a matching method given by Elizalde and Pak.
The volume of the 10th Birkhoff polytope
The n'th Birkhoff polytope $B_n$ is the set of all doubly stochastic $n \times n$ matrices, that is, those matrices with nonnegative real coefficients in which every row and column sums to one. A long-standing open problem is the determination of the relative volume of $B_n$. In [arXiv:math.CO/0202267] we introduced a method of calculating this volume and used it to compute $\vol B_9$. This note is an update on our progress: with the same program (but much longer computing time), we have now derived $\vol B_{10}$.