arXiv Science⌕ Search

arXiv · 2610.25386

On the maximally edge-connected square graphs with degree sequence conditions

Abstract

Let $G=(V(G),E(G))$ be a finite connected simple graph. The edge-connectivity $λ(G)$ of $G$ is the minimum number of edges that must be removed to make $G$ disconnected. We call $G$ maximally edge-connected when $λ(G)=δ(G)$, where $δ(G)$ is the minimum degree of $G$. The square graph $G^2$ of $G$ is the graph with vertex set $V(G)$, where two distinct vertices $u$ and $v$ are adjacent in $G^2$ precisely when their distance in $G$ is at most two. In this paper, first we prove that if $λ(G)\geq4$ and $λ(G^2)<δ(G^2)$, then $λ(G^2)>λ(G)^{3/2}-\frac54λ(G)$, which extends the result in \cite{ChenXu} from the edge-connectivity range $4\leqλ(G)\leq7$ to $λ(G)\geq4$. Then we show that $G^2$ is maximally edge-connected if one of the following conditions hold: (i) $δ(G)\geq\lfloor(n+2)/4\rfloor$, or $δ(G)\leq\lfloor(n+2)/4\rfloor-1$ and $\sum_{i=1}^{2k}d_{n+1-i}\geq k(n-4)-2δ(G)+3$, where $k$ is an integer satisfying $2\leq k\leqδ(G)+2$ and $d_1\geq d_2\geq\cdots\geq d_n$ are the degrees of $G$; (ii) $d_{n-δ(G)}+d_n\geq(3n-9)/4$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kai Li, Yingzhi Tian. 2026-10-18. On the maximally edge-connected square graphs with degree sequence conditions. https://arxiv.org/abs/2610.25386

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Notes on the Divisibility of Divisor Sums of Catalan Numbers

We investigate divisibility questions for the sum-of-divisors function $σ(C_n)$ of the Catalan numbers $C_n=(n+1)^{-1}\binom{2n}{n}$. Using the prime factors occurring to exponent one in $C_n$, we give explicit divisors of $σ(C_n)$ and obtain, for each fixed integer $m\geq 2$, a power $m^{R_m(n)}$ dividing $σ(C_n)$, with $R_m(n)\sim\frac{2\log 2}{φ(m)}\frac{n}{\log n}$. We further prove uniform divisibility for all moduli up to fixed powers of $\log n$ and, with the same leading constant $2\log 2$, for almost all moduli up to $\sqrt{n}$ apart from logarithmic factors. We also establish a complete classification of the integers $m\geq 2$ for which $m\midσ(mk-1)$ for every $k\geq 1$, identify precisely the exceptional coprimality relations among the associated linear forms, and record a twin-prime product divisor of $σ(C_n)$. The arguments use standard prime-distribution results and do not assume any conjecture concerning twin primes.

math.CO↗

Sign-coherence and tropical sign pattern for rank $3$ real cluster-cyclic exchange matrices

The sign-coherence about $c$-vectors was conjectured by Fomin-Zelevinsky and proved by Gross-Hacking-Keel-Kontsevich for integer skew-symmetrizable case. We prove this conjecture associated with $c$-vectors for rank 3 real cluster-cyclic skew-symmetrizable case. Simultaneously, we establish their self-contained recursion and monotonicity. Then, these $c$-vectors are proved to be roots of certain quadratic equations. Based on these results, we prove that the corresponding exchange graphs of $C$-pattern and $G$-pattern are $3$-regular trees. We also study the structure of tropical signs and equip the dihedral group $\mathrm{D}_6$ with a cluster realization via certain mutations.

math.CO↗

Subexponential upper bound on the number of rich words

Let $R_q(n)$ denote the number of rich words of length $n$ over a fixed alphabet of size $q\geq2$. It is known that $R_q(n)^{1/n}\to1$. We establish a nonrecursive subexponential upper bound on the number of rich words, with its asymptotic growth quantified in terms of an iterated logarithm. For every $λ\in(1/2,1)$ and $γ>1$, there exists $c>0$ such that, for every positive function $ϕ$ satisfying $ϕ(n)\to\infty$ and $n/ϕ(n)\to\infty$, the functions \[ f(n)=\left[c\ln^{*}\!\left(\frac{n}{ϕ(n)}\ln q\right)\right]^{1/γ}, \qquad B(n)=q^{\frac{n}{ϕ(n)}+\frac{n}{(2λ)^{f(n)-1}}} \] satisfy $R_q(n)\leq B(n)$ for all sufficiently large $n$ and $B(n)^{1/n}\to1$. Here $\ln^{*}$ is the iterated natural logarithm, with value zero on $(0,1]$. The proof iterates a counting inequality based on palindromic factorization and controls the resulting multiplicative constants using the iterated logarithm.

math.CO↗