natural ↗ reference
4894 papers tagged with this keyword
A note on inverting the dijoin of oriented graphs
Published in Electronic Journal of Combinatorics Volume 32, Issue 1 (2025)
• View Publication
• BIB
For an oriented graph $D$ and a set $X\subseteq V(D)$, the inversion of $X$ in $D$ is the graph obtained from $D$ by reversing the orientation of each edge that has both endpoints in $X$. Define the inversion number of $D$, denoted $\mathrm{inv}(D)$, to be the minimum number of inversions required to obtain an acyclic oriented graph from $D$. The dijoin, denoted $D_1\rightarrow D_2$, of two oriented graphs $D_1$ and $D_2$ is constructed by taking vertex-disjoint copies of $D_1$ and $D_2$ and adding all edges from $D_1$ to $D_2$. We show that $\mathrm{inv}({D_1 \rightarrow D_2}) > \mathrm{inv}(D_1)$, for any oriented graphs $D_1$ and $D_2$ such that $\mathrm{inv}(D_1) = \mathrm{inv}(D_2) \ge 1$. This resolves a question of Aubian, Havet, Hörsch, Klingelhoefer, Nisse, Rambaud and Vermande. Our proof proceeds via a natural connection between the graph inversion number and the subgraph complementation number.
Perfect matchings and spanning trees: squarishness, bijections and independence
A number which is either the square of an integer or two times the square of an integer is called squarish. There are two main results in the literature on graphs whose number of perfect matchings is squarish: one due to Jockusch (for planar graphs invariant under rotation by 90 degrees) and the other due to the second author (concerning planar graphs with two perpendicular symmetry axes). We present in this paper a new such class, consisting of certain planar graphs that are only required to have one symmetry axis. Our proof relies on a natural bijection between the set of perfect matchings of two closely related (but not isomorphic!) families of graphs, which is interesting in its own right. The rephrasing of this bijection in terms of spanning trees turns out to be the most natural way to present this result.
The basic move in the construction of the above bijection (which we call gliding) can also be used to extend Temperley's classical bijection between spanning trees of a planar graph and perfect matchings of a closely related graph. We present this, and as an application we answer an open question posed by Corteel, Huang and Krattenthaler.
We also discuss another dimer bijection (used in the proof of the second author's result mentioned above), and deduce from a refinement of it new results for spanning trees. These include a finitary version of an independence result for the uniform spanning tree on $\Z^2$ due to Johansson, a counterpart of it, and a bijective proof of an independence result on edge inclusions in the uniform spanning tree on $\Z^2$ due to Lyons.
Colour-permuting automorphisms of complete Cayley graphs
Published
• View Publication
• BIB
Let $G$ be a (finite or infinite) group, and let $K_G = \mathrm{Cay} ( G;G \smallsetminus \{1\} )$ be the complete graph with vertex set $G$, considered as a Cayley graph of $G$. Being a Cayley graph, it has a natural edge-colouring by sets of the form $\{s, s^{-1}\}$ for $s \in G$. We prove that every colour-permuting automorphism of $K_G$ is an affine map, unless $G \cong Q_8 \times B$, where $Q_8$ is the quaternion group of order $8$, and $B$ is an abelian group, such that $b^2$ is trivial for all $b \in B$.
We also prove (without any restriction on $G$) that every colour-permuting automorphism of $K_G$ is the composition of a group automorphism and a colour-preserving graph automorphism. This was conjectured by D.P.Byrne, M.J.Donner, and T.Q.Sibley in 2013.
The characteristic sequence of the integers that are the sum of two squares is not morphic
Published
• View Publication
• BIB
Let $(s_2(n))_{n\in \mathbb{N}}$ be a $0,1$-sequence such that, for any natural number $n$, $s_2(n) = 1$ if and only if $n$ is a sum of two squares. In a recent article, Tahay proved that the sequence $(s_2(n))_{n\in \mathbb{N}}$ is not $k$-automatic for any integer $k$, and asked if this sequence can be morphic. In this note, we give a negative answer to this question.
On Naisargik Images of Varshamov-Tenengolts and Helberg Codes
The VT and Helberg codes, both in binary and non-binary forms, stand as elegant solutions for rectifying insertion and deletion errors. In this paper we consider the quaternary versions of these codes. It is well known that many optimal binary non-linear codes like Kerdock and Prepreta can be depicted as Gray images (isometry) of codes defined over $\mathbb{Z}_4$. Thus a natural question arises: Can we find similar maps between quaternary and binary spaces which gives interesting properties when applied to the VT and Helberg codes. We found several such maps called Naisargik (natural) maps and we study the images of quaternary VT and Helberg codes under these maps. Naisargik and inverse Naisargik images gives interesting error-correcting properties for VT and Helberg codes. If two Naisargik images of VT code generates an intersecting one deletion sphere, then the images holds the same weights. A quaternary Helberg code designed to correct $s$ deletions can effectively rectify $s+1$ deletion errors when considering its Naisargik image, and $s$-deletion correcting binary Helberg code can corrects $\lfloor\frac{s}{2}\rfloor$ errors with inverse Naisargik image.
Quiver Laplacians and Feature Selection
The challenge of selecting the most relevant features of a given dataset arises ubiquitously in data analysis and dimensionality reduction. However, features found to be of high importance for the entire dataset may not be relevant to subsets of interest, and vice versa. Given a feature selector and a fixed decomposition of the data into subsets, we describe a method for identifying selected features which are compatible with the decomposition into subsets. We achieve this by re-framing the problem of finding compatible features to one of finding sections of a suitable quiver representation. In order to approximate such sections, we then introduce a Laplacian operator for quiver representations valued in Hilbert spaces. We provide explicit bounds on how the spectrum of a quiver Laplacian changes when the representation and the underlying quiver are modified in certain natural ways. Finally, we apply this machinery to the study of peak-calling algorithms which measure chromatin accessibility in single-cell data. We demonstrate that eigenvectors of the associated quiver Laplacian yield locally and globally compatible features.
The Stanley-Stembridge Conjecture for $\bf 2 + 1 +1$-avoiding unit interval orders: a diagrammatic proof
A natural unit interval order is a naturally labelled partially ordered set that avoids patterns ${\bf 3} + {\bf 1}$ and $\bf 2 + 2$. To each natural unit interval order one can associate a symmetric function. The Stanley-Stembridge conjecture states that each such symmetric function is positive in the basis of complete homogenous symmetric functions. This conjecture has connections to cohomology rings of Hessenberg varieties, and to Kazhdan-Lusztig theory. We use a diagrammatic technique to re-prove the special case of the conjecture for unit interval orders additionally avoiding pattern $\bf 2 + 1 + 1$. Originally this special case is due to Gebhard and Sagan.
Graphs of bounded chordality
Published
• View Publication
• BIB
A hole in a graph is an induced subgraph which is a cycle of length at least four. A graph is chordal if it contains no holes. Following McKee and Scheinerman (1993), we define the chordality of a graph $G$ to be the minimum number of chordal graphs on $V(G)$ such that the intersection of their edge sets is equal to $E(G)$. In this paper we study classes of graphs of bounded chordality.
In the 1970s, Buneman, Gavril, and Walter, proved independently that chordal graphs are exactly the intersection graphs of subtrees in trees. We generalize this result by proving that the graphs of chordality at most $k$ are exactly the intersection graphs of convex subgraphs of median graphs of tree-dimension $k$.
A hereditary class of graphs $\mathcal{A}$ is $χ$-bounded if there exists a function $ f\colon \mathbb{N}\rightarrow \mathbb{R}$ such that for every graph $G\in \mathcal{A}$, we have $χ(G) \leq f(ω(G))$. In 1960, Asplund and Grünbaum proved that the class of all graphs of boxicity at most two is $χ$-bounded. In his seminal paper "Problems from the world surrounding perfect graphs," Gyárfás (1985), motivated by the above result, asked whether the class of all graphs of chordality at most two, which we denote by $\mathcal{C}\gcap \mathcal{C}$, is $χ$-bounded. We discuss a result of Felsner, Joret, Micek, Trotter and Wiechert (2017), concerning tree-decompositions of Burling graphs, which implies an answer to Gyárfás' question in the negative. We prove that two natural families of subclasses of $\mathcal{C}\gcap \mathcal{C}$ are polynomially $χ$-bounded.
Finally, we prove that for every $k\geq 3$ the $k$-\textsc{Chordality Problem}, which asks to decide whether a graph has chordality at most $k$, is \textbf{NP}-complete.
Elements with unique length factorization of a numerical semigroup generated by three consecutive numbers
Let $S$ be the numerical semigroup generated by three consecutive numbers $a,a+1,a+2$, where $a\in\mathbb{N}$, $a\geq 3$. We describe the elements of $S$ whose factorizations have all the same length, as well as the set of factorizations of each of these elements. We give natural partitions of this subset of $S$ in terms of the length and the denumerant. By using Apéry sets and Betti elements we are able to extend some results, first obtained by elementary means.
Disarray, reduced words, and 321-avoidance in George groups
Previous work has shown that the disarray (or displacement) of an (affine) (signed) permutation is bounded in terms of its Coxeter length. Here, we characterize the permutations for which the bound is sharp in two ways: in terms of a natural property of their reduced words, and by ``globally'' avoiding the pattern 321.
Monochromatic polynomial sumset structures on $\mathbb{N}$
In the paper, we search for monochromatic infinite additive structures involving polynomials over $\mathbb{N}$. It is proved that for any $r\in \mathbb{N}$, any two distinct natural numbers $a,b$, and any $2$-coloring of $\mathbb{N}$, there exist two sets $B,C\subset \mathbb{N}$ with $|B|=r$ and $|C|=\infty$ such that there exists some color containing $B+aC$ and $B+bC$.
A Nearly Finitary Matroid that is not $k$-Nearly Finitary
Published in The Electronic Journal of Combinatorics, Volume 31, Issue 1, P1.32, 2024
• View Publication
• BIB
The class of $k$-nearly finitary matroids for some natural number $k$ is a subclass of the class of nearly finitary matroids. A natural question is whether this inclusion is proper. We answer this question affirmatively by constructing a nearly finitary matroid that is not $k$-nearly finitary for any $k \in \mathbb{N}$.
Thin Simplices via Modular Arithmetic
Published
• View Publication
• BIB
The local $h^*$-polynomial is a natural invariant of a lattice polytope appearing in Ehrhart theory and Hodge theory. In this work, we study the question posed in [GKZ94] concerning the classification of lattice simplices with vanishing local $h^*$-polynomial. Such simplices are called thin. We relate this question to linear codes and hyperplane arrangements over finite rings. This allows us to obtain a complete classification of the $4$-dimensional thin simplices, extending the previously known results in dimensions up to $3$.
Average Nodal Count and the Nodal Count Condition for Graphs
The nodal edge count of an eigenvector of the Laplacian of a graph is the number of edges on which it changes sign. This quantity extends to any real symmetric $n\times n$ matrix supported on a graph $G$ with $n$ vertices. The average nodal count, averaged over all eigenvectors of a given matrix, is known to be bounded between $\frac{n-1}{2}$ and $\frac{n-1}{2}+β(G)$, where $β(G)$ is the first Betti number of $G$ (a topological quantity), and it was believed that generically the average should be around $\frac{n-1}{2}+β(G)/2$. We prove that this is not the case: the average is bounded between $\frac{n-1}{2}+β(G)/n$ and $\frac{n-1}{2}+β(G)-β(G)/n$, and we provide graphs and matrices that attain the upper and lower bounds for any possible choice of $n$ and $β$.
A natural condition on a matrix for defining the nodal count is that it has simple eigenvalues and non-vanishing eigenvectors. For any connected graph $G$, a generic real symmetric matrix supported on $G$ satisfies this nodal count condition. However, the situation for constant diagonal matrices is far more subtle. We completely characterize the graphs $G$ for which this condition is generically true, and show that if this is not the case, then any real symmetric matrix supported on $G$ with constant diagonal has a multiple eigenvalue or an eigenvector that vanishes somewhere. Finally, we discuss what can be said when this nodal count condition fails, and provide examples.
Odometers in non-compact spaces
Published
• View Publication
• BIB
We define an odometer in the Baire space. That is the non-compact space of one sided sequences of natural numbers. We go on to prove that it is topologically conjugated to the dyadic odometer restricted to an appropriate non-compact subset of the space of one sided sequences on two symbols. We extend the action of the odometer to finite words. It turns out that, arranging the finite words in appropriate binary tree, this extension runs through the tree from left-right and top-down. Several well known binary trees made out of rational numbers, such as the Kepler tree or the Calkin and Wilf tree, are recovered in this way. Indeed, it suffices to identify finite words with rational numbers by means of certain continued fractions. The odometric action allow us to recover, in a unified way, several counting results for the rational numbers. Moreover, associated to certain interval maps with countably many branches we construct their corresponding odometers. Explicit formulas are provided in the cases of the Gauss map (continued fractions) and the Renyi map (backward continued fractions).
Generalized saturation game
Published in Discrete Applied Mathematics 374 (2025) 33-49
• View Publication
• BIB
We study the following game version of the generalized graph Turán problem. For two fixed graphs F and H, two players, Max and Mini, alternately claim unclaimed edges of the complete graph Kn such that the graph G of the claimed edges must remain F-free throughout the game. The game ends when no further edges can be claimed, i.e. when G becomes F-saturated. The H-score of the game is the number of copies of H in G. Max aims to maximize the H-score, while Mini wants to minimize it. The H-score of the game when both players play optimally is denoted by s1(n, #H, F) when Max starts, and by s2(n, #H, F) when Mini starts. We study these values for several natural choices of F and H.
Optimal bounds on the polynomial Schur's theorem
Liu, Pach and Sándor recently characterized all polynomials $p(z)$ such that the equation $x+y=p(z)$ is $2$-Ramsey, that is, any $2$-coloring of $\mathbb{N}$ contains infinitely many monochromatic solutions for $x+y=p(z)$. In this paper, we find asymptotically tight bounds for the following two quantitative questions.
$\bullet$ For $n\in \mathbb{N}$, what is the longest interval $[n,f(n)]$ of natural numbers which admits a $2$-coloring with no monochromatic solutions of $x+y=p(z)$?
$\bullet$ For $n\in \mathbb{N}$ and a $2$-coloring of the first $n$ integers $[n]$, what is the smallest possible number $g(n)$ of monochromatic solutions of $x+y=p(z)$?
Our theorems determine $f(n)$ up to a multiplicative constant $2+o(1)$, and determine the asymptotics for $g(n)$.
Tactical decompositions in finite polar spaces and non-spreading classical group actions
Published
• View Publication
• BIB
For finite classical groups acting naturally on the set of points of their ambient polar spaces, the symmetry properties of \emph{synchronising} and \emph{separating} are equivalent to natural and well-studied problems on the existence of certain configurations in finite geometry. The more general class of \emph{spreading} permutation groups is harder to describe, and it is the purpose of this paper to explore this property for finite classical groups. In particular, we show that for most finite classical groups, their natural action on the points of its polar space is non-spreading. We develop and use a result on tactical decompositions (an \emph{AB-Lemma}) that provides a useful technique for finding witnesses for non-spreading permutation groups. We also consider some of the other primitive actions of the classical groups.
Generalising the maximum independent set algorithm via Boolean networks
Published
• View Publication
• BIB
A simple greedy algorithm to find a maximal independent set (MIS) in a graph starts with the empty set and visits every vertex, adding it to the set if and only if none of its neighbours are already in the set. In this paper, we consider (the complexity of decision problems related to) the generalisation of this MIS algorithm wherein any starting set is allowed. Two main approaches are leveraged. Firstly, we view the MIS algorithm as a sequential update of a Boolean network according to a permutation of the vertex set. Secondly, we introduce the concept of a constituency of a graph: a set of vertices that is dominated by an independent set. Recognizing a constituency is NP-complete, a fact we leverage repeatedly in our investigation.
Our contributions are multiple: we establish that deciding whether all maximal independent sets can be reached from some configuration is coNP-complete; that fixing words (which reach a MIS from any starting configuration) and fixing permutations (briefly, permises) are coNP-complete to recognize; and that permissible graphs (graphs with a permis) are coNP-hard to recognize. We also exhibit large classes of permissible and non-permissible graphs, notably near-comparability graphs which may be of independent interest.
Lastly, we extend our study to digraphs, where we search for kernels. Since the natural generalisation of our approach may not necessarily find a kernel, we introduce two further Boolean networks for digraphs: one always finds an independent set, and the other always finds a dominating set.
Intersecting subsets in finite permutation groups
Let $G\leqslant\mathrm{Sym}(Ω)$ be transitive, and let $S$ be an intersecting subset, namely, the ratio $xy^{-1}$ of any elements $x,y\in S$ fixes some point. An EKR-type problem is to characterize transitive groups $G\leqslant\mathrm{Sym}(Ω)$ such that any intersecting set is upper bounded by $|G_ω|$, where $ω\inΩ$. A nice result of Meagher-Spiga-Tiep (2016) tells us that if $G$ is 2-transitive, then indeed $|S|\leqslant|G_ω|$. A natural next step would be to explore intersecting subsets for primitive groups and quasiprimitive groups. Our study in this paper shows that for quasiprimitive permutation groups, the size $|S|$ can be arbitrarily larger than $|G_ω|$. We conjecture that for quasiprimitve groups, the upperbound for $|S|$ is $O(|G_ω||Ω|^{1\over2})$. As a starting point, we prove that ${|S|/(|G_ω||Ω|^{1\over2}})\leqslant{\sqrt2/2}$ for all quasiprimitive actions of the Suzuki groups $G=\mathrm{Sz}(q)$. To show that our conjectured upper bound is tight, we provide examples of groups for which ${|S|/(|G_ω||Ω|^{1\over2}})$ is arbitrarily close to ${\sqrt2/2}$. As far as general transitive groups concerned, infinity families of examples produced show that the ratio ${|S|/(|G_ω||Ω|^{1\over2}})$ can be arbitrarily large.