Related papers: An Orbifold Framework for Classifying Layer Groups…
The recent discovery of topological insulators has revived interest in the topological properties of insulating band structures. In this work, we extend the topological classification of insulating band structures to include certain point…
The classification of electron systems according to their topology has been at the forefront of condensed matter research in recent years. It has been found that systems of the same symmetry, previously thought of as equivalent, may in fact…
We study a novel type of braid groups on a closed orientable surface $\Sigma$. These are fundamental groups of certain manifolds that are hybrids between symmetric products and configuration spaces of points on $\Sigma$; a class of examples…
Quantum field theory allows more general symmetries than groups and Lie algebras. For instance quantum groups, that is Hopf algebras, have been familiar to theoretical physicists for a while now. Nowdays many examples of symmetries of…
Sharing of notations and theories across an inheritance hierarchy of mathematical structures, e.g., groups and rings, is important for productivity when formalizing mathematics in proof assistants. The packed classes methodology is a…
During the last years we have generated a large number of data related to Calabi-Yau hypersurfaces in toric varieties which can be described by reflexive polyhedra. We classified all reflexive polyhedra in three dimensions leading to K3…
Framed combinatorial topology is a recent approach to tame geometry which expresses higher-dimensional stratified spaces via tractable combinatorial data. The resulting theory of spaces is well-behaved and computable. In this paper we…
Gauging is a powerful operation on symmetries in quantum field theory (QFT), as it connects distinct theories and also reveals hidden structures in a given theory. We initiate a systematic investigation of gauging discrete generalized…
In this work, we propose a novel framework for defining the dual structure of a spinor. This construction relies on the basis elements of the Clifford algebra, leading to a covariant structure that embeds the dual. The formulation includes…
Recent work suggests that topological features of certain quantum gravity theories can be interpreted as particles, matching the known fermions and bosons of the first generation in the Standard Model. This is achieved by identifying…
Models of complex systems are widely used in the physical and social sciences, and the concept of layering, typically building upon graph-theoretic structure, is a common feature. We describe an intuitionistic substructural logic called…
This paper investigates spaces equipped with a family of metric-like functions satisfying certain axioms. These functions provide a unified framework for defining topology, uniformity, and diffeology. The framework is based on a family of…
Hypergraphs provide a natural way to represent polyadic relationships in network data. For large hypergraphs, it is often difficult to visually detect structures within the data. Recently, a scalable polygon-based visualization approach was…
The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the…
The classification of one parameter local Coulomb branch solution of theories with eight supercharges is given by assuming that it is given by a genus $g$ fiberation of Riemann surfaces. The crucial point is the fact that certain conjugacy…
We present a novel topological classification of RNA secondary structures with pseudoknots. It is based on the topological genus of the circular diagram associated to the RNA base-pair structure. The genus is a positive integer number,…
Planar ornaments, a.k.a. wallpapers, are regular repetitive patterns which exhibit translational symmetry in two independent directions. There are exactly $17$ distinct planar symmetry groups. We present a fully automatic method for…
This document reports on the use of an algebraic, visual, formal approach to the specification of patterns for the formalization of the GoF design patterns. The approach is based on graphs, morphisms and operations from category theory and…
Ordered phases resulting from spontaneously broken continuous symmetries are effectively described by sigma models of maps to the coset space of Goldstone modes. A classic problem is to classify the topological sectors of the sigma model.…
This work introduces a scaffolding framework to compactly parametrise solid structures with conforming NURBS elements for isogeometric analysis. A novel formulation introduces a topological, geometrical and parametric subdivision of the…