Results 1 to 10 of about 47,265 (89)
An intrinsic order-theoretic characterization of the weak expectation property [PDF]
, 2017 We prove the following characterization of the weak expectation property for operator systems in terms of Wittstock's matricial Riesz separation property: an operator system $S$ satisfies the weak expectation property if and only if $M_{q}(S)$ satisfies ...
Lupini, Martino
core +2 more sources
Starling flock networks manage uncertainty in consensus at low cost [PDF]
, 2013 Flocks of starlings exhibit a remarkable ability to maintain cohesion as a group in highly uncertain environments and with limited, noisy information.
Cavagna, Andrea +4 more
core +4 more sources
The prospects for mathematical logic in the twenty-first century [PDF]
, 2001 The four authors present their speculations about the future developments of mathematical logic in the twenty-first century. The areas of recursion theory, proof theory and logic for computer science, model theory, and set theory are discussed ...
Alexander S. Kechris +4 more
core +3 more sources
Aspects of Defect Topology in Smectic Liquid Crystals [PDF]
, 2018 We study the topology of smectic defects in two and three dimensions. We give a topological classification of smectic point defects and disclination lines in three dimensions. In addition we describe the combination rules for smectic point defects in two
Aharoni, Hillel +3 more
core +3 more sources
Randomisation and Derandomisation in Descriptive Complexity Theory [PDF]
, 2010 We study probabilistic complexity classes and questions of derandomisation from a logical point of view. For each logic L we introduce a new logic BPL, bounded error probabilistic L, which is defined from L in a similar way as the complexity class BPP ...
A. Dawar +27 more
core +2 more sources
The role of positivity and causality in interactions involving higher spin [PDF]
, 2019 It is shown that the recently introduced positivity and causality preserving string-local quantum field theory (SLFT) resolves most No-Go situations in higher spin problems. This includes in particular the Velo–Zwanziger causality problem which turns out
Schroer, Bert
core +1 more source
, 2012 We present a short review of geometric and algebraic approach to causal cones and describe cone preserving transformations and their relationship with causal structure related to special and general theory of relativity.
Janardhan, Sujatha, Saraykar, R. V.
core +1 more source
Temporal Data Modeling and Reasoning for Information Systems [PDF]
, 2006 Temporal knowledge representation and reasoning is a major research field in Artificial Intelligence, in Database Systems, and in Web and Semantic Web research.
Bry, François, Spranger, Stephanie
core +1 more source
Variable sets over an algebra of lifetimes: a contribution of lattice theory to the study of computational topology [PDF]
, 2015 A topos theoretic generalisation of the category of sets allows for modelling spaces which vary according to time intervals. Persistent homology, or more generally, persistence is a central tool in topological data analysis, which examines the structure ...
Costa, João Pita +2 more
core
Towards a Model Theory for Transseries
, 2012 The differential field of transseries extends the field of real Laurent series, and occurs in various context: asymptotic expansions, analytic vector fields, o-minimal structures, to name a few.
Aschenbrenner, Matthias +2 more
core +2 more sources