title: Interplay of quantum confinement and strain effects in type I to type II transition in Ge/Si core-shell nanocrystals

abstract: The electronic properties of hydrogenated, spherical, Si/Ge and Ge/Si core-shell nanocrystals with a diameter ranging from 1.8 to 4.0 nm are studied within Density Functional Theory. Effects induced by quantum confinement and strain on the near-band-edge states localization, as well as the band-offset properties between Si and Ge regions, are investigated in detail. On the one hand, we prove that Si(core)/Ge(shell) nanocrystals always show a type II band-offset alignment, with the HOMO mainly localized on the Ge shell region and the LUMO mainly localized on the Si core region. On the other hand, our results point out that a type II offset cannot be observed in small (diameter less than 3 nm) Ge(core)/Si(shell) nanocrystals. In these systems, quantum confinement and strain drive the near-band-edge states to be mainly localized on Ge atoms inducing a type I alignment. In larger Ge(core)/Si(shell) nanocrystals, instead, the formation of a type II offset can be engineered by playing with both core and shell thickness. The conditions that favor the transition from a type I to a type II alignment for Ge(core)/Si(shell) nanocrystals are discussed in detail.


title: Theory uncertainties in the fiducial Drell-Yan cross section and distributions

abstract: In these proceedings we study various sources of theoretical uncertainty in the Drell-Yan $p_T^{{\ell\ell}}$ spectrum focussing on the $p_T^{{\ell\ell}} \lesssim 100\, {\rm GeV}$ region. We consider several perturbative aspects related to the choice of the scale setting adopted in resummed calculations, and we assess their impact on the theoretical prediction both for the differential $p_T^{{\ell\ell}}$ spectrum and for the $\rm{N}^3\rm{LO}$ fiducial cross section. For both quantities, we find the results obtained with the different setups to be compatible with each other within the quoted uncertainty, highlighting the robustness of the theoretical prediction. In all cases, the experimental LHC data for the $p_T^{{\ell\ell}}$ spectrum is well described by our calculation.


title: High Energy Physics activities in Africa: An overview

abstract: This document summarizes our best knowledge of the ongoing High Energy Physics activities in Africa. The information was primarily extracted from the first ASFAP Particle Physics day organised on November 2021 and on our working group talk presented at ACP 2021 conference on March 2022.


title: An Ontological Approach to Analysing Social Service Provisioning

abstract: This paper introduces ontological concepts required to evaluate and manage the coverage of social services in a Smart City context. Here, we focus on the perspective of key stakeholders, namely social purpose organizations and the clients they serve. The Compass ontology presented here extends the Common Impact Data Standard by introducing new concepts related to key dimensions: the who (Stakeholder), the what (Need, Need Satisfier, Outcome), the how (Service, Event), and the contributions (tracking resources). The paper first introduces key stakeholders, services, outcomes, events, needs and need satisfiers, along with their definitions. Second, a subset of competency questions are presented to illustrate the types of questions key stakeholders have posed. Third, the extension's ability to answer questions is evaluated by presenting SPARQL queries executed on a Compass-based knowledge graph and analysing their results.


title: Answer Fast: Accelerating BERT on the Tensor Streaming Processor

abstract: Transformers have become a predominant machine learning workload, they are not only the de-facto standard for natural language processing tasks, but they are also being deployed in other domains such as vision and speech recognition. Many of the transformer-based applications are real-time systems such as machine translation and web search. These real time systems often come with strict end-to-end inference latency requirements. Unfortunately, while the majority of the transformer computation comes from matrix multiplications, transformers also include several non-linear components that tend to become the bottleneck during an inference. In this work, we accelerate the inference of BERT models on the tensor streaming processor. By carefully fusing all the nonlinear components with the matrix multiplication components, we are able to efficiently utilize the on-chip matrix multiplication units resulting in a deterministic tail latency of 130 $\mu$s for a batch-1 inference through BERT-base, which is 6X faster than the current state-of-the-art.


title: Accurate finite-difference micromagnetics of magnets including RKKY interaction -- analytical solution and comparison to standard micromagnetic codes

abstract: Within this paper we show the importance of accurate implementations of the RKKY interactions for antiferromagnetically coupled ferromagnetic layers with thicknesses exceeding the exchange length. In order to evaluate the performance of different implementations of RKKY interaction, we develop a benchmark problem by deriving the analytical formula for the saturation field of two infinitely thick magnetic layers that are antiparallelly coupled. This benchmark problem shows that state-of-the-art implementations in commonly used finite-difference codes lead to errors of the saturation field that amount to more than 20% for mesh sizes of 2 nm which is well below the exchange length of the material. In order to improve the accuracy, we develop higher order cell based and nodal based finite-difference codes that significantly reduce the error compared to state-of-the-art implementations. For the second order cell based and first order nodal based finite element approach the error of the saturation field is reduced by about a factor of 10 (2% error) for the same mesh size of 2 nm.


title: An Embedded Feature Selection Framework for Control

abstract: Reducing sensor requirements while keeping optimal control performance is crucial to many industrial control applications to achieve robust, low-cost, and computation-efficient controllers. However, existing feature selection solutions for the typical machine learning domain can hardly be applied in the domain of control with changing dynamics. In this paper, a novel framework, namely the Dual-world embedded Attentive Feature Selection (D-AFS), can efficiently select the most relevant sensors for the system under dynamic control. Rather than the one world used in most Deep Reinforcement Learning (DRL) algorithms, D-AFS has both the real world and its virtual peer with twisted features. By analyzing the DRL's response in two worlds, D-AFS can quantitatively identify respective features' importance towards control. A well-known active flow control problem, cylinder drag reduction, is used for evaluation. Results show that D-AFS successfully finds an optimized five-probes layout with 18.7\% drag reduction than the state-of-the-art solution with 151 probes and 49.2\% reduction than five-probes layout by human experts. We also apply this solution to four OpenAI classical control cases. In all cases, D-AFS achieves the same or better sensor configurations than originally provided solutions. Results highlight, we argued, a new way to achieve efficient and optimal sensor designs for experimental or industrial systems. Our source codes are made publicly available at https://github.com/G-AILab/DAFSFluid.


title: Estimation of Electric Vehicle Public Charging Demand using Cellphone Data and Points of Interest-based Segmentation

abstract: The race for road electrification has started, and convincing drivers to switch from fuel-powered vehicles to electric vehicles requires robust Electric Vehicle (EV) charging infrastructure. This article proposes an innovative EV charging demand estimation and segmentation method. First, we estimate the charging demand at a neighborhood granularity using cellular signaling data. Second, we propose a segmentation model to partition the total charging needs among different charging technology: normal, semi-rapid, and fast charging. The segmentation model, an approach based on the city's points of interest, is a state-of-the-art method that derives useful trends applicable to city planning. A case study for the city of Brussels is proposed.


title: Radio2Speech: High Quality Speech Recovery from Radio Frequency Signals

abstract: Considering the microphone is easily affected by noise and soundproof materials, the radio frequency (RF) signal is a promising candidate to recover audio as it is immune to noise and can traverse many soundproof objects. In this paper, we introduce Radio2Speech, a system that uses RF signals to recover high quality speech from the loudspeaker. Radio2Speech can recover speech comparable to the quality of the microphone, advancing from recovering only single tone music or incomprehensible speech in existing approaches. We use Radio UNet to accurately recover speech in time-frequency domain from RF signals with limited frequency band. Also, we incorporate the neural vocoder to synthesize the speech waveform from the estimated time-frequency representation without using the contaminated phase. Quantitative and qualitative evaluations show that in quiet, noisy and soundproof scenarios, Radio2Speech achieves state-of-the-art performance and is on par with the microphone that works in quiet scenarios.


title: Magnetic topological transistor exploiting layer-selective transport

abstract: We propose a magnetic topological transistor based on MnBi$_{2}$Te$_{4}$, in which the "on" state (quantized conductance) and the "off" state (zero conductance) can be easily switched by changing the relative direction of two adjacent electric fields (parallel vs. antiparallel) applied within a two-terminal junction. We explain that the proposed magnetic topological transistor relies on a novel mechanism due to the interplay of topology, magnetism, and layer degrees of freedom in MnBi$_{2}$Te$_{4}$. Its performance depends substantially on film thickness and type of magnetic order. We show that "on" and "off" states of the transistor are robust against disorder due to the topological nature of the surface states. Our work opens an avenue for applications of layer-selective transport based on the topological van der Waals antiferromagnet MnBi$_{2}$Te$_{4}$.


title: AI Challenges for Society and Ethics

abstract: Artificial intelligence is already being applied in and impacting many important sectors in society, including healthcare, finance, and policing. These applications will increase as AI capabilities continue to progress, which has the potential to be highly beneficial for society, or to cause serious harm. The role of AI governance is ultimately to take practical steps to mitigate this risk of harm while enabling the benefits of innovation in AI. This requires answering challenging empirical questions about current and potential risks and benefits of AI: assessing impacts that are often widely distributed and indirect, and making predictions about a highly uncertain future. It also requires thinking through the normative question of what beneficial use of AI in society looks like, which is equally challenging. Though different groups may agree on high-level principles that uses of AI should respect (e.g., privacy, fairness, and autonomy), challenges arise when putting these principles into practice. For example, it is straightforward to say that AI systems must protect individual privacy, but there is presumably some amount or type of privacy that most people would be willing to give up to develop life-saving medical treatments. Despite these challenges, research can and has made progress on these questions. The aim of this chapter will be to give readers an understanding of this progress, and of the challenges that remain.


title: Exploratory scenarios for the differential nuclear and tidal evolution of TZ Fornacis

abstract: TZ Fornacis is a double-lined eclipsing binary system with similar masses (2.057$\pm$0.001 and 1.958$\pm$0.001 $M_{\odot}$) but characterized by very different radii (8.28$\pm$0.22 and 3.94$\pm$0.17 $R_{\odot}$). This similarity in terms of mass makes it possible to study the system's differential stellar evolution as well as some aspects of its tidal evolution. With regard to its orbital elements, it was recently confirmed that its orbit is circular with an orbital period of 75.7 days. The less massive component rotates about 17 times faster than the primary one, which is synchronized with the mean orbital angular velocity. Our main objective in this work is to study both the nuclear and the tidal evolution of the system. We explored two scenarios regarding the initial eccentricities: a high one (0.30) and a case of an initial circular orbit. A good agreement has been found between the observational values of the eccentricity, synchronism levels, and orbital period with the values predicted by the integration of the tidal evolution equations. The influence of the friction timescale on the evolution of the orbital elements of TZ For is also studied here. The orbital elements most affected by the uncertainties in the friction timescale are the synchronism levels of the two components. On the other hand, we used the properties of the rotating models generated by the GRANADA code as the initial angular velocities instead of using trial values. In this case, comparisons between the theoretical values of the orbital elements and their observed counterparts also lead to a good interagreement.


title: Non-LTE abundance corrections for late-type stars from 2000{\AA} to 3{\mu}m: I. Na, Mg, and Al

abstract: It is well known that cool star atmospheres depart from local thermodynamic equilibrium (LTE). Accurate abundance determination requires taking those effects into account, but the necessary non-LTE calculations are often lacking. Our goal is to provide detailed estimates of NLTE effects for FGK type stars for all spectral lines from the ultraviolet to the infrared that are potentially useful as abundance diagnostics. The first paper in this series focusses on the light elements Na, Mg and Al. The code PySME is used to compute curves-of-growth for 2158 MARCS model atmospheres in a wide parameter range. Nine abundance points are used to construct individual line curves-of-growth by calculating the equivalent widths of 35 Na lines, 134 Mg lines, and 34 Al lines. The lines are selected from the ultra-violet to the near infrared wavelength range. We demonstrate the power of the new grids with LTE and NLTE abundance analysis by means of equivalent width measurements of five benchmark stars; the Sun, Arcturus, HD84937, HD140283 and HD122563. For Na, the NLTE abundances are lower than in LTE and show markedly reduced line-to-line scatter in the metal-poor stars. For Mg, we confirm previous reports of a significant 0.25 dex LTE ionization imbalance in metal-poor stars that is only slightly improved in NLTE (0.18 dex). LTE abundances based on Mg II lines agree better with models of Galactic chemical evolution. For Al, NLTE calculations strongly reduce a 0.6 dex ionization imbalance seen in LTE for the metal-poor stars. The abundance corrections presented in this work are in good agreement with previous studies for the subset of lines that overlap, except for strongly saturated lines.


title: Vertical evolution of exocometary gas: I. How vertical diffusion shortens the CO lifetime

abstract: Bright debris discs can contain large amounts of CO gas. This gas was thought to be a protoplanetary remnant until it was recently shown that it could be released in collisions of volatile-rich solids. As CO is released, interstellar UV radiation photodissociates CO producing CI, which can shield CO allowing a large CO mass to accumulate. However, this picture was challenged because CI is inefficient at shielding if CO and CI are vertically mixed. Here, we study for the first time the vertical evolution of gas to determine how vertical mixing affects the efficiency of shielding by CI. We present a 1D model that accounts for gas release, photodissociation, ionisation, viscous evolution, and vertical mixing due to turbulent diffusion. We find that if the gas surface density is high and the vertical diffusion weak ($\alpha_{\rm v}/\alpha<[H/r]^2$) CO photodissociates high above the midplane, forming an optically thick CI layer that shields the CO underneath. Conversely, if diffusion is strong ($\alpha_{\rm v}/\alpha>[H/r]^2$) CI and CO become well mixed, shortening the CO lifetime. Moreover, diffusion could also limit the amount of dust settling. High-resolution ALMA observations could resolve the vertical distribution of CO and CI, and thus constrain vertical mixing and the efficiency of CI shielding. We also find that the CO and CI scale heights may not be good probes of the mean molecular weight, and thus composition, of the gas. Finally, we show that if mixing is strong the CO lifetime might not be long enough for CO to spread interior to the planetesimal belt where gas is produced.


title: AlphaMLDigger: A Novel Machine Learning Solution to Explore Excess Return on Investment

abstract: How to quickly and automatically mine effective information and serve investment decisions has attracted more and more attention from academia and industry. And new challenges have arisen with the global pandemic. This paper proposes a two-phase AlphaMLDigger that effectively finds excessive returns in a highly fluctuated market. In phase 1, a deep sequential natural language processing (NLP) model is proposed to transfer Sina Microblog blogs to market sentiment. In phase 2, the predicted market sentiment is combined with social network indicator features and stock market history features to predict the stock movements with different Machine Learning models and optimizers. The results show that the ensemble models achieve an accuracy of 0.984 and significantly outperform the baseline model. In addition, we find that COVID-19 brings data shift to China's stock market.


title: A Unified and Biologically-Plausible Relational Graph Representation of Vision Transformers

abstract: Vision transformer (ViT) and its variants have achieved remarkable successes in various visual tasks. The key characteristic of these ViT models is to adopt different aggregation strategies of spatial patch information within the artificial neural networks (ANNs). However, there is still a key lack of unified representation of different ViT architectures for systematic understanding and assessment of model representation performance. Moreover, how those well-performing ViT ANNs are similar to real biological neural networks (BNNs) is largely unexplored. To answer these fundamental questions, we, for the first time, propose a unified and biologically-plausible relational graph representation of ViT models. Specifically, the proposed relational graph representation consists of two key sub-graphs: aggregation graph and affine graph. The former one considers ViT tokens as nodes and describes their spatial interaction, while the latter one regards network channels as nodes and reflects the information communication between channels. Using this unified relational graph representation, we found that: a) a sweet spot of the aggregation graph leads to ViTs with significantly improved predictive performance; b) the graph measures of clustering coefficient and average path length are two effective indicators of model prediction performance, especially when applying on the datasets with small samples; c) our findings are consistent across various ViT architectures and multiple datasets; d) the proposed relational graph representation of ViT has high similarity with real BNNs derived from brain science data. Overall, our work provides a novel unified and biologically-plausible paradigm for more interpretable and effective representation of ViT ANNs.


title: Blockchain Function Virtualization: A New Approach for Mobile Networks Beyond 5G

abstract: Many of the key enabling technologies of the fifth-generation (5G), such as network slicing, spectrum sharing, and federated learning, rely on a centralized authority. This may lead to pitfalls in terms of security or single point of failure. Distributed ledger technology, specifically blockchain, is currently employed by different applications related to the Internet of Things (IoT) and 5G to address the drawbacks of centralized systems. For this reason, mobile blockchain networks (MBNs) have recently attracted a great deal of attention. To add a transaction to the blockchain in MBNs, mobile or IoT users must perform various tasks like encryption, decryption, and mining. These tasks require energy and processing power, which impose limitations on mobile and IoT users' performance because they are usually battery powered and have a low processing power. One possible solution is to perform the tasks virtually on commodity servers provided by mobile edge computing (MEC) or cloud computing. To do so, all tasks needed to add a transaction to the blockchain can be treated as virtual blockchain functions that can be executed on commodity servers. We introduce a blockchain virtualization framework called blockchain function virtualization (BFV), through which all blockchain functions can be performed virtually by MEC or cloud computing. Furthermore, we describe applications of the BFV framework and resource allocation challenges brought by the BFV framework in mobile networks. In addition, to illustrate the advantages of BFV, we define an optimization problem to simultaneously minimize the energy consumption cost and maximize miners' rewards. Finally, simulation results show the performance of the proposed framework in terms of total energy consumption, transaction confirmation rate, and miners' average profit.


title: Efficient Coherent XUV Generation and Manipulation in Microfluidic Glass Devices

abstract: The development of compact and bright XUV and soft X-ray sources based on high-order harmonic generation is boosting advances towards understanding the behavior of matter with extreme temporal and spatial resolutions. Here, we report efficient XUV generation inside microfluidic devices fabricated by femtosecond laser irradiation followed by chemical etching. Our microfluidic approach allows one to control and manipulate the generation conditions in gas on a micro-meter scale with unprecedented flexibility, thus enabling a high photon-flux and broadband harmonics spectra up to 200 eV.


title: A Survey of the Potential Long-term Impacts of AI

abstract: It is increasingly recognised that advances in artificial intelligence could have large and long-lasting impacts on society. However, what form those impacts will take, just how large and long-lasting they will be, and whether they will ultimately be positive or negative for humanity, is far from clear. Based on surveying literature on the societal impacts of AI, we identify and discuss five potential long-term impacts of AI: how AI could lead to long-term changes in science, cooperation, power, epistemics, and values. We review the state of existing research in each of these areas and highlight priority questions for future research.


title: Tracing the magnetic field topology of the quiet corona using propagating disturbances

abstract: The motion of faint propagating disturbances (PD) in the solar corona reveals an intricate structure which must be defined by the magnetic field. Applied to quiet Sun observations by the Atmospheric Imaging Assembly (AIA)/Solar Dynamics Observatory (SDO), a novel method reveals a cellular network, with cells of typical diameters 50\arcsec\ in the cool 304\AA\ channel, and 100\arcsec\ in the coronal 193\AA\ channel. The 193\AA\ cells can overlie several 304\AA\ cells, although both channels share common source and sink regions. The sources are points, or narrow corridors, of divergence that occupy the centres of cells. They are significantly aligned with photospheric network features and enhanced magnetic elements. This shows that the bright network is important to the production of PDs, and confirms that the network is host to the source footpoint of quiet coronal loops. The other footpoint, or the sinks of the PDs, form the boundaries of the coronal cells. These are not significantly aligned with the photospheric network - they are generally situated above the dark internetwork photosphere. They form compact points or corridors, often without an obvious signature in the underlying photosphere. We argue that these sink points can either be concentrations of closed field footpoints associated with minor magnetic elements in the internetwork, or concentrations of upward-aligned open field. The link between the coronal velocity and magnetic fields is strengthened by a comparison with a magnetic extrapolation, which shows several general and specific similarities, thus the velocity maps offer a valuable additional constraint on models.


title: Traffic-Twitter Transformer: A Nature Language Processing-joined Framework For Network-wide Traffic Forecasting

abstract: With accurate and timely traffic forecasting, the impacted traffic conditions can be predicted in advance to guide agencies and residents to respond to changes in traffic patterns appropriately. However, existing works on traffic forecasting mainly relied on historical traffic patterns confining to short-term prediction, under 1 hour, for instance. To better manage future roadway capacity and accommodate social and human impacts, it is crucial to propose a flexible and comprehensive framework to predict physical-aware long-term traffic conditions for public users and transportation agencies. In this paper, the gap of robust long-term traffic forecasting was bridged by taking social media features into consideration. A correlation study and a linear regression model were first implemented to evaluate the significance of the correlation between two time-series data, traffic intensity and Twitter data intensity. Two time-series data were then fed into our proposed social-aware framework, Traffic-Twitter Transformer, which integrated Nature Language representations into time-series records for long-term traffic prediction. Experimental results in the Great Seattle Area showed that our proposed model outperformed baseline models in all evaluation matrices. This NLP-joined social-aware framework can become a valuable implement of network-wide traffic prediction and management for traffic agencies.


title: Noisy $\ell^{0}$-Sparse Subspace Clustering on Dimensionality Reduced Data

abstract: Sparse subspace clustering methods with sparsity induced by $\ell^{0}$-norm, such as $\ell^{0}$-Sparse Subspace Clustering ($\ell^{0}$-SSC)~\citep{YangFJYH16-L0SSC-ijcv}, are demonstrated to be more effective than its $\ell^{1}$ counterpart such as Sparse Subspace Clustering (SSC)~\citep{ElhamifarV13}. However, the theoretical analysis of $\ell^{0}$-SSC is restricted to clean data that lie exactly in subspaces. Real data often suffer from noise and they may lie close to subspaces. In this paper, we show that an optimal solution to the optimization problem of noisy $\ell^{0}$-SSC achieves subspace detection property (SDP), a key element with which data from different subspaces are separated, under deterministic and semi-random model. Our results provide theoretical guarantee on the correctness of noisy $\ell^{0}$-SSC in terms of SDP on noisy data for the first time, which reveals the advantage of noisy $\ell^{0}$-SSC in terms of much less restrictive condition on subspace affinity. In order to improve the efficiency of noisy $\ell^{0}$-SSC, we propose Noisy-DR-$\ell^{0}$-SSC which provably recovers the subspaces on dimensionality reduced data. Noisy-DR-$\ell^{0}$-SSC first projects the data onto a lower dimensional space by random projection, then performs noisy $\ell^{0}$-SSC on the projected data for improved efficiency. Experimental results demonstrate the effectiveness of Noisy-DR-$\ell^{0}$-SSC.


title: Motion Gait: Gait Recognition via Motion Excitation

abstract: Gait recognition, which can realize long-distance and contactless identification, is an important biometric technology. Recent gait recognition methods focus on learning the pattern of human movement or appearance during walking, and construct the corresponding spatio-temporal representations. However, different individuals have their own laws of movement patterns, simple spatial-temporal features are difficult to describe changes in motion of human parts, especially when confounding variables such as clothing and carrying are included, thus distinguishability of features is reduced. In this paper, we propose the Motion Excitation Module (MEM) to guide spatio-temporal features to focus on human parts with large dynamic changes, MEM learns the difference information between frames and intervals, so as to obtain the representation of temporal motion changes, it is worth mentioning that MEM can adapt to frame sequences with uncertain length, and it does not add any additional parameters. Furthermore, we present the Fine Feature Extractor (FFE), which independently learns the spatio-temporal representations of human body according to different horizontal parts of individuals. Benefiting from MEM and FFE, our method innovatively combines motion change information, significantly improving the performance of the model under cross appearance conditions. On the popular dataset CASIA-B, our proposed Motion Gait is better than the existing gait recognition methods.


title: Descent Steps of a Relation-Aware Energy Produce Heterogeneous Graph Neural Networks

abstract: Heterogeneous graph neural networks (GNNs) achieve strong performance on node classification tasks in a semi-supervised learning setting. However, as in the simpler homogeneous GNN case, message-passing-based heterogeneous GNNs may struggle to balance between resisting the oversmoothing that may occur in deep models, and capturing long-range dependencies of graph structured data. Moreover, the complexity of this trade-off is compounded in the heterogeneous graph case due to the disparate heterophily relationships between nodes of different types. To address these issues, we propose a novel heterogeneous GNN architecture in which layers are derived from optimization steps that descend a novel relation-aware energy function. The corresponding minimizer is fully differentiable with respect to the energy function parameters, such that bilevel optimization can be applied to effectively learn a functional form whose minimum provides optimal node representations for subsequent classification tasks. In particular, this methodology allows us to model diverse heterophily relationships between different node types while avoiding oversmoothing effects. Experimental results on 8 heterogeneous graph benchmarks demonstrates that our proposed method can achieve competitive node classification accuracy


title: System Architecture and Communication Infrastructure for the RoboVaaS project

abstract: Current advancements in waterborne autonomous systems, together with the development of cloud-based service-oriented architectures and the recent availability of low-cost underwater acoustic modems and long-range above water wireless devices, enabled the development of new applications to support ships and port activities. Unmanned Surface Vehicle (USV) can, for instance, be used to perform bathymetry and environmental data collection tasks to ensure under-keel clearance and to monitor the quality of the water. Similarly, Remotely Operated Vehicles (ROVs) can be deployed to inspect ship hulls and typical port infrastructure elements, such as quay and sheet pilling walls. In this paper we present the complete system deployed for the small-scale demonstrations of the Robotic Vessels as-a-Service (RoboVaaS) project, which introduces an on-demand service-based cloud system that dispatches Unmanned Vehicles (UVs) capable of performing the required service either autonomously or piloted. These vessels are able to interact with sensors deployed in the port and with the shore station through an integrated underwater and above water network. The developed system has been validated through sea trials and showcased through an underwater sensor data collection service. The results of the test presented in this paper provide a proof-of-concept of the system design and indicate its technical feasibility. It also shows the need for further developments for a mature technology allowing on-demand robotic maritime assistance services in real operational scenarios.


title: Investigating the Benefits of Free-Form Rationales

abstract: Free-form rationales aim to aid model interpretability by supplying the background knowledge that can help understand model decisions. Crowdsourced rationales are provided for commonsense QA instances in popular datasets such as CoS-E and ECQA, but their utility remains under-investigated. We present human studies which show that ECQA rationales indeed provide additional background information to understand a decision, while over 88% of CoS-E rationales do not. Inspired by this finding, we ask: can the additional context provided by free-form rationales benefit models, similar to human users? We investigate the utility of rationales as an additional source of supervision, by varying the quantity and quality of rationales during training. After controlling for instances where rationales leak the correct answer while not providing additional background knowledge, we find that incorporating only 5% of rationales during training can boost model performance by 47.22% for CoS-E and 57.14% for ECQA during inference. Moreover, we also show that rationale quality matters: compared to crowdsourced rationales, T5-generated rationales provide not only weaker supervision to models, but are also not helpful for humans in aiding model interpretability.


title: Some examples of separable convex-cocompact subgroups

abstract: Reid asked whether all convex-cocompact subgroups of mapping class groups are separable. Using a construction of Manning-Mj-Sageev, we give examples of separable convex-cocompact subgroups that are free of arbitrary finite rank, while prior examples seem to all be virtually cyclic.


title: Bounds on the Chabauty--Kim Locus of Hyperbolic Curves

abstract: Conditionally on the Tate--Shafarevich and Bloch--Kato Conjectures, we give an explicit upper bound on the size of the $p$-adic Chabauty--Kim locus, and hence on the number of rational points, of a smooth projective curve $X/\mathbb{Q}$ of genus $g\geq2$ in terms of $p$, $g$, the Mordell--Weil rank $r$ of its Jacobian, and the reduction types of $X$ at bad primes. This is achieved using the effective Chabauty--Kim method, generalising bounds found by Coleman and Balakrishnan--Dogra using the abelian and quadratic Chabauty methods.


title: Universal trade-off structure between symmetry, irreversibility, and quantum coherence in quantum processes

abstract: Symmetry, irreversibility, and quantum coherence are foundational concepts in physics. Here, we present a universal trade-off relation that builds a bridge between these three concepts. This trade-off particularly reveals that (1) under a global symmetry, any attempt to induce local dynamics that change the conserved quantity will cause inevitable irreversibility, and (2) such irreversibility could be mitigated by quantum coherence. Our fundamental relation also admits broad applications in physics and quantum information processing. In the context of thermodynamics, we derive a trade-off relation between entropy production and quantum coherence in arbitrary isothermal processes. We also apply our relation to black hole physics and obtain a universal lower bound on how many bits of classical information thrown into a black hole become unreadable under the Hayden-Preskill model with the energy conservation law. This particularly shows that when the black hole is large enough, under suitable encoding, at least about $m/4$ bits of the thrown $m$ bits will be irrecoverable until 99 percent of the black hole evaporates. As an application to quantum information processing, we provide a lower bound on the coherence cost to implement an arbitrary quantum channel. We employ this bound to obtain a quantitative Wigner-Araki-Yanase theorem that comes with a clear operational meaning, as well as an error-coherence trade-off for unitary gate implementation and an error lower bound for approximate error correction with covariant encoding. Our main relation is based on quantum uncertainty relation, showcasing intimate connections between fundamental physical principles and ultimate operational capability.


title: Federated Adaptation of Reservoirs via Intrinsic Plasticity

abstract: We propose a novel algorithm for performing federated learning with Echo State Networks (ESNs) in a client-server scenario. In particular, our proposal focuses on the adaptation of reservoirs by combining Intrinsic Plasticity with Federated Averaging. The former is a gradient-based method for adapting the reservoir's non-linearity in a local and unsupervised manner, while the latter provides the framework for learning in the federated scenario. We evaluate our approach on real-world datasets from human monitoring, in comparison with the previous approach for federated ESNs existing in literature. Results show that adapting the reservoir with our algorithm provides a significant improvement on the performance of the global model.


title: The Structure of Gamma Ray Burst Jets

abstract: Due to relativistic bulk motion, the structure and orientation of gamma-ray burst jets have a fundamental role in determining how they appear. The recent discovery of the GW170817 binary neutron star merger and the associated GRB boosted the interest in the modelling and search of signatures of the presence of a (possibly quasi-universal) jet structure in long and short GRBs. In this review, following a pedagogical approach, we summarize the history of GRB jet structure research over the last two decades, from the inception of the idea of a universal jet structure to the current understanding of the complex processes that shape the structure, that involve the central engine that powers the jet and the interaction of the latter with the progenitor vestige. We put some emphasis on the observable imprints of jet structure on prompt and afterglow emission and on the luminosity function, favoring intuitive reasoning over technical explanations.


title: Optically enhanced discharge excitation and trapping of $^{39}Ar$

abstract: We report on a two-fold increase of the $^{39}Ar$ loading rate in an atom trap by enhancing the generation of metastable atoms in a discharge source. Additional atoms in the metastable $1s_5$ level (Paschen notation) are obtained via optically pumping both the $1s_4$ - $2p_6$ transition at 801 nm and the $1s_2$ - $2p_6$ transition at 923 nm. By solving the master equation for the corresponding six-level system, we identify these two transitions to be the most suitable ones and encounter a transfer process between $1s_2$ and $1s_4$ when pumping both transitions simultaneously. We calculate the previously unknown frequency shifts of the two transitions in $^{39}Ar$ and confirm the results with trap loading measurements. The demonstrated increase in the loading rate enables a corresponding decrease in the required sample size, uncertainty and measurement time for $^{39}Ar$ dating, a significant improvement for applications such as dating of ocean water and alpine ice cores.


title: Microscopic 3D printed optical tweezers for atomic quantum technology

abstract: Trapping of single ultracold atoms is an important tool for applications ranging from quantum computation and communication to sensing. However, most experimental setups, while very precise and versatile, can only be operated in specialized laboratory environments due to their large size, complexity and high cost. Here, we introduce a new trapping concept for ultracold atoms in optical tweezers based on micrometer-scale lenses that are 3D printed onto the tip of standard optical fibers. The unique properties of these lenses make them suitable for both trapping individual atoms and capturing their fluorescence with high efficiency. In an exploratory experiment, we have established the vacuum compatibility and robustness of the structures, and successfully formed a magneto-optical trap for ultracold atoms in their immediate vicinity. This makes them promising components for portable atomic quantum devices.


title: Generalizing Multimodal Pre-training into Multilingual via Language Acquisition

abstract: English-based Vision-Language Pre-training (VLP) has achieved great success in various downstream tasks. Some efforts have been taken to generalize this success to non-English languages through Multilingual Vision-Language Pre-training (M-VLP). However, due to the large number of languages, M-VLP models often require huge computing resources and cannot be flexibly extended to new languages. In this work, we propose a \textbf{M}ulti\textbf{L}ingual \textbf{A}cquisition (MLA) framework that can easily generalize a monolingual Vision-Language Pre-training model into multilingual. Specifically, we design a lightweight language acquisition encoder based on state-of-the-art monolingual VLP models. We further propose a two-stage training strategy to optimize the language acquisition encoder, namely the Native Language Transfer stage and the Language Exposure stage. With much less multilingual training data and computing resources, our model achieves state-of-the-art performance on multilingual image-text and video-text retrieval benchmarks.


title: The gravitational redshift of solar-type stars from Gaia DR3 wide binaries

abstract: Light escaping from a gravitational potential suffers a redshift with magnitude proportional to the depth of the potential. This "gravitational redshift" is easily measurable in dense stars such as white dwarfs, but is much weaker and has evaded unambiguous detection in main-sequence stars. I show that the effect is directly measurable in the Gaia DR3 radial velocities (RVs) of the components of wide binary stars. In a sample of $\sim$500 wide binaries containing a solar-type main-sequence star and a red giant or red clump companion, the apparent RV of the giant is on average $0.49 \pm 0.02 \,\, \rm km\,s^{-1}$ lower than that of the main-sequence star. This owes primarily to the giants' weaker gravitational fields and is in reasonably good agreement with the value expected from general relativity.


title: Perturbations of exponential maps: Non-recurrent dynamics

abstract: We study perturbations of non-recurrent parameters in the exponential family. It is shown that the set of such parameters has Lebesgue measure zero. This particularly implies that the set of escaping parameters has Lebesgue measure zero, which complements a result of Qiu from 1994. Moreover, we show that non-recurrent parameters can be approximated by hyperbolic ones.


title: Discrete mixture representations of parametric distribution families: geometry and statistics

abstract: We investigate existence and properties of discrete mixture representations $P_\theta =\sum_{i\in E} w_\theta(i) \, Q_i$ for a given family $P_\theta$, $\theta\in\Theta$, of probability measures. The noncentral chi-squared distributions provide a classical example. We obtain existence results and results about geometric and statistical aspects of the problem, the latter including loss of Fisher information, Rao-Blackwellization, asymptotic efficiency and nonparametric maximum likelihood estimation of the mixing probabilities.


title: A High Resolution Multi-exposure Stereoscopic Image & Video Database of Natural Scenes

abstract: Immersive displays such as VR headsets, AR glasses, Multiview displays, Free point televisions have emerged as a new class of display technologies in recent years, offering a better visual experience and viewer engagement as compared to conventional displays. With the evolution of 3D video and display technologies, the consumer market for High Dynamic Range (HDR) cameras and displays is quickly growing. The lack of appropriate experimental data is a critical hindrance for the development of primary research efforts in the field of 3D HDR video technology. Also, the unavailability of sufficient real world multi-exposure experimental dataset is a major bottleneck for HDR imaging research, thereby limiting the quality of experience (QoE) for the viewers. In this paper, we introduce a diversified stereoscopic multi-exposure dataset captured within the campus of Indian Institute of Technology Madras, which is home to a diverse flora and fauna. The dataset is captured using ZED stereoscopic camera and provides intricate scenes of outdoor locations such as gardens, roadside views, festival venues, buildings and indoor locations such as academic and residential areas. The proposed dataset accommodates wide depth range, complex depth structure, complicate object movement, illumination variations, rich color dynamics, texture discrepancy in addition to significant randomness introduced by moving camera and background motion. The proposed dataset is made publicly available to the research community. Furthermore, the procedure for capturing, aligning and calibrating multi-exposure stereo videos and images is described in detail. Finally, we have discussed the progress, challenges, potential use cases and future research opportunities with respect to HDR imaging, depth estimation, consistent tone mapping and 3D HDR coding.


title: P-type Ohmic contact to monolayer WSe2 field-effect transistors using high electron affinity amorphous MoO3

abstract: 1 School of Physics and Astronomy, Monash University, Clayton, Victoria 3800, Australia 2 Australian Research Council Centre of Excellence in Future Low-Energy Electronics Technologies (FLEET), Monash University, Clayton, Victoria 3800, Australia 3 Department of Mechanical Engineering, Columbia University, New York, New York 10027, United States 4 Department of Applied Physics and Applied Mathematics, Columbia University, New York, New York 10027, United States 5 School of Physics, the University of Melbourne, Melbourne, VIC 3010, Australia 6 Research Center for Functional Materials, National Institute for Materials Science, 1-1 Namiki, Tsukuba 305-0044, Japan 7 International Center for Materials Nanoarchitectonics, National Institute for Materials Science, 1-1 Namiki, Tsukuba 305-0044, Japan 8 School of Physics, University of New South Wales, 2052 Sydney, Australia 9 Center of Condensed Matter Sciences and Center of Atomic Initiative for New Material, National Taiwan University, Taipei 106, Taiwan 10 Monash Centre for Atomically Thin Materials, Monash University, Clayton, 3800, VIC, Australia


title: Linear Newman-Penrose charges as subleading BMS and dual BMS charges

abstract: In this paper, we further develop previous work on asymptotically flat spacetimes and extend subleading BMS and dual BMS charges in a large $r$ expansion to all orders in $r^{-1}$. This forms a complete account of this prescription in relation to the previously discovered Newman-Penrose charges. We provide an explanation for the origin of the infinite tower of linear Newman-Penrose charges with regards to asymptotic symmetries and justify why these charges fail to be conserved at the non-linear level as well as failing to exhibit full supertranslation invariance even at the linear level.


title: Power-2 limb-darkening coefficients for the uvby, UBVRIJHK, SDSS ugriz, Gaia, Kepler, and TESS photometric systems

abstract: Limb darkening is an important stellar phenomenon and must be accounted for in the study of stellar spectra, eclipsing binaries, transiting planetary systems, and microlensing events. The power-2 limb-darkening law provides a good match to the specific intensities predicted by stellar atmosphere models: it is better than other two-parameter laws and is only surpassed by the four-parameter law. Predictions of the limb-darkening coefficients for the power-2 law are not widely available. We therefore compute them, using stellar atmosphere models generated by the ATLAS (plane-parallel) code. Limb-darkening coefficients were computed for the space missions Gaia, Kepler, and TESS as well as for the photometric systems uvby, UBVRIJHK, and SDSS ugriz.The calculations were performed by adopting the Levenberg-Marquardt least-squares minimisation method and were computed with a resolution of 100 equally spaced viewing angles. We used 9586 model atmospheres covering 19 metallicities, effective temperatures of 3500 to 50000 K, log g values from 0.0 to 5.0, and microturbulent velocities of 0, 1, 2, 4, and 8 km. We confirm the superiority of the power-2 law, in terms of the quality of the fits, over other two-parameter laws. This is particularly relevant for the quadratic law, which is widely used. We recommend the use of the power-2 law in cases where a two-parameter law is needed.


title: Spectral subspaces of spectra of Abelian lattice-ordered groups in size aleph one

abstract: It is well known that the lattice Idc G of all principal {\ell}-ideals of any Abelian {\ell}-group G is a completely normal distributive 0-lattice, and that not every completely normal distributive 0-lattice is a homomorphic image of some Idc G, via a counterexample of cardinality $\aleph 2. We prove that every completely normal distributive 0-lattice with at most $\aleph 1 elements is a homomorphic image of some Idc G. By Stone duality, this means that every completely normal generalized spectral space, with at most $\aleph 1 compact open sets, is homeomorphic to a spectral subspace of the {\ell}-spectrum of some Abelian {\ell}-group.


title: The Ground State Energy of a Two-Dimensional Bose Gas

abstract: We prove the following formula for the ground state energy density of a dilute Bose gas with density $\rho$ in $2$ dimensions in the thermodynamic limit \begin{align*} e^{\rm{2D}}(\rho) = 4\pi \rho^2 Y\left(1 - Y \vert \log Y \vert + \left( 2\Gamma + \frac{1}{2} + \log(\pi) \right) Y \right) + o(\rho^2 Y^{2}). \end{align*} Here $Y= |\log(\rho a^2)|^{-1}$ and $a$ is the scattering length of the two-body potential. This result in $2$ dimensions corresponds to the famous Lee-Huang-Yang formula in $3$ dimensions. The proof is valid for essentially all positive potentials with finite scattering length, in particular it covers the crucial case of the hard core potential.


title: Width of SL(n,O_S,I)

abstract: We give an estimate for the width of the congruence subgroup $\mathrm{SL}(n,O_S,I)$ in Tits--Vaserstein generators, where $O_S$ is a localisation of the ring of integers in a number field $K$. We assume that either $K$ has a real embedding, or the ideal $I$ is prime to the number of roots of unity in $K$.


title: 40 Years of Designing Code Comprehension Experiments: A Systematic Mapping Study

abstract: The relevance of code comprehension in a developer's daily work was recognized more than 40 years ago. Consequently, many experiments were conducted to find out how developers could be supported during code comprehension and which code characteristics contribute to better comprehension. Today, such studies are more common than ever. While this is great for advancing the field, the number of publications makes it difficult to keep an overview. Additionally, designing rigorous code comprehension experiments with human participants is a challenging task, and the multitude of design options can make it difficult for researchers, especially newcomers to the field, to select a suitable design. We therefore conducted a systematic mapping study of 95 source code comprehension experiments published between 1979 and 2019. By structuring the design characteristics of code comprehension studies, we provide a basis for subsequent discussion of the huge diversity of design options in the face of a lack of basic research on their consequences and comparability. We describe what topics have been studied, as well as how these studies have been designed, conducted, and reported. Frequently chosen design options and deficiencies are pointed out to support researchers of all levels of domain expertise in designing their own studies.


title: On-the-fly control of unknown nonlinear systems with sublinear regret

abstract: We study the problem of data-driven, constrained control of unknown nonlinear dynamics from a single ongoing and finite-horizon trajectory. We consider a one-step optimal control problem with a smooth, black-box objective, typically a composition of a known cost function and the unknown dynamics. We investigate an on-the-fly control paradigm, i.e., at each time step, the evolution of the dynamics and the first-order information of the cost are provided only for the executed control action. We propose an optimization-based control algorithm that iteratively minimizes a data-driven surrogate function for the unknown objective. We prove that the proposed approach incurs sublinear cumulative regret (step-wise suboptimality with respect to an optimal one-step controller) and is worst-case optimal among a broad class of data-driven control algorithms. We also present tractable reformulations of the approach that can leverage off-the-shelf solvers for efficient implementations.


title: OpenXAI: Towards a Transparent Evaluation of Model Explanations

abstract: While several types of post hoc explanation methods have been proposed in recent literature, there is very little work on systematically benchmarking these methods. Here, we introduce OpenXAI, a comprehensive and extensible open-source framework for evaluating and benchmarking post hoc explanation methods. OpenXAI comprises of the following key components: (i) a flexible synthetic data generator and a collection of diverse real-world datasets, pre-trained models, and state-of-the-art feature attribution methods, and (ii) open-source implementations of eleven quantitative metrics for evaluating faithfulness, stability (robustness), and fairness of explanation methods, in turn providing comparisons of several explanation methods across a wide variety of metrics, models, and datasets. OpenXAI is easily extensible, as users can readily evaluate custom explanation methods and incorporate them into our leaderboards. Overall, OpenXAI provides an automated end-to-end pipeline that not only simplifies and standardizes the evaluation of post hoc explanation methods, but also promotes transparency and reproducibility in benchmarking these methods. While the first release of OpenXAI supports only tabular datasets, the explanation methods and metrics that we consider are general enough to be applicable to other data modalities. OpenXAI datasets and models, implementations of state-of-the-art explanation methods and evaluation metrics, are publicly available at this GitHub link.


title: Recursive Overbetting of a Satellite Investment Account

abstract: This paper builds a core-satellite model of semi-static Kelly betting and log-optimal investment. We study the problem of a saver whose core portfolio consists in unlevered (1x) retirement plans with no access to margin debt. However, the agent has a satellite investment account with recourse to significant, but not unlimited, leverage; accordingly, we study optimal controllers for the satellite gearing ratio. On a very short time horizon, the best policy is to overbet the satellite, whereby the overriding objective is to raise the aggregate beta toward a growth-optimal level. On an infinite horizon, by contrast, the correct behavior is to blithely ignore the core and optimize the exponential growth rate of the satellite, which will anyways come to dominate the entire bankroll in the limit. For time horizons strictly between zero and infinity, the optimal strategy is not so simple: there is a key trade-off between the instantaneous growth rate of the composite bankroll, and that of the satellite itself, which suffers ongoing volatility drag from the overbetting. Thus, a very perspicacious policy is called for, since any losses in the satellite will constrain the agent's access to leverage in the continuation problem. We characterize the optimal feedback controller, and compute it in earnest by solving the corresponding HJB equation recursively and backward in time. This solution is then compared to the best open-loop controller, which, in spite of its relative simplicity, is expected to perform similarly in practical situations.

categories: q-fin.CP econ.GN q-fin.EC q-fin.GN q-fin.PM


title: Thermoelectric properties of high-entropy rare-earth cobaltates

abstract: High-entropy concept introduced with a promising paradigm to obtain exotic physical properties has motivated us to explore the thermoelectric properties of Sr-substituted high-entropy rare-earth cobaltates i.e., (LaNdPrSmEu)$_{1-x}$Sr$_x$CoO3 (0 \leq x \leq 0.10). The structural analysis of the samples synthesized using the standard solid-state route, confirms the orthorhombic structure with the Pbnm space group. The Seebeck coefficient and electrical resistivity decrease with rising Sr concentration as well as with an increase in temperature. The multiple A-site ions in high-entropy rare-earth cobaltates result in an improved Seebeck coefficient ({\alpha}) compared to La$_{0.95}$Sr$_{0.05}$CoO$_3$, associated with a decrease in the Co-O-Co bond angle, which further enhances the power factor. The random distribution of cations at the rare-earth site results in a significant lowering of phonon thermal conductivity. As a result, a maximum figure of merit (zT) of 0.23 is obtained at 350K for (LaNdPrSmEu)$_{0.95}$Sr$_{0.05}$CoO$_3$, which is one of the highest values of zT reported at this temperature for oxide materials. This study shows promise to decouple thermoelectric parameters using the high-entropy concept in several materials.


title: Functional Epistemology "Nullifies" Dyson's Rebuttal of Perturbation Theory

abstract: Functional epistemology is about ways to access functional objects by using varieties of methods and procedures. Not all such means are equally capable of reproducing these functions in the desired consistency and resolution. Dyson's argument against the perturbative expansion of quantum field theoretic terms, in a radical form (never pursued by Dyson), is an example of epistemology taken as ontology.


title: M/G/1-FIFO Queue with Uniform Service Times

abstract: An exact formula for the equilibrium M/U/1 waiting time density is now effectively known. What began as a numeric exploration became a symbolic banquet. Inverse Laplace transforms provided breadcrumbs in the trail; delay differential equations subsequently gave clear-cut precision. We also remark on tail probability asymptotics and on queue lengths.


title: Localisation of Dirac modes in gauge theories and Goldstone's theorem at finite temperature

abstract: I discuss the possible effects of a finite density of localised near-zero Dirac modes in the chiral limit of gauge theories with $N_f$ degenerate fermions. I focus in particular on the fate of the massless quasi-particle excitations predicted by the finite-temperature version of Goldstone's theorem, for which I provide an alternative and generalised proof based on a Euclidean ${\rm SU}(N_f)_A$ Ward-Takahashi identity. I show that localised near-zero modes can lead to a divergent pseudoscalar-pseudoscalar correlator that modifies this identity in the chiral limit. As a consequence, massless quasi-particle excitations can disappear from the spectrum of the theory in spite of a non-zero chiral condensate. Three different scenarios are possible, depending on the detailed behaviour in the chiral limit of the ratio of the mobility edge and the fermion mass, which I prove to be a renormalisation-group invariant quantity.


title: Beyond RMSE: Do machine-learned models of road user interaction produce human-like behavior?

abstract: Autonomous vehicles use a variety of sensors and machine-learned models to predict the behavior of surrounding road users. Most of the machine-learned models in the literature focus on quantitative error metrics like the root mean square error (RMSE) to learn and report their models' capabilities. This focus on quantitative error metrics tends to ignore the more important behavioral aspect of the models, raising the question of whether these models really predict human-like behavior. Thus, we propose to analyze the output of machine-learned models much like we would analyze human data in conventional behavioral research. We introduce quantitative metrics to demonstrate presence of three different behavioral phenomena in a naturalistic highway driving dataset: 1) The kinematics-dependence of who passes a merging point first 2) Lane change by an on-highway vehicle to accommodate an on-ramp vehicle 3) Lane changes by vehicles on the highway to avoid lead vehicle conflicts. Then, we analyze the behavior of three machine-learned models using the same metrics. Even though the models' RMSE value differed, all the models captured the kinematic-dependent merging behavior but struggled at varying degrees to capture the more nuanced courtesy lane change and highway lane change behavior. Additionally, the collision aversion analysis during lane changes showed that the models struggled to capture the physical aspect of human driving: leaving adequate gap between the vehicles. Thus, our analysis highlighted the inadequacy of simple quantitative metrics and the need to take a broader behavioral perspective when analyzing machine-learned models of human driving predictions.


title: Poisson boundary of group extensions

abstract: Given a finitely generated group, the well-known Stability Problem asks whether the non-triviality of the Poisson-Furstenberg boundary (which is equivalent to the existence of non-constant bounded harmonic functions) depends on the choice of simple random walk on the group. This question was far from being understood even in the class of linear groups. Given an amenable group, e.g. a solvable group, there is no known characterisation, even a conjectural one, of when it admits a simple random walk with non-trivial boundary. We provide a characterisation of groups with non-trivial boundary for finitely generated linear groups of characteristic $p$. We prove in particular that the Stability Problem has a positive answer in this class of groups. For linear groups of characteristic $0$, we prove a sufficient condition for the triviality of the boundary which does not depend on the choice of a simple random walk. We conjecture that our sufficient condition is also necessary. Our arguments are based on a new comparison criterion for group extensions, on new $\Delta$-restriction entropy estimates and a criterion for boundary non-triviality, and on a new "cautiousness" criterion for triviality of the boundary.


title: Explicit Subconvexity Estimates for Dirichlet $L$-functions

abstract: Given a Dirichlet character $\chi$ modulo $q$ and its associated $L$-function, $L(s,\chi)$, we provide an explicit version of Burgess' estimate for $|L(s, \chi)|$. We use partial summation to provide bounds along the vertical lines $\Re{s} = 1 - {r}^{-1}$, where $r$ is a parameter associated with Burgess' character sum estimate. These bounds are then connected across the critical strip using the Phragm\'en--Lindel\"of principle. In particular, for $\sigma \in [\frac{1}{2}, \frac{9}{10}]$, we establish $$|L(\sigma + it, \chi)| \leq (1.105) (0.692)^\sigma q^{\frac{31}{80}-\frac{2}{5}\sigma}(\log{q})^{\frac{33}{16}-\frac{9}{8}\sigma} |\sigma + it|.$$


title: Sparse Temporal Spanners with Low Stretch

abstract: A temporal graph is an undirected graph $G=(V,E)$ along with a function that assigns a time-label to each edge in $E$. A path in $G$ with non-decreasing time-labels is called temporal path and the distance from $u$ to $v$ is the minimum length (i.e., the number of edges) of a temporal path from $u$ to $v$. A temporal $\alpha$-spanner of $G$ is a (temporal) subgraph $H$ that preserves the distances between any pair of vertices in $V$, up to a multiplicative stretch factor of $\alpha$. The size of $H$ is the number of its edges. In this work we study the size-stretch trade-offs of temporal spanners. We show that temporal cliques always admit a temporal $(2k-1)-$spanner with $\tilde{O}(kn^{1+\frac{1}{k}})$ edges, where $k>1$ is an integer parameter of choice. Choosing $k=\lfloor\log n\rfloor$, we obtain a temporal $O(\log n)$-spanner with $\tilde{O}(n)$ edges that has almost the same size (up to logarithmic factors) as the temporal spanner in [Casteigts et al., JCSS 2021] which only preserves temporal connectivity. We then consider general temporal graphs. Since $\Omega(n^2)$ edges might be needed by any connectivity-preserving temporal subgraph [Axiotis et al., ICALP'16], we focus on approximating distances from a single source. We show that $\tilde{O}(n/\log(1+\varepsilon))$ edges suffice to obtain a stretch of $(1+\varepsilon)$, for any small $\varepsilon>0$. This result is essentially tight since there are temporal graphs for which any temporal subgraph preserving exact distances from a single-source must use $\Omega(n^2)$ edges. We extend our analysis to prove an upper bound of $\tilde{O}(n^2/\beta)$ on the size of any temporal $\beta$-additive spanner, which is tight up to polylogarithmic factors. Finally, we investigate how the lifetime of $G$, i.e., the number of its distinct time-labels, affects the trade-off between the size and the stretch of a temporal spanner.


title: Evolutionary Game-Theoretical Analysis for General Multiplayer Asymmetric Games

abstract: Evolutionary game theory has been a successful tool to combine classical game theory with learning-dynamical descriptions in multiagent systems. Provided some symmetric structures of interacting players, many studies have been focused on using a simplified heuristic payoff table as input to analyse the dynamics of interactions. Nevertheless, even for the state-of-the-art method, there are two limits. First, there is inaccuracy when analysing the simplified payoff table. Second, no existing work is able to deal with 2-population multiplayer asymmetric games. In this paper, we fill the gap between heuristic payoff table and dynamic analysis without any inaccuracy. In addition, we propose a general framework for $m$ versus $n$ 2-population multiplayer asymmetric games. Then, we compare our method with the state-of-the-art in some classic games. Finally, to illustrate our method, we perform empirical game-theoretical analysis on Wolfpack as well as StarCraft II, both of which involve complex multiagent interactions.


title: ICC++: Explainable Image Retrieval for Art Historical Corpora using Image Composition Canvas

abstract: Image compositions are helpful in the study of image structures and assist in discovering the semantics of the underlying scene portrayed across art forms and styles. With the digitization of artworks in recent years, thousands of images of a particular scene or narrative could potentially be linked together. However, manually linking this data with consistent objectiveness can be a highly challenging and time-consuming task. In this work, we present a novel approach called Image Composition Canvas (ICC++) to compare and retrieve images having similar compositional elements. ICC++ is an improvement over ICC specializing in generating low and high-level features (compositional elements) motivated by Max Imdahl's work. To this end, we present a rigorous quantitative and qualitative comparison of our approach with traditional and state-of-the-art (SOTA) methods showing that our proposed method outperforms all of them. In combination with deep features, our method outperforms the best deep learning-based method, opening the research direction for explainable machine learning for digital humanities. We will release the code and the data post-publication.


title: StaDRe and StaDRo: Reliability and Robustness Estimation of ML-based Forecasting using Statistical Distance Measures

abstract: Reliability estimation of Machine Learning (ML) models is becoming a crucial subject. This is particularly the case when such \mbox{models} are deployed in safety-critical applications, as the decisions based on model predictions can result in hazardous situations. In this regard, recent research has proposed methods to achieve safe, \mbox{dependable}, and reliable ML systems. One such method consists of detecting and analyzing distributional shift, and then measuring how such systems respond to these shifts. This was proposed in earlier work in SafeML. This work focuses on the use of SafeML for time series data, and on reliability and robustness estimation of ML-forecasting methods using statistical distance measures. To this end, distance measures based on the Empirical Cumulative Distribution Function (ECDF) proposed in SafeML are explored to measure Statistical-Distance Dissimilarity (SDD) across time series. We then propose SDD-based Reliability Estimate (StaDRe) and SDD-based Robustness (StaDRo) measures. With the help of a clustering technique, the similarity between the statistical properties of data seen during training and the forecasts is identified. The proposed method is capable of providing a link between dataset SDD and Key Performance Indicators (KPIs) of the ML models.


title: Causal inference in multi-cohort studies using the target trial framework to identify and minimize sources of bias

abstract: Longitudinal cohort studies, which follow a group of individuals over time, provide the opportunity to examine causal effects of complex exposures on long-term health outcomes. Utilizing data from multiple cohorts has the potential to add further benefit by improving precision of estimates through data pooling and by allowing examination of effect heterogeneity through replication of analyses across cohorts. However, the interpretation of findings can be complicated by biases that may be compounded when pooling data, or, contribute to discrepant findings when analyses are replicated. The 'target trial' is a powerful tool for guiding causal inference in single-cohort studies. Here we extend this conceptual framework to address the specific challenges that can arise in the multi-cohort setting. By representing a clear definition of the target estimand, the target trial provides a central point of reference against which biases arising in each cohort and from data pooling can be systematically assessed. Consequently, analyses can be designed to reduce these biases and the resulting findings appropriately interpreted in light of potential remaining biases. We use a case study to demonstrate the framework and its potential to strengthen causal inference in multi-cohort studies through improved analysis design and clarity in the interpretation of findings.


title: Dynamic Multi-objective Ensemble of Acquisition Functions in Batch Bayesian Optimization

abstract: Bayesian optimization (BO) is a typical approach to solve expensive optimization problems. In each iteration of BO, a Gaussian process(GP) model is trained using the previously evaluated solutions; then next candidate solutions for expensive evaluation are recommended by maximizing a cheaply-evaluated acquisition function on the trained surrogate model. The acquisition function plays a crucial role in the optimization process. However, each acquisition function has its own strengths and weaknesses, and no single acquisition function can consistently outperform the others on all kinds of problems. To better leverage the advantages of different acquisition functions, we propose a new method for batch BO. In each iteration, three acquisition functions are dynamically selected from a set based on their current and historical performance to form a multi-objective optimization problem (MOP). Using an evolutionary multi-objective algorithm to optimize such a MOP, a set of non-dominated solutions can be obtained. To select batch candidate solutions, we rank these non-dominated solutions into several layers according to their relative performance on the three acquisition functions. The empirical results show that the proposed method is competitive with the state-of-the-art methods on different problems.


title: Multi-User Linearly-Separable Distributed Computing

abstract: In this work, we explore the problem of multi-user linearly-separable distributed computation, where $N$ servers help compute the desired functions (jobs) of $K$ users, and where each desired function can be written as a linear combination of up to $L$ (generally non-linear) subtasks (or sub-functions). Each server computes some of the subtasks, communicates a function of its computed outputs to some of the users, and then each user collects its received data to recover its desired function. We explore the computation and communication relationship between how many servers compute each subtask vs. how much data each user receives. For a matrix $\mathbf{F}$ representing the linearly-separable form of the set of requested functions, our problem becomes equivalent to the open problem of sparse matrix factorization $\mathbf{F} = \mathbf{D}\mathbf{E}$ over finite fields, where a sparse decoding matrix $\mathbf{D}$ and encoding matrix $\mathbf{E}$ imply reduced communication and computation costs respectively. This paper establishes a novel relationship between our distributed computing problem, matrix factorization, syndrome decoding and covering codes. To reduce the computation cost, the above $\mathbf{D}$ is drawn from covering codes or from a here-introduced class of so-called `partial covering' codes, whose study here yields computation cost results that we present.


title: Near-optimal control of dynamical systems with neural ordinary differential equations

abstract: Optimal control problems naturally arise in many scientific applications where one wishes to steer a dynamical system from a certain initial state $\mathbf{x}_0$ to a desired target state $\mathbf{x}^*$ in finite time $T$. Recent advances in deep learning and neural network-based optimization have contributed to the development of methods that can help solve control problems involving high-dimensional dynamical systems. In particular, the framework of neural ordinary differential equations (neural ODEs) provides an efficient means to iteratively approximate continuous time control functions associated with analytically intractable and computationally demanding control tasks. Although neural ODE controllers have shown great potential in solving complex control problems, the understanding of the effects of hyperparameters such as network structure and optimizers on learning performance is still very limited. Our work aims at addressing some of these knowledge gaps to conduct efficient hyperparameter optimization. To this end, we first analyze how truncated and non-truncated backpropagation through time affect runtime performance and the ability of neural networks to learn optimal control functions. Using analytical and numerical methods, we then study the role of parameter initializations, optimizers, and neural-network architecture. Finally, we connect our results to the ability of neural ODE controllers to implicitly regularize control energy.


title: Local Plastic Response and Slow Heterogeneous Dynamics of Supercooled Liquids

abstract: We demonstrate, via numerical simulations, that the relaxation dynamics of supercooled liquids correlates well with a plastic length scale measuring a particle's response to impulsive localized perturbations and weakly to measures of local elasticity. We find that the particle averaged plastic length scale vanishes linearly in temperature and controls the super-Arrhenius temperature dependence of the relaxation time. Furthermore, we show that the plastic length scale of individual particles correlates with their typical displacement at the relaxation time. In contrast, the local elastic response only correlates with the dynamics on the vibrational time scale.


title: S-spaces and large continuum

abstract: We prove that it is consistent with large values of the continuum that there are no S-spaces. We also show that we can also have that compact separable spaces of countable tightness have cardinality at most the continuum.


title: Model-Free Feedback Constrained Optimization Via Projected Primal-Dual Zeroth-Order Dynamics

abstract: In this paper, we propose a model-free feedback solution method to solve generic constrained optimization problems, without knowing the specific formulations of the objective and constraint functions. This solution method is termed projected primal-dual zeroth-order dynamics (P-PDZD) and is developed based on projected primal-dual gradient dynamics and extremum seeking control. In particular, the P-PDZD method can be interpreted as a model-free controller that autonomously drives an unknown system to the solution of the optimization problem using only output feedback. The P-PDZD can properly handle both the hard and asymptotic constraints, and we develop the decentralized version of P-PDZD when applied to multi-agent systems. Moreover, we prove that the P-PDZD achieves semi-global practical asymptotic stability and structural robustness. We then apply the decentralized P-PDZD to the optimal voltage control problem in power distribution systems with square probing signals, and the simulation results verified the optimality, robustness, and adaptivity of the P-PDZD method.


title: A view of mini-batch SGD via generating functions: conditions of convergence, phase transitions, benefit from negative momenta

abstract: Mini-batch SGD with momentum is a fundamental algorithm for learning large predictive models. In this paper we develop a new analytic framework to analyze noise-averaged properties of mini-batch SGD for linear models at constant learning rates, momenta and sizes of batches. Our key idea is to consider the dynamics of the second moments of model parameters for a special family of "Spectrally Expressible" approximations. This allows to obtain an explicit expression for the generating function of the sequence of loss values. By analyzing this generating function, we find, in particular, that 1) the SGD dynamics exhibits several convergent and divergent regimes depending on the spectral distributions of the problem; 2) the convergent regimes admit explicit stability conditions, and explicit loss asymptotics in the case of power-law spectral distributions; 3) the optimal convergence rate can be achieved at negative momenta. We verify our theoretical predictions by extensive experiments with MNIST, CIFAR10 and synthetic problems, and find a good quantitative agreement.


title: Pullback formulas for arithmetic cycles

abstract: On an orthogonal Shimura variety, one has a collection of special cycles in the Gillet-Soule arithmetic Chow group. We describe how these cycles behave under pullback to an embedded orthogonal Shimura variety of lower dimension. The bulk of the paper is devoted to cases in which the special cycles intersect the embedded Shimura variety improperly, for which we construct logarithmic expansions of certain Green currents on the deformation to the normal bundle of the embedding.


title: Explanation-based Counterfactual Retraining(XCR): A Calibration Method for Black-box Models

abstract: With the rapid development of eXplainable Artificial Intelligence (XAI), a long line of past work has shown concerns about the Out-of-Distribution (OOD) problem in perturbation-based post-hoc XAI models and explanations are socially misaligned. We explore the limitations of post-hoc explanation methods that use approximators to mimic the behavior of black-box models. Then we propose eXplanation-based Counterfactual Retraining (XCR), which extracts feature importance fastly. XCR applies the explanations generated by the XAI model as counterfactual input to retrain the black-box model to address OOD and social misalignment problems. Evaluation of popular image datasets shows that XCR can improve model performance when only retaining 12.5% of the most crucial features without changing the black-box model structure. Furthermore, the evaluation of the benchmark of corruption datasets shows that the XCR is very helpful for improving model robustness and positively impacts the calibration of OOD problems. Even though not calibrated in the validation set like some OOD calibration methods, the corrupted data metric outperforms existing methods. Our method also beats current OOD calibration methods on the OOD calibration metric if calibration on the validation set is applied.


title: CNN-based fully automatic wrist cartilage volume quantification in MR Image

abstract: Detection of cartilage loss is crucial for the diagnosis of osteo- and rheumatoid arthritis. A large number of automatic segmentation tools have been reported so far for cartilage assessment in magnetic resonance images of large joints. As compared to knee or hip, wrist cartilage has a more complex structure so that automatic tools developed for large joints are not expected to be operational for wrist cartilage segmentation. In that respect, a fully automatic wrist cartilage segmentation method would be of high clinical interest. We assessed the performance of four optimized variants of the U-Net architecture with truncation of its depth and addition of attention layers (U-Net_AL). The corresponding results were compared to those from a patch-based convolutional neural network (CNN) we previously designed. The segmentation quality was assessed on the basis of a comparative analysis with manual segmentation using several morphological (2D DSC, 3D DSC, precision) and a volumetric metrics. The four networks outperformed the patch-based CNN in terms of segmentation homogeneity and quality. The median 3D DSC value computed with the U-Net_AL (0.817) was significantly larger than the corresponding DSC values computed with the other networks. In addition, the U-Net_AL CNN provided the lowest mean volume error (17%) and the highest Pearson correlation coefficient (0.765) with respect to the ground truth. Of interest, the reproducibility computed from using U-Net_AL was larger than the reproducibility of the manual segmentation. U-net convolutional neural network with additional attention layers provides the best wrist cartilage segmentation performance. In order to be used in clinical conditions, the trained network can be fine-tuned on a dataset representing a group of specific patients. The error of cartilage volume measurement should be assessed independently using a non-MRI method.


title: tntorch: Tensor Network Learning with PyTorch

abstract: We present tntorch, a tensor learning framework that supports multiple decompositions (including Candecomp/Parafac, Tucker, and Tensor Train) under a unified interface. With our library, the user can learn and handle low-rank tensors with automatic differentiation, seamless GPU support, and the convenience of PyTorch's API. Besides decomposition algorithms, tntorch implements differentiable tensor algebra, rank truncation, cross-approximation, batch processing, comprehensive tensor arithmetics, and more.


title: Social Insects and Beyond: The Physics of Soft, Dense Invertebrate Aggregations

abstract: Aggregation is a common behavior by which groups of organisms arrange into cohesive groups. Whether suspended in the air (like honey bee clusters), built on the ground (such as army ant bridges), or immersed in water (such as sludge worm blobs), these collectives serve a multitude of biological functions, from protection against predation to the ability to maintain a relatively desirable local environment despite a variable ambient environment. In this review, we survey dense aggregations of a variety of insects, other arthropods, and worms from a soft matter standpoint. An aggregation can be orders of magnitude larger than its individual organisms, consisting of tens to hundreds of thousands of individuals, and yet functions as a coherent entity. Understanding how aggregating organisms coordinate with one another to form a superorganism requires an interdisciplinary approach. We discuss how the physics of the aggregation can yield additional insights to those gained from ecological and physiological considerations, given that the aggregating individuals exchange information, energy, and matter continually with the environment and one another. While the connection between animal aggregations and the physics of non-living materials has been proposed since the early 1900s, the recent advent of physics of behavior studies provides new insights into social interactions governed by physical principles. Current efforts focus on eusocial insects; however, we show that these may just be the tip of an iceberg of superorganisms that take advantage of physical interactions and simple behavioral rules to adapt to changing environments. By bringing attention to a wide range of invertebrate aggregations, we wish to inspire a new generation of scientists to explore collective dynamics and bring a deeper understanding of the physics of dense living aggregations.


title: Multi-View Clustering for Open Knowledge Base Canonicalization

abstract: Open information extraction (OIE) methods extract plenty of OIE triples <noun phrase, relation phrase, noun phrase> from unstructured text, which compose large open knowledge bases (OKBs). Noun phrases and relation phrases in such OKBs are not canonicalized, which leads to scattered and redundant facts. It is found that two views of knowledge (i.e., a fact view based on the fact triple and a context view based on the fact triple's source context) provide complementary information that is vital to the task of OKB canonicalization, which clusters synonymous noun phrases and relation phrases into the same group and assigns them unique identifiers. However, these two views of knowledge have so far been leveraged in isolation by existing works. In this paper, we propose CMVC, a novel unsupervised framework that leverages these two views of knowledge jointly for canonicalizing OKBs without the need of manually annotated labels. To achieve this goal, we propose a multi-view CH K-Means clustering algorithm to mutually reinforce the clustering of view-specific embeddings learned from each view by considering their different clustering qualities. In order to further enhance the canonicalization performance, we propose a training data optimization strategy in terms of data quantity and data quality respectively in each particular view to refine the learned view-specific embeddings in an iterative manner. Additionally, we propose a Log-Jump algorithm to predict the optimal number of clusters in a data-driven way without requiring any labels. We demonstrate the superiority of our framework through extensive experiments on multiple real-world OKB data sets against state-of-the-art methods.


title: Variational Causal Dynamics: Discovering Modular World Models from Interventions

abstract: Latent world models allow agents to reason about complex environments with high-dimensional observations. However, adapting to new environments and effectively leveraging previous knowledge remain significant challenges. We present variational causal dynamics (VCD), a structured world model that exploits the invariance of causal mechanisms across environments to achieve fast and modular adaptation. By causally factorising a transition model, VCD is able to identify reusable components across different environments. This is achieved by combining causal discovery and variational inference to learn a latent representation and transition model jointly in an unsupervised manner. Specifically, we optimise the evidence lower bound jointly over a representation model and a transition model structured as a causal graphical model. In evaluations on simulated environments with state and image observations, we show that VCD is able to successfully identify causal variables, and to discover consistent causal structures across different environments. Moreover, given a small number of observations in a previously unseen, intervened environment, VCD is able to identify the sparse changes in the dynamics and to adapt efficiently. In doing so, VCD significantly extends the capabilities of the current state-of-the-art in latent world models while also comparing favourably in terms of prediction accuracy.


title: On the logical strength of the better quasi order with three elements

abstract: The notion of better quasi order ($\mathsf{BQO}$), due to Nash-Williams, is very fruitful mathematically and intriguing from the standpoint of logic, due to several long-standing open problems. In the present paper, we make a significant step towards one of these: Let $\mathbf 3$ be the discrete order with three elements. We show that arithmetical recursion along the natural numbers ($\mathsf{ACA}_0^+$) follows from $\mathbf 3$ being $\mathsf{BQO}$, over the base theory $\mathsf{RCA_0}$ from reverse mathematics. Also over the latter, we deduce arithmetical transfinite recursion ($\mathsf{ATR}_0$) from the assumption that $\mathbf 3$ is $\Delta^0_2\text{-}\mathsf{BQO}$, which plays a role in work of Montalb\'an.


title: Multi-party Secure Broad Learning System for Privacy Preserving

abstract: Multi-party learning is an indispensable technique for improving the learning performance via integrating data from multiple parties. Unfortunately, directly integrating multi-party data would not meet the privacy preserving requirements. Therefore, Privacy-Preserving Machine Learning (PPML) becomes a key research task in multi-party learning. In this paper, we present a new PPML method based on secure multi-party interactive protocol, namely Multi-party Secure Broad Learning System (MSBLS), and derive security analysis of the method. The existing PPML methods generally cannot simultaneously meet multiple requirements such as security, accuracy, efficiency and application scope, but MSBLS achieves satisfactory results in these aspects. It uses interactive protocol and random mapping to generate the mapped features of data, and then uses efficient broad learning to train neural network classifier. This is the first privacy computing method that combines secure multi-party computing and neural network. Theoretically, this method can ensure that the accuracy of the model will not be reduced due to encryption, and the calculation speed is very fast. We verify this conclusion on three classical datasets.


title: Open Vocabulary Object Detection with Proposal Mining and Prediction Equalization

abstract: Open-vocabulary object detection (OVD) aims to scale up vocabulary size to detect objects of novel categories beyond the training vocabulary. Recent work resorts to the rich knowledge in pre-trained vision-language models. However, existing methods are ineffective in proposal-level vision-language alignment. Meanwhile, the models usually suffer from confidence bias toward base categories and perform worse on novel ones. To overcome the challenges, we present MEDet, a novel and effective OVD framework with proposal mining and prediction equalization. First, we design an online proposal mining to refine the inherited vision-semantic knowledge from coarse to fine, allowing for proposal-level detection-oriented feature alignment. Second, based on causal inference theory, we introduce a class-wise backdoor adjustment to reinforce the predictions on novel categories to improve the overall OVD performance. Extensive experiments on COCO and LVIS benchmarks verify the superiority of MEDet over the competing approaches in detecting objects of novel categories, e.g., 32.6% AP50 on COCO and 22.4% mask mAP on LVIS.


title: Flow reactor for preparation of lipid nanoparticles via temperature variations

abstract: Lipid nanoemulsions and nanosuspensions are used as flavor carriers and bubble stabilizers in soft drinks and foods, as well as delivery vehicles for lipophilic drugs in pharmaceutics. Common techniques for their formation are the high-pressure and ultrasonic homogenizers. These techniques dissipate most of the input energy, which results in excessive heating and generation of free radicals that might modify sensitive ingredients. Low energy methods are also used in some applications, but they have specific limitations restricting their universal use. In the current study, we propose an alternative approach - a flow reactor with a variable temperature, which utilizes the lipids' polymorphic transitions to induce spontaneous fragmentation of the lipid microparticles into nanoparticles. The reactor allows us to obtain emulsions or suspensions with particle diameters tunable between 20 and 800 nm when appropriate surfactants, temperature profiles, and flow rates are applied. The fragmentation is comparable to that in a high-pressure homogenizer at ca. 500 bars or higher, without creating emulsion overheating or cavitation typical for the conventional methods. The flow reactor can be scaled up to industrial applications using simple scaling rules.


title: A Novel Three-Dimensional Navigation Method for the Visually Impaired

abstract: According to the World Health Organization, visual impairment is estimated to affect approximately 2.2 billion people worldwide. The visually impaired must currently rely on navigational aids to replace their sense of sight, like a white cane or GPS (Global Positioning System) based navigation, both of which fail to work well indoors. The white cane cannot be used to determine a user's position within a room, while GPS can often lose connection indoors and does not provide orientation information, making both approaches unsuitable for indoor use. Therefore, this research seeks to develop a 3D-imaging solution that enables contactless navigation through a complex indoor environment. The device can pinpoint a user's position and orientation with 31% less error compared to previous approaches while requiring only 53.1% of the memory, and processing 125% faster. The device can also detect obstacles with 60.2% more accuracy than the previous state-of-the-art models while requiring only 41% of the memory and processing 260% faster. When testing with human participants, the device allows for a 94.5% reduction in collisions with obstacles in the environment and allows for a 48.3% increase in walking speed, showing that my device enables safer and more rapid navigation for the visually impaired. All in all, this research demonstrates a 3D-based navigation system for the visually impaired. The approach can be used by a wide variety of mobile low-power devices, like cell phones, ensuring this research remains accessible to all.


title: Molecular engineering of metal-free perovskite MDABCO-NH4I3 towards enhanced ferroelectric polarization

abstract: Molecular ferroelectrics have attracted increasing interests over the past decade due to mechanical flexibility, chemical diversity, environmental friendliness, easy-processing, and lightness. The performance of molecular ferroelectrics is approaching more and more competitive to their inorganic counterparts. Despite the chemical diversity and tunability of the molecular cations or anions, molecular ferroelectrics are not abundant. In particular, physical directed design principles for new discovery or performance optimization are still lacking. Here, through first-principles calculations, we firstly reveal the importance of the molecular dipole moment of the polar cations in a molecular perovskite ferroelectric, and then propose a molecular dipole guided design rule for high-performance molecular ferroelectrics. Finally, the rule is validated by first-principles calculations. We anticipate that the rule is very useful in the field urging for new and high-performance molecular ferroelectrics.


title: Some useful operators on differential forms in Galilean and Carrollian spacetimes

abstract: Differential forms on Lorentzian spacetimes is a well-established subject. On Galilean and Carrollian spacetimes it does not seem to be quite so. This may be due to the absence of Hodge star operator. There are, however, potentially useful analogs of Hodge star operator also on the last two spacetimes, namely intertwining operators between corresponding representations on forms. Their use could perhaps make differential forms as attractive tool for physics on Galilean and Carrollian spacetimes as forms on Lorentzian spacetimes definitely proved to be.


title: Bond current in a mesoscopic ring -- signature of decoherence due to classical and quantum noise

abstract: A three-site mesoscopic ring provides an ideal setting for an exact calculation of the bond current when the ring is threaded by an Aharonov-Bohm flux. The bond current is a measurable outcome of the coherent properties of the quantum phase. However the coherence is impeded by noise when the ring is put in contact with an environment. This coherence-to-incoherence transition is analyzed in detail here for both classical (Gaussian and telegraphic) and quantum noise and a comparative assessment is made when the quantum noise is governed by a spin-boson Hamiltonian of dissipative quantum mechanics.


title: Understanding and Extending Subgraph GNNs by Rethinking Their Symmetries

abstract: Subgraph GNNs are a recent class of expressive Graph Neural Networks (GNNs) which model graphs as collections of subgraphs. So far, the design space of possible Subgraph GNN architectures as well as their basic theoretical properties are still largely unexplored. In this paper, we study the most prominent form of subgraph methods, which employs node-based subgraph selection policies such as ego-networks or node marking and deletion. We address two central questions: (1) What is the upper-bound of the expressive power of these methods? and (2) What is the family of equivariant message passing layers on these sets of subgraphs?. Our first step in answering these questions is a novel symmetry analysis which shows that modelling the symmetries of node-based subgraph collections requires a significantly smaller symmetry group than the one adopted in previous works. This analysis is then used to establish a link between Subgraph GNNs and Invariant Graph Networks (IGNs). We answer the questions above by first bounding the expressive power of subgraph methods by 3-WL, and then proposing a general family of message-passing layers for subgraph methods that generalises all previous node-based Subgraph GNNs. Finally, we design a novel Subgraph GNN dubbed SUN, which theoretically unifies previous architectures while providing better empirical performance on multiple benchmarks.