BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Robert Morris contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
The purpose of this survey is to provide a gentle introduction to several recent breakthroughs in graph Ramsey theory. In particular, we will outline the proofs (due to various groups of authors) of exponential improvements to the diagonal, near-diagonal, and multicolour Ramsey numbers, improved lower bounds on $R(3,k)$ and $R(4,k)$, and an exponential upper bound on the induced Ramsey numbers.
The set-colouring Ramsey number $R_{r,s}(k)$ is defined to be the minimum $n$ such that if each edge of the complete graph $K_n$ is assigned a set of $s$ colours from $\{1,\ldots,r\}$, then one of the colours contains a monochromatic clique of size $k$. The case $s = 1$ is the usual $r$-colour Ramsey number, and the case $s = r - 1$ was studied by Erdős, Hajnal and Rado in 1965, and by Erdős and Szemerédi in 1972. The first significant results for general $s$ were obtained only recently, by Conlon, Fox, He, Mubayi, Suk and Verstraëte, who showed that $R_{r,s}(k) = 2^{Θ(kr)}$ if $s/r$ is bounded away from $0$ and $1$. In the range $s = r - o(r)$, however, their upper and lower bounds diverge significantly. In this note we introduce a new (random) colouring, and use it to determine $R_{r,s}(k)$ up to polylogarithmic factors in the exponent for essentially all $r$, $s$ and $k$.
CheckSync provides applications with high availability via runtime-integrated checkpointing. This allows CheckSync to take checkpoints of a process running in a memory-managed language (Go, for now), which can be resumed on another machine after a failure. CheckSync uses the runtime to checkpoint only the process' live memory, doing without requiring significant changes to applications. CheckSync maintains the ease of use provided by virtual machines for the applications it supports without requiring that an entire virtual machine image be snapshotted. Because CheckSync captures only the memory used by an application, it produces checkpoints that are smaller (by an order of magnitude) than virtual machine snapshots if the memory footprint of the application is relatively small compared to the state of the rest of the operating system. Additionally, when running go-cache, a popular in-memory key/value store, CheckSync reduces throughput by only 12% compared to the 78% throughput loss when using go-cache's snapshot functionality, the 45% loss when using CRIU, and the 68% loss when using virtual machine live migration.
We study monotone cellular automata (also known as $\mathcal{U}$-bootstrap percolation) in $\mathbb{Z}^d$ with random initial configurations. Confirming a conjecture of Balister, Bollobás, Przykucki and Smith, who proved the corresponding result in two dimensions, we show that the critical probability is non-zero for all subcritical models.
In 1957, Hadwiger conjectured that every convex body in $\mathbb{R}^d$ can be covered by $2^d$ translates of its interior. For over 60 years, the best known bound was of the form $O(4^d \sqrt{d} \log d)$, but this was recently improved by a factor of $e^{Ω(\sqrt{d})}$ by Huang, Slomka, Tkocz and Vritsiou. In this note we take another step towards Hadwiger's conjecture by deducing an almost-exponential improvement from the recent breakthrough work of Chen, Klartag and Lehec on Bourgain's slicing problem. More precisely, we prove that, for any convex body $K \subset \mathbb{R}^d$, $$\exp\bigg( - Ω\bigg( \frac{d}{(\log d)^8} \bigg) \bigg) \cdot 4^d$$ translates of $\text{int}(K)$ suffice to cover $K$. We also show that a positive answer to Bourgain's slicing problem would imply an exponential improvement for Hadwiger's conjecture.
We study the class of monotone, two-state, deterministic cellular automata, in which sites are activated (or 'infected') by certain configurations of nearby infected sites. These models have close connections to statistical physics, and several specific examples have been extensively studied in recent years by both mathematicians and physicists. This general setting was first studied only recently, however, by Bollobás, Smith and Uzzell, who showed that the family of all such 'bootstrap percolation' models on $\mathbb{Z}^2$ can be naturally partitioned into three classes, which they termed subcritical, critical and supercritical. In this paper we determine the order of the threshold for percolation (complete occupation) for every critical bootstrap percolation model in two dimensions. This 'universality' theorem includes as special cases results of Aizenman and Lebowitz, Gravner and Griffeath, Mountford, and van Enter and Hulshof, significantly strengthens bounds of Bollobás, Smith and Uzzell, and complements recent work of Balister, Bollobás, Przykucki and Smith on subcritical models.
We analyze the phase curve of the short-period transiting hot Jupiter system WASP-19, which was observed by the Transiting Exoplanet Survey Satellite ($TESS$) in Sector 9. WASP-19 is one of only five transiting exoplanet systems with full-orbit phase curve measurements at both optical and infrared wavelengths. We measure a secondary eclipse depth of $470^{+130}_{-110}$ ppm and detect a strong atmospheric brightness modulation signal with a semi-amplitude of $319\pm51$ ppm. No significant offset is detected between the substellar point and the region of maximum brightness on the dayside. There is also no significant nightside flux detected, which is in agreement with the nightside effective blackbody temperature of $1090^{+190}_{-250}$ derived from the published $Spitzer$ phase curves for this planet. Placing the eclipse depth measured in the $TESS$ bandpass alongside the large body of previous values from the literature, we carry out the first atmospheric retrievals of WASP-19b's secondary eclipse spectrum using the SCARLET code. The retrieval analysis indicates that WASP-19b has a dayside atmosphere consistent with an isotherm at $T=2240\pm40$ K and a visible geometric albedo of $0.16\pm0.04$, indicating significant contribution from reflected starlight in the $TESS$ bandpass and moderately efficient day-night heat transport.
We present early time light curves of Type Ia supernovae observed in the first six sectors of TESS data. Ten of these supernovae were discovered by ASAS-SN, seven by ATLAS, six by ZTF, and one by \textit{Gaia}. For nine SNe with sufficient dynamic range ($>$3.0 mag from detection to peak), we fit power law models and search for signatures of companion stars. We find a diversity of early time light curve shapes, although most of our sources are consistent with fireball models where the flux increases $\propto t^2$. Three SN display a flatter rise with flux $\propto t$. We do not find any evidence for additional structure such as multiple power law components in the early rising light curves. For assumptions about the SN properties and the observer viewing angle, and further assuming that companion stars would be in Roche-lobe overflow, we place limits on the radii of companions for six SNe with complete coverage of the early time light curves. The upper limits are $\lesssim$\,32 R$_\odot$ for these six supernovae, $\lesssim$\,20 R$_\odot$ for five of these six, and $\lesssim$\,4 R$_\odot$ for two of these six. The small sample size does not constrain occurrence rates of single degenerate Type Ia SN progenitors, but we expect that TESS observed enough SNe in its primary mission (26 sectors) to inform this measurement. We also show that TESS is capable of detecting emission from a 1 \rsun\ companion for a Type Ia SN within 50 Mpc, and may do so after about six years.
We count orientations of $G(n,p)$ avoiding certain classes of oriented graphs. In particular, we study $T_r(n,p)$, the number of orientations of the binomial random graph $G(n,p)$ in which every copy of $K_r$ is transitive, and $S_r(n,p)$, the number of orientations of $G(n,p)$ containing no strongly connected copy of $K_r$. We give the correct order of growth of $\log T_r(n,p)$ and $\log S_r(n,p)$ up to polylogarithmic factors; for orientations with no cyclic triangle, this significantly improves a result of Allen, Kohayakawa, Mota and Parente. We also discuss the problem for a single forbidden oriented graph, and state a number of open problems and conjectures.
MASCARA-4 b is a hot Jupiter in a highly-misaligned orbit around a rapidly-rotating A3V star that was observed for 54 days by the Transiting Exoplanet Survey Satellite (\tess). We perform two analyses of MASCARA-4 b using a stellar gravity-darkened model. First, we measure MASCARA-4 b's misaligned orbital configuration by modeling its \tess~photometric light curve. We take advantage of the asymmetry in MASCARA-4 b's transit due to its host star's gravity-darkened surface to measure MASCARA-4 b's true spin-orbit angle to be $104^{\circ+7^\circ}_{-13^\circ}$. We also detect a $\sim4σ$ secondary eclipse at $0.491\pm0.007$ orbital phase, proving that the orbit is slightly eccentric. Second, we model MASCARA-4 b's insolation including gravity-darkening and find that the planet's received XUV flux varies by $4$\% throughout its orbit. MASCARA-4 b's short-period, polar orbit suggests that the planet likely underwent dramatic orbital evolution to end up in its present-day configuration and that it receives a varying stellar irradiance that perpetually forces the planet out of thermal equilibrium. These findings make MASCARA-4 b an excellent target for follow-up characterization to better understand orbital evolution and current-day of planets around high-mass stars.
The Neptune desert is a feature seen in the radius-mass-period plane, whereby a notable dearth of short period, Neptune-like planets is found. Here we report the {\it TESS} discovery of a new short-period planet in the Neptune desert, orbiting the G-type dwarf TYC\,8003-1117-1 (TOI-132). {\it TESS} photometry shows transit-like dips at the level of $\sim$1400 ppm occurring every $\sim$2.11 days. High-precision radial velocity follow-up with HARPS confirmed the planetary nature of the transit signal and provided a semi-amplitude radial velocity variation of $\sim$11.5 m s$^{-1}$, which, when combined with the stellar mass of $0.97\pm0.06$ $M_{\odot}$, provides a planetary mass of 22.83$^{+1.81}_{-1.80}$ $M_{\oplus}$. Modeling the {\it TESS} high-quality light curve returns a planet radius of 3.43$^{+0.13}_{-0.14}$ $R_{\oplus}$, and therefore the planet bulk density is found to be 3.11$^{+0.44}_{-0.450}$ g cm$^{-3}$. Planet structure models suggest that the bulk of the planet mass is in the form of a rocky core, with an atmospheric mass fraction of 4.3$^{+1.2}_{-2.3}$\%. TOI-132 b is a {\it TESS} Level 1 Science Requirement candidate, and therefore priority follow-up will allow the search for additional planets in the system, whilst helping to constrain low-mass planet formation and evolution models, particularly valuable for better understanding the Neptune desert.
We report the period, eccentricity, and mass determination for the TESS single-transit event candidate TOI-222, which displayed a single 3000 ppm transit in the TESS two-minute cadence data from Sector 2. We determine the orbital period via radial velocity measurements (P=33.9,days), which allowed for ground-based photometric detection of two subsequent transits. Our data show that the companion to TOI-222 is a low mass star, with a radius of $0.18_{-0.10}^{+0.39}$ Rsun and a mass of $0.23\pm0.01$ Msun. This discovery showcases the ability to efficiently discover long-period systems from TESS single transit events using a combination of radial velocity monitoring coupled with high precision ground-based photometry.
In the $r$-neighbour bootstrap process on a graph $G$, vertices are infected (in each time step) if they have at least $r$ already-infected neighbours. Motivated by its close connections to models from statistical physics, such as the Ising model of ferromagnetism, and kinetically constrained spin models of the liquid-glass transition, the most extensively-studied case is the two-neighbour bootstrap process on the two-dimensional grid $[n]^2$. Around 15 years ago, in a major breakthrough, Holroyd determined the sharp threshold for percolation in this model, and his bounds were subsequently sharpened further by Gravner and Holroyd, and by Gravner, Holroyd and Morris. In this paper we strengthen the lower bound of Gravner, Holroyd and Morris by proving that the critical probability $p_c\big( [n]^2,2 \big)$ for percolation in the two-neighbour model on $[n]^2$ satisfies \[p_c\big( [n]^2,2 \big) = \frac{π^2}{18\log n} - \frac{Θ(1)}{(\log n)^{3/2}}\,.\] The proof of this result requires a very precise understanding of the typical growth of a critical droplet, and involves a number of technical innovations. We expect these to have other applications, for example, to the study of more general two-dimensional cellular automata, and to the $r$-neighbour process in higher dimensions.