Showing 20 papers (Total: 82851 papers, 47869 authors in database)
Cauchy type identities and corresponding fermatian matrices via non-comuting variables of extended finite operator calculus
Published in Proc. Jangjeon Math. Soc. Vol 8 (2005) no. 2. pp.191-196
• Search Publication
New family of extended Cauchy type identities is found and related Fermat type matrices are provided ready for applications in extended scope. This is achieved due to the use specifically non-commuting variables of extended finite operator calculus introduced by the author few years ago.
Properties of some character tables related to the symmetric groups
Published
• View Publication
• BIB
We determine invariants like the Smith normal form and the determinant for certain integral matrices which arise from the character tables of the symmetric groups S_n and their double covers. In particular, we give a simple computation, based on the theory of Hall-Littlewood symmetric functions, of the determinant of the regular character table of S_n with respect to an integer r>1. This result had earlier been proved by Olsson in a longer and more indirect manner. As a consequence, we obtain a new proof of the Mathas' Conjecture on the determinant of the Cartan matrix of the Iwahori-Hecke algebra. When r is prime we determine the Smith normal form of the regular character table. Taking r large yields the Smith normal form of the full character table of S_n. Analogous results are then given for spin characters.
A triple lacunary generating function for Hermite polynomials
Published in Elect. J. of Combinatorics 12(1) (2005)
• View Publication
• BIB
Some of the classical orthogonal polynomials such as Hermite, Laguerre, Charlier, etc. have been shown to be the generating polynomials for certain combinatorial objects. These combinatorial interpretations are used to prove new identities and generating functions involving these polynomials. In this paper we apply Foata's combinatorial interpretation of the Hermite polynomials as counting matchings of a set to obtain a triple lacunary generating function for the Hermite polynomials. We also give an umbral proof of this generating function.
An algebra of power series arising in the intersection theory of moduli spaces of curves and in the enumeration of ramified coverings of the sphere
A bracket is a function that assigns a number to each monomial in variables τ_0, τ_1, ... We show that any bracket satisfying the string and the dilaton relations gives rise to a power series lying in the algebra A generated by the series \sum n^{n-1} q^n/n! and \sum n^n q^n /n! .
As a consequence, various series from A appear in the intersection theory of moduli spaces of curves.
A connection between the counting of ramified coverings of the sphere and the intersection theory on moduli spaces allows us to prove that some natural generating functions enumerating the ramified coverings lie, yet again, in A. As an application, one can find the asymptotic of the number of such coverings as the number of sheets tends to infinity.
We believe that the leading terms of the asymptotics like that correspond to observables in 2-dimensional gravity.
A note on blockers in posets
The blocker $A^{*}$ of an antichain $A$ in a finite poset $P$ is the set of elements minimal with the property of having with each member of $A$ a common predecessor. The following is done:
1. The posets $P$ for which $A^{**}=A$ for all antichains are characterized.
2. The blocker $A^*$ of a symmetric antichain in the partition lattice is characterized.
3. Connections with the question of finding minimal size blocking sets for certain set families are discussed.
Fixed points of involutive automorphisms of the Bruhat order
Published
• View Publication
• BIB
Applying a classical theorem of Smith, we show that the poset property of being Gorenstein$^*$ over $\mathbb{Z}_2$ is inherited by the subposet of fixed points under an involutive poset automorphism. As an application, we prove that every interval in the Bruhat order on (twisted) involutions in an arbitrary Coxeter group has this property, and we find the rank function. This implies results conjectured by F. Incitti. We also show that the Bruhat order on the fixed points of an involutive automorphism induced by a Coxeter graph automorphism is isomorphic to the Bruhat order on the fixed subgroup viewed as a Coxeter group in its own right.
Cocommutative Hopf algebras of permutations and trees
Published in Journal of Algebraic Combinatorics, Volume 22 (2005), Number 4, pp. 451--470.
• View Publication
• BIB
Consider the coradical filtrations of the Hopf algebras of planar binary trees of Loday and Ronco and of permutations of Malvenuto and Reutenauer. We give explicit isomorphisms showing that the associated graded Hopf algebras are dual to the cocommutative Hopf algebras introduced in the late 1980's by Grossman and Larson. These Hopf algebras are constructed from ordered trees and heap-ordered trees, respectively. These results follow from the fact that whenever one starts from a Hopf algebra that is a cofree graded coalgebra, the associated graded Hopf algebra is a shuffle Hopf algebra.
Two new families of q-positive integers
Published
• View Publication
• BIB
Let $n,p,k$ be three positive integers. We prove that the rational fractions of $q$: $${n \brack k}_{q} {}_3φ_{2} [ . {matrix}q^{1-k},q^{-p},q^{p-n} q,q^{1-n} {matrix}| q;q^{k+1}]\quad\textrm{and}\quad q^{(n-p)p}\qbi{n}{k}{q} {}_3φ_2[ . {matrix}q^{1-k},q^{-p},q^{p-n} q,q^{1-n} {matrix}|q;q] $$ are polynomials of $q$ with positive integer coefficients. This generalizes a recent result of Lassalle (Ann. Comb. 6(2002), no. 3-4, 399-405), in the same way as the classical $q$-binomial coefficients refine the ordinary binomial coefficients.
Long Arithmetic Progressions in Critical Sets
Published
• View Publication
• BIB
In this paper we prove: If 0 < d < 1, and p is a sufficiently large prime, then if S is a subset of Z/pZ having the least number of three-term arithmetic progressions among all subsets of Z/pZ having at least dp elements, then S has an arithmetic progression of length at least log^{1/4+o(1)} x.
Complete caps in projective space which are disjoint from a subspace of codimension two
Working over the field of order 2 we consider those complete caps (maximal sets of points with no three collinear) which are disjoint from some codimension 2 subspace of projective space. We derive restrictive conditions which such a cap must satisfy in order to be complete. Using these conditions we obtain explicit descriptions of complete caps which do not meet every hyperplane in at least 5 points. In particular, we determine the set of cardinalities of all such complete caps in all dimensions.
$ψ$-Poisson, $q$-Cigler, $ψ$-Dobinski, $ψ$-Rota and $ψ$-coherent states
Published in Proc. Jangjeon Math. Soc. Vol. 7 (2), 2004 pp. 95-98
• Search Publication
Cigler simple derivation of usual and extended Dobinski formula is recalled and it is noted that both may be interpreted as averages of powers of random variables with the corresponding usual or extended Poisson distributions. In parallel more general formulas of extended operator umbral calculi origin are revealed . The formulas encompass both earlier cases as very specific ones.
Combinatorial interpretation of the recurrence relation for fibonomial coefficients
Published in Bulletin de la Societe des Sciences et des Lettres de £ódê (54) Serie: Recherches sur les Deformations Vol. 44 (2004) pp. 23-38
• Search Publication
Combinatorial interpretation of the fibonomial coefficients recently proposed by the present author results here in combinatorial interpretation of the recurrence relation for fibonomial coefficients . The presentation is provided with quite an exhaustive context where apart from plane grid coordinate system used several figures illustrate the exposition of statements and the derivation of the recurrence itself.
Sylvester-Gallai Theorems for Complex Numbers and Quaternions
Published in Discrete & Computational Geometry 35 (2006), no. 3, 361--373
• View Publication
• BIB
A Sylvester-Gallai (SG) configuration is a finite set S of points such that the line through any two points in S contains a third point of S. According to the Sylvester-Gallai Theorem, an SG configuration in real projective space must be collinear. A problem of Serre (1966) asks whether an SG configuration in a complex projective space must be coplanar. This was proved by Kelly (1986) using a deep inequality of Hirzebruch. We give an elementary proof of this result, and then extend it to show that an SG configuration in projective space over the quaternions must be contained in a three-dimensional flat.
The size of the smallest uniquely completable set in order 8 Latin squares
Published in J. Combin. Math. Combin. Comput. 52 (2005) 159-168
• Search Publication
In 1990, Kolesova, Lam and Thiel determined the 283,657 main classes of Latin squares of order 8. Using techniques to determine relevant Latin trades and integer programming, we examine representatives of each of these main classes and determine that none can contain a uniquely completable set of size less than 16. In three of these main classes, the use of trades which contain less than or equal to three rows, columns, or elements does not suffice to determine this fact. We closely examine properties of representatives of these three main classes. Writing the main result in Nelder's notation for critical sets, we prove that scs(8)=16.
Critical sets in the elementary abelian 2- and 3- groups
Published in Utilitas Mathematica 68 (2005) 53-61
• Search Publication
In 1998, Khodkar showed that the minimal critical set in the Latin square corresponding to the elementary abelian 2-group of order 16 is of size at most 124. Since the paper was published, improved methods for solving integer programming problems have been developed. Here we give an example of a critical set of size 121 in this Latin square, found through such methods. We also give a new upper bound on the size of critical sets of minimal size for the elementary abelian 2-group of order $2^n$: $4^{n}-3^{n}+4-2^{n}-2^{n-2}$. We speculate about possible lower bounds for this value, given some other results for the elementary abelian 2-groups of orders 32 and 64. An example of a critical set of size 29 in the Latin square corresponding to the elementary abelian 3-group of order 9 is given, and it is shown that any such critical set must be of size at least 24, improving the bound of 21 given by Donovan, Cooper, Nott and Seberry.
Updown Categories
A poset can be regarded as a category in which there is at most one morphism between objects, and such that at most one of Hom(c,c') and Hom(c',c) is nonempty for c not equal to c'. If we keep in place the latter axiom but allow for more than one morphism between objects, we can have a sort of generalized poset in which there are multiplicities attached to the covering relations, and possibly nontrivial automorphism groups. We call such a category an "updown category." In this paper we give a precise definition of such categories and develop a theory for them, which incorporates earlier notions of differential posets and weighted-relation posets. We also give a detailed account of ten examples, including the updown categories of integer partitions, integer compositions, planar rooted trees, and rooted trees.
Perfect Matchings and the Octahedron Recurrence
Published
• View Publication
• BIB
We study a recurrence defined on a three dimensional lattice and prove that its values are Laurent polynomials in the initial conditions with all coefficients equal to one. This recurrence was studied by Propp and by Fomin and Zelivinsky. Fomin and Zelivinsky were able to prove Laurentness and conjectured that the coefficients were 1. Our proof establishes a bijection between the terms of the Laurent polynomial and the perfect matchings of certain graphs, generalizing the theory of Aztec diamonds. In particular, this shows that the coefficients of this polynomial, and polynomials obtained by specializing its variables, are positive, a conjecture of Fomin and Zelevinsky.
On simultaneous binary expansions of $n$ and $n^2$
Published in Journal of Number Theory, 111 (2005), 248 -- 256
• View Publication
• BIB
A new family of sequences is proposed. An example of sequence of this family is more accurately studied. This sequence is composed by the integers $n$ for which the sum of binary digits is equal to the sum of binary digits of $n^2$. Some structure and asymptotic properties are proved and a conjecture about its counting function is discussed.
On the Andrews-Stanley Refinement of Ramanujan's Partition Congruence Modulo 5 and Generalizations
Published
• View Publication
• BIB
In a recent study of sign-balanced, labelled posets Stanley, introduced a new integral partition statistic srank(pi) = O(pi) - O(pi'), where O(pi) denotes the number of odd parts of the partition pi and pi' is the conjugate of pi. Andrews proved the following refinement of Ramanujan's partition congruence mod 5: p[0](5n +4) = p[2](5n + 4) = 0 (mod 5), p(n) = p[0](n) + p[2](n), where p[i](n) (i = 0; 2) denotes the number of partitions of n with srank = i (mod 4) and p(n) is the number of unrestricted partitions of n. Andrews asked for a partition statistic that would divide the partitions enumerated by p[i](5n + 4) (i = 0, 2) into five equinumerous classes. In this paper we discuss three such statistics: the St-crank, the 2-quotient-rank and the 5-core-crank. The first one, while new, is intimately related to the Andrews-Garvan crank. The second one is in terms of the 2-quotient of a partition. The third one was introduced by Garvan, Kim and Stanton. We use it in our combinatorial proof of the Andrews refinement. Remarkably, the Andrews result is a simple consequence of a stronger refinement of Ramanujan's congruence mod 5. This more general refinement uses a new partition statistic which we term the BG-rank. We employ the BG-rank to prove new partition congruences modulo 5. Finally, we discuss some new formulas for partitions that are 5-cores and discuss an intriguing relation between 3-cores and the Andrews-Garvan crank.
Topology of partition of measures by fans and the second obstruction
\noindent The simultaneous partition problems are classical problems of the combinatorial geometry which have the natural flavor of the equivariant topology. The $k$-fan partition problems have attracted a lot of attention \cite{Aki2000}, \cite{BaMa2001}, \cite{BaMa2002} and forced some hard concrete combinatorial calculations in the equivariant cohomology \cite% {Bl-Vr-Ziv}. These problems can be reduced, by a beautiful scheme of \cite% {BaMa2001}, to a \textquotedblright typical\textquotedblright question of the existence of a $\mathbb{D}_{2n}$ equivariant map $f:V_{2}(\mathbb{R}% ^{3})\to W_{n}-\cup \mathcal{A}(α)$, where $V_{2}(\mathbb{R}% ^{3})$ is the space of all orthonormal 2-frames in $\mathbb{R}^{3}$ and $% W_{n}-\cup \mathcal{A}(α)$ is the complement of the appropriate arrangement. We introduce the \textit{target extension scheme} which allow us to use the equivariant obstruction theory as a tool for proving that: for every two proper measures on the sphere $S^{2}$, and any $α=(a,a+b,b)\in \mathbb{R}_{>0}^{3}$, there exists an $α$-partition of theses measures by a 3-fan.
\noindent The significance of these results, among other, is that, beside negative results \cite{Bl-Vr-Ziv}, the equivariant obstruction theory can pull off some positive results, which were not attained by other means.