Related papers: Weak length induction and slow growing depth boole…

The multipullback quantization of complex projective spaces lacks the naive quantum CW-complex structure because the quantization of an embedding of the $n$-skeleton into the $(n+1)$-skeleton does not exist. To overcome this difficulty, we…

We present variants of Goodstein's theorem that are equivalent to arithmetical comprehension and to arithmetical transfinite recursion, respectively, over a weak base theory. These variants differ from the usual Goodstein theorem in that…

We use induction from parabolic subalgebras with infinite-dimensional Levi factor to construct new families of irreducible representations for arbitrary Affine Kac-Moody algebra. Our first construction defines a functor from the category of…

The tower Weak Gravity Conjecture predicts infinitely many super-extremal states along every ray in the charge lattice of a consistent quantum gravity theory. We show this far-reaching claim in five-dimensional compactifications of M-theory…

We construct an $\ll^2$-solution (also known as a weakly low solution) to ${\mathrm{D}^2}$ within ${\mathrm{B}\Sigma^0_{3}}$ and prove the $\ll^2$-basis theorem for $\mathrm{RT}^2$ over ${\mathrm{B}\Sigma^0_{3}}$. The $\ll^2$-basis theorem…

In this paper, we introduce and characterize the concept of directional weak mixing through independence, sequence entropy, the mean ergodic theorem, and other notions. Additionally, we deduce a directional version of the Koopman-von…

We classify certain non-symmetric commutative association schemes. As an application, we determine all the primitive weakly distance-regular circulant digraphs.

Burdzy and Chen (1998) proved results on weak convergence of multidimensional normally reflected Brownian motions. We generalize their work by considering obliquely reflected diffusion processes. We require weak convergence of domains,…

We consider a class of weak modules for vertex operator algebras that we call logarithmic modules. We also construct nontrivial examples of intertwining operators between certain logarithmic modules for the Virasoro vertex operator algebra.…

Using a coupling argument, we establish a general weak law of large numbers for functionals of binomial point processes in d-dimensional space, with a limit that depends explicitly on the (possibly non-uniform) density of the point process.…

Examples are constructed of sparse subsequences of the integers for which the associated maximal averages operator is of weak type (1,1). A consequence, by transference, is that an almost everywhere L^1 -- type ergodic theorem holds for…

The set of permutations on a finite set can be given the lattice structure known as the weak Bruhat order. This lattice structure is generalized to the set of words on a fixed alphabet $\Sigma$ = {x,y,z,...}, where each letter has a fixed…

Abduction is a fundamental and important form of non-monotonic reasoning. Given a knowledge base explaining how the world behaves it aims at finding an explanation for some observed manifestation. In this paper we focus on propositional…

The notion of well order admits an alternative definition in terms of embeddings between initial segments. We use the framework of reverse mathematics to investigate the logical strength of this definition and its connection with…

Recently a new family of enumerative invariants called leaky Hurwitz numbers was introduced by Cavalieri-Markwig-Ranganathan in the context of logarithmic intersection theory. They admit an interpretation via tropical covers where the…

We study a special class of weakly associative algebras: the symmetric Leibniz algebras. We describe the structure of the commutative and skew symmetric algebras associated with the polarization-depolarization principle. We also give a…

Weak measurement [1,19] combined with quantum delayed-choice experiment that use quantum beam splitter instead of the beam splitter give rise to a surprising amplification effect, i.e., counterintuitive negative amplification effect. We…

A notorious open question in circuit complexity is whether Boolean operations of arbitrary arity can efficiently be expressed using modular counting gates only. H{\aa}stad's celebrated switching lemma yields exponential lower bounds for the…

In this article, we introduce a category of weak Lie 3-algebras with suitable weak morphisms. The definition is based on the construction of a partial resolution over $\mathbb{Z}$ of the Koszul dual cooperad of the $\textrm{Lie}$ operad,…

We prove that the statement "there is a $k$ such that for every $f$ there is a $k$-bounded diagonally non-recursive function relative to $f$" does not imply weak K\"onig's lemma over $\mathrm{RCA}_0 + \mathrm{B}\Sigma^0_2$. This answers a…