Commutator Relations Reveal Solvable Structures in Unambiguous State Discrimination

We present a criterion, based on three commutator relations, that allows to decide whether two self-adjoint matrices with non-overlapping support are simultaneously unitarily similar to quasidiagonal matrices, i.e., whether they can be simultaneously brought into a diagonal structure with 2x2-dimensional blocks. Application of this criterion to unambiguous state discrimination provides a systematic test whether the given problem is reducible to a solvable structure. As an example, we discuss unambiguous state comparison.Comment: 5 pages, discussion of related work adde

Relation between Light Cone Distribution Amplitudes and Shape Function in B mesons

The Bakamjian-Thomas relativistic quark model provides a Poincar\'e representation of bound states with a fixed number of constituents and, in the heavy quark limit, form factors of currents satisfy covariance and Isgur-Wise scaling. We compute the Light Cone Distribution Amplitudes of $B$ mesons $\phi_{\pm}^B(\omega)$ as well as the Shape Function $S(\omega)$, that enters in the decay $B \to X_s \gamma$, that are also covariant in this class of models. The LCDA and the SF are related through the quark model wave function. The former satisfy, in the limit of vanishing constituent light quark mass, the integral relation given by QCD in the valence sector of Fock space. Using a gaussian wave function, the obtained $S(\omega)$ is identical to the so-called Roman Shape Function. From the parameters for the latter that fit the $B \to X_s\gamma$ spectrum we predict the behaviour of $\phi_{\pm}^B(\omega)$. We discuss the important role played by the constituent light quark mass. In particular, although $\phi_-^B(0) \not= 0$ for vanishing light quark mass, a non-vanishing mass implies the unfamiliar result $\phi_-^B (0) = 0$. Moreover, we incorporate the short distance behaviour of QCD to $\phi_+^B (\omega)$, which has sizeable effects at large $\omega$. We obtain the values for the parameters $\bar{\Lambda} \cong 0.35$ GeV and $\lambda_B^{-1} \cong 1.43$ GeV$^{-1}$. We compare with other theoretical approaches and illustrate the great variety of models found in the literature for the functions $\phi_{\pm}^B (\omega)$; hence the necessity of imposing further constraints as in the present paper. We briefly review also the different phenomena that are sensitive to the LCDA.Comment: 6 figure

On Verifying Causal Consistency

Causal consistency is one of the most adopted consistency criteria for distributed implementations of data structures. It ensures that operations are executed at all sites according to their causal precedence. We address the issue of verifying automatically whether the executions of an implementation of a data structure are causally consistent. We consider two problems: (1) checking whether one single execution is causally consistent, which is relevant for developing testing and bug finding algorithms, and (2) verifying whether all the executions of an implementation are causally consistent. We show that the first problem is NP-complete. This holds even for the read-write memory abstraction, which is a building block of many modern distributed systems. Indeed, such systems often store data in key-value stores, which are instances of the read-write memory abstraction. Moreover, we prove that, surprisingly, the second problem is undecidable, and again this holds even for the read-write memory abstraction. However, we show that for the read-write memory abstraction, these negative results can be circumvented if the implementations are data independent, i.e., their behaviors do not depend on the data values that are written or read at each moment, which is a realistic assumption.Comment: extended version of POPL 201

The eventual leadership in dynamic mobile networking environments

2007-2008 > Academic research: refereed > Refereed conference paperVersion of RecordPublishe

Implementing Non-Projective Measurements via Linear Optics: an Approach Based on Optimal Quantum State Discrimination

We discuss the problem of implementing generalized measurements (POVMs) with linear optics, either based upon a static linear array or including conditional dynamics. In our approach, a given POVM shall be identified as a solution to an optimization problem for a chosen cost function. We formulate a general principle: the implementation is only possible if a linear-optics circuit exists for which the quantum mechanical optimum (minimum) is still attainable after dephasing the corresponding quantum states. The general principle enables us, for instance, to derive a set of necessary conditions for the linear-optics implementation of the POVM that realizes the quantum mechanically optimal unambiguous discrimination of two pure nonorthogonal states. This extends our previous results on projection measurements and the exact discrimination of orthogonal states.Comment: final published versio

Spatial distributions in static heavy-light mesons: a comparison of quark models with lattice QCD

Lattice measurements of spatial distributions of the light quark bilinear densities in static mesons allow to test directly and in detail the wave functions of quark models. These distributions are gauge invariant quantities directly related to the spatial distribution of wave functions. We make a detailed comparison of the recent lattice QCD results with our own quark models, formulated previously for quite different purposes. We find a striking agreement not only between our two quark models, but also with the lattice QCD data for the ground state in an important range of distances up to about 4/GeV. Moreover the agreement extends to the L=1 states [j^P=(1/2)^+]. An explanation of several particular features completely at odds with the non-relativistic approximation is provided. A rather direct, somewhat unexpected and of course approximate relation between wave functions of certain quark models and QCD has been established.Comment: 40 pages, 5 figures (version published in PRD

Possible explanation of the discrepancy of the light-cone QCD sum rule calculation of g(D*Dpi) coupling with experiment

The introduction of an explicit negative radial excitation contribution in the hadronic side of the light cone QCD sum rule (LCSR) of Belyaev, Braun, Khodjamirian and Ruckl, can explain the large experimental value of g(D*Dpi), recently measured by CLEO. At the same time, it considerably improves the stability of the sum rule when varying the Borel parameter.Comment: 9 pages, 1 PostScript figure