共找到 20 条结果
In the framework of physics experiments searching for rare events, the selection of extremely radiopure materials is a challenging task, as the signal of interest is often hidden by instrumental background. Neutron activation is a powerful technique to measure trace contaminants with high sensitivity but, to be properly applied, it requires a good characterization of neutron irradiation and $γ$-spectroscopy facilities. This paper presents the state-of-the-art workflow adopted by the Radioactivity Laboratory of the University of Milano-Bicocca for radiopurity screening of materials by neutron activation performed at the TRIGA reactor in Pavia. The ultimate sensitivity of the described workflow, in the absence of interfering activation products and without the application of radiochemical and/or active background rejection techniques, is $<10^{-14}$ g/g for $^{40}$K, $<10^{-12}$ g/g for $^{238}$U and of the order of $10^{-12}$ g/g for $^{232}$Th contaminations. Further details are here provided to address systematic uncertainties related to neutron irradiation that may bias results. To this aim, a dedicated neutron activation campaign was performed and the data were analyzed ex
A time evolution model was developed to study fuel burnup for the TRIGA Mark II reactor at the University of Pavia. The results were used to predict the effects of a complete core reconfiguration and the accuracy of this prediction was tested experimentally. We used the Monte Carlo code MCNP5 to reproduce system neutronics in different operating conditions and to analyse neutron fluxes in the reactor core. The software that took care of time evolution, completely designed in-house, used the neutron fluxes obtained by MCNP5 to evaluate fuel consumption. This software was developed specifically to keep into account some features that differentiate experimental reactors from power ones, such as the daily ON/OFF cycle and the long fuel lifetime. These effects can not be neglected to properly account for neutron poison accumulation. We evaluated the effect of 48 years of reactor operation and predicted a possible new configuration for the reactor core: the objective was to remove some of the fuel elements from the core and to obtain a substantial increase in the Core Excess reactivity value. The evaluation of fuel burnup and the reconfiguration results are presented in this paper.
Hyperspectral band selection methods based on differentiable selectors can be sensitive to initialization and to extracting a final discrete subset, while prescribed band counts limit flexibility. We propose SGBR-HC (Spectral-Group Band Ranking with Hard-Concrete initialization), a two-stage method that uses a supervised spectral ranking to initialize trainable sparse gates rather than treating ranking as a fixed selection rule, letting the number of selected bands be determined by training. Stage-1 scores candidate bands from training pixels by class discriminability and spectral diversity; this ranking seeds the gate logits for Stage-2, which trains the sparse gates jointly with a spatial classifier. Under spatially disjoint evaluation on Pavia University and Houston 2013, verified by retraining a fresh classifier on the selected bands, SGBR-HC achieves the highest mean overall accuracy and Cohen's kappa with approximately twenty bands. Bypassing Stage-1 degrades OA by 8.84 pp on Pavia University and 22.15 pp on Houston 2013, confirming the ranking prior's role. Random pixel splits inflate OA on Pavia University by 30.56 pp, underscoring spatial leakage as a critical evaluation c
Two significant goals of the particle physics community is the precision study of the Higgs boson and the search for new particles. The Large Hadron Collider (LHC) is the current high-energy collider, soon to be superseded by the High-Luminosity LHC (HL-LHC). Much of the community has rallied around a muon-collider, though that is most likely 25 years in the future. In this paper, we argue for a bolder approach: {\it a tau-collider}, in which oppositely-charged $τ$-leptons are collided with energies on the yotta-eV scale and a potential radius that places it in the Oort cloud. Given the long time-scale and significant construction challenges, we strongly suggest the focus of the community shift to this discovery machine. We acknowledge that the technology necessary may require humanity to evolve to a Kardashev Level-I or Level-II civilization, which is all the more reason to begin R\&D now.
We propose an unsupervised classification method using a limited number of coded acquisitions from a DD-CASSI hyperspectral imager. Based on a simple model of intra-class spectral variability, this approach allow to identify classes and estimate reference spectra, despite data compression by a factor of ten. Here, we highlight the limitations of the ground truths commonly used to evaluate this type of method: lack of a clear definition of the notion of class, high intra-class variability, and even classification errors. Using the Pavia University scene, we show that with simple assumptions, it is possible to detect regions that are spectrally more coherent, highlighting the need to rethink the evaluation of classification methods, particularly in unsupervised scenarios.
The so called theory of derived D-modules is an extension of classical D-modules to derived algebraic geometry, which uses the derived information of the base scheme. We prove that the three different definitions of derived D-modules, given by Beraldo, Nuiten and Toën-Vezzosi, on a (nice) derived scheme yield equivalent symmetric monoidal $\infty$-categories. We deduce this as a corollary of more general statements about Chevalley-Eilenberg cohomology of dg-Lie algebroids, proving a conjecture by E. Pavia, and about the relation between representations of a dg-Lie algebroid and some class of ind-coherent sheaves on the associated formal moduli problem, which can be of independent interest.
These are the notes of a part of the PhD course Regularity for free boundary problems and for elliptic PDEs, held in Pavia in the spring of 2025. The aim is to provide a comprehensive and self-contained treatment of classical interior and local Schauder estimates for second-order linear elliptic PDEs in divergence form via scaling in the spirit of Simon's work. The main techniques presented here are geometric in nature and were primarily developed in the study of geometric problems such as minimal surfaces. The adopted approach relies on compactness and blow-up arguments, combined with rigidity results (Liouville theorems), and shares many features with the one used in the study of free boundary problems, which was the main topic of the other part of the PhD course.
In this project, we address the issue of infidelity in text-to-image generation, particularly for actions involving multiple objects. For this we build on top of the CONFORM framework which uses Contrastive Learning to improve the accuracy of the generated image for multiple objects. However the depiction of actions which involves multiple different object has still large room for improvement. To improve, we employ semantically hypergraphic contrastive adjacency learning, a comprehension of enhanced contrastive structure and "contrast but link" technique. We further amend Stable Diffusion's understanding of actions by InteractDiffusion. As evaluation metrics we use image-text similarity CLIP and TIFA. In addition, we conducted a user study. Our method shows promising results even with verbs that Stable Diffusion understands mediocrely. We then provide future directions by analyzing the results. Our codebase can be found on polybox under the link: https://polybox.ethz.ch/index.php/s/dJm3SWyRohUrFxn
The rapid expansion of the Internet of Things (IoT) generates zettabytes of data that demand efficient unsupervised learning systems. Hierarchical Temporal Memory (HTM), a third-generation unsupervised AI algorithm, models the neocortex of the human brain by simulating columns of neurons to process and predict sequences. These neuron columns can memorize and infer sequences across multiple orders. While multiorder inferences offer robust predictive capabilities, they often come with significant computational overhead. The Sequence Memory (SM) component of HTM, which manages these inferences, encounters bottlenecks primarily due to its extensive programmable interconnects. In many cases, it has been observed that first-order temporal relationships have proven to be sufficient without any significant loss in efficiency. This paper introduces a Reflex Memory (RM) block, inspired by the Spinal Cord's working mechanisms, designed to accelerate the processing of first-order inferences. The RM block performs these inferences significantly faster than the SM. The integration of RM with HTM forms a system called the Accelerated Hierarchical Temporal Memory (AHTM), which processes repetitive
The notion of $1$-affineness was originally formulated by Gaitsgory in the context of derived algebraic geometry. Motivated by applications to rigid and analytic geometry, we introduce two very general and abstract frameworks where it makes sense to ask for objects to be $1$-affine with respect to some sheaf of categories. The first framework is suited for studying the problem of $1$-affineness when the sheaf of categories arises from an operation in a six-functor formalism over $\mathscr{C}$; we apply it to the setting of analytic stacks and condensed mathematics. The second one concerns $1$-affineness in the context of quasi-coherent sheaves of categorical modules over stable module categories: it simultaneously generalizes the algebro-geometric setting of Gaitsgory and makes it possible to formulate the problem also when dealing with rigid analytic varieties and categories of nuclear modules.
The high-dimensional feature space of the hyperspectral imagery poses major challenges to the processing and analysis of the hyperspectral data sets. In such a case, dimensionality reduction is necessary to decrease the computational complexity. The random projections open up new ways of dimensionality reduction, especially for large data sets. In this paper, the principal component analysis (PCA) and randomized principal component analysis (R-PCA) for the classification of hyperspectral images using support vector machines (SVM) and light gradient boosting machines (LightGBM) have been investigated. In this experimental research, the number of features was reduced to 20 and 30 for classification of two hyperspectral datasets (Indian Pines and Pavia University). The experimental results demonstrated that PCA outperformed R-PCA for SVM for both datasets, but received close accuracy values for LightGBM. The highest classification accuracies were obtained as 0.9925 and 0.9639 by LightGBM with original features for the Pavia University and Indian Pines, respectively.
In this paper we study $\mathbb{E}_n$-Koszul duality in the topological setting, and the closely related question of \emph{$n$-affineness} for Betti stacks. The $\mathbb{E}_n$-Koszul dual of the algebra of chains on the $n$-fold loop space of a space $X$ is the algebra of cochains on $X$. It was expected that $\mathbb{E}_n$-Koszul duality should induce a kind of Morita equivalence between categories of iterated modules, but even the precise formulation of such a statement was not known. We give a rigorous formulation, and a proof, of such an $\mathbb{E}_n$-Koszul duality in the topological setting as an equivalence of $(\infty,n)$-categories. Conceptually, our main innovation is highlighting the coaffine stack defined by the \emph{cospectrum} of $\mathrm{C}^{\bullet}(X;\Bbbk)$ as a key geometric object supporting Koszul duality. Our result is new already in the classical case $n=1$, although it can be seen to recover well known formulations of $\mathbb{E}_1$-Koszul duality as a Morita equivalence of module categories (up to appropriate completions of the $t$-structures). We also investigate (higher) affineness properties of Betti stacks. We give a complete characterization of $n$-a
Modern neural network architectures have achieved remarkable accuracies but remain highly dependent on their training data, often lacking interpretability in their learned mappings. While effective on large datasets, they tend to overfit on smaller ones. Probabilistic neural networks, such as those utilizing variational inference, address this limitation by incorporating uncertainty estimation through weight distributions rather than point estimates. However, standard variational inference often relies on a single-density approximation, which can lead to poor posterior estimates and hinder model performance. We propose Boosted Bayesian Neural Networks (BBNN), a novel approach that enhances neural network weight distribution approximations using Boosting Variational Inference (BVI). By iteratively constructing a mixture of densities, BVI expands the approximating family, enabling a more expressive posterior that leads to improved generalization and uncertainty estimation. While this approach increases computational complexity, it significantly enhances accuracy an essential tradeoff, particularly in high-stakes applications such as medical diagnostics, where false negatives can have
Hyperspectral image classification is a crucial but challenging task due to the high dimensionality and complex spatial-spectral correlations inherent in hyperspectral data. This paper employs Wavelet-based Kolmogorov-Arnold Network (wav-kan) architecture tailored for efficient modeling of these intricate dependencies. Inspired by the Kolmogorov-Arnold representation theorem, Wav-KAN incorporates wavelet functions as learnable activation functions, enabling non-linear mapping of the input spectral signatures. The wavelet-based activation allows Wav-KAN to effectively capture multi-scale spatial and spectral patterns through dilations and translations. Experimental evaluation on three benchmark hyperspectral datasets (Salinas, Pavia, Indian Pines) demonstrates the superior performance of Wav-KAN compared to traditional multilayer perceptrons (MLPs) and the recently proposed Spline-based KAN (Spline-KAN) model. In this work we are: (1) conducting more experiments on additional hyperspectral datasets (Pavia University, WHU-Hi, and Urban Hyperspectral Image) to further validate the generalizability of Wav-KAN; (2) developing a multiresolution Wav-KAN architecture to capture scale-invar
We study local systems of $(\infty,n)$-categories on spaces. We prove that categorical local systems are captured by (higher) monodromy data: in particular, if $X$ is $(n+1)$-connected, then local systems of $(\infty,n)$-categories over $X$ can be described as $\mathbb{E}_{n+1}$-modules over the iterated loop space $Ω_{n+1}X$. This generalizes the classical monodromy equivalence presenting ordinary local systems as modules over the based loop spaces. Along the way we revisit from the perspective of $\infty$-categories Teleman's influential theory of topological group actions on categories, and we extend it to topological actions on $(\infty,n)$-categories. Finally, we show that the group of invertible objects in the category of local systems of $(\infty,n)$-categories over an $n$-connected space $X$ is isomorphic to the group of characters of $π_n(X)$. This should be thought of as a topological analogue of the higher Brauer group of the space $X$. We conclude the paper with applications of the theory of categorical local systems to the fiberwise Fukaya category of symplectic fibrations.
Hyperspectral Imaging (HSI) has proven to be a powerful tool for capturing detailed spectral and spatial information across diverse applications. Despite the advancements in Deep Learning (DL) and Transformer architectures for HSI classification, challenges such as computational efficiency and the need for extensive labeled data persist. This paper introduces WaveMamba, a novel approach that integrates wavelet transformation with the spatial-spectral Mamba architecture to enhance HSI classification. WaveMamba captures both local texture patterns and global contextual relationships in an end-to-end trainable model. The Wavelet-based enhanced features are then processed through the state-space architecture to model spatial-spectral relationships and temporal dependencies. The experimental results indicate that WaveMamba surpasses existing models, achieving an accuracy improvement of 4.5\% on the University of Houston dataset and a 2.0\% increase on the Pavia University dataset.
The persistent BeXRBs are a class of High-Mass X-ray Binaries (HMXRBs), which are characterized by persistent low X-ray luminosities ($L_{\rm X} \sim 10^{34}$ erg s$^{-1}$) and wide ($P_{\rm orb} >$ 30 d), almost circular orbits. In these sources the NS is slowly rotating (with $P_{\rm spin}$ well above 100 s) and accretes matter directly from the wind of the companion Be star, without the formation of an accretion disk. Since the '90s, when the first four members of this class were identified, several other sources of the same type have been discovered and investigated. Thanks to follow-up XMM-Newton observations, we have verified that most of them share common spectral and timing properties, such as a pulsed fraction that does not vary with the photon energy and a hot (kT = 1-2 keV) blackbody spectral component which contributes for 20-40 % to the total flux and has a size consistent with the NS polar cap. Here we provide an overview of how XMM-Newton contributed to constrain the observational properties and the current understanding of this type of sources. We also report about the first results obtained with a very recent XMM-Newton observation of the poorly known BeXRB 4U 0
An approach to parameter optimization for the low-rank matrix recovery method in hyperspectral imaging is discussed. We formulate an optimization problem with respect to the initial parameters of the low-rank matrix recovery method. The performance for different parameter settings is compared in terms of computational times and memory. The results are evaluated by computing the peak signal-to-noise ratio as a quantitative measure. The potential improvement of the performance of the noise reduction method is discussed when optimizing the choice of the initial values. The optimization method is tested on standard and openly available hyperspectral data sets including Indian Pines, Pavia Centre, and Pavia University.
We define a derived enhancement of the hyperquot scheme (also known as nested Quot scheme), which classically parametrises flags of quotients of a perfect coherent sheaf on a projective scheme. We prove it is representable by a derived scheme, and we compute its global tangent complex. As an application, we provide a natural obstruction theory on the classical hyperquot scheme. The latter recovers the virtual fundamental class recently constructed by the first and third author in the context of the enumerative geometry of hyperquot schemes on smooth projective curves.
Spatial-Spectral Mamba (SSM) improves computational efficiency and captures long-range dependencies, addressing Transformer limitations. However, traditional Mamba models overlook rich spectral information in HSIs and struggle with high dimensionality and sequential data. To address these issues, we propose the SSM with multi-head self-attention and token enhancement (MHSSMamba). This model integrates spectral and spatial information by enhancing spectral tokens and using multi-head attention to capture complex relationships between spectral bands and spatial locations. It also manages long-range dependencies and the sequential nature of HSI data, preserving contextual information across spectral bands. MHSSMamba achieved remarkable classification accuracies of 97.62\% on Pavia University, 96.92\% on the University of Houston, 96.85\% on Salinas, and 99.49\% on Wuhan-longKou datasets. The source code is available at \href{https://github.com/MHassaanButt/MHA\_SS\_Mamba}{GitHub}.