Showing 20 papers (Total: 82851 papers, 47869 authors in database)
For what number of cars must self organization occur in the Biham-Middleton-Levine traffic model from any possible starting configuration?
For any initial configuration of fewer than N/2 cars the BML model will self organize to attain speed one. On the other hand, there is a configuration of size m in which no car can move if and only if m is at least 2N.
Minimal Generators for Symmetric Ideals
Published
• View Publication
• BIB
Let $K$ be a field, and let $R = K[X]$ be the polynomial ring in an infinite collection $X$ of indeterminates over $K$. Let ${\mathfrak S}_{X}$ be the symmetric group of $X$. The group ${\mathfrak S}_{X}$ acts naturally on $R$, and this in turn gives $R$ the structure of a left module over the (left) group ring $R[{\mathfrak S}_{X}]$. A recent theorem of Aschenbrenner and Hillar states that the module $R$ is Noetherian. We prove that submodules of $R$ can have any number of minimal generators.
An algebraic extension of the MacMahon Master Theorem
Published
• View Publication
• BIB
We present a new algebraic extension of the classical MacMahon Master Theorem. The basis of our extension is the Koszul duality for non-quadratic algebras defined by Berger. Combinatorial implications are also discussed.
Dessins d'enfants and differential equations
We state and solve a discrete version of the classical Riemann-Hilbert problem. In particular, we associate a Riemann-Hilbert problem to every dessin d'enfants. We show how to compute the solution for a dessin that is a tree. This amounts to finding a Fuchsian differential equation satisfied by the local inverses of a Shabat polynomial. We produce a universal annihilating operator for the inverses of a generic polynomial. We classify those plane trees that have a representation by Mobius transformations and those that have a linear representation of dimension at most two. This yields an analogue for trees of Schwarz's classical list, that is, a list of those plane trees whose Riemann-Hilbert problem has a hypergeometric solution of order at most two.
A New Upper Bound for Diagonal Ramsey Numbers
Published
• View Publication
• BIB
We prove a new upper bound for diagonal two-colour Ramsey numbers, showing that there exists a constant $C$ such that \[r(k+1, k+1) \leq k^{- C \frac{\log k}{\log \log k}} \binom{2k}{k}.\]
The Slope Polynomial and Collinear Points in Permutations
Withdrawn due to fatal errors.
On arithmetic and asymptotic properties of up-down numbers
Published
• View Publication
• BIB
Let $σ=(σ_1,..., σ_N)$, where $σ_i =\pm 1$, and let $C(σ)$ denote the number of permutations $π$ of $1,2,..., N+1,$ whose up-down signature $\mathrm{sign}(π(i+1)-π(i))=σ_i$, for $i=1,...,N$.
We prove that the set of all up-down numbers $C(σ)$ can be expressed by a single universal polynomial $Φ$, whose coefficients are products of numbers from the Taylor series of the hyperbolic tangent function. We prove that $Φ$ is a modified exponential, and deduce some remarkable congruence properties for the set of all numbers $C(σ)$, for fixed $N$. We prove a concise upper-bound for $C(σ)$, which describes the asymptotic behaviour of the up-down function $C(σ)$ in the limit $C(σ) \ll (N+1)!$.
Chern classes of Schubert cells and varieties
Published in J. Algebraic Geom. 18 (2009), no. 1, 63-100
• View Publication
• BIB
We give explicit formulas for the Chern-Schwartz-MacPherson classes of all Schubert varieties in the Grassmannian of $d$-planes in a vector space, and conjecture that these classes are effective. We prove this is the case for (very) small values of $d$.
A correct proof of the McMorris-Powers' theorem on the consensus of phylogenies
Published
• View Publication
• BIB
McMorris and Powers proved an Arrow-type theorem on phylogenies given as collections of quartets. There is an error in one of the main lemmas used to prove this theorem. However, this lemma (and thereby the theorem) is still true, and a correct proof is provided.
Collinear Triple Hypergraphs and the Finite Plane Kakeya Problem
We show that the problem of counting collinear points in a permutation (previously considered by the author and J. Solymosi in "Collinear Points in Permutations", 2005) and the well-known finite plane Kakeya problem are intimately connected. Via counting arguments and by studying the hypergraph of collinear triples we show a new lower bound (5q/14 + O(1)) for the number of collinear triples of a permutation of GF(q) and a new lower bound (q(q + 1)/2 + 5q/14 + O(1)) on the size of the smallest Besicovitch set in GF(q)^2. Several interesting questions about the structure of the collinear triple hypergraph are presented.
Non-commutative extensions of the MacMahon Master Theorem
Published
• View Publication
• BIB
We present several non-commutative extensions of the MacMahon Master Theorem, further extending the results of Cartier-Foata and Garoufalidis-Le-Zeilberger. The proofs are combinatorial and new even in the classical cases. We also give applications to the $β$-extension and Krattenthaler-Schlosser's $q$-analogue.
Homology tests for graph colorings
Published
• View Publication
• BIB
We describe a simple homological test for obstructions to graph colorings. The main idea is to combine the framework of Hom-complexes with the following general fact: an arbitrary Z_2-space has nontrivial homology with Z_2-coefficients in the dimension equal to its Stiefel-Whitney height.
Actually, as a result we have a whole family of homology tests, one for each test graph. In general, these tests will give different answers, depending heavily on the choice of the test graph. We illustrate this phenomenon with some examples.
Inflating the cube without stretching
Published
• View Publication
• BIB
We give a simple proof of the following result: There exists a non-convex polyhedron whose surface is isometric to the surface of a cube of smaller volume.
On the number of plane partitions and non isomorphic subgroup towers of abelian groups
We study the number of $k \times r$ plane partitions, weighted on the sum of the first row. Using Erhart reciprocity, we prove an identity for the generating function. For the special case $k=1$ this result follows from the classical theory of partitions, and for $k=2$ it was proved in Andersson-Bhowmik with another method. We give an explicit formula in terms of Young tableaux, and study the corresponding zeta-function. We give an application on the average orders of towers of abelian groups. In particular we prove that the number of isomorphism classes of ``subgroups of subgroups of ... ($k-1$ times) ... of abelian groups'' of order at most $N$ is asymptotic to $c_k N (\log N)^{k-1}$. This generalises results from Erd{\H o}s-Szekeres and Andersson-Bhowmik where the corresponding result was proved for $k=1$ and $k=2$.
Slices, slabs, and sections of the unit hypercube
Published in Online Journal of Analytic Combinatorics, Issue 3 (2008), #1
• View Publication
• BIB
Using combinatorial methods, we derive several formulas for the volume of convex bodies obtained by intersecting a unit hypercube with a halfspace, or with a hyperplane of codimension 1, or with a flat defined by two parallel hyperplanes. We also describe some of the history of these problems, dating to Polya's Ph.D. thesis, and we discuss several applications of these formulas.
Linked Partitions and Linked Cycles
Published
• View Publication
• BIB
The notion of noncrossing linked partition arose from the study of certain transforms in free probability theory. It is known that the number of noncrossing linked partitions of [n+1] is equal to the n-th large Schroder number $r_n$, which counts the number of Schroder paths. In this paper we give a bijective proof of this result. Then we introduce the structures of linked partitions and linked cycles. We present various combinatorial properties of noncrossing linked partitions, linked partitions, and linked cycles, and connect them to other combinatorial structures and results, including increasing trees, partial matchings, k-Stirling numbers of the second kind, and the symmetry between crossings and nestings over certain linear graphs.
Representation of ideals of relational structures
The \textit{age} of a relational structure $\mathfrak A$ of signature $μ$ is the set $age(\mathfrak A)$ of its finite induced substructures, considered up to isomorphism. This is an ideal in the poset $Ω_μ$ consisting of finite structures of signature $μ$ and ordered by embeddability. If the structures are made of infinitely many relations and if, among those, infinitely many are at least binary then there are ideals which do not come from an age. We provide many examples. We particularly look at metric spaces and offer several problems. We also provide an example of an ideal $I$ of isomorphism types of at most countable structures whose signature consists of a single ternary relation symbol. This ideal does not come from the set $\age_{\mathfrak I}(\mathfrak A)$ of isomorphism types of substructures of $\mathfrak A$ induced on the members of an ideal $\mathfrak I$ of sets. This answers a question due to R. Cusin and J.F. Pabion (1970).
An application of a local version of Chang's theorem
We prove a theorem claimed in math.CA/0605519 which asserts that if A is a subset of a compact abelian group G with density of a particular (natural, although technical) form then the A(G)-norm (that is the sum of the absolute values of the Fourier transform) of the characteristic function of A cannot be too small.
The recursive nature of cominuscule Schubert calculus
Published in Advances in Mathematics, 217 (2008), pp. 1962--2004.
• View Publication
• BIB
The necessary and sufficient Horn inequalities which determine the non-vanishing Littlewood-Richardson coefficients in the cohomology of a Grassmannian are recursive in that they are naturally indexed by non-vanishing Littlewood-Richardson coefficients on smaller Grassmannians. We show how non-vanishing in the Schubert calculus for cominuscule flag varieties is similarly recursive. For these varieties, the non-vanishing of products of Schubert classes is controlled by the non-vanishing products on smaller cominuscule flag varieties. In particular, we show that the lists of Schubert classes whose product is non-zero naturally correspond to the integer points in the feasibility polytope, which is defined by inequalities coming from non-vanishing products of Schubert classes on smaller cominuscule flag varieties. While the Grassmannian is cominuscule, our necessary and sufficient inequalities are different than the classical Horn inequalities.
Reducibility of the intersections of components of a Springer fiber
Published
• View Publication
• BIB
The description of the intersections of components of a Springer fiber is a very complex problem. Up to now only two cases have been described completely. The complete picture for the hook case has been obtained by
N. Spaltenstein and J.A. Vargas, and for two-row case by
F.Y.C. Fung. They have shown in particular that the intersection of a pair of components of a Springer fiber is either irreducible or empty. In both cases all the components are non-singular and the irreducibility of the intersections is strongly related to the non-singularity. As it has been shown in [8] a bijection between orbital varieties and components of the corresponding Springer fiber in GL_n extends to a bijection between the irreducible components of the intersections of orbital varieties and the irreducible components of the intersections of components of Springer fiber preserving their codimensions. Here we use this bijection to compute the intersections of the irreducible components of Springer fibers for two-column case. In this case the components are in general singular. As we show the intersection of two components is non-empty. The main result of the paper is a necessary and sufficient condition for the intersection of two components of the Springer fiber to be irreducible in two-column case. The condition is purely combinatorial. As an application of this characterization, we give first examples of pairs of componentswith a reducible intersection having components of different dimensions.