title: Completely Spin-Decoupled Geometric Phase of Metasurface

abstract: Metasurfaces have provided unprecedented degree of freedom (DOF) in manipulating electromagnetic (EM) waves. Geometric phase can be readily obtained by rotating the meta-atom of metasurfaces. Nevertheless, such geometric phases are usually spin-coupled, with the same magnitude but opposite signs for left_ and right_handed circularly polarized (LCP,RCP) waves. To achieve independent control on LCP and RCP waves, it is crucial to obtain spin-decoupled geometric phases. In this paper, we propose to obtain completely spin-decoupled geometric phases by engineering surface current paths on meta-atoms. Based on the rotational Doppler effect, the rotation manner is firstly analyzed and it is found that the essence of generating geometric phase lies in the rotation of surface current paths on meta-atoms. Since the induced surface currents paths under LCP and RCP waves always start oppositely and are mirror-symmetrical with each other, it is natural that the geometric phases be with the same magnitude and opposite signs when the meta-atoms are rotated. To obtain spin-decoupled geometric phases, the start point of induced surface current under one spin should be rotated by an angle while that under the other spin by another different angle. In this way, LCP and RCP waves can acquire different geometric phase changes and spin-decoupled geometric phase can be imparted by metasurfaces. Proof-of-principle prototypes were designed, fabricated and measured. Both the simulation and experiment results verify spin-decoupled geometric phases. This work provides a robust means of obtaining spin-dependent geometric phase and will further adds up to the metasurface DOF in manipulating EM waves.


title: An Urban Population Health Observatory for Disease Causal Pathway Analysis and Decision Support: Underlying Explainable Artificial Intelligence Model

abstract: This study sought to (1) expand our existing Urban Population Health Observatory (UPHO) system by incorporating a semantics layer; (2) cohesively employ machine learning and semantic/logical inference to provide measurable evidence and detect pathways leading to undesirable health outcomes; (3) provide clinical use case scenarios and design case studies to identify socioenvironmental determinants of health associated with the prevalence of obesity, and (4) design a dashboard that demonstrates the use of UPHO in the context of obesity surveillance using the provided scenarios. The system design includes a knowledge graph generation component that provides contextual knowledge from relevant domains of interest. This system leverages semantics using concepts, properties, and axioms from existing ontologies. In addition, we used the publicly available US Centers for Disease Control and Prevention 500 Cities data set to perform multivariate analysis. A cohesive approach that employs machine learning and semantic/logical inference reveals pathways leading to diseases. In this study, we present 2 clinical case scenarios and a proof-of-concept prototype design of a dashboard that provides warnings, recommendations, and explanations and demonstrates the use of UPHO in the context of obesity surveillance, treatment, and prevention. While exploring the case scenarios using a support vector regression machine learning model, we found that poverty, lack of physical activity, education, and unemployment were the most important predictive variables that contribute to obesity in Memphis, TN. The application of UPHO could help reduce health disparities and improve urban population health. The expanded UPHO feature incorporates an additional level of interpretable knowledge to enhance physicians, researchers, and health officials' informed decision-making at both patient and community levels.


title: Quantum matching pursuit: A quantum algorithm for sparse representations

abstract: Representing signals with sparse vectors has a wide range of applications that range from image and video coding to shape representation and health monitoring. In many applications with real-time requirements, or that deal with high-dimensional signals, the computational complexity of the encoder that finds the sparse representation plays an important role. Quantum computing has recently shown promising speed-ups in many representation learning tasks. In this work, we propose a quantum version of the well-known matching pursuit algorithm. Assuming the availability of a fault-tolerant quantum random access memory, our quantum matching pursuit lowers the complexity of its classical counterpart of a polynomial factor, at the cost of some error in the computation of the inner products, enabling the computation of sparse representation of high-dimensional signals. Besides proving the computational complexity of our new algorithm, we provide numerical experiments that show that its error is negligible in practice. This work opens the path to further research on quantum algorithms for finding sparse representations, showing suitable quantum computing applications in signal processing.


title: Linking Properties to Microstructure in Liquid Metal Embedded Elastomers via Machine Learning

abstract: Liquid metals (LM) are embedded in an elastomer matrix to obtain soft composites with unique thermal, dielectric, and mechanical properties. They have applications in soft robotics, biomedical engineering, and wearable electronics. By linking the structure to the properties of these materials, it is possible to perform material design rationally. Liquid-metal embedded elastomers (LMEEs) have been designed for targeted electro-thermo-mechanical properties by semi-supervised learning of structure-property (SP) links in a variational autoencoder network (VAE). The design parameters are the microstructural descriptors that are physically meaningful and have affine relationships with the synthetization of the studied particulate composite. The machine learning (ML) model is trained on a generated dataset of microstructural descriptors with their multifunctional property quantities as their labels. Sobol sequence is used for in-silico Design of Experiment (DoE) by sampling the design space to generate a comprehensive dataset of 3D microstructure realizations via a packing algorithm. The mechanical responses of the generated microstructures are simulated using a previously developed Finite Element (FE) model, considering the surface tension induced by LM inclusions, while the linear thermal and dielectric constants are homogenized with the help of our in-house Fast Fourier Transform (FFT) package. Following the training by minimization of an appropriate loss function, the VAE encoder acts as the surrogate of numerical solvers of the multifunctional homogenizations, and its decoder is used for the material design. Our results indicate the satisfactory performance of the surrogate model and the inverse calculator with respect to high-fidelity numerical simulations validated with LMEE experimental results.


title: Ion-Beam Radiation-Induced Eshelby Transformations: The Mean and Variance in Hydrostatic and Shear Residual Stresses

abstract: Ion beam plays a pivotal role in ion implantations and the fabrication of nanostructures. However, there lacks a quantitative model to describe the residual stresses associated with the ion-beam radiation. Radiation-induced residual stress/transformation strain have been mostly recognized in the hydrostatic sub strain space. Here, we use molecular dynamics (MD) simulations to show that the response of a material to irradiation is generally anisotropic that depends on the ion-beam direction, and should be described using tensorial quantities. We demonstrate that accelerator-based ion beam irradiation, combined with the intrinsic lattice anisotropy and externally induced anisotropy (such as anisotropic mechanical loadings), causes radiation-actuated shear transformation strains in addition to hydrostatic expansion. We map out these complex correlations for several materials. Radiation-induced defects are shown to be responsible for residual shear stresses in the manner of Eshelby inclusion transformation. We propose such tensorial response model should be considered for accurate nanoscale fabrication using ion-beam irradiation.


title: A Historical Interaction between Artificial Intelligence and Philosophy

abstract: This paper reviews the historical development of AI and representative philosophical thinking from the perspective of the research paradigm. Additionally, it considers the methodology and applications of AI from a philosophical perspective and anticipates its continued advancement. In the history of AI, Symbolism and connectionism are the two main paradigms in AI research. Symbolism holds that the world can be explained by symbols and dealt with through precise, logical processes, but connectionism believes this process should be implemented through artificial neural networks. Regardless of how intelligent machines or programs should achieve their smart goals, the historical development of AI demonstrates the best answer at this time. Still, it is not the final answer of AI research.


title: Computer Vision Methods for the Microstructural Analysis of Materials: The State-of-the-art and Future Perspectives

abstract: Finding quantitative descriptors representing the microstructural features of a given material is an ongoing research area in the paradigm of Materials-by-Design. Historically, microstructural analysis mostly relies on qualitative descriptions. However, to build a robust and accurate process-structure-properties relationship, which is required for designing new advanced high-performance materials, the extraction of quantitative and meaningful statistical data from the microstructural analysis is a critical step. In recent years, computer vision (CV) methods, especially those which are centered around convolutional neural network (CNN) algorithms have shown promising results for this purpose. This review paper focuses on the state-of-the-art CNN-based techniques that have been applied to various multi-scale microstructural image analysis tasks, including classification, object detection, segmentation, feature extraction, and reconstruction. Additionally, we identified the main challenges with regard to the application of these methods to materials science research. Finally, we discussed some possible future directions of research in this area. In particular, we emphasized the application of transformer-based models and their capabilities to improve the microstructural analysis of materials.

categories: cond-mat.mtrl-sci cs.CV physics.app-ph physics.data-an


title: Efficient Neural Net Approaches in Metal Casting Defect Detection

abstract: One of the most pressing challenges prevalent in the steel manufacturing industry is the identification of surface defects. Early identification of casting defects can help boost performance, including streamlining production processes. Though, deep learning models have helped bridge this gap and automate most of these processes, there is a dire need to come up with lightweight models that can be deployed easily with faster inference times. This research proposes a lightweight architecture that is efficient in terms of accuracy and inference time compared with sophisticated pre-trained CNN architectures like MobileNet, Inception, and ResNet, including vision transformers. Methodologies to minimize computational requirements such as depth-wise separable convolution and global average pooling (GAP) layer, including techniques that improve architectural efficiencies and augmentations, have been experimented. Our results indicate that a custom model of 590K parameters with depth-wise separable convolutions outperformed pretrained architectures such as Resnet and Vision transformers in terms of accuracy (81.87%) and comfortably outdid architectures such as Resnet, Inception, and Vision transformers in terms of faster inference times (12 ms). Blurpool fared outperformed other techniques, with an accuracy of 83.98%. Augmentations had a paradoxical effect on the model performance. No direct correlation between depth-wise and 3x3 convolutions on inference time, they, however, they played a direct role in improving model efficiency by enabling the networks to go deeper and by decreasing the number of trainable parameters. Our work sheds light on the fact that custom networks with efficient architectures and faster inference times can be built without the need of relying on pre-trained architectures.


title: Directional Dipole Dice Enabled by Anisotropic Chirality

abstract: Directional radiation and scattering play an essential role in light manipulation for various applications in integrated nanophotonics, antenna and metasurface designs, quantum optics, etc. The most elemental system with this property is the class of directional dipoles, including the circular dipole, Huygens dipole, and Janus dipole. A unified realization of all three dipole types and a mechanism to freely switch among them are previously unreported, yet highly desirable for developing compact and multifunctional directional sources. Here, we theoretically and experimentally demonstrate that the synergy of chirality and anisotropy can give rise to all three directional dipoles in one structure at the same frequency under linearly polarized plane wave excitations. This mechanism enables a simple helix particle to serve as a directional dipole dice (DDD), achieving selective manipulation of optical directionality via different "faces" of the particle. We employ three "faces" of the DDD to realize face-multiplexed routing of guided waves in three orthogonal directions with the directionality determined by spin, power flow, and reactive power, respectively. This construction of the complete directionality space can enable the unprecedented high-dimensional control of both near-field and far-field directionality with broad applications in photonic integrated circuits, quantum information processing, and subwavelength-resolution imaging.


title: An Invertible Seven-Dimensional Dirichlet Cell Characterization of Lattices

abstract: Characterization of crystallographic lattices is an important tool in structure solution, crystallographic database searches and clustering of diffraction images in serial crystallography. Characterization of lattices by Niggli-reduced cells (based on the three shortest non-coplanar lattice edge vectors) or by Delaunay-reduced cells (based on four edge vectors summing to zero and all meeting at obtuse or right angles) are commonly used. The Niggli cell derives from Minkowski reduction. The Delaunay cell derives from Selling reduction. All are related to the Wigner-Seitz (or Dirichlet, or Voronoi) cell of the lattice, which consists of the points at least as close to a chosen lattice point than they are to any other lattice point. Starting from a Niggli-reduced cell, the Dirichlet cell is characterized by the planes determined by thirteen lattice half-edges: the midpoints of the three Niggli cell edges, the six Niggli cell face diagonals and the four body-diagonals, but seven of the edge lengths are sufficient: three edge lengths, the three shorter of each pair of face-diagonal lengths and the shortest body-diagonal length, from which the Niggli-reduced cell may be recovered.


title: [Reproducibility Report] Path Planning using Neural A* Search

abstract: The following paper is a reproducibility report for "Path Planning using Neural A* Search" published in ICML2 2021 as part of the ML Reproducibility Challenge 2021. The original paper proposes the Neural A* planner, and claims it achieves an optimal balance between the reduction of node expansions and path accuracy. We verify this claim by reimplementing the model in a different framework and reproduce the data published in the original paper. We have also provided a code-flow diagram to aid comprehension of the code structure. As extensions to the original paper, we explore the effects of (1) generalizing the model by training it on a shuffled dataset, (2) introducing dropout, (3) implementing empirically chosen hyperparameters as trainable parameters in the model, (4) altering the network model to Generative Adversarial Networks (GANs) to introduce stochasticity, (5) modifying the encoder from Unet to Unet++, (6) incorporating cost maps obtained from the Neural A* module in other variations of A* search.


title: Detection of the third innermost radiation belt on LEO CORONAS-Photon satellite around 2009 solar minimum

abstract: We analyze variations of high-energy charged particle populations filling various magnetospheric regions under, inside, and outside of the Van Allen inner and outer electron radiation belts in May 2009. The study is based on the experimental data obtained from the STEP-F and the SphinX instruments placed close to each other aboard the low-Earth circular orbit CORONAS-Photon satellite. Data analysis of particle fluencies collected from the highly sensitive STEP-F device indicates the presence of a persistent electron belt at L = 1.6, i.e., beneath the well-known Van Allen electron inner radiation belt of the Earth's magnetosphere. The electron energy spectrum in this 'new' belt is much steeper than that of the inner belt so that the electrons with energies Ee > 400 keV were almost not recorded on L = 1.6 outside the South Atlantic Anomaly (SAA). We introduce the concept of effective lowest threshold energies for X-ray detectors used in the solar soft X-ray spectrophotometer SphinX and define their values for two regions: the SAA and the Van Allen outer belt. Different values of lowest threshold energies are directly associated with different slopes of particle energy spectra. Cross-analyses of data obtained from the STEP-F and SphinX instruments initially built for various purposes made it possible to detect the highly anisotropic character of the spatial electron distribution in radiation belts in both Southern and northern hemispheres. We detected also the presence of low-energy electrons at all latitudes during the main phase of a weak geomagnetic storm.


title: Experimental measurement of infinite dilution thermal neutron self-shielding factor

abstract: The absorption of neutrons in media together with its transport properties cause the neutron flux to decrease as it penetrates the material because the absorption of neutrons in the sample itself attenuates the neutrons flux as it goes deeper into the sample. In the present work, the thermal neutron self-shielding factors of indium, gold, zinc, and mercury were determined experimentally. The current results together with those found in the literature were used to validate a mathematical ab initio formulae based on integral cross-section parameters used to compare our results. The complete agreement among these species of data suggests the validity of correlating the neutron migration length in the convex-shaped material with the average chord length described in the mathematical model.


title: AI-based Optimal scheduling of Renewable AC Microgrids with bidirectional LSTM-Based Wind Power Forecasting

abstract: In terms of the operation of microgrids, optimal scheduling is a vital issue that must be taken into account. In this regard, this paper proposes an effective framework for optimal scheduling of renewable microgrids considering energy storage devices, wind turbines, micro turbines. Due to the nonlinearity and complexity of operation problems in microgrids, it is vital to use an accurate and robust optimization technique to efficiently solve this problem. To this end, in the proposed framework, the teacher learning-based optimization is utilized to efficiently solve the scheduling problem in the system. Moreover, a deep learning model based on bidirectional long short-term memory is proposed to address the short-term wind power forecasting problem. The feasibility and performance of the proposed framework as well as the effect of wind power forecasting on the operation efficiency are examined using IEEE 33-bus test system. Also, the Australian Wool north wind site data is utilized as a real-world dataset to evaluate the performance of the forecasting model. Results show the effective and efficient performance of the proposed framework in the optimal scheduling of microgrids.


title: Evolution of Ge wetting layers growing on smooth and rough Si (001) surfaces: isolated {105} facets as a kinetic factor of stress relaxation

abstract: The results of STM and RHEED studies of a thin Ge film grown on the Si/Si(001) epitaxial layers with different surface relief are presented. Process of the partial stress relaxation was accompanied by changes in the surface structure of the Ge wetting layer. Besides the well-known sequence of surface reconstructions ($2 \times 1 \rightarrow 2 \times N \rightarrow M \times N$ patches) and hut clusters faceted with {105} planes, the formation of isolated {105} planes, which faceted the edges of $M \times N$ patches, has been observed owing to the deposition of Ge on a rough Si/Si (001) surface. A model of the isolated {105} facet formation has been proposed based on the assumption that the mutual arrangement of the monoatomic steps on the initial Si surface promotes the wetting layer formation with the inhomogeneously distributed thickness that results in the appearance of $M \times N$ patches partially surrounded by deeper trenches than those observed in the usual Ge wetting layer grown on the smooth Si(001) surface. Isolated {105} facets are an inherent part of the Ge wetting layer structure and their formation decreases the surface energy of the Ge wetting layer.


title: On long-term variations of solar wind parameters and solar activity

abstract: Comparison is carried out of the long term variation of the year averaged solar wind speed and interplanetary scintillation index with the variations of Wolf's numbers and A_P indexes of geomagnetic activity for the data of 20-24 solar activity cycles. It is shown that the slow non-monotonous trend in the scintillation parameters at middle and high heliolatitudes exists with the typical scale of order of century cycle. Correlation between the variations of Wolf's numbers and anomalies of the air temperature is analyzed for long data series from 1610 up to the present time. Possible application of the results to the global climate problem is discussed.


title: Constructing MSR codes with subpacketization $2^{n/3}$ for $k+1$ helper nodes

abstract: Wang et al. (IEEE Transactions on Information Theory, vol. 62, no. 8, 2016) proposed an explicit construction of an $(n=k+2,k)$ Minimum Storage Regenerating (MSR) code with $2$ parity nodes and subpacketization $2^{k/3}$. The number of helper nodes for this code is $d=k+1=n-1$, and this code has the smallest subpacketization among all the existing explicit constructions of MSR codes with the same $n,k$ and $d$. In this paper, we present a new construction of MSR codes for a wider range of parameters. More precisely, we still fix $d=k+1$, but we allow the code length $n$ to be any integer satisfying $n\ge k+2$. The field size of our code is linear in $n$, and the subpacketization of our code is $2^{n/3}$. This value is slightly larger than the subpacketization of the construction by Wang et al. because their code construction only guarantees optimal repair for all the systematic nodes while our code construction guarantees optimal repair for all nodes.


title: Effects of Stubbornness on Opinion Dynamics

abstract: As an important factor governing opinion dynamics, stubbornness strongly affects various aspects of opinion formation. However, a systematically theoretical study about the influences of heterogeneous stubbornness on opinion dynamics is still lacking. In this paper, we study a popular opinion model in the presence of inhomogeneous stubbornness. We show analytically that heterogeneous stubbornness has a great impact on convergence time, expressed opinion of every node, and the overall expressed opinion. We provide an explanation of the expressed opinion in terms of stubbornness-dependent spanning diverging forests. We propose quantitative indicators to quantify some social concepts, including conflict, disagreement, and polarization by incorporating heterogeneous stubbornness, and develop a nearly linear time algorithm to approximate these quantities, which has a proved theoretical guarantee for the error of each quantity. To demonstrate the performance of our algorithm, we perform extensive experiments on a large set of real networks, which indicate that our algorithm is both efficient and effective, scalable to large networks with millions of nodes.


title: Excitation transfer in disordered spin chains with long-range exchange interactions

abstract: We examine spin excitation or polarization transfer via long-range interacting spin chains with diagonal and off-diagonal disorder. To this end, we determine the mean localization length of the single-excitation eigenstates of the chain for various strengths of the disorder. We then identify the energy eigenstates of the system with large localization length and sufficient support at the chain boundaries that are suitable to transfer an excitation between the sender and receiver spins connected to the opposite ends of the chain. We quantify the performance of two transfer schemes involving weak static couplings of the sender and receiver spins to the chain, and time-dependent couplings realizing stimulated adiabatic passage of the excitation via the intermediate eigenstates of the chain which exhibits improved performance.


title: Dynamic Information Transfer in Stochastic Biochemical Networks

abstract: We develop numerical and analytical approaches to calculate mutual information between complete paths of two molecular components embedded into a larger reaction network. In particular, we focus on a continuous-time Markov chain formalism, frequently used to describe intracellular processes involving lowly abundant molecular species. Previously, we have shown how the path mutual information can be calculated for such systems when two molecular components interact directly with one another with no intermediate molecular components being present. In this work, we generalize this approach to biochemical networks involving an arbitrary number of molecular components. We present an efficient Monte Carlo method as well as an analytical approximation to calculate the path mutual information and show how it can be decomposed into a pair of transfer entropies that capture the causal flow of information between two network components. We apply our methodology to study information transfer in a simple three-node feedforward network, as well as a more complex positive feedback system that switches stochastically between two metastable modes.


title: Abstractive Meeting Summarization: A Survey

abstract: A system that could reliably identify and sum up the most important points of a conversation would be valuable in a wide variety of real-world contexts, from business meetings to medical consultations to customer service calls. Recent advances in deep learning, and especially the invention of encoder-decoder architectures, has significantly improved language generation systems, opening the door to improved forms of abstractive summarization, a form of summarization particularly well-suited for multi-party conversation. In this paper, we provide an overview of the challenges raised by the task of abstractive meeting summarization and of the data sets, models and evaluation metrics that have been used to tackle the problems.


title: Understanding Masked Image Modeling via Learning Occlusion Invariant Feature

abstract: Recently, Masked Image Modeling (MIM) achieves great success in self-supervised visual recognition. However, as a reconstruction-based framework, it is still an open question to understand how MIM works, since MIM appears very different from previous well-studied siamese approaches such as contrastive learning. In this paper, we propose a new viewpoint: MIM implicitly learns occlusion-invariant features, which is analogous to other siamese methods while the latter learns other invariance. By relaxing MIM formulation into an equivalent siamese form, MIM methods can be interpreted in a unified framework with conventional methods, among which only a) data transformations, i.e. what invariance to learn, and b) similarity measurements are different. Furthermore, taking MAE (He et al.) as a representative example of MIM, we empirically find the success of MIM models relates a little to the choice of similarity functions, but the learned occlusion invariant feature introduced by masked image -- it turns out to be a favored initialization for vision transformers, even though the learned feature could be less semantic. We hope our findings could inspire researchers to develop more powerful self-supervised methods in computer vision community.


title: Neural Message Passing for Visual Relationship Detection

abstract: Visual relationship detection aims to detect the interactions between objects in an image; however, this task suffers from combinatorial explosion due to the variety of objects and interactions. Since the interactions associated with the same object are dependent, we explore the dependency of interactions to reduce the search space. We explicitly model objects and interactions by an interaction graph and then propose a message-passing-style algorithm to propagate the contextual information. We thus call the proposed method neural message passing (NMP). We further integrate language priors and spatial cues to rule out unrealistic interactions and capture spatial interactions. Experimental results on two benchmark datasets demonstrate the superiority of our proposed method. Our code is available at https://github.com/PhyllisH/NMP.


title: fMRI-S4: learning short- and long-range dynamic fMRI dependencies using 1D Convolutions and State Space Models

abstract: Single-subject mapping of resting-state brain functional activity to non-imaging phenotypes is a major goal of neuroimaging. The large majority of learning approaches applied today rely either on static representations or on short-term temporal correlations. This is at odds with the nature of brain activity which is dynamic and exhibit both short- and long-range dependencies. Further, new sophisticated deep learning approaches have been developed and validated on single tasks/datasets. The application of these models for the study of a different targets typically require exhaustive hyperparameter search, model engineering and trial and error to obtain competitive results with simpler linear models. This in turn limit their adoption and hinder fair benchmarking in a rapidly developing area of research. To this end, we propose fMRI-S4; a versatile deep learning model for the classification of phenotypes and psychiatric disorders from the timecourses of resting-state functional magnetic resonance imaging scans. fMRI-S4 capture short- and long- range temporal dependencies in the signal using 1D convolutions and the recently introduced state-space models S4. The proposed architecture is lightweight, sample-efficient and robust across tasks/datasets. We validate fMRI-S4 on the tasks of diagnosing major depressive disorder (MDD), autism spectrum disorder (ASD) and sex classifcation on three multi-site rs-fMRI datasets. We show that fMRI-S4 can outperform existing methods on all three tasks and can be trained as a plug&play model without special hyperpararameter tuning for each setting


title: Unconventional Berezinskii-Kosterlitz-Thouless Transition in the Multicomponent Polariton System

abstract: We study a four-component polariton system in the optical parametric oscillator regime consisting of exciton/photon and signal/idler modes across the Berezinskii-Kosterlitz-Thouless (BKT) transition. We show that all four components share the same BKT critical point, and algebraic decay of spatial coherence with the same critical exponent. However, while the collective excitations in different components are strongly locked, both close to and far from criticality, the spontaneous creation of topological defects in the vicinity of the phase transition is found to be largely independent of the inter-component mode locking, and instead strongly dependent on the density within a given mode. This peculiar characteristic allows us to reveal a novel state of matter, characterised by configurations of topological defects proliferating on top of a superfluid with algebraic decay of coherence, observation of which is demonstrated to be within reach of current experiments.


title: Designing Quantum States with Tunable Magnetic Textures

abstract: We theoretically investigate the effects of tunable magnetic fringe fields generated by arrays of switchable magnetic junctions (MJs) on the quantum states of an underlying two-dimensional (2D) system formed in a semiconductor quantum well. The magnetic landscape generated by the MJ-array can be reconfigured on the nanometer scale by electrically switching the magnetic state of individual MJs. The interaction between the spin of the carriers and the fringe fields generates effective spin-dependent potentials acting like quantum dots (barriers) for carriers with spin parallel (antiparallel) to the magnetic texture. The position and depth (height) of the magnetically generated quantum dots (barriers), as well as the coupling between them, can be tuned by modulating the magnetic texture through switchings of individual MJs. This enables the magnetic control, manipulation, and design of quantum states, their spin, and transport properties.


title: A Stable Mimetic Finite-Difference Method for Convection-Dominated Diffusion Equations

abstract: Convection-diffusion equations arise in a variety of applications such as particle transport, electromagnetics, and magnetohydrodynamics. Simulation of the convection-dominated regime for these problems, even with high-fidelity techniques, is particularly challenging due to the presence of sharp boundary layers and shocks causing jumps and discontinuities in the solution, and numerical issues such as loss of the maximum principle in the discretization. These complications cause instabilities, admitting large oscillations in the numerical solution when using traditional methods. Drawing connections to the simplex-averaged finite-element method (S. Wu and J. Xu, 2020), this paper develops a mimetic finite-difference (MFD) discretization using exponentially-averaged coefficients to overcome instability of the numerical solution as the diffusion coefficient approaches zero. The finite-element framework allows for transparent analysis of the MFD, such as proving well-posedness and deriving error estimates. Numerical tests are presented confirming the stability of the method and verifying the error estimates.


title: A Base Change Version of Rasmussen-Tamagawa Conjecture

abstract: We prove a certain uniform version of the Shafarevich Conjecture. As a corollary, we prove the Rasmussen-Tamagawa Conjecture for a particular class of abelian varieties $A$ defined over a number $K$ of dimension $g$ having everywhere potential good reduction, in particular, for any finite place $v$ of $K$ the localization $A_v:=A\times_{\mathrm{Spec}(K)}\mathrm{Spec}(K_v)$ has either good reduction or {\it totally bad reduction} (connected component $\tilde{\mathcal{A}}_v^0$ of the special fibre $\tilde{\mathcal{A}}_v$ of the N\'eron model $\mathcal{A}_v$ at $v$ is an affine group scheme over the residue field $k_v$ at $v$) and has good reduction over a quadratic extension of $K_v$.


title: Object Detection Using Sim2Real Domain Randomization for Robotic Applications

abstract: Robots working in unstructured environments must be capable of sensing and interpreting their surroundings. One of the main obstacles of deep-learning-based models in the field of robotics is the lack of domain-specific labeled data for different industrial applications. In this article, we propose a sim2real transfer learning method based on domain randomization for object detection with which labeled synthetic datasets of arbitrary size and object types can be automatically generated. Subsequently, a state-of-the-art convolutional neural network, YOLOv4, is trained to detect the different types of industrial objects. With the proposed domain randomization method, we could shrink the reality gap to a satisfactory level, achieving 86.32% and 97.38% mAP50 scores, respectively, in the case of zero-shot and one-shot transfers, on our manually annotated dataset containing 190 real images. Our solution fits for industrial use as the data generation process takes less than 0.5 s per image and the training lasts only around 12 h, on a GeForce RTX 2080 Ti GPU. Furthermore, it can reliably differentiate similar classes of objects by having access to only one real image for training. To our best knowledge, this is the only work thus far satisfying these constraints.


title: The impact of physicochemical features of carbon electrodes on the capacitive performance of supercapacitors: A machine learning approach

abstract: Hybrid electric vehicles and portable electronic systems use supercapacitors for energy storage owing to their fast charging discharging rates, long life cycle, and low maintenance. Specific capacitance is regarded as one of the most important performance-related characteristics of a supercapacitor's electrode. In the current study, Machine Learning (ML) algorithms were used to determine the impact of various physicochemical properties of carbon-based materials on the capacitive performance of electric double-layer capacitors. Published experimental datasets from 147 references (4899 data entries) were extracted and then used to train and test the ML models, to determine the relative importance of electrode material features on specific capacitance. These features include current density, pore volume, pore size, presence of defects, potential window, specific surface area, oxygen, and nitrogen content of the carbon-based electrode material. Additionally, categorical variables as the testing method, electrolyte, and carbon structure of the electrodes are considered as well. Among five applied regression models, an extreme gradient boosting model was found to best correlate those features with the capacitive performance, highlighting that the specific surface area, the presence of nitrogen doping, and the potential window are the most significant descriptors for the specific capacitance. These findings are summarized in a modular and open-source application for estimating the capacitance of supercapacitors given, as only inputs, the features of their carbon-based electrodes, the electrolyte and testing method. In perspective, this work introduces a new wide dataset of carbon electrodes for supercapacitors extracted from the experimental literature, also giving an instance of how electrochemical technology can benefit from ML models.


title: SIAD: Self-supervised Image Anomaly Detection System

abstract: Recent trends in AIGC effectively boosted the application of visual inspection. However, most of the available systems work in a human-in-the-loop manner and can not provide long-term support to the online application. To make a step forward, this paper outlines an automatic annotation system called SsaA, working in a self-supervised learning manner, for continuously making the online visual inspection in the manufacturing automation scenarios. Benefit from the self-supervised learning, SsaA is effective to establish a visual inspection application for the whole life-cycle of manufacturing. In the early stage, with only the anomaly-free data, the unsupervised algorithms are adopted to process the pretext task and generate coarse labels for the following data. Then supervised algorithms are trained for the downstream task. With user-friendly web-based interfaces, SsaA is very convenient to integrate and deploy both of the unsupervised and supervised algorithms. So far, the SsaA system has been adopted for some real-life industrial applications.


title: Compact single-seed, module-based laser system on a transportable high-precision atomic gravimeter

abstract: A single-seed, module-based compact laser system is demonstrated on a transportable $^{87}\text{Rb}$-based high-precision atomic gravimeter. All the required laser frequencies for the atom interferometry are provided by free-space acousto-optic modulators (AOMs) and resonant electro-optic phase modulators (EOMs). The optical phase-locked loop between the two optical paths derived from the same laser provides an easy frequency manipulation between two laser frequencies separated by the hyperfine frequency of 6.835 GHz using an AOM and an EOM, respectively. Our scheme avoids parasite Raman transitions present in the direct EOM modulation scheme (modulating directly at the frequency of the hyperfine splitting), which have detrimental effects on the accuracy of the gravity measurements. The optical phase-locked loop also provides a convenient way for vibration compensation through the Raman lasers' phase offset. Furthermore, the modular design approach allows plug-and-play nature on each individual optic module and also increases the mechanical stability of the optical systems. We demonstrate high-precision gravity measurements with 17.8 $\mu\text{Gal}$ stability over 250 seconds averaging time and 2.5 $\mu\text{Gal}$ stability over 2 h averaging time.


title: Down-up algebras and chromatic symmetric functions

abstract: We establish Guay-Paquet's unpublished linear relation between certain chromatic symmetric functions by relating his algebra on paths to the $q$-Klyachko algebra. The coefficients in this relations are $q$-hit polynomials, and they come up naturally in our setup as connected remixed Eulerian numbers, in contrast to the computational approach of Colmenarejo-Morales-Panova. As Guay-Paquet's algebra is a down-up algebra, we are able to harness algebraic results in the context of the latter and establish results of a combinatorial flavour. In particular we resolve a conjecture of Colmenarejo-Morales-Panova on chromatic symmetric functions. This concerns the abelian case of the Stanley-Stembridge conjecture, which we briefly survey.


title: Spectacularly large expansion coefficients in M\"untz's theorem

abstract: M\"untz's theorem asserts, for example, that the even powers $1, x^2, x^4,\dots$ are dense in $C([0,1])$. We show that the associated expansions are so inefficient as to have no conceivable relevance to any actual computation. For example, approximating $f(x)=x$ to accuracy $\varepsilon = 10^{-6}$ in this basis requires powers larger than $x^{280{,}000}$ and coefficients larger than $10^{107{,}000}$. We present a theorem establishing exponential growth of coefficients with respect to $1/\varepsilon$.


title: Threshold for the expected measure of random polytopes

abstract: Let $\mu$ be a log-concave probability measure on ${\mathbb R}^n$ and for any $N>n$ consider the random polytope $K_N={\rm conv}\{X_1,\ldots ,X_N\}$, where $X_1,X_2,\ldots $ are independent random points in ${\mathbb R}^n$ distributed according to $\mu $. We study the question if there exists a threshold for the expected measure of $K_N$. Our approach is based on the Cramer transform $\Lambda_{\mu}^{\ast }$ of $\mu $. We examine the existence of moments of all orders for $\Lambda_{\mu}^{\ast }$ and establish, under some conditions, a sharp threshold for the expectation ${\mathbb E}_{\mu^N}[\mu (K_N)]$ of the measure of $K_N$: it is close to $0$ if $\ln N\ll {\mathbb E}_{\mu }(\Lambda_{\mu}^{\ast })$ and close to $1$ if $\ln N\gg {\mathbb E}_{\mu }(\Lambda_{\mu}^{\ast })$. The main condition is that the parameter $\beta(\mu)={\rm Var}_{\mu }(\Lambda_{\mu}^{\ast })/({\mathbb E}_{\mu }(\Lambda_{\mu }^{\ast }))^2$ should be small.


title: Spectroscopic performance of flight-like DEPFET sensors for Athena's WFI

abstract: The Wide Field Imager for the Athena X-ray telescope is composed of two back side illuminated detectors using DEPFET sensors operated in rolling shutter readout mode: A large detector array featuring four sensors with 512x512 pixels each and a small detector that facilitates the high count rate capability of the WFI for the investigation of bright, point-like sources. Both sensors were fabricated in full size featuring the pixel layout, fabrication technology and readout mode chosen in a preceding prototyping phase. We present the spectroscopic performance of these flight-like detectors for different photon energies in the relevant part of the targeted energy range from 0.2 keV to 15 keV with respect to the timing requirements of the instrument. For 5.9 keV photons generated by an iron-55 source the spectral performance expressed as Full Width at Half Maximum of the emission peak in the spectrum is 126.0 eV for the Large Detector and 129.1 eV for the Fast Detector. A preliminary analysis of the camera's signal chain also allows for a first prediction of the performance in space at the end of the nominal operation phase.


title: Overfullness of edge-critical graphs with small minimal core degree

abstract: Let $G$ be a simple graph. Denote by $n$, $\Delta(G)$ and $\chi' (G)$ be the order, the maximum degree and the chromatic index of $G$, respectively. We call $G$ \emph{overfull} if $|E(G)|/\lfloor n/2\rfloor > \Delta(G)$, and {\it critical} if $\chi'(H) < \chi'(G)$ for every proper subgraph $H$ of $G$. Clearly, if $G$ is overfull then $\chi'(G) = \Delta(G)+1$. The \emph{core} of $G$, denoted by $G_{\Delta}$, is the subgraph of $G$ induced by all its maximum degree vertices. We believe that utilizing the core degree condition could be considered as an approach to attacking the overfull conjecture. Along this direction, we in this paper show that for any integer $k\geq 2$, if $G$ is critical with $\Delta(G)\geq \frac{2}{3}n+\frac{3k}{2}$ and $\delta(G_\Delta)\leq k$, then $G$ is overfull.


title: MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

abstract: We describe a framework for maintaining forest algebra representations that are of logarithmic height for unranked trees. Such a representations can be computed in O(n) time and updated in O(log(n)) time. The framework is of potential interest for data structures and algorithms for trees whose complexity depend on the depth of the tree (representation). We provide an exemplary application of the framework to the problem of efficiently enumerating answers to MSO-definable queries over trees which are subject to local updates. We exhibit an algorithm that uses an O(n) preprocessing phase and enumerates answers with O(log(n)) delay between them. When the tree is updated, the algorithm can avoid repeating expensive preprocessing and restart the enumeration phase within O(log(n)) time. Our algorithms and complexity results in the paper are presented in terms of node-selecting tree automata representing the MSO queries.


title: An Empirical Evaluation of Predicted Outcomes as Explanations in Human-AI Decision-Making

abstract: In this work, we empirically examine human-AI decision-making in the presence of explanations based on predicted outcomes. This type of explanation provides a human decision-maker with expected consequences for each decision alternative at inference time - where the predicted outcomes are typically measured in a problem-specific unit (e.g., profit in U.S. dollars). We conducted a pilot study in the context of peer-to-peer lending to assess the effects of providing predicted outcomes as explanations to lay study participants. Our preliminary findings suggest that people's reliance on AI recommendations increases compared to cases where no explanation or feature-based explanations are provided, especially when the AI recommendations are incorrect. This results in a hampered ability to distinguish correct from incorrect AI recommendations, which can ultimately affect decision quality in a negative way.


title: Discrete Abelian lattice gauge theories on a ladder and their dualities with quantum clock models

abstract: We study a duality transformation from the gauge-invariant subspace of a $\mathbb{Z}_N$ lattice gauge theory on a two-leg ladder geometry to an $N$-clock model on a single chain. The main feature of this mapping is the emergence of a longitudinal field in the clock model, whose value depends on the superselection sector of the gauge model, implying that the different sectors of the gauge theory can show quite different phase diagrams. In order to investigate this and see if confined phases might emerge, we perform a numerical analysis for $N = 2, 3, 4$, using exact diagonalization and DMRG.

categories: hep-lat cond-mat.stat-mech hep-th quant-ph


title: An Exactly Solvable Toy Model of Autocatalysis: Irreversible Relaxation after a Quantum Quench

abstract: A fully resolvable quantum many-body Hamiltonian is introduced that mimics the behavior of the autocatalytic chemical reaction A+B <-> 2B involving two different molecular species, A and B. The model also describes two nonlinearly-coupled modes of an optical cavity. Consistent with the current understanding of the relaxation dynamics of integrable systems in isolation, the wavefunction following a quantum quench exhibits irreversibility with retention of the memory about its initial conditions. Salient features of the model include a marked similarity with conventional quantum decay and a total B-to-A conversion, with associated classical-like behavior of the wavefunction, when the initial state does not contain A-type molecules.


title: An instrumental variable approach under dependent censoring

abstract: This paper considers the problem of inferring the causal effect of a variable $Z$ on a dependently censored survival time $T$. We allow for unobserved confounding variables, such that the error term of the regression model for $T$ is correlated with the confounded variable $Z$. Moreover, $T$ is subject to dependent censoring. This means that $T$ is right censored by a censoring time $C$, which is dependent on $T$ (even after conditioning out the effects of the measured covariates). A control function approach, relying on an instrumental variable, is leveraged to tackle the confounding issue. Further, it is assumed that $T$ and $C$ follow a joint regression model with bivariate Gaussian error terms and an unspecified covariance matrix such that the dependent censoring can be handled in a flexible manner. Conditions under which the model is identifiable are given, a two-step estimation procedure is proposed, and it is shown that the resulting estimator is consistent and asymptotically normal. Simulations are used to confirm the validity and finite-sample performance of the estimation procedure. Finally, the proposed method is used to estimate the causal effect of job training programs on unemployment duration.


title: Core-collapse supernovae in dense environments -- particle acceleration and non-thermal emission

abstract: Supernova remnants are known to accelerate cosmic-rays from the detection of non-thermal emission in radio waves, X-rays, and gamma-rays. However, the ability to accelerate cosmic-rays up to PeV energies has yet to be demonstrated. The presence of cut-offs in the gamma-ray spectra of several young SNRs led to the idea that PeV energies might only be achieved during the first years of a remnant's evolution. We use our time-dependent acceleration-code RATPaC to study the acceleration of cosmic-rays in supernovae expanding into dense environments around massive stars. We performed spherically symmetric 1-D simulations in which we simultaneously solve the transport equations for cosmic-rays, magnetic turbulence, and the hydrodynamical flow of the thermal plasma in the test-particle limit. We investigated typical CSM parameters expected around RSG and LBV stars for freely expanding winds and accounted for the strong gamma-gamma-absorption in the first days after explosion. The maximum achievable particle energy is limited to below 600TeV even for largest considered values of the magnetic field and mass-loss rates. The maximum energy is not expected to surpass 200TeV and 70TeV for LBVs and RSGs that experience moderate mass-loss prior to the explosion. We find gamma-ray peak-luminosities consistent with current upper limits and evaluated that current-generation instruments are able to detect the gamma-rays from Type-IIP explosions at distances up to 60kpc and Type-IIn explosions up to 1.0Mpc. We also find a good agreement between the thermal X-ray and radio synchrotron emission predicted by our models with a range of observations.


title: Causality in cardiorespiratory signals in pediatric cardiac patients

abstract: Four different Granger causality-based methods - one linear and three nonlinear (Granger Causality, Kernel Granger Causality, large-scale Nonlinear Granger Causality, and Neural Network Granger Causality) were used for assessment and causal-based quantification of the respiratory sinus arrythmia (RSA) in the group of pediatric cardiac patients, based on the single-lead ECG and impedance pneumography signals (the latter as the tidal volume curve equivalent). Each method was able to detect the dependency (in terms of causal inference) between respiratory and cardiac signals. The correlations between quantified RSA and the demographic parameters were also studied, but the results differ for each method.


title: DIVISION: Memory Efficient Training via Dual Activation Precision

abstract: Activation compressed training provides a solution towards reducing the memory cost of training deep neural networks~(DNNs). However, state-of-the-art work combines a search of quantization bit-width with the training, which makes the procedure complicated and less transparent. To this end, we propose a simple and effective method to compress DNN training. Our method is motivated by an instructive observation: DNN backward propagation mainly utilizes the low-frequency component (LFC) of the activation maps, while the majority of memory is for caching the high-frequency component (HFC) during the training. This indicates the HFC of activation maps is highly redundant and compressible during DNN training, which inspires our proposed Dual Activation Precision (DIVISION). During the training, DIVISION preserves the high-precision copy of LFC and compresses the HFC into a light-weight copy with low numerical precision. This can significantly reduce the memory cost without negatively affecting the precision of backward propagation such that DIVISION maintains competitive model accuracy. Experiment results show DIVISION has better comprehensive performance than state-of-the-art methods, including over 10x compression of activation maps and competitive training throughput, without loss of model accuracy.


title: A quadratic estimation for the K\"uhnel conjecture on embeddings

abstract: The classical Heawood inequality states that if the complete graph $K_n$ on $n$ vertices is embeddable in the sphere with $g$ handles, then $g \ge\dfrac{(n-3)(n-4)}{12}$. A higher-dimensional analogue of the Heawood inequality is the K\"uhnel conjecture. In a simplified form it states that for every integer $k>0$ there is $c_k>0$ such that if the union of $k$-faces of $n$-simplex embeds into the connected sum of $g$ copies of the Cartesian product $S^k\times S^k$ of two $k$-dimensional spheres, then $g\ge c_k n^{k+1}$. For $k>1$ only linear estimates were known. We present a quadratic estimate $g\ge c_k n^2$. The proof is based on beautiful and fruitful interplay between geometric topology, combinatorics and linear algebra.


title: Exact potentials in multivariate Langevin equations

abstract: Systems governed by a multivariate Langevin equation featuring an exact potential exhibit straightforward dynamics but are often difficult to recognize because, after a general coordinate change, the gradient flow becomes obscured by the Jacobian matrix of the mapping. In this work, a detailed analysis of the transformation properties of Langevin equations under general nonlinear mappings is presented. We show how to identify systems with exact potentials by understanding their differential-geometric properties. To demonstrate the power of our method, we use it to derive exact potentials for broadly studied models of nonlinear deterministic and stochastic oscillations. In selected examples, we visualize the identified potentials. Our results imply a broad class of exactly solvable stochastic models which can be self-consistently defined from given deterministic gradient systems.


title: SA-NET.v2: Real-time vehicle detection from oblique UAV images with use of uncertainty estimation in deep meta-learning

abstract: In recent years, unmanned aerial vehicle (UAV) imaging is a suitable solution for real-time monitoring different vehicles on the urban scale. Real-time vehicle detection with the use of uncertainty estimation in deep meta-learning for the portable platforms (e.g., UAV) potentially improves video understanding in real-world applications with a small training dataset, while many vehicle monitoring approaches appear to understand single-time detection with a big training dataset. The purpose of real-time vehicle detection from oblique UAV images is to locate the vehicle on the time series UAV images by using semantic segmentation. Real-time vehicle detection is more difficult due to the variety of depth and scale vehicles in oblique view UAV images. Motivated by these facts, in this manuscript, we consider the problem of real-time vehicle detection for oblique UAV images based on a small training dataset and deep meta-learning. The proposed architecture, called SA-Net.v2, is a developed method based on the SA-CNN for real-time vehicle detection by reformulating the squeeze-and-attention mechanism. The SA-Net.v2 is composed of two components, including the squeeze-and-attention function that extracts the high-level feature based on a small training dataset, and the gated CNN. For the real-time vehicle detection scenario, we test our model on the UAVid dataset. UAVid is a time series oblique UAV images dataset consisting of 30 video sequences. We examine the proposed method's applicability for stand real-time vehicle detection in urban environments using time series UAV images. The experiments show that the SA-Net.v2 achieves promising performance in time series oblique UAV images.


title: 300 GHz Dual-Band Channel Measurement, Analysis and Modeling in an L-shaped Hallway

abstract: The Terahertz (THz) band (0.1-10 THz) has been envisioned as one of the promising spectrum bands for sixth-generation (6G) and beyond communications. In this paper, a dual-band angular-resolvable wideband channel measurement in an indoor L-shaped hallway is presented and THz channel characteristics at 306-321 GHz and 356-371 GHz are analyzed. It is found that conventional close-in and alpha-beta path loss models cannot take good care of large-scale fading in the non-line-of-sight (NLoS) case, for which a modified alpha-beta path loss model for the NLoS case is proposed and verified in the NLoS case for both indoor and outdoor L-shaped scenarios. To describe both large-scale and small-scale fading, a ray-tracing (RT)-statistical hybrid channel model is proposed in the THz hallway scenario. Specifically in the hybrid model, the deterministic part in hybrid channel modeling uses RT modeling of dominant multi-path components (MPCs), i.e., LoS and multi-bounce reflected paths in the near-NLoS region, while dominant MPCs at far-NLoS positions can be deduced based on the developed statistical evolving model. The evolving model describes the continuous change of arrival angle, power and delay of dominant MPCs in the NLoS region. On the other hand, non-dominant MPCs are generated statistically. The proposed hybrid approach reduces the computational cost and solves the inaccuracy or even missing of dominant MPCs through RT at far-NLoS positions.


title: Institutional Collaboration Recommendation: An expertise-based framework using NLP and Network Analysis

abstract: The shift from 'trust-based funding' to 'performance-based funding' is one of the factors that has forced institutions to strive for continuous improvement of performance. Several studies have established the importance of collaboration in enhancing the performance of paired institutions. However, identification of suitable institutions for collaboration is sometimes difficult and therefore institutional collaboration recommendation systems can be vital. Currently, there are no well-developed institutional collaboration recommendation systems. In order to bridge this gap, we design a framework that recognizes thematic strengths and core competencies of institutions, which can in turn be used for collaboration recommendations. The framework, based on NLP and network analysis techniques, is capable of determining the strengths of an institution in different thematic areas within a field and thereby determining the core competency and potential core competency areas of that institution. A major advantage of the system is that it can help to determine and improve the research portfolio of an institution within a field through suitable collaboration, which may lead to the overall improvement of the performance of the institution in that field. The framework is demonstrated by analyzing the performance of 195 Indian institutions in the field of 'Computer Science'. Upon validation using standard metrics for novelty, coverage and diversity of recommendation systems, the framework is found to be of sufficient coverage and capable of tossing novel and diverse recommendations. The article thus presents an institutional collaboration recommendation system which can be used by institutions to identify potential collaborators.


title: Stochastic fixed-point iterations for nonexpansive maps: Convergence and error bounds

abstract: We study a stochastically perturbed version of the well-known Krasnoselski--Mann iteration for computing fixed points of nonexpansive maps in finite dimensional normed spaces. We discuss sufficient conditions on the stochastic noise and stepsizes that guarantee almost sure convergence of the iterates towards a fixed point, and derive non-asymptotic error bounds and convergence rates for the fixed-point residuals. Our main results concern the case of a martingale difference noise with variances that can possibly grow unbounded. This supports an application to reinforcement learning for average reward Markov decision processes, for which we establish convergence and asymptotic rates. We also analyze in depth the case where the noise has uniformly bounded variance, obtaining error bounds with explicit computable constants.


title: DarkMix: Mixture Models for the Detection and Characterization of Dark Matter Halos

abstract: Dark matter simulations require statistical techniques to properly identify and classify their halos and structures. Nonparametric solutions provide catalogs of these structures but lack the additional learning of a model-based algorithm and might misclassify particles in merging situations. With mixture models, we can simultaneously fit multiple density profiles to the halos that are found in a dark matter simulation. In this work, we use the Einasto profile (Einasto 1965, 1968, 1969) to model the halos found in a sample of the Bolshoi simulation (Klypin et al. 2011), and we obtain their location, size, shape and mass. Our code is implemented in the R statistical software environment and can be accessed on https://github.com/LluisHGil/darkmix.


title: A continuum model for brittle nanowires derived from an atomistic description by $\Gamma$-convergence

abstract: Starting from a particle system with short-range interactions, we derive a continuum model for the bending, torsion, and brittle fracture of inextensible rods moving in three-dimensional space. As the number of particles tends to infinity, it is assumed that the rod's thickness is of the same order as the interatomic distance. Fracture energy in the $\Gamma$-limit is expressed by an implicit cell formula, which covers different modes of fracture, including (complete) cracks, folds and torsional cracks. In special cases, the cell formula can be significantly simplified. Our approach applies e.g. to atomistic systems with Lennard-Jones-type potentials and is motivated by the research of ceramic nanowires.

categories: math.AP cond-mat.mes-hall cond-mat.mtrl-sci math-ph math.MP


title: Hopf Bifurcations of Reaction Networks with Zero-One Stoichiometric Coefficients

abstract: For the reaction networks with zero-one stoichiometric coefficients (or simply zero-one networks), we prove that if a network admits a Hopf bifurcation, then the rank of the stoichiometric matrix is at least four. As a corollary, we show that if a zero-one network admits a Hopf bifurcation, then it contains at least four species and five reactions. As applications, we show that there exist rank-four subnetworks, which have the capacity for Hopf bifurcations/oscillations, in two biologically significant networks: the MAPK cascades and the ERK network. We provide a computational tool for computing all four-species, five-reaction, zero-one networks that have the capacity for Hopf bifurcations.


title: New Accretion Constraint on the Evaporation of Primordial Black Holes

abstract: In this paper, we have investigated the processes of evaporation and accretion of primordial black holes during the radiation-dominated era and the matter-dominated era. This subject is very important since usually these two processes are considered independent of each other. In other words, previous works consider them in such a way that they do not have a direct effect on each other, and as a result, their effects on the mass of primordial black holes are calculated separately. The calculations of this paper indicate that assuming these two processes independently of each other will lead to wrong results that only give correct answers within certain limits. In fact, in general, it is a mistake to consider the static state for the event horizon of primordial black holes and perform calculations related to their evaporation, while the radius of primordial black holes is constantly changing due to accretion. In addition, we have shown that considering the dynamic event horizon in some masses and in some times can lead to the shutdown of the Hawking evaporation process. This study is much more accurate and detailed than our previous study. These calculations show well the mass evolution of primordial black holes from the time of formation to the end of the matter-dominated era, taking into account both the main processes governing black holes, evaporation and accretion.


title: Toward automated detection of light echoes in synoptic surveys: considerations on the application of the Deep Convolutional Neural Networks

abstract: Light Echoes (LEs) are the reflections of astrophysical transients off of interstellar dust. They are fascinating astronomical phenomena that enable studies of the scattering dust as well as of the original transients. LEs, however, are rare and extremely difficult to detect as they appear as faint, diffuse, time-evolving features. The detection of LEs still largely relies on human inspection of images, a method unfeasible in the era of large synoptic surveys. The Vera C. Rubin Observatory Legacy Survey of Space and Time, LSST, will generate an unprecedented amount of astronomical imaging data at high spatial resolution, exquisite image quality, and over tens of thousands of square degrees of sky: an ideal survey for LEs. However, the Rubin data processing pipelines are optimized for the detection of point-sources and will entirely miss LEs. Over the past several years, Artificial Intelligence (AI) object detection frameworks have achieved and surpassed real-time, human-level performance. In this work, we prepare a dataset from the ATLAS telescope and test a popular AI object detection framework, You Only Look Once, or YOLO, developed in the computer vision community, to demonstrate the potential of AI in the detection of LEs in astronomical images. We find that an AI framework can reach human-level performance even with a size- and quality-limited dataset. We explore and highlight challenges, including class imbalance and label incompleteness, and roadmap the work required to build an end-to-end pipeline for the automated detection and study of LEs in high-throughput astronomical surveys.


title: A bending-torsion theory for thin and ultrathin rods as a $\Gamma$-limit of atomistic models

abstract: The purpose of this note is to establish two continuum theories for the bending and torsion of inextensible rods as $\Gamma$-limits of 3D atomistic models. In our derivation we study simultaneous limits of vanishing rod thickness $h$ and interatomic distance $\varepsilon$. First, we set up a novel theory for ultrathin rods composed of finitely many atomic fibres ($\varepsilon\sim h$), which incorporates surface energy and new discrete terms in the limiting functional. This can be thought of as a contribution to the mechanical modelling of nanowires. Second, we treat the case where $\varepsilon\ll h$ and recover a nonlinear rod model $-$ the modern version of Kirchhoff's rod theory.


title: Effect of intense x-ray free-electron laser transient gratings on the magnetic domain structure of Tm:YIG

abstract: Magnetic patterns can be controlled globally using fields or spin polarized currents. In contrast, the local control of the magnetization on the nanometer length scale remains challenging. Here, we demonstrate how magnetic domain patterns in a Tm-doped yttrium iron garnet (Tm:YIG) thin film with perpendicular magnetic anisotropy can be permanently and locally imprinted by high intensity photon pulses of a hard x-ray transient grating (XTG). Micromagnetic simulations provide a qualitative understanding of the observed changes in the orientation of magnetic domains in Tm:YIG and XTG-induced changes. The presented results offer a route for the local manipulation of the magnetic state using hard XTG.


title: Content-Based Landmark Retrieval Combining Global and Local Features using Siamese Neural Networks

abstract: In this work, we present a method for landmark retrieval that utilizes global and local features. A Siamese network is used for global feature extraction and metric learning, which gives an initial ranking of the landmark search. We utilize the extracted feature maps from the Siamese architecture as local descriptors, the search results are then further refined using a cosine similarity between local descriptors. We conduct a deeper analysis of the Google Landmark Dataset, which is used for evaluation, and augment the dataset to handle various intra-class variances. Furthermore, we conduct several experiments to compare the effects of transfer learning and metric learning, as well as experiments using other local descriptors. We show that a re-ranking using local features can improve the search results. We believe that the proposed local feature extraction using cosine similarity is a simple approach that can be extended to many other retrieval tasks.


title: Analog Bits: Generating Discrete Data using Diffusion Models with Self-Conditioning

abstract: We present Bit Diffusion: a simple and generic approach for generating discrete data with continuous state and continuous time diffusion models. The main idea behind our approach is to first represent the discrete data as binary bits, and then train a continuous diffusion model to model these bits as real numbers which we call analog bits. To generate samples, the model first generates the analog bits, which are then thresholded to obtain the bits that represent the discrete variables. We further propose two simple techniques, namely Self-Conditioning and Asymmetric Time Intervals, which lead to a significant improvement in sample quality. Despite its simplicity, the proposed approach can achieve strong performance in both discrete image generation and image captioning tasks. For discrete image generation, we significantly improve previous state-of-the-art on both CIFAR-10 (which has 3K discrete 8-bit tokens) and ImageNet-64x64 (which has 12K discrete 8-bit tokens), outperforming the best autoregressive model in both sample quality (measured by FID) and efficiency. For image captioning on MS-COCO dataset, our approach achieves competitive results compared to autoregressive models.


title: The effect of ionizing background fluctuations on the spatial correlations of high redshift Ly$\alpha$-emitting galaxies

abstract: We investigate the possible influence of fluctuations in the metagalactic photoionizing ultra-violet background (UVBG) on the clustering of Ly$\alpha$-emitting galaxies through the modulation of the ionization level of the gas surrounding the systems. At redshifts $z > 5$, even when assuming the reionization of the intergalactic medium has completed, the fluctuations are sufficiently large that they may non-negligibly enhance, and possibly even dominate, the angular correlation function on scales up to a few hundred arcsecs. Whilst a comparison with observations at $z \sim 5.7$ is statistically consistent with no influence of UVBG fluctuations, allowing for the fluctuations opens up the range of acceptable models to include those with relatively low bias factors for the Ly$\alpha$-emitting galaxies. In this case, the evolution in the bias factor of Ly$\alpha$-emitters over the approximate redshift range $3 < z < 7$ corresponds to a nearly constant halo mass for Ly$\alpha$-emitting galaxies of $\sim 10^{10.5}\,M_\odot$.


title: Origami-based Zygote structure enables pluripotent shape-transforming deployable structure

abstract: We propose an algorithmic framework of a pluripotent structure evolving from a simple compact structure into diverse complex 3-D structures for designing the shape transformable, reconfigurable, and deployable structures and robots. Our algorithmic approach suggests a way of transforming a compact structure consisting of uniform building blocks into a large, desired 3-D shape. Analogous to the pluripotent stem cells that can grow into a preprogrammed shape according to coded information, which we call DNA, compactly stacked panels named the zygote structure can evolve into arbitrary 3-D structures by programming their connection path. Our stacking algorithm obtains this coded sequence by inversely stacking the voxelized surface of the desired structure into a tree. Applying the connection path obtained by the stacking algorithm, the compactly stacked panels named the zygote structure can be deployed into diverse large 3-D structures. We conceptually demonstrated our pluripotent evolving structure by energy releasing commercial spring hinges and thermally actuated shape memory alloy (SMA) hinges, respectively. We also show that the proposed concept enables the fabrication of large structures in a significantly smaller workspace.


title: A mean-variance optimized portfolio constructed for investment in a reference security, for an investor with a preference towards an accepted set of securities

abstract: We consider a reference security, understood to be an attractive investment, with the caveat that an investor is not willing to directly invest in the security, for presence of constraints, either investor specific or pertaining to the security itself. The investor, however, is open to a portfolio constructed with an accepted set of securities, where returns could be considered similar to the reference security. We demonstrate, under a measure of similarity, such a portfolio could be selected with a mean-variance characterization, as defined by Markowitz. Furthermore, we consider the performance relative to the reference security, with the Sharpe Ratio. The objective of the paper is to derive an optimal portfolio to address an investor preference for the accepted set of securities.


title: Vision-Based Activity Recognition in Children with Autism-Related Behaviors

abstract: Advances in machine learning and contactless sensors have enabled the understanding complex human behaviors in a healthcare setting. In particular, several deep learning systems have been introduced to enable comprehensive analysis of neuro-developmental conditions such as Autism Spectrum Disorder (ASD). This condition affects children from their early developmental stages onwards, and diagnosis relies entirely on observing the child's behavior and detecting behavioral cues. However, the diagnosis process is time-consuming as it requires long-term behavior observation, and the scarce availability of specialists. We demonstrate the effect of a region-based computer vision system to help clinicians and parents analyze a child's behavior. For this purpose, we adopt and enhance a dataset for analyzing autism-related actions using videos of children captured in uncontrolled environments (e.g. videos collected with consumer-grade cameras, in varied environments). The data is pre-processed by detecting the target child in the video to reduce the impact of background noise. Motivated by the effectiveness of temporal convolutional models, we propose both light-weight and conventional models capable of extracting action features from video frames and classifying autism-related behaviors by analyzing the relationships between frames in a video. Through extensive evaluations on the feature extraction and learning strategies, we demonstrate that the best performance is achieved with an Inflated 3D Convnet and Multi-Stage Temporal Convolutional Networks, achieving a 0.83 Weighted F1-score for classification of the three autism-related actions, outperforming existing methods. We also propose a light-weight solution by employing the ESNet backbone within the same system, achieving competitive results of 0.71 Weighted F1-score, and enabling potential deployment on embedded systems.


title: Simple spines of homotopy 2-spheres are unique

abstract: A locally flatly embedded $2$-sphere in a compact $4$-manifold $X$ is called a spine if the inclusion map is a homotopy equivalence. A spine is called simple if the complement of the $2$-sphere has abelian fundamental group. We prove that if two simple spines represent the same generator of $H_2(X)$ then they are ambiently isotopic. In particular, the theorem applies to simple shake-slicing $2$-spheres in knot traces.


title: On the universality of the Nazarov-Sodin constant

abstract: We study the number of connected components of non-Gaussian random spherical harmonics on the two dimensional sphere $\mathbb{S}^2$. We prove that the expectation of the nodal domains count is independent of the distribution of the coefficients provided it has a finite second moment.


title: Hydrothermal synthesis of ordered corkite, PbFe3(PO4)(SO4)(OH)6, a S = 5/2 kagom\'e antiferromagnet

abstract: Corkite, PbFe3(PO4)(SO4)(OH)6, an understudied relative of the jarosite family of Heisenberg antiferromagnets, has been synthesized and its magnetic properties characterized for the first time. Relative to natural samples, synthetic corkite displays signatures in both infrared and Raman spectra of a more ordered arrangement of polyanion groups about the kagom\'e sublattice that retains inversion symmetry. Magnetic susceptibility measurements reveal that dried corkite undergoes a transition to a long-range, antiferromagnetically-ordered state below TN = 48 K, lower than that observed in the majority of jarosite phases, and indicative of further spin frustration. Curie-Weiss fitting of the measured magnetic susceptibility yields an effective magnetic moment of peff = 6.29(1) muB/Fe^3+ and theta_CW = -526.0(1.1) K, analogous to that observed in similar high-spin Fe^3+ systems, and indicative of strong antiferromagnetic coupling. Estimation of the change in magnetic entropy as a function of temperature from T = 0 K to T = 195 K, dS_mag = 14.86 J/mol_Fe^3+ K, is also in good agreement with the dS_mag = Rln(2S+1) = 14.9 J/mol K expected for a S = 5/2 system. In comparison to the pure jarosites, where both structure and magnetism remain largely invariant upon a variety of chemical substitutions, the replacement of one sulfate group per formula unit with a higher-valent phosphate group applies additional steric and electronic pressure on the kagom\'e lattice in corkite, further frustrating the magnetic ground state of the material. Corkite thus represents both an outlier in the known body of jarosite-type materials, and an illustration of how existing structures may be further strained in the development of highly frustrated magnetic systems.


title: Generalized Jackiw-Teitelboim gravity in presence of Bloch brane-like models

abstract: We investigate generalized Jackiw-Teitelboim gravity, coupling the dilaton field with two scalar matter fields. We obtain the equations of motion of the fields and investigate the linear perturbation of the solutions in general. We study two specific situations that allow analytic solutions with topological behavior and check how the dilaton field, the warp factor and Ricci scalar behave. In particular, we have shown how the parameters can be used to modify the structure of the solutions. Moreover, the perturbations are in general described by intricate coupled differential equations, but in some specific cases we could construct the corresponding zero modes analytically.


title: Behavior Trees and State Machines in Robotics Applications

abstract: Autonomous robots combine skills to form increasingly complex behaviors, called missions. While skills are often programmed at a relatively low abstraction level, their coordination is architecturally separated and often expressed in higher-level languages or frameworks. State machines have been the go-to language to model behavior for decades, but recently, behavior trees have gained attention among roboticists. Although several implementations of behavior trees are in use, little is known about their usage and scope in the real world.How do concepts offered by behavior trees relate to traditional languages, such as state machines? How are concepts in behavior trees and state machines used in actual applications? This paper is a study of the key language concepts in behavior trees as realized in domain-specific languages (DSLs), internal and external DSLs offered as libraries, and their use in open-source robotic applications supported by the Robot Operating System (ROS). We analyze behavior-tree DSLs and compare them to the standard language for behavior models in robotics:state machines. We identify DSLs for both behavior-modeling languages, and we analyze five in-depth.We mine open-source repositories for robotic applications that use the analyzed DSLs and analyze their usage. We identify similarities between behavior trees and state machines in terms of language design and the concepts offered to accommodate the needs of the robotics domain. We observed that the usage of behavior-tree DSLs in open-source projects is increasing rapidly. We observed similar usage patterns at model structure and at code reuse in the behavior-tree and state-machine models within the mined open-source projects. We contribute all extracted models as a dataset, hoping to inspire the community to use and further develop behavior trees, associated tools, and analysis techniques.


title: On a kinetic equation describing the behavior of a gas interacting mainly with radiation

abstract: In this article we study a kinetic model which describes the interaction between a gas and radiation. Specifically, we consider a scaling limit in which the interaction between the gas and the photons takes place much faster than the collisions between the gas molecules themselves. We prove in the homogeneous case that the solutions of the limit problem solve a kinetic equation for which a well-posedness theory is considered. The proof of the convergence to a new kinetic equation is obtained analyzing the dynamics of the gas-photon system near the slow manifold of steady states.


title: Hybrid Serverless Computing: Opportunities and Challenges

abstract: In recent years, there has been a surge in the adoption of serverless computing due to the ease of deployment, attractive pay-per-use pricing, and transparent horizontal auto-scaling. At the same time, infrastructure advancements such as the emergence of 5G networks and the explosion of devices connected to Internet known as Internet of Things (IoT), as well as new application requirements that constrain where computation and data can happen, will expand the reach of Cloud computing beyond traditional data centers into Hybrid Cloud. Digital transformation due to the pandemic, which accelerated changes to the workforce and spurred further adoption of AI, is expected to accelerate and the emergent Hybrid Cloud market could potentially expand to over trillion dollars. In the Hybrid Cloud environment, driven by the serverless tenants there will be an increased need to focus on enabling productive work for application builders that are using a distributed platform including public clouds, private clouds, and edge systems. In this chapter we investigate how far serverless computing can be extended to become Hybrid Serverless Computing.


title: On the $p$-rationality of consecutive quadratic fields

abstract: In 2016, in the work related to Galois representations, Greenberg conjectured the existence of multi-quadratic $p$-rational number fields of degree $2^{t}$ for any odd prime number $p$ and any integer $t \geq 1$. Using the criteria provided by him to check $p$-rationality for abelian number fields, certain infinite families of quadratic, biquadratic and triquadratic $p$-rational fields have been shown to exist in recent years. In this article, for any integer $k \geq 1$, we build upon the existing work and prove the existence of infinitely many prime numbers $p$ for which the imaginary quadratic fields $\mathbb{Q}(\sqrt{-(p - 1)}),\ldots,\mathbb{Q}(\sqrt{-(p - k)})$ and $\mathbb{Q}(\sqrt{-p(p - 1)}),\ldots, \mathbb{Q}(\sqrt{-p(p - k)})$ are all $p$-rational. This can be construed as analogous results in the spirit of Iizuka's conjecture on the divisibility of class numbers of consecutive quadratic fields. We also address a similar question of $p$-rationality for two consecutive real quadratic fields by proving the existence of infinitely many $p$-rational fields of the form $\mathbb{Q}(\sqrt{p^{2} + 1})$ and $\mathbb{Q}(\sqrt{p^{2} + 2})$. The result for imaginary quadratic fields is accomplished by producing infinitely many primes for which the corresponding consecutive discriminants have large square divisors and the same for real quadratic fields is proven using a result of Heath-Brown on the density of square-free values of polynomials at prime arguments.


title: Boosting Video-Text Retrieval with Explicit High-Level Semantics

abstract: Video-text retrieval (VTR) is an attractive yet challenging task for multi-modal understanding, which aims to search for relevant video (text) given a query (video). Existing methods typically employ completely heterogeneous visual-textual information to align video and text, whilst lacking the awareness of homogeneous high-level semantic information residing in both modalities. To fill this gap, in this work, we propose a novel visual-linguistic aligning model named HiSE for VTR, which improves the cross-modal representation by incorporating explicit high-level semantics. First, we explore the hierarchical property of explicit high-level semantics, and further decompose it into two levels, i.e. discrete semantics and holistic semantics. Specifically, for visual branch, we exploit an off-the-shelf semantic entity predictor to generate discrete high-level semantics. In parallel, a trained video captioning model is employed to output holistic high-level semantics. As for the textual modality, we parse the text into three parts including occurrence, action and entity. In particular, the occurrence corresponds to the holistic high-level semantics, meanwhile both action and entity represent the discrete ones. Then, different graph reasoning techniques are utilized to promote the interaction between holistic and discrete high-level semantics. Extensive experiments demonstrate that, with the aid of explicit high-level semantics, our method achieves the superior performance over state-of-the-art methods on three benchmark datasets, including MSR-VTT, MSVD and DiDeMo.


title: Exact Learning of Multitrees and Almost-Trees Using Path Queries

abstract: Given a directed graph, G=(V,E), a path query, path(u,v), returns whether there is a directed path from u to v in G, for u,v vertices in V. Given only V, exactly learning all the edges in G using path queries is often impossible, since path queries cannot detect transitive edges. In this paper, we study the query complexity of exact learning for cases when learning G is possible using path queries. In particular, we provide efficient learning algorithms, as well as lower bounds, for multitrees and almost-trees, including butterfly networks.


title: EMISSA -- Exploring Millimetre Indicators of Solar-Stellar Activity II. Towards a robust indicator of stellar activity

abstract: An activity indicator, which can provide a robust quantitative mapping between the stellar activity and the physical properties of its atmosphere, is important in exploring the physics of activity across spectral types. But the common activity indicators show large variability in their values which makes defining a robust quantitative scale difficult. Millimetre (mm) wavelengths probe the different atmospheric layers within the stellar chromosphere providing a tomographic view of the atmospheric dynamics. The project aims to define a robust mm-based activity indicator for the cool main-sequence stars ($\mathrm{T_{eff}} \sim$ 5000 - 7000 K). We derive the mm-brightness temperature ($\mathrm{T_B(\nu)}$) spectral indices ($\mathrm{\alpha_{mm}}$) for cool stars including the Sun using archival data in the 30 - 1000 GHz range. The derived values for $\mathrm{\alpha_{mm}}$ are explored as a function of various physical parameters and empirical power-law functions were derived. $\mathrm{\alpha_{mm}}$ estimates were also compared with other activity indicators. Despite the estimation errors, $\mathrm{\alpha_{mm}}$ values could well distinguish the cool stars, unlike common activity indicators. The low estimation errors on the derived trends of $\mathrm{\alpha_{mm}}$ versus physical parameters suggest that $\mathrm{\alpha_{mm}}$ could be a robust activity indicator. $\mathrm{\alpha_{mm}}$, which is linked to chromospheric thermal stratification and activity in cool stars can well distinguish and physically characterise the stars more robustly than common activity indicators. We emphasise the need for multi-frequency data across the mm-band for stars, with a range of physical parameters and gathered at multiple epochs during activity cycles. This will help explore $\mathrm{\alpha_{mm}}$ in a statistically robust manner and study the emergence of chromospheric heating on the main-sequence.


title: Accretion of the relativistic Vlasov gas in the equatorial plane of the Kerr black hole

abstract: We investigate stationary accretion of the collisionless Vlasov gas onto the Kerr black hole, occurring in the equatorial plane. The solution is specified by imposing asymptotic boundary conditions: at infinity the gas obeys the Maxwell-J\"{u}ttner distribution, restricted to the equatorial plane (both in positions and momenta). In the vicinity of the black hole, the motion of the gas is governed by the spacetime geometry. We compute accretion rates of the rest-mass, the energy, and the angular momentum, as well as the particle number surface density, focusing on the dependence of these quantities on the asymptotic temperature of the gas and the black hole spin. The rest-mass and energy accretion rates, normalized by the black hole mass and appropriate asymptotic surface densities of the gas, increase with increasing asymptotic temperature. The accretion slows down the rotation of the black hole.


title: A Design Space for Surfacing Content Recommendations in Visual Analytic Platforms

abstract: Recommendation algorithms have been leveraged in various ways within visualization systems to assist users as they perform of a range of information tasks. One common focus for these techniques has been the recommendation of content, rather than visual form, as a means to assist users in the identification of information that is relevant to their task context. A wide variety of techniques have been proposed to address this general problem, with a range of design choices in how these solutions surface relevant information to users. This paper reviews the state-of-the-art in how visualization systems surface recommended content to users during users' visual analysis; introduces a four-dimensional design space for visual content recommendation based on a characterization of prior work; and discusses key observations regarding common patterns and future research opportunities.


title: A Linear Programming Approach for Resource-Aware Information-Theoretic Tree Abstractions

abstract: In this chapter, an integer linear programming formulation for the problem of obtaining task-relevant, multi-resolution, environment abstractions for resource-constrained autonomous agents is presented. The formulation leverages concepts from information-theoretic signal compression, specifically, the information bottleneck (IB) method, to pose an abstraction problem as an optimal encoder search over the space of multi-resolution trees. The abstractions emerge in a task-relevant manner as a function of agent information-processing constraints. We detail our formulation, and show how hierarchical tree structures, signal encoders, and information-theoretic methods for signal compression can be unified under a common theme. A discussion delineating the benefits and drawbacks of our formulation is presented, as well as a detailed explanation how our approach can be interpreted within the context of generating abstractions for resource-constrained autonomous systems. It is shown that the resulting information-theoretic abstraction problem over the space of multi-resolution trees can be formulated as a integer linear programming (ILP) problem. We demonstrate the approach on a number of examples, and provide a discussion detailing the differences of the proposed framework compared to existing methods. Lastly, we consider a linear program relaxation of the ILP problem, thereby demonstrating that multi-resolution information-theoretic tree abstractions can be obtained by solving a convex program.


title: Uncertain Bayesian Networks: Learning from Incomplete Data

abstract: When the historical data are limited, the conditional probabilities associated with the nodes of Bayesian networks are uncertain and can be empirically estimated. Second order estimation methods provide a framework for both estimating the probabilities and quantifying the uncertainty in these estimates. We refer to these cases as uncer tain or second-order Bayesian networks. When such data are complete, i.e., all variable values are observed for each instantiation, the conditional probabilities are known to be Dirichlet-distributed. This paper improves the current state-of-the-art approaches for handling uncertain Bayesian networks by enabling them to learn distributions for their parameters, i.e., conditional probabilities, with incomplete data. We extensively evaluate various methods to learn the posterior of the parameters through the desired and empirically derived strength of confidence bounds for various queries.


title: GREASE: Generate Factual and Counterfactual Explanations for GNN-based Recommendations

abstract: Recently, graph neural networks (GNNs) have been widely used to develop successful recommender systems. Although powerful, it is very difficult for a GNN-based recommender system to attach tangible explanations of why a specific item ends up in the list of suggestions for a given user. Indeed, explaining GNN-based recommendations is unique, and existing GNN explanation methods are inappropriate for two reasons. First, traditional GNN explanation methods are designed for node, edge, or graph classification tasks rather than ranking, as in recommender systems. Second, standard machine learning explanations are usually intended to support skilled decision-makers. Instead, recommendations are designed for any end-user, and thus their explanations should be provided in user-understandable ways. In this work, we propose GREASE, a novel method for explaining the suggestions provided by any black-box GNN-based recommender system. Specifically, GREASE first trains a surrogate model on a target user-item pair and its $l$-hop neighborhood. Then, it generates both factual and counterfactual explanations by finding optimal adjacency matrix perturbations to capture the sufficient and necessary conditions for an item to be recommended, respectively. Experimental results conducted on real-world datasets demonstrate that GREASE can generate concise and effective explanations for popular GNN-based recommender models.


title: Beer2Vec : Extracting Flavors from Reviews for Thirst-Quenching Recommandations

abstract: This paper introduces the Beer2Vec model that allows the most popular alcoholic beverage in the world to be encoded into vectors enabling flavorful recommendations. We present our algorithm using a unique dataset focused on the analysis of craft beers. We thoroughly explain how we encode the flavors and how useful, from an empirical point of view, the beer vectors are to generate meaningful recommendations. We also present three different ways to use Beer2Vec in a real-world environment to enlighten the pool of craft beer consumers. Finally, we make our model and functionalities available to everybody through a web application.


title: Symplectic structures on stratified pseudomanifolds

abstract: The purpose of this paper is to investigate the definition of symplectic structure on a smooth stratified pseudomanifold in the framework of local $\C^{\infty}$-ringed space theory. We introduce a sheaf-theoretic definition of symplectic form and cohomologically symplectic structure on smooth stratified pseudomanifolds. In particular, we give an indirect definition of symplectic form on the quotient space of a smooth $G$-stratified pseudomanifold. Based on the structure theorem of singular symplectic quotients by Sjamaar--Lerman, we show that the singular reduced space $M_{0}=\mu^{-1}(0)/G$ of a symplectic Hamiltonian $G$-manifold $(M,\omega,G,\mu)$ admits a natural (indirect) symplectic form and a unique cohomologically symplectic structure.