• ### Heisenberg-scaling measurement of the single-photon Kerr non-linearity using mixed states(1612.07427)

May 16, 2018 quant-ph, physics.optics
Improving the precision of measurements is a significant scientific challenge. The challenge is twofold: first, overcoming noise that limits the precision given a fixed amount of a resource, N, and second, improving the scaling of precision over the standard quantum limit (SQL), 1/\sqrt{N}, and ultimately reaching a Heisenberg scaling (HS), 1/N. Here we present and experimentally implement a new scheme for precision measurements. Our scheme is based on a probe in a mixed state with a large uncertainty, combined with a post-selection of an additional pure system, such that the precision of the estimated coupling strength between the probe and the system is enhanced. We performed a measurement of a single photon's Kerr non-linearity with an HS, where an ultra-small Kerr phase of around 6 *10^{-8} rad was observed with an unprecedented precision of around 3.6* 10^{-10} rad. Moreover, our scheme utilizes an imaginary weak-value, the Kerr non-linearity results in a shift of the mean photon number of the probe, and hence, the scheme is robust to noise originating from the self-phase modulation.
• ### Experimentally Robust Self-testing for Bipartite and Tripartite Entangled States(1804.01375)

April 4, 2018 quant-ph
Self-testing refers to a method with which a classical user can certify the state and measurements of quantum systems in a device-independent way. Especially, the self-testing of entangled states is of great importance in quantum information process. A comprehensible example is that violating the CHSH inequality maximally necessarily implies the bipartite shares a singlet. One essential question in self-testing is that, when one observes a non-maximum violation, how close is the tested state to the target state (which maximally violates certain Bell inequality)? The answer to this question describes the robustness of the used self-testing criterion, which is highly important in a practical sense. Recently, J. Kaniewski predicts two analytic self-testing bounds for bipartite and tripartite systems. In this work, we experimentally investigate these two bounds with high quality two-qubit and three-qubit entanglement sources. The results show that these bounds are valid for various of entangled states we prepared, and thus, we implement robust self-testing processes which improve the previous results significantly.
• ### Experimental self-testing of entangled states(1803.10961)

March 29, 2018 quant-ph
Quantum entanglement is the key resource for quantum information processing. Device-independent certification of entangled states is a long standing open question, which arouses the concept of self-testing. The central aim of self-testing is to certify the state and measurements of quantum systems without any knowledge of their inner workings, even when the used devices cannot be trusted. Specifically, utilizing Bell's theorem, it is possible to place a boundary on the singlet fidelity of entangled qubits. Here, beyond this rough estimation, we experimentally demonstrate a complete self-testing process for various pure bipartite entangled states up to four dimensions, by simply inspecting the correlations of the measurement outcomes. We show that this self-testing process can certify the exact form of entangled states with fidelities higher than 99.9% for all the investigated scenarios, which indicates the superior completeness and robustness of this method. Our work promotes self-testing as a practical tool for developing quantum techniques.
• ### On finite time BV blow-up for the p-system(1710.03382)

Oct. 10, 2017 math.AP
The paper studies the possible blowup of the total variation for entropy weak solutions of the p-system, modeling isentropic gas dynamics. It is assumed that the density remains uniformly positive, while the initial data can have arbitrarily large total variation (measured in terms of Riemann invariants). Two main results are proved. (I) If the total variation blows up in finite time, then the solution must contain an infinite number of large shocks in a neighborhood of some point in the $t$-$x$ plane. (II) Piecewise smooth approximate solutions can be constructed whose total variation blows up in finite time. For these solutions the strength of waves emerging from each interaction is exact, while rarefaction waves satisfy the natural decay estimates stemming from the assumption of genuine nonlinearity.
• ### A self-guide method to search maximal Bell violation for unknown quantum states(1707.05449)

July 18, 2017 quant-ph
In recent decades, a great variety of researches and applications concerning Bell nonlocality have been developed with the advent of quantum information science. Providing that Bell nonlocality can be revealed by the violation of a family of Bell inequalities, finding maximal Bell violation (MBV) for unknown quantum states becomes an important and inevitable task during Bell experiments. In this paper we introduce a self-guide method to find MBVs for unknown states using a stochastic gradient ascent algorithm (SGA), by parameterizing the corresponding Bell operators. For all the investigated systems (2-qubit, 3-qubit and 2-qutrit), this method can ascertain the MBV accurately within 100 iterations. Moreover, SGA exhibits significant superiority in efficiency, robustness and versatility compared to other possible methods.
• ### Lipschitz metric for the Novikov equation(1611.08277)

Nov. 24, 2016 math.AP
We consider the Lipschitz continuous dependence of solutions for the Novikov equation with respect to the initial data. In particular, we construct a Finsler type optimal transport metric which renders the solution map Lipschitz continuous on bounded set of $H^1(R)\cap W^{1,4}(R)$, although it is not Lipschitz continuous under the natural Sobolev metric from energy law due to the finite time gradient blowup. By an application of Thom's transversality Theorem, we also prove that when the initial data are in an open dense set of $H^1(R)\cap W^{1,4}(R)$, the solution is piecewise smooth. This generic regularity result helps us extend the Lipschitz continuous metric to the general weak solutions.
• ### Singularity formation for compressible Euler equations(1408.6775)

Nov. 15, 2016 math.AP
It is well-known that shock will form in finite time for hyperbolic conservation laws from initial nonlinear compression no matter how small and smooth the data are. Classical results, including Lax [14], Liu [22], Li-Zhou-Kong [16], confirm that when initial data are small smooth perturbations near constant states, blowup in gradient of solutions occurs in finite time if and only if intial data contain any compression in some truly nonlinear characteristic field. A natural puzzle is that: Will this picture keep true for large data problem of physical systems such as compressible Euler equations? One of the key issues is how to find an effective way to obtain sharp enough control on density lower bound. For isentropic flow, we offer a complete picture on the finite time shock formation from smooth initial data away from vacuum, which is consistent with small data theory. For adiabatic flow, we show a striking observation that initial weak compressions do not necessarily develop singularity in finite time, in a sharp contrast to the small data theory. Furthermore, we find the critical strength of nonlinear compression, and prove that if the compression is stronger than this critical value, then singularity develops in finite time, and otherwise there are a class of initial data admitting global smooth solutions with maximum strength of compression equals to this critical value.
• ### Strengthen Weak Measurement with Conjugated Destructive Interference(1605.09536)

May 31, 2016 quant-ph
Standard weak measurement (SWM) has been proved to be a useful ingredient for measuring small longitudinal phase shifts. [Phys. Rev. Lett. 111, 033604 (2013)]. In this letter, we show that with specfic pre-coupling and postselection, destructive interference can be observed for the two conjugated variables, i.e. time and frequency, of the meter state. Using a broad band source, this conjugated destructive interference (CDI) can be observed in a regime approximately 1 attosecond, while the related spectral shift reaches hundreds of THz. This extreme sensitivity can be used to detect tiny longitudinal phase perturbation. Combined with a frequency-domain analysis, conjugated destructive interference weak measurement (CDIWM) is proved to outperform SWM by two orders of magnitude.
• ### Experimental detection of polarization-frequency quantum correlations in a photonic quantum channel by local operations(1311.5034)

Nov. 26, 2015 quant-ph
The measurement of correlations between different degrees of freedom is an important, but in general extremely difficult task in many applications of quantum mechanics. Here, we report an all-optical experimental detection and quantification of quantum correlations between the polarization and the frequency degrees of freedom of single photons by means of local operations acting only on the polarization degree of freedom. These operations only require experimental control over an easily accessible two-dimensional subsystem, despite handling strongly mixed quantum states comprised of a continuum of orthogonal frequency states. Our experiment thus represents a photonic realization of a scheme for the local detection of quantum correlations in a truly infinite-dimensional continuous-variable system, which excludes an efficient finite-dimensional truncation.
• ### Storage of multiple single-photon pulses emitted from a quantum dot in a solid-state quantum memory(1510.05358)

Oct. 19, 2015 quant-ph, physics.optics
Quantum repeaters are critical components for distributing entanglement over long distances in presence of unavoidable optical losses during transmission. Stimulated by Duan-Lukin-Cirac-Zoller protocol, many improved quantum-repeater protocols based on quantum memories have been proposed, which commonly focus on the entanglement-distribution rate. Among these protocols, the elimination of multi-photons (multi-photon-pairs) and the use of multimode quantum memory are demonstrated to have the ability to greatly improve the entanglement-distribution rate. Here, we demonstrate the storage of deterministic single photons emitted from a quantum dot in a polarization-maintaining solid-state quantum memory; in addition, multi-temporal-mode memory with $1$, $20$ and $100$ narrow single-photon pulses is also demonstrated. Multi-photons are eliminated, and only one photon at most is contained in each pulse. Moreover, the solid-state properties of both sub-systems make this configuration more stable and easier to be scalable. Our work will be helpful in the construction of efficient quantum repeaters based on all-solid-state devices
• ### Existence and uniqueness of the global conservative weak solutions for the integrable Novikov equation(1509.08569)

Sept. 29, 2015 math.AP
The integrable Novikov equation can be regarded as one of the Camassa-Holm-type equations with cubic nonlinearity. In this paper, we prove the global existence and uniqueness of the H\"older continuous energy conservative solutions for the Cauchy problem of the Novikov equation.
• ### Optimal time-dependent lower bound on density for classical solutions of 1-D compressible Euler equations(1508.04337)

Sept. 16, 2015 math.AP
For the compressible Euler equations, even when the initial data are uniformly away from vacuum, solution can approach vacuum in infinite time. Achieving sharp lower bounds of density is crucial in the study of Euler equations. In this paper, for the initial value problems of isentropic and full Euler equations in one space dimension, assuming initial density has positive lower bound, we prove that density functions in classical solutions have positive lower bounds in the order of $\textstyle O(1+t)^{-1}$ and $\textstyle O(1+t)^{-1-\delta}$ for any $\textstyle 0<\delta\ll 1$, respectively, where $t$ is time. The orders of these bounds are optimal or almost optimal, respectively. Furthermore, for classical solutions in Eulerian coordinates $(y,t)\in\mathbb{R}\times[0,T)$, we show velocity $u$ satisfies that $u_{y}(y,t)$ is uniformly bounded from above by a constant independent of $T$, although $u_{y}(y,t)$ tends to negative infinity when gradient blowup happens, i.e. when shock forms, in finite time.
• ### Quantum Storage of Three-Dimensional Orbital-Angular-Momentum Entanglement in a Crystal(1412.5243)

Aug. 15, 2015 quant-ph
Here we present the quantum storage of three-dimensional orbital-angular-momentum photonic entanglement in a rare-earth-ion-doped crystal. The properties of the entanglement and the storage process are confirmed by the violation of the Bell-type inequality generalized to three dimensions after storage ($S=2.152\pm0.033$). The fidelity of the memory process is $0.993\pm0.002$, as determined through complete quantum process tomography in three dimensions. An assessment of the visibility of the stored weak coherent pulses in higher-dimensional spaces, demonstrates that the memory is highly reliable for 51 spatial modes. These results pave the way towards the construction of high-dimensional and multiplexed quantum repeaters based on solid-state devices. The multimode capacity of rare-earth-based optical processor goes beyond the temporal and the spectral degree of freedom, which might provide a useful tool for photonic information processing.
• ### Lipschitz Metrics for a Class of Nonlinear Wave Equations(1506.06310)

June 21, 2015 math.AP
The nonlinear wave equation $u_{tt}-c(u)(c(u)u_x)_x=0$ determines a flow of conservative solutions taking values in the space $H^1(\mathbb{R})$. However, this flow is not continuous w.r.t. the natural $H^1$ distance. Aim of this paper is to construct a new metric which renders the flow uniformly Lipschitz continuous on bounded subsets of $H^1(\mathbb{R})$. For this purpose, $H^1$ is given the structure of a Finsler manifold, where the norm of tangent vectors is defined in terms of an optimal transportation problem. For paths of piecewise smooth solutions, one can carefully estimate how the weighted length grows in time. By the generic regularity result proved in [7], these piecewise regular paths are dense and can be used to construct a geodesic distance with the desired Lipschitz property.
• ### Generic Regularity of Conservative Solutions to a Nonlinear Wave Equation(1502.02611)

Feb. 9, 2015 math.AP
The paper is concerned with conservative solutions to the nonlinear wave equation $u_{tt} - c(u)\big(c(u) u_x\big)_x = 0$. For an open dense set of $C^3$ initial data, we prove that the solution is piecewise smooth in the $t$-$x$ plane, while the gradient $u_x$ can blow up along finitely many characteristic curves. The analysis is based on a variable transformation introduced in [7], which reduces the equation to a semilinear system with smooth coefficients, followed by an application of Thom's transversality theorem.
• ### No BV bounds for approximate solutions to p-system with general pressure law(1502.02616)

Feb. 9, 2015 math.AP
For the p-system with large BV initial data, an assumption introduced in [3] by Bakhvalov guarantees the global existence of entropy weak solutions with uniformly bounded total variation. The present paper provides a partial converse to this result. Whenever Bakhvalov's condition does not hold, we show that there exist front tracking approximate solutions, with uniformly positive density, whose total variation becomes arbitrarily large. The construction extends the arguments in [4] to a general class of pressure laws.
• ### Unique Conservative Solutions to a Variational Wave Equation(1411.2012)

Nov. 7, 2014 math.AP
Relying on the analysis of characteristics, we prove the uniqueness of conservative solutions to the variational wave equation $u_{tt}-c(u) (c(u)u_x)_x=0$. Given a solution $u(t,x)$, even if the wave speed $c(u)$ is only H\"older continuous in the $t$-$x$ plane, one can still define forward and backward characteristics in a unique way. Using a new set of independent variables $X,Y$, constant along characteristics, we prove that $t,x,u$, together with other variables, satisfy a semilinear system with smooth coefficients. From the uniqueness of the solution to this semilinear system, one obtains the uniqueness of conservative solutions to the Cauchy problem for the wave equation with general initial data $u(0,\cdot)\in H^1(\mathbb{R})$, $u_t(0,\cdot)\in L^2(\mathbb{R})$.
• ### Lower bound of density for Lipschitz continuous solutions in the isentropic gas dynamics(1410.3182)

Oct. 13, 2014 math.AP
For the Euler equations of isentropic gas dynamics in one space dimension, also knowns as p-system in Lagrangian coordinate, it is known that the density can be arbitrarily close to zero as time goes to infinity, even when initial density is uniformly away from zero. In this paper, for uniform positive initial density, we prove the density in any Lipschitz continuous solutions for Cauchy problem has a sharp positive lower bound in the order of O(1/(1+t)), which is identified by explicit examples in [9](Courant and Friedrichs, Supersonic Flow and Shock Waves, 1948.).
• ### Existence and regularity of solutions in nonlinear wave equations(1409.4402)

Sept. 12, 2014 math.AP
In this paper, we study the global existence and regularity of H\"older continuous solutions for a series of nonlinear partial differential equations describing nonlinear waves.
• ### Uniqueness of Conservative Solutions to the Camassa-Holm Equation via Characteristics(1401.0312)

Jan. 1, 2014 math.AP
The paper provides a direct proof the uniqueness of solutions to the Camassa-Holm equation, based on characteristics. Given a conservative solution $u=u(t,x)$, an equation is introduced which singles out a unique characteristic curve through each initial point. By studying the evolution of the quantities $u$ and $v= 2\arctan u_x$ along each characteristic, it is proved that the Cauchy problem with general initial data $u_0\in H^1(\mathbb{R})$ has a unique solution, globally in time.
• ### Finite time singularities for hyperbolic systems(1311.5196)

Nov. 20, 2013 math.AP
In this paper, we study the formation of finite time singularities in the form of super norm blowup for a spatially inhomogeneous hyperbolic system. The system is related to the variational wave equations as those in [18]. The system posses a unique $C^1$ solution before the emergence of vacuum in finite time, for given initial data that are smooth enough, bounded and uniformly away from vacuum. At the occurrence of blowup, the density becomes zero, while the momentum stays finite, however the velocity and the energy are both infinity.
• ### Lack of BV Bounds for Approximate Solutions to the p-system with Large Data(1310.7058)

Oct. 26, 2013 math.AP
We consider front tracking approximate solutions to the p-system of isentropic gas dynamics. At interaction times, the outgoing wave fronts have the same strength as in the exact solution of the Riemann problem, but some error is allowed in their speed. For large BV initial data, we construct examples showing that the total variation of these approximate solutions can become arbitrarily large, or even blow up in finite time. This happens even if the density of the gas remains uniformly positive.
• ### Experimental test of the tradeoff relation in weak measurement(1306.1027)

June 5, 2013 quant-ph
An upper bound between the information gain and state reversibility of weak measurement was first developed by Y. K. Cheong and S. W. Lee [Phys. Rev. Lett. 109, 150402 (2012)]. Their results are valid for arbitrary d-level quantum systems. In light of the commonly used qubit system in quantum information, a sharp tradeoff relation can be obtained. In this letter, this tradeoff relation is experimentally verified with polarization encoded single photons from a quantum dot. Furthermore, a complete traversal of weak measurement operators is realized, and the mapping to the least upper bound of this tradeoff relation is obtained. Our results complement the theoretical work and provide a universal ruler for the characterization of weak measurements.
• ### The almost global existence to classical solution for a 3-D wave equation of nematic liquid-crystals(1208.0246)

Aug. 1, 2012 math.AP
In this paper we obtain the wave equation modeling the nematic liquid-crystals in three space dimensions and study the lifespan of classical solution to Cauchy problem. The almost global existence to classical solution for small initial data will be presented.
• ### Singularity and existence to a wave system of nematic liquid crystals(1207.5190)

July 22, 2012 math.AP
In this paper, we prove the global existence and singularity formation for a wave system from modelling nematic liquid crystals in one space dimension. In our model, although the viscous damping term is included, the solution with smooth initial data still has gradient blowup in general, even when the initial energy is arbitrarily small.