897 citations
- The Graduate University for Advanced Studies, SOKENDAIJP73 papers
- The University of TokyoJP64 papers
- NTT Basic Research LaboratoriesJP28 papers
- Stanford UniversityUS22 papers
- Centre National de la Recherche ScientifiqueFR19 papers
- Okinawa Institute of Science and Technology Graduate UniversityJP19 papers
- Kyoto UniversityJP17 papers
- Hewlett-Packard (United Kingdom)GB16 papers
- Nagoya UniversityJP14 papers
- New York University ShanghaiCN14 papers
- Research Organization of Information and SystemsJP14 papers
- Bristol Laboratories (United Kingdom)GB13 papers
Showing 2004Show all
3 papers · 1 filter
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…