Quantum algorithm for tree size estimation, with applications to backtracking and 2-player games

We study quantum algorithms on search trees of unknown structure, in a model where the tree can be discovered by local exploration. That is, we are given the root of the tree and access to a black box which, given a vertex $v$, outputs the children of $v$. We construct a quantum algorithm which, given such access to a search tree of depth at most $n$, estimates the size of the tree $T$ within a factor of $1\pm \delta$ in $\tilde{O}(\sqrt{nT})$ steps. More generally, the same algorithm can be used to estimate size of directed acyclic graphs (DAGs) in a similar model. We then show two applications of this result: a) We show how to transform a classical backtracking search algorithm which examines $T$ nodes of a search tree into an $\tilde{O}(\sqrt{T}n^{3/2})$ time quantum algorithm, improving over an earlier quantum backtracking algorithm of Montanaro (arXiv:1509.02374). b) We give a quantum algorithm for evaluating AND-OR formulas in a model where the formula can be discovered by local exploration (modeling position trees in 2-player games). We show that, in this setting, formulas of size $T$ and depth $T^{o(1)}$ can be evaluated in quantum time $O(T^{1/2+o(1)})$. Thus, the quantum speedup is essentially the same as in the case when the formula is known in advance.Comment: Fixed some typo

Vanishing cycles and mutation

This is the writeup of a talk given at the European Congress of Mathematics, Barcelona. It considers Picard-Lefschetz theory from the Floer cohomology viewpoint.Comment: 20 pages, LaTeX2e. TeXnical problem should now be fixed, so that the images will appear even if you download the .ps fil

Symplectic structure free Chern-Simons Theory

The second class constraints algebra of the abelian Chern-Simons theory is rigorously studied in terms of the Hamiltonian embedding in order to obtain the first class constraint system. The symplectic structure of fields due to the second class constraints disappears in the resulting system. Then we obtain a new type of Chern-Simons action which has an infinite set of the irreducible first class constraints and exhibits new extended local gauge symmetries implemented by these first class constraints.Comment: 12 pages, LaTex, no figure

QSD IV : 2+1 Euclidean Quantum Gravity as a model to test 3+1 Lorentzian Quantum Gravity

The quantization of Lorentzian or Euclidean 2+1 gravity by canonical methods is a well-studied problem. However, the constraints of 2+1 gravity are those of a topological field theory and therefore resemble very little those of the corresponding Lorentzian 3+1 constraints. In this paper we canonically quantize Euclidean 2+1 gravity for arbitrary genus of the spacelike hypersurface with new, classically equivalent constraints that maximally probe the Lorentzian 3+1 situation. We choose the signature to be Euclidean because this implies that the gauge group is, as in the 3+1 case, SU(2) rather than SU(1,1). We employ, and carry out to full completion, the new quantization method introduced in preceding papers of this series which resulted in a finite 3+1 Lorentzian quantum field theory for gravity. The space of solutions to all constraints turns out to be much larger than the one as obtained by traditional approaches, however, it is fully included. Thus, by suitable restriction of the solution space, we can recover all former results which gives confidence in the new quantization methods. The meaning of the remaining "spurious solutions" is discussed.Comment: 35p, LATE

The Beurling--Malliavin Multiplier Theorem and its analogs for the de Branges spaces

Let $\omega$ be a non-negative function on $\mathbb{R}$. We are looking for a non-zero $f$ from a given space of entire functions $X$ satisfying $$(a) \quad|f|\leq \omega\text{\quad or\quad(b)}\quad |f|\asymp\omega.$$ The classical Beurling--Malliavin Multiplier Theorem corresponds to $(a)$ and the classical Paley--Wiener space as $X$. We survey recent results for the case when $X$ is a de Branges space \he. Numerous answers mainly depend on the behaviour of the phase function of the generating function $E$.Comment: Survey, 25 page

Sigma-model for Generalized Composite p-branes

A multidimensional gravitational model containing several dilatonic scalar fields and antisymmetric forms is considered. The manifold is chosen in the form M = M_0 x M_1 x ... x M_n, where M_i are Einstein spaces (i > 0). The block-diagonal metric is chosen and all fields and scale factors of the metric are functions on M_0. For the forms composite (electro-magnetic) p-brane ansatz is adopted. The model is reduced to gravitating self-interacting sigma-model with certain constraints. In pure electric and magnetic cases the number of these constraints is m(m - 1)/2 where m is number of 1-dimensional manifolds among M_i. In the "electro-magnetic" case for dim M_0 = 1, 3 additional m constraints appear. A family of "Majumdar-Papapetrou type" solutions governed by a set of harmonic functions is obtained, when all factor-spaces M_k are Ricci-flat. These solutions are generalized to the case of non-Ricci-flat M_0 when also some additional "internal" Einstein spaces of non-zero curvature are added to M. As an example exact solutions for D = 11 supergravity and related 12-dimensional theory are presented.Comment: 33 pages, Latex. Some corrections and rearrangements are mad

Neutron Halo Isomers in Stable Nuclei and their Possible Application for the Production of Low Energy, Pulsed, Polarized Neutron Beams of High Intensity and High Brilliance

We propose to search for neutron halo isomers populated via $\gamma$-capture in stable nuclei with mass numbers of about A=140-180 or A=40-60, where the $4s_{1/2}$ or $3s_{1/2}$ neutron shell model state reaches zero binding energy. These halo nuclei can be produced for the first time with new $\gamma$-beams of high intensity and small band width ($\le$ 0.1%) achievable via Compton back-scattering off brilliant electron beams thus offering a promising perspective to selectively populate these isomers with small separation energies of 1 eV to a few keV. Similar to single-neutron halo states for very light, extremely neutron-rich, radioactive nuclei \cite{hansen95,tanihata96,aumann00}, the low neutron separation energy and short-range nuclear force allows the neutron to tunnel far out into free space much beyond the nuclear core radius. This results in prolonged half lives of the isomers for the $\gamma$-decay back to the ground state in the 100 ps-$\mu$s range. Similar to the treatment of photodisintegration of the deuteron, the neutron release from the neutron halo isomer via a second, low-energy, intense photon beam has a known much larger cross section with a typical energy threshold behavior. In the second step, the neutrons can be released as a low-energy, pulsed, polarized neutron beam of high intensity and high brilliance, possibly being much superior to presently existing beams from reactors or spallation neutron sources.Comment: accepted for publication in Applied Physics

Two-Loop Diagrammatics in a Self-Dual Background

Diagrammatic rules are developed for simplifying two-loop QED diagrams with propagators in a constant self-dual background field. This diagrammatic analysis, using dimensional regularization, is used to explain how the fully renormalized two-loop Euler-Heisenberg effective Lagrangian for QED in a self-dual background field is naturally expressed in terms of one-loop diagrams. The connection between the two-loop and one-loop vacuum diagrams in a background field parallels a corresponding connection for free vacuum diagrams, without a background field, which can be derived by simple algebraic manipulations. It also mirrors similar behavior recently found for two-loop amplitudes in N=4 SUSY Yang-Mills theory.Comment: 16 pp, Latex, Axodra