The aim of this paper is to introduce a general model of quantum computation, the quantum calculus: both unitary transformations and projective measurements are allowed; furthermore a complete classical control, including conditional structures and loops, is available. Complementary to its operational semantics, we introduce a pure denotational semantics for the quantum calculus. Based on proba...

Quantifying entanglement in composite systems is a fundamental challenge, yet exact results are available in only a few special cases. This is because hard optimization problems are routinely involved, such as finding the convex decomposition of a mixed state with the minimal average pure-state entanglement, the so-called convex roof. We show that under certain conditions such a problem becomes...

In a gauge theory with no Higgs fields the mechanism for confinement is by center vortices, but in theories with adjoint Higgs fields and generic symmetry breaking, such as the Georgi-Glashow model, Polyakov showed that in d=3 confinement arises via a condensate of ’t Hooft-Polyakov monopoles. We study the connection in d=3 between pure-gauge theory and the theory with adjoint Higgs by varying ...

Likelihood-based Imprecise Regression (LIR) is a recently introduced approach to regression with imprecise data. Here we consider a robust regression method derived from the general LIR approach and we establish an exact algorithm to determine the set-valued result of the LIR analysis in the special case of simple linear regression with interval data.

This paper addresses the maintenance of discovered frequent patterns when a batch of transactions are removed from the original dataset. We conduct an in-depth investigation on how the frequent pattern space evolves under transaction removal updates using the concept of equivalence classes. Inspired by the evolution analysis, an effective and exact algorithm TRUM is proposed to maintain frequen...

Take for instance a k-algebra 4 over a field k. Then the usual k-dual DM=Homk(M, k) of a finite dimensional 4-module M satisfies all three properties. However for infinite dimensional 4-modules the condition (D1) does not hold, and for most rings there is even on the level of the finite length modules no duality functor between right and left modules available. The aim of this note is to descri...

We compute the capacity of entanglement in bipartite random pure state model using replica method. find exact expression which is valid for a finite dimension Hilbert space. argue that gravitational path integral, receives contributions only from sub-leading saddle points corresponding to partially connected geometries.

Merocyanine 540 (MC540) is a widely used dye probe for membranous environments. However, fundamental knowledge of the spectral features of this dye in aqueous and hydrophobic environments is still lacking. Such knowledge is important because biomembranes involve a hydrophobic environment surrounded by a hydrophilic environment. Because many investigations so far have been performed based on ind...