Showing 1–48 of 48 results for author: Seifert, D

Polynomial stability of a coupled wave-heat network

Authors: Lassi Paunonen, David Seifert

Abstract: We study the long-time asymptotic behaviour of a topologically non-trivial network of wave and heat equations. By analysing the simpler wave and the heat networks separately, and then applying recent results for abstract coupled systems, we establish energy decay at the rate $t^{-4}$ as $t\to\infty$ for all classical solutions. We study the long-time asymptotic behaviour of a topologically non-trivial network of wave and heat equations. By analysing the simpler wave and the heat networks separately, and then applying recent results for abstract coupled systems, we establish energy decay at the rate $t^{-4}$ as $t\to\infty$ for all classical solutions. △ Less

Submitted 3 July, 2024; originally announced July 2024.

The asymptotic behaviour of the Cesàro operator

Authors: Andrew K. J. Pritchard, David Seifert

Abstract: We study the asymptotic behaviour of orbits $(T^nx)_{n\ge0}$ of the classical Cesàro operator $T$ for sequences $x$ in the Banach space $c$ of convergent sequences. We give new non-probabilistic proofs, based on the Katznelson--Tzafriri theorem and one of its quantified variants, of results which characterise the set of sequences $x\in c$ that lead to convergent orbits and, for sequences satisfyin… ▽ More We study the asymptotic behaviour of orbits $(T^nx)_{n\ge0}$ of the classical Cesàro operator $T$ for sequences $x$ in the Banach space $c$ of convergent sequences. We give new non-probabilistic proofs, based on the Katznelson--Tzafriri theorem and one of its quantified variants, of results which characterise the set of sequences $x\in c$ that lead to convergent orbits and, for sequences satisfying a simple additional condition, we provide a rate of convergence. These results are then shown, again by operator-theoretic techniques, to be optimal in different ways. Finally, we study the asymptotic behaviour of the Cesàro operator defined on spaces of continuous functions, establishing new and improved results in this setting, too. △ Less

Submitted 26 April, 2024; originally announced April 2024.

Stability of abstract coupled systems

Authors: Serge Nicaise, Lassi Paunonen, David Seifert

Abstract: We study stability of abstract differential equations coupled by means of a general algebraic condition. Our approach is based on techniques from operator theory and systems theory, and it allows us to study coupled systems by exploiting properties of the components, which are typically much simpler to analyse. As our main results we establish resolvent estimates and decay rates for abstract bound… ▽ More We study stability of abstract differential equations coupled by means of a general algebraic condition. Our approach is based on techniques from operator theory and systems theory, and it allows us to study coupled systems by exploiting properties of the components, which are typically much simpler to analyse. As our main results we establish resolvent estimates and decay rates for abstract boundary-coupled systems. We illustrate the power of the general results by using them to obtain rates of energy decay in coupled systems of one-dimensional wave and heat equations, and in a wave equation with an acoustic boundary condition. △ Less

Submitted 22 March, 2024; originally announced March 2024.

Operationalizing Assurance Cases for Data Scientists: A Showcase of Concepts and Tooling in the Context of Test Data Quality for Machine Learning

Authors: Lisa Jöckel, Michael Kläs, Janek Groß, Pascal Gerber, Markus Scholz, Jonathan Eberle, Marc Teschner, Daniel Seifert, Richard Hawkins, John Molloy, Jens Ottnad

Abstract: Assurance Cases (ACs) are an established approach in safety engineering to argue quality claims in a structured way. In the context of quality assurance for Machine Learning (ML)-based software components, ACs are also being discussed and appear promising. Tools for operationalizing ACs do exist, yet mainly focus on supporting safety engineers on the system level. However, assuring the quality of… ▽ More Assurance Cases (ACs) are an established approach in safety engineering to argue quality claims in a structured way. In the context of quality assurance for Machine Learning (ML)-based software components, ACs are also being discussed and appear promising. Tools for operationalizing ACs do exist, yet mainly focus on supporting safety engineers on the system level. However, assuring the quality of an ML component within the system is commonly the responsibility of data scientists, who are usually less familiar with these tools. To address this gap, we propose a framework to support the operationalization of ACs for ML components based on technologies that data scientists use on a daily basis: Python and Jupyter Notebook. Our aim is to make the process of creating ML-related evidence in ACs more effective. Results from the application of the framework, documented through notebooks, can be integrated into existing AC tools. We illustrate the application of the framework on an example excerpt concerned with the quality of the test data. △ Less

Submitted 8 December, 2023; originally announced December 2023.

Comments: Accepted for publication at International Conference on Product-Focused Software Process Improvement (Profes 2023), https://conf.researchr.org/home/profes-2023

Badgers: generating data quality deficits with Python

Authors: Julien Siebert, Daniel Seifert, Patricia Kelbert, Michael Kläs, Adam Trendowicz

Abstract: Generating context specific data quality deficits is necessary to experimentally assess data quality of data-driven (artificial intelligence (AI) or machine learning (ML)) applications. In this paper we present badgers, an extensible open-source Python library to generate data quality deficits (outliers, imbalanced data, drift, etc.) for different modalities (tabular data, time-series, text, etc.)… ▽ More Generating context specific data quality deficits is necessary to experimentally assess data quality of data-driven (artificial intelligence (AI) or machine learning (ML)) applications. In this paper we present badgers, an extensible open-source Python library to generate data quality deficits (outliers, imbalanced data, drift, etc.) for different modalities (tabular data, time-series, text, etc.). The documentation is accessible at https://fraunhofer-iese.github.io/badgers/ and the source code at https://github.com/Fraunhofer-IESE/badgers △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 17 pages, 16 figures

MSC Class: 68 ACM Class: D.m

Multi-messenger characterization of Mrk 501 during historically low X-ray and $γ$-ray activity

Authors: MAGIC collaboration, H. Abe, S. Abe, V. A. Acciari, I. Agudo, T. Aniello, S. Ansoldi, L. A. Antonelli, A. Arbet Engels, C. Arcaro, M. Artero, K. Asano, D. Baack, A. Babić, A. Baquero, U. Barres de Almeida, J. A. Barrio, I. Batković, J. Baxter, J. Becerra González, W. Bednarek, E. Bernardini, M. Bernardos, A. Berti, J. Besenrieder , et al. (300 additional authors not shown)

Abstract: We study the broadband emission of Mrk 501 using multi-wavelength observations from 2017 to 2020 performed with a multitude of instruments, involving, among others, MAGIC, Fermi-LAT, NuSTAR, Swift, GASP-WEBT, and OVRO. Mrk 501 showed an extremely low broadband activity, which may help to unravel its baseline emission. Nonetheless, significant flux variations are detected at all wavebands, with the… ▽ More We study the broadband emission of Mrk 501 using multi-wavelength observations from 2017 to 2020 performed with a multitude of instruments, involving, among others, MAGIC, Fermi-LAT, NuSTAR, Swift, GASP-WEBT, and OVRO. Mrk 501 showed an extremely low broadband activity, which may help to unravel its baseline emission. Nonetheless, significant flux variations are detected at all wavebands, with the highest occurring at X-rays and very-high-energy (VHE) $γ$-rays. A significant correlation ($>$3$σ$) between X-rays and VHE $γ$-rays is measured, supporting leptonic scenarios to explain the variable parts of the emission, also during low activity. This is further supported when we extend our data from 2008 to 2020, and identify, for the first time, significant correlations between Swift-XRT and Fermi-LAT. We additionally find correlations between high-energy $γ$-rays and radio, with the radio lagging by more than 100 days, placing the $γ$-ray emission zone upstream of the radio-bright regions in the jet. Furthermore, Mrk 501 showed a historically low activity in X-rays and VHE $γ$-rays from mid-2017 to mid-2019 with a stable VHE flux ($>$0.2 TeV) of 5% the emission of the Crab Nebula. The broadband spectral energy distribution (SED) of this 2-year-long low-state, the potential baseline emission of Mrk 501, can be characterized with one-zone leptonic models, and with (lepto)-hadronic models fulfilling neutrino flux constraints from IceCube. We explore the time evolution of the SED towards the low-state, revealing that the stable baseline emission may be ascribed to a standing shock, and the variable emission to an additional expanding or traveling shock. △ Less

Submitted 5 March, 2023; v1 submitted 5 October, 2022; originally announced October 2022.

Comments: 55 pages, 30 figures, 14 tables, accepted by APJS. Corresponding authors are L. Heckmann, D. Paneque, S. Gasparyan, M. Cerruti, and N. Sahakyan

Journal ref: ApJS 266 37 (2023)

A short elementary proof of the Gearhart-Prüss theorem for bounded semigroups

Authors: Filippo Dell'Oro, David Seifert

Abstract: We present a short elementary proof of the Gearhart-Prüss theorem for bounded $C_0$-semigroups on Hilbert spaces. We present a short elementary proof of the Gearhart-Prüss theorem for bounded $C_0$-semigroups on Hilbert spaces. △ Less

Submitted 10 October, 2022; v1 submitted 13 June, 2022; originally announced June 2022.

Comments: Accepted for publication in the Proceedings of the conference 'Control & Inverse Problems' (Monastir, Tunisia, May 2022), Springer Nature

A continuous-parameter Katznelson-Tzafriri theorem for algebras of analytic functions

Authors: Charles Batty, David Seifert

Abstract: We prove a continuous-parameter version of the recent theorem of Katznelson-Tzafiri type for power-bounded operators which have a bounded calculus for analytic Besov functions. We also show that the result can be extended to some operators which have functional calculi with respect to some larger algebras. We prove a continuous-parameter version of the recent theorem of Katznelson-Tzafiri type for power-bounded operators which have a bounded calculus for analytic Besov functions. We also show that the result can be extended to some operators which have functional calculi with respect to some larger algebras. △ Less

Submitted 29 September, 2022; v1 submitted 28 April, 2022; originally announced April 2022.

Comments: New title, to reflect the improvement in our main result. Accepted for publication in Studia Mathematica

MSC Class: 47A60

Some developments around the Katznelson-Tzafriri theorem

Authors: Charles Batty, David Seifert

Abstract: This paper is a survey article on developments arising from a theorem proved by Katznelson and Tzafriri in 1986 showing that $\lim_{n\to\infty} \|T^n(I-T)\| =0$ if $T$ is a power-bounded operator on a Banach space and $σ(T) \cap \T \subseteq \{1\}$. Many variations and consequences of the original theorem have been proved subsequently, and we provide an account of this branch of operator theory. This paper is a survey article on developments arising from a theorem proved by Katznelson and Tzafriri in 1986 showing that $\lim_{n\to\infty} \|T^n(I-T)\| =0$ if $T$ is a power-bounded operator on a Banach space and $σ(T) \cap \T \subseteq \{1\}$. Many variations and consequences of the original theorem have been proved subsequently, and we provide an account of this branch of operator theory. △ Less

Submitted 28 April, 2022; originally announced April 2022.

MSC Class: 47A05

Journal ref: Acta Scientiarum Mathematicarum, 2022

A Katznelson-Tzafriri theorem for analytic Besov functions of operators

Authors: Charles Batty, David Seifert

Abstract: Let $T$ be a power-bounded operator on a Banach space $X$, $\mathcal{A}$ be a Banach algebra of bounded holomorphic functions on the unit disc $\mathbb{D}$, and assume that there is a bounded functional calculus for the operator $T$, so there is a bounded algebra homomorphism map** functions $f \in \mathcal{A}$ to bounded operators $f(T)$ on $X$. Theorems of Katznelson-Tzafriri type establish th… ▽ More Let $T$ be a power-bounded operator on a Banach space $X$, $\mathcal{A}$ be a Banach algebra of bounded holomorphic functions on the unit disc $\mathbb{D}$, and assume that there is a bounded functional calculus for the operator $T$, so there is a bounded algebra homomorphism map** functions $f \in \mathcal{A}$ to bounded operators $f(T)$ on $X$. Theorems of Katznelson-Tzafriri type establish that $\lim_{n\to\infty} \|T^n f(T)\| = 0$ for functions $f \in \mathcal{A}$ whose boundary functions vanish on the unitary spectrum $σ(T)\cap \mathbb{T}$ of $T$, or sometimes satisfy a stronger assumption of spectral synthesis. We consider the case when $\mathcal{A}$ is the Banach algebra $\mathcal{B}(\mathbb{D})$ of analytic Besov functions on $\mathbb{D}$. We prove a Katznelson-Tzafriri theorem for the $\mathcal{B}(\mathbb{D})$-calculus which extends several previous results. △ Less

Submitted 20 March, 2024; v1 submitted 28 January, 2022; originally announced January 2022.

Comments: To appear in Journal of Operator Theory

Optimal decay for a wave-heat system with Coleman-Gurtin thermal law

Authors: Filippo Dell'Oro, Lassi Paunonen, David Seifert

Abstract: We study the long-term behaviour of solutions to a one-dimensional coupled wave-heat system with Coleman-Gurtin thermal law. Our approach is based on the asymptotic theory of $C_0$-semigroups and recent results developed for coupled control systems. As our main results, we represent the system as a feedback interconnection between the wave part and the Coleman-Gurtin part and we show that the asso… ▽ More We study the long-term behaviour of solutions to a one-dimensional coupled wave-heat system with Coleman-Gurtin thermal law. Our approach is based on the asymptotic theory of $C_0$-semigroups and recent results developed for coupled control systems. As our main results, we represent the system as a feedback interconnection between the wave part and the Coleman-Gurtin part and we show that the associated semigroup in the history framework of Dafermos is polynomially stable with optimal decay rate $t^{-2}$ as $t\to\infty$. In particular, we obtain a sharp estimate for the rate of energy decay of classical solutions to the problem. △ Less

Submitted 26 September, 2022; v1 submitted 27 January, 2021; originally announced January 2021.

Comments: Accepted for publication in Journal of Mathematical Analysis and Applications

MSC Class: Primary: 35M33; 35B40; 93D15; 93D20. Secondary: 47D06; 34K30; 74D05

Journal ref: Journal of Mathematical Analysis and Applications, Volume 518, Issue 2, 15 February 2023, 126706

Semi-uniform stability of operator semigroups and energy decay of damped waves

Authors: R. Chill, D. Seifert, Y. Tomilov

Abstract: Only in the last fifteen years or so has the notion of semi-uniform stability, which lies between exponential stability and strong stability, become part of the asymptotic theory of $C_0$-semigroups. It now lies at the very heart of modern semigroup theory. After briefly reviewing the notions of exponential and strong stability, we present an overview of some of the best known (and often optimal)… ▽ More Only in the last fifteen years or so has the notion of semi-uniform stability, which lies between exponential stability and strong stability, become part of the asymptotic theory of $C_0$-semigroups. It now lies at the very heart of modern semigroup theory. After briefly reviewing the notions of exponential and strong stability, we present an overview of some of the best known (and often optimal) abstract results on semi-uniform stability. We go on to indicate briefly how these results can be applied to obtain (sometimes optimal) rates of energy decay for certain damped second-order Cauchy problems. △ Less

Submitted 9 July, 2020; originally announced July 2020.

Comments: To appear in Philosophical Transactions of the Royal Society A

Optimal rates of decay in the Katznelson-Tzafriri theorem for operators on Hilbert spaces

Authors: Abraham C. S. Ng, David Seifert

Abstract: The Katznelson-Tzafriri theorem is a central result in the asymptotic theory of discrete operator semigroups. It states that for a power-bounded operator $T$ on a Banach space we have $||T^n(I-T)\|\to0$ if and only if $σ(T)\cap\mathbb{T}\subseteq\{1\}$. The main result of the present paper gives a sharp estimate for the rate at which this decay occurs for operators on Hilbert space, assuming the g… ▽ More The Katznelson-Tzafriri theorem is a central result in the asymptotic theory of discrete operator semigroups. It states that for a power-bounded operator $T$ on a Banach space we have $||T^n(I-T)\|\to0$ if and only if $σ(T)\cap\mathbb{T}\subseteq\{1\}$. The main result of the present paper gives a sharp estimate for the rate at which this decay occurs for operators on Hilbert space, assuming the growth of the resolvent norms $\|R(e^{iθ},T)\|$ as $|θ|\to0$ satisfies a mild regularity condition. This significantly extends an earlier result by the second author, which covered the important case of polynomial resolvent growth. We further show that, under a natural additional assumption, our condition on the resolvent growth is not only sufficient but also necessary for the conclusion of our main result to hold. By considering a suitable class of Toeplitz operators we show that our theory has natural applications even beyond the setting of normal operators, for which we in addition obtain a more general result. △ Less

Submitted 24 September, 2020; v1 submitted 14 February, 2020; originally announced February 2020.

Comments: Accepted for publication in the Journal of Functional Analysis

Journal ref: Journal of Functional Analysis, vol. 279(12), 2020, Article 108799

Asymptotics and approximation of large systems of ordinary differential equations

Authors: Lassi Paunonen, David Seifert

Abstract: In this paper we continue our earlier investigations into the asymptotic behaviour of infinite systems of coupled differential equations. Under the mild assumption that the so-called characteristic function of our system is completely monotonic we obtain a drastically simplified condition which ensures boundedness of the associates semigroup. If the characteristic function satisfies certain additi… ▽ More In this paper we continue our earlier investigations into the asymptotic behaviour of infinite systems of coupled differential equations. Under the mild assumption that the so-called characteristic function of our system is completely monotonic we obtain a drastically simplified condition which ensures boundedness of the associates semigroup. If the characteristic function satisfies certain additional conditions we deduce sharp rates of convergence to equilibrium. We moreover address the important and delicate issue of the role of the infinite system in understanding the asymptotic behaviour of large but finite systems, and we provide a precise way of obtaining size-independent rates of convergence for families of finite-dimensional systems. Finally, we illustrate our abstract results in the setting of the well-known platoon problem. △ Less

Submitted 14 May, 2020; v1 submitted 28 November, 2019; originally announced November 2019.

Comments: To appear in Systems & Control Letters

Journal ref: Systems & Control Letters, vol. 140, 2020, Article 104703

Non-uniform Stability of Damped Contraction Semigroups

Authors: Ralph Chill, Lassi Paunonen, David Seifert, Reinhard Stahn, Yuri Tomilov

Abstract: We investigate the stability properties of strongly continuous semigroups generated by operators of the form $A-BB^\ast$, where $A$ is a generator of a contraction semigroup and $B$ is a possibly unbounded operator. Such systems arise naturally in the study of hyperbolic partial differential equations with dam** on the boundary or inside the spatial domain. As our main results we present general… ▽ More We investigate the stability properties of strongly continuous semigroups generated by operators of the form $A-BB^\ast$, where $A$ is a generator of a contraction semigroup and $B$ is a possibly unbounded operator. Such systems arise naturally in the study of hyperbolic partial differential equations with dam** on the boundary or inside the spatial domain. As our main results we present general sufficient conditions for non-uniform stability of the semigroup generated by $A-BB^\ast$ in terms of selected observability-type conditions of the pair $(B^\ast,A)$. We apply the abstract results to obtain rates of energy decay in one-dimensional and two-dimensional wave equations, a damped fractional Klein--Gordon equation and a weakly damped beam equation. △ Less

Submitted 16 August, 2023; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: Minor changes. 44 pages, 0 figures

MSC Class: 47D06; 34D05; 47A10; 35L90 (93D15; 35L05)

Journal ref: Analysis & PDE 16 (2023) 1089-1132

Lorentz-violating gravity and the bootstrap procedure

Authors: Michael D Seifert

Abstract: In conventional gravitational physics, the so-called "bootstrap procedure" can be used to extrapolate from a linear model of a rank-2 tensor to a full non-linear theory of gravity (i.e., general relativity) via a coupling to the stress-energy of the model. In this work, I extend this procedure to a "Lorentz-violating" gravitational model, in which the linear tensor field and the matter fields "see… ▽ More In conventional gravitational physics, the so-called "bootstrap procedure" can be used to extrapolate from a linear model of a rank-2 tensor to a full non-linear theory of gravity (i.e., general relativity) via a coupling to the stress-energy of the model. In this work, I extend this procedure to a "Lorentz-violating" gravitational model, in which the linear tensor field and the matter fields "see" different metrics due to a coupling between the tensor field and a background vector field. The resulting model can be thought of as a generalized Proca theory with a non-minimal coupling to conventional matter. It has a similar linearized limit to the better-known "bumblebee model", but differs at higher orders in perturbation theory. Its effects are unobservable in FRW spacetimes, but are expected to be important in anisotropic cosmological spacetimes. △ Less

Submitted 29 July, 2019; originally announced July 2019.

Comments: 24 pages

Singular Hamiltonians in models with spontaneous Lorentz symmetry breaking

Authors: Michael D. Seifert

Abstract: Many current models which "violate Lorentz symmetry" do so via a vector or tensor field which takes on a vacuum expectation value, thereby spontaneously breaking the underlying Lorentz symmetry of the Lagrangian. One common way to construct such a model is to posit a smooth potential for this field; the natural low-energy solution of such a model would then be excepted to have the tensor field nea… ▽ More Many current models which "violate Lorentz symmetry" do so via a vector or tensor field which takes on a vacuum expectation value, thereby spontaneously breaking the underlying Lorentz symmetry of the Lagrangian. One common way to construct such a model is to posit a smooth potential for this field; the natural low-energy solution of such a model would then be excepted to have the tensor field near the minimum of its potential. It is shown in this work that some such models, while appearing well-posed at the level of the Lagrangian, have a Hamiltonian which is singular on the vacuum manifold and are therefore ill-posed. I illustrate this pathology for an antisymmetric rank-2 tensor field, and find sufficient conditions under which this pathology occurs for more general field theories. △ Less

Submitted 14 March, 2019; originally announced March 2019.

Comments: 11 pages

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

Optimal energy decay in a one-dimensional wave-heat system with infinite heat part

Authors: Abraham C. S. Ng, David Seifert

Abstract: Using recent results in the theory of $C_0$-semigroups due to Batty, Chill and Tomilov (J. Eur. Math. Soc. 18(4):853-929, 2016) we study energy decay in a one-dimensional coupled wave-heat system with finite wave part and infinite heat part. Our main result provides a sharp estimate for the rate of energy decay of a certain class of classical solutions. The present paper can be thought of as a nat… ▽ More Using recent results in the theory of $C_0$-semigroups due to Batty, Chill and Tomilov (J. Eur. Math. Soc. 18(4):853-929, 2016) we study energy decay in a one-dimensional coupled wave-heat system with finite wave part and infinite heat part. Our main result provides a sharp estimate for the rate of energy decay of a certain class of classical solutions. The present paper can be thought of as a natural sequel to a recent work by Batty, Paunonen and Seifert (J. Evol. Equ. 16:649-664, 2016), which studied a similar wave-heat system with finite wave and heat parts using a celebrated result due to Borichev and Tomilov. △ Less

Submitted 6 October, 2019; v1 submitted 9 March, 2019; originally announced March 2019.

Comments: To appear in the Journal of Mathematical Analysis and Applications

Journal ref: Journal of Mathematical Analysis and Applications, vol. 482(2), 2020, Article 123563

Optimality of the quantified Ingham-Karamata theorem for operator semigroups with general resolvent growth

Authors: Gregory Debruyne, David Seifert

Abstract: We prove that a general version of the quantified Ingham-Karamata theorem for $C_0$-semigroups is sharp under mild conditions on the resolvent growth, thus generalising the results contained in a recent paper by the same authors. It follows in particular that the well-known Batty-Duyckaerts theorem is optimal even for bounded $C_0$-semigroups whose generator has subpolynomial resolvent growth. Our… ▽ More We prove that a general version of the quantified Ingham-Karamata theorem for $C_0$-semigroups is sharp under mild conditions on the resolvent growth, thus generalising the results contained in a recent paper by the same authors. It follows in particular that the well-known Batty-Duyckaerts theorem is optimal even for bounded $C_0$-semigroups whose generator has subpolynomial resolvent growth. Our proof is based on an elegant application of the open map** theorem, which we complement by a crucial technical lemma allowing us to strengthen our earlier results. △ Less

Submitted 17 August, 2019; v1 submitted 28 December, 2018; originally announced December 2018.

Comments: To appear in Archiv der Mathematik

Journal ref: Archiv der Mathematik, vol. 113, 2019, pp. 617-627

Constraints and degrees of freedom in Lorentz-violating field theories

Authors: Michael D. Seifert

Abstract: Many current models which "violate Lorentz symmetry" do so via a vector or tensor field which takes on a vacuum expectation value, thereby spontaneously breaking the underlying Lorentz symmetry of the Lagrangian. To obtain a tensor field with this behavior, one can posit a smooth potential for this field, in which case it would be expected to lie near the minimum of its potential. Alternately, one… ▽ More Many current models which "violate Lorentz symmetry" do so via a vector or tensor field which takes on a vacuum expectation value, thereby spontaneously breaking the underlying Lorentz symmetry of the Lagrangian. To obtain a tensor field with this behavior, one can posit a smooth potential for this field, in which case it would be expected to lie near the minimum of its potential. Alternately, one can enforce a non-zero tensor value via a Lagrange multiplier. The present work explores the relationship between these two types of theories in the case of vector models. In particular, the naïve expectation that a Lagrange multiplier "kills off" one degree of freedom via its constraint does not necessarily hold for vector models that already contain primary constraints. It is shown that a Lagrange multiplier can only reduce the degrees of freedom of a model if the field-space function defining the vacuum manifold commutes with the primary constraints. △ Less

Submitted 5 November, 2018; v1 submitted 22 October, 2018; originally announced October 2018.

Comments: 11 pages. v2: added discussion of previous work in Ref. [19]

Journal ref: Phys. Rev. D 99, 045003 (2019)

An abstract approach to optimal decay of functions and operator semigroups

Authors: Gregory Debruyne, David Seifert

Abstract: We provide a new and significantly shorter optimality proof of recent quantified Tauberian theorems, both in the setting of vector-valued functions and of $C_0$-semigroups, and in fact our results are also more general than those currently available in the literature. Our approach relies on a novel application of the open map** theorem. We provide a new and significantly shorter optimality proof of recent quantified Tauberian theorems, both in the setting of vector-valued functions and of $C_0$-semigroups, and in fact our results are also more general than those currently available in the literature. Our approach relies on a novel application of the open map** theorem. △ Less

Submitted 28 July, 2019; v1 submitted 6 April, 2018; originally announced April 2018.

Comments: To appear in the Israel Journal of Mathematics

Journal ref: Israel Journal of Mathematics, vol. 233(1), 2019, pp. 439-451

Optimal energy decay for the wave-heat system on a rectangular domain

Authors: Charles Batty, Lassi Paunonen, David Seifert

Abstract: We study the rate of energy decay for solutions of a coupled wave-heat system on a rectangular domain. Using techniques from the theory of $C_0$-semigroups, and in particular a well-known result due to Borichev and Tomilov, we prove that the energy of classical solutions decays like $t^{-2/3}$ as $t\to\infty$. This rate is moreover shown to be sharp. Our result implies in particular that a general… ▽ More We study the rate of energy decay for solutions of a coupled wave-heat system on a rectangular domain. Using techniques from the theory of $C_0$-semigroups, and in particular a well-known result due to Borichev and Tomilov, we prove that the energy of classical solutions decays like $t^{-2/3}$ as $t\to\infty$. This rate is moreover shown to be sharp. Our result implies in particular that a general estimate in the literature, which predicts at least logarithmic decay and is known to be best possible in general, is suboptimal in the special case under consideration here. Our strategy of proof involves direct estimates based on separation of variables and a refined version of the technique developed in our earlier paper for a one-dimensional wave-heat system. △ Less

Submitted 8 November, 2018; v1 submitted 14 March, 2018; originally announced March 2018.

Journal ref: SIAM J. Math. Anal., 51(2), 2019, pp. 808-819

Rates of convergence to equilibrium for collisionless kinetic equations in slab geometry

Authors: Mustapha Mokhtar-Kharroubi, David Seifert

Abstract: This work deals with free transport equations with partly diffuse stochastic boundary operators in slab geometry. Such equations are governed by stochastic semigroups in $L^{1}$ spaces$.\ $We prove convergence to equilibrium at the rate $O\left( t^{-\frac{k}{2(k+1)+1}}\right) \ (t\rightarrow +\infty )$ for $L^{1}$ initial data $g$ in a suitable subspace of the domain of the generator $T$ where… ▽ More This work deals with free transport equations with partly diffuse stochastic boundary operators in slab geometry. Such equations are governed by stochastic semigroups in $L^{1}$ spaces$.\ $We prove convergence to equilibrium at the rate $O\left( t^{-\frac{k}{2(k+1)+1}}\right) \ (t\rightarrow +\infty )$ for $L^{1}$ initial data $g$ in a suitable subspace of the domain of the generator $T$ where $k\in \mathbb{N}$ depends on the properties of the boundary operators near the tangential velocities to the slab. This result is derived from a quantified version of Ingham's tauberian theorem by showing that $F_{g}(s):=\lim_{\varepsilon \rightarrow 0_{+}}\left( is+\varepsilon -T\right) ^{-1}g$ exists as a $C^{k}$ function on $\mathbb{R}\backslash \left\{ 0\right\} $ such that $\ \left\| \frac{d^{j}}{ds^{j}}F_{g}(s)\right\| \leq \frac{C}{| s| ^{2(j+1)}}$ near $s=0$ and bounded as $|s| \rightarrow \infty \ \ \left(0\leq j\leq k\right).$ Various preliminary results of independent interest are given and some related open problems are pointed out. △ Less

Submitted 10 August, 2018; v1 submitted 13 October, 2017; originally announced October 2017.

Comments: To appear in the Journal of Functional Analysis

Journal ref: Journal of Functional Analysis, vol. 275(9), 2018, pp. 2404-2452

Optimal rates of decay for operator semigroups on Hilbert spaces

Authors: Jan Rozendaal, David Seifert, Reinhard Stahn

Abstract: We investigate rates of decay for $C_0$-semigroups on Hilbert spaces under assumptions on the resolvent growth of the semigroup generator. Our main results show that one obtains the best possible estimate on the rate of decay, that is to say an upper bound which is also known to be a lower bound, under a comparatively mild assumption on the growth behaviour. This extends several statements obtaine… ▽ More We investigate rates of decay for $C_0$-semigroups on Hilbert spaces under assumptions on the resolvent growth of the semigroup generator. Our main results show that one obtains the best possible estimate on the rate of decay, that is to say an upper bound which is also known to be a lower bound, under a comparatively mild assumption on the growth behaviour. This extends several statements obtained by Batty, Chill and Tomilov (J. Eur. Math. Soc., vol. 18(4), pp. 853-929, 2016). In fact, for a large class of semigroups our condition is not only sufficient but also necessary for this optimal estimate to hold. Even without this assumption we obtain a new quantified asymptotic result which in many cases of interest gives a sharper estimate for the rate of decay than was previously available, and for semigroups of normal operators we are able to describe the asymptotic behaviour exactly. We illustrate the strength of our theoretical results by using them to obtain sharp estimates on the rate of energy decay for a wave equation subject to viscoelastic dam** at the boundary. △ Less

Submitted 31 January, 2019; v1 submitted 26 September, 2017; originally announced September 2017.

Comments: 25 pages. To appear in Advances in Mathematics

Journal ref: Advances in Mathematics 346 (2019), pp. 359-388

Non-optimality of the Greedy Algorithm for subspace orderings in the method of alternating projections

Authors: Oscar Darwin, Aashraya Jha, Souktik Roy, David Seifert, Rhys Steele, Liam Stigant

Abstract: The method of alternating projections involves projecting an element of a Hilbert space cyclically onto a collection of closed subspaces. It is known that the resulting sequence always converges in norm and that one can obtain estimates for the rate of convergence in terms of quantities describing the geometric relationship between the subspaces in question, namely their pairwise Friedrichs number… ▽ More The method of alternating projections involves projecting an element of a Hilbert space cyclically onto a collection of closed subspaces. It is known that the resulting sequence always converges in norm and that one can obtain estimates for the rate of convergence in terms of quantities describing the geometric relationship between the subspaces in question, namely their pairwise Friedrichs numbers. We consider the question of how best to order a given collection of subspaces so as to obtain the best estimate on the rate of convergence. We prove, by relating the ordering problem to a variant of the famous Travelling Salesman Problem, that correctness of a natural form of the Greedy Algorithm would imply that $\mathrm{P}=\mathrm{NP}$, before presenting a simple example which shows that, contrary to a claim made in the influential paper [Kayalar-Weinert, Math. Control Signals Systems, vol. 1(1), 1988], the result of the Greedy Algorithm is not in general optimal. We go on to establish sharp estimates on the degree to which the result of the Greedy Algorithm can differ from the optimal result. Underlying all of these results is a construction which shows that for any matrix whose entries satisfy certain natural assumptions it is possible to construct a Hilbert space and a collection of closed subspaces such that the pairwise Friedrichs numbers between the subspaces are given precisely by the entries of that matrix. △ Less

Submitted 19 June, 2017; originally announced June 2017.

Comments: To appear in Results in Mathematics

Journal ref: Results in Mathematics, vol. 72(1), 2017, pp. 979-990

Asymptotics for periodic systems

Authors: Lassi Paunonen, David Seifert

Abstract: This paper investigates the asymptotic behaviour of solutions of periodic evolution equations. Starting with a general result concerning the quantified asymptotic behaviour of periodic evolution families we go on to consider a special class of dissipative systems arising naturally in applications. For this class of systems we analyse in detail the spectral properties of the associated monodromy op… ▽ More This paper investigates the asymptotic behaviour of solutions of periodic evolution equations. Starting with a general result concerning the quantified asymptotic behaviour of periodic evolution families we go on to consider a special class of dissipative systems arising naturally in applications. For this class of systems we analyse in detail the spectral properties of the associated monodromy operator, showing in particular that it is a so-called Ritt operator under a natural 'resonance' condition. This allows us to deduce from our general result a precise description of the asymptotic behaviour of the corresponding solutions. In particular, we present conditions for rational rates of convergence to periodic solutions in the case where the convergence fails to be uniformly exponential. We illustrate our general results by applying them to concrete problems including the one-dimensional wave equation with periodic dam**. △ Less

Submitted 16 November, 2018; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: 18 pages, 2 figures

MSC Class: 35B40; 47D06; 35B10; 47A10; 35L05

Journal ref: Journal of Differential Equations, vol. 266(11), 2019, pp. 7152-7172

Quantified asymptotic behaviour of Banach space operators and applications to iterative projection methods

Authors: Catalin Badea, David Seifert

Abstract: We present an extension of our earlier work [Ritt operators and convergence in the method of alternating projections, J. Approx. Theory, 205:133-148, 2016] by proving a general asymptotic result for orbits of an operator acting on a reflexive Banach space. This result is obtained under a condition involving the growth of the resolvent, and we also discuss conditions involving the location and the… ▽ More We present an extension of our earlier work [Ritt operators and convergence in the method of alternating projections, J. Approx. Theory, 205:133-148, 2016] by proving a general asymptotic result for orbits of an operator acting on a reflexive Banach space. This result is obtained under a condition involving the growth of the resolvent, and we also discuss conditions involving the location and the geometry of the numerical range of the operator. We then apply the general results to some classes of iterative projection methods in approximation theory, such as the Douglas-Rachford splitting method and, under suitable geometric conditions either on the ambient Banach space or on the projection operators, the method of alternating projections. △ Less

Submitted 3 April, 2017; originally announced April 2017.

Journal ref: Pure Appl. Funct. Anal. 2 (2017), no. 4, 585--598

Extending the graviton propagator with a Lorentz-violating vector field

Authors: Michael D. Seifert

Abstract: I discuss progress towards "bootstrap**" a Lorentz-violating gravity theory: namely, extending a linear Lorentz-violating theory of a rank-2 tensor to a non-linear theory by coupling this field to its own stress-energy tensor. I discuss progress towards "bootstrap**" a Lorentz-violating gravity theory: namely, extending a linear Lorentz-violating theory of a rank-2 tensor to a non-linear theory by coupling this field to its own stress-energy tensor. △ Less

Submitted 4 August, 2016; originally announced August 2016.

Comments: 4 pages. Presented at the Seventh Meeting on CPT and Lorentz Symmetry, Bloomington, Indiana, June 20-24, 2016

Asymptotic behaviour of coupled systems in discrete and continuous time

Authors: L. Paunonen, D. Seifert

Abstract: This paper investigates the asymptotic behaviour of solutions to certain infinite systems of coupled recurrence relations. In particular, we obtain a characterisation of those initial values which lead to a convergent solution, and for initial values satisfying a slightly stronger condition we obtain an optimal estimate on the rate of convergence. By establishing a connection with a related proble… ▽ More This paper investigates the asymptotic behaviour of solutions to certain infinite systems of coupled recurrence relations. In particular, we obtain a characterisation of those initial values which lead to a convergent solution, and for initial values satisfying a slightly stronger condition we obtain an optimal estimate on the rate of convergence. By establishing a connection with a related problem in continuous time, we are able to use this optimal estimate to improve the rate of convergence in the continuous setting obtained by the authors in a previous paper. We illustrate the power of the general approach by using it to study several concrete examples, both in continuous and in discrete time. △ Less

Submitted 21 December, 2016; v1 submitted 16 May, 2016; originally announced May 2016.

Comments: To appear in J. Dyn. Differ. Equ

Journal ref: J. Dyn. Differ. Equ., vol. 30(2), 2018, pp. 433-444

Asymptotic behaviour in the robot rendezvous problem

Authors: L. Paunonen, D. Seifert

Abstract: We present a non-technical overview of the results obtained by the authors (2015) concerning the so-called robot rendezvous problem studied by Feintuch and Francis (2012). In particular, we present a necessary and sufficient condition for convergence of the solution in terms of Cesàro convergence of the translates $S^k x_0$, $k\ge0$, of the sequence $x_0$ of initial positions under the right-shift… ▽ More We present a non-technical overview of the results obtained by the authors (2015) concerning the so-called robot rendezvous problem studied by Feintuch and Francis (2012). In particular, we present a necessary and sufficient condition for convergence of the solution in terms of Cesàro convergence of the translates $S^k x_0$, $k\ge0$, of the sequence $x_0$ of initial positions under the right-shift operator $S$, thus shedding new light on questions left open in by Feintuch and Francis. We also formulate a stronger ergodic condition on $x_0$ which ensures that the corresponding solution converges to its limit at the rate $O(t^{-1/2})$ as $t\to\infty$. We conclude with a brief discussion of a natural two-sided variant of the robot rendezvous problem and by relating the robot rendezvous problem to a more realistic model of vehicle platoons, for which the authors' earlier general results lead to analogous statements. △ Less

Submitted 21 December, 2016; v1 submitted 19 April, 2016; originally announced April 2016.

Comments: To appear in Automatica

Journal ref: Automatica, vol. 79, 2017, pp. 127-130

Asymptotics for infinite systems of differential equations

Authors: Lassi Paunonen, David Seifert

Abstract: This paper investigates the asymptotic behaviour of solutions to certain infinite systems of ordinary differential equations. In particular, we use results from ergodic theory and the asymptotic theory of $C_0$-semigroups to obtain a characterisation, in terms of convergence of certain Cesàro averages, of those initial values which lead to convergent solutions. Moreover, we obtain estimates on the… ▽ More This paper investigates the asymptotic behaviour of solutions to certain infinite systems of ordinary differential equations. In particular, we use results from ergodic theory and the asymptotic theory of $C_0$-semigroups to obtain a characterisation, in terms of convergence of certain Cesàro averages, of those initial values which lead to convergent solutions. Moreover, we obtain estimates on the rate of convergence for solutions whose initial values satisfy a stronger ergodic condition. These results rely on a detailed spectral analysis of the operator describing the system, which is made possible by certain structural assumptions on the operator. The resulting class of systems is sufficiently broad to cover a number of important applications, including in particular both the so-called robot rendezvous problem and an important class of platoon systems arising in control theory. Our method leads to new results in both cases. △ Less

Submitted 16 February, 2017; v1 submitted 17 November, 2015; originally announced November 2015.

Comments: To appear in SIAM Journal on Control and Optimization

MSC Class: 34A30; 34D05; 34H15; 47D06; 47A10; 47A35

Journal ref: SIAM Journal on Control and Optimization, vol. 55(2), 2017, pp. 1153-1178

Ritt operators and convergence in the method of alternating projections

Authors: Catalin Badea, David Seifert

Abstract: Given $N\ge2$ closed subspaces $M_1,\dotsc, M_N$ of a Hilbert space $X$, let $P_k$ denote the orthogonal projection onto $M_k$, $1\le k\le N$. It is known that the sequence $(x_n)$, defined recursively by $x_0=x$ and $x_{n+1}=P_N\cdots P_1x_n$ for $n\ge0$, converges in norm to $P_Mx$ as $n\to\infty$ for all $x\in X$, where $P_M$ denotes the orthogonal projection onto $M=M_1\cap\dotsc\cap M_N$. Mor… ▽ More Given $N\ge2$ closed subspaces $M_1,\dotsc, M_N$ of a Hilbert space $X$, let $P_k$ denote the orthogonal projection onto $M_k$, $1\le k\le N$. It is known that the sequence $(x_n)$, defined recursively by $x_0=x$ and $x_{n+1}=P_N\cdots P_1x_n$ for $n\ge0$, converges in norm to $P_Mx$ as $n\to\infty$ for all $x\in X$, where $P_M$ denotes the orthogonal projection onto $M=M_1\cap\dotsc\cap M_N$. Moreover, the rate of convergence is either exponentially fast for all $x\in X$ or as slow as one likes for appropriately chosen initial vectors $x\in X$. We give a new estimate in terms of natural geometric quantities on the rate of convergence in the case when it is known to be exponentially fast. More importantly, we then show that even when the rate of convergence is arbitrarily slow there exists, for each real number $α>0$, a dense subset $X_α$ of $X$ such that $\|x_n-P_Mx\|=o(n^{-α})$ as $n\to\infty$ for all $x\in X_α$. Furthermore, there exists another dense subset $X_\infty$ of $X$ such that, if $x\in X_\infty$, then $\|x_n-P_Mx\|=o(n^{-α})$ as $n\to\infty$ for all $α>0$. These latter results are obtained as consequences of general properties of Ritt operators. As a by-product, we also strengthen the unquantified convergence result by showing that $P_M x$ is in fact the limit of a series which converges unconditionally. △ Less

Submitted 2 February, 2016; v1 submitted 15 October, 2015; originally announced October 2015.

Comments: To appear in Journal of Approximation Theory

Journal ref: J. Approx. Theory 205 (2016), pp. 133-148

Optimal energy decay in a one-dimensional coupled wave-heat system

Authors: C. J. K. Batty, L. Paunonen, D. Seifert

Abstract: We study a simple one-dimensional coupled wave-heat system and obtain a sharp estimate for the rate of energy decay of classical solutions. Our approach is based on the asymptotic theory of $C_0$-semigroups and in particular on a result due to Borichev and Tomilov (Math. Ann., 2010), which reduces the problem of estimating the rate of energy decay to finding a growth bound for the resolvent of the… ▽ More We study a simple one-dimensional coupled wave-heat system and obtain a sharp estimate for the rate of energy decay of classical solutions. Our approach is based on the asymptotic theory of $C_0$-semigroups and in particular on a result due to Borichev and Tomilov (Math. Ann., 2010), which reduces the problem of estimating the rate of energy decay to finding a growth bound for the resolvent of the semigroup generator. This technique not only leads to an optimal result, it is also simpler than the methods used by other authors in similar situations. △ Less

Submitted 19 November, 2015; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: To appear in Journal of Evolution Equations

MSC Class: 35M33; 35B40; 47D06 (Primary); 34K30; 37A25 (Secondary)

Journal ref: Journal of Evolution Equations 16(3):649-664, 2016

A quantified Tauberian theorem for sequences

Authors: David Seifert

Abstract: The main result of this paper is a quantified version of Ingham's Tauberian theorem for bounded vector-valued sequences rather than functions. It gives an estimate on the rate of decay of such a sequence in terms of the behaviour of a certain boundary function, with the quality of the estimate depending on the degree of smoothness this boundary function is assumed to possess. The result is then us… ▽ More The main result of this paper is a quantified version of Ingham's Tauberian theorem for bounded vector-valued sequences rather than functions. It gives an estimate on the rate of decay of such a sequence in terms of the behaviour of a certain boundary function, with the quality of the estimate depending on the degree of smoothness this boundary function is assumed to possess. The result is then used to give a new proof of the quantified Katznelson-Tzafriri theorem recently obtained in [21]. △ Less

Submitted 2 April, 2015; originally announced April 2015.

Journal ref: Studia Mathematica 227 (2015), pp. 183-192

Quantified versions of Ingham's theorem

Authors: Ralph Chill, David Seifert

Abstract: We obtain quantified versions of Ingham's classical Tauberian theorem and some of its variants by means of a natural modification of Ingham's own simple proof. As corollaries of the main general results, we obtain quantified decay estimates for $C_0$-semigroups. The results reproduce those known in the literature but are both more general and, in one case, sharper. They also lead to a better under… ▽ More We obtain quantified versions of Ingham's classical Tauberian theorem and some of its variants by means of a natural modification of Ingham's own simple proof. As corollaries of the main general results, we obtain quantified decay estimates for $C_0$-semigroups. The results reproduce those known in the literature but are both more general and, in one case, sharper. They also lead to a better understanding of the previously obscure "fudge factor' appearing in proofs based on estimating contour integrals. △ Less

Submitted 1 April, 2015; originally announced April 2015.

Comments: 15 pages

MSC Class: Primary: 47D06; 40E05; secondary: 35B40; 34D05; 34G10

Journal ref: Bull. Lond. Math. Soc., vol. 48(3), 2016, pp. 519-532

A Katznelson-Tzafriri theorem for measures

Authors: David Seifert

Abstract: This article generalises the well-known Katznelson-Tzafriri theorem for a $C_0$-semigroup $T$ on a Banach space $X$, by removing the assumption that a certain measure in the original result be absolutely continuous. In an important special case the rate of decay is quantified in terms of the growth of the resolvent of the generator of $T$. These results are closely related to ones obtained recentl… ▽ More This article generalises the well-known Katznelson-Tzafriri theorem for a $C_0$-semigroup $T$ on a Banach space $X$, by removing the assumption that a certain measure in the original result be absolutely continuous. In an important special case the rate of decay is quantified in terms of the growth of the resolvent of the generator of $T$. These results are closely related to ones obtained recently in the Hilbert space setting by Batty, Chill and Tomilov in [6]. The main new idea is to incorporate an assumption on the non-analytic growth bound $ζ(T)$ which is equivalent to the assumption made in [6] if $X$ is a Hilbert space. △ Less

Submitted 6 October, 2014; originally announced October 2014.

Comments: 17 pages, to appear in Journal of Integral Equations and Operator Theory

Journal ref: Integral Equations and Operator Theory: Volume 81, Issue 2 (2015), pp. 255-270

Rates of decay in the classical Katznelson-Tzafriri theorem

Authors: David Seifert

Abstract: Given a power-bounded operator $T$, the theorem of Katznelson and Tzafriri states that $\|T^n(I-T)\|\to0$ as $n\to\infty$ if and only if the spectrum $σ(T)$ of $T$ intersects the unit circle $\mathbb{T}$ in at most the point 1. This paper investigates the rate at which decay takes place when $σ(T)\cap\mathbb{T}=\{1\}$. The results obtained lead in particular to both upper and lower bounds on this… ▽ More Given a power-bounded operator $T$, the theorem of Katznelson and Tzafriri states that $\|T^n(I-T)\|\to0$ as $n\to\infty$ if and only if the spectrum $σ(T)$ of $T$ intersects the unit circle $\mathbb{T}$ in at most the point 1. This paper investigates the rate at which decay takes place when $σ(T)\cap\mathbb{T}=\{1\}$. The results obtained lead in particular to both upper and lower bounds on this rate of decay in terms of the growth of the resolvent operator $R(\mathrm{e}^{\mathrm{i}θ},T)$ as $θ\to0$. In the special case of polynomial resolvent growth, these bounds are then shown to be optimal for general Banach spaces but not in the Hilbert space case. △ Less

Submitted 6 October, 2014; originally announced October 2014.

Comments: 24 pages, to appear in Journal d'Analyse Mathématique

Journal ref: J. Anal. Math., vol. 130(1), 2016, pp. 329-354

Some improvements of the Katznelson-Tzafriri theorem on Hilbert space

Authors: David Seifert

Abstract: This paper extends two recent improvements in the Hilbert space setting of the well-known Katznelson-Tzafriri theorem by establishing both a version of the result valid for bounded representations of a large class of abelian semigroups and a quantified version for contractive representations. The paper concludes with an outline of an improved version of the Katznelson-Tzafriri theorem for individu… ▽ More This paper extends two recent improvements in the Hilbert space setting of the well-known Katznelson-Tzafriri theorem by establishing both a version of the result valid for bounded representations of a large class of abelian semigroups and a quantified version for contractive representations. The paper concludes with an outline of an improved version of the Katznelson-Tzafriri theorem for individual orbits, whose validity extends even to certain unbounded representations. △ Less

Submitted 6 October, 2014; originally announced October 2014.

Comments: 13 pages, to appear in Proceedings of the American Mathematical Society

Journal ref: Proc. Amer. Math. Soc. 143 (2015), 3827-3838

Lorentz violation and topological defects

Authors: Michael D. Seifert

Abstract: If Lorentz symmetry is broken, it must have occurred dynamically, via a vector or tensor field whose potential energy forces it to take on a non-zero background expectation value "in vacuum". If the set of minima of this potential (the vacuum manifold) has a non-trivial topology, then there can arise topological defects: stable solutions in which the field approaches different potential minima as… ▽ More If Lorentz symmetry is broken, it must have occurred dynamically, via a vector or tensor field whose potential energy forces it to take on a non-zero background expectation value "in vacuum". If the set of minima of this potential (the vacuum manifold) has a non-trivial topology, then there can arise topological defects: stable solutions in which the field approaches different potential minima as we go to infinity in different directions. I discuss the current status of research into these topological defects in the context of Lorentz symmetry breaking, including recent results concerning the birefringent light-bending of monopole solutions, and the search for models supporting cosmic-string and domain-wall defects. △ Less

Submitted 13 March, 2014; originally announced March 2014.

Comments: 4 pages. Presented at the Sixth Meeting on CPT and Lorentz Symmetry, Bloomington, Indiana, June 17-21, 2013

Direct-coupling lensing by antisymmetric tensor monopoles

Authors: Kamuela N. Lau, Michael D. Seifert

Abstract: We discuss the effects of a direct coupling between a rank-two antisymmetric tensor field and the Maxwell field. The coupling we consider leads to vacuum birefringence, allowing us to place constraints on the magnitude of the tensor field and the strength of its coupling to the Maxwell field via cosmological birefringence measurements. For light propagating in the presence of a topological defect… ▽ More We discuss the effects of a direct coupling between a rank-two antisymmetric tensor field and the Maxwell field. The coupling we consider leads to vacuum birefringence, allowing us to place constraints on the magnitude of the tensor field and the strength of its coupling to the Maxwell field via cosmological birefringence measurements. For light propagating in the presence of a topological defect solution, we find that light rays with different polarizations will follow different trajectories; the magnitude of this deflection is predicted to be extremely small (on the order of 10^-10 arcseconds). We discuss the plausibility of this phenomenon as a method for detection of these monopoles, along with the applicability of our methods to other possible couplings between the tensor field and the Maxwell field. △ Less

Submitted 9 September, 2013; originally announced September 2013.

Comments: 10 pages, 2 figures

Journal ref: Phys. Rev. D 95, 025023 (2017)

Dynamical Lorentz symmetry breaking and topological defects

Authors: Michael D. Seifert

Abstract: I discuss the possibility of topological defect solutions in field theories containing a tensor field which spontaneously breaks Lorentz symmetry. I find that for theories of a tensor with rank r <= 5 and for which the vacuum manifold consists of the tensors whose "square" is some constant value, only three types of tensor (vectors, antisymmetric two-tensors, and symmetric two-tensors) have the ap… ▽ More I discuss the possibility of topological defect solutions in field theories containing a tensor field which spontaneously breaks Lorentz symmetry. I find that for theories of a tensor with rank r <= 5 and for which the vacuum manifold consists of the tensors whose "square" is some constant value, only three types of tensor (vectors, antisymmetric two-tensors, and symmetric two-tensors) have the appropriate vacuum manifold topology to support topological defects. Of these, topological defect solutions can be easily constructed for two: vector domain wall solutions and antisymmetric tensor monopole solutions. These antisymmetric tensor monopole solutions are in principle detectible via their gravitational lensing effects. △ Less

Submitted 13 August, 2010; v1 submitted 10 August, 2010; originally announced August 2010.

Comments: 19 pages, 2 figures, 1 table. v2: added references

Report number: IUHET 547

Journal ref: Phys.Rev.D82:125015,2010

A monopole solution in a Lorentz-violating field theory

Authors: Michael D. Seifert

Abstract: I present a topological defect solution that arises in a theory where Lorentz symmetry is spontaneously broken by a rank-two antisymmetric tensor field, and I discuss its observational signatures. I present a topological defect solution that arises in a theory where Lorentz symmetry is spontaneously broken by a rank-two antisymmetric tensor field, and I discuss its observational signatures. △ Less

Submitted 2 August, 2010; originally announced August 2010.

Comments: 4 pages, 1 figure

Report number: IUHET 546, August 2010

Journal ref: Phys.Rev.Lett.105:201601,2010

Generalized bumblebee models and Lorentz-violating electrodynamics

Authors: Michael D. Seifert

Abstract: The breaking of Lorentz symmetry via a dynamical mechanism, with a tensor field which takes on a non-zero expectation value in vacuum, has been a subject of significant research activity in recent years. In certain models of this type, the perturbations of the "Lorentz-violating field" about this background may be identified with known forces. I present the results of applying this interpretatio… ▽ More The breaking of Lorentz symmetry via a dynamical mechanism, with a tensor field which takes on a non-zero expectation value in vacuum, has been a subject of significant research activity in recent years. In certain models of this type, the perturbations of the "Lorentz-violating field" about this background may be identified with known forces. I present the results of applying this interpretation to the "generalized bumblebee models" found in a prior work. In this model, the perturbations of a Lorentz-violating vector field can be interpreted as a photon field. However, the speed of propagation of this "bumblebee photon" is direction-dependent and differs from the limiting speed of conventional matter, leading to measurable physical effects. Bounds on the parameters of this theory can then be derived from resonator experiments, accelerator physics, and cosmic ray observations. △ Less

Submitted 5 February, 2010; v1 submitted 17 September, 2009; originally announced September 2009.

Comments: 14 pages, 1 figure, 3 tables. v2: revised appendix on photon lifetime; version to appear in PRD

Report number: IUHET 533

Journal ref: Phys.Rev.D81:065010,2010

Vector models of gravitational Lorentz symmetry breaking

Authors: Michael D. Seifert

Abstract: Spontaneous Lorentz symmetry breaking can occur when the dynamics of a tensor field cause it to take on a non-zero expectation value in vacuo, thereby providing one or more "preferred directions" in spacetime. Couplings between such fields and spacetime curvature will then affect the dynamics of the metric, leading to interesting gravitational effects. Bailey & Kostelecky developed a post-Newton… ▽ More Spontaneous Lorentz symmetry breaking can occur when the dynamics of a tensor field cause it to take on a non-zero expectation value in vacuo, thereby providing one or more "preferred directions" in spacetime. Couplings between such fields and spacetime curvature will then affect the dynamics of the metric, leading to interesting gravitational effects. Bailey & Kostelecky developed a post-Newtonian formalism that, under certain conditions concerning the field's couplings and stress-energy, allows for the analysis of gravitational effects in the presence of Lorentz symmetry breaking. We perform a systematic survey of vector models of spontaneous Lorentz symmetry breaking. We find that a two-parameter class of vector models, those with kinetic terms we call "pseudo-Maxwell," can be successfully analyzed under the Bailey-Kostelecky formalism, and that one of these two "dimensions" in parameter space has not yet been explored as a possible mechanism of spontaneous Lorentz symmetry breaking. △ Less

Submitted 8 June, 2009; v1 submitted 12 March, 2009; originally announced March 2009.

Comments: 12 pages, RevTeX format. v2: fixed typos, added footnotes to match PRD version

Report number: IUHET 526

Journal ref: Phys. Rev. D 79, 124012 (2009)

Stability of spherically symmetric solutions in modified theories of gravity

Authors: Michael D. Seifert

Abstract: In recent years, a number of alternative theories of gravity have been proposed as possible resolutions of certain cosmological problems or as toy models for possible but heretofore unobserved effects. However, the implications of such theories for the stability of structures such as stars have not been fully investigated. We use our "generalized variational principle", described in a previous w… ▽ More In recent years, a number of alternative theories of gravity have been proposed as possible resolutions of certain cosmological problems or as toy models for possible but heretofore unobserved effects. However, the implications of such theories for the stability of structures such as stars have not been fully investigated. We use our "generalized variational principle", described in a previous work, to analyze the stability of static spherically symmetric solutions to spherically symmetric perturbations in three such alternative theories: Carroll et al.'s f(R) gravity, Jacobson & Mattingly's "Einstein-aether theory", and Bekenstein's TeVeS. We find that in the presence of matter, f(R) gravity is highly unstable; that the stability conditions for spherically symmetric curved vacuum Einstein-aether backgrounds are the same as those for linearized stability about flat spacetime, with one exceptional case; and that the "kinetic terms" of vacuum TeVeS are indefinite in a curved background, leading to an instability. △ Less

Submitted 8 August, 2007; v1 submitted 8 March, 2007; originally announced March 2007.

Comments: ReVTex; 20 pages, 3 figures. v2: references added, submitted to PRD; v3: expanded discussion of TeVeS; v4: minor typos corrected (version to appear in PRD)

Journal ref: Phys.Rev.D76:064002,2007

A general variational principle for spherically symmetric perturbations in diffeomorphism covariant theories

Authors: Michael D. Seifert, Robert M. Wald

Abstract: We present a general method for the analysis of the stability of static, spherically symmetric solutions to spherically symmetric perturbations in an arbitrary diffeomorphism covariant Lagrangian field theory. Our method involves fixing the gauge and solving the linearized gravitational field equations to eliminate the metric perturbation variable in terms of the matter variables. In a wide clas… ▽ More We present a general method for the analysis of the stability of static, spherically symmetric solutions to spherically symmetric perturbations in an arbitrary diffeomorphism covariant Lagrangian field theory. Our method involves fixing the gauge and solving the linearized gravitational field equations to eliminate the metric perturbation variable in terms of the matter variables. In a wide class of cases--which include f(R) gravity, the Einstein-aether theory of Jacobson and Mattingly, and Bekenstein's TeVeS theory--the remaining perturbation equations for the matter fields are second order in time. We show how the symplectic current arising from the original Lagrangian gives rise to a symmetric bilinear form on the variables of the reduced theory. If this bilinear form is positive definite, it provides an inner product that puts the equations of motion of the reduced theory into a self-adjoint form. A variational principle can then be written down immediately, from which stability can be tested readily. We illustrate our method in the case of Einstein's equation with perfect fluid matter, thereby re-deriving, in a systematic manner, Chandrasekhar's variational principle for radial oscillations of spherically symmetric stars. In a subsequent paper, we will apply our analysis to f(R) gravity, the Einstein-aether theory, and Bekenstein's TeVeS theory. △ Less

Submitted 9 March, 2007; v1 submitted 19 December, 2006; originally announced December 2006.

Comments: 13 pages; submitted to Phys. Rev. D. v2: changed formatting, added conclusion, corrected sign conventions

Journal ref: Phys.Rev.D75:084029,2007

Modelling Space with an Atom of Quantum Geometry

Authors: Seth A. Major, Michael D. Seifert

Abstract: Within the context of loop quantum gravity there are several operators which measure geometry quantities. This work examines two of these operators, volume and angle, to study quantum geometry at a single spin network vertex - ``an atom of geometry.'' Several aspects of the angle operator are examined in detail including minimum angles, level spacing, and the distribution of angles. The high spi… ▽ More Within the context of loop quantum gravity there are several operators which measure geometry quantities. This work examines two of these operators, volume and angle, to study quantum geometry at a single spin network vertex - ``an atom of geometry.'' Several aspects of the angle operator are examined in detail including minimum angles, level spacing, and the distribution of angles. The high spin limit of the volume operator is also studied for monochromatic vertices. The results show that demands of the correct scaling relations between area and volume and requirements of the expected behavior of angles in three dimensional flat space require high-valence vertices with total spins of approximately 10^20. △ Less

Submitted 17 September, 2001; originally announced September 2001.

Comments: 18 pages, 11 figures

Journal ref: Class.Quant.Grav. 19 (2002) 2211-2228

Angle and Volume Studies in Quantized Space

Authors: M. Seifert

Abstract: The search for a quantum theory of gravity is one of the major challenges facing theoretical physics today. While no complete theory exists, a promising avenue of research is the loop quantum gravity approach. In this approach, quantum states are represented by spin networks, essentially graphs with weighted edges. Since general relativity predicts the structure of space, any quantum theory of g… ▽ More The search for a quantum theory of gravity is one of the major challenges facing theoretical physics today. While no complete theory exists, a promising avenue of research is the loop quantum gravity approach. In this approach, quantum states are represented by spin networks, essentially graphs with weighted edges. Since general relativity predicts the structure of space, any quantum theory of gravity must do so as well; thus, "spatial observables" such as area, volume, and angle are given by the eigenvalues of Hermitian operators on the spin network states. We present results obtained in our investigations of the angle and volume operators, two operators which act on the vertices of spin networks. We find that the minimum observable angle is inversely proportional to the square root of the total spin of the vertex, a fairly slow decrease to zero. We also present numerical results indicating that the angle operator can reproduce the classical angle distribution. The volume operator is significantly harder to investigate analytically; however, we present analytical and numerical results indicating that the volume of a region scales as the 3/2 power of its bounding surface, which corresponds to the classical model of space. △ Less

Submitted 19 August, 2001; originally announced August 2001.

Comments: Undergraduate thesis. 85 pp. (incl. TOC & appendices), 21 figures (not incl. diagrams in eqns.)