Showing 20 papers (Total: 84253 papers, 48533 authors in database)
On the poset and asymptotics of Tesler Matrices
Tesler matrices are certain integral matrices counted by the Kostant partition function and have appeared recently in Haglund's study of diagonal harmonics. In 2014, Drew Armstrong defined a poset on such matrices and conjectured that the characteristic polynomial of this poset is a power of $(q-1)$. We use a method of Hallam and Sagan to prove a stronger version of this conjecture for posets of a certain class of generalized Tesler matrices. We also study bounds for the number of Tesler matrices and how they compare to the number of parking functions, the dimension of the space of diagonal harmonics.
Multiplication of a Schubert polynomial by a Stanley symmetric polynomial
We prove, combinatorially, that the product of a Schubert polynomial by a Stanley symmetric polynomial is a truncated Schubert polynomial. Using Monk's rule, we derive a nonnegative combinatorial formula for the Schubert polynomial expansion of a truncated Schubert polynomial. Combining these results, we give a nonnegative combinatorial rule for the product of a Schubert and a Schur polynomial in the Schubert basis.
Reconstructing unrooted phylogenetic trees from symbolic ternary metrics
In 1998, Böcker and Dress gave a 1-to-1 correspondence between symbolically dated rooted trees and symbolic ultrametrics. We consider the corresponding problem for unrooted trees. More precisely, given a tree $T$ with leaf set $X$ and a proper vertex colouring of its interior vertices, we can map every triple of three different leaves to the colour of its median vertex. We characterise all ternary maps that can be obtained in this way in terms of 4- and 5-point conditions, and we show that the corresponding tree and its colouring can be reconstructed from a ternary map that satisfies those conditions. Further, we give an additional condition that characterises whether the tree is binary, and we describe an algorithm that reconstructs general trees in a bottom-up fashion.
Decomposing Weighted Graphs
Published
• View Publication
• BIB
We solve the following problem: Can an undirected weighted graph G be parti- tioned into two non-empty induced subgraphs satisfying minimum constraints for the sum of edge weights at vertices of each subgraph? We show that this is possible for all constraints a(x), b(x) satisfying d_G(x) >= a(x) + b(x) + 2W_G(x), for every vertex x, where d_G(x), W_G(x) are, respectively, the sum and maximum of incident edge weights.
Operads of decorated cliques
The vector space of all polygons with configurations of diagonals is endowed with an operad structure. This is the consequence of a functorial construction $\mathsf{C}$ introduced here, which takes unitary magmas $\mathcal{M}$ as input and produces operads. The obtained operads involve regular polygons with configurations of arcs labeled on $\mathcal{M}$, called $\mathcal{M}$-decorated cliques and generalizing usual polygons with configurations of diagonals. We provide here a complete study of the operads $\mathsf{C}\mathcal{M}$. By considering combinatorial subfamilies of $\mathcal{M}$-decorated cliques defined, for instance, by limiting the maximal number of crossing diagonals or the maximal degree of the vertices, we obtain suboperads and quotients of $\mathsf{C}\mathcal{M}$. This leads to a new hierarchy of operads containing, among others, operads on noncrossing configurations, Motzkin configurations, forests, dissections of polygons, and involutions. We show that the suboperad of noncrossing configurations is Koszul and exhibit its presentation by generators and relations. Besides, the construction $\mathsf{C}$ leads to alternative definitions of several operads, like the operad of bicolored noncrossing configurations and the operads of simple and double multi-tildes.
Braid group symmetries of Grassmannian cluster algebras
Published
• View Publication
• BIB
We define an action of the extended affine d-strand braid group on the open positroid stratum in the Grassmannian Gr(k,n), for d the greatest common divisor of k and n. The action is by quasi-automorphisms of the cluster structure on the Grassmannian, determining a homomorphism from the extended affine braid group to the cluster modular group. We also define a quasi-isomorphism between the Grassmannian Gr(k,rk) and the Fock-Goncharov configuration space of 2r-tuples of affine flags for SL(k). This identifies the cluster variables, clusters, and cluster modular groups, in these two cluster structures.
Fomin and Pylyavskyy proposed a description of the cluster combinatorics for Gr(3,n) in terms of Kuperberg's basis of non-elliptic webs. As our main application, we prove many of their conjectures for Gr(3,9) and give a presentation for its cluster modular group. We establish similar results for Gr(4,8). These results rely on the fact that both of these Grassmannians have finite mutation type.
Random Triangles and Polygons in the Plane
Published in The American Mathematical Monthly 126 (2019), no. 2, 113-134
• View Publication
• BIB
We consider the problem of finding the probability that a random triangle is obtuse, which was first raised by Lewis Caroll. Our investigation leads us to a natural correspondence between plane polygons and the Grassmann manifold of 2-planes in real $n$-space proposed by Allen Knutson and Jean-Claude Hausmann. This correspondence defines a natural probability measure on plane polygons. In these terms, we answer Caroll's question. We then explore the Grassmannian geometry of planar quadrilaterals, providing an answer to Sylvester's four-point problem, and describing explicitly the moduli space of unordered quadrilaterals. All of this provides a concrete introduction to a family of metrics used in shape classification and computer vision.
The anti-spherical category
Published
• View Publication
• BIB
We study a diagrammatic categorification (the "anti-spherical category") of the anti-spherical module for any Coxeter group. We deduce that Deodhar's (sign) parabolic Kazhdan-Lusztig polynomials have non-negative coefficients, and that a monotonicity conjecture of Brenti's holds. The main technical observation is a localisation procedure for the anti-spherical category, from which we construct a "light leaves" basis of morphisms. Our techniques may be used to calculate many new elements of the $p$-canonical basis in the anti-spherical module.
On likely solutions of the stable matching problem with unequal numbers of men and women
Published
• View Publication
• BIB
Following up a recent work by Ashlagi, Kanoria and Leshno, we study a stable matching problem with unequal numbers of men and women, and independent uniform preferences. The asymptotic formulas for the expected number of stable matchings, and for the probabilities of one point--concentration for the range of husbands' total ranks and for the range of wives' total ranks are obtained.
Transfinite Version of Welter's Game
We study the transfinite version of Welter's Game, a combinatorial game played on a belt divided into squares numbered with general ordinal. In particular, we give a straight-forward solution for the transfinite version, based on those of the transfinite version of Nim and the original version of Welter's Game.
Shifted tableau switchings and shifted Littlewood-Richardson coefficients
We provide two shifted analogues of the tableau switching process due to Benkart, Sottile, and Stroomer, the shifted tableau switching process and the modified shifted tableau switching process. They are performed by applying a sequence of specially contrived elementary transformations called {\em switches} and turn out to have some spectacular properties. For instance, the maps induced from these algorithms are involutive and behave very nicely with respect to shifted Young tableaux whose reading words satisfy the lattice property. As an application, we give combinatorial interpretations of Schur $P$- and $Q$-function identities. We also demonstrate the relationship between the shifted tableau switching process and the shifted $J$-operation due to Worley.
Musical intervals under 12-note equal temperament: a geometrical interpretation
Published in Applied Mathematical Sciences, Vol. 11, 2017, no. 3, 101 - 152
• View Publication
• BIB
Musical intervals in multiple of semitones under 12-note equal temperament, or more specifically pitch-class subsets of assigned cardinality ($n$-chords) are conceived as positive integer points within an Euclidean $n$-space. The number of distinct $n$-chords is inferred from combinatorics with the extension to $n=0$, involving an Euclidean 0-space. The number of repeating $n$-chords, or points which are turned into themselves during a circular permutation, $T_n$, of their coordinates, is inferred from algebraic considerations. Finally, the total number of $n$-chords and the number of $T_n$ set classes are determined. Palindrome and pseudo palindrome $n$-chords are defined and included among repeating $n$-chords, with regard to an equivalence relation, $T_n/T_nI$, where reflection is added to circular permutation. To this respect, the number of $T_n$ set classes is inferred concerning palindrome and pseudo palindrome $n$-chords and the remaining $n$-chords. The above results are reproduced within the framework of a geometrical interpretation, where positive integer points related to $n$-chords of cardinality, $n$, belong to a regular inclined $n$-hedron, $Ψ_{12}^n$, the vertexes lying on the coordinate axes of a Cartesian orthogonal reference frame at a distance, $x_i=12$, $1\le i\le n$, from the origin. Considering $Ψ_{12}^n$ as special cases of lattice polytopes, the number of related nonnegative integer points is also determined for completeness. A comparison is performed with the results inferred from group theory.
Leaf-reconstructibility of phylogenetic networks
Published
• View Publication
• BIB
An important problem in evolutionary biology is to reconstruct the evolutionary history of a set $X$ of species. This history is often represented as a phylogenetic network, that is, a connected graph with leaves labelled by elements in $X$ (for example, an evolutionary tree), which is usually also binary, i.e. all vertices have degree 1 or 3. A common approach used in phylogenetics to build a phylogenetic network on $X$ involves constructing it from networks on subsets of $X$. Here we consider the question of which (unrooted) phylogenetic networks are leaf-reconstructible, i.e. which networks can be uniquely reconstructed from the set of networks obtained from it by deleting a single leaf (its $X$-deck). This problem is closely related to the (in)famous reconstruction conjecture in graph theory but, as we shall show, presents distinct challenges. We show that some large classes of phylogenetic networks are reconstructible from their $X$-deck. This includes phylogenetic trees, binary networks containing at least one non-trivial cut-edge, and binary level-4 networks (the level of a network measures how far it is from being a tree). We also show that for fixed $k$, almost all binary level-$k$ phylogenetic networks are leaf-reconstructible. As an application of our results, we show that a level-3 network $N$ can be reconstructed from its quarnets, that is, 4-leaved networks that are induced by $N$ in a certain recursive fashion. Our results lead to several interesting open problems which we discuss, including the conjecture that all phylogenetic networks with at least five leaves are leaf-reconstructible.
Binets: fundamental building blocks for phylogenetic networks
Published
• View Publication
• BIB
Phylogenetic networks are a generalization of evolutionary trees that are used by biologists to represent the evolution of organisms which have undergone reticulate evolution. Essentially, a phylogenetic network is a directed acyclic graph having a unique root in which the leaves are labelled by a given set of species. Recently, some approaches have been developed to construct phylogenetic networks from collections of networks on 2- and 3-leaved networks, which are known as binets and trinets, respectively. Here we study in more depth properties of collections of binets, one of the simplest possible types of networks into which a phylogenetic network can be decomposed. More specifically, we show that if a collection of level-1 binets is compatible with some binary network, then it is also compatible with a binary level-1 network. Our proofs are based on useful structural results concerning lowest stable ancestors in networks. In addition, we show that, although the binets do not determine the topology of the network, they do determine the number of reticulations in the network, which is one of its most important parameters. We also consider algorithmic questions concerning binets. We show that deciding whether an arbitrary set of binets is compatible with some network is at least as hard as the well-known Graph Isomorphism problem. However, if we restrict to level-1 binets, it is possible to decide in polynomial time whether there exists a binary network that displays all the binets. We also show that to find a network that displays a maximum number of the binets is NP-hard, but that there exists a simple polynomial-time 1/3-approximation algorithm for this problem. It is hoped that these results will eventually assist in the development of new methods for constructing phylogenetic networks from collections of smaller networks.
Paley and the Paley graphs
Published
• View Publication
• BIB
This paper discusses some aspects of the history of the Paley graphs and their automorphism groups.
Conjugation of Transitive Permutation Pairs and Dessins d'Enfants
Let E be a finite set. Given permutations x and y of E that together generate a transitive subgroup, for which s is it true that x and the conjugate of y by s also generate a transitive subgroup? Such transitive permutation pairs encode dessins d'enfants, important graph-theoretic objects which are also known to have great arithmetic significance. The absolute Galois group acts on dessins d'enfants and permutes them in a very mysterious way. Two dessins d'enfants that share certain elementary combinatorial features are related by conjugations as above, and dessins d'enfants in the same Galois-orbit share these features and more, so it seems worthwhile to have a good answer to the above question. I classify, relative to x and y, exactly those transpositions s for which the new pair is guaranteed to be transitive. I also provide examples of the "exceptional" s which show the range of possible behavior and prove that the above question for the exceptional cases is equivalent to a natural question about deletion in graphs that may have a good answer in this more structured world of topological graphs. Finally, I classify transpositions s according to how they change the genus of the surface underlying the dessin d'enfant of x, y. Some of the tools, like the Reroute Operation/Theorem, may have use beyond Dessins d'Enfants.
Regular pseudo-hyperovals and regular pseudo-ovals in even characteristic
Published in Innov. Incidence Geom. 17 (2019) 77-84
• View Publication
• BIB
S. Rottey and G. Van de Voorde characterized regular pseudo-ovals of PG(3n - 1, q), q = 2^h, h >1 and n prime. Here an alternative proof is given and slightly stronger results are obtained.
The list chromatic number of graphs with small clique number
Published
• View Publication
• BIB
We prove that every triangle-free graph with maximum degree $Δ$ has list chromatic number at most $(1+o(1))\fracΔ{\ln Δ}$. This matches the best-known bound for graphs of girth at least 5. We also provide a new proof that for any $r\geq 4$ every $K_r$-free graph has list-chromatic number at most $200r\frac{Δ\ln\lnΔ}{\lnΔ}$.
Periods of iterations of functions with restricted preimage sizes
Published
• View Publication
• BIB
We consider random mappings on n = kr nodes with preimage sizes restricted to a set of the form {0,k}, where k = k(r) is greater than 1. We prove that T, the least common multiple of the cycle lengths, and B= the product of the cycle lengths, are both asymptotically lognormal. The expected values of these random variables are also also estimated and compared with numerical results. This work is motivated, in part, by the use of these mappings as heuristic models for polynomials of the form x^k + a over the integers modulo p with p congruent to 1 mod k.
Power monoids: A bridge between Factorization Theory and Arithmetic Combinatorics
Published in Journal of Algebra, Vol. 512 (Oct 2018), pp. 252-294
• View Publication
• BIB
We extend a few fundamental aspects of the classical theory of non-unique factorization, as presented in Geroldinger and Halter-Koch's 2006 monograph on the subject, to a non-commutative and non-cancellative setting, in the same spirit of Baeth and Smertnig's work on the factorization theory of non-commutative, but cancellative monoids [J. Algebra 441 (2015), 475-551]. Then, we bring in power monoids and, applying the abstract machinery developed in the first part, we undertake the study of their arithmetic.
More in particular, let $H$ be a multiplicatively written monoid. The set $\mathcal P_{\rm fin}(H)$ of all non-empty finite subsets of $H$ is naturally made into a monoid, which we call the power monoid of $H$ and is non-cancellative unless $H$ is trivial, by endowing it with the operation $(X,Y) \mapsto \{xy: (x,y) \in X \times Y\}$. Power monoids are, in disguise, one of the primary objects of interest in arithmetic combinatorics, and here for the first time we tackle them from the perspective of factorization theory. Proofs lead to consider various properties of finite subsets of $\mathbf N$ that can or cannot be split into a sumset in a non-trivial way, which gives rise to a rich interplay with additive number theory.