Showing 20 papers (Total: 81378 papers, 47165 authors in database)
Smallest Suffixient Sets: Effectiveness, Resilience, and Calculation
A suffixient set is a novel combinatorial object that captures the essential information of repetitive strings in a way that, provided with a random access mechanism, supports various forms of pattern matching. In this paper, we study the size $χ$ of the smallest suffixient set as a repetitiveness measure: we place it between known measures and study its sensitivity to various string operations. As a corollary of our results, we give simple online algorithms to compute smallest suffixient sets.
Bounded powers of edge ideals: The strong exchange property
Let $S=K[x_1, \ldots,x_n]$ denote the polynomial ring in $n$ variables over a field $K$ and $I \subset S$ a monomial ideal. Given a vector $\mathfrak{c}\in\mathbb{Z}_{>0}^n$, the ideal $I_{\mathfrak{c}}$ is the ideal generated by those monomials belonging to $I$ whose exponent vectors are componentwise bounded above by $\mathfrak{c}$. Let $δ_{\mathfrak{c}}(I)$ be the largest integer $q$ for which $(I^q)_{\mathfrak{c}}\neq 0$. Let $I(G) \subset S$ denote the edge ideal of a finite graph $G$ on the vertex set $V(G) = \{x_1, \ldots, x_s\}$. In our previous work, it is shown that $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$ is a polymatroidal ideal. Let $\mathcal{W}(\mathfrak{c},G)$ denote the minimal system of monomial generators of $(I(G)^{δ_{\mathfrak{c}}(I)})_{\mathfrak{c}}$. It follows that $\mathcal{W}(\mathfrak{c},G)$ satisfies the symmetric exchange property. In the present paper, the question when $\mathcal{W}(\mathfrak{c},G)$ enjoys the strong exchange property, or equivalently, when $\mathcal{W}(\mathfrak{c},G)$ is of Veronese type is studied.
The Global Structure of a Typical Graph Without $H$ as an Induced Subgraph when $H$ is a Cycle
One way to certify that a graph does not contain an induced cycle of length six is to provide a partition of its vertex set into (i) a stable set, and (ii) a graph containing no stable set of size three and no induced matching of size two. We show that almost every graph which does not contain a cycle of length six as an induced subgraph has such a certificate. We obtain similar characterizations of the structure of almost all graphs which contain no induced cycle of length $k$ for all even $k$ exceeding six. (Similar results were obtained for $k=3$ by Erdos, Kleitman, and Rothschild in 1976, for $k =4,5$ by Promel and Steger in 1991 and for odd $k$ exceeding 5 by Balogh and Butterfield in 2009.) We prove that a simiiar theorem for all $H$ holds up to the deletion of a set of $o(|V(G)|)$ vertices and ask for which $H$ the characterization holds fully.
The vertex sets of subtrees of a tree
Let $\mathcal{F}$ be a set of subsets of a set $W$. When is there a tree $T$ with vertex set $W$ such that each member of $\mathcal{F}$ is the set of vertices of a subtree of $T$? It is necessary that $\mathcal{F}$ has the Helly property and the intersection graph of $\mathcal{F}$ is chordal. We will show that these two necessary conditions are together sufficient in the finite case, and more generally, they are sufficient if no element of $W$ belongs to infinitely many infinite sets in $\mathcal{F}$.
A Note on Inequalities for Three Domination Parameters
In this short paper, we establish relations between the domination number $γ$, the total domination number $γ_t$, and the connected domination number $γ_c$ of a graph. In particular, we prove upper and lower bounds for $γ_t$ in terms of $γ$ and $γ_c$. Moreover, we propose the following conjecture: for every connected isolated-free graph $G$, \begin{equation*}\label{eq:low}
γ_t(G) \geq \left \lceil \frac{3γ(G) +2γ_c(G)}{6}\right\rceil. \end{equation*} As evidence to support the conjecture, we prove that the conjecture holds when $γ_t(G) = γ_c(G)$ and also, when $γ_t(G) = γ_c(G) -1$.
On universal quadratic inequalities for minors of TNN matrices
For positive integers $n,n'$, we give a combinatorial characterization for the set of quadratic inequalities on minors that are valid for all $n\times n'$ totally nonnegative matrices. This is obtained as a consequence from our earlier results on stable quadratic identities on minors of matrices generated by flows in planar graphs via Lindström's construction.
Construction of pre-and post-Lie algebras for stochastic PDEs
We give and study a construction of pre-Lie algebra structures on rooted trees whose edges and vertices are decorated, with a grafting product acting, through a map $φ$, both on the decoration of the created edge and on the vertex that holds the grafting. We show that this construction gives a pre-Lie algebra if, and only if, the map $φ$ satisfies a commutation relation, called tree-compatibility. We show how to extend this pre-Lie algebra structure to a post-Lie one by a semi-direct extension with another post-Lie algebra. We also define several constructions to obtain tree-compatible maps, and give examples, including a description of all tree-admissible maps when the space of decorations of the vertices is $2$-dimensional and the space of decorations of the edges is finite-dimensional. A particular example of such a construction is used by Bruned, Hairer and Zambotti for the study of stochastic partial differential equations: when no noise is involved, we show that the underlying tree-compatible map is the exponential of a simpler one and deduce an explicit isomorphism with a classical pre-Lie algebra of rooted trees; when a noise is involved, we obtain the underlying tree-compatible map as a direct sum. We also obtain with our formalism the post-Lie algebras described by Bruned and Katsetsiadis.
Additive codes from linear codes
We introduce two constructions of additive codes over finite fields. Both constructions start with a linear code over a field with $q$ elements and give additive codes over the field with $q^h$ elements whose minimum distance is demonstrably good.
Jumbled Scattered Factors
In this work, we combine the research on (absent) scattered factors with the one of jumbled words. For instance, $\mathtt{wolf}$ is an absent scattered factor of $\mathtt{cauliflower}$ but since $\mathtt{lfow}$, a jumbled (or abelian) version of $\mathtt{wolf}$, is a scattered factor, $\mathtt{wolf}$ occurs as a jumbled scattered factor in $\mathtt{cauliflower}$. A \emph{jumbled scattered factor} $u$ of a word $w$ is constructed by letters of $w$ with the only rule that the number of occurrences per letter in $u$ is smaller than or equal to the one in $w$. We proceed to partition and characterise the set of jumbled scattered factors by the number of jumbled letters and use the latter as a measure. For this new class of words, we relate the folklore longest common subsequence (scattered factor) to the number of required jumbles. Further, we investigate the smallest possible number of jumbles alongside the jumbled scattered factor relation as well as Simon's congruence from the point of view of jumbled scattered factors and jumbled universality.
The Erdős-Pósa property for circle graphs as vertex-minors
We prove that for any circle graph $H$ with at least one edge and for any positive integer $k$, there exists an integer $t=t(k,H)$ so that every graph $G$ either has a vertex-minor isomorphic to the disjoint union of $k$ copies of $H$, or has a $t$-perturbation with no vertex-minor isomorphic to $H$. Using the same techniques, we also prove that for any planar multigraph $H$, every binary matroid either has a minor isomorphic to the cycle matroid of $kH$, or is a low-rank perturbation of a binary matroid with no minor isomorphic to the cycle matroid of $H$.
From Weingarten calculus for real Grassmannians to deformations of monotone Hurwitz numbers and Jucys-Murphy elements
The present work is inspired by three interrelated themes: Weingarten calculus for integration over unitary groups, monotone Hurwitz numbers which enumerate certain factorisations of permutations into transpositions, and Jucys-Murphy elements in the symmetric group algebra. The authors and Moskovsky recently extended this picture to integration on complex Grassmannians, leading to a deformation of the monotone Hurwitz numbers to polynomials that are conjectured to satisfy remarkable interlacing phenomena.
In this paper, we consider integration on the real Grassmannian $\mathrm{Gr}_\mathbb{R}(M,N)$, interpreted as the space of $N \times N$ idempotent real symmetric matrices of rank $M$. We show that in the regime of large $N$ and fixed $\frac{M}{N}$, such integrals have expansions whose coefficients are variants of monotone Hurwitz numbers that are polynomials in the parameter $t = 1 - \frac{N}{M}$.
We define a "$b$-Weingarten calculus", without reference to underlying matrix integrals, that recovers the unitary case at $b = 0$ and the orthogonal case at $b = 1$. The $b$-monotone Hurwitz numbers, previously introduced by Bonzom, Chapuy and Dolega, arise naturally in this context as monotone factorisations of pair partitions. The $b$- and $t$-deformations can be combined to form a common generalisation, leading to the notion of $bt$-monotone Hurwitz numbers, for which we state several results and conjectures.
Finally, we introduce certain linear operators inspired by the aforementioned $b$-Weingarten calculus that can be considered as $b$-deformations of the Jucys-Murphy elements in the symmetric group algebra. We make several conjectures regarding these operators that generalise known properties of the Jucys-Murphy elements and make a connection to the family of Jack symmetric functions.
On the enumeration of double cosets and self-inverse double cosets
Double cosets appear in many contexts in combinatorics, for example in the enumeration of certain objects up to symmetries. Double cosets in a quotient of the form $H\backslash G / H$ have an inverse, and can be their own inverse. In this paper we present various formulas enumerating double cosets, and in particular self-inverse double cosets. We study double cosets in classical groups, especially the symmetric groups and the general linear groups, explaining how to obtain the informations on their conjugacy classes required to apply our formulas. We also consider double cosets of parabolic subgroups of Coxeter groups of type B.
Mapped Exponent and Asymptotic Critical Exponent of Words
We study how much injective morphisms can increase the repetitiveness of a given word. This question has a few possible variations depending on the meaning of ``repetitiveness''. We concentrate on fractional exponents of finite words and asymptotic critical exponents of infinite words. We characterize finite words that, when mapped by injective morphisms, can have arbitrarily high fractional exponent. For infinite words, alongside other results, we show that the asymptotic critical exponent grows at most by a constant factor (depending on the size of the alphabet) when mapped by an injective morphism. For both finite and infinite words, the binary case is better understood than the general case.
Colour-biased Hamilton cycles in randomly perturbed graphs
Given a graph $G$ and an $r$-edge-colouring $χ$ on $E(G)$, a Hamilton cycle $H\subset G$ is said to have $t$ colour-bias if $H$ contains $n/r+t$ edges of the same colour in $χ$. Freschi, Hyde, Lada and Treglown showed every $r$-coloured graph $G$ on $n$ vertices with $δ(G)\geq(r+1)n/2r+t$ contains a Hamilton cycle $H$ with $Ω(t)$ colour-bias, generalizing a result of Balogh, Csaba, Jing and Pluhár. In 2022, Gishboliner, Krivelevich and Michaeli proved that the random graph $G(n,m)$ with $m\geq(1/2+\varepsilon)n\log n$ typically admits an $Ω(n)$ colour biased Hamilton cycle in any $r$-colouring.
In this paper, we investigate colour-biased Hamilton cycles in randomly perturbed graphs. We show that for every $α>0$, adding $m=O(n)$ random edges to a graph $G_α$ with $δ(G_α)\geq αn$ typically ensures a Hamilton cycle with $Ω(n)$ colour bias in any $r$-colouring of $G_α\cup G(n,m)$. Conversely, for certain $G_α$, reducing the number of random edges to $m=o(n)$ may eliminate all colour biased Hamilton cycles of $G(n,m)\cup G$ in a certain colouring. In contrast, at the critical endpoint $α=(r+1)/2r$, adding $m$ random edges typically results in a Hamilton cycle with $Ω(m)$ colour-bias for any $1\ll m\leq n$.
Semiregular abstract polyhedra with trivial facet stabilizer
Abstract polytopes generalize the face lattice of convex polytopes. A polytope is semiregular if its facets are regular and its automorphism group acts transitively on its vertices. In this paper we construct semiregular, facet-transitive polyhedra with trivial facet stabilizer, showing that semiregular abstract polyhedra can have an unbounded number of flag orbits, while having as little as one facet orbit. We interpret this construction in terms of operations applied to high rank regular and chiral polytopes, and we see how this same operations help us construct alternating semiregular polyhedra (that is, with two facet orbits and adjacent facets in different orbits). Finally, we give an idea to generalize this construction giving examples in higher ranks.
On two conjectures of Shallit about Thue-Morse-like sequences
Published in European Journal of Combinatorics, Volume 132, Part B (2026)
• View Publication
• BIB
We study a class of infinite words $x_k$ , where $k$ is a positive integer, recently introduced by J. Shallit. This class includes the Thue-Morse sequence $x_1$, the Fibonacci-Thue-Morse sequence $x_2$, and the Allouche-Johnson sequence $x_3$. Shallit stated and for $k = 3$ proved two conjectures on properties of $x_k$. The first conjecture concerns the factor complexity, the second one the critical exponent of these words. We confirm the validity of both conjectures for every $k$.
Convergence of spectra of digraph limits
The relation between densities of cycles and the spectrum of a graphon, which implies that the spectra of convergent graphons converge, fundamentally relies on the self-adjointness of the linear operator associated with a graphon. In this short paper, we consider the setting of digraphons, which are limits of directed graphs, and prove that the spectra of convergent digraphons converge. Using this result, we establish the relation between densities of directed cycles and the spectrum of a digraphon.
Graph quandles: Generalized Cayley graphs of racks and right quasigroups
We solve two open problems of Valeriy Bardakov about Cayley graphs of racks and graph-theoretic realizations of right quasigroups. We also extend Didier Caucal's classification of labeled Cayley digraphs to right quasigroups and related algebraic structures like quandles.
First, we characterize markings of graphs that realize racks. As an application, we construct rack-theoretic (di)graph invariants from permutation representations of graph automorphism groups. We describe how to compute these invariants with general results for path graphs and cycle graphs.
Second, we show that all right quasigroups are realizable by edgeless graphs and complete (di)graphs. Using Schreier (di)graphs, we also characterize Cayley (di)graphs of right quasigroups Q that realize Q. In particular, all racks are realizable by their full Cayley (di)graphs.
Finally, we give a graph-theoretic characterization of labeled Cayley digraphs of right-cancellative magmas, right-divisible magmas, right quasigroups, racks, quandles, involutory racks, and kei.
Remarks on $d$-ary partitions and an application to elementary symmetric partitions
We prove new formulas for $p_d(n)$, the number of $d$-ary partitions of $n$, and, also, for its polynomial part. Given a partition $λ=(λ_1,\ldots,λ_{\ell})$, its associated $j$-th symmetric elementary partition, $pre_{j}(λ)$, is the partition whose parts are $\{λ_{i_1}\cdotsλ_{i_j}\;:\;1\leq i_1 < \cdots < i_j\leq \ell\}$. We prove that if $λ$ and $μ$ are two $d$-ary partitions of length $\ell$ such that $pre_j(λ)=pre_j(μ)$ and $λ_{i_1}\cdots λ_{i_j} = μ_{i_1}\cdots μ_{i_j}$, for all $1\leq i_1 < \cdots < i_j\leq \ell$, then $λ=μ$.
Isotopisms of quadratic quasigroups
A quasigroup is a pair $(Q, \cdot)$ where $Q$ is a non-empty set and $\cdot$ is a binary operation on $Q$ such that for every $(u, v) \in Q^2$ there exists a unique $(x, y) \in Q^2$ such that $u \cdot x = v = y \cdot u$. Let $q$ be an odd prime power, let $\mathbb{F}_q$ denote the finite field of order $q$, and let $\mathcal{R}_q$ denote the set of non-zero squares in $\mathbb{F}_q$. Let $\{a, b\} \subseteq \mathbb{F}_q$ be such that $\{ab, (a-1)(b-1)\} \subseteq \mathcal{R}_q$. Let $\mathcal{Q}_{a, b}$ denote the quadratic quasigroup $(\mathbb{F}_q, *_{a, b})$ where $*_{a, b}$ is defined by
\[ \left\{
\begin{array}{ll}
x+a(y-x) & \text{if } y-x \in \mathcal{R}_q,\\ x+b(y-x) & \text{otherwise}.
\end{array}
\right. \] The operation table of a quadratic quasigroup is a quadratic Latin square. Recently, it has been determined exactly when two quadratic quasigroups are isomorphic and the automorphism group of any quadratic quasigroup has been determined. In this paper, we extend these results. We determine exactly when two quadratic quasigroups are isotopic and we determine the autotopism group of any quadratic quasigroup. In the process, we count the number of $2 \times 2$ subsquares in quadratic Latin squares.