Related papers: On scalable $K$-frames and a version of Lax-Milgra…

We derive the variational limiting theory of thin films, parallel to the F\"oppl-von K\'arm\'an theory in the nonlinear elasticity, for films that have been prestrained and whose thickness is a general non-constant function. Using…

Kleene algebra (KA) is an important tool for reasoning about general program equivalences, with a decidable and complete equational theory. However, KA cannot always prove equivalences between specific programs. For this purpose, one adds…

We prove an infinite-dimensional KAM theorem for a Hamiltonian system with sublinear growth frequencies at infinity. As an application, we prove the reducibility of the linear fractional Schr\"odinger equation with quasi-periodic…

Let K be an abstract elementary class of models. Assume that there are less than the maximal number of models in K_{\lambda^{+n}} (namely models in K of power \lambda^{+n}) for all n. We provide conditions on K_\lambda, that imply the…

The notion of g-frames for Hilbert spaces was introduced and studied by Wenchang Sun [16] as a generalization of the notion of frames. In this paper, we define computable g-frames in computable Hilbert spaces and obtain computable versions…

A finite-dimensional Hilbert space is usually described in terms of an orthonormal basis, but in certain approaches or applications a description in terms of a finite overcomplete system of vectors, called a finite tight frame, may offer…

Let $K$ be a number field, and let $W$ be a subspace of $K^N$, $N \geq 1$. Let $V_1,...,V_M$ be subspaces of $K^N$ of dimension less than dimension of $W$. We prove the existence of a point of small height in $W \setminus \bigcup_{i=1}^M…

We derive formulas and algorithms for Kitaev's invariants in the periodic table for topological insulators and superconductors for finite disordered systems on lattices with boundaries. We find that K-theory arises as an obstruction to…

By introducing a notion of smooth connection for unbounded $KK$-cycles, we show that the Kasparov product of such cycles can be defined directly, by an algebraic formula. In order to achieve this it is necessary to develop a framework of…

Few years ago G\u{a}vru\c{t}a gave the notions of $K$-frame and atomic system for a linear bounded operator $K$ in a Hilbert space $\mathcal{H}$ in order to decompose $\mathcal{R}(K)$, the range of $K$, with a frame-like expansion. These…

We algebraically compute all possible sectional curvature values for canonical algebraic curvature tensors, and use this result to give a method for constructing general sectional curvature bounds. We use a well-known method to…

We extend the results of Deligne and Illusie on liftings modulo $p^2$ and decompositions of the de Rham complex in several ways. We show that for a smooth scheme $X$ over a perfect field $k$ of characteristic $p>0$, the truncations of the…

We study a variant of algebraic K-theory and prove that it is stable and preserves module structures.

Written with respect to an appropriate Poisson structure, a partially integrable Hamiltonian system is viewed as a completely integrable system with parameters. Then, the theorem on quasi-periodic stability in Ref. [1] (the KAM theorem) can…

In this paper we study some new properties of c-K-g-frames in a Hilbert space H. We study duals of c-K-g-frames and give some characterizations of c-K-g-frames and their duals. Also, we verify the relationships between c-K-g-frames and…

We provide a Kingman-like Theorem for arbitrary finite measures and a version of Birkhoff's Theorem for bounded observable. As an application, we show that Birkhoff's limit exists for some continuous observable, in an example of Bowen.

We prove sharp upper and lower bounds for generalized Calder\'on's sums associated to frames on LCA groups generated by affine actions of cocompact subgroup translations and general measurable families of automorphisms. The proof makes use…

[REVISED VERSION] The aim of this paper is to state a sharp version of the K\"onig supremum theorem, an equivalent reformulation of the Hahn--Banach theorem. We apply it to derive statements of the Lagrange multipliers, Karush-Kuhn-Tucker…

We propose a categorical framework to reason about scientific explanations: descriptions of a phenomenon meant to translate it into simpler terms, or into a context that has been already understood. Our motivating examples come from systems…

We characterize when a coherent state or continuous frame for a Hilbert space may be sampled to obtain a frame, which solves the discretization problem for continuous frames. In particular, we prove that every bounded continuous frame for a…