Severity: Warning
Message: fopen(/var/lib/php/sessions/ci_session7nvgl9se7job05bh90svpa7gdro2tm40): Failed to open stream: No space left on device
Filename: drivers/Session_files_driver.php
Line Number: 177
Backtrace:
File: /var/www/html/index.php
Line: 316
Function: require_once
Severity: Warning
Message: session_start(): Failed to read session data: user (path: /var/lib/php/sessions)
Filename: Session/Session.php
Line Number: 137
Backtrace:
File: /var/www/html/index.php
Line: 316
Function: require_once
In this paper, we proposed a novel quantum algorithm for the maximum satisfiability problem. Satisfiability (SAT) is to find the set of assignment values of input variables for the given Boolean function that evaluates this function as TRUE or prove that such satisfying values do not exist. For a POS SAT problem, we proposed a novel quantum algorithm for the maximum satisfiability (MAX-SAT), which returns the maximum number of OR terms that are satisfied for the SAT-unsatisfiable function, providing us with information on how far the given Boolean function is from the SAT satisfaction. We used Grover's algorithm with a new block called quantum counter in the oracle circuit. The proposed circuit can be adapted for various forms of satisfiability expressions and several satisfiability-like problems. Using the quantum counter and mirrors for SAT terms reduces the need for ancilla qubits and realizes a large Toffoli gate that is then not needed. Our circuit reduces the number of ancilla qubits for the terms of the Boolean function from of ancilla qubits to ≈⌈logT⌉+1. We analyzed and compared the quantum cost of the traditional oracle design with our design which gives a low quantum cost.
Download full-text PDF |
Source |
---|---|
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9689672 | PMC |
http://dx.doi.org/10.3390/e24111615 | DOI Listing |
Sci Rep
March 2025
Quantum Research Center, QTomo, Chungcheongbuk-do, 28535, South Korea.
With the advent and development of quantum computers, various quantum algorithms that can solve linear equations and eigenvalues faster than classical computers have been developed. In particular, a hybrid solver provided by D-Wave's Leap quantum cloud service can utilize up to two million variables. Using this technology, quadratic unconstrained binary optimization (QUBO) models have been proposed for linear systems, eigenvalue problems, RSA cryptosystems, and computed tomography (CT) image reconstructions.
View Article and Find Full Text PDFWaveguide crossings are key components for increasing integration density and routing flexibility. We propose a novel, to the best of our knowledge, compact, tilted silicon waveguide crossing designed using inverse design methods, specifically optimized to minimize both insertion loss and crosstalk. Through adjoint optimization algorithms and finite-difference time-domain simulations, we achieve a significant reduction in crosstalk from -46 dB at 90° to -54 dB at 86°, with a remarkably low insertion loss of -0.
View Article and Find Full Text PDFJ Chem Phys
March 2025
CNRS, Institut de Chimie Physique UMR8000, Université Paris-Saclay, 91405 Orsay, France.
We investigate the performance of coupled-trajectory methods for nonadiabatic molecular dynamics in simulating the photodynamics of 4-(dimethylamino)benzonitrile (DMABN) and fulvene, with electronic structure provided by linear vibrational coupling models. We focus on the coupled-trajectory mixed quantum-classical (CTMQC) algorithm and on the (combined) coupled-trajectory Tully surface hopping [(C)CTTSH] in comparison to independent-trajectory approaches, such as multi-trajectory Ehrenfest and Tully surface hopping. Our analysis includes not only electronic populations but also additional electronic and nuclear properties in position and momentum space.
View Article and Find Full Text PDFSci Rep
March 2025
Department of Electronics and Communication Engineering, Galgotias College of Engineering and Technology, Greater Noida, 201310, India.
The increasing reliance on global navigation satellite systems for diverse applications necessitates the development of efficient satellite selection methods to optimize positioning accuracy and system performance. In particular, low-cost global navigation satellite systems receivers face challenges in managing data from multiple visible satellites, often resulting in suboptimal performance due to high geometric dilution of precision values. Effective satellite selection is crucial for improving the accuracy and reliability of positioning solutions in these systems.
View Article and Find Full Text PDFInt J Mol Sci
March 2025
Dipartimento di Fisica e Astronomia, Università di Padova, I-35131 Padova, Italy.
We introduce a method for calculating the atomic forces of a molecular or extended system in an excited state described through the GW-BSE approach within the Tamm-Dancoff approximation. The derivative of the so-called excitonic Hamiltonian is obtained by finite differences and its application to the excited state is made possible through the use of suitable projectors. The scheme is implemented with the batch representation of the electron-hole amplitudes, allowing for avoiding sums over empty one-particle orbitals.
View Article and Find Full Text PDFEnter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!