Related papers: A new construction for sublevel set persistence

From the work of Bauer and Lesnick, it is known that there is no functor from the category of pointwise finite-dimensional persistence modules to the category of barcodes and overlap matchings. In this work, we introduce sub-barcodes and…

Let f(t,X) be an irreducible polynomial over the field of rational functions k(t), where k is a number field. Let O be the ring of integers of k. Hilbert's irreducibility theorem gives infinitely many integral specializations of t to values…

We consider an $\alpha$-relaxed projection $P_A^\alpha:H\to H$ given by $P_A^\alpha(x)=\alpha P_A(x)+(1-\alpha)x$ where $\alpha\in[0,1]$ and $P_A$ is the projection onto a non-empty, convex and closed subset $A$ of the real Hilbert space…

A function $f:X\to Y$ between topological spaces is called {\em compact-preserving} if the image $f(K)$ of each compact subset $K\subset X$ is compact. We prove that a function $f:X\to Y$ defined on a strong Frechet space $X$ is…

Solving bilevel optimization (BLO) problems to global optimality is generally intractable. A common surrogate is to compute a hyper-stationary point -- a stationary point of the hyper-objective function obtained by minimizing or maximizing…

We use the "closed point sieve" to prove a variant of a Bertini theorem over finite fields. Specifically, given a smooth quasi-projective subscheme X of P^n of dimension m over F_q, and a closed subscheme Z in P^n such that Z intersect X is…

In this paper we define a new space, $LH(X,Y)$, consisting of functions $f\in X \subset Y$ (with $X,Y$ normed spaces) such that $\| f \|_X \equiv \| f \|_Y$ (where $\| \cdot \|_X$ is any norm on $X$, in general not the norm induced by $\|…

In this paper, we give lower bounds for the homology of the fibers of a map to a manifold. Using new sheaf theoretic methods, we show that these lower bounds persist over whole open sets of the manifold, and that they are stable under…

Let $R$ be a discrete valuation ring, with valuation $v \colon R \twoheadrightarrow \mathbb{Z}_{\ge 0} \cup \{\infty\}$ and residue field $k$. Let $H$ be a hypersurface $\operatorname{Proj}(R[x_0,\ldots,x_n]/\langle f \rangle)$. Let $H_k$…

We analyze the Fourier growth, i.e. the $L_1$ Fourier weight at level $k$ (denoted $L_{1,k}$), of various well-studied classes of "structured" $\mathbb{F}_2$-polynomials. This study is motivated by applications in pseudorandomness, in…

Let $\Omega\subset\mathbb{C}^n$ be a strictly pseudoconvex Runge domain with $C^2$-smooth defining function, $l\in\mathbb{N},$ $p\in(1,\infty).$ We prove that the holomorphic function $f$ has derivatives of order $l$ in $H^p(\Omega)$ if and…

This paper discusses differential stability of convex programming problems in Hausdorff locally convex topological vector spaces. Among other things, we obtain formulas for computing or estimating the subdifferential and the singular…

We first show that a continuous function f is nonnegative on a closed set $K\subseteq R^n$ if and only if (countably many) moment matrices of some signed measure $d\nu =fd\mu$ with support equal to K, are all positive semidefinite (if $K$…

We define a simple, explicit map sending a morphism $f:M \rightarrow N$ of pointwise finite dimensional persistence modules to a matching between the barcodes of $M$ and $N$. Our main result is that, in a precise sense, the quality of this…

In a previous paper of the authors, we showed that for any polynomials $P_1,\dots,P_k \in \Z[\mathbf{m}]$ with $P_1(0)=\dots=P_k(0)$ and any subset $A$ of the primes in $[N] = \{1,\dots,N\}$ of relative density at least $\delta>0$, one can…

In this article we establish two fundamental results for the sublevel set persistent homology for stationary processes indexed by the positive integers. The first is a strong law of large numbers for the persistence diagram (treated as a…

Inspired by recent work of A. Mardani which elaborates on the elementary fact that for any continuous function $f:\omega_1\times\mathbb{R}\to\mathbb{R}$, there is an $\alpha\in\omega_1$ such that $f(\langle\beta,x\rangle) =…

Solving optimization tasks based on functions and losses with a topological flavor is a very active, growing field of research in data science and Topological Data Analysis, with applications in non-convex optimization, statistics and…

A theorem of Dolfi, Herzog, Kaplan, and Lev \cite[Thm.~C]{DHKL} asserts that in a finite group with trivial Fitting subgroup, the size of the soluble residual of the group is bounded from below by a certain power of the group order, and…

The goal of this note is to define biparametric persistence diagrams for smooth generic mappings $h=(f,g):M\to V\cong \mathbb{R}^2$ for smooth compact manifold $M$. Existing approaches to multivariate persistence are mostly centered on the…