Related papers: Stable frames and weights
This paper is about the surprising interaction of a foundational result from model theory, about stability of theories, with algorithmic stability in learning. First, in response to gaps in existing learning models, we introduce a new…
The present status of the ratio $\varepsilon'/\varepsilon$ in the Standard Model (SM) is summarized. In particular we stress the differences between three approaches that attempt to calculate $\varepsilon'/\varepsilon$ within the SM:…
We revisit the duality between Kripke and algebraic semantics of intuitionistic and intuitionistic modal logic. We find that there is a certain mismatch between the two semantics, which means that not all algebraic models can be embedded…
In this paper the notion of the rigid frame of reference within special relativity is analysed. Three definitions of rigidity are formulated. By using several examples of non-inertial frames, it is shown that these definitions are not…
The theory of optimal choice sets offers a well-established solution framework in social choice and game theory. In social choice theory, decision-making is typically modeled as a maximization problem. However, when preferences are cyclic…
Let $L$ be a slim, planar, semimodular lattice (slim means that it does not contain ${\mathsf M}_3$-sublattices). We call the interval $I = [o, i]$ of $L$ \emph{rectangular}, if there are $u_l, u_r \in [o, i] - \{o,i\}$ such that $i = u_l…
We investigate the behavior of finitely generated projective modules over a down-up algebra. Specifically, we show that every noetherian down-up algebra $A(\alpha,\beta,\gamma)$ has a non-free, stably free right ideal. Further, we compute…
This work connects two mathematical fields - computational complexity and interval linear algebra. It introduces the basic topics of interval linear algebra - regularity and singularity, full column rank, solving a linear system, deciding…
We focus on three distinct lines of recent developments: edge modes and boundary charges in gravitational physics, relational dynamics in classical and quantum gravity, and quantum reference frames. We argue that these research directions…
This work may be defined as a modern philosophical approach to theoretical physics. Since ancient times science and philosophy evolved in parallel, thus renewing from time to time the epochal paradigms of human thought. We could not…
In structural rigidity, one studies frameworks of bars and joints in Euclidean space. Such a framework is an articulated structure consisting of rigid bars, joined together at joints around which the bars may rotate. In this paper, we will…
Based on an earlier introduced new class of generalized gravity-matter models defined in terms of two independent non-Riemannian volume forms (alternative generally covariant integration measure densities) on the space-time manifold, we…
This paper is the 10th in a sequence on the structure of sets of solutions to systems of equations over groups, projections of such sets (Diophantine sets), and the structure of definable sets over few classes of groups. In the 10th paper…
This paper revives a four-decade-old problem concerning regularity theory for (continuous) constraint maps with free boundaries. Dividing the map into two parts, the distance part and the projected image to the constraint, one can prove…
The stable envelopes of Okounkov et al. realize some representations of quantum algebras associated to quivers, using geometry. We relate these geometric considerations to quantum field theory. The main ingredients are the supersymmetric…
The Standard Model electroweak vacuum has been found to be metastable, with the true stable vacuum given by a large, phenomenologically unacceptable vacuum expectation value $\approx M_{P}$. Moreover, it may be unstable in an inflationary…
For which (first-order complete, usually countable) $T$ do there exist non-isomorphic models of $T$ which become isomorphic after forcing with a forcing notion $\mathbb{P}$? Necessarily, $\mathbb{P}$ is non-trivial; i.e.~it adds some new…
The problem of finding the maximum-weight, planar subgraph of a finite, simple graph with nonnegative real edge weights is well known in industrial and electrical engineering, systems biology, sociology and finance. As the problem is known…
We develop the theory of frames and Parseval frames for finite-dimensional vector spaces over the binary numbers. This includes characterizations which are similar to frames and Parseval frames for real or complex Hilbert spaces, and the…
We discuss the equilibrium conditions for a body made of two homogeneous components separated by oblate spheroidal surfaces and in relative motion. While exact solutions are not permitted for rigid rotation (unless a specific ambient…