-
Multiscale simulation of spatially correlated microstructure via a latent space representation
Authors:
Reese E. Jones,
Craig M. Hamel,
Dan Bolintineanu,
Kyle Johnson,
Robert Buarque de Macedo,
Jan Fuhg,
Nikolaos Bouklas,
Sharlotte Kramer
Abstract:
When deformation gradients act on the scale of the microstructure of a part due to geometry and loading, spatial correlations and finite-size effects in simulation cells cannot be neglected. We propose a multiscale method that accounts for these effects using a variational autoencoder to encode the structure-property map of the stochastic volume elements making up the statistical description of th…
▽ More
When deformation gradients act on the scale of the microstructure of a part due to geometry and loading, spatial correlations and finite-size effects in simulation cells cannot be neglected. We propose a multiscale method that accounts for these effects using a variational autoencoder to encode the structure-property map of the stochastic volume elements making up the statistical description of the part. In this paradigm the autoencoder can be used to directly encode the microstructure or, alternatively, its latent space can be sampled to provide likely realizations. We demonstrate the method on three examples using the common additively manufactured material AlSi10Mg in: (a) a comparison with direct numerical simulation of the part microstructure, (b) a push forward of microstructural uncertainty to performance quantities of interest, and (c) a simulation of functional gradation of a part with stochastic microstructure.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
On the undefinability of pathological Banach spaces
Authors:
Clovis Hamel,
Franklin D. Tall
Abstract:
Motivated by Tsirelson's implicitly defined pathological Banach space, T. Gowers asked whether explicitly defined Banach spaces must include either $c_0$ or some $\ell^p$. J. Iovino and P. Casazza gave an affirmative answer for first-order continuous logic. We greatly extend their work to logics with much weaker requirements than compactness on their type spaces. Noteworthy is our extensive use of…
▽ More
Motivated by Tsirelson's implicitly defined pathological Banach space, T. Gowers asked whether explicitly defined Banach spaces must include either $c_0$ or some $\ell^p$. J. Iovino and P. Casazza gave an affirmative answer for first-order continuous logic. We greatly extend their work to logics with much weaker requirements than compactness on their type spaces. Noteworthy is our extensive use of the topology of function spaces ($C_p$-theory) as developed by Arhangel'skii, and our use of double limit conditions studied by H. König and N. Kuhn.
△ Less
Submitted 18 January, 2024;
originally announced January 2024.
-
Advances in the Large Area Picosecond Photo-Detector (LAPPD): 8" x 8" MCP-PMT with Capacitively Coupled Readout
Authors:
Shawn Shin,
Melvin Aviles,
Stephen Clarke,
Stefan Cwik,
Michael Foley,
Cole Hamel,
Alexey Lyashenko,
Derrick Mensah,
Michael Minot,
Mark Popecki,
Michael Stochaj
Abstract:
We present advances made in the Large Area Picosecond Photodetector (LAPPD), an 8" $\times$ 8" microchannel plate photomultiplier tube (MCP-PMT), since pilot production was initiated at Incom, Inc. in 2018. The Gen-I LAPPD utilizes a stripline anode for direct charge readout. The novel Gen-II LAPPD employs an internal resistive thin-film which capacitively couples to a customizable external signal…
▽ More
We present advances made in the Large Area Picosecond Photodetector (LAPPD), an 8" $\times$ 8" microchannel plate photomultiplier tube (MCP-PMT), since pilot production was initiated at Incom, Inc. in 2018. The Gen-I LAPPD utilizes a stripline anode for direct charge readout. The novel Gen-II LAPPD employs an internal resistive thin-film which capacitively couples to a customizable external signal readout board, streamlining production. The Gen-II LAPPD, with an active area of 373 cm$^2$, is capable of high single photoelectron (PE) gain of $\sim$10$^7$, low dark rates ($\sim$1 kHz/cm$^2$), single PE timing resolution of $\sim$65 ps, and $\mathcal{O}$(mm) position resolution. Coupled with a UV-grade fused silica window, the LAPPD features a high quantum efficiency (QE) bialkali photocathode of $>$30% with spectral response down to $\sim$165 nm. The LAPPD is an excellent candidate for electromagnetic calorimeter (ECAL) timing layers, photon-based neutrino detectors, high energy collider experiments, medical imaging systems, and nuclear non-proliferation applications.
△ Less
Submitted 10 May, 2024; v1 submitted 6 December, 2022;
originally announced December 2022.
-
Modular machine learning-based elastoplasticity: generalization in the context of limited data
Authors:
Jan N. Fuhg,
Craig M. Hamel,
Kyle Johnson,
Reese Jones,
Nikolaos Bouklas
Abstract:
The development of accurate constitutive models for materials that undergo path-dependent processes continues to be a complex challenge in computational solid mechanics. Challenges arise both in considering the appropriate model assumptions and from the viewpoint of data availability, verification, and validation. Recently, data-driven modeling approaches have been proposed that aim to establish s…
▽ More
The development of accurate constitutive models for materials that undergo path-dependent processes continues to be a complex challenge in computational solid mechanics. Challenges arise both in considering the appropriate model assumptions and from the viewpoint of data availability, verification, and validation. Recently, data-driven modeling approaches have been proposed that aim to establish stress-evolution laws that avoid user-chosen functional forms by relying on machine learning representations and algorithms. However, these approaches not only require a significant amount of data but also need data that probes the full stress space with a variety of complex loading paths. Furthermore, they rarely enforce all necessary thermodynamic principles as hard constraints. Hence, they are in particular not suitable for low-data or limited-data regimes, where the first arises from the cost of obtaining the data and the latter from the experimental limitations of obtaining labeled data, which is commonly the case in engineering applications. In this work, we discuss a hybrid framework that can work on a variable amount of data by relying on the modularity of the elastoplasticity formulation where each component of the model can be chosen to be either a classical phenomenological or a data-driven model depending on the amount of available information and the complexity of the response. The method is tested on synthetic uniaxial data coming from simulations as well as cyclic experimental data for structural materials. The discovered material models are found to not only interpolate well but also allow for accurate extrapolation in a thermodynamically consistent manner far outside the domain of the training data. Training aspects and details of the implementation of these models into Finite Element simulations are discussed and analyzed.
△ Less
Submitted 15 October, 2022;
originally announced October 2022.
-
Calibrating constitutive models with full-field data via physics informed neural networks
Authors:
Craig M. Hamel,
Kevin N. Long,
Sharlotte L. B. Kramer
Abstract:
The calibration of solid constitutive models with full-field experimental data is a long-standing challenge, especially in materials which undergo large deformation. In this paper, we propose a physics-informed deep-learning framework for the discovery of constitutive model parameterizations given full-field displacement data and global force-displacement data. Contrary to the majority of recent l…
▽ More
The calibration of solid constitutive models with full-field experimental data is a long-standing challenge, especially in materials which undergo large deformation. In this paper, we propose a physics-informed deep-learning framework for the discovery of constitutive model parameterizations given full-field displacement data and global force-displacement data. Contrary to the majority of recent literature in this field, we work with the weak form of the governing equations rather than the strong form to impose physical constraints upon the neural network predictions. The approach presented in this paper is computationally efficient, suitable for irregular geometric domains, and readily ingests displacement data without the need for interpolation onto a computational grid. A selection of canonical hyperelastic materials models suitable for different material classes is considered including the Neo-Hookean, Gent, and Blatz-Ko constitutive models as exemplars for general hyperelastic behavior, polymer behavior with lock-up, and compressible foam behavior respectively. We demonstrate that physics informed machine learning is an enabling technology and may shift the paradigm of how full-field experimental data is utilized to calibrate constitutive models under finite deformations.
△ Less
Submitted 30 March, 2022;
originally announced March 2022.
-
$C_p$-Theory for Model Theorists
Authors:
Clovis Hamel,
Franklin D. Tall
Abstract:
We present applications of $C_p$-theory, the branch of general topology concerned with spaces of real-valued continuous functions, to model theory, mostly in the context of continuous logics. We include $C_p$-theoretic results and proofs in a self-contained way for model theorists who are not familiar with the techniques of this field. We further generalize some results of Casazza and Iovino, and…
▽ More
We present applications of $C_p$-theory, the branch of general topology concerned with spaces of real-valued continuous functions, to model theory, mostly in the context of continuous logics. We include $C_p$-theoretic results and proofs in a self-contained way for model theorists who are not familiar with the techniques of this field. We further generalize some results of Casazza and Iovino, and of the authors, involving the definability of Banach spaces including isomorphic copies of $c_0$ or $\ell^p$, after a problem posed by Odell and Gowers.
△ Less
Submitted 29 September, 2021;
originally announced September 2021.
-
An undecidable extension of Morley's theorem on the number of countable models
Authors:
Christopher J. Eagle,
Clovis Hamel,
Sandra Müller,
Franklin D. Tall
Abstract:
We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of $σ$-projective equivalence relations in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory.
We show that Morley's theorem on the number of countable models of a countable first-order theory becomes an undecidable statement when extended to second-order logic. More generally, we calculate the number of equivalence classes of $σ$-projective equivalence relations in several models of set theory. Our methods include random and Cohen forcing, Woodin cardinals and Inner Model Theory.
△ Less
Submitted 5 July, 2023; v1 submitted 15 July, 2021;
originally announced July 2021.
-
Model Theory for $C_p$-theorists
Authors:
Clovis Hamel,
Franklin D. Tall
Abstract:
We survey discrete and continuous model-theoretic notions which have important connections to general topology. We present a self-contained exposition of several interactions between continuous logic and $C_p$-theory which have applications to a classification problem involving Banach spaces not including $c_0$ or $l^p$, following recent results obtained by P. Casazza and J. Iovino for compact con…
▽ More
We survey discrete and continuous model-theoretic notions which have important connections to general topology. We present a self-contained exposition of several interactions between continuous logic and $C_p$-theory which have applications to a classification problem involving Banach spaces not including $c_0$ or $l^p$, following recent results obtained by P. Casazza and J. Iovino for compact continuous logics. Using $C_p$-theoretic results involving Grothendieck spaces and double limit conditions, we extend their results to a broader family of logics, namely those with a first countable weakly Grothendieck space of types. We pose $C_p$-theoretic problems which have model-theoretic implications.
△ Less
Submitted 14 April, 2020;
originally announced April 2020.
-
Pseudocompactness and the Uniform Metastability Principle in Model Theory
Authors:
Clovis Hamel,
Franklin D. Tall
Abstract:
We prove that uniform metastability is equivalent to all closed subspaces being pseudocompact and use this to provide a topological proof of the metatheorem introduced by Caicedo, Duenez and Iovino on uniform metastability and countable compactness for logics.
We prove that uniform metastability is equivalent to all closed subspaces being pseudocompact and use this to provide a topological proof of the metatheorem introduced by Caicedo, Duenez and Iovino on uniform metastability and countable compactness for logics.
△ Less
Submitted 13 April, 2020;
originally announced April 2020.
-
Evolutionary Algorithm Guided Voxel-Encoding Printing of Functional Hard-Magnetic Soft Active Materials
Authors:
Shuai Wu,
Craig M. Hamel,
H. Jerry Qi,
Ruike Zhao
Abstract:
Hard-magnetic soft active materials (hmSAMs) have attracted a great amount of research interests due to their fast-transforming, untethered control, as well as excellent programmability. However, the current direct-ink-write (DIW) printing-based fabrication of hmSAM parts and structures only permits programmable magnetic direction with a constant magnetic density. Also, the existing designs rely o…
▽ More
Hard-magnetic soft active materials (hmSAMs) have attracted a great amount of research interests due to their fast-transforming, untethered control, as well as excellent programmability. However, the current direct-ink-write (DIW) printing-based fabrication of hmSAM parts and structures only permits programmable magnetic direction with a constant magnetic density. Also, the existing designs rely on the brute-force approach to generate the assignment of magnetization direction distribution, which can only produce intuitional deformations. These two factors greatly limit the design space and the application potentials of hmSAMs. In this work, we introduce a voxel-encoding DIW printing method to program both the magnetic density and direction distributions during the hmSAM printing. The voxel-encoding DIW printing is then integrated with an evolutionary algorithm (EA)-based design strategy to achieve the desired magnetic actuation and motion with complex geometry variations and curvature distributions. With the new EA-guided voxel-encoding DIW printing technique, we demonstrate the functional hmSAMs that produce complicated shape morphing with desired curvature distributions for advanced applications such as biomimetic motions. These demonstrations indicate that the proposed EA-guided voxel-encoding DIW printing method can significantly broaden the application potentials of the hmSAMs.
△ Less
Submitted 30 January, 2020;
originally announced January 2020.
-
Turing Invariant Sets and the Perfect Set Property
Authors:
Clovis Hamel,
Haim Horowitz,
Saharon Shelah
Abstract:
We show that $ZF+DC+$"all Turing invariant sets of reals have the perfect set property" implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations.
We show that $ZF+DC+$"all Turing invariant sets of reals have the perfect set property" implies that all sets of reals have the perfect set property. We also show that this result generalizes to all countable analytic equivalence relations.
△ Less
Submitted 3 April, 2020; v1 submitted 28 December, 2019;
originally announced December 2019.