搜索结果：reduction

We record a Weyl-positive reduction and certificate framework for the Riemann phase kernel associated with the even Riemann kernel $Φ$. The manuscript does not present a complete proof of the Riemann hypothesis. Its immediate analytic target is a concrete positivity theorem for a Weyl kernel whose quantum characteristic function satisfies the Kastler--Loupias--Miracle-Sole condition in all numerical tests performed so far. Several natural factorizations are ruled out. In particular, the positive anti-Wick density route is obstructed by a local heat-deconvolution test, and several natural finite-core reductions are excluded by explicit counterexamples. The surviving structure is a finite-core Volterra program upgraded to a closed-trace quotient certificate for the full kernel. We derive exact same-sign finite-core formulae, the second-order theta-mode identity $φ_n(t)=(\partial_t^2-1/4)(e^{t/2}e^{-πn^2e^{2t}})$ for $n\ge1$, a Volterra boundary-plus-tail representation, and a quotient Schur factorization for the normalized full-$Φ$ source/Volterra model. The latest certificate closes the active trace-range condition, the full-continuum source-inactive domination, and the Douglas/Moor

Which internal mechanisms of a neural network can be replaced while preserving the computation it performs? Structured pruning asks for smaller deployable networks; causal abstraction asks for high-level models that commute with interventions. We introduce causal mechanism reduction (CMR), a framework that treats a trained network as a deterministic structural causal model and replaces selected internal variables by constants or affine functions of retained variables. These replacements compile exactly into smaller dense networks by bias and weight folding, and induce reduced causal models testable with interchange interventions. We derive a unified second-order replacement-risk objective whose special cases recover mean replacement, variance-based pruning (VBP), logit-distortion scoring, and affine neuron merging, together with a margin-based certificate linking logit distortion to interchange-intervention agreement. The framework also exposes a basic invariance requirement: functionally identical ReLU networks should induce the same reduction. Under exact positive-scaling reparameterizations, VBP's kept set collapses to chance-level overlap while the logit-distortion score is exa

We introduce a new reduction of the motion of three point vortices in a two-dimensional ideal fluid. This proceeds in two stages: a change of variables to Jacobi coordinates and then a Nambu reduction. The new coordinates demonstrate that the dynamics evolve on a two-dimensional manifold whose topology depends on the sign of a parameter $κ_2$ that arises in the reduction. For $κ_2>0$, the phase space is spherical, while for $κ_2<0$, the dynamics are confined to the upper sheet of a two-sheeted hyperboloid. We contrast this reduction with earlier reduced systems derived by Gröbli, Aref, and others in which the dynamics are determined from the pairwise distances between the vortices. The new coordinate system overcomes two related shortcomings of Gröbli's reduction that have made understanding the dynamics difficult: their lack of a standard phase plane and their singularity at all configurations in which the vortices are collinear. We apply this to two canonical problems. We first discuss the dynamics of three identical vortices and then consider the scattering of a propagating dipole by a stationary vortex. We show that the points dividing direct and exchange scattering solut

In this article we prove a derived version of the Marsden-Weinstein-Meyer symplectic reduction theorem. We model the symplectic quotient as a dg-groupoid. We then construct the reduced symplectic form inside the Bott-Shulman complex of the groupoid. Finally, we show that the reduced form satisfies a derived analogue of the non-degeneracy condition.

Active Infrared thermography (AIRT) is a widely adopted non-destructive testing (NDT) technique for detecting subsurface anomalies in industrial components. Due to the high dimensionality of AIRT data, current approaches employ non-linear autoencoders (AEs) for dimensionality reduction. However, the latent space learned by AIRT AEs lacks structure, limiting their effectiveness in downstream defect characterization tasks. To address this limitation, this paper proposes a principal component analysis guided (PCA-guided) autoencoding framework for structured dimensionality reduction to capture intricate, non-linear features in thermographic signals while enforcing a structured latent space. A novel loss function, PCA distillation loss, is introduced to guide AIRT AEs to align the latent representation with structured PCA components while capturing the intricate, non-linear patterns in thermographic signals. To evaluate the utility of the learned, structured latent space, we propose a neural network-based evaluation metric that assesses its suitability for defect characterization. Experimental results show that the proposed PCA-guided AE outperforms state-of-the-art dimensionality redu

Given a unitary operator in a finite dimensional complex Hilbert space, its unitary reduction to a subspace is defined. The application to quantum graphs is discussed. It is shown how the reduction allows to generate the scattering matrices of new quantum graphs from assembling of simpler graphs. The reduction of quantum channels is also defined. The implementation of the quantum gates corresponding to the reduced unitary operator is investigated, although no explicit construction is presented. The situation is different for the reduction of quantum channels for which explicit implementations are given.

In Transformer architectures, tokens\textemdash discrete units derived from raw data\textemdash are formed by segmenting inputs into fixed-length chunks. Each token is then mapped to an embedding, enabling parallel attention computations while preserving the input's essential information. Due to the quadratic computational complexity of transformer self-attention mechanisms, token reduction has primarily been used as an efficiency strategy. This is especially true in single vision and language domains, where it helps balance computational costs, memory usage, and inference latency. Despite these advances, this paper argues that token reduction should transcend its traditional efficiency-oriented role in the era of large generative models. Instead, we position it as a fundamental principle in generative modeling, critically influencing both model architecture and broader applications. Specifically, we contend that across vision, language, and multimodal systems, token reduction can: (i) facilitate deeper multimodal integration and alignment, (ii) mitigate "overthinking" and hallucinations, (iii) maintain coherence over long inputs, and (iv) enhance training stability, etc. We refram

We introduce a fourth-order Willmore-type problem for closed four-dimensional submanifolds immersed in $\mathbb{R}^n$ and establish a connected sum energy reduction for the general fourth-order Willmore energy, analogous to the seminal result of Bauer and Kuwert \cite{Bauer-Kuwert03}.

Foveated rendering methods usually reduce spatial resolution in the periphery of the users' view. However, using foveated rendering to reduce temporal resolution, i.e., rendering frame rate, seems less explored. In this work, we present the results of a user study investigating the perceptual effects of foveated temporal resolution reduction, where only the temporal resolution (frame rate) is reduced in the periphery without affecting spatial quality (pixel density). In particular, we investigated the perception of temporal resolution artifacts caused by reducing the frame rate dependent on the eccentricity of the user's gaze. Our user study with 15 participants was conducted in a virtual reality setting using a head-mounted display. Our results indicate that it was possible to reduce average rendering costs, i.e., the number of rendered pixels, to a large degree before participants consistently reported perceiving temporal artifacts.

We review the correspondence between synchronous games and their associated $*$-algebra. Building upon the work of (Helton et al., New York J. Math. 2017), we propose results on algebraic and locally commuting graph identities. Based on the noncommutative Nullstellensätze (Watts, Helton and Klep, Annales Henri Poincaré 2023), we build computational tools that check the non-existence of perfect $C^*$ and algebraic strategies of synchronous games using Gröbner basis methods and semidefinite programming. We prove the equivalence between the hereditary and $C^*$ models questioned in (Helton et al., New York J. Math. 2017). We also extend the quantum-version NP-hardness reduction $\texttt{3-SAT}^* \leq_p \texttt{3-Coloring}^*$ due to (Ji, arXiv 2013) by exhibiting another instance of such reduction $\texttt{3-SAT}^* \leq_p \texttt{Clique}^*$.

This work develops a non-intrusive, data-driven surrogate modeling framework based on Operator Inference (OpInf) for rapidly solving parameter-dependent matrix equations in many-query settings. Motivated by the requirements of the OpInf methodology, we reformulate the matrix equations into a structured representation that explicitly shows the parameter dependence in polynomial form. This reformulation is crucial for efficient model reduction. This approach constructs reduced-order models via regression on solution snapshots, bypassing the need for expensive full-order operators and thus overcoming the primary bottlenecks of intrusive methods in high-dimensional contexts. Numerical experiments confirm their accuracy and computational efficiency, demonstrating that our work is a scalable and practical solution for parameter-dependent matrix equations.

Bayesian optimisation (BO) is a standard approach for sample-efficient global optimisation of expensive black-box functions, yet its scalability to high dimensions remains challenging. Here, we investigate nonlinear dimensionality reduction techniques that reduce the problem to a sequence of low-dimensional Latent-Space BO (LSBO). While early LSBO methods used (linear) random projections (Wang et al., 2013), building on Grosnit et al. (2021), we employ Variational Autoencoders (VAEs) for LSBO, focusing on deep metric loss for structured latent manifolds and VAE retraining to adapt the encoder-decoder to newly sampled regions. We propose some changes in their implementation, originally designed for tasks such as molecule generation, and reformulate the algorithm for broader optimisation purposes. We then couple LSBO with Sequential Domain Reduction (SDR) directly in the latent space (SDR-LSBO), yielding an algorithm that narrows the latent search domains as evidence accumulates. Implemented in a GPU-accelerated BoTorch stack with Matern-5/2 Gaussian process surrogates, our numerical results show improved optimisation quality across benchmark tasks and that structured latent manifold

Cycloids are particular Petri nets for modelling processes of actions and events, belonging to the fundaments of Petri's general systems theory. Defined by four parameters they provide an algebraic formalism to describe strongly synchronized sequential processes. To further investigate their structure, reduction systems of cycloids are defined in the style of rewriting systems and properties of irreducible cycloids are proved. In particular the synthesis of cycloid parameters from their Petri net structure is derived, leading to an efficient method for a decision procedure for cycloid isomorphism.

Geophysical flow simulations using hyperbolic shallow water moment equations require an efficient discretization of a potentially large system of PDEs, the so-called moment system. This calls for tailored model order reduction techniques that allow for efficient and accurate simulations while guaranteeing physical properties like mass conservation. In this paper, we develop the first model reduction for the hyperbolic shallow water moment equations and achieve mass conservation. This is accomplished using a macro-micro decomposition of the model into a macroscopic (conservative) part and a microscopic (non-conservative) part with subsequent model reduction using either POD-Galerkin or dynamical low-rank approximation only on the microscopic (non-conservative) part. Numerical experiments showcase the performance of the new model reduction methods including high accuracy and fast computation times together with guaranteed conservation and consistency properties.

In this article, the Virasoro-type reduction and the corresponding inverse reductions are established for W-algebras associated with classical Lie type and nilpotent orbits of height two. Moreover, these results are lifted to the universal objects by analyzing the Virasoro-type reduction of the vertex algebra $\mathcal{W}^{\mathfrak{sp}}_{\infty}$.

We study the finite deformation of a thin, elastically heterogeneous sheet subject to electrostatic coupling. The interaction between mechanics and electrostatics is formulated as a saddle-point problem involving the deformation and the electrostatic potential. Starting from a three-dimensional electro-elastic model with prestrain in the elastic energy, we rigorously derive a reduced plate model in the bending regime. To perform the dimension reduction, that is, to derive the energy of a thin object by taking a suitable limit as its thickness tends to zero, we apply $Γ$-convergence-type methods to the underlying saddle-point problem. In the case of bivariate functionals, this convergence is understood in an adapted epi/hypo-convergence sense. In this concept, we demonstrate the convergence of the rescaled electro-elastic problems to an effective two-dimensional bending model coupled to electric effects. We verify that cluster points of saddle points are saddle points for the limit.

Through experiments, we idealise a plant leaf as a flexible, thin, rectangular plate clamped at the midpoint and positioned perpendicular to an airflow. Flexibility of the structure is considered as an advantage at moderate flow speed because it allows drag reduction by elastic reconfiguration, but it can also be at the origin of several flow-induced vibration phenomena at higher flow speeds. A wind tunnel campaign is conducted to identify the limitation to elastic reconfiguration that dynamic instability imposes. Here we show by increasing the flow speed that the flexibility permits a considerable drag reduction by reconfiguration, compared to the rigid case. However, beyond the stability limit, vibrations occur and limit the reconfiguration. This limit is represented by two dimensionless numbers: the mass number, and the Cauchy number. Our results reveal the existence of a critical Cauchy number below which static reconfiguration with drag reduction is possible and above which a dynamic instability with important fluctuating loads is present. The critical dimensionless velocity is dependant on the mass number. Flexibility is related to the critical reduced velocity, and allows de

This paper introduces non-linear dimension reduction in factor-augmented vector autoregressions to analyze the effects of different economic shocks. I argue that controlling for non-linearities between a large-dimensional dataset and the latent factors is particularly useful during turbulent times of the business cycle. In simulations, I show that non-linear dimension reduction techniques yield good forecasting performance, especially when data is highly volatile. In an empirical application, I identify a monetary policy as well as an uncertainty shock excluding and including observations of the COVID-19 pandemic. Those two applications suggest that the non-linear FAVAR approaches are capable of dealing with the large outliers caused by the COVID-19 pandemic and yield reliable results in both scenarios.

Classical energy-momentum methods study the existence and stability properties of solutions of $t$-dependent Hamilton equations on symplectic manifolds whose evolution is given by their Hamiltonian Lie symmetries. The points of such solutions are called relative equilibrium points. This work devises a new cosymplectic energy-momentum method providing a new and more general framework to study $t$-dependent Hamilton equations. In fact, cosymplectic geometry allows for using more types of distinguished Lie symmetries (given by Hamiltonian, gradient, or evolution vector fields), relative equilibrium points, and reduction methods, than symplectic techniques. To make our work more self-contained and to fill some gaps in the literature, a review of the cosymplectic formalism and the cosymplectic Marsden-Weinstein reduction is included. Known and new types of relative equilibrium points are characterised and studied. Our methods remove technical conditions used in previous energy-momentum methods, like the ${\rm Ad}^*$-equivariance of momentum maps. Eigenfunctions of $t$-dependent Schrödinger equations are interpreted in terms of relative equilibrium points in cosymplectic manifolds. A new