Showing 1–34 of 34 results for author: Len, Y

The tropical Abel--Prym map

Authors: Giusi Capobianco, Yoav Len

Abstract: We prove that the tropical Abel--Prym map $Ψ\colon \tGa\to\Prym(\tGa/\Ga)$ associated with a free double cover $π\colon \tGa\to \Ga$ of hyperelliptic metric graphs is harmonic of degree $2$ in accordance with the already established algebraic result. We then prove a partial converse. Contrary to the analogous algebraic result, when the source graph of the double cover is not hyperelliptic, the Abe… ▽ More We prove that the tropical Abel--Prym map $Ψ\colon \tGa\to\Prym(\tGa/\Ga)$ associated with a free double cover $π\colon \tGa\to \Ga$ of hyperelliptic metric graphs is harmonic of degree $2$ in accordance with the already established algebraic result. We then prove a partial converse. Contrary to the analogous algebraic result, when the source graph of the double cover is not hyperelliptic, the Abel--Prym map is often not injective. When the source graph is hyperelliptic, we show that the Abel--Prym graph $Ψ(\tGa)$ is a hyperelliptic metric graph of genus $g_{\Ga}-1$ whose Jacobian is isomorphic, as pptav, to the Prym variety of the cover. En route, we count the number of distinct free double covers by hyperelliptic metric graphs. △ Less

Submitted 9 December, 2024; originally announced December 2024.

Comments: 28 pages, 10 figures

MSC Class: 14H40; 14T20

Chip-firing games, Jacobians, and Prym varieties

Authors: Yoav Len

Abstract: We present a self-contained introduction to the theory of chip-firing games on metric graphs, as well as the more recent theory of tropical Prym varieties. We briefly discuss the connection between these notions and their algebraic counterparts and suggest various avenues for future research. We present a self-contained introduction to the theory of chip-firing games on metric graphs, as well as the more recent theory of tropical Prym varieties. We briefly discuss the connection between these notions and their algebraic counterparts and suggest various avenues for future research. △ Less

Submitted 31 October, 2024; v1 submitted 25 October, 2022; originally announced October 2022.

Comments: 32 pages, 14 figures

MSC Class: 14T20; 14H40

Realistic photon-number resolution in generalized Hong-Ou-Mandel experiment

Authors: V. Ye. Len, M. M. Byelova, V. A. Uzunova, A. A. Semenov

Abstract: We consider realistic photodetection in a generalization of the Hong-Ou-Mandel experiment to the multimode case. The basic layout of this experiment underlies boson sampling -- a promising model of nonuniversal quantum computations. Peculiarities of photocounting probabilities in such an experiment witness important nonclassical properties of electromagnetic field related to indistinguishability o… ▽ More We consider realistic photodetection in a generalization of the Hong-Ou-Mandel experiment to the multimode case. The basic layout of this experiment underlies boson sampling -- a promising model of nonuniversal quantum computations. Peculiarities of photocounting probabilities in such an experiment witness important nonclassical properties of electromagnetic field related to indistinguishability of boson particles. In practice, these probabilities are changed from their theoretical values due to the imperfect ability of realistic detectors to distinguish numbers of bunched photons. We derive analytical expressions for photocounting distributions in the generalized Hong-Ou-Mandel experiment for the case of realistic photon-number resolving (PNR) detectors. It is shown that probabilities of properly postselected events are proportional to probabilities obtained for perfect PNR detectors. Our results are illustrated with examples of arrays of on/off detectors and detectors affected by a finite dead time. △ Less

Submitted 20 September, 2022; v1 submitted 13 December, 2021; originally announced December 2021.

Comments: 15 pages, 6 figures

Journal ref: Phys. Scr. 97, 105102 (2022)

Multiparameter estimation for qubit states with collective measurements: a case study

Authors: Yink Loong Len

Abstract: Quantum estimation involving multiple parameters remains an important problem of both theoretical and practical interest. In this work, we study the problem of simultaneous estimation of two parameters that are respectively associate with the length and direction of the Bloch vector for identically prepared qubit states that is confined to a plane, where in order to obtain the optimal estimation p… ▽ More Quantum estimation involving multiple parameters remains an important problem of both theoretical and practical interest. In this work, we study the problem of simultaneous estimation of two parameters that are respectively associate with the length and direction of the Bloch vector for identically prepared qubit states that is confined to a plane, where in order to obtain the optimal estimation precision for both parameters, collective measurements on multiple qubits are necessary. Upon treating $N$ qubits as an ensemble of spin-1/2 systems, we show that simultaneous optimal estimation for both parameters can be attained asymptotically with a simple collective measurement strategy -- first, we estimate the length parameter by measuring the populations in spaces corresponding to different total angular momentum values $j$, then we estimate the direction parameter by performing a spin projection onto an optimal basis. Furthermore, we show that when the state is nearly pure, for sufficiently but not arbitrarily large $N$, most information will be captured in the largest three $j$-subspaces. Then, we study how the total angular-momentum measurement can be realized by observing output signatures from a Bell multiport setup, either exactly for $N=2,3$, or approximately when the qubits are nearly pure for other $N$ values. We also obtain numerical results that suggest that using a Bell multiport setup, one can distinguish between projection onto the $j=N/2$ and $j=N/2-1$ subspaces from their respective interference signatures at the output. △ Less

Submitted 24 March, 2022; v1 submitted 15 September, 2021; originally announced September 2021.

Comments: v2. 29 pages, 6 figures, accepted for publication in New J. Phys. Comments are welcome

Journal ref: New J. Phys. 24, 033037 (2022)

Quantum metrology with imperfect measurements

Authors: Yink Loong Len, Tuvia Gefen, Alex Retzker, Jan Kołodyński

Abstract: The impact of measurement imperfections on quantum metrology protocols has not been approached in a systematic manner so far. In this work, we tackle this issue by generalising firstly the notion of quantum Fisher information to account for noisy detection, and propose tractable methods allowing for its approximate evaluation. We then show that in canonical scenarios involving $N$ probes with loca… ▽ More The impact of measurement imperfections on quantum metrology protocols has not been approached in a systematic manner so far. In this work, we tackle this issue by generalising firstly the notion of quantum Fisher information to account for noisy detection, and propose tractable methods allowing for its approximate evaluation. We then show that in canonical scenarios involving $N$ probes with local measurements undergoing readout noise, the optimal sensitivity depends crucially on the control operations allowed to counterbalance the measurement imperfections -- with global control operations, the ideal sensitivity (e.g.~the Heisenberg scaling) can always be recovered in the asymptotic $N$ limit, while with local control operations the quantum-enhancement of sensitivity is constrained to a constant factor. We illustrate our findings with an example of NV-centre magnetometry, as well as schemes involving spin-$1/2$ probes with bit-flip errors affecting their two-outcome measurements, for which we find the input states and control unitary operations sufficient to attain the ultimate asymptotic precision. △ Less

Submitted 7 July, 2022; v1 submitted 2 September, 2021; originally announced September 2021.

Comments: v2. 33 pages, 14 figures. Comments are welcome

Journal ref: Nature Communications 13, 6971 (2022)

Sub-Rayleigh characterization of a binary source by spatially demultiplexed coherent detection

Authors: Chandan Datta, Yink Loong Len, Karol Łukanowski, Konrad Banaszek, Marcin Jarzyna

Abstract: We investigate theoretically coherent detection implemented simultaneously on a set of mutually orthogonal spatial modes in the image plane as a method to characterize properties of a composite thermal source below the Rayleigh limit. A general relation between the intensity distribution in the source plane and the covariance matrix for the complex field amplitudes measured in the image plane is d… ▽ More We investigate theoretically coherent detection implemented simultaneously on a set of mutually orthogonal spatial modes in the image plane as a method to characterize properties of a composite thermal source below the Rayleigh limit. A general relation between the intensity distribution in the source plane and the covariance matrix for the complex field amplitudes measured in the image plane is derived. An algorithm to estimate parameters of a two-dimensional symmetric binary source is devised and verified using Monte Carlo simulations to provide super-resolving capability for high ratio of signal to detection noise (SNR). Specifically, the separation between two point sources can be meaningfully determined down to $\textrm{SNR}^{-1/2}$ in the units determined by the spatial spread of the transfer function of the imaging system. The presented algorithm is shown to make a nearly optimal use of the measured data in the sub-Rayleigh region. △ Less

Submitted 6 October, 2021; v1 submitted 15 June, 2021; originally announced June 2021.

Comments: 10 pages, 3 figures. Accepted for publication in Optics Express

Journal ref: Optics Express 29, 35592-35601 (2021)

Tropical tangents for complete intersection curves

Authors: Nathan Ilten, Yoav Len

Abstract: We consider the tropicalization of tangent lines to a complete intersection curve $X$ in $\mathbb{P}^n$. Under mild hypotheses, we describe a procedure for computing the tropicalization of the image of the Gauss map of $X$ in terms of the tropicalizations of the hypersurfaces cutting out $X$. We apply this to obtain descriptions of the tropicalization of the dual variety $X^*$ and tangential varie… ▽ More We consider the tropicalization of tangent lines to a complete intersection curve $X$ in $\mathbb{P}^n$. Under mild hypotheses, we describe a procedure for computing the tropicalization of the image of the Gauss map of $X$ in terms of the tropicalizations of the hypersurfaces cutting out $X$. We apply this to obtain descriptions of the tropicalization of the dual variety $X^*$ and tangential variety $τ(X)$ of $X$. In particular, we are able to compute the degrees of $X^*$ and $τ(X)$ and the Newton polytope of $τ(X)$ without using any elimination theory. △ Less

Submitted 18 May, 2022; v1 submitted 30 April, 2021; originally announced April 2021.

Comments: 49 pages, 6 figures, 9 tables

Kirchhoff's theorem for Prym varieties

Authors: Yoav Len, Dmitry Zakharov

Abstract: We prove an analogue of Kirchhoff's matrix tree theorem for computing the volume of the tropical Prym variety for double covers of metric graphs. We interpret the formula in terms of a semi-canonical decomposition of the tropical Prym variety, via a careful study of the tropical Abel-Prym map. In particular, we show that the map is harmonic, determine its degree at every cell of the decomposition,… ▽ More We prove an analogue of Kirchhoff's matrix tree theorem for computing the volume of the tropical Prym variety for double covers of metric graphs. We interpret the formula in terms of a semi-canonical decomposition of the tropical Prym variety, via a careful study of the tropical Abel-Prym map. In particular, we show that the map is harmonic, determine its degree at every cell of the decomposition, and prove that its global degree is $2^{g-1}$. Along the way, we use the Ihara zeta function to provide a new proof of the analogous result for finite graphs. As a counterpart, the appendix by Sebastian Casalaina-Martin shows that the degree of the algebraic Abel-Prym map is $2^{g-1}$ as well. △ Less

Submitted 6 March, 2022; v1 submitted 30 December, 2020; originally announced December 2020.

Comments: 58 pages, 13 figures, Appendix by Sebastian Casalaina-Martin. Added a detailed example of the harmonic structure of the Abel-Prym map

MSC Class: 14H40; 14T15; 14T20

Journal ref: Forum of Mathematics, Sigma (2022), Vol. 10:e11 1-54

Sub-Rayleigh resolution of two incoherent sources by array homodyning

Authors: Chandan Datta, Marcin Jarzyna, Yink Loong Len, Karol Łukanowski, Jan Kołodyński, Konrad Banaszek

Abstract: Conventional incoherent imaging based on measuring the spatial intensity distribution in the image plane faces the resolution hurdle described by the Rayleigh diffraction criterion. Here, we demonstrate theoretically using the concept of the Fisher information that quadrature statistics measured by means of array homodyne detection enables estimation of the distance between two incoherent point so… ▽ More Conventional incoherent imaging based on measuring the spatial intensity distribution in the image plane faces the resolution hurdle described by the Rayleigh diffraction criterion. Here, we demonstrate theoretically using the concept of the Fisher information that quadrature statistics measured by means of array homodyne detection enables estimation of the distance between two incoherent point sources well below the Rayleigh limit for sufficiently high signal-to-noise ratio. This capability is attributed to the availability of spatial coherence information between individual detector pixels acquired using the coherent detection technique. A simple analytical approximation for the precision attainable in the sub-Rayleigh region is presented. Furthermore, an estimation algorithm is proposed and applied to Monte Carlo simulated data. △ Less

Submitted 27 November, 2020; v1 submitted 18 May, 2020; originally announced May 2020.

Comments: 10 pages, 6 figures, accepted for publication in Phys. Rev. A

Journal ref: Phys. Rev. A 102, 063526 (2020)

Prym-Brill-Noether Loci of special curves

Authors: Steven Creech, Yoav Len, Caelan Ritter, Derek Wu

Abstract: We use Young tableaux to compute the dimension of $V^r$, the Prym-Brill-Noether locus of a folded chain of loops of any gonality. This tropical result yields a new upper bound on the dimensions of algebraic Prym-Brill-Noether loci. Moreover, we prove that $V^r$ is pure-dimensional and connected in codimension $1$ when $\dim V^r \geq 1$. We then compute the first Betti number of this locus for even… ▽ More We use Young tableaux to compute the dimension of $V^r$, the Prym-Brill-Noether locus of a folded chain of loops of any gonality. This tropical result yields a new upper bound on the dimensions of algebraic Prym-Brill-Noether loci. Moreover, we prove that $V^r$ is pure-dimensional and connected in codimension $1$ when $\dim V^r \geq 1$. We then compute the first Betti number of this locus for even gonality when the dimension is exactly $1$, and compute the cardinality when the locus is finite and the edge lengths are generic. △ Less

Submitted 5 August, 2020; v1 submitted 5 December, 2019; originally announced December 2019.

Comments: 27 pages, 10 figures. Minor revisions, to appear in IMRN

Resolution limits of spatial mode demultiplexing with noisy detection

Authors: Yink Loong Len, Chandan Datta, Michał Parniak, Konrad Banaszek

Abstract: We consider the problem of estimating the spatial separation between two mutually incoherent point light sources using the super-resolution imaging technique based on spatial mode demultiplexing with noisy detectors. We show that in the presence of noise the resolution of the measurement is limited by the signal-to-noise ratio (SNR) and the minimum resolvable spatial separation has a characteristi… ▽ More We consider the problem of estimating the spatial separation between two mutually incoherent point light sources using the super-resolution imaging technique based on spatial mode demultiplexing with noisy detectors. We show that in the presence of noise the resolution of the measurement is limited by the signal-to-noise ratio (SNR) and the minimum resolvable spatial separation has a characteristic dependence of $\sim$SNR$^{-1/2}$. Several detection techniques, including direct photon counting, as well as homodyne and heterodyne detection are considered. △ Less

Submitted 12 November, 2019; originally announced November 2019.

Comments: 16 pages, 5 figures

Journal ref: Int. J. Quantum Inf. 18, 1941015 (2020)

Abelian tropical covers

Authors: Yoav Len, Martin Ulirsch, Dmitry Zakharov

Abstract: Let $\mathfrak{A}$ be a finite abelian group. In this article, we classify harmonic $\mathfrak{A}$-covers of a tropical curve $Γ$ (which allow dilation along edges and at vertices) in terms of the cohomology group of a suitably defined sheaf on $Γ$. We give a realizability criterion for harmonic $\mathfrak{A}$-covers by patching local monodromy data in an extended homology group on $Γ$. As an expl… ▽ More Let $\mathfrak{A}$ be a finite abelian group. In this article, we classify harmonic $\mathfrak{A}$-covers of a tropical curve $Γ$ (which allow dilation along edges and at vertices) in terms of the cohomology group of a suitably defined sheaf on $Γ$. We give a realizability criterion for harmonic $\mathfrak{A}$-covers by patching local monodromy data in an extended homology group on $Γ$. As an explicit example, we work out the case $\mathfrak{A}=\mathbb{Z}/p\mathbb{Z}$ and explain how realizability for such covers is related to the nowhere-zero flow problem from graph theory. △ Less

Submitted 11 June, 2023; v1 submitted 10 June, 2019; originally announced June 2019.

Comments: 21 pages

Skeletons of Prym varieties and Brill--Noether theory

Authors: Yoav Len, Martin Ulirsch

Abstract: We show that the non-Archimedean skeleton of the Prym variety associated to an unramified double cover of an algebraic curve is naturally isomorphic (as a principally polarized tropical abelian variety) to the tropical Prym variety of the associated tropical double cover. This confirms a conjecture by Jensen and the first author. We prove a new upper bound on the dimension of the Prym-Brill-Noethe… ▽ More We show that the non-Archimedean skeleton of the Prym variety associated to an unramified double cover of an algebraic curve is naturally isomorphic (as a principally polarized tropical abelian variety) to the tropical Prym variety of the associated tropical double cover. This confirms a conjecture by Jensen and the first author. We prove a new upper bound on the dimension of the Prym-Brill-Noether locus for generic unramified double covers of curves with fixed even gonality on the base. Our methods also give a new proof of the classical Prym-Brill-Noether Theorem for generic unramified double covers that is originally due to Welters and Bertram. △ Less

Submitted 26 January, 2021; v1 submitted 25 February, 2019; originally announced February 2019.

Comments: 32 pages, 7 figures. Accepted for publication in Algebra & Number Theory

MSC Class: 14T05; 14K12; 14H40; 14H45; 14H51

Journal ref: Alg. Number Th. 15 (2021) 785-820

Reply to "Comment on `Past of a quantum particle revisited' "

Authors: Berthold-Georg Englert, Kelvin Horia, Jibo Dai, Yink Loong Len, Hui Khoon Ng

Abstract: We stand by our findings in Phys. Rev A. 96, 022126 (2017). In addition to refuting the invalid objections raised by Peleg and Vaidman, we report a retrocausation problem inherent in Vaidman's definition of the past of a quantum particle. We stand by our findings in Phys. Rev A. 96, 022126 (2017). In addition to refuting the invalid objections raised by Peleg and Vaidman, we report a retrocausation problem inherent in Vaidman's definition of the past of a quantum particle. △ Less

Submitted 17 January, 2019; originally announced January 2019.

Comments: 3 pages, 2 figures; this is our Reply to the Comment in arXiv:1805.12171v1

Journal ref: Phys. Rev. A 99, 026104 (2019)

Lifting tropical self intersections

Authors: Yoav Len, Matthew Satriano

Abstract: We study the tropicalization of intersections of plane curves, under the assumption that they have the same tropicalization. We show that the set of tropical divisors that arise in this manner is a pure dimensional balanced polyhedral complex and compute its dimension. When the genus is at most 1, we show that all the tropical divisors that move in the expected dimension are realizable. As part of… ▽ More We study the tropicalization of intersections of plane curves, under the assumption that they have the same tropicalization. We show that the set of tropical divisors that arise in this manner is a pure dimensional balanced polyhedral complex and compute its dimension. When the genus is at most 1, we show that all the tropical divisors that move in the expected dimension are realizable. As part of the proof, we introduce a combinatorial tool for explicitly constructing large families of realizable tropical divisors. △ Less

Submitted 1 May, 2019; v1 submitted 4 June, 2018; originally announced June 2018.

Comments: 17 pages, 6 figures. Major revisions from previous version

MSC Class: 14T05; 14H50; 14H52

Open-System Quantum Error Correction

Authors: Yink Loong Len, Hui Khoon Ng

Abstract: We study the performance of quantum error correction (QEC) on a system undergoing open-system (OS) dynamics. The noise on the system originates from a joint quantum channel on the system-bath composite, a framework that includes and interpolates between the commonly used system-only quantum noise channel model and the system-bath Hamiltonian noise model. We derive the perfect OSQEC conditions, wit… ▽ More We study the performance of quantum error correction (QEC) on a system undergoing open-system (OS) dynamics. The noise on the system originates from a joint quantum channel on the system-bath composite, a framework that includes and interpolates between the commonly used system-only quantum noise channel model and the system-bath Hamiltonian noise model. We derive the perfect OSQEC conditions, with QEC recovery only on the system and not the inaccessible bath. When the noise is only approximately correctable, the generic case of interest, we quantify the performance of OSQEC using worst-case fidelity. We find that the leading deviation from unit fidelity after recovery is quadratic in the uncorrectable part, a result reminiscent of past work on approximate QEC for system-only noise, although the approach here requires the use of different techniques than in past work. △ Less

Submitted 24 May, 2018; v1 submitted 25 April, 2018; originally announced April 2018.

Comments: v1: 11 pages. v2: 12 pages; references updated and typos corrected

Journal ref: Phys. Rev. A 98, 022307 (2018)

Projective duals to algebraic and tropical hypersurfaces

Authors: Nathan Ilten, Yoav Len

Abstract: We study a tropical analogue of the projective dual variety of a hypersurface. When $X$ is a curve in $\mathbb{P}^2$ or a surface in $\mathbb{P}^3$, we provide an explicit description of $\text{Trop}(X^*)$ in terms of $\text{Trop}(X)$, as long as $\text{Trop}(X)$ is smooth and satisfies a mild genericity condition. As a consequence, when $X$ is a curve we describe the transformation of Newton poly… ▽ More We study a tropical analogue of the projective dual variety of a hypersurface. When $X$ is a curve in $\mathbb{P}^2$ or a surface in $\mathbb{P}^3$, we provide an explicit description of $\text{Trop}(X^*)$ in terms of $\text{Trop}(X)$, as long as $\text{Trop}(X)$ is smooth and satisfies a mild genericity condition. As a consequence, when $X$ is a curve we describe the transformation of Newton polygons under projective duality, and recover classical formulas for the degree of a dual plane curve. For higher dimensional hypersurfaces $X$, we give a partial description of $\text{Trop}(X^*)$. △ Less

Submitted 6 May, 2019; v1 submitted 23 March, 2018; originally announced March 2018.

Comments: 47 pages, 13 figures; v2 minor revisions; accepted to PLMS

MSC Class: 14T05; 14J70; 14M99; 14N20

Journal ref: P. London Math. Soc. 119(5) (2019) pp. 1234-1278

Bitangents of non-smooth tropical quartics

Authors: Heejong Lee, Yoav Len

Abstract: We study bitangents of non-smooth tropical plane quartics. Our main result is that with appropriate multiplicities, every such curve has 7 equivalence classes of bitangent lines. Moreover, the multiplicity of bitangent lines varies continuously in families of tropical plane curves. We study bitangents of non-smooth tropical plane quartics. Our main result is that with appropriate multiplicities, every such curve has 7 equivalence classes of bitangent lines. Moreover, the multiplicity of bitangent lines varies continuously in families of tropical plane curves. △ Less

Submitted 27 October, 2017; originally announced October 2017.

Comments: 8 pages, 3 figures. Initiated at the Fields Undergraduate Summer Research Program

Journal ref: Portugaliae Mathematica 75 (2018) 67-78

Lifting tropical bitangents

Authors: Yoav Len, Hannah Markwig

Abstract: We study lifts of tropical bitangents to the tropicalization of a given complex algebraic curve together with their lifting multiplicities. Using this characterization, we show that generically all the seven bitangents of a smooth tropical plane quartic lift in sets of four to algebraic bitangents. We do this constructively, i.e. we give solutions for the initial terms of the coefficients of the b… ▽ More We study lifts of tropical bitangents to the tropicalization of a given complex algebraic curve together with their lifting multiplicities. Using this characterization, we show that generically all the seven bitangents of a smooth tropical plane quartic lift in sets of four to algebraic bitangents. We do this constructively, i.e. we give solutions for the initial terms of the coefficients of the bitangent lines. This is a step towards a tropical proof that a general smooth quartic admits 28 bitangent lines. The methods are also appropriate to count real bitangents, however the conditions to determine whether a tropical bitangent has real lifts are not purely combinatorial. △ Less

Submitted 4 March, 2019; v1 submitted 15 August, 2017; originally announced August 2017.

Comments: 35 pages, 24 figures, 1 table. Minor changes. Accepted for publication in Journal of Symbolic Computation

Journal ref: Journal of Symbolic Computation 96 (2019) 122-152

Unambiguous path discrimination in a two-path interferometer

Authors: Yink Loong Len, Jibo Dai, Berthold-Georg Englert, Leonid A. Krivitsky

Abstract: When a photon is detected after passing through an interferometer one might wonder which path it took, and a meaningful answer can only be given if one has the means of monitoring the photon's whereabouts. We report the realization of a single-photon experiment for a two-path interferometer with path marking. In this experiment, the path of a photon ("signal") through a Mach--Zehnder interferomete… ▽ More When a photon is detected after passing through an interferometer one might wonder which path it took, and a meaningful answer can only be given if one has the means of monitoring the photon's whereabouts. We report the realization of a single-photon experiment for a two-path interferometer with path marking. In this experiment, the path of a photon ("signal") through a Mach--Zehnder interferometer becomes known by unambiguous discrimination between the two paths. We encode the signal path in the polarization state of a partner photon ("idler") whose polarization is examined by a three-outcome measurement: one outcome each for the two signal paths plus an inconclusive outcome. Our results agree fully with the theoretical predictions from a common-sense analysis of what can be said about the past of a quantum particle: The signals for which we get the inconclusive result have full interference strength, as their paths through the interferometer \emph{cannot be known}; and every photon that emerges from the dark output port of the balanced interferometer has a \emph{known path}. △ Less

Submitted 17 November, 2017; v1 submitted 4 August, 2017; originally announced August 2017.

Comments: 5 pages, 5 figures; this paper reports the realization of the experiment proposed in section VII B of arXiv:1704.03722 v2: Includes new figure of the setup, and additional details such as preparation of the photon source, and implementation of phase stabilization and control

Journal ref: Phys. Rev. A 98, 022110 (2018)

Past of a quantum particle: Common sense prevails

Authors: Berthold-Georg Englert, Kelvin Horia, Jibo Dai, Yink Loong Len, Hui Khoon Ng

Abstract: We analyze Vaidman's three-path interferometer with weak path marking [Phys. Rev. A 87, 052104 (2013)] and find that common sense yields correct statements about the particle's path through the interferometer. This disagrees with the original claim that the particles have discontinuous trajectories at odds with common sense. In our analysis, "the particle's path" has operational meaning as acquire… ▽ More We analyze Vaidman's three-path interferometer with weak path marking [Phys. Rev. A 87, 052104 (2013)] and find that common sense yields correct statements about the particle's path through the interferometer. This disagrees with the original claim that the particles have discontinuous trajectories at odds with common sense. In our analysis, "the particle's path" has operational meaning as acquired by a path-discriminating measurement. For a quantum-mechanical experimental demonstration of the case, one should perform a single-photon version of the experiment by Danan et al. [Phys. Rev. Lett. 111, 240402 (2013)] with unambiguous path discrimination. We present a detailed proposal for such an experiment. △ Less

Submitted 26 August, 2017; v1 submitted 12 April, 2017; originally announced April 2017.

Comments: v1: 20 pages, 15 figures; v2 and v3: 20 pages, 16 figures, text and figures edited, references updated

Journal ref: Phys. Rev. A 96, 022126 (2017)

Tritangent planes to space sextics: the algebraic and tropical stories

Authors: Corey Harris, Yoav Len

Abstract: We discuss the classical problem of counting planes tangent to general canonical sextic curves at three points. We determine the number of real tritangents when such a curve is real. We then revisit a curve constructed by Emch with the greatest known number of real tritangents, and conversely construct a curve with very few real tritangents. Using recent results on the relation between algebraic a… ▽ More We discuss the classical problem of counting planes tangent to general canonical sextic curves at three points. We determine the number of real tritangents when such a curve is real. We then revisit a curve constructed by Emch with the greatest known number of real tritangents, and conversely construct a curve with very few real tritangents. Using recent results on the relation between algebraic and tropical theta characteristics, we show that the tropicalization of a canonical sextic curve has 15 tritangent planes. △ Less

Submitted 9 January, 2017; originally announced January 2017.

Report number: Report number: Fields 2016 CAG book

Airy-averaged gradient corrections for two-dimensional fermion gases

Authors: Martin-Isbjörn Trappe, Yink Loong Len, Hui Khoon Ng, Berthold-Georg Englert

Abstract: Building on the discussion in PRA 93, 042510 (2016), we present a systematic derivation of gradient corrections to the kinetic-energy functional and the one-particle density, in particular for two-dimensional systems. We derive the leading gradient corrections from a semiclassical expansion based on Wigner's phase space formalism and demonstrate that the semiclassical kinetic-energy density functi… ▽ More Building on the discussion in PRA 93, 042510 (2016), we present a systematic derivation of gradient corrections to the kinetic-energy functional and the one-particle density, in particular for two-dimensional systems. We derive the leading gradient corrections from a semiclassical expansion based on Wigner's phase space formalism and demonstrate that the semiclassical kinetic-energy density functional at zero temperature cannot be evaluated unambiguously. In contrast, a density-potential functional description that effectively incorporates interactions provides unambiguous gradient corrections. Employing an averaging procedure that involves Airy functions, thereby partially resumming higher-order gradient corrections, we facilitate a smooth transition of the particle density into the classically forbidden region of arbitrary smooth potentials. We find excellent agreement of the semiclassical Airy-averaged particle densities with the exact densities for very low but finite temperatures, illustrated for a Fermi gas with harmonic potential energy. We furthermore provide criteria for the applicability of the semiclassical expansions at low temperatures. Finally, we derive a well-behaved ground-state kinetic-energy functional, which improves on the Thomas-Fermi approximation. △ Less

Submitted 16 April, 2017; v1 submitted 13 December, 2016; originally announced December 2016.

Comments: 24 pages, 8 figures. Changes to version 1: layout modified, footnotes 1 & 12 added, one paragraph added on page 7

Journal ref: Annals of Physics (NY) 385, 136-161 (2017)

Tropicalization of theta characteristics, double covers, and Prym varieties

Authors: David Jensen, Yoav Len

Abstract: We study the behavior of theta characteristics on an algebraic curve under the specialization map to a tropical curve. We show that each effective theta characteristic on the tropical curve is the specialization of $2^{g-1}$ even theta characteristics and $2^{g-1}$ odd theta characteristics. We then study the relationship between unramified double covers of a tropical curve and its theta character… ▽ More We study the behavior of theta characteristics on an algebraic curve under the specialization map to a tropical curve. We show that each effective theta characteristic on the tropical curve is the specialization of $2^{g-1}$ even theta characteristics and $2^{g-1}$ odd theta characteristics. We then study the relationship between unramified double covers of a tropical curve and its theta characteristics, and use this to define the tropical Prym variety. △ Less

Submitted 19 March, 2018; v1 submitted 7 June, 2016; originally announced June 2016.

Comments: 20 pages, 7 figures

MSC Class: 14T05; 14H40

Journal ref: Selecta Mathematica, 2018

Hyperelliptic graphs and metrized complexes

Authors: Yoav Len

Abstract: We prove a version of Clifford's theorem for metrized complexes. Namely, a metrized complex that carries a divisor of degree $2r$ and rank $r$ (for $0<r<g-1$) also carries a divisor of degree $2$ and rank $1$. We provide a structure theorem for hyperelliptic metrized complexes, and use it to classify divisors of degree bounded by the genus. We discuss a tropical version of Martens' theorem for met… ▽ More We prove a version of Clifford's theorem for metrized complexes. Namely, a metrized complex that carries a divisor of degree $2r$ and rank $r$ (for $0<r<g-1$) also carries a divisor of degree $2$ and rank $1$. We provide a structure theorem for hyperelliptic metrized complexes, and use it to classify divisors of degree bounded by the genus. We discuss a tropical version of Martens' theorem for metric graphs. △ Less

Submitted 27 June, 2016; v1 submitted 8 January, 2016; originally announced January 2016.

Comments: Fixed a gap in Proposition 3.3

Journal ref: Forum of Mathematics, Sigma , Volume 5 , 2017 , e20

Leading gradient correction to the kinetic energy for two-dimensional fermion gases

Authors: Martin-Isbjörn Trappe, Yink Loong Len, Hui Khoon Ng, Cord Axel Müller, Berthold-Georg Englert

Abstract: Density functional theory (DFT) is notorious for the absence of gradient corrections to the two-dimensional (2D) Thomas-Fermi kinetic-energy functional; it is widely accepted that the 2D analog of the 3D von Weizsäcker correction vanishes, together with all higher-order corrections. Contrary to this long-held belief, we show that the leading correction to the kinetic energy does not vanish, is una… ▽ More Density functional theory (DFT) is notorious for the absence of gradient corrections to the two-dimensional (2D) Thomas-Fermi kinetic-energy functional; it is widely accepted that the 2D analog of the 3D von Weizsäcker correction vanishes, together with all higher-order corrections. Contrary to this long-held belief, we show that the leading correction to the kinetic energy does not vanish, is unambiguous, and contributes perturbatively to the total energy. This insight emerges naturally in a simple extension of standard DFT, which has the effective potential energy as a functional variable on equal footing with the single-particle density. △ Less

Submitted 26 February, 2016; v1 submitted 23 December, 2015; originally announced December 2015.

Comments: 6 pages, 2 figures

Journal ref: Phys. Rev. A 93, 042510 (2016)

Enumerative geometry of elliptic curves on toric surfaces

Authors: Yoav Len, Dhruv Ranganathan

Abstract: We establish the equality of classical and tropical curve counts for elliptic curves on toric surfaces with fixed $j$-invariant, refining results of Mikhalkin and Nishinou--Siebert. As an application, we determine a formula for such counts on $\mathbb P^2$ and all Hirzebruch surfaces. This formula relates the count of elliptic curves with the number of rational curves on the surface satisfying a s… ▽ More We establish the equality of classical and tropical curve counts for elliptic curves on toric surfaces with fixed $j$-invariant, refining results of Mikhalkin and Nishinou--Siebert. As an application, we determine a formula for such counts on $\mathbb P^2$ and all Hirzebruch surfaces. This formula relates the count of elliptic curves with the number of rational curves on the surface satisfying a small number of tangency conditions with the toric boundary. Furthermore, the combinatorial tropical multiplicities of Kerber and Markwig for counts in $\mathbb P^2$ are derived and explained algebro-geometrically, using Berkovich geometry and logarithmic Gromov--Witten theory. As a consequence, a new proof of Pandharipande's formula for counts of elliptic curves in $\mathbb P^2$ with fixed $j$-invariant is obtained. △ Less

Submitted 26 June, 2017; v1 submitted 28 October, 2015; originally announced October 2015.

Comments: v3: 23 pages, 11 TikZ figures. Several details added to clarify Section 3, other minor changes. To appear in the Israel Journal of Mathematics

Journal ref: Israel Journal of Mathematics, June 2018, Volume 226, Issue 1, pp 351-385

The initial system-bath state via the maximum-entropy principle

Authors: Jibo Dai, Yink Loong Len, Hui Khoon Ng

Abstract: The initial state of a system-bath composite is needed as the input for prediction from any quantum evolution equation to describe subsequent system-only reduced dynamics or the noise on the system from joint evolution of the system and the bath. The conventional wisdom is to write down an uncorrelated state as if the system and the bath were prepared in the absence of each other; yet, such a fact… ▽ More The initial state of a system-bath composite is needed as the input for prediction from any quantum evolution equation to describe subsequent system-only reduced dynamics or the noise on the system from joint evolution of the system and the bath. The conventional wisdom is to write down an uncorrelated state as if the system and the bath were prepared in the absence of each other; yet, such a factorized state cannot be the exact description in the presence of system-bath interactions. Here, we show how to go beyond the simplistic factorized-state prescription using ideas from quantum tomography: We employ the maximum-entropy principle to deduce an initial system- bath state consistent with the available information. For the generic case of weak interactions, we obtain an explicit formula for the correction to the factorized state. Such a state turns out to have little correlation between the system and the bath, which we can quantify using our formula. This has implications, in particular, on the subject of subsequent non-completely-positive dynamics of the system. Deviation from predictions based on such an almost uncorrelated state is indicative of accidental control of hidden degrees of freedom in the bath. △ Less

Submitted 26 October, 2016; v1 submitted 27 August, 2015; originally announced August 2015.

Comments: Accepted for PRA. 10 pages, 3 figure, We have include a much expanded discussion of the consequences of our initial result and also illustrated our method using relevant examples in V3. We thank the anonymous referee for critical suggestions and comments

Journal ref: Phys. Rev. A 94, 052112 (2016)

A note on algebraic rank, matroids, and metrized complexes

Authors: Yoav Len

Abstract: We show that the algebraic rank of divisors on certain graphs is related to the realizability problem of matroids. As a consequence, we produce a series of examples in which the algebraic rank depends on the ground field. We use the theory of metrized complexes to show that equality between the algebraic and combinatorial rank is not a sufficient condition for smoothability of divisors, thus givin… ▽ More We show that the algebraic rank of divisors on certain graphs is related to the realizability problem of matroids. As a consequence, we produce a series of examples in which the algebraic rank depends on the ground field. We use the theory of metrized complexes to show that equality between the algebraic and combinatorial rank is not a sufficient condition for smoothability of divisors, thus giving a negative answer to a question posed by Caporaso, Melo, and the author. △ Less

Submitted 29 October, 2017; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: To appear in Mathematical Research Letters

Journal ref: Mathematical Research Letters 24(3) (2014)

Bitangents of tropical plane quartic curves

Authors: Matt Baker, Yoav Len, Ralph Morrison, Nathan Pflueger, Qingchun Ren

Abstract: We study smooth tropical plane quartic curves and show that they satisfy certain properties analogous to (but also different from) smooth plane quartics in algebraic geometry. For example, we show that every such curve admits either infinitely many or exactly 7 bitangent lines. We also prove that a smooth tropical plane quartic curve cannot be hyperelliptic. We study smooth tropical plane quartic curves and show that they satisfy certain properties analogous to (but also different from) smooth plane quartics in algebraic geometry. For example, we show that every such curve admits either infinitely many or exactly 7 bitangent lines. We also prove that a smooth tropical plane quartic curve cannot be hyperelliptic. △ Less

Submitted 15 October, 2015; v1 submitted 29 April, 2014; originally announced April 2014.

Comments: 13 pages, 9 figures. Minor revisions; accepted for publication in Mathematische Zeitschrift

MSC Class: 14T05

Journal ref: Math. Zeitschrift 282 (2016), no. 3-4, 1017-1031

Experimental detection of entanglement with optimal-witness families

Authors: Jibo Dai, Yink Loong Len, Yong Siah Teo, Berthold-Georg Englert, Leonid A. Krivitsky

Abstract: We report an experiment in which one determines, with least tomographic effort, whether an unknown two-photon polarization state is entangled or separable. The method measures whole families of optimal entanglement witnesses. We introduce adaptive measurement schemes that greatly speed up the entanglement detection. The experiments are performed on states of different ranks, and we find good agree… ▽ More We report an experiment in which one determines, with least tomographic effort, whether an unknown two-photon polarization state is entangled or separable. The method measures whole families of optimal entanglement witnesses. We introduce adaptive measurement schemes that greatly speed up the entanglement detection. The experiments are performed on states of different ranks, and we find good agreement with results from computer simulations. △ Less

Submitted 28 September, 2014; v1 submitted 23 February, 2014; originally announced February 2014.

Comments: Accepted for PRL. V3 includes an appendix which we comment on related work, discuss more general adaptive schemes, provide some technical details of the experiment. We thank the anonymous referees for critical suggestions and comments

Journal ref: Phys. Rev. Lett. 113, 170402 (2014)

Algebraic and combinatorial rank of divisors on finite graphs

Authors: Lucia Caporaso, Yoav Len, Margarida Melo

Abstract: We study the algebraic rank of a divisor on a graph, an invariant defined using divisors on algebraic curves dual to the graph. We prove it satisfies the Riemann-Roch formula, a specialization property, and the Clifford inequality. We prove that it is at most equal to the (usual) combinatorial rank, and that equality holds in many cases, though not in general. We study the algebraic rank of a divisor on a graph, an invariant defined using divisors on algebraic curves dual to the graph. We prove it satisfies the Riemann-Roch formula, a specialization property, and the Clifford inequality. We prove that it is at most equal to the (usual) combinatorial rank, and that equality holds in many cases, though not in general. △ Less

Submitted 25 November, 2014; v1 submitted 22 January, 2014; originally announced January 2014.

Comments: Final version to appear in Journal des Mathematiques Pures et Appliquees. 36 pages

MSC Class: Primary 14Hxx; 05Cxx

Controllable generation of mixed two-photon states

Authors: Jibo Dai, Yink Loong Len, Yong Siah Teo, Leonid A. Krivitsky, Berthold-Georg Englert

Abstract: We report a controllable method for producing mixed two-photon states via Spontaneous Parametric Down-Conversion with a two-type-I crystal geometry. By using variable polarization rotators (VPRs), one obtains mixed states of various purities and degrees of entanglement depending on the parameters of the VPRs. The generated states are characterized by quantum state tomography. The experimental resu… ▽ More We report a controllable method for producing mixed two-photon states via Spontaneous Parametric Down-Conversion with a two-type-I crystal geometry. By using variable polarization rotators (VPRs), one obtains mixed states of various purities and degrees of entanglement depending on the parameters of the VPRs. The generated states are characterized by quantum state tomography. The experimental results are found to be in good agreement with the theory. The method can be easily implemented for various experiments which require the generation of states with controllable degrees of entanglement or mixedness. △ Less

Submitted 8 April, 2013; originally announced April 2013.

Comments: submitted for publication

Journal ref: New J. Phys. 15 (2013) 063011

The Brill-Noether rank of a tropical curve

Authors: Yoav Len

Abstract: We construct a space classifying divisor classes of a fixed degree on all tropical curves of a fixed combinatorial type and show that the function taking a divisor class to its rank is upper semicontinuous. We extend the definition of the Brill-Noether rank of a metric graph to tropical curves and use the upper semicontinuity of the rank function on divisors to show that the Brill-Noether rank var… ▽ More We construct a space classifying divisor classes of a fixed degree on all tropical curves of a fixed combinatorial type and show that the function taking a divisor class to its rank is upper semicontinuous. We extend the definition of the Brill-Noether rank of a metric graph to tropical curves and use the upper semicontinuity of the rank function on divisors to show that the Brill-Noether rank varies upper semicontinuously in families of tropical curves. Furthermore, we present a specialization lemma relating the Brill-Noether rank of a tropical curve with the dimension of the Brill-Noether locus of an algerbaic curve. △ Less

Submitted 1 April, 2014; v1 submitted 27 September, 2012; originally announced September 2012.

Comments: 17 pages, 4 figures; v2: changed title, updated references, minor improvements. To appear in Journal of Algebraic Combinatorics

MSC Class: 14T05; 14H51; 05C99