Showing 20 papers (Total: 81378 papers, 47165 authors in database)
On the Diminished Sombor Index of Fixed-Order Molecular Graphs With Cyclomatic Number at Least 3
For a graph $G$ with edge set $E$, let $d(u)$ denote the degree of a vertex $u$ in $G$. The diminished Sombor (DSO) index of $G$ is defined as $DSO(G)=\sum_{uv\in E}\sqrt{(d(u))^2+(d(v))^2}(d(u)+d(v))^{-1}$. The cyclomatic number of a graph is the smallest number of edges whose removal makes the graph acyclic. A connected graph of maximum degree at most $4$ is known as a molecular graph. The primary motivation of the present study comes from a conjecture concerning the minimum DSO index of fixed-order connected graphs with cyclomatic number $3$, posed in the recent paper [F. Movahedi, I. Gutman, I. Redžepović, B. Furtula, Diminished Sombor index, MATCH Commun. Comput. Chem. 95 (2026) 141--162]. The present paper gives all graphs minimizing the DSO index among all molecular graphs of order $n$ with cyclomatic number $\ell$, provided that $n\ge 2(\ell-1)\ge4$.
On the number of triangles in $K_4$-free graphs
Erdős asked whether for any $n$-vertex graph $G$, the parameter $p^*(G)=\min \sum_{i\ge 1} (|V(G_i)|-1)$ is at most $\lfloor n^2/4\rfloor$, where the minimum is taken over all edge decompositions of $G$ into edge-disjoint cliques $G_i$. In a restricted case (also conjectured independently by Erdős), Győri and Keszegh [Combinatorica, 37(6) (2017), 1113--1124] proved that $p^*(G)\leq \lfloor n^2/4\rfloor$ for all $K_4$-free graphs $G$. Motivated by their proof approach, they conjectured that for any $n$-vertex $K_4$-free graph $G$ with $e$ edges, and any greedy partition $P$ of $G$ of size $r$, the number of triangles in $G$ is at least $r(e-r(n-r))$. If true, this would imply a stronger bound on $p^*(G)$. In this paper, we disprove their conjecture by constructing infinitely many counterexamples with arbitrarily large gap. We further establish a corrected tight lower bound on the number of triangles in such graphs, which would recover the conjectured bound once some small counterexamples we identify are excluded.
Quiver superconformal index and giant gravitons: asymptotics and expansions
We study asymptotics of the $d=4$, $\mathcal{N}=1$ superconformal index for toric quiver gauge theories. Using graph-theoretic and algebraic factorization techniques, we obtain a cycle expansion for the large-$N$ index in terms of the $R$-charge-weighted adjacency matrix. Applying saddle-point techniques at the on-shell $R$-charges, we determine the asymptotic degeneracy in the univariate specialization for $\hat{A}_{m}$, and along the main diagonal for the bivariate index for $\mathcal{N}=4$ and $\hat{A}_{3}$. In these cases we find $\ln |c_{n}| \sim γn^{\frac{1}{2}}+ β\ln n + α$ (Hardy-Ramanujan type). We also identify polynomial growth for $dP3$, $Y^{3,3}$ and $Y^{p,0}$, and give numerical evidence for $γ$ in further $Y^{p,p}$ examples. Finally, we generalize Murthy's giant graviton expansion via the Hubbard-Stratonovich transformation and Borodin-Okounkov formula to multi-matrix models relevant for quivers.
Spectra of T-vertex and T-edge neighbourhood corona of Two Graphs
The $T$-graph $T(G)$ of a graph $G$ is the graph whose vertices are the vertices and edges of $G$, with two vertices of $T(G)$ are adjacent if and only if the corresponding elements of $G$ are adjacent or incident. In this paper, we determine the adjacency and Laplacian spectra of $T$-vertex neighborhood corona and $T$-edge neighborhood corona of a connected regular graph with an arbitrary regular graph in terms of their eigenvalues. Moreover, applying these results we construct some non-regular $A$-cospectral and $L$-cospectral graphs.
Toroidal Cartesian Products Where One Factor is 3-Connected
In this paper, we show that if $G$ is $3$-connected, then the Cartesian product of graphs $G \square H$ embeds on the torus if and only if $G$ is outer-cylindrical and $H$ is a path on two vertices, $P_2$. As a by-product of our work, we also show that $K_{4} \square P_{3}$ has genus two.
A counterexample to linear relationship between largest common subtrees and smallest common supertrees
We present a counter-example to the statement that there is a linear reduction in both directionsbetween the largest common subtree and the smallest common supertrees. Moreover, we show that in general, even having of one of them, it is necessery to calculate the other from the linear number of nodes.
Applying Hurlbert's Linear Optimization Technique to Establish Bounds on Pebbling Numbers
This paper explores the application of Hurlbert's Linear Optimization Technique to determine bounds on pebbling numbers. By applying Hurlbert's weight functions and optimization methods, we derive upper bounds for specific graph families. The study provides a comprehensive analysis of these bounds and contributes to a broader understanding of pebbling numbers in graph theory. In particular, the weight function lemma is applied to calculate upper bounds for graphs such as the Petersen graph, the Bruhat graph, and various trees.
New examples of words for which the binomial complexities and the subword complexity coincide
The complexity of an infinite word can be measured in several ways, the two most common measures being the subword complexity and the abelian complexity. In 2015, Rigo and Salimov introduced a family of intermediate complexities indexed by $k\in\mathbb{N}_{>0}$: the $k$-binomial complexities. These complexities scale up from the abelian complexity, with which the $1$-binomial complexity coincides, to the subword complexity, to which they converge pointwise as $k$ tends to $\infty$. In this article, we provide four classes of $d$-ary infinite words -- namely, $d$-ary $1$-balanced words, words with subword complexity $n\in\mathbb{N}_{>0}\mapsto n+(d-1)$ (which form a subclass of quasi-Sturmian words), hypercubic billiard words, and words obtained by coloring a Sturmian word with another Sturmian word -- for which this scale ``collapses'', that is, for which all $k$-binomial complexities, for $k\geq 2$, coincide with the subword complexity. This work generalizes a result of Rigo and Salimov, established in their seminal 2015 paper, which asserts that the $k$-binomial complexity of any Sturmian word coincides with its subword complexity whenever $k\geq 2$.
On Graphical Partitions with Restricted Parts
We study the distributions of parts in random integer partitions subject to general arithmetic restrictions. In particular, we enumerate restricted graphical partitions of an even integer $n$ and identify the conditions under which the fraction of graphical partitions, relative to all restricted partitions, is maximal. We prove that this maximal fraction is asymptotically $O(n^{-1/2})$. Furthermore, for any set of arithmetic restrictions, we establish the existence of a minimal lower bound on the parts beyond which the influence of these restrictions on the fraction of graphical partitions becomes negligible; in this regime, the fraction depends primarily on the choice of this lower bound. We highlight a key example of partitions restricted to powers of 2, where the critical lower bound is found to be $\frac{1}{2}n^{\log2}+O(\log n)$.
Log-Concavity and Log-Convexity of Restricted Infinite Products
In this paper we provide a classification on the sign distribution of $Δ_{E,\ell}(n):= p_{E,\ell }(n)^2 - p_{E,\ell }(n-1) \, p_{E,\ell }(n+1)$, where \begin{equation*} \sum_{n =0}^{\infty} p_{E,\ell }(n) \, q^n := \prod_{n \in S}
\left(1 - q^n \right)^{-f_{\ell}(n)},\quad (\ell \in \mathbb{N}, f_1\equiv 1). \end{equation*} We take the product over $1\in S \subset \mathbb{N}$ and denote the complement by $E$, the set of exceptions. In the case of $\ell=1$ and $E$ the multiples of $k$, $p_{E,1}\left( n\right) $ represents the number of $k$-regular partitions. More generally, let $f_{\ell}$ satisfy a certain growth condition. We determine the signs of $Δ_{E,\ell }(n)$ for $\ell$ large. The signs mainly depend on the occurrence of subsets of $\{2,3,4,5\}$ as a part of the exception set and the residue class of $n$ modulo $ r$, where $r $ depends on $E$. For example, let $2,3 \in S$ and $4$ an exception. Let $n$ be large. Then for almost all $\ell$ we have \begin{equation*} Δ_{E,\ell }(n) >0 \,\,\, \text{ for } n\equiv 2 \pmod{3}. \end{equation*} If we assume $3,4 \in S$ and $2$ an exception. Let $n$ be large. Then for almost all $\ell$ we have \begin{equation*} Δ_{E,\ell }(n) < 0 \,\,\, \text{ for } n\equiv 2 \pmod{3}. \end{equation*} Note that this property is independent of the integers $k\in S,k>4$.
Tight complexity bounds for diagram commutativity verification
A diagram $\mathcal{D} = (G, l)$ over a monoid $M$ is an oriented graph $G = (V, E)$ endowed with a labeling $l\colon E \to M$. A diagram is commutative if and only if for any two oriented paths with the same endpoints, the products in $M$ of their edge labels coincide. We propose the first asymptotically optimal algorithm for diagram commutativity verification applicable to all graph families. For graphs with $\lvert V\rvert \preceq \lvert E\rvert \preceq \lvert V\rvert^2$, which covers most practically relevant cases, our algorithm runs in $$ O\bigl(|V|\,|E|\bigr) \cdot \bigl(T_{\mathrm{equal}} + T_{\mathrm{multi}}\bigr) $$ time; here $T_{\mathrm{equal}}$ and $T_{\mathrm{multi}}$ denote the times to perform an equality check and a multiplication in $M$, respectively. We also establish new lower bounds on the numbers of equality checks and multiplications necessary for commutativity verification, which asymptotically match our algorithm's cost and thus prove its tightness.
$k$-Fair Coalitions in Graphs
Let $G = (V,E)$ be a simple graph. A subset $S \subseteq V$ is called a $k$-fair dominating set if every vertex not in $S$ has exactly $k$ neighbors in $S$. Two disjoint sets $A, B \subseteq V$ form a $k$-fair coalition of $G$ if neither $A$ nor $B$ is a $k$-fair dominating set and the union $A \cup B$ is a $k$-fair dominating set of $G$. A partition $π= \{V_1, V_2, \ldots, V_m\}$ of $V$ is called a $k$-fair coalition partition, if every set $V_i\inπ$, either $V_i$ is a $k$-fair dominating set with exactly $k$ vertices, or $V_i$ is not a $k$-fair dominating set, but forms a $k$-fair coalition with some other set $V_j$ in $π$. The $k$-fair coalition number $C_{kf}(G)$ is the largest possible size of a $k$-fair coalition partition for $G$. The objective of this study is to initiate an examination into the notion of $k$-fair coalitions in graphs and present essential findings.
Nordhaus--Gaddum type bounds for the complement rank
Let $G$ be an $n$-vertex simple graph with adjacency matrix $A_G$. The complement rank of $G$ is defined as $\operatorname{rank}(A_G+I)$, where $I$ is the identity matrix. In this paper we study Nordhaus--Gaddum type bounds for the complement rank. We prove that for every graph $G$, $$ \operatorname{rank}(A_G+I)\cdot\operatorname{rank}(A_{\overline G}+I) \ge n, \qquad \operatorname{rank}(A_G+I)+\operatorname{rank}(A_{\overline G}+I) \ge n+1, $$ with the equality cases characterized. We further obtain strengthened multiplicative lower bounds under additional structural assumptions. Finally, we show that the trivial upper bounds $$ \operatorname{rank}(A_G+I)\cdot\operatorname{rank}(A_{\overline G}+I) \le n^2, \qquad \operatorname{rank}(A_G+I)+\operatorname{rank}(A_{\overline G}+I) \le 2n $$ are tight by explicitly constructing, for every $n\ge 4$, graphs $G$ with $\operatorname{rank}(A_G+I)=\operatorname{rank}(A_{\overline G}+I)=n$.
Efficient Algorithms for Partitioning Circulant Graphs with Optimal Spectral Approximation
The Marcus-Spielman-Srivastava theorem (Annals of Mathematics, 2015) for the Kadison-Singer conjecture implies the following result in spectral graph theory: For any undirected graph $G = (V,E)$ with a maximum edge effective resistance at most $α$, there exists a partition of its edge set $E$ into $E_1 \cup E_2$ such that the two edge-induced subgraphs of $G$ spectrally approximates $(1/2)G$ with a relative error $O(\sqrtα)$. However, the proof of this theorem is non-constructive. It remains an open question whether such a partition can be found in polynomial time, even for special classes of graphs.
In this paper, we explore polynomial-time algorithms for partitioning circulant graphs via partitioning their generators. We develop an efficient algorithm that partitions a circulant graph whose generators form an arithmetic progression, with an error matching that in the Marcus-Spielman-Srivastava theorem and optimal, up to a constant. On the other hand, we prove that if the generators of a circulant graph are ``far" from an arithmetic progression, no partition of the generators can yield two circulant subgraphs with an error matching that in the Marcus-Spielman-Srivastava theorem.
In addition, we extend our algorithm to Cayley graphs whose generators are from a product of multiple arithmetic progressions.
The Horton-Strahler number of butterfly trees
The Horton-Strahler number (HS) is a measure of branching complexity of rooted trees, introduced in hydrology and later studied in parallel computing under the name register function. While its order of growth is well understood for classical random trees, fluctuation behavior has largely resisted analysis. In this work we investigate the HS in the setting of butterfly trees -- binary trees constructed from butterfly permutations, a rich class of separable permutations with origins in numerical linear algebra and parallel architectures. For the subclass of simple butterfly trees, we exploit their recursive gluing structure to model the HS as an additive functional of a finite-state Markov process. This framework yields sharp distributional results, including a law of large numbers and a Central Limit Theorem with explicit variance growth, providing what appears to be the first genuine Gaussian limit law for the HS in a nontrivial random tree model. Extending to biased constructions, we further establish functional limit theorems via analytic and probabilistic tools. For general butterfly trees, while exact analysis remains open, empirical sampling shows that the HS distribution is confined to a narrower support than in classical models, and appears to concentrate tightly near the upper bound $\lfloor \log_4 N\rfloor$.
Card Dealing Math
Various card tricks involve under-down dealing, where alternatively one card is placed under the deck and the next card is dealt. We study how the cards need to be prepared in the deck to be dealt in order. The order in which the $N$ cards are prepared defines a permutation.
In this work, we analyze general dealing patterns, considering properties of the resulting permutations. We give recursive formulas for these permutations, their inverses, the final dealt card, and the dealing order of the first card. We discuss some particular examples of dealing patterns and conclude with an analysis of several existing and novel magic card tricks making use of dealing patterns. Our discussions involve 30 existing sequences in the OEIS, and we introduce 44 new sequences to that database.
Triangle-Covered Graphs: Algorithms, Complexity, and Structure
The widely studied edge modification problems ask how to minimally alter a graph to satisfy certain structural properties. In this paper, we introduce and study a new edge modification problem centered around transforming a given graph into a triangle-covered graph (one in which every vertex belongs to at least one triangle). We first present tight lower bounds on the number of edges in any connected triangle-covered graph of order $n$, and then we characterize all connected graphs that attain this minimum edge count. For a graph $G$, we define the notion of a $Δ$-completion set as a set of non-edges of $G$ whose addition to $G$ results in a triangle-covered graph. We prove that the decision problem of finding a $Δ$-completion set of size at most $t\geq0$ is $\mathbb{NP}$-complete and does not admit a constant-factor approximation algorithm under standard complexity assumptions. Moreover, we show that this problem remains $\mathbb{NP}$-complete even when the input is restricted to connected bipartite graphs. We then study the problem from an algorithmic perspective, providing tight bounds on the minimum $Δ$-completion set size for several graph classes, including trees, chordal graphs, and cactus graphs. Furthermore, we show that the triangle-covered problem admits an $(\ln n +1)$-approximation algorithm for general graphs. For trees and chordal graphs, we design algorithms that compute minimum $Δ$-completion sets. Finally, we show that the threshold for a random graph $\mathbb{G}(n, p)$ to be triangle-covered occurs at $n^{-2/3}$.
Cycle systems, coparking functions, and h-vectors of matroids
The h-vector of a matroid M is an important invariant related to the independence complex of M and can also be recovered from an evaluation of its Tutte polynomial. A well-known conjecture of Stanley posits that the h-vector of a matroid is a pure O-sequence, meaning that it can be obtained by counting faces of a pure multicomplex. Merino has established Stanley's conjecture for the case of cographic matroids via chip-firing on graphs and the concept of a G-parking function. Inspired by these constructions, we introduce the notion of a cycle system for a matroid M -- a family of cycles (unions of circuits) of M with overlap properties that mimic cut-sets in a graph. A choice of cycle system on M defines a collection of integer sequences that we call coparking functions. We show that for any cycle system on M, the set of coparking functions is in bijection with the set of bases of M. We show that maximal coparking functions all have the same degree, and that cycle systems behave well under deletion and contraction. This leads to a proof of Stanley's conjecture for the case of matroids that admit cycle systems, which include, for instance, graphic matroids of cones as well as K33-free graphs.
Ryser's Theorem for Simple Multi-Latin Rectangle
Published
• View Publication
• BIB
We prove a general result on completing objects similar to Latin rectangles in which the number of occurrences of each symbol is prescribed, each cell contains multiple symbols, and no cell contains repeated symbols. This generalizes several results in the literature, and leads to confirming a conjecture of Cavenagh, Hämäläinen, Lefevre, and Stones.
An $r\times s$ {\it $λ$-Latin rectangle} $L$ is an $r\times s$ array in which each cell contains a multiset of $λ$ elements from the set $\{1,\dots,n\}$ of symbols such that each symbol occurs at most $λ$ times in each row and column. If $r=s=n$, then $L$ is a {\it $λ$-Latin square}. A $λ$-Latin rectangle is {\it simple} if no symbol is repeated in any cell. Cavenagh et al. asked for conditions that ensure a simple $λ$-Latin rectangle can be extended to a simple $λ$-Latin square. We solve this problem in a more general setting by allowing the number of occurrences of each symbol to be prescribed. Cavenagh et al. conjectured that for each $r, λ$ there exists some $n(r, λ)$ such that for any $n \geq n(r, λ)$, every simple partial $λ$-Latin square of order $r$ (each cell contain at most $λ$ symbols) embeds in a simple $λ$-Latin square of order $n$. We confirm this conjecture.
On the Squared Distance Matrix of a Starlike Block Graph
Let $D(G)$ be the distance matrix of a simple connected graph $G$. The Hadamard product $D(G)~\circ~ D(G)$ is called the squared distance matrix of $G$, and is denoted by $Δ(G)$. A simple connected graph is called a starlike block graph if it has a central cut vertex, and each of its blocks is a complete graph. Let $ \mathcal{S}(n_1, n_2, \ldots, n_b)$ be the starlike block graph with blocks $K_{n_1+1}, K_{n_2+1}, \ldots, K_{n_b+1} $ on $n=1 + \sum_{i=1}^b n_i$ vertices. In this article, we compute the determinant of $Δ( \mathcal{S}(n_1, n_2, \ldots, n_b))$ and find its inverse as a rank-one perturbation of a positive semidefinite Laplacian-like matrix $\mathcal{L}$ with rank $n-1$. We also investigate the inertia of $Δ( \mathcal{S}(n_1, n_2, \ldots, n_b))$. Furthermore, for a fixed value of $ n $ and $ b $, we determine the extremal graphs that uniquely attain the maximum and minimum spectral radius of the squared distance matrix for starlike block graphs on $ n $ vertices and $ b $ blocks.