Related papers: Translation-based completeness on compact interval…

Let $F$ be a subfield of $\mathbb R$ and let $K$ be a basic closed semi-algebraic set in $\mathbb R$ with $\partial K\subset F$. Let $\mathcal N$ be the natural choice of generators of $K$. We show that if $f\in F[x]$ is $\geq 0$ on $K$,…

A function $f$ from an Abelian group $(A,+)$ to an Abelian group $(B,+)$ is $(n, m, S)$ zero-difference (ZD), if $S=\{\lambda_\alpha \mid \alpha \in A\setminus\{0\}\}$ where $n=|A|$, $m=|f(A)|$ and $\lambda_\alpha=|\{x \in A \mid…

Let $\Lambda^{\ast}$ be the free monoid of (finite) words over a not necessarily finite alphabet $\Lambda$, which is equipped with some (partial) order. This ordering lifts to $\Lambda^{\ast}$, where it extends the divisibility ordering of…

We show that in a category with pullbacks, arbitrary sifted colimits may be constructed as filtered colimits of reflexive coequalizers. This implies that "lex sifted colimits", in the sense of Garner--Lack, decompose as Barr-exactness plus…

Let $\MP_d$ denote the space of polynomials $f: \C \to \C$ of degree $d\geq 2$, modulo conjugation by $\Aut(\C)$. Using properties of polynomial trees (as introduced in [DM, math.DS/0608759]), we show that if $f_n$ is a divergent sequence…

We prove a complexity dichotomy theorem for Holant problems over an arbitrary set of complex-valued symmetric constraint functions F on Boolean variables. This extends and unifies all previous dichotomies for Holant problems on symmetric…

There are two possible computational interpretations of second-order arithmetic: Girard's system F or Spector's bar recursion and its variants. While the logic is the same, the programs obtained from these two interpretations have a…

We construct a uniformly discrete sequence $\{\lambda_1 < \lambda_2 < \cdots\} \subset \mathbb{R}$ and functions $g$ and $\{g_n^*\}$ in $L^2(\mathbb{R})$, such that every $f \in L^2(\mathbb{R})$ admits a series expansion \[ f(x) =…

In continuation of Part I, we study translative integral formulas for certain translation invariant functionals, which are defined on general convex bodies. Again, we consider local extensions and use these to show that the translative…

We present a new, explicit sum formula for symmetric Macdonald polynomials $P_\lambda$ and show that they can be written as a trace over a product of (infinite dimensional) matrices. These matrices satisfy the Zamolodchikov--Faddeev (ZF)…

The families of right (left) translation finite subsets of a discrete infinite group $\Gamma$ are defined and shown to be ideals. Their kernels $Z_R$ and $Z_L$ are identified as the closure of the set of products $pq$ ($p\cdot q$) in the…

Given a finite dimensional algebra $\Lambda$, we show that a frequently satisfied finiteness condition for the category ${\cal P}^{\infty}(\Lambda\rm{-mod})$ of all finitely generated (left) $\Lambda$-modules of finite projective dimension,…

In this article the integration of the $\alpha$-fractal interpolation function $f^{\alpha}$ corresponding to any continuous function $f$ on a compact interval $I$ of $\mathbb{R}$ is estimated although there is no explicit form of…

We sketch a tentative proof of P-completeness for the $\beta$-convertibility problem on untyped planar (a.k.a. ordered or non-commutative) $\lambda$-terms.

Let $\mathbf{k}$ be a field of arbitrary characteristic, let $\Lambda$ be a finite dimensional $\mathbf{k}$-algebra, and let $V$ be an indecomposable Gorenstein-projective $\Lambda$-module with finite dimension over $\mathbf{k}$. It follows…

The paper studies the problem, for which continuous functions $f$ on the real line ${\Bbb R}$, the difference of the functions $f(B)-f(A)$ of self-adjoint operators $A$ and $B$ with trace class difference must also be of trace class. The…

In the context of continuous zooming systems $f:M \to M$ on a compact metric space $M$, which include the non-uniformly expanding ones, possibly with the presence of a critical set, with the zooming set dense in $M$, we prove that any…

We generalize the $2$-tensor paraproduct decomposition result of [arXiv:2503.12629] to $d$-tensors. In particular, we show that for $A \in C^{d}(\mathbb{R}), f \in \Lambda_{\alpha}([0,1]^d)$, $A(f)$ can be approximated by…

We provide a new representation of a refinable shift invariant space with a compactly supported generator, in terms of functions with a special property of homogeneity. In particular these functions include all the homogeneous polynomials…

Let $\I$ be an ideal on $\N$ which is either analytic or coanalytic. Assume that $(f_n)$ is a sequence of functions with the Baire property from a Polish space $X$ into a complete metric space $Z$, which is divergent on a comeager set. We…