title: Privacy-Preserving Algorithmic Recourse

abstract: When individuals are subject to adverse outcomes from machine learning models, providing a recourse path to help achieve a positive outcome is desirable. Recent work has shown that counterfactual explanations - which can be used as a means of single-step recourse - are vulnerable to privacy issues, putting an individuals' privacy at risk. Providing a sequential multi-step path for recourse can amplify this risk. Furthermore, simply adding noise to recourse paths found from existing methods can impact the realism and actionability of the path for an end-user. In this work, we address privacy issues when generating realistic recourse paths based on instance-based counterfactual explanations, and provide PrivRecourse: an end-to-end privacy preserving pipeline that can provide realistic recourse paths. PrivRecourse uses differentially private (DP) clustering to represent non-overlapping subsets of the private dataset. These DP cluster centers are then used to generate recourse paths by forming a graph with cluster centers as the nodes, so that we can generate realistic - feasible and actionable - recourse paths. We empirically evaluate our approach on finance datasets and compare it to simply adding noise to data instances, and to using DP synthetic data, to generate the graph. We observe that PrivRecourse can provide paths that are private and realistic.


title: A symmetric Gauss-Seidel method for the steady-state Boltzmann equation

abstract: We introduce numerical solvers for the steady-state Boltzmann equation based on the symmetric Gauss-Seidel (SGS) method. Due to the quadratic collision operator in the Boltzmann equation, the SGS method requires solving a nonlinear system on each grid cell, and we consider two methods, namely Newton's method and the fixed-point iteration, in our numerical tests. For small Knudsen numbers, our method has an efficiency between the classical source iteration and the modern generalized synthetic iterative scheme, and the complexity of its implementation is closer to the source iteration. A variety of numerical tests are carried out to demonstrate its performance, and it is concluded that the proposed method is suitable for applications with moderate to large Knudsen numbers.


title: Machine Learning For An Explainable Cost Prediction of Medical Insurance

abstract: Predictive modeling in healthcare continues to be an active actuarial research topic as more insurance companies aim to maximize the potential of Machine Learning approaches to increase their productivity and efficiency. In this paper, the authors deployed three regression-based ensemble ML models that combine variations of decision trees through Extreme Gradient Boosting, Gradient-boosting Machine, and Random Forest) methods in predicting medical insurance costs. Explainable Artificial Intelligence methods SHapley Additive exPlanations and Individual Conditional Expectation plots were deployed to discover and explain the key determinant factors that influence medical insurance premium prices in the dataset. The dataset used comprised 986 records and is publicly available in the KAGGLE repository. The models were evaluated using four performance evaluation metrics, including R-squared, Mean Absolute Error, Root Mean Squared Error, and Mean Absolute Percentage Error. The results show that all models produced impressive outcomes; however, the XGBoost model achieved a better overall performance although it also expanded more computational resources, while the RF model recorded a lesser prediction error and consumed far fewer computing resources than the XGBoost model. Furthermore, we compared the outcome of both XAi methods in identifying the key determinant features that influenced the PremiumPrices for each model and whereas both XAi methods produced similar outcomes, we found that the ICE plots showed in more detail the interactions between each variable than the SHAP analysis which seemed to be more high-level. It is the aim of the authors that the contributions of this study will help policymakers, insurers, and potential medical insurance buyers in their decision-making process for selecting the right policies that meet their specific needs.


title: A DSMC-CFD coupling method using surrogate modelling for low-speed rarefied gas flows

abstract: A new Micro-Macro-Surrogate (MMS) hybrid method is presented that couples the Direct Simulation Monte Carlo (DSMC) method with Computational Fluid Dynamics (CFD) to simulate low-speed rarefied gas flows. The proposed MMS method incorporates surrogate modelling instead of direct coupling of DSMC data with the CFD, addressing the limitations CFD has in accurately modelling rarefied gas flows, the computational cost of DSMC for low-speed and multiscale flows, as well as the pitfalls of noise in conventional direct coupling approaches. The surrogate models, trained on the DSMC data using Bayesian inference, provide noise-free and accurate corrections to the CFD simulation enabling it to capture the non-continuum physics. The MMS hybrid approach is validated by simulating low-speed, force-driven rarefied gas flows in a canonical parallel-plate system and shows excellent agreement with DSMC benchmark results. A comparison with the typical domain decomposition DSMC-CFD hybrid method is also presented, to demonstrate the advantages of noise-avoidance in the proposed approach. The method also inherently captures the uncertainty arising from micro-model fluctuations, allowing for the quantification of noise-related uncertainty in the predictions. The proposed MMS method demonstrates the potential to enable multiscale simulations where CFD is inaccurate and DSMC is prohibitively expensive.


title: An approach to solve the coarse-grained Protein folding problem in a Quantum Computer

abstract: Protein folding, which dictates the protein structure from its amino acid sequence, is half a century old problem of biology. The function of the protein correlates with its structure, emphasizing the need of understanding protein folding for studying the cellular and molecular mechanisms that occur within biological systems. Understanding protein structures and enzymes plays a critical role in target based drug designing, elucidating protein-related disease mechanisms, and innovating novel enzymes. While recent advancements in AI based protein structure prediction methods have solved the protein folding problem to an extent, their precision in determining the structure of the protein with low sequence similarity is limited. Classical methods face challenges in generating extensive conformational samplings, making quantum-based approaches advantageous for solving protein folding problems. In this work we developed a novel turn based encoding algorithm that can be run on a gate based quantum computer for predicting the structure of smaller protein sequences using the HP model as an initial framework, which can be extrapolated in its application to larger and more intricate protein systems in future. The HP model best represents a major step in protein folding phenomena - the hydrophobic collapse which brings the hydrophobic amino acid to the interior of a protein. The folding problem is cast in a 3D cubic lattice with degrees of freedom along edges parallel to the orthogonal axes, as well as along diagonals parallel to the axial planes. While, the original formulation with higher order terms can be run on gate based quantum hardwares, the QUBO formulation can give results on both classical softwares employing annealers and IBM CPLEX as well as quantum hardwares.


title: Retention in STEM: Factors Influencing Student Persistence and Employment

abstract: This study utilizes data from the Baccalaureate and Beyond Longitudinal Study to explore factors associated with the likelihood of students' employment in STEM fields one year after graduation. We examined various factors related to students' individual characteristics (e.g., gender, race, and financial situation), institutional experiences (e.g., major, academic standing, research involvement, internships, extracurricular activities, and undergraduate practicum), and institutional and national trends. The results indicate lower STEM employment likelihood for minority groups and students with academic probation. The findings also highlight the positive impact of undergraduate practicum and job relevance to major on STEM employment likelihood. On the contrary, career services were negatively associated with the likelihood of students' STEM occupation choice, suggesting potential shortcomings in STEM job preparation within these services. The study provides valuable insights and actionable recommendations for policymakers and educators seeking to increase diversity and inclusion in STEM fields, suggesting the need for more efficient and tailored educational interventions and curriculum development.


title: Exciting high-frequency short-wavelength spin waves using high harmonics of a magnonic cavity mode

abstract: Confined spin-wave modes are a promising object for studying nonlinear effects and future quantum technologies. Here, using micromagnetic simulations, we use a microwave magnetic field from a coplanar waveguide (CPW) to pump a standing spin-wave confined in the cavity of magnonic crystal. We find that the frequency of the fundamental cavity mode is equal to the ferromagnetic resonance frequency of the plane film and overlaps with the magnonic bandgap, allowing high magnetic field tunability. Multi-frequency harmonics of the cavity mode are generated once the microwave amplitude surpasses a certain threshold. Specifically, the second and third harmonics at 0.5 T equate to 48.6 and 72.9 GHz with wavelengths of 44 and 22 nm respectively, which propagate into the crystal. This effect reaches saturation when the CPW covers the entire cavity, making the system feasible for realization. These processes show potential for the advancement of magnonics at high-frequencies and very short-wavelengths.


title: Cosmic string influence on a 2D hydrogen atom and its relationship with the Rytova-Keldysh logarithmic approximation in semiconductors

abstract: A two-dimensional hydrogen atom offers a promising alternative for describing the quantum interaction between an electron and a proton in the presence of a straight cosmic string. Reducing the hydrogen atom to two dimensions enhances its suited to capture the cylindrical/conical symmetry associated with the cosmic string, providing a more appropriate description of the physical system. After solving Schr\"dinger's equation, we calculate the eigenenergies, probability distribution function, and expected values for the hydrogen atom with logarithmic potential under the influence of the topological defect. The calculations for the 2D hydrogen atom are performed for the first time using the Finite Difference Method. The results are presented through graphics, tables, and diagrams to elucidate the system's physical properties. We have verified that our calculations agree with a linear variational method result. Our model leads to an interesting analogy with excitons in a two-dimensional monolayer semiconductor located within a specific semiconductor region. To elucidate this analogy, we present and discuss some interaction potentials and their exciton eigenstates by comparing them with the results from the literature.


title: Multi-Agent Motion Planning with B\'ezier Curve Optimization under Kinodynamic Constraints

abstract: Multi-Agent Motion Planning (MAMP) is a problem that seeks collision-free dynamically-feasible trajectories for multiple moving agents in a known environment while minimizing their travel time. MAMP is closely related to the well-studied Multi-Agent Path-Finding (MAPF) problem. Recently, MAPF methods have achieved great success in finding collision-free paths for a substantial number of agents. However, those methods often overlook the kinodynamic constraints of the agents, assuming instantaneous movement, which limits their practicality and realism. In this paper, we present a three-level MAPF-based planner called PSB to address the challenges posed by MAMP. PSB fully considers the kinodynamic capability of the agents and produces solutions with smooth speed profiles that can be directly executed by the controller. Empirically, we evaluate PSB within the domains of traffic intersection coordination for autonomous vehicles and obstacle-rich grid map navigation for mobile robots. PSB shows up to 49.79% improvements in solution cost compared to existing methods.


title: Class Balanced Dynamic Acquisition for Domain Adaptive Semantic Segmentation using Active Learning

abstract: Domain adaptive active learning is leading the charge in label-efficient training of neural networks. For semantic segmentation, state-of-the-art models jointly use two criteria of uncertainty and diversity to select training labels, combined with a pixel-wise acquisition strategy. However, we show that such methods currently suffer from a class imbalance issue which degrades their performance for larger active learning budgets. We then introduce Class Balanced Dynamic Acquisition (CBDA), a novel active learning method that mitigates this issue, especially in high-budget regimes. The more balanced labels increase minority class performance, which in turn allows the model to outperform the previous baseline by 0.6, 1.7, and 2.4 mIoU for budgets of 5%, 10%, and 20%, respectively. Additionally, the focus on minority classes leads to improvements of the minimum class performance of 0.5, 2.9, and 4.6 IoU respectively. The top-performing model even exceeds the fully supervised baseline, showing that a more balanced label than the entire ground truth can be beneficial.


title: A numerical study on the influence of geometry on the rupture risk of abdominal aortic aneurysms

abstract: Abdominal aortic aneurysms (AAAs) are local dilatations in the abdominal aorta occurring due to weakening of arterial wall. The present work investigates the influence of the ratio of maximum transverse diameter to abdominal height (DHr) on rupture risk of AAA, using hemodynamics and AAA wall mechanics simulations. We have considered two idealized AAA geometries, AAA1 of higher DHr than AAA2. Two constitutive models, namely, Newtonian and Carreau-Yasuda models have been used for modelling blood as an incompressible fluid. Additionally, in order to describe the behaviour of AAA wall, three constitutive models, namely, linear elastic, Saint Venant Kirchhoff elastic and a phenomenological finite-strain model called Raghavan-Vorp elastic have been utilised. Numerical simulations of AAA biomechanics have been performed using solids4Foam, an open source package built on finite volume framework. Hemodynamic parameteric study reveals that AAA1 has lower time-averaged wall shear stress (TAWSS) and higher oscillatory shear index (OSI) compared to AAA2. Thus, AAA1 has increased susceptibility to thrombus deposition and, therefore, higher risk of AAA rupture. Furthermore, the peak wall stress of AAA1 is about 8% higher than that of AAA2. It is concluded that higher DHr leads to greater rupture risk.


title: Automated 3D Tumor Segmentation using Temporal Cubic PatchGAN (TCuP-GAN)

abstract: Development of robust general purpose 3D segmentation frameworks using the latest deep learning techniques is one of the active topics in various bio-medical domains. In this work, we introduce Temporal Cubic PatchGAN (TCuP-GAN), a volume-to-volume translational model that marries the concepts of a generative feature learning framework with Convolutional Long Short-Term Memory Networks (LSTMs), for the task of 3D segmentation. We demonstrate the capabilities of our TCuP-GAN on the data from four segmentation challenges (Adult Glioma, Meningioma, Pediatric Tumors, and Sub-Saharan Africa subset) featured within the 2023 Brain Tumor Segmentation (BraTS) Challenge and quantify its performance using LesionWise Dice similarity and $95\%$ Hausdorff Distance metrics. We demonstrate the successful learning of our framework to predict robust multi-class segmentation masks across all the challenges. This benchmarking work serves as a stepping stone for future efforts towards applying TCuP-GAN on other multi-class tasks such as multi-organelle segmentation in electron microscopy imaging.


title: Toward organ shortage resilient allocation policies using real-time queueing models for liver transplantation

abstract: We report in this paper on the potential interest of real-time queueing models to optimize organ allocation policies. We especially focus on building organ shortage resilient policies in terms of equity, as we experienced differential impact of the COVID epidemic organ shortage on transplant access, according to the cause of liver failure. Patient's death on the waiting list or dropout for being too sick, resulting from the absence of a timely available organ, is chosen as the main equity metric. Results obtained with the composite allocation score used in France is challenged against the so-called Early Simulated Deadline First (ESDF) real-time queueing discipline, under increasing levels of organ shortage, by extensive simulations. The ESDF policy is a variant of the well-know Earliest Deadline First (EDF) policy, which was shown as optimal in various contexts in the queueing literature. In the present case, the time to the deadline represents the remaining life duration of patients - which is of course unknown. So we propose to simulate a fictional life-duration, and give priority to the earliest simulated deadline. This leads to a simple and comprehensive representation of the system at hand by a Markov process. Our simulation results clearly show that the ESDF policy allows to maintain equity between indications, conversely to the scoring policy, which was not resilient to increasing levels of organ shortage.


title: Logarithmic enumerative geometry for curves and sheaves

abstract: We propose a logarithmic enhancement of the Gromov-Witten/Donaldson-Thomas correspondence, with descendants, and study the behaviour of the correspondence under simple normal crossings degenerations. The formulation of the logarithmic correspondence requires a matching of tangency conditions and relative insertions. This is achieved via a version of the Nakajima basis for the cohomology of the Hilbert schemes of points on logarithmic surfaces. We then establish a strong form of the degeneration formula in logarithmic DT theory - the numerical DT invariants of the general fiber of a degeneration are determined by the numerical DT invariants attached to strata of the special fiber. The GW version of this result, which we also prove here, is a strengthening of the currently known formulas. A key role is played by a certain exotic class of insertions, introduced here, and can be thought of as non-local incidence conditions coupled across multiple boundary strata of the target geometry. Finally, we prove compatiblity of the new logarithmic GW/DT correspondence with degenerations, and in particular, knowledge of the conjecture on the strata of the special fiber of a degeneration implies it on the general fiber. Several examples are included to illustrate the nature and utility of the formula.


title: Weak Stability and Quasistability

abstract: It is known that weak l-sequential supercyclicity implies weak quasistability, and it is still unknown weather weak l-sequential supercyclicity implies weak stability, much less whether weak supercyclicity implies weak stability (although it is known for a long time that strong supercyclicity implies strong stability). It is shown that weak l-sequential supercyclicity implies weak stability under the assumption of boundedly spaced subsequences. It is given an example of a power bounded quasistable operator which is not weakly stable.


title: Differential aperture photometry and digital coronagraphy with PRAIA

abstract: PRAIA - Package for the Reduction of Astronomical Images Automatically - is a suite of photometric and astrometric tasks designed to cope with huge amounts of heterogeneous observations with fast processing, no human intervention, minimum parametrization and yet maximum possible accuracy and precision. It is the main tool used to analyse astronomical observations by an international collaboration involving Brazilian, French and Spanish researchers under the Lucky Star umbrella for Solar System studies. Here, we focus on the concepts of differential aperture photometry and digital coronagraphy underneath PRAIA, used in the reduction of stellar occultations, rotational light curves, mutual phenomena and natural satellite observations. We highlight novelties developed by us and never before reported in the literature, which significantly enhance the precision and automation of photometry and digital coronagraphy, such as: a) PRAIA's pixelized aperture photometry (PCAP); b) fully automatic object detection and aperture determination (BOIA); c) better astrometry improving the aperture and coronagraphy centre, including the new Photogravity Center Method besides circular and elliptical Gaussian and Lorentzian generalized profiles; d) coronagraphy of faint objects close to bright ones and vice-versa; e) use of elliptical rings for the coronagraphy of elongated profiles; f) refined quartile ring statistics; g) multiprocessing image capabilities for faster computation speed. We give examples showing the photometry performance, discuss the advantages of PRAIA over other popular packages, and point out the uniqueness of its digital coronagraphy in comparison with other coronagraphy tools. Besides Solar System works, PRAIA can also be used in the differential photometry and digital coronagraphy of any astrophysical observations. PRAIA codes are publicly available at: https://ov.ufrj.br/en/PRAIA/.


title: Tube-NeRF: Efficient Imitation Learning of Visuomotor Policies from MPC using Tube-Guided Data Augmentation and NeRFs

abstract: Imitation learning (IL) can train computationally-efficient sensorimotor policies from a resource-intensive Model Predictive Controller (MPC), but it often requires many samples, leading to long training times or limited robustness. To address these issues, we combine IL with a variant of robust MPC that accounts for process and sensing uncertainties, and we design a data augmentation (DA) strategy that enables efficient learning of vision-based policies. The proposed DA method, named Tube-NeRF, leverages Neural Radiance Fields (NeRFs) to generate novel synthetic images, and uses properties of the robust MPC (the tube) to select relevant views and to efficiently compute the corresponding actions. We tailor our approach to the task of localization and trajectory tracking on a multirotor, by learning a visuomotor policy that generates control actions using images from the onboard camera as only source of horizontal position. Numerical evaluations show 80-fold increase in demonstration efficiency and a 50% reduction in training time over current IL methods. Additionally, our policies successfully transfer to a real multirotor, achieving low tracking errors despite large disturbances, with an onboard inference time of only 1.5 ms. Video: https://youtu.be/_W5z33ZK1m4


title: Structural transitions in superconducting NbTiN thin films

abstract: Superconducting NbTiN thin films have garnered extensive interest due to their use in Superconducting Nanowire Single-Photon Detectors (SNSPDs) and other low-temperature applications for potential use in quantum computing and nanoelectronics. This study examines structural phase transitions observed in NbTiN thin films by analyzing the grazing angle x-ray diffraction patterns of a set of reactive magnetron sputter deposited NbTiN thin films with varying nitrogen partial pressures in the reactive gas mixture. The superconducting transition temperature (T_C) of the NbTiN thin films showed a correlation with the crystal structure, with the highest T_C of 14.26 K obtained for the highly crystalline FCC phase.


title: GigaPose: Fast and Robust Novel Object Pose Estimation via One Correspondence

abstract: We present GigaPose, a fast, robust, and accurate method for CAD-based novel object pose estimation in RGB images. GigaPose first leverages discriminative "templates", rendered images of the CAD models, to recover the out-of-plane rotation and then uses patch correspondences to estimate the four remaining parameters. Our approach samples templates in only a two-degrees-of-freedom space instead of the usual three and matches the input image to the templates using fast nearest-neighbor search in feature space, results in a speedup factor of 35x compared to the state of the art. Moreover, GigaPose is significantly more robust to segmentation errors. Our extensive evaluation on the seven core datasets of the BOP challenge demonstrates that it achieves state-of-the-art accuracy and can be seamlessly integrated with existing refinement methods. Additionally, we show the potential of GigaPose with 3D models predicted by recent work on 3D reconstruction from a single image, relaxing the need for CAD models and making 6D pose object estimation much more convenient. Our source code and trained models are publicly available at https://github.com/nv-nguyen/gigaPose


title: Variational Annealing on Graphs for Combinatorial Optimization

abstract: Several recent unsupervised learning methods use probabilistic approaches to solve combinatorial optimization (CO) problems based on the assumption of statistically independent solution variables. We demonstrate that this assumption imposes performance limitations in particular on difficult problem instances. Our results corroborate that an autoregressive approach which captures statistical dependencies among solution variables yields superior performance on many popular CO problems. We introduce subgraph tokenization in which the configuration of a set of solution variables is represented by a single token. This tokenization technique alleviates the drawback of the long sequential sampling procedure which is inherent to autoregressive methods without sacrificing expressivity. Importantly, we theoretically motivate an annealed entropy regularization and show empirically that it is essential for efficient and stable learning.


title: Enabling Unsupervised Discovery in Astronomical Images through Self-Supervised Representations

abstract: Unsupervised learning, a branch of machine learning that can operate on unlabelled data, has proven to be a powerful tool for data exploration and discovery in astronomy. As large surveys and new telescopes drive a rapid increase in data size and richness, these techniques offer the promise of discovering new classes of objects and of efficient sorting of data into similar types. However, unsupervised learning techniques generally require feature extraction to derive simple but informative representations of images. In this paper, we explore the use of self-supervised deep learning as a method of automated representation learning. We apply the algorithm Bootstrap Your Own Latent (BYOL) to Galaxy Zoo DECaLS images to obtain a lower dimensional representation of each galaxy, known as features. We briefly validate these features using a small supervised classification problem. We then move on to apply an automated clustering algorithm, demonstrating that this fully unsupervised approach is able to successfully group together galaxies with similar morphology. The same features prove useful for anomaly detection, where we use the framework astronomaly to search for merger candidates. While the focus of this work is on optical images, we also explore the versatility of this technique by applying the exact same approach to a small radio galaxy dataset. This work aims to demonstrate that applying deep representation learning is key to unlocking the potential of unsupervised discovery in future datasets from telescopes such as the Vera C. Rubin Observatory and the Square Kilometre Array.


title: Experimental anonymous quantum conferencing

abstract: Anonymous quantum conference key agreement (AQCKA) allows a group of users within a network to establish a shared cryptographic key without revealing their participation. Although this can be achieved using bi-partite primitives alone, it is costly in the number of network rounds required. By allowing the use of multi-partite entanglement, there is a substantial efficiency improvement. We experimentally implement the AQCKA task in a six-user quantum network using Greenberger-Horne-Zeilinger (GHZ)-state entanglement and obtain a significant resource cost reduction in line with theory when compared to a bi-partite-only approach. We also demonstrate that the protocol retains an advantage in a four-user scenario with finite key effects taken into account.


title: All the Pretty Overlap Reduction Functions

abstract: Pulsar timing arrays seek and study gravitational waves (GWs) through the angular two-point correlation function of timing residuals they induce in pulsars. The two-point correlation function induced by the standard transverse-traceless GWs is the famous Hellings-Downs curve, a function only of the angle between the two pulsars. Additional polarization modes (vector/scalar) that may arise in alternative-gravity theories have different angular correlation functions. Furthermore, anisotropy, linear, or circular polarization in the stochastic GW background gives rise to additional structure in the two-point correlation function that cannot be written simply in terms of the angular separation of the two pulsars. In this paper, we provide a simple formula for the most general two-point correlation function -- or overlap reduction function (ORF) -- for a gravitational-wave background with an arbitrary polarization state, possibly containing anisotropies in its intensity and polarization (linear/circular). We provide specific expressions for the ORFs sourced by the general-relativistic transverse-traceless GW modes as well as vector (or spin-1) modes that may arise in alternative-gravity theories.


title: Efficient and Robust Jet Tagging at the LHC with Knowledge Distillation

abstract: The challenging environment of real-time data processing systems at the Large Hadron Collider (LHC) strictly limits the computational complexity of algorithms that can be deployed. For deep learning models, this implies that only models with low computational complexity that have weak inductive bias are feasible. To address this issue, we utilize knowledge distillation to leverage both the performance of large models and the reduced computational complexity of small ones. In this paper, we present an implementation of knowledge distillation, demonstrating an overall boost in the student models' performance for the task of classifying jets at the LHC. Furthermore, by using a teacher model with a strong inductive bias of Lorentz symmetry, we show that we can induce the same inductive bias in the student model which leads to better robustness against arbitrary Lorentz boost.


title: Emergence of vortex state in the $S=1$ Kitaev-Heisenberg model with single-ion anisotropy

abstract: The search for Kitaev spin liquid states has recently broadened to include a number of honeycomb materials with integer spin moments. The qualitative difference with their spin-1/2 counterparts is the presence of single-ion anisotropy (SIA). This motivates our investigation of the effects of SIA on the ground state of the spin-$1$ Kitaev-Heisenberg (KH) model using the density-matrix renormalization group which allows construction of detailed phase diagrams around the Kitaev points. We demonstrate that positive out-of-plane SIA induces an in-plane vortex state without the need for off-diagonal interactions. Conversely, negative SIA facilitates the emergence of a ferromagnetic state in presence of antiferromagnetic Heisenberg interactions, while a N\`eel state can emerge for ferromagnetic Heisenberg coupling. These findings, pertinent even for weak SIA, not only enhance our theoretical understanding of the spin-1 KH model but also propose experimental prospects for observing these novel magnetic states in material realizations.


title: Generalized imaginary units in quantum mechanics

abstract: The generalization of the imaginary unit is examined within the instances of the complex quantum mechanics ($\mathbb C$QM), and of the quaternionic quantum mechanics ($\mathbb H$QM) as well. Whereas the complex theory describes non-stationary quantum processes, the quaternionic theory does not admit such an interpretation, and associates the generalized imaginary unit to a novel time evolution function. Various possibilities are opened as future directions for future research.


title: Soft limit of higher-spin interactions in the IKKT model

abstract: We study interactions of the higher-spin gauge theory arising from the IKKT matrix model on covariant FLRW quantum space-time, denoted as HS-IKKT. We elaborate some vertices explicitly, which are not manifestly Lorentz invariant in the unitary formulation. The vertices are exponentially suppressed in the asymptotically flat and late-time regime, for energies below the scale of non-commutativity. We work out some vertices and amplitudes for low external spin, and show how Weinberg's soft theorem is avoided. Moreover, we show that Lorentz invariance can be recovered at least for some vertices in the covariant formulation, at the expense of locality. The lowest-spin sector of this theory is expected to be governed by an ''almost''-Lorentz-invariant Yang-Mills gauge theory coupled to emergent gravity.


title: Hybrid Circuit Mapping: Leveraging the Full Spectrum of Computational Capabilities of Neutral Atom Quantum Computers

abstract: Quantum computing based on Neutral Atoms (NAs) provides a wide range of computational capabilities, encompassing high-fidelity long-range interactions with native multi-qubit gates, and the ability to shuttle arrays of qubits. While previously these capabilities have been studied individually, we propose the first approach of a fast hybrid compiler to perform circuit mapping and routing based on both high-fidelity gate interactions and qubit shuttling. We delve into the intricacies of the compilation process when combining multiple capabilities and present effective solutions to address resulting challenges. The final compilation strategy is then showcased across various hardware settings, revealing its versatility, and highlighting potential fidelity enhancements achieved through the strategic utilization of combined gate- and shuttling-based routing. With the additional multi-qubit gate support for both routing capabilities, the proposed approach is able to take advantage of the full spectrum of computational capabilities offered by NAs.


title: A MIRI Search for Planets and Dust Around WD 2149+02

abstract: The launch of JWST has ushered in a new era of high precision infrared astronomy, allowing us to probe nearby white dwarfs for cold dust, exoplanets, and tidally heated exomoons. While previous searches for these exoplanets have successfully ruled out companions as small as 7-10 Jupiter masses, no instrument prior to JWST has been sensitive to the likely more common sub-Jovian mass planets around white dwarfs. In this paper, we present the first multi-band photometry (F560W, F770W, F1500W, F2100W) taken of WD 2149+021 with the Mid-Infrared Instrument (MIRI) on JWST. After a careful search for both resolved and unresolved planets, we do not identify any compelling candidates around WD 2149+021. Our analysis indicates that we are sensitive to companions as small as ~0.34 MJup outwards of 1."263 (28.3 au) and ~0.64 MJup at the innermost working angle (0."654, 14.7 au) with 5 sigma confidence, placing significant constraints on any undetected companions around this white dwarf. The results of these observations emphasize the exciting future of sub-Jovian planet detection limits by JWST, which can begin to constrain how often these planets survive their host stars evolution.


title: Rheology of moderated dilute suspensions of star colloids: the shape factor

abstract: Star colloids are rigid particles with long and slender arms connected to a central core. We show numerically that the colloid shapes control the rheology of their suspensions. In particular, colloids with curved arms and hooks can entangle with neighbor particles and form large clusters that can sustain high stresses. When a large cluster permeates the whole system the viscosity increases many fold. Contrary to the case of spherical colloids we observe that these effects are very strong even at moderate volumes fraction over a wide range of P\'eclet numbers.


title: Non-linear instability of slowly rotating Kerr-AdS black holes

abstract: Generic scalar perturbations on a fixed slowly rotating Kerr-AdS black hole background exhibit stable trapping, that is, the scalar field remains in a region between the exterior of the black hole and the AdS boundary for a very long time, decaying only inverse logarithmically in time. We study this effect employing fully general simulations that take into account the non-linear backreaction of the scalar field on the geometry. We find that the stable trapping of generic perturbations of Kerr-AdS persists at the non-linear level. Furthermore, the spacetime settles into a time-dependant and non-axisymmetric black hole which differs from Kerr-AdS. Since our perturbations are generic, our results indicate that slowly rotating Kerr-AdS black holes are non-linearly unstable.


title: Fast Policy Learning for Linear Quadratic Control with Entropy Regularization

abstract: This paper proposes and analyzes two new policy learning methods: regularized policy gradient (RPG) and iterative policy optimization (IPO), for a class of discounted linear-quadratic control (LQC) problems over an infinite time horizon with entropy regularization. Assuming access to the exact policy evaluation, both proposed approaches are proven to converge linearly in finding optimal policies of the regularized LQC. Moreover, the IPO method can achieve a super-linear convergence rate once it enters a local region around the optimal policy. Finally, when the optimal policy for an RL problem with a known environment is appropriately transferred as the initial policy to an RL problem with an unknown environment, the IPO method is shown to enable a super-linear convergence rate if the two environments are sufficiently close. Performances of these proposed algorithms are supported by numerical examples.


title: Evaluating GPT-4's Vision Capabilities on Brazilian University Admission Exams

abstract: Recent advancements in language models have showcased human-comparable performance in academic entrance exams. However, existing studies often overlook questions that require the integration of visual comprehension, thus compromising the full spectrum and complexity inherent in real-world scenarios. To address this gap, we present a comprehensive framework to evaluate language models on entrance exams, which incorporates both textual and visual elements. We evaluate the two most recent editions of Exame Nacional do Ensino M\'edio (ENEM), the main standardized entrance examination adopted by Brazilian universities. Our study not only reaffirms the capabilities of GPT-4 as the state of the art for handling complex multidisciplinary questions, but also pioneers in offering a realistic assessment of multimodal language models on Portuguese examinations. One of the highlights is that text captions transcribing visual content outperform the direct use of images, suggesting that the vision model has room for improvement. Yet, despite improvements afforded by images or captions, mathematical questions remain a challenge for these state-of-the-art models. The code and data used on experiments are available at https://github.com/piresramon/gpt-4-enem.


title: Superconductivity controlled bulk magnetism

abstract: Ferromagnetism's ability to influence superconducting order is well known and well established, but the converse phenomena remains relatively less explored. Theoretical work on the subject includes Anderson and Suhl prediction of a crypto-ferromagnetic state, and De Gennes proposal of two ferromagnetic insulators exchange coupled through a superconductor. In this study, we present compelling evidence of coexistence of both phenomena in a superconducting spin valve system. We demonstrate that superconducting exchange coupling enables reliable bistable states, and the coexistence of SEC and CFM leads to a wide range of reproducible zero field micro-magnetic states in the SSV, which are a function of the strength of the superconducting state. These micromagnetic states can in turn influence the superconducting state, leading to multiple reproducible and non-volatile resistance states; thus paving the way for a novel direction in cryogenic in-memory computing.


title: OpenMP behavior in low resource and high stress mobile environment

abstract: This paper investigates the use of OpenMP for parallel post processing in obejct detection on personal Android devices, where resources like computational power, memory, and battery are limited. Specifically, it explores various configurations of thread count, CPU affinity, and chunk size on a Redmi Note 10 Pro with an ARM Cortex A76 CPU. The study finds that using four threads offers a maximum post processing speedup of 2.3x but increases overall inference time by 2.7x. A balanced configuration of two threads achieves a 1.8x speedup in post processing and a 2% improvement in overall program performance.


title: Metrological Advantages in Seeded and Lossy Nonlinear Interferometers

abstract: The quantum Fisher information (QFI) bounds the sensitivity of a quantum measurement, heralding the conditions for quantum advantages. We aim to find conditions at which quantum advantage can be realized in single-parameter phase sensing with nonlinear interferometers. Here, we calculate analytical expressions for the QFI of nonlinear interferometers under lossy conditions and with coherent-state seeding. We normalize the results based on the number of photons going through the phase-inducing element, which eliminates some of the previously declared metrological advantages. We analyze the performance of nonlinear interferometers in a variety of geometries and robustness of the quantum advantage with respect to internal and external loss through direct comparison with a linear interferometer. We find the threshold on the internal loss at which the quantum advantage vanishes, specify when and how much coherent-state seeding optimally counters internal loss, and show that a sufficient amount of squeezing confers to the quantum advantages robustness against external loss and inefficient detection.


title: Entangling entanglement: coupling frequency and polarization of biphotons on demand

abstract: Quantum information is often carried in the frequency and polarization degrees of freedom (DoFs) in single photons and entangled photons. We demonstrate a new approach to couple and decouple the frequency and polarization DoFs of broadband biphotons. Our approach is based on a common-path nonlinear interferometer (CP-NLI) with a linear dispersive medium and a polarization controller sandwiched in between two nonlinear media that generate the interfering biphotons. By adjusting the polarization controller, we can effectively manipulate the two DoFs. When the two DoFs are decoupled, maximally polarization-entangled biphotons are observed in the polarization DoF, while interference fringes are observed in the spectral intensity of the biphotons. When the two DoFs are coupled, however, interference fringes disappear from the spectral intensity and instead appear in the degree of polarization entanglement. The degree of polarization entanglement quantified by concurrence in principle can vary from 0 to 1 depending on the signal and idler photon frequencies. Our approach offers a convenient means of tuning the polarization entanglement and can be employed for arbitrary biphoton polarization state generation, with applications in quantum information processing and the study of fundamental physics.


title: Rigorous Hydrodynamics for Linear Boltzmann Equations and Viscosity-Capillarity

abstract: We propose a general mechanism to rigorously derive an exact, closed system for the hydrodynamic variables from linear kinetic models. Our approach, based on spectral theory, structural properties of eigenvectors and the theory of slow manifolds, allows us to define a unique, optimal reduction in phase space close to the global equilibrium distribution. The hydrodynamically constrained system induces a modification of entropy that ensures pure viscous dissipation on the hydrodynamic manifold, which is interpreted as a non-local variant of Korteweg's theory of viscosity-capillarity balance.


title: Appearance-based gaze estimation enhanced with synthetic images using deep neural networks

abstract: Human eye gaze estimation is an important cognitive ingredient for successful human-robot interaction, enabling the robot to read and predict human behavior. We approach this problem using artificial neural networks and build a modular system estimating gaze from separately cropped eyes, taking advantage of existing well-functioning components for face detection (RetinaFace) and head pose estimation (6DRepNet). Our proposed method does not require any special hardware or infrared filters but uses a standard notebook-builtin RGB camera, as often approached with appearance-based methods. Using the MetaHuman tool, we also generated a large synthetic dataset of more than 57,000 human faces and made it publicly available. The inclusion of this dataset (with eye gaze and head pose information) on top of the standard Columbia Gaze dataset into training the model led to better accuracy with a mean average error below two degrees in eye pitch and yaw directions, which compares favourably to related methods. We also verified the feasibility of our model by its preliminary testing in real-world setting using the builtin 4K camera in NICO semi-humanoid robot's eye.


title: Concentration and local smoothness of the averaging process

abstract: We consider the averaging process on the discrete $d$-dimensional torus. On this graph, the process is known to converge to equilibrium on diffusive timescales, not exhibiting cutoff. In this work, we refine this picture in two ways. Firstly, we prove a concentration phenomenon of the averaging process around its mean, occurring on a shorter timescale than the one of its relaxation to equilibrium. Secondly, we establish sharp gradient estimates, which capture its fast local smoothness property. This is the first setting in which these two features of the averaging process -- concentration and local smoothness -- can be quantified. These features carry useful information on a number of large scale properties of the averaging process. As an illustration of this fact, we determine the limit profile of its distance to equilibrium and derive a quantitative hydrodynamic limit for it. Finally, we discuss their implications on cutoff for the binomial splitting process, the particle analogue of the averaging process.


title: TCuPGAN: A novel framework developed for optimizing human-machine interactions in citizen science

abstract: In the era of big data in scientific research, there is a necessity to leverage techniques which reduce human effort in labeling and categorizing large datasets by involving sophisticated machine tools. To combat this problem, we present a novel, general purpose model for 3D segmentation that leverages patch-wise adversariality and Long Short-Term Memory to encode sequential information. Using this model alongside citizen science projects which use 3D datasets (image cubes) on the Zooniverse platforms, we propose an iterative human-machine optimization framework where only a fraction of the 2D slices from these cubes are seen by the volunteers. We leverage the patch-wise discriminator in our model to provide an estimate of which slices within these image cubes have poorly generalized feature representations, and correspondingly poor machine performance. These images with corresponding machine proposals would be presented to volunteers on Zooniverse for correction, leading to a drastic reduction in the volunteer effort on citizen science projects. We trained our model on ~2300 liver tissue 3D electron micrographs. Lipid droplets were segmented within these images through human annotation via the `Etch A Cell - Fat Checker' citizen science project, hosted on the Zooniverse platform. In this work, we demonstrate this framework and the selection methodology which resulted in a measured reduction in volunteer effort by more than 60%. We envision this type of joint human-machine partnership will be of great use on future Zooniverse projects.


title: Quark-photon vertex in confining models

abstract: We compute the one-loop quark-photon vertex and the quark magnetic moment in three different models with an infrared-modified gluon propagator, namely: the massive (Curci-Ferrari-like) model, the Gribov-Zwanziger model, and the Refined Gribov-Zwanziger model. We show results for the $F_2$ form factor and analyze the role played by the mass parameters associated with the confined gluon in these models. Using the framework of the Constituent Quark Model, we further construct the observable proton magnetic moment including the effects of QCD interactions generated by the different confining models. Our results show that there is no qualitative observable difference stemming from the presence of complex-conjugated poles. On the other hand, quantitative differences between the various confining models can be sizable, so that observable constraints would in principle be possible, provided one has sufficient information about the constituent quark mass and the QCD running coupling.


title: Philosophy of contraherent cosheaves

abstract: Contraherent cosheaves are module objects over algebraic varieties defined by gluing using the colocalization functors. Contraherent cosheaves are designed to be used for globalizing contramodules and contraderived categories for the purposes of Koszul duality and semi-infinite algebraic geometry. One major technical problem associated with contraherent cosheaves is that the colocalization functors, unlike the localizations, are not exact. The reason is that, given a commutative ring homomorphism $R\rightarrow S$ arising in connection with a typical covering in algebraic geometry, the ring $S$ is usually a flat, but not a projective $R$-module. We argue that the relevant difference between projective and flat modules, from the standpoint of homological algebra, is not that big, as manifested by the flat/projective and cotorsion periodicity theorems. The difference becomes even smaller if one observes that the ring $S$ is often a very flat $R$-module.


title: The BOAT GRB 221009A: a Poynting-Flux-Dominated Narrow Jet Surrounded by a Matter-Dominated Structured Jet Wing

abstract: We argue that the broad-band observations of the brightest-of-all-time (BOAT) GRB 221009A reveal a physical picture involving two jet components: a narrow ($\sim 0.6$ degree half opening angle) pencil-beam jet that has a Poynting-flux-dominated jet composition, and a broader matter-dominated jet with an angular structure. We discuss various observational evidence that supports such a picture. To treat the problem, we develop an analytical structured jet model for both forward and reverse shock emission from the matter dominated structured jet wing during the deceleration phase. We discuss the physical implications of such a two-component jet configuration for this particular burst and for GRBs in general. We argue that some bright X-ray flares could be similar narrow jets viewed slightly outside the narrow jet cone and that narrow jets may exist in many more GRBs without being detected.


title: $\delta$-invariants of cubic surfaces with Du Val singularities

abstract: In this article, we compute $\delta$-invariant of Du Val del Pezzo surfaces of degree $3$.


title: Gradient-based bilevel optimization for multi-penalty Ridge regression through matrix differential calculus

abstract: Common regularization algorithms for linear regression, such as LASSO and Ridge regression, rely on a regularization hyperparameter that balances the tradeoff between minimizing the fitting error and the norm of the learned model coefficients. As this hyperparameter is scalar, it can be easily selected via random or grid search optimizing a cross-validation criterion. However, using a scalar hyperparameter limits the algorithm's flexibility and potential for better generalization. In this paper, we address the problem of linear regression with l2-regularization, where a different regularization hyperparameter is associated with each input variable. We optimize these hyperparameters using a gradient-based approach, wherein the gradient of a cross-validation criterion with respect to the regularization hyperparameters is computed analytically through matrix differential calculus. Additionally, we introduce two strategies tailored for sparse model learning problems aiming at reducing the risk of overfitting to the validation data. Numerical examples demonstrate that our multi-hyperparameter regularization approach outperforms LASSO, Ridge, and Elastic Net regression. Moreover, the analytical computation of the gradient proves to be more efficient in terms of computational time compared to automatic differentiation, especially when handling a large number of input variables. Application to the identification of over-parameterized Linear Parameter-Varying models is also presented.


title: Effect of shoaling length on rogue wave occurrence

abstract: The impact of shoaling on linear water waves is well-known, but it has only been recently found to significantly amplify both the intensity and frequency of rogue waves in nonlinear irregular wave trains atop coastal shoals. At least qualitatively, this effect has been partially attributed to the "rapid'" nature of the shoaling process, i.e., shoaling occurs over a distance far shorter than that required for waves to modulate themselves and adapt to the reduced water depth. Through the development of a theoretical model and highly accurate nonlinear simulations, we disentangle the respective effects of the slope length and the slope gradient of a shoal and focus on the slope length to investigate the rapidness of the shoaling process on the evolution of key statistical and spectral sea-state parameters. Provided the shoal slope is 1/10 or steeper, our results indicate that the non-equilibrium dynamics is involved even for rather short shoaling lengths and becomes dominant in the regime of large lengths. When the non-equilibrium dynamics governs the wave evolution, further extending the slope length no longer influences the statistical and spectral measures. Thus, the shoaling effect on rogue waves is mainly driven by the slope magnitude rather than the slope length. Moreover, the simulations show that a higher cut-off frequency of the wave spectrum has a smaller impact on wave statistics than expected for a flat bottom in deep water and that insufficient attenuation of low-frequency waves at the downstream domain boundary has notable influence on wave statistics atop the shoal.


title: Mean Values and Quantum Variance for Degenerate Eisenstein Series of Higher Rank

abstract: We study the mean value and quantum variance for ${\mathrm{SL}_{n}({\mathbb Z})}$ degenerate maximal parabolic Eisenstein series. We first establish a mean value result for the inner products \begin{equation*} \mu_{t, n}(f) = \int_{\mathrm{SL}_{n}(\mathbb{Z}) \backslash \mathfrak{h}^{n}} f(z) \left|E_{(n-1, 1)} \left(z, \frac{1}{2}+it, \mathbf{1} \right) \right|^{2} d\mu(z) \end{equation*} with $f$ in a restricted space of incomplete parabolic Eisenstein series. Our estimate breaks the barrier with a polynomial power saving beyond the prediction of the Generalised Lindel\"{o}f Hypothesis. Moreover, we prove a quantum variance formula for $\mu_{t, n}(f)$. This paper builds on the work of Zhang (2019) on quantum unique ergodicity for $\mathrm{SL}_{n}({\mathbb{Z}})$ degenerate Eisenstein series as well as the work of Huang (2021) on quantum variance for $\mathrm{SL}_{2}({\mathbb{Z}})$ Eisenstein series.


title: Disc Tearing in a Be Star: Predicted 3D Observations

abstract: We build on our previous work involving smoothed particle hydrodynamic simulations of Be stars, by using the model that exhibited disc tearing as input into the three-dimensional Monte Carlo radiative transfer code HDUST to predict observables from a variety of viewing angles throughout the disc tearing process. We run one simulation at the start of each orbital period from 20 to 72 orbital periods, which covers two complete disc tearing events. The resulting trends in observables are found to be dependent on the relative position of the observer and the tearing disc. The $\rm H\alpha$ equivalent width, $V$ magnitude, and polarization can all increase or decrease in any combination depending on the viewpoint of the observer. The $\rm H\alpha$ line profile also displays changes in strength and peak separation throughout the tearing process. We show how the outer disc of the torn system can have a large effect on the $\rm H\alpha$ line profile, and also contributes to a wavelength-dependent polarization position angle, resulting in a similar sawtooth shape to the polarization percentage. Finally, we compare our predictions to Pleione (28 Tau) where evidence has suggested that a disc tearing event has occurred in the past. We find that our tearing disc model can broadly match the trends seen in Pleione's observables, as well as produce the two-component $\rm H\alpha$ lines observed in Pleione. This is the strongest evidence, thus far, of Pleione's disc having indeed experienced a tearing event.


title: Anyone Can Code: Algorithmic Thinking

abstract: As the second book in the Anyone Can Code series, Algorithmic Thinking focuses on the logic behind computer programming and software design. With a data-centred approach, it starts with simple algorithms that work on simple data items and advances to more complex ones covering data structures and classes. Examples are given in C/C++ and Python and use both plain text and graphics applications to illustrate the concepts in different languages and forms. With the advances in artificial intelligence and automated code generators, it is essential to learn about the logic of what a code needs to do, not just how to write the code. Anyone Can Code: Algorithmic Thinking is suitable for anyone who aims to improve their programming skills and go beyond the simple craft of programming, stepping into the world of algorithm design.


title: On $\beta$-function of $N=2$ supersymmetric integrable sigma-models

abstract: We study regularization scheme dependence of K\"ahler ($N=2$) supersymmetric sigma models. At the one-loop order the metric $\beta$ function is the same as in non-supersymmetric case and coincides with the Ricci tensor. First correction in MS scheme is known to appear in the fourth loop. We show that for certain integrable K\"ahler backgrounds, such as complete $T-$dual of $\eta$-deformed $\mathbb{CP}(n)$ sigma models, there is a scheme in which the fourth loop contribution vanishes.


title: Slow propagation of information on the random XXZ quantum spin chain

abstract: The random XXZ quantum spin chain manifests localization (in the form of quasi-locality) in any fixed energy interval, as previously proved by the authors. In this article it is shown that this property implies slow propagation of information, one of the putative signatures of many-body localization, in the same energy interval.


title: D-SCo: Dual-Stream Conditional Diffusion for Monocular Hand-Held Object Reconstruction

abstract: Reconstructing hand-held objects from a single RGB image is a challenging task in computer vision. In contrast to prior works that utilize deterministic modeling paradigms, we employ a point cloud denoising diffusion model to account for the probabilistic nature of this problem. In the core, we introduce centroid-fixed dual-stream conditional diffusion for monocular hand-held object reconstruction (D-SCo), tackling two predominant challenges. First, to avoid the object centroid from deviating, we utilize a novel hand-constrained centroid fixing paradigm, enhancing the stability of diffusion and reverse processes and the precision of feature projection. Second, we introduce a dual-stream denoiser to semantically and geometrically model hand-object interactions with a novel unified hand-object semantic embedding, enhancing the reconstruction performance of the hand-occluded region of the object. Experiments on the synthetic ObMan dataset and three real-world datasets HO3D, MOW and DexYCB demonstrate that our approach can surpass all other state-of-the-art methods. Codes will be released.


title: Unified Treatment of null and Spatial Infinity IV: Angular Momentum at Null and Spatial Infinity

abstract: In a companion paper we introduced the notion of asymptotically Minkowski spacetimes. These space-times are asymptotically flat at both null and spatial infinity, and furthermore there is a harmonious matching of limits of certain fields as one approaches $i^\circ$ in null and space-like directions. These matching conditions are quite weak but suffice to reduce the asymptotic symmetry group to a Poincar\'e group $\mathfrak{p}_{i^\circ}$. Restriction of $\mathfrak{p}_{i^\circ}$ to future null infinity $\mathscr{I}^{+}$ yields the canonical Poincar\'e subgroup $\mathfrak{p}^{\rm bms}_{i^\circ}$ of the BMS group $\mathfrak{B}$ selected in the companion paper and its restriction to spatial infinity $i^\circ$ gives the canonical subgroup $\mathfrak{p}^{\rm spi}_{i^\circ}$ of the Spi group $\mathfrak{S}$ there. As a result, one can meaningfully compare angular momentum that has been defined at $i^\circ$ using $\mathfrak{p}^{\rm spi}_{i^\circ}$ with that defined on $\mathscr{I}^{+}$ using $\mathfrak{p}^{\rm bms}_{i^\circ}$. We show that the angular momentum charge at $i^\circ$ equals the sum of the angular momentum charge at any 2-sphere cross-section $S$ of $\mathscr{I}^{+}$ and the total flux of angular momentum radiated across the portion of $\mathscr{I}^{+}$ to the past of $S$. In general the balance law holds only when angular momentum refers to ${\rm SO(3)}$ subgroups of the Poincar\'e group $\mathfrak{p}_{i^\circ}$.


title: The enigmatic abundance of atomic hydrogen in Saturn's upper atmosphere

abstract: A planet's Lyman-{\alpha} (Ly{\alpha}) emission is sensitive to its thermospheric structure. Here, we report joint Hubble Space Telescope (HST) and Cassini cross-calibration observations of the Saturn Ly{\alpha} emission made two weeks before the Cassini grand finale. To investigate the long-term Saturn Ly{\alpha} airglow observed by different ultraviolet instruments, we cross-correlate their calibration, finding that while the official Cassini/UVIS sensitivity should be lowered by ~75%, the Voyager 1/UVS sensitivities should be enhanced by ~20% at the Ly{\alpha} channels. This comparison also allowed us to discover a permanent feature of the Saturn disk Ly{\alpha} brightness that appears at all longitudes as a brightness excess (Ly{\alpha} bulge) of ~30% (~12{\sigma}) extending over the latitude range ~5-35N compared to the regions at equator and ~60N. This feature is confirmed by three distinct instruments between 1980 & 2017 in the Saturn north hemisphere. To analyze the Ly{\alpha} observations, we use a radiation transfer (RT) model of resonant scattering of solar and interplanetary Ly{\alpha} photons, and a latitude-dependent photochemistry model of the upper atmosphere constrained by occultation and remote-sensing observations. For each latitude, we show that the Ly{\alpha} observations are sensitive to the temperature profile in the upper stratosphere and lower thermosphere, thus providing useful information in a region of the atmosphere that is difficult to probe by other means. In the Saturn Ly{\alpha} bulge region, at latitudes between ~5 to ~35{\deg}, the observed brightening and line broadening support seasonal effects, variation of the temperature vertical profile, and potential superthermal atoms that require confirmation.

categories: astro-ph.EP astro-ph.IM physics.ao-ph physics.ins-det


title: A long exact sequence on the composition of Dehn twists

abstract: We prove an exact sequence relating the Lagrangian Floer homology of a collection of Lagrangian spheres $\{L_i\}$ and the fixed-point Floer homology of iterated Dehn twists along them, making progress toward a conjecture of Seidel.


title: Stationary shapes of axisymmetric vesicles beyond lowest-energy configurations

abstract: We conduct a systematic exploration of the energy landscape of vesicle morphologies within the framework of the Helfrich model. Vesicle shapes are determined by minimizing the elastic energy subject to constraints of constant area and volume. The results show that pressurized vesicles can adopt higher-energy spindle-like configurations that require the action of point forces at the poles. If the internal pressure is lower than the external one, multilobed shapes are predicted. We utilize our results to rationalize the experimentally observed spindle shapes of giant vesicles in a uniform AC field.


title: Symmedians as Hyperbolic Barycenters

abstract: The symmedian point of a triangle enjoys several geometric and optimality properties, which also serve to define it. We develop a new dynamical coordinatization of the symmedian, which naturally generalizes to other ideal hyperbolic polygons beyond triangles. We prove that in general this point still satisfies analogous geometric and optimality properties to those of the symmedian, making it into a hyperbolic barycenter. We initiate a study of moduli spaces of ideal polygons with fixed hyperbolic barycenter, and of some additional optimality properties of this point for harmonic (and sufficiently regular) ideal polygons.


title: Touch Analysis: An Empirical Evaluation of Machine Learning Classification Algorithms on Touch Data

abstract: Our research aims at classifying individuals based on their unique interactions on touchscreen-based smartphones. In this research, we use Touch-Analytics datasets, which include 41 subjects and 30 different behavioral features. Furthermore, we derived new features from the raw data to improve the overall authentication performance. Previous research has already been done on the Touch-Analytics datasets with the state-of-the-art classifiers, including Support Vector Machine (SVM) and k-nearest neighbor (kNN), and achieved equal error rates (EERs) between 0% to 4%. Here, we propose a novel Deep Neural Net (DNN) architecture to classify the individuals correctly. The proposed DNN architecture has three dense layers and uses many-to-many mapping techniques. When we combine the new features with the existing ones, SVM and kNN achieved the classification accuracy of 94.7% and 94.6%, respectively. This research explored seven other classifiers and out of them, the decision tree and our proposed DNN classifiers resulted in the highest accuracy of 100%. The others included: Logistic Regression (LR), Linear Discriminant Analysis (LDA), Gaussian Naive Bayes (NB), Neural Network, and VGGNet with the following accuracy scores of 94.7%, 95.9%, 31.9%, 88.8%, and 96.1%, respectively.


title: Data-driven discovery of dynamics from time-resolved coherent scattering

abstract: Coherent X-ray scattering (CXS) techniques are capable of interrogating dynamics of nano- to mesoscale materials systems at time scales spanning several orders of magnitude. However, obtaining accurate theoretical descriptions of complex dynamics is often limited by one or more factors -- the ability to visualize dynamics in real space, computational cost of high-fidelity simulations, and effectiveness of approximate or phenomenological models. In this work, we develop a data-driven framework to uncover mechanistic models of dynamics directly from time-resolved CXS measurements without solving the phase reconstruction problem for the entire time series of diffraction patterns. Our approach uses neural differential equations to parameterize unknown real-space dynamics and implements a computational scattering forward model to relate real-space predictions to reciprocal-space observations. This method is shown to recover the dynamics of several computational model systems under various simulated conditions of measurement resolution and noise. Moreover, the trained model enables estimation of long-term dynamics well beyond the maximum observation time, which can be used to inform and refine experimental parameters in practice. Finally, we demonstrate an experimental proof-of-concept by applying our framework to recover the probe trajectory from a ptychographic scan. Our proposed framework bridges the wide existing gap between approximate models and complex data.


title: Enhancing mTBI Diagnosis with Residual Triplet Convolutional Neural Network Using 3D CT

abstract: Mild Traumatic Brain Injury (mTBI) is a common and challenging condition to diagnose accurately. Timely and precise diagnosis is essential for effective treatment and improved patient outcomes. Traditional diagnostic methods for mTBI often have limitations in terms of accuracy and sensitivity. In this study, we introduce an innovative approach to enhance mTBI diagnosis using 3D Computed Tomography (CT) images and a metric learning technique trained with triplet loss. To address these challenges, we propose a Residual Triplet Convolutional Neural Network (RTCNN) model to distinguish between mTBI cases and healthy ones by embedding 3D CT scans into a feature space. The triplet loss function maximizes the margin between similar and dissimilar image pairs, optimizing feature representations. This facilitates better context placement of individual cases, aids informed decision-making, and has the potential to improve patient outcomes. Our RTCNN model shows promising performance in mTBI diagnosis, achieving an average accuracy of 94.3%, a sensitivity of 94.1%, and a specificity of 95.2%, as confirmed through a five-fold cross-validation. Importantly, when compared to the conventional Residual Convolutional Neural Network (RCNN) model, the RTCNN exhibits a significant improvement, showcasing a remarkable 22.5% increase in specificity, a notable 16.2% boost in accuracy, and an 11.3% enhancement in sensitivity. Moreover, RTCNN requires lower memory resources, making it not only highly effective but also resource-efficient in minimizing false positives while maximizing its diagnostic accuracy in distinguishing normal CT scans from mTBI cases. The quantitative performance metrics provided and utilization of occlusion sensitivity maps to visually explain the model's decision-making process further enhance the interpretability and transparency of our approach.


title: Saturated theorem along cubes for a measure and applications

abstract: We show that for a minimal system $(X,T)$, the set of saturated points along cubes with respect to its maximal $\infty$-step pro-nilfactor $X_\infty$ has a full measure. As an application, it is shown that if a minimal system $(X,T)$ has no non-trivial $(k+1)$-tuples with arbitrarily long finite IP-independence sets, then it has only at most $k$ ergodic measures and is an almost $k'$ to one extension of $X_\infty$ for some $k'\leqslant k$. Particularly, for $k=1$ we prove that $(X,T)$ is uniquely ergodic (even regular with respect to $X_\infty$), which answers a conjecture stated in [3].


title: A Systematic Review of Deep Learning-based Research on Radiology Report Generation

abstract: Radiology report generation (RRG) aims to automatically generate free-text descriptions from clinical radiographs, e.g., chest X-Ray images. RRG plays an essential role in promoting clinical automation and presents significant help to provide practical assistance for inexperienced doctors and alleviate radiologists' workloads. Therefore, consider these meaningful potentials, research on RRG is experiencing explosive growth in the past half-decade, especially with the rapid development of deep learning approaches. Existing studies perform RRG from the perspective of enhancing different modalities, provide insights on optimizing the report generation process with elaborated features from both visual and textual information, and further facilitate RRG with the cross-modal interactions among them. In this paper, we present a comprehensive review of deep learning-based RRG from various perspectives. Specifically, we firstly cover pivotal RRG approaches based on the task-specific features of radiographs, reports, and the cross-modal relations between them, and then illustrate the benchmark datasets conventionally used for this task with evaluation metrics, subsequently analyze the performance of different approaches and finally offer our summary on the challenges and the trends in future directions. Overall, the goal of this paper is to serve as a tool for understanding existing literature and inspiring potential valuable research in the field of RRG.


title: Prebunking Design as a Defense Mechanism Against Misinformation Propagation on Social Networks

abstract: The growing reliance on social media for news consumption necessitates effective countermeasures to mitigate the rapid spread of misinformation. Prebunking, a proactive method that arms users with accurate information before they come across false content, has garnered support from journalism and psychology experts. We formalize the problem of optimal prebunking as optimizing the timing of delivering accurate information, ensuring users encounter it before receiving misinformation while minimizing the disruption to user experience. Utilizing a susceptible-infected epidemiological process to model the propagation of misinformation, we frame optimal prebunking as a policy synthesis problem with safety constraints. We then propose a policy that approximates the optimal solution to a relaxed problem. The experiments show that this policy cuts the user experience cost of repeated information delivery in half, compared to delivering accurate information immediately after identifying a misinformation propagation.


title: On the convergence of adaptive approximations for stochastic differential equations

abstract: In this paper, we study numerical approximations for stochastic differential equations (SDEs) that use adaptive step sizes. In particular, we consider a general setting where decisions to reduce step sizes are allowed to depend on the future trajectory of the underlying Brownian motion. Since these adaptive step sizes may not be previsible, the standard mean squared error analysis cannot be directly applied to show that the numerical method converges to the solution of the SDE. Building upon the pioneering work of Gaines and Lyons, we shall instead use rough path theory to establish convergence for a wide class of adaptive numerical methods on general Stratonovich SDEs (with sufficiently smooth vector fields). To our knowledge, this is the first convergence guarantee that applies to standard solvers, such as the Milstein and Heun methods, with non-previsible step sizes. In our analysis, we require the sequence of adaptive step sizes to be nested and the SDE solver to have unbiased "L\'evy area" terms in its Taylor expansion. We conjecture that for adaptive SDE solvers more generally, convergence is still possible provided the method does not introduce "L\'evy area bias". We present a simple example where the step size control can skip over previously considered times, resulting in the numerical method converging to an incorrect limit (i.e. not the Stratonovich SDE). Finally, we conclude with an experiment demonstrating the accuracy of Heun's method and a newly introduced Splitting Path-based Runge-Kutta scheme (SPaRK) when used with adaptive step sizes.


title: Eigenstructure perturbations for a class of Hamiltonian matrices and solutions of related Riccati inequalities

abstract: The characterization of the solution set for a class of algebraic Riccati inequalities is studied. This class arises in the passivity analysis of linear time invariant control systems. Eigenvalue perturbation theory for the Hamiltonian matrix associated with the Riccati inequality is used to analyze the extremal points of the solution set.


title: Data-Driven Risk Modeling for Infrastructure Projects Using Artificial Intelligence Techniques

abstract: Managing project risk is a key part of the successful implementation of any large project and is widely recognized as a best practice for public agencies to deliver infrastructures. The conventional method of identifying and evaluating project risks involves getting input from subject matter experts at risk workshops in the early phases of a project. As a project moves through its life cycle, these identified risks and their assessments evolve. Some risks are realized to become issues, some are mitigated, and some are retired as no longer important. Despite the value provided by conventional expert-based approaches, several challenges remain due to the time-consuming and expensive processes involved. Moreover, limited is known about how risks evolve from ex-ante to ex-post over time. How well does the project team identify and evaluate risks in the initial phase compared to what happens during project execution? Using historical data and artificial intelligence techniques, this study addressed these limitations by introducing a data-driven framework to identify risks automatically and to examine the quality of early risk registers and risk assessments. Risk registers from more than 70 U.S. major transportation projects form the input dataset.


title: Reproducible Aggregation of Sample-Split Statistics

abstract: Statistical inference is often simplified by sample-splitting. This simplification comes at the cost of the introduction of randomness not native to the data. We propose a simple procedure for sequentially aggregating statistics constructed with multiple splits of the same sample. The user specifies a bound and a nominal error rate. If the procedure is implemented twice on the same data, the nominal error rate approximates the chance that the results differ by more than the bound. We analyze the accuracy of the nominal error rate and illustrate the application of the procedure to several widely applied statistical methods.


title: Geometric aspects of a spin chain

abstract: We discuss non-equilibrium thermodynamics of the mean field Ising chain from a geometric perspective. We combine the language of Legendrian submanifolds and their generating functions borrowed from contact geometry with the Wasserstein geometry on probability densities on the space of microscopic states. This enables us to describe relaxation of the chain towards the equilibrium in terms of a version of the Fokker-Planck equation. We show that in the thermodynamic limit this description is closely related to the seminal model of relaxation proposed by Glauber.


title: GMRES with randomized sketching and deflated restarting

abstract: We present a new Krylov subspace recycling method for solving a linear system of equations, or a sequence of slowly changing linear systems. Our new method, named GMRES-SDR, combines randomized sketching and deflated restarting in a way that avoids orthogononalizing a full Krylov basis. We provide new theory which characterizes sketched GMRES with and without augmentation as a projection method using a semi-inner product. We present results of numerical experiments demonstrating the effectiveness of GMRES-SDR over competitor methods such as GMRES-DR and GCRO-DR.


title: Lipschitz regularity of almost minimizers in a Bernoulli problem with non-standard growth

abstract: In this work we establish the optimal Lipschitz regularity for non-negative almost minimizers of the one-phase Bernoulli-type functional $$ \mathcal{J}_{\mathrm{G}}(u,\Omega) := \int_\Omega \left(\mathrm{G}(|\nabla u|)+\chi_{\{u>0\}}\right)\,dx $$ where $\Omega \subset \mathbb{R}^n$ is a bounded domain and $\mathrm{G}: [0, \infty) \to [0, \infty) $ is a Young function with $\mathrm{G}^{\prime}=g$ satisfying the Lieberman's classical conditions. Moreover, of independent mathematical interest, we also address a H\"{o}der regularity characterization via Campanato-type estimates in the context of Orlicz modulars, which is new for such a class of non-standard growth functionals.


title: ECRF: Entropy-Constrained Neural Radiance Fields Compression with Frequency Domain Optimization

abstract: Explicit feature-grid based NeRF models have shown promising results in terms of rendering quality and significant speed-up in training. However, these methods often require a significant amount of data to represent a single scene or object. In this work, we present a compression model that aims to minimize the entropy in the frequency domain in order to effectively reduce the data size. First, we propose using the discrete cosine transform (DCT) on the tensorial radiance fields to compress the feature-grid. This feature-grid is transformed into coefficients, which are then quantized and entropy encoded, following a similar approach to the traditional video coding pipeline. Furthermore, to achieve a higher level of sparsity, we propose using an entropy parameterization technique for the frequency domain, specifically for DCT coefficients of the feature-grid. Since the transformed coefficients are optimized during the training phase, the proposed model does not require any fine-tuning or additional information. Our model only requires a lightweight compression pipeline for encoding and decoding, making it easier to apply volumetric radiance field methods for real-world applications. Experimental results demonstrate that our proposed frequency domain entropy model can achieve superior compression performance across various datasets. The source code will be made publicly available.


title: Antidepressant use and spatial social capital

abstract: Social capital may help individuals maintain their mental health. Most empirical work based on small-scale surveys finds that bonding social capital and cohesive social networks are critical for mental well-being, while bridging social capital and diverse networks are considered less important. Here, we link data on antidepressant use of 277,344 small-town residents to a nation-wide online social network. The data enable us to examine how individuals' mental healthcare is related to the spatial characteristics of their social networks including their strong and weak ties. We find that, besides the cohesion of social networks around home, the diversity of connections to distant places is negatively correlated with the probability of antidepressant use. Spatial diversity of social networks is also associated with decreasing dosage in subsequent years. This relationship is independent from the local access to antidepressants and is more prevalent for young individuals. Structural features of spatial social networks are prospectively associated with depression treatment.


title: Self-calibrating BAO measurements in the presence of Small Displacement Interlopers

abstract: Baryon Acoustic Oscillation (BAO) observations offer a robust method for measuring cosmological expansion. However, the BAO signal in a sample of galaxies can be diluted and shifted by interlopers - galaxies that have been assigned the wrong redshifts. Because of the slitless spectroscopic method adopted by the Roman and Euclid space telescopes, the galaxy samples resulting from single line detections will have relatively high fractions of interloper galaxies. Interlopers with a small displacement between true and false redshift have the strongest effect on the measured clustering. In order to model the BAO signal, the fraction of such interlopers and their clustering need to be accurately known. We introduce a new method to self-calibrate these quantities by shifting the contaminated sample towards or away from us along the line of sight by the interloper offset, and measuring the cross-correlations between these shifted samples. The contributions from the different components are shifted in scale in this cross-correlation compared to the auto-correlation of the contaminated sample, enabling the decomposition and extraction of the component terms. We demonstrate the application of the method using numerical simulations and show that an unbiased BAO measurement can be extracted. Unlike previous attempts to model the effects of contaminants, self-calibration allows us to make fewer assumptions about the form of the contaminants such as their bias.


title: Energy eigenstates of position-dependent mass particles in a spherical quantum dot

abstract: We obtain the exact energy spectrum of nonuniform mass particles for a collection of Hamiltonians in a three-dimensional approach to a quantum dot. By considering a set of generalized Schr\"odinger equations with different orderings between the particle's momentum and mass, the energy bound-states are calculated analytically for hard boundary conditions. The present results are of interest in atomic physics and quantum dot theory.

categories: cond-mat.mes-hall cond-mat.mtrl-sci physics.atom-ph quant-ph


title: Annotation Sensitivity: Training Data Collection Methods Affect Model Performance

abstract: When training data are collected from human annotators, the design of the annotation instrument, the instructions given to annotators, the characteristics of the annotators, and their interactions can impact training data. This study demonstrates that design choices made when creating an annotation instrument also impact the models trained on the resulting annotations. We introduce the term annotation sensitivity to refer to the impact of annotation data collection methods on the annotations themselves and on downstream model performance and predictions. We collect annotations of hate speech and offensive language in five experimental conditions of an annotation instrument, randomly assigning annotators to conditions. We then fine-tune BERT models on each of the five resulting datasets and evaluate model performance on a holdout portion of each condition. We find considerable differences between the conditions for 1) the share of hate speech/offensive language annotations, 2) model performance, 3) model predictions, and 4) model learning curves. Our results emphasize the crucial role played by the annotation instrument which has received little attention in the machine learning literature. We call for additional research into how and why the instrument impacts the annotations to inform the development of best practices in instrument design.


title: Learning to Solve Inverse Problems for Perceptual Sound Matching

abstract: Perceptual sound matching (PSM) aims to find the input parameters to a synthesizer so as to best imitate an audio target. Deep learning for PSM optimizes a neural network to analyze and reconstruct prerecorded samples. In this context, our article addresses the problem of designing a suitable loss function when the training set is generated by a differentiable synthesizer. Our main contribution is perceptual-neural-physical loss (PNP), which aims at addressing a tradeoff between perceptual relevance and computational efficiency. The key idea behind PNP is to linearize the effect of synthesis parameters upon auditory features in the vicinity of each training sample. The linearization procedure is massively paralellizable, can be precomputed, and offers a 100-fold speedup during gradient descent compared to differentiable digital signal processing (DDSP). We demonstrate PNP on two datasets of nonstationary sounds: an AM/FM arpeggiator and a physical model of rectangular membranes. We show that PNP is able to accelerate DDSP with joint time-frequency scattering transform (JTFS) as auditory feature, while preserving its perceptual fidelity. Additionally, we evaluate the impact of other design choices in PSM: parameter rescaling, pretraining, auditory representation, and gradient clipping. We report state-of-the-art results on both datasets and find that PNP-accelerated JTFS has greater influence on PSM performance than any other design choice.


title: Extending Variability-Aware Model Selection with Bias Detection in Machine Learning Projects

abstract: Data science projects often involve various machine learning (ML) methods that depend on data, code, and models. One of the key activities in these projects is the selection of a model or algorithm that is appropriate for the data analysis at hand. ML model selection depends on several factors, which include data-related attributes such as sample size, functional requirements such as the prediction algorithm type, and non-functional requirements such as performance and bias. However, the factors that influence such selection are often not well understood and explicitly represented. This paper describes ongoing work on extending an adaptive variability-aware model selection method with bias detection in ML projects. The method involves: (i) modeling the variability of the factors that affect model selection using feature models based on heuristics proposed in the literature; (ii) instantiating our variability model with added features related to bias (e.g., bias-related metrics); and (iii) conducting experiments that illustrate the method in a specific case study to illustrate our approach based on a heart failure prediction project. The proposed approach aims to advance the state of the art by making explicit factors that influence model selection, particularly those related to bias, as well as their interactions. The provided representations can transform model selection in ML projects into a non ad hoc, adaptive, and explainable process.


title: Refinement calculus of quantum programs with projective assertions

abstract: Refinement calculus provides a structured framework for the progressive and modular development of programs, ensuring their correctness throughout the refinement process. This paper introduces a refinement calculus tailored for quantum programs. To this end, we first study the partial correctness of nondeterministic programs within a quantum while language featuring prescription statements. Orthogonal projectors, which are equivalent to subspaces of the state Hilbert space, are taken as assertions for quantum states. In addition to the denotational semantics where a nondeterministic program is associated with a set of trace-nonincreasing super-operators, we also present their semantics in transforming a postcondition to the weakest liberal postconditions and, conversely, transforming a precondition to the strongest postconditions. Subsequently, refinement rules are introduced based on these dual semantics, offering a systematic approach to the incremental development of quantum programs applicable in various contexts. To illustrate the practical application of the refinement calculus, we examine examples such as the implementation of a $Z$-rotation gate, the repetition code, and the quantum-to-quantum Bernoulli factory. Furthermore, we present Quire, a Python-based interactive prototype tool that provides practical support to programmers engaged in the stepwise development of correct quantum programs.


title: Reconstructing the growth index $\gamma$ with Gaussian Processes

abstract: Alternative cosmological models have been proposed to alleviate the tensions reported in the concordance cosmological model, or to explain the current accelerated phase of the universe. One way to distinguish between General Relativity and modified gravity models is using current astronomical data to measure the growth index $\gamma$, a parameter related to the growth of matter perturbations, which behaves differently in different metric theories. We propose a model independent methodology for determining $\gamma$, where our analyses combine diverse cosmological data sets, namely $\{ f(z_i) \}$, $\{ [f\sigma_8](z_i) \}$, and $\{ H(z_i) \}$, and use Gaussian Processes, a non-parametric approach suitable to reconstruct functions. This methodology is a new consistency test for $\gamma$ constant. Our results show that, for the redshift interval $0 < z < 1$, $\gamma$ is consistent with the constant value $\gamma = 0.55$, expected in General Relativity theory, within $2 \sigma$ confidence level (CL). Moreover, we find $\gamma(z=0)$ = 0.311 $\pm 0.144 $ and $\gamma(z=0) = 0.609 \pm 0.200$ for the reconstructions using the $\{ f(z_i) \}$ and $\{ [f\sigma_8](z_i) \}$ data sets, respectively, values that also agree at a 2$\sigma$ CL with $\gamma = 0.55$. Our methodology and analyses can be considered as an alternative approach in light of the current discussion in the literature that suggests a possible evidence for the growth index evolution.


title: Privacy-preserving cloud computation of algebraic Riccati equations

abstract: We address the problem of securely outsourcing the solution of algebraic Riccati equations (ARE) to a cloud. Our proposed method explores a middle ground between privacy preserving algebraic transformations and perturbation techniques, aiming to achieve simplicity of the former and strong guarantees of the latter. Specifically, we modify the coefficients of the ARE in such a way that the cloud computation on the modified ARE returns the same solution as the original one, which can be then readily used for control purposes. Notably, the approach obviates the need for any algebraic decoding step. We present privacy-preserving algorithms with and without a realizability requirement, which asks for preserving sign-definiteness of certain ARE coefficients in the modified ARE. For the LQR problem, this amounts to ensuring that the modified ARE coefficients can be realized again as an LQR problem for a (dummy) linear system. The algorithm and its computational load is illustrated through a numerical example.


title: A New Benchmark and Model for Challenging Image Manipulation Detection

abstract: The ability to detect manipulation in multimedia data is vital in digital forensics. Existing Image Manipulation Detection (IMD) methods are mainly based on detecting anomalous features arisen from image editing or double compression artifacts. All existing IMD techniques encounter challenges when it comes to detecting small tampered regions from a large image. Moreover, compression-based IMD approaches face difficulties in cases of double compression of identical quality factors. To investigate the State-of-The-Art (SoTA) IMD methods in those challenging conditions, we introduce a new Challenging Image Manipulation Detection (CIMD) benchmark dataset, which consists of two subsets, for evaluating editing-based and compression-based IMD methods, respectively. The dataset images were manually taken and tampered with high-quality annotations. In addition, we propose a new two-branch network model based on HRNet that can better detect both the image-editing and compression artifacts in those challenging conditions. Extensive experiments on the CIMD benchmark show that our model significantly outperforms SoTA IMD methods on CIMD.


title: Hierarchical Structure of Uncertainty

abstract: The experience of unknown events such as financial crises and infectious disease crises has revealed the limitations of measuring risk under a fixed probability measure. In order to solve this problem, the importance of so-called ambiguity, which allows the probability measure itself to change, has long been recognized in the financial world. On the other hand, there have been many studies o n subjective probability measures in the field of economics.But even in those cases, the studies are based on the two levels of uncertainty: risk when a conventional probability measure (probability distribution) is known, and ambiguity due to the fact that the subjective probability measure can be taken arbitrarily in a certain space. In this study, we express n-layer uncertainty, which we call hierarchical uncertainty by introducing a new concepts called uncertainty spaces which is an extended concept of probability spaces and U-sequence that are sequences of uncertainty spaces. We use U-sequence for providing examples that illustrate Ellsberg's paradox. We also investigate categories of U-sequences. Next, we construct an endofunctor S of Mble, the category formed by measurable spaces and measurable functions between them, in order to embed a given U-sequence into it. The endofunctor S maps a measurable space to a set of capacities defined on the space, where a capacity is a non-additive probability measure introduced by Choquet. After developing n-layer uncertainty analysis through U-sequences, we construct the universal uncertainty space as a limit of the sequence of measurable spaces representing multi-layer uncertainty. This universal uncertainty space may be able to serve as a basis for multi-layer uncertainty theory because it has as its projections the uncertainty spaces of all levels. Lastly, we check a sufficient condition for making the functor S be a probability monad.


title: Assumption-lean and Data-adaptive Post-Prediction Inference

abstract: A primary challenge facing modern scientific research is the limited availability of gold-standard data which can be both costly and labor-intensive to obtain. With the rapid development of machine learning (ML), scientists have relied on ML algorithms to predict these gold-standard outcomes with easily obtained covariates. However, these predicted outcomes are often used directly in subsequent statistical analyses, ignoring imprecision and heterogeneity introduced by the prediction procedure. This will likely result in false positive findings and invalid scientific conclusions. In this work, we introduce an assumption-lean and data-adaptive Post-Prediction Inference (POP-Inf) procedure that allows valid and powerful inference based on ML-predicted outcomes. Its "assumption-lean" property guarantees reliable statistical inference without assumptions on the ML-prediction, for a wide range of statistical quantities. Its "data-adaptive'" feature guarantees an efficiency gain over existing post-prediction inference methods, regardless of the accuracy of ML-prediction. We demonstrate the superiority and applicability of our method through simulations and large-scale genomic data.