-
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.
-
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 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: Esca** 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.
-
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.
-
Confronting Standard Models of Proto--Planetary Disks With New Mid--Infrared Sizes from the Keck Interferometer
Authors:
Rafael Millan-Gabet,
Xiao Che,
John D. Monnier,
Michael L. Sitko,
Ray W. Russell,
Carol A. Grady,
Amanda N. Day,
R. B. Perry,
Tim J. Harries,
Alicia N. Aarnio,
Mark M. Colavita,
Peter L. Wizinowich,
Sam Ragland,
Julien Woillez
Abstract:
We present near and mid-infrared interferometric observations made with the Keck Interferometer Nuller and near-contemporaneous spectro-photometry from the IRTF of 11 well known young stellar objects, several observed for the first time in these spectral and spatial resolution regimes. With AU-level spatial resolution, we first establish characteristic sizes of the infrared emission using a simple…
▽ More
We present near and mid-infrared interferometric observations made with the Keck Interferometer Nuller and near-contemporaneous spectro-photometry from the IRTF of 11 well known young stellar objects, several observed for the first time in these spectral and spatial resolution regimes. With AU-level spatial resolution, we first establish characteristic sizes of the infrared emission using a simple geometrical model consisting of a hot inner rim and mid-infrared disk emission. We find a high degree of correlation between the stellar luminosity and the mid-infrared disk sizes after using near-infrared data to remove the contribution from the inner rim. We then use a semi-analytical physical model to also find that the very widely used "star + inner dust rim + flared disk" class of models strongly fails to reproduce the SED and spatially-resolved mid-infrared data simultaneously; specifically a more compact source of mid-infrared emission is required than results from the standard flared disk model. We explore the viability of a modification to the model whereby a second dust rim containing smaller dust grains is added, and find that the two-rim model leads to significantly improved fits in most cases. This complexity is largely missed when carrying out SED modelling alone, although detailed silicate feature fitting by McClure et al. 2013 recently came to a similar conclusion. As has been suggested recently by Menu et al. 2015, the difficulty in predicting mid-infrared sizes from the SED alone might hint at "transition disk"-like gaps in the inner AU; however, the relatively high correlation found in our mid-infrared disk size vs. stellar luminosity relation favors layered disk morphologies and points to missing disk model ingredients instead.
△ Less
Submitted 22 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.
-
Relating jet structure to photometric variability: the Herbig Ae star HD 163296
Authors:
L. E. Ellerbroek,
L. Podio,
C. Dougados,
S. Cabrit,
M. L. Sitko,
H. Sana,
L. Kaper,
A. de Koter,
P. D. Klaassen,
G. D. Mulders,
I. Mendigutia,
C. A. Grady,
K. Grankin,
H. van Winckel,
F. Bacciotti,
R. W. Russell,
D. K. Lynch,
H. B. Hammel,
L. C. Beerman,
A. N. Day,
D. M. Huelsman,
C. Werren,
A. Henden,
J. Grindlay
Abstract:
Herbig Ae/Be stars are intermediate-mass pre-main sequence stars surrounded by circumstellar dust disks. Some are observed to produce jets, whose appearance as a sequence of shock fronts (knots) suggests a past episodic outflow variability. This "jet fossil record" can be used to reconstruct the outflow history. We present the first optical to near-infrared (NIR) VLT/X-shooter spectra of the jet f…
▽ More
Herbig Ae/Be stars are intermediate-mass pre-main sequence stars surrounded by circumstellar dust disks. Some are observed to produce jets, whose appearance as a sequence of shock fronts (knots) suggests a past episodic outflow variability. This "jet fossil record" can be used to reconstruct the outflow history. We present the first optical to near-infrared (NIR) VLT/X-shooter spectra of the jet from the Herbig Ae star HD 163296. We determine physical conditions in the knots, as well as their kinematic "launch epochs". Knots are formed simultaneously on either side of the disk, with a regular interval of ~16 yr. The velocity dispersion versus jet velocity and the energy input are comparable in both lobes. However, the mass loss rate, velocity, and shock conditions are asymmetric. We find Mjet/Macc ~ 0.01-0.1, consistent with magneto-centrifugal jet launching models. No evidence for dust is found in the high-velocity jet, suggesting it is launched within the sublimation radius (<0.5 au). The jet inclination measured from proper motions and radial velocities confirms it is perpendicular to the disk. A tentative relation is found between the structure of the jet and the photometric variability of the source. Episodes of NIR brightening were previously detected and attributed to a dusty disk wind. We report for the first time significant optical fadings lasting from a few days up to a year, coinciding with the NIR brightenings. These are likely caused by dust lifted high above the disk plane; this supports the disk wind scenario. The disk wind is launched at a larger radius than the high-velocity atomic jet, although their outflow variability may have a common origin. No significant relation between outflow and accretion variability could be established. Our findings confirm that this source undergoes periodic ejection events, which may be coupled with dust ejections above the disk plane.
△ Less
Submitted 15 January, 2014;
originally announced January 2014.
-
High-Contrast NIR Polarization Imaging of MWC480
Authors:
N. Kusakabe,
C. A. Grady,
M. L. Sitko,
J. Hashimoto,
T. Kudo,
M. Fukagawa,
T. Muto,
J. P. Wisniewski,
M. Min,
S. Mayama,
C. Werren,
A. N. Day,
L. C. Beerman,
D. K. Lynch,
R. W. Russell,
S. M. Brafford,
M. Kuzuhara,
T. D. Brandt,
L. Abe,
W. Brandner,
J. Carson,
S. Egner,
M. Feldt,
M. Goto,
O. Guyon
, et al. (30 additional authors not shown)
Abstract:
One of the key predictions of modeling from the IR excess of Herbig Ae stars is that for protoplanetary disks, where significant grain growth and settling has occurred, the dust disk has flattened to the point that it can be partially or largely shadowed by the innermost material at or near the dust sublimation radius. When the self-shadowing has already started, the outer disk is expected to be d…
▽ More
One of the key predictions of modeling from the IR excess of Herbig Ae stars is that for protoplanetary disks, where significant grain growth and settling has occurred, the dust disk has flattened to the point that it can be partially or largely shadowed by the innermost material at or near the dust sublimation radius. When the self-shadowing has already started, the outer disk is expected to be detected in scattered light only in the exceptional cases that the scale height of the dust disk at the sublimation radius is smaller than usual. High-contrast imaging combined with the IR spectral energy distribution allow us to measure the degree of flattening of the disk, as well as to determine the properties of the outer disk. We present polarimetric differential imaging in $H$ band obtained with Subaru/HiCIAO of one such system, MWC 480. The HiCIAO data were obtained at a historic minimum of the NIR excess. The disk is detected in scattered light from 0\farcs2-1\farcs0 (27.4-137AU). Together with the marginal detection of the disk from 1998 February 24 by HST/NICMOS, our data constrain the opening half angle for the disk to lie between 1.3$\leqθ\leq 2.2^\circ$. When compared with similar measures in CO for the gas disk from the literature, the dust disk subtends only $\sim$30% of the gas disk scale height (H/R$\sim$0.03). Such a dust disk is a factor of 5-7 flatter than transitional disks, which have structural signatures that giant planets have formed.
△ Less
Submitted 14 May, 2012;
originally announced May 2012.
-
Variability of Disk Emission in Pre-Main Sequence and Related Stars. II. Variability in the Gas and Dust Emission of the Herbig Fe Star SAO 206462
Authors:
Michael L. Sitko,
Amanda N. Day,
Robin L. Kimes,
Lori C. Beerman,
Cameron Martus,
David K. Lynch,
Ray W. Russell,
Carol A. Grady,
Glenn Schneider,
Carey M. Lisse,
Joseph A. Nuth,
Michel Cure,
Arne A. Henden,
Stefan Kraus,
Veronica Motta,
Motohide Tamura,
Jeremy Hornbeck,
Gerard M. Williger,
Dino Fugazza
Abstract:
We present thirteen epochs of near-infrared (0.8-5 micron) spectroscopic observations of the pre-transitional, "gapped" disk system in SAO 206462 (=HD 135344B). In all, six gas emission lines (including Br gamma, Pa beta, and the 0.8446 micron line of O I) along with continuum measurements made near the standard J, H, K, and L photometric bands were measured. A mass accretion rate of approximately…
▽ More
We present thirteen epochs of near-infrared (0.8-5 micron) spectroscopic observations of the pre-transitional, "gapped" disk system in SAO 206462 (=HD 135344B). In all, six gas emission lines (including Br gamma, Pa beta, and the 0.8446 micron line of O I) along with continuum measurements made near the standard J, H, K, and L photometric bands were measured. A mass accretion rate of approximately 2 x 10^-8 solar masses per year was derived from the Br gamma and Pa beta lines. However, the fluxes of these lines varied by a factor of over two during the course of a few months. The continuum also varied, but by only ~30%, and even decreased at a time when the gas emission was increasing. The H I line at 1.083 microns was also found to vary in a manner inconsistent with that of either the hydrogen lines or the dust. Both the gas and dust variabilities indicate significant changes in the region of the inner gas and the inner dust belt that may be common to many young disk systems. If planets are responsible for defining the inner edge of the gap, they could interact with the material on time scales commensurate with what is observed for the variations in the dust, while other disk instabilities (thermal, magnetorotational) would operate there on longer time scales than we observe for the inner dust belt. For SAO 206462, the orbital period would likely be 1-3 years. If the changes are being induced in the disk material closer to the star than the gap, a variety of mechanisms (disk instabilities, interactions via planets) might be responsible for the changes seen. The He I feature is most likely due to a wind whose orientation changes with respect to the observer on time scales of a day or less. To further constrain the origin of the gas and dust emission will require multiple spectroscopic and interferometric observations on both shorter and longer time scales that have been sampled so far.
△ Less
Submitted 11 October, 2011;
originally announced October 2011.