Search

Let $A$ be the path algebra of a quiver of Dynkin type $\mathbb{A}_n$. The module category $\text{mod}\,A$ has a combinatorial model as the category of diagonals in a polygon $S$ with $n+1$ vertices. The recently introduced notion of almost rigid modules is a weakening of the classical notion of rigid modules. The importance of this new notion stems from the fact that maximal almost rigid $A$-modules are in bijection with the triangulations of the polygon $S.$ In this article, we give a different realization of maximal almost rigid modules. We introduce a non-standard exact structure $\mathcal{E}_\diamond$ on $\text{mod}\,A$ such that the maximal almost rigid $A$-modules in the usual exact structure are exactly the maximal rigid $A$-modules in the new exact structure. A maximal rigid module in this setting is the same as a tilting module. Thus the tilting theory relative to the exact structure $\mathcal{E}_\diamond$ translates into a theory of maximal almost rigid modules in the usual exact structure. As an application, we show that with the exact structure $\mathcal{E}_\diamond$, the module category becomes a 0-Auslander category in the sense of Gorsky, Nakaoka and Palu. We also discuss generalizations to quivers of type $\mathbb{D}$ and gentle algebras., Comment: 15 pages, 5 figures

Let $\Lambda$ be a finite-dimensional basic algebra. Sakai recently used certain sequences of image-cokernel-extension-closed (ICE-closed) subcategories of finitely generated $\Lambda$-modules to classify certain (generalized) intermediate $t$-structures in the bounded derived category. We classifying these "contravariantly finite ICE-sequences" using concepts from $\tau$-tilting theory. More precisely, we introduce "cogen-preordered $\tau^{-1}$-rigid modules" as a generalization of (the dual of) the "TF-ordered $\tau$-rigid modules" of Mendoza and Treffinger. We then establish a bijection between the set of cogen-preordered $\tau^{-1}$-rigid modules and certain sequences of intervals of torsion-free classes. Combined with the results of Sakai, this yields a bijection with the set of contravariantly finite ICE-sequences (of finite length), and thus also with the set of $(m+1)$-intermediate $t$-structures whose aisles are homology-determined., Comment: 15 pages

We introduce a notion of mutation for $\tau$-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 $\tau$-exceptional sequences is transitive if and only if mutation of support $\tau$-tilting modules in the sense of Adachi-Iyama-Reiten is transitive., Comment: 42 pages

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)., Comment: 22 pages

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}\Lambda$, the lattice of torsion classes of a $\tau$-tilting finite algebra $\Lambda$ 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., Comment: 50 pages, 7 figures

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 sequences do not always exist. 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., Comment: v3: improved exposition, added references, added figures, corrected typos, made other small clarifications and improvements. To appear in Proceedings of ICRA 2022. v2: corrected typos and minor errors. 28 pages

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 $\tau$-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., Comment: v2: added references, minor improvements to exposition, corrected typos, new abstract. 25 pages, 5 figures

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 "$\tau$-tilting reduction". In particular, this yields a combinatorial model for this algebras's $\tau$-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., Comment: v2: added references. 39 pages, 7 figures

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., Comment: v3: accepted manuscript. v2: additional references to related work, corrected an error in the proof of Proposition 6.6. 26 pages, 11 figures

Recently, Buan and Marsh showed that if two complete $\tau$-exceptional sequences agree in all but at most one term, then they must agree everywhere, provided the algebra is $\tau$-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 $\tau$-exceptional sequence are linearly independent., Comment: v2: journal accepted manuscript. 7 pages

Let $\Lambda$ be a finite-dimensional algebra over a field $K$. We describe how Buan and Marsh's $\tau$-exceptional sequences can be used to give a "brick labeling" of a certain poset of wide subcategories of finitely-generated $\Lambda$-modules. When $\Lambda$ 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 "$\kappa$-map". Generalizing known results for finite semidistributive lattices, we show that the $\kappa$-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 $\tau$-tilting reduction can be encoded using the $\kappa$-map. We use this to define $\kappa^d$-exceptional sequences for finite semidistributive lattices. These are distinguished sequences of completely join-irreducible elements which we prove specialize to $\tau$-exceptional sequences in the algebra setting., Comment: 37 pages, 7 figures

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 the free abelian group generated by the "single-source" spread modules gives rise to a new invariant which is finer than the rank invariant. They are also thankful to an anonymous referee for their thorough reading of this paper and suggestions for improvement., Comment: v3: accepted manuscript, 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). 24 pages

Let $\Lambda$ be a finite-dimensional algebra. A wide subcategory of $\mathsf{mod}\Lambda$ 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}\Lambda$ arising from $\tau$-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 $\tau$-tilting reduction. This leads to a natural way to extend the definition of the "$\tau$-cluster morphism category" of $\Lambda$ to arbitrary finite-dimensional algebras. This category was recently constructed by Buan-Marsh in the $\tau$-tilting finite case and by Igusa-Todorov in the hereditary case., Comment: v3: final version. 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

For a certain family of complete modular lattices, we prove a Jordan--H\"older--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\"ufer 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., Comment: journal version, substantial updates from v1 (including change to title, generalization to the setting of modular lattices, and discussion of direct sum decompositions)

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., Comment: v3: accepted manuscript. v2: improved and expanded exposition, notation, and references; replaced definition of co-amalgamation with a more general version (Definition 2.1.7). 48 pages, 6 figures

Let $\Lambda$ be a finite-dimensional associative algebra over a field. A semibrick pair is a finite set of $\Lambda$-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 $\Lambda$ is $\tau$-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., Comment: 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

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 $\epsilon$-balls in this distance. By tracing the path of the majorization-minimizer as a function of the distance $\epsilon$, 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 $\alpha$-R\'enyi entropy, for which we obtain novel bounds in the case $\alpha > 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., Comment: PhD thesis; 292 pages, 26 figures

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., Comment: 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

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., Comment: 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

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., Comment: v3: 17 pages, 2 figures, final version published in IEEE Transactions on Information Theory

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., Comment: 11 pages, 3 figures

In 2005, the second author and Todorov introduced an upper bound on the finitistic dimension of an Artin algebra, now known as the {\phi}-dimension. The {\phi}-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 {\phi}-dimension conjecture and explain where it comes from. We also discuss implications for further research and the finitistic dimension conjecture., Comment: final version

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]., Comment: 10 pages, v3: final version, v2: references added and updated

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\'enyi 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., Comment: 29 pages; v2: added Cor. 3.2, Section 7, shortened some proofs, minor fixes; v3: added Section 6.2, minor fixes

In $\tau$-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 $\tau$-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 $\tau$-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 $\tau$-cluster morphism category of a $\tau$-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., Comment: 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

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\'e inequalities for nonprimitive semigroups to the discrete setting to quantify the convergence of quantum semigroups in discrete time, which is of independent interest., Comment: 53 pages; accepted for publication in Annales Henri Poincar\'e

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., Comment: 35 pages

$\tau$-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(\pi,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., Comment: 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

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., Comment: 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]

We prove a tight uniform continuity bound for a family of entropies which includes the von Neumann entropy, the Tsallis entropy and the $\alpha$-R\'enyi entropy, $S_\alpha$, for $\alpha\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., Comment: 16 pages, 4 figures. v2: added missing definition of Tsallis entropy, corrected minor typos

Given an arbitrary quantum state ($\sigma$), we obtain an explicit construction of a state $\rho^*_\varepsilon(\sigma)$ (resp. $\rho_{*,\varepsilon}(\sigma)$) which has the maximum (resp. minimum) entropy among all states which lie in a specified neighbourhood ($\varepsilon$-ball) of $\sigma$. 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 $\sigma$. The states $\rho^*_\varepsilon(\sigma)$ and $\rho_{*,\varepsilon}(\sigma)$ depend only on the geometry of the $\varepsilon$-ball and are in fact optimizers for a larger class of entropies. These include the R\'enyi 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\^ateaux-differentiable function in an $\varepsilon$-ball around a given state $\sigma$. 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., Comment: 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

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., Comment: 48 pages, 4 figures; fixed typos, made cosmetic changes, and added Lemma 5.5. To appear in Annales Henri Poincar\'e

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 keeping 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., Comment: Linked entropy production to detailed balance relation, improved presentation, and added concluding section

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., Comment: 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