-
Hilbertian Hardy-Sobolev spaces on a half-plane
Authors:
José E. Galé,
Valentin Matache,
Pedro J. Miana,
Luis Sánchez--Lajusticia
Abstract:
In this paper we deal with a scale of reproducing kernel Hilbert spaces $H^{(n)}_2$, $n\ge 0$, which are linear subspaces of the classical Hilbertian Hardy space on the right-hand half-plane $\mathbb{C}^+$. They are obtained as ranges of the Laplace transform in extended versions of the Paley-Wiener theorem which involve absolutely continuous functions of higher degree. An explicit integral formul…
▽ More
In this paper we deal with a scale of reproducing kernel Hilbert spaces $H^{(n)}_2$, $n\ge 0$, which are linear subspaces of the classical Hilbertian Hardy space on the right-hand half-plane $\mathbb{C}^+$. They are obtained as ranges of the Laplace transform in extended versions of the Paley-Wiener theorem which involve absolutely continuous functions of higher degree. An explicit integral formula is given for the reproducing kernel $K_{z,n}$ of $H^{(n)}_2$, from which we can find the estimate $\Vert K_{z,n}\Vert\sim\vert z\vert^{-1/2}$ for $z\in\mathbb{C}^+$. Then composition operators $C_\varphi :H_2^{(n)} \to H_2^{(n)}$, $C_\varphi f=f\circ \varphi $, on these spaces are discussed, giving some necessary and some sufficient conditions for analytic maps $\varphi: \mathbb{C}^+\to \mathbb{C}^+$ to induce bounded composition operators.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
RKH spaces of Brownian type defined by Cesàro-Hardy operators
Authors:
José E. Galé,
Pedro J. Miana,
Luis Sánchez--Lajustici
Abstract:
We study reproducing kernel Hilbert spaces introduced as ranges of generalized Cesàro-Hardy operators, in one real variable and in one complex variable. Such spaces can be seen as formed by absolutely continuous functions on the positive half-line (or paths of infinite length) of fractional order, in the real case. A theorem of Paley-Wiener type is given which connects the real setting with the co…
▽ More
We study reproducing kernel Hilbert spaces introduced as ranges of generalized Cesàro-Hardy operators, in one real variable and in one complex variable. Such spaces can be seen as formed by absolutely continuous functions on the positive half-line (or paths of infinite length) of fractional order, in the real case. A theorem of Paley-Wiener type is given which connects the real setting with the complex one. These spaces are related with fractional operations in the context of integrated Brownian processes. We give estimates of the norms of the corresponding reproducing kernels.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Push: Concurrent Probabilistic Programming for Bayesian Deep Learning
Authors:
Daniel Huang,
Chris Camaño,
Jonathan Tsegaye,
Jonathan Austin Gale
Abstract:
We introduce a library called Push that takes a probabilistic programming approach to Bayesian deep learning (BDL). This library enables concurrent execution of BDL inference algorithms on multi-GPU hardware for neural network (NN) models. To accomplish this, Push introduces an abstraction that represents an input NN as a particle. Push enables easy creation of particles so that an input NN can be…
▽ More
We introduce a library called Push that takes a probabilistic programming approach to Bayesian deep learning (BDL). This library enables concurrent execution of BDL inference algorithms on multi-GPU hardware for neural network (NN) models. To accomplish this, Push introduces an abstraction that represents an input NN as a particle. Push enables easy creation of particles so that an input NN can be replicated and particles can communicate asynchronously so that a variety of parameter updates can be expressed, including common BDL algorithms. Our hope is that Push lowers the barrier to experimenting with BDL by streamlining the scaling of particles across GPUs. We evaluate the scaling behavior of particles on single-node multi-GPU devices on vision and scientific machine learning (SciML) tasks.
△ Less
Submitted 29 September, 2023; v1 submitted 10 June, 2023;
originally announced June 2023.
-
WarpGate: A Semantic Join Discovery System for Cloud Data Warehouses
Authors:
Tianji Cong,
James Gale,
Jason Frantz,
H. V. Jagadish,
Çağatay Demiralp
Abstract:
Data discovery is a major challenge in enterprise data analysis: users often struggle to find data relevant to their analysis goals or even to navigate through data across data sources, each of which may easily contain thousands of tables. One common user need is to discover tables joinable with a given table. This need is particularly critical because join is a ubiquitous operation in data analys…
▽ More
Data discovery is a major challenge in enterprise data analysis: users often struggle to find data relevant to their analysis goals or even to navigate through data across data sources, each of which may easily contain thousands of tables. One common user need is to discover tables joinable with a given table. This need is particularly critical because join is a ubiquitous operation in data analysis, and join paths are mostly obscure to users, especially across databases. Furthermore, users are typically interested in finding ``semantically'' joinable tables: with columns that can be transformed to become joinable even if they are not joinable as currently represented in the data store. We present WarpGate, a system prototype for data discovery over cloud data warehouses. WarpGate implements an embedding-based solution to semantic join discovery, which encodes columns into high-dimensional vector space such that joinable columns map to points that are near each other. Through experiments on several table corpora, we show that WarpGate (i) captures semantic relationships between tables, especially those across databases, and (ii) is sample efficient and thus scalable to very large tables of millions of rows. We also showcase an application of WarpGate within an enterprise product for cloud data analytics.
△ Less
Submitted 2 January, 2023; v1 submitted 28 December, 2022;
originally announced December 2022.
-
Sigma Workbook: A Spreadsheet for Cloud Data Warehouses
Authors:
James Gale,
Max Seiden,
Deepanshu Utkarsh,
Jason Frantz,
Rob Woollen,
Çağatay Demiralp
Abstract:
Cloud data warehouses (CDWs) bring large-scale data and compute power closer to users in enterprises. However, existing tools for analyzing data in CDWs are either limited in ad-hoc transformations or difficult to use for business users. Here we introduce Sigma Workbook, a new interactive system that enables business users to easily perform a visual analysis of data in CDWs at scale. For this, Sig…
▽ More
Cloud data warehouses (CDWs) bring large-scale data and compute power closer to users in enterprises. However, existing tools for analyzing data in CDWs are either limited in ad-hoc transformations or difficult to use for business users. Here we introduce Sigma Workbook, a new interactive system that enables business users to easily perform a visual analysis of data in CDWs at scale. For this, Sigma Workbook provides an accessible spreadsheet-like interface for analysis through direct manipulation. Sigma Workbook dynamically constructs matching SQL queries from user interactions, building on the versatility and expressivity of SQL. Constructed queries are directly executed on CDWs, leveraging the superior characteristics of the new generation CDWs, including scalability. We demonstrate Sigma Workbook through 3 real-life use cases -- cohort analysis, sessionization, and data augmentation -- and underline Workbook's ease of use, scalability, and expressivity.
△ Less
Submitted 18 August, 2022; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Augmenting Decision Making via Interactive What-If Analysis
Authors:
Sneha Gathani,
Madelon Hulsebos,
James Gale,
Peter J. Haas,
Çağatay Demiralp
Abstract:
The fundamental goal of business data analysis is to improve business decisions using data. Business users often make decisions to achieve key performance indicators (KPIs) such as increasing customer retention or sales, or decreasing costs. To discover the relationship between data attributes hypothesized to be drivers and those corresponding to KPIs of interest, business users currently need to…
▽ More
The fundamental goal of business data analysis is to improve business decisions using data. Business users often make decisions to achieve key performance indicators (KPIs) such as increasing customer retention or sales, or decreasing costs. To discover the relationship between data attributes hypothesized to be drivers and those corresponding to KPIs of interest, business users currently need to perform lengthy exploratory analyses. This involves considering multitudes of combinations and scenarios and performing slicing, dicing, and transformations on the data accordingly, e.g., analyzing customer retention across quarters of the year or suggesting optimal media channels across strata of customers. However, the increasing complexity of datasets combined with the cognitive limitations of humans makes it challenging to carry over multiple hypotheses, even for simple datasets. Therefore mentally performing such analyses is hard. Existing commercial tools either provide partial solutions or fail to cater to business users altogether. Here we argue for four functionalities to enable business users to interactively learn and reason about the relationships between sets of data attributes thereby facilitating data-driven decision making. We implement these functionalities in SystemD, an interactive visual data analysis system enabling business users to experiment with the data by asking what-if questions. We evaluate the system through three business use cases: marketing mix modeling, customer retention analysis, and deal closing analysis, and report on feedback from multiple business users. Users find the SystemD functionalities highly useful for quick testing and validation of their hypotheses around their KPIs of interest, addressing their unmet analysis needs. The feedback also suggests that the UX design can be enhanced to further improve the understandability of these functionalities.
△ Less
Submitted 8 February, 2022; v1 submitted 13 September, 2021;
originally announced September 2021.
-
Making Table Understanding Work in Practice
Authors:
Madelon Hulsebos,
Sneha Gathani,
James Gale,
Isil Dillig,
Paul Groth,
Çağatay Demiralp
Abstract:
Understanding the semantics of tables at scale is crucial for tasks like data integration, preparation, and search. Table understanding methods aim at detecting a table's topic, semantic column types, column relations, or entities. With the rise of deep learning, powerful models have been developed for these tasks with excellent accuracy on benchmarks. However, we observe that there exists a gap b…
▽ More
Understanding the semantics of tables at scale is crucial for tasks like data integration, preparation, and search. Table understanding methods aim at detecting a table's topic, semantic column types, column relations, or entities. With the rise of deep learning, powerful models have been developed for these tasks with excellent accuracy on benchmarks. However, we observe that there exists a gap between the performance of these models on these benchmarks and their applicability in practice. In this paper, we address the question: what do we need for these models to work in practice?
We discuss three challenges of deploying table understanding models and propose a framework to address them. These challenges include 1) difficulty in customizing models to specific domains, 2) lack of training data for typical database tables often found in enterprises, and 3) lack of confidence in the inferences made by models. We present SigmaTyper which implements this framework for the semantic column type detection task. SigmaTyper encapsulates a hybrid model trained on GitTables and integrates a lightweight human-in-the-loop approach to customize the model. Lastly, we highlight avenues for future research that further close the gap towards making table understanding effective in practice.
△ Less
Submitted 10 September, 2021;
originally announced September 2021.
-
Sigma Worksheet: Interactive Construction of OLAP Queries
Authors:
James Gale,
Max Seiden,
Gretchen Atwood,
Jason Frantz,
Rob Woollen,
Çağatay Demiralp
Abstract:
The new generation of cloud data warehouses (CDWs) brings large amounts of data and compute power closer to users in enterprises. The ability to directly access the warehouse data, interactively analyze and explore it at scale can empower users to improve their decision making cycles. However, existing tools for analyzing data in CDWs are either limited in ad-hoc transformations or difficult to us…
▽ More
The new generation of cloud data warehouses (CDWs) brings large amounts of data and compute power closer to users in enterprises. The ability to directly access the warehouse data, interactively analyze and explore it at scale can empower users to improve their decision making cycles. However, existing tools for analyzing data in CDWs are either limited in ad-hoc transformations or difficult to use for business users, the largest user segment in enterprises. Here we introduce Sigma Worksheet, a new interactive system that enables users to easily perform ad-hoc visual analysis of data in CDWs at scale. For this, Sigma Worksheet provides an accessible spreadsheet-like interface for data analysis through direct manipulation. Sigma Worksheet dynamically constructs matching SQL queries from user interactions on this familiar interface, building on the versatility and expressivity of SQL. Sigma Worksheet executes constructed queries directly on CDWs, leveraging the superior characteristics of the new generation CDWs, including scalability. To evaluate Sigma Worksheet, we first demonstrate its expressivity through two real life use cases, cohort analysis and sessionization. We then measure the performance of the Worksheet generated queries with a set of experiments using the TPC-H benchmark. Results show the performance of our compiled SQL queries is comparable to that of the reference queries of the benchmark. Finally, to assess the usefulness of Sigma Worksheet in deployment, we elicit feedback through a 100-person survey followed by a semi-structured interview study with 70 participants. We find that Sigma Worksheet is easier to use and learn, improving the productivity of users. Our findings also suggest Sigma Worksheet can further improve user experience by providing guidance to users at various steps of data analysis.
△ Less
Submitted 5 May, 2021; v1 submitted 1 December, 2020;
originally announced December 2020.
-
SIESTA: recent developments and applications
Authors:
Alberto García,
Nick Papior,
Arsalan Akhtar,
Emilio Artacho,
Volker Blum,
Emanuele Bosoni,
Pedro Brandimarte,
Mads Brandbyge,
J. I. Cerdá,
Fabiano Corsetti,
Ramón Cuadrado,
Vladimir Dikan,
Jaime Ferrer,
Julian Gale,
Pablo García-Fernández,
V. M. García-Suárez,
Sandra García,
Georg Huhs,
Sergio Illera,
Richard Korytár,
Peter Koval,
Irina Lebedeva,
Lin Lin,
Pablo López-Tarifa,
Sara G. Mayo
, et al. (11 additional authors not shown)
Abstract:
A review of the present status, recent enhancements, and applicability of the SIESTA program is presented. Since its debut in the mid-nineties, SIESTA's flexibility, efficiency and free distribution has given advanced materials simulation capabilities to many groups worldwide. The core methodological scheme of SIESTA combines finite-support pseudo-atomic orbitals as basis sets, norm-conserving pse…
▽ More
A review of the present status, recent enhancements, and applicability of the SIESTA program is presented. Since its debut in the mid-nineties, SIESTA's flexibility, efficiency and free distribution has given advanced materials simulation capabilities to many groups worldwide. The core methodological scheme of SIESTA combines finite-support pseudo-atomic orbitals as basis sets, norm-conserving pseudopotentials, and a real-space grid for the representation of charge density and potentials and the computation of their associated matrix elements. Here we describe the more recent implementations on top of that core scheme, which include: full spin-orbit interaction, non-repeated and multiple-contact ballistic electron transport, DFT+U and hybrid functionals, time-dependent DFT, novel reduced-scaling solvers, density-functional perturbation theory, efficient Van der Waals non-local density functionals, and enhanced molecular-dynamics options. In addition, a substantial effort has been made in enhancing interoperability and interfacing with other codes and utilities, such as Wannier90 and the second-principles modelling it can be used for, an AiiDA plugin for workflow automatization, interface to Lua for steering SIESTA runs, and various postprocessing utilities. SIESTA has also been engaged in the Electronic Structure Library effort from its inception, which has allowed the sharing of various low level libraries, as well as data standards and support for them, in particular the PSML definition and library for transferable pseudopotentials, and the interface to the ELSI library of solvers. Code sharing is made easier by the new open-source licensing model of the program. This review also presents examples of application of the capabilities of the code, as well as a view of on-going and future developments.
△ Less
Submitted 1 June, 2020;
originally announced June 2020.
-
Poisson equation and discrete one-sided Hilbert transform for $(C,α)$-bounded operators
Authors:
Luciano Abadias,
José E. Galé,
Carlos Lizama
Abstract:
We characterize the solutions of the Poisson equation and the domain of its associated one-sided Hilbert transform for Cesàro bounded operators of fractional order. The results obtained fairly generalize the corresponding ones for power-bounded operators. In passing, we give an extension of the mean ergodic theorem. Examples are given to illustrate the theory.
We characterize the solutions of the Poisson equation and the domain of its associated one-sided Hilbert transform for Cesàro bounded operators of fractional order. The results obtained fairly generalize the corresponding ones for power-bounded operators. In passing, we give an extension of the mean ergodic theorem. Examples are given to illustrate the theory.
△ Less
Submitted 24 February, 2020;
originally announced February 2020.
-
Will recent advances in AI result in a paradigm shift in Astrobiology and SETI?
Authors:
Joe Gale,
Amri Wandel,
Hugh Hill
Abstract:
The steady advances in computer performance and in programming raise the concern that the ability of computers would overtake that of the human brain, an occurrence termed "the Singularity". While comparing the size of the human brain and the advance in computer capacity, the Singularity has been estimated to occur within a few decades although the capacity of conventional computers may reach its…
▽ More
The steady advances in computer performance and in programming raise the concern that the ability of computers would overtake that of the human brain, an occurrence termed "the Singularity". While comparing the size of the human brain and the advance in computer capacity, the Singularity has been estimated to occur within a few decades although the capacity of conventional computers may reach its limits in the near future. However, in the last few years, there have been rapid advances in Artificial Intelligence (AI). There are already programs that carry out pattern recognition and self-learning which, at least in limited fields such as chess and other games, are superior to the best human players. Furthermore, the quantum computing revolution, which is expected to vastly increase computer capacities, is already on our doorstep. It now seems inevitable that the Singularity will arrive within the foreseeable future. Biological life, on Earth and on extraterrestrial planets and their satellites, may continue as before, but humanity could be 'replaced' by computers. Older and more advanced intelligent life forms, possibly evolved elsewhere in the universe, may have passed their Singularity a long time ago. Post Singularity life would probably be based not on biochemical reactions but on electronics. Their communication may use effects such as quantum entanglement and be undetectable to us. This may explain the Fermi paradox or at least the "Big Silence" problem in SETI.
△ Less
Submitted 19 September, 2019;
originally announced October 2019.
-
The Bio-habitable Zone and atmospheric properties for Planets of Red Dwarfs
Authors:
Amri Wandel,
Joseph Gale
Abstract:
The Kepler data show that habitable small planets orbiting Red Dwarf stars (RDs) are abundant, and hence might be promising targets to look at for biomarkers and life. Planets orbiting within the Habitable Zone of RDs are close enough to be tidally locked. Some recent works have cast doubt on the ability of planets orbiting RDs to support life. In contrast, it is shown that temperatures suitable f…
▽ More
The Kepler data show that habitable small planets orbiting Red Dwarf stars (RDs) are abundant, and hence might be promising targets to look at for biomarkers and life. Planets orbiting within the Habitable Zone of RDs are close enough to be tidally locked. Some recent works have cast doubt on the ability of planets orbiting RDs to support life. In contrast, it is shown that temperatures suitable for liquid water and even for organic molecules may exist on tidally locked planets of RDs for a wide range of atmospheres. We chart the surface temperature distribution as a function of the irradiation, greenhouse factor and heat circulation. The habitability boundaries and their dependence on the atmospheric properties are derived. Extending our previous analyses of tidally locked planets, we find that tidally locked as well as synchronous (not completely locked) planets of RDs and K-type stars may support life, for a wider range of orbital distance and atmospheric conditions than previously thought. In particular, it is argued that life clement environments may be possible on tidally locked and synchronously orbiting planets of RDs and K-type stars, with conditions supporting Oxygenic Photosynthesis, which on Earth was a key to Complex life. Different climate projections and the biological significance of tidal locking on putative complex life are reviewed. We show that when the effect of continuous radiation is taken into account, the Photo-synthetically Active Radiation (PAR) available on tidally locked planets, even of RDs, could produce a high Potential Plant Productivity, in analogy to mid-summer growth at high latitudes on Earth. Awaiting the findings of TESS and JWST, we discuss the implications of the above arguments to the detection of biomarkers such as liquid water and oxygen, as well as to the abundance of biotic planets and life.
△ Less
Submitted 24 July, 2019;
originally announced July 2019.
-
The structure of CaSO4 nanorods -- the precursor of gypsum
Authors:
Tomasz M. Stawski,
Alexander E. S. Van Driessche,
Rogier Besselink,
Emily H. Byrne,
Paolo Raiteri,
Julian D. Gale,
Liane G. Benning
Abstract:
Understanding the gypsum (CaSO4.2H2O) formation pathway from aqueous solution has been the subject of intensive research in the past years. This interest stems from the fact that gypsum appears to fall into a broader category of crystalline materials whose formation does not follow classical nucleation and growth theories. The pathways involve transitory precursor cluster species, yet the actual s…
▽ More
Understanding the gypsum (CaSO4.2H2O) formation pathway from aqueous solution has been the subject of intensive research in the past years. This interest stems from the fact that gypsum appears to fall into a broader category of crystalline materials whose formation does not follow classical nucleation and growth theories. The pathways involve transitory precursor cluster species, yet the actual structural properties of such clusters are not very well understood. Here, we show how in situ high-energy X-ray diffraction experiments and molecular dynamics (MD) simulations can be combined to derive the structure of small CaSO4 clusters, which are precursors of crystalline gypsum. We fitted several plausible structures to the derived pair distribution functions and explored their dynamic properties using unbiased MD simulations based on both rigid ion and polarizable force fields. Determination of the structure and (meta)stability of the primary species is important from both a fundamental and applied perspective; for example, this will allow for an improved design of additives for greater control of the nucleation pathway.
△ Less
Submitted 2 July, 2019; v1 submitted 1 April, 2019;
originally announced April 2019.
-
Infinitesimal aspects of idempotents in Banach algebras
Authors:
Daniel Beltita,
Jose E. Gale
Abstract:
We investigate infinitesimal properties of sets of ordered $n$-uples of idempotents in a symmetric Banach $*$-algebra. These sets are called flag manifolds and carry several interesting bundles that hold an important role in some areas of operator theory. In this direction, we introduce and study Stiefel bundles on flag manifolds, which are extensions of the well known Stiefel bundles on Grassmann…
▽ More
We investigate infinitesimal properties of sets of ordered $n$-uples of idempotents in a symmetric Banach $*$-algebra. These sets are called flag manifolds and carry several interesting bundles that hold an important role in some areas of operator theory. In this direction, we introduce and study Stiefel bundles on flag manifolds, which are extensions of the well known Stiefel bundles on Grassmannians. The main ingredient of our investigation is the notion of connection on an infinite-dimensional bundle, and we survey some equivalent ocurrences of such a notion in the literature.
△ Less
Submitted 4 November, 2016;
originally announced November 2016.
-
A general forcefield for accurate phonon properties of metal-organic frameworks
Authors:
J. K. Bristow,
J. M. Skelton,
K. L. Svane,
A. Walsh,
J. D. Gale
Abstract:
We report the development of a forcefield capable of reproducing accurate lattice dynamics of metal-organic frameworks. Phonon spectra, thermodynamic and mechanical properties, such as free energies, heat capacities and bulk moduli, are calculated using the quasi-harmonic approximation to account for anharmonic behaviour due to thermal expansion. Comparison to density functional theory calculation…
▽ More
We report the development of a forcefield capable of reproducing accurate lattice dynamics of metal-organic frameworks. Phonon spectra, thermodynamic and mechanical properties, such as free energies, heat capacities and bulk moduli, are calculated using the quasi-harmonic approximation to account for anharmonic behaviour due to thermal expansion. Comparison to density functional theory calculations of properties such as Gr$\mathrm{\ddot{u}}$neisen parameters, bulk moduli and thermal expansion supports the accuracy of the derived forcefield model. Material properties are also reported in a full analysis of the lattice dynamics of an initial subset of structures including: MOF-5, IRMOF-10, UiO-66, UiO-67, NOTT-300, MIL-125, MOF-74 and MOF-650.
△ Less
Submitted 25 July, 2016;
originally announced July 2016.
-
On stability of $N$-times integrated semigroups with nonquasianalytic growth
Authors:
José E. Galé,
María M. Martínez,
Pedro J. Miana
Abstract:
We discuss the behaviour at infinity of $n$-times integrated semigroups with nonquasianalytic growth and invertible generator. The results obtained extend in this setting a theorem of O. El Mennaoui on stability of bounded once integrated semigroups, and (partially) a theorem of Q. P. V$\tilde{\rm u}$ on stability of $C_0$-semigroups.
We discuss the behaviour at infinity of $n$-times integrated semigroups with nonquasianalytic growth and invertible generator. The results obtained extend in this setting a theorem of O. El Mennaoui on stability of bounded once integrated semigroups, and (partially) a theorem of Q. P. V$\tilde{\rm u}$ on stability of $C_0$-semigroups.
△ Less
Submitted 20 March, 2016;
originally announced March 2016.
-
Free energy of ligand removal in the metal-organic framework UiO-66
Authors:
Jessica K. Bristow,
Katrine L. Svane,
Davide Tiana,
Jonathan M. Skelton,
Julian D. Gale,
Aron Walsh
Abstract:
We report an investigation of the "missing-linker phenomenon" in the Zr-based metal-organic framework UiO-66 using atomistic forcefield and quantum chemical methods. For a vacant benzene dicarboxylate ligand, the lowest energy charge cap** mechanism involves acetic acid or Cl-/H2O. The calculated defect free energy of formation is remarkably low, consistent with the high defect concentrations re…
▽ More
We report an investigation of the "missing-linker phenomenon" in the Zr-based metal-organic framework UiO-66 using atomistic forcefield and quantum chemical methods. For a vacant benzene dicarboxylate ligand, the lowest energy charge cap** mechanism involves acetic acid or Cl-/H2O. The calculated defect free energy of formation is remarkably low, consistent with the high defect concentrations reported experimentally. A dynamic structural instability is identified for certain higher defect concentrations. In addition to the changes in material properties upon defect formation, we assess the formation of molecular aggregates, which provide an additional driving force for ligand loss. These results are expected to be of relevance to a wide range of metal-organic frameworks.
△ Less
Submitted 19 February, 2016;
originally announced February 2016.
-
Winning versus losing during gambling and its neural correlates
Authors:
Pierre Sacré,
Matthew S. D. Kerr,
Sandya Subramanian,
Kevin Kahn,
Jorge Gonzalez-Martinez,
Matthew A. Johnson,
John T. Gale,
Sridevi V. Sarma
Abstract:
Humans often make decisions which maximize an internal utility function. For example, humans often maximize their expected reward when gambling and this is considered as a "rational" decision. However, humans tend to change their betting strategies depending on how they "feel". If someone has experienced a losing streak, they may "feel" that they are more likely to win on the next hand even though…
▽ More
Humans often make decisions which maximize an internal utility function. For example, humans often maximize their expected reward when gambling and this is considered as a "rational" decision. However, humans tend to change their betting strategies depending on how they "feel". If someone has experienced a losing streak, they may "feel" that they are more likely to win on the next hand even though the odds of the game have not changed. That is, their decisions are driven by their emotional state. In this paper, we investigate how the human brain responds to wins and losses during gambling. Using a combination of local field potential recordings in human subjects performing a financial decision-making task, spectral analyses, and non-parametric cluster statistics, we investigated whether neural responses in different cognitive and limbic brain areas differ between wins and losses after decisions are made. In eleven subjects, the neural activity modulated significantly between win and loss trials in one brain region: the anterior insula ($p=0.01$). In particular, gamma activity (30-70 Hz) increased in the anterior insula when subjects just realized that they won. Modulation of metabolic activity in the anterior insula has been observed previously in functional magnetic resonance imaging studies during decision making and when emotions are elicited. However, our study is able to characterize temporal dynamics of electrical activity in this brain region at the millisecond resolution while decisions are made and after outcomes are revealed.
△ Less
Submitted 10 February, 2016;
originally announced February 2016.
-
Transference for Banach space representations of nilpotent Lie groups. Part 1. Irreducible representations
Authors:
Ingrid Beltita,
Daniel Beltita,
Jose E. Gale
Abstract:
We establish a general CCR (liminarity) property for uniformly bounded irreducible representations of nilpotent Lie groups on reflexive Banach spaces, extending the well known property of unitary irreducible representations of these groups on Hilbert spaces. We also prove that this conclusion fails for many representations on non-reflexive Banach spaces. Our approach to these results blends the me…
▽ More
We establish a general CCR (liminarity) property for uniformly bounded irreducible representations of nilpotent Lie groups on reflexive Banach spaces, extending the well known property of unitary irreducible representations of these groups on Hilbert spaces. We also prove that this conclusion fails for many representations on non-reflexive Banach spaces. Our approach to these results blends the method of transference from abstract harmonic analysis and a systematic use of spaces of smooth vectors with respect to Lie group representations.
△ Less
Submitted 8 May, 2019; v1 submitted 26 November, 2015;
originally announced November 2015.
-
The Potential of Planets Orbiting Red Dwarf Stars to Support Oxygenic Photosynthesis and Complex Life
Authors:
Joseph Gale,
Amri Wandel
Abstract:
We review the latest findings on extra-solar planets and their potential to support Earth-like life. Focusing on planets orbiting Red Dwarf (RD) stars, the most abundant stellar type, we show that including RDs as potential host stars could increase the probability of finding biotic planets by a factor of up to a thousand, and reduce the estimate of the distance to our nearest biotic neighbor by u…
▽ More
We review the latest findings on extra-solar planets and their potential to support Earth-like life. Focusing on planets orbiting Red Dwarf (RD) stars, the most abundant stellar type, we show that including RDs as potential host stars could increase the probability of finding biotic planets by a factor of up to a thousand, and reduce the estimate of the distance to our nearest biotic neighbor by up to 10. We argue that binary and multiple star systems need to be taken into account when discussing exoplanet habitability. Early considerations indicated that conditions on RD planets would be inimical to life, as their Habitable Zones (where liquid water could exist) would be so close as to make planets tidally locked to their star. This was thought to cause an erratic climate and expose life forms to flares of ionizing radiation. Recent calculations show that these negative factors are less severe than originally thought. It has been argued that the lesser photon energy of the radiation of the relatively cool RDs would not suffice for Oxygenic Photosynthesis (OP) and other related energy expending reactions. Numerous authors suggest that OP on RD planets may evolve to utilize photons in the infrared. We however argue, by analogy to the evolution of OP and the environmental physiology and distribution of land-based vegetation on Earth, that the evolutionary pressure to utilize infrared radiation would be small. This is because vegetation on RD planets could enjoy continuous illumination of moderate intensity, containing a significant component of photosynthetic 400-700 nm radiation. We conclude that conditions for OP could exist on RD planets and consequently the evolution of complex life might be possible. Furthermore, the huge number and the long lifetime of RDs make it more likely to find planets with photosynthesis and life around RDs than around solar type stars.
△ Less
Submitted 12 October, 2015;
originally announced October 2015.
-
Reproducing kernels and positivity of vector bundles in infinite dimensions
Authors:
Daniel Beltita,
José E. Galé
Abstract:
We investigate the interaction between the existence of reproducing kernels on infinite-dimensional Hermitian vector bundles and the positivity properties of the corresponding bundles. The positivity refers to the curvature form of certain covariant derivatives associated to reproducing kernels on the vector bundles under consideration. The values of the curvature form are Hilbert space operators,…
▽ More
We investigate the interaction between the existence of reproducing kernels on infinite-dimensional Hermitian vector bundles and the positivity properties of the corresponding bundles. The positivity refers to the curvature form of certain covariant derivatives associated to reproducing kernels on the vector bundles under consideration. The values of the curvature form are Hilbert space operators, and its positivity is thus understood in the usual sense from operator theory.
△ Less
Submitted 3 February, 2014;
originally announced February 2014.
-
Calcium Carbonate Polyamorphism and Its Role in Biomineralization: How Many Amorphous Calcium Carbonates Are There?
Authors:
Julyan H. E. Cartwright,
Antonio G. Checa,
Julian D. Gale,
Denis Gebauer,
C. Ignacio Sainz-Díaz
Abstract:
Although the polymorphism of calcium carbonate is well known, and its polymorphs-calcite, aragonite, and vaterite-have been highly studied in the context of biomineralization, polyamorphism is a much more recently discovered phenomenon, and the existence of more than one amorphous phase of calcium carbonate in biominerals has only very recently been understood. Here we summarize what is known abou…
▽ More
Although the polymorphism of calcium carbonate is well known, and its polymorphs-calcite, aragonite, and vaterite-have been highly studied in the context of biomineralization, polyamorphism is a much more recently discovered phenomenon, and the existence of more than one amorphous phase of calcium carbonate in biominerals has only very recently been understood. Here we summarize what is known about polyamorphism in calcium carbonate as well as what is under- stood about the role of amorphous calcium carbonate in biominerals. We show that consideration of the amorphous forms of calcium carbonate within the physical notion of polyamorphism leads to new insights when it comes to the mechanisms by which polymorphic structures can evolve in the first place. This not only has implications for our understanding of biomineralization, but also of the means by which crystallization may be controlled in medical, pharmaceutical, and industrial contexts.
△ Less
Submitted 23 November, 2012;
originally announced November 2012.
-
Extension problem and fractional operators: semigroups and wave equations
Authors:
J. E. Galé,
P. J. Miana,
P. R. Stinga
Abstract:
We extend results of Caffarelli--Silvestre and Stinga--Torrea regarding a characterization of fractional powers of differential operators via an extension problem. Our results apply to generators of integrated families of operators, in particular to infinitesimal generators of bounded $C_0$ semigroups and operators with purely imaginary symbol. We give integral representations to the extension pro…
▽ More
We extend results of Caffarelli--Silvestre and Stinga--Torrea regarding a characterization of fractional powers of differential operators via an extension problem. Our results apply to generators of integrated families of operators, in particular to infinitesimal generators of bounded $C_0$ semigroups and operators with purely imaginary symbol. We give integral representations to the extension problem in terms of solutions to the heat equation and the wave equation.
△ Less
Submitted 18 February, 2013; v1 submitted 31 July, 2012;
originally announced July 2012.
-
Linear connections for reproducing kernels on vector bundles
Authors:
Daniel Beltita,
José E. Galé
Abstract:
We construct a canonical correspondence from a wide class of reproducing kernels on infinite-dimensional Hermitian vector bundles to linear connections on these bundles. The linear connection in question is obtained through a pull-back operation involving the tautological universal bundle and the classifying morphism of the input kernel. The aforementioned correspondence turns out to be a canonica…
▽ More
We construct a canonical correspondence from a wide class of reproducing kernels on infinite-dimensional Hermitian vector bundles to linear connections on these bundles. The linear connection in question is obtained through a pull-back operation involving the tautological universal bundle and the classifying morphism of the input kernel. The aforementioned correspondence turns out to be a canonical functor between categories of kernels and linear connections. A number of examples of linear connections including the ones associated to classical kernels, homogeneous reproducing kernels and kernels occurring in the dilation theory for completely positive maps are given, together with their covariant derivatives.
△ Less
Submitted 22 October, 2013; v1 submitted 18 June, 2012;
originally announced June 2012.
-
Reactive Force Field for Proton Diffusion in BaZrO3 using an empirical valence bond approach
Authors:
Paolo Raiteri,
Julian D. Gale,
Giovanni Bussi
Abstract:
A new reactive force field to describe proton diffusion within the solid-oxide fuel cell material BaZrO3 has been derived. Using a quantum mechanical potential energy surface, the parameters of an interatomic potential model to describe hydroxyl groups within both pure and yttrium-doped BaZrO3 have been determined. Reactivity is then incorporated through the use of the empirical valence bond model…
▽ More
A new reactive force field to describe proton diffusion within the solid-oxide fuel cell material BaZrO3 has been derived. Using a quantum mechanical potential energy surface, the parameters of an interatomic potential model to describe hydroxyl groups within both pure and yttrium-doped BaZrO3 have been determined. Reactivity is then incorporated through the use of the empirical valence bond model. Molecular dynamics simulations (EVB-MD) have been performed to explore the diffusion of hydrogen using a stochastic thermostat and barostat whose equations are extended to the isostress-isothermal ensemble. In the low concentration limit, the presence of yttrium is found not to significantly influence the diffusivity of hydrogen, despite the proton having a longer residence time at oxygen adjacent to the dopant. This lack of influence is due to the fact that trap** occurs infrequently, even when the proton diffuses through octahedra adjacent to the dopant. The activation energy for diffusion is found to be 0.42 eV, in good agreement with experimental values, though the prefactor is slightly underestimated.
△ Less
Submitted 24 May, 2012; v1 submitted 5 April, 2011;
originally announced April 2011.
-
Universal objects in categories of reproducing kernels
Authors:
Daniel Beltita,
Jose E. Gale
Abstract:
We continue our earlier investigation on generalized reproducing kernels, in connection with the complex geometry of $C^*$- algebra representations, by looking at them as the objects of an appropriate category. Thus the correspondence between reproducing $(-*)$-kernels and the associated Hilbert spaces of sections of vector bundles is made into a functor. We construct reproducing $(-*)$-kernels…
▽ More
We continue our earlier investigation on generalized reproducing kernels, in connection with the complex geometry of $C^*$- algebra representations, by looking at them as the objects of an appropriate category. Thus the correspondence between reproducing $(-*)$-kernels and the associated Hilbert spaces of sections of vector bundles is made into a functor. We construct reproducing $(-*)$-kernels with universality properties with respect to the operation of pull-back. We show how completely positive maps can be regarded as pull-backs of universal ones linked to the tautological bundle over the Grassmann manifold of the Hilbert space $\ell^2({\mathbb N})$.
△ Less
Submitted 1 December, 2009;
originally announced December 2009.
-
$H^\infty$-functional calculus and models of Nagy-Foiaş type for sectorial operators
Authors:
José E. Galé,
Pedro J. Miana,
Dmitry Yakubovich
Abstract:
We prove that a sectorial operator admits an H-infty - functional calculus if and only if it has a functional model of Nagy-Foias type. Furthermore, we give a concrete formula for the characteristic function (in a generalized sense) of such an operator. More generally, this approach applies to any sectorial operator by passing to a different norm (the McIntosh square function norm). We also show…
▽ More
We prove that a sectorial operator admits an H-infty - functional calculus if and only if it has a functional model of Nagy-Foias type. Furthermore, we give a concrete formula for the characteristic function (in a generalized sense) of such an operator. More generally, this approach applies to any sectorial operator by passing to a different norm (the McIntosh square function norm). We also show that this quadratic norm is close to the original one, in the sense that there is only a logarithmic gap between them.
△ Less
Submitted 9 March, 2009;
originally announced March 2009.
-
An embedded-atom method model for liquid Co, Nb, Zr and supercooled binary alloys
Authors:
Pascal Thibaudeau,
Julian Gale
Abstract:
The parameters of many-body potentials for Co, Nb and Zr metals, based on the embedded-atom method, have been systematically derived. The analytical potential scheme allows us to reproduce correctly the cohesive energies and structural properties of the pure metals and selected alloys making use of a small set of parameters. With a pair potential going smoothly to zero for a sufficient cutoff ra…
▽ More
The parameters of many-body potentials for Co, Nb and Zr metals, based on the embedded-atom method, have been systematically derived. The analytical potential scheme allows us to reproduce correctly the cohesive energies and structural properties of the pure metals and selected alloys making use of a small set of parameters. With a pair potential going smoothly to zero for a sufficient cutoff radius, radial partial and bond angular distribution functions for Co, Nb, Zr and alloys are computed using molecular dynamics simulations that ensure good quantitative agreement with the available experimental data up to the melting point. Atomic short range order is analysed in the light of consecutive Gaussian function decomposition and Honeycutt-Andersen indices.
△ Less
Submitted 1 September, 2008;
originally announced September 2008.
-
Holomorphic geometric models for representations of $C^*$-algebras
Authors:
Daniel Beltita,
Jose E. Gale
Abstract:
Representations of $C^*$-algebras are realized on section spaces of holomorphic homogeneous vector bundles. The corresponding section spaces are investigated by means of a new notion of reproducing kernel, suitable for dealing with involutive diffeomorphisms defined on the base spaces of the bundles. Applications of this technique to dilation theory of completely positive maps are explored and t…
▽ More
Representations of $C^*$-algebras are realized on section spaces of holomorphic homogeneous vector bundles. The corresponding section spaces are investigated by means of a new notion of reproducing kernel, suitable for dealing with involutive diffeomorphisms defined on the base spaces of the bundles. Applications of this technique to dilation theory of completely positive maps are explored and the critical role of complexified homogeneous spaces in connection with the Stinespring dilations is pointed out. The general results are further illustrated by a discussion of several specific topics, including similarity orbits of representations of amenable Banach algebras, similarity orbits of conditional expectations, geometric models of representations of Cuntz algebras, the relationship to endomorphisms of ${\mathcal B}({\mathcal H})$, and non-commutative stochastic analysis.
△ Less
Submitted 22 February, 2008; v1 submitted 5 July, 2007;
originally announced July 2007.
-
The SIESTA method for ab initio order-N materials simulation
Authors:
Jose M. Soler,
Emilio Artacho,
Julian D. Gale,
Alberto Garcia,
Javier Junquera,
Pablo Ordejon,
Daniel Sanchez-Portal
Abstract:
We have developed and implemented a self-consistent density functional method using standard norm-conserving pseudopotentials and a flexible, numerical LCAO basis set, which includes multiple-zeta and polarization orbitals. Exchange and correlation are treated with the local spin density or generalized gradient approximations. The basis functions and the electron density are projected on a real-…
▽ More
We have developed and implemented a self-consistent density functional method using standard norm-conserving pseudopotentials and a flexible, numerical LCAO basis set, which includes multiple-zeta and polarization orbitals. Exchange and correlation are treated with the local spin density or generalized gradient approximations. The basis functions and the electron density are projected on a real-space grid, in order to calculate the Hartree and exchange-correlation potentials and matrix elements, with a number of operations that scales linearly with the size of the system. We use a modified energy functional, whose minimization produces orthogonal wavefunctions and the same energy and density as the Kohn-Sham energy functional, without the need of an explicit orthogonalization. Additionally, using localized Wannier-like electron wavefunctions allows the computation time and memory, required to minimize the energy, to also scale linearly with the size of the system. Forces and stresses are also calculated efficiently and accurately, thus allowing structural relaxation and molecular dynamics simulations.
△ Less
Submitted 8 November, 2001;
originally announced November 2001.
-
Two distinct metallic bands associated with monatomic Au wires on the Si(557)-Au surface
Authors:
Daniel Sanchez-Portal,
Julian D. Gale,
Alberto Garcia,
Richard M. Martin
Abstract:
The Si(557)-Au surface, containing monatomic Au wires parallel to the steps, has been proposed as an experimental realization of an ideal one-dimensional metal. In fact, recent photoemission experiments on this system (Nature 402, 504 (1999)) found two peaks that were interpreted in terms of the spin-charge separation in a Luttinger liquid. Our first-principles density functional calculations re…
▽ More
The Si(557)-Au surface, containing monatomic Au wires parallel to the steps, has been proposed as an experimental realization of an ideal one-dimensional metal. In fact, recent photoemission experiments on this system (Nature 402, 504 (1999)) found two peaks that were interpreted in terms of the spin-charge separation in a Luttinger liquid. Our first-principles density functional calculations reveal two metallic bands associated with Au-Si bonds, instead of the single band expected from the Au 6s states, providing an alternative explanation for the experimental observations.
△ Less
Submitted 21 May, 2001;
originally announced May 2001.