Related papers: The weak pigeonhole principle for function classes…

We give a short proof of Manin-Mumford in the multiplicative group based on the pigeon-hole principle and the so-called structure theorem for anomalous subvarieties. The arguments appear to be new and perhaps applicable in other situations.

We study Frege proofs for the one-to-one graph Pigeon Hole Principle defined on the $n\times n$ grid where $n$ is odd. We are interested in the case where each formula in the proof is a depth $d$ formula in the basis given by $\land$,…

Let $R$ be a ring and $n$, $k$ two non-negative integers. In this paper, we introduce the concepts of $n$-weak injective and $n$-weak flat modules and via the notion of special super finitely presented modules, we obtain some…

We consider statistical learning question for $\psi$-weakly dependent processes, that unifies a large class of weak dependence conditions such as mixing, association,$\cdots$ The consistency of the empirical risk minimization algorithm is…

We give a level-by-level analysis of the Weak Vop\v{e}nka Principle for definable classes of relational structures (WVP), in accordance with the complexity of their definition, and we determine the large-cardinal strength of each level.…

In this paper, we get an elementary and important lemma(See Lemma 3.2) which is about pushout and pullback of modules. And we prove a weak form of a long open conjecture on vanishing of group cohomology for blocks.

We introduce a new bounded theory RS^1_2 and show that the functions which are Sigma^b_1-representable in it are precisely random functions which can be computed in polynomial time. Concretely, we pass through a class of oracle functions…

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…

The time evolution of the two-time conditional probability of the classical stochastic process is described in an analogous form of the quantum mechanical wave equations. By using it, we emulate the same strange behaviors as those of the…

In the context of spatial logics and spatial model checking for polyhedral models -- mathematical basis for visualisations in continuous space -- we propose a weakening of simplicial bisimilarity. We additionally propose a corresponding…

We introduce a double staircase construction $T$ and show that the weak closure of $\{T^n\}$ is $\{\int, 2^{-m}T^n+(1-2^{-m})\int \ : m\in\N,\ n\in \Z\}.$

We investigate the weak invariance principle in H{\"o}lder spaces under some reinforcement of the Maxwell and Woodroofe condition.

Using a result of J-M. Bony, we prove the weak involutivity of truncated microsupports. More precisely, given a sheaf $F$ on a real manifold and an integer $k$, if two functions vanish on the truncated microsupport $Ss_k(F)$, then so does…

We propose a new approach to the theory of conditioning for numerical analysis problems for which both classical and stochastic perturbation theory fail to predict the observed accuracy of computed solutions. To motivate our ideas, we…

One of the elegant achievements in the history of proof theory is the characterization of the provably total recursive functions of an arithmetical theory by its proof-theoretic ordinal as a way to measure the time complexity of the…

In recent literature, it has been argued that a mild form of the Weak Gravity Conjecture (WGC) is satisfied by wide classes of effective field theories in which higher-derivative corrections can be shown to shift the charge-to-mass ratios…

We analyze Ekeland's variational principle in the context of reverse mathematics. We find that that the full variational principle is equivalent to $\Pi^1_1$-${\sf CA}_0$, a strong theory of second-order arithmetic, while natural…

This paper is aimed to prove the strong duality theorem for continuous-time linear programming problems in which the coefficients are assumed to be piecewise continuous functions. The previous paper proved the strong duality theorem for the…

In this article, the weak-strong uniqueness principle is proved for an Euler-Poisson system in the whole space, with initial data so that the strong solution exists. Some results on Riesz potentials are used to justify the considered weak…

We prove a weak iterated invariance principle for a large class of non-uniformly expanding random dynamical systems. In addition, we give a quenched homogenization result for fast-slow systems in the case when the fast component corresponds…