Related papers: Integrals, Partitions, and Cellular Automata

Motivated by satisfiability of constraints with function symbols, we consider numerical inequalities on non-negative integers. The constraints we consider are a conjunction of a linear system Ax = b and a conjunction of (non-)convex…

We compare several definitions for number-conserving cellular automata that we prove to be equivalent. A necessary and sufficient condition for \cas to be number-conserving is proved. Using this condition, we give a linear-time algorithm to…

Interval approaches for the reachability analysis of initial value problems for sets of classical ordinary differential equations have been investigated and implemented by many researchers during the last decades. However, there exist…

We show that cellular automata can classify data by inducing a form of dynamical phase coexistence. We use Monte Carlo methods to search for general two-dimensional deterministic automata that classify images on the basis of activity, the…

Over the past few years considerable progress has been made on the resummation of double-logarithmically enhanced threshold (large-x) and high-energy (small-x) higher-order contributions to the splitting functions for parton and…

For fixed $m$ and $R\subseteq \{0,1,\ldots,m-1\}$, take $A$ to be the set of positive integers congruent modulo $m$ to one of the elements of $R$, and let $p_A(n)$ be the number of ways to write $n$ as a sum of elements of $A$. Nathanson…

In this paper, we propose a numerical method of computing an integral whose integrand is a slowly decaying oscillatory function. In the proposed method, we consider a complex analytic function in the upper-half complex plane, which is…

We prove that the discrete fractional integration operators along the primes \[ T^{\lambda}_{\mathbb{P}}f(x) := \sum_{p} \frac{f(x-p)}{p^{\lambda}} \cdot \log p \] are bounded $\ell^p\to \ell^{p'}$ whenever $ \frac{1}{p'} < \frac{1}{p} -…

The arithmetic partial derivative (with respect to a prime $p$) is a function from the set of integers that sends $p$ to 1 and satisfies the Leibniz rule. In this paper, we prove that the $p$-adic valuation of the sequence of higher order…

We give, for each countable ordinal $\xi \geq 1$, an example of a ${\bf\Delta}^0_2$ countable union of Borel rectangles that cannot be decomposed into countably many ${\bf\Pi}^0_\xi$ rectangles. In fact, we provide a graph of a partial…

We note that the inequalities $0.92 \frac{x}{\log(x)} <\pi(x)< 1.11 \frac{x}{\log(x)}$ do not hold for all $x\ge 30$, contrary to some references. These estimates on $\pi(x)$ came up recently in papers on algebraic number theory.

Asymptotic expansions for the Bateman and Havelock functions defined respectively by the integrals \[\frac{2}{\pi}\int_0^{\pi/2} \!\!\!\begin{array}{c} \cos\\\sin\end{array}\!(x\tan u-\nu u)\,du\] are obtained for large real $x$ and large…

In this paper, we consider an unconstrained (-1,1)-quadratic fractional optimization in the following form: $\min_{x\in\{-1,1\}^n}~(x^TAx+\alpha)/(x^TBx+\beta)$, where $A$ and $B$, given by their nonzero eigenvalues and associated…

We introduce a class $\Lambda_{s}$ of functions with complicated local structure. Any function from the class belongs to one of three specifically defined types $f^s _k$, $f_+$, and $f^{-1} _+$ or is a specifically defined composition of…

We consider autonomous integral functionals of the form $\mathcal F[u]:=\int_\Omega f(D u)\,dx$ with $u:\Omega\to\mathbb R^N$ $N\geq1$, where the convex integrand $f$ satisfies controlled $(p,q)$-growth conditions. We establish higher…

We present a numerical method to evaluate partition functions and associated correlation functions of inhomogeneous 2--D classical spin systems and 1--D quantum spin systems. The method is scalable and has a controlled error. We illustrate…

We extend the Matom\"{a}ki-Radziwi\l\l{} theorem to a large collection of unbounded multiplicative functions that are uniformly bounded, but not necessarily bounded by 1, on the primes. Our result allows us to estimate averages of such a…

In [6], a constraint on invariant measures of bi-permutative cellular automata has been observed: fixed values at the positive indices determine almost-surely a uniform conditional probability on the subset of values of positive conditional…

We design a Quasi-Polynomial time deterministic approximation algorithm for computing the integral of a multi-dimensional separable function, supported by some underlying hyper-graph structure, appropriately defined. Equivalently, our…

For fixed natural numbers $r$ and $s$, where $2\leq s \leq r$, we consider a representation of numbers from the interval $[0;\frac{r}{s-1}]$ obtained by encoding numbers by means of the alphabet $A=\{0,1,...,r\}$ via the expansion…