English
Related papers

Related papers: Approximating the satisfiability threshold for ran…

200 papers

We study the crossing of the quantum phase transition in the transverse-field Ising model after modulating the magnetic field at an arbitrary rate, exploring the critical dynamics from the slow to the sudden quench regime. We do so by…

Statistical Mechanics · Physics 2025-05-05 András Grabarits , Federico Balducci , Adolfo del Campo

It is well known that there is a sharp density threshold for a random $r$-SAT formula to be satisfiable, and a similar, smaller, threshold for it to be satisfied by the pure literal rule. Also, above the satisfiability threshold, where a…

Discrete Mathematics · Computer Science 2010-08-09 Alexander D. Scott , Gregory B. Sorkin

Equilibrium statistical physics is applied to layered neural networks with differentiable activation functions. A first analysis of off-line learning in soft-committee machines with a finite number (K) of hidden units learning a perfectly…

Disordered Systems and Neural Networks · Physics 2009-10-31 M. Biehl , E. Schloesser , M. Ahr

The Local Search algorithm (or Hill Climbing, or Iterative Improvement) is one of the simplest heuristics to solve the Satisfiability and Max-Satisfiability problems. It is a part of many satisfiability and max-satisfiability solvers, where…

Data Structures and Algorithms · Computer Science 2008-11-18 Andrei A. Bulatov , Evgeny S. Skvortsov

Computing quantum state fidelity will be important to verify and characterize states prepared on a quantum computer. In this work, we propose novel lower and upper bounds for the fidelity $F(\rho,\sigma)$ based on the "truncated fidelity"…

Quantum Physics · Physics 2020-03-27 M. Cerezo , Alexander Poremba , Lukasz Cincio , Patrick J. Coles

Enhanced fluctuations and correlations have been observed in the phase transitions of many systems. Their appearance at the predicted QCD phase transition (especially near the expected critical point) may provide insight into the nature of…

Nuclear Experiment · Physics 2011-10-12 Terence J Tarnowsky

We study threshold properties of random constraint satisfaction problems under a probabilistic model due to Molloy. We give a sufficient condition for the existence of a sharp threshold that leads (for boolean constraints) to a necessary…

Discrete Mathematics · Computer Science 2007-05-23 Gabriel Istrate

Let $\Phi$ be a uniformly random $k$-SAT formula with $n$ variables and $m$ clauses. We study the algorithmic task of finding a satisfying assignment of $\Phi$. It is known that satisfying assignments exist with high probability up to…

Computational Complexity · Computer Science 2021-11-02 Guy Bresler , Brice Huang

In this paper, we show several rigorous results on the phase transition of Finitary Random Interlacement (FRI). For the high intensity regime, we show the existence of a critical fiber length, and give the exact asymptotic of it as…

Probability · Mathematics 2021-01-21 Zhenhao Cai , Yuan Zhang

We determine the exact freezing threshold, r^f, for a family of models of random boolean constraint satisfaction problems, including NAE-SAT and hypergraph 2-colouring, when the constraint size is sufficiently large. If the…

Discrete Mathematics · Computer Science 2012-09-24 Michael Molloy , Ricardo Restrepo

Despite ongoing theoretical research on cross-validation (CV), many theoretical questions remain widely open. This motivates our investigation into how properties of algorithm-distribution pairs can affect the choice for the number of folds…

Statistics Theory · Mathematics 2026-01-09 Ido Nachum , Rüdiger Urbanke , Thomas Weinberger

The random $k$-XORSAT problem is a random constraint satisfaction problem of $n$ Boolean variables and $m=rn$ clauses, which a random instance can be expressed as a $G\mathbb{F}(2)$ linear system of the form $Ax=b$, where $A$ is a random $m…

Computational Complexity · Computer Science 2024-09-10 Kingsley Yung

In clean and weakly disordered systems, topological and trivial phases having a finite bulk energy gap can transit to each other via a quantum critical point. In presence of strong disorder, both the nature of the phases and the associated…

Disordered Systems and Neural Networks · Physics 2025-06-26 Saikat Mondal , Adhip Agarwala

We discuss the dependence of the coarse grained free energy and the classical interface tension on the coarse graining scale $k$. A stable range appears only if the renormalized dimensionless couplings at the critical temperature are small.…

High Energy Physics - Phenomenology · Physics 2009-10-28 J. Berges , N. Tetradis , C. Wetterich

We consider numerical approximations and error analysis for the Cahn-Hilliard equation with reaction rate dependent dynamic boundary conditions (P. Knopf et. al., arXiv, 2020). Based on the stabilized linearly implicit approach, a…

Numerical Analysis · Mathematics 2021-04-22 Xuelian Bao , Hui Zhang

The surface code is a promising candidate for fault-tolerant quantum computation, achieving a high threshold error rate with nearest-neighbor gates in two spatial dimensions. Here, through a series of numerical simulations, we investigate…

Quantum Physics · Physics 2014-02-18 Ashley M. Stephens

We derive a universal performance limit for coherent quantum control in the presence of modeled and unmodeled uncertainties. For any target unitary $W$ that is implementable in the absence of error, we prove that the worst-case (and hence…

Quantum Physics · Physics 2025-07-14 Robert L. Kosut , Daniel A. Lidar , Herschel Rabitz

We consider random systems of linear equations over GF(2) in which every equation binds k variables. We obtain a precise description of the clustering of solutions in such systems. In particular, we prove that with probability that tends to…

Data Structures and Algorithms · Computer Science 2015-10-12 Dimitris Achlioptas , Michael Molloy

We obtain complementary recurrence and transience criteria for processes $X=(X_n)_{n \ge 0}$ with values in $\mathbb R^d_+$ fulfilling a non-linear equation $X_{n+1}=MX_n+g(X_n)+ \xi_{n+1}$. Here $M$ denotes a primitive matrix having…

Probability · Mathematics 2016-05-16 Götz Kersting

We study effects of static inter-qubit interactions on the stability of the Grover quantum search algorithm. Our numerical and analytical results show existence of regular and chaotic phases depending on the imperfection strength…

Quantum Physics · Physics 2007-05-23 A. A. Pomeransky , O. V. Zhirov , D. L. Shepelyansky