Showing 20 papers (Total: 81680 papers, 47334 authors in database)
Enumeration formulas for Young tableaux in a diagonal strip
Published
• View Publication
• BIB
We derive combinatorial identities, involving the Bernoulli and Euler numbers, for the numbers of standard Young tableaux of certain skew shapes. This generalizes the classical formulas of D. Andre on the number of up-down permutations. The analysis uses a transfer operator approach extending the method of Elkies, combined with an identity expressing the volume of a certain polytope in terms of a Schur function.
Double Clustering and Graph Navigability
Graphs are called navigable if one can find short paths through them using only local knowledge. It has been shown that for a graph to be navigable, its construction needs to meet strict criteria. Since such graphs nevertheless seem to appear in nature, it is of interest to understand why these criteria should be fulfilled.
In this paper we present a simple method for constructing graphs based on a model where nodes vertices are ``similar'' in two different ways, and tend to connect to those most similar to them - or cluster - with respect to both. We prove that this leads to navigable networks for several cases, and hypothesize that it also holds in great generality. Enough generality, perhaps, to explain the occurrence of navigable networks in nature.
Phylogenetic networks form partial trees
A contemporary and fundamental problem faced by many evolutionary biologists is how to puzzle together a collection $\mathcal P$ of partial trees (leaf-labelled trees whose leaves are bijectively labelled by species or, more generally, taxa, each supported by e. g. a gene) into an overall parental structure that displays all trees in $\mathcal P$. This already difficult problem is complicated by the fact that the trees in $\mathcal P$ regularly support conflicting phylogenetic relationships and are not on the same but only overlapping taxa sets. A desirable requirement on the sought after parental structure therefore is that it can accommodate the observed conflicts. Phylogenetic networks are a popular tool capable of doing precisely this. However, not much is known about how to construct such networks from partial trees, a notable exception being the $Z$-closure super-network approach and the recently introduced $Q$-imputation approach. Here, we propose the usage of closure rules to obtain such a network. In particular, we introduce the novel $Y$-closure rule and show that this rule on its own or in combination with one of Meacham's closure rules (which we call the $M$-rule) has some very desirable theoretical properties. In addition, we use the $M$- and $Y$-rule to explore the dependency of Rivera et al.'s ``ring of life'' on the fact that the underpinning phylogenetic trees are all on the same data set. Our analysis culminates in the presentation of a collection of induced subtrees from which this ring can be reconstructed.
$\mathbb{Z}_{2}^{2}$-cordiality of complete and complete bipartite graphs
We prove that $K_{n}$ is $\mathbb{Z}_{2}^{2}$-cordial if and only if $1 \leq n \leq 3$ and that $K_{m,n}$ is $\mathbb{Z}_{2}^{2}$ if and only if it is false that $m=n=2$.
Equivalences on Acyclic Orientations
The cyclic and dihedral groups can be made to act on the set Acyc(Y) of acyclic orientations of an undirected graph Y, and this gives rise to the equivalence relations ~kappa and ~delta, respectively. These two actions and their corresponding equivalence classes are closely related to combinatorial problems arising in the context of Coxeter groups, sequential dynamical systems, the chip-firing game, and representations of quivers.
In this paper we construct the graphs C(Y) and D(Y) with vertex sets Acyc(Y) and whose connected components encode the equivalence classes. The number of connected components of these graphs are denoted kappa(Y) and delta(Y), respectively. We characterize the structure of C(Y) and D(Y), show how delta(Y) can be derived from kappa(Y), and give enumeration results for kappa(Y). Moreover, we show how to associate a poset structure to each kappa-equivalence class, and we characterize these posets. This allows us to create a bijection from Acyc(Y)/~kappa to the union of Acyc(Y')/~kappa and Acyc(Y'')/~kappa, Y' and Y'' denote edge deletion and edge contraction for a cycle-edge in Y, respectively, which in turn shows that kappa(Y) may be obtained by an evaluation of the Tutte polynomial at (1,0).
Symmetry classes connected with the magnetic Heisenberg ring
Published
• View Publication
• BIB
We define symmetry classes and commutation symmetries in the Hilbert space H of the 1D spin-1/2 Heisenberg magnetic ring with N sites and investigate them by means of tools from the representation theory of symmetric groups S_N such as decompositions of ideals of the group ring C[S_N], idempotents of C[S_N], discrete Fourier transforms of S_N, Littlewood-Richardson products. In particular, we determine smallest symmetry classes and stability subgroups of both single eigenvectors v and subspaces U of eigenvectors of the Hamiltonian of the magnet. The determination of the smallest symmetry class for U bases on an algorithm which calculates explicitely a generating idempotent for a non-direct sum of right ideals of C[S_N]. Let U be a subspace of eigenvectors of a a fixed eigenvalue μof the Hamiltonian with weight (r_1,r_2). If one determines the smallest symmetry class for every v in U then one can observe jumps of the symmetry behaviour. For ''generic'' v all smallest symmetry classes have the same maximal dimension d and structure. But U can contain linear subspaces on which the dimension of the smallest symmetry class of v jumps to a value smaller than d. Then the stability subgroup of v can increase. We can calculate such jumps explicitely. In our investigations we use computer calculations by means of the Mathematica packages PERMS and HRing.
The Ramsey number for a triple of large cycles
Published in Combinatorica 38 (4) (2018) 827-845
• View Publication
• BIB
We find the asymptotic value of the Ramsey number for a triple of long cycles, where the lengths of the cycles are large but may have different parity.
G-functions and multisum versus holonomic sequences
Published
• View Publication
• BIB
The purpose of the paper is three-fold: (a) we prove that every sequence which is a multidimensional sum of a balanced hypergeometric term has an asymptotic expansion of Gevrey type-1 with rational exponents, (b) we construct a class of $G$-functions that come from enumerative combinatorics, and (c) we give a counterexample to a question of Zeilberger that asks whether holonomic sequences can be written as multisums of balanced hypergeometric terms. The proofs utilize the notion of a $G$-function, introduced by Siegel, and its analytic/arithmetic properties shown recently by André.
Conjugates of characteristic Sturmian words generated by morphisms
Published in European Journal of Combinatorics 25 (2004) 1025-1037
• View Publication
• BIB
This article is concerned with characteristic Sturmian words of slope $α$ and $1-α$ (denoted by $c_α$ and $c_{1-α}$ respectively), where $α\in (0,1)$ is an irrational number such that $α= [0;1+d_1,\bar{d_2,...,d_n}]$ with $d_n \geq d_1 \geq 1$. It is known that both $c_α$ and $c_{1-α}$ are fixed points of non-trivial (standard) morphisms $σ$ and $\hatσ$, respectively, if and only if $α$ has a continued fraction expansion as above. Accordingly, such words $c_α$ and $c_{1-α}$ are generated by the respective morphisms $σ$ and $\hatσ$. For the particular case when $α= [0;2,\bar{r}]$ ($r\geq1$), we give a decomposition of each conjugate of $c_α$ (and hence $c_{1-α}$) into generalized adjoining singular words, by considering conjugates of powers of the standard morphism $σ$ by which it is generated. This extends a recent result of Levé and S\ee bold on conjugates of the infinite Fibonacci word.
Occurrences of palindromes in characteristic Sturmian words
Published in Theoretical Computer Science 352 (2006) 31-46
• View Publication
• BIB
This paper is concerned with palindromes occurring in characteristic Sturmian words $c_α$ of slope $α$, where $α\in (0,1)$ is an irrational. As $c_α$ is a uniformly recurrent infinite word, any (palindromic) factor of $c_α$ occurs infinitely many times in $c_α$ with bounded gaps. Our aim is to completely describe where palindromes occur in $c_α$. In particular, given any palindromic factor $u$ of $c_α$, we shall establish a decomposition of $c_α$ with respect to the occurrences of $u$. Such a decomposition shows precisely where $u$ occurs in $c_α$, and this is directly related to the continued fraction expansion of $α$.
On the Gröbner complexity of matrices
Published
• View Publication
• BIB
In this paper we show that if for an integer matrix A the universal Gröbner basis of the associated toric ideal \Ideal_A coincides with the Graver basis of A, then the Gröbner complexity u(A) and the Graver complexity g(A) of its higher Lawrence liftings agree, too. We conclude that for the matrices A_{3\times 3} and A_{3\times 4}, defining the 3\times 3 and 3\times 4 transportation problems, we have u(A_{3\times 3})=g(A_{3\times 3})=9 and u(A_{3\times 4})=g(A_{3\times 4})\geq 27. Moreover, we prove u(A_{a,b})=g(A_{a,b})=2(a+b)/\gcd(a,b) for positive integers a,b and A_{a,b}=(\begin{smallmatrix} 1 & 1 & 1 & 1 0 & a & b & a+b \end{smallmatrix}).
Powers in a class of A-strict standard episturmian words
Published in Theoretical Computer Science 380 (2007) 330-354
• View Publication
• BIB
This paper concerns a specific class of strict standard episturmian words whose directive words resemble those of characteristic Sturmian words. In particular, we explicitly determine all integer powers occurring in such infinite words, extending recent results of Damanik and Lenz (2003), who studied powers in Sturmian words. The key tools in our analysis are canonical decompositions and a generalization of singular words, which were originally defined for the ubiquitous Fibonacci word. Our main results are demonstrated via some examples, including the $k$-bonacci word: a generalization of the Fibonacci word to a $k$-letter alphabet ($k\geq2$).
The largest component in a subcritical random graph with a power law degree distribution
Published in Annals of Applied Probability 2008, Vol. 18, No. 4, 1651-1668
• View Publication
• BIB
It is shown that in a subcritical random graph with given vertex degrees satisfying a power law degree distribution with exponent $γ>3$, the largest component is of order $n^{1/(γ-1)}$. More precisely, the order of the largest component is approximatively given by a simple constant times the largest vertex degree. These results are extended to several other random graph models with power law degree distributions. This proves a conjecture by Durrett.
A characterization of fine words over a finite alphabet
Published in Theoretical Computer Science 391 (2008) 51-60
• View Publication
• BIB
To any infinite word w over a finite alphabet A we can associate two infinite words min(w) and max(w) such that any prefix of min(w) (resp. max(w)) is the lexicographically smallest (resp. greatest) amongst the factors of w of the same length. We say that an infinite word w over A is "fine" if there exists an infinite word u such that, for any lexicographic order, min(w) = au where a = min(A). In this paper, we characterize fine words; specifically, we prove that an infinite word w is fine if and only if w is either a "strict episturmian word" or a strict "skew episturmian word''. This characterization generalizes a recent result of G. Pirillo, who proved that a fine word over a 2-letter alphabet is either an (aperiodic) Sturmian word, or an ultimately periodic (but not periodic) infinite word, all of whose factors are (finite) Sturmian.
Characterizations of finite and infinite episturmian words via lexicographic orderings
Published in European Journal of Combinatorics 29 (2008) 45-58
• View Publication
• BIB
In this paper, we characterize by lexicographic order all finite Sturmian and episturmian words, i.e., all (finite) factors of such infinite words. Consequently, we obtain a characterization of infinite episturmian words in a "wide sense" (episturmian and episkew infinite words). That is, we characterize the set of all infinite words whose factors are (finite) episturmian. Similarly, we characterize by lexicographic order all balanced infinite words over a 2-letter alphabet; in other words, all Sturmian and skew infinite words, the factors of which are (finite) Sturmian.
Freeness with amalgamation, limit theorems and S-transform in non-commutative probability spaces of type B
Published
• View Publication
• BIB
The present material addresses several problems left open in the Trans. AMS paper " Non-crossing cumulants of type B" of P. Biane, F. Goodman and A. Nica. The main result is that a type B non-commutative probability space can be studied in the framework of freeness with amalgamation. This view allows easy ways of constructing a version of the S-transform as well as proving analogue results to Central Limit Theorem and Poisson Limit Theorem.
External edge condition and group cohomologies associated with the quantum Clebsch-Gordan condition
Published
• View Publication
• BIB
In this article we determine the structure of a twisted first cohomology group of the first homology of a trivalent graph with a coefficient associated with the quantum Clebsch-Gordan condition. As an application we give a characterization of a combinatorial property, the external edge condition, which is defined by the author in the study of the Heisenberg representation on the TQFT-module.
Partial magmatic bialgebras
Published in Homology, Homotopy Appl. 10 (2008), no.2, 59-81
• View Publication
• BIB
A partial magmatic bialgebra, (T;S)-magmatic bialgebra where T \subset S are subsets of the set of positive integers, is a vector space endowed with an n-ary operation for each n in S and an m-ary co-operation for each m in T satisfying some compatibility and unitary relations. We prove an analogue of the Poincaré-Birkhoff-Witt theorem for these partial magmatic bialgebras.
On the quiver of the descent algebra
Published
• View Publication
• BIB
We study the quiver of the descent algebra of a finite Coxeter group W. The results include a derivation of the quiver of the descent algebra of types A and B. Our approach is to study the descent algebra as an algebra constructed from the reflection arrangement associated to W.
The Loewy length of the descent algebra of type D
Published
• View Publication
• BIB
The Loewy length of the descent algebra of type D_{2m+1} is shown to be m+2, for m \geq 2, by providing an upper bound that agrees with the lower bound in \cite{BonnafePfeiffer2006}. The bound is obtained by showing that the length of the longest path in the quiver of the descent algebra of D_{2m+1} is at most m+1. To achieve this bound, the geometric approach to the descent algebra is used, in which the descent algebra of a finite Coxeter group is identified with an algebra associated to the reflection arrangement of the group.