arXiv.itsnick.co

an independent field guide to 23 million papers from arXiv & OpenAlex — not affiliated with arXiv.org

Author

Roger Paredes

5 papers · 2016–2024

2016: 12017: 02018: 02019: 12020: 02021: 12022: 12023: 02024: 1
2016peak 1 in 20162024

Frequent co-authors

Papers

showing 1–5 of 5 RSS

Grover-QAOA for 3-SAT: Quadratic Speedup, Fair-Sampling, and Parameter Clustering

Zewen Zhang, Roger Paredes, Bhuvanesh Sundar +5 more

quant-ph · · cited 26× · arXiv ↗ · more like this ·

The SAT problem is a prototypical NP-complete problem of fundamental importance in computational complexity theory with many applications in science and engineering; as such, it has long served as an essential benchmark for classical and quantum algorithms. This study shows numerical evidence for a quadratic speedup of the Grover Quantum Approximate Optimization Algorithm (G-QAOA) over random sampling for finding all solutions to 3-SAT problems (All-SAT). G-QAOA is less resource-intensive and more adaptable for 3-SAT and Max-SAT than Grover's algorithm, and it surpasses conventional QAOA in its ability to sample all solutions. We show these benefits by classical simulations of many-round G-QAOA on thousands of random 3-SAT instances. We also observe G-QAOA advantages on the IonQ Aria quantum computer for small instances, finding that current hardware suffices to determine and sample all…

Impact of Mass Workplace COVID-19 Rapid Testing on Health and Healthcare Resource Savings

Francesc López Seguí, Jose Maria Navarrete Duran, Albert Tuldrà +9 more

Modeling and Simulation · International Journal of Environmental Research and Public Health · · cited 9× · DOI ↗ · more like this ·

Background: The epidemiological situation generated by COVID-19 has cast into sharp relief the delicate balance between public health priorities and the economy, with businesses obliged to toe the line between employee health and continued production. In an effort to detect as many cases as possible, isolate contacts, cut transmission chains, and limit the spread of the virus in the workplace, mass testing strategies have been implemented in both public health and industrial contexts to minimize the risk of disruption in activity. Objective: To evaluate the economic impact of the mass workplace testing strategy as carried out by a large automotive company in Catalonia in terms of health and healthcare resource savings. Methodology: Analysis of health costs and impacts based on the estimation of the mortality and morbidity avoided because of screening, and the resulting savings in…

A quantum algorithm to count weighted ground states of classical spin Hamiltonians

Bhuvanesh Sundar, Roger Paredes, David T. Damanik +2 more

quant-ph · · cited 5× · arXiv ↗ · more like this ·

Ground state counting plays an important role in several applications in science and engineering, from estimating residual entropy in physical systems, to bounding engineering reliability and solving combinatorial counting problems. While quantum algorithms such as adiabatic quantum optimization (AQO) and quantum approximate optimization (QAOA) can minimize Hamiltonians, they are inadequate for counting ground states. We modify AQO and QAOA to count the ground states of arbitrary classical spin Hamiltonians, including counting ground states with arbitrary nonnegative weights attached to them. As a concrete example, we show how our method can be used to count the weighted fraction of edge covers on graphs, with user-specified confidence on the relative error of the weighted count, in the asymptotic limit of large graphs. We find the asymptotic computational time complexity of our…

Ising Model Partition Function Computation as a Weighted Counting Problem

Shaan A. Nagy, Roger Paredes, Jeffrey M. Dudek +2 more

physics.comp-ph · · cited 3× · arXiv ↗ · more like this ·

While the Ising model remains essential to understand physical phenomena, its natural connection to combinatorial reasoning makes it also one of the best models to probe complex systems in science and engineering. We bring a computational lens to the study of Ising models, where our computer-science perspective is two-fold: On the one hand, we consider the computational complexity of the Ising partition-function problem, or #Ising, and relate it to the logic-based counting of constraint-satisfaction problems, or #CSP. We show that known dichotomy results for #CSP give an easy proof of the hardness of #Ising and provide new intuition on where the difficulty of #Ising comes from. On the other hand, we also show that #Ising can be reduced to Weighted Model Counting (WMC). This enables us to take off-the-shelf model counters and apply them to #Ising. We show that this WMC approach…

Can Linear Regression Modeling Help Clinicians in the Interpretation of Genotypic Resistance Data? An Application to Derive a Lopinavir-Score

Ro Cozzi-lepri, Mattia C. F. Prosperi, Jesper Kjær +8 more

Information Systems · · cited 0× · OpenAlex ↗ · more like this ·

Background: The question of whether a score for a specific antiretroviral (e.g. lopinavir/r in this analysis) that improves prediction of viral load response given by existing expert-based interpretation systems (IS) could be derived from analyzing the correlation between genotypic data and virological response using statistical methods remains largely unanswered. Methods and Findings: We used the data of the patients from the UK Collaborative HIV Cohort (UK CHIC) Study for whom genotypic data were stored in the UK HIV Drug Resistance Database (UK HDRD) to construct a training/validation dataset of treatment change episodes (TCE). We used the average square error (ASE) on a 10-fold cross-validation and on a test dataset (the EuroSIDA TCE database) to compare the performance of a newly derived lopinavir/r score with that of the 3 most widely used expert-based interpretation rules (ANRS…