22 citations
3 papers
cs.LO2004
A feasible algorithm for typing in Elementary Affine Logic
Patrick Baillot, Kazushige Terui
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following p…
quant-ph2004★ 22 cited
Asymptotic performance of optimal state estimation in quantum two level system
Masahito Hayashi, Keiji Matsumoto
We derived an asymptotic bound the accuracy of the estimation when we use the quantum correlation in the measuring apparatus. It is also proved that this bound can be achieved in a…
quant-ph2004
Qubit Channels Which Require Four Inputs to Achieve Capacity: Implications for Additivity Conjectures
Masahito Hayashi, Hiroshi Imai, Keiji Matsumoto +2
An example is given of a qubit quantum channel which requires four inputs to maximize the Holevo capacity. The example is one of a family of channels which are related to 3-state c…