Related papers: Implicitization of rational maps

The symmetric decreasing rearrangement of functions on $\mathbb{R}^n$ features in several seminal inequalities, such as the P\'olya-Szeg\H{o} inequality. The latter was shown by the authors to hold for all smoothing rearrangements, a class…

Mumford--Tate domains parametrize polarized Hodge structures with fixed Mumford--Tate group and play a central role in the geometry of period maps. Their degenerations are governed by nilpotent orbits and limiting mixed Hodge structures,…

In this article we address the first part of the programme presented in \cite{Teleman_arXiv_III}, \S 2; we construct the local $K$- theory level of the index formula. Our construction is sufficiently general to encompass the algebra of…

Given a finite simplicial complex $\mathcal{K}$ in $\mathbb{R}^n$ and a real algebraic variety $Y,$ by a $\mathcal{K}$-regular map $|\mathcal{K}|\rightarrow Y$ we mean a continuous map whose restriction to every simplex in $\mathcal{K}$ is…

The "openness" of a complex polynomial mapping is discussed and applied to the Fundamental Theorem of Algebra. In this category fall proofs of S. Wolfenstein, R.L. Thompson, J. Milnor, and S. Reich-S. Smale. These proofs take into account…

Tropical implicitization means computing the tropicalization of a unirational variety from its parametrization. In the case of a hypersurface, this amounts to finding the Newton polytope of the implicit equation, without computing its…

Let M be a real analytic manifold modeled on a locally convex space and K be a non-empty compact subset of M. We show that if an open neighborhood of K in M admits a complexification which is a regular topological space, then the germ of…

In this article, we consider a bounded pseudoconvex domain in ${\bf C}^2$ satifying: (a) it admits a proper holomorphic mapping $f$ onto the unit ball $B^2$, and (b) it is simply connected and has a real analytic boundary. According to…

Considering a mapping g holomorphic on a neighbourhood of a rationally convex set K in $C^n$, and range into the complex projective space $P^m$, the main objective of this paper is to show that we can uniformly approximate g on K by…

High-order tensor methods that employ Taylor-based local models (of degree $p\ge 3$) within adaptive regularization frameworks have been recently proposed for both convex and nonconvex optimization problems. They have been shown to have…

Let $\mathfrak h$ be a Cartan subalgebra of a complex semisimple Lie algebra $\mathfrak g.$ We define a compactification $\bar {\mathfrak h}$ of $\mathfrak h$, which is analogous to the closure $\bar H$ of the corresponding maximal torus…

In this letter, we propose a novel semi-supervised subspace clustering method, which is able to simultaneously augment the initial supervisory information and construct a discriminative affinity matrix. By representing the limited amount of…

We introduce a cohomology theory of grading-restricted vertex algebras. To construct the {\it correct} cohomologies, we consider linear maps from tensor powers of a grading-restricted vertex algebra to "rational functions valued in the…

We study the problem of finding optimal sparse, manifold-aligned counterfactual explanations for classifiers. Canonically, this can be formulated as an optimization problem with multiple non-convex components, including classifier loss…

A construction due to Kn\"orrer shows that if $N$ is a maximal Cohen-Macaulay module over a hypersurface defined by $f+y^2$, then the first syzygy of $N/yN$ decomposes as the direct sum of $N$ and its own first syzygy. This was extended by…

In the 1980s, category theorists introduced the Lawvere-Tierney $(\leq_{\mathrm{LT}})$ order in the Effective Topos, known to effectively embed the Turing degrees. Understanding its structure is a longstanding open problem in the area. In…

In this paper we develop an optimisation based approach to multivariate Chebyshev approximation on a finite grid. We consider two models: multivariate polynomial approximation and multivariate generalised rational approximation. In the…

Let f : (M,p)\to (M',p') be a formal (holomorphic) nondegenerate map, i.e. with formal holomorphic Jacobian J_f not identically vanishing, between two germs of real analytic generic submanifolds in \C^n, p'=f(p). Assuming the target…

In this paper, we study the Castelnuovo-Mumford regularity of nonlinearly normal embedding of rational surfaces. Let $X$ be a rational surface and let $L \in {Pic}X$ be a very ample line bundle. For a very ample subsystem $V \subset H^0…

Consider a rational map from a projective space to a product of projective spaces, induced by a collection of linear projections. Motivated by the the theory of limit linear series and Abel-Jacobi maps, we study the basic properties of the…