Electron holography with a Cs-corrected transmission electron microscope.

Cs correctors have revolutionized transmission electron microscopy (TEM) in that they substantially improve point resolution and information limit. The object information is found sharply localized within 0.1 nm, and the intensity image can therefore be interpreted reliably on an atomic scale. However, for a conventional intensity image, the object exit wave can still not be detected completely in that the phase, and hence indispensable object information is missing. Therefore, for example, atomic electric-field distributions or magnetic domain structures cannot be accessed. Off-axis electron holography offers unique possibilities to recover completely the aberration-corrected object wave with uncorrected microscopes and hence we would not need a Cs-corrected microscope for improved lateral resolution. However, the performance of holography is affected by aberrations of the recording TEM in that the signal/noise properties ("phase detection limit") of the reconstructed wave are degraded. Therefore, we have realized off-axis electron holography with a Cs-corrected TEM. The phase detection limit improves by a factor of four. A further advantage is the possibility of fine-tuning the residual aberrations by a posteriori correction. Therefore, a combination of both methods, that is, Cs correction and off-axis electron holography, opens new perspectives for complete TEM analysis on an atomic scale.     

Two-photon quantum interference from separate nitrogen vacancy centers in diamond

We report on the observation of quantum interference of the emission from two separate nitrogen vacancy (NV) centers in diamond. Taking advantage of optically induced spin polarization in combination with polarization filtering, we isolate a single transition within the zero-phonon line of the nonresonantly excited NV centers. The time-resolved two-photon interference contrast of this filtered emission reaches 66%. Furthermore, we observe quantum interference from dissimilar NV centers tuned into resonance through the dc Stark effect. These results pave the way towards measurement-based entanglement between remote NV centers and the realization of quantum networks with solid-state spins.     

Quantum critical dynamics simulation of dirty boson systems

Recently, the scaling result z=d for the dynamic critical exponent at the Bose glass to superfluid quantum phase transition has been questioned both on theoretical and numerical grounds. This motivates a careful evaluation of the critical exponents in order to determine the actual value of z. We study a model of quantum bosons at T=0 with disorder in 2D using highly effective worm Monte?Carlo simulations. Our data analysis is based on a finite-size scaling approach to determine the scaling of the quantum correlation time from simulation data for boson world lines. The resulting critical exponents are z=1.8±0.05, ν=1.15±0.03, and η=-0.3±0.1, hence suggesting that z=2 is not satisfied.     

Reducing belief simpliciter to degrees of belief

Is it possible to give an explicit definition of belief (simpliciter) in terms of subjective probability, such that believed propositions are guaranteed to have a sufficiently high probability, and yet it is neither the case that belief is stripped of any of its usual logical properties, nor is it the case that believed propositions are bound to have probability 1? We prove the answer is ‘yes’, and that given some plausible logical postulates on belief that involve a contextual “cautiousness” threshold, there is but one way of determining the extension of the concept of belief that does the job. The qualitative concept of belief is not to be eliminated from scientific or philosophical discourse, rather, by reducing qualitative belief to assignments of resiliently high degrees of belief and a “cautiousness” threshold, qualitative and quantitative belief turn out to be governed by one unified theory that offers the prospects of a huge range of applications. Within that theory, logic and probability theory are not opposed to each other but go hand in hand.     

Heuristische Lösungsverfahren Versuch einer Begriffsklärung

Zusammenfassung Im folgenden Beitrag wird der Versuch unternommen, den Begriff heuristisches Lösungsverfahren zu präzisieren. Es werden drei konstituierende und drei akzessorische Merkmale herausgearbeitet. Schließlich werden einige ausgewählte heuristische Verfahren auf ihre charakteristischen Eigenschaften hin untersucht.

---

Summary It is the purpose of this paper to define the term heuristic method. Three necessary and three supplementary criteria are proposed. Finally some selected heuristic methods are described and analysed.

     

Asymptotic Lipschitz Regularity for Tug-of-War Games with Varying Probabilities

We prove an asymptotic Lipschitz estimate for value functions of tug-of-war games with varying probabilities defined in Ω ? ?ⁿ. The method of the proof is based on a game-theoretic idea to estimate the value of a related game defined in Ω ×Ω via couplings.

     

Certificates of infeasibility via nonsmooth optimization

An important aspect in the solution process of constraint satisfaction problems is to identify exclusion boxes which are boxes that do not contain feasible points. This paper presents a certificate of infeasibility for finding such boxes by solving a linearly constrained nonsmooth optimization problem. Furthermore, the constructed certificate can be used to enlarge an exclusion box by solving a nonlinearly constrained nonsmooth optimization problem.     

Bifurcation of Nonlinear Bloch Waves from the Spectrum in the Gross–Pitaevskii Equation

We rigorously analyze the bifurcation of stationary so-called nonlinear Bloch waves (NLBs) from the spectrum in the Gross–Pitaevskii (GP) equation with a periodic potential, in arbitrary space dimensions. These are solutions which can be expressed as finite sums of quasiperiodic functions and which in a formal asymptotic expansion are obtained from solutions of the so-called algebraic coupled mode equations. Here we justify this expansion by proving the existence of NLBs and estimating the error of the formal asymptotics. The analysis is illustrated by numerical bifurcation diagrams, mostly in 2D. In addition, we illustrate some relations of NLBs to other classes of solutions of the GP equation, in particular to so-called out-of-gap solitons and truncated NLBs, and present some numerical experiments concerning the stability of these solutions.     

On the distribution of penalized maximum likelihood estimators: The LASSO, SCAD, and thresholding

We study the distributions of the LASSO, SCAD, and thresholding estimators, in finite samples and in the large-sample limit. The asymptotic distributions are derived for both the case where the estimators are tuned to perform consistent model selection and for the case where the estimators are tuned to perform conservative model selection. Our findings complement those of Knight and Fu [K. Knight, W. Fu, Asymptotics for lasso-type estimators, Annals of Statistics 28 (2000) 1356–1378] and Fan and Li [J. Fan, R. Li, Variable selection via non-concave penalized likelihood and its oracle properties, Journal of the American Statistical Association 96 (2001) 1348–1360]. We show that the distributions are typically highly non-normal regardless of how the estimator is tuned, and that this property persists in large samples. The uniform convergence rate of these estimators is also obtained, and is shown to be slower than n^−1/2 in case the estimator is tuned to perform consistent model selection. An impossibility result regarding estimation of the estimators’ distribution function is also provided.     

Smoothing Windows for the Synthesis of Gaussian Stationary Random Fields Using Circulant Matrix Embedding

When generating Gaussian stationary random fields, a standard method based on circulant matrix embedding usually fails because some of the associated eigenvalues are negative. The eigenvalues can be shown to be nonnegative in the limit of increasing sample size. Computationally feasible large sample sizes, however, rarely lead to nonnegative eigenvalues. Another solution is to extend suitably the covariance function of interest so that the eigenvalues of the embedded circulant matrix become nonnegative in theory. Though such extensions have been found for a number of examples of stationary fields, the method depends on nontrivial constructions in specific cases.

In this work, the embedded circulant matrix is smoothed at the boundary by using a cutoff window or overlapping windows over a transition region. The windows are not specific to particular examples of stationary fields. The resulting method modifies the standard circulant embedding, and is easy to use. It is shown that this straightforward approach works for many examples of interest, with the overlapping windows performing consistently better. The method even outperforms in the cases where extending the covariance leads to nonnegative eigenvalues in theory, in the sense that the transition region is considerably smaller. The Matlab code implementing the method is included in the online supplementary materials and also publicly available at www.hermir.org.