Showing 1–50 of 128 results for author: Levy, P

Finding structure in logographic writing with library learning

Authors: Guangyuan Jiang, Matthias Hofer, Jiayuan Mao, Lionel Wong, Joshua B. Tenenbaum, Roger P. Levy

Abstract: One hallmark of human language is its combinatoriality -- reusing a relatively small inventory of building blocks to create a far larger inventory of increasingly complex structures. In this paper, we explore the idea that combinatoriality in language reflects a human inductive bias toward representational efficiency in symbol systems. We develop a computational framework for discovering structure… ▽ More One hallmark of human language is its combinatoriality -- reusing a relatively small inventory of building blocks to create a far larger inventory of increasingly complex structures. In this paper, we explore the idea that combinatoriality in language reflects a human inductive bias toward representational efficiency in symbol systems. We develop a computational framework for discovering structure in a writing system. Built on top of state-of-the-art library learning and program synthesis techniques, our computational framework discovers known linguistic structures in the Chinese writing system and reveals how the system evolves towards simplification under pressures for representational efficiency. We demonstrate how a library learning approach, utilizing learned abstractions and compression, may help reveal the fundamental computational principles that underlie the creation of combinatorial structures in human cognition, and offer broader insights into the evolution of efficient communication systems. △ Less

Submitted 11 May, 2024; originally announced May 2024.

Comments: Accepted at CogSci 2024 (Talk)

Proving the 6d a-theorem with the double affine Grassmannian

Authors: Marco Fazzi, Suvendu Giri, Paul Levy

Abstract: This paper contains two results of independent interest, the first being more mathematical in nature whereas the second more physical. We first show that the hierarchy of Higgs branch RG flows between the 6d $(1,0)$ SCFTs known as A-type orbi-instantons is given by the Hasse diagram of certain strata and transverse slices in the double affine Grassmannian of $E_8$. Secondly, we leverage the partia… ▽ More This paper contains two results of independent interest, the first being more mathematical in nature whereas the second more physical. We first show that the hierarchy of Higgs branch RG flows between the 6d $(1,0)$ SCFTs known as A-type orbi-instantons is given by the Hasse diagram of certain strata and transverse slices in the double affine Grassmannian of $E_8$. Secondly, we leverage the partial order naturally defined on this Hasse diagram to prove the $a$-theorem for orbi-instanton Higgs branch RG flows, thereby exhausting the list of $c$-theorems in the even-dimensional (supersymmetric) setting. △ Less

Submitted 28 December, 2023; originally announced December 2023.

Comments: 50+8 pages. Computer algebra GAP file, along with high resolution vectorized versions of figures 5,6,7 included in submission source

Report number: UUITP-39/23

Minimal special degenerations and duality

Authors: Daniel Juteau, Paul Levy, Eric Sommers

Abstract: This paper includes the classification, in a simple Lie algebra, of the singularities of Slodowy slices between special nilpotent orbits that are adjacent in the partial order on nilpotent orbits. The irreducible components of most singularities are (up to normalization) either a simple surface singularity or the closure of a minimal special nilpotent orbit in a smaller rank Lie algebra. Besides t… ▽ More This paper includes the classification, in a simple Lie algebra, of the singularities of Slodowy slices between special nilpotent orbits that are adjacent in the partial order on nilpotent orbits. The irreducible components of most singularities are (up to normalization) either a simple surface singularity or the closure of a minimal special nilpotent orbit in a smaller rank Lie algebra. Besides those cases, there are some exceptional cases that arise as certain quotients of the closure of a minimal orbit in types $A_2$ and $D_n$. We also consider the action on the slice of the fundamental group of the smaller orbit. With this action, we observe that under Lusztig-Spaltenstein duality, in most cases, a simple surface singularity is interchanged with the closure of a minimal special orbit of Langlands dual type (or a cover of it with action). This empirical observation generalizes an observation of Kraft and Procesi in type $A_n$, where all nilpotent orbits are special. We also resolve a conjecture of Lusztig that concerns the intersection cohomology of slices between special nilpotent orbits. △ Less

Submitted 30 September, 2023; originally announced October 2023.

Comments: 40 pages

MSC Class: 17B08; 14L30

Local geometry of special pieces of nilpotent orbits

Authors: Baohua Fu, Daniel Juteau, Paul Levy, Eric Sommers

Abstract: The nilpotent cone of a simple Lie algebra is partitioned into locally closed subvarieties called special pieces, each containing exactly one special orbit. Lusztig conjectured that each special piece is the quotient of some smooth variety by a precise finite group $H$, a result proved for the classical types by Kraft and Procesi. The present work is about exceptional types. Our main result is a l… ▽ More The nilpotent cone of a simple Lie algebra is partitioned into locally closed subvarieties called special pieces, each containing exactly one special orbit. Lusztig conjectured that each special piece is the quotient of some smooth variety by a precise finite group $H$, a result proved for the classical types by Kraft and Procesi. The present work is about exceptional types. Our main result is a local version of Lusztig's conjecture: the intersection of a special piece with a Slodowy slice transverse to the minimal orbit in the piece is isomorphic to the quotient of a vector space by $H$. Along the way, we complete our previous work on the generic singularities of nilpotent orbit closures, by providing proofs for the last two `exotic' singularities. Four further, non-isolated, exotic singularities are studied: we show that quotients $\overline{{\mathcal 0}_{\text{mini}}(\mathfrak{so}_8)}/\mathfrak{S}_4$, $S^2({\mathbb C}^2/μ_3)$, $S^3({\mathbb C}^2/μ_2)$ and $\overline{{\mathcal 0}_{\text{mini}}(\mathfrak{sl}_3)}/\mathfrak{S}_4$ occur as Slodowy slice singularities between nilpotent orbits in types $F_4$, $E_6$, $E_7$ and $E_8$ respectively. We also extend, to fields other than ${\mathbb C}$, the results of Brylinski and Kostant on shared orbit pairs. In the course of our analysis, we discover a shared pair which is missing from Brylinski and Kostant's classification. △ Less

Submitted 20 February, 2024; v1 submitted 14 August, 2023; originally announced August 2023.

Comments: 37 pages; some new results added, in particular, two new slice singularities identified

MSC Class: 17B08 14L30

Testing the Predictions of Surprisal Theory in 11 Languages

Authors: Ethan Gotlieb Wilcox, Tiago Pimentel, Clara Meister, Ryan Cotterell, Roger P. Levy

Abstract: A fundamental result in psycholinguistics is that less predictable words take a longer time to process. One theoretical explanation for this finding is Surprisal Theory (Hale, 2001; Levy, 2008), which quantifies a word's predictability as its surprisal, i.e. its negative log-probability given a context. While evidence supporting the predictions of Surprisal Theory have been replicated widely, most… ▽ More A fundamental result in psycholinguistics is that less predictable words take a longer time to process. One theoretical explanation for this finding is Surprisal Theory (Hale, 2001; Levy, 2008), which quantifies a word's predictability as its surprisal, i.e. its negative log-probability given a context. While evidence supporting the predictions of Surprisal Theory have been replicated widely, most have focused on a very narrow slice of data: native English speakers reading English texts. Indeed, no comprehensive multilingual analysis exists. We address this gap in the current literature by investigating the relationship between surprisal and reading times in eleven different languages, distributed across five language families. Deriving estimates from language models trained on monolingual and multilingual corpora, we test three predictions associated with surprisal theory: (i) whether surprisal is predictive of reading times; (ii) whether expected surprisal, i.e. contextual entropy, is predictive of reading times; (iii) and whether the linking function between surprisal and reading times is linear. We find that all three predictions are borne out crosslinguistically. By focusing on a more diverse set of languages, we argue that these results offer the most robust link to-date between information theory and incremental language processing across languages. △ Less

Submitted 10 July, 2023; v1 submitted 7 July, 2023; originally announced July 2023.

Comments: This is a pre-MIT Press publication version of the paper

Ion-Implanted $^8$Li Nuclear Magnetic Resonance in Highly Oriented Pyrolytic Graphite

Authors: John O. Ticknor, Jonah R. Adelman, Aris Chatzichristos, Martin H. Dehn, Luca Egoriti, Derek Fujimoto, Victoria L. Karner, Robert F. Kiefl, C. D. Philip Levy, Ruohong Li, Ryan M. L. McFadden, Gerald D. Morris, Mohamed Oudah, Monika Stachura, Edward Thoeng, W. Andrew MacFarlane

Abstract: We report $β$-detected nuclear magnetic resonance of ultra-dilute $^{8}$Li$^{+}$ implanted in highly oriented pyrolytic graphite (HOPG). The absence of motional narrowing and diffusional spin-lattice relaxation implies Li$^+$ is not appreciably mobile up to 400 K, in sharp contrast to the highly lithiated stage compounds. However, the relaxation is remarkably fast and persists down to cryogenic te… ▽ More We report $β$-detected nuclear magnetic resonance of ultra-dilute $^{8}$Li$^{+}$ implanted in highly oriented pyrolytic graphite (HOPG). The absence of motional narrowing and diffusional spin-lattice relaxation implies Li$^+$ is not appreciably mobile up to 400 K, in sharp contrast to the highly lithiated stage compounds. However, the relaxation is remarkably fast and persists down to cryogenic temperatures. Ruling out extrinsic paramagnetic impurities and intrinsic ferromagnetism, we conclude the relaxation is due to paramagnetic centers correlated with implantation. While the resulting effects are not consistent with a Kondo impurity, they also differ from free paramagnetic centers, and we suggest that a resonant scattering approach may account for much of the observed phenomenology. △ Less

Submitted 30 November, 2023; v1 submitted 18 January, 2023; originally announced January 2023.

Journal ref: Phys. Rev. B 108, 195437 (2023)

Unsupervised Discontinuous Constituency Parsing with Mildly Context-Sensitive Grammars

Authors: Songlin Yang, Roger P. Levy, Yoon Kim

Abstract: We study grammar induction with mildly context-sensitive grammars for unsupervised discontinuous parsing. Using the probabilistic linear context-free rewriting system (LCFRS) formalism, our approach fixes the rule structure in advance and focuses on parameter learning with maximum likelihood. To reduce the computational complexity of both parsing and parameter estimation, we restrict the grammar f… ▽ More We study grammar induction with mildly context-sensitive grammars for unsupervised discontinuous parsing. Using the probabilistic linear context-free rewriting system (LCFRS) formalism, our approach fixes the rule structure in advance and focuses on parameter learning with maximum likelihood. To reduce the computational complexity of both parsing and parameter estimation, we restrict the grammar formalism to LCFRS-2 (i.e., binary LCFRS with fan-out two) and further discard rules that require O(n^6) time to parse, reducing inference to O(n^5). We find that using a large number of nonterminals is beneficial and thus make use of tensor decomposition-based rank-space dynamic programming with an embedding-based parameterization of rule probabilities to scale up the number of nonterminals. Experiments on German and Dutch show that our approach is able to induce linguistically meaningful trees with continuous and discontinuous structures △ Less

Submitted 9 June, 2023; v1 submitted 18 December, 2022; originally announced December 2022.

Comments: ACL 2023

Depth-resolved measurement of the Meissner screening profile in a niobium thin film from spin-lattice relaxation of the implanted $β$-emitter $^{8}$Li

Authors: Ryan M. L. McFadden, Md Asaduzzaman, Terry J. Buck, David L. Cortie, Martin H. Dehn, Sarah R. Dunsiger, Robert F. Kiefl, Robert E. Laxdal, C. D. Philip Levy, W. Andrew MacFarlane, Gerald D. Morris, Matthew R. Pearson, Edward Thoeng, Tobias Junginger

Abstract: We report measurements of the Meissner screening profile in a Nb(300 nm)/Al$_{2}$O$_{3}$ thin film using $^{8}$Li $β$-detected nuclear magnetic resonance ($β$-NMR). The NMR probe $^{8}$Li was ion-implanted into the Nb film at energies $\leq$ 20 keV, corresponding to mean stop** depths comparable to Nb's magnetic penetration depth $λ$. $^{8}$Li's strong dipole-dipole coupling with the host… ▽ More We report measurements of the Meissner screening profile in a Nb(300 nm)/Al$_{2}$O$_{3}$ thin film using $^{8}$Li $β$-detected nuclear magnetic resonance ($β$-NMR). The NMR probe $^{8}$Li was ion-implanted into the Nb film at energies $\leq$ 20 keV, corresponding to mean stop** depths comparable to Nb's magnetic penetration depth $λ$. $^{8}$Li's strong dipole-dipole coupling with the host $^{93}$Nb nuclei provided a "cross-relaxation" channel that dominated in low magnetic fields, which conferred indirect sensitivity to the local magnetic field via the spin-lattice relaxation (SLR) rate $1/T_{1}$. From a fit of the $1/T_{1}$ data to a model accounting for its dependence on temperature, magnetic field, and $^{8}$Li$^{+}$ implantation energy, we obtained a magnetic penetration depth $λ_{0}$ = 51.5(22) nm, consistent with a relatively short carrier mean-free-path $\ell$ = 18.7(29) nm typical of similarly prepared Nb films. The results presented here constitute an important step towards using $^{8}$Li $β$-NMR to characterize bulk Nb samples with engineered surfaces, which are often used in the fabrication of particle accelerators. △ Less

Submitted 3 October, 2023; v1 submitted 2 December, 2022; originally announced December 2022.

Comments: 16 pages, 4 figures, 1 table

Journal ref: J. Appl. Phys. 134, 163902 (2023)

Probing for Incremental Parse States in Autoregressive Language Models

Authors: Tiwalayo Eisape, Vineet Gangireddy, Roger P. Levy, Yoon Kim

Abstract: Next-word predictions from autoregressive neural language models show remarkable sensitivity to syntax. This work evaluates the extent to which this behavior arises as a result of a learned ability to maintain implicit representations of incremental syntactic structures. We extend work in syntactic probing to the incremental setting and present several probes for extracting incomplete syntactic st… ▽ More Next-word predictions from autoregressive neural language models show remarkable sensitivity to syntax. This work evaluates the extent to which this behavior arises as a result of a learned ability to maintain implicit representations of incremental syntactic structures. We extend work in syntactic probing to the incremental setting and present several probes for extracting incomplete syntactic structure (operationalized through parse states from a stack-based parser) from autoregressive language models. We find that our probes can be used to predict model preferences on ambiguous sentence prefixes and causally intervene on model representations and steer model behavior. This suggests implicit incremental syntactic inferences underlie next-word predictions in autoregressive neural language models. △ Less

Submitted 17 November, 2022; originally announced November 2022.

Comments: Findings of EMNLP 2022

How Adults Understand What Young Children Say

Authors: Stephan C. Meylan, Ruthe Foushee, Nicole H. Wong, Elika Bergelson, Roger P. Levy

Abstract: Children's early speech often bears little resemblance to that of adults, and yet parents and other caregivers are able to interpret that speech and react accordingly. Here we investigate how these adult inferences as listeners reflect sophisticated beliefs about what children are trying to communicate, as well as how children are likely to pronounce words. Using a Bayesian framework for modeling… ▽ More Children's early speech often bears little resemblance to that of adults, and yet parents and other caregivers are able to interpret that speech and react accordingly. Here we investigate how these adult inferences as listeners reflect sophisticated beliefs about what children are trying to communicate, as well as how children are likely to pronounce words. Using a Bayesian framework for modeling spoken word recognition, we find that computational models can replicate adult interpretations of children's speech only when they include strong, context-specific prior expectations about the messages that children will want to communicate. This points to a critical role of adult cognitive processes in supporting early communication and reveals how children can actively prompt adults to take actions on their behalf even when they have only a nascent understanding of the adult language. We discuss the wide-ranging implications of the powerful listening capabilities of adults for theories of first language acquisition. △ Less

Submitted 16 March, 2023; v1 submitted 15 June, 2022; originally announced June 2022.

Comments: 24 pages, 8 figures, 3 tables

Grammar-Based Grounded Lexicon Learning

Authors: Jiayuan Mao, Haoyue Shi, Jiajun Wu, Roger P. Levy, Joshua B. Tenenbaum

Abstract: We present Grammar-Based Grounded Lexicon Learning (G2L2), a lexicalist approach toward learning a compositional and grounded meaning representation of language from grounded data, such as paired images and texts. At the core of G2L2 is a collection of lexicon entries, which map each word to a tuple of a syntactic type and a neuro-symbolic semantic program. For example, the word shiny has a syntac… ▽ More We present Grammar-Based Grounded Lexicon Learning (G2L2), a lexicalist approach toward learning a compositional and grounded meaning representation of language from grounded data, such as paired images and texts. At the core of G2L2 is a collection of lexicon entries, which map each word to a tuple of a syntactic type and a neuro-symbolic semantic program. For example, the word shiny has a syntactic type of adjective; its neuro-symbolic semantic program has the symbolic form λx. filter(x, SHINY), where the concept SHINY is associated with a neural network embedding, which will be used to classify shiny objects. Given an input sentence, G2L2 first looks up the lexicon entries associated with each token. It then derives the meaning of the sentence as an executable neuro-symbolic program by composing lexical meanings based on syntax. The recovered meaning programs can be executed on grounded inputs. To facilitate learning in an exponentially-growing compositional space, we introduce a joint parsing and expected execution algorithm, which does local marginalization over derivations to reduce the training time. We evaluate G2L2 on two domains: visual reasoning and language-driven navigation. Results show that G2L2 can generalize from small amounts of data to novel compositions of words. △ Less

Submitted 24 August, 2023; v1 submitted 17 February, 2022; originally announced February 2022.

Comments: Minor typo fixes. NeurIPS 2021. Project page: https://g2l2.csail.mit.edu/

A new family of isolated symplectic singularities with trivial local fundamental group

Authors: Gwyn Bellamy, Cédric Bonnafé, Baohua Fu, Daniel Juteau, Paul Levy, Eric Sommers

Abstract: We construct a new infinite family of 4-dimensional isolated symplectic singularities with trivial local fundamental group, answering a question of Beauville raised in 2000. Three constructions are presented for this family: (1) as singularities in blowups of the quotient of $\mathbb{C}^4$ by the dihedral group of order $2d$, (2) as singular points of Calogero-Moser spaces associated with dihedral… ▽ More We construct a new infinite family of 4-dimensional isolated symplectic singularities with trivial local fundamental group, answering a question of Beauville raised in 2000. Three constructions are presented for this family: (1) as singularities in blowups of the quotient of $\mathbb{C}^4$ by the dihedral group of order $2d$, (2) as singular points of Calogero-Moser spaces associated with dihedral groups of order $2d$ at equal parameters, (3) as singularities of a certain Slodowy slice in the $d$-fold cover of the nilpotent cone in ${\mathfrak{sl}}_d$. △ Less

Submitted 23 December, 2021; originally announced December 2021.

Comments: 22 pages

Nuclear magnetic resonance of ion implanted $^8$Li in ZnO

Authors: Jonah R. Adelman, Derek Fujimoto, Martin H. Dehn, Sarah R. Dunsiger, Victoria L. Karner, C. D. Philip Levy, Ruohong Li, Iain McKenzie, Ryan M. L. McFadden, Gerald D. Morris, Matthew R. Pearson, Monika Stachura, Edward Thoeng, John O. Ticknor, Naoki Ohashi, Kenji M. Kojima, W. Andrew MacFarlane

Abstract: We report on the stability and magnetic state of ion implanted $^8$Li in single crystals of the semiconductor ZnO using $β$-detected nuclear magnetic resonance. At ultradilute concentrations, the spectra reveal distinct Li sites from 7.6 to 400 K. Ionized shallow donor interstitial Li is stable across the entire temperature range, confirming its ability to self-compensate the acceptor character of… ▽ More We report on the stability and magnetic state of ion implanted $^8$Li in single crystals of the semiconductor ZnO using $β$-detected nuclear magnetic resonance. At ultradilute concentrations, the spectra reveal distinct Li sites from 7.6 to 400 K. Ionized shallow donor interstitial Li is stable across the entire temperature range, confirming its ability to self-compensate the acceptor character of its (Zn) substitutional counterpart. Above 300 K, spin-lattice relaxation indicates the onset of correlated local motion of interacting defects, and the spectra show a site change transition from disordered configurations to substitutional. Like the interstitial, the substitutional shows no resolved hyperfine splitting, indicating it is also fully ionized above 210 K. The electric field gradient at the interstitial $^8$Li exhibits substantial temperature dependence with a power law typical of non-cubic metals. △ Less

Submitted 17 September, 2021; originally announced September 2021.

Comments: 15 pages and 11 figures

Journal ref: Phys Rev. B 106, 035205 (2022)

The Price of Mathematical Scepticism

Authors: Paul Blain Levy

Abstract: This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions. Underlying this argument is the following philosophical view. Mathematical belief springs from certain intuitions, each of which can be either accepted or doubted in… ▽ More This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions. Underlying this argument is the following philosophical view. Mathematical belief springs from certain intuitions, each of which can be either accepted or doubted in its entirety, but not half-accepted. Therefore, our beliefs about reality, bivalence, choice and consistency should all be aligned. △ Less

Submitted 25 May, 2022; v1 submitted 27 July, 2021; originally announced July 2021.

Comments: Accepted for publication in Phiilosophia Mathematica. 17 pages plus bibliography

MSC Class: 03A05 03A30

Trend-Following Strategies via Dynamic Momentum Learning

Authors: Bruno P. C. Levy, Hedibert F. Lopes

Abstract: Time series momentum strategies are widely applied in the quantitative financial industry and its academic research has grown rapidly since the work of Moskowitz, Ooi and Pedersen (2012). However, trading signals are usually obtained via simple observation of past return measurements. In this article we study the benefits of incorporating dynamic econometric models to sequentially learn the time-v… ▽ More Time series momentum strategies are widely applied in the quantitative financial industry and its academic research has grown rapidly since the work of Moskowitz, Ooi and Pedersen (2012). However, trading signals are usually obtained via simple observation of past return measurements. In this article we study the benefits of incorporating dynamic econometric models to sequentially learn the time-varying importance of different look-back periods for individual assets. By the use of a dynamic binary classifier model, the investor is able to switch between time-varying or constant relations between past momentum and future returns, dynamically combining or selecting different momentum speeds during turning points, improving trading signals accuracy and portfolio performance. Using data from 56 future contracts we show that a mean-variance investor will be willing to pay a considerable management fee to switch from the traditional naive time series momentum strategy to the dynamic classifier approach. △ Less

Submitted 5 November, 2021; v1 submitted 15 June, 2021; originally announced June 2021.

A Targeted Assessment of Incremental Processing in Neural LanguageModels and Humans

Authors: Ethan Gotlieb Wilcox, Pranali Vani, Roger P. Levy

Abstract: We present a targeted, scaled-up comparison of incremental processing in humans and neural language models by collecting by-word reaction time data for sixteen different syntactic test suites across a range of structural phenomena. Human reaction time data comes from a novel online experimental paradigm called the Interpolated Maze task. We compare human reaction times to by-word probabilities for… ▽ More We present a targeted, scaled-up comparison of incremental processing in humans and neural language models by collecting by-word reaction time data for sixteen different syntactic test suites across a range of structural phenomena. Human reaction time data comes from a novel online experimental paradigm called the Interpolated Maze task. We compare human reaction times to by-word probabilities for four contemporary language models, with different architectures and trained on a range of data set sizes. We find that across many phenomena, both humans and language models show increased processing difficulty in ungrammatical sentence regions with human and model `accuracy' scores (a la Marvin and Linzen(2018)) about equal. However, although language model outputs match humans in direction, we show that models systematically under-predict the difference in magnitude of incremental processing difficulty between grammatical and ungrammatical sentences. Specifically, when models encounter syntactic violations they fail to accurately predict the longer reaction times observed in the human data. These results call into question whether contemporary language models are approaching human-like performance for sensitivity to syntactic violations. △ Less

Submitted 25 October, 2023; v1 submitted 6 June, 2021; originally announced June 2021.

Comments: Published in the proceedings of ACL 2021

Evolution of the metallic state of LaNiO$_3$/LaAlO$_3$ superlattices measured by $^8$Li $β$-detected NMR

Authors: V. L. Karner, A. Chatzichristos, D. L. Cortie, D. Fujimoto, R. F. Kiefl, C. D. P. Levy, R. Li, R. M. L. McFadden, G. D. Morris, M. R. Pearson, E. Benckiser, A. V. Boris, G. Cristiani, G. Logvenov, B. Keimer, W. A. MacFarlane

Abstract: Using ion-implanted $^8$Li $β$-detected NMR, we study the evolution of the correlated metallic state of LaNiO$_3$ in a series of LaNiO$_3$/LaAlO$_3$ superlattices as a function of bilayer thickness. Spin-lattice relaxation measurements in an applied field of 6.55 T reveal two equal amplitude components: one with metallic ($T$-linear) $1/T_{1}$, and a second with a more complex $T$-dependence. The… ▽ More Using ion-implanted $^8$Li $β$-detected NMR, we study the evolution of the correlated metallic state of LaNiO$_3$ in a series of LaNiO$_3$/LaAlO$_3$ superlattices as a function of bilayer thickness. Spin-lattice relaxation measurements in an applied field of 6.55 T reveal two equal amplitude components: one with metallic ($T$-linear) $1/T_{1}$, and a second with a more complex $T$-dependence. The metallic character of the slow relaxing component is only weakly affected by the LaNiO$_3$ thickness, while the fast component is much more sensitive, exhibiting the opposite temperature dependence (increasing towards low $T$) in the thinnest, most magnetic samples. The origin of this bipartite relaxation is discussed. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Journal ref: Phys. Rev. B 104, 205114 (2021)

Commuting Varieties and Cohomological Complexity

Authors: Nham V. Ngo, Paul D. Levy, Klemen Šivic

Abstract: In this paper we determine, for all $r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting $r$-tuples of nilpotent elements of $\mathfrak{gl}_n$. Our main result is that in characteristic $\neq 2,3$, this nilpotent commuting variety has dimension $(r+1)\lfloor \frac{n^2}{4}\rfloor$ for $n\geq 4$, $r\geq 7$. We use this to find the dimension of the (or… ▽ More In this paper we determine, for all $r$ sufficiently large, the irreducible component(s) of maximal dimension of the variety of commuting $r$-tuples of nilpotent elements of $\mathfrak{gl}_n$. Our main result is that in characteristic $\neq 2,3$, this nilpotent commuting variety has dimension $(r+1)\lfloor \frac{n^2}{4}\rfloor$ for $n\geq 4$, $r\geq 7$. We use this to find the dimension of the (ordinary) $r$-th commuting varieties of $\mathfrak{gl}_n$ and $\mathfrak{sl}_n$ for the same range of values of $r$ and $n$. Our principal motivation is the connection between nilpotent commuting varieties and cohomological complexity of finite group schemes, which we exploit in the last section of the paper to obtain explicit values for complexities of a large family of modules over the $r$-th Frobenius kernel $({\rm GL}_n)_{(r)}$. These results indicate an inequality between the complexities of a rational $G$-module $M$ when restricted to $G_{(r)}$ or to $G(\mathbb F_{p^r})$; we subsequently establish this inequality for every simple algebraic group $G$ defined over an algebraically closed field of good characteristic, significantly extending a result of Lin and Nakano. △ Less

Submitted 4 April, 2022; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: 29 pages, no figures. Final version, to appear in the Journal of the London Mathematical Society

MSC Class: 14L35 (Primary) 20G15; 17B56 (Secondary)

Dynamic Portfolio Allocation in High Dimensions using Sparse Risk Factors

Authors: Bruno P. C. Levy, Hedibert F. Lopes

Abstract: We propose a fast and flexible method to scale multivariate return volatility predictions up to high-dimensions using a dynamic risk factor model. Our approach increases parsimony via time-varying sparsity on factor loadings and is able to sequentially learn the use of constant or time-varying parameters and volatilities. We show in a dynamic portfolio allocation problem with 452 stocks from the S… ▽ More We propose a fast and flexible method to scale multivariate return volatility predictions up to high-dimensions using a dynamic risk factor model. Our approach increases parsimony via time-varying sparsity on factor loadings and is able to sequentially learn the use of constant or time-varying parameters and volatilities. We show in a dynamic portfolio allocation problem with 452 stocks from the S&P 500 index that our dynamic risk factor model is able to produce more stable and sparse predictions, achieving not just considerable portfolio performance improvements but also higher utility gains for the mean-variance investor compared to the traditional Wishart benchmark and the passive investment on the market index. △ Less

Submitted 12 November, 2021; v1 submitted 13 May, 2021; originally announced May 2021.

Proton irradiation effects on metal-YBCO interfaces

Authors: C. Acha, G. A. Sanca, M. Barella, M. Alurralde, F. Gomez Marlasca, H. Huhtinen, P. Paturi, F. Golmar, P. Levy

Abstract: 10 MeV proton-irradiation effects on a YBCO-based test structure were analyzed by measuring its current-voltage (IV) characteristics for different cumulated fluences. For fluences of up to $\sim$80$\cdot$10$^9$~p/cm$^2$ no changes in the electrical behavior of the device were observed, while for a fluence of $\sim$~300$\cdot$10$^9~$ p/cm$^2$ it becomes less conducting. A detailed analysis of the r… ▽ More 10 MeV proton-irradiation effects on a YBCO-based test structure were analyzed by measuring its current-voltage (IV) characteristics for different cumulated fluences. For fluences of up to $\sim$80$\cdot$10$^9$~p/cm$^2$ no changes in the electrical behavior of the device were observed, while for a fluence of $\sim$~300$\cdot$10$^9~$ p/cm$^2$ it becomes less conducting. A detailed analysis of the room temperature IV characteristics based on the $γ$ power exponent parameter [$γ=dLn(I)/dLn(V)$] allowed us to reveal the main conduction mechanisms as well as to establish the equivalent circuit model of the device. The changes produced in the electrical behavior, in accordance with Monte Carlo TRIM simulations, suggest that the main effect induced by protons is the displacement of oxygen atoms within the YBCO lattice, particularly from oxygen-rich to oxygen-poor areas, where they become trapped. △ Less

Submitted 27 February, 2021; originally announced March 2021.

Comments: 22 pages, 7 figures, corresponding author: [email protected]

Journal ref: Radiation Physics and Chemistry (2021)

Child-directed Listening: How Caregiver Inference Enables Children's Early Verbal Communication

Authors: Stephan C. Meylan, Ruthe Foushee, Elika Bergelson, Roger P. Levy

Abstract: How do adults understand children's speech? Children's productions over the course of language development often bear little resemblance to typical adult pronunciations, yet caregivers nonetheless reliably recover meaning from them. Here, we employ a suite of Bayesian models of spoken word recognition to understand how adults overcome the noisiness of child language, showing that communicative suc… ▽ More How do adults understand children's speech? Children's productions over the course of language development often bear little resemblance to typical adult pronunciations, yet caregivers nonetheless reliably recover meaning from them. Here, we employ a suite of Bayesian models of spoken word recognition to understand how adults overcome the noisiness of child language, showing that communicative success between children and adults relies heavily on adult inferential processes. By evaluating competing models on phonetically-annotated corpora, we show that adults' recovered meanings are best predicted by prior expectations fitted specifically to the child language environment, rather than to typical adult-adult language. After quantifying the contribution of this "child-directed listening" over developmental time, we discuss the consequences for theories of language acquisition, as well as the implications for commonly-used methods for assessing children's linguistic proficiency. △ Less

Submitted 9 February, 2021; v1 submitted 5 February, 2021; originally announced February 2021.

Comments: 13 pages, 3 figures, 2 tables. Edit #1 fixes formatting on table 1 (fitting it onto a single page) and reports correct contents for table 1 (previous version reported ants, not bits)

Dynamic Ordering Learning in Multivariate Forecasting

Authors: Bruno P. C. Levy, Hedibert F. Lopes

Abstract: In many fields where the main goal is to produce sequential forecasts for decision making problems, the good understanding of the contemporaneous relations among different series is crucial for the estimation of the covariance matrix. In recent years, the modified Cholesky decomposition appeared as a popular approach to covariance matrix estimation. However, its main drawback relies on the imposit… ▽ More In many fields where the main goal is to produce sequential forecasts for decision making problems, the good understanding of the contemporaneous relations among different series is crucial for the estimation of the covariance matrix. In recent years, the modified Cholesky decomposition appeared as a popular approach to covariance matrix estimation. However, its main drawback relies on the imposition of the series ordering structure. In this work, we propose a highly flexible and fast method to deal with the problem of ordering uncertainty in a dynamic fashion with the use of Dynamic Order Probabilities. We apply the proposed method in two different forecasting contexts. The first is a dynamic portfolio allocation problem, where the investor is able to learn the contemporaneous relationships among different currencies improving final decisions and economic performance. The second is a macroeconomic application, where the econometrician can adapt sequentially to new economic environments, switching the contemporaneous relations among macroeconomic variables over time. △ Less

Submitted 5 November, 2021; v1 submitted 11 January, 2021; originally announced January 2021.

Broad Infinity and Generation Principles (Part 1: classical set theory)

Authors: Paul Blain Levy

Abstract: We introduce Broad Infinity, a new set-theoretic axiom scheme that may be considered plausible. It states that three-dimensional trees whose growth is controlled by a specified class function form a set; these trees are called "broad numbers". Assuming the axiom of choice, or at least the weaker principle known as WISC, Broad Infinity is equivalent to Mahlo's principle: the class of all regular… ▽ More We introduce Broad Infinity, a new set-theoretic axiom scheme that may be considered plausible. It states that three-dimensional trees whose growth is controlled by a specified class function form a set; these trees are called "broad numbers". Assuming the axiom of choice, or at least the weaker principle known as WISC, Broad Infinity is equivalent to Mahlo's principle: the class of all regular limits is stationary. It also leads to a convenient principle for generating a subset of a class using a "rubric" (family of rules). This directly gives the existence of Grothendieck universes, without requiring a detour via ordinals. In the absence of choice, Broad Infinity implies that the derivations of elements from a rubric form a set. This yields the existence of Tarski-style universes. Additionally, the paper reveals a pattern of resemblance between "Broad" principles, that go beyond ZFC, and "Wide" principles , that are provable in ZFC. △ Less

Submitted 2 August, 2023; v1 submitted 5 January, 2021; originally announced January 2021.

Comments: 62 pages + bibliography

MSC Class: 03E30; 03E25 (Primary) 03E70; 03E55 (Secondary)

COTS MOS Dosimetry on the MeMOSat Board, Results After 2.5 Years in Orbit

Authors: José Lipovetzky, Mariano Garcia-Inza, Macarena Rodríguez Cañete, Gabriel Redin, Sebastián Carbonetto, Martín Echarri, Federico Golmar, Fernando Gomez Marlasca, Mariano Barella, Gabriel A. Sanca, Pablo Levy, Adrián Faigón

Abstract: We present the results after 2.5 years in or-bit of Total Ionizing Dose (TID) measurements done using Metal Oxide Semiconductor (MOS) dosimeters on the MeMOSat board. The MeMOSat board was launched on July 19th 2014 at the BugSat-1 "Tita" microsatellite developed by Satellogic to stay at LEO. We used as dosimeters p-channel Commercial Off The Shelf (COTS) MOS transistors with gate oxides of 250~nm… ▽ More We present the results after 2.5 years in or-bit of Total Ionizing Dose (TID) measurements done using Metal Oxide Semiconductor (MOS) dosimeters on the MeMOSat board. The MeMOSat board was launched on July 19th 2014 at the BugSat-1 "Tita" microsatellite developed by Satellogic to stay at LEO. We used as dosimeters p-channel Commercial Off The Shelf (COTS) MOS transistors with gate oxides of 250~nm. Before launch, a subset of transistors with similar drain current to voltage (I-V)curves where selected from a group of 100 devices. The temperature dependence of the (I-V) curves was studied to find the minimum temperature coefficient biasing point. Then, a calibration subgroup of sensors was irradiated using a $^{60}$Co gamma source to study their response to TID, showing responsivities of $\sim$75~mV/krad when the sensors are irradiated without gate bias. Also, the post irradiation response of the sensors was monitored, in order to include a correction for low dose rate irradiations, yielding 30~mV/krad. A biasing and reading circuit was developed in order to allow the reading of up to 4 sensors.The threshold voltage was monitored during different periods of the mission. After 2.5 years in orbit,the threshold voltage of the sensor mounted on the MeMOSat Board had a V$_\mathrm{T}$ shift of approximately 35~mV corresponds to a dose of 1.2~krads. △ Less

Submitted 30 June, 2020; originally announced July 2020.

LabOSat as a versatile payload for small satellites: first 100days in LEO orbit

Authors: G. A. Sanca, M. Barella, F. Gomez Marlasca, G. Rodríguez, D. Martelliti, L. Patrone, P. Levy, F. Golmar

Abstract: In this work the first results obtained by LabOSat-01 platform are presented. This platform was designed for testing custom devices on board of small satellites. Two LabOSat-01 type boards were launched and placed into Low Earth Orbit (LEO) on May 30, 2016. We present here an analysis of data collected by one of these boards during the first days of mission. Total Ionization Dose results are compa… ▽ More In this work the first results obtained by LabOSat-01 platform are presented. This platform was designed for testing custom devices on board of small satellites. Two LabOSat-01 type boards were launched and placed into Low Earth Orbit (LEO) on May 30, 2016. We present here an analysis of data collected by one of these boards during the first days of mission. Total Ionization Dose results are compared with data acquired by LabOSat-01`s predecessor board, MeMOSat-01, launched in 2014. △ Less

Submitted 30 June, 2020; originally announced July 2020.

YBCO-based non-volatile ReRAM tested in Low Earth Orbit

Authors: C. Acha, M. Barella, G. A. Sanca, F. Gomez Marlasca, H. Huhtinen, P. Paturi, P. Levy, F. Golmar

Abstract: An YBCO-based test structure corresponding to the family of ReRAM devices associated with the valence change mechanism is presented. We have characterized its electrical response previous to its lift-off to a Low Earth Orbit (LEO) using standard electronics and also with the dedicated LabOSat-01 controller. Similar results were obtained in both cases. After about 200 days at LEO on board a small s… ▽ More An YBCO-based test structure corresponding to the family of ReRAM devices associated with the valence change mechanism is presented. We have characterized its electrical response previous to its lift-off to a Low Earth Orbit (LEO) using standard electronics and also with the dedicated LabOSat-01 controller. Similar results were obtained in both cases. After about 200 days at LEO on board a small satellite, electrical tests started on the memory device using the LabOSat-01 controller. We discuss the results of the first 150 tests, performed along a 433-day time interval in space. The memory device remained operational despite the hostile conditions that involved launching, lift-off vibrations, permanent thermal cycling and exposure to ionizing radiation, with doses 3 orders of magnitude greater than the usual ones on Earth. The device showed resistive switching and IV characteristics similar to those measured on Earth, although with changes that follow a smooth drift in time. A detailed study of the electrical transport mechanisms, based on previous models that indicate the existence of various conducting mechanisms through the metal-YBCO interface showed that the observed drift can be associated with a local temperature drift at the LabOSat controller, with no clear evidence that allows determining changes in the underlying microscopic factors. These results show the reliability of complex-oxide non-volatile ReRAM-based devices in order to operate under all the hostile conditions encountered in space-borne applications. △ Less

Submitted 26 June, 2020; originally announced June 2020.

Comments: 20 pages, 11 figures

Journal ref: Journal of Materials Science: Materials in Electronics (2020)

A Rate-Distortion view of human pragmatic reasoning

Authors: Noga Zaslavsky, Jennifer Hu, Roger P. Levy

Abstract: What computational principles underlie human pragmatic reasoning? A prominent approach to pragmatics is the Rational Speech Act (RSA) framework, which formulates pragmatic reasoning as probabilistic speakers and listeners recursively reasoning about each other. While RSA enjoys broad empirical support, it is not yet clear whether the dynamics of such recursive reasoning may be governed by a genera… ▽ More What computational principles underlie human pragmatic reasoning? A prominent approach to pragmatics is the Rational Speech Act (RSA) framework, which formulates pragmatic reasoning as probabilistic speakers and listeners recursively reasoning about each other. While RSA enjoys broad empirical support, it is not yet clear whether the dynamics of such recursive reasoning may be governed by a general optimization principle. Here, we present a novel analysis of the RSA framework that addresses this question. First, we show that RSA recursion implements an alternating maximization for optimizing a tradeoff between expected utility and communicative effort. On that basis, we study the dynamics of RSA recursion and disconfirm the conjecture that expected utility is guaranteed to improve with recursion depth. Second, we show that RSA can be grounded in Rate-Distortion theory, while maintaining a similar ability to account for human behavior and avoiding a bias of RSA toward random utterance production. This work furthers the mathematical understanding of RSA models, and suggests that general information-theoretic principles may give rise to human pragmatic reasoning. △ Less

Submitted 13 May, 2020; originally announced May 2020.

A Systematic Assessment of Syntactic Generalization in Neural Language Models

Authors: Jennifer Hu, Jon Gauthier, Peng Qian, Ethan Wilcox, Roger P. Levy

Abstract: While state-of-the-art neural network models continue to achieve lower perplexity scores on language modeling benchmarks, it remains unknown whether optimizing for broad-coverage predictive performance leads to human-like syntactic knowledge. Furthermore, existing work has not provided a clear picture about the model properties required to produce proper syntactic generalizations. We present a sys… ▽ More While state-of-the-art neural network models continue to achieve lower perplexity scores on language modeling benchmarks, it remains unknown whether optimizing for broad-coverage predictive performance leads to human-like syntactic knowledge. Furthermore, existing work has not provided a clear picture about the model properties required to produce proper syntactic generalizations. We present a systematic evaluation of the syntactic knowledge of neural language models, testing 20 combinations of model types and data sizes on a set of 34 English-language syntactic test suites. We find substantial differences in syntactic generalization performance by model architecture, with sequential models underperforming other architectures. Factorially manipulating model architecture and training dataset size (1M--40M words), we find that variability in syntactic generalization performance is substantially greater by architecture than by dataset size for the corpora tested in our experiments. Our results also reveal a dissociation between perplexity and syntactic generalization performance. △ Less

Submitted 22 May, 2020; v1 submitted 7 May, 2020; originally announced May 2020.

Comments: To appear in the Proceedings of the Association for Computational Linguistics (ACL 2020)

Steps and Traces

Authors: Jurriaan Rot, Bart Jacobs, Paul Levy

Abstract: In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore category. This paper elaborates two new unifying ideas: 1) coalgebraic trace semantics is naturally presented in terms of corecursive algebras, and 2) all three approaches arise as instances of the same abstract setting. Ou… ▽ More In the theory of coalgebras, trace semantics can be defined in various distinct ways, including through algebraic logics, the Kleisli category of a monad or its Eilenberg-Moore category. This paper elaborates two new unifying ideas: 1) coalgebraic trace semantics is naturally presented in terms of corecursive algebras, and 2) all three approaches arise as instances of the same abstract setting. Our perspective puts the different approaches under a common roof, and allows to derive conditions under which some of them coincide. △ Less

Submitted 11 April, 2020; originally announced April 2020.

Local electronic and magnetic properties of the doped topological insulators Bi$_{2}$Se$_{3}$:Ca and Bi$_{2}$Te$_{3}$:Mn investigated using ion-implanted $^{8}$Li $β$-NMR

Authors: Ryan M. L. McFadden, Aris Chatzichristos, David L. Cortie, Derek Fujimoto, Yew San Hor, Huiwen Ji, Victoria L. Karner, Robert F. Kiefl, C. D. Philip Levy, Ruohong Li, Iain McKenzie, Gerald D. Morris, Matthew R. Pearson, Monika Stachura, Robert J. Cava, W. Andrew MacFarlane

Abstract: We report $β$-detected nuclear magnetic resonance ($β$-NMR) measurements in Bi$_{2}$Se$_{3}$:Ca (BSC) and Bi$_{2}$Te$_{3}$:Mn (BTM) single crystals using $^{8}$Li$^{+}$ implanted to depths on the order of 100 nm. Above $\sim 200$ K, spin-lattice relaxation (SLR) reveals diffusion of $^{8}$Li$^{+}$, with activation energies of $\sim 0.4$ eV ($\sim 0.2$ eV) in BSC (BTM). At lower temperatures, the n… ▽ More We report $β$-detected nuclear magnetic resonance ($β$-NMR) measurements in Bi$_{2}$Se$_{3}$:Ca (BSC) and Bi$_{2}$Te$_{3}$:Mn (BTM) single crystals using $^{8}$Li$^{+}$ implanted to depths on the order of 100 nm. Above $\sim 200$ K, spin-lattice relaxation (SLR) reveals diffusion of $^{8}$Li$^{+}$, with activation energies of $\sim 0.4$ eV ($\sim 0.2$ eV) in BSC (BTM). At lower temperatures, the nuclear magnetic resonance (NMR) properties are those of a heavily doped semiconductor in the metallic limit, with Korringa relaxation and a small, negative, temperature-dependent Knight shift in BSC. From this, we make a detailed comparison with the isostructural tetradymite Bi$_{2}$Te$_{2}$Se (BTS) [McFadden et al., Phys Rev. B 99, 125201 (2019)]. In the magnetic BTM, the effects of the dilute Mn moments predominate, but remarkably the $^{8}$Li signal is not wiped out through the magnetic transition at 13 K, with a prominent critical peak in the SLR that is suppressed in a high applied field. This detailed characterization of the $^{8}$Li NMR response is an important step towards using depth-resolved $β$-NMR to study the low-energy properties of the chiral topological surface state (TSS). With the bulk NMR response now established in several Bi$_{2}$Ch$_{3}$ tetradymite topological insulators (TIs), the prospect of directly probing their chiral TSS using the depth resolution afforded by $β$-NMR remains strong. △ Less

Submitted 6 December, 2020; v1 submitted 27 November, 2019; originally announced November 2019.

Comments: 14 pages, 10 figures

Journal ref: Phys. Rev. B 102, 235206 (2020)

Investigation of Ionic and Anomalous Magnetic Behavior in CrSe$_2$ Using $^8$Li $β$-NMR

Authors: John O. Ticknor, Izumi Umegaki, Ryan M. L. McFadden, Aris Chatzichristos, Derek Fujimoto, Victoria L. Karner, Robert F. Kiefl, Shintaro Kobayashi, C. D. Phillip Levy, Ruohong Li, Gerald D. Morris, Matthew R. Pearson, Kazuyoshi Yoshimura, Jun Sugiyama, W. Andrew MacFarlane

Abstract: We have studied a mosaic of 1T-CrSe$_2$ single crystals using $β$-detected nuclear magnetic resonance of $^{8}$Li from 4 to 300 K. We identify two broad resonances that show no evidence of quadrupolar splitting, indicating two magnetically distinct environments for the implanted ion. We observe stretched exponential spin lattice relaxation and a corresponding rate ($1/T_1$) that increases monotoni… ▽ More We have studied a mosaic of 1T-CrSe$_2$ single crystals using $β$-detected nuclear magnetic resonance of $^{8}$Li from 4 to 300 K. We identify two broad resonances that show no evidence of quadrupolar splitting, indicating two magnetically distinct environments for the implanted ion. We observe stretched exponential spin lattice relaxation and a corresponding rate ($1/T_1$) that increases monotonically above 200 K, consistent with the onset of ionic diffusion. A pronounced maximum in $1/T_1$ is observed at the low temperature magnetic transition near 20 K. Between these limits, $1/T_1$ instead exhibits a broad minimum with a remarkable absence of strong features in the vicinity of structural and magnetic transitions between 150 and 200 K. Together, the results suggest $^{8}$Li$^{+}$ site occupation within the van der Waals gap between CrSe$_2$ trilayers. Possible origins of the two environments are discussed. △ Less

Submitted 18 February, 2020; v1 submitted 15 August, 2019; originally announced August 2019.

Journal ref: RSC Adv. 10, 8190 (2020)

The dynamics of liquid 1-ethyl-3-methylimidazolium acetate measured with implanted-ion $^8$Li $β$-NMR

Authors: Derek Fujimoto, Ryan M. L. McFadden, Martin H. Dehn, Yael Petel, Aris Chatzichristos, Lars Hemmingsen, Victoria L. Karner, Robert F. Kiefl, C. D. Philip Levy, Iain McKenzie, Carl A. Michal, Gerald D. Morris, Matthew R. Pearson, Daniel Szunyogh, John O. Ticknor, Monika Stachura, W. Andrew MacFarlane

Abstract: We demonstrate the application of implanted-ion $β$-detected NMR as a probe of ionic liquid molecular dynamics through the measurement of $^8$Li spin-lattice relaxation (SLR) and resonance in 1-ethyl-3-methylimidazolium acetate. The motional narrowing of the resonance, and the local maxima in the SLR rate, $1/T_1$, imply a sensitivity to sub-nanosecond Li$^+$ solvation dynamics. From an analysis o… ▽ More We demonstrate the application of implanted-ion $β$-detected NMR as a probe of ionic liquid molecular dynamics through the measurement of $^8$Li spin-lattice relaxation (SLR) and resonance in 1-ethyl-3-methylimidazolium acetate. The motional narrowing of the resonance, and the local maxima in the SLR rate, $1/T_1$, imply a sensitivity to sub-nanosecond Li$^+$ solvation dynamics. From an analysis of $1/T_1$, we extract an activation energy ${E_A = 74.8 \pm 1.5}$ meV and Vogel-Fulcher-Tammann constant ${T_{\mathrm{VFT}} = 165.8 \pm 0.9}$ K, in agreement with the dynamic viscosity of the bulk solvent. Near the melting point, the lineshape is broad and intense, and the form of the relaxation is non-exponential, reflective of our sensitivity to heterogeneous dynamics near the glass transition. The depth resolution of this technique may later provide a unique means of studying nanoscale phenomena in ionic liquids. △ Less

Submitted 31 October, 2019; v1 submitted 8 July, 2019; originally announced July 2019.

Journal ref: Chem. Mater. 31, 9346 (2019)

Local Metallic and Structural Properties of the Strongly Correlated Metal LaNiO$_{3}$ using $^{8}$Li $β$-NMR

Authors: Victoria L. Karner, Aris Chatzichristos, David L. Cortie, Martin H. Dehn, Oleksandr Foyevtsov, Kateryna Foyevtsova, Derek Fujimoto, Robert F. Kiefl, C. D. Philip Levy, Ruohong Li, Ryan M. L. McFadden, Gerald D. Morris, Matthew R. Pearson, Monika Stachura, John O. Ticknor, Georg Cristiani, Gennady Logvenov, Friedrike Wrobel, Bernhard Keimer, Junjie Zhang, John F. Mitchell, W. Andrew MacFarlane

Abstract: We report $β$-detected NMR of ion-implanted $^{8}$Li in a single crystal and thin film of the strongly correlated metal LaNiO$_{3}$. In both samples, spin-lattice relaxation measurements reveal two distinct local metallic environments, as is evident from $T$-linear Korringa $1/T_{1}$ below 200 K with slopes comparable to other metals. A small, approximately temperature independent Knight shift of… ▽ More We report $β$-detected NMR of ion-implanted $^{8}$Li in a single crystal and thin film of the strongly correlated metal LaNiO$_{3}$. In both samples, spin-lattice relaxation measurements reveal two distinct local metallic environments, as is evident from $T$-linear Korringa $1/T_{1}$ below 200 K with slopes comparable to other metals. A small, approximately temperature independent Knight shift of $\sim 74$ ppm is observed, yielding a normalized Korringa product characteristic of substantial antiferromagnetic correlations, but, we find no evidence for a magnetic transition from 4 to 310 K. Two distinct, equally abundant $^{8}$Li sites is inconsistent with the widely accepted rhombohedral structure of LaNiO$_{3}$, but cannot be simply explained by either of the common alternative orthorhombic or monoclinic distortions. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 10 pages, 8 figures

Journal ref: Phys. Rev. B 100, 165109 (2019)

A Theory of Particular Sets

Authors: Paul Blain Levy

Abstract: ZFC has sentences that quantify over all sets or all ordinals, without restriction. Some have argued that sentences of this kind lack a determinate meaning. We propose a set theory called TOPS, using Natural Deduction, that avoids this problem by speaking only about particular sets. ZFC has sentences that quantify over all sets or all ordinals, without restriction. Some have argued that sentences of this kind lack a determinate meaning. We propose a set theory called TOPS, using Natural Deduction, that avoids this problem by speaking only about particular sets. △ Less

Submitted 13 June, 2019; v1 submitted 7 May, 2019; originally announced May 2019.

Comments: 12 pages

Do RNNs learn human-like abstract word order preferences?

Authors: Richard Futrell, Roger P. Levy

Abstract: RNN language models have achieved state-of-the-art results on various tasks, but what exactly they are representing about syntax is as yet unclear. Here we investigate whether RNN language models learn humanlike word order preferences in syntactic alternations. We collect language model surprisal scores for controlled sentence stimuli exhibiting major syntactic alternations in English: heavy NP sh… ▽ More RNN language models have achieved state-of-the-art results on various tasks, but what exactly they are representing about syntax is as yet unclear. Here we investigate whether RNN language models learn humanlike word order preferences in syntactic alternations. We collect language model surprisal scores for controlled sentence stimuli exhibiting major syntactic alternations in English: heavy NP shift, particle shift, the dative alternation, and the genitive alternation. We show that RNN language models reproduce human preferences in these alternations based on NP length, animacy, and definiteness. We collect human acceptability ratings for our stimuli, in the first acceptability judgment experiment directly manipulating the predictors of syntactic alternations. We show that the RNNs' performance is similar to the human acceptability ratings and is not matched by an n-gram baseline model. Our results show that RNNs learn the abstract features of weight, animacy, and definiteness which underlie soft constraints on syntactic alternations. △ Less

Submitted 5 November, 2018; originally announced November 2018.

Comments: To be presented at SCiL 2019

Ionic and electronic properties of the topological insulator Bi$_2$Te$_2$Se investigated using $β$-detected nuclear magnetic relaxation and resonance of $^8$Li

Authors: Ryan M. L. McFadden, Aris Chatzichristos, Kim H. Chow, David L. Cortie, Martin H. Dehn, Derek Fujimoto, Masrur D. Hossain, Huiwen Ji, Victoria L. Karner, Robert F. Kiefl, C. D. Philip Levy, Ruohong Li, Iain McKenzie, Gerald D. Morris, Oren Ofer, Matthew R. Pearson, Monika Stachura, Robert J. Cava, W. Andrew MacFarlane

Abstract: We report measurements on the high temperature ionic and low temperature electronic properties of the 3D topological insulator Bi$_2$Te$_2$Se using ion-implanted $^8$Li $β$-detected nuclear magnetic relaxation and resonance. With implantation energies in the range 5-28 keV, the probes penetrate beyond the expected range of the topological surface state, but are still within 250 nm of the surface.… ▽ More We report measurements on the high temperature ionic and low temperature electronic properties of the 3D topological insulator Bi$_2$Te$_2$Se using ion-implanted $^8$Li $β$-detected nuclear magnetic relaxation and resonance. With implantation energies in the range 5-28 keV, the probes penetrate beyond the expected range of the topological surface state, but are still within 250 nm of the surface. At temperatures above ~150 K, spin-lattice relaxation measurements reveal isolated $^8$Li$^{+}$ diffusion with an activation energy $E_{A} = 0.185(8)$ eV and attempt frequency $τ_{0}^{-1} = 8(3) \times 10^{11}$ s$^{-1}$ for atomic site-to-site hop**. At lower temperature, we find a linear Korringa-like relaxation mechanism with a field dependent slope and intercept, which is accompanied by an anomalous field dependence to the resonance shift. We suggest that these may be related to a strong contribution from orbital currents or the magnetic freezeout of charge carriers in this heavily compensated semiconductor, but that conventional theories are unable to account for the extent of the field dependence. Conventional NMR of the stable host nuclei may help elucidate their origin. △ Less

Submitted 14 February, 2019; v1 submitted 17 October, 2018; originally announced October 2018.

Comments: 17 pages, 12 figures, submitted to Phys. Rev. B

Journal ref: Phys. Rev. B 99, 125201 (2019)

Formulating Categorical Concepts using Classes

Authors: Paul Blain Levy

Abstract: We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of $k$-classes. We apply the latter to both ordinary and higher categories. We examine the use of classes to formulate several categorical notions. This leads to two proposals: an explicit structure for working with subobjects, and a hierarchy of $k$-classes. We apply the latter to both ordinary and higher categories. △ Less

Submitted 26 July, 2018; v1 submitted 25 January, 2018; originally announced January 2018.

SUBIC: A Supervised Bi-Clustering Approach for Precision Medicine

Authors: Milad Zafar Nezhad, Dongxiao Zhu, Najibesadat Sadati, Kai Yang, Phillip Levy

Abstract: Traditional medicine typically applies one-size-fits-all treatment for the entire patient population whereas precision medicine develops tailored treatment schemes for different patient subgroups. The fact that some factors may be more significant for a specific patient subgroup motivates clinicians and medical researchers to develop new approaches to subgroup detection and analysis, which is an e… ▽ More Traditional medicine typically applies one-size-fits-all treatment for the entire patient population whereas precision medicine develops tailored treatment schemes for different patient subgroups. The fact that some factors may be more significant for a specific patient subgroup motivates clinicians and medical researchers to develop new approaches to subgroup detection and analysis, which is an effective strategy to personalize treatment. In this study, we propose a novel patient subgroup detection method, called Supervised Biclustring (SUBIC) using convex optimization and apply our approach to detect patient subgroups and prioritize risk factors for hypertension (HTN) in a vulnerable demographic subgroup (African-American). Our approach not only finds patient subgroups with guidance of a clinically relevant target variable but also identifies and prioritizes risk factors by pursuing sparsity of the input variables and encouraging similarity among the input variables and between the input and target variables △ Less

Submitted 26 September, 2017; originally announced September 2017.

Microscopic Dynamics of Li$^{+}$ in Rutile TiO$_{2}$ Revealed by $^{8}$Li $β$-detected NMR

Authors: Ryan M. L. McFadden, Terry J. Buck, Aris Chatzichristos, Chia-Chin Chen, David L. Cortie, Kim H. Chow, Martin H. Dehn, Victoria L. Karner, Dimitrios Koumoulis, C. D. Philip Levy, Chilin Li, Iain McKenzie, Rotraut Merkle, Gerald D. Morris, Matthew R. Pearson, Zaher Salman, Dominik Samuelis, Monika Stachura, Jiyu Xiao, Joachim Maier, Robert F. Kiefl, W. Andrew MacFarlane

Abstract: We report measurements of the dynamics of isolated $^{8}$Li$^{+}$ in single crystal rutile TiO$_{2}$ using $β$-detected NMR. From spin-lattice relaxation and motional narrowing, we find two sets of thermally activated dynamics: one below 100 K; and one at higher temperatures. At low temperature, the activation barrier is $26.8(6)$ meV with prefactor $1.23(5) \times 10^{10}$ s$^{-1}$. We suggest th… ▽ More We report measurements of the dynamics of isolated $^{8}$Li$^{+}$ in single crystal rutile TiO$_{2}$ using $β$-detected NMR. From spin-lattice relaxation and motional narrowing, we find two sets of thermally activated dynamics: one below 100 K; and one at higher temperatures. At low temperature, the activation barrier is $26.8(6)$ meV with prefactor $1.23(5) \times 10^{10}$ s$^{-1}$. We suggest this is unrelated to Li$^{+}$ motion, and rather is a consequence of electron polarons in the vicinity of the implanted $^{8}$Li$^{+}$ that are known to become mobile in this temperature range. Above 100 K, Li$^{+}$ undergoes long-range diffusion as an isolated uncomplexed cation, characterized by an activation energy and prefactor of $0.32(2)$ eV and $1.0(5) \times 10^{16}$ s$^{-1}$, in agreement with macroscopic diffusion measurements. These results in the dilute limit from a microscopic probe indicate that Li$^{+}$ concentration does not limit the diffusivity even up to high concentrations, but that some key ingredient is missing in the calculations of the migration barrier. The anomalous prefactors provide further insight into both Li$^{+}$ and polaron motion. △ Less

Submitted 19 September, 2017; originally announced September 2017.

Comments: 14 pages, 9 figures

Journal ref: Chem. Mater. 29, 10187 (2017)

Revealing topological Dirac fermions at the surface of strained HgTe thin films via Quantum Hall transport spectroscopy

Authors: C. Thomas, O. Crauste, B. Haas, P. H. Jouneau, C. Bäuerle, L. P. Lévy, E. Orignac, D. Carpentier, P. Ballet, T. Meunier

Abstract: We demonstrate evidences of electronic transport via topological Dirac surface states in a thin film of strained HgTe. At high perpendicular magnetic fields, we show that the electron transport reaches the quantum Hall regime with vanishing resistance. Furthermore, quantum Hall transport spectroscopy reveals energy splittings of relativistic Landau levels specific to coupled Dirac surface states.… ▽ More We demonstrate evidences of electronic transport via topological Dirac surface states in a thin film of strained HgTe. At high perpendicular magnetic fields, we show that the electron transport reaches the quantum Hall regime with vanishing resistance. Furthermore, quantum Hall transport spectroscopy reveals energy splittings of relativistic Landau levels specific to coupled Dirac surface states. This study provides new insights in the quantum Hall effect of topological insulator (TI) slabs, in the cross-over regime between two- and three-dimensional TIs, and in the relevance of thin TI films to explore novel circuit functionalities in spintronics and quantum nanoelectronics. △ Less

Submitted 28 April, 2017; originally announced April 2017.

Journal ref: Phys. Rev. B 96, 245420 (2017)

SAFS: A Deep Feature Selection Approach for Precision Medicine

Authors: Milad Zafar Nezhad, Dongxiao Zhu, Xiangrui Li, Kai Yang, Phillip Levy

Abstract: In this paper, we propose a new deep feature selection method based on deep architecture. Our method uses stacked auto-encoders for feature representation in higher-level abstraction. We developed and applied a novel feature learning approach to a specific precision medicine problem, which focuses on assessing and prioritizing risk factors for hypertension (HTN) in a vulnerable demographic subgrou… ▽ More In this paper, we propose a new deep feature selection method based on deep architecture. Our method uses stacked auto-encoders for feature representation in higher-level abstraction. We developed and applied a novel feature learning approach to a specific precision medicine problem, which focuses on assessing and prioritizing risk factors for hypertension (HTN) in a vulnerable demographic subgroup (African-American). Our approach is to use deep learning to identify significant risk factors affecting left ventricular mass indexed to body surface area (LVMI) as an indicator of heart damage risk. The results show that our feature learning and representation approach leads to better results in comparison with others. △ Less

Submitted 19 April, 2017; originally announced April 2017.

Effectful Applicative Bisimilarity: Monads, Relators, and Howe's Method (Long Version)

Authors: Ugo Dal Lago, Francesco Gavazzo, Paul Blain Levy

Abstract: We study Abramsky's applicative bisimilarity abstractly, in the context of call-by-value $λ$-calculi with algebraic effects. We first of all endow a computational $λ$-calculus with a monadic operational semantics. We then show how the theory of relators provides precisely what is needed to generalise applicative bisimilarity to such a calculus, and to single out those monads and relators for which… ▽ More We study Abramsky's applicative bisimilarity abstractly, in the context of call-by-value $λ$-calculi with algebraic effects. We first of all endow a computational $λ$-calculus with a monadic operational semantics. We then show how the theory of relators provides precisely what is needed to generalise applicative bisimilarity to such a calculus, and to single out those monads and relators for which applicative bisimilarity is a congruence, thus a sound methodology for program equivalence. This is done by studying Howe's method in the abstract. △ Less

Submitted 15 April, 2017; originally announced April 2017.

Comments: 30 pages

Determination of the nature of fluctuations using $^8Li$ and $^9Li$ $β$-NMR and spin-lattice relaxation

Authors: A. Chatzichristos, R. M. L. McFadden, V. L. Karner, D. L. Cortie, C. D. P. Levy, W. A. MacFarlane, G. D. Morris, M. R. Pearson, Z. Salman, R. F. Kiefl

Abstract: We report a comparison of the $1/T_1$ spin lattice relaxation rates (SLR) for $^9Li$ and $^8Li$ in Pt and SrTiO$_{3}$, in order to differentiate between magnetic and electric quadrupolar relaxation mechanisms. In Pt, the ratio of the $1/T_{1}$ spin relaxation rates $R_{Pt}$ was found to be 6.82(29), which is close to but less than the theoretical limit of $\sim7.68$ for pure magnetic relaxation. I… ▽ More We report a comparison of the $1/T_1$ spin lattice relaxation rates (SLR) for $^9Li$ and $^8Li$ in Pt and SrTiO$_{3}$, in order to differentiate between magnetic and electric quadrupolar relaxation mechanisms. In Pt, the ratio of the $1/T_{1}$ spin relaxation rates $R_{Pt}$ was found to be 6.82(29), which is close to but less than the theoretical limit of $\sim7.68$ for pure magnetic relaxation. In SrTiO$_{3}$ this ratio was found to be 2.7(3), which is close but larger than the theoretical limit of $\sim2.14$ expected for pure electric quadrupolar relaxation. These results bring new insight into the nature of the fluctuations in the local environment of implanted $^8Li$ observed by $β$-NMR. △ Less

Submitted 29 March, 2017; originally announced March 2017.

Comments: 8 pages, 6 figures, submitted for publication at Physical Review B

Journal ref: Phys. Rev. B 96, 014307 (2017)

A monad for full ground reference cells

Authors: Ohad Kammar, Paul B. Levy, Sean K. Moss, Sam Staton

Abstract: We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for adding hiding/encapsulation capabilities to the heaps. We derive a monad for full ground references supporting effect masking by applying a state monad transformer t… ▽ More We present a denotational account of dynamic allocation of potentially cyclic memory cells using a monad on a functor category. We identify the collection of heaps as an object in a different functor category equipped with a monad for adding hiding/encapsulation capabilities to the heaps. We derive a monad for full ground references supporting effect masking by applying a state monad transformer to the encapsulation monad. To evaluate the monad, we present a denotational semantics for a call-by-value calculus with full ground references, and validate associated code transformations. △ Less

Submitted 19 April, 2017; v1 submitted 16 February, 2017; originally announced February 2017.

A Ghost at $ω_1$

Authors: Paul Blain Levy

Abstract: In the final chain of the countable powerset functor, we show that the set at index $ω_1$, regarded as a transition system, is not strongly extensional because it contains a "ghost" element that has no successor even though its component at each successor index is inhabited. The method, adapted from a construction of Forti and Honsell, also gives ghosts at larger ordinals in the final chain of oth… ▽ More In the final chain of the countable powerset functor, we show that the set at index $ω_1$, regarded as a transition system, is not strongly extensional because it contains a "ghost" element that has no successor even though its component at each successor index is inhabited. The method, adapted from a construction of Forti and Honsell, also gives ghosts at larger ordinals in the final chain of other subfunctors of the powerset functor. This leads to a precise description of which sets in these final chains are strongly extensional. △ Less

Submitted 25 July, 2018; v1 submitted 30 December, 2016; originally announced December 2016.

MSC Class: 03E75

Journal ref: Logical Methods in Computer Science, Volume 14, Issue 3 (July 26, 2018) lmcs:2626

Origin of multistate resistive switching in Ti/manganite/Si$O_x$/Si heterostructures

Authors: W. Román Acevedo, C. Acha, M. J. Sánchez, P. Levy, D. Rubi

Abstract: We report on the growth and characterization of Ti/$La_{1/3}$$Ca_{2/3}$Mn$O_3$/Si$O_x$/n-Si memristive devices. We demonstrate that using current as electrical stimulus unveils an intermediate resistance state, in addition to the usual high and low resistance states that are observed in standard voltage controlled experiments. Based on thorough electrical characterization (impedance spectroscopy,… ▽ More We report on the growth and characterization of Ti/$La_{1/3}$$Ca_{2/3}$Mn$O_3$/Si$O_x$/n-Si memristive devices. We demonstrate that using current as electrical stimulus unveils an intermediate resistance state, in addition to the usual high and low resistance states that are observed in standard voltage controlled experiments. Based on thorough electrical characterization (impedance spectroscopy, current-voltage curves analysis), we disclose the contribution of three different microscopic regions of the device to the transport properties: an ohmic incomplete metallic filament, a thin manganite layer below the filament tip exhibiting Poole-Frenkel like conduction, and the SiOx layer with an electrical response well characterized by a Child-Langmuir law. Our results suggest that the existence of the SiOx layer plays a key role in the stabilization of the intermediate resistance level, indicating that the combination of two or more active RS oxides adds functionalities in relation to single-oxide devices. We understand that these multilevel devices are interesting and promising as their fabrication procedure is rather simple and they are fully compatible with standard Si-based electronics. △ Less

Submitted 19 January, 2017; v1 submitted 4 November, 2016; originally announced November 2016.

Comments: 15 pages, 4 figures. To appear in Applied Physics Letters

Manganite-based three level memristive devices with self-healing capability

Authors: W. Román Acevedo, D. Rubi, J. Lecourt, U. Lüders, F. Gomez-Marlasca, P. Granell, F. Golmar, P. Levy

Abstract: We report on non-volatile memory devices based on multifunctional manganites. The electric field induced resistive switching of Ti/$La_{1/3}$$Ca_{2/3}$Mn$O_3$/n-Si devices is explored using different measurement protocols. We show that using current as the electrical stimulus (instead of standard voltage-controlled protocols) improves the electrical performance of our devices and unveils an interm… ▽ More We report on non-volatile memory devices based on multifunctional manganites. The electric field induced resistive switching of Ti/$La_{1/3}$$Ca_{2/3}$Mn$O_3$/n-Si devices is explored using different measurement protocols. We show that using current as the electrical stimulus (instead of standard voltage-controlled protocols) improves the electrical performance of our devices and unveils an intermediate resistance state. We observe three discrete resistance levels (low, intermediate and high), which can be set either by the application of current-voltage ramps or by means of single pulses. These states exhibit retention and endurance capabilities exceeding $10^4$ s and 70 cycles, respectively. We rationalize our experimental observations by proposing a mixed scenario were a metallic filament and a Si$O_x$ layer coexist, accounting for the observed resistive switching. Overall electrode area dependence and temperature dependent resistance measurements support our scenario. After device failure takes place, the system can be turned functional again by heating up to low temperature (120 C), a feature that could be exploited for the design of memristive devices with self-healing functionality. These results give insight into the existence of multiple resistive switching mechanisms in manganite-based memristive systems and provide strategies for controlling them. △ Less

Submitted 16 June, 2016; originally announced June 2016.

Comments: 17 pages, 7 figures, to appear in Phys. Lett. A

Generic singularities of nilpotent orbit closures

Authors: Baohua Fu, Daniel Juteau, Paul Levy, Eric Sommers

Abstract: According to a well-known theorem of Brieskorn and Slodowy, the intersection of the nilpotent cone of a simple Lie algebra with a transverse slice to the subregular nilpotent orbit is a simple surface singularity. At the opposite extremity of the nilpotent cone, the closure of the minimal nilpotent orbit is also an isolated symplectic singularity, called a minimal singularity. For classical Lie al… ▽ More According to a well-known theorem of Brieskorn and Slodowy, the intersection of the nilpotent cone of a simple Lie algebra with a transverse slice to the subregular nilpotent orbit is a simple surface singularity. At the opposite extremity of the nilpotent cone, the closure of the minimal nilpotent orbit is also an isolated symplectic singularity, called a minimal singularity. For classical Lie algebras, Kraft and Procesi showed that these two types of singularities suffice to describe all generic singularities of nilpotent orbit closures: specifically, any such singularity is either a simple surface singularity, a minimal singularity, or a union of two simple surface singularities of type $A_{2k-1}$. In the present paper, we complete the picture by determining the generic singularities of all nilpotent orbit closures in exceptional Lie algebras (up to normalization in a few cases). We summarize the results in some graphs at the end of the paper. In most cases, we also obtain simple surface singularities or minimal singularities, though often with more complicated branching than occurs in the classical types. There are, however, six singularities which do not occur in the classical types. Three of these are unibranch non-normal singularities: an $SL_2(\mathbb C)$-variety whose normalization is ${\mathbb A}^2$, an $Sp_4(\mathbb C)$-variety whose normalization is ${\mathbb A}^4$, and a two-dimensional variety whose normalization is the simple surface singularity $A_3$. In addition, there are three 4-dimensional isolated singularities each appearing once. We also study an intrinsic symmetry action on the singularities, in analogy with Slodowy's work for the regular nilpotent orbit. △ Less

Submitted 8 September, 2016; v1 submitted 19 February, 2015; originally announced February 2015.

Comments: 56 pages (5 figures). Minor corrections. Accepted in Advances in Math

MSC Class: 17B08; 14L30

Shock-waves and commutation speed of memristors

Authors: Shao Tang, Federico Tesler, Fernando Gomez Marlasca, Pablo Levy, V. Dobrosavljević, Marcelo Rozenberg

Abstract: Progress of silicon based technology is nearing its physical limit, as minimum feature size of components is reaching a mere 10 nm. The resistive switching behaviour of transition metal oxides and the associated memristor device is emerging as a competitive technology for next generation electronics. Significant progress has already been made in the past decade and devices are beginning to hit the… ▽ More Progress of silicon based technology is nearing its physical limit, as minimum feature size of components is reaching a mere 10 nm. The resistive switching behaviour of transition metal oxides and the associated memristor device is emerging as a competitive technology for next generation electronics. Significant progress has already been made in the past decade and devices are beginning to hit the market; however, it has been mainly the result of empirical trial and error. Hence, gaining theoretical insight is of essence. In the present work we report the striking result of a connection between the resistive switching and {\em shock wave} formation, a classic topic of non-linear dynamics. We argue that the profile of oxygen vacancies that migrate during the commutation forms a shock wave that propagates through a highly resistive region of the device. We validate the scenario by means of model simulations and experiments in a manganese-oxide based memristor device. The shock wave scenario brings unprecedented physical insight and enables to rationalize the process of oxygen-vacancy-driven resistive change with direct implications for a key technological aspect -- the commutation speed. △ Less

Submitted 18 March, 2016; v1 submitted 15 November, 2014; originally announced November 2014.

Comments: Featured in Physics Synopsis: "Waves that Shock Resistance" (Mar. 15, 2016). http://physics.aps.org/synopsis-for/10.1103/PhysRevX.6.011028

Journal ref: Phys. Rev. X 6, 011028 (2016)

Coproducts of Monads on Set

Authors: Jiří Adámek, Nathan Bowler, Paul B. Levy, Stefan Milius

Abstract: Coproducts of monads on Set have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on Set by an initial algebra formula, and prove also the converse: if the coproduct exists, so do the required initial algebras. That formula was, in the case of ideal monads, also used by Ghani and Uustalu. We deduce that coproduct embeddings of c… ▽ More Coproducts of monads on Set have arisen in both the study of computational effects and universal algebra. We describe coproducts of consistent monads on Set by an initial algebra formula, and prove also the converse: if the coproduct exists, so do the required initial algebras. That formula was, in the case of ideal monads, also used by Ghani and Uustalu. We deduce that coproduct embeddings of consistent monads are injective; and that a coproduct of injective monad morphisms is injective. Two consistent monads have a coproduct iff either they have arbitrarily large common fixpoints, or one is an exception monad, possibly modified to preserve the empty set. Hence a consistent monad has a coproduct with every monad iff it is an exception monad, possibly modified to preserve the empty set. We also show other fixpoint results, including that a functor (not constant on nonempty sets) is finitary iff every sufficiently large cardinal is a fixpoint. △ Less

Submitted 11 September, 2014; originally announced September 2014.

Comments: Presented at the conference "27th Annual Symposium on Logic in Computer Science (LICS 2012)". The current version contains proofs of some of the results in the appendix