相关论文: The weak pigeonhole principle for function classes…

We connect learning algorithms and algorithms automating proof search in propositional proof systems: for every sufficiently strong, well-behaved propositional proof system $P$, we prove that the following statements are equivalent, 1.…

In this note we give a sharp weighted estimate for square function from $L^2(w)$ to $L^2(w)$, $w\in A_2$. This has been known. But we also give a sharpening of this weighted estimate in the spirit of $T1$-type testing conditions. Finally we…

Let $\mathsf{TT}^1$ be the combinatorial principle stating that every finite coloring of the infinite full binary tree has a homogeneous isomorphic subtree. Let $\mathsf{RT}^2_2$ and $\mathsf{WKL}_0$ denote respectively the principles of…

In this paper we study the almost sure conditional central limit theorem in its functional form for a class of random variables satisfying a projective criterion. Applications to strongly mixing processes and non irreducible Markov chains…

The existence of weak solutions is established for stochastic Volterra equations with time-inhomogeneous coefficients allowing for general kernels in the drift and convolutional or bounded kernels in the diffusion term. The presented…

It is known that graded cyclic modules over $S=K[x,y]$ have the Weak Lefschetz Property (WLP). This is not true for non-cyclic modules over $S$. The purpose of this note is to study which conditions on $S$-modules ensure the WLP. We give an…

The notion of weakly separable extensions was introduced by N. Hamaguchi and A. Nakajima as a generalization of separable extensions. The purpose of this article is to give a characterization of weakly separable polynomials in skew…

The weak maximum principle of the isoparametric finite element method is proved for the Poisson equation under the Dirichlet boundary condition in a (possibly concave) curvilinear polyhedral domain with edge openings smaller than $\pi$,…

We show in this work that homology in degree d of a congruence group, in a very general framework, defines a weakly polynomial functor of degree at most 2d and we describe this functor modulo polynomial functors of smaller degree. Our main…

In this paper, we develop a general methodology to prove weak uniqueness for stochastic differential equations with coefficients depending on some path-functionals of the process. As an extension of the technique developed by Bass \&…

We prove that certain modules are faithful. This enables us to draw consequences about the reduction number and the integral closure of some classes of ideals.

The classical Donsker weak invariance principle is extended to a Besov spaces framework. Polygonal line processes build from partial sums of stationary martingale differences as well independent and identically distributed random variables…

In this article, we apply the methods of our work on Fontaine's theory in equal characteristics to the $\varphi/\mathfrak S$-modules of Breuil and Kisin. Thanks to a previous article of Kisin, this yields a new and rather elementary proof…

Under the assumption of (positive) homogeneity (PH in the sequel) of the corresponding utility functions, we construct polynomial time algorithms for the weak separability, the collective consumption behavior and some related problems.…

Kelley-Morse set theory KM is weaker than generally supposed and fails to prove several principles that may be desirable in a foundational second-order set theory. Even though KM includes the global choice principle, for example, (i) KM…

We study the relation among some security parameters for vectorial Boolean functions which prevent attacks on the related block cipher. We focus our study on a recently-introduced security criterion, called weak differential uniformity,…

In this paper, we consider a modified version of a well-known submartingale condition fortheweak convergence of probabilitymeasures, adapted to the semi-Markov case. In this setting, it is convenient to work with an embedded Markov chain…

A classical counterexample due to E. De Giorgi, shows that the weak maximum principle does not remain true for general linear elliptic differential systems. After that, there are some efforts to establish the weak maximum principle for…

We prove that if conditions I-II (below) hold and there is a sequence of Boolean functions $f_n$ hard to approximate by p-size circuits such that p-size circuit lower bounds for $f_n$ do not have p-size proofs in Extended Frege system EF,…

In an abstract framework, a new concept on time operator, ultra-weak time operator, is introduced, which is a concept weaker than that of weak time operator. Theorems on the existence of an ultra-weak time operator are established. As an…