title: Bloch Oscillations of Hybrid Light-Matter Particles in a Waveguide Array

abstract: Bloch oscillations are a phenomenon well known from quantum mechanics where electrons in a lattice experience an oscillatory motion in the presence of an electric field gradient. Here, we report on Bloch oscillations of hybrid light-matter particles, called exciton-polaritons, being confined in an array of coupled microcavity waveguides. To this end, we carefully design the waveguides, widths and their mutual couplings such that a constant energy gradient is induced perpendicular to the direction of motion of the propagating exciton-polaritons. This technique allows us to directly observe and study Bloch oscillations in real- and momentum-space. Furthermore, we support our experimental findings by numerical simulations based on a modified Gross-Pitaevskii approach. Our work provides an important transfer of basic concepts of quantum mechanics to integrated solid state devices, using quantum fluids of light.


title: Reply on `Comment on The relativistic Aharonov-Bohm-Coulomb system with position-dependent mass'

abstract: It is shown that the results of our paper are correct, although the use of the chirality operator $\gamma_5=\sigma_1$ in the paper is not correct, as fairly the authors of the Comment stated.


title: Latent Compass: Creation by Navigation

abstract: In Marius von Senden's Space and Sight, a newly sighted blind patient describes the experience of a corner as lemon-like, because corners "prick" sight like lemons prick the tongue. Prickliness, here, is a dimension in the feature space of sensory experience, an effect of the perceived on the perceiver that arises where the two interact. In the account of the newly sighted, an effect familiar from one interaction translates to a novel context. Perception serves as the vehicle for generalization, in that an effect shared across different experiences produces a concrete abstraction grounded in those experiences. Cezanne and the post-impressionists, fluent in the language of experience translation, realized that the way to paint a concrete form that best reflected reality was to paint not what they saw, but what it was like to see. We envision a future of creation using AI where what it is like to see is replicable, transferrable, manipulable - part of the artist's palette that is both grounded in a particular context, and generalizable beyond it. An active line of research maps human-interpretable features onto directions in GAN latent space. Supervised and self-supervised approaches that search for anticipated directions or use off-the-shelf classifiers to drive image manipulation in embedding space are limited in the variety of features they can uncover. Unsupervised approaches that discover useful new directions show that the space of perceptually meaningful directions is nowhere close to being fully mapped. As this space is broad and full of creative potential, we want tools for direction discovery that capture the richness and generalizability of human perception. Our approach puts creators in the discovery loop during real-time tool use, in order to identify directions that are perceptually meaningful to them, and generate interpretable image translations along those directions.


title: Asymmetric kink solutions of hyperbolically deformed model

abstract: We study some properties of kink solutions of the model with non-polynomial potential obtained by deforming the well-known $\varphi^6$ field model. We consider the excitation spectrum of the kink. We also discuss the properties of the `kink+antikink' system as a whole that are not inherent to a solitary kink or antikink.


title: Affirmative Algorithms: The Legal Grounds for Fairness as Awareness

abstract: While there has been a flurry of research in algorithmic fairness, what is less recognized is that modern antidiscrimination law may prohibit the adoption of such techniques. We make three contributions. First, we discuss how such approaches will likely be deemed "algorithmic affirmative action," posing serious legal risks of violating equal protection, particularly under the higher education jurisprudence. Such cases have increasingly turned toward anticlassification, demanding "individualized consideration" and barring formal, quantitative weights for race regardless of purpose. This case law is hence fundamentally incompatible with fairness in machine learning. Second, we argue that the government-contracting cases offer an alternative grounding for algorithmic fairness, as these cases permit explicit and quantitative race-based remedies based on historical discrimination by the actor. Third, while limited, this doctrinal approach also guides the future of algorithmic fairness, mandating that adjustments be calibrated to the entity's responsibility for historical discrimination causing present-day disparities. The contractor cases provide a legally viable path for algorithmic fairness under current constitutional doctrine but call for more research at the intersection of algorithmic fairness and causal inference to ensure that bias mitigation is tailored to specific causes and mechanisms of bias.


title: Six Degree of Freedom Robotic Arm with Mimicking Mechanism

abstract: Multi-degree of freedom robots are playing very important role in different applications of automation. They are providing much more accuracy in carrying out a typical procedure as compared to the manual work done by human. In recent years the design, fabrication and development of robotic arms have been active research areas in robotics all around the world. This project describe a mechanical system, design concept and prototype implementation of a 6 DOF robotic arm, which should perform industrial task such as pick and place of fragile objects operation. This robot arm being controlled by micro-controller has base, shoulder, elbow, wrist rotation and a functional gripper. Gripper has been built as end-effector and is capable of grasping diverse objects within own workspace of the arm possible. I made an effort to endeavour one of the best model possible out of the three concepts tried. The three concepts that I undertook were dependent on the type of mechanism used to provide the movement. The first concept was to provide the movement with the help of Pneumatics. The idea of pneumatics did provide a feasible movement but I had to overcome the barrier of the weight as the weight of either the storage of gas or the air compressor would have affected the usage evidently. Similarly, in the second concept, I dealt with the forces of Hydraulics. The forces exerted by hydraulics, not only restricted the movement, but also annexed a certain amount of delay in the time period in which the movement had to be done. In, the third concept, I tried to provide the necessary movement with the help of Servo Motors. The results achieved with servo motors in replacement of pneumatics and hydraulics were impeccable. The motors not only provided the movement with minimal lag but also did not impede the movement of the hand.


title: Frequency extraction for BEM-matrices arising from the 3D scalar Helmholtz equation

abstract: The discretisation of boundary integral equations for the scalar Helmholtz equation leads to large dense linear systems. Efficient boundary element methods (BEM), such as the fast multipole method (FMM) and $\Hmat$ based methods, focus on structured low-rank approximations of subblocks in these systems. It is known that the ranks of these subblocks increase linearly with the wavenumber. We explore a data-sparse representation of BEM-matrices valid for a range of frequencies, based on extracting the known phase of the Green's function. Algebraically, this leads to a Hadamard product of a frequency matrix with an $\Hmat$. We show that the frequency dependency of this $\Hmat$ can be determined using a small number of frequency samples, even for geometrically complex three-dimensional scattering obstacles. We describe an efficient construction of the representation by combining adaptive cross approximation with adaptive rational approximation in the continuous frequency dimension. We show that our data-sparse representation allows to efficiently sample the full BEM-matrix at any given frequency, and as such it may be useful as part of an efficient sweeping routine.


title: Learning by Ignoring, with Application to Domain Adaptation

abstract: Learning by ignoring, which identifies less important things and excludes them from the learning process, is broadly practiced in human learning and has shown ubiquitous effectiveness. There has been psychological studies showing that learning to ignore certain things is a powerful tool for helping people focus. In this paper, we explore whether this useful human learning methodology can be borrowed to improve machine learning. We propose a novel machine learning framework referred to as learning by ignoring (LBI). Our framework automatically identifies pretraining data examples that have large domain shift from the target distribution by learning an ignoring variable for each example and excludes them from the pretraining process. We formulate LBI as a three-level optimization framework where three learning stages are involved: pretraining by minimizing the losses weighed by ignoring variables; finetuning; updating the ignoring variables by minimizing the validation loss. A gradient-based algorithm is developed to efficiently solve the three-level optimization problem in LBI. Experiments on various datasets demonstrate the effectiveness of our framework.


title: Profile control chart based on maximum entropy

abstract: Monitoring a process over time is so important in manufacturing processes to reduce the waste of money and time. Some charts as Shewhart, CUSUM, and EWMA are common to monitor a process with a single intended attribute which is used in different kinds of processes with various ranges of shifts. In some cases, the process quality is characterized by different types of profiles. The purpose of this article is to monitor profile coefficients instead of a process mean. In this paper, two methods are proposed for monitoring the intercept and slope of the simple linear profile, simultaneously. In this regard, two methods are compared here. The first one is the linear regression, and the one is the maximum entropy principle. The T2 Hotelling statistics is used to transfer two coefficients to a scalar. A simulation study is applied to compare the two methods in terms of the second type of error and average run length. Finally, two real examples are presented to demonstrate the applicability of the proposed chart. The first one is about semiconductors, and the second one is about pharmaceutical production processes. The performance of the methods is relatively similar. The maximum entropy plays an important role in correctly identifying differences in the pharmaceutical example, while linear regression did not correctly detect these changes.


title: Interoperability of Users, Developers, and Managers

abstract: This BoF is a continuation of the ADASS FADS tradition of yore, which aims tostimulate discussion (or at least awareness) about the non-technical aspects of our trade.This year, as we expected, it proved to be difficult to have a real discussion by means of Zoom. But the Metis polls and the DisCord log show that we have nevertheless beensuccesful in getting people to (begin to) think about the wayUsers, Developers andManagers work together, inside and between our MultiVerse of Bubbles. Next year wewill try to focus this discussion by means of a Proxy demonstrator. We feel that there isa world to be won.


title: Barrow agegraphic dark energy

abstract: In this work, we propose a new dark energy model by applying the Barrow entropy and the holographic principle, with a time scale as IR cut off. Analysing the conformal time as well as universe's age as infrared cut-offs, we explore the cosmological importance of the suggested dark energy models and examine the universe evolution filled with the proposed DE applicants and a pressure-less matter. We observe that the equation of state, deceleration, the density parameters can present adequate nature, and these models may also explain the late-time acceleration though, the proposed models are unstable except some values of Barrow exponent $\Delta$. Furthermore, we mention the consequences of the presence of interaction among the universe sectors.


title: Online Photometric Calibration of Automatic Gain Thermal Infrared Cameras

abstract: Thermal infrared cameras are increasingly being used in various applications such as robot vision, industrial inspection and medical imaging, thanks to their improved resolution and portability. However, the performance of traditional computer vision techniques developed for electro-optical imagery does not directly translate to the thermal domain due to two major reasons: these algorithms require photometric assumptions to hold, and methods for photometric calibration of RGB cameras cannot be applied to thermal-infrared cameras due to difference in data acquisition and sensor phenomenology. In this paper, we take a step in this direction, and introduce a novel algorithm for online photometric calibration of thermal-infrared cameras. Our proposed method does not require any specific driver/hardware support and hence can be applied to any commercial off-the-shelf thermal IR camera. We present this in the context of visual odometry and SLAM algorithms, and demonstrate the efficacy of our proposed system through extensive experiments for both standard benchmark datasets, and real-world field tests with a thermal-infrared camera in natural outdoor environments.


title: Avenues to new-physics searches in cosmic ray air showers

abstract: Cosmic Rays (CR) impinging on the terrestrial atmosphere provide a viable opportunity to study new physics in hadron-nucleus collisions at energies covering many orders of magnitude, including a regime well beyond LHC energies. The permanent flux of primary CR can be used to estimate event rates for a given type of new physics scenario. As a step to estimate the potential for new-physics searches in CR-induced Extensive Air Showers (EAS), we here determine the total luminosity, including the contribution stemming from the cascade of secondaries in hadron-air interactions using Monte Carlo simulations of the hadronic shower component with CORSIKA~8. We show results obtained for single showers and discuss the interplay with the CR spectrum. Furthermore, we discuss the possibility to study BSM phenomenology in EAS, focusing on so-called large-multiplicity Higgs production as an explicit example and its impact on EAS observables.


title: I-Health: Leveraging Edge Computing and Blockchain for Epidemic Management

abstract: Epidemic situations typically demand intensive data collection and management from different locations/entities within a strict time constraint. Such demand can be fulfilled by leveraging the intensive and easy deployment of the Internet of Things (IoT) devices. The management and containment of such situations also rely on cross-organizational and national collaboration. Thus, this paper proposes an Intelligent-Health (I-Health) system that aims to aggregate diverse e-health entities in a unique national healthcare system by enabling swift, secure exchange and storage of medical data. In particular, we design an automated patients monitoring scheme, at the edge, which enables the prompt discovery, remote monitoring, and fast emergency response for critical medical events, such as emerging epidemics. Furthermore, we develop a blockchain optimization model that aims to optimize medical data sharing between different health entities to provide effective and secure health services. Finally, we show the effectiveness of our system, in adapting to different critical events, while highlighting the benefits of the proposed I-Health system.


title: Uncertainty Estimation with Deep Learning for Rainfall-Runoff Modelling

abstract: Deep Learning is becoming an increasingly important way to produce accurate hydrological predictions across a wide range of spatial and temporal scales. Uncertainty estimations are critical for actionable hydrological forecasting, and while standardized community benchmarks are becoming an increasingly important part of hydrological model development and research, similar tools for benchmarking uncertainty estimation are lacking. We establish an uncertainty estimation benchmarking procedure and present four Deep Learning baselines, out of which three are based on Mixture Density Networks and one is based on Monte Carlo dropout. Additionally, we provide a post-hoc model analysis to put forward some qualitative understanding of the resulting models. Most importantly however, we show that accurate, precise, and reliable uncertainty estimation can be achieved with Deep Learning.


title: Network Design for Social Welfare

abstract: In this paper, we consider the problem of network design on network games. We study the conditions on the adjacency matrix of the underlying network to design a game such that the Nash equilibrium coincides with the social optimum. We provide the examples for linear quadratic games that satisfy this condition. Furthermore, we identify conditions on properties of adjacency matrix that provide a unique solution using variational inequality formulation, and verify the robustness and continuity of the social cost under perturbations of the network. Finally we comment on individual rationality and extension of our results to large random networked games.


title: Simple approaches on how to discover promising strategies for efficient enterprise performance, at time of crisis in the case of SMEs : Voronoi clustering and outlier effects perspective

abstract: This paper analyzes the connection between innovation activities of companies -- implemented before a financial crisis -- and their performance -- measured after such a time of crisis. Pertinent data about companies listed in the STAR Market Segment of the Italian Stock Exchange is analyzed. Innovation is measured through the level of investments in total tangible and intangible fixed assets in 2006-2007, while performance is captured through growth -- expressed by variations of sales or of total assets, -- profitability -- through ROI or ROS evolution, - and productivity -- through asset turnover or sales/employee in the period 2008-2010. The variables of interest are analyzed and compared through statistical techniques and by adopting a cluster analysis. In particular, a Voronoi tessellation is implemented in a varying centroids framework. In accord with a large part of the literature, we find that the behavior of the performance of the companies is not univocal when they innovate. The statistical outliers are the best cases in order to suggest efficient strategies. In brief, it is found that a positive rate of investments is preferable.


title: Vibrations of thick domain walls: How to avoid no-go theorem

abstract: The asymptotic properties of the stability potentials of kinks with power-law tails are discussed. In particular, in cosmology such kinks can describe "thick" domain walls. The discrete part of the domain wall excitation spectrum, the profile of which is described by a kink solution with one or both power-law asymptotics, cannot contain levels other than zero (translational) mode. Nevertheless, it can be shown that scenarios are quite possible when long-lived localized vibrations will be excited on the domain wall. This, in turn, can affect the processes of interaction of two or more domain walls.


title: Relativistic levels of mesic atoms

abstract: We revisit the derivation of the covariant two-body scalar-fermion equation with a Coulomb interaction, presented in a previous paper. We show that it can be given the formal aspect of a Dirac equation, but for the fact that the eigenvalue is also contained in one of the coefficients and thus it is not linearly included. The discussion of the boundary value problem is therefore different, although some properties of the Dirac equation can be recovered in an approximation bringing back to the concept of reduced mass. We discuss a mixed analytic-numerical method of solution which allows to obtain very accurate results and we calculate the lowest levels, states and QED corrections for pionic and kaonic atoms.


title: Automorphism groups of graphs of bounded Hadwiger number

abstract: We determine the structure of automorphism groups of finite graphs of bounded Hadwiger number. This in particular settles three of Babai's conjectures from the 1980s. The first one states that the order of non-alternating, non-abelian composition factors for automorphism groups of graphs of bounded Hadwiger number is bounded. The second one, the subcontraction conjecture, states that a non-trivial minor-closed graph class represents only finitely many non-abelian simple groups. And the third one states that if the order of such a group does not have small prime factors, then the group is obtained by iterated wreath and direct products from abelian groups. Our proof includes a structural analysis of finite edge-transitive graphs.


title: The closed piecewise uniform string revisited

abstract: We reconsider the composite string model introduced {30 years ago} to study the vacuum energy. The model consists of a scalar field, describing the transversal vibrations of a string consisting of piecewise constant sections with different tensions and mass densities, keeping the speed of light constant across the junctions. We consider the spectrum using transfer matrices and Chebyshev polynomials to get a closed formula for the eigenfrequencies. We calculate vacuum and free energy as well as the entropy of this system in two approaches, one using contour integration and another one using a Hurwitz zeta function. The latter results in a representation in terms of finite sums over polynomials. Several limiting cases are considered as well, for instance, the high-temperature expansion, which is expressed in terms of the heat kernel coefficients. The vacuum energy has no ultraviolet divergences, and the corresponding heat kernel coefficient $a_1$ is zero due to the constancy of the speed of light. This is in parallel to a similar situation in macroscopic electrodynamics with isorefractive boundary conditions.


title: Topologically integrable derivations and additive group actions on affine ind-schemes

abstract: Affine ind-varieties are infinite dimensional generalizations of algebraic varieties which appear naturally in many different contexts, in particular in the study of automorphism groups of affine spaces. In this article we introduce and develop the basic algebraic theory of topologically integrable derivations of complete topological rings. We establish a bijective algebro-geometric correspondence between additive group actions on affine ind-varieties and topologically integrable derivations of their coordinate pro-rings which extends the classical fruitful correspondence between additive group actions on affine varieties and locally nilpotent derivations of their coordinate rings.


title: Causal Inference in Geosciences with Kernel Sensitivity Maps

abstract: Establishing causal relations between random variables from observational data is perhaps the most important challenge in today's Science. In remote sensing and geosciences this is of special relevance to better understand the Earth's system and the complex and elusive interactions between processes. In this paper we explore a framework to derive cause-effect relations from pairs of variables via regression and dependence estimation. We propose to focus on the sensitivity (curvature) of the dependence estimator to account for the asymmetry of the forward and inverse densities of approximation residuals. Results in a large collection of 28 geoscience causal inference problems demonstrate the good capabilities of the method.


title: The CMS Phase-1 Pixel Detector Upgrade

abstract: The CMS detector at the CERN LHC features a silicon pixel detector as its innermost subdetector. The original CMS pixel detector has been replaced with an upgraded pixel system (CMS Phase-1 pixel detector) in the extended year-end technical stop of the LHC in 2016/2017. The upgraded CMS pixel detector is designed to cope with the higher instantaneous luminosities that have been achieved by the LHC after the upgrades to the accelerator during the first long shutdown in 2013-2014. Compared to the original pixel detector, the upgraded detector has a better tracking performance and lower mass with four barrel layers and three endcap disks on each side to provide hit coverage up to an absolute value of pseudorapidity of 2.5. This paper describes the design and construction of the CMS Phase-1 pixel detector as well as its performance from commissioning to early operation in collision data-taking.


title: Adaptive Threshold for Online Object Recognition and Re-identification Tasks

abstract: Choosing a decision threshold is one of the challenging job in any classification tasks. How much the model is accurate, if the deciding boundary is not picked up carefully, its entire performance would go in vain. On the other hand, for imbalance classification where one of the classes is dominant over another, relying on the conventional method of choosing threshold would result in poor performance. Even if the threshold or decision boundary is properly chosen based on machine learning strategies like SVM and decision tree, it will fail at some point for dynamically varying databases and in case of identity-features that are more or less similar, like in face recognition and person re-identification models. Hence, with the need for adaptability of the decision threshold selection for imbalanced classification and incremental database size, an online optimization-based statistical feature learning adaptive technique is developed and tested on the LFW datasets and self-prepared athletes datasets. This method of adopting adaptive threshold resulted in 12-45% improvement in the model accuracy compared to the fixed threshold {0.3,0.5,0.7} that are usually taken via the hit-and-trial method in any classification and identification tasks. Source code for the complete algorithm is available at: https://github.com/Varat7v2/adaptive-threshold


title: Future attractors of Bianchi types II and V cosmologies with massless Vlasov matter

abstract: It is shown that the generalized Collins--Stewart radiation and Milne solutions are attractors of the massless Einstein--Vlasov system for Bianchi types II and V spacetimes, respectively. The proof is based on an energy method and bootstrap argument which are used to determine the decay rates of the perturbations away from the attractors.


title: A semiclassical approach to geometric X-ray transforms in the presence of convexity

abstract: In this short paper we introduce a variant of the approach to inverting the X-ray transform that originated in the author's work with Uhlmann. The new method is based on semiclassical analysis and eliminates the need for using sufficiently small domains and layer stripping for obtaining the injectivity and stability results, assuming natural geometric conditions are satisfied.


title: MOLAM: A Mobile Multimodal Learning Analytics Conceptual Framework to Support Student Self-Regulated Learning

abstract: Online distance learning is highly learner-centred, requiring different skills and competences from learners, as well as alternative approaches for instructional design, student support, and provision of resources. Learner autonomy and self-regulated learning (SRL) in online learning settings are considered key success factors that predict student performance. SRL comprises processes of planning, monitoring, action and reflection according to Zimmerman. And typically focuses on three key features of learners: (1) use of SRL strategies, (2) responsiveness to self-oriented feedback about learning effectiveness, and (3) motivational processes. SRL has been identified as having a direct correlation with students success, including improvements in grades and the development of relevant skills and strategies. Such skills and strategies are needed to become a successful lifelong learner. This chapter introduces a Mobile Multimodal Learning Analytics approach (MOLAM). I argue that the development of student Self-Regulated Learning would benefit from the adoption of this approach, and that its use would allow continuous measurement and provision of in-time support of student SRL in online learning contexts.


title: General Mechanism of Evolution Shared by Proteins and Words

abstract: Complex systems, such as life and languages, are governed by principles of evolution. The analogy and comparison between biology and linguistics\cite{alphafold2, RoseTTAFold, lang_virus, cell language, faculty1, language of gene, Protein linguistics, dictionary, Grammar of pro_dom, complexity, genomics_nlp, InterPro, language modeling, Protein language modeling} provide a computational foundation for characterizing and analyzing protein sequences, human corpora, and their evolution. However, no general mathematical formula has been proposed so far to illuminate the origin of quantitative hallmarks shared by life and language. Here we show several new statistical relationships shared by proteins and words, which inspire us to establish a general mechanism of evolution with explicit formulations that can incorporate both old and new characteristics. We found natural selection can be quantified via the entropic formulation by the principle of least effort to determine the sequence variation that survives in evolution. Besides, the origin of power law behavior and how changes in the environment stimulate the emergence of new proteins and words can also be explained via the introduction of function connection network. Our results demonstrate not only the correspondence between genetics and linguistics over their different hierarchies but also new fundamental physical properties for the evolution of complex adaptive systems. We anticipate our statistical tests can function as quantitative criteria to examine whether an evolution theory of sequence is consistent with the regularity of real data. In the meantime, their correspondence broadens the bridge to exchange existing knowledge, spurs new interpretations, and opens Pandora's box to release several potentially revolutionary challenges. For example, does linguistic arbitrariness conflict with the dogma that structure determines function?

categories: q-bio.PE cond-mat.soft cs.CL physics.bio-ph


title: Unadjusted Langevin algorithm with multiplicative noise: Total variation and Wasserstein bounds

abstract: In this paper, we focus on non-asymptotic bounds related to the Euler scheme of an ergodic diffusion with a possibly multiplicative diffusion term (non-constant diffusion coefficient). More precisely, the objective of this paper is to control the distance of the standard Euler scheme with decreasing step ({usually called Unadjusted Langevin Algorithm in the Monte Carlo literature}) to the invariant distribution of such an ergodic diffusion. In an appropriate Lyapunov setting and under {uniform} ellipticity assumptions on the diffusion coefficient, we establish (or improve) such bounds for Total Variation and $L^1$-Wasserstein distances in both multiplicative and additive and frameworks. These bounds rely on weak error expansions using {Stochastic Analysis} adapted to decreasing step setting.


title: Detecting and quantifying entanglement on near-term quantum devices

abstract: Quantum entanglement is a key resource in quantum technology, and its quantification is a vital task in the current Noisy Intermediate-Scale Quantum (NISQ) era. This paper combines hybrid quantum-classical computation and quasi-probability decomposition to propose two variational quantum algorithms, called Variational Entanglement Detection (VED) and Variational Logarithmic Negativity Estimation (VLNE), for detecting and quantifying entanglement on near-term quantum devices, respectively. VED makes use of the positive map criterion and works as follows. Firstly, it decomposes a positive map into a combination of quantum operations implementable on near-term quantum devices. It then variationally estimates the minimal eigenvalue of the final state, obtained by executing these implementable operations on the target state and averaging the output states. Deterministic and probabilistic methods are proposed to compute the average. At last, it asserts that the target state is entangled if the optimized minimal eigenvalue is negative. VLNE builds upon a linear decomposition of the transpose map into Pauli terms and the recently proposed trace distance estimation algorithm. It variationally estimates the well-known logarithmic negativity entanglement measure and could be applied to quantify entanglement on near-term quantum devices. Experimental and numerical results on the Bell state, isotropic states, and Breuer states show the validity of the proposed entanglement detection and quantification methods.


title: Panarchy: ripples of a boundary concept

abstract: How do social-ecological systems change over time? In 2002 Holling and colleagues proposed the concept of Panarchy, which presented social-ecological systems as an interacting set of adaptive cycles, each of which is produced by the dynamic tensions between novelty and efficiency at multiple scales. Initially introduced as a conceptual framework and set of metaphors, panarchy has gained the attention of scholars across many disciplines and its ideas continue to inspire further conceptual developments. Almost twenty years after this concept was introduced we review how it has been used, tested, extended and revised. We do this by combining qualitative methods and machine learning. Document analysis was used to code panarchy features that are commonly used in the scientific literature (N = 42), a qualitative analysis that was complemented with topic modeling of 2177 documents. We find that the adaptive cycle is the feature of panarchy that has attracted the most attention. Challenges remain in empirically grounding the metaphor, but recent theoretical and empirical work offers some avenues for future research.


title: How to Train Your Differentiable Filter

abstract: In many robotic applications, it is crucial to maintain a belief about the state of a system, which serves as input for planning and decision making and provides feedback during task execution. Bayesian Filtering algorithms address this state estimation problem, but they require models of process dynamics and sensory observations and the respective noise characteristics of these models. Recently, multiple works have demonstrated that these models can be learned by end-to-end training through differentiable versions of recursive filtering algorithms. In this work, we investigate the advantages of differentiable filters (DFs) over both unstructured learning approaches and manually-tuned filtering algorithms, and provide practical guidance to researchers interested in applying such differentiable filters. For this, we implement DFs with four different underlying filtering algorithms and compare them in extensive experiments. Specifically, we (i) evaluate different implementation choices and training approaches, (ii) investigate how well complex models of uncertainty can be learned in DFs, (iii) evaluate the effect of end-to-end training through DFs and (iv) compare the DFs among each other and to unstructured LSTM models.


title: GAKP: GRU Association and Kalman Prediction for Multiple Object Tracking

abstract: Multiple Object Tracking (MOT) has been a useful yet challenging task in many real-world applications such as video surveillance, intelligent retail, and smart city. The challenge is how to model long-term temporal dependencies in an efficient manner. Some recent works employ Recurrent Neural Networks (RNN) to obtain good performance, which, however, requires a large amount of training data. In this paper, we proposed a novel tracking method that integrates the auto-tuning Kalman method for prediction and the Gated Recurrent Unit (GRU) and achieves a near-optimum with a small amount of training data. Experimental results show that our new algorithm can achieve competitive performance on the challenging MOT benchmark, and faster and more robust than the state-of-the-art RNN-based online MOT algorithms.


title: Tracing the formation history of giant planets in protoplanetary disks with Carbon, Oxygen, Nitrogen and Sulphur

abstract: The composition of giant planets is imprinted by their migration history and the compositional structure of their hosting disks. Studies in recent literature investigate how the abundances of C and O can constrain the formation pathways of giant planets forming within few tens of au from the star. New ALMA observations, however, suggest planet-forming regions possibly extending to hundreds of au. We explore the implications of these wider formation environments through n-body simulations of growing and migrating giant planets embedded in planetesimal disks, coupled with a compositional model of the protoplanetary disk where volatiles are inherited from the molecular cloud and refractories are calibrated against extrasolar and Solar System data. We find that the C/O ratio provides limited insight on the formation pathways of giant planets that undergo large-scale migration. This limitation can be overcome thanks to nitrogen and sulphur. Jointly using the C/N, N/O and C/O ratios breaks any degeneracy in the formation and migration tracks of giant planets. The use of elemental ratios normalized to the respective stellar ratios supplies additional information on the nature of giant planets, thanks to the relative volatility of O, C and N in disks. When the planetary metallicity is dominated by the accretion of solids C/N* $>$ C/O* $>$ N/O* (* denoting this normalized scale), otherwise N/O* $>$ C/O* $>$ C/N*. The S/N ratio provides an additional independent probe into the metallicity of giant planets and their accretion of solids.


title: Storms and the Depletion of Ammonia in Jupiter: II. Explaining the Juno Observations

abstract: Observations of Jupiter's deep atmosphere by the Juno spacecraft have revealed several puzzling facts: The concentration of ammonia is variable down to pressures of tens of bars, and is strongly dependent on latitude. While most latitudes exhibit a low abundance, the Equatorial Zone of Jupiter has an abundance of ammonia that is high and nearly uniform with depth. In parallel, the Equatorial Zone is peculiar for its absence of lightning, which is otherwise prevalent most everywhere else on the planet. We show that a model accounting for the presence of small-scale convection and water storms originating in Jupiter's deep atmosphere accounts for the observations. Where strong thunderstorms are observed on the planet, we estimate that the formation of ammonia-rich hail ('mushballs') and subsequent downdrafts can deplete efficiency the upper atmosphere of its ammonia and transport it efficiently to the deeper levels. In the Equatorial Zone, the absence of thunderstorms shows that this process is not occurring, implying that small-scale convection can maintain a near-homogeneity of this region. A simple model satisfying mass and energy balance accounts for the main features of Juno's MWR observations and successfully reproduces the inverse correlation seen between ammonia abundance and the lightning rate as function of latitude. We predict that in regions where ammonia is depleted, water should also be depleted to great depths. The fact that condensates are not well mixed by convection until far deeper than their condensation level has consequences for our understanding of Jupiter's deep interior and of giant-planet atmospheres in general.


title: Local-to-Global Contraction in Simplicial Complexes

abstract: We give a local-to-global principle for relative entropy contraction in simplicial complexes. This is similar to the local-to-global principle for variances obtained by Alev and Lau (2020).


title: IRO: Integrity and Reliability Enhanced Ring ORAM

abstract: Memory security and reliability are two of the major design concerns in cloud computing systems. State-of-the-art memory security-reliability co-designs (e.g. Synergy) have achieved a good balance on performance, confidentiality, integrity, and reliability. However, these works merely rely on encryption to ensure data confidentiality, which has been proven unable to prevent information leakage from memory access patterns. Ring ORAM is an attractive confidential protection protocol to hide memory access patterns to the untrusted storage system. Unfortunately, it does not compatible with the security-reliability co-designs. A forced combination would result in more severe performance loss. In this paper, we propose IRO, an Integrity and Reliability enhanced Ring ORAM design. To reduce the overhead of integrity verification, we propose a low overhead integrity tree RIT and use a Minimum Update Subtree Tree (MUST) to reduce metadata update overhead. To improve memory reliability, we present Secure Replication to provide channel-level error resilience for the ORAM tree and use the mirrored channel technique to guarantee the reliability of the MUST. Last, we use the error correction pointer (ECP) to repair permanent memory cell fault to further improve device reliability and lifetime. A compact metadata design is used to reduce the storage and consulting overhead of the ECP. IRO provides strong security and reliability guarantees, while the resulting storage and performance overhead is very small. Our evaluation shows that IRO only increases 7.54% execution time on average over the Baseline under two channels four AES-GCM units setting. With enough AES-GCM units to perform concurrent MAC computing, IRO can reduce 2.14% execution time of the Baseline.


title: Forecasting COVID-19 Chile's second outbreak by a generalized SIR model with constant time delays and a fitted positivity rate

abstract: The COVID-19 disease has forced countries to make a considerable collaborative effort between scientists and governments to provide indicators to suitable follow-up the pandemic's consequences. Mathematical modeling plays a crucial role in quantifying indicators describing diverse aspects of the pandemic. Consequently, this work aims to develop a clear, efficient, and reproducible methodology for parameter optimization, whose implementation is illustrated using data from three representative regions from Chile and a suitable generalized SIR model together with a fitted positivity rate. Our results reproduce the general trend of the infected's curve, distinguishing the reported and real cases. Finally, our methodology is robust, and it allows us to forecast a second outbreak of COVID-19 and the infection fatality rate of COVID-19 qualitatively according to the reported dead cases.


title: BURT: BERT-inspired Universal Representation from Learning Meaningful Segment

abstract: Although pre-trained contextualized language models such as BERT achieve significant performance on various downstream tasks, current language representation still only focuses on linguistic objective at a specific granularity, which may not applicable when multiple levels of linguistic units are involved at the same time. Thus this work introduces and explores the universal representation learning, i.e., embeddings of different levels of linguistic unit in a uniform vector space. We present a universal representation model, BURT (BERT-inspired Universal Representation from learning meaningful segmenT), to encode different levels of linguistic unit into the same vector space. Specifically, we extract and mask meaningful segments based on point-wise mutual information (PMI) to incorporate different granular objectives into the pre-training stage. We conduct experiments on datasets for English and Chinese including the GLUE and CLUE benchmarks, where our model surpasses its baselines and alternatives on a wide range of downstream tasks. We present our approach of constructing analogy datasets in terms of words, phrases and sentences and experiment with multiple representation models to examine geometric properties of the learned vector space through a task-independent evaluation. Finally, we verify the effectiveness of our unified pre-training strategy in two real-world text matching scenarios. As a result, our model significantly outperforms existing information retrieval (IR) methods and yields universal representations that can be directly applied to retrieval-based question-answering and natural language generation tasks.


title: Active cholesterics: odder than odd elasticity

abstract: In equilibrium liquid crystals, chirality leads to a variety of spectacular three-dimensional structures, but chiral and achiral phases with the same broken continuous symmetries have identical long-time, large-scale dynamics. In this paper, we demonstrate that chirality qualitatively modifies the dynamics of layered liquid crystals in active systems in both two and three dimensions due to an active "odder" elasticity. In three dimensions, we demonstrate that the hydrodynamics of active cholesterics differs fundamentally from smectic-A liquid crystals, unlike their equilibrium counterpart. This distinction can be used to engineer a columnar array of vortices, with anti-ferromagnetic vorticity alignment, that can be switched on and off by external strain. A two-dimensional chiral layered state -- an array of lines on an incompressible, free-standing film of chiral active fluid with a preferred normal direction -- is generically unstable. However, this instability can be tuned in easily realisable experimental settings, when the film is either on a substrate or in an ambient fluid.


title: Statistical properties of structured random matrices

abstract: Spectral properties of Hermitian Toeplitz, Hankel, and Toeplitz-plus-Hankel random matrices with independent identically distributed entries are investigated. Combining numerical and analytic arguments it is demonstrated that spectral statistics of all these random matrices is of intermediate type, characterized by (i) level repulsion at small distances, (ii) an exponential decrease of the nearest-neighbor distributions at large distances, (iii) a non-trivial value of the spectral compressibility, and (iv) the existence of non-trivial fractal dimensions of eigenvectors in Fourier space. Our findings show that intermediate-type statistics is more ubiquitous and universal than was considered so far and open a new direction in random matrix theory.


title: Freshness-Optimal Caching for Information Updating Systems with Limited Cache Storage Capacity

abstract: In this paper, we investigate a cache updating system with a server containing $N$ files, $K$ relays and $M$ users. The server keeps the freshest versions of the files which are updated with fixed rates. Each relay can download the fresh files from the server in a certain period of time. Each user can get the fresh files from any relay as long as the relay has stored the fresh versions of the requested files. Due to the limited storage capacity and updating capacity of each relay, different cache designs will lead to different average freshness of all updating files at users. In order to keep the average freshness as large as possible in the cache updating system, we formulate an average freshness-optimal cache updating problem (AFOCUP) to obtain an optimal cache scheme. However, because of the nonlinearity of the AFOCUP, it is difficult to seek out the optimal cache scheme. As a result, an linear approximate model is suggested by distributing the total update rates completely in accordance with the number of files in the relay in advance. Then we utilize the greedy algorithm to search the optimal cache scheme that is satisfied with the limited storage capacity of each relay. Finally, some numerical examples are provided to illustrate the performance of the approximate solution.


title: Measurement of the Atmospheric Muon Rate with the MicroBooNE Liquid Argon TPC

abstract: MicroBooNE is a near-surface liquid argon (LAr) time projection chamber (TPC) located at Fermilab. We measure the characterisation of muons originating from cosmic interactions in the atmosphere using both the charge collection and light readout detectors. The data is compared with the CORSIKA cosmic-ray simulation. Good agreement is found between the observation, simulation and previous results. Furthermore, the angular resolution of the reconstructed muons inside the TPC is studied in simulation.


title: Digital me ontology and ethics

abstract: This paper addresses ontology and ethics of an AI agent called digital me. We define digital me as autonomous, decision-making, and learning agent, representing an individual and having practically immortal own life. It is assumed that digital me is equipped with the big-five personality model, ensuring that it provides a model of some aspects of a strong AI: consciousness, free will, and intentionality. As computer-based personality judgments are more accurate than those made by humans, digital me can judge the personality of the individual represented by the digital me, other individuals' personalities, and other digital me-s. We describe seven ontological qualities of digital me: a) double-layer status of Digital Being versus digital me, b) digital me versus real me, c) mind-digital me and body-digital me, d) digital me versus doppelganger (shadow digital me), e) non-human time concept, f) social quality, g) practical immortality. We argue that with the advancement of AI's sciences and technologies, there exist two digital me thresholds. The first threshold defines digital me having some (rudimentarily) form of consciousness, free will, and intentionality. The second threshold assumes that digital me is equipped with moral learning capabilities, implying that, in principle, digital me could develop their own ethics which significantly differs from human's understanding of ethics. Finally we discuss the implications of digital me metaethics, normative and applied ethics, the implementation of the Golden Rule in digital me-s, and we suggest two sets of normative principles for digital me: consequentialist and duty based digital me principles.


title: Non classical light in Jx photonic lattice

abstract: We report the study of non-classical light in a photonic lattice having parabolic coupling distribution, also known as Jx photonic lattice. We focus on two photon Fock state, two photon N00N state, and single mode squeezed state along with coherent state as input to the lattice. We investigate the possibility of perfect transfer of mean photon number as well as quantum state from one waveguide mode to other. We study photon-photon correlation for two photon N00N state. For single mode squeezed state we study in detail, the evolution of squeezing factor and entanglement between the waveguide modes. Our findings suggest perfect transfer of average photon number for all cases and perfect transfer of quantum state in case of two photon Fock state and two photon N00N state only and not in the case of squeezed and coherent state. Our results should have applications in physical implementation of photonic continuous variable quantum information processing.


title: Insensitizing controls for the heat equation with respect to boundary variations

abstract: This article is dedicated to insensitization issues of a quadratic functional involving the solution of the linear heat equation with respect to domains variations. This work can be seen as a continuation of [P. Lissy, Y. Privat, and Y. Simpor\'e. Insensitizing control for linear and semi-linear heat equations with partially unknown domain. ESAIM Control Optim. Calc. Var., 25:Art. 50, 21, 2019], insofar as we generalize several of the results it contains and investigate new related properties. In our framework, we consider boundary variations of the spatial domain on which the solution of the PDE is defined at each time, and investigate three main issues: (i) approximate insensitization, (ii) approximate insensitization combined with an exact insensitization for a finite-dimensional subspace, and (iii) exact insensitization. We provide positive answers to questions (i) and (ii) and partial results to question (iii).


title: The Theory of Resummed Quantum Gravity: Phenomenological Implications

abstract: We present an overview of the phenomenological implications of the theory of resummed quantum gravity. We discuss its prediction for the cosmological constant in the context of the Planck scale cosmology of Bonanno and Reuter, its relationship to Weinberg's asymptotic safety idea, and its relationship to Weinberg's soft graviton resummation theorem. We also discuss constraints and consistency checks of the theory.


title: Impact of Heterogeneity in Multi-Robot Systems on Collective Behaviors Studied Using a Search and Rescue Problem

abstract: Many species in nature demonstrate symbiotic relationships leading to emergent behaviors through cooperation, which are sometimes beyond the scope of the partnerships within the same species. These symbiotic relationships are classified as mutualism, commensalism, and parasitism based on the benefit levels involved. While these partnerships are ubiquitous in nature, it is imperative to understand the benefits of collective behaviors in designing heterogeneous multi-robot systems (HMRS). In this paper, we investigate the impact of heterogeneity on the performance of HMRS applied to a search and rescue problem. The groups consisting of searchers and rescuers, varied in the individual robot behaviors with multiple degrees of functionality overlap and group compositions, demonstrating various levels of heterogeneity. We propose a new technique to measure heterogeneity in the agents through the use of Behavior Trees and use it to obtain heterogeneity informatics from our Monte Carlo simulations. The results show a positive correlation between the group's heterogeneity measure and the rescue efficiency demonstrating benefits in most of the scenarios. However, we also see cases where heterogeneity may hamper the group's abilities pointing to the need for determining the optimal heterogeneity in group required to maximally benefit from HMRS in real-world applications.


title: A local injective proof of log-concavity for increasing spanning forests

abstract: We give an explicit combinatorial proof of a weighted version of strong log-concavity for the generating polynomial of increasing spanning forests of a finite simple graph equipped with a total ordering of the vertices. In contrast to similar proofs in the literature, our injection is local in the sense that it proceeds by moving a single edge from one forest to the other. In the particular case of the complete graph, this gives a new combinatorial proof of log-concavity of unsigned Stirling numbers of the first kind where a pair of permutations is transformed into a new pair by breaking a single cycle in the first permutation and gluing two cycles in the second permutation, while all the other spectator cycles are left untouched.


title: Methods to integrate multinormals and compute classification measures

abstract: Univariate and multivariate normal probability distributions are widely used when modeling decisions under uncertainty. Computing the performance of such models requires integrating these distributions over specific domains, which can vary widely across models. Besides some special cases, there exist no general analytical expressions, standard numerical methods or software for these integrals. Here we present mathematical results and open-source software that provide (i) the probability in any domain of a normal in any dimensions with any parameters, (ii) the probability density, cumulative distribution, and inverse cumulative distribution of any function of a normal vector, (iii) the classification errors among any number of normal distributions, the Bayes-optimal discriminability index and relation to the operating characteristic, (iv) dimension reduction and visualizations for such problems, and (v) tests for how reliably these methods may be used on given data. We demonstrate these tools with vision research applications of detecting occluding objects in natural scenes, and detecting camouflage.


title: Hardware-accelerated Simulation-based Inference of Stochastic Epidemiology Models for COVID-19

abstract: Epidemiology models are central in understanding and controlling large scale pandemics. Several epidemiology models require simulation-based inference such as Approximate Bayesian Computation (ABC) to fit their parameters to observations. ABC inference is highly amenable to efficient hardware acceleration. In this work, we develop parallel ABC inference of a stochastic epidemiology model for COVID-19. The statistical inference framework is implemented and compared on Intel Xeon CPU, NVIDIA Tesla V100 GPU and the Graphcore Mk1 IPU, and the results are discussed in the context of their computational architectures. Results show that GPUs are 4x and IPUs are 30x faster than Xeon CPUs. Extensive performance analysis indicates that the difference between IPU and GPU can be attributed to higher communication bandwidth, closeness of memory to compute, and higher compute power in the IPU. The proposed framework scales across 16 IPUs, with scaling overhead not exceeding 8% for the experiments performed. We present an example of our framework in practice, performing inference on the epidemiology model across three countries, and giving a brief overview of the results.


title: Radius evolution for bubbles with elastic shells

abstract: We present an analysis of an extended Rayleigh-Plesset (RP) equation for a three dimensional cell of microorganisms such as bacteria or viruses in some liquid, where the cell membrane in bacteria or the envelope (capsid) in viruses possess elastic properties. To account for rapid changes in the shape configuration of such microorganisms, the bubble membrane/envelope must be rigid to resist large pressures while being flexible to adapt to growth or decay. Such properties are embedded in the RP equation by including a pressure bending term that is proportional to the square of the curvature of the elastic wall. Analytical solutions to this extended equation are obtained in terms of elliptic functions.


title: Time-Continuous Energy-Conservation Neural Network for Structural Dynamics Analysis

abstract: Fast and accurate structural dynamics analysis is important for structural design and damage assessment. Structural dynamics analysis leveraging machine learning techniques has become a popular research focus in recent years. Although the basic neural network provides an alternative approach for structural dynamics analysis, the lack of physics law inside the neural network limits the model accuracy and fidelity. In this paper, a new family of the energy-conservation neural network is introduced, which respects the physical laws. The neural network is explored from a fundamental single-degree-of-freedom system to a complicated multiple-degrees-of-freedom system. The damping force and external forces are also considered step by step. To improve the parallelization of the algorithm, the derivatives of the structural states are parameterized with the novel energy-conservation neural network instead of specifying the discrete sequence of structural states. The proposed model uses the system energy as the last layer of the neural network and leverages the underlying automatic differentiation graph to incorporate the system energy naturally, which ultimately improves the accuracy and long-term stability of structures dynamics response calculation under an earthquake impact. The trade-off between computation accuracy and speed is discussed. As a case study, a 3-story building earthquake simulation is conducted with realistic earthquake records.


title: A Critical Study of Baldelli and Bourdin's On the Asymptotic Derivation of Winkler-Type Energies From 3D Elasticity

abstract: In our analysis, we show that Baldelli and Bourdin's work is only valid when describing the behaviour of a film bonded to an elastic pseudo-foundation, where Poisson's ratios of both bodies are in between -1 and 0 or in between 0 and 0.5 (where both Poisson's ratios are sufficiently away from 0 and 0.5), and with an asymptotic condition that is different to what the authors present. We also show that, for all Poisson's ratios, the authors' phase diagram is four-dimensional and not two-dimensional. Also, due to the Poisson's ratio dependence, the asymptotic scalings that the authors present are insufficient to derive their proposed models. Furthermore, the authors' scaling of the displacement field implies that their method cannot be applicable to films (or strings) with planar loading, unless the normal displacement is zero. Finally, by deriving a Winkler foundation type solution for a plate supported by an elastic pseudo-foundation via the method implied by the authors, we show that the authors' method cannot be applied to plates due to the structure of the overlying body (i.e. the limits of integration of the plate) and the foundation (i.e. planar-stress free condition of the foundation), unless planar displacement field is identically zero. Despite the limitations of the authors' work, we highlight its strength by showing that unlike the classical derivation of the Winkler foundation equation, Baldelli and Bourdin's approach does not violate the volume conversation laws or violate the governing equations of mathematical elasticity.


title: Spatiotemporal Pattern Mining for Nowcasting Extreme Earthquakes in Southern California

abstract: Geoscience and seismology have utilized the most advanced technologies and equipment to monitor seismic events globally from the past few decades. With the enormous amount of data, modern GPU-powered deep learning presents a promising approach to analyze data and discover patterns. In recent years, there are plenty of successful deep learning models for picking seismic waves. However, forecasting extreme earthquakes, which can cause disasters, is still an underdeveloped topic in history. Relevant research in spatiotemporal dynamics mining and forecasting has revealed some successful predictions, a crucial topic in many scientific research fields. Most studies of them have many successful applications of using deep neural networks. In Geology and Earth science studies, earthquake prediction is one of the world's most challenging problems, about which cutting-edge deep learning technologies may help discover some valuable patterns. In this project, we propose a deep learning modeling approach, namely \tseqpre, to mine spatiotemporal patterns from data to nowcast extreme earthquakes by discovering visual dynamics in regional coarse-grained spatial grids over time. In this modeling approach, we use synthetic deep learning neural networks with domain knowledge in geoscience and seismology to exploit earthquake patterns for prediction using convolutional long short-term memory neural networks. Our experiments show a strong correlation between location prediction and magnitude prediction for earthquakes in Southern California. Ablation studies and visualization validate the effectiveness of the proposed modeling method.


title: WiFresh: Age-of-Information from Theory to Implementation

abstract: Emerging applications, such as smart factories and fleets of drones, increasingly rely on sharing time-sensitive information for monitoring and control. In such application domains, it is essential to keep information fresh, as outdated information loses its value and can lead to system failures and safety risks. The Age-of-Information is a performance metric that captures how fresh the information is from the perspective of the destination. In this paper, we show that as the congestion in the wireless network increases, the Age-of-Information degrades sharply, leading to outdated information at the destination. Leveraging years of theoretical research, we propose WiFresh: an unconventional architecture that achieves near optimal information freshness in wireless networks of any size, even when the network is overloaded. Our experimental results show that WiFresh can improve information freshness by two orders of magnitude when compared to an equivalent standard WiFi network. We propose and realize two strategies for implementing WiFresh: one at the MAC layer using hardware-level programming and another at the Application layer using Python.


title: Low-Cost Maximum Entropy Covariance Matrix Reconstruction Algorithm for Robust Adaptive Beamforming

abstract: In this letter, we present a novel low-complexity adaptive beamforming technique using a stochastic gradient algorithm to avoid matrix inversions. The proposed method exploits algorithms based on the maximum entropy power spectrum (MEPS) to estimate the noise-plus-interference covariance matrix (MEPS-NPIC) so that the beamforming weights are updated adaptively, thus greatly reducing the computational complexity. MEPS is further used to reconstruct the desired signal covariance matrix and to improve the estimate of the desired signals's steering vector (SV). Simulations show the superiority of the proposed MEPS-NPIC approach over previously proposed beamformers.


title: Dynamical localization of interacting bosons in the few-body limit

abstract: The quantum kicked rotor is well-known to display dynamical localization in the non-interacting limit. In the interacting case, while the mean-field (Gross-Pitaevskii) approximation displays a destruction of dynamical localization, its fate remains debated beyond mean-field. Here we study the kicked Lieb-Liniger model in the few-body limit. We show that for any interaction strength, two kicked interacting bosons always dynamically localize, in the sense that the energy of the system saturates at long time. However, contrary to the non-interacting limit, the momentum distribution $\Pi(k)$ of the bosons is not exponentially localized, but decays as $\mathcal C/k^4$, as expected for interacting quantum particles, with Tan's contact $\mathcal C$ which remains finite at long time. We discuss how our results will impact the experimental study of kicked interacting bosons.


title: Computational Analysis of Subscapularis Tears and Pectoralis Major Transfers on Muscular Activity

abstract: Muscle transfers are commonly performed to restore joint function after muscle tears. However, there are not many biomechanical studies of muscle transfers, with the available ones often limited to passive movements in anatomical planes. Using data from three activities of daily living (ADL) and an available computational musculoskeletal model of the shoulder, we analyse the impact of a subscapularis tear and its treatment by a pectoralis major (PMA) transfer of the clavicular, sternal, or both segments. The shoulder model is validated against experimental data: the model kinematics with motion capture, muscle activity with EMG measurements, and model joint reaction force with in-vivo data from an instrumented prosthesis. Our results indicate that subscapularis tear requires a compensatory activation of the supraspinatus and is accompanied by a reduced co-contraction of the infraspinatus, both of which can be partially recovered after PMA transfer. Furthermore, although the PMA acts asynchronously to the subscapularis before the transfer, its patterns of activation change significantly after the transfer. Overall, this study demonstrates that muscle transfers have a significant impact on the neuromuscular system of the joint during active motion, beyond mere kinematics. Capability of a transferred muscle segment to activate similarly to intact subscapularis is found to be dependent on a considered motion. Differences in the activation patterns between intact subscapularis and segments of PMA may explain the difficulty of some patients in adapting their psycho-motor patterns during the rehabilitation period. Thereby, rehabilitation programs could benefit from targeted training on specific motion patterns and biofeedback programs. Finally, the condition of the anterior deltoid should be considered to avoid adding limitations to the joint function before a transfer of the clavicular part.


title: Bayesian Analysis of a Future Beta Decay Experiment's Sensitivity to Neutrino Mass Scale and Ordering

abstract: Bayesian modeling techniques enable sensitivity analyses that incorporate detailed expectations regarding future experiments. A model-based approach also allows one to evaluate inferences and predicted outcomes, by calibrating (or measuring) the consequences incurred when certain results are reported. We present procedures for calibrating predictions of an experiment's sensitivity to both continuous and discrete parameters. Using these procedures and a new Bayesian model of the $\beta$-decay spectrum, we assess a high-precision $\beta$-decay experiment's sensitivity to the neutrino mass scale and ordering, for one assumed design scenario. We find that such an experiment could measure the electron-weighted neutrino mass within $\sim40\,$meV after 1 year (90$\%$ credibility). Neutrino masses $>500\,$meV could be measured within $\approx5\,$meV. Using only $\beta$-decay and external reactor neutrino data, we find that next-generation $\beta$-decay experiments could potentially constrain the mass ordering using a two-neutrino spectral model analysis. By calibrating mass ordering results, we identify reporting criteria that can be tuned to suppress false ordering claims. In some cases, a two-neutrino analysis can reveal that the mass ordering is inverted, an unobtainable result for the traditional one-neutrino analysis approach.


title: On the distribution of the mean energy in the unitary orbit of quantum states

abstract: Given a closed quantum system, the states that can be reached with a cyclic process are those with the same spectrum as the initial state. Here we prove that, under a very general assumption on the Hamiltonian, the distribution of the mean extractable work is very close to a gaussian with respect to the Haar measure. We derive bounds for both the moments of the distribution of the mean energy of the state and for its characteristic function, showing that the discrepancy with the normal distribution is increasingly suppressed for large dimensions of the system Hilbert space.


title: Equidistribution for weakly holomorphic sections of line bundles on algebraic curves

abstract: We prove the convergence of the normalized Fubini-Study measures and the logarithms of the Bergman kernels of various Bergman spaces of holomorphic and weakly holomorphic sections associated to a singular Hermitian holomorphic line bundle on an algebraic curve. Using this, we study the asymptotic distribution of the zeros of random sequences of sections in these spaces.


title: Spectrum of periodic chain graphs with time-reversal non-invariant vertex coupling

abstract: We investigate spectral properties of quantum graphs in the form of a periodic chain of rings with a connecting link between each adjacent pair, assuming that wave functions at the vertices are matched through conditions manifestly non-invariant with respect to time reversal. We discuss, in particular, the high-energy behavior of such systems and the limiting situations when one of the edges in the elementary cell of such a graph shrinks to zero. The spectrum depends on the topology and geometry of the graph. The probability that an energy belongs to the spectrum takes three different values reflecting the vertex parities and mirror symmetry, and the band patterns are influenced by commensurability of graph edge lengths.

categories: math-ph cond-mat.mes-hall math.MP math.SP quant-ph


title: From Handheld to Unconstrained Object Detection: a Weakly-supervised On-line Learning Approach

abstract: Deep Learning (DL) based methods for object detection achieve remarkable performance at the cost of computationally expensive training and extensive data labeling. Robots embodiment can be exploited to mitigate this burden by acquiring automatically annotated training data via a natural interaction with a human showing the object of interest, handheld. However, learning solely from this data may introduce biases (the so-called domain shift), and prevents adaptation to novel tasks. While Weakly-supervised Learning (WSL) offers a well-established set of techniques to cope with these problems in general-purpose Computer Vision, its adoption in challenging robotic domains is still at a preliminary stage. In this work, we target the scenario of a robot trained in a teacher-learner setting to detect handheld objects. The aim is to improve detection performance in different settings by letting the robot explore the environment with a limited human labeling budget. We compare several techniques for WSL in detection pipelines to reduce model re-training costs without compromising accuracy, proposing solutions which target the considered robotic scenario. We show that the robot can improve adaptation to novel domains, either by interacting with a human teacher (Active Learning) or with an autonomous supervision (Semi-supervised Learning). We integrate our strategies into an on-line detection method, achieving efficient model update capabilities with few labels. We experimentally benchmark our method on challenging robotic object detection tasks under domain shift.


title: Graded Linearity of Stanley-Reisner Ring of Broken Circuit Complexes

abstract: This paper introduces two new notions of graded linear resolution and graded linear quotients, which generalize the concepts of linear resolution property and linear quotient for modules over the polynomial ring $A=k[x_1, \dots ,x_n]$. Besides, we compare graded linearity with componentwise linearity in general. For modules minimally generated by a regular sequence in a maximal ideal of $A$, we show that graded linear quotients imply graded linear resolution property for the colon ideals. On the other hand, we provide specific characterizations of graded linear resolution property for the Stanley-Reisner ring of broken circuit complexes and generalize several results of \cite{RV} on the decomposition of matroids into the direct sum of uniform matroids. Specifically, we show that the matroid can be stratified such that each strata has a decomposition into uniform matroids. We also present analogs of our results for the Orlik-Terao ideal of hyperplane arrangements which are translations of the corresponding results on matroids.


title: The Atacama Cosmology Telescope: Detection of mm-wave transient sources

abstract: We report on the serendipitous discovery of three transient mm-wave sources using data from the Atacama Cosmology Telescope. The first, detected at RA = 273.8138, dec = -49.4628 at ${\sim}50\sigma$ total, brightened from less than 5 mJy to at least 1100 mJy at 150 GHz with an unknown rise time shorter than thirteen days, during which the increase from 250 mJy to 1100 mJy took only 8 minutes. Maximum flux was observed on 2019-11-8. The source's spectral index in flux between 90 and 150 GHz was positive, $\alpha = 1.5\pm0.2$. The second, detected at RA = 105.1584, dec = -11.2434 at ${\sim}20\sigma$ total, brightened from less than 20 mJy to at least 300 mJy at 150 GHz with an unknown rise time shorter than eight days. Maximum flux was observed on 2019-12-15. Its spectral index was also positive, $\alpha = 1.8\pm0.2$. The third, detected at RA = 301.9952, dec = 16.1652 at ${\sim}40\sigma$ total, brightened from less than 8 mJy to at least 300 mJy at 150 GHz over a day or less but decayed over a few days. Maximum flux was observed on 2018-9-11. Its spectrum was approximately flat, with a spectral index of $\alpha = -0.2\pm0.1$. None of the sources were polarized to the limits of these measurements. The two rising-spectrum sources are coincident in position with M and K stars, while the third is coincident with a G star.


title: Generalized Quantile Loss for Deep Neural Networks

abstract: This note presents a simple way to add a count (or quantile) constraint to a regression neural net, such that given $n$ samples in the training set it guarantees that the prediction of $m<n$ samples will be larger than the actual value (the label). Unlike standard quantile regression networks, the presented method can be applied to any loss function and not necessarily to the standard quantile regression loss, which minimizes the mean absolute differences. Since this count constraint has zero gradients almost everywhere, it cannot be optimized using standard gradient descent methods. To overcome this problem, an alternation scheme, which is based on standard neural network optimization procedures, is presented with some theoretical analysis.


title: Roofpedia: Automatic mapping of green and solar roofs for an open roofscape registry and evaluation of urban sustainability

abstract: Sustainable roofs, such as those with greenery and photovoltaic panels, contribute to the roadmap for reducing the carbon footprint of cities. However, research on sustainable urban roofscapes is rather focused on their potential and it is hindered by the scarcity of data, limiting our understanding of their current content, spatial distribution, and temporal evolution. To tackle this issue, we introduce Roofpedia, a set of three contributions: (i) automatic mapping of relevant urban roof typology from satellite imagery; (ii) an open roof registry mapping the spatial distribution and area of solar and green roofs of more than one million buildings across 17 cities; and (iii) the Roofpedia Index, a derivative of the registry, to benchmark the cities by the extent of sustainable roofscape in term of solar and green roof penetration. This project, partly inspired by its street greenery counterpart `Treepedia', is made possible by a multi-step pipeline that combines deep learning and geospatial techniques, demonstrating the feasibility of an automated methodology that generalises successfully across cities with an accuracy of detecting sustainable roofs of up to 100% in some cities. We offer our results as an interactive map and open dataset so that our work could aid researchers, local governments, and the public to uncover the pattern of sustainable rooftops across cities, track and monitor the current use of rooftops, complement studies on their potential, evaluate the effectiveness of existing incentives, verify the use of subsidies and fulfilment of climate pledges, estimate carbon offset capacities of cities, and ultimately support better policies and strategies to increase the adoption of instruments contributing to the sustainable development of cities.


title: DeepBeam: Deep Waveform Learning for Coordination-Free Beam Management in mmWave Networks

abstract: Highly directional millimeter wave (mmWave) radios need to perform beam management to establish and maintain reliable links. To do so, existing solutions mostly rely on explicit coordination between the transmitter (TX) and the receiver (RX), which significantly reduces the airtime available for communication and further complicates the network protocol design. This paper advances the state of the art by presenting DeepBeam, a framework for beam management that does not require pilot sequences from the TX, nor any beam sweeping or synchronization from the RX. This is achieved by inferring (i) the Angle of Arrival (AoA) of the beam and (ii) the actual beam being used by the transmitter through waveform-level deep learning on ongoing transmissions between the TX to other receivers. In this way, the RX can associate Signal-to-Noise-Ratio (SNR) levels to beams without explicit coordination with the TX. This is possible because different beam patterns introduce different impairments to the waveform, which can be subsequently learned by a convolutional neural network (CNN). We conduct an extensive experimental data collection campaign where we collect more than 4 TB of mmWave waveforms with (i) 4 phased array antennas at 60.48 GHz, (ii) 2 codebooks containing 24 one-dimensional beams and 12 two-dimensional beams; (iii) 3 receiver gains; (iv) 3 different AoAs; (v) multiple TX and RX locations. Moreover, we collect waveform data with two custom-designed mmWave software-defined radios with fully-digital beamforming architectures at 58 GHz. Results show that DeepBeam (i) achieves accuracy of up to 96%, 84% and 77% with a 5-beam, 12-beam and 24-beam codebook, respectively; (ii) reduces latency by up to 7x with respect to the 5G NR initial beam sweep in a default configuration and with a 12-beam codebook. The waveform dataset and the full DeepBeam code repository are publicly available.


title: Global existences and asymptotic behavior for semilinear heat equation

abstract: In this paper, we consider the global Cauchy problem for the $L^2$-critical semilinear heat equations $ \partial_t h=\Delta h\pm |h|^{\frac4d}h, $ with $h(0,x)=h_0$, where $h$ is an unknown real function defined on $ \R^+\times\R^d$. In most of the studies on this subject, the initial data $h_0$ belongs to Lebesgue spaces $L^p(\R^d)$ for some $p\ge 2$ or to subcritical Sobolev space $H^{s}(\R^d)$ with $s>0$. {\it First,} we prove that there exists some positive constant $\gamma_0$ depending on $d$, such that the Cauchy problem is locally and globally well-posed for any initial data $h_0$ which is radial, supported away from the origin and in the negative Sobolev space $\dot H^{-\gamma_0}(\R^d)$. In particular, it leads to local and global existences of the solutions to Cauchy problem considered above for the initial data in a proper subspace of $L^p(\R^d)$ with some $p<2$. {\it Secondly,} the sharp asymptotic behavior of the solutions ( i.e. $L^2$-decay estimates ) as $t\to +\infty$ are obtained with arbitrary large initial data $h_0\in \dot H^{-\gamma_0}(\R^d)$ in the defocusing case and in the focusing case with suitably small initial data $h_0$.


title: Analysis of Dominant Classes in Universal Adversarial Perturbations

abstract: The reasons why Deep Neural Networks are susceptible to being fooled by adversarial examples remains an open discussion. Indeed, many different strategies can be employed to efficiently generate adversarial attacks, some of them relying on different theoretical justifications. Among these strategies, universal (input-agnostic) perturbations are of particular interest, due to their capability to fool a network independently of the input in which the perturbation is applied. In this work, we investigate an intriguing phenomenon of universal perturbations, which has been reported previously in the literature, yet without a proven justification: universal perturbations change the predicted classes for most inputs into one particular (dominant) class, even if this behavior is not specified during the creation of the perturbation. In order to justify the cause of this phenomenon, we propose a number of hypotheses and experimentally test them using a speech command classification problem in the audio domain as a testbed. Our analyses reveal interesting properties of universal perturbations, suggest new methods to generate such attacks and provide an explanation of dominant classes, under both a geometric and a data-feature perspective.


title: DeepHateExplainer: Explainable Hate Speech Detection in Under-resourced Bengali Language

abstract: The exponential growths of social media and micro-blogging sites not only provide platforms for empowering freedom of expressions and individual voices, but also enables people to express anti-social behaviour like online harassment, cyberbullying, and hate speech. Numerous works have been proposed to utilize textual data for social and anti-social behaviour analysis, by predicting the contexts mostly for highly-resourced languages like English. However, some languages are under-resourced, e.g., South Asian languages like Bengali, that lack computational resources for accurate natural language processing (NLP). In this paper, we propose an explainable approach for hate speech detection from the under-resourced Bengali language, which we called DeepHateExplainer. Bengali texts are first comprehensively preprocessed, before classifying them into political, personal, geopolitical, and religious hates using a neural ensemble method of transformer-based neural architectures (i.e., monolingual Bangla BERT-base, multilingual BERT-cased/uncased, and XLM-RoBERTa). Important(most and least) terms are then identified using sensitivity analysis and layer-wise relevance propagation(LRP), before providing human-interpretable explanations. Finally, we compute comprehensiveness and sufficiency scores to measure the quality of explanations w.r.t faithfulness. Evaluations against machine learning~(linear and tree-based models) and neural networks (i.e., CNN, Bi-LSTM, and Conv-LSTM with word embeddings) baselines yield F1-scores of 78%, 91%, 89%, and 84%, for political, personal, geopolitical, and religious hates, respectively, outperforming both ML and DNN baselines.


title: A large class of dendrite maps for which M\"{o}bius disjointness property of Sarnak is fulfilled

abstract: We prove that any dendrite map for which the set of endpoints is closed and countable fulfilled Sarnak M\"{o}bius disjointness. This extended a result by el Abdalaoui-Askri and Marzougui \cite{ela-GH}. We further notice that the Smital-Ruelle property can be extended to the class of dendrites with closed and countable endpoints.


title: Global well-posedness for the cubic nonlinear Schr{\"o}dinger equation with initial lying in $L^{p}$-based Sobolev spaces

abstract: In this paper we continue our study [DSS20] of the nonlinear Schr\"odinger equation (NLS) with bounded initial data which do not vanish at infinity. Local well-posedness on $\mathbb{R}$ was proved for real analytic data. Here we prove global well-posedness for the 1D NLS with initial data lying in $L^{p}$ for any $2 < p < \infty$, provided the initial data is sufficiently smooth. We do not use the complete integrability of the cubic nonlinear Schr{\"o}dinger equation.


title: L^p Boundedness of the Scattering Wave Operators of Schroedinger Dynamics with Time-dependent Potentials and applications

abstract: This paper establishes the $L^p$ boundedness of wave operators for linear Schr\"odinger equations in $\mathbb{R}^3$ with time-dependent potentials. The approach to the proof is based on new cancellation lemmas. As a typical application based on this method, combined with Strichartz estimates is the existence and scattering for nonlinear dispersive equations. For example, we prove global existence and uniform boundedness in $L^{\infty}$, for a class of Hartree nonlinear Schr\"odinger equations in $L^2(\mathbb{R}^3),$ allowing the presence of solitons. We also prove the existence of free channel wave operators in $L^p(\mathbb{R}^n)$ for $p>p_c(n)$, with $p_c(3)=6$.


title: Topological charge distributions of an interacting two-spin system

abstract: Quantum systems are often described by parameter-dependent Hamiltonians. Points in parameter space where two levels are degenerate can carry a topological charge. Here we theoretically study an interacting two-spin system where the degeneracy points form a nodal loop or a nodal surface in the magnetic parameter space, similarly to such structures discovered in the band structure of topological semimetals. We determine the topological charge distribution along these degeneracy geometries. We show that these non-point-like degeneracy patterns can be obtained not only by fine-tuning, but they can be stabilized by spatial symmetries. Since simple spin systems such as the one studied here are ubiquitous in condensed-matter setups, we expect that our findings, and the physical consequences of these nontrivial degeneracy geometries, are testable in experiments with quantum dots, molecular magnets, and adatoms on metallic surfaces.


title: Attractor invariants, brane tilings and crystals

abstract: Supersymmetric D-brane bound states on a Calabi-Yau threefold $X$ are counted by generalized Donaldsdon-Thomas invariants $\Omega_Z(\gamma)$, depending on a Chern character (or electromagnetic charge) $\gamma\in H^*(X)$ and a stability condition (or central charge) $Z$. Attractor invariants $\Omega_*(\gamma)$ are special instances of DT invariants, where $Z$ is the attractor stability condition $Z_\gamma$ (a generic perturbation of self-stability), from which DT invariants for any other stability condition can be deduced. While difficult to compute in general, these invariants become tractable when $X$ is a crepant resolution of a singular toric Calabi-Yau threefold associated to a brane tiling, and hence to a quiver with potential. We survey some known results and conjectures about framed and unframed refined DT invariants in this context, and compute attractor invariants explicitly for a variety of toric Calabi-Yau threefolds, in particular when $X$ is the total space of the canonical bundle of a smooth projective surface, or when $X$ is a crepant resolution of $C^3/G$. We check that in all these cases, $\Omega_*(\gamma)=0$ unless $\gamma$ is the dimension vector of a simple representation or belongs to the kernel of the skew-symmetrized Euler form. Based on computations in small dimensions, we predict the values of all attractor invariants, thus potentially solving the problem of counting DT invariants of these threefolds in all stability chambers. We also compute the non-commutative refined DT invariants and verify that they agree with the counting of molten crystals in the unrefined limit.


title: Commonsense Visual Sensemaking for Autonomous Driving: On Generalised Neurosymbolic Online Abduction Integrating Vision and Semantics

abstract: We demonstrate the need and potential of systematically integrated vision and semantics solutions for visual sensemaking in the backdrop of autonomous driving. A general neurosymbolic method for online visual sensemaking using answer set programming (ASP) is systematically formalised and fully implemented. The method integrates state of the art in visual computing, and is developed as a modular framework that is generally usable within hybrid architectures for realtime perception and control. We evaluate and demonstrate with community established benchmarks KITTIMOD, MOT-2017, and MOT-2020. As use-case, we focus on the significance of human-centred visual sensemaking -- e.g., involving semantic representation and explainability, question-answering, commonsense interpolation -- in safety-critical autonomous driving situations. The developed neurosymbolic framework is domain-independent, with the case of autonomous driving designed to serve as an exemplar for online visual sensemaking in diverse cognitive interaction settings in the backdrop of select human-centred AI technology design considerations. Keywords: Cognitive Vision, Deep Semantics, Declarative Spatial Reasoning, Knowledge Representation and Reasoning, Commonsense Reasoning, Visual Abduction, Answer Set Programming, Autonomous Driving, Human-Centred Computing and Design, Standardisation in Driving Technology, Spatial Cognition and AI.


title: Lip-reading with Hierarchical Pyramidal Convolution and Self-Attention

abstract: In this paper, we propose a novel deep learning architecture to improving word-level lip-reading. On the one hand, we first introduce the multi-scale processing into the spatial feature extraction for lip-reading. Specially, we proposed hierarchical pyramidal convolution (HPConv) to replace the standard convolution in original module, leading to improvements over the model's ability to discover fine-grained lip movements. On the other hand, we merge information in all time steps of the sequence by utilizing self-attention, to make the model pay more attention to the relevant frames. These two advantages are combined together to further enhance the model's classification power. Experiments on the Lip Reading in the Wild (LRW) dataset show that our proposed model has achieved 86.83% accuracy, yielding 1.53% absolute improvement over the current state-of-the-art. We also conducted extensive experiments to better understand the behavior of the proposed model.


title: Unifying Decidable Entailments in Separation Logic with Inductive Definitions

abstract: The entailment problem $\varphi \models \psi$ in Separation Logic \cite{IshtiaqOHearn01,Reynolds02}, between separated conjunctions of equational ($x \iseq y$ and $x \not\iseq y$), spatial ($x \mapsto (y_1,\ldots,y_\rank)$) and predicate ($p(x_1,\ldots,x_n)$) atoms, interpreted by a finite set of inductive rules, is undecidable in general. Certain restrictions on the set of inductive definitions lead to decidable classes of entailment problems. Currently, there are two such decidable classes, based on two restrictions, called \emph{establishment} \cite{IosifRogalewiczSimacek13,KatelaanMathejaZuleger19,PZ20} and \emph{restrictedness} \cite{EIP21a}, respectively. Both classes are shown to be in \twoexptime\ by the independent proofs from \cite{PZ20} and \cite{EIP21a}, respectively, and a many-one reduction of established to restricted entailment problems has been given \cite{EIP21a}. In this paper, we strictly generalize the restricted class, by distinguishing the conditions that apply only to the left- ($\varphi$) and the right- ($\psi$) hand side of entailments, respectively. We provide a many-one reduction of this generalized class, called \emph{safe}, to the established class. Together with the reduction of established to restricted entailment problems, this new reduction closes the loop and shows that the three classes of entailment problems (respectively established, restricted and safe) form a single, unified, \twoexptime-complete class.


title: Remark On The Notion Of Adapted Conformal And Other Estimates

abstract: I describe a way to modify the multipliers of a-priori estimates, so as to include potential perturbations of the Laplacian.


title: TEMPI: An Interposed MPI Library with a Canonical Representation of CUDA-aware Datatypes

abstract: MPI derived datatypes are an abstraction that simplifies handling of non-contiguous data in MPI applications. These datatypes are recursively constructed at runtime from primitive Named Types defined in the MPI standard. More recently, the development and deployment of CUDA-aware MPI implementations has encouraged the transition of distributed high-performance MPI codes to use GPUs. Such implementations allow MPI functions to directly operate on GPU buffers, easing integration of GPU compute into MPI codes. This work first presents a novel datatype handling strategy for nested strided datatypes, which finds a middle ground between the specialized or generic handling in prior work. This work also shows that the performance characteristics of non-contiguous data handling can be modeled with empirical system measurements, and used to transparently improve MPI_Send/Recv latency. Finally, despite substantial attention to non-contiguous GPU data and CUDA-aware MPI implementations, good performance cannot be taken for granted. This work demonstrates its contributions through an MPI interposer library, TEMPI. TEMPI can be used with existing MPI deployments without system or application changes. Ultimately, the interposed-library model of this work demonstrates MPI_Pack speedup of up to 242000x and MPI_Send speedup of up to 59000x compared to the MPI implementation deployed on a leadership-class supercomputer. This yields speedup of more than 917x in a 3D halo exchange with 3072 processes.


title: Surfactant-loaded capsules as Marangoni microswimmers at the air-water interface: Symmetry breaking and spontaneous propulsion by surfactant diffusion and advection

abstract: We present a realization of a fast interfacial Marangoni microswimmer by a half-spherical alginate capsule at the air-water interface, which diffusively releases water-soluble spreading molecules (weak surfactants such as polyethylene glycol (PEG)), which act as "fuel" by modulating the air-water interfacial tension. For a number of different fuels, we can observe symmetry breaking and spontaneous propulsion although the alginate particle and emission are isotropic. The propulsion mechanism is similar to soap or camphor boats, which are, however, typically asymmetric in shape or emission to select a swimming direction. We develop a theory of Marangoni boat propulsion starting from low Reynolds numbers by analyzing the coupled problems of surfactant diffusion and advection and fluid flow, which includes surfactant-induced fluid Marangoni flow, and surfactant adsorption at the air-water interface; we also include a possible evaporation of surfactant. The swimming velocity is determined by the balance of drag and Marangoni forces. We show that spontaneous symmetry breaking resulting in propulsion is possible above a critical dimensionless surfactant emission rate (Peclet number). We derive the relation between Peclet number and swimming speed and generalize to higher Reynolds numbers utilizing the concept of the Nusselt number. The theory explains the observed swimming speeds for PEG-alginate capsules, and we unravel the differences to other Marangoni boat systems based on camphor, which are mainly caused by surfactant evaporation from the liquid-air interface. The capsule Marangoni microswimmers also exhibit surfactant-mediated repulsive interactions with walls, which can be qualitatively explained by surfactant accumulation at the wall.


title: Investigation of pair-correlated $0^+$ states in $^{134}$Ba via the $^{136}$Ba($p,t$) reaction

abstract: We performed a high resolution study of $0^{+}$ states in $^{134}$Ba using the $^{136}$Ba($p,t$) two-neutron transfer reaction. Our experiment shows a significant portion of the $L = 0$ pair-transfer strength concentrated at excited $0^+$ levels in $^{134}$Ba. Potential implications in the context of $^{136}$Xe $\to$ $^{136}$Ba neutrinoless double beta decay matrix element calculations are briefly discussed.


title: Counting the Number of Solutions to Constraints

abstract: Compared with constraint satisfaction problems, counting problems have received less attention. In this paper, we survey research works on the problems of counting the number of solutions to constraints. The constraints may take various forms, including, formulas in the propositional logic, linear inequalities over the reals or integers, Boolean combination of linear constraints. We describe some techniques and tools for solving the counting problems, as well as some applications (e.g., applications to automated reasoning, program analysis, formal verification and information security).