We study various orders on countably complete ultrafilters on ordinals that coincide and are wellorders under a hypothesis called the Ultrapower Axiom. Our main focus is on the relationship between the Ultrapower Axiom and the linearity of these orders.

Gabriel Goldberg

Let $N(L)$ be the number of eigenvalues, in an interval of length $L$, of a matrix chosen at random from the Gaussian Orthogonal, Unitary or Symplectic ensembles of ${\cal N}$ by ${\cal N}$ matrices, in the limit ${\cal N}\rightarrow\infty$. We prove that $[N(L) - \langle N(L)\rangle]/\sqrt{\log L}$ has a Gaussian distribution when $L\rightarrow\infty$. This theorem, which requires control of all the higher moments of the distribution, elucidates numerical and exact results on chaotic quantum systems and on the statistics of zeros of the Riemann zeta function. \noindent PACS nos. 05.45.+b, 03.65.-w

Ovidiu Costin Joel L. Lebowitz

The dual variety X* for a smooth n-dimensional variety X of the projective space P^N is the set of tangent hyperplanes to X. In the general case, the variety X* is a hypersurface in the dual space (P^N)*. If dim X* < N - 1, then the variety X is called dually degenerate. The authors refine these definitions for a variety X \subset P^N with a degenerate Gauss map of rank r. For such a variety, in the general case, the dimension of its dual variety X* is N - l - 1, where l = n - r, and X is dually degenerate if dim X* < N - l - 1. In 1979 Griffiths and Harris proved that a smooth variety X \subset P^N is dually degenerate if and only if all its second fundamental forms are singular. The authors generalize this theorem for a variety X \subset P^N with a degenerate Gauss map of rank r.

Maks A. Akivis Vladislav V. Goldberg

This paper establishes a number of constraints on the structure of large cardinals under strong compactness assumptions. These constraints coincide with those imposed by the Ultrapower Axiom, a principle that is expected to hold in Woodin's hypothesized Ultimate \(L\), providing some evidence for the Ultimate \(L\) Conjecture. We show that every regular cardinal above the first strongly compact that carries an indecomposable ultrafilter is measurable, answering a question of Silver for large enough cardinals. We show that any successor almost strongly compact cardinal of uncountable cofinality is strongly compact, making progress on a question of Boney, Unger, and Brooke-Taylor. We show that if there is a proper class of strongly compact cardinals then there is no nontrivial cardinal preserving elementary embedding from the universe of sets into an inner model, answering a question of Caicedo granting large cardinals. Finally, we show that if \(\kappa\) is strongly compact, then \(V\) is a set forcing extension of the inner model \(\kappa\text{-HOD}\) consisting of sets that are hereditarily ordinal definable from a \(\kappa\)-complete ultrafilter over an ordinal; \(\kappa\text{-HOD}\) seems to be the first nontrivial example of a ground of \(V\) whose definition does not involve forcing.

Gabriel Goldberg

The quantum Cram\'er-Rao bound for the joint estimation of the centroid and the separation between two incoherent point sources cannot be saturated. As such, the optimal measurements for extracting maximal information about both at the same time are not known. In this work, we ascertain these optimal measurements for an arbitrary point spread function, in the most relevant regime of a small separation between the sources. Our measurement can be adjusted within a set of tradeoffs, allowing more information to be extracted from the separation or the centroid while ensuring that the total information is the maximum possible.

J. Řeháček J. L. Romero A. Z. Goldberg Z. Hradil L. L. Sánchez-Soto

We present an algorithm for the Single Source Shortest Paths (SSSP) problem in \emph{$H$-minor free} graphs. For every fixed $H$, if $G$ is a graph with $n$ vertices having integer edge lengths and $s$ is a designated source vertex of $G$, the algorithm runs in $\tilde{O}(n^{\sqrt{11.5}-2} \log L) \le O(n^{1.392} \log L)$ time, where $L$ is the absolute value of the smallest edge length. The algorithm computes shortest paths and the distances from $s$ to all vertices of the graph, or else provides a certificate that $G$ is not $H$-minor free. Our result improves an earlier $O(n^{1.5} \log L)$ time algorithm for this problem, which follows from a general SSSP algorithm of Goldberg.

Raphael Yuster

Majorana stars, the $2S$ spin coherent states that are orthogonal to a spin-$S$ state, offer an elegant method to visualize quantum states, disclosing their intrinsic symmetries. These states are naturally described by the corresponding multipoles. These quantities can be experimentally determined and allow for an SU(2)-invariant analysis. We investigate the relationship between Majorana constellations and state multipoles, thus providing insights into the underlying symmetries of the system. We illustrate our approach with some relevant and informative examples.

J. L. Romero A. B. Klimov A. Z. Goldberg G. Leuchs L. L. Sanchez-Soto

The Goldberg-Sachs theorem has been very useful in constructing algebraically special exact solutions of Einstein vacuum equation. Most of the physical meaningful vacuum exact solutions are algebraically special. We show that the Goldberg-Sachs theorem is not true in linearized gravity. This is a remarkable result, which gives light on the understanding of the physical meaning of the linearized solutions.

S. Dain O. M. Moreschi

Denote by g the Gauss measure on R^n and by L the Ornstein-Uhlenbeck operator. In this paper we introduce a local Hardy space h^1(g) of Goldberg type and we compare it with the Hardy space H^1(g) introduced in a previous paper by Mauceri and Meda. We show that for each each positive r the imaginary powers of the operator rI+L are unbounded from h^1(g) to L^1(g). This result is in sharp contrast both with the fact that the imaginary powers are bounded from $H^1(g}$ to L^1(g), and with the fact that for the Euclidean laplacian \Delta and the Lebesgue measure \lambda) the imaginary powers of rI-\Delta are bounded from the Goldberg space h^1(\lambda) to L^1(\lambda). We consider also the case of Riemannian manifolds M with Riemannian measure m. We prove that, under certain geometric assumptions on M, an operator T, bounded on L^2(m), and with a kernel satisfying certain analytic assumptions, is bounded from H^1(m) to L^1(m) if and only if it is bounded from h^1(m) to L^1(m). Here H^1(m) denotes the Hardy space on locally doubling metric measure spaces introduced by the authors in arXiv:0808.0146, and h^1(m) is a Goldberg type Hardy space on M, equivalent to a space recently introduced by M. Taylor. The case of translation invariant operators on homogeneous trees is also considered.

A. Carbonaro G. Mauceri S. Meda

Quantum Fisher information matrices (QFIMs) are fundamental to estimation theory: they encode the ultimate limit for the sensitivity with which a set of parameters can be estimated using a given probe. Since the limit invokes the inverse of a QFIM, an immediate question is what to do with singular QFIMs. Moreover, the QFIM may be discontinuous, forcing one away from the paradigm of regular statistical models. These questions of nonregular quantum statistical models are present in both single- and multiparameter estimation. Geometrically, singular QFIMs occur when the curvature of the metric vanishes in one or more directions in the space of probability distributions, while QFIMs have discontinuities when the density matrix has parameter-dependent rank. We present a nuanced discussion of how to deal with each of these scenarios, stressing the physical implications of singular QFIMs and the ensuing ramifications for quantum metrology.

Aaron Z. Goldberg José L. Romero Ángel S. Sanz Luis L. Sánchez-Soto