English
Related papers

Related papers: An algorithm computing non solvable spectral radii…

200 papers

We consider the problem of minimizing a convex objective which is the sum of a smooth part, with Lipschitz continuous gradient, and a nonsmooth part. Inspired by various applications, we focus on the case when the nonsmooth part is a…

Optimization and Control · Mathematics 2013-08-28 Ting Kei Pong

The irreducible modules for the parafermion vertex operator algebra associated to any finite dimensional Lie algebra and any positive integer are identified, the quantum dimensions are computed and the fusion rules are determined.

Quantum Algebra · Mathematics 2016-10-18 Chunrui Ai , Chongying Dong , Xiangyu Jiao , Li Ren

We develop a fast algorithm for computing the bound of an Ore polynomial over a skew field, under mild conditions. As an application, we state a criterion for deciding whether a bounded Ore polynomial is irreducible, and we discuss a…

Rings and Algebras · Mathematics 2018-04-12 Jose Gomez-Torrecillas , F. J. Lobillo , Gabriel Navarro

For a cubic rational function with coefficients in a non-archimedean field $K$ whose residue characteristic is $0$ or greater than $3$, there are $2$ possibilities for the shape of its Berkovich ramification locus, considered as an…

Algebraic Geometry · Mathematics 2021-07-15 Reimi Irokawa

We study equations with infinitely many derivatives. Equations of this type form a new class of equations in mathematical physics. These equations originally appeared in p-adic and later in fermionic string theories and their investigation…

Mathematical Physics · Physics 2008-11-26 Yaroslav Volovich

We consider capillary surfaces that are constructed by bounded generating curves. This class of surfaces includes radially symmetric and lower dimensional fluid-fluid interfaces. We use the arc-length representation of the differential…

Numerical Analysis · Mathematics 2022-06-22 Ray Treinen

We show that the joint spectral radius of a finite collection of nonnegative matrices can be bounded by the eigenvalue of a non-linear operator. This eigenvalue coincides with the ergodic constant of a risk-sensitive control problem, or of…

Optimization and Control · Mathematics 2018-05-10 Stephane Gaubert , Nikolas Stott

This paper considers the multi-parametric linear complementarity problem (pLCP) with sufficient matrices. The main result is an algorithm to find a polyhedral decomposition of the set of feasible parameters and to construct a piecewise…

Optimization and Control · Mathematics 2008-07-16 Sebastiano Columbano , Komei Fukuda , Colin Jones

For a square matrix, the range of its Rayleigh quotients is known as the numerical range, which is a compact and convex set by the Toeplitz-Hausdorff theorem. The largest value and the smallest boundary value (in magnitude) of this convex…

Probability · Mathematics 2025-10-06 Zhigang Bao , Giorgio Cipolloni

In this note, we extend the result of \cite{PoulyG16} about the complexity of solving polynomial differential equations over unbounded domains to work with non-rational input. In order to deal with arbitrary input, we phrase the result in…

Computational Complexity · Computer Science 2016-08-02 Amaury Pouly

In this paper, we study the inverse source problem for the biharmonic wave equation. Mathematically, we characterize the radiating sources and non-radiating sources at a fixed wavenumber. We show that a general source can be decomposed into…

Numerical Analysis · Mathematics 2023-07-06 Yan Chang , Yukun Guo , Tao Yin , Yue Zhao

To compute solutions of sparse polynomial systems efficiently we have to exploit the structure of their Newton polytopes. While the application of polyhedral methods naturally excludes solutions with zero components, an irreducible…

Symbolic Computation · Computer Science 2013-10-16 Danko Adrovic , Jan Verschelde

We exhibit an algorithm to compute the strongest polynomial (or algebraic) invariants that hold at each location of a given affine program (i.e., a program having only non-deterministic (as opposed to conditional) branching and all of whose…

Logic in Computer Science · Computer Science 2018-05-03 Ehud Hrushovski , Joël Ouaknine , Amaury Pouly , James Worrell

In recent work, Darmon, Pozzi and Vonk explicitly construct a modular form whose spectral coefficients are $p$-adic logarithms of Gross-Stark units and Stark-Heegner points. Here we describe how this construction gives rise to a practical…

Number Theory · Mathematics 2023-01-24 Håvard Damm-Johnsen

The Vafa-Witten equations (with or without a mass term) constitute a non-linear, first order system of differential equations on a given oriented, compact, Riemannian 4-manifold. Because these are the variational equations of a functional,…

Differential Geometry · Mathematics 2024-07-12 Clifford Henry Taubes

A numerical scheme is presented to solve the one source near field refractor problem to arbitrary precision and it is proved that the scheme terminates in a finite number of iterations. The convergence of the algorithm depends upon proving…

Numerical Analysis · Mathematics 2019-04-26 Cristian E. Gutiérrez , Henok Mawi

In this paper we study spatial analyticity of solutions to the defocusing nonlinear Schr\"odinger equations $iu_t + \Delta u = |u|^{p-1}u$, given initial data which is analytic with fixed radius. It is shown that the uniform radius of…

Analysis of PDEs · Mathematics 2019-08-02 Jaeseop Ahn , Jimyeong Kim , Ihyeok Seo

We present a Python module named PyCheb, to solve the ordinary differential equations by using spectral collocation method. PyCheb incorporates discretization using Chebyshev points, barycentric interpolation and iterate methods. With this…

Mathematical Software · Computer Science 2016-11-07 Shaohui Liu , Tianshi Wang , Youran Zhang

We determine fundamental systems of invariants for complex solvable rigid Lie algebras having nonsplit nilradicals of characteristic sequence $(3,1,..,1)$, these algebras being the natural followers of solvable algebras having Heisenberg…

Rings and Algebras · Mathematics 2009-11-07 Rutwig Campoamor-Stursberg

We completely describe a new domain for abstract interpretation of numerical programs. Fixpoint iteration in this domain is proved to converge to finite precise invariants for (at least) the class of stable linear recursive filters of any…

Logic in Computer Science · Computer Science 2008-07-21 Eric Goubault , Sylvie Putot