arXiv Science⌕ Search

arXiv subjects

Thomas Jahn

Publications and source records attributed to Thomas Jahn.

At least 19 recordsLinked to original sources
arXiv2025

Minkowski chirality: a measure of reflectional asymmetry of convex bodies

Using an optimal containment approach, we quantify the asymmetry of convex bodies in $\mathbb{R}^n$ with respect to reflections across affine subspaces of a given dimension. We prove general inequalities relating these ''Minkowski chirality'' measures to Banach--Mazur distances and to each other, and prove their continuity with respect to the Hausdorff distance. In the planar case, we determine the reflection axes at which the Minkowski chirality of triangles and parallelograms is attained, and show that $\sqrt{2}$ is a tight upper bound on the chirality in both cases.

math.MG↗
arXiv2024

Besov regularity of random wavelet series

We study the Besov regularity of wavelet series on $\mathbb{R}^d$ with randomly chosen coefficients. More precisely, each coefficient is a product of a random factor and a parameterized deterministic factor (decaying with the scale $j$ and the norm of the shift $m$). Compared to the literature, we impose relatively mild conditions on the moments of the random variables in order to characterize the almost sure convergence of the wavelet series in Besov spaces $B^s_{p,q}(\mathbb{R}^d)$ and the finiteness of the moments as well as of the moment generating function of the Besov norm. In most cases, we achieve a complete characterization, i.e., the derived conditions are both necessary and sufficient.

math.PR↗
arXiv2023

Universal approximation with complex-valued deep narrow neural networks

We study the universality of complex-valued neural networks with bounded widths and arbitrary depths. Under mild assumptions, we give a full description of those activation functions $\varrho:\mathbb{C}\to \mathbb{C}$ that have the property that their associated networks are universal, i.e., are capable of approximating continuous functions to arbitrary accuracy on compact domains. Precisely, we show that deep narrow complex-valued networks are universal if and only if their activation function is neither holomorphic, nor antiholomorphic, nor $\mathbb{R}$-affine. This is a much larger class of functions than in the dual setting of arbitrary width and fixed depth. Unlike in the real case, the sufficient width differs significantly depending on the considered activation function. We show that a width of $2n+2m+5$ is always sufficient and that in general a width of $max\{2n,2m\}$ is necessary. We prove, however, that a width of $n+m+3$ suffices for a rich subclass of the admissible activation functions. Here, $n$ and $m$ denote the input and output dimensions of the considered networks. Moreover, for the case of smooth and non-polyharmonic activation functions, we provide a quantitative approximation bound in terms of the depth of the considered networks.

math.FA↗
arXiv2023

Marcinkiewicz--Zygmund inequalities for scattered and random data on the $q$-sphere

The recovery of multivariate functions and estimating their integrals from finitely many samples is one of the central tasks in modern approximation theory. Marcinkiewicz--Zygmund inequalities provide answers to both the recovery and the quadrature aspect. In this paper, we put ourselves on the $q$-dimensional sphere $\mathbb{S}^q$, and investigate how well continuous $L_p$-norms of polynomials $f$ of maximum degree $n$ on the sphere $\mathbb{S}^q$ can be discretized by positively weighted $L_p$-sum of finitely many samples, and discuss the relationship between the offset between the continuous and discrete quantities, the number and distribution of the (deterministic or randomly chosen) sample points $\xi_1,\ldots,\xi_N$ on $\mathbb{S}^q$, the dimension $q$, and the polynomial degree $n$.

math.NA↗
arXiv2022

Sampling numbers of smoothness classes via $\ell^1$-minimization

Using techniques developed recently in the field of compressed sensing we prove new upper bounds for general (nonlinear) sampling numbers of (quasi-)Banach smoothness spaces in $L^2$. In particular, we show that in relevant cases such as mixed and isotropic weighted Wiener classes or Sobolev spaces with mixed smoothness, sampling numbers in $L^2$ can be upper bounded by best $n$-term trigonometric widths in $L^\infty$. We describe a recovery procedure from $m$ function values based on $\ell^1$-minimization (basis pursuit denoising). With this method, a significant gain in the rate of convergence compared to recently developed linear recovery methods is achieved. In this deterministic worst-case setting we see an additional speed-up of $m^{-1/2}$ (up to log factors) compared to linear methods in case of weighted Wiener spaces. For their quasi-Banach counterparts even arbitrary polynomial speed-up is possible. Surprisingly, our approach allows to recover mixed smoothness Sobolev functions belonging to $S^r_pW(\mathbb{T}^d)$ on the $d$-torus with a logarithmically better rate of convergence than any linear method can achieve when $1 < p < 2$ and $d$ is large. This effect is not present for isotropic Sobolev spaces.

math.NA↗
arXiv2021

The HETDEX Instrumentation: Hobby-Eberly Telescope Wide Field Upgrade and VIRUS

The Hobby-Eberly Telescope (HET) Dark Energy Experiment (HETDEX) is undertaking a blind wide-field low-resolution spectroscopic survey of 540 square degrees of sky to identify and derive redshifts for a million Lyman-alpha emitting galaxies (LAEs) in the redshift range 1.9 < z < 3.5. The ultimate goal is to measure the expansion rate of the Universe at this epoch, to sharply constrain cosmological parameters and thus the nature of dark energy. A major multi-year wide field upgrade (WFU) of the HET was completed in 2016 that substantially increased the field of view to 22 arcminutes diameter and the pupil to 10 meters, by replacing the optical corrector, tracker, and prime focus instrument package and by developing a new telescope control system. The new, wide-field HET now feeds the Visible Integral-field Replicable Unit Spectrograph (VIRUS), a new low-resolution integral field spectrograph (LRS2), and the Habitable Zone Planet Finder (HPF), a precision near-infrared radial velocity spectrograph. VIRUS consists of 156 identical spectrographs fed by almost 35,000 fibers in 78 integral field units arrayed at the focus of the upgraded HET. VIRUS operates in a bandpass of 3500-5500 Angstroms with resolving power R~800. VIRUS is the first example of large scale replication applied to instrumentation in optical astronomy to achieve spectroscopic surveys of very large areas of sky. This paper presents technical details of the HET WFU and VIRUS, as flowed-down from the HETDEX science requirements, along with experience from commissioning this major telescope upgrade and the innovative instrumentation suite for HETDEX.

astro-ph.IM↗
arXiv2021

Coproximinality of linear subspaces in generalized Minkowski spaces

We show that, for vector spaces in which distance measurement is performed using a gauge, the existence of best coapproximations in $1$-codimensional closed linear subspaces implies in dimensions $\geq 2$ that the gauge is a norm, and in dimensions $\geq 3$ that the gauge is even a Hilbert space norm. We also show that coproximinality of all closed subspaces of a fixed dimension implies coproximinality of all subspaces of all lower finite dimensions.

math.MG↗
arXiv2020

On the optimal constants in the two-sided Stechkin inequalities

We address the optimal constants in the strong and the weak Stechkin inequalities, both in their discrete and continuous variants. These inequalities appear in the characterization of approximation spaces which arise from sparse approximation or have applications to interpolation theory. An elementary proof of a constant in the strong discrete Stechkin inequality given by Bennett is provided, and we improve the constants given by Levin and Stechkin and by Copson. Finally, the minimal constants in the weak discrete Stechkin inequalities and both continuous Stechkin inequalities are presented.

math.CA↗
arXiv2018

Vertex-Facet Assignments For Polytopes

Motivated by the search for reduced polytopes, we consider the following question: For which polytopes exists a vertex-facet assignment, that is, a matching between vertices and non-incident facets, so that the matching covers either all vertices, or all facets? We provide general conditions for the existence of such an assignment. We conclude that such exist for all simple and simplicial polytopes, as well as all polytopes of dimension $d\le 6$. We construct counterexample in all dimensions $d\ge 7$.

math.CO↗
arXiv2018

Uniqueness of circumcenters in generalized Minkowski spaces

In an $n$-dimensional normed space every bounded set has a unique circumball if and only if every set of cardinality two has a unique circumball and if and only if the unit ball of the space is strictly convex. When the symmetry of the norm is dropped, i.e., when the centrally symmetric unit ball is replaced by an arbitrary convex body, then the above three conditions are no longer equivalent. We show for the latter case that every bounded set has a unique circumball if and only if every set of cardinality at most $n$ has a unique circumball. We also give an equivalent condition in terms of the geometry of the unit ball. In similar terms we answer the following more general question for every $k \in \{0,\ldots,n-2\}$: When are the dimensions of the sets of all circumcenters of arbitrary bounded sets not larger than $k$?

math.MG↗
arXiv2017

Orthogonality in Generalized Minkowski Spaces

We combine functional analytic and geometric viewpoints on approximate Birkhoff and isosceles orthogonality in generalized Minkowski spaces which are finite-dimensional vector spaces equipped with a gauge. This is the first approach to orthogonality types in such spaces.

math.MG↗
arXiv2017

Extremal Radii, Diameter, and Minimum Width in Generalized Minkowski Spaces

We discuss the notions of circumradius, inradius, diameter, and minimum width in generalized Minkowski spaces (that is, with respect to gauges), i.e., we measure the "size" of a given convex set in a finite-dimensional real vector space with respect to another convex set. This is done via formulating some kind of containment problem incorporating homothetic bodies of the latter set or strips bounded by parallel supporting hyperplanes thereof. The paper can be seen as a theoretical starting point for studying metrical problems of sets in generalized Minkowski spaces.

math.MG↗
arXiv2017

Hunting for reduced polytopes

By correcting an example by Polyanskii, we show that there exist reduced polytopes in three-dimensional Euclidean space. This partially answers the question posed by Lassak on the existence of reduced polytopes in $d$-dimensional Euclidean space for $d\geq 3$.

math.MG↗
arXiv2017

Hunting for reduced polytopes

We show that there exist reduced polytopes in three-dimensional Euclidean space. This partially answers the question posed by Lassak on the existence of reduced polytopes in $d$-dimensional Euclidean space for $d\geq 3$. Moreover, we prove a novel necessary condition on reduced polytopes in three-dimensional Euclidean space.

math.MG↗
arXiv2016

Tate Conjecture and Higher Brauer Groups of Abelian Varieties in Characteristic Zero

Let $A$ be an abelian variety over a field finitely generated over $\mathbb{Q}$. We show that the finiteness of the $\ell$-primary torsion subgroup of the higher Brauer group is a sufficient criterion for the Tate conjecture to hold. Furthermore, we extend methods for computations of transcendental Brauer groups to higher Brauer groups.

math.AG↗
arXiv2016

Ball Convex Bodies in Minkowski Spaces

The notion of ball convexity, considered in finite dimensional real Banach spaces, is a natural and useful extension of usual convexity; one replaces intersections of half-spaces by suitable intersections of balls. A subset $S$ of a normed space is called ball convex if it coincides with its ball hull, which is obtained as intersection of all balls (of fixed radius) containing $S$. Ball convex sets are closely related to notions like ball polytopes, complete sets, bodies of constant width, and spindle convexity. We will study geometric properties of ball convex bodies in normed spaces, for example deriving separation theorems, characterizations of strictly convex norms, and an application to complete sets. Our main results refer to minimal representations of ball convex bodies in terms of their ball exposed faces, to representations of ball hulls of sets via unions of ball hulls of finite subsets, and to ball convexity of increasing unions of ball convex bodies.

math.MG↗
arXiv2016

Is a complete, reduced set necessarily of constant width?

Is it true that a convex body $K$ being complete and reduced with respect to some gauge body $C$ is necessarily of constant width, that is, satisfies $K-K=ρ(C-C)$ for some $ρ>0$? We prove this implication for several cases including the following: if $K$ is a simplex and or if $K$ possesses a smooth extreme point, then the implication holds. Moreover, we derive several new results on perfect norms.

math.MG↗