SearcharxivSearch

arXiv subjects

Jan Lang

Publications and source records attributed to Jan Lang.

At least 19 recordsLinked to original sources

Characterization of the boundedness of the segment multiplier on rearrangement-invariant spaces

Given a rearrangement-invariant (r.i.) space X, we show that the segment multiplier, the truncated Hilbert transform, and the discrete Hilbert transform (on the associated discretized space) are bounded on X simultaneously. Moreover, this boundedness is characterized by a condition on a pair of Boyd-type indices. We also exhibit an r.i. space on which the segment multiplier is bounded while the (non-truncated) Hilbert transform fails to be bounded.

math.CA

Limit as $p(x)\rightarrow \infty$ of $p(x)$-Harmonic functions for unbounded $p(x)$

It is shown that if $p_n$ is a sequence of continuous, unbounded exponents on a bounded, smooth domain $\Omega\subset {\mathbb R}^n$ with $1<\inf\limits_{x\in \Omega}p_n(x)$ and $p_n\rightarrow \infty$ uniformly, then the sequence $(u_n)$ of solutions of the $p_n(\cdot)$-Laplacian converges to the viscosity solution of a suitable differential operator. The novelty here is that each term of the sequence of exponents $(p_n)$ is allowed to be unbounded in $\Omega$.

math.AP

Bases of Lebesgue spaces formed by neural networks

The seminal work of Daubechies, DeVore, Foucart, Hanin, and Petrova introduced in 2022 a sequence of univariate piece-wise linear functions, which resemble the classical Fourier basis and which, at the same time, can be easily reproduced by artificial neural networks with ReLU activation function. We give an alternative way how to calculate the inner products of functions from this system and discuss the spectral properties of the Gram matrix generated by this system. The univariate system was later generalized to the multivariate setting by two of the authors of this work. Instead of the usual tensor product construction, this generalization relied on the inner products inside of the argument of the univariate sequence. It turned out that such a system forms a Riesz basis of $L_2(0,1)^n$ for every $n\ge 1$ with Riesz constants independent of $n$. In this work, we investigate the properties of these new sequences of functions in $L_q(0,1)^n$ for $q\not =2.$ First, we show that the univariate system is a Schauder basis in $L_q(0,1)$ for every $1<q<\infty$. By a general argument, it follows that the tensor products of this system also form a Schauder basis in $L_q(0,1)^n$ for every $n\ge 2$ and $1<q<\infty.$ The same fact can also be shown by measuring the distance of the tensor product system to the classical multivariate Fourier basis, but - surprisingly - this argument only works for $n\le 3$. If, on the other hand, we replace the outer tensor products by inner products directly in the argument of the univariate system, the same approach is applicable for an arbitrary dimension $n\in{\mathbb N}.$

math.FA

Non-strict singularity of optimal Sobolev embeddings

We investigate the operator-theoretic property of strict singularity for optimal Sobolev embeddings within the general framework of rearrangement-invariant function spaces (r.i. spaces). More specifically, we focus on studying the ``quality'' of non-compactness for optimal Sobolev embeddings $V^m_0X(\Omega)\to Y_X(\Omega)$, where $X$ is a given r.i. space and $Y_X$ is the corresponding optimal target r.i. space (i.e., the smallest among all r.i. spaces). For the class of sub-limiting norms (i.e., the norms whose fundamental function satisfies $\varphi_{Y_X}(t)\approx t^{-m/n}\varphi_X(t)$ as $t\to0^+$), we construct suitable spike-function sequences that establish a general framework for proving non-strict singularity of optimal (and thus non-compact) sublimiting Sobolev embeddings. As an application, we show that optimal sublimiting Sobolev embeddings are not strictly singular in a rather large subclass of r.i. spaces, namely weighted Lambda spaces $X=\Lambda^q_w$, $q\in[1, \infty)$. Except for the endpoint case $X=L^{n/m,1}$, our spike-function construction enables us to construct a subspace of $V^m_0X$ that is isomorphic to $\ell_q$, which we then leverage to prove the non-strict singularity of the corresponding optimal Sobolev embedding.

math.FA

Quantitative Non-Compactness Properties of the Fourier Transform on Optimal Spaces

We establish that the Fourier transform $\mathcal{F}: L^p(\mathbb{R}^d)\to L^{p',p}(\mathbb{R}^d)$, for $d\in\mathbb{N}$ and $1<p<2$, is not strictly singular, thereby confirming the optimality of the source and target spaces. A~similar result is obtained for Fourier series on $L^p(\mathbb{T}^n)$, with sequence Lorentz spaces as the target. These findings complement known results, which state that $\mathcal{F}: L^p(\mathbb{R}^d)\to L^{p'}(\mathbb{R}^d)$ is finitely strictly singular and then also strictly singular, and provide further insight into the degrees of non-compactness of~$\mathcal{F}$.

math.FA

Modular topologies on vector spaces

This paper addresses the topological structures induced on vector spaces by convex modulars that do not satisfy the $\Delta_2$ condition, with particular focus on their applications to variable exponent spaces such as \( \ell^{(p_n)} \) and \( L^{p(\cdot)} \). The motivation behind this investigation is its applicability to the study of boundary value problems involving the variable exponent $p(x)$-Laplacian when $p(x)$ is unbounded, a line of research recently opened by the authors. Fundamental topological properties are analyzed, including separation axioms, countability axioms, and the relationship between modular convergence and classical topological concepts such as continuity. Attention is given to the relation between modular and norm topologies. Special emphasis is placed on the openness of modular balls, the impact of the \(\Delta_2\)-condition, and duality with respect to modular topologies.

math.FA

Systematic Literature Review of Automation and Artificial Intelligence in Usability Issue Detection

Usability issues can hinder the effective use of software. Therefore, various techniques are deployed to diagnose and mitigate them. However, these techniques are costly and time-consuming, particularly in iterative design and development. A substantial body of research indicates that automation and artificial intelligence can enhance the process of obtaining usability insights. In our systematic review of 155 publications, we offer a comprehensive overview of the current state of the art for automated usability issue detection. We analyze trends, paradigms, and the technical context in which they are applied. Finally, we discuss the implications and potential directions for future research.

cs.HC

Notes on Non-Compact Maps and the Importance of Bernstein Numbers

In this review paper we study non-compact operators and embeddings between function spaces, highlighting interesting phenomena and the significance of Bernstein numbers. In particular, we demonstrate that for non-compact maps the usual $s$-numbers (e.g., approximation, Kolmogorov, and entropy numbers) fail to reveal finer structural properties, and one must instead consider concepts such as strict singularity and Bernstein numbers.

math.FA

A Bourgain-Gromov problem on non-compact Sobolev-Lorentz embeddings

We study the non-compact Sobolev embeddings into the optimal scale of Lorentz spaces, $W_0^mL^{p,q}(\Omega) \to L^{\frac{dp}{d - mp},r}(\Omega)$, where $\Omega \subseteq \mathbb{R}^d$, $1 \le m \le d$ and $0<q<r\le\infty$ with $1<p<\frac dm$ or $p=q=1$. We show that these embeddings are finitely strictly singular with certain upper bounds on the decay rate of the Bernstein numbers. We reduce the Sobolev embeddings to embeddings of Besov spaces and sequence spaces, which simplifies the previous methods by Bourgain-Gromov and Lang-Mihula.

math.FA

A Classification Theorem on Non-compact Embeddings between Besov Spaces

We analyze the embedding properties between Besov spaces, defined on the total space $\mathbb R^n$ and on bounded domains. We give a complete classification on whether or not these embedding maps satisfy certain weak compactness characterized by the so-called strictly and finitely strictly singular condition. The result extends the recent findings on Sobolev embeddings by offering a refined description of the quality of non-compactness in the setting of Besov spaces.

math.FA

Maximal noncompactness of limiting Sobolev embeddings

We develop a new method suitable for establishing lower bounds on the ball measure of noncompactness of operators acting between considerably general quasinormed function spaces. This new method removes some of the restrictions oft-presented in the previous work. Most notably, the target function space need not be disjointly superadditive nor equipped with a norm. Instead, a property that is far more often at our disposal is exploited, namely the absolute continuity of the target quasinorm. We use this new method to prove that limiting Sobolev embeddings into spaces of Brezis--Wainger type are so-called maximally noncompact, i.e., their ball measure of noncompactness is the worst possible.

math.FA

Quality of non-compactness for Sobolev Embedding with one point non-compactness

This paper investigates instances of Sobolev embeddings characterized by local compactness at every point within their domain, except for a single point. We obtain the sharp conditions that distinguish compactness from non-compactness and observe that in the context of Sobolev embeddings, non-compactness occurring at only one point within the domain could give rise to an infinite-dimensional subspace where the embedding is invertible (i.e., not strictly singular). Furthermore, we establish lower bounds for the Bernstein numbers, entropy numbers, and the measure of non-compactness.

math.FA

Quantitative analysis of optimal Sobolev-Lorentz embeddings with $\alpha$-homogeneous weights

Optimal weighted Sobolev-Lorentz embeddings with homogeneous weights in open convex cones are established, with the exact value of the optimal constant. These embeddings are non-compact, and this paper investigates the structure of their non-compactness quantitatively. Opposite to the previous results in this direction, the non-compactness in this case does not occur uniformly over all sub-domains of the underlying domain, and the problem is not translation invariant, and so these properties cannot be exploited here. Nevertheless, by developing a new approach based on a delicate interplay between the size of suitable extremal functions and the size of their supports, the exact values of the (ball) measure of non-compactness and of all injective strict s-numbers (in particular, of the Bernstein numbers) are obtained. Moreover, it is also shown that the embedding is not strictly singular.

math.FA

Embeddings between sequence variable Lebesgue spaces, strict and finitely strict singularity

In this paper, we provide necessary and sufficient conditions under which two sequence variable Lebesgue spaces $\ell_{p_n}$ and $\ell_{q_n}$ are equivalent and also describe conditions under which the natural embeddings $id:\ell_{p_n} \to \ell_{q_n}$ are strictly or finitely strictly singular. We also provide estimates for the Bernstein numbers of the natural embedding $id$ and show how they depend on the exponents $p_n$ and $q_n$.

math.FA

Distribution of genuine high-dimensional entanglement over 10.2 km of noisy metropolitan atmosphere

In a recent quantum key distribution experiment, high-dimensional protocols were used to show an improved noise resistance over a 10.2 km free-space channel. One of the unresolved questions in this context is whether the communicating parties actually shared genuine high-dimensional entanglement. In this letter we introduce an improved discretisation and entanglement certification scheme for high-dimensional time-bin setups and apply it to the data obtained during the experiment. Our analysis answers the aforementioned question affirmatively and thus the experiment constitutes the first transmission of genuine high-dimensional entanglement in a single degree of freedom over a long-range free-space channel.

quant-ph

Different degrees of non-compactness for optimal Sobolev embeddings

The structure of non-compactness of optimal Sobolev embeddings of $m$-th order into the class of Lebesgue spaces and into that of all rearrangement-invariant function spaces is quantitatively studied. Sharp two-sided estimates of Bernstein numbers of such embeddings are obtained. It is shown that, whereas the optimal Sobolev embedding within the class of Lebesgue spaces is finitely strictly singular, the optimal Sobolev embedding in the class of all rearrangement-invariant function spaces is not even strictly singular.

math.FA

Non-local temporal interferometry for highly resilient free-space quantum communication

Entanglement distribution via photons over long distances enables many applications, including quantum key distribution (QKD), which provides unprecedented privacy. The inevitable degradation of entanglement through noise accumulated over long distances remains one of the key challenges in this area. Exploiting the potential of higher-dimensional entangled photons promises to address this challenge, but poses extreme demands on the experimental implementation. Here, we present an interstate free-space quantum link, distributing hyper-entanglement over $10.2\,$km with flexible dimensionality of encoding by deploying a phase-stable non-local Franson interferometer. With this distribution of multidimensional energy-time entangled photons, we analyse the achievable key rate in a dimensionally-adaptive QKD protocol that can be optimized with respect to any environmental noise conditions. Our approach enables and emphasises the power of high-dimensional entanglement for quantum communication, yielding a positive asymptotic key rate well into the dawn of the day.

quant-ph

The eigenvalues and eigenfunctions of the non-linear equation associated to second order Sobolev embeddings

We consider the non-linear eigenvalue equations characterizing $L^p$ into $L^q$ Sobolev embeddings of second order for Navier boundary conditions at both ends of a line segment. We give a complete description of the s-numbers and the extremal functions in the general case $(p,q)\in(1,\infty)^2$. Among other results, we show that these can be expressed in terms of those of related first order embeddings, if and only if $\frac{1}{p}+\frac{1}{q}=1$. Our findings shed new light on the surprising nature of higher order Sobolev spaces in the Banach space setting.

math.CA