1,649 research outputs found
Every countable model of set theory embeds into its own constructible universe
The main theorem of this article is that every countable model of set theory
M, including every well-founded model, is isomorphic to a submodel of its own
constructible universe. In other words, there is an embedding that
is elementary for quantifier-free assertions. The proof uses universal digraph
combinatorics, including an acyclic version of the countable random digraph,
which I call the countable random Q-graded digraph, and higher analogues
arising as uncountable Fraisse limits, leading to the hypnagogic digraph, a
set-homogeneous, class-universal, surreal-numbers-graded acyclic class digraph,
closely connected with the surreal numbers. The proof shows that contains
a submodel that is a universal acyclic digraph of rank . The method of
proof also establishes that the countable models of set theory are linearly
pre-ordered by embeddability: for any two countable models of set theory, one
of them is isomorphic to a submodel of the other. Indeed, they are
pre-well-ordered by embedability in order-type exactly .
Specifically, the countable well-founded models are ordered by embeddability in
accordance with the heights of their ordinals; every shorter model embeds into
every taller model; every model of set theory is universal for all
countable well-founded binary relations of rank at most ; and every
ill-founded model of set theory is universal for all countable acyclic binary
relations. Finally, strengthening a classical theorem of Ressayre, the same
proof method shows that if is any nonstandard model of PA, then every
countable model of set theory---in particular, every model of ZFC---is
isomorphic to a submodel of the hereditarily finite sets of . Indeed,
is universal for all countable acyclic binary relations.Comment: 25 pages, 2 figures. Questions and commentary can be made at
http://jdh.hamkins.org/every-model-embeds-into-own-constructible-universe.
(v2 adds a reference and makes minor corrections) (v3 includes further
changes, and removes the previous theorem 15, which was incorrect.
Optimal Acyclic Hamiltonian Path Completion for Outerplanar Triangulated st-Digraphs (with Application to Upward Topological Book Embeddings)
Given an embedded planar acyclic digraph G, we define the problem of "acyclic
hamiltonian path completion with crossing minimization (Acyclic-HPCCM)" to be
the problem of determining an hamiltonian path completion set of edges such
that, when these edges are embedded on G, they create the smallest possible
number of edge crossings and turn G to a hamiltonian digraph. Our results
include:
--We provide a characterization under which a triangulated st-digraph G is
hamiltonian.
--For an outerplanar triangulated st-digraph G, we define the st-polygon
decomposition of G and, based on its properties, we develop a linear-time
algorithm that solves the Acyclic-HPCCM problem with at most one crossing per
edge of G.
--For the class of st-planar digraphs, we establish an equivalence between
the Acyclic-HPCCM problem and the problem of determining an upward 2-page
topological book embedding with minimum number of spine crossings. We infer
(based on this equivalence) for the class of outerplanar triangulated
st-digraphs an upward topological 2-page book embedding with minimum number of
spine crossings and at most one spine crossing per edge.
To the best of our knowledge, it is the first time that edge-crossing
minimization is studied in conjunction with the acyclic hamiltonian completion
problem and the first time that an optimal algorithm with respect to spine
crossing minimization is presented for upward topological book embeddings
Decremental Single-Source Reachability in Planar Digraphs
In this paper we show a new algorithm for the decremental single-source
reachability problem in directed planar graphs. It processes any sequence of
edge deletions in total time and explicitly
maintains the set of vertices reachable from a fixed source vertex. Hence, if
all edges are eventually deleted, the amortized time of processing each edge
deletion is only , which improves upon a previously
known solution. We also show an algorithm for decremental
maintenance of strongly connected components in directed planar graphs with the
same total update time. These results constitute the first almost optimal (up
to polylogarithmic factors) algorithms for both problems.
To the best of our knowledge, these are the first dynamic algorithms with
polylogarithmic update times on general directed planar graphs for non-trivial
reachability-type problems, for which only polynomial bounds are known in
general graphs
Continuity argument revisited: geometry of root clustering via symmetric products
We study the spaces of polynomials stratified into the sets of polynomial
with fixed number of roots inside certain semialgebraic region , on its
border, and at the complement to its closure. Presented approach is a
generalisation, unification and development of several classical approaches to
stability problems in control theory: root clustering (-stability) developed
by R.E. Kalman, B.R. Barmish, S. Gutman et al., -decomposition(Yu.I.
Neimark, B.T. Polyak, E.N. Gryazina) and universal parameter space method(A.
Fam, J. Meditch, J.Ackermann).
Our approach is based on the interpretation of correspondence between roots
and coefficients of a polynomial as a symmetric product morphism.
We describe the topology of strata up to homotopy equivalence and, for many
important cases, up to homeomorphism. Adjacencies between strata are also
described. Moreover, we provide an explanation for the special position of
classical stability problems: Hurwitz stability, Schur stability,
hyperbolicity.Comment: 45 pages, 4 figure
Acyclic Subgraphs of Planar Digraphs
An acyclic set in a digraph is a set of vertices that induces an acyclic
subgraph. In 2011, Harutyunyan conjectured that every planar digraph on
vertices without directed 2-cycles possesses an acyclic set of size at least
. We prove this conjecture for digraphs where every directed cycle has
length at least 8. More generally, if is the length of the shortest
directed cycle, we show that there exists an acyclic set of size at least .Comment: 9 page
Games orbits play and obstructions to Borel reducibility
We introduce a new, game-theoretic approach to anti-classification results
for orbit equivalence relations. Within this framework, we give a short
conceptual proof of Hjorth's turbulence theorem. We also introduce a new
dynamical criterion providing an obstruction to classification by orbits of CLI
groups. We apply this criterion to the relation of equality of countable sets
of reals, and the relations of unitary conjugacy of unitary and selfadjoint
operators on the separable infinite-dimensional Hilbert space.Comment: 13 pages. Final version, to appear in Groups, Geometry, and Dynamic
Classification of some countable descendant-homogeneous digraphs
For finite q, we classify the countable, descendant-homogeneous digraphs in
which the descendant set of any vertex is a q-valent tree. We also give
conditions on a rooted digraph G which allow us to construct a countable
descendant-homogeneous digraph in which the descendant set of any vertex is
isomorphic to G.Comment: 16 page
- …