-
Existence of attracting periodic orbits in 3-dimensional strongly 2-cooperative systems
Authors:
Rami Katz,
Giulia Giordano,
Michael Margaliot
Abstract:
The flow of a $k$-cooperative system maps the set of vectors with up to~$(k-1)$ sign variations to itself. In particular, $1$-cooperative systems are just cooperative systems. Strongly $2$-cooperative systems satisfy a strong \Poincare-Bendixson property: any bounded solution that evolves in a compact set containing no equilibria converges to a periodic orbit. For $3$-dimensional strongly $2$-coop…
▽ More
The flow of a $k$-cooperative system maps the set of vectors with up to~$(k-1)$ sign variations to itself. In particular, $1$-cooperative systems are just cooperative systems. Strongly $2$-cooperative systems satisfy a strong \Poincare-Bendixson property: any bounded solution that evolves in a compact set containing no equilibria converges to a periodic orbit. For $3$-dimensional strongly $2$-cooperative nonlinear systems, we provide a sufficient condition that guarantees the existence of an invariant compact set in the state space that includes an attracting periodic orbit. We show that our theoretical results unify and generalize known results on the existence of a periodic solution in two well-known models in biochemistry, a 3D Goodwin oscillator model and the 3D Field-Noyes ordinary-differential-equation (ODE) model for the Belousov-Zhabotinskii reaction, while simplifying the proofs.
△ Less
Submitted 29 June, 2024;
originally announced July 2024.
-
Efficient gPC-based quantification of probabilistic robustness for systems in neuroscience
Authors:
Uros Sutulovic,
Daniele Proverbio,
Rami Katz,
Giulia Giordano
Abstract:
We introduce and analyze generalised polynomial chaos (gPC), considering both intrusive and non-intrusive approaches, as an uncertainty quantification method in studies of probabilistic robustness. The considered gPC methods are complementary to Monte Carlo (MC) methods and are shown to be fast and scalable, allowing for comprehensive and efficient exploration of parameter spaces. These properties…
▽ More
We introduce and analyze generalised polynomial chaos (gPC), considering both intrusive and non-intrusive approaches, as an uncertainty quantification method in studies of probabilistic robustness. The considered gPC methods are complementary to Monte Carlo (MC) methods and are shown to be fast and scalable, allowing for comprehensive and efficient exploration of parameter spaces. These properties enable robustness analysis of a wider set of models, compared to computationally expensive MC methods, while retaining desired levels of accuracy. We discuss the application of gPC methods to systems in biology and neuroscience, notably subject to multiple parametric uncertainties, and we examine a well-known model of neural dynamics as a case study.
△ Less
Submitted 19 June, 2024;
originally announced June 2024.
-
Brewer-Nash Scrutinised: Mechanised Checking of Policies featuring Write Revocation
Authors:
Alfredo Capozucca,
Maximiliano Cristiá,
Ross Horne,
Ricardo Katz
Abstract:
This paper revisits the Brewer-Nash security policy model inspired by ethical Chinese Wall policies. We draw attention to the fact that write access can be revoked in the Brewer-Nash model. The semantics of write access were underspecified originally, leading to multiple interpretations for which we provide a modern operational semantics. We go on to modernise the analysis of information flow in t…
▽ More
This paper revisits the Brewer-Nash security policy model inspired by ethical Chinese Wall policies. We draw attention to the fact that write access can be revoked in the Brewer-Nash model. The semantics of write access were underspecified originally, leading to multiple interpretations for which we provide a modern operational semantics. We go on to modernise the analysis of information flow in the Brewer-Nash model, by adopting a more precise definition adapted from Kessler. For our modernised reformulation, we provide full mechanised coverage for all theorems proposed by Brewer & Nash. Most theorems are established automatically using the tool {log} with the exception of a theorem regarding information flow, which combines a lemma in {log} with a theorem mechanised in Coq. Having covered all theorems originally posed by Brewer-Nash, achieving modern precision and mechanisation, we propose this work as a step towards a methodology for automated checking of more complex security policy models.
△ Less
Submitted 28 May, 2024; v1 submitted 20 May, 2024;
originally announced May 2024.
-
Data-driven identification of reaction-diffusion dynamics from finitely many non-local noisy measurements by exponential fitting
Authors:
Rami Katz,
Giulia Giordano,
Dmitry Batenkov
Abstract:
Given a reaction-diffusion equation with unknown right-hand side, we consider a nonlinear inverse problem of estimating the associated leading eigenvalues and initial condition modes from a finite number of non-local noisy measurements. We define a reconstruction criterion and, for a small enough noise, we prove the existence and uniqueness of the desired approximation and derive closed-form expre…
▽ More
Given a reaction-diffusion equation with unknown right-hand side, we consider a nonlinear inverse problem of estimating the associated leading eigenvalues and initial condition modes from a finite number of non-local noisy measurements. We define a reconstruction criterion and, for a small enough noise, we prove the existence and uniqueness of the desired approximation and derive closed-form expressions for the first-order condition numbers, as well as bounds for their asymptotic behavior in a regime when the number of measured samples is fixed and the inter-sampling interval length tends to infinity. When computing the sought estimates numerically, our simulations show that the exponential fitting algorithm ESPRIT is first-order optimal, as its first-order condition numbers have the same asymptotic behavior as the analytic condition numbers in the considered regime.
△ Less
Submitted 15 April, 2024;
originally announced April 2024.
-
Quarkonium dynamics in the quantum Brownian regime with non-abelian quantum master equations
Authors:
Stéphane Delorme,
Roland Katz,
Thierry Gousset,
Pol Bernard Gossiaux,
Jean-Paul Blaizot
Abstract:
We present numerical solutions in a one-dimensional setting of quantum master equations that have been recently derived. We focus on the dynamics of a single heavy quark-antiquark pair in a Quark-Gluon Plasma in thermal equilibrium, in the so-called quantum Brownian regime where the temperature of the plasma is large in comparison with the spacing between the energy levels of the $Q\bar{Q}$ system…
▽ More
We present numerical solutions in a one-dimensional setting of quantum master equations that have been recently derived. We focus on the dynamics of a single heavy quark-antiquark pair in a Quark-Gluon Plasma in thermal equilibrium, in the so-called quantum Brownian regime where the temperature of the plasma is large in comparison with the spacing between the energy levels of the $Q\bar{Q}$ system. The one-dimensional potential used in the calculations has been adjusted so as to produce numbers that are relevant for the phenomenology of the charmonium. The equations are solved using different initial states and medium configurations. Various temperature regimes are studied and the effects of screening and collisions thoroughly analyzed. Technical features of the equations are analyzed. The contributions of the different operators that control the evolution are discussed as a function of the temperature. Some phenomenological consequences are addressed.
△ Less
Submitted 6 February, 2024;
originally announced February 2024.
-
NHANES-GCP: Leveraging the Google Cloud Platform and BigQuery ML for reproducible machine learning with data from the National Health and Nutrition Examination Survey
Authors:
B. Ross Katz,
Abdul Khan,
James York-Winegar,
Alexander J. Titus
Abstract:
Summary: NHANES, the National Health and Nutrition Examination Survey, is a program of studies led by the Centers for Disease Control and Prevention (CDC) designed to assess the health and nutritional status of adults and children in the United States (U.S.). NHANES data is frequently used by biostatisticians and clinical scientists to study health trends across the U.S., but every analysis requir…
▽ More
Summary: NHANES, the National Health and Nutrition Examination Survey, is a program of studies led by the Centers for Disease Control and Prevention (CDC) designed to assess the health and nutritional status of adults and children in the United States (U.S.). NHANES data is frequently used by biostatisticians and clinical scientists to study health trends across the U.S., but every analysis requires extensive data management and cleaning before use and this repetitive data engineering collectively costs valuable research time and decreases the reproducibility of analyses. Here, we introduce NHANES-GCP, a Cloud Development Kit for Terraform (CDKTF) Infrastructure-as-Code (IaC) and Data Build Tool (dbt) resources built on the Google Cloud Platform (GCP) that automates the data engineering and management aspects of working with NHANES data. With current GCP pricing, NHANES-GCP costs less than $2 to run and less than $15/yr of ongoing costs for hosting the NHANES data, all while providing researchers with clean data tables that can readily be integrated for large-scale analyses. We provide examples of leveraging BigQuery ML to carry out the process of selecting data, integrating data, training machine learning and statistical models, and generating results all from a single SQL-like query. NHANES-GCP is designed to enhance the reproducibility of analyses and create a well-engineered NHANES data resource for statistics, machine learning, and fine-tuning Large Language Models (LLMs).
Availability and implementation" NHANES-GCP is available at https://github.com/In-Vivo-Group/NHANES-GCP
△ Less
Submitted 12 January, 2024;
originally announced January 2024.
-
Functional Magnetic Resonance Imaging Changes and Increased Muscle Pressure in Fibromyalgia: Insights from Prominent Theories of Pain and Muscle Imaging
Authors:
Seth Adler,
Farzan Vahedifard,
Rachel Akers,
Christopher Sica,
Mehmet Kocak,
Edwin Moore,
Marc Minkus,
Gianna Elias,
Nikhil Aggarwal,
Sharon Byrd,
Mehmoodur Rasheed,
Robert S. Katz
Abstract:
Fibromyalgia is a complicated and multifaceted disorder marked by widespread chronic pain, fatigue, and muscle tenderness. Current explanations for the pathophysiology of this condition include the Central Sensitization Theory, Cytokine Inflammation Theory, Muscle Hypoxia, Muscle Tender Point Theory, and Small Fiber Neuropathy Theory. The objective of this review article is to examine and explain…
▽ More
Fibromyalgia is a complicated and multifaceted disorder marked by widespread chronic pain, fatigue, and muscle tenderness. Current explanations for the pathophysiology of this condition include the Central Sensitization Theory, Cytokine Inflammation Theory, Muscle Hypoxia, Muscle Tender Point Theory, and Small Fiber Neuropathy Theory. The objective of this review article is to examine and explain each of these current theories and to provide a background on our current understanding of fibromyalgia. The medical literature on this disorder, as well as on the roles of functional magnetic resonance imaging (fMRI) and elastography as diagnostic tools, was reviewed from the 1970s to early 2023, primarily using the PubMed database. Five prominent theories of fibromyalgia etiology were examined: 1) Central Sensitization Theory; 2) Cytokine Inflammation Theory; 3) Muscle Hypoxia; 4) Muscle Tender Point Theory; and 5) Small Fiber Neuropathy Theory. Previous fMRI studies of FMS have revealed two key findings. First, patients with FMS show altered activation patterns in brain regions involved in pain processing. Second, the connectivity between brain structures in individuals diagnosed with FMS and healthy controls is different. Both of these findings will be expanded upon in this paper.
The article also explores the potential for future research in fibromyalgia due to the advancements in fMRI and elastography techniques, such as shear wave ultrasound. Increased understanding of the underlying mechanisms contributing to fibromyalgia symptoms is necessary for improved diagnosis and treatment, and advanced imaging techniques can aid in this process.
△ Less
Submitted 4 December, 2023;
originally announced December 2023.
-
Viscoelastic mechanics of tidally induced lake drainage in the Amery grounding zone
Authors:
Hanwen Zhang,
Richard F. Katz,
Laura A. Stevens
Abstract:
Drainage of supraglacial lakes to the ice-sheet bed can occur when a hydrofracture propagates downward, driven by the weight of the water in the lake. For supraglacial lakes in the grounding zones of Antarctic glaciers, the mechanics of drainage is complicated by their proximity to the grounding line. Recently, a series of supraglacial lake-drainage events through hydrofractures was observed in th…
▽ More
Drainage of supraglacial lakes to the ice-sheet bed can occur when a hydrofracture propagates downward, driven by the weight of the water in the lake. For supraglacial lakes in the grounding zones of Antarctic glaciers, the mechanics of drainage is complicated by their proximity to the grounding line. Recently, a series of supraglacial lake-drainage events through hydrofractures was observed in the Amery Ice Shelf grounding zone, East Antarctica. The lake depth at drainage varied considerably between events, raising questions about the mechanisms that induce hydrofracture, even at low lake depths. Here we use a modelling approach to investigate the contribution of tidally driven flexure to hydrofracture propagation. We model the viscoelastic response of a marine ice sheet to tides, the stresses that are induced, and the contribution of tidal stresses to hydrofracture propagation. Our results show that ocean tides and lake-water pressure together control supraglacial lake drainage through hydrofractures in the grounding zone. We give a model-based criterion that predicts supraglacial lake drainage as a function of daily maximum tidal amplitude and lake depth. Our model-based criterion agrees with remotely sensed data, indicating the importance of tidal flexure to processes associated with hydrofracturing such as supraglacial lake drainage, rifting and calving.
△ Less
Submitted 6 March, 2024; v1 submitted 2 November, 2023;
originally announced November 2023.
-
Granular dilatancy and non-local fluidity of partially molten rock
Authors:
Richard F. Katz,
John F. Rudge,
Lars N. Hansen
Abstract:
Partially molten rock is a densely packed, melt-saturated, granular medium, but it has seldom been considered in these terms. In this manuscript, we extend the continuum theory of partially molten rock to incorporate the physics of granular media. Our formulation includes dilatancy in a viscous constitutive law and introduces a non-local fluidity. We analyse the resulting poro-viscous--granular th…
▽ More
Partially molten rock is a densely packed, melt-saturated, granular medium, but it has seldom been considered in these terms. In this manuscript, we extend the continuum theory of partially molten rock to incorporate the physics of granular media. Our formulation includes dilatancy in a viscous constitutive law and introduces a non-local fluidity. We analyse the resulting poro-viscous--granular theory in terms of two modes of liquid--solid segregation that are observed in published torsion experiments: localisation of liquid into high-porosity sheets and radially inward liquid flow. We show that the newly incorporated granular physics brings the theory into agreement with experiments. We discuss these results in the context of grain-scale physics across the nominal jamming fraction at the high homologous temperatures relevant in geological systems.
△ Less
Submitted 27 November, 2023; v1 submitted 18 September, 2023;
originally announced September 2023.
-
On the gain of entrainment in a class of weakly contractive bilinear control systems with applications to the master equation and the ribosome flow model
Authors:
Rami Katz,
Thomas Kriecherbauer,
Lars Grüne,
Michael Margaliot
Abstract:
We consider a class of bilinear weakly contractive systems that entrain to periodic excitations. Entrainment is important in many natural and artificial processes. For example, in order to function properly synchronous generators must entrain to the frequency of the electrical grid, and biological organisms must entrain to the 24h solar day. A dynamical system has a positive gain of entrainment (G…
▽ More
We consider a class of bilinear weakly contractive systems that entrain to periodic excitations. Entrainment is important in many natural and artificial processes. For example, in order to function properly synchronous generators must entrain to the frequency of the electrical grid, and biological organisms must entrain to the 24h solar day. A dynamical system has a positive gain of entrainment (GOE) if entrainment also yields a larger output, on average. This property is important in many applications from the periodic operation of bioreactors to the periodic production of proteins during the cell cycle division process. We derive a closed-form formula for the GOE to first-order in the control perturbation. This is used to show that in the class of systems that we consider the GOE is always a higher-order phenomenon. We demonstrate the theoretical results using two applications: the master equation and a model from systems biology called the ribosome flow model, both with time-varying and periodic transition rates.
△ Less
Submitted 7 July, 2023;
originally announced July 2023.
-
Episodic fluid venting from sedimentary basins fuelled by pressurised mudstones
Authors:
Luke M. Kearney,
Richard F. Katz,
Christopher W. MacMinn,
Chris Kirkham,
Joe Cartwright
Abstract:
Subsurface sandstone reservoirs sealed by overlying, low-permeability layers provide capacity for long-term sequestration of anthropogenic waste. Leakage can occur if reservoir pressures rise sufficiently to fracture the seal. Such pressures can be generated within the reservoir by vigorous injection of waste or, over thousands of years, by natural processes. In either case, the precise role of in…
▽ More
Subsurface sandstone reservoirs sealed by overlying, low-permeability layers provide capacity for long-term sequestration of anthropogenic waste. Leakage can occur if reservoir pressures rise sufficiently to fracture the seal. Such pressures can be generated within the reservoir by vigorous injection of waste or, over thousands of years, by natural processes. In either case, the precise role of intercalated mudstones in the long-term evolution of reservoir pressure remains unclear; these layers have variously been viewed as seals, as pressure sinks or as pressure sources. Here, we use the geological record of episodic fluid venting in the Levant Basin to provide striking evidence for the pressure-source hypothesis. We use a Bayesian framework to combine recently published venting data, which record critical subsurface pressures since $\sim$2~Ma, with a stochastic model of pressure evolution to infer a pressure-recharge rate of $\sim$30~MPa/Myr. To explain this large rate, we quantify and compare a range of candidate mechanisms. We find that poroelastic pressure diffusion from mudstones provides the most plausible explanation for these observations, amplifying the $\sim$3~MPa/Myr recharge caused primarily by tectonic compression. Since pressurised mudstones are ubiquitous in sedimentary basins, pressure diffusion from mudstones is likely to promote seal failure globally.
△ Less
Submitted 2 February, 2024; v1 submitted 29 June, 2023;
originally announced June 2023.
-
Internal stabilization of three interconnected semilinear reaction-diffusion PDEs with one actuated state
Authors:
Constantinos Kitsos,
Rami Katz,
Emilia Fridman
Abstract:
This work deals with the exponential stabilization of a system of three semilinear parabolic partial differential equations (PDEs), written in a strict feedforward form. The diffusion coefficients are considered distinct and the PDEs are interconnected via both a reaction matrix and a nonlinearity. Only one of the PDEs is assumed to be controlled internally, thereby leading to an underactuated sys…
▽ More
This work deals with the exponential stabilization of a system of three semilinear parabolic partial differential equations (PDEs), written in a strict feedforward form. The diffusion coefficients are considered distinct and the PDEs are interconnected via both a reaction matrix and a nonlinearity. Only one of the PDEs is assumed to be controlled internally, thereby leading to an underactuated system. Constructive and efficient control of such underactuated systems is a nontrivial open problem, which has been solved recently for the linear case. In this work, these results are extended to the semilinear case, which is highly challenging due the interconnection that is introduced by the nonlinearity. Modal decomposition is employed, where due to nonlinearity, the finite-dimensional part of the solution is coupled with the infinite-dimensional tail. A transformation is then performed to map the finite-dimensional part into a target system, which allows for an efficient design of a static linear proportional state-feedback controller. Furthermore, a high-gain approach is employed in order to compensate for the nonlilinear terms. Lyapunov stability analysis is performed, leading to LMI conditions guaranteeing exponential stability with arbitrary decay rate. The LMIs are shown to always be feasible, provided the number of actuators and the value of the high gain parameter are large enough. Numerical examples show the efficiency of the proposed approach.
△ Less
Submitted 4 April, 2023;
originally announced April 2023.
-
On the accuracy of Prony's method for recovery of exponential sums with closely spaced exponents
Authors:
Rami Katz,
Nuha Diab,
Dmitry Batenkov
Abstract:
In this paper we establish accuracy bounds of Prony's method (PM) for recovery of sparse measures from incomplete and noisy frequency measurements, or the so-called problem of super-resolution, when the minimal separation between the points in the support of the measure may be much smaller than the Rayleigh limit. In particular, we show that PM is optimal with respect to the previously established…
▽ More
In this paper we establish accuracy bounds of Prony's method (PM) for recovery of sparse measures from incomplete and noisy frequency measurements, or the so-called problem of super-resolution, when the minimal separation between the points in the support of the measure may be much smaller than the Rayleigh limit. In particular, we show that PM is optimal with respect to the previously established min-max bound for the problem, in the setting when the measurement bandwidth is constant, with the minimal separation going to zero. Our main technical contribution is an accurate analysis of the inter-relations between the different errors in each step of PM, resulting in previously unnoticed cancellations. We also prove that PM is numerically stable in finite-precision arithmetic. We believe our analysis will pave the way to providing accurate analysis of known algorithms for the super-resolution problem in full generality.
△ Less
Submitted 16 April, 2024; v1 submitted 12 February, 2023;
originally announced February 2023.
-
Kernel-as-a-Service: A Serverless Interface to GPUs
Authors:
Nathan Pemberton,
Anton Zabreyko,
Zhoujie Ding,
Randy Katz,
Joseph Gonzalez
Abstract:
Serverless computing has made it easier than ever to deploy applications over scalable cloud resources, all the while driving higher utilization for cloud providers. While this technique has worked well for easily divisible resources like CPU and local DRAM, it has struggled to incorporate more expensive and monolithic resources like GPUs or other application accelerators. We cannot simply slap a…
▽ More
Serverless computing has made it easier than ever to deploy applications over scalable cloud resources, all the while driving higher utilization for cloud providers. While this technique has worked well for easily divisible resources like CPU and local DRAM, it has struggled to incorporate more expensive and monolithic resources like GPUs or other application accelerators. We cannot simply slap a GPU on a FaaS platform and expect to keep all the benefits serverless promises. We need a more tailored approach if we want to best utilize these critical resources.
In this paper we present Kernel-as-a-Service (KaaS), a serverless interface to GPUs. In KaaS, GPUs are first-class citizens that are invoked just like any other serverless function. Rather than mixing host and GPU code as is typically done, KaaS runs graphs of GPU-only code while host code is run on traditional functions. The KaaS system is responsible for managing GPU memory and schedules user kernels across the entire pool of available GPUs rather than relying on static allocations. This approach allows us to more effectively share expensive GPU resources, especially in multitenant environments like the cloud. We add support for KaaS to the Ray distributed computing framework and evaluate it with workloads including a TVM-based deep learning compiler and a BLAS library. Our results show that KaaS is able to drive up to 50x higher throughput and 16x lower latency when GPU resources are contended.
△ Less
Submitted 15 December, 2022;
originally announced December 2022.
-
Decimated Prony's Method for Stable Super-resolution
Authors:
Rami Katz,
Nuha Diab,
Dmitry Batenkov
Abstract:
We study recovery of amplitudes and nodes of a finite impulse train from noisy frequency samples. This problem is known as super-resolution under sparsity constraints and has numerous applications. An especially challenging scenario occurs when the separation between Dirac pulses is smaller than the Nyquist-Shannon-Rayleigh limit. Despite large volumes of research and well-established worst-case r…
▽ More
We study recovery of amplitudes and nodes of a finite impulse train from noisy frequency samples. This problem is known as super-resolution under sparsity constraints and has numerous applications. An especially challenging scenario occurs when the separation between Dirac pulses is smaller than the Nyquist-Shannon-Rayleigh limit. Despite large volumes of research and well-established worst-case recovery bounds, there is currently no known computationally efficient method which achieves these bounds in practice. In this work we combine the well-known Prony's method for exponential fitting with a recently established decimation technique for analyzing the super-resolution problem in the above mentioned regime. We show that our approach attains optimal asymptotic stability in the presence of noise, and has lower computational complexity than the current state of the art methods.
△ Less
Submitted 27 March, 2023; v1 submitted 24 October, 2022;
originally announced October 2022.
-
Episodic, compression-driven fluid venting in layered sedimentary basins
Authors:
Luke M. Kearney,
Christopher W. MacMinn,
Richard F. Katz,
Chris Kirkham,
Joe Cartwright
Abstract:
Fluid venting phenomena are prevalent in sedimentary basins globally. Offshore, these localised fluid-expulsion events are archived in the geologic record by the resulting pockmarks at the sea-floor. Venting is widely interpreted to occur via hydraulic fracturing, which requires near-lithostatic pore pressures for initiation. One common driver for these extreme pressures is horizontal tectonic com…
▽ More
Fluid venting phenomena are prevalent in sedimentary basins globally. Offshore, these localised fluid-expulsion events are archived in the geologic record by the resulting pockmarks at the sea-floor. Venting is widely interpreted to occur via hydraulic fracturing, which requires near-lithostatic pore pressures for initiation. One common driver for these extreme pressures is horizontal tectonic compression, which pressurises the entire sedimentary column over a wide region. Fluid expulsion leads to a sudden, local relief of this pressure, which then gradually recharges through continued compression, leading to episodic venting. Pressure recharge will also occur through pressure diffusion from neighbouring regions that remain pressurised, but the combined role of compression and pressure diffusion in episodic venting has not previously been considered. Here, we develop a novel poroelastic model for episodic, compression-driven venting. We show that compression and pressure diffusion together set the resulting venting period. We derive a simple analytical expression for this venting period, demonstrating that pressure diffusion can significantly reduce the venting period associated with a given rate of compression. Our expression allows this rate of compression to be inferred from observations of episodic venting. We conclude that pressure diffusion is a major contributor to episodic fluid venting in mudstone-dominated basins.
△ Less
Submitted 31 May, 2023; v1 submitted 7 October, 2022;
originally announced October 2022.
-
Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games
Authors:
Xavier Allamigeon,
Stéphane Gaubert,
Ricardo D. Katz,
Mateusz Skomra
Abstract:
We develop value iteration-based algorithms to solve in a unified manner different classes of combinatorial zero-sum games with mean-payoff type rewards. These algorithms rely on an oracle, evaluating the dynamic programming operator up to a given precision. We show that the number of calls to the oracle needed to determine exact optimal (positional) strategies is, up to a factor polynomial in the…
▽ More
We develop value iteration-based algorithms to solve in a unified manner different classes of combinatorial zero-sum games with mean-payoff type rewards. These algorithms rely on an oracle, evaluating the dynamic programming operator up to a given precision. We show that the number of calls to the oracle needed to determine exact optimal (positional) strategies is, up to a factor polynomial in the dimension, of order R/sep, where the "separation" sep is defined as the minimal difference between distinct values arising from strategies, and R is a metric estimate, involving the norm of approximate sub and super-eigenvectors of the dynamic programming operator. We illustrate this method by two applications. The first one is a new proof, leading to improved complexity estimates, of a theorem of Boros, Elbassioni, Gurvich and Makino, showing that turn-based mean-payoff games with a fixed number of random positions can be solved in pseudo-polynomial time. The second one concerns entropy games, a model introduced by Asarin, Cervelle, Degorre, Dima, Horn and Kozyakin. The rank of an entropy game is defined as the maximal rank among all the ambiguity matrices determined by strategies of the two players. We show that entropy games with a fixed rank, in their original formulation, can be solved in polynomial time, and that an extension of entropy games incorporating weights can be solved in pseudo-polynomial time under the same fixed rank condition.
△ Less
Submitted 17 June, 2022;
originally announced June 2022.
-
One-dimensional complex potentials for quarkonia in a quark-gluon plasma
Authors:
Roland Katz,
Stéphane Delorme,
Pol-Bernard Gossiaux
Abstract:
Master equations of the Lindblad type have recently been derived to describe the dynamics of quarkonium states in the quark-gluon plasma. Because their full resolution in three dimensions is very challenging, the equations are often reduced to one dimension. The main ingredient of these equations is the complex potential that describes the binding of the heavy quark-antiquark pairs and their inter…
▽ More
Master equations of the Lindblad type have recently been derived to describe the dynamics of quarkonium states in the quark-gluon plasma. Because their full resolution in three dimensions is very challenging, the equations are often reduced to one dimension. The main ingredient of these equations is the complex potential that describes the binding of the heavy quark-antiquark pairs and their interactions with the medium. In this work, we propose a one-dimensional complex potential parameterized to reproduce at best two key properties -- the temperature-dependent masses of the eigenstates and their decay widths -- of a three-dimensional lattice QCD inspired potential. Their spectral decompositions are calculated to check their compatibility with the positivity of the master equations.
△ Less
Submitted 2 December, 2022; v1 submitted 10 May, 2022;
originally announced May 2022.
-
Basal hydrofractures near sticky patches
Authors:
Hanwen Zhang,
Timothy Davis,
Richard F. Katz,
Laura A. Stevens,
Dave A. May
Abstract:
Basal crevasses are macroscopic structural discontinuities at the base of ice sheets and glaciers. Motivated by observations and the mechanics of elastic fracture, we hypothesise that in the presence of basal water pressure, spatial variations in basal stress can promote and localise basal crevassing. We quantify this process in the theoretical context of linear elastic fracture mechanics. We deve…
▽ More
Basal crevasses are macroscopic structural discontinuities at the base of ice sheets and glaciers. Motivated by observations and the mechanics of elastic fracture, we hypothesise that in the presence of basal water pressure, spatial variations in basal stress can promote and localise basal crevassing. We quantify this process in the theoretical context of linear elastic fracture mechanics. We develop a model evaluating the effect of shear stress variation on the growth of basal crevasses. Our results indicate that sticky patches promote the initiation of basal crevasses, increase their length of propagation into the ice and, under some conditions, give them curved trajectories that incline upstream. A detailed exploration of the parameter space is conducted to gain a better understanding of the conditions under which sticky-patch-induced basal crevassing likely occurs beneath ice sheets and glaciers.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
Ultrasensitive electrode-free and co-catalyst-free detection of nanomoles per hour hydrogen evolution for the discovery of new photocatalysts
Authors:
Huaiyu,
Wang,
Rebecca Katz,
Julian Fanghanel,
Raymond E. Schaak,
Venkatraman Gopalan
Abstract:
High throughput theoretical methods are increasingly used to identify promising photocatalytic materials for hydrogen generation from water as a clean source of energy. While most promising water splitting candidates require co-catalyst loading and electrical biasing, computational costs to predict them apriori becomes large. It is therefore important to identify bare, bias-free semiconductor phot…
▽ More
High throughput theoretical methods are increasingly used to identify promising photocatalytic materials for hydrogen generation from water as a clean source of energy. While most promising water splitting candidates require co-catalyst loading and electrical biasing, computational costs to predict them apriori becomes large. It is therefore important to identify bare, bias-free semiconductor photocatalysts with small initial hydrogen production rates, often in the range of tens of nano-mols per hour, as these can become highly efficient with further co-catalyst loading and biasing. Here we report a sensitive hydrogen detection system suitable for screening new photocatalysts. The hydrogen evolution rate of the prototypical rutile TiO2 loaded with 0.3 % wt Pt is detected to be 78.0+-0.8 μmol/h/0.04g, comparable with the rates reported in the literature. In contrast, sensitivity to an ultralow evolution rate of 11.4+-0.3 nmol/h/0.04g is demonstrated for bare polycrystalline TiO2 without electrical bias. Two candidate photocatalysts, ZnFe2O4 (18.1+-0.2 nmol/h/0.04g) and Ca2PbO4 (35.6+-0.5 nmol/h/0.04g), without electrical bias or co-catalyst loading, are demonstrated to be potentially superior to bare TiO2. This work expands the techniques available for sensitive detection of photocatalytic processes towards much faster screening of new candidate photocatalytic materials in their bare state
△ Less
Submitted 4 February, 2022;
originally announced February 2022.
-
Global finite-dimensional observer-based stabilization of a semilinear heat equation with large input delay
Authors:
Rami Katz,
Emilia Fridman
Abstract:
We study global finite-dimensional observer-based stabilization of a semilinear 1D heat equation with globally Lipschitz semilinearity in the state variable. We consider Neumann actuation and point measurement. Using dynamic extension and modal decomposition we derive nonlinear ODEs for the modes of the state. We propose a controller that is based on a nonlinear finite-dimensional Luenberger obser…
▽ More
We study global finite-dimensional observer-based stabilization of a semilinear 1D heat equation with globally Lipschitz semilinearity in the state variable. We consider Neumann actuation and point measurement. Using dynamic extension and modal decomposition we derive nonlinear ODEs for the modes of the state. We propose a controller that is based on a nonlinear finite-dimensional Luenberger observer. Our Lypunov $H^1$-stability analysis leads to LMIs, which are shown to be feasible for a large enough observer dimension and small enough Lipschitz constant. Next, we consider the case of a constant input delay $r>0$. To compensate the delay, we introduce a chain of $M$ sub-predictors that leads to a nonlinear closed-loop ODE system, coupled with nonlinear infinite-dimensional tail ODEs. We provide LMIs for $H^1$-stability and prove that for any $r>0$, the LMIs are feasible provided $M$ and $N$ are large enough and the Lipschitz constant is small enough. Numerical examples demonstrate the efficiency of the proposed approach.
△ Less
Submitted 28 December, 2021;
originally announced December 2021.
-
Finite-dimensional boundary control of the linear Kuramoto-Sivashinsky equation under point measurement with guaranteed $L^2$-gain
Authors:
Rami Katz,
Emilia Fridman
Abstract:
Finite-dimensional observer-based controller design for PDEs is a challenging problem. Recently, such controllers were introduced for the 1D heat equation, under the assumption that one of the observation or control operators is bounded. This paper suggests a constructive method for such controllers for 1D parabolic PDEs with both (observation and control) operators being unbounded. We consider th…
▽ More
Finite-dimensional observer-based controller design for PDEs is a challenging problem. Recently, such controllers were introduced for the 1D heat equation, under the assumption that one of the observation or control operators is bounded. This paper suggests a constructive method for such controllers for 1D parabolic PDEs with both (observation and control) operators being unbounded. We consider the Kuramoto-Sivashinsky equation (KSE) under either boundary or in-domain point measurement and boundary actuation. We employ a modal decomposition approach via dynamic extension, using eigenfunctions of a Sturm-Liouville operator. The controller dimension is defined by the number of unstable modes, whereas the observer dimension $N$ may be larger than this number. We suggest a direct Lyapunov approach to the full-order closed-loop system, which results in an LMI whose elements and dimension depend on $N$. The value of $N$ and the decay rate are obtained from the LMI. We extend our approach to internal stabilization with guaranteed $L^2$-gain and input-to-state stabilization. We prove two crucial properties of the derived LMIs. First, We prove that the LMIs are always feasible provided $N$ and the $L^2$ or ISS gains are large enough, thereby obtaining guarantees for our approach. Moreover, for the case of stabilization, we show that feasibility of the LMI for some $N$ implies its feasibility for $N+1$ (i.e., enlarging $N$ in the LMI cannot deteriorate the resulting decay rate of the closed-loop system). Numerical examples demonstrate the efficiency of the method.
△ Less
Submitted 16 August, 2021; v1 submitted 28 June, 2021;
originally announced June 2021.
-
Formalizing the Face Lattice of Polyhedra
Authors:
Xavier Allamigeon,
Ricardo D. Katz,
Pierre-Yves Strub
Abstract:
Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library providing the basic constructions and operations over polyhedra, including projections, convex hulls and images under linear maps. Moreover, we design a special mechan…
▽ More
Faces play a central role in the combinatorial and computational aspects of polyhedra. In this paper, we present the first formalization of faces of polyhedra in the proof assistant Coq. This builds on the formalization of a library providing the basic constructions and operations over polyhedra, including projections, convex hulls and images under linear maps. Moreover, we design a special mechanism which automatically introduces an appropriate representation of a polyhedron or a face, depending on the context of the proof. We demonstrate the usability of this approach by establishing some of the most important combinatorial properties of faces, namely that they constitute a family of graded atomistic and coatomistic lattices closed under interval sublattices. We also prove a theorem due to Balinski on the $d$-connectedness of the adjacency graph of polytopes of dimension $d$.
△ Less
Submitted 17 May, 2022; v1 submitted 30 April, 2021;
originally announced April 2021.
-
Sub-predictors and classical predictors for finite-dimensional observer-based control of parabolic PDEs
Authors:
Rami Katz,
Emilia Fridman
Abstract:
We study constant input delay compensation by using finite-dimensional observer-based controllers in the case of the 1D heat equation. We consider Neumann actuation with nonlocal measurement and employ modal decomposition with $N+1$ modes in the observer. We introduce a chain of $M$ sub-predictors that leads to a closed-loop ODE system coupled with infinite-dimensional tail. Given an input delay…
▽ More
We study constant input delay compensation by using finite-dimensional observer-based controllers in the case of the 1D heat equation. We consider Neumann actuation with nonlocal measurement and employ modal decomposition with $N+1$ modes in the observer. We introduce a chain of $M$ sub-predictors that leads to a closed-loop ODE system coupled with infinite-dimensional tail. Given an input delay $r$, we present LMI stability conditions for finding $M$ and $N$ and the resulting exponential decay rate and prove that the LMIs are always feasible for any $r$. We also consider a classical observer-based predictor and show that the corresponding LMI stability conditions are feasible for any $r$ provided $N$ is large enough. A numerical example demonstrates that the classical predictor leads to a lower-dimensional observer. However, it is known to be hard for implementation due to the distributed input signal.
△ Less
Submitted 27 April, 2021;
originally announced April 2021.
-
The role of grain-environment heterogeneity in normal grain growth: a stochastic approach
Authors:
Thomas Breithaupt,
Lars N. Hansen,
Srikanth Toppaladoddi,
Richard F. Katz
Abstract:
The size distribution of grains is a fundamental characteristic of polycrystalline solids. In the absence of deformation, the grain-size distribution is controlled by normal grain growth. The canonical model of normal grain growth, developed by Hillert, predicts a grain-size distribution that bears a systematic discrepancy with observed distributions. To address this, we propose a change to the Hi…
▽ More
The size distribution of grains is a fundamental characteristic of polycrystalline solids. In the absence of deformation, the grain-size distribution is controlled by normal grain growth. The canonical model of normal grain growth, developed by Hillert, predicts a grain-size distribution that bears a systematic discrepancy with observed distributions. To address this, we propose a change to the Hillert model that accounts for the influence of heterogeneity in the local environment of grains. In our model, each grain evolves in response to its own local environment of neighbouring grains, rather than to the global population of grains. The local environment of each grain evolves according to an Ornstein-Uhlenbeck stochastic process. Our results are consistent with accepted grain-growth kinetics. Crucially, our model indicates that the size of relatively large grains evolves as a random walk due to the inherent variability in their local environments. This leads to a broader grain-size distribution than the Hillert model and indicates that heterogeneity has a critical influence on the evolution of microstructure.
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
Optimizing accuracy and efficacy in data-driven materials discovery for the solar production of hydrogen
Authors:
Yihuang Xiong,
Quinn T. Campbell,
Julian Fanghanel,
Catherine K. Badding,
Huaiyu Wang,
Nicole E. Kirchner-Hall,
Monica J. Theibault,
Iurii Timrov,
Jared S. Mondschein,
Kriti Seth,
Rebecca Katz,
Andres Molina Villarino,
Betül Pamuk,
Megan E. Penrod,
Mohammed M. Khan,
Tiffany Rivera,
Nathan C. Smith,
Xavier Quintana,
Paul Orbe,
Craig J. Fennie,
Senorpe Asem-Hiablie,
James L. Young,
Todd G. Deutsch,
Matteo Cococcioni,
Venkatraman Gopalan
, et al. (3 additional authors not shown)
Abstract:
The production of hydrogen fuels, via water splitting, is of practical relevance for meeting global energy needs and mitigating the environmental consequences of fossil-fuel-based transportation. Water photoelectrolysis has been proposed as a viable approach for generating hydrogen, provided that stable and inexpensive photocatalysts with conversion efficiencies over 10% can be discovered, synthes…
▽ More
The production of hydrogen fuels, via water splitting, is of practical relevance for meeting global energy needs and mitigating the environmental consequences of fossil-fuel-based transportation. Water photoelectrolysis has been proposed as a viable approach for generating hydrogen, provided that stable and inexpensive photocatalysts with conversion efficiencies over 10% can be discovered, synthesized at scale, and successfully deployed (Pinaud et al., Energy Environ. Sci., 2013, 6, 1983). While a number of first-principles studies have focused on the data-driven discovery of photocatalysts, in the absence of systematic experimental validation, the success rate of these predictions may be limited. We address this problem by develo** a screening procedure with co-validation between experiment and theory to expedite the synthesis, characterization, and testing of the computationally predicted, most desirable materials. Starting with 70,150 compounds in the Materials Project database, the proposed protocol yielded 71 candidate photocatalysts, 11 of which were synthesized as single-phase materials. Experiments confirmed hydrogen generation and favorable band alignment for 6 of the 11 compounds, with the most promising ones belonging to the families of alkali and alkaline-earth indates and orthoplumbates. This study shows the accuracy of a nonempirical, Hubbard-corrected density-functional theory method to predict band gaps and band offsets at a fraction of the computational cost of hybrid functionals, and outlines an effective strategy to identify photocatalysts for solar hydrogen generation.
△ Less
Submitted 1 February, 2021;
originally announced February 2021.
-
Proof Automation in the Theory of Finite Sets and Finite Set Relation Algebra
Authors:
Maximiliano Cristiá,
Ricardo D. Katz,
Gianfranco Rossi
Abstract:
{log} ('setlog') is a satisfiability solver for formulas of the theory of finite sets and finite set relation algebra (FSTRA). As such, it can be used as an automated theorem prover (ATP) for this theory. {log} is able to automatically prove a number of FSTRA theorems, but not all of them. Nevertheless, we have observed that many theorems that {log} cannot automatically prove can be divided into a…
▽ More
{log} ('setlog') is a satisfiability solver for formulas of the theory of finite sets and finite set relation algebra (FSTRA). As such, it can be used as an automated theorem prover (ATP) for this theory. {log} is able to automatically prove a number of FSTRA theorems, but not all of them. Nevertheless, we have observed that many theorems that {log} cannot automatically prove can be divided into a few subgoals automatically dischargeable by {log}. The purpose of this work is to present a prototype interactive theorem prover (ITP), called {log}-ITP, providing evidence that a proper integration of {log} into world-class ITP's can deliver a great deal of proof automation concerning FSTRA. An empirical evaluation based on 210 theorems from the TPTP and Coq's SSReflect libraries shows a noticeable reduction in the size and complexity of the proofs with respect to Coq.
△ Less
Submitted 19 January, 2021;
originally announced January 2021.
-
Delayed finite-dimensional observer-based control of 1D heat equation under Neumann actuation
Authors:
Rami Katz,
Idan Basre,
Emilia Fridman
Abstract:
Recently a constructive method was introduced for finite-dimensional observer-based control of 1D parabolic PDEs. In this paper we present an improved method in terms of the reduced-order LMIs (that significantly shorten the computation time) and introduce predictors to manage with larger delays. We treat the case of a 1D heat equation under Neumann actuation and non-local measurement, that has no…
▽ More
Recently a constructive method was introduced for finite-dimensional observer-based control of 1D parabolic PDEs. In this paper we present an improved method in terms of the reduced-order LMIs (that significantly shorten the computation time) and introduce predictors to manage with larger delays. We treat the case of a 1D heat equation under Neumann actuation and non-local measurement, that has not been studied yet. We apply modal decomposition and prove $L^2$ exponential stability by a direct Lyapunov method. We provide reduced-order LMI conditions for finding the observer dimension $N$ and resulting decay rate. The LMI dimension does not grow with $N$. The LMI is always feasible for large $N$, and feasibility for $N$ implies feasibility for $N+1$. For the first time we manage with delayed implementation of the controller in the presence of fast-varying (without any constraints on the delay-derivative) input and output delays. To manage with larger delays, we construct classical observer-based predictors. For the known input delay, the LMIs dimension does not grow with $N$, whereas for unknown one the LMIs dimension grows, but it is ssentially smaller than in the existing results. A numerical example demonstrates the efficiency of our method.
△ Less
Submitted 16 January, 2022; v1 submitted 21 November, 2020;
originally announced November 2020.
-
Finite-dimensional control of the heat equation: Dirichlet actuation and point measurement
Authors:
Rami Katz,
Emilia Fridman
Abstract:
Recently finite-dimensional observer-based controllers were introduced for the 1D heat equation, where at least one of the observation or control operators is bounded. In this paper, for the first time, we manage with such controllers for the 1D heat equation with both operators being unbounded. We consider Dirichlet actuation and point measurement and use a modal decomposition approach via dynami…
▽ More
Recently finite-dimensional observer-based controllers were introduced for the 1D heat equation, where at least one of the observation or control operators is bounded. In this paper, for the first time, we manage with such controllers for the 1D heat equation with both operators being unbounded. We consider Dirichlet actuation and point measurement and use a modal decomposition approach via dynamic extension. We suggest a direct Lyapunov approach to the full-order closed-loop system, where the finite-dimensional state is coupled with the infinite-dimensional tail of the state Fourier expansion, and provide LMIs for finding the controller dimension and the resulting exponential decay rate. We further study sampled-data implementation of the controller under sampled-data measurement. We use Wirtinger-based, discontinuous in time, Lyapunov functionals which compensate sampling in the finite-dimensional state. To compensate sampling in the infinite-dimensional tail, we use a novel form of Halanay's inequality, which is appropriate for Lyapunov functions with jump discontinuities that do not grow in the jumps. Numerical examples demonstrate the efficiency of the method.
△ Less
Submitted 14 November, 2020;
originally announced November 2020.
-
Magmatic channelisation by reactive and shear-driven instabilities at mid-ocean ridges: a combined analysis
Authors:
David W. Rees Jones,
Hanwen Zhang,
Richard F. Katz
Abstract:
It is generally accepted that melt extraction from the mantle at mid-ocean ridges (MORs) is concentrated in narrow regions of elevated melt fraction called channels. Two feedback mechanisms have been proposed to explain why these channels grow by linear instability: shear flow of partially molten mantle and reactive flow of the ascending magma. These two mechanisms have been studied extensively, i…
▽ More
It is generally accepted that melt extraction from the mantle at mid-ocean ridges (MORs) is concentrated in narrow regions of elevated melt fraction called channels. Two feedback mechanisms have been proposed to explain why these channels grow by linear instability: shear flow of partially molten mantle and reactive flow of the ascending magma. These two mechanisms have been studied extensively, in isolation from each other, through theory and laboratory experiments as well as field and geophysical observations. Here, we develop a consistent theory that accounts for both proposed mechanisms and allows us to weigh their relative contributions. We show that interaction of the two feedback mechanisms is insignificant and that the total linear growth rate of channels is well-approximated by summing their independent growth rates. Furthermore, we explain how their competition is governed by the orientation of channels with respect to gravity and mantle shear. By itself, analysis of the reaction-infiltration instability predicts the formation of tube-shaped channels. We show that with the addition of even a small amount of extension in the horizontal, the combined instability favours tabular channels, consistent with the observed morphology of dunite bodies in ophiolites. We apply the new theory to MORs by calculating the accumulated growth and rotation of channels along streamlines of the solid flow. We show that reactive flow is the dominant mechanism deep beneath the ridge axis, where the most unstable orientation of high-porosity channels is sub-vertical. Channels are then rotated by the solid flow away from the vertical. The contribution of the shear-driven instability is confined to the margins of the melting region. Within the limitations of our study, the shear-driven feedback is not responsible for significant melt focusing or for shallowly dip** seismic anisotropy [abridged].
△ Less
Submitted 7 May, 2021; v1 submitted 31 August, 2020;
originally announced August 2020.
-
Tidal controls on the lithospheric thickness and topography of Io from magmatic segregation and volcanism modelling
Authors:
Dan C Spencer,
Richard F Katz,
Ian J Hewitt
Abstract:
Tidal heating is expected to impart significant, non-spherically-symmetric structure to Jupiter's volcanic moon Io. A signature of spatially variable tidal heating is generally sought in observations of surface heat fluxes or volcanic activity, an exploration complicated by the transient nature of volcanic events. The thickness of the lithosphere is expected to change over much longer timescales,…
▽ More
Tidal heating is expected to impart significant, non-spherically-symmetric structure to Jupiter's volcanic moon Io. A signature of spatially variable tidal heating is generally sought in observations of surface heat fluxes or volcanic activity, an exploration complicated by the transient nature of volcanic events. The thickness of the lithosphere is expected to change over much longer timescales, and so may provide a robust link between surface observations and the tidal heating distribution. To predict long-wavelength lithospheric thickness variations, we couple three-dimensional tidal heating calculations to a suite of one-dimensional models of magmatic segregation and volcanic eruption. We find that the lithospheric thickness could either be correlated with the radially integrated heating rate, or weakly anti-correlated. Lithospheric thickness is correlated with radially integrated heating rate if magmatic intrusions form at a constant rate in the lithosphere, but is weakly anti-correlated if intrusions form at a rate proportional to the flux through volcanic conduits. Utilising a simple isostasy model we show how variations in lithospheric thickness can predict long-wavelength topography. The relationship between lithospheric thickness and topography depends on the difference in chemical density between the lithosphere and mantle. Assuming that this difference is small, we find that long-wavelength topography anti-correlates with lithospheric thickness. These results will allow future observations to critically evaluate models for Io's lithospheric structure, and enable their use in constraining the distribution of tidal heating.
△ Less
Submitted 27 January, 2021; v1 submitted 20 August, 2020;
originally announced August 2020.
-
From Data to Knowledge to Action: Enabling the Smart Grid
Authors:
Randal E. Bryant,
Randy H. Katz,
Chase Hensel,
Erwin P. Gianchandani
Abstract:
Our nation's infrastructure for generating, transmitting, and distributing electricity - "The Grid" - is a relic based in many respects on century-old technology. It consists of expensive, centralized generation via large plants, and a massive transmission and distribution system. It strives to deliver high-quality power to all subscribers simultaneously - no matter what their demand - and must th…
▽ More
Our nation's infrastructure for generating, transmitting, and distributing electricity - "The Grid" - is a relic based in many respects on century-old technology. It consists of expensive, centralized generation via large plants, and a massive transmission and distribution system. It strives to deliver high-quality power to all subscribers simultaneously - no matter what their demand - and must therefore be sized to the peak aggregate demand at each distribution point. Ultimately, the system demands end-to-end synchronization, and it lacks a mechanism for storing ("buffering") energy, thus complicating sharing among grids or independent operation during an "upstream" outage. Recent blackouts demonstrate the existing grid's problems - failures are rare but spectacular. Moreover, the structure cannot accommodate the highly variable nature of renewable energy sources such as solar and wind. Many people are pinning their hopes on the "smart grid" - i.e., a more distributed, adaptive, and market-based infrastructure for the generation, distribution, and consumption of electrical energy. This new approach is designed to yield greater efficiency and resilience, while reducing environmental impact, compared to the existing electricity distribution system. Initial plans for the smart grid suggest it will make extensive use of existing information technology. In particular, recent advances in data analytics - i.e., data mining, machine learning, etc. - have the potential to greatly enhance the smart grid and, ultimately, amplify its impact, by hel** us make sense of an increasing wealth of data about how we use energy and the kinds of demands that we are placing upon the current energy grid. Here we describe what the electricity grid could look like in 10 years, and specifically how Federal investment in data analytics approaches are critical to realizing this vision.
△ Less
Submitted 31 July, 2020;
originally announced August 2020.
-
Compositional layering in Io driven by magmatic segregation and volcanism
Authors:
Dan C. Spencer,
Richard F. Katz,
Ian J. Hewitt,
David A. May,
Laszlo Keszthelyi
Abstract:
Magmatic segregation and volcanic eruptions transport tidal heat from Io's interior to its surface. Several observed eruptions appear to be extremely high temperature ($\geq$ 1600 K), suggesting either very high degrees of melting, refractory source regions, or large amounts of viscous heating on ascent. To address this ambiguity, we develop a model that couples crust and mantle dynamics to a simp…
▽ More
Magmatic segregation and volcanic eruptions transport tidal heat from Io's interior to its surface. Several observed eruptions appear to be extremely high temperature ($\geq$ 1600 K), suggesting either very high degrees of melting, refractory source regions, or large amounts of viscous heating on ascent. To address this ambiguity, we develop a model that couples crust and mantle dynamics to a simple compositional system. We analyse the model to investigate chemical structure and evolution. We demonstrate that magmatic segregation and volcanic eruptions lead to differentiation of the mantle, the extent of which depends on how easily high temperature melts from the more refractory lower mantle can migrate upwards. We propose that Io's highest temperature eruptions originate from this lower mantle region, and that such eruptions act to limit the degree of compositional differentiation.
△ Less
Submitted 21 August, 2020; v1 submitted 1 July, 2020;
originally announced July 2020.
-
Heavy flavor dynamics across system size at the LHC
Authors:
Roland Katz,
Caio A. G. Prado,
Jacquelyn Noronha-Hostler,
Alexandre A. P. Suaide
Abstract:
One of the fundamental signatures of the Quark Gluon Plasma has been the suppression of heavy flavor (specifically D mesons), which has been measured via the nuclear modification factor, $R_{AA}$ and azimuthal anisotropies, $v_n$, in large systems. However, multiple competing models can reproduce the same data for $R_{AA}$ to $v_n$. In this talk we break down the competing effects that conspire to…
▽ More
One of the fundamental signatures of the Quark Gluon Plasma has been the suppression of heavy flavor (specifically D mesons), which has been measured via the nuclear modification factor, $R_{AA}$ and azimuthal anisotropies, $v_n$, in large systems. However, multiple competing models can reproduce the same data for $R_{AA}$ to $v_n$. In this talk we break down the competing effects that conspire together to successfully reproduce $R_{AA}$ and $v_n$ in experimental data using Trento+v-USPhydro+DAB-MOD. Then using our best fit model we make predictions for $R_{AA}$ and $v_n$ across system size for $^{208}PbPb$, $^{129}XeXe$, $^{40}ArAr$, and $^{16}OO$ collisions. We find that 0--10\% centrality has a non-trivial interplay between the system size and eccentricities such that system size effects are masked in $v_2$ whereas in 30--50\% centrality the eccentricities are approximately constant across system size and, therefore, is a better centrality class to study D meson dynamics across system size.
△ Less
Submitted 22 May, 2020;
originally announced May 2020.
-
Magmatic intrusions control Io's crustal thickness
Authors:
D. C. Spencer,
R. F. Katz,
I. J. Hewitt
Abstract:
Io, the most volcanically active body in the solar system, loses heat through eruptions of hot lava. Heat is supplied by tidal heating and is thought to be transferred through the mantle by magmatic segregation, a mode of transport that sets it apart from convecting terrestrial planets. We present a model that couples magmatic transport of tidal heat to the volcanic system in the crust, in order t…
▽ More
Io, the most volcanically active body in the solar system, loses heat through eruptions of hot lava. Heat is supplied by tidal heating and is thought to be transferred through the mantle by magmatic segregation, a mode of transport that sets it apart from convecting terrestrial planets. We present a model that couples magmatic transport of tidal heat to the volcanic system in the crust, in order to determine the controls on crustal thickness, magmatic intrusions, and eruption rates. We demonstrate that magmatic intrusions are a key component of Io's crustal heat balance; around 80% of the magma delivered to the base of the crust must be emplaced and frozen as plutons to match rough estimates of crustal thickness. As magma ascends from a partially molten mantle into the crust, a decompacting boundary layer forms, which can explain inferred observations of a high-melt-fraction region.
△ Less
Submitted 15 May, 2020; v1 submitted 18 March, 2020;
originally announced March 2020.
-
D meson sensitivity to a system size scan at LHC
Authors:
Roland Katz,
Jacquelyn Noronha-Hostler,
Caio A. G. Prado,
Alexandre A. P. Suaide
Abstract:
Experimental measurements in pA collisions indicate no D meson suppression ($R_{\rm pPb} \sim 1$) but a surprisingly large $v_2$. To better understand these results we propose a system size scan at the LHC involving $^{16}$OO, $^{40}$ArAr, $^{129}$XeXe and $^{208}$PbPb collisions. Using Trento+ v-USPhydro+DAB-MOD to make predictions, we find that the $R_{\rm AA}$ tends towards unity when the syste…
▽ More
Experimental measurements in pA collisions indicate no D meson suppression ($R_{\rm pPb} \sim 1$) but a surprisingly large $v_2$. To better understand these results we propose a system size scan at the LHC involving $^{16}$OO, $^{40}$ArAr, $^{129}$XeXe and $^{208}$PbPb collisions. Using Trento+ v-USPhydro+DAB-MOD to make predictions, we find that the $R_{\rm AA}$ tends towards unity when the system size is decreased, but nonetheless, in the most central collisions $v_2\{2\}$ is almost independent of the colliding system. These results are analyzed in light of path length and initial eccentricity variations.
△ Less
Submitted 4 November, 2019;
originally announced November 2019.
-
System size scan of D meson $R_\text{AA}$ and $v_n$ using PbPb, XeXe, ArAr, and OO collisions at LHC
Authors:
Roland Katz,
Caio A. G. Prado,
Jacquelyn Noronha-Hostler,
Alexandre A. P. Suaide
Abstract:
Experimental measurements indicate no suppression (e.g. $R_\text{pPb} \sim 1$) but a surprisingly large D meson $v_2$ was measured in pPb collisions. In order to understand these results we use Trento+v-USPhydro+DAB-MOD to make predictions and propose a system size scan at the LHC involving $^{208}$PbPb, $^{129}$XeXe, $^{40}$ArAr, and $^{16}$OO collisions. We find that the nuclear modification fac…
▽ More
Experimental measurements indicate no suppression (e.g. $R_\text{pPb} \sim 1$) but a surprisingly large D meson $v_2$ was measured in pPb collisions. In order to understand these results we use Trento+v-USPhydro+DAB-MOD to make predictions and propose a system size scan at the LHC involving $^{208}$PbPb, $^{129}$XeXe, $^{40}$ArAr, and $^{16}$OO collisions. We find that the nuclear modification factor approaches unity as the system size is decreased, but nonetheless, in the 0-10% most central collisions $v_2\{2\}$ is roughly equivalent regardless of system size. These results arise from a rather non-trivial interplay between the shrinking path length and the enhancement of eccentricities in small systems at high multiplicity. Finally, we also find a surprising sensitivity of D mesons $v_2\{2\}$ in 0-10% at $p_T = 2-10$ GeV to the slight deformation of $^{129}$Xe recently found at LHC.
△ Less
Submitted 12 June, 2020; v1 submitted 7 July, 2019;
originally announced July 2019.
-
DAB-MOD sensitivity study of heavy flavor $R_{AA}$ and azimuthal anisotropies based on beam energy, initial conditions, hadronization, and suppression mechanisms
Authors:
Roland Katz,
Caio A. G. Prado,
Jacquelyn Noronha-Hostler,
Jorge Noronha,
Alexandre A. P. Suaide
Abstract:
Heavy flavor probes provide important information about the in-medium properties of the quark-gluon plasma produced in heavy-ion collisions. In this work, we investigate the effects of 2D+1 event-by-event fluctuating hydrodynamic backgrounds on the nuclear suppression factor and momentum anisotropies of heavy flavor mesons and non-photonic electrons. Using the state-of-the-art D and B mesons modul…
▽ More
Heavy flavor probes provide important information about the in-medium properties of the quark-gluon plasma produced in heavy-ion collisions. In this work, we investigate the effects of 2D+1 event-by-event fluctuating hydrodynamic backgrounds on the nuclear suppression factor and momentum anisotropies of heavy flavor mesons and non-photonic electrons. Using the state-of-the-art D and B mesons modular simulation code (called "DAB-MOD"), we perform a systematic comparison of different transport equations in the same background, including a few energy loss models --- with and without energy loss fluctuations --- and a relativistic Langevin model with different drag parametrizations. We present the resulting D and B mesons $R_{AA}$, $v_2$, $v_3$, and $v_4$ as well as multi-particle cumulants, in AuAu collisions at $\sqrt{s_\text{NN}}=200\, \text{GeV}$ and PbPb collisions at $\sqrt{s_\text{NN}}=2.76 \, \text{TeV}$ and $\sqrt{s_\text{NN}}=5.02 \, \text{TeV}$, and compare them to the available experimental data. The $v_2\{4\}/v_2\{2\}$ ratio, which is known to be a powerful probe of the initial conditions and flow fluctuations in the soft sector, is also studied in the context of heavy flavor. We also investigate the correlations between the transverse anisotropies of heavy mesons and all charged particles to better understand how heavy quarks couple to the hydrodynamically expanding quark-gluon plasma. We study the influence that different initial conditions and the implementation of heavy-light quark coalescence has on our results.
△ Less
Submitted 10 September, 2019; v1 submitted 25 June, 2019;
originally announced June 2019.
-
Devolatilization of Subducting Slabs, Part II: Volatile Fluxes and Storage
Authors:
Meng Tian,
Richard Katz,
David Rees Jones,
Dave May
Abstract:
Subduction is a crucial part of the long-term water and carbon cycling between Earth's exosphere and interior. However, there is broad disagreement over how much water and carbon is liberated from subducting slabs to the mantle wedge and transported to island-arc volcanoes. In the companion paper Part I, we parameterize the metamorphic reactions involving H$_2$O and CO$_2$ for representative subdu…
▽ More
Subduction is a crucial part of the long-term water and carbon cycling between Earth's exosphere and interior. However, there is broad disagreement over how much water and carbon is liberated from subducting slabs to the mantle wedge and transported to island-arc volcanoes. In the companion paper Part I, we parameterize the metamorphic reactions involving H$_2$O and CO$_2$ for representative subducting lithologies. On this basis, a two-dimensional reactive transport model is constructed in this Part II. We assess the various controlling factors of CO$_2$ and H$_2$O release from subducting slabs. Model results show that up-slab fluid flow directions produce a flux peak of CO$_2$ and H$_2$O at subarc depths. Moreover, infiltration of H$_2$O-rich fluids sourced from hydrated slab mantle enhances decarbonation or carbonation at lithological interfaces, increases slab surface fluxes, and redistributes CO$_2$ from basalt and gabbro layers to the overlying sedimentary layer. As a result, removal of the cap sediments (by diapirism or off-scra**) leads to elevated slab surface CO$_2$ and H$_2$O fluxes. The modelled subduction efficiency (the percentage of initially subducted volatiles retained until $\sim$200 km deep) of H$_2$O and CO$_2$ is increased by open-system effects due to fractionation within the interior of lithological layers.
△ Less
Submitted 30 December, 2019; v1 submitted 8 June, 2019;
originally announced June 2019.
-
Devolatilization of Subducting Slabs, Part I: Thermodynamic Parameterization and Open System Effects
Authors:
Meng Tian,
Richard Katz,
David Rees Jones
Abstract:
The amount of H$_2$O and CO$_2$ that is carried into deep mantle by subduction beyond subarc depths is of fundamental importance to the deep volatile cycle but remains debated. Given the large uncertainties surrounding the spatio-temporal pattern of fluid flow and the equilibrium state within subducting slabs, a model of H$_2$O and CO$_2$ transport in slabs should be balanced between model simplic…
▽ More
The amount of H$_2$O and CO$_2$ that is carried into deep mantle by subduction beyond subarc depths is of fundamental importance to the deep volatile cycle but remains debated. Given the large uncertainties surrounding the spatio-temporal pattern of fluid flow and the equilibrium state within subducting slabs, a model of H$_2$O and CO$_2$ transport in slabs should be balanced between model simplicity and capability. We construct such a model in a two-part contribution. In this Part I of our contribution, thermodynamic parameterization is performed for the devolatilization of representative subducting materials---sediments, basalts, gabbros, peridotites. The parameterization avoids reproducing the details of specific devolatilization reactions, but instead captures the overall behaviors of coupled (de)hydration and (de)carbonation. Two general, leading-order features of devolatilization are captured: (1) the released volatiles are H$_2$O-rich near the onset of devolatilization; (2) increase of the ratio of bulk CO$_2$ over H$_2$O inhibits overall devolatilization and thus lessens decarbonation. These two features play an important role in simulation of volatile fractionation and infiltration in thermodynamically open systems. When constructing the reactive fluid flow model of slab H$_2$O and CO$_2$ transport in the companion paper Part II, this parameterization can be incorporated to efficiently account for the open-system effects of H$_2$O and CO$_2$ transport.
△ Less
Submitted 30 December, 2019; v1 submitted 6 June, 2019;
originally announced June 2019.
-
Sensitivity of D meson azimuthal anisotropies to system size and nuclear structure
Authors:
Roland Katz,
Caio A. G. Prado,
Jacquelyn Noronha-Hostler,
Jorge Noronha,
Alexandre A. P. Suaide,
Marcelo G. Munhoz
Abstract:
Recent experimental data at the Large Hadron Collider (LHC) confirmed that the soft sector azimuthal anisotropies in central XeXe collisions are sensitive to deformations in the wave function of the Xenon nucleus. Additionally, the CMS experiment found that D meson flow is slightly suppressed compared to other particle species when considering quark number scaling in small systems of pPb compared…
▽ More
Recent experimental data at the Large Hadron Collider (LHC) confirmed that the soft sector azimuthal anisotropies in central XeXe collisions are sensitive to deformations in the wave function of the Xenon nucleus. Additionally, the CMS experiment found that D meson flow is slightly suppressed compared to other particle species when considering quark number scaling in small systems of pPb compared to PbPb. In this talk we used the D and B Mesons Modular (DAB-MOD) code coupled to Trento+v-USPhydro to calculate the $R_{AA}$ and $v_n$'s of D mesons using different energy loss models and Langevin techniques. Comparing D mesons $R_{AA}$ and $v_n$ in PbPb to XeXe collisions it is found that in central collisions D meson azimuthal anisotropies are sensitive to details in the nuclear structure wave function of Xenon. Additionally, we find that in mid-central collisions the smaller system size of XeXe suppresses D meson flow.
△ Less
Submitted 28 May, 2019;
originally announced May 2019.
-
Explainable AI for Trees: From Local Explanations to Global Understanding
Authors:
Scott M. Lundberg,
Gabriel Erion,
Hugh Chen,
Alex DeGrave,
Jordan M. Prutkin,
Bala Nair,
Ronit Katz,
Jonathan Himmelfarb,
Nisha Bansal,
Su-In Lee
Abstract:
Tree-based machine learning models such as random forests, decision trees, and gradient boosted trees are the most popular non-linear predictive models used in practice today, yet comparatively little attention has been paid to explaining their predictions. Here we significantly improve the interpretability of tree-based models through three main contributions: 1) The first polynomial time algorit…
▽ More
Tree-based machine learning models such as random forests, decision trees, and gradient boosted trees are the most popular non-linear predictive models used in practice today, yet comparatively little attention has been paid to explaining their predictions. Here we significantly improve the interpretability of tree-based models through three main contributions: 1) The first polynomial time algorithm to compute optimal explanations based on game theory. 2) A new type of explanation that directly measures local feature interaction effects. 3) A new set of tools for understanding global model structure based on combining many local explanations of each prediction. We apply these tools to three medical machine learning problems and show how combining many high-quality local explanations allows us to represent global structure while retaining local faithfulness to the original model. These tools enable us to i) identify high magnitude but low frequency non-linear mortality risk factors in the general US population, ii) highlight distinct population sub-groups with shared risk characteristics, iii) identify non-linear interaction effects among risk factors for chronic kidney disease, and iv) monitor a machine learning model deployed in a hospital by identifying which features are degrading the model's performance over time. Given the popularity of tree-based machine learning models, these improvements to their interpretability have implications across a broad set of domains.
△ Less
Submitted 11 May, 2019;
originally announced May 2019.
-
Entrainment to Subharmonic Trajectories in Oscillatory Discrete-Time Systems
Authors:
Rami Katz,
Michael Margaliot,
Emilia Fridman
Abstract:
A matrix $A$ is called totally positive (TP) if all its minors are positive, and totally nonnegative (TN) if all its minors are nonnegative. A square matrix $A$ is called oscillatory if it is TN and some power of $A$ is TP. A linear time-varying system is called an oscillatory discrete-time system (ODTS) if the matrix defining its evolution at each time $k$ is oscillatory. We analyze the propertie…
▽ More
A matrix $A$ is called totally positive (TP) if all its minors are positive, and totally nonnegative (TN) if all its minors are nonnegative. A square matrix $A$ is called oscillatory if it is TN and some power of $A$ is TP. A linear time-varying system is called an oscillatory discrete-time system (ODTS) if the matrix defining its evolution at each time $k$ is oscillatory. We analyze the properties of $n$-dimensional time-varying nonlinear discrete-time systems whose variational system is an ODTS, and show that they have a well-ordered behavior. More precisely, if the nonlinear system is time-varying and $T$-periodic then any trajectory either leaves any compact set or converges to an $(n-1)T$-periodic trajectory, that is, a subharmonic trajectory. These results hold for any dimension $n$. The analysis of such systems requires establishing that a line integral of the Jacobian of the nonlinear system is an oscillatory matrix. This is non-trivial, as the sum of two oscillatory matrices is not necessarily oscillatory, and this carries over to integrals. We derive several new sufficient conditions guaranteeing that the line integral of a matrix is oscillatory, and demonstrate how this yields interesting classes of discrete-time nonlinear systems that admit a well-ordered behavior.
△ Less
Submitted 13 April, 2019;
originally announced April 2019.
-
Consequences of glacial cycles for magmatism and carbon transport at mid-ocean ridges
Authors:
Nestor G. Cerpa,
David W. Rees Jones,
Richard F. Katz
Abstract:
Magmatism and volcanism transfer carbon from the solid Earth into the climate system. This transfer may be modulated by the glacial/interglacial cycling of water between oceans and continental ice sheets, which alters the surface loading of the solid Earth. The consequent volcanic-carbon fluctuations have been proposed as a pacing mechanism for Pleistocene glacial cycles. This mechanism is dependa…
▽ More
Magmatism and volcanism transfer carbon from the solid Earth into the climate system. This transfer may be modulated by the glacial/interglacial cycling of water between oceans and continental ice sheets, which alters the surface loading of the solid Earth. The consequent volcanic-carbon fluctuations have been proposed as a pacing mechanism for Pleistocene glacial cycles. This mechanism is dependant on the amplitude and lag of the mid-ocean ridge response to sea-level changes. Here we develop and analyse a new model for that response, eliminating some questionable assumptions made in previous work. Our model calculates the carbon flux, accounting for the thermodynamic effect of mantle carbon: reduction of the solidus temperature and a deeper onset of melting. We analyse models forced by idealised, periodic sea level and conclude that fluctuations in melting rate are the prime control on magma and carbon flux. We also discuss a model forced by a reconstruction of eustatic sea level over the past 800 kyr. It indicates that peak-to-trough variations of magma and carbon flux are up to about 20% and 10% of the mean flux, respectively. Peaks in mid-ocean ridge emissions lag peaks in sea-level forcing by less than about 20 kyr and the lag could well be shorter. The amplitude and lag are sensitive to the rate of melt segregation. The lag is much shorter than the time it takes for melt to travel vertically across the melting region.
△ Less
Submitted 20 September, 2019; v1 submitted 5 April, 2019;
originally announced April 2019.
-
Heavy-flavor dynamics in event-by-event viscous hydrodynamic backgrounds
Authors:
Roland Katz,
Caio A. G. Prado,
Jacquelyn Noronha-Hostler,
Alexandre A. P. Suaide,
Jorge Noronha,
Marcelo G. Munhoz
Abstract:
We investigate the effects of (2+1)d event-by-event fluctuating hydrodynamic backgrounds on the nuclear modification factor and momentum anisotropies of heavy-flavor mesons. Using the state-of-the-art D and B mesons modular simulation code (the so-called DAB-mod), updated recently with heavy-light quark coalescence, we perform a systematic comparison of different transport equations, including two…
▽ More
We investigate the effects of (2+1)d event-by-event fluctuating hydrodynamic backgrounds on the nuclear modification factor and momentum anisotropies of heavy-flavor mesons. Using the state-of-the-art D and B mesons modular simulation code (the so-called DAB-mod), updated recently with heavy-light quark coalescence, we perform a systematic comparison of different transport equations, including two energy loss models and a relativistic Langevin model with two drag parametrizations. We present the resulting D$^0$ meson $R_{AA}$, $v_2$ and $v_3$, using the multiparticle cumulant method, in Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV and compare them to the latest experimental data. We investigate the $v_2\{4\}/v_2\{2\}$ ratio as a function of centrality for different initial conditions (MCKLN vs. Trento) and different system geometries and sizes (coming from Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV, spherical and prolate Xe-Xe collisions at $\sqrt{s_{\rm NN}}=5.44$ TeV).
△ Less
Submitted 26 February, 2019; v1 submitted 18 December, 2018;
originally announced December 2018.
-
Sampling and Approximation of Bandlimited Volumetric Data
Authors:
Rami Katz,
Yoel Shkolnisky
Abstract:
We present an approximation scheme for functions in three dimensions, that requires only their samples on the Cartesian grid, under the assumption that the functions are sufficiently concentrated in both space and frequency. The scheme is based on expanding the given function in the basis of generalized prolate spheroidal wavefunctions, with the expansion coefficients given by weighted dot product…
▽ More
We present an approximation scheme for functions in three dimensions, that requires only their samples on the Cartesian grid, under the assumption that the functions are sufficiently concentrated in both space and frequency. The scheme is based on expanding the given function in the basis of generalized prolate spheroidal wavefunctions, with the expansion coefficients given by weighted dot products between the samples of the function and the samples of the basis functions. As numerical implementations require all expansions to be finite, we present a truncation rule for the expansions. Finally, we derive a bound on the overall approximation error in terms of the assumed space/frequency concentration.
△ Less
Submitted 17 November, 2018;
originally announced November 2018.
-
The melting column as a filter of mantle trace-element heterogeneity
Authors:
Tong Bo,
Richard F. Katz,
Oliver Shorttle,
John F. Rudge
Abstract:
The observed variability of trace-element concentration in basaltic lavas and melt inclusions carries information about heterogeneity in the mantle. The difficulty is to disentangle the contributions of source heterogeneity (i.e., spatial variability of mantle composition before melting) and process heterogeneity (i.e., spatial and temporal variability in melt transport). Here we investigate the e…
▽ More
The observed variability of trace-element concentration in basaltic lavas and melt inclusions carries information about heterogeneity in the mantle. The difficulty is to disentangle the contributions of source heterogeneity (i.e., spatial variability of mantle composition before melting) and process heterogeneity (i.e., spatial and temporal variability in melt transport). Here we investigate the end-member hypothesis that variability arises due to source heterogeneity alone. We model the attenuation of trace-element variability introduced into the bottom of a one-dimensional, steady-state melting column. Our results show that the melting column can be considered to be a filter that attenuates variability according to the wavelength of heterogeneity, the partition coefficient of the trace element, melt productivity and the efficiency of melt segregation. We further show that while the model can be fit to the observations, this requires assumptions inconsistent with constraints on the timescales of magma assembly. Hence, we falsify the end-member hypothesis and, instead, conclude that observed variability requires heterogeneity of melt transport. This might take the form of channels or waves and would almost certainly interact with source heterogeneity.
△ Less
Submitted 11 November, 2018; v1 submitted 27 August, 2018;
originally announced August 2018.
-
Condition numbers of stochastic mean payoff games and what they say about nonarchimedean semidefinite programming
Authors:
Xavier Allamigeon,
Stéphane Gaubert,
Ricardo D. Katz,
Mateusz Skomra
Abstract:
Semidefinite programming can be considered over any real closed field, including fields of Puiseux series equipped with their nonarchimedean valuation. Nonarchimedean semidefinite programs encode parametric families of classical semidefinite programs, for sufficiently large values of the parameter. Recently, a correspondence has been established between nonarchimedean semidefinite programs and sto…
▽ More
Semidefinite programming can be considered over any real closed field, including fields of Puiseux series equipped with their nonarchimedean valuation. Nonarchimedean semidefinite programs encode parametric families of classical semidefinite programs, for sufficiently large values of the parameter. Recently, a correspondence has been established between nonarchimedean semidefinite programs and stochastic mean payoff games with perfect information. This correspondence relies on tropical geometry. It allows one to solve generic nonarchimedean semidefinite feasibility problems, of large scale, by means of stochastic game algorithms. In this paper, we show that the mean payoff of these games can be interpreted as a condition number for the corresponding nonarchimedean feasibility problems. This number measures how close a feasible instance is from being infeasible, and vice versa. We show that it coincides with the maximal radius of a ball in Hilbert's projective metric, that is included in the feasible set. The geometric interpretation of the condition number relies in particular on a duality theorem for tropical semidefinite feasibility programs. Then, we bound the complexity of the feasibility problem in terms of the condition number. We finally give explicit bounds for this condition number, in terms of the characteristics of the stochastic game. As a consequence, we show that the simplest algorithm to decide whether a stochastic mean payoff game is winning, namely value iteration, has a pseudopolynomial complexity when the number of random positions is fixed.
△ Less
Submitted 21 February, 2018;
originally announced February 2018.
-
Magma ascent in planetesimals: control by grain size
Authors:
Tim Lichtenberg,
Tobias Keller,
Richard F. Katz,
Gregor J. Golabek,
Taras V. Gerya
Abstract:
Rocky planetesimals in the early solar system melted internally and evolved chemically due to radiogenic heating from Al-26. Here we quantify the parametric controls on magma genesis and transport using a coupled petrological and fluid mechanical model of reactive two-phase flow. We find the mean grain size of silicate minerals to be a key control on magma ascent. For grain sizes larger than…
▽ More
Rocky planetesimals in the early solar system melted internally and evolved chemically due to radiogenic heating from Al-26. Here we quantify the parametric controls on magma genesis and transport using a coupled petrological and fluid mechanical model of reactive two-phase flow. We find the mean grain size of silicate minerals to be a key control on magma ascent. For grain sizes larger than $\approx$ 1 mm, melt segregation produces distinct radial structure and chemical stratification. This stratification is most pronounced for bodies formed at around 1 Myr after formation of Ca,Al-rich inclusions. These findings suggest a link between the time and orbital location of planetesimal formation and their subsequent structural and chemical evolution. According to our models, the evolution of partially molten planetesimal interiors falls into two categories. In the magma ocean scenario, the whole interior of a planetesimal experiences nearly complete melting, which would result in turbulent convection and core-mantle differentiation by the rainfall mechanism. In the magma sill scenario, segregating melts gradually deplete the deep interior of the radiogenic heat source. In this case, magma may form melt-rich layers beneath a cool and stable lid, while core formation would proceed by percolation. Our findings suggest that grain sizes prevalent during the internal heating stage governed magma ascent in planetesimals. Regardless of whether evolution progresses toward a magma ocean or magma sill structure, our models predict that temperature inversions due to rapid Al-26 redistribution are limited to bodies formed earlier than $\approx$ 1 Myr after CAIs. We find that if grain size was smaller than $\approx$ 1 mm during peak internal melting, only elevated solid-melt density contrasts (such as found for enstatite chondrite compositions) would allow substantial melt segregation to occur.
△ Less
Submitted 7 January, 2019; v1 submitted 6 February, 2018;
originally announced February 2018.
-
A Berkeley View of Systems Challenges for AI
Authors:
Ion Stoica,
Dawn Song,
Raluca Ada Popa,
David Patterson,
Michael W. Mahoney,
Randy Katz,
Anthony D. Joseph,
Michael Jordan,
Joseph M. Hellerstein,
Joseph E. Gonzalez,
Ken Goldberg,
Ali Ghodsi,
David Culler,
Pieter Abbeel
Abstract:
With the increasing commoditization of computer vision, speech recognition and machine translation systems and the widespread deployment of learning-based back-end technologies such as digital advertising and intelligent infrastructures, AI (Artificial Intelligence) has moved from research labs to production. These changes have been made possible by unprecedented levels of data and computation, by…
▽ More
With the increasing commoditization of computer vision, speech recognition and machine translation systems and the widespread deployment of learning-based back-end technologies such as digital advertising and intelligent infrastructures, AI (Artificial Intelligence) has moved from research labs to production. These changes have been made possible by unprecedented levels of data and computation, by methodological advances in machine learning, by innovations in systems software and architectures, and by the broad accessibility of these technologies.
The next generation of AI systems promises to accelerate these developments and increasingly impact our lives via frequent interactions and making (often mission-critical) decisions on our behalf, often in highly personalized contexts. Realizing this promise, however, raises daunting challenges. In particular, we need AI systems that make timely and safe decisions in unpredictable environments, that are robust against sophisticated adversaries, and that can process ever increasing amounts of data across organizations and individuals without compromising confidentiality. These challenges will be exacerbated by the end of the Moore's Law, which will constrain the amount of data these technologies can store and process. In this paper, we propose several open research directions in systems, architectures, and security that can address these challenges and help unlock AI's potential to improve lives and society.
△ Less
Submitted 15 December, 2017;
originally announced December 2017.