Related papers: Strongly Minimal Steiner Systems I: Existence
In this article, we analyse the structure of finite dimensional subspaces of the set of points of strong subdifferentiability in a dual space. In a dual $L_1(\mu)$ space, such a subspace is in the discrete part of the Yoshida-Hewitt type…
We call a system super-linearizable if it admits finite-dimensional embedding as a linear system -- known as a finite-dimensional Koopman embedding; said otherwise, if its dynamics can be linearized by adding a finite set of observables. We…
Several examples of classical superintegrable systems in two-dimensional spac are shown to possess hidden symmetries leading to their linearization. They are those determined 50 years ago in [Phys. Lett. 13, 354 (1965)], and the more recent…
A spin system is a sequence of self-adjoint unitary operators $U_1,U_2,...$ acting on a Hilbert space $H$ which either commute or anticommute, $U_iU_j=\pm U_jU_i$ for all $i,j$; it is is called irreducible when $\{U_1,U_2,...\}$ is an…
A Banach space with a Schauder basis is said to be $\alpha$-minimal for some countable ordinal $\alpha$ if, for any two block subspaces, the Bourgain embeddability index of one into the other is at least $\alpha$. We prove a dichotomy that…
Elaborating on our joint work with Abramsky in quant-ph/0402130 we further unravel the linear structure of Hilbert spaces into several constituents. Some prove to be very crucial for particular features of quantum theory while others…
We find all m-spin structures on Klein surfaces of genus larger than one. An m-spin structure on a Riemann surface P is a complex line bundle on P whose m-th tensor power is the cotangent bundle of P. A Klein surface can be described by a…
We establish a Ross-Witt Nystr\"om correspondence for weak geodesic lines in the (completed) space of K\"ahler metrics. We construct a wide range of weak geodesic lines on arbitrary projective K\"ahler manifolds that are not generated by…
We prove the higher dimensional case of the o-minimal variant of Zilber's Restricted Trichotomy Conjecture. More precisely, let $\mathcal R$ be an o-minimal expansion of a real closed field, let $M$ be an interpretable set in $\mathcal R$,…
We give an explicit formula for the rational category of an elliptic space whose minimal model has a homogeneous-length differential. We also show that for such a space, there are no gaps in the sequence of integers realized as the rational…
An established measure of the expressive power of a given ReLU neural network is the number of linear regions into which it partitions the input space. There exist many different, non-equivalent definitions of what a linear region actually…
In this note, we show that the solution to the Dirichlet problem for the minimal surface system in any codimension is unique in the space of distance-decreasing maps. This follows as a corollary of the following stability theorem: if a…
Methods of *-representations in Hilbert space are applied to study of systems of $n$ subspaces in a linear space. It is proved that the problem of description of $n$-transitive subspaces in a finite-dimensional linear space is *-wild for $n…
A bounded subset of a normed linear space is said to be (diametrically) complete if it cannot be enlarged without increasing the diameter. A complete super set of a bounded set $K$ having the same diameter as $K$ is called a completion of…
Large sets of combinatorial designs has always been a fascinating topic in design theory. These designs form a partition of the whole space into combinatorial designs with the same parameters. In particular, a large set of block designs,…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
We show that the locally strongly sober spaces are exactly the coherent sober spaces that are weakly Hausdorff in the sense of Keimel and Lawson. This allows us to describe their Stone duals explicitly. As another application, we show that…
A linear real 4-dimensional space structured by Lorentz metric implies six 2-dimensional singular subspaces and three independent 1-dimensional subspaces called radicals. If we consider meaningful to use them as representing six quarks and…
A spanner is reliable if it can withstand large, catastrophic failures in the network. More precisely, any failure of some nodes can only cause a small damage in the remaining graph in terms of the dilation, that is, the spanner property is…
In this paper, several nonlinear elliptic systems are investigated on graphs. One type of the sobolev embedding theorem and a new version of the strong maximum principle are established. Then, by using the variational method, the existence…