title: Quarter-BPS states, multi-symmetric functions and set partitions

abstract: We give a construction of general holomorphic quarter BPS operators in $ \mathcal{N}=4$ SYM at weak coupling with $U(N)$ gauge group at finite $N$. The construction employs the M\"obius inversion formula for set partitions, applied to multi-symmetric functions, alongside computations in the group algebras of symmetric groups. We present a computational algorithm which produces an orthogonal basis for the physical inner product on the space of holomorphic operators. The basis is labelled by a $U(2)$ Young diagram, a $U(N)$ Young diagram and an additional plethystic multiplicity label. We describe precision counting results of quarter BPS states which are expected to be reproducible from dual computations with giant gravitons in the bulk, including a symmetry relating sphere and AdS giants within the quarter BPS sector. In the case $n \leq N$ ($n$ being the dimension of the composite operator) the construction is analytic, using multi-symmetric functions and $U(2)$ Clebsch-Gordan coefficients. Counting and correlators of the BPS operators can be encoded in a two-dimensional topological field theory based on permutation algebras and equipped with appropriate defects.


title: Curves of maximal moduli on K3 surfaces

abstract: We prove that if $X$ is a complex projective K3 surface and $g>0$, then there exist infinitely many families of curves of geometric genus $g$ on $X$ with maximal, i.e., $g$-dimensional, variation in moduli. In particular every K3 surface contains a curve of geometric genus 1 which moves in a non-isotrivial family. This implies a conjecture of Huybrechts on constant cycle curves and gives an algebro-geometric proof of a theorem of Kobayashi that a K3 surface has no global symmetric differential forms.


title: A global-in-time domain decomposition method for the coupled nonlinear Stokes and Darcy flows

abstract: We study a decoupling iterative algorithm based on domain decomposition for the time-dependent nonlinear Stokes-Darcy model, in which different time steps can be used in the flow region and in the porous medium. The coupled system is formulated as a space-time interface problem based on the interface condition for mass conservation. The nonlinear interface problem is then solved by a nested iteration approach which involves, at each Newton iteration, the solution of a linearized interface problem and, at each Krylov iteration, parallel solution of time-dependent linearized Stokes and Darcy problems. Consequently, local discretizations in time (and in space) can be used to efficiently handle multiphysics systems of coupled equations evolving at different temporal scales. Numerical results with nonconforming time grids are presented to illustrate the performance of the proposed method.


title: ${\overline{\rm MS}}$ renormalization of $S$-wave quarkonium wavefunctions at the origin

abstract: We compute $S$-wave quarkonium wavefunctions at the origin in the $\overline{\rm MS}$ scheme based on nonrelativistic effective field theories. We include the effects of nonperturbative long-distance behaviors of the potentials, while we determine the short-distance behaviors of the potentials in perturbative QCD. We obtain $\overline{\rm MS}$-renormalized quarkonium wavefunctions at the origin that have the correct scale dependences that are expected from perturbative QCD, so that the scale dependences cancel in physical quantities. Based on the calculation of the wavefunctions at the origin, we make model-independent predictions of decay constants and electromagnetic decay rates of $S$-wave charmonia and bottomonia, and compare them with measurements. We find that the poor convergence of perturbative QCD corrections are substantially improved when we include corrections to the wavefunctions at the origin in the calculation of decay constants and decay rates.


title: Video Prediction via Example Guidance

abstract: In video prediction tasks, one major challenge is to capture the multi-modal nature of future contents and dynamics. In this work, we propose a simple yet effective framework that can efficiently predict plausible future states. The key insight is that the potential distribution of a sequence could be approximated with analogous ones in a repertoire of training pool, namely, expert examples. By further incorporating a novel optimization scheme into the training procedure, plausible predictions can be sampled efficiently from distribution constructed from the retrieved examples. Meanwhile, our method could be seamlessly integrated with existing stochastic predictive models; significant enhancement is observed with comprehensive experiments in both quantitative and qualitative aspects. We also demonstrate the generalization ability to predict the motion of unseen class, i.e., without access to corresponding data during training phase.


title: Modifications Preserving Hyperbolicity of Link Complements

abstract: Given a link in a 3-manifold such that the complement is hyperbolic, we provide two modifications to the link, called the chain move and the switch move, that preserve hyperbolicity of the complement, with only a relatively small number of manifold-link pair exceptions, which are also classified. These modifications provide a substantial increase in the number of known hyperbolic links in the 3-sphere and other 3-manifolds.


title: On convergence of form factor expansions in the infinite volume quantum Sinh-Gordon model in 1+1 dimensions

abstract: This paper develops a technique allowing one to prove the convergence of a class of series of multiple integrals which corresponds to the form factor expansion of two-point functions in the 1+1 dimensional massive integrable Sinh-Gordon quantum field theory.


title: Fixed points and the inverse problem for central configurations

abstract: Central configurations play an important role in the dynamics of the $n$-body problem: they occur as relative equilibria and as asymptotic configurations in colliding trajectories. We illustrate how they can be found as projective fixed points of self-maps defined on the shape space, and some results on the inverse problem in dimension $1$, i.e. finding (positive or real) masses which make a given collinear configuration central. This survey article introduces readers to the recent results of the author, also unpublished, showing an application of the fixed point theory.


title: Reverse superposition estimates in Sobolev spaces

abstract: We study when and how the norm of a function $u$ in the homogeneous Sobolev spaces $\dot{W}^{s, p} (\mathbb{R}^n, \mathbb{R}^m)$, with $p \ge 1$ and either $s = 1$ or $s > 1/p$, is controlled by the norm of composite function $f \circ u$ in the same space.


title: Distinguishing fuzzballs from black holes through their multipolar structure

abstract: Within General Relativity, the unique stationary solution of an isolated black hole is the Kerr spacetime, which has a peculiar multipolar structure depending only on its mass and spin. We develop a general method to extract the multipole moments of arbitrary stationary spacetimes and apply it to a large family of horizonless microstate geometries. The latter can break the axial and equatorial symmetry of the Kerr metric and have a much richer multipolar structure, which provides a portal to constrain fuzzball models phenomenologically. We find numerical evidence that all multipole moments are typically larger (in absolute value) than those of a Kerr black hole with the same mass and spin. Current measurements of the quadrupole moment of black-hole candidates could place only mild constraints on fuzzballs, while future gravitational-wave detections of extreme mass-ratio inspirals with the space mission LISA will improve these bounds by orders of magnitude.


title: "Fraternal-twin" ferroelectricity: competing polar states in hydrogen-doped samarium nickelate from first principles

abstract: Reversible intercalation of hydrogen into samarium nickelate, SmNiO$_3$ (SNO), has been of recent interest. Upon entering SNO, the hydrogen dissociates: the H$^+$ binds to an oxygen and the valence electron localizes on a nearby NiO$_6$ octahedron, resulting in a local dipole moment. In this work, we use first-principles calculations to explore the polar states of hydrogen-doped SNO at a concentration of 1/4 hydrogen per Ni. The inherent tilt pattern of SNO and the presence of the interstitial hydrogen present an insurmountable energy barrier to switch these polar states to their symmetry-related states under inversion. We find a sufficiently low barrier to move the localized electron to a neighboring NiO$_6$ octahedron, a state unrelated by symmetry but equal in energy under epitaxial strain, resulting in a large change in polarization. We term this unconventional ferroelectric a "fraternal-twin" ferroelectric.


title: Good elliptic operators on Cantor sets

abstract: It is well known that a purely unrectifiable set cannot support a harmonic measure which is absolutely continuous with respect to the Hausdorff measure of this set. We show that nonetheless there exist elliptic operators on (purely unrectifiable) Cantor sets in ${\mathbb{R}}^2$ whose elliptic measure is absolutely continuous, and in fact, essentially proportional to the Hausdorff measure.


title: Reply to the Comment on "Berezinskii-Kosterlitz-Thouless Transition in Two-Dimensional Dipolar Stripes"

abstract: This is a Reply to the Comment from F. Cinti and M. Boninsegni on our recent work on the Berezinskii-Kosterlitz-Thouless (BKT) phase transition in a two-dimensional dipolar system [R.Bomb\'in, F. Mazzanti and J. Boronat, Physical Review A 100, 063614 (2019)]. The main criticism about our work, expressed in that Comment, is that we did not explicitly report the two spatial contributions to the total superfluid fraction. Here, we analyze our results for a point of the phase diagram corresponding to the stripe phase, close to the gas to stripe transition line, and for a temperature below the BKT critical temperature. The scaling with the system size of the contribution to the superfluid fraction, coming from the direction in which spatial order appears, shows that it remains finite in the thermodynamic limit, as we already stated in our original work. This allow us to state that the stripe phase is superfluid at low temperatures. Furthermore, we offer some comments that help to understand where the differences between the results of Cinti and Boninsegni and ours comes from.


title: Overlay of the Special Issue 'The Role of Halo Substructure in Gamma-Ray Dark Matter Searches'

abstract: An important open question today is the understanding of the relevance that dark matter (DM) halo substructure may have for DM searches. In the standard cosmological framework, subhalos are predicted to be largely abundant inside larger halos, i.e., galaxies like ours, and are thought to form first and later merge to form larger structures. Dwarf satellite galaxies -- the most massive exponents of halo substructure in our own galaxy -- are already known to be excellent targets and, indeed, they are constantly scrutinized by current gamma-ray experiments in their search for DM annihilation signals. Lighter subhalos not massive enough to have a visible baryonic counterpart may be good targets as well given their typical number densities and distances. In addition, the clumpy distribution of subhalos residing in larger halos may boost the DM signals considerably. In an era in which gamma-ray experiments possess, for the first time, the exciting potential of reaching the most relevant regions of the DM parameter space, a profound knowledge of the DM targets and scenarios being tested at present is mandatory if we aim for accurate predictions of DM-induced fluxes, for investing significant telescope observing time to selected targets, and for deriving robust conclusions from our DM search efforts. In this regard, a precise characterization of the statistical and structural properties of subhalos becomes critical. With the Special Issue "The Role of Halo Substructure in Gamma-Ray Dark Matter Searches" [https://www.mdpi.com/journal/galaxies/special_issues/Gamma-RayDMS], we aimed to summarize where we stand today on our knowledge of the different aspects of the DM halo substructure; to identify what are the remaining big questions, how we could address these and, by doing so, to find new avenues for research.


title: On super-Poissonian behavior of the Rosenzweig-Porter model in the non-ergodic extended regime

abstract: The Rosenzweig-Porter model has seen a resurgence in interest as it exhibits a non-ergodic extended phase between the ergodic extended metallic phase and the localized phase. Such a phase is relevant to many physical models from the Sachdev-Ye-Kitaev model in high-energy physics and quantum gravity, to the interacting many-body localization in condensed matter physics and quantum computing. This phase is characterized by fractal behavior of the wavefunctions, and a postulated correlated mini-band structure of the energy spectrum. Here we will seek evidence for the latter in the spectrum. Since this behavior is expected on intermediate energy scales spectral rigidity is a natural way to tease it out. Nevertheless, due to the Thouless energy and ambiguities in the unfolding procedure, the results are inconclusive. On the other hand, by using the singular value decomposition method, clear evidence for a super-Poissonian behavior in this regime emerges, consistent with a picture of correlated mini-bands.


title: A user's guide to the local arithmetic of hyperelliptic curves

abstract: A new approach has been recently developed to study the arithmetic of hyperelliptic curves $y^2=f(x)$ over local fields of odd residue characteristic via combinatorial data associated to the roots of $f$. Since its introduction, numerous papers have used this machinery of "cluster pictures" to compute a plethora of arithmetic invariants associated to these curves. The purpose of this user's guide is to summarise and centralise all of these results in a self-contained fashion, complemented by an abundance of examples.


title: On coalescence as the origin of nuclei in hadronic collisions

abstract: The origin of weakly-bound nuclear clusters in hadronic collisions is a key question to be addressed by heavy-ion collision (HIC) experiments. The measured yields of clusters are approximately consistent with expectations from phenomenological statistical hadronisation models (SHMs), but a theoretical understanding of the dynamics of cluster formation prior to kinetic freeze out is lacking. The competing model is nuclear coalescence, which attributes cluster formation to the effect of final state interactions (FSI) during the propagation of the nuclei from kinetic freeze out to the observer. This phenomenon is closely related to the effect of FSI in imprinting femtoscopic correlations between continuum pairs of particles at small relative momentum difference. We give a concise theoretical derivation of the coalescence--correlation relation, predicting nuclear cluster spectra from femtoscopic measurements. We review the fact that coalescence derives from a relativistic Bethe-Salpeter equation, and recall how effective quantum mechanics controls the dynamics of cluster particles that are nonrelativistic in the cluster centre of mass frame. We demonstrate that the coalescence--correlation relation is roughly consistent with the observed cluster spectra in systems ranging from PbPb to pPb and pp collisions. Paying special attention to nuclear wave functions, we derive the coalescence prediction for hypertriton and show that it, too, is roughly consistent with the data. Our work motivates a combined experimental programme addressing femtoscopy and cluster production under a unified framework. Upcoming pp, pPb and peripheral PbPb data analysed within such a programme could stringently test coalescence as the origin of clusters.


title: Assessing and Improving Cybersecurity Maturity for SMEs: Standardization aspects

abstract: SMEs constitute a very large part of the economy in every country and they play an important role in economic growth and social development. SMEs are frequent targets of cybersecurity attacks similar to large enterprises. However, unlike large enterprises, SMEs mostly have limited capabilities regarding cybersecurity practices. Given the increasing cybersecurity risks and the large impact that the risks may bring to the SMEs, assessing and improving the cybersecurity capabilities is crucial for SMEs for sustainability. This research aims to provide an approach for SMEs for assessing and improving their cybersecurity capabilities by integrating key elements from existing industry standards.


title: Fixed points, local monodromy, and incompressibility of congruence covers

abstract: We prove a fixed point theorem for the action of certain local monodromy groups on \'etale covers and use it to deduce lower bounds in essential dimension. In particular, we give more geometric proofs of many (but not all) of the results of the preprint of Farb, Kisin and Wolfson, which uses arithmetic methods to prove incompressibility results for Shimura varieties and moduli spaces of curves. Our method allows us to prove results for exceptional groups, and also for the reduction modulo good primes of Shimura varieties and moduli spaces of curves.


title: A Complete List of All Convex Polyhedra Made by Gluing Regular Pentagons

abstract: We give a complete description of all convex polyhedra whose surface can be constructed from several congruent regular pentagons by folding and gluing them edge to edge. Our method of determining the graph structure of the polyhedra from a gluing is of independent interest and can be used in other similar settings.


title: Differentiable Causal Discovery from Interventional Data

abstract: Learning a causal directed acyclic graph from data is a challenging task that involves solving a combinatorial problem for which the solution is not always identifiable. A new line of work reformulates this problem as a continuous constrained optimization one, which is solved via the augmented Lagrangian method. However, most methods based on this idea do not make use of interventional data, which can significantly alleviate identifiability issues. This work constitutes a new step in this direction by proposing a theoretically-grounded method based on neural networks that can leverage interventional data. We illustrate the flexibility of the continuous-constrained framework by taking advantage of expressive neural architectures such as normalizing flows. We show that our approach compares favorably to the state of the art in a variety of settings, including perfect and imperfect interventions for which the targeted nodes may even be unknown.


title: Learning to Discover Multi-Class Attentional Regions for Multi-Label Image Recognition

abstract: Multi-label image recognition is a practical and challenging task compared to single-label image classification. However, previous works may be suboptimal because of a great number of object proposals or complex attentional region generation modules. In this paper, we propose a simple but efficient two-stream framework to recognize multi-category objects from global image to local regions, similar to how human beings perceive objects. To bridge the gap between global and local streams, we propose a multi-class attentional region module which aims to make the number of attentional regions as small as possible and keep the diversity of these regions as high as possible. Our method can efficiently and effectively recognize multi-class objects with an affordable computation cost and a parameter-free region localization module. Over three benchmarks on multi-label image classification, we create new state-of-the-art results with a single model only using image semantics without label dependency. In addition, the effectiveness of the proposed method is extensively demonstrated under different factors such as global pooling strategy, input size and network architecture. Code has been made available at~\url{https://github.com/gaobb/MCAR}.


title: The surprisingly carbon-rich environment of the S-type star W Aql

abstract: W Aql is an asymptotic giant branch (AGB) star with an atmospheric elemental abundance ratio C/O$\approx$0.98 and reported circumstellar molecular abundances intermediate between those of M-type (C/O$<$1) and C-type (C/O$>$1) AGB stars. This intermediate status is considered typical for S-type stars, although our understanding of the chemical content of their circumstellar envelopes (CSEs) is currently rather limited. We performed observations in the frequency range 159-268 GHz with the APEX telescope and make abundance estimates through comparison to available spectra towards some well-studied AGB stars and based on rotational diagram analysis in the case of SiC2. We conclude that W Aql's CSE appears considerably closer to that of a C-type AGB star than to that of an M-type AGB star. In particular, we detect emission from C2H, SiC2, SiN, and HC3N, molecules previously only detected towards the CSEs of C-type stars. This conclusion, based on the chemistry of the gaseous component of the CSE, is further supported by reports in the literature on the presence of atmospheric molecular bands and spectral features of dust species typical for C-type AGB stars. Although our observations mainly trace species in the outer regions of the CSE, our conclusion matches closely that based on recent chemical equilibrium models for the inner wind of S-type stars: the atmospheric and circumstellar chemistry of S-type stars likely resembles that of C-type AGB stars much more closely than that of M-type AGB stars. Further observational investigation of the gaseous circumstellar chemistry of S-type stars is required to characterise its dependence on the atmospheric C/O. Non-equilibrium chemical models of the CSEs of AGB stars need to address the particular class of S-type stars and the chemical variety that is induced by the range in atmospheric C/O.


title: Monotonicity preservation properties of kernel regression estimators

abstract: Three common classes of kernel regression estimators are considered: the Nadaraya--Watson (NW) estimator, the Priestley--Chao (PC) estimator, and the Gasser--M\"uller (GM) estimator. It is shown that (i) the GM estimator has a certain monotonicity preservation property for any kernel $K$, (ii) the NW estimator has this property if and only the kernel $K$ is log concave, and (iii) the PC estimator does not have this property for any kernel $K$. Other related properties of these regression estimators are discussed.


title: Collaborative Learning for Faster StyleGAN Embedding

abstract: The latent code of the recent popular model StyleGAN has learned disentangled representations thanks to the multi-layer style-based generator. Embedding a given image back to the latent space of StyleGAN enables wide interesting semantic image editing applications. Although previous works are able to yield impressive inversion results based on an optimization framework, which however suffers from the efficiency issue. In this work, we propose a novel collaborative learning framework that consists of an efficient embedding network and an optimization-based iterator. On one hand, with the progress of training, the embedding network gives a reasonable latent code initialization for the iterator. On the other hand, the updated latent code from the iterator in turn supervises the embedding network. In the end, high-quality latent code can be obtained efficiently with a single forward pass through our embedding network. Extensive experiments demonstrate the effectiveness and efficiency of our work.


title: Topology Optimization of Two Fluid Heat Exchangers

abstract: A method for density-based topology optimization of heat exchangers with two fluids is proposed. The goal of the optimization process is to maximize the heat transfer from one fluid to the other, under maximum pressure drop constraints for each of the fluid flows. A single design variable is used to describe the physical fields. The solid interface and the fluid domains are generated using an erosion-dilation based identification technique, which guarantees well-separated fluids, as well as a minimum wall thickness between them. Under the assumption of laminar steady flow, the two fluids are modelled separately, but in the entire computational domain using the Brinkman penalization technique for ensuring negligible velocities outside of the respective fluid subdomains. The heat transfer is modelled using the convection-diffusion equation, where the convection is driven by both fluid flows. A stabilized finite element discretization is used to solve the governing equations. Results are presented for two different problems: a two-dimensional example illustrating and verifying the methodology; and a three-dimensional example inspired by shell-and-tube heat exchangers. The optimized designs for both cases show an improved heat transfer compared to the baseline designs. For the shell-and-tube case, the full freedom topology optimization approach is shown to yield performance improvements of up to 113% under the same pressure drop.


title: Explainable Deep One-Class Classification

abstract: Deep one-class classification variants for anomaly detection learn a mapping that concentrates nominal samples in feature space causing anomalies to be mapped away. Because this transformation is highly non-linear, finding interpretations poses a significant challenge. In this paper we present an explainable deep one-class classification method, Fully Convolutional Data Description (FCDD), where the mapped samples are themselves also an explanation heatmap. FCDD yields competitive detection performance and provides reasonable explanations on common anomaly detection benchmarks with CIFAR-10 and ImageNet. On MVTec-AD, a recent manufacturing dataset offering ground-truth anomaly maps, FCDD sets a new state of the art in the unsupervised setting. Our method can incorporate ground-truth anomaly maps during training and using even a few of these (~5) improves performance significantly. Finally, using FCDD's explanations we demonstrate the vulnerability of deep one-class classification models to spurious image features such as image watermarks.


title: The Lack of Shared Understanding of Non-Functional Requirements in Continuous Software Engineering: Accidental or Essential?

abstract: Building shared understanding of requirements is key to ensuring downstream software activities are efficient and effective. However, in continuous software engineering (CSE) some lack of shared understanding is an expected, and essential, part of a rapid feedback learning cycle. At the same time, there is a key trade-off with avoidable costs, such as rework, that come from accidental gaps in shared understanding. This trade-off is even more challenging for non-functional requirements (NFRs), which have significant implications for product success. Comprehending and managing NFRs is especially difficult in small, agile organizations. How such organizations manage shared understanding of NFRs in CSE is understudied. We conducted a case study of three small organizations scaling up CSE to further understand and identify factors that contribute to lack of shared understanding of NFRs, and its relationship to rework. Our in-depth analysis identified 41 NFR-related software tasks as rework due to a lack of shared understanding of NFRs. Of these 41 tasks 78% were due to avoidable (accidental) lack of shared understanding of NFRs. Using a mixed-methods approach we identify factors that contribute to lack of shared understanding of NFRs, such as the lack of domain knowledge, rapid pace of change, and cross-organizational communication problems. We also identify recommended strategies to mitigate lack of shared understanding through more effective management of requirements knowledge in such organizations. We conclude by discussing the complex relationship between shared understanding of requirements, rework and, CSE.


title: Controlling the ac Stark effect of RbCs with dc electric and magnetic fields

abstract: We investigate the effects of static electric and magnetic fields on the differential ac Stark shifts for microwave transitions in ultracold bosonic $^{87}$Rb$^{133}$Cs molecules, for light of wavelength $\lambda = 1064~\mathrm{nm}$. Near this wavelength we observe unexpected two-photon transitions that may cause trap loss. We measure the ac Stark effect in external magnetic and electric fields, using microwave spectroscopy of the first rotational transition. We quantify the isotropic and anisotropic parts of the molecular polarizability at this wavelength. We demonstrate that a modest electric field can decouple the nuclear spins from the rotational angular momentum, greatly simplifying the ac Stark effect. We use this simplification to control the ac Stark shift using the polarization angle of the trapping laser.


title: A density-based clustering algorithm for the CYGNO data analysis

abstract: Time Projection Chambers (TPCs) working in combination with Gas Electron Multipliers (GEMs) produce a very sensitive detector capable of observing low energy events. This is achieved by capturing photons generated during the GEM electron multiplication process by means of a high-resolution camera. The CYGNO experiment has recently developed a TPC Triple GEM detector coupled to a low noise and high spatial resolution CMOS sensor. For the image analysis, an algorithm based on an adapted version of the well-known DBSCAN was implemented, called iDBSCAN. In this paper a description of the iDBSCAN algorithm is given, including test and validation of its parameters, and a comparison with DBSCAN itself and a widely used algorithm known as Nearest Neighbor Clustering (NNC). The results show that the adapted version of DBSCAN is capable of providing full signal detection efficiency and very good energy resolution while improving the detector background rejection.


abstract: Learning informative representations of users and items from the interaction data is of crucial importance to collaborative filtering (CF). Present embedding functions exploit user-item relationships to enrich the representations, evolving from a single user-item instance to the holistic interaction graph. Nevertheless, they largely model the relationships in a uniform manner, while neglecting the diversity of user intents on adopting the items, which could be to pass time, for interest, or shopping for others like families. Such uniform approach to model user interests easily results in suboptimal representations, failing to model diverse relationships and disentangle user intents in representations. In this work, we pay special attention to user-item relationships at the finer granularity of user intents. We hence devise a new model, Disentangled Graph Collaborative Filtering (DGCF), to disentangle these factors and yield disentangled representations. Specifically, by modeling a distribution over intents for each user-item interaction, we iteratively refine the intent-aware interaction graphs and representations. Meanwhile, we encourage independence of different intents. This leads to disentangled representations, effectively distilling information pertinent to each intent. We conduct extensive experiments on three benchmark datasets, and DGCF achieves significant improvements over several state-of-the-art models like NGCF, DisenGCN, and MacridVAE. Further analyses offer insights into the advantages of DGCF on the disentanglement of user intents and interpretability of representations. Our codes are available in https://github.com/xiangwang1223/disentangled_graph_collaborative_filtering.


title: XENON1T signal from transition neutrino magnetic moments

abstract: The recent puzzling results of the XENON1T collaboration at few keV electronic recoils could be due to the scattering of solar neutrinos endowed with finite Majorana transition magnetic moments (TMMs). Within such general formalism, we find that the observed excess in the XENON1T data agrees well with this interpretation. The required TMM strengths lie within the limits set by current experiments, such as Borexino, specially when one takes into account a possible tritium contamination.


title: Multi-charged TeV scale scalars and fermions in the framework of a radiative seesaw model

abstract: Explaining the tiny neutrino masses and non-zero mixings have been one of the key motivations for going beyond the framework of the Standard Model (SM). We discuss a collider testable model for generating neutrino masses and mixings via radiative seesaw mechanism. That the model does not require any additional symmetry to forbid tree-level seesaws makes its collider phenomenology interesting. The model includes multi-charged fermions/scalars at the TeV scale to realize the Weinberg operator at 1-loop level. After deriving the constraints on the model parameters resulting from the neutrino oscillation data as well as from the upper bound on the absolute neutrino mass scale, we discuss the production, decay and resulting collider signatures of these TeV scale fermions/scalars at the Large Hadron Collider (LHC). We consider both Drell-Yan and photoproduction. The bounds from the neutrino data indicate the possible presence of a long-lived multi-charged particle (MCP) in this model. We obtain bounds on these long-lived MCP masses from the ATLAS search for abnormally large ionization signature. When the TeV scale fermions/scalars undergo prompt decay, we focus on the 4-lepton final states and obtain bounds from different ATLAS 4-lepton searches. We also propose a 4-lepton event selection criteria designed to enhance the signal to background ratio in the context of this model.


title: HI intensity mapping with MeerKAT: 1/f noise analysis

abstract: The nature of the time correlated noise component (the 1/f noise) of single dish radio telescopes is critical to the detectability of the HI signal in intensity mapping experiments. In this paper, we present the 1/f noise properties of the MeerKAT receiver system using South Celestial Pole (SCP) tracking data. We estimate both the temporal power spectrum density and the 2D power spectrum density for each of the antennas and polarizations. We apply Singular Value Decomposition (SVD) to the dataset and show that, by removing the strongest components, the 1/f noise can be drastically reduced, indicating that it is highly correlated in frequency. Without SVD mode subtraction, the knee frequency over a $20\,$MHz integration is higher than $0.1\,\rm Hz$; with just $2$~mode subtraction, the knee frequency is reduced to $\sim 3\times 10^{-3}\,{\rm Hz}$, indicating that the system induced 1/f-type variations are well under the thermal noise fluctuations over a few hundred seconds time scales. The 2D power spectrum shows that the 1/f-type variations are restricted to a small region in the time-frequency space, either with long wavelength correlations in frequency or in time. This gives a wide range of cosmological scales where the 21cm signal can be measured without further need to calibrate the gain time fluctuations. Finally, we demonstrate that a simple power spectrum parameterization is sufficient to describe the data and provide fitting parameters for both the 1D and 2D power spectrum.


title: Nearby source interpretation of differences among light and medium composition spectra in cosmic rays

abstract: Recently the AMS-02 reported the precise measurements of the energy spectra of medium-mass compositions (Neon, Magnesium, Silicon) of primary cosmic rays, which reveal different properties from those of light compositions (Helium, Carbon, Oxygen). Here we propose a nearby source scenario, together with the background source contribution, to explain the newly measured spectra of cosmic ray Ne, Mg, Si, and particularly their differences from that of He, C, O. Their differences at high energies can be naturally accounted for by the element abundance of the nearby source. Specifically, the abundance ratio of the nearby source to the background of the Ne, Mg, Si elements is lower by a factor of $\sim1.7$ than that of the He, C, O elements. Such a difference could be due to the abundance difference of the stellar evolution of the progenitor star or the acceleration process/environment, of the nearby source. This scenario can simultaneously explain the high-energy spectral softening features of cosmic ray spectra revealed recently by CREAM/NUCLEON/DAMPE, as well as the energy-dependent behaviors of the large-scale anisotropies. It is predicted that the dipole anisotropy amplitudes below PeV energies of the Ne, Mg, Si group are smaller than that of the He, C, O group, which can be tested with future measurements.


title: End-to-end Interpretable Learning of Non-blind Image Deblurring

abstract: Non-blind image deblurring is typically formulated as a linear least-squares problem regularized by natural priors on the corresponding sharp picture's gradients, which can be solved, for example, using a half-quadratic splitting method with Richardson fixed-point iterations for its least-squares updates and a proximal operator for the auxiliary variable updates. We propose to precondition the Richardson solver using approximate inverse filters of the (known) blur and natural image prior kernels. Using convolutions instead of a generic linear preconditioner allows extremely efficient parameter sharing across the image, and leads to significant gains in accuracy and/or speed compared to classical FFT and conjugate-gradient methods. More importantly, the proposed architecture is easily adapted to learning both the preconditioner and the proximal operator using CNN embeddings. This yields a simple and efficient algorithm for non-blind image deblurring which is fully interpretable, can be learned end to end, and whose accuracy matches or exceeds the state of the art, quite significantly, in the non-uniform case.


title: Study of the renormalization of BRST invariant local composite operators in the $U(1)$ Higgs model

abstract: The renormalization properties of two local BRST invariant composite operators, $(O,V_\mu)$, corresponding respectively to the gauge invariant description of the Higgs particle and of the massive gauge vector boson, are scrutinized in the $U(1)$ Higgs model by means of the algebraic renormalization setup. Their renormalization $Z$'s factors are explicitly evaluated at one-loop order in the $\overline{\text{MS}}$ scheme by taking into due account the mixing with other gauge invariant operators. In particular, it turns out that the operator $V_\mu$ mixes with the gauge invariant quantity $\partial_\nu F_{\mu\nu}$, which has the same quantum numbers, giving rise to a $2 \times 2$ mixing matrix. Moreover, two additional powerful Ward identities exist which enable us to determine the whole set of $Z$'s factors entering the $2 \times 2$ mixing matrix as well as the $Z$ factor of the operator $O$ in a purely algebraic way. An explicit check of these Ward identities is provided. The final setup obtained allows for computing perturbatively the full renormalized result for any $n$-point correlation function of the scalar and vector composite operators.


title: Learning Expectation of Label Distribution for Facial Age and Attractiveness Estimation

abstract: Facial attributes (\eg, age and attractiveness) estimation performance has been greatly improved by using convolutional neural networks. However, existing methods have an inconsistency between the training objectives and the evaluation metric, so they may be suboptimal. In addition, these methods always adopt image classification or face recognition models with a large amount of parameters, which carry expensive computation cost and storage overhead. In this paper, we firstly analyze the essential relationship between two state-of-the-art methods (Ranking-CNN and DLDL) and show that the Ranking method is in fact learning label distribution implicitly. This result thus firstly unifies two existing popular state-of-the-art methods into the DLDL framework. Second, in order to alleviate the inconsistency and reduce resource consumption, we design a lightweight network architecture and propose a unified framework which can jointly learn facial attribute distribution and regress attribute value. The effectiveness of our approach has been demonstrated on both facial age and attractiveness estimation tasks. Our method achieves new state-of-the-art results using the single model with 36$\times$ fewer parameters and 3$\times$ faster inference speed on facial age/attractiveness estimation. Moreover, our method can achieve comparable results as the state-of-the-art even though the number of parameters is further reduced to 0.9M (3.8MB disk storage).


title: Jacobi Geometry and Hamiltonian Mechanics: the Unit-Free Approach

abstract: We present a systematic treatment of line bundle geometry and Jacobi manifolds with an application to geometric mechanics that has not been noted in the literature. We precisely identify categories that generalise the ordinary categories of smooth manifolds and vector bundles to account for a lack of choice of a preferred unit, which in standard differential geometry is always given by the global constant function $1$. This is what we call the `unit-free' approach. After giving a characterisation of local Lie brackets via their symbol maps we apply our novel categorical language to review Jacobi manifolds and related notions such as Lichnerowicz brackets and Jacobi algebroids. The main advantage of our approach is that Jacobi geometry is recovered as the direct unit-free generalisation of Poisson geometry, with all the familiar notions translating in a straightforward manner. We then apply this formalism to the question of whether there is a unit-free generalisation of Hamiltonian mechanics. We identify the basic categorical structure of ordinary Hamiltonian mechanics to argue that it is indeed possible to find a unit-free analogue. This work serves as a prelude to the investigation of dimensioned structures, an attempt at a general mathematical framework for the formal treatment of physical quantities and dimensional analysis.


title: Supervisory Controller Synthesis for Non-terminating Processes is an Obliging Game

abstract: We present a new algorithm to solve the supervisory control problem over non-terminating processes modeled as $\omega$-regular automata. A solution to this problem was obtained by Thistle in 1995 which uses complex manipulations of automata. We show a new solution to the problem through a reduction to obliging games, which, in turn, can be reduced to $\omega$-regular reactive synthesis. Therefore, our reduction results in a symbolic algorithm based on manipulating sets of states using tools from reactive synthesis.


title: Qubit-efficient encoding schemes for binary optimisation problems

abstract: We propose and analyze a set of variational quantum algorithms for solving quadratic unconstrained binary optimization problems where a problem consisting of $n_c$ classical variables can be implemented on $\mathcal O(\log n_c)$ number of qubits. The underlying encoding scheme allows for a systematic increase in correlations among the classical variables captured by a variational quantum state by progressively increasing the number of qubits involved. We first examine the simplest limit where all correlations are neglected, i.e. when the quantum state can only describe statistically independent classical variables. We apply this minimal encoding to find approximate solutions of a general problem instance comprised of 64 classical variables using 7 qubits. Next, we show how two-body correlations between the classical variables can be incorporated in the variational quantum state and how it can improve the quality of the approximate solutions. We give an example by solving a 42-variable Max-Cut problem using only 8 qubits where we exploit the specific topology of the problem. We analyze whether these cases can be optimized efficiently given the limited resources available in state-of-the-art quantum platforms. Lastly, we present the general framework for extending the expressibility of the probability distribution to any multi-body correlations.


title: Extraction of baryonia from the lightest anti-protonic atoms

abstract: Anti-protonic hydrogen and helium atoms are analyzed. Level shifts and width are expressed in terms of $\bar{p}$-nucleon sub-threshold scattering lengths and volumes. Experimental data are compared to results obtained from the 2009 version of the Paris $N\bar{N}$ interaction potential. Comparison with 1999 version is also made. Effects of $N\bar{N}$ quasi-bound states are discussed. Atomic 2P hyperfine structure is calculated for antiprotonic deuterium and the significance of new measurements is indicated.


title: Large molasses-like cooling forces for molecules using polychromatic optical fields: A theoretical description

abstract: Recent theoretical investigations have indicated that rapid optical cycling should be feasible in complex polyatomic molecules with diverse constituents, geometries and symmetries. However, as a composite molecular mass grows, so does the required number of photon scattering events necessary to decelerate and confine molecular beams using laser light. Utilizing coherent momentum exchange between light fields and molecules can suppress spontaneous emission and significantly reduce experimental complexity for slowing and trapping. Working with BaH as a test species, we have identified a robust, experimentally viable configuration to achieve large molasses-like cooling forces for molecules using polychromatic optical fields addressing both $X-A$ and $X-B$ electronic transitions, simultaneously. Using numerical solutions of the time-dependent density matrix as well as Monte Carlo simulations, we demonstrate that creation of Suppressed Emission Rate (SupER) molasses with large capture velocities ($\sim 40$ m/s) is generically feasible for polyatomic molecules of increasing complexity that have an optical cycling center. Proposed SupER molasses are anticipated to not only extend quantum control to novel molecular species with abundant vibrational decay channels, but also significantly increase trapped densities for previously laser-cooled diatomic and triatomic species.


title: ProtoryNet - Interpretable Text Classification Via Prototype Trajectories

abstract: We propose a novel interpretable deep neural network for text classification, called ProtoryNet, based on a new concept of prototype trajectories. Motivated by the prototype theory in modern linguistics, ProtoryNet makes a prediction by finding the most similar prototype for each sentence in a text sequence and feeding an RNN backbone with the proximity of each sentence to the corresponding active prototype. The RNN backbone then captures the temporal pattern of the prototypes, which we refer to as prototype trajectories. Prototype trajectories enable intuitive and fine-grained interpretation of the reasoning process of the RNN model, in resemblance to how humans analyze texts. We also design a prototype pruning procedure to reduce the total number of prototypes used by the model for better interpretability. Experiments on multiple public data sets show that ProtoryNet is more accurate than the baseline prototype-based deep neural net and reduces the performance gap compared to state-of-the-art black-box models. In addition, after prototype pruning, the resulting ProtoryNet models only need less than or around 20 prototypes for all datasets, which significantly benefits interpretability. Furthermore, we report a survey result indicating that human users find ProtoryNet more intuitive and easier to understand than other prototype-based methods.


title: Homology group automorphisms of Riemann surfaces

abstract: If $\Gamma$ is a finitely generated Fuchsian group such that its derived subgroup $\Gamma'$ is co-compact and torsion free, then $S={\mathbb H}^{2}/\Gamma'$ is a closed Riemann surface of genus $g \geq 2$ admitting the abelian group $A=\Gamma/\Gamma'$ as a group of conformal automorphisms. We say that $A$ is a homology group of $S$. A natural question is if $S$ admits unique homology groups or not, in other words, is there are different Fuchsian groups $\Gamma_{1}$ and $\Gamma_{2}$ with $\Gamma_{1}'=\Gamma'_{2}$? It is known that if $\Gamma_{1}$ and $\Gamma_{2}$ are both of the same signature $(0;k,\ldots,k)$, for some $k \geq 2$, then the equality $\Gamma_{1}'=\Gamma_{2}'$ ensures that $\Gamma_{1}=\Gamma_{2}$. Generalizing this, we observe that if $\Gamma_{j}$ has signature $(0;k_{j},\ldots,k_{j})$ and $\Gamma_{1}'=\Gamma'_{2}$, then $\Gamma_{1}=\Gamma_{2}$. We also provide examples of surfaces $S$ with different homology groups. A description of the normalizer in ${\rm Aut}(S)$ of each homology group $A$ is also obtained.


title: The combined basic LP and affine IP relaxation for promise VCSPs on infinite domains

abstract: Convex relaxations have been instrumental in solvability of constraint satisfaction problems (CSPs), as well as in the three different generalisations of CSPs: valued CSPs, infinite-domain CSPs, and most recently promise CSPs. In this work, we extend an existing tractability result to the three generalisations of CSPs combined: We give a sufficient condition for the combined basic linear programming and affine integer programming relaxation for exact solvability of promise valued CSPs over infinite-domains. This extends a result of Brakensiek and Guruswami [SODA'20] for promise (non-valued) CSPs (on finite domains).


title: Visual Question Answering as a Multi-Task Problem

abstract: Visual Question Answering(VQA) is a highly complex problem set, relying on many sub-problems to produce reasonable answers. In this paper, we present the hypothesis that Visual Question Answering should be viewed as a multi-task problem, and provide evidence to support this hypothesis. We demonstrate this by reformatting two commonly used Visual Question Answering datasets, COCO-QA and DAQUAR, into a multi-task format and train these reformatted datasets on two baseline networks, with one designed specifically to eliminate other possible causes for performance changes as a result of the reformatting. Though the networks demonstrated in this paper do not achieve strongly competitive results, we find that the multi-task approach to Visual Question Answering results in increases in performance of 5-9% against the single-task formatting, and that the networks reach convergence much faster than in the single-task case. Finally we discuss possible reasons for the observed difference in performance, and perform additional experiments which rule out causes not associated with the learning of the dataset as a multi-task problem.


title: Description of Origamis by Schottky groups

abstract: Let $(S,\eta)$ be an origami pair, that is, $S$ is a closed Riemann surface of genus $g \geq1$ and $\eta:S \to E$ is a holomorphic branched covering, with at most one branch value, where $E$ is a genus one Riemann surface. As the lowest uniformizations of $S$ are provided by Schottky groups, we are interested in describing origami pairs in terms of virtual Schottky groups. In other words, we are interested in those Kleinian groups $K$ which contain, as a finite index subgroup, a Schottky group $\Gamma$ such that $S=\Omega/\Gamma$ and such that $\eta$ is induced by the inclusion $\Gamma \leq K$. We say that $K$ is an origami-Schottky group. We provide a geometrical structural picture, in terms of the Klein-Maskit combination theorems, of these origami-Schottky groups.


title: On eigenfunction expansions of differential equations with degenerating weight

abstract: Let $A$ be a symmetric operator. By using the method of boundary triplets we parameterize in terms of a Nevanlinna parameter $\tau$ all exit space extensions $\wt A=\wt A^*$ of $A$ with the discrete spectrum $\s(\wt A)$ and characterize the Shtraus family of $\wt A$ in terms of abstract boundary conditions. Next we apply these results to the eigenvalue problem for the $2r$-th order differential equation $l[y]= \l \D(x)y$ on an interval $[a,b), \; -\infty <a<b\leq \infty,$ subject to $\l$-depending separated boundary conditions with entire operator-functions $C_0(\l) $ and $C_1(\l)$, which form a Nevanlinna pair $(C_0,C_1)$. The weight $\D(x)$ is nonnegative and may vanish on some intervals $(\a,\b)\subset \cI$. We show that in the case when the minimal operator of the equation has the discrete spectrum (in particular, in the case of the quasiregular equation) the set of eigenvalues of the eigenvalue problem is an infinite subset of $\bR$ without finite limit points and each function $y\in\LI$ admits the eigenfunction expansion $y(x)=\sum_{k=1}^\infty y_k (x)$ converging in $\LI$. Moreover, we give an explicit method for calculation of eigenfunctions $y_k$ in this expansion and specify boundary conditions on $y$ implying the uniform convergence of the eigenfunction expansion of y. These results develop the known ones obtained for the case of the positive weight $\D$ and the more restrictive class of $\l$-depending boundary conditions.


title: Hot Exoplanet Atmospheres Resolved with Transit Spectroscopy (HEARTS) V. Detection of sodium on the bloated super-Neptune WASP-166b

abstract: Planet formation processes or evolution mechanisms are surmised to be at the origin of the hot Neptune desert. Studying exoplanets currently living within or at the edge of this desert could allow disentangling the respective roles of formation and evolution. We present the HARPS transmission spectrum of the bloated super-Neptune WASP-166b, located at the outer rim of the Neptune desert. Neutral sodium is detected at the 3.4 $\sigma$ level ($0.455 \pm 0.135 \%$), with a tentative indication of line broadening, which could be caused by winds blowing sodium farther into space, a possible manifestation of the bloated character of these highly irradiated worlds. We put this detection into context with previous work claiming a non-detection of sodium in the same observations and show that the high noise in the trace of the discarded stellar sodium lines was responsible for the non-detection. We highlight the impact of this low signal-to-noise remnant on detections for exoplanets similar to WASP-166b.


title: Unified statistical inference for a novel nonlinear dynamic functional/longitudinal data model

abstract: In light of recent work studying massive functional/longitudinal data, such as the resulting data from the COVID-19 pandemic, we propose a novel functional/longitudinal data model which is a combination of the popular varying coefficient (VC) model and additive model. We call it Semi-VCAM in which the response could be a functional/longitudinal variable, and the explanatory variables could be a mixture of functional/longitudinal and scalar variables. Notably some of the scalar variables could be categorical variables as well. The Semi-VCAM simultaneously allows for both substantial flexibility and the maintaining of one-dimensional rates of convergence. A local linear smoothing with the aid of an initial B spline series approximation is developed to estimate the unknown functional effects in the model. To avoid the subjective choice between the sparse and dense cases of the data, we establish the asymptotic theories of the resultant Pilot Estimation Based Local Linear Estimators (PEBLLE) on a unified framework of sparse, dense and ultra-dense cases of the data. Moreover, we construct unified consistent tests to justify whether a parsimony submodel is sufficient or not. These test methods also avoid the subjective choice between the sparse, dense and ultra dense cases of the data. Extensive Monte Carlo simulation studies investigating the finite sample performance of the proposed methodologies confirm our asymptotic results. We further illustrate our methodologies via analyzing the COVID-19 data from China and the CD4 data.


title: Ferroelectric Exchange Bias Affects Interfacial Electronic States

abstract: In polar oxide interfaces phenomena such as conductivity, superconductivity, magnetism, one-dimensional conductivity and Quantum Hall states can emerge at the polar discontinuity. Combining controllable ferroelectricity at such interfaces can affect the superconducting properties and shed light on the mutual effects between the polar oxide and the ferroelectric oxide. Here we study the interface between the polar oxide LaAlO3 and the ferroelectric Ca-doped SrTiO3 by means of electrical transport combined with local imaging of the current flow with the use of scanning Superconducting Quantum Interference Device (SQUID). Anomalous behavior of the interface resistivity is observed at low temperatures. The scanning SQUID maps of the current flow suggest that this behavior originates from an intrinsic bias induced by the polar LaAlO3 layer. Our data imply that the intrinsic bias combined with ferroelectricity constrain the possible structural domain tiling near the interface. We recommend the use of this intrinsic bias as a method of controlling and tuning the initial state of ferroelectric materials by design of the polar structure. The hysteretic dependence of the normal and the superconducting state properties on gate voltage can be utilized in multifaceted controllable memory devices.


title: Universal dimerized quantum droplets in a one-dimensional lattice

abstract: The ground-state properties of two-component bosonic mixtures in a one-dimensional optical lattice are studied both from few- and many-body perspectives. We rely directly on a microscopic Hamiltonian with attractive inter-component and repulsive intra-component interactions to demonstrate the formation of a quantum liquid. We reveal that its formation and stability can be interpreted in terms of finite-range interactions between dimers. We derive an effective model of composite bosons (dimers) which correctly captures both the few- and many-body properties and validate it against exact results obtained by DMRG method for the full Hamiltonian. The threshold for the formation of the liquid coincides with the appearance of a bound state in the dimer-dimer problem and possesses a universality in terms of the two-body parameters of the dimer-dimer interaction, namely scattering length and effective range. For sufficiently strong effective dimer-dimer repulsion we observe fermionization of the dimers which form an effective Tonks-Girardeau state. Finally, we identify conditions for the formation of a solitonic solution.


title: Evaluating Uncertainty Estimation Methods on 3D Semantic Segmentation of Point Clouds

abstract: Deep learning models are extensively used in various safety critical applications. Hence these models along with being accurate need to be highly reliable. One way of achieving this is by quantifying uncertainty. Bayesian methods for UQ have been extensively studied for Deep Learning models applied on images but have been less explored for 3D modalities such as point clouds often used for Robots and Autonomous Systems. In this work, we evaluate three uncertainty quantification methods namely Deep Ensembles, MC-Dropout and MC-DropConnect on the DarkNet21Seg 3D semantic segmentation model and comprehensively analyze the impact of various parameters such as number of models in ensembles or forward passes, and drop probability values, on task performance and uncertainty estimate quality. We find that Deep Ensembles outperforms other methods in both performance and uncertainty metrics. Deep ensembles outperform other methods by a margin of 2.4% in terms of mIOU, 1.3% in terms of accuracy, while providing reliable uncertainty for decision making.


title: TICO-19: the Translation Initiative for Covid-19

abstract: The COVID-19 pandemic is the worst pandemic to strike the world in over a century. Crucial to stemming the tide of the SARS-CoV-2 virus is communicating to vulnerable populations the means by which they can protect themselves. To this end, the collaborators forming the Translation Initiative for COvid-19 (TICO-19) have made test and development data available to AI and MT researchers in 35 different languages in order to foster the development of tools and resources for improving access to information about COVID-19 in these languages. In addition to 9 high-resourced, "pivot" languages, the team is targeting 26 lesser resourced languages, in particular languages of Africa, South Asia and South-East Asia, whose populations may be the most vulnerable to the spread of the virus. The same data is translated into all of the languages represented, meaning that testing or development can be done for any pairing of languages in the set. Further, the team is converting the test and development data into translation memories (TMXs) that can be used by localizers from and to any of the languages.


title: Mapping Datasets to Object Storage System

abstract: Access libraries such as ROOT and HDF5 allow users to interact with datasets using high level abstractions, like coordinate systems and associated slicing operations. Unfortunately, the implementations of access libraries are based on outdated assumptions about storage systems interfaces and are generally unable to fully benefit from modern fast storage devices. The situation is getting worse with rapidly evolving storage devices such as non-volatile memory and ever larger datasets. This project explores distributed dataset mapping infrastructures that can integrate and scale out existing access libraries using Ceph's extensible object model, avoiding re-implementation or even modifications of these access libraries as much as possible. These programmable storage extensions coupled with our distributed dataset mapping techniques enable: 1) access library operations to be offloaded to storage system servers, 2) the independent evolution of access libraries and storage systems and 3) fully leveraging of the existing load balancing, elasticity, and failure management of distributed storage systems like Ceph. They also create more opportunities to conduct storage server-local optimizations specific to storage servers. For example, storage servers might include local key/value stores combined with chunk stores that require different optimizations than a local file system. As storage servers evolve to support new storage devices like non-volatile memory, these server-local optimizations can be implemented while minimizing disruptions to applications. We will report progress on the means by which distributed dataset mapping can be abstracted over particular access libraries, including access libraries for ROOT data, and how we address some of the challenges revolving around data partitioning and composability of access operations.


title: Harnessing Wireless Channels for Scalable and Privacy-Preserving Federated Learning

abstract: Wireless connectivity is instrumental in enabling scalable federated learning (FL), yet wireless channels bring challenges for model training, in which channel randomness perturbs each worker's model update while multiple workers' updates incur significant interference under limited bandwidth. To address these challenges, in this work we formulate a novel constrained optimization problem, and propose an FL framework harnessing wireless channel perturbations and interference for improving privacy, bandwidth-efficiency, and scalability. The resultant algorithm is coined analog federated ADMM (A-FADMM) based on analog transmissions and the alternating direction method of multipliers (ADMM). In A-FADMM, all workers upload their model updates to the parameter server (PS) using a single channel via analog transmissions, during which all models are perturbed and aggregated over-the-air. This not only saves communication bandwidth, but also hides each worker's exact model update trajectory from any eavesdropper including the honest-but-curious PS, thereby preserving data privacy against model inversion attacks. We formally prove the convergence and privacy guarantees of A-FADMM for convex functions under time-varying channels, and numerically show the effectiveness of A-FADMM under noisy channels and stochastic non-convex functions, in terms of convergence speed and scalability, as well as communication bandwidth and energy efficiency.


title: Towards an Intelligent Data Delivery Service

abstract: The ATLAS Event Streaming Service (ESS) at the LHC is an approach to preprocess and deliver data for Event Service (ES) that has implemented a fine-grained approach for ATLAS event processing. The ESS allows one to asynchronously deliver only the input events required by ES processing, with the aim to decrease data traffic over WAN and improve overall data processing throughput. A prototype of ESS was developed to deliver streaming events to fine-grained ES jobs. Based on it, an intelligent Data Delivery Service (iDDS) is under development to decouple the "cold format" and the processing format of the data, which also opens the opportunity to include the production systems of other HEP experiments. Here we will at first present the ESS model view and its motivations for iDDS system. Then we will also present the iDDS schema, architecture and the applications of iDDS.


title: Almost Affinely Disjoint Subspaces

abstract: In this work, we introduce a natural notion concerning finite vector spaces. A family of $k$-dimensional subspaces of $\mathbb{F}_q^n$, which forms a partial spread, is called almost affinely disjoint if any $(k+1)$-dimensional subspace containing a subspace from the family non-trivially intersects with only a few subspaces from the family. The central question discussed in the paper is the polynomial growth (in $q$) of the maximal cardinality of these families given the parameters $k$ and $n$. For the cases $k=1$ and $k=2$, optimal families are constructed. For other settings, we find lower and upper bounds on the polynomial growth. Additionally, some connections with problems in coding theory are shown.


title: CacheNet: A Model Caching Framework for Deep Learning Inference on the Edge

abstract: The success of deep neural networks (DNN) in machine perception applications such as image classification and speech recognition comes at the cost of high computation and storage complexity. Inference of uncompressed large scale DNN models can only run in the cloud with extra communication latency back and forth between cloud and end devices, while compressed DNN models achieve real-time inference on end devices at the price of lower predictive accuracy. In order to have the best of both worlds (latency and accuracy), we propose CacheNet, a model caching framework. CacheNet caches low-complexity models on end devices and high-complexity (or full) models on edge or cloud servers. By exploiting temporal locality in streaming data, high cache hit and consequently shorter latency can be achieved with no or only marginal decrease in prediction accuracy. Experiments on CIFAR-10 and FVG have shown CacheNet is 58-217% faster than baseline approaches that run inference tasks on end devices or edge servers alone.


title: Group theory study of the vibrational modes and magnetic order in the topological antiferromagnet MnBi$_2$Te$_4$

abstract: We employ group theory to study the properties of the lattice vibrations and magnetic order in the antiferromagnetic topological insulator MnBi$_2$Te$_4$, both in bulk and few-layer form. In the paramagnetic phase, we obtain the degeneracies, the selection rules, and real-space displacements for the lattice vibrational modes for different stacking configurations. We discuss how magnetism influences these results. As a representative example, we consider a double septuple layer system and obtain the form of the magnetic order allowed by the symmetries of the crystal. We derive the allowed coupling terms that describe the paramagnetic to antiferromagnetic transition. Finally, we discuss the implications of our results for Raman scattering and other optical measurements. Our work sets the stage for a deeper understanding of the interplay of lattice modes, band topology, and magnetic order in MnBi$_2$Te$_4$ and other symmetry-related materials.


title: Multi-Winner Voting with Approval Preferences

abstract: Multi-winner voting is the process of selecting a fixed-size set of representative candidates based on voters' preferences. It occurs in applications ranging from politics (parliamentary elections) to the design of modern computer applications (collaborative filtering, dynamic Q&A platforms, diversifying search results). All these applications share the problem of identifying a representative subset of alternatives -- and the study of multi-winner voting is the principled analysis of this task. This book provides a thorough and in-depth look at multi-winner voting based on approval preferences. One speaks of approval preferences if voters express their preferences by providing a set of candidates they approve. Approval preferences thus separate candidates in approved and disapproved ones, a simple, binary classification. The corresponding multi-winner voting rules are called approval-based committee (ABC) rules. Due to the simplicity of approval preferences, ABC rules are widely suitable for practical use. Recent years have seen a rising interest in ABC voting. While multi-winner voting has been originally a topic studied by economists and political scientists, a significant share of recent progress has occurred in the field of computational social choice. This discipline is situated in the intersection of artificial intelligence, computer science, economics, and (to a lesser degree) political science, combining insights and methods from these distinct fields. The goal of this book is to present fundamental concepts and results for ABC voting and to discuss the recent advances in computational social choice. The main focus is on axiomatic analysis, algorithmic results, and relevant applications.


title: Causal Mediation Analysis for Sparse and Irregular Longitudinal Data

abstract: Causal mediation analysis seeks to investigate how the treatment effect of an exposure on outcomes is mediated through intermediate variables. Although many applications involve longitudinal data, the existing methods are not directly applicable to settings where the mediator and outcome are measured on sparse and irregular time grids. We extend the existing causal mediation framework from a functional data analysis perspective, viewing the sparse and irregular longitudinal data as realizations of underlying smooth stochastic processes. We define causal estimands of direct and indirect effects accordingly and provide corresponding identification assumptions. For estimation and inference, we employ a functional principal component analysis approach for dimension reduction and use the first few functional principal components instead of the whole trajectories in the structural equation models. We adopt the Bayesian paradigm to accurately quantify the uncertainties. The operating characteristics of the proposed methods are examined via simulations. We apply the proposed methods to a longitudinal data set from a wild baboon population in Kenya to investigate the causal relationships between early adversity, strength of social bonds between animals, and adult glucocorticoid hormone concentrations. We find that early adversity has a significant direct effect (a 9-14% increase) on females' glucocorticoid concentrations across adulthood, but find little evidence that these effects were mediated by weak social bonds.


title: Graphene Aerogel Ink for the Inkjet Printing of the Micro-Supercapacitors

abstract: The advances in the mass scale manufacturing of microscale energy storage devices via inkjet printing rely on the development of high-quality printable ink. The earth-abundant, non-toxic carbon materials such as graphene, carbon nanotube (CNT), reduced graphene oxide (r-GO) have shown excellent electrochemical performance and thus garnered significant interest as suitable electrode material. Here we report the formulation of printable graphene aerogel ink and the fabrication of the micro-supercapacitors ({\mu}-SCs) on flexible polyimide substrates via inkjet printing method. The advantage of using pristine graphene aerogel intends to avoid the complex processing steps and the use of toxic chemicals in the ink formulation and lower the concentration of other additive components. Thus, a higher loading of active functional material in the printable ink is achieved. The aerogel ink directly employed to write the interdigitated {\mu}-SCs devices on a flexible polyimide substrate at room temperature via inkjet printing. The electrochemical performance measured using the organic ionic liquid in the voltage range of 0-1 volt. These printed {\mu}-SCs showed an areal capacity of 55 {\mu}F/cm2 at a current density of 6 micro-amp/cm2. The printed devices showed good stability, with ~80% of capacity retention after 10,000 cycles. Contrary to the graphene-based {\mu}-SCs, the aerogel micro-supercapacitors do not show a significant distortion in the CV scan even at a very high scan rate of ~2Vs-1. Thus, we propose graphene aerogel as promising electrode material for mass-scale production of the {\mu}-SCs.


title: Shear bands in materials processing: Understanding the mechanics of flow localization from Zener's time to the present

abstract: Shear banding is a material instability in large strain plastic deformation of solids, where otherwise homogeneous flow becomes localized in narrow micrometer-scale bands. Shear bands have broad implications for materials processing and failure under dynamic loading in a wide variety of material systems ranging from metals to rocks. This year marks 75 years since the publication of Zener and Hollomon's pioneering work on shear bands which is widely credited with drawing the attention of the mechanics community to shear bands and related localization phenomena. There has since been significant experimental and theoretical investigation into the onset of shear banding. Yet, given the extremely small length and time scales associated with band development, several challenges persist in studying the evolution of single bands. Recent full-field displacement measurements, coupled with numerical modeling, have only begun to ameliorate this problem. This article summarizes our present understanding of plastic flow dynamics around single shear bands and the subsequent transition to fracture, with special applications to materials processing. We begin with a semi-historical look at some of Zener's early ideas on shear bands and discuss recent advances in experimental methods for mapping localized flow during band formation, including direct \emph{in situ} imaging as well as \emph{ex situ}/post-mortem analyses. Classical theories are revisited in the light of recently published experimental data. Shear bands exhibit a wealth of complex flow characteristics that bear striking resemblance to boundary layer phenomena in fluid flows. It is hoped that these will help further our understanding of shear band dynamics, the subsequent transition to fracture, and lead to practical `control' strategies for suppressing shear band-driven failures in processing applications.


title: Transfer Function Models for Cylindrical MC Channels with Diffusion and Laminar Flow

abstract: The analysis and design of advection-diffusion based molecular communication (MC) systems in cylindrical environments is of particular interest for applications such as micro-fluidics and targeted drug delivery in blood vessels. Therefore, the accurate modeling of the corresponding MC channel is of high importance. The propagation of particles in these systems is caused by a combination of diffusion and flow with a parabolic velocity profile, i.e., laminar flow. The propagation characteristics of the particles can be categorized into three different regimes: The flow dominant regime where the influence of diffusion on the particle transport is negligible, the dispersive regime where diffusion has a much stronger impact than flow, and the mixed regime where both effects are important. For the limiting regimes, i.e., the flow dominant and dispersive regimes, there are well-known solutions and approximations for particle transport. In contrast, there is no general analytical solution for the mixed regime, and instead, approximations, numerical techniques, and particle based simulations have been employed. In this paper, we develop a general model for the advection-diffusion problem in cylindrical environments which provides an analytical solution applicable in all regimes. The modeling procedure is based on a transfer function approach and the main focus lies on the incorporation of laminar flow into the analytical model. The properties of the proposed model are analyzed by numerical evaluation for different scenarios including the uniform and point release of particles. We provide a comparison with particle based simulations and the well-known solutions for the limiting regimes to demonstrate the validity of the proposed analytical model.


title: Exploration and Discovery of the COVID-19 Literature through Semantic Visualization

abstract: We are developing semantic visualization techniques in order to enhance exploration and enable discovery over large datasets of complex networks of relations. Semantic visualization is a method of enabling exploration and discovery over large datasets of complex networks by exploiting the semantics of the relations in them. This involves (i) NLP to extract named entities, relations and knowledge graphs from the original data; (ii) indexing the output and creating representations for all relevant entities and relations that can be visualized in many different ways, e.g., as tag clouds, heat maps, graphs, etc.; (iii) applying parameter reduction operations to the extracted relations, creating "relation containers", or functional entities that can also be visualized using the same methods, allowing the visualization of multiple relations, partial pathways, and exploration across multiple dimensions. Our hope is that this will enable the discovery of novel inferences over relations in complex data that otherwise would go unnoticed. We have applied this to analysis of the recently released CORD-19 dataset.


title: Long-time dynamics of a hinged-free plate driven by a non-conservative force

abstract: A partially hinged, partially free rectangular plate is considered, with the aim to address the possible unstable end behaviors of a suspension bridge subject to wind. This leads to a nonlinear plate evolution equation with a nonlocal stretching active in the span-wise direction. The wind-flow in the chord-wise direction is modeled through a piston-theoretic approximation, which provides both weak (frictional) dissipation and non-conservative forces. The long-time behavior of solutions is analyzed from various points of view. Compact global attractors, as well as fractal exponential attractors, are constructed using the recent quasi-stability theory. The non-conservative nature of the dynamics requires the direct construction of a uniformly absorbing ball, and this relies on the superlinearity of the stretching. For some parameter ranges, the non-triviality of the attractor is shown through the spectral analysis of the stationary linearized (non self-adjoint) equation and the existence of multiple unimodal solutions is shown. Several stability results, obtained through energy estimates under various smallness conditions and/or assumptions on the equilibrium set, are also provided. Finally, the existence of a finite set of determining modes for the dynamics is demonstrated, justifying the usual modal truncation in engineering for the study of the qualitative behavior of suspension bridge dynamics.


title: Impact of Relativistic Effects on the Primordial Non-Gaussianity Signature in the Large-Scale Clustering of Quasars

abstract: Relativistic effects in clustering observations have been shown to introduce scale-dependent corrections to the galaxy over-density field on large scales, which may hamper the detection of primordial non-Gaussianity $f_\textrm{NL}$ through the scale-dependent halo bias. The amplitude of relativistic corrections depends not only on the cosmological background expansion, but also on the redshift evolution and sensitivity to the luminosity threshold of the tracer population being examined, as parametrised by the evolution bias $b_\textrm{e}$ and magnification bias $s$. In this work, we propagate luminosity function measurements from the extended Baryon Oscillation Spectroscopic Survey (eBOSS) to $b_\textrm{e}$ and $s$ for the quasar (QSO) sample, and thereby derive constraints on relativistic corrections to its power spectrum multipoles. Although one could mitigate the impact on the $f_\textrm{NL}$ signature by adjusting the redshift range or the luminosity threshold of the tracer sample being considered, we suggest that, for future surveys probing large cosmic volumes, relativistic corrections should be forward modelled from the tracer luminosity function including its uncertainties. This will be important to quasar clustering measurements on scales $k \sim 10^{-3} h \, \textrm{Mpc}^{-1}$ in upcoming surveys such as the Dark Energy Spectroscopic Instrument (DESI), where relativistic corrections can overwhelm the expected $f_\textrm{NL}$ signature at low redshifts $z \lesssim 1$ and become comparable to $f_\textrm{NL} \simeq 1$ in the power spectrum quadrupole at redshifts $z \gtrsim 2.5$.


title: A vanishing theorem for threefolds in characteristic $p>5$ and applications

abstract: In this note we show a Kawamata-Viehweg vanishing theorem for pl-contractions on threefolds in characteristic $p>5$. We deduce several applications for klt threefolds: the vanishing of higher direct images of structure sheaves of Mori fibre spaces, Koll\'ar's result on local vanishing and the rationality of the singularities of the base of a conic bundle.


title: Entanglement Hamiltonians for non-critical quantum chains

abstract: We study the entanglement Hamiltonian for finite intervals in infinite quantum chains for two different free-particle systems: coupled harmonic oscillators and fermionic hopping models with dimerization. Working in the ground state, the entanglement Hamiltonian describes again free bosons or fermions and is obtained from the correlation functions via high-precision numerics for up to several hundred sites. Far away from criticality, the dominant on-site and nearest-neighbour terms have triangular profiles that can be understood from the analytical results for a half-infinite interval. Near criticality, the longer-range couplings, although small, lead to a more complex picture. A comparison between the exact spectra and entanglement entropies and those resulting from the dominant terms in the Hamiltonian is also reported.


title: Dynamic spin-triplet order induced by alternating electric fields in superconductor-ferromagnet-superconductor Josephson junctions

abstract: Dynamic states offer extended possibilities to control the properties of quantum matter. Recent efforts are focused on studying the ordered states which appear exclusively under the time-dependent drives. Here we demonstrate a class of systems which feature dynamic spin-triplet superconducting order stimulated by the alternating electric field. The effect is based on the interplay of ferromagnetism, interfacial spin-orbital coupling (SOC) and the condensate motion driven by the field, which converts hidden static p-wave order, produced by the joint action of the ferromagnetism and the SOC, into dynamical s-wave equal-spin triplet correlations. We demonstrate that the critical current of Josephson junctions hosting these states is proportional to the electromagnetic power, supplied either by the external irradiation or by the ac current source. Based on these unusual properties we propose the scheme of a Josephson transistor which can be switched by the ac voltage and demonstrates an even-numbered sequence of Shapiro steps. Combining the photo-active Josephson junctions with recently discovered Josephson phase batteries we find photo-magnetic SQUID devices which can generate spontaneous magnetic fields while being exposed to irradiation.


title: Deep learning for scene recognition from visual data: a survey

abstract: The use of deep learning techniques has exploded during the last few years, resulting in a direct contribution to the field of artificial intelligence. This work aims to be a review of the state-of-the-art in scene recognition with deep learning models from visual data. Scene recognition is still an emerging field in computer vision, which has been addressed from a single image and dynamic image perspective. We first give an overview of available datasets for image and video scene recognition. Later, we describe ensemble techniques introduced by research papers in the field. Finally, we give some remarks on our findings and discuss what we consider challenges in the field and future lines of research. This paper aims to be a future guide for model selection for the task of scene recognition.


title: Continuously Indexed Domain Adaptation

abstract: Existing domain adaptation focuses on transferring knowledge between domains with categorical indices (e.g., between datasets A and B). However, many tasks involve continuously indexed domains. For example, in medical applications, one often needs to transfer disease analysis and prediction across patients of different ages, where age acts as a continuous domain index. Such tasks are challenging for prior domain adaptation methods since they ignore the underlying relation among domains. In this paper, we propose the first method for continuously indexed domain adaptation. Our approach combines traditional adversarial adaptation with a novel discriminator that models the encoding-conditioned domain index distribution. Our theoretical analysis demonstrates the value of leveraging the domain index to generate invariant features across a continuous range of domains. Our empirical results show that our approach outperforms the state-of-the-art domain adaption methods on both synthetic and real-world medical datasets.


title: On differences between consecutive numbers coprime to primorials

abstract: We consider the ordered sequence of coprimes to a given primorial number and investigate differences between consecutive elements. The Jacobsthal function applied to the concerning primorial turns out to represent the greatest of these differences. We will explore the smallest even number which does not occur as such a difference. Little is known about even natural numbers below the respective Jacobsthal function which cannot be represented as a difference between consecutive numbers coprime to a primorial. Existence and frequency of these numbers have not yet been clarified. Using the relation between restricted coverings of sequences of consecutive integers and the occuring differences, we derive a bound below which all even natural numbers are differences between consecutive numbers coprime to a given primorial $p_k\#$. Furthermore, we provide exhaustive computational results on non-existent differences for primes $p_k$ up to $k=44$. The data suggest the assumption that all even natural numbers up to $h(k-1)$ occur as differences of coprimes to $p_k\#$ where $h(n)$ is the Jacobsthal function applied to $p_n\#$.


title: First-principles study of electronic transport and structural properties of Cu$_{12}$Sb$_4$S$_{13}$ in its high-temperature phase

abstract: We present an ab initio study of the structural and electronic transport properties of tetrahedrite, Cu$_{12}$Sb$_4$S$_{13}$, in its high-temperature phase. We show how this complex compound can be seen as the outcome of an ordered arrangement of S-vacancies in a semiconducting fematinite-like structure (Cu3SbS4). Our calculations confirm that the S-vacancies are the natural doping mechanism in this thermoelectric compound and reveal a similar local chemical environment around crystallographically inequivalent Cu atoms, shedding light on the debate on XPS measurements in this compound. To access the electrical transport properties as a function of temperature we use the Kubo-Greenwood formula applied to snapshots of first-principles molecular dynamics simulations. This approach is essential to effectively account for the interaction between electrons and lattice vibrations in such a complex crystal structure where a strong anharmonicity plays a key role in stabilising the high-temperature phase. Our results show that the Seebeck coeffcient is in good agreement with experiments and the phonon-limited electrical resistivity displays a temperature trend that compares well with a wide range of experimental data. The predicted lower bound for the resistivity turns out to be remarkably low for a pristine mineral in the Cu-Sb-S system but not too far from the lowest experimental data reported in literature. The Lorenz number turns out to be substantially lower than what expected from the free-electron value in the Wiedemann-Franz law, thus providing an accurate way to estimate the electronic and lattice contributions to the thermal conductivity in experiments, of great significance in this very low thermal conductivity crystalline material.


title: Near-conformal dynamics in a chirally broken system

abstract: Composite Higgs models must exhibit very different dynamics from quantum chromodynamics (QCD) regardless whether they describe the Higgs boson as a dilatonlike state or a pseudo-Nambu-Goldstone boson. Large separation of scales and large anomalous dimensions are frequently desired by phenomenological models. Mass-split systems are well-suited for composite Higgs models because they are governed by a conformal fixed point in the ultraviolet but are chirally broken in the infrared. In this work we use lattice field theory calculations with domain wall fermions to investigate a system with four light and six heavy flavors. We demonstrate how a nearby conformal fixed point affects the properties of the four light flavors that exhibit chiral symmetry breaking in the infrared. Specifically we describe hyperscaling of dimensionful physical quantities and determine the corresponding anomalous mass dimension. We obtain $y_m=1+\gamma^*= 1.47(5)$ suggesting that $N_f=10$ lies inside the conformal window. Comparing the low energy spectrum to predictions of dilaton chiral perturbation theory, we observe excellent agreement which supports the expectation that the 4+6 mass-split system exhibits near-conformal dynamics with a relatively light $0^{++}$ isosinglet scalar.


title: JAMPI: efficient matrix multiplication in Spark using Barrier Execution Mode

abstract: The new barrier mode in Apache Spark allows embedding distributed deep learning training as a Spark stage to simplify the distributed training workflow. In Spark, a task in a stage does not depend on any other tasks in the same stage, and hence it can be scheduled independently. However, several algorithms require more sophisticated inter-task communications, similar to the MPI paradigm. By combining distributed message passing (using asynchronous network IO), OpenJDK's new auto-vectorization and Spark's barrier execution mode, we can add non-map/reduce based algorithms, such as Cannon's distributed matrix multiplication to Spark. We document an efficient distributed matrix multiplication using Cannon's algorithm, which improves significantly on the performance of the existing MLlib implementation. Used within a barrier task, the algorithm described herein results in an up to 24 percent performance increase on a 10,000x10,000 square matrix with a significantly lower memory footprint. Applications of efficient matrix multiplication include, among others, accelerating the training and implementation of deep convolutional neural network based workloads, and thus such efficient algorithms can play a ground-breaking role in faster, more efficient execution of even the most complicated machine learning tasks.


title: Validating the Fisher approach for stage IV spectroscopic surveys

abstract: In recent years forecasting activities have become a very important tool for designing and optimising large scale structure surveys. To predict the performance of such surveys, the Fisher matrix formalism is frequently used as a fast and easy way to compute constraints on cosmological parameters. Among them lies the study of the properties of dark energy which is one of the main goals in modern cosmology. As so, a metric for the power of a survey to constrain dark energy is provided by the Figure of merit (FoM). This is defined as the inverse of the surface contour given by the joint variance of the dark energy equation of state parameters $\{w_0,w_a\}$ in the Chevallier-Polarski-Linder parameterisation, which can be evaluated from the covariance matrix of the parameters. This covariance matrix is obtained as the inverse of the Fisher matrix. Inversion of an ill-conditioned matrix can result in large errors on the covariance coefficients if the elements of the Fisher matrix have been estimated with insufficient precision. The conditioning number is a metric providing a mathematical lower limit to the required precision for a reliable inversion, but it is often too stringent in practice for Fisher matrices with size larger than $2\times2$. In this paper we propose a general numerical method to guarantee a certain precision on the inferred constraints, like the FoM. It consists on randomly vibrating (perturbing) the Fisher matrix elements with Gaussian perturbations of a given amplitude, and then evaluating the maximum amplitude that keeps the FoM within the chosen precision. The steps used in the numerical derivatives and integrals involved in the calculation of the Fisher matrix elements can then be chosen accordingly in order to keep the precision of the Fisher matrix elements below this maximum amplitude...


title: AVP-SLAM: Semantic Visual Mapping and Localization for Autonomous Vehicles in the Parking Lot

abstract: Autonomous valet parking is a specific application for autonomous vehicles. In this task, vehicles need to navigate in narrow, crowded and GPS-denied parking lots. Accurate localization ability is of great importance. Traditional visual-based methods suffer from tracking lost due to texture-less regions, repeated structures, and appearance changes. In this paper, we exploit robust semantic features to build the map and localize vehicles in parking lots. Semantic features contain guide signs, parking lines, speed bumps, etc, which typically appear in parking lots. Compared with traditional features, these semantic features are long-term stable and robust to the perspective and illumination change. We adopt four surround-view cameras to increase the perception range. Assisting by an IMU (Inertial Measurement Unit) and wheel encoders, the proposed system generates a global visual semantic map. This map is further used to localize vehicles at the centimeter level. We analyze the accuracy and recall of our system and compare it against other methods in real experiments. Furthermore, we demonstrate the practicability of the proposed system by the autonomous parking application.


title: DynNet: Physics-based neural architecture design for linear and nonlinear structural response modeling and prediction

abstract: Data-driven models for predicting dynamic responses of linear and nonlinear systems are of great importance due to their wide application from probabilistic analysis to inverse problems such as system identification and damage diagnosis. In this study, a physics-based recurrent neural network model is designed that is able to learn the dynamics of linear and nonlinear multiple degrees of freedom systems given a ground motion. The model is able to estimate a complete set of responses, including displacement, velocity, acceleration, and internal forces. Compared to the most advanced counterparts, this model requires a smaller number of trainable variables while the accuracy of predictions is higher for long trajectories. In addition, the architecture of the recurrent block is inspired by differential equation solver algorithms and it is expected that this approach yields more generalized solutions. In the training phase, we propose multiple novel techniques to dramatically accelerate the learning process using smaller datasets, such as hardsampling, utilization of trajectory loss function, and implementation of a trust-region approach. Numerical case studies are conducted to examine the strength of the network to learn different nonlinear behaviors. It is shown that the network is able to capture different nonlinear behaviors of dynamic systems with very high accuracy and with no need for prior information or very large datasets.


title: Computing maximally-permissive strategies in acyclic timed automata

abstract: Timed automata are a convenient mathematical model for modelling and reasoning about real-time systems. While they provide a powerful way of representing timing aspects of such systems, timed automata assume arbitrary precision and zero-delay actions; in particular, a state might be declared reachable in a timed automaton, but impossible to reach in the physical system it models. In this paper, we consider permissive strategies as a way to overcome this problem: such strategies propose intervals of delays instead of single delays, and aim at reaching a target state whichever delay actually takes place. We develop an algorithm for computing the optimal permissiveness (and an associated maximally-permissive strategy) in acyclic timed automata and games.