title: Exploring the Interactive Guidance for Unified and Effective Image Matting

abstract: Recent image matting studies are developing towards proposing trimap-free or interactive methods for complete complex image matting tasks. Although avoiding the extensive labors of trimap annotation, existing methods still suffer from two limitations: (1) For the single image with multiple objects, it is essential to provide extra interaction information to help determining the matting target; (2) For transparent objects, the accurate regression of alpha matte from RGB image is much more difficult compared with the opaque ones. In this work, we propose a Unified Interactive image Matting method, named UIM, which solves the limitations and achieves satisfying matting results for any scenario. Specifically, UIM leverages multiple types of user interaction to avoid the ambiguity of multiple matting targets, and we compare the pros and cons of different annotation types in detail. To unify the matting performance for transparent and opaque objects, we decouple image matting into two stages, i.e., foreground segmentation and transparency prediction. Moreover, we design a multi-scale attentive fusion module to alleviate the vagueness in the boundary region. Experimental results demonstrate that UIM achieves state-of-the-art performance on the Composition-1K test set and a synthetic unified dataset.


title: GraphMapper: Efficient Visual Navigation by Scene Graph Generation

abstract: Understanding the geometric relationships between objects in a scene is a core capability in enabling both humans and autonomous agents to navigate in new environments. A sparse, unified representation of the scene topology will allow agents to act efficiently to move through their environment, communicate the environment state with others, and utilize the representation for diverse downstream tasks. To this end, we propose a method to train an autonomous agent to learn to accumulate a 3D scene graph representation of its environment by simultaneously learning to navigate through said environment. We demonstrate that our approach, GraphMapper, enables the learning of effective navigation policies through fewer interactions with the environment than vision-based systems alone. Further, we show that GraphMapper can act as a modular scene encoder to operate alongside existing Learning-based solutions to not only increase navigational efficiency but also generate intermediate scene representations that are useful for other future tasks.


title: The choosability version of Brooks' theorem -- a short proof

abstract: We present a short and self-contained proof of the choosability version of Brooks' theorem.


title: Charge to Spin Conversion in van der Waals Metal NbSe2

abstract: Quantum materials with a large charge current-induced spin polarization are promising for next-generation all-electrical spintronic science and technology. Van der Waals metals with high spin-orbit coupling and novel spin textures have attracted significant attention for an efficient charge to spin conversion process. Here, we demonstrate the electrical generation of spin polarization in NbSe2 up to room temperature. To probe the current-induced spin polarization in NbSe2, we used a graphene-based non-local spin-valve device, where the spin-polarization in NbSe2 is efficiently injected and detected using non-local spin-switch and Hanle spin precession measurements. A significantly higher charge-spin conversion in NbSe2 is observed at a lower temperature, below the superconducting transition temperature Tc ~ 7 K of NbSe2. However, the charge-spin conversion signal could only be observed with a higher bias current above the superconducting critical current, limiting the observation of the signal only to the non-superconducting state of NbSe2. Systematic measurements provide the possible origins of the spin polarization to be predominantly due to the spin Hall effect or Rashba-Edelstein effect in NbSe2, considering different symmetry allowed charge-spin conversion processes.


title: Massive MIMO for Serving Federated Learning and Non-Federated Learning Users

abstract: With its privacy preservation and communication efficiency, federated learning (FL) has emerged as a promising learning framework for beyond 5G wireless networks. It is anticipated that future wireless networks will jointly serve both FL and downlink non-FL user groups in the same time-frequency resource. While in the downlink of each FL iteration, both groups jointly receive data from the base station in the same time-frequency resource, the uplink of each FL iteration requires bidirectional communication to support uplink transmission for FL users and downlink transmission for non-FL users. To overcome this challenge, we present half-duplex (HD) and full-duplex (FD) communication schemes to serve both groups. More specifically, we adopt the massive multiple-input multiple-output technology and aim to maximize the minimum effective rate of non-FL users under a quality of service (QoS) latency constraint for FL users. Since the formulated problem is highly nonconvex, we propose a power control algorithm based on successive convex approximation to find a stationary solution. Numerical results show that the proposed solutions perform significantly better than the considered baselines schemes. Moreover, the FD-based scheme outperforms the HD-based scheme in scenarios where the self-interference is small or moderate and/or the size of FL model updates is large.


title: Fronthaul Compression Control for shared Fronthaul Access Networks

abstract: There is a widely held belief that future Radio Access Network (RAN) architectures will be characterized by increased levels of virtualization, whereby base station functionalities, traditionally residing at a single location, will be scattered across different logical entities while being interfaced via high-speed fronthaul (FH) links. For the deployment of such FH links, operators are faced with the challenge of maintaining acceptable radio access performance while at the same time keeping deployment costs low. A common practice is to exploit statistical multiplexing by allowing several cells to utilize the same FH link. As a result, in order to cope with the resulting aggregated traffic, different techniques can be used to reduce the required FH data rates. Herein, we focus on FH compression control strategies for multiple-cell/multiple-user scenarios sharing a common FH link. We propose various methods for sounding reference signal (SRS) handling and analyze different FH-aware modulation data compression and scheduling strategies. Considering a full system setup, including the radio and FH access networks, numerical evaluation is conducted using a 5G NR system-level simulator implemented in ns-3. Simulation results show that, under stringent FH capacity constraints, optimized modulation compression strategies provide significant user-perceived throughput gains over baseline strategies (between 5.2x and 6.9x). On top of them, SRS handling methods achieve additional 2% to 41% gains.


title: Nonlinear Model Identification and Observer Design for Thrust Estimation of Small-scale Turbojet Engines

abstract: Jet-powered vertical takeoff and landing (VTOL) drones require precise thrust estimation to ensure adequate stability margins and robust maneuvering. Small-scale turbojets have become good candidates for powering heavy aerial drones. However, due to limited instrumentation available in these turbojets, estimating the precise thrust using classical techniques is not straightforward. In this paper, we present a methodology to accurately estimate the online thrust for the small-scale turbojets used on the iRonCub - an aerial humanoid robot. We use a grey-box method to capture the turbojet system dynamics with a nonlinear state-space model based on the data acquired from a custom engine test bench. This model is then used to design an extended Kalman filter that estimates the turbojet thrust only from the angular speed measurements. We exploited the parameter estimation algorithm to ensure that the EKF gives smooth and accurate estimates even at engine failures. The designed EKF was validated on the test bench where the mean absolute error in estimated thrust was found to be within 2% of rated peak thrust.


title: The Role of Inner HI Mass in Regulating the Scatter of the Mass-Metallicity Relation

abstract: We use 789 disk-like, star-forming galaxies (with 596 HI detections) from HI follow-up observations for the SDSS-IV MaNGA survey to study the possible role of inner HI gas in causing secondary dependences in the mass-gas-phase metallicity relation. We use the gas-phase metallicity derived at the effective radii of the galaxies. We derive the inner HI mass witHIn the optical radius, but also use the total HI mass and star formation rate (SFR) for a comparison. We confirm the anticorrelation between the total HI mass and gas-phase metallicity at fixed stellar mass, but the anticorrelation is significantly strengthened when the total HI mass is replaced by the inner HI mass. Introducing a secondary relation with the inner HI mass can produce a small but noticeable decrease (16%) in the scatter of the mass-gas-phase metallicity relation, in contrast to the negligible effect with the SFR. The correlation with the inner HI mass is robust when using different diagnostics of metallicity, but the correlation with SFR is not. The correlation with the inner HI mass becomes much weaker when the gas-phase metallicity is derived in the central region instead of at the effective radius. These results support the idea that the scatter in the mass-metallicity relation is regulated by gas accretion, and not directly by the SFR, and stress the importance of deriving the gas mass and the metallicity from roughly the same region. The new relation between inner HI mass and gas-phase metallicity will provide new constraints for chemical and galaxy evolution models.


title: Scalable algorithms for physics-informed neural and graph networks

abstract: Physics-informed machine learning (PIML) has emerged as a promising new approach for simulating complex physical and biological systems that are governed by complex multiscale processes for which some data are also available. In some instances, the objective is to discover part of the hidden physics from the available data, and PIML has been shown to be particularly effective for such problems for which conventional methods may fail. Unlike commercial machine learning where training of deep neural networks requires big data, in PIML big data are not available. Instead, we can train such networks from additional information obtained by employing the physical laws and evaluating them at random points in the space-time domain. Such physics-informed machine learning integrates multimodality and multifidelity data with mathematical models, and implements them using neural networks or graph networks. Here, we review some of the prevailing trends in embedding physics into machine learning, using physics-informed neural networks (PINNs) based primarily on feed-forward neural networks and automatic differentiation. For more complex systems or systems of systems and unstructured data, graph neural networks (GNNs) present some distinct advantages, and here we review how physics-informed learning can be accomplished with GNNs based on graph exterior calculus to construct differential operators; we refer to these architectures as physics-informed graph networks (PIGNs). We present representative examples for both forward and inverse problems and discuss what advances are needed to scale up PINNs, PIGNs and more broadly GNNs for large-scale engineering problems.


title: Out-of-equilibrium dynamics arising from slow round-trip variations of Hamiltonian parameters across quantum and classical critical points

abstract: We address the out-of-equilibrium dynamics of many-body systems subject to slow time-dependent round-trip protocols across quantum and classical (thermal) phase transitions. We consider protocols where one relevant parameter w is slowly changed across its critical point wc = 0, linearly in time with a large time scale ts, from wi < 0 to wf > 0 and then back to wi < 0, thus entailing multiple passages through the critical point. Analogously to the one-way Kibble-Zurek protocols across a critical point, round-trip protocols develop dynamic scaling behaviors at both classical and quantum transitions, put forward within renormalization-group frameworks. The scaling scenario is analyzed within some paradigmatic models undergoing quantum and classical transitions belonging to the two-dimensional Ising universality class, such as one-dimensional quantum Ising models and fermionic wires, and two-dimensional classical Ising models (supplemented with a purely relaxational dynamics). While the dynamic scaling frameworks are similar for classical and quantum systems, substantial differences emerge due to the different nature of their dynamics, which is purely relaxational for classical systems (implying thermalization in the large-time limit at fixed model parameters), and unitary in the case of quantum systems. In particular, when the critical point separates two gapped (short-ranged) phases and the extreme value wf > 0 is kept fixed in the large-ts limit of the round-trip protocol, we observe hysteresis-like scenarios in classical systems, while quantum systems do not apparently develop a sufficiently robust scaling limit along the return way, due to the presence of rapidly oscillating relative phases among the relevant quantum states.


title: Machine-learned control-oriented flow estimation for multiactuator multi-sensor systems exemplified for the fluidic pinball

abstract: We propose the first machine-learned control-oriented flow estimation for multiple-input multiple-output plants. Starting point is constant actuation with open-loop actuation commands leading to a database with simultaneously recorded actuation commands, sensor signals and flow fields. A key enabler is an estimator input vector comprising sensor signals and actuation commands. The mapping from the sensor signals and actuation commands to the flow fields is realized in an analytically simple, data-centric and general nonlinear approach. The analytically simple estimator generalizes Linear Stochastic Estimation (LSE) for actuation commands. The data-centric approach yields flow fields from estimator inputs by interpolating from the database -- similar to Loiseau et al. (2018) for unforced flow. The interpolation is performed with k Nearest Neighbors (kNN). The general global nonlinear mapping from inputs to flow fields is obtained from a Deep Neural Network (DNN) via an iterative training approach. The estimator comparison is performed for the fluidic pinball plant, which is a multiple-input, multiple-output wake control benchmark (Deng et al. 2020) featuring rich dynamics under steady controls. We conclude that the machine learning methods clearly outperform the linear model. The performance of kNN and DNN estimators are comparable for periodic dynamics. Yet, DNN performs consistently better when the flow is chaotic. Moreover, a thorough comparison regarding to the complexity, computational cost, and prediction accuracy is presented to demonstrate the relative merits of each estimator. The proposed method can be generalized for closed-loop flow control plants.


title: Explanation-Guided Fairness Testing through Genetic Algorithm

abstract: The fairness characteristic is a critical attribute of trusted AI systems. A plethora of research has proposed diverse methods for individual fairness testing. However, they are suffering from three major limitations, i.e., low efficiency, low effectiveness, and model-specificity. This work proposes ExpGA, an explanationguided fairness testing approach through a genetic algorithm (GA). ExpGA employs the explanation results generated by interpretable methods to collect high-quality initial seeds, which are prone to derive discriminatory samples by slightly modifying feature values. ExpGA then adopts GA to search discriminatory sample candidates by optimizing a fitness value. Benefiting from this combination of explanation results and GA, ExpGA is both efficient and effective to detect discriminatory individuals. Moreover, ExpGA only requires prediction probabilities of the tested model, resulting in a better generalization capability to various models. Experiments on multiple real-world benchmarks, including tabular and text datasets, show that ExpGA presents higher efficiency and effectiveness than four state-of-the-art approaches.


title: On Uncertainty of Dynamic Systems via State Aggregation Coarse-Graining and State Decomposition Fine-Graining Ways

abstract: Uncertainty is an important feature of dynamic systems, and entropy has been widely used to measure this attribute. In this Letter, we prove that state aggregation and decomposition can decrease and increase the entropy, respectively, of dynamic systems. More than 20 popular entropies in the literature are summarized and analyzed, and it is noted that none of them breaks this property. Finally, pertinent proofs are given for four cases.


title: Angular momentum and chaos bound of charged particles around Einstein-Euler-Heisenberg AdS black holes

abstract: In this paper, we investigate influences of the charge and angular momentum of a particle around a charged Einstein-Euler-Heisenberg AdS black hole on a Lyapunov exponent, and find spatial regions where the chaos bound is violated. Positions of circular orbits are gotten by fixing the charge and angular momentum of the particle, respectively. The positions gradually move away from the event horizon with the increase of the angular momentum when the charge is fixed and with the decrease of the charge when the angular momentum is fixed. For certain values of the charge, angular momentum and Euler-Heisenberg parameter, the spatial regions where the bound is violated are found. When the charge is fixed and the Euler-Heisenberg parameter is large, a small angular momentum causes the violation. Although the angular momentum is small, the corresponding spatial region is not small. An interesting discovery is that the bound is violated by the black hole when the particle's charge is less than 1 and $\Lambda =0$, but this requires the black hole's charge to be large enough. This violation may be related to the dynamical stability of the black hole. The backreaction of the particle on the background spacetime isn't considered in the investigation.


title: High capacity topological coding based on nested vortex knots and links

abstract: Optical knots and links have attracted great attention because of their exotic topological characteristics. Recent investigations have shown that the information encoding based on optical knots could possess robust features against external perturbations. However, as a superior coding scheme, it is also necessary to achieve a high capacity, which is hard to be fulfilled by existing knot-carriers owing to the limit number of associated topological invariants. Thus, how to realize the knot-based information coding with a high capacity is a key problem to be solved. Here, we create a type of nested vortex knot, and show that it can be used to fulfill the robust information coding with a high capacity assisted by a large number of intrinsic topological invariants. In experiments, we design and fabricate metasurface holograms to generate light fields sustaining different kinds of nested vortex links. Furthermore, we verify the feasibility of the high-capacity coding scheme based on those topological optical knots. Our work opens another way to realize the robust and high capacity optical coding, which may have useful impacts on the field of information transfer and storage.


title: Variational and phase response analysis for limit cycles with hard boundaries, with applications to neuromechanical control problems

abstract: Motor systems show an overall robustness, but because they are highly nonlinear, understanding how they achieve robustness is difficult. In many rhythmic systems, robustness against perturbations involves response of both the shape and the timing of the trajectory. This makes the study of robustness even more challenging. To understand how a motor system produces robust behaviors in a variable environment, we consider a neuromechanical model of motor patterns in the feeding apparatus of the marine mollusk \textit{Aplysia californica} \citep{shaw2015,lyttle2017}. We established in \citep{WGCT2021} the tools for studying combined shape and timing responses of limit cycle systems under sustained perturbations and here apply them to study robustness of the neuromechanical model against increased mechanical load during swallowing. Interestingly, we discover that nonlinear biomechanical properties confer resilience by immediately increasing resistance to applied loads. In contrast, the effect of changed sensory feedback signal is significantly delayed by the firing rates' hard boundary properties. Our analysis suggests that sensory feedback contributes to robustness in swallowing primarily by shifting the timing of neural activation involved in the power stroke of the motor cycle (retraction). This effect enables the system to generate stronger retractor muscle forces to compensate for the increased load, and hence achieve strong robustness. The approaches that we are applying to understanding a neuromechanical model in \textit{Aplysia}, and the results that we have obtained, are likely to provide insights into the function of other motor systems that encounter changing mechanical loads and hard boundaries, both due to mechanical and neuronal firing properties.


title: A unified framework for dataset shift diagnostics

abstract: Supervised learning techniques typically assume training data originates from the target population. Yet, in reality, dataset shift frequently arises, which, if not adequately taken into account, may decrease the performance of their predictors. In this work, we propose a novel and flexible framework called DetectShift that quantifies and tests for multiple dataset shifts, encompassing shifts in the distributions of $(X, Y)$, $X$, $Y$, $X|Y$, and $Y|X$. DetectShift equips practitioners with insights into data shifts, facilitating the adaptation or retraining of predictors using both source and target data. This proves extremely valuable when labeled samples in the target domain are limited. The framework utilizes test statistics with the same nature to quantify the magnitude of the various shifts, making results more interpretable. It is versatile, suitable for regression and classification tasks, and accommodates diverse data forms - tabular, text, or image. Experimental results demonstrate the effectiveness of DetectShift in detecting dataset shifts even in higher dimensions.


title: Cohomology and formal deformations of n-Hom-Lie color algebras

abstract: The aim of this paper is to provide a cohomology of $n$-Hom-Lie color algebras governing one parameter formal deformations. Then, we study formal deformations of a $n$-Hom-Lie color algebra and introduce the notion of Nijenhuis operator on an $n$-Hom-Lie color algebra, which could give rise to infinitesimally trivial $(n-1)$-order deformations. Furthermore, in connection with Nijenhuis operators we introduce and discuss the notion of a product structure on $n$-Hom-Lie color algebras.


title: Radiative heat transfer with a cylindrical waveguide decays logarithmically slow

abstract: Radiative heat transfer between two far-field-separated nanoparticles placed close to a perfectly conducting nanowire decays logarithmically slow with the interparticle distance. This makes a cylinder an excellent waveguide which can transfer thermal electromagnetic energy to arbitrary large distances with almost no loss. It leads to a dramatic increase of the heat transfer, so that, for almost any (large) separation, the transferred energy can be as large as for isolated particles separated by a few hundred nanometers. A phenomenologically found analytical formula accurately describes the numerical results over a wide range of parameters.


title: Moving Stuff Around: A study on efficiency of moving documents into memory for Neural IR models

abstract: When training neural rankers using Large Language Models, it's expected that a practitioner would make use of multiple GPUs to accelerate the training time. By using more devices, deep learning frameworks, like PyTorch, allow the user to drastically increase the available VRAM pool, making larger batches possible when training, therefore shrinking training time. At the same time, one of the most critical processes, that is generally overlooked when running data-hungry models, is how data is managed between disk, main memory and VRAM. Most open source research implementations overlook this memory hierarchy, and instead resort to loading all documents from disk to main memory and then allowing the framework (e.g., PyTorch) to handle moving data into VRAM. Therefore, with the increasing sizes of datasets dedicated to IR research, a natural question arises: s this the optimal solution for optimizing training time? We here study how three different popular approaches to handling documents for IR datasets behave and how they scale with multiple GPUs. Namely, loading documents directly into memory, reading documents directly from text files with a lookup table and using a library for handling IR datasets (ir_datasets) differ, both in performance (i.e. samples processed per second) and memory footprint. We show that, when using the most popular libraries for neural ranker research (i.e. PyTorch and Hugging Face's Transformers), the practice of loading all documents into main memory is not always the fastest option and is not feasible for setups with more than a couple GPUs. Meanwhile, a good implementation of data streaming from disk can be faster, while being considerably more scalable. We also show how popular techniques for improving loading times, like memory pining, multiple workers, and RAMDISK usage, can reduce the training time further with minor memory overhead.


title: Solitary waves on flows with an exponentially sheared current and stagnation points

abstract: While several articles have been written on water waves on flows with constant vorticity, little is known about the extent to which a nonconstant vorticity affects the flow structure, such as the appearance of stagnation points. In order to shed light on this topic, we investigate in detail the flow beneath solitary waves propagating on an exponentially decaying sheared current. Our focus is to analyse numerically the emergence of stagnation points. For this purpose, we approximate the velocity field within the fluid bulk through the classical Korteweg-de Vries asymptotic expansion and use the Matlab language to evaluate the resulting streamfunction. Our findings suggest that the flow beneath the waves can have zero, one or two stagnation points in the fluid body. We also study the bifurcation between these flows. Our simulations indicate that the stagnation points emerge from a streamline with a sharp corner.


title: A compartmental model for cyber-epidemics

abstract: In our more and more interconnected world, a specific risk is that of a cyber-epidemic (or cyber-pandemic), produced either accidentally or intentionally, where a cyber virus propagates from device to device up to undermining the global Internet system with devastating consequences in terms of economic costs and societal harms related to the shutdown of essential services. We introduce a compartmental model for studying the spreading of a malware and of the awareness of its incidence through different waves which are evolving on top of the same graph structure (the global network of connected devices). This is realized by considering vectorial compartments made of two components, the first being descriptive of the state of the device with respect to the new malware's propagation, and the second accounting for the awareness of the device's user about the presence of the cyber threat. By introducing suitable transition rates between such compartments, one can then follow the evolution of a cyber-epidemic from the moment at which a new virus is seeded in the network, up to when a given user realizes that his/her device has suffered a damage and consequently starts a wave of awareness which eventually ends up with the development of a proper antivirus software. We then compare the overall damage that a malware is able to produce in Erd\H{o}s-R\'enyi and scale-free network architectures for both the case in which the virus is causing a fixed damage on each device and the case where, instead, the virus is engineered to mutate while replicating from device to device. Our result constitute actually the attempt to build a specific compartmental model whose variables and parameters are entirely customized for describing cyber-epidemics.


title: Soap bubbles on the surface of a liquid: a playful universe in 3+1 dimensions, a real universe in 4+1 dimensions

abstract: Very simple experiments based on an analogy between two theories (gravitation and capillarity) allowed us to construct a two dimension space toy-universe composed of the surface of a three-dimensional water tank with floating soap bubbles and bubble clusters.This very simple approach leads to a surprising description of our universe with, in particular, the existence of a fourth dimension inaccessible to us. Such a 4th macroscopic dimension suggests the existence of a huge 4 D tank of heavy fluid (analogous to our 3 D water tank) sitting below our three dimensional universe (which is the surface of the main 4 dimensions universe). Among other consequences:an original interpretation of the event horizon of black holes or a simple answer to the problem of missing dark matter.


title: Landing AI on Networks: An equipment vendor viewpoint on Autonomous Driving Networks

abstract: The tremendous achievements of Artificial Intelligence (AI) in computer vision, natural language processing, games and robotics, has extended the reach of the AI hype to other fields: in telecommunication networks, the long term vision is to let AI fully manage, and autonomously drive, all aspects of network operation. In this industry vision paper, we discuss challenges and opportunities of Autonomous Driving Network (ADN) driven by AI technologies. To understand how AI can be successfully landed in current and future networks, we start by outlining challenges that are specific to the networking domain, putting them in perspective with advances that AI has achieved in other fields. We then present a system view, clarifying how AI can be fitted in the network architecture. We finally discuss current achievements as well as future promises of AI in networks, mentioning a roadmap to avoid bumps in the road that leads to true large-scale deployment of AI technologies in networks.


title: La Antimateria

abstract: Antimatter is one of the most fascinating aspects of Particle Physics and one of the most unknown ones too. In this article we concisely explain what is antimatter and its distinction between primordial and secondary, how it is produced, where it can be found, the experiments carried out at CERN to create and analyze antiatoms, the problem of the matter-antimatter asymmetry, and the medical and technological applications of antimatter in our society. -- La antimateria es uno de los aspectos m\'as fascinantes de la F\'isica de Part\'iculas, y tambi\'en uno de los m\'as desconocidos. En este art\'iculo explicamos concisamente qu\'e es la antimateria y su diferenciaci\'on entre primordial y secundaria, c\'omo se produce, donde se encuentra, los experimentos que se realizan en el CERN para crear y analizar anti\'atomos, el problema de la asimetr\'ia materia-antimateria, y las aplicaciones m\'edicas y tecnol\'ogicas de la antimateria en nuestra sociedad.


title: Topological Signal Processing using the Weighted Ordinal Partition Network

abstract: One of the most important problems arising in time series analysis is that of bifurcation, or change point detection. That is, given a collection of time series over a varying parameter, when has the structure of the underlying dynamical system changed? For this task, we turn to the field of topological data analysis (TDA), which encodes information about the shape and structure of data. The idea of utilizing tools from TDA for signal processing tasks, known as topological signal processing (TSP), has gained much attention in recent years, largely through a standard pipeline that computes the persistent homology of the point cloud generated by the Takens' embedding. However, this procedure is limited by computation time since the simplicial complex generated in this case is large, but also has a great deal of redundant data. For this reason, we turn to a more recent method for encoding the structure of the attractor, which constructs an ordinal partition network (OPN) representing information about when the dynamical system has passed between certain regions of state space. The result is a weighted graph whose structure encodes information about the underlying attractor. Our previous work began to find ways to package the information of the OPN in a manner that is amenable to TDA; however, that work only used the network structure and did nothing to encode the additional weighting information. In this paper, we take the next step: building a pipeline to analyze the weighted OPN with TDA and showing that this framework provides more resilience to noise or perturbations in the system and improves the accuracy of the dynamic state detection.


title: RISCLESS: A Reinforcement Learning Strategy to Exploit Unused Cloud Resources

abstract: One of the main objectives of Cloud Providers (CP) is to guarantee the Service-Level Agreement (SLA) of customers while reducing operating costs. To achieve this goal, CPs have built large-scale datacenters. This leads, however, to underutilized resources and an increase in costs. A way to improve the utilization of resources is to reclaim the unused parts and resell them at a lower price. Providing SLA guarantees to customers on reclaimed resources is a challenge due to their high volatility. Some state-of-the-art solutions consider keeping a proportion of resources free to absorb sudden variation in workloads. Others consider stable resources on top of the volatile ones to fill in for the lost resources. However, these strategies either reduce the amount of reclaimable resources or operate on less volatile ones such as Amazon Spot instance. In this paper, we proposed RISCLESS, a Reinforcement Learning strategy to exploit unused Cloud resources. Our approach consists of using a small proportion of stable on-demand resources alongside the ephemeral ones in order to guarantee customers SLA and reduce the overall costs. The approach decides when and how much stable resources to allocate in order to fulfill customers' demands. RISCLESS improved the CPs' profits by an average of 15.9% compared to state-of-the-art strategies. It also reduced the SLA violation time by an average of 36.7% while increasing the amount of used ephemeral resources by 19.5% on average


title: In der Unruhe liegt die Kraft

abstract: Fluctuations are ubiquitous in nature. They are one of the fundamental building blocks of quantum mechanics and are responsible for a wide variety of phenomena in many areas of physics, ranging from biology to cosmology. Far from any classical intuition, quantum fluctuations are for instance responsible for the appearance of forces between non-magnetic and electrically neutral objects in vacuum, which seem to arise out of nothing. Ever since, quantum fluctuations have fascinated basic research providing new insights into physics and their understanding is becoming increasingly important for various future technologies. -- Fluktuationen sind allgegenw\"{a}rtig. Sie bilden einen fundamentalen Baustein der Quantenmechanik und sind verantwortlich f\"{u}r die unterschiedlichsten Ph\"{a}nomene, angefangen in der Biologie bis hin zur Kosmologie. Fern jeder klassischen Intuition findet man zum Beispiel Kr\"{a}fte zwischen nichtmagnetischen und elektrisch neutralen Objekten. Einzig bedingt durch Quantenfluktuationen entstehen diese Kr\"{a}fte wie aus dem Nichts. Seit jeher begeistern sie die Grundlagenforschung mit neuen Einsichten und gewinnen immer mehr an Bedeutung f\"{u}r verschiedene Zukunftstechnologien.


title: Dust Production in a Thin Dense Shell in Supernovae with Early Circumstellar Interactions

abstract: In supernovae (SNe), where the light curves show evidence of strong and early interaction between the ejecta and the circumstellar matter (CSM), the formation of new dust is estimated to take place in a dense shell of gas between the forward (FS) and the reverse shock (RS). For the first time, in this study, the mechanism of dust formation in this dense shell is modeled. A set of 9 cases, considering variations of the ejecta mass, and the pre-explosion mass-loss rates is considered, accounting for the diverse nature of interactions reported in such SNe. For a single main sequence mass, the variation of ejecta mass was manifested as a variation of the H-shell mass of the star, lost due to pre-explosion mass-loss. We find that the dust masses in the dense shell range between 10$^{-3}$ M$_{\odot}$ and 0.8 M$_{\odot}$, composed of O-rich and C-rich grains, whose relative proportions are determined by the nature of interaction. Dust formation in the post-shock gas is characterized by a gradual production rate, mostly ranging from 10$^{-6}$ to 10$^{-3}$ M$_{\odot}$ day$^{-1}$, which may continue for a decade, post-explosion. A higher mass-loss rate leads to a larger mass of dust, while a smaller ejecta mass (smaller left-over H-shell) increases the efficiency of dust production in such SNe. Dust formed behind the RS, as in our calculations, is not subject to destruction by either the FS or RS and is thus likely to survive in larger proportion than dust formed in the ejecta.


title: A General Framework for a Class of Quarrels: The Quarrelling Paradox Revisited

abstract: If a measure of voting power assigns greater voting power to a player because it no longer effectively cooperates with another, then the measure displays the quarrelling paradox and violates the quarrel postulate. We provide formal criteria by which to judge whether a given conception of quarrelling is (a) reasonable and (b) fit to serve as the basis for a reasonable quarrel postulate. To achieve this, we formalize a general framework distinguishing between three degrees of quarrelling (weak, strong, cataclysmic), symmetric vs. asymmetrical quarrels, and reciprocal vs. non-reciprocal quarrels, and which thereby yields twelve conceptions of quarrelling, which encompasses the two conceptions proposed by Felsenthal and Machover and by Laruelle and Valenciano, respectively. We argue that the two existing formulations of the quarrel postulate based on these conceptions are unreasonable. In contrast, we prove that the symmetric, weak conception of quarrelling identified by our framework -- whether reciprocal or not -- is fit to serve as the basis for a reasonable quarrel postulate. Furthermore, the classic Shapley-Shubik index and Penrose-Banzhaf measure both satisfy the quarrel postulate based on a symmetric weak quarrel.


title: Constructive Analysis in the Agda Proof Assistant

abstract: Proof assistant software has recently been used to verify proofs of major theorems, yet even the libraries of some of the most prominent proof assistants lack much of undergraduate mathematics. In particular, the Agda proof assistant has no formalization of the real numbers and their arithmetic. In this thesis, I present my implementation of Errett Bishop's constructive real numbers in Agda, including their arithmetic, ordering, and fundamental results, such as uncountability and Cauchy completeness. We will also survey the basic concepts of constructive analysis and the Agda proof assistant.


title: Demystifying the Data Need of ML-surrogates for CFD Simulations

abstract: Computational fluid dynamics (CFD) simulations, a critical tool in various engineering applications, often require significant time and compute power to predict flow properties. The high computational cost associated with CFD simulations significantly restricts the scope of design space exploration and limits their use in planning and operational control. To address this issue, machine learning (ML) based surrogate models have been proposed as a computationally efficient tool to accelerate CFD simulations. However, a lack of clarity about CFD data requirements often challenges the widespread adoption of ML-based surrogates among design engineers and CFD practitioners. In this work, we propose an ML-based surrogate model to predict the temperature distribution inside the cabin of a passenger vehicle under various operating conditions and use it to demonstrate the trade-off between prediction performance and training dataset size. Our results show that the prediction accuracy is high and stable even when the training size is gradually reduced from 2000 to 200. The ML-based surrogates also reduce the compute time from ~30 minutes to around ~9 milliseconds. Moreover, even when only 50 CFD simulations are used for training, the temperature trend (e.g., locations of hot/cold regions) predicted by the ML-surrogate matches quite well with the results from CFD simulations.


title: DouFu: A Double Fusion Joint Learning Method For Driving Trajectory Representation

abstract: Driving trajectory representation learning is of great significance for various location-based services, such as driving pattern mining and route recommendation. However, previous representation generation approaches tend to rarely address three challenges: 1) how to represent the intricate semantic intentions of mobility inexpensively; 2) complex and weak spatial-temporal dependencies due to the sparsity and heterogeneity of the trajectory data; 3) route selection preferences and their correlation to driving behavior. In this paper, we propose a novel multimodal fusion model, DouFu, for trajectory representation joint learning, which applies multimodal learning and attention fusion module to capture the internal characteristics of trajectories. We first design movement, route, and global features generated from the trajectory data and urban functional zones and then analyze them respectively with the attention encoder or feed forward network. The attention fusion module incorporates route features with movement features to create a better spatial-temporal embedding. With the global semantic feature, DouFu produces a comprehensive embedding for each trajectory. We evaluate representations generated by our method and other baseline models on classification and clustering tasks. Empirical results show that DouFu outperforms other models in most of the learning algorithms like the linear regression and the support vector machine by more than 10%.


title: Minimum Tournaments with the Strong $S_k$-Property and Implications for Teaching

abstract: A tournament is said to have the $S_k$-property if, for any set of $k$ players, there is another player who beats them all. Minimum tournaments having this property have been explored very well in the 1960's and the early 1970's. In this paper, we define a strengthening of the $S_k$-property that we name "strong $S_k$-property". We show, first, that several basic results on the weaker notion remain valid for the stronger notion (and the corresponding modification of the proofs requires only little extra-effort). Second, it is demonstrated that the stronger notion has applications in the area of Teaching. Specifically, we present an infinite family of concept classes all of which can be taught with a single example in the No-Clash model of teaching while, in order to teach a class $\cC$ of this family in the recursive model of teaching, order of $\log|\cC|$ many examples are required. This is the first paper that presents a concrete and easily constructible family of concept classes which separates the No-Clash from the recursive model of teaching by more than a constant factor. The separation by a logarithmic factor is remarkable because the recursive teaching dimension is known to be bounded by $\log |\cC|$ for any concept class $\cC$.


title: Perturbation of Deep Autoencoder Weights for Model Compression and Classification of Tabular Data

abstract: Fully connected deep neural networks (DNN) often include redundant weights leading to overfitting and high memory requirements. Additionally, the performance of DNN is often challenged by traditional machine learning models in tabular data classification. In this paper, we propose periodical perturbations (prune and regrow) of DNN weights, especially at the self-supervised pre-training stage of deep autoencoders. The proposed weight perturbation strategy outperforms dropout learning in four out of six tabular data sets in downstream classification tasks. The L1 or L2 regularization of weights at the same pretraining stage results in inferior classification performance compared to dropout or our weight perturbation routine. Unlike dropout learning, the proposed weight perturbation routine additionally achieves 15% to 40% sparsity across six tabular data sets for the compression of deep pretrained models. Our experiments reveal that a pretrained deep autoencoder with weight perturbation or dropout can outperform traditional machine learning in tabular data classification when fully connected DNN fails miserably. However, traditional machine learning models appear superior to any deep models when a tabular data set contains uncorrelated variables. Therefore, the success of deep models can be attributed to the inevitable presence of correlated variables in real-world data sets.


abstract: Lower bounds for the number of local nearrings on groups of order $p^3$ are obtained. On each non-metacyclic non-abelian or metacyclic abelian groups of order $p^3$ there exist at least $p+1$ non-isomorphic local nearrings


title: Quasiparticle Self-Consistent $GW$-Bethe-Salpeter equation calculations for large chromophoric systems

abstract: The $GW$-Bethe-Salpeter Equation (BSE) method is promising for calculating the low-lying excited states of molecular systems. So far, it has only been applied to rather small molecules, and in the commonly implemented diagonal approximations to the electronic self-energy it depends on a mean-field starting point. We describe here an implementation of the self-consistent and starting-point independent quasiparticle self-consistent (qs$GW$)-BSE approach which is suitable for calculations on large molecules. We herein show that eigenvalue-only self-consistency leads to an unfaithful description of certain excitonic states for Chlorophyll dimers while the qs$GW$-BSE vertical excitation energies (VEE) are in excellent agreement with spectroscopic experiments for Chlorophyll monomers and dimers measured in the gas phase. On the other hand, VEEs from time-dependent density functional theory calculations tend to disagree with experimental values and using different range-separated hybrid (RSH) kernels changes the VEEs by up to 0.5 eV. We use the new qs$GW$-BSE implementation to calculate the lowest excitation energies of the six chromophores of the photosystem II (PSII) reaction center (RC) with nearly 2000 correlated electrons. Using more than 11000 (6000) basis functions, the calculation could be completed in less than 5 (2) days one a single modern compute node. In agreement with previous TD-DFT calculations using RSH kernels on models that do also not include environment effects, our qs$GW$-BSE calculations only yield states with local character in the low-energy spectrum of the hexameric complex. Earlier work with RSH kernels has demonstrated that the protein environment facilitates the experimentally observed interchromophoric charge transfer. Therefore, future research will need to combine correlation effects beyond TD-DFT with an explicit treatment of environment electrostatics.


title: Dynamics of flexible filaments in oscillatory shear flows

abstract: The fluid-structure interactions between flexible fibers and viscous flows play an essential role in various biological phenomena, medical problems, and industrial processes. Of particular interest is the case of particles freely transported in time-dependent flows. This work elucidates the dynamics and morphologies of actin filaments under oscillatory shear flows by combining microfluidic experiments, numerical simulations, and theoretical modeling. Our work reveals that, in contrast to steady shear flows, in which small orientational fluctuations from a flow-aligned state initiate tumbling and deformations, the periodic flow reversal allows the filament to explore many different configurations at the beginning of each cycle. Investigation of filament motion during half time periods of oscillation highlights the critical role of the initial filament orientation on the emergent dynamics. This strong coupling between orientation and deformation results in new deformation regimes and novel higher-order buckling modes absent in steady shear flows. The primary outcome of our analysis is the possibility of suppression of buckling instabilities for certain combinations of the oscillation frequency and initial filament orientation, even in very strong flows. We explain this unusual behavior through a weakly nonlinear Landau theory of buckling, in which we treat the filaments as inextensible Brownian Euler-Bernoulli rods whose hydrodynamics are described by local slender-body theory.


title: LPC-AD: Fast and Accurate Multivariate Time Series Anomaly Detection via Latent Predictive Coding

abstract: This paper proposes LPC-AD, a fast and accurate multivariate time series (MTS) anomaly detection method. LPC-AD is motivated by the ever-increasing needs for fast and accurate MTS anomaly detection methods to support fast troubleshooting in cloud computing, micro-service systems, etc. LPC-AD is fast in the sense that its reduces the training time by as high as 38.2% compared to the state-of-the-art (SOTA) deep learning methods that focus on training speed. LPC-AD is accurate in the sense that it improves the detection accuracy by as high as 18.9% compared to SOTA sophisticated deep learning methods that focus on enhancing detection accuracy. Methodologically, LPC-AD contributes a generic architecture LPC-Reconstruct for one to attain different trade-offs between training speed and detection accuracy. More specifically, LPC-Reconstruct is built on ideas from autoencoder for reducing redundancy in time series, latent predictive coding for capturing temporal dependence in MTS, and randomized perturbation for avoiding overfitting of anomalous dependence in the training data. We present simple instantiations of LPC-Reconstruct to attain fast training speed, where we propose a simple randomized perturbation method. The superior performance of LPC-AD over SOTA methods is validated by extensive experiments on four large real-world datasets. Experiment results also show the necessity and benefit of each component of the LPC-Reconstruct architecture and that LPC-AD is robust to hyper parameters.


title: REAL ML: Recognizing, Exploring, and Articulating Limitations of Machine Learning Research

abstract: Transparency around limitations can improve the scientific rigor of research, help ensure appropriate interpretation of research findings, and make research claims more credible. Despite these benefits, the machine learning (ML) research community lacks well-developed norms around disclosing and discussing limitations. To address this gap, we conduct an iterative design process with 30 ML and ML-adjacent researchers to develop and test REAL ML, a set of guided activities to help ML researchers recognize, explore, and articulate the limitations of their research. Using a three-stage interview and survey study, we identify ML researchers' perceptions of limitations, as well as the challenges they face when recognizing, exploring, and articulating limitations. We develop REAL ML to address some of these practical challenges, and highlight additional cultural challenges that will require broader shifts in community norms to address. We hope our study and REAL ML help move the ML research community toward more active and appropriate engagement with limitations.


title: Network Gradient Descent Algorithm for Decentralized Federated Learning

abstract: We study a fully decentralized federated learning algorithm, which is a novel gradient descent algorithm executed on a communication-based network. For convenience, we refer to it as a network gradient descent (NGD) method. In the NGD method, only statistics (e.g., parameter estimates) need to be communicated, minimizing the risk of privacy. Meanwhile, different clients communicate with each other directly according to a carefully designed network structure without a central master. This greatly enhances the reliability of the entire algorithm. Those nice properties inspire us to carefully study the NGD method both theoretically and numerically. Theoretically, we start with a classical linear regression model. We find that both the learning rate and the network structure play significant roles in determining the NGD estimator's statistical efficiency. The resulting NGD estimator can be statistically as efficient as the global estimator, if the learning rate is sufficiently small and the network structure is well balanced, even if the data are distributed heterogeneously. Those interesting findings are then extended to general models and loss functions. Extensive numerical studies are presented to corroborate our theoretical findings. Classical deep learning models are also presented for illustration purpose.


title: Deep Supervised Information Bottleneck Hashing for Cross-modal Retrieval based Computer-aided Diagnosis

abstract: Mapping X-ray images, radiology reports, and other medical data as binary codes in the common space, which can assist clinicians to retrieve pathology-related data from heterogeneous modalities (i.e., hashing-based cross-modal medical data retrieval), provides a new view to promot computeraided diagnosis. Nevertheless, there remains a barrier to boost medical retrieval accuracy: how to reveal the ambiguous semantics of medical data without the distraction of superfluous information. To circumvent this drawback, we propose Deep Supervised Information Bottleneck Hashing (DSIBH), which effectively strengthens the discriminability of hash codes. Specifically, the Deep Deterministic Information Bottleneck (Yu, Yu, and Principe 2021) for single modality is extended to the cross-modal scenario. Benefiting from this, the superfluous information is reduced, which facilitates the discriminability of hash codes. Experimental results demonstrate the superior accuracy of the proposed DSIBH compared with state-of-the-arts in cross-modal medical data retrieval tasks.


title: A Deep-learning Model for Fast Prediction of Vacancy Formation in Diverse Materials

abstract: The presence of point defects such as vacancies plays an important role in material design. Here, we demonstrate that a graph neural network (GNN) model trained only on perfect materials can also be used to predict vacancy formation energies ($E_{vac}$) of defect structures without the need for additional training data. Such GNN-based predictions are considerably faster than density functional theory (DFT) calculations with reasonable accuracy and show the potential that GNNs are able to capture a functional form for energy predictions. To test this strategy, we developed a DFT dataset of 508 $E_{vac}$ consisting of 3D elemental solids, alloys, oxides, nitrides, and 2D monolayer materials. We analyzed and discussed the applicability of such direct and fast predictions. We applied the model to predict 192494 $E_{vac}$ for 55723 materials in the JARVIS-DFT database.


title: Deep learning density functionals for gradient descent optimization

abstract: Machine-learned regression models represent a promising tool to implement accurate and computationally affordable energy-density functionals to solve quantum many-body problems via density functional theory. However, while they can easily be trained to accurately map ground-state density profiles to the corresponding energies, their functional derivatives often turn out to be too noisy, leading to instabilities in self-consistent iterations and in gradient-based searches of the ground-state density profile. We investigate how these instabilities occur when standard deep neural networks are adopted as regression models, and we show how to avoid it using an ad-hoc convolutional architecture featuring an inter-channel averaging layer. The testbed we consider is a realistic model for noninteracting atoms in optical speckle disorder. With the inter-channel average, accurate and systematically improvable ground-state energies and density profiles are obtained via gradient-descent optimization, without instabilities nor violations of the variational principle.

categories: physics.comp-ph cond-mat.dis-nn cond-mat.mtrl-sci cond-mat.other cond-mat.quant-gas


title: The Blocker Postulates for Measures of Voting Power

abstract: A proposed measure of voting power should satisfy two conditions to be plausible: first, it must be conceptually justified, capturing the intuitive meaning of what voting power is; second, it must satisfy reasonable postulates. This paper studies a set of postulates, appropriate for a priori voting power, concerning blockers (or vetoers) in a binary voting game. We specify and motivate five such postulates, namely, two subadditivity blocker postulates, two minimum-power blocker postulates, each in weak and strong versions, and the added-blocker postulate. We then test whether three measures of voting power, namely the classic Penrose-Banzhaf measure, the classic Shapley-Shubik index, and the newly proposed Recursive Measure, satisfy these postulates. We find that the first measure fails four of the postulates, the second fails two, while the third alone satisfies all five postulates. This work consequently adds to the plausibility of the Recursive Measure as a reasonable measure of voting power.


title: Applications of Reinforcement Learning in Deregulated Power Market: A Comprehensive Review

abstract: The increasing penetration of renewable generations, along with the deregulation and marketization of power industry, promotes the transformation of power market operation paradigms. The optimal bidding strategy and dispatching methodology under these new paradigms are prioritized concerns for both market participants and power system operators, with obstacles of uncertain characteristics, computational efficiency, as well as requirements of hyperopic decision-making. To tackle these problems, the Reinforcement Learning (RL), as an emerging machine learning technique with advantages compared with conventional optimization tools, is playing an increasingly significant role in both academia and industry. This paper presents a comprehensive review of RL applications in deregulated power market operation including bidding and dispatching strategy optimization, based on more than 150 carefully selected literatures. For each application, apart from a paradigmatic summary of generalized methodology, in-depth discussions of applicability and obstacles while deploying RL techniques are also provided. Finally, some RL techniques that have great potentiality to be deployed in bidding and dispatching problems are recommended and discussed.


title: Individualized Risk Assessment of Preoperative Opioid Use by Interpretable Neural Network Regression

abstract: Preoperative opioid use has been reported to be associated with higher preoperative opioid demand, worse postoperative outcomes, and increased postoperative healthcare utilization and expenditures. Understanding the risk of preoperative opioid use helps establish patient-centered pain management. In the field of machine learning, deep neural network (DNN) has emerged as a powerful means for risk assessment because of its superb prediction power; however, the blackbox algorithms may make the results less interpretable than statistical models. Bridging the gap between the statistical and machine learning fields, we propose a novel Interpretable Neural Network Regression (INNER), which combines the strengths of statistical and DNN models. We use the proposed INNER to conduct individualized risk assessment of preoperative opioid use. Intensive simulations and an analysis of 34,186 patients expecting surgery in the Analgesic Outcomes Study (AOS) show that the proposed INNER not only can accurately predict the preoperative opioid use using preoperative characteristics as DNN, but also can estimate the patient specific odds of opioid use without pain and the odds ratio of opioid use for a unit increase in the reported overall body pain, leading to more straightforward interpretations of the tendency to use opioids than DNN. Our results identify the patient characteristics that are strongly associated with opioid use and is largely consistent with the previous findings, providing evidence that INNER is a useful tool for individualized risk assessment of preoperative opioid use.


title: Evaluation of a User Authentication Schema Using Behavioral Biometrics and Machine Learning

abstract: The amount of secure data being stored on mobile devices has grown immensely in recent years. However, the security measures protecting this data have stayed static, with few improvements being done to the vulnerabilities of current authentication methods such as physiological biometrics or passwords. Instead of these methods, behavioral biometrics has recently been researched as a solution to these vulnerable authentication methods. In this study, we aim to contribute to the research being done on behavioral biometrics by creating and evaluating a user authentication scheme using behavioral biometrics. The behavioral biometrics used in this study include touch dynamics and phone movement, and we evaluate the performance of different single-modal and multi-modal combinations of the two biometrics. Using two publicly available datasets - BioIdent and Hand Movement Orientation and Grasp (H-MOG), this study uses seven common machine learning algorithms to evaluate performance. The algorithms used in the evaluation include Random Forest, Support Vector Machine, K-Nearest Neighbor, Naive Bayes, Logistic Regression, Multilayer Perceptron, and Long Short-Term Memory Recurrent Neural Networks, with accuracy rates reaching as high as 86%.


title: Automatic Stack Velocity Picking Using an Unsupervised Ensemble Learning Method

abstract: Seismic velocity picking algorithms that are both accurate and efficient can greatly speed up seismic data processing, with the primary approach being the use of velocity spectra. Despite the development of some supervised deep learning-based approaches to automatically pick the velocity, they often come with costly manual labeling expenses or lack interpretability. In comparison, using physical knowledge to drive unsupervised learning techniques has the potential to solve this problem in an efficient manner. We suggest an Unsupervised Ensemble Learning (UEL) approach to achieving a balance between reliance on labeled data and picking accuracy, with the aim of determining the stack velocity. UEL makes use of the data from nearby velocity spectra and other known sources to help pick efficient and reasonable velocity points, which are acquired through a clustering technique. Testing on both the synthetic and field data sets shows that UEL is more reliable and precise in auto-picking than traditional clustering-based techniques and the widely used Convolutional Neural Network (CNN) method.


title: Compositional Modeling with Stock and Flow Diagrams

abstract: Stock and flow diagrams are widely used in epidemiology to model the dynamics of populations. Although tools already exist for building these diagrams and simulating the systems they describe, we have created a new package called StockFlow, part of the AlgebraicJulia ecosystem, which uses ideas from category theory to overcome notable limitations of existing software. Compositionality is provided by the theory of decorated cospans: stock and flow diagrams can be composed to form larger ones in an intuitive way formalized by the operad of undirected wiring diagrams. Our approach also cleanly separates the syntax of stock and flow diagrams from the semantics they can be assigned. We consider semantics in ordinary differential equations, although others are possible. As an example, we explain code in StockFlow that implements a simplified version of a COVID-19 model used in Canada.


title: Carrier-envelope phase controlled dynamics of relativistic electron beams in a laser-wakefield accelerator

abstract: In laser-wakefield acceleration, an ultra-intense laser pulse is focused into an underdense plasma in order to accelerate electrons to relativistic velocities. In most cases, the pulses consist of multiple optical cycles and the interaction is well described in the framework of the ponderomotive force where only the envelope of the laser has to be considered. But when using single-cycle pulses, the ponderomotive approximation breaks down, and the actual waveform of the laser has to be taken into account. In this paper, we use near-single cycle laser pulses to drive a laser-wakefield accelerator. We observe variations of the electron beam pointing on the order of 10 mrad in the polarisation direction, as well as 30% variations of the beam charge, locked to the value of the controlled laser carrier-envelope phase, in both nitrogen and helium plasma. Those findings are explained through particle-in-cell simulations indicating that low-emittance, ultra-short electron bunches are periodically injected off-axis by the transversally oscillating bubble associated with the slipping carrier-envelope phase.


title: Hilbert-Poincar\'e series and Gorenstein property for some non-simple polyominoes

abstract: Let $\mathcal{P}$ be a closed path having no zig-zag walks, a kind of non-simple thin polyomino. In this paper we give a combinatorial interpretation of the $h$-polynomial of $K[\mathcal{P}]$, showing that it is the rook polynomial of $\mathcal{P}$. It is known by Rinaldo and Romeo (2021), that if $\mathcal{P}$ is a simple thin polyomino then the $h$-polynomial is equal to the rook polynomial of $\mathcal{P}$ and it is conjectured that this property characterizes all thin polyominoes. Our main demonstrative strategy is to compute the reduced Hilbert-Poincar\'e series of the coordinate ring attached to a closed path $\mathcal{P}$ having no zig-zag walks, as a combination of the Hilbert-Poincar\'e series of convenient simple thin polyominoes. As a consequence we prove that the Krull dimension is equal to $\vert V(\mathcal{P})\vert -\mathrm{rank}\, \mathcal{P}$ and the regularity of $K[\mathcal{P}]$ is the rook number of $\mathcal{P}$. Finally we characterize the Gorenstein prime closed paths, proving that $K[\mathcal{P}]$ is Gorenstein if and only if $\mathcal{P}$ consists of maximal blocks of length three.


title: Monostatic Sensing with OFDM under Phase Noise: From Mitigation to Exploitation

abstract: We consider the problem of monostatic radar sensing with orthogonal frequency-division multiplexing (OFDM) joint radar-communications (JRC) systems in the presence of phase noise (PN) caused by oscillator imperfections. We begin by providing a rigorous statistical characterization of PN in the radar receiver over multiple OFDM symbols for free-running oscillators (FROs) and phase-locked loops (PLLs). Based on the delay-dependent PN covariance matrix, we derive the hybrid maximum-likelihood (ML)/maximum a-posteriori (MAP) estimator of the deterministic delay-Doppler parameters and the random PN, resulting in a challenging high-dimensional nonlinear optimization problem. To circumvent the nonlinearity of PN, we then develop an iterated small angle approximation (ISAA) algorithm that progressively refines delay-Doppler-PN estimates via closed-form updates of PN as a function of delay-Doppler at each iteration. Moreover, unlike existing approaches where PN is considered to be purely an impairment that has to be mitigated, we propose to exploit PN for resolving range ambiguity by capitalizing on its delay-dependent statistics (i.e., the range correlation effect), through the formulation of a parametric Toeplitz-block Toeplitz covariance matrix reconstruction problem. Simulation results indicate quick convergence of ISAA to the hybrid Cram\'{e}r-Rao bound (CRB), as well as its remarkable performance gains over state-of-the-art benchmarks, for both FROs and PLLs under various operating conditions, while showing that the detrimental effect of PN can be turned into an advantage for sensing.


title: Should attention be all we need? The epistemic and ethical implications of unification in machine learning

abstract: "Attention is all you need" has become a fundamental precept in machine learning research. Originally designed for machine translation, transformers and the attention mechanisms that underpin them now find success across many problem domains. With the apparent domain-agnostic success of transformers, many researchers are excited that similar model architectures can be successfully deployed across diverse applications in vision, language and beyond. We consider the benefits and risks of these waves of unification on both epistemic and ethical fronts. On the epistemic side, we argue that many of the arguments in favor of unification in the natural sciences fail to transfer over to the machine learning case, or transfer over only under assumptions that might not hold. Unification also introduces epistemic risks related to portability, path dependency, methodological diversity, and increased black-boxing. On the ethical side, we discuss risks emerging from epistemic concerns, further marginalizing underrepresented perspectives, the centralization of power, and having fewer models across more domains of application


title: Machine learning and atomic layer deposition: predicting saturation times from reactor growth profiles using artificial neural networks

abstract: In this work we explore the application of deep neural networks to the optimization of atomic layer deposition processes based on thickness values obtained at different points of an ALD reactor. We introduce a dataset designed to train neural networks to predict saturation times based on the dose time and thickness values measured at different points of the reactor for a single experimental condition. We then explore different artificial neural network configurations, including depth (number of hidden layers) and size (number of neurons in each layers) to better understand the size and complexity that neural networks should have to achieve high predictive accuracy. The results obtained show that trained neural networks can accurately predict saturation times without requiring any prior information on the surface kinetics. This provides a viable approach to minimize the number of experiments required to optimize new ALD processes in a known reactor. However, the datasets and training procedure depend on the reactor geometry.


title: A CMOS-based Characterisation Platform for Emerging RRAM Technologies

abstract: Mass characterisation of emerging memory devices is an essential step in modelling their behaviour for integration within a standard design flow for existing integrated circuit designers. This work develops a novel characterisation platform for emerging resistive devices with a capacity of up to 1 million devices on-chip. Split into four independent sub-arrays, it contains on-chip column-parallel DACs for fast voltage programming of the DUT. On-chip readout circuits with ADCs are also available for fast read operations covering 5-decades of input current (20nA to 2mA). This allows a device's resistance range to be between 1k$\Omega$ and 10M$\Omega$ with a minimum voltage range of $\pm$1.5V on the device.


title: Probing WIMPs in space-based gravitational wave experiments

abstract: Although searches for dark matter have lasted for decades, no convincing signal has been found without ambiguity in underground detections, cosmic ray observations, and collider experiments. We show by example that gravitational wave (GW) observations can be a supplement to dark matter detections if the production of dark matter follows a strong first-order cosmological phase transition. We explore this possibility in a complex singlet extension of the standard model with CP symmetry. We demonstrate three benchmarks in which the GW signals from the first-order phase transition are loud enough for future space-based GW observations, for example, BBO, U-DECIGO, LISA, Taiji, and TianQin. While satisfying the constraints from the XENON1T experiment and the Fermi-LAT gamma-ray observations, the dark matter candidate with its mass around $\sim 1$~TeV in these scenarios has a correct relic abundance obtained by the Planck observations of the cosmic microwave background radiation.


title: A Wide Dynamic Range Read-out System For Resistive Switching Technology

abstract: The memristor, because of its controllability over a wide dynamic range of resistance, has emerged as a promising device for data storage and analog computation. A major challenge is the accurate measurement of memristance over a wide dynamic range. In this paper, a novel read-out circuit with feedback adjustment is proposed to measure and digitise input current in the range between 20nA and 2mA. The magnitude of the input currents is estimated by a 5-stage logarithmic current-to-voltage amplifier which scales a linear analog-to-digital converter. This way the least significant bit tracks the absolute input magnitude. This circuit is applicable to reading single memristor conductance, and is also preferable in analog computing where read-out accuracy is particularly critical. The circuits have been realized in Bipolar-CMOS-DMOS (BCD) Gen2 technology.


title: Compatible deep neural network framework with financial time series data, including data preprocessor, neural network model and trading strategy

abstract: Experience has shown that trading in stock and cryptocurrency markets has the potential to be highly profitable. In this light, considerable effort has been recently devoted to investigate how to apply machine learning and deep learning to interpret and predict market behavior. This research introduces a new deep neural network architecture and a novel idea of how to prepare financial data before feeding them to the model. In the data preparation part, the first step is to generate many features using technical indicators and then apply the XGBoost model for feature engineering. Splitting data into three categories and using separate autoencoders, we extract high-level mixed features at the second step. This data preprocessing is introduced to predict price movements. Regarding modeling, different convolutional layers, an long short-term memory unit, and several fully-connected layers have been designed to perform binary classification. This research also introduces a trading strategy to exploit the trained model outputs. Three different datasets are used to evaluate this method, where results indicate that this framework can provide us with profitable and robust predictions.


title: Bias and Fairness on Multimodal Emotion Detection Algorithms

abstract: Numerous studies have shown that machine learning algorithms can latch onto protected attributes such as race and gender and generate predictions that systematically discriminate against one or more groups. To date the majority of bias and fairness research has been on unimodal models. In this work, we explore the biases that exist in emotion recognition systems in relationship to the modalities utilized, and study how multimodal approaches affect system bias and fairness. We consider audio, text, and video modalities, as well as all possible multimodal combinations of those, and find that text alone has the least bias, and accounts for the majority of the models' performances, raising doubts about the worthiness of multimodal emotion recognition systems when bias and fairness are desired alongside model performance.


title: Deep Learning of Chaotic Systems from Partially-Observed Data

abstract: Recently, a general data driven numerical framework has been developed for learning and modeling of unknown dynamical systems using fully- or partially-observed data. The method utilizes deep neural networks (DNNs) to construct a model for the flow map of the unknown system. Once an accurate DNN approximation of the flow map is constructed, it can be recursively executed to serve as an effective predictive model of the unknown system. In this paper, we apply this framework to chaotic systems, in particular the well-known Lorenz 63 and 96 systems, and critically examine the predictive performance of the approach. A distinct feature of chaotic systems is that even the smallest perturbations will lead to large (albeit bounded) deviations in the solution trajectories. This makes long-term predictions of the method, or any data driven methods, questionable, as the local model accuracy will eventually degrade and lead to large pointwise errors. Here we employ several other qualitative and quantitative measures to determine whether the chaotic dynamics have been learned. These include phase plots, histograms, autocorrelation, correlation dimension, approximate entropy, and Lyapunov exponent. Using these measures, we demonstrate that the flow map based DNN learning method is capable of accurately modeling chaotic systems, even when only a subset of the state variables are available to the DNNs. For example, for the Lorenz 96 system with 40 state variables, when data of only 3 variables are available, the method is able to learn an effective DNN model for the 3 variables and produce accurately the chaotic behavior of the system.


title: Feedback Gradient Descent: Efficient and Stable Optimization with Orthogonality for DNNs

abstract: The optimization with orthogonality has been shown useful in training deep neural networks (DNNs). To impose orthogonality on DNNs, both computational efficiency and stability are important. However, existing methods utilizing Riemannian optimization or hard constraints can only ensure stability while those using soft constraints can only improve efficiency. In this paper, we propose a novel method, named Feedback Gradient Descent (FGD), to our knowledge, the first work showing high efficiency and stability simultaneously. FGD induces orthogonality based on the simple yet indispensable Euler discretization of a continuous-time dynamical system on the tangent bundle of the Stiefel manifold. In particular, inspired by a numerical integration method on manifolds called Feedback Integrators, we propose to instantiate it on the tangent bundle of the Stiefel manifold for the first time. In the extensive image classification experiments, FGD comprehensively outperforms the existing state-of-the-art methods in terms of accuracy, efficiency, and stability.


title: Astronomical observatory publications: information exchange before the Internet era

abstract: For decades, perhaps even centuries, the exchange of publications between observatories was the most important source of information on new astronomical results, either in the form of observational data or new scientific theories. In particular, small observatories or institutions used this method. The exchange of physical material between observatories has now been replaced by the exchange of information via the Internet. Yet much of the ancient material has never been digitized and can only be found in the few existing collections of observatory publications. A recent donation of such a collection from the University of Copenhagen to our own library at the University of Southern Denmark has led us to investigate the uniqueness of such collections: Which observatories and publications are represented in the collections that still exist today? We also examine the availability of the material in the collections.


title: rom.js/cfd.xyz: An open-source framework for generating and visualizing parametric CFD results

abstract: We present in this technical note an open-source web framework for the generation and visualization of parametric OpenFOAM simulations from surrogate models. It consists of a JavaScript module (rom.js) and a web app (cfd.xyz) to explore fluid dynamics problems efficiently and easily for a wide range of parameters. rom.js is a JavaScript port of a set of open-source packages (Eigen, Splinter, VTK/C++ and ITHACA-FV) to solve the online stage of reduced-order models (ROM) generated by the ITHACA-FV tool. It can be executed outside a web browser within a backend JavaScript runtime environment, or in a given web solution. This methodology can also be extended to methods using machine learning. The rom.js module was used in cfd.xyz, an open-source web service to deliver a collection of interactive CFD cases in a parametric space. The framework includes some tutorials, showing the whole process from the generation of the surrogate model to the web browser. It also includes a standalone web tool for visualizing users' ROMs by directly dragging and dropping the output folder of the offline stage. Beyond the current proof of technology, this enables a collaborative effort for the implementation of OpenFOAM surrogate models in applications demanding real-time solutions such as digital twins and other digital transformation technologies.


title: Statistical solutions of the incompressible Euler equations

abstract: We study statistical solutions of the incompressible Euler equations in two dimensions with vorticity in $L^p$, $1\leq p \leq \infty$, and in the class of vortex-sheets with a distinguished sign. Our notion of statistical solution is based on the framework due to Bronzi, Mondaini and Rosa. Existence in this setting is shown by approximation with discrete measures, concentrated on deterministic solutions of the Euler equations. Additionally, we provide arguments to show that the statistical solutions of the Euler equations may be obtained in the inviscid limit of statistical solutions of the incompressible Navier-Stokes equations. Uniqueness of trajectory statistical solutions is shown in the Yudovich class.


title: MIDGARD: A Simulation Platform for Autonomous Navigation in Unstructured Environments

abstract: We present MIDGARD, an open-source simulation platform for autonomous robot navigation in outdoor unstructured environments. MIDGARD is designed to enable the training of autonomous agents (e.g., unmanned ground vehicles) in photorealistic 3D environments, and to support the generalization skills of learning-based agents through the variability in training scenarios. MIDGARD's main features include a configurable, extensible, and difficulty-driven procedural landscape generation pipeline, with fast and photorealistic scene rendering based on Unreal Engine. Additionally, MIDGARD has built-in support for OpenAI Gym, a programming interface for feature extension (e.g., integrating new types of sensors, customizing exposing internal simulation variables), and a variety of simulated agent sensors (e.g., RGB, depth and instance/semantic segmentation). We evaluate MIDGARD's capabilities as a benchmarking tool for robot navigation utilizing a set of state-of-the-art reinforcement learning algorithms. The results demonstrate MIDGARD's suitability as a simulation and training environment, as well as the effectiveness of our procedural generation approach in controlling scene difficulty, which directly reflects on accuracy metrics. MIDGARD build, source code and documentation are available at https://midgardsim.org/.


title: HoVer-Trans: Anatomy-aware HoVer-Transformer for ROI-free Breast Cancer Diagnosis in Ultrasound Images

abstract: Ultrasonography is an important routine examination for breast cancer diagnosis, due to its non-invasive, radiation-free and low-cost properties. However, the diagnostic accuracy of breast cancer is still limited due to its inherent limitations. It would be a tremendous success if we can precisely diagnose breast cancer by breast ultrasound images (BUS). Many learning-based computer-aided diagnostic methods have been proposed to achieve breast cancer diagnosis/lesion classification. However, most of them require a pre-define ROI and then classify the lesion inside the ROI. Conventional classification backbones, such as VGG16 and ResNet50, can achieve promising classification results with no ROI requirement. But these models lack interpretability, thus restricting their use in clinical practice. In this study, we propose a novel ROI-free model for breast cancer diagnosis in ultrasound images with interpretable feature representations. We leverage the anatomical prior knowledge that malignant and benign tumors have different spatial relationships between different tissue layers, and propose a HoVer-Transformer to formulate this prior knowledge. The proposed HoVer-Trans block extracts the inter- and intra-layer spatial information horizontally and vertically. We conduct and release an open dataset GDPH&SYSUCC for breast cancer diagnosis in BUS. The proposed model is evaluated in three datasets by comparing with four CNN-based models and two vision transformer models via five-fold cross validation. It achieves state-of-the-art classification performance with the best model interpretability. In the meanwhile, our proposed model outperforms two senior sonographers on the breast cancer diagnosis when only one BUS image is given.


title: A High-Voltage Characterisation Platform For Emerging Resistive Switching Technologies

abstract: Emerging memristor-based array architectures have been effectively employed in non-volatile memories and neuromorphic computing systems due to their density, scalability and capability of storing information. Nonetheless, to demonstrate a practical on-chip memristor-based system, it is essential to have the ability to apply large programming voltage ranges during the characterisation procedures for various memristor technologies. This work presents a 16x16 high voltage memristor characterisation array employing high voltage CMOS circuitry. The proposed system has a maximum programming range of $\pm22V$ to allow on-chip electroforming and I-V sweep. In addition, a Kelvin voltage sensing system is implemented to improve the readout accuracy for low memristance measurements. This work addresses the limitation of conventional CMOS-memristor platforms which can only operate at low voltages, thus limiting the characterisation range and integration options of memristor technologies.


title: All bi-unitary perfect polynomials over $\mathbb{F}_2$ with at most four irreducible factors

abstract: We give, in this paper, all bi-unitary perfect polynomials over the prime field $\mathbb{F}_2$, with at most four irreducible factors.


title: Full Duplex Massive MIMO Architectures: Recent Advances, Applications, and Future Directions

abstract: The increasingly demanding objectives for next generation wireless communications have spurred recent research activities on multi-antenna transceiver hardware architectures and relevant intelligent communication schemes. Among them belong the Full Duplex (FD) Multiple-Input Multiple-Output (MIMO) architectures, which offer the potential for simultaneous uplink and downlink operations in the entire frequency band. However, as the number of antenna elements increases, the interference signal leaking from the transmitter of the FD radio to its receiver becomes more severe. In this article, we present a unified FD massive MIMO architecture comprising analog and digital transmit and receive BeamForming (BF), as well as analog and digital SI cancellation, which can be jointly optimized for various performance objectives and complexity requirements. Performance evaluation results for applications of the proposed architecture to fully digital and hybrid analog and digital BF operations using recent algorithmic designs, as well as simultaneous communication of data and control signals are presented. It is shown that the proposed architecture, for both small and large numbers of antennas, enables improved spectral efficiency FD communications with fewer analog cancellation elements compared to various benchmark schemes. The article is concluded with a list of open challenges and research directions for future FD massive MIMO communication systems and their promising applications.


title: Depth resolved pencil beam radiography using AI -- a proof of principle study

abstract: AIMS: Clinical radiographic imaging is seated upon the principle of differential keV photon transmission through an object. At clinical x-ray energies the scattering of photons causes signal noise and is utilized solely for transmission measurements. However, scatter - particularly Compton scatter, is characterizable. In this work we hypothesized that modern radiation sources and detectors paired with deep learning techniques can use scattered photon information constructively to resolve superimposed attenuators in planar x-ray imaging. METHODS: We simulated a monoenergetic x-ray imaging system consisting of a pencil beam x-ray source directed at an imaging target positioned in front of a high spatial- and energy-resolution detector array. The signal was analyzed by a convolutional neural network, and a description of scattering material along the axis of the beam was derived. The system was virtually designed/tested using Monte Carlo processing of simple phantoms consisting of 10 pseudo-randomly stacked air/bone/water materials, and the network was trained by solving a classification problem. RESULTS: The average accuracy of the material identification along the beam was 0.91 +- 0.01, with slightly higher accuracy towards the entrance/exit peripheral surfaces of the object. The average sensitivity and specificity was 0.91 and 0.95, respectively. CONCLUSIONS: Our work provides proof of principle that deep learning techniques can be used to analyze scattered photon patterns which can constructively contribute to the information content in radiography, here used to infer depth information in a traditional 2D planar setup. This principle, and our results, demonstrate that the information in Compton scattered photons may provide a basis for further development. The ability to scale performance to the clinic remains unexplored and requires further study.


title: Subdivisions and Crossroads: Identifying Hidden Community Structures in a Data Archive's Citation Network

abstract: Data archives are an important source of high quality data in many fields, making them ideal sites to study data reuse. By studying data reuse through citation networks, we are able to learn how hidden research communities - those that use the same scientific datasets - are organized. This paper analyzes the community structure of an authoritative network of datasets cited in academic publications, which have been collected by a large, social science data archive: the Interuniversity Consortium for Political and Social Research (ICPSR). Through network analysis, we identified communities of social science datasets and fields of research connected through shared data use. We argue that communities of exclusive data reuse form subdivisions that contain valuable disciplinary resources, while datasets at a "crossroads" broadly connect research communities. Our research reveals the hidden structure of data reuse and demonstrates how interdisciplinary research communities organize around datasets as shared scientific inputs. These findings contribute new ways of describing scientific communities in order to understand the impacts of research data reuse.


title: On approximation of the Dirichlet problem for divergence form operator by Robin problems

abstract: We show, that under natural assumptions, solutions of Dirichlet problems for uniformly elliptic divergence form operator can be approximated pointwise by solutions of some versions of Robin problems. The proof is based on stochastic representation of solutions and properties of reflected diffusions corresponding to divergence form operators.


title: Improved Utility Analysis of Private CountSketch

abstract: Sketching is an important tool for dealing with high-dimensional vectors that are sparse (or well-approximated by a sparse vector), especially useful in distributed, parallel, and streaming settings. It is known that sketches can be made differentially private by adding noise according to the sensitivity of the sketch, and this has been used in private analytics and federated learning settings. The post-processing property of differential privacy implies that all estimates computed from the sketch can be released within the given privacy budget. In this paper we consider the classical CountSketch, made differentially private with the Gaussian mechanism, and give an improved analysis of its estimation error. Perhaps surprisingly, the privacy-utility trade-off is essentially the best one could hope for, independent of the number of repetitions in CountSketch: The error is almost identical to the error from non-private CountSketch plus the noise needed to make the vector private in the original, high-dimensional domain.


title: Variable length genetic algorithm with continuous parameters optimization of beam layout in proton therapy

abstract: Proton therapy is a modality in fast development. Characterized by a maximum dose deposition at the end of the proton trajectory followed by a sharp fall-off, proton beams can deliver a highly conformal dose to the tumor while sparing organs at risk and surrounding healthy tissues. New treatment planning systems based on spot scanning techniques can now propose multi-field optimization. However, in most cases, this optimization only processes the field fluences whereas the choice of ballistics (field geometry) is left to the oncologist and medical physicist. In this work, we investigate a new optimization framework based on a genetic approach. This tool is intended to explore new irradiation schemes and to evaluate the potential of actual or future irradiation systems. We propose to optimize simultaneously the target points and beam incidence angles in a continuous manner and with a variable number of beams. No \textit{a priori} technological constraints are taken into account, \textit{i.e.}~the beam energy values, incidence directions and target points are free parameters. The proposed algorithm is based on a modified version of classical genetic operators: mutation, crossover and selection. We use the real coding associated with random perturbations of the parameters to obtain a continuous variation of the potential solutions. We also introduce a perturbation in the exchange points of the crossover to allow variations of the number of beams. These variations are controlled by introducing a beam fluence lower limit. In this paper, we present a complete description of the algorithm and of its behaviour in an elementary test case. The proposed method is finally assessed in a clinically-realistic test case.


title: How do Variational Autoencoders Learn? Insights from Representational Similarity

abstract: The ability of Variational Autoencoders (VAEs) to learn disentangled representations has made them popular for practical applications. However, their behaviour is not yet fully understood. For example, the questions of when they can provide disentangled representations, or suffer from posterior collapse are still areas of active research. Despite this, there are no layerwise comparisons of the representations learned by VAEs, which would further our understanding of these models. In this paper, we thus look into the internal behaviour of VAEs using representational similarity techniques. Specifically, using the CKA and Procrustes similarities, we found that the encoders' representations are learned long before the decoders', and this behaviour is independent of hyperparameters, learning objectives, and datasets. Moreover, the encoders' representations in all but the mean and variance layers are similar across hyperparameters and learning objectives.


title: Atomic scale visualization of the p-d hybridization in III-V semiconductors doped with transition metal impurities

abstract: p-d hybridization of transition metal impurities in a semiconductor host is the mechanism that couples valence-band electrons and localized spins. We use scanning tunneling microscopy and spectroscopy combined with density functional theory to probe at the atomic scale hybridization of Cr single impurities with GaAs host. Combining spatial density of states mapping and in-gap states spectroscopy of the Cr substituted at the surface of the semiconductor, we give a detailed picture of the spatial extension and the electronic structure of the strongly anisotropic wave function of Cr on GaAs(110). First principles calculations allow to identify electronic character and origin of each states and show that the main resonance peaks and the wave function with "drop-eyes" lobes experimentally observed for 3d metal impurities in III-V semiconductor are direct local evidences of the p-d hybridization.


title: Multifunctorial $K$-Theory is an Equivalence of Homotopy Theories

abstract: We show that each of the three $K$-theory multifunctors from small permutative categories to $\mathcal{G}_*$-categories, $\mathcal{G}_*$-simplicial sets, and connective spectra, is an equivalence of homotopy theories. For each of these $K$-theory multifunctors, we describe an explicit homotopy inverse functor. As a separate application of our general results about pointed diagram categories, we observe that the right-induced homotopy theory of Bohmann-Osorno $\mathcal{E}_*$-categories is equivalent to the homotopy theory of pointed simplicial categories.