Showing 20 papers (Total: 83190 papers, 48060 authors in database)
Turánnical hypergraphs
Published in Random Structures Algorithms 42 (2013), no. 1, 29-58
• View Publication
• BIB
This paper is motivated by the question of how global and dense restriction sets in results from extremal combinatorics can be replaced by less global and sparser ones. The result we consider here as an example is Turan's theorem, which deals with graphs G=([n],E) such that no member of the restriction set consisting of all r-tuples on [n] induces a copy of K_r.
Firstly, we examine what happens when this restriction set is replaced just by all r-tuples touching a given m-element set. That is, we determine the maximal number of edges in an n-vertex such that no K_r hits a given vertex set.
Secondly, we consider sparse random restriction sets. An r-uniform hypergraph R on vertex set [n] is called Turannical (respectively epsilon-Turannical), if for any graph G on [n] with more edges than the Turan number ex(n,K_r) (respectively (1+\eps)ex(n,K_r), no hyperedge of R induces a copy of K_r in G. We determine the thresholds for random r-uniform hypergraphs to be Turannical and to epsilon-Turannical.
Thirdly, we transfer this result to sparse random graphs, using techniques recently developed by Schacht [Extremal results for random discrete structures] to prove the Kohayakawa-Luczak-Rodl Conjecture on Turan's theorem in random graphs.
On twin and anti-twin words in the support of the free Lie algebra
Published
• View Publication
• BIB
Let $L_{K}(A)$ be the free Lie algebra on a finite alphabet $A$ over a commutative ring $K$ with unity. For a word $u$ in the free monoid $A^{*}$ let $\tilde{u}$ denote its reversal. Two words in $A^{*}$ are called twin (resp. anti-twin) if they appear with equal (resp. opposite) coefficients in each Lie polynomial. Let $l$ denote the left-normed Lie bracketing and $λ$ be its adjoint map with respect to the canonical scalar product on the corresponding free associative algebra. Studying the kernel of $λ$ and using several techniques from combinatorics on words and the shuffle algebra, we show that when $K$ is of characteristic zero two words $u$ and $v$ of common length $n$ that lie in the support of ${\mathcal L}_{K}(A)$ - i.e., they are neither powers $a^{n}$ of letters $a \in A$ with exponent $n > 1$ nor palindromes of even length - are twin (resp. anti-twin) if and only if $u = v$ or $u = \tilde{v}$ and $n$ is odd (resp. $u = \tilde{v}$ and $n$ is even).
Generalized Hamming schemes
We introduce a class of association schemes that generalizes the Hamming scheme. We derive generating functions for their eigenvalues, and use these to obtain a version of MacWilliams theorem.
Structure of finite nilspaces and inverse theorems for the Gowers norms in bounded exponent groups
A result of the author shows that the behavior of Gowers norms on bounded exponent abelian groups is connected to finite nilspaces. Motivated by this, we investigate the structure of finite nilspaces. As an application we prove inverse theorems for the Gowers norms on bounded exponent abelian groups. It says roughly speaking that if a function on A has non negligible U(k+1)-norm then it correlates with a phase polynomial of degree k when lifted to some abelian group extension of A. This result is closely related to a conjecture by Tao and Ziegler. In prticular we obtain a new proof for the Tao-Ziegler inverse theorem.
Mask formulas for cograssmannian Kazhdan-Lusztig polynomials
Published in Annals of Combinatorics 17 (2013), p. 151-203
• View Publication
• BIB
We give two contructions of sets of masks on cograssmannian permutations that can be used in Deodhar's formula for Kazhdan-Lusztig basis elements of the Iwahori-Hecke algebra. The constructions are respectively based on a formula of Lascoux-Schutzenberger and its geometric interpretation by Zelevinsky. The first construction relies on a basis of the Hecke algebra constructed from principal lower order ideals in Bruhat order and a translation of this basis into sets of masks. The second construction relies on an interpretation of masks as cells of the Bott-Samelson resolution. These constructions give distinct answers to a question of Deodhar.
Hierarchical zonotopal power ideals
Published in European Journal of Combinatorics 33 (2012), no. 6, 1120-1141
• View Publication
• BIB
Zonotopal algebra deals with ideals and vector spaces of polynomials that are related to several combinatorial and geometric structures defined by a finite sequence of vectors. Given such a sequence X, an integer k>=-1 and an upper set in the lattice of flats of the matroid defined by X, we define and study the associated hierarchical zonotopal power ideal. This ideal is generated by powers of linear forms. Its Hilbert series depends only on the matroid structure of X. Via the Tutte polynomial, it is related to various other matroid invariants, e.g. the shelling polynomial and the characteristic polynomial.
This work unifies and generalizes results by Ardila-Postnikov on power ideals and by Holtz-Ron and Holtz-Ron-Xu on (hierarchical) zonotopal algebra. We also generalize a result on zonotopal Cox modules that were introduced by Sturmfels-Xu.
Tableaux and plane partitions of truncated shapes
Published
• View Publication
• BIB
We consider a new kind of straight and shifted plane partitions/Young tableaux --- ones whose diagrams are no longer of partition shape, but rather Young diagrams with boxes erased from their upper right ends. We find formulas for the number of standard tableaux in certain cases, namely a shifted staircase without the box in its upper right corner, i.e. truncated by a box, a rectangle truncated by a staircase and a rectangle truncated by a square minus a box. The proofs involve finding the generating function of the corresponding plane partitions using interpretations and formulas for sums of restricted Schur functions and their specializations. The number of standard tableaux is then found as a certain limit of this function.
Spectral characterization of a specific class of trees
In this paper, it is shown that the graph $T_4(p,q,r)$ is determined by its Laplacian spectrum and there are no two non-isomorphic such graphs which are cospectral with respect to adjacency spectrum.
The (strong) rainbow connection numbers of Cayley graphs of Abelian groups
Published
• View Publication
• BIB
A path in an edge-colored graph $G$, where adjacent edges may have the same color, is called a rainbow path if no two edges of the path are colored the same. The rainbow connection number $rc(G)$ of $G$ is the minimum integer $i$ for which there exists an $i$-edge-coloring of $G$ such that every two distinct vertices of $G$ are connected by a rainbow path. The strong rainbow connection number $src(G)$ of $G$ is the minimum integer $i$ for which there exists an $i$-edge-coloring of $G$ such that every two distinct vertices $u$ and $v$ of $G$ are connected by a rainbow path of length $d(u,v)$. In this paper, we give upper and lower bounds of the (strong) rainbow connection Cayley graphs of Abelian groups. Moreover, we determine the (strong) rainbow connection numbers of some special cases.
Enumeration of snakes and cycle-alternating permutations
Published in Australasian Journal of Combinatorics 60(3) (2014), 279--305
• Search Publication
Springer numbers are an analog of Euler numbers for the group of signed permutations. Arnol'd showed that they count some objects called snakes, that generalize alternating permutations. Hoffman established a link between Springer numbers, snakes, and some polynomials related with the successive derivatives of trigonometric functions.
The goal of this article is to give further combinatorial properties of derivative polynomials, in terms of snakes and other objects: cycle-alternating permutations, weighted Dyck or Motzkin paths, increasing trees and forests. We obtain the generating functions, in terms of trigonometric functions for exponential ones and in terms of J-fractions for ordinary ones. We also define natural q-analogs, make a link with normal ordering problems and combinatorial theory of differential equations.
Bilinear Forms on Skein Modules and Steps in Dyck Paths
Published
• View Publication
• BIB
We use Jones-Wenzl idempotents to construct bases for the relative Kauffman bracket skein module of a square with n points colored 1 and one point colored h. We consider a natural bilinear form on this skein module. We calculate the determinant of the matrix for this form with respect to the natural basis. We reduce the computation to count some steps in generalized Dyck paths. Moreover, we relate our determinant to a determinant on semi-meanders.
On Packing Colorings of Distance Graphs
Published in Discrete Applied Mathematics 167 (2014) 280-289
• View Publication
• BIB
The {\em packing chromatic number} $χ_ρ(G)$ of a graph $G$ is the least integer $k$ for which there exists a mapping $f$ from $V(G)$ to $\{1,2,\ldots ,k\}$ such that any two vertices of color $i$ are at distance at least $i+1$. This paper studies the packing chromatic number of infinite distance graphs $G(\mathbb{Z},D)$, i.e. graphs with the set $\mathbb{Z}$ of integers as vertex set, with two distinct vertices $i,j\in \mathbb{Z}$ being adjacent if and only if $|i-j|\in D$. We present lower and upper bounds for $χ_ρ(G(\mathbb{Z},D))$, showing that for finite $D$, the packing chromatic number is finite. Our main result concerns distance graphs with $D=\{1,t\}$ for which we prove some upper bounds on their packing chromatic numbers, the smaller ones being for $t\geq 447$: $χ_ρ(G(\mathbb{Z},\{1,t\}))\leq 40$ if $t$ is odd and $χ_ρ(G(\mathbb{Z},\{1,t\}))\leq 81$ if $t$ is even.
Counting packings of generic subsets in finite groups
Published in Electronic Journal of Combinatorics 19, 3 (2012) #P7
• View Publication
• BIB
A packing of subsets $\mathcal S_1,..., \mathcal S_n$ in a group $G$ is a sequence $(g_1,...,g_n)$ such that $g_1\mathcal S_1,...,g_n\mathcal S_n$ are disjoint subsets of $G$. We give a formula for the number of packings if the group $G$ is finite and if the subsets $\mathcal S_1,...,\mathcal S_n$ satisfy a genericity condition. This formula can be seen as a generalization of the falling factorials which encode the number of packings in the case where all the sets $\mathcal S_i$ are singletons.
Multivariate Rogers-Szegö polynomials and flags in finite vector spaces
We give a recursion for the multivariate Rogers-Szegö polynomials, along with another recursive functional equation, and apply them to compute special values. We also consider the sum of all $q$-multinomial coefficients of some fixed degree and length, and give a recursion for this sum which follows from the recursion of the multivariate Rogers-Szegö polynomials, and generalizes the recursion for the Galois numbers. The sum of all $q$-multinomial coefficients of degree $n$ and length $m$ is the number of flags of length $m-1$ of subspaces of an $n$-dimensional vector space over a field with $q$ elements. We give a combinatorial proof of the recursion for this sum of $q$-multinomial coefficients in terms of finite vector spaces.
Sparse paving matroids, basis-exchange properties, and cyclic flats
We provide evidence for five long-standing, basis-exchange conjectures for matroids by proving them for the enormous class of sparse paving matroids. We also explore the role that these matroids may play in the following problem: as a function of the size of the ground set, what is the greatest number of cyclic flats that a matroid can have?
Holes or Empty Pseudo-Triangles in Planar Point Sets
Published in Moscow Journal of Combinatorics and Number Theory, 16-46, Vol. 2 (1), 2012
• Search Publication
Let $E(k, \ell)$ denote the smallest integer such that any set of at least $E(k, \ell)$ points in the plane, no three on a line, contains either an empty convex polygon with $k$ vertices or an empty pseudo-triangle with $\ell$ vertices. The existence of $E(k, \ell)$ for positive integers $k, \ell\geq 3$, is the consequence of a result proved by Valtr [Discrete and Computational Geometry, Vol. 37, 565--576, 2007]. In this paper, following a series of new results about the existence of empty pseudo-triangles in point sets with triangular convex hulls, we determine the exact values of $E(k, 5)$ and $E(5, \ell)$, and prove bounds on $E(k, 6)$ and $E(6, \ell)$, for $k, \ell\geq 3$. By dropping the emptiness condition, we define another related quantity $F(k, \ell)$, which is the smallest integer such that any set of at least $F(k, \ell)$ points in the plane, no three on a line, contains a convex polygon with $k$ vertices or a pseudo-triangle with $\ell$ vertices. Extending a result of Bisztriczky and Tóth [Discrete Geometry, Marcel Dekker, 49--58, 2003], we obtain the exact values of $F(k, 5)$ and $F(k, 6)$, and obtain non-trivial bounds on $F(k, 7)$.
An interface between physics and number theory
Published
• View Publication
• BIB
We extend the Hopf algebra description of a simple quantum system given previously, to a more elaborate Hopf algebra, which is rich enough to encompass that related to a description of perturbative quantum field theory (pQFT). This provides a {\em mathematical} route from an algebraic description of non-relativistic, non-field theoretic quantum statistical mechanics to one of relativistic quantum field theory. Such a description necessarily involves treating the algebra of polyzeta functions, extensions of the Riemann Zeta function, since these occur naturally in pQFT. This provides a link between physics, algebra and number theory. As a by-product of this approach, we are led to indicate {\it inter alia} a basis for concluding that the Euler gamma constant $γ$ may be rational.
From Quantum Mechanics to Quantum Field Theory: The Hopf route
Published in J.Phys.Conf.Ser.284:012055,2011
• View Publication
• BIB
We show that the combinatorial numbers known as {\em Bell numbers} are generic in quantum physics. This is because they arise in the procedure known as {\em Normal ordering} of bosons, a procedure which is involved in the evaluation of quantum functions such as the canonical partition function of quantum statistical physics, {\it inter alia}. In fact, we shall show that an evaluation of the non-interacting partition function for a single boson system is identical to integrating the {\em exponential generating function} of the Bell numbers, which is a device for encapsulating a combinatorial sequence in a single function. We then introduce a remarkable equality, the Dobinski relation, and use it to indicate why renormalisation is necessary in even the simplest of perturbation expansions for a partition function. Finally we introduce a global algebraic description of this simple model, giving a Hopf algebra, which provides a starting point for extensions to more complex physical systems.
On Powers of Some Power Series
We show that the compositions of positive integers may be interpreted in terms of powers of some power series, over arbitrary commutative ring. As consequences, several closed formulas for the compositions as well as for the generalized compositions with a fixed number of parts are derived. Some results on compositions obtained in some recent papers are consequences of these formulas.
Ramsey Theory for Words Representing Rationals
Published
• View Publication
• BIB
Ramsey theory for words over a finite alphabet was unified in the work of Carlson and Furstenberg-Katznelson. Carlson, in the same work, outlined a method to extend the theory for words over an infinite alphabet, but subject to a fixed dominating principle, proving in particular an Ellentuck version, and a corresponding Ramsey theorem for k=1. In the present work we develop in a systematic way a Ramsey theory for words (in fact for ω-Z*-located words) over a doubly infinite alphabet extending Carlson's approach (to countable ordinals and Schreier-type families), and we apply this theory, exploiting the Budak-Isik-Pym representation, to obtain a partition theory for the set of rational numbers. Furthermore, we show that the theory can be used to obtain partition theorems for arbitrary semigroups, stronger than known ones.