-
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.
-
Asymmetry of 2-step Transit Probabilities in 2-Coloured Regular Graphs
Authors:
Ron Gray,
J. Robert Johnson
Abstract:
Suppose that the vertices of a regular graph are coloured red and blue with an equal number of each (we call this a balanced colouring). Since the graph is undirected, the number of edges from a red vertex to a blue vertex is clearly the same as the number of edges from a blue vertex to a red vertex. However, if instead of edges we count walks of length $2$, then this symmetry disappears. Our aim…
▽ More
Suppose that the vertices of a regular graph are coloured red and blue with an equal number of each (we call this a balanced colouring). Since the graph is undirected, the number of edges from a red vertex to a blue vertex is clearly the same as the number of edges from a blue vertex to a red vertex. However, if instead of edges we count walks of length $2$, then this symmetry disappears. Our aim in this paper is to investigate how extreme this asymmetry can be.
Our main question is: Given a $d$-regular graph, for which pairs $(x,y)\in[0,1]^2$ is there a balanced colouring for which the probability that a random walk starting from a red vertex stays within the red class for at least $2$ steps is $x$, and the corresponding probability for blue is $y$?
Our most general result is that for any $d$-regular graph, these pairs lie within the convex hull of the $2d$ points $\left\{\left(\frac{l}{d},\frac{l^2}{d^2}\right),\left(\frac{l^2}{d^2},\frac{l}{d}\right) :0\leq l\leq d\right\}$.
Our main focus is the torus for which we prove both sharper bounds and existence results via constructions. In particular, for the $2$-dimensional torus, we show that asymptotically, the region in which these pairs of probabilities can lie is exactly the convex hull of: \[ \left\{\left(0,0\right),\left(\frac{1}{2},\frac{1}{4}\right),\left(\frac{3}{4},\frac{9}{16}\right),\left(\frac{1}{4},\frac{1}{2}\right),\left(\frac{9}{16},\frac{3}{4}\right),\left(1,1\right)\right\} \]
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
A Multiwavelength Classification and Study of Red Supergiant Candidates in NGC 6946
Authors:
Jared R. Johnson,
Brad Koplitz,
Benjamin F. Williams,
Julianne J. Dalcanton,
Andrew Dolphin,
Leo Girardi
Abstract:
We have combined resolved stellar photometry from Hubble Space Telescope (\emph{HST}), \emph{Spitzer}, and \emph{Gaia} to identify red supergiant (RSG) candidates in NGC~6946, based on their colors, proper motions, visual morphologies, and spectral energy distributions. We start with a large sample of 17,865 RSG candidates based solely on \emph{HST} near-infrared photometry. We then chose a small…
▽ More
We have combined resolved stellar photometry from Hubble Space Telescope (\emph{HST}), \emph{Spitzer}, and \emph{Gaia} to identify red supergiant (RSG) candidates in NGC~6946, based on their colors, proper motions, visual morphologies, and spectral energy distributions. We start with a large sample of 17,865 RSG candidates based solely on \emph{HST} near-infrared photometry. We then chose a small sample of 385 of these candidates with Spitzer matches for more detailed study. Using evolutionary models and isochrones, we isolate a space where RSGs would be found in our photometry catalogs. We then visually inspect each candidate and compare to Gaia catalogs to identify and remove foreground stars. As a result, we classify 95 potential RSGs, with 40 of these being in our highest-quality sample. We fit the photometry of the populations of stars in the regions surrounding the RSGs to infer their ages. Placing our best candidate RSG stars into three age bins between 1 and 30 Myr, we find 27.5\% of the candidates falling between 1-10 Myr, 37.5\% between 10-20 Myr, and 35\% 20-30 Myr. A comparison of our results to the models of massive star evolution shows some agreement between model luminosities and the luminosities of our candidates for each age. Three of our candidates appear significantly more consistent with binary models than single-star evolution models.
△ Less
Submitted 6 March, 2023;
originally announced March 2023.
-
Partial shuffles by lazy swaps
Authors:
Barnabás Janzer,
J. Robert Johnson,
Imre Leader
Abstract:
What is the smallest number of random transpositions (meaning that we swap given pairs of elements with given probabilities) that we can make on an $n$-point set to ensure that each element is uniformly distributed -- in the sense that the probability that $i$ is mapped to $j$ is $1/n$ for all $i$ and $j$? And what if we insist that each pair is uniformly distributed?
In this paper we show that…
▽ More
What is the smallest number of random transpositions (meaning that we swap given pairs of elements with given probabilities) that we can make on an $n$-point set to ensure that each element is uniformly distributed -- in the sense that the probability that $i$ is mapped to $j$ is $1/n$ for all $i$ and $j$? And what if we insist that each pair is uniformly distributed?
In this paper we show that the minimum for the first problem is about $\frac{1}{2} n \log_2 n$, with this being exact when $n$ is a power of $2$. For the second problem, we show that, rather surprisingly, the answer is not quadratic: $O(n \log^2 n)$ random transpositions suffice. We also show that if we ask only that the pair $1,2$ is uniformly distributed then the answer is $2n-3$. This proves a conjecture of Groenland, Johnston, Radcliffe and Scott.
△ Less
Submitted 24 October, 2022;
originally announced October 2022.
-
Optimal Resistor Networks
Authors:
J. Robert Johnson,
Mark Walters
Abstract:
Given a graph on n vertices with m edges, each of unit resistance, how small can the average resistance between pairs of vertices be? There are two very plausible extremal constructions -- graphs like a star, and graphs which are close to regular -- with the transition between them occuring when the average degree is 3. However, one of our main aims in this paper is to show that there are signific…
▽ More
Given a graph on n vertices with m edges, each of unit resistance, how small can the average resistance between pairs of vertices be? There are two very plausible extremal constructions -- graphs like a star, and graphs which are close to regular -- with the transition between them occuring when the average degree is 3. However, one of our main aims in this paper is to show that there are significantly better constructions for a range of average degree including average degree near 3.
A key idea is to link this question to a analogous question about rooted graphs -- namely `which rooted graph minimises the average resistance to the root?'. The rooted case is much simpler to analyse than the unrooted, and one of the main results of this paper is that the two cases are asymptotically equivalent.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Shattering $k$-sets with Permutations
Authors:
J. Robert Johnson,
Belinda Wickes
Abstract:
Many concepts from extremal set theory have analogues for families of permutations. This paper is concerned with the notion of shattering for permutations. A family $\mathcal{P}$ of permutations of an $n$-element set $X$ shatters a $k$-set from $X$ if it appears in each of the $k!$ possible orders in some permutation in $\mathcal{P}$. The smallest family $\mathcal{P}$ which shatters every $k$-subs…
▽ More
Many concepts from extremal set theory have analogues for families of permutations. This paper is concerned with the notion of shattering for permutations. A family $\mathcal{P}$ of permutations of an $n$-element set $X$ shatters a $k$-set from $X$ if it appears in each of the $k!$ possible orders in some permutation in $\mathcal{P}$. The smallest family $\mathcal{P}$ which shatters every $k$-subset of $X$ is known to have size $Θ(\log n)$.
Our aim is to introduce and study two natural partial versions of this shattering problem.
Our first main result concerns the case where our family must contain only $t$ out of $k!$ of the possible orders. When $k=3$ we show that there are three distinct regimes depending on $t$: constant, $Θ(\log\log n)$, $Θ(\log n)$. We also show that for larger $k$ these same regimes exist although they may not cover all values of $t$.
Our second direction concerns the problem of determining the largest number of $k$-sets that can be totally shattered by a family with given size. We show that for any $n$, a family of $6$ permutations is enough to shatter a proportion between $\frac{17}{42}$ and $\frac{11}{14}$ of all triples.
△ Less
Submitted 5 April, 2023; v1 submitted 3 December, 2021;
originally announced December 2021.
-
The Solar Memory From Hours to Decades
Authors:
Markus J. Aschwanden,
Jay R. Johnson
Abstract:
Waiting time distributions allow us to distinguish at least three different types of dynamical systems, such as (i) linear random processes (with no memory); (ii) nonlinear, avalanche-type, nonstationary Poisson processes (with memory during the exponential growth of the avalanche rise time); and (iii) chaotic systems in the state of a nonlinear limit cycle (with memory during the oscillatory phas…
▽ More
Waiting time distributions allow us to distinguish at least three different types of dynamical systems, such as (i) linear random processes (with no memory); (ii) nonlinear, avalanche-type, nonstationary Poisson processes (with memory during the exponential growth of the avalanche rise time); and (iii) chaotic systems in the state of a nonlinear limit cycle (with memory during the oscillatory phase). We describe the temporal evolution of the flare rate $λ(t) \propto t^p$ with a polynomial function, which allows us to distinguish linear ($p \approx 1$) from nonlinear ($p \gapprox 2$) events. The power law slopes $α$ of observed waiting times (with full solar cycle coverage) cover a range of $α=2.1-2.4$, which agrees well with our prediction of $α= 2.0+1/p = 2.3-2.5$. The memory time can also be defined with the time evolution of the logistic equation, for which we find a relationship between the nonlinear growth time $τ_G = τ_{rise}/(4p)$ and the nonlinearity index $p$. We find a nonlinear evolution for most events, in particular for the clustering of solar flares ($p=2.2\pm0.1$), partially occulted flare events ($p=1.8\pm0.2$), and the solar dynamo ($p=2.8\pm0.5$). The Sun exhibits memory on time scales of $\lapprox$2 hours to 3 days (for solar flare clustering), 6 to 23 days (for partially occulted flare events), and 1.5 month to 1 year (for the rise time of the solar dynamo).
△ Less
Submitted 28 July, 2021;
originally announced July 2021.
-
The Poissonian Origin of Power Laws in Solar Flare Waiting Time Distributions
Authors:
Markus J. Aschwanden,
Jay R. Johnson,
Yosia I. Nurhan
Abstract:
In this study we aim for a deeper understanding of the power law slope, $α$, of waiting time distributions. Statistically independent events with linear behavior can be characterized by binomial, Gaussian, exponential, or Poissonian size distribution functions. In contrast, physical processes with nonlinear behavior exhibit spatio-temporal coherence (or memory) and "fat tails" in their size distri…
▽ More
In this study we aim for a deeper understanding of the power law slope, $α$, of waiting time distributions. Statistically independent events with linear behavior can be characterized by binomial, Gaussian, exponential, or Poissonian size distribution functions. In contrast, physical processes with nonlinear behavior exhibit spatio-temporal coherence (or memory) and "fat tails" in their size distributions that fit power law-like functions, as a consequence of the time variability of the mean event rate, as demonstrated by means of Bayesian block decomposition in the work of Wheatland et al.~(1998).
In this study we conduct numerical simulations of waiting time distributions $N(τ)$ in a large parameter space for various (polynomial, sinusoidal, Gaussian) event rate functions $λ(t)$, parameterized with an exponent $p$ that expresses the degree of the polynomial function $λ(t) \propto t^p$. We derive an analytical exact solution of the waiting time distribution function in terms of the incomplete gamma function, which is similar to a Pareto type-II function and has a power law slope of $α= 2 + 1/p$, in the asymptotic limit of large waiting times. Numerically simulated random distributions reproduce this theoretical prediction accurately. Numerical simulations in the nonlinear regime ($p \ge 2$) predict power law slopes in the range of $2.0 \le α\le 2.5$. The self-organized criticality model yields a prediction of $α=2$. Observations of solar flares and coronal mass ejections (over at least a half solar cycle) are found in the range of $α_{obs} \approx 2.1-2.4$. Deviations from strict power law functions are expected due to the variability of the flare event rate $λ(t)$, and deviations from theoretically predicted slope values $α$ occur due to the Poissonian weighting bias of power law fits.
△ Less
Submitted 27 July, 2021;
originally announced July 2021.
-
Role of the Solar Minimum in the Waiting Time Distribution Throughout the Heliosphere
Authors:
Yosia I. Nurhan,
Jay R. Johnson,
Jonathan R. Homan,
Simon Wing
Abstract:
We explore the tail of various waiting time datasets of processes that follow a nonstationary Poisson distribution with a sinusoidal driver. Analytically, we find that the distribution of large waiting times of such processes can be described using a power law slope of -2.5. We show that this result applies more broadly to any nonstationary Poisson process driven periodically. Examples of such pro…
▽ More
We explore the tail of various waiting time datasets of processes that follow a nonstationary Poisson distribution with a sinusoidal driver. Analytically, we find that the distribution of large waiting times of such processes can be described using a power law slope of -2.5. We show that this result applies more broadly to any nonstationary Poisson process driven periodically. Examples of such processes include solar flares, coronal mass ejections, geomagnetic storms, and substorms. We also discuss how the power law specifically relates to the behavior of driver near its minima.
△ Less
Submitted 12 May, 2021;
originally announced May 2021.
-
Synchronizing Times for $k$-sets in Automata
Authors:
Natalie C. Behague,
J. Robert Johnson
Abstract:
An automaton is synchronizing if there is a word that maps all states onto the same state. Černý's conjecture on the length of the shortest such word is probably the most famous open problem in automata theory. We consider the closely related question of determining the minimum length of a word that maps $k$ states onto a single state. For synchronizing automata, we improve the upper bound on the…
▽ More
An automaton is synchronizing if there is a word that maps all states onto the same state. Černý's conjecture on the length of the shortest such word is probably the most famous open problem in automata theory. We consider the closely related question of determining the minimum length of a word that maps $k$ states onto a single state. For synchronizing automata, we improve the upper bound on the minimum length of a word that sends some triple to a a single state from $0.5n^2$ to $\approx 0.19n^2$. We further extend this to an improved bound on the length of such a word for 4 states and 5 states. In the case of non-synchronizing automata, we give an example to show that the minimum length of a word that sends $k$ states to a single state can be as large as $Θ\left(n^{k-1}\right)$.
△ Less
Submitted 8 August, 2022; v1 submitted 27 August, 2020;
originally announced August 2020.
-
Correlation for permutations
Authors:
J. Robert Johnson,
Imre Leader,
Eoin Long
Abstract:
In this note we investigate correlation inequalities for `up-sets' of permutations, in the spirit of the Harris--Kleitman inequality. We focus on two well-studied partial orders on $S_n$, giving rise to differing notions of up-sets. Our first result shows that, under the strong Bruhat order on $S_n$, up-sets are positively correlated (in the Harris--Kleitman sense). Thus, for example, for a (unifo…
▽ More
In this note we investigate correlation inequalities for `up-sets' of permutations, in the spirit of the Harris--Kleitman inequality. We focus on two well-studied partial orders on $S_n$, giving rise to differing notions of up-sets. Our first result shows that, under the strong Bruhat order on $S_n$, up-sets are positively correlated (in the Harris--Kleitman sense). Thus, for example, for a (uniformly) random permutation $π$, the event that no point is displaced by more than a fixed distance $d$ and the event that $π$ is the product of at most $k$ adjacent transpositions are positively correlated. In contrast, under the weak Bruhat order we show that this completely fails: surprisingly, there are two up-sets each of measure $1/2$ whose intersection has arbitrarily small measure.
We also prove analogous correlation results for a class of non-uniform measures, which includes the Mallows measures. Some applications and open problems are discussed.
△ Less
Submitted 21 April, 2020; v1 submitted 9 September, 2019;
originally announced September 2019.
-
The $Q_2$-free process in the hypercube
Authors:
J. Robert Johnson,
Trevor Pinto
Abstract:
The generation of a random triangle-saturated graph via the triangle-free process has been studied extensively. In this short note our aim is to introduce an analogous process in the hypercube. Specifically, we consider the $Q_2$-free process in $Q_d$ and the random subgraph of $Q_d$ it generates. Our main result is that with high probability the graph resulting from this process has at least…
▽ More
The generation of a random triangle-saturated graph via the triangle-free process has been studied extensively. In this short note our aim is to introduce an analogous process in the hypercube. Specifically, we consider the $Q_2$-free process in $Q_d$ and the random subgraph of $Q_d$ it generates. Our main result is that with high probability the graph resulting from this process has at least $cd^{2/3} 2^d$ edges. We also discuss a heuristic argument based on the differential equations method which suggests a stronger conjecture, and discuss the issues with making this rigorous. We conclude with some open questions related to this process.
△ Less
Submitted 13 October, 2020; v1 submitted 24 April, 2018;
originally announced April 2018.
-
Retrieval of Water Vapor Column Abundance and Aerosol Properties from ChemCam Passive Sky Spectroscopy
Authors:
Timothy H. McConnochie,
Michael D. Smith,
Michael J. Wolff,
Steve Bender,
Mark Lemmon,
Roger C. Wiens,
Sylvestre Maurice,
Olivier Gasnault,
Jeremie Lasue,
Pierre-Yves Meslin,
Ari-Matti Harri,
Maria Genzer,
Osku Kemppinen,
Germán M. Martínez,
Lauren DeFlores,
Diana Blaney,
Jeffrey R. Johnson,
James F. Bell III
Abstract:
We derive water vapor column abundances and aerosol properties from Mars Science Laboratory (MSL) ChemCam passive mode observations of scattered sky light.
Each ChemCam passive sky observation acquires spectra at two different elevation angles. We fit these spectra with a discrete-ordinates multiple scattering radiative transfer model, using the correlated-k approximation for gas absorption band…
▽ More
We derive water vapor column abundances and aerosol properties from Mars Science Laboratory (MSL) ChemCam passive mode observations of scattered sky light.
Each ChemCam passive sky observation acquires spectra at two different elevation angles. We fit these spectra with a discrete-ordinates multiple scattering radiative transfer model, using the correlated-k approximation for gas absorption bands. The retrieval proceeds by first fitting the continuum of the ratio of the two elevation angles to solve for aerosol properties, and then fitting the continuum-removed ratio to solve for gas abundances. The final step of the retrieval makes use of the observed CO2 absorptions and the known CO2 abundance to correct the retrieved water vapor abundance for the effects of the vertical distribution of scattering aerosols and to derive an aerosol scale height parameter.
The ChemCam-retrieved water abundances show, with only a few exceptions, the same seasonal behavior and the same timing of seasonal minima and maxima as the TES, CRISM, and REMS-H data sets that we compare them to. However ChemCam-retrieved water abundances are generally lower than zonal and regional scale from-orbit water vapor data, while at the same time being significantly larger than pre-dawn REMS-H abundances. Pending further analysis of REMS-H volume mixing ratio uncertainties, the differences between ChemCam and REMS-H pre-dawn mixing ratios appear to be much too large to be explained by large scale circulations and thus they tend to support the hypothesis of substantial diurnal interactions of water vapor with the surface. Our preliminary aerosol results, meanwhile, show the expected seasonal pattern in dust particle size but also indicate a surprising inter-annual increase in water-ice cloud opacities.
△ Less
Submitted 29 October, 2017; v1 submitted 24 October, 2017;
originally announced October 2017.
-
Transitive Avoidance Games
Authors:
J. Robert Johnson,
Imre Leader,
Mark Walters
Abstract:
Positional games are a well-studied class of combinatorial game. In their usual form, two players take turns to play moves in a set (`the board'), and certain subsets are designated as `winning': the first person to occupy such a set wins the game. For these games, it is well known that (with correct play) the game cannot be a second-player win.
In the avoidance (or misère) form, the first perso…
▽ More
Positional games are a well-studied class of combinatorial game. In their usual form, two players take turns to play moves in a set (`the board'), and certain subsets are designated as `winning': the first person to occupy such a set wins the game. For these games, it is well known that (with correct play) the game cannot be a second-player win.
In the avoidance (or misère) form, the first person to occupy such a set \emph{loses} the game. Here it would be natural to expect that the game cannot be a first-player win, at least if the game is transitive, meaning that all points of the board look the same. Our main result is that, contrary to this expectation, there are transitive games that are first-player wins, for all board sizes which are not prime or a power of 2.
Further, we show that such games can have additional properties such as stronger transitivity conditions, fast winning times, and `small' winning sets.
△ Less
Submitted 11 July, 2016;
originally announced July 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.
-
The Physics of the B Factories
Authors:
A. J. Bevan,
B. Golob,
Th. Mannel,
S. Prell,
B. D. Yabsley,
K. Abe,
H. Aihara,
F. Anulli,
N. Arnaud,
T. Aushev,
M. Beneke,
J. Beringer,
F. Bianchi,
I. I. Bigi,
M. Bona,
N. Brambilla,
J. B rodzicka,
P. Chang,
M. J. Charles,
C. H. Cheng,
H. -Y. Cheng,
R. Chistov,
P. Colangelo,
J. P. Coleman,
A. Drutskoy
, et al. (2009 additional authors not shown)
Abstract:
This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C.
Please note that version 3 on the archive is the auxiliary…
▽ More
This work is on the Physics of the B Factories. Part A of this book contains a brief description of the SLAC and KEK B Factories as well as their detectors, BaBar and Belle, and data taking related issues. Part B discusses tools and methods used by the experiments in order to obtain results. The results themselves can be found in Part C.
Please note that version 3 on the archive is the auxiliary version of the Physics of the B Factories book. This uses the notation alpha, beta, gamma for the angles of the Unitarity Triangle. The nominal version uses the notation phi_1, phi_2 and phi_3. Please cite this work as Eur. Phys. J. C74 (2014) 3026.
△ Less
Submitted 31 October, 2015; v1 submitted 24 June, 2014;
originally announced June 2014.
-
Saturated Subgraphs of the Hypercube
Authors:
J. Robert Johnson,
Trevor Pinto
Abstract:
We say $G$ is \emph{$(Q_n,Q_m)$-saturated} if it is a maximal $Q_m$-free subgraph of the $n$-dimensional hypercube $Q_n$. A graph, $G$, is said to be $(Q_n,Q_m)$-semi-saturated if it is a subgraph of $Q_n$ and adding any edge forms a new copy of $Q_m$. The minimum number of edges a $(Q_n,Q_m)$-saturated graph (resp. $(Q_n,Q_m)$-semi-saturated graph) can have is denoted by $sat(Q_n,Q_m)$ (resp.…
▽ More
We say $G$ is \emph{$(Q_n,Q_m)$-saturated} if it is a maximal $Q_m$-free subgraph of the $n$-dimensional hypercube $Q_n$. A graph, $G$, is said to be $(Q_n,Q_m)$-semi-saturated if it is a subgraph of $Q_n$ and adding any edge forms a new copy of $Q_m$. The minimum number of edges a $(Q_n,Q_m)$-saturated graph (resp. $(Q_n,Q_m)$-semi-saturated graph) can have is denoted by $sat(Q_n,Q_m)$ (resp. $s\text{-}sat(Q_n,Q_m)$). We prove that $ \lim_{n\to\infty}\frac{sat(Q_n,Q_m)}{e(Q_n)}=0$, for fixed $m$, disproving a conjecture of Santolupo that, when $m=2$, this limit is $\frac{1}{4}$. Further, we show by a different method that $sat(Q_n, Q_2)=O(2^n)$, and that $s\text{-}sat(Q_n, Q_m)=O(2^n)$, for fixed $m$. We also prove the lower bound $s-sat(Q_n,Q_2)\geq \frac{m+1}{2}\cdot 2^n$, thus determining $sat(Q_n,Q_2)$ to within a constant factor, and discuss some further questions.
△ Less
Submitted 17 August, 2016; v1 submitted 6 June, 2014;
originally announced June 2014.
-
Matchings and Hamilton Cycles with Constraints on Sets of Edges
Authors:
J. Robert Johnson
Abstract:
The aim of this paper is to extend and generalise some work of Katona on the existence of perfect matchings or Hamilton cycles in graphs subject to certain constraints. The most general form of these constraints is that we are given a family of sets of edges of our graph and are not allowed to use all the edges of any member of this family. We consider two natural ways of expressing constraints of…
▽ More
The aim of this paper is to extend and generalise some work of Katona on the existence of perfect matchings or Hamilton cycles in graphs subject to certain constraints. The most general form of these constraints is that we are given a family of sets of edges of our graph and are not allowed to use all the edges of any member of this family. We consider two natural ways of expressing constraints of this kind using graphs and using set systems.
For the first version we ask for conditions on regular bipartite graphs $G$ and $H$ for there to exist a perfect matching in $G$, no two edges of which form a $4$-cycle with two edges of $H$.
In the second, we ask for conditions under which a Hamilton cycle in the complete graph (or equivalently a cyclic permutation) exists, with the property that it has no collection of intervals of prescribed lengths whose union is an element of a given family of sets. For instance we prove that the smallest family of $4$-sets with the property that every cyclic permutation of an $n$-set contains two adjacent pairs of points has size between $(1/9+o(1))n^2$ and $(1/2-o(1))n^2$. We also give bounds on the general version of this problem and on other natural special cases.
We finish by raising numerous open problems and directions for further study.
△ Less
Submitted 22 October, 2013;
originally announced October 2013.
-
Set Systems Containing Many Maximal Chains
Authors:
J. Robert Johnson,
Imre Leader,
Paul A. Russell
Abstract:
The purpose of this short problem paper is to raise an extremal question on set systems which seems to be natural and appealing. Our question is: which set systems of a given size maximise the number of $(n+1)$-element chains in the power set $\mathcal{P}(\{1,2,\dots,n\})$? We will show that for each fixed $α>0$ there is a family of $α2^n$ sets containing $(α+o(1))n!$ such chains, and that this is…
▽ More
The purpose of this short problem paper is to raise an extremal question on set systems which seems to be natural and appealing. Our question is: which set systems of a given size maximise the number of $(n+1)$-element chains in the power set $\mathcal{P}(\{1,2,\dots,n\})$? We will show that for each fixed $α>0$ there is a family of $α2^n$ sets containing $(α+o(1))n!$ such chains, and that this is asymptotically best possible. For smaller set systems we are unable to answer the question. We conjecture that a `tower of cubes' construction is extremal. We finish by mentioning briefly a connection to an extremal problem on posets and a variant of our question for the grid graph.
△ Less
Submitted 18 September, 2013;
originally announced September 2013.
-
Towards a Networks-of-Networks Framework for Cyber Security
Authors:
Mahantesh Halappanavar,
Sutanay Choudhury,
Emilie Hogan,
Peter Hui,
John R. Johnson,
Indrajit Ray,
Lawrence Holder
Abstract:
Networks-of-networks (NoN) is a graph-theoretic model of interdependent networks that have distinct dynamics at each network (layer). By adding special edges to represent relationships between nodes in different layers, NoN provides a unified mechanism to study interdependent systems intertwined in a complex relationship. While NoN based models have been proposed for cyber-physical systems, in thi…
▽ More
Networks-of-networks (NoN) is a graph-theoretic model of interdependent networks that have distinct dynamics at each network (layer). By adding special edges to represent relationships between nodes in different layers, NoN provides a unified mechanism to study interdependent systems intertwined in a complex relationship. While NoN based models have been proposed for cyber-physical systems, in this position paper we build towards a three-layered NoN model for an enterprise cyber system. Each layer captures a different facet of a cyber system. We present in-depth discussion for four major graph- theoretic applications to demonstrate how the three-layered NoN model can be leveraged for continuous system monitoring and mission assurance.
△ Less
Submitted 24 April, 2013;
originally announced April 2013.
-
Turán and Ramsey Properties of Subcube Intersection Graphs
Authors:
J. Robert Johnson,
Klas Markström
Abstract:
The discrete cube $\{0,1\}^d$ is a fundamental combinatorial structure. A subcube of $\{0,1\}^d$ is a subset of $2^k$ of its points formed by fixing $k$ coordinates and allowing the remaining $d-k$ to vary freely. The subcube structure of the discrete cube is surprisingly complicated and there are many open questions relating to it.
This paper is concerned with patterns of intersections among su…
▽ More
The discrete cube $\{0,1\}^d$ is a fundamental combinatorial structure. A subcube of $\{0,1\}^d$ is a subset of $2^k$ of its points formed by fixing $k$ coordinates and allowing the remaining $d-k$ to vary freely. The subcube structure of the discrete cube is surprisingly complicated and there are many open questions relating to it.
This paper is concerned with patterns of intersections among subcubes of the discrete cube. Two sample questions along these lines are as follows: given a family of subcubes in which no $r+1$ of them have non-empty intersection, how many pairwise intersections can we have? How many subcubes can we have if among them there are no $k$ which have non-empty intersection and no $l$ which are pairwise disjoint? These questions are naturally expressed as Turán and Ramsey type questions in intersection graphs of subcubes where the intersection graph of a family of sets has one vertex for each set in the family with two vertices being adjacent if the corresponding subsets intersect.
Turán and Ramsey type problems are at the heart of extremal combinatorics and so these problems are mathematically natural. However, a second motivation is a connection with some questions in social choice theory arising from a simple model of agreement in a society. Specifically, if we have to make a binary choice on each of $n$ separate issues then it is reasonable to assume that the set of choices which are acceptable to an individual will be represented by a subcube. Consequently, the pattern of intersections within a family of subcubes will have implications for the level of agreement within a society.
We pose a number of questions and conjectures relating directly to the Turán and Ramsey problems as well as raising some further directions for study of subcube intersection graphs.
△ Less
Submitted 19 October, 2011;
originally announced October 2011.
-
The minimal density of triangles in tripartite graphs
Authors:
Rahil Baber,
J. Robert Johnson,
John Talbot
Abstract:
We determine the minimal density of triangles in a tripartite graph with prescribed edge densities. This extends a previous result of Bondy, Shen, Thomassé and Thomassen characterizing those edge densities guaranteeing the existence of a triangle in a tripartite graph.
To be precise we show that a suitably weighted copy of the graph formed by deleting a certain 9-cycle from $K_{3,3,3}$ has min…
▽ More
We determine the minimal density of triangles in a tripartite graph with prescribed edge densities. This extends a previous result of Bondy, Shen, Thomassé and Thomassen characterizing those edge densities guaranteeing the existence of a triangle in a tripartite graph.
To be precise we show that a suitably weighted copy of the graph formed by deleting a certain 9-cycle from $K_{3,3,3}$ has minimal triangle density among all weighted tripartite graphs with prescribed edge densities.
△ Less
Submitted 7 October, 2009;
originally announced October 2009.
-
Vertex Turán problems in the hypercube
Authors:
J. Robert Johnson,
John Talbot
Abstract:
Let $\mathcal{Q}_n$ be the $n$-dimensional hypercube: the graph with vertex set $\{0,1\}^n$ and edges between vertices that differ in exactly one coordinate. For $1\leq d\leq n$ and $F\subseteq \{0,1\}^d$ we say that $S\subseteq \{0,1\}^n$ is \emph{$F$-free} if every embedding $i:\{0,1\}^d\to \{0,1\}^n$ satisfies $i(F)\not\subseteq S$. We consider the question of how large…
▽ More
Let $\mathcal{Q}_n$ be the $n$-dimensional hypercube: the graph with vertex set $\{0,1\}^n$ and edges between vertices that differ in exactly one coordinate. For $1\leq d\leq n$ and $F\subseteq \{0,1\}^d$ we say that $S\subseteq \{0,1\}^n$ is \emph{$F$-free} if every embedding $i:\{0,1\}^d\to \{0,1\}^n$ satisfies $i(F)\not\subseteq S$. We consider the question of how large $S\subseteq \{0,1\}^n$ can be if it is $F$-free. In particular we generalise the main prior result in this area, for $F=\{0,1\}^2$, due to E.A. Kostochka and prove a local stability result for the structure of near-extremal sets.
We also show that the density required to guarantee an embedded copy of at least one of a family of forbidden configurations may be significantly lower than that required to ensure an embedded copy of any individual member of the family.
Finally we show that any subset of the $n$-dimensional hypercube of positive density will contain exponentially many points from some embedded $d$-dimensional subcube if $n$ is sufficiently large.
△ Less
Submitted 16 July, 2009; v1 submitted 9 April, 2009;
originally announced April 2009.
-
Universal cycles for permutations
Authors:
J. Robert Johnson
Abstract:
A universal cycle for permutations is a word of length n! such that each of the n! possible relative orders of n distinct integers occurs as a cyclic interval of the word. We show how to construct such a universal cycle in which only n+1 distinct integers are used. This is best possible and proves a conjecture of Chung, Diaconis and Graham.
A universal cycle for permutations is a word of length n! such that each of the n! possible relative orders of n distinct integers occurs as a cyclic interval of the word. We show how to construct such a universal cycle in which only n+1 distinct integers are used. This is best possible and proves a conjecture of Chung, Diaconis and Graham.
△ Less
Submitted 30 October, 2007;
originally announced October 2007.