Showing 1–50 of 57 results for author: Hanson, E

Network Inpainting via Optimal Transport

Authors: Enrico Facca, Jan Martin Nordbotten, Erik Andreas Hanson

Abstract: In this work, we present a novel tool for reconstructing networks from corrupted images. The reconstructed network is the result of a minimization problem that has a misfit term with respect to the observed data, and a physics-based regularizing term coming from the theory of optimal transport. Through a range of numerical tests, we demonstrate that our suggested approach can effectively rebuild t… ▽ More In this work, we present a novel tool for reconstructing networks from corrupted images. The reconstructed network is the result of a minimization problem that has a misfit term with respect to the observed data, and a physics-based regularizing term coming from the theory of optimal transport. Through a range of numerical tests, we demonstrate that our suggested approach can effectively rebuild the primary features of damaged networks, even when artifacts are present. △ Less

Submitted 22 May, 2024; originally announced May 2024.

MSC Class: 49-04; 49K20; 49N99; 65N21; 65N30; 65Z05

The Countable Reals

Authors: Andrej Bauer, James E. Hanson

Abstract: We construct a topos in which the Dedekind reals are countable. To accomplish this, we first define a new kind of toposes that we call parameterized realizability toposes. They are built from partial combinatory algebras whose application operation depends on a parameter, and in which realizers operate uniformly with respect to a given parameter set. Our topos is the parameterized realizability… ▽ More We construct a topos in which the Dedekind reals are countable. To accomplish this, we first define a new kind of toposes that we call parameterized realizability toposes. They are built from partial combinatory algebras whose application operation depends on a parameter, and in which realizers operate uniformly with respect to a given parameter set. Our topos is the parameterized realizability topos whose realizers are oracle-computable partial maps, with oracles serving as parameters and ranging over the representations of a non-diagonalizable sequence, discovered by Joseph Miller. It is a sequence of reals in $[0,1]$ that is non-diagonalizable in the sense that any real in $[0,1]$ that is oracle-computable, uniformly in oracles representing the sequence, must already appear in the sequence. The Dedekind reals are countable in the topos because the non-diagonalizable sequence appears in it as an epimorphism. The topos is intuitionistic, as it invalidates both the law of excluded middle and the axiom of countable choice. The Cauchy reals are uncountable. The Hilbert cube is countable, from which Brouwer's fixed-point theorem follows as an easy corollary of Lawvere's fixed-point theorem. From the 1-dimensional Brouwer's fixed-point theorem we obtain the intermediate value theorem and the lesser limited principle of omniscience. The Kreisel-Lacombe-Shoenfield-Tseitin theorem stating that all real-valued maps are continuous is valid, because the usual proof is uniform with respect to oracles. Lastly, the closed interval $[0,1]$, being countable, can trivially be covered by a sequence of open intervals whose lengths add up to any prescribed $0 < ε< 1$, and such a cover has no finite subcover. However, we show that any sequence of open intervals with rational endpoints covering $[0,1]$ must has a finite subcover. △ Less

Submitted 1 April, 2024; originally announced April 2024.

MSC Class: 03B99; 03F55

Model theoretic events

Authors: Kyle Gannon, James E. Hanson

Abstract: How do we randomly sample an infinite sequence from a first order structure? What properties might hold on almost all random sequences? Which kinds of probabilistic processes can be meaningfully applied and studied in the model theory context? This paper takes these questions seriously and advances a plausible framework to engage with probabilistic phenomena. The central object of this paper is… ▽ More How do we randomly sample an infinite sequence from a first order structure? What properties might hold on almost all random sequences? Which kinds of probabilistic processes can be meaningfully applied and studied in the model theory context? This paper takes these questions seriously and advances a plausible framework to engage with probabilistic phenomena. The central object of this paper is a probability space. The underlying set of our space is a standard model theoretic object, i.e. the space of types in countably many variables over a monster model. Our probability measure is the iterated Morley product of a fixed Borel-definable Keisler measure. Choosing a point randomly in this space with respect to our distribution yields a "random generic type" in countably many variables. We are interested in which events hold for almost all random generic types. We consider two different flavors of model theoretic events: (1) When is the induced structure on almost all random generic types isomorphic to a fixed structure? (2) For a fixed formula which is unstable, IP, sOP, etc., what is the probability that a random generic type witnesses this dividing line? For (1), we show that if our measure satisfies a particular extension axiom, then there exists a structure $N$ such that the induced structure on almost all random generic types is isomorphic to $N$. The proof echos a celebrated result of Glebskii et al. and Fagin concerning the existence of almost sure theories. We also provide examples where no such model exists. For (2), we show that if our initial distribution is fim, then almost no random generic types witness instability, IP, or sOP. In the local NIP context, we use results from combinatorics to prove that for any Borel-definable measure, the "average value of witnessing k-instability" across all permutations converges to 0. Some examples are provided. △ Less

Submitted 23 February, 2024; originally announced February 2024.

Comments: 39 pages

MSC Class: 03C45; 03C30

Mutation of τ-exceptional pairs and sequences

Authors: Aslak B. Buan, Eric J. Hanson, Bethany R. Marsh

Abstract: We introduce a notion of mutation for $τ$-exceptional sequences of modules over arbitrary finite dimensional algebras. For hereditary algebras, we show that this coincides with the classical mutation of exceptional sequences. For rank two algebras, we show that mutation of $τ$-exceptional sequences is transitive if and only if mutation of support $τ$-tilting modules in the sense of Adachi-Iyama-Re… ▽ More We introduce a notion of mutation for $τ$-exceptional sequences of modules over arbitrary finite dimensional algebras. For hereditary algebras, we show that this coincides with the classical mutation of exceptional sequences. For rank two algebras, we show that mutation of $τ$-exceptional sequences is transitive if and only if mutation of support $τ$-tilting modules in the sense of Adachi-Iyama-Reiten is transitive. △ Less

Submitted 15 February, 2024; originally announced February 2024.

Comments: 42 pages

MSC Class: 16D90; 16G10; 16G20; 16S90

Invariants of persistence modules defined by order-embeddings

Authors: Claire Amiot, Thomas Brüstle, Eric J. Hanson

Abstract: One of the main objectives of topological data analysis is the study of discrete invariants for persistence modules, in particular when dealing with multiparameter persistence modules. In many cases, the invariants studied for these non-totally ordered posets $P$ can be obtained from restricting a given module to a subposet $X$ of $P$ that is totally ordered (or more generally, of finite represent… ▽ More One of the main objectives of topological data analysis is the study of discrete invariants for persistence modules, in particular when dealing with multiparameter persistence modules. In many cases, the invariants studied for these non-totally ordered posets $P$ can be obtained from restricting a given module to a subposet $X$ of $P$ that is totally ordered (or more generally, of finite representation type), and then computing the barcode (or the general direct sum decomposition) over $X$. We consider in this paper general order-preserving embeddings of representation-finite subposets $X$ into $P$ and study systematically the invariants obtained by decomposing the restriction of a given $P$-module $M$ to $X$ into its indecomposable summands. The restriction functor from $\mathrm{mod} \ P$ to $\mathrm{mod} \ X$ is well-studied, and it is known to be exact and admits both left and right adjoint functors, known as induction and co-induction functors. This allows us to obtain new homological insights, and also to re-interpret previous results. We use this approach also to determine bases, thus generalizing the concept of signed barcodes which is considered in the literature in relation to stability results. It turns out that considering only order-embeddings of one fixed poset $X$ into the poset $P$, and studying the set of all indecomposables obtained from $X$ introduces a lot of redundancy. We therefore also study iterated embeddings of several posets of increasing sizes, while limiting attention to only some indecomposables (that have not been obtained from embedding of smaller posets previously). △ Less

Submitted 14 February, 2024; originally announced February 2024.

Comments: 22 pages

Pop-Stack Operators for Torsion Classes and Cambrian Lattices

Authors: Emily Barnard, Colin Defant, Eric J. Hanson

Abstract: The pop-stack operator of a finite lattice $L$ is the map $\mathrm{pop}^{\downarrow}_L\colon L\to L$ that sends each element $x\in L$ to the meet of $\{x\}\cup\text{cov}_L(x)$, where $\text{cov}_L(x)$ is the set of elements covered by $x$ in $L$. We study several properties of the pop-stack operator of $\mathrm{tors}Λ$, the lattice of torsion classes of a $τ$-tilting finite algebra $Λ$ over a fiel… ▽ More The pop-stack operator of a finite lattice $L$ is the map $\mathrm{pop}^{\downarrow}_L\colon L\to L$ that sends each element $x\in L$ to the meet of $\{x\}\cup\text{cov}_L(x)$, where $\text{cov}_L(x)$ is the set of elements covered by $x$ in $L$. We study several properties of the pop-stack operator of $\mathrm{tors}Λ$, the lattice of torsion classes of a $τ$-tilting finite algebra $Λ$ over a field $K$. We describe the pop-stack operator in terms of certain mutations of 2-term simple-minded collections. This allows us to describe preimages of a given torsion class under the pop-stack operator. We then specialize our attention to Cambrian lattices of a finite irreducible Coxeter group $W$. Using tools from representation theory, we provide simple Coxeter-theoretic and lattice-theoretic descriptions of the image of the pop-stack operator of a Cambrian lattice (which can be stated without representation theory). When specialized to a bipartite Cambrian lattice of type A, this result settles a conjecture of Choi and Sun. We also settle a related enumerative conjecture of Defant and Williams. When $L$ is an arbitrary lattice quotient of the weak order on $W$, we prove that the maximum size of a forward orbit under the pop-stack operator of $L$ is at most the Coxeter number of $W$; when $L$ is a Cambrian lattice, we provide an explicit construction to show that this maximum forward orbit size is actually equal to the Coxeter number. △ Less

Submitted 6 December, 2023; originally announced December 2023.

Comments: 50 pages, 7 figures

MSC Class: 05A05; 05A15; 05A19; 05E10; 05E16; 06D75; 06F15; 16G10; 16G20

Block-Wise Mixed-Precision Quantization: Enabling High Efficiency for Practical ReRAM-based DNN Accelerators

Authors: Xueying Wu, Edward Hanson, Nansu Wang, Qilin Zheng, Xiaoxuan Yang, Huanrui Yang, Shiyu Li, Feng Cheng, Partha Pratim Pande, Janardhan Rao Doppa, Krishnendu Chakrabarty, Hai Li

Abstract: Resistive random access memory (ReRAM)-based processing-in-memory (PIM) architectures have demonstrated great potential to accelerate Deep Neural Network (DNN) training/inference. However, the computational accuracy of analog PIM is compromised due to the non-idealities, such as the conductance variation of ReRAM cells. The impact of these non-idealities worsens as the number of concurrently activ… ▽ More Resistive random access memory (ReRAM)-based processing-in-memory (PIM) architectures have demonstrated great potential to accelerate Deep Neural Network (DNN) training/inference. However, the computational accuracy of analog PIM is compromised due to the non-idealities, such as the conductance variation of ReRAM cells. The impact of these non-idealities worsens as the number of concurrently activated wordlines and bitlines increases. To guarantee computational accuracy, only a limited number of wordlines and bitlines of the crossbar array can be turned on concurrently, significantly reducing the achievable parallelism of the architecture. While the constraints on parallelism limit the efficiency of the accelerators, they also provide a new opportunity for fine-grained mixed-precision quantization. To enable efficient DNN inference on practical ReRAM-based accelerators, we propose an algorithm-architecture co-design framework called \underline{B}lock-\underline{W}ise mixed-precision \underline{Q}uantization (BWQ). At the algorithm level, BWQ-A introduces a mixed-precision quantization scheme at the block level, which achieves a high weight and activation compression ratio with negligible accuracy degradation. We also present the hardware architecture design BWQ-H, which leverages the low-bit-width models achieved by BWQ-A to perform high-efficiency DNN inference on ReRAM devices. BWQ-H also adopts a novel precision-aware weight map** method to increase the ReRAM crossbar's throughput. Our evaluation demonstrates the effectiveness of BWQ, which achieves a 6.08x speedup and a 17.47x energy saving on average compared to existing ReRAM-based architectures. △ Less

Submitted 27 October, 2023; v1 submitted 17 October, 2023; originally announced October 2023.

Comments: 12 pages, 13 figures

Generic stability, randomizations, and NIP formulas

Authors: Gabriel Conant, Kyle Gannon, James E. Hanson

Abstract: We prove a number of results relating the concepts of Keisler measures, generic stability, randomizations, and NIP formulas. Among other things, we do the following: (1) We introduce the notion of a Keisler-Morley measure, which plays the role of a Morley sequence for a Keisler measure. We prove that if $μ$ is fim over $M$, then for any Keisler-Morley measure $λ$ in $μ$ over $M$ and any formula… ▽ More We prove a number of results relating the concepts of Keisler measures, generic stability, randomizations, and NIP formulas. Among other things, we do the following: (1) We introduce the notion of a Keisler-Morley measure, which plays the role of a Morley sequence for a Keisler measure. We prove that if $μ$ is fim over $M$, then for any Keisler-Morley measure $λ$ in $μ$ over $M$ and any formula $\varphi(x,b)$, $\lim_{i \to \infty} λ(\varphi(x_i,b)) = μ(\varphi(x,b))$. We also show that any measure satisfying this conclusion must be fam. (2) We study the map, defined by Ben Yaacov, taking a definable measure $μ$ to a type $r_μ$ in the randomization. We prove that this map commutes with Morley products, and that if $μ$ is fim then $r_μ$ is generically stable. (3) We characterize when generically stable types are closed under Morley products by means of a variation of ict-patterns. Moreover, we show that NTP$_2$ theories satisfy this property. (4) We prove that if a local measure admits a suitably tame global extension, then it has finite packing numbers with respect to any definable family. We also characterize NIP formulas via the existence of tame extensions for local measures. △ Less

Submitted 1 September, 2023; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: 37 pages; Added section 3.4 on fam measures and some general clarifying remarks

Exact structures for persistence modules

Authors: Benjamin Blanchette, Thomas Brüstle, Eric J. Hanson

Abstract: We discuss applications of exact structures and relative homological algebra to the study of invariants of multiparameter persistence modules. This paper is mostly expository, but does contain a pair of novel results. Over finite posets, classical arguments about the relative projective modules of an exact structure make use of Auslander-Reiten theory. One of our results establishes a new adjuncti… ▽ More We discuss applications of exact structures and relative homological algebra to the study of invariants of multiparameter persistence modules. This paper is mostly expository, but does contain a pair of novel results. Over finite posets, classical arguments about the relative projective modules of an exact structure make use of Auslander-Reiten theory. One of our results establishes a new adjunction which allows us to "lift" these arguments to certain infinite posets over which Auslander-Reiten theory is not available. We give several examples of this lifting, in particular highlighting the non-existence and existence of resolutions by upsets when working with finitely presentable representations of the plane and of the closure of the positive quadrant, respectively. We then restrict our attention to finite posets. In this setting, we discuss the relationship between the global dimension of an exact structure and the representation dimension of the incidence algebra of the poset. We conclude with our second novel contribution. This is an explicit description of the irreducible morphisms between relative projective modules for several exact structures which have appeared previously in the literature. △ Less

Submitted 16 August, 2023; v1 submitted 3 August, 2023; originally announced August 2023.

Comments: v2: corrected typos and minor erros, 25 pages

MSC Class: 55N31; 16G20; 18G25 (primary); 16E10; 16E20; 16S50; 19A49 (secondary)

Bi-invariant types, reliably invariant types, and the comb tree property

Authors: James E. Hanson

Abstract: We introduce and examine some special classes of invariant types$\unicode{x2014}$bi-invariant, strongly bi-invariant, extendibly invariant, and reliably invariant types$\unicode{x2014}$and show that they are related to certain model-theoretic tree properties. We show that the comb tree property (recently introduced by Mutchnik) is equivalent to the failure of Kim's lemma for bi-invariant types a… ▽ More We introduce and examine some special classes of invariant types$\unicode{x2014}$bi-invariant, strongly bi-invariant, extendibly invariant, and reliably invariant types$\unicode{x2014}$and show that they are related to certain model-theoretic tree properties. We show that the comb tree property (recently introduced by Mutchnik) is equivalent to the failure of Kim's lemma for bi-invariant types and is implied by the failure of Kim's lemma for reliably invariant types over invariance bases. We show that every type over an invariance base extends to a reliably invariant type$\unicode{x2014}$generalizing an unpublished result of Kruckman and Ramsey$\unicode{x2014}$and use this to show that, under a reasonable definition of Kim-dividing, Kim-forking coincides with Kim-dividing over invariance bases in theories without the comb tree property. Assuming a measurable cardinal, we characterize the comb tree property in terms of a form of dual local character. We also show that the antichain tree property (introduced by Ahn and Kim) seems to have a somewhat similar relationship to strong bi-invariance. In particular, we show that NATP theories satisfy Kim's lemma for strongly bi-invariant types and (assuming a measurable cardinal) satisfy a different form of dual local character. Furthermore, we examine a mutual generalization of the local character properties satisfied by NTP$_2$ and NSOP$_1$ theories and show that it is satisfied by all NATP theories. Finally, we give some related minor results$\unicode{x2014}$a strengthened local character characterization of NSOP$_1$ and a characterization of coheirs in terms of invariant extensions in expansions$\unicode{x2014}$as well as a pathological example of Kim-dividing. △ Less

Submitted 17 August, 2023; v1 submitted 14 June, 2023; originally announced June 2023.

Comments: 27 pages

MSC Class: 03C45

A facial order for torsion classes

Authors: Eric J. Hanson

Abstract: We generalize the "facial weak order" of a finite Coxeter group to a partial order on a set of intervals in a complete lattice. We apply our construction to the lattice of torsion classes of a finite-dimensional algebra and consider its restriction to intervals coming from stability conditions. We give two additional interpretations of the resulting "facial semistable order": one using cover relat… ▽ More We generalize the "facial weak order" of a finite Coxeter group to a partial order on a set of intervals in a complete lattice. We apply our construction to the lattice of torsion classes of a finite-dimensional algebra and consider its restriction to intervals coming from stability conditions. We give two additional interpretations of the resulting "facial semistable order": one using cover relations, and one using Bongartz completions of 2-term presilting objects. For $τ$-tilting finite algebras, this allows us to prove that the facial semistable order is a semidistributive lattice. We then show that, in any abelian length category, our new partial order can be partitioned into a set of completely semidistributive lattices, one of which is the original lattice of torsion classes. △ Less

Submitted 27 June, 2023; v1 submitted 10 May, 2023; originally announced May 2023.

Comments: v2: added references, minor improvements to exposition, corrected typos, new abstract. 25 pages, 5 figures

MSC Class: 15E10; 16G20; 18E40; 52C99 (primary); 06A07; 06D75 (secondary)

$τ$-exceptional sequences and the shard intersection order in type A

Authors: Eric J. Hanson

Abstract: Reading's "shard intersection order" on the symmetric group can be realized as the "lattice of wide subcategories" of the corresponding preprojective algebra. In this paper, we first use Bancroft's combinatorial model for the shard intersection order to associate a unique shard to each downward cover relation. We then show that, under the correspondence with wide subcategories, this process coinci… ▽ More Reading's "shard intersection order" on the symmetric group can be realized as the "lattice of wide subcategories" of the corresponding preprojective algebra. In this paper, we first use Bancroft's combinatorial model for the shard intersection order to associate a unique shard to each downward cover relation. We then show that, under the correspondence with wide subcategories, this process coincides with Jasso's "$τ$-tilting reduction". In particular, this yields a combinatorial model for this algebras's $τ$-exceptional sequences" (defined by Buan and Marsh). We formulate this model using the combinatorics of arc diagrams. Finally, we use our model to give a new representation-theoretic proof that the shard intersection order is EL-shellable in type A. △ Less

Submitted 10 May, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: v2: added references. 39 pages, 7 figures

MSC Class: 16G20; 05E10 (primary); 06A07; 20F55; 52C35 (secondary)

Morphisms and extensions between bricks over preprojective algebras of type A

Authors: Eric J. Hanson, Xinrui You

Abstract: The bricks over preprojective algebras of type A are known to be in bijection with certain combinatorial objects called "arcs". In this paper, we show how one can use arcs to compute bases for the Hom-spaces and first extension spaces between bricks. We then use this description to classify the "weak exceptional sequences" over these algebras. Finally, we explain how our result relates to a simila… ▽ More The bricks over preprojective algebras of type A are known to be in bijection with certain combinatorial objects called "arcs". In this paper, we show how one can use arcs to compute bases for the Hom-spaces and first extension spaces between bricks. We then use this description to classify the "weak exceptional sequences" over these algebras. Finally, we explain how our result relates to a similar combinatorial model for the exceptional sequences over hereditary algebras of type A. △ Less

Submitted 8 June, 2023; v1 submitted 20 March, 2023; originally announced March 2023.

Comments: v2: additional references to related work, corrected an error in the proof of Proposition 6.6. 25 pages, 11 figures

MSC Class: 16G20; 16G10

A uniqueness property of τ exceptional sequences

Authors: Eric J. Hanson, Hugh Thomas

Abstract: Recently, Buan and Marsh showed that if two complete $τ$-exceptional sequences agree in all but at most one term, then they must agree everywhere, provided the algebra is $τ$-tilting finite. They conjectured that the result holds without that assumption. We prove their conjecture. Along the way, we also show that the dimension vectors of the modules in a $τ$-exceptional sequence are linearly indep… ▽ More Recently, Buan and Marsh showed that if two complete $τ$-exceptional sequences agree in all but at most one term, then they must agree everywhere, provided the algebra is $τ$-tilting finite. They conjectured that the result holds without that assumption. We prove their conjecture. Along the way, we also show that the dimension vectors of the modules in a $τ$-exceptional sequence are linearly independent. △ Less

Submitted 14 February, 2023; originally announced February 2023.

Comments: 7 pages

MSC Class: 16G20; 16G10

Analog, In-memory Compute Architectures for Artificial Intelligence

Authors: Patrick Bowen, Guy Regev, Nir Regev, Bruno Pedroni, Edward Hanson, Yiran Chen

Abstract: This paper presents an analysis of the fundamental limits on energy efficiency in both digital and analog in-memory computing architectures, and compares their performance to single instruction, single data (scalar) machines specifically in the context of machine inference. The focus of the analysis is on how efficiency scales with the size, arithmetic intensity, and bit precision of the computati… ▽ More This paper presents an analysis of the fundamental limits on energy efficiency in both digital and analog in-memory computing architectures, and compares their performance to single instruction, single data (scalar) machines specifically in the context of machine inference. The focus of the analysis is on how efficiency scales with the size, arithmetic intensity, and bit precision of the computation to be performed. It is shown that analog, in-memory computing architectures can approach arbitrarily high energy efficiency as both the problem size and processor size scales. △ Less

Submitted 13 January, 2023; originally announced February 2023.

Comments: 17 pages, 10 figures

Biologically Plausible Learning on Neuromorphic Hardware Architectures

Authors: Christopher Wolters, Brady Taylor, Edward Hanson, Xiaoxuan Yang, Ulf Schlichtmann, Yiran Chen

Abstract: With an ever-growing number of parameters defining increasingly complex networks, Deep Learning has led to several breakthroughs surpassing human performance. As a result, data movement for these millions of model parameters causes a growing imbalance known as the memory wall. Neuromorphic computing is an emerging paradigm that confronts this imbalance by performing computations directly in analog… ▽ More With an ever-growing number of parameters defining increasingly complex networks, Deep Learning has led to several breakthroughs surpassing human performance. As a result, data movement for these millions of model parameters causes a growing imbalance known as the memory wall. Neuromorphic computing is an emerging paradigm that confronts this imbalance by performing computations directly in analog memories. On the software side, the sequential Backpropagation algorithm prevents efficient parallelization and thus fast convergence. A novel method, Direct Feedback Alignment, resolves inherent layer dependencies by directly passing the error from the output to each layer. At the intersection of hardware/software co-design, there is a demand for develo** algorithms that are tolerable to hardware nonidealities. Therefore, this work explores the interrelationship of implementing bio-plausible learning in-situ on neuromorphic hardware, emphasizing energy, area, and latency constraints. Using the benchmarking framework DNN+NeuroSim, we investigate the impact of hardware nonidealities and quantization on algorithm performance, as well as how network topologies and algorithm-level design choices can scale latency, energy and area consumption of a chip. To the best of our knowledge, this work is the first to compare the impact of different learning algorithms on Compute-In-Memory-based hardware and vice versa. The best results achieved for accuracy remain Backpropagation-based, notably when facing hardware imperfections. Direct Feedback Alignment, on the other hand, allows for significant speedup due to parallelization, reducing training time by a factor approaching N for N-layered networks. △ Less

Submitted 11 April, 2023; v1 submitted 29 December, 2022; originally announced December 2022.

Exceptional sequences in semidistributive lattices and the poset topology of wide subcategories

Authors: Emily Barnard, Eric J. Hanson

Abstract: Let $Λ$ be a finite-dimensional algebra over a field $K$. We describe how Buan and Marsh's $τ$-exceptional sequences can be used to give a "brick labeling" of a certain poset of wide subcategories of finitely-generated $Λ$-modules. When $Λ$ is representation-directed, we prove that there exists a total order on the set of bricks which makes this into an EL-labeling. Motivated by the connection bet… ▽ More Let $Λ$ be a finite-dimensional algebra over a field $K$. We describe how Buan and Marsh's $τ$-exceptional sequences can be used to give a "brick labeling" of a certain poset of wide subcategories of finitely-generated $Λ$-modules. When $Λ$ is representation-directed, we prove that there exists a total order on the set of bricks which makes this into an EL-labeling. Motivated by the connection between classical exceptional sequences and noncrossing partitions, we then turn our attention towards the study of (well-separated) completely semidistributive lattices. Such lattices come equipped with a bijection between their completely join-irreducible and completely meet-irreducible elements, known as rowmotion or simply the "$κ$-map". Generalizing known results for finite semidistributive lattices, we show that the $κ$-map determines exactly when a set of completely join-irreducible elements forms a "canonical join representation". A consequence is that the corresponding "canonical join complex" is a flag simplicial complex, as has been shown for finite semidistributive lattices and lattices of torsion classes of finite-dimensional algebras. Finally, in the case of lattices of torsion classes of finite-dimensional algebras, we demonstrate how Jasso's $τ$-tilting reduction can be encoded using the $κ$-map. We use this to define $κ^d$-exceptional sequences for finite semidistributive lattices. These are distinguished sequences of completely join-irreducible elements which we prove specialize to $τ$-exceptional sequences in the algebra setting. △ Less

Submitted 23 September, 2022; originally announced September 2022.

Comments: 37 pages, 7 figures

MSC Class: 05E10; 06A07; 06D75; 16G20; 18E40

Homological approximations in persistence theory

Authors: Benjamin Blanchette, Thomas Brüstle, Eric J. Hanson

Abstract: We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by "spread modules", which are sometimes called "interval modules"… ▽ More We define a class of invariants, which we call homological invariants, for persistence modules over a finite poset. Informally, a homological invariant is one that respects some homological data and takes values in the free abelian group generated by a finite set of indecomposable modules. We focus in particular on groups generated by "spread modules", which are sometimes called "interval modules" in the persistence theory literature. We show that both the dimension vector and rank invariant are equivalent to homological invariants taking values in groups generated by spread modules. We also show that that the free abelian group generated by the "single-source" spread modules gives rise to a new invariant which is finer than the rank invariant. △ Less

Submitted 26 May, 2022; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: v2 (sizable update): added numerous references, reorganized paper, added new section on motivation and related work (Section 3), expanded upon the relationship between homological invariants and dimensions of hom-spaces (Theorem 1.1), extended main Theorem 1.2 (formerly Theorem 1.1), corrected errors in comparisons to other invariants (Section 7). 23 pages, comments welcome!

MSC Class: 55N31; 16E20 (primary); 16Z05; 18G35 (secondary)

Parker Solar Probe evidence for the absence of whistlers close to the Sun to scatter strahl and regulate heat flux

Authors: C. Cattell, A. Breneman, J. Dombeck, E. Hanson, M. Johnson, J. Halekas, S. D. Bale, T. Dudok de Wit, K. Goetz, K. Goodrich, D. Malaspina, M. Pulupa, T. Case, J. C. Kasper, D. Larson, M. Stevens, P. Whittlesey

Abstract: Using the Parker Solar Probe FIELDS bandpass filter data and SWEAP electron data from Encounters 1 through 9, we show statistical properties of narrowband whistlers from ~16 Rs to ~130 Rs, and compare wave occurrence to electron properties including beta, temperature anisotropy and heat flux. Whistlers are very rarely observed inside ~28 Rs (~0.13 au). Outside 28 Rs, they occur within a narrow ran… ▽ More Using the Parker Solar Probe FIELDS bandpass filter data and SWEAP electron data from Encounters 1 through 9, we show statistical properties of narrowband whistlers from ~16 Rs to ~130 Rs, and compare wave occurrence to electron properties including beta, temperature anisotropy and heat flux. Whistlers are very rarely observed inside ~28 Rs (~0.13 au). Outside 28 Rs, they occur within a narrow range of parallel electron beta from ~1 to 10, and with a beta-heat flux occurrence consistent with the whistler heat flux fan instability. Because electron distributions inside ~30 Rs display signatures of the ambipolar electric field, the lack of whistlers suggests that the modification of the electron distribution function associated with the ambipolar electric field or changes in other plasma properties must result in lower instability limits for the other modes (including solitary waves, ion acoustic waves) that are observed close to the Sun. The lack of narrowband whistler-mode waves close to the Sun and in regions of either low (<.1) or high (>10) beta is also significant for the understanding and modeling of the evolution of flare-accelerated electrons, and the regulation of heat flux in astrophysical settings including other stellar winds, the interstellar medium, accretion disks, and the intra-galaxy cluster medium △ Less

Submitted 5 December, 2021; v1 submitted 5 November, 2021; originally announced November 2021.

$τ$-perpendicular wide subcategories

Authors: Aslak Bakke Buan, Eric J. Hanson

Abstract: Let $Λ$ be a finite-dimensional algebra. A wide subcategory of $\mathsf{mod}Λ$ is called left finite if the smallest torsion class containing it is functorially finite. In this paper, we prove that the wide subcategories of $\mathsf{mod}Λ$ arising from $τ$-tilting reduction are precisely the Serre subcategories of left finite wide subcategories. As a consequence, we show that the class of such sub… ▽ More Let $Λ$ be a finite-dimensional algebra. A wide subcategory of $\mathsf{mod}Λ$ is called left finite if the smallest torsion class containing it is functorially finite. In this paper, we prove that the wide subcategories of $\mathsf{mod}Λ$ arising from $τ$-tilting reduction are precisely the Serre subcategories of left finite wide subcategories. As a consequence, we show that the class of such subcategories is closed under further $τ$-tilting reduction. This leads to a natural way to extend the definition of the "$τ$-cluster morphism category" of $Λ$ to arbitrary finite-dimensional algebras. This category was recently constructed by Buan-Marsh in the $τ$-tilting finite case and by Igusa-Todorov in the hereditary case. △ Less

Submitted 27 July, 2021; v1 submitted 2 July, 2021; originally announced July 2021.

Comments: v2: Removed Corollary 1.2a and added discussion of a counterexample as Remark 6.17, corrected errors in the proof of Theorem 1.3, and made other small changes to organization and exposition. 22 pages, 2 figures, comments welcome!

MSC Class: 16G10; 16G20

Composition series of arbitrary cardinality in modular lattices and abelian categories

Authors: Eric J. Hanson, J. Daisie Rock

Abstract: For a certain family of complete modular lattices, we prove a Jordan--Hölder--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as well as the lattices of subobjects of any object in an abelian category satisfying properties related to Grothendieck's axioms (AB5) and (AB5*). We then give severa… ▽ More For a certain family of complete modular lattices, we prove a Jordan--Hölder--Scheier-like" theorem with no assumptions on cardinality or well-orderedness. This family includes both lattices which are both join- and meet-continuous, as well as the lattices of subobjects of any object in an abelian category satisfying properties related to Grothendieck's axioms (AB5) and (AB5*). We then give several examples of objects in abelian categories which satisfy these axioms, including pointwise finite-dimensional persistence modules, presheaves, and certain Prüfer modules. Moreover, we show that, over an arbitrary ring, the infinite product of isomorphic simple modules both fails to satisfy our axioms and admits at least two composition series with distinct cardinalities. We conclude by giving a lattice-theoretic proof that any object which is locally finitely generated and satisfies our axioms can be expressed as a direct sum of indecomposable subobjects. We conjecture that this decomposition is unique. △ Less

Submitted 13 September, 2023; v1 submitted 3 June, 2021; originally announced June 2021.

Comments: journal version, substantial updates from v1 (including change to title, generalization to the setting of modular lattices, and discussion of direct sum decompositions)

MSC Class: Primary: 06C05; 18E10. Secondary: 16G20; 18B35; 55N31

Journal ref: Advances in Mathematics 433 (2023)

On the origin of switchbacks observed in the solar wind

Authors: Forrest S. Mozer, Stuart Bale, John Bonnell, James Drake, Elizabeth Hanson, Michael C. Mozer

Abstract: The origin of switchbacks in the solar wind is discussed in two classes of theory that differ in the location of the source being either in the transition region near the Sun or in the solar wind, itself. The two classes of theory differ in their predictions of the switchback rate as a function of distance from the Sun. To test these theories, one-hour averages of Parker Solar Probe data were summ… ▽ More The origin of switchbacks in the solar wind is discussed in two classes of theory that differ in the location of the source being either in the transition region near the Sun or in the solar wind, itself. The two classes of theory differ in their predictions of the switchback rate as a function of distance from the Sun. To test these theories, one-hour averages of Parker Solar Probe data were summed over orbits three through seven. It is found that: 1. The average switchback rate was independent of distance from the Sun. 2. The average switchback rate increased with solar wind speed. 3. The switchback size perpendicular to the flow increased as R, the distance from the Sun, while the radial size increased as R2, resulting in a large and increasing switchback aspect ratio with distance from the Sun. 4. The switchback rotation angle did not depend on either the solar wind speed or the distance from the Sun. These results are consistent with switchback formation in the transition region because their increase of tangential size with radius compensates for the radial falloff of their equatorial density to produce switchback rates that are independent of distance from the Sun. This constant observed switchback rate is inconsistent with an in situ source. Once formed, the switchback size and aspect ratio, but not the rotation angle, increased with radial distance to at least 100 solar radii. In addition, quiet intervals between switchback patches occurred at the lowest solar wind speeds. △ Less

Submitted 12 August, 2021; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: 10 figures and an appendix with four more figures

Infinitesimal semi-invariant pictures and co-amalgamation

Authors: Eric J. Hanson, Kiyoshi Igusa, Moses Kim, Gordana Todorov

Abstract: The purpose of this paper is to study the local structure of the semi-invariant picture of a tame hereditary algebra near the null root. Using a construction that we call co-amalgamation, we show that this local structure is completely described by the semi-invariant pictures of a collection of self-injective Nakayama algebras. We then describe the cones of this local structure using cluster-like… ▽ More The purpose of this paper is to study the local structure of the semi-invariant picture of a tame hereditary algebra near the null root. Using a construction that we call co-amalgamation, we show that this local structure is completely described by the semi-invariant pictures of a collection of self-injective Nakayama algebras. We then describe the cones of this local structure using cluster-like structures that we call support regular clusters. Finally, we show that the local structure is (piecewise linearly) invariant under cluster tilting. △ Less

Submitted 24 July, 2022; v1 submitted 11 December, 2020; originally announced December 2020.

Comments: v2: improved and expanded exposition, notation, and references; replaced definition of co-amalgamation with a more general version (Definition 2.1.7). 44 pages, 6 figures

MSC Class: 16G20

Pairwise Compatibility for 2-Simple Minded Collections II: Preprojective Algebras and Semibrick Pairs of Full Rank

Authors: Emily Barnard, Eric J. Hanson

Abstract: Let $Λ$ be a finite-dimensional associative algebra over a field. A semibrick pair is a finite set of $Λ$-modules for which certain Hom- and Ext-sets vanish. A semibrick pair is completable if it can be enlarged so that a generating condition is satisfied. We prove that if $Λ$ is $τ$-tilting finite with at most 3 simple modules, then the completability of a semibrick pair can be characterized usin… ▽ More Let $Λ$ be a finite-dimensional associative algebra over a field. A semibrick pair is a finite set of $Λ$-modules for which certain Hom- and Ext-sets vanish. A semibrick pair is completable if it can be enlarged so that a generating condition is satisfied. We prove that if $Λ$ is $τ$-tilting finite with at most 3 simple modules, then the completability of a semibrick pair can be characterized using conditions on pairs of modules. We then use the weak order to construct a combinatorial model for the semibrick pairs of preprojective algebras of type $A_n$. From this model, we deduce that any semibrick pair of size $n$ satisfies the generating condition, and that the dimension vectors of any semibrick pair form a subset of the column vectors of some $c$-matrix. Finally, we show that no "pairwise" criteria for completability exists for preprojective algebras of Dynkin diagrams with more than 3 vertices. △ Less

Submitted 24 May, 2023; v1 submitted 16 October, 2020; originally announced October 2020.

Comments: v3: final version. v2: Added motivation section with applications of the pairwise 2-simple minded completability property, expanded Sections 6-7 (formerly Section 5) to emphasize the relationship with the weak order and establish a bijection between 2-colored noncrossing arc diagrams and semibrick pairs, 40 pages, 11 figures

MSC Class: 16G20; 05E15

Journal ref: Annals of Combinatorics 26 (2022), 803-855

Entropic Continuity Bounds & Eventually Entanglement-Breaking Channels

Authors: Eric P. Hanson

Abstract: In the first part of this thesis, we present a general technique for establishing local and uniform continuity bounds for Schur concave functions. Our technique uses a particular relationship between majorization and the trace distance between quantum states. Namely, the majorization pre-order attains a minimum over $ε$-balls in this distance. By tracing the path of the majorization-minimizer as a… ▽ More In the first part of this thesis, we present a general technique for establishing local and uniform continuity bounds for Schur concave functions. Our technique uses a particular relationship between majorization and the trace distance between quantum states. Namely, the majorization pre-order attains a minimum over $ε$-balls in this distance. By tracing the path of the majorization-minimizer as a function of the distance $ε$, we obtain the path of "majorization flow". This yields a new proof of the Audenaert-Fannes continuity bound for the von Neumann entropy in a universal framework which extends to the other functions, including the $α$-Rényi entropy, for which we obtain novel bounds in the case $α> 1$. We apply this technique to other Schur concave functions, such as the number of connected components of a certain random graph model, and the number of distinct realizations of a random variable. In the second part, we consider repeated interaction systems, in which a system of interest interacts with a sequence of probes one at a time. We characterize which repeated interaction systems break any initially-present entanglement between the system and an untouched reference after finitely many steps. Additionally, when the probes and their interactions with the system are slowly-varying (i.e. adiabatic), we analyze the saturation of Landauer's bound, an inequality between the entropy change of the system and the energy change of the probes, in the limit in which the number of steps tends to infinity and both the difference between consecutive probes and the difference between their interactions vanishes. This analysis proceeds at a fine-grained level by means of a two-time measurement protocol, in which the energy of the probes is measured before and after each interaction. △ Less

Submitted 5 October, 2020; originally announced October 2020.

Comments: PhD thesis; 292 pages, 26 figures

The Bernardi formula for non-transitive deformations of the braid arrangement

Authors: Ankit Bisain, Eric J. Hanson

Abstract: Bernardi has given a general formula for the number of regions of a deformation of the braid arrangement as a signed sum over boxed trees. We prove that each set of boxed trees which share an underlying (rooted labeled plane) tree contributes 0, +1, or -1 to this sum, and we give an algorithm for computing this value. For Ish-type arrangements, we further construct a sign-reversing involution whic… ▽ More Bernardi has given a general formula for the number of regions of a deformation of the braid arrangement as a signed sum over boxed trees. We prove that each set of boxed trees which share an underlying (rooted labeled plane) tree contributes 0, +1, or -1 to this sum, and we give an algorithm for computing this value. For Ish-type arrangements, we further construct a sign-reversing involution which reduces Bernardi's signed sum to the enumeration of a set of (rooted labeled plane) trees. We conclude by explicitly enumerating the trees corresponding to the regions of Ish-type arrangements which are nested, recovering their known counting formula. △ Less

Submitted 10 October, 2021; v1 submitted 2 October, 2020; originally announced October 2020.

Comments: 23 pages, 9 figures. v3: journal version. v2: Level of generality changed in Sections 4-5 to correct an error in v1, additional clarity and examples added throughout

MSC Class: 05A19

Journal ref: The Electronic Journal of Combinatorics 28 (2021), no. 4

Decomposition of Pointwise Finite-Dimensional S^1 Persistence Modules

Authors: Eric J. Hanson, Job D. Rock

Abstract: We prove that pointwise finite-dimensional S^1 persistence modules over an arbitrary field decompose uniquely, up to isomorphism, into the direct sum of a bar code and finitely-many Jordan cells. These persistence modules have also been called angle-valued or circular persistence modules. We allow either a cyclic order or partial order on S^1 and do not have additional finiteness requirements on t… ▽ More We prove that pointwise finite-dimensional S^1 persistence modules over an arbitrary field decompose uniquely, up to isomorphism, into the direct sum of a bar code and finitely-many Jordan cells. These persistence modules have also been called angle-valued or circular persistence modules. We allow either a cyclic order or partial order on S^1 and do not have additional finiteness requirements on the modules. We also show that a pointwise finite-dimensional S^1 persistence module is indecomposable if and only if it is a bar or Jordan cell (a string or a band module, respectively, in representation theory). Along the way we classify the isomorphism classes of such indecomposable modules. △ Less

Submitted 17 July, 2020; v1 submitted 24 June, 2020; originally announced June 2020.

Comments: 16 pages. 2 figures. v3: Typos fixed and DOI added to a reference. v2: Minor changes to abstract. Expanded discussion with additional references, particularly in the introduction. Added results about isoclasses and endomorphism rings of indecomposable modules

MSC Class: 16G20; 55N31

ARTEMIS Observations of Plasma Waves in Laminar and Perturbed Interplanetary Shocks

Authors: L. Davis, C. A. Cattell, L. B. Wilson III, Z. A. Cohen, A. W. Breneman, E. L. M. Hanson

Abstract: The 'Acceleration, Reconnection, Turbulence and Electrodynamics of the Moon's Interaction with the Sun' (ARTEMIS) mission provides a unique opportunity to study the structure of interplanetary shocks and the associated generation of plasma waves with frequencies between ~50-8000 Hz due to its long duration electric and magnetic field burst waveform captures. We compare wave properties and occurren… ▽ More The 'Acceleration, Reconnection, Turbulence and Electrodynamics of the Moon's Interaction with the Sun' (ARTEMIS) mission provides a unique opportunity to study the structure of interplanetary shocks and the associated generation of plasma waves with frequencies between ~50-8000 Hz due to its long duration electric and magnetic field burst waveform captures. We compare wave properties and occurrence rates at 11 quasi-perpendicular interplanetary shocks with burst data within 10 minutes (~3200 proton gyroradii upstream, ~1900 downstream) of the shock ramp. A perturbed shock is defined as possessing a large amplitude whistler precursor in the quasi-static magnetic field with an amplitude greater than 1/3 the difference between the upstream and downstream average magnetic field magnitudes; laminar shocks lack these large precursors and have a smooth, step function-like transition. In addition to wave modes previously observed, including ion acoustic, whistler, and electrostatic solitary waves, waves in the ion acoustic frequency range that show rapid temporal frequency change are common. The ramp region of the two laminar shocks with burst data in the ramp contained a wide range of large amplitude wave modes whereas the one perturbed shock with ramp burst data contained no such waves. Energy dissipation through wave-particle interactions is more prominent in these laminar shocks than the perturbed shock. The wave occurrence rates for laminar shocks are higher in the transition region, especially the ramp, than downstream. Perturbed shocks have approximately 2-3 times the wave occurrence rate downstream than laminar shocks. △ Less

Submitted 22 March, 2021; v1 submitted 1 June, 2020; originally announced June 2020.

PENNI: Pruned Kernel Sharing for Efficient CNN Inference

Authors: Shiyu Li, Edward Hanson, Hai Li, Yiran Chen

Abstract: Although state-of-the-art (SOTA) CNNs achieve outstanding performance on various tasks, their high computation demand and massive number of parameters make it difficult to deploy these SOTA CNNs onto resource-constrained devices. Previous works on CNN acceleration utilize low-rank approximation of the original convolution layers to reduce computation cost. However, these methods are very difficult… ▽ More Although state-of-the-art (SOTA) CNNs achieve outstanding performance on various tasks, their high computation demand and massive number of parameters make it difficult to deploy these SOTA CNNs onto resource-constrained devices. Previous works on CNN acceleration utilize low-rank approximation of the original convolution layers to reduce computation cost. However, these methods are very difficult to conduct upon sparse models, which limits execution speedup since redundancies within the CNN model are not fully exploited. We argue that kernel granularity decomposition can be conducted with low-rank assumption while exploiting the redundancy within the remaining compact coefficients. Based on this observation, we propose PENNI, a CNN model compression framework that is able to achieve model compactness and hardware efficiency simultaneously by (1) implementing kernel sharing in convolution layers via a small number of basis kernels and (2) alternately adjusting bases and coefficients with sparse constraints. Experiments show that we can prune 97% parameters and 92% FLOPs on ResNet18 CIFAR10 with no accuracy loss, and achieve 44% reduction in run-time memory consumption and a 53% reduction in inference latency. △ Less

Submitted 24 June, 2020; v1 submitted 14 May, 2020; originally announced May 2020.

Comments: 9 pages, 5 figures, to appear on ICML2020

Shock Drift Acceleration of Ions in an Interplanetary Shock Observed by MMS

Authors: E. L. M. Hanson, O. V. Agapitov, I. Y. Vasko, F. S. Mozer, V. Krasnoselskikh, S. D. Bale, L. Avanov, Y. Khotyaintsev, B. Giles

Abstract: An interplanetary (IP) shock wave was recorded crossing the Magnetospheric Multiscale (MMS) constellation on 2018 January 8. Plasma measurements upstream of the shock indicate efficient proton acceleration in the IP shock ramp: 2-7 keV protons are observed upstream for about three minutes (~8000 km) ahead of the IP shock ramp, outrunning the upstream waves. The differential energy flux (DEF) of 2-… ▽ More An interplanetary (IP) shock wave was recorded crossing the Magnetospheric Multiscale (MMS) constellation on 2018 January 8. Plasma measurements upstream of the shock indicate efficient proton acceleration in the IP shock ramp: 2-7 keV protons are observed upstream for about three minutes (~8000 km) ahead of the IP shock ramp, outrunning the upstream waves. The differential energy flux (DEF) of 2-7 keV protons decays slowly with distance from the ramp towards the upstream region (drop** by about half within 8 Earth radii from the ramp) and is lessened by a factor of about four in the downstream compared to the ramp (within a distance comparable to the gyroradius of ~keV protons). Comparison with test-particle simulations has confirmed that the mechanism accelerating the solar wind protons and injecting them upstream is classical shock drift acceleration. This example of observed proton acceleration by a low-Mach, quasi-perpendicular shock may be applicable to astrophysical contexts, such as supernova remnants or the acceleration of cosmic rays. △ Less

Submitted 18 February, 2020; originally announced February 2020.

Comments: 19 pages, 5 figures. To be published in the Astrophysical Journal Letters

Guesswork with Quantum Side Information

Authors: Eric P. Hanson, Vishal Katariya, Nilanjana Datta, Mark M. Wilde

Abstract: What is the minimum number of guesses needed on average to correctly guess a realization of a random variable? The answer to this question led to the introduction of the notion of a quantity called guesswork by Massey in 1994, which can be viewed as an alternate security criterion to entropy. In this paper, we consider the guesswork in the presence of quantum side information, and show that a gene… ▽ More What is the minimum number of guesses needed on average to correctly guess a realization of a random variable? The answer to this question led to the introduction of the notion of a quantity called guesswork by Massey in 1994, which can be viewed as an alternate security criterion to entropy. In this paper, we consider the guesswork in the presence of quantum side information, and show that a general sequential guessing strategy is equivalent to performing a single measurement and choosing a guessing strategy from the outcome. We use this result to deduce entropic one-shot and asymptotic bounds on the guesswork in the presence of quantum side information, and to formulate a semi-definite program (SDP) to calculate the quantity. We evaluate the guesswork for a simple example involving the BB84 states, both numerically and analytically, and prove a continuity result that certifies the security of slightly imperfect key states when the guesswork is used as the security criterion. △ Less

Submitted 23 December, 2021; v1 submitted 10 January, 2020; originally announced January 2020.

Comments: v3: 17 pages, 2 figures, final version published in IEEE Transactions on Information Theory

Journal ref: IEEE Transactions on Information Theory, vol. 68, no. 1, pages 322--338, January 2022

A continuity bound for the expected number of connected components of a random graph: a model for epidemics

Authors: Koenraad Audenaert, Eric P. Hanson, Nilanjana Datta

Abstract: We consider a stochastic network model for epidemics, based on a random graph proposed by Ross [Journal of Applied Probability, 18, 309-315 (1981)]. Members of a population occupy nodes of the graph, with each member being in contact with those who occupy nodes which are connected to his or her node via edges. We prove that the expected number of people who need to be infected initially in order f… ▽ More We consider a stochastic network model for epidemics, based on a random graph proposed by Ross [Journal of Applied Probability, 18, 309-315 (1981)]. Members of a population occupy nodes of the graph, with each member being in contact with those who occupy nodes which are connected to his or her node via edges. We prove that the expected number of people who need to be infected initially in order for the epidemic to spread to the entire population, which is given by the expected number of connected components of the random graph, is Lipschitz continuous in the underlying probability distribution of the random graph. We also obtain explicit bounds on the associated Lipschitz constant. We prove this continuity bound via a technique called majorization flow, which provides a general way to obtain tight continuity bounds for Schur concave functions. To establish bounds on the optimal Lipschitz constant we employ properties of the Mills ratio. △ Less

Submitted 11 December, 2019; originally announced December 2019.

Comments: 11 pages, 3 figures

Refinements of Barndorff-Nielsen and Shephard model: an analysis of crude oil price with machine learning

Authors: Indranil SenGupta, William Nganje, Erik Hanson

Abstract: A commonly used stochastic model for derivative and commodity market analysis is the Barndorff-Nielsen and Shephard (BN-S) model. Though this model is very efficient and analytically tractable, it suffers from the absence of long range dependence and many other issues. For this paper, the analysis is restricted to crude oil price dynamics. A simple way of improving the BN-S model with the implemen… ▽ More A commonly used stochastic model for derivative and commodity market analysis is the Barndorff-Nielsen and Shephard (BN-S) model. Though this model is very efficient and analytically tractable, it suffers from the absence of long range dependence and many other issues. For this paper, the analysis is restricted to crude oil price dynamics. A simple way of improving the BN-S model with the implementation of various machine learning algorithms is proposed. This refined BN-S model is more efficient and has fewer parameters than other models which are used in practice as improvements of the BN-S model. The procedure and the model show the application of data science for extracting a "deterministic component" out of processes that are usually considered to be completely stochastic. Empirical applications validate the efficacy of the proposed model for long range dependence. △ Less

Submitted 25 March, 2020; v1 submitted 29 November, 2019; originally announced November 2019.

MSC Class: 91G70

Journal ref: Annals of Data Science, 2021

Resolution quiver and cyclic homology criteria for Nakayama algebras

Authors: Eric J. Hanson, Kiyoshi Igusa

Abstract: If a Nakayama algebra is not cyclic, it has finite global dimension. For a cyclic Nakayama algebra, there are many characterizations of when it has finite global dimension. In [She17], Shen gave such a characterization using Ringel's resolution quiver. In [IZ92], the second author, with Zacharia, gave a cyclic homology characterization for when a monomial relation algebra has finite global dimensi… ▽ More If a Nakayama algebra is not cyclic, it has finite global dimension. For a cyclic Nakayama algebra, there are many characterizations of when it has finite global dimension. In [She17], Shen gave such a characterization using Ringel's resolution quiver. In [IZ92], the second author, with Zacharia, gave a cyclic homology characterization for when a monomial relation algebra has finite global dimension. We show directly that these criteria are equivalent for all Nakayama algebras. Our comparison result also reproves both characterizations. In a separate paper we discuss an interesting example that came up in our attempt to generalize this comparison result to arbitrary monomial relation algebras [HI19]. △ Less

Submitted 17 July, 2020; v1 submitted 1 November, 2019; originally announced November 2019.

Comments: 10 pages, v3: final version, v2: references added and updated

MSC Class: 16G20; 19D55

Journal ref: Journal of Algebra 553 (2020): 138-153

A counterexample to the $φ$-dimension conjecture

Authors: Eric J. Hanson, Kiyoshi Igusa

Abstract: In 2005, the second author and Todorov introduced an upper bound on the finitistic dimension of an Artin algebra, now known as the φ-dimension. The φ-dimension conjecture states that this upper bound is always finite, a fact that would imply the finitistic dimension conjecture. In this paper, we present a counterexample to the φ-dimension conjecture and explain where it comes from. We also discuss… ▽ More In 2005, the second author and Todorov introduced an upper bound on the finitistic dimension of an Artin algebra, now known as the φ-dimension. The φ-dimension conjecture states that this upper bound is always finite, a fact that would imply the finitistic dimension conjecture. In this paper, we present a counterexample to the φ-dimension conjecture and explain where it comes from. We also discuss implications for further research and the finitistic dimension conjecture. △ Less

Submitted 23 August, 2022; v1 submitted 1 November, 2019; originally announced November 2019.

Comments: final version

MSC Class: 16E05; 16E10; 16G10; 16G20; 18G20

Journal ref: Mathematische Zeitschrift 300, 807-826 (2022)

Universal proofs of entropic continuity bounds via majorization flow

Authors: Eric P. Hanson, Nilanjana Datta

Abstract: We introduce a notion of majorization flow, and demonstrate it to be a powerful tool for deriving simple and universal proofs of continuity bounds for entropic functions relevant in information theory. In particular, for the case of the alpha-Rényi entropy, whose connections to thermodynamics are discussed in this article, majorization flow yields a Lipschitz continuity bound for the case alpha >… ▽ More We introduce a notion of majorization flow, and demonstrate it to be a powerful tool for deriving simple and universal proofs of continuity bounds for entropic functions relevant in information theory. In particular, for the case of the alpha-Rényi entropy, whose connections to thermodynamics are discussed in this article, majorization flow yields a Lipschitz continuity bound for the case alpha > 1, thus resolving an open problem and providing a substantial improvement over previously known bounds. △ Less

Submitted 22 July, 2021; v1 submitted 16 September, 2019; originally announced September 2019.

Comments: 29 pages; v2: added Cor. 3.2, Section 7, shortened some proofs, minor fixes; v3: added Section 6.2, minor fixes

Pairwise Compatibility for 2-Simple Minded Collections

Authors: Eric J. Hanson, Kiyoshi Igusa

Abstract: In $τ$-tilting theory, it is often difficult to determine when a set of bricks forms a 2-simple minded collection. The aim of this paper is to determine when a set of bricks is contained in a 2-simple minded collection for a $τ$-tilting finite algebra. We begin by extending the definition of mutation from 2-simple minded collections to more general sets of bricks (which we call semibrick pairs). T… ▽ More In $τ$-tilting theory, it is often difficult to determine when a set of bricks forms a 2-simple minded collection. The aim of this paper is to determine when a set of bricks is contained in a 2-simple minded collection for a $τ$-tilting finite algebra. We begin by extending the definition of mutation from 2-simple minded collections to more general sets of bricks (which we call semibrick pairs). This gives us an algorithm to check if a semibrick pair is contained in a 2-simple minded collection. We then use this algorithm to show that the 2-simple minded collections of a $τ$-tilting finite gentle algebra (whose quiver contains no loops or 2-cycles) are given by pairwise compatibility conditions if and only if every vertex in the corresponding quiver has degree at most 2. As an application, we show that the classifying space of the $τ$-cluster morphism category of a $τ$-tilting finite gentle algebra (whose quiver contains no loops or 2-cycles) is an Eilenberg- MacLane space if every vertex in the corresponding quiver has degree at most 2. △ Less

Submitted 11 April, 2023; v1 submitted 5 April, 2019; originally announced April 2019.

Comments: v5: journal version. v4: changed title, updated and added references, changes to exposition for clarity and readability, corrected typos. v3: changes to introduction. v2: Made a correction to Corollary 5.12 (Theorem D in the introduction). 27 pages

MSC Class: 16G20; 05E15

Journal ref: Journal of Pure and Applied Algebra 225 (2021), no. 6

Eventually entanglement breaking Markovian dynamics: structure and characteristic times

Authors: Eric P. Hanson, Cambyse Rouzé, Daniel Stilck França

Abstract: We investigate entanglement breaking times of Markovian evolutions in discrete and continuous time. In continuous time, we characterize which Markovian evolutions are eventually entanglement breaking, that is, evolutions for which there is a finite time after which any entanglement initially present has been destroyed by the noisy evolution. In the discrete time framework, we consider the entangle… ▽ More We investigate entanglement breaking times of Markovian evolutions in discrete and continuous time. In continuous time, we characterize which Markovian evolutions are eventually entanglement breaking, that is, evolutions for which there is a finite time after which any entanglement initially present has been destroyed by the noisy evolution. In the discrete time framework, we consider the entanglement breaking index, that is, the number of times a quantum channel has to be composed with itself before it becomes entanglement breaking. The PPT-square conjecture is that every PPT quantum channel has an entanglement breaking index of at most 2; we prove that every faithful PPT quantum channel has a finite entanglement breaking index, and more generally, any faithful PPT CP map whose Hilbert-Schmidt adjoint is also faithful is eventually entanglement breaking. We also provide a method to obtain concrete bounds on this index for any faithful quantum channel. To obtain these estimates, we use a notion of robustness of separability to obtain bounds on the radius of the largest separable ball around faithful product states. We also extend the framework of Poincaré inequalities for nonprimitive semigroups to the discrete setting to quantify the convergence of quantum semigroups in discrete time, which is of independent interest. △ Less

Submitted 3 March, 2020; v1 submitted 21 February, 2019; originally announced February 2019.

Comments: 53 pages; accepted for publication in Annales Henri Poincaré

How to recognize a Leonard pair

Authors: Edward Hanson

Abstract: Let $V$ denote a vector space with finite positive dimension. We consider an ordered pair of linear transformations $A: V\rightarrow V$ and $A^{*}: V\rightarrow V$ that satisfy (i) and (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^{*}$ is diagonal. (ii) There exists a basis for $V$ with r… ▽ More Let $V$ denote a vector space with finite positive dimension. We consider an ordered pair of linear transformations $A: V\rightarrow V$ and $A^{*}: V\rightarrow V$ that satisfy (i) and (ii) below. (i) There exists a basis for $V$ with respect to which the matrix representing $A$ is irreducible tridiagonal and the matrix representing $A^{*}$ is diagonal. (ii) There exists a basis for $V$ with respect to which the matrix representing $A^{*}$ is irreducible tridiagonal and the matrix representing $A$ is diagonal. We call such a pair a Leonard pair on $V$. In the literature, there are some parameters that are used to describe Leonard pairs called the intersection numbers $\{a_{i}\}_{i=0}^{d}$, $\{b_{i}\}_{i=0}^{d-1}$, $\{c_{i}\}_{i=1}^{d}$, and the dual eigenvalues $\{θ^{*}_{i}\}_{i=0}^{d}$. In this paper, we provide two characterizations of Leonard pairs. For the first characterization, the focus is on the $\{a_{i}\}_{i=0}^{d}$ and $\{θ^{*}_{i}\}_{i=0}^{d}$. For the second characterization, the focus is on the $\{b_{i}\}_{i=0}^{d-1}$, $\{c_{i}\}_{i=1}^{d}$, and $\{θ^{*}_{i}\}_{i=0}^{d}$. △ Less

Submitted 29 January, 2019; originally announced January 2019.

Comments: 17 pages

MSC Class: 15A21 (Primary); 05E30 (Secondary)

Charged Higgs Bosons in Naturally Aligned Two Higgs Doublet Models at the LHC

Authors: Emily Hanson, William Klemm, Roger Naranjo, Yvonne Peters, Apostolos Pilaftsis

Abstract: Measurements of a Higgs boson at the Large Hadron Collider (LHC) have become increasingly consistent with the predictions of the Standard Model (SM). This fact puts severe constraints on many potential low-energy extensions of the Higgs sector of the SM. In the well-known Two Higgs Doublet Model (2HDM), an `alignment limit' of parameters readily furnishes one SM-like scalar, and can be achieved na… ▽ More Measurements of a Higgs boson at the Large Hadron Collider (LHC) have become increasingly consistent with the predictions of the Standard Model (SM). This fact puts severe constraints on many potential low-energy extensions of the Higgs sector of the SM. In the well-known Two Higgs Doublet Model (2HDM), an `alignment limit' of parameters readily furnishes one SM-like scalar, and can be achieved naturally through an underlying symmetry. Among the other physical states of the 2HDM, a charged scalar $H^\pm$ would provide striking evidence of new physics if observed. We propose a novel technique for the observation of the process $pp\to t b H^\pm \to t\bar{t}b\bar{b}$ in the dileptonic decay channel at the LHC. The reconstruction of events in this channel is complicated by multiple $b$-jets and unobserved neutrinos in the final state. To determine the neutrino momenta, we implement a neutrino weighting procedure to study, for the first time, the $t\bar{t}b\bar{b}$ signature. We further train a pair of boosted decision trees to reconstruct and classify signal events. We determine the resulting reach within the context of naturally aligned 2HDMs, such as the Maximally Symmetric Two Higgs Doublet Model (MS-2HDM). By testing at the integrated luminosity of 150 fb$^{-1}$ achieved in Run 2 of the LHC, we find that this channel may restrict the parameter space of a Type-II MS-2HDM with charged Higgs masses as high as 680 GeV. △ Less

Submitted 25 June, 2019; v1 submitted 11 December, 2018; originally announced December 2018.

Comments: 23 pages, 13 figures. Additional studies of backgrounds and comparison with existing searches added, some clarifications made, reference added

Report number: MAN/HEP/2018/005

Journal ref: Phys. Rev. D 100, 035026 (2019)

Duality between source coding with quantum side information and c-q channel coding

Authors: Hao-Chung Cheng, Eric P. Hanson, Nilanjana Datta, Min-Hsiu Hsieh

Abstract: In this paper, we establish an interesting duality between two different quantum information-processing tasks, namely, classical source coding with quantum side information, and channel coding over c-q channels. The duality relates the optimal error exponents of these two tasks, generalizing the classical results of Ahlswede and Dueck. We establish duality both at the operational level and at the… ▽ More In this paper, we establish an interesting duality between two different quantum information-processing tasks, namely, classical source coding with quantum side information, and channel coding over c-q channels. The duality relates the optimal error exponents of these two tasks, generalizing the classical results of Ahlswede and Dueck. We establish duality both at the operational level and at the level of the entropic quantities characterizing these exponents. For the latter, the duality is given by an exact relation, whereas for the former, duality manifests itself in the following sense: an optimal coding strategy for one task can be used to construct an optimal coding strategy for the other task. Along the way, we derive a bound on the error exponent for c-q channel coding with constant composition codes which might be of independent interest. △ Less

Submitted 28 September, 2018; originally announced September 2018.

Comments: 35 pages

τ-Cluster Morphism Categories and Picture Groups

Authors: Eric J. Hanson, Kiyoshi Igusa

Abstract: $τ… ▽ More $τ$-cluster morphism categories, introduced by Buan and Marsh, are a generalization of cluster morphism categories (defined by Igusa and Todorov). We show the classifying space of such a category is a cube complex, generalizing results of Igusa and Todorov and Igusa. Furthermore, the fundamental group of this space is the picture group of the algebra, first defined by Igusa, Todorov, and Weyman. Finally, we show that for Nakayama algebras, this space is a $K(π,1)$. The key step is a combinatorial proof that, for Nakayama algebras, 2-simple minded collections are characterized by pairwise compatibility conditions, a fact not true in general. △ Less

Submitted 22 June, 2022; v1 submitted 24 September, 2018; originally announced September 2018.

Comments: 38 pages, 4 figures. v4: journal version. v3: Numerous improvements have been made following suggestions of an anonymous referee. v2: Lemma 4.13 has been combined with Lemma 4.12 (now Lemma 4.11) and its proof has been changed. The introduction has been rewritten and minor typos have been fixed

MSC Class: 16G20

Journal ref: Communications in Algebra 49 (2021), no. 10, 4376-4415

Quantum-based vacuum metrology at NIST

Authors: Julia Scherschligt, James A. Fedchak, Zeeshan Ahmed, Daniel S. Barker, Kevin Douglass, Stephen Eckel, Edward Hanson, Jay Hendricks, Nikolai Klimov, Thomas Purdy, Jacob Ricker, Robinjeet Singh, Jack Stone

Abstract: The measurement science in realizing and disseminating the unit for pressure in the International System of Units (SI), the pascal (Pa), has been the subject of much interest at the National Institute of Standards and Technology (NIST). Modern optical-based techniques for pascal metrology have been investigated, including multi-photon ionization and cavity ringdown spectroscopy. Work is ongoing to… ▽ More The measurement science in realizing and disseminating the unit for pressure in the International System of Units (SI), the pascal (Pa), has been the subject of much interest at the National Institute of Standards and Technology (NIST). Modern optical-based techniques for pascal metrology have been investigated, including multi-photon ionization and cavity ringdown spectroscopy. Work is ongoing to recast the pascal in terms of quantum properties and fundamental constants and in so doing, make vacuum metrology consistent with the global trend toward quantum-based metrology. NIST has ongoing projects that interrogate the index of refraction of a gas using an optical cavity for low vacuum, and count background particles in high vacuum to extreme high vacuum using trapped laser-cooled atoms. △ Less

Submitted 17 May, 2018; originally announced May 2018.

Comments: 49 pages, 11 figures, review article

Non-Asymptotic Classical Data Compression with Quantum Side Information

Authors: Hao-Chung Cheng, Eric P. Hanson, Nilanjana Datta, Min-Hsiu Hsieh

Abstract: In this paper, we analyze classical data compression with quantum side information (also known as the classical-quantum Slepian-Wolf protocol) in the so-called large and moderate deviation regimes. In the non-asymptotic setting, the protocol involves compressing classical sequences of finite length $n$ and decoding them with the assistance of quantum side information. In the large deviation regime… ▽ More In this paper, we analyze classical data compression with quantum side information (also known as the classical-quantum Slepian-Wolf protocol) in the so-called large and moderate deviation regimes. In the non-asymptotic setting, the protocol involves compressing classical sequences of finite length $n$ and decoding them with the assistance of quantum side information. In the large deviation regime, the compression rate is fixed, and we obtain bounds on the error exponent function, which characterizes the minimal probability of error as a function of the rate. Devetak and Winter showed that the asymptotic data compression limit for this protocol is given by a conditional entropy. For any protocol with a rate below this quantity, the probability of error converges to one asymptotically and its speed of convergence is given by the strong converse exponent function. We obtain finite blocklength bounds on this function, and determine exactly its asymptotic value. In the moderate deviation regime for the compression rate, the latter is no longer considered to be fixed. It is allowed to depend on the blocklength $n$, but assumed to decay slowly to the asymptotic data compression limit. Starting from a rate above this limit, we determine the speed of convergence of the error probability to zero and show that it is given in terms of the conditional information variance. Our results complement earlier results obtained by Tomamichel and Hayashi, in which they analyzed the so-called small deviation regime of this protocol. △ Less

Submitted 26 March, 2018; v1 submitted 20 March, 2018; originally announced March 2018.

Comments: 45 pages, 3 figures; v2 added reference [23] (prior work on strong converse exponent lower bounds); v3 fixed typos and added comparisons with reference [23]

Tight uniform continuity bound for a family of entropies

Authors: Eric P. Hanson, Nilanjana Datta

Abstract: We prove a tight uniform continuity bound for a family of entropies which includes the von Neumann entropy, the Tsallis entropy and the $α$-Rényi entropy, $S_α$, for $α\in (0,1)$. We establish necessary and sufficient conditions for equality in the continuity bound and prove that these conditions are the same for every member of the family. Our result builds on recent work in which we constructed… ▽ More We prove a tight uniform continuity bound for a family of entropies which includes the von Neumann entropy, the Tsallis entropy and the $α$-Rényi entropy, $S_α$, for $α\in (0,1)$. We establish necessary and sufficient conditions for equality in the continuity bound and prove that these conditions are the same for every member of the family. Our result builds on recent work in which we constructed a state which was majorized by every state in a neighbourhood ($\varepsilon$-ball) of a given state, and thus was the minimal state in majorization order in the $\varepsilon$-ball. This minimal state satisfies a particular semigroup property, which we exploit to prove our bound. △ Less

Submitted 20 July, 2017; v1 submitted 13 July, 2017; originally announced July 2017.

Comments: 16 pages, 4 figures. v2: added missing definition of Tsallis entropy, corrected minor typos

Maximum and minimum entropy states yielding local continuity bounds

Authors: Eric P. Hanson, Nilanjana Datta

Abstract: Given an arbitrary quantum state ($σ$), we obtain an explicit construction of a state $ρ^*_\varepsilon(σ)$ (resp. $ρ_{*,\varepsilon}(σ)$) which has the maximum (resp. minimum) entropy among all states which lie in a specified neighbourhood ($\varepsilon$-ball) of $σ$. Computing the entropy of these states leads to a local strengthening of the continuity bound of the von Neumann entropy, i.e., the… ▽ More Given an arbitrary quantum state ($σ$), we obtain an explicit construction of a state $ρ^*_\varepsilon(σ)$ (resp. $ρ_{*,\varepsilon}(σ)$) which has the maximum (resp. minimum) entropy among all states which lie in a specified neighbourhood ($\varepsilon$-ball) of $σ$. Computing the entropy of these states leads to a local strengthening of the continuity bound of the von Neumann entropy, i.e., the Audenaert-Fannes inequality. Our bound is local in the sense that it depends on the spectrum of $σ$. The states $ρ^*_\varepsilon(σ)$ and $ρ_{*,\varepsilon}(σ)$ depend only on the geometry of the $\varepsilon$-ball and are in fact optimizers for a larger class of entropies. These include the Rényi entropy and the min- and max- entropies. This allows us to obtain local continuity bounds for these quantities as well. In obtaining this bound, we first derive a more general result which may be of independent interest, namely a necessary and sufficient condition under which a state maximizes a concave and Gâteaux-differentiable function in an $\varepsilon$-ball around a given state $σ$. Examples of such a function include the von Neumann entropy, and the conditional entropy of bipartite states. Our proofs employ tools from the theory of convex optimization under non-differentiable constraints, in particular Fermat's Rule, and majorization theory. △ Less

Submitted 21 September, 2017; v1 submitted 7 June, 2017; originally announced June 2017.

Comments: 38 pages; v2: added an application, streamlined proofs of Lem. 6.8-6.11, corrected typos, corrected figure 1, updated the style of figure 2

Journal ref: Journal of Mathematical Physics 59, no. 4 (April 1, 2018): 042204

Landauer's Principle for Trajectories of Repeated Interaction Systems

Authors: Eric P. Hanson, Alain Joye, Yan Pautrat, Renaud Raquépas

Abstract: We analyze Landauer's principle for repeated interaction systems consisting of a reference quantum system $\mathcal{S}$ in contact with an environment $\mathcal{E}$ which is a chain of independent quantum probes. The system $\mathcal{S}$ interacts with each probe sequentially, for a given duration, and the Landauer principle relates the energy variation of $\mathcal{E}$ and the decrease of entropy… ▽ More We analyze Landauer's principle for repeated interaction systems consisting of a reference quantum system $\mathcal{S}$ in contact with an environment $\mathcal{E}$ which is a chain of independent quantum probes. The system $\mathcal{S}$ interacts with each probe sequentially, for a given duration, and the Landauer principle relates the energy variation of $\mathcal{E}$ and the decrease of entropy of $\mathcal{S}$ by the entropy production of the dynamical process. We consider refinements of the Landauer bound at the level of the full statistics (FS) associated to a two-time measurement protocol of, essentially, the energy of $\mathcal{E}$. The emphasis is put on the adiabatic regime where the environment, consisting of $T \gg 1$ probes, displays variations of order $T^{-1}$ between the successive probes, and the measurements take place initially and after $T$ interactions. We prove a large deviation principle and a central limit theorem as $T \to \infty$ for the classical random variable describing the entropy production of the process, with respect to the FS measure. In a special case, related to a detailed balance condition, we obtain an explicit limiting distribution of this random variable without rescaling. At the technical level, we obtain a non-unitary adiabatic theorem generalizing that of [Commun. Math. Phys. (2017) 349: 285] and analyze the spectrum of complex deformations of families of irreducible completely positive trace-preserving maps. △ Less

Submitted 13 March, 2018; v1 submitted 23 May, 2017; originally announced May 2017.

Comments: 48 pages, 4 figures; fixed typos, made cosmetic changes, and added Lemma 5.5. To appear in Annales Henri Poincaré

Journal ref: Annales Henri Poincaré 19(7):1939-1991 (2018)

Computationally Discovered Potentiating Role of Glycans on NMDA Receptors

Authors: Anton V. Sinitskiy, Nathaniel H. Stanley, David H. Hackos, Jesse E. Hanson, Benjamin D. Sellers, Vijay S. Pande

Abstract: N-methyl-D-aspartate receptors (NMDARs) are glycoproteins in the brain central to learning and memory. The effects of glycosylation on the structure and dynamics of NMDARs are largely unknown. In this work, we use extensive molecular dynamics simulations of GluN1 and GluN2B ligand binding domains (LBDs) of NMDARs to investigate these effects. Our simulations predict that intra-domain interactions… ▽ More N-methyl-D-aspartate receptors (NMDARs) are glycoproteins in the brain central to learning and memory. The effects of glycosylation on the structure and dynamics of NMDARs are largely unknown. In this work, we use extensive molecular dynamics simulations of GluN1 and GluN2B ligand binding domains (LBDs) of NMDARs to investigate these effects. Our simulations predict that intra-domain interactions involving the glycan attached to residue GluN1-N440 stabilize closed-clamshell conformations of the GluN1 LBD. The glycan on GluN2B-N688 shows a similar, though weaker, effect. Based on these results, and assuming the transferability of the results of LBD simulations to the full receptor, we predict that glycans at GluN1-N440 might play a potentiator role in NMDARs. To validate this prediction, we perform electrophysiological analysis of full-length NMDARs with a glycosylation-preventing GluN1-N440Q mutation, and demonstrate an increase in the glycine EC50 value. Overall, our results suggest an intramolecular potentiating role of glycans on NMDA receptors. △ Less

Submitted 19 December, 2016; originally announced December 2016.

Landauer's Principle in Repeated Interaction Systems

Authors: Eric Hanson, Alain Joye, Yan Pautrat, Renaud Raquépas

Abstract: We study Landauer's Principle for Repeated Interaction Systems (RIS) consisting of a reference quantum system $\mathcal{S}$ in contact with a structured environment $\mathcal{E}$ made of a chain of independent quantum probes; $\mathcal{S}$ interacts with each probe, for a fixed duration, in sequence. We first adapt Landauer's lower bound, which relates the energy variation of the environment… ▽ More We study Landauer's Principle for Repeated Interaction Systems (RIS) consisting of a reference quantum system $\mathcal{S}$ in contact with a structured environment $\mathcal{E}$ made of a chain of independent quantum probes; $\mathcal{S}$ interacts with each probe, for a fixed duration, in sequence. We first adapt Landauer's lower bound, which relates the energy variation of the environment $\mathcal{E}$ to a decrease of entropy of the system $\mathcal{S}$ during the evolution, to the peculiar discrete time dynamics of RIS. Then we consider RIS with a structured environment $\mathcal{E}$ displaying small variations of order $T^{-1}$ between the successive probes encountered by $\mathcal{S}$, after $n\simeq T$ interactions, in kee** with adiabatic scaling. We establish a discrete time non-unitary adiabatic theorem to approximate the reduced dynamics of $\mathcal{S}$ in this regime, in order to tackle the adiabatic limit of Landauer's bound. We find that saturation of Landauer's bound is equivalent to a detailed balance condition on the repeated interaction system, reflecting the non-equilibrium nature of the repeated interaction system dynamics. This is to be contrasted with the generic saturation of Landauer's bound known to hold for continuous time evolution of an open quantum system interacting with a single thermal reservoir in the adiabatic regime. △ Less

Submitted 6 July, 2016; v1 submitted 2 October, 2015; originally announced October 2015.

Comments: Linked entropy production to detailed balance relation, improved presentation, and added concluding section

Journal ref: Communications in Mathematical Physics 349(1):285-327 (2017)

Persistence Images: A Stable Vector Representation of Persistent Homology

Authors: Henry Adams, Sofya Chepushtanova, Tegan Emerson, Eric Hanson, Michael Kirby, Francis Motta, Rachel Neville, Chris Peterson, Patrick Shipman, Lori Ziegelmeier

Abstract: Many datasets can be viewed as a noisy sampling of an underlying space, and tools from topological data analysis can characterize this structure for the purpose of knowledge discovery. One such tool is persistent homology, which provides a multiscale description of the homological features within a dataset. A useful representation of this homological information is a persistence diagram (PD). Effo… ▽ More Many datasets can be viewed as a noisy sampling of an underlying space, and tools from topological data analysis can characterize this structure for the purpose of knowledge discovery. One such tool is persistent homology, which provides a multiscale description of the homological features within a dataset. A useful representation of this homological information is a persistence diagram (PD). Efforts have been made to map PDs into spaces with additional structure valuable to machine learning tasks. We convert a PD to a finite-dimensional vector representation which we call a persistence image (PI), and prove the stability of this transformation with respect to small perturbations in the inputs. The discriminatory power of PIs is compared against existing methods, showing significant performance gains. We explore the use of PIs with vector-based machine learning tools, such as linear sparse support vector machines, which identify features containing discriminating topological information. Finally, high accuracy inference of parameter values from the dynamic output of a discrete dynamical system (the linked twist map) and a partial differential equation (the anisotropic Kuramoto-Sivashinsky equation) provide a novel application of the discriminatory power of PIs. △ Less

Submitted 11 July, 2016; v1 submitted 22 July, 2015; originally announced July 2015.

Comments: Version 3 contains updated theoretical results supporting methodology; expanded discussion of related works; extended list of references; extended applications section; additional experimental results and new figures

ACM Class: F.2.2; I.5.2

Journal ref: Journal of Machine Learning Research 18 (2017), Number 8, 1-35