title: ReZone: Disarming TrustZone with TEE Privilege Reduction

abstract: In TrustZone-assisted TEEs, the trusted OS has unrestricted access to both secure and normal world memory. Unfortunately, this architectural limitation has opened an aisle of exploration for attackers, which have demonstrated how to leverage a chain of exploits to hijack the trusted OS and gain full control of the system, targeting (i) the rich execution environment (REE), (ii) all trusted applications (TAs), and (iii) the secure monitor. In this paper, we propose ReZone. The main novelty behind ReZone design relies on leveraging TrustZone-agnostic hardware primitives available on commercially off-the-shelf (COTS) platforms to restrict the privileges of the trusted OS. With ReZone, a monolithic TEE is restructured and partitioned into multiple sandboxed domains named zones, which have only access to private resources. We have fully implemented ReZone for the i.MX 8MQuad EVK and integrated it with Android OS and OP-TEE. We extensively evaluated ReZone using microbenchmarks and real-world applications. ReZone can sustain popular applications like DRM-protected video encoding with acceptable performance overheads. We have surveyed 80 CVE vulnerability reports and estimate that ReZone could mitigate 86.84% of them.


title: Cryogenic bath-type heat exchangers for ultra-pure noble gas applications

abstract: Two cryogenic bath-type heat exchangers for ultra-pure noble gas applications were developed with particular emphasis on noble gas liquefaction in cryogenic distillation systems. The main objective was to construct heat exchangers for xenon from materials that do not emanate radon and that fulfill ultra-high vacuum standards. Therefore, only high-quality copper and stainless steel materials were used. Especially, large-area oxygen-free copper fins with high conductivity in a new design ensure efficient heat transfer. One bath-type Xe-Xe heat exchanger was designed with a diameter of 50 cm to achieve a xenon condensing capacity of at least 100 kg/h. In order to guarantee the necessary heat transfer between the two xenon reservoirs, this heat exchanger features a specially manufactured stainless steel flange with a copper plate welded inside. We first tested our concept on a dedicated bath-type heat exchanger with a reduced diameter of 30 cm using liquid nitrogen to liquefy the xenon. A model based on conservative assumptions such as film boiling on the nitrogen side and film condensation on the xenon side was developed and applied to caluclate the expected heat transfer for our design. We were able to demonstrate an adjustable xenon liquefaction rate of up to 113 kg/h limited only by our measurement procedure at a cooling efficiency of $(0.98\pm 0.03)$ for the LN$_2$-Xe heat exchanger.


title: Learning in Sparse Rewards settings through Quality-Diversity algorithms

abstract: In the Reinforcement Learning (RL) framework, the learning is guided through a reward signal. This means that in situations of sparse rewards the agent has to focus on exploration, in order to discover which action, or set of actions leads to the reward. RL agents usually struggle with this. Exploration is the focus of Quality-Diversity (QD) methods. In this thesis, we approach the problem of sparse rewards with these algorithms, and in particular with Novelty Search (NS). This is a method that only focuses on the diversity of the possible policies behaviors. The first part of the thesis focuses on learning a representation of the space in which the diversity of the policies is evaluated. In this regard, we propose the TAXONS algorithm, a method that learns a low-dimensional representation of the search space through an AutoEncoder. While effective, TAXONS still requires information on when to capture the observation used to learn said space. For this, we study multiple ways, and in particular the signature transform, to encode information about the whole trajectory of observations. The thesis continues with the introduction of the SERENE algorithm, a method that can efficiently focus on the interesting parts of the search space. This method separates the exploration of the search space from the exploitation of the reward through a two-alternating-steps approach. The exploration is performed through NS. Any discovered reward is then locally exploited through emitters. The third and final contribution combines TAXONS and SERENE into a single approach: STAX. Throughout this thesis, we introduce methods that lower the amount of prior information needed in sparse rewards settings. These contributions are a promising step towards the development of methods that can autonomously explore and find high-performance policies in a variety of sparse rewards settings.


title: Adaptive guaranteed lower eigenvalue bounds with optimal convergence rates

abstract: Guaranteed lower Dirichlet eigenvalue bounds (GLB) can be computed for the $m$-th Laplace operator with a recently introduced extra-stabilized nonconforming Crouzeix-Raviart ($m=1$) or Morley ($m=2$) finite element eigensolver. Striking numerical evidence for the superiority of a new adaptive eigensolver motivates the convergence analysis in this paper with a proof of optimal convergence rates of the GLB towards a simple eigenvalue. The proof is based on (a generalization of) known abstract arguments entitled as the axioms of adaptivity. Beyond the known a priori convergence rates, a medius analysis is enfolded in this paper for the proof of best-approximation results. This and subordinated $L^2$ error estimates for locally refined triangulations appear of independent interest. The analysis of optimal convergence rates of an adaptive mesh-refining algorithm is performed in $3$D and highlights a new version of discrete reliability.


title: Anomalous temperature dependence of high-harmonic generation in Mott insulators

abstract: We reveal the crucial effect of strong spin-charge coupling on high-harmonic generation (HHG) in Mott insulators. In a system with antiferromagnetic correlations, the HHG signal is drastically enhanced with decreasing temperature, even though the gap increases and the production of charge carriers is suppressed. This anomalous behavior, which has also been observed in recent HHG experiments on Ca$_2$RuO$_4$, originates from a cooperative effect between the spin-charge coupling and the thermal ensemble, and the strongly temperature-dependent coherence between charge carriers. We argue that the peculiar temperature dependence of HHG is a generic feature of Mott insulators, which can be controlled via the Coulomb interaction and dimensionality of the system. Our results demonstrate that correlations between different degrees of freedom, which are a characteristic feature of strongly correlated solids, have significant and nontrivial effects on nonlinear optical responses.


title: Structural Gaussian Priors for Bayesian CT reconstruction of Subsea Pipes

abstract: A non-destructive testing (NDT) application of X-ray computed tomography (CT) is inspection of subsea pipes in operation via 2D cross-sectional scans. Data acquisition is time-consuming and costly due to the challenging subsea environment. Reducing the number of projections in a scan can yield time and cost savings, but compromises the reconstruction quality, if conventional reconstruction methods are used. In this work we take a Bayesian approach to CT reconstruction and focus on designing an effective prior to make use of available structural information about the pipe geometry. We propose a new class of structural Gaussian priors to enforce expected material properties in different regions of the reconstructed image based on independent Gaussian priors in combination with global regularity through a Gaussian Markov Random Field (GMRF) prior. Numerical experiments with synthetic and real data show that the proposed structural Gaussian prior can reduce artifacts and enhance contrast in the reconstruction compared to using only a global GMRF prior or no prior at all. We show how the resulting posterior distribution can be efficiently sampled even for large-scale images, which is essential for practical NDT applications.


title: Residual categories of quadric surface bundles

abstract: We show that the residual categories of quadric surface bundles are equivalent to the (twisted) derived categories of some scheme under the following hypotheses. Case 1: The quadric surface bundle has a smooth section. Case 2: The total space of the quadric surface bundle is smooth and the base is a smooth surface. We provide two proofs in Case 1 describing the scheme as the hyperbolic reduction and as a subscheme of the relative Hilbert scheme of lines, respectively. In Case 2, the twisted scheme is obtained by performing birational transformations to the relative Hilbert scheme of lines. Finally, we apply the results to certain complete intersections of quadrics.


title: Graph Rewriting and Relabeling with PBPO+: A Unifying Theory for Quasitoposes

abstract: We extend the powerful Pullback-Pushout (PBPO) approach for graph rewriting with strong matching. Our approach, called PBPO+, allows more control over the embedding of the pattern in the host graph, which is important for a large class of rewrite systems. We argue that PBPO+ can be considered a unifying theory in the general setting of quasitoposes, by demonstrating that PBPO+ can define a strict superset of the rewrite relations definable by PBPO, AGREE and DPO. Additionally, we show that PBPO+ is well suited for rewriting labeled graphs and some classes of attributed graphs, by introducing a lattice structure on the label set and requiring graph morphisms to be order-preserving.


title: STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning

abstract: We present a substantially expanded version of our tool STV for strategy synthesis and verification of strategic abilities. The new version provides a web interface and support for assume-guarantee verification of multi-agent systems.


title: Enhanced colloidal transport in twisted magnetic patterns

abstract: Bilayers of two-dimensional materials twisted at specific angles can exhibit exceptional properties such as the occurrence of unconventional superconductivity in twisted graphene. We demonstrate here that novel phenomena in twisted materials emerges also in particle-based classical systems. We study the transport of magnetic colloidal particles driven by a drift force and located between two twisted periodic magnetic patterns with either hexagonal or square symmetry. The magnetic potential generated by patterns twisted at specific magic angles develops flat channels, which increase the mobility of the colloidal particles compared to that in single patterns. We characterize the effect of the temperature and that of the magnitude of the drift force on the colloidal mobility. The transport is more enhanced in square than in hexagonal twisted patterns. Our work extends twistronics to classical soft matter systems with potential applications to lab-on-a-chip devices.


title: Discriminating Against Unrealistic Interpolations in Generative Adversarial Networks

abstract: Interpolations in the latent space of deep generative models is one of the standard tools to synthesize semantically meaningful mixtures of generated samples. As the generator function is non-linear, commonly used linear interpolations in the latent space do not yield the shortest paths in the sample space, resulting in non-smooth interpolations. Recent work has therefore equipped the latent space with a suitable metric to enforce shortest paths on the manifold of generated samples. These are often, however, susceptible of veering away from the manifold of real samples, resulting in smooth but unrealistic generation that requires an additional method to assess the sample quality along paths. Generative Adversarial Networks (GANs), by construction, measure the sample quality using its discriminator network. In this paper, we establish that the discriminator can be used effectively to avoid regions of low sample quality along shortest paths. By reusing the discriminator network to modify the metric on the latent space, we propose a lightweight solution for improved interpolations in pre-trained GANs.


title: The Silicon Electron Multiplier Sensor

abstract: The Silicon Electron Multiplier (SiEM) is a novel sensor concept for minimum ionizing particle (MIP) detection which uses internal gain and fine pitch to achieve excellent temporal and spatial resolution. In contrast to sensors where the gain region is induced by doping (LGADs, APDs), amplification in the SiEM is achieved by applying an electric potential difference in a composite electrode structure embedded within the silicon bulk using MEMS fabrication techniques. Since no gain-layer deactivation is expected with radiation damage, such a structure is expected to withstand fluences of up to $10^{16} n_{eq}$. Various geometries and biasing configurations are studied, within the boundaries imposed by the fabrication process being considered. The effective gain, the field in the sensor, the leakage current and breakdown conditions are studied for cell sizes in the range of $6 - 15 \mu m$. Simulations show that gains in excess of 10 can be achieved, and studies of the time structure of the induced signals from a charge cloud deposited in the middle of the sensor show that time resolutions similar to other sensors with internal gain can be expected. Plans for the manufacture of a proof-of-concept sensor and for its subsequent characterisation are discussed.


title: Asynchronous Optimisation for Event-based Visual Odometry

abstract: Event cameras open up new possibilities for robotic perception due to their low latency and high dynamic range. On the other hand, developing effective event-based vision algorithms that fully exploit the beneficial properties of event cameras remains work in progress. In this paper, we focus on event-based visual odometry (VO). While existing event-driven VO pipelines have adopted continuous-time representations to asynchronously process event data, they either assume a known map, restrict the camera to planar trajectories, or integrate other sensors into the system. Towards map-free event-only monocular VO in SE(3), we propose an asynchronous structure-from-motion optimisation back-end. Our formulation is underpinned by a principled joint optimisation problem involving non-parametric Gaussian Process motion modelling and incremental maximum a posteriori inference. A high-performance incremental computation engine is employed to reason about the camera trajectory with every incoming event. We demonstrate the robustness of our asynchronous back-end in comparison to frame-based methods which depend on accurate temporal accumulation of measurements.


title: Macroscopic behaviour in a two-species exclusion process via the method of matched asymptotics

abstract: We consider a two-species simple exclusion process on a periodic lattice. We use the method of matched asymptotics to derive evolution equations for the two population densities in the dilute regime, namely a cross-diffusion system of partial differential equations for the two species densities. First, our result captures non-trivial interaction terms neglected in the mean-field approach, including a non-diagonal mobility matrix with explicit density dependence. Second, it generalises the rigorous hydrodynamic limit of Quastel [Commun. Pure Appl. Math. 45(6), 623--679 (1992)], valid for species with equal jump rates and given in terms of a non-explicit self-diffusion coefficient, to the case of unequal rates in the dilute regime. In the equal-rates case, by combining matched asymptotic approximations in the low- and high-density limits, we obtain a cubic polynomial approximation of the self-diffusion coefficient that is numerically accurate for all densities. This cubic approximation agrees extremely well with numerical simulations. It also coincides with the Taylor expansion up to the second-order in the density of the self-diffusion coefficient obtained using a rigorous recursive method.

categories: math-ph cond-mat.stat-mech math.AP math.MP


title: Two concepts of noncontextuality in quantum mechanics

abstract: There are two different and logically independent concepts of noncontextuality in quantum mechanics. First, an ontological (hidden variable) model for quantum mechanics is called noncontextual if every ontic (hidden) state determines the probability of the outcomes of every measurement independently of what other measurements are simultaneously performed. Second, an ontological model is noncontextual if any two measurements which are represented by the same self-adjoint operator or, equivalently, which have the same probability distribution of outcomes in every quantum state also have the same probability distribution of outcomes in every ontic state. I will call the first concept simultaneous noncontextuality, the second measurement noncontextuality. In the paper I will overview and critically analyze some of the most significant accounts of contextuality in the literature and subsume them under these two categories.


title: XMM-Newton discovery of very high obscuration in the candidate Supergiant Fast X-ray Transient AX J1714.1-3912

abstract: We have analysed an archival XMM-Newton EPIC observation that serendipitously covered the sky position of a variable X-ray source AX J1714.1-3912, previously suggested to be a Supergiant Fast X-ray Transient (SFXT). During the XMM-Newton observation the source is variable on a timescale of hundred seconds and shows two luminosity states, with a flaring activity followed by unflared emission, with a variability amplitude of a factor of about 50. We have discovered an intense iron emission line with a centroid energy of 6.4 keV in the power law-like spectrum, modified by a large absorption (NH around 1e24 cm-2), never observed before from this source. This X-ray spectrum is unusual for an SFXT, but resembles the so-called "highly obscured sources", high mass X-ray binaries (HMXBs) hosting an evolved B[e] supergiant companion (sgB[e]). This might suggest that AX J1714.1-3912 is a new member of this rare type of HMXBs, which includes IGR J16318-4848 and CI Camelopardalis. Increasing this small population of sources would be remarkable, as they represent an interesting short transition evolutionary stage in the evolution of massive binaries. Nevertheless, AX J1714.1-3912 appears to share X-ray properties of both kinds of HMXBs (SFXT vs sgB[e] HMXB). Therefore, further investigations of the companion star are needed to disentangle the two hypothesis.


title: Sensitive Pictures: Emotional Interpretation in the Museum

abstract: Museums are interested in designing emotional visitor experiences to complement traditional interpretations. HCI is interested in the relationship between Affective Computing and Affective Interaction. We describe Sensitive Pictures, an emotional visitor experience co-created with the Munch art museum. Visitors choose emotions, locate associated paintings in the museum, experience an emotional story while viewing them, and self-report their response. A subsequent interview with a portrayal of the artist employs computer vision to estimate emotional responses from facial expressions. Visitors are given a souvenir postcard visualizing their emotional data. A study of 132 members of the public (39 interviewed) illuminates key themes: designing emotional provocations; capturing emotional responses; engaging visitors with their data; a tendency for them to align their views with the system's interpretation; and integrating these elements into emotional trajectories. We consider how Affective Computing can hold up a mirror to our emotions during Affective Interaction.


title: Image-based material analysis of ancient historical documents

abstract: Researchers continually perform corroborative tests to classify ancient historical documents based on the physical materials of their writing surfaces. However, these tests, often performed on-site, requires actual access to the manuscript objects. The procedures involve a considerable amount of time and cost, and can damage the manuscripts. Developing a technique to classify such documents using only digital images can be very useful and efficient. In order to tackle this problem, this study uses images of a famous historical collection, the Dead Sea Scrolls, to propose a novel method to classify the materials of the manuscripts. The proposed classifier uses the two-dimensional Fourier Transform to identify patterns within the manuscript surfaces. Combining a binary classification system employing the transform with a majority voting process is shown to be effective for this classification task. This pilot study shows a successful classification percentage of up to 97% for a confined amount of manuscripts produced from either parchment or papyrus material. Feature vectors based on Fourier-space grid representation outperformed a concentric Fourier-space format.


title: First detection of metric emission from a solar surge

abstract: We report the first detection of metric radio emission from a surge, observed with the Nan\c{c}ay Radioheliograph (NRH), STEREO and other instruments. The emission was observed during the late phase of the M9 complex event SOL2010-02-012T11:25:00, described in a previous publication and was associated with a secondary energy release, also observed in STEREO 304 {\AA} images: there was no detectable soft X-ray emission. Triangulation of the STEREO images allowed the identification of the surge with NRH sources near the central meridian. The radio emission of the surge occurred in two phases and consisted of two sources, one located near the base of the surge, apparently at or near the site of energy release, and another in the upper part of the surge; these were best visible in the frequency range of 445.0 to about 300MHz, whereas a spectral component of different nature was observed at lower frequencies. Sub-second time variations were detected in both sources during both phases, with 0.2-0.3s a delay of the upper source with respect to the lower, suggesting superluminal velocities. This effect can be explained if the emission of the upper source was due to scattering of radiation from the source at the base of the surge. In addition, the radio emission showed signs of pulsations and spikes. We discuss possible emission mechanisms for the slow time variability component of the lower radio source. Gyrosynchrotron emission reproduced fairly well the characteristics of the observed total intensity spectrum at the start of the second phase of the event, but failed to reproduce the high degree of the observed circular polarization as well the spectra at other instances. On the other hand, type IV-like plasma emission from the fundamental could explain the high polarization and the fine structure in the dynamic spectrum; moreover, it gives projected radio source positions on the plane of the sky, as seen from STEREO-A, near the base of the surge. Taking everything into consideration, we suggest type IV-like plasma emission with a low intensity gyrosynchrotron component as the most plausible mechanism.


title: SelfKG: Self-Supervised Entity Alignment in Knowledge Graphs

abstract: Entity alignment, aiming to identify equivalent entities across different knowledge graphs (KGs), is a fundamental problem for constructing Web-scale KGs. Over the course of its development, the label supervision has been considered necessary for accurate alignments. Inspired by the recent progress of self-supervised learning, we explore the extent to which we can get rid of supervision for entity alignment. Commonly, the label information (positive entity pairs) is used to supervise the process of pulling the aligned entities in each positive pair closer. However, our theoretical analysis suggests that the learning of entity alignment can actually benefit more from pushing unlabeled negative pairs far away from each other than pulling labeled positive pairs close. By leveraging this discovery, we develop the self-supervised learning objective for entity alignment. We present SelfKG with efficient strategies to optimize this objective for aligning entities without label supervision. Extensive experiments on benchmark datasets demonstrate that SelfKG without supervision can match or achieve comparable results with state-of-the-art supervised baselines. The performance of SelfKG suggests that self-supervised learning offers great potential for entity alignment in KGs. The code and data are available at https://github.com/THUDM/SelfKG.


title: A Bayesian Approach to CT Reconstruction with Uncertain Geometry

abstract: Computed tomography is a method for synthesizing volumetric or cross-sectional images of an object from a collection of projections. Popular reconstruction methods for computed tomography are based on idealized models and assumptions that may not be valid in practice. One such assumption is that the exact projection geometry is known. The projection geometry describes the relative location of the radiation source, object, and detector for each projection. However, in practice, the geometric parameters used to describe the position and orientation of the radiation source, object, and detector are estimated quantities with uncertainty. A failure to accurately estimate the geometry may lead to reconstructions with severe misalignment artifacts that significantly decrease their scientific or diagnostic value. We propose a novel reconstruction method that jointly estimates the reconstruction and the projection geometry. The reconstruction method is based on a Bayesian approach that yields a point estimate for the reconstruction and geometric parameters and, in addition, provides valuable information regarding their uncertainty. This is achieved by approximately sampling from the joint posterior distribution of the reconstruction and projection geometry using a hierarchical Gibbs sampler. Using real tomographic data, we demonstrate that the proposed reconstruction method significantly reduces misalignment artifacts. Compared with two commonly used alignment methods, our proposed method achieves comparable or better results under challenging conditions.


title: Droplet beam generated with the round-tip axicon: Exact solutions for different axicon shapes

abstract: We theoretically investigate droplet quasi-Bessel beams for different shapes of the round-tip axicon. Exact solutions for the Fresnel diffraction integrals describing the axial distribution of the electric field amplitude behind the axicon are demonstrated. The analysis of the exact solutions shows that the period of {\guillemotleft}light droplets{\guillemotright} is not a constant value, but depends on the axial distance and on the deviation of the axicon surface from the conical shape far from the rounded region. The predicted effect can be applied for the reconstruction of the exact shape of the axicon surface without 3D scanning.


title: Stratified Mobility, Segregated Boundary, and Socioeconomic Mixing in New York

abstract: Mobility cross spatial units represents the embodiment of how people manage activities between locations along temporal sequences. Spatiotemporal pattern nevertheless interacts with the socioeconomic characteristics of respected origin (push factors) and destination (pull factors) which widely discussed in spatial interaction literature. Observing this dynamics at higher spatial resolution allows us to entangle multifaceted nature of city, its complexity as a system or network, and the way it shapes movement of people. This study explore the extent interconnected elements of urban system or urban networks, in parallel with the appearance of external shock namely COVID outbreak, may affect estimation of mobility flows. To improve predictive power, gravity model is extended to urban system model by augmenting the complexities of urban network based on micro-analytical approach (intra-city networks). Our findings reveals better performance of a more complex urban system model as to compared with gravity model. Here, we leverage stratification in mobility by specifying mobility flows with respect to income status of respected areas. The occurrence of COVID outbreak followed by lockdown measure increases intra-class mobility, indicating the coupling between socioeconomic distance and geographical distance. Flows between areas with similar economic ranges are more predictable than the one of different level. Furthermore, the presence of pull factors is more affluent than push factors in determining mobility regardless the severity of external shock.


title: Developing solution algorithm for LR-type fully interval-valued intuitionistic fuzzy linear programming problems using lexicographic-ranking method

abstract: In this article, a new concept of LR-type interval-valued intuitionistic fuzzy numbers (LR-type IVIFN) has been introduced. The theory has also been enriched by demonstrating diagrammatic representations of LR-type IVIFNs and establishing arithmetic operations among these fuzzy numbers. The total order properties of lexicographic criteria have been used for ranking LR-type IVIFNs. Further, a linear programming problem having both equality as well as inequality type constraints with all the parameters as LR-type IVIFNs and unrestricted decision variables has been formulated. An algorithm to find a unique optimal solution to the problem using the lexicographic ranking method has been developed. In the proposed methodology, the given linear programming problem is converted to an equivalent mixed 0-1 lexicographic non-linear programming problem. Various theorems have been proved to show the equivalence of the proposed problem and its different constructions. The model formulation, algorithm and discussed results have not only developed a new idea but also generalized various well-known related works existing in the literature. A numerical problem has also been exemplified to show the steps involved in the approach. Finally, a practical application in production planning is framed, solved and analyzed to establish the applicability of the study.


title: The Nature of 500 Micron Risers II: Sub-mm Faint Dusty Star Forming Galaxies

abstract: We present SCUBA-2 and SMA follow-up observations of four candidate high redshift Dusty Star-Forming Galaxies, selected as sources with rising SEDs in the 250, 350 and 500$\mu$m Herschel SPIRE bands. Previous SMA observations showed no counterparts to these sources, but in our deeper sub-mm observations we detect counterparts to all four 500$\mu$m risers, with three resolving into multiple systems. For these three multiple systems, the SMA 345GHz ($\approx 870\mu$m) observations recover $123 \pm 73\%$, $60 \pm 15\%$ and $19 \pm 4\%$ respectively of the integrated 850$\mu$m flux density from SCUBA-2, indicating that there may be additional sources below our SMA detection limit making up a dense, protocluster core. The fourth 500$\mu$m riser was observed at a lower frequency and so we cannot make a similar comparison. We estimate photometric redshifts based on FIR/sub-mm colours, finding that 3/4 likely lie at $z \geq 2$. This fits with the interpretation that the 500$\mu$m riser selection criterion selects both intrinsically red, individual galaxies at $z > 4$, and multiple systems at more moderate redshifts, artificially reddened by the effects of blending. We use the SCUBA-2 850$\mu$m maps to investigate the environments of these 500$\mu$m risers. By constructing cumulative number counts and estimating photometric redshifts for surrounding SCUBA-2 detections, we find that one of our 500$\mu$m risers could plausibly reside in a $z \geq 2$ protocluster. We infer that bright 500$\mu$m risers with faint 850$\mu$m flux densities are typically multiple systems at $z \geq 2$ that may reside in overdensities of bright sub-mm galaxies.


title: Local cascade and dissipation in incompressible Hall magnetohydrodynamic turbulence: the Coarse-Graining approach

abstract: We derive the coarse-graining (CG) equations of incompressible Hall Magnetohydrodynamics (HMHD) turbulence to investigate the {\it local (in space)} energy cascade rate as a function of the filtering scale $\ell$. First, the CG equations are space averaged to obtain the analytical expression of the mean cascade rate. Its application to 3 dimensional (3D) simulations of (weakly compressible) HMHD shows a cascade rate consistent with the value of the mean dissipation rate in the simulations and with the classical estimates based on the "third-order" law. Furthermore, we developed an anisotropic version of CG that allows us to study the magnitude of the cascade rate along different directions with respect to the mean magnetic field. Its implementation on the numerical data with moderate background magnetic field shows a weaker cascade along the magnetic field than in the perpendicular plane, while an isotropic cascade is recovered in the absence of a background field. The strength of the CG approach is further revealed when considering the {\it local-in-space} energy transfer, which is shown theoretically and numerically to match at a given position $\bm{x}$, when locally averaged over a neighboring region, the (quasi-)local dissipation. Prospects of exploiting this new model to investigate local dissipation in spacecraft data are discussed.


title: 3D object reconstruction and 6D-pose estimation from 2D shape for robotic grasping of objects

abstract: We propose a method for 3D object reconstruction and 6D-pose estimation from 2D images that uses knowledge about object shape as the primary key. In the proposed pipeline, recognition and labeling of objects in 2D images deliver 2D segment silhouettes that are compared with the 2D silhouettes of projections obtained from various views of a 3D model representing the recognized object class. By computing transformation parameters directly from the 2D images, the number of free parameters required during the registration process is reduced, making the approach feasible. Furthermore, 3D transformations and projective geometry are employed to arrive at a full 3D reconstruction of the object in camera space using a calibrated set up. Inclusion of a second camera allows resolving remaining ambiguities. The method is quantitatively evaluated using synthetic data and tested with real data, and additional results for the well-known Linemod data set are shown. In robot experiments, successful grasping of objects demonstrates its usability in real-world environments, and, where possible, a comparison with other methods is provided. The method is applicable to scenarios where 3D object models, e.g., CAD-models or point clouds, are available and precise pixel-wise segmentation maps of 2D images can be obtained. Different from other methods, the method does not use 3D depth for training, widening the domain of application.


title: Unsupervised Anomaly Detection from Time-of-Flight Depth Images

abstract: Video anomaly detection (VAD) addresses the problem of automatically finding anomalous events in video data. The primary data modalities on which current VAD systems work on are monochrome or RGB images. Using depth data in this context instead is still hardly explored in spite of depth images being a popular choice in many other computer vision research areas and the increasing availability of inexpensive depth camera hardware. We evaluate the application of existing autoencoder-based methods on depth video and propose how the advantages of using depth data can be leveraged by integration into the loss function. Training is done unsupervised using normal sequences without need for any additional annotations. We show that depth allows easy extraction of auxiliary information for scene analysis in the form of a foreground mask and demonstrate its beneficial effect on the anomaly detection performance through evaluation on a large public dataset, for which we are also the first ones to present results on.


title: Unfreezing Social Navigation: Dynamical Systems based Compliance for Contact Control in Robot Navigation

abstract: Large efforts have focused on ensuring that the controllers for mobile service robots follow proxemics and other social rules to ensure both safe and socially acceptable distance to pedestrians. Nonetheless, involuntary contact may be unavoidable when the robot travels in crowded areas or when encountering adversarial pedestrians. Freezing the robot in response to contact might be detrimental to bystanders' safety and prevents it from achieving its task. Unavoidable contacts must hence be controlled to ensure the safe and smooth travelling of robots in pedestrian alleys. We present a force-limited and obstacle avoidance controller integrated into a time-invariant dynamical system (DS) in a closed-loop force controller that let the robot react instantaneously to contact or to the sudden appearance of pedestrians. Mitigating the risk of collision is done by modulating the velocity commands upon detecting a contact and by absorbing part of the contact force through active compliant control when the robot bumps inadvertently against a pedestrian. We evaluated our method with a personal mobility robot -- Qolo -- showing contact mitigation with passive and active compliance. We showed the robot able to overcome an adversarial pedestrian within 9 N of the set limit contact force for speeds under 1 m/s. Moreover, we evaluated integrated obstacle avoidance proving the ability to advance without incurring any other collision.


title: A Survey on Aspect-Based Sentiment Analysis: Tasks, Methods, and Challenges

abstract: As an important fine-grained sentiment analysis problem, aspect-based sentiment analysis (ABSA), aiming to analyze and understand people's opinions at the aspect level, has been attracting considerable interest in the last decade. To handle ABSA in different scenarios, various tasks are introduced for analyzing different sentiment elements and their relations, including the aspect term, aspect category, opinion term, and sentiment polarity. Unlike early ABSA works focusing on a single sentiment element, many compound ABSA tasks involving multiple elements have been studied in recent years for capturing more complete aspect-level sentiment information. However, a systematic review of various ABSA tasks and their corresponding solutions is still lacking, which we aim to fill in this survey. More specifically, we provide a new taxonomy for ABSA which organizes existing studies from the axes of concerned sentiment elements, with an emphasis on recent advances of compound ABSA tasks. From the perspective of solutions, we summarize the utilization of pre-trained language models for ABSA, which improved the performance of ABSA to a new stage. Besides, techniques for building more practical ABSA systems in cross-domain/lingual scenarios are discussed. Finally, we review some emerging topics and discuss some open challenges to outlook potential future directions of ABSA.


title: Estimation of the invariant density for discretely observed diffusion processes: impact of the sampling and of the asynchronicity

abstract: We aim at estimating in a non-parametric way the density $\pi$ of the stationary distribution of a $d$-dimensional stochastic differential equation $(X_t)_{t \in [0, T]}$, for $d \ge 2$, from the discrete observations of a finite sample $X_{t_0}$, ... , $X_{t_n}$ with $0= t_0 < t_1 < ... < t_n =: T_n$. We propose a kernel density estimator and we study its convergence rates for the pointwise estimation of the invariant density under anisotropic H\"older smoothness constraints. First of all, we find some conditions on the discretization step that ensures it is possible to recover the same rates as if the continuous trajectory of the process was available. Such rates are optimal and new in the context of density estimator. Then we deal with the case where such a condition on the discretization step is not satisfied, which we refer to as intermediate regime. In this new regime we identify the convergence rate for the estimation of the invariant density over anisotropic H\"older classes, which is the same convergence rate as for the estimation of a probability density belonging to an anisotropic H\"older class, associated to $n$ iid random variables $X_1, ..., X_n$. After that we focus on the asynchronous case, in which each component can be observed at different time points. Even if the asynchronicity of the observations complexifies the computation of the variance of the estimator, we are able to find conditions ensuring that this variance is comparable to the one of the continuous case. We also exhibit that the non synchronicity of the data introduces additional bias terms in the study of the estimator.


title: Topological properties of Floquet winding bands in a photonic lattice

abstract: The engineering of synthetic materials characterised by more than one class of topological invariants is one of the current challenges of solid-state based and synthetic materials. Using a synthetic photonic lattice implemented in a two-coupled ring system we engineer an anomalous Floquet metal that is gapless in the bulk and shows simultaneously two different topological properties. On the one hand, this synthetic lattice presents bands characterised by a winding number. The winding emerges from the breakup of inversion symmetry and it directly relates to the appearance of Bloch suboscillations within its bulk. On the other hand, the Floquet nature of the lattice results in well-known anomalous insulating phases with topological edge states. The combination of broken inversion symmetry and periodic time modulation studied here enrich the variety of topological phases available in lattices subject to Floquet driving and suggest the possible emergence of novel phases when periodic modulation is combined with the breakup of spatial symmetries.


title: Colar: Effective and Efficient Online Action Detection by Consulting Exemplars

abstract: Online action detection has attracted increasing research interests in recent years. Current works model historical dependencies and anticipate the future to perceive the action evolution within a video segment and improve the detection accuracy. However, the existing paradigm ignores category-level modeling and does not pay sufficient attention to efficiency. Considering a category, its representative frames exhibit various characteristics. Thus, the category-level modeling can provide complimentary guidance to the temporal dependencies modeling. This paper develops an effective exemplar-consultation mechanism that first measures the similarity between a frame and exemplary frames, and then aggregates exemplary features based on the similarity weights. This is also an efficient mechanism, as both similarity measurement and feature aggregation require limited computations. Based on the exemplar-consultation mechanism, the long-term dependencies can be captured by regarding historical frames as exemplars, while the category-level modeling can be achieved by regarding representative frames from a category as exemplars. Due to the complementarity from the category-level modeling, our method employs a lightweight architecture but achieves new high performance on three benchmarks. In addition, using a spatio-temporal network to tackle video frames, our method makes a good trade-off between effectiveness and efficiency. Code is available at https://github.com/VividLe/Online-Action-Detection.


title: Universal suppression of superfluid weight by disorder independent of quantum geometry and band dispersion

abstract: Motivated by the experimental progress in controlling the properties of the energy bands in superconductors, significant theoretical efforts have been devoted to study the effect of the quantum geometry and the flatness of the dispersion on the superfluid weight. In conventional superconductors, where the energy bands are wide and the Fermi energy is large, the contribution due to the quantum geometry is negligible, but in the opposite limit of flat-band superconductors the superfluid weight originates purely from the quantum geometry of Bloch wave functions. Here, we study how the energy band dispersion and the quantum geometry affect the disorder-induced suppression of the superfluid weight. Surprisingly, we find that the disorder-dependence of the superfluid weight is universal across a variety of models, and independent of the quantum geometry and the flatness of the dispersion. Our results suggest that a flat-band superconductor is as resilient to disorder as a conventional superconductor.


title: Principal Eigenvalue and Landscape Function of the Anderson Model on a Large Box

abstract: We state a precise formulation of a conjecture concerning the product of the principal eigenvalue and the sup-norm of the landscape function of the Anderson model restricted to a large box. We first provide the asymptotic of the principal eigenvalue as the size of the box grows and then use it to give a partial proof of the conjecture. We give a complete proof for the one dimensional case.


title: Reasoning with belief functions over Belnap--Dunn logic

abstract: We design an expansion of Belnap--Dunn logic with belief and plausibility functions that allow non-trivial reasoning with inconsistent and incomplete probabilistic information. We also formalise reasoning with non-standard probabilities and belief functions in two ways. First, using a calculus of linear inequalities, akin to the one presented in~\cite{FaginHalpernMegiddo1990}. Second, as a two-layered modal logic wherein reasoning with evidence (the outer layer) utilises paraconsistent expansions of \L{}ukasiewicz logic. The second approach is inspired by~\cite{BaldiCintulaNoguera2020}. We prove completeness for both kinds of calculi and show their equivalence by establishing faithful translations in both directions.


title: Real-Time Trajectory Planning for Aerial Perching

abstract: This paper presents a novel trajectory planning method for aerial perching. Compared with the existing work, the terminal states and the trajectory durations can be adjusted adaptively, instead of being determined in advance. Furthermore, our planner is able to minimize the tangential relative speed on the premise of safety and dynamic feasibility. This feature is especially notable on micro aerial robots with low maneuverability or scenarios where the space is not enough. Moreover, we design a flexible transformation strategy to eliminate terminal constraints along with reducing optimization variables. Besides, we take precise SE(3) motion planning into account to ensure that the drone would not touch the landing platform until the last moment. The proposed method is validated onboard by a palm-sized micro aerial robot with quite limited thrust and moment (thrust-to-weight ratio 1.7) perching on a mobile inclined surface. Sufficient experimental results show that our planner generates an optimal trajectory within 20ms, and replans with warm start in 2ms.


title: Is Bianchi I a Bouncing Cosmology in the Wheeler-DeWitt picture?

abstract: We provide a quantum picture for the emergence of a bouncing cosmology, according to the idea that a semiclassical behavior of the Universe towards the singularity is not available in many relevant Minisuperspace models. In particular, we study the Bianchi I model in vacuum adopting the isotropic Misner variable as an internal clock for the quantum evolution. The isomorphism between the Wheeler-DeWitt equation in this Minisuperspace representation and the Klein-Gordon one for a relativistic scalar field allows to identify the positive and negative frequency solutions as associated to the collapsing and expanding Universe respectively. We clarify how any Bianchi I localized wave packet unavoidably spreads when the singularity is approached and therefore the semiclassical description of the model evolution in the Planckian region loses its predictability. Then, we calculate the transition amplitude that a collapsing Universe is turned into an expanding one, according to the standard techniques of relativistic quantum mechanics, thanks to the introduction of an ekpyrotic-like matter component which mimics a time-dependent potential term and breaks the frequency separation. In particular, the transition probability of this "Quantum Big Bounce" acquires a maximum value when the mean values of the momenta conjugate to the anisotropies in the collapsing Universe are close enough to the corresponding mean values in the expanding one, depending on the variances of the in-going and out-going Universe wave packets. This symmetry between the pre-Bounce and post-Bounce mean values reflects what happens in the semiclassical bouncing cosmology, with the difference that here the connection of the two branches takes place on a pure probabilistic level.


title: Discontinuous Constituency and BERT: A Case Study of Dutch

abstract: In this paper, we set out to quantify the syntactic capacity of BERT in the evaluation regime of non-context free patterns, as occurring in Dutch. We devise a test suite based on a mildly context-sensitive formalism, from which we derive grammars that capture the linguistic phenomena of control verb nesting and verb raising. The grammars, paired with a small lexicon, provide us with a large collection of naturalistic utterances, annotated with verb-subject pairings, that serve as the evaluation test bed for an attention-based span selection probe. Our results, backed by extensive analysis, suggest that the models investigated fail in the implicit acquisition of the dependencies examined.


title: Hidden power of near-infrared data for the study of young clusters: Illustrative case of RCW 38

abstract: Studies of star formation rely heavily on observations in the near-infrared, but they typically need information from other wavelengths for interpretation. We show that we can infer distances and estimate the membership of young stellar objects for young clusters independently using (ground-based) near-infrared, $J$, $H,$ and $K_S$ broadband data alone. We also show that we can estimate a lower limit for the fraction of sources with $2.2~\mu$m excess emission with a sensitivity comparable to that of mid-infrared space data, but with better resolution and fewer biases. Finally, we show that the typical methods for inferring masses from these data may produce substantially unreliable results. This method is applied to the young, massive cluster RCW 38, for which we estimate a distance of 1.5 kpc and a $K_S$-band excess fraction larger than 60\%.


title: Internal Structure and Magnetic Moment of Rocky Planets. Application to the first exoplanets discovered by TESS

abstract: For a planet to be considered habitable on its surface, it is an important advantage for it to have a magnetic field that protects its atmosphere from stellar winds as well as cosmic rays. Magnetic protection of potentially habitable planets plays a key role in determining the chances of detecting atmospheric biosignatures. This paper proposes to use the Preliminary Reference Earth Model (PREM) internal structure as the base of a numerical model. With this model, we estimate the magnetic properties of dry and water-rich Earth-like and Super-Earth-like planets. We apply it to those of this kind at the first 176 planets confirmed by TESS. Using PREM as a reference, we estimate the internal structure of dry and water-rich rocky planets. This model provides an estimation of the average density and core size of the planet and, with them, its magnetic moment depending on whether it is tidally locked or not. Our model estimates the thermodynamic variables as a function of pressure and includes saltwater as a component of water-rich exoplanets. We have not used the perfect layer differentiation approximation. We have validated our model with those planets and satellites in the Solar system with similar characteristics. The differences with the observed values in the internal structure characteristics, mass, average density, moment of inertia factor, and local Rossby number are remarkably low or even negligible. The estimated magnetic moments are also very similar to the observed ones. We have applied the model to the first 176 planets confirmed by the TESS, finding that, from an astrobiological perspective TOI-700 d and TOI-2257 b are the most interesting ones as being located in the habitable zone (HZ), although their magnetic moments are only about 0.01 of the Earth's magnetic moment.


title: On subwavelength resolution granted by dielectric microparticles

abstract: In this work we report a theoretical study of the lateral resolution granted by a simple glass microcylinder. In this 2D study, we had in mind the 3D analogue -- a microsphere whose ability to form a deeply subwavelength and strongly magnified image of submicron objects has been known since 2011. Conventionally, the microscope in which such the image is observed is tuned so that to see the areas behind the microsphere. This corresponds to the location of the virtual source formed by the microsphere at a distance longer than the distance of the real source to the miscroscope. Recently, we theoretically found a new scenario of superresolution, when the virtual source is formed in the wave beam transmitted through the microsphere. However, in this work we concentrated on the case when the superresolution is achieved in the impractical imaging system, in which the microscope objective lens is replaced by a microlens located at a distance smaller than the Rayleigh range. The present paper theoretically answers an important question: which scenario of far-field nanoimaging by a microsphere grants the finest spatial at very large distances. We found that the novel scenario (corresponding to higher refractive indices) promises further enhancement of the resolution.


title: A new approach to projectivity in the categories of complexes, II

abstract: It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying several known classical results. We further provide various examples to illustrate the scopes and limits of the established results. This paper is a continuation of a recent work in which it was shown among other several things that the subprojectivity of complexes can be characterized in terms of morphisms in the homotopy category.


title: Satellite Image and Machine Learning based Knowledge Extraction in the Poverty and Welfare Domain

abstract: Recent advances in artificial intelligence and machine learning have created a step change in how to measure human development indicators, in particular asset based poverty. The combination of satellite imagery and machine learning has the capability to estimate poverty at a level similar to what is achieved with workhorse methods such as face-to-face interviews and household surveys. An increasingly important issue beyond static estimations is whether this technology can contribute to scientific discovery and consequently new knowledge in the poverty and welfare domain. A foundation for achieving scientific insights is domain knowledge, which in turn translates into explainability and scientific consistency. We review the literature focusing on three core elements relevant in this context: transparency, interpretability, and explainability and investigate how they relates to the poverty, machine learning and satellite imagery nexus. Our review of the field shows that the status of the three core elements of explainable machine learning (transparency, interpretability and domain knowledge) is varied and does not completely fulfill the requirements set up for scientific insights and discoveries. We argue that explainability is essential to support wider dissemination and acceptance of this research, and explainability means more than just interpretability.


title: Enhanced Decentralized Autonomous Aerial Robot Teams with Group Planning

abstract: Designing autonomous aerial robot team systems remains a grand challenge in robotics. Existing works in this field can be categorized as centralized and decentralized. Centralized methods suffer from scale dilemmas, while decentralized ones often lead to poor planning quality. In this paper, we propose an enhanced decentralized autonomous aerial robot team system with group planning. According to the spatial distribution of agents, the system dynamically divides the team into several groups and isolated agents. For conflicts within each group, we propose a novel coordination mechanism named group planning. The group planning consists of efficient multi-agent pathfinding (MAPF) and trajectory joint optimization, which can significantly improve planning quality and success rate. We demonstrate through simulations and real-world experiments that our method not only has applicability for a large-scale team but also has top-level planning quality


title: First-order logic axiomatization of metric graph theory

abstract: The main goal of this note is to provide a First-Order Logic with Betweenness (FOLB) axiomatization of the main classes of graphs occurring in Metric Graph Theory, in analogy to Tarski's axiomatization of Euclidean geometry. We provide such an axiomatization for weakly modular graphs and their principal subclasses (median and modular graphs, bridged graphs, Helly graphs, dual polar graphs, etc), basis graphs of matroids and even $\Delta$-matroids, partial cubes and their subclasses (ample partial cubes, tope graphs of oriented matroids and complexes of oriented matroids, bipartite Pasch and Peano graphs, cellular and hypercellular partial cubes, almost-median graphs, netlike partial cubes), and Gromov hyperbolic graphs. On the other hand, we show that some classes of graphs (including chordal, planar, Eulerian, and dismantlable graphs), closely related with Metric Graph Theory, but defined in a combinatorial or topological way, do not allow such an axiomatization.


title: Algebraic Representations of Unique Bipartite Perfect Matching

abstract: We obtain complete characterizations of the Unique Bipartite Perfect Matching function, and of its Boolean dual, using multilinear polynomials over the reals. Building on previous results, we show that, surprisingly, the dual description is sparse and has low $\ell_1$-norm -- only exponential in $\Theta(n \log n)$, and this result extends even to other families of matching-related functions. Our approach relies on the M\"obius numbers in the matching-covered lattice, and a key ingredient in our proof is M\"obius' inversion formula. These polynomial representations yield complexity-theoretic results. For instance, we show that unique bipartite matching is evasive for classical decision trees, and nearly evasive even for generalized query models. We also obtain a tight $\Theta(n \log n)$ bound on the log-rank of the associated two-party communication task.


title: OVE6D: Object Viewpoint Encoding for Depth-based 6D Object Pose Estimation

abstract: This paper proposes a universal framework, called OVE6D, for model-based 6D object pose estimation from a single depth image and a target object mask. Our model is trained using purely synthetic data rendered from ShapeNet, and, unlike most of the existing methods, it generalizes well on new real-world objects without any fine-tuning. We achieve this by decomposing the 6D pose into viewpoint, in-plane rotation around the camera optical axis and translation, and introducing novel lightweight modules for estimating each component in a cascaded manner. The resulting network contains less than 4M parameters while demonstrating excellent performance on the challenging T-LESS and Occluded LINEMOD datasets without any dataset-specific training. We show that OVE6D outperforms some contemporary deep learning-based pose estimation methods specifically trained for individual objects or datasets with real-world training data. The implementation and the pre-trained model will be made publicly available.


title: Recursively feasible stochastic predictive control using an interpolating initial state constraint -- extended version

abstract: We present a stochastic model predictive control (SMPC) framework for linear systems subject to possibly unbounded disturbances. State of the art SMPC approaches with closed-loop chance constraint satisfaction recursively initialize the nominal state based on the previously predicted nominal state or possibly the measured state under some case distinction. We improve these initialization strategies by allowing for a continuous optimization over the nominal initial state in an interpolation of these two extremes. The resulting SMPC scheme can be implemented as one standard quadratic program and is more flexible compared to state-of-the-art initialization strategies. As the main technical contribution, we show that the proposed SMPC framework also ensures closed-loop satisfaction of chance constraints and suitable performance bounds.


title: Continual BatchNorm Adaptation (CBNA) for Semantic Segmentation

abstract: Environment perception in autonomous driving vehicles often heavily relies on deep neural networks (DNNs), which are subject to domain shifts, leading to a significantly decreased performance during DNN deployment. Usually, this problem is addressed by unsupervised domain adaptation (UDA) approaches trained either simultaneously on source and target domain datasets or even source-free only on target data in an offline fashion. In this work, we further expand a source-free UDA approach to a continual and therefore online-capable UDA on a single-image basis for semantic segmentation. Accordingly, our method only requires the pre-trained model from the supplier (trained in the source domain) and the current (unlabeled target domain) camera image. Our method Continual BatchNorm Adaptation (CBNA) modifies the source domain statistics in the batch normalization layers, using target domain images in an unsupervised fashion, which yields consistent performance improvements during inference. Thereby, in contrast to existing works, our approach can be applied to improve a DNN continuously on a single-image basis during deployment without access to source data, without algorithmic delay, and nearly without computational overhead. We show the consistent effectiveness of our method across a wide variety of source/target domain settings for semantic segmentation. Code is available at https://github.com/ifnspaml/CBNA.


title: Reliable validation of Reinforcement Learning Benchmarks

abstract: Reinforcement Learning (RL) is one of the most dynamic research areas in Game AI and AI as a whole, and a wide variety of games are used as its prominent test problems. However, it is subject to the replicability crisis that currently affects most algorithmic AI research. Benchmarking in Reinforcement Learning could be improved through verifiable results. There are numerous benchmark environments whose scores are used to compare different algorithms, such as Atari. Nevertheless, reviewers must trust that figures represent truthful values, as it is difficult to reproduce an exact training curve. We propose improving this situation by providing access to the original experimental data to validate study results. To that end, we rely on the concept of minimal traces. These allow re-simulation of action sequences in deterministic RL environments and, in turn, enable reviewers to verify, re-use, and manually inspect experimental results without needing large compute clusters. It also permits validation of presented reward graphs, an inspection of individual episodes, and re-use of result data (baselines) for proper comparison in follow-up papers. We offer plug-and-play code that works with Gym so that our measures fit well in the existing RL and reproducibility eco-system. Our approach is freely available, easy to use, and adds minimal overhead, as minimal traces allow a data compression ratio of up to $\approx 10^4:1$ (94GB to 8MB for Atari Pong) compared to a regular MDP trace used in offline RL datasets. The paper presents proof-of-concept results for a variety of games.


title: Time-Domain Analysis for Resonant Beam Charging and Communications With Delay-Divide Demodulation

abstract: Laser has unique advantages such as abundant spectrum resources and low propagation divergence in wireless charging and wireless communications, compared with radio frequency. Resonant beams, as a kind of intra-cavity laser beams, have been proposed as the carrier of wireless charging and communication, as it has unique features including high power, intrinsic safety, and self-aligned mobility. However, this system has problems such as intra-cavity echo interference and power fluctuation. To study the time-domain behavior of the resonant beam system, we create a simulation algorithm by discretizing the laser rate equations which model the dynamics of the excited atom density in the gain medium and the photon density in the cavity. The simulation results are in good agreement with theoretical calculation. We also propose a delay-divide demodulation method to address the echo interference issue, and use the simulation algorithm to verify its feasibility. The results show that the resonant beam charging and communication system with the proposed demodulator is feasible and performs well. The analysis in this work also helps researchers to deeply understand the behavior of the resonant beam system.


title: Addressing Gap between Training Data and Deployed Environment by On-Device Learning

abstract: The accuracy of tinyML applications is often affected by various environmental factors, such as noises, location/calibration of sensors, and time-related changes. This article introduces a neural network based on-device learning (ODL) approach to address this issue by retraining in deployed environments. Our approach relies on semi-supervised sequential training of multiple neural networks tailored for low-end edge devices. This article introduces its algorithm and implementation on wireless sensor nodes consisting of a Raspberry Pi Pico and low-power wireless module. Experiments using vibration patterns of rotating machines demonstrate that retraining by ODL improves anomaly detection accuracy compared with a prediction-only deep neural network in a noisy environment. The results also show that the ODL approach can save communication cost and energy consumption for battery-powered Internet of Things devices.


title: Pairwise quantum correlations in four-level quantum dot systems

abstract: In this paper we assume quantum dots can be assimilated to Fermi Hubbard sites when the Coulomb interaction between electrons is higher compared to their tunneling. The study of pairwise entanglement in a small size array of quantum dots allows to model each pair as a quadrit-quadrit system (4 $\times$ 4 mixed state) instead of the more common and simplistic approach of describing it in quantum information as a qubit-qubit system. We study the effect of Coulomb interaction and temperature on pairwise entanglement as well as on quantum coherence and total correlations. The crucial results of this study are that entanglement resists better the increase in temperature when the Coulomb interaction is stronger. Moreover, we successfully explain the behavior of these correlations in terms of the energy spectrum, namely the ground state degeneracy and the state energy difference.


title: Redefining The Query Optimization Process

abstract: Traditionally, query optimizers have been designed for computer systems that share a common architecture, consisting of a CPU, main memory and disk subsystem. The efficiency of query optimizers and their successful employment relied on the fact that these architectures basically stayed the same over the last decades. However, recently the performance increase of serial instruction execution has stagnated. As a consequence, computer architectures have started to diversify. Combined with the fact that the size of main memories has significantly increased it becomes more important to exploit intrinsic internal features of computer systems (data coherence mechanisms, TLB and instruction cache performance, among others) rather than mainly focusing on minimizing disk I/O. Time has come for a re-evaluation of how (traditional) query optimization is implemented. Query optimizers must be able to cope with disruptive advances in computer architecture and employ methods to optimize for architecture-specific features. In this paper, the query optimization process is redefined so that compiler optimizations are taken into the game much earlier than traditionally is done and employ compiler optimizations as the driving force in query optimization. This new generation of query optimizers will be capable of optimizing queries to perform significantly better than contemporary state-of-the-art query optimizers.


title: A Multi-Scale Time-Frequency Spectrogram Discriminator for GAN-based Non-Autoregressive TTS

abstract: The generative adversarial network (GAN) has shown its outstanding capability in improving Non-Autoregressive TTS (NAR-TTS) by adversarially training it with an extra model that discriminates between the real and the generated speech. To maximize the benefits of GAN, it is crucial to find a powerful discriminator that can capture rich distinguishable information. In this paper, we propose a multi-scale time-frequency spectrogram discriminator to help NAR-TTS generate high-fidelity Mel-spectrograms. It treats the spectrogram as a 2D image to exploit the correlation among different components in the time-frequency domain. And a U-Net-based model structure is employed to discriminate at different scales to capture both coarse-grained and fine-grained information. We conduct subjective tests to evaluate the proposed approach. Both multi-scale and time-frequency discriminating bring significant improvement in the naturalness and fidelity. When combining the neural vocoder, it is shown more effective and concise than fine-tuning the vocoder. Finally, we visualize the discriminating maps to compare their difference to verify the effectiveness of multi-scale discriminating.


title: A New Framework for Expressing, Parallelizing and Optimizing Big Data Applications

abstract: The Forelem framework was first introduced as a means to optimize database queries using optimization techniques developed for compilers. Since its introduction, Forelem has proven to be more versatile and to be applicable beyond database applications. In this paper we show that the original Forelem framework can be used to express and optimize Big Data applications, more specifically: k-Means clustering and PageRank, resulting in automatically generated implementations of these applications. These implementations are more efficient than state-of-the-art, hand-written MPI C/C++ implementations of k-Means and PageRank, as well as significantly outperform state-of-the-art Hadoop implementations.


title: CNF Encodings of Parity

abstract: The minimum number of clauses in a CNF representation of the parity function $x_1 \oplus x_2 \oplus \dotsb \oplus x_n$ is $2^{n-1}$. One can obtain a more compact CNF encoding by using non-deterministic variables (also known as guess or auxiliary variables). In this paper, we prove the following lower bounds, that almost match known upper bounds, on the number $m$ of clauses and the maximum width $k$ of clauses: 1) if there are at most $s$ auxiliary variables, then $m \ge \Omega\left(2^{n/(s+1)}/n\right)$ and $k \ge n/(s+1)$; 2) the minimum number of clauses is at least $3n$. We derive the first two bounds from the Satisfiability Coding Lemma due to Paturi, Pudlak, and Zane.


title: The variance of the graph distance in the infinite cluster of percolation is sublinear

abstract: We consider the standard model of i.i.d. bond percolation on $\mathbb Z^d$ of parameter $p$. When $p>p_c$, there exists almost surely a unique infinite cluster $\mathcal C_p$. Using the recent techniques of Cerf and Dembin, we prove that the variance of the graph distance in $\mathcal C_p$ between two points of $\mathcal C_p$ is sublinear. The main result extends the works of Benjamini, Kalai and Schramm, Benaim and Rossignol and Damron, Hanson and Sosoe for the study of the variance of passage times in first passage percolation without moment conditions on the edge-weight distribution.


title: Delegated Online Search

abstract: In a delegation problem, a principal P with commitment power tries to pick one out of $n$ options. Each option is drawn independently from a known distribution. Instead of inspecting the options herself, P delegates the information acquisition to a rational and self-interested agent A. After inspection, A proposes one of the options, and P can accept or reject. Delegation is a classic setting in economic information design with many prominent applications, but the computational problems are only poorly understood. In this paper, we study a natural online variant of delegation, in which the agent searches through the options in an online fashion. For each option, he has to irrevocably decide if he wants to propose the current option or discard it, before seeing information on the next option(s). How can we design algorithms for P that approximate the utility of her best option in hindsight? We show that in general P can obtain a $\Theta(1/n)$-approximation and extend this result to ratios of $\Theta(k/n)$ in case (1) A has a lookahead of $k$ rounds, or (2) A can propose up to $k$ different options. We provide fine-grained bounds independent of $n$ based on two parameters. If the ratio of maximum and minimum utility for A is bounded by a factor $\alpha$, we obtain an $\Omega(\log \log \alpha / \log \alpha)$-approximation algorithm, and we show that this is best possible. Additionally, if P cannot distinguish options with the same value for herself, we show that ratios polynomial in $1/\alpha$ cannot be avoided. If the utilities of P and A for each option are related by a factor $\beta$, we obtain an $\Omega(1/ \log \beta)$-approximation, where $O(\log \log \beta/ \log \beta)$ is best possible.


title: On Current-Squared Flows and ModMax Theories

abstract: We show that the recently introduced ModMax theory of electrodynamics and its Born-Infeld-like generalization are related by a flow equation driven by a quadratic combination of stress-energy tensors. The operator associated to this flow is a $4d$ analogue of the $T\bar{T}$ deformation in two dimensions. This result generalizes the observation that the ordinary Born-Infeld Lagrangian is related to the free Maxwell theory by a current-squared flow. As in that case, we show that no analogous relationship holds in any other dimension besides $d=4$. We also demonstrate that the $\mathcal{N}=1$ supersymmetric version of the ModMax-Born-Infeld theory obeys a related supercurrent-squared flow which is formulated directly in $\mathcal{N}=1$ superspace.


title: $\mathcal{T}$-semiring pairs

abstract: We develop a general axiomatic theory of algebraic pairs, which simultaneously generalizes several algebraic structures, in order to bypass negation as much as feasible. We investigate several classical theorems and notions in this setting including fractions, integral extensions, and Hilbert's Nullstellensatz. Finally, we study a notion of growth in this context.


title: Vision-based Large-scale 3D Semantic Mapping for Autonomous Driving Applications

abstract: In this paper, we present a complete pipeline for 3D semantic mapping solely based on a stereo camera system. The pipeline comprises a direct sparse visual odometry front-end as well as a back-end for global optimization including GNSS integration, and semantic 3D point cloud labeling. We propose a simple but effective temporal voting scheme which improves the quality and consistency of the 3D point labels. Qualitative and quantitative evaluations of our pipeline are performed on the KITTI-360 dataset. The results show the effectiveness of our proposed voting scheme and the capability of our pipeline for efficient large-scale 3D semantic mapping. The large-scale mapping capabilities of our pipeline is furthermore demonstrated by presenting a very large-scale semantic map covering 8000 km of roads generated from data collected by a fleet of vehicles.


title: Remarks on proper conflict-free colorings of graphs

abstract: A vertex coloring of a graph is said to be \textit{conflict-free} with respect to neighborhoods if for every non-isolated vertex there is a color appearing exactly once in its (open) neighborhood. As defined in [Fabrici et al., \textit{Proper Conflict-free and Unique-maximum Colorings of Planar Graphs with Respect to Neighborhoods}, arXiv preprint], the minimum number of colors in any such proper coloring of graph $G$ is the PCF chromatic number of $G$, denoted $\chi_{\mathrm{pcf}}(G)$. In this paper, we determine the value of this graph parameter for several basic graph classes including trees, cycles, hypercubes and subdivisions of complete graphs. We also give upper bounds on $\chi_{\mathrm{pcf}}(G)$ in terms of other graph parameters. In particular, we show that $\chi_{\mathrm{pcf}}(G) \leq5\Delta(G)/2$ and characterize equality. Several sufficient conditions for PCF $k$-colorability of graphs are established for $4\le k\le 6$. The paper concludes with few open problems.


title: Shape constrained CNN for segmentation guided prediction of myocardial shape and pose parameters in cardiac MRI

abstract: Semantic segmentation using convolutional neural networks (CNNs) is the state-of-the-art for many medical image segmentation tasks including myocardial segmentation in cardiac MR images. However, the predicted segmentation maps obtained from such standard CNN do not allow direct quantification of regional shape properties such as regional wall thickness. Furthermore, the CNNs lack explicit shape constraints, occasionally resulting in unrealistic segmentations. In this paper, we use a CNN to predict shape parameters of an underlying statistical shape model of the myocardium learned from a training set of images. Additionally, the cardiac pose is predicted, which allows to reconstruct the myocardial contours. The integrated shape model regularizes the predicted contours and guarantees realistic shapes. We enforce robustness of shape and pose prediction by simultaneously performing pixel-wise semantic segmentation during training and define two loss functions to impose consistency between the two predicted representations: one distance-based loss and one overlap-based loss. We evaluated the proposed method in a 5-fold cross validation on an in-house clinical dataset with 75 subjects and on the ACDC and LVQuan19 public datasets. We show the benefits of simultaneous semantic segmentation and the two newly defined loss functions for the prediction of shape parameters. Our method achieved a correlation of 99% for left ventricular (LV) area on the three datasets, between 91% and 97% for myocardial area, 98-99% for LV dimensions and between 80% and 92% for regional wall thickness.


title: Liquid-organic time projection chamber for detecting low energy antineutrinos

abstract: The MeV region of antineutrino energy is of special interest for physics research and for monitoring nuclear nonproliferation. Whereas liquid scintillation detectors are typically used to detect the Inverse Beta Decay (IBD), it has recently been proposed to detect it with a liquid-organic Time Projection Chamber, which could allow a full reconstruction of the particle tracks of the IBD final state. We present the first comprehensive simulation-based study of the expected signatures. Their unequivocal signature could enable a background-minimized detection of electron antineutrinos using information on energy, location and direction of all final state particles. We show that the positron track reflects the antineutrino's vertex. It can also be used to determine the initial neutrino energy. In addition, we investigate the possibility to reconstruct the antineutrino direction on an event-by-event basis by the energy deposition of the neutron-induced proton recoils. Our simulations indicate that this could be a promising approach which should be further studied through experiments with a detector prototype.


title: Doubly truncated moment risk measures for elliptical distributions

abstract: In this paper, we define doubly truncated moment (DTM), doubly truncated skewness (DTS) and kurtosis (DTK). We derive DTM formulae for elliptical family, with emphasis on normal, student-$t$, logistic, Laplace and Pearson type VII distributions. We also present explicit formulas of the DTE (doubly truncated expectation), DTV (doubly truncated variance), DTS and DTK for those distributions. As illustrative example, DTEs, DTVs, DTSs and DTKs of three industry segments' (Banks, Insurance, Financial and Credit Service) stock return in London stock exchange are discussed.


title: The Kodaira-Spencer map for minimal toric hypersurfaces

abstract: In this article we study infinitesimal deformations of toric hypersurfaces. We introduce a Kodaira-Spencer map and compute its kernel. By introducing some new Laurent polynomials we make our computation as explicit as possible. This widely generalizes results of Griffiths for projective hypersurfaces.


title: Information Gain Propagation: a new way to Graph Active Learning with Soft Labels

abstract: Graph Neural Networks (GNNs) have achieved great success in various tasks, but their performance highly relies on a large number of labeled nodes, which typically requires considerable human effort. GNN-based Active Learning (AL) methods are proposed to improve the labeling efficiency by selecting the most valuable nodes to label. Existing methods assume an oracle can correctly categorize all the selected nodes and thus just focus on the node selection. However, such an exact labeling task is costly, especially when the categorization is out of the domain of individual expert (oracle). The paper goes further, presenting a soft-label approach to AL on GNNs. Our key innovations are: i) relaxed queries where a domain expert (oracle) only judges the correctness of the predicted labels (a binary question) rather than identifying the exact class (a multi-class question), and ii) new criteria of maximizing information gain propagation for active learner with relaxed queries and soft labels. Empirical studies on public datasets demonstrate that our method significantly outperforms the state-of-the-art GNN-based AL methods in terms of both accuracy and labeling cost.


title: Enhanced thermoelectric efficiency of zigzag bilayer phosphorene nanoribbon; edge states engineering

abstract: We theoretically investigate the thermoelectric properties of zigzag bilayer phosphorene nanoribbons (ZBPNR). We first, draw an analogy between the extended Su-Schrieffer-Heeger (SSH) ladder and ZBPNR edge states and obtain their corresponding band structure and wave functions analytically. Then, by applying the energy filtering method, we show that the electric power and thermoelectric efficiency of the ZBPNRs can be improved remarkably in the presence of mid-gap edge states. We also argue how to engineer the edge modes to further optimize thermoelectric power and efficiency of the system by applying periodic point potentials at the boundaries.


title: A Generalized Approach for Cancellable Template and Its Realization for Minutia Cylinder-Code

abstract: Hashing technology gains much attention in protecting the biometric template lately. For instance, Index-of-Max (IoM), a recent reported hashing technique, is a ranking-based locality sensitive hashing technique, which illustrates the feasibility to protect the ordered and fixed-length biometric template. However, biometric templates are not always in the form of ordered and fixed-length, rather it may be an unordered and variable size point set e.g. fingerprint minutiae, which restricts the usage of the traditional hashing technology. In this paper, we proposed a generalized version of IoM hashing namely gIoM, and therefore the unordered and variable size biometric template can be used. We demonstrate a realization using a well-known variable size feature vector, fingerprint Minutia Cylinder-Code (MCC). The gIoM transforms MCC into index domain to form indexing-based feature representation. Consequently, the inversion of MCC from the transformed representation is computational infeasible, thus to achieve non-invertibility while the performance is preserved. Public fingerprint databases FVC2002 and FVC2004 are employed for experiment as benchmark to demonstrate a fair comparison with other methods. Moreover, the security and privacy analysis suggest that gIoM meets the criteria of template protection: non-invertibility, revocability, and non-linkability.


title: On packing time-respecting arborescences

abstract: We present a slight generalization of the result of Kamiyama and Kawase \cite{kamkaw} on packing time-respecting arborescences in acyclic pre-flow temporal networks. Our main contribution is to provide the first results on packing time-respecting arborescences in non-acyclic temporal networks. As negative results, we prove the NP-completeness of the decision problem of the existence of 2 arc-disjoint spanning time-respecting arborescences and of a related problem proposed in this paper.


title: Model-agnostic out-of-distribution detection using combined statistical tests

abstract: We present simple methods for out-of-distribution detection using a trained generative model. These techniques, based on classical statistical tests, are model-agnostic in the sense that they can be applied to any differentiable generative model. The idea is to combine a classical parametric test (Rao's score test) with the recently introduced typicality test. These two test statistics are both theoretically well-founded and exploit different sources of information based on the likelihood for the typicality test and its gradient for the score test. We show that combining them using Fisher's method overall leads to a more accurate out-of-distribution test. We also discuss the benefits of casting out-of-distribution detection as a statistical testing problem, noting in particular that false positive rate control can be valuable for practical out-of-distribution detection. Despite their simplicity and generality, these methods can be competitive with model-specific out-of-distribution detection algorithms without any assumptions on the out-distribution.


title: SFCaaS: Service Function Chains as a Service in NFV Environments

abstract: With the emergence of network softwarization trend, traditional networking services offered by Internet providers are expected to evolve by fully leveraging new recent technologies like network function virtualization and software defined networking. In this paper, we investigate offering Service Function Chains as a Service (SFCaaS) in NFV Environments. We first describe the potential business model to offer such a service. We then conduct a detailed study of the costs of virtual machine instances offered by Amazon EC2 with respect to the location, instance size, and performance in order to guide service chain provisioning and resource allocation. Afterwards, we address the resource allocation problem for service chain functions from the SFC provider's perspective while leveraging the performed cost study. We hence formulate the problem as an Integer Linear Program (ILP) aiming at reducing the SFC provider's operational costs of virtual machine instances and links as well as the synchronization costs among the instances. We also propose a new heuristic algorithm to solve the mapping problem with the same aforementioned goals taking into account the conducted study of the costs of Amazon EC2 instances. We show through extensive simulations that the proposed heuristic significantly reduce operational costs compared to a Baseline algorithm inspired by the existing literature.


title: Decoding-Energy-Rate-Distortion Optimization for Video Coding

abstract: This paper presents a method for generating coded video bit streams requiring less decoding energy than conventionally coded bit streams. To this end, we propose extending the standard rate-distortion optimization approach to also consider the decoding energy. In the encoder, the decoding energy is estimated during runtime using a feature-based energy model. These energy estimates are then used to calculate decoding-energy-rate-distortion costs that are minimized by the encoder. This ultimately leads to optimal trade-offs between these three parameters. Therefore, we introduce the mathematical theory for describing decoding-energy-rate-distortion optimization and the proposed encoder algorithm is explained in detail. For rate-energy control, a new encoder parameter is introduced. Finally, measurements of the software decoding process for HEVC-coded bit streams are performed. Results show that this approach can lead to up to 30% of decoding energy reduction at a constant visual objective quality when accepting a bitrate increase at the same order of magnitude.


title: Dynamical Stability Indicator based on Autoregressive Moving-Average Models: Critical Transitions and the Atlantic Meridional Overturning Circulation

abstract: A statistical indicator for dynamic stability known as the $\Upsilon$ indicator is used to gauge the stability and hence detect approaching tipping points of simulation data from a reduced 5-box model of the North-Atlantic Meridional Overturning Circulation (AMOC) exposed to a time dependent hosing function. The hosing function simulates the influx of fresh water due to the melting of the Greenland ice sheet and increased precipitation in the North Atlantic. The $\Upsilon$ indicator is designed to detect changes in the memory properties of the dynamics, and is based on fitting ARMA (auto-regressive moving-average) models in a sliding window approach to time series data. An increase in memory properties is interpreted as a sign of dynamical instability. The performance of the indicator is tested on time series subject to different types of tipping, namely bifurcation-induced, noise-induced and rate-induced tipping. The numerical analysis show that the indicator indeed responds to the different types of induced instabilities. Finally, the indicator is applied to two AMOC time series from a full complexity Earth systems model (CESM2). Compared with the doubling CO$_2$ scenario, the quadrupling CO$_2$ scenario results in stronger dynamical instability of the AMOC during its weakening phase.


title: Approaching ideal visibility in singlet-triplet qubit operations using energy-selective tunneling-based Hamiltonian estimation

abstract: We report energy selective tunneling readout-based Hamiltonian parameter estimation of a two-electron spin qubit in a GaAs quantum dot array. Optimization of readout fidelity enables a single-shot measurement time of 16 on average, with adaptive initialization and efficient qubit frequency estimation based on real-time Bayesian inference. For qubit operation in a frequency heralded mode, we observe a 40-fold increase in coherence time without resorting to dynamic nuclear polarization. We also demonstrate active frequency feedback with quantum oscillation visibility, single-shot measurement fidelity, and state initialization fidelity up to 97.7%, 99%, and over 99.7%, respectively. By pushing the sensitivity of the energy selective tunneling-based spin to charge conversion to the limit, the technique is useful for advanced quantum control protocols such as error mitigation schemes, where fast qubit parameter calibration with a large signal-to-noise ratio is crucial.


title: Maximum and records of random walks with stochastic resetting

abstract: We revisit the statistics of extremes and records of symmetric random walks with stochastic resetting, extending earlier studies in several directions. We put forward a diffusive scaling regime (symmetric step length distribution with finite variance, weak resetting probability) where the maximum of the walk and the number of its records up to discrete time $n$ become asymptotically proportional to each other for single typical trajectories. Their distributions obey scaling laws ruled by a common two-parameter scaling function, interpolating between a half-Gaussian and a Gumbel law. The exact solution of the problem for the symmetric exponential step length distribution and for the simple Polya lattice walk, as well as a heuristic analysis of other distributions, allow a quantitative study of several facets of the statistics of extremes and records beyond the diffusive scaling regime.


title: Practical Recommendations for the Design of Automatic Fault Detection Algorithms Based on Experiments with Field Monitoring Data

abstract: Automatic fault detection (AFD) is a key technology to optimize the Operation and Maintenance of photovoltaic (PV) systems portfolios. A very common approach to detect faults in PV systems is based on the comparison between measured and simulated performance. Although this approach has been explored by many authors, due to the lack a common basis for evaluating their performance, it is still unclear what are the influencing aspects in the design of AFD algorithms. In this study, a series of AFD algorithms have been tested under real operating conditions, using monitoring data collected over 58 months on 80 rooftop-type PV systems installed in Germany. The results shown that this type of AFD algorithm have the potential to detect up to 82.8% of the energy losses with specificity above 90%. In general, the higher the simulation accuracy, the higher the specificity. The use of less accurate simulations can increase sensitivity at the cost of decreasing specificity. Analyzing the measurements individually makes the algorithm less sensitive to the simulation accuracy. The use of machine learning clustering algorithm for the statistical analysis showed exceptional ability to prevent false alerts, even in cases where the modeling accuracy is not high. If a slightly higher level of false alerts can be tolerated, the analysis of daily PR using a Shewhart chart provides the high sensitivity with an exceptionally simple solution with no need for more complex algorithms for modeling or clustering.


title: Parameter-Efficient Mixture-of-Experts Architecture for Pre-trained Language Models

abstract: Recently, Mixture-of-Experts (short as MoE) architecture has achieved remarkable success in increasing the model capacity of large-scale language models. However, MoE requires incorporating significantly more parameters than the base model being extended. In this paper, we propose building a parameter-efficient MoE architecture by sharing information among experts. We adopt the matrix product operator (MPO, a tensor decomposition from quantum many-body physics) to reconstruct the parameter matrix in the expert layer and increase model capacity for pre-trained language models by sharing parameters of the central tensor (containing the core information) among different experts while enabling the specificity through the auxiliary tensors (complementing the central tensor) of different experts. To address the unbalanced optimization issue, we further design the gradient mask strategy for the MPO-based MoE architecture. Extensive experiments based on T5 and GPT-2 show improved performance and efficiency of the pre-trained language model (27.2x reduction in total parameters for the superior model performance, compared with the Switch Transformers). Our code is publicly available at https://github.com/RUCAIBox/MPOE.


title: Topological Lie bialgebra structures and their classification over $ \mathfrak{g}[\![x]\!] $

abstract: This paper is devoted to a classification of topological Lie bialgebra structures on the Lie algebra $\mathfrak{g}[\![x]\!]$, where $ \mathfrak{g} $ is a finite-dimensional simple Lie algebra over an algebraically closed field $ F $ of characteristic $ 0 $. We introduce the notion of a topological Manin pair $(L, \mathfrak{g}[\![x]\!])$ and present their classification by relating them to trace extensions of \( F[\![x]\!] \). Then we recall the classification of topological doubles of Lie bialgebra structures on $\mathfrak{g}[\![x]\!]$ and view the latter as a special case of the classification of Manin pairs. The classification of topological doubles states that up to some notion of equivalence there are only three non-trivial doubles. It is proven that topological Lie bialgebra structures on $\mathfrak{g}[\![x]\!]$ are in bijection with certain Lagrangian Lie subalgebras of the corresponding doubles. We then attach algebro-geometric data to such Lagrangian subalgebras and, in this way, obtain a classification of all topological Lie bialgebra structures with non-trivial doubles. When $F = \mathbb{C}$ the classification becomes explicit. Furthermore, this result enables us to classify formal solutions of the classical Yang-Baxter equation.


title: Modular forms on SU(2,1) with weight $\frac{1}{3}$

abstract: In this note, we describe several new examples of holomorphic modular forms on the group SU(2,1). These forms are distinguished by having weight $\frac{1}{3}$. We also describe a method for determining the levels at which one should expect to find such fractional weight forms.


title: ReStore: In-Memory REplicated STORagE for Rapid Recovery in Fault-Tolerant Algorithms

abstract: Fault-tolerant distributed applications require mechanisms to recover data lost via a process failure. On modern cluster systems it is typically impractical to request replacement resources after such a failure. Therefore, applications have to continue working with the remaining resources. This requires redistributing the workload and that the non-failed processes reload data. We present an algorithmic framework and its C++ library implementation ReStore for MPI programs that enables recovery of data after process failures. By storing all required data in memory via an appropriate data distribution and replication, recovery is substantially faster than with standard checkpointing schemes that rely on a parallel file system. As the application developer can specify which data to load, we also support shrinking recovery instead of recovery using spare compute nodes. We evaluate ReStore in both controlled, isolated environments and real applications. Our experiments show loading times of lost input data in the range of milliseconds on up to 24 576 processors and a substantial speedup of the recovery time for the fault-tolerant version of a widely used bioinformatics application.