Bounded Poincaré operators for twisted and BGG complexes
Čap, A
Hu, K
Journal de Mathématiques Pures et Appliquées
volume 179
253-276
(01 Nov 2023)
doi:10.1016/j.matpur.2023.09.008
Data-driven memory-dependent abstractions of dynamical systems
Banse, A
Romao, L
Abate, A
Jungers, R
Proceedings of Machine Learning Research
volume 211
891-902
(01 Jan 2023)
Quantitative Verification with Neural Networks
Abate, A
Edwards, A
Giacobbe, M
Punchihewa, H
Roy, D
Leibniz International Proceedings in Informatics, LIPIcs
volume 279
(01 Sep 2023)
doi:10.4230/LIPIcs.CONCUR.2023.22
Building an alliance to map global supply networks
Pichler, A
Diem, C
Brintrup, A
Lafond, F
Magerman, G
Buiten, G
Choi, T
Carvalho, V
Farmer, J
Thurner, S
Science
volume 382
issue 6668
270-272
(20 Oct 2023)
doi:10.1126/science.adi7521
Gap junctions in Turing-type periodic feather pattern formation
Tseng, C
Woolley, T
Jiang, T
Wu, P
Maini, P
Widelitz, R
Chuong, C
volume 4
issue 04-21
2023.04.15.537019
(16 Apr 2023)
doi:10.1101/2023.04.15.537019
Graphical CSS Code Transformation Using ZX Calculus
Huang, J
Li, S
Yeh, L
Kissinger, A
Mosca, M
Vasmer, M
Electronic Proceedings in Theoretical Computer Science
volume 384
1-19
(30 Aug 2023)
doi:10.4204/eptcs.384.1
Global Synthesis of CNOT Circuits with Holes
Murphy, E
Kissinger, A
Electronic Proceedings in Theoretical Computer Science
volume 384
75-88
(30 Aug 2023)
doi:10.4204/eptcs.384.5
Graphical structures for design and verification of quantum error correction
Chancellor, N
Kissinger, A
Zohren, S
Roffe, J
Horsman, D
Quantum Science and Technology
volume 8
issue 4
(22 Sep 2023)
doi:10.1088/2058-9565/acf157
Thu, 09 Nov 2023
17:00 -
18:00
L3
An effective version of a theorem of Habegger
Gareth Jones
(Manchester)
Abstract
Habegger showed that a subvariety of a fibre power of the Legendre family of elliptic curves contains a Zariski-dense set of special points if and only if it is special. I'll explain this result, and discuss an effective version that Gal Binyamini, Harry Schmidt, Margaret Thomas and I proved.
Thu, 02 Nov 2023
17:00 -
18:00
L3
A group action version of the Elekes-Szabó theorem
Martin Bays (Oxford)
Abstract
I will present a generalisation of the Elekes-Szabó result, that any ternary algebraic relation in characteristic 0 having large intersections with (certain) finite grids must essentially be the graph of a group law, to a version where one obtains an algebraic group action. In the end the conclusion will be similar, but with weaker assumptions. This is recent work with Tingxiang Zou.