-
Data-Informed Mathematical Characterization of Absorption Properties in Artificial and Natural Porous Materials
Authors:
Elishan C. Braun,
Gabriella Bretti,
Melania Di Fazio,
Laura Medeghini,
Mario Pezzella
Abstract:
In this work, we characterize the water absorption properties of selected porous materials through a combined approach that integrates laboratory experiments and mathematical modeling. Specifically, experimental data from imbibition tests on marble, travertine, wackestone and mortar mock-ups are used to inform and validate the mathematical and simulation frameworks. First, a monotonicity-preservin…
▽ More
In this work, we characterize the water absorption properties of selected porous materials through a combined approach that integrates laboratory experiments and mathematical modeling. Specifically, experimental data from imbibition tests on marble, travertine, wackestone and mortar mock-ups are used to inform and validate the mathematical and simulation frameworks. First, a monotonicity-preserving fitting procedure is developed to preprocess the measurements, aiming to reduce noise and mitigate instrumental errors. The imbibition process is then simulated through a partial differential equation model, with parameters calibrated against rough and smoothed data. The proposed procedure appears particularly effective to characterize absorption properties of different materials and it represents a reliable tool for the study and preservation of cultural heritage.
△ Less
Submitted 9 June, 2025;
originally announced June 2025.
-
Excitation for Adaptive Optimal Control of Nonlinear Systems in Differential Games
Authors:
Philipp Karg,
Florian Köpf,
Christian A. Braun,
Sören Hohmann
Abstract:
This work focuses on the fulfillment of the Persistent Excitation (PE) condition for signals which result from transformations by means of polynomials. This is essential e.g. for the convergence of Adaptive Dynamic Programming algorithms due to commonly used polynomial function approximators. As theoretical statements are scarce regarding the nonlinear transformation of PE signals, we propose cond…
▽ More
This work focuses on the fulfillment of the Persistent Excitation (PE) condition for signals which result from transformations by means of polynomials. This is essential e.g. for the convergence of Adaptive Dynamic Programming algorithms due to commonly used polynomial function approximators. As theoretical statements are scarce regarding the nonlinear transformation of PE signals, we propose conditions on the system state such that its transformation by polynomials is PE. To validate our theoretical statements, we develop an exemplary excitation procedure based on our conditions using a feedforward control approach and demonstrate the effectiveness of our method in a nonzero-sum differential game. In this setting, our approach outperforms commonly used probing noise in terms of convergence time and the degree of PE, shown by a numerical example.
△ Less
Submitted 20 January, 2022; v1 submitted 5 May, 2021;
originally announced May 2021.
-
Mass-preserving approximation of a chemotaxis multi-domain transmission model for microfluidic chips
Authors:
E. C. Braun,
G. Bretti,
R. Natalini
Abstract:
The present work was inspired by the recent developments in laboratory experiments made on chip, where culturing of multiple cell species was possible. The model is based on coupled reaction-diffusion-transport equations with chemotaxis, and takes into account the interactions among cell populations and the possibility of drug administration for drug testing effects. Our effort was devoted to the…
▽ More
The present work was inspired by the recent developments in laboratory experiments made on chip, where culturing of multiple cell species was possible. The model is based on coupled reaction-diffusion-transport equations with chemotaxis, and takes into account the interactions among cell populations and the possibility of drug administration for drug testing effects. Our effort was devoted to the development of a simulation tool that is able to reproduce the chemotactic movement and the interactions between different cell species (immune and cancer cells) living in microfluidic chip environment. The main issues faced in this work are the introduction of mass-preserving and positivity-preserving conditions involving the balancing of incoming and outgoing fluxes passing through interfaces between 2D and 1D domains of the chip and the development of mass-preserving and positivity preserving numerical conditions at the external boundaries and at the interfaces between 2D and 1D domains.
△ Less
Submitted 21 July, 2020;
originally announced July 2020.
-
Minimal models of quantum homotopy Lie algebras via the BV-formalism
Authors:
Christopher Braun,
James Maunder
Abstract:
Using the BV-formalism of mathematical physics an explicit construction for the minimal model of a quantum L-infinity-algebra is given as a formal super integral. The approach taken herein to these formal integrals is axiomatic; they can be approached using perturbation theory to obtain combinatorial formulae as shown in the appendix. Additionally, there exists a canonical differential graded Lie…
▽ More
Using the BV-formalism of mathematical physics an explicit construction for the minimal model of a quantum L-infinity-algebra is given as a formal super integral. The approach taken herein to these formal integrals is axiomatic; they can be approached using perturbation theory to obtain combinatorial formulae as shown in the appendix. Additionally, there exists a canonical differential graded Lie algebra morphism mapping formal functions on homology to formal functions on the whole space. An L-infinity-algebra morphism inverse to this differential graded Lie algebra morphism on the level of homology is constructed as a formal super integral.
△ Less
Submitted 2 July, 2018; v1 submitted 28 February, 2017;
originally announced March 2017.
-
Derived localisation of algebras and modules
Authors:
Christopher Braun,
Joseph Chuang,
Andrey Lazarev
Abstract:
For any dg algebra $A$, not necessarily commutative, and a subset $S$ in $H(A)$, the homology of $A$, we construct its derived localisation $L_S(A)$ together with a map $A\to L_S(A)$, well-defined in the homotopy category of dg algebras, which possesses a universal property, similar to that of the ordinary localisation, but formulated in homotopy invariant terms. Even if $A$ is an ordinary ring,…
▽ More
For any dg algebra $A$, not necessarily commutative, and a subset $S$ in $H(A)$, the homology of $A$, we construct its derived localisation $L_S(A)$ together with a map $A\to L_S(A)$, well-defined in the homotopy category of dg algebras, which possesses a universal property, similar to that of the ordinary localisation, but formulated in homotopy invariant terms. Even if $A$ is an ordinary ring, $L_S(A)$ may have non-trivial homology. Unlike the commutative case, the localisation functor does not commute, in general, with homology but instead there is a spectral sequence relating $H(L_S(A))$ and $L_S(H(A))$; this spectral sequence collapses when, e.g. $S$ is an Ore set or when $A$ is a free ring.
We prove that $L_S(A)$ could also be regarded as a Bousfield localisation of $A$ viewed as a left or right dg module over itself. Combined with the results of Dwyer-Kan on simplicial localisation, this leads to a simple and conceptual proof of the topological group completion theorem. Further applications include algebraic $K$-theory, cyclic and Hochschild homology, strictification of homotopy unital algebras, idempotent ideals, the stable homology of various mapping class groups and Kontsevich's graph homology.
△ Less
Submitted 7 September, 2017; v1 submitted 5 May, 2015;
originally announced May 2015.
-
Unimodular homotopy algebras and Chern-Simons theory
Authors:
Christopher Braun,
Andrey Lazarev
Abstract:
Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the structure of an L-infinity algebra whose homotopy type is a homotopy invariant of M. We formulate necessary and sufficient conditions for this L-infinity algebra…
▽ More
Quantum Chern-Simons invariants of differentiable manifolds are analyzed from the point of view of homological algebra. Given a manifold M and a Lie (or, more generally, an L-infinity) algebra g, the vector space H^*(M) \otimes g has the structure of an L-infinity algebra whose homotopy type is a homotopy invariant of M. We formulate necessary and sufficient conditions for this L-infinity algebra to have a quantum lift. We also obtain structural results on unimodular L-infinity algebras and introduce a doubling construction which links unimodular and cyclic L-infinity algebras.
△ Less
Submitted 3 April, 2015; v1 submitted 12 September, 2013;
originally announced September 2013.
-
Homotopy BV algebras in Poisson geometry
Authors:
Christopher Braun,
Andrey Lazarev
Abstract:
We define and study the degeneration property for BV-infinity algebras and show that it implies that the underlying L-infinity algebras are homotopy abelian. The proof is based on a generalisation of the well-known identity Δ(e^x)=e^x(Δ(x)+[x,x]/2) which holds in all BV algebras. As an application we show that the higher Koszul brackets on the cohomology of a manifold supplied with a generalised P…
▽ More
We define and study the degeneration property for BV-infinity algebras and show that it implies that the underlying L-infinity algebras are homotopy abelian. The proof is based on a generalisation of the well-known identity Δ(e^x)=e^x(Δ(x)+[x,x]/2) which holds in all BV algebras. As an application we show that the higher Koszul brackets on the cohomology of a manifold supplied with a generalised Poisson structure all vanish.
△ Less
Submitted 12 September, 2013; v1 submitted 23 April, 2013;
originally announced April 2013.
-
Involutive A-infinity algebras and dihedral cohomology
Authors:
Christopher Braun
Abstract:
We define and study the cohomology theories associated to A-infinity algebras and cyclic A-infinity algebras equipped with an involution, generalising dihedral cohomology to the A-infinity context. Such algebras arise, for example, as unoriented versions of topological conformal field theories. It is well known that Hochschild cohomology and cyclic cohomology govern, in a precise sense, the deform…
▽ More
We define and study the cohomology theories associated to A-infinity algebras and cyclic A-infinity algebras equipped with an involution, generalising dihedral cohomology to the A-infinity context. Such algebras arise, for example, as unoriented versions of topological conformal field theories. It is well known that Hochschild cohomology and cyclic cohomology govern, in a precise sense, the deformation theory of A-infinity algebras and cyclic A-infinity algebras and we give analogous results for the deformation theory in the presence of an involution. We also briefly discuss generalisations of these constructions and results to homotopy algebras over Koszul operads, such as L-infinity algebras or C-infinity algebras equipped with an involution.
△ Less
Submitted 12 September, 2013; v1 submitted 6 September, 2012;
originally announced September 2012.
-
Operads and moduli spaces
Authors:
Christopher Braun
Abstract:
This thesis is concerned with the application of operadic methods, particularly modular operads, to questions arising in the study of moduli spaces of surfaces as well as applications to the study of homotopy algebras and new constructions of 'quantum invariants' of manifolds inspired by ideas originating from physics.
We consider the extension of classical 2-dimensional topological quantum fiel…
▽ More
This thesis is concerned with the application of operadic methods, particularly modular operads, to questions arising in the study of moduli spaces of surfaces as well as applications to the study of homotopy algebras and new constructions of 'quantum invariants' of manifolds inspired by ideas originating from physics.
We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We generalise open topological conformal field theories to open Klein topological conformal field theories and consider various related moduli spaces, in particular deducing a Mobius graph decomposition of the moduli spaces of Klein surfaces, analogous to the ribbon graph decomposition of the moduli spaces of Riemann surfaces.
We also begin a study, in generality, of quantum homotopy algebras, which arise as 'higher genus' versions of classical homotopy algebras. In particular we study the problem of quantum lifting. We consider applications to understanding invariants of manifolds arising in the quantisation of Chern-Simons field theory.
△ Less
Submitted 5 September, 2012;
originally announced September 2012.
-
Moduli spaces of Klein surfaces and related operads
Authors:
Christopher Braun
Abstract:
We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We approach this using the theory of modular operads by introducing a new operad governing associative algebras with involution. This operad is Koszul and we identify the dual dg operad governing A-infinity algebras with involution i…
▽ More
We consider the extension of classical 2-dimensional topological quantum field theories to Klein topological quantum field theories which allow unorientable surfaces. We approach this using the theory of modular operads by introducing a new operad governing associative algebras with involution. This operad is Koszul and we identify the dual dg operad governing A-infinity algebras with involution in terms of Mobius graphs which are a generalisation of ribbon graphs. We then generalise open topological conformal field theories to open Klein topological conformal field theories and give a generators and relations description of the open KTCFT operad. We deduce an analogue of the ribbon graph decomposition of the moduli spaces of Riemann surfaces: a Mobius graph decomposition of the moduli spaces of Klein surfaces (real algebraic curves). The Mobius graph complex then computes the homology of these moduli spaces. We also obtain a different graph complex computing the homology of the moduli spaces of admissible stable symmetric Riemann surfaces which are partial compactifications of the moduli spaces of Klein surfaces.
△ Less
Submitted 5 September, 2012; v1 submitted 30 March, 2010;
originally announced March 2010.
