Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · cs/0702010

A canonical form for some piecewise defined functions

Jacques Carette
View original source ↗Read source document ↗Export metadata ↓

Abstract

We define a canonical form for piecewise defined functions. We show that this has a wider range of application as well as better complexity properties than previous work.

Explore related subjects

cs.SCcs.MS

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jacques Carette. 2007-02-01. A canonical form for some piecewise defined functions. https://arxiv.org/abs/cs/0702010

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Introducing Barik transform and Barik eliminant: novel tools for solving polynomial equations in the sine and cosine of one variable

Systems of trigonometric equations appear frequently in problems related to geometry, kinematics, computer graphics, robotics, and astronomy, among many other fields. Most often, these are first converted to algebraic equations via the "tangent half-angle" substitution and solved subsequently using various algebraic methods, such as computation of resultants or Gröbner bases. In the process, parametric singularities are introduced in the equations, and their degrees are also doubled. In this article, a novel concept called the "Barik transform" is introduced, which can help solve such a system without encountering these issues, albeit only in systems that contain at least one equation of the first degree in the sine and cosine of the variable to be eliminated. It is shown how Barik transform can produce extremely compact eliminants in closed form, without resorting to any resultant computation.

cs.SC↗
arXiv2026

On computing the determinant over a ring

An algorithm is presented for computing the determinant and the characteristic polynomial of a matrix $A$ over an arbitrary commutative ring R. The algorithm uses $O(n^ω)$ ring additions, subtractions and multiplications, where $ω>2$ is a feasible exponent for matrix multiplication, that is, such that two $n\times n$ matrices over R can be multiplied using $O(n^ω)$ ring operations. The algorithm involves no division and no zero test, and its control depends only on $n$: for each $n$ it is a straight-line program. The approach combines a polynomial matrix point of view and a block Krylov point of view on the characteristic polynomial, which makes Strassen's elimination of divisions efficient. A bivariate matrix $λI-L(t)$, obtained from $A$ by a homotopy, is compressed in $\log n$ steps, each of which halves the dimension while only doubling the degree in $λ$. The cost of the homotopy is controlled by truncating the power series in $t$ at an order that only grows with the compression steps, from a constant to $n$.

cs.SC↗
arXiv2026

Exact certification for conic optimization over quadratic modules: partitions of unity and recession directions

We consider linear conic problems whose cone is a product of truncated quadratic modules, the sum-of-squares (SOS) side of the moment-SOS hierarchy. A floating-point solution is turned into an exact rational certificate in three steps: rounding, repair of each block residual by a constant, and absorption of the constants along a recession direction of the problem. The repair relies on strict partitions of unity in the quadratic modules. We characterize their existence, relate the canonical one to the analytic center of the dual pseudo-moment cone, Christoffel-Darboux polynomials and Pell equations, and we derive closed-form rational partitions for balls and boxes. The loss incurred by the certification is the optimal value of a recession problem, equal to a support function of the masses of the dual feasible pseudomoments. The method is illustrated on polynomial optimization, volume computation and positivity of polynomials along D-finite trajectories.

cs.SC↗