19 papers · ranked by Valyu relevance
Dolev Bluvstein, Simon J. Evered, Alexandra A. Geim, Sophie H. Li + 17 more
'Hengyun Zhou' 'Tom Manovitz' 'Sepehr Ebadi' 'Madelyn Cain' 'Marcin Kalinowski' 'Dominik Hangleiter' 'J. Pablo Bonilla Ataides' 'Nishad Maskara' 'Iris Cong' 'Xun Gao' 'Pedro Sales Rodriguez' 'Thomas Karolyshyn' 'Giulia Semeghini' 'Michael J. Gullans' 'Markus Greiner' 'Vladan Vuletić' 'Mikhail D. Lukin'] Suppressing…
Dolev Bluvstein, Simon J. Evered, Alexandra A. Geim, Sophie H. Li + 17 more
'Hengyun Zhou' 'Tom Manovitz' 'Sepehr Ebadi' 'Madelyn Cain' 'M. W. Kalinowski' 'Dominik Hangleiter' 'J. Pablo Bonilla Ataides' 'Nishad Maskara' 'Iris Cong' 'Xun Gao' 'Pedro Sales Rodriguez' 'Thomas Karolyshyn' 'Giulia Semeghini' 'Michael J. Gullans' 'Markus Greiner' 'Vladan Vuletić' 'Mikhail D. Lukin'] Suppressing…
M. H. Abobeih, Y. Wang, J. Randall, S. J. H. Loenen + 5 more
'M. Markham' 'D. J. Twitchen' 'B. M. Terhal' 'T. H. Taminiau'] Solid-state spin qubits is a promising platform for quantum computation and quantum networks1,2. Recent experiments have demonstrated high-quality control over multi-qubit systems3-8, elementary quantum algorithms8-11 and non-fault-tolerant error…
Dennis Delali Kwesi Wayo
Fault-tolerant quantum computation in photonic architectures relies critically on the efficient preparation of high-fidelity logical magic states under realistic constraints on finite squeezing and photon loss. In this work, we investigate logical T-gate magic-state preparation in GKPencoded photonic qubits using a…
Younghun Kim, M. E. Sevior, Muhammad Usman
Threshold Authors: ['Younghun Kim' 'M. E. Sevior' 'Muhammad Usman'] The surface code family is a promising approach to implementing fault-tolerant quantum computations. Universal fault-tolerance requires error-corrected non-Clifford operations, in addition to Clifford gates, and for the former, it is imperative to…
Reinier W. Heeres, Philip Reinhold, Nissim Ofek, Luigi Frunzio + 3 more
'Liang Jiang' 'Michel H. Devoret' 'Robert J. Schoelkopf'] A logical qubit is a two-dimensional subspace of a higher dimensional system, chosen such that it is possible to detect and correct the occurrence of certain errors. Manipulation of the encoded information generally requires arbitrary and precise control over…
Ming Gong, Xiao Yuan, Shiyu Wang, Yulin Wu + 18 more
'Shaowei Li' 'Zhen Zhang' 'Qi Zhao' 'Yunchao Liu' 'Futian Liang' 'Jin Lin' 'Yu Xu' 'Hui Deng' 'Hao Rong' 'He Lu' 'Simon C Benjamin' 'Cheng-Zhi Peng' 'Xiongfeng Ma' 'Yu-Ao Chen' 'Xiaobo Zhu' 'Jian-Wei Pan'] Title: Abstract Quantum error correction is an essential ingredient for universal quantum computing. Despite…
Maria Luisa Dalla Chiara, Hector Freytes, Roberto Giuntini, Roberto Leporini + 1 more
'Roberto Leporini' 'Giuseppe Sergioli'] Quantum computation theory has inspired new forms of quantum logic, called quantum computational logics, where formulas are supposed to denote pieces of quantum information, while logical connectives are interpreted as special examples of quantum logical gates. The most natural…
Yeong-Cherng Liang, Yu-Hao Yeh, Paulo E. M. F. Mendonça, Run Yan Teh + 2 more
'M. D. Reid' 'P. D. Drummond'] Abstract. Applications of quantum technology often require fidelities to quantify performance. These provide a fundamental yardstick for the comparison of two quantum states. While this is straightforward in the case of pure states, it is much more subtle for the more general case of…
Luca Incurvati, Carlo Nicolai
The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Timothy Williamson and Gillian Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical…
Veronica Dudarev, Oswald Barral, Chuxuan Zhang, Guy Davis + 1 more
Wearable sensors are quickly making their way into psychophysiological research, as they allow collecting longitudinal and ecologically valid data. The present tutorial considers fidelity of physiological measurement with wearable sensors, focusing on reliability. We elaborate why ensuring reliability for wearables is…
Manuel Martins, Abílio Rodrigues, Marcelo Coniglio, Alfredo Freire
This paper proposes an approach to information-based logics using many-logic modal structures (MLMS). These structures can express accessibility relations between worlds with different underlying logics by anchoring them to a base lattice, which contains the semantics of each logic as a down-complete sublattice. MLMS…
Authors not listed
While virtual libraries of synthetically accessible compounds have exploded in size to many billions, our capacity to extract valuable drug leads from these vast databases remains limited by computational resources. To overcome this, we developed SLICE SMARTS and Logic In ChEmistry), a powerful new tool designed for…
Maryam Ziaei, Mohammad Reza Bonyadi, David Reutens
Prior knowledge and beliefs influence our reasoning in daily life and may lead us to draw unwarranted conclusions with undesirable consequences. The underlying neural correlates of the interaction between belief and logic, prior to making logical decisions, are largely unknown. In this study, we aimed to identify brain…
Hiroyuki Kido
This paper gives a generative model of the interpretation of formal logic for data-driven logical reasoning. The key idea is to represent the interpretation as likelihood of a formula being true given a model of formal logic. Using the likelihood, Bayes' theorem gives the posterior of the model being the case given the…
Maryam Ziaei, Mohammad Reza Bonyadi, David C. Reutens
In logical reasoning, difficulties in inhibition of currently-held beliefs may lead to unwarranted conclusions, known as belief bias. Aging is associated with difficulties in inhibitory control, which may lead to deficits in inhibition of currently-held beliefs. No study to date, however, has investigated the…
Hope Kean, Alexander Fung, Paris Jaggers, Jason Chen + 6 more
Humans are endowed with a powerful capacity for both inductive and deductive logical thought: we easily form generalizations based on a few examples and draw conclusions from known premises. Humans also arguably have the most sophisticated communication system in the animal kingdom: natural language allows us to…
Authors not listed
In the real world, many reversal phenomena occur—for example, cases in which a statement once regarded as false is later recognized as true. Upside-Down Logic is a framework designed to formalize such reversal phenomena as a logical system. It inverts the truth and falsity of propositions through contextual…
Authors not listed
This work provides a rigorous theoretical investigation of selective error correction strategies for variational quantum algorithms, with focus on understanding the interplay between error suppression, circuit trainability, and computational resource requirements. We develop a mathematical framework that characterizes…