We consider Schrödinger operators in $\ell^2(\mathbb{Z})$ with real-valued potentials in $\ell^\infty(\mathbb{Z})$ and show that the generic spectral type is pure point. More specifically, we show that for a generic bounded potential, the essential spectrum of the associated Schrödinger operator is a Cantor set and has zero weight with respect to all spectral measures.

Low-rank optimal transport (OT) mitigates the quadratic scaling of classical solvers, yet existing approaches rely heavily on first-order mirror-descent updates that require careful hyperparameter tuning and ignore the optimization landscape's curvature. To address these limitations, we propose a unified Riemannian geometric framework for low-rank OT, modeling balanced and unbalanced rank-$r$ positive factored couplings as novel smooth embedded submanifolds of the positive orthant. By equipping these manifolds with the Fisher-Rao product metric, we derive tractable formulations for Riemannian projectors, retractions, and Hessian-vector products. Our cost-agnostic framework seamlessly extends to linear OT, Gromov-Wasserstein (GW), fused GW, and their unbalanced counterparts. For balanced OT, our geometric ingredients are computed via efficient conjugate-gradient and iterative Bregman updates. For the unbalanced OT, our operations elegantly reduce to closed-form scalings, completely eliminating inner iterative loops. In both regimes, per-iteration complexity scales linearly with dataset size, and we provide a rank-sufficiency certificate for global optimality verification. Extensive experiments across a range of problem sizes demonstrate that our regularization-free first- and second-order solvers achieve faster convergence and superior performance over existing state-of-the-art low-rank OT solvers.

Let $X \subset ¶^5_{\C}$ be a smooth cubic this http URL Kuznetsov component $\sA_X$ is contained in the derived category $D^b(X)$ and the transcendental motive $t(X)$ is contained in the category of Chow motives $\sM_{rat}(\C))$. If $X$ and $Y$ are {\it Fourier -Mukai partners} and hence the categories $\sA_X$ and $\sA_Y$ are equivalent, then their transcendental motives $t(X)$ and $t(Y)$ are isomorphic. The aim of this note is to consider families of special cubic fourfolds $X$ with their FM-partners $Y$ and to give an explicit description of the isomorphism between the transcendental motives, in the case $X$ and $Y$ are rational and when they are conjecturally irrational. We also prove that,for special cubic fourfolds $X $ in countably many Hassett divisors, with a symplectic automorphism of order 3, there exists another special cubic fourfold $Y$, an equivalence of categories $\sA^G_X \simeq \sA_{Y}$, where $\sA^G_X$ is the equivariant Kuznetsov component, and an isomorphism $t(X) \simeq t(Y)$.

Lyapunov feedback laws can be constructed for performing orbital transfer maneuvers based on Gauss Variational Equations, or GVEs, while satisfying specified state and control constraints. These state and control constraints are enforced using barrier functions and saturation, respectively, while the reference governor, employed as a convergence governor, is used to avoid getting stuck at spurious equilibria that may be created by barrier functions. In this article, these Lyapunov feedback laws are extended to rendezvous maneuvers where not only five orbital elements are matched to prescribed target values, but also the true anomaly matches its time dependent target value. The modification involves altering the commanded semi major axis with an outer loop feedback law, also designed using Lyapunov techniques. We illustrate the resulting safe closed loop rendezvous maneuvers in simulations for conventional thrust based propulsion and Lorentz force-based propulsion. In the latter case, only the current through the tether is controlled, subject to current limits, to accomplish prescribed orbital transfer and rendezvous maneuvers.

The integral representation of completely monotone functions of several real variables as Laplace or Stieltjes-Fantappié transforms of positive measures opens a Hilbert space path toward their finite-point interpolation by simpler functions. We combine, within a non-commutative Radon transform framework, the matrix pencil realization of the positive semi-definite Hankel kernel associated with the sampling of a completely monotone function with Weyl's operational calculus and Fantappiè's analytic calculus. The interpolation is achieved by finitely determined entire or rational functions, respectively, which are directionally completely monotone. In our relaxation scheme, the original positive measure is approximated by a sequence of specific Wigner distributions, which can also be regarded as analytic functionals. Throughout the interpolation process, tight bounds are enforced on the modulus or the real part of the holomorphic extension to the underlying tube domain.

We study Dirichlet Green's functions associated with second-order parabolic systems with rapidly oscillating periodic coefficients that are symmetric and independent of time. For bounded $C^{1,1}$ domains, we obtain a sharp zeroth-order convergence estimate from the oscillating Green's function to its homogenized counterpart, with the optimal rate $O(\varepsilon)$ and Gaussian off-diagonal decay. For bounded $C^{2,1}$ domains, we also prove a first-order expansion for the spatial gradient in terms of Dirichlet correctors, with an $O(\varepsilon)$ error up to a logarithmic factor. In this time-independent symmetric setting, these results improve the convergence rates established by Geng in [Calc. Var. Partial Differ. Equ., 62(6), 2023] for parabolic systems with time-dependent periodic coefficient matrices.

In this chapter we review some results describing the high-frequency eigenmodes of the Laplacian on compact manifolds, or Euclidean domains, for which the geodesic flow is chaotic. We focus on the macroscopic distribution of these eigenmodes, which is described by the concept of semiclassical measure. The main result on the question is the Quantum Ergodicity theorem, originally due to Schnirelman. We provide the detailed proof of this theorem, including the adjustments necessary to treat the case of manifolds with boundary. We also discuss the Quantum Unique Ergodicity conjecture, and some progress towards this conjecture for strongly chaotic (Anosov) systems. In particular, we describe the constraints on admissible semiclassical measures, in terms of their Kolmogorov-Sinai entropy, as well as more recent delocalization results.

In this paper, we propose two fully decoupled, linear and structure-preserving block-centered finite difference schemes for the classical Keller-Segel chemotaxis system on staggered non-uniform spatial grids. Both novel schemes are second-order accurate in space; one is first-order accurate in time, while the other achieves second-order temporal accuracy. Moreover, we show that the schemes preserve several inherent physical laws at the discrete level: (i) the positivity of both the cell density and the chemoattractant concentration; (ii) the conservation of total cell mass; and (iii) a discrete energy dissipation property for the first-order scheme. In particular, the temporally first-order scheme unconditionally preserves positivity, mass conservation, and energy dissipation, whereas the second-order scheme ensures positivity under a sufficient (but not necessary) time-step condition. The proposed methods yield more accurate and efficient simulations of chemotactic dynamics, especially in the presence of rapid blow-up phenomena, on specified non-uniform spatial grids. Numerical experiments are conducted to validate the theoretical findings and to illustrate the accuracy and reliability of the proposed schemes.

Freedman and Krushkal introduced a triple torsion linking form for rational homology $3$-spheres and used it to obstruct locally flat embeddings in $S^4$. For every odd prime $p$, we identify their triple torsion form, computed with parameter $t=p$ on rational homology $3$-spheres whose first homology has exponent $p$, with the mod-$p$ triple cup product under torsion-linking duality. For algebraically split $\pm p$-framed surgery links, this gives a signed formula in terms of Milnor's integral length-three invariants $\bar\mu_{ijk}$, with the framing-sign factor dictated by torsion-linking duality. We then use Borromean band-sums to realize arbitrary mod-$p$ triple cup tensors on rational homology $3$-spheres with $H_1\cong(\mathbb Z/p)^6$ and fixed hyperbolic ordinary torsion linking form. Finally, using the classical spinor/Klein model for the split six-dimensional quadratic space, we classify the tensors with no dual null Hantzsche pair. This produces, for every odd prime $p$, a rational homology $3$-sphere with hyperbolic ordinary torsion linking form but with no locally flat embedding in $S^4$, and indeed no locally flat embedding in any integer homology $4$-sphere.

For integers $k\ge 1$ and $n\ge k+1$, let $\operatorname{ex}^{\mathrm{HIST}}_k(n)$ denote the maximum number of edges in a $k$-connected graph of order $n$ which contains no homeomorphically irreducible spanning tree (or briefly HIST). We determine these extremal numbers for $k=1$ and $k=2$. More precisely, we prove that $\operatorname{ex}^{\mathrm{HIST}}_1(n)=\binom{n-2}{2}+2$ for $n\ge 9$, with $L_n$ as the unique extremal graph, and that $\operatorname{ex}^{\mathrm{HIST}}_2(n)=\binom{n-3}{2}+4$ for $n\ge 13$, with $B_n$ as the unique extremal graph. This provides a Turán-type extremal result for spanning trees with no vertices of degree two.

We describe the anlogue of the Einsidler, Kaydev, Polo and Sarig on Intrinsic Ergodicity in the simple setting of expanding maps and, in particular, $\beta$-transformations.

We prove a Bishop--Phelps--Bollobás theorem for operators into spaces of continuous scalar-valued functions on extremally disconnected compact Hausdorff spaces over both the real and complex scalar fields. The main result applies whenever the density character of the domain is strictly smaller than the Baire number of the underlying compact space. The proof also yields an explicit quadratic Bishop--Phelps--Bollobás modulus. In particular, every separable Banach space paired with such a function space has the Bishop--Phelps--Bollobás property for operators.

We prove Sobolev-type inequality and local volume noncollapsing with optimal exponents for compact Kähler manifolds of uniformly bounded $q$-Nash entropy.

We characterize complex-elliptic operators $\mathbb A(D)$ through a hierarchy of overdeterminacy ($\ell$-vanishing) quantifying the structural twisting of their symbols. This framework yields the optimal dimensional estimate for $BV^{\mathbb A}$-functions: a measure ${\mathbb A} u$ cannot concentrate on sets of dimension below $n-1$. Consequently, the jump part of ${\mathbb A} u$ is characterized as an $(n-1)$-dimensional surface measure with density given by the symbol and the two-sided traces. Building on this dimensional bound, we prove that measures satisfying $\frac{{\mathbb A} u}{|{\mathbb A} u|} \in \mathrm{span}\{P_0\}$ precisely decompose into finite sums of one-dimensional $BV$ profiles. Ultimately, these results reveal that complex-ellipticity strictly enforces a plane-wave structure on tangent measures.

In this note we propose an effective method to estimate the dimension of the Feigenbaum attractor for the period doubling phenomenon. In particular, we will describe a way to convert the highly accurate estimates for $g$ into better estimates on $\dim(X)$.

Physics-informed neural networks (PINNs) combine machine learning with physical laws to solve differential equations. While existing results provide rigorous \emph{a posteriori} upper bounds for PINN prediction errors, complete certification also requires complementary lower information in order to obtain computable two-sided error enclosures. In this paper, we derive computable \emph{a posteriori} lower bounds for PINN errors in ordinary differential equations on suitable certified state-space domains under a localized strong monotonicity condition. We combine these estimates with complementary localized upper bounds under a one-sided Lipschitz condition, which is weaker than the global Lipschitz assumption used in previous work and can yield sharper upper error bands. The resulting bounds depend only on the neural-network approximation, the ODE residual, and local monotonicity and growth constants, and therefore do not require access to the exact solution. For linear time-invariant and time-varying systems, we further derive explicit formulas in terms of the minimal and maximal eigenvalues of the symmetric part of the system matrix. We also discuss the distinction between soft and hard enforcement of initial conditions in PINNs and explain why exact enforcement can make the scalar lower certificate uninformative. To recover nontrivial lower information in the linear setting, we use a signed-residual finite-probe certificate based on coordinate unit vectors. We also formulate a certificate-informed training strategy in which the propagated upper certificate is used as an auxiliary regularizer, while lower certificates remain post-training diagnostics. Altogether, the proposed framework provides rigorous and practically computable error certificates for PINN approximations of ODEs, while making explicit the domains and model classes for which the assumptions can be verified.

The main purpose of this note is to give a proof of the fact that the Toda brackets \ $\langle\bar{\nu},\sigma,\bar{\nu}\rangle$ and $\langle\nu,\eta, \bar{\sigma}\rangle$ are not trivial. This is an affirmative answer of M.~Mahowald's Conjecture (J. Mukai, Determination of the $P$-image by Toda brackets, Geometry and Topology Monographs \textbf{13}(2008), 355--383). The second purpose is to determine the relations including $\bar{\nu}_6\omega_{14}$ in $\pi^6_{30}$ and $\bar{\nu}_7\omega_{15}$ in $\pi^7_{31}$. To this end, we provide relations between the Toda bracket and the $J$-homomorphism, and between the Toda bracket and the generalized $P$-homomorphism.

We prove two conjectural $q$-congruences proposed by Guo. The first is Conjecture 7.2 in Guo's work on $q$-analogues of two ``divergent'' Ramanujan-type supercongruences; it asserts a square-cyclotomic congruence for a truncated $q$-analogue of a Ramanujan-type sum when $n\equiv1\pmod4$. The second is Conjecture 4.1 in Guo's extension of Van Hamme's $(A.2)$ supercongruence; it gives divisibility modulo $[n]$ for a family of truncated basic hypergeometric sums with a parameter $s$. The proof of the first result relies on a known Watson-transformation congruence obtained by Guo. The proof of the second result is based on period decomposition at primitive roots of unity and a reflection cancellation inside residue blocks.

We revisit flows of tensorial $H$-structures for closed and connected Lie subgroups $H\leqslant\mathrm{SO}(n)$, focusing on the topology of isometric classes. We prove that the natural map assigning to an $H$-structure its induced Riemannian metric is surjective and satisfies a parametric homotopy lifting property. Since the space of Riemannian metrics is contractible, the full space of $H$-structures is homotopy equivalent to any fixed isometric class. For parallelizable manifolds, especially flat tori, these classes reduce to mapping spaces into $\mathrm{SO}(n)/H$. We discuss almost Hermitian, $\mathrm{SU}(m)$, $\mathrm{G}_2$, and $\mathrm{Spin}(7)$ structures on flat tori, showing that their isometric classes and moduli modulo orientation-preserving diffeomorphisms may have infinitely many connected components. We relate this topology to the variational theory of the intrinsic torsion energy. On the unrestricted space of $H$-structures, the functional is scale-degenerate in dimensions $n>2$: its infimum is zero on every nonempty path component, and its only critical points are torsion-free structures. Inside fixed isometric classes this homothetic escape direction is absent. We reinterpret finite-time singularity formation as concentration in nontrivial isometric homotopy classes with zero energy infimum, and contrast this with cohomological classes, such as $\mathrm{U}(3)$-structures on the flat $6$-torus, which have positive lower bounds and admit smooth harmonic representatives from holomorphic maps into $\mathbb{CP}^3$. Finally, we revisit analytical aspects of our earlier work: we prove a lifting principle for metric-dependent flows, reinterpret the Ricci $H$-flow, derive a general evolution identity for isometric flows, and extend the harmonic-flow theory beyond the original structural assumptions.

A fundamental concept in linear algebra and its applications to network analysis is the Perron--Frobenius (PF) theorem, which underpins eigenvector-based centrality measures such as eigenvector centrality, PageRank, and hubs and authorities. By invoking the PF theorem, we know for strongly connected networks with positive edge weights that the eigenvector corresponding to the largest eigenvalue of the weight matrix yields a well-defined centrality measure (namely, eigenvector centrality). Traditional formulations of the PF theorem and associated centrality measures assume that networks have real-valued weights. However, many networks in areas such as quantum information, quantum chemistry, electrodynamics, and machine learning have complex-valued edge weights. In this paper, we study generalizations of the PF theorem to complex-valued matrices, establish connections between these generalizations, and propose generalized eigenvector-based centrality measures to analyzing node importances in networks with complex edge weights. We also prove results about the existence of complex-weighted networks that satisfy generalized PF properties and calculate associated centrality measures for several examples, which we draw from application areas such as electron transport, circuit analysis, mathematical chemistry, and communication networks.

We develop a framework for comparing probability measures on finite posets via hockey-stick domination, an order relation defined through interval-counting test functions. The theory introduces poset integrals, derivatives, power functions and the associated moment functionals, all of which are invariant under poset isomorphisms. We prove that hockey-stick domination admits an exact quantitative characterization: whenever $\mu$ is dominated by $\nu$ in the hockey-stick order, the corresponding Zolotarev-type distance is equal to one half of the second-order poset moment of $\nu-\mu$. We further develop a constructive theory for generating such domination relations. In particular, we show that hockey-stick domination is preserved under direct products, disjoint unions, ordinal sums, and suitable ideal restrictions, yielding natural families of examples on chains, Boolean posets, rectangular lattices, rooted trees, and Young diagrams.

Let ${\mathcal C} ^{\rm rt}$ be the class of rooted trees and $\langle {\mathcal C} ^{\rm rt}\rangle _{\dot{\cup }\Pi}$ its minimal closure under isomorphism, finite direct products and finite disjoint unions. Posets from that closure are isomorphic to ${\mathbb X}= \dot{\bigcup} _{i<n}\prod _{j<m_i}{\mathbb X}_i^j$, where ${\mathbb X}_i^j$ are rooted trees. Defining ${\mathcal T}=\mathop{\rm Th} ({\mathbb X})$, ${\mathcal T} _i ^j=\mathop{\rm Th}({\mathbb X}_i^j)$, for $i<n$ and $j<m_i$, and $\kappa = \prod _{i<n}\prod _{j<m_i}I({\mathcal T} _i^j)$, we have (a) Vaught's conjecture is true for ${\mathcal T}$: $I({\mathcal T})=\kappa $, if $\kappa\in \{ 1,\omega,{\mathfrak{c}}\}$, and, otherwise, $I({\mathcal T}) \in [3,\omega)$; (b) ${\mathbb Y} \equiv {\mathbb X}$ iff $\;{\mathbb Y} \cong \dot{\bigcup}_{i<n}\prod _{j<m_i}{\mathbb Y} _i^j$, where ${\mathbb Y}_i^j\equiv {\mathbb X}_i^j$, for $i<n$ and $j<m_i$; (c) ${\mathbb E}\preccurlyeq {\mathbb X}$ iff $\;{\mathbb E} =\dot{\bigcup}_{i<n}\prod _{j<m_i}{\mathbb E}_i^j$, where ${\mathbb E}_i^j\preccurlyeq {\mathbb X}_i^j$, for $i<n$ and $j<m_i$; (d) ${\mathcal T}$ is atomic iff $\;{\mathcal T} _i^j$, for $i<n$ and $j<m_i$, are atomic; then $\dot{\bigcup}_{i<n}\prod _{j<m_i}{\mathbb A}_i^j$ is a countable atomic model of ${\mathcal T}$, where ${\mathbb A}_i^j$ is a countable atomic model of ${\mathcal T} _i^j$, for $i<n$ and $j<m_i$; (e) ${\mathcal T}$ is small iff $\;{\mathcal T} _i^j$, for $i<n$ and $j<m_i$, are small; then $\dot{\bigcup}_{i<n}\prod _{j<m_i}{\mathbb S}_i^j$ is a countably saturated model of ${\mathcal T}$, where ${\mathbb S}_i^j$ is a countably saturated model of ${\mathcal T}_i^j$, for $i<n$ and $j<m_i$.

This manuscript investigates the spectral geometry of Riemannian submersions whose fibers have a basic mean curvature. By restricting the Laplace--Beltrami operator to the space of basic functions, we reduce the spectral problem on $M$ to the spectral problem for a weighted Laplacian on the base manifold, where the weight is determined by the fiber-volume function $S$. We derive a summation formula for the reciprocal of the basic Dirichlet eigenvalues (Basel-type series). Furthermore, using the framework of Supersymmetric Quantum Mechanics (SUSYQM), we establish a supersym\-me\-tric duality relating the basic Dirichlet and Neumann spectra under the trans\-for\-ma\-tion $S \mapsto 1/S$.

We study spherical T-duality for iterated sphere bundles. We show that for a class of iterated sphere bundles the cohomological data contained in its Gysin sequences can be repackaged into data for a vanishing Massey product. We further show that if these bundles are endowed with an integral cohomology class of transgressive degree one, then they have a T-dual iterated sphere bundle, namely, the one associated to the same Massey product read backwards.

In this paper, we study the metalinear algebraic cobordism spectrum $\mathrm{MML}$ (also sometimes denoted $\mathrm{MSL}^c$), which is built from the structure groups of oriented vector bundles. We establish an interpolation between $\mathrm{MSL}$ and $\mathrm{MML}$ and deduce that the canonical morphism $\mathrm{MSL}\to \mathrm{MML}$ admits a retraction. We parametrize all such retractions in the category of $\mathrm{MSL}$-modules and, after fixing one of them, obtain an equivalence $\mathrm{MML}\cong\mathrm{MSL}\oplus \Sigma^{2,1}\mathrm{MGL}$. As an application of these results, we determine various invariants of the metalinear algebraic cobordism spectrum over a field (after inverting the exponential characteristic). More precisely, we determine the first few Milnor-Witt stems of $\mathrm{MML}$ in terms of the very effective algebraic and hermitian K-theory spectra, and the geometric diagonal of $\mathrm{MML}$ in terms of Stong's complex-spin cobordism ring. We also compute the slices and use them to describe the category of 2-inverted modules over the $\mathbb{E}_\infty$-ring spectrum $\mathrm{MML}$.

Fractional Wiener--Weierstrass bridges are a class of Gaussian processes obtained by replacing trigonometric functions in the construction of classical Weierstrass functions by fractional Brownian bridges. A number of their sample path properties were derived in Schied--Zhang (2024,2026). The analysis in these papers left several open questions, most of which are addressed here. Specifically, we prove that, in the regime in which the Weierstrass mechanism dominates the underlying fractional Brownian bridge, the limiting $b$-adic variation coefficient has an absolutely continuous distribution and is therefore genuinely random. At the critical point between the two roughness regimes, we establish the power-variation formula and the critical $\Phi$-variation limit conjectured in Schied--Zhang (2024). Finally, we derive the Hausdorff dimension for the graphs of the sample paths by proving a conjecture from Schied--Zhang (2026) for the missing high-Hurst case.

We introduce a rank measure for first-order logic and prove a "rank-preserving'" version of Gaifman's theorem. Compared to earlier "rank-preserving locality theorems'" (in particular, [Grohe, Kreutzer, Siebertz, JACM 2017]), our theorem is not only much simpler, but also yields formulas in exactly the same normal form as Gaifman's original theorem. As an application of this theorem, we give a simplified proof of the main result of [Grohe, Kreutzer, Siebertz, JACM 2017] that first-order properties of nowhere-dense structures can be decided in almost linear time.

Let $\varepsilon\in (0,1/2]$ and let $G$ be a balanced bipartite graph on $2n$ vertices with minimum degree at least $(1/2 + \varepsilon)n$. Then, whp, the hitting time for minimum degree 2 coincides with the hitting time for Hamiltonicity. This extends Bollobás--Kohayakawa and gives a bipartite analogue of Johansson's theorem. As an immediate corollary, we deduce a sharp threshold result for Hamiltonicity in such graphs.

Lifted product codes are an important family of quantum low-density parity-check (QLDPC) codes, as they were the first QLDPC code family shown to be asymptotically good. Understanding the structure of their parity-check matrices $H_{\mathsf{X}}$ and $H_{\mathsf{Z}}$, as well as the associated Tanner graphs, is essential for analyzing their decoding behavior and error-floor performance. In this work, we show that the Tanner graphs of $H_{\mathsf{X}}$ and $H_{\mathsf{Z}}$ are indeed isomorphic, and investigate their graph-theoretical structure. We establish conditions ensuring the connectivity of these graphs and provide bounds on their minimal absorbing sets, providing new insight into the combinatorial structures influencing decoding performance.

Community detection in complex networks is frequently challenged by incomplete or noisy adjacency matrices. Traditional symmetric nonnegative matrix factorization methods typically rely on zero-imputation for unobserved entries, which compromises clustering reliability. This paper proposes a Masked Symmetric Nonnegative Matrix Factorization (Masked SymNMF) framework designed to factorize partially observed networks directly. By defining a masking operator over the observed entries, the proposed model restricts the objective evaluation exclusively to valid data. To overcome the severe non-convexity inherent in the symmetric factorization, we formulate an asymmetric relaxation penalized by a regularization term. We prove the exact penalty property of this reformulated model, establishing its theoretical equivalence to the original symmetric problem under sufficient regularization. Furthermore, an alternating nonnegative least squares framework is developed, yielding tailored update rules for Multiplicative Updates, Hierarchical Alternating Least Squares, and Projected Gradient Descent algorithms. Extensive numerical experiments on synthetic datasets and real-world networks demonstrate that the proposed Masked SymNMF outperforms baseline imputation methods across varying observation densities, providing a theoretically sound and practically efficient approach for community detection in incomplete networks.