Searcharxiv⌕ Search

arXiv subjects

Michael Wolf

Publications and source records attributed to Michael Wolf.

At least 37 records · Page 2Linked to original sources

Review of Multi-Agent Algorithms for Collective Behavior: a Structural Taxonomy

In this paper, we review multi-agent collective behavior algorithms in the literature and classify them according to their underlying mathematical structure. For each mathematical technique, we identify the multi-agent coordination tasks it can be applied to, and we analyze its scalability, bandwidth use, and demonstrated maturity. We highlight how versatile techniques such as artificial potential functions can be used for applications ranging from low-level position control to high-level coordination and task allocation, we discuss possible reasons for the slow adoption of complex distributed coordination algorithms in the field, and we highlight areas for further research and development.

cs.RO↗

Meromorphic quadratic differentials and measured foliations on a Riemann surface

We describe the space of measured foliations induced on a compact Riemann surface by meromorphic quadratic differentials. We prove that any such foliation is realized by a unique such differential $q$ if we prescribe, in addition, the principal parts of $\sqrt q$ at the poles. This generalizes a theorem of Hubbard and Masur for holomorphic quadratic differentials. The proof analyzes infinite-energy harmonic maps from the Riemann surface to $\mathbb{R}$-trees of infinite co-diameter, with prescribed behavior at the poles.

math.GT↗

Meromorphic quadratic differentials with complex residues and spiralling foliations

A meromorphic quadratic differential with poles of order two, on a compact Riemann surface, induces a measured foliation on the surface, with a spiralling structure at any pole that is determined by the complex residue of the differential at the pole. We introduce the space of such measured foliations, and prove that for a fixed Riemann surface, any such foliation is realized by a quadratic differential with second order poles at marked points. Furthermore, such a differential is uniquely determined if one prescribes complex residues at the poles that are compatible with the transverse measures around them. This generalizes a theorem of Hubbard and Masur concerning holomorphic quadratic differentials on closed surfaces, as well as a theorem of Strebel for the case when the foliation has only closed leaves. The proof involves taking a compact exhaustion of the surface, and considering a sequence of equivariant harmonic maps to real trees that do not have a uniform bound on total energy.

math.GT↗

Numerical Implementation of the QuEST Function

This paper deals with certain estimation problems involving the covariance matrix in large dimensions. Due to the breakdown of finite-dimensional asymptotic theory when the dimension is not negligible with respect to the sample size, it is necessary to resort to an alternative framework known as large-dimensional asymptotics. Recently, Ledoit and Wolf (2015) have proposed an estimator of the eigenvalues of the population covariance matrix that is consistent according to a mean-square criterion under large-dimensional asymptotics. It requires numerical inversion of a multivariate nonrandom function which they call the QuEST function. The present paper explains how to numerically implement the QuEST function in practice through a series of six successive steps. It also provides an algorithm to compute the Jacobian analytically, which is necessary for numerical inversion by a nonlinear optimizer. Monte Carlo simulations document the effectiveness of the code.

stat.CO↗

Failure of hydrogenation in protecting polycyclic aromatic hydrocarbons from fragmentation

A recent study of soft X-ray absorption in native and hydrogenated coronene cations, C$_{24}$H$_{12+m}^+$ $m=0-7$, led to the conclusion that additional hydrogen atoms protect (interstellar) Polycyclic Aromatic Hydrocarbon (PAH) molecules from fragmentation [Reitsma et al., Phys. Rev. Lett. 113, 053002 (2014)]. The present experiment with collisions between fast (30-200 eV) He atoms and pyrene (C$_{16}$H$_{10+m}^+$, $m=0$, 6, and 16) and simulations without reference to the excitation method suggests the opposite. We find that the absolute carbon-backbone fragmentation cross section does not decrease but increases with the degree of hydrogenation for pyrene molecules.

astro-ph.GA↗

Polynomial cubic differentials and convex polygons in the projective plane

We construct and study a natural homeomorphism between the moduli space of polynomial cubic differentials of degree d on the complex plane and the space of projective equivalence classes of oriented convex polygons with d+3 vertices. This map arises from the construction of a complete hyperbolic affine sphere with prescribed Pick differential, and can be seen as an analogue of the Labourie-Loftin parameterization of convex RP^2 structures on a compact surface by the bundle of holomorphic cubic differentials over Teichmuller space.

math.DG↗

The Role of Topology in Quantum Tomography

We investigate quantum tomography in scenarios where prior information restricts the state space to a smooth manifold of lower dimensionality. By considering stability we provide a general framework that relates the topology of the manifold to the minimal number of binary measurement settings that is necessary to discriminate any two states on the manifold. We apply these findings to cases where the subset of states under consideration is given by states with bounded rank, fixed spectrum, given unitary symmetry or taken from a unitary orbit. For all these cases we provide both upper and lower bounds on the minimal number of binary measurement settings necessary to discriminate any two states of these subsets.

quant-ph↗

Quadratic differentials, half-plane structures, and harmonic maps to graphs

Let $(Σ,p)$ be a pointed Riemann surface of genus $g\geq 1$. For any integer $k\geq 1$, we parametrize the space of meromorphic quadratic differentials on $Σ$ with a pole of order $(k+2)$ at $p$, having a connected critical graph and an induced metric composed of $k$ Euclidean half-planes. The parameters form a finite-dimensional space $\mathcal{L} \cong \mathbb{R}^{k} \times S^1$ that describe a model singular-flat metric around the puncture with respect to a choice of coordinate chart. This generalizes an important theorem of Strebel, and associates, to each point in a decorated Teichmüller space $\mathcal{T}_{g,1} \times \mathcal{L}$, a unique metric spine of the surface that is a ribbon-graph with $k$ infinite-length edges to $p$. The proofs study and relate the singular-flat geometry on the surface and the infinite-energy harmonic map from $Σ\setminus p$ to a $k$-pronged graph, whose Hopf differential is that quadratic differential.

math.DG↗

An atomic hydrogen beam to test ASACUSA's apparatus for antihydrogen spectroscopy

The ASACUSA collaboration aims to measure the ground state hyperfine splitting (GS-HFS) of antihydrogen, the antimatter pendant to atomic hydrogen. Comparisons of the corresponding transitions in those two systems will provide sensitive tests of the CPT symmetry, the combination of the three discrete symmetries charge conjugation, parity, and time reversal. For offline tests of the GS-HFS spectroscopy apparatus we constructed a source of cold polarised atomic hydrogen. In these proceedings we report the successful observation of the hyperfine structure transitions of atomic hydrogen with our apparatus in the earth's magnetic field.

physics.atom-ph↗

Spectrum Estimation: A Unified Framework for Covariance Matrix Estimation and PCA in Large Dimensions

Covariance matrix estimation and principal component analysis (PCA) are two cornerstones of multivariate analysis. Classic textbook solutions perform poorly when the dimension of the data is of a magnitude similar to the sample size, or even larger. In such settings, there is a common remedy for both statistical problems: nonlinear shrinkage of the eigenvalues of the sample covariance matrix. The optimal nonlinear shrinkage formula depends on unknown population quantities and is thus not available. It is, however, possible to consistently estimate an oracle nonlinear shrinkage, which is motivated on asymptotic grounds. A key tool to this end is consistent estimation of the set of eigenvalues of the population covariance matrix (also known as the spectrum), an interesting and challenging problem in its own right. Extensive Monte Carlo simulations demonstrate that our methods have desirable finite-sample properties and outperform previous proposals.

math.ST↗

Limits in PMF of Teichmuller geodesics

We consider the limit set in Thurston's compactification PMF of Teichmueller space of some Teichmueller geodesics defined by quadratic differentials with minimal but not uniquely ergodic vertical foliations. We show that a) there are quadratic differentials so that the limit set of the geodesic is a unique point, b) there are quadratic differentials so that the limit set is a line segment, c) there are quadratic differentials so that the vertical foliation is ergodic and there is a line segment as limit set, and d) there are quadratic differentials so that the vertical foliation is ergodic and there is a unique point as its limit set. These give examples of divergent Teichmueller geodesics whose limit sets overlap and Teichmueller geodesics that stay a bounded distance apart but whose limit sets are not equal. A byproduct of our methods is a construction of a Teichmueller geodesic and a simple closed curve $γ$ so that the hyperbolic length of the geodesic in the homotopy class of gamma varies between increasing and decreasing on an unbounded sequence of time intervals along the geodesic.

math.GT↗

Nonlinear shrinkage estimation of large-dimensional covariance matrices

Many statistical applications require an estimate of a covariance matrix and/or its inverse. When the matrix dimension is large compared to the sample size, which happens frequently, the sample covariance matrix is known to perform poorly and may suffer from ill-conditioning. There already exists an extensive literature concerning improved estimators in such situations. In the absence of further knowledge about the structure of the true covariance matrix, the most successful approach so far, arguably, has been shrinkage estimation. Shrinking the sample covariance matrix to a multiple of the identity, by taking a weighted average of the two, turns out to be equivalent to linearly shrinking the sample eigenvalues to their grand mean, while retaining the sample eigenvectors. Our paper extends this approach by considering nonlinear transformations of the sample eigenvalues. We show how to construct an estimator that is asymptotically equivalent to an oracle estimator suggested in previous work. As demonstrated in extensive Monte Carlo simulations, the resulting bona fide estimator can result in sizeable improvements over the sample covariance matrix and also over linear shrinkage.

math.ST↗

Handle Addition for doubly-periodic Scherk Surfaces

We prove the existence of a family of embedded doubly periodic minimal surfaces of (quotient) genus $g$ with orthogonal ends that generalizes the classical doubly periodic surface of Scherk and the genus-one Scherk surface of Karcher. The proof of the family of immersed surfaces is by induction on genus, while the proof of embeddedness is by the conjugate Plateau method.

math.DG↗

The Weil-Petersson Hessian of Length on Teichmuller Space

We present a brief but nearly self-contained proof of a formula for the Weil-Petersson Hessian of the geodesic length of a closed curve (either simple or not simple) on a hyperbolic surface. The formula is the sum of the integrals of two naturally defined positive functions over the geodesic, proving convexity of this functional over Teichmuller space (due to Wolpert (1987)). We then estimate this Hessian from below in terms of local quantities and distance along the geodesic. The formula extends to proper arcs on punctured hyperbolic surfaces, and the estimate to laminations. Wolpert's result that the Thurston metric is a multiple of the Weil-Petersson metric directly follows on taking a limit of the formula over an appropriate sequence of curves. We give further applications to upper bounds of the Hessian, especially near pinching loci, and recover through a geometric argument Wolpert's recent result on the convexity of length to the half-power.

math.DG↗

Projective structures, grafting, and measured laminations

We show that grafting any fixed hyperbolic surface defines a homeomorphism from the space of measured laminations to Teichmuller space, complementing a result of Scannell-Wolf on grafting by a fixed lamination. This result is used to study the relationship between the complex-analytic and geometric coordinate systems for the space of complex projective ($\CP^1$) structures on a surface. We also study the rays in Teichmuller space associated to the grafting coordinates, obtaining estimates for extremal and hyperbolic length functions and their derivatives along these grafting rays.

math.DG↗

Control of generalized error rates in multiple testing

Consider the problem of testing $s$ hypotheses simultaneously. The usual approach restricts attention to procedures that control the probability of even one false rejection, the familywise error rate (FWER). If $s$ is large, one might be willing to tolerate more than one false rejection, thereby increasing the ability of the procedure to correctly reject false null hypotheses. One possibility is to replace control of the FWER by control of the probability of $k$ or more false rejections, which is called the $k$-FWER. We derive both single-step and step-down procedures that control the $k$-FWER in finite samples or asymptotically, depending on the situation. We also consider the false discovery proportion (FDP) defined as the number of false rejections divided by the total number of rejections (and defined to be 0 if there are no rejections). The false discovery rate proposed by Benjamini and Hochberg [J. Roy. Statist. Soc. Ser. B 57 (1995) 289--300] controls $E(FDP)$. Here, the goal is to construct methods which satisfy, for a given $γ$ and $α$, $P\{FDP>γ\}\le α$, at least asymptotically. In contrast to the proposals of Lehmann and Romano [Ann. Statist. 33 (2005) 1138--1154], we construct methods that implicitly take into account the dependence structure of the individual test statistics in order to further increase the ability to detect false null hypotheses. This feature is also shared by related work of van der Laan, Dudoit and Pollard [Stat. Appl. Genet. Mol. Biol. 3 (2004) article 15], but our methodology is quite different. Like the work of Pollard and van der Laan [Proc. 2003 International Multi-Conference in Computer Science and Engineering, METMBS'03 Conference (2003) 3--9] and Dudoit, van der Laan and Pollard [Stat. Appl. Genet. Mol. Biol. 3 (2004) article 13], we employ resampling methods to achieve our goals. Some simulations compare finite sample performance to currently available methods.

math.ST↗

Teichmuller theory and handle addition for minimal surfaces

We develop Teichmuller theoretical methods to construct new minimal surfaces in $\BE^3$ by adding handles and planar ends to existing minimal surfaces in $\BE^3$. We exhibit this method on an interesting class of minimal surfaces which are likely to be embedded, and have a low degree Gaußmap for their genus; the (Weierstrass data) period problem for these surfaces is of arbitrary dimension. In particular, we exhibit a two-parameter family of complete minimal surfaces in the Euclidean three-space $\BE^3$ which generalize the breakthrough minimal surface of C. Costa; these new surfaces are embedded (at least) outside a compact set, and are indexed (roughly) by the number of ends they have and their genus. They have at most eight self-symmetries despite being of arbitrarily large genus, and are interesting for a number of reasons. Moreover, our methods also extend to prove that some natural candidate classes of surfaces cannot be realized as minimal surfaces in $\BE^3$. As a result of both aspects of this work, we obtain a classification of a family of surfaces as either realizable or unrealizable as minimal surfaces.

math.DG↗