Related papers: Computing the Maslov index for large systems

We prove a multiplicity result for a class of strongly indefinite nonlinear second order asymptotically linear systems with Dirichlet boundary conditions. The key idea for the proof is to bring together the classical shooting method and the…

Understanding natural relative motion trajectories is critical to enable fuel-efficient multi-satellite missions operating in complex environments. This paper studies the problem of computing and efficiently parameterizing satellite…

The geometric state of a flat boundary is frequently described using the so-called macroscopic parameters. They are a principal tool for dealing with interfaces at the continuous scale. The paper describes a new method for macroscopic…

We elaborate on the connection between Gel'fand-Kapranov-Zelevinsky systems, de Rham theory for twisted cohomology groups, and Pfaffian equations for Feynman integrals. We propose a novel, more efficient algorithm to compute Macaulay…

We investigate a novel theoretical structure underlying the computation of integration-by-parts relations between Feynman integrals via syzygy-based methods. Building on insights from intersection theory, we analyze the large-$\epsilon$…

We discuss the effective computation of geometric singularities of implicit ordinary differential equations over the real numbers using methods from logic. Via the Vessiot theory of differential equations, geometric singularities can be…

A {\it Lie system} is a nonautonomous system of first-order differential equations admitting a {\it superposition rule}, i.e., a map expressing its general solution in terms of a generic family of particular solutions and some constants.…

The approximate solution of large-scale algebraic Riccati equations is considered. We are interested in approximate solutions which yield a Riccati residual matrix of a particular small rank. It is assumed that such approximate solutions…

We prove a surprising symmetry between the law of the size $G_n$ of the greedy independent set on a uniform Cayley tree $ \mathcal{T}_n$ of size $n$ and that of its complement. We show that $G_n$ has the same law as the number of vertices…

We extend the conductance and canonical paths methods to the setting of general finite Markov chains, including non-reversible non-lazy walks. The new path method is used to show that a known bound for mixing time of a lazy walk on a Cayley…

The Maslov index of a periodic orbit is an important piece in the semiclassical quantization of non-integrable systems, while almost all existing techniques that lead to a rigorous calculation of this index are elaborate and mathematically…

In this paper we generalize the notion of the comparative index for the pair of Lagrangian subspaces which has fundamental applications in oscillation theory of symplectic difference systems and linear differential Hamiltonian systems. We…

We initiate the study of the norm-squared of the momentum map as a rigorous tool in infinite dimensions. In particular, we calculate the Hessian at a critical point, show that it is positive semi-definite along the complexified orbit, and…

We give a formula for the parity of the Maslov index of a triple of Lagrangian subspaces of a skew symmetric bilinear form over the real numbers. We define an index two subcategory (the even subcategory) of a 3-dimensional cobordism…

Large, sparse linear systems are pervasive in modern science and engineering, and Krylov subspace solvers are an established means of solving them. Yet convergence can be slow for ill-conditioned matrices, so practical deployments usually…

Riemannian geometry provides the fundamental framework for optimization on nonlinear spaces such as matrix manifolds, which arise in machine learning, signal processing, and robotics. While the underlying theory is classical, existing…

The inverse problem of the calculus of variations consists in determining if the solutions of a given system of second order differential equations correspond with the solutions of the Euler-Lagrange equations for some regular Lagrangian.…

Persistence diagrams (PDs) are now routinely used to summarize the underlying topology of complex data. Despite several appealing properties, incorporating PDs in learning pipelines can be challenging because their natural geometry is not…

Initial steps in the study of inner expansion properties of infinite Cayley graphs and other infinite graphs, such as hyperbolic ones, are taken, in a flavor similar to the well-known Lipton-Tarjan square root separation result for planar…

In this paper, we study matrix scaling and balancing, which are fundamental problems in scientific computing, with a long line of work on them that dates back to the 1960s. We provide algorithms for both these problems that, ignoring…