English
Related papers

Related papers: Three-monotone interpolation

200 papers

A $3$-dimensional polytope $P$ is $k$-equiprojective when the projection of $P$ along any line that is not parallel to a facet of $P$ is a polygon with $k$ vertices. In 1968, Geoffrey Shephard asked for a description of all equiprojective…

Metric Geometry · Mathematics 2025-10-06 Théophile Buffière , Lionel Pournin

It is shown that any smooth closed orientable manifold of dimension $2k + 1$, $k \geq 2$, admits a smooth polynomially convex embedding into $\mathbb C^{3k}$. This improves by $1$ the previously known lower bound of $3k+1$ on the possible…

Complex Variables · Mathematics 2020-09-29 Purvi Gupta , Rasul Shafikov

This paper considers the minimization problem of relaxed submodular functions. For a positive integer $k$, a set function is called $k$-distant submodular if the submodular inequality holds for every pair whose symmetric difference is at…

Combinatorics · Mathematics 2025-02-06 Ryuhei Mizutani

Suppose $\mathbb{K}$ is a large enough field and $\mathcal{P} \subset \mathbb{K}^2$ is a fixed, generic set of points which is available for precomputation. We introduce a technique called \emph{reshaping} which allows us to design…

Symbolic Computation · Computer Science 2020-06-05 Vincent Neiger , Johan Rosenkilde , Grigory Solomatov

Let P=(p_1,p_2,...,p_N) be a sequence of points in the plane, where p_i=(x_i,y_i) and x_1<x_2<...<x_N. A famous 1935 Erdos--Szekeres theorem asserts that every such P contains a monotone subsequence S of $\sqrt N$ points. Another, equally…

Computational Geometry · Computer Science 2012-03-23 Marek Elias , Jiri Matousek

We prove a complexity dichotomy theorem for a class of Holant problems on 3-regular bipartite graphs. Given an arbitrary nonnegative weighted symmetric constraint function $f = [x_0, x_1, x_2, x_3]$, we prove that the bipartite Holant…

Computational Complexity · Computer Science 2020-11-19 Austen Z. Fan , Jin-Yi Cai

We study the problem of \emph{robust satisfiability} of systems of nonlinear equations, namely, whether for a given continuous function $f:\,K\to\mathbb{R}^n$ on a~finite simplicial complex $K$ and $\alpha>0$, it holds that each function…

Computational Complexity · Computer Science 2014-02-05 Peter Franek , Marek Krcal

A Boolean $k$-monotone function defined over a finite poset domain ${\cal D}$ alternates between the values $0$ and $1$ at most $k$ times on any ascending chain in ${\cal D}$. Therefore, $k$-monotone functions are natural generalizations of…

Data Structures and Algorithms · Computer Science 2016-09-15 Clément L. Canonne , Elena Grigorescu , Siyao Guo , Akash Kumar , Karl Wimmer

The usual univariate interpolation problem of finding a monic polynomial f of degree n that interpolates n given values is well understood. This paper studies a variant where f is required to be composite, say, a composition of two…

Algebraic Geometry · Mathematics 2021-03-31 Joachim von zur Gathen , Guillermo Matera

We construct polynomial approximations of Dzjadyk type (in terms of the k-th modulus of continuity, $k \ge 1$) for analytic functions defined on a continuum E in the complex plane, which simultaneously interpolate at given points of E.…

Complex Variables · Mathematics 2013-07-23 V. V. Andrievskii , I. E. Pritsker , R. S. Varga

Given a finite point set $P \subset \mathbb{R}^d$, a $k$-ary semi-algebraic relation $E$ on $P$ is the set of $k$-tuples of points in $P$, which is determined by a finite number of polynomial equations and inequalities in $kd$ real…

Combinatorics · Mathematics 2015-10-20 Andrew Suk

Let $f(x)\in {\mathbb Z}[x]$ be a monic polynomial of degree $N$ that is irreducible over ${\mathbb Q}$. We say $f(x)$ is \emph{monogenic} if $\Theta=\{1,\theta,\theta^2,\ldots ,\theta^{N-1}\}$ is a basis for the ring of integers ${\mathbb…

Number Theory · Mathematics 2023-03-31 Lenny Jones

Let $X$ and $M$ be a topological space and metric space, respectively. If $C(X,M)$ denotes the set of all continuous functions from X to M, we say that a subset $Y$ of $X$ is an \emph{$M$-interpolation set} if given any function $g\in M^Y$…

General Topology · Mathematics 2018-04-03 María V. Ferrer , Salvador Hernández , Luis Tárrega

Submodularity is one of the most important properties in combinatorial optimization, and $k$-submodularity is a generalization of submodularity. Maximization of a $k$-submodular function requires an exponential number of value oracle…

Data Structures and Algorithms · Computer Science 2019-07-31 Hiroki Oshima

An algorithm for generating interpolants for formulas which are conjunctions of quadratic polynomial inequalities (both strict and nonstrict) is proposed. The algorithm is based on a key observation that quadratic polynomial inequalities…

Logic in Computer Science · Computer Science 2016-11-14 Ting Gan , Liyun Dai , Bican Xia , Naijun Zhan , Deepak Kapur , Mingshuai Chen

Let $A$ be a square complex matrix, $z_1$, ..., $z_{n}\in\mathbb C$ be (possibly repetitive) points of interpolation, $f$ be analytic in a neighborhood of the convex hull of the union of the spectrum of $A$ and the points $z_1$, ...,…

Numerical Analysis · Mathematics 2019-02-19 V. G. Kurbatov , I. V. Kurbatova

The function f:X -> Y is called k-monotonically increasing if there is a partition X = X_1 U ... U X_k such that f|X_i : X_i -> Y is monotonically increasing for i=1,...,k. It is proved that a one-to-one function f:N -> N is k-monotonically…

Combinatorics · Mathematics 2007-05-23 Melvyn B. Nathanson , Rohit Parikh , Samer Salame

Given a nondecreasing function $f$ on $[-1,1]$, we investigate how well it can be approximated by nondecreasing algebraic polynomials that interpolate it at $\pm 1$. We establish pointwise estimates of the approximation error by such…

Classical Analysis and ODEs · Mathematics 2017-11-21 K. A. Kopotun , D. Leviatan , I. A. Shevchuk

A continous map $f: \mathbb{C}^n \rightarrow \mathbb{C}^N$ is $k$-regular if the image of any $k$ points spans a $k$-dimensional subspace. It is an important problem in topology and interpolation theory, going back to Borsuk and Chebyshev,…

Algebraic Geometry · Mathematics 2015-12-03 Mateusz Michałek , Christopher Miller

We introduce an interpolation--regression operator for polynomial approximation on the unit sphere $\mathbb{S}^2$ from discrete samples. The approximant is a spherical polynomial of degree $r$ which interpolates the data on a prescribed…

Numerical Analysis · Mathematics 2026-05-14 Francesco Dell'Accio , Federico Nudo , Teresa E. Pérez , Miguel A. Piñar
‹ Prev 1 2 3 10 Next ›