Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Jacobi's Identity and Synchronized Partitions
We obtain a finite form of Jacobi's identity and present a combinatorial proof based on the structure of synchronized partitions.
The symmetry axioms in Laguerre planes
Published
• View Publication
• BIB
We introduce two axioms in Laguerre geometry and prove that they provide a characterization of miquelian planes over fields of the characteristic different from 2. They allow to describe an involutory automorphism that sheds some new light on a Laguerre inversion as well as on a symmetry with respect to a pair of generators.
A spherical initial ideal for Pfaffians
Published
• View Publication
• BIB
We determine a term order on the monomials in the variables $\varx{i}{j}$, $1 \leq i < j \leq n$, such that corresponding initial ideal of the ideal of Pfaffians of degree $r$ of a generic $n$ by $n$ skew-symmetric matrix is the Stanley-Reisner ideal of a join of a simplicial sphere and a simplex. Moreover, we demonstrate that the Pfaffians of the $2r$ by $2r$ skew-symmetric submatrices form a Gröbner basis for the given term order. The same methods and similar term orders as for the Pfaffians also yield squarefree initial ideals for certain determinantal ideals. Yet, in contrast to the case of Pfaffians, the corresponding simplicial complexes are balls that do not decompose into a join as above.
What power of two divides a weighted Catalan number?
Published
• View Publication
• BIB
Given a sequence of integers b = (b_0,b_1,b_2,...) one gives a Dyck path P of length 2n the weight
wt(P) = b_{h_1} b_{h_2} ... b_{h_n},
where h_i is the height of the ith ascent of P. The corresponding weighted Catalan number is
C_n^b = sum_P wt(P),
where the sum is over all Dyck paths of length 2n. So, in particular, the ordinary Catalan numbers C_n correspond to b_i = 1 for all i >= 0. Let xi(n) stand for the base two exponent of n, i.e., the largest power of 2 dividing n. We give a condition on b which implies that
xi(C_n^b) = xi(C_n).
In the special case b_i=(2i+1)^2, this settles a conjecture of Postnikov about the number of plane Morse links. Our proof generalizes the recent combinatorial proof of Deutsch and Sagan of the classical formula for xi(C_n).
Alcove walks, Hecke algebras, spherical functions, crystals and column strict tableaux
Published
• View Publication
• BIB
This paper makes precise the close connection between the affine Hecke algebra, the path model, and the theory of crystals. Section 2 is a basic pictorial exposition of Weyl groups and affine Weyl groups and Section 5 is an exposition of the theory of (a) symmetric functions, (b) crystals and (c) the path model. Sections 3 and 4 give an exposition of the affine Hecke algebra and recent results regarding the combinatorics of spherical functions on p-adic groups (Hall-Littlewood polynomials). The $q$-analogue of the theory of crystals developed in Section 4 specializes to the path model version of the ``classical'' crystal theory. The connection to the affine Hecke algebra and the approach to spherical functions for a $p$-adic group in Nelsen-Ram was made concrete by C. Schwer who told me that ``the periodic Hecke module encodes the positively folded galleries'' of Gaussent-Littelmann. This paper is a further development of this point of view.
The homotopy type of the complement of a coordinate subspace arrangement
The homotopy type of the complement of a complex coordinate subspace arrangement is studied by fathoming out the connection between its topological and combinatorial structures. A family of arrangements for which the complement is homotopy equivalent to a wedge of spheres is described. One consequence is an application in commutative algebra: certain local rings are proved to be Golod, that is, all Massey products in their homology vanish.
Bounded-Degree Graphs have Arbitrarily Large Queue-Number
Published in Discrete Mathematics & Theoretical Computer Science 10(1):27-34, 2008
• View Publication
• BIB
It is proved that there exist graphs of bounded degree with arbitrarily large queue-number. In particular, for all $Δ\geq3$ and for all sufficiently large $n$, there is a simple $Δ$-regular $n$-vertex graph with queue-number at least $c\sqrtΔn^{1/2-1/Δ}$ for some absolute constant $c$.
Stanley-Reisner ideals whose powers have finite length cohomologies
Published in Proc. Amer. Math. Soc. 135 (2007), no. 8, 2355-2364
• View Publication
• BIB
We introduce a class of Stanley-Reisner ideals called generalized complete intersection, which is characterized by the property that all the residue class rings of powers of the ideal have FLC. We also give a combinatorial characterization of such ideals.
A construction of a skewaffine structure in Laguerre geometry
J. Andre constructed a skewaffine structure as a group space of a normally transitive group. In the paper this construction was used to describe such an external structure associated with a point of Laguerre plane. Necessary conditions for ensure that the external structure is a skewaffine plane are given.
New upper bound for a class of vertex Folkman numbers
Published
• View Publication
• BIB
We improve the previuosly known bound for some vertex Folkman numbers.
On the Asymptotic Formula for the Number of Plane Partitions of Positive Integers
The paper presents a discussion on the asymptotic formula for the number of plane partitions of a large positive integer.
Some relational structures with polynomial growth and their associated algebras
The profile of a relational structure R is the function phi_R which counts for every integer n the number, possibly infinite, phi_R(n) of substructures of R induced on the n-element subsets, isomorphic substructures being identified. Several graded algebras can be associated with R in such a way that the profile of R is simply the Hilbert function. An example of such graded algebra is the age algebra introduced by P.~J.~Cameron.
In this paper, we give a closer look at this association, particularly when the relational structure R decomposes into finitely many monomorphic components. In this case, several well-studied graded commutative algebras (e.g. the invariant ring of a finite permutation group, the ring of quasi-symmetric polynomials) are isomorphic to some age algebras. Also, phi_R is a quasi-polynomial, this supporting the conjecture that, with mild assumptions on R, phi_R is a quasi-polynomial when it is bounded by some polynomial.
On a quasi-ordering on Boolean functions
Published
• View Publication
• BIB
It was proved few years ago that classes of Boolean functions definable by means of functional equations \cite{EFHH}, or equivalently, by means of relational constraints \cite{Pi2}, coincide with initial segments of the quasi-ordered set $(Ω, \leq)$ made of the set $Ω$ of Boolean functions, suitably quasi-ordered. The resulting ordered set $(Ω/\equiv, \sqsubseteq)$ embeds into $([ω]^{<ω}, \subseteq)$, the set -ordered by inclusion- of finite subsets of the set $ω$ of integers. We prove that $(Ω/\equiv, \sqsubseteq)$ also embeds $([ω]^{<ω}, \subseteq)$. We prove that initial segments of $(Ω, \leq)$ which are definable by finitely many obstructions coincide with classes defined by finitely many equations. This gives, in particular, that the classes of Boolean functions with a bounded number of essential variables are finitely definable. As an example, we provide a concrete characterization of the subclasses made of linear functions.
Hilbert series of algebras associated to directed graphs
Published
• View Publication
• BIB
Few changes. We compute the Hilbert series of some algebras associated to directed graphs and related to factorizations of noncommutative polynomials.
Graphs and links
In this chapter (Chapter V) we present several results which demonstrate a close connection and useful exchange of ideas between graph theory and knot theory. These disciplines were shown to be related from the time of Tait (if not Listing) but the great flow of ideas started only after Jones discoveries. The first deep relation in this new trend was demonstrated by Morwen Thistlethwaite and we describe several results by him in this Chapter. We also presentresults from two (unpublished) preprints [P-P-0,P-18].In particular, in Section 2, we sketch two generalizations of the Tutte polynomial of graphs or, more precisely, the deletion-contraction method which Tutte polynomial utilize. The first generalization considers, instead of graphs, general objects called setoids or group systems. The second one deals with completion of the expansion of a graph with respect to subgraphs. We are motivated here by finite type invariants of links developed by Vassiliev and Gusarov along the line presented in [P-9] (compare Chapter IX). The dichromatic Hopf algebra, described in Section 2, have its origin in Vassiliev-Gusarov theory mixed with work of G. Carlo-Rota and W. Schmitt. In Section 3 we describe Tait conjecture on alternating link diagrams and apply developed methods to study adequate diagrams. In Section 4 we apply 2-variable Kauffman polynomial to alternating links and prove, in particular, the second Tait conjecture. In Section 5 we analyze the Kauffman polynomial of adequate diagrams. In Section 6 we show how coefficients of Homflypt polynomial can be used to obtain new information on classical knot invariants (e.g. Morton-Franks-Williams inequality). In the last section of Chapter V we discuss almost positive links and our method uses K. Taniyama idea of ordering of knots.
Independent Sets in Graphs with an Excluded Clique Minor
Published in Discrete Mathematics & Theoretical Computer Science 9(1):171-177, 2007
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices, with independence number $α$, and with with no $K_{t+1}$-minor for some $t\geq5$. It is proved that $(2α-1)(2t-5)\geq2n-5$.
Factorization of alternating sums of Virasoro characters
Published in J.Comb.TheorySer.A114:1165-1181,2007
• View Publication
• BIB
G. Andrews proved that if $n$ is a prime number then the coefficients $a_k$ and $a_{k+n}$ of the product $(q,q)_\infty/(q^n,q^n)_\infty=\sum_k a_kq^k$ have the same sign, see [A1]. We generalize this result in several directions. Our results are based on the observation that many products can be written as alternating sums of characters of Virasoro modules.
Positivity results for Stanley's character polynomials
Published in J. Algebra, 308(1):26-47, Feb. 2007
• View Publication
• BIB
Stanley introduced expressions for the normalized characters of the symmetric group and stated some positivity conjectures for these expressions. Here, we give an affirmative partial answer to Stanley's positivity conjectures about the expressions using results on Kerov polynomials. In particular, we use new positivity results by Goulden and the present author. We shall see that the generating series $C(t)$ introduced by them is critical to our discussion.
Dominant regions in noncrystallographic hyperplane arrangements
Published
• View Publication
• BIB
For a crystallographic root system, dominant regions in the Catalan hyperplane arrangement are in bijection with antichains in a partial order on the positive roots. For a noncrystallographic root system, the analogous arrangement and regions have importance in the representation theory of an associated graded Hecke algebra. Since there is also an analogous root order, it is natural to hope that a similar bijection can be used to understand these regions. We show that such a bijection does hold for type $H_3$ and for type $I_2(m)$, including arbitrary ratio of root lengths when $m$ is even, but does not hold for type $H_4$. We give a criterion that explains this failure and a list of the 16 antichains in the $H_4$ root order which correspond to empty regions.
Combinatorics of Partial Derivatives
Published in Electronic Journal of Combinatorics 13 (2006) #R1
• View Publication
• BIB
The natural forms of the Leibniz rule for the $k$th derivative of a product and of Faà di Bruno's formula for the $k$th derivative of a composition involve the differential operator $\partial^k/\partial x_1 ... \partial x_k$ rather than $d^k/dx^k$, with no assumptions about whether the variables $x_1,...,x_k$ are all distinct, or all identical, or partitioned into several distinguishable classes of indistinguishable variables. Coefficients appearing in forms of these identities in which some variables are indistinguishable are just multiplicities of indistinguishable terms (in particular, if all variables are distinct then all coefficients are 1). The computation of the multiplicities in this generalization of Faà di Bruno's formula is a combinatorial enumeration problem that, although completely elementary, seems to have been neglected. We apply the results to cumulants of probability distributions.