Showing 20 papers (Total: 83190 papers, 48060 authors in database)
On cross-intersecting families of independent sets in graphs
Let A_1,...,A_k be a collection of families of subsets of an n-element set. We say that this collection is cross-intersecting if for any i,j in [k] with i not equal to j, A in A_i and B in A_j implies that the intersection of A and B is nonempty. We consider a theorem of Hilton which gives a best possible upper bound on the sum of the cardinalities of uniform cross-intersecting subfamilies. We formulate a graph-theoretic analogue of Hilton's cross-intersection theorem, similar to the one developed by Holroyd, Spencer and Talbot for the Erdos-Ko-Rado theorem. In particular we build on a result of Borg and Leader for signed sets and prove a theorem for uniform cross-intersecting subfamilies of independent vertex subsets of a disjoint union of complete graphs. We proceed to obtain a result for a much larger class of graphs, namely chordal graphs and propose a conjecture for all graphs. We end by proving this conjecture for the cycle on n vertices.
Combinatorial bases for covariant representations of the Lie superalgebra gl(m|n)
Published in Bulletin of the Institute of Mathematics, Academia Sinica 6 (2011), 415-462
• Search Publication
Covariant tensor representations of gl(m|n) occur as irreducible components of tensor powers of the natural (m+n)-dimensional representation. We construct a basis of each covariant representation and give explicit formulas for the action of the generators of gl(m|n) in this basis. The basis has the property that the natural Lie subalgebras gl(m) and gl(n) act by the classical Gelfand-Tsetlin formulas. The main role in the construction is played by the fact that the subspace of gl(m)-highest vectors in any finite-dimensional irreducible representation of gl(m|n) carries a structure of an irreducible module over the Yangian Y(gl(n)). One consequence is a new proof of the character formula for the covariant representations first found by Berele and Regev and by Sergeev.
Basic coset geometries
Published
• View Publication
• BIB
In earlier work we gave a characterisation of pregeometries which are `basic' (that is, admit no `non-degenerate' quotients) relative to two different kinds of quotient operations, namely imprimitive quotients and normal quotients. Each basic geometry was shown to involve a faithful group action, which is primitive or quasiprimitive respectively, on the set of elements of each type. For each O'Nan-Scott type of primitive group, we construct a new infinite family of geometries, which are thick and of unbounded rank, and which admit a flag-transitive automorphism group acting faithfully on the set of elements of each type as a primitive group of the given O'Nan-Scott type.
Inversion arrangements and Bruhat intervals
Published
• View Publication
• BIB
Let $W$ be a finite reflection group. For a given $w \in W$, the following assertion may or may not be satisfied:
(*) The principal Bruhat order ideal of $w$ contains as many elements as there are regions in the inversion hyperplane arrangement of $w$.
We present a type independent combinatorial criterion which characterises the elements $w\in W$ that satisfy (*). A couple of immediate consequences are derived:
(1) The criterion only involves the order ideal of $w$ as an abstract poset. In this sense, (*) is a poset-theoretic property.
(2) For $W$ of type $A$, another characterisation of (*), in terms of pattern avoidance, was previously given in collaboration with Linusson, Shareshian and Sjöstrand. We obtain a short and simple proof of that result.
(3) If $W$ is a Weyl group and the Schubert variety indexed by $w \in W$ is rationally smooth, then $w$ satisfies (*).
Discrete Morse Theory Is At Least As Perfect As Morse Theory
In bounding the homology of a manifold, Forman's Discrete Morse theory recovers the full precision of classical Morse theory: Given a PL triangulation of a manifold that admits a Morse function with c_i critical points of index i, we show that some subdivision of the triangulation admits a boundary-critical discrete Morse function with c_i interior critical faces of dimension d-i. This dualizes and extends a recent result by Gallais. Further consequences of our work are:
(1) Every simply connected smooth d-manifolds (except possibly when d=4) admits a locally constructible triangulation. (This solves a problem by Zivaljevic.)
(2) Up to refining the subdivision, the classical notion of geometric connectivity can be translated combinatorially via the notion of collapse depth.
Szemerédi's Regularity Lemma for matrices and sparse graphs
Published
• View Publication
• BIB
Szemerédi's Regularity Lemma is an important tool for analyzing the structure of dense graphs. There are versions of the Regularity Lemma for sparse graphs, but these only apply when the graph satisfies some local density condition. In this paper, we prove a sparse Regularity Lemma that holds for all graphs. More generally, we give a Regularity Lemma that holds for arbitrary real matrices.
A simple proof of Brown's diagonalizability theorem
We present here a simple proof of Brown's diagonalizability theorem for certain elements of the algebra of a left regular band, including probability measures.
A Littlewood-Richardson rule for Macdonald polynomials
Published
• View Publication
• BIB
Macdonald polynomials are orthogonal polynomials associated to root systems, and in the type A case, the symmetric kind is a common generalization of Schur functions, Macdonald spherical functions, and Jack polynomials. We use the combinatorics of alcove walks to calculate products of monomials and intertwining operators of the double affine Hecke algebra. From this, we obtain a product formula for Macdonald polynomials of general type.
Counterexamples to Borsuk's conjecture on spheres of small radii
Published in Moscow Journal of Combinatorics and Number Theory 2, N4 (2012), 27-48
• Search Publication
In this work, the classical Borsuk conjecture is discussed, which states that any set of diameter 1 in the Euclidean space $ {\mathbb R}^d $ can be divided into $ d+1 $ parts of smaller diameter. During the last two decades, many counterexamples to the conjecture have been proposed in high dimensions. However, all of them are sets of diameter 1 that lie on spheres whose radii are close to the value $ {1}{\sqrt{2}} $. The main result of this paper is as follows: {\it for any $ r > {1}{2} $, there exists a $ d_0 $ such that for all $ d \ge d_0 $, a counterexample to Borsuk's conjecture can be found on a sphere $ S_r^{d-1} \subset {\mathbb R}^d $.
On the chromatic numbers of spheres in $ {\mathbb R}^n $
Published
• View Publication
• BIB
In this paper, we obtain new asymptotic lower bounds for the chromatic numbers of spheres.
A point of view on Gowers uniformity norms
Gowers norms have been studied extensively both in the direct sense, starting with a function and understanding the associated norm, and in the inverse sense, starting with the norm and deducing properties of the function. Instead of focusing on the norms themselves, we study associated dual norms and dual functions. Combining this study with a variant of the Szemeredi Regularity Lemma, we give a decomposition theorem for dual functions, linking the dual norms to classical norms and indicating that the dual norm is easier to understand than the norm itself. Using the dual functions, we introduce higher order algebras that are analogs of the classical Fourier algebra, which in turn can be used to further characterize the dual functions.
2-Log-concavity of the Boros-Moll Polynomials
Published
• View Publication
• BIB
The Boros-Moll polynomials $P_m(a)$ arise in the evaluation of a quartic integral. It has been conjectured by Boros and Moll that these polynomials are infinitely log-concave. In this paper, we show that $P_m(a)$ is 2-log-concave for any $m\geq 2$. Let $d_i(m)$ be the coefficient of $a^i$ in $P_m(a)$. We also show that the sequence $\{i (i+1)(d_i^{\,2}(m)-d_{i-1}(m)d_{i+1}(m))\}_{1\leq i \leq m}$ is log-concave. This leads another proof of Moll's minimum conjecture.
Rectangular Polyomino Set Weak (1,2)-achievement Games
Published in Theoretical Computer Science 409 (2008), no.3, 333--340
• View Publication
• BIB
In a polyomino set (1,2)-achievement game the maker and the breaker alternately mark one and two previously unmarked cells respectively. The maker's goal is to mark a set of cells congruent to one of a given set of polyominoes. The breaker tries to prevent the maker from achieving his goal. The teams of polyominoes for which the maker has a winning strategy is determined up to size 4. In set achievement games, it is natural to study infinitely large polyominoes. This enables the construction of super winners that characterize all winning teams up to a certain size.
Infinite Families of Optimal Splitting Authentication Codes Secure Against Spoofing Attacks of Higher Order
Published
• View Publication
• BIB
We consider the problem of constructing optimal authentication codes with splitting. New infinite families of such codes are obtained. In particular, we establish the first known infinite family of optimal authentication codes with splitting that are secure against spoofing attacks of order two.
Face vectors of simplicial cell decompositions of manifolds
Published
• View Publication
• BIB
In this paper, we study face vectors of simplicial posets that are the face posets of cell decompositions of topological manifolds without boundary. We characterize all possible face vectors of simplicial posets whose geometric realizations are homeomorphic to the product of spheres. As a corollary, we obtain the characterization of face vectors of simplicial posets whose geometric realizations are odd dimensional manifolds without boundary.
Refined Wall-Crossing, Free Fermions and Crystal Melting
In this paper, we use an M-theory model to conjecture the refined reminiscence of the OSV formula connecting the refined topological string partition function with the refined BPS states partition function for the toric Calabi-Yau threefolds without any compact four cycles. Further, we show how to use the vertex operators in 2d free fermions to reproduce the refined BPS states partition function for the $\mathbb{C}^3$ case and the wall-crossing formulas of the refined BPS states partition function for the resolved conifold and $\mathcal{O}(-2)\oplus\mathcal{O}\rightarrow \mathbb{P}^1$ cases.
Combinatorial Models of Creation-Annihilation
Published in Seminaire Lotharingien de Combinatoire 65, Art. B65c (2011)
• Search Publication
Quantum physics has revealed many interesting formal properties associated with the algebra of two operators, A and B, satisfying the partial commutation relation AB-BA=1. This study surveys the relationships between classical combinatorial structures and the reduction to normal form of operator polynomials in such an algebra. The connection is achieved through suitable labelled graphs, or "diagrams", that are composed of elementary "gates". In this way, many normal form evaluations can be systematically obtained, thanks to models that involve set partitions, permutations, increasing trees, as well as weighted lattice paths. Extensions to q-analogues, multivariate frameworks, and urn models are also briefly discussed.
The Dynamics of Semilattice Networks
Time-discrete dynamical systems on a finite state space have been used with great success to model natural and engineered systems such as biological networks, social networks, and engineered control systems. They have the advantage of being intuitive and models can be easily simulated on a computer in most cases; however, few analytical tools beyond simulation are available. The motivation for this paper is to develop such tools for the analysis of models in biology. In this paper we have identified a broad class of discrete dynamical systems with a finite phase space for which one can derive strong results about their long-term dynamics in terms of properties of their dependency graphs. We classify completely the limit cycles of semilattice networks with strongly connected dependency graph and provide polynomial upper and lower bounds in the general case.
Exact Solution of a Monomer-Dimer Problem: A Single Boundary Monomer on a Non-Bipartite Lattice
Published in Physical Review E 83 (2011) 011106
• View Publication
• BIB
We solve the monomer-dimer problem on a non-bipartite lattice, the simple quartic lattice with cylindrical boundary conditions, with a single monomer residing on the boundary. Due to the non-bipartite nature of the lattice, the well-known method of a Temperley bijection of solving single-monomer problems cannot be used. In this paper we derive the solution by mapping the problem onto one on close-packed dimers on a related lattice. Finite-size analysis of the solution is carried out. We find from asymptotic expansions of the free energy that the central charge in the logarithmic conformal field theory assumes the value $c=-2$.
Local chromatic number of quadrangulations of surfaces
Published
• View Publication
• BIB
The local chromatic number of a graph was introduced by Erdős et al. [4]. In [17] a connection to topological properties of (a box complex of) the graph was established and in [18] it was shown that if a graph is strongly topologically 4-chromatic then its local chromatic number is at least four. As a consequence one obtains a generalization of the following theorem of Youngs: If a quadrangulation of the projective plane is not bipartite it has chromatic number four. The generalization states that in this case the local chromatic number is also four. Both papers [1] and [13] generalize Youngs's result to arbitrary non-orientable surfaces replacing the condition of the graph being not bipartite by a more technical condition of an odd quadrangulation. This paper investigates when these general results are true for the local chromatic number instead of the chromatic number. Surprisingly, we find out that (unlike in the case of the chromatic number) this depends on the genus of the surface. For the non-orientable surfaces of genus at most four, the local chromatic number of any odd quadrangulation is at least four, but this is not true for non-orientable surfaces of genus 5 or higher. We also prove that face subdivisions of odd quadrangulations and Fisk triangulations of arbitrary surfaces exhibit the same behavior for the local chromatic number as they do for the usual chromatic number.