

External AwardsResearch Encouragement AwardWinner: Hitoshi Niigaki, Ken Tsutsuguchi, and Tetsuya Kinebuchi, NTT Media Intelligence Laboratories Date: June 22, 2018 Organization: The Institute of Image Electronics Engineers of Japan For “Detection of Tree Trunk from 3D Pointcloud Measured by Mobile Mapping System –Feature Extraction for Sweep Object Detection–.” Best Paper AwardWinner: Kyoko Sudo, Toho University; Kazuhiko Murasaki, Tetsuya Kinebuchi, Media Intelligence Laboratories; Shigeko Kimura, Kayo Waki, and Kazuhiko Ohe, The University of Tokyo Date: July 15, 2018 Organization: Multimedia on Cooking and Eating Activities, Human Communication Group, the Institute of Electronics, Information and Communication Engineers (IEICE) For “Intuitively Estimating the Healthiness of Meals from Their Images.” Published as: K. Sudo, K. Murasaki, T. Kinebuchi, S. Kimura, K. Waki, and K. Ohe, “Intuitively Estimating the Healthiness of Meals from Their Images,” Proc. of the Joint Workshop on Multimedia for Cooking and Eating Activities and Multimedia Assisted Dietary Management, Stockholm, Sweden, July 2018. IEEE Photonics Society Distinguished LecturerWinner: Hiroki Takesue, NTT Basic Research Laboratories Date: July 18, 2018 Organization: The Institute of Electrical and Electronics Engineers (IEEE) Photonics Society For “Coherent Ising Machine: A Photonic Ising Model Solver Based on Degenerate Optical Parametric Oscillator Network.” Suzuki Memorial AwardWinner: Shota Orihashi, NTT Media Intelligence Laboratories Date: August 30, 2018 Organization: The Institute of Image Information and Television Engineers (ITE) For “A Study on Fast Block Partitioning in HEVC Using Convolutional Neural Network” (in Japanese). Published as: S. Orihashi, S. Kudo, M. Kitahara, and A. Shimizu, “A Study on Fast Block Partitioning in HEVC Using Convolutional Neural Network,” ITE Annual Convention, 21B3, Tokyo, Japan, Aug./Sept. 2017. IPSJ Yamashita SIG Research AwardWinner: Hiroyuki Kirinuki, NTT Software Innovation Center Date: August 30, 2018 Organization: Information Processing Society of Japan (IPSJ) For “Automatic Locator Repair on GUI Test Scripts.” Published as: H. Kirinuki, H. Tanno, and K. Natsukawa, “Automatic Locator Repair on GUI Test Scripts,” Proc. of IPSJ/SIGSE Software Engineering Symposium (SES2017), Tokyo, Japan, Aug./Sept. 2017. Papers Published in Technical Journals and Conference ProceedingsInteractive Proofs with Polynomialtime Quantum Prover for Computing the Order of Solvable GroupsF. Le Gall, T. Morimae, H. Nishimura, and Y. Takeuchi Proc. of the 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), Vol. 117, No. 1, pp. 26:1–26:13, Liverpool, UK, August 2018. In this paper we consider what can be computed by a user interacting with a potentially malicious server, when the server performs polynomialtime quantum computation but the user can only perform polynomialtime classical (i.e., nonquantum) computation. Understanding the computational power of this model, which corresponds to polynomialtime quantum computation that can be efficiently verified classically, is a wellknown open problem in quantum computing. Our result shows that computing the order of a solvable group, which is one of the most general problems for which quantum computing exhibits an exponential speedup with respect to classical computing, can be realized in this model. Novel Optimizing Technique for Linear Optical MachZehnder Modulator and Its Experimental Verification Using PAM8 SignalH. Kawakami, H. Yamazaki, and Y. Miyamoto Proc. of the 44th European Conference on Optical Communication (ECOC 2018), We2.13, Rome, Italy, September 2018. We propose an optimizing technique for a linear optical modulator for selecting whether to linearize the optical power or electric field response. With this technique, a PAM8 signal was successfully generated with a driving signal having a swing voltage of 0.7Vpi. Quantum Computational Universality of Hypergraph States with PauliX and Z Basis MeasurementsY. Takeuchi, T. Morimae, and M. Hayashi arXiv:1809.07552 [quantph], September 2018. Measurementbased quantum computing is one of the most promising quantum computing models. Among various universal resource states proposed so far, the Union Jack state is the best in the sense that it requires only PauliX, Y, and Z basis measurements. It was open whether only two Pauli bases are enough for universal measurementbased quantum computing. In this paper, we construct a universal hypergraph state that only requires X and Zbasis measurements. We also show that the fidelity between a given state and our hypergraph state can be estimated in polynomial time using only X and Zbasis measurements, which is useful for the verification of quantum computing. Furthermore, in order to demonstrate an advantage of our hypergraph state, we construct a verifiable blind quantum computing protocol that requires only X and Zbasis measurements for the client. Verification of Manyqubit StatesY. Takeuchi and T. Morimae Proc. of the 18th Asian Quantum Information Science Conference (AQIS 2018), p. 48, Nagoya, Aichi, Japan, September 2018. Verification is a task to check whether a given quantum state is close to an ideal state or not. In this paper, we show that several manyqubit states can be verified with only singlequbit Pauli measurements. Specifically, we introduce protocols for ground states of Hamiltonians, quantum states generated by some quantum circuits, and all polynomialtimegenerated hypergraph states. Importantly, we do not make any assumption that the i.i.d. copies of the same states are given. Our protocols work even if entanglement is created among copies in any artificial way. As an application, we consider the verification of the BremnerMontanaroShepherdtype IQP circuits. Power of Uninitialized Qubits in Shallow Quantum CircuitsY. Takahashi and S. Tani Proc. of AQIS 2018, p. 49, Nagoya, Aichi, Japan, September 2018. We study the computational power of shallow quantum circuits with O(log n) initialized and n^{O(1)} uninitialized ancillary qubits, where n is the input length and the initial state of the uninitialized ancillary qubits is arbitrary. First, we show that such a circuit can compute any symmetric function on n bits that is computable by a uniform family of polynomialsize classical circuits. Then, we regard such a circuit as an oracle and show that a polynomialtime classical algorithm with the oracle can estimate the elements of any unitary matrix corresponding to a constantdepth quantum circuit on n qubits. Since it seems unlikely that these tasks can be done with only O(log n) initialized ancillary qubits, our results give evidences that adding uninitialized ancillary qubits increases the computational power of shallow quantum circuits with only O(log n) initialized ancillary qubits. Lastly, to understand the limitations of uninitialized ancillary qubits, we focus on sublogarithmicdepth quantum circuits with them and show the impossibility of computing the parity function on n bits. Resourceefficient Verification of Quantum Computing Using Serfling’s BoundY. Takeuchi AQIS 2018 Kyoto satellite workshop on quantum computing, Kyoto, Japan, September 2018. In measurementbased quantum computing, checking whether correct graph states are generated or not is essential for reliable quantum computing. Several verification protocols for graph states have been proposed, but none of these are particularly resource efficient: Many copies are required in order to extract a single state that is guaranteed to be close to the ideal graph state. For example, the best protocol currently known requires O(n^{15}) copies of the state, where n is the size of the graph state. In this talk, we propose a significantly more resourceefficient verification protocol for graph states that needs only O(n^{5} log n) copies. The key idea that achieves such a drastic improvement is to employ Serfling’s bound, which is a probability inequality in classical statistics. Utilizing Serfling’s bound also enables us to generalize our protocol for qudit graph states and continuousvariable weighted hypergraph states. This talk is based on joint work with Atul Mantri, Tomoyuki Morimae, Akihiro Mizutani, and Joseph F. Fitzsimons. The detail is given in arXiv:1806.09138. 