相关论文: Multivariate integration in C^\infty([0,1]^d) is n…

The Promise Constraint Satisfaction Problem (PCSP) is a generalization of the Constraint Satisfaction Problem (CSP) that includes approximation variants of satisfiability and graph coloring problems. Barto [LICS '19] has shown that a…

In this paper, we consider an infinite derivative scalar field action with infinite derivative kinetic and interaction terms. We establish that the theory is unitary if the correlation functions are formulated in Euclidean space and then…

Building on the correspondence between finitely axiomatised theories in {\L}ukasieiwcz logic and rational polyhedra, we prove that the unification type of the fragment of {\L}ukasiewicz logic with $n\geq 2$ variables is nullary. This solves…

A general and computable criterion for k-(in)separability in continuous multipartite quantum systems is presented. The criterion can be experimentally implemented with a finite and comparatively low number of local observables. We discuss…

We endeavour a systematic approach for the removal of singularities for CR functions on an arbitrary embeddable CR manifold.

We say that $f:[0,1]\to [0,1]$ is a {\it piecewise continuous interval map} if there exists a partition $0=x_0<x_1<\cdots<x_{d}<x_{d+1}=1$ of $[0,1]$ such that $f\vert_{(x_{i-1},x_i)}$ is continuous and the lateral limits $w_0^+=\lim_{x\to…

In this letter we present an analytic evidence of the non-integrability of the discrete nonlinear Schroedinger equation, a well-known discrete evolution equation which has been obtained in various contexts of physics and biology. We use a…

The Fourier transform is naturally defined for integrable functrions. Otherwise, it should be stipulated in which sense the Fourier transform is understood. We consider some class of radial and, generally saying, nonintegrable functions.…

We address the problem of testing for the invariance of a probability measure under the action of a group of linear transformations. We propose a procedure based on consideration of one-dimensional projections, justified using a variant of…

We show that on the unit ball of a certain separable Banach space there is a smooth delbar-closed (0,1)-form which is not locally delbar-exact. Further, the Dolbeault isomorphism theorem does not generalize to arbitrary Banach spaces.…

The complex exponentials with integer frequencies form a basis for the space of square integrable functions on the unit interval. We analyze whether the basis property is maintained if the support of the complex exponentials is restricted…

Many data management applications must deal with data which is uncertain, incomplete, or noisy. However, on existing uncertain data representations, we cannot tractably perform the important query evaluation tasks of determining query…

We consider the problem of uniform interpolation of functions with values in a complex inner product space of finite dimension. This problem can be casted within a modified weighted pluripotential theoretic framework. Indeed, in the…

Weak convergence of the empirical copula process indexed by a class of functions is established. Two scenarios are considered in which either some smoothness of these functions or smoothness of the underlying copula function is required. A…

We consider a wide class of linear boundary-value problems for systems of $r$-th order ordinary differential equations whose solutions range over the normed complex space $(C^{(n)})^m$ of $n\geq r$ times continuously differentiable…

We prove a multivariate Lagrange-Good formula for functionals of uncountably many variables and investigate its relation with inversion formulas using trees. We clarify the cancellations that take place between the two aforementioned…

We consider a one-Laplace equation perturbed by $p$-Laplacian with $1<p<\infty$. We prove that a weak solution is continuously differentiable ($C^{1}$) if it is convex. Note that similar result fails to hold for the unperturbed one-Laplace…

We prove a multivariate central limit theorem with explicit error bound on a non-smooth function distance for sums of bounded decomposable $d$-dimensional random vectors. The decomposition structure is similar to that of Barbour, Karo\'nski…

A method, recently advanced as the conformable Euler method, a general method for the finite difference discretization of fractional initial value problems for fractions in (0, 1], is shown to be valid only for the integer derivative. The…

We present a definition of integrability for the one dimensional Schroedinger equation, which encompasses all known integrable systems, i.e. systems for which the spectrum can be explicitly computed. For this, we introduce the class of…