Related papers: An error estimate for counting $S_3$-sextic number…
We present several results on counting untyped lambda terms, i.e., on telling how many terms belong to such or such class, according to the size of the terms and/or to the number of free variables.
The group theoretic method is extended to include fields with a background charge. This formalism is used to compute the tree level scattering for $W_3$ strings. The scattering amplitudes involve Ising model correlation functions. A…
Whenever P is a proper definable forcing for adding a real, the countable support iteration of P has all the preservation properties it can possibly have, within a wide syntactically identified class of properties.
We revisit the power counting of the Higgs Effective Field Theory (HEFT) from first principles, by requiring that predictions for physical observables follow a series expansion in small, dimensionless quantities. Depending on whether HEFT…
There is a serious flaw in the proposal [arXiv:1603.06857] for the achievement of unity efficiency in SPDC. This is a replacement due to mistakes in the table of probabilities. Numbers have been corrected.
A simple procedure to estimate O(alpha_s^3) and O(alpha_s^4) corrections to mass-dependent observables is conjectured. The method is tested in a number of cases where the O(alpha_s^3) contribution is exactly known, and reasonable agreement…
Lattice power-counting is extended to QCD with staggered fermions. As preparation, the difficulties encountered by Reisz's original formulation of the lattice power-counting theorem are illustrated. One of the assumptions that is used in…
In this paper we introduce the notion of linear computability as a method of finding the Waring rank of forms. We use this notion to find infinitely many new examples which satisfy Strassen's Conjecture.
A new bound for the remainder term in the Taylor expansion of the complex exponent $e^{ix}$, $x\in\R$, is proved yielding precise moment-type estimates of the accuracy of the approximation of the characteristic function (the…
An algorithm is described giving effective determination of the second differential in the Adams spectral sequence. The algorithm is based on the notion of secondary derived functor, and on the explicit algebraic model of the groupoid…
In this paper we examine a number of term rewriting system for integer number representations, building further upon the datatype defining systems described in [2]. In particular, we look at automated methods for proving confluence and…
We extend and systematise the power counting for the three-body system, in the context of the ``pion-less'' Effective Field Theory approach, to all orders in the low-energy expansion. We show that a sub-leading part of the three-body force…
We implement methods from the geometry of numbers to give explicit estimates for the number of integral ideals in a number field. We pay particular attention to minimising the effect of the degree $n$ of the number field on the error term…
The total cross section for the production of massive quarks in electron positron annihilation can be predicted in perturbative QCD. After expansion in m^2/s the quartic terms, i.e. those proportional to m^4/s^2, are calculated up to order…
We study certain resonance-counting functions for potential scattering on infinite cylinders or half-cylinders. Under certain conditions on the potential, we obtain asymptotics of the counting functions, with an explicit formula for the…
We explain and restate the results from our recent paper arXiv:1503.08000.v3 in standard language for substitutions and $S$-adic systems in symbolic dynamics. We then produce as rather direct application an $S$-adic system (with finite set…
Size-Change Termination is an increasingly-popular technique for verifying program termination. These termination proofs are deduced from an abstract representation of the program in the form of "size-change graphs". We present algorithms…
In this paper, we study the continuity of expected utility functions, and derive a necessary and sufficient condition for a weak order on the space of simple probabilities to have a continuous expected utility function. We also verify that…
We prove the Sato--Tate distribution of Kloosterman sums over function fields with explicit error terms, when the places vary in arithmetic progressions or short intervals. A joint Sato--Tate distribution of two ``different" exponential…
We establish a smoothed asymptotic formula for the third moment of quadratic {D}irichlet $L$-functions at the central value. In addition to the main term, which is known, we prove the existence of a secondary term of size $x^{\frac{3}{4}}$.…