Related papers: A new construction for sublevel set persistence

Near every point of a real-analytic set in $\mathbb R^n$, we make use of Hironaka's resolution of singularity theorem to construct a family of continuous functions in $W^{1, 1}_{loc}$ such that their weak derivatives have (removable)…

We first show a simple but striking result in bilevel optimization: unconstrained $C^\infty$ smooth bilevel programming is as hard as general extended-real-valued lower semicontinuous minimization. We then proceed to a worst-case analysis…

Let $k$ be an algebraically closed field. Fix integers $n$ and $b$ with $n\geq 3$ and $1\leq b\leq n-1.$ Let $T^d_k$ be the moduli space of hypersurfaces $[F]$ in $\mathbb{P}^n_k$ of degree $l$ whose singular locus contains a subscheme of…

We study the low lying zeros of $GL(2) \times GL(2)$ Rankin-Selberg $L$-functions. Assuming the generalized Riemann hypothesis, we compute the $1$-level density of the low-lying zeroes of $L(s, f \otimes g)$ averaged over families of…

We define a natural notion of higher order stability and show that subsets of $\mathbb{F}_p^n$ that are tame in this sense can be approximately described by a union of low-complexity quadratic varieties, up to linear error. This generalizes…

The recent results of An, Luan, and Yen [Differential stability in convex optimization via generalized polyhedrality. Vietnam J. Math. https://-doi.org/10.1007/s10013-024-00721-y] on differential stability of parametric optimization…

Consider a Henselian rank one valued field $K$ of equicharacteristic zero along with the language $\mathcal{L}^{P}$ of Denef--Pas. Let $f: A \to K$ be an $\mathcal{L}^{P}$-definable (with parameters) function on a subset $A$ of $K^{n}$. We…

Let $f : X\to \Delta$ be a $1$-parameter family of $2$-dimensional isolated hypersurface singularities. In this paper, we show that if the Milnor number is constant, then any semistable model, obtained from $f$ after a sufficiently large…

Persistent homology encodes the evolution of homological features of a multifiltered cell complex in the form of a multigraded module over a polynomial ring, called a multiparameter persistence module, and quantifies it through invariants…

In model selection problems for machine learning, the desire for a well-performing model with meaningful structure is typically expressed through a regularized optimization problem. In many scenarios, however, the meaningful structure is…

Henselian elements are roots of polynomials which satisfy the conditions of Hensel's Lemma. In this paper we prove that for a finite field extension $(F|L,v)$, if $F$ is contained in the absolute inertia field of $L$, then the valuation…

We prove that for any $\ell \geq 0$, there exists an algorithm which takes as input a description of a semi-algebraic subset $S \subset \mathbb{R}^k$ given by a quantifier-free first order formula $\phi$ in the language of the reals, and…

The simple cubic lattice defines a set of points at regular distances. The volume of the Voronoi cells around each point may serve as a weight for integration over the entire space. We add interstitial points to this grid according to the…

Let A be a subset of $\F_p^n$, the $n$-dimensional linear space over the prime field $\F_p$ of size at least $\de N$ $(N=p^n)$, and let $S_v=P^{-1}(v)$ be the level set of a homogeneous polynomial map $P:\F_p^n\to\F_p^R$ of degree $d$, and…

For $l$-homogeneous linear differential operators $\mathcal{A}$ of constant rank, we study the implication $v_j\rightharpoonup v$ in $X$ and $\mathcal{A} v_j\rightarrow \mathcal{A} v$ in $W^{-l}Y$ implies $F(v_j)\rightsquigarrow F(v)$ in…

Many special classes of simplicial sets, such as the nerves of categories or groupoids, the 2-Segal sets of Dyckerhoff and Kapranov, and the (discrete) decomposition spaces of G\'{a}lvez, Kock, and Tonks, are characterized by the property…

We prove that a theorem of Pawlucki, showing that Whitney regularity for a subanalytic set with a smooth singular locus of codimension one implies the set is a finite union of differentiable manifolds with boundary, applies to definable…

The filter quotient construction is a particular instance of a filtered colimit of categories. It has primarily been considered in the context of categorical logic, where it has been used effectively to construct non-trivial models, for…

The (delta-) normal cone to an arbitrary intersection of sublevel sets of proper, lower semicontinuous, and convex functions is characterized, using either epsilon-subdifferentials at the nominal point or exact subdifferentials at nearby…

Previous work has shown that DNNs with large depth $L$ and $L_{2}$-regularization are biased towards learning low-dimensional representations of the inputs, which can be interpreted as minimizing a notion of rank $R^{(0)}(f)$ of the learned…