Source author record

Yan Cao

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

15works
9topics
4close collaborators

Published work

15 publications

preprint2025arXiv

Short Brooms in Edge-chromatic Critical Graphs

This paper studies short brooms in edge-chromatic critical graphs. We prove that for any short broom in a ΔΔ-critical graph, at most one color is missing at more than one vertex. Moreover, this color (if exists) is missing at exactly two vertices. Applying this result, we verify the Vertex-splitting Conjecture for graphs with Δ≥2(n−1)/3Δ\geq 2(n-1)/3 and the Overfull Conjecture for ΔΔ-critical graphs satisfying Δ≥(2n+5δ−12)/3Δ\geq (2n+5δ-12)/3.

preprint2024arXiv

Signatures of Ultralight Bosons in Compact Binary Inspiral and Outspiral

Ultralight bosons are well-motivated particles from various physical and cosmological theories, and can be spontaneously produced during the superradiant process, forming a dense hydrogen-like cloud around the spinning black hole. After the growth saturates, the cloud slowly depletes its mass through gravitational-wave emission. In this work we study the orbit dynamics of a binary system containing such a gravitational atom saturated in various spin-0,1,2 superradiant states, taking into account both the effects of dynamical friction and the cloud mass depletion. We estimate the significance of mass depletion, finding that although dynamical friction could dominate the inspiral phase, it typically does not affect the outspiral phase driven by the mass depletion. Focusing on the large orbit radius, we investigate the condition to observe the outspiral, and the detectability of the cloud via pulsar-timing signal in the case of black hole-pulsar binary.

preprint2023arXiv

The average degree of edge chromatic critical graphs with maximum degree seven

In this paper, by developing several new adjacency lemmas about a path on 44 or 55 vertices, we show that the average degree of 7-critical graphs is at least 6. It implies Vizing's planar graph conjecture for planar graphs with maximum degree 77 and its extension to graphs embeddable in a surface with nonnegative Euler characteristic due to Sanders and Zhao (J. Combin. Theory Ser. B 83 (2001) 201-212 and J. Combin. Theory Ser. B 87 (2003) 254-263) and Zhang (Graphs and Combinatorics 16 (2000) 467-495).

preprint2022arXiv

Online Reflective Learning for Robust Medical Image Segmentation

Deep segmentation models often face the failure risks when the testing image presents unseen distributions. Improving model robustness against these risks is crucial for the large-scale clinical application of deep models. In this study, inspired by human learning cycle, we propose a novel online reflective learning framework (RefSeg) to improve segmentation robustness. Based on the reflection-on-action conception, our RefSeg firstly drives the deep model to take action to obtain semantic segmentation. Then, RefSeg triggers the model to reflect itself. Because making deep models realize their segmentation failures during testing is challenging, RefSeg synthesizes a realistic proxy image from the semantic mask to help deep models build intuitive and effective reflections. This proxy translates and emphasizes the segmentation flaws. By maximizing the structural similarity between the raw input and the proxy, the reflection-on-action loop is closed with segmentation robustness improved. RefSeg runs in the testing phase and is general for segmentation models. Extensive validation on three medical image segmentation tasks with a public cardiac MR dataset and two in-house large ultrasound datasets show that our RefSeg remarkably improves model robustness and reports state-of-the-art performance over strong competitors.

preprint2022arXiv

Overfullness of edge-critical graphs with small minimal core degree

Let GG be a simple graph. Denote by nn, Δ(G)Δ(G) and χ′(G)χ' (G) be the order, the maximum degree and the chromatic index of GG, respectively. We call GG \emph{overfull} if ∣E(G)∣/⌊n/2⌋>Δ(G)|E(G)|/\lfloor n/2\rfloor > Δ(G), and {\it critical} if χ′(H)<χ′(G)χ'(H) < χ'(G) for every proper subgraph HH of GG. Clearly, if GG is overfull then χ′(G)=Δ(G)+1χ'(G) = Δ(G)+1. The \emph{core} of GG, denoted by GΔG_Δ, is the subgraph of GG induced by all its maximum degree vertices. We believe that utilizing the core degree condition could be considered as an approach to attacking the overfull conjecture. Along this direction, we in this paper show that for any integer k≥2k\geq 2, if GG is critical with Δ(G)≥23n+3k2Δ(G)\geq \frac{2}{3}n+\frac{3k}{2} and δ(GΔ)≤kδ(G_Δ)\leq k, then GG is overfull.

preprint2022arXiv

Precoloring extension of Vizing's Theorem for multigraphs

Let GG be a graph with maximum degree Δ(G)Δ(G) and maximum multiplicity μ(G)μ(G). Vizing and Gupta, independently, proved in the 1960s that the chromatic index of GG is at most Δ(G)+μ(G)Δ(G)+μ(G). The distance between two edges ee and ff in GG is the length of a shortest path connecting an endvertex of ee and an endvertex of ff. A distance-tt matching is a set of edges having pairwise distance at least tt. Edwards et al. proposed the following conjecture: For any graph GG, using the palette {1,…,Δ(G)+μ(G)}\{1, \dots, Δ(G)+μ(G)\}, any precoloring on a distance-22 matching can be extended to a proper edge coloring of GG. Girão and Kang verified this conjecture for distance-99 matchings. In this paper, we improve the required distance from 99 to 33 for multigraphs GG with μ(G)≥2μ(G) \ge 2.

preprint2022arXiv

Statistical Dependency Guided Contrastive Learning for Multiple Labeling in Prenatal Ultrasound

Standard plane recognition plays an important role in prenatal ultrasound (US) screening. Automatically recognizing the standard plane along with the corresponding anatomical structures in US image can not only facilitate US image interpretation but also improve diagnostic efficiency. In this study, we build a novel multi-label learning (MLL) scheme to identify multiple standard planes and corresponding anatomical structures of fetus simultaneously. Our contribution is three-fold. First, we represent the class correlation by word embeddings to capture the fine-grained semantic and latent statistical concurrency. Second, we equip the MLL with a graph convolutional network to explore the inner and outer relationship among categories. Third, we propose a novel cluster relabel-based contrastive learning algorithm to encourage the divergence among ambiguous classes. Extensive validation was performed on our large in-house dataset. Our approach reports the highest accuracy as 90.25% for standard planes labeling, 85.59% for planes and structures labeling and mAP as 94.63%. The proposed MLL scheme provides a novel perspective for standard plane recognition and can be easily extended to other medical image classification tasks.

preprint2021arXiv

An improvement to the vertex-splitting conjecture

For a simple graph GG, denote by nn, Δ(G)Δ(G), and χ′(G)χ'(G) its order, maximum degree, and chromatic index, respectively. A connected class 2 graph GG is edge-chromatic critical if χ′(G−e)<Δ(G)+1χ'(G-e)<Δ(G)+1 for every edge ee of GG. Define GG to be overfull if ∣E(G)∣>Δ(G)⌊n/2⌋|E(G)|>Δ(G) \lfloor n/2 \rfloor. Clearly, overfull graphs are class 2 and any graph obtained from a regular graph of even order by splitting a vertex is overfull. Let GG be an nn-vertex connected regular class 1 graph with Δ(G)>n/3Δ(G) >n/3. Hilton and Zhao in 1997 conjectured that if G∗G^* is obtained from GG by splitting one vertex of GG into two vertices, then G∗G^* is edge-chromatic critical, and they verified the conjecture for graphs GG with Δ(G)≥n2(7−1)≈0.82nΔ(G)\ge \frac{n}{2}(\sqrt{7}-1)\approx 0.82n. The graph G∗G^* is easily verified to be overfull, and so the hardness of the conjecture lies in showing that the deletion of every of its edge decreases the chromatic index. Except in 2002, Song showed that the conjecture is true for a special class of graphs GG with Δ(G)≥n2Δ(G)\ge \frac{n}{2}, no other progress on this conjecture had been made. In this paper, we confirm the conjecture for graphs GG with Δ(G)≥0.75nΔ(G) \ge 0.75n.

preprint2020arXiv

ΔΔ-critical graphs with a vertex of degree 2

Let GG be a simple graph with maximum degree ΔΔ. A classic result of Vizing shows that χ′(G)χ'(G), the chromatic index of GG, is either ΔΔ or Δ+1Δ+1. We say GG is of \emph{Class 1} if χ′(G)=Δχ'(G)=Δ, and is of \emph{Class 2} otherwise. A graph GG is \emph{ΔΔ-critical} if χ′(G)=Δ+1χ'(G)=Δ+1 and χ′(H)<Δ+1χ'(H)<Δ+1 for every proper subgraph HH of GG, and is \emph{overfull} if ∣E(G)∣>Δ⌊(∣V(G)∣−1)/2⌋|E(G)|>Δ\lfloor (|V(G)|-1)/2 \rfloor. Clearly, overfull graphs are Class 2. Hilton and Zhao in 1997 conjectured that if GG is obtained from an nn-vertex ΔΔ-regular Class 1 graph with maximum degree greater than n/3n/3 by splitting a vertex, then being overfull is the only reason for GG to be Class 2. This conjecture was only confirmed when Δ≥n2(7−1)≈0.82nΔ\ge \frac{n}{2}(\sqrt{7}-1)\approx 0.82n. In this paper, we improve the bound on ΔΔ from n2(7−1)\frac{n}{2}(\sqrt{7}-1) to 0.75n0.75n. Considering the structure of ΔΔ-critical graphs with a vertex of degree 2, we also show that for an nn-vertex ΔΔ-critical graph with Δ≥3n4Δ\ge \frac{3n}{4}, if it contains a vertex of degree 2, then it is overfull. We actually obtain a more general form of this result, which partially supports the overfull conjecture of Chetwynd and Hilton from 1986, which states that if GG is an nn-vertex ΔΔ-critical graph with Δ>n/3Δ>n/3, then GG contains an overfull subgraph HH with Δ(H)=ΔΔ(H)=Δ. Our proof techniques are new and might shed some light on attacking both of the conjectures when ΔΔ is large.

preprint2020arXiv

Adaptive Dialog Policy Learning with Hindsight and User Modeling

Reinforcement learning methods have been used to compute dialog policies from language-based interaction experiences. Efficiency is of particular importance in dialog policy learning, because of the considerable cost of interacting with people, and the very poor user experience from low-quality conversations. Aiming at improving the efficiency of dialog policy learning, we develop algorithm LHUA (Learning with Hindsight, User modeling, and Adaptation) that, for the first time, enables dialog agents to adaptively learn with hindsight from both simulated and real users. Simulation and hindsight provide the dialog agent with more experience and more (positive) reinforcements respectively. Experimental results suggest that, in success rate and policy quality, LHUA outperforms competitive baselines from the literature, including its no-simulation, no-adaptation, and no-hindsight counterparts.

preprint2020arXiv

Overfullness of critical class 2 graphs with a small core degree

Let GG be a simple graph, and let nn, Δ(G)Δ(G) and χ′(G)χ' (G) be the order, the maximum degree and the chromatic index of GG, respectively. We call GG overfull if ∣E(G)∣/⌊n/2⌋>Δ(G)|E(G)|/\lfloor n/2\rfloor > Δ(G), and critical if χ′(H)<χ′(G)χ'(H) < χ'(G) for every proper subgraph HH of GG. Clearly, if GG is overfull then χ′(G)=Δ(G)+1χ'(G) = Δ(G)+1. The core of GG, denoted by GΔG_Δ, is the subgraph of GG induced by all its maximum degree vertices. Hilton and Zhao conjectured that for any critical class 2 graph GG with Δ(G)≥4Δ(G) \ge 4, if the maximum degree of GΔG_Δ is at most two, then GG is overfull, which in turn gives Δ(G)>n/2+1Δ(G) > n/2 +1. We show that for any critical class 2 graph GG, if the minimum degree of GΔG_Δ is at most two and Δ(G)>n/2+1Δ(G) > n/2 +1, then GG is overfull.

preprint2020arXiv

Proof of the Core Conjecture of Hilton and Zhao

Let GG be a simple graph with maximum degree ΔΔ. We call GG \emph{overfull} if ∣E(G)∣>Δ⌊∣V(G)∣/2⌋|E(G)|>Δ\lfloor |V(G)|/2\rfloor. The \emph{core} of GG, denoted GΔG_Δ, is the subgraph of GG induced by its vertices of degree ΔΔ. A classic result of Vizing shows that χ′(G)χ'(G), the chromatic index of GG, is either ΔΔ or Δ+1Δ+1. It is NP-complete to determine the chromatic index for a general graph. However, if GG is overfull then χ′(G)=Δ+1χ'(G)=Δ+1. Hilton and Zhao in 1996 conjectured that if GG is a simple connected graph with Δ≥3Δ\ge 3 and Δ(GΔ)≤2Δ(G_Δ)\le 2, then χ′(G)=Δ+1χ'(G)=Δ+1 if and only if GG is overfull or G=P∗G=P^*, where P∗P^* is obtained from the Petersen graph by deleting a vertex. This conjecture, if true, implies an easy approach for calculating χ′(G)χ'(G) for graphs GG satisfying the conditions. The progress on the conjecture has been slow: it was only confirmed for Δ=3,4Δ=3,4, respectively, in 2003 and 2017. In this paper, we confirm this conjecture for all Δ≥4Δ\ge 4.

preprint2020arXiv

Restricted cohomology of restricted Lie superalgebras

Suppose the ground field F\mathbb{F} is an algebraically closed field characteristic of p>2p>2. In this paper, we investigate the restricted cohomology theory of restricted Lie superalgebras. Algebraic interpretations of low dimensional restricted cohomology of restricted Lie superalgebra are given. We show that there is a family of restricted model filiform Lie superalgebra Lp,pλL_{p,p}^λ structures parameterized by elements λ∈Fp.λ\in \mathbb{F}^{p}. We explicitly describe both the 11-dimensional ordinary and restricted cohomology superspaces of Lp,pλL_{p,p}^λ with coefficients in the 11-dimensional trivial module and show that these superspaces are equal. We also describe the 22-dimensional ordinary and restricted cohomology superspaces of Lp,pλL_{p,p}^λ with coefficients in the 11-dimensional trivial module and show that these superspaces are unequal.

preprint2015arXiv

On split regular Hom-Lie color algebras

We introduce the class of split regular Hom-Lie color algebras as the natural generalization of split Lie color algebras. By developing techniques of connections of roots for this kind of algebras, we show that such a split regular Hom-Lie color algebra LL is of the form L=U+∑[j]∈Λ/∼I[j]L = U + \sum\limits_{[j] \in Λ/\sim}I_{[j]} with UU a subspace of the abelian graded subalgebra HH and any I[j]I_{[j]}, a well described ideal of LL, satisfying [I[j],I[k]]=0[I_{[j]}, I_{[k]}] = 0 if [j]≠[k][j]\neq [k]. Under certain conditions, in the case of LL being of maximal length, the simplicity of the algebra is characterized.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.