相关论文: A generalization and a new proof of Plotkin's redu…

We introduce the framework of general probabilistic theories (GPTs for short). GPTs are a class of operational theories that generalize both finite-dimensional classical and quantum theory, but they also include other, more exotic theories,…

Algebraic geometry, although little explored in signal processing, provides tools that are very convenient for investigating generic properties in a wide range of applications. Generic properties are properties that hold "almost…

An arbitrary-depth reduction theorem for the `convolution' multiple L-values of Euler-Zagier type is proven by an analytic method. To this end, generalized polylogarithms associated to Dirichlet characters are defined. The proof uses the…

We introduce some generalized topological concepts to deal with union-closed families, and show that one can reduce the proof of Frankl's conjecture to some families of so-called supratopological spaces. We prove some results on the…

The aim of this note is to give a proof of the Schottky theorem in general domains in $\mathbb{C}^n$. The proof is short and works for the cases $n = 1$ and $n > 1$ at the same time.

The embedding theorem arises in several problems from analysis and geometry. The purpose of this paper is to provide a deeper understanding of analysis and geometry with a particular focus on embedding theorems on spaces of homogeneous type…

We give a further extension and generalization of Dedekind's theorem over those presented by Yamaguchi. In addition, we give two corollaries on irreducible representations of finite groups and a conjugation of the group algebra of the…

The investigation of symmetries of b-symplectic manifolds and folded-symplectic manifolds is well-understood when the group under consideration is a torus (see, for instance, [GMPS,GLPR, GMW18a] for b-symplectic manifolds and [CGP, CM] for…

In the paper, we introduce the notion of a local regular supermartingale relative to a convex set of equivalent measures and prove for it an optional Doob decomposition in the discrete case. This Theorem is a generalization of the famous…

We present a formalization of a version of Abadi and Plotkin's logic for parametricity for a polymorphic dual intuitionistic/linear type theory with fixed points, and show, following Plotkin's suggestions, that it can be used to define a…

It is well known, that Luzin's conjecture has a positive solution for one dimensional trigonometric Fourier series and it is still open for the spherical partial sums $S_\lambda f(x)$, $f\in L_2(\mathbb{T}^N)$, of multiple Fourier series,…

We prove a ``general shrinking lemma'' that resembles the Schwarz--Pick--Ahlfors Lemma and its many generalizations, but differs in applying to maps of a finite disk into a disk, rather than requiring the domain of the map to be complete.…

We prove a general divisibility theorem that implies, e.g., that, in any group, the number of generating pairs (as well as triples, etc.) is a multiple of the order of the commutator subgroup. Another corollary says that, in any associative…

We give a new short proof for the uniqueness of the universal minimal space. The proof holds for the uniqueness of the universal object in every collection of topological dynamical systems closed under taking projective limits and…

Given an automorphism and an anti-automorphism of a semigroup of a Geometric Algebra, then for each element of the semigroup a (generalized) projection operator exists that is defined on the entire Geometric Algebra. A single fundamental…

In this note, we give the most natural (perhaps the simplest ever) generalization of the Fuglede-Putnam theorem where all operators involved are unbounded.

We show that the essentially algebraic theory of generalized algebraic theories, regarded as a category with finite limits, has a universal exponentiable arrow in the sense that any exponentiable arrow in any category with finite limits is…

Generalised algebraic theories (GATs) allow multiple sorts indexed over each other. For example, the theories of categories or Martin-L{\"o}f type theories form GATs. Categories have two sorts, objects and morphisms, and the latter are…

Using notions of homogeneity we give new proofs of M. Artin's algebraicity criteria for functors and groupoids. Our methods give a more general result, unifying Artin's two theorems and clarifying their differences.

In this paper, we consider universal sums of generalized polygonal numbers. Fixing $m\in\mathbb{N}_{\geq 3}$, we show two finiteness theorems for universal sums of generalized polygonal numbers whose inputs have a restricted number $L$ of…