Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Around Pelikan's conjecture on very odd sequences
Published in Manuscripta Mathematica 117 (2005), 219-238
• View Publication
• BIB
Very odd sequences were introduced in 1973 by J. Pelikan who conjectured that there were none of length >=5. This conjecture was disproved by MacWilliams and Odlyzko in 1977 who proved there are in fact many very odd sequences. We give connections of these sequences with duadic codes, cyclic difference sets, levels (Stufen) of cyclotomic fields, and derive some new asymptotic results on their lengths and on S(n), which denotes the number of very odd sequences of length n.
A formula for K-theory truncation Schubert calculus
Published in Intern. Math. Res. Notices (70) 2004, 3741-3756
• Search Publication
Define a ``truncation'' $r_{t}(p)$ of a polynomial $p$ in $\{x_1,x_2,x_3,...\}$ as the polynomial with all but the first $t$ variables set to zero. In certain good cases, the truncation of a Schubert or Grothendieck polynomial may again be a Schubert or Grothendieck polynomial. We use this phenomenon to give subtraction-free formulae for certain Schubert structure constants in $K(Flags({\mathbb C}^n))$, in particular generalizing those from [Kogan '00] in which only cohomology was treated, and from [Buch `02] on the Grassmannian case. The terms of the answer are computed using ``marching'' operations on permutation diagrams.
Orderly Algorithm to enumerate central groupoids and their graphs
Published
• View Publication
• BIB
A graph has the unique path property UPP_n if there is a unique path of length n between any ordered pair of nodes.
This paper reiterates Royle and MacKay's technique for constructing orderly algorithms. We wish to use this technique to enumerate all UPP_2 graphs of small orders 9 and 16. We attempt to use the direct graph formalism and find that the algorithm is inefficient.
We introduce a generalised problem and derive algebraic and combinatoric structures with appropriate structure. We are able to then design an orderly algorithm to determine all UPP_2 graphs of order 9, which runs fast enough. We hope to be able to determine the UPP_2 graphs of order 16 in the near future.
Projected Products of Polytopes
Published
• View Publication
• BIB
We construct a 2-parameter family of 4-dimensional polytopes with extreme combinatorial structure: In this family, the ``fatness'' of the f-vector gets arbitrarily close to 9, the ``complexity'' (given by the flag vector) gets arbitrarily close to 16.
The polytopes are obtained from suitable deformed products of even polygons by a projection to four-space.
A two-dimensional pictorial presentation of Berele's insertion algorithm for symplectic tableaux
Published
• View Publication
• BIB
We give the first two-dimensional pictorial presentation of Berele's correspondence \cite{Berele}, an analogue of the Robinson-Schensted (R-S) correspondence \cite{Robinson, Schensted} for the symplectic group $Sp(2n, \Cpx )$. From the standpoint of representation theory, the R-S correspondence combinatorially describes the irreducible decomposition of the tensor powers of the natural representation of $GL(n,\Cpx)$. Berele's insertion algorithm gives the bijection that describes the irreducible decomposition of the tensor powers of the natural representation of $Sp(2n, \Cpx)$. Two-dimensional pictorial presentations of the R-S correspondence via local rules (first given by S. Fomin \cite{Fomin,FominGen}) and its many variants have proven very useful in understanding their properties and creating new generalizations. We hope our new presentation will be similarly useful.
A probabilistic approach to $q$-polynomial coefficients, Euler and Stirling numbers
It is known that Bernoulli scheme of independent trials with two outcomes is connected with the binomial coefficients. The aim of this paper is to indicate stochastic processes which are connected with the $q$-polynomial coefficients (in particular, with the $q$-binomial coefficients, or the Gaussian polynomials), Stirling numbers of the first and the second kind, and Euler numbers in a natural way. A probabilistic approach allows us to give very simple proofs of some identities for these coefficients.
Local formulae for combinatorial Pontrjagin classes
Published in Izv. RAN, Ser. Matem., 68:5 (2004), 13-66 (in Russian); English transl. in: Izv. Math., 68:5 (2004), 861-910
• View Publication
• BIB
By p(|K|) denote the characteristic class of a combinatorial manifold K given by the polynomial p in Pontrjagin classes of K. We prove that for any polynomial p there exists a function taking each combinatorial manifold K to a rational simplicial cycle z(K) such that: (1) the Poincare dual of z(K) represents the cohomology class p(|K|); (2) a coefficient of each simplex in the cycle z(K) is determined only by the combinatorial type of the link of this simplex. We also prove that if a function z satisfies the condition (2), then this function automatically satisfies the condition (1) for some polynomial p. We describe explicitly all such functions z for the first Pontrjagin class. We obtain estimates for denominators of coefficients of simplices in the cycles z(K).
The inverse rook problem on Ferrers boards
Rook polynomials have been studied extensively since 1946, principally as a method for enumerating restricted permutations. However, they have also been shown to have many fruitful connections with other areas of mathematics, including graph theory, hypergeometric series, and algebraic geometry. It is known that the rook polynomial of any board can be computed recursively.
The naturally arising inverse question -- given a polynomial, what board (if any) is associated with it? -- remains open. In this paper, we solve the inverse problem completely for the class of Ferrers boards, and show that the increasing Ferrers board constructed from a polynomial is unique.
Note on the Irreducible Triangulations of the Klein Bottle
Published in J. Combin. Theory, Ser. B 96 (6) (2006) 964-972
• View Publication
• BIB
We give the complete list of the 29 irreducible triangulations of the Klein bottle. We show how the construction of Lawrencenko and Negami, which listed only 25 such irreducible triangulations, can be modified at two points to produce the 4 additional irreducible triangulations of the Klein bottle.
Derangement characters of the full general linear group
Published
• View Publication
• BIB
We focus on derangement characters of $GL(n,q)$ which depend solely on the dimension of the space of fixed vectors. This family includes Thoma characters which become asymptotically irreducible as $n\to\infty$. We find explicit decomposition of Thoma characters into irreducibles, construct further derangement characters and seek for extremes in the family of derangement characters.
The method of characteristics, and "problem 89" of Graham, Knuth and Patashnik
We apply the method of characteristics for the solution of pde's to two combinatorial problems. The first is finding an explicit form for a distribution that arises in bio-informatics. The second is a question raised by Graham, Knuth and Patashnik abiout a sequence of generalized binomial coefficients. We find an exact formula, which factors in an interesting way, in the case where one of the six parameters of the problem vanishes. We also show that the associated polynomial sequence has real zeros only, provided that one parameter vanishes, and the other five are nonnegative.
Very well-covered graphs and the unimodality conjecture
Published
• View Publication
• BIB
If for any $k$ the $k$-th coefficient of a polynomial I(G;x) is equal to the number of stable sets of cardinality $k$ in the graph $G$, then it is called the independence polynomial of $G$ (Gutman and Harary, 1983). Let $a$ be the size of a maximum stable set. Alavi, Malde, Schwenk and Erdos (1987)conjectured that I(T,x) is unimodal for any tree T, while, in general, they proved that for any permutation $p$ of {1,2,...,a} there is a graph such that s_{p(1)}<s_{p(2)}<...<s_{p(a)}. Brown, Dilcher and Nowakowski (2000) conjectured that I(G;x) is unimodal for any well-covered graph. Michael and Traves (2002) provided examples of well-covered graphs with non-unimodal independence polynomials. They proposed the "roller-coaster" conjecture: for a well-covered graph, the subsequence (s_{a/2},s_{a/2+1},...,s_{a}) is unconstrained in the sense of Alavi et al. The conjecture of Brown et al. is still open for very well-covered graphs. In this paper we prove that s_{(2a-1)/3}>=...>=s_{a-1}>=s_{a} are valid for any (a) bipartite graph $G$; (b) quasi-regularizable graph $G$ on $2a$ vertices. In particular, we infer that this is true for (a) trees, thus doing a step in an attempt to prove Alavi et al.' conjecture; (b) very well-covered graphs. Consequently, for this case, the unconstrained subsequence appearing in the roller-coaster conjecture can be shorten to (s_{a/2},s_{a/2+1},...,s_{(2a-1)/3}). We also show that the independence polynomial of a very well-covered graph $G$ is unimodal for a<10, and is log-concave whenever a<6.
A block decomposition algorithm for computing rook polynomials
Rook polynomials are a powerful tool in the theory of restricted permutations. It is known that the rook polynomial of any board can be computed recursively, using a cell decomposition technique of Riordan.
In this paper, we give a new decomposition theorem, which yields a more efficient algorithm for computing the rook polynomial. We show that, in the worst case, this block decomposition algorithm is equivalent to Riordan's method.
Flip dynamics in three-dimensional random tilings
Published in J. Phys. A: Math. Gen. 38, 17-45 (2005)
• View Publication
• BIB
We study single-flip dynamics in sets of three-dimensional rhombus tilings with fixed polyhedral boundaries. This dynamics is likely to be slowed down by so-called ``cycles'': such structures arise when tilings are encoded via the ``partition-on-tiling'' method and are susceptible to break connectivity by flips or at least ergodicity, because they locally suppress a significant amount of flip degrees of freedom. We first address the so-far open question of the connectivity of tiling sets by elementary flips. We prove exactly that sets of tilings of codimension one and two are connected for any dimension and tiling size. For higher-codimension tilings of dimension 3, the answer depends on the precise choice of the edge orientations, which is a non-trivial issue. In most cases, we can prove connectivity despite the existence of cycles. In the few remaining cases, among which the icosahedral symmetry, the question remains open. We also study numerically flip-assisted diffusion to explore the possible effects of the previously mentioned cycles. Cycles do not seem to slow down significantly the dynamics, at least as far as self-diffusion is concerned.
Geometry of good sets in n-fold Cartesian product
Published in Proc. Indian Acad. Sci. (Math. Sci.), Vol. 114, No. 2, May 2004, pp. 181-197
• Search Publication
We propose here a multidimensional generalisation of the notion of link introduced in our previous papers and we discuss some consequences for simplicial measures and sums of function algebras.
Combinatorics of crystal graphs and Kostka-Foulkes polynomials for the root systems $B_{n},C_{n}$ and $D_{n}.$
Published
• View Publication
• BIB
We use Kashiwara-Nakashima's combinatorics of crystal graphs associated to the roots sytems $B_{n}$ and $D_{n}$ to extend the results of \QCITE{cite}{}{lec3} and \QCITE{cite}{}{Mor} by showing that Morris type recurrence formulas also exist for the orthogonal root systems. We derive from these formulas a statistic on Kashiwara-Nakashima's tableaux of types $B_{n},C_{n}$ and $D_{n}$ generalizing Lascoux-Sch\UNICODE{0xfc}tzenberger's charge and from which it is possible to compute the Kostka-Foulkes polynomials $K_{λ,μ}(q)$ with restrictive conditions on $(λ,μ)$ . This statistic is different from that obtained in \QCITE{cite}{}{lec3} from the cyclage graph structure on tableaux of type $C_{n}$. We show that such a structure also exists for the tableaux of types $B_{n}$ and $D_{n}$ but can not be simply related to the Kostka-Foulkes polynomials. Finally we give explicit formulas for $K_{λ,μ}(q)$ when $| λ| \leq 3,$ or $n=2$ and $μ=0$.
Recognizing Cluster Algebras of Finite type
Published
• View Publication
• BIB
We compute the list of all minimal 2-infinite diagrams, which are cluster algebraic analogues of extended Dynkin graphs.
Decomposition of the Diagonal Action of S_n on the Coinvariant Space of S_n x S_n
The purpose of this paper is to give an explicit description of the irreducible decomposition of the multigraded S_n-module of coinvariants of S_n x S_n. Many of the results presented can be extended to analogous questions for other finite reflection group.
Some algebra related to $P$-and $Q$-polynomial association schemes
Published in Proceedings of DIMACS conference on Codes and Association Schemes, (Piscataway NJ, 1999), 167--192. Amer. Math. Soc. Providence RI, 2001
• Search Publication
Let $K$ denote a field, and let $V$ denote a vector space over $K$ with finite positive dimension. Consider a pair of linear transformations $A:V\to V$ and $A^*:V\to V$ that satisfy both conditions below:
(i) There exists a basis for $V$ with respect to which the matrix representing $A$ is diagonal, and the matrix representing $A^*$ is irreducible tridiagonal.
(ii) There exists a basis for $V$ with respect to which the matrix representing $A^*$ is diagonal, and the matrix representing $A$ is irreducible tridiagonal.
Such a pair is called a Leonard pair on $V$. In this paper we introduce a mild generalization of a Leonard pair called a tridiagonal pair. A Leonard pair is the same thing as a tridiagonal pair such that for each transformation all eigenspaces have dimension one.
On plethysm conjectures of Stanley and Foulkes: the $2 \times n$ case
Published
• View Publication
• BIB
We prove Stanley's plethysm conjecture for the $2 \times n$ case, which composed with the work of Black and List provides another proof of Foulkes conjecture for the $2 \times n$ case. We also show that the way Stanley formulated his conjecture, it is false in general, and suggest an alternative formulation.