Showing 20 papers (Total: 83722 papers, 48319 authors in database)
Counting cliques without generalized theta graphs
Published
• View Publication
• BIB
The \textit{generalized Turán number} $\mathrm{ex}(n, T, F)$ is the maximum possible number of copies of $T$ in an $F$-free graph on $n$ vertices for any two graphs $T$ and $F$. For the book graph $B_t$, there is a close connection between $\ex(n,K_3,B_t)$ and the Ruzsa-Szemerédi triangle removal lemma. Motivated by this, in this paper, we study the generalized Turán problem for generalized theta graphs, a natural extension of book graphs. Our main result provides a complete characterization of the magnitude of $\ex(n,K_3,H)$ when $H$ is a generalized theta graph, indicating when it is quadratic, when it is nearly quadratic, and when it is subquadratic. Furthermore, as an application, we obtain the exact value of $\ex(n, K_r, kF)$, where $F$ is an edge-critical generalized theta graph, and $3\le r\le k+1$, extending several recent results.
Maxima of the index: forbidden unbalanced cycles
This paper aims to address the problem: what is the maximum index among all $\mathcal{C}^-_r$-free unbalanced signed graphs, where $\mathcal{C}^-_r$ is the set of unbalanced cycle of length $r$.
Let $Γ_1 = C_3^- \bullet K_{n-2}$ be a signed graph obtained by identifying a vertex of $K_{n-2}$ with a vertex of $C_3^-$ whose two incident edges in $C_3^-$ are all positive, where $C_3^-$ is an unbalanced triangle with one negative edge.
It is shown that if $Γ$ is an unbalanced signed graph of order $n$, $r$ is an integer in $\{4, \cdots, \lfloor \frac{n}{3}\rfloor + 1 \}$, and
$$λ_{1}(Γ) \geq λ_{1}(Γ_1), $$ then $Γ$ contains an unbalanced cycle of length $r$, unless $Γ\sim Γ_1$.
\indent It is shown that the result are significant in spectral extremal graph problems.
Because they can be regarded as a extension of the spectral Tur{á}n problem for cycles [Linear Algebra Appl. 428 (2008) 1492--1498] in the context of signed graphs.
Furthermore, our result partly resolved a recent open problem raised by Lin and Wang [arXiv preprint arXiv:2309.04101 (2023)].
The number of independent sets in bipartite graphs and benzenoids
Published
• View Publication
• BIB
Given a graph $G$, we study the number of independent sets in $G$, denoted $i(G)$. This parameter is known as both the Merrifield-Simmons index of a graph as well as the Fibonacci number of a graph. In this paper, we give general bounds for $i(G)$ when $G$ is bipartite and we give its exact value when $G$ is a balanced caterpillar. We improve upon a known upper bound for $i(T)$ when $T$ is a tree, and study a conjecture that all but finitely many positive integers represent $i(T)$ for some tree $T$. We also give exact values for $i(G)$ when $G$ is a particular type of benzenoid.
Difference ascent sequences
Published
• View Publication
• BIB
Let alpha = a_1 a_2 ... a_n be a sequence of nonnegative integers. The ascent set of alpha, Asc(alpha), consists of all indices k where a_{k+1} > a_k. An ascent sequence is alpha where the growth of the a_k is bounded by the elements of Asc(alpha). These sequences were introduced by Bousquet-Mélou, Claesson, Dukes and Kitaev and have many wonderful properties. In particular, they are in bijection with unlabeled (2+2)-free posets, permutations avoiding a particular bivincular pattern, certain upper-triangular nonnegative integer matrices, and a class of matchings. A weak ascent of alpha is an index k with a_{k+1} >= a_k and weak ascent sequences are defined analogously to ascent sequences. These were studied by Bényi, Claesson and Dukes and shown to have analogous equinumerous sets. Given a nonnegative integer d, we define a difference d ascent to be an index k such that a_{k+1} > a_k - d. We study the properties of the corresponding d-ascent sequences, showing that some of the maps from the weak case can be extended to bijections for general d while the extensions of others continue to be injective (but not surjective). We also make connections with other combinatorial objects such as rooted duplication trees and restricted growth functions.
Arndt compositions: a generating functions approach
We use generating functions to enumerate Arndt compositions, that is, integer compositions where there is a descent between every second pair of parts, starting with the first and second part, and so on. In 2013, Jörg Arndt noted that this family of compositions is counted by the Fibonacci sequence. We provide an approach that is purely based on generating functions to prove this observation. We also enumerate these compositions with respect to the number of parts and the last part. From this approach, we can generalize some recent results given by Hopkins and Tangboonduangjit in 2023. Finally, we study some possible generalizations of this counting problem.
Lattice Path Delta Matroids
We initiate the study of a type $C_n$ generalization of the lattice path matroids defined by Bonin, de Mier, and Noy. These are delta matroids whose feasible sets are in bijection with lattice paths which are symmetric along the main diagonal. We describe deletion, contraction, enveloping matroids, and the homogeneous components of these delta matroids in terms of the combinatorics of symmetric lattice paths.
In the second half, we study the convex geometry of the feasible polytopes of lattice path delta matroids. We show that these polytopes decompose into the feasible polytope of special lattice paths corresponding to intervals in the type $C_n$ Gale order whose related Richardson variety is a toric variety. Further, these special polytopes inherit a unimodular triangulation from Stanley's Eulerian triangulation of the hypercube. As a consequence, the volume of these polytopes is the proportion of permutations with specific ascent sets.
A connection between the $A_α$-spectrum and the Lovász theta number
Published
• View Publication
• BIB
We show that the smallest $α$ so that $αD + (1-α)A \succcurlyeq 0$ is at least $1/\vartheta(\overline{G})$, significantly improving upon a result due to Nikiforov and Rojo (2017). In fact, we display an even stronger connection: if the nonzero entries of $A$ are allowed to vary and those of $D$ vary accordingly, then we show that this smallest $α$ is in fact equal to $1/\vartheta(\overline{G})$. We also show other results obtained as an application of this optimization framework, including a connection to the well-known quadratic formulation for $ω(G)$ due to Motzkin and Straus (1964).
Equitable Coloring in 1-Planar Graphs
Published in Discrete Math. Vol. 348(2), Feb. 2025, 114286
• View Publication
• BIB
For every $r\ge13$, we show every 1-planar graph $G$ with $Δ(G)\le r$ has an equitable $r$-coloring.
A method to compute the strength using bounds
A numbering $f$ of a graph $G$ of order $n$ is a labeling that assigns distinct elements of the set $\{1,2, \ldots, n \}$ to the vertices of $G$. The strength $\mathrm{str}\left(G\right) $ of $G$ is defined by $\mathrm{str}\left( G\right) =\min \left\{ \mathrm{str}_{f}\left( G\right)\left\vert f\text{ is a numbering of }G\right. \right\}$, where $\mathrm{str}_{f}\left( G\right) =\max \left\{ f\left( u\right) +f\left( v\right) \left\vert uv\in E\left( G\right) \right. \right\} $. A few lower and upper bounds for the strength are known and, although it is in general hard to compute the exact value for the strength, a reasonable approach to this problem is to study for which graphs a lower bound and an upper bound for the strength coincide. In this paper, we study general conditions for graphs that allow us to determine which graphs have the property that lower and upper bounds for the strength coincide and other graphs for which this approach is useless.
On the Number of $A$-mappings with Remainder
Mappings of a finite set into itself with restriction on the cycle lengths are considered (the so-called A-mappings). Asymptotics is given for the number of these mappings with a power-law reduction of the remainder.
Repetition factorization of automatic sequences
Published
• View Publication
• BIB
Following Inoue et al., we define a word to be a repetition if it is a (fractional) power of exponent at least 2. A word has a repetition factorization if it is the product of repetitions. We study repetition factorizations in several (generalized) automatic sequences, including the infinite Fibonacci word, the Thue-Morse word, paperfolding words, and the Rudin-Shapiro sequence.
Every latin hypercube of order 5 has transversals
Published in Journal of Combinatorial designs, 32 (11) P. 679--699, 2024
• View Publication
• BIB
We prove that for all n>1 every latin n-dimensional cube of order 5 has transversals. We find all 123 paratopy classes of layer-latin cubes of order 5 with no transversals. For each $n\geq 3$ and $q\geq 3$ we construct a (2q-2)-layer latin n-dimensional cuboid with no transversals. Moreover, we find all paratopy classes of nonextendible and noncompletable latin cuboids of order 5.
Inequalities and asymptotics for hook numbers in restricted partitions
Published
• View Publication
• BIB
In this paper, we consider the asymptotic properties of hook numbers of partitions in restricted classes. More specifically, we compare the frequency with which partitions into odd parts and partitions into distinct parts have hook numbers equal to $h \geq 1$ by deriving an asymptotic formula for the total number of hooks equal to $h$ that appear among partitions into odd and distinct parts, respectively. We use these asymptotic formulas to prove a recent conjecture of the first author and collaborators that for $h \geq 2$ and $n \gg 0$, partitions into odd parts have, on average, more hooks equal to $h$ than do partitions into distinct parts. We also use our asymptotics to prove certain probabilistic statements about how hooks distribute in the rows of partitions.
Plane Multigraphs with One-Bend and Circular-Arc Edges of a Fixed Angle
For an angle $α\in (0,π)$, we consider plane graphs and multigraphs in which the edges are either (i) one-bend polylines with an angle $α$ between the two edge segments, or (ii) circular arcs of central angle $2(π-α)$. We derive upper and lower bounds on the maximum density of such graphs in terms of $α$. As an application, we improve upon bounds for the number of edges in $αAC_1^=$ graphs (i.e., graphs that can be drawn in the plane with one-bend edges such that any two crossing edges meet at angle $α$). This is the first improvement on the size of $αAC_1^=$ graphs in over a decade.
Involutary pemutations over finite fields given by trinomials and quadrinomials
Published
• View Publication
• BIB
For all finite fields of $q$ elements where $q\equiv1\pmod4$ we have constructed permutation polynomials which have order 2 as permutations, and have 3 terms, or 4 terms as polynomials. Explicit formulas for their coefficients are given in terms of the primitive elements of the field. We also give polynomials providing involutions with larger number of terms but coefficients will be conveniently only two possible values. Our procedure gives at least $(q-1)/4$ trinomials, and $(q-1)/2$ quadrinomials, all yielding involutions with unique fixed points over a field of order $q$. Equal number of involutions with exactly $(q+1)/2$ fixed-points are provided as quadrinomials.
Minimal graphs with eigenvalue multiplicity of $n-d$
Published
• View Publication
• BIB
For a connected graph $G$ with order $n$, let $e(G)$ be the number of its distinct eigenvalues and $d$ be the diameter. We denote by $m_G(μ)$ the eigenvalue multiplicity of $μ$ in $G$. It is well known that $e(G)\geq d+1$, which shows $m_G(μ)\leq n-d$ for any real number $μ$. A graph is called $minimal$ if $e(G)= d+1$. In 2013, Wang (\cite{WD}, Linear Algebra Appl.) characterize all minimal graphs with $m_G(0)=n-d$. In 2023, Du et al. (\cite{Du}, Linear Algebra Appl.) characterize all the trees for which there is a real symmetric matrix with nullity $n-d$ and $n-d-1$. In this paper, by applying the star complement theory, we prove that if $G$ is not a path and $m_G(μ)= n-d$, then $μ\in \{0,-1\}$. Furthermore, we completely characterize all minimal graphs with $m_G(-1)=n-d$.
Characterization of transmission irregular starlike and double starlike trees
Published in Comp. Appl. Math. 43 (2024) Art. No. 262
• View Publication
• BIB
The transmission of a vertex in a connected graph is the sum of its distances to all the other vertices. A graph is transmission irregular (TI) when all of its vertices have mutually distinct transmissions. In an earlier paper, Al-Yakoob and Stevanović [Appl. Math. Comput. 380 (2020), 125257] gave the full characterization of TI starlike trees with three branches. Here, we improve these results by using a different approach to provide the complete characterization of all TI starlike trees. Moreover, we find the precise conditions under which a double starlike tree is TI. Finally, we implement the aforementioned conditions in order to find several infinite families of TI starlike trees and TI double starlike trees.
Generating functions and Abdelkader's random walk model
We link questions by Abdelkader about a class of random walks to \emph{Moran walks}.
Rigid partitions: from high connectivity to random graphs
Published
• View Publication
• BIB
A graph is called $d$-rigid if there exists a generic embedding of its vertex set into $\mathbb{R}^d$ such that every continuous motion of the vertices that preserves the lengths of all edges actually preserves the distances between all pairs of vertices. The rigidity of a graph is the maximal $d$ such that the graph is $d$-rigid. We present new sufficient conditions for the $d$-rigidity of a graph in terms of the existence of ``rigid partitions'' -- partitions of the graph that satisfy certain connectivity properties. This extends previous results by Crapo, Lindemann, and Lew, Nevo, Peled and Raz.
As an application, we present new results on the rigidity of highly-connected graphs, random graphs, random bipartite graphs, pseudorandom graphs, and dense graphs. In particular, we prove that random $C d\log d$-regular graphs are typically $d$-rigid, demonstrate the existence of a giant $d$-rigid component in sparse random binomial graphs, and show that the rigidity of relatively sparse random binomial bipartite graphs is roughly the same as that of the complete bipartite graph, which we consider an interesting phenomenon. Furthermore, we show that a graph admitting $\binom{d+1}{2}$ disjoint connected dominating sets is $d$-rigid. This implies a weak version of the Lovász--Yemini conjecture on the rigidity of highly-connected graphs. We also present an alternative short proof for a recent result by Lew, Nevo, Peled, and Raz, which asserts that the hitting time for $d$-rigidity in the random graph process typically coincides with the hitting time for minimum degree $d$.
A graph-theoretic remark on Stieltjes moment sequences
For any integer $k\geq 1,$ define $L_k: \mathbb{R}^\mathbb{N}\to \mathbb{R}^\mathbb{N}$ by $(a_n)_{n\in\mathbb{N}}\mapsto (a'_n)_{n\in\mathbb{N}}$ where $a'_n=\det(a_{n+i+j})_{i,j=0}^{k-1}$. Previously, Zhu showed that $L_k$ preserves the Stieltjes moment (SM) property of sequences (Proc. Am. Math. Soc., 2019). The proof used the characterization of SM sequences in terms of positive semidefinite Hankel matrices. In this note, we give another proof by viewing SM sequences as weighted enumerations of closed walks on $\mathbb{N}$. Our proof is essentially a double-counting argument that views a $k$-tuple of non-crossing Dyck paths as a single closed walk on some bipartite subgraph of $\mathbb{N}^k.$