-
Data Analysis Methods Preliminaries for a Photon-based Hardware Random Number Generator
Authors:
Dmitriy Beznosko,
Keith Driscoll,
Fernando Guadarrama,
Steven Mai,
Nikolas Thornton
Abstract:
High quality random numbers are necessary in the modern world. Ranging from encryption keys in cyber security to models and simulations for scientific use: it's important that these random numbers are of high quality and quickly attainable. One common solution to the generation of random numbers is that of pseudo-random number generators, or PRNGs. PRNGs generate random numbers by first quantifyin…
▽ More
High quality random numbers are necessary in the modern world. Ranging from encryption keys in cyber security to models and simulations for scientific use: it's important that these random numbers are of high quality and quickly attainable. One common solution to the generation of random numbers is that of pseudo-random number generators, or PRNGs. PRNGs generate random numbers by first quantifying some unpredictable phenomena into a number or string and feeding it into an algorithm which yields numbers randomly based on that seed. Easy places to find seeds include the user's mouse movements or the machine's uptime. These are only pseudorandom, however, as if given the same seed twice, the PRNG would generate the same 'random' output. This is great for games like Minecraft, but not so great for cybersecurity encryption key generation. By using a hardware random number generator (HRNG), random numbers that are not susceptible to the flaws found in PRNGs can be attained at a high rate.
△ Less
Submitted 14 May, 2024; v1 submitted 14 April, 2024;
originally announced April 2024.
-
Coronal Heating as Determined by the Solar Flare Frequency Distribution Obtained by Aggregating Case Studies
Authors:
James Paul Mason,
Alexandra Werth,
Colin G. West,
Allison A. Youngblood,
Donald L. Woodraska,
Courtney Peck,
Kevin Lacjak,
Florian G. Frick,
Moutamen Gabir,
Reema A. Alsinan,
Thomas Jacobsen,
Mohammad Alrubaie,
Kayla M. Chizmar,
Benjamin P. Lau,
Lizbeth Montoya Dominguez,
David Price,
Dylan R. Butler,
Connor J. Biron,
Nikita Feoktistov,
Kai Dewey,
N. E. Loomis,
Michal Bodzianowski,
Connor Kuybus,
Henry Dietrick,
Aubrey M. Wolfe
, et al. (977 additional authors not shown)
Abstract:
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms th…
▽ More
Flare frequency distributions represent a key approach to addressing one of the largest problems in solar and stellar physics: determining the mechanism that counter-intuitively heats coronae to temperatures that are orders of magnitude hotter than the corresponding photospheres. It is widely accepted that the magnetic field is responsible for the heating, but there are two competing mechanisms that could explain it: nanoflares or Alfvén waves. To date, neither can be directly observed. Nanoflares are, by definition, extremely small, but their aggregate energy release could represent a substantial heating mechanism, presuming they are sufficiently abundant. One way to test this presumption is via the flare frequency distribution, which describes how often flares of various energies occur. If the slope of the power law fitting the flare frequency distribution is above a critical threshold, $α=2$ as established in prior literature, then there should be a sufficient abundance of nanoflares to explain coronal heating. We performed $>$600 case studies of solar flares, made possible by an unprecedented number of data analysts via three semesters of an undergraduate physics laboratory course. This allowed us to include two crucial, but nontrivial, analysis methods: pre-flare baseline subtraction and computation of the flare energy, which requires determining flare start and stop times. We aggregated the results of these analyses into a statistical study to determine that $α= 1.63 \pm 0.03$. This is below the critical threshold, suggesting that Alfvén waves are an important driver of coronal heating.
△ Less
Submitted 9 May, 2023;
originally announced May 2023.
-
A quantum theory of the nearly frozen charge glass
Authors:
S. Fratini,
K. Driscoll,
S. Ciuchi,
A. Ralko
Abstract:
We study long-range interacting electrons on the triangular lattice using mixed quantum/classical simulations going beyond the usual classical descriptions of the lattice Coulomb fluid. Our results in the strong interaction limit indicate that the emergence and proliferation of quantum defects governs the low-temperature dynamics of this strongly frustrated system, in a way that crucially depends…
▽ More
We study long-range interacting electrons on the triangular lattice using mixed quantum/classical simulations going beyond the usual classical descriptions of the lattice Coulomb fluid. Our results in the strong interaction limit indicate that the emergence and proliferation of quantum defects governs the low-temperature dynamics of this strongly frustrated system, in a way that crucially depends on the degree of anisotropy of the electronic structure. The present theoretical findings explain the phenomenology observed in the $θ$-ET$_2$X charge ordering materials as they fall out of equilibrium. The approach devised here can be easily generalized to address other systems where charge frustration is lifted by quantum fluctuations.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Knowledge-Assisted Reasoning of Model-Augmented System Requirements with Event Calculus and Goal-Directed Answer Set Programming
Authors:
Brendan Hall,
Sarat Chandra Varanasi,
Jan Fiedor,
Joaquín Arias,
Kinjal Basu,
Fang Li,
Devesh Bhatt,
Kevin Driscoll,
Elmer Salazar,
Gopal Gupta
Abstract:
We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and can withstand perceived failures. We show how cyber-physical systems' requirements can be modeled using the event calculus (EC), a formalism used in AI for representing actions and…
▽ More
We consider requirements for cyber-physical systems represented in constrained natural language. We present novel automated techniques for aiding in the development of these requirements so that they are consistent and can withstand perceived failures. We show how cyber-physical systems' requirements can be modeled using the event calculus (EC), a formalism used in AI for representing actions and change. We also show how answer set programming (ASP) and its query-driven implementation s(CASP) can be used to directly realize the event calculus model of the requirements. This event calculus model can be used to automatically validate the requirements. Since ASP is an expressive knowledge representation language, it can also be used to represent contextual knowledge about cyber-physical systems, which, in turn, can be used to find gaps in their requirements specifications. We illustrate our approach through an altitude alerting system from the avionics domain.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Grundy domination of forests and the strong product conjecture
Authors:
Kayla Bell,
Keith Driscoll,
Elliot Krop,
Kimber Wolff
Abstract:
A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $γ_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $γ_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the no…
▽ More
A maximum sequence $S$ of vertices in a graph $G$, so that every vertex in $S$ has a neighbor which is independent, or is itself independent, from all previous vertices in $S$, is called a Grundy dominating sequence. The Grundy domination number, $γ_{gr}(G)$, is the length of $S$. We show that for any forest $F$, $γ_{gr}(F)=|V(T)|-|\mathcal{P}|$ where $\mathcal{P}$ is a minimum partition of the non-isolate vertices of $F$ into caterpillars in which if two caterpillars of $\mathcal{P}$ have an edge between them in $F$, then such an edge must be incident to a non-leaf vertex in at least one of the caterpillars. We use this result to show the strong product conjecture of B. Brešar, Cs. Bujtás, T. Gologranc, S. Klavžar, G. Košmrlj, B. Patkós, Zs. Tuza, and M. Vizer, Dominating sequences in grid-like and toroidal graphs, Electron. J. Combin. 23(4): P4.34 (2016), for all forests. Namely, we show that for any forest $G$ and graph $H$, $γ_{gr}(G \boxtimes H) = γ_{gr}(G) γ_{gr}(H)$. We also show that every connected graph $G$ has a spanning tree $T$ so that $γ_{gr}(G)\le γ_{gr}(T)$ and that every non-complete connected graph contains a Grundy dominating set $S$ so that the induced subgraph of $S$ contains no isolated vertices.
△ Less
Submitted 12 April, 2021;
originally announced April 2021.
-
Pseudogap metal induced by long-range Coulomb interactions
Authors:
Katherine Driscoll,
Arnaud Ralko,
Simone Fratini
Abstract:
In correlated electron systems the metallic character of a material can be strongly suppressed near an integer concentration of conduction electrons as Coulomb interactions forbid the double occupancy of local atomic orbitals. While the Mott-Hubbard physics arising from such on-site interactions has been largely studied, several unexplained phenomena observed in correlated materials challenge this…
▽ More
In correlated electron systems the metallic character of a material can be strongly suppressed near an integer concentration of conduction electrons as Coulomb interactions forbid the double occupancy of local atomic orbitals. While the Mott-Hubbard physics arising from such on-site interactions has been largely studied, several unexplained phenomena observed in correlated materials challenge this description and call for the development of new ideas. Here we explore a general route for obtaining correlated behavior that is decidedly different from the spin-related Mott-Hubbard mechanism and instead relies on the presence of unscreened, long-range Coulomb interactions. We find a pseudogap metal phase characterized by a divergent quasiparticle mass and the opening of a Coulomb pseudogap in the electronic spectrum. The destruction of the Fermi-liquid state occurs because the electrons move in a nearly frozen, disordered charge background, as collective charge rearrangements are drastically slowed down by the frustrating nature of long-range potentials on discrete lattices. The present pseudogap metal realizes an early conjecture by Efros, that a soft Coulomb gap should appear for quantum lattice electrons with strong unscreened interactions due to self-generated randomness.
△ Less
Submitted 18 May, 2021; v1 submitted 6 October, 2020;
originally announced October 2020.
-
All Trees are Seven-Cordial
Authors:
Keith Driscoll
Abstract:
For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing edge-weights as the sum modulo $k$ of the labels on incident vertices to a given edge, which furthermore satisfies the following conditions:
(i) Each label appears on at most one more vertex than any other label. (ii) Each edge-weight appears on at most one more edge tha…
▽ More
For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing edge-weights as the sum modulo $k$ of the labels on incident vertices to a given edge, which furthermore satisfies the following conditions:
(i) Each label appears on at most one more vertex than any other label. (ii) Each edge-weight appears on at most one more edge than any other edge-weight.
Mark Hovey (1991) conjectured that all trees are $k$-cordial for any integer $k$. Cahit (1987) had shown earlier that all trees are $2$-cordial and Hovey proved that all trees are $3,4,$ and $5$-cordial. Driscoll, et. al. (2017), used an adjustment to Hovey's test to show that all trees are $6$-cordial. It is shown here that all trees are $7$-cordial by that same adjustment.
△ Less
Submitted 1 October, 2019; v1 submitted 26 September, 2019;
originally announced September 2019.
-
Data Science: A Powerful Catalyst for Cross-Sector Collaborations to Transform the Future of Global Health - Developing a New Interactive Relational Mapping Tool
Authors:
Barbara Bulc,
Cassie Landers,
Katherine Driscoll
Abstract:
The increasingly complex and rapidly changing global health and socio-economic landscape requires fundamentally new ways of thinking, acting and collaborating to solve growing systems challenges. Cross-sectoral collaborations between governments, businesses, international organizations, private investors, academia and non-profits are essential for lasting success in achieving the Sustainable Devel…
▽ More
The increasingly complex and rapidly changing global health and socio-economic landscape requires fundamentally new ways of thinking, acting and collaborating to solve growing systems challenges. Cross-sectoral collaborations between governments, businesses, international organizations, private investors, academia and non-profits are essential for lasting success in achieving the Sustainable Development Goals (SDGs), and securing a prosperous future for the health and wellbeing of all people. Our aim is to use data science and innovative technologies to map diverse stakeholders and their initiatives around SDGs and specific health targets - with particular focus on SDG 3 (Good Health & Well Being) and SDG 17 (Partnerships for the Goals) - to accelerate cross-sector collaborations. Initially, the mapping tool focuses on Geneva, Switzerland as the world center of global health diplomacy with over 80 key stakeholders and influencers present. As we develop the next level pilot, we aim to build on users' interests, with a potential focus on non-communicable diseases (NCDs) as one of the emerging and most pressing global health issues that requires new collaborative approaches. Building on this pilot, we can later expand beyond only SDG 3 to other SDGs.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
All trees are six-cordial
Authors:
Keith Driscoll,
Elliot Krop,
Michelle Nguyen
Abstract:
For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing a labeling on the edges with edge-weights found by summing the labels on vertices incident to a given edge modulo $k$ so that each label appears on at most one more vertex than any other and each edge-weight appears on at most one more edge than any other.
We prove that…
▽ More
For any integer $k>0$, a tree $T$ is $k$-cordial if there exists a labeling of the vertices of $T$ by $\mathbb{Z}_k$, inducing a labeling on the edges with edge-weights found by summing the labels on vertices incident to a given edge modulo $k$ so that each label appears on at most one more vertex than any other and each edge-weight appears on at most one more edge than any other.
We prove that all trees are six-cordial by an adjustment of the test proposed by Hovey (1991) to show all trees are $k$-cordial.
△ Less
Submitted 1 May, 2017; v1 submitted 7 April, 2016;
originally announced April 2016.
