Diffraction from visible lattice points and k-th power free integers

We prove that the set of visible points of any lattice of dimension at least 2 has pure point diffraction spectrum, and we determine the diffraction spectrum explicitly. This settles previous speculation on the exact nature of the diffraction in this situation, see math-ph/9903046 and references therein. Using similar methods we show the same result for the 1-dimensional set of k-th power free integers with k at least 2. Of special interest is the fact that neither of these sets is a Delone set --- each has holes of unbounded inradius. We provide a careful formulation of the mathematical ideas underlying the study of diffraction from infinite point sets.Comment: 45 pages, with minor corrections and improvements; dedicated to Ludwig Danzer on the occasion of his 70th birthda

Positivity, entanglement entropy, and minimal surfaces

The path integral representation for the Renyi entanglement entropies of integer index n implies these information measures define operator correlation functions in QFT. We analyze whether the limit $n\rightarrow 1$, corresponding to the entanglement entropy, can also be represented in terms of a path integral with insertions on the region's boundary, at first order in $n-1$. This conjecture has been used in the literature in several occasions, and specially in an attempt to prove the Ryu-Takayanagi holographic entanglement entropy formula. We show it leads to conditional positivity of the entropy correlation matrices, which is equivalent to an infinite series of polynomial inequalities for the entropies in QFT or the areas of minimal surfaces representing the entanglement entropy in the AdS-CFT context. We check these inequalities in several examples. No counterexample is found in the few known exact results for the entanglement entropy in QFT. The inequalities are also remarkable satisfied for several classes of minimal surfaces but we find counterexamples corresponding to more complicated geometries. We develop some analytic tools to test the inequalities, and as a byproduct, we show that positivity for the correlation functions is a local property when supplemented with analyticity. We also review general aspects of positivity for large N theories and Wilson loops in AdS-CFT.Comment: 36 pages, 10 figures. Changes in presentation and discussion of Wilson loops. Conclusions regarding entanglement entropy unchange

Local Index Theory for Lorentzian Manifolds

We prove a local version of the index theorem for Lorentzian Dirac-type operators on globally hyperbolic Lorentzian manifolds with Cauchy boundary. In case the Cauchy hypersurface is compact we do not assume self-adjointness of the Dirac operator on the spacetime or the associated elliptic Dirac operator on the boundary. In this case integration of our local index theorem results in a generalization of previously known index theorems for globally hyperbolic spacetimes that allows for twisting bundles associated with non-compact gauge groups.Comment: 39 pages, 1 figur

Analytic Torsion on Manifolds with Edges

Let (M,g) be an odd-dimensional incomplete compact Riemannian singular space with a simple edge singularity. We study the analytic torsion on M, and in particular consider how it depends on the metric g. If g is an admissible edge metric, we prove that the torsion zeta function is holomorphic near s = 0, hence the torsion is well-defined, but possibly depends on g. In general dimensions, we prove that the analytic torsion depends only on the asymptotic structure of g near the singular stratum of M; when the dimension of the edge is odd, we prove that the analytic torsion is independent of the choice of admissible edge metric. The main tool is the construction, via the methodology of geometric microlocal analysis, of the heat kernel for the Friedrichs extension of the Hodge Laplacian in all degrees. In this way we obtain detailed asymptotics of this heat kernel and its trace.Comment: 36 pages, 5 figures, v2: minor improvement

Compact smallest eigenvalue expressions in Wishart-Laguerre ensembles with or without fixed-trace

The degree of entanglement of random pure states in bipartite quantum systems can be estimated from the distribution of the extreme Schmidt eigenvalues. For a bipartition of size M\geq N, these are distributed according to a Wishart-Laguerre ensemble (WL) of random matrices of size N x M, with a fixed-trace constraint. We first compute the distribution and moments of the smallest eigenvalue in the fixed trace orthogonal WL ensemble for arbitrary M\geq N. Our method is based on a Laplace inversion of the recursive results for the corresponding orthogonal WL ensemble by Edelman. Explicit examples are given for fixed N and M, generalizing and simplifying earlier results. In the microscopic large-N limit with M-N fixed, the orthogonal and unitary WL distributions exhibit universality after a suitable rescaling and are therefore independent of the constraint. We prove that very recent results given in terms of hypergeometric functions of matrix argument are equivalent to more explicit expressions in terms of a Pfaffian or determinant of Bessel functions. While the latter were mostly known from the random matrix literature on the QCD Dirac operator spectrum, we also derive some new results in the orthogonal symmetry class.Comment: 25 pag., 4 fig - minor changes, typos fixed. To appear in JSTA

Beyond the Spectral Theorem: Spectrally Decomposing Arbitrary Functions of Nondiagonalizable Operators

Nonlinearities in finite dimensions can be linearized by projecting them into infinite dimensions. Unfortunately, often the linear operator techniques that one would then use simply fail since the operators cannot be diagonalized. This curse is well known. It also occurs for finite-dimensional linear operators. We circumvent it by developing a meromorphic functional calculus that can decompose arbitrary functions of nondiagonalizable linear operators in terms of their eigenvalues and projection operators. It extends the spectral theorem of normal operators to a much wider class, including circumstances in which poles and zeros of the function coincide with the operator spectrum. By allowing the direct manipulation of individual eigenspaces of nonnormal and nondiagonalizable operators, the new theory avoids spurious divergences. As such, it yields novel insights and closed-form expressions across several areas of physics in which nondiagonalizable dynamics are relevant, including memoryful stochastic processes, open non unitary quantum systems, and far-from-equilibrium thermodynamics. The technical contributions include the first full treatment of arbitrary powers of an operator. In particular, we show that the Drazin inverse, previously only defined axiomatically, can be derived as the negative-one power of singular operators within the meromorphic functional calculus and we give a general method to construct it. We provide new formulae for constructing projection operators and delineate the relations between projection operators, eigenvectors, and generalized eigenvectors. By way of illustrating its application, we explore several, rather distinct examples.Comment: 29 pages, 4 figures, expanded historical citations; http://csc.ucdavis.edu/~cmg/compmech/pubs/bst.ht

Characterization of the Crab Pulsar's Timing Noise

We present a power spectral analysis of the Crab pulsar's timing noise, mainly using radio measurements from Jodrell Bank taken over the period 1982-1989. The power spectral analysis is complicated by nonuniform data sampling and the presence of a steep red power spectrum that can distort power spectra measurement by causing severe power ``leakage''. We develop a simple windowing method for computing red noise power spectra of uniformly sampled data sets and test it on Monte Carlo generated sample realizations of red power-law noise. We generalize time-domain methods of generating power-law red noise with even integer spectral indices to the case of noninteger spectral indices. The Jodrell Bank pulse phase residuals are dense and smooth enough that an interpolation onto a uniform time series is possible. A windowed power spectrum is computed revealing a periodic or nearly periodic component with a period of about 568 days and a 1/f^3 power-law noise component with a noise strength of 1.24 +/- 0.067 10^{-16} cycles^2/sec^2 over the analysis frequency range 0.003 - 0.1 cycles/day. This result deviates from past analyses which characterized the pulse phase timing residuals as either 1/f^4 power-law noise or a quasiperiodic process. The analysis was checked using the Deeter polynomial method of power spectrum estimation that was developed for the case of nonuniform sampling, but has lower spectral resolution. The timing noise is consistent with a torque noise spectrum rising with analysis frequency as f implying blue torque noise, a result not predicted by current models of pulsar timing noise. If the periodic or nearly periodic component is due to a binary companion, we find a companion mass > 3.2 Earth masses.Comment: 53 pages, 9 figures, submitted to MNRAS, abstract condense