Related papers: AEC: weight and $p$-simplicity

Weighted and controlled frames have been introduced recently to improve the numerical efficiency of iterative algorithms for inverting the frame operator. In this paper we develop systematically these notions, including their mutual…

We propose a new framework for solving the hierarchy problem which does not rely on either supersymmetry or technicolor. In this framework, the gravitational and gauge interactions become united at the weak scale, which we take as the only…

We consider the algebra associated to a group of transformations which are symmetries of a regular mechanical system (i.e. system free of constraints). For time dependent coordinate transformations we show that a central extension may…

We investigate large set axioms defined in terms of elementary embeddings over constructive set theories, focusing on $\mathsf{IKP}$ and $\mathsf{CZF}$. Most previously studied large set axioms, notably the constructive analogues of large…

This paper is an exploration of the nuanced realm of reference frames within the framework of General Relativity. Our analysis exposes a violation of Earman's SP1 principle in scenarios involving fields that are dynamically uncoupled, a…

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…

Given a functor $p:E \rightarrow B$ and an object $e \in E$ , we define a \emph{displacement} of $e$ along a morphism $\varepsilon: p(e) \rightarrow b$, as a map $e \rightarrow \nabla_\varepsilon(e)$ satisfying a universal property analogue…

I give an overview of recent developments in the structure and classification theory of separable, simple, nuclear C*-algebras. I will in particular focus on the role of quasidiagonality and amenability for classification, and on the…

We define `third derivative' General Relativity, by promoting the integration measure in Einstein-Hilbert action to be an arbitrary $4$-form field strength. We project out its local fluctuations by coupling it to another $4$-form field…

Canonical analysis leading to formal quantisation of the higher derivative theories are considered. The first order formalism is adopted where all the configuration space variables along with their higher time derivatives are considered to…

Equistable graphs are graphs admitting positive weights on vertices such that a subset of vertices is a maximal stable set if and only if it is of total weight $1$. In $1994$, Mahadev et al.~introduced a subclass of equistable graphs,…

We deal with (< kappa)-supported iterated forcing notions which are (E_0,E_1)-complete, have in mind problems on Whitehead groups, uniformizations and the general problem. We deal mainly with the successor of a singular case. This continues…

Two-sided popular matchings in bipartite graphs are a well-known generalization of stable matchings in the marriage setting, and they are especially relevant when preference lists are incomplete. In this case, the cardinality of a stable…

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…

The following pcf results are proved: 1. Assume that kappa > aleph_0 is a weakly compact cardinal. Let mu > 2^kappa be a singular cardinal of cofinality kappa. Then for every regular lambda < pp^+_{Gamma(kappa)} (mu) there is an increasing…

We want to investigate 'spaces' where paths have a 'weight', or 'cost', expressing length, duration, price, energy, etc. The weight function is not assumed to be invariant up to path-reversion. Thus, 'weighted algebraic topology' can be…

A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…

There is a unique variant of Absolute Parallelism, which is very simple as it has no free parameters: nothing (nor D=5) can be changed if to keep the theory safe from emerging singularities of solutions. On the contrary, eternal solutions…

The minimal models M(p',p) with p' > 2 have a unique (non-trivial) simple current of conformal dimension h = (p' - 2) (p - 2) / 4. The representation theory of the extended algebra defined by this simple current is investigated in detail.…

Algebraic hyperstructures represent a natural extension of classical algebraic structures. In a classical algebraic structure, the composition of two elements is an element, while in an algebraic hyperstructure, the composition of two…