English
Related papers

Related papers: Two Counterexamples Concerning the Scott Topology …

200 papers

The status of topology on the lattice is reviewed. Recent results show that the topological susceptibility chi can be unambigously determined. Different methods, if properly implemented, give results consistent with each other. For SU(3)…

High Energy Physics - Lattice · Physics 2007-05-23 A. Di Giacomo

We affirm a conjecture of Sacks [1972] by showing that every countable distributive lattice is isomorphic to an initial segment of the hyperdegrees, $\mathcal{D}_{h}$. In fact, we prove that every sublattice of any hyperarithmetic lattice…

Logic · Mathematics 2024-11-20 Richard A. Shore , Bjørn Kjos-Hanssen

The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z}^d$ which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large $d$, which also…

Combinatorics · Mathematics 2024-09-10 Rachel Greenfeld , Terence Tao

Robustness is a property of system analyses, namely monotonic maps from the complete lattice of subsets of a (system's state) space to the two-point lattice. The definition of robustness requires the space to be a metric space. Robust…

Logic in Computer Science · Computer Science 2022-08-29 Amin Farjudian , Eugenio Moggi

We study deterministic constructions of graphs for which the unique completion of low rank matrices is generically possible regardless of the values of the entries. We relate the completability to the presence of some patterns (particular…

Information Theory · Computer Science 2026-01-01 Augustin Cosse

In this paper, the following results are proved: (1) $ $ If $E$ is a complete atomic lattice effect algebra, then $E$ is (o)-continuous iff $E$ is order-topological iff $E$ is totally order-disconnected iff $E$ is algebraic. (2) $ $ If $E$…

Mathematical Physics · Physics 2017-11-09 Lei Qiang , Wu Junde , Li Ronglu

It is known that certain theories with extended supersymmetry can be discretized in such a way as to preserve an exact fermionic symmetry. In the simplest model of this kind, we show that this residual supersymmetric invariance is actually…

High Energy Physics - Lattice · Physics 2009-11-10 Simon Catterall

We prove that every finite distributive lattice is isomorphic to a final segment of the d.c.e. Turing degrees (i.e., the degrees of differences of computably enumerable sets). As a corollary, we are able to infer the undecidability of the…

Logic · Mathematics 2024-03-22 Steffen Lempp , Yiqun Liu , Yong Liu , Keng Meng Ng , Cheng Peng , Guohua Wu

Let G be a lattice in PSL(2,C). The pro-normal topology on G is defined by taking all cosets of non-trivial normal subgroups as a basis. This topology is finer than the pro-finite topology, but it is not discrete. We prove that every…

Geometric Topology · Mathematics 2007-05-23 Yair Glasner , Juan Souto , Peter Storm

For a poset $P$, let $\sigma(P)$ and $\Gamma(P)$ respectively denote the lattice of its Scott open subsets and Scott closed subsets ordered by inclusion, and set $\Sigma P=(P,\sigma(P))$. In this paper, we discuss the lower Vietoris…

General Topology · Mathematics 2021-03-30 Yu Chen , Hui Kou , Zhenchao Lyu

We construct a completely normal bounded distributive lattice D in which for every pair (a, b) of elements, the set {x $\in$ D | a $\le$ b $\lor$ x} has a countable coinitial subset, such that D does not carry any binary operation -…

Rings and Algebras · Mathematics 2019-05-15 Friedrich Wehrung

We introduce and explore a natural rank for totally disconnected locally compact groups called the bounded conjugacy rank. This rank is shown to be a lattice invariant for lattices in sigma compact totally disconnected locally compact…

Group Theory · Mathematics 2021-04-21 Bruno Duchesne , Robin Tucker-Drob , Phillip Wesolek

In functional analysis it is well known that every linear functional defined on the dual of a locally convex vector space which is continuous for the weak topology is the evaluation at a uniquely determined point of the given vector space.…

Logic in Computer Science · Computer Science 2017-01-11 Klaus Keimel

Let $X$ be a topological space. A subset of $C(X)$, the space of continuous real-valued functions on $X$, is a partially ordered set in the pointwise order. Suppose that $X$ and $Y$ are topological spaces, and $A(X)$ and $A(Y)$ are subsets…

Functional Analysis · Mathematics 2014-08-22 Denny H. Leung , Wee-Kee Tang

Recently, J. D. Lawson encouraged the domain theory community to consider the scientific program of developing domain theory in the wider context of $T_0$ spaces instead of restricting to posets. In this paper, we respond to this calling…

Logic in Computer Science · Computer Science 2023-06-22 Hadrian Andradi , Weng Kin Ho

Continuous reducibilities are a proven tool in computable analysis, and have applications in other fields such as constructive mathematics or reverse mathematics. We study the order-theoretic properties of several variants of the two most…

Logic in Computer Science · Computer Science 2010-10-22 Arno Pauly

Kostyrko and Salat showed that if a linear space of bounded functions has an element that is discontinuous almost everywhere, then a typical element in the space is discontinuous almost everywhere. We give a topological analogue of this…

Classical Analysis and ODEs · Mathematics 2011-03-11 Shingo Saito

This is a short survey illustrating some of the essential aspects of the theory of canonical extensions. In addition some topological results about canonical extensions of lattices with additional operations in finitely generated varieties…

Logic · Mathematics 2012-02-16 Mai Gehrke , Jacob Vosmaer

We consider transcendental entire functions of finite order for which the zeros and $1$-points are in disjoint sectors. Under suitable hypotheses on the sizes of these sectors we show that such functions must have a specific form, or that…

Complex Variables · Mathematics 2020-12-29 Walter Bergweiler , Alexandre Eremenko

We consider a lattice action which forbids large fields, and which remains invariant under smooth deformations of the field. Such a "topological" action depends on one parameter, the field cutoff, but does not have a classical continuum…

High Energy Physics - Lattice · Physics 2016-05-24 Oscar Akerlund , Philippe de Forcrand
‹ Prev 1 3 4 5 6 7 10 Next ›