-
Parity questions in critical planar Brownian loop-soups (or "where did the free planar bosons go?")
Authors:
Matthis Lehmkuehler,
Wei Qian,
Wendelin Werner
Abstract:
The critical two-dimensional Brownian loop-soup is an infinite collection of non-interacting Brownian loops in a planar domain that possesses some combinatorial features related to the notion of indistinguishability of bosons. The properly renormalized occupation time field of this collection of loops is known to be distributed like the properly defined square of a Gaussian free field. In the pres…
▽ More
The critical two-dimensional Brownian loop-soup is an infinite collection of non-interacting Brownian loops in a planar domain that possesses some combinatorial features related to the notion of indistinguishability of bosons. The properly renormalized occupation time field of this collection of loops is known to be distributed like the properly defined square of a Gaussian free field. In the present paper, we investigate aspects of the question about how much information these fields provide about the loop-soup. Among other things, we show that the exact set of points that are actually visited by some loops in the loop-soup is not determined by these fields. We further prove that given the fields, a dense family of special points will each have a conditional probability 1/2 of being part of the loop-soup. We also exhibit another instance where the possible decompositions (given the field) into individual loops and excursions can be grouped into two clearly different groups, each having a conditional probability 1/2 of occurring.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
The height gap of planar Brownian motion is $\frac{5}π$
Authors:
Antoine Jego,
Titus Lupu,
Wei Qian
Abstract:
We show that the occupation measure of planar Brownian motion exhibits a constant height gap of $5/π$ across its outer boundary. This property bears similarities with the celebrated results of Schramm--Sheffield [18] and Miller--Sheffield [12] concerning the height gap of the Gaussian free field across SLE$_4$/CLE$_4$ curves. Heuristically, our result can also be thought of as the $θ\to 0^+$ limit…
▽ More
We show that the occupation measure of planar Brownian motion exhibits a constant height gap of $5/π$ across its outer boundary. This property bears similarities with the celebrated results of Schramm--Sheffield [18] and Miller--Sheffield [12] concerning the height gap of the Gaussian free field across SLE$_4$/CLE$_4$ curves. Heuristically, our result can also be thought of as the $θ\to 0^+$ limit of the height gap property of a field built out of a Brownian loop soup with subcritical intensity $θ>0$, proved in our recent paper [3]. To obtain the explicit value of the height gap, we rely on the computation by Garban and Trujillo Ferreras [1] of the expected area of the domain delimited by the outer boundary of a Brownian bridge.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Backbone exponent for two-dimensional percolation
Authors:
Pierre Nolin,
Wei Qian,
Xin Sun,
Zijie Zhuang
Abstract:
We derive an exact expression for the celebrated backbone exponent for Bernoulli percolation in dimension two at criticality. It turns out to be a root of an elementary function. Contrary to previously known arm exponents for this model, which are all rational, it has a transcendental value. Our derivation relies on the connection to the SLE$_κ$ bubble measure, the coupling between SLE and Liouvil…
▽ More
We derive an exact expression for the celebrated backbone exponent for Bernoulli percolation in dimension two at criticality. It turns out to be a root of an elementary function. Contrary to previously known arm exponents for this model, which are all rational, it has a transcendental value. Our derivation relies on the connection to the SLE$_κ$ bubble measure, the coupling between SLE and Liouville quantum gravity, and the integrability of Liouville conformal field theory. Along the way, we derive a formula not only for $κ=6$ (corresponding to percolation), but for all $κ\in (4,8)$.
△ Less
Submitted 13 January, 2024; v1 submitted 10 September, 2023;
originally announced September 2023.
-
Lower dimensional invariant tori for multi-scale Hamiltonian systems
Authors:
Weichao Qian,
Shuguan Ji,
Yong Li
Abstract:
The ``Fundamental Theorem" given by Arnold in [2] asserts the persistence of full dimensional invariant tori for 2-scale Hamiltonian systems. However, persistence in multi-scale systems is much more complicated and difficult. In this paper, we explore the persistence of lower dimensional invariant tori for multi-scale Hamiltonian systems, which play an important role in dynamics of resonant Hamilt…
▽ More
The ``Fundamental Theorem" given by Arnold in [2] asserts the persistence of full dimensional invariant tori for 2-scale Hamiltonian systems. However, persistence in multi-scale systems is much more complicated and difficult. In this paper, we explore the persistence of lower dimensional invariant tori for multi-scale Hamiltonian systems, which play an important role in dynamics of resonant Hamiltonian systems. Moreover, using the corresponding results we give a quasi-periodic Poincaré Theorem for multi-scale Hamiltonian systems, i.e., at least $2^{m_0}$ families resonant tori survive small perturbations, where the integer $m_0$ is the multiplicity of resonance.
△ Less
Submitted 6 September, 2023;
originally announced September 2023.
-
Conformally invariant fields out of Brownian loop soups
Authors:
Antoine Jego,
Titus Lupu,
Wei Qian
Abstract:
Consider a Brownian loop soup $\mathcal{L}_D^θ$ with subcritical intensity $θ\in (0,1/2]$ in some 2D bounded simply connected domain. We define and study the properties of a conformally invariant field $h_θ$ naturally associated to $\mathcal{L}_D^θ$. Informally, this field is a signed version of the local time of $\mathcal{L}_D^θ$ to the power $1-θ$. When $θ=1/2$, $h_θ$ is a Gaussian free field (G…
▽ More
Consider a Brownian loop soup $\mathcal{L}_D^θ$ with subcritical intensity $θ\in (0,1/2]$ in some 2D bounded simply connected domain. We define and study the properties of a conformally invariant field $h_θ$ naturally associated to $\mathcal{L}_D^θ$. Informally, this field is a signed version of the local time of $\mathcal{L}_D^θ$ to the power $1-θ$. When $θ=1/2$, $h_θ$ is a Gaussian free field (GFF) in $D$.
Our construction of $h_θ$ relies on the multiplicative chaos $\mathcal{M}_γ$ associated with $\mathcal{L}_D^θ$, as introduced in [ABJL23]. Assigning independent symmetric signs to each cluster, we restrict $\mathcal{M}_γ$ to positive clusters. We prove that, when $θ=1/2$, the resulting measure $\mathcal{M}_γ^+$ corresponds to the exponential of $γ$ times a GFF. At this intensity, the GFF can be recovered by differentiating at $γ=0$ the measure $\mathcal{M}_γ^+$. When $θ<1/2$, we show that $\mathcal{M}_γ^+$ has a nondegenerate fractional derivative at $γ=0$ defining a random generalised function $h_θ$.
We establish a result which is analoguous to the recent work [ALS23] in the GFF case ($θ=1/2$), but for $h_θ$ with $θ\in (0,1/2]$. Relying on the companion article [JLQ23], we prove that each cluster of $\mathcal{L}_D^θ$ possesses a nondegenerate Minkowski content in some non-explicit gauge function $r \mapsto r^2 |\log r|^{1-θ+o(1)}$. We then prove that $h_θ$ agrees a.s. with the sum of the Minkowski content of each cluster multiplied by its sign.
We further extend the couplings between CLE$_4$, SLE$_4$ and the GFF to $h_θ$ for $θ\in(0,1/2]$. We show that the (non-nested) CLE$_κ$ loops form level lines for $h_θ$ and that there exists a constant height gap between the values of the field on either side of the CLE loops.
△ Less
Submitted 5 October, 2023; v1 submitted 20 July, 2023;
originally announced July 2023.
-
Crossing exponent in the Brownian loop soup
Authors:
Antoine Jego,
Titus Lupu,
Wei Qian
Abstract:
We study the clusters of loops in a Brownian loop soup in some bounded two-dimensional domain with subcritical intensity $θ\in (0,1/2]$. We obtain an exact expression for the asymptotic probability of the existence of a cluster crossing a given annulus of radii $r$ and $r^s$ as $r \to 0$ ($s >1$ fixed). Relying on this result, we then show that the probability for a macroscopic cluster to hit a gi…
▽ More
We study the clusters of loops in a Brownian loop soup in some bounded two-dimensional domain with subcritical intensity $θ\in (0,1/2]$. We obtain an exact expression for the asymptotic probability of the existence of a cluster crossing a given annulus of radii $r$ and $r^s$ as $r \to 0$ ($s >1$ fixed). Relying on this result, we then show that the probability for a macroscopic cluster to hit a given disc of radius $r$ decays like $|\log r|^{-1+θ+ o(1)}$ as $r \to 0$. Finally, we characterise the polar sets of clusters, i.e. sets that are not hit by the closure of any cluster, in terms of $\log^α$-capacity.
This paper reveals a connection between the 1D and 2D Brownian loop soups. This connection in turn implies the existence of a second critical intensity $θ= 1$ that describes a phase transition in the percolative behaviour of large loops on a logarithmic scale targeting an interior point of the domain.
△ Less
Submitted 4 August, 2023; v1 submitted 7 March, 2023;
originally announced March 2023.
-
KAM Theorems for Multi-scale Torus
Authors:
Weichao Qian,
Yixian Gao,
Yong Li
Abstract:
In present paper, from the viewpoint of physical intuition we introduce a Hamiltonian system with multiscale rotation, which describes many systems, for example, the forced pendulum with fast rotation, weakly coupled $N$-oscillators with quasiperiodic force and so on. We study the persistence of invariant tori for this Hamiltonian system, and establish some KAM type results including the isoenerge…
▽ More
In present paper, from the viewpoint of physical intuition we introduce a Hamiltonian system with multiscale rotation, which describes many systems, for example, the forced pendulum with fast rotation, weakly coupled $N$-oscillators with quasiperiodic force and so on. We study the persistence of invariant tori for this Hamiltonian system, and establish some KAM type results including the isoenergetic type. As consequences, we can show that Boltzmann's ergodicity hypothesis is also not true for this Hamiltonian system.
△ Less
Submitted 1 January, 2023; v1 submitted 29 December, 2022;
originally announced December 2022.
-
Joint spectrum shrinking maps on projections
Authors:
Wenhua Qian,
Dandan Xiao,
Tanghong Tao,
Wenming Wu,
Xin Yi
Abstract:
Let $\mathcal H$ be a finite dimensional complex Hilbert space with dimension $n \ge 3$ and $\mathcal P(\mathcal H)$ the set of projections on $\mathcal H$. Let $\varphi: \mathcal P(\mathcal H) \to \mathcal P(\mathcal H)$ be a surjective map. We show that $\varphi$ shrinks the joint spectrum of any two projections if and only if it is joint spectrum preserving for any two projections and thus is i…
▽ More
Let $\mathcal H$ be a finite dimensional complex Hilbert space with dimension $n \ge 3$ and $\mathcal P(\mathcal H)$ the set of projections on $\mathcal H$. Let $\varphi: \mathcal P(\mathcal H) \to \mathcal P(\mathcal H)$ be a surjective map. We show that $\varphi$ shrinks the joint spectrum of any two projections if and only if it is joint spectrum preserving for any two projections and thus is induced by a ring automorphism on $\mathbb C$ in a particular way. In addition, for an arbitrary $k \ge 3$, $\varphi$ shrinks the joint spectrum of any $k$ projections if and only if it is induced by a unitary or an anti-unitary. Assume that $φ$ is a surjective map on the Grassmann space of rank one projections. We show that $φ$ is joint spectrum preserving for any $n$ rank one projections if and only if it can be extended to a surjective map on $\mathcal P(\mathcal{H})$ which is spectrum preserving for any two projections. Moreover, for any $k >n$, $φ$ is joint spectrum shrinking for any $k$ rank one projections if and only if it is induced by a unitary or an anti-unitary.
△ Less
Submitted 25 December, 2022;
originally announced December 2022.
-
Multiple points on the boundaries of Brownian loop-soup clusters
Authors:
Yifan Gao,
Xinyi Li,
Wei Qian
Abstract:
For a Brownian loop soup with intensity $c\in(0,1]$ in the unit disk, we show that almost surely, the set of simple (resp. double) points on any portion of boundary of any of its clusters has Hausdorff dimension $2-ξ_c(2)$ (resp. $2-ξ_c(4)$), where $ξ_c(k)$ is the generalized disconnection exponent computed in arxiv:1901.05436. As a consequence, when the dimension is positive, such points are a.s.…
▽ More
For a Brownian loop soup with intensity $c\in(0,1]$ in the unit disk, we show that almost surely, the set of simple (resp. double) points on any portion of boundary of any of its clusters has Hausdorff dimension $2-ξ_c(2)$ (resp. $2-ξ_c(4)$), where $ξ_c(k)$ is the generalized disconnection exponent computed in arxiv:1901.05436. As a consequence, when the dimension is positive, such points are a.s. dense on every boundary of every cluster. There are a.s. no triple points on the cluster boundaries.
As an intermediate result, we establish a separation lemma for Brownian loop soups, which is a powerful tool for obtaining sharp estimates on non-intersection and non-disconnection probabilities in the setting of loop soups. In particular, it allows us to define a family of generalized intersection exponents $ξ_c(k, λ)$, and show that $ξ_c(k)$ is the limit as $λ\searrow 0$ of $ξ_c(k, λ)$.
△ Less
Submitted 15 June, 2022; v1 submitted 23 May, 2022;
originally announced May 2022.
-
Quasiperiodic Poincare Persistence at High Degeneracy
Authors:
Weichao Qian,
Yong Li,
Xue Yang
Abstract:
For Hamiltonian systems with degeneracy of any higher order, we study the persistence of resonant invariant tori, which as some lower-dimensional invariant tori might be elliptic, hyperbolic or of mixed types. Hence we prove a quasiperiodic Poincare theorem at high degeneracy. This answers a long standing conjecture on the persistence of resonant invariant tori in quite general situations.
For Hamiltonian systems with degeneracy of any higher order, we study the persistence of resonant invariant tori, which as some lower-dimensional invariant tori might be elliptic, hyperbolic or of mixed types. Hence we prove a quasiperiodic Poincare theorem at high degeneracy. This answers a long standing conjecture on the persistence of resonant invariant tori in quite general situations.
△ Less
Submitted 5 November, 2023; v1 submitted 22 November, 2021;
originally announced November 2021.
-
Conformal invariance of double random currents I: identification of the limit
Authors:
Hugo Duminil-Copin,
Marcin Lis,
Wei Qian
Abstract:
This is the first of two papers devoted to the proof of conformal invariance of the critical double random current model on the square lattice. More precisely, we show the convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent currents with free and wired boundary conditions. The strategy is first to prove convergence of the associated height function…
▽ More
This is the first of two papers devoted to the proof of conformal invariance of the critical double random current model on the square lattice. More precisely, we show the convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent currents with free and wired boundary conditions. The strategy is first to prove convergence of the associated height function to the continuum Gaussian free field, and then to characterize the scaling limit of the loop ensembles as certain local sets of this Gaussian Free Field. In this paper, we identify uniquely the possible subsequential limits of the loop ensembles. Combined with the second paper, this completes the proof of conformal invariance.
△ Less
Submitted 22 November, 2021; v1 submitted 27 July, 2021;
originally announced July 2021.
-
Conformal invariance of double random currents II: tightness and properties in the discrete
Authors:
Hugo Duminil-Copin,
Marcin Lis,
Wei Qian
Abstract:
This is the second of two papers devoted to the proof of conformal invariance of the critical double random current on the square lattice. More precisely, we show convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent critical currents (both for free and wired boundary conditions). The strategy is first to prove convergence of the associated height fu…
▽ More
This is the second of two papers devoted to the proof of conformal invariance of the critical double random current on the square lattice. More precisely, we show convergence of loop ensembles obtained by taking the cluster boundaries in the sum of two independent critical currents (both for free and wired boundary conditions). The strategy is first to prove convergence of the associated height function to the continuum Gaussian free field, and then to characterize the scaling limit of the loop ensembles as certain local sets of this Gaussian Free Field. In this paper, we derive crossing properties of the discrete model required to prove this characterization.
△ Less
Submitted 22 November, 2021; v1 submitted 27 July, 2021;
originally announced July 2021.
-
Variable selection for longitudinal survey data
Authors:
Laura Dumitrescu,
Wei Qian,
J. N. K. Rao
Abstract:
In this article we propose a new variable selection method for analyzing data collected from longitudinal sample surveys. The procedure is based on the survey-weighted quadratic inference function, which was recently introduced as an alternative to the survey-weighted generalized estimating function. Under the joint model-design framework, we introduce the penalized survey-weighted quadratic infer…
▽ More
In this article we propose a new variable selection method for analyzing data collected from longitudinal sample surveys. The procedure is based on the survey-weighted quadratic inference function, which was recently introduced as an alternative to the survey-weighted generalized estimating function. Under the joint model-design framework, we introduce the penalized survey-weighted quadratic inference estimator and obtain sufficient conditions for the existence, weak consistency, sparsity and asymptotic normality. To illustrate the finite sample performance of the model selection procedure, we include a limited simulation study.
△ Less
Submitted 2 May, 2021;
originally announced May 2021.
-
Surjective $L^p$-isometries of Grassmann spaces
Authors:
Wenhua Qian,
Junhao Shen,
Weijuan Shi,
Wenming Wu,
Wei Yuan
Abstract:
Based on the characterization of surjective $L^p$-isometries of unitary groups in finite factors, we describe all surjective $L^p$-isometries between Grassmann spaces of projections with the same trace value in semifinite factors.
Based on the characterization of surjective $L^p$-isometries of unitary groups in finite factors, we describe all surjective $L^p$-isometries between Grassmann spaces of projections with the same trace value in semifinite factors.
△ Less
Submitted 14 April, 2021;
originally announced April 2021.
-
Free boundary dimers: random walk representation and scaling limit
Authors:
Nathanael Berestycki,
Marcin Lis,
Wei Qian
Abstract:
We study the dimer model on subgraphs of the square lattice in which vertices on a prescribed part of the boundary (the free boundary) are possibly unmatched. Each such unmatched vertex is called a monomer and contributes a fixed multiplicative weight $z>0$ to the total weight of the configuration. A bijection described by Giuliani, Jauslin and Lieb relates this model to a standard dimer model but…
▽ More
We study the dimer model on subgraphs of the square lattice in which vertices on a prescribed part of the boundary (the free boundary) are possibly unmatched. Each such unmatched vertex is called a monomer and contributes a fixed multiplicative weight $z>0$ to the total weight of the configuration. A bijection described by Giuliani, Jauslin and Lieb relates this model to a standard dimer model but on a non-bipartite graph. The Kasteleyn matrix of this dimer model describes a walk with transition weights that are negative along the free boundary. Yet under certain assumptions, which are in particular satisfied in the infinite volume limit in the upper half-plane, we prove an effective, true random walk representation for the inverse Kasteleyn matrix. In this case we further show that, independently of the value of $z>0$, the scaling limit of the height function is the Gaussian free field with Neumann (or free) boundary conditions, thereby answering a question of Giuliani et al.
△ Less
Submitted 14 May, 2021; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Geodesics in the Brownian map: Strong confluence and geometric structure
Authors:
Jason Miller,
Wei Qian
Abstract:
We study geodesics in the Brownian map $(\mathcal{S},d,ν)$, the random metric measure space which arises as the Gromov-Hausdorff scaling limit of uniformly random planar maps. Our results apply to all geodesics including those between exceptional points.
First, we prove a strong and quantitative form of the confluence of geodesics phenomenon which states that any pair of geodesics which are suff…
▽ More
We study geodesics in the Brownian map $(\mathcal{S},d,ν)$, the random metric measure space which arises as the Gromov-Hausdorff scaling limit of uniformly random planar maps. Our results apply to all geodesics including those between exceptional points.
First, we prove a strong and quantitative form of the confluence of geodesics phenomenon which states that any pair of geodesics which are sufficiently close in the Hausdorff distance must coincide with each other except near their endpoints.
Then, we show that the intersection of any two geodesics minus their endpoints is connected, the number of geodesics which emanate from a single point and are disjoint except at their starting point is at most $5$, and the maximal number of geodesics which connect any pair of points is $9$. For each $1\le k \le 9$, we obtain the Hausdorff dimension of the pairs of points connected by exactly $k$ geodesics. For $k=7,8,9$, such pairs have dimension zero and are countably infinite. Further, we classify the (finite number of) possible configurations of geodesics between any pair of points in $\mathcal{S}$, up to homeomorphism, and give a dimension upper bound for the set of endpoints in each case.
Finally, we show that every geodesic can be approximated arbitrarily well and in a strong sense by a geodesic connecting $ν$-typical points. In particular, this gives an affirmative answer to a conjecture of Angel, Kolesnik, and Miermont that the geodesic frame of $\mathcal{S}$, the union of all of the geodesics in $\mathcal{S}$ minus their endpoints, has dimension one, the dimension of a single geodesic.
△ Less
Submitted 12 September, 2023; v1 submitted 5 August, 2020;
originally announced August 2020.
-
Structures of Spurious Local Minima in $k$-means
Authors:
Wei Qian,
Yuqian Zhang,
Yudong Chen
Abstract:
$k$-means clustering is a fundamental problem in unsupervised learning. The problem concerns finding a partition of the data points into $k$ clusters such that the within-cluster variation is minimized. Despite its importance and wide applicability, a theoretical understanding of the $k…
▽ More
$k$-means clustering is a fundamental problem in unsupervised learning. The problem concerns finding a partition of the data points into $k$ clusters such that the within-cluster variation is minimized. Despite its importance and wide applicability, a theoretical understanding of the $k$-means problem has not been completely satisfactory. Existing algorithms with theoretical performance guarantees often rely on sophisticated (sometimes artificial) algorithmic techniques and restricted assumptions on the data. The main challenge lies in the non-convex nature of the problem; in particular, there exist additional local solutions other than the global optimum. Moreover, the simplest and most popular algorithm for $k$-means, namely Lloyd's algorithm, generally converges to such spurious local solutions both in theory and in practice.
In this paper, we approach the $k$-means problem from a new perspective, by investigating the structures of these spurious local solutions under a probabilistic generative model with $k$ ground truth clusters. As soon as $k=3$, spurious local minima provably exist, even for well-separated and balanced clusters. One such local minimum puts two centers at one true cluster, and the third center in the middle of the other two true clusters. For general $k$, one local minimum puts multiple centers at a true cluster, and one center in the middle of multiple true clusters. Perhaps surprisingly, we prove that this is essentially the only type of spurious local minima under a separation condition. Our results pertain to the $k$-means formulation for mixtures of Gaussians or bounded distributions. Our theoretical results corroborate existing empirical observations and provide justification for several improved algorithms for $k$-means clustering.
△ Less
Submitted 21 February, 2020; v1 submitted 16 February, 2020;
originally announced February 2020.
-
Global Convergence of Least Squares EM for Demixing Two Log-Concave Densities
Authors:
Wei Qian,
Yuqian Zhang,
Yudong Chen
Abstract:
This work studies the location estimation problem for a mixture of two rotation invariant log-concave densities. We demonstrate that Least Squares EM, a variant of the EM algorithm, converges to the true location parameter from a randomly initialized point. We establish the explicit convergence rates and sample complexity bounds, revealing their dependence on the signal-to-noise ratio and the tail…
▽ More
This work studies the location estimation problem for a mixture of two rotation invariant log-concave densities. We demonstrate that Least Squares EM, a variant of the EM algorithm, converges to the true location parameter from a randomly initialized point. We establish the explicit convergence rates and sample complexity bounds, revealing their dependence on the signal-to-noise ratio and the tail property of the log-concave distribution. Moreover, we show that this global convergence property is robust under model mis-specification.
Our analysis generalizes previous techniques for proving the convergence results for Gaussian mixtures. In particular, we make use of an angle-decreasing property for establishing global convergence of Least Squares EM beyond Gaussian settings, as $\ell_2$ distance contraction no longer holds globally for general log-concave mixtures.
△ Less
Submitted 19 June, 2019; v1 submitted 16 June, 2019;
originally announced June 2019.
-
Generalized disconnection exponents
Authors:
Wei Qian
Abstract:
We introduce and compute the generalized disconnection exponents $η_κ(β)$ which depend on $κ\in(0,4]$ and another real parameter $β$, extending the Brownian disconnection exponents (corresponding to $κ=8/3$) computed by Lawler, Schramm and Werner 2001 (conjectured by Duplantier and Kwon 1988).
For $κ\in(8/3,4]$, the generalized disconnection exponents have a physical interpretation in terms of p…
▽ More
We introduce and compute the generalized disconnection exponents $η_κ(β)$ which depend on $κ\in(0,4]$ and another real parameter $β$, extending the Brownian disconnection exponents (corresponding to $κ=8/3$) computed by Lawler, Schramm and Werner 2001 (conjectured by Duplantier and Kwon 1988).
For $κ\in(8/3,4]$, the generalized disconnection exponents have a physical interpretation in terms of planar Brownian loop-soups with intensity $c\in (0,1]$, which allows us to obtain the first prediction of the dimension of multiple points on the cluster boundaries of these loop-soups. In particular, according to our prediction, the dimension of double points on the cluster boundaries is strictly positive for $c\in(0,1)$ and equal to zero for the critical intensity $c=1$, leading to an interesting open question of whether such points exist for the critical loop-soup.
Our definition of the exponents is based on a certain general version of radial restriction measures that we construct and study. As an important tool, we introduce a new family of radial SLEs depending on $κ$ and two additional parameters $μ, ν$, that we call radial hypergeometric SLEs. This is a natural but substantial extension of the family of radial SLE$_κ(ρ)s$.
△ Less
Submitted 11 January, 2023; v1 submitted 16 January, 2019;
originally announced January 2019.
-
The geodesics in Liouville quantum gravity are not Schramm-Loewner evolutions
Authors:
Jason Miller,
Wei Qian
Abstract:
We prove that the geodesics associated with any metric generated from Liouville quantum gravity (LQG) which satisfies certain natural hypotheses are necessarily singular with respect to the law of any type of SLE$_κ$. These hypotheses are satisfied by the LQG metric for $γ=\sqrt{8/3}$ constructed by the first author and Sheffield, and subsequent work by Gwynne and the first author has shown that t…
▽ More
We prove that the geodesics associated with any metric generated from Liouville quantum gravity (LQG) which satisfies certain natural hypotheses are necessarily singular with respect to the law of any type of SLE$_κ$. These hypotheses are satisfied by the LQG metric for $γ=\sqrt{8/3}$ constructed by the first author and Sheffield, and subsequent work by Gwynne and the first author has shown that there is a unique metric which satisfies these hypotheses for each $γ\in (0,2)$. As a consequence of our analysis, we also establish certain regularity properties of LQG geodesics which imply, among other things, that they are conformally removable.
△ Less
Submitted 16 October, 2019; v1 submitted 10 December, 2018;
originally announced December 2018.
-
Conformal invariance of CLE$_κ$ on the Riemann sphere for $κ\in (4,8)$
Authors:
Ewain Gwynne,
Jason Miller,
Wei Qian
Abstract:
The conformal loop ensemble (CLE) is the canonical conformally invariant probability measure on non-crossing loops in a simply connected domain in $\mathbb C$ and is indexed by a parameter $κ\in (8/3,8)$. We consider CLE$_κ$ on the whole-plane in the regime in which the loops are self-intersecting ($κ\in (4,8)$) and show that it is invariant under the inversion map $z \mapsto 1/z$. This shows that…
▽ More
The conformal loop ensemble (CLE) is the canonical conformally invariant probability measure on non-crossing loops in a simply connected domain in $\mathbb C$ and is indexed by a parameter $κ\in (8/3,8)$. We consider CLE$_κ$ on the whole-plane in the regime in which the loops are self-intersecting ($κ\in (4,8)$) and show that it is invariant under the inversion map $z \mapsto 1/z$. This shows that whole-plane CLE$_κ$ for $κ\in (4,8)$ defines a conformally invariant measure on loops on the Riemann sphere. The analogous statement in the regime in which the loops are simple ($κ\in (8/3,4]$) was proven by Kemppainen and Werner and together with the present work covers the entire range $κ\in (8/3,8)$ for which CLE$_κ$ is defined. As an intermediate step in the proof, we show that CLE$_κ$ for $κ\in (4,8)$ on an annulus, with any specified number of inner-boundary-surrounding loops, is well-defined and conformally invariant.
△ Less
Submitted 8 November, 2019; v1 submitted 1 November, 2018;
originally announced November 2018.
-
Global Convergence of EM Algorithm for Mixtures of Two Component Linear Regression
Authors:
Jeongyeol Kwon,
Wei Qian,
Constantine Caramanis,
Yudong Chen,
Damek Davis
Abstract:
The Expectation-Maximization algorithm is perhaps the most broadly used algorithm for inference of latent variable problems. A theoretical understanding of its performance, however, largely remains lacking. Recent results established that EM enjoys global convergence for Gaussian Mixture Models. For Mixed Linear Regression, however, only local convergence results have been established, and those o…
▽ More
The Expectation-Maximization algorithm is perhaps the most broadly used algorithm for inference of latent variable problems. A theoretical understanding of its performance, however, largely remains lacking. Recent results established that EM enjoys global convergence for Gaussian Mixture Models. For Mixed Linear Regression, however, only local convergence results have been established, and those only for the high SNR regime. We show here that EM converges for mixed linear regression with two components (it is known that it may fail to converge for three or more), and moreover that this convergence holds for random initialization. Our analysis reveals that EM exhibits very different behavior in Mixed Linear Regression from its behavior in Gaussian Mixture Models, and hence our proofs require the development of several new ideas.
△ Less
Submitted 28 May, 2019; v1 submitted 12 October, 2018;
originally announced October 2018.
-
Uniqueness of the welding problem for SLE and Liouville quantum gravity
Authors:
Oliver McEnteggart,
Jason Miller,
Wei Qian
Abstract:
We give a simple set of geometric conditions on curves $η$, $\tildeη$ in ${\mathbf H}$ from $0$ to $\infty$ so that if $\varphi \colon {\mathbf H} \to {\mathbf H}$ is a homeomorphism which is conformal off $η$ with $\varphi(η) = \tildeη$ then $\varphi$ is a conformal automorphism of ${\mathbf H}$. Our motivation comes from the fact that it is possible to apply our result to random conformal weldin…
▽ More
We give a simple set of geometric conditions on curves $η$, $\tildeη$ in ${\mathbf H}$ from $0$ to $\infty$ so that if $\varphi \colon {\mathbf H} \to {\mathbf H}$ is a homeomorphism which is conformal off $η$ with $\varphi(η) = \tildeη$ then $\varphi$ is a conformal automorphism of ${\mathbf H}$. Our motivation comes from the fact that it is possible to apply our result to random conformal welding problems related to the Schramm-Loewner evolution (SLE) and Liouville quantum gravity (LQG). In particular, we show that if $η$ is a non-space-filling SLE$_κ$ curve in ${\mathbf H}$ from $0$ to $\infty$ and $\varphi$ is a homeomorphism which is conformal on ${\mathbf H} \setminus η$ and $\varphi(η)$, $η$ are equal in distribution then $\varphi$ is a conformal automorphism of ${\mathbf H}$. Applying this result for $κ=4$ establishes that the welding operation for critical ($γ=2$) Liouville quantum gravity (LQG) is well-defined. Applying it for $κ\in (4,8)$ gives a new proof that the welding of two independent $κ/4$-stable looptrees of quantum disks to produce an SLE$_κ$ on top of an independent $4/\sqrtκ$-LQG surface is well-defined.
△ Less
Submitted 13 May, 2019; v1 submitted 6 September, 2018;
originally announced September 2018.
-
Compact Formulation of the First Evolution Equation for Optimal Control Computation
Authors:
Sheng Zhang,
Fei Liao,
Wei-Qi Qian
Abstract:
The first evolution equation is derived under the Variation Evolving Method (VEM) that seeks optimal solutions with the variation evolution principle. To improve the performance, its compact form is developed. By replacing the states and costates variation evolution with that of the controls, the dimension-reduced Evolution Partial Differential Equation (EPDE) only solves the control variables alo…
▽ More
The first evolution equation is derived under the Variation Evolving Method (VEM) that seeks optimal solutions with the variation evolution principle. To improve the performance, its compact form is developed. By replacing the states and costates variation evolution with that of the controls, the dimension-reduced Evolution Partial Differential Equation (EPDE) only solves the control variables along the variation time to get the optimal solution, and its definite conditions may be arbitrary. With this equation, the scale of the resulting Initial-value Problem (IVP), transformed via the semi-discrete method, is significantly reduced. Illustrative examples are solved and it is shown that the compact form evolution equation outperforms the primary form in the precision, and the efficiency may be higher for the dense discretization. Moreover, in discussing the connections to the classic iteration methods, it is uncovered that the computation scheme of the gradient method is the discrete implementation of the third evolution equation, and the compact form of the first evolution equation is a continuous realization of the Newton type iteration mechanism.
△ Less
Submitted 9 April, 2018;
originally announced April 2018.
-
Wigner-Type Theorem on transition probability preserving maps in semifinite factors
Authors:
Wenhua Qian,
Liguang Wang,
Wenming Wu,
Wei Yuan
Abstract:
The Wigner's theorem, which is one of the cornerstones of the mathematical formulation of quantum mechanics, asserts that every symmetry of quantum system is unitary or anti-unitary. This classical result was first given by Wigner in 1931. Thereafter it has been proved and generalized in various ways by many authors. Recently, G. P. Gehér extended Wigner's and Molnár's theorems and characterized t…
▽ More
The Wigner's theorem, which is one of the cornerstones of the mathematical formulation of quantum mechanics, asserts that every symmetry of quantum system is unitary or anti-unitary. This classical result was first given by Wigner in 1931. Thereafter it has been proved and generalized in various ways by many authors. Recently, G. P. Gehér extended Wigner's and Molnár's theorems and characterized the transformations on the Grassmann space of all rank-$n$ projections which preserve the transition probability. The aim of this paper is to provide a new approach to describe the general form of the transition probability preserving (not necessarily bijective) maps between Grassmann spaces. As a byproduct, we are able to generalize the results of Molnár and G. P. Gehér.
△ Less
Submitted 25 February, 2018;
originally announced February 2018.
-
The law of a point process of Brownian excursions in a domain is determined by the law of its trace
Authors:
Wei Qian,
Wendelin Werner
Abstract:
We show the result that is stated in the title of the paper, which has consequences about decomposition of Brownian loop-soup clusters in two dimensions.
We show the result that is stated in the title of the paper, which has consequences about decomposition of Brownian loop-soup clusters in two dimensions.
△ Less
Submitted 14 December, 2018; v1 submitted 7 February, 2018;
originally announced February 2018.
-
Coupling the Gaussian free fields with free and with zero boundary conditions via common level lines
Authors:
Wei Qian,
Wendelin Werner
Abstract:
We point out a new simple way to couple the Gaussian Free Field (GFF) with free boundary conditions in a two-dimensional domain with the GFF with zero boundary conditions in the same domain: Starting from the latter, one just has to sample at random all the signs of the height gaps on its boundary-touching zero-level lines (these signs are alternating for the zero-boundary GFF) in order to obtain…
▽ More
We point out a new simple way to couple the Gaussian Free Field (GFF) with free boundary conditions in a two-dimensional domain with the GFF with zero boundary conditions in the same domain: Starting from the latter, one just has to sample at random all the signs of the height gaps on its boundary-touching zero-level lines (these signs are alternating for the zero-boundary GFF) in order to obtain a free boundary GFF. Constructions and couplings of the free boundary GFF and its level lines via soups of reflected Brownian loops and their clusters are also discussed. Such considerations show for instance that in a domain with an axis of symmetry, if one looks at the overlay of a single usual Conformal Loop Ensemble CLE(3) with its own symmetric image, one obtains the CLE(4)-type collection of level lines of a GFF with mixed zero/free boundary conditions in the half-domain.
△ Less
Submitted 3 March, 2018; v1 submitted 13 March, 2017;
originally announced March 2017.
-
Characterizations of centralizers and derivations on some algebras
Authors:
Jun He,
Jiankui Li,
Wenhua Qian
Abstract:
A linear map** $φ$ on an algebra $\mathcal{A}$ is called a centralizable map** at $G\in\mathcal{A}$ if $φ(AB)=φ(A)B=Aφ(B)$ for each $A$ and $B$ in $\mathcal{A}$ with $AB=G$, and $φ$ is called a derivable map** at $G\in\mathcal{A}$ if $φ(AB)=φ(A)B+Aφ(B)$ for each $A$ and $B$ in $\mathcal{A}$ with $AB=G$. A point $G$ in $\mathcal{A}$ is called a full-centralizable point (resp. full-derivable p…
▽ More
A linear map** $φ$ on an algebra $\mathcal{A}$ is called a centralizable map** at $G\in\mathcal{A}$ if $φ(AB)=φ(A)B=Aφ(B)$ for each $A$ and $B$ in $\mathcal{A}$ with $AB=G$, and $φ$ is called a derivable map** at $G\in\mathcal{A}$ if $φ(AB)=φ(A)B+Aφ(B)$ for each $A$ and $B$ in $\mathcal{A}$ with $AB=G$. A point $G$ in $\mathcal{A}$ is called a full-centralizable point (resp. full-derivable point) if every centralizable (resp. derivable) map** at $G$ is a centralizer (resp. derivation). We prove that every point in a von Neumann algebra or a triangular algebra is a full-centralizable point. We also prove that a point in a von Neumann algebra is a full-derivable point if and only if its central carrier is the unit.
△ Less
Submitted 5 November, 2016;
originally announced November 2016.
-
Derivations and 2-local derivations on matrix algebras over commutative algebras
Authors:
Wenbo Huang,
Jiankui Li,
Wenhua Qian
Abstract:
We characterize derivations and 2-local derivations from $M_{n}(\mathcal{A})$ into $M_{n}(\mathcal{M})$, $n \ge 2$, where $\mathcal{A}$ is a unital algebra over $\mathbb{C}$ and $\mathcal{M}$ is a unital $\mathcal{A}$-bimodule. We show that every derivation $D: M_{n}(\mathcal{A}) \to M_{n}(\mathcal{M})$, $n \ge 2,$ is the sum of an inner derivation and a derivation induced by a derivation from…
▽ More
We characterize derivations and 2-local derivations from $M_{n}(\mathcal{A})$ into $M_{n}(\mathcal{M})$, $n \ge 2$, where $\mathcal{A}$ is a unital algebra over $\mathbb{C}$ and $\mathcal{M}$ is a unital $\mathcal{A}$-bimodule. We show that every derivation $D: M_{n}(\mathcal{A}) \to M_{n}(\mathcal{M})$, $n \ge 2,$ is the sum of an inner derivation and a derivation induced by a derivation from $\mathcal{A}$ to $\mathcal{M}$. We say that $\mathcal{A}$ commutes with $\mathcal{M}$ if $am=ma$ for every $a\in\mathcal{A}$ and $m\in\mathcal{M}$. If $\mathcal{A}$ commutes with $\mathcal{M}$ we prove that every inner 2-local derivation $D: M_{n}(\mathcal{A}) \to M_{n}(\mathcal{M})$, $n \ge 2$, is an inner derivation. In addition, if $\mathcal{A}$ is commutative and commutes with $\mathcal{M}$, then every 2-local derivation $D: M_{n}(\mathcal{A}) \to M_{n}(\mathcal{M})$, $n \ge 2$, is a derivation.
△ Less
Submitted 26 January, 2018; v1 submitted 2 November, 2016;
originally announced November 2016.
-
Conditioning a Brownian loop-soup cluster on a portion of its boundary
Authors:
Wei Qian
Abstract:
We show that if one conditions a cluster in a Brownian loop-soup $L$ (of any intensity) in a two-dimensional domain by a portion $l$ of its outer boundary, then in the remaining domain, the union of all the loops of $L$ that touch $l$ satisfies the conformal restriction property while the other loops in $L$ form an independent loop-soup. This result holds when one discovers $l$ in a natural Markov…
▽ More
We show that if one conditions a cluster in a Brownian loop-soup $L$ (of any intensity) in a two-dimensional domain by a portion $l$ of its outer boundary, then in the remaining domain, the union of all the loops of $L$ that touch $l$ satisfies the conformal restriction property while the other loops in $L$ form an independent loop-soup. This result holds when one discovers $l$ in a natural Markovian way, such as in the exploration procedures that have been defined in order to actually construct the Conformal Loop Ensembles as outer boundaries of loop-soup clusters. This result implies among other things that a phase transition occurs at c = 14/15 for the connectedness of the loops that touch $l$.
Our results can be viewed as an extension of some of the results in our earlier paper in the following two directions: There, a loop-soup cluster was conditioned on its entire outer boundary while we discover here only part of this boundary. And, while it was explained there that the strong decomposition using a Poisson point process of excursions that we derived there should be specific to the case of the critical loop-soup, we show here that in the subcritical cases, a weaker property involving the conformal restriction property nevertheless holds.
△ Less
Submitted 11 November, 2018; v1 submitted 28 October, 2016;
originally announced October 2016.
-
A non grid-based interpolation scheme for the eigenvalue problem
Authors:
Kai Lin,
Wei-Liang Qian
Abstract:
We propose a non grid-based interpolation scheme based on the information from the data collected from the vicinity of the query point. As a non-grid-based interpolation, the data points can be distributed randomly in a small region, and the interpolation is constructed so that it naturally makes use of the information not only on the function value but also on its higher order derivatives. The ma…
▽ More
We propose a non grid-based interpolation scheme based on the information from the data collected from the vicinity of the query point. As a non-grid-based interpolation, the data points can be distributed randomly in a small region, and the interpolation is constructed so that it naturally makes use of the information not only on the function value but also on its higher order derivatives. The main advantage of the present approach is that the precision of the interpolation can be adjusted in accordance to the quantity of the data, in other words, a balance between the precision and the computational cost can be achieved by properly choosing the size of the neighborhood where the data points are collected. The method is applicable to univariate as well as multivariate functions. We show that the proposed scheme is efficient and precise. The present approach is then employed to study the eigenvalue problem.
△ Less
Submitted 8 September, 2016;
originally announced September 2016.
-
Conformal restriction: The trichordal case
Authors:
Wei Qian
Abstract:
The study of conformal restriction properties in two-dimensions has been initiated by Lawler, Schramm and Werner who focused on the natural and important chordal case: They characterized and constructed all random subsets of a given simply connected domain that join two marked boundary points and that satisfy the additional restriction property. The radial case (sets joining an inside point to a b…
▽ More
The study of conformal restriction properties in two-dimensions has been initiated by Lawler, Schramm and Werner who focused on the natural and important chordal case: They characterized and constructed all random subsets of a given simply connected domain that join two marked boundary points and that satisfy the additional restriction property. The radial case (sets joining an inside point to a boundary point) has then been investigated by Wu. In the present paper, we study the third natural instance of such restriction properties, namely the "trichordal case", where one looks at random sets that join three marked boundary points. This case involves somewhat more technicalities than the other two, as the construction of this family of random sets relies on special variants of SLE$_{8/3}$ processes with a drift term in the driving function that involves hypergeometric functions. It turns out that such a random set can not be a simple curve simultaneously in the neighborhood of all three marked points, and that the exponent $α= 20/27$ shows up in the description of the law of the skinniest possible symmetric random set with this trichordal restriction property.
△ Less
Submitted 13 July, 2017; v1 submitted 10 February, 2016;
originally announced February 2016.
-
Decomposition of Brownian loop-soup clusters
Authors:
Wei Qian,
Wendelin Werner
Abstract:
We study the structure of Brownian loop-soup clusters in two dimensions. Among other things, we obtain the following decomposition of the clusters with critical intensity: When one conditions a loop-soup cluster by its outer boundary $γ$ (which is known to be an SLE(4)-type loop), then the union of all excursions away from $γ$ by all the Brownian loops in the loop-soup that touch $γ$ is distribute…
▽ More
We study the structure of Brownian loop-soup clusters in two dimensions. Among other things, we obtain the following decomposition of the clusters with critical intensity: When one conditions a loop-soup cluster by its outer boundary $γ$ (which is known to be an SLE(4)-type loop), then the union of all excursions away from $γ$ by all the Brownian loops in the loop-soup that touch $γ$ is distributed exactly like the union of all excursions of a Poisson point process of Brownian excursions in the domain enclosed by $γ$. A related result that we derive and use is that the couplings of the Gaussian Free Field (GFF) with CLE(4) via level-lines (by Miller-Sheffield), of the square of the GFF with loop-soups via occupation times (by Le Jan), and of the CLE(4) with loop-soups via loop-soup clusters (by Sheffield and Werner) can be made to coincide. An instrumental role in our proof of this fact is played by Lupu's description of CLE(4) as limits of discrete loop-soup clusters.
△ Less
Submitted 18 August, 2017; v1 submitted 3 September, 2015;
originally announced September 2015.
-
Similarity degree of type II$_1$ von Neumann algebras with Property $Γ$
Authors:
Don Hadwin,
Wenhua Qian,
Junhao Shen
Abstract:
In this paper, we discuss some equivalent definitions of Property $Γ$ for a type II$_1$ von Neumann algebra. Using these equivalent definitions, we prove that the Pisier's similarity degree of a type II$_1$ von Neumann algebra with Property $Γ$ is equal to $3$.
In this paper, we discuss some equivalent definitions of Property $Γ$ for a type II$_1$ von Neumann algebra. Using these equivalent definitions, we prove that the Pisier's similarity degree of a type II$_1$ von Neumann algebra with Property $Γ$ is equal to $3$.
△ Less
Submitted 2 April, 2015; v1 submitted 25 July, 2014;
originally announced July 2014.
-
Similarity degree of a class of C$^*$-algebras
Authors:
Wenhua Qian,
Junhao Shen
Abstract:
Suppose that $\mathcal M$ is a countably decomposable type II$_1$ von Neumann algebra and $\mathcal A$ is a separable, non-nuclear, unital C$^*$-algebra. We show that, if $\mathcal M$ has Property $Γ$, then the similarity degree of $\mathcal M$ is less than or equal to $5$. If $\mathcal A$ has Property c$^*$-$Γ$, then the similarity degree of $\mathcal A$ is equal to $3$. In particular, the simila…
▽ More
Suppose that $\mathcal M$ is a countably decomposable type II$_1$ von Neumann algebra and $\mathcal A$ is a separable, non-nuclear, unital C$^*$-algebra. We show that, if $\mathcal M$ has Property $Γ$, then the similarity degree of $\mathcal M$ is less than or equal to $5$. If $\mathcal A$ has Property c$^*$-$Γ$, then the similarity degree of $\mathcal A$ is equal to $3$. In particular, the similarity degree of a $\mathcal Z$-stable, separable, non-nuclear, unital C$^*$-algebra is equal to $3$.
△ Less
Submitted 24 August, 2015; v1 submitted 4 July, 2014;
originally announced July 2014.
-
Hochschild cohomology of type II$_1$ von Neumann algebras with Property $Γ$
Authors:
Wenhua Qian,
Junhao Shen
Abstract:
In this paper, Property $Γ$ for a type II$_{1}$ von Neumann algebra is introduced as a generalization of Murray and von Neumann's Property $Γ$ for a type II$_{1}$ factor. The main result of this paper is that if a type II$_{1}$ von Neumann algebra $\mathcal{M}$ with separable predual has Property $Γ$, then the continuous Hochschild cohomology group $H^{k}(\mathcal{M}, \mathcal{M})$ vanishes for ev…
▽ More
In this paper, Property $Γ$ for a type II$_{1}$ von Neumann algebra is introduced as a generalization of Murray and von Neumann's Property $Γ$ for a type II$_{1}$ factor. The main result of this paper is that if a type II$_{1}$ von Neumann algebra $\mathcal{M}$ with separable predual has Property $Γ$, then the continuous Hochschild cohomology group $H^{k}(\mathcal{M}, \mathcal{M})$ vanishes for every $k \geq 2$. This gives a generalization of an earlier result due to E. Christensen, F. Pop, A.M. Sinclair and R.R. Smith.
△ Less
Submitted 12 November, 2014; v1 submitted 2 July, 2014;
originally announced July 2014.