Automated and Formal Synthesis of Neural Barrier Certificates for Dynamical Models
Peruffo, A
Ahmed, D
Abate, A
Lecture Notes in Computer Science
volume 12651
370-388
(20 Mar 2021)
Mon, 08 May 2023
13:00
13:00
L1
Star-shaped quivers in four dimensions
Shlomo Razamat
(Technion)
Abstract
We will review the notion of across dimension IR dualities. As a concrete example we will discuss such 4d across dimensions dual Lagrangian descriptions of compactifications of the 6d minimal D type conformal matter theory on a sphere with arbitrary number of punctures. The Lagrangian has the form of a ``star shaped quiver'' with the rank of the central node depending on the 6d theory and the number and type of punctures. Using these Lagrangians one can construct across dimensions duals for arbitrary compactifications (any genus and type of punctures) of the D type conformal matter.
Weighted signature kernels
Cass, T
Lyons, T
Xu, X
Annals of Applied Probability
volume 34
issue 1A
585-626
(28 Jan 2024)
Existence of large-data global weak solutions to kinetic models of nonhomogeneous dilute polymeric fluids
He, C
Suli, E
Kinetic and Related Models
volume 17
issue 1
107-161
(14 Apr 2023)
The cosmic Galois group, the sunrise Feynman integral, and the relative
completion of $Γ_1(6)$
Tapušković, M
(30 Mar 2023)
http://arxiv.org/abs/2303.17534v1
completion of $Γ_1(6)$
Parabolic stochastic quantisation of the fractional $Φ^4_3$ model in
the full subcritical regime
Duch, P
Gubinelli, M
Rinaldi, P
(31 Mar 2023)
http://arxiv.org/abs/2303.18112v3
the full subcritical regime
Mon, 24 Apr 2023
15:30
15:30
L5
Coarse embeddings, and yet more ways to avoid them
David Hume
(Bristol)
Abstract
Coarse embeddings (maps between metric spaces whose distortion can be controlled by some function) occur naturally in various areas of pure mathematics, most notably in topology and algebra. It may therefore come as a surprise to discover that it is not known whether there is a coarse embedding of three-dimensional real hyperbolic space into the direct product of a real hyperbolic plane and a 3-regular tree. One reason for this is that there are very few invariants which behave monotonically with respect to coarse embeddings, and thus could be used to obstruct coarse embeddings.
Flattened and wrinkled encapsulated droplets: shape-morphing induced by gravity and evaporation
Ricobelli, D
Al Terke, H
Laaksonen, P
Metrangelo, P
Paananen, A
Ras, R
Ciarletta, P
Vella, D
Physical Review Letters
volume 130
(24 May 2023)
Stein-based preconditioners for weak-constraint 4D-var
Palitta, D
Tabeart, J
Journal of Computational Physics
volume 482
(15 Mar 2023)