-
Generalized Ramsey numbers of cycles, paths, and hypergraphs
Authors:
Deepak Bal,
Patrick Bennett,
Emily Heath,
Shira Zerbib
Abstract:
Given a $k$-uniform hypergraph $G$ and a set of $k$-uniform hypergraphs $\mathcal{H}$, the generalized Ramsey number $f(G,\mathcal{H},q)$ is the minimum number of colors needed to edge-color $G$ so that every copy of every hypergraph $H\in \mathcal{H}$ in $G$ receives at least $q$ different colors. In this note we obtain bounds, some asymptotically sharp, on several generalized Ramsey numbers, whe…
▽ More
Given a $k$-uniform hypergraph $G$ and a set of $k$-uniform hypergraphs $\mathcal{H}$, the generalized Ramsey number $f(G,\mathcal{H},q)$ is the minimum number of colors needed to edge-color $G$ so that every copy of every hypergraph $H\in \mathcal{H}$ in $G$ receives at least $q$ different colors. In this note we obtain bounds, some asymptotically sharp, on several generalized Ramsey numbers, when $G=K_n$ or $G=K_{n,n}$ and $\mathcal{H}$ is a set of cycles or paths, and when $G=K_n^k$ and $\mathcal{H}$ contains a clique on $k+2$ vertices or a tight cycle.
△ Less
Submitted 4 June, 2024; v1 submitted 24 May, 2024;
originally announced May 2024.
-
Dynamic Interface Printing
Authors:
Callum Vidler,
Michael Halwes,
Kirill Kolesnik,
Philipp Segeritz,
Matthew Mail,
Anders J. Barlow,
Emmanuelle M. Koehl,
Anand Ramakrishnan,
Daniel J. Scott,
Daniel E. Heath,
Kenneth B. Crozier,
David J. Collins
Abstract:
Additive manufacturing is an expanding multidisciplinary field encompassing applications including medical devices, aerospace components, microfabrication strategies, and artificial organs. Among additive manufacturing approaches, light-based printing technologies, including two-photon polymerization, projection micro stereolithography, and volumetric printing, have garnered significant attention…
▽ More
Additive manufacturing is an expanding multidisciplinary field encompassing applications including medical devices, aerospace components, microfabrication strategies, and artificial organs. Among additive manufacturing approaches, light-based printing technologies, including two-photon polymerization, projection micro stereolithography, and volumetric printing, have garnered significant attention due to their speed, resolution and/or potential applications for biofabrication. In this study, we introduce dynamic interface printing (DIP), a new 3D printing approach that leverages an acoustically modulated, constrained air-liquid boundary to rapidly generate cm-scale three-dimensional structures within tens of seconds. Distinct from volumetric approaches, this process eliminates the need for intricate feedback systems, specialized chemistry, or complex optics while maintaining rapid printing speeds. We demonstrate the versatility of this technique across a broad array of materials and intricate geometries, including those that would be impossible to print via conventional layer-by-layer methods. In doing so, we demonstrate the rapid fabrication of complex structures in-situ, overprinting, structural parallelisation, and biofabrication utility. Moreover, we showcase that the formation of surface waves at this boundary enables enhanced mass transport, material flexibility, and permits three-dimensional particle patterning. We therefore anticipate that this approach will be invaluable for applications where high resolution, scalable throughput, and biocompatible printing is required.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
The forb-flex method for odd coloring and proper conflict-free coloring of planar graphs
Authors:
James Anderson,
Herman Chau,
Eun-Kyung Cho,
Nicholas Crawford,
Stephen G. Hartke,
Emily Heath,
Owen Henderschedt,
Hyemin Kwon,
Zhiyuan Zhang
Abstract:
We introduce a new tool useful for greedy coloring, which we call the forb-flex method, and apply it to odd coloring and proper conflict-free coloring of planar graphs. The odd chromatic number, denoted $χ_{\mathsf{o}}(G)$, is the smallest number of colors needed to properly color $G$ such that every non-isolated vertex of $G$ has a color appearing an odd number of times in its neighborhood. The p…
▽ More
We introduce a new tool useful for greedy coloring, which we call the forb-flex method, and apply it to odd coloring and proper conflict-free coloring of planar graphs. The odd chromatic number, denoted $χ_{\mathsf{o}}(G)$, is the smallest number of colors needed to properly color $G$ such that every non-isolated vertex of $G$ has a color appearing an odd number of times in its neighborhood. The proper conflict-free chromatic number, denoted $χ_{\mathsf{PCF}}(G)$, is the smallest number of colors needed to properly color $G$ such that every non-isolated vertex of $G$ has a color appearing uniquely in its neighborhood. Our new tool works by carefully counting the structures in the neighborhood of a vertex and determining if a neighbor of a vertex can be recolored at the end of a greedy coloring process to avoid conflicts. Combining this with the discharging method allows us to prove $χ_{\mathsf{PCF}}(G) \leq 4$ for planar graphs of girth at least 11, and $χ_{\mathsf{o}}(G) \leq 4$ for planar graphs of girth at least 10. These results improve upon the recent works of Cho, Choi, Kwon, and Park.
△ Less
Submitted 25 January, 2024;
originally announced January 2024.
-
Asymmetric Ramsey properties of randomly perturbed graphs
Authors:
Emily Heath,
Daniel McGinnis
Abstract:
In this note, we investigate for various pairs of graphs $(H,G)$ the question of how many random edges must be added to a dense graph to guarantee that any red-blue coloring of the edges contains a red copy of $H$ or a blue copy of $G$. We determine this perturbed Ramsey threshold for many new pairs of graphs and various ranges of densities, obtaining several generalizations of results obtained by…
▽ More
In this note, we investigate for various pairs of graphs $(H,G)$ the question of how many random edges must be added to a dense graph to guarantee that any red-blue coloring of the edges contains a red copy of $H$ or a blue copy of $G$. We determine this perturbed Ramsey threshold for many new pairs of graphs and various ranges of densities, obtaining several generalizations of results obtained by Das and Treglown. In particular, we resolve the remaining cases toward determining the perturbed Ramsey threshold for pairs $(K_t,K_s)$ where $t\geq s\geq 5$.
△ Less
Submitted 1 November, 2023;
originally announced November 2023.
-
New bounds on the generalized Ramsey number $f(n,5,8)$
Authors:
Enrique Gomez-Leos,
Emily Heath,
Alex Parker,
Coy Schwieder,
Shira Zerbib
Abstract:
Let $f(n,p,q)$ denote the minimum number of colors needed to color the edges of $K_n$ so that every copy of $K_p$ receives at least $q$ distinct colors. In this note, we show $\frac{6}{7}(n-1) \leq f(n,5,8) \leq n + o(n)$. The upper bound is proven using the "conflict-free hypergraph matchings method" which was recently used by Mubayi and Joos to prove $f(n,4,5) = \frac{5}{6}n + o(n)$.
Let $f(n,p,q)$ denote the minimum number of colors needed to color the edges of $K_n$ so that every copy of $K_p$ receives at least $q$ distinct colors. In this note, we show $\frac{6}{7}(n-1) \leq f(n,5,8) \leq n + o(n)$. The upper bound is proven using the "conflict-free hypergraph matchings method" which was recently used by Mubayi and Joos to prove $f(n,4,5) = \frac{5}{6}n + o(n)$.
△ Less
Submitted 19 March, 2024; v1 submitted 30 August, 2023;
originally announced August 2023.
-
Edge-coloring a graph $G$ so that every copy of a graph $H$ has an odd color class
Authors:
Patrick Bennett,
Emily Heath,
Shira Zerbib
Abstract:
Recently, Alon introduced the notion of an $H$-code for a graph $H$: a collection of graphs on vertex set $[n]$ is an $H$-code if it contains no two members whose symmetric difference is isomorphic to $H$. Let $D_{H}(n)$ denote the maximum possible cardinality of an $H$-code, and let $d_{H}(n)=D_{H}(n)/2^{n \choose 2}$. Alon observed that a lower bound on $d_{H}(n)$ can be obtained by attaining an…
▽ More
Recently, Alon introduced the notion of an $H$-code for a graph $H$: a collection of graphs on vertex set $[n]$ is an $H$-code if it contains no two members whose symmetric difference is isomorphic to $H$. Let $D_{H}(n)$ denote the maximum possible cardinality of an $H$-code, and let $d_{H}(n)=D_{H}(n)/2^{n \choose 2}$. Alon observed that a lower bound on $d_{H}(n)$ can be obtained by attaining an upper bound on the number of colors needed to edge-color $K_n$ so that every copy of $H$ has an odd color class.
Motivated by this observation, we define $g(G,H)$ to be the minimum number of colors needed to edge-color a graph $G$ so that every copy of $H$ has an odd color class. We prove $g(K_n,K_5) \le n^{o(1)}$ and $g(K_{n,n}, C_4)= n/2+o(n)$. The first result shows $d_{K_5}(n) \ge \frac{1}{n^{o(1)}}$ and was obtained independently in arXiv:2306.14682.
△ Less
Submitted 20 August, 2023; v1 submitted 3 July, 2023;
originally announced July 2023.
-
The maximum number of odd cycles in a planar graph
Authors:
Emily Heath,
Ryan R. Martin,
Chris Wells
Abstract:
How many copies of a fixed odd cycle, $C_{2m+1}$, can a planar graph contain? We answer this question asymptotically for $m\in\{2,3,4\}$ and prove a bound which is tight up to a factor of $3/2$ for all other values of $m$. This extends the prior results of Cox--Martin and Lv et al. on the analogous question for even cycles. Our bounds result from a reduction to the following maximum likelihood que…
▽ More
How many copies of a fixed odd cycle, $C_{2m+1}$, can a planar graph contain? We answer this question asymptotically for $m\in\{2,3,4\}$ and prove a bound which is tight up to a factor of $3/2$ for all other values of $m$. This extends the prior results of Cox--Martin and Lv et al. on the analogous question for even cycles. Our bounds result from a reduction to the following maximum likelihood question: which probability mass $μ$ on the edges of some clique maximizes the probability that $m$ edges sampled independently from $μ$ form either a cycle or a path?
△ Less
Submitted 30 June, 2023;
originally announced July 2023.
-
Validation of 4D Monte Carlo dose calculations using a programmable deformable lung phantom
Authors:
Sara Gholampourkashi,
Joanna E. Cygler,
Bernie Lavigne,
Emily Heath
Abstract:
Purpose: To validate the accuracy of 4D Monte Carlo (4DMC) simulations to calculate dose deliveries to a deforming anatomy in the presence of realistic respiratory motion traces. A previously developed deformable lung phantom comprising an elastic tumor was modified to enable programming of arbitrary motion profiles. 4D simulations of the dose delivered to the phantom were compared with the measur…
▽ More
Purpose: To validate the accuracy of 4D Monte Carlo (4DMC) simulations to calculate dose deliveries to a deforming anatomy in the presence of realistic respiratory motion traces. A previously developed deformable lung phantom comprising an elastic tumor was modified to enable programming of arbitrary motion profiles. 4D simulations of the dose delivered to the phantom were compared with the measurements. Methods: The deformable lung phantom moving with irregular breathing patterns was irradiated using static and VMAT beam deliveries. Using the RADPOS 4D dosimetry system, point doses were measured inside and outside the tumor. Dose profiles were acquired using films along the motion path of the tumor (S-I). In addition to dose measurements, RADPOS was used to record the motion of the tumor during dose deliveries. Dose measurements were then compared against 4DMC simulations with EGSnrc/4DdefDOSXYZnrc using the recorded tumor motion. Results: The agreements between dose profiles from measurements and simulations were determined to be within 2%/2 mm. Point dose agreements were within 2σ of experimental and/or positional/dose reading uncertainties. 4DMC simulations were shown to accurately predict the sensitivity of delivered dose to the starting phase of breathing motions. We have demonstrated that our 4DMC method, combined with RADPOS, can accurately simulate realistic dose deliveries to a deforming anatomy moving with realistic breathing traces. This 4DMC tool has the potential to be used as a quality assurance tool to verify treatments involving respiratory motion. Adaptive treatment delivery is another area that may benefit from the potential of this 4DMC tool.
△ Less
Submitted 3 May, 2023;
originally announced May 2023.
-
Embedded graph 3-coloring and flows
Authors:
Caroline Bang,
Zdeněk Dvořák,
Emily Heath,
Bernard Lidický
Abstract:
A graph drawn in a surface is a near-quadrangulation if the sum of the lengths of the faces different from 4-faces is bounded by a fixed constant. We leverage duality between colorings and flows to design an efficient algorithm for 3-precoloring-extension in near-quadrangulations of orientable surfaces. Furthermore, we use this duality to strengthen previously known sufficient conditions for 3-col…
▽ More
A graph drawn in a surface is a near-quadrangulation if the sum of the lengths of the faces different from 4-faces is bounded by a fixed constant. We leverage duality between colorings and flows to design an efficient algorithm for 3-precoloring-extension in near-quadrangulations of orientable surfaces. Furthermore, we use this duality to strengthen previously known sufficient conditions for 3-colorability of triangle-free graphs drawn in orientable surfaces.
△ Less
Submitted 9 March, 2023;
originally announced March 2023.
-
Analytical Solution and Parameter Estimation for Heat of Wetting and Vapor Adsorption During Spontaneous Imbibition in Tuff
Authors:
Forest T. Good,
Kristopher L. Kuhlman,
Tara C. LaForce,
Matthew J. Paul,
Jason E. Heath
Abstract:
An analytical expression is derived for the thermal response observed during spontaneous imbibition of water into a dry core of zeolitic tuff. Sample tortuosity, thermal conductivity, and thermal source strength are estimated from fitting an analytical solution to temperature observations during a single laboratory test. The closed-form analytical solution is derived using Green's functions for he…
▽ More
An analytical expression is derived for the thermal response observed during spontaneous imbibition of water into a dry core of zeolitic tuff. Sample tortuosity, thermal conductivity, and thermal source strength are estimated from fitting an analytical solution to temperature observations during a single laboratory test. The closed-form analytical solution is derived using Green's functions for heat conduction in the limit of "slow" water movement; that is, when advection of thermal energy with the wetting front is negligible. The solution has four free fitting parameters and is efficient for parameter estimation. Laboratory imbibition data used to constrain the model include a time series of the mass of water imbibed, visual location of the wetting front through time, and temperature time series at six locations. The thermal front reached the end of the core hours before the visible wetting front. Thus, the predominant form of heating during imbibition in this zeolitic tuff is due to vapor adsorption in dry zeolitic rock ahead of the wetting front. The separation of the wetting front and thermal front in this zeolitic tuff is significant, compared to wetting front behavior of most materials reported in the literature. This work is the first interpretation of a thermal imbibition response to estimate transport (tortuosity) and thermal properties (including thermal conductivity) from a single laboratory test.
△ Less
Submitted 7 January, 2023;
originally announced February 2023.
-
Online Ramsey numbers of ordered paths and cycles
Authors:
Felix Christian Clemen,
Emily Heath,
Mikhail Lavrov
Abstract:
An ordered graph is a graph with a linear ordering on its vertices. The online Ramsey game for ordered graphs $G$ and $H$ is played on an infinite sequence of vertices; on each turn, Builder draws an edge between two vertices, and Painter colors it red or blue. Builder tries to create a red $G$ or a blue $H$ as quickly as possible, while Painter wants the opposite. The online ordered Ramsey number…
▽ More
An ordered graph is a graph with a linear ordering on its vertices. The online Ramsey game for ordered graphs $G$ and $H$ is played on an infinite sequence of vertices; on each turn, Builder draws an edge between two vertices, and Painter colors it red or blue. Builder tries to create a red $G$ or a blue $H$ as quickly as possible, while Painter wants the opposite. The online ordered Ramsey number $r_o(G,H)$ is the number of turns the game lasts with optimal play.
In this paper, we consider the behavior of $r_o(G,P_n)$ for fixed $G$, where $P_n$ is the monotone ordered path. We prove an $O(n \log_2n)$ bound on $r_o(G,P_n)$ for all $G$ and an $O(n)$ bound when $G$ is $3$-ichromatic; we partially classify graphs $G$ with $r_o(G,P_n) = n + O(1)$. Many of these results extend to $r_o(G,C_n)$, where $C_n$ is an ordered cycle obtained from $P_n$ by adding one edge.
△ Less
Submitted 28 March, 2024; v1 submitted 11 October, 2022;
originally announced October 2022.
-
Lower bounds on the Erdős-Gyárfás problem via color energy graphs
Authors:
József Balogh,
Sean English,
Emily Heath,
Robert A. Krueger
Abstract:
Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erdős and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower…
▽ More
Given positive integers $p$ and $q$, a $(p,q)$-coloring of the complete graph $K_n$ is an edge-coloring in which every $p$-clique receives at least $q$ colors. Erdős and Shelah posed the question of determining $f(n,p,q)$, the minimum number of colors needed for a $(p,q)$-coloring of $K_n$. In this paper, we expand on the color energy technique introduced by Pohoata and Sheffer to prove new lower bounds on this function, making explicit the connection between bounds on extremal numbers and $f(n,p,q)$. Using results on the extremal numbers of subdivided complete graphs, theta graphs, and subdivided complete bipartite graphs, we generalize results of Fish, Pohoata, and Sheffer, giving the first nontrivial lower bounds on $f(n,p,q)$ for some pairs $(p,q)$ and improving previous lower bounds for other pairs.
△ Less
Submitted 24 May, 2022; v1 submitted 22 February, 2021;
originally announced February 2021.
-
Generalized rainbow Turán numbers of odd cycles
Authors:
József Balogh,
Michelle Delcourt,
Emily Heath,
Lina Li
Abstract:
Given graphs $F$ and $H$, the generalized rainbow Turán number $\text{ex}(n,F,\text{rainbow-}H)$ is the maximum number of copies of $F$ in an $n$-vertex graph with a proper edge-coloring that contains no rainbow copy of $H$. B. Janzer determined the order of magnitude of $\text{ex}(n,C_s,\text{rainbow-}C_t)$ for all $s\geq 4$ and $t\geq 3$, and a recent result of O. Janzer implied that…
▽ More
Given graphs $F$ and $H$, the generalized rainbow Turán number $\text{ex}(n,F,\text{rainbow-}H)$ is the maximum number of copies of $F$ in an $n$-vertex graph with a proper edge-coloring that contains no rainbow copy of $H$. B. Janzer determined the order of magnitude of $\text{ex}(n,C_s,\text{rainbow-}C_t)$ for all $s\geq 4$ and $t\geq 3$, and a recent result of O. Janzer implied that $\text{ex}(n,C_3,\text{rainbow-}C_{2k})=O(n^{1+1/k})$. We prove the corresponding upper bound for the remaining cases, showing that $\text{ex}(n,C_3,\text{rainbow-}C_{2k+1})=O(n^{1+1/k})$. This matches the known lower bound for $k$ even and is conjectured to be tight for $k$ odd.
△ Less
Submitted 21 September, 2021; v1 submitted 27 October, 2020;
originally announced October 2020.
-
Hypergraph Models of Biological Networks to Identify Genes Critical to Pathogenic Viral Response
Authors:
Song Feng,
Emily Heath,
Brett Jefferson,
Cliff Joslyn,
Henry Kvinge,
Hugh D. Mitchell,
Brenda Praggastis,
Amie J. Eisfeld,
Amy C. Sims,
Larissa B. Thackray,
Shufang Fan,
Kevin B. Walters,
Peter J. Halfmann,
Danielle Westhoff-Smith,
Qing Tan,
Vineet D. Menachery,
Timothy P. Sheahan,
Adam S. Cockrell,
Jacob F. Kocher,
Kelly G. Stratton,
Natalie C. Heller,
Lisa M. Bramer,
Michael S. Diamond,
Ralph S. Baric,
Katrina M. Waters
, et al. (3 additional authors not shown)
Abstract:
Background: Representing biological networks as graphs is a powerful approach to reveal underlying patterns, signatures, and critical components from high-throughput biomolecular data. However, graphs do not natively capture the multi-way relationships present among genes and proteins in biological systems. Hypergraphs are generalizations of graphs that naturally model multi-way relationships and…
▽ More
Background: Representing biological networks as graphs is a powerful approach to reveal underlying patterns, signatures, and critical components from high-throughput biomolecular data. However, graphs do not natively capture the multi-way relationships present among genes and proteins in biological systems. Hypergraphs are generalizations of graphs that naturally model multi-way relationships and have shown promise in modeling systems such as protein complexes and metabolic reactions. In this paper we seek to understand how hypergraphs can more faithfully identify, and potentially predict, important genes based on complex relationships inferred from genomic expression data sets.
Results: We compiled a novel data set of transcriptional host response to pathogenic viral infections and formulated relationships between genes as a hypergraph where hyperedges represent significantly perturbed genes, and vertices represent individual biological samples with specific experimental conditions. We find that hypergraph betweenness centrality is a superior method for identification of genes important to viral response when compared with graph centrality.
Conclusions: Our results demonstrate the utility of using hypergraphs to represent complex biological systems and highlight central important responses in common to a variety of highly pathogenic viruses.
△ Less
Submitted 6 October, 2020;
originally announced October 2020.
-
New Upper Bounds for the Erdős-Gyárfás Problem on Generalized Ramsey Numbers
Authors:
Alex Cameron,
Emily Heath
Abstract:
A $(p,q)$-coloring of a graph $G$ is an edge-coloring of $G$ which assigns at least $q$ colors to each $p$-clique. The problem of determining the minimum number of colors, $f(n,p,q)$, needed to give a $(p,q)$-coloring of the complete graph $K_n$ is a natural generalization of the well-known problem of identifying the diagonal Ramsey numbers $r_k(p)$. The best-known general upper bound on…
▽ More
A $(p,q)$-coloring of a graph $G$ is an edge-coloring of $G$ which assigns at least $q$ colors to each $p$-clique. The problem of determining the minimum number of colors, $f(n,p,q)$, needed to give a $(p,q)$-coloring of the complete graph $K_n$ is a natural generalization of the well-known problem of identifying the diagonal Ramsey numbers $r_k(p)$. The best-known general upper bound on $f(n,p,q)$ was given by Erdős and Gyárfás in 1997 using a probabilistic argument. Since then, improved bounds in the cases where $p=q$ have been obtained only for $p\in\{4,5\}$, each of which was proved by giving a deterministic construction which combined a $(p,p-1)$-coloring using few colors with an algebraic coloring.
In this paper, we provide a framework for proving new upper bounds on $f(n,p,p)$ in the style of these earlier constructions. We characterize all colorings of $p$-cliques with $p-1$ colors which can appear in our modified version of the $(p,p-1)$-coloring of Conlon, Fox, Lee, and Sudakov. This allows us to greatly reduce the amount of case-checking required in identifying $(p,p)$-colorings, which would otherwise make this problem intractable for large values of $p$. In addition, we generalize our algebraic coloring from the $p=5$ setting and use this to give improved upper bounds on $f(n,6,6)$ and $f(n,8,8)$.
△ Less
Submitted 19 June, 2020; v1 submitted 16 June, 2020;
originally announced June 2020.
-
A Strengthening of the Erdős-Szekeres Theorem
Authors:
József Balogh,
Felix Christian Clemen,
Emily Heath,
Mikhail Lavrov
Abstract:
The Erdős-Szekeres Theorem stated in terms of graphs says that any red-blue coloring of the edges of the ordered complete graph $K_{rs+1}$ contains a red copy of the monotone increasing path with $r$ edges or a blue copy of the monotone increasing path with $s$ edges. Although $rs + 1$ is the minimum number of vertices needed for this result, not all edges of $K_{rs+1}$ are necessary. We character…
▽ More
The Erdős-Szekeres Theorem stated in terms of graphs says that any red-blue coloring of the edges of the ordered complete graph $K_{rs+1}$ contains a red copy of the monotone increasing path with $r$ edges or a blue copy of the monotone increasing path with $s$ edges. Although $rs + 1$ is the minimum number of vertices needed for this result, not all edges of $K_{rs+1}$ are necessary. We characterize the subgraphs of $K_{rs+1}$ with this coloring property as follows: they are exactly the subgraphs that contain all the edges of a graph we call the circus tent graph $CT(r,s)$.
Additionally, we use similar proof techniques to improve upon some of the bounds on the online ordered size Ramsey number of a path given by Pérez-Giménez, Pralat, and West.
△ Less
Submitted 21 September, 2021; v1 submitted 5 June, 2020;
originally announced June 2020.
-
Ordered Size Ramsey Number of Paths
Authors:
József Balogh,
Felix Christian Clemen,
Emily Heath,
Mikhail Lavrov
Abstract:
An ordered graph is a simple graph with an ordering on its vertices. Define the ordered path $P_n$ to be the monotone increasing path with $n$ edges. The ordered size Ramsey number $\tilde{r}(P_r,P_s)$ is the minimum number $m$ for which there exists an ordered graph $H$ with $m$ edges such that every two-coloring of the edges of $H$ contains a red copy of $P_r$ or a blue copy of $P_s$. For…
▽ More
An ordered graph is a simple graph with an ordering on its vertices. Define the ordered path $P_n$ to be the monotone increasing path with $n$ edges. The ordered size Ramsey number $\tilde{r}(P_r,P_s)$ is the minimum number $m$ for which there exists an ordered graph $H$ with $m$ edges such that every two-coloring of the edges of $H$ contains a red copy of $P_r$ or a blue copy of $P_s$. For $2\leq r\leq s$, we show $\frac{1}{8}r^2s\leq \tilde{r}(P_r,P_s)\leq Cr^2s(\log s)^3$, where $C>0$ is an absolute constant. This problem is motivated by the recent results of Bucić-Letzter-Sudakov and Letzter-Sudakov for oriented graphs.
△ Less
Submitted 17 May, 2019; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Modeling Dynamic Helium Release as a Tracer of Rock Deformation
Authors:
W. Payton Gardner,
Stephen J. Bauer,
Kristopher L. Kuhlman,
Jason E. Heath
Abstract:
We use helium released during mechanical deformation of shales as a signal to explore the effects of deformation and failure on material transport properties. A dynamic dual-permeability model with evolving pore and fracture networks is used to simulate gases released from shale during deformation and failure. Changes in material properties required to reproduce experimentally observed gas signals…
▽ More
We use helium released during mechanical deformation of shales as a signal to explore the effects of deformation and failure on material transport properties. A dynamic dual-permeability model with evolving pore and fracture networks is used to simulate gases released from shale during deformation and failure. Changes in material properties required to reproduce experimentally observed gas signals are explored. We model two different experiments of $^4$He flow rate measured from shale undergoing mechanical deformation, a core parallel to bedding and a core perpendicular to bedding. We find that the helium signal is sensitive to fracture development and evolution as well as changes in the matrix transport properties. We constrain the timing and effective fracture aperture, as well as the increase in matrix porosity and permeability. Increases in matrix permeability are required to explain gas flow prior to macroscopic failure, and the short-term gas flow post failure. Increased matrix porosity, is required to match the long-term, post-failure gas flow. Our model provides the first quantitative interpretation of helium release as a result of mechanical deformation. The sensitivity of this model to changes in the fracture network, as well as to matrix properties during deformation, indicates that helium release can be used as a quantitative tool to evaluate the state of stress and strain in earth materials.
△ Less
Submitted 11 October, 2017;
originally announced October 2017.
-
A $(5,5)$-coloring of $K_n$ with few colors
Authors:
Alex Cameron,
Emily Heath
Abstract:
For fixed integers $p$ and $q$, let $f(n,p,q)$ denote the minimum number of colors needed to color all of the edges of the complete graph $K_n$ such that no clique of $p$ vertices spans fewer than $q$ distinct colors. Any edge-coloring with this property is known as a $(p,q)$-coloring. We construct an explicit $(5,5)$-coloring that shows that $f(n,5,5) \leq n^{1/3 + o(1)}$ as…
▽ More
For fixed integers $p$ and $q$, let $f(n,p,q)$ denote the minimum number of colors needed to color all of the edges of the complete graph $K_n$ such that no clique of $p$ vertices spans fewer than $q$ distinct colors. Any edge-coloring with this property is known as a $(p,q)$-coloring. We construct an explicit $(5,5)$-coloring that shows that $f(n,5,5) \leq n^{1/3 + o(1)}$ as $n \rightarrow \infty$. This improves upon the best known probabilistic upper bound of $O\left(n^{1/2}\right)$ given by Erdős and Gyárfás, and comes close to matching the best known lower bound $Ω\left(n^{1/3}\right)$.
△ Less
Submitted 20 February, 2017;
originally announced February 2017.
-
Multiporosity Flow in Fractured Low-Permeability Rocks
Authors:
Kristopher L. Kuhlman,
Bwalya Malama,
Jason E. Heath
Abstract:
A multiporosity extension of classical double and triple porosity fractured rock flow models for slightly compressible fluids is presented. The multiporosity model is an adaptation of the multirate solute transport model of Haggerty and Gorelick (1995) to viscous flow in fractured rock reservoirs. It is a generalization of both pseudo-steady-state and transient interporosity flow double porosity m…
▽ More
A multiporosity extension of classical double and triple porosity fractured rock flow models for slightly compressible fluids is presented. The multiporosity model is an adaptation of the multirate solute transport model of Haggerty and Gorelick (1995) to viscous flow in fractured rock reservoirs. It is a generalization of both pseudo-steady-state and transient interporosity flow double porosity models. The model includes a fracture continuum and an overlap** distribution of multiple rock matrix continua, whose fracture-matrix exchange coefficients are specified through a discrete probability mass function. Semi-analytical cylindrically symmetric solutions to the multiporosity mathematical model are developed using the Laplace transform to illustrate its behavior. The multiporosity model presented here is conceptually simple, yet flexible enough to simulate common conceptualizations of double and triple porosity flow. This combination of generality and simplicity makes the multiporosity model a good choice for flow in low-permeability fractured rocks.
△ Less
Submitted 18 January, 2015;
originally announced February 2015.
-
A discontinuous Galerkin method for the Vlasov-Poisson system
Authors:
R. E. Heath,
I. M. Gamba,
P. J. Morrison,
C. Michler
Abstract:
A discontinuous Galerkin method for approximating the Vlasov-Poisson system of equations describing the time evolution of a collisionless plasma is proposed. The method is mass conservative and, in the case that piecewise constant functions are used as a basis, the method preserves the positivity of the electron distribution function and weakly enforces continuity of the electric field through mes…
▽ More
A discontinuous Galerkin method for approximating the Vlasov-Poisson system of equations describing the time evolution of a collisionless plasma is proposed. The method is mass conservative and, in the case that piecewise constant functions are used as a basis, the method preserves the positivity of the electron distribution function and weakly enforces continuity of the electric field through mesh interfaces and boundary conditions. The performance of the method is investigated by computing several examples and error estimates associated system's approximation are stated. In particular, computed results are benchmarked against established theoretical results for linear advection and the phenomenon of linear Landau dam** for both the Maxwell and Lorentz distributions. Moreover, two nonlinear problems are considered: nonlinear Landau dam** and a version of the two-stream instability are computed. For the latter, fine scale details of the resulting long-time BGK-like state are presented. Conservation laws are examined and various comparisons to theory are made. The results obtained demonstrate that the discontinuous Galerkin method is a viable option for integrating the Vlasov-Poisson system.
△ Less
Submitted 1 October, 2011; v1 submitted 15 September, 2010;
originally announced September 2010.