Geometric constraint graphs decomposition based on computing graph circuits

Geometric constraint solving is a growing field which plays a paramount role in industrial applications and that is deeply rooted in automated deduction in geometry. In this work we report on an algorithm to solve geometric constraint-based problems by decomposing biconnected graphs. The algorithm is based on recursively splitting the graph through sets with three vertices located on fundamental circuits of the graph. Preliminary practical experiments suggest that the algorithm runtime is at worst quadratic with the total number of vertices in the graph.Postprint (published version

Generating Functions for Coherent Intertwiners

We study generating functions for the scalar products of SU(2) coherent intertwiners, which can be interpreted as coherent spin network evaluations on a 2-vertex graph. We show that these generating functions are exactly summable for different choices of combinatorial weights. Moreover, we identify one choice of weight distinguished thanks to its geometric interpretation. As an example of dynamics, we consider the simple case of SU(2) flatness and describe the corresponding Hamiltonian constraint whose quantization on coherent intertwiners leads to partial differential equations that we solve. Furthermore, we generalize explicitly these Wheeler-DeWitt equations for SU(2) flatness on coherent spin networks for arbitrary graphs.Comment: 31 page

Riemannian Optimization via Frank-Wolfe Methods

We study projection-free methods for constrained Riemannian optimization. In particular, we propose the Riemannian Frank-Wolfe (RFW) method. We analyze non-asymptotic convergence rates of RFW to an optimum for (geodesically) convex problems, and to a critical point for nonconvex objectives. We also present a practical setting under which RFW can attain a linear convergence rate. As a concrete example, we specialize Rfw to the manifold of positive definite matrices and apply it to two tasks: (i) computing the matrix geometric mean (Riemannian centroid); and (ii) computing the Bures-Wasserstein barycenter. Both tasks involve geodesically convex interval constraints, for which we show that the Riemannian "linear oracle" required by RFW admits a closed-form solution; this result may be of independent interest. We further specialize RFW to the special orthogonal group and show that here too, the Riemannian "linear oracle" can be solved in closed form. Here, we describe an application to the synchronization of data matrices (Procrustes problem). We complement our theoretical results with an empirical comparison of Rfw against state-of-the-art Riemannian optimization methods and observe that RFW performs competitively on the task of computing Riemannian centroids.Comment: Under Review. Largely revised version, including an extended experimental section and an application to the special orthogonal group and the Procrustes proble

Contribution to geometric constraint solving in cooperative engineering

Postprint (published version

Scattering Amplitudes and Toric Geometry

In this paper we provide a first attempt towards a toric geometric interpretation of scattering amplitudes. In recent investigations it has indeed been proposed that the all-loop integrand of planar N=4 SYM can be represented in terms of well defined finite objects called on-shell diagrams drawn on disks. Furthermore it has been shown that the physical information of on-shell diagrams is encoded in the geometry of auxiliary algebraic varieties called the totally non negative Grassmannians. In this new formulation the infinite dimensional symmetry of the theory is manifest and many results, that are quite tricky to obtain in terms of the standard Lagrangian formulation of the theory, are instead manifest. In this paper, elaborating on previous results, we provide another picture of the scattering amplitudes in terms of toric geometry. In particular we describe in detail the toric varieties associated to an on-shell diagram, how the singularities of the amplitudes are encoded in some subspaces of the toric variety, and how this picture maps onto the Grassmannian description. Eventually we discuss the action of cluster transformations on the toric varieties. The hope is to provide an alternative description of the scattering amplitudes that could contribute in the developing of this very interesting field of research.Comment: 58 pages, 25 figures, typos corrected, a reference added, to be published in JHE

Tree-decomposable and underconstrained geometric constraint problems

Preprin