title: Informative Path Planning with Limited Adaptivity

abstract: We consider the informative path planning ($\mathtt{IPP}$) problem in which a robot interacts with an uncertain environment and gathers information by visiting locations. The goal is to minimize its expected travel cost to cover a given submodular function. Adaptive solutions, where the robot incorporates all available information to select the next location to visit, achieve the best objective. However, such a solution is resource-intensive as it entails recomputing after every visited location. A more practical approach is to design solutions with a small number of adaptive "rounds", where the robot recomputes only once at the start of each round. In this paper, we design an algorithm for $\mathtt{IPP}$ parameterized by the number $k$ of adaptive rounds, and prove a smooth trade-off between $k$ and the solution quality (relative to fully adaptive solutions). We validate our theoretical results by experiments on a real road network, where we observe that a few rounds of adaptivity suffice to obtain solutions of cost almost as good as fully-adaptive ones.


title: Can Large Language Models Understand Content and Propagation for Misinformation Detection: An Empirical Study

abstract: Large Language Models (LLMs) have garnered significant attention for their powerful ability in natural language understanding and reasoning. In this paper, we present a comprehensive empirical study to explore the performance of LLMs on misinformation detection tasks. This study stands as the pioneering investigation into the understanding capabilities of multiple LLMs regarding both content and propagation across social media platforms. Our empirical studies on five misinformation detection datasets show that LLMs with diverse prompts achieve comparable performance in text-based misinformation detection but exhibit notably constrained capabilities in comprehending propagation structure compared to existing models in propagation-based misinformation detection. Besides, we further design four instruction-tuned strategies to enhance LLMs for both content and propagation-based misinformation detection. These strategies boost LLMs to actively learn effective features from multiple instances or hard instances, and eliminate irrelevant propagation structures, thereby achieving better detection performance. Extensive experiments further demonstrate LLMs would play a better capacity in content and propagation structure under these proposed strategies and achieve promising detection performance. These findings highlight the potential ability of LLMs to detect misinformation.


title: A Data-Driven Integrated Framework for Fast-Charging Facility Planning using Multi-Period Bi-Objective Optimization

abstract: With the electrification in freight transportation, the availability of fast-charging facilities becomes essential to facilitate en-route charging for freight electric vehicles. Most studies focus on planning charging facilities based on mathematical modeling and hypothetical scenarios. This study aims to develop a data-driven integrated framework for fast-charging facility planning. By leveraging the highway traffic data, we extracted, analyzed, and compared spatial and temporal flow patterns of general traffic and freight traffic. Furthermore, graph theory-based network evaluation methods are employed to identify traffic nodes within the highway network that play a significant role in accommodating charging infrastructure. A candidate selection method is proposed to obtain potential deployment locations for charging stations and to-go chargers. Based on this, we present a multi-period bi-objective optimization model to provide optimal solutions for the placement of charging facilities, with the objectives of minimizing investment cost and maximizing demand coverage. The case study on the Amsterdam highway network shows how existing traffic data can be used to generate more realistic charging demand scenarios and how it can be integrated and evaluated within the optimization framework for facility planning. The study also shows that the proposed model can leverage the potential of early investment in improving the charging demand coverage.


title: Turbulence impacts synthetic methanol production in a square duct flow: a direct numerical simulation (DNS) study

abstract: Improving the synthetic methanol production efficiency is essential for adopting carbon-neutral methanol technologies. In the present computational fluid dynamics (CFD) study, we investigate synthetic methanol (CH$_3$OH) production in a milli-duct with a rectangular cross-section. The duct involves catalytic wall reactions with CO$_2$ and H$_2$ as reactants. Direct numerical simulations are carried out at bulk Reynolds numbers $Re_\mathrm{b} =$ 100, 500, 1100 and 2200 spanning laminar and turbulent flow regimes. We investigate a high catalyst loading, corresponding to gas hourly space velocity values of GHSV = 0.086, 0.44, 0.96 and 1.93 m$^3$/(kg$_\mathrm{cat}$ h). The results consist of the following features. 1) Turbulent mixing may significantly enhance methanol production under transport-limited chemistry, increasing the methanol mass flow rate at the outlet up to 56.4 % in the duct. 2) The reaction rate reaches local minima/maxima in the turbulent ejection/sweep structures observed in the proximity of the catalytic walls, respectively. 3) The single-pass conversion efficiency of CO$_2$ and the methanol yield across the duct decrease monotonically as the Reynolds number increases (lower residence time), while in contrast, the methanol mass flow rate at the outlet increases as $Re_\mathrm{b}$ increases (higher reactant inflow). These results suggest that turbulent transport could be leveraged to improve methanol yield in straight millichannels, albeit at the cost of increased reactant recycling.


title: "There Has To Be a Lot That We're Missing": Moderating AI-Generated Content on Reddit

abstract: Generative AI threatens to disrupt how we work, learn, communicate, and participate in online communities. We performed a qualitative interview study to understand how moderators of online communities on the social sharing site Reddit are challenged by AI-generated content (AIGC) and how they are adapting. We conducted fifteen in-depth, semi-structured interviews with subreddit moderators about their experiences with AIGC. Though our participants see both legitimate and illegitimate motivations for using AIGC, on the whole they view it as detrimental to their communities, with a level of concern that is dependent on the purpose and size of their subreddits. Moderators reported developing rules and using a variety of strategies that may help communities prevent or curb AIGC, but without foolproof detection tools, enforcement is challenging and relies on heuristics. AIGC poses a unique threat to online communities who value authenticity, in that even well-intentioned community members may inadvertently cause disruption. Overall, for online communities, the threat of Generative AI is not speculative: the disruption has already begun.


title: Some properties of pointwise $k$-slant submanifolds of K\"ahler manifolds

abstract: We study some properties of pointwise $k$-slant submanifolds of almost Hermitian manifolds with a special view towards K\"{a}hler manifolds. In particular, we characterize the integrability of the component distributions, treating also the totally geodesic case.


title: Cascade Learning Localises Discriminant Features in Visual Scene Classification

abstract: Lack of interpretability of deep convolutional neural networks (DCNN) is a well-known problem particularly in the medical domain as clinicians want trustworthy automated decisions. One way to improve trust is to demonstrate the localisation of feature representations with respect to expert labeled regions of interest. In this work, we investigate the localisation of features learned via two varied learning paradigms and demonstrate the superiority of one learning approach with respect to localisation. Our analysis on medical and natural datasets show that the traditional end-to-end (E2E) learning strategy has a limited ability to localise discriminative features across multiple network layers. We show that a layer-wise learning strategy, namely cascade learning (CL), results in more localised features. Considering localisation accuracy, we not only show that CL outperforms E2E but that it is a promising method of predicting regions. On the YOLO object detection framework, our best result shows that CL outperforms the E2E scheme by $2\%$ in mAP.


title: Computability of Countable Sunflowers

abstract: We provide a characterization of when a countably infinite set of finite sets contains an infinite sunflower. We also show that the collection of such sets is Turing equivalent to the set of programs such that whenever the program converges it returns the code of a program with finite range.


title: Learning-based Array Configuration-Independent Binaural Audio Telepresence with Scalable Signal Enhancement and Ambience Preservation

abstract: Audio Telepresence (AT) aims to create an immersive experience of the audio scene at the far end for the user(s) at the near end. The application of AT could encompass scenarios with varying degrees of emphasis on signal enhancement and ambience preservation. It is desirable for an AT system to be scalable between these two extremes. To this end, we propose an array-based Binaural AT (BAT) system using the DeepFilterNet as the backbone to convert the array microphone signals into the Head-Related Transfer Function (HRTF)-filtered signals, with a tunable weighting between signal enhancement and ambience preservation. An array configuration-independent Spatial COherence REpresentation (SCORE) feature is proposed for the model training so that the network remains robust to different array geometries and sensor counts. magnitude-weighted Interaural Phase Difference error (mw-IPDe), magnitude-weighted Interaural Level Difference error (mw-ILDe), and modified Scale-Invariant Signal-to-Distortion Ratio (mSI-SDR) are defined as performance metrics for objective evaluation. Subjective listening tests were also performed to validate the proposed BAT system. The results have shown that the proposed BAT system can achieve superior telepresence performance with the desired balance between signal enhancement and ambience preservation, even when the array configurations are unseen in the training phase.


title: Keeping Users Engaged During Repeated Administration of the Same Questionnaire: Using Large Language Models to Reliably Diversify Questions

abstract: Standardized, validated questionnaires are vital tools in HCI research and healthcare, offering dependable self-report data. However, their repeated use in longitudinal or pre-post studies can induce respondent fatigue, impacting data quality via response biases and decreased response rates. We propose utilizing large language models (LLMs) to generate diverse questionnaire versions while retaining good psychometric properties. In a longitudinal study, participants engaged with our agent system and responded daily for two weeks to either a standardized depression questionnaire or one of two LLM-generated questionnaire variants, alongside a validated depression questionnaire. Psychometric testing revealed consistent covariation between the external criterion and the focal measure administered across the three conditions, demonstrating the reliability and validity of the LLM-generated variants. Participants found the repeated administration of the standardized questionnaire significantly more repetitive compared to the variants. Our findings highlight the potential of LLM-generated variants to invigorate questionnaires, fostering engagement and interest without compromising validity.


title: Casimir energy for elliptic fixed points

abstract: The contribution of elliptic fixed points to the scalar Casimir energy on compact quotients of the upper half hyperbolic plane is computed for a propagation operator conformal in three dimensions. The expression involves derivatives of two-dimensional Barnes zeta-functions which are reduced to Hurwitz zeta-functions for numerical purposes. The values are all positive for any elliptic order.


title: LBR-Stack: ROS 2 and Python Integration of KUKA FRI for Med and IIWA Robots

abstract: The LBR-Stack is a collection of packages that simplify the usage and extend the capabilities of KUKA's Fast Robot Interface (FRI). It is designed for mission critical hard real-time applications. Supported are the KUKA LBR Med 7/14 and KUKA LBR IIWA 7/14 robots in the Gazebo simulation and for communication with real hardware.


title: Short Voting Codes For Practical Code Voting

abstract: To preserve voter secrecy on untrusted voter devices we propose to use short voting codes. This ensures voting codes remain practical even if the voter is able to select multiple voting choices. We embed the mechanism in a protocol that avoids complex cryptography in both the setup and the voting phase and relies only on standard cryptographic primitives. Trusting the setup, and one out of multiple server components, the protocol provides vote secrecy, cast-as-intended, recorded-as-cast, tallied-as-recorded, eligibility and universal verifiability.


title: Regression-Based Analysis of Multimodal Single-Cell Data Integration Strategies

abstract: Multimodal single-cell technologies enable the simultaneous collection of diverse data types from individual cells, enhancing our understanding of cellular states. However, the integration of these datatypes and modeling the interrelationships between modalities presents substantial computational and analytical challenges in disease biomarker detection and drug discovery. Established practices rely on isolated methodologies to investigate individual molecular aspects separately, often resulting in inaccurate analyses. To address these obstacles, distinct Machine Learning Techniques are leveraged, each of its own kind to model the co-variation of DNA to RNA, and finally to surface proteins in single cells during hematopoietic stem cell development, which simplifies understanding of underlying cellular mechanisms and immune responses. Experiments conducted on a curated subset of a 300,000-cell time course dataset, highlights the exceptional performance of Echo State Networks, boasting a remarkable state-of-the-art correlation score of 0.94 and 0.895 on Multi-omic and CiteSeq datasets. Beyond the confines of this study, these findings hold promise for advancing comprehension of cellular differentiation and function, leveraging the potential of Machine Learning.


title: Weyl orbits as probe of chiral separation effect in magnetic Weyl semimetals

abstract: We consider magnetic Weyl semimetals. First of all we review relation of intrinsic anomalous Hall conductivity, band contribution to intrinsic magnetic moment, and the conductivity of chiral separation effect (CSE) to the topological invariants written in terms of the Wigner transformed Green functions (with effects of interaction and disorder taken into account). Next, we concentrate on the CSE. The corresponding bulk axial current would result in accumulation of particles and holes of opposite chiralities at the surface of the sample. However, this accumulation is compensated by the flow of the states in momentum space along the Fermi arcs. Together with the bulk CSE current this flow forms closed Weyl orbits. Their detection can be considered as experimental discovery of chiral separation effect. Previously it was proposed to detect Weyl orbits through the observation of quantum oscillations \cite{Potter_2014} . We propose the alternative way to detect existence of Weyl orbits through the observation of their contributions to Hall conductance.


title: Alpha Zero for Physics: Application of Symbolic Regression with Alpha Zero to find the analytical methods in physics

abstract: Machine learning with neural networks is now becoming a more and more powerful tool for various tasks, such as natural language processing, image recognition, winning the game, and even for the issues of physics. Although there are many studies on the application of machine learning to numerical calculation and assistance of experiments, the methods of applying machine learning to find the analytical method are poorly studied. In this paper, we propose the frameworks of developing analytical methods in physics by using the symbolic regression with the Alpha Zero algorithm, that is Alpha Zero for physics (AZfP). As a demonstration, we show that AZfP can derive the high-frequency expansion in the Floquet systems. AZfP may have the possibility of developing a new theoretical framework in physics.


title: Decrypting Nonlinearity: Koopman Interpretation and Analysis of Cryptosystems

abstract: Public-key cryptosystems rely on computationally difficult problems for security, traditionally analyzed using number theory methods. In this paper, we introduce a novel perspective on cryptosystems by viewing the Diffie-Hellman key exchange and the Rivest-Shamir-Adleman cryptosystem as nonlinear dynamical systems. By applying Koopman theory, we transform these dynamical systems into higher-dimensional spaces and analytically derive equivalent purely linear systems. This formulation allows us to reconstruct the secret integers of the cryptosystems through straightforward manipulations, leveraging the tools available for linear systems analysis. Additionally, we establish an upper bound on the minimum lifting dimension required to achieve perfect accuracy. Our results on the required lifting dimension are in line with the intractability of brute-force attacks. To showcase the potential of our approach, we establish connections between our findings and existing results on algorithmic complexity. Furthermore, we extend this methodology to a data-driven context, where the Koopman representation is learned from data samples of the cryptosystems.


title: Attacks of fairness in Federated Learning

abstract: Federated Learning is an important emerging distributed training paradigm that keeps data private on clients. It is now well understood that by controlling only a small subset of FL clients, it is possible to introduce a backdoor to a federated learning model, in the presence of certain attributes. In this paper, we present a new type of attack that compromises the fairness of the trained model. Fairness is understood to be the attribute-level performance distribution of a trained model. It is particularly salient in domains where, for example, skewed accuracy discrimination between subpopulations could have disastrous consequences. We find that by employing a threat model similar to that of a backdoor attack, an attacker is able to influence the aggregated model to have an unfair performance distribution between any given set of attributes. Furthermore, we find that this attack is possible by controlling only a single client. While combating naturally induced unfairness in FL has previously been discussed in depth, its artificially induced kind has been neglected. We show that defending against attacks on fairness should be a critical consideration in any situation where unfairness in a trained model could benefit a user who participated in its training.


title: minimax: Efficient Baselines for Autocurricula in JAX

abstract: Unsupervised environment design (UED) is a form of automatic curriculum learning for training robust decision-making agents to zero-shot transfer into unseen environments. Such autocurricula have received much interest from the RL community. However, UED experiments, based on CPU rollouts and GPU model updates, have often required several weeks of training. This compute requirement is a major obstacle to rapid innovation for the field. This work introduces the minimax library for UED training on accelerated hardware. Using JAX to implement fully-tensorized environments and autocurriculum algorithms, minimax allows the entire training loop to be compiled for hardware acceleration. To provide a petri dish for rapid experimentation, minimax includes a tensorized grid-world based on MiniGrid, in addition to reusable abstractions for conducting autocurricula in procedurally-generated environments. With these components, minimax provides strong UED baselines, including new parallelized variants, which achieve over 120$\times$ speedups in wall time compared to previous implementations when training with equal batch sizes. The minimax library is available under the Apache 2.0 license at https://github.com/facebookresearch/minimax.


title: Phylogenetic least squares estimation without genetic distances

abstract: Least squares estimation of phylogenies is an established family of methods with good statistical properties. State-of-the-art least squares phylogenetic estimation proceeds by first estimating a distance matrix, which is then used to determine the phylogeny by minimizing a squared-error loss function. Here, we develop a method for least squares phylogenetic inference that does not rely on a pre-estimated distance matrix. Our approach allows us to circumvent the typical need to first estimate a distance matrix by forming a new loss function inspired by the phylogenetic likelihood score function; in this manner, inference is not based on a summary statistic of the sequence data, but directly on the sequence data itself. We use a Jukes-Cantor substitution model to show that our method leads to improvements over ordinary least squares phylogenetic inference, and is even observed to rival maximum likelihood estimation in terms of topology estimation efficiency. Using a Kimura 2-parameter model, we show that our method also allows for estimation of the global transition/transversion ratio simultaneously with the phylogeny and its branch lengths. This is impossible to accomplish with any other distance-based method as far as we know. Our developments pave the way for more optimal phylogenetic inference under the least squares framework, particularly in settings under which likelihood-based inference is infeasible, including when one desires to build a phylogeny based on information provided by only a subset of all possible nucleotide substitutions such as synonymous or non-synonymous substitutions.


title: Hybrid III-V/Silicon photonic circuits embedding generation and routing of entangled photon pairs

abstract: The demand for integrated photonic chips combining the generation and manipulation of quantum states of light is steadily increasing, driven by the need for compact and scalable platforms for quantum information technologies. While photonic circuits with diverse functionalities are being developed in different single material platforms, it has become crucial to realize hybrid photonic circuits that harness the advantages of multiple materials while mitigating their respective weaknesses, resulting in enhanced capabilities. Here, we demonstrate a hybrid III-V/Silicon quantum photonic device combining the strong second-order nonlinearity and compliance with electrical pumping of the III-V semiconductor platform with the high maturity and CMOS compatibility of the silicon photonic platform. Our device embeds the spontaneous parametric down-conversion (SPDC) of photon pairs into an AlGaAs source and their subsequent routing to a silicon-on-insulator circuitry, within an evanescent coupling scheme managing both polarization states. This enables the on-chip generation of broadband telecom photons by type 0 and type 2 SPDC from the hybrid device, at room temperature and with internal pair generation rates exceeding $10^5$ $s^{-1}$ for both types, while the pump beam is strongly rejected. Two-photon interference with 92% visibility (and up to 99% upon 5 nm spectral filtering) proves the high energy-time entanglement quality characterizing the produced quantum state, thereby enabling a wide range of quantum information applications on-chip, within an hybrid architecture merging the assets of two mature and highly complementary platforms in view of out-of-the-lab deployment of quantum technologies.


title: Development of a Legal Document AI-Chatbot

abstract: With the exponential growth of digital data and the increasing complexity of legal documentation, there is a pressing need for efficient and intelligent tools to streamline the handling of legal documents.With the recent developments in the AI field, especially in chatbots, it cannot be ignored as a very compelling solution to this problem.An insight into the process of creating a Legal Documentation AI Chatbot with as many relevant features as possible within the given time frame is presented.The development of each component of the chatbot is presented in detail.Each component's workings and functionality has been discussed.Starting from the build of the Android app and the Langchain query processing code till the integration of both through a Flask backend and REST API methods.


title: LiFi: Learn to Incentivize Federated Learning in Automotive Edge Computing

abstract: Federated learning (FL) is the promising privacy-preserve approach to continually update the central machine learning (ML) model (e.g., object detectors in edge servers) by aggregating the gradients obtained from local observation data in distributed connected and automated vehicles (CAVs). The incentive mechanism is to incentivize individual selfish CAVs to participate in FL towards the improvement of overall model accuracy. It is, however, challenging to design the incentive mechanism, due to the complex correlation between the overall model accuracy and unknown incentive sensitivity of CAVs, especially under the non-independent and identically distributed (Non-IID) data of individual CAVs. In this paper, we propose a new learn-to-incentivize algorithm to adaptively allocate rewards to individual CAVs under unknown sensitivity functions. First, we gradually learn the unknown sensitivity function of individual CAVs with accumulative observations, by using compute-efficient Gaussian process regression (GPR). Second, we iteratively update the reward allocation to individual CAVs with new sampled gradients, derived from GPR. Third, we project the updated reward allocations to comply with the total budget. We evaluate the performance of extensive simulations, where the simulation parameters are obtained from realistic profiling of the CIFAR-10 dataset and NVIDIA RTX 3080 GPU. The results show that our proposed algorithm substantially outperforms existing solutions, in terms of accuracy, scalability, and adaptability.


title: Satellite Swarms for Narrow Beamwidth Applications

abstract: Satellite swarms have recently gained attention in the space industry due to their ability to provide extremely narrow beamwidths at a lower cost than single satellite systems. This paper proposes a concept for a satellite swarm using a distributed subarray configuration based on a 2D normal probability distribution. The swarm comprises multiple small satellites acting as subarrays of a big aperture array limited by a radius of 20000 wavelengths working at a central frequency of 19 GHz. The main advantage of this approach is that the distributed subarrays can provide extremely directive beams and beamforming capabilities that are not possible using a conventional antenna and satellite design. The proposed swarm concept is analyzed, and the simulation results show that the radiation pattern achieves a beamwidth as narrow as 0.0015-degrees with a maximum side lobe level of 18.8 dB and a grating lobe level of 14.8 dB. This concept can be used for high data rates applications or emergency systems.


title: Attacking Motion Planners Using Adversarial Perception Errors

abstract: Autonomous driving (AD) systems are often built and tested in a modular fashion, where the performance of different modules is measured using task-specific metrics. These metrics should be chosen so as to capture the downstream impact of each module and the performance of the system as a whole. For example, high perception quality should enable prediction and planning to be performed safely. Even though this is true in general, we show here that it is possible to construct planner inputs that score very highly on various perception quality metrics but still lead to planning failures. In an analogy to adversarial attacks on image classifiers, we call such inputs \textbf{adversarial perception errors} and show they can be systematically constructed using a simple boundary-attack algorithm. We demonstrate the effectiveness of this algorithm by finding attacks for two different black-box planners in several urban and highway driving scenarios using the CARLA simulator. Finally, we analyse the properties of these attacks and show that they are isolated in the input space of the planner, and discuss their implications for AD system deployment and testing.


title: Cavity-mediated collective emission from few emitters in a diamond membrane

abstract: When an ensemble of quantum emitters couples to a common radiation field, their polarizations can synchronize and a collective emission termed superfluorescence can occur. Entering this regime in a free-space setting requires a large number of emitters with a high spatial density as well as coherent optical transitions with small inhomogeneity. Here we show that by coupling nitrogen-vacancy (NV) centers in a diamond membrane to a high-finesse microcavity, also few, incoherent, inhomogeneous, and spatially separated emitters - as are typical for solid state systems - can enter the regime of collective emission. We observe a super-linear power dependence of the emission rate as a hallmark of collective emission. Furthermore, we find simultaneous photon bunching and antibunching on different timescales in the second-order auto-correlation function, revealing cavity-induced interference in the quantized emission from about fifteen emitters. We develop theoretical models for mesoscopic emitter numbers to analyze the behavior in the Dicke state basis and find that the population of collective states together with cavity enhancement and filtering can explain the observations. Such a system has prospects for the generation of multi-photon quantum states, and for the preparation of entanglement in few-emitter systems.


title: Search for the decay $B_s^0\to J/\psi\pi^0$ at Belle experiment

abstract: We have analyzed 121.4 fb$^{-1}$ of data collected at the $\Upsilon(5S)$ resonance by the Belle experiment using the KEKB asymmetric-energy $e^+e^-$ collider to search for the decay $B_s^0\to J/\psi\pi^0$. We observe no signal and report an upper limit on the branching fraction $\mathcal{B}(B_s^0\to J/\psi\pi^0)$ of $1.21\times 10^{-5}$ at 90\% confidence level. This result is the most stringent, improving the previous bound by two orders of magnitude.


title: Exponential Asymptotics of Ricci Flow Neckpinch

abstract: In this article we examine the formation of cylindrical neckpinch singularities in Ricci flow in compact manifolds. Rigorous examples of neckpinch sigularity for rotationally symmetric initial data were first constructed by Angenent and Knopf, and examples with given asymptotic behaviour were constructed by them and Isenberg. Here we discuss the asymptotic behavior of the flow under Type-I assumption for general symmetric initial data, and show the previously constructed asymptotic profiles and are the only possibilities.


title: Nonparametric variable importance for time-to-event outcomes with application to prediction of HIV infection

abstract: In survival analysis, complex machine learning algorithms have been increasingly used for predictive modeling. Given a collection of features available for inclusion in a predictive model, it may be of interest to quantify the relative importance of a subset of features for the prediction task at hand. In particular, in HIV vaccine trials, participant baseline characteristics are used to predict the probability of infection over the intended follow-up period, and investigators may wish to understand how much certain types of predictors, such as behavioral factors, contribute toward overall predictiveness. Time-to-event outcomes such as time to infection are often subject to right censoring, and existing methods for assessing variable importance are typically not intended to be used in this setting. We describe a broad class of algorithm-agnostic variable importance measures for prediction in the context of survival data. We propose a nonparametric efficient estimation procedure that incorporates flexible learning of nuisance parameters, yields asymptotically valid inference, and enjoys double-robustness. We assess the performance of our proposed procedure via numerical simulations and analyze data from the HVTN 702 study to inform enrollment strategies for future HIV vaccine trials.


title: Soft Random Sampling: A Theoretical and Empirical Analysis

abstract: Soft random sampling (SRS) is a simple yet effective approach for efficient training of large-scale deep neural networks when dealing with massive data. SRS selects a subset uniformly at random with replacement from the full data set in each epoch. In this paper, we conduct a theoretical and empirical analysis of SRS. First, we analyze its sampling dynamics including data coverage and occupancy. Next, we investigate its convergence with non-convex objective functions and give the convergence rate. Finally, we provide its generalization performance. We empirically evaluate SRS for image recognition on CIFAR10 and automatic speech recognition on Librispeech and an in-house payload dataset to demonstrate its effectiveness. Compared to existing coreset-based data selection methods, SRS offers a better accuracy-efficiency trade-off. Especially on real-world industrial scale data sets, it is shown to be a powerful training strategy with significant speedup and competitive performance with almost no additional computing cost.


title: Geometric Construction of non-linear Sigma models with Q-ball/Q-kink solutions

abstract: Non-linear Sigma models involving U(1) symmetry group are studied using a geometrical formalism. In this type of models, Q-balls and Q-Kinks solutions are found. The geometrical framework described in this article allows the identification of the necessary conditions on the metric and the potential to guarantee the existence of these Q-balls and Q-Kinks. Using this procedure, Sigma models where both types of solutions coexist, have been identified. Only the internal rotational frequency distinguishes which one of these defects will arise.


title: Adiabatic observables and Berry curvatures in insulators and metals

abstract: A sharp definition of what "adiabatic" means is given; it is then shown that the time-dependent expectation value of a quantum-mechanical observable in the adiabatic limit can be expressed -- in many cases -- by means of the appropriate Berry curvature. Condensed-matter observables belonging to this class include: Born effective charges in insulators and in metals, quantized Faraday charges in electrolytes, and linear dc conductivities (longitudinal and transverse). Remarkably, the adiabatic limit is well defined even in metals, despite the absence of a spectral gap therein. For all of the above observables the explicit Berry-curvature expressions are derived in a general many-body setting, which also allows for compact and very transparent notations and formulas. Their conversion into band-structure formulas in the independent-electron crystalline case is straightforward.


title: Measurement of the muon magnetic anomaly $a_\mu$ in the Muon $g-2$ experiment at Fermilab

abstract: The Fermilab Muon $g-2$ experiment measures the muon anomalous magnetic moment with high precision. Together with recent improvements on the theory front, the first results of the experiment confirm the long-standing discrepancy between the experimental measurements and the Standard Model predictions. The observed value of $a_\mu({\rm FNAL}) = 116\,592\,040(54) \times 10^{-11} ~ (\text{0.46\,ppm})$, combined with the previous experimental measurement, results in a discrepancy of $ (251 \pm 59)\times 10^{-11}$ with the theoretical prediction, corresponding to $4.2 ~\sigma$. This note presents the first results, the current status and the future prospects of the Muon g-2 experiment at Fermilab.


title: Serial Monopoly on Blockchains

abstract: We study the following problem that is motivated by Blockchains where ``miners'' are serially given the monopoly for assembling transactions into the next block. Our model has a single good that is sold repeatedly every day where new demand for the good arrives every day. The novel element in our model is that all unsatisfied demand from one day remains in the system and is added to the new demand of the next day. Every day there is a new monopolist that gets to sell a fixed supply $s$ of the good and naturally chooses to do so at the monopolist's price for the combined demand. What will the dynamics of the prices chosen by the sequence of monopolists be? What level of efficiency will be obtained in the long term? We start with a non-strategic analysis of users' behavior and our main result shows that prices keep fluctuating wildly and this is an endogenous property of the model and happens even when demand is stable with nothing stochastic in the model. These price fluctuations underscore the necessity of an analysis under strategic behavior of the users, which we show results in the prices being stable at the market equilibrium price.


title: Tight Lieb-Robinson Bound for approximation ratio in Quantum Annealing

abstract: Quantum annealing (QA) holds promise for optimization problems in quantum computing, especially for combinatorial optimization. This analog framework attracts attention for its potential to address complex problems. Its gate-based homologous, QAOA with proven performance, has brought lots of attention to the NISQ era. Several numerical benchmarks try to classify these two metaheuristics however, classical computational power highly limits the performance insights. In this work, we introduce a new parametrized version of QA enabling a precise 1-local analysis of the algorithm. We develop a tight Lieb-Robinson bound for regular graphs, achieving the best-known numerical value to analyze QA locally. Studying MaxCut over cubic graph as a benchmark optimization problem, we show that a linear-schedule QA with a 1-local analysis achieves an approximation ratio over 0.7020, outperforming any known 1-local algorithms.


title: Not Just Training, Also Testing: High School Youths' Perspective-Taking through Peer Testing Machine Learning-Powered Applications

abstract: Most attention in K-12 artificial intelligence and machine learning (AI/ML) education has been given to having youths train models, with much less attention to the equally important testing of models when creating machine learning applications. Testing ML applications allows for the evaluation of models against predictions and can help creators of applications identify and address failure and edge cases that could negatively impact user experiences. We investigate how testing each other's projects supported youths to take perspective about functionality, performance, and potential issues in their own projects. We analyzed testing worksheets, audio and video recordings collected during a two week workshop in which 11 high school youths created physical computing projects that included (audio, pose, and image) ML classifiers. We found that through peer-testing youths reflected on the size of their training datasets, the diversity of their training data, the design of their classes and the contexts in which they produced training data. We discuss future directions for research on peer-testing in AI/ML education and current limitations for these kinds of activities.


title: Optimal Transition Paths for AMOC Collapse and Recovery in a Stochastic Box Model

abstract: The present-day Atlantic Meridional Overturning Circulation (AMOC) is considered to be in a bi-stable regime and hence it is important to determine probabilities and pathways for noise-induced transitions between its equilibrium states. Here, using Large Deviation Theory (LDT), the most probable transition pathways for the collapse and recovery of the AMOC are computed in a stochastic box model of the World Ocean. This allows us to determine the physical mechanisms of noise-induced AMOC transitions. We show that the most likely path of an AMOC collapse starts paradoxically with a strengthening of the AMOC followed by an immediate drop within a couple of years due to a short but relatively strong freshwater pulse. The recovery on the other hand is a slow process, where the North Atlantic needs to be gradually salinified over a course of 20 years. The proposed method provides several benefits, including an estimate of probability ratios of collapse between various freshwater noise scenarios, showing that the AMOC is most vulnerable to freshwater forcing into the Atlantic thermocline region.


title: LowResource at BLP-2023 Task 2: Leveraging BanglaBert for Low Resource Sentiment Analysis of Bangla Language

abstract: This paper describes the system of the LowResource Team for Task 2 of BLP-2023, which involves conducting sentiment analysis on a dataset composed of public posts and comments from diverse social media platforms. Our primary aim is to utilize BanglaBert, a BERT model pre-trained on a large Bangla corpus, using various strategies including fine-tuning, dropping random tokens, and using several external datasets. Our final model is an ensemble of the three best BanglaBert variations. Our system has achieved overall 3rd in the Test Set among 30 participating teams with a score of 0.718. Additionally, we discuss the promising systems that didn't perform well namely task-adaptive pertaining and paraphrasing using BanglaT5. Training codes and external datasets which are used for our system are publicly available at https://github.com/Aunabil4602/bnlp-workshop-task2-2023


title: Spatio-Temporal Modeling of Surface Water Quality Distribution in California (1956-2023)

abstract: Surface water quality has a direct impact on public health, ecosystems, and agriculture, in addition to being an important indicator of the overall health of the environment. California's diverse climate, extensive coastline, and varied topography lead to distinct spatial and temporal patterns in surface water. This study offers a comprehensive assessment of these patterns by leveraging around 70 years of data, taking into account climate zones and geographical types. We analyzed surface water quality indicators, including pH, dissolved oxygen, specific conductance, and water temperature, based on field results from approximately 5,000 water quality stations in California Water Quality Data (CWQD). Machine learning (ML) models were developed to establish relationships between spatial and temporal variables, climate zones, geographical types, and water quality indicators. Applying these models to spatially interpolate and temporally predict the four water quality indicators over California for the next 50 years, the research results indicate an uneven distribution of water quality indicators in California, suggesting the presence of potential pollution zones, seawater erosion, and effects of climate change.


title: Exploring Graph Classification Techniques Under Low Data Constraints: A Comprehensive Study

abstract: This survey paper presents a brief overview of recent research on graph data augmentation and few-shot learning. It covers various techniques for graph data augmentation, including node and edge perturbation, graph coarsening, and graph generation, as well as the latest developments in few-shot learning, such as meta-learning and model-agnostic meta-learning. The paper explores these areas in depth and delves into further sub classifications. Rule based approaches and learning based approaches are surveyed under graph augmentation techniques. Few-Shot Learning on graphs is also studied in terms of metric learning techniques and optimization-based techniques. In all, this paper provides an extensive array of techniques that can be employed in solving graph processing problems faced in low-data scenarios.


title: Group Theory on Quasi-symmetry and Protected Near Degeneracy

abstract: In solid state systems, group representation theory is powerful in characterizing the behavior of quasiparticles, notably the energy degeneracy. While conventional group theory is effective in answering yes-or-no questions related to symmetry breaking, its application to determining the magnitude of energy splitting resulting from symmetry lowering is limited. Here, we propose a theory on quasi-symmetry and near degeneracy, thereby expanding the applicability of group theory to address questions regarding large-or-small energy splitting. Defined within the degenerate subspace of an unperturbed Hamiltonian, quasi-symmetries form an enlarged symmetry group eliminating the first-order splitting. This framework ensures that the magnitude of splitting arises as a second-order effect of symmetry-lowering perturbations, such as external fields and spin-orbit coupling. We systematically tabulate the quasi-symmetry groups within 32 crystallographic point groups and demonstrate that $Z_{n}$, $U(1)$, and $D_{\infty}$ can serve as the quotient group of unitary quasi-symmetry group in doubly degenerate subspace. Applying our theory to the realistic material AgLa, we predict a "quasi-Dirac semimetal" phase characterized by two tiny-gap band anticrossings.


title: Biomechanical Analysis Of Breast Cancer Cells: A Comparative Study Of Invasive And Non-Invasive Cell Lines Using Digital Holographic Microscopy

abstract: This study investigates the biomechanical properties of breast cancer cells, focusing on the invasive MDA-MB-231 and non-invasive MCF-7 cell lines, using phase-shifting digital holographic microscopy and an acousto-holographic system for non-invasive strain measurement. Findings reveal higher strain values in MDA-MB-231 cells, indicative of their aggressive, metastatic nature, compared to lower strain values in MCF-7 cells. This variance in mechanical properties, potentially linked to distinct metabolic states and responses to external stimuli, underscores the role of cellular mechanics in cancer progression. The study advances understanding of breast cancer cell mechanics, highlighting biomechanical analysis as a crucial tool in cancer research and potential therapeutic interventions.


title: Atomistic theory of moir\'e Hofstadter's butterfly in magic-angle graphene

abstract: We present here a Hofstadter's butterfly spectrum for the magic angle twisted bilayer graphene obtained using an ab initio based multi-million atom tight-binding model. We incorporate a hexagonal boron nitride substrate and out-of-plane atomic relaxation. The effects of a magnetic field are introduced via the Peierls modification of the long-range tight-binding matrix elements and the Zeeman spin splitting effects. A nanoribbon geometry is studied, and the quantum size effects for the sample widths up to 1 $\mu$m are analyzed both for a large energy window and for the flatband around the Fermi level. For sufficiently wide ribbons, where the role of the finite geometry is minimized, we obtain and plot the Hofstadter spectrum and identify the in-gap Chern numbers by counting the total number of chiral edge states crossing these gaps. Subsequently, we examine the Wannier diagrams to identify the insulating states at charge neutrality. We establish the presence of three types of electronic states: moir\'e, mixed, and conventional. These states describe both the bulk Landau levels and the edge states crossing gaps in the spectrum. The evolution of the bulk moir\'e flatband wavefunctions in the magnetic field is investigated, predicting a decay of the electronic density from the moir\'e centers as the magnetic flux increases. Furthermore, the spatial properties of the three types of edge states are studied, illustrating the evolution of their localization as a function of the nanoribbon momentum.


title: Content Augmented Graph Neural Networks

abstract: In recent years, graph neural networks (GNNs) have become a popular tool for solving various problems over graphs. In these models, the link structure of the graph is typically exploited and nodes' embeddings are iteratively updated based on adjacent nodes. Nodes' contents are used solely in the form of feature vectors, served as nodes' first-layer embeddings. However, the filters or convolutions, applied during iterations/layers to these initial embeddings lead to their impact diminish and contribute insignificantly to the final embeddings. In order to address this issue, in this paper we propose augmenting nodes' embeddings by embeddings generating from their content, at higher GNN layers. More precisely, we propose models wherein a structural embedding using a GNN and a content embedding are computed for each node. These two are combined using a combination layer to form the embedding of a node at a given layer. We suggest methods such as using an auto-encoder or building a content graph, to generate content embeddings. In the end, by conducting experiments over several real-world datasets, we demonstrate the high accuracy and performance of our models.


title: Image Transformation for IoT Time-Series Data: A Review

abstract: In the era of the Internet of Things (IoT), where smartphones, built-in systems, wireless sensors, and nearly every smart device connect through local networks or the internet, billions of smart things communicate with each other and generate vast amounts of time-series data. As IoT time-series data is high-dimensional and high-frequency, time-series classification or regression has been a challenging issue in IoT. Recently, deep learning algorithms have demonstrated superior performance results in time-series data classification in many smart and intelligent IoT applications. However, it is hard to explore the hidden dynamic patterns and trends in time-series. Recent studies show that transforming IoT data into images improves the performance of the learning model. In this paper, we present a review of these studies which use image transformation/encoding techniques in IoT domain. We examine the studies according to their encoding techniques, data types, and application areas. Lastly, we emphasize the challenges and future dimensions of image transformation.


title: Insider trading with penalties, entropy and quadratic BSDEs

abstract: Kyle model in continuous time where the insider may be subject to legal penalties is considered. In equilibrium the insider internalises this legal risk by trading less aggressively. The equilibrium is characterised via the solution of a backward stochastic differential equation (BSDE) whose terminal condition is determined as the fixed point of a non-linear operator in equilibrium. The insider's expected penalties in equilibrium is non-monotone in the fee structure and is given by the relative entropy of the law of a particular h-transformation of Brownian motion.


title: Speed limits in traffic emission models using multi-objective optimization

abstract: Climate change compels a reduction of greenhouse gas emissions, yet vehicular traffic still contributes significantly to the emission of air pollutants. Hence, in this paper we focus on the optimization of traffic flow while simultaneously minimizing air pollution using speed limits as controllable parameters. We introduce a framework of traffic emission models to simulate the traffic dynamic as well as the production and spread of air pollutants. We formulate a multi-objective optimization problem for the optimization of multiple aspects of vehicular traffic. The results show that multi-objective optimization can be a valuable tool in traffic emission modeling as it allows to find optimal compromises between ecological and economic objectives.


title: Learn to Augment Network Simulators Towards Digital Network Twins

abstract: Digital network twin (DNT) is a promising paradigm to replicate real-world cellular networks toward continual assessment, proactive management, and what-if analysis. Existing discussions have been focusing on using only deep learning techniques to build DNTs, which raises widespread concerns regarding their generalization, explainability, and transparency. In this paper, we explore an alternative approach to augment network simulators with context-aware neural agents. The main challenge lies in the non-trivial simulation-to-reality (sim-to-real) discrepancy between offline simulators and real-world networks. To solve the challenge, we propose a new learn-to-bridge algorithm to cost-efficiently bridge the sim-to-real discrepancy in two alternative stages. In the first stage, we select states to query performances in real-world networks by using newly-designed cost-aware Bayesian optimization. In the second stage, we train the neural agent to learn the state context and bridge the probabilistic discrepancy based on Bayesian neural networks (BNN). In addition, we build a small-scale end-to-end network testbed based on OpenAirInterface RAN and Core with USRP B210 and a smartphone, and replicate the network in NS-3. The evaluation results show that, our proposed solution substantially outperforms existing methods, with more than 92\% reduction in the sim-to-real discrepancy.


title: Comparing lax functors of $(\infty,2)$-categories

abstract: In this work, we study oplax normalised functors of $(\infty,2)$-categories. Our main theorem is a comparison between the notion of oplax normalised functor of scaled simplicial sets due to Gagna-Harpaz-Lanari and the corresponding notion in the setting of complete Segal objects in $(\infty,1)$-categories studied by Gaitsgory and Rozenblyum. As a corollary, we derive that the Gray tensor product of $(\infty,2)$-categories as defined by Gaitsgory-Rozenblyum is equivalent to that of Gagna-Harpaz-Lanari. Moreover, we construct an $(\infty,2)$-categorical variant of the quintet functor of Ehresmann, from the $(\infty,2)$-category of $(\infty,2)$-categories to the $(\infty,2)$-category of double $(\infty,1)$-categories and show that it is fully faithful. As a key technical ingredient, given $(\mathbb{C},E)$ an $(\infty,2)$-category equipped with a collection of morphisms and a functor of $(\infty,2)$-categories $f:\mathbb{C}\to \mathbb{D}$, we construct a right adjoint to the restriction functor $f^*$ from the $(\infty,2)$-category of functors $\mathbb{D} \to \mathbb{C}\!\operatorname{at}_{(\infty,2)}$ and natural transformations to the $(\infty,2)$-category of functors $\mathbb{C} \to \mathbb{C}\!\operatorname{at}_{(\infty,2)}$ and partially lax (according to $E$) natural transformations. We apply this new technology of partially lax Kan extensions to the study of complete Segal objects in $(\infty,1)$-categories and double $(\infty,1)$-categories which allows us to define the notion of an enhanced Segal object (resp. enhanced double $(\infty,1)$-category), the former yielding yet another model for the theory of $(\infty,2)$-categories.


title: Effects of substrate corrugation during helium adsorption on graphene in the grand canonical ensemble

abstract: Adsorption of 4He on atomically flat substrates such as graphene provides a route towards the engineering of low dimensional quantum phases including superfluids and strongly interacting insulators. In this study, we explore the effects of graphene corrugation on the helium adsorption process via quantum Monte Carlo simulations in the grand canonical ensemble. We utilize an empirical adsorption potential based on the superposition of individual helium-carbon interactions and systematically control corrugation, from a smooth membrane to the fully rough potential, via the implementation of a cutoff in reciprocal space. The results highlight the importance of using a fully corrugated potential to understand the plethora of commensurate and incommensurate phases in the first adsorbed layer. Surprisingly, some residual effects of corrugation are still present before and during the promotion and onset of a second adsorbed layer, where a smooth adsorption can lead to enhanced particle fluctuations in a helium-interaction dominated regime.


title: Characterization of the upper Assouad codimension

abstract: We present a new notion, the upper Aikawa codimension, and establish its equivalence with the upper Assouad codimension in a metric space with a doubling measure. To achieve this result, we first prove variant of a local fractional Hardy inequality.


title: Bubble departure and sliding in high-pressure flow boiling of water

abstract: Bubble growth, departure and sliding in low-pressure flow boiling has received considerable attention in the past. However, most applications of boiling heat transfer rely on high-pressure flow boiling, for which very little is known, as experimental data are scarce and very difficult to obtain. In this work, we conduct an experiment using high-resolution optical techniques. By combining backlit shadowgraphy and phase-detection imaging, we track bubble shape and physical footprint with high spatial (6 $\mu$m) and temporal (33 $\mu$s) resolution, as well as bubble size and position as bubbles nucleate and slide on top of the heated surface. We show that at pressures above 1 MPa, bubbles grow in a heat-diffusion controlled regime and retain a spherical shape throughout the growth and sliding process. We analytically derive non-dimensional numbers to correlate bubble velocity and liquid velocity throughout the turbulent boundary layer and predict the sliding of bubbles on the surface, solely from physical properties and bubble growth rate. We also show that these non-dimensional solutions can be leveraged to formulate elementary criteria that predict the effect of pressure and flow rate on bubble departure diameter and growth time.


title: Learning to Optimise Wind Farms with Graph Transformers

abstract: This work proposes a novel data-driven model capable of providing accurate predictions for the power generation of all wind turbines in wind farms of arbitrary layout, yaw angle configurations and wind conditions. The proposed model functions by encoding a wind farm into a fully-connected graph and processing the graph representation through a graph transformer. The graph transformer surrogate is shown to generalise well and is able to uncover latent structural patterns within the graph representation of wind farms. It is demonstrated how the resulting surrogate model can be used to optimise yaw angle configurations using genetic algorithms, achieving similar levels of accuracy to industrially-standard wind farm simulation tools while only taking a fraction of the computational cost.


title: Towards Natural Language-Guided Drones: GeoText-1652 Benchmark with Spatial Relation Matching

abstract: Navigating drones through natural language commands remains challenging due to the dearth of accessible multi-modal datasets and the stringent precision requirements for aligning visual and textual data. To address this pressing need, we introduce GeoText-1652, a new natural language-guided geo-localization benchmark. This dataset is systematically constructed through an interactive human-computer process leveraging Large Language Model (LLM) driven annotation techniques in conjunction with pre-trained vision models. GeoText-1652 extends the established University-1652 image dataset with spatial-aware text annotations, thereby establishing one-to-one correspondences between image, text, and bounding box elements. We further introduce a new optimization objective to leverage fine-grained spatial associations, called blending spatial matching, for region-level spatial relation matching. Extensive experiments reveal that our approach maintains a competitive recall rate comparing other prevailing cross-modality methods. This underscores the promising potential of our approach in elevating drone control and navigation through the seamless integration of natural language commands in real-world scenarios.


title: An Improved Line-Point Low-Degree Test

abstract: We prove that the most natural low-degree test for polynomials over finite fields is ``robust'' in the high-error regime for linear-sized fields. Specifically we consider the ``local'' agreement of a function $f: \mathbb{F}_q^m \to \mathbb{F}_q$ from the space of degree-$d$ polynomials, i.e., the expected agreement of the function from univariate degree-$d$ polynomials over a randomly chosen line in $\mathbb{F}_q^m$, and prove that if this local agreement is $\epsilon \geq \Omega((\frac{d}{q})^\tau))$ for some fixed $\tau > 0$, then there is a global degree-$d$ polynomial $Q: \mathbb{F}_q^m \to \mathbb{F}_q$ with agreement nearly $\epsilon$ with $f$. This settles a long-standing open question in the area of low-degree testing, yielding an $O(d)$-query robust test in the ``high-error'' regime (i.e., when $\epsilon < \frac{1}{2}$). The previous results in this space either required $\epsilon > \frac{1}{2}$ (Polishchuk \& Spielman, STOC 1994), or $q = \Omega(d^4)$ (Arora \& Sudan, Combinatorica 2003), or needed to measure local distance on $2$-dimensional ``planes'' rather than one-dimensional lines leading to $\Omega(d^2)$-query complexity (Raz \& Safra, STOC 1997). Our analysis follows the spirit of most previous analyses in first analyzing the low-variable case ($m = O(1)$) and then ``bootstrapping'' to general multivariate settings. Our main technical novelty is a new analysis in the bivariate setting that exploits a previously known connection between multivariate factorization and finding (or testing) low-degree polynomials, in a non ``black-box'' manner. A second contribution is a bootstrapping analysis which manages to lift analyses for $m=2$ directly to analyses for general $m$, where previous works needed to work with $m = 3$ or $m = 4$ -- arguably this bootstrapping is significantly simpler than those in prior works.


title: Influence of interlayer exchange coupling on ultrafast laser-induced magnetization reversal in ferromagnetic spin valves

abstract: In this study, we explore the influence of interlayer exchange coupling on magnetization reversal triggered by femtosecond laser pulses in ferromagnetic spin valves. Our experiments, focused on femtosecond laser-induced magnetization reversal, methodically vary the thickness of the copper (Cu) spacer layer. We identify a critical Cu thickness threshold at 2.32 nm. Above this threshold, a stable reversed magnetic domain is consistently generated upon exposure to a single laser pulse. Conversely, with a Cu spacer thinner than 2.32 nm, the observed magnetization reversal from parallel (P) to anti-parallel (AP) states occurs only under continuous laser irradiation. Once the laser is stopped, the magnetic configuration relaxes back to its initial P state, influenced by ferromagnetic exchange coupling. This research enhances our understanding of the mechanisms that drive optically induced ultrafast magnetization reversal in ferromagnetic spin valves.


title: SelfOcc: Self-Supervised Vision-Based 3D Occupancy Prediction

abstract: 3D occupancy prediction is an important task for the robustness of vision-centric autonomous driving, which aims to predict whether each point is occupied in the surrounding 3D space. Existing methods usually require 3D occupancy labels to produce meaningful results. However, it is very laborious to annotate the occupancy status of each voxel. In this paper, we propose SelfOcc to explore a self-supervised way to learn 3D occupancy using only video sequences. We first transform the images into the 3D space (e.g., bird's eye view) to obtain 3D representation of the scene. We directly impose constraints on the 3D representations by treating them as signed distance fields. We can then render 2D images of previous and future frames as self-supervision signals to learn the 3D representations. We propose an MVS-embedded strategy to directly optimize the SDF-induced weights with multiple depth proposals. Our SelfOcc outperforms the previous best method SceneRF by 58.7% using a single frame as input on SemanticKITTI and is the first self-supervised work that produces reasonable 3D occupancy for surround cameras on nuScenes. SelfOcc produces high-quality depth and achieves state-of-the-art results on novel depth synthesis, monocular depth estimation, and surround-view depth estimation on the SemanticKITTI, KITTI-2015, and nuScenes, respectively. Code: https://github.com/huang-yh/SelfOcc.


title: Digital Twin Framework for Optimal and Autonomous Decision-Making in Cyber-Physical Systems: Enhancing Reliability and Adaptability in the Oil and Gas Industry

abstract: The concept of creating a virtual copy of a complete Cyber-Physical System opens up numerous possibilities, including real-time assessments of the physical environment and continuous learning from the system to provide reliable and precise information. This process, known as the twinning process or the development of a digital twin (DT), has been widely adopted across various industries. However, challenges arise when considering the computational demands of implementing AI models, such as those employed in digital twins, in real-time information exchange scenarios. This work proposes a digital twin framework for optimal and autonomous decision-making applied to a gas-lift process in the oil and gas industry, focusing on enhancing the robustness and adaptability of the DT. The framework combines Bayesian inference, Monte Carlo simulations, transfer learning, online learning, and novel strategies to confer cognition to the DT, including model hyperdimensional reduction and cognitive tack. Consequently, creating a framework for efficient, reliable, and trustworthy DT identification was possible. The proposed approach addresses the current gap in the literature regarding integrating various learning techniques and uncertainty management in digital twin strategies. This digital twin framework aims to provide a reliable and efficient system capable of adapting to changing environments and incorporating prediction uncertainty, thus enhancing the overall decision-making process in complex, real-world scenarios. Additionally, this work lays the foundation for further developments in digital twins for process systems engineering, potentially fostering new advancements and applications across various industrial sectors.


title: Quantum-enhanced sensing from non-Hermitian topology

abstract: Non-Hermitian physics predicts open quantum system dynamics with unique topological features such as exceptional points and the non-Hermitian skin effect. We show that this new paradigm of topological systems can serve as probes for bulk Hamiltonian parameters with quantum-enhanced sensitivity reaching Heisenberg scaling. Such enhancement occurs close to a spectral topological phase transition, where the entire spectrum undergoes a delocalization transition. We provide an explanation for this enhanced sensitivity based on the closing of point gap, which is a genuinely non-Hermitian energy gap with no Hermitian counterpart. This establishes a direct connection between energy-gap closing and quantum enhancement in the non-Hermitian realm. Our findings are demonstrated through several paradigmatic non-Hermitian topological models in various dimensions and potential experimental implementations.


title: One-loop Effective Action up to any Mass-dimension for Non-degenerate Scalars and Fermions including Light-Heavy Mixing

abstract: We propose a Heat-Kernel-based method to compute one-loop effective action up to any mass-dimension with arbitrary numbers of non-degenerate scalars and fermions. We demonstrate our prescription by computing the dimension six effective action for arbitrary numbers of non-degenerate scalars, which are consistent with degenerate results presented in prior studies. We have further shown that the effective action for any partially degenerate mass-spectrum can be easily derived from that for the non-degenerate case by employing suitable limits for masses. Our prescription allows us to express the effective action in terms of local operators for the scenarios that involve light-heavy mixing as well, simply by employing an infrared regulator in the non-degenerate action. Along with the formalism, we have also provided the algorithm and outlined the Mathematica program to compute the result up to any mass dimension.


title: Estimating time of arrival of vehicle fleets with GCN based traffic prediction

abstract: This paper presents an effective framework for estimating time of arrival of vehicles (buses) in an Intelligent Transit Management System (ITMS) having sparse position updates. Our contributions towards this is firstly in implementing a constrained optimization based road linestring segmenting framework ensuring ideal segment lengths and segments with sufficient density of vehicle position measurements which will result in valid statistics for scenarios involving sparse position measurements. Over this we propose a comprehensive approach for predicting traffic delays and estimated time of vehicle arrival addressing both the spatial and temporal dependencies of traffic. The traffic delay model is built on top of the T-GCN architecture on which we optimally augment an adjacency matrix which models a complexly connected road network considering the degree of influence between road segments, enabling the traffic delay model to look beyond physical road connectivity in predicting traffic delays and therefore producing better estimates of arrival times to points along the designated route of the vehicles.


title: Thermodynamic Matrix Exponentials and Thermodynamic Parallelism

abstract: Thermodynamic computing exploits fluctuations and dissipation in physical systems to efficiently solve various mathematical problems. For example, it was recently shown that certain linear algebra problems can be solved thermodynamically, leading to an asymptotic speedup scaling with the matrix dimension. The origin of this "thermodynamic advantage" has not yet been fully explained, and it is not clear what other problems might benefit from it. Here we provide a new thermodynamic algorithm for exponentiating a real matrix, with applications in simulating linear dynamical systems. We describe a simple electrical circuit involving coupled oscillators, whose thermal equilibration can implement our algorithm. We also show that this algorithm also provides an asymptotic speedup that is linear in the dimension. Finally, we introduce the concept of thermodynamic parallelism to explain this speedup, stating that thermodynamic noise provides a resource leading to effective parallelization of computations, and we hypothesize this as a mechanism to explain thermodynamic advantage more generally.


title: High-resolution Image-based Malware Classification using Multiple Instance Learning

abstract: This paper proposes a novel method of classifying malware into families using high-resolution greyscale images and multiple instance learning to overcome adversarial binary enlargement. Current methods of visualisation-based malware classification largely rely on lossy transformations of inputs such as resizing to handle the large, variable-sized images. Through empirical analysis and experimentation, it is shown that these approaches cause crucial information loss that can be exploited. The proposed solution divides the images into patches and uses embedding-based multiple instance learning with a convolutional neural network and an attention aggregation function for classification. The implementation is evaluated on the Microsoft Malware Classification dataset and achieves accuracies of up to $96.6\%$ on adversarially enlarged samples compared to the baseline of $22.8\%$. The Python code is available online at https://github.com/timppeters/MIL-Malware-Images .


title: Lecture hall graphs and the Askey scheme

abstract: We establish, for every family of orthogonal polynomials in the $q$-Askey scheme and the Askey scheme, a combinatorial model for mixed moments and coefficients in terms of paths on the lecture hall graph. This generalizes the previous results of Corteel and Kim for the little $q$-Jacobi polynomials. We build these combinatorial models by bootstrapping, beginning with polynomials at the bottom and working towards Askey-Wilson polynomials which sit at the top of the $q$-Askey scheme. As an application of the theory, we provide the first combinatorial proof of the symmetries in the parameters of the Askey-Wilson polynomials.


title: Iterative extraction of overtones from black hole ringdown

abstract: Extraction of multiple quasinormal modes from ringdown gravitational waves emitted from a binary black hole coalescence is a touchstone to test whether a remnant black hole is described by the Kerr spacetime in general relativity. However, it is not straightforward to check the consistency between the ringdown signal and the quasinormal mode frequencies predicted by the linear perturbation theory. While the longest-lived mode can be extracted in a stable manner, the higher overtones damp more quickly and hence the fitting of overtones tends to end up with the overfit. To improve the extraction of overtones, we propose an iterative procedure consisting of fitting and subtraction of the longest-lived mode of the ringdown waveform in the time domain. Through the analyses of the mock waveform and numerical relativity waveform, we clarify that the iterative procedure allows us to extract the overtones in a more stable manner.


title: Pure infinitely braided Thompson groups

abstract: We show that pure subgroups of infinitely braided Thompson's are bi-orderable. For every finitely generated pure subgroup, we give explicit sets of generators.


title: Investigating Weight-Perturbed Deep Neural Networks With Application in Iris Presentation Attack Detection

abstract: Deep neural networks (DNNs) exhibit superior performance in various machine learning tasks, e.g., image classification, speech recognition, biometric recognition, object detection, etc. However, it is essential to analyze their sensitivity to parameter perturbations before deploying them in real-world applications. In this work, we assess the sensitivity of DNNs against perturbations to their weight and bias parameters. The sensitivity analysis involves three DNN architectures (VGG, ResNet, and DenseNet), three types of parameter perturbations (Gaussian noise, weight zeroing, and weight scaling), and two settings (entire network and layer-wise). We perform experiments in the context of iris presentation attack detection and evaluate on two publicly available datasets: LivDet-Iris-2017 and LivDet-Iris-2020. Based on the sensitivity analysis, we propose improved models simply by perturbing parameters of the network without undergoing training. We further combine these perturbed models at the score-level and at the parameter-level to improve the performance over the original model. The ensemble at the parameter-level shows an average improvement of 43.58% on the LivDet-Iris-2017 dataset and 9.25% on the LivDet-Iris-2020 dataset. The source code is available at https://github.com/redwankarimsony/WeightPerturbation-MSU.


title: Power saving for the Brown-Erd\H{o}s-S\'os problem

abstract: Let $f(n, v, e)$ denote the maximum number of edges in a 3-uniform hypergraph on $n$ vertices which does not contain $v$ vertices spanning at least $e$ edges. A central problem in extremal combinatorics, famously posed by Brown, Erd\H{o}s and S\'os in 1973, asks whether $f(n, e+3, e)=o(n^2)$ for every $e \ge 3$. A classical result of S\'ark\"ozy and Selkow states that $f(n, e+\lfloor \log_2 e\rfloor+2, e)=o(n^{2})$ for every $e \ge 3$. This bound was recently improved by Conlon, Gishboliner, Levanzov and Shapira. Motivated by applications to other problems, Gowers and Long made the striking conjecture that $f(n, e+4, e)=O(n^{2-\varepsilon})$ for some $\varepsilon=\varepsilon(e)>0$. Conlon, Gishboliner, Levanzov and Shapira, and later, Shapira and Tyomkyn reiterated the following approximate version of this problem. What is the smallest $d(e)$ for which $f(n, e+d(e), e)=O(n^{2-\varepsilon})$ for some $\varepsilon=\varepsilon(e)>0$? In this paper, we prove that for each $e\geq 3$ we have $f(n, e+\lfloor \log_2 e\rfloor +38, e)=O(n^{2-\varepsilon})$ for some $\varepsilon>0$. This shows that one can already obtain power saving near the S\'ark\"ozy-Selkow bound at the cost of a small additive constant.


title: No-$\pi$ schemes for multi-coupling theories

abstract: We show that even $\zeta$-functions may be removed from the $\beta$-functions of general multi-coupling theories up to high loop order by means of coupling redefinitions. For theories whose $\beta$-function is determined by the anomalous dimensions of the fields, such as supersymmetric theories, this corresponds to a renormalisation scheme change to a momentum subtraction scheme.


abstract: We construct a Wick-type deformation quantization of contact metric manifolds. The construction is fully canonical and involves no arbitrary choice. Unlike the case of symplectic or Poisson manifolds, not every classical observable on a general contact metric manifold can be promoted to a quantum one due to possible obstructions to quantization. We prove, however, that all these obstructions disappear for Sasakian manifolds.


title: Subleading power corrections for event shape variables in $e^+ e^-$ annihilation

abstract: We consider subleading power corrections to event shape variables in $e^+e^-$ collisions at the first order in the QCD coupling $\alpha_s$. We start from the jettiness variable $\tau_2$ and the $y_{23}$ resolution variable for the $k_T$ jet clustering algorithm and we analytically compute the corresponding cumulative cross section. We investigate the origin of the different power suppressed contributions in the two-jet limit and trace it back to their different coverage of the phase space. We extend our analysis to the case of thrust and of the $C$-parameter, and we finally discuss a class of observables that depend on a continuous parameter giving different weight to central and forward emissions and we evaluate the corresponding subleading power corrections.


title: Roles of Hund's Rule and Hybridization in the Two-orbital Model for High-$T_c$ Superconductivity in the Bilayer Nickelate

abstract: The intriguing interplay between the two $e_g$ orbitals in the high-$T_c$ nickelate superconductor La$_3$Ni$_2$O$_7$ is studied via the density matrix renormalization group (DMRG) and finite-$T$ thermal tensor-network calculations. We consider a bilayer $t$-$J$ model that incorporates both $d_{x^2-y^2}$ and $d_{z^2}$ orbitals, as well as inter-orbital hybridization and ferromagnetic Hund's rule coupling. Our DMRG calculations reveal that both orbitals exhibit algebraic superconductive (SC) pairing correlations in the ground state, with the former being stronger than the latter. To confirm the dominant $d_{x^2-y^2}$-orbital SC order, we compute the pairing susceptibility $\chi_{\rm SC}$, and find a power-law divergence of $\chi_{\rm SC}$ below $T_c^* \simeq 0.03 t_c$, with $t_c$ being the intralayer hopping of the $d_{x^2-y^2}$ orbital. Regarding the $d_{z^2}$ orbitals, their finite-$T$ $\chi_{\rm SC}$ results show weaker divergence and suggest lower $T_c^*$. We delve deeper into the intricate interplay between Hund's rule coupling and inter-orbital hybridization by tuning the two parameters, and reveal two distinct SC phases dominated by Hund's rule and hybridization, respectively, separated by a non-SC regime. Our results treat the two $e_g$ orbitals in a bilayer model on an equal footing, and clarify the essential roles of Hund's rule and hybridization in the formation of SC order in the pressurized nickelate La$_3$Ni$_2$O$_7$.


title: Swift Parameter-free Attention Network for Efficient Super-Resolution

abstract: Single Image Super-Resolution (SISR) is a crucial task in low-level computer vision, aiming to reconstruct high-resolution images from low-resolution counterparts. Conventional attention mechanisms have significantly improved SISR performance but often result in complex network structures and large number of parameters, leading to slow inference speed and large model size. To address this issue, we propose the Swift Parameter-free Attention Network (SPAN), a highly efficient SISR model that balances parameter count, inference speed, and image quality. SPAN employs a novel parameter-free attention mechanism, which leverages symmetric activation functions and residual connections to enhance high-contribution information and suppress redundant information. Our theoretical analysis demonstrates the effectiveness of this design in achieving the attention mechanism's purpose. We evaluate SPAN on multiple benchmarks, showing that it outperforms existing efficient super-resolution models in terms of both image quality and inference speed, achieving a significant quality-speed trade-off. This makes SPAN highly suitable for real-world applications, particularly in resource-constrained scenarios. Notably, we won the first place both in the overall performance track and runtime track of the NTIRE 2024 efficient super-resolution challenge. Our code and models are made publicly available at https://github.com/hongyuanyu/SPAN.


title: Mod2VQLS: a Variational Quantum Algorithm for Solving Systems of Linear Equations Modulo 2

abstract: This paper presents a system for solving binary-valued linear equations using quantum computers. The system is called Mod2VQLS, which stands for Modulo2 Variational Quantum Linear Solver. As far as we know, this is the first such proposal. The design is a classical-quantum hybrid. The quantum components are a new circuit design for implementing matrix multiplication modulo 2, and a variational circuit to be optimized. The classical components are the optimizer which measures the cost function and updates the quantum parameters for each iteration, and the controller that runs the quantum job and classical optimizer iterations. We propose two alternative ansatze or templates for the variational circuit, and present results showing that the rotation ansatz designed specifically for this problem provides the most direct path to a valid solution. Numerical experiments in low dimensions indicate that Mod2VQLS, using the custom rotations ansatz, is on-a-par with the block Wiedemann algorithm, the best-known to date for this problem.


title: The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation

abstract: Numerous quantum algorithms require the use of quantum error correction to overcome the intrinsic unreliability of physical qubits. However, error correction imposes a unique performance bottleneck, known as T-complexity, that can make an implementation of an algorithm as a quantum program run more slowly than on idealized hardware. In this work, we identify that programming abstractions for control flow, such as the quantum if-statement, can introduce polynomial increases in the T-complexity of a program. If not mitigated, this slowdown can diminish the computational advantage of a quantum algorithm. To enable reasoning about the costs of control flow, we present a cost model that a developer can use to accurately analyze the T-complexity of a program and pinpoint the sources of slowdown. We also present a set of program-level optimizations, that a developer can use to rewrite a program to reduce its T-complexity, predict the T-complexity of the optimized program using the cost model, and then compile it to an efficient circuit via a straightforward strategy. We implement the program-level optimizations in Spire, an extension of the Tower quantum compiler. Using a set of 11 benchmark programs that use control flow, we show that the cost model is accurate, and that Spire's optimizations recover programs that are asymptotically efficient, meaning their runtime T-complexity under error correction is equal to their time complexity on idealized hardware. Our results show that optimizing a program before it is compiled to a circuit can yield better results than compiling the program to an inefficient circuit and then invoking a quantum circuit optimizer found in prior work. For our benchmarks, only 2 of 8 tested circuit optimizers recover circuits with asymptotically efficient T-complexity. Compared to these 2 optimizers, Spire uses 54x to 2400x less compile time.


title: Iris Presentation Attack: Assessing the Impact of Combining Vanadium Dioxide Films with Artificial Eyes

abstract: Iris recognition systems, operating in the near infrared spectrum (NIR), have demonstrated vulnerability to presentation attacks, where an adversary uses artifacts such as cosmetic contact lenses, artificial eyes or printed iris images in order to circumvent the system. At the same time, a number of effective presentation attack detection (PAD) methods have been developed. These methods have demonstrated success in detecting artificial eyes (e.g., fake Van Dyke eyes) as presentation attacks. In this work, we seek to alter the optical characteristics of artificial eyes by affixing Vanadium Dioxide (VO2) films on their surface in various spatial configurations. VO2 films can be used to selectively transmit NIR light and can, therefore, be used to regulate the amount of NIR light from the object that is captured by the iris sensor. We study the impact of such images produced by the sensor on two state-of-the-art iris PA detection methods. We observe that the addition of VO2 films on the surface of artificial eyes can cause the PA detection methods to misclassify them as bonafide eyes in some cases. This represents a vulnerability that must be systematically analyzed and effectively addressed.


title: Categories of quiver representations and relative cotorsion pairs

abstract: We study the category $\operatorname{Rep}(Q,\mathcal{C})$ of representations of a quiver $Q$ with values in an abelian category $\mathcal{C}$. For this purpose we introduce the mesh and the cone-shape cardinal numbers associated to the quiver $Q$ and we use them to impose conditions on $\mathcal{C}$ that allow us to prove interesting homological properties of $\operatorname{Rep} (Q,\mathcal{C})$ that can be constructed from $\mathcal{C}.$ For example, we compute the global dimension of $\operatorname{Rep} (Q,\mathcal{C})$ in terms of the global one of $\mathcal{C}.$ We also review a result of H. Holm and P. J{\o}rgensen which states that (under certain conditions on $\mathcal{C}$) every hereditary complete cotorsion pair $(\mathcal{A},\mathcal{B})$ in $\mathcal{C}$ induces the hereditary complete cotorsion pairs $(\operatorname{Rep}(Q,\mathcal{A}),\operatorname{Rep}(Q,\mathcal{A})^{\bot_{1}})$ and $(^{\bot_{1}}\Psi(\mathcal{B}),\Psi(\mathcal{B}))$ in $\operatorname{Rep}(Q,\mathcal{C})$, and then we obtain a strengthened version of this and others related results. Finally, we will apply the above developed theory to study the following full abelian subcategories of $\operatorname{Rep}(Q,\mathcal{C}),$ finite-support, finite-bottom-support and finite-top-support representations. We show that the above mentioned cotorsion pairs in $\operatorname{Rep}(Q,\mathcal{C})$ can be restricted nicely on the aforementioned subcategories and under mild conditions we also get hereditary complete cotorsion pairs.


title: SuGaR: Surface-Aligned Gaussian Splatting for Efficient 3D Mesh Reconstruction and High-Quality Mesh Rendering

abstract: We propose a method to allow precise and extremely fast mesh extraction from 3D Gaussian Splatting. Gaussian Splatting has recently become very popular as it yields realistic rendering while being significantly faster to train than NeRFs. It is however challenging to extract a mesh from the millions of tiny 3D gaussians as these gaussians tend to be unorganized after optimization and no method has been proposed so far. Our first key contribution is a regularization term that encourages the gaussians to align well with the surface of the scene. We then introduce a method that exploits this alignment to extract a mesh from the Gaussians using Poisson reconstruction, which is fast, scalable, and preserves details, in contrast to the Marching Cubes algorithm usually applied to extract meshes from Neural SDFs. Finally, we introduce an optional refinement strategy that binds gaussians to the surface of the mesh, and jointly optimizes these Gaussians and the mesh through Gaussian splatting rendering. This enables easy editing, sculpting, rigging, animating, compositing and relighting of the Gaussians using traditional softwares by manipulating the mesh instead of the gaussians themselves. Retrieving such an editable mesh for realistic rendering is done within minutes with our method, compared to hours with the state-of-the-art methods on neural SDFs, while providing a better rendering quality. Our project page is the following: https://anttwo.github.io/sugar/


title: Polarization-driven band topology evolution in twisted MoTe$_2$ and WSe$_2$

abstract: Motivated by recent experimental observations of opposite Chern numbers in $R$-type twisted MoTe$_2$ and WSe$_2$ homobilayers, we perform large-scale density-functional-theory (DFT) calculations with machine learning force fields to investigate moir\'e band topology from large to small twist angles in both materials. We find that the Chern numbers of the moir\'e frontier bands change sign as a function of twist angle, and this change is driven by the competition between moir\'{e} ferroelectricity and piezoelectricity. Our large-scale calculations, enabled by machine learning methods, reveal crucial insights into interactions across different scales in twisted bilayer systems. The interplay between atomic-level relaxation effects and moir\'e-scale electrostatic potential variation opens new avenues for the design of intertwined topological and correlated states, including the possibility of mimicking higher Landau-level physics in the absence of a magnetic field.


title: One consistency relation for all single-field inflationary models

abstract: In this paper, we present a non-Gaussianity consistency relation that enables the calculation of the squeezed limit bispectrum of the curvature perturbation in single-field inflationary models by carefully inspecting the background evolution and the linear perturbation theory. The consistency relation is more general than others in the literature since it does not require any specific symmetry, conservation of the curvature perturbation at large scales, attractor background evolution or canonical kinetic energy of the inflaton field. We demonstrate that all known examples of the squeezed limit bispectrum in single-field models of inflation can be reproduced within this framework.


title: Calibration System and Algorithm Design for a Soft Hinged Micro Scanning Mirror with a Triaxial Hall Effect Sensor

abstract: Micro scanning mirrors (MSM) extend the range and field of view of LiDARs, medical imaging devices, and laser projectors. However, a new class of soft-hinged MSMs contains out-of-plane translation in addition to the 2 degree-of-freedom rotations, which presents a cabliration challenge. We report a new calibration system and algorithm design to address the challenge. In the calibration system, a new low-cost calibration rig design employs a minimal 2-laser beam approach. The new new algorithm builds on the reflection principle and an optimization approach to precisely measure MSM poses. To establish the mapping between Hall sensor readings and MSM poses, we propose a self-synchronizing periodicity-based model fitting calibration approach. We achieve an MSM poses estimation accuracy of 0.020{\deg} with a standard deviation of 0.011{\deg}.


title: Finding Adversarial Inputs for Heuristics using Multi-level Optimization

abstract: Production systems use heuristics because they are faster or scale better than their optimal counterparts. Yet, practitioners are often unaware of the performance gap between a heuristic and the optimum or between two heuristics in realistic scenarios. We present MetaOpt, a system that helps analyze heuristics. Users specify the heuristic and the optimal (or another heuristic) as input, and MetaOpt automatically encodes these efficiently for a solver to find performance gaps and their corresponding adversarial inputs. Its suite of built-in optimizations helps it scale its analysis to practical problem sizes. To show it is versatile, we used MetaOpt to analyze heuristics from three domains (traffic engineering, vector bin packing, and packet scheduling). We found a production traffic engineering heuristic can require 30% more capacity than the optimal to satisfy realistic demands. Based on the patterns in the adversarial inputs MetaOpt produced, we modified the heuristic to reduce its performance gap by 12.5$\times$. We examined adversarial inputs to a vector bin packing heuristic and proved a new lower bound on its performance.


title: Exact cube-root fluctuations in an area-constrained random walk model

abstract: This article is devoted to the study of the behaviour of a (1+1)-dimensional model of random walk conditioned to enclose an area of order $N^2$. Such a conditioning enforces a globally concave trajectory. We study the local deviations of the walk from its convex hull. To this end, we introduce two quantities -- the mean facet length $\mathsf{MeanFL}$ and the mean local roughness $\mathsf{MeanLR}$ -- measuring the typical longitudinal and transversal fluctuations around the boundary of the convex hull of the random walk. Our main result is that $\mathsf{MeanFL}$ is of order $N^{2/3}$ and $\mathsf{MeanLR}$ is of order $N^{1/3}$. Moreover, following the strategy of Hammond (Ann. Prob., 2012), we identify the polylogarithmic corrections in the scaling of the maximal facet length and of the maximal local roughness, showing that the former one scales as $N^{2/3}(\log N)^{1/3}$, while the latter scales as $N^{1/3}(\log N)^{2/3}$. The object of study is intended to be a toy model for the interface of a two-dimensional statistical mechanics model (such as the Ising model) in the phase separation regime -- we discuss this issue at the end of this work.


title: Quantifying Impairment and Disease Severity Using AI Models Trained on Healthy Subjects

abstract: Automatic assessment of impairment and disease severity is a key challenge in data-driven medicine. We propose a novel framework to address this challenge, which leverages AI models trained exclusively on healthy individuals. The COnfidence-Based chaRacterization of Anomalies (COBRA) score exploits the decrease in confidence of these models when presented with impaired or diseased patients to quantify their deviation from the healthy population. We applied the COBRA score to address a key limitation of current clinical evaluation of upper-body impairment in stroke patients. The gold-standard Fugl-Meyer Assessment (FMA) requires in-person administration by a trained assessor for 30-45 minutes, which restricts monitoring frequency and precludes physicians from adapting rehabilitation protocols to the progress of each patient. The COBRA score, computed automatically in under one minute, is shown to be strongly correlated with the FMA on an independent test cohort for two different data modalities: wearable sensors ($\rho = 0.845$, 95% CI [0.743,0.908]) and video ($\rho = 0.746$, 95% C.I [0.594, 0.847]). To demonstrate the generalizability of the approach to other conditions, the COBRA score was also applied to quantify severity of knee osteoarthritis from magnetic-resonance imaging scans, again achieving significant correlation with an independent clinical assessment ($\rho = 0.644$, 95% C.I [0.585,0.696]).


title: Quantum Imaging Beyond the Standard-Quantum Limit and Phase Distillation

abstract: Quantum sensing using non-linear interferometers offers the possibility of bicolour imaging, using light that never interacted with the object of interest, and provides a way to achieve phase supersensitivity, i.e. a Heisenberg-type scaling of the phase uncertainty. Such a scaling behaviour is extremely susceptible to noise and only arises at specific phases that define the optimal working point of the device. While phase-shifting algorithms are to some degree robust against the deleterious effects induced by noise they extract an image by tuning the interferometer phase over a broad range, implying an operation beyond the working point. In our theoretical study, we investigate both the spontaneous and the high-gain regime of operation of a non-linear interferometer. In fact, in the spontaneous regime using a distillation technique and operating at the working point leads to a qualitatively similar behaviour. In the high-gain regime, however, typical distillation techniques inherently forbid a scaling better than the standard-quantum limit, as a consequence of the photon statistics of squeezed vacuum. In contrast, an operation at the working point still may lead to a sensitivity below shot noise, even in the presence of noise. Therefore, this procedure opens the perspective of bicolour imaging with a better than shot-noise phase uncertainty by working in the vicinity of the working point. Our results transfer quantum imaging distillation in a noisy environment to the high-gain regime with the ultimate goal of harnessing its full potential by combining bicolour imaging and phase supersensitivity.


title: Suppression of thermal smearing in a feedback-driven atomic size Josephson junction

abstract: The ultimate spatial limit to establish a Josephson coupling between two superconducting electrodes is an atomic-scale vacuum tunneling junction. The Josephson effect in such ultrasmall junctions has been widely used to study superconducting materials, providing a powerful probe of the spatial variations of the superfluid density. Furthermore, studies of the supercurrent and charging effects unveiled new, frequency dependent, switching dynamics and thermal processes emerging due to the small size of the junctions. However, the Cooper pair current magnitude was considerably reduced by thermal fluctuations. Here we show that a feedback element induces a time-dependent bistable regime which periodically restores the zero voltage state. We find that the time-averaged current within the bistable regime is independent of thermal smearing, opening new avenues to study superconducting phenomena at the nanoscale.