English
Related papers

Related papers: Coherence simplices

200 papers

In this paper, we consider a model of classical linear logic based on coherence spaces endowed with a notion of totality. If we restrict ourselves to total objects, each coherence space can be regarded as a uniform space and each linear map…

Logic in Computer Science · Computer Science 2017-06-05 Kei Matsumoto

The study of topology in solids is undergoing a renaissance following renewed interest in the properties of ferroic domain walls as well as recent discoveries regarding topological insulators and skyrmionic lattices. Each of these systems…

Materials Science · Physics 2021-03-09 Sinead M. Griffin , Nicola A. Spaldin

We use the topology of simplicial complexes to model political structures following [1]. Simplicial complexes are a natural tool to encode interactions in the structures since a simplex can be used to represent a subset of compatible…

Physics and Society · Physics 2021-12-07 Andrea Mock , Ismar Volic

Equifacetal simplices, all of whose codimension one faces are congruent to one another, are studied. It is shown that the isometry group of such a simplex acts transitively on its set of vertices, and, as an application, equifacetal…

Metric Geometry · Mathematics 2007-05-23 Allan L. Edmonds

Combinatorial topology is used in distributed computing to model concurrency and asynchrony. The basic structure in combinatorial topology is the simplicial complex, a collection of subsets called simplices of a set of vertices, closed…

Logic in Computer Science · Computer Science 2024-02-14 Rojo Randrianomentsoa , Hans van Ditmarsch , Roman Kuznets

We propose to study homomorphisms of connectome graphs. Homomorphisms can be studied as sequences of elementary homomorphisms - folds, which identify pairs of vertices. Several fold types are defined. Initial computation results for some…

Neurons and Cognition · Quantitative Biology 2014-12-10 Peteris Daugulis

Choice functions constitute a simple, direct and very general mathematical framework for modelling choice under uncertainty. In particular, they are able to represent the set-valued choices that appear in imprecise-probabilistic decision…

Artificial Intelligence · Computer Science 2019-05-22 Jasper De Bock , Gert de Cooman

There exist as many index-$k$ sublattices of the hexagonal lattice up to isometry as there exist lattice triangles with normalized volume $k$ up to unimodular equivalence, which can be explained using orbifolds. In dimension 3, it was noted…

Combinatorics · Mathematics 2020-03-24 Andrey Zabolotskiy

Simple liquids are traditionally defined as many-body systems of classical particles interacting via radially symmetric pair potentials. We suggest that a simple liquid should be defined instead by the property of having strong correlation…

Soft Condensed Matter · Physics 2012-12-19 Trond S. Ingebrigtsen , Thomas B. Schrøder , Jeppe C. Dyre

A `coherent system' $(\Cal E,V)$, consists of a holomorphic bundle plus a linear subspace of its space of holomorphic sections. Based on the usual notion in Geometric Invariant Theory, a notion of slope stability has been defined for such…

alg-geom · Mathematics 2008-02-03 Steven B. Bradlow , Oscar Garcia-Prada

It is shown that quantum-type coherence, leading to indeterminism and interference of probabilities, may in principle exist in the absence of the Planck constant and a Hamiltonian. Such coherence is a combined effect of a symmetry (not…

Quantum Physics · Physics 2007-05-23 Y. Orlov

General coherence theorems are constructed that yield explicit presentations of categorical and algebraic objects. The categorical structures involved are finitary discrete Lawvere 2-theories, though they are approached within the language…

Category Theory · Mathematics 2009-04-03 Jonathan Asher Cohen

We present simple examples of finite-dimensional connected homogeneous spaces (they are actually topological manifolds) with nonhomogeneous and nonrigid factors. In particular, we give an elementary solution of an old problem in general…

Geometric Topology · Mathematics 2012-03-21 M. Cárdenas , F. F. Lasheras , A. Quintero , D. Repovš

This paper introduces a model that identifies spatial relationships for a structural analysis based on the concept of simplicial complex. The spatial relationships are identified through overlapping two map layers, namely a primary layer…

Data Analysis, Statistics and Probability · Physics 2008-01-15 Bin Jiang , Itzhak Omer

We define and study complex structures and generalizations on spaces consisting of geodesics or harmonic maps that are compatible with the symmetries of these spaces. The main results are about existence and uniqueness of such structures.

Differential Geometry · Mathematics 2019-01-14 László Lempert

The ability to achieve coordinated behavior -- engineered or emergent -- on networked systems has attracted widespread interest over several fields. This interest has led to remarkable advances in developing a theoretical understanding of…

Systems and Control · Electrical Eng. & Systems 2022-03-29 Hancheng Min , Richard Pates , Enrique Mallada

Coordination geometries describe how the neighbours of a central particle are arranged around it. Such geometries can be thought to lie in an abstract topological space; a model of this space could provide a mathematical basis for…

Mathematical Physics · Physics 2023-06-28 John Çamkıran , Fabian Parsch , Glenn D. Hibbard

The four types of homogeneity -- additive, multiplicative, exponential, and logarithmic -- are generalized as transformations describing how a function $f$ changes under scaling or shifting of its arguments. These generalized homogeneity…

General Mathematics · Mathematics 2026-01-01 Martin Himmel

Quantum coherence is an important quantum resource and it is intimately related to various research fields. The geometric coherence is a coherence measure both operationally and geometrically. We study the trade-off relation of geometric…

Quantum Physics · Physics 2023-10-25 Bingyu Hu , Ming-Jing Zhao

We define notions of generically and coarsely computable relations and structures and functions between structures. We investigate the existence and uniqueness of equivalence structures in the context of these definitions

Logic · Mathematics 2018-08-09 Wesley Calvert , Douglas Cenzer , Valentina Harizanov