Showing 20 papers (Total: 82432 papers, 47671 authors in database)
Minor exclusion in quasi-transitive graphs
Published
• View Publication
• BIB
In this note, we show that locally finite quasi-transitive graphs are quasi-isometric to trees if and only if every other locally finite quasi-transitive graph quasi-isometric to them is minor excluded. This generalizes results by Ostrovskii and Rosenthal and by Khukhro on minor exclusion for groups.
Cluster algebras of finite mutation type with coefficients
Published
• View Publication
• BIB
We classify mutation-finite cluster algebras with arbitrary coefficients of geometric type.
The diameter of caterpillar associahedra
The caterpillar associahedron $\mathcal{A}(G)$ is a polytope arising from the rotation graph of search trees on a caterpillar tree $G$, generalizing the rotation graph of binary search trees (BSTs) and thus the conventional associahedron. We show that the diameter of $\mathcal{A}(G)$ is $Θ(n + m \cdot (H+1))$, where $n$ is the number of vertices, $m$ is the number of leaves, and $H$ is the entropy of the leaf distribution of $G$.
Our proofs reveal a strong connection between caterpillar associahedra and searching in BSTs. We prove the lower bound using Wilber's first lower bound for dynamic BSTs, and the upper bound by reducing the problem to searching in static BSTs.
Quasi-isometry invariance of hyperbolicity in semimetric spaces, digraphs and semigroups
Gray and Kambites introduced a notion of hyperbolicity in the setting of semimetric spaces like digraphs or semigroups. We will prove that under a small additional geometric assumption their notion of hyperbolicity is preserved by quasi-isometries. Applied to semigroups, this will partially solve a problem of Gray and Kambites.
Palindromic factorization of rich words
Published
• View Publication
• BIB
A finite word $w$ is called \emph{rich} if it contains $\vert w\vert+1$ distinct palindromic factors including the empty word. For every finite rich word $w$ there are distinct nonempty palindromes $w_1, w_2,\dots,w_p$ such that $w=w_pw_{p-1}\cdots w_1$ and $w_i$ is the longest palindromic suffix of $w_pw_{p-1}\cdots w_i$, where $1\leq i\leq p$. This palindromic factorization is called \emph{UPS-factorization}. Let $luf(w)=p$ be \emph{the length of UPS-factorization} of $w$.
In 2017, it was proved that there is a constant $c$ such that if $w$ is a finite rich word and $n=\vert w\vert$ then $luf(w)\leq c\frac{n}{\ln{n}}$. We improve this result as follows: There are constants $μ, π$ such that if $w$ is a finite rich word and $n=\vert w\vert$ then \[luf(w)\leq μ\frac{n}{e^{π\sqrt{\ln{n}}}}\mbox{.}\] The constants $c,μ,π$ depend on the size of the alphabet.
Small cocircuits in minimally vertically $4$-connected matroids
Published
• View Publication
• BIB
Halin proved that every minimally $k$-connected graph has a vertex of degree $k$. More generally, does every minimally vertically $k$-connected matroid have a $k$-element cocircuit? Results of Murty and Wong give an affirmative answer when $k \le 3$. We show that every minimally vertically $4$-connected matroid with at least six elements has a $4$-element cocircuit, or a $5$-element cocircuit that contains a triangle, with the exception of a specific non-binary $9$-element matroid. Consequently, every minimally vertically $4$-connected binary matroid with at least six elements has a $4$-element cocircuit.
Linked partition ideals and the Alladi--Schur theorem
Published
• View Publication
• BIB
Let $\mathscr{S}$ denote the set of integer partitions into parts that differ by at least $3$, with the added constraint that no two consecutive multiples of $3$ occur as parts. We derive trivariate generating functions of Andrews--Gordon type for partitions in $\mathscr{S}$ with both the number of parts and the number of even parts counted. In particular, we provide an analytic counterpart of Andrews' recent refinement of the Alladi--Schur theorem.
A Novel AQC Factoring Algorithm
Due to recent technological advances, actual quantum devices are being constructed and used to perform computations. As a result, many classical problems are being restated so as to be solved on quantum computers. Some examples include satisfiability problems; clustering and classification; protein folding; and simulating many-body systems. Converting these classical problems to a quantum framework is not always straightforward. As such, instances where researchers explicitly elucidate the conversion process are not only valuable in their own right, but are likely to spawn new ideas and creative ways in regards to problem solving. In this paper, we propose a classical factoring algorithm, which we then convert into a quantum framework. Along the way, we discuss the subtle similarities and differences between the approaches, and provide a general comparison of their performance. It is our desire to not only introduce an interesting approach to factoring, but to hopefully promote more creative ways to solving problems using quantum computers. The key to our algorithm is that we convert the factoring problem to a graph theory problem using elements from group theory. The move to a graph-theoretic approach ultimately eases the transition to a quantum setting.
Products of reflections in smooth Bruhat intervals
Published in Journal of Combinatorics, Volume 14 (2023) Number 2
• View Publication
• BIB
A permutation is called smooth if the corresponding Schubert variety is smooth. Gilboa and Lapid prove that in the symmetric group, multiplying the reflections below a smooth element $w$ in Bruhat order in a compatible order yields back the element $w$. We strengthen this result by showing that such a product in fact determines a saturated chain $e \to w$ in Bruhat order, and that this property characterizes smooth elements.
Comparison of the upper bounds for the extreme points of the polytopes of line-stochastic tensors
We call a real multi-dimensional array a {\em tensor} for short. In enumerating vertices of the polytopes of stochastic tensors, different approaches have been used: {(1)} Combinatorial method via Latin squares; {(2)} Analytic (topological) approach by using hyperplanes; {(3)} Computational geometry (polytope theory) approach; and (4) Optimization (linear programming) approach. As all these approaches are worthy of consideration and investigation in the enumeration problem, various bounds have been obtained. This note is to compare the existing upper bounds arose from different approaches.
Multiset and Mixed Metric Dimension for Starphene and Zigzag-Edge Coronoid
Published
• View Publication
• BIB
Let $Γ=(V,E)$ be a simple connected graph. A vertex $a$ is said to recognize (resolve) two different elements $b_{1}$ and $b_{2}$ from $V(Γ)\cup E(Γ)$ if $d(a, b_{1})\neq d(a, b_{2}\}$. A subset of distinct ordered vertices $U_{M}\subseteq V(Γ)$ is said to be a mixed metric generator for $Γ$ if each pair of distinct elements from $V\cup E$ are recognized by some element of $U_{M}$. The mixed metric generator with a minimum number of elements is called a mixed metric basis of $Γ$. Then, the cardinality of this mixed metric basis for $Γ$ is called the mixed metric dimension of $Γ$, denoted by $mdim(Γ)$. The concept of studying chemical structures using graph theory terminologies is both appealing and practical. It enables researchers to more precisely and easily examines various chemical topologies and networks. In this paper, we consider two well known chemical structures; starphene $SP_{a,b,c}$ and six-sided hollow coronoid $HC_{a,b,c}$ and respectively compute their multiset dimension and mixed metric dimension.
Semi-equivelar toroidal maps and their vertex covers
If the face\mbox{-}cycles at all the vertices in a map are of same type then the map is called semi\mbox{-}equivelar. A map is called minimal if the number of vertices is minimal. We know the bounds of number of vertex orbits of semi-equivelar toroidal maps. These bounds are sharp. Datta \cite{BD2020} has proved that every semi-equivelar toroidal map has a vertex-transitive cover. In this article, we prove that if a semi-equivelar map is $k$ orbital then it has a finite index $m$-orbital minimal cover for $m \le k$. We also show the existence and classification of $n$-sheeted covers of semi-equivelar toroidal maps for each $n \in \mathbb{N}$.
A Note on Minimum Degree Condition for Hamiltonian $(a,b)$-Cycles in Hypergraphs
Published
• View Publication
• BIB
Let $k,a,b$ be positive integers with $a+b=k$. A $k$-uniform hypergraph is called an $(a,b)$-cycle if there is a partition $(A_0,B_0,A_1,B_1,\ldots,A_{t-1},B_{t-1})$ of the vertex set with $|A_i|=a$, $|B_i|=b$ such that $A_i\cup B_i$ and $B_i\cup A_{i+1}$ (subscripts module $t$) are edges for all $i=0,1,\ldots,t-1$. Let $\mathcal{H}$ be a $k$-uniform $n$-vertex hypergraph with $n\geq 5k$ and $n$ divisible by $k$. By applying the concentration inequality for intersections of a uniform hypergraph with a random matching developed by Frankl and Kupavskii, we show that if there exists $α\in (0,1)$ such that $δ_a(\mathcal{H})\geq (α+o(1))\binom{n-a}{b}$ and $δ_b(\mathcal{H})\geq (1-α+o(1))\binom{n-b}{a}$, then $\mathcal{H}$ contains a Hamilton $(a,b)$-cycle. As a corollary, we prove that if $δ_{\ell}(\mathcal{H})\geq (1/2 +o(1))\binom{n-\ell}{k-\ell}$ for some $\ell \geq k/2$, then $\mathcal{H}$ contains a Hamilton $(k-\ell,\ell)$-cycle and this is asymptotically best possible.
A degree bound for strongly nilpotent polynomial automorphisms
Published
• View Publication
• BIB
Let $k$ be a field of characteristic zero. Let $F = X + H$ be a polynomial mapping from $k^n \to k^n$, where $X$ is the identity mapping and $H$ has only degree two terms and higher. We say that the Jacobian matrix $JH$ of $H$ is strongly nilpotent with index $p$ if for all $X^{(1)},\ldots,X^{(p)} \in k^n$ we have \begin{align*} JH(X^{(1)})\ldots JH (X^{(p)}) = 0. \end{align*} Every $F$ of this form is a polynomial automorphism, i.e. there is a second polynomial mapping $F^{-1}$ such that $F \circ F^{-1} = F^{-1} \circ F = X$. We prove that the degree of the inverse $F^{-1}$ satisfies \begin{align*} deg(F^{-1}) \leq deg(F)^p, \end{align*} improving in the strongly nilpotent case on the well known degree bound $deg(F^{-1}) \leq deg(F)^n$ for general polynomial automorphisms.
Universal sequences of lines in $\mathbb R^d$
One of the most important and useful examples in discrete geometry is a finite sequence of points on the moment curve $γ(t)=(t,t^2,t^3,\dots ,t^d)$ or, more generally, on a {\it strictly monotone curve} in $\mathbb R^d$. These sequences as well as the ambient curve itself can be described in terms of {\it universality properties} and we will study the question: "What is a universal sequence of oriented and unoriented lines in $d$-space''
We give partial answers to this question, and to the analogous one for $k$-flats. Given a large integer $n$, it turns out that, like the case of points the number of universal configurations is bounded by a function of $d$, but unlike the case for points, there are a large number of distinct universal finite sequences of lines. We show that their number is at least $2^{d-1}-2$ and at most $(d-1)!$. However, like for points, in all dimensions except $d=4$, there is essentially a unique {\em continuous} example of a universal family of lines. The case $d=4$ is left as an open question.
On $A_α$-spectrum of joined union of graphs and its applications to power graphs of finite groups
Published
• View Publication
• BIB
For a simple graph $G$, the generalized adjacency matrix $A_α(G)$ is defined as $A_α(G)=αD(G)+(1-α)A(G), α\in [0,1]$, where $A(G)$ is the adjacency matrix and $D(G)$ is the diagonal matrix of vertex degrees of $G$. This matrix generalises the spectral theories of the adjacency matrix and the signless Laplacian matrix of $G$. In this paper, we find $ A_α $-spectrum of the joined union of graphs in terms of spectrum of adjacency matrices of its components and the zeros of the characteristic polynomials of an auxiliary matrix determined by the joined union. We determine the $ A_α$-spectrum of join of two regular graphs, the join of a regular graph with the union of two regular graphs of distinct degrees. As an applications, we investigate the $ A_α $-spectrum of certain power graphs of finite groups.
Around the combinatorial unit ball of measured foliations on bordered surfaces
Published in Int. Math. Res. Not. (2022)
• View Publication
• BIB
The volume $\mathscr{B}_Σ^{\rm comb}(\mathbb{G})$ of the unit ball -- with respect to the combinatorial length function $\ell_{\mathbb{G}}$ -- of the space of measured foliations on a stable bordered surface $Σ$ appears as the prefactor of the polynomial growth of the number of multicurves on $Σ$. We find the range of $s \in \mathbb{R}$ for which $(\mathscr{B}_Σ^{\rm comb})^{s}$, as a function over the combinatorial moduli spaces, is integrable with respect to the Kontsevich measure. The results depends on the topology of $Σ$, in contrast with the situation for hyperbolic surfaces where Arana-Herrera and Athreya (arXiv:1907.06287) recently proved an optimal square-integrability.
On I-eigenvalue free threshold graphs
A graph is said to be I-eigenvalue free if it has no eigenvalues in the interval I with respect to the adjacency matrix A. In this paper we present two algorithms for generating I-eigenvalue free threshold graphs.
Bootstrap percolation in random geometric graphs
Published
• View Publication
• BIB
Following Bradonjić and Saniee, we study a model of bootstrap percolation on the Gilbert random geometric graph on the $2$-dimensional torus. In this model, the expected number of vertices of the graph is $n$, and the expected degree of a vertex is $a\log n$ for some fixed $a>1$. Each vertex is added with probability $p$ to a set $A_0$ of initially infected vertices. Vertices subsequently become infected if they have at least $ θa \log n $ infected neighbours. Here $p, θ\in [0,1]$ are taken to be fixed constants.
We show that if $θ< (1+p)/2$, then a sufficiently large local outbreak leads with high probability to the infection spreading globally, with all but $o(n)$ vertices eventually becoming infected. On the other hand, for $ θ> (1+p)/2$, even if one adversarially infects every vertex inside a ball of radius $O(\sqrt{\log n} )$, with high probability the infection will spread to only $o(n)$ vertices beyond those that were initially infected.
In addition we give some bounds on the $(a, p, θ)$ regions ensuring the emergence of large local outbreaks or the existence of islands of vertices that never become infected. We also give a complete picture of the (surprisingly complex) behaviour of the analogous $1$-dimensional bootstrap percolation model on the circle. Finally we raise a number of problems, and in particular make a conjecture on an `almost no percolation or almost full percolation' dichotomy which may be of independent interest.
Positive matching decompositions of graphs
A matching $M$ in a graph $Γ$ is positive if $Γ$ has a vertex-labeling such that $M$ coincides with the set of edges with positive weights. A positive matching decomposition (pmd) of $Γ$ is an edge-partition $M_1,\ldots,M_p$ of $Γ$ such that $M_i$ is a positive matching in $Γ-M_1\cup\cdots\cup M_{i-1}$, for $i=1,\ldots,p$. The pmds of graphs are used to study algebraic properties of the Lovász-Saks-Schrijver ideals arising from orthogonal representations of graphs. We give a characterization of pmds of graphs in terms of alternating closed walks and apply it to study pmds of various classes of graphs including complete multipartite graphs, (regular) bipartite graphs, cacti, generalized Petersen graphs, etc. We further show that computation of pmds of a graph can be reduced to that of its maximum pendant-free subgraph.