相关论文: Computing the density of tautologies in propositio…
The probabilistic satisfiability of a logical expression is a fundamental concept known as the partition function in statistical physics and field theory, an evaluation of a related graph's Tutte polynomial in mathematics, and the…
A new algorithm for the symbolic computation of polynomial conserved densities for systems of nonlinear evolution equations is presented. The algorithm is implemented in Mathematica. The program condens.m automatically carries out the…
We apply the circle method with a Gaussian weight to obtain an asymptotic formula for the density of representations of non-zero integers by non-singular quadratic forms in at least four variables.
We propose a conjecture on the density of arithmetic points in the deformation space of representations of the \'etale fundamental group in positive characteristic. This? conjecture has applications to \'etale cohomology theory, for example…
We examine the solubility of a diagonal, translation invariant, quadratic equation system in arbitrary (dense) subsets A \subset Z and show quantitative bounds on the size of A if there are no non-trivial solutions. We use the circle method…
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.
In this paper, we consider the complexity of propositional proofs of classical and intuitionistic tautologies. In fact, we describe a nondeterministic polynomial-time decision procedure for intuitionistic implicational tautologies. For this…
QCD and related gauge theories have a sign problem when a $\theta$-term is included; this complicates the extraction of physical information from Euclidean space calculations as one would do in lattice studies. The sign problem arises in…
It is well-known (cf. K.-Pudl\'ak 1989) that a polynomial time algorithm finding tautologies hard for a propositional proof system $P$ exists iff $P$ is not optimal. Such an algorithm takes $1^{(k)}$ and outputs a tautology $\tau_k$ of size…
For a computational system to be intelligent, it should be able to perform, at least, basic deductions. Nonetheless, since deductions are, in some sense, equivalent to tautologies, it seems that they do not provide new information. The…
We tabulate the abscissae and associated weights for numerical integration of integrals with either the singular weight function (-log x)^m for exponents m=1, 2 or 3, or the symmetric weight function cos(pi*x/2). Standard brute force…
We present a novel algorithm to compute the density of states, which is proven to converge to the correct result. The algorithm is very general and can be applied to a wide range of models, in the frameworks of Statistical Mechanics and…
The hexagon-form-factor program was proposed as a way to compute three- and higher-point correlation functions in $\mathcal{N}=4$ super-symmetric Yang-Mills theory and in the dual AdS$_5\times$S$^5$ superstring theory, by exploiting the…
We derive exact formulae for the partition function and the expectation values of Wilson/'t Hooft loops, thus directly checking their S-duality transformations. We focus on a special class of N=2 gauge theories on S^4 with fundamental…
For a large integer $m,$ we obtain an asymptotic formula for the number of solutions of a certain congruence modulo $m$ with four variables, where the variables belong to special sets of residue classes modulo $m.$ This formula are applied…
A fast new algorithm is used compute the zeros of the quadratic character L-functions for all negative fundamental discriminants with absolute value 10^12<d<10^12+10^7. These are compared to the 1-level density, including various lower…
Let $f(t_1,\ldots,t_n)$ be a nondegenerate integral quadratic form. We analyze the asymptotic behavior of the function $D_f(X)$, the number of integers of absolute value up to $X$ represented by $f$. When $f$ is isotropic or $n$ is at least…
We study effects of fluctuations on the mesoscopic length-scale on systems with mesoscopic inhomogeneities. Equations for the correlation function and for the average volume fraction are derived in the self-consistent Gaussian…
We consider sequences of integers defined by a system of linear inequalities with integer coefficients. We show that when the constraints are strong enough to guarantee that all the entries are nonnegative, the generating function for the…
In a previous article, a least square regression estimation procedure was proposed: first, we condiser a family of functions and study the properties of an estimator in every unidimensionnal model defined by one of these functions; we then…