Norwegian version of this page

Geometric and dynamical properties of rational maps (GrandDrm)

Image may contain: Font, Electric blue, Logo.

About the project

This project touches several both classical and newly formulated questions and topics in mathematics. It aims to achieve a better understanding of open Riemann surfaces (such as open proper subsets of spheres and torus, or many other physical objects which one can see around oneself), specifically on the longstanding question (Forster's conjecture) of whether such open surfaces can be nicely embedded into the complex space of dimension 2. This topic is relevant to recent joint work by the PI on an algebraic analog of Oka's theory. The project also aims to detect whether some special constructed geometric objects (such as finite quotients of Abelian varieties) could be rational varieties, the latter being developed by the masters of geometry in the 19th century. This topic will be used to construct pathological examples of very nice algebraic varieties with transformational groups having very strong properties. The study of transformational groups on rational varieties is used also to construct other pathological examples of selfmaps having less periodic points than expected. One other major question considered in the project is a fairly recent conjecture (based on advancement in dynamical systems in Several Complex Variables) by the PI generalising Weil's Riemann hypothesis. The latter is an algebraic analog of the famous unsolved Riemann hypothesis, and itself has been crucial for the development of Algebraic Geometry and Number Theory since 1960s, and work on its proof has been recognised by Fields medal and Abel's prize to Deligne. The PI has solved a weaker version of the mentioned conjecture in the affirmative, and recently the conjecture has been solved (also in the affirmative) for the special case of Abelian varieties. The knowledge from Dynamical Systems and Geometry aspects of the project can be beneficial to understanding the convergence behaviour of Gradient Descent, a very popular and effective method in optimisation - with many applications.

Objectives and Potential Impacts

The project encompasses the following fields: Dynamical Systems, Several Complex Variables and Algebraic Geometry. It will use Computer Algebra (both formally such as Groebner basis or numerically such as homotopy method in Bertini) in helping to solve large systems of polynomial systems. It can be benefited from and beneficial to Deep Learning. On the one hand, Deep Learning techniques have been now used in Algebraic Geometry to help with giving a first good indication what should be the correct answer in case a precise answer is difficult to obtain (for example, a polynomial system is too big that formal algorithms cannot terminate in a reasonable time). There is also now growing interest in applying Deep Learning to Automated Proof Checking - which when successful will surely influence the whole mathematics and has reciprocal effect to computations and applications (via Curry - Howard correspondence, which roughly says that checking the correctness of mathematical proofs are is the same as programming verification). On the other hand, Deep Learning uses crucially numerical (= iterative) optimisation methods, which are essentially the same as random dynamical systems, and the behaviour of sequences constructed by such numerical methods could be understood by researching the relevant geometric features of the space and the optimisation method under consideration. 

PhD student and Postdoc recruited

Fall 2020 -- current: Fei Hu (postdoc).

Fall 2020 -- current: Viktor Balch Barth (PhD student). 

Conferences/Workshops organised

Spring 2021: Seminar series on (Weil)'s Riemann hypothesis, Standard conjectures (including Hodge's conjecture) and Dynamical systems. Co-organised by Fei Hu and Tuyen Trung Truong. [Seminar's website]

Research visits

<Participating departments/centres, time frame, theoretical basis, scientific method, etc.>

Research visitors

<Participating departments/centres, time frame, theoretical basis, scientific method, etc.>

Publications/Preprints (partially) supported by the project 

Tuyen Trung Truong and (Tuan Hang) Hang-Tuan Nguyen, Backtracking gradient descent method and some applications in Large scale optimisation. Part 1: Theory, accepted in Minimax Theory and its Applications. This is the more theoretical part of arXiv: 1808.05160, with some additional experiments. Accompanying source codes are available on GitHub: [Link] 

Tuyen Trung Truong. Strong sub measures and applications to non-compact dynamical systems, (this is the more dynamical part of arXiv: 1712.02490), accepted in Ergodic Theory and Dynamical Systems. The paper is Open Access. doi.org/10.1017/etds.2020.132  

Tuyen Trung Truong, When will a sequence of points in a Riemannian submanifold converge? (Mostly a survey paper, invited submission.) Special issue "Riemannian geometry of submanifolds", journal: Mathematics (MDPI), 2020, 8 (11), 1934. This is open access [Link to the paper] .

Tuyen Trung Truong and (Tuan Hang) Hang-Tuan Nguyen, Backtracking Gradient Descent method and some applications in Large scale optimisation. Part 2: algorithms and experiments. The main part of the paper is based on the more experimental part of arXiv:1808.05160, together with arXiv:2001.02005 and arXiv:2007.03618. Accompanying source codes are available on GitHub: [Link] Published online in Applied Mathematics and Optimization. The paper is Open Access. doi:10.1007/s00245-020-09718-8.

Tuyen Trung Truong, Some new theoretical and computational results around the Jacobian conjecture, Vol. 31, No. 7 (2020) 2050050, 27 pages. A Mathematica file is available on the arXiv version of the paper. 

 

Source codes

An implementation of Backtracking Gradient descent for Deep Neural Networks:  available on GitHub: [Link] 

A Mathematica file for some computations around the Jacobian conjecture is in the appendix here: [Mathematica's source code]

 

Financing

Research Council of Norway, Independent projects - Young research talent. Project number 300814, total budget 9,8 mill NOK.

Cooperation

Tools

Publications

  • Truong, Tuyen Trung & Nguyen, Hang-Tuan (2022). Backtracking gradient descent method and some applications in Large scale optimisation. Part 1: Theory. Minimax Theory and its Applications. ISSN 2199-1413.
  • Truong, Tuyen Trung & Nguyen, Hang-Tuan (2020). Backtracking Gradient Descent Method and Some Applications in Large Scale Optimisation. Part 2: Algorithms and Experiments. Applied Mathematics and Optimization. ISSN 0095-4616. doi: 10.1007/s00245-020-09718-8. Full text in Research Archive
  • Truong, Tuyen Trung (2020). Some new theoretical and computational results around the Jacobian conjecture. International Journal of Mathematics. ISSN 0129-167X. 31(7). doi: 10.1142/S0129167X20500500. Full text in Research Archive
  • Truong, Tuyen Trung (2020). When will a sequence of points in a Riemannian submanifold converge? Mathematics. ISSN 2227-7390. 8(11). doi: 10.3390/math8111934. Full text in Research Archive
  • Truong, Tuyen Trung (2020). Strong submeasures and applications to non-compact dynamical systems. Ergodic Theory and Dynamical Systems. ISSN 0143-3857. doi: 10.1017/etds.2020.132. Full text in Research Archive

View all works in Cristin

Published Mar. 2, 2020 9:48 PM - Last modified Apr. 14, 2021 10:47 PM