Related papers: Approximating the satisfiability threshold for ran…
We derive an upper bound on the number of models for exact satisfiability (XSAT) of arbitrary CNF formulas F. The bound can be calculated solely from the distribution of positive and negated literals in the formula. For certain subsets of…
We study the formation of topological textures in a nonequilibrium phase transition of an overdamped classical O(3) model in 2+1 dimensions. The phase transition is triggered through an external, time-dependent effective mass, parameterized…
We study the problem of satisfiability of randomly chosen clauses, each with K Boolean variables. Using the cavity method at zero temperature, we find the phase diagram for the K=3 case. We show the existence of an intermediate phase in the…
In this study an effective description in the 2PI effective-action formalism for systems of quarks and mesons in and out of equilibrium within a numerical approach is developed, allowing to approximate the complexity of QCD by taking only…
Model counting is a fundamental problem that consists of determining the number of satisfying assignments for a given Boolean formula. The weighted variant, which computes the weighted sum of satisfying assignments, has extensive…
We derive an upper bound for the least number of variables needed to guarantee that a system of t quadratic forms (t>=2) over a field F has a nontrivial zero. In particular, if F is a local field, then 2t^2+3 variables insure the existence…
Random constraint satisfaction problems undergo several phase transitions as the ratio between the number of constraints and the number of variables is varied. When this ratio exceeds the satisfiability threshold no more solutions exist;…
We investigate nematic quantum phase transitions in two different Dirac fermion models. The models feature twofold and fourfold, respectively, lattice rotational symmetries that are spontaneously broken in the ordered phase. Using…
We use tools from random matrix theory to study the multi-spiked tensor model, i.e., a rank-$r$ deformation of a symmetric random Gaussian tensor. In particular, thanks to the nature of local optimization methods used to find the maximum…
The properties of net quark number fluctuations in the vicinity of the QCD chiral phase transition are discussed in terms of an effective chiral model in the mean-field approximation. We focus on the ratio of the fourth- to second- order…
We investigate the dynamical phase diagram of the fractional Langevin equation and show that critical exponents mark dynamical transitions in the behavior of the system. For a free and harmonically bound particle the critical exponent…
The Random Satisfiability problem has been intensively studied for decades. For a number of reasons the focus of this study has mostly been on the model, in which instances are sampled uniformly at random from a set of formulas satisfying…
We investigate the influence of chiral symmetry which varies along the space-time evolution of the system by considering the chiral phase transition in an non-equilibrium expanding quark-antiquark system. The chiral symmetry is described by…
We discuss the boundary critical behaviors of two dimensional quantum phase transitions with fractionalized degrees of freedom in the bulk, motivated by the fact that usually it is the $1d$ boundary that is exposed and can be conveniently…
The quantum Cram\'er-Rao bound sets a fundamental limit on the accuracy of unbiased parameter estimation in quantum systems, relating the uncertainty in determining a parameter to the inverse of the quantum Fisher information. We…
A critical transition for a system modelled by a concave quadratic scalar ordinary differential equation occurs when a small variation of the coefficients changes dramatically the dynamics, from the existence of an attractor-repeller pair…
In QCD with two flavors of massless quarks, the chiral phase transition is plausibly in the same universality class as the classical four component Heisenberg antiferromagnet. Therefore, renormalization group techniques developed in the…
In {\sc MaxSat}, we ask for an assignment which satisfies the maximum number of clauses for a boolean formula in CNF. We present an algorithm yielding a run time upper bound of $O^*(2^{\frac{1}{6.2158}})$ for {\sc Max-2-Sat} (each clause…
We derive the critical behavior of a CA traffic flow model using an order parameter breaking the symmetry of the jam-free phase. Random braking appears to be the symmetry-breaking field conjugate to the order parameter. For $v_{\max}=2$, we…
Baader, J\"org, and Parlier recently established an upper bound for the crossing number of curve systems of size $m\asymp g^{1+\alpha}$ on a genus $g$ surface, obtaining a leading coefficient of $9/4=2.25$. Their construction relies on…