Showing 1–29 of 29 results for author: O'Neill, K

Sketching the Heat Kernel: Using Gaussian Processes to Embed Data

Authors: Anna C. Gilbert, Kevin O'Neill

Abstract: This paper introduces a novel, non-deterministic method for embedding data in low-dimensional Euclidean space based on computing realizations of a Gaussian process depending on the geometry of the data. This type of embedding first appeared in (Adler et al, 2018) as a theoretical model for a generic manifold in high dimensions. In particular, we take the covariance function of the Gaussian proce… ▽ More This paper introduces a novel, non-deterministic method for embedding data in low-dimensional Euclidean space based on computing realizations of a Gaussian process depending on the geometry of the data. This type of embedding first appeared in (Adler et al, 2018) as a theoretical model for a generic manifold in high dimensions. In particular, we take the covariance function of the Gaussian process to be the heat kernel, and computing the embedding amounts to sketching a matrix representing the heat kernel. The Karhunen-Loève expansion reveals that the straight-line distances in the embedding approximate the diffusion distance in a probabilistic sense, avoiding the need for sharp cutoffs and maintaining some of the smaller-scale structure. Our method demonstrates further advantage in its robustness to outliers. We justify the approach with both theory and experiments. △ Less

Submitted 1 March, 2024; originally announced March 2024.

Comments: 28 pages

A Whitney Extension Problem for Manifolds

Authors: Kevin O'Neill

Abstract: The purpose of this paper is to address a manifold-based version of Whitney's extension problem: Given a compact set $E\subset\mathbb{R}^n$, how can we tell if there exists a $d$-dimensional, $C^m$-smooth manifold $\mathcal{M}\supset E$? We provide an answer for compact manifolds with boundary in terms of a Glaeser refinement much like that used in the solution of the classical Whitney extension p… ▽ More The purpose of this paper is to address a manifold-based version of Whitney's extension problem: Given a compact set $E\subset\mathbb{R}^n$, how can we tell if there exists a $d$-dimensional, $C^m$-smooth manifold $\mathcal{M}\supset E$? We provide an answer for compact manifolds with boundary in terms of a Glaeser refinement much like that used in the solution of the classical Whitney extension problem and a topological condition. This condition is the existence of a continuous selection for Grassmannian-valued functions, meant to reflect the collection of possible tangent spaces. We demonstrate the necessity of this condition in general and its non-redundancy in an example, while also showing it need not be checked when $d=1$. △ Less

Submitted 7 January, 2024; v1 submitted 19 October, 2023; originally announced October 2023.

Comments: 37 pages, updated with a new example and some minor edits

CA-PCA: Manifold Dimension Estimation, Adapted for Curvature

Authors: Anna C. Gilbert, Kevin O'Neill

Abstract: The success of algorithms in the analysis of high-dimensional data is often attributed to the manifold hypothesis, which supposes that this data lie on or near a manifold of much lower dimension. It is often useful to determine or estimate the dimension of this manifold before performing dimension reduction, for instance. Existing methods for dimension estimation are calibrated using a flat unit b… ▽ More The success of algorithms in the analysis of high-dimensional data is often attributed to the manifold hypothesis, which supposes that this data lie on or near a manifold of much lower dimension. It is often useful to determine or estimate the dimension of this manifold before performing dimension reduction, for instance. Existing methods for dimension estimation are calibrated using a flat unit ball. In this paper, we develop CA-PCA, a version of local PCA based instead on a calibration of a quadratic embedding, acknowledging the curvature of the underlying manifold. Numerous careful experiments show that this adaptation improves the estimator in a wide range of settings. △ Less

Submitted 23 September, 2023; originally announced September 2023.

Comments: 26 pages

MSC Class: 62H25; 62R30

On $C^m$ Solutions to Systems of Linear Inequalities

Authors: Garving K. Luli, Kevin O'Neill

Abstract: Recent work of C. Fefferman and the first author has demonstrated that the linear system of equations \begin{equation*} \sum_{j=1}^M A_{ij}(x)F_j(x)=f_i(x)\hspace{.2in} (i=1,...,N), \end{equation*} has a $C^m$ solution $F=(F_1,...,F_M)$ if and only if $f_1,...,f_N$ satisfy a certain finite collection of partial differential equations. Here, the $A_{ij}$ are fixed semialgebraic functions. In… ▽ More Recent work of C. Fefferman and the first author has demonstrated that the linear system of equations \begin{equation*} \sum_{j=1}^M A_{ij}(x)F_j(x)=f_i(x)\hspace{.2in} (i=1,...,N), \end{equation*} has a $C^m$ solution $F=(F_1,...,F_M)$ if and only if $f_1,...,f_N$ satisfy a certain finite collection of partial differential equations. Here, the $A_{ij}$ are fixed semialgebraic functions. In this paper, we consider the analogous problem for systems of linear inequalities: \begin{equation*} \sum_{j=1}^M A_{ij}(x)F_j(x)\le f_i(x)\hspace{.2in} (i=1,...,N). \end{equation*} Our main result is a negative one, demonstrated by counterexample: the existence of a $C^m$ solution $F$ may not, in general, be determined via an analogous finite set of partial differential inequalities in $f_1,...,f_N$. △ Less

Submitted 12 June, 2023; v1 submitted 24 March, 2023; originally announced March 2023.

Comments: 14 pages, updated version fixes a few typos

MSC Class: 46T20; 41A29; 26B05

Smooth Selection for Infinite Sets

Authors: Fushuai Jiang, Garving K. Luli, Kevin O'Neill

Abstract: Whitney's extension problem asks the following: Given a compact set $E\subset\mathbb{R}^n$ and a function $f:E\to \mathbb{R}$, how can we tell whether there exists $F\in C^m(\mathbb{R}^n)$ such that $F=f$ on $E$? A 2006 theorem of Charles Fefferman \cite{F06} answers this question in its full generality. In this paper, we establish a version of this theorem adapted for variants of the Whitney ex… ▽ More Whitney's extension problem asks the following: Given a compact set $E\subset\mathbb{R}^n$ and a function $f:E\to \mathbb{R}$, how can we tell whether there exists $F\in C^m(\mathbb{R}^n)$ such that $F=f$ on $E$? A 2006 theorem of Charles Fefferman \cite{F06} answers this question in its full generality. In this paper, we establish a version of this theorem adapted for variants of the Whitney extension problem, including nonnegative extensions and the smooth selection problems. Among other things, we generalize the Finiteness Principle for smooth selection by Fefferman-Israel-Luli \cite{FIL16} to the setting of infinite sets. Our main result is stated in terms of the iterated Glaeser refinement of a bundle formed by taking potential Taylor polynomials at each point of $E$. In particular, we show that such bundles (and any bundles with closed, convex fibers) stabilize after a bounded number of Glaeser refinements, thus strengthening the previous results of Glaeser, Bierstone-Milman-Pawłucki, and Fefferman which only hold for bundles with affine fibers. △ Less

Submitted 31 December, 2021; v1 submitted 10 September, 2021; originally announced September 2021.

Comments: 59 pages. The second version corrected a minor mistake in the previous version and some typos

MSC Class: 46T20; 41A29; 26B05

Impact of Scene-Specific Enhancement Spectra on Matched Filter Greenhouse Gas Retrievals from Imaging Spectroscopy

Authors: Markus D. Foote, Philip E. Dennison, Patrick R. Sullivan, Kelly B. O'Neill, Andrew K. Thorpe, David R. Thompson, Daniel H. Cusworth, Riley Duren, Sarang C. Joshi

Abstract: Matched filter (MF) techniques have been widely used for retrieval of greenhouse gas enhancements (enh.) from imaging spectroscopy datasets. While multiple algorithmic techniques and refinements have been proposed, the greenhouse gas target spectrum used for concentration enh. estimation has remained largely unaltered since the introduction of quantitative MF retrievals. The magnitude of retrieved… ▽ More Matched filter (MF) techniques have been widely used for retrieval of greenhouse gas enhancements (enh.) from imaging spectroscopy datasets. While multiple algorithmic techniques and refinements have been proposed, the greenhouse gas target spectrum used for concentration enh. estimation has remained largely unaltered since the introduction of quantitative MF retrievals. The magnitude of retrieved methane and carbon dioxide enh., and thereby integrated mass enh. (IME) and estimated flux of point-source emitters, is heavily dependent on this target spectrum. Current standard use of molecular absorption coefficients to create unit enh. target spectra does not account for absorption by background concentrations of greenhouse gases, solar and sensor geometry, or atmospheric water vapor absorption. We introduce geometric and atmospheric parameters into the generation of scene-specific (SS) unit enh. spectra to provide target spectra that are compatible with all greenhouse gas retrieval MF techniques. For methane plumes, IME resulting from use of standard, generic enh. spectra varied from -22 to +28.7% compared to SS enh. spectra. Due to differences in spectral shape between the generic and SS enh. spectra, differences in methane plume IME were linked to surface spectral characteristics in addition to geometric and atmospheric parameters. IME differences for carbon dioxide plumes, with generic enh. spectra producing integrated mass enh. -76.1 to -48.1% compared to SS enh. spectra. Fluxes calculated from these integrated enh. would vary by the same %s, assuming equivalent wind conditions. Methane and carbon dioxide IME were most sensitive to changes in solar zenith angle and ground elevation. SS target spectra can improve confidence in greenhouse gas retrievals and flux estimates across collections of scenes with diverse geometric and atmospheric conditions. △ Less

Submitted 10 August, 2021; v1 submitted 25 June, 2021; originally announced July 2021.

Comments: 13 pages, 5 figures, 3 tables

Journal ref: Remote Sensing of Environment, Volume 264, October 2021, 112574

SPGISpeech: 5,000 hours of transcribed financial audio for fully formatted end-to-end speech recognition

Authors: Patrick K. O'Neill, Vitaly Lavrukhin, Somshubra Majumdar, Vahid Noroozi, Yuekai Zhang, Oleksii Kuchaiev, Jagadeesh Balam, Yuliya Dovzhenko, Keenan Freyberg, Michael D. Shulman, Boris Ginsburg, Shinji Watanabe, Georg Kucsko

Abstract: In the English speech-to-text (STT) machine learning task, acoustic models are conventionally trained on uncased Latin characters, and any necessary orthography (such as capitalization, punctuation, and denormalization of non-standard words) is imputed by separate post-processing models. This adds complexity and limits performance, as many formatting tasks benefit from semantic information present… ▽ More In the English speech-to-text (STT) machine learning task, acoustic models are conventionally trained on uncased Latin characters, and any necessary orthography (such as capitalization, punctuation, and denormalization of non-standard words) is imputed by separate post-processing models. This adds complexity and limits performance, as many formatting tasks benefit from semantic information present in the acoustic signal but absent in transcription. Here we propose a new STT task: end-to-end neural transcription with fully formatted text for target labels. We present baseline Conformer-based models trained on a corpus of 5,000 hours of professionally transcribed earnings calls, achieving a CER of 1.7. As a contribution to the STT research community, we release the corpus free for non-commercial use at https://datasets.kensho.com/datasets/scribe. △ Less

Submitted 6 April, 2021; v1 submitted 5 April, 2021; originally announced April 2021.

Comments: 5 pages, 1 figure. Submitted to INTERSPEECH 2021

On the Shape Fields Finiteness Principle

Authors: Fushuai Jiang, Garving K. Luli, Kevin O'Neill

Abstract: In this paper, we improve the finiteness constant for the finiteness principles for $C^m(\mathbb{R}^n,\mathbb{R}^d)$ and $C^{m-1,1}(\mathbb{R}^n,\mathbb{R}^D)$ selection proven by Fefferman, Israel, and the second author and extend the more general shape fields finiteness principle to the vector-valued case. In this paper, we improve the finiteness constant for the finiteness principles for $C^m(\mathbb{R}^n,\mathbb{R}^d)$ and $C^{m-1,1}(\mathbb{R}^n,\mathbb{R}^D)$ selection proven by Fefferman, Israel, and the second author and extend the more general shape fields finiteness principle to the vector-valued case. △ Less

Submitted 28 November, 2020; v1 submitted 19 October, 2020; originally announced October 2020.

Comments: 17 pages

A Quantitative Stability Theorem for Convolution on the Heisenberg Group

Authors: Kevin O'Neill

Abstract: Although convolution on Euclidean space and the Heisenberg group satisfy the same $L^p$ bounds with the same optimal constants, the former has maximizers while the latter does not. However, as work of Christ has shown, it is still possible to characterize near-maximizers. Specifically, any near-maximizing triple of the trilinear form for convolution on the Heisenberg group must be close to a parti… ▽ More Although convolution on Euclidean space and the Heisenberg group satisfy the same $L^p$ bounds with the same optimal constants, the former has maximizers while the latter does not. However, as work of Christ has shown, it is still possible to characterize near-maximizers. Specifically, any near-maximizing triple of the trilinear form for convolution on the Heisenberg group must be close to a particular type of triple of ordered Gaussians after adjusting by symmetry. In this paper, we use the expansion method to prove a quantitative version of this characterization. △ Less

Submitted 27 July, 2019; originally announced July 2019.

Comments: 22 pages

Oscillatory Loomis-Whitney and Projections of Sublevel Sets

Authors: Maxim Gilula, Kevin O'Neill, Lechao Xiao

Abstract: We consider an oscillatory integral operator with Loomis-Whitney multilinear form. The phase is real analytic in a neighborhood of the origin in $\mathbb{R}^d$ and satisfies a nondegeneracy condition related to its Newton polyhedron. Maximal decay is obtained for this operator in certain cases, depending on the Newton polyhedron of the phase and the given Lebesgue exponents. Our estimates imply vo… ▽ More We consider an oscillatory integral operator with Loomis-Whitney multilinear form. The phase is real analytic in a neighborhood of the origin in $\mathbb{R}^d$ and satisfies a nondegeneracy condition related to its Newton polyhedron. Maximal decay is obtained for this operator in certain cases, depending on the Newton polyhedron of the phase and the given Lebesgue exponents. Our estimates imply volumes of sublevel sets of such real analytic functions are small relative to the product of areas of projections onto coordinate hyperplanes. △ Less

Submitted 3 July, 2019; v1 submitted 28 March, 2019; originally announced March 2019.

MSC Class: 42B20 47A07

Decay Rate of n-Linear Oscillatory Integral Operators in $\mathbb{R}^2$

Authors: Aleksandra Niepla, Kevin O'Neill, Zhen Zeng

Abstract: In this paper, we prove $L^p$ decay estimates for multilinear oscillatory integrals in $\mathbb{R}^2$, establishing sharpness through a scaling argument. The result in this paper is a generalization of the previous work by Gressman and Xiao (2016). In this paper, we prove $L^p$ decay estimates for multilinear oscillatory integrals in $\mathbb{R}^2$, establishing sharpness through a scaling argument. The result in this paper is a generalization of the previous work by Gressman and Xiao (2016). △ Less

Submitted 13 November, 2018; originally announced November 2018.

Comments: 7 pages

MSC Class: 42B20

Estimating Oscillatory Integrals of Convolution Type in $\mathbb{R}^d$

Authors: Aleksandra Niepla, Kevin O'Neill, Zhen Zeng

Abstract: In this paper, we prove an $L^2-L^2-L^2$ decay estimate for a trilinear oscillatory integral of convolution type in $\mathbb{R}^d,$ which recovers the earlier result of Li (2013) when $d=1.$ We discuss the sharpness of our result in the $d=2$ case. Our main hypothesis has close connections to the property of simple nondegeneracy studied by Christ, Li, Tao and Thiele (2005). In this paper, we prove an $L^2-L^2-L^2$ decay estimate for a trilinear oscillatory integral of convolution type in $\mathbb{R}^d,$ which recovers the earlier result of Li (2013) when $d=1.$ We discuss the sharpness of our result in the $d=2$ case. Our main hypothesis has close connections to the property of simple nondegeneracy studied by Christ, Li, Tao and Thiele (2005). △ Less

Submitted 22 July, 2021; v1 submitted 12 November, 2018; originally announced November 2018.

Comments: Application of Theorem 2.1 in the proof of Theorem 1.2 assumed uniformity of the constant C which does not hold in general; in reality, there may be dependence on the phase

MSC Class: 42B20

A Sharpened Rearrangement Inequality for Convolution on the Sphere

Authors: Kevin O'Neill

Abstract: One may define a trilinear convolution form on the sphere involving two functions on the sphere and a monotonic function on the interval $[-1,1]$. A symmetrization inequality of Baernstein and Taylor states that this form is maximized when the two functions on the sphere are replaced with their nondecreasing symmetric rearrangements. In the case of indicator functions, we show that under natural h… ▽ More One may define a trilinear convolution form on the sphere involving two functions on the sphere and a monotonic function on the interval $[-1,1]$. A symmetrization inequality of Baernstein and Taylor states that this form is maximized when the two functions on the sphere are replaced with their nondecreasing symmetric rearrangements. In the case of indicator functions, we show that under natural hypotheses, the symmetric rearrangements are the only maximizers up to symmetry by establishing a sharpened inequality. △ Less

Submitted 16 October, 2018; originally announced October 2018.

Comments: 13 pages

A Sharpened Inequality for Twisted Convolution

Authors: Kevin O'Neill

Abstract: Consider the trilinear form for twisted convolution on $\mathbb{R}^{2d}$: \begin{equation*} \mathcal{T}_t(\mathbf{f}):=\iint f_1(x)f_2(y)f_3(x+y)e^{itσ(x,y)}dxdy,\end{equation*} where $σ$ is a symplectic form and $t$ is a real-valued parameter. It is known that in the case $t\neq0$ the optimal constant for twisted convolution is the same as that for convolution, though no extremizers exist. Expa… ▽ More Consider the trilinear form for twisted convolution on $\mathbb{R}^{2d}$: \begin{equation*} \mathcal{T}_t(\mathbf{f}):=\iint f_1(x)f_2(y)f_3(x+y)e^{itσ(x,y)}dxdy,\end{equation*} where $σ$ is a symplectic form and $t$ is a real-valued parameter. It is known that in the case $t\neq0$ the optimal constant for twisted convolution is the same as that for convolution, though no extremizers exist. Expanding about the manifold of triples of maximizers and $t=0$ we prove a sharpened inequality for twisted convolution with an arbitrary antisymmetric form in place of $σ$. △ Less

Submitted 4 October, 2018; originally announced October 2018.

Comments: 13 pages

MSC Class: 42B20

Maximizers of Rogers-Brascamp-Lieb-Luttinger functionals in higher dimensions

Authors: Michael Christ, Kevin O'Neill

Abstract: A symmetrization inequality of Rogers and of Brascamp-Lieb-Luttinger states that for a certain class of multilinear integral expressions, among tuples of sets of prescribed Lebesgue measures, tuples of balls centered at the origin are among the maximizers. Under natural hypotheses, we characterize all maximizing tuples for these inequalities for dimensions strictly greater than 1. We establish a s… ▽ More A symmetrization inequality of Rogers and of Brascamp-Lieb-Luttinger states that for a certain class of multilinear integral expressions, among tuples of sets of prescribed Lebesgue measures, tuples of balls centered at the origin are among the maximizers. Under natural hypotheses, we characterize all maximizing tuples for these inequalities for dimensions strictly greater than 1. We establish a sharpened form of the inequality. △ Less

Submitted 30 November, 2017; originally announced December 2017.

A Variation on Hölder-Brascamp-Lieb Inequalities

Authors: Kevin O'Neill

Abstract: The Hölder-Brascamp-Lieb inequalities are a collection of multilinear inequalities generalizing a convolution inequality of Young and the Loomis-Whitney inequalities. The full range of exponents was classified in Bennett et al. (2008). In a setting similar to that of Ivanisvili and Volberg (2015), we introduce a notion of size for these inequalities which generalizes $L^p$ norms. Under this new se… ▽ More The Hölder-Brascamp-Lieb inequalities are a collection of multilinear inequalities generalizing a convolution inequality of Young and the Loomis-Whitney inequalities. The full range of exponents was classified in Bennett et al. (2008). In a setting similar to that of Ivanisvili and Volberg (2015), we introduce a notion of size for these inequalities which generalizes $L^p$ norms. Under this new setup, we then determine necessary and sufficient conditions for a generalized Hölder-Brascamp-Lieb type inequality to hold and establish sufficient conditions for extremizers to exist when the underlying linear maps match those of the convolution inequality of Young. △ Less

Submitted 21 November, 2017; v1 submitted 17 October, 2017; originally announced October 2017.

Comments: November update to clarify an argument in Section 3

Derivations in Codifferential Categories

Authors: Richard Blute, Rory B. B. Lucyshyn-Wright, Keith O'Neill

Abstract: Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential categories. Differential categories were introduced as the categorical framework for modelling differential linear logic. The deriving transform of a differential… ▽ More Derivations provide a way of transporting ideas from the calculus of manifolds to algebraic settings where there is no sensible notion of limit. In this paper, we consider derivations in certain monoidal categories, called codifferential categories. Differential categories were introduced as the categorical framework for modelling differential linear logic. The deriving transform of a differential category, which models the differentiation inference rule, is a derivation in the dual category. We here explore that derivation's universality. One of the key structures associated to a codifferential category is an algebra modality. This is a monad $T$ such that each object of the form $TC$ is canonically an associative, commutative algebra. Consequently, every $T$-algebra has a canonical commutative algebra structure, and we show that universal derivations for these algebras can be constructed quite generally. It is a standard result that there is a bijection between derivations from an associative algebra $A$ to an $A$-module $M$ and algebra homomorphisms over $A$ from $A$ to $A\oplus M$, with $A\oplus M$ being considered as an infinitesimal extension of $A$. We lift this correspondence to our setting by showing that in a codifferential category there is a canonical $T$-algebra structure on $A\oplus M$. We call $T$-algebra morphisms from $TA$ to this $T$-algebra structure Beck $T$-derivations. This yields a novel, generalized notion of derivation. The remainder of the paper is devoted to exploring consequences of that definition. Along the way, we prove that the symmetric algebra construction in any suitable symmetric monoidal category provides an example of codifferential structure, and using this, we give an alternative definition for differential and codifferential categories. △ Less

Submitted 1 May, 2015; originally announced May 2015.

Comments: 25 Pages

MSC Class: 18D10; 13N15; 03B47

Distributional fixed point equations for island nucleation in one dimension: a retrospective approach for capture zone scaling

Authors: Paul A. Mulheran, Kenneth P. O'Neill, Michael Grinfeld, Wilson Lamb

Abstract: The distributions of inter-island gaps and captures zones for islands nucleated on a one-dimensional substrate during submonolayer deposition are considered using a novel retrospective view. This provides an alternative perspective on why scaling occurs in this continuously evolving system. Distributional fixed point equations for the gaps are derived both with and without a mean field approximati… ▽ More The distributions of inter-island gaps and captures zones for islands nucleated on a one-dimensional substrate during submonolayer deposition are considered using a novel retrospective view. This provides an alternative perspective on why scaling occurs in this continuously evolving system. Distributional fixed point equations for the gaps are derived both with and without a mean field approximation for nearest neighbour gap size correlation. Solutions to the equations show that correct consideration of fragmentation bias justifies the mean field approach which can be extended to provide closed-from equations for the capture zones. Our results compare favourably to Monte Carlo data for both point and extended islands using a range of critical island size $i=0,1,2,3$. We also find satisfactory agreement with theoretical models based on more traditional fragmentation theory approaches. △ Less

Submitted 12 October, 2012; v1 submitted 23 February, 2012; originally announced February 2012.

Comments: 9 pages, 7 figures and 1 table

A Tur'an-type problem for circular arc graphs

Authors: Rosalie Carlson, Stephen Flood, Kevin O'Neill, Francis Edward Su

Abstract: A circular arc graph is the intersection graph of a collection of connected arcs on the circle. We solve a Tur'an-type problem for circular arc graphs: for n arcs, if m and M are the minimum and maximum number of arcs that contain a common point, what is the maximum number of edges the circular arc graph can contain? We establish a sharp bound and produce a maximal construction. For a fixed m, thi… ▽ More A circular arc graph is the intersection graph of a collection of connected arcs on the circle. We solve a Tur'an-type problem for circular arc graphs: for n arcs, if m and M are the minimum and maximum number of arcs that contain a common point, what is the maximum number of edges the circular arc graph can contain? We establish a sharp bound and produce a maximal construction. For a fixed m, this can be used to show that if the circular arc graph has enough edges, there must be a point that is covered by at least M arcs. In the case m=0, we recover results for interval graphs established by Abbott and Katchalski (1979). We suggest applications to voting situations with interval or circular political spectra. △ Less

Submitted 19 October, 2011; originally announced October 2011.

Comments: 18 pages, 8 figures, related papers at http://www.math.hmc.edu/~su/papers.html

MSC Class: 05C75; 91B12

Gap size and capture zone distributions in one-dimensional point island nucleation and growth simulations: asymptotics and models

Authors: K. P. O'Neill, M. Grinfeld, W. Lamb, P. A. Mulheran

Abstract: The nucleation and growth of point islands during submonolayer deposition on a one-dimensional substrate is simulated for critical island size $i=0,1,2,3$. The small and large size asymptotics for the gap size and capture zone distributions (GSD and CZD) are studied. Comparisons to theoretical predictions from fragmentation equation analyses are made, along with those from the recently proposed Ge… ▽ More The nucleation and growth of point islands during submonolayer deposition on a one-dimensional substrate is simulated for critical island size $i=0,1,2,3$. The small and large size asymptotics for the gap size and capture zone distributions (GSD and CZD) are studied. Comparisons to theoretical predictions from fragmentation equation analyses are made, along with those from the recently proposed Generalised Wigner Surmise (GWS). We find that the simulation data can be fully understood in the framework provided by the fragmentation equations, whilst highlighting the theoretical areas that require further development. The GWS works well for the small-size CZD behaviour, but completely fails to describe the large-size CZD asymptotics of the one-dimensional system. △ Less

Submitted 9 December, 2011; v1 submitted 11 October, 2011; originally announced October 2011.

Comments: 9 pages, 8 figures

Capture-zone distribution in one-dimensional sub-monolayer film growth: a fragmentation theory approach

Authors: M. Grinfeld, W. Lamb, P. A. Mulheran, K. P. O'Neill

Abstract: The distribution of capture zones formed during the nucleation and growth of point islands on a one-dimensional substrate during monomer deposition is considered for general critical island size $i$. A fragmentation theory approach yields the small and (for $i=0$) large size asymptotics for the capture zone distribution (CZD) under the assumption of no neighbour-neighbour gap size correlation. The… ▽ More The distribution of capture zones formed during the nucleation and growth of point islands on a one-dimensional substrate during monomer deposition is considered for general critical island size $i$. A fragmentation theory approach yields the small and (for $i=0$) large size asymptotics for the capture zone distribution (CZD) under the assumption of no neighbour-neighbour gap size correlation. These CZD asymptotic forms are different to those of the Generalised Wigner Surmise which has recently been proposed for island nucleation and growth models, and we discuss the reasons for the discrepancies. △ Less

Submitted 18 October, 2011; v1 submitted 14 July, 2011; originally announced July 2011.

Comments: 12 pages, uses equation.sty

Electronic excitations of a single molecule contacted in a three-terminal configuration

Authors: Edgar A. Osorio, Kevin O'Neill, Maarten Wegewijs, Nicolai Stuhr-Hansen, Jens Paaske, Thomas Bjornholm, Herre S. J. van der Zant

Abstract: Low-temperature three-terminal transport measurements through a thiol end-capped Pi -conjugated molecule have been carried out. Electronic excitations, including zero and finite-bias Kondo-effects have been observed and studied as a function of magnetic field. Using a simplified two-orbital model we have accounted for the spin and the electronic configuration of the first four charge states of t… ▽ More Low-temperature three-terminal transport measurements through a thiol end-capped Pi -conjugated molecule have been carried out. Electronic excitations, including zero and finite-bias Kondo-effects have been observed and studied as a function of magnetic field. Using a simplified two-orbital model we have accounted for the spin and the electronic configuration of the first four charge states of the molecule. The charge-dependent couplings to gate, source and drain electrodes suggest a scenario in which charges and spins are localized at the ends of the molecule, close to the electrodes. △ Less

Submitted 16 November, 2007; originally announced November 2007.

Comments: Supporting information avalaible at http://pubs.acs.org

Journal ref: Nano lett. 2007, 7, 3336

Self-breaking in planar few-atom Au constrictions for nm-spaced electrodes

Authors: K. O'Neill, E. A. Osorio, H. S. J. van der Zant

Abstract: We present results on electromigrated Au nanojunctions broken near the conductance quantum $77.5 μ$S. At room temperature we find that wires, initially narrowed by an actively-controlled electromigration technique down to a few conductance quanta, continue to narrow after removing the applied voltage. Separate electrodes form as mobile gold atoms continuously reconfigure the constriction. We fin… ▽ More We present results on electromigrated Au nanojunctions broken near the conductance quantum $77.5 μ$S. At room temperature we find that wires, initially narrowed by an actively-controlled electromigration technique down to a few conductance quanta, continue to narrow after removing the applied voltage. Separate electrodes form as mobile gold atoms continuously reconfigure the constriction. We find, from results obtained on over 300 samples, no evidence for gold cluster formation in junctions broken without an applied voltage, implying that gold clusters may be avoided by using this self-breaking technique. △ Less

Submitted 26 February, 2007; originally announced February 2007.

Comments: accepted in Applied physics letters

In-Chain Tunneling Through Charge-Density Wave Nanoconstrictions and Break-Junctions

Authors: K. O'Neill, E. Slot, R. E. Thorne, H. S. J. van der Zant

Abstract: We have fabricated longitudinal nanoconstrictions in the charge-density wave conductor (CDW) NbSe$_{3}$ using a focused ion beam and using a mechanically controlled break-junction technique. Conductance peaks are observed below the T$_{P1}$$=145 $K and T$_{P2}$$=59 $K CDW transitions, which correspond closely with previous values of the full CDW gaps $2Δ_{1}$ and $2Δ_{2}$ obtained from photo-emi… ▽ More We have fabricated longitudinal nanoconstrictions in the charge-density wave conductor (CDW) NbSe$_{3}$ using a focused ion beam and using a mechanically controlled break-junction technique. Conductance peaks are observed below the T$_{P1}$$=145 $K and T$_{P2}$$=59 $K CDW transitions, which correspond closely with previous values of the full CDW gaps $2Δ_{1}$ and $2Δ_{2}$ obtained from photo-emission. These results can be explained by assuming CDW-CDW tunneling in the presence of an energy gap corrugation $ε_{2}$ comparable to $Δ_{2}$, which eliminates expected peak at $Δ_{1}+Δ_{2}$. The nanometer length-scales our experiments imply indicate that an alternative explanation based on tunneling through back-to-back CDW-normal junctions is unlikely. △ Less

Submitted 9 January, 2006; v1 submitted 7 September, 2005; originally announced September 2005.

Comments: 5 pages, 3 figures, submitted to physical review letters

Journal ref: Physical Review Letters 96, 096402 (2006)

Anonymity and Information Hiding in Multiagent Systems

Authors: Joseph Y. Halpern, Kevin R. O'Neill

Abstract: We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal logic of knowledge within the context of the runs and systems framework, much in the spirit of our earlier work on secrecy [Halpern and O'Neill 2002]. We give several definitions of anonymity with respect to agents, acti… ▽ More We provide a framework for reasoning about information-hiding requirements in multiagent systems and for reasoning about anonymity in particular. Our framework employs the modal logic of knowledge within the context of the runs and systems framework, much in the spirit of our earlier work on secrecy [Halpern and O'Neill 2002]. We give several definitions of anonymity with respect to agents, actions, and observers in multiagent systems, and we relate our definitions of anonymity to other definitions of information hiding, such as secrecy. We also give probabilistic definitions of anonymity that are able to quantify an observer s uncertainty about the state of the system. Finally, we relate our definitions of anonymity to other formalizations of anonymity and information hiding, including definitions of anonymity in the process algebra CSP and definitions of information hiding using function views. △ Less

Submitted 17 May, 2004; v1 submitted 18 February, 2004; originally announced February 2004.

Comments: Replacement. 36 pages. Full version of CSFW '03 paper, submitted to JCS. Made substantial changes to Section 6; added references throughout

ACM Class: D.4.6; D.2.1

Measurement of the shear strength of a charge-density wave

Authors: K. O'Neill, K. Cicak, R. E. Thorne

Abstract: We have explored the shear plasticity of charge density waves (CDWs) in niobium triselenide samples with cross-sections having a single micro-fabricated thickness step. Shear stresses along the step result from thickness-dependent CDW pinning. For small thickness differences the CDW depins elastically at the volume average depinning field. For large thickness differences the thicker, more weakly… ▽ More We have explored the shear plasticity of charge density waves (CDWs) in niobium triselenide samples with cross-sections having a single micro-fabricated thickness step. Shear stresses along the step result from thickness-dependent CDW pinning. For small thickness differences the CDW depins elastically at the volume average depinning field. For large thickness differences the thicker, more weakly pinned side depins first via plastic shear. A simple model describes the qualitative features of our data, and yields a value for the CDW's shear strength of approximately 9.5*10^3 N/m^2 and a lower bound for the elastic shear modulus of 2.1*10^4 N/m^2. These values are orders of magnitude smaller than the CDW's longitudinal modulus but are much larger than corresponding values for flux-line lattices, and may explain the relative coherence of the CDW response. △ Less

Submitted 3 June, 2004; v1 submitted 10 December, 2003; originally announced December 2003.

Comments: 10 pages, 4 figures, submitted to Physical Review Letters

Journal ref: Physical Review Letters 93, 066601 (2004)

Crossover from 2-dimensional to 1-dimensional collective pinning in NbSe3

Authors: E. Slot, H. S. J. van der Zant, K. O'Neill, R. E. Thorne

Abstract: We have fabricated NbSe$_3$ structures with widths comparable to the Fukuyama-Lee-Rice phase-coherence length. For samples already in the 2-dimensional pinning limit, we observe a crossover from 2-dimensional to 1-dimensional collective pinning when the crystal width is less than 1.6 $μ$m, corresponding to the phase-coherence length in this direction. Our results show that surface pinning is neg… ▽ More We have fabricated NbSe$_3$ structures with widths comparable to the Fukuyama-Lee-Rice phase-coherence length. For samples already in the 2-dimensional pinning limit, we observe a crossover from 2-dimensional to 1-dimensional collective pinning when the crystal width is less than 1.6 $μ$m, corresponding to the phase-coherence length in this direction. Our results show that surface pinning is negligible in our samples, and provide a means to probe the dynamics of single domains giving access to a new regime in charge-density wave physics. △ Less

Submitted 15 December, 2003; v1 submitted 9 September, 2003; originally announced September 2003.

Comments: 4 pages, 2 figures, and 1 table. Accepted for publication in Physical Review B

Journal ref: Physical Review B 69, 073105 (2004)

Secrecy in Multiagent Systems

Authors: Kevin R. O'Neill, Joseph Y. Halpern

Abstract: We introduce a general framework for reasoning about secrecy and privacy requirements in multiagent systems. Our definitions extend earlier definitions of secrecy and nondeducibility given by Shannon and Sutherland. Roughly speaking, one agent maintains secrecy with respect to another if the second agent cannot rule out any possibilities for the behavior or state of the first agent. We show that… ▽ More We introduce a general framework for reasoning about secrecy and privacy requirements in multiagent systems. Our definitions extend earlier definitions of secrecy and nondeducibility given by Shannon and Sutherland. Roughly speaking, one agent maintains secrecy with respect to another if the second agent cannot rule out any possibilities for the behavior or state of the first agent. We show that the framework can handle probability and nondeterminism in a clean way, is useful for reasoning about asynchronous systems as well as synchronous systems, and suggests generalizations of secrecy that may be useful for dealing with issues such as resource-bounded reasoning. We also show that a number of well-known attempts to characterize the absence of information flow are special cases of our definitions of secrecy. △ Less

Submitted 16 March, 2005; v1 submitted 24 July, 2003; originally announced July 2003.

Comments: This is an extended version of a paper that appears in the Proceedings of the 15th IEEE Computer Security Foundations Workshop}, 2002, pp. 32-46

ACM Class: D.4.6, F.4.1

Detailed comparison of the structures and kinematics of simulated and observed barred galaxies

Authors: J. K. O'Neill, J. Dubinski

Abstract: We examine the observable properties of simulated barred galaxies including radial mass profiles, edge-on structure and kinematics, bar lengths and pattern speed evolution for detailed comparison to real systems. We have run several simulations in which bars are created through inherent instabilities in self-consistent simulations of a realistic disc+halo galaxy model with a disc-dominated, flat… ▽ More We examine the observable properties of simulated barred galaxies including radial mass profiles, edge-on structure and kinematics, bar lengths and pattern speed evolution for detailed comparison to real systems. We have run several simulations in which bars are created through inherent instabilities in self-consistent simulations of a realistic disc+halo galaxy model with a disc-dominated, flat rotation curve. These simulations were run at high (N=20M particles) and low (N=500K) resolution to test numerical convergence. We determine the pattern speeds in simulations directly from the phase angle of the bar versus time and the Tremaine-Weinberg method. Fundamental dynamics do not change between the high and low resolution, suggesting that convergence has been reached in this case. We find the higher resolution is needed to simulate structural and kinematic properties accurately. The edge-on view of the higher-resolution system clearly shows the bending instability and formation of a peanut-shaped bulge. We determined bar lengths by different means to determine the simulated bar is fast, with a corotation to bar length ratio under 1.5. Simulated bars in these models form with pattern speeds slower than those observed and slow down during their evolution. Dynamical friction between the bar and dark halo is responsible for this deceleration, as revealed by the transfer of angular momentum between the disc and the halo. However, even though the pattern speed is reduced at later times, the instantaneous scale length of the disc has grown sufficiently for the bar motion to agree with many observations. By using a different model and simulation technique than other authors, we are able to compare the robustness of these methods. △ Less

Submitted 9 May, 2003; originally announced May 2003.

Comments: 14 pages, 15 figures, submitted to MNRAS. For animation files and high resolution figures, see http://www.astro.utoronto.ca/~oneill

Journal ref: Mon.Not.Roy.Astron.Soc. 346 (2003) 251