Contractible Coherence Spaces and Maximal Maps
نویسندگان
چکیده
منابع مشابه
Continuous, Stable, and Linear Maps of Coherence Spaces
One can check that there exists a coherent space which is finite. Let us observe that a set is binary complete if: (Def.1) For every set A such that for all sets a, b such that a ∈ A and b ∈ A holds a ∪ b ∈ it holds ⋃ A ∈ it. Let X be a set. The functor FlatCoh(X) yielding a set is defined as follows: (Def.2) FlatCoh(X) = CohSp(△X). The functor SubFin(X) yielding a subset of X is defined by: (D...
متن کاملContractible Hamiltonian cycles in Polyhedral Maps
We present a necessary and sufficient condition for existence of a contractible Hamiltonian Cycle in the edge graph of equivelar maps on surfaces. We also present an algorithm to construct such cycles. This is further generalized and shown to hold for more general maps. AMS classification : 57Q15, 57M20, 57N05.
متن کاملFinite Connected H-spaces Are Contractible
The non-Hausdorff suspension of the one-sphere S1 of complex numbers fails to model the group’s continuous multiplication. Moreover, finite connected H-spaces are contractible, and therefore cannot model infinite connected non-contractible H-spaces. For an H-space and a finite model of the topology, the multiplication can be realized on the finite model after barycentric subdivision.
متن کاملMaximal privacy without coherence.
Privacy is a fundamental feature of quantum mechanics. A coherently transmitted quantum state is inherently private. Remarkably, coherent quantum communication is not a prerequisite for privacy: there are quantum channels that are too noisy to transmit any quantum information reliably that can nevertheless send private classical information. Here, we ask how much private classical information a...
متن کاملSurjectivity of quotient maps for algebraic (C,+)-actions and polynomial maps with contractible fibres
In this paper, we establish two results concerning algebraic (C,+)-actions on C. First of all, let φ be an algebraic (C,+)-action on C3. By a result of Miyanishi, its ring of invariants is isomorphic to C[t1, t2]. If f1, f2 generate this ring, the quotient map of φ is the map F : C3 → C2, x 7→ (f1(x), f2(x)). By using some topological arguments, we prove that F is always surjective. Secondly we...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 1999
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80080-x