相关论文: A Note on Induction Schemas in Bounded Arithmetic
Let $p$ be a prime number and let $K$ be a genus one two-bridge knot. In the spirit of arithmetic topology, we observe that if $p$ divides the size of the 1st homology group of some odd-th cyclic branched cover of the knot $K$, then its…
We present an algebraic approach to string theory. An embedding of $sl(2|1)$ in a super Lie algebra together with a grading on the Lie algebra determines a nilpotent subalgebra of the super Lie algebra. Chirally gauging this subalgebra in…
This paper is mainly concerned with proving $\sigma(AB)=\sigma(BA)$ for two linear and non necessarily bounded operators $A$ and $B$. The main tool is left and right invertibility of bounded and unbounded operators.
For which choices of $X,Y,Z\in\{\Sigma^1_1,\Pi^1_1\}$ does no sufficiently strong $X$-sound and $Y$-definable extension theory prove its own $Z$-soundness? We give a complete answer, thereby delimiting the generalizations of G\"odel's…
We investigate the cyclic proof theory of extensions of Peano Arithmetic by (finitely iterated) inductive definitions. Such theories are essential to proof theoretic analyses of certain `impredicative' theories; moreover, our cyclic systems…
We prove an endpoint version of the Stein-Tomas restriction theorem, for a general class of measures, and with a strengthened Lorentz space estimate. A similar improvement is obtained for Stein's estimate on oscillatory integrals of…
Bruss's odds theorem \cite{Bruss1} addresses the problem of determining the optimal stopping time for sequences of independent indicator functions. In this note, we derive upper and lower bounds for the success probability under the optimal…
The main purpose of this study is to introduce the spaces $cs^{\lambda}, cs_0^{\lambda}$ and $bs^{\lambda}$ which are $BK-$spaces of non-absolute type. We prove that these spaces are linearly isomorphic to the spaces $cs, cs_0$ and $bs$,…
An uniqueness theorem for the inverse problem in the case of a second-order equation defined on the interval [0,1] when the boundary forms contain combinations of the values of functions at the points 0 and 1 is proved. The auxiliary…
The stringy picture behind the integrable spin chains governing the evolution equations in Yang-Mills theory is discussed. It is shown that one-loop dilatation operator in N=4 theory can be expressed in terms of two-point functions on 2d…
The numerical invariants (global) cohomological length, (global) cohomological width, and (global) cohomological range of complexes (algebras) are introduced. Cohomological range leads to the concepts of derived bounded algebras and…
We give a new proof of the boundedness of bilinear Schur multipliers of second order divided difference functions, as obtained earlier by Potapov, Skripka and Sukochev in their proof of Koplienko's conjecture on the existence of higher…
We prove the $\Sigma^1$-conjecture for two families of Artin groups: Artin groups such that there exists a prime number $p$ dividing $\frac{l(e)}{2}$ for every edge $e$ with even label $>2$ and balanced Artin groups. The family of balanced…
We consider complex projective schemes $X\subset\Bbb{P}^{r}$ defined by quadratic equations and satisfying a technical hypothesis on the fibres of the rational map associated to the linear system of quadrics defining $X$. Our assumption is…
A celebrated theorem of P.M.Cohn says that for any two division rings (not necessarily finite dimensional) over a field F, their amalgamated product over F is a domain which can be embedded in a division ring. Note that even with the two…
A structure theorem for bounded-below modules over the subalgebra A(1) of the mod 2 Steenrod algebra generated by Sq^1, Sq^2 is proved; this is applied to prove a classification theorem for a family of indecomposable A(1)-modules. The…
We propose the existence theorem for bounded solutions to the system of 2-nd order ODE. Dynamical applications have been considered.
Lin's theorem states that for all $\epsilon > 0$, there is a $\delta > 0$ such that for all $n \geq 1$ if self-adjoint contractions $A,B \in M_n(\mathbb{C})$ satisfy $\|[A,B]\|< \delta$ then there are self-adjoint contractions $A',B' \in…
The Selberg sieve provides majorants for certain arithmetic sequences, such as the primes and the twin primes. We prove an L^2-L^p restriction theorem for majorants of this type. An immediate application is to the estimation of exponential…
We study a multilinear version of H\"ormander multiplier theorem, namely \begin{equation*} \Vert T_{\sigma}(f_1,\dots,f_n)\Vert_{L^p}\lesssim \sup_{k\in\mathbb{Z}}{\Vert…