-
Enabling Clean Energy Resilience with Machine Learning-Empowered Underground Hydrogen Storage
Authors:
Alvaro Carbonero,
Shaowen Mao,
Mohamed Mehana
Abstract:
To address the urgent challenge of climate change, there is a critical need to transition away from fossil fuels towards sustainable energy systems, with renewable energy sources playing a pivotal role. However, the inherent variability of renewable energy, without effective storage solutions, often leads to imbalances between energy supply and demand. Underground Hydrogen Storage (UHS) emerges as…
▽ More
To address the urgent challenge of climate change, there is a critical need to transition away from fossil fuels towards sustainable energy systems, with renewable energy sources playing a pivotal role. However, the inherent variability of renewable energy, without effective storage solutions, often leads to imbalances between energy supply and demand. Underground Hydrogen Storage (UHS) emerges as a promising long-term storage solution to bridge this gap, yet its widespread implementation is impeded by the high computational costs associated with high fidelity UHS simulations. This paper introduces UHS from a data-driven perspective and outlines a roadmap for integrating machine learning into UHS, thereby facilitating the large-scale deployment of UHS.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
On the importance of catalyst-adsorbate 3D interactions for relaxed energy predictions
Authors:
Alvaro Carbonero,
Alexandre Duval,
Victor Schmidt,
Santiago Miret,
Alex Hernandez-Garcia,
Yoshua Bengio,
David Rolnick
Abstract:
The use of machine learning for material property prediction and discovery has traditionally centered on graph neural networks that incorporate the geometric configuration of all atoms. However, in practice not all this information may be readily available, e.g.~when evaluating the potentially unknown binding of adsorbates to catalyst. In this paper, we investigate whether it is possible to predic…
▽ More
The use of machine learning for material property prediction and discovery has traditionally centered on graph neural networks that incorporate the geometric configuration of all atoms. However, in practice not all this information may be readily available, e.g.~when evaluating the potentially unknown binding of adsorbates to catalyst. In this paper, we investigate whether it is possible to predict a system's relaxed energy in the OC20 dataset while ignoring the relative position of the adsorbate with respect to the electro-catalyst. We consider SchNet, DimeNet++ and FAENet as base architectures and measure the impact of four modifications on model performance: removing edges in the input graph, pooling independent representations, not sharing the backbone weights and using an attention mechanism to propagate non-geometric relative information. We find that while removing binding site information impairs accuracy as expected, modified models are able to predict relaxed energies with remarkably decent MAE. Our work suggests future research directions in accelerated materials discovery where information on reactant configurations can be reduced or altogether omitted.
△ Less
Submitted 10 October, 2023;
originally announced October 2023.
-
On heroes in digraphs with forbidden induced forests
Authors:
Alvaro Carbonero,
Hidde Koerts,
Benjamin Moore,
Sophie Spirkl
Abstract:
We continue a line of research which studies which hereditary families of digraphs have bounded dichromatic number. For a class of digraphs $\mathcal{C}$, a hero in $\mathcal{C}$ is any digraph $H$ such that $H$-free digraphs in $\mathcal{C}$ have bounded dichromatic number. We show that if $F$ is an oriented star of degree at least five, the only heroes for the class of $F$-free digraphs are tran…
▽ More
We continue a line of research which studies which hereditary families of digraphs have bounded dichromatic number. For a class of digraphs $\mathcal{C}$, a hero in $\mathcal{C}$ is any digraph $H$ such that $H$-free digraphs in $\mathcal{C}$ have bounded dichromatic number. We show that if $F$ is an oriented star of degree at least five, the only heroes for the class of $F$-free digraphs are transitive tournaments. For oriented stars $F$ of degree exactly four, we show the only heroes in $F$-free digraphs are transitive tournaments, or possibly special joins of transitive tournaments. Aboulker et al. characterized the set of heroes of $\{H, K_{1} + \vec{P_{2}}\}$-free digraphs almost completely, and we show the same characterization for the class of $\{H, rK_{1} + \vec{P_{3}}\}$-free digraphs. Lastly, we show that if we forbid two "valid" orientations of brooms, then every transitive tournament is a hero for this class of digraphs.
△ Less
Submitted 7 June, 2023;
originally announced June 2023.
-
Digraphs with all induced directed cycles of the same length are not $\vecχ$-bounded
Authors:
Alvaro Carbonero,
Patrick Hompe,
Benjamin Moore,
Sophie Spirkl
Abstract:
For $t \ge 2$, let us call a digraph $D$ \emph{t-chordal} if all induced directed cycles in $D$ have length equal to $t$. In a previous paper, we asked for which $t$ it is true that $t$-chordal graphs with bounded clique number have bounded dichromatic number. Recently, Aboulker, Bousquet, and de Verclos answered this in the negative for $t=3$, that is, they gave a construction of $3$-chordal digr…
▽ More
For $t \ge 2$, let us call a digraph $D$ \emph{t-chordal} if all induced directed cycles in $D$ have length equal to $t$. In a previous paper, we asked for which $t$ it is true that $t$-chordal graphs with bounded clique number have bounded dichromatic number. Recently, Aboulker, Bousquet, and de Verclos answered this in the negative for $t=3$, that is, they gave a construction of $3$-chordal digraphs with clique number at most $3$ and arbitrarily large dichromatic number. In this paper, we extend their result, giving for each $t \ge 3$ a construction of digraphs with clique number at most $3$ and arbitrarily large dichromatic number, thus answering our question in the negative. On the other hand, we show that a more restricted class, digraphs with no induced directed cycle of length less than $t$, and no induced directed $t$-vertex path, have bounded dichromatic number if their clique number is bounded. We also show the following complexity result: for fixed $t \ge 2$, the problem of determining whether a digraph is $t$-chordal is coNP-complete.
△ Less
Submitted 14 October, 2022; v1 submitted 29 March, 2022;
originally announced March 2022.
-
The Inter-magic Spectra of Trees
Authors:
Alvaro Carbonero,
Dylan Obata
Abstract:
For any positive integer $h$, a graph $G=(V,E)$ is said to be $h$-magic if there exists a labeling $l:E(G)\to \mathbb{Z}_h -\{0\} $ such that the induced vertex set labeling $\ l^+ : V(G) \to \mathbb{Z}_h \ $ defined by $$ l^+ (v)=\sum_{uv \in E(G)} \ l(uv) $$ is a constant map. The integer-magic spectrum of a graph $G$, denoted by $IM(G)$, is the set of all $h \in \mathbb{N} $ for which $G$ is…
▽ More
For any positive integer $h$, a graph $G=(V,E)$ is said to be $h$-magic if there exists a labeling $l:E(G)\to \mathbb{Z}_h -\{0\} $ such that the induced vertex set labeling $\ l^+ : V(G) \to \mathbb{Z}_h \ $ defined by $$ l^+ (v)=\sum_{uv \in E(G)} \ l(uv) $$ is a constant map. The integer-magic spectrum of a graph $G$, denoted by $IM(G)$, is the set of all $h \in \mathbb{N} $ for which $G$ is $h$-magic. So far, only the integer-magic spectra of trees of diameter at most five have been determined. In this paper, we determine the integer-magic spectra of trees of diameter six and higher.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
A counterexample to a conjecture about triangle-free induced subgraphs of graphs with large chromatic number
Authors:
Alvaro Carbonero,
Patrick Hompe,
Benjamin Moore,
Sophie Spirkl
Abstract:
We prove that for every $n$, there is a graph $G$ with $χ(G) \geq n$ and $ω(G) \leq 3$ such that every induced subgraph $H$ of $G$ with $ω(H) \leq 2$ satisfies $χ(H) \leq 4$.
This disproves a well-known conjecture. Our construction is a digraph with bounded clique number, large dichromatic number, and no induced directed cycles of odd length at least 5.
We prove that for every $n$, there is a graph $G$ with $χ(G) \geq n$ and $ω(G) \leq 3$ such that every induced subgraph $H$ of $G$ with $ω(H) \leq 2$ satisfies $χ(H) \leq 4$.
This disproves a well-known conjecture. Our construction is a digraph with bounded clique number, large dichromatic number, and no induced directed cycles of odd length at least 5.
△ Less
Submitted 15 September, 2022; v1 submitted 20 January, 2022;
originally announced January 2022.
-
The Optimization of Signed Trees
Authors:
Alvaro Carbonero,
Janelle Domantay,
Karen Guthrie
Abstract:
A signed graph $G$ is a graph where each edge is assigned a + (positive edge) or a - (negative edge). The signed degree of a vertex $v$ in a signed graph, denoted by $sdeg(v)$, is the number of positive edges incident to $v$ subtracted by the number of negative edges incident to $v$. Finally, we say $G$ realizes the set $D$ if: $$ D = \{sdeg(v) \text{ : } v\in V(G) \}. $$ The topic of signed degre…
▽ More
A signed graph $G$ is a graph where each edge is assigned a + (positive edge) or a - (negative edge). The signed degree of a vertex $v$ in a signed graph, denoted by $sdeg(v)$, is the number of positive edges incident to $v$ subtracted by the number of negative edges incident to $v$. Finally, we say $G$ realizes the set $D$ if: $$ D = \{sdeg(v) \text{ : } v\in V(G) \}. $$ The topic of signed degree sets and signed degree sequences has been studied from many directions. In this paper, we study properties needed for signed trees to have a given signed degree set. We start by proving that $D$ is the signed degree set of a tree if and only if $1\in D$ or $-1\in D$. Further, for every valid set $D$, we find the smallest diameter that a tree must have to realize $D$. Lastly, for valid sets $D$ with nonnegative numbers, we find the smallest order that a tree must have to realize $D$.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
Crowns in linear $3$-graphs
Authors:
Alvaro Carbonero,
Willem Fletcher,
**g Guo,
András Gyárfás,
Rona Wang,
Shiyu Yan
Abstract:
A \textit{linear $3$-graph}, $H = (V, E)$, is a set, $V$, of vertices together with a set, $E$, of $3$-element subsets of $V$, called edges, so that any two distinct edges intersect in at most one vertex. The linear Turán number, ${\rm ex}(n,F)$, is the maximum number of edges in a linear $3$-graph $H$ with $n$ vertices containing no copy of $F$.
We focus here on the \textit{crown}, $C$, which c…
▽ More
A \textit{linear $3$-graph}, $H = (V, E)$, is a set, $V$, of vertices together with a set, $E$, of $3$-element subsets of $V$, called edges, so that any two distinct edges intersect in at most one vertex. The linear Turán number, ${\rm ex}(n,F)$, is the maximum number of edges in a linear $3$-graph $H$ with $n$ vertices containing no copy of $F$.
We focus here on the \textit{crown}, $C$, which consists of three pairwise disjoint edges (jewels) and a fourth edge (base) which intersects all of the jewels. Our main result is that every linear $3$-graph with minimum degree at least $4$ contains a crown. This is not true if $4$ is replaced by $3$. In fact the known bounds of the Turán number are \[ 6 \left\lfloor{\frac{n - 3}{4}}\right\rfloor \leq {\rm ex}(n, C) \leq 2n, \] and in the construction providing the lower bound all but three vertices have degree $3$. We conjecture that ${\rm ex}(n, C) \sim \frac{3n}{2}$ but even if this were known it would not imply our main result.
Our second result is a step towards a possible proof of ${\rm ex}(n,C) \leq \frac{3n}{2}$ (i.e., determining it within a constant error). We show that a minimal counterexample to this statement must contain certain configurations with $9$ edges and we conjecture that all of them lead to contradiction.
△ Less
Submitted 30 July, 2021;
originally announced July 2021.
-
Towards a characterization of convergent sequences of $P_n$-line graphs
Authors:
Alvaro Carbonero
Abstract:
Let $H$ and $G$ be graphs such that $H$ has at least 3 vertices and is connected. The $H$-line graph of $G$, denoted by $HL(G)$, is that graph whose vertices are the edges of $G$ and where two vertices of $HL(G)$ are adjacent if they are adjacent in $G$ and lie in a common copy of $H$. For each nonnegative integer $k$, let $HL^{k}(G)$ denote the $k$-th iteration of the $H$-line graph of $G$. We sa…
▽ More
Let $H$ and $G$ be graphs such that $H$ has at least 3 vertices and is connected. The $H$-line graph of $G$, denoted by $HL(G)$, is that graph whose vertices are the edges of $G$ and where two vertices of $HL(G)$ are adjacent if they are adjacent in $G$ and lie in a common copy of $H$. For each nonnegative integer $k$, let $HL^{k}(G)$ denote the $k$-th iteration of the $H$-line graph of $G$. We say that the sequence $\{ HL^k(G) \}$ converges if there exists a positive integer $N$ such that $HL^k(G) \cong HL^{k+1}(G)$, and for $n \geq 3$ we set $Λ_n$ as the set of all graphs $G$ whose sequence $\{HL^k(G) \}$ converges when $H\cong P_n$. The sets $Λ_3, Λ_4$ and $Λ_5$ have been characterized. To progress towards the characterization of $Λ_n$ in general, this paper defines and studies the following property: a graph $G$ is minimally $n$-convergent if $G\in Λ_n$ but no proper subgraph of $G$ is in $Λ_n$. In addition, prove conditions that imply divergence, and use these results to develop some of the properties of minimally $n$-convergent graphs.
△ Less
Submitted 6 July, 2021;
originally announced July 2021.
-
Permutations of point sets in $\mathbb{R}^d$
Authors:
Alvaro Carbonero,
Beth Anne Castellano,
Gary Gordon,
Charles Kulick,
Brittany Ohlinger,
Karie Schmitz
Abstract:
Given a set $S$ consisting of $n$ points in $\mathbb{R}^d$ and one or two vantage points, we study the number of orderings of $S$ induced by measuring the distance (for one vantage point) or the average distance (for two vantage points) from the vantage point(s) to the points of $S$ as the vantage points move through $\mathbb{R}^d.$ With one vantage point, a theorem of Good and Tideman \cite{MR505…
▽ More
Given a set $S$ consisting of $n$ points in $\mathbb{R}^d$ and one or two vantage points, we study the number of orderings of $S$ induced by measuring the distance (for one vantage point) or the average distance (for two vantage points) from the vantage point(s) to the points of $S$ as the vantage points move through $\mathbb{R}^d.$ With one vantage point, a theorem of Good and Tideman \cite{MR505547} shows the maximum number of orderings is a sum of unsigned Stirling numbers of the first kind. We show that the minimum value in all dimensions is $2n-2,$ achieved by $n$ equally spaced points on a line. We investigate special configurations that achieve intermediate numbers of orderings in the one--dimensional and two--dimensional cases. We also treat the case when the points are on the sphere $S^2,$ connecting spherical and planar configurations. We briefly consider an application using weights suggested by an application to social choice theory. We conclude with several open problems that we believe deserve further study.
△ Less
Submitted 3 April, 2023; v1 submitted 27 June, 2021;
originally announced June 2021.