There are no doubts that quantum programming and, in general, quantum computing, is one of the most promising areas within computer science and one of the areas where most expectations are being placed in recent years. Although the days when reliable...
Noisy Intermediate-Scale Quantum (NISQ) systems and associated programming interfaces make it possible to explore and investigate the design and development of quantum computing techniques for Machine Learning (ML) applications. Among the most recent...
This paper investigates the usage of logic and logic programming in the design of smart contracts. Our starting point is the logic-based programming language for smart contracts used in a recently proposed framework of quantum-secured blockchain, cal...
The problem of bilevel decision-making under multi-expert uncertain information is addressed in this paper. Traditional fuzzy bilevel models are unable to accurately quantify expert consensus and capture evaluation hesitation. To overcome these limit...
The classical Erlangen Program sought to classify metric spaces entirely in terms of their symmetries. In physical spacetimes, these symmetries define transformations between classical reference frames, yielding a one-to-one correspondence between fr...
Loophole-free violations of Bell inequalities are crucial for fundamental tests of quantum nonlocality. They are also important for future applications in quantum information processing, such as device-independent quantum key distribution. Based on a...
Large organizations face a critical systems integration challenge when executing multiple concurrent security modernization programs. This paper examines the U.S. Department of Defense’s simultaneous implementation of three transformational ini...
In the last 20 years, several approaches to quantum programming have been introduced. In this survey, we focus on the QRAM (Quantum Random Access Machine) architectural model. We explore the twofold perspective (theoretical and concrete) of the appro...
Contrary to the classical case, the relation between quantum programming languages and quantum Turing Machines (QTM) has not been fully investigated. In particular, there are features of QTMs that have not been exploited, a notable example being the...
We describe two mixed-integer linear programming formulations, one a faster version of a previous proposal, the other a slower but better performing new model, for the design of Quantum Key Distribution (QKD) sub-networks dimensioned to secure existi...
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...
Recent theoretical work has conceptualized computational thinking (CT) as a dynamic psychological construct that evolves in parallel with Computer Science (CS). From this perspective, a 3-stage CT framework has been proposed to reflect how the constr...
Incorporating insights from quantum theory, we propose a machine learning-based decision-making model, including a logic tree and a value tree; a genetic programming algorithm is applied to optimize both the logic tree and value tree. The logic tree...
Quantum annealers such as D-Wave machines are designed to propose solutions for quadratic unconstrained binary optimization (QUBO) problems by mapping them onto the quantum processing unit, which tries to find a solution by measuring the parameters o...
Die-rolling is the cryptographic task where two mistrustful, remote parties wish to generate a random D-sided die-roll over a communication channel. Optimal quantum protocols for this task have been given by Aharon and Silman (New Journal of Physics,...
This paper is devoted to the evaluation of the hardware resources of computer systems for solving a computationally expensive problem such as the calculation of the probability distributions of statistics by the second multiplicity method based on
This paper addresses the Pickup and Delivery Problem with Time Windows (PDPTW), an NP-hard combinatorial optimization problem with major practical relevance in logistics and transportation. The study focuses on a quadratic unconstrained binary optimi...
We present example quantum chemistry programs written with JaqalPaq, a python meta-programming language used to code in Jaqal (Just Another Quantum Assembly Language). These JaqalPaq algorithms are intended to be run on the Quantum Scientific Computi...
Carbon-neutral industrial parks require large consumers, such as data centers, to balance low-carbon operation and service reliability. This paper proposes a resilience-constrained stochastic dispatch framework for a data-center virtual power plant (...
Background: Metamorphic malware is among the most persistent adversarial challenges in cybersecurity: it rewrites its own instruction stream on every propagation, preserving functional semantics while presenting a syntactically distinct binary that d...
The factorial-additive optimality of primes, i.e., that the sum of prime factors is always minimum, implies that prime numbers are a solution to an integer linear programming (ILP) encoding optimization problem. The summative optimality of primes fol...
Integrated energy systems have become an important research topic in the pursuit of sustainable energy development. This paper examines regional integrated energy systems, presents the typical architecture of regional integrated energy systems, and b...
During the highway reconstruction and expansion, some lanes are often closed on the construction side to ensure that the construction is carried out normally. The presence of the work zone increases the traffic pressure on the construction side of th...
We propose a new quantum state reconstruction method that combines ideas from compressed sensing, non-convex optimization, and acceleration methods. The algorithm, called Momentum-Inspired Factored Gradient Descent (MiFGD), extends the applicability...
The essence of coal spontaneous combustion lies in the existence of a large number of chemically active functional groups in the coal molecule, such as aldehyde group (-CHO) and methoxy group (-OCH3) in the side chain structure of coal molecule, whic...
Establishing (or falsifying) the special state theory of quantum measurement is a program with both theoretical and experimental directions. The special state theory has only pure unitary time evolution, like the many worlds interpretation, but only...
Quantum processes with indefinite causal order challenge the classical assumption that operations must occur in a single fixed temporal sequence. The quantum switch provides a concrete setting in which two operation orders,
As the Internet of Things (IoT) becomes more integral across diverse sectors, including healthcare, energy provision and industrial automation, the exposure to cyber vulnerabilities and potential attacks increases accordingly. Facing these challenges...
In this study, molecular structure and electronic properties of eleven BxLiy (x = 1–3, y = 1–3) clusters are examined using the Perdew, Burke and Ernezerhof (PBE) method in the Quantum ESPRESSO program. Three main groups, consisting of tw...
I produce a coherent mathematical formulation of the supplementary variables structure for Aspect’s experimental test of Bell’s inequality as devised by Clauser, Horne, Shimony, and Holt, a formalization which has been widely considered t...
The generation of certifiable randomness is one of the most promising applications of quantum technologies. Furthermore, the intrinsic non-locality of quantum correlations allow us to certify randomness in a device-independent way, i.e., we do not ne...
The persistent challenge of creating stable de Sitter vacua within string theory undermines the observational validity of the
Gaisi Takeuti introduced Boolean valued analysis around 1974 to provide systematic applications of the Boolean valued models of set theory to analysis. Later, his methods were further developed by his followers, leading to solving several open proble...
Current technology still does not allow the use of quantum computers for broader and individual uses; however, it is possible to simulate some of its potentialities through quantum computing. Quantum computing can be integrated with nature-inspired a...
This work applies concepts from algorithmic probability to Boolean and quantum combinatorial logic circuits. The relations among the statistical, algorithmic, computational, and circuit complexities of states are reviewed. Thereafter, the probability...
Inferring algorithmic structure in data is essential for discovering causal generative models. In this research, we present a quantum computing framework using the circuit model, for estimating algorithmic information metrics. The canonical computati...
This paper explores the idea of a quantum exchange protocol between two entities, validated by (at least) a third one. Two entities, part of a greater system, decide they want to trade quantum goods: their exchange is configurable, and allows them to...
Quantum computing is tipped to lead the future of global technological progress. However, the obstacles related to quantum software development are an actual challenge to overcome. In this scenario, this work presents an implementation of the quantum...
In this paper, we discuss quantum formalisms that do not use the axiom of choice. We also consider the fundamental problem that addresses the (in)correctness of having the complex numbers as the base field for Hilbert spaces in the København i...
Quantum computing is an emergent field promising the improvement of processing speed in key algorithms by reducing their exponential scaling to polynomial, thus enabling solutions to problems that exceed classical computational capabilities. Gate-bas...
Quantum computing has emerged as a powerful tool for solving complex problems in various fields. Personalized medicine, tailoring medical treatment to patients based on their genetic and health data, is one area where predictive analytics can be usef...
Crosstalk is the primary source of noise in quantum computing equipment. The parallel execution of multiple instructions in quantum computation causes crosstalk, which causes coupling between signal lines and mutual inductance and capacitance between...
The states of the qubit, the basic unit of quantum information, are 2 × 2 positive semi-definite Hermitian matrices with trace 1. We contribute to the program to axiomatize quantum mechanics by characterizing these states in terms of an entropi...
Considering links between logic and physics is important because of the fast development of quantum information technologies in our everyday life. This paper discusses a new method in logic inspired from quantum theory using operators, named Eigenlog...
This manuscript is intended for readers who have a general interest in the subject of quantum computation and provides an overview of the most significant developments in the field. It begins by introducing foundational concepts from quantum mechanic...
Quantum coherence is a crucial resource in numerous quantum processing tasks. The robustness of coherence provides an operational measure of quantum coherence, which can be calculated for various states using semidefinite programming. However, this m...
We present new results concerning simulation of general quantum measurements (POVMs) by projective measurements (PMs) for the task of Unambiguous State Discrimination (USD). We formulate a problem of finding optimal strategy of simulation for given q...
Proposed quantum experiments in deep space will be able to explore quantum information issues in regimes where relativistic effects are important. In this essay, we argue that a proper extension of quantum information theory into the relativistic dom...
Quantum computing is a new paradigm for a multitude of computing applications. This study presents the technologies that are currently available for the physical implementation of qubits and quantum gates, establishing their main advantages and disad...
This paper introduces Q1Synth, an unprecedented musical instrument that produces sounds from (a) quantum state vectors representing the properties of a qubit, and (b) its measurements. The instrument is presented on a computer screen (or mobile devic...
of 6