Showing 20 papers (Total: 83342 papers, 48132 authors in database)
Sufficient conditions for $t$-tough graphs to be Hamiltonian and pancyclic or bipartite
The toughness of graph $G$, denoted by $τ(G)$, is $τ(G)=\min\{\frac{|S|}{c(G-S)}:S\subseteq V(G),c(G-S)\geq2\}$ for every vertex cut $S$ of $V(G)$ and the number of components of $G$ is denoted by $c(G)$. Bondy in 1973, suggested the ``metaconjecture" that almost any nontrivial condition on a graph which implies that the graph is Hamiltonian also implies that the graph is pancyclic. Recently, Benediktovich [Discrete Applied Mathematics. 365 (2025) 130--137] confirmed the Bondy's metaconjecture for $t$-tough graphs in the case when $t\in\{1;2;3\}$ in terms of the size, the spectral radius and the signless Laplacian spectral radius of the graph. In this paper, we will confirm the Bondy's metaconjecture for $t$-tough graphs in the case when $t\geq4$ in terms of the size, the spectral radius, the signless Laplacian spectral radius, the distance spectral radius and the distance signless Laplacian spectral radius of graphs.
On the Turán number of the expansion of the $t$-fan
The $t$-fan is the graph on $2t+1$ vertices consisting of $t$ triangles which intersect at exactly one common vertex. For a given graph $F$, the $r$-expansion $F^r$ of $F$ is the $r$-uniform hypergraph obtained from $F$ by adding $r-2$ distinct new vertices to each edge of $F$. We determine the Turán number of the 3-expansion of the $t$-fan for sufficiently large $n$.
Separability Properties of Monadically Dependent Graph Classes
A graph class $\mathcal C$ is monadically dependent if one cannot interpret all graphs in colored graphs from $\mathcal C$ using a fixed first-order interpretation. We prove that monadically dependent classes can be exactly characterized by the following property, which we call flip-separability: for every $r\in \mathbb{N}$, $\varepsilon>0$, and every graph $G\in \mathcal{C}$ equipped with a weight function on vertices, one can apply a bounded (in terms of $\mathcal{C},r,\varepsilon$) number of flips (complementations of the adjacency relation on a subset of vertices) to $G$ so that in the resulting graph, every radius-$r$ ball contains at most an $\varepsilon$-fraction of the total weight. On the way to this result, we introduce a robust toolbox for working with various notions of local separations in monadically dependent classes.
Some explicit values of a $q$-multiple zeta-star function at roots of unity
Published
• View Publication
• BIB
In this paper, we show some expressions of certain $q$-multiple zeta-star values at roots of unity. These explicit formulas are expressed by using the determinants or Bell polynomials. Explicit formulas for other types of values can be found from recurrence relations obtained using generating functions.
On Some Series Involving the Central Binomial Coefficients
In this paper, we explore a variety of series involving the central binomial coefficients, highlighting their structural properties and connections to other mathematical objects. Specifically, we derive new closed-form representations and examine the convergence properties of infinite series with a repeating alternation pattern of signs involving central binomial coefficients. More concretely, we derive the series $$\sum\limits_{n=0}^{\infty}\frac{(-1)^{ω_n}}{2n+1}\tbinom{2n}{n}x^n,\,\,\, \sum\limits_{n=0}^{\infty}{(-1)^{ω_n}}\tbinom{2n}{n}x^n\,\,\, \text{and} \,\,\, \sum\limits_{n=0}^{\infty}{(-1)^{ω_n}}n\tbinom{2n}{n}x^n,$$ where $ω_n$ represents both $\lfloor\frac{n}{2}\rfloor$ and $\lceil\frac{n}{2}\rceil$. Also, we present novel series involving Fibonacci and Lucas numbers, deriving many interesting identities.
A note on iterated sumsets races
This short note answers a question raised by Nathanson \cite{Nath25} about "races" between iterated sumsets. We prove that for any integer $n$, there are finite sets of integers $A$ and $B$ with same diameter such that the signs of the elements of the sequence $(|hA|-|hB|)_h$ changes at least $n$ times. Kravitz proved in \cite{Kravitz} a much better result. This brief and modest note may serve as a stepping stone towards his work.
A note on hypergraph extensions of Mantel's theorem
Chao and Yu introduced an entropy method for hypergraph Turán problems, and used it to show that the family of $\lfloor k/2\rfloor$ $k$-uniform tents have Turán density $k!/k^k$. Il'kovič and Yan improved this by reducing to a subfamily of $\lceil k/e\rceil$ tents. In this note, enhancing Il'kovič-Yan's result, we give a significantly shorter entropy proof, with optimal bounds within this framework.
Trees with proper thinness 2
Published
• View Publication
• BIB
The proper thinness of a graph is an invariant that generalizes the concept of a proper interval graph. Every graph has a numerical value of proper thinness and the graphs with proper thinness~1 are exactly the proper interval graphs. A graph is proper $k$-thin if its vertices can be ordered in such a way that there is a partition of the vertices into $k$ classes satisfying that for each triple of vertices $r < s < t$, such that there is an edge between $r$ and $t$, it is true that if $r$ and $s$ belong to the same class, then there is an edge between $s$ and $t$, and if $s$ and $t$ belong to the same class, then there is an edge between $r$ and $s$. The proper thinness is the smallest value of $k$ such that the graph is proper $k$-thin. In this work we focus on the calculation of proper thinness for trees. We characterize trees of proper thinness~2, both structurally and by their minimal forbidden induced subgraphs. The characterizations obtained lead to a polynomial-time recognition algorithm. We furthermore show why the structural results obtained for trees of proper thinness~2 cannot be straightforwardly generalized to trees of proper thinness~3.
Positive codegree thresholds for Hamilton cycles in hypergraphs
For each $k \geq 3$ and $1 \leq \ell \leq k-1$ we give an asymptotically best possible minimum positive codegree condition for the existence of a Hamilton $\ell$-cycle in a $k$-uniform hypergraph. This result exhibits an interesting duality with its analogue under a minimum codegree condition. The special case $\ell = k-1$ of our result establishes an asymptotic version of a recent conjecture of Illingworth, Lang, Müyesser, Parczyk and Sgueglia on tight Hamilton cycles in hypergraphs.
Novel Constructions of Words with Strong Avoidance Properties and their Combinatorial Analysis
This paper begins with a comprehensive overview of combinatorics on words and symbolic dynamics, covering their historical origins, fundamental concepts, and interconnections. Building upon this foundation, we introduce novel mathematical constructions related to pattern avoidance in infinite words. Specifically, we define Strongly $(k, δ)$-Free Words generated via cyclic shift morphisms and present a theorem establishing specific avoidance properties for these words, along with a detailed proof. Furthermore, we propose a conjecture regarding their factor complexity. These original results contribute to the theoretical understanding of word structures and their combinatorial properties, opening avenues for further research in discrete mathematics.
The Time of Bootstrap Percolation in High Dimensions
We consider the $d$-neighbor bootstrap percolation process on the $d$-dimensional torus, with vertex set $V=\{1,\cdots,n\}^d$ and edge set $\{xy:\sum_{i=1}^d|x_i-y_i (\text{mod} \; n)|=1\}$. We determine the percolation time up to a constant factor with high probability when the initial infection probability is in a certain range and the infection threshold is $d$, extending one of the two main theorems from Balister,Bollob{á}s, and Smith (2016) about the percolation time with the infection threshold equal to $2$ on the two-dimensional torus.
A Multigraph Characterization of Permutiple Strings
Published in Integers 25 (2025), #A111
• View Publication
• BIB
A permutiple is a natural number whose representation in some base is an integer multiple of a number whose representation has the same collection of digits. A previous paper utilizes a finite-state-machine construction and its state graph to recognize permutiples and to generate new examples. Permutiples are associated with walks on the state graph which necessarily satisfy certain conditions. However, the above effort does not provide sufficient conditions for the existence of permutiples. In this paper, we provide such a condition which we will state using the language of multigraphs.
A central limit theorem for a generalization of the Ewens measure to random tuples of commuting permutations
Published
• View Publication
• BIB
We prove a central limit theorem (CLT) for the number of joint orbits of random tuples of commuting permutations. In the uniform sampling case this generalizes the classic CLT of Goncharov for the number of cycles of a single random permutation. We also consider the case where tuples are weighted by a factor other than one, per joint orbit. We view this as an analogue of the Ewens measure, for tuples of commuting permutations, where our CLT generalizes the CLT by Hansen. Our proof uses saddle point analysis, in a context related to the Hardy-Ramanujan asymptotics and the theorem of Meinardus, but concerns a multiple pole situation. The proof is written in a self-contained manner, and hopefully in a manner accessible to a wider audience. We also indicate several open directions of further study related to probability, combinatorics, number theory, an elusive theory of random commuting matrices, and perhaps also geometric group theory.
On representations of quantum affine $\mathfrak{sl}_2$
We study tensor products of two-dimensional evaluation $U_q\widehat{\mathfrak{sl}}_2$-modules at generic values of $q$, $U_q\widehat{\mathfrak{sl}}_2$ homomorphisms between them, and closely related subjects.
Distribution of the cokernels of determinantal row-sparse matrices
We study the distribution of the cokernels of random row-sparse integral matrices $A_n$ according to the determinantal measure from a structured matrix $B_n$ with a parameter $k_n \ge 3$. Under a mild assumption on the growth rate of $k_n$, we prove that the distribution of the $p$-Sylow subgroup of the cokernel of $A_n$ converges to that of Cohen--Lenstra for every prime $p$. Our result extends the work of A. Mészáros which established convergence to the Cohen--Lenstra distribution when $p \ge 5$ and $k_n=3$ for all positive integers $n$.
On null completely regular codes in Manhattan metric
We investigate the class of completely regular codes in graphs with a distance partition C_0,..., C_ρ, where each set C_i, for 0<=i<=r-1, is an independent set. This work focuses on the existence problem for such codes in the n-dimensional infinite grid. We demonstrate that several parameter families of such codes necessarily arise from binary or ternary Hamming graphs or do not exist. Furthermore, employing binary linear programming techniques, we explore completely regular codes in infinite grids of dimensions 3 and 4 for the cases r=1 and r=2.
A generalization of Ramanujan's sum over finite rings
Let $R$ be a finite ring with unity. In general, the eigenvalues of the unitary Cayley graph $\text{Cay}(R, R^{\times})$ are not known when $R$ is a non-commutative. In this paper, we present an explicit formula for the eigenvalues of $\text{Cay}(R, R^{\times})$ for any finite ring $R$. However, our focus is on a more general case of the unitary Cayley graph. It is well known that the classical Ramanujan's sum represents the eigenvalues of $\text{Cay}(\mathbb{Z}_n, \mathbb{Z}_n^{\times})$. Consequently, the eigenvalues of $\text{Cay}(R, R^{\times})$ can be view as a generalization of classical Ramanujan's sum in the context of finite rings. Interestingly, the formula we derive for the eigenvalues of $\text{Cay}(R, R^{\times})$ extends the known formula of classical Ramanujan's sum to the context of finite rings.
Sombor index of clean graphs
Let $G = (V, E)$ be a graph with the vertex set $V (G)$ and edge set $E(G)$. The Sombor index of $G$, $SO(G)$, is defined as $\sum_{uv\in E(G)} \sqrt{deg(u)^2 + deg(v)^2}$, where $deg(u)$ is the degree of vertex $u$ in $V (G)$. The clean graph of a ring R, denoted by $Cl(R)$, is a graph with vertex set $\{(e, u) : e \in Id(R), u \in U(R)\}$ and two distinct vertices $(e, u)$ and$(f, v)$ are adjacent if and only if $ef = 0$ or $uv = 1$ ($Id(R)$ and $U(R)$ are the sets of idempotents and unit elements of R, respectively). The induced subgraph on $\{(e, u) : e \in Id^{*}(R), u \in U(R)\}$ is denoted by $Cl_2(R)$. In this paper, $SO(Cl2(\mathbb{Z}_n))$, for different values of the positive integer $n$, is investigated.
Odd Hadwiger's conjecture for the complements of Kneser graphs
A generalization of the four-color theorem, Hadwiger's conjecture is considered as one of the most important and challenging problems in graph theory, and odd Hadwiger's conjecture is a strengthening of Hadwiger's conjecture by way of signed graphs. In this paper, we prove that odd Hadwiger's conjecture is true for the complements $\overline{K}(n,k)$ of the Kneser graphs $K(n,k)$, where $n\geq 2k \ge 4$. This improves a result of G. Xu and S. Zhou (2017) which states that Hadwiger's conjecture is true for this family of graphs. Moreover, we prove that $\overline{K}(n,k)$ contains a 1-shallow complete minor of a special type with order no less than the chromatic number $χ(\overline{K}(n,k))$, and in the case when $7 \le 2k+1 \le n \le 3k-1$ the gap between the odd Hadwiger number and chromatic number of $\overline{K}(n,k)$ is $Ω(1.5^{k})$.
Ask zeta functions of joins of graphs
In previous work (arXiv:1908.09589), we studied rational generating functions ("ask zeta functions") associated with graphs and hypergraphs. These functions encode average sizes of kernels of generic matrices with support constraints determined by the graph or hypergraph in question, with applications to the enumeration of linear orbits and conjugacy classes of unipotent groups. In the present article, we turn to the effect of a natural graph-theoretic operation on associated ask zeta functions. Specifically, we show that two instances of rational functions, $W^-_Γ(X,T)$ and $W^\sharp_Γ(X,T)$, associated with a graph $Γ$ are both well-behaved under taking joins of graphs. In the former case, this has applications to zeta functions enumerating conjugacy classes associated with so-called graphical groups.