Results 11 to 20 of about 4,720 (182)
A computability theoretic equivalent to Vaught's conjecture [PDF]
, 2013 We prove that, for every theory $T$ which is given by an ${\mathcal L}_{\omega_1,\omega}$ sentence, $T$ has less than $2^{\aleph_0}$ many countable models if and only if we have that, for every $X\in 2^\omega$ on a cone of Turing degrees, every $X ...
Montalban, Antonio
core +1 more source
The Complexity of Simultaneous Geometric Graph Embedding [PDF]
, 2015 Given a collection of planar graphs $G_1,\dots,G_k$ on the same set $V$ of $n$ vertices, the simultaneous geometric embedding (with mapping) problem, or simply $k$-SGE, is to find a set $P$ of $n$ points in the plane and a bijection $\phi: V \to P$ such ...
Cardinal, Jean, Kusters, Vincent
core +1 more source
An effective Hamiltonian for an extended Kondo lattice model and a possible origin of charge ordering in half-doped manganites [PDF]
, 1999 An effective Hamiltonian is derived in the case of the strong Hund coupling and on-site Coulomb interaction by means of a projective perturbation approach.
Shen, Shun-Qing, Wang, Z. D.
core +2 more sources
Anomalous Symmetry Fractionalization and Surface Topological Order [PDF]
, 2015 In addition to possessing fractional statistics, anyon excitations of a 2D topologically ordered state can realize symmetry in distinct ways , leading to a variety of symmetry enriched topological (SET) phases.
Burnell, Fiona J. +3 more
core +4 more sources
Trivial Extensions of Gentle Algebras and Brauer Graph Algebras [PDF]
, 2014 We show that two well-studied classes of tame algebras coincide: namely, the class of symmetric special biserial algebras coincides with the class of Brauer graph algebras.
Schroll, Sibylle
core +1 more source
Projectively well-ordered inner models
Annals of Pure and Applied Logic, 1995 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Optimizing the double description method for normal surface enumeration
, 2009 Many key algorithms in 3-manifold topology involve the enumeration of normal surfaces, which is based upon the double description method for finding the vertices of a convex polytope.
Burton, Benjamin A.
core +2 more sources
Projective well-orderings and bounded forcing axioms
Journal of Symbolic Logic, 2005 AbstractIn the absence of Woodin cardinals, fine structural inner models for mild large cardinal hypotheses admit forcing extensions where bounded forcing axioms hold and yet the reals are projectively well-ordered.
openaire +3 more sources
Wada Dessins associated with Finite Projective Spaces and Frobenius Compatibility [PDF]
, 2010 \textit{Dessins d'enfants} (hypermaps) are useful to describe algebraic properties of the Riemann surfaces they are embedded in. In general, it is not easy to describe algebraic properties of the surface of the embedding starting from the combinatorial ...
Sarti, Cristina
core
Scattering Forms and the Positive Geometry of Kinematics, Color and the Worldsheet
, 2018 The search for a theory of the S-Matrix has revealed surprising geometric structures underlying amplitudes ranging from the worldsheet to the amplituhedron, but these are all geometries in auxiliary spaces as opposed to kinematic space where amplitudes ...
Arkani-Hamed, Nima +3 more
core +1 more source