title: Multi Loss-based Feature Fusion and Top Two Voting Ensemble Decision Strategy for Facial Expression Recognition in the Wild

abstract: Facial expression recognition (FER) in the wild is a challenging task affected by the image quality and has attracted broad interest in computer vision. There is no research using feature fusion and ensemble strategy for FER simultaneously. Different from previous studies, this paper applies both internal feature fusion for a single model and feature fusion among multiple networks, as well as the ensemble strategy. This paper proposes one novel single model named R18+FAML, as well as one ensemble model named R18+FAML-FGA-T2V to improve the performance of the FER in the wild. Based on the structure of ResNet18 (R18), R18+FAML combines internal Feature fusion and three Attention blocks using Multiple Loss functions (FAML) to improve the diversity of the feature extraction. To improve the performance of R18+FAML, we propose a Feature fusion among networks based on the Genetic Algorithm (FGA), which can fuse the convolution kernels for feature extraction of multiple networks. On the basis of R18+FAML and FGA, we propose one ensemble strategy, i.e., the Top Two Voting (T2V) to support the classification of FER, which can consider more classification information comprehensively. Combining the above strategies, R18+FAML-FGA-T2V can focus on the main expression-aware areas. Extensive experiments demonstrate that our single model R18+FAML and the ensemble model R18+FAML-FGA-T2V achieve the accuracies of $\left( 90.32, 62.17, 65.83 \right)\%$ and $\left( 91.59, 63.27, 66.63 \right)\%$ on three challenging unbalanced FER datasets RAF-DB, AffectNet-8 and AffectNet-7 respectively, both outperforming the state-of-the-art results.


title: ASTERIA -- Asteroid Thermal Inertia Analyzer

abstract: Thermal inertia estimates are available for a limited number of a few hundred objects, and the results are practically solely based on thermophysical modeling (TPM). We present a novel thermal inertia estimation method, Asteroid Thermal Inertia Analyzer (ASTERIA). The core of the ASTERIA model is the Monte Carlo approach, based on the Yarkovsky drift detection. We validate our model on asteroid Bennu plus ten well-characterized near-Earth asteroids (NEAs) for which a good estimation of the thermal inertia from the TPM exists. The tests show that the ASTERIA provides reliable results consistent with the literature values. The new method is independent from the TPM, allowing an independent verification of the results. As the Yarkovsky effect is more pronounced in small asteroids, the noteworthy advantage of the ASTERIA compared to the TPM is the ability to work with smaller asteroids for which TPM typically lacks the input data. We used the ASTERIA to estimate the thermal inertia of 38 NEAs, with 31 of them being sub-km asteroids. Twenty-nine objects in our sample are characterized as Potentially Hazardous Asteroids. On the limitation side, the ASTERIA is somewhat less accurate than the TPM. The applicability of our model is limited to NEAs, as the Yarkovsky effect is yet to be detected in main-belt asteroids. However, we can expect a significant increase in high-quality measurements of the input parameters relevant to the ASTERIA with upcoming surveys. This will surely increase the reliability of the results generated by the ASTERIA and widen the model's applicability.


title: RFSoC Gen3-Based Software-Defined Radio Characterization for the Readout System of Low-Temperature Bolometers

abstract: This work reports the performance evaluation of an SDR readout system based on the latest generation (Gen3) of the AMD's Radio Frequency System-on-Chip (RFSoC) processing platform, which integrates a full-stack processing system and a powerful FPGA with up to 32 high-speed and high-resolution 14-bit Digital-to-Analog Converters (DACs) and Analog-to-Digital Converters (ADCs). The proposed readout system uses a previously developed multi-band, double-conversion IQ RF-mixing board targeting a multiplexing factor of approximately 1,000 bolometers in a bandwidth between 4 and 8 GHz, in line with state-of-the-art microwave SQUID multiplexers ($\mu$MUX). The characterization of the system was performed in two stages, under the conditions typically imposed by the multiplexer and the cold readout circuit. First, in transmission, showing that noise and spurious levels of the generated tones are close to the values imposed by the cold readout. Second, in RF loopback, presenting noise values better than -100 dBc/Hz totally in agreement with the state-of-the-art readout systems. It was demonstrated that the RFSoC Gen3 device is a suitable enabling technology for the next generation of superconducting detector readout systems, reducing system complexity, increasing system integration, and achieving these goals without performance degradation.


title: $\mathbf{C^2}$-Lusin approximation of strongly convex functions

abstract: We prove that if $u:\mathbb{R}^n\to\mathbb{R}$ is strongly convex, then for every $\varepsilon>0$ there is a strongly convex function $v\in C^2(\mathbb{R}^n)$ such that $|\{u\neq v\}|<\varepsilon$ and $\Vert u-v\Vert_\infty<\varepsilon$.


title: An exciton interacting with a moire lattice -- polarons, strings, and optical probing of spin correlations

abstract: We develop a general theory for how an exciton in an atomically thin transition metal dichacogenide (TMD) monolayer couples to spin and charge correlations in an adjacent moire lattice created by a TMD bi-layer. Virtual tunneling of charge carriers, assumed for concreteness to be holes, between the moire lattice and the monolayer combined with the presence of bound hole-exciton states, i.e. trions, give rise to an effective interaction between the moire holes and the exciton. In addition to the Umklapp scattering, we show that this interaction is spin-dependent and therefore couples the exciton to the spin correlations of the moire holes, which may be in- as well as out-of-plane. We then use our theory to examine two specific examples where the moire holes form in-plane ferromagnetic or anti-ferromagnetic order. In both cases, the exciton creates spin waves in the moire lattice, which we analyse by using a self-consistent Born approximation that includes such processes to infinite order. We show that the competition between magnetic order and exciton motion leads to the formation of a well-defined quasiparticle consisting of the exciton surrounded by a cloud of magnetic frustration in the moire lattice sites below. For the anti-ferromagnet, we furthermore demonstrate the presence of the elusive geometric string excitations and discuss how they can be observed via their smoking gun energy dependence on the spin-spin coupling, which can be tuned by varying the twist angle of the moire bi-layer. All these phenomena have clear signatures in the exciton spectrum, and as such our results illustrate that excitons are promising probes providing optical access to the spin correlations of new quantum phases predicted to exist in TMD materials.


title: Hebbian learning inspired estimation of the linear regression parameters from queries

abstract: Local learning rules in biological neural networks (BNNs) are commonly referred to as Hebbian learning. [26] links a biologically motivated Hebbian learning rule to a specific zeroth-order optimization method. In this work, we study a variation of this Hebbian learning rule to recover the regression vector in the linear regression model. Zeroth-order optimization methods are known to converge with suboptimal rate for large parameter dimension compared to first-order methods like gradient descent, and are therefore thought to be in general inferior. By establishing upper and lower bounds, we show, however, that such methods achieve near-optimal rates if only queries of the linear regression loss are available. Moreover, we prove that this Hebbian learning rule can achieve considerably faster rates than any non-adaptive method that selects the queries independently of the data.


title: Osprey: Multi-Session Autonomous Aerial Mapping with LiDAR-based SLAM and Next Best View Planning

abstract: Aerial mapping systems are important for many surveying applications (e.g., industrial inspection or agricultural monitoring). Aerial platforms that can fly GPS-guided preplanned missions semi-autonomously are already widely available but fully autonomous systems can significantly improve efficiency. Autonomously mapping complex 3D structures requires a system that performs online mapping and mission planning. This paper presents Osprey, an autonomous aerial mapping system with state-of-the-art multi-session LiDAR-based mapping capabilities. It enables a non-expert operator to specify a bounded target area that the aerial platform can then map autonomously over multiple flights. Field experiments with Osprey demonstrate that this system can achieve greater map coverage of large industrial sites than manual surveys with a pilot-flown aerial platform or a terrestrial laser scanner (TLS). Three sites, with a total ground coverage of $2528$ m$^2$ and a maximum height of $27$ m, were mapped in separate missions using $112$ minutes of autonomous flight time. True colour maps were created from images captured by Osprey using pointcloud and NeRF reconstruction methods. These maps provide useful data for structural inspection tasks.


title: CLIP-Motion: Learning Reward Functions for Robotic Actions Using Consecutive Observations

abstract: This paper presents a novel method for learning reward functions for robotic motions by harnessing the power of a CLIP-based model. Traditional reward function design often hinges on manual feature engineering, which can struggle to generalize across an array of tasks. Our approach circumvents this challenge by capitalizing on CLIP's capability to process both state features and image inputs effectively. Given a pair of consecutive observations, our model excels in identifying the motion executed between them. We showcase results spanning various robotic activities, such as directing a gripper to a designated target and adjusting the position of a cube. Through experimental evaluations, we underline the proficiency of our method in precisely deducing motion and its promise to enhance reinforcement learning training in the realm of robotics.


title: Fostering Human Learning in Sequential Decision-Making: Understanding the Role of Evaluative Feedback

abstract: Cognitive rehabilitation, STEM (science, technology, engineering, and math) skill acquisition, and coaching games such as chess often require tutoring decision-making strategies. The advancement of AI-driven tutoring systems for facilitating human learning requires an understanding of the impact of evaluative feedback on human decision-making and skill development. To this end, we conduct human experiments using Amazon Mechanical Turk to study the influence of evaluative feedback on human decision-making in sequential tasks. In these experiments, participants solve the Tower of Hanoi puzzle and receive AI-generated feedback while solving it. We examine how this feedback affects their learning and skill transfer to related tasks. Additionally, treating humans as noisy optimal agents, we employ maximum entropy inverse reinforcement learning to analyze the effect of feedback on the implicit human reward structure that guides their decision making. Lastly, we explore various computational models to understand how people incorporate evaluative feedback into their decision-making processes. Our findings underscore that humans perceive evaluative feedback as indicative of their long-term strategic success, thus aiding in skill acquisition and transfer in sequential decision-making tasks. Moreover, we demonstrate that evaluative feedback fosters a more structured and organized learning experience compared to learning without feedback. Furthermore, our results indicate that providing intermediate goals alone does not significantly enhance human learning outcomes.


title: Defying eternal inflation in warm inflation with a negative running

abstract: It was pointed out previously~\cite{Kinney:2014jya} that a sufficiently negative running of the spectral index of curvature perturbations from (ordinary i.e. cold) inflation is able to prevent eternal inflation from ever occurring. Here, we reevaluate those original results, but in the context of warm inflation, in which a substantial radiation component (produced by the inflaton) exists throughout the inflationary period. We demonstrate that the same general requirements found in the context of ordinary (cold) inflation also hold true in warm inflation; indeed an even tinier amount of negative running is sufficient to prevent eternal inflation. This is particularly pertinent, as models featuring negative running are more generic in warm inflation scenarios. Finally, the condition for the existence of eternal inflation in cold inflation -- that the curvature perturbation amplitude exceed unity on superhorizon scales -- becomes more restrictive in the case of warm inflation. The curvature perturbations must be even larger, i.e. even farther out on the potential, away from the part of the potential where observables, e.g. in the Cosmic Microwave Background, are produced.


title: Multi-Resolution Diffusion for Privacy-Sensitive Recommender Systems

abstract: While recommender systems have become an integral component of the Web experience, their heavy reliance on user data raises privacy and security concerns. Substituting user data with synthetic data can address these concerns, but accurately replicating these real-world datasets has been a notoriously challenging problem. Recent advancements in generative AI have demonstrated the impressive capabilities of diffusion models in generating realistic data across various domains. In this work we introduce a Score-based Diffusion Recommendation Module (SDRM), which captures the intricate patterns of real-world datasets required for training highly accurate recommender systems. SDRM allows for the generation of synthetic data that can replace existing datasets to preserve user privacy, or augment existing datasets to address excessive data sparsity. Our method outperforms competing baselines such as generative adversarial networks, variational autoencoders, and recently proposed diffusion models in synthesizing various datasets to replace or augment the original data by an average improvement of 4.30% in Recall@k and 4.65% in NDCG@k.


title: Leveraging High-Level Synthesis and Large Language Models to Generate, Simulate, and Deploy a Uniform Random Number Generator Hardware Design

abstract: We present a new high-level synthesis methodology for using large language model tools to generate hardware designs. The methodology uses exclusively open-source tools excluding the large language model. As a case study, we use our methodology to generate a permuted congruential random number generator design with a wishbone interface. We verify the functionality and quality of the random number generator design using large language model-generated simulations and the Dieharder randomness test suite. We document all the large language model chat logs, Python scripts, Verilog scripts, and simulation results used in the case study. We believe that our method of hardware design generation coupled with the open source silicon 130 nm design tools will revolutionize application-specific integrated circuit design. Our methodology significantly lowers the bar to entry when building domain-specific computing accelerators for the Internet of Things and proof of concept prototypes for later fabrication in more modern process nodes.


title: Analytics, have some humility: a statistical view of fourth-down decision making

abstract: The standard mathematical approach to fourth-down decision making in American football is to make the decision that maximizes estimated win probability. Win probability estimates arise from machine learning models fit from historical data. These models, however, are overfit high-variance estimators, exacerbated by the highly correlated nature of football play-by-play data. Thus, it is imperative to knit uncertainty quantification into the fourth-down decision procedure; we do so using bootstrapping. We find that uncertainty in the estimated optimal fourth-down decision is far greater than that currently expressed by sports analysts in popular sports media. Our contribution is a major advance in fourth-down strategic decision making: far fewer fourth-down decisions are as obvious as analysts claim.


title: Baryonic Imprints on DM Halos: the concentration-mass relation and its dependence on halo and galaxy properties

abstract: The halo concentration-mass relation has ubiquitous use in modeling the matter field for cosmological and astrophysical analyses, and including the imprints from galaxy formation physics is tantamount to its robust usage. Many analyses, however, probe the matter around halos selected by a given halo/galaxy property -- rather than by halo mass -- and the imprints under each selection choice can be different. We employ the CAMELS simulation suite to quantify the astrophysics and cosmology dependence of the concentration-mass relation, $c_{\rm vir}-M_{\rm vir}$, when selected on five properties: (i) velocity dispersion, (ii) formation time, (iii) halo spin, (iv) stellar mass, and (v) gas mass. We construct simulation-informed nonlinear models for all properties as a function of halo mass, redshift, and six cosmological/astrophysical parameters, with a mass range $M_{\rm vir} \in [10^{11}, 10^{14.5}] M_\odot/h$. There are many mass-dependent imprints in all halo properties, with clear connections across different properties and non-linear couplings between the parameters. Finally, we extract the $c_{\rm vir}-M_{\rm vir}$ relation for subsamples of halos that have scattered above/below the mean property-$M_{\rm vir}$ relation for a chosen property. Selections on gas mass or stellar mass have a significant impact on the astrophysics/cosmology dependence of $c_{\rm vir}$, while those on any of the other three properties have a significant (mild) impact on the cosmology (astrophysics) dependence. We show that ignoring such selection effects can lead to errors of $\approx 25\%$ in baryon imprint modelling of $c_{\rm vir}$. Our nonlinear model for all properties is made publicly available.


title: Chiral catalysis of nuclear fusion in molecules

abstract: At low energies, nuclear fusion is strongly affected by electron screening of the Coulomb repulsion among the fusing nuclei. It may thus be possible to catalyze nuclear fusion in molecules (i.e., to fuse specific nuclei in situ) through quantum control of electron wave functions in intense laser fields. The circularly polarized (chiral) laser field can effectively squeeze the electron wave functions, greatly enhancing the screening in the spatial region relevant for the fusion process. We estimate the corresponding fusion probabilities, and find that the proposed chiral catalysis of nuclear fusion in molecules may be observable, potentially with important practical applications.


title: Dimensionality crossover to 2D vestigial nematicity from 3D zigzag antiferromagnetism in an XY-type honeycomb van der Waals magnet

abstract: Fluctuations and disorder effects are substantially enhanced in reduced dimensionalities. While they are mostly considered as the foe for long-range orders, fluctuations and disorders can also stimulate the emergence of novel phases of matter, for example, vestigial orders. Taking 2D magnetism as a platform, existing efforts have been focused on maintaining 2D long-range magnetic orders by suppressing fluctuations, whereas the other side, exploiting fluctuations for realizing new 2D magnetic phases, remains as an uncharted territory. Here, using a combination of NV spin relaxometry, optical spectroscopy, and Monte Carlo simulations, we report, in an XY-type honeycomb magnet NiPS3, the phase transition from the zigzag AFM order in 3D bulk to a new Z3 vestigial Potts-nematicity in 2D few layers. Spin fluctuations are shown to significantly enhance over the GHz-THz range as the layer number of NiPS3 reduces, using the NV spin relaxometry and the optical Raman quasi-elastic scattering. As a result, the Raman signatures of the zigzag AFM for bulk NiPS3, a zone-folded phonon at ~30cm-1 from the broken translational symmetry (PBTS) and a degeneracy lift of two phonons at ~180cm-1 for the broken 3-fold rotational symmetry (PBRS), evolve into the disappearance of PBTS and the survival of PBRS in few-layer NiPS3, with a critical thickness of ~10nm. The optical linear dichroism microscopy images all three nematic domain states in a single few-layer NiPS3 flake. The large-scale Monte Carlo simulations for bilayer NiPS3 model confirms the absence of long-range zigzag AFM order but the formation of the Z3 vestigial Potts-nematic phase, corroborating with the experimental finding. Our results demonstrate the positivity of strong fluctuations in creating new phases of matter after destroying more conventional ones, and offer an unprecedented pathway for developing novel 2D phases.


title: The Effects of the Local Environment on a Compact Radio Interferometer I: Cross-coupling in the Tianlai Dish Pathfinder Array

abstract: The visibilities measured by radio astronomical interferometers include non-astronomical correlated signals that arise from the local environment of the array. These correlated signals are especially important in compact arrays such as those under development for 21\,cm intensity mapping. The amplitudes of the contaminated visibilities can exceed the expected 21\,cm signal and represent a significant systematic effect. We study the receiver noise radiated by antennas in compact arrays and develop a model for how it couples to other antennas. We apply the model to the Tianlai Dish Pathfinder Array (TDPA), a compact array of 16, 6-m dish antennas. The coupling model includes electromagnetic simulations, measurements with a network analyzer, and measurements of the noise of the receivers. We compare the model to drift-scan observations with the array and set requirements on the level of antenna cross-coupling for 21\,cm intensity mapping instruments. We find that for the TDPA, cross-coupling would have to be reduced by TBD orders of magnitude in order to contribute negligibly to the visibilities.


title: Rotating convective turbulence in moderate to high Prandtl number fluids

abstract: Rotating convective turbulence is ubiquitously found across geophysical settings, such as surface and subsurface oceans, planetary atmospheres, molten metal planetary cores, magma chambers, and magma oceans. Depending on the thermal and material properties of the system, buoyant convection can be driven thermally or compositionally, where a Prandtl number ($Pr = \nu / \kappa_i$) defines the characteristic diffusion properties of the system, with $\kappa_i = \kappa_T$ representing thermal diffusion and $\kappa_i = \kappa_C$ representing chemical diffusion. These numbers vary widely for geophysical systems; for example, the liquid iron undergoing thermal-compositional convection in Earth's core is defined by $Pr_T \approx 0.1$ and $Pr_C \approx 100$, while a thermally-driven liquid silicate magma ocean is defined by $Pr_T \approx 100$. Currently, most numerical and laboratory data for rotating convective flows exists at $Pr = O(1)$; high $Pr$ rotating convection relevant to compositionally-driven core flow and other systems is less commonly studied. Here, we address this deficit by carrying out a broad suite of rotating convection experiments made over a range of $Pr$ values, employing water and three different silicone oils as our working fluids ($Pr = $ 6, 41, 206, and 993). Using measurements of flow velocities (Reynolds, $Re$) and heat transfer efficiency (Nusselt, $Nu$), a baroclinic torque balance is found to describe the turbulence regardless of Prandtl number so long as $Re$ is sufficiently large ($Re \gtrsim 10$). Estimated turbulent scales are found to remain close to onset scales in all experiments, a result that may extrapolate to planetary settings. Lastly, we use our data to build $Pr$-dependent predictive nondimensional and dimensional scaling relations for rotating convective velocities that can be applied across a broad range of geophysical fluid dynamical settings.


title: Asynchronous Local Computations in Distributed Bayesian Learning

abstract: Due to the expanding scope of machine learning (ML) to the fields of sensor networking, cooperative robotics and many other multi-agent systems, distributed deployment of inference algorithms has received a lot of attention. These algorithms involve collaboratively learning unknown parameters from dispersed data collected by multiple agents. There are two competing aspects in such algorithms, namely, intra-agent computation and inter-agent communication. Traditionally, algorithms are designed to perform both synchronously. However, certain circumstances need frugal use of communication channels as they are either unreliable, time-consuming, or resource-expensive. In this paper, we propose gossip-based asynchronous communication to leverage fast computations and reduce communication overhead simultaneously. We analyze the effects of multiple (local) intra-agent computations by the active agents between successive inter-agent communications. For local computations, Bayesian sampling via unadjusted Langevin algorithm (ULA) MCMC is utilized. The communication is assumed to be over a connected graph (e.g., as in decentralized learning), however, the results can be extended to coordinated communication where there is a central server (e.g., federated learning). We theoretically quantify the convergence rates in the process. To demonstrate the efficacy of the proposed algorithm, we present simulations on a toy problem as well as on real world data sets to train ML models to perform classification tasks. We observe faster initial convergence and improved performance accuracy, especially in the low data range. We achieve on average 78% and over 90% classification accuracy respectively on the Gamma Telescope and mHealth data sets from the UCI ML repository.


title: Understanding the Impact of Seasonal Climate Change on Canada's Economy by Region and Sector

abstract: To assess the impact of climate change on the Canadian economy, we investigate and model the relationship between seasonal climate variables and economic growth across provinces and economic sectors. We further provide projections of climate change impacts up to the year 2050, taking into account the diverse climate change patterns and economic conditions across Canada. Our results indicate that rising Fall temperature anomalies have a notable adverse impact on Canadian economic growth. Province-wide, Saskatchewan and Manitoba are anticipated to experience the most substantial declines, whereas British Columbia and the Maritime provinces will be less impacted. Industry-wide, Mining is projected to see the greatest benefits, while Agriculture and Manufacturing are projected to have the most significant downturns. The disparities of climate change effects between provinces and industries highlight the need for governments to tailor their policies accordingly, and offer targeted assistance to regions and industries that are particularly vulnerable in the face of climate change. Targeted approaches to climate change mitigation are likely to be more effective than one-size-fits-all policies for the whole economy.


title: In-Context Exemplars as Clues to Retrieving from Large Associative Memory

abstract: Recently, large language models (LLMs) have made remarkable progress in natural language processing. The most representative ability of LLMs is in-context learning (ICL), which enables LLMs to learn patterns from in-context exemplars without training. The performance of ICL greatly depends on the exemplars used. However, how to choose exemplars remains unclear due to the lack of understanding of how in-context learning works. In this paper, we present a novel perspective on ICL by conceptualizing it as contextual retrieval from a model of associative memory. We establish a theoretical framework of ICL based on Hopfield Networks. Based on our framework, we look into how in-context exemplars influence the performance of ICL and propose more efficient active exemplar selection. Our study sheds new light on the mechanism of ICL by connecting it to memory retrieval, with potential implications for advancing the understanding of LLMs.


title: Heat kernel gradient estimates for the Vicsek set

abstract: We prove pointwise and $L^p$ gradient estimates for the heat kernel on the bounded and unbounded Vicsek set and applications to Sobolev inequalities are given. We also define a Hodge semigroup in that setting and prove estimates for its kernel.


title: Predicting Age from White Matter Diffusivity with Residual Learning

abstract: Imaging findings inconsistent with those expected at specific chronological age ranges may serve as early indicators of neurological disorders and increased mortality risk. Estimation of chronological age, and deviations from expected results, from structural MRI data has become an important task for developing biomarkers that are sensitive to such deviations. Complementary to structural analysis, diffusion tensor imaging (DTI) has proven effective in identifying age-related microstructural changes within the brain white matter, thereby presenting itself as a promising additional modality for brain age prediction. Although early studies have sought to harness DTI's advantages for age estimation, there is no evidence that the success of this prediction is owed to the unique microstructural and diffusivity features that DTI provides, rather than the macrostructural features that are also available in DTI data. Therefore, we seek to develop white-matter-specific age estimation to capture deviations from normal white matter aging. Specifically, we deliberately disregard the macrostructural information when predicting age from DTI scalar images, using two distinct methods. The first method relies on extracting only microstructural features from regions of interest. The second applies 3D residual neural networks (ResNets) to learn features directly from the images, which are non-linearly registered and warped to a template to minimize macrostructural variations. When tested on unseen data, the first method yields mean absolute error (MAE) of 6.11 years for cognitively normal participants and MAE of 6.62 years for cognitively impaired participants, while the second method achieves MAE of 4.69 years for cognitively normal participants and MAE of 4.96 years for cognitively impaired participants. We find that the ResNet model captures subtler, non-macrostructural features for brain age prediction.


title: Joint Sparse Estimation with Cardinality Constraint via Mixed-Integer Semidefinite Programming

abstract: The multiple measurement vectors (MMV) problem refers to the joint estimation of a row-sparse signal matrix from multiple realizations of mixtures with a known dictionary. As a generalization of the standard sparse representation problem for a single measurement, this problem is fundamental in various applications in signal processing, e.g., spectral analysis and direction-of-arrival (DOA) estimation. In this paper, we consider the maximum a posteriori (MAP) estimation for the MMV problem, which is classically formulated as a regularized least-squares (LS) problem with an $\ell_{2,0}$-norm constraint, and derive an equivalent mixed-integer semidefinite program (MISDP) reformulation. The proposed MISDP reformulation can be exactly solved by a generic MISDP solver, which, however, becomes computationally demanding for problems of extremely large dimensions. To further reduce the computation time in such scenarios, a relaxation-based approach can be employed to obtain an approximate solution of the MISDP reformulation, at the expense of a reduced estimation performance. Numerical simulations in the context of DOA estimation demonstrate the improved error performance of our proposed method in comparison to several popular DOA estimation methods. In particular, compared to the deterministic maximum likelihood (DML) estimator, which is often used as a benchmark, the proposed method applied with a state-of-the-art MISDP solver exhibits a superior estimation performance at a significantly reduced running time. Moreover, unlike other nonconvex approaches for the MMV problem, including the greedy methods and the sparse Bayesian learning, the proposed MISDP-based method offers a guarantee of finding a global optimum.


title: Cluster formation in iterated Mean Field Games

abstract: We study a simple first-order mean field game in which the coupling with the mean field is only in the final time and gives an incentive for players to congregate. For a short enough time horizon, the equilibrium is unique. We consider the process of \emph{iterating} the game, taking the final population distribution as the initial distribution in the next iteration. Restricting to one dimension, we take this to be a model of coalition building for a population distributed over some spectrum of opinions. Our main result states that, given a final coupling of the form $G(x,m) = \int \varphi(x-z)\dif m(z)$ where $\varphi$ is a smooth, even, non-positive function of compact support, then as the number of iterations goes to infinity the population tends to cluster into discrete groups, which are spread out as a function of the size of the support of $\varphi$. We discuss the potential implications of this result for real-world opinion dynamics and political systems.


title: The $F$-adjoined Gauss Map and Gaussian Likelihood Geometry

abstract: We introduce the F-adjoined Gauss map. We use it to express the Gaussian maximum likelihood degree as a product of two invariants. As an application of our product formula, we classify all projective curves of Gaussian maximum likelihood degree 1. We also provide a formula for the generic Gaussian maximum likelihood degree of a projective variety $X$ in terms of its polar classes. The renowned polar class formula for generic Euclidean distance degree is a special case of our formula.


title: Convolution finite element-based digital image correlation for displacement and strain measurements

abstract: This work presents a novel global digital image correlation (DIC) method, based on a newly developed convolution finite element (C-FE) approximation. The convolution approximation can rely on the mesh of linear finite elements and enables arbitrarily high order approximations without adding more degrees of freedom. Therefore, the C-FE based DIC can be more accurate than {the} usual FE based DIC by providing highly smooth and accurate displacement and strain results with the same element size. The detailed formulation and implementation of the method have been discussed in this work. The controlling parameters in the method include the polynomial order, patch size, and dilation. A general choice of the parameters and their potential adaptivity have been discussed. The proposed DIC method has been tested by several representative examples, including the DIC challenge 2.0 benchmark problems, with comparison to the usual FE based DIC. C-FE outperformed FE in all the DIC results for the tested examples. This work demonstrates the potential of C-FE and opens a new avenue to enable highly smooth, accurate, and robust DIC analysis for full-field displacement and strain measurements.


title: 2D Magnetic Heterostructures: Spintronics and Quantum Future

abstract: The discovery of two-dimensional (2D) magnetism within atomically thin structures derived from layered crystals has opened up a new realm for exploring magnetic heterostructures. This emerging field provides a foundational platform for investigating unique physical properties and exquisite phenomena at the nanometer and molecular/atomic scales. By engineering 2D interfaces using physical methods and selecting interlayer interactions, we unlock the potential for extraordinary exchange dynamics. This potential extends to high-performance and high-density magnetic memory applications, as well as future advancements in neuromorphic and quantum computing. This review delves into recent advances in 2D magnets, elucidates the mechanisms behind 2D interfaces, and highlights the development of 2D devices for spintronics and quantum information. Particular focus is placed on 2D magnetic heterostructures with topological properties, promising for a resilient and low-error information system. Finally, we discuss the trends of 2D heterostructures for future electronics, considering the challenges and opportunities from physics, material synthesis, and technological prospective.


title: On Gilles Pisier's approach to gaussian concentration, isoperimetry and Poincar\'e-type inequalities

abstract: We discuss a natural extension of Gilles Pisier's approach to the study of measure concentration, isoperimetry and Poincar\'e-type inequalities. This approach allows one to explore counterparts of various results about Gaussian measure in the class of rotationally invariant probability distribution on Euclidean spaces, including multidimensional Cauchy measures.


title: Geometric contexts and applications to logic

abstract: There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras, monoidal categories and linear logic etc. This process can be generalized to a representation of an algebraic structure by a sheaf in a suitable topological space. Recently, Awodey and his contributors constructed a duality between first order logic and topological grupoids from which they have proven some results of completeness. Furthermore, they built a notion of scheme of a first order theory. The attempt of this project is to use the construction of abstract schemes invented by Toen to give an unified approach from which we can generalize the aforementioned results.


title: Astrocytes as a mechanism for meta-plasticity and contextually-guided network function

abstract: Astrocytes are a ubiquitous and enigmatic type of non-neuronal cell and are found in the brain of all vertebrates. While traditionally viewed as being supportive of neurons, it is increasingly recognized that astrocytes may play a more direct and active role in brain function and neural computation. On account of their sensitivity to a host of physiological covariates and ability to modulate neuronal activity and connectivity on slower time scales, astrocytes may be particularly well poised to modulate the dynamics of neural circuits in functionally salient ways. In the current paper, we seek to capture these features via actionable abstractions within computational models of neuron-astrocyte interaction. Specifically, we engage how nested feedback loops of neuron-astrocyte interaction, acting over separated time-scales may endow astrocytes with the capability to enable learning in context-dependent settings, where fluctuations in task parameters may occur much more slowly than within-task requirements. We pose a general model of neuron-synapse-astrocyte interaction and use formal analysis to characterize how astrocytic modulation may constitute a form of meta-plasticity, altering the ways in which synapses and neurons adapt as a function of time. We then embed this model in a bandit-based reinforcement learning task environment, and show how the presence of time-scale separated astrocytic modulation enables learning over multiple fluctuating contexts. Indeed, these networks learn far more reliably versus dynamically homogeneous networks and conventional non-network-based bandit algorithms. Our results indicate how the presence of neuron-astrocyte interaction in the brain may benefit learning over different time-scales and the conveyance of task-relevant contextual information onto circuit dynamics.


title: MFAAN: Unveiling Audio Deepfakes with a Multi-Feature Authenticity Network

abstract: In the contemporary digital age, the proliferation of deepfakes presents a formidable challenge to the sanctity of information dissemination. Audio deepfakes, in particular, can be deceptively realistic, posing significant risks in misinformation campaigns. To address this threat, we introduce the Multi-Feature Audio Authenticity Network (MFAAN), an advanced architecture tailored for the detection of fabricated audio content. MFAAN incorporates multiple parallel paths designed to harness the strengths of different audio representations, including Mel-frequency cepstral coefficients (MFCC), linear-frequency cepstral coefficients (LFCC), and Chroma Short Time Fourier Transform (Chroma-STFT). By synergistically fusing these features, MFAAN achieves a nuanced understanding of audio content, facilitating robust differentiation between genuine and manipulated recordings. Preliminary evaluations of MFAAN on two benchmark datasets, 'In-the-Wild' Audio Deepfake Data and The Fake-or-Real Dataset, demonstrate its superior performance, achieving accuracies of 98.93% and 94.47% respectively. Such results not only underscore the efficacy of MFAAN but also highlight its potential as a pivotal tool in the ongoing battle against deepfake audio content.


title: Spoken Dialogue System for Medical Prescription Acquisition on Smartphone: Development, Corpus and Evaluation

abstract: Hospital information systems (HIS) have become an essential part of healthcare institutions and now incorporate prescribing support software. Prescription support software allows for structured information capture, which improves the safety, appropriateness and efficiency of prescriptions and reduces the number of adverse drug events (ADEs). However, such a system increases the amount of time physicians spend at a computer entering information instead of providing medical care. In addition, any new visiting clinician must learn to manage complex interfaces since each HIS has its own interfaces. In this paper, we present a natural language interface for e-prescribing software in the form of a spoken dialogue system accessible on a smartphone. This system allows prescribers to record their prescriptions verbally, a form of interaction closer to their usual practice. The system extracts the formal representation of the prescription ready to be checked by the prescribing software and uses the dialogue to request mandatory information, correct errors or warn of particular situations. Since, to the best of our knowledge, there is no existing voice-based prescription dialogue system, we present the system developed in a low-resource environment, focusing on dialogue modeling, semantic extraction and data augmentation. The system was evaluated in the wild with 55 participants. This evaluation showed that our system has an average prescription time of 66.15 seconds for physicians and 35.64 seconds for other experts, and a task success rate of 76\% for physicians and 72\% for other experts. All evaluation data were recorded and annotated to form PxCorpus, the first spoken drug prescription corpus that has been made fully available to the community (\url{https://doi.org/10.5281/zenodo.6524162}).


title: Convergence from discrete to continuous non-linear Fourier transform

abstract: In this note we study the convergence of discrete to continuous non-linear Fourier transforms. Relations between spectral problems and questions for complex function theory provide a new approach for the study of scattering problems and non-linear Fourier transform \cite{Scatter}. In particular, non-linear Fourier transform can be viewed from the perspective of spectral problems. Results in \cite{MP, PZ} can be viewed as results for non-linear Fourier transform. These results are similar to some convergence problems for discrete non-linear Fourier transform considered in \cite{T} and \cite{TT}.


title: Towards the Impossibility of Quantum Public Key Encryption with Classical Keys from One-Way Functions

abstract: There has been a recent interest in proposing quantum protocols whose security relies on weaker computational assumptions than their classical counterparts. Importantly to our work, it has been recently shown that public-key encryption (PKE) from one-way functions (OWF) is possible if we consider quantum public keys. Notice that we do not expect classical PKE from OWF given the impossibility results of Impagliazzo and Rudich (STOC'89). However, the distribution of quantum public keys is a challenging task. Therefore, the main question that motivates our work is if quantum PKE from OWF is possible if we have classical public keys. Such protocols are impossible if ciphertexts are also classical, given the impossibility result of Austrin et al. (CRYPTO'22) of quantum enhanced key-agreement (KA) with classical communication. In this paper, we focus on black-box separation for PKE with classical public key and quantum ciphertext from OWF under the polynomial compatibility conjecture, first introduced in Austrin et al.. More precisely, we show the separation when the decryption algorithm of the PKE does not query the OWF. We prove our result by extending the techniques of Austrin et al. and we show an attack for KA in an extended classical communication model where the last message in the protocol can be a quantum state.


title: Correlation, crossover and broken scaling in the Abelian Manna Model

abstract: The role of correlations in self-organised critical (SOC) phenomena is investigated by studying the Abelian Manna Model (AMM) in two dimensions. Local correlations of the debris left behind after avalanches are destroyed by re-arranging particles on the lattice between avalanches, without changing the one-point particle density. It is found that the spatial correlations are not relevant to small avalanches, while changing the scaling of the large (system-wide) ones, yielding a crossover in the model's scaling behaviour. This crossover breaks the simple scaling observed in normal SOC.


title: Optimal metallicity diagnostics for MUSE observations of low-z galaxies

abstract: The relatively red wavelength range (4800-9300{\AA}) of the VLT Multi Unit Spectroscopic Explorer (MUSE) limits which metallicity diagnostics can be used; in particular excluding those requiring the [O ii]{\lambda}{\lambda}3726,29 doublet. We assess various strong line diagnostics by comparing to sulphur Te-based metallicity measurements for a sample of 671 HII regions from 36 nearby galaxies from the MUSE Atlas of Disks (MAD) survey. We find that the O3N2 and N2 diagnostics return a narrower range of metallicities which lie up to ~0.3 dex below Te-based measurements, with a clear dependence on both metallicity and ionisation parameter. The N2S2H{\alpha} diagnostic shows a near-linear relation with the Te-based metallicities, although with a systematic downward offset of ~0.2 dex, but no clear dependence on ionisation parameter. These results imply that the N2S2H{\alpha} diagnostic produces the most reliable results when studying the distribution of metals within galaxies with MUSE. On sub-HII region scales, the O3N2 and N2 diagnostics measure metallicity decreasing towards the centres of HII regions, contrary to expectations. The S-calibration and N2S2H{\alpha} diagnostics show no evidence of this, and show a positive relationship between ionisation parameter and metallicity at 12 + log(O/H)> 8.4, implying the relationship between ionisation parameter and metallicity differs on local and global scales. We also present HIIdentify, a python tool developed to identify HII regions within galaxies from H{\alpha} emission maps. All segmentation maps and measured emission line strengths for the 4408 HII regions identified within the MAD sample are available to download.


title: Carrollian Structure of the Null Boundary Solution Space

abstract: We study pure $D$ dimensional Einstein gravity in spacetimes with a generic null boundary. We focus on the symplectic form of the solution phase space which comprises a $2D$ dimensional boundary part and a $2(D(D-3)/2+1)$ dimensional bulk part. The symplectic form is the sum of the bulk and boundary parts, obtained through integration over a codimension 1 surface (null boundary) and a codimension 2 spatial section of it, respectively. Notably, while the total symplectic form is a closed 2-form over the solution phase space, neither the boundary nor the bulk symplectic forms are closed due to the symplectic flux of the bulk modes passing through the boundary. Furthermore, we demonstrate that the $D(D-3)/2+1$ dimensional Lagrangian submanifold of the bulk part of the solution phase space has a Carrollian structure, with the metric on the $D(D-3)/2$ dimensional part being the Wheeler-DeWitt metric, and the Carrollian kernel vector corresponding to the outgoing Robinson-Trautman gravitational wave solution.


title: Lattice QED in an external magnetic field: Evidence for dynamical chiral symmetry breaking

abstract: We simulate QED in a strong constant homogeneous external magnetic field on a euclidean space-time lattice using the Rational Hybrid Monte Carlo method, developed for simulating lattice QCD. Our primary goal is to measure the chiral condensate in the limit when the input electron mass $m$ is zero. We observe a non-zero value, indicating that the external magnetic field catalyzes chiral symmetry breaking as predicted by approximate truncated Schwinger-Dyson methods. Such behaviour is associated with dominance by the lowest Landau level which causes the effective dimensional reduction from $3+1$~dimensions to $1+1$ dimensions for charged particles (electrons and positrons) where the attractive forces of QED can produce chiral symmetry breaking with a dynamical electron mass and associated chiral condensate. Since our lattice simulations use bare (lattice) parameters, while the Schwinger-Dyson analyses work with renormalized quantities, direct numerical comparison will require renormalization of our lattice results.


title: SoundCam: A Dataset for Finding Humans Using Room Acoustics

abstract: A room's acoustic properties are a product of the room's geometry, the objects within the room, and their specific positions. A room's acoustic properties can be characterized by its impulse response (RIR) between a source and listener location, or roughly inferred from recordings of natural signals present in the room. Variations in the positions of objects in a room can effect measurable changes in the room's acoustic properties, as characterized by the RIR. Existing datasets of RIRs either do not systematically vary positions of objects in an environment, or they consist of only simulated RIRs. We present SoundCam, the largest dataset of unique RIRs from in-the-wild rooms publicly released to date. It includes 5,000 10-channel real-world measurements of room impulse responses and 2,000 10-channel recordings of music in three different rooms, including a controlled acoustic lab, an in-the-wild living room, and a conference room, with different humans in positions throughout each room. We show that these measurements can be used for interesting tasks, such as detecting and identifying humans, and tracking their positions.


title: High-resolution power equipment recognition based on improved self-attention

abstract: The current trend of automating inspections at substations has sparked a surge in interest in the field of transformer image recognition. However, due to restrictions in the number of parameters in existing models, high-resolution images can't be directly applied, leaving significant room for enhancing recognition accuracy. Addressing this challenge, the paper introduces a novel improvement on deep self-attention networks tailored for this issue. The proposed model comprises four key components: a foundational network, a region proposal network, a module for extracting and segmenting target areas, and a final prediction network. The innovative approach of this paper differentiates itself by decoupling the processes of part localization and recognition, initially using low-resolution images for localization followed by high-resolution images for recognition. Moreover, the deep self-attention network's prediction mechanism uniquely incorporates the semantic context of images, resulting in substantially improved recognition performance. Comparative experiments validate that this method outperforms the two other prevalent target recognition models, offering a groundbreaking perspective for automating electrical equipment inspections.


title: Chiral magnetic phases in Moire bilayers of magnetic dipoles

abstract: In magnetic insulators, the sense of rotation of the magnetization is associated with novel phases of matter and exotic transport phenomena. Aimed to find new sources of chiral magnetism rooted in intrinsic fields and geometry, twisted square bilayers of magnetic dipoles with easy plane anisotropy are studied. For no twist, each lattice settles in the zig-zag magnetic state and orders antiferromagnetically to the other layer. The moire patterns that result from the mutual rotation of the two square lattices influence such zig-zag order, giving rise to several phases that depict non-collinear magnetic textures with chiral motifs that break both time and inversion symmetry. For certain moire angles, helical and toroidal magnetic orders arise. Changing the vertical distance between layers can further manipulate these novel phases. It is shown that the dipolar interlayer interaction induces an emergent twist-dependent chiral magnetic field orthogonal to the direction of the zig-zag chains, which is responsible for the internal torques conjugated to the toroidal orders.


title: Brain Networks and Intelligence: A Graph Neural Network Based Approach to Resting State fMRI Data

abstract: Resting-state functional magnetic resonance imaging (rsfMRI) is a powerful tool for investigating the relationship between brain function and cognitive processes as it allows for the functional organization of the brain to be captured without relying on a specific task or stimuli. In this paper, we present a novel modeling architecture called BrainRGIN for predicting intelligence (fluid, crystallized, and total intelligence) using graph neural networks on rsfMRI derived static functional network connectivity matrices. Extending from the existing graph convolution networks, our approach incorporates a clustering-based embedding and graph isomorphism network in the graph convolutional layer to reflect the nature of the brain sub-network organization and efficient network expression, in combination with TopK pooling and attention-based readout functions. We evaluated our proposed architecture on a large dataset, specifically the Adolescent Brain Cognitive Development Dataset, and demonstrated its effectiveness in predicting individual differences in intelligence. Our model achieved lower mean squared errors and higher correlation scores than existing relevant graph architectures and other traditional machine learning models for all of the intelligence prediction tasks. The middle frontal gyrus exhibited a significant contribution to both fluid and crystallized intelligence, suggesting their pivotal role in these cognitive processes. Total composite scores identified a diverse set of brain regions to be relevant which underscores the complex nature of total intelligence.


title: Lagrange points of Euler's solutions of the 3-body problem

abstract: In this paper we classify the central configurations of the circular restricted 4-body problem with three primaries at the collinear configuration of the 3-body problem and an infinitesimal mass. The case where the three primaries have the same mass, with one of the bodies staying motionless at the center of mass, was considered in 2021 by Llibre. The video \url{https://youtu.be/PWFtqxd4RUA} goes over some of the results in this paper.


title: Characterization in Geant4 of different PET configurations

abstract: Positron Emission Tomography (PET) is a Nuclear Medicine technique that creates images that allow the study of metabolic activity and organ function using radiopharmaceuticals. Continuous improvement of scintillation detectors for radiation in PET as well as improvement in electronic detectors (e.g., SiPMs) and signal processing, makes the field of PET a fast and changing environment. If industry desires to build new systems implementing these technological improvements, it is of its interest to develop modelling strategies that can provide information on how to build them, reducing time and material costs. Bearing this in mind three different PET configurations, were simulated in Geant4, to determine which one presented the best performance according to quality parameters such as spatial resolution (SR), coincident time resolution (CTR) and acceptance value (A). This was done with three different (in size) pairs of LYSO crystals + SiPM detectors. It was found that the 2 Modules system presented worst results than the two Ring detector configurations. Between the Ring configurations the first was marginally better than the second.


title: A note on the trace formula

abstract: In this mostly expository note, we prove explicit formulas for the traces of Hecke operators on spaces of cusp forms fixed by Atkin-Lehner involutions, which are suitable for efficient implementation. In addition, we correct a couple of errors in previously published formulas.


title: A Graph-Theoretic Framework for Understanding Open-World Semi-Supervised Learning

abstract: Open-world semi-supervised learning aims at inferring both known and novel classes in unlabeled data, by harnessing prior knowledge from a labeled set with known classes. Despite its importance, there is a lack of theoretical foundations for this problem. This paper bridges the gap by formalizing a graph-theoretic framework tailored for the open-world setting, where the clustering can be theoretically characterized by graph factorization. Our graph-theoretic framework illuminates practical algorithms and provides guarantees. In particular, based on our graph formulation, we apply the algorithm called Spectral Open-world Representation Learning (SORL), and show that minimizing our loss is equivalent to performing spectral decomposition on the graph. Such equivalence allows us to derive a provable error bound on the clustering performance for both known and novel classes, and analyze rigorously when labeled data helps. Empirically, SORL can match or outperform several strong baselines on common benchmark datasets, which is appealing for practical usage while enjoying theoretical guarantees.


title: Comment on "Photons can tell 'contradictory' answer about where they have been''

abstract: Yuan and Feng [Eur. Phys. J. Plus 138:70, 2023] recently proposed a modification of the nested Mach-Zehnder interferometer experiment performed by Danan et al. [Phys. Rev. Lett. 111:240402, 2013] and argued that photons give "contradictory" answers about where they have been, when traces are locally imprinted on them in different ways. They concluded that their results are comprehensible from what they call the "three-path interference viewpoint", but difficult to explain from the "discontinuous trajectory" viewpoint advocated by Danan et al. We argue that the weak trace approach (the basis of the "discontinuous trajectory" viewpoint) provides a consistent explanation of the Yuan-Feng experiment. The contradictory messages of the photons are just another example of photons lying about where they have been when the experimental method of Danan et al. is applied in an inappropriate setup.


title: Towards Automated Negative Sampling in Implicit Recommendation

abstract: Negative sampling methods are vital in implicit recommendation models as they allow us to obtain negative instances from massive unlabeled data. Most existing approaches focus on sampling hard negative samples in various ways. These studies are orthogonal to the recommendation model and implicit datasets. However, such an idea contradicts the common belief in AutoML that the model and dataset should be matched. Empirical experiments suggest that the best-performing negative sampler depends on the implicit dataset and the specific recommendation model. Hence, we propose a hypothesis that the negative sampler should align with the capacity of the recommendation models as well as the statistics of the datasets to achieve optimal performance. A mismatch between these three would result in sub-optimal outcomes. An intuitive idea to address the mismatch problem is to exhaustively select the best-performing negative sampler given the model and dataset. However, such an approach is computationally expensive and time-consuming, leaving the problem unsolved. In this work, we propose the AutoSample framework that adaptively selects the best-performing negative sampler among candidates. Specifically, we propose a loss-to-instance approximation to transform the negative sampler search task into the learning task over a weighted sum, enabling end-to-end training of the model. We also designed an adaptive search algorithm to extensively and efficiently explore the search space. A specific initialization approach is also obtained to better utilize the obtained model parameters during the search stage, which is similar to curriculum learning and leads to better performance and less computation resource consumption. We evaluate the proposed framework on four benchmarks over three models. Extensive experiments demonstrate the effectiveness and efficiency of our proposed framework.


title: Type II Hamiltonian Lie Group Variational Integrators with Applications to Geometric Adjoint Sensitivity Analysis

abstract: Variational integrators for Euler--Lagrange equations and Hamilton's equations are a class of structure-preserving numerical methods that respect the conservative properties of such systems. Lie group variational integrators are a particular class of these integrators that apply to systems which evolve over the tangent bundle and cotangent bundle of Lie groups. Traditionally, these are constructed from a variational principle which assumes fixed position endpoints. In this paper, we instead construct Lie group variational integrators with a novel Type II variational principle on the cotangent bundle of a Lie group which allows for Type II boundary conditions, i.e., fixed initial position and final momenta; these boundary conditions are particularly important for adjoint sensitivity analysis, which is the motivating application in our paper. In general, such Type II variational principles are only globally defined on vector spaces or locally defined on general manifolds; however, by left translation, we are able to define this variational principle globally on cotangent bundles of Lie groups. By developing the continuous and discrete Type II variational principles over Lie groups, we construct a structure-preserving Lie group variational integrator that is both symplectic and momentum-preserving. Subsequently, we introduce adjoint systems on Lie groups, and show how these adjoint systems can be used to perform geometric adjoint sensitivity analysis for optimization problems on Lie groups. Finally, we conclude with two numerical examples to show how adjoint sensitivity analysis can be used to solve initial-value optimization problems and optimal control problems on Lie groups.


title: Design, characterization and installation of the NEXT-100 cathode and electroluminescence regions

abstract: NEXT-100 is currently being constructed at the Laboratorio Subterr\'aneo de Canfranc in the Spanish Pyrenees and will search for neutrinoless double beta decay using a high-pressure gaseous time projection chamber (TPC) with 100 kg of xenon. Charge amplification is carried out via electroluminescence (EL) which is the process of accelerating electrons in a high electric field region causing secondary scintillation of the medium proportional to the initial charge. The NEXT-100 EL and cathode regions are made from tensioned hexagonal meshes of 1 m diameter. This paper describes the design, characterization, and installation of these parts for NEXT-100. Simulations of the electric field are performed to model the drift and amplification of ionization electrons produced in the detector under various EL region alignments and rotations. Measurements of the electrostatic breakdown voltage in air characterize performance under high voltage conditions and identify breakdown points. The electrostatic deflection of the mesh is quantified and fit to a first-principles mechanical model. Measurements were performed with both a standalone test EL region and with the NEXT-100 EL region before its installation in the detector. Finally, we describe the parts as installed in NEXT-100, following their deployment in Summer 2023.


title: The occurrence rate of galaxies with polar structures may be significantly underestimated

abstract: Polar-ring galaxies are photometrically and kinematically decoupled systems which are highly inclined to the major axis of the host galaxy. These objects have been explored since the 1970s, but the rarity of these systems has made such study difficult. We examine a sample of over 18,362 galaxies from the Sloan Digital Sky Survey (SDSS) Stripe 82 for the presence of galaxies with polar structures. Using deep SDSS Stripe 82, DESI Legacy Imaging Surveys, and Hyper Suprime-Cam Subaru Strategic Program, we select 53 good candidate galaxies with photometrically decoupled polar rings, 9 galaxies with polar halos, and 34 possibly forming polar-ring galaxies, versus 13 polar-ring candidates previously mentioned in the literature for the Stripe 82. Our results suggest that the occurrence rate of galaxies with polar structures may be significantly underestimated, as revealed by the deep observations, and may amount to 1-3% of non-dwarf galaxies.


title: DAO Decentralization: Voting-Bloc Entropy, Bribery, and Dark DAOs

abstract: Decentralized Autonomous Organizations (DAOs) use smart contracts to foster communities working toward common goals. Existing definitions of decentralization, however-the 'D' in DAO-fall short of capturing key properties characteristic of diverse and equitable participation. We propose a new metric called Voting-Bloc Entropy (VBE, pronounced ''vibe'') that formalizes a broad notion of decentralization in voting on DAO proposals. VBE measures the similarity of participants' utility functions across a set of proposals. We use VBE to prove a number of results about the decentralizing effects of vote delegation, proposal bundling, bribery, and quadratic voting. Our results lead to practical suggestions for enhancing DAO decentralization. One of our results highlights the risk of systemic bribery with increasing DAO decentralization. To show that this threat is realistic, we present the first practical realization of a Dark DAO, a proposed mechanism for privacy-preserving corruption of identity systems, including those used in DAO voting. Our Dark-DAO prototype uses trusted execution environments (TEEs) in the Oasis Sapphire blockchain for attacks on Ethereum DAOs. It demonstrates that Dark DAOs constitute a realistic future concern for DAO governance.


title: A $2$-dimensional real Banach space with constant of analyticity less than one

abstract: We show that on the real $2$-dimensional Banach space $\ell_1^2$ there is an analytic function $f:B_{\ell_1^2}\rightarrow \mathbb{R}$ such that its power series at origin has radius of uniform convergence one, but for some $a\in B_{\ell_1^2}$ the power series centred at that point has radius of uniform convergence strictly less than $1-\|a\|$. This result highlights a fundamental distinction in real analytic functions (compared to complex analytic functions), where the radius of analyticity can differ from the radius of uniform convergence. Moreover, this example provides the first non-trivial upper bound for the constant of analyticity.


title: The Fairness Stitch: Unveiling the Potential of Model Stitching in Neural Network De-Biasing

abstract: The pursuit of fairness in machine learning models has emerged as a critical research challenge in different applications ranging from bank loan approval to face detection. Despite the widespread adoption of artificial intelligence algorithms across various domains, concerns persist regarding the presence of biases and discrimination within these models. To address this pressing issue, this study introduces a novel method called "The Fairness Stitch (TFS)" to enhance fairness in deep learning models. This method combines model stitching and training jointly, while incorporating fairness constraints. In this research, we assess the effectiveness of our proposed method by conducting a comprehensive evaluation of two well-known datasets, CelebA and UTKFace. We systematically compare the performance of our approach with the existing baseline method. Our findings reveal a notable improvement in achieving a balanced trade-off between fairness and performance, highlighting the promising potential of our method to address bias-related challenges and foster equitable outcomes in machine learning models. This paper poses a challenge to the conventional wisdom of the effectiveness of the last layer in deep learning models for de-biasing.


title: Quantifying Uncertainty in Natural Language Explanations of Large Language Models

abstract: Large Language Models (LLMs) are increasingly used as powerful tools for several high-stakes natural language processing (NLP) applications. Recent prompting works claim to elicit intermediate reasoning steps and key tokens that serve as proxy explanations for LLM predictions. However, there is no certainty whether these explanations are reliable and reflect the LLMs behavior. In this work, we make one of the first attempts at quantifying the uncertainty in explanations of LLMs. To this end, we propose two novel metrics -- $\textit{Verbalized Uncertainty}$ and $\textit{Probing Uncertainty}$ -- to quantify the uncertainty of generated explanations. While verbalized uncertainty involves prompting the LLM to express its confidence in its explanations, probing uncertainty leverages sample and model perturbations as a means to quantify the uncertainty. Our empirical analysis of benchmark datasets reveals that verbalized uncertainty is not a reliable estimate of explanation confidence. Further, we show that the probing uncertainty estimates are correlated with the faithfulness of an explanation, with lower uncertainty corresponding to explanations with higher faithfulness. Our study provides insights into the challenges and opportunities of quantifying uncertainty in LLM explanations, contributing to the broader discussion of the trustworthiness of foundation models.


title: PcLast: Discovering Plannable Continuous Latent States

abstract: Goal-conditioned planning benefits from learned low-dimensional representations of rich observations. While compact latent representations typically learned from variational autoencoders or inverse dynamics enable goal-conditioned decision making, they ignore state reachability, hampering their performance. In this paper, we learn a representation that associates reachable states together for effective planning and goal-conditioned policy learning. We first learn a latent representation with multi-step inverse dynamics (to remove distracting information), and then transform this representation to associate reachable states together in $\ell_2$ space. Our proposals are rigorously tested in various simulation testbeds. Numerical results in reward-based settings show significant improvements in sampling efficiency. Further, in reward-free settings this approach yields layered state abstractions that enable computationally efficient hierarchical planning for reaching ad hoc goals with zero additional samples.


title: Enhancing Performance Monitoring in C/C++ Programs with EDPM: A Domain-Specific Language for Performance Monitoring

abstract: The utilization of performance monitoring probes is a valuable tool for programmers to gather performance data. However, the manual insertion of these probes can result in an increase in code size, code obfuscation, and an added burden of learning different APIs associated with performance monitoring tools. To mitigate these issues, EDPM, an embedded domain-specific language, was developed to provide a higher level of abstraction for annotating regions of code that require instrumentation in C and C++ programs. This paper presents the design and implementation of EDPM and compares it to the well-known tool PAPI, in terms of required lines of code, flexibility in configuring regions, and performance overhead. The results of this study demonstrate that EDPM is a low-resolution profiling tool that offers a reduction in required lines of code and enables programmers to express various configurations of regions. Furthermore, the design of EDPM is such that its pragmas are ignored by the standard compiler, allowing for seamless integration into existing software processes without disrupting build systems or increasing the size of the executable. Additionally, the design of the EDPM pre-compiler allows for the extension of available performance counters while maintaining a high level of abstraction for programmers. Therefore, EDPM offers a promising solution to simplify and optimize performance monitoring in C and C++ programs.


title: Cosmic Birefringence from CP-Violating Axion Interactions

abstract: We explore the cosmic birefringence signal produced by an ultralight axion field with a small CP-violating coupling to bulk SM matter in addition to the usual CP-preserving photon coupling. The change in the vacuum expectation value of the field between recombination and today results in a frequency-independent rotation of the plane of CMB linear polarization across the entire sky. While many previous approaches rely on the axion rolling from a large initial expectation value, the couplings considered in this work robustly generate the birefringence signal regardless of initial conditions, by sourcing the field from the cosmological nucleon density. We place bounds on such monopole-dipole interactions using measurements of the birefringence angle from Planck and WMAP data, which improve upon existing constraints by up to three orders of magnitude. We also discuss UV completions of this model, and possible strategies to avoid fine-tuning the axion mass.


title: Leveraging point annotations in segmentation learning with boundary loss

abstract: This paper investigates the combination of intensity-based distance maps with boundary loss for point-supervised semantic segmentation. By design the boundary loss imposes a stronger penalty on the false positives the farther away from the object they occur. Hence it is intuitively inappropriate for weak supervision, where the ground truth label may be much smaller than the actual object and a certain amount of false positives (w.r.t. the weak ground truth) is actually desirable. Using intensity-aware distances instead may alleviate this drawback, allowing for a certain amount of false positives without a significant increase to the training loss. The motivation for applying the boundary loss directly under weak supervision lies in its great success for fully supervised segmentation tasks, but also in not requiring extra priors or outside information that is usually required -- in some form -- with existing weakly supervised methods in the literature. This formulation also remains potentially more attractive than existing CRF-based regularizers, due to its simplicity and computational efficiency. We perform experiments on two multi-class datasets; ACDC (heart segmentation) and POEM (whole-body abdominal organ segmentation). Preliminary results are encouraging and show that this supervision strategy has great potential. On ACDC it outperforms the CRF-loss based approach, and on POEM data it performs on par with it. The code for all our experiments is openly available.


title: On an Optimal Stopping Problem with a Discontinuous Reward

abstract: We study an optimal stopping problem with an unbounded, time-dependent and discontinuous reward function.This problem is motivated by the pricing of a variable annuity contract with guaranteed minimum maturity benefit, under the assumption that the policyholder's surrender behaviour maximizes the risk-neutral value of the contract. We consider a general fee and surrender charge function, and give a condition under which optimal stopping always occurs at maturity. Using an alternative representation for the value function of the optimization problem, we study its analytical properties and the resulting surrender (or exercise) region. In particular, we show that the non-emptiness and the shape of the surrender region are fully characterized by the fee and the surrender charge functions, which provides a powerful tool to understand their interrelation and how it affects early surrenders and the optimal surrender boundary. Under certain conditions on these two functions, we develop three representations for the value function; two are analogous to their American option counterpart, and one is new to the actuarial and American option pricing literature.


title: Geant4 simulations of sampling and homogeneous hadronic calorimeters with dual readout for future colliders

abstract: Hadronic calorimeters with dual readout measure both scintillation and Cherenkov lights produced in their active media. They offer improvements in energy resolution and, therefore, have become increasingly interesting due to the need for precision jet measurements at Higgs factories. This paper presents Geant4 simulations of single-particle responses in sampling and homogeneous calorimeters, and demonstrates the effect of inclusion of Cherenkov light in the reconstruction of energies. The simulations are performed with a single-photon precision.


title: Determination of source terms and coefficients dependent on $n-1$ spatial variable of parabolic and Schr\"odinger equations

abstract: We establish the uniqueness in the determination of a source term or a coefficient of the zeroth order term of a second-order parabolic equation. Moreover we consider the determination of a potential of the Schr\"odinger equation. For a parabolic equation, an unknown source term and coefficient depend on the time and $n-1$ spatial variables. For the Schr\"odinger equation, we assume that a potential depends on $n-1$ spatial variables. The data are taken on a part of the boundary satisfying some geometric condition.


title: Orbit separation dimension as complexity measure for primitive inflation tilings

abstract: Orbit separation dimension (OSD), previously introduced as amorphic complexity, is a powerful complexity measure for topological dynamical systems with pure-point spectrum. Here, we develop methods and tools for it that allow a systematic application to translation dynamical systems of tiling spaces that are generated by primitive inflation rules. These systems share many nice properties that permit the explicit computation of the OSD, thus providing a rich class of examples with non-trivial OSD.


title: Indexing Techniques for Graph Reachability Queries

abstract: We survey graph reachability indexing techniques for efficient processing of graph reachability queries in two types of popular graph models: plain graphs and edge-labeled graphs. Reachability queries are fundamental in graph processing, and reachability indexes are specialized data structures tailored for speeding up such queries. Work on this topic goes back four decades -- we include 33 of the proposed techniques. Plain graphs contain only vertices and edges, with reachability queries checking path existence between a source and target vertex. Edge-labeled graphs, in contrast, augment plain graphs by adding edge labels. Reachability queries in edge-labeled graphs incorporate path constraints based on edge labels, assessing both path existence and compliance with constraints. We categorize techniques in both plain and edge-labeled graphs and discuss the approaches according to this classification, using existing techniques as exemplars. We discuss the main challenges within each class and how these might be addressed in other approaches. We conclude with a discussion of the open research challenges and future research directions, along the lines of integrating reachability indexes into graph data management systems. This survey serves as a comprehensive resource for researchers and practitioners interested in the advancements, techniques, and challenges on reachability indexing in graph analytics.


title: Enabling Dynamic Selection of Implementation Variants in Component-Based Parallel Programming for Heterogeneous Systems

abstract: Heterogeneous systems, consisting of CPUs and GPUs, offer the capability to address the demands of compute- and data-intensive applications. However, programming such systems is challenging, requiring knowledge of various parallel programming frameworks. This paper introduces COMPAR, a component-based parallel programming framework that enables the exposure and selection of multiple implementation variants of components at runtime. The framework leverages compiler directive-based language extensions to annotate the source code and generate the necessary glue code for the StarPU runtime system. COMPAR provides a unified view of implementation variants and allows for intelligent selection based on runtime context. Our evaluation demonstrates the effectiveness of COMPAR through benchmark applications. The proposed approach simplifies heterogeneous parallel programming and promotes code reuse while achieving optimal performance.


title: Interface-templated crystal growth in sodium dodecyl sulfate solutions with NaCl

abstract: Many ionic surfactants, such as sodium dodecyl sulphate (SDS) crystallize out of solution if the temperature falls below the crystallization boundary. The crystallization temperature is impacted by solution properties, and can be decreased with the addition of salt. We have studied SDS crystallization a t the liquid/vapor interfaces from solutions at high ionic strength (sodium chloride). We show that the surfactant crystals at the surface grow from adsorbed SDS molecules, as evidenced by the preferential orientation of the crystals identified using grazing incidence X-ray diffraction. We find a unique timescale f or the crystal growth from the evolution of structure, surface tension, and visual inspection, which can be controlled through varying the SDS or NaCl concentrations.


title: Time-optimal Design and Control of Electric Race Cars Equipped with Multi-speed Transmissions

abstract: This paper presents a framework to jointly optimize the design and control of an electric race car equipped with a multiple-gear transmission, specifically accounting for the discrete gearshift dynamics. We formulate the problem as a mixed-integer optimal control problem, and deal with its complexity by combining convex optimization and Pontryagin's Minimum Principle in a computationally efficient iterative algorithm satisfying necessary conditions for optimality upon convergence. Finally, we leverage our framework to compute the achievable lap time of a race car equipped with a fixed-gear transmission, a continuously variable transmission and a multiple-gear transmission with 2 to 4 speeds, revealing that a multiple-gear transmission can strike the best trade-off in terms of electric motor control, and transmission weight and efficiency, ultimately yielding the overall best lap time.


title: Optimizing Climate Policy through C-ROADS and En-ROADS Analysis

abstract: With the onset of climate change and the increasing need for effective policies, a multilateral approach is needed to make an impact on the growing threats facing the environment. Through the use of systematic analysis by way of C-ROADS and En-ROADS, numerous scenarios have been simulated to shed light on the most imperative policy factors to mitigate climate change. Within C-ROADS, it was determined that the impacts of the shrinking ice-albedo effect on global temperatures is significant, however differential sea ice melting between the poles may not impact human dwellings, as all regions are impacted by sea ice melt. Flood risks are also becoming more imminent, specifically in high population density areas. In terms of afforestation, China is the emerging leader, and if other countries follow suit, this can incur substantial dividends. Upon conducting a comprehensive analysis of global trends through En-ROADS, intriguing patterns appear between the length of a policy initiative, and its effectiveness. Quick policies with gradual increases in taxation proved successful. Government intervention was also favorable, however an optimized model is presented, with moderate subsidization of renewable energy. Through this systematic analysis of assumptions and policy for effective climate change mitigation efforts, an optimized, economically-favorable solution arises.


title: InterVLS: Interactive Model Understanding and Improvement with Vision-Language Surrogates

abstract: Deep learning models are widely used in critical applications, highlighting the need for pre-deployment model understanding and improvement. Visual concept-based methods, while increasingly used for this purpose, face challenges: (1) most concepts lack interpretability, (2) existing methods require model knowledge, often unavailable at run time. Additionally, (3) there lacks a no-code method for post-understanding model improvement. Addressing these, we present InterVLS. The system facilitates model understanding by discovering text-aligned concepts, measuring their influence with model-agnostic linear surrogates. Employing visual analytics, InterVLS offers concept-based explanations and performance insights. It enables users to adjust concept influences to update a model, facilitating no-code model improvement. We evaluate InterVLS in a user study, illustrating its functionality with two scenarios. Results indicates that InterVLS is effective to help users identify influential concepts to a model, gain insights and adjust concept influence to improve the model. We conclude with a discussion based on our study results.


title: Relative Bruce-Roberts number and Chern obstruction

abstract: Let $(X,0)$ be the germ of an equidimensional analytic set in $(\mathbb C^n,0)$ and $f=(f_1,f_2)$ a map-germ into the plane defined on $X.$ In this work, we investigate topological invariants associated to the pair $(f,X),$ among them, the Euler obstruction of $f,$ $Eu_{f,X}(0),$ and under convenient assumptions, the Chern number of families of differential forms associated to $f.$ The topological information provided by these invariants is useful, although difficult to calculate. The aim of the paper is to introduce the Bruce-Roberts and the relative Bruce-Roberts numbers as useful algebraic tools to capture the topological information giving by the Euler obstruction and the Chern numbers. Closed formulas are given when $X,\, X\cap f_2^{-1}(0),\, X\cap f_2^{-1}(0)\cap f_1^{-1}(0)$ are ICIS. In the last section, for a 2-dimensional ICIS $(X,0) \subset (\mathbb C^n,0),$ we apply our results to give an alternative description for the number of cusps $c(f|_X)$ of an stabilization of an $\mathcal A$-finite map-germ $f=(f_1, f_2): (X,0) \to (\mathbb C^2,0).$ A formula for $c(f|_X)$ was first given in [21].


title: On the combinatorics of $k$-Naples parking functions and parking strategies

abstract: We propose a characterization of $k$-Naples parking functions in terms of subsequences with the structure of a complete $k$-Naples parking function. We define complete parking preferences by requiring that for all $j=2,\dots,n$, the number of cars having preference at least $j$ is strictly greater than the number of spots in $[j,n]$. We also provide a characterization of permutation invariant $k$-Naples parking functions. Finally, we introduce a generalization of the parking problem where each car is given its own parking rule, by defining parking strategies as vectors of rules that allow all cars to park. Given a parking preference, we also investigate ways to find parking strategies that minimize certain natural parameters, such as the total number of backward steps, or the number of cars that need to drive backwards.


title: United We Stand, Divided We Fall: UnityGraph for Unsupervised Procedure Learning from Videos

abstract: Given multiple videos of the same task, procedure learning addresses identifying the key-steps and determining their order to perform the task. For this purpose, existing approaches use the signal generated from a pair of videos. This makes key-steps discovery challenging as the algorithms lack inter-videos perspective. Instead, we propose an unsupervised Graph-based Procedure Learning (GPL) framework. GPL consists of the novel UnityGraph that represents all the videos of a task as a graph to obtain both intra-video and inter-videos context. Further, to obtain similar embeddings for the same key-steps, the embeddings of UnityGraph are updated in an unsupervised manner using the Node2Vec algorithm. Finally, to identify the key-steps, we cluster the embeddings using KMeans. We test GPL on benchmark ProceL, CrossTask, and EgoProceL datasets and achieve an average improvement of 2% on third-person datasets and 3.6% on EgoProceL over the state-of-the-art.


title: Context Unlocks Emotions: Text-based Emotion Classification Dataset Auditing with Large Language Models

abstract: The lack of contextual information in text data can make the annotation process of text-based emotion classification datasets challenging. As a result, such datasets often contain labels that fail to consider all the relevant emotions in the vocabulary. This misalignment between text inputs and labels can degrade the performance of machine learning models trained on top of them. As re-annotating entire datasets is a costly and time-consuming task that cannot be done at scale, we propose to use the expressive capabilities of large language models to synthesize additional context for input text to increase its alignment with the annotated emotional labels. In this work, we propose a formal definition of textual context to motivate a prompting strategy to enhance such contextual information. We provide both human and empirical evaluation to demonstrate the efficacy of the enhanced context. Our method improves alignment between inputs and their human-annotated labels from both an empirical and human-evaluated standpoint.


title: Modeling and Control of Diesel Engine Emissions using Multi-layer Neural Networks and Economic Model Predictive Control

abstract: This paper presents the results of developing a multi-layer Neural Network (NN) to represent diesel engine emissions and integrating this NN into control design. Firstly, a NN is trained and validated to simultaneously predict oxides of nitrogen (N Ox) and Soot using both transient and steady-state data. Based on the input-output correlation analysis, inputs to NN with the highest influence on the emissions are selected while keeping the NN structure simple. Secondly, a co-simulation framework is implemented to integrate the NN emissions model with a model of a diesel engine airpath system built in GT-Power and used to identify a low-order linear parameter-varying (LPV) model for emissions prediction. Finally, an economic supervisory model predictive controller (MPC) is developed using the LPV emissions model to adjust setpoints to an inner-loop airpath tracking MPC. Simulation results are reported illustrating the capability of the resulting controller to reduce N Ox, meet the target Soot limit, and track the adjusted intake manifold pressure and exhaust gas recirculation (EGR) rate targets.


title: iDb-A*: Iterative Search and Optimization for Optimal Kinodynamic Motion Planning

abstract: Motion planning for robotic systems with complex dynamics is a challenging problem. While recent sampling-based algorithms achieve asymptotic optimality by propagating random control inputs, their empirical convergence rate is often poor, especially in high-dimensional systems such as multirotors. An alternative approach is to first plan with a simplified geometric model and then use trajectory optimization to follow the reference path while accounting for the true dynamics. However, this approach may fail to produce a valid trajectory if the initial guess is not close to a dynamically feasible trajectory. In this paper, we present Iterative Discontinuity Bounded A* (iDb-A*), a novel kinodynamic motion planner that combines search and optimization iteratively. The search step utilizes a finite set of short trajectories (motion primitives) that are interconnected while allowing for a bounded discontinuity between them. The optimization step locally repairs the discontinuities with trajectory optimization. By progressively reducing the allowed discontinuity and incorporating more motion primitives, our algorithm achieves asymptotic optimality with excellent any-time performance. We provide a benchmark of 43 problems across eight different dynamical systems, including different versions of unicycles and multirotors. Compared to state-of-the-art methods, iDb-A* consistently solves more problem instances and finds lower-cost solutions more rapidly.


title: Conditional Randomization Tests for Behavioral and Neural Time Series

abstract: Randomization tests allow simple and unambiguous tests of null hypotheses, by comparing observed data to a null ensemble in which experimentally-controlled variables are randomly resampled. In behavioral and neuroscience experiments, however, the stimuli presented often depend on the subject's previous actions, so simple randomization tests are not possible. We describe how conditional randomization can be used to perform exact hypothesis tests in this situation, and illustrate it with two examples. We contrast conditional randomization with a related approach of tangent randomization, in which stimuli are resampled based only on events occurring in the past, which is not valid for all choices of test statistic. We discuss how to design experiments that allow conditional randomization tests to be used.


title: Model Predictive Control of Diesel Engine Emissions Based on Neural Network Modeling

abstract: This paper addresses the control of diesel engine nitrogen oxides (NOx) and Soot emissions through the application of Model Predictive Control (MPC). The developments described in the paper are based on a high-fidelity model of the engine airpath and torque response in GT-Power, which is extended with a feedforward neural network (FNN)-based model of engine out (feedgas) emissions identified from experimental engine data to enable the controller co-simulation and performance verification. A Recurrent Neural Network (RNN) is then identified for use as a prediction model in the implementation of a nonlinear economic MPC that adjusts intake manifold pressure and EGR rate set-points to the inner loop airpath controller as well as the engine fueling rate. Based on GT-Power engine model and FNN emissions model, the closed-loop simulations of the control system and the plant model, over different driving cycles, demonstrate the capability to shape engine out emissions response by adjusting weights and constraints in economic MPC formulation.


title: Bounds on tidal charges from gravitational-wave ringdown observations

abstract: Black hole solutions in the braneworld scenario are predicted to possess a tidal charge parameter, leaving imprints in the quasinormal spectrum. We conduct an extensive computation of such spectrum, and use it to construct a waveform model for the ringdown relaxation regime of binary black hole mergers observed by LIGO and Virgo. Applying a Bayesian time-domain analysis formalism, we analyse a selected dataset from the GWTC-3 LIGO-Virgo-Kagra catalog of binary coalescences, bounding the value of the tidal charge. With our analysis we obtain the first robust constraints on such charges, highlighting the importance of accounting for the previously ignored correlations with the other black hole intrinsic parameters.


title: Spatio-Temporal Similarity Measure based Multi-Task Learning for Predicting Alzheimer's Disease Progression using MRI Data

abstract: Identifying and utilising various biomarkers for tracking Alzheimer's disease (AD) progression have received many recent attentions and enable helping clinicians make the prompt decisions. Traditional progression models focus on extracting morphological biomarkers in regions of interest (ROIs) from MRI/PET images, such as regional average cortical thickness and regional volume. They are effective but ignore the relationships between brain ROIs over time, which would lead to synergistic deterioration. For exploring the synergistic deteriorating relationship between these biomarkers, in this paper, we propose a novel spatio-temporal similarity measure based multi-task learning approach for effectively predicting AD progression and sensitively capturing the critical relationships between biomarkers. Specifically, we firstly define a temporal measure for estimating the magnitude and velocity of biomarker change over time, which indicate a changing trend(temporal). Converting this trend into the vector, we then compare this variability between biomarkers in a unified vector space(spatial). The experimental results show that compared with directly ROI based learning, our proposed method is more effective in predicting disease progression. Our method also enables performing longitudinal stability selection to identify the changing relationships between biomarkers, which play a key role in disease progression. We prove that the synergistic deteriorating biomarkers between cortical volumes or surface areas have a significant effect on the cognitive prediction.


title: Replication and study of anomalies in LK-99--the alleged ambient-pressure, room-temperature superconductor

abstract: We have studied LK-99 [Pb$_{10-x}$Cu$_x$(PO$_4$)$_6$O], alleged by Lee et al. to exhibit superconductivity above room temperature and at ambient pressure, and have reproduced all anomalies in electric and magnetic measurements that they reported as evidence for the claim of LK-99 being an ambient-pressure, room-temperature superconductor. We found that these anomalies are associated with the structural transition of the Cu$_2$S impurity in their sample and not with superconductivity.