-
A novel direct imaging method for passive inverse obstacle scattering problem
Authors:
Yunwen Yin,
Liang Yan
Abstract:
This paper investigates the inverse scattering problem of recovering a sound-soft obstacle using passive measurements taken from randomly distributed point sources. The randomness introduced by these sources poses significant challenges, leading to the failure of classical direct sampling methods that rely on scattered field measurements. To address this issue, we introduce the Doubly Cross-Correl…
▽ More
This paper investigates the inverse scattering problem of recovering a sound-soft obstacle using passive measurements taken from randomly distributed point sources. The randomness introduced by these sources poses significant challenges, leading to the failure of classical direct sampling methods that rely on scattered field measurements. To address this issue, we introduce the Doubly Cross-Correlating Method (DCM), a novel direct imaging scheme that consists of two major steps. Initially, DCM creates a cross-correlation between two passive measurements. This specially designed cross-correlation effectively handles the uncontrollability of incident sources and connects to the active scattering model via the Helmholtz-Kirchhoff identity. Subsequently, this cross-correlation is used to create a correlation-based imaging function that can qualitatively identify the obstacle. The stability and resolution of DCM are theoretically analyzed. Extensive numerical examples, including scenarios with two closely positioned obstacles and multiscale obstacles, demonstrate that DCM is computationally efficient, stable, and fast.
△ Less
Submitted 28 June, 2024;
originally announced July 2024.
-
Spectral Independence Beyond Total Influence on Trees and Related Graphs
Authors:
Xiaoyu Chen,
Xiongxin Yang,
Yitong Yin,
Xinyuan Zhang
Abstract:
We study how to establish $\textit{spectral independence}$, a key concept in sampling, without relying on total influence bounds, by applying an $\textit{approximate inverse}$ of the influence matrix. Our method gives constant upper bounds on spectral independence for two foundational Gibbs distributions known to have unbounded total influences:
$\bullet$ The monomer-dimer model on graphs with l…
▽ More
We study how to establish $\textit{spectral independence}$, a key concept in sampling, without relying on total influence bounds, by applying an $\textit{approximate inverse}$ of the influence matrix. Our method gives constant upper bounds on spectral independence for two foundational Gibbs distributions known to have unbounded total influences:
$\bullet$ The monomer-dimer model on graphs with large girth (including trees). Prior to our work, such results were only known for graphs with constant maximum degrees or infinite regular trees, as shown by Chen, Liu, and Vigoda (STOC '21).
$\bullet$ The hardcore model on trees with fugacity $λ< \mathrm{e}^2$. This remarkably surpasses the well-known $λ_r>\mathrm{e}-1$ lower bound for the reconstruction threshold on trees, significantly improving upon the current threshold $λ< 1.3$, established in a prior work by Efthymiou, Hayes, Štefankovič, and Vigoda (RANDOM '23).
Consequently, we establish optimal $Ω(n^{-1})$ spectral gaps of the Glauber dynamics for these models on arbitrary trees, regardless of the maximum degree $Δ$.
△ Less
Submitted 6 April, 2024;
originally announced April 2024.
-
Deep decomposition method for the limited aperture inverse obstacle scattering problem
Authors:
Yunwen Yin,
Liang Yan
Abstract:
In this paper, we consider a deep learning approach to the limited aperture inverse obstacle scattering problem. It is well known that traditional deep learning relies solely on data, which may limit its performance for the inverse problem when only indirect observation data and a physical model are available. A fundamental question arises in light of these limitations: is it possible to enable de…
▽ More
In this paper, we consider a deep learning approach to the limited aperture inverse obstacle scattering problem. It is well known that traditional deep learning relies solely on data, which may limit its performance for the inverse problem when only indirect observation data and a physical model are available. A fundamental question arises in light of these limitations: is it possible to enable deep learning to work on inverse problems without labeled data and to be aware of what it is learning? This work proposes a deep decomposition method (DDM) for such purposes, which does not require ground truth labels. It accomplishes this by providing physical operators associated with the scattering model to the neural network architecture. Additionally, a deep learning based data completion scheme is implemented in DDM to prevent distorting the solution of the inverse problem for limited aperture data. Furthermore, apart from addressing the ill-posedness imposed by the inverse problem itself, DDM is a physics-aware machine learning technique that can have interpretability property. The convergence result of DDM is theoretically proven. Numerical experiments are presented to demonstrate the validity of the proposed DDM even when the incident and observation apertures are extremely limited.
△ Less
Submitted 28 March, 2024;
originally announced March 2024.
-
Liberating dimension and spectral norm: A universal approach to spectral properties of sample covariance matrices
Authors:
Yanqing Yin
Abstract:
In this paper, our objective is to present a constraining principle governing the spectral properties of the sample covariance matrix. This principle exhibits harmonious behavior across diverse limiting frameworks, eliminating the need for constraints on the rates of dimension $p$ and sample size $n$, as long as they both tend to infinity. We accomplish this by employing a suitable normalization t…
▽ More
In this paper, our objective is to present a constraining principle governing the spectral properties of the sample covariance matrix. This principle exhibits harmonious behavior across diverse limiting frameworks, eliminating the need for constraints on the rates of dimension $p$ and sample size $n$, as long as they both tend to infinity. We accomplish this by employing a suitable normalization technique on the original sample covariance matrix. Following this, we establish a harmonic central limit theorem for linear spectral statistics within this expansive framework. This achievement effectively eliminates the necessity for a bounded spectral norm on the population covariance matrix and relaxes constraints on the rates of dimension $p$ and sample size $n$, thereby significantly broadening the applicability of these results in the field of high-dimensional statistics. We illustrate the power of the established results by considering the test for covariance structure under high dimensionality, freeing both $p$ and $n$.
△ Less
Submitted 1 January, 2024;
originally announced January 2024.
-
Limiting behavior of bilinear forms for the resolvent of sample covariance matrices under elliptical distribution with applications
Authors:
Yanqing Yin,
Wang Zhou
Abstract:
In this paper, we introduce a joint central limit theorem (CLT) for specific bilinear forms, encompassing the resolvent of the sample covariance matrix under an elliptical distribution. Through an exhaustive exploration of our theoretical findings, we unveil a phase transition in the limiting parameters that relies on the moments of the random radius in our derived CLT. Subsequently, we employ the…
▽ More
In this paper, we introduce a joint central limit theorem (CLT) for specific bilinear forms, encompassing the resolvent of the sample covariance matrix under an elliptical distribution. Through an exhaustive exploration of our theoretical findings, we unveil a phase transition in the limiting parameters that relies on the moments of the random radius in our derived CLT. Subsequently, we employ the established CLT to address two statistical challenges under elliptical distribution. The first task involves deriving the CLT for eigenvector statistics of the sample covariance matrix. The second task aims to ascertain the limiting properties of the spiked sample eigenvalues under a general spiked model. As a byproduct, we discover that the eigenmatrix of the sample covariance matrix under a light-tailed elliptical distribution satisfies the necessary conditions for asymptotic Haar, thereby extending the Haar conjecture to broader distributions.
△ Less
Submitted 26 December, 2023;
originally announced December 2023.
-
A Coefficient Makes SVRG Effective
Authors:
Yida Yin,
Zhiqiu Xu,
Zhiyuan Li,
Trevor Darrell,
Zhuang Liu
Abstract:
Stochastic Variance Reduced Gradient (SVRG), introduced by Johnson & Zhang (2013), is a theoretically compelling optimization method. However, as Defazio & Bottou (2019) highlights, its effectiveness in deep learning is yet to be proven. In this work, we demonstrate the potential of SVRG in optimizing real-world neural networks. Our analysis finds that, for deeper networks, the strength of the var…
▽ More
Stochastic Variance Reduced Gradient (SVRG), introduced by Johnson & Zhang (2013), is a theoretically compelling optimization method. However, as Defazio & Bottou (2019) highlights, its effectiveness in deep learning is yet to be proven. In this work, we demonstrate the potential of SVRG in optimizing real-world neural networks. Our analysis finds that, for deeper networks, the strength of the variance reduction term in SVRG should be smaller and decrease as training progresses. Inspired by this, we introduce a multiplicative coefficient $α$ to control the strength and adjust it through a linear decay schedule. We name our method $α$-SVRG. Our results show $α$-SVRG better optimizes neural networks, consistently reducing training loss compared to both baseline and the standard SVRG across various architectures and image classification datasets. We hope our findings encourage further exploration into variance reduction techniques in deep learning. Code is available at https://github.com/davidyyd/alpha-SVRG.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
A Sampling Lovász Local Lemma for Large Domain Sizes
Authors:
Chunyang Wang,
Yitong Yin
Abstract:
We present polynomial-time algorithms for approximate counting and sampling solutions to constraint satisfaction problems (CSPs) with atomic constraints within the local lemma regime: $$ pD^{2+o_q(1)}\lesssim 1. $$ When the domain size $q$ of each variable becomes sufficiently large, this almost matches the known lower bound $pD^2\gtrsim 1$ for approximate counting and sampling solutions to atomic…
▽ More
We present polynomial-time algorithms for approximate counting and sampling solutions to constraint satisfaction problems (CSPs) with atomic constraints within the local lemma regime: $$ pD^{2+o_q(1)}\lesssim 1. $$ When the domain size $q$ of each variable becomes sufficiently large, this almost matches the known lower bound $pD^2\gtrsim 1$ for approximate counting and sampling solutions to atomic CSPs [Bezáková et al, SICOMP '19; Galanis, Guo, Wang, TOCT '22], thus establishing an almost tight sampling Lovász local lemma for large domain sizes.
△ Less
Submitted 4 April, 2024; v1 submitted 27 July, 2023;
originally announced July 2023.
-
Uniqueness and Rapid Mixing in the Bipartite Hardcore Model
Authors:
Xiaoyu Chen,
**gcheng Liu,
Yitong Yin
Abstract:
We characterize the uniqueness condition in the hardcore model for bipartite graphs with degree bounds only on one side, and provide a nearly linear time sampling algorithm that works up to the uniqueness threshold. We show that the uniqueness threshold for bipartite graph has almost the same form of the tree uniqueness threshold for general graphs, except with degree bounds only on one side of th…
▽ More
We characterize the uniqueness condition in the hardcore model for bipartite graphs with degree bounds only on one side, and provide a nearly linear time sampling algorithm that works up to the uniqueness threshold. We show that the uniqueness threshold for bipartite graph has almost the same form of the tree uniqueness threshold for general graphs, except with degree bounds only on one side of the bipartition. The hardcore model from statistical physics can be seen as a weighted enumeration of independent sets. Its bipartite version (#BIS) is a central open problem in approximate counting. Compared to the same problem in a general graph, surprising tractable regime have been identified that are believed to be hard in general. This is made possible by two lines of algorithmic approach: the high-temperature algorithms starting from Liu and Lu (STOC 2015), and the low-temperature algorithms starting from Helmuth, Perkins, and Regts (STOC 2019).
In this work, we study the limit of these algorithms in the high-temperature case. Our characterization of the uniqueness condition is obtained by proving decay of correlations for arguably the best possible regime, which involves locating fixpoints of multivariate iterative rational maps and showing their contraction. We also give a nearly linear time sampling algorithm based on simulating field dynamics only on one side of the bipartite graph that works up to the uniqueness threshold. Our algorithm is very different from the original high-temperature algorithm of Liu and Lu, and it makes use of a connection between correlation decay and spectral independence of Markov chains. Last but not the least, we are able to show that the standard Glauber dynamics on both side of the bipartite graph mixes in polynomial time up to the uniqueness.
△ Less
Submitted 29 April, 2023;
originally announced May 2023.
-
Deterministic counting Lovász local lemma beyond linear programming
Authors:
Kun He,
Chunyang Wang,
Yitong Yin
Abstract:
We give a simple combinatorial algorithm to deterministically approximately count the number of satisfying assignments of general constraint satisfaction problems (CSPs). Suppose that the CSP has domain size $q=O(1)$, each constraint contains at most $k=O(1)$ variables, shares variables with at most $Δ=O(1)$ constraints, and is violated with probability at most $p$ by a uniform random assignment.…
▽ More
We give a simple combinatorial algorithm to deterministically approximately count the number of satisfying assignments of general constraint satisfaction problems (CSPs). Suppose that the CSP has domain size $q=O(1)$, each constraint contains at most $k=O(1)$ variables, shares variables with at most $Δ=O(1)$ constraints, and is violated with probability at most $p$ by a uniform random assignment. The algorithm returns in polynomial time in an improved local lemma regime: \[ q^2\cdot k\cdot p\cdotΔ^5\le C_0\quad\text{for a suitably small absolute constant }C_0. \] Here the key term $Δ^5$ improves the previously best known $Δ^7$ for general CSPs [JPV21b] and $Δ^{5.714}$ for the special case of $k$-CNF [JPV21a, HSW21]. Our deterministic counting algorithm is a derandomization of the very recent fast sampling algorithm in [HWY22]. It departs substantially from all previous deterministic counting Lovász local lemma algorithms which relied on linear programming, and gives a deterministic approximate counting algorithm that straightforwardly derandomizes a fast sampling algorithm, hence unifying the fast sampling and deterministic approximate counting in the same algorithmic framework. To obtain the improved regime, in our analysis we develop a refinement of the $\{2,3\}$-trees that were used in the previous analyses of counting/sampling LLL. Similar techniques can be applied to the previous LP-based algorithms to obtain the same improved regime and may be of independent interests.
△ Less
Submitted 30 December, 2022;
originally announced December 2022.
-
Multiday User Equilibrium with Strategic Commuters
Authors:
Minghui Wu,
Yafeng Yin,
Jerome P. Lynch
Abstract:
In the era of connected and automated mobility, commuters will possess strong computation power, enabling them to strategically make sequential travel choices over a planning horizon. This paper investigates the multiday traffic patterns that arise from such decision-making behavior. In doing so, we frame the commute problem as a mean-field Markov game and introduce a novel concept of multiday use…
▽ More
In the era of connected and automated mobility, commuters will possess strong computation power, enabling them to strategically make sequential travel choices over a planning horizon. This paper investigates the multiday traffic patterns that arise from such decision-making behavior. In doing so, we frame the commute problem as a mean-field Markov game and introduce a novel concept of multiday user equilibrium to capture the steady state of commuters' interactions. The proposed model is general and can be tailored to various travel choices such as route or departure time. We explore a range of properties of the multiday user equilibrium under mild conditions. The study reveals the fingerprint of user inertia on network flow patterns, particularly for foresighted commuters, causing between-day variations even at a steady state. Furthermore, our analysis establishes critical connections between the multiday user equilibrium and conventional Wardrop equilibrium.
△ Less
Submitted 22 December, 2023; v1 submitted 23 December, 2022;
originally announced December 2022.
-
Towards derandomising Markov chain Monte Carlo
Authors:
Weiming Feng,
Heng Guo,
Chunyang Wang,
Jiaheng Wang,
Yitong Yin
Abstract:
We present a new framework to derandomise certain Markov chain Monte Carlo (MCMC) algorithms. As in MCMC, we first reduce counting problems to sampling from a sequence of marginal distributions. For the latter task, we introduce a method called coupling towards the past that can, in logarithmic time, evaluate one or a constant number of variables from a stationary Markov chain state. Since there a…
▽ More
We present a new framework to derandomise certain Markov chain Monte Carlo (MCMC) algorithms. As in MCMC, we first reduce counting problems to sampling from a sequence of marginal distributions. For the latter task, we introduce a method called coupling towards the past that can, in logarithmic time, evaluate one or a constant number of variables from a stationary Markov chain state. Since there are at most logarithmic random choices, this leads to very simple derandomisation. We provide two applications of this framework, namely efficient deterministic approximate counting algorithms for hypergraph independent sets and hypergraph colourings, under local lemma type conditions matching, up to lower order factors, their state-of-the-art randomised counterparts.
△ Less
Submitted 4 April, 2023; v1 submitted 7 November, 2022;
originally announced November 2022.
-
Every toroidal graphs without adjacent triangles is odd 8-colorable
Authors:
Fangyu Tian,
Yuxue Yin
Abstract:
Odd coloring is a proper coloring with an additional restriction that every non-isolated vertex has some color that appears an odd number of times in its neighborhood. The minimum number of colors $k$ that can ensure an odd coloring of a graph $G$ is denoted by $χ_o(G)$. We say $G$ is odd $k$-colorable if $χ_o(G)\le k$. This notion is introduced very recently by Petruševski and Škrekovski, who pro…
▽ More
Odd coloring is a proper coloring with an additional restriction that every non-isolated vertex has some color that appears an odd number of times in its neighborhood. The minimum number of colors $k$ that can ensure an odd coloring of a graph $G$ is denoted by $χ_o(G)$. We say $G$ is odd $k$-colorable if $χ_o(G)\le k$. This notion is introduced very recently by Petruševski and Škrekovski, who proved that if $G$ is planar then $ χ_{o}(G) \leq 9 $. A toroidal graph is a graph that can be embedded on a torus. Note that a $K_7$ is a toroidal graph, $χ_{o}(G)\leq7$. Tian and Yin proved that every toroidal graph is odd $9$-colorable and every toroidal graph without $3$-cycles is odd $9$-colorable. In this paper, we proved that every toroidal graph without adjacent $3$-cycles is odd $8$-colorable.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Boundaries of capture hyperbolic components
Authors:
Jie Cao,
Xiaoguang Wang,
Yongcheng Yin
Abstract:
In complex dynamics, the boundaries of higher dimensional hyperbolic components in holomorphic families of polynomials or rational maps are mysterious objects, whose topological and analytic properties are fundamental problems.
In this paper, we show that in some typical families of polynomials (i.e. algebraic varieties defined by periodic critical relations), the boundary of a capture hyperboli…
▽ More
In complex dynamics, the boundaries of higher dimensional hyperbolic components in holomorphic families of polynomials or rational maps are mysterious objects, whose topological and analytic properties are fundamental problems.
In this paper, we show that in some typical families of polynomials (i.e. algebraic varieties defined by periodic critical relations), the boundary of a capture hyperbolic component $\mathcal H$ is homeomorphic to the sphere $S^{2\dim_\mathbb{C}(\mathcal{H})-1}$. Furthermore, we establish an unexpected identity for the Hausdorff dimension of $\partial \mathcal H$: $$\operatorname{H{.}dim}(\partial\mathcal{H}) = 2 \dim_\mathbb{C}(\mathcal{H})-2+\max_{f\in\partial\mathcal{H}} \operatorname{H{.}dim}(\partial A^J(f)),$$ where $A^J(f)$ is the union of the bounded attracting Fatou components of $f$ associated with the free critical points in the Julia set $J(f)$.
In the proof, some new results with independent interests are discovered.
△ Less
Submitted 15 June, 2022;
originally announced June 2022.
-
Every toroidal graph without $3$-cycles is odd $7$-colorable
Authors:
Fangyu Tian,
Yuxue Yin
Abstract:
Odd coloring is a proper coloring with an additional restriction that every non-isolated vertex has some color that appears an odd number of times in its neighborhood. The minimum number of colors $k$ that can ensure an odd coloring of a graph $G$ is denoted by $χ_o(G)$. We say $G$ is $k$-colorable if $χ_o(G)\le k$. This notion is introduced very recently by Petruševski and Škrekovski, who proved…
▽ More
Odd coloring is a proper coloring with an additional restriction that every non-isolated vertex has some color that appears an odd number of times in its neighborhood. The minimum number of colors $k$ that can ensure an odd coloring of a graph $G$ is denoted by $χ_o(G)$. We say $G$ is $k$-colorable if $χ_o(G)\le k$. This notion is introduced very recently by Petruševski and Škrekovski, who proved that if $G$ is planar then $ χ_{o}(G) \leq 9 $. A toroidal graph is a graph that can be embedded on a torus. Note that a $K_7$ is a toroidal graph, $χ_{o}(G)\leq7$. In this paper, we proved that, every toroidal graph without $3$-cycles is odd $7$-colorable. Thus, every planar graph without $3$-cycles is odd $7$-colorable holds as a corollary. That's to say, every toroidal graph is $7$-colorable can be proved if the remained cases around $3$-cycle is resolved.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
The odd chromatic number of a toroidal graph is at most 9
Authors:
Fangyu Tian,
Yuxue Yin
Abstract:
It's well known that every planar graph is $4$-colorable. A toroidal graph is a graph that can be embedded on a torus. It's proved that every toroidal graph is $7$-colorable. A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has at least one color that appears an odd number of times in its neighborhood. The smallest number of colors that admits an odd coloring of a gra…
▽ More
It's well known that every planar graph is $4$-colorable. A toroidal graph is a graph that can be embedded on a torus. It's proved that every toroidal graph is $7$-colorable. A proper coloring of a graph is called \emph{odd} if every non-isolated vertex has at least one color that appears an odd number of times in its neighborhood. The smallest number of colors that admits an odd coloring of a graph $ G $ is denoted by $χ_{o}(G)$. In this paper, we prove that if $G$ is tortoidal, then $χ_{o}\left({G}\right)\le9$; Note that $K_7$ is a toroidal graph, the upper bound is no less than $7$.
△ Less
Submitted 12 June, 2022;
originally announced June 2022.
-
A graphical construction of free Markov categories
Authors:
Yimu Yin
Abstract:
We describe how to perform surgeries on Joyal-Street style diagrams and thereby construct free Markov categories. We also show that the construction is functorial over ordered directed acyclic graphs.
We describe how to perform surgeries on Joyal-Street style diagrams and thereby construct free Markov categories. We also show that the construction is functorial over ordered directed acyclic graphs.
△ Less
Submitted 11 April, 2022;
originally announced April 2022.
-
Markov categories, causal theories, and the do-calculus
Authors:
Yimu Yin,
Jiji Zhang
Abstract:
We give a category-theoretic treatment of causal models that formalizes the syntax for causal reasoning over a directed acyclic graph (DAG) by associating a free Markov category with the DAG in a canonical way. This framework enables us to define and study important concepts in causal reasoning from an abstract and "purely causal" point of view, such as causal independence/separation, causal condi…
▽ More
We give a category-theoretic treatment of causal models that formalizes the syntax for causal reasoning over a directed acyclic graph (DAG) by associating a free Markov category with the DAG in a canonical way. This framework enables us to define and study important concepts in causal reasoning from an abstract and "purely causal" point of view, such as causal independence/separation, causal conditionals, and decomposition of intervention effects. Our results regarding these concepts abstract away from the details of the commonly adopted causal models such as (recursive) structural equation models or causal Bayesian networks. They are therefore more widely applicable and in a way conceptually clearer. Our results are also intimately related to Judea Pearl's celebrated do-calculus, and yield a syntactic version of a core part of the calculus that is inherited in all causal models. In particular, it induces a simpler and specialized version of Pearl's do-calculus in the context of causal Bayesian networks, which we show is as strong as the full version.
△ Less
Submitted 10 April, 2022;
originally announced April 2022.
-
Optimal mixing for two-state anti-ferromagnetic spin systems
Authors:
Xiaoyu Chen,
Weiming Feng,
Yitong Yin,
Xinyuan Zhang
Abstract:
We prove an optimal $Ω(n^{-1})$ lower bound for modified log-Sobolev (MLS) constant of the Glauber dynamics for anti-ferromagnetic two-spin systems with $n$ vertices in the tree uniqueness regime. Specifically, this optimal MLS bound holds for the following classes of two-spin systems in the tree uniqueness regime:
$\bullet$ all strictly anti-ferromagnetic two-spin systems (where both edge param…
▽ More
We prove an optimal $Ω(n^{-1})$ lower bound for modified log-Sobolev (MLS) constant of the Glauber dynamics for anti-ferromagnetic two-spin systems with $n$ vertices in the tree uniqueness regime. Specifically, this optimal MLS bound holds for the following classes of two-spin systems in the tree uniqueness regime:
$\bullet$ all strictly anti-ferromagnetic two-spin systems (where both edge parameters $β,γ<1$), which cover the hardcore models and the anti-ferromagnetic Ising models;
$\bullet$ general anti-ferromagnetic two-spin systems on regular graphs.
Consequently, an optimal $O(n\log n)$ mixing time holds for these anti-ferromagnetic two-spin systems when the uniqueness condition is satisfied. These MLS and mixing time bounds hold for any bounded or unbounded maximum degree, and the constant factors in the bounds depend only on the gap to the uniqueness threshold. We prove this by showing a boosting theorem for MLS constant for distributions satisfying certain spectral independence and marginal stability properties.
△ Less
Submitted 15 March, 2022;
originally announced March 2022.
-
Consistency of MLE for partially observed diffusions, with application in market microstructure modeling
Authors:
Sergey Nadtochiy,
Yuan Yin
Abstract:
This paper presents a tractable sufficient condition for the consistency of maximum likelihood estimators (MLEs) in partially observed diffusion models, stated in terms of stationary distribution of the associated fully observed diffusion, under the assumption that the set of unknown parameter values is finite. This sufficient condition is then verified in the context of a latent price model of ma…
▽ More
This paper presents a tractable sufficient condition for the consistency of maximum likelihood estimators (MLEs) in partially observed diffusion models, stated in terms of stationary distribution of the associated fully observed diffusion, under the assumption that the set of unknown parameter values is finite. This sufficient condition is then verified in the context of a latent price model of market microstructure, yielding consistency of maximum likelihood estimators of the unknown parameters in this model. Finally, we compute the latter estimators using historical financial data taken from the NASDAQ exchange.
△ Less
Submitted 26 April, 2023; v1 submitted 19 January, 2022;
originally announced January 2022.
-
Optimal Mixing Time for the Ising Model in the Uniqueness Regime
Authors:
Xiaoyu Chen,
Weiming Feng,
Yitong Yin,
Xinyuan Zhang
Abstract:
We prove an optimal $O(n \log n)$ mixing time of the Glauber dynamics for the Ising models with edge activity $β\in \left(\frac{Δ-2}Δ, \fracΔ{Δ-2}\right)$. This mixing time bound holds even if the maximum degree $Δ$ is unbounded.
We refine the boosting technique developed in [CFYZ21], and prove a new boosting theorem by utilizing the entropic independence defined in [AJK+21]. The theorem relates…
▽ More
We prove an optimal $O(n \log n)$ mixing time of the Glauber dynamics for the Ising models with edge activity $β\in \left(\frac{Δ-2}Δ, \fracΔ{Δ-2}\right)$. This mixing time bound holds even if the maximum degree $Δ$ is unbounded.
We refine the boosting technique developed in [CFYZ21], and prove a new boosting theorem by utilizing the entropic independence defined in [AJK+21]. The theorem relates the modified log-Sobolev (MLS) constant of the Glauber dynamics for a near-critical Ising model to that for an Ising model in a sub-critical regime.
△ Less
Submitted 4 November, 2021;
originally announced November 2021.
-
Efficient Algorithms for Stochastic Ridepooling Assignment with Mixed Fleets
Authors:
Qi Luo,
Viswanath Nagarajan,
Alexander Sundt,
Yafeng Yin,
John Vincent,
Mehrdad Shahabi
Abstract:
Ride-pooling, which accommodates multiple passenger requests in a single trip, has the potential to significantly increase fleet utilization in shared mobility platforms. The ride-pooling assignment problem finds optimal co-riders to maximize the total utility or profit on a shareability graph, a hypergraph representing the matching compatibility between available vehicles and pending requests. Wi…
▽ More
Ride-pooling, which accommodates multiple passenger requests in a single trip, has the potential to significantly increase fleet utilization in shared mobility platforms. The ride-pooling assignment problem finds optimal co-riders to maximize the total utility or profit on a shareability graph, a hypergraph representing the matching compatibility between available vehicles and pending requests. With mixed fleets due to the introduction of automated or premium vehicles, fleet sizing and relocation decisions should be made before the requests are revealed. Due to the immense size of the underlying shareability graph and demand uncertainty, it is impractical to use exact methods to calculate the optimal trip assignments. Two approximation algorithms for mid-capacity and high-capacity vehicles are proposed in this paper; The respective approximation ratios are $\frac1{p^2}$ and $\frac{e-1}{(2e+o(1)) p \ln p}$, where $p$ is the maximum vehicle capacity plus one. The performance of these algorithms is validated using a mixed autonomy on-demand mobility simulator. These efficient algorithms serve as a step** stone for a variety of multimodal and multiclass on-demand mobility applications.
△ Less
Submitted 14 April, 2022; v1 submitted 19 August, 2021;
originally announced August 2021.
-
Rapid mixing of Glauber dynamics via spectral independence for all degrees
Authors:
Xiaoyu Chen,
Weiming Feng,
Yitong Yin,
Xinyuan Zhang
Abstract:
We prove an optimal $Ω(n^{-1})$ lower bound on the spectral gap of Glauber dynamics for anti-ferromagnetic two-spin systems with $n$ vertices in the tree uniqueness regime. This spectral gap holds for all, including unbounded, maximum degree $Δ$. Consequently, we have the following mixing time bounds for the models satisfying the uniqueness condition with a slack $δ\in(0,1)$:
$\bullet$…
▽ More
We prove an optimal $Ω(n^{-1})$ lower bound on the spectral gap of Glauber dynamics for anti-ferromagnetic two-spin systems with $n$ vertices in the tree uniqueness regime. This spectral gap holds for all, including unbounded, maximum degree $Δ$. Consequently, we have the following mixing time bounds for the models satisfying the uniqueness condition with a slack $δ\in(0,1)$:
$\bullet$ $C(δ) n^2\log n$ mixing time for the hardcore model with fugacity $λ\le (1-δ)λ_c(Δ)= (1-δ)\frac{(Δ- 1)^{Δ- 1}}{(Δ- 2)^Δ}$;
$\bullet$ $C(δ) n^2$ mixing time for the Ising model with edge activity $β\in\left[\frac{Δ-2+δ}{Δ-δ},\frac{Δ-δ}{Δ-2+δ}\right]$; where the maximum degree $Δ$ may depend on the number of vertices $n$, and $C(δ)$ depends only on $δ$.
Our proof is built upon the recently developed connections between the Glauber dynamics for spin systems and the high-dimensional expander walks. In particular, we prove a stronger notion of spectral independence, called the complete spectral independence, and use a novel Markov chain called the field dynamics to connect this stronger spectral independence to the rapid mixing of Glauber dynamics for all degrees.
△ Less
Submitted 19 November, 2021; v1 submitted 31 May, 2021;
originally announced May 2021.
-
Spectral statistics of high dimensional sample covariance matrix with unbounded population spectral norm
Authors:
Yanqing Yin
Abstract:
In this paper, we establish some new central limit theorems for certain spectral statistics of a high-dimensional sample covariance matrix under a divergent spectral norm population model. This model covers the divergent spiked population model as a special case. Meanwhile, the number of the spiked eigenvalues can either be fixed or grow to infinity. It is seen from our theorems that the divergenc…
▽ More
In this paper, we establish some new central limit theorems for certain spectral statistics of a high-dimensional sample covariance matrix under a divergent spectral norm population model. This model covers the divergent spiked population model as a special case. Meanwhile, the number of the spiked eigenvalues can either be fixed or grow to infinity. It is seen from our theorems that the divergence of population spectral norm affects the fluctuations of the linear spectral statistics in a fickle way, depending on the divergence rate.
△ Less
Submitted 7 April, 2021;
originally announced April 2021.
-
$T$-convex valued fields with tempered exponentiation
Authors:
Yimu Yin
Abstract:
We continue the effort of grokking the structure of power-bounded $T$-convex valued fields, whose theory is in general referred to as TCVF. In the present paper our focus is on certain expansion of it that is equipped with a tempered exponential function beyond the valuation ring. In order to construct such a tempered exponential function, the signed value group is also converted into a model of…
▽ More
We continue the effort of grokking the structure of power-bounded $T$-convex valued fields, whose theory is in general referred to as TCVF. In the present paper our focus is on certain expansion of it that is equipped with a tempered exponential function beyond the valuation ring. In order to construct such a tempered exponential function, the signed value group is also converted into a model of $T$ plus exponentiation and is in fact identified with (a section of) the residue field via the composition of a diagonal cross-section and an angular component map. In a sense, the resulting universal theory TKVF is a halfway point between power-bounded TCVF and exponential TCVF. This theory is reasonably well-behaved. In particular, we show that it admits quantifier elimination in a natural language, a notion of dimension, a generalized Euler characteristic, etc.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
Rhythmic Control of Automated Traffic -- Part II: Grid Network Rhythm and Online Routing
Authors:
Xi Lin,
Meng Li,
Zuo-jun Max Shen,
Yafeng Yin,
Fang He
Abstract:
Connected and automated vehicle (CAV) technology is providing urban transportation managers tremendous opportunities for better operation of urban mobility systems. However, there are significant challenges in real-time implementation, as the computational time of the corresponding operations optimization model increases exponentially with increasing vehicle numbers. Following the companion paper…
▽ More
Connected and automated vehicle (CAV) technology is providing urban transportation managers tremendous opportunities for better operation of urban mobility systems. However, there are significant challenges in real-time implementation, as the computational time of the corresponding operations optimization model increases exponentially with increasing vehicle numbers. Following the companion paper (Chen et al., 2020) which proposes a novel automated traffic control scheme for isolated intersections, this study proposes a network-level real-time traffic control framework for CAVs on grid networks. The proposed framework integrates a rhythmic control (RC) method with an online routing algorithm to realize collisionfree control of all CAVs on a network and achieve superior performance in average vehicle delay, network traffic throughput, and computational scalability. Specifically, we construct a preset network rhythm that all CAVs can follow to move on the network and avoid collisions at all intersections. Based on the network rhythm, we then formulate online routing for the CAVs as a mixed integer linear program, which optimizes the entry times of CAVs at all entrances of the network and their time-space routings in real time. We provide a sufficient condition that the linear programming relaxation of the online routing model yields an optimal integer solution. Extensive numerical tests are conducted to show the performance of the proposed operations management framework under various scenarios. It is illustrated that the framework is capable of achieving negligible delays and increased network throughput. Furthermore, the computational time results are also promising. The CPU time for solving a collision-free control optimization problem with 2,000 vehicles is only 0.3 s on an ordinary personal computer.
△ Less
Submitted 11 October, 2020;
originally announced October 2020.
-
Rhythmic Control of Automated Traffic -- Part I: Concept and Properties at Isolated Intersections
Authors:
Xiangdong Chen,
Meng Li,
Xi Lin,
Yafeng Yin,
Fang He
Abstract:
Leveraging the accuracy and consistency of vehicle motion control enabled by the connected and automated vehicle technology, we propose the rhythmic control (RC) scheme that allows vehicles to pass through an intersection in a conflict-free manner with a preset rhythm. The rhythm enables vehicles to proceed at a constant speed without any stop. The RC is capable of breaking the limitation that rig…
▽ More
Leveraging the accuracy and consistency of vehicle motion control enabled by the connected and automated vehicle technology, we propose the rhythmic control (RC) scheme that allows vehicles to pass through an intersection in a conflict-free manner with a preset rhythm. The rhythm enables vehicles to proceed at a constant speed without any stop. The RC is capable of breaking the limitation that right of way can only be allocated to non-conflicting movements at a time. It significantly improves the performance of intersection control for automated traffic. Moreover, the RC with a predetermined rhythm does not require intensive computational efforts to dynamically control vehicles, which may possibly lead to frequent accelerations or decelerations. Assuming stationary vehicle arrivals, we conduct theoretical investigation to show that RC can considerably increase intersection capacity and reduce vehicle delay. Finally, the performance of RC is tested in the simulations with both stationary and non-stationary vehicle arrivals at both symmetric and asymmetric intersections.
△ Less
Submitted 8 October, 2020;
originally announced October 2020.
-
Rapid mixing from spectral independence beyond the Boolean domain
Authors:
Weiming Feng,
Heng Guo,
Yitong Yin,
Chihao Zhang
Abstract:
We extend the notion of spectral independence (introduced by Anari, Liu, and Oveis Gharan [ALO20]) from the Boolean domain to general discrete domains. This property characterises distributions with limited correlations, and implies that the corresponding Glauber dynamics is rapidly mixing.
As a concrete application, we show that Glauber dynamics for sampling proper $q$-colourings mixes in polyn…
▽ More
We extend the notion of spectral independence (introduced by Anari, Liu, and Oveis Gharan [ALO20]) from the Boolean domain to general discrete domains. This property characterises distributions with limited correlations, and implies that the corresponding Glauber dynamics is rapidly mixing.
As a concrete application, we show that Glauber dynamics for sampling proper $q$-colourings mixes in polynomial-time for the family of triangle-free graphs with maximum degree $Δ$ provided $q\ge (α^*+δ)Δ$ where $α^*\approx 1.763$ is the unique solution to $α^*=\exp(1/α^*)$ and $δ>0$ is any constant. This is the first efficient algorithm for sampling proper $q$-colourings in this regime with possibly unbounded $Δ$. Our main tool of establishing spectral independence is the recursive coupling by Goldberg, Martin, and Paterson [GMP05].
△ Less
Submitted 15 July, 2020;
originally announced July 2020.
-
Italian domination in generalized Petersen graphs
Authors:
Hong Gao,
Jiahuan Huang,
Yanan Yin,
Yuansheng Yang
Abstract:
In a graph $G=(V,E)$, each vertex $v\in V$ is labelled with $0$, $1$ or $2$ such that each vertex labelled with $0$ is adjacent to at least one vertex labelled $2$ or two vertices labelled $1$. Such kind of labelling is called an Italian dominating function (IDF) of $G$. The weight of an IDF $f$ is $w(f)=\sum_{v\in V}f(v)$. The Italian domination number of $G$ is $γ_{I}(G)=\min_{f} w(f)$. Gao et a…
▽ More
In a graph $G=(V,E)$, each vertex $v\in V$ is labelled with $0$, $1$ or $2$ such that each vertex labelled with $0$ is adjacent to at least one vertex labelled $2$ or two vertices labelled $1$. Such kind of labelling is called an Italian dominating function (IDF) of $G$. The weight of an IDF $f$ is $w(f)=\sum_{v\in V}f(v)$. The Italian domination number of $G$ is $γ_{I}(G)=\min_{f} w(f)$. Gao et al. (2019) have determined the value of $γ_I(P(n,3))$. In this article, we focus on the study of the Italian domination number of generalized Petersen graphs $P(n, k)$, $k\neq3$. We determine the values of $γ_I(P(n, 1))$, $γ_I(P(n, 2))$ and $γ_I(P(n, k))$ for $k\ge4$, $k\equiv2,3(\bmod5)$ and $n\equiv0(\bmod5)$. For other $P(n,k)$, we present a bound of $γ_I(P(n, k))$. With the obtained results, we partially solve the open problem presented by Brešar et al. (2007) by giving $P(n,1)$ is an example for which $γ_I=γ_{r2}$ and characterizing $P(n,2)$ for which $γ_I(P(n,2))=γ_{r2}(P(n,2))$. Moreover, our results imply $P(n,1)$ $(n\equiv0(\bmod\ 4))$ is Italian, $P(n,1)$ $(n\not\equiv0(\bmod\ 4))$ and $P(n,2)$ are not Italian.
△ Less
Submitted 4 May, 2020;
originally announced May 2020.
-
Bounded integral and motivic Milnor fiber
Authors:
Arthur Forey,
Yimu Yin
Abstract:
We construct a new motivic integration morphism, the so-call bounded integral, that interpolates both the integration morphisms with and without volume forms of Hrushovski and Kazhdan. This is done within the framework of model theory of algebraically closed valued fields of equicharacteristic zero. As an application, we recover and extend some results of Hrushovski and Loeser about the motivic Mi…
▽ More
We construct a new motivic integration morphism, the so-call bounded integral, that interpolates both the integration morphisms with and without volume forms of Hrushovski and Kazhdan. This is done within the framework of model theory of algebraically closed valued fields of equicharacteristic zero. As an application, we recover and extend some results of Hrushovski and Loeser about the motivic Milnor fiber.
△ Less
Submitted 4 March, 2020; v1 submitted 25 October, 2019;
originally announced October 2019.
-
On Lie Bialgebroid Crossed Modules
Authors:
Honglei Lang,
Yu Qiao,
Yanbin Yin
Abstract:
We study Lie bialgebroid crossed modules which are pairs of Lie algebroid crossed modules in duality that canonically give rise to Lie bialgebroids. A one-one correspondence between such Lie bialgebroid crossed modules and co-quadratic Manin triples $(K,P,Q)$ is established, where $K$ is a co-quadratic Lie algebroid and $(P,Q)$ is a pair of transverse Dirac structures in $K$.
We study Lie bialgebroid crossed modules which are pairs of Lie algebroid crossed modules in duality that canonically give rise to Lie bialgebroids. A one-one correspondence between such Lie bialgebroid crossed modules and co-quadratic Manin triples $(K,P,Q)$ is established, where $K$ is a co-quadratic Lie algebroid and $(P,Q)$ is a pair of transverse Dirac structures in $K$.
△ Less
Submitted 27 October, 2019;
originally announced October 2019.
-
Optimal Sliced Latin Hypercube Designs with Slices of Arbitrary Run Sizes
Authors:
**g Zhang,
** Xu,
Kai Jia,
Yimin Yin,
Zhengming Wang
Abstract:
Sliced Latin hypercube designs (SLHDs) are widely used in computer experiments with both quantitative and qualitative factors and in batches. Optimal SLHDs achieve better space-filling property on the whole experimental region. However, most existing methods for constructing optimal SLHDs have restriction on the run sizes. In this paper, we propose a new method for constructing SLHDs with arbitrar…
▽ More
Sliced Latin hypercube designs (SLHDs) are widely used in computer experiments with both quantitative and qualitative factors and in batches. Optimal SLHDs achieve better space-filling property on the whole experimental region. However, most existing methods for constructing optimal SLHDs have restriction on the run sizes. In this paper, we propose a new method for constructing SLHDs with arbitrary run sizes, and a new combined space-filling measurement describing the space-filling property for both the whole design and its slices. Furthermore, we develop general algorithms to search the optimal SLHD with arbitrary run sizes under the proposed measurement. Examples are presented to illustrate that effectiveness of the proposed methods.
△ Less
Submitted 6 August, 2019;
originally announced August 2019.
-
Positive Consensus of Directed Multi-agent Systems using Dynamic Output-feedback Control
Authors:
Nachuan Yang,
Yonghua Yin,
**rong Liu
Abstract:
This paper addresses the problem of positive consensus of directed multi-agent systems with observer-type output-feedback protocols. More specifically, directed graph is used to model the communication topology of the multi-agent system and linear matrix inequalities (LMIs) are used in the consensus analysis in this paper. Using positive systems theory and graph theory, a convex programming algori…
▽ More
This paper addresses the problem of positive consensus of directed multi-agent systems with observer-type output-feedback protocols. More specifically, directed graph is used to model the communication topology of the multi-agent system and linear matrix inequalities (LMIs) are used in the consensus analysis in this paper. Using positive systems theory and graph theory, a convex programming algorithm is developed to design appropriate protocols such that the multi-agent system is able to reach consensus with its state trajectory always remaining in the non-negative orthant. Finally, numerical simulations are given to illustrate the effectiveness of the derived theoretical results.
△ Less
Submitted 1 September, 2020; v1 submitted 27 March, 2019;
originally announced March 2019.
-
Central limit theorem for linear spectral statistics of general separable sample covariance matrices with applications
Authors:
Huiqin Li,
Yanqing Yin,
Shurong Zheng
Abstract:
In this paper, we consider the separable covariance model, which plays an important role in wireless communications and spatio-temporal statistics and describes a process where the time correlation does not depend on the spatial location and the spatial correlation does not depend on time. We established a central limit theorem for linear spectral statistics of general separable sample covariance…
▽ More
In this paper, we consider the separable covariance model, which plays an important role in wireless communications and spatio-temporal statistics and describes a process where the time correlation does not depend on the spatial location and the spatial correlation does not depend on time. We established a central limit theorem for linear spectral statistics of general separable sample covariance matrices in the form of $\mathbf S_n=\frac1n\mathbf T_{1n}\mathbf X_n\mathbf T_{2n}\mathbf X_n^*\mathbf T_{1n}^*$ where $\mathbf X_n=(x_{jk})$ is of $m_1\times m_2$ dimension, the entries $\{x_{jk}, j=1,...,m_1, k=1,...,m_2\}$ are independent and identically distributed complex variables with zero means and unit variances, $\mathbf T_{1n}$ is a $p\times m_1 $ complex matrix and $\mathbf T_{2n}$ is an $m_2\times m_2$ Hermitian matrix. We then apply this general central limit theorem to the problem of testing white noise in time series.
△ Less
Submitted 23 January, 2019;
originally announced January 2019.
-
Model-Free Tests for Series Correlation in Multivariate Linear Regression
Authors:
Yanqing Yin
Abstract:
Testing for series correlation among error terms is a basic problem in linear regression model diagnostics. The famous Durbin-Watson test and Durbin's h-test rely on certain model assumptions about the response and regressor variables. The present paper proposes simple tests for series correlation that are applicable in both fixed and random design linear regression models. The test statistics are…
▽ More
Testing for series correlation among error terms is a basic problem in linear regression model diagnostics. The famous Durbin-Watson test and Durbin's h-test rely on certain model assumptions about the response and regressor variables. The present paper proposes simple tests for series correlation that are applicable in both fixed and random design linear regression models. The test statistics are based on the regression residuals and design matrix. The test procedures are robust under different distributions of random errors. The asymptotic distributions of the proposed statistics are derived via a newly established joint central limit theorem for several general quadratic forms and the delta method. Good performance of the proposed tests is demonstrated by simulation results.
△ Less
Submitted 16 January, 2019;
originally announced January 2019.
-
Approximation by $O$-minimal sets in power-bounded $T$-convex valued fields
Authors:
Yimu Yin
Abstract:
We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field $(\mathcal{R}, \mathfrak{O})$ is in a precise sense the limit of a family of $\mathcal{L}_T$-definable sets indexed over the residue field. Alternatively, in the mainst…
▽ More
We show that, for a certain large class of power-bounded $o$-minimal $\mathcal{L}_T$-theories $T$ whose field of exponents is infinite-dimensional as a vector space over the rationals, any definable set in a $T$-convex valued field $(\mathcal{R}, \mathfrak{O})$ is in a precise sense the limit of a family of $\mathcal{L}_T$-definable sets indexed over the residue field. Alternatively, in the mainstream model-theoretic language, this says that if $(\mathcal{R}', \mathfrak{O}')$ is an elementary substructure of $(\mathcal{R}, \mathfrak{O})$ and if the residue field of $\mathfrak{O}$ contains an element that is infinitesimal relative to the residue field of $\mathfrak{O}'$ then any set $A \subseteq (\mathcal{R}')^m$ definable in $(\mathcal{R}', \mathfrak{O}')$ is the trace of a set definable in $\mathcal{R}$.
△ Less
Submitted 9 December, 2018;
originally announced December 2018.
-
Rigidity of non-renormalizable Newton maps
Authors:
Pascale Roesch,
Yongcheng Yin,
**song Zeng
Abstract:
Non-renormalizable Newton maps are rigid. More precisely, we prove that their Julia set carries no invariant line fields and that the topological conjugacy is equivalent to quasi-conformal conjugacy in this case.
Non-renormalizable Newton maps are rigid. More precisely, we prove that their Julia set carries no invariant line fields and that the topological conjugacy is equivalent to quasi-conformal conjugacy in this case.
△ Less
Submitted 25 August, 2023; v1 submitted 25 November, 2018;
originally announced November 2018.
-
Motivic integration and Milnor fiber
Authors:
Goulwen Fichou,
Yimu Yin
Abstract:
We put forward in this paper a uniform narrative that weaves together several variants of Hrushovski-Kazhdan style integral, and describe how it can facilitate the understanding of the Denef-Loeser motivic Milnor fiber and closely related objects. Our study focuses on the so-called "nonarchimedean Milnor fiber" that was introduced by Hrushovski and Loeser, and our thesis is that it is a richer emb…
▽ More
We put forward in this paper a uniform narrative that weaves together several variants of Hrushovski-Kazhdan style integral, and describe how it can facilitate the understanding of the Denef-Loeser motivic Milnor fiber and closely related objects. Our study focuses on the so-called "nonarchimedean Milnor fiber" that was introduced by Hrushovski and Loeser, and our thesis is that it is a richer embodiment of the underlying philosophy of the Milnor construction. The said narrative is first developed in the more natural complex environment, and is then extended to the real one via descent. In the process of doing so, we are able to provide more illuminating new proofs, free of resolution of singularities, of a few pivotal results in the literature, both complex and real. To begin with, the real motivic zeta function is shown to be rational, which yields the real motivic Milnor fiber; this is an analogue of the Hrushovski-Loeser construction. We also establish, in a much more intuitive manner, a new Thom-Sebastiani formula, which can be specialized to the one given by Guibert, Loeser, and Merle. Finally, applying $T$-convex integration after descent, matching the Euler Characteristics of the topological Milnor fiber and the motivic Milnor fiber becomes a matter of simple computation, which is not only free of resolution of singularities as in the Hrushovski-Loeser proof, but is also free of other sophisticated algebro-geometric machineries.
△ Less
Submitted 17 December, 2020; v1 submitted 8 October, 2018;
originally announced October 2018.
-
DP-3-coloring of planar graphs without $4,9$-cycles and two cycles from $\{5,6,7,8\}$
Authors:
Runrun Liu,
Sarah Loeb,
Martin Rolek,
Yuxue Yin,
Gexin Yu
Abstract:
A generalization of list-coloring, now known as DP-coloring, was recently introduced by Dvořák and Postle. Essentially, DP-coloring assigns an arbitrary matching between lists of colors at adjacent vertices, as opposed to only matching identical colors as is done for list-coloring. Several results on list-coloring of planar graphs have since been extended to the setting of DP-coloring. We note tha…
▽ More
A generalization of list-coloring, now known as DP-coloring, was recently introduced by Dvořák and Postle. Essentially, DP-coloring assigns an arbitrary matching between lists of colors at adjacent vertices, as opposed to only matching identical colors as is done for list-coloring. Several results on list-coloring of planar graphs have since been extended to the setting of DP-coloring. We note that list-coloring results do not always extend to DP-coloring results. Our main result in this paper is to prove that every planar graph without cycles of length $\{4, a, b, 9\}$ for $a, b \in \{6, 7, 8\}$ is DP-$3$-colorable, extending three existing results on $3$-choosability of planar graphs.
△ Less
Submitted 19 September, 2018;
originally announced September 2018.
-
Planar graphs without cycles of lengths 4 and 5 and close triangles are DP-3-colorable
Authors:
Yuxue Yin,
Gexin Yu
Abstract:
Montassier, Raspaud, and Wang (2006) asked to find the smallest positive integers $d_0$ and $d_1$ such that planar graphs without $\{4,5\}$-cycles and $d^Δ\ge d_0$ are $3$-choosable and planar graphs without $\{4,5,6\}$-cycles and $d^Δ\ge d_1$ are $3$-choosable, where $d^Δ$ is the smallest distance between triangles. They showed that $2\le d_0\le 4$ and $d_1\le 3$. In this paper, we show that the…
▽ More
Montassier, Raspaud, and Wang (2006) asked to find the smallest positive integers $d_0$ and $d_1$ such that planar graphs without $\{4,5\}$-cycles and $d^Δ\ge d_0$ are $3$-choosable and planar graphs without $\{4,5,6\}$-cycles and $d^Δ\ge d_1$ are $3$-choosable, where $d^Δ$ is the smallest distance between triangles. They showed that $2\le d_0\le 4$ and $d_1\le 3$. In this paper, we show that the following planar graphs are DP-3-colorable: (1) planar graphs without $\{4,5\}$-cycles and $d^Δ\ge 3$ are DP-$3$-colorable, and (2) planar graphs without $\{4,5,6\}$-cycles and $d^Δ\ge 2$ are DP-$3$-colorable. DP-coloring is a generalization of list-coloring, thus as a corollary, $d_0\le 3$ and $d_1\le 2$. We actually prove stronger statements that each pre-coloring on some cycles can be extended to the whole graph.
△ Less
Submitted 4 September, 2018;
originally announced September 2018.
-
Integration in power-bounded $T$-convex valued fields
Authors:
Yimu Yin
Abstract:
This is the second installment of a series of papers aimed at develo** a theory of Hrushovski-Kazhdan style motivic integration for certain types of nonarchimedean $o$-minimal fields, namely power-bounded $T$-convex valued fields, and closely related structures. The main result in the first installment is a canonical isomorphism between the Grothendieck rings of certain categories of definable s…
▽ More
This is the second installment of a series of papers aimed at develo** a theory of Hrushovski-Kazhdan style motivic integration for certain types of nonarchimedean $o$-minimal fields, namely power-bounded $T$-convex valued fields, and closely related structures. The main result in the first installment is a canonical isomorphism between the Grothendieck rings of certain categories of definable sets, which is understood as a universal additive invariant or a generalized Euler characteristic because the categories do not carry volume forms. Here we introduce two types of volume forms into each of the relevant categories, one takes values in the value group and the other in the finer RV-sort. The resulting isomorphisms respect Jacobian transformations --- that is, the change of variables formula holds --- and hence are regarded as motivic integrals. As in the classical theory of integration, one is often led to consider locally constant functions with bounded support in various situations. For the space of such functions, the construction may be fine-tuned so as to become more amenable to applications. The modifications are nevertheless substantial and constitute the bulk of the technical work.
△ Less
Submitted 21 August, 2018;
originally announced August 2018.
-
Dynamics of Newton maps
Authors:
Xiaoguang Wang,
Yongcheng Yin,
**song Zeng
Abstract:
In this paper, we study the dynamics of Newton maps for arbitrary polynomials. Let $p$ be an arbitrary polynomial with at least three distinct roots, and $f$ be its Newton map. It is shown that the boundary $\partial B$ of any immediate root basin $B$ of $f$ is locally connected. Moreover, $\partial B$ is a Jordan curve if and only if ${\rm deg}(f|_B)=2$.
This implies that the boundaries of all…
▽ More
In this paper, we study the dynamics of Newton maps for arbitrary polynomials. Let $p$ be an arbitrary polynomial with at least three distinct roots, and $f$ be its Newton map. It is shown that the boundary $\partial B$ of any immediate root basin $B$ of $f$ is locally connected. Moreover, $\partial B$ is a Jordan curve if and only if ${\rm deg}(f|_B)=2$.
This implies that the boundaries of all components of root basins, for all polynomials' Newton maps, from the viewpoint of topology, are tame.
△ Less
Submitted 23 December, 2018; v1 submitted 29 May, 2018;
originally announced May 2018.
-
Bilateral Teleoperation of Multiple Robots under Scheduling Communication
Authors:
Yuling Li,
Kun Liu,
Wei He,
Yixin Yin,
Rolf Johansson,
Kai Zhang
Abstract:
In this paper, bilateral teleoperation of multiple slaves coupled to a single master under scheduling communication is investigated. The sampled-data transmission between the master and the multiple slaves is fulfilled over a delayed communication network, and at each sampling instant, only one slave is allowed to transmit its current information to the master side according to some scheduling pro…
▽ More
In this paper, bilateral teleoperation of multiple slaves coupled to a single master under scheduling communication is investigated. The sampled-data transmission between the master and the multiple slaves is fulfilled over a delayed communication network, and at each sampling instant, only one slave is allowed to transmit its current information to the master side according to some scheduling protocols. To achieve the master-slave synchronization, Round-Robin scheduling protocol and Try-Once-Discard scheduling protocol are employed, respectively. By designing a scheduling-communication-based controller, some sufficient stability criteria related to the controller gain matrices, sampling intervals, and communication delays are obtained for the closed-loop teleoperation system under Round-Robin and Try-Once-Discard scheduling protocols, respectively. Finally, simulation studies are given to validate the effectiveness of the proposed results.
△ Less
Submitted 11 April, 2018;
originally announced April 2018.
-
DP-3-coloring of some planar graphs
Authors:
Runrun Liu,
Sarah Loeb,
Yuxue Yin,
Gexin Yu
Abstract:
In this article, we use a unified approach to prove several classes of planar graphs are DP-$3$-colorable, which extend the corresponding results on $3$-choosability.
In this article, we use a unified approach to prove several classes of planar graphs are DP-$3$-colorable, which extend the corresponding results on $3$-choosability.
△ Less
Submitted 19 September, 2018; v1 submitted 26 February, 2018;
originally announced February 2018.
-
On singular value distribution of large dimensional data matrices whose columns have different correlations
Authors:
Yanqing Yin
Abstract:
Suppose $\mathbf Y_n=(\mathbf y_1,\cdots,\mathbf y_n)$ is a $p\times n$ data matrix whose columns $\mathbf y_j, 1\leq j\leq n$ have different correlations. The asymptotic spectral property of $\mathbf S_n=\frac1n\mathbf Y_n\mathbf Y^*_n$ when $p$ increase with $n$ has been considered by some authors recently. This model has known an increasing popularity due to its widely applications in multi-use…
▽ More
Suppose $\mathbf Y_n=(\mathbf y_1,\cdots,\mathbf y_n)$ is a $p\times n$ data matrix whose columns $\mathbf y_j, 1\leq j\leq n$ have different correlations. The asymptotic spectral property of $\mathbf S_n=\frac1n\mathbf Y_n\mathbf Y^*_n$ when $p$ increase with $n$ has been considered by some authors recently. This model has known an increasing popularity due to its widely applications in multi-user multiple-input single-output (MISO) systems and robust signal processing. In this paper, for more convenient applications in practice, we will investigate the spectral distribution of $\mathbf S_n$ under milder moment conditions than existing work. We also discuss a potential application in sample classification.
△ Less
Submitted 17 January, 2020; v1 submitted 4 February, 2018;
originally announced February 2018.
-
Gaussian fluctuations for linear spectral statistics of Wigner beta ensembles
Authors:
Yanqing Yin
Abstract:
As an important topic in Mathematical Physics and statistics, random matrices theory has found uses in many aspects of modern physics and multivariate analysis. This paper is to investigate the Gaussian fluctuations for linear spectral statistics (LSS) of Wigner beta ensembles. We first establish a central limit theorem (CLT) for LSS of Wigner quaternion matrices, then give a general CLT for Wigne…
▽ More
As an important topic in Mathematical Physics and statistics, random matrices theory has found uses in many aspects of modern physics and multivariate analysis. This paper is to investigate the Gaussian fluctuations for linear spectral statistics (LSS) of Wigner beta ensembles. We first establish a central limit theorem (CLT) for LSS of Wigner quaternion matrices, then give a general CLT for Wigner $β$ ensembles.
△ Less
Submitted 10 January, 2018;
originally announced January 2018.
-
No eigenvalues outside the limiting support of the spectral distribution of general sample covariance matrices
Authors:
Yanqing Yin
Abstract:
This paper is to investigate the spectral properties of sample covariance matrices under a more general population. We consider a class of matrices of the form $\mathbf S_n=\frac1n\mathbf B_n\mathbf X_n\mathbf X_n^*\mathbf B_n^*$, where $\mathbf B_n$ is a $p\times m$ non-random matrix and $\mathbf X_n$ is an $m\times n$ matrix consisting of i.i.d standard complex entries. $p/n\to c\in (0,\infty)$…
▽ More
This paper is to investigate the spectral properties of sample covariance matrices under a more general population. We consider a class of matrices of the form $\mathbf S_n=\frac1n\mathbf B_n\mathbf X_n\mathbf X_n^*\mathbf B_n^*$, where $\mathbf B_n$ is a $p\times m$ non-random matrix and $\mathbf X_n$ is an $m\times n$ matrix consisting of i.i.d standard complex entries. $p/n\to c\in (0,\infty)$ as $n\to \infty$ while $m$ can be arbitrary. We proved that under some mild assumptions, with probability 1, there will be no eigenvalues in any closed interval contained in an open interval outside the supports of the limiting distribution $F_{c_n,H_n}$, for all sufficiently large $n$. An extension of Bai-Yin law is also obtained.
△ Less
Submitted 10 January, 2018;
originally announced January 2018.
-
Novel Criteria to Exclude the Surrogate Paradox and Their Optimalities
Authors:
Yunjian Yin,
Lan Liu,
Zhi Geng,
Peng Luo
Abstract:
When the primary outcome is hard to collect, surrogate endpoint is typically used as a substitute. However, even when the treatment has a positive average causal effect (ACE) on the surrogate endpoint, which also has a positive ACE on the primary outcome, it is still possible that the treatment has a negative ACE on the primary outcome. Such a phenomenon is called the surrogate paradox and greatly…
▽ More
When the primary outcome is hard to collect, surrogate endpoint is typically used as a substitute. However, even when the treatment has a positive average causal effect (ACE) on the surrogate endpoint, which also has a positive ACE on the primary outcome, it is still possible that the treatment has a negative ACE on the primary outcome. Such a phenomenon is called the surrogate paradox and greatly challenges the use of surrogate. In this paper, we provide novel criteria to exclude the surrogate paradox. Unlike other conditions previously proposed, our conditions are testable since they only involve observed data. Furthermore, our criteria are optimal in the sense that they are sufficient and "almost necessary" to exclude the paradox: if the conditions are satisfied, the surrogate paradox is guaranteed to be absent while if the conditions fail, there exists a data generating process with surrogate paradox that can generate the same observed data. That is, our criteria capture all the information in the observed data to exclude the surrogate paradox rather than relying on unverifiable distributional assumptions.
△ Less
Submitted 19 July, 2016;
originally announced July 2016.
-
Convergence of MCMC and Loopy BP in the Tree Uniqueness Region for the Hard-Core Model
Authors:
Charilaos Efthymiou,
Thomas P. Hayes,
Daniel Stefankovic,
Eric Vigoda,
Yitong Yin
Abstract:
We study the hard-core model defined on independent sets of an input graph where the independent sets are weighted by a parameter $λ>0$. For constant $Δ$, previous work of Weitz (2006) established an FPTAS for the partition function for graphs of maximum degree $Δ$ when $λ< λ_c(Δ)$. The threshold $λ_c(Δ)$ is the critical point for the phase transition for uniqueness/non-uniqueness on the infinite…
▽ More
We study the hard-core model defined on independent sets of an input graph where the independent sets are weighted by a parameter $λ>0$. For constant $Δ$, previous work of Weitz (2006) established an FPTAS for the partition function for graphs of maximum degree $Δ$ when $λ< λ_c(Δ)$. The threshold $λ_c(Δ)$ is the critical point for the phase transition for uniqueness/non-uniqueness on the infinite $Δ$-regular trees. Sly (2010) showed that there is no FPRAS, unless NP=RP, when $λ>λ_c(Δ)$. The running time of Weitz's algorithm is exponential in $\log(Δ)$. Here we present an FPRAS for the partition function whose running time is $O^*(n^2)$. We analyze the simple single-site Glauber dynamics for sampling from the associated Gibbs distribution. We prove there exists a constant $Δ_0$ such that for all graphs with maximum degree $Δ\geqΔ_0$ and girth $\geq 7$, the mixing time of the Glauber dynamics is $O(n\log(n))$ when $λ<λ_c(Δ)$. Our work complements that of Weitz which applies for constant $Δ$ whereas our work applies for all $Δ\geq Δ_0$.
We utilize loopy BP (belief propagation), a widely-used inference algorithm. A novel aspect of our work is using the principal eigenvector for the BP operator to design a distance function which contracts in expectation for pairs of states that behave like the BP fixed point. We also prove that the Glauber dynamics behaves locally like loopy BP. As a byproduct we obtain that the Glauber dynamics converges, after a short burn-in period, close to the BP fixed point, and this implies that the fixed point of loopy BP is a close approximation to the Gibbs distribution. Using these connections we establish that loopy BP quickly converges to the Gibbs distribution when the girth $\geq 6$ and $λ<λ_c(Δ)$.
△ Less
Submitted 29 August, 2016; v1 submitted 5 April, 2016;
originally announced April 2016.
-
Global topology of hyperbolic components I: Cantor circle case
Authors:
Xiaoguang Wang,
Yongcheng Yin
Abstract:
The hyperbolic components in the moduli space ${M}_d$ of degree $d\geq2$ rational maps are mysterious and fundamental topological objects. For those in the connectedness locus, they are known to be the finite quotients of the Euclidean space $\mathbb{R}^{4d-4}$. In this paper, we study the hyperbolic components in the disconnectedness locus and with minimal complexity: those in the Cantor circle l…
▽ More
The hyperbolic components in the moduli space ${M}_d$ of degree $d\geq2$ rational maps are mysterious and fundamental topological objects. For those in the connectedness locus, they are known to be the finite quotients of the Euclidean space $\mathbb{R}^{4d-4}$. In this paper, we study the hyperbolic components in the disconnectedness locus and with minimal complexity: those in the Cantor circle locus. We show that each of them is a finite quotient of the space $\mathbb{R}^{4d-4-n}\times\mathbb{T}^{n}$, where $n$ is determined by the dynamics. The proof relates Riemann surface theory (Abel's Theorem), dynamical system and algebraic topology.
△ Less
Submitted 30 March, 2016;
originally announced March 2016.
-
Homoscedasticity tests for both low and high-dimensional fixed design regressions
Authors:
Zhidong Bai,
Guangming Pan,
Yanqing Yin
Abstract:
This paper is to prove the asymptotic normality of a statistic for detecting the existence of heteroscedasticity for linear regression models without assuming randomness of covariates when the sample size $n$ tends to infinity and the number of covariates $p$ is either fixed or tends to infinity. Moreover our approach indicates that its asymptotic normality holds even without homoscedasticity.
This paper is to prove the asymptotic normality of a statistic for detecting the existence of heteroscedasticity for linear regression models without assuming randomness of covariates when the sample size $n$ tends to infinity and the number of covariates $p$ is either fixed or tends to infinity. Moreover our approach indicates that its asymptotic normality holds even without homoscedasticity.
△ Less
Submitted 11 March, 2016;
originally announced March 2016.