-
Algebraically Skew Embeddings of Curves
Authors:
Andy B. Day
Abstract:
Given a smooth complex variety $X$, an algebraically skew embedding of $X$ is an embedding of $X$ into a complex projective space $\mathbb{P}^N$ such that for any two points $x,y\in X$, their embedded tangent spaces in $\mathbb{P}^N$ do not intersect. In this work, we establish an upper bound and a lower bound of the minimal dimension $N$ such that there exists an algebraically skew embedding into…
▽ More
Given a smooth complex variety $X$, an algebraically skew embedding of $X$ is an embedding of $X$ into a complex projective space $\mathbb{P}^N$ such that for any two points $x,y\in X$, their embedded tangent spaces in $\mathbb{P}^N$ do not intersect. In this work, we establish an upper bound and a lower bound of the minimal dimension $N$ such that there exists an algebraically skew embedding into $\mathbb{P}^N$ in terms of the dimension of the given smooth variety $X$. Then we further classify the algebraic curves in terms of their minimal skew embedding dimensions, and apply the same technique to other one-parameter family of lines.
△ Less
Submitted 4 May, 2025; v1 submitted 29 January, 2025;
originally announced January 2025.
-
Equilibria in a Hypercube Spatial Voting Model
Authors:
A. Nicholas Day,
J. Robert Johnson
Abstract:
We give conditions for equilibria in the following Voronoi game on the discrete hypercube. Two players position themselves in $\{0,1\}^d$ and each receives payoff equal to the measure (under some probability distribution) of their Voronoi cell (the set of all points which are closer to them than to the other player). This game can be thought of as a discrete analogue of the Hotelling--Downs spatia…
▽ More
We give conditions for equilibria in the following Voronoi game on the discrete hypercube. Two players position themselves in $\{0,1\}^d$ and each receives payoff equal to the measure (under some probability distribution) of their Voronoi cell (the set of all points which are closer to them than to the other player). This game can be thought of as a discrete analogue of the Hotelling--Downs spatial voting model in which the political spectrum is determined by $d$ binary issues rather than a continuous interval.
We observe that if an equilibrium does exist then it must involve the two players co-locating at the majority point (ie the point representing majority opinion on each separate issue). Our main result is that a sufficient condition for an equilibrium is that on each issue the majority option is held by at least $\frac{3}{4}$ of voters. The value $\frac{3}{4}$ can be improved slightly in a way that depends on $d$ and with this improvement the result is best possible. We give similar sufficient conditions for the existence of a local equilibrium.
We also analyse the situation where the distribution is a mix of two product measures. We show that either there is an equilibrium or the best response to the majority point is its antipode.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
An Effective Classification of Borel Wadge Classes
Authors:
Adam Day,
Noam Greenberg,
Matthew Harrison-Trainor,
Dan Turetsky
Abstract:
We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalbán. We use this machinery to give a new proof of Louveau and Saint-Raymond's separation theorem for Borel Wadge classes. This gives a proof of Borel Wadge determinacy in the subsystem $\text{ATR}_0+Π^1_1$-I of second-order arithmeti…
▽ More
We give a new and effective classification of all Borel Wadge classes of subsets of Baire space. This relies on the true stage machinery originally developed by Montalbán. We use this machinery to give a new proof of Louveau and Saint-Raymond's separation theorem for Borel Wadge classes. This gives a proof of Borel Wadge determinacy in the subsystem $\text{ATR}_0+Π^1_1$-I of second-order arithmetic.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
Iterated Priority Arguments in Descriptive Set Theory
Authors:
Adam Day,
Noam Greenberg,
Matthew Harrison-Trainor,
Dan Turetsky
Abstract:
We present the true stages machinery and illustrate its applications to descriptive set theory. We use this machinery to provide new proofs of the Hausdorff-Kuratowski and Wadge theorems on the structure of ${\mathbf Δ}^0_ξ$, Louveau and Saint-Raymond's separation theorem, and Louveau's separation theorem.
We present the true stages machinery and illustrate its applications to descriptive set theory. We use this machinery to provide new proofs of the Hausdorff-Kuratowski and Wadge theorems on the structure of ${\mathbf Δ}^0_ξ$, Louveau and Saint-Raymond's separation theorem, and Louveau's separation theorem.
△ Less
Submitted 15 November, 2022;
originally announced November 2022.
-
Upper density of monochromatic paths in edge-coloured infinite complete graphs and bipartite graphs
Authors:
A. Nicholas Day,
Allan Lo
Abstract:
The upper density of an infinite graph $G$ with $V(G) \subseteq \mathbb{N}$ is defined as $\overline{d}(G) = \limsup_{n \rightarrow \infty}{|V(G) \cap \{1,\ldots,n\}|}/{n}$. Let $K_{\mathbb{N}}$ be the infinite complete graph with vertex set $\mathbb{N}$. Corsten, DeBiasio, Lamaison and Lang showed that in every $2$-edge-colouring of $K_{\mathbb{N}}$, there exists a monochromatic path with upper d…
▽ More
The upper density of an infinite graph $G$ with $V(G) \subseteq \mathbb{N}$ is defined as $\overline{d}(G) = \limsup_{n \rightarrow \infty}{|V(G) \cap \{1,\ldots,n\}|}/{n}$. Let $K_{\mathbb{N}}$ be the infinite complete graph with vertex set $\mathbb{N}$. Corsten, DeBiasio, Lamaison and Lang showed that in every $2$-edge-colouring of $K_{\mathbb{N}}$, there exists a monochromatic path with upper density at least $(12 + \sqrt{8})/17$, which is best possible. In this paper, we extend this result to $k$-edge-colouring of $K_{\mathbb{N}}$ for $k \ge 3$. We conjecture that every $k$-edge-coloured $K_{\mathbb{N}}$ contains a monochromatic path with upper density at least $1/(k-1)$, which is best possible (when $k-1$ is a prime power). We prove that this is true when $k = 3$ and asymptotically when $k =4$. Furthermore, we show that this problem can be deduced from its bipartite variant, which is of independent interest.
△ Less
Submitted 25 October, 2022; v1 submitted 21 January, 2022;
originally announced January 2022.
-
Extremal problems for multigraphs
Authors:
A. Nicholas Day,
Victor Falgas-Ravry,
Andrew Treglown
Abstract:
An $(n,s,q)$-graph is an $n$-vertex multigraph in which every $s$-set of vertices spans at most $q$ edges. Turán-type questions on the maximum of the sum of the edge multiplicities in such multigraphs have been studied since the 1990s. More recently, Mubayi and Terry [An extremal problem with a transcendental solution, Combinatorics Probability and Computing 2019] posed the problem of determining…
▽ More
An $(n,s,q)$-graph is an $n$-vertex multigraph in which every $s$-set of vertices spans at most $q$ edges. Turán-type questions on the maximum of the sum of the edge multiplicities in such multigraphs have been studied since the 1990s. More recently, Mubayi and Terry [An extremal problem with a transcendental solution, Combinatorics Probability and Computing 2019] posed the problem of determining the maximum of the product of the edge multiplicities in $(n,s,q)$-graphs. We give a general lower bound construction for this problem for many pairs $(s,q)$, which we conjecture is asymptotically best possible. We prove various general cases of our conjecture, and in particular we settle a conjecture of Mubayi and Terry on the $(s,q)=(4,6a+3)$ case of the problem (for $a\geq2$); this in turn answers a question of Alon. We also determine the asymptotic behaviour of the problem for `sparse' multigraphs (i.e. when $q\leq 2\binom{s}{2}$). Finally we introduce some tools that are likely to be useful for attacking the problem in general.
△ Less
Submitted 17 December, 2021; v1 submitted 3 November, 2020;
originally announced November 2020.
-
On a question of Slaman and Steel
Authors:
Adam Day,
Andrew Marks
Abstract:
We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to problems surrounding Martin's conjecture, and also in countable Borel equivalence relations. In particular, if Slaman and Steel's question has a positive answer,…
▽ More
We consider an old question of Slaman and Steel: whether Turing equivalence is an increasing union of Borel equivalence relations none of which contain a uniformly computable infinite sequence. We show this question is deeply connected to problems surrounding Martin's conjecture, and also in countable Borel equivalence relations. In particular, if Slaman and Steel's question has a positive answer, it implies there is a universal countable Borel equivalence which is not uniformly universal, and that there is a $(\equiv_T,\equiv_m)$-invariant function which is not uniformly invariant on any pointed perfect set.
△ Less
Submitted 31 March, 2020;
originally announced April 2020.
-
On a Conjecture of Nagy on Extremal Densities
Authors:
A. Nicholas Day,
Amites Sarkar
Abstract:
We disprove a conjecture of Nagy on the maximum number of copies N(G,H) of a fixed graph G in a large graph H with prescribed edge density. Nagy conjectured that for all G, the quantity N(G,H) is asymptotically maximised by either a quasi-star or a quasi-clique. We show this is false for infinitely many graphs, the smallest of which has 6 vertices and 6 edges. We also propose some new conjectures…
▽ More
We disprove a conjecture of Nagy on the maximum number of copies N(G,H) of a fixed graph G in a large graph H with prescribed edge density. Nagy conjectured that for all G, the quantity N(G,H) is asymptotically maximised by either a quasi-star or a quasi-clique. We show this is false for infinitely many graphs, the smallest of which has 6 vertices and 6 edges. We also propose some new conjectures for the behaviour of N(G,H), and present some evidence for them.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
Long paths and connectivity in {$1$}-independent random graphs
Authors:
A. Nicholas Day,
Victor Falgas-Ravry,
Robert Hancock
Abstract:
Given a graph $G$, a probability measure $μ$ on the subsets of the edge set of $G$ is said to be $1$-independent if events determined by edge sets that are at graph distance at least $1$ apart in $G$ are independent. Call such a probability measure a $1$-ipm on $G$, and denote by $\mathbf{G}_μ$ the associated random spanning subgraph of $G$.
Let $\mathcal{M}_{1,\geqslant p}(G)$ (resp.…
▽ More
Given a graph $G$, a probability measure $μ$ on the subsets of the edge set of $G$ is said to be $1$-independent if events determined by edge sets that are at graph distance at least $1$ apart in $G$ are independent. Call such a probability measure a $1$-ipm on $G$, and denote by $\mathbf{G}_μ$ the associated random spanning subgraph of $G$.
Let $\mathcal{M}_{1,\geqslant p}(G)$ (resp. $\mathcal{M}_{1,\leqslant p}(G)$) denote the collection of $1$-ipms $μ$ on $G$ for which each edge is included in $\mathbf{G}_μ$ with probability at least $p$ (resp. at most $p$). Let $\mathbb{Z}^2$ denote the square integer lattice. Balister and Bollobás raised the question of determining the critical value $p_{\star}=p_{1,c}(\mathbb{Z}^2)$ such that for all $p>p_{\star}$ and all $μ\in \mathcal{M}_{1,\geqslant p}(\mathbb{Z}^2)$, $\left(\mathbf{\mathbb{Z}^2}\right)_μ$ almost surely contains an infinite component. This can be thought of as asking for a $1$-independent analogue of the celebrated Harris--Kesten theorem.
In this paper we investigate both this problem and connectivity problems for $1$-ipms more generally. We give two lower bounds on $p_{\star}$ that significantly improve on the previous bounds. Furthermore, motivated by the Russo--Seymour--Welsh lemmas, we define a $1$-independent critical probability for long paths and determine its value for the line and ladder lattices. Finally, for finite graphs $G$ we study $f_{1,G}(p)$ (respectively $F_{1,G}(p)$), the infimum (resp. supremum) over all $μ\in \mathcal{M}_{1,\geqslant p}(G)$ (resp. all $μ\in \mathcal{M}_{1,\leqslant p}(G)$) of the probability that $\mathbf{G}_μ$ is connected. We determine $f_{1,G}(p)$ and $F_{1,G}(p)$ exactly when $G$ is a path, a complete graph and a cycle of length at most $5$.
Many new problems arise from our work, which are discussed in the final section of the paper.
△ Less
Submitted 26 June, 2020; v1 submitted 30 September, 2019;
originally announced September 2019.
-
Maker-Breaker Percolation Games II: Escaping to Infinity
Authors:
A. Nicholas Day,
Victor Falgas-Ravry
Abstract:
Let $Λ$ be an infinite connected graph, and let $v_0$ be a vertex of $Λ$. We consider the following positional game. Two players, Maker and Breaker, play in alternating turns. Initially all edges of $Λ$ are marked as unsafe. On each of her turns, Maker marks $p$ unsafe edges as safe, while on each of his turns Breaker takes $q$ unsafe edges and deletes them from the graph. Breaker wins if at any t…
▽ More
Let $Λ$ be an infinite connected graph, and let $v_0$ be a vertex of $Λ$. We consider the following positional game. Two players, Maker and Breaker, play in alternating turns. Initially all edges of $Λ$ are marked as unsafe. On each of her turns, Maker marks $p$ unsafe edges as safe, while on each of his turns Breaker takes $q$ unsafe edges and deletes them from the graph. Breaker wins if at any time in the game the component containing $v_0$ becomes finite. Otherwise if Maker is able to ensure that $v_0$ remains in an infinite component indefinitely, then we say she has a winning strategy. This game can be thought of as a variant of the celebrated Shannon switching game. Given $(p,q)$ and $(Λ, v_0)$, we would like to know: which of the two players has a winning strategy?
Our main result in this paper establishes that when $Λ= \mathbb{Z}^2$ and $v_0$ is any vertex, Maker has a winning strategy whenever $p\geq 2q$, while Breaker has a winning strategy whenever $2p\leq q$. In addition, we completely determine which of the two players has a winning strategy for every pair $(p,q)$ when $Λ$ is an infinite $d$-regular tree. Finally, we give some results for general graphs and lattices and pose some open problems.
△ Less
Submitted 26 June, 2020; v1 submitted 29 June, 2019;
originally announced July 2019.
-
Three topological reducibilities for discontinuous functions
Authors:
Adam R. Day,
Rod Downey,
Linda Brown Westrick
Abstract:
We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $α$-jump functions $j_α:2^ω\rightarrow \mathbb R$ are $\leq_m$-minimal in their Baire class. Within the Baire…
▽ More
We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $α$-jump functions $j_α:2^ω\rightarrow \mathbb R$ are $\leq_m$-minimal in their Baire class. Within the Baire 1 functions, we completely characterize the degree structure associated to $\leq_{tt}$ and $\leq_m$, finding an exact match to the $α$ hierarchy introduced by Bourgain and analyzed by Kechris and Louveau.
△ Less
Submitted 18 June, 2019;
originally announced June 2019.
-
Maker-Breaker Percolation Games I: Crossing Grids
Authors:
A. Nicholas Day,
Victor Falgas-Ravry
Abstract:
Motivated by problems in percolation theory, we study the following 2-player positional game. Let $Λ_{m \times n}$ be a rectangular grid-graph with $m$ vertices in each row and $n$ vertices in each column. Two players, Maker and Breaker, play in alternating turns. On each of her turns, Maker claims $p$ (as-yet unclaimed) edges of the board $Λ_{m \times n}$, while on each of his turns Breaker claim…
▽ More
Motivated by problems in percolation theory, we study the following 2-player positional game. Let $Λ_{m \times n}$ be a rectangular grid-graph with $m$ vertices in each row and $n$ vertices in each column. Two players, Maker and Breaker, play in alternating turns. On each of her turns, Maker claims $p$ (as-yet unclaimed) edges of the board $Λ_{m \times n}$, while on each of his turns Breaker claims $q$ (as-yet unclaimed) edges of the board and destroys them. Maker wins the game if she manages to claim all the edges of a crossing path joining the left-hand side of the board to its right-hand side, otherwise Breaker wins. We call this game the $(p,q)$-crossing game on $Λ_{m \times n}$.
Given $m,n\in \mathbb{N}$, for which pairs $(p,q)$ does Maker have a winning strategy for the $(p,q)$-crossing game on $Λ_{m \times n}$? The $(1,1)$-case corresponds exactly to the popular game of Bridg-it, which is well understood due to it being a special case of the older Shannon switching game. In this paper, we study the general $(p,q)$-case. Our main result is to establish the following transition:
$\bullet$ If $p\geqslant 2q$, then Maker wins the game on arbitrarily long versions of the narrowest board possible, i.e. Maker has a winning strategy for the $(2q, q)$-crossing game on $Λ_{m \times(q+1)}$ for any $m\in \mathbb{N}$;
$\bullet$ if $p\leqslant 2q-1$, then for every width $n$ of the board, Breaker has a winning strategy for the $(p,q)$-crossing game on $Λ_{m \times n}$ for all sufficiently large board-lengths $m$.
Our winning strategies in both cases adapt more generally to other grids and crossing games. In addition we pose many new questions and problems.
△ Less
Submitted 31 January, 2020; v1 submitted 11 October, 2018;
originally announced October 2018.
-
Which Classes of Structures Are Both Pseudo-elementary and Definable by an Infinitary Sentence?
Authors:
Will Boney,
Barbara F. Csima,
Nancy A. Day,
Matthew Harrison-Trainor
Abstract:
When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both…
▽ More
When classes of structures are not first-order definable, we might still try to find a nice description. There are two common ways for doing this. One is to expand the language, leading to notions of pseudo-elementary classes, and the other is to allow infinite conjuncts and disjuncts. In this paper we examine the intersection. Namely, we address the question: Which classes of structures are both pseudo-elementary and $\mathcal{L}_{ω_1 ω}$-elementary? We find that these are exactly the classes that can be defined by an infinitary formula that has no infinitary disjunctions.
△ Less
Submitted 30 April, 2020; v1 submitted 5 August, 2018;
originally announced August 2018.
-
Glassy Phase of Optimal Quantum Control
Authors:
Alexandre G. R. Day,
Marin Bukov,
Phillip Weinberg,
Pankaj Mehta,
Dries Sels
Abstract:
We study the problem of preparing a quantum many-body system from an initial to a target state by optimizing the fidelity over the family of bang-bang protocols. We present compelling numerical evidence for a universal spin-glass-like transition controlled by the protocol time duration. The glassy critical point is marked by a proliferation of protocols with close-to-optimal fidelity and with a tr…
▽ More
We study the problem of preparing a quantum many-body system from an initial to a target state by optimizing the fidelity over the family of bang-bang protocols. We present compelling numerical evidence for a universal spin-glass-like transition controlled by the protocol time duration. The glassy critical point is marked by a proliferation of protocols with close-to-optimal fidelity and with a true optimum that appears exponentially difficult to locate. Using a machine learning (ML) inspired framework based on the manifold learning algorithm t-SNE, we are able to visualize the geometry of the high-dimensional control landscape in an effective low-dimensional representation. Across the transition, the control landscape features an exponential number of clusters separated by extensive barriers, which bears a strong resemblance with replica symmetry breaking in spin glasses and random satisfiability problems. We further show that the quantum control landscape maps onto a disorder-free classical Ising model with frustrated nonlocal, multibody interactions. Our work highlights an intricate but unexpected connection between optimal quantum control and spin glass physics, and shows how tools from ML can be used to visualize and understand glassy optimization landscapes.
△ Less
Submitted 8 February, 2019; v1 submitted 28 March, 2018;
originally announced March 2018.
-
Algorithmic Randomness For Amenable Groups
Authors:
Adam R. Day
Abstract:
We develop the theory of algorithmic randomness for the space $A^G$ where $A$ is a finite alphabet and $G$ is a computable amenable group. We give an effective version of the Shannon-McMillan-Breiman theorem in this setting. We also extend a result of Simpson equating topological entropy and Hausdorff dimension. This proof makes use of work of Ornstein and Weiss which we also present.
We develop the theory of algorithmic randomness for the space $A^G$ where $A$ is a finite alphabet and $G$ is a computable amenable group. We give an effective version of the Shannon-McMillan-Breiman theorem in this setting. We also extend a result of Simpson equating topological entropy and Hausdorff dimension. This proof makes use of work of Ornstein and Weiss which we also present.
△ Less
Submitted 21 March, 2018; v1 submitted 11 February, 2018;
originally announced February 2018.
-
Jump operations for Borel graphs
Authors:
Adam R. Day,
Andrew S. Marks
Abstract:
We investigate the class of bipartite Borel graphs organized by the order of Borel homomorphism. We show that this class is unbounded by finding a jump operator for Borel graphs analogous to a jump operator of Louveau for Borel equivalence relations. The proof relies on a non-separation result for iterated Frechet ideals and filters due to Debs and Saint Raymond. We give a new proof of this fact u…
▽ More
We investigate the class of bipartite Borel graphs organized by the order of Borel homomorphism. We show that this class is unbounded by finding a jump operator for Borel graphs analogous to a jump operator of Louveau for Borel equivalence relations. The proof relies on a non-separation result for iterated Frechet ideals and filters due to Debs and Saint Raymond. We give a new proof of this fact using effective descriptive set theory. We also investigate an analogue of the Friedman-Stanley jump for Borel graphs. This analogue does not yield a jump operator for bipartite Borel graphs. However, we use it to answer a question of Kechris and Marks by showing that there is a Borel graph with no Borel homomorphism to a locally countable Borel graph, but each of whose connected components has a countable Borel coloring.
△ Less
Submitted 8 April, 2016;
originally announced April 2016.
-
Multicolour Ramsey Numbers of Odd Cycles
Authors:
A. Nicholas Day,
J. Robert Johnson
Abstract:
We show that for any positive integer $r$ there exists an integer $k$ and a $k$-colouring of the edges of $K_{2^{k}+1}$ with no monochromatic odd cycle of length less than $r$. This makes progress on a problem of Erdős and Graham and answers a question of Chung. We use these colourings to give new lower bounds on the $k$-colour Ramsey number of the odd cycle and prove that, for all odd $r$ and all…
▽ More
We show that for any positive integer $r$ there exists an integer $k$ and a $k$-colouring of the edges of $K_{2^{k}+1}$ with no monochromatic odd cycle of length less than $r$. This makes progress on a problem of Erdős and Graham and answers a question of Chung. We use these colourings to give new lower bounds on the $k$-colour Ramsey number of the odd cycle and prove that, for all odd $r$ and all $k$ sufficiently large, there exists a constant $ε= ε(r) > 0$ such that $R_{k}(C_{r}) > (r-1)(2+ε)^{k-1}$.
△ Less
Submitted 16 January, 2017; v1 submitted 24 February, 2016;
originally announced February 2016.
-
Saturated Graphs of Prescribed Minimum Degree
Authors:
A. Nicholas Day
Abstract:
A graph $G$ is $H$-saturated if it contains no copy of $H$ as a subgraph but the addition of any new edge to $G$ creates a copy of $H$. In this paper we are interested in the function sat$_{t}(n,p)$, defined to be the minimum number of edges that a $K_{p}$-saturated graph on $n$ vertices can have if it has minimum degree at least $t$. We prove that sat$_{t}(n,p) = tn - O(1)$, where the limit is ta…
▽ More
A graph $G$ is $H$-saturated if it contains no copy of $H$ as a subgraph but the addition of any new edge to $G$ creates a copy of $H$. In this paper we are interested in the function sat$_{t}(n,p)$, defined to be the minimum number of edges that a $K_{p}$-saturated graph on $n$ vertices can have if it has minimum degree at least $t$. We prove that sat$_{t}(n,p) = tn - O(1)$, where the limit is taken as $n$ tends to infinity. This confirms a conjecture of Bollobás when $p = 3$. We also present constructions for graphs that give new upper bounds for sat$_{t}(n,p)$ and discuss an analogous problem for saturated hypergraphs.
△ Less
Submitted 15 December, 2016; v1 submitted 24 July, 2014;
originally announced July 2014.
-
On The Strength of Two Recurrence Theorems
Authors:
Adam R. Day
Abstract:
This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between WKL and ACA (working over RCA_0). This is the first example of a theorem with this property. It also shows the existence of an almost periodic point is conserv…
▽ More
This paper uses the framework of reverse mathematics to investigate the strength of two recurrence theorems of topological dynamics. It establishes that one of these theorems, the existence of an almost periodic point, lies strictly between WKL and ACA (working over RCA_0). This is the first example of a theorem with this property. It also shows the existence of an almost periodic point is conservative over RCA_0 for Pi^1_1 sentences. These results establish the existence of a new upwards-closed subclass of the PA degrees
△ Less
Submitted 24 May, 2013;
originally announced May 2013.
-
Computing K-Trivial Sets by Incomplete Random Sets
Authors:
Laurent Bienvenu,
Adam R. Day,
Noam Greenberg,
Antonín Kučera,
Joseph S. Miller,
André Nies,
Dan Turetsky
Abstract:
Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute 0'.
Every K-trivial set is computable from an incomplete Martin-Löf random set, i.e., a Martin-Löf random set that does not compute 0'.
△ Less
Submitted 23 May, 2013;
originally announced May 2013.
-
Density, forcing, and the covering problem
Authors:
Adam R. Day,
Joseph S. Miller
Abstract:
We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-Löf random set X such that X does not compute 0' and X computes every K-trivial set.
We present a notion of forcing that can be used, in conjunction with other results, to show that there is a Martin-Löf random set X such that X does not compute 0' and X computes every K-trivial set.
△ Less
Submitted 9 April, 2013;
originally announced April 2013.
-
From Bi-immunity to Absolute Undecidability
Authors:
Laurent Bienvenu,
Rupert Hölzl,
Adam R. Day
Abstract:
An infinite binary sequence A is absolutely undecidable if it is impossible to compute A on a set of positions of positive upper density. Absolute undecidability is a weakening of bi-immunity. Downey, Jockusch and Schupp asked whether, unlike the case for bi-immunity, there is an absolutely undecidable set in every non-zero Turing degree. We provide a positive answer to this question by applying t…
▽ More
An infinite binary sequence A is absolutely undecidable if it is impossible to compute A on a set of positions of positive upper density. Absolute undecidability is a weakening of bi-immunity. Downey, Jockusch and Schupp asked whether, unlike the case for bi-immunity, there is an absolutely undecidable set in every non-zero Turing degree. We provide a positive answer to this question by applying techniques from coding theory. We show how to use Walsh-Hadamard codes to build a truth-table functional which maps any sequence A to a sequence B, such that given any restriction of B to a set of positive upper density, one can recover A. This implies that if A is non-computable, then B is absolutely undecidable. Using a forcing construction, we show that this result cannot be strengthened in any significant fashion.
△ Less
Submitted 20 March, 2013; v1 submitted 17 October, 2012;
originally announced October 2012.
-
An instability of hyperbolic space under the Yang-Mills flow
Authors:
Jack Gegenberg,
Andrew C. Day,
Haitao Liu,
Sanjeev S. Seahra
Abstract:
We consider the Yang-Mills flow on hyperbolic 3-space. The gauge connection is constructed from the frame-field and (not necessarily compatible) spin connection components. The fixed points of this flow include zero Yang-Mills curvature configurations, for which the spin connection has zero torsion and the associated Riemannian geometry is one of constant curvature. Perturbations to the fixed poin…
▽ More
We consider the Yang-Mills flow on hyperbolic 3-space. The gauge connection is constructed from the frame-field and (not necessarily compatible) spin connection components. The fixed points of this flow include zero Yang-Mills curvature configurations, for which the spin connection has zero torsion and the associated Riemannian geometry is one of constant curvature. Perturbations to the fixed point corresponding to hyperbolic 3-space can be expressed as a linear superposition of distinct modes, some of which are exponentially growing along the flow. The growing modes imply the divergence of the (gauge invariant) perturbative torsion for a wide class of initial data, indicating an instability of the background geometry that we confirm with numeric simulations in the partially compactified case. There are stable modes with zero torsion, but all the unstable modes are torsion-full. This leads us to speculate that the instability is induced by the torsion degrees of freedom present in the Yang-Mills flow.
△ Less
Submitted 2 October, 2012;
originally announced October 2012.
-
Limits to joining with generics and randoms
Authors:
Adam R. Day,
Damir D. Dzhafarov
Abstract:
Posner and Robinson (1981) proved that if $S \subseteq ω$ is non-computable, then there exists a $G \subseteq ω$ such that $S \oplus G \geq_T G'$. Shore and Slaman (1999) extended this result to all $n \in ω$, by showing that if $S \nleq_T \emptyset^{(n-1)}$ then there exists a $G$ such that $S \oplus G \geq_T G^{(n)}$. Their argument employs Kumabe-Slaman forcing, and so the set they obtain, unli…
▽ More
Posner and Robinson (1981) proved that if $S \subseteq ω$ is non-computable, then there exists a $G \subseteq ω$ such that $S \oplus G \geq_T G'$. Shore and Slaman (1999) extended this result to all $n \in ω$, by showing that if $S \nleq_T \emptyset^{(n-1)}$ then there exists a $G$ such that $S \oplus G \geq_T G^{(n)}$. Their argument employs Kumabe-Slaman forcing, and so the set they obtain, unlike that of the Posner-Robinson theorem, is not generic for Cohen forcing in any way. We answer the question of whether this is a necessary complication by showing that for all $n \geq 1$, the set $G$ of the Shore-Slaman theorem cannot be chosen to be even weakly 2-generic. Our result applies to several other effective forcing notions commonly used in computability theory, and we also prove that the set $G$ cannot be chosen to be 2-random.
△ Less
Submitted 14 September, 2012;
originally announced September 2012.
-
Independence, Relative Randomness, and PA Degrees
Authors:
Adam R. Day,
Jan Reimann
Abstract:
We study pairs of reals that are mutually Martin-Löf random with respect to a common, not necessarily computable probability measure. We show that a generalized version of van Lambalgen's Theorem holds for non-computable probability measures, too. We study, for a given real $A$, the \emph{independence spectrum} of $A$, the set of all $B$ so that there exists a probability measure $μ$ so that…
▽ More
We study pairs of reals that are mutually Martin-Löf random with respect to a common, not necessarily computable probability measure. We show that a generalized version of van Lambalgen's Theorem holds for non-computable probability measures, too. We study, for a given real $A$, the \emph{independence spectrum} of $A$, the set of all $B$ so that there exists a probability measure $μ$ so that $μ\{A,B\} = 0$ and $(A,B)$ is $μ\timesμ$-random. We prove that if $A$ is r.e., then no $Δ^0_2$ set is in the independence spectrum of $A$. We obtain applications of this fact to PA degrees. In particular, we show that if $A$ is r.e.\ and $P$ is of PA degree so that $P \not\geq_{T} A$, then $A \oplus P \geq_{T} 0'$.
△ Less
Submitted 10 July, 2012;
originally announced July 2012.
-
Cupping with random sets
Authors:
Adam R. Day,
Joseph S. Miller
Abstract:
We prove that a set is K-trivial if and only if it is not weakly ML-cuppable. Further, we show that a set below zero jump is K-trivial if and only if it is not ML-cuppable. These results settle a question of Kučera, who introduced both cuppability notions.
We prove that a set is K-trivial if and only if it is not weakly ML-cuppable. Further, we show that a set below zero jump is K-trivial if and only if it is not ML-cuppable. These results settle a question of Kučera, who introduced both cuppability notions.
△ Less
Submitted 7 June, 2012;
originally announced June 2012.
-
The typical Turing degree
Authors:
George Barmpalias,
Adam R. Day,
Andrew E. M. Lewis
Abstract:
The Turing degree of a real measures the computational difficulty of producing its binary expansion. Since Turing degrees are tailsets, it follows from Kolmogorov's 0-1 law that for any property which may or may not be satisfied by any given Turing degree, the satisfying class will either be of Lebesgue measure 0 or 1, so long as it is measurable. So either the \emph{typical} degree satisfies the…
▽ More
The Turing degree of a real measures the computational difficulty of producing its binary expansion. Since Turing degrees are tailsets, it follows from Kolmogorov's 0-1 law that for any property which may or may not be satisfied by any given Turing degree, the satisfying class will either be of Lebesgue measure 0 or 1, so long as it is measurable. So either the \emph{typical} degree satisfies the property, or else the typical degree satisfies its negation. Further, there is then some level of randomness sufficient to ensure typicality in this regard. A similar analysis can be made in terms of Baire category, where a standard form of genericity now plays the role that randomness plays in the context of measure.
We describe and prove a number of results in a programme of research which aims to establish the properties of the typical Turing degree, where typicality is gauged either in terms of Lebesgue measure or Baire category.
△ Less
Submitted 4 November, 2011;
originally announced November 2011.
-
A constructive version of Birkhoff's ergodic theorem for Martin-Löf random points
Authors:
Laurent Bienvenu,
Adam Day,
Mathieu Hoyrup,
Ilya Mezhirov,
Alexander Shen
Abstract:
A theorem of Kučera states that given a Martin-Löf random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A. We first prove several results in the same spirit and generalize them via an effective version of a weak form of Birkhoff's ergodic theorem. We then use this result to get a stronger form of it, namely a very general effective versio…
▽ More
A theorem of Kučera states that given a Martin-Löf random infinite binary sequence ω and an effectively open set A of measure less than 1, some tail of ω is not in A. We first prove several results in the same spirit and generalize them via an effective version of a weak form of Birkhoff's ergodic theorem. We then use this result to get a stronger form of it, namely a very general effective version of Birkhoff's ergodic theorem, which improves all the results previously obtained in this direction, in particular those of V'Yugin, Nandakumar and Hoyrup, Rojas.
△ Less
Submitted 4 August, 2011; v1 submitted 29 July, 2010;
originally announced July 2010.
