Related papers: Bloom type inequality for bi-parameter singular in…

In much discussed work Artemov has recently shown that, for $\mathrm{PA}$, the consistency schema admits a form of uniform verification via selector proofs, despite the unprovability of the corresponding uniform consistency sentence…

This work establishes a multivariable Wold-type decomposition for left-inverse commuting $n$-tuples of bounded operators, built on the hypothesis that each component admits a Wold-type decomposition. For pairs of operators, we obtain a…

We consider estimation of parameters defined as linear functionals of solutions to linear inverse problems. Any such parameter admits a doubly robust representation that depends on the solution to a dual linear inverse problem, where the…

We prove a local $Tb$ theorem under close to minimal (up to certain `buffering') integrability assumptions, conjectured by S. Hofmann (El Escorial, 2008): Every cube is assumed to support two non-degenerate functions $b^1_Q\in L^p$ and…

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard…

Standard results in descriptive set theory provide sufficient conditions for a Borel set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has "small" sections or "large"…

We show that any multiple-valued function can be represented by a linear lambda term typed in a second-order polymorphic type system, using two distinct styles. The first is a circuit style, which mimics combinational circuits in switching…

We give a new method for the evaluation of a class of integrals of rational symmetric functions in N pairs of variables {x_a, y_a}_{a=1,... N} arising in coupled matrix models, valid for a broad class of two-variable measures. The result is…

The aim of this paper is to prove inequalities towards instances of the Bloch-Kato conjecture for Hilbert modular forms of parallel weight two, when the order of vanishing of the $L$-function at the central point is zero or one. We achieve…

In the research on checking whether the underlying model is of parametric single-index structure with outliers in observations, the purpose of this paper is two-fold. First, a test that is robust against outliers is suggested. The Hampel's…

We prove modularity of certain residually reducible ordinary 2-dimensional $p$-adic Galois representations with determinant a finite order odd character $\chi$. For certain non-quadratic $\chi$ we prove an $R=T$ result for $T$ the weight 1…

Let $G$ be a simple linear algebraic group over an algebraically closed field $K$ of characteristic $p \geq 0$ and let $V$ be an irreducible rational $G$-module with highest weight $\lambda$. When $V$ is self-dual, a basic question to ask…

In the first part of the paper we prove a bi-parameter version of a well known multilinear theorem of Coifman and Meyer. As a consequence, we generalize the Kato-Ponce inequality in nonlinear PDE, obtaining a fractional Leibnitz rule for…

Via the new weight $A_{\vec p}^{\infty}(\varphi)$ and the new $BMO$ function, the authors introduce a new class of multilinear square operators $T$ with generalized kernels. The boundedness of multilinear commutators and multilinear…

We prove a combinatorial rule for a complete decomposition, in terms of Langlands parameters, for representations of p-adic $GL_n$ that appear as parabolic induction from a large family (ladder representations). Our rule obviates the need…

Let $F$ be a $p$-adic field, and let $G$ be either the split special orthogonal group $\mathrm{SO}_{2n+1}(F)$ or the symplectic group $\mathrm{Sp}_{2n}(F)$, with $n \geq 0$. We prove that a smooth irreducible representation of good parity…

We prove that the multiplication map L^a(M)\otimes_M L^b(M)\to L^{a+b}(M) is an isometric isomorphism of (quasi)Banach M-M-bimodules. Here L^a(M)=L_{1/a}(M) is the noncommutative L_p-space of an arbitrary von Neumann algebra M and \otimes_M…

We show that for an individual Riesz transform in the setting of doubling measures, the scalar $T1$ theorem fails when $p \neq 2$: for each $ p \in (1, \infty) \setminus \{2\}$, we construct a pair of doubling measures $(\sigma, \omega)$ on…

The new type of "bumping" of the Muckenhoupt $A_2$ condition on weights is introduced. It is based on bumping the entropy integral of the weights. In particular, one gets (assuming mild regularity conditions on the corresponding Young…

The trade-off between the two types of errors in binary state discrimination may be quantified in the asymptotics by various error exponents. In the case of simple i.i.d. hypotheses, each of these exponents is equal to a divergence…