-
$C^\ast$-categorical prefactorization algebras for superselection sectors and topological order
Authors:
Marco Benini,
Victor Carmona,
Pieter Naaijkens,
Alexander Schenkel
Abstract:
This paper presents a conceptual and efficient geometric framework to encode the algebraic structures on the category of superselection sectors of an algebraic quantum field theory on the $n$-dimensional lattice $\mathbb{Z}^n$. It is shown that, under certain assumptions which are implied by Haag duality, the monoidal $C^\ast$-categories of localized superselection sectors carry the structure of a…
▽ More
This paper presents a conceptual and efficient geometric framework to encode the algebraic structures on the category of superselection sectors of an algebraic quantum field theory on the $n$-dimensional lattice $\mathbb{Z}^n$. It is shown that, under certain assumptions which are implied by Haag duality, the monoidal $C^\ast$-categories of localized superselection sectors carry the structure of a locally constant prefactorization algebra over the category of cone-shaped subsets of $\mathbb{Z}^n$. Employing techniques from higher algebra, one extracts from this datum an underlying locally constant prefactorization algebra defined on open disks in the cylinder $\mathbb{R}^1\times\mathbb{S}^{n-1}$. While the sphere $\mathbb{S}^{n-1}$ arises geometrically as the angular coordinates of cones, the origin of the line $\mathbb{R}^1$ is analytic and rooted in Haag duality. The usual braided (for $n=2$) or symmetric (for $n\geq 3$) monoidal $C^\ast$-categories of superselection sectors are recovered by removing a point of the sphere $\mathbb{R}^1\times(\mathbb{S}^{n-1}\setminus\mathrm{pt}) \cong\mathbb{R}^n$ and using the equivalence between $\mathbb{E}_n$-algebras and locally constant prefactorization algebras defined on open disks in $\mathbb{R}^n$. The non-trivial homotopy groups of spheres induce additional algebraic structures on these $\mathbb{E}_n$-monoidal $C^\ast$-categories, which in the case of $\mathbb{Z}^2$ is given by a braided monoidal self-equivalence arising geometrically as a kind of `holonomy' around the circle $\mathbb{S}^1$. The locally constant prefactorization algebra structures discovered in this work generalize, under some mild geometric conditions, to other discrete spaces and thereby provide a clear link between the geometry of the localization regions and the algebraic structures on the category of superselection sectors.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
Light-driven modulation of proximity-enhanced functionalities in hybrid nano-scale systems
Authors:
Mattia Benini,
Umut Parlak,
Sophie Bork,
Jaka Strohsack,
Richard Leven,
David Gutnikov,
Fabian Mertens,
Evgeny Zhukov,
Rajib Kumar Rakshit,
Ilaria Bergenti,
Andrea Droghetti,
Tomaz Mertelj,
Valentin Alek Dediu,
Mirko Cinchetti
Abstract:
Advancing quantum information and communication technology (qICT) requires smaller and faster components with actively controllable functionalities. This work presents a novel strategy for dynamically modulating magnetic properties via proximity effects controlled by light. We demonstrate this concept using hybrid nanoscale systems composed of C60 molecules proximitized to a cobalt metallic ferrom…
▽ More
Advancing quantum information and communication technology (qICT) requires smaller and faster components with actively controllable functionalities. This work presents a novel strategy for dynamically modulating magnetic properties via proximity effects controlled by light. We demonstrate this concept using hybrid nanoscale systems composed of C60 molecules proximitized to a cobalt metallic ferromagnetic surface, where proximity interactions are particularly strong. Our findings show that by inducing excitons in the C60 molecules with resonant ultrashort light pulses, we can significantly modify the interaction at the cobalt/C60 interface, leading to a striking 60% transient shift in the frequency of the dipolar ferromagnetic resonance mode of the Cobalt. This effect, detected via a specifically designed time-resolved magneto-optical Kerr effect (tr-MOKE) experiment, persists on a timescale of hundreds of picoseconds. Since this frequency shift directly correlates with a transient change in the anisotropy field (an essential parameter for technological applications) our findings establish a new paradigm for ultrafast optical control of magnetism at the nanoscale.
△ Less
Submitted 1 April, 2025;
originally announced April 2025.
-
Collapse of the standard ferromagnetic domain structure in hybrid Co/Molecule bilayers
Authors:
Mattia Benini,
Andrei Shumilin,
Rajib Kumar Rakshit,
Antarjami Sahoo,
Anita Halder,
Andrea Droghetti,
Francesco Cugini,
Massimo Solzi,
Diego Bisero,
Patrizio Graziosi,
Alberto Riminucci,
Ilaria Bergenti,
Manju Singh,
Luca Gnoli,
Samuele Sanna,
Tomaz Mertelj,
Viktor Kabanov,
Stefano Sanvito,
V. Alek Dediu
Abstract:
We show that, upon the chemisorption of organic molecules, Co thin films display a number of unique magnetic properties, including the giant magnetic hardening and the violation of the Rayleigh law in magnetization reversal. These novel properties originate from the modification of the surface magnetic anisotropy induced by the molecule/film interaction: the π-d molecule/metal hybridization modifi…
▽ More
We show that, upon the chemisorption of organic molecules, Co thin films display a number of unique magnetic properties, including the giant magnetic hardening and the violation of the Rayleigh law in magnetization reversal. These novel properties originate from the modification of the surface magnetic anisotropy induced by the molecule/film interaction: the π-d molecule/metal hybridization modifies the orbital population of the associated cobalt atoms and induces an additional and randomly oriented local anisotropy. Strong effects arise when the induced surface anisotropy is correlated over scales of a few molecules, and particularly when the correlation length of the random anisotropy field is comparable to the characteristic exchange length. This leads to the collapse of the standard domain structure and to the emergency of a glassy-type ferromagnetic state, defined by blurred pseudo-domains intertwined by diffuse and irregular domain walls. The magnetization reversal in such state was predicted to include topological vortex-like structures, successfully measured in this research by magnetic-force microscopy. Our work shows how the strong electronic interaction of standard components, Co thin films and readily available molecules, can generate structures with remarkable new magnetic properties, and thus opens a new avenue for the design of tailored-on-demand magnetic composites.
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Anomalous hardening of spin waves in cobalt/molecular-semiconductor heterostructures reveals strongly anisotropic spinterface magnetism
Authors:
J. Strohsack,
A. Shumilin,
H. Zhao,
G. Jecl,
V. V. Kabanov,
M. Benini,
R. Rakshit,
V. A. Dediu,
M. Rogers,
S. Ozdemir,
O. Cespedes,
U. Parlak,
M. Cinchetti,
T. Mertelj
Abstract:
The interface between a ferromagnetic metal and an organic molecular semiconductor, commonly referred to as a spinterface, is an important component for advancing spintronic technologies. Hybridization of the ferromagnetic-metal surface d orbitals with the molecular-semiconductor p orbitals induces profound modifications not only in the interfacial molecular layer, but also in the surface ferromag…
▽ More
The interface between a ferromagnetic metal and an organic molecular semiconductor, commonly referred to as a spinterface, is an important component for advancing spintronic technologies. Hybridization of the ferromagnetic-metal surface d orbitals with the molecular-semiconductor p orbitals induces profound modifications not only in the interfacial molecular layer, but also in the surface ferromagnetic-metal atomic layer. These effects are particularly pronounced at low temperatures, manifesting as substantial modifications in the magnetic properties of thin-film magnetic-metal/organic heterostructures. Despite extensive research and interest, the magnetic-ordering and magnetic-properties of the spinterface remain poorly understood. Using ultrafast time-resolved magneto-optical spectroscopy, to investigate the magnetic dynamics in such heterostructures, we unveil the unique spinterface-magnetism and its universality for a broad variety of cobalt/molecular-semiconductor interfaces. In particular, our findings demonstrate the presence of highly anisotropic low-temperature superparamagnetism at the cobalt/molecular-semiconductor spinterface. This anisotropic interfacial superparamagnetism is likely driven by strong chemical modifications in the cobalt interfacial layer caused by the chemisorbed molecular layer. These results highlight the pivotal role of molecular chemisorption in tuning the magnetic properties at spinterfaces, paving the way for future spintronic applications.
△ Less
Submitted 11 December, 2024;
originally announced December 2024.
-
On the equivalence of AQFTs and prefactorization algebras
Authors:
Marco Benini,
Victor Carmona,
Alastair Grant-Stuart,
Alexander Schenkel
Abstract:
This paper revisits the equivalence problem between algebraic quantum field theories and prefactorization algebras defined over globally hyperbolic Lorentzian manifolds. We develop a radically new approach whose main innovative features are 1.) a structural implementation of the additivity property used in earlier approaches and 2.) a reduction of the global equivalence problem to a family of simp…
▽ More
This paper revisits the equivalence problem between algebraic quantum field theories and prefactorization algebras defined over globally hyperbolic Lorentzian manifolds. We develop a radically new approach whose main innovative features are 1.) a structural implementation of the additivity property used in earlier approaches and 2.) a reduction of the global equivalence problem to a family of simpler spacetime-wise problems. When applied to the case where the target category is a symmetric monoidal $1$-category, this yields a generalization of the equivalence theorem from [Commun. Math. Phys. 377, 971 (2019)]. In the case where the target is the symmetric monoidal $\infty$-category of cochain complexes, we obtain a reduction of the global $\infty$-categorical equivalence problem to simpler, but still challenging, spacetime-wise problems. The latter would be solved by showing that certain functors between $1$-categories exhibit $\infty$-localizations, however the available detection criteria are inconclusive in our case.
△ Less
Submitted 10 December, 2024;
originally announced December 2024.
-
Bifurcation for families of Ahlfors island maps
Authors:
Matthieu Astorg,
Anna Miriam Benini,
Nuria Fagella
Abstract:
We extend Mañé-Sad-Sullivan and Lyubich's equivalent characterization of stability to the setting of Ahlfors island maps, which include notably all meromorphic maps. As a consequence we also obtain the density of $J$-stability for finite type maps in the sense of Epstein.
We extend Mañé-Sad-Sullivan and Lyubich's equivalent characterization of stability to the setting of Ahlfors island maps, which include notably all meromorphic maps. As a consequence we also obtain the density of $J$-stability for finite type maps in the sense of Epstein.
△ Less
Submitted 13 February, 2025; v1 submitted 5 October, 2024;
originally announced October 2024.
-
The Denjoy-Wolff Theorem in simply connected domains
Authors:
Anna Miriam Benini,
Filippo Bracci
Abstract:
We characterize the simply connected domains $Ω\subsetneq\mathbb{C}$ that exhibit the Denjoy-Wolff Property, meaning that every holomorphic self-map of $Ω$ without fixed points has a Denjoy-Wolff point. We demonstrate that this property holds if and only if every automorphism of $Ω$ without fixed points in $Ω$ has a Denjoy-Wolff point. Furthermore, we establish that the Denjoy-Wolff Property is eq…
▽ More
We characterize the simply connected domains $Ω\subsetneq\mathbb{C}$ that exhibit the Denjoy-Wolff Property, meaning that every holomorphic self-map of $Ω$ without fixed points has a Denjoy-Wolff point. We demonstrate that this property holds if and only if every automorphism of $Ω$ without fixed points in $Ω$ has a Denjoy-Wolff point. Furthermore, we establish that the Denjoy-Wolff Property is equivalent to the existence of what we term an ``$H$-limit'' at each boundary point for a Riemann map associated with the domain. The $H$-limit condition is stronger than the existence of non-tangential limits but weaker than unrestricted limits. As an additional result of our work, we prove that there exist bounded simply connected domains where the Denjoy-Wolff Property holds but which are not visible in the sense of Bharali and Zimmer. Since visibility is a sufficient condition for the Denjoy-Wolff Property, this proves that in general it is not necessary.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
Derived algebraic geometry of 2d lattice Yang-Mills theory
Authors:
Marco Benini,
Tomás Fernández,
Alexander Schenkel
Abstract:
A derived algebraic geometric study of classical $\mathrm{GL}_n$-Yang-Mills theory on the $2$-dimensional square lattice $\mathbb{Z}^2$ is presented. The derived critical locus of the Wilson action is described and its local data supported in rectangular subsets $V =[a,b]\times [c,d]\subseteq \mathbb{Z}^2$ with both sides of length $\geq 2$ is extracted. A locally constant dg-category-valued prefa…
▽ More
A derived algebraic geometric study of classical $\mathrm{GL}_n$-Yang-Mills theory on the $2$-dimensional square lattice $\mathbb{Z}^2$ is presented. The derived critical locus of the Wilson action is described and its local data supported in rectangular subsets $V =[a,b]\times [c,d]\subseteq \mathbb{Z}^2$ with both sides of length $\geq 2$ is extracted. A locally constant dg-category-valued prefactorization algebra on $\mathbb{Z}^2$ is constructed from the dg-categories of perfect complexes on the derived stacks of local data.
△ Less
Submitted 10 September, 2024;
originally announced September 2024.
-
Shrinking targets and recurrent behaviour for forward compositions of inner functions
Authors:
Anna Miriam Benini,
Vasiliki Evdoridou,
Núria Fagella,
Philip J. Rippon,
Gwyneth M. Stallard
Abstract:
We prove sharp results about recurrent behaviour of orbits of forward compositions of inner functions, inspired by fundamental results about iterates of inner functions, and give examples to illustrate behaviours that cannot occur in the simpler case of iteration.
A result of Fernández, Melián and Pestana gives a precise version of the classical Poincaré recurrence theorem for iterates of the bo…
▽ More
We prove sharp results about recurrent behaviour of orbits of forward compositions of inner functions, inspired by fundamental results about iterates of inner functions, and give examples to illustrate behaviours that cannot occur in the simpler case of iteration.
A result of Fernández, Melián and Pestana gives a precise version of the classical Poincaré recurrence theorem for iterates of the boundary extension of an inner function that fixes~0. We generalise this to forward composition sequences $F_n=f_n\circ \dots\circ f_1,$ $n\in \mathbb{N},$ where $f_n$ are inner functions that fix~0, giving conditions on the contraction of $(F_n)$ so that the radial boundary extension $F_n$ hits any shrinking target of arcs $(I_n)$ of a given size.
Next, Aaronson, and also Doering and Mañé, gave a remarkable dichotomy for iterates of any inner function, showing that the behaviour of the boundary extension is of two entirely different types, depending on the size of the sequence $(|f^n(0)|)$. In earlier work, we showed that one part of this dichotomy holds in the non-autonomous setting of forward compositions.
It turns out that this dichotomy is closely related to the result of Fernández, Melián and Pestana, and here we show that a version of the second part of the dichotomy holds in the non-autonomous setting provided we impose a condition on the contraction of $(F_n)$ in relation to the size of the sequence $(|F_n(0)|)$. The techniques we use include a strong version of the second Borel--Cantelli lemma and strong mixing results of Pommerenke for contracting sequences of inner functions. We give examples to show that the contraction conditions that we need to impose in the non-autonomous setting are best possible.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Haag-Kastler stacks
Authors:
Marco Benini,
Alastair Grant-Stuart,
Alexander Schenkel
Abstract:
This paper provides an alternative implementation of the principle of general local covariance for algebraic quantum field theories (AQFTs) which is more flexible and powerful than the original one by Brunetti, Fredenhagen and Verch. This is realized by considering the $2$-functor $\mathsf{HK} : \mathbf{Loc}^\mathrm{op} \to \mathbf{CAT}$ which assigns to each Lorentzian manifold $M$ the category…
▽ More
This paper provides an alternative implementation of the principle of general local covariance for algebraic quantum field theories (AQFTs) which is more flexible and powerful than the original one by Brunetti, Fredenhagen and Verch. This is realized by considering the $2$-functor $\mathsf{HK} : \mathbf{Loc}^\mathrm{op} \to \mathbf{CAT}$ which assigns to each Lorentzian manifold $M$ the category $\mathsf{HK}(M)$ of Haag-Kastler-style AQFTs over $M$ and to each embedding $f:M\to N$ a pullback functor $f^\ast = \mathsf{HK}(f) : \mathsf{HK}(N) \to \mathsf{HK}(M)$ restricting theories from $N$ to $M$. Locally covariant AQFTs are recovered as the points of the $2$-functor $\mathsf{HK}$. The main advantages of this new perspective are: 1.) It leads to technical simplifications, in particular with regard to the time-slice axiom, since global problems on $\mathbf{Loc}$ become families of simpler local problems on individual Lorentzian manifolds. 2.) Some aspects of the Haag-Kastler framework which previously got lost in locally covariant AQFT, such as a relative compactness condition on the open subsets in a Lorentzian manifold $M$, are reintroduced. 3.) It provides a successful and radically new perspective on descent conditions in AQFT, i.e. local-to-global conditions which allow one to recover a global AQFT on a Lorentzian manifold $M$ from its local data in an open cover $\{U_i \subseteq M\}$.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Gluing algebraic quantum field theories on manifolds
Authors:
Angelos Anastopoulos,
Marco Benini
Abstract:
It has been observed that, given an algebraic quantum field theory (AQFT) on a manifold $M$ and an open cover $\{M_α\}$ of $M$, it is typically not possible to recover the global algebra of observables on $M$ by simply gluing the underlying local algebras subordinate to $\{M_α\}$. Instead of gluing local algebras, we introduce a gluing construction for AQFTs subordinate to $\{M_α\}$ and we show th…
▽ More
It has been observed that, given an algebraic quantum field theory (AQFT) on a manifold $M$ and an open cover $\{M_α\}$ of $M$, it is typically not possible to recover the global algebra of observables on $M$ by simply gluing the underlying local algebras subordinate to $\{M_α\}$. Instead of gluing local algebras, we introduce a gluing construction for AQFTs subordinate to $\{M_α\}$ and we show that for simple examples of AQFTs, constructed out of geometric data, gluing the local AQFTs subordinate to $\{M_α\}$ recovers the global AQFT on $M$.
△ Less
Submitted 11 December, 2024; v1 submitted 15 April, 2024;
originally announced April 2024.
-
Evaluation of Road User Radio-Frequency Exposure Levels in an Urban Environment from Vehicular Antennas and the Infrastructure in ITS-G5 5.9 GHz Communication
Authors:
Martina Benini,
Silvia Gallucci,
Marta Bonato,
Marta Parazzini,
Gabriella Tognola
Abstract:
This study aims to investigate the variability of exposure levels among road users generated in a realistic urban scenario by Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) communication technologies operating at 5.9 GHz. The exposure levels were evaluated in terms of whole-body Specific Absorption Rate (wbSAR) [W/kg] in three different human models, ranging from children to adults.…
▽ More
This study aims to investigate the variability of exposure levels among road users generated in a realistic urban scenario by Vehicle-to-Vehicle (V2V) and Vehicle-to-Infrastructure (V2I) communication technologies operating at 5.9 GHz. The exposure levels were evaluated in terms of whole-body Specific Absorption Rate (wbSAR) [W/kg] in three different human models, ranging from children to adults. We calculated the electromagnetic field exposure level generated by V2V and V2I using raytracing and we assessed wbSAR resulting in urban exposure scenarios with an increasing number of transmitting antennas. Whole-body SAR was generally very low, on the order of 10^-4 W/kg. The maximum wbSAR, of 4.9x10^-4 W/kg, was obtained in the worst-case exposure condition comprising more than one transmitting vehicle and was found in the adult model for a distance within 10 m from the transmitting cars. We found that the height of the human model highly impacted the exposure level. Namely, the child (which is the shortest human model) was generally much less exposed than adults. All the wbSAR values found by varying the number of transmitting antennas, the distance of the road user from the antennas, and the type of human model (adult vs. child) were very well below the limits set by the ICNIRP and IEEE guidelines of 0.08 W/kg for human exposure in the 100 kHz - 300 GHz range.
△ Less
Submitted 8 March, 2024;
originally announced March 2024.
-
Obstructions to the existence of Møller maps
Authors:
Marco Benini,
Alastair Grant-Stuart,
Giorgio Musante,
Alexander Schenkel
Abstract:
Møller maps are identifications between the observables of a perturbatively interacting physical system and the observables of its underlying free (i.e. non-interacting) system. This work studies and characterizes obstructions to the existence of such identifications. The main results are existence and importantly also non-existence theorems, which in particular imply that Møller maps do not exist…
▽ More
Møller maps are identifications between the observables of a perturbatively interacting physical system and the observables of its underlying free (i.e. non-interacting) system. This work studies and characterizes obstructions to the existence of such identifications. The main results are existence and importantly also non-existence theorems, which in particular imply that Møller maps do not exist for non-Abelian Chern-Simons and Yang-Mills theories on globally hyperbolic Lorentzian manifolds.
△ Less
Submitted 1 October, 2024; v1 submitted 31 October, 2023;
originally announced November 2023.
-
Escaping Fatou components with disjoint hyperbolic limit sets
Authors:
Veronica Beltrami,
Anna Miriam Benini,
Alberto Saracco
Abstract:
We construct automorphisms of $\mathbb{C}^2$ with a cycle of escaping Fatou components, on which there are exactly two limit functions, both of rank 1. On each such Fatou component, the limit sets for these limit functions are two disjoint hyperbolic subsets of the line at infinity.
We construct automorphisms of $\mathbb{C}^2$ with a cycle of escaping Fatou components, on which there are exactly two limit functions, both of rank 1. On each such Fatou component, the limit sets for these limit functions are two disjoint hyperbolic subsets of the line at infinity.
△ Less
Submitted 10 August, 2023;
originally announced August 2023.
-
Operads, homotopy theory and higher categories in algebraic quantum field theory
Authors:
Marco Benini,
Alexander Schenkel
Abstract:
This chapter provides a non-technical overview and motivation for the recent interactions between algebraic quantum field theory (AQFT) and rather abstract mathematical disciplines such as operads, model categories and higher categories.
This chapter provides a non-technical overview and motivation for the recent interactions between algebraic quantum field theory (AQFT) and rather abstract mathematical disciplines such as operads, model categories and higher categories.
△ Less
Submitted 5 May, 2023;
originally announced May 2023.
-
Exposure Assessment for Wearable Patch Antenna Arrays at Millimeter Waves
Authors:
Silvia Gallucci,
Marta Bonato,
Martina Benini,
Marta Parazzini,
Maxim Zhadobov
Abstract:
Since the spread of the wearable systems and the implementation of the forthcoming 5G in many devices, the question about the assessment of the exposure in wearable typical usage to millimeter waves is crucial and timely. For such frequencies, the power absorption becomes strongly superficial and involves only the most superficial tissue of the human body, i.e., the skin. In literature there are s…
▽ More
Since the spread of the wearable systems and the implementation of the forthcoming 5G in many devices, the question about the assessment of the exposure in wearable typical usage to millimeter waves is crucial and timely. For such frequencies, the power absorption becomes strongly superficial and involves only the most superficial tissue of the human body, i.e., the skin. In literature there are some models able to describe the layered structure of the skin but, until now, there is no literature consensus on the skin model to employ in computational exposure assessment studies. For these reasons, the present work aimed to simulate four different models of the most superficial tissues with different degree of detail exposed to two wearable patch antennas at different frequencies i.e., 28 GHz and 39 GHz. This allows to investigate the impact that the choice of a layered model rather than the homogeneous one has on the exposure. Simulations were performed through the FDTD method, implemented in the Sim4life platform and the exposure was assessed with the absorbed power density averaged over 1 cm2 and 4 cm2 (Sab). The data showed that the homogeneous model underestimates the peak value of Sab obtained for multi-layer models in the stratum corneum (by 14% to 21% depending on the number of layers of the model and the frequency). This finding was confirmed by an analytical approach with two impinging plane wave TEM-polarized with normal incidence at 28 GHz and 39 GHz respectively. Conversely, there are no substantial differences in the exposure levels between the layered models
△ Less
Submitted 21 March, 2023;
originally announced March 2023.
-
The linear CS/WZW bulk/boundary system in AQFT
Authors:
Marco Benini,
Alastair Grant-Stuart,
Alexander Schenkel
Abstract:
This paper constructs in the framework of algebraic quantum field theory (AQFT) the linear Chern-Simons/Wess-Zumino-Witten system on a class of $3$-manifolds $M$ whose boundary $\partial M$ is endowed with a Lorentzian metric. It is proven that this AQFT is equivalent to a dimensionally reduced AQFT on a $2$-dimensional manifold $B$, whose restriction to the $1$-dimensional boundary $\partial B$ i…
▽ More
This paper constructs in the framework of algebraic quantum field theory (AQFT) the linear Chern-Simons/Wess-Zumino-Witten system on a class of $3$-manifolds $M$ whose boundary $\partial M$ is endowed with a Lorentzian metric. It is proven that this AQFT is equivalent to a dimensionally reduced AQFT on a $2$-dimensional manifold $B$, whose restriction to the $1$-dimensional boundary $\partial B$ is weakly equivalent to a chiral free boson.
△ Less
Submitted 27 June, 2023; v1 submitted 14 February, 2023;
originally announced February 2023.
-
Quantization of Lorentzian free BV theories: factorization algebra vs algebraic quantum field theory
Authors:
Marco Benini,
Giorgio Musante,
Alexander Schenkel
Abstract:
We construct and compare two alternative quantizations, as a time-orderable prefactorization algebra and as an algebraic quantum field theory valued in cochain complexes, of a natural collection of free BV theories on the category of $m$-dimensional globally hyperbolic Lorentzian manifolds. Our comparison is realized as an explicit isomorphism of time-orderable prefactorization algebras. The key i…
▽ More
We construct and compare two alternative quantizations, as a time-orderable prefactorization algebra and as an algebraic quantum field theory valued in cochain complexes, of a natural collection of free BV theories on the category of $m$-dimensional globally hyperbolic Lorentzian manifolds. Our comparison is realized as an explicit isomorphism of time-orderable prefactorization algebras. The key ingredients of our approach are the retarded and advanced Green's homotopies associated with free BV theories, which generalize retarded and advanced Green's operators to cochain complexes of linear differential operators.
△ Less
Submitted 8 February, 2024; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Strictification theorems for the homotopy time-slice axiom
Authors:
Marco Benini,
Victor Carmona,
Alexander Schenkel
Abstract:
It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes the cases of Haag-Kastler-type AQFTs on a fixed globally hyperbolic Lorentzian manifold (with or without time-like boundary), locally covariant conformal AQFTs in two spacetime dimensions, locally covariant AQFTs in one spacet…
▽ More
It is proven that the homotopy time-slice axiom for many types of algebraic quantum field theories (AQFTs) taking values in chain complexes can be strictified. This includes the cases of Haag-Kastler-type AQFTs on a fixed globally hyperbolic Lorentzian manifold (with or without time-like boundary), locally covariant conformal AQFTs in two spacetime dimensions, locally covariant AQFTs in one spacetime dimension, and the relative Cauchy evolution. The strictification theorems established in this paper prove that, under suitable hypotheses that hold true for the examples listed above, there exists a Quillen equivalence between the model category of AQFTs satisfying the homotopy time-slice axiom and the model category of AQFTs satisfying the usual strict time-slice axiom.
△ Less
Submitted 13 February, 2023; v1 submitted 8 August, 2022;
originally announced August 2022.
-
Green hyperbolic complexes on Lorentzian manifolds
Authors:
Marco Benini,
Giorgio Musante,
Alexander Schenkel
Abstract:
We develop a homological generalization of Green hyperbolic operators, called Green hyperbolic complexes, which cover many examples of derived critical loci for gauge-theoretic quadratic action functionals in Lorentzian signature. We define Green hyperbolic complexes through a generalization of retarded and advanced Green's operators, called retarded and advanced Green's homotopies, which are show…
▽ More
We develop a homological generalization of Green hyperbolic operators, called Green hyperbolic complexes, which cover many examples of derived critical loci for gauge-theoretic quadratic action functionals in Lorentzian signature. We define Green hyperbolic complexes through a generalization of retarded and advanced Green's operators, called retarded and advanced Green's homotopies, which are shown to be unique up to a contractible space of choices. We prove homological generalizations of the most relevant features of Green hyperbolic operators, namely that (1) the retarded-minus-advanced cochain map is a quasi-isomorphism, (2) a differential pairing (generalizing the usual fiber-wise metric) on a Green hyperbolic complex leads to covariant and fixed-time Poisson structures and (3) the retarded-minus-advanced cochain map is compatible with these Poisson structures up to homotopy.
△ Less
Submitted 24 July, 2023; v1 submitted 8 July, 2022;
originally announced July 2022.
-
Boundary dynamics for holomorphic sequences, non-autonomous dynamical systems and wandering domains
Authors:
Anna Miriam Benini,
Vasiliki Evdoridou,
Núria Fagella,
Philip J. Rippon,
Gwyneth M. Stallard
Abstract:
There are many classical results, related to the Denjoy--Wolff Theorem, concerning the relationship between orbits of interior points and orbits of boundary points under iterates of holomorphic self-maps of the unit disc. Here, for the first time, we address such questions in the very general setting of sequences $(F_n)$ of holomorphic maps between simply connected domains. We show that, while som…
▽ More
There are many classical results, related to the Denjoy--Wolff Theorem, concerning the relationship between orbits of interior points and orbits of boundary points under iterates of holomorphic self-maps of the unit disc. Here, for the first time, we address such questions in the very general setting of sequences $(F_n)$ of holomorphic maps between simply connected domains. We show that, while some classical results can be generalised, with an interesting dependence on the geometry of the domains, a much richer variety of behaviours is possible. Some of our results are new even in the classical setting.
Our methods apply in particular to non-autonomous dynamical systems, when $(F_n)$ are forward compositions of holomorphic maps, and to the study of wandering domains in holomorphic dynamics.
The proofs use techniques from geometric function theory, measure theory and ergodic theory, and the construction of examples involves a `weak independence' version of the second Borel--Cantelli lemma and the concept from ergodic theory of `shrinking targets'.
△ Less
Submitted 27 June, 2023; v1 submitted 11 March, 2022;
originally announced March 2022.
-
Quantization of derived cotangent stacks and gauge theory on directed graphs
Authors:
Marco Benini,
Jonathan P. Pridham,
Alexander Schenkel
Abstract:
We study the quantization of the canonical unshifted Poisson structure on the derived cotangent stack $T^\ast[X/G]$ of a quotient stack, where $X$ is a smooth affine scheme with an action of a (reductive) smooth affine group scheme $G$. This is achieved through an {é}tale resolution of $T^\ast[X/G]$ by stacky CDGAs that allows for an explicit description of the canonical Poisson structure on…
▽ More
We study the quantization of the canonical unshifted Poisson structure on the derived cotangent stack $T^\ast[X/G]$ of a quotient stack, where $X$ is a smooth affine scheme with an action of a (reductive) smooth affine group scheme $G$. This is achieved through an {é}tale resolution of $T^\ast[X/G]$ by stacky CDGAs that allows for an explicit description of the canonical Poisson structure on $T^\ast[X/G]$ and of the dg-category of modules quantizing it. These techniques are applied to construct a dg-category-valued prefactorization algebra that quantizes a gauge theory on directed graphs.
△ Less
Submitted 16 July, 2024; v1 submitted 25 January, 2022;
originally announced January 2022.
-
Homotopy theory of net representations
Authors:
Angelos Anastopoulos,
Marco Benini
Abstract:
The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net Quillen adjunction between the model categories of net representations, which is furthermore a Quillen equivalence when the morphism is a weak equivalence. These tech…
▽ More
The homotopy theory of representations of nets of algebras over a (small) category with values in a closed symmetric monoidal model category is developed. We illustrate how each morphism of nets of algebras determines a change-of-net Quillen adjunction between the model categories of net representations, which is furthermore a Quillen equivalence when the morphism is a weak equivalence. These techniques are applied in the context of homotopy algebraic quantum field theory with values in cochain complexes. In particular, an explicit construction is presented that produces constant net representations for Maxwell $p$-forms on a fixed oriented and time-oriented globally hyperbolic Lorentzian manifold.
△ Less
Submitted 14 October, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
A skeletal model for 2d conformal AQFTs
Authors:
Marco Benini,
Luca Giorgetti,
Alexander Schenkel
Abstract:
A simple model for the localization of the category $\mathbf{CLoc}_2$ of oriented and time-oriented globally hyperbolic conformal Lorentzian $2$-manifolds at all Cauchy morphisms is constructed. This provides an equivalent description of $2$-dimensional conformal algebraic quantum field theories (AQFTs) satisfying the time-slice axiom in terms of only two algebras, one for the $2$-dimensional Mink…
▽ More
A simple model for the localization of the category $\mathbf{CLoc}_2$ of oriented and time-oriented globally hyperbolic conformal Lorentzian $2$-manifolds at all Cauchy morphisms is constructed. This provides an equivalent description of $2$-dimensional conformal algebraic quantum field theories (AQFTs) satisfying the time-slice axiom in terms of only two algebras, one for the $2$-dimensional Minkowski spacetime and one for the flat cylinder, together with a suitable action of two copies of the orientation preserving embeddings of oriented $1$-manifolds. The latter result is used to construct adjunctions between the categories of $2$-dimensional and chiral conformal AQFTs whose right adjoints formalize and generalize Rehren's chiral observables.
△ Less
Submitted 30 June, 2022; v1 submitted 2 November, 2021;
originally announced November 2021.
-
Bifurcation loci of families of finite type meromorphic maps
Authors:
Matthieu Astorg,
Anna Miriam Benini,
Núria Fagella
Abstract:
We show that $J-$ stability is open and dense in natural families of meromorphic maps of one complex variable with a finite number of singular values, and even more generally, to finite type maps. This extends the results of Mañé-Sad-Sullivan for rational maps of the Riemann sphere and those of Eremenko and Lyubich for entire maps of finite type of the complex plane, and essentially closes the pro…
▽ More
We show that $J-$ stability is open and dense in natural families of meromorphic maps of one complex variable with a finite number of singular values, and even more generally, to finite type maps. This extends the results of Mañé-Sad-Sullivan for rational maps of the Riemann sphere and those of Eremenko and Lyubich for entire maps of finite type of the complex plane, and essentially closes the problem of density of structural stability for holomorphic dynamical systems in one complex variable with finitely many singular values. This result is obtained as a consequence of a detailed study of a new type of bifurcation that arises with the presence of both poles and essential singularities (namely periodic orbits exiting the domain of definition of the map along a parameter curve), and in particular its relation with the bifurcations in the dynamics of singular values. The presence of these new bifurcation parameters require essentially different methods to those used in previous work for rational or entire maps.
△ Less
Submitted 19 September, 2023; v1 submitted 6 July, 2021;
originally announced July 2021.
-
Classical BV formalism for group actions
Authors:
Marco Benini,
Pavel Safronov,
Alexander Schenkel
Abstract:
We study the derived critical locus of a function $f:[X/G]\to \mathbb{A}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f) \simeq [Z/G]$ is a derived quotient stack for a derived affine scheme $Z$, whose dg-algebra of functions is described explicitly. Our results generalize the classical BV fo…
▽ More
We study the derived critical locus of a function $f:[X/G]\to \mathbb{A}_{\mathbb{K}}^1$ on the quotient stack of a smooth affine scheme $X$ by the action of a smooth affine group scheme $G$. It is shown that $\mathrm{dCrit}(f) \simeq [Z/G]$ is a derived quotient stack for a derived affine scheme $Z$, whose dg-algebra of functions is described explicitly. Our results generalize the classical BV formalism in finite dimensions from Lie algebra to group actions.
△ Less
Submitted 22 September, 2021; v1 submitted 30 April, 2021;
originally announced April 2021.
-
A vehicle routing problem for biological sample transportation in healthcare: mathematical formulations and a metaheuristic approach
Authors:
Mario Benini,
Paolo Detti,
Garazi Zabalo Manrique de Lara
Abstract:
In this paper, a real-world transportation problem is addressed, concerning the collection and the transportation of biological sample tubes from sampling points to a main hospital. Blood and other biological samples are collected in different centers during morning hours. Then, the samples are transported to the main hospital, for their analysis, by a fleet of vehicles located in geographically d…
▽ More
In this paper, a real-world transportation problem is addressed, concerning the collection and the transportation of biological sample tubes from sampling points to a main hospital. Blood and other biological samples are collected in different centers during morning hours. Then, the samples are transported to the main hospital, for their analysis, by a fleet of vehicles located in geographically distributed depots. Each sample has a limited lifetime and must arrive to the main hospital within that time. If a sample cannot arrive to the hospital within the lifetime, either is discarded or must be processed in dedicated facilities called Spoke Centers.Two Mixed Integer Linear Programming formulations and an Adaptive Large Neighborhood Search (ALNS) metaheuristic algorithm have been developed for the problem. Computational experiments on different sets of instances based on real-life data provided by the Local Healthcare Authority of Bologna, Italy, are presented. A comparison on small instances with the optimal solutions obtained by the formulations shows the effectiveness of the proposed ALNS algorithm. On real-life instances, different batching policies of the samples are evaluated. The results show that the ALNS algorithm is able to find solutions in which all the samples are delivered on time, while in the real case about the 40% [5] of the samples is delivered late.
△ Less
Submitted 12 March, 2021;
originally announced April 2021.
-
Dynamics of transcendental Hénon maps III: Infinite entropy
Authors:
Leandro Arosio,
Anna Miriam Benini,
John Erik Fornæss,
Han Peters
Abstract:
Very little is currently known about the dynamics of non-polynomial entire maps in several complex variables. The family of transcendental Hénon maps offers the potential of combining ideas from transcendental dynamics in one variable, and the dynamics of polynomial Hénon maps in two. Here we show that these maps all have infinite topological and measure theoretic entropy. The proof also implies t…
▽ More
Very little is currently known about the dynamics of non-polynomial entire maps in several complex variables. The family of transcendental Hénon maps offers the potential of combining ideas from transcendental dynamics in one variable, and the dynamics of polynomial Hénon maps in two. Here we show that these maps all have infinite topological and measure theoretic entropy. The proof also implies the existence of infinitely many periodic orbits of any order greater than two.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
Invariant escaping Fatou components with two rank 1 limit functions for automorphisms of $\mathbb{C}^2$
Authors:
Anna Miriam Benini,
Alberto Saracco,
Michela Zedda
Abstract:
We construct automorphisms of $\mathbb{C}^2$, and more precisely transcendental Hénon maps, with an invariant escaping Fatou component which has exactly two distinct limit functions, both of (generic) rank 1. We also prove a general growth lemma for the norm of points in orbits belonging to invariant escaping Fatou components for automorphisms of the form $F(z,w)=(g(z,w),z)$ with…
▽ More
We construct automorphisms of $\mathbb{C}^2$, and more precisely transcendental Hénon maps, with an invariant escaping Fatou component which has exactly two distinct limit functions, both of (generic) rank 1. We also prove a general growth lemma for the norm of points in orbits belonging to invariant escaping Fatou components for automorphisms of the form $F(z,w)=(g(z,w),z)$ with $g(z,w):\mathbb{C}^2\rightarrow\mathbb{C}$ holomorphic.
△ Less
Submitted 5 November, 2020;
originally announced November 2020.
-
Smooth 1-dimensional algebraic quantum field theories
Authors:
Marco Benini,
Marco Perin,
Alexander Schenkel
Abstract:
This paper proposes a refinement of the usual concept of algebraic quantum field theories (AQFTs) to theories that are smooth in the sense that they assign to every smooth family of spacetimes a smooth family of observable algebras. Using stacks of categories, this proposal is realized concretely for the simplest case of 1-dimensional spacetimes, leading to a stack of smooth 1-dimensional AQFTs. C…
▽ More
This paper proposes a refinement of the usual concept of algebraic quantum field theories (AQFTs) to theories that are smooth in the sense that they assign to every smooth family of spacetimes a smooth family of observable algebras. Using stacks of categories, this proposal is realized concretely for the simplest case of 1-dimensional spacetimes, leading to a stack of smooth 1-dimensional AQFTs. Concrete examples of smooth AQFTs, of smooth families of smooth AQFTs and of equivariant smooth AQFTs are constructed. The main open problems that arise in upgrading this approach to higher dimensions and gauge theories are identified and discussed.
△ Less
Submitted 26 October, 2021; v1 submitted 26 October, 2020;
originally announced October 2020.
-
Homotopical analysis of 4d Chern-Simons theory and integrable field theories
Authors:
Marco Benini,
Alexander Schenkel,
Benoit Vicedo
Abstract:
This paper provides a detailed study of $4$-dimensional Chern-Simons theory on $\mathbb{R}^2 \times \mathbb{C}P^1$ for an arbitrary meromorphic $1$-form $ω$ on $\mathbb{C}P^1$. Using techniques from homotopy theory, the behaviour under finite gauge transformations of a suitably regularised version of the action proposed by Costello and Yamazaki is investigated. Its gauge invariance is related to b…
▽ More
This paper provides a detailed study of $4$-dimensional Chern-Simons theory on $\mathbb{R}^2 \times \mathbb{C}P^1$ for an arbitrary meromorphic $1$-form $ω$ on $\mathbb{C}P^1$. Using techniques from homotopy theory, the behaviour under finite gauge transformations of a suitably regularised version of the action proposed by Costello and Yamazaki is investigated. Its gauge invariance is related to boundary conditions on the surface defects located at the poles of $ω$ that are determined by isotropic Lie subalgebras of a certain defect Lie algebra. The groupoid of fields satisfying such a boundary condition is proved to be equivalent to a groupoid that implements the boundary condition through a homotopy pullback, leading to the appearance of edge modes. The latter perspective is used to clarify how integrable field theories arise from $4$-dimensional Chern-Simons theory.
△ Less
Submitted 19 January, 2022; v1 submitted 4 August, 2020;
originally announced August 2020.
-
Categorification of algebraic quantum field theories
Authors:
Marco Benini,
Marco Perin,
Alexander Schenkel,
Lukas Woike
Abstract:
This paper develops a concept of 2-categorical algebraic quantum field theories (2AQFTs) that assign locally presentable linear categories to spacetimes. It is proven that ordinary AQFTs embed as a coreflective full 2-subcategory into the 2-category of 2AQFTs. Examples of 2AQFTs that do not come from ordinary AQFTs via this embedding are constructed by a local gauging construction for finite group…
▽ More
This paper develops a concept of 2-categorical algebraic quantum field theories (2AQFTs) that assign locally presentable linear categories to spacetimes. It is proven that ordinary AQFTs embed as a coreflective full 2-subcategory into the 2-category of 2AQFTs. Examples of 2AQFTs that do not come from ordinary AQFTs via this embedding are constructed by a local gauging construction for finite groups, which admits a physical interpretation in terms of orbifold theories. A categorification of Fredenhagen's universal algebra is developed and also computed for simple examples of 2AQFTs.
△ Less
Submitted 12 March, 2021; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Classifying simply connected wandering domains
Authors:
Anna Miriam Benini,
Vasiliki Evdoridou,
Núria Fagella,
Philip J. Rippon,
Gwyneth M. Stallard
Abstract:
While the dynamics of transcendental entire functions in periodic Fatou components and in multiply connected wandering domains are well understood, the dynamics in simply connected wandering domains have so far eluded classification. We give a detailed classification of the dynamics in such wandering domains in terms of the hyperbolic distances between iterates and also in terms of the behaviour o…
▽ More
While the dynamics of transcendental entire functions in periodic Fatou components and in multiply connected wandering domains are well understood, the dynamics in simply connected wandering domains have so far eluded classification. We give a detailed classification of the dynamics in such wandering domains in terms of the hyperbolic distances between iterates and also in terms of the behaviour of orbits in relation to the boundaries of the wandering domains. In establishing these classifications, we obtain new results of wider interest concerning non-autonomous forward dynamical systems of holomorphic self maps of the unit disk. We also develop a new general technique for constructing examples of bounded, simply connected wandering domains with prescribed internal dynamics, and a criterion to ensure that the resulting boundaries are Jordan curves. Using this technique, based on approximation theory, we show that all of the nine possible types of simply connected wandering domain resulting from our classifications are indeed realizable.
△ Less
Submitted 10 October, 2019;
originally announced October 2019.
-
A bound on the number of rationally invisible repelling orbits
Authors:
Anna Miriam Benini,
Núria Fagella
Abstract:
We consider entire transcendental maps with bounded set of singular values such that periodic rays exist and land. For such maps, we prove a refined version of the Fatou-Shishikura inequality which takes into account rationally invisible periodic orbits, that is, repelling cycles which are not landing points of any periodic ray. More precisely, if there are $q<\infty$ singular orbits, then the sum…
▽ More
We consider entire transcendental maps with bounded set of singular values such that periodic rays exist and land. For such maps, we prove a refined version of the Fatou-Shishikura inequality which takes into account rationally invisible periodic orbits, that is, repelling cycles which are not landing points of any periodic ray. More precisely, if there are $q<\infty$ singular orbits, then the sum of the number of attracting, parabolic, Siegel, Cremer or rationally invisible orbits is bounded above by $q$. In particular, there are at most $q$ rationally invisible repelling periodic orbits. The techniques presented here also apply to the more general setting in which the function is allowed to have infinitely many singular values.
△ Less
Submitted 29 July, 2019;
originally announced July 2019.
-
Linear Yang-Mills theory as a homotopy AQFT
Authors:
Marco Benini,
Simen Bruinsma,
Alexander Schenkel
Abstract:
It is observed that the shifted Poisson structure (antibracket) on the solution complex of Klein-Gordon and linear Yang-Mills theory on globally hyperbolic Lorentzian manifolds admits retarded/advanced trivializations (analogs of retarded/advanced Green's operators). Quantization of the associated unshifted Poisson structure determines a unique (up to equivalence) homotopy algebraic quantum field…
▽ More
It is observed that the shifted Poisson structure (antibracket) on the solution complex of Klein-Gordon and linear Yang-Mills theory on globally hyperbolic Lorentzian manifolds admits retarded/advanced trivializations (analogs of retarded/advanced Green's operators). Quantization of the associated unshifted Poisson structure determines a unique (up to equivalence) homotopy algebraic quantum field theory (AQFT), i.e. a functor that assigns differential graded $\ast$-algebras of observables and fulfills homotopical analogs of the AQFT axioms. For Klein-Gordon theory the construction is equivalent to the standard one, while for linear Yang-Mills it is richer and reproduces the BRST/BV field content (gauge fields, ghosts and antifields).
△ Less
Submitted 3 December, 2019; v1 submitted 3 June, 2019;
originally announced June 2019.
-
Dynamics of transcendental Hénon maps-II
Authors:
Leandro Arosio,
Anna Miriam Benini,
John Erik Fornæss,
Han Peters
Abstract:
Transcendental Hénon maps are the natural extensions of the well investigated complex polynomial Hénon maps to the much larger class of holomorphic automorphisms. We prove here that transcendental Hénon maps always have non-trivial dynamical behavior, namely that they always admit both periodic and escaping orbits, and that their Julia sets are non-empty and perfect.
Transcendental Hénon maps are the natural extensions of the well investigated complex polynomial Hénon maps to the much larger class of holomorphic automorphisms. We prove here that transcendental Hénon maps always have non-trivial dynamical behavior, namely that they always admit both periodic and escaping orbits, and that their Julia sets are non-empty and perfect.
△ Less
Submitted 27 May, 2019;
originally announced May 2019.
-
Model-independent comparison between factorization algebras and algebraic quantum field theory on Lorentzian manifolds
Authors:
Marco Benini,
Marco Perin,
Alexander Schenkel
Abstract:
This paper investigates the relationship between algebraic quantum field theories and factorization algebras on globally hyperbolic Lorentzian manifolds. Functorial constructions that map between these two types of theories in both directions are developed under certain natural hypotheses, including suitable variants of the local constancy and descent axioms. The main result is an equivalence theo…
▽ More
This paper investigates the relationship between algebraic quantum field theories and factorization algebras on globally hyperbolic Lorentzian manifolds. Functorial constructions that map between these two types of theories in both directions are developed under certain natural hypotheses, including suitable variants of the local constancy and descent axioms. The main result is an equivalence theorem between (Cauchy constant and additive) algebraic quantum field theories and (Cauchy constant, additive and time-orderable) prefactorization algebras.
△ Less
Submitted 3 September, 2019; v1 submitted 8 March, 2019;
originally announced March 2019.
-
Higher Structures in Algebraic Quantum Field Theory
Authors:
Marco Benini,
Alexander Schenkel
Abstract:
A brief overview of the recent developments of operadic and higher categorical techniques in algebraic quantum field theory is given. The relevance of such mathematical structures for the description of gauge theories is discussed.
A brief overview of the recent developments of operadic and higher categorical techniques in algebraic quantum field theory is given. The relevance of such mathematical structures for the description of gauge theories is discussed.
△ Less
Submitted 7 March, 2019;
originally announced March 2019.
-
Entropy of Transcendental entire functions
Authors:
Anna Miriam Benini,
John Erik Fornæss,
Han Peters
Abstract:
We prove that all entire transcendental entire functions have infinite topological entropy.
We prove that all entire transcendental entire functions have infinite topological entropy.
△ Less
Submitted 8 April, 2019; v1 submitted 20 August, 2018;
originally announced August 2018.
-
Infinite entropy for transcendental entire functions with an omitted value
Authors:
Anna Miriam Benini,
John Erik Fornæss,
Han Peters
Abstract:
We prove that entire transcendental holomorphic functions with an omitted value have infinite entropy. A proof for general transcendental entire functions will be given in an upcoming paper.
We prove that entire transcendental holomorphic functions with an omitted value have infinite entropy. A proof for general transcendental entire functions will be given in an upcoming paper.
△ Less
Submitted 6 August, 2018;
originally announced August 2018.
-
Homotopy theory of algebraic quantum field theories
Authors:
Marco Benini,
Alexander Schenkel,
Lukas Woike
Abstract:
Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical model structure and explain the important conceptual and also practical consequences of this result. As a concrete application we provide a derived version of F…
▽ More
Motivated by gauge theory, we develop a general framework for chain complex valued algebraic quantum field theories. Building upon our recent operadic approach to this subject, we show that the category of such theories carries a canonical model structure and explain the important conceptual and also practical consequences of this result. As a concrete application we provide a derived version of Fredenhagen's universal algebra construction, which is relevant e.g. for the BRST/BV formalism. We further develop a homotopy theoretical generalization of algebraic quantum field theory with a particular focus on the homotopy-coherent Einstein causality axiom. We provide examples of such homotopy-coherent theories via (1) smooth normalized cochain algebras on $\infty$-stacks, and (2) fiber-wise groupoid cohomology of a category fibered in groupoids with coefficients in a strict quantum field theory.
△ Less
Submitted 16 January, 2019; v1 submitted 22 May, 2018;
originally announced May 2018.
-
Involutive categories, colored $\ast$-operads and quantum field theory
Authors:
Marco Benini,
Alexander Schenkel,
Lukas Woike
Abstract:
Involutive category theory provides a flexible framework to describe involutive structures on algebraic objects, such as anti-linear involutions on complex vector spaces. Motivated by the prominent role of involutions in quantum (field) theory, we develop the involutive analogs of colored operads and their algebras, named colored $\ast$-operads and $\ast$-algebras. Central to the definition of col…
▽ More
Involutive category theory provides a flexible framework to describe involutive structures on algebraic objects, such as anti-linear involutions on complex vector spaces. Motivated by the prominent role of involutions in quantum (field) theory, we develop the involutive analogs of colored operads and their algebras, named colored $\ast$-operads and $\ast$-algebras. Central to the definition of colored $\ast$-operads is the involutive monoidal category of symmetric sequences, which we obtain from a general product-exponential $2$-adjunction whose right adjoint forms involutive functor categories. For $\ast$-algebras over $\ast$-operads we obtain involutive analogs of the usual change of color and operad adjunctions. As an application, we turn the colored operads for algebraic quantum field theory into colored $\ast$-operads. The simplest instance is the associative $\ast$-operad, whose $\ast$-algebras are unital and associative $\ast$-algebras.
△ Less
Submitted 11 February, 2019; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Click Spam Prevention Model for On-Line Advertisement
Authors:
Nicola Zingirian,
Michele Benini
Abstract:
This paper shows a vulnerability of the pay-per-click accounting of Google Ads and proposes a statistical tradeoff-based approach to manage this vulnerability. The result of this paper is a model to calculate the overhead cost per click necessary to protect the subscribers and a simple algorithm to implement this protection. Simulations validate the correctness of the model and the economical appl…
▽ More
This paper shows a vulnerability of the pay-per-click accounting of Google Ads and proposes a statistical tradeoff-based approach to manage this vulnerability. The result of this paper is a model to calculate the overhead cost per click necessary to protect the subscribers and a simple algorithm to implement this protection. Simulations validate the correctness of the model and the economical applicability.
△ Less
Submitted 7 February, 2018;
originally announced February 2018.
-
Algebraic quantum field theory on spacetimes with timelike boundary
Authors:
Marco Benini,
Claudio Dappiaggi,
Alexander Schenkel
Abstract:
We analyze quantum field theories on spacetimes $M$ with timelike boundary from a model-independent perspective. We construct an adjunction which describes a universal extension to the whole spacetime $M$ of theories defined only on the interior $\mathrm{int}M$. The unit of this adjunction is a natural isomorphism, which implies that our universal extension satisfies Kay's F-locality property. Our…
▽ More
We analyze quantum field theories on spacetimes $M$ with timelike boundary from a model-independent perspective. We construct an adjunction which describes a universal extension to the whole spacetime $M$ of theories defined only on the interior $\mathrm{int}M$. The unit of this adjunction is a natural isomorphism, which implies that our universal extension satisfies Kay's F-locality property. Our main result is the following characterization theorem: Every quantum field theory on $M$ that is additive from the interior (i.e.\ generated by observables localized in the interior) admits a presentation by a quantum field theory on the interior $\mathrm{int}M$ and an ideal of its universal extension that is trivial on the interior. We shall illustrate our constructions by applying them to the free Klein-Gordon field.
△ Less
Submitted 11 May, 2018; v1 submitted 18 December, 2017;
originally announced December 2017.
-
Singular values and non-repelling cycles for entire transcendental maps
Authors:
Anna Miriam Benini,
Núria Fagella
Abstract:
Let $f$ be a map with bounded set of singular values for which periodic dynamic rays exist and land. We prove that each non-repelling cycle is associated to a singular orbit which cannot accumulate on any other non-repelling cycle. When $f$ has finitely many singular values this implies a refinement of the Fatou-Shishikura inequality. Our approach is combinatorial in the spirit of the approach use…
▽ More
Let $f$ be a map with bounded set of singular values for which periodic dynamic rays exist and land. We prove that each non-repelling cycle is associated to a singular orbit which cannot accumulate on any other non-repelling cycle. When $f$ has finitely many singular values this implies a refinement of the Fatou-Shishikura inequality. Our approach is combinatorial in the spirit of the approach used by [Ki00], [BCL+16] for polynomials.
△ Less
Submitted 1 December, 2017;
originally announced December 2017.
-
A landing theorem for entire functions with bounded post-singular sets
Authors:
Anna Miriam Benini,
Lasse Rempe
Abstract:
The Douady-Hubbard landing theorem for periodic external rays is one of the cornerstones of the study of polynomial dynamics. It states that, for a complex polynomial with bounded postcritical set, every periodic external ray lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic point is the landing point of at least one periodic external ray.
We prove an…
▽ More
The Douady-Hubbard landing theorem for periodic external rays is one of the cornerstones of the study of polynomial dynamics. It states that, for a complex polynomial with bounded postcritical set, every periodic external ray lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic point is the landing point of at least one periodic external ray.
We prove an analogue of this theorem for an entire function with bounded postsingular set. If the function has finite order of growth, then it is known that the escaping set contains certain curves called "periodic hairs"; we show that every periodic hair lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic periodic point is the landing point of at least one periodic hair. For a postsingularly bounded entire function of infinite order, such hairs may not exist. Therefore we introduce certain dynamically natural connected sets, called "filaments". We show that every periodic filament lands at a repelling or parabolic periodic point, and conversely every repelling or parabolic periodic point is the landing point of at least one periodic filament.
More generally, we prove that every point of a hyperbolic set is the landing point of a filament.
△ Less
Submitted 3 April, 2023; v1 submitted 29 November, 2017;
originally announced November 2017.
-
A survey on MLC, Rigidity and related topics
Authors:
Anna Miriam Benini
Abstract:
The famous MLC Conjecture states that the Mandelbrot set is locally connected, and it is considered by many to be the central conjecture in one-dimensional complex dynamics. Among others, it implies density of hyperbolicity in the quadratic family $\{z^2+c\}_{c\in\mathbb{C}}$. We describe recent advances on MLC and the relations between MLC, the Density of Hyperbolicity Conjecture, the Rigidity Co…
▽ More
The famous MLC Conjecture states that the Mandelbrot set is locally connected, and it is considered by many to be the central conjecture in one-dimensional complex dynamics. Among others, it implies density of hyperbolicity in the quadratic family $\{z^2+c\}_{c\in\mathbb{C}}$. We describe recent advances on MLC and the relations between MLC, the Density of Hyperbolicity Conjecture, the Rigidity Conjecture, the No Invariant Line Fields Conjecture, and the Triviality of Fibers Conjecture. We treat families of unicritical polynomials and rational maps as well as the exponential family and families of transcendental maps with finitely many singular values.
△ Less
Submitted 5 January, 2018; v1 submitted 28 September, 2017;
originally announced September 2017.
-
Operads for algebraic quantum field theory
Authors:
Marco Benini,
Alexander Schenkel,
Lukas Woike
Abstract:
We construct a colored operad whose category of algebras is the category of algebraic quantum field theories. This is achieved by a construction that depends on the choice of a category, whose objects provide the operad colors, equipped with an additional structure that we call an orthogonality relation. This allows us to describe different types of quantum field theories, including theories on a…
▽ More
We construct a colored operad whose category of algebras is the category of algebraic quantum field theories. This is achieved by a construction that depends on the choice of a category, whose objects provide the operad colors, equipped with an additional structure that we call an orthogonality relation. This allows us to describe different types of quantum field theories, including theories on a fixed Lorentzian manifold, locally covariant theories and also chiral conformal and Euclidean theories. Moreover, because the colored operad depends functorially on the orthogonal category, we obtain adjunctions between categories of different types of quantum field theories. These include novel and interesting constructions, such as time-slicification and local-to-global extensions of quantum field theories. We compare the latter to Fredenhagen's universal algebra.
△ Less
Submitted 17 February, 2020; v1 submitted 25 September, 2017;
originally announced September 2017.
-
Dynamics of transcendental Hénon maps
Authors:
Leandro Arosio,
Anna Miriam Benini,
John Erik Fornaess,
Han Peters
Abstract:
The dynamics of transcendental functions in the complex plane has received a significant amount of attention. In particular much is known about the description of Fatou components. Besides the types of periodic Fatou components that can occur for polynomials, there also exist so-called Baker domains, periodic components where all orbits converge to infinity, as well as wandering domains.
In tryi…
▽ More
The dynamics of transcendental functions in the complex plane has received a significant amount of attention. In particular much is known about the description of Fatou components. Besides the types of periodic Fatou components that can occur for polynomials, there also exist so-called Baker domains, periodic components where all orbits converge to infinity, as well as wandering domains.
In trying to find analogues of these one dimensional results, it is not clear which higher dimensional transcendental maps to consider. In this paper we find inspiration from the extensive work on the dynamics of complex Hénon maps. We introduce the family of transcendental Hénon maps, and study their dynamics, emphasizing the description of Fatou components. We prove that the classification of the recurrent invariant Fatou components is similar to that of polynomial Hénon maps, and we give examples of Baker domains and wandering domains.
△ Less
Submitted 25 May, 2017;
originally announced May 2017.
-
The stack of Yang-Mills fields on Lorentzian manifolds
Authors:
Marco Benini,
Alexander Schenkel,
Urs Schreiber
Abstract:
We provide an abstract definition and an explicit construction of the stack of non-Abelian Yang-Mills fields on globally hyperbolic Lorentzian manifolds. We also formulate a stacky version of the Yang-Mills Cauchy problem and show that its well-posedness is equivalent to a whole family of parametrized PDE problems. Our work is based on the homotopy theoretical approach to stacks proposed in [S. Ho…
▽ More
We provide an abstract definition and an explicit construction of the stack of non-Abelian Yang-Mills fields on globally hyperbolic Lorentzian manifolds. We also formulate a stacky version of the Yang-Mills Cauchy problem and show that its well-posedness is equivalent to a whole family of parametrized PDE problems. Our work is based on the homotopy theoretical approach to stacks proposed in [S. Hollander, Israel J. Math. 163, 93-124 (2008)], which we shall extend by further constructions that are relevant for our purposes. In particular, we will clarify the concretification of mapping stacks to classifying stacks such as $\mathrm{B}G_\mathrm{con}$.
△ Less
Submitted 23 March, 2018; v1 submitted 5 April, 2017;
originally announced April 2017.
