Showing 20 papers (Total: 81378 papers, 47165 authors in database)
A stronger form of the theorem constructing a rigid binary relation on any set
Published in Aequationes Mathematicae 66 (2003), pp. 257-260
• View Publication
• BIB
On every set A there is a rigid binary relation i.e. such a relation R \subseteq A \times A that there is no homomorphism (A,R) \rightarrow (A,R) except the identity (Vop{ě}nka et al. [1965]). We prove that for each infinite cardinal number κif card A \leq 2^κ, then there exists a relation R \subseteq A \times A with the following property:
\forall (x \in A) \exists ({x} \subseteq A(x) \subseteq A, card A(x) \leq κ) \forall (f: A(x) \rightarrow A, f \neq id_A(x))
f is not a homomorphism of R.
The above property implies that R is rigid. If a relation R \subseteq A \times A has the above property, then card A \leq 2^κ.
The honeycomb model of GL(n) tensor products II: Puzzles determine facets of the Littlewood-Richardson cone
Published in Journal of the AMS, 17 (2004) 19-48
• View Publication
• BIB
The set of possible spectra (λ,μ,ν) of zero-sum triples of Hermitian matrices forms a polyhedral cone. We give a complete determination of its facets, finishing a long story with recent highlights by [Helmke-Rosenthal, Klyachko, Belkale]. We introduce_puzzles_, which are new combinatorial gadgets to compute Grassmannian Schubert calculus, and will probably be the main point of interest for many readers. As the proofs indicate, the Hermitian sum problem is very naturally studied using puzzles directly, and their connection to Schubert calculus is quite incidental to our approach. In particular, we get new, puzzle-theoretic, proofs of the results in [H,Kly,HR,Be]. Along the way we give a characterization of ``rigid'' puzzles, which we use to prove a conjecture of W. Fulton: ``if for a triple of dominant weights λ,μ,νof GL(n,C) the irreducible representation V_νappears exactly once in V_λtensor V_μ, then for all N\in \naturals, V_{Nλ} appears exactly once in V_{Nλ} tensor V_{Nμ}.''
q and q,t-Analogs of Non-commutative Symmetric Functions
Published in Discrete Math. 298 (2005), no. 1-3, 79--103
• View Publication
• BIB
We introduce two families of non-commutative symmetric functions that have analogous properties to the Hall-Littlewood and Macdonald symmetric functions.
Arithmetic partition sums and orbits of Z_n^k under the symmetric group S_k
We study M(n,k,r), the number of orbits of {(a_1,...,a_k)\in Z_n^k | a_1+...+a_k = r (mod n)} under the action of S_k. Equivalently, M(n,k,r) sums the partition numbers of an arithmetic sequence: M(n,k,r) = sum_{t \geq 0} p(n-1,k,r+nt), where p(a,b,t) denotes the number of partitions of t into at most b parts, each of which is at most a. We derive closed formulas and various identities for such arithmetic partition sums.
These results have already appeared in Elashvili/Jibladze/Pataraia, Combinatorics of necklaces and "Hermite reciprocity", J. Alg. Combin. 10 (1999) 173-188, and the main result was also published by Von Sterneck in Sitzber. Akad. Wiss. Wien. Math. Naturw. Class. 111 (1902), 1567-1601 (see Lemma 2 and references in math.NT/9909121). Thanks to Don Zagier and Robin Chapman for bringing these references to our attention.
Coding rotations on intervals
Published
• View Publication
• BIB
We show that the coding of rotation by $α$ on $m$ intervals with rationally independent lengths can be recoded over $m$ Sturmian words of angle $α.$
More precisely, for a given $m$ an universal automaton is constructed such that the edge indexed by the vector of values of the $i$th letter on each Sturmian word gives the value of the $i$th letter of the coding of rotation.
Modeles avec particules dures, animaux diriges et series en variables partiellement commutatives
We give a systematic presentation of relations between lattice gas models with hard-core interactions, enumeration of directed-site animals, and the algebra of formal power-series in the partially commutative case, along the work of X.G.Viennot. We present a complete and simplified solution, using this algebra, of the directed animals enumeration problem in two dimensions, including a fast program for random generation of such animals (with uniform distribution) and images produced by this program.
Reflections on symmetric polynomials and arithmetic functions
Published
• View Publication
• BIB
In an isomorphic copy of the ring of symmetric polynomials we study some families of polynomials which are indexed by rational weight vectors. These families include well known symmetric polynomials, such as the elementary, homogeneous, and power sum symmetric polynomials. We investigate properties of these families and focus on constructing their rational roots under a product induced by convolution. A direct application of the latter is to the description of the roots of certain multiplicative arithmetic functions (the core functions) under the convolution product.
Noncommutative symmetric functions and quasi-symmetric functions with two and more paramters
We define two-parameter families of noncommutative symmetric functions and quasi-symmetric functions, which appear to be the proper analogues of the Macdonald symmetric functions in these settings.
Une conjecture de Kontsevich et Shoikhet et la caracteristique d'Euler
Salikhov has proved a conjecture of Kontsevich and Shoikhet by reducing it to the consideration of three families of graphs, a consideration which was left to the reader for two of those families. We show, that the conjecture is just a very particular case of the classical theorem on the Euler characteristic, well explicated by Teleman.
Quadratic Orlik-Solomon algebras of graphic matroids
Published
• View Publication
• BIB
In this note we introduce a sufficient condition for the Orlik-Solomon algebra associated to a matroid M to be l-adic and we prove that this condition is necessary when M is binary (in particular graphic). Moreover, this result cannot be extended to the class of all matroids.
Palindrome complexity
Published in Theor. Comput. Science 292 (2003) 9 - 31
• View Publication
• BIB
We study the palindrome complexity of infinite sequences on finite alphabets, i.e., the number of palindromic factors (blocks) of given length occurring in a given sequence. We survey the known results and obtain new results for some sequences, in particular for Rote sequences and for fixed points of primitive morphisms of constant length belonging to the class P substitutions of Hof-Knill-Simon. We also give an upper bound for the palindrome complexity of a sequence in terms of its (block-)complexity.
Extended Bell and Stirling numbers from hypergeometric exponentiation
Exponentiating the hypergeometric series gives a recursion relation for integer sequences which are generalizations of conventional Bell numbers. The corresponding associated Stirling numbers of the second kind are also generated and investigated. For the lowest order generalisation, one can give a combinatorial interpretation of these 'Bell' numbers, and of some Stirling numbers associated with them. We also consider these analogues of Bell numbers in the case of restricted partitions.
There is no universal countable random-free graph
Published
• View Publication
• BIB
We consider embeddings between infinite graphs. In particular, We establish that there is no universal element in the class of countable graphs into which the random graph is not embeddable.
On the Enumeration of Skew Young Tableaux
Published
• View Publication
• BIB
We extend work of McKay, Morse, and Wilf by giving exact formulas and asymptotic formulas for the number of skew Young tableaux T in two situations: (1) the "inside shape" and total number of cells of T are fixed, and (2) the inside shape of T is fixed. The proofs use the theory of symmetric functions and estimates for irreducible characters of the symmetric group due to Thoma, Vershik, Kerov, and Biane.
The coset weight distributions of certain BCH codes and a family of curves
We study the distribution of the number of rational points in a family of curves over a finite field of characteristic 2. This distribution determines the coset weight distribution of a certain BCH code.
On the Complexity of Polytope Isomorphism Problems
Published
• View Publication
• BIB
We show that the problem to decide whether two (convex) polytopes, given by their vertex-facet incidences, are combinatorially isomorphic is graph isomorphism complete, even for simple or simplicial polytopes. On the other hand, we give a polynomial time algorithm for the combinatorial polytope isomorphism problem in bounded dimensions. Furthermore, we derive that the problems to decide whether two polytopes, given either by vertex or by facet descriptions, are projectively or affinely isomorphic are graph isomorphism hard.
The original version of the paper (June 2001, 11 pages) had the title ``On the Complexity of Isomorphism Problems Related to Polytopes''. The main difference between the current and the former version is a new polynomial time algorithm for polytope isomorphism in bounded dimension that does not rely on Luks polynomial time algorithm for checking two graphs of bounded valence for isomorphism. Furthermore, the treatment of geometric isomorphism problems was extended.
Arbitrarily Large Neighborly Families of Congruent Symmetric Convex 3-Polytopes
Published
• View Publication
• BIB
We construct, for any positive integer n, a family of n congruent convex polyhedra in R^3, such that every pair intersects in a common facet. Previously, the largest such family contained only eight polytopes. Our polyhedra are Voronoi regions of evenly distributed points on the helix (t, cos t, sin t). With a simple modification, we can ensure that each polyhedron in the family has a point, a line, and a plane of symmetry. We also generalize our construction to higher dimensions and introduce a new family of cyclic polytopes.
Playing Games with Algorithms: Algorithmic Combinatorial Game Theory
Published
• View Publication
• BIB
Combinatorial games lead to several interesting, clean problems in algorithms and complexity theory, many of which remain open. The purpose of this paper is to provide an overview of the area to encourage further research. In particular, we begin with general background in Combinatorial Game Theory, which analyzes ideal play in perfect-information games, and Constraint Logic, which provides a framework for showing hardness. Then we survey results about the complexity of determining ideal play in these games, and the related problems of solving puzzles, in terms of both polynomial-time algorithms and computational intractability results. Our review of background and survey of algorithmic results are by no means complete, but should serve as a useful primer.
Double Centralizing Theorems for the Alternating Groups
Published
• View Publication
• BIB
Let $V^{\otimes n}$ be the $n$-fold tensor product of a vector space $V.$ Following I. Schur we consider the action of the symmetric group $S_n$ on $V^{\otimes n}$ by permuting coordinates. In the `super' ($\Bbb Z_2$ graded) case $V=V_0\oplus V_1,$ a $\pm$ sign is added [BR]. These actions give rise to the corresponding Schur algebras S$(S_n,V).$ Here S$(S_n,V)$ is compared with S$(A_n,V),$ the Schur algebra corresponding to the alternating subgroup $A_n\subset S_n .$ While in the `classical' (signless) case these two Schur algebras are the same for $n$ large enough, it is proved that in the `super' case where $\dim V_0=\dim V_1, $ S$(A_n,V)$ is isomorphic to the crossed-product algebra S$(A_n,V)\cong$ S$(S_n,V)\times\Bbb Z_2 .$
Explicit Enumeration of 321,Hexagon-Avoiding Permutations
Published
• View Publication
• BIB
The 321,hexagon-avoiding (321-hex) permutations were introduced and studied by Billey and Warrington in as a class of elements of S_n whose Kazhdan-Lusztig and Poincare polynomials and the singular loci of whose Schubert varieties have certain fairly simple and explicit descriptions. This paper provides a 7-term linear recurrence relation leading to an explicit enumeration of the 321-hex permutations. A complete description of the corresponding generating tree is obtained as a by-product of enumeration techniques used in the paper, including Schensted's 321-subsequences decomposition, a 5-parameter generating function and the symmetries of the octagonal patterns avoided by the 321-hex permutations.