Related papers: Denominator Bounds for Systems of Recurrence Equat…
We study the natural resolution of the conjugated Haar multiplier $M_{w^{\frac{1}{2}}}T_{\sigma}M_{w^{-\frac{1}{2}}},$ where the multiplication operators $M_{w^{\pm\frac{1}{2}}}$ are decomposed into their canonical paraproduct…
Hamiltonian systems with a mixed phase space typically exhibit an algebraic decay of correlations and of Poincare' recurrences, with numerical experiments over finite times showing system-dependent power-law exponents. We conjecture the…
The problem of finding a nonzero solution of a linear recurrence $Ly = 0$ with polynomial coefficients where $y$ has the form of a definite hypergeometric sum, related to the Inverse Creative Telescoping Problem of [14][Sec. 8], has now…
In this paper the approach to obtaining nonrecurrent formulas for some recursively defined sequences is illustrated. The most interesting result in the paper is the formula for the solution of quadratic map-like recurrence. Also, some…
We define two extensions of the typed linear lambda-calculus that yield minimal Turing-complete systems. The extensions are based on unbounded recursion in one case, and bounded recursion with minimisation in the other. We show that both…
Addition chains are a classical construction for fast exponentiation and related computation problems. In this paper, we study a chain for a fixed integer $n$ by decomposing each generator into a \emph{determiner} and a \emph{regulator}…
We construct and justify leading order weakly nonlinear geometric optics expansions for nonlinear hyperbolic initial value problems, including the compressible Euler equations. The technique of simultaneous Picard iteration is employed to…
A convergent iterative process is constructed for solving any solvable linear equation in a Hilbert space.
A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagation is performed by propagators implementing a certain notion…
The dimer problem arose in a thermodynamic study of diatomic molecules, and was abstracted into one of the most basic and natural problems in both statistical mechanics and combinatoric mathematics. Given a rectangular lattice of volume V…
Polynomial convergence bounds are considered for left, right, and split preconditioned GMRES. They include the cases of Weighted and Deflated GMRES for a linear system Ax = b. In particular, the case of positive definite A is considered.…
We consider self-similar approximations of nonlinear hyperbolic systems in one space dimension with Riemann initial data and general diffusion matrix. We assume that the matrix of the system is strictly hyperbolic and the diffusion matrix…
We prove the well-posedness and regularity of solutions in mixed-norm weighted Sobolev spaces for a class of second-order parabolic and elliptic systems in divergence form in the half-space $\mathbb{R}^d_+ = \{x_d > 0\}$ subject to the…
A polynomial is expansive if all of its roots lie outside the unit circle. We define some special determinants involving the coefficients of a real polynomial and formulate necessary and sufficient conditions for expansivity using these…
When $k<n$, we study the coherent systems that come from a BGN extension in which the quotient bundle is strictly semistable. In this case we describe a stratification of the moduli space of coherent systems. We also describe the strata as…
In the past few years, a successful line of research has lead to lower bounds for several fundamental local graph problems in the distributed setting. These results were obtained via a technique called round elimination. On a high level,…
We give necessary and sufficient existence criteria, and methods for finding, continuous solutions of linear equations whose coefficients are polynomials.
Delsarte's method and its extensions allow to consider the upper bound problem for codes in 2-point-homogeneous spaces as a linear programming problem with perhaps infinitely many variables, which are the distance distribution. We show that…
The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear…
We provide an upper bound on the uniform exponent of approximation to a triple (xi, xi^2, xi^3) by rational numbers with the same denominator, valid for any transcendental real number xi. This upper bound refines a previous result of…