相关论文: Is PLA large?
The finite spectrum of a first-order sentence is the set of positive integers that are the sizes of its models. The class of finite spectra is known to be the same as the complexity class NE. We consider the spectra obtained by limiting…
It has been known for almost 200 years that some angles cannot be trisected by straightedge and compass alone. This paper studies the set of such angles as well as its complement $\mathcal{T}$, both regarded as subsets of the unit circle…
Classification, up to isomorphism, of algebras from a non-empty subset of the variety of $n$- dimensional algebras is presented. It is shown that these algebras have only trivial automorphism and if the basic field is algebraically closed…
We take a unifying and new approach toward polynomial and trigonometric approximation in an arbitrary number of variables, resulting in a precise and general ready-to-use tool that anyone can easily apply in new situations of interest. The…
The Bernstein approximation problem is to determine whether or not the space of all polynomials is dense in a given weighted $C_0$-space on the real line. A theorem of L. de Branges characterizes non--density by existence of an entire…
The large sieve is used to estimate the density of integral quadratic polynomials $Q$, such that there exists an odd degree integral polynomial which has resultant $\pm 1$ with $Q$. Given a monic integral polynomial $R$ of odd degree, this…
This survey article is devoted to the notions of purity, algebraic and $\Sigma$-algebraic compactness, direct sum decompositions, and representation type in the category of modules over a ring. It begins with basic definitions, a brief…
We propose microscopic density functional theory for inhomogeneous star polymers. Our approach is based on fundamental measure theory for hard spheres, and on Wertheim's first- and second-order perturbation theory for the interparticle…
In this paper certain classes of infinite sums involving special functions are evaluated analytically by application of basic quantum mechanical principles to simple models of half harmonic oscillator and a particle trapped inside an…
The paper, that continuous some previous work of Sch\"onherr & Schuricht, treats density measures on ${\mathbb R}^n$ that concentrate in any neighborhood of a Lebesgue null set. Such measures are typical for purely finitely additive…
For given two harmonic functions $\Phi$ and $\Psi$ with real coefficients in the open unit disk $\mathbb{D}$, we study a class of harmonic functions $f(z)=z-\sum_{n=2}^{\infty}A_nz^{n}+\sum_{n=1}^{\infty}B_n\bar{z}^n$ $(A_n, B_n \geq 0)$…
We establish some identities of Euler related sums. By using these identities, we discuss the closed form representations of sums of harmonic numbers and reciprocal parametric binomial coefficients through parametric harmonic numbers,…
We generalize the Beckner's type Poincar\'e inequality \cite{Beckner} to a large class of probability measures on an abstract Wiener space of the form $\mu\star\nu$, where $\mu$ is the reference Gaussian measure and $\nu$ is a probability…
Results of a multipart work are outlined. Use is made therein of the conjunction of the Riemann hypothesis, RH, and hypotheses advanced by the author. Let z(n) be the nth nonreal zero of the Riemann zeta-function with positive imaginary…
We express some general type of infinite series such as $$ \sum^\infty_{n=1}\frac{F(H_n^{(m)}(z),H_n^{(2m)}(z),\ldots,H_n^{(\ell m)}(z))} {(n+z)^{s_1}(n+1+z)^{s_2}\cdots (n+k-1+z)^{s_k}}, $$ where $F(x_1,\ldots,x_\ell)\in\mathbb…
The degree of polarimetric purity is an invariant dimensionless quantity that characterizes the closeness of a polarization state of a wave to a pure state and is related to the Von Neumann entropy. The polarimetric purity of a plane wave…
Let $D$ be a non-empty effective divisor on $\mathbb{P}^1$. We show that when ordered by height, any set of $(D,S)$-integral points on $\mathbb{P}^1$ of bounded degree has relative density zero. We then apply this to arithmetic dynamics:…
We study projective functions. We prove that projective functions generalise lower and upper-semianalytic ones while being stable by composition and difference. We show that the class of projective functions is closed under sums,…
Using a one-to-one correspondence between observables and their spectral resolutions, we introduce the sum of any two bounded observables of a $\sigma$-MV-effect algebra. This sum is commutative, associative and with neutral element. Under…
A compact metric ring containing the set of positive integers as dense subset is studied. It is proven that tis ring is isomorph with a ring of reminder classes of ring of polyadic integers.