Showing 1–50 of 71 results for author: Müller, L

Well-balanced high-order method for non-conservative hyperbolic PDEs with source terms: application to one-dimensional blood flow equations with gravity

Authors: Chiara Colombo, Caterina Dalmaso, Lucas O. Müller, Annunziato Siviglia

Abstract: The present work proposes a well-balanced finite volume-type numerical method for the solution of non-conservative hyperbolic partial differential equations (PDEs) with source terms. The method is characterized, first, by the use of a recently introduced high-order spatial reconstruction, based on generalized Riemann problem information from the previous time level. Such reconstruction is well-bal… ▽ More The present work proposes a well-balanced finite volume-type numerical method for the solution of non-conservative hyperbolic partial differential equations (PDEs) with source terms. The method is characterized, first, by the use of a recently introduced high-order spatial reconstruction, based on generalized Riemann problem information from the previous time level. Such reconstruction is well-balanced up to order three, compact, efficient and easy to implement. Second, the method incorporates a well-balanced space-time evolution operator, which allows for well-balanced fully explicit time evolution. The accuracy and efficiency of the method are assessed on both a scalar problem (Burgers' equation) and a nonlinear PDE system (hyperbolized one-dimensional blood flow equations with gravity and friction, and with variable mechanical and geometrical properties). The well-balanced property is verified by showing that numerically-determined stationary solutions are preserved up to machine precision. The order of accuracy in space and time is validated through empirical convergence rate studies. Additionally, the performance of the method is assessed on a network of 86 arteries, under both stationary and transient conditions. △ Less

Submitted 26 September, 2025; originally announced September 2025.

High-order fully well-balanced numerical methods for one-dimensional blood flow with discontinuous properties, friction and gravity

Authors: Ernesto Pimentel-García, Lucas O. Müller, Carlos Parés

Abstract: We present well-balanced, high-order, semi-discrete numerical schemes for one-dimensional blood flow models with discontinuous mechanical properties and algebraic source terms representing friction and gravity. While discontinuities in model parameters are handled using the Generalized Hydrostatic Reconstruction, the presence of algebraic source terms implies that steady state solutions cannot alw… ▽ More We present well-balanced, high-order, semi-discrete numerical schemes for one-dimensional blood flow models with discontinuous mechanical properties and algebraic source terms representing friction and gravity. While discontinuities in model parameters are handled using the Generalized Hydrostatic Reconstruction, the presence of algebraic source terms implies that steady state solutions cannot always be computed analytically. In fact, steady states are defined by an ordinary differential equation that needs to be integrated numerically. Therefore, we resort on a numerical reconstruction operator to identify and, where appropriate, preserve steady states with an accuracy that depends on the reconstruction operator's numerical scheme. We extend our methods to deal with networks of vessels and show numerical results for single- and multiple-vessel tests, including a network of 118 vessels, demonstrating the capacity of the presented methods to outperform naive discretizations of the equations under study. △ Less

Submitted 28 August, 2025; originally announced August 2025.

MSC Class: 65N08; 76M12 (Primary) ACM Class: G.1.8

On the Higher Categorical Structure of Topological Defects in Quantum Field Theories

Authors: Lukas Müller

Abstract: We propose a unifying mathematical framework describing the higher categorical structures formed by topological defects in quantum field theory equipped with tangential structures, such as orientations, framings, or $\operatorname{Pin}^{\pm}$-structures, in terms of structured versions of higher dagger categories. This recovers all previously known results, including the description of oriented to… ▽ More We propose a unifying mathematical framework describing the higher categorical structures formed by topological defects in quantum field theory equipped with tangential structures, such as orientations, framings, or $\operatorname{Pin}^{\pm}$-structures, in terms of structured versions of higher dagger categories. This recovers all previously known results, including the description of oriented topological defects in 2-dimensional quantum field theories by pivotal bicategories. Assuming the stratified cobordism hypothesis, we prove our proposal for topological defects with stable tangential structures that admit a direct sum in fully extended topological quantum field theories. △ Less

Submitted 7 May, 2025; originally announced May 2025.

Comments: 20 pages, comments welcome

Geometric perspective of linear stability in finite networks of nonlinear oscillators

Authors: Yashee Sinha, Priya B. Jain, Antonio Mihara, Rene O. Medrano-T, Ján Mináč, Lyle E. Muller, Roberto C. Budzinski

Abstract: We use a complex-valued transformation of the Kuramoto model to develop an operator-description of the linear stability in finite networks of nonlinear oscillators. This mathematical approach offers analytical predictions for the linear stability of $q$-states, which include phase synchronization ($q = 0$) and waves with different spatial frequencies ($|q| > 0$). This approach seamlessly incorpora… ▽ More We use a complex-valued transformation of the Kuramoto model to develop an operator-description of the linear stability in finite networks of nonlinear oscillators. This mathematical approach offers analytical predictions for the linear stability of $q$-states, which include phase synchronization ($q = 0$) and waves with different spatial frequencies ($|q| > 0$). This approach seamlessly incorporates the presence of time delays (represented by phase-lags in the coupling). With this, we are able to analytically determine the specific combination of connectivity and time delays (phase-lags) that leads to any given $q$-state to be linearly stable. This approach offers a geometric perspective of linear stability in finite networks in terms of the connectivity and delays (phase-lag), and it opens a path to designing and controlling the spatiotemporal dynamics of individual oscillator networks. △ Less

Submitted 8 April, 2025; originally announced April 2025.

Deformation Quantization via Categorical Factorization Homology

Authors: Eilind Karlsson, Corina Keller, Lukas Müller, Ján Pulmann

Abstract: This paper develops an approach to categorical deformation quantization via factorization homology. We show that a quantization of the local coefficients for factorization homology is equivalent to consistent quantizations of its value on manifolds. To formulate our results we introduce the concepts of shifted almost Poisson and BD categories. Our main example is the character stack of flat princi… ▽ More This paper develops an approach to categorical deformation quantization via factorization homology. We show that a quantization of the local coefficients for factorization homology is equivalent to consistent quantizations of its value on manifolds. To formulate our results we introduce the concepts of shifted almost Poisson and BD categories. Our main example is the character stack of flat principal bundles for a reductive algebraic group $G$, where we show that applying the general framework to the Drinfeld category reproduces deformations previously introduced by Li-Bland and Ševera. As a direct consequence, we can conclude a precise relation between their quantization and those introduced by Alekseev, Grosse, and Schomerus. To arrive at our results we compute factorization homology with values in a ribbon category enriched over complete $\mathbb{C}[[\hbar]]$-modules. More generally, we define enriched skein categories which compute factorization homology for ribbon categories enriched over a general closed symmetric monoidal category $\mathcal{V}$. △ Less

Submitted 16 October, 2024; originally announced October 2024.

Comments: 84 pages. First version, comments and suggestions welcome

Admissible Skein Modules and Ansular Functors: A Comparison

Authors: Lukas Müller, Lukas Woike

Abstract: Given a finite ribbon category, which is a particular case of a cyclic algebra over the operad of genus zero surfaces, there are two possibilities for an extension defined on all three-dimensional handlebodies: On the one hand, one can use the admissible skein module construction of Costantino-Geer-Patureau-Mirand. On other hand, by a construction of the authors using Costello's modular envelope,… ▽ More Given a finite ribbon category, which is a particular case of a cyclic algebra over the operad of genus zero surfaces, there are two possibilities for an extension defined on all three-dimensional handlebodies: On the one hand, one can use the admissible skein module construction of Costantino-Geer-Patureau-Mirand. On other hand, by a construction of the authors using Costello's modular envelope, one can build a so-called ansular functor, a handlebody version of the notion of a modular functor. Unlike the admissible skein modules with their construction through the Reshetikhin-Turaev graphical calculus, the ansular functor is defined purely through a universal property. In this note, we prove the widely held expectation that these constructions are related by giving an isomorphism between them, with the somewhat surprising subtlety that we need to include consistently on one of the sides an additional boundary component labeled by the distinguished invertible object of Etingof-Nikshych-Ostrik. In other words, the constructions agree on handlebodies up to a `background charge' that becomes trivial in the unimodular case. Our comparison result includes the handlebody group action as well as the skein algebra action. △ Less

Submitted 25 September, 2024; originally announced September 2024.

Comments: 16 pages, 2 figures

Report number: ANR-22-CPJ1-0001-01

CT scans without X-rays: parallel-beam imaging from nonlinear current flows

Authors: Melody Alsaker, Siiri Rautio, Fernando Moura, Juan Pablo Agnelli, Rashmi Murthy, Matti Lassas, Jennifer L. Mueller, Samuli Siltanen

Abstract: Parallel-beam X-ray computed tomography (CT) and electrical impedance tomography (EIT) are two imaging modalities which stem from completely different underlying physics, and for decades have been thought to have little in common either practically or mathematically. CT is only mildly ill-posed and uses straight X-rays as measurement energy, which admits simple linear mathematics. However, CT reli… ▽ More Parallel-beam X-ray computed tomography (CT) and electrical impedance tomography (EIT) are two imaging modalities which stem from completely different underlying physics, and for decades have been thought to have little in common either practically or mathematically. CT is only mildly ill-posed and uses straight X-rays as measurement energy, which admits simple linear mathematics. However, CT relies on exposing targets to ionizing radiation and requires cumbersome setups with expensive equipment. In contrast, EIT uses harmless electrical currents as measurement energy and can be implemented using simple low-cost portable setups. But EIT is burdened by nonlinearity stemming from the curved paths of electrical currents, as well as extreme ill-posedness which causes characteristic low spatial resolution. In practical EIT reconstruction methods, nonlinearity and ill-posedness have been considered intertwined in a complicated fashion. In this work we demonstrate a surprising connection between CT and EIT which partly unravels the main problems of EIT and leads directly to a proposed imaging modality which we call virtual hybrid parallel-beam tomography (VHPT). We show that hidden deep within EIT data is information which possesses the same linear geometry as parallel-beam CT data. This admits a fundamental restructuring of EIT, separating ill-posedness and nonlinearity into simple modular sub-problems, and yields ''virtual radiographs'' and CT-like images which reveal previously concealed information. Furthermore, as proof of concept we present VHPT images of real-world objects. △ Less

Submitted 23 August, 2024; originally announced August 2024.

A Higher Spin-Statistics Theorem for Invertible Quantum Field Theories

Authors: Cameron Krulewski, Lukas Müller, Luuk Stehouwer

Abstract: We prove that every unitary invertible quantum field theory satisfies a generalization of the famous spin-statistics theorem. To formulate this extension, we define a `higher spin' action of the stable orthogonal group $O$ on appropriate spacetime manifolds, which extends both the reflection involution and spin flip. On the algebraic side, we define a `higher statistics' action of $O$ on the unive… ▽ More We prove that every unitary invertible quantum field theory satisfies a generalization of the famous spin-statistics theorem. To formulate this extension, we define a `higher spin' action of the stable orthogonal group $O$ on appropriate spacetime manifolds, which extends both the reflection involution and spin flip. On the algebraic side, we define a `higher statistics' action of $O$ on the universal target for invertible field theories, $I\mathbb{Z}$, which extends both complex conjugation and fermion parity $(-1)^F$. We prove that every unitary invertible quantum field theory intertwines these actions. △ Less

Submitted 8 September, 2025; v1 submitted 7 August, 2024; originally announced August 2024.

Comments: 7 pages, no figures

Journal ref: Commun. Math. Phys. 406, 230 (2025)

Categorified Open Topological Field Theories

Authors: Lukas Müller, Lukas Woike

Abstract: In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination with recently developed string-net techniques, this leads to a new description of the spaces of conformal blocks of Drinfeld centers $Z(\mathcal{C})$ of pivota… ▽ More In this short note, we classify linear categorified open topological field theories in dimension two by pivotal Grothendieck-Verdier categories, a type of monoidal category equipped with a weak, not necessarily rigid duality. In combination with recently developed string-net techniques, this leads to a new description of the spaces of conformal blocks of Drinfeld centers $Z(\mathcal{C})$ of pivotal finite tensor categories $\mathcal{C}$ in terms of the modular envelope of the cyclic associative operad. If $\mathcal{C}$ is unimodular, we prove that the space of conformal blocks inherits the structure of a module over the algebra of class functions of $\mathcal{C}$ for every free boundary component. As a further application, we prove that the sewing along a boundary circle for the modular functor for $Z(\mathcal{C})$ can be decomposed into a sewing procedure along an interval and the application of the partial trace. Finally, we construct mapping class group representations from Grothendieck-Verdier categories that are not necessarily rigid and make precise how these generalize existing constructions. △ Less

Submitted 31 July, 2025; v1 submitted 17 June, 2024; originally announced June 2024.

Comments: 14 pages, some diagrams; v2: minor changes

Report number: ANR-22-CPJ1-0001-01

Journal ref: Proc. Amer. Math. Soc. 153 (2025), 2381-2396

Dagger $n$-categories

Authors: Giovanni Ferrer, Brett Hungar, Theo Johnson-Freyd, Cameron Krulewski, Lukas Müller, Nivedita, David Penneys, David Reutter, Claudia Scheimbauer, Luuk Stehouwer, Chetan Vuppulury

Abstract: We present a coherent definition of dagger $(\infty,n)$-category in terms of equivariance data trivialized on parts of the category. Our main example is the bordism higher category $\mathbf{Bord}_{n}^X$. This allows us to define a reflection-positive topological quantum field theory to be a higher dagger functor from $\mathbf{Bord}_{n}^X$ to some target higher dagger category $\mathcal{C}$. Our de… ▽ More We present a coherent definition of dagger $(\infty,n)$-category in terms of equivariance data trivialized on parts of the category. Our main example is the bordism higher category $\mathbf{Bord}_{n}^X$. This allows us to define a reflection-positive topological quantum field theory to be a higher dagger functor from $\mathbf{Bord}_{n}^X$ to some target higher dagger category $\mathcal{C}$. Our definitions have a tunable parameter: a group $G$ acting on the $(\infty,1)$-category $\mathbf{Cat}_{(\infty,n)}$ of $(\infty,n)$-categories. Different choices for $G$ accommodate different flavours of higher dagger structure; the universal choice is $G = \operatorname{Aut}(\mathbf{Cat}_{(\infty,n)}) = (\mathbb{Z}/2\mathbb{Z})^n$, which implements dagger involutions on all levels of morphisms. The Stratified Cobordism Hypothesis suggests that there should be a map $\mathrm{PL}(n) \to \operatorname{Aut}(\mathbf{AdjCat}_{(\infty,n)})$, where $\mathrm{PL}(n)$ is the group of piecewise-linear automorphisms of $\mathbb{R}^n$ and $\mathbf{AdjCat}_{(\infty,n)}$ the $(\infty,1)$-category of $(\infty,n)$-categories with all adjoints; we conjecture more strongly that $\operatorname{Aut}(\mathbf{AdjCat}_{(\infty,n)}) \cong \mathrm{PL}(n)$. Based on this conjecture we propose a notion of dagger $(\infty,n)$-category with unitary duality or $\mathrm{PL}(n)$-dagger category. We outline how to construct a $\mathrm{PL}(n)$-dagger structure on the fully-extended bordism $(\infty,n)$-category $\mathbf{Bord}_n^X$ for any stable tangential structure $X$; our outline restricts to a rigorous construction of a coherent dagger structure on the unextended bordism $(\infty,1)$-category $\mathbf{Bord}_{n,n-1}^X$. The article is a report on the results of a workshop held in Summer 2023, and is intended as a sketch of the big picture and an invitation for more thorough development. △ Less

Submitted 23 April, 2024; v1 submitted 3 March, 2024; originally announced March 2024.

Comments: 18 pages; v2 corrected definition of dagger $(\infty,n)$-category with unitary duality

The Lyubashenko Modular Functor for Drinfeld Centers via Non-Semisimple String-Nets

Authors: Lukas Müller, Christoph Schweigert, Lukas Woike, Yang Yang

Abstract: The Levin-Wen string-nets of a spherical fusion category $\mathcal{C}$ describe, by results of Kirillov and Bartlett, the representations of mapping class groups of closed surfaces obtained from the Turaev-Viro construction applied to $\mathcal{C}$. We provide a far-reaching generalization of this statement to arbitrary pivotal finite tensor categories, including non-semisimple or non-spherical on… ▽ More The Levin-Wen string-nets of a spherical fusion category $\mathcal{C}$ describe, by results of Kirillov and Bartlett, the representations of mapping class groups of closed surfaces obtained from the Turaev-Viro construction applied to $\mathcal{C}$. We provide a far-reaching generalization of this statement to arbitrary pivotal finite tensor categories, including non-semisimple or non-spherical ones: We show that the finitely cocompleted string-net modular functor built from the projective objects of a pivotal finite tensor category is equivalent to Lyubashenko's modular functor built from the Drinfeld center $Z(\mathcal{C})$. △ Less

Submitted 21 December, 2023; originally announced December 2023.

Comments: v1: 33 pages, 5 figures

Report number: [ZMP-HH/23-23], Hamburger Beitraege zur Mathematik Nr. 955, ANR-22-CPJ1-0001-01

The Dehn Twist Action for Quantum Representations of Mapping Class Groups

Authors: Lukas Müller, Lukas Woike

Abstract: We calculate the Dehn twist action on the spaces of conformal blocks of a not necessarily semisimple modular category. In particular, we give the order of the Dehn twists under the mapping class group representations of closed surfaces. For Dehn twists about non-separating simple closed curves, we prove that this order is the order of the ribbon twist, thereby generalizing a result that De Renzi-G… ▽ More We calculate the Dehn twist action on the spaces of conformal blocks of a not necessarily semisimple modular category. In particular, we give the order of the Dehn twists under the mapping class group representations of closed surfaces. For Dehn twists about non-separating simple closed curves, we prove that this order is the order of the ribbon twist, thereby generalizing a result that De Renzi-Gainutdinov-Geer-Patureau-Mirand-Runkel obtained for the small quantum group. In the separating case, we express the order using the order of the ribbon twist on monoidal powers of the canonical end. As an application, we prove that the Johnson kernel of the mapping class group acts trivially if and only if for the canonical end the ribbon twist and double braiding with itself are trivial. We give a similar result for the visibility of the Torelli group. △ Less

Submitted 27 November, 2023; originally announced November 2023.

Comments: 20 pages, 2 figures

Report number: ANR-22-CPJ1-0001-01

Orbifold completion of 3-categories

Authors: Nils Carqueville, Lukas Müller

Abstract: We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all 1- and 2-morphisms (more precisely, a Gray category with duals), we construct the 3-category $\mathcal{T}_{\textrm{orb}}$ as a Morita category of certain $E_1$-… ▽ More We develop a general theory of 3-dimensional ``orbifold completion'', to describe (generalised) orbifolds of topological quantum field theories as well as all their defects. Given a semistrict 3-category $\mathcal{T}$ with adjoints for all 1- and 2-morphisms (more precisely, a Gray category with duals), we construct the 3-category $\mathcal{T}_{\textrm{orb}}$ as a Morita category of certain $E_1$-algebras in $\mathcal{T}$ which encode triangulation invariance. We prove that in $\mathcal{T}_{\textrm{orb}}$ again all 1- and 2-morphisms have adjoints, that it contains $\mathcal{T}$ as a full subcategory, and we argue, but do not prove, that it satisfies a universal property which implies $(\mathcal{T}_{\textrm{orb}})_{\textrm{orb}} \cong \mathcal{T}_{\textrm{orb}}$. This is a categorification of the work in [CR]. Orbifold completion by design allows us to lift the orbifold construction from closed TQFT to the much richer world of defect TQFTs. We illustrate this by constructing a universal 3-dimensional state sum model with all defects from first principles, and we explain how recent work on defects between Witt equivalent Reshetikhin--Turaev theories naturally appears as a special case of orbifold completion. △ Less

Submitted 5 August, 2025; v1 submitted 12 July, 2023; originally announced July 2023.

Comments: 58 pages, many diagrams and figures, v2: references, clarifications and improvements added, v3: small improvements

Smoothing the Edges: Smooth Optimization for Sparse Regularization using Hadamard Overparametrization

Authors: Chris Kolb, Christian L. Müller, Bernd Bischl, David Rügamer

Abstract: We present a framework for smooth optimization of explicitly regularized objectives for (structured) sparsity. These non-smooth and possibly non-convex problems typically rely on solvers tailored to specific models and regularizers. In contrast, our method enables fully differentiable and approximation-free optimization and is thus compatible with the ubiquitous gradient descent paradigm in deep l… ▽ More We present a framework for smooth optimization of explicitly regularized objectives for (structured) sparsity. These non-smooth and possibly non-convex problems typically rely on solvers tailored to specific models and regularizers. In contrast, our method enables fully differentiable and approximation-free optimization and is thus compatible with the ubiquitous gradient descent paradigm in deep learning. The proposed optimization transfer comprises an overparameterization of selected parameters and a change of penalties. In the overparametrized problem, smooth surrogate regularization induces non-smooth, sparse regularization in the base parametrization. We prove that the surrogate objective is equivalent in the sense that it not only has identical global minima but also matching local minima, thereby avoiding the introduction of spurious solutions. Additionally, our theory establishes results of independent interest regarding matching local minima for arbitrary, potentially unregularized, objectives. We comprehensively review sparsity-inducing parametrizations across different fields that are covered by our general theory, extend their scope, and propose improvements in several aspects. Numerical experiments further demonstrate the correctness and effectiveness of our approach on several sparse learning problems ranging from high-dimensional regression to sparse neural network training. △ Less

Submitted 26 April, 2024; v1 submitted 7 July, 2023; originally announced July 2023.

Composed solutions of synchronized patterns in multiplex networks of Kuramoto oscillators

Authors: Priya B. Jain, Tung T. Nguyen, Ján Mináč, Lyle E. Muller, Roberto C. Budzinski

Abstract: Networks with different levels of interactions, including multilayer and multiplex networks, can display a rich diversity of dynamical behaviors and can be used to model and study a wide range of systems. Despite numerous efforts to investigate these networks, obtaining mathematical descriptions for the dynamics of multilayer and multiplex systems is still an open problem. Here, we combine ideas a… ▽ More Networks with different levels of interactions, including multilayer and multiplex networks, can display a rich diversity of dynamical behaviors and can be used to model and study a wide range of systems. Despite numerous efforts to investigate these networks, obtaining mathematical descriptions for the dynamics of multilayer and multiplex systems is still an open problem. Here, we combine ideas and concepts from linear algebra and graph theory with nonlinear dynamics to offer a novel approach to study multiplex networks of Kuramoto oscillators. Our approach allows us to study the dynamics of a large, multiplex network by decomposing it into two smaller systems: one representing the connection scheme within layers (intra-layer), and the other representing the connections between layers (inter-layer). Particularly, we use this approach to compose solutions for multiplex networks of Kuramoto oscillators. These solutions are given by a combination of solutions for the smaller systems given by the intra and inter-layer system and, in addition, our approach allows us to study the linear stability of these solutions. △ Less

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

Dynamical properties and mechanisms of metastability: a perspective in neuroscience

Authors: Kalel L. Rossi, Roberto C. Budzinski, Everton S. Medeiros, Bruno R. R. Boaretto, Lyle Muller, Ulrike Feudel

Abstract: Metastability, characterized by a variability of regimes in time, is a ubiquitous type of neural dynamics. It has been formulated in many different ways in the neuroscience literature, however, which may cause some confusion. In this Perspective, we discuss metastability from the point of view of dynamical systems theory. We extract from the literature a very simple but general definition through… ▽ More Metastability, characterized by a variability of regimes in time, is a ubiquitous type of neural dynamics. It has been formulated in many different ways in the neuroscience literature, however, which may cause some confusion. In this Perspective, we discuss metastability from the point of view of dynamical systems theory. We extract from the literature a very simple but general definition through the concept of metastable regimes as long-lived but transient epochs of activity with unique dynamical properties. This definition serves as an umbrella term that encompasses formulations from other works, and readily connects to concepts from dynamical systems theory. This allows us to examine general dynamical properties of metastable regimes, propose in a didactic manner several dynamics-based mechanisms that generate them, and discuss a theoretical tool to characterize them quantitatively. This perspective leads to insights that help to address issues debated in the literature and also suggest pathways for future research. △ Less

Submitted 21 May, 2024; v1 submitted 9 May, 2023; originally announced May 2023.

Comments: 4 figures

Reflection Structures and Spin Statistics in Low Dimensions

Authors: Lukas Müller, Luuk Stehouwer

Abstract: We give a complete classification of topological field theories with reflection structure and spin-statistics in one and two spacetime dimensions. Our answers can be naturally expressed in terms of an internal fermionic symmetry group $G$ which is different from the spacetime structure group. Fermionic groups encode symmetries of systems with fermions and time reversing symmetries. We show that 1-… ▽ More We give a complete classification of topological field theories with reflection structure and spin-statistics in one and two spacetime dimensions. Our answers can be naturally expressed in terms of an internal fermionic symmetry group $G$ which is different from the spacetime structure group. Fermionic groups encode symmetries of systems with fermions and time reversing symmetries. We show that 1-dimensional topological field theories with reflection structure and spin-statistics are classified by finite dimensional hermitian representations of $G$. In spacetime dimension two we give a classification in terms strongly $G$-graded stellar Frobenius algebras. Our proofs are based on the cobordism hypothesis. Along the way, we develop some useful tools for the computation of homotopy fixed points of 2-group actions on bicategories. △ Less

Submitted 16 January, 2023; originally announced January 2023.

Comments: 74+56 pages, 6 figures

Report number: MPIM-Bonn-2023

The distinguished invertible object as ribbon dualizing object in the Drinfeld center

Authors: Lukas Müller, Lukas Woike

Abstract: We prove that the Drinfeld center $Z(\mathcal{C})$ of a pivotal finite tensor category $\mathcal{C}$ comes with the structure of a ribbon Grothendieck-Verdier category in the sense of Boyarchenko-Drinfeld. Phrased operadically, this makes $Z(\mathcal{C})$ into a cyclic algebra over the framed $E_2$-operad. The underlying object of the dualizing object is the distinguished invertible object of… ▽ More We prove that the Drinfeld center $Z(\mathcal{C})$ of a pivotal finite tensor category $\mathcal{C}$ comes with the structure of a ribbon Grothendieck-Verdier category in the sense of Boyarchenko-Drinfeld. Phrased operadically, this makes $Z(\mathcal{C})$ into a cyclic algebra over the framed $E_2$-operad. The underlying object of the dualizing object is the distinguished invertible object of $\mathcal{C}$ appearing in the well-known Radford isomorphism of Etingof-Nikshych-Ostrik. Up to equivalence, this is the unique ribbon Grothendieck-Verdier structure on $Z(\mathcal{C})$ extending the canonical balanced braided structure that $Z(\mathcal{C})$ already comes equipped with. The duality functor of this ribbon Grothendieck-Verdier structure coincides with the rigid duality if and only if $\mathcal{C}$ is spherical in the sense of Douglas-Schommer-Pries-Snyder. The main topological consequence of our algebraic result is that $Z(\mathcal{C})$ gives rise to an ansular functor, in fact even a modular functor regardless of whether $\mathcal{C}$ is spherical or not. In order to prove the aforementioned uniqueness statement for the ribbon Grothendieck-Verdier structure, we derive a seven-term exact sequence characterizing the space of ribbon Grothendieck-Verdier structures on a balanced braided category. This sequence features the Picard group of the balanced version of the Müger center of the balanced braided category. △ Less

Submitted 31 December, 2024; v1 submitted 15 December, 2022; originally announced December 2022.

Comments: 21 pages, diagrams partly in color; v2: minor changes, Cor. 3.1 strengthened; v3: 23 pages, minor changes in response to reports

Report number: CPH-GEOTOP-DNRF151 ; ANR-22-CPJ

Journal ref: Selecta Math. New Ser. 30(98), 2024

On the Paley graph of a quadratic character

Authors: Ján Mináč, Lyle Muller, Tung T. Nguyen, Nguyen Duy Tân

Abstract: Paley graphs form a nice link between the distribution of quadratic residues and graph theory. These graphs possess remarkable properties which make them useful in several branches of mathematics. Classically, for each prime number $p$ we can construct the corresponding Paley graph using quadratic and non-quadratic residues modulo $p$. Therefore, Paley graphs are naturally associated with the Lege… ▽ More Paley graphs form a nice link between the distribution of quadratic residues and graph theory. These graphs possess remarkable properties which make them useful in several branches of mathematics. Classically, for each prime number $p$ we can construct the corresponding Paley graph using quadratic and non-quadratic residues modulo $p$. Therefore, Paley graphs are naturally associated with the Legendre symbol at $p$ which is a quadratic Dirichlet character of conductor $p$. In this article, we introduce the generalized Paley graphs. These are graphs that are associated with a general quadratic Dirichlet character. We will then provide some of their basic properties. In particular, we describe their spectrum explicitly. We then use those generalized Paley graphs to construct some new families of Ramanujan graphs. Finally, using special values of $L$-functions, we provide an effective upper bound for their Cheeger number. △ Less

Submitted 6 December, 2023; v1 submitted 4 December, 2022; originally announced December 2022.

Comments: To appear in Mathematica Slovaca

MSC Class: 05C25; 05C50; 11M06

Broadcasting solutions on networked systems of phase oscillators

Authors: Tung T. Nguyen, Roberto C. Budzinski, Federico W. Pasini, Robin Delabays, Ján Mináč, Lyle E. Muller

Abstract: Networked systems have been used to model and investigate the dynamical behavior of a variety of systems. For these systems, different levels of complexity can be considered in the modeling procedure. On one hand, this can offer a more realistic and rich modeling option. On the other hand, it can lead to intrinsic difficulty in analyzing the system. Here, we present an approach to investigate the… ▽ More Networked systems have been used to model and investigate the dynamical behavior of a variety of systems. For these systems, different levels of complexity can be considered in the modeling procedure. On one hand, this can offer a more realistic and rich modeling option. On the other hand, it can lead to intrinsic difficulty in analyzing the system. Here, we present an approach to investigate the dynamics of Kuramoto oscillators on networks with different levels of connections: a network of networks. To do so, we utilize a construction in network theory known as the join of networks, which represents ``intra-area" and ``inter-area" connections. This approach provides a reduced representation of the original, multi-level system, where both systems have equivalent dynamics. Then, we can find solutions for the reduced system and broadcast them to the original network of networks. Moreover, using the same idea we can investigate the stability of these states, where we can obtain information on the Jacobian of the multi-level system by analyzing the reduced one. This approach is general for arbitrary connection schemes between nodes within the same area. Finally, our work opens the possibility of studying the dynamics of networked systems using a simpler representation, thus leading to a better understanding of the dynamical behavior of these systems. △ Less

Submitted 18 January, 2023; v1 submitted 13 September, 2022; originally announced September 2022.

On the joins of group rings

Authors: Sunil K. Chebolu, Jonathan L. Merzel, Ján Mináč, Lyle Muller, Tung T. Nguyen, Federico W. Pasini, Nguyen Duy Tân

Abstract: Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we define a subring of the ring $M_n(R)$ ($n = \sum_{i=1}^d|G_i|)$ that encompasses all the individual group rings $R[G_i]$ along the diagonal blocks as $G_i$-circulant matrices. The precise definition of this ring was inspired by a construction in graph theory known as the joined union of graphs. We call this ring the join of… ▽ More Given a collection $\{ G_i\}_{i=1}^d$ of finite groups and a ring $R$, we define a subring of the ring $M_n(R)$ ($n = \sum_{i=1}^d|G_i|)$ that encompasses all the individual group rings $R[G_i]$ along the diagonal blocks as $G_i$-circulant matrices. The precise definition of this ring was inspired by a construction in graph theory known as the joined union of graphs. We call this ring the join of group rings and denote it by $\mathcal{J}_{G_1,\dots, G_d}(R)$. In this paper, we present a systematic study of the algebraic structure of $\mathcal{J}_{G_1,\dots, G_d}(R)$. We show that it has a ring structure and characterize its center, group of units, and Jacobson radical. When $R=k$ is an algebraically closed field, we derive a formula for the number of irreducible modules over $\mathcal{J}_{G_1,\dots, G_d}(k)$. We also show how a blockwise extension of the Fourier transform provides both a generalization of the Circulant Diagonalization Theorem to joins of circulant matrices and an explicit isomorphism between the join algebra and its Wedderburn components. △ Less

Submitted 1 April, 2023; v1 submitted 15 August, 2022; originally announced August 2022.

Comments: 33 pages, Accepted for publication in the Journal of Pure and Applied Algebra

MSC Class: 22D20

Small changes at single nodes can shift global network dynamics

Authors: Kalel L. Rossi, Roberto C. Budzinski, Bruno R. R. Boaretto, Lyle E. Muller, Ulrike Feudel

Abstract: Understanding the sensitivity of a system's behavior with respect to parameter changes is essential for many applications. This sensitivity may be desired - for instance in the brain, where a large repertoire of different dynamics, particularly different synchronization patterns, is crucial - or may be undesired - for instance in power grids, where disruptions to synchronization may lead to blacko… ▽ More Understanding the sensitivity of a system's behavior with respect to parameter changes is essential for many applications. This sensitivity may be desired - for instance in the brain, where a large repertoire of different dynamics, particularly different synchronization patterns, is crucial - or may be undesired - for instance in power grids, where disruptions to synchronization may lead to blackouts. In this work, we show that the dynamics of networks of phase oscillators can acquire a very large and complex sensitivity to changes made in either their units' parameters or in their connections - even modifications made to a parameter of a single unit can radically alter the global dynamics of the network in an unpredictable manner. As a consequence, each modification leads to a different path to phase synchronization manifested as large fluctuations along that path. This dynamical malleability occurs over a wide parameter region, around the network's two transitions to phase synchronization. One transition is induced by increasing the coupling strength between the units, and another is induced by increasing the prevalence of long-range connections. Specifically, we study Kuramoto phase oscillators connected under either Watts-Strogatz or distance-dependent topologies to analyze the statistical properties of the fluctuations along the paths to phase synchrony. We argue that this increase in the dynamical malleability is a general phenomenon, as suggested by both previous studies and the theory of phase transitions. △ Less

Submitted 3 August, 2022; originally announced August 2022.

Comments: 14 pages, 8 figures

Analytical prediction of specific spatiotemporal patterns in nonlinear oscillator networks with distance-dependent time delays

Authors: Roberto C. Budzinski, Tung T. Nguyen, Gabriel B. Benigno, Jacqueline Doàn, Ján Mináč, Terrence J. Sejnowski, Lyle E. Muller

Abstract: We introduce an analytical approach that allows predictions and mechanistic insights into the dynamics of nonlinear oscillator networks with heterogeneous time delays. We demonstrate that time delays shape the spectrum of a matrix associated to the system, leading to the emergence of waves with a preferred direction. We then create analytical predictions for the specific spatiotemporal patterns ob… ▽ More We introduce an analytical approach that allows predictions and mechanistic insights into the dynamics of nonlinear oscillator networks with heterogeneous time delays. We demonstrate that time delays shape the spectrum of a matrix associated to the system, leading to the emergence of waves with a preferred direction. We then create analytical predictions for the specific spatiotemporal patterns observed in individual simulations of time-delayed Kuramoto networks. This approach generalizes to systems with heterogeneous time delays at finite scales, which permits the study of spatiotemporal dynamics in a broad range of applications. △ Less

Submitted 16 January, 2023; v1 submitted 27 July, 2022; originally announced July 2022.

Joins of normal matrices, their spectrum, and applications

Authors: Jan Mináč, Lyle Muller, Tung T. Nguyen, Federico W. Pasini

Abstract: Motivated by studies of oscillator networks, we study the spectrum of the join of several normal matrices with constant row sums. We apply our results to compute the characteristic polynomial of the join of several regular graphs. We then use this theorem to study several problems in spectral graph theory. In particular, we provide some simple constructions of Ramanujan graphs and give new proofs… ▽ More Motivated by studies of oscillator networks, we study the spectrum of the join of several normal matrices with constant row sums. We apply our results to compute the characteristic polynomial of the join of several regular graphs. We then use this theorem to study several problems in spectral graph theory. In particular, we provide some simple constructions of Ramanujan graphs and give new proofs for some theorems in the classical book of Cvetković, Rowlinson, and Slobodan. △ Less

Submitted 8 December, 2024; v1 submitted 8 July, 2022; originally announced July 2022.

Comments: To appear in Mathematica Slovaca

MSC Class: 05C50; 15B05; 15A18

Classification of Consistent Systems of Handlebody Group Representations

Authors: Lukas Müller, Lukas Woike

Abstract: The classifying spaces of handlebody groups form a modular operad. Algebras over the handlebody operad yield systems of representations of handlebody groups that are compatible with gluing. We prove that algebras over the modular operad of handlebodies with values in an arbitrary symmetric monoidal bicategory $\mathcal{M}$ (we introduce for these the name ansular functor) are equivalent to self-du… ▽ More The classifying spaces of handlebody groups form a modular operad. Algebras over the handlebody operad yield systems of representations of handlebody groups that are compatible with gluing. We prove that algebras over the modular operad of handlebodies with values in an arbitrary symmetric monoidal bicategory $\mathcal{M}$ (we introduce for these the name ansular functor) are equivalent to self-dual balanced braided algebras in $\mathcal{M}$. After specialization to a linear framework, this proves that consistent systems of handlebody group representations on finite-dimensional vector spaces are equivalent to ribbon Grothendieck-Verdier categories in the sense of Boyarchenko-Drinfeld. Additionally, it produces a concrete formula for the vector space assigned to an arbitrary handlebody in terms of a generalization of Lyubashenko's coend. Our main result can be used to obtain an ansular functor from vertex operator algebras subject to mild finiteness conditions. This includes examples of vertex operator algebras whose representation category has a non-exact monoidal product. △ Less

Submitted 7 November, 2023; v1 submitted 19 January, 2022; originally announced January 2022.

Comments: 27 pages, 3 figures; v3: some changes throughout, mostly additional explanations in response to reports

Report number: CPH-GEOTOP-DNRF151

Journal ref: Int. Math. Res. Not. rnad178, 2023

The Diffeomorphism Group of the Solid Closed Torus and Hochschild Homology

Authors: Lukas Müller, Lukas Woike

Abstract: We prove that for a self-injective ribbon Grothendieck-Verdier category $\mathcal{C}$ in the sense of Boyarchenko-Drinfeld the cyclic action on the Hochschild complex of $\mathcal{C}$ extends to an action of the diffeomorphism group of the solid closed torus $\mathbb{S}^1 \times \mathbb{D}^2$. We prove that for a self-injective ribbon Grothendieck-Verdier category $\mathcal{C}$ in the sense of Boyarchenko-Drinfeld the cyclic action on the Hochschild complex of $\mathcal{C}$ extends to an action of the diffeomorphism group of the solid closed torus $\mathbb{S}^1 \times \mathbb{D}^2$. △ Less

Submitted 30 June, 2023; v1 submitted 11 January, 2022; originally announced January 2022.

Comments: v1: 12 pages; v2: minor changes

Report number: CPH-GEOTOP-DNRF151

Journal ref: Proc. Amer. Math. Soc. 151(6):2311-2324, 2023

Nonlinear lumped-parameter models for blood flow simulations in networks of vessels

Authors: Beatrice Ghitti, Eleuterio F. Toro, Lucas O. Müller

Abstract: To address the issue of computational efficiency related to the modelling of blood flow in complex networks, we derive a family of nonlinear lumped-parameter models for blood flow in compliant vessels departing from a well-established one-dimensional model. These 0D models must preserve important nonlinear properties of the original 1D model: the nonlinearity of the pressure-area relation and the… ▽ More To address the issue of computational efficiency related to the modelling of blood flow in complex networks, we derive a family of nonlinear lumped-parameter models for blood flow in compliant vessels departing from a well-established one-dimensional model. These 0D models must preserve important nonlinear properties of the original 1D model: the nonlinearity of the pressure-area relation and the pressure-dependent parameters characterizing the 0D models, the resistance $R$ and the inductance $L$, defined in terms of a time-dependent cross-sectional area subject to pressure changes. We introduce suitable coupling conditions to join 0D vessels through 0D junctions and construct 0D networks preserving the original 1D network topology. The newly derived nonlinear 0D models are then applied to several arterial networks and the predicted results are compared against (i) the reference 1D results, to validate the models and assess their ability to reproduce good approximations of pressure and flow waveforms in all vessels at a much lower computational cost, measured in terms of CPU time, and (ii) the linear 0D results, to evaluate the improvement gained by including certain nonlinearities in the 0D models, in terms of agreement with the 1D results. △ Less

Submitted 5 January, 2022; originally announced January 2022.

MSC Class: 76-10; 35L65; 65M08

Spectral perturbation by rank one matrices

Authors: Jon Merzel, Jan Minac, Lyle Muller, Federico W. Pasini, Tung T. Nguyen

Abstract: Let $A$ be a matrix of size $n \times n$ over an algebraically closed field $F$ and $q(t)$ a monic polynomial of degree $n$. In this article, we describe the necessary and sufficient conditions of $q(t)$ so that there exists a rank one matrix $B$ such that the characteristic polynomial of $A+B$ is $q(t)$. Let $A$ be a matrix of size $n \times n$ over an algebraically closed field $F$ and $q(t)$ a monic polynomial of degree $n$. In this article, we describe the necessary and sufficient conditions of $q(t)$ so that there exists a rank one matrix $B$ such that the characteristic polynomial of $A+B$ is $q(t)$. △ Less

Submitted 20 November, 2021; originally announced November 2021.

Comments: Comments are welcome!

MSC Class: Linear and multilinear algebra; matrix theory

Joins of circulant matrices

Authors: Jacqueline Doan, Jan Minac, Lyle Muller, Tung T. Nguyen, Federico W. Pasini

Abstract: We study the spectrum of the join of several circulant matrices. We apply our results to compute explicitly the spectrum of certain graphs obtained by joining several circulant graphs. We study the spectrum of the join of several circulant matrices. We apply our results to compute explicitly the spectrum of certain graphs obtained by joining several circulant graphs. △ Less

Submitted 9 June, 2022; v1 submitted 19 November, 2021; originally announced November 2021.

Comments: To appear in Linear Algebra and Its Applications

Equilibria in Kuramoto oscillator networks: An algebraic approach

Authors: Tung T. Nguyen, Roberto C. Budzinski, Jacqueline Doan, Federico W. Pasini, Jan Minac, Lyle E. Muller

Abstract: Kuramoto networks constitute a paradigmatic model for the investigation of collective behavior in networked systems. Despite many advances in recent years, many open questions remain on the solutions for systems composed of coupled Kuramoto oscillators on complex networks. In this article, we describe an algebraic method to find equilibrium points for this kind of system without using standard app… ▽ More Kuramoto networks constitute a paradigmatic model for the investigation of collective behavior in networked systems. Despite many advances in recent years, many open questions remain on the solutions for systems composed of coupled Kuramoto oscillators on complex networks. In this article, we describe an algebraic method to find equilibrium points for this kind of system without using standard approximations in the limit of infinite system size or the continuum limit. To do this, we use a recently introduced algebraic approach to the Kuramoto dynamics, which results in an explicitly solvable complex-valued equation that captures the dynamics of the original Kuramoto model. Using this new approach, we obtain equilibria for both the nonlinear original Kuramoto and complex-valued systems. We then completely classify all equilibria in the case of complete graphs originally studied by Kuramoto. Finally, we go on to study equilibria in networks of coupled oscillators with phase lag, in generalized circulant networks, multi-layer networks, and also random networks. △ Less

Submitted 14 September, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: To appear in SIAM Journal on Applied Dynamical Systems (SIADS)

Geometry unites synchrony, chimeras, and waves in nonlinear oscillator networks

Authors: Roberto C. Budzinski, Tung T. Nguyen, Jacqueline Doan, Jan Minac, Terrence J. Sejnowski, Lyle E. Muller

Abstract: One of the simplest mathematical models in the study of nonlinear systems is the Kuramoto model, which describes synchronization in systems from swarms of insects to superconductors. We have recently found a connection between the original, real-valued nonlinear Kuramoto model and a corresponding complex-valued system that permits describing the system in terms of a linear operator and iterative u… ▽ More One of the simplest mathematical models in the study of nonlinear systems is the Kuramoto model, which describes synchronization in systems from swarms of insects to superconductors. We have recently found a connection between the original, real-valued nonlinear Kuramoto model and a corresponding complex-valued system that permits describing the system in terms of a linear operator and iterative update rule. We now use this description to investigate three major synchronization phenomena in Kuramoto networks (phase synchronization, chimera states, and traveling waves), not only in terms of steady state solutions but also in terms of transient dynamics and individual simulations. These results provide new mathematical insight into how sophisticated behaviors arise from connection patterns in nonlinear networked systems. △ Less

Submitted 30 March, 2022; v1 submitted 3 November, 2021; originally announced November 2021.

Comments: Final version, published in Chaos: An Interdisciplinary Journal of Nonlinear Science

Journal ref: Chaos 32, 031104 (2022)

Finite symmetries of quantum character stacks

Authors: Corina Keller, Lukas Müller

Abstract: For a finite group $D$, we study categorical factorisation homology on oriented surfaces equipped with principal $D$-bundles, which `integrates' a (linear) balanced braided category $\mathcal{A}$ with $D$-action over those surfaces. For surfaces with at least one boundary component, we identify the value of factorisation homology with the category of modules over an explicit algebra in… ▽ More For a finite group $D$, we study categorical factorisation homology on oriented surfaces equipped with principal $D$-bundles, which `integrates' a (linear) balanced braided category $\mathcal{A}$ with $D$-action over those surfaces. For surfaces with at least one boundary component, we identify the value of factorisation homology with the category of modules over an explicit algebra in $\mathcal{A}$, extending the work of Ben-Zvi, Brochier and Jordan to surfaces with $D$-bundles. Furthermore, we show that the value of factorisation homology on annuli, boundary conditions, and point defects can be described in terms of equivariant representation theory. Our main example comes from an action of Dynkin diagram automorphisms on representation categories of quantum groups. We show that in this case factorisation homology gives rise to a quantisation of the moduli space of flat twisted bundles. △ Less

Submitted 15 May, 2023; v1 submitted 26 July, 2021; originally announced July 2021.

Comments: 39 pages, 14 figures, comments welcome; references for twisted bundles updated

An algebraic approach to the Kuramoto model

Authors: Lyle Muller, Ján Minác, Tung T. Nguyen

Abstract: We study the Kuramoto model with attractive sine coupling. We introduce a complex-valued matrix formulation whose argument coincides with the original Kuramoto dynamics. We derive an exact solution for the complex-valued model, which permits analytical insight into individual realizations of the Kuramoto model. The existence of a complex-valued form of the Kuramoto model provides a key demonstrati… ▽ More We study the Kuramoto model with attractive sine coupling. We introduce a complex-valued matrix formulation whose argument coincides with the original Kuramoto dynamics. We derive an exact solution for the complex-valued model, which permits analytical insight into individual realizations of the Kuramoto model. The existence of a complex-valued form of the Kuramoto model provides a key demonstration that, in some cases, re-formulations of nonlinear dynamics in higher-order number fields may provide tractable analytical approaches. △ Less

Submitted 13 August, 2021; v1 submitted 11 May, 2021; originally announced May 2021.

Comments: Published in Physical Review E, Volume. 104, No. 2

Journal ref: August 2021 issue of Physical Review E (Vol. 104, No. 2)

Wolstenholme Type Congruences and Framing of Rational 2-Functions

Authors: L. Felipe Müller

Abstract: We show that the framing of $2$-sequences whose generating functions are rational integrate to $3$-sequences. To do so, we give a generalization of Wolstenholme's Theorem. We show that the framing of $2$-sequences whose generating functions are rational integrate to $3$-sequences. To do so, we give a generalization of Wolstenholme's Theorem. △ Less

Submitted 21 April, 2021; originally announced April 2021.

STENCIL-NET: Data-driven solution-adaptive discretization of partial differential equations

Authors: Suryanarayana Maddu, Dominik Sturm, Bevan L. Cheeseman, Christian L. Müller, Ivo F. Sbalzarini

Abstract: Numerical methods for approximately solving partial differential equations (PDE) are at the core of scientific computing. Often, this requires high-resolution or adaptive discretization grids to capture relevant spatio-temporal features in the PDE solution, e.g., in applications like turbulence, combustion, and shock propagation. Numerical approximation also requires knowing the PDE in order to co… ▽ More Numerical methods for approximately solving partial differential equations (PDE) are at the core of scientific computing. Often, this requires high-resolution or adaptive discretization grids to capture relevant spatio-temporal features in the PDE solution, e.g., in applications like turbulence, combustion, and shock propagation. Numerical approximation also requires knowing the PDE in order to construct problem-specific discretizations. Systematically deriving such solution-adaptive discrete operators, however, is a current challenge. Here we present STENCIL-NET, an artificial neural network architecture for data-driven learning of problem- and resolution-specific local discretizations of nonlinear PDEs. STENCIL-NET achieves numerically stable discretization of the operators in an unknown nonlinear PDE by spatially and temporally adaptive parametric pooling on regular Cartesian grids, and by incorporating knowledge about discrete time integration. Knowing the actual PDE is not necessary, as solution data is sufficient to train the network to learn the discrete operators. A once-trained STENCIL-NET model can be used to predict solutions of the PDE on larger spatial domains and for longer times than it was trained for, hence addressing the problem of PDE-constrained extrapolation from data. To support this claim, we present numerical experiments on long-term forecasting of chaotic PDE solutions on coarse spatio-temporal grids. We also quantify the speed-up achieved by substituting base-line numerical methods with equation-free STENCIL-NET predictions on coarser grids with little compromise on accuracy. △ Less

Submitted 18 January, 2021; v1 submitted 15 January, 2021; originally announced January 2021.

c-lasso -- a Python package for constrained sparse and robust regression and classification

Authors: Léo Simpson, Patrick L. Combettes, Christian L. Müller

Abstract: We introduce c-lasso, a Python package that enables sparse and robust linear regression and classification with linear equality constraints. The underlying statistical forward model is assumed to be of the following form: \[ y = X β+ σε\qquad \textrm{subject to} \qquad Cβ=0 \] Here, $X \in \mathbb{R}^{n\times d}$is a given design matrix and the vector $y \in \mathbb{R}^{n}$ is a continuous or bina… ▽ More We introduce c-lasso, a Python package that enables sparse and robust linear regression and classification with linear equality constraints. The underlying statistical forward model is assumed to be of the following form: \[ y = X β+ σε\qquad \textrm{subject to} \qquad Cβ=0 \] Here, $X \in \mathbb{R}^{n\times d}$is a given design matrix and the vector $y \in \mathbb{R}^{n}$ is a continuous or binary response vector. The matrix $C$ is a general constraint matrix. The vector $β\in \mathbb{R}^{d}$ contains the unknown coefficients and $σ$ an unknown scale. Prominent use cases are (sparse) log-contrast regression with compositional data $X$, requiring the constraint $1_d^T β= 0$ (Aitchion and Bacon-Shone 1984) and the Generalized Lasso which is a special case of the described problem (see, e.g, (James, Paulson, and Rusmevichientong 2020), Example 3). The c-lasso package provides estimators for inferring unknown coefficients and scale (i.e., perspective M-estimators (Combettes and Müller 2020a)) of the form \[ \min_{β\in \mathbb{R}^d, σ\in \mathbb{R}_{0}} f\left(Xβ- y,σ \right) + λ\left\lVert β\right\rVert_1 \qquad \textrm{subject to} \qquad Cβ= 0 \] for several convex loss functions $f(\cdot,\cdot)$. This includes the constrained Lasso, the constrained scaled Lasso, and sparse Huber M-estimators with linear equality constraints. △ Less

Submitted 2 November, 2020; originally announced November 2020.

Cyclic framed little disks algebras, Grothendieck-Verdier duality and handlebody group representations

Authors: Lukas Müller, Lukas Woike

Abstract: We characterize cyclic algebras over the associative and the framed little 2-disks operad in any symmetric monoidal bicategory. The cyclicity is appropriately treated in a coherent way, i.e. up to coherent isomorphism. When the symmetric monoidal bicategory is specified to be a certain symmetric monoidal bicategory of linear categories subject to finiteness conditions, we prove that cyclic associa… ▽ More We characterize cyclic algebras over the associative and the framed little 2-disks operad in any symmetric monoidal bicategory. The cyclicity is appropriately treated in a coherent way, i.e. up to coherent isomorphism. When the symmetric monoidal bicategory is specified to be a certain symmetric monoidal bicategory of linear categories subject to finiteness conditions, we prove that cyclic associative and cyclic framed little 2-disks algebras, respectively, are equivalent to pivotal Grothendieck-Verdier categories and ribbon Grothendieck-Verdier categories, a type of category that was introduced by Boyarchenko-Drinfeld based on Barr's notion of a $\star$-autonomous category. We use these results and Costello's modular envelope construction to obtain two applications to quantum topology: I) We extract a consistent system of handlebody group representations from any ribbon Grothendieck-Verdier category inside a certain symmetric monoidal bicategory of linear categories and show that this generalizes the handlebody part of Lyubashenko's mapping class group representations. II) We establish a Grothendieck-Verdier duality for the category extracted from a modular functor by evaluation on the circle (without any assumption on semisimplicity), thereby generalizing results of Tillmann and Bakalov-Kirillov. △ Less

Submitted 25 June, 2022; v1 submitted 20 October, 2020; originally announced October 2020.

Comments: 66 pages, lots of figures and diagrams; v3: minor changes in terminology to be consistent with follow-up papers (ribbon GV instead of balanced braided GV, auxiliary notion of self-dual algebra), comment on invertibility of maps of modular algebras included, minor changes in the presentation in several places; v4: some changes following comments by the referee, to appear in Quart. J. Math

Report number: CPH-GEOTOP-DNRF151

Journal ref: Quart. J. Math. 74, Issue 1, 2023,163-245

A direct reconstruction algorithm for the anisotropic inverse conductivity problem based on Calderón's method in the plane

Authors: Rashmi Murthy, Yi-Hsuan Lin, Kwancheol Shin, Jennifer L. Mueller

Abstract: A direct reconstruction algorithm based on Calderón's linearization method for the reconstruction of isotropic conductivities is proposed for anisotropic conductivities in two-dimensions. To overcome the non-uniqueness of the anisotropic inverse conductivity problem, the entries of the unperturbed anisotropic tensors are assumed known \emph{a priori}, and it remains to reconstruct the multiplicati… ▽ More A direct reconstruction algorithm based on Calderón's linearization method for the reconstruction of isotropic conductivities is proposed for anisotropic conductivities in two-dimensions. To overcome the non-uniqueness of the anisotropic inverse conductivity problem, the entries of the unperturbed anisotropic tensors are assumed known \emph{a priori}, and it remains to reconstruct the multiplicative scalar field. The quasi-conformal map in the plane facilitates the Calderón-based approach for anisotropic conductivities. The method is demonstrated on discontinuous radially symmetric conductivities of high and low contrast. △ Less

Submitted 17 July, 2020; originally announced July 2020.

Bounds for Wave Speeds in the Riemann Problem: Direct Theoretical Estimates

Authors: E. F. Toro, L. O. Müller, A. Siviglia

Abstract: In this paper we provide bound estimates for the two fastest wave speeds emerging from the solution of the Riemann problem for three well-known hyperbolic systems, namely the Euler equations of gas dynamics, the shallow water equations and the blood flow equations for arteries. Several approaches are presented, all being direct, that is non-iterative. The resulting bounds range from crude but simp… ▽ More In this paper we provide bound estimates for the two fastest wave speeds emerging from the solution of the Riemann problem for three well-known hyperbolic systems, namely the Euler equations of gas dynamics, the shallow water equations and the blood flow equations for arteries. Several approaches are presented, all being direct, that is non-iterative. The resulting bounds range from crude but simple estimates to accurate but sophisticated estimates that make limited use of information from the solution of the Riemann problem. Through a carefully chosen suite of test problems we asses our wave speed estimates against exact solutions and against previously proposed wave speed estimates. The results confirm that the derived theoretical bounds are actually so, from below and above, for minimal and maximal wave speeds respectively. The results also show that popular previously proposed estimates do not bound the true wave speeds in general. Applications in mind, but not pursued here, include (i) reliable implementation of the Courant condition to determine a stable time step in all explicit methods for hyperbolic equations; (ii) use in local time stepping algorithms and (iii) construction of HLL-type numerical fluxes for hyperbolic equations. △ Less

Submitted 11 May, 2020; originally announced May 2020.

Comments: 37 pages, 18 tables, 4 figures

Smooth 2-Group Extensions and Symmetries of Bundle Gerbes

Authors: Severin Bunk, Lukas Müller, Richard J. Szabo

Abstract: We study bundle gerbes on manifolds $M$ that carry an action of a connected Lie group $G$. We show that these data give rise to a smooth 2-group extension of $G$ by the smooth 2-group of hermitean line bundles on $M$. This 2-group extension classifies equivariant structures on the bundle gerbe, and its non-triviality poses an obstruction to the existence of equivariant structures. We present a new… ▽ More We study bundle gerbes on manifolds $M$ that carry an action of a connected Lie group $G$. We show that these data give rise to a smooth 2-group extension of $G$ by the smooth 2-group of hermitean line bundles on $M$. This 2-group extension classifies equivariant structures on the bundle gerbe, and its non-triviality poses an obstruction to the existence of equivariant structures. We present a new global approach to the parallel transport of a bundle gerbe with connection, and use it to give an alternative construction of this smooth 2-group extension in terms of a homotopy-coherent version of the associated bundle construction. We apply our results to give new descriptions of nonassociative magnetic translations in quantum mechanics and the Faddeev-Mickelsson-Shatashvili anomaly in quantum field theory. We also propose a definition of smooth string 2-group models within our geometric framework. Starting from a basic gerbe on a compact simply-connected Lie group $G$, we prove that the smooth 2-group extensions of $G$ arising from our construction provide new models for the string group of $G$. △ Less

Submitted 16 April, 2021; v1 submitted 28 April, 2020; originally announced April 2020.

Comments: 79 pages, 2 figures; v2: minor corrections, comments and references added; Final version to be published in Communications in Mathematical Physics

Report number: Hamburger Beitrage zur Mathematik Nr. 834, ZMP-HH/20-10, EMPG-20-08

Dimensional Reduction, Extended Topological Field Theories and Orbifoldization

Authors: Lukas Müller, Lukas Woike

Abstract: We prove a decomposition formula for the dimensional reduction of an extended topological field theory that arises as an orbifold of an equivariant topological field theory. Our decomposition formula can be expressed in terms of a categorification of the integral with respect to groupoid cardinality. The application of our result to topological field theories of Dijkgraaf-Witten type proves a rece… ▽ More We prove a decomposition formula for the dimensional reduction of an extended topological field theory that arises as an orbifold of an equivariant topological field theory. Our decomposition formula can be expressed in terms of a categorification of the integral with respect to groupoid cardinality. The application of our result to topological field theories of Dijkgraaf-Witten type proves a recent conjecture of Qiu-Wang. △ Less

Submitted 12 December, 2020; v1 submitted 9 April, 2020; originally announced April 2020.

Comments: 12 pages; very small changes, to appear in Bull. London Math. Soc

Report number: ZMP-HH/20-9; Hamburger Beitraege zur Mathematik Nr. 833

Extended Functorial Field Theories and Anomalies in Quantum Field Theories

Authors: Lukas Müller

Abstract: We develop a general framework for the description of anomalies using extended functorial field theories extending previous work by Freed and Monnier. In this framework, anomalies are described by invertible field theories in one dimension higher and anomalous field theories live on their boundaries. We provide precise mathematical definitions for all concepts involved using the language of symmet… ▽ More We develop a general framework for the description of anomalies using extended functorial field theories extending previous work by Freed and Monnier. In this framework, anomalies are described by invertible field theories in one dimension higher and anomalous field theories live on their boundaries. We provide precise mathematical definitions for all concepts involved using the language of symmetric monoidal bicategories. In particular, field theories with anomalies will be described by symmetric monoidal transformations. The use of higher categorical concepts is necessary to capture the Hamiltonian picture of anomalies. The relation to the path integral and the Hamiltonian description of anomalies will be explained in detail. Furthermore, we discuss anomaly inflow in detail. We apply the general framework to the parity anomaly in fermionic systems coupled to background gauge and gravitational fields on odd-dimensional spacetimes. We use the extension of the Atiyah-Patodi-Singer index theorem to manifolds with corners due to Loya and Melrose to explicitly construct an extended invertible field theory encoding the anomaly. This allows us to compute explicitly the 2-cocycle of the projective representation of the gauge symmetry on the quantum state space. As a second application, we study discrete symmetries of Dijkgraaf-Witten theories and their gauging. Non-abelian group cohomology is used to describe discrete symmetries and we derive concrete conditions for such a symmetry to admit 't Hooft anomalies in terms of the Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a discrete gauge theory with 't Hooft anomaly as a state on the boundary of a higher-dimensional Dijkgraaf-Witten theory. △ Less

Submitted 18 March, 2020; originally announced March 2020.

Comments: 187 pages, PhD Thesis based on arXiv:1709.03860, arXiv:1802.10455 and arXiv:1811.05446

Stability selection enables robust learning of partial differential equations from limited noisy data

Authors: Suryanarayana Maddu, Bevan L. Cheeseman, Ivo F. Sbalzarini, Christian L. Müller

Abstract: We present a statistical learning framework for robust identification of partial differential equations from noisy spatiotemporal data. Extending previous sparse regression approaches for inferring PDE models from simulated data, we address key issues that have thus far limited the application of these methods to noisy experimental data, namely their robustness against noise and the need for manua… ▽ More We present a statistical learning framework for robust identification of partial differential equations from noisy spatiotemporal data. Extending previous sparse regression approaches for inferring PDE models from simulated data, we address key issues that have thus far limited the application of these methods to noisy experimental data, namely their robustness against noise and the need for manual parameter tuning. We address both points by proposing a stability-based model selection scheme to determine the level of regularization required for reproducible recovery of the underlying PDE. This avoids manual parameter tuning and provides a principled way to improve the method's robustness against noise in the data. Our stability selection approach, termed PDE-STRIDE, can be combined with any sparsity-promoting penalized regression model and provides an interpretable criterion for model component importance. We show that in particular the combination of stability selection with the iterative hard-thresholding algorithm from compressed sensing provides a fast, parameter-free, and robust computational framework for PDE inference that outperforms previous algorithmic approaches with respect to recovery accuracy, amount of data required, and robustness to noise. We illustrate the performance of our approach on a wide range of noise-corrupted simulated benchmark problems, including 1D Burgers, 2D vorticity-transport, and 3D reaction-diffusion problems. We demonstrate the practical applicability of our method on real-world data by considering a purely data-driven re-evaluation of the advective triggering hypothesis for an embryonic polarization system in C.~elegans. Using fluorescence microscopy images of C.~elegans zygotes as input data, our framework is able to recover the PDE model for the regulatory reaction-diffusion-flow network of the associated proteins. △ Less

Submitted 17 July, 2019; originally announced July 2019.

Comments: 20 pages, 10 figures and supplementary material included

Symmetry defects and orbifolds of two-dimensional Yang-Mills theory

Authors: Lukas Müller, Richard J. Szabo, Lóránt Szegedy

Abstract: We describe discrete symmetries of two-dimensional Yang-Mills theory with gauge group $G$ associated to outer automorphisms of $G$, and their corresponding defects. We show that the gauge theory partition function with defects can be computed as a path integral over the space of twisted $G$-bundles, and calculate it exactly. We argue that its weak-coupling limit computes the symplectic volume of t… ▽ More We describe discrete symmetries of two-dimensional Yang-Mills theory with gauge group $G$ associated to outer automorphisms of $G$, and their corresponding defects. We show that the gauge theory partition function with defects can be computed as a path integral over the space of twisted $G$-bundles, and calculate it exactly. We argue that its weak-coupling limit computes the symplectic volume of the moduli space of flat twisted $G$-bundles on a surface. Using the defect network approach to generalised orbifolds, we gauge the discrete symmetry and construct the corresponding orbifold theory, which is again two-dimensional Yang-Mills theory but with gauge group given by an extension of $G$ by outer automorphisms. With the help of the orbifold completion of the topological defect bicategory of two-dimensional Yang-Mills theory, we describe the reverse orbifold using a Wilson line defect for the discrete gauge symmetry. We present our results using two complementary approaches: in the lattice regularisation of the path integral, and in the functorial approach to area-dependent quantum field theories with defects via regularised Frobenius algebras. △ Less

Submitted 7 October, 2021; v1 submitted 10 July, 2019; originally announced July 2019.

Comments: 51 pages, 1 table, lots of figures; v2: references added; Final version to be published in Letters in Mathematical Physics

Report number: EMPG-19-17 , Hamburger Beitrage zur Mathematik Nr. 795 , ZMP-HH/19-11

Lectures on Factorization Homology, Infinity-Categories, and Topological Field Theories

Authors: Araminta Amabel, Artem Kalmykov, Lukas Müller, Hiro Lee Tanaka

Abstract: These are notes from an informal mini-course on factorization homology, infinity-categories, and topological field theories. The target audience was imagined to be graduate students who are not homotopy theorists. These are notes from an informal mini-course on factorization homology, infinity-categories, and topological field theories. The target audience was imagined to be graduate students who are not homotopy theorists. △ Less

Submitted 6 October, 2020; v1 submitted 28 June, 2019; originally announced July 2019.

Comments: Preprint of a book of the same title to be published 2021 by SpringerBriefs in Mathematical Physics, reproduced with permission of Springer International Publishing

Journal ref: SpringerBriefs in Mathematical Physics, 2021

Regression models for compositional data: General log-contrast formulations, proximal optimization, and microbiome data applications

Authors: Patrick L. Combettes, Christian L. Müller

Abstract: Compositional data sets are ubiquitous in science, including geology, ecology, and microbiology. In microbiome research, compositional data primarily arise from high-throughput sequence-based profiling experiments. These data comprise microbial compositions in their natural habitat and are often paired with covariate measurements that characterize physicochemical habitat properties or the physiolo… ▽ More Compositional data sets are ubiquitous in science, including geology, ecology, and microbiology. In microbiome research, compositional data primarily arise from high-throughput sequence-based profiling experiments. These data comprise microbial compositions in their natural habitat and are often paired with covariate measurements that characterize physicochemical habitat properties or the physiology of the host. Inferring parsimonious statistical associations between microbial compositions and habitat- or host-specific covariate data is an important step in exploratory data analysis. A standard statistical model linking compositional covariates to continuous outcomes is the linear log-contrast model. This model describes the response as a linear combination of log-ratios of the original compositions and has been extended to the high-dimensional setting via regularization. In this contribution, we propose a general convex optimization model for linear log-contrast regression which includes many previous proposals as special cases. We introduce a proximal algorithm that solves the resulting constrained optimization problem exactly with rigorous convergence guarantees. We illustrate the versatility of our approach by investigating the performance of several model instances on soil and gut microbiome data analysis tasks. △ Less

Submitted 3 March, 2019; originally announced March 2019.

The Little Bundles Operad

Authors: Lukas Müller, Lukas Woike

Abstract: Hurwitz spaces are homotopy quotients of the braid group action on the moduli space of principal bundles over a punctured plane. By considering a certain model for this homotopy quotient we build an aspherical topological operad that we call the little bundles operad. As our main result, we describe this operad as a groupoid-valued operad in terms of generators and relations and prove that the cat… ▽ More Hurwitz spaces are homotopy quotients of the braid group action on the moduli space of principal bundles over a punctured plane. By considering a certain model for this homotopy quotient we build an aspherical topological operad that we call the little bundles operad. As our main result, we describe this operad as a groupoid-valued operad in terms of generators and relations and prove that the categorical little bundles algebras are precisely Turaev's crossed categories. Moreover, we prove that the evaluation on the circle of a homotopical two-dimensional equivariant topolological field theory yields a little bundles algebra up to coherent homotopy. △ Less

Submitted 5 August, 2020; v1 submitted 15 January, 2019; originally announced January 2019.

Comments: 33 pages, 6 figures, lots of diagrams; small changes; final version to appear in Algebr. Geom. Topol

Report number: EMPG-19-02, ZMP-HH/19-1, Hamburger Beitraege zur Mathematik Nr. 771 MSC Class: 18D50; 57R56; 18D10

Journal ref: Algebr. Geom. Topol. 20 (2020) 2029-2070

't Hooft anomalies of discrete gauge theories and non-abelian group cohomology

Authors: Lukas Müller, Richard J. Szabo

Abstract: We study discrete symmetries of Dijkgraaf-Witten theories and their gauging in the framework of (extended) functorial quantum field theory. Non-abelian group cohomology is used to describe discrete symmetries and we derive concrete conditions for such a symmetry to admit 't Hooft anomalies in terms of the Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a discrete gaug… ▽ More We study discrete symmetries of Dijkgraaf-Witten theories and their gauging in the framework of (extended) functorial quantum field theory. Non-abelian group cohomology is used to describe discrete symmetries and we derive concrete conditions for such a symmetry to admit 't Hooft anomalies in terms of the Lyndon-Hochschild-Serre spectral sequence. We give an explicit realization of a discrete gauge theory with 't Hooft anomaly as a state on the boundary of a higher-dimensional Dijkgraaf-Witten theory. This allows us to calculate the 2-cocycle twisting the projective representation of physical symmetries via transgression. We present a general discussion of the bulk-boundary correspondence at the level of partition functions and state spaces, which we make explicit for discrete gauge theories. △ Less

Submitted 4 July, 2019; v1 submitted 13 November, 2018; originally announced November 2018.

Comments: 46 pages, 1 figure; v2: minor corrections and clarifying comments added, references updated; Final version to appear in Communications in Mathematical Physics

Report number: EMPG-18-23

Equivariant Higher Hochschild Homology and Topological Field Theories

Authors: Lukas Müller, Lukas Woike

Abstract: We present a version of higher Hochschild homology for spaces equipped with principal bundles for a structure group $G$. As coefficients, we allow $E_\infty$-algebras with $G$-action. For this homology theory, we establish an equivariant version of excision and prove that it extends to an equivariant topological field theory with values in the $(\infty,1)$-category of cospans of $E_\infty$-algebra… ▽ More We present a version of higher Hochschild homology for spaces equipped with principal bundles for a structure group $G$. As coefficients, we allow $E_\infty$-algebras with $G$-action. For this homology theory, we establish an equivariant version of excision and prove that it extends to an equivariant topological field theory with values in the $(\infty,1)$-category of cospans of $E_\infty$-algebras. △ Less

Submitted 10 May, 2019; v1 submitted 18 September, 2018; originally announced September 2018.

Comments: 26 pages, 2 figures, minor changes, comparison to equivariant factorization homology added; accepted for publication in "Homology, Homotopy and Applications"

Report number: EMPG-18-17 ,ZMP-HH/18-20, Hamburger Beitr\"age zur Mathematik Nr. 751

Perspective Maximum Likelihood-Type Estimation via Proximal Decomposition

Authors: Patrick L. Combettes, Christian L. Müller

Abstract: We introduce an optimization model for maximum likelihood-type estimation (M-estimation) that generalizes a large class of existing statistical models, including Huber's concomitant M-estimator, Owen's Huber/Berhu concomitant estimator, the scaled lasso, support vector machine regression, and penalized estimation with structured sparsity. The model, termed perspective M-estimation, leverages the o… ▽ More We introduce an optimization model for maximum likelihood-type estimation (M-estimation) that generalizes a large class of existing statistical models, including Huber's concomitant M-estimator, Owen's Huber/Berhu concomitant estimator, the scaled lasso, support vector machine regression, and penalized estimation with structured sparsity. The model, termed perspective M-estimation, leverages the observation that convex M-estimators with concomitant scale as well as various regularizers are instances of perspective functions. Such functions are amenable to proximal analysis, which leads to principled and provably convergent optimization algorithms via proximal splitting. Using a geometrical approach based on duality, we derive novel proximity operators for several perspective functions of interest. Numerical experiments on synthetic and real-world data illustrate the broad applicability of the proposed framework. △ Less

Submitted 5 October, 2018; v1 submitted 15 May, 2018; originally announced May 2018.