-
On the maximum second eigenvalue of outerplanar graphs
Authors:
George Brooks,
Maggie Gu,
Jack Hyatt,
William Linz,
Linyuan Lu
Abstract:
For a fixed integer $k$ and a graph $G$, let $λ_k(G)$ denote the $k$-th largest eigenvalue of the adjacency matrix of $G$. In 2017, Tait and Tobin proved that the maximum $λ_1(G)$ among all connected outerplanar graphs on $n$ vertices is achieved by the fan graph $K_1\vee P_{n-1}$. In this paper, we consider a similar problem of determining the maximum $λ_2$ among all connected outerplanar graphs…
▽ More
For a fixed integer $k$ and a graph $G$, let $λ_k(G)$ denote the $k$-th largest eigenvalue of the adjacency matrix of $G$. In 2017, Tait and Tobin proved that the maximum $λ_1(G)$ among all connected outerplanar graphs on $n$ vertices is achieved by the fan graph $K_1\vee P_{n-1}$. In this paper, we consider a similar problem of determining the maximum $λ_2$ among all connected outerplanar graphs on $n$ vertices. For $n$ even and sufficiently large, we prove that the maximum $λ_2$ is uniquely achieved by the graph $(K_1\vee P_{n/2-1})\!\!-\!\!(K_1\vee P_{n/2-1})$, which is obtained by connecting two disjoint copies of $(K_1\vee P_{n/2-1})$ through a new edge at their ends. When $n$ is odd and sufficiently large, the extremal graphs are not unique. The extremal graphs are those graphs $G$ that contains a cut vertex $u$ such that $G\setminus \{u\}$ is isomorphic to $2(K_1\vee P_{n/2-1})$. We also determine the maximum $λ_2$ among all 2-connected outerplanar graphs and asymptotically determine the maximum of $λ_k(G)$ among all connected outerplanar graphs for general $k$.
△ Less
Submitted 15 September, 2023;
originally announced September 2023.
-
Maximum Likelihood on the Joint (Data, Condition) Distribution for Solving Ill-Posed Problems with Conditional Flow Models
Authors:
John S. Hyatt
Abstract:
I describe a trick for training flow models using a prescribed rule as a surrogate for maximum likelihood. The utility of this trick is limited for non-conditional models, but an extension of the approach, applied to maximum likelihood of the joint probability distribution of data and conditioning information, can be used to train sophisticated \textit{conditional} flow models. Unlike previous app…
▽ More
I describe a trick for training flow models using a prescribed rule as a surrogate for maximum likelihood. The utility of this trick is limited for non-conditional models, but an extension of the approach, applied to maximum likelihood of the joint probability distribution of data and conditioning information, can be used to train sophisticated \textit{conditional} flow models. Unlike previous approaches, this method is quite simple: it does not require explicit knowledge of the distribution of conditions, auxiliary networks or other specific architecture, or additional loss terms beyond maximum likelihood, and it preserves the correspondence between latent and data spaces. The resulting models have all the properties of non-conditional flow models, are robust to unexpected inputs, and can predict the distribution of solutions conditioned on a given input. They come with guarantees of prediction representativeness and are a natural and powerful way to solve highly uncertain problems. I demonstrate these properties on easily visualized toy problems, then use the method to successfully generate class-conditional images and to reconstruct highly degraded images via super-resolution.
△ Less
Submitted 24 August, 2022;
originally announced August 2022.
-
Design of the vacuum high contrast imaging testbed for CDEEP, the Coronagraphic Debris and Exoplanet Exploring Pioneer
Authors:
Erin R. Maier,
Ewan S. Douglas,
Daewook Kim,
Kate Su,
Jaren N. Ashcraft,
James B. Breckinridge,
Supriya Chakrabarti,
Heejoo Choi,
Elodie Choquet,
Thomas E. Connors,
Olivier Durney,
John Debes,
Kerry L. Gonzales,
Charlotte E. Guthery,
Christian A. Haughwout,
James C. Heath,
Justin Hyatt,
Jennifer Lumbres,
Jared R. Males,
Elisabeth C. Matthews,
Kian Milani,
Oscar M. Montoya,
Mamadou N'Diaye,
Jamison Noenickx,
Leonid Pogorelyuk
, et al. (4 additional authors not shown)
Abstract:
The Coronagraphic Debris Exoplanet Exploring Payload (CDEEP) is a Small-Sat mission concept for high contrast imaging of circumstellar disks. CDEEP is designed to observe disks in scattered light at visible wavelengths at a raw contrast level of 10^-7 per resolution element (10^-8 with post processing). This exceptional sensitivity will allow the imaging of transport dominated debris disks, quanti…
▽ More
The Coronagraphic Debris Exoplanet Exploring Payload (CDEEP) is a Small-Sat mission concept for high contrast imaging of circumstellar disks. CDEEP is designed to observe disks in scattered light at visible wavelengths at a raw contrast level of 10^-7 per resolution element (10^-8 with post processing). This exceptional sensitivity will allow the imaging of transport dominated debris disks, quantifying the albedo, composition, and morphology of these low-surface brightness disks. CDEEP combines an off-axis telescope, microelectromechanical systems (MEMS) deformable mirror, and a vector vortex coronagraph (VVC). This system will require rigorous testing and characterization in a space environment. We report on the CDEEP mission concept, and the status of the vacuum-compatible CDEEP prototype testbed currently under development at the University of Arizona, including design development and the results of simulations to estimate performance.
△ Less
Submitted 26 September, 2021;
originally announced September 2021.
-
Effects of ground movements on realistic guide models for the European Spallation Source
Authors:
Asla Husgard,
Martin A. Olsen,
Rebekka Frøystad,
Jonas P. Hyatt,
Mads Bertelsen,
Rasmus Toft-Petersen,
Kim Lefmann
Abstract:
We model the effect of ground movement, based on empirical experience, on the transport properties of long neutron guides by ray-tracing simulations. Our results reproduce the large losses found by an earlier study for a simple model, while for a more realistic engineering model of guide mounting, we find the losses to be significantly smaller than earlier predicted. A detailed study of the guide…
▽ More
We model the effect of ground movement, based on empirical experience, on the transport properties of long neutron guides by ray-tracing simulations. Our results reproduce the large losses found by an earlier study for a simple model, while for a more realistic engineering model of guide mounting, we find the losses to be significantly smaller than earlier predicted. A detailed study of the guide for the cold neutron spectrometer BIFROST at the European Spallation Source shows that the loss is 7.0(5) % for wavelengths of 2.3-4.0 Å; the typical operational wavelength range of the instrument. This amount of loss does not call for mitigation by overillumination as suggested in the previous work. Our work serves to quantify the robustness of the transport properties of long neutron guides, in construction or planning at neutron facilities worldwide.
△ Less
Submitted 26 May, 2020;
originally announced May 2020.
-
Requirements for Develo** Robust Neural Networks
Authors:
John S. Hyatt,
Michael S. Lee
Abstract:
Validation accuracy is a necessary, but not sufficient, measure of a neural network classifier's quality. High validation accuracy during development does not guarantee that a model is free of serious flaws, such as vulnerability to adversarial attacks or a tendency to misclassify (with high confidence) data it was not trained on. The model may also be incomprehensible to a human or base its decis…
▽ More
Validation accuracy is a necessary, but not sufficient, measure of a neural network classifier's quality. High validation accuracy during development does not guarantee that a model is free of serious flaws, such as vulnerability to adversarial attacks or a tendency to misclassify (with high confidence) data it was not trained on. The model may also be incomprehensible to a human or base its decisions on unreasonable criteria. These problems, which are not unique to classifiers, have been the focus of a substantial amount of recent research. However, they are not prioritized during model development, which almost always optimizes on validation accuracy to the exclusion of everything else. The product of this approach is likely to fail in unexpected ways outside of the training environment. We believe that, in addition to validation accuracy, the model development process must give added weight to other performance metrics such as explainability, resistance to adversarial attacks, and overconfidence on out-of-distribution data.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.