Showing 20 papers (Total: 81680 papers, 47334 authors in database)
A note on the second neighborhood problem for $k$-anti-transitive and $m$-free digraphs
Seymour Second Neighborhood Conjecture (SSNC) asserts that every finite oriented graph has a vertex whose second out-neighborhood is at least as large as its first out-neighborhood. Such a vertex is called a Seymour vertex. A digraph $D = (V, E)$ is $k$-anti-transitive if for every pair of vertices $u, v \in V$, the existence of a directed path of length $k$ from $u$ to $v$ implies that $(u, v) \notin E$. An $m$-free digraph is digraph having no directed cycles with length at most $m$. In this paper, we prove that if $D$ is $k$-anti-transitive and $(k-4)$-free digraph, then $D$ has a Seymour vertex. As a consequence, a special case of Caccetta-Haggkvist Conjecture holds on 7-anti-transitive oriented graphs. This work extends recently known results.
Lyndon pairs and the lexicographically greatest perfect necklace
Published in Comb. Number Th. 13 (2024) 361-375
• View Publication
• BIB
Fix a finite alphabet. A necklace is a circular word. For positive integers $n$ and~$k$, a necklace is $(n,k)$-perfect if all words of length $n$ occur $k$ times but at positions with different congruence modulo $k$, for any convention of the starting position. We define the notion of a Lyndon pair and we use it to construct the lexicographically greatest $(n,k)$-perfect necklace, for any $n$ and $k$ such that $n$ divides~$k$ or $k$ divides~$n$. Our construction generalizes Fredricksen and Maiorana's construction of the lexicographically greatest de Bruijn sequence of order $n$, based on the concatenation of the Lyndon words whose length divide $n$.
An optimal chromatic bound for ($P_2+P_3$, gem)-free graphs
Given a graph $G$, the parameters $χ(G)$ and $ω(G)$ respectively denote the chromatic number and the clique number of $G$. A function $f : \mathbb{N} \rightarrow \mathbb{N}$ such that $f(1) = 1$ and $f(x) \geq x$, for all $x \in \mathbb{N}$ is called a $χ$-binding function for the given class of graphs $\cal{G}$ if every $G \in \cal{G}$ satisfies $χ(G) \leq f(ω(G))$, and the \emph{smallest $χ$-binding function} $f^*$ for $\cal{G}$ is defined as $f^*(x) := \max\{χ(G)\mid G\in {\cal G} \mbox{ and } ω(G)=x\}$. In general, the problem of obtaining the smallest $χ$-binding function for the given class of graphs seems to be extremely hard, and only a few classes of graphs are studied in this direction. In this paper, we study the class of ($P_2+ P_3$, gem)-free graphs, and prove that the function $φ:\mathbb{N}\rightarrow \mathbb{N}$ defined by $φ(1)=1$, $φ(2)=4$, $φ(3)=6$ and $φ(x)=\left\lceil\frac{1}{4}(5x-1)\right\rceil$, for $x\geq 4$ is the smallest $χ$-binding function for the class of ($P_2+ P_3$, gem)-free graphs.
Sparsification of Phylogenetic Covariance Matrices of $k$-Regular Trees
Published
• View Publication
• BIB
Consider a tree $T=(V,E)$ with root $\circ$ and edge length function $\ell:E\to\mathbb{R}_+$. The phylogenetic covariance matrix of $T$ is the matrix $C$ with rows and columns indexed by $L$, the leaf set of $T$, with entries $C(i,j):=\sum_{e\in[i\wedge j,o]}\ell(e)$, for each $i,j\in L$. Recent work [15] has shown that the phylogenetic covariance matrix of a large, random binary tree $T$ is significantly sparsified with overwhelmingly high probability under a change-of-basis with respect to the so-called Haar-like wavelets of $T$. This finding notably enables manipulating the spectrum of covariance matrices of large binary trees without the necessity to store them in computer memory but instead performing two post-order traversals of the tree. Building on the methods of [15], this manuscript further advances their sparsification result to encompass the broader class of $k$-regular trees, for any given $k\ge2$. This extension is achieved by refining existing asymptotic formulas for the mean and variance of the internal path length of random $k$-regular trees, utilizing hypergeometric function properties and identities.
Quantum $K$-theory of Lagrangian Grassmannian via parabolic Peterson isomorphism
We study Schubert calculus in the torus-equivariant quantum $K$-ring of the Lagrangian Grassmannian $\mathrm{LG}(n)$. Our main tool is the $K$-theoretic Peterson map due to Kato. The map is from the (localized) equivariant $K$-homology ring $K_{*}^{T}(\mathrm{Gr}_{G})$ of the affine Grassmannian $\mathrm{Gr}_{G}$ of the symplectic group $G=\mathrm{Sp}_{2n}(\mathbb{C})$ to the (localized) torus-equivariant quantum $K$-ring $QK_{T}(\mathrm{LG}(n))$. We determine explicitly the kernel of this map.
Weak saturation rank: a failure of linear algebraic approach to weak saturation
Published
• View Publication
• BIB
Given a graph $F$ and a positive integer $n$, the weak $F$-saturation number $\mathrm{wsat}(K_n,F)$ is the minimum number of edges in a graph $H$ on $n$ vertices such that the edges missing in $H$ can be added, one at a time, so that every edge creates a copy of $F$. Kalai in 1985 introduced a linear algebraic approach that became one of the most efficient tools to prove lower bounds on weak saturation numbers. If $W$ is a vector space spanned by vectors $w(e)$ assigned to edges $e$ of $K_n$ in such a way that, for every copy $F'\subset K_n$ of $F$, there exist non-zero $λ_e$, $e\in E(F')$, satisfying $\sum_{e\in E(F')}λ_e w(e)=0$, then $\mathrm{dim}W\leq \mathrm{wsat}(K_n,F)$. In this paper, we prove limitations of this approach: we show infinitely many $F$ such that, for every vector space $W$ as above, $\mathrm{dim}W<\mathrm{wsat}(K_n,F)$. We also suggest a modification of this approach that allows to get tight lower bounds even when the original linear algebraic approach is not sufficient. Finally, we generalise our results to random graphs, complete multipartite graphs, and hypergraphs.
A poset-like approach to positive opetopes
Published
• View Publication
• BIB
We introduce in this paper a new formalisation of positive opetopes where faces are organised in a poset. Then we show that our definition is equivalent to that of positives opetopes as given by Marek Zawadowski.
Upper Bounds on the Average Height of Random Binary Trees
We study the average height of random trees generated by leaf-centric binary tree sources as introduced by Zhang, Yang and Kieffer. A leaf-centric binary tree source induces for every $n \geq 2$ a probability distribution on the set of binary trees with $n$ leaves. Our results generalize a result by Devroye, according to which the average height of a random binary search tree of size $n$ is in $\mathcal{O}(\log n)$.
Regular Flips in mptopcom
Published
• View Publication
• BIB
A triangulation of a point configuration is regular if it can be given by a height function, that is every point gets lifted to a certain height and projecting the lower convex hull gives the triangulation. Checking regularity of a triangulation usually is done by solving a linear program. However when checking many flip-connected triangulations for regularity, one can instead ask which flips preserve regularity. When traversing the flip graph for enumerating all regular triangulations, this allows for vast reduction of the linear programs needing to be solved. At the same time the remaining linear programs will be much smaller.
Automatic Abelian Complexities of Parikh-Collinear Fixed Points
Published
• View Publication
• BIB
Parikh-collinear morphisms have the property that all the Parikh vectors of the images of letters are collinear, i.e., the associated adjacency matrix has rank 1. In the conference DLT-WORDS 2023 we showed that fixed points of Parikh-collinear morphisms are automatic. We also showed that the abelian complexity function of a binary fixed point of such a morphism is automatic under some assumptions. In this note, we fully generalize the latter result. Namely, we show that the abelian complexity function of a fixed point of an arbitrary, possibly erasing, Parikh-collinear morphism is automatic. Furthermore, a deterministic finite automaton with output generating this abelian complexity function is provided by an effective procedure. To that end, we discuss the constant of recognizability of a morphism and the related cutting set.
On the fibbinary numbers and the Wythoffarray
This paper defines the set fib of fibbinary numbers and displays its structure in the form of a table of a specialised type, and in array form. It uses the Zeckendorf representation $n \in \mathbf{N}$ to define a bijection $\mathcal{Z}$ between $\mathbf{N}$ and fib. It is proved that the fibbinary array is the image under $\mathcal{Z}$ of the famous Wythoff array. The fibbinary table proves useful pictorial insight into the fractal defined by the Wythoff array. The Wythoff table, obtained as the image under the inverse of $\mathcal{Z}$ of the fibbinary table, leads to a simpler view of the fractal, and may be compared with the (1938) Steinhaus tree.
A note on locating-dominating sets in twin-free graphs
Published
• View Publication
• BIB
In this short note, we prove that every twin-free graph on $n$ vertices contains a locating-dominating set of size at most $\lceil\frac{5}{8}n\rceil$. This improves the earlier bound of $\lfloor\frac{2}{3}n\rfloor$ due to Foucaud, Henning, Löwenstein and Sasse from 2016, and makes some progress towards the well-studied locating-dominating conjecture of Garijo, González and Márquez.
An extension of the cogrowth formula to arbitrary subsets of the tree
Published
• View Publication
• BIB
What is the probability that a random walk in the free group ends in a proper power? Or in a primitive element? We present a formula that computes the exponential decay rate of the probability that a random walk on a regular tree ends in a given subset, in terms of the exponential decay rate of the analogous probability of the non-backtracking random walk. This generalizes the well-known cogrowth formula of Grigorchuk, Cohen and Northshield. We also extend the formula to arbitrary subsets of the biregular tree.
On the resistance regular graphs
For a connected graph $G$, its resistance distance matrix is denoted by $R(G)$. A graph is called resistance regular if all the row (or column) sums of $R(G)$ are equal. We provide a necessary and sufficient condition for a simple connected graph to be resistance regular. Additionally, we establish sharp bounds for the resistance spectral radius and present various bounds for the resistance energy of $G$. Furthermore, we compute the resistance spectrum and resistance energy of some resistance regular graphs.
On walk-regular graphs and optimal duals of frames generated by graphs
Erasures are a common problem that arises while signals or data are being transmitted. A profound challenge in frame theory is to find the optimal dual frames ($OD$-frames) to minimize the reconstruction error if erasures occur. In this paper, we study the optimal duals of frames generated by graphs. First, we characterize walk-regular graphs. Then, it is shown that the diagonal entries of the Moore-Penrose inverse of the Laplacian matrix (or adjacency matrix) of a walk-regular graph are equal. Besides, we prove that connected graphs generate full spark frames. Using these results, we establish that the canonical dual frames are the unique $OD$-frames of a frame generated by a walk-regular graph. A sufficient condition under which the canonical dual frame is the unique $OD$-frame is known. Here, we establish that the condition is also necessary if the frame is generated by a connected graph.
Tournament completions of bipartite tournaments and their augmented directed cycles
Published in Discrete Math., 347, (2024), Article 114108
• View Publication
• BIB
A tournament $T$ is a tournament completion of a bipartite tournament $D$ if $D$ is a spanning subdigraph of $T$, i.e., $V(D)=V(T)$ and $A(D)\subseteq A(T)$. If $C$ is a $k$-dicycle (i.e., directed cycle of length $k$) in a tournament completion $T$ of $D$ and $C$ is not a dicycle in $D$, i.e., $A(C)\subseteq A(T)$ and $A(C)\not\subseteq A(D)$, then we call $C$ an augmented $k$-dicycle of $T$. In this paper, we investigate the families of bipartite tournaments for which there exists a tournament completion with exactly one augmented $3$-dicycle and with no augmented $4$-dicycles. Our investigation may be viewed as a variant of the orientation completion problem initiated by Bang-Jensen et al..
Bollobás-Erdős-Tuza conjecture for graphs with no induced $K_{s,t}$
Published
• View Publication
• BIB
A widely open conjecture proposed by Bollobás, Erdős, and Tuza in the early 1990s states that for any $n$-vertex graph $G$, if the independence number $α(G) = Ω(n)$, then there is a subset $T \subseteq V(G)$ with $|T| = o(n)$ such that $T$ intersects all maximum independent sets of $G$. In this paper, we prove that this conjecture holds for graphs that do not contain an induced $K_{s,t}$ for fixed $t \ge s$. Our proof leverages the probabilistic method at an appropriate juncture.
Coloring some $(P_6,C_4)$-free graphs with $Δ-1$ colors
The Borodin-Kostochka Conjecture states that for a graph $G$, if $Δ(G)\geq9$, then $χ(G)\leq\max\{Δ(G)-1,ω(G)\}$. We use $P_t$ and $C_t$ to denote a path and a cycle on $t$ vertices, respectively. Let $C=v_1v_2v_3v_4v_5v_1$ be an induced $C_5$. A {\em $C_5^+$} is a graph obtained from $C$ by adding a $C_3=xyzx$ and a $P_2=t_1t_2$ such that (1) $x$ and $y$ are both exactly adjacent to $v_1,v_2,v_3$ in $V(C)$, $z$ is exactly adjacent to $v_2$ in $V(C)$, $t_1$ is exactly adjacent to $v_4,v_5$ in $V(C)$ and $t_2$ is exactly adjacent to $v_1,v_4,v_5$ in $V(C)$, (2) $t_1$ is exactly adjacent to $z$ in $\{x,y,z\}$ and $t_2$ has no neighbors in $\{x,y,z\}$. In this paper, we show that the Borodin-Kostochka Conjecture holds for ($P_6,C_4,H$)-free graphs, where $H\in \{K_7,C_5^+\}$. This generalizes some results of Gupta and Pradhan in \cite{GP21,GP24}.
A Ramsey theorem for the reals
We prove that for every colouring of pairs of reals with finitely-many colours, there is a set homeomorphic to the rationals which takes no more than two colours. This was conjectured by Galvin in 1970, and a colouring of Sierpi{ń}ski from 1933 witnesses that the number of colours cannot be reduced to one. Previously in 1985 Shelah had shown that a stronger statement is consistent with a forcing construction assuming the existence of large cardinals. Then in 2018 Raghavan and Todorčević had proved it assuming the existence of large cardinals. We prove it in $ZFC$. In fact Raghavan and Todorčević proved, assuming more large cardinals, a similar result for a large class of topological spaces. We prove this also, again in $ZFC$.
Linear arboricity of robust expanders
In 1980, Akiyama, Exoo, and Harary conjectured that any graph $G$ can be decomposed into at most $\lceil(Δ(G)+1)/2\rceil$ linear forests. We confirm the conjecture for robust expanders of linear minimum degree.
As a consequence, the conjecture holds for dense quasirandom graphs of linear minimum degree
as well as for large $n$-vertex graphs with minimum degree arbitrarily close to $n/2$ from above.