Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Polynomial versus Exponential Growth in Repetition-Free Binary Words
It is known that the number of overlap-free binary words of length n grows polynomially, while the number of cubefree binary words grows exponentially. We show that the dividing line between polynomial and exponential growth is 7/3. More precisely, there are only polynomially many binary words of length n that avoid 7/3-powers, but there are exponentially many binary words of length n that avoid (7/3+)-powers. This answers an open question of Kobayashi from 1986.
Vanishing and non-vanishing criteria in Schubert calculus
Published in International Math. Research Notices (2006), 24590, 1-38
• View Publication
• BIB
For any complex reductive connected Lie group G, many of the structure constants of the ordinary cohomology ring H^*(G/B; Z) vanish in the Schubert basis, and the rest are strictly positive. We present a combinatorial game, the ``root game'', which provides some criteria for determining which of the Schubert intersection numbers vanish. The definition of the root game is manifestly invariant under automorphisms of G, and under permutations of the classes intersected. Although these criteria are not proven to cover all cases, in practice they work very well, giving a complete answer to the question for G=SL(7,C). In a separate paper we show that one of these criteria is in fact necessary and sufficient when the classes are pulled back from a Grassmannian.
More generally If G' -> G is an inclusion of complex reductive connected Lie groups, there is an induced map H^*(G/B) -> H^*(G'/B') on the cohomology of the homogeneous spaces. The image of a Schubert class under this map is a positive sum of Schubert classes on G'/B'. We investigate the problem of determining which Schubert classes appear with non-zero coefficient. This is the vanishing problem for branching Schubert calculus, which plays an important role in representation theory and symplectic geometry, as shown in [Berenstein-Sjamaar 2000]. The root game generalises to give a vanishing criterion and a non-vanishing criterion for this problem.
The Cameron-Erdos Conjecture
Published
• View Publication
• BIB
A set A of integers is said to be sum-free if there are no solutions to the equation x + y = z with x,y and z all in A. Answering a question of Cameron and Erdos, we show that the number of sum-free subsets of {1,...,N} is O(2^(N/2)).
Minimal and maximal elements in Kazhdan-Lusztig double sided cells of $S_n$ and Robinson-Schensted correspondance
Published in Discrete Math. 304 (1) (2005), 79-87
• Search Publication
In symmetric groups, a two-sided cell is the set of all permutations which are mapped by the Robinson-Schensted correspondence on a pair of tableaux of the same shape. In this article, we show that the set of permutations in a two-sided cell which have a minimal number of inversions is the set of permutations which have a maximal number of inversions in conjugated Young subgroups. We also give an interpretation of these sets with particular tableaux, called reading tableaux. As corollary, we give the set of elements in a two-sided cell which have a maximal number of inversions.
Knot theory for self-indexed graphs
We introduce and study so-called self-indexed graphs. These are (oriented) finite graphs endowed with a map from the set of edges to the set of vertices. Such graphs naturally arise from classical knot and link diagrams. In fact, the graphs resulting from link diagrams have an additional structure, an integral flow. We call a self-indexed graph with integral flow a comte. The analogy with links allows us to define transformations of comtes generalizing the Reidemeister moves on link diagrams. We show that many invariants of links can be generalized to comtes, most notably the linking number, the Alexander polynomials, the link group, etc. We also discuss finite type invariants and quandle cocycle invariants of comtes.
Sequences related to the Pell generalized equation
We consider sequences of the type $A_n=6A_{n-1}-A_{n-2}, A_0=r, A_1=s$ ($r$ and $s$ integers) and show that all sequences that solve particular cases of the Pell generalized equation are expressible as a constant times one of four particular sequences of the same type.
Critical cardinalities and additivity properties of combinatorial notions of smallness
Published in Journal of Applied Analysis 9 (2003), 149--162
• View Publication
• BIB
Motivated by the minimal tower problem, an earlier work studied diagonalizations of covers where the covers are related to linear quasiorders (tau-covers). We deal with two types of combinatorial questions which arise from this study.
1. Two new cardinals introduced in the topological study are expressed in terms of well known cardinals characteristics of the continuum.
2. We study the additivity numbers of the combinatorial notions corresponding to the topological diagonalization notions.
This gives new insights on the structure of the eventual dominance ordering on the Baire space, the almost inclusion ordering on the Rothberger space, and the interactions between them.
The minimal cardinality where the Reznichenko property fails
Published in Israel Journal of Mathematics 140 (2004), 367--374
• View Publication
• BIB
A topological space X$ has the Frechet-Urysohn property if for each subset A of X and each element x in the closure of A, there exists a countable sequence of elements of A which converges to x. Reznichenko introduced a natural generalization of this property, where the converging sequence of elements is replaced by a sequence of disjoint finite sets which eventually intersect all neighborhoods of x. In their paper, Kocinac and Scheepers conjecture that the minimal cardinality of a set X of real numbers such that C_p(X) does not have the weak Frechet-Urysohn property is equal to b. (b is the minimal cardinality of an unbounded family in the Baire space).
We prove the Kocinac-Scheepers conjecture by showing that if C_p(X) has the Reznichenko property, then a continuous image of X cannot be a subbase for a non-feeble filter on the natural numbers.
3-enumerated alternating sign matrices
Let $A(n,r;3)$ be the total weight of the alternating sign matrices of order $n$ whose sole `1' of the first row is at the $r^{th}$ column and the weight of an individual matrix is $3^k$ if it has $k$ entries equal to -1. Define the sequence of the generating functions $G_n(t)=\sum_{r=1}^n A(n,r;3)t^{r-1}$.
Results of two different kind are obtained. On the one hand I made the explicit expression for the even subsequence $G_{2ν}(t)$ in terms of two linear homogeneous second order recurrence in $ν$ (Theorem 1). On the other hand I brought to light the nice connection between the neighbouring functions $G_{2ν+1}(t)$ and $G_{2ν}(t)$ (Theorem 2).
The 3-enumeration $A(n;3) \equiv G_n(1)$ which was found by Kuperberg is reproduced as well.
Kerov's central limit theorem for the Plancherel measure on Young diagrams
Published in In: S.Fomin, editor. Symmetric Functions 2001: Surveys of Developments and Perspectives (NATO Science Series II. Mathematics, Physics and Chemistry. Vol.74), Kluwer, 2002, pp. 93-151
• View Publication
• BIB
Consider random Young diagrams with a fixed number n of boxes, where the probability distribution on diagrams is determined by the Plancherel measure. That is, the weight of a diagram is proportional to the squared dimension of the corresponding irreducible representation of the symmetric group S_n. As n goes to infinity, the boundary of the (suitably scaled) random diagram concentrates near a curve Omega (Logan-Shepp 1977, Vershik-Kerov 1977). In 1993, Kerov announced a central limit theorem describing Gaussian fluctuations of random diagrams around the limit shape Omega. Here we propose a reconstruction of his proof, largely based on Kerov's unpublished work notes (1999). We also discuss a striking similarity between Kerov's result and central limit theorems for random matrices (Diaconis-Shahshahani, Johansson).
Uncertainty of the Shapley Value
Published in International Game Theory Review, 2005, 7, 517-529
• View Publication
• BIB
This paper introduces a measure of uncertainty in the determination of the Shapley value, illustrates it with examples, and studies some of its properties. The introduced measure of uncertainty quantifies random variations in a player's marginal contribution during the bargaining process. The measure is symmetric with respect to exchangeable substitutions in the players, equal to zero for dummy player, and convex in the game argument. The measure is illustrated by several examples of abstract games and an example from epidemiology.
Bose-Mesner Algebras attached to Invertible Jones Pairs
Published
• View Publication
• BIB
In 1989, Vaughan Jones introduced spin models and showed that they could be used to form link invariants in two different ways--by constructing representations of the braid group, or by constructing partition functions. These spin models were subsequently generalized to so-called 4-weight spin models by Bannai and Bannai; these could be used to construct partition functions, but did not lead to braid group representations in any obvious way. Jaeger showed that spin models were intimately related to certain association schemes. Yamada gave a construction of a symmetric spin model on $4n$ vertices from each 4-weight spin model on $n$ vertices.
In this paper we build on recent work with Munemasa to give a different proof to Yamada's result, and we analyse the structure of the association scheme attached to this spin model.
Numerical Estimation of the Asymptotic Behaviour of Solid Partitions of an Integer
Published in Journal of Physics A, Vol 36, 6651 (2003)
• View Publication
• BIB
The number of solid partitions of a positive integer is an unsolved problem in combinatorial number theory. In this paper, solid partitions are studied numerically by the method of exact enumeration for integers up to 50 and by Monte Carlo simulations using Wang-Landau sampling method for integers up to 8000. It is shown that, for large n, ln[p(n)]/n^(3/4) = 1.79 \pm 0.01, where p(n) is the number of solid partitions of the integer n. This result strongly suggests that the MacMahon conjecture for solid partitions, though not exact, could still give the correct leading asymptotic behaviour.
A random tiling model for two dimensional electrostatics
Published
• View Publication
• BIB
We consider triangular holes on the hexagonal lattice and we study their interaction when the rest of the lattice is covered by dimers. More precisely, we analyze the joint correlation of these triangular holes in a ``sea'' of dimers. We determine the asymptotics of the joint correlation (for large separations between the holes) in the case when one of the holes has side 1, all remaining holes have side 2, and the holes are distributed symmetrically with respect to a symmetry axis. Our result has a striking physical interpretation. If we regard the holes as electrical charges, with charge equal to the difference between the number of down-pointing and up-pointing unit triangles in a hole, the logarithm of the joint correlation behaves exactly like the electrostatic potential energy of this two-dimensional electrostatic system: it is obtained by a Superposition Principle from the interaction of all pairs, and the pair interactions are according to Coulomb's law.
Latin squares, partial latin squares and its generalized quotients
Published
• View Publication
• BIB
A (partial) Latin square is a table of multiplication of a (partial) quasigroup. Multiplication of a (partial) quasigroup may be considered as a set of triples. We give a necessary and sufficient condition when a set of triples is a quotient of a (partial) Latin square.
A Shorter Proof of the Transitivity of Transfinite Connectedness
A criterion is established for the transitivity of connectedness in a transfinite graph. Its proof is much shorter than a prior argument published previously for that criterion.
Increasing trees and Kontsevich cycles
Published in Geom. Topol. 8 (2004) 969-1012
• View Publication
• BIB
It is known that the combinatorial classes in the cohomology of the mapping class group of punctures surfaces defined by Witten and Kontsevich are polynomials in the adjusted Miller-Morita-Mumford classes. The leading coefficient was computed in [Kiyoshi Igusa: Algebr. Geom. Topol. 4 (2004) 473-520]. The next coefficient was computed in [Kiyoshi Igusa: math.AT/0303157, to appear in Topology]. The present paper gives a recursive formula for all of the coefficients. The main combinatorial tool is a generating function for a new statistic on the set of increasing trees on 2n+1 vertices. As we already explained in the last paper cited this verifies all of the formulas conjectured by Arbarello and Cornalba [J. Alg. Geom. 5 (1996) 705--749]. Mondello [math.AT/0303207, to appear in IMRN] has obtained similar results using different methods.
What majority decisions are possible
Published
• View Publication
• BIB
The main result is the following:
Let X be a finite set and D be a non empty family of choice functions for (X choose 2) closed under permutation of X. Then the following conditions are equivalent:
(A) for any choice function c on (X choose 2) we can find a finite set J and c_j in D for j in J such that for any x not= y in X : c{x,y}=y Leftrightarrow |J|/2<| {j in J:c_j{x,y}= y}| (so equality never occurs)
(B) for some c in D and x in X we have |{y: c{x,y}=y}| not= (|X|-1)/2 . We then describe what is the closure of a set of choice functions by majority; in fact, there are just two possibilities (in section 3). In section 4 we discuss a generalization.
OTIS Layouts of De Bruijn Digraphs
The Optical Transpose Interconnection System (OTIS) was proposed by Marsden et al. [Opt. Lett 18 (1993) 1083--1085] to implement very dense one-to-one interconnection between processors in a free space of optical interconnections. The system which allows one-to-one optical communications from p groups of q transmitters to q groups of p receivers, using electronic intragroup communications for each group of consecutive d processors, is denoted by OTIS(p,q,d). H(p,q,d) is the digraph which characterizes the underlying topology of the optical interconnection implemented by OTIS(p,q,d). A digraph has an OTIS(p,q,d) layout if it is isomorphic to H(p,q,d). Based on results of Coudert et al. [Networks 40 (2002) 155--164], we characterize all OTIS(p,q,d) layouts of De Bruijn digraph B(d,n) where both p and q are powers of d. Coudert et al. posed the conjecture that if B(d,n) has an OTIS(p,q,d) layout, then both p and q are powers of d. As an effort to prove this conjecture, we prove that H(p,q,d) is a line digraph if and only if both p and q are multiples of d.
The Orchard crossing number of an abstract graph
We introduce the Orchard crossing number, which is defined in a similar way to the well-known rectilinear crossing number. We compute the Orchard crossing number for some simple families of graphs. We also prove some properties of this crossing number.
Moreover, we define a variant of this crossing number which is tightly connected to the rectilinear crossing number, and compute it for some simple families of graphs.