Showing 20 papers (Total: 81914 papers, 47441 authors in database)
Some lower bounds in the B. and M. Shapiro conjecture for flag varieties
Published
• View Publication
• BIB
The B. and M. Shapiro conjecture stated that all solutions of the Schubert Calculus problems associated with real points on the rational normal curve should be real. For Grassmannians, it was proved by Mukhin, Tarasov and Varchenko. For flag varieties, Sottile found a counterexample and suggested that all solutions should be real under certain monotonicity conditions. In this paper, we compute lower bounds on the number of real solutions for some special cases of the B. and M. Shapiro conjecture for flag varieties, when Sottile's monotonicity conditions are not satisfied.
Integer Sequences from Queueing Theory
Published in Journal Of Integer Sequences, Vol. 13 (2010), Article 10.5.5, published May 3, 2010
• Search Publication
Operators on probability distributions can be expressed as operators on the associated moment sequences, and so correspond to operators on integer sequences. Thus, there is an opportunity to apply each theory to the other. Moreover, probability models can be sources of integer sequences, both classical and new, as we show by considering the classical M/G/1 single-server queueing model. We identify moment sequences that are integer sequences. We establish connections between the M/M/1 busy period distribution and the Catalan and Schroeder numbers.
Bounds for solid angles of lattices of rank three
Published in Journal of Combinatorial Theory A, vol. 118 no. 2 (2011) pg. 690--701
• View Publication
• BIB
We find sharp absolute constants $C_1$ and $C_2$ with the following property: every well-rounded lattice of rank 3 in a Euclidean space has a minimal basis so that the solid angle spanned by these basis vectors lies in the interval $[C_1,C_2]$. In fact, we show that these absolute bounds hold for a larger class of lattices than just well-rounded, and the upper bound holds for all. We state a technical condition on the lattice that may prevent it from satisfying the absolute lower bound on the solid angle, in which case we derive a lower bound in terms of the ratios of successive minima of the lattice. We use this result to show that among all spherical triangles on the unit sphere in $\mathbb R^N$ with vertices on the minimal vectors of a lattice, the smallest possible area is achieved by a configuration of minimal vectors of the (normalized) face centered cubic lattice in $\mathbb R^3$. Such spherical configurations come up in connection with the kissing number problem.
The Local Lemma is asymptotically tight for SAT
Published
• View Publication
• BIB
The Local Lemma is a fundamental tool of probabilistic combinatorics and theoretical computer science, yet there are hardly any natural problems known where it provides an asymptotically tight answer. The main theme of our paper is to identify several of these problems, among them a couple of widely studied extremal functions related to certain restricted versions of the k-SAT problem, where the Local Lemma does give essentially optimal answers.
As our main contribution, we construct unsatisfiable k-CNF formulas where every clause has k distinct literals and every variable appears in at most (2/e + o(1))*2^k/k clauses. The Lopsided Local Lemma shows that this is asymptotically best possible. The determination of this extremal function is particularly important as it represents the value where the corresponding k-SAT problem exhibits a complexity hardness jump: from having every instance being a YES-instance it becomes NP-hard just by allowing each variable to occur in one more clause.
The construction of our unsatisfiable CNF-formulas is based on the binary tree approach of [16] and thus the constructed formulas are in the class MU(1) of minimal unsatisfiable formulas having one more clauses than variables. The main novelty of our approach here comes in setting up an appropriate continuous approximation of the problem. This leads us to a differential equation, the solution of which we are able to estimate. The asymptotically optimal binary trees are then obtained through a discretization of this solution.
The importance of the binary trees constructed is also underlined by their appearance in many other scenarios. In particular, they give asymptotically precise answers for seemingly unrelated problems like the European Tenure Game introduced by Doerr [9] and a search problem allowing a limited number of consecutive lies.
The de Bruijn-Erdos Theorem for hypergraphs
Fix integers $n \ge r \ge 2$. A clique partition of ${[n] \choose r}$ is a collection of proper subsets $A_1, A_2, ..., A_t \subset [n]$ such that $\bigcup_i{A_i \choose r}$ is a partition of ${[n] \choose r}$. Clique partitions are related to design theory, coding theory, projective geometry, and extremal combinatorics.
Let $\cp(n,r)$ denote the minimum size of a clique partition of
${[n] \choose r}$.
A classical theorem of de Bruijn and Erd\H os states that $\cp(n, 2) = n$ and also determines the extremal configurations. In this paper we study $\cp(n,r)$, and show in general that for each fixed $r \geq 3$, \[\cp(n,r) \geq (1 + o(1))n^{r/2} \quad \quad {as}n \to \infty.\] We conjecture $\cp(n,r) = (1 + o(1))n^{r/2}$, and prove this conjecture in a very strong sense for $r = 3$ by giving a characterization of optimal clique partitions of ${[n] \choose 3}$ for infinitely many $n$. Precisely, when $n = q^2 + 1$ and $q$ is a prime power, we show \[ \cp(n,3) = n\sqrt{n-1} \] and characterize those clique partitions achieving equality. We also give an absolute lower bound $\cp(n,r) \geq {n \choose r}/{q + r - 1 \choose r}$ when $n = q^2 + q + r - 1$, and for each $r$ characterize the finitely many configurations achieving equality with the lower bound. Finally we note the connection of $\cp(n,r)$ to extremal graph theory, and determine some new asymptotically sharp bounds for the Zarankiewicz problem.
Klein Group And Four Color Theorem
In this work methods of construction of cubic graphs are analyzed and a theorem of existence of a colored disc traversing each pair of linked edges belonging to an elementary cycle of a planar cubic graph is proved.
Counting permutations with no long monotone subsequence via generating trees and the kernel method
Published
• View Publication
• BIB
We recover Gessel's determinantal formula for the generating function of permutations with no ascending subsequence of length m+1. The starting point of our proof is the recursive construction of these permutations by insertion of the largest entry. This construction is of course extremely simple. The cost of this simplicity is that we need to take into account in the enumeration m-1 additional parameters --- namely, the positions of the leftmost increasing subsequences of length i, for i=2,...,m. This yields for the generating function a functional equation with m-1 "catalytic" variables, and the heart of the paper is the solution of this equation. We perform a similar task for involutions with no descending subsequence of length m+1, constructed recursively by adding a cycle containing the largest entry. We refine this result by keeping track of the number of fixed points. In passing, we prove that the ordinary generating functions of these families of permutations can be expressed as constant terms of rational series.
On Kiselman quotients of 0-Hecke monoids
Published in Int. Electron. J. Algebra 10 (2011) 174-191
• Search Publication
Combining the definition of 0-Hecke monoids with that of Kiselman semigroups, we define what we call Kiselman quotients of 0-Hecke monoids associated with simply laced Dynkin diagrams. We classify these monoids up to isomorphism, determine their idempotents and show that they are $\mathcal{J}$-trivial. For type $A$ we show that Catalan numbers appear as the maximal cardinality of our monoids, in which case the corresponding monoid is isomorphic to the monoid of all order-preserving and order-decreasing total transformations on a finite chain. We construct various representations of these monoids by matrices, total transformations and binary relations. Motivated by these results, with a mixed graph we associate a monoid, which we call a Hecke-Kiselman monoid, and classify such monoids up to isomorphism. Both Kiselman semigroups and Kiselman quotients of 0-Hecke monoids are natural examples of Hecke-Kiselman monoids.
Pure O-sequences and matroid h-vectors
Published in Annals of Comb. 17 (2013), no. 3, 495--508
• Search Publication
We study Stanley's long-standing conjecture that the h-vectors of matroid simplicial complexes are pure O-sequences. Our method consists of a new and more abstract approach, which shifts the focus from working on constructing suitable artinian level monomial ideals, as often done in the past, to the study of properties of pure O-sequences. We propose a conjecture on pure O-sequences and settle it in small socle degrees. This allows us to prove Stanley's conjecture for all matroids of rank 3. At the end of the paper, using our method, we discuss a first possible approach to Stanley's conjecture in full generality. Our technical work on pure O-sequences also uses very recent results of the third author and collaborators.
The primitives and antipode in the Hopf algebra of symmetric functions in noncommuting variables
Published
• View Publication
• BIB
We identify a collection of primitive elements generating the Hopf algebra NCSym of symmetric functions in noncommuting variables and give a combinatorial formula for the antipode.
Tight 9-designs on two concentric spheres
Published
• View Publication
• BIB
The main purpose of this paper is to show the nonexistence of tight Euclidean 9-designs on 2 concentric spheres in $\mathbb R^n$ if $n\geq 3.$ This in turn implies the nonexistence of minimum cubature formulas of degree 9 (in the sense of Cools and Schmid) for any spherically symmetric integrals in $\mathbb R^n$ if $n\geq 3.$
Two critical periods in the evolution of random planar graphs
Published
• View Publication
• BIB
Let $P(n,M)$ be a graph chosen uniformly at random from the family of all labeled planar graphs with $n$ vertices and $M$ edges. In the paper we study the component structure of $P(n,M)$. Combining counting arguments with analytic techniques, we show that there are two critical periods in the evolution of $P(n,M)$. The first one, of width $Θ(n^{2/3})$, is analogous to the phase transition observed in the standard random graph models and takes place for $M=n/2+O(n^{2/3})$, when the largest complex component is formed. Then, for $M=n+O(n^{3/5})$, when the complex components cover nearly all vertices, the second critical period of width $n^{3/5}$ occurs. Starting from that moment increasing of $M$ mostly affects the density of the complex components, not its size.
Genus Bounds for Harmonic Group Actions on Finite Graphs
Published in Int. Math. Res. Notices, 2011, No. 19 (2011): 4515-4533
• View Publication
• BIB
This paper develops graph analogues of the genus bounds for the maximal size of an automorphism group of a compact Riemann surface of genus $g\ge 2$. Inspired by the work of M. Baker and S. Norine on harmonic morphisms between finite graphs, we motivate and define the notion of a harmonic group action. Denoting by M(g) the maximal size of such a harmonic group action on a graph of genus $g\ge 2$, we prove that $4(g-1)\le M(g)\le 6(g-1)$, and these bounds are sharp in the sense that both are attained for infinitely many values of g. Moreover, we show that the values $4(g-1)$ and $6(g-1)$ are the only values taken by the function $M(g)$.
Tiling Lattices with Sublattices, II
Our earlier article proved that if $n > 1$ translates of sublattices of $Z^d$ tile $Z^d$, and all the sublattices are Cartesian products of arithmetic progressions, then two of the tiles must be translates of each other. We re-prove this Theorem, this time using generating functions. We also show that for $d \geq 1$, not every finite tiling of $Z^d$ by lattices can be obtained from the trivial tiling by the process of repeatedly subdividing a tile into sub-tiles that are translates of one another.
Paths of homomorphisms from stable Kneser graphs
Published
• View Publication
• BIB
We denote by SG_{n,k} the stable Kneser graph (Schrijver graph) of stable n-subsets of a set of cardinality 2n+k. For k congruent 3 (mod 4) and n\ge2 we show that there is a component of the χ-colouring graph of SG_{n,k} which is invariant under the action of the automorphism group of SG_{n,k}. We derive that there is a graph G with χ(G)=χ(SG_{n,k}) such that the complex Hom(SG_{n,k}, G) is non-empty and connected. In particular, for k congruent 3 (mod 4) and n\ge2 the graph SG_{n,k} is not a test graph.
Multiple recurrence and the structure of probability-preserving systems
In 1975 Szemerédi proved the long-standing conjecture of Erdős and Turán that any subset of $\bbZ$ having positive upper Banach density contains arbitrarily long arithmetic progressions. Szemerédi's proof was entirely combinatorial, but two years later Furstenberg gave a quite different proof of Szemerédi's Theorem by first showing its equivalence to an ergodic-theoretic assertion of multiple recurrence, and then bringing new machinery in ergodic theory to bear on proving that. His ergodic-theoretic approach subsequently yielded several other results in extremal combinatorics, as well as revealing a range of new phenomena according to which the structures of probability-preserving systems can be described and classified.
In this work I survey some recent advances in understanding these ergodic-theoretic structures. It contains proofs of the norm convergence of the `nonconventional' ergodic averages that underly Furstenberg's approach to variants of Szemerédi's Theorem, and of two of the recurrence theorems of Furstenberg and Katznelson: the Multidimensional Multiple Recurrence Theorem, which implies a multidimensional generalization of Szemerédi's Theorem; and a density version of the Hales-Jewett Theorem of Ramsey Theory.
Characterisations and Galois conjugacy of generalised Paley maps
Published
• View Publication
• BIB
A generalised Paley map is a Cayley map for the additive group of a finite field F, with a subgroup S=-S of the multiplicative group as generating set, cyclically ordered by powers of a generator of S. We characterise these as the orientably regular maps with orientation-preserving automorphism group acting primitively and faithfully on the vertices; allowing a non-faithful primitive action yields certain cyclic coverings of these maps. We determine the fields of definition and the orbits of the absolute Galois group on these maps, and we show that if (q-1)/(p-1) divides |S|, where |F|=q=p^e with p prime, then these maps are the only orientably regular embeddings of their underlying graphs; in particular this applies to the Paley graphs, where |S|=(q-1)/2 is even.
Classification and Galois conjugacy of Hamming maps
Published
• View Publication
• BIB
We show that for each d>0 the d-dimensional Hamming graph H(d,q) has an orientably regular surface embedding if and only if q is a prime power p^e. If q>2 there are up to isomorphism φ(q-1)/e such maps, all constructed as Cayley maps for a d-dimensional vector space over the field of order q. We show that for each such pair d, q the corresponding Belyi pairs are conjugate under the action of the absolute Galois group, and we determine their minimal field of definition. We also classify the orientably regular embedding of merged Hamming graphs for q>3.
Valuations from representation theory and tropical geometry
We recall the space of seminorms discussed by Payne in \cite{P} and define a slight modification, the space of graded valuations. After explaining how these spaces relate to tropical geometry, we describe examples of graded valuations which come from the representation theory of reductive groups.
The weighted hook length formula
Published
• View Publication
• BIB
Based on the ideas in [CKP], we introduce the weighted analogue of the branching rule for the classical hook length formula, and give two proofs of this result. The first proof is completely bijective, and in a special case gives a new short combinatorial proof of the hook length formula. Our second proof is probabilistic, generalizing the (usual) hook walk proof of Green-Nijenhuis-Wilf, as well as the q-walk of Kerov. Further applications are also presented.