Related papers: Corona Rigidity
We study the problem of robust performance of quantum systems under structured uncertainties. A specific feature of closed (Hamiltonian) quantum systems is that their poles lie on the imaginary axis and that neither a coherent controller…
A simple convex polytope $P$ is \emph{cohomologically rigid} if its combinatorial structure is determined by the cohomology ring of a quasitoric manifold over $P$. Not every $P$ has this property, but some important polytopes such as…
This paper studies homeomorphisms of the closed annulus that are isotopic to the identity from the viewpoint of rotation theory, using a newly developed forcing theory for surface homeomorphisms. Our first result is a solution to the so…
In this paper, by modifying the arguments in \cite{WY}, we get some rigidity theorems on compact manifolds with nonempty boundary. The results in this paper are similar with those in \cite{ST} and \cite{WY}. Like \cite{ST} and \cite{WY}, we…
For any open hyperbolic Riemann surface $X$, the Bergman kernel $K$, the logarithmic capacity $c_{\beta}$, and the analytic capacity $c_{B}$ satisfy the inequality chain $\pi K \geq c^2_{\beta} \geq c^2_B$; moreover, equality holds at a…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
We show that the problem `whether a finite set of regular-linear axioms defines a rigid theory' is undecidable.
Assuming positive entropy we prove a measure rigidity theorem for higher rank actions on tori and solenoids by commuting automorphisms. We also apply this result to obtain a complete classification of disjointness and measurable factors for…
The famous G\"odel incompleteness theorem says that for every sufficiently rich formal theory (containing formal arithmetic in some natural sense) there exist true unprovable statements. Such statements would be natural candidates for being…
Rotational invariance of physical laws is a generally accepted principle. We show that it leads to an additional external constraint on local realistic models of physical phenomena involving measurements of multiparticle spin 1/2…
We explore the rigidity of generic frameworks in 3-dimensions whose underlying graph is close to being planar. Specifically we consider apex graphs, edge-apex graphs and their variants and prove independence results in the generic…
We prove several rigidity properties for random quotients of mapping class groups of surfaces, namely whose kernel is normally generated by the n-th steps of finitely many independent random walks. Firstly, we generalise a celebrated…
In this article we generalize a theorem of Benson for generalized quadrangles to strongly regular graphs and directed strongly regular graphs. The main result provides numerical restrictions on the number of fixed vertices and the number of…
For Cartan geometries admitting automorphisms with isotropies satisfying a particular, loosely dynamical property on their model geometries, we demonstrate the existence of an open subset of the geometry with trivial holonomy. This…
New concepts of rough natural number systems, recently introduced by the present author, are used to improve most rough set-theoretical measures in general Rough Set theory (\textsf{RST}) and measures of mutual consistency of multiple…
We study signatures of physical constraints on free rotations of rigid bodies. We show analytically that the physical or non-physical nature of the moments of inertia of a system can be detected by qualitative changes both in the Montgomery…
We prove a robust extension of the quantum adiabatic theorem. The theorem applies to systems that have resonances instead of bound states, and to systems for which just an approximation to a bound state is known. To demonstrate the…
It is known that one can construct non-parametric functions by assuming classical axioms. Our work is a converse to that: we prove classical axioms in dependent type theory assuming specific instances of non-parametricity. We also address…
In this paper we prove the Rigidity Theorem for motives of rigid analytic varieties over a non-Archimedean valued field $K$. We prove this theorem both for motives with transfers and without transfers in a relative setting. Applications…
We show that under certain boundedness condition, a $C^{r}$ conservative irrational pseudo-rotations on $\mathbb{T}^2$ with a generic rotation vector is $C^{r-1}$-rigid. We also obtain $C^0$-rigidity for H\"older pseudo-rotations with…