Ke Liu, Mei Lu
Let $H=(V,F)$ be a simple hypergraph without loops. $H$ is called linear if $|f\cap g|\le 1$ for any $f,g\in F$ with $f\not=g$. The $2$-section of $H$, denoted by $[H]_2$, is a graph with $V([H]_2)=V$ and for any $ u,v\in V([H]_2)$, $uv\in E([H]_2)$ if and only if there is $ f\in F$ such that $u,v\in f$. The treewidth of a graph is an important invariant in structural and algorithmic graph theory. In this paper, we consider the treewidth of the $2$-section of a linear hypergraph. We will use the minimum degree, maximum degree, anti-rank and average rank of a linear hypergraph to determine the upper and lower bounds of the treewidth of its $2$-section. Since for any graph $G$, there is a linear hypergraph $H$ such that $[H]_2\cong G$, we provide a method to estimate the bound of treewidth of graph by the parameters of the hypergraph.
Yichen Wang, Mei Lu
A star edge coloring of a graph $G$ is a proper edge coloring with no 2-colored path or cycle of length four. The star edge coloring problem is to find an edge coloring of a given graph $G$ with minimum number $k$ of colors such that $G$ admits a star edge coloring with $k$ colors. This problem is known to be NP-complete. In this paper, for a bounded treewidth graph with given maximum degree, we show that it can be solved in polynomial time.
Zequn Lv, Mei Lu
For a given class ${\cal C}$ of graphs and given integers $m \le n$, let $f_{\cal C}(n,m)$ be the minimal number $k$ such that every $k$ independent $n$-sets in any graph belonging to ${\cal C}$ have a (possibly partial) rainbow independent $m$-set. In this paper, we consider the case ${\cal C}=\{C_{2s+1}\}$ and show that $f_{C_{2s+1}}(s, s) = s$. Our result is a special case of the conjecture (Conjecture 2.9) proposed by Aharoni et al in \cite{Aharoni}.
Jianfeng Wang, Xingyu Lei, Mei Lu, Sezer Sorgun, Hakan Kucuk
The anti-adjacency matrix of a graph is constructed from the distance matrix of a graph by keeping each row and each column only the largest distances. This matrix can be interpreted as the opposite of the adjacency matrix, which is instead constructed from the distance matrix of a graph by keeping in each row and each column only the distances equal to 1. The (anti-)adjacency eigenvalues of a graph are those of its (anti-)adjacency matrix. Employing a novel technique introduced by Haemers [Spectral characterization of mixed extensions of small graphs, Discrete Math. 342 (2019) 2760--2764], we characterize all connected graphs with exactly one positive anti-adjacency eigenvalue, which is an analog of Smith's classical result that a connected graph with exactly one positive adjacency eigenvalue iff it is a complete multipartite graph. On this basis, we identify the connected graphs with all but at most two anti-adjacency eigenvalues equal to $-2$ and $0$. Moreover, for the anti-adjacency matrix we determine the HL-index of graphs with exactly one positive anti-adjacency eigenvalue, where the HL-index measures how large in absolute value may be the median eigenvalues of a graph. We finally propose some problems for further study.
Zequn Lv, Mengyu Cao, Mei Lu
We consider the derangement graph in which the vertices are permutations of $\{ 1,\ldots, n\}$. Two vertices are joined by an edge if the corresponding permutations differ in every position. The derangement graph is known to be Hamiltonian and Hamilton-connected. In this note, we show that the derangement graph is edge pancyclic if $n\ge 4$.
Changchang Dong, Mei Lu, Jixiang Meng, Bo Ning
Given a graph $T$ and a family of graphs $\mathcal{F}$, the maximum number of copies of $T$ in an $\mathcal{F}$-free graph on $n$ vertices is called the generalized Turán number, denoted by $ex(n, T , \mathcal{F})$. When $T= K_2$, it reduces to the classical Turán number $ex(n, \mathcal{F})$. Let $ex_{bip}(b,n, T , \mathcal{F})$ be the maximum number of copies of $T$ in an $\mathcal{F}$-free bipartite graph with two parts of sizes $b$ and $n$, respectively. Let $P_k$ be the path on $k$ vertices, $\mathcal{C}_{\ge k}$ be the family of all cycles with length at least $k$ and $M_k$ be a matching with $k$ edges. In this article, we determine $ex_{bip}(b,n, K_{s,t}, \mathcal{C}_{\ge 2n-2k})$ exactly in a connected bipartite graph $G$ with minimum degree $δ(G) \geq r\ge 1$, for $b\ge n\ge 2k+2r$ and $k\in \mathbb{Z}$, which generalizes a theorem of Moon and Moser, a theorem of Jackson and gives an affirmative evidence supporting a conjecture of Adamus and Adamus. As corollaries of our main result, we determine $ex_{bip}(b,n, K_{s,t}, P_{2n-2k})$ and $ex_{bip}(b,n, K_{s,t}, M_{n-k})$ exactly in a connected bipartite graph $G$ with minimum degree $δ(G) \geq r\ge 1$, which generalizes a theorem of Wang. Moreover, we determine $ex(n, K_{s,t}, \mathcal{C}_{\ge k})$ and $ex(n, K_{s,t}, P_{k})$ respectively in a connected graph $G$ with minimum degree $δ(G) \geq r\ge 1$, which generalizes a theorem of Lu, Yuan and Zhang.
Huan Luo, Xiamiao Zhao, Mei Lu
Let $\mathscr{F}$ be a family of graphs. A graph $G$ is $\mathscr{F}$-free if $G$ does not contain any $F\in \mathcal{F}$ as a subgraph. The Turán number $ex(n, \mathscr{F})$ is the maximum number of edges in an $n$-vertex $\mathscr{F}$-free graph. Let $M_{s}$ be the matching consisting of $ s $ independent edges. Recently, Alon and Frank determined the exact value of $ex(n,\{K_{m},M_{s+1}\})$. Gerbner obtained several results about $ex(n,\{F,M_{s+1}\})$ when $F$ satisfies certain proportions. In this paper, we determine the exact value of $ex(n,\{K_{l,t},M_{s+1}\})$ when $s, n$ are large enough for every $3\leq l\leq t$. When $n$ is large enough, we also show that $ex(n,\{K_{2,2}, M_{s+1}\})=n+{s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ for $s\ge 12$ and $ex(n,\{K_{2,t},M_{s+1}\})=n+(t-1){s\choose 2}-\left\lceil\frac{s}{2}\right\rceil$ when $t\ge 3$ and $s$ is large enough.
Li-Tuo Shen, Zhen-Biao Yang, Mei Lu, Rong-Xin Chen, Huai-Zhi Wu
Jun 10, 2013·quant-ph·PDF We study the ground states of the single- and two-qubit asymmetric Rabi models, in which the qubit-oscillator coupling strengths for the counterrotating-wave and corotating-wave interactions are unequal. We take the transformation method to obtain the approximately analytical ground states for both models and numerically verify its validity for a wide range of parameters under the near-resonance condition. We find that the ground-state energy in either the single- or two-qubit asymmetric Rabi model has an approximately quadratic dependence on the coupling strengths stemming from different contributions of the counterrotating-wave and corotating-wave interactions. For both models, we show that the ground-state energy is mainly contributed by the counterrotating-wave interaction. Interestingly, for the two-qubit asymmetric Rabi model, we find that, with the increase of the coupling strength in the counterrotating-wave or corotating-wave interaction, the two-qubit entanglement first reaches its maximum then drops to zero. Furthermore, the maximum of the two-qubit entanglement in the two-qubit asymmetric Rabi model can be much larger than that in the two-qubit symmetric Rabi model.
Haixiang zhang, Mengyu Cao, Mei Lu, Jiaying Song
Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$ and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. A family $\mathcal{F}\subseteq {V\brack k}$ is called $k$-uniform $r$-wise $t$-intersecting if for any $F_1, F_2, \dots, F_r \in \mathcal{F}$, we have $\dim\left(\bigcap_{i=1}^r F_i \right) \geq t$. An $r$-wise $t$-intersecting family $\{X_1, X_2, \dots, X_{r+1}\}$ is called a $(r+1,t)$-simplex if $\dim\left(\bigcap_{i=1}^{r+1} X_i \right) < t$, denoted by $Δ_{r+1,t}$. Notice that it is usually called triangle when $r=2$ and $t=1$. For $k \geq t \geq 1$, $r \geq 2$ and $n \geq 3kr^2 + 3krt$, we prove that the maximal number of $Δ_{r+1,t}$ in a $k$-uniform $r$-wise $t$-intersecting subspace family of $V$ is at most $n_{t+r,k}$, and we describe all the extreme families. Furthermore, we have the extremal structure of $k$-uniform intersecting families maximizing the number of triangles for $n\geq 2k+9$ as a corollary.
Haorui Liu, Mei Lu, Yan Wang, Yi Zhang
Let $n \in 3\mathbb{Z}$ be sufficiently large. Zhang, Zhao and Lu proved that if $H$ is a 3-uniform hypergraph with $n$ vertices and no isolated vertices, and if $deg(u)+deg(v) > \frac{2}{3}n^2 - \frac{8}{3}n + 2$ for any two vertices $u$ and $v$ that are contained in some edge of $H$, then $ H $ admits a perfect matching. In this paper, we prove that the rainbow version of Zhang, Zhao and Lu's result is asymptotically true. More specifically, let $δ> 0$ and $ F_1, F_2, \dots, F_{n/3} $ be 3-uniform hypergraphs on a common set of $n$ vertices. For each $ i \in [n/3] $, suppose that $F_i$ has no isolated vertices and $deg_{F_i}(u)+deg_{F_i}(v) > \left( \frac{2}{3} + δ\right)n^2$ holds for any two vertices $u$ and $v$ that are contained in some edge of $F_i$. Then $ \{ F_1, F_2, \dots, F_{n/3} \} $ admits a rainbow matching. Note that this result is asymptotically tight.
Yichen Wang, Xiamiao Zhao, Mei Lu
The inducibility of a graph $H$ is about the maximum number of induced copies of $H$ in a graph on $n$ vertices. We consider its edge version, that is, the maximum number of induced copies of $H$ in a graph with $m$ edges. Let $c(G,H)$ be the number of induced copies of $H$ in $G$ and $ρ(H,m) = \max \{c(G,H) \mid |E(G)| = m\}$. For any graph $H$, we prove that $ρ(H,m) = Θ(m^{α_f(H)})$ where $α_f(H)$ is the fractional independence number of $H$. Therefore, we now focus on the constant factor in front of $m^{α_f(H)}$. In this paper, we give some results of $ρ(H,m)$ when $H$ is a cycle or path. We conjecture that for any cycle $C_k$ with $k \ge 5$, $ρ(C_k,m)= (1+o(1))\left( m/k\right)^{k/2}$ and the bound achieves by the blow up of $C_k$. For even cycles, we establish an upper bound with an extra constant factor. For odd cycles, we can only establish an upper bound with an extra factor depending on $k$. We prove that $ρ(P_{2l},m) \le \frac{m^l}{2(l-1)^{l-1}}$ and $ρ(P_{2l+1},m) \le \frac{m^{l+1}}{4l^l}$, where $l \ge 2$. We also conjecture the asymptotic value of $ρ(P_k, m)$. The entropy method is mainly used to prove our results.
Xiamiao Zhao, Haixiang Zhang, Mei Lu
Let $n$, $r$, and $k$ be positive integers such that $k, r \geq 2$, $L$ a non-empty subset of $[k]$, and $\mathcal{F}_i \subseteq \binom{[n]}{k}$ for $1 \leq i \leq r$. We say that non-empty families $\mathcal{F}_1, \mathcal{F}_2, \ldots, \mathcal{F}_r$ are $r$-cross $L$-intersecting if $\left| \bigcap_{i=1}^r F_i \right| \in L$ for every choice of $F_i \in \mathcal{F}_i$ with $1 \leq i \leq r$. They are called pairwise cross $L$-intersecting if $|A \cap B| \in L$ for all $A \in \mathcal{F}_i$, $B \in \mathcal{F}_j$ with $i \neq j$. If $r=2$, we simply say cross $L$-intersecting instead of $2$-cross $L$-intersecting or pairwise cross $L$-intersecting. In this paper, we determine the maximum possible sum of sizes of non-empty cross $L$-intersecting families $\mathcal{F}_1$ and $\mathcal{F}_2$ for all admissible $n$, $k$, and $L$, and we characterize all the extremal structures. We also establish the maximum value of the sum of sizes of families $\mathcal{F}_1, \dots, \mathcal{F}_r$ that are both pairwise cross $L$-intersecting and $r$-cross $L$-intersecting, provided $n$ is sufficiently large and $L$ satisfies certain conditions. Furthermore, we characterize all such families attaining the maximum total size.
Haixiang Huang, Zhenwei Zhang, BingBing Shen, Jianming Yue, Lu Mei, Xudong Zhu, Yonghong Shi, Qianmei Zhu, Yeping Shi, Yifan Luo, Yitong Xing, Meng Dai, Qiusheng Chen
Somatic mechanical stimulation (e.g., acupuncture) exerts systemic immunomodulatory effects, yet the cellular bridge translating peripheral physical force into visceral repair remains elusive. Here, employing a custom interpretable deep learning framework (CARSS) on single-cell RNA sequencing data, we identify CD34$^{+}$PDGFR$α$$^{+}$ telocytes (CPTCs) as the primary mechanosensors in both fascia and colon during bacterial colitis. We show that somatic mechanotherapy triggers an AP-1/Hsp70-dependent transcriptional program in fascial CPTCs, inducing systemic Wnt elevation, which elicits a "transcriptional resonance" in colonic CPTCs, reprogramming their communication network from an inflammatory amplifier to a Wnt-driven regenerative hub. Mechanistically, this axis activates epithelial $β$-catenin/Myc signaling, suppressing apoptosis and restoring barrier integrity independent of immune cells. Our findings define a CPTC-Driven Mechano-Resonance Axis, where CPTCs serve as synchronized relay stations that convert local mechanical cues into systemic regenerative microenvironments.
Huiqing Liu, Mei Lu, Shunzhe Zhang
The anti-Ramsey number $Ar(G,H)$ is the maximum number of colors in an edge-coloring of $G$ with no rainbow copy of $H$. In this paper, we determine the exact anti-Ramsey number in the generalized Petersen graph $P_{n,k}$ for cycles $C_d$, where $1\leq k\leq \lfloor \frac{n-1}{2} \rfloor$ and $5\le d \le 6$. We also give an algorithm to obtain the upper bound or lower bound of anti-Ramsey number.
Mengyu Cao, Ke Liu, Mei Lu, Zequn Lv
Let $V$ be an $n$-dimensional vector space over a finite field $\mathbb{F}_q$, where $q$ is a prime power. Define the \emph{generalized $q$-Kneser graph} $K_q(n,k,t)$ to be the graph whose vertices are the $k$-dimensional subspaces of $V$ and two vertices $F_1$ and $F_2$ are adjacent if $\dim(F_1\cap F_2)<t$. Then $K_q(n,k,1)$ is the well-known $q$-Kneser graph. In this paper, we determine the treewidth of $K_q(n,k,t)$ for $n\geq 2t(k-t+1)+k+1$ and $t\ge 1$ exactly. Note that $K_q(n,k,k-1)$ is the complement of the Grassmann graph $G_q(n,k)$. We give a more precise result for the treewidth of $\overline{G_q(n,k)}$ for any possible $n$, $k$ and $q$.
Ke Liu, Mei Lu
Let $G=(V,E)$ be a graph. Let $w$ be a positive integer. A $w$-dominating set is a vertex subset $S$ such that for all $v\in V$, either $v\in S$ or it has at least $w$ neighbors in $S$. The $w$-Dominating Set problem is to find the minimum $w$-dominating set. The $L$-Max $w$-Dominating Set problem is to find the vertex subset $S$ of cardinality at most $L$ that maximizes $|S|+|\{v\in V\setminus S~|~|N(v)\cap S|\geq w\}|$, where $N(v)=\{u|uv\in E\}$. In this paper, we give polynomial time algorithms to $w$-Dominating Set problem and $L$-Max $w$-Dominating Set problem on graphs of bounded treewidth.
Mengyu Cao, Mei Lu, Benjian Lv, Kaishun Wang
Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F}_q$, and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. The families $\mathcal{F}_1\subseteq{V\brack k_1},\mathcal{F}_2\subseteq{V\brack k_2},\ldots,\mathcal{F}_r\subseteq{V\brack k_r}$ are said to be $r$-cross $t$-intersecting if $\dim(F_1\cap F_2\cap\cdots\cap F_r)\geq t$ for all $F_i\in\mathcal{F}_i,\ 1\leq i\leq r.$ The $r$-cross $t$-intersecting families $\mathcal{F}_1$, $\mathcal{F}_2,\ldots,\mathcal{F}_r$ are said to be non-trivial if $\dim(\cap_{1\leq i\leq r}\cap_{F\in\mathcal{F}_i}F)<t$. In this paper, we first determine the structure of $r$-cross $t$-intersecting families with maximum product of their sizes. As a consequence, we partially prove one of Frankl and Tokushige's conjectures about $r$-cross $1$-intersecting families for vector spaces. Then we describe the structure of non-trivial $r$-cross $t$-intersecting families $\mathcal{F}_1$, $\mathcal{F}_2,\ldots,\mathcal{F}_r$ with maximum product of their sizes under the assumptions $r=2$ and $\mathcal{F}_1=\mathcal{F}_2=\cdots=\mathcal{F}_r=\mathcal{F}$, respectively, where the $\mathcal{F}$ in the latter assumption is well known as $r$-wise $t$-intersecting family. Meanwhile, stability results for non-trivial $r$-wise $t$-intersecting families are also been proved.
Mengyu Cao, Mei Lu, Benjian Lv, Kaishun Wang
Let $n$, $r$, $k_1,\ldots,k_r$ and $t$ be positive integers with $r\geq 2$, and $\mathcal{F}_i\ (1\leq i\leq r)$ a family of $k_i$-subsets of an $n$-set $V$. The families $\mathcal{F}_1,\ \mathcal{F}_2,\ldots,\mathcal{F}_r$ are said to be $r$-cross $t$-intersecting if $|F_1\cap F_2\cap\cdots\cap F_r|\geq t$ for all $F_i\in\mathcal{F}_i\ (1\leq i\leq r),$ and said to be non-trivial if $|\cap_{1\leq i\leq r}\cap_{F\in\mathcal{F}_i}F|<t$. If the $r$-cross $t$-intersecting families $\mathcal{F}_1,\ldots,\mathcal{F}_r$ satisfy $\mathcal{F}_1=\cdots=\mathcal{F}_r=\mathcal{F}$, then $\mathcal{F}$ is well known as $r$-wise $t$-intersecting family. In this paper, we describe the structure of non-trivial $r$-wise $t$-intersecting families with maximum size, and give a stability result for these families. We also determine the structure of non-trivial $2$-cross $t$-intersecting families with maximum product of their sizes.
Jiaqi Liao, Mengyu Cao, Mei Lu
Let $t$, $r$, $k$ and $n$ be positive integers and $\mathcal{F}$ a family of $k$-subsets of an $n$-set $V$. The family $ \CF $ is $ r $-wise $ t $-intersecting if for any $ F_1, \ldots, F_r \in \CF $, we have $ \abs{\cap_{i = 1}^{r}F_i}\gs t $. An $ r $-wise $ t $-intersecting family of $ r + 1 $ sets $ \{T_1, \ldots, T_{r + 1}\} $ is called an $ (r + 1,t) $-triangle if $ |T_1 \cap \cdots \cap T_{r + 1}| \ls t - 1 $. In this paper, we prove that if $ n \gs n_0(r, t, k) $, then the $ r $-wise $ t $-intersecting family $ \CF \subseteq \binom{[n]}{k} $ containing the most $ (r + 1,t) $-triangles is isomorphic to $ \curlybraces{F \in \binom{[n]}{k}: \abs{F \cap [r + t]} \gs r + t - 1} $. This can also be regarded as a generalized Turán type result.
Haozhe Wang, Yuxuan Yang, Mei Lu
For an oriented graph $D$, the $inversion$ of $X \subseteq V(D)$ in $D$ is the digraph obtained from $D$ by reversing the direction of all arcs with both ends in $X$. The inversion number of $D$, denoted by $inv(D)$, is the minimum number of inversions needed to transform $D$ into an acyclic digraph. In this paper, we first show that $inv (\overrightarrow{C_3} \Rightarrow D)= inv(D) +1$ for any oriented graph $\textit{D}$ with even inversion number $inv(D)$, where the dijoin $\overrightarrow{C_3} \Rightarrow D$ is the oriented graph obtained from the disjoint union of $\overrightarrow{C_3}$ and $D$ by adding all arcs from $\overrightarrow{C_3}$ to $D$. Thus we disprove the conjecture of Aubian el at. \cite{2212.09188} and the conjecture of Alon el at. \cite{2212.11969}. We also study the blow-up graph which is an oriented graph obtained from a tournament by replacing all vertices into oriented graphs. We construct a tournament $T$ with order $n$ and $inv(T)=\frac{n}{3}+1$ using blow-up graphs.