Showing 20 papers (Total: 82139 papers, 47531 authors in database)
The rotation distance of brooms
Published in European J. Combin. 118, 103877 (2024)
• View Publication
• BIB
The associahedron $\mathcal{A}(G)$ of a graph $G$ has the property that its vertices can be thought of as the search trees on $G$ and its edges as the rotations between two search trees. If $G$ is a simple path, then $\mathcal{A}(G)$ is the usual associahedron and the search trees on $G$ are binary search trees. Computing distances in the graph of $\mathcal{A}(G)$, or equivalently, the rotation distance between two binary search trees, is a major open problem. Here, we consider the different case when $G$ is a complete split graph. In that case, $\mathcal{A}(G)$ interpolates between the stellohedron and the permutohedron, and all the search trees on $G$ are brooms. We show that the rotation distance between any two such brooms and therefore the distance between any two vertices in the graph of the associahedron of $G$ can be computed in quasi-quadratic time in the number of vertices of $G$.
On sum-free subsets of abelian groups
Published
• View Publication
• BIB
In this paper we discuss some of the key properties of sum-free subsets of abelian groups. Our discussion has been designed with a broader readership in mind, and is hence not overly technical. We consider answers to questions like: how many sum-free subsets are there in a given abelian group $G$? what are its sum-free subsets of maximum cardinality? what is the maximum cardinality of these sum-free subsets? what does a typical sum-free subset of $G$ looks like? among others.
Restricted Chain-Order Polytopes via Combinatorial Mutations
Published
• View Publication
• BIB
We study restricted chain-order polytopes associated to Young diagrams using combinatorial mutations. These polytopes are obtained by intersecting chain-order polytopes with certain hyperplanes. The family of chain-order polytopes associated to a poset interpolate between the order and chain polytopes of the poset. Each such polytope retains properties of the order and chain polytope; for example its Ehrhart polynomial. For a fixed Young diagram, we show that all restricted chain-order polytopes are related by a sequence of combinatorial mutations. Since the property of giving rise to the period collapse phenomenon is invariant under combinatorial mutations, we provide a large class of rational polytopes that give rise to period collapse.
Cores of partitions in rectangles
Published in Electronic Journal of Combinatorics, Volume 31 no. 1, (2024) #P1.47, 14pp
• View Publication
• BIB
For a positive integer $t \geq 2$, the $t$-core of a partition plays an important role in modular representation theory and combinatorics. We initiate the study of $t$-cores of partitions contained in an $r \times s$ rectangle. Our main results are as follows. We first give a simple formula for the number of partitions in the rectangle that are themselves $t$-cores and compute its asymptotics for large $r,s$. We then prove that the number of partitions inside the rectangle whose $t$-cores are a fixed partition $ρ$ is given by a product of binomial coefficients. Finally, we use this formula to compute the distribution of the $t$-core of a uniformly random partition inside the rectangle extending our previous work on all partitions of a fixed integer $n$ (Ann. Appl. Prob. 2023). In particular, we show that in the limit as $r,s \to \infty$ maintaining a fixed aspect ratio, we again obtain a Gamma distribution with the same shape parameter $α= (t-1)/2$ and rate parameter $β$ that depends on the aspect ratio.
Cluster Expansions: T-walks, Labeled Posets and Matrix Calculations
Published in Journal of Algebra (2025), Volume 669, pp. 183-219
• View Publication
• BIB
We give two new combinatorial methods for computing cluster expansion formulas for arcs coming from possibly punctured surfaces. The first is by using $T$-walks, an extension of the $T$-path model for unpunctured surfaces to general surfaces. We also introduce a new way of generating $T$-paths. The second method is by using order ideals of labeled posets associated to arcs. We also use the theory of oriented posets to give a quick way to calculate the expressions using $2$ by $2$ matrices. The techniques introduced are applicable to different settings in cluster algebras and beyond.
A higgledy-piggledy set of planes based on the ABB-representation of linear sets
Published
• View Publication
• BIB
In this paper, we investigate the André/Bruck-Bose representation of certain $\mathbb{F}_q$-linear sets contained in a line of $\text{PG}(2,q^t)$. We show that scattered $\mathbb{F}_q$-linear sets of rank $3$ in $\text{PG}(1,q^3)$ correspond to particular hyperbolic quadrics and that $\mathbb{F}_q$-linear clubs in $\text{PG}(1,q^t)$ are linked to subspaces of a certain $2$-design based on normal rational curves; this design extends the notion of a circumscribed bundle of conics. Finally, we use these results to construct optimal higgledy-piggledy sets of planes in $\text{PG}(5,q)$.
Few hamiltonian cycles in graphs with one or two vertex degrees
Published
• View Publication
• BIB
We fully disprove a conjecture of Haythorpe on the minimum number of hamiltonian cycles in regular hamiltonian graphs, thereby extending a result of Zamfirescu, as well as correct and complement Haythorpe's computational enumerative results from [Experim. Math. 27 (2018) 426-430]. Thereafter, we use the Lovász Local Lemma to extend Thomassen's independent dominating set method. Regarding the limitations of this method, we answer a question of Haxell, Seamone, and Verstraete, and settle the first open case of a problem of Thomassen. Motivated by an observation of Aldred and Thomassen, we prove that for every $κ\in \{ 2, 3 \}$ and any positive integer $k$, there are infinitely many non-regular graphs of connectivity $κ$ containing exactly one hamiltonian cycle and in which every vertex has degree $3$ or $2k$.
Symmetric polynomials over finite fields
Published
• View Publication
• BIB
It is shown that two vectors with coordinates in the finite $q$-element field of characteristic $p$ belong to the same orbit under the natural action of the symmetric group if each of the elementary symmetric polynomials of degree $p^k,2p^k,\dots,(q-1)p^k$, $k=0,1,2,\dots$ has the same value on them. This separating set of polynomial invariants for the natural permutation representation of the symmetric group is not far from being minimal when $q=p$ and the dimension is large compared to $p$. A relatively small separating set of multisymmetric polynomials over the field of $q$ elements is derived.
The Orbit-Sum Method for Higher Order Equations
The orbit-sum method is an algebraic version of the reflection-principle that was introduced by Bousquet-Mélou and Mishna to solve functional equations that arise in the enumeration of lattice walks with small steps restricted to $\mathbb{N}^2$. It proceeds by computing a set of algebraic substitutions that can be applied to a given functional equation, forming a linear combination of its transformed versions to the end of eliminating some of the unknowns, and eliminating further unknowns by discarding terms with negative powers. The extension of the orbit-sum method to walks with large steps was started by Bostan, Bousquet-Mélou and Melczer. They presented an algorithm that computes the minimal polynomials of the algebraic substitutions. We continue their work by explaining, among other things, how to perform computations in their splitting field on the level of ``formal'' algebraic extensions and how its elements can be interpreted as series. We thereby make use of the primitive element theorem, Gröbner bases and the shape lemma, and the Newton-Puiseux algorithm.
Divisible linear rank metric codes
Published
• View Publication
• BIB
A subspace of matrices over $\mathbb{F}_{q^e}^{m\times n}$ can be naturally embedded as a subspace of matrices in $\mathbb{F}_q^{em\times en}$ with the property that the rank of any of its matrix is a multiple of $e$. It is quite natural to ask whether or not all subspaces of matrices with such a property arise from a subspace of matrices over a larger field. In this paper we explore this question, which corresponds to studying divisible codes in the rank metric. We determine some cases for which this question holds true, and describe counterexamples by constructing subspaces with this property which do not arise from a subspace of matrices over a larger field.
Lozenge Tilings of Hexagons with Intrusions I: Generalized Intrusion
Published
• View Publication
• BIB
MacMahon's classical theorem on the number of boxed plane partitions has been generalized in several directions. One way to generalize the theorem is to view boxed plane partitions as lozenge tilings of a hexagonal region and then generalize it by making some holes in the region and counting its tilings. In this paper, we provide new regions whose numbers of lozenges tilings are given by simple product formulas. The regions we consider can be obtained from hexagons by removing structures called intrusions. In fact, we show that the tiling generating functions of those regions under certain weights are given by similar formulas. These give the $q$-analogue of the enumeration results.
Geometrical Penrose Tilings are characterized by their 1-atlas
Published
• View Publication
• BIB
Rhombus Penrose tilings are tilings of the plane by two decorated rhombi such that the decoration match at the junction between two tiles (like in a jigsaw puzzle). In dynamical terms, they form a tiling space of finite type. If we remove the decorations, we get, by definition, a sofic tiling space that we here call geometrical Penrose tilings. Here, we show how to compute the patterns of a given size which appear in these tilings by two different method: one based on the substitutive structure of the Penrose tilings and the other on their definition by the cut and projection method. We use this to prove that the geometrical Penrose tilings are characterized by a small set of patterns called vertex-atlas, i.e., they form a tiling space of finite type. Though considered as folk, no complete proof of this result has been published, to our knowledge.
The q-Binomial Coefficient for Negative Arguments and Some q-Binomial Summation Identities
Using a property of the q-shifted factorial, an identity for q-binomial coefficients is proved, which is used to derive the formulas for the q-binomial coefficient for negative arguments. The result is in agreement with an earlier paper about the normal binomial coefficient for negative arguments. Some new q-binomial summation identities are derived, and the formulas for negative arguments transform some of these summation identities into each other. One q-binomial summation identity is transformed into a new q-binomial summation identity.
A few words about maps
Published
• View Publication
• BIB
In this paper, we survey some properties, encoding, and bijections involving combinatorial maps, double occurrence words, and chord diagrams. We particularly study quasi-trees from a purely combinatorial point of view and derive a topological representation of maps with a given spanning quasi-tree using two fundamental polygons, which extends the representation of planar maps based on the equivalence with bipartite circle graphs. Then, we focus on Depth-First Search trees and their connection with a poset we define on the spanning quasi-trees of a map. We apply the bijections obtained in the first section to the problem of enumerating loopless rooted maps. Finally, we return to the planar case and discuss a decomposition of planar rooted loopless maps and its consequences on planar rooted loopless map enumeration.
Local Irregularity Conjecture for 2-multigraphs versus cacti
Published
• View Publication
• BIB
A multigraph is locally irregular if the degrees of the end-vertices of every multiedge are distinct. The locally irregular coloring is an edge coloring of a multigraph $G$ such that every color induces a locally irregular submultigraph of $G$. A locally irregular colorable multigraph $G$ is any multigraph which admits a locally irregular coloring. We denote by ${\rm lir}(G)$ the locally irregular chromatic index of a multigraph $G$, which is the smallest number of colors required in the locally irregular coloring of the locally irregular colorable multigraph $G$. In case of graphs the definitions are similar. The Local Irregularity Conjecture for 2-multigraphs claims that for every connected graph $G$, which is not isomorphic to $K_2$, multigraph $^2G$ obtained from $G$ by doubling each edge satisfies ${\rm lir}(^2G)\leq 2$. We show this conjecture for cacti. This class of graphs is important for the Local Irregularity Conjecture for 2-multigraphs and the Local Irregularity Conjecture which claims that every locally irregular colorable graph $G$ satisfies ${\rm lir}(G)\leq 3$. At the beginning it has been observed that all not locally irregular colorable graphs are cacti. Recently it has been proved that there is only one cactus which requires 4 colors for a locally irregular coloring and therefore the Local Irregularity Conjecture was disproved.
The RED-BLUE SEPARATION problem on graphs
Published in Theoretical Computer Science 970:114061, 2023
• View Publication
• BIB
We introduce the Red-Blue Separation problem on graphs, where we are given a graph $G=(V,E)$ whose vertices are colored either red or blue, and we want to select a (small) subset $S \subseteq V$, called red-blue separating set, such that for every red-blue pair of vertices, there is a vertex $s \in S$ whose closed neighborhood contains exactly one of the two vertices of the pair. We study the computational complexity of Red-Blue Separation, in which one asks whether a given red-blue colored graph has a red-blue separating set of size at most a given integer. We prove that the problem is NP-complete even for restricted graph classes. We also show that it is always approximable in polynomial time within a factor of $2\ln n$, where $n$ is the input graph's order. In contrast, for triangle-free graphs and for graphs of bounded maximum degree, we show that Red-Blue Separation is solvable in polynomial time when the size of the smaller color class is bounded by a constant. However, on general graphs, we show that the problem is $W[2]$-hard even when parameterized by the solution size plus the size of the smaller color class. We also consider the problem Max Red-Blue Separation where the coloring is not part of the input. Here, given an input graph $G$, we want to determine the smallest integer $k$ such that, for every possible red-blue coloring of $G$, there is a red-blue separating set of size at most $k$. We derive tight bounds on the cardinality of an optimal solution of Max Red-Blue Separation, showing that it can range from logarithmic in the graph order, up to the order minus one. We also give bounds with respect to related parameters. For trees however we prove an upper bound of two-thirds the order. We then show that Max Red-Blue Separation is NP-hard, even for graphs of bounded maximum degree, but can be approximated in polynomial time within a factor of $O(\ln^2 n)$.
On the length of Pierce expansions
For a given positive integer $n$, how long can the process $x \mapsto n\text{ }(\text{mod } x)$ last before reaching $0$? We improve Erdős and Shallit's upper bound of $O(n^{\frac{1}{3}+\varepsilon})$ to $O(n^{\frac{1}{3}-\frac{2}{177}+\varepsilon})$ for any $\varepsilon > 0$.
Chainlink Polytopes and Ehrhart-Equivalence
Published in Annals of Combinatorics (2024), Vol 28, pp 1141-1166
• View Publication
• BIB
We introduce a class of polytopes that we call chainlink polytopes and which allow us to construct infinite families of pairs of non isomorphic rational polytopes with the same Ehrhart quasi-polynomial. Our construction is based on circular fence posets, which admit a non-obvious and non-trivial symmetry in their rank sequences that turns out to be reflected in the polytope level. We introduce the related class of chainlink posets and show that they exhibit the same symmetry properties. We further prove an outstanding conjecture on the unimodality of circular rank polynomials.
Acyclic colourings of graphs with obstructions
Published in SIAM Journal on Discrete Mathematics, 2025, vol. 39, no 1, p. 505-532
• View Publication
• BIB
Given a graph $G$, a colouring of $G$ is \emph{acyclic} if it is a proper colouring of $G$ and every cycle contains at least three colours. Its acyclic chromatic number $χ_a(G)$ is the minimum~$k$ such that an acyclic $k$-colouring of $G$ exists. When $G$ has maximum degree $Δ$, it is known that $χ_a(G) = \mathcal {O}(Δ^{4/3})$ as $Δ\to \infty$, and that $χ_a(G) = \mathcal {O}(\sqrt{t} \cdot Δ)$ if in addition $G$ does not contain $K_{2,t}$ as a subgraph. We study the extremal value of the acyclic chromatic number in the class of graphs of maximum degree $Δ$ that do not contain some fixed subgraph $F$ on $t$ vertices. We establish that this extremal value is at most $\mathcal {O}(t^{8/3}Δ^{2/3})$ if $F$ is a tree, $\mathcal {O}(\sqrt{t} \cdot Δ)$ if $F$ is bipartite and can be made acyclic with the removal of one vertex, $2Δ+ \mathcal {O}(tΔ^{2/3})$ if $F$ is an even cycle of length at least $6$, and $\mathcal {O}(t^{1/4}Δ^{5/4})$ if $F=K_{3,t}$. Moreover, we exhibit an infinite family of obstructions $F$ that each induces a different asymptotic behaviour for this extremal value. This is obtained with the derivation of lower bounds that come from the analysis of the acyclic chromatic number of a random graph drawn from either $G(n,p)$ or $G(n,n,p)$, that we entirely determine up to a ${\rm polylog}(n)$ factor. As a byproduct, we can certify that most of our results are tight up to a $Δ^{\mathcal{O}(1/t)}$ factor.
A choiceless box game paradox
We identify a choiceless variation of the box game paradox, in which players predict unknown real numbers with near-perfect accuracy despite lacking any useful information. We also verify that choice is necessary in the solution of the original problem and consider some further variations of the game.