English
Related papers

Related papers: Constructing Fewer Open Cells by GCD Computation i…

200 papers

We analyze rates of uniform convergence for a class of high-order semi-Lagrangian schemes for first-order, time-dependent partial differential equations on embedded submanifolds of $\mathbb{R}^d$ (including advection equations on surfaces)…

Numerical Analysis · Mathematics 2025-08-15 Thomas Hangelbroek , Christian Rieger , Grady B. Wright

Reducing the computational time required by high-fidelity, full order models (FOMs) for the solution of problems in cardiac mechanics is crucial to allow the translation of patient-specific simulations into clinical practice. While FOMs,…

Numerical Analysis · Mathematics 2022-02-09 Ludovica Cicci , Stefania Fresca , Andrea Manzoni , Alfio Quarteroni

We propose a methodology for studying the performance of common splitting methods through semidefinite programming. We prove tightness of the methodology and demonstrate its value by presenting two applications of it. First, we use the…

Optimization and Control · Mathematics 2020-05-01 Ernest K. Ryu , Adrien B. Taylor , Carolina Bergeling , Pontus Giselsson

While the methodology of band structure unfolding has appeared in several publications, the original derivations of the unfolding formulas can be considerably simplified by using the $k$-projection method. In this work, more transparent…

Materials Science · Physics 2015-07-21 M. Farjam

Probabilistic Cell Decomposition (PCD) is a probabilistic path planning method combining the concepts of approximate cell decomposition with probabilistic sampling. It has been shown that the use of lazy evaluation techniques and supervised…

Robotics · Computer Science 2015-07-15 Frank Lingelbach

This paper is devoted to the general problem of projection onto a polyhedral convex cone generated by a finite set of generators.This problem is reformulated into projection onto the polytope obtained by simple truncation of the original…

Optimization and Control · Mathematics 2020-10-26 Evgeni Nurminski

The goal of this paper is to study approaches to bridge the gap between first-order and second-order type methods for composite convex programs. Our key observations are: i) Many well-known operator splitting methods, such as…

Optimization and Control · Mathematics 2016-09-27 Xiantao Xiao , Yongfeng Li , Zaiwen Wen , Liwei Zhang

Computing reduced-order models using non-intrusive methods is particularly attractive for systems that are simulated using black-box solvers. However, obtaining accurate data-driven models can be challenging, especially if the underlying…

Mathematical Physics · Physics 2024-01-03 Alberto Padovan , Blaine Vollmer , Daniel J. Bodony

Cylindrical algebraic decomposition (CAD) is a key tool for problems in real algebraic geometry and beyond. When using CAD there is often a choice over the variable ordering to use, with some problems infeasible in one ordering but simple…

Symbolic Computation · Computer Science 2015-02-12 Zongyan Huang , Matthew England , David Wilson , James H. Davenport , Lawrence C. Paulson

Cylindrical Algebraic Decompositions (CADs) endowed with additional topological properties have found applications beyond their original logical setting, including algorithmic optimizations in CAD construction, robot motion planning, and…

Algebraic Geometry · Mathematics 2026-01-16 Lucas Michel

Differential (Ore) type polynomials with approximate polynomial coefficients are introduced. These provide a useful representation of approximate differential operators with a strong algebraic structure, which has been used successfully in…

Symbolic Computation · Computer Science 2014-07-25 Mark Giesbrecht , Joseph Haraldson

A new approach is proposed for reconstruction of images from Radon projections. Based on Fourier expansions in orthogonal polynomials of two and three variables, instead of Fourier transforms, the approach provides a new algorithm for the…

Classical Analysis and ODEs · Mathematics 2007-05-23 Yuan Xu

The generator coordinate method (GCM) casts the wavefunction as an integral over a weighted set of non-orthogonal single determinantal states. In principle this representation can be used like the configuration interaction (CI) or shell…

Nuclear Theory · Physics 2015-06-23 Jason L. Stuber

The long-standing problem of minimal projections is addressed from a computational point of view. Techniques to determine bounds on the projection constants of univariate polynomial spaces are presented. The upper bound, produced by a…

Numerical Analysis · Mathematics 2018-01-15 Simon Foucart , Jean-Bernard Lasserre

A new method for calculating the coefficient functions of the operator product expansion is proposed which does not depend explicitly on elementary fields. Coefficient functions are defined entirely in terms of composite operators. The…

High Energy Physics - Phenomenology · Physics 2009-11-11 A. V. Kisselev , V. A. Petrov

Differential (Ore) type polynomials with "approximate" polynomial coefficients are introduced. These provide an effective notion of approximate differential operators, with a strong algebraic structure. We introduce the approximate Greatest…

Symbolic Computation · Computer Science 2019-04-30 Mark Giesbrecht , Joseph Haraldson , Erich Kaltofen

Probabilistic collision detection (PCD) is essential in motion planning for robots operating in unstructured environments, where considering sensing uncertainty helps prevent damage. Existing PCD methods mainly used simplified geometric…

Robotics · Computer Science 2025-08-28 Xiaoli Wang , Sipu Ruan , Xin Meng , Gregory Chirikjian

We propose a black-box approach to reducing large semidefinite programs to a set of smaller semidefinite programs by projecting to random linear subspaces. We evaluate our method on a set of polynomial optimization problems, demonstrating…

Optimization and Control · Mathematics 2025-09-17 Etienne Buehrle , Christoph Stiller

The cyclic group labeled family of quasi-projection operators is used for investigation of decomposition of functions with respect to the cyclic group of order n . Series of new identities thus arising are demonstrated and new perspectives…

General Mathematics · Mathematics 2007-05-23 A. K. Kwasniewski , B. K. Kwasniewski

We describe an algorithm for splitting permutation representations of finite group over fields of characteristic zero into irreducible components. The algorithm is based on the fact that the components of the invariant inner product in…

Representation Theory · Mathematics 2018-03-06 Vladimir V. Kornyak