Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On various restricted sumsets
Published
• View Publication
• BIB
For finite subsets A_1,...,A_n of a field, their sumset is given by {a_1+...+a_n: a_1 in A_1,...,a_n in A_n}. In this paper we study various restricted sumsets of A_1,...,A_n with restrictions of the following forms: a_i-a_j not in S_{ij}, or alpha_ia_i not=alpha_ja_j, or a_i+b_i not=a_j+b_j (mod m_{ij}). Furthermore, we gain an insight into relations among recent results on this area obtained in quite different ways.
The cd-index of fans and lattices
Published
• View Publication
• BIB
The number of flags in a complete fan, or more generally in an Eulerian poset, is encoded in the cd-index. We prove non-negativity of the cd-index for complete fans, regular CW-spheres and Gorenstein* posets.
Colored Coalescent Theory
Published
• View Publication
• BIB
We introduce a colored coalescent process which recovers random colored genealogical trees. Here a colored genealogical tree has its vertices colored black or white. Moving backward along the colored genealogical tree, the color of vertices may change only when two vertice coalesce. The rule that governs the change of color involves a parameter $x$. When $x=1/2$, the colored coalescent process can be derived from a variant of the Wright-Fisher model for a haploid population in population genetics. Explicit computations of the expectation and the cumulative distribution function of the coalescent time are carried out. For example, our calculation shows that when $x=1/2$, for a sample of $n$ colored individuals, the expected time for the colored coalescent process to reach a black MRAC or a white MRAC, respectively, is $3-2/n$. On the other hand, the expected time for the colored coalescent process to reach a MRAC, either black or white, is $2-2/n$, which is the same as that for the standard Kingman coalescent process.
Orthogonal polynomials with a resolvent-type generating function
Published in Trans. Amer. Math. Soc. 360 (2008), 4125-4143
• View Publication
• BIB
The subject of this paper are polynomials in multiple non-commuting variables. For polynomials of this type orthogonal with respect to a state, we prove a Favard-type recursion relation. On the other hand, free Sheffer polynomials are a polynomial family in non-commuting variables with a resolvent-type generating function. Among such families, we describe the ones that are orthogonal. Their recursion relations have a more special form; the best way to describe them is in terms of the free cumulant generating function of the state of orthogonality, which turns out to satisfy a type of second-order difference equation. If the difference equation is in fact first order, and the state is tracial, we show that the state is necessarily a rotation of a free product state. We also describe interesting examples of non-tracial infinitely divisible states with orthogonal free Sheffer polynomials.
Discrete model of Yang-Mills equations in Minkowski space
Published in Cubo A Mathematical Journal, Vol. 6, No. 2 (2004), pp. 35-50
• Search Publication
Using methods of differential geometry, a discrete analog of the Yang-Mills equations in Minkowski space is constructed. The gauge transformation law in a discrete formulation is given and gauge invariance of discrete Yang-Mills equations is studied. Difference self-dual and anti-self-dual equations with respect to the Lorentz metric are presented.
Tensor algebras and displacement structure. IV. Invariant kernels
Published
• View Publication
• BIB
In this paper we investigate the class of invariant positive definite kernels on the free semigroup on N generators. We provide a combinatorial description of the positivity of the kernel in terms of Dyck paths and then we find a displacement equation that encodes the invariance property of the kernel.
Tropical Linear Spaces
Published
• View Publication
• BIB
We define tropical analogues of the notions of linear space and Plucker coordinate and study their combinatorics. We introduce tropical analogues of intersection and dualization and define a tropical linear space built by repeated dualization and transverse intersection to be constructible. Our main result that all constructible tropical linear spaces have the same f-vector and are ``series-parallel''. We conjecture that this f-vector is maximal for all tropical linear spaces with equality precisely for the series-parallel tropical linear spaces. We present many partial results towards this conjecture.
In addition we relate tropical linear spaces to linear spaces defined over power series fields and give many examples and counter-examples illustrating aspects of this relationship. We describe a family of particularly nice series-parallel linear spaces, which we term tree spaces, that realize the conjectured maximal f-vector and are constructed in a manner similar to the cyclic polytopes.
Hook-lengths and Pairs of Compositions
Published in J. Comp. Appl. Math. 199 (2007), 39-47
• View Publication
• BIB
The monomial basis for polynomials in N variables is labeled by compositions. To each composition there is associated a hook-length product, which is a product of linear functions of a parameter. The zeroes of this product are related to "critical pairs" of compositions; a concept defined in this paper. This property can be described in an elementary geometric way; for example: consider the two compositions (2,7,8,2,0,0) and (5,1,2,5,3,3), then the respective ranks, permutations of the index set {1,2,...,6} sorting the compositions, are (3,2,1,4,5,6) and (1,6,5,2,3,4), and the two vectors of differences (between the compositions and the ranks, respectively) are (-3,6,6,-3,-3,-3) and (2,-4,-4,2,2,2), which are parallel, with ratio -3/2. For a given composition and zero of its hook-length product there is an algorithm for constructing another composition with the parallelism property and which is comparable to it in a certain partial order on compositions, derived from the dominance order. This paper presents the motivation from the theory of nonsymmetric Jack polynomials and the description of the algorithm, as well as the proof of its validity.
Symmetric functions, noncommutative symmetric functions, and quasisymmetric functions
Published in Acta Appl. Math. 75 (2003), 55-83
• View Publication
• BIB
This paper is concerned with two generalizations of the Hopf algebra of symmetric functions that have more or less recently appeared. The Hopf algebra of noncommutative symmetric functions and its dual, the Hopf algebra of quasisymmetric functions. The focus is on the incredibly rich structure of the Hopf algebra of symmetric functions and the question of which structures and properties have good analogues for the noncommutative symmetric functions and/or the quasisymmetric functions. This paper attempt to survey the ongoing investigations in this topic as dictated by the knowledge and interests of its author. There are many open questions that are discussed.
Word Hopf algebras
Two important generalizations of the Hopf algebra of symmetric functions are the Hopf algebra of noncommutative symmetric functions and its graded dual the Hopf algebra of quasisymmetric functions. A common generalization of the latter is the selfdual Hopf algebra of permutations (MPR Hopf algebra). This latter Hopf algebra can be seen as a Hopf algebra of endomorphisms of a Hopf algebra. That turns out to be a fruitful way of looking at things and gives rise to wide ranging further generalizations such as the word Hopf algebra and the double word Hopf algebra (and many more).
Quivers, long exact sequences and Horn type inequalities
Published
• View Publication
• BIB
We give necessary and sufficient inequalities for the existence of long exact sequences of m finite abelian p-groups with fixed isomorphy types. This problem is related to some generalized Littlewood-Richardson coefficients that we define in this paper. We also show how this problem is related to eigenvalues of Hermitian matrices satisfying certain (in)equalities. When m=3, we recover the Horn type inequalities that solve the saturation conjecture for Littlewood-Richardson coefficients and Horn's conjecture.
Multi-Path Matroids
Published in Combinatorics, Probability and Computing, 2007
• View Publication
• BIB
We introduce the minor-closed, dual-closed class of multi-path matroids. We give a polynomial-time algorithm for computing the Tutte polynomial of a multi-path matroid, we describe their basis activities, and we prove some basic structural properties. Key elements of this work are two complementary perspectives we develop for these matroids: on the one hand, multi-path matroids are transversal matroids that have special types of presentations; on the other hand, the bases of multi-path matroids can be viewed as sets of lattice paths in certain planar diagrams.
Time-evolution of the Rule 150 cellular automaton activity from a Fibonacci iteration
Published in Journal of Mathematical Physics 49, 062701 (2008)
• View Publication
• BIB
The total activity of the single-seeded cellular rule 150 automaton does not follow a one-step iteration like other elementary cellular automata, but can be solved as a two-step vectorial, or string, iteration, which can be viewed as a generalization of Fibonacci iteration generating the time series from a sequence of vectors of increasing length. This allows to compute the total activity time series more efficiently than by simulating the whole spatio-temporal process, or even by using the closed expression.
Van der Waerden's Theorem on Homothetic copies of {1,1+s, 1+s+t}
Published
• View Publication
• BIB
T.C. Brown, B.M. Landman and M. Mishna raised a problem on monochromatic homothetic copies of {1,1+s, 1+s+t}. We solved the problem completely.
Fluctuations of the Longest Common Subsequence in the Asymmetric Case of 2- and 3-Letter Alphabets
We investigate the asymptotic standard deviation of the Longest Common Subsequence (LCS) of two independent i.i.d. sequences of length n. The first sequence is drawn from a three letter alphabet {0,1,a}, whilst the second sequence is binary. The main result of this article is that in this asymmetric case, the standard deviation of the length of the LCS is of order square root of n. This confirms Waterman's conjecture for this special case. Our result seems to indicate that in many other situations the order of the standard deviation is also square root of n.
Conditions for Weighted Cover Pebbling of Graphs
In a graph G with a distribution of pebbles on its vertices, a pebbling move is the removal of two pebbles from one vertex and the addition of one pebble to an adjacent vertex. A weight function on G is a non-negative integer-valued function on the vertices of G. A distribution of pebbles on G covers a weight function if there exists a sequence of pebbling moves that gives a new distribution in which every vertex has at least as many pebbles as its weight. In this paper we give some necessary and some sufficient conditions for a distribution of pebbles to cover a given weight function on a connected graph G. As a corollary, we give a simple formulation for the `weighted cover pebbling number' of a weight function W and a connected graph G, defined by Crull et al. to be the smallest number m such that any distribution on G of m pebbles is a cover for W. Also, we prove a cover pebbling variant of Graham's Conjecture for pebbling.
Hypergraphs and a functional equation of Bouwkamp and de Bruijn
Published in Hypergraphs, hypertrees, and expansions of some formal power series, J. Combin. Theory Ser. A 110 (2005), 275-289
• View Publication
• BIB
We show that a 1969 result of Bouwkamp and de Bruijn on a formal power series expansion can be interpreted as the hypergraph analogue of the fact that every connected graph with n vertices has at least n-1 edges. We explain some of Bouwkamp and de Bruijn's formulas in terms of hypertrees and we use Lagrange inversion to count hypertrees by the number of vertices and the number of edges of a specified size.
The Floyd-WarshallAlgorithm and the Asymmetric TSP
We improve proofs in "The Floyd-Warshall Algorithm, the AP and the TSP (III). We also simplify the method for obtaining a good upper bound for an optimal solution.
Hopf algebras of endomorphisms of Hopf algebras
In the last decennia two generalizations of the Hopf algebra of symmetric functions have appeared and shown themselves important, the Hopf algebra of noncommutative symmetric functions NSymm and the Hopf algebra of quasisymmetric functions QSymm. It has also become clear that it is important to understand the noncommutative versions of such important structures as Symm the Hopf algebra of symmetric functions. Not least because the right noncommmutative versions are often more beautiful than the commutaive ones (not all cluttered up with counting coefficients). NSymm and QSymm are not truly the full noncommutative generalizations. One is maximally noncommutative but cocommutative, the other is maximally non cocommutative but commutative. There is a common, selfdual generalization, the Hopf algebra of permutations of Malvenuto, Poirier, and Reutenauer (MPR). This one is, I feel, best understood as a Hopf algebra of endomorphisms. In any case, this point of view suggests vast generalizations leading to the Hopf algebras of endomorphisms and word Hopf algebras with which this paper is concerned. This point of view also sheds light on the somewhat mysterious formulas of MPR and on the question where all the extra structure (such as autoduality) comes from. The paper concludes with a few sections on the structure of MPR and the question of algebra retractions of the natural inclusion of Hopf algebras of NSymm into MPR and section of the naural projection of MPR onto QSymm.
The primitives of the Hopf algebra of noncommutative symmetric functions
Published
• View Publication
• BIB
Let NSymm be the Hopf algebra of noncommutative symmetric functions over the integers. In this paper a description is given of its Lie algebra of primitives over the integers, Prim(NSymm), in terms of recursion formulas. For each of the primitives of a basis of Prim(NSymm), indexed by Lyndon words, there is a recursively given divided power series over it. This gives another proof of the theorem that the algebra of quasi-symmetric functions is free over the integers.