Related papers: Weak length induction and slow growing depth boole…
In this paper, we study representations of the vertex operator algebra $L(k,0)$ at one-third admissible levels $k= -5/3, -4/3, -2/3$ for the affine algebra of type $G_2^{(1)}$. We first determine singular vectors and then obtain a…
An arbitrary-depth reduction theorem for the `convolution' multiple L-values of Euler-Zagier type is proven by an analytic method. To this end, generalized polylogarithms associated to Dirichlet characters are defined. The proof uses the…
We provide quantitative weighted weak type estimates for non-integral square functions in the critical case $p=2$ in terms of the $A_p$ and reverse H\"older constants associated to the weight. The method of proof uses a decoupling of the…
We prove that the problem of deciding the consequence relation of the full Lambek calculus with weakening is complete for the class HAck of hyper-Ackermannian problems (i.e., level F_{\omega}^{\omega} of the ordinal-indexed hierarchy of…
The paper is devoted to the convex-set counterpart of the theory of weak$^*$ derived sets initiated by Banach and Mazurkiewicz for subspaces. The main result is the following: For every nonreflexive Banach space $X$ and every countable…
It is known that rational approximations of elementary analytic functions (exp, log, trigonometric, and hyperbolic functions, and their inverse functions) are computable in the weak complexity class $\mathrm{TC}^0$. We show how to formalize…
This is a survey of weak approximation over complex function fields, touching on the Koll'ar-Miyaoka-Mori theorem, places of good and bad reduction, the special case of rational surfaces, rationally simply connected varieties, and…
We use De Giorgi-Nash-Moser iteration scheme to establish that weak solutions to a coupled system of elliptic equations with critical growth on the boundary are in $L^\infty(\Omega)$. Moreover, we provide an explicit $L^\infty(\Omega)$-…
If $\lambda <\kappa$ are infinite cardinals, a linear order $L$ is isomorphic to a maximal chain in $[\kappa ]^{\kappa |\kappa }$ (resp. $[\kappa ]^{\lambda |\kappa }$; $[\kappa ]^{\kappa |\lambda }$) iff $L$ is weakly Boolean, the weight…
A linear different operator L is called weakly hypoelliptic if any local solution u of Lu=0 is smooth. We allow for systems, that is, the coefficients may be matrices, not necessarily of square size. This is a huge class of important…
Recently, Forbes, Kumar and Saptharishi [CCC, 2016] proved that there exists an explicit $d^{O(1)}$-variate and degree $d$ polynomial $P_{d}\in VNP$ such that if any depth four circuit $C$ of bounded formal degree $d$ which computes a…
We prove that an idempotent operation generates a loop from a strongly connected digraph containing directed cycles of all lengths under very mild (local) algebraic assumptions. Using the result, we reprove the existence of a weakest…
We investigate weakly constrained codes, in which specific patterns occur with prescribed frequencies rather than being strictly forbidden as in conventional constrained coding. We propose a capacity-achieving construction of a weakly…
We present here a novel approach to evaluation of the weak localization correction (WLC) to transport properties of a mesoscopic conductor. It is based on an extension of Keldysh technique and allows one to evaluate the full counting…
We prove the first Fixed-depth Size-hierarchy Theorem for uniform AC$^0[\oplus]$ circuits; in particular, for fixed $d$, the class $\mathcal{C}_{d,k}$ of uniform AC$^0[\oplus]$ formulas of depth $d$ and size $n^k$ form an infinite…
We extend the Larson-Sweedler theorem to weak Hopf algebras by proving that a finite dimensional weak bialgebra is a weak Hopf algebra iff it possesses a non-degenerate left integral. We show that the category of modules over a weak Hopf…
Warped conformal field theories in two dimensions are exotic nonlocal, Lorentz violating field theories characterized by Virasoro-Kac-Moody symmetries and have attracted a lot of attention as candidate boundary duals to warped AdS$_3$…
We present a semiclassical analysis of the quantum propagator of a particle confined on one side by a steeply, monotonically rising potential. The models studied in detail have potentials proportional to $x^{\alpha}$ for $x>0$; the limit…
We construct an internal language for cartesian closed bicategories. Precisely, we introduce a type theory modelling the structure of a cartesian closed bicategory and show that its syntactic model satisfies an appropriate universal…
We study the complexity of inverse cellular automata on configurations of bounded size. Deciding injectivity in this setting is co-NP-complete by a theorem of Durand. We give a simpler proof of this theorem by a direct reduction from UNSAT…