Showing 20 papers (Total: 82851 papers, 47869 authors in database)
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.
A strategy and a new operator to generate covariants in small characteristic
Published
• View Publication
• BIB
We present some new results about covariants in small characteristic. In section 1, we give a method to construct covariants using an approach similar to Sturmfels. We apply our method to find a separating system of covariants for binary quartic in characteristic 3. In the second section, we construct a new operator on covariants when the characteristic is small compared to the degree of the form.
Gentle introduction to Soergel bimodules I: The basics
Published
• View Publication
• BIB
This paper is the first of a series of introductory papers on the fascinating world of Soergel bimodules. It is combinatorial in nature and should be accessible to a broad audience. The objective of this paper is to help the reader feel comfortable calculating with Soergel bimodules and to explain some of the important open problems in the field. The motivations, history and relations to other fields will be developed in subsequent papers of this series.
Combinatorial distance geometry in normed spaces
Published in New Trends in Intuitive Geometry, Bolyai Soc. Math. Studies 27, Springer, 2018. pp.407--458
• View Publication
• BIB
We survey problems and results from combinatorial geometry in normed spaces, concentrating on problems that involve distances. These include various properties of unit-distance graphs, minimum-distance graphs, diameter graphs, as well as minimum spanning trees and Steiner minimum trees. In particular, we discuss translative kissing (or Hadwiger) numbers, equilateral sets, and the Borsuk problem in normed spaces. We show how to use the angular measure of Peter Brass to prove various statements about Hadwiger and blocking numbers of convex bodies in the plane, including some new results. We also include some new results on thin cones and their application to distinct distances and other combinatorial problems for normed spaces.
A Combinatorial Problem from Group Theory
Keller proposed a combinatorial conjecture on construction of an n-by-infinite matrix, which comes from showing the existence of many orbits of different sizes in certain linear group actions. He proved it for the case n=4, and we show that conjecture is true in the general case. We also propose a combinatorial game version of the conjecture which even further generalizes the problem.
The facets of the matroid polytope and the independent set polytope of a positroid
Published
• View Publication
• BIB
A positroid is a special case of a realizable matroid that arose from the study of the totally nonnegative part of the Grassmannian by Postnikov. In this paper, we study the facets of its matroid polytope and the independent set polytope. This allows one to describe the bases and independent sets directly from the decorated permutation, bypassing the use of the Grassmann necklace. We also describe a criterion for determining whether a given cyclic interval is a flat or not using the decorated permutation, then show how it applies to checking the concordancy of positroids.
Graphs with Extremal Connected Forcing Numbers
Zero forcing is an iterative graph coloring process where at each discrete time step, a colored vertex with a single uncolored neighbor forces that neighbor to become colored. The zero forcing number of a graph is the cardinality of the smallest set of initially colored vertices which forces the entire graph to eventually become colored. Connected forcing is a variant of zero forcing in which the initially colored set of vertices induces a connected subgraph; the analogous parameter of interest is the connected forcing number. In this paper, we characterize the graphs with connected forcing numbers 2 and $n-2$. Our results extend existing characterizations of graphs with zero forcing numbers 2 and $n-2$; we use combinatorial and graph theoretic techniques, in contrast to the linear algebraic approach used to obtain the latter. We also present several other structural results about the connected forcing sets of a graph.
On Hamilton Decompositions of Infinite Circulant Graphs
Published
• View Publication
• BIB
The natural infinite analogue of a (finite) Hamilton cycle is a two-way-infinite Hamilton path (connected spanning 2-valent subgraph). Although it is known that every connected $2k$-valent infinite circulant graph has a two-way-infinite Hamilton path, there exist many such graphs that do not have a decomposition into $k$ edge-disjoint two-way-infinite Hamilton paths. This contrasts with the finite case where it is conjectured that every $2k$-valent connected circulant graph has a decomposition into $k$ edge-disjoint Hamilton cycles. We settle the problem of decomposing $2k$-valent infinite circulant graphs into $k$ edge-disjoint two-way-infinite Hamilton paths for $k=2$, in many cases when $k=3$, and in many other cases including where the connection set is $\pm\{1,2,\ldots,k\}$ or $\pm\{1,2,\ldots,k-1,k+1\}$.