Showing 20 papers (Total: 83190 papers, 48060 authors in database)
The distance spectrum of the line graph of the crown graph
The distance eigenvalues of a connected graph $G$ are the eigenvalues of its distance matrix $D(G)$. A graph is called distance integral if all of its distance eigenvalues are integers. Let $n \geq 3$ be an integer. The crown graph $Cr(n)$ is a graph obtained from the complete bipartite graph $K_{n,n}$ by removing a perfect matching. Let $L(Cr(n))$ denote the line graph of the crown graph $Cr(n)$. Using the equitable partition method, the set of distinct distance eigenvalues of the graph $L(Cr(n))$ has been determined which shows that this graph is distance integral [S.Morteza Mirafzal, The line graph of the crown graph is distance integral, Linear and Multilinear Algebra 71, no. 4 (2023): 662-672]. The distance spectrum of the graph $L(Cr(n))$ has not been found yet. In this paper, having the set of distance eigenvalues of $L(Cr(n))$ in the hand, we determine the distance spectrum of this graph.
The Combinatorial Nullstellensatz, Chevalley-Warning Theorem and weak Finitesatz in skew polynomial rings
We study zeros of polynomials in the multivariate skew polynomial ring $D[x_1,\ldots,x_n; σ]$, where $σ$ is an automorphism of a division ring $D$. We prove a generalization of Alon's celebrated Combinatorial Nullstellensatz for such polynomials. In the case where $D$ is a finite field, we prove skew analogues of the Chevalley--Warning theorem, Ax's Lemma, and the weak case of Terjanian's Finitesatz.
IP Models for Minimum Zero Forcing Sets, Forts, and Related Graph Parameters
Zero forcing is a binary coloring game on a graph where a set of filled vertices can force non-filled vertices to become filled following a color change rule. In 2008, the zero forcing number of a graph was shown to be an upper bound on its maximum nullity. In addition, the combinatorial optimization problem for the zero forcing number was shown to be NP-hard. Since then, the study of zero forcing and its related parameters has received considerable attention. In 2018, the forts of a graph were defined as non-empty subsets of vertices where no vertex outside the set has exactly one neighbor in the set. Forts have been used to model zero forcing as an integer program and provide lower bounds on the zero forcing number. To date, three integer programming models have been developed for the zero forcing number of a graph: the Infection Model, Time Step Model, and Fort Cover Model. In this article, we present variations of these models for computing the zero forcing number and related graph parameters, such as the minimum and maximum propagation times, throttling number, and fractional zero forcing number. In addition, we present several new models for computing the realized propagation time interval, all minimal forts of a graph, and the fort number of a graph. We conclude with several numerical experiments that demonstrate the effectiveness of our models when applied to small and medium order graphs. Moreover, we provide experimental evidence for several open conjectures regarding the propagation time interval, the number of minimal forts, the fort number, and the fractional zero forcing number of a graph.
An equivalent conjecture to Feige's Conjecture
Let X1, ..., Xn be arbitrary non-negative independent random variables with respective expected values $μ_{i}$ at most one. We sketch but do not prove an equivalent conjecture to Feige's Conjecture $\mathbb{P} \left( \sum_{i=1}^{n} X_{i} < μ+ 1 \right) \geq \exp \left(-1 \right)$, where $μ$ is the expected value of the sum of the random variables. We show by a simple example how this inequality finds use in mathematical finance.
Improved Bounds on Rainbow $k$-partite Matchings
Published
• View Publication
• BIB
Let $n$, $s$, and $k$ be positive integers. We say that a sequence $f_1,\dots,f_s$ of nonnegative integers is satisfying if for any collection of $s$ families $\mathcal F_1,\dots,\mathcal F_s\subseteq [n]^k$ such that $|\mathcal F_i|=f_i$ for all $i$, there exists a rainbow matching, i.e., a list of pairwise disjoint tuples $F_1\in\mathcal F_1$, $\dots$, $F_s\in\mathcal F_s$. We investigate the question, posed by Kupavskii and Popova, of determining the smallest $c=c(n,s,k)$ such that the arithmetic progression $c$, $n^{k-1}+c$, $2n^{k-1}+c$, $\dots$, $(s-1)n^{k-1}+c$ is satisfying. We prove that the sequence is satisfying for $c=Ω_k(\max(s^2n^{k-2}, sn^{k-3/2}\sqrt{\log s}))$, improving the previous result by Kupavskii and Popova. We also study satisfying sequences for $k=2$ using the polynomial method, extending the previous result by Kupavskii and Popova to when $n$ is not prime.
CR tournaments
The determinant of a tournament $T$ is defined as the determinant of the skew-adjacency matrix of $T$. For a positive odd integer $k$, let $\mathcal{D}_k$ be the set of tournaments whose all subtournaments have determinant at most $k^2$. Some existing results show that, for $k \in \{1,3,5\}$, a tournament $T \in \mathcal{D}_k \backslash \mathcal{D}_{k-2}$ ($T \in \mathcal{D}_1$ when $k=1$) if and only if $T$ is switching equivalent to a transitive blowup of $L_{k+1}$, where $L_{k+1}$ is a tournament of order $k+1$ with a specific structure.
There exist some tournaments with the special property that adding any vertex that does not conform to their structure increases the maximum value of determinants among their subtournaments. We define these tournaments as CR tournaments. In this paper, we introduce CR tournaments, strong CR tournaments and basic tournaments, and show some properties and conclusions on these tournaments. For a basic strong CR tournament $H \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$, we show that if $T$ contains a subtournament which is switching isomorphic to $H$, then $T \in \mathcal{D}_{k} \backslash \mathcal{D}_{k-2}$ if and only if $T$ is switching equivalent to a transitive blowup of $H$. Moreover, we demonstrate that all $L_n$ are strong CR tournaments, and based on this conclusion, we answer a question posed in [J. Zeng, L. You, On determinants of tournaments and $\mathcal{D}_k$, arXiv:2408.06992, 2024.], and propose some questions for further research.
Magical Property of Fullerenes
Fullerenes are an allotrope of carbon having hollow, cage-like structure. Atoms in the molecule are arranged in pentagonal and hexagonal rings, such that each atom is connected to three other atoms. Simple polyhedra having only pentagonal and hexagonal faces are a mathematical model for fullerenes. We say that a fullerene with $n$ vertices has magical property if the numbers $1, 2, \dots, n$ may be assigned to its vertices so that the sums of the numbers in each pentagonal faces are equal and the sums of the numbers in each hexagonal faces are equal. We show that $C_{8n+4}$ does not admit such an arrangement for all $n$, while there are fullerenes, like $C_{24}$ and $C_{26}$ that have many nonisomorphic such arrangements.
Number of orbits of $k$-subsets of permutations
Published
• View Publication
• BIB
Let $S_n$ denote the symmetric group of order $n$. Say that two subsets $x, y\subseteq S_n$ are \emph{equivalent} if there exist permutations $g_1, g_2\in S_n$ such that $g_1xg_2=y$, where multiplication is understood elementwise. Recently, [Tripathi, 2024] and [Kushwaha and Triathi, 2025] asked for the asymptotics of $T(n,k)$, the number of subsets of $S_n$ of size $k$ up to this equivalence. It is easy to see that $T(n,0)=T(n, 1)=1$ and $T(n, 2)=p(n)-1$, where $p(n)$ is the number of integer partitions of $n$. In this work, we show that $T(n,k) = Λ_n(k)(1+o_n(1))$ for $3\leq k\leq n!-3$, where $Λ_n(k)=\frac{1}{n!^2}\binom{n!}{k}$. Furthermore, we prove that $$\frac{1}{Λ_n(n!/2)}T\!\left(n,\left[\sqrt{\tfrac{n!}{4}}x+\tfrac{n!}{2}\right]\right) ~\xrightarrow{n\to\infty}~ \exp\!\left(-\tfrac{x^2}{2}\right),$$ uniformly over $\mathbb{R}$.
Hurwitz--Lerch Type Families of Poly-Bernoulli and Poly-Cauchy Numbers and Polynomials with Parameters $(α,a)$
This study introduces $(α,a)$-parameterized Hurwitz-Lerch type poly-Bernoulli and poly-Cauchy numbers and polynomials, extending classical sequences through the Hurwitz-Lerch zeta function. We derive generating functions, recurrences, and explicit formulas, revealing deeper structures and connections with zeta functions and polylogarithms. The results enrich existing theory and open new directions in analytic number theory and combinatorics.
Unbounded degree spanning hypertrees in Dirac hypergraphs
In 2001, Komlós, Sárközy, and Szemerédi proved that every sufficiently large $n$-vertex graph with minimum degree at least $\left(1/2+γ\right)n$ contains all spanning trees with maximum degree at most $cn/\log n$. We extend this result to hypergraphs by considering loose hypertrees, which are linear hypergraphs obtained by successively adding edges that share exactly one vertex with a previous edge.
For all $k > \ell \geq 2$, we determine asymptotically optimal $\ell$-degree conditions that ensure the existence of all rooted spanning loose hypertrees, without any degree condition, in terms of the $(\ell-1)$-degree threshold for the existence of a perfect matching in $(k-1)$-graphs.
As a corollary, we also asymptotically determine the $\ell$-degree threshold for the existence of bounded degree spanning loose hypertrees in $k$-graphs for $k/2 < \ell < k$, confirming a conjecture of Pehova and Petrova in this range. In our proof, we avoid the use of Szemerédi's regularity lemma.
A decomposition of graph a-numbers
We study the $a$-sequence $(a_0(G), a_1(G), \cdots)$ of a finite simple graph $G$, defined recursively through a combinatorial rule and known to coincide with the sequence of rational Betti numbers of the real toric variety associated with $G$.
In this paper, we establish a combinatorial and topological decomposition formula for the $a$-sequence. As an application, we show that the $a$-sequence is monotone under graph inclusion; that is, $a_i(G) \geq a_i(H)$ for all $i \geq 0$ whenever $H$ is a subgraph of $G$, and obtain the lower and upper bounds of $a_i$-numbers. We also prove that the $a$-sequence is unimodal in $i$ for a broad class of graphs $G$, including those with a Hamiltonian circuit or a universal vertex. These results provide a new class of topological spaces whose Betti number sequences are unimodal but not necessarily log concave, contributing to the study of real loci in algebraic geometry.
On $P$-crucial square-free permutations
Published
• View Publication
• BIB
A permutation is square-free if it does not contain two consecutive factors of length two or more that are order-isomorphic. A square-free permutation of length $n$ is $P$-crucial, where $P$ is a subset of $\{0,1,\ldots,n\}$, if any of its extensions in any position from the set $P$ contains a square. In 2015, Gent, Kitaev, Konovalov, Linton and Nightingale initiated the study of $P$-crucial square-free permutations. In particular, they showed that $\{0,1,n-1,n\}$-crucial square-free permutations of length $n$, where $n\leq 22$, exist if and only if $n=17$ or $n=21$. In this work, we prove that for any $m\geq 2$ there exists a $\{0,1,8m+4,8m+5\}$-crucial square-free permutation of length $8m+5$.
On the spectrum and energy of digraphs with self-loops
Published
• View Publication
• BIB
A digraph with self-loops $D_S$ with vertex set $\mathcal{V}$ is a simple digraph with a self-loop attached at every vertex in $S \subset \mathcal{V}.$ In this paper, we study the energy $E(D_S)$ of $D_S$ and its properties, which extend several classical results on simple directed graphs. If $D_1,...,D_k$ are the strong components of $D_S,$ we establish a necessary and sufficient conditions for $E(D_S) \leq \sum^k_{i=1} E(D_i),$ for which the strict inequality exists for $S\neq \emptyset.$ We also provide several bounds and characterizations for the energy and spectral radius of $D_S,$ including the McClelland type bound. Lastly, we propose a notion of the complement of $D_S$ and establish some formulae describing the relationship between the energy and spectrum of regular digraphs with their complement.
Optimal $χ$-boundness of $\ell$-holed graphs
A graph is {\em{$\ell$-holed}} if all of its induced cycles of length at least four have length exactly $\ell$. In the paper, we prove that if $G$ is an $\ell$-holed graph with odd $\ell\geq 7$, then $χ(G)\leq {\lceil {\ell \over {\ell-1}}ω(G) \rceil}$. This result is sharp.
On the proportion of derangements in affine classical groups
Published
• View Publication
• BIB
We derive explicit formulas for the proportion of derangements and of derangements of $p$-power order in the affine unitary group $AU_m(q)$ over the finite field $\mathbb{F}_{q^2}$ of characteristic $p$. Both formulas rely on a result of independent interest concerning integer partitions: we obtain a generating function for partitions $λ=(λ_1, \dots, λ_m)$ into $m$ parts, for which $λ_1=1$ or there exists $k \in \{2, \dots,m\}$ such that $λ_{k-1}>λ_k=k$. Moreover, when $p$ is odd, we conjecture remarkably simple formulas for the proportions of derangements in the finite affine symplectic group $ASp_{2m}(q)$, and in the affine orthogonal groups $AO_{2m+1}(q)$ and $AO^{\pm}_{2m}(q)$, and we also propose conjectures for the proportions of derangements of $p$-power order. We further reduce the proofs of these conjectures to establishing three $q$-polynomial identities.
Spectral extrema of graphs forbidding a fan
For a graph $G$, its spectral radius is the largest eigenvalue of its adjacency matrix. A fan $H_{\ell}$ is a graph obtained by connecting a single vertex to all vertices of a path of order $\ell\geq4$. Let ${\rm SPEX(n,H_{\ell})}$ be the set of all extremal graphs $G$ of order $n$ with the maximum spectral radius, where $G$ contains no $H_{\ell}$ as a subgraph. In this paper, we completely characterized the graphs in ${\rm SPEX(n,H_{\ell})}$ for any $\ell\geq4$ and sufficiently large $n$. An interesting phenomenon was revealed: ${\rm SPEX(n,H_{2k+2})}\subseteq {\rm SPEX(n,H_{2k+3})}$ for any $k\geq1$ and sufficiently large $n$.
A generalization of an ear decomposition and k-trees in highly connected star-free graphs
In this paper, we introduce a generalized version of an ear decomposition, called a $j$-spider decomposition, for $j$-connected star-free graphs with $j \geq 2$. Its application enables us to improve a previousely known sufficient condition for the existence of a $k$-tree in highly connected star-free graphs, where a $k$-tree is a spanning tree in which every vertex is of degree at most $k$. More precisely, we show that every $j$-connected $K_{1,j(k-2)+2}$-free graph has a $k$-tree for $k\ge j$, thereby improving a classical result of Jackson and Wormald for $k\ge j$. Our approach differs from previous studies based on toughness-type arguments and instead relies on both a~$j$-spider decomposition and a factor theorem related to Hall's marriage theorem.
Finite 2-groups having a cyclic or dihedral maximal subgroup and arc-transitive maps
Published
• View Publication
• BIB
We classify all finite 2-groups that have a cyclic or dihedral maximal subgroup and determine their automorphism groups. Based on this result, we classify all pairs $ (G,\mathcal{M}) $, such that $ G $ is a finite 2-group and $ \mathcal{M} $ is a $ G $-arc-transitive map with Euler characteristic not being divisible by 4.
Generalized Turán results for disjoint copies of degenerate graphs
Published
• View Publication
• BIB
The generalized Turán number $\mathrm{ex}(n, H, F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. For an integer $t \geq 1$, let $tF$ be the vertex-disjoint union of $t$ copies of $F$. Gerbner, Methuku, and Vizer (2019) established an asymptotically sharp bound for $\mathrm{ex}(n,K_r,(t+1)K_{2,b})$. We extend their results in two directions by considering forbidden graphs $(t+1)K_{a,b}$ and $(t+1)C_{2k}$ and establish more precise matching upper and lower bounds of the same order of magnitude.
An Algebraic Proof of the Polynomial Version of van der Waerden's Theorem
The polynomial version of van der Waerden's theorem, proved using dynamical systems by V. Bergelson and A. Leibman in 1996, \cite{Bergelson1996}, significantly highlighted the role of dynamical systems in addressing problems related to monochromatic configurations within algebraic structures. In this paper, by introducing symbolic polynomials, we aim to provide an alternative proof of the polynomial version of van der Waerden's theorem relying solely on Stone-Čech compactification of an infinite discrete semigroup.