scholarly journals A First Step to the Categorical Logic of Quantum Programs

Entropy ◽  
2020 ◽  
Vol 22 (2) ◽  
pp. 144
Author(s):  
Xin Sun ◽  
Feifei He
Keyword(s):  
Quantum Mechanics ◽  
Formal Verification ◽  
Quantum Logic ◽  
Proof Of Concept ◽  
Quantum Bit ◽  
Bit Commitment ◽  
Categorical Logic ◽  
Categorical Quantum Mechanics ◽  
Quantum Programming

The long-term goal of our research is to develop a powerful quantum logic which is useful in the formal verification of quantum programs and protocols. In this paper we introduce the basic idea of our categorical logic of quantum programs (CLQP): It combines the logic of quantum programming (LQP) and categorical quantum mechanics (CQM) such that the advantages of both LQP and CQM are preserved while their disadvantages are overcome. We present the syntax, semantics and proof system of CLQP. As a proof-of-concept, we apply CLQP to verify the correctness of Deutsch’s algorithm and the concealing property of quantum bit commitment.

A feasible and practically secure quantum bit commitment protocol

2021 ◽  
Author(s):  
Li Li ◽  
Run-Hua Shi
Keyword(s):  
Quantum Mechanics ◽  
Relativistic Quantum ◽  
Relativistic Quantum Mechanics ◽  
Quantum Bit ◽  
Practical Applications ◽  
Bit Commitment ◽  
Cryptographic Primitive ◽  
Modern Cryptography ◽  
Commitment Protocols

As a fundamental cryptographic primitive, bit commitment has lots of important and practical applications in modern cryptography. All previously proposed non-relativistic quantum bit commitment protocols cannot evade the Lo–Chau and Mayers attacks. Furthermore, relativistic quantum bit commitment protocols require rigorous spacetime constraints. In this paper, we present a simple, feasible but practically secure quantum bit commitment protocol without any spacetime constraint. The security of the proposed protocol is based on non-relativistic quantum mechanics, but it can resist all known attacks, including the Lo–Chau and Mayers attacks in practice.

scholarly journals Proceedings of the First Curing Coma Campaign NIH Symposium: Challenging the Future of Research for Coma and Disorders of Consciousness

2021 ◽  
Vol 35 (S1) ◽  
pp. 4-23
Author(s):  
Jan Claassen ◽  
Yama Akbari ◽  
Sheila Alexander ◽  
Mary Kay Bader ◽  
Kathleen Bell ◽  
...  
Keyword(s):  
Neurocritical Care ◽  
Panel Discussion ◽  
Large Datasets ◽  
Disorders Of Consciousness ◽  
National Institutes Of Health ◽  
Proof Of Concept ◽  
Research Gaps ◽  
Main Research ◽  
The World

AbstractComa and disorders of consciousness (DoC) are highly prevalent and constitute a burden for patients, families, and society worldwide. As part of the Curing Coma Campaign, the Neurocritical Care Society partnered with the National Institutes of Health to organize a symposium bringing together experts from all over the world to develop research targets for DoC. The conference was structured along six domains: (1) defining endotype/phenotypes, (2) biomarkers, (3) proof-of-concept clinical trials, (4) neuroprognostication, (5) long-term recovery, and (6) large datasets. This proceedings paper presents actionable research targets based on the presentations and discussions that occurred at the conference. We summarize the background, main research gaps, overall goals, the panel discussion of the approach, limitations and challenges, and deliverables that were identified.

Transmitting Knowledge across Divides

2016 ◽  
Vol 46 (3) ◽  
pp. 313-359 ◽  
Author(s):  
Marta Jordi Taltavull
Keyword(s):  
Experimental Data ◽  
Quantum Mechanics ◽  
Quantum Theory ◽  
Scientific Understanding ◽  
Resonance Model ◽  
Optical Dispersion ◽  
History Of

One model, the resonance model, shaped scientific understanding of optical dispersion from the early 1870s to the 1920s, persisting across dramatic changes in physical conceptions of light and matter. I explore the ways in which the model was transmitted across these conceptual divides by analyzing the use of the model both in the development of theories of optical dispersion and in the interpretation of experimental data. Crucial to this analysis is the integration of the model into quantum theory because of the conceptual incompatibility between the model and quantum theory. What is more, a quantum understanding of optical dispersion set the grounds for the emergence of the first theories of quantum mechanics in 1925. A long-term history of the model’s transmission from the 1870s to the 1920s illuminates the ways in which the continuity of knowledge is possible across these discontinuities.

MERGE OF THE TECHNİCAL ANALYSİS TYPES GİVES THE BEST RESULTS İN CRYPTOCURRENCY MARKET

2021 ◽  
Vol 6 (14) ◽  
pp. 89-97
Author(s):  
MUSTAFA ÖZYEŞİL ◽  
MOHAMMAD AL-TARIFI
Keyword(s):  
Supply And Demand ◽  
Investment Strategy ◽  
Proof Of Concept ◽  
Market Capitalization ◽  
Long Run ◽  
Peer Network ◽  
Tangible Asset ◽  
The Relationship ◽  
Peer To Peer Network

Cryptocurrencies are a modern kind of financial instrument (Hudson & Urquhart, 2019), the first cryptocurrency is Bitcoin , proposed by who called Satoushi Nakamato (2008), as The open source was created on the proof-of-concept principle that transactions can be securely treated on a decentralized peer to peer network without the need for a central clearinghouse, which appeared 2009 ( Heid, 2013). The success of the bitcoin blazes a trail to what called ‘Altcoin” this expression means all the cryptocurrencies that set in motion after the victory of the bitcoin, these coins sell themselves as the best alternatives for the bitcoin (FRANKENFIELD, 2020) . There are many types for the altcoin. The third type of the cryptocurrency is called Tokens Unlike Bitcoin and Altcoins, tokens are not able to activate independently and are dependent on the grid of another cryptocurrency. That means they do not have their own core DLT or blockchain, but instead, are built on top of an existing cryptocurrency’s blockchain (Types of cryptocurrencies: explaining the major types of cryptos, 2019). The worth of bitcoin doesn’t depend on any tangible asset or economies of the countries while it is based upon the security of an algorithm which traces all transactions (Hudson & Urquhart, 2019). The studies determine the number of the bitcoin price development in the long -run (Ciaian, Rajcaniova, & Kancs, 2018): • Market forces of the Bitcoin supply and demand • The bitcoin’s attractiveness for the investors • The influence of global macro-financial developments If you're forming an investment strategy designed to help you trail long-term financial intentions, understanding the relationship between company size, return potential, and risk is vital. (Market cap—or market capitalization—refers to the total value of all a company's shares of stock, 2017) .Hence , Manifested importance a cryptocurrency’s market capitalization as the total values of all coins currently in circulation. the cryptocurrency’s market cap contains what’s called Bitcoin Dominance that is the ratio between the market cap of bitcoin to other coins of the cryptocurrency markets (jacobcanfield, 2019) . Cryptocurrency trade is attractive type of investment. this market treated the same of the foreign exchange and stock market ( Radityo, Munajat, & Budi, 2017). The investors using the same basic in investment (buy low, sell high) but they need to calculating the risks

scholarly journals Free Will in Human Behavior and Physics

2020 ◽  
Author(s):  
Vasil Dinev Penchev
Keyword(s):  
Quantum Mechanics ◽  
Quantum Information ◽  
Free Will ◽  
Human Behavior ◽  
Physical World ◽  
Classical Physics ◽  
Quantum Bit ◽  
The Past ◽  
The Mean ◽  
The One

If the concept of “free will” is reduced to that of “choice” all physical world share the latter quality. Anyway the “free will” can be distinguished from the “choice”: The “free will” involves implicitly a certain goal, and the choice is only the mean, by which the aim can be achieved or not by the one who determines the target. Thus, for example, an electron has always a choice but not free will unlike a human possessing both. Consequently, and paradoxically, the determinism of classical physics is more subjective and more anthropomorphic than the indeterminism of quantum mechanics for the former presupposes certain deterministic goal implicitly following the model of human freewill behavior. Quantum mechanics introduces the choice in the fundament of physical world involving a generalized case of choice, which can be called “subjectless”: There is certain choice, which originates from the transition of the future into the past. Thus that kind of choice is shared of all existing and does not need any subject: It can be considered as a low of nature. There are a few theorems in quantum mechanics directly relevant to the topic: two of them are called “free will theorems” by their authors (Conway and Kochen 2006; 2009). Any quantum system either a human or an electron or whatever else has always a choice: Its behavior is not predetermined by its past. This is a physical law. It implies that a form of information, the quantum information underlies all existing for the unit of the quantity of information is an elementary choice: either a bit or a quantum bit (qubit).

Sign in / Sign up

Export Citation Format

Share Document