arXiv Science⌕ Search

arXiv subjects

Yi Zhao

Publications and source records attributed to Yi Zhao.

At least 307 records · Page 17Linked to original sources

Pathway Lasso: Estimate and Select Sparse Mediation Pathways with High Dimensional Mediators

In many scientific studies, it becomes increasingly important to delineate the causal pathways through a large number of mediators, such as genetic and brain mediators. Structural equation modeling (SEM) is a popular technique to estimate the pathway effects, commonly expressed as products of coefficients. However, it becomes unstable to fit such models with high dimensional mediators, especially for a general setting where all the mediators are causally dependent but the exact causal relationships between them are unknown. This paper proposes a sparse mediation model using a regularized SEM approach, where sparsity here means that a small number of mediators have nonzero mediation effects between a treatment and an outcome. To address the model selection challenge, we innovate by introducing a new penalty called Pathway Lasso. This penalty function is a convex relaxation of the non-convex product function, and it enables a computationally tractable optimization criterion to estimate and select many pathway effects simultaneously. We develop a fast ADMM-type algorithm to compute the model parameters, and we show that the iterative updates can be expressed in closed form. On both simulated data and a real fMRI dataset, the proposed approach yields higher pathway selection accuracy and lower estimation bias than other competing methods.

stat.ML↗

A note on perfect matchings in uniform hypergraphs

We determine the \emph{exact} minimum $\ell$-degree threshold for perfect matchings in $k$-uniform hypergraphs when the corresponding threshold for perfect fractional matchings is significantly less than $\frac{1}{2} \binom{n}{k- \ell}$. This extends our previous results that determine the minimum $\ell$-degree thresholds for perfect matchings in $k$-uniform hypergraphs for all $\ell\ge k/2$ and provides two new (exact) thresholds: $(k,\ell)=(5,2)$ and $(7,3)$.

math.CO↗

On the structure of oriented graphs and digraphs with forbidden tournaments or cycles

Motivated by his work on the classification of countable homogeneous oriented graphs, Cherlin asked about the typical structure of oriented graphs (i) without a transitive triangle, or (ii) without an oriented triangle. We give an answer to these questions (which is not quite the predicted one). Our approach is based on the recent `hypergraph containers' method, developed independently by Saxton and Thomason as well as by Balogh, Morris and Samotij. Moreover, our results generalise to forbidden transitive tournaments and forbidden oriented cycles of any order, and also apply to digraphs. Along the way we prove several stability results for extremal digraph problems, which we believe are of independent interest.

math.CO↗

Codegree thresholds for covering 3-uniform hypergraphs

Given two 3-uniform hypergraphs F and G, we say that G has an F-covering if we can cover V(G) by copies of F. The minimum codegree of G is the largest integer d such that every pair of vertices from V(G) is contained in at least d triples from E(G). Define c_2(n,F) to be the largest minimum codegree among all n-vertex 3-graphs G that contain no F-covering. This is a natural problem intermediate (but distinct) from the well-studied Turán problems and tiling problems. In this paper, we determine c_2(n, K_4) (for n>98) and the associated extremal configurations (for n>998), where K_4 denotes the complete 3-graph on 4 vertices. We also obtain bounds on c_2(n,F) which are apart by at most 2 in the cases where F is K_4^- (K_4 with one edge removed), K_5^-, and the tight cycle C_5 on 5 vertices.

math.CO↗

Persistent topological features of dynamical systems

A general method for constructing simplicial complex from observed time series of dynamical systems based on the delay coordinate reconstruction procedure is presented. The obtained simplicial complex preserves all pertinent topological features of the reconstructed phase space and it may be analyzes from topological, combinatorial and algebraic aspects. In focus of this study is the computation of homology of the invariant set of some well known dynamical systems which display chaotic behavior. Persistent homology of simplicial complex and its relationship with the embedding dimensions are examined by studying the lifetime of topological features and topological noise. The consistency of topological properties for different dynamic regimes and embedding dimensions is examined. The obtained results shed new light on the topological properties of the reconstructed phase space and open up new possibilities for application of advanced topological methods. the method presented here may be used as a generic method for constructing simplicial complex from a scalar time series which has a number of advantages compared to the mapping of the time series to a complex network.

nlin.CD↗

Reconciling the light component and all-particle cosmic ray energy spectra at the knee

The knee phenomenon of the cosmic ray spectrum, which plays an important role in studying the acceleration mechanism of cosmic rays, is still an unsolved mystery. We try to reconcile the knee spectra measured by ARGO-YBJ and Tibet-III. A simple broken power-law model fails to explain the experimental data. Therefore a modified broken power-law model with non-linear acceleration effects is adopted, which can describe the sharp knee structure. This model predicts that heavy elements dominate at the knee.

astro-ph.HE↗

Exact minimum codegree threshold for $K^- _4$-factors

Given hypergraphs $F$ and $H$, an $F$-factor in $H$ is a set of vertex-disjoint copies of $F$ which cover all the vertices in $H$. Let $K^- _4$ denote the $3$-uniform hypergraph with $4$ vertices and $3$ edges. We show that for sufficiently large $n\in 4 \mathbb N$, every $3$-uniform hypergraph $H$ on $n$ vertices with minimum codegree at least $n/2-1$ contains a $K^- _4$-factor. Our bound on the minimum codegree here is best-possible. It resolves a conjecture of Lo and Markström for large hypergraphs, who earlier proved an asymptotically exact version of this result. Our proof makes use of the absorbing method as well as a result of Keevash and Mycroft concerning almost perfect matchings in hypergraphs.

math.CO↗

Recent advances on Dirac-type problems for hypergraphs

A fundamental question in graph theory is to establish conditions that ensure a graph contains certain spanning subgraphs. Two well-known examples are Tutte's theorem on perfect matchings and Dirac's theorem on Hamilton cycles. Generalizations of Dirac's theorem, and related matching and packing problems for hypergraphs, have received much attention in recent years. New tools such as the absorbing method and regularity method have helped produce many new results, and yet some fundamental problems in the area remain unsolved. We survey recent developments on Dirac-type problems along with the methods involved, and highlight some open problems.

math.CO↗

Forbidding Hamilton cycles in uniform hypergraphs

For $1\le d\le \ell< k$, we give a new lower bound for the minimum $d$-degree threshold that guarantees a Hamilton $\ell$-cycle in $k$-uniform hypergraphs. When $k\ge 4$ and $d< \ell=k-1$, this bound is larger than the conjectured minimum $d$-degree threshold for perfect matchings and thus disproves a well-known conjecture of Rödl and Ruciński. Our (simple) construction generalizes a construction of Katona and Kierstead and the space barrier for Hamilton cycles.

math.CO↗

Minimum vertex degree threshold for loose Hamilton cycles in 3-uniform hypergraphs

We show that for sufficiently large $n$, every 3-uniform hypergraph on $n$ vertices with minimum vertex degree at least $\binom{n-1}2 - \binom{\lfloor\frac34 n\rfloor}2 + c$, where $c=2$ if $n\in 4\mathbb{N}$ and $c=1$ if $n\in 2\mathbb{N}\setminus 4\mathbb{N}$, contains a loose Hamilton cycle. This degree condition is best possible and improves on the work of Buß, Hàn and Schacht who proved the corresponding asymptotical result.

math.CO↗

Minimum codegree threshold for Hamilton l-cycles in k-uniform hypergraphs

For $1\le \ell<k/2$, we show that for sufficiently large $n$, every $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $\frac n{2 (k-\ell)} $ contains a Hamilton $\ell$-cycle. This codegree condition is best possible and improves on work of Hàn and Schacht who proved an asymptotic result.

math.CO↗

Minimum degree thresholds for bipartite graph tiling

For any bipartite graph $H$, we determine a minimum degree threshold for a balanced bipartite graph $G$ to contain a perfect $H$-tiling. We show that this threshold is best possible up to a constant depending only on $H$. Additionally, we prove a corresponding minimum degree threshold to guarantee that $G$ has an $H$-tiling missing only a constant number of vertices. Our threshold for the perfect tiling depends on either the chromatic number $χ(H)$ or the critical chromatic number $χ_{cr}(H)$ while the threshold for the almost perfect tiling only depends on $χ_{cr}(H)$. Our results answer two questions of Zhao. They can be viewed as bipartite analogs to the results of Kuhn and Osthus and of Shokoufandeh and Zhao.

math.CO↗

Minimum vertex degree threshold for $C_4^3$-tiling

We prove that the vertex degree threshold for tiling $\C_4^3$ (the 3-uniform hypergraph with four vertices and two triples) in a 3-uniform hypergraph on $n\in 4\mathbb N$ vertices is $\binom{n-1}2 - \binom{\frac34 n}2+\frac38n+c$, where $c=1$ if $n\in 8\mathbb N$ and $c=-\frac12$ otherwise. This result is best possible, and is one of the first results on vertex degree conditions for hypergraph tiling.

math.CO↗

On multipartite Hajnal-Szemerédi theorems

Let $G$ be a $k$-partite graph with $n$ vertices in parts such that each vertex is adjacent to at least $δ^*(G)$ vertices in each of the other parts. Magyar and Martin \cite{MaMa} proved that for $k=3$, if $δ^*(G)\ge 2/3n $ and $n$ is sufficiently large, then $G$ contains a $K_3$-factor (a spanning subgraph consisting of $n$ vertex-disjoint copies of $K_3$) except that $G$ is one particular graph. Martin and Szemerédi \cite{MaSz} proved that $G$ contains a $K_4$-factor when $δ^*(G)\ge 3/4n$ and $n$ is sufficiently large. Both results were proved by the Regularity Lemma. In this paper we give a proof of these two results by the absorbing method. Our absorbing lemma actually works for all $k\ge 3$.

math.CO↗

Exact minimum degree thresholds for perfect matchings in uniform hypergraphs

Given positive integers k and r where 4 divides k and k/2 \leq r \leq k-1, we give a minimum r-degree condition that ensures a perfect matching in a k-uniform hypergraph. This condition is best possible and improves on work of Pikhurko who gave an asymptotically exact result. Our approach makes use of the absorbing method, as well as the hypergraph removal lemma and a structural result of Keevash and Sudakov relating to the Turan number of the expanded triangle.

math.CO↗

Exact minimum degree thresholds for perfect matchings in uniform hypergraphs II

Given positive integers k\geq 3 and r where k/2 \leq r \leq k-1, we give a minimum r-degree condition that ensures a perfect matching in a k-uniform hypergraph. This condition is best possible and improves on work of Pikhurko who gave an asymptotically exact result. Our approach makes use of the absorbing method, and builds on work in 'Exact minimum degree thresholds for perfect matchings in uniform hypergraphs', where we proved the result for k divisible by 4.

math.CO↗

Suppression of extraneous thermal noise in cavity optomechanics

Extraneous thermal motion can limit displacement sensitivity and radiation pressure effects, such as optical cooling, in a cavity-optomechanical system. Here we present an active noise suppression scheme and its experimental implementation. The main challenge is to selectively sense and suppress extraneous thermal noise without affecting motion of the oscillator. Our solution is to monitor two modes of the optical cavity, each with different sensitivity to the oscillator's motion but similar sensitivity to the extraneous thermal motion. This information is used to imprint "anti-noise" onto the frequency of the incident laser field. In our system, based on a nano-mechanical membrane coupled to a Fabry-Pérot cavity, simulation and experiment demonstrate that extraneous thermal noise can be selectively suppressed and that the associated limit on optical cooling can be reduced.

physics.optics↗