Related papers: Non-forking w-good frames

K-frame theory was recently introduced to reconstruct elements from the range of a bounded linear operator K in a separable Hilbert space. This significant property is worthwhile especially in some problems arising in sampling theory. Some…

Our aim is to prove that if T is a complete first order theory, which is not superstable (no knowledge on this notion is required), included in a theory T_1 then for any lambda > |T_1| there are 2^lambda models of T_1 such that for any two…

The geometric and algebraic theory of monomial ideals and multigraded modules is initiated over real-exponent polynomial rings and, more generally, monoid algebras for real polyhedral cones. The main results include the generalization of…

We show that if $\Gamma = \Gamma_1\times\dotsb\times \Gamma_n$ is a product of $n\geq 2$ non-elementary ICC hyperbolic groups then any discrete group $\Lambda$ which is $W^*$-equivalent to $\Gamma$ decomposes as a $k$-fold direct sum…

In this paper we provide a general tool to prove the consistency of $I1(\lambda)$ with various combinatorial properties at $\lambda$ typical at settings with $2^\lambda>\lambda^+$, that does not need a profound knowledge of the forcing…

In this note we investigate the existence of frames of exponentials for $L^2(\Omega)$ in the setting of LCA groups. Our main result shows that sub-multitiling properties of $\Omega \subset \widehat{G}$ with respect to a uniform lattice…

For the vanishing deformation parameter $\lambda$, the full structure of the (anti)commutator relations in the ${\cal N}=4$ supersymmetric linear $W_{\infty}[\lambda=0]$ algebra is obtained for arbitrary weights $h_1$ and $h_2$ of the…

We introduce a notion of $Q$-algebra that can be considered as a generalization of the notion of $Q$-manifold (a supermanifold equipped with an odd vector field obeying $\{Q,Q\} =0$). We develop the theory of connections on modules over…

The notion of quantum symmetry has recently been extended to include reduced-dimensional transformations and algebraic structures beyond groups. Such generalized symmetries lead to exotic phases of matter and excitations that defy Landau's…

Fermionic extensions of generic 2d gravity theories obtained from the graded Poisson-Sigma model (gPSM) approach show a large degree of ambiguity. In addition, obstructions may reduce the allowed range of fields as given by the bosonic…

The formal system $\lambda\delta$ is a typed lambda calculus derived from $\Lambda_\infty$, aiming to support the foundations of Mathematics that require an underlying theory of expressions (for example the Minimal Type Theory). The system…

We provide a proof of strong normalisation for lambda+, a recently introduced, explicitly typed, non-deterministic lambda-calculus where isomorphic propositions are identified. Such a proof is a non-trivial adaptation of the reducibility…

For a finite dimensional algebra $\Lambda$ and a non-negative integer $n$, we characterize when the set $\tilt_n\Lambda$ of additive equivalence classes of tilting modules with projective dimension at most $n$ has a minimal (or…

We propose an implementation of lambda+, a recently introduced simply typed lambda-calculus with pairs where isomorphic types are made equal. The rewrite system of lambda+ is a rewrite system modulo an equivalence relation, which makes its…

Let $d,k$ be natural numbers and let $\mathcal{L}_1, \dots, \mathcal{L}_k \in \mathrm{GL}_d(\mathbb{Q})$ be linear transformations such that there are no non-trivial subspaces $U, V \subseteq \mathbb{Q}^d$ of the same dimension satisfying…

Building on work of Maltsev on locally free algebras in finite purely functional languages, we revisit the model theory of (absolutely free) term algebras and their completions. Maltsev's analysis yields a natural axiomatization together…

Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. We exhibit slices of the representation theory of $\Lambda$ that are always classifiable in stringent geometric terms. Namely, we prove that, for any…

We prove bounds for the number of solutions to $$a_1 + \dots + a_k = a_1' + \dots + a_k'$$ over $N$-element sets of reals, which are sufficiently convex or near-convex. A near-convex set will be the image of a set with small additive…

For some typical and widely used non-convex half-quadratic regularization models and the Ambrosio-Tortorelli approximate Mumford-Shah model, based on the Kurdyka-\L ojasiewicz analysis and the recent nonconvex proximal algorithms, we…

In this paper, we study the weighted difference substitutions from geometrical views. First, we give the geometric meanings of the weighted difference substitutions, and introduce the concept of convergence of the sequence of substitution…