Additivity and chain rules for quantum entropies via multi-index Schatten norms

2026-03-12T06:01:44Z

The primary entropic measures for quantum states are additive under the tensor product. In the analysis of quantum information processing tasks, the minimum entropy of a set of states, e.g., the minimum output entropy of a channel, often plays a crucial role. A fundamental question in quantum information and cryptography is whether the minimum output entropy remains additive under the tensor product of channels. Here, we establish a general additivity statement for the optimized sandwiched Rényi entropy of quantum channels. For that, we generalize the results of [Devetak, Junge, King, Ruskai, CMP 2006] to multi-index Schatten norms. As an application, we strengthen the additivity statement of [Van Himbeeck and Brown, 2025] thus allowing the analysis of time-adaptive quantum cryptographic protocols. In addition, we establish chain rules for Rényi conditional entropies that are similar to the ones used for the generalized entropy accumulation theorem of [Metger, Fawzi, Sutter, Renner, CMP 2024].

Neuronal Spike Trains as Functional-Analytic Distributions: Representation, Analysis, and Significance

2026-03-12T04:51:54Z

The action potential constitutes the digital component of the signaling dynamics of neurons. But the biophysical nature of the full-time course of the action potential associated with changes in membrane potential is mathematically distinct from its representation as a discrete set of events that encode when action potentials are triggered in a collection of spike trains. In this paper, we develop from first principles a unified functional-analytic framework for neuronal spike trains, grounded in Schwartz distribution theory. We show how this representation provides an exact operational calculus for convolution, distributional differentiation, and distributional support, which enables closed-form analysis of spike train dynamics without discretization, rate approximation, or smoothing. We then analyze the framework in the context of a two-neuron reciprocal circuit with propagation latencies and refractoriness, deriving exact results for synaptic drive, spike timing sensitivity, and causal admissibility of inputs, quantities that are either ill-defined or require approximation in conventional treatments.

Modular Cocycles and Haar-Type Measures on Topological Loops

2026-03-12T04:31:13Z

This paper is a continuation of the author's companion work \cite{InoueQuasi} on Haar-type measures for topological quasigroups, where the quasigroup setting was analyzed in connection with Kunen's theorem. We extend that framework to locally compact topological loops and study Haar-type (quasi-invariant) Radon measures together with modular cocycles describing the distortion of such measures under translations. Unlike the classical group case, the composition of translations in a loop is affected by the failure of associativity, which produces an additional correction term governed by an associativity deviation map. We derive the resulting cocycle relation and show that loop identities, in particular Moufang- and Kunen-type identities, impose structural restrictions on the modular data. In the associative limit, the cocycle reduces to the classical modular function of a locally compact group.

Long-time asymptotics for the heat kernel and for heat equation solutions on homogeneous trees

2026-03-11T18:57:55Z

We study the large-time behavior of the continuous-time heat kernel and of solutions to the heat equation on homogeneous trees. First, we derive sharp asymptotic formulas for the heat kernel as $t\to\infty$. Second, using them, we show that solutions with initial data in weighted $\ell^1$ classes, asymptotically factorize in $\ell^p$ norms, $p\in[1,\infty]$, as the product of the heat kernel, times a $p$-mass function, dependent on the initial condition and $p$. The $p$-mass function is described in terms of boundary averages associated with Busemann functions for $p<2$, while for $p\ge 2$, it is expressed through convolution with the ground spherical function. For comparison, the case of the integers shows that a single constant mass determines the asymptotics of solutions to the heat equation for all $p$, emphasizing the influence of the graph geometry on heat diffusion.

Constructing $k$-Kadison-Schwarz maps

2026-03-11T18:18:14Z

We study k Kadison Schwarz (k KS) mappings on matrix algebras and derive explicit conditions ensuring the k KS property for two classes of maps parameterized by a single k-positive map.

On positive definite thresholding of correlation matrices

2026-03-11T17:58:35Z

Standard thresholding techniques for correlation matrices often destroy positive semidefiniteness. We investigate the construction of positive definite functions that vanish on specific sets $K \subseteq [-1,1)$, ensuring that the thresholded matrix remains a valid correlation matrix. We establish existence results, define a criterion for faithfulness based on the linear coefficient of the normalized Gegenbauer expansion in analogy with Delsarte's method in coding theory, and provide bounds for thresholding at single points and pairs of points. We prove that for correlation matrices of rank $n$, any soft-thresholding operator that preserves positive semidefiniteness necessarily induces a geometric collapse of the feature space, as quantified by an $\mathcal{O}(1/n)$ bound on the faithfulness constant. Such demonstrates that geometrically unbiased soft-thresholding limits the recoverable signal.

On automatic boundedness of operators between ordered and topological vector spaces

2026-03-11T15:01:38Z

We study topological boundedness of order-to-topology bounded and order-to-topology continuous operators from ordered vector spaces to topological vector spaces. Levi and Lebesgue operators are investigated.

Automatic boundedness of some operators between ordered and topological vector spaces

2026-03-11T13:06:17Z

We study topological boundedness of order-to-topology bounded and order-to-topology continuous operators from ordered vector spaces to topological vector spaces. The uniform boundedness principle for such operators is investigated.

On automatic boundedness of some operators in ordered Banach spaces

2026-03-11T12:50:15Z

We study order-to-weak continuous operators from an ordered Banach space to a normed space. It is proved that under rather mild conditions every order-to-weak continuous operator is bounded.

Uniform discretization of continuous frames

2026-03-11T05:13:10Z

Let $H$ be an infinite-dimensional separable Hilbert space and let $(X,d,μ)$ be a metric measure space satisfying the doubling and upper Alhfors regularity conditions at small scale. We prove that every bounded continuous tight frame $Ψ\colon X\rightarrow H$ can be sampled to obtain a frame for $H$, which is uniformly discrete and nearly tight. That is, for every $0<ε<1$, there exist a sampling sequence $\{x_n\}_{n\in\mathbb{N}}$ in $X$ and $r>0$ such that $\inf_{n\neq m}d(x_n,x_m)\geq r$ and $\{Ψ(x_n)\}_{n\in\mathbb{N}}$ is a frame whose ratio of frame bounds is less than $1+ε$. We apply our main result to show that for every nonzero function $g$ in $L^2(\mathbb{R}^d)$ there exists a uniformly discrete set $Λ$ such that the corresponding Gabor system $\{e^{2πibx}g(x-a)\}_{(a,b)\in Λ}$ is a nearly tight frame. We also prove that if $ψ\in L^2(\mathbb{R})$ satisfies the Calderón admissibility condition, then there exists a uniformly discrete set $Γ$ such that wavelet system $\{a^{1/2}ψ(ax-b)\}_{(a,b)\in Γ}$ is a nearly tight frame. Analogous discretization results for exponential frames and spectral subspaces of elliptic differential operators are presented as well.

Interpolation scattering for wave equations with singular potentials and singular data

2026-03-11T05:07:54Z

In this paper we investigate a construction of scattering for wave-type equations with singular potentials on the whole space $\mathbb{R}^n$ in a framework of weak-$L^p$ spaces. First, we use an Yamazaki-type estimate for wave groups on Lorentz spaces and fixed point arguments to prove the global well-posedness for wave-type equations on weak-$L^p$ spaces. Then, we provide a corresponding scattering results in such singular framework. Finally, we use also the dispersive estimates to establish the polynomial stability and improve the decay of scattering in weak-$L^p$ spaces.

Brown-Halmos type theorems for generalized Cauchy singular integral operators and applications

2026-03-11T05:07:32Z

We investigate the commutativity and semi-commutativity of generalized singular integral operators of the form $P_{+} f P_{+} + P_{-} g P_{+} + P_{+} u P_{-} + P_{-} v P_{-}$ on $L^{2}$, where $P_{+}$ denotes the Riesz projection and $P_{-}=I-P_{+}$. Building on this analysis, we develop a unified approach to studying the algebraic properties of operator classes on $L^{2}$ generated by multiplication operators together with the Riesz projection. These classes include, but are not limited to, Toeplitz+Hankel operators, singular integral operators, Foguel--Hankel operators, and asymmetric dual truncated Toeplitz operators. We provide complete characterizations of (i) the quasinormality of singular integral operators, and (ii) the necessary and sufficient conditions under which the product of two asymmetric dual truncated Toeplitz operators is again an asymmetric dual truncated Toeplitz operator. In addition, our methods provide new proofs of several known results, including the classical Brown-Halmos theorems and the commutativity of Hankel operators, singular integral operators, and dual truncated Toeplitz operators. We also improve the conditions for the normality of singular integral operators.

Haar-Type Measures on Topological Quasigroups and Kunen's Theorem

2026-03-11T03:27:02Z

Haar measure is a fundamental structure in harmonic analysis on locally compact groups. Its existence reflects the compatibility between topology and the associative algebraic structure of groups. In this paper we propose a framework for Haar-type measures on topological quasigroups. Since associativity is absent, strict translation invariance is generally too strong to expect. We therefore introduce quasi-invariant measures whose defect is measured by a modular cocycle attached to translations. We then explain, in a detailed and cautious form, how Moufang-type identities may impose strong constraints on this cocycle. In particular, under additional quasi-invariance assumptions for right translations, the Moufang-type identity $(N1)$ leads naturally to a multiplicativity relation for the cocycle. This suggests a measure-theoretic interpretation of Kunen's theorem: the emergence of loop structure may be viewed as the collapse of a modular defect in the translation geometry of a quasigroup.

Generalized Hilbert matrix operators acting on weighted sequence spaces

2026-03-11T03:01:03Z

In this paper we introduce and study a new kind of generalized Hilbert matrix operators, induced by a positive finite Borel measure on (0,1), acting on weighted sequence spaces. We establish a sufficient and necessary condition for the boundedness of these operators. These results extend some related ones obtained recently in [Bull. London Math. Soc., 55 (2023), no. 6, 2598-2610].

Operators with small Kreiss constants

2026-03-11T01:33:58Z

We investigate matrices satisfying the Kreiss condition $$\|(zI-T)^{-1}\|\le\cfrac{K}{|z|-1}, \hspace{0.7 cm} |z|>1, $$ with $K$ lying arbitrarily close to $1.$ We provide lower bounds for the power growth of such matrices, which complement and refine related estimates due to Nikolski and Spijker-Tracogna-Welfert. We also study operators that satisfy a variant of the above Kreiss condition where $K$ is replaced by $1+ε(|z|)$, where the positive continuous function $ε(|z|)$ tends to $0$ as $|z|\to 1^+.$ We show that, if the spectrum of $T$ touches the unit circle only at a single point and the resolvent of $T$ satisfies a growth restriction along the unit circle, it is possible to choose $ε$ so that this Kreiss-type condition guarantees similarity to a contraction. At the core of our proof lies a positivity argument involving the double-layer potential operator. Counterexamples related to less restrictive choices of $ε$ are also provided.