Inductive biases influence the behavior and performance of sequential models. In this work, we study an underexplored inductive bias in sequential modeling: continuity in time. We ask a simple question: do models motivated by continuous-time formulations, such as state-space models, actually behave continuously in time, and does this translate into better performance on tasks with continuous temporal structure? To answer this, we formalize model continuity as convergence under temporal refinement, where a model is continuous if its predictions approach an underlying continuous trajectory as the temporal discretization is refined. We show that S4 exhibits stable continuous behavior, whereas S6 (the core of Mamba) can be more sensitive to input amplitude and selective dynamics, despite being derived from a continuous dynamical system. To study whether this distinction matters for learning, we also need a corresponding notion of task continuity. We therefore introduce a metric to quantify the continuity of datasets directly from their temporal structure. Across benchmarks, we find a clear empirical alignment between task continuity, model continuity, and model performance. Beyond an i
Minimum mean square error (MMSE) estimation is widely used in signal processing and related fields. While it is known to be non-continuous with respect to all standard notions of stochastic convergence, it remains robust in practical applications. In this work, we review the known counterexamples to the continuity of the MMSE. We observe that, in these counterexamples, the discontinuity arises from an element in the converging measurement sequence providing more information about the estimand than the limit of the measurement sequence. We argue that this behavior is uncharacteristic of real-world applications and introduce a new stochastic convergence notion, termed Markovian convergence, to address this issue. We prove that the MMSE is, in fact, continuous under this new notion. We supplement this result with semi-continuity and continuity guarantees of the MMSE in other settings and prove the continuity of the MMSE under linear estimation.
We introduce the Quantum State Continuity Problem (QSCP), a security objective orthogonal to identity authentication that captures whether a systems current execution is a legitimate continuation of a unique past execution. We show that classical and stateless quantum authentication mechanisms fail to enforce continuity and remain vulnerable to fork attacks. To address this gap, we propose the Quantum State Continuity Witness (QSCW), a minimal quantum-assisted primitive that enforces temporal linkage of execution through stateful quantum evolution and cumulative auditing. Using a GHZ-based toy instantiation and extensive simulation, we demonstrate that temporal enforcement suppresses fork attacks with exponential decay in success probability, while remaining robust to noise and system parameters. Our results highlight execution continuity as a distinct and underexplored dimension of system security.
The $α$-quantile of a stochastic process $M_{t,α}$ has been introduced in Miura (Hitotsubashi J Commerce Manag 27(1):15-28, 1992), and important distributional results have been derived in Akahori (Ann Appl Probab 5(2):383-388, 1995), Dassios (Ann Appl Probab 5(2):389-398, 1995) and Yor (J Appl Probab 32(2):405-416, 1995), with special attention given to the problem of pricing $α$-quantile options. We straightforwardly extend the classical monodimensional setting to $\mathbb{R}^d$ by introducing the hyperplane $α$-quantile, and we find an explicit functional continuity set of the $α$-quantile as a functional mapping $\mathbb{R}^d$-valued cadlag functions to $\mathbb{R}$. This specification allows us to use continuous mapping and assert that if a $\mathbb{R}^d$-valued cadlag stochastic process $X$ a.s. belongs to such continuity set, then $X^n \Rightarrow X$ (i.e., weakly in the Skorokhod sense) implies $M_{t,α}(X^n) \to^\textrm{w} M_{t,α}(X)$ (i.e., weakly) in the usual sense. We further the discussion by considering the conditions for convergence of a 'random time' functional of $M_{t,α}$, the first time at which the $α$-quantile has been hit, applied to sequences of cadlag functi
Lower semi-continuity (\texttt{LSC}) is a critical assumption in many foundational optimisation theory results; however, in many cases, \texttt{LSC} is stronger than necessary. This has led to the introduction of numerous weaker continuity conditions that enable more general theorem statements. In the context of unstructured optimization over topological domains, we collect these continuity conditions from disparate sources and review their applications. As primary outcomes, we prove two comprehensive implication diagrams that establish novel connections between the reviewed conditions. In doing so, we also introduce previously missing continuity conditions and provide new counterexamples.
We show that Frenkel's integral representation of the quantum relative entropy provides a natural framework to derive continuity bounds for quantum information measures. Our main general result is a dimension-independent semi-continuity relation for the quantum relative entropy with respect to the first argument. Using it, we obtain a number of results: (1) a tight continuity relation for the conditional entropy in the case where the two states have equal marginals on the conditioning system, resolving a conjecture by Wilde in this special case; (2) a stronger version of the Fannes-Audenaert inequality on quantum entropy; (3) better estimates on the quantum capacity of approximately degradable channels; (4) an improved continuity relation for the entanglement cost; (5) general upper bounds on asymptotic transformation rates in infinite-dimensional entanglement theory; and (6) a proof of a conjecture due to Christandl, Ferrara, and Lancien on the continuity of 'filtered' relative entropy distances.
In this paper, we consider standard processes that admit dual processes and satisfy the absolute continuity condition, i.e., processes possess transition densities. For such processes, the Revuz correspondence relates positive continuous additive functionals (PCAFs) to so-called smooth measures. We show the continuity of this correspondence. Specifically, we show that if the $1$-potentials of smooth measures converge (locally) uniformly as functions, then the associated PCAFs converge. This result is derived by directly estimating the distance between the PCAFs in terms of the distance between the $1$-potentials of the associated smooth measures. Furthermore, in cases where the transition density is jointly continuous, we present sufficient conditions for the convergence of $1$-potentials based on the weak or vague convergence of smooth measures. The framework in this paper contains the class of symmetric Hunt processes that are associated with regular Dirichlet forms and satisfy the absolute continuity condition.
We study the moduli of continuity of functions of bounded variation and of their variation functions. It is easy to see that the modulus of continuity of a function of bounded variation is always smaller or equal to the modulus of continuity of its variation function. We show that we cannot make any reasonable conclusion on the modulus of continuity of the variation function if we only know the modulus of continuity of the parent function itself. In particular, given two moduli of continuity, the first being weaker than Lipschitz continuity, we show that there exists a function of bounded variation with minimal modulus of continuity less than the first modulus of continuity, but with a variation function with minimal modulus of continuity greater than the second modulus of continuity. In particular, this negatively resolves the open problem whether the variation function of an $α$-Hölder continuous function is $α$-Hölder continuous.
The Schur-Horn theorem is a well-known result that characterizes the relationship between the diagonal elements and eigenvalues of a symmetric (Hermitian) matrix. In this paper, we extend this theorem by exploring the eigenvalue perturbation of a symmetric (Hermitian) matrix with fixed diagonals, which is referred to as the continuity of the Schur-Horn mapping. We introduce a concept called strong Schur-Horn continuity, characterized by minimal constraints on the perturbation. We demonstrate that several categories of matrices exhibit strong Schur-Horn continuity. Leveraging this notion, along with a majorization constraint on the perturbation, we prove the Schur-Horn continuity for general symmetric (Hermitian) matrices. The Schur-Horn continuity finds applications in oblique manifold optimization related to quantum computing.
We construct a monotone, continuous, but not absolutely continuous function whose minimal modulus of continuity is absolutely continuous. In particular, we establish that there is no equivalence between the absolute continuity of a function and the absolute continuity of its modulus of continuity, in contrast with a well-known property of Lipschitz functions.
In this paper, we have studied first the idea of rough continuity of real valued functions of real variables and then we have discussed some important properties of rough continuity. Then we study the idea of rough $I$-continuity of real valued functions and find the relation between rough $I$-continuity and rough continuity. We also introduce the notion of rough $(I_1, I_2)$-continuity and rough $I^*$-continuity of real valued functions and discuss some properties on this two types on continuity.
A general overview of the phenomenon of automatic continuity of homomorphisms between Polish groups is given. In particular, we study variants and improvements of the closed graph theorem, applying these to the problem of continuity of universally measurable homomorphisms and also to gauge the amount of choice needed to construct discontinuous homomorphisms between Polish groups. Furthermore, we provide a simple proof of automatic continuity in the context of homeomorphism groups of compact manifolds and a complete reworking of automatic continuity theory in the context of isometry groups of highly homogeneous complete metric structures.
We prove the continuity of Sobolev functions $\varphi \in W^{1,n}_{\mathrm{loc}}(Ω)$, $Ω\subset \mathbb{R}^n$, that satisfy \[ \lvert abla \varphi(x)\rvert^n \le K(x)\bigl(\langle abla \varphi(x), ξ(x)\rangle + A(x)\bigr), \] where $ξ\in L_{\mathrm{loc}}^{n/(n-1)}(Ω, \mathbb{R}^n)$ is weakly divergence-free, and $K \in L^p_{\mathrm{loc}} (Ω)$, $A \in L^q_{\mathrm{loc}} (Ω)$ are non-negative with $p^{-1}+q^{-1}<1$. The result is applicable to a broad class of differential inequalities of null Lagrangian type. As our principal application, we obtain a sharp continuity theorem for $f \in W^{1,n}_{\mathrm{loc}} (Ω, \mathbb{R}^n)$ satisfying the distortion inequality with defect $\lvert Df(x)\rvert^n \le K(x)\det Df(x) + Σ(x)$; this result is new even in the planar case, and closes a significant gap between existing methods and known counterexamples. The proof relies on an overlooked Sobolev-type inequality formulated in terms of measures of superlevel sets.
We derive a measurement-independent asymptotic continuity bound on the observational entropy for general POVM measurements, making essential use of its property of bounded concavity. The same insight is used to obtain continuity bounds for other entropic quantities, including the measured relative entropy distance to a convex a set of states under a general set of measurements. As a special case, we define and study conditional observational entropy, which is an observational entropy in one (measured) subsystem conditioned on the quantum state in another (unmeasured) subsystem. We also study continuity of relative entropy with respect to a jointly applied channel, finding that observational entropy is uniformly continuous as a function of the measurement. But we show by means of an example that this continuity under measurements cannot have the form of a concrete asymptotic bound.
Any abstract (not necessarily continuous) group automorphism of a simple, compact Lie group must be continuous due to Cartan (1930) and van der Waerden (1933). The purpose of this paper is to study a similar question in nilpotent Lie groups. For many simply connected 2-step nilpotent Lie groups, we show any abstract group automorphism is continuous "up to discontinuity due to the center and field automorphisms of $\mathbb{C}$." Such groups include (1) a generic simply connected 2-step nilpotent Lie group of type $(p,q)$ with $p$ large, (2) all twelve simply connected 2-step nilpotent Lie groups of dimensions 6 or less except for one example, and (3) Iwasawa N-groups of simple Lie groups of rank 1, i.e., "Heisenberg groups". To our knowledge, the exception in (2) is the first nilpotent Lie group whose automorphism group is not of the type described above. In the proof for (3), we use tools from Riemannian geometry, even though the result is purely algebraic. All of the three cases are derived from one key result that gives a sufficient condition for the automorphism group to be of the type described above.
The continued fraction mapping maps a number in the interval $[0,1)$ to the sequence of its partial quotients. When restricted to the set of irrationals, which is a subspace of the Euclidean space $\mathbb{R}$, the continued fraction mapping is a homeomorphism onto the product space $\mathbb{N}^{\mathbb{N}}$, where $\mathbb{N}$ is a discrete space. In this short note, we examine the continuity of the continued fraction mapping, addressing both irrational and rational points of the unit interval.
A sequence $\textbf{p}=(p_{n})$ of real numbers is called Abel convergent to $\ell$ if the series $Σ_{k=0}^{\infty}p_{k}x^{k}$ is convergent for $0\leq x<1$ and \[\lim_{x \to 1^{-}}(1-x) \sum_{k=0}^{\infty}p_{k}x^{k}=\ell.\] We introduce a concept of Abel continuity in the sense that a function $f$ defined on a subset of $\Re$, the set of real numbers, is Abel continuous if it preserves Abel convergent sequences, i.e. $(f(p_{n}))$ is an Abel convergent sequence whenever $(p_{n})$ is. A new type of compactness, namely Abel sequential compactness is also introduced, and interesting theorems related to this kind of compactnes, Abel continuity, statistical continuity, lacunary statistical continuity, ordinary continuity, and uniform continuity are obtained.
General methods of quantitative and qualitative continuity analysis of characteristics of composite quantum systems are described. Several modifications of the Alicki-Fannes-Winter method are considered, which make it applicable to a wide class of characteristics in both finite-dimensional and infinite-dimensional cases. A new approximation method for obtaining local continuity conditions for various characteristics of quantum systems is proposed and described in detail. This method allows us to prove several general results (Simon-type dominated convergence theorem, the theorem about preserving continuity under convex mixtures, etc.). Uniform continuity bounds and local continuity conditions for basic characteristics of composite quantum systems are presented. Along with the results obtained earlier by different authors, a number of new results proved by the proposed methods are described.
We start with Fannes' type and Winter's type tight continuity bounds for the quantum conditional mutual information and their specifications for states of special types. Then we analyse continuity of the Holevo quantity with respect to nonequivalent metrics on the set of discrete ensembles of quantum states. We show that the Holevo quantity is continuous on the set of all ensembles of m states with respect to all the metrics if either m or the dimension of underlying Hilbert space is finite and obtain Fannes' type tight continuity bounds for the Holevo quantity in this case. In general case conditions for local continuity of the Holevo quantity for discrete and continuous ensembles are found. Winter's type tight continuity bound for the Holevo quantity under constraint on the average energy of ensembles is obtained and applied to the system of quantum oscillators. The above results are used to obtain tight and close-to-tight continuity bounds for basic capacities of finite-dimensional channels (refining the Leung-Smith continuity bounds).
Let $f$ be a $C^r$ surface diffeomorphism with large entropy (more precisely, $h_{\rm top}(f)>λ_{\min}(f)/{r}$). Then the number of ergodic measures of maximal entropy is upper semicontinuous at $f$. This generalizes the $C^\infty$ case studied in \cite{BCS22}, answering Question 1.9 there. Moreover, the number of such measures is locally constant if and only if every ergodic measure of maximal entropy of $f$ admits an ergodic continuation under small perturbations. In this case, the accumulation points of ergodic measures of maximal entropy are themselves ergodic. These facts are new, even in the $C^\infty$ case.