Showing 20 papers (Total: 82311 papers, 47607 authors in database)
On the cartesian product of well-orderings
Published
• View Publication
• BIB
The width of a well partial ordering (wpo) is the ordinal rank of the set of its antichains ordered by inclusion. We compute the width of wpos obtained as cartesian products of finitely many well-orderings.
Counterexamples to the characterisation of graphs with equal independence and annihilation number
Published
• View Publication
• BIB
We disprove the characterisation of graphs with equal independence and annihilation number by Larson and Pepper (2011). Series of counterexamples with arbitrary number of vertices, arbitrary number of components, arbitrary large independence number and arbitrary large difference between the critical and the regular independence number are provided. Furthermore, we point out the error in the proof of the theorem. However, we show that the theorem still holds for bipartite graphs and connected claw-free graphs.
Hypergraph removal with polynomial bounds
Published in Math. Proc. Camb. Phil. Soc. 178 (2025) 321-330
• View Publication
• BIB
Given a fixed $k$-uniform hypergraph $F$, the $F$-removal lemma states that every hypergraph with few copies of $F$ can be made $F$-free by the removal of few edges. Unfortunately, for general $F$, the constants involved are given by incredibly fast-growing Ackermann-type functions. It is thus natural to ask for which $F$ one can prove removal lemmas with polynomial bounds. One trivial case where such bounds can be obtained is when $F$ is $k$-partite. Alon proved that when $k=2$ (i.e. when dealing with graphs), only bipartite graphs have a polynomial removal lemma. Kohayakawa, Nagle and Rödl conjectured in 2002 that Alon's result can be extended to all $k>2$, namely, that the only $k$-graphs $F$ for which the hypergraph removal lemma has polynomial bounds are the trivial cases when $F$ is $k$-partite. In this paper we prove this conjecture.
Graphs of bounded twin-width are quasi-polynomially $χ$-bounded
Published
• View Publication
• BIB
We prove that for every $t\in \mathbb{N}$ there is a constant $γ_t$ such that every graph with twin-width at most $t$ and clique number $ω$ has chromatic number bounded by $2^{γ_t \log^{4t+3} ω}$. In other words, we prove that graph classes of bounded twin-width are quasi-polynomially $χ$-bounded. This provides a significant step towards resolving the question of Bonnet et al. [ICALP 2021] about whether they are polynomially $χ$-bounded.
$q$-deformed rational numbers and the 2-Calabi--Yau category of type $A_2$
Published
• View Publication
• BIB
We describe a family of compactifications of the space of Bridgeland stability conditions of any triangulated category following earlier work by Bapat, Deopurkar, and Licata. We particularly consider the case of the 2-Calabi--Yau category of the $A_2$ quiver. The compactification is the closure of an embedding (depending on $q$) of the stability space into an infinite-dimensional projective space.
In the $A_2$ case, the three-strand braid group $B_3$ acts on this closure. We describe two distinguished braid group orbits in the boundary, points of which can be identified with certain rational functions in $q$. Points in one of the orbits are exactly the $q$-deformed rational numbers recently introduced by Morier-Genoud and Ovsienko, while the other orbit gives a new $q$-deformation of the rational numbers. Specialising $q$ to a positive real number, we obtain a complete description of the boundary of the compactification.
Second Best, Third Worst, Fourth in Line
We investigate decomposable combinatorial labeled structures more fully, focusing on the exp-log class of type a=1 or 1/2. For instance, the modal length of the second longest cycle in a random n-permutation is (0.2350...)n, whereas the modal length of the second smallest component in a random n-mapping is 2 (conjecturally, given n>=434). As in earlier work, our approach is to establish how well existing theory matches experimental data and to raise open questions.
A generalization of a theorem about gapsets with depth at most three
Published in Involve 16 (2023) 313-319
• View Publication
• BIB
In this paper, we provide a generalization of a theorem proved by Eliahou and Fromentin, which exhibit a remarkable property of the sequence $(n'_g)$, where $n'_g$ denotes the number of gapsets with genus $g$ and depth at most $3$.
A new discrete theory of pseudoconvexity
Published in Discrete Mathematics & Theoretical Computer Science, vol. 25:1, Combinatorics (May 3, 2023) dmtcs:9255
• View Publication
• BIB
Recently geometric hypergraphs that can be defined by intersections of pseudohalfplanes with a finite point set were defined in a purely combinatorial way. This led to extensions of earlier results about points and halfplanes to pseudohalfplanes, including polychromatic colorings and discrete Helly-type theorems about pseudohalfplanes.
Here we continue this line of research and introduce the notion of convex sets of such pseudohalfplane hypergraphs. In this context we prove several results corresponding to classical results about convexity, namely Helly's Theorem, Carathéodory's Theorem, Kirchberger's Theorem, Separation Theorem, Radon's Theorem and the Cup-Cap Theorem. These results imply the respective results about pseudoconvex sets in the plane defined using pseudohalfplanes.
It turns out that most of our results can be also proved using oriented matroids and topological affine planes (TAPs) but our approach is different from both of them. Compared to oriented matroids, our theory is based on a linear ordering of the vertex set which makes our definitions and proofs quite different and perhaps more elementary. Compared to TAPs, which are continuous objects, our proofs are purely combinatorial and again quite different in flavor. Altogether, we believe that our new approach can further our understanding of these fundamental convexity results.
Combinatorial Exploration: An algorithmic framework for enumeration
Published
• View Publication
• BIB
Combinatorial Exploration is a new domain-agnostic algorithmic framework to automatically and rigorously study the structure of combinatorial objects and derive their counting sequences and generating functions. We describe how it works and provide an open-source Python implementation. As a prerequisite, we build up a new theoretical foundation for combinatorial decomposition strategies and combinatorial specifications.
We then apply Combinatorial Exploration to the domain of permutation patterns, to great effect. We rederive hundreds of results in the literature in a uniform manner and prove many new ones. These results can be found in a new public database, the Permutation Pattern Avoidance Library (PermPAL) at https://permpal.com. Finally, we give three additional proofs-of-concept, showing examples of how Combinatorial Exploration can prove results in the domains of alternating sign matrices, polyominoes, and set partitions.
Matchings in matroids over abelian groups
Published
• View Publication
• BIB
We formulate and prove matroid analogues of results concerning matchings in groups. A matching in an abelian group $(G,+)$ is a bijection $f:A\to B$ between two finite subsets $A,B$ of $G$ satisfying $a+f(a)\notin A$ for all $a\in A$. A group $G$ has the matching property if for every two finite subsets $A,B \subset G$ of the same size with $0 \notin B$, there exists a matching from $A$ to $B$. In [19] it was proved that an abelian group has the matching property if and only if it is torsion-free or cyclic of prime order. Here we consider a similar question in a matroid setting. We introduce an analogous notion of matching between matroids whose ground sets are subsets of an abelian group $G$, and we obtain criteria for the existence of such matchings. Our tools are classical theorems in matroid theory, group theory and additive number theory.
The Buratti-Horak-Rosa Conjecture Holds for Some Underlying Sets of Size Three
Published
• View Publication
• BIB
The Buratti-Horak-Rosa Conjecture concerns the possible multisets of edge-labels of a Hamiltonian path in the complete graph with vertex labels $0, 1, \ldots, {v-1}$ under a particular induced edge-labeling. The conjecture has been shown to hold when the underlying set of the multiset has size at most~2, is a subset of $\{1,2,3,4\}$ or $\{1,2,3,5\}$, or is $\{1,2,6\}$, $\{1,2,8\}$ or $\{1,4,5\}$, as well as partial results for many other underlying sets. We use the method of growable realizations to show that the conjecture holds for each underlying set $U = \{ x,y,z \}$ when $\max(U) \leq 7$ or when $xyz \leq 24$, with the possible exception of $U = \{1,2,11\}$. We also show that for any even $x$ the validity of the conjecture for the underlying set $\{ 1,2,x \}$ follows from the validity of the conjecture for finitely many multisets with this underlying set.
Arithmetical structures on dominated polynomials
Published
• View Publication
• BIB
In~\cite{algorithmic} was given an algorithm that computes arithmetical structures on matrices. We use some of the ideas contained there to get an algorithm that computes arithmetical structures over dominated polynomials. A dominated polynomial is an integer multivariate polynomial such that contains a monomial which is divided by all its monomials.
Expected number of faces in a random embedding of any graph is at most linear
Published
• View Publication
• BIB
A random 2-cell embedding of a given graph $G$ is obtained by choosing a random local rotation around every vertex. We analyze the expected number of faces of such an embedding, which is equivalent to studying its average genus. In 1991, Stahl proved that the expected number of faces in a random embedding of an arbitrary graph of order $n$ is at most $n\log(n)$. While there are many families of graphs whose expected number of faces is $Θ(n)$, none are known where the expected number would be super-linear. This lead to the conjecture that there is a linear upper bound. In this note we confirm the conjecture by proving that for any $n$-vertex multigraph, the expected number of faces in a random 2-cell embedding is at most $n(1+H_m)$, where $m$ is the maximum edge-multiplicity and $H_m$ denotes the $m$th harmonic number. This bound is best possible up to a constant factor.
The treewidth and pathwidth of graph unions
Published
• View Publication
• BIB
Given two $n$-vertex graphs $G_1$ and $G_2$ of bounded treewidth, is there an $n$-vertex graph $G$ of bounded treewidth having subgraphs isomorphic to $G_1$ and $G_2$? Our main result is a negative answer to this question, in a strong sense: we show that the answer is no even if $G_1$ is a binary tree and $G_2$ is a ternary tree. We also provide an extensive study of cases where such `gluing' is possible. In particular, we prove that if $G_1$ has treewidth $k$ and $G_2$ has pathwidth $\ell$, then there is an $n$-vertex graph of treewidth at most $k + 3 \ell + 1$ containing both $G_1$ and $G_2$ as subgraphs.
Bohemian Matrix Geometry
Published
• View Publication
• BIB
A Bohemian matrix family is a set of matrices all of whose entries are drawn from a fixed, usually discrete and hence bounded, subset of a field of characteristic zero. Originally these were integers -- hence the name, from the acronym BOunded HEight Matrix of Integers (BOHEMI) -- but other kinds of entries are also interesting. Some kinds of questions about Bohemian matrices can be answered by numerical computation, but sometimes exact computation is better. In this paper we explore some Bohemian families (symmetric, upper Hessenberg, or Toeplitz) computationally, and answer some open questions posed about the distributions of eigenvalue densities.
Parameterizing Fullerenes with Vertex Combinations
A fullerene graph can be embedded in a piecewise linear 2-manifold with each non-hexagonal carbon ring corresponding to a cone vertex. Adjacent two or three such vertices can be combined as a cluster cut out from a parent cone round a parent vertex. The locations for the combined vertices are distributed on their parent cone with certain symmetries. With proper combinations, a fullerene can be simplified to a parent structure easily to be parameterized. And then, with additional parameters for the combined vertices in each cluster, the fullerene can also be parameterized. Such parameters may be different for fullerenes from type to type, but they are able to characterize the specific shape for each type.
Combinatorial aspects of sandpile models on wheel and fan graphs
Published in European Journal of Combinatorics, Volume 110, May 2023
• View Publication
• BIB
We study combinatorial aspects of the sandpile model on wheel and fan graphs, seeking bijective characterisations of the model's recurrent configurations on these families. For wheel graphs, we exhibit a bijection between these recurrent configurations and the set of subgraphs of the cycle graph which maps the level of the configuration to the number of edges of the subgraph. This bijection relies on two key ingredients. The first consists in considering a stochastic variant of the standard Abelian sandpile model (ASM), rather than the ASM itself. The second ingredient is a mapping from a given recurrent state to a canonical minimal recurrent state, exploiting similar ideas to previous studies of the ASM on complete bipartite graphs and Ferrers graphs. We also show that on the wheel graph with $2n$ vertices, the number of recurrent states with level $n$ is given by the first differences of the central Delannoy numbers. Finally, using similar tools, we exhibit a bijection between the set of recurrent configurations of the ASM on fan graphs and the set of subgraphs of the path graph containing the right-most vertex of the path. We show that these sets are also equinumerous with certain lattice paths, which we name Kimberling paths after the author of the corresponding entry in the Online Encyclopedia of Integer Sequences.
Decreasing Minimization on Base-Polyhedra: Relation Between Discrete and Continuous Cases
Published
• View Publication
• BIB
This paper is concerned with the relationship between the discrete and the continuous decreasing minimization problem on base-polyhedra. The continuous version (under the name of lexicographically optimal base of a polymatroid) was solved by Fujishige in 1980, with subsequent elaborations described in his book (1991). The discrete counterpart of the dec-min problem (concerning M-convex sets) was settled only recently by the present authors, with a strongly polynomial algorithm to compute not only a single decreasing minimal element but also the matroidal structure of all decreasing minimal elements and the dual object called the canonical partition. The objective of this paper is to offer a complete picture on the relationship between the continuous and discrete dec-min problems on base-polyhedra by establishing novel technical results and integrating known results. In particular, we derive proximity results, asserting the geometric closeness of the decreasingly minimal elements in the continuous and discrete cases, by revealing the relation between the principal partition and the canonical partition. We also describe decomposition-type algorithms for the discrete case following the approach of Fujishige and Groenevelt.
Minimal Steklov eigenvalues on combinatorial graphs
Published
• View Publication
• BIB
In this paper, we study extremal problems of Steklov eigenvalues on combinatorial graphs by extending Friedman's theory [Duke Math. J. 69 (1993), no. 3, 487--525] of nodal domains for Laplacian eigenfunctions to Steklov eigenfunctions, and solve an extremal problem for Steklov eigenvalues on combinatorial graphs that is an analogue of the extremal problem solved by Friedman [Duke Math. J. 83 (1996), no. 1, 1--18.] for Laplacian eigenvalues. More precisely, we mainly show that the minimum of the $i^{\rm th}$ Steklov eigenvalue on a connected combinatorial graph with $n$ vertices is essentially attained by a star with each arm a minimal broom when $i\not|n$, and attained by a regular comb with each tooth a minimal broom when $i|n$.
A characterization of $g_2$-minimal normal 3-pseudomanifolds with at most four singularities
Published in Topol. Methods Nonlinear Anal. 64 (2024), no. 2, 479 -- 491
• View Publication
• BIB
Let $Δ$ be a $g_2$-minimal normal 3-pseudomanifold. A vertex in $Δ$ whose link is not a sphere is called a singular vertex. When $Δ$ contains at most two singular vertices, its combinatorial characterization is known [9]. In this article, we present a combinatorial characterization of such a $Δ$ when it has three singular vertices, including one $\mathbb{RP}^2$-singularity, or four singular vertices, including two $\mathbb{RP}^2$-singularities. In both cases, we prove that $Δ$ is obtained from a one-vertex suspension of a surface, and some boundary complexes of $4$-simplices by applying the combinatorial operations of types connected sums, vertex foldings, and edge foldings.