Related papers: Telescoping Algorithms for $\Sigma^*$-Extensions v…
We consider optimization problems in which the objective requires an inner loop with many steps or is the limit of a sequence of increasingly costly approximations. Meta-learning, training recurrent neural networks, and optimization of the…
Composite minimization is a powerful framework in large-scale convex optimization, based on decoupling of the objective function into terms with structurally different properties and allowing for more flexible algorithmic design. We…
Atmospheric tomography, the problem of reconstructing atmospheric turbulence profiles from wavefront sensor measurements, is an integral part of many adaptive optics systems used for enhancing the image quality of ground-based telescopes.…
We generalize our recent method for constructing Killing tensors of the second rank to conformal Killing tensors. The method is intended for foliated spacetimes of arbitrary dimension $m$, which have a set of conformal Killing vectors. It…
The study of cosmological correlators, and more generally Feynman integrals, is greatly aided by considering them as solutions to differential equations. Often, such systems of differential equations are reducible, which, broadly speaking,…
Geometric $\sigma$-models have been defined as purely geometric theories of scalar fields coupled to gravity. By construction, these theories possess arbitrarily chosen vacuum solutions. Using this fact, one can build a Kaluza--Klein…
We formalize the observation that the same summability methods converge in a Banach space $X$ and its dual $X^*$. At the same time we determine conditions under which these methods converge in the weak and weak*-topologies on $X$ and $X^*$…
The aim of this paper is to present an explicit reduction algorithm for Hilbert modular groups over arbitrary totally real number fields. An implementation of the algorithm is available to download from [19]. The exposition is…
We outline a new algorithm to solve coupled systems of differential equations in one continuous variable $x$ (resp. coupled difference equations in one discrete variable $N$) depending on a small parameter $\epsilon$: given such a system…
We construct complete sets of invariant quantities that are integrals of motion for two Hamiltonian systems obtained through a reduction procedure, thus proving that these systems are maximally superintegrable. We also discuss the reduction…
The problem of expressing a selfadjoint element that is zero on every bounded trace as a finite sum (or a limit of sums) of commutators is investigated in the setting of C*-algebras of finite nuclear dimension. Upper bounds -- in terms of…
We principally present reductions of certain generalized hypergeometric functions $_3F_2(\pm 1)$ in terms of products of elementary functions. Most of these results have been known for some time, but one of the methods, wherein we…
Conjecturing and theorem proving are activities at the center of mathematical practice and are difficult to separate. In this paper, we propose a framework for completing incomplete conjectures and incomplete proofs. The framework can turn…
A qualitative comparison of total variation like penalties (total variation, Huber variant of total variation, total generalized variation, ...) is made in the context of global seismic tomography. Both penalized and constrained…
Massive sizes of real-world graphs, such as social networks and web graph, impose serious challenges to process and perform analytics on them. These issues can be resolved by working on a small summary of the graph instead . A summary is a…
Hou and Liu developed a telescoping method to prove the congruence of partial sums of P-recursive sequences. We release the requirement on the telescoper and utilize the congruence of the sequence. With this approach, we are able to confirm…
A tower is a sequence of simplicial complexes connected by simplicial maps. We show how to compute a filtration, a sequence of nested simplicial complexes, with the same persistent barcode as the tower. Our approach is based on the coning…
The problem of writing a totally positive element as a sum of squares has a long history in mathematics, going back to Bachet and Lagrange. While for some specific rings (like integers or polynomials over the rationals), there are known…
Let $\mathfrak{g}$ be a semisimple complex Lie algebra of finite dimension and $\mathfrak{h}$ be a semisimple subalgebra. We present an approach to find the branching rules for the pair $\mathfrak{g}\supset\mathfrak{h}$. According to an…
There is consensus that sums $S_n={ {\Sigma }_{k=1}^n R_{0k} e^{i \theta_k}}$ of complex exponential terms, despite their mathematical significance, only possess closed-form representations for specific values of n and special values of…