Related papers: Additivity, subadditivity and linearity: automatic…
For nonautonomous linear difference equations, we introduce the notion of the so-called nonuniform dichotomy spectrum and prove a spectral theorem. Moreover, we introduce the notion of weak kinematical similarity and prove a reducibility…
A non-commutative, non-associative weakening of Girard's linear logic is developed for multiplicative and additive connectives. Additional assumptions capture the logic of quantic measurements.
We study Dirichlet series arising as linear functionals on an inner product space of meromorphic functions and establish a relation between the discontinuities of the former on the boundary and the poles and zeros of the latter on the…
We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also…
In the present work, we investigate estimates of regularity for weak solutions to the non-cutoff Boltzmann equation with soft potentials. We restrict our focus to the so-called "typically rough and slowly decaying data", which is…
Auto-active program verification rests on the ability to effectively the translation from annotated programs into verification conditions that are then discharged by automated theorem provers in the background. Characteristic such tools,…
The use of quantum information in technology promises to supersede the so-called classical devices used nowadays. Understanding what features are inherently non-classical is crucial for reaching better-than-classical performance. This…
In this paper we study the Cauchy problem for semi-linear de Sitter models with power non-linearity. The model of interest is \[ \phi_{tt} - e^{-2t} \Delta \phi + n\phi_t+m^2\phi=|\phi|^p,\quad (\phi(0,x),\phi_t(0,x))=(f(x),g(x)),\] where…
New general results of non-existence and rigidity of spacelike submanifolds immersed in a spacetime, whose mean curvature is a time-oriented causal vector field, are given. These results hold for a wide class of spacetimes which includes…
In this work I study the well-posedness of the Cauchy problem associated with the coupled Schr\"odinger equations {with quadratic nonlinearities}, which appears modeling problems in nonlinear optics. I obtain the local well-posedness for…
In this paper, several differentiability criteria for real functions of multiple variables in n-dimensional Euclidean space are considered. Simple and easy-to-use Cauchy-like criterion is formulated and proven. Relaxed sufficient conditions…
We prove decidability results on the existence of constant subsequences of uniformly recurrent morphic sequences along arithmetic progressions. We use spectral properties of the subshifts they generate to give a first algorithm deciding…
This work addresses the question of uniqueness and regularity of the minimizers of a convex but not strictly convex integral functional with linear growth in a two-dimensional setting. The integrand -- whose precise form derives directly…
We analyze the performance of alternating minimization for loss functions optimized over two variables, where each variable may be restricted to lie in some potentially nonconvex constraint set. This type of setting arises naturally in…
In this paper, we study the Cauchy problems for weakly coupled systems of semi-linear structurally damped $\sigma$-evolution models with different power nonlinearities. By assuming additional $L^m$ regularity on the initial data, with $m…
A quantitative regularity theory is developed for weak solutions to the parabolic system $$ \partial_t u-\mathrm{div}\,{\boldsymbol{\mathsf A}}(x,t,Du)=0 \quad\text{in }E_T\subset \mathbb{R}^N\times\mathbb{R}, $$ which features the…
The main purpose of this paper is to give characterization theorems on derivations as well as on linear functions. Among others the following problem will be investigated: Let $n\in\mathbb{Z}$, $f, g\colon\mathbb{R}\to\mathbb{R}$ be…
Linear logic provides a framework to control the complexity of higher-order functional programs. We present an extension of this framework to programs with multithreading and side effects focusing on the case of elementary time. Our main…
We study proximal random reshuffling for minimizing the sum of locally Lipschitz functions and a proper lower semicontinuous convex function without assuming coercivity or the existence of limit points. The algorithmic guarantees pertaining…
Linear functions are arguably the most mundane among all functions. However, the basic fact that a multi-variable linear function has a constant gradient field can provide simple geometric insights into several familiar results such as the…