Related papers: Invariance under permutations as a semantic motiva…
The first step in any formalism that aims to connect a many-nucleon theory of nucleon-nucleus scattering and the concept of an optical model potential in the sense pioneered by Feshbach is to explain what is meant by the optical model…
Invariances in neural networks are useful and necessary for many tasks. However, the representation of the invariance of most neural network models has not been characterized. We propose measures to quantify the invariance of neural…
For a four dimensional, unitary, diffeomorphism- and scale invariant quantum field theory without higher derivatives and a well defined scale current we argue that scale invariance implies conformal invariance. The proof relies on the…
We introduce a new natural notion of convergence for permutations at any specified scale, in terms of the density of patterns of restricted width. In this setting we prove that limits may be chosen independently at a countably infinite…
The following two loosely connected sets of topics are reviewed in these lecture notes: 1) Gauge invariance, its treatment in field theories and its implications for internal symmetries and edge states such as those in the quantum Hall…
We investigate the algebras of invariants and the properties of the quotient morphism by an action of a finite group scheme in terms of stabilizers of points.
This paper is concerned with the study of the fractional finite sums theory. We present the classes of functions for which it is possible to characterize the constant related to the derivative of fractional sums (denominated by essence of a…
A redesigned starting point for covariant \phi^4_n, n\ge 4, models is suggested that takes the form of an alternative lattice action and which may have the virtue of leading to a nontrivial quantum field theory in the continuum limit. The…
This paper introduces a new theory which encompasses concepts and ideas from set theory, type theory, and Le\'{s}niewski's mereology and describes its possibility as an alternative foundation for mathematics. In the introduction section I…
The task of obfuscating writing style using sequence models has previously been investigated under the framework of obfuscation-by-transfer, where the input text is explicitly rewritten in another style. These approaches also often lead to…
We survey the known results about simple permutations. In particular, we present a number of recent enumerative and structural results pertaining to simple permutations, and show how simple permutations play an important role in the study…
We develop an untyped framework for the multiverse of set theory. $\mathsf{ZF}$ is extended with semantically motivated axioms utilizing the new symbols $\mathsf{Uni}(\mathcal{U})$ and $\mathsf{Mod}(\mathcal{U, \sigma})$, expressing that…
Recent progress in string theory has led to a reformulation of quantum-group polynomial invariants for knots and links into new polynomial invariants whose coefficients can be understood in topological terms. We describe in detail how to…
Justification theory is a general framework for the definition of semantics of rule-based languages that has a high explanatory potential. Nested justification systems, first introduced by Denecker et al. (2015), allow for the composition…
Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and…
The possibility of mass in the context of scale-invariant, generally covariant theories, is discussed. Scale invariance is considered in the context of a gravitational theory where the action, in the first order formalism, is of the form $S…
Using Machine Learning systems in the real world can often be problematic, with inexplicable black-box models, the assumed certainty of imperfect measurements, or providing a single classification instead of a probability distribution. This…
In this paper we exploit the structural properties of standard and non-standard models of set theory to produce models of set theory admitting automorphisms that are well-behaved along an initial segment of their ordinals. $\mathrm{NFU}$ is…
We explain how structures analogous to those appearing in the theory of stability conditions on abelian and triangulated categories arise in geometric invariant theory. This leads to an axiomatic notion of a central charge on a scheme with…
Gravitational theories with fixed background fields break diffeomorphism invariance. This breaking can be spontaneous or explicit. A brief summary of the main consequences of these types of breaking is presented.