Showing 1–50 of 144 results for author: Hoyer, P

From Screen to Space: Evaluating Siemens' Cinematic Reality

Authors: Gijs Luijten, Lisle Faray de Paiva, Sebastian Krueger, Alexander Brost, Laura Mazilescu, Ana Sofia Ferreira Santos, Peter Hoyer, Jens Kleesiek, Sophia Marie-Therese Schmitz, Ulf Peter Neumann, Jan Egger

Abstract: As one of the first research teams with full access to Siemens' Cinematic Reality, we evaluate its usability and clinical potential for cinematic volume rendering on the Apple Vision Pro. We visualized venous-phase liver computed tomography and magnetic resonance cholangiopancreatography scans from the CHAOS and MRCP\_DLRecon datasets. Fourteen medical experts assessed usability and anticipated cl… ▽ More As one of the first research teams with full access to Siemens' Cinematic Reality, we evaluate its usability and clinical potential for cinematic volume rendering on the Apple Vision Pro. We visualized venous-phase liver computed tomography and magnetic resonance cholangiopancreatography scans from the CHAOS and MRCP\_DLRecon datasets. Fourteen medical experts assessed usability and anticipated clinical integration potential using the System Usability Scale, ISONORM 9242-110-S questionnaire, and an open-ended survey. Their feedback identified feasibility, key usability strengths, and required features to catalyze the adaptation in real-world clinical workflows. The findings provide insights into the potential of immersive cinematic rendering in medical imaging. △ Less

Submitted 5 June, 2025; originally announced June 2025.

Comments: 16 pages

't Hooft model in the temporal gauge

Authors: Paul Hoyer

Abstract: I consider QCD$_2$ in the $N_c \to \infty$ limit at fixed $g^2N_c$. The derivation starts from equal-time $q\bar q$ bound states in coordinate space and temporal ($A^0=0$) gauge, avoiding the use of quark and gluon propagators. The wave function is given analytically by a $_1F_1$ function with an explicit frame dependence. In the infinite momentum frame the Fourier transformed wave function satisf… ▽ More I consider QCD$_2$ in the $N_c \to \infty$ limit at fixed $g^2N_c$. The derivation starts from equal-time $q\bar q$ bound states in coordinate space and temporal ($A^0=0$) gauge, avoiding the use of quark and gluon propagators. The wave function is given analytically by a $_1F_1$ function with an explicit frame dependence. In the infinite momentum frame the Fourier transformed wave function satisfies the 't~Hooft equation, however with contributions also from quarks with negative kinetic energy. Such contributions are present also in the rest frame, and do not vanish under boosts. △ Less

Submitted 22 April, 2025; v1 submitted 30 January, 2025; originally announced January 2025.

Comments: 19 pages, 1 figure

Journal ref: Phys. Rev. D 111 (2025) 074021

Bound state basics

Authors: Paul Hoyer

Abstract: Perturbative expansions for atoms in QED are developed around interacting states, typically defined by the Schrödinger equation. Calculations are nevertheless done using the standard Feynman diagram expansion around free states. The classical $-α/r$ potential is then obtained through an infinite sum of ladder diagrams. The complexity of this approach may have contributed to bound states being omit… ▽ More Perturbative expansions for atoms in QED are developed around interacting states, typically defined by the Schrödinger equation. Calculations are nevertheless done using the standard Feynman diagram expansion around free states. The classical $-α/r$ potential is then obtained through an infinite sum of ladder diagrams. The complexity of this approach may have contributed to bound states being omitted from QFT textbooks, restricting the field to select experts. The confinement scale 1 fm of QCD must be introduced without changing the Lagrangian. This can be done via a boundary condition on the gauge field, which affects the bound state potential. The absence of confinement in Feynman diagrams may be due to the free field boundary condition. Poincaré invariance is realized dynamically for bound states, i.e., the interactions are frame dependent. Gauge theories have instantaneous interactions, due to gauge fixing at all points of space at the same time. In bound state perturbation theory each order must have exact Poincaré invariance. This is non-trivial even for atoms at lowest order. I summarize a perturbative approach to equal time bound states in QED and QCD, using a Fock expansion in temporal ($A^0=0$) gauge. The longitudinal electric field $E_L$ is instantaneous and need not vanish at spatial infinity for the constituents of color singlet states in QCD. Poincaré covariance determines the boundary condition for $E_L$ up to a universal scale, characterised by the gluon field energy density of the vacuum. A non-vanishing density contributes a linear term to the $q\bar{q}$ potential, while $qqq,\ q\bar{q}g$ and $gg$ color singlet states get analogous confining potentials. △ Less

Submitted 9 September, 2024; originally announced September 2024.

Comments: 6 pages. Talk at the 42nd International Conference on High Energy Physics (ICHEP2024), 18-24 July 2024 in Prague, Czech Republic

MedShapeNet -- A Large-Scale Dataset of 3D Medical Shapes for Computer Vision

Authors: Jianning Li, Zongwei Zhou, Jiancheng Yang, Antonio Pepe, Christina Gsaxner, Gijs Luijten, Chongyu Qu, Tiezheng Zhang, Xiaoxi Chen, Wenxuan Li, Marek Wodzinski, Paul Friedrich, Kangxian Xie, Yuan Jin, Narmada Ambigapathy, Enrico Nasca, Naida Solak, Gian Marco Melito, Viet Duc Vu, Afaque R. Memon, Christopher Schlachta, Sandrine De Ribaupierre, Rajnikant Patel, Roy Eagleson, Xiaojun Chen , et al. (132 additional authors not shown)

Abstract: Prior to the deep learning era, shape was commonly used to describe the objects. Nowadays, state-of-the-art (SOTA) algorithms in medical imaging are predominantly diverging from computer vision, where voxel grids, meshes, point clouds, and implicit surface models are used. This is seen from numerous shape-related publications in premier vision conferences as well as the growing popularity of Shape… ▽ More Prior to the deep learning era, shape was commonly used to describe the objects. Nowadays, state-of-the-art (SOTA) algorithms in medical imaging are predominantly diverging from computer vision, where voxel grids, meshes, point clouds, and implicit surface models are used. This is seen from numerous shape-related publications in premier vision conferences as well as the growing popularity of ShapeNet (about 51,300 models) and Princeton ModelNet (127,915 models). For the medical domain, we present a large collection of anatomical shapes (e.g., bones, organs, vessels) and 3D models of surgical instrument, called MedShapeNet, created to facilitate the translation of data-driven vision algorithms to medical applications and to adapt SOTA vision algorithms to medical problems. As a unique feature, we directly model the majority of shapes on the imaging data of real patients. As of today, MedShapeNet includes 23 dataset with more than 100,000 shapes that are paired with annotations (ground truth). Our data is freely accessible via a web interface and a Python application programming interface (API) and can be used for discriminative, reconstructive, and variational benchmarks as well as various applications in virtual, augmented, or mixed reality, and 3D printing. Exemplary, we present use cases in the fields of classification of brain tumors, facial and skull reconstructions, multi-class anatomy completion, education, and 3D printing. In future, we will extend the data and improve the interfaces. The project pages are: https://medshapenet.ikim.nrw/ and https://github.com/Jianningli/medshapenet-feedback △ Less

Submitted 12 December, 2023; v1 submitted 30 August, 2023; originally announced August 2023.

Comments: 16 pages

MSC Class: 68T01

Strong Interaction Physics at the Luminosity Frontier with 22 GeV Electrons at Jefferson Lab

Authors: A. Accardi, P. Achenbach, D. Adhikari, A. Afanasev, C. S. Akondi, N. Akopov, M. Albaladejo, H. Albataineh, M. Albrecht, B. Almeida-Zamora, M. Amaryan, D. Androić, W. Armstrong, D. S. Armstrong, M. Arratia, J. Arrington, A. Asaturyan, A. Austregesilo, H. Avagyan, T. Averett, C. Ayerbe Gayoso, A. Bacchetta, A. B. Balantekin, N. Baltzell, L. Barion , et al. (419 additional authors not shown)

Abstract: This document presents the initial scientific case for upgrading the Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab (JLab) to 22 GeV. It is the result of a community effort, incorporating insights from a series of workshops conducted between March 2022 and April 2023. With a track record of over 25 years in delivering the world's most intense and precise multi-GeV electron… ▽ More This document presents the initial scientific case for upgrading the Continuous Electron Beam Accelerator Facility (CEBAF) at Jefferson Lab (JLab) to 22 GeV. It is the result of a community effort, incorporating insights from a series of workshops conducted between March 2022 and April 2023. With a track record of over 25 years in delivering the world's most intense and precise multi-GeV electron beams, CEBAF's potential for a higher energy upgrade presents a unique opportunity for an innovative nuclear physics program, which seamlessly integrates a rich historical background with a promising future. The proposed physics program encompass a diverse range of investigations centered around the nonperturbative dynamics inherent in hadron structure and the exploration of strongly interacting systems. It builds upon the exceptional capabilities of CEBAF in high-luminosity operations, the availability of existing or planned Hall equipment, and recent advancements in accelerator technology. The proposed program cover various scientific topics, including Hadron Spectroscopy, Partonic Structure and Spin, Hadronization and Transverse Momentum, Spatial Structure, Mechanical Properties, Form Factors and Emergent Hadron Mass, Hadron-Quark Transition, and Nuclear Dynamics at Extreme Conditions, as well as QCD Confinement and Fundamental Symmetries. Each topic highlights the key measurements achievable at a 22 GeV CEBAF accelerator. Furthermore, this document outlines the significant physics outcomes and unique aspects of these programs that distinguish them from other existing or planned facilities. In summary, this document provides an exciting rationale for the energy upgrade of CEBAF to 22 GeV, outlining the transformative scientific potential that lies within reach, and the remarkable opportunities it offers for advancing our understanding of hadron physics and related fundamental phenomena. △ Less

Submitted 24 August, 2023; v1 submitted 13 June, 2023; originally announced June 2023.

Comments: Updates to the list of authors; Preprint number changed from theory to experiment; Updates to sections 4 and 6, including additional figures

Report number: JLAB-PHY-23-3840

QCD bound states in motion

Authors: Paul Hoyer

Abstract: I consider the frame dependence of QCD bound states in the presence of a confining, spatially constant gluon field energy density. The states are quantized at equal time in $A^0=0$ (temporal) gauge. I derive the frame dependence of the wave functions, and demonstrate the Lorentz covariance of the electromagnetic (transition) form factors for states of any spin. The wave functions of… ▽ More I consider the frame dependence of QCD bound states in the presence of a confining, spatially constant gluon field energy density. The states are quantized at equal time in $A^0=0$ (temporal) gauge. I derive the frame dependence of the wave functions, and demonstrate the Lorentz covariance of the electromagnetic (transition) form factors for states of any spin. The wave functions of $J^{PC}=0^{-+}$ states with CM momentum $P \neq 0$ are considered in some detail, verifying their local normalizability and the expected frame dependence of the bound state energy. △ Less

Submitted 8 August, 2023; v1 submitted 24 April, 2023; originally announced April 2023.

Comments: 20 pages, 1 figure. Some clarifications added. Version to be published in Phys. Rev. D

Spatial Search via Memoryless Walk with Selfloop

Authors: Peter Høyer, Janet Leahy

Abstract: The defining feature of memoryless quantum walks is that they operate on the vertex space of a graph, and therefore can be used to produce search algorithms with minimal memory. We present a memoryless walk that can find a unique marked vertex on a two-dimensional grid. Our walk is based on the construction proposed by Falk, which tessellates the grid with squares of size $2 \times 2$. Our walk us… ▽ More The defining feature of memoryless quantum walks is that they operate on the vertex space of a graph, and therefore can be used to produce search algorithms with minimal memory. We present a memoryless walk that can find a unique marked vertex on a two-dimensional grid. Our walk is based on the construction proposed by Falk, which tessellates the grid with squares of size $2 \times 2$. Our walk uses minimal memory, $O(\sqrt{N \log N})$ applications of the walk operator, and outputs the marked vertex with vanishing error probability. To accomplish this, we apply a selfloop to the marked vertex - a technique we adapt from interpolated walks. We prove that with our explicit choice of selfloop weight, this forces the action of the walk asymptotically into a single rotational space. We characterize this space and as a result, show that our memoryless walk produces the marked vertex with a success probability asymptotically approaching one. △ Less

Submitted 19 April, 2022; originally announced April 2022.

Comments: 35 pages, 1 figure

Tight Bound for Estimating Expectation Values from a System of Linear Equations

Authors: Abhijeet Alase, Robert R. Nerem, Mohsen Bagherimehrab, Peter Høyer, Barry C. Sanders

Abstract: The System of Linear Equations Problem (SLEP) is specified by a complex invertible matrix $A$, the condition number $κ$ of $A$, a vector $b$, a Hermitian matrix $M$ and an accuracy $ε$, and the task is to estimate $x^\dagger Mx$, where $x$ is the solution vector to the equation $Ax = b$. We aim to establish a lower bound on the complexity of the end-to-end quantum algorithms for SLEP with respect… ▽ More The System of Linear Equations Problem (SLEP) is specified by a complex invertible matrix $A$, the condition number $κ$ of $A$, a vector $b$, a Hermitian matrix $M$ and an accuracy $ε$, and the task is to estimate $x^\dagger Mx$, where $x$ is the solution vector to the equation $Ax = b$. We aim to establish a lower bound on the complexity of the end-to-end quantum algorithms for SLEP with respect to $ε$, and devise a quantum algorithm that saturates this bound. To make lower bounds attainable, we consider query complexity in the setting in which a block encoding of $M$ is given, i.e., a unitary black box $U_M$ that contains $M/α$ as a block for some $α\in \mathbb R^+$. We show that the quantum query complexity for SLEP in this setting is $Θ(α/ε)$. Our lower bound is established by reducing the problem of estimating the mean of a black box function to SLEP. Our $Θ(α/ε)$ result tightens and proves the common assertion of polynomial accuracy dependence (poly$(1/ε)$) for SLEP, and shows that improvement beyond linear dependence on accuracy is not possible if $M$ is provided via block encoding. △ Less

Submitted 3 September, 2022; v1 submitted 19 November, 2021; originally announced November 2021.

Comments: 24 pages

Journal ref: Phys. Rev. Research, Vol 4, page 023237, 2022

Hadrons as QCD Bound States

Authors: Paul Hoyer

Abstract: Bound state perturbation theory is well established for QED atoms. Today the hyperfine splitting of Positronium is known to $O(α^7\logα)$. Whereas standard expansions of scattering amplitudes start from free states, bound states are expanded around eigenstates of the Hamiltonian including a binding potential. The eigenstate wave functions have all powers of $α$, requiring a choice in the ordering… ▽ More Bound state perturbation theory is well established for QED atoms. Today the hyperfine splitting of Positronium is known to $O(α^7\logα)$. Whereas standard expansions of scattering amplitudes start from free states, bound states are expanded around eigenstates of the Hamiltonian including a binding potential. The eigenstate wave functions have all powers of $α$, requiring a choice in the ordering of the perturbative expansion. Temporal $(A^0=0)$ gauge permits an expansion starting from valence Fock states, bound by their instantaneous gauge field. This formulation is applicable in any frame and seems promising even for hadrons in QCD. The $O(α_s^0)$ confining potential is determined (up to a universal scale) by a homogeneous solution of Gauss' law. △ Less

Submitted 13 September, 2021; originally announced September 2021.

Comments: 7 pages, 1 figure. Talk at the (virtual) "Quark Confinement and the Hadron Spectrum 2021" conference on 2 -- 6 August 2021 in Stavanger, Norway

Journey to the Bound States

Authors: Paul Hoyer

Abstract: Guided by the observed properties of hadrons I formulate a perturbative bound state method for QED and QCD. The expansion starts with valence Fock states ($e^+e^-,\ q\bar q,\ qqq,\ gg$) bound by the instantaneous interaction of temporal gauge ($A^0=0$). The method is tested on Positronium atoms at rest and in motion, including hyperfine splitting at $O(α^4)$, electromagnetic form factors and deep… ▽ More Guided by the observed properties of hadrons I formulate a perturbative bound state method for QED and QCD. The expansion starts with valence Fock states ($e^+e^-,\ q\bar q,\ qqq,\ gg$) bound by the instantaneous interaction of temporal gauge ($A^0=0$). The method is tested on Positronium atoms at rest and in motion, including hyperfine splitting at $O(α^4)$, electromagnetic form factors and deep inelastic scattering. Relativistic binding is studied for QED in $D=1+1$ dimensions, demonstrating the frame independence of the DIS electron distribution and its sea for $x_{bj} \to 0$. In QCD a homogeneous solution of Gauss' constraint in $D=3+1$ implies $O(α_s^0)$ confining potentials for $q\bar q,\ q\bar qg,\ qqq$ and $gg$ states, whereas $q\bar q\,q\bar q$ is unconfined. Meson states lie on linear Regge trajectories and have the required frame dependence. A scalar bound state with vanishing four-momentum causes spontaneous chiral symmetry breaking when mixed with the vacuum. These lecture notes assume knowledge of field theory methods, but not of bound states. Brief reviews of existing bound state methods and Dirac electron states are included. Solutions to the exercises are given in the Appendix. △ Less

Submitted 8 May, 2021; v1 submitted 17 January, 2021; originally announced January 2021.

Comments: 105 pages, 22 figures. Expanded version of lectures presented at the University of Pavia in January 2020. v2 added chapter: II. Features of hadrons. Version accepted for publication in SpringerBriefs in Physics

Journal ref: SpringerBriefs in Physics (Springer, 2021)

The Role of Symmetry in Quantum Query-to-Communication Simulation

Authors: Sourav Chakraborty, Arkadev Chattopadhyay, Peter Høyer, Nikhil S. Mande, Manaswi Paraashar, Ronald de Wolf

Abstract: Buhrman, Cleve and Wigderson (STOC'98) showed that for every Boolean function f : {-1,1}^n to {-1,1} and G in {AND_2, XOR_2}, the bounded-error quantum communication complexity of the composed function f o G equals O(Q(f) log n), where Q(f) denotes the bounded-error quantum query complexity of f. This is achieved by Alice running the optimal quantum query algorithm for f, using a round of O(log n)… ▽ More Buhrman, Cleve and Wigderson (STOC'98) showed that for every Boolean function f : {-1,1}^n to {-1,1} and G in {AND_2, XOR_2}, the bounded-error quantum communication complexity of the composed function f o G equals O(Q(f) log n), where Q(f) denotes the bounded-error quantum query complexity of f. This is achieved by Alice running the optimal quantum query algorithm for f, using a round of O(log n) qubits of communication to implement each query. This is in contrast with the classical setting, where it is easy to show that R^{cc}(f o G) is at most 2R(f), where R^{cc} and R denote bounded-error communication and query complexity, respectively. We show that the O(log n) overhead is required for some functions in the quantum setting, and thus the BCW simulation is tight. We note here that prior to our work, the possibility of Q^{cc}(f o G) = O(Q(f)), for all f and all G in {AND_2, XOR_2}, had not been ruled out. More specifically, we show the following. - We show that the log n overhead is *not* required when f is symmetric, generalizing a result of Aaronson and Ambainis for the Set-Disjointness function (Theory of Computing'05). - In order to prove the above, we design an efficient distributed version of noisy amplitude amplification that allows us to prove the result when f is the OR function. - In view of our first result above, one may ask whether the log n overhead in the BCW simulation can be avoided even when f is transitive, which is a weaker notion of symmetry. We give a strong negative answer by showing that the log n overhead is still necessary for some transitive functions even when we allow the quantum communication protocol an error probability that can be arbitrarily close to 1/2. - We also give, among other things, a general recipe to construct functions for which the log n overhead is required in the BCW simulation in the bounded-error communication model. △ Less

Submitted 25 April, 2023; v1 submitted 9 December, 2020; originally announced December 2020.

Comments: 37 pages. This is a merger of two papers that appeared in CCC'20 (10.4230/LIPIcs.CCC.2020.32) and STACS'22 (10.4230/LIPIcs.STACS.2022.20)

Analysis of Lackadaisical Quantum Walks

Authors: Peter Høyer, Zhan Yu

Abstract: The lackadaisical quantum walk is a quantum analogue of the lazy random walk obtained by adding a self-loop to each vertex in the graph. We analytically prove that lackadaisical quantum walks can find a unique marked vertex on any regular locally arc-transitive graph with constant success probability quadratically faster than the hitting time. This result proves several speculations and numerical… ▽ More The lackadaisical quantum walk is a quantum analogue of the lazy random walk obtained by adding a self-loop to each vertex in the graph. We analytically prove that lackadaisical quantum walks can find a unique marked vertex on any regular locally arc-transitive graph with constant success probability quadratically faster than the hitting time. This result proves several speculations and numerical findings in previous work, including the conjectures that the lackadaisical quantum walk finds a unique marked vertex with constant success probability on the torus, cycle, Johnson graphs, and other classes of vertex-transitive graphs. Our proof establishes and uses a relationship between lackadaisical quantum walks and quantum interpolated walks for any locally arc-transitive graph. △ Less

Submitted 13 November, 2020; v1 submitted 25 February, 2020; originally announced February 2020.

Comments: 17 pages, 3 figures

Journal ref: Quantum Information and Computation, Vol. 20, No. 13-14 (2020) 1137-1152

Bound states and perturbation theory

Authors: Paul Hoyer

Abstract: A perturbative expansion for QED and QCD bound states is formulated in $A^0=0$ gauge. The constituents of each Fock state are bound by their instantaneous interaction. In QCD an O($α_s^0$) confining potential arises from a homogeneous solution of Gauss' constraint. The potential is uniquely determined by the QCD action, up to a universal scale. The Cornell potential is reproduced for quarkonia, an… ▽ More A perturbative expansion for QED and QCD bound states is formulated in $A^0=0$ gauge. The constituents of each Fock state are bound by their instantaneous interaction. In QCD an O($α_s^0$) confining potential arises from a homogeneous solution of Gauss' constraint. The potential is uniquely determined by the QCD action, up to a universal scale. The Cornell potential is reproduced for quarkonia, and corresponding ones found for higher Fock states, baryons and glueballs. △ Less

Submitted 17 November, 2019; originally announced November 2019.

Comments: 4 pages. Talk at Light Cone 2019, 16-20 September 2019, Ecole Polytechnique, Palaiseau, France

Bound states and QCD

Authors: Paul Hoyer

Abstract: The similarities of hadrons and atoms motivate a study of the principles of QED bound states and of their applicability to QCD. The power series in $α$ and $\logα$ of the binding energy is reflected in the Fock expansion of the bound state in temporal gauge ($A^0=0$). Gauss' constraint on physical states fixes the gauge for time independent transformations and determines the instantaneous interact… ▽ More The similarities of hadrons and atoms motivate a study of the principles of QED bound states and of their applicability to QCD. The power series in $α$ and $\logα$ of the binding energy is reflected in the Fock expansion of the bound state in temporal gauge ($A^0=0$). Gauss' constraint on physical states fixes the gauge for time independent transformations and determines the instantaneous interaction within each Fock state. Positronium atoms generate a classical (dipole) electric field, whereas there can be no color octet gluon field for color singlet hadrons. Hence the gluon field generated by each color component of a hadron need not vanish at spatial infinity. Gauss' constraint has a homogeneous solution with a single parameter $Λ$ that is compatible with Poincaré invariance. The corresponding potential is linear for $q\bar q$ and $gg$ Fock states, and confining also for other states ($q\bar qg,\,qqq$). This approach is consistent with the quarkonium phenomenology based on the Cornell potential at lowest order. The relativistic meson and glueball eigenstates of the QCD Hamiltonian with the $O(α_s^0)$ linear potential are determined. The states lie on linear Regge trajectories and their daughters. There are also massless bound states which allow to include a $J^{PC}=0^{++}$ condensate in the perturbative vacuum, thus breaking chiral symmetry spontaneously. △ Less

Submitted 18 February, 2019; v1 submitted 15 July, 2018; originally announced July 2018.

Comments: 34 pages, 5 figures. Added material to v1

The Born approximation for bound states

Authors: Paul Hoyer

Abstract: Bound states are stationary in time and interact continuously. Even a first approximation of atomic wave functions in QED requires contributions of all orders in α. Bound state perturbation theory depends on the choice of this first approximation, just as the Taylor expansion of an ordinary function depends on the expansion point. Considering the expansion to be not in $α$ but in $\hbar$, i.e., in… ▽ More Bound states are stationary in time and interact continuously. Even a first approximation of atomic wave functions in QED requires contributions of all orders in α. Bound state perturbation theory depends on the choice of this first approximation, just as the Taylor expansion of an ordinary function depends on the expansion point. Considering the expansion to be not in $α$ but in $\hbar$, i.e., in the number of loops, defines the perturbative expansion uniquely also for bound states. I show how the Schrödinger equation for Positronium with the classical potential $V(r)=-α/r$ corresponds to the Born, $O(\hbar^0)$ bound state approximation in QED. Standard perturbation theory is based on an expansion around $O(α^0)$ free states that have no overlap with bound states. Perturbing around bound states requires using interacting $in$ and $out$ states. For Born states the binding potential arises from a classical gauge field. In the absence of loops the QCD scale $Λ_{QCD}$ can originate from a boundary condition imposed on the solution of the classical gluon field equations. A perturbative expansion may be relevant even for hadrons, if their non-perturbative features such as confinement and chiral symmetry breaking are present already in the Born term. △ Less

Submitted 29 November, 2017; originally announced November 2017.

Comments: 4 pages. Based on a talk at the XVII International Conference on Hadron Spectroscopy and Structure -- Hadron2017 on 25-29 September, 2017 at the University of Salamanca, Salamanca, Spain

Provably secure key establishment against quantum adversaries

Authors: Aleksandrs Belovs, Gilles Brassard, Peter Hoyer, Marc Kaplan, Sophie Laplante, Louis Salvail

Abstract: At Crypto 2011, some of us had proposed a family of cryptographic protocols for key establishment capable of protecting quantum and classical legitimate parties unconditionally against a quantum eavesdropper in the query complexity model. Unfortunately, our security proofs were unsatisfactory from a cryptographically meaningful perspective because they were sound only in a worst-case scenario. Her… ▽ More At Crypto 2011, some of us had proposed a family of cryptographic protocols for key establishment capable of protecting quantum and classical legitimate parties unconditionally against a quantum eavesdropper in the query complexity model. Unfortunately, our security proofs were unsatisfactory from a cryptographically meaningful perspective because they were sound only in a worst-case scenario. Here, we extend our results and prove that for any e > 0, there is a classical protocol that allows the legitimate parties to establish a common key after O(N) expected queries to a random oracle, yet any quantum eavesdropper will have a vanishing probability of learning their key after O(N^{1.5-e}) queries to the same oracle. The vanishing probability applies to a typical run of the protocol. If we allow the legitimate parties to use a quantum computer as well, their advantage over the quantum eavesdropper becomes arbitrarily close to the quadratic advantage that classical legitimate parties enjoyed over classical eavesdroppers in the seminal 1974 work of Ralph Merkle. Along the way, we develop new tools to give lower bounds on the number of quantum queries required to distinguish two probability distributions. This method in itself could have multiple applications in cryptography. We use it here to study average-case quantum query complexity, for which we develop a new composition theorem of independent interest. △ Less

Submitted 28 April, 2017; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: 22 pages, no figures, fixes a problem with arXiv:1108.2316v2. Will appear in the Proceedings of the 12th Conference on Theory of Quantum Computation, Communication and Cryptography (TQC), Paris, June 2017. The only change in v2 is that there was a problem with the affiliations in v1

Journal ref: Proceedings of 12th Conference on Theory of Quantum Computation, Communication and Cryptography (TQC), Paris, June 2017

Born Level Bound States

Authors: Paul Hoyer

Abstract: Bound state poles in the $S$-matrix of perturbative QED are generated by the {\em divergence} of the expansion in $α$. The perturbative corrections are necessarily singular when expanding around free, \order{α^0} $in$ and $out$ states that have no overlap with finite-sized atomic wave functions. Nevertheless, measurables such as binding energies do have well-behaved expansions in powers of $α$ (an… ▽ More Bound state poles in the $S$-matrix of perturbative QED are generated by the {\em divergence} of the expansion in $α$. The perturbative corrections are necessarily singular when expanding around free, \order{α^0} $in$ and $out$ states that have no overlap with finite-sized atomic wave functions. Nevertheless, measurables such as binding energies do have well-behaved expansions in powers of $α$ (and $\logα$). It is desirable to formulate the concept of "lowest order" for gauge theory bound states such that higher order corrections vanish in the $α\to 0$ limit. This may allow to determine a lowest order term for QCD hadrons which incorporates essential features such as confinement and chiral symmetry breaking, and thus can serve as the starting point of a useful perturbative expansion. I discuss a "Born" (no loop, lowest order in $\hbar$) approximation. Born level states are bound by gauge fields which satisfy the classical field equations. Gauss' law determines a distinct field $A^0(\xv)$ for each instantaneous position of the charges. A Poincaré covariant boundary condition for the gluon field leads to a confining potential for $q\bar q$ and $qqq$ states. In frames where the bound state is in motion the classical gauge field is obtained by a Lorentz boost of the rest frame field. △ Less

Submitted 1 April, 2017; v1 submitted 30 December, 2016; originally announced December 2016.

Comments: 6 pages. Talk presented at the Light Cone 2016 Conference, 5-8 September 2016 in Lisbon, Portugal. Minor changes. Version to be published in Few-Body Systems

Efficient quantum walk on the grid with multiple marked elements

Authors: Peter Hoyer, Mojtaba Komeili

Abstract: We give a quantum algorithm for finding a marked element on the grid when there are multiple marked elements. Our algorithm uses quadratically fewer steps than a random walk on the grid, ignoring logarithmic factors. This is the first known quantum walk that finds a marked element in a number of steps less than the square-root of the extended hitting time. We also give a new tighter upper bound on… ▽ More We give a quantum algorithm for finding a marked element on the grid when there are multiple marked elements. Our algorithm uses quadratically fewer steps than a random walk on the grid, ignoring logarithmic factors. This is the first known quantum walk that finds a marked element in a number of steps less than the square-root of the extended hitting time. We also give a new tighter upper bound on the extended hitting time of a marked subset, expressed in terms of the hitting times of its members. △ Less

Submitted 28 December, 2016; originally announced December 2016.

Comments: 18 pages, to appear in STACS 2017, the 34th International Symposium on Theoretical Aspects of Computer Science

ACM Class: F.1.2; F.2.2; G.2.2

Journal ref: 34th Symposium on Theoretical Aspects of Computer Science (STACS), vol 66 of LIPIcs, pp. 42:1-42:14, 2017

Contextuality in multipartite pseudo-telepathy graph games

Authors: Anurag Anshu, Peter Hoyer, Mehdi Mhalla, Simon Perdrix

Abstract: Analyzing pseudo-telepathy graph games, we propose a way to build contextuality scenarios exhibiting the quantum supremacy using graph states. We consider the combinatorial structures that generate equivalent scenarios. We introduce a new tool called multipartiteness width to investigate which scenarios are harder to decompose and show that there exist graphs generating scenarios with a linear mul… ▽ More Analyzing pseudo-telepathy graph games, we propose a way to build contextuality scenarios exhibiting the quantum supremacy using graph states. We consider the combinatorial structures that generate equivalent scenarios. We introduce a new tool called multipartiteness width to investigate which scenarios are harder to decompose and show that there exist graphs generating scenarios with a linear multipartiteness width. △ Less

Submitted 24 June, 2017; v1 submitted 30 September, 2016; originally announced September 2016.

Journal ref: Journal of Computer and System Sciences, Vol 107, Feb 2020, Pp 156-165

Lectures on Bound states

Authors: Paul Hoyer

Abstract: Even a first approximation of bound states requires contributions of all powers in the coupling. This means that the concept of "lowest order bound state" needs to be defined. In these lectures I discuss the "Born" (no loop, lowest order in $\hbar$) approximation. Born level states are bound by gauge fields which satisfy the classical field equations. As a check of the method, Positronium states… ▽ More Even a first approximation of bound states requires contributions of all powers in the coupling. This means that the concept of "lowest order bound state" needs to be defined. In these lectures I discuss the "Born" (no loop, lowest order in $\hbar$) approximation. Born level states are bound by gauge fields which satisfy the classical field equations. As a check of the method, Positronium states of any momentum are determined as eigenstates of the QED Hamiltonian, quantized at equal time. Analogously, states bound by a strong external field $A^μ(\boldsymbol{x})$ are found as eigenstates of the Dirac Hamiltonian. Their Fock states have dynamically created $e^+e^-$ pairs, whose distribution is determined by the Dirac wave function. The linear potential of $D=1+1$ dimensions confines electrons but repels positrons. As a result, the mass spectrum is continuous and the wave functions have features of both bound states and plane waves. The classical solutions of Gauss' law are explored for hadrons in QCD. A non-vanishing boundary condition at spatial infinity generates a constant \order{α_s^0} color electric field between quarks of specific colors. Poincaré invariance limits the spectrum to color singlet $q\bar q$ and $qqq$ states, which do not generate an external color field. This restricts the \order{α_s^0} interactions between hadrons to string breaking dynamics as in dual diagrams. Light mesons lie on linear Regge and parallel daughter trajectories. There are massless states which may be significant for chiral symmetry breaking. Since the bound states are defined at equal time in all frames they have a non-trivial Lorentz covariance. △ Less

Submitted 5 May, 2016; originally announced May 2016.

Comments: Based on lectures presented during 2014-15 at NIKHEF, Amsterdam; IPhT Saclay; CP$^3$, Odense; GSI, Darmstadt; Bloomington, IN and Subatech, Nantes. 59 pages, 21 figures

Confinement with Perturbation Theory, after All?

Authors: Paul Hoyer

Abstract: I call attention to the possibility that QCD bound states (hadrons) could be derived using rigorous Hamiltonian, perturbative methods. Solving Gauss' law for $A^0$ with a non-vanishing boundary condition at spatial infinity gives an \order{α_s^0} linear potential for color singlet $q\bar q$ and $qqq$ states. These states are Poincaré and gauge covariant and thus can serve as initial states of a pe… ▽ More I call attention to the possibility that QCD bound states (hadrons) could be derived using rigorous Hamiltonian, perturbative methods. Solving Gauss' law for $A^0$ with a non-vanishing boundary condition at spatial infinity gives an \order{α_s^0} linear potential for color singlet $q\bar q$ and $qqq$ states. These states are Poincaré and gauge covariant and thus can serve as initial states of a perturbative expansion, replacing the conventional free $in$ and $out$ states. The coupling freezes at $α_s(0)\simeq 0.5$, allowing reasonable convergence. The \order{α_s^0} bound states have a sea of $q\bar q$ pairs, while transverse gluons contribute only at \order{α_s}. Pair creation in the linear $A^0$ potential leads to string breaking and hadron loop corrections. These corrections give finite widths to excited states, as required by unitarity. Several of these features have been verified analytically in $D=1+1$ dimensions, and some in $D=3+1$. △ Less

Submitted 17 November, 2014; v1 submitted 16 September, 2014; originally announced September 2014.

Comments: 6 pages, 2 figures. Based on talks at Light Cone 2014 (Raleigh, NC USA, May 2014) and at the FAIR Workshop (Kolymbari, Greece, July 2014). Minor changes, this version is to be published in the journal Few-Body Systems

Bound states -- from QED to QCD

Authors: Paul Hoyer

Abstract: These lectures are divided into two parts. In Part 1 I discuss bound state topics at the level of a basic course in field theory: The derivation of the Schrödinger and Dirac equations from the QED Lagrangian, by summing Feynman diagrams and in a Hamiltonian framework. Less well known topics include the equal-time wave function of Positronium in motion and the properties of the Dirac wave function… ▽ More These lectures are divided into two parts. In Part 1 I discuss bound state topics at the level of a basic course in field theory: The derivation of the Schrödinger and Dirac equations from the QED Lagrangian, by summing Feynman diagrams and in a Hamiltonian framework. Less well known topics include the equal-time wave function of Positronium in motion and the properties of the Dirac wave function for a linear potential. The presentation emphasizes physical aspects and provides the framework for Part 2, which discusses the derivation of relativistic bound states at Born level in QED and QCD. A central aspect is the maintenance of Poincaré invariance. The transformation of the wave function under boosts is studied in detail in D=1+1 dimensions, and its generalization to D=3+1 is indicated. Solving Gauss' law for $A^0$ with a non-vanishing boundary condition leads to a linear potential for QCD mesons, and an analogous confining potential for baryons. △ Less

Submitted 20 February, 2014; originally announced February 2014.

Comments: 45 pages. Lectures presented at the "Mini-school on theoretical methods in particle physics" at the Higgs Centre for Theoretical Physics, University of Edinburgh on 30 September to 4 October 2013. Comments are welcome

Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure

Authors: Antti Hyttinen, Patrik O. Hoyer, Frederick Eberhardt, Matti Jarvisalo

Abstract: We present a very general approach to learning the structure of causal models based on d-separation constraints, obtained from any given set of overlapping passive observational or experimental data sets. The procedure allows for both directed cycles (feedback loops) and the presence of latent variables. Our approach is based on a logical representation of causal pathways, which permits the integr… ▽ More We present a very general approach to learning the structure of causal models based on d-separation constraints, obtained from any given set of overlapping passive observational or experimental data sets. The procedure allows for both directed cycles (feedback loops) and the presence of latent variables. Our approach is based on a logical representation of causal pathways, which permits the integration of quite general background knowledge, and inference is performed using a Boolean satisfiability (SAT) solver. The procedure is complete in that it exhausts the available information on whether any given edge can be determined to be present or absent, and returns "unknown" otherwise. Many existing constraint-based causal discovery algorithms can be seen as special cases, tailored to circumstances in which one or more restricting assumptions apply. Simulations illustrate the effect of these assumptions on discovery and how the present algorithm scales. △ Less

Submitted 26 September, 2013; originally announced September 2013.

Comments: Appears in Proceedings of the Twenty-Ninth Conference on Uncertainty in Artificial Intelligence (UAI2013)

Report number: UAI-P-2013-PG-301-310

Polynomial time quantum algorithms for certain bivariate hidden polynomial problems

Authors: Thomas Decker, Peter Hoyer, Gabor Ivanyos, Miklos Santha

Abstract: We present a new method for solving the hidden polynomial graph problem (HPGP) which is a special case of the hidden polynomial problem (HPP). The new approach yields an efficient quantum algorithm for the bivariate HPGP even when the input consists of several level set superpositions, a more difficult version of the problem than the one where the input is given by an oracle. For constant degree,… ▽ More We present a new method for solving the hidden polynomial graph problem (HPGP) which is a special case of the hidden polynomial problem (HPP). The new approach yields an efficient quantum algorithm for the bivariate HPGP even when the input consists of several level set superpositions, a more difficult version of the problem than the one where the input is given by an oracle. For constant degree, the algorithm is polylogarithmic in the size of the base field. We also apply the results to give an efficient quantum algorithm for the oracle version of the HPP for an interesting family of bivariate hidden functions. This family includes diagonal quadratic forms and elliptic curves. △ Less

Submitted 8 October, 2013; v1 submitted 7 May, 2013; originally announced May 2013.

Comments: Theorem numbering changed; new subsection with a high-level description of the main algorithm

Journal ref: Quantum Information and Computation 14 (2014), 790-806

Are hadrons simpler than they seem?

Authors: Paul Hoyer

Abstract: I briefly review a systematic approximation scheme of QCD in which the quark model picture of hadrons emerges at lowest order. A linear A^0 potential arises if Gauss' law is solved with a non-vanishing boundary condition at spatial infinity. Similarly to the Dirac case one can describe relativistic states including any number of particle pairs (sea quarks) using valence wave functions, whose norms… ▽ More I briefly review a systematic approximation scheme of QCD in which the quark model picture of hadrons emerges at lowest order. A linear A^0 potential arises if Gauss' law is solved with a non-vanishing boundary condition at spatial infinity. Similarly to the Dirac case one can describe relativistic states including any number of particle pairs (sea quarks) using valence wave functions, whose norms give {\em inclusive} probability densities. Provided α_s(Q^2) freezes in the infrared, perturbative corrections to the S-matrix can be calculated in the usual way, but with states bound by the linear \order{α_s^0} potential instead of plane waves in the in and out states. △ Less

Submitted 6 March, 2013; originally announced March 2013.

Comments: 4 pages. Talk presented at the 3rd Workshop on the QCD Structure of the Nucleon (QCD-N'12), 22-26 October 2012 in Bilbao, Spain

Towards a Born term for hadrons

Authors: Dennis D. Dietrich, Paul Hoyer, Matti Jarvinen

Abstract: We study bound states of abelian gauge theory in D=1+1 dimensions using an equal-time, Poincare-covariant framework. The normalization of the linear confining potential is determined by a boundary condition in the solution of Gauss' law for the instantaneous A^0 field. As in the case of the Dirac equation, the norm of the relativistic fermion-antifermion (f\bar{f}) wave functions gives inclusive p… ▽ More We study bound states of abelian gauge theory in D=1+1 dimensions using an equal-time, Poincare-covariant framework. The normalization of the linear confining potential is determined by a boundary condition in the solution of Gauss' law for the instantaneous A^0 field. As in the case of the Dirac equation, the norm of the relativistic fermion-antifermion (f\bar{f}) wave functions gives inclusive particle densities. However, while the Dirac spectrum is known to be continuous, we find that regular f\bar{f} solutions exist only for discrete bound state masses. The f\bar{f} wave functions are consistent with the parton picture when the kinetic energy of the fermions is large compared to the binding potential. We verify that the electromagnetic form factors of the bound states are gauge invariant and calculate the parton distributions from the transition form factors in the Bjorken limit. For relativistic states we find a large sea contribution at low Bjorken x. Since the potential is independent of the gauge coupling the bound states may serve as "Born terms" in a perturbative expansion, in analogy to the usual plane wave in and out states. △ Less

Submitted 19 March, 2013; v1 submitted 19 December, 2012; originally announced December 2012.

Comments: 33 pages, 8 figures; v2: matches version to be published in Physical Review D

Report number: CCTP-2012-26

Relativistic bound states at Born level

Authors: Paul Hoyer

Abstract: Theoretical and phenomenological studies indicate that the QCD coupling α_s(Q^2) freezes in the infrared. Hadrons may then be described by a perturbative expansion around "Born" states bound only by a confining potential. A linear potential results from the QCD equations of motion when Gauss' law for A^0 is solved with F_{μν}^a F^{μν}_a \neq 0 as boundary condition. The \order{α_s^0} Born states a… ▽ More Theoretical and phenomenological studies indicate that the QCD coupling α_s(Q^2) freezes in the infrared. Hadrons may then be described by a perturbative expansion around "Born" states bound only by a confining potential. A linear potential results from the QCD equations of motion when Gauss' law for A^0 is solved with F_{μν}^a F^{μν}_a \neq 0 as boundary condition. The \order{α_s^0} Born states are Poincaré covariant and can serve as \ket{in} and \bra{out} states of scattering amplitudes. Their Dirac-type wave functions include f\bar f creation/annihilation effects giving sea-like partons at low x_bj. △ Less

Submitted 30 October, 2012; originally announced October 2012.

Comments: 6 pages, 2 figures. Talk at Light Cone 2012, Krakow, Poland (8-13 July 2012)

Causal Discovery of Linear Cyclic Models from Multiple Experimental Data Sets with Overlapping Variables

Authors: Antti Hyttinen, Frederick Eberhardt, Patrik O. Hoyer

Abstract: Much of scientific data is collected as randomized experiments intervening on some and observing other variables of interest. Quite often, a given phenomenon is investigated in several studies, and different sets of variables are involved in each study. In this article we consider the problem of integrating such knowledge, inferring as much as possible concerning the underlying causal structure wi… ▽ More Much of scientific data is collected as randomized experiments intervening on some and observing other variables of interest. Quite often, a given phenomenon is investigated in several studies, and different sets of variables are involved in each study. In this article we consider the problem of integrating such knowledge, inferring as much as possible concerning the underlying causal structure with respect to the union of observed variables from such experimental or passive observational overlapping data sets. We do not assume acyclicity or joint causal sufficiency of the underlying data generating model, but we do restrict the causal relationships to be linear and use only second order statistics of the data. We derive conditions for full model identifiability in the most generic case, and provide novel techniques for incorporating an assumption of faithfulness to aid in inference. In each case we seek to establish what is and what is not determined by the data at hand. △ Less

Submitted 16 October, 2012; originally announced October 2012.

Comments: Appears in Proceedings of the Twenty-Eighth Conference on Uncertainty in Artificial Intelligence (UAI2012)

Report number: UAI-P-2012-PG-387-396

Estimating a Causal Order among Groups of Variables in Linear Models

Authors: Doris Entner, Patrik O. Hoyer

Abstract: The machine learning community has recently devoted much attention to the problem of inferring causal relationships from statistical data. Most of this work has focused on uncovering connections among scalar random variables. We generalize existing methods to apply to collections of multi-dimensional random vectors, focusing on techniques applicable to linear models. The performance of the resulti… ▽ More The machine learning community has recently devoted much attention to the problem of inferring causal relationships from statistical data. Most of this work has focused on uncovering connections among scalar random variables. We generalize existing methods to apply to collections of multi-dimensional random vectors, focusing on techniques applicable to linear models. The performance of the resulting algorithms is evaluated and compared in simulations, which show that our methods can, in many cases, provide useful information on causal relationships even for relatively small sample sizes. △ Less

Submitted 9 July, 2012; originally announced July 2012.

Comments: To appear at the International Conference on Artificial Neural Networks 2012 (proceedings to be published in LNCS, Springer); To be presented at the UAI Workshop on Causal Structure Learning 2012

Discovery of non-gaussian linear causal models using ICA

Authors: Shohei Shimizu, Aapo Hyvarinen, Yutaka Kano, Patrik O. Hoyer

Abstract: In recent years, several methods have been proposed for the discovery of causal structure from non-experimental data (Spirtes et al. 2000; Pearl 2000). Such methods make various assumptions on the data generating process to facilitate its identification from purely observational data. Continuing this line of research, we show how to discover the complete causal structure of continuous-valued data,… ▽ More In recent years, several methods have been proposed for the discovery of causal structure from non-experimental data (Spirtes et al. 2000; Pearl 2000). Such methods make various assumptions on the data generating process to facilitate its identification from purely observational data. Continuing this line of research, we show how to discover the complete causal structure of continuous-valued data, under the assumptions that (a) the data generating process is linear, (b) there are no unobserved confounders, and (c) disturbance variables have non-gaussian distributions of non-zero variances. The solution relies on the use of the statistical method known as independent component analysis (ICA), and does not require any pre-specified time-ordering of the variables. We provide a complete Matlab package for performing this LiNGAM analysis (short for Linear Non-Gaussian Acyclic Model), and demonstrate the effectiveness of the method using artificially generated data. △ Less

Submitted 4 July, 2012; originally announced July 2012.

Comments: Appears in Proceedings of the Twenty-First Conference on Uncertainty in Artificial Intelligence (UAI2005)

Report number: UAI-P-2005-PG-525-533

Discovering Cyclic Causal Models by Independent Components Analysis

Authors: Gustavo Lacerda, Peter L. Spirtes, Joseph Ramsey, Patrik O. Hoyer

Abstract: We generalize Shimizu et al's (2006) ICA-based approach for discovering linear non-Gaussian acyclic (LiNGAM) Structural Equation Models (SEMs) from causally sufficient, continuous-valued observational data. By relaxing the assumption that the generating SEM's graph is acyclic, we solve the more general problem of linear non-Gaussian (LiNG) SEM discovery. LiNG discovery algorithms output the distri… ▽ More We generalize Shimizu et al's (2006) ICA-based approach for discovering linear non-Gaussian acyclic (LiNGAM) Structural Equation Models (SEMs) from causally sufficient, continuous-valued observational data. By relaxing the assumption that the generating SEM's graph is acyclic, we solve the more general problem of linear non-Gaussian (LiNG) SEM discovery. LiNG discovery algorithms output the distribution equivalence class of SEMs which, in the large sample limit, represents the population distribution. We apply a LiNG discovery algorithm to simulated data. Finally, we give sufficient conditions under which only one of the SEMs in the output class is 'stable'. △ Less

Submitted 13 June, 2012; originally announced June 2012.

Comments: Appears in Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence (UAI2008)

Report number: UAI-P-2008-PG-366-374

Causal discovery of linear acyclic models with arbitrary distributions

Authors: Patrik O. Hoyer, Aapo Hyvarinen, Richard Scheines, Peter L. Spirtes, Joseph Ramsey, Gustavo Lacerda, Shohei Shimizu

Abstract: An important task in data analysis is the discovery of causal relationships between observed variables. For continuous-valued data, linear acyclic causal models are commonly used to model the data-generating process, and the inference of such models is a well-studied problem. However, existing methods have significant limitations. Methods based on conditional independencies (Spirtes et al. 1993; P… ▽ More An important task in data analysis is the discovery of causal relationships between observed variables. For continuous-valued data, linear acyclic causal models are commonly used to model the data-generating process, and the inference of such models is a well-studied problem. However, existing methods have significant limitations. Methods based on conditional independencies (Spirtes et al. 1993; Pearl 2000) cannot distinguish between independence-equivalent models, whereas approaches purely based on Independent Component Analysis (Shimizu et al. 2006) are inapplicable to data which is partially Gaussian. In this paper, we generalize and combine the two approaches, to yield a method able to learn the model structure in many cases for which the previous methods provide answers that are either incorrect or are not as informative as possible. We give exact graphical conditions for when two distinct models represent the same family of distributions, and empirically demonstrate the power of our method through thorough simulations. △ Less

Submitted 13 June, 2012; originally announced June 2012.

Comments: Appears in Proceedings of the Twenty-Fourth Conference on Uncertainty in Artificial Intelligence (UAI2008)

Report number: UAI-P-2008-PG-282-289

Gaussian quantum computation with oracle-decision problems

Authors: Mark Adcock, Peter Hoyer, Barry C. Sanders

Abstract: We study a simple-harmonic-oscillator quantum computer solving oracle decision problems. We show that such computers can perform better by using nonorthogonal Gaussian wave functions rather than orthogonal top-hat wave functions as input to the information encoding process. Using the Deutsch-Jozsa problem as an example, we demonstrate that Gaussian modulation with optimized width parameter results… ▽ More We study a simple-harmonic-oscillator quantum computer solving oracle decision problems. We show that such computers can perform better by using nonorthogonal Gaussian wave functions rather than orthogonal top-hat wave functions as input to the information encoding process. Using the Deutsch-Jozsa problem as an example, we demonstrate that Gaussian modulation with optimized width parameter results in a lower error rate than for the top-hat encoding. We conclude that Gaussian modulation can allow for an improved trade-off between encoding, processing and measurement of the information. △ Less

Submitted 5 June, 2012; originally announced June 2012.

Comments: RevTeX4, 10 pages with 4 figures

Journal ref: Quantum Information Processing 12(4), 1759-1779 (2013)

Bayesian Discovery of Linear Acyclic Causal Models

Authors: Patrik O. Hoyer, Antti Hyttinen

Abstract: Methods for automated discovery of causal relationships from non-interventional data have received much attention recently. A widely used and well understood model family is given by linear acyclic causal models (recursive structural equation models). For Gaussian data both constraint-based methods (Spirtes et al., 1993; Pearl, 2000) (which output a single equivalence class) and Bayesian score-bas… ▽ More Methods for automated discovery of causal relationships from non-interventional data have received much attention recently. A widely used and well understood model family is given by linear acyclic causal models (recursive structural equation models). For Gaussian data both constraint-based methods (Spirtes et al., 1993; Pearl, 2000) (which output a single equivalence class) and Bayesian score-based methods (Geiger and Heckerman, 1994) (which assign relative scores to the equivalence classes) are available. On the contrary, all current methods able to utilize non-Gaussianity in the data (Shimizu et al., 2006; Hoyer et al., 2008) always return only a single graph or a single equivalence class, and so are fundamentally unable to express the degree of certainty attached to that output. In this paper we develop a Bayesian score-based approach able to take advantage of non-Gaussianity when estimating linear acyclic causal models, and we empirically demonstrate that, at least on very modest size networks, its accuracy is as good as or better than existing methods. We provide a complete code package (in R) which implements all algorithms and performs all of the analysis provided in the paper, and hope that this will further the application of these methods to solving causal inference problems. △ Less

Submitted 9 May, 2012; originally announced May 2012.

Comments: Appears in Proceedings of the Twenty-Fifth Conference on Uncertainty in Artificial Intelligence (UAI2009)

Report number: UAI-P-2009-PG-240-248

Quantum Nonlocal Boxes Exhibit Stronger Distillability

Authors: Peter Høyer, Jibran Rashid

Abstract: The hypothetical nonlocal box (\textsf{NLB}) proposed by Popescu and Rohrlich allows two spatially separated parties, Alice and Bob, to exhibit stronger than quantum correlations. If the generated correlations are weak, they can sometimes be distilled into a stronger correlation by repeated applications of the \textsf{NLB}. Motivated by the limited distillability of \textsf{NLB}s, we initiate here… ▽ More The hypothetical nonlocal box (\textsf{NLB}) proposed by Popescu and Rohrlich allows two spatially separated parties, Alice and Bob, to exhibit stronger than quantum correlations. If the generated correlations are weak, they can sometimes be distilled into a stronger correlation by repeated applications of the \textsf{NLB}. Motivated by the limited distillability of \textsf{NLB}s, we initiate here a study of the distillation of correlations for nonlocal boxes that output quantum states rather than classical bits (\textsf{qNLB}s). We propose a new protocol for distillation and show that it asymptotically distills a class of correlated quantum nonlocal boxes to the value $1/2 (3\sqrt{3}+1) \approx 3.098076$, whereas in contrast, the optimal non-adaptive parity protocol for classical nonlocal boxes asymptotically distills only to the value 3.0. We show that our protocol is an optimal non-adaptive protocol for 1, 2 and 3 \textsf{qNLB} copies by constructing a matching dual solution for the associated primal semidefinite program (SDP). We conclude that \textsf{qNLB}s are a stronger resource for nonlocality than \textsf{NLB}s. The main premise that develops from this conclusion is that the \textsf{NLB} model is not the strongest resource to investigate the fundamental principles that limit quantum nonlocality. As such, our work provides strong motivation to reconsider the status quo of the principles that are known to limit nonlocal correlations under the framework of \textsf{qNLB}s rather than \textsf{NLB}s. △ Less

Submitted 20 April, 2012; originally announced April 2012.

Comments: 25 pages, 7 figures

Journal ref: Mod. Phys. Lett. A, Vol. 28, No. 17 (2013) 1330012

Noisy-OR Models with Latent Confounding

Authors: Antti Hyttinen, Frederick Eberhardt, Patrik O. Hoyer

Abstract: Given a set of experiments in which varying subsets of observed variables are subject to intervention, we consider the problem of identifiability of causal models exhibiting latent confounding. While identifiability is trivial when each experiment intervenes on a large number of variables, the situation is more complicated when only one or a few variables are subject to intervention per experiment… ▽ More Given a set of experiments in which varying subsets of observed variables are subject to intervention, we consider the problem of identifiability of causal models exhibiting latent confounding. While identifiability is trivial when each experiment intervenes on a large number of variables, the situation is more complicated when only one or a few variables are subject to intervention per experiment. For linear causal models with latent variables Hyttinen et al. (2010) gave precise conditions for when such data are sufficient to identify the full model. While their result cannot be extended to discrete-valued variables with arbitrary cause-effect relationships, we show that a similar result can be obtained for the class of causal models whose conditional probability distributions are restricted to a `noisy-OR' parameterization. We further show that identification is preserved under an extension of the model that allows for negative influences, and present learning algorithms that we test for accuracy, scalability and robustness. △ Less

Submitted 14 February, 2012; originally announced February 2012.

Report number: UAI-P-2011-PG-363-372

Boosting equal time bound states

Authors: Dennis D. Dietrich, Paul Hoyer, Matti Jarvinen

Abstract: We present an explicit and exact boost of a relativistic bound state defined at equal time of the constituents in the Born approximation (lowest order in hbar). To this end, we construct the Poincaré generators of QED and QCD in D=1+1 dimensions, using Gauss' law to express A^0 in terms of the fermion fields in A^1=0 gauge. We determine the fermion-antifermion bound states in the Born approximatio… ▽ More We present an explicit and exact boost of a relativistic bound state defined at equal time of the constituents in the Born approximation (lowest order in hbar). To this end, we construct the Poincaré generators of QED and QCD in D=1+1 dimensions, using Gauss' law to express A^0 in terms of the fermion fields in A^1=0 gauge. We determine the fermion-antifermion bound states in the Born approximation as eigenstates of the time and space translation generators P^0 and P^1. The boost operator is combined with a gauge transformation so as to maintain the gauge condition A^1=0 in the new frame. We verify that the boosted state remains an eigenstate of P^0 and P^1 with appropriately transformed eigenvalues and determine the transformation law of the equal-time, relativistic wave function. The shape of the wave function is independent of the CM momentum when expressed in terms of a variable, which is quadratically related to the distance x between the fermions. As a consequence, the Lorentz contraction of the wave function is proportional to 1/(E-V(x)) and thus depends on x via the linear potential V(x). △ Less

Submitted 3 February, 2012; originally announced February 2012.

Comments: 13 pages, no figures

Report number: CCTP-2012-01 HIP-2012-04/TH

Quantum Computation with Coherent Spin States and the Close Hadamard Problem

Authors: Mark Adcock, Peter Hoyer, Barry C. Sanders

Abstract: We study a model of quantum computation based on the continuously-parameterized yet finite-dimensional Hilbert space of a spin system. We explore the computational powers of this model by analyzing a pilot problem we refer to as the close Hadamard problem. We prove that the close Hadamard problem can be solved in the spin system model with arbitrarily small error probability in a constant number o… ▽ More We study a model of quantum computation based on the continuously-parameterized yet finite-dimensional Hilbert space of a spin system. We explore the computational powers of this model by analyzing a pilot problem we refer to as the close Hadamard problem. We prove that the close Hadamard problem can be solved in the spin system model with arbitrarily small error probability in a constant number of oracle queries. We conclude that this model of quantum computation is suitable for solving certain types of problems. The model is effective for problems where symmetries between the structure of the information associated with the problem and the structure of the unitary operators employed in the quantum algorithm can be exploited. △ Less

Submitted 7 January, 2016; v1 submitted 6 December, 2011; originally announced December 2011.

Comments: RevTeX4, 13 pages with 8 figures. Accepted for publication in Quantum Information Processing. Article number: s11128-015-1229-0

Journal ref: Quantum Information Processing (2016) Vol. 15, issue 4, pp. 1361-1386, April 2016

Measuring transverse size with virtual photons

Authors: Paul Hoyer

Abstract: Fourier transforming the virtual photon transverse momentum in γ*(q)+N \to f processes allows new insight into hadron dynamics as a function of impact parameter b. I discuss how previous analyses of charge density based on elastic and transition form factors (f=N, N*) can be generalized to any multi-hadron final state (f=πN, ππN, \bar D Λ_c,...). The b-distribution determines the transverse positi… ▽ More Fourier transforming the virtual photon transverse momentum in γ*(q)+N \to f processes allows new insight into hadron dynamics as a function of impact parameter b. I discuss how previous analyses of charge density based on elastic and transition form factors (f=N, N*) can be generalized to any multi-hadron final state (f=πN, ππN, \bar D Λ_c,...). The b-distribution determines the transverse positions of the quarks that the photon couples to, and can be studied as a function of multiplicity, the relative transverse momenta, quark masses and polarization. The method requires no factorization nor leading twist approximation. Data with spacelike photon virtualities in the range 0 < Q < Q_{max} provides a resolution Δb > 1/Q_{max} in impact parameter. △ Less

Submitted 15 October, 2011; originally announced October 2011.

Comments: Talk at the Third International Workshop on Transverse Polarization Phenomena in Hard Scattering (Transversity 2011), in Veli Losinj, Croatia, 29 August - 2 September 2011. 7 pages

Key establishment à la Merkle in a quantum world

Authors: Gilles Brassard, Peter Hoyer, Kassem Kalach, Marc Kaplan, Sophie Laplante, Louis Salvail

Abstract: In 1974, Ralph Merkle proposed the first unclassified scheme for secure communications over insecure channels. When legitimate communicating parties are willing to spend an amount of computational effort proportional to some parameter N, an eavesdropper cannot break into their communication without spending a time proportional to N^2, which is quadratically more than the legitimate effort. Two of… ▽ More In 1974, Ralph Merkle proposed the first unclassified scheme for secure communications over insecure channels. When legitimate communicating parties are willing to spend an amount of computational effort proportional to some parameter N, an eavesdropper cannot break into their communication without spending a time proportional to N^2, which is quadratically more than the legitimate effort. Two of us showed in 2008 that Merkle's schemes are completely insecure against a quantum adversary, but that their security can be partially restored if the legitimate parties are also allowed to use quantum computation: the eavesdropper needed to spend a time proportional to N^{3/2} to break our earlier quantum scheme. Furthermore, all previous classical schemes could be broken completely by the onslaught of a quantum eavesdropper and we conjectured that this is unavoidable. We give now two novel key establishment schemes in the spirit of Merkle's. The first one can be broken by a quantum adversary who makes an effort proportional to N^{5/3}, which is the optimal attack against this scheme. Our second scheme is purely classical, yet it cannot be broken by a quantum eavesdropper who is only willing to expend an effort proportional to that of the legitimate parties. We then introduce two families of more elaborate protocols. The first family consists in quantum protocols whose security is arbitrarily close to quadratic in the query complexity model. The second is a family of classical protocols whose security against a quantum adversary is arbitrarily close to N^{3/2} in the same model. △ Less

Submitted 12 February, 2015; v1 submitted 10 August, 2011; originally announced August 2011.

Comments: 32 pages, this is a December 2014 much improved and extended version of our paper "Merkle puzzles in a quantum world" from the Proceedings of CRYPTO 2011, pp. 391-410

Introduction to QCD - a bound state perspective

Authors: Paul Hoyer

Abstract: These lecture notes focus on the bound state sector of QCD. Motivated by data which suggests that the strong coupling α_s(Q) freezes at low Q, and by similarities between the spectra of hadrons and atoms, I discuss if and how QCD bound states may be treated perturbatively. I recall the basic principles of perturbative gauge theory bound states at lowest order in the \hbar expansion. Born level amp… ▽ More These lecture notes focus on the bound state sector of QCD. Motivated by data which suggests that the strong coupling α_s(Q) freezes at low Q, and by similarities between the spectra of hadrons and atoms, I discuss if and how QCD bound states may be treated perturbatively. I recall the basic principles of perturbative gauge theory bound states at lowest order in the \hbar expansion. Born level amplitudes are insensitive to the iεprescription of propagators, which allows to eliminate the Z-diagrams of relativistic, time-ordered Coulomb interactions. The Dirac wave function thus describes a single electron which propagates forward in time only, even though the bound state has any number of pair constituents when Feynman propagators are used. In the absence of an external potential, states that are bound by the Coulomb attraction of their constituents can be analogously described using only their valence degrees of freedom. The instantaneous A^0 field is determined by Gauss' law for each wave function component, i.e., for each position of the valence constituents. Solutions for A^0 obtained with a boundary condition that imposes an asymptotically constant energy density give rise to a linear potential for color singlet q\bar q and qqq states. The strength of the linear potential is determined by the boundary condition and is of lower order in α_s than the gluon exchange interaction, which may then be treated as a higher order perturbative correction. Bound states evaluated to a given order in α_s and \hbar must have the full symmetry of the exact theory, including the dynamic boost invariance of states quantized at equal time. The wave functions are indeed found to have such a hidden invariance, which ensures the correct dependence of the energy eigenvalues on the center of mass momentum. Thus relativistic bound states can be studied using perturbative methods. △ Less

Submitted 7 June, 2011; originally announced June 2011.

Comments: Based on lectures at the International Summer School and Conference on High Energy Physics: Standard Model and Beyond (ISSCSMB '10), at Mugla, Akyaka in Turkey on 27 August -- 4 September 2010. 24 pages, 4 figures

Improved Error Bounds for the Adiabatic Approximation

Authors: Donny Cheung, Peter Hoyer, Nathan Wiebe

Abstract: Since the discovery of adiabatic quantum computing, a need has arisen for rigorously proven bounds for the error in the adiabatic approximation. We present in this paper, a rigorous and elementary derivation of upper and lower bounds on the error incurred from using the adiabatic approximation for quantum systems. Our bounds are often asymptotically tight in the limit of slow evolution for fixed H… ▽ More Since the discovery of adiabatic quantum computing, a need has arisen for rigorously proven bounds for the error in the adiabatic approximation. We present in this paper, a rigorous and elementary derivation of upper and lower bounds on the error incurred from using the adiabatic approximation for quantum systems. Our bounds are often asymptotically tight in the limit of slow evolution for fixed Hamiltonians, and are used to provide sufficient conditions for the application of the adiabatic approximation. We show that our sufficiency criteria exclude the Marzlin--Sanders counterexample from the class of Hamiltonians that obey the adiabatic approximation. Finally, we demonstrate the existence of classes of Hamiltonians that resemble the Marzlin--Sanders counterexample Hamiltonian, but also obey the adiabatic approximation. △ Less

Submitted 21 March, 2011; originally announced March 2011.

Journal ref: J. Phys. A: Math. Theor. 44 415302 (2011)

Measuring transverse shape with virtual photons

Authors: Paul Hoyer, Samu Kurki

Abstract: A two-dimensional Fourier transform of hadron form factors allows to determine their charge density in transverse space. We show that this method can be applied to any virtual photon induced transition, such as γ*(q)+N -> πN. Only Fock states that are common to the initial and final states contribute to the amplitudes, which are determined by the overlap of the corresponding light-front wave funct… ▽ More A two-dimensional Fourier transform of hadron form factors allows to determine their charge density in transverse space. We show that this method can be applied to any virtual photon induced transition, such as γ*(q)+N -> πN. Only Fock states that are common to the initial and final states contribute to the amplitudes, which are determined by the overlap of the corresponding light-front wave functions. Their transverse extent may be studied as a function of the final state configuration, allowing qualitatively new insight into strong interaction dynamics. Fourier transforming the cross section (rather than the amplitude) gives the distribution of the transverse distance between the virtual photon interaction vertices in the scattering amplitude and its complex conjugate. While the measurement of parton distributions in longitudinal momentum depends on the leading twist approximation (-q^2 -> \infty limit), all q^2<0 values contribute to the Fourier transform, with the transverse resolution increasing with the available range in q^2. We illustrate the method using QED amplitudes. △ Less

Submitted 3 May, 2011; v1 submitted 25 January, 2011; originally announced January 2011.

Comments: 15 pages, 2 figures. v2: Version to be published in Phys. Rev. D. Text modified as suggested by the referee

Report number: HIP-2011-01/TH

Journal ref: Phys.Rev.D83:114012,2011

DirectLiNGAM: A direct method for learning a linear non-Gaussian structural equation model

Authors: Shohei Shimizu, Takanori Inazumi, Yasuhiro Sogawa, Aapo Hyvarinen, Yoshinobu Kawahara, Takashi Washio, Patrik O. Hoyer, Kenneth Bollen

Abstract: Structural equation models and Bayesian networks have been widely used to analyze causal relations between continuous variables. In such frameworks, linear acyclic models are typically used to model the data-generating process of variables. Recently, it was shown that use of non-Gaussianity identifies the full structure of a linear acyclic model, i.e., a causal ordering of variables and their conn… ▽ More Structural equation models and Bayesian networks have been widely used to analyze causal relations between continuous variables. In such frameworks, linear acyclic models are typically used to model the data-generating process of variables. Recently, it was shown that use of non-Gaussianity identifies the full structure of a linear acyclic model, i.e., a causal ordering of variables and their connection strengths, without using any prior knowledge on the network structure, which is not the case with conventional methods. However, existing estimation methods are based on iterative search algorithms and may not converge to a correct solution in a finite number of steps. In this paper, we propose a new direct method to estimate a causal ordering and connection strengths based on non-Gaussianity. In contrast to the previous methods, our algorithm requires no algorithmic parameters and is guaranteed to converge to the right solution within a small fixed number of steps if the data strictly follows the model. △ Less

Submitted 7 April, 2011; v1 submitted 12 January, 2011; originally announced January 2011.

Comments: A revised version of this was accepted in Journal of Machine Learning Research

Simulating Quantum Dynamics On A Quantum Computer

Authors: Nathan Wiebe, Dominic W. Berry, Peter Hoyer, Barry C. Sanders

Abstract: We present efficient quantum algorithms for simulating time-dependent Hamiltonian evolution of general input states using an oracular model of a quantum computer. Our algorithms use either constant or adaptively chosen time steps and are significant because they are the first to have time-complexities that are comparable to the best known methods for simulating time-independent Hamiltonian evoluti… ▽ More We present efficient quantum algorithms for simulating time-dependent Hamiltonian evolution of general input states using an oracular model of a quantum computer. Our algorithms use either constant or adaptively chosen time steps and are significant because they are the first to have time-complexities that are comparable to the best known methods for simulating time-independent Hamiltonian evolution, given appropriate smoothness criteria on the Hamiltonian are satisfied. We provide a thorough cost analysis of these algorithms that considers discretizion errors in both the time and the representation of the Hamiltonian. In addition, we provide the first upper bounds for the error in Lie-Trotter-Suzuki approximations to unitary evolution operators, that use adaptively chosen time steps. △ Less

Submitted 27 May, 2011; v1 submitted 15 November, 2010; originally announced November 2010.

Comments: Paper modified from previous version to enhance clarity. Comments are welcome

Journal ref: J. Phys. A: Math. Theor. 44, 445308 (2011)

Hadron Structure

Authors: Paul Hoyer

Abstract: I discuss a Born (\hbar \to 0) approximation of hadrons, motivated by a general feature of the data: The spectra of hadrons reflect their valence (q\bar q or qqq) constituents, whereas hard scattering reveals a prominent sea quark distribution. Why do the sea quark d.o.f's not imply a richer spectrum? I look for an approach that can reconcile the quark and parton model descriptions of hadrons, and… ▽ More I discuss a Born (\hbar \to 0) approximation of hadrons, motivated by a general feature of the data: The spectra of hadrons reflect their valence (q\bar q or qqq) constituents, whereas hard scattering reveals a prominent sea quark distribution. Why do the sea quark d.o.f's not imply a richer spectrum? I look for an approach that can reconcile the quark and parton model descriptions of hadrons, and consider how this physics could emerge from the QCD Lagrangian. The possibilities are reduced by insisting that the approximation should be simple, yet adhere to the rules of quantum field theory. One might suspect that no such method exists -- but the Born approximation presents itself. The description of relativistic bound states that it brings has interesting features which merit further exploration. △ Less

Submitted 26 October, 2010; originally announced October 2010.

Comments: 15 pages, 4 figures. Presented at the 50th Cracow School of Theoretical Physics, 9-19 June 2010 in Zakopane, Poland

Report number: HIP-2010-25/TH

Journal ref: Acta Phys.Polon.B41:2701-2716,2010

The hbar Expansion in Quantum Field Theory

Authors: Stanley J. Brodsky, Paul Hoyer

Abstract: We show how expansions in powers of Planck's constant hbar = h/2πcan give new insights into perturbative and nonperturbative properties of quantum field theories. Since hbar is a fundamental parameter, exact Lorentz invariance and gauge invariance are maintained at each order of the expansion. The physics of the hbar expansion depends on the scheme; i.e., different expansions are obtained dependin… ▽ More We show how expansions in powers of Planck's constant hbar = h/2πcan give new insights into perturbative and nonperturbative properties of quantum field theories. Since hbar is a fundamental parameter, exact Lorentz invariance and gauge invariance are maintained at each order of the expansion. The physics of the hbar expansion depends on the scheme; i.e., different expansions are obtained depending on which quantities (momenta, couplings and masses) are assumed to be independent of hbar. We show that if the coupling and mass parameters appearing in the Lagrangian density are taken to be independent of hbar, then each loop in perturbation theory brings a factor of hbar. In the case of quantum electrodynamics, this scheme implies that the classical charge e, as well as the fine structure constant are linear in hbar. The connection between the number of loops and factors of hbar is more subtle for bound states since the binding energies and bound-state momenta themselves scale with hbar. The hbar expansion allows one to identify equal-time relativistic bound states in QED and QCD which are of lowest order in hbar and transform dynamically under Lorentz boosts. The possibility to use retarded propagators at the Born level gives valence-like wave-functions which implicitly describe the sea constituents of the bound states normally present in its Fock state representation. △ Less

Submitted 19 February, 2011; v1 submitted 13 September, 2010; originally announced September 2010.

Comments: 8 pages, 1 figure. Version to be published in Phys. Rev. D

Report number: SLAC-PUB-14224, HIP-2010-21/TH, CP3-Origins-2010-34

Journal ref: Phys.Rev.D83:045026,2011

Optimal Protocols for Nonlocality Distillation

Authors: Peter Hoyer, Jibran Rashid

Abstract: Forster, Winkler, and Wolf recently showed that weak nonlocality can be amplified by giving the first protocol that distills a class of nonlocal boxes (NLBs) [Phys. Rev. Lett. 102, 120401 (2009)]. We first show that their protocol is optimal among all non-adaptive protocols. We next consider adaptive protocols. We show that the depth 2 protocol of Allcock et al. [Phys. Rev. A 80, 062107, (2009)] p… ▽ More Forster, Winkler, and Wolf recently showed that weak nonlocality can be amplified by giving the first protocol that distills a class of nonlocal boxes (NLBs) [Phys. Rev. Lett. 102, 120401 (2009)]. We first show that their protocol is optimal among all non-adaptive protocols. We next consider adaptive protocols. We show that the depth 2 protocol of Allcock et al. [Phys. Rev. A 80, 062107, (2009)] performs better than previously known adaptive depth 2 protocols for all symmetric NLBs. We present a new depth 3 protocol that extends the known region of distillable NLBs. We give examples of NLBs for which each of Forster et al.'s, Allcock et al.'s, and our protocol performs best. The new understanding we develop is that there is no single optimal protocol for NLB distillation. The choice of which protocol to use depends on the noise parameters for the NLB. △ Less

Submitted 8 September, 2010; originally announced September 2010.

Comments: RevTeX4, 6 pages with 4 figures

Journal ref: Phys. Rev. A 82, 042118 (2010) [6 pages]

13th International Conference on Elastic and Diffractive Scattering (Blois Workshop) - Moving Forward into the LHC Era

Authors: Mario Deile, David d'Enterria, Albert De Roeck, M. G. Albrow, A. Alkin, E. Avsar, V. A. Bednyakov, R. Brower, A. Bunyatyan, H. Burkhardt, A. Caldwell, W. Carvalho, M. Chaichian, E. Chapon, Z. Conesa del Valle, J. R. Cudell, J. Dainton, M. Deak, M. Djuric, K. Eggert, S. Eidelman, J. Ellis, E. Ferreira, J. Forshaw, S. Giani , et al. (84 additional authors not shown)

Abstract: Proceedings of the 13th International Conference on Elastic and Diffractive Scattering (Blois Workshop) - Moving Forward into the LHC Era Proceedings of the 13th International Conference on Elastic and Diffractive Scattering (Blois Workshop) - Moving Forward into the LHC Era △ Less

Submitted 8 February, 2011; v1 submitted 17 February, 2010; originally announced February 2010.

Comments: 511 pages. Proceedings of the 13th International Conference on Elastic and Diffractive Scattering, CERN, Geneva, June-July 2009

Journal ref: CERN-Proceedings-2010-002

The transverse shape of the electron

Authors: Paul Hoyer, Samu Kurki

Abstract: We study the charge density, form factors and spin distributions of the electron induced by its |e γ> light-front Fock state in impact parameter space. Only transversally compact Fock states contribute to the leading behavior of the Dirac and Pauli form factors as the momentum transfer tends to infinity. Power suppressed contributions are not compact, and distributions weighted by the transverse… ▽ More We study the charge density, form factors and spin distributions of the electron induced by its |e γ> light-front Fock state in impact parameter space. Only transversally compact Fock states contribute to the leading behavior of the Dirac and Pauli form factors as the momentum transfer tends to infinity. Power suppressed contributions are not compact, and distributions weighted by the transverse size have end-point contributions. The Fock state conserves the spin of the parent electron locally, but the separate contributions of the electron, photon and orbital angular momentum depend on longitudinal momentum and impact parameter. The sign of the anomalous magnetic moment of the electron may be understood intuitively from the density distribution, addressing a challenge by Feynman. △ Less

Submitted 16 November, 2009; originally announced November 2009.

Comments: 13 pages, 5 figures

Report number: HIP-2009-30/TH

Journal ref: Phys.Rev.D81:013002,2010