SearcharxivSearch

arXiv subjects

Yuping Gao

Publications and source records attributed to Yuping Gao.

At least 19 recordsLinked to original sources

Vertex-distinguishing chromatic index of digraphs

Let $D$ be a digraph. In this note, an \emph{arc coloring} of $D$ is an assignment of colors to the arcs of $D$ such that no two arcs with a common tail receive the same color and no two arcs with a common head receive the same color. Under such a coloring, each vertex $v$ is associated with an \emph{out-color set} and an \emph{in-color set}, consisting of the colors assigned to the arcs with tail $v$ and to the arcs with head $v$, respectively. An arc coloring of $D$ is \emph{vertex-distinguishing} if any two distinct vertices have different out-color sets and different in-color sets. The minimum number of colors required for a vertex-distinguishing arc coloring of $D$ is called the \emph{vertex-distinguishing chromatic index} of $D$, denoted $χ_{vd}^{\prime}(D)$. In 2016, Li, Bai, He, and Sun conjectured that $χ_{vd}^{\prime}(D)=k(D)$ for any digraph $D$ with at most one source and at most one sink, where $k(D)$ is a natural lower bound determined by the outdegree and indegree sequences of $D$. We confirm this conjecture.

math.CO

Long antipaths in oriented graphs

An antidirected path is an oriented path in which every vertex sees either just incoming or just outgoing edges. We prove that every oriented graph with minimum semidegree at least $k$ contains an antidirected path of length $2 k -1$. This confirms a conjecture of Stein.

math.CO

The Analysis of the Influence of Coordinate Error of Observation Station On the Construction Accuracy of Pulsar Time

\abstract{Errors in observatory coordinates directly impact the precision of pulsar time-scale construction. Using the pulsar timing software TEMPO2, this study simulates various station position errors within the three-dimensional terrestrial reference frame for three different types of millisecond pulsars, over periods of 13 days and 5 years, and analyzes their effects on pulsar timing results.The findings demonstrate that,for both 13-day and 5-year observation spans, station coordinate errors substantially reduce the accuracy of pulsar timescale construction when the zenith angle exhibits long-term variations. This effect is independent of pulsar type and the daily observable time of the station antenna for the pulsar. A linear relationship is found between station coordinate errors and the Root-Mean-Square (RMS) of pulsar timing residuals, with fitted linear coefficients ranging from $1.36 \times 10^{-11}$ to $1.61 \times 10^{-9}$ for the three pulsars. The Roemer delay error caused by coordinate inaccuracies is notably larger than other delay and correction terms. Errors along the x- and y-axes have comparable influences on timing precision, whereas errors along the z-axis have a relatively smaller effect. Kendall correlation analysis between station error-induced Roemer delay and RMS yields a correlation coefficient $r = 1.67\%$ and $p = 100\%$ in all cases, indicating that, at current timing precision levels, coordinate errors primarily affect the Roemer delay term and thus the pulse arrival times, which is highly consistent with theoretical models.While these findings offer valuable insights into the key factors influencing pulsar timescale accuracy and related applications, they may not hold under conditions of a constant zenith angle or limited elevation angles, such as those at FAST.}

astro-ph.IM

An Ore-type condition for $H$-tilings in graphs

A graph $G$ admits an $H$-tiling if it contains a collection of vertex-disjoint copies of $H$. In this paper, we confirm a conjecture proposed by Kühn, Osthus, and Treglown by showing that for any given graph $H$, there exists a constant $C(H)$ such that the following holds. If $G$ is a sufficiently large $n$-vertex graph satisfying $d(x) + d(y) \geq 2\left(1 - 1/χ_{\text{cr}}(H)\right)n$ for all nonadjacent vertices $x, y \in V(G)$, then $G$ contains an $H$-tiling covering all but at most $C(H)$ vertices. Here $χ_{\text{cr}}(H)$ denotes the critical chromatic number of $H$.

math.CO

Conflict-free chromatic index of bipartite graphs

An edge coloring of a graph $G$ is called conflict-free if, for every edge, its closed neighborhood contains a color that appears exactly once. The least number of colors required for such a coloring is the conflict-free chromatic index of $G$, denoted by $χ'_{CF}(G)$. Kamyczura, Meszka, and Przybyło conjectured that $χ'_{CF}(G)\le 3$ for any bipartite graph $G$ without isolated vertices. In this paper, we confirm this conjecture.

math.CO

Equitable tree colouring of graphs

Let $k \in \mathbb{N}$ and let $G$ be a simple graph with maximum degree $Δ$. A $k$-colouring $φ$ of $G$ is an assignment of colours from $\{1,2,\ldots,k\}$ to the vertices of $G$. We call $φ$ proper if adjacent vertices receive distinct colours, and equitable if the sizes of any two colour classes differ by at most one. The celebrated Hajnal--Szemerédi theorem states that a proper equitable $k$-colouring exists whenever $k \ge Δ+ 1$. In this paper, we study its tree colouring variant in which each colour class induces a forest. This is closely related to the vertex arboricity which was introduced by Chartrand, Kronk, and Wall. More precisely, we prove that if $n \ge 3Δ^4$ and $k \ge (Δ+2)/2$, then every $n$-vertex graph with maximum degree at most $Δ$ contains an equitable tree $k$-colouring. This confirms a conjecture of Wu, Zhang, and Li when $Δ$ is even and up to an additive constant of $1$ otherwise for large $n$. We also consider $d$-degenerate colouring in which each colour class induces a $d$-degenerate graph.

math.CO

Linear arboricity of robust expanders

In 1980, Akiyama, Exoo, and Harary conjectured that any graph $G$ can be decomposed into at most $\lceil(Δ(G)+1)/2\rceil$ linear forests. We confirm the conjecture for robust expanders of linear minimum degree. As a consequence, the conjecture holds for dense quasirandom graphs of linear minimum degree as well as for large $n$-vertex graphs with minimum degree arbitrarily close to $n/2$ from above.

math.CO

A sufficient condition for a hypergraph to have a Berge-$k$-factor

For any graph (hypergraph) $G$ with vertex set $V$ and edge set $E$, we define its incidence bipartite graph $\mathcal{I}(G)$ as the bipartite graph with bipartition $(E, V)$, where an edge $e \in E$ is adjacent to a vertex $v \in V$ in $\mathcal{I}(G)$ if and only if $e$ is incident to $v$ in $G$. This representation allows all concepts and properties of $G$ to be reformulated in terms of those of $\mathcal{I}(G)$. In this paper, we investigate the notions of graph toughness and $k$-factors in bipartite graphs through this incidence perspective. As an application, our result implies the classic theorem of Enomoto, Jackson, Katerinis, and Saito: for any integer $k \geq 1$, a $k$-tough graph $G$ has a $k$-factor if $k |V(G)|$ is even and $|V(G)| \geq k+1$. Furthermore, we extend this result to hypergraphs, without requiring uniformity.

math.CO

Vertex-distinguishing edge coloring of graphs

Let $k \ge 1$ be an integer and let $G$ be a nonempty simple graph. An \emph{edge-$k$-coloring} $φ$ of $G$ is an assignment of colors from $\{1,\ldots,k\}$ to the edges of $G$ such that no two adjacent edges receive the same color. For a vertex $v \in V(G)$, we write $φ(v)$ for the set of colors assigned to the edges incident with $v$. The coloring $φ$ is called \emph{vertex-distinguishing} if $φ(u) \ne φ(v)$ for every pair of distinct vertices $u,v \in V(G)$. A vertex-distinguishing edge-$k$-coloring exists if and only if $G$ has at most one isolated vertex and no isolated edge. The least integer $k$ for which such a coloring exists is called the \emph{vertex-distinguishing chromatic index} of $G$, denoted $χ'_{vd}(G)$. In 1997, Burris and Schelp conjectured that for every graph $G$ with at most one isolated vertex and no isolated edge, $ k(G) \;\le\; χ'_{vd}(G) \;\le\; k(G)+1$, where $k(G)$ is the natural lower bound required for a vertex-distinguishing coloring in $G$. In 2004, Balister, Kostochka, Li, and Schelp verified the conjecture for graphs $G$ satisfying $Δ(G) \ge \sqrt{2|V(G)|} + 4 $ and $δ(G) \ge 5$. For graphs that do not satisfy these conditions, the best known general upper bound on $χ'_{vd}(G)$ remains $|V(G)| + 1$, established in 1999 by Bazgan, Harkat-Benhamdine, Li, and Woźniak. In this paper, we prove that $χ'_{vd}(G) \le \floor{5.5k(G)+6.5}$, which represents a substantial improvement over the bound $|V(G)| + 1$ whenever $k(G) = o(|V(G)|)$. We further show that $χ'_{vd}(G) \le k(G) + 3$, for all $d$-regular graphs $G$ with $d \ge \log_2 |V(G)|\geq 8$.

math.CO

Vertex-distinguishing and sum-distinguishing edge coloring of regular graphs

Given an integer $k\ge1$, an edge-$k$-coloring of a graph $G$ is an assignment of $k$ colors $1,\ldots,k$ to the edges of $G$ such that no two adjacent edges receive the same color. A vertex-distinguishing (resp. sum-distinguishing) edge-$k$-coloring of $G$ is an edge-$k$-coloring such that for any two distinct vertices $u$ and $v$, the set (resp. sum) of colors taken from all the edges incident with $u$ is different from that taken from all the edges incident with $v$. The vertex-distinguishing chromatic index (resp. sum-distinguishing chromatic index), denoted $χ'_{vd}(G)$ (resp. $χ'_{sd}(G)$), is the smallest value $k$ such that $G$ has a vertex-distinguishing-edge-$k$-coloring (resp. sum-distinguishing-edge-$k$-coloring). Let $G$ be a $d$-regular graph on $n$ vertices, where $n$ is even and sufficiently large. We show that $χ'_{vd}(G) =d+2$ if $d$ is arbitrarily close to $n/2$ from above, and $χ'_{sd}(G) =d+2$ if $d\ge \frac{2n}{3}$. Our first result strengthens a result of Balister et al. in 2004 for such class of regular graphs, and our second result constitutes a significant advancement in the field of sum-distinguishing edge coloring. To achieve these results, we introduce novel edge coloring results which may be of independent interest.

math.CO

Erdős-Gyárfás Conjecture for $P_8$-free graphs

A graph is $P_8$-free if it contains no induced subgraph isomorphic to the path $P_8$ on eight vertices. In 1995, Erdős and Gyárfás conjectured that every graph of minimum degree at least three contains a cycle whose length is a power of two. In this paper, we confirm the conjecture for $P_8$-free graphs by showing that there exists a cycle of length four or eight in every $P_8$-free graph with minimum degree at least three.

math.CO

Hamiltonian cycles in 7-tough $(P_3\cup 2P_1)$-free graphs

The toughness of a noncomplete graph $G$ is the maximum real number $t$ such that the ratio of $|S|$ to the number of components of $G-S$ is at least $t$ for every cutset $S$ of $G$, and the toughness of a complete graph is defined to be $\infty$. Determining the toughness for a given graph is NP-hard. Chvátal's toughness conjecture, stating that there exists a constant $t_0$ such that every graph with toughness at least $t_0$ is hamiltonian, is still open for general graphs. A graph is called $(P_3\cup 2P_1)$-free if it does not contain any induced subgraph isomorphic to $P_3\cup 2P_1$, the disjoint union of $P_3$ and two isolated vertices. In this paper, we confirm Chvátal's toughness conjecture for $(P_3\cup 2P_1)$-free graphs by showing that every 7-tough $(P_3\cup 2P_1)$-free graph on at least three vertices is hamiltonian.

math.CO

A low phase noise microwave source for high performance CPT Rb atomic clock

Phase noise of the frequency synthesizer is one of the main limitations to the short-term stability of microwave atomic clocks. In this work, we demonstrated a low-noise, simple-architecture microwave frequency synthesizer for a coherent population trapping (CPT) clock. The synthesizer is mainly composed of a 100 MHz oven controlled crystal oscillator (OCXO), a microwave comb generator and a direct digital synthesizer (DDS). The absolute phase noises of 3.417 GHz signal are measured to be -55 dBc/Hz, -81 dBc/Hz, -111 dBc/Hz and -134 dBc/Hz, respectively, for 1 Hz, 10 Hz, 100 Hz and 1 kHz offset frequencies, which shows only 1 dB deterioration at the second harmonic of the modulation frequency of the atomic clock. The estimated frequency stability of intermodulation effect is 4.7*10^{-14} at 1s averaging time, which is about half order of magnitude lower than that of the state-of-the-art CPT Rb clock. Our work offers an alternative microwave synthesizer for high-performance CPT Rb atomic clock.

physics.ins-det

High-performance coherent population trapping atomic clock with direct-modulation distributed Bragg reflector laser

The coherent population trapping (CPT) atomic clock is very promising for use in next-generation spaceborne applications owing to its compactness and high performance. In this paper, we propose and implement a CPT atomic clock based on the direct modulation of a large-modulation-bandwidth and narrow-linewidth distributed Bragg reflector laser, which replaces the usually used external bulk modulator in the high-performance CPT clock. Our method retains the high performance while significantly reducing the size. Using this highly compact bichromatic light source and simplest CPT configuration, in which a circularly polarized bichromatic laser interrogates the ^{87}Rb atom system, a CPT signal of clock transition with a narrow linewidth and high contrast is observed. We then lock the local oscillator frequency to the CPT error signal and demonstrate a short-term frequency stability of 3.6 \times 10^{-13} τ^{-1/2} (4 s \le τ \le 200 s). We attribute it to the ultralow laser frequency and intensity noise as well as to the high-quality-factor CPT signal. This study can pave the way for the development of compact high-performance CPT clocks based on our scheme.

physics.atom-ph

Antimagic orientation of lobsters

Let $m\ge 1$ be an integer and $G$ be a graph with $m$ edges. We say that $G$ has an antimagic orientation if $G$ has an orientation $D$ and a bijection $τ:A(D)\rightarrow \{1,2,\cdots,m\}$ such that no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $u$ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Hefetz, Mütze and Schwartz [J. Graph Theory, 64: 219-232, 2010] conjectured that every connected graph admits an antimagic orientation. The conjecture was confirmed for certain classes of graphs such as dense graphs, regular graphs, and trees including caterpillars and $k$-ary trees. In this note, we prove that every lobster admits an antimagic orientation.

math.CO

Pulsar Timing Observations with Haoping Radio Telescope

We report pulsar timing observations carried out in L-band with NTSC's 40-meter Haoping Radio Telescope (HRT), which was constructed in 2014. The observations were carried out using the pulsar machine we developed. Timing observations toward millisecond pulsar J0437-4715 obtains a timing residual (r.m.s) of 397ns in the time span of 284 days. And our observations successfully detected Crab pulsar's glitch that happened on July 23rd, 2019.

astro-ph.IM

The edge colorings of $K_{5}$-minor free graphs

In 1965, Vizing proved that every planar graph $G$ with maximum degree $Δ\geq 8$ is edge $Δ$-colorable. It is also proved that every planar graph $G$ with maximum degree $Δ=7$ is edge $Δ$-colorable by Sanders and Zhao, independently by Zhang. In this paper, we extend the above results by showing that every $K_5$-minor free graph with maximum degree $Δ$ at least seven is edge $Δ$-colorable.

math.CO

Equitable partition of plane graphs with independent crossings into induced forests

The cluster of a crossing in a graph drawing in the plane is the set of the four end-vertices of its two crossed edges. Two crossings are independent if their clusters do not intersect. In this paper, we prove that every plane graph with independent crossings has an equitable partition into $m$ induced forests for any $m\geq 8$. Moreover, we decrease this lower bound 8 for $m$ to 6, 5, 4 and 3 if we additionally assume that the girth of the considering graph is at least 4, 5, 6 and 26, respectively.

math.CO