title: Active Neural Mapping

abstract: We address the problem of active mapping with a continually-learned neural scene representation, namely Active Neural Mapping. The key lies in actively finding the target space to be explored with efficient agent movement, thus minimizing the map uncertainty on-the-fly within a previously unseen environment. In this paper, we examine the weight space of the continually-learned neural field, and show empirically that the neural variability, the prediction robustness against random weight perturbation, can be directly utilized to measure the instant uncertainty of the neural map. Together with the continuous geometric information inherited in the neural map, the agent can be guided to find a traversable path to gradually gain knowledge of the environment. We present for the first time an active mapping system with a coordinate-based implicit neural representation for online scene reconstruction. Experiments in the visually-realistic Gibson and Matterport3D environment demonstrate the efficacy of the proposed method.


title: Monotonicity conjecture for multi-party entanglement I

abstract: In this paper, we conjecture a monotonicity property that we call monotonicity under coarse-graining for a class of multi-partite entanglement measures. We check these properties by computing the measures for various types of states using different methods.


title: Augmented Reality in Higher Education: a Case Study in Medical Education

abstract: During lockdown, we piloted a variety of augmented reality (AR) experiences in collaboration with subject matter experts from different fields aiming at creating remote teaching and training experiences. In this paper, we present a case study on how AR can be used as a teaching aid for medical education with pertinent focus on remote and social distanced learning. We describe the process of creating an AR experience that can enhance the knowledge and understanding of anatomy for medical students. The Anatomy Experience is an AR enhanced learning experience developed in collaboration with the Medical School of the University of Edinburgh aiming to assist medical students understand the complex geometry of different parts of the human body. After conducting a focus group study with medical students, trainees, and trainers, we received very positive feedback on the Anatomy Experience and its effects on understanding anatomy, enriching the learning process, and using it as a tool for anatomy teaching.


title: Random free-fermion quantum spin chain with multi-spin interactions

abstract: We study the effects of quenched disorder in a class of quantum chains with (p+1)-multispin interactions exhibiting a free fermionic spectrum, paying special attention to the case p=2. Depending if disorder couples to (i) all the couplings or just to (ii) some of them, we have two distinct physical scenarios. In case (i), we find that the transitions of the model are governed by a universal infinite-randomness critical point surrounded by quantum Griffiths phases similarly as happens to the random transverse-field Ising chain. In case (ii), we find that quenched disorder becomes an irrelevant perturbation: the clean critical behavior is stable and Griffiths phases are absent. Beyond the perturbative regime, disorder stabilizes a line of finite-randomness critical points (with nonuniversal critical exponents), that ends in a multicritical point of infinite-randomness type. In that case, quantum Griffiths phases also appear surrounding the finite-disorder transition point. We have characterized the correlation functions and the low-temperature thermodynamics of these chains. Our results are derived from a strong-disorder renormalization-group technique and from finite-size scaling analysis of the spectral gap computed exactly (up to sizes ~10^{7}) via an efficient new numerical method recently introduced in the literature [Phys. Rev. B 104, 174206 (2021)].

categories: cond-mat.dis-nn cond-mat.stat-mech math-ph math.MP


title: It Takes a Village: Multidisciplinarity and Collaboration for the Development of Embodied Conversational Agents

abstract: Embodied conversational agent (ECA) development is a time-consuming and costly process that calls for knowledge in a plethora of different and not necessarily adjacent disciplines. Engaging in activities outside of one's core research to acquire peripheral skills can impede innovation and potentially restrict the outcomes within the boundaries of those acquired skills. A proposal to tackle this challenge is creating collaborative communities of experts from the contributing disciplines to the field of ECAs that via clearly defined roles, expectations and communication channels can help extend the field of ECA research.


title: Limits to predictability of the asymptotic state of the Atlantic Meridional Overturning Circulation in a conceptual climate model

abstract: Anticipating critical transitions in the Earth system is of great societal relevance, yet there may be intrinsic limitations to their predictability. For instance, from the theory of dynamical systems possessing multiple chaotic attractors, it is known that the asymptotic state depends sensitively on the initial condition in the proximity of a fractal basin boundary. Here, we approach the problem of final-state sensitivity of the Atlantic Meridional Overturning Circulation (AMOC) using a conceptual climate model, composed of a slow bistable ocean coupled to a fast chaotic atmosphere. First, we explore the occurrence of long chaotic transients in the monostable regime, which can mask a loss of stability near bifurcations. In the bistable regime, we explicitly construct the chaotic saddle using the edge tracking technique. Quantifying the final-state sensitivity through the maximum Lyapunov exponent and the lifetime of the saddle, we find that the system exhibits a fractal basin boundary with almost full phase space dimension, implying vanishing predictability of the second kind near the basin boundary. Our results demonstrate the usefulness of studying non-attracting chaotic sets in the context of predicting climatic tipping points, and provide guidance for the interpretation of higher-dimensional models such as general circulation models.


title: Bayesian questions with frequentist answers

abstract: The two statistical methods, namely the frequentist and the Bayesian methods, are both commonly used for probabilistic inference in many scientific situations. However, it is not straightforward to interpret the result of one approach in terms of the concepts of the other. In this paper we explore the possibility of finding a Bayesian significance for the frequentist's main object of interest, the $p$-value, which is the probability assigned to the proposition -- which we call the {\it extremity proposition} -- that a measurement will result in a value that is at least as extreme as the value that was actually obtained. To make contact with the frequentist language, the Bayesian can choose to update probabilities based on the {\it extremity proposition}, which is weaker than the standard Bayesian update proposition, which uses the actual observed value. We then show that the posterior probability (or probability density) of a theory is equal to the prior probability (or probability density) multiplied by the ratio of the $p$-value for the data obtained, given that theory, to the mean $p$-value -- averaged over all theories weighted by their prior probabilities. Thus, we provide frequentist answers to Bayesian questions. Our result is generic -- it does not rely on restrictive assumptions about the situation under consideration or specific properties of the likelihoods or the priors.

categories: physics.data-an astro-ph.CO gr-qc hep-ph hep-th stat.OT


title: Figure Rotation of IllustrisTNG Halos

abstract: We use the TNG50 and TNG50 dark matter (DM)-only simulations from the IllustrisTNG simulation suite to conduct an updated survey of halo figure rotation in the presence of baryons. We develop a novel methodology to detect coherent figure rotation about an arbitrary axis and for arbitrary durations and apply it to a catalog of 1,577 DM halos from the DM-only run and 1,396 DM halos from the DM+baryons (DM+B) run that are free of major mergers. Figure rotation was detected in $94\%$ of DM-only halos and $82\%$ of the DM+B halos. The pattern speeds of rotations lasting $\gtrsim 1h^{-1}$ Gyr were log-normally distributed with medians of $0.25~h$ km s$^{-1}$ kpc$^{-1}$ for DM-only in agreement with past results, but $14\%$ higher at $0.29~h$ km s$^{-1}$ kpc$^{-1}$ in the DM+B halos. We find that rotation axes are typically aligned with the halo minor or major axis, in $57\%$ of DM-only halos and in $62\%$ of DM+B halos. The remaining rotation axes were not strongly aligned with any principal axis but typically lay in the plane containing the halo minor and major axes. Longer-lived rotations showed greater alignment with the halo minor axis in both simulations. Our results show that in the presence of baryons, figure rotation is marginally less common, shorter-lived, faster, and better aligned with the minor axis than in DM-only halos. This updated understanding will be consequential for future efforts to constrain figure rotation in the Milky Way dark halo using the morphology and kinematics of tidal streams.


title: Canonical bases via pairing monomials

abstract: For any quantum group of finite ADE type, we prove a new formula for the standard bilinear form evaluated at monomials. Combining this with ideas from the Lusztig-Shoji algorithm, we obtain a new algorithm that computes the canonical basis. In type A, the algorithm also computes composition multiplicities of standard modules for the affine Hecke algebra of $\text{GL}_n$ and we explain how the algorithm can be extended to compute the dimensions of simple modules.


title: Sub-Volt High-Speed Silicon MOSCAP Microring Modulator Driven by High Mobility Conductive Oxide

abstract: Low driving voltage (Vpp), high-speed silicon microring modulator plays a critical role in energy-efficient optical interconnect and optical computing systems owing to its ultra-compact footprint and capability for on-chip wavelength-division multiplexing. However, existing silicon microring modulators usually require more than 2 V of Vpp, which is limited by the relatively weak plasma dispersion effect of silicon and the small capacitance density of the reversed PN-junction. Here we present a highly efficient metal-oxide semiconductor capacitor (MOSCAP) microring modulator through heterogeneous integration between silicon photonics and titanium-doped indium oxide, which is a high-mobility transparent conductive oxide (TCO) material with a strong plasma dispersion effect. The device is co-fabricated by Intel's photonics fab and TCO patterning processes at Oregon State University, which exhibits a high electro-optic modulation efficiency of 117 pm/V with a low VpiL of 0.12 Vcm, and consequently can be driven by an extremely low Vpp of 0.8 V. At a 11 GHz modulation bandwidth where the modulator is limited by the high parasitic capacitance, we obtained 25 Gb/s clear eye diagrams with energy efficiency of 53 fJ/bit and demonstrated 35 Gb/s open eyes with a higher driving voltage. Further optimization of the device is expected to increase the modulation bandwidth up to 52 GHz that can encode data at 100 Gb/s for next-generation, energy-efficient optical communication and computation with sub-volt driving voltage without using any high voltage swing amplifier.


title: A new adaptive pricing framework for perpetual protocols using liquidity curves and on-chain oracles

abstract: This whitepaper introduces an innovative mechanism for pricing perpetual contracts and quoting fees to traders based on current market conditions. The approach employs liquidity curves and on-chain oracles to establish a new adaptive pricing framework that considers various factors, ensuring pricing stability and predictability. The framework utilizes parabolic and sigmoid functions to quote prices and fees, accounting for liquidity, active long and short positions, and utilization. This whitepaper provides a detailed explanation of how the adaptive pricing framework, in conjunction with liquidity curves, operates through mathematical modeling and compares it to existing solutions. Furthermore, we explore additional features that enhance the overall efficiency of the decentralized perpetual protocol.


title: On extremal factors of de Bruijn-like graphs

abstract: In 1972 Mykkeltveit proved that the maximum number of vertex-disjoint cycles in the de Bruijn graphs of order $n$ is attained by the pure cycling register rule, as conjectured by Golomb. We generalize this result to the tensor product of the de Bruijn graph of order $n$ and a simple cycle of size $k$, when $n$ divides $k$ or vice versa. We also develop counting formulae for a large family of cycling register rules, including the linear register rules proposed by Golomb.


title: Robust Principles: Architectural Design Principles for Adversarially Robust CNNs

abstract: Our research aims to unify existing works' diverging opinions on how architectural components affect the adversarial robustness of CNNs. To accomplish our goal, we synthesize a suite of three generalizable robust architectural design principles: (a) optimal range for depth and width configurations, (b) preferring convolutional over patchify stem stage, and (c) robust residual block design through adopting squeeze and excitation blocks and non-parametric smooth activation functions. Through extensive experiments across a wide spectrum of dataset scales, adversarial training methods, model parameters, and network design spaces, our principles consistently and markedly improve AutoAttack accuracy: 1-3 percentage points (pp) on CIFAR-10 and CIFAR-100, and 4-9 pp on ImageNet. The code is publicly available at https://github.com/poloclub/robust-principles.


title: Materials Informatics Transformer: A Language Model for Interpretable Materials Properties Prediction

abstract: Recently, the remarkable capabilities of large language models (LLMs) have been illustrated across a variety of research domains such as natural language processing, computer vision, and molecular modeling. We extend this paradigm by utilizing LLMs for material property prediction by introducing our model Materials Informatics Transformer (MatInFormer). Specifically, we introduce a novel approach that involves learning the grammar of crystallography through the tokenization of pertinent space group information. We further illustrate the adaptability of MatInFormer by incorporating task-specific data pertaining to Metal-Organic Frameworks (MOFs). Through attention visualization, we uncover the key features that the model prioritizes during property prediction. The effectiveness of our proposed model is empirically validated across 14 distinct datasets, hereby underscoring its potential for high throughput screening through accurate material property prediction.


title: Cross-correlation of the thermal Sunyaev--Zel'dovich and CMB lensing signals in Planck PR4 data with robust CIB decontamination

abstract: We use the full-mission Planck PR4 data to measure the CMB lensing convergence ($\kappa$)--thermal Sunyaev-Zel'dovich (tSZ, $y$) cross-correlation, $C_\ell^{y\kappa}$. This is only the second measurement to date of this signal, following Hill \& Spergel (2014). We perform the measurement using foreground-cleaned tSZ maps built from the PR4 frequency maps via a tailored needlet internal linear combination (NILC) code in our companion paper, in combination with the Planck PR4 $\kappa$ maps and various systematic-mitigated PR3 $\kappa$ maps. A serious systematic is the residual cosmic infrared background (CIB) in the tSZ map, as the high CIB--$\kappa$ correlation can significantly bias the inferred tSZ--$\kappa$ cross-correlation. We mitigate this by deprojecting the CIB in our NILC, using a moment-deprojection approach to avoid leakage due to incorrect modelling of the CIB frequency dependence. We validate our method on mm-sky simulations. We fit a theoretical halo model to our measurement, finding a best-fit amplitude of $A=0.82\pm0.21$ (for the highest signal-to-noise PR4 $\kappa$ map) or $A=0.56\pm0.24$ (for a PR3 $\kappa$ map built from a tSZ-deprojected CMB map), indicating that the data are consistent with our model within $\sim 1$-$2\sigma$. Although our error bars are similar to those of the 2014 measurement, our method is significantly more robust to CIB contamination. Our moment-deprojection approach lays the foundation for future measurements of this signal with higher signal-to-noise maps from ground-based telescopes, which will precisely probe the astrophysics of the intracluster medium of galaxy groups and clusters in the intermediate-mass ($M\sim 10^{13} -10^{14} h^{-1} M_\odot$), high-$z$ ($z<\sim1.5$, c.f. $z<\sim0.8$ for the tSZ auto-power signal) regime, as well as CIB-decontaminated measurements of tSZ cross-correlations with other large-scale structure probes.


title: The Missing Link: Testing Galactic Chemical Evolution Models with the First Multi-Isotopic Abundances in Solar Twin Stars

abstract: We present the first isotopic abundances of both $^{13}$CO and C$^{18}$O in solar twin stars and test the results against several galactic chemical evolution (GCE) models with different nucleosynthesis prescriptions. First, we compare M-band spectra from IRTF/iSHELL to synthetic spectra generated from custom solar atmosphere models using the PHOENIX atmosphere code. Next, we compare our calculated abundances to GCE models that consider isotopic yields from massive stars, asymptotic giant branch (AGB) stars and fast-rotating stars. The $^{12}$C/$^{13}$C ratios determined for this sample of solar twins are consistent with predictions from the selected GCE models; however, the $^{16}$O/$^{18}$O ratios tentatively contradict these predictions. This project constitutes the first in a stellar chemical abundance series seeking to: (1) support the James Webb Space Telescope (JWST) as it characterizes exoplanet atmospheres, interiors, and biosignatures by providing host star abundances (2) identify how unexplored stellar abundances reveal the process of galactic chemical evolution and correlate with star formation, interior, age, metallicity, and activity; and (3) provide improved stellar ages using stellar abundance measurements. By measuring elemental and isotopic abundances in a variety of stars, we not only supply refined host star parameters, but also provide the necessary foundations for complementary exoplanet characterization studies and ultimately contribute to the exploration of galactic, stellar, and planetary origins and evolution.


title: Causal Strategic Learning with Competitive Selection

abstract: We study the problem of agent selection in causal strategic learning under multiple decision makers and address two key challenges that come with it. Firstly, while much of prior work focuses on studying a fixed pool of agents that remains static regardless of their evaluations, we consider the impact of selection procedure by which agents are not only evaluated, but also selected. When each decision maker unilaterally selects agents by maximising their own utility, we show that the optimal selection rule is a trade-off between selecting the best agents and providing incentives to maximise the agents' improvement. Furthermore, this optimal selection rule relies on incorrect predictions of agents' outcomes. Hence, we study the conditions under which a decision maker's optimal selection rule will not lead to deterioration of agents' outcome nor cause unjust reduction in agents' selection chance. To that end, we provide an analytical form of the optimal selection rule and a mechanism to retrieve the causal parameters from observational data, under certain assumptions on agents' behaviour. Secondly, when there are multiple decision makers, the interference between selection rules introduces another source of biases in estimating the underlying causal parameters. To address this problem, we provide a cooperative protocol which all decision makers must collectively adopt to recover the true causal parameters. Lastly, we complement our theoretical results with simulation studies. Our results highlight not only the importance of causal modeling as a strategy to mitigate the effect of gaming, as suggested by previous work, but also the need of a benevolent regulator to enable it.


title: The MUSE-Faint survey. IV. Dissecting Leo T, a gas-rich relic with recent star formation

abstract: Leo T ($M_V = -8.0$) is both the faintest and the least massive galaxy known to contain neutral gas and to display signs of recent star formation. We analyse photometry and stellar spectra to identify member stars and to better understand the overall dynamics and stellar content of the galaxy and to compare the properties of its young and old stars. We use data from the Multi Unit Spectroscopic Explorer (MUSE) on the VLT. We supplement this information with spectroscopic data from the literature and with Hubble Space Telescope (HST) photometry. Our analysis reveals two distinct populations of stars in Leo T. The first population, with an age of $\lesssim 500~\mathrm{Myr}$, includes three emission-line Be stars comprising 15% of the total number of young stars. The second population of stars is much older, with ages ranging from $>5~\mathrm{Gyr}$ to as high as $10~\mathrm{Gyr}$. We combine MUSE data with literature data to obtain an overall velocity dispersion of $\sigma_{v} = 7.07^{+1.29}_{-1.12}~\mathrm{km\ s^{-1}}$ for Leo T. When we divide the sample of stars into young and old populations, we find that they have distinct kinematics. Specifically, the young population has a velocity dispersion of $2.31^{+2.68}_{-1.65}\,\mathrm{km\ s^{-1}}$, contrasting with that of the old population, of $8.14^{+1.66}_{-1.38}\,\mathrm{km\ s^{-1}}$. The fact that the kinematics of the cold neutral gas is in good agreement with the kinematics of the young population suggests that the recent star formation in Leo T is linked with the cold neutral gas. We assess the existence of extended emission-line regions and find none to a surface brightness limit of~$< 1\times 10^{-20}\,\mathrm{erg}\,\mathrm{s}^{-1}\,\mathrm{cm}^{-2}~\mathrm{arcsec}^{-2}$ which corresponds to an upper limit on star formation of $\sim 10^{-11}~\mathrm{M_\odot~yr^{-1}~pc^{-2}}$, implying that the star formation in Leo T has ended.


title: Resource Allocation for Rate and Fidelity Maximization in Quantum Networks

abstract: Existing classical optical network infrastructure cannot be immediately used for quantum network applications due to photon loss. The first step towards enabling quantum networks is the integration of quantum repeaters into optical networks. However, the expenses and intrinsic noise inherent in quantum hardware underscore the need for an efficient deployment strategy that optimizes the allocation of quantum repeaters and memories. In this paper, we present a comprehensive framework for network planning, aiming to efficiently distributing quantum repeaters across existing infrastructure, with the objective of maximizing quantum network utility within an entanglement distribution network. We apply our framework to several cases including a preliminary illustration of a dumbbell network topology and real-world cases of the SURFnet and ESnet. We explore the effect of quantum memory multiplexing within quantum repeaters, as well as the influence of memory coherence time on quantum network utility. We further examine the effects of different fairness assumptions on network planning, uncovering their impacts on real-time network performance.


title: Stable estimation of pulses of unknown shape from multiple snapshots via ESPRIT

abstract: We consider the problem of resolving overlapping pulses from noisy multi-snapshot measurements, which has been a problem central to various applications including medical imaging and array signal processing. ESPRIT algorithm has been used to estimate the pulse locations. However, existing theoretical analysis is restricted to ideal assumptions on signal and measurement models. We present a novel perturbation analysis that overcomes the previous theoretical limitation, which is derived without a stringent assumption on the signal model. Our unifying analysis applies to various sub-array designs of the ESPRIT algorithm. We demonstrate the usefulness of the perturbation analysis by specifying the result in two practical scenarios. In the first scenario, we quantify how the number of snapshots for stable recovery scales when the number of Fourier measurements per snapshot is sufficiently large. In the second scenario, we propose compressive blind array calibration by ESPRIT with random sub-arrays and provide the corresponding non-asymptotic error bound. Furthermore, we demonstrate that the empirical performance of ESPRIT corroborates the theoretical analysis through extensive numerical results.


title: Distilling the essential elements of nuclear binding via neural-network quantum states

abstract: In pursuing the essential elements of nuclear binding, we compute ground-state properties of atomic nuclei with up to $A=20$ nucleons, using as input a leading order pionless effective field theory Hamiltonian. A variational Monte Carlo method based on a new, highly-expressive, neural-network quantum state ansatz is employed to solve the many-body Schr\"odinger equation in a systematically improvable fashion. In addition to binding energies and charge radii, we accurately evaluate the magnetic moments of these nuclei, as they reveal the self-emergence of the shell structure, which is not a priori encoded in the neural-network ansatz. To this aim, we introduce a novel computational protocol based on adding an external magnetic field to the nuclear Hamiltonian, which allows the neural network to learn the preferred polarization of the nucleus within the given magnetic field.


title: Spin Winding and Topological Nature of Transitions in Jaynes-Cummings Model with Stark Non-linear Coupling

abstract: Besides exploring novel transition patterns, acquiring a full understanding of the transition nature is an ultimate pursuit in studies of phase transitions. The fundamental models of light-matter interactions manifest single-qubit topological phase transitions, which is calling for an analytical demonstration apart from numerical studies. We present a rigorous study for topological transitions in Jaynes-Cummings Model generally with Stark non-linear Coupling. In terms of the properties of Hermite polynomials, we show that the topological structure of the eigen wave function has an exact correspondence to the spin winding by nodes, which yields a full spin winding without anti-winding nodes. The spurious fractional contribution to the winding number of the winding angle at infinity is found to be actually integer. Thus, the phase transitions in the model have a nature of topological phase transitions and the excitation number is endowed as a topological quantum number. The principal transition establishes a paradigmatic case that a transition is both symmetry-breaking Landau class of transition and symmetry-protected topological class of transition simultaneously, while conventionally these two classes of transitions are incompatible due to the contrary symmetry requirements. We also give an understanding for the origin of unconventional topological transitions in the presence of counter-rotating terms. Our results may provide a deeper insight for the few-body phase transitions in light-matter interactions.


title: The opacity limit

abstract: The opacity limit is an important concept in star formation: isothermal collapse cannot proceed without limit, because eventually cooling radiation is trapped and the temperature rises quasi-adiabatically, setting a minimum Jeans mass $M_{\rm J}^{\rm min}$. Various works have considered this scenario and derived expressions for $M_{\rm J}^{\rm min}$, generally $\sim 10^{-3}-10^{-2}M_\odot$ in normal star-forming conditions, but with conflicting results about the scaling with ambient conditions and material properties. We derive expressions for the thermal evolution of dust-cooled collapsing gas clumps in various limiting cases, given a general ambient radiation field ($u_{\rm rad}$, $T_{\rm rad}$) and a general power-law dust opacity law $\sigma_{\rm d} = A_{\rm d} T^{\beta}$. By accounting for temperature evolution self-consistently we rule out a previously-proposed regime in which the adiabatic transition occurs while the core is still optically-thin. If the radiation field is weak or dust opacity is small, $M_{\rm J}^{\rm min}$ is insensitive to dust properties/abundance ($\sim A_{\rm d}^{-\frac{1}{11}}-A_{\rm d}^{-\frac{1}{15}}$), but if the radiation field is strong and dust is abundant it scales $\propto A_{\rm d}^{1/3}$. This could make the IMF less bottom-heavy in dust-rich and/or radiation-dense environments, e.g. galactic centers, starburst galaxies, massive high-$z$ galaxies, and proto-star clusters that are already luminous.


title: Can Prompt Learning Benefit Radiology Report Generation?

abstract: Radiology report generation aims to automatically provide clinically meaningful descriptions of radiology images such as MRI and X-ray. Although great success has been achieved in natural scene image captioning tasks, radiology report generation remains challenging and requires prior medical knowledge. In this paper, we propose PromptRRG, a method that utilizes prompt learning to activate a pretrained model and incorporate prior knowledge. Since prompt learning for radiology report generation has not been explored before, we begin with investigating prompt designs and categorise them based on varying levels of knowledge: common, domain-specific and disease-enriched prompts. Additionally, we propose an automatic prompt learning mechanism to alleviate the burden of manual prompt engineering. This is the first work to systematically examine the effectiveness of prompt learning for radiology report generation. Experimental results on the largest radiology report generation benchmark, MIMIC-CXR, demonstrate that our proposed method achieves state-of-the-art performance. Code will be available upon the acceptance.


title: Limit theorems for unbounded cluster functionals of regularly varying time series

abstract: A blocks method is used to define clusters of extreme values in stationary time series. The cluster starts at the first large value in the block and ends at the last one. The block cluster measure (the point measure at clusters) encodes different aspects of extremal properties. Its limiting behaviour is handled by vague convergence, hence the set of test functions consists of bounded, shift-invariant functionals that vanish around zero. If unbounded or non shift-invariant functionals are considered, we may obtain convergence at a different rate, depending on the type of the functional and the block size (small vs. large blocks). There are two prominent examples of such functionals: the locations of large jumps and the cluster length. We obtain a comprehensive characterization of the limiting behaviour of the block cluster measure evaluated at such functionals for stationary, regularly varying time series. Once the convergence of the block cluster measure is established, we can proceed with consistency of the empirical cluster measure. Consistency holds in the small and moderate blocks scenario, while fails in the large blocks situation. Next, we continue with weak convergence of the empirical cluster processes. The starting point is the seminal paper by Drees and Rootzen (2010). Under the appropriate uniform integrability condition (related to small blocks) the results in the latter paper are still valid. In the moderate and large blocks scenario, the Drees and Rootzen empirical cluster process diverges, but converges weakly when re-normalized properly.


title: Emergence of Segmentation with Minimalistic White-Box Transformers

abstract: Transformer-like models for vision tasks have recently proven effective for a wide range of downstream applications such as segmentation and detection. Previous works have shown that segmentation properties emerge in vision transformers (ViTs) trained using self-supervised methods such as DINO, but not in those trained on supervised classification tasks. In this study, we probe whether segmentation emerges in transformer-based models solely as a result of intricate self-supervised learning mechanisms, or if the same emergence can be achieved under much broader conditions through proper design of the model architecture. Through extensive experimental results, we demonstrate that when employing a white-box transformer-like architecture known as CRATE, whose design explicitly models and pursues low-dimensional structures in the data distribution, segmentation properties, at both the whole and parts levels, already emerge with a minimalistic supervised training recipe. Layer-wise finer-grained analysis reveals that the emergent properties strongly corroborate the designed mathematical functions of the white-box network. Our results suggest a path to design white-box foundation models that are simultaneously highly performant and mathematically fully interpretable. Code is at \url{https://github.com/Ma-Lab-Berkeley/CRATE}.


title: A numerical approach for the fractional Laplacian via deep neural networks

abstract: We consider the fractional elliptic problem with Dirichlet boundary conditions on a bounded and convex domain $D$ of $\mathbb{R}^d$, with $d \geq 2$. In this paper, we perform a stochastic gradient descent algorithm that approximates the solution of the fractional problem via Deep Neural Networks. Additionally, we provide four numerical examples to test the efficiency of the algorithm, and each example will be studied for many values of $\alpha \in (1,2)$ and $d \geq 2$.


title: Identifiable specializations for ODE models

abstract: The parameter identifiability problem for a dynamical system is to determine whether the parameters of the system can be found from data for the outputs of the system. Verifying whether the parameters are identifiable is a necessary first step before a meaningful parameter estimation can take place. Non-identifiability occurs in practical models. To reparametrize a model to achieve identifiability is a challenge. The existing approaches have been shown to be useful for many important examples. However, these approaches are either limited to linear models and scaling parametrizations or are not guaranteed to find a reparametrization even if it exists. In the present paper, we prove that there always exists a locally identifiable model with the same input-output behaviour as the original one obtained from a given one by a partial specialization of the parameters. Furthermore, we give a sufficient observability condition for the existence of a state space transformation from the original model to the new one. Our proof is constructive and can be translated to an algorithm, which we illustrate by several examples.


title: Learning Diverse Features in Vision Transformers for Improved Generalization

abstract: Deep learning models often rely only on a small set of features even when there is a rich set of predictive signals in the training data. This makes models brittle and sensitive to distribution shifts. In this work, we first examine vision transformers (ViTs) and find that they tend to extract robust and spurious features with distinct attention heads. As a result of this modularity, their performance under distribution shifts can be significantly improved at test time by pruning heads corresponding to spurious features, which we demonstrate using an "oracle selection" on validation data. Second, we propose a method to further enhance the diversity and complementarity of the learned features by encouraging orthogonality of the attention heads' input gradients. We observe improved out-of-distribution performance on diagnostic benchmarks (MNIST-CIFAR, Waterbirds) as a consequence of the enhanced diversity of features and the pruning of undesirable heads.


title: Quantitative Toolchain Assurance

abstract: The software bill of materials (SBOM) concept aims to include more information about a software build such as copyrights, dependencies and security references. But SBOM lacks visibility into the process for building a package. Efforts such as Supply-chain Levels for Software Artifacts (SLSA) try to remedy this by focusing on the quality of the build process. But they lack quantitative assessment of that quality. They are purely qualitative. A new form of assurance case and new technique for structuring it, called process reduction, are presented. An assurance case for a toolchain is quantitative and when structured as a process reduction can measure the strength of the toolchain via the strength of the reduction. An example is given for a simple toolchain.


title: Separating Subversion Forcing Principles

abstract: We study a family of variants of Jensen's subcomplete forcing axiom, $\mathsf{SCFA}$ and subproper forcing axiom, $\mathsf{SubPFA}$. Using these we develop a general technique for proving non-implications of $\mathsf{SCFA}$, $\mathsf{SubPFA}$ and their relatives and give several applications. For instance we show that $\mathsf{SCFA}$ does not imply $\mathsf{MA}^+(\sigma$-closed$)$ and $\mathsf{SubPFA}$ does not imply Martin's Maximum.


title: Spectral Tile Direction in the Group $\mathbb{Z}_{p^2} \times \mathbb{Z}_{q^2} \times \mathbb{Z}_r$

abstract: In this paper we investigate the Fuglede's conjecture for $\mathbb{Z}_{p^2q^2r}$ and provide a proof of it under the condition $p^2q^2 \le r$. We develop a new technique by studying the divisibility of the mask polynomial of a given set by some system of cyclotomic polynomials. This combined with a so-called mod-p-method gives a strong tool to study Fuglede's conjecture in this and some other cases.


title: Autonomous damage assessment of structural columns using low-cost micro aerial vehicles and multi-view computer vision

abstract: Structural columns are the crucial load-carrying components of buildings and bridges. Early detection of column damage is important for the assessment of the residual performance and the prevention of system-level collapse. This research proposes an innovative end-to-end micro aerial vehicles (MAVs)-based approach to automatically scan and inspect columns. First, an MAV-based automatic image collection method is proposed. The MAV is programmed to sense the structural columns and their surrounding environment. During the navigation, the MAV first detects and approaches the structural columns. Then, it starts to collect image data at multiple viewpoints around every detected column. Second, the collected images will be used to assess the damage types and damage locations. Third, the damage state of the structural column will be determined by fusing the evaluation outcomes from multiple camera views. In this study, reinforced concrete (RC) columns are selected to demonstrate the effectiveness of the approach. Experimental results indicate that the proposed MAV-based inspection approach can effectively collect images from multiple viewing angles, and accurately assess critical RC column damages. The approach improves the level of autonomy during the inspection. In addition, the evaluation outcomes are more comprehensive than the existing 2D vision methods. The concept of the proposed inspection approach can be extended to other structural columns such as bridge piers.


title: Classification of Anomalies in Telecommunication Network KPI Time Series

abstract: The increasing complexity and scale of telecommunication networks have led to a growing interest in automated anomaly detection systems. However, the classification of anomalies detected on network Key Performance Indicators (KPI) has received less attention, resulting in a lack of information about anomaly characteristics and classification processes. To address this gap, this paper proposes a modular anomaly classification framework. The framework assumes separate entities for the anomaly classifier and the detector, allowing for a distinct treatment of anomaly detection and classification tasks on time series. The objectives of this study are (1) to develop a time series simulator that generates synthetic time series resembling real-world network KPI behavior, (2) to build a detection model to identify anomalies in the time series, (3) to build classification models that accurately categorize detected anomalies into predefined classes (4) to evaluate the classification framework performance on simulated and real-world network KPI time series. This study has demonstrated the good performance of the anomaly classification models trained on simulated anomalies when applied to real-world network time series data.


title: A reinforcement learning based construction material supply strategy using robotic crane and computer vision for building reconstruction after an earthquake

abstract: After an earthquake, it is particularly important to provide the necessary resources on site because a large number of infrastructures need to be repaired or newly constructed. Due to the complex construction environment after the disaster, there are potential safety hazards for human labors working in this environment. With the advancement of robotic technology and artificial intelligent (AI) algorithms, smart robotic technology is the potential solution to provide construction resources after an earthquake. In this paper, the robotic crane with advanced AI algorithms is proposed to provide resources for infrastructure reconstruction after an earthquake. The proximal policy optimization (PPO), a reinforcement learning (RL) algorithm, is implemented for 3D lift path planning when transporting the construction materials. The state and reward function are designed in detail for RL model training. Two models are trained through a loading task in different environments by using PPO algorithm, one considering the influence of obstacles and the other not considering obstacles. Then, the two trained models are compared and evaluated through an unloading task and a loading task in simulation environments. For each task, two different cases are considered. One is that there is no obstacle between the initial position where the construction material is lifted and the target position, and the other is that there are obstacles between the initial position and the target position. The results show that the model that considering the obstacles during training can generate proper actions for the robotic crane to execute so that the crane can automatically transport the construction materials to the desired location with swing suppression, short time consumption and collision avoidance.


title: Moderately non-local $\eta \bar\eta$ vertices in the $AdS_4$ higher-spin gauge theory

abstract: A new concept of moderate non-locality in higher-spin gauge theory is introduced. Based on the recently proposed differential homotopy approach, a moderately non-local scheme, that issofter than those resulting from the shifted homotopy approach available in the literature so far, is worked out in the mixed $\eta\bar\eta$ sector of the Vasiliev higher-spin theory. To calculate moderately non-local vertices $\Upsilon^{\eta\bar \eta}(\omega, C,C,C)$ for all ordering of the fields $\omega$ and $C$ we apply an interpolating homotopy, that respects the moderate non-locality in the perturbative analysis of the higher-spin equations.


title: Goodbye to Chi-by-Eye: A Bayesian Analysis of Photometric Binaries in Six Open Clusters

abstract: We present a robust methodology for identifying photometric binaries in star clusters. Using Gaia DR3, Pan-STARRS and 2MASS data, we self-consistently define the cluster parameters and binary demographics for the open clusters (OCs) NGC 2168 (M35), NGC 7789, NGC 6819, NGC 2682 (M67), NGC 188, and NGC 6791. These clusters span in age from ~200 Myr (NGC 2168) to more than ~8 Gyr (NGC 6791) and have all been extensively studied in the literature. We use the Bayesian Analysis of Stellar Evolution software suite (BASE-9) to derive the age, distance, reddening, metallicity, binary fraction, and binary mass-ratio posterior distributions for each cluster. We perform a careful analysis of our completeness and also compare our results to previous spectroscopic surveys. For our sample of main-sequence stars with masses between 0.6 - 1 M_Sun, we find that these OCs have similar binary fractions that are also broadly consistent with the field multiplicity fraction. Within the clusters, the binary fraction increases dramatically toward the cluster centers, likely a result of mass segregation. Furthermore nearly all clusters show evidence of mass segregation within the single and binary populations, respectively. The OC binary fraction increases significantly with cluster age in our sample, possibly due to a combination of mass-segregation and cluster dissolution processes. We also find a hint of an anti-correlation between binary fraction and cluster central density as well as total cluster mass, possibly due to an increasing frequency of higher energy close stellar encounters that inhibit long-period binary survival and/or formation.


title: Exploring supersymmetric wormholes in $\cal{N} = 2$ SYK with chords

abstract: A feature the $\mathcal{N}=2$ supersymmetric Sachdev-Ye-Kitaev (SYK) model shares with extremal black holes is an exponentially large number of ground states that preserve supersymmetry. In fact, the dimension of the ground state subsector is a finite fraction of the total dimension of the SYK Hilbert space. This fraction has a remarkably simple bulk interpretation as the probability that the zero-temperature wormhole -- a supersymmetric Einstein-Rosen bridge -- has vanishing length. Using chord techniques, we compute the zero-temperature Hartle-Hawking wavefunction; the results reproduce the ground state count obtained from boundary index computations, including non-perturbative corrections. Along the way, we improve the construction [arXiv:2003.04405] of the super-chord Hilbert space and show that the transfer matrix of the empty wormhole enjoys an enhanced $\mathcal{N} = 4 $ supersymmetry. We also obtain expressions for various two point functions at zero temperature. Finally, we find the expressions for the supercharges acting on more general wormholes with matter and present the superchord algebra.


title: Inner isotopes associated with automorphisms of commutative associative algebras, I

abstract: The principal observation of the paper is that an inner isotopy (i.e. a principal isotopy defined by an algebra endomorphism) is a very helpful instrument in constructing and studying of interesting classes of nonassociative algebras. By using methods developed in the paper, we define a new class of commutative nonassociative algebras obtained by inner isotopy from commutative associative polynomial algebras. There is a natural bijection between isomorphy classes of our algebras and integer partitions. One of the intriguing features of the constructed nonassociative algebras is that these algebras are generic, axial and metrized. We completely describe both the set of algebra idempotents and their spectra.


title: Generation and characterization of ultrabroadband polarization-frequency hyperentangled photons

abstract: We generate ultrabroadband photon pairs entangled in both polarization and frequency bins through an all-waveguided Sagnac source covering the entire optical C- and L-bands (1530--1625 nm). We perform comprehensive characterization of high-fidelity states in multiple dense wavelength-division multiplexed channels, achieving full tomography of effective four-qubit systems. Additionally, leveraging the inherent high dimensionality of frequency encoding and our electro-optic measurement approach, we demonstrate the scalability of our system to higher dimensions, reconstructing states in a 36-dimensional Hilbert space consisting of two polarization qubits and two frequency-bin qutrits. Our findings hold potential significance for quantum networking, particularly dense coding and entanglement distillation in wavelength-multiplexed quantum networks.


title: Collective Dynamics and Defect Generation for Wigner Crystal Ratchets

abstract: We consider a two-dimensional Wigner crystal coupled to a quasi-one-dimensional asymmetric potential under ac or dc driving. As a function of electron density, substrate strength, and ac amplitude, we find that the system exhibits ordered and disordered pinned and dynamical states. Ratchet effects can appear under an applied ac drive and can be associated with pronounced structural changes from a disordered state to a one-dimensional smectic-like state. We observe a pinned phase, a diode-like ratchet where motion only occurs along the easy direction of the substrate asymmetry, a plastic ratchet where motion occurs in both directions but there is only a net drift in the easy direction, and an elastic ratchet where the system forms a crystal without plastic deformation that can still undergo ratcheting. At high filling, we find that there can be a ratchet reversal in which the net drift is along the hard direction of the substrate asymmetry. For weak disorder, there is an Aubry transition to a floating phase where the ratchet effects are lost. We map out the different dynamical phases as a function of substrate strength, filling, ac amplitude, and ac frequency. The ratchet effect on strong substrates is enhanced by thermal fluctuations, but is destroyed when the fluctuations become too large. Based on our results, we suggest new ways to detect Wigner crystals as well as methods for creating new types of devices to control disordered charge flow.


title: Optimizing beam-splitter pulses for atom interferometry: a geometric approach

abstract: We present a methodology for the design of optimal Raman beam-splitter pulses suitable for cold atom inertial sensors. The methodology, based on time-dependent perturbation theory, links optimal control and the sensitivity function formalism in the Bloch sphere picture, thus providing a geometric interpretation of the optimization problem. Optimized pulse waveforms are found to be more resilient than conventional beam-splitter pulses and ensure a near-flat superposition phase for a range of detunings approaching the Rabi frequency. As a practical application, we have simulated the performance of an optimized Mach-Zehnder interferometer in terms of scale-factor error and bias induced by inter-pulse laser intensity variations. Our findings reveal enhancements compared to conventional interferometers operating with constant-power beam-splitter pulses.


title: A Novel Class of Unfolding Models for Binary Preference Data

abstract: We develop a new class of spatial voting models for binary preference data that can accommodate both monotonic and non-monotonic response functions, and are more flexible than alternative "unfolding" models previously introduced in the literature. We then use these models to estimate revealed preferences for legislators in the U.S. House of Representatives and justices on the U.S. Supreme Court. The results from these applications indicate that the new models provide superior complexity-adjusted performance to various alternatives and also that the additional flexibility leads to preferences' estimates that are closer matches to the perceived ideological positions of legislators and justices.


title: Time-Bin CKA as a tool for blockchain technology

abstract: We explore the potential of Time-Bin Conference Key Agreement (TB CKA) protocol as a means to achieve consensus among multiple parties. We provide an explanation of the underlying physical implementation, i.e. TB CKA fundamentals and illustrate how this process can be seen as a natural realization of the global common coin primitive. Next, we present how TB CKA could be embodied in classical consensus algorithms to create hybrid classical-quantum solutions to the Byzantine Agreement problem.


title: Learned Full Waveform Inversion Incorporating Task Information for Ultrasound Computed Tomography

abstract: Ultrasound computed tomography (USCT) is an emerging imaging modality that holds great promise for breast imaging. Full-waveform inversion (FWI)-based image reconstruction methods incorporate accurate wave physics to produce high spatial resolution quantitative images of speed of sound or other acoustic properties of the breast tissues from USCT measurement data. However, the high computational cost of FWI reconstruction represents a significant burden for its widespread application in a clinical setting. The research reported here investigates the use of a convolutional neural network (CNN) to learn a mapping from USCT waveform data to speed of sound estimates. The CNN was trained using a supervised approach with a task-informed loss function aiming at preserving features of the image that are relevant to the detection of lesions. A large set of anatomically and physiologically realistic numerical breast phantoms (NBPs) and corresponding simulated USCT measurements was employed during training. Once trained, the CNN can perform real-time FWI image reconstruction from USCT waveform data. The performance of the proposed method was assessed and compared against FWI using a hold-out sample of 41 NBPs and corresponding USCT data. Accuracy was measured using relative mean square error (RMSE), structural self-similarity index measure (SSIM), and lesion detection performance (DICE score). This numerical experiment demonstrates that a supervised learning model can achieve accuracy comparable to FWI in terms of RMSE and SSIM, and better performance in terms of task performance, while significantly reducing computational time.


title: Solid-State $\rm ^{229}Th$ Nuclear Laser with Two-Photon Pumping

abstract: The radiative excitation of the 8.3 eV isomeric state of thorium-229 is an outstanding challenge due to the lack of tunable far-ultraviolet (F-UV) sources. In this work, we propose an efficient two-photon pumping scheme for thorium-229 using the optonuclear quadrupolar effect, which only requires a 300 nm UV-B pumping laser. We further demonstrate that population inversion between the nuclear isomeric and ground states can be achieved at room temperature using a two-step pumping process. The nuclear laser, which has been pursued for decades, may be realized using a Watt-level UV-B pumping laser and ultrawide bandgap thorium compounds (e.g., $\rm ThF_4$, $\rm Na_2ThF_6$, or $\rm K_2ThF_6$) as the gain medium.


title: Conditional automatic complexity and its metrics

abstract: Li, Chen, Li, Ma, and Vit\'anyi (2004) introduced a similarity metric based on Kolmogorov complexity. It followed work by Shannon in the 1950s on a metric based on entropy. We define two computable similarity metrics, analogous to the Jaccard distance and Normalized Information Distance, based on conditional automatic complexity and show that they satisfy all axioms of metric spaces.


title: The Scientific Performance of the MoonBurst Energetics All-sky Monitor(MoonBEAM)

abstract: MoonBEAM is a SmallSat concept placed in cislunar orbit developed to study the progenitors and multimessenger/multiwavelength signals of transient relativistic jets and outflows and determine the conditions that lead to the launching of a transient relativistic jet. The advantage of MoonBEAM is the instantaneous all-sky coverage due to its orbit, which maximizes the gamma-raytransient observations and provides upperlimits for non-detections. Earth blockage and detector downtime from the high particle activity in the South Atlantic Anomaly region prevent gamma-ray observatories in low Earth orbit from surveying the entire sky at a given time. In addition, the long baseline provided from a cislunar orbit allows MoonBEAM to constrain the localization annulus when combined with a gamma-ray instrument in low Earth orbit utilizing the timing triangulation technique. We present the scientific performance of MoonBEAM including the expected effective area, localization ability and duty cycle. MoonBEAM provides many advantages to the gamma-ray and gravitational-wave follow up community by reducing the search region needed to identify the afterglow and kilanova emission. In addition, the all-sky coverage will provide insight into the conditions that lead to a successful relativistic jet, instead of a shock breakout event, or a completely failed jet in the case of core collapse supernovae.


title: Boundedness of Riesz transforms on $\RCD(K, \infty)$ spaces

abstract: For $1<p<\infty$, we prove the $L^p$-boundedness of the Riesz transform operators on metric measure spaces with Riemannian Ricci curvature bounded from below, without any restriction on their dimension. This large class of spaces include e.g. that of Hilbert spaces endowed with a log-concave probability measure. As a consequence, we extend the range of the validity of the Lusin-type approximation of Sobolev by Lipschitz functions, previously obtained by L. Ambrosio, E. Bru\`e and the third author in the quadratic case, i.e. $p=2$. The proofs are analytic and rely on computations on an explicit Bellman function.


title: Disposable face masks: a direct source for inhalation of microplastics

abstract: Surgical masks have played a crucial role in healthcare facilities to protect against respiratory and infectious diseases, particularly during the COVID-19 pandemic. However, the synthetic fibers, mainly made of polypropylene, used in their production may adversely affect the environment and human health. Recent studies have confirmed the presence of microplastics and fibers in human lungs and have related these synthetic particles with the occurrence of pulmonary ground glass nodules. Using a piston system to simulate human breathing, this study investigates the role of surgical masks as a direct source of inhalation of microplastics. Results reveal the release of particles of sizes ranging from nanometers (300 nm) to millimeters (~2 mm) during normal breathing conditions, raising concerns about the potential health risks. Notably, large visible particles (> 1 mm) were observed to be ejected from masks with limited wear after only a few breathing cycles. Given the widespread use of masks by healthcare workers and the potential future need for mask usage by the general population during seasonal infectious diseases or new pandemics, developing face masks using safe materials for both users and the environment is imperative.


title: Spectral statistics of interpolating random circulant matrix

abstract: We consider a versatile matrix model of the form ${\bf A}+i {\bf B}$, where ${\bf A}$ and ${\bf B}$ are real random circulant matrices with independent but, in general, non-identically distributed Gaussian entries. For this model, we derive exact result for the joint probability density function and find that it is a multivariate Gaussian. Consequently, exact expression for arbitrary order marginal density also ensues. It is demonstrated that by adjusting the averages and variances of the Gaussian elements of ${\bf A}$ and ${\bf B}$, we can interpolate between a remarkably wide range of eigenvalue distributions in the complex plane. In particular, we can examine the crossover between a random real circulant matrix and a random complex circulant matrix. We also extend our study to include Wigner-like and Wishart-like matrices constructed from our general random circulant matrix. To validate our analytical findings, Monte Carlo simulations are conducted, which confirm the accuracy of our results.


title: Schwinger displacement of the quark-gluon vertex

abstract: The action of the Schwinger mechanism in pure Yang-Mills theories endows gluons with an effective mass, and, at the same time, induces a measurable displacement to the Ward identity satisfied by the three-gluon vertex. In the present work we turn to Quantum Chromodynamics with two light quark flavors, and explore the appearance of this characteristic displacement at the level of the quark-gluon vertex. When the Schwinger mechanism is activated, this vertex acquires massless poles, whose momentum-dependent residues are determined by a set of coupled integral equations. The main effect of these residues is to displace the Ward identity obeyed by the pole-free part of the vertex, causing modifications to its form factors, and especially the one associated with the tree-level tensor. The comparison between the available lattice data for this form factor and the Ward identity prediction reveals a marked deviation, which is completely compatible with the theoretical expectation for the attendant residue. This analysis corroborates further the self-consistency of this mass-generating scenario in the general context of real-world strong interactions.


title: Publishing Wikipedia usage data with strong privacy guarantees

abstract: For almost 20 years, the Wikimedia Foundation has been publishing statistics about how many people visited each Wikipedia page on each day. This data helps Wikipedia editors determine where to focus their efforts to improve the online encyclopedia, and enables academic research. In June 2023, the Wikimedia Foundation, helped by Tumult Labs, addressed a long-standing request from Wikipedia editors and academic researchers: it started publishing these statistics with finer granularity, including the country of origin in the daily counts of page views. This new data publication uses differential privacy to provide robust guarantees to people browsing or editing Wikipedia. This paper describes this data publication: its goals, the process followed from its inception to its deployment, the algorithms used to produce the data, and the outcomes of the data release.


title: Conservation of Helium while Maintaining High System Purity

abstract: Recent helium shortages and helium price increases have lead to an increased emphasis being placed on conserving helium. The need to conserve helium must be balanced with need to maintain the high levels of purity necessary to prevent operational problems caused by contamination. Helium losses and contamination control are especially important for test stands that have cryogenic distribution systems operating continuously with frequent changeover of cryogenic temperature components that are being tested. This paper describes a mathematical model to estimate the quantity of helium lost and the purity of the helium after the pump and backfill procedure is complete. The process to determine the optimal time during pump down to cut off pumping and start backfilling is described. There is a tradeoff between trying to achieve the lowest possible pressure during pumping and the quantity of air leaking into the volume while pumping is occurring. An additional benefit of careful selection of pump and backfill parameters in conjunction with real-time pressure monitoring can reduce the labor and time required to complete a successful pump and backfill procedure. This paper is intended to be a tool for engineers to review their pump and backfill procedures and measured data to optimize helium losses, system purity, and labor required.


title: Characterisation of neutron field in large graphite insertion in special core of the LR-0 Reactor

abstract: Graphite is important reactor material used as a neutron moderator in various reactor designs. It is not only structural material used in previous reactors design but even material to which attention is focused due to the very high-temperature reactor design, which uses graphite as moderator and reflector. Due to the well-characterised cross-section of graphite, it is also a good candidate for neutron shaping experiments. In this kind of experiment, the neutron spectra are modified to the unconventional shape of neutron spectra which can be used to validate cross-section. This paper deals with validation of neutron field in graphite block surrounded by driver core arranged in large special core in LR-0 reactor. The experimentally determined shape of neutron spectra and spatial distribution of neutron flux is compared with the calculation. It is worth noting that the agreement for flux distribution is satisfactory in regions below the moderator level.


title: On some problems of primes with the floor function

abstract: Let $\left[x\right]$ be the largest integer not exceeding $x$. For $0<\theta \leq 1$, let $\pi_{\theta}(x)$ denote the number of integers $n$ with $1 \leq n \leq x^{\theta}$ such that $\left[\frac{x}{n}\right]$ is prime and $S_{\mathbb{P}}(x)$ denote the number of primes in the sequence $\left\{\left[\frac{x}{n}\right]\right\}_{n \geqslant 1}$. In this paper, we obtain the asymptotic formula $$ \pi_{\theta}(x)=\frac{x^{\theta}}{(1-\theta) \log x}+O\left(x^{\theta}(\log x)^{-2}\right) $$ provide that $\frac{435}{923}<\theta<1$, and prove that $$ S_{\mathbb{P}}(x)=x\sum_{p} \frac{1}{p(p+1)}+O_{\varepsilon}\left(x^{435/923+\varepsilon}\right) $$ for $x \rightarrow \infty$. Thus improve the previous result due to Ma, Wu and the author.


title: Low lying zeros of Rankin-Selberg $L$-functions

abstract: We study the low lying zeros of $GL(2) \times GL(2)$ Rankin-Selberg $L$-functions. Assuming the generalized Riemann hypothesis, we compute the $1$-level density of the low-lying zeroes of $L(s, f \otimes g)$ averaged over families of Rankin-Selberg convolutions, where $f, g$ are cuspidal newforms with even weights $k_1, k_2$ and prime levels $N_1, N_2$, respectively. The Katz-Sarnak density conjecture predicts that in the limit, the $1$-level density of suitable families of $L$-functions is the same as the distribution of eigenvalues of corresponding families of random matrices. The 1-level density relies on a smooth test function $\phi$ whose Fourier transform $\widehat\phi$ has compact support. In general, we show the Katz-Sarnak density conjecture holds for test functions $\phi$ with $\operatorname{supp} \widehat\phi \subset (-\frac{1}{2}, \frac{1}{2})$. When $N_1 = N_2$, we prove the density conjecture for $\operatorname{supp} \widehat\phi \subset (-\frac{5}{4}, \frac{5}{4})$ when $k_1 \ne k_2$, and $\operatorname{supp} \widehat\phi \subset (-\frac{29}{28}, \frac{29}{28})$ when $k_1 = k_2$. A lower order term emerges when the support of $\widehat\phi$ exceeds $(-1, 1)$, which makes these results particularly interesting. The main idea which allows us to extend the support of $\widehat\phi$ beyond $(-1, 1)$ is an analysis of the products of Kloosterman sums arising from the Petersson formula. We also carefully treat the contributions from poles in the case where $k_1 = k_2$. Our work provides conditional lower bounds for the proportion of Rankin-Selberg $L$-functions which are non-vanishing at the central point and for a related conjecture of Keating and Snaith on central $L$-values.


title: On the Order Estimates for Specific Functions of $\zeta(s)$ and its Contribution towards the Analytic Proof of The Prime Number Theorem

abstract: In this article, our primary objective is to provide an extensive introduction to the Riemann Zeta Function $\zeta(s)$, an integral part in the study different Analytic aspects relevant to the proof of the famous "Prime Number Theorem" (PNT). The whole paper comprises of three mutually exclusive parts. In the initial sections, we define all the necessary terminologies and results handpicked from the areas related to Analytic Number Theory and Analysis of Complex Numbers, whereas, the second half provides an exposition on meromorphic properties of $\zeta(s)$, with brief deduction of the Riemann's Functional Equation for the same. The final and most important part of this essay is solely dedicated towards appreciating the significance of the proof of the Prime Number Theorem, if at all observed from an Analytic point of view. Substantial amount of references in any of the topics pertinent to the contents of this paper have been included in the \texttt{References} section for the reader's convenience, which I do believe shall prove to be resourceful to its ardent readers and scholars.


title: Quantum Wavefront Shaping with a 48-element Programmable Phase Plate for Electrons

abstract: We present a 48-element programmable phase plate for coherent electron waves produced by a combination of photolithography and focused ion beam. This brings the highly successful concept of wavefront shaping from light optics into the realm of electron optics and provides an important new degree of freedom to prepare electron quantum states. The phase plate chip is mounted on an aperture rod placed in the C2 plane of a transmission electron microscope operating in the 100-300 kV range. The phase plate's behavior is characterized by a Gerchberg-Saxton algorithm, showing a phase sensitivity of 0.075rad/mV at 300kV, with a phase resolution of approximately $3\cdot10^{-3}\pi$. In addition, we provide a brief overview of possible use cases and support it with both simulated and experimental results.


title: Sequences related to Lehmer's problem

abstract: The Mahler measure of a monic polynomial $P(x) = a_dx^d + a_{d-1}x^{d-1} + \dots + a_1x + a_0$ is defined as $M(P) := |a_d| \prod_{P(\alpha)=0} \max\{1, |\alpha|\}$, where the product runs over all roots of $P$. Lehmer's problem asks whether there exists a constant $C>1$ such that $M(P) \geq C$ for all noncyclotomic polynomials in $\mathbb{Z}[x]$. In this thesis, we examine the properties of various integer sequences related to this problem, with special focus on how these sequences might help solving Lehmer's problem.


title: Quantum groups and edge contractions

abstract: We study the behaviors of quantum groups under an edge contraction. We show that there exists an explicit embedding induced by an edge contraction operation. We further conjecture that this explicit embedding is a section of an explicit subquotient. This conjecture is proved when restricts to negative/positive half of a quantum group. The compatibility of the Hopf algebra structure of, and many other intrinsic structures associated with, a quantum group with the embedding and subquotient is studied along the way. The embedding phenomena are further observed in various representation theoretic objects such as Weyl groups and Chevalley groups.


title: Implementation Of MNIST Dataset Learning Using Analog Circuit

abstract: There have been many attempts to implement neural networks in the analog circuit. Most of them had a lot of input terms, and most studies implemented neural networks in the analog circuit through a circuit simulation program called Spice to avoid the need to design chips at a high cost and implement circuits directly to input them. In this study, we will implement neural networks using a capacitor and diode and use microcontrollers (Arduino Mega 2560 R3 boards) to drive real-world models and analyze the results.


title: Non-Abelian Carroll-Field-Jackiw term term in a Rarita-Schwinger model

abstract: In this paper, we demonstrate the possibility of generating a non-Abelian Carroll-Field-Jackiw (CFJ) term in the theory of a non-Abelian gauge field coupled to a spin-3/2 field in the presence of the constant axial vector field. Applying two regularization schemes, we prove that this term is finite and ambiguous, particularly vanishing within the 't Hooft-Veltman scheme.


title: Inferring Compensatory Kinase Networks in Yeast using Prolog

abstract: Signalling pathways are conserved across different species, therefore making yeast a model organism to study these via disruption of kinase activity. Yeast has 159 genes that encode protein kinases and phosphatases, and 136 of these have counterparts in humans. Therefore any insight in this model organism could potentially offer indications of mechanisms of action in the human kinome. The study utilises a Prolog-based approach, data from a yeast kinase deletions strains study and publicly available kinase-protein associations. Prolog, a programming language that is well-suited for symbolic reasoning is used to reason over the data and infer compensatory kinase networks. This approach is based on the idea that when a kinase is knocked out, other kinases may compensate for this loss of activity. Background knowledge on kinases targeting proteins is used to guide the analysis. This knowledge is used to infer the potential compensatory interactions between kinases based on the changes in phosphorylation observed in the phosphoproteomics data from the yeast study. The results demonstrate the effectiveness of the Prolog-based approach in analysing complex cell signalling mechanisms in yeast. The inferred compensatory kinase networks provide new insights into the regulation of cell signalling in yeast and may aid in the identification of potential therapeutic targets for modulating signalling pathways in yeast and other organisms.


title: On invariants of foliated sphere bundles

abstract: Morita showed that for each power of the Euler class, there are examples of flat $\mathbb{S}^1$-bundles for which the power of the Euler class does not vanish. Haefliger asked if the same holds for flat odd-dimensional sphere bundles. In this paper, for a manifold $M$ with a free torus action, we prove that certain $M$-bundles are cobordant to a flat $M$-bundle and as a consequence, we answer Haefliger's question. We show that the powers of the Euler class and Pontryagin classes $p_i$ for $i\leq n-1$ are all non-trivial in $H^*(\text{BDiff}^{\delta}_+(\mathbb{S}^{2n-1});\mathbb{Q})$. In the appendix, Nils Prigge corrects a claim by Haefliger about the vanishing of certain classes in the smooth group cohomology of $\text{Diff}_+(\mathbb{S}^3)$.


title: Neural network-based multiscale modeling of finite strain magneto-elasticity with relaxed convexity criteria

abstract: We present a framework for the multiscale modeling of finite strain magneto-elasticity based on physics-augmented neural networks (NNs). By using a set of problem specific invariants as input, an energy functional as the output and by adding several non-trainable expressions to the overall total energy density functional, the model fulfills multiple physical principles by construction, e.g., thermodynamic consistency and material symmetry. Three NN-based models with varying requirements in terms of an extended polyconvexity condition of the magneto-elastic potential are presented. First, polyconvexity, which is a global concept, is enforced via input convex neural networks (ICNNs). Afterwards, we formulate a relaxed local version of the polyconvexity and fulfill it in a weak sense by adding a tailored loss term. As an alternative, a loss term to enforce the weaker requirement of strong ellipticity locally is proposed, which can be favorable to obtain a better trade-off between compatibility with data and physical constraints. Databases for training of the models are generated via computational homogenization for both compressible and quasi-incompressible magneto-active polymers (MAPs). Thereby, to reduce the computational cost, 2D statistical volume elements and an invariant-based sampling technique for the pre-selection of relevant states are used. All models are calibrated by using the database, whereby interpolation and extrapolation are considered separately. Furthermore, the performance of the NN models is compared to a conventional model from the literature. The numerical study suggests that the proposed physics-augmented NN approach is advantageous over the conventional model for MAPs. Thereby, the two more flexible NN models in combination with the weakly enforced local polyconvexity lead to good results, whereas the model based only on ICNNs has proven to be too restrictive.


title: On Euler's Solution of the simple Difference Equation

abstract: In this note we will discuss Euler's solution of the simple difference equation that he gave in his paper{\it ``De serierum determinatione seu nova methodus inveniendi terminos generales serierum"} \cite{E189} (E189:``On the determination of series or a new method of finding the general terms of series") and also present a derivation for the values of the Riemann $\zeta$-function at positive integer numbers based on Euler's ideas.


title: Euler's First Proof of Stirling's Formula

abstract: We present a proof given by Euler in his paper {\it ``De serierum determinatione seu nova methodus inveniendi terminos generales serierum"} \cite{E189} (E189:``On the determination of series or a new method of finding the general terms of series") for Stirling's formula. Euler's proof uses his theory of difference equations with constant coefficients. This theory outgrew from his earlier considerations on inhomogeneous differential equations with constant coefficients of finite order that he tried to extend to the case of infinite order.


title: Limit theorems for high-dimensional Betti numbers in the multiparameter random simplicial complexes

abstract: We consider the multiparameter random simplicial complex on a vertex set $\{ 1,\dots,n \}$, which is parameterized by multiple connectivity probabilities. Our key results concern the topology of this complex of dimensions higher than the critical dimension. We show that the higher-dimensional Betti numbers satisfy strong laws of large numbers and central limit theorems. Moreover, lower tail large deviations for these Betti numbers are also discussed. Some of our results indicate an occurrence of phase transitions in terms of the scaling constants of the central limit theorem, and the exponentially decaying rate of convergence of lower tail large deviation probabilities.


title: Ultrafast Field-driven Valley Polarization of Transition Metal Dichalcogenide Quantum Dots

abstract: We study theoretically the electron dynamics of transition metal dichalcogenide quantum dots in the field of an ultrashort and ultrafast circularly polarized optical pulse. The quantum dots have the shape of a disk and their electron systems are described within an effective model with infinite mass boundary conditions. Similar to transition metal dichalcogenide monolayers, a circularly polarized pulse generates ultrafast valley polarization of such quantum dots. The dependence of the valley polarization on the size of the dot is sensitive to the dot material and, for different materials, show both monotonic increase with the dot radius and nonmonotonic behavior with a local maximum at a finite dot radius.


title: Ten Years of Generative Adversarial Nets (GANs): A survey of the state-of-the-art

abstract: Since their inception in 2014, Generative Adversarial Networks (GANs) have rapidly emerged as powerful tools for generating realistic and diverse data across various domains, including computer vision and other applied areas. Consisting of a discriminative network and a generative network engaged in a Minimax game, GANs have revolutionized the field of generative modeling. In February 2018, GAN secured the leading spot on the ``Top Ten Global Breakthrough Technologies List'' issued by the Massachusetts Science and Technology Review. Over the years, numerous advancements have been proposed, leading to a rich array of GAN variants, such as conditional GAN, Wasserstein GAN, CycleGAN, and StyleGAN, among many others. This survey aims to provide a general overview of GANs, summarizing the latent architecture, validation metrics, and application areas of the most widely recognized variants. We also delve into recent theoretical developments, exploring the profound connection between the adversarial principle underlying GAN and Jensen-Shannon divergence, while discussing the optimality characteristics of the GAN framework. The efficiency of GAN variants and their model architectures will be evaluated along with training obstacles as well as training solutions. In addition, a detailed discussion will be provided, examining the integration of GANs with newly developed deep learning frameworks such as Transformers, Physics-Informed Neural Networks, Large Language models, and Diffusion models. Finally, we reveal several issues as well as future research outlines in this field.


title: High Performance GPU Accelerated MuST Software

abstract: The MuST package is a computational software designed for ab initio electronic structure calculations for solids. The Locally Self-consistent Multiple Scattering (LSMS) method implemented in MuST allows to perform the electronic structure calculation for systems with a large number of atoms per unit cell. For the LSMS method with muffin-tin potential approximation, the major computational challenge is the matrix inverse for the scattering matrix calculation, which could take more than 90\% of the computing time. However, the matrix inverse can be significantly accelerated by modern graphical-processing-units (GPUs). In this paper, we discuss our approach to the code acceleration by offloading the matrix inverse tasks to the GPUs through a Fortran-C interface from the Fortran code to the CUDA code. We report our performance results showing significant speedup ratio achieved to the calculations of NiAu alloy, a candidate for thermoelectric materials.


title: Euler and the Legendre Polynomials

abstract: In this note we will present how Euler's investigations on various different subjects lead to certain properties of the Legendre polynomials. More precisely, we will show that the generating function and the difference equation for the Legendre polynomials was already written down by Euler in at least two different papers. Furthermore, we will demonstrate that some familiar expressions for the Legendre polynomials are corollaries of the before-mentioned works. Finally, we will show that Euler's ideas on continued fractions lead to an integral representation for the Legendre polynomials that seems to be less generally known.


title: A Radiological Clip Design Using Ultrasound Identification to Improve Localization

abstract: Objective: We demonstrate the use of ultrasound to receive an acoustic signal transmitted from a radiological clip designed from a custom circuit. This signal encodes an identification number and is localized and identified wirelessly by the ultrasound imaging system. Methods: We designed and constructed the test platform with a Teensy 4.0 microcontroller core to detect ultrasonic imaging pulses received by a transducer embedded in a phantom, which acted as the radiological clip. Ultrasound identification (USID) signals were generated and transmitted as a result. The phantom and clip were imaged using an ultrasonic array (Philips L7-4) connected to a Verasonics Vantage 128 system operating in pulse inversion (PI) mode. Cross-correlations were performed to localize and identify the code sequences in the PI images. Results: USID signals were detected and visualized on B-mode images of the phantoms with up to sub-millimeter localization accuracy. The average detection rate across 4,800 frames of ultrasound data was 93.0%. Tested ID values exhibited differences in detection rates. Conclusion: The USID clip produced identifiable, distinguishable, and localizable signals when imaged. Significance: Radiological clips are used to mark breast cancer being treated by neoadjuvant chemotherapy (NAC) via implant in or near treated lesions. As NAC progresses, available marking clips can lose visibility in ultrasound, the imaging modality of choice for monitoring NAC-treated lesions. By transmitting an active signal, more accurate and reliable ultrasound localization of these clips could be achieved and multiple clips with different ID values could be imaged in the same field of view.


title: Information Disclosure under Competition in Sharing Systems

abstract: Sharing systems have facilitated the redistribution of underused resources by providing convenient online marketplaces for individual sellers and buyers. However, sellers in these systems may not fully disclose the information of their shared commodities, due to strategic behaviors or privacy concerns. Sellers' strategic information disclosure significantly affects buyers' user experiences and systems' reputation. This paper presents the first analytical study on information disclosure and pricing of competing sellers in sharing systems. In particular, we propose a two-stage game framework to capture sellers' strategic behaviors and buyers' decisions. Although the optimization problem is challenging due to sellers' non-convex and non-monotonic objectives, we completely characterize the complex market equilibria by decomposing it into several tractable subproblems. We demonstrate that full disclosure by all sellers or non-disclosure by all sellers will both lead to intense price competition. The former all-disclosure case is never an equilibrium even when all sellers have good commodity qualities and low privacy costs, while the latter non-disclosure case can be an equilibrium under which all sellers get zero profit. We also reveal several critical factors that affect sellers' information disclosure. Interestingly, sellers' sharing capacity limitation and buyers' estimation biases encourage information disclosure as they mitigate sellers' competition.


title: Exposing and Addressing Security Vulnerabilities in Browser Text Input Fields

abstract: In this work, we perform a comprehensive analysis of the security of text input fields in web browsers. We find that browsers' coarse-grained permission model violates two security design principles: least privilege and complete mediation. We further uncover two vulnerabilities in input fields, including the alarming discovery of passwords in plaintext within the HTML source code of the web page. To demonstrate the real-world impact of these vulnerabilities, we design a proof-of-concept extension, leveraging techniques from static and dynamic code injection attacks to bypass the web store review process. Our measurements and case studies reveal that these vulnerabilities are prevalent across various websites, with sensitive user information, such as passwords, exposed in the HTML source code of even high-traffic sites like Google and Cloudflare. We find that a significant percentage (12.5\%) of extensions possess the necessary permissions to exploit these vulnerabilities and identify 190 extensions that directly access password fields. Finally, we propose two countermeasures to address these risks: a bolt-on JavaScript package for immediate adoption by website developers allowing them to protect sensitive input fields, and a browser-level solution that alerts users when an extension accesses sensitive input fields. Our research highlights the urgent need for improved security measures to protect sensitive user information online.


title: Resolvent Estimates for Viscoelastic Systems of Extended Maxwell Type and their Applications

abstract: In the theory of viscoelasticity, an important class of models admits a representation in terms of springs and dashpots. Widely used members of this class are the Maxwell model and its extended version. This paper concerns resolvent estimates for the system of equations for the anisotropic, extended Maxwell model, abbreviated as the EMM, and its marginal realization which includes an inertia term; special attention is paid to the introduction of augmented variables. This leads to the augmented system that will also be referred to as the "original" system. A reduced system is then formed which encodes essentially the EMM; it is a closed system with respect to the particle velocity and the difference between the elastic and viscous strains. Based on resolvent estimates, it is shown that the original and reduced systems generate $C_0$-groups and the reduced system generates a $C_0$-semigroup of contraction. Naturally, the EMM can be written in integrodifferential form leading explicitly to relaxation and a viscoelastic integro-differential system. However, there is a difference between the original and integrodifferential systems, in general, with consequences for whether their solutions generate semigroups or not. Finally, an energy estimate is obtained for the reduced system, and it is proven that its solutions decay exponentially as time tends to infinity. The limiting amplitude principle follows readily from these two results.


title: Software multiplataforma para a segmenta\c{c}\~ao de vasos sangu\'ineos em imagens da retina

abstract: In this work, we utilize image segmentation to visually identify blood vessels in retinal examination images. This process is typically carried out manually. However, we can employ heuristic methods and machine learning to automate or at least expedite the process. In this context, we propose a cross-platform, open-source, and responsive software that allows users to manually segment a retinal image. The purpose is to use the user-segmented image to retrain machine learning algorithms, thereby enhancing future automated segmentation results. Moreover, the software also incorporates and applies certain image filters established in the literature to improve vessel visualization. We propose the first solution of this kind in the literature. This is the inaugural integrated software that embodies the aforementioned attributes: open-source, responsive, and cross-platform. It offers a comprehensive solution encompassing manual vessel segmentation, as well as the automated execution of classification algorithms to refine predictive models.


title: What's for dessert?

abstract: Two people meet in a coffeehouse and decide to share one dessert from a menu of several possible choices. How should they choose which one? A method is presented that is intended to be practical, avoiding the need for long negotiations or complete menu rankings, while offering a high likelihood of satisfaction and fairness to both participants. The method is also extended to parties of 3 or more people sharing one item from a menu of several choices.


title: Two-Stage Violence Detection Using ViTPose and Classification Models at Smart Airports

abstract: This study introduces an innovative violence detection framework tailored to the unique requirements of smart airports, where prompt responses to violent situations are crucial. The proposed framework harnesses the power of ViTPose for human pose estimation. It employs a CNN - BiLSTM network to analyse spatial and temporal information within keypoints sequences, enabling the accurate classification of violent behaviour in real time. Seamlessly integrated within the SAFE (Situational Awareness for Enhanced Security framework of SAAB, the solution underwent integrated testing to ensure robust performance in real world scenarios. The AIRTLab dataset, characterized by its high video quality and relevance to surveillance scenarios, is utilized in this study to enhance the model's accuracy and mitigate false positives. As airports face increased foot traffic in the post pandemic era, implementing AI driven violence detection systems, such as the one proposed, is paramount for improving security, expediting response times, and promoting data informed decision making. The implementation of this framework not only diminishes the probability of violent events but also assists surveillance teams in effectively addressing potential threats, ultimately fostering a more secure and protected aviation sector. Codes are available at: https://github.com/Asami-1/GDP.


title: Geminal-based strategies for modeling large building blocks of organic electronic materials

abstract: We elaborate on unconventional electronic structure methods based on geminals and their potential to advance the rapidly developing field of organic photovoltaics (OPV). Specifically, we focus on the computational advantages of geminal-based methods over standard approaches and identify the critical aspects of OPV development. Examples are reliable and efficient computations of orbital energies, electronic spectra, and van-der-Waals interactions. Geminal-based models can also be combined with quantum embedding techniques and a quantum information analysis of orbital interactions to gain a fundamental understanding of the electronic structures and properties of realistic OPV building blocks. Furthermore, other organic components present in, for instance, dye-sensitized solar cells (DSSC) represent another promising scope of application. Finally, we provide numerical examples predicting the properties of a small building block of OPV components and two carbazole-based dyes proposed as possible DSSC sensitizers.


title: JWST MIRI flight performance: Detector Effects and Data Reduction Algorithms

abstract: The detectors in the Mid-Infrared Instrument (MIRI) of the James Webb Space Telescope (JWST) are arsenic-21 doped silicon impurity band conduction (Si:As IBC) devices and are direct descendants of the Spitzer IRAC22 long wavelength arrays (channels 3 and 4). With appropriate data processing, they can provide excellent per-23 formance. In this paper we discuss the various non-ideal behaviors of these detectors that need to be addressed24 to realize their potential. We have developed a set of algorithms toward this goal, building on experience with25 previous similar detector arrays. The MIRI-specific stage 1 pipeline algorithms, of a three stage JWST cali-26 bration pipeline, were developed using pre-flight tests on the flight detectors and flight spares and have been27 refined using flight data. This paper describes these algorithms, which are included in the first stage of the28 JWST Calibration Pipeline for the MIRI instrument.


title: Debunking Disinformation: Revolutionizing Truth with NLP in Fake News Detection

abstract: The Internet and social media have altered how individuals access news in the age of instantaneous information distribution. While this development has increased access to information, it has also created a significant problem: the spread of fake news and information. Fake news is rapidly spreading on digital platforms, which has a negative impact on the media ecosystem, public opinion, decision-making, and social cohesion. Natural Language Processing(NLP), which offers a variety of approaches to identify content as authentic, has emerged as a potent weapon in the growing war against disinformation. This paper takes an in-depth look at how NLP technology can be used to detect fake news and reveals the challenges and opportunities it presents.


title: Jordan and Cartan spectra in higher rank with applications to correlations

abstract: For a given $d$-tuple $\rho=(\rho_1,\dots,\rho_d):\Gamma \to G$ of faithful Zariski dense convex cocompact representations of a finitely generated group $\Gamma$, we study the correlations of length spectra $\{\ell_{\rho_i(\gamma)}\}_{[\gamma]\in[\Gamma]}$ and correlations of displacement spectra $\{\mathsf{d}(\rho_i(\gamma)o,o)\}_{\gamma\in\Gamma}$. We prove that for any interior vector $\mathsf v=(v_1,\dots,v_d)$ in the spectrum cone, there exists $\delta_\rho(\mathsf v) > 0$ such that for any $\epsilon_1, \dots, \epsilon_d>0$, there exist $c_1,c_2> 0$ such that\begin{align*}&\#\{[\gamma]\in [\Gamma]: v_iT \le \ell_{\rho_i(\gamma)} \le v_i T+\epsilon_i, \;1 \le i \le d\} \sim c_1 \frac{e^{\delta_\rho (\mathsf v)T}}{ T^{{(d+1)}/{2}}};\\&\#\{\gamma\in \Gamma: v_iT \le \mathsf{d}(\rho_i(\gamma)o,o) \le v_i T+\epsilon_i, \;1 \le i \le d\} \sim c_2 \frac{e^{\delta_\rho (\mathsf v)T}}{ T^{{(d-1)}/{2}}}.\end{align*} The special case where $\Gamma$ is a surface group, $G=PSL_2(\mathbb R)$, and $\mathsf v=(1,1)$ was obtained by Schwarz and Sharp in 1993. We deduce this result as a special case of our main theorem on the distribution of Jordan projections with holonomies and Cartan projections in tubes of an Anosov subgroup $\Gamma$ of a semisimple real algebraic group $G$. We also show that the growth indicator of $\Gamma$ remains the same when we use Jordan projections instead of Cartan projections and tubes instead of cones. We deduce that for any Zariski dense discrete subgroup, there are exponentially many Jordan and Cartan projections in an arbitrarily small tube around any ray in the interior of the limit cone.


title: Canonical typicality under general quantum channels

abstract: With the control of ever more complex quantum systems becoming a reality, new scenarios are emerging where generalizations of the most foundational aspects of statistical quantum mechanics are imperative. In such experimental scenarios the often natural correspondence between the particles that compose the system and the relevant degrees-of-freedom might not be observed. In the present work we employ quantum channels to define generalized subsystems, which should capture the pertinent degrees-of-freedom, and obtain their associated canonical state. Moreover, we show that generalized subsystems also display the phenomena of canonical typicality, i.e., the generalized subsystem description generated from almost any microscopic pure state of the whole system will behave similarly as the corresponding canonical state. In particular we demonstrate that the property regulating the emergence of the canonical typicality behavior is the entropy of the channel used to define the generalized subsystem.


title: Symmetry Preservation in Hamiltonian Systems: Simulation and Learning

abstract: This work presents a general geometric framework for simulating and learning the dynamics of Hamiltonian systems that are invariant under a Lie group of transformations. This means that a group of symmetries is known to act on the system respecting its dynamics and, as a consequence, Noether's Theorem, conserved quantities are observed. We propose to simulate and learn the mappings of interest through the construction of $G$-invariant Lagrangian submanifolds, which are pivotal objects in symplectic geometry. A notable property of our constructions is that the simulated/learned dynamics also preserves the same conserved quantities as the original system, resulting in a more faithful surrogate of the original dynamics than non-symmetry aware methods, and in a more accurate predictor of non-observed trajectories. Furthermore, our setting is able to simulate/learn not only Hamiltonian flows, but any Lie group-equivariant symplectic transformation. Our designs leverage pivotal techniques and concepts in symplectic geometry and geometric mechanics: reduction theory, Noether's Theorem, Lagrangian submanifolds, momentum mappings, and coisotropic reduction among others. We also present methods to learn Poisson transformations while preserving the underlying geometry and how to endow non-geometric integrators with geometric properties. Thus, this work presents a novel attempt to harness the power of symplectic and Poisson geometry towards simulating and learning problems.

categories: math-ph cs.LG cs.NA math.MP math.NA math.OC math.SG