Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Noise Stability of Weighted Majority
Published
• View Publication
• BIB
Benjamini, Kalai and Schramm (2001) showed that weighted majority functions of $n$ independent unbiased bits are uniformly stable under noise: when each bit is flipped with probability $ε$, the probability $p_ε$ that the weighted majority changes is at most $Cε^{1/4}$. They asked what is the best possible exponent that could replace 1/4. We prove that the answer is 1/2. The upper bound obtained for $p_ε$ is within a factor of $\sqrt{π/2}+o(1)$ from the known lower bound when $ε\to 0$ and $nε\to \infty$.
Parking functions and Haglund--Loehr data
A parking function is a sequence of N nonnegative integers majorated by a permutation of the set {0, ..., N-1}. We provide a way to encode parking functions by data suggested by J.Haglund and N.Loehr. This coding is compared with another one proposed earlier by M.Shapiro and the author.
A Short Proof of the Zeilberger-Bressoud $q$-Dyson Theorem
Published
• View Publication
• BIB
We give a formal Laurent series proof of Andrews's $q$-Dyson Conjecture, first proved by Zeilberger and Bressoud.
Methods in the Local Theory of Packing and Covering Lattices
Published in pages 122-136 in Proceedings of "COE Workshop on Sphere Packings'', November 2004, Fukuoka, Japan
• Search Publication
In this paper we are concerned with three lattice problems: the lattice packing problem, the lattice covering problem and the lattice packing-covering problem. One way to find optimal lattices for these problems is to enumerate all finitely many, locally optimal lattices. For the lattice packing problem there are two classical algorithms going back to Minkowski and Voronoi. For the covering and for the packing-covering problem we propose new algorithms. Here we give a brief survey about these approaches. We report on some recent computer based computations where we were able to reproduce and partially extend the known classification of locally optimal lattices. Furthermore we found new record breaking covering and packing-covering lattices. We describe several methods with examples to show that a lattice is a locally optimal solution to one of the three problems.
SPM Bulletin 11
This issue contains, in addition to the usual contents, a special festive announcement: A book. This book by Banakh and Zdomsky seems to be the first in a planned series by these authors. We believe that the book will become a cornerstone in many future mathematical investigations, in particular in the field of infinite-combinatorial topology. The book's preliminary version is available online, as seen in the announcement, and the readers of the SPM Bulletin are encouraged to take a look and make comments.
Zdomsky has also made two detailed contributions to this issue. This is the ideal form of a contribution to the SPM Bulletin, and we urge all contributors to consider this possibility from time to time.
1 Editor's note; 2 Research announcements; 2.1 On subclasses of weak Asplund spaces; 2.2 The number of translates of a closed nowhere dense set required to cover a Polish group; 2.3 More on convexity numbers of closed sets in R^n; 2.4 A new book: Coherence of Semifilters; 3 Characterization of topological spaces with (strictly) o-bounded free topological group; 4 An equivalent of SPM Bulletin 2's Problem of the month; 5 Boise Extravaganza In Set Theory (March 25--27, 2005); 6 Problem of the Issue; 7 Problems from earlier issues; References
Symmetric functions in superspace
We construct a generalization of the theory of symmetric functions involving functions of commuting and anticommuting (Grassmannian) variables. These new functions, called symmetric functions in superspace, are invariant under the diagonal action of the symmetric group acting on the sets of commuting and anticommuting variables. We first obtain superspace analogues of a number of standard objects and concepts in the theory of symmetric functions: partitions, monomials, elementary symmetric functions, completely symmetric functions, power sums, involutions, generating functions, Cauchy formulas, and scalar products. We then consider a one-parameter extension of the combinatorial scalar product. It provides the natural setting for the definition of a family of ``combinatorial'' orthogonal Jack polynomials in superspace. We show that this family coincides with that of ``physical'' Jack polynomials in superspace that were previously introduced by the authors as orthogonal eigenfunctions of a supersymmetric quantum mechanical many-body problem. The equivalence of the two families is established by showing that the ``physical'' Jack polynomials are also orthogonal with respect to the combinatorial scalar product. This equivalence is also directly demonstrated for particular values of the free parameter.
Word Representations of m x n x p Proper Arrays
Let $m\neq n$. An $m\times n\times p$ proper array is a three-dimensional array composed of directed cubes that obeys certain constraints. Because of these constraints, the $m\times n\times p$ proper arrays may be classified via a schema in which each $m\times n\times p$ proper array is associated with a particular $m\times n$ planar face. By representing each connencted component present in the $m\times n$ planar face with a distinct letter, and the position of each outward pointing connector by a circle, an $m\times n$ array of circled letters is formed. This $m\times n$ array of circled letters is the word representation associated with the $m\times n\times p$ proper array. The main result of this paper involves the enumeration of all $m\times n$ word representations modulo symmetry, where the symmetry is derived from the group $D_2 = C_2\times C_2$ acting on the set of word representations. This enumeration is achieved by forming a linear combination of four exponential generating functions, each of which is derived from a particular symmetry operation. This linear combination counts the number of partitions of the set of $m\times n$ words representations that are inequivalent under $D_2$.
Some positive differences of products of Schur functions
The product $s_μs_ν$ of two Schur functions is one of the most famous examples of a Schur-positive function, i.e. a symmetric function which, when written as a linear combination of Schur functions, has all positive coefficients.
We ask when expressions of the form $s_λs_ρ- s_μs_ν$ are Schur-positive. This general question seems to be a difficult one, but a conjecture of Fomin, Fulton, Li and Poon says that it is the case at least when $λ$ and $ρ$ are obtained from $μ$ and $ν$ by redistributing the parts of $μ$ and $ν$ in a specific, yet natural, way. We show that their conjecture is true in several significant cases. We also formulate a skew-shape extension of their conjecture, and prove several results which serve as evidence in favor of this extension. Finally, we take a more global view by studying two classes of partially ordered sets suggested by these questions.
Extended finite operator calculus as an example of algebraization of analysis
A wardian calculus of sequences started almost seventy years ago constitutes the general scheme for extensions of the classical umbral operator calculus considered by many afterwards . At the same time this calculus is an example of the algebraization of the analysis here restricted to the algebra of formal series. This is a review article based on the recent first author contributions. As the survey article it is supplemented by the short indicatory glossaries of notation and terms used by prominent contributors to the domain.
Concerning the shape of a geometric lattice
Published
• View Publication
• BIB
A well-known conjecture states that the Whitney numbers of the second kind of a geometric lattice (simple matroid) are logarithmically concave. We show this conjecture to be equivalent to proving an upper bound on the number of new copoints in the free erection of the associated simple matroid M. A bound on the number of these new copoints is given in terms of the copoints and colines of M. Also, the points-lines-planes conjecture is shown to be equivalent to a problem concerning the number subgraphs of a certain bipartite graph whose vertices are the points and lines of a geometric lattice.
Letter Representations of m x n x p Proper Arrays
Let $m\neq n$. An $m\times n\times p$ {\it proper array} is a three-dimensional rectangular array composed of directed cubes that obeys certain constraints. Because of these constraints, the $m\times n\times p$ proper arrays may be classified via a schema in which each $m\times n\times p$ proper array is associated with a particular $m\times n$ planar face. By representing each connected component present in the $m\times n$ planar face with a distinct letter, an $m\times n$ array of letters is formed. This $m\times n$ array of letters is the {\it letter representation} associated with the $m\times n\times p$ proper array. The main result of this paper involves the enumeration of all $m\times n$ letter representations modulo symmetry, where the symmetry is derived from the group $D_2 = C_2\times C_2$ acting on the set of letter representations. The enumeration is achieved by forming a linear combination of four exponential generating functions, each of which is derived from a particular symmetry operation. This linear combination counts the number of partitions of the set of $m\times n$ letter representations that are inequivalent under $D_2$. This is done by forming four generating functions, each of which derives from a particular symmetry operation.
Free quasi-symmetric functions, product actions and quantum field theory of partitions
We examine two associative products over the ring of symmetric functions related to the intransitive and Cartesian products of permutation groups. As an application, we give an enumeration of some Feynman type diagrams arising in Bender's QFT of partitions. We end by exploring possibilities to construct noncommutative analogues.
A categorification for the chromatic polynomial
Published in Algebr. Geom. Topol. 5 (2005) 1365-1388
• View Publication
• BIB
For each graph we construct graded cohomology groups whose graded Euler characteristic is the chromatic polynomial of the graph. We show the cohomology groups satisfy a long exact sequence which corresponds to the well-known deletion-contraction rule. This work is motivated by Khovanov's work on categorification of the Jones polynomial of knots.
Permutation statistics on involutions
Published
• View Publication
• BIB
In this paper we look at polynomials arising from statistics on the classes of involutions, $I_n$, and involutions with no fixed points, $J_n$, in the symmetric group. Our results are motivated by F. Brenti's conjecture which states that the Eulerian distribution of $I_n$ is log-concave. Symmetry of the generating functions is shown for the statistics $des,maj$ and the joint distribution $(des,maj)$. We show that $exc$ is log-concave on $I_n$, $inv$ is log-concave on $J_n$ and $des$ is partially unimodal on both $I_n$ and $J_n$. We also give recurrences and explicit forms for the generating functions of the inversions statistic on involutions in Coxeter groups of types $B_n$ and $D_n$. Symmetry and unimodality of $inv$ is shown on the subclass of signed permutations in $D_n$ with no fixed points. In light of these new results, we present further conjectures at the end of the paper.
Inhomogenous model of crossing loops and multidegrees of some algebraic varieties
Published
• View Publication
• BIB
We consider a quantum integrable inhomogeneous model based on the Brauer algebra B(1) and discuss the properties of its ground state eigenvector. In particular we derive various sum rules, and show how some of its entries are related to multidegrees of algebraic varieties.
On odd covering systems with distinct moduli
Published in Adv. Appl. Math. 35(2005), 182--187
• View Publication
• BIB
A famous unsolved conjecture of P. Erdos and J. L. Selfridge states that there does not exist a covering system {a_s(mod n_s)}_{s=1}^k with the moduli n_1,...,n_k odd, distinct and greater than one. In this paper we show that if such a covering system {a_s(mod n_s)}_{s=1}^k exists with n_1,...,n_k all square-free, then the least common multiple of n_1,...,n_k has at least 22 prime divisors.
Well--Poised Macdonald Functions W_lambda and Jackson Coefficients omega_lambda On BC_n
Published
• View Publication
• BIB
The very well--poised elliptic Macdonald functions W_lambda in n independent variables are defined and their properties are investigated. The W_lambda are generalized by introducing an extra parameter to the elliptic Jackson coefficients omega_lambda and their properties are studied. BC_n multivariable Jackson sums in terms of both W_lambda and omega_lambda functions are proved.
Destruction of very simple trees
Published in Algorithmica, 46:3-4 (2006), pp. 345-366
• View Publication
• BIB
We consider the total cost of cutting down a random rooted tree chosen from a family of so-called very simple trees (which include ordered trees, $d$-ary trees, and Cayley trees); these form a subfamily of simply generated trees. At each stage of the process an edge is chose at random from the tree and cut, separating the tree into two components. In the one-sided variant of the process the component not containing the root is discarded, whereas in the two-sided variant both components are kept. The process ends when no edges remain for cutting. The cost of cutting an edge from a tree of size $n$ is assumed to be $n^α$. Using singularity analysis and the method of moments, we derive the limiting distribution of the total cost accrued in both variants of this process. A salient feature of the limiting distributions obtained (after normalizing in a family-specific manner) is that they only depend on $α$.
Ergodic Averages for Independent Polynomials and Applications
Published
• View Publication
• BIB
Szemerédi's Theorem states that a set of integers with positive upper density contains arbitrarily long arithmetic progressions. Bergelson and Leibman generalized this, showing that sets of integers with positive upper density contain arbitrarily long polynomial configurations; Szemerédi's Theorem corresponds to the linear case of the polynomial theorem. We focus on the case farthest from the linear case, that of rationally independent polynomials. We derive results in ergodic theory and in combinatorics for rationally independent polynomials, showing that their behavior differs sharply from the general situation.
On the geometry of graph arrangements
We use the results of AG/0406290 to discuss the counting formulas of network flow polytopes and magic squares, i.e. the formula for the corresponding Ehrhart polynomial in terms of residues. We also discuss a description of the big cells using the theory of non broken circuit bases.