SearcharxivSearch

arXiv subjects

Steven B. Damelin

Publications and source records attributed to Steven B. Damelin.

18 recordsLinked to original sources

Uniform Approximation of Functions with Asymmetric Growth and Decay by Deep Weighted Polynomials

Functions that grow without bound on one side of the real line and decay to zero on the other cannot be approximated uniformly by ordinary polynomials on unbounded domains. Motivated by classical weighted polynomial approximation, we introduce a class of one-sided weighted \emph{deep} (composite) polynomial approximants for such asymmetric targets. The weight suppresses polynomial growth on the decaying side, while the composite polynomial remains free to capture growth on the other side. We prove that this mechanism reduces the half-line approximation problem to approximation on a compact interval whose length grows slowly with the degree, and we establish density and existence of best approximants in the appropriate closure of the model class. For computation, we first formulate the method as a trainable computational graph for \emph{deep} weighted polynomial approximation. However, direct end-to-end optimization becomes increasingly ill-conditioned at high composite degree and can suffer from local minima. To address this, we introduce a fine-tuning procedure in which a fixed inner composition of monotone polynomial self-maps supplies the effective degree, while only the outer polynomial and weight parameters are trained; the outer fit reduces to a linear program. Numerical experiments on Black--Scholes option-pricing functions show that the resulting fine-tuned weighted \emph{deep} polynomial achieves smaller uniform and \(L_2\) errors than matched-budget polynomial baselines and resolves the decaying tail to machine precision.

math.NA

Typical-Case Gate Approximation and Arithmetic Obstructions in Quaternionic Single-Qubit Compilation

Fault-tolerant quantum computation requires compiling arbitrary one-qubit unitaries into short words over a fixed gate library. For arithmetic libraries such as the $p=5$ Lubotzky--Phillips--Sarnak, or Clifford$+V$, gate set, this problem is governed by quaternionic lattice points on $S^3\cong \SU(2)$. We study the complete norm shells \[ P_k=\{x/5^k\in S^3:x\in\ZZ^4,\ |x|^2=5^{2k}\} \] and the associated projective gate set $T\subset PSU(2)$. The main worst-case quantity is Sarnak's covering exponent $K(T)$, for which the classical range is $4/3\le K(T)\le2$. We show that any positive localized cap-kernel certificate using only the Deligne--LPS square-root spectral estimate reaches only the volume-squared threshold $|V_T(t)|\gg μ(B(\varepsilon))^{-2}$, hence only exponent $2$. Thus any unconditional improvement requires arithmetic cancellation in localized off-diagonal counting. We also record the conditional benchmark that twisted Linnik gives $K(T)=4/3$, matching Harman's obstruction. We prove the shell-to-gate implication $ρ(P_k)\le C5^{-αk}\Rightarrow K(T)\le4/(3α)$, so $α>2/3$ is exactly the threshold for improving the unconditional bound. Finally, exact enumeration of $P_1,P_2,P_3,P_4$ and Haar-random tests show median trace-defect error at the optimal $N^{-2/3}$ scale, while high quantiles remain separated. This gives a sharp distinction between strong typical-case performance and rare arithmetic holes controlling worst-case synthesis.

quant-ph

Subharmonic Kernels and Energy Minimizing Measures, with Applications to the Flat Torus

We study the minimization of the energy integral $I_K(μ) = \int_Ω \int_Ω K(x,y) dμ(x) dμ(y)$ over all Borel probability measures $μ$, where $(Ω,ρ)$ is a compact connected metric space and $K:Ω^2 \to [0,\infty]$ is continuous in the extended sense. We focus on kernels $K$ which are subharmonic, which we define so that the potential $U_K^μ(x) = \int_Ω K(x,y) dμ(y)$ satisfies a maximum principle on $Ω\setminus{\rm supp}μ$. This extends the classical electrostatics minimization problem for logarithmic energy $\int_Ω\int_Ω\log\left(\frac{1}{||x-y||}\right)$, which is used heavily as a tool in approximation theory. Using properties of minimizing measures, we show that if the singularities of the subharmonic kernel $K$ are such that $K$ is regular, then $K$ is positive definite, and $μ$ is a minimizing measure if and only if its potential is constant (outside of a small exceptional set).We then apply this result to group invariant kernels on compact homogeneous manifolds. In this case, the uniform measure $σ$ has constant potential, so subharmonicity implies that this is the minimizing measure. Finally, we look at the case of the $d$-dimensional flat torus $T^d$. We use our results to see that the Riesz kernel $K_s(x,y) = {\rm sign}(s)ρ(x,y)^{-s}$ is minimized by $σ$ (and thus positive definite) when $d > s \geq d-2$. Additionally, the positive definiteness gives us a condition which implies that the multivariate Fourier series of a function $f:[0,π]^d \to [0,\infty]$ has nonnegative coefficients.

math.CA

Exponential Convergence of Deep Composite Polynomial Approximation for Cusp-Type Functions

We investigate deep composite polynomial approximations of continuous but non-differentiable functions with algebraic cusp singularities. The functions in focus consist of finitely many cusp terms of the form $|x-a_j|^{α_j}$ with rational exponents $α_j\in(0,1)$ on a real-analytic background. We propose a constructive approximation scheme that combines a division-free polynomial iteration for fractional powers with an outer layer for the analytic polynomial fitting. Our main result shows that this composite structure achieves exponential convergence in the the number of scalar coefficients in the inner and outer polynomial layers. Specifically, the $L^p([-1,1])$ approximation error, decays exponentially with respect to the parameter budget, in contrast to the algebraic rates obtained by classical single-layer polynomial approximation for cusp-type functions. Numerical experiments for both single and multiple cusp configurations confirm the theoretical rates and demonstrate the parameter efficiency of deep composite polynomial constructions.

math.NA

A family of interaction energy minimizers supported on two intervals

In this paper, we consider the one-dimensional interaction energy $\frac{1}{2}\int_{\mathbb{R}}(W*ρ)(x)dρ(x) + \int_{\mathbb{R}}U(x)dρ(x)$ where the interaction potential $W(x)= -\frac{|x|^b}{b},\,1\le b \le 2$ and the external potential $U(x)=\frac{|x|^4}{4}$, and $ρ$ is a compactly supported probability measure on the real line. Our main result shows that the minimizer is supported on two intervals when $1<b<2$, showing in particular how the support of the minimizer transits from an interval (when $b=1$) to two points (when $b=2$) as $b$ increases. As a crucial part of the proof, we develop a new version of the iterated balayage algorithm, the original version of which was designed by Benko, Damelin, Dragnev and Kuijlaars for logarithmic potentials in one dimension. We expect the methodology in this paper can be generalized to study minimizers of interaction energies in $\mathbb{R}^d$ whose support is possibly an annulus.

math.AP

Partial Transport for Point-Cloud Registration

Point cloud registration plays a crucial role in various fields, including robotics, computer graphics, and medical imaging. This process involves determining spatial relationships between different sets of points, typically within a 3D space. In real-world scenarios, complexities arise from non-rigid movements and partial visibility, such as occlusions or sensor noise, making non-rigid registration a challenging problem. Classic non-rigid registration methods are often computationally demanding, suffer from unstable performance, and, importantly, have limited theoretical guarantees. The optimal transport problem and its unbalanced variations (e.g., the optimal partial transport problem) have emerged as powerful tools for point-cloud registration, establishing a strong benchmark in this field. These methods view point clouds as empirical measures and provide a mathematically rigorous way to quantify the `correspondence' between (the transformed) source and target points. In this paper, we approach the point-cloud registration problem through the lens of optimal transport theory and first propose a comprehensive set of non-rigid registration methods based on the optimal partial transportation problem. Subsequently, leveraging the emerging work on efficient solutions to the one-dimensional optimal partial transport problem, we extend our proposed algorithms via slicing to gain significant computational efficiency, resulting in fast and robust non-rigid registration algorithms. We demonstrate the effectiveness of our proposed methods and compare them against baselines on various 3D and 2D non-rigid registration problems where the source and target point clouds are corrupted by random noise.

cs.CV

The Geometric Approach to the Classification of Signals via a Maximal Set of Signals

In this paper we study the scale-space classification of signals via the maximal set of kernels. We use a geometric approach which arises naturally when we consider parameter variations in scale-space. We derive the Fourier transform formulas for quick and efficient computation of zero-crossings and the corresponding classifying trees. General theory of convergence for convolutions is developed, and practically useful properties of scale-space classification are derived as a consequence also give a complete topological description of level curves for convolutions of signals with the maximal set of kernels. We use these results to develop a bifurcation theory for the curves under the parameter changes. This approach leads to a novel set of integer invariants for arbitrary signals.

math.CA

A Multiple Parameter Linear Scale-Space for one dimensional Signal Classification

In this article we construct a maximal set of kernels for a multi-parameter linear scale-space that allow us to construct trees for classification and recognition of one-dimensional continuous signals similar the Gaussian linear scale-space approach. Fourier transform formulas are provided and used for quick and efficient computations. A number of useful properties of the maximal set of kernels are derived. We also strengthen and generalize some previous results on the classification of Gaussian kernels. Finally, a new topologically invariant method of constructing trees is introduced.

math.ST

On the Whitney near extension problem, BMO, alignment of data, best approximation in algebraic geometry, manifold learning and their beautiful connections: A modern treatment

This paper provides fascinating connections between several mathematical problems which lie on the intersection of several mathematics subjects, namely algebraic geometry, approximation theory, complex-harmonic analysis and high dimensional data science. Modern techniques in algebraic geometry, approximation theory, computational harmonic analysis and extensions develop the first of its kind, a unified framework which allows for a simultaneous study of labeled and unlabeled near alignment data problems in of $\mathbb R^D$ with the near isometry extension problem for discrete and non-discrete subsets of $\mathbb R^D$ with certain geometries. In addition, the paper surveys related work on clustering, dimension reduction, manifold learning, vision as well as minimal energy partitions, discrepancy and min-max optimization. Numerous open problems are given.

math.CA

On best uniform approximation of finite sets by linear combinations of real valued functions using linear programming

We study the best approximation problem: \[ \displaystyle \min_{α\in \mathbb R^m}\max_{1\leq i\leq n}\left|y_i -\sum_{j=1}^m α_j Γ_j ({\bf x}_i) \right|. \] Here: $Γ:=\left\{Γ_1,...,Γ_m\right\}$ is a list of functions where for each $1\leq j\leq m$, $Γ_j:Δ\rightarrow \mathbb R$ with $Δ$ a set of evaluation points $\left\{{\bf x_1},...,{\bf x_n}\right\}$. $\left\{y_1,...,y_n\right\}$ is a set of real values and $\mathbb R^m:=\left\{(α_1,...,α_m),\, α_j\in \mathbb R,\, 1\leq j\leq m\right\}$.

math.OC

Isometries and Equivalences Between Point Configurations, Extended To $\varepsilon$-diffeomorphisms

In this announcement, we deal with the Orthogonal Procrustes Problem, in which two point configurations are compared in order to construct a map to optimally align the two sets. This extends this to $\varepsilon$-diffeomorphisms, introduced by [1] Damelin and Fefferman. Examples will be given for when complete maps can not be constructed, for if the distributions do match, and finally an algorithm for partitioning the configurations into polygons for convenient construction of the maps. A revision of this announcement is the memoir preprint: arXiv: 2103.09748, [0], submitted for consideration for publication.

math.CA

On Min-Max affine approximants of convex or concave real valued functions from $\mathbb R^k$, Chebyshev equioscillation and graphics

We study Min-Max affine approximants of a continuous convex or concave function $f:Δ\subset \mathbb R^k\xrightarrow{} \mathbb R$ where $Δ$ is a convex compact subset of $\mathbb R^k$. In the case when $Δ$ is a simplex we prove that there is a vertical translate of the supporting hyperplane in $\mathbb R^{k+1}$ of the graph of $f$ at the vertices which is the unique best affine approximant to $f$ on $Δ$. For $k=1$, this result provides an extension of the Chebyshev equioscillation theorem for linear approximants. Our result has interesting connections to the computer graphics problem of rapid rendering of projective transformations.

math.OC

Preprocessing power weighted shortest path data using a s-Well Separated Pair Decomposition

For $s$ $>$ 0, we consider an algorithm that computes all $s$-well separated pairs in certain point sets in $\mathbb{R}^{n}$, $n$ $>1$. For an integer $K$ $>1$, we also consider an algorithm that is a permutation of Dijkstra's algorithm, that computes $K$-nearest neighbors using a certain power weighted shortest path metric in $\mathbb{R}^{n}$, $n$ $>$ $1$. We describe each algorithm and their respective dependencies on the input data. We introduce a way to combine both algorithms into a fused algorithm. Several open problems are given for future research.

cs.CV

A Constructive Finite Field Method for Scattering Points on the Surface of $d$-Dimensional Spheres

In this exploratory article, we present a constructive method for scattering points on the surface of $d$ dimensional spheres which we believe is new and of interest. Indeed, the problem of uniformly distributing points on spheres is an interesting and difficult problem with vast applications in fields as diverse as crystallography, approximation theory, computational complexity, molecular structure, and electrostatics.

math.NT

Shortest Path through Random Points

Let $(M,g_1)$ be a complete $d$-dimensional Riemannian manifold for $d > 1$. Let $\mathcal X_n$ be a set of $n$ sample points in $M$ drawn randomly from a smooth Lebesgue density $f$ supported in $M$. Let $x,y$ be two points in $M$. We prove that the normalized length of the power-weighted shortest path between $x, y$ through $\mathcal X_n$ converges almost surely to a constant multiple of the Riemannian distance between $x,y$ under the metric tensor $g_p = f^{2(1-p)/d} g_1$, where $p > 1$ is the power parameter.

math.PR

Classification Constrained Dimensionality Reduction

Dimensionality reduction is a topic of recent interest. In this paper, we present the classification constrained dimensionality reduction (CCDR) algorithm to account for label information. The algorithm can account for multiple classes as well as the semi-supervised setting. We present an out-of-sample expressions for both labeled and unlabeled data. For unlabeled data, we introduce a method of embedding a new point as preprocessing to a classifier. For labeled data, we introduce a method that improves the embedding during the training phase using the out-of-sample extension. We investigate classification performance using the CCDR algorithm on hyper-spectral satellite imagery data. We demonstrate the performance gain for both local and global classifiers and demonstrate a 10% improvement of the $k$-nearest neighbors algorithm performance. We present a connection between intrinsic dimension estimation and the optimal embedding dimension obtained using the CCDR algorithm.

stat.ML