title: A comparison of Ashtekar's and Friedrich's formalisms of spatial infinity

abstract: Penrose's idea of asymptotic flatness provides a framework for understanding the asymptotic structure of gravitational fields of isolated systems at null infinity. However, the studies of the asymptotic behaviour of fields near spatial infinity are more challenging due to the singular nature of spatial infinity in a regular point compactification for spacetimes with non-vanishing ADM mass. Two different frameworks that address this challenge are Friedrich's cylinder at spatial infinity and Ashtekar's definition of asymptotically Minkowskian spacetimes at spatial infinity that give rise to the 3-dimensional asymptote at spatial infinity $\mathcal{H}$. Both frameworks address the singularity at spatial infinity although the link between the two approaches had not been investigated in the literature. This article aims to show the relation between Friedrich's cylinder and the asymptote as spatial infinity. To do so, we initially consider this relation for Minkowski spacetime. It can be shown that the solution to the conformal geodesic equations provides a conformal factor that links the cylinder and the asymptote. For general spacetimes satisfying Ashtekar's definition, the conformal factor cannot be determined explicitly. However, proof of the existence of this conformal factor is provided in this article. Additionally, the conditions satisfied by physical fields on the asymptote $\mathcal{H}$ are derived systematically using the conformal constraint equations. Finally, it is shown that a solution to the conformal geodesic equations on the asymptote can be extended to a small neighbourhood of spatial infinity by making use of the stability theorem for ordinary differential equations. This solution can be used to construct a conformal Gaussian system in a neighbourhood of $\mathcal{H}$.


title: Difference Characterization of Besov and Triebel-Lizorkin Spaces on Spaces of Homogeneous Type

abstract: In this article, the authors introduce the spaces of Lipschitz type on spaces of homogeneous type in the sense of Coifman and Weiss, and discuss their relations with Besov and Triebel-Lizorkin spaces. As an application, the authors establish the difference characterization of Besov and Triebel-Lizorkin spaces on spaces of homogeneous type. A major novelty of this article is that all results presented in this article get rid of the dependence on the reverse doubling assumption of the considered measure of the underlying space ${\mathcal X}$ via using the geometrical property of ${\mathcal X}$ expressed by its dyadic reference points, dyadic cubes, and the (local) lower bound. Moreover, some results when $p\le 1$ but near to $1$ are new even when ${\mathcal X}$ is an RD-space.


title: Electric Quadrupolar Contributions in the Magnetic Phases of UNi$_4$B

abstract: We present acoustic signatures of the electric quadrupolar degrees of freedom in the honeycomb-layer compound UNi$_4$B. The transverse ultrasonic mode $C_{66}$ shows softening below 30 K both in the paramagnetic phase and antiferromagnetic phases down to $\sim0.33$ K. Furthermore, we traced magnetic field-temperature phase diagrams up to 30 T and observed a highly anisotropic elastic response within the honeycomb layer. These observations strongly suggest that $\Gamma_6$(E$_{\rm 2g}$) electric quadrupolar degrees of freedom in localized $5f^2$ ($J = 4$) states are playing an important role in the magnetic toroidal dipole order and magnetic-field-induced phases of UNi$_4$B, and evidence some of the U ions remain in the paramagnetic state even if the system undergoes magnetic toroidal ordering.


title: A super-resolution analysis of the DSHARP survey: Substructure is common in the inner 30 au

abstract: The DSHARP survey evidenced the ubiquity of substructure in the mm dust distribution of large, bright protoplanetary discs. Intriguingly, these datasets have yet higher resolution information that is not recovered in a CLEAN image. We first show that the intrinsic performance of the CLEAN algorithm is resolution-limited. Then analyzing all 20 DSHARP sources using the 1D, super-resolution code Frankenstein (frank), we accurately fit the 1D visibilities to a mean factor of 4.3 longer baseline than the Fourier transform of the CLEAN images and a factor of 3.0 longer baseline than the transform of the CLEAN component models. This yields a higher resolution brightness profile for each source, identifying new substructure interior to 30 au in multiple discs; resolving known gaps to be deeper, wider, and more structured; and known rings to be narrower and brighter. Across the survey, high contrast gaps are an average 14% wider and 44% deeper in the frank profiles relative to CLEAN, and high contrast rings are an average 26% narrower. Categorizing the frank brightness profiles into trends, we find that the relative scarcity of features interior to 30 au in the survey's CLEAN images is an artifact of resolving power, rather than an intrinsic rarity of inner disc (or compact disc) substructure. Finally the rings in the frank profiles are narrower than the previously inferred deconvolved widths, indicating smaller alpha / St ratios in the local gas disc.


title: Hybrid accretion of carbonaceous chondrites by radial transport across the Jupiter barrier

abstract: Understanding the origin of chondritic components and their accretion pathways is critical to unravel the magnitude of mass transport in the protoplanetary disk, the accretionary history of the terrestrial planet region and, by extension, its prebiotic inventory. Here, we trace the heritage of pristine components from the relatively unaltered CV chondrite Leoville through their mass-independent Cr and mass-dependent Zn isotope compositions. Investigating these chondritic fractions in such detail reveals an onion-shell structure of chondrules, which is characterized by 54Cr- and 66Zn-poor cores surrounded by increasingly 54Cr- and 66Zn-rich igneous rims and an outer coating of fine-grained dust. This is interpreted as a progressive addition of 54Cr- and 66Zn-rich, CI-like material to the accretion region of these carbonaceous chondrites. Our findings show that the observed Cr isotopic range in chondrules from more altered CV chondrites is the result of chemical equilibration between chondrules and matrix during secondary alteration. The 54Cr-poor nature of the cores of Leoville chondrules implies formation in the inner Solar System and subsequent massive outward chondrule transport past the Jupiter barrier. At the same time, CI-like dust is transferred inwards. We propose that the accreting Earth acquired CI-like dust through this mechanism within the lifetime of the disk. This radial mixing of chondrules and matrix shows the limited capacity of Jupiter to act as an efficient barrier and maintain the proposed non-carbonaceous and carbonaceous chondrite dichotomy over time. Finally, also considering current astrophysical models, we explore both inner and outer Solar System origins for the CV chondrite parent body.


title: Self-Distribution Binary Neural Networks

abstract: In this work, we study the binary neural networks (BNNs) of which both the weights and activations are binary (i.e., 1-bit representation). Feature representation is critical for deep neural networks, while in BNNs, the features only differ in signs. Prior work introduces scaling factors into binary weights and activations to reduce the quantization error and effectively improves the classification accuracy of BNNs. However, the scaling factors not only increase the computational complexity of networks, but also make no sense to the signs of binary features. To this end, Self-Distribution Binary Neural Network (SD-BNN) is proposed. Firstly, we utilize Activation Self Distribution (ASD) to adaptively adjust the sign distribution of activations, thereby improve the sign differences of the outputs of the convolution. Secondly, we adjust the sign distribution of weights through Weight Self Distribution (WSD) and then fine-tune the sign distribution of the outputs of the convolution. Extensive experiments on CIFAR-10 and ImageNet datasets with various network structures show that the proposed SD-BNN consistently outperforms the state-of-the-art (SOTA) BNNs (e.g., achieves 92.5% on CIFAR-10 and 66.5% on ImageNet with ResNet-18) with less computation cost. Code is available at https://github.com/ pingxue-hfut/SD-BNN.


title: Automation-driven innovation management? Toward Innovation-Automation-Strategy cycle

abstract: There is a resurging interest in automation because of rapid progress of machine learning and AI. In our perspective, innovation is not an exemption from their expansion. This situation gives us an opportunity to reflect on a direction of future innovation studies. In this conceptual paper, we propose a framework of innovation process by exploiting the concept of unit process. Deploying it in the context of automation, we indicate the important aspects of innovation process, i.e. human, organizational, and social factors. We also highlight the cognitive and interactive underpinnings at micro- and macro-levels of the process. We propose to embrace all those factors in what we call Innovation-Automation-Strategy cycle (IAS). Implications of IAS for future research are also put forward. Keywords: innovation, automation of innovation, unit process, innovation-automation-strategy cycle


title: $S^3$: Learnable Sparse Signal Superdensity for Guided Depth Estimation

abstract: Dense depth estimation plays a key role in multiple applications such as robotics, 3D reconstruction, and augmented reality. While sparse signal, e.g., LiDAR and Radar, has been leveraged as guidance for enhancing dense depth estimation, the improvement is limited due to its low density and imbalanced distribution. To maximize the utility from the sparse source, we propose $S^3$ technique, which expands the depth value from sparse cues while estimating the confidence of expanded region. The proposed $S^3$ can be applied to various guided depth estimation approaches and trained end-to-end at different stages, including input, cost volume and output. Extensive experiments demonstrate the effectiveness, robustness, and flexibility of the $S^3$ technique on LiDAR and Radar signal.


title: Long Live The Image: Container-Native Data Persistence in Production

abstract: Containerization plays a crucial role in the de facto technology stack for implementing microservices architecture (each microservice has its own database in most cases). Nevertheless, there are still fierce debates on containerizing production databases, mainly due to the data persistence issues and concerns. Driven by a project of refactoring an Automated Machine Learning system, this research proposes the container-native data persistence as a conditional solution to running database containers in production. In essence, the proposed solution distinguishes the stateless data access (i.e. reading) from the stateful data processing (i.e. creating, updating, and deleting) in databases. A master database handles the stateful data processing and dumps database copies for building container images, while the database containers will keep stateless at runtime, based on the preloaded dump in the image. Although there are delays in the state/image update propagation, this solution is particularly suitable for the read-only, the eventual consistency, and the asynchronous processing scenarios. Moreover, with optimal tuning (e.g., disabling locking), the portability and performance gains of a read-only database container would outweigh the performance loss in accessing data across the underlying image layers.


title: Correct-by-construction reach-avoid control of partially observable linear stochastic systems

abstract: We study feedback controller synthesis for reach-avoid control of discrete-time, linear time-invariant (LTI) systems with Gaussian process and measurement noise. The problem is to compute a controller such that, with at least some required probability, the system reaches a desired goal state in finite time while avoiding unsafe states. Due to stochasticity and nonconvexity, this problem does not admit exact algorithmic or closed-form solutions in general. Our key contribution is a correct-by-construction controller synthesis scheme based on a finite-state abstraction of a Gaussian belief over the unmeasured state, obtained using a Kalman filter. We formalize this abstraction as a Markov decision process (MDP). To be robust against numerical imprecision in approximating transition probabilities, we use MDPs with intervals of transition probabilities. By construction, any policy on the abstraction can be refined into a piecewise linear feedback controller for the LTI system. We prove that the closed-loop LTI system under this controller satisfies the reach-avoid problem with at least the required probability. The numerical experiments show that our method is able to solve reach-avoid problems for systems with up to 6D state spaces, and with control input constraints that cannot be handled by methods such as the rapidly-exploring random belief trees (RRBT).


title: GW190814 follow-up with the optical telescope MeerLICHT

abstract: The Advanced LIGO and Virgo gravitational wave observatories detected a signal on 2019 August 14 during their third observing run, named GW190814. A large number of electromagnetic facilities conducted follow-up campaigns in the search for a possible counterpart to the gravitational wave event, which was made especially promising given the early source classification of a neutron star-black hole merger.We present the results of the GW follow-up campaign taken with the wide-field optical telescope MeerLICHT, located at the South African Astronomical Observatory Sutherland site. We use our results to constrain possible kilonova models. MeerLICHT observed more than 95% of the probability localisation each night for over a week in three optical bands (u,q,i) with our initial observations beginning almost 2 hours after the GW detection. We describe the search for new transients in MeerLICHT data and investigate how our limiting magnitudes can be used to constrain an AT2017gfo-like kilonova. A single new transient was found in our analysis of MeerLICHT data, which we exclude from being the electromagnetic counterpart to GW190814 due to the existence of a spatially unresolved source at the transient's coordinates in archival data. Using our limiting magnitudes, the confidence with which we can exclude the presence of an AT2017gfo-like kilonova at the distance of GW190814 was low ($<10^{-4}$).


title: Continuity properties of Lyapunov exponents for surface diffeomorphisms

abstract: We study the entropy and Lyapunov exponents of invariant measures $\mu$ for smooth surface diffeomorphisms $f$, as functions of $(f,\mu)$. The main result is an inequality relating the discontinuities of these functions. One consequence is that for a $C^\infty$ surface diffeomorphisms, on any set of ergodic measures with entropy bounded away from zero, continuity of the entropy implies continuity of the exponents. Another consequence is the upper semi-continuity of the Hausdorff dimension on the set of ergodic invariant measures with entropy bounded away from zero. We also obtain a new criterion for the existence of SRB measures with positive entropy.


title: On M\'etivier's Lax-Mizohata theorem and extensions to weak defects of hyperbolicity. Part two

abstract: We continue our study of initial-value problems for fully nonlinear systems exhibiting strong or weak defects of hyperbolicity. We prove that, regardless of the initial Sobolev regularity, the initial-value problem has no local $H^s$ solutions, for $s > s_0 + d/2,$ if the principal symbol has a strong, or even weak, defect of hyperbolicity, and the purely imaginary eigenvalues of the principal symbol are semi-simple and have constant multiplicity. The index $s_0 > 0$ depends on the severity of the defect of hyperbolicity. These results recover and extend previous work from G. M\'etivier [{\it Remarks on the well posedness of the nonlinear Cauchy problem,} 2005], N.Lerner, Y. Morimoto, C.-J. Xu [{\it Instability of the Cauchy-Kovalevskaya solution for a class of non-linear systems}, 2010] and N. Lerner, T. Nguyen, B. Texier, {\it The onset of instability in first-order systems}, 2018]


title: Informational Robustness of Common Belief in Rationality

abstract: In this note, I explore the implications of informational robustness under the assumption of common belief in rationality. That is, predictions for incomplete-information games which are valid across all possible information structures. First, I address this question from a global perspective and then generalize the analysis to allow for localized informational robustness.


title: Filter Function Formalism and Software Package to Compute Quantum Processes of Gate Sequences for Classical Non-Markovian Noise

abstract: Correlated, non-Markovian noise is present in many solid-state systems employed as hosts for quantum information technologies, significantly complicating the realistic theoretical description of these systems. In this regime, the effects of noise on sequences of quantum gates cannot be described by concatenating isolated quantum operations if the environmental correlation times are on the scale of the typical gate durations. The filter function formalism has been successful in characterizing the decay of coherence under the influence of such classical, non-Markovian environments and here we show it can be applied to describe unital evolution within the quantum operations formalism. We find exact results for the quantum process and a simple composition rule for a sequence of operations. This enables the detailed study of effects of noise correlations on algorithms and periodically driven systems. Moreover, we point out the method's suitability for numerical applications and present the open-source Python software package filter_functions. Amongst other things, it facilitates computing the noise-averaged transfer matrix representation of a unital quantum operation in the presence of universal classical noise for arbitrary control sequences. We apply the presented methods to selected examples.


title: Quantum Network Discrimination

abstract: Discrimination between objects, in particular quantum states, is one of the most fundamental tasks in (quantum) information theory. Recent years have seen significant progress towards extending the framework to point-to-point quantum channels. However, with technological progress the focus of the field is shifting to more complex structures: Quantum networks. In contrast to channels, networks allow for intermediate access points where information can be received, processed and reintroduced into the network. In this work we study the discrimination of quantum networks and its fundamental limitations. In particular when multiple uses of the network are at hand, the rooster of available strategies becomes increasingly complex. The simplest quantum network that capturers the structure of the problem is given by a quantum superchannel. We discuss the available classes of strategies when considering $n$ copies of a superchannel and give fundamental bounds on the asymptotically achievable rates in an asymmetric discrimination setting. Furthermore, we discuss achievability, symmetric network discrimination, the strong converse exponent, generalization to arbitrary quantum networks and finally an application to an active version of the quantum illumination problem.


title: Relate and Predict: Structure-Aware Prediction with Jointly Optimized Neural DAG

abstract: Understanding relationships between feature variables is one important way humans use to make decisions. However, state-of-the-art deep learning studies either focus on task-agnostic statistical dependency learning or do not model explicit feature dependencies during prediction. We propose a deep neural network framework, dGAP, to learn neural dependency Graph and optimize structure-Aware target Prediction simultaneously. dGAP trains towards a structure self-supervision loss and a target prediction loss jointly. Our method leads to an interpretable model that can disentangle sparse feature relationships, informing the user how relevant dependencies impact the target task. We empirically evaluate dGAP on multiple simulated and real datasets. dGAP is not only more accurate, but can also recover correct dependency structure.


title: Multi-attentional Deepfake Detection

abstract: Face forgery by deepfake is widely spread over the internet and has raised severe societal concerns. Recently, how to detect such forgery contents has become a hot research topic and many deepfake detection methods have been proposed. Most of them model deepfake detection as a vanilla binary classification problem, i.e, first use a backbone network to extract a global feature and then feed it into a binary classifier (real/fake). But since the difference between the real and fake images in this task is often subtle and local, we argue this vanilla solution is not optimal. In this paper, we instead formulate deepfake detection as a fine-grained classification problem and propose a new multi-attentional deepfake detection network. Specifically, it consists of three key components: 1) multiple spatial attention heads to make the network attend to different local parts; 2) textural feature enhancement block to zoom in the subtle artifacts in shallow features; 3) aggregate the low-level textural feature and high-level semantic features guided by the attention maps. Moreover, to address the learning difficulty of this network, we further introduce a new regional independence loss and an attention guided data augmentation strategy. Through extensive experiments on different datasets, we demonstrate the superiority of our method over the vanilla binary classifier counterparts, and achieve state-of-the-art performance.


title: A Comparison of Likelihood-Free Methods With and Without Summary Statistics

abstract: Likelihood-free methods are useful for parameter estimation of complex models with intractable likelihood functions for which it is easy to simulate data. Such models are prevalent in many disciplines including genetics, biology, ecology and cosmology. Likelihood-free methods avoid explicit likelihood evaluation by finding parameter values of the model that generate data close to the observed data. The general consensus has been that it is most efficient to compare datasets on the basis of a low dimensional informative summary statistic, incurring information loss in favour of reduced dimensionality. More recently, researchers have explored various approaches for efficiently comparing empirical distributions in the likelihood-free context in an effort to avoid data summarisation. This article provides a review of these full data distance based approaches, and conducts the first comprehensive comparison of such methods, both qualitatively and empirically. We also conduct a substantive empirical comparison with summary statistic based likelihood-free methods. The discussion and results offer guidance to practitioners considering a likelihood-free approach. Whilst we find the best approach to be problem dependent, we also find that the full data distance based approaches are promising and warrant further development. We discuss some opportunities for future research in this space. Computer code to implement the methods discussed in this paper can be found at https://github.com/cdrovandi/ABC-dist-compare.


title: Analysis of the PICUP Collection: Strengths and Areas for Development

abstract: The PICUP Collection of Exercise Sets (https://www.compadre.org/PICUP/exercises/) contains over 60 peer-reviewed computation-infused activities for use in various physics courses from high school through graduate study. Each Exercise Set includes an instructor guide, student-facing exercises, and sample implementations for one or more programming platforms. We present an analysis of this Collection based on Exercise Set traits such as course level, word count, completion time, course context, computational methods, programming platforms, and engagement elements. This analysis highlights the strengths of the PICUP Collection (such as variety in subject and method coverage) and where there is ample room for development (such as expansion of high school- and advanced-level offerings and a greater representation of programming platforms).


title: Hong-Ou-Mandel interferometry and spectroscopy using entangled photons

abstract: Optical interferometry has been a long-standing setup for characterization of quantum states of light. Both the linear and the nonlinear interferences can provide information about the light statistics an underlying detail of the light-matter interactions. Here we demonstrate how interferometric detection of nonlinear spectroscopic signals may be used to improve the measurement accuracy of matter susceptibilities. Light-matter interactions change the photon statistics of quantum light, which are encoded in the field correlation functions. Application is made to the Hong-Ou-Mandel two-photon interferometer that reveals entanglement-enhanced resolution that can be achieved with existing optical technology.


title: OAG-BERT: Towards A Unified Backbone Language Model For Academic Knowledge Services

abstract: Academic knowledge services have substantially facilitated the development of the science enterprise by providing a plenitude of efficient research tools. However, many applications highly depend on ad-hoc models and expensive human labeling to understand scientific contents, hindering deployments into real products. To build a unified backbone language model for different knowledge-intensive academic applications, we pre-train an academic language model OAG-BERT that integrates both the heterogeneous entity knowledge and scientific corpora in the Open Academic Graph (OAG) -- the largest public academic graph to date. In OAG-BERT, we develop strategies for pre-training text and entity data along with zero-shot inference techniques. In OAG-BERT, we develop strategies for pre-training text and entity data along with zero-shot inference techniques. Its zero-shot capability furthers the path to mitigate the need of expensive annotations. OAG-BERT has been deployed for real-world applications, such as the reviewer recommendation function for National Nature Science Foundation of China (NSFC) -- one of the largest funding agencies in China -- and paper tagging in AMiner. All codes and pre-trained models are available via the CogDL toolkit.


title: Effective Theory of Inflationary Magnetogenesis and Constraints on Reheating

abstract: Effective theory framework based on symmetry has recently gained widespread interest in the field of cosmology. In this paper, we apply the same idea on the genesis of the primordial magnetic field and its evolution throughout the cosmological universe. Given the broken time-diffeomorphism symmetry by the cosmological background, we considered the most general Lagrangian of electromagnetic and metric fluctuation up to second order, which naturally breaks conformal symmetry in the electromagnetic (EM) sector. We also include parity violation in the electromagnetic sector with the motivation that has potential observational significance. In such a set-up, we explore the evolution of EM, scalar, and tensor perturbations considering different observational constraints. In our analysis we emphasize the role played by the intermediate reheating phase which has got limited interest in all the previous studies. Assuming the vanishing electrical conductivity during the entire period of reheating, the well-known Faraday electromagnetic induction has been shown to play a crucial role in enhancing the strength of the present-day magnetic field. We show how such physical effects combined with the PLANCK and the large scale magnetic field observation makes a large class of models viable and severely restricts the reheating equation of state parameter within a very narrow range of $0.01 < \omega_\mathrm{eff} < 0.27$, which is nearly independent of reheating scenarios we have considered.


title: A matryoshka structure of higher secant varieties and the generalized Bronowski's conjecture

abstract: In projective algebraic geometry, there are classical and fundamental results that describe the structure of geometry and syzygies, and many of them characterize varieties of minimal degree and del Pezzo varieties. In this paper, we consider analogous objects in the category of higher secant varieties. Our main theorems say that there is a matryoshka structure among those basic objects including a generalized $K_{p,1}$ theorem, syzygetic and geometric characterizations of higher secant varieties of minimal degree and del Pezzo higher secant varieties, defined in this paper. For our purpose, we prove a weak form of the generalized Bronowski's conjecture raised by C. Ciliberto and F. Russo that relates the identifiability for higher secant varieties to the geometry of tangential projections.


title: Estimation of Dirichlet distribution parameters with bias-reducing adjusted score functions

abstract: The Dirichlet distribution, also known as multivariate beta, is the most used to analyse frequencies or proportions data. Maximum likelihood is widespread for estimation of Dirichlet's parameters. However, for small sample sizes, the maximum likelihood estimator may shows a significant bias. In this paper, Dirchlet's parameters estimation is obtained through modified score functions aiming at mean and median bias reduction of the maximum likelihood estimator, respectively. A simulation study and an application compare the adjusted score approaches with maximum likelihood.


title: Facets of the cone of exact games

abstract: The class of exact transferable utility coalitional games, introduced in 1972 by Schmeidler, has been studied both in the context of game theory and in the context of imprecise probabilities. We characterize the cone of exact games by describing the minimal set of linear inequalities defining this cone; these facet-defining inequalities for the exact cone appear to correspond to certain set systems (= systems of coalitions). We noticed that non-empty proper coalitions having non-zero coefficients in these facet-defining inequalities form set systems with particular properties. More specifically, we introduce the concept of a semi-balanced system of coalitions, which generalizes the classic concept of a balanced coalitional system in cooperative game theory. The semi-balanced coalitional systems provide valid inequalities for the exact cone and minimal semi-balanced systems (in the sense of inclusion of set systems) characterize this cone. We also introduce basic classification of minimal semi-balanced systems, their pictorial representatives and a substantial concept of an indecomposable (minimal) semi-balanced system of coalitions. The main result of the paper is that indecomposable semi-balanced systems are in one-to-one correspondence with facet-defining inequalities for the exact cone. The secondary relevant result is the rebuttal of a former conjecture claiming that a coalitional game is exact iff it is totally balanced and its anti-dual is also totally balanced. We additionally characterize those inequalities which are facet-defining both for the exact cone and the cone of totally balanced games.


title: ProtoDUNE-DP Light Acquisition and Calibration Software

abstract: ProtoDUNE-DP is a 6x6x6 m3 liquid argon time-projection-chamber operated at the CERN Neutrino Platform in 2019-2020 as a prototype of the Dual Phase concept for the DUNE Far Detector. The Photon Detection System (PDS) is based on 36 8-inch photo-multiplier tubes (PMTs) and allows triggering on the scintillation light signals produced by cosmic rays and other charged particles traversing the detector. The acquisition and calibration software specifically developed for the ProtoDUNE-DP PDS is described in this paper. This software controls the high-voltage power supplies, the calibration system, and the PDS DAQ. It has been developed with Qt Creator, and features different operation modes, and a graphical user interface. This software has already been validated and used during the ProtoDUNE-DP operation.


title: Nanoscale continuous quantum light sources based on driven dipole emitter arrays

abstract: Regular arrays of two-level emitters at distances smaller that the transition wavelength collectively scatter, absorb and emit photons. The strong inter-particle dipole coupling creates large energy shifts of the collective delocalized excitations, which generates a highly nonlinear response at the single and few photon level. This should allow to implement nanoscale non-classical light sources via weak coherent illumination. At the generic tailored examples of regular chains or polygons we show that the fields emitted perpendicular to the illumination direction exhibit a strong directional confinement with genuine quantum properties as antibunching. For short interparticle distances superradiant directional emission can enhance the radiated intensity by an order of magnitude compared to a single atom focused to a strongly confined solid angle but still keeping the anti-bunching parameter at the level of $g^{(2)}(0) \approx 10^{-2}$.


title: Deep Learning-based Automated Aortic Area and Distensibility Assessment: The Multi-Ethnic Study of Atherosclerosis (MESA)

abstract: This study applies convolutional neural network (CNN)-based automatic segmentation and distensibility measurement of the ascending and descending aorta from 2D phase-contrast cine magnetic resonance imaging (PC-cine MRI) within the large MESA cohort with subsequent assessment on an external cohort of thoracic aortic aneurysm (TAA) patients. 2D PC-cine MRI images of the ascending and descending aorta at the pulmonary artery bifurcation from the MESA study were included. Train, validation, and internal test sets consisted of 1123 studies (24282 images), 374 studies (8067 images), and 375 studies (8069 images), respectively. An external test set of TAAs consisted of 37 studies (3224 images). A U-Net based CNN was constructed, and performance was evaluated utilizing dice coefficient (for segmentation) and concordance correlation coefficients (CCC) of aortic geometric parameters by comparing to manual segmentation and parameter estimation. Dice coefficients for aorta segmentation were 97.6% (CI: 97.5%-97.6%) and 93.6% (84.6%-96.7%) on the internal and external test of TAAs, respectively. CCC for comparison of manual and CNN maximum and minimum ascending aortic areas were 0.97 and 0.95, respectively, on the internal test set and 0.997 and 0.995, respectively, for the external test. CCCs for maximum and minimum descending aortic areas were 0.96 and 0. 98, respectively, on the internal test set and 0.93 and 0.93, respectively, on the external test set. We successfully developed and validated a U-Net based ascending and descending aortic segmentation and distensibility quantification model in a large multi-ethnic database and in an external cohort of TAA patients.


title: Optical spin conductivity in ultracold quantum gases

abstract: We show that the optical spin conductivity being a small AC response of a bulk spin current and elusive in condensed matter systems can be measured in ultracold atoms. We demonstrate that this conductivity contains rich information on quantum states by analyzing experimentally achievable systems such as a spin-1/2 superfluid Fermi gas, a spin-1 Bose-Einstein condensate, and a Tomonaga-Luttinger liquid. The obtained conductivity spectra being absent in the Drude conductivity reflect quasiparticle excitations and non-Fermi liquid properties. Accessible physical quantities include the superfluid gap and the contact for the superfluid Fermi gas, gapped and gapless spin excitations as well as quantum depletion for the Bose-Einstein condensate, and the spin part of the Tomonaga-Luttinger liquid parameter elusive in cold-atom experiments. Unlike its mass transport counterpart, the spin conductivity serves as a probe applicable to clean atomic gases without disorder and lattice potentials. Our formalism can be generalized to various systems such as spin-orbit coupled and nonequilibrium systems.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.mtrl-sci cond-mat.str-el cond-mat.supr-con


title: Interpolation of surfaces with asymptotic curves in Euclidean 3-space

abstract: In this paper, we investigate the interpolation of surfaces which are obtained from an isoasymptotic curve in 3D-Euclidean space. We prove that there exist a unique $ C^0 $-Hermite surface interpolation related to an isoasymptotic curve under some special conditions on the marching scale functions. Finally, we present some examples and plot their graphs.


title: Multi-view Audio and Music Classification

abstract: We propose in this work a multi-view learning approach for audio and music classification. Considering four typical low-level representations (i.e. different views) commonly used for audio and music recognition tasks, the proposed multi-view network consists of four subnetworks, each handling one input types. The learned embedding in the subnetworks are then concatenated to form the multi-view embedding for classification similar to a simple concatenation network. However, apart from the joint classification branch, the network also maintains four classification branches on the single-view embedding of the subnetworks. A novel method is then proposed to keep track of the learning behavior on the classification branches and adapt their weights to proportionally blend their gradients for network training. The weights are adapted in such a way that learning on a branch that is generalizing well will be encouraged whereas learning on a branch that is overfitting will be slowed down. Experiments on three different audio and music classification tasks show that the proposed multi-view network not only outperforms the single-view baselines but also is superior to the multi-view baselines based on concatenation and late fusion.


title: The effect of speech and noise levels on the quality perceived by cochlear implant and normal hearing listeners

abstract: Electrical hearing by cochlear implants (CIs) may be fundamentally different from acoustic hearing by normal-hearing (NH) listeners, presumably showing unequal speech quality perception in various noise environments. Noise reduction (NR) algorithms used in CI reduce the noise in favor of signal-to-noise ratio (SNR), regardless of plausible accompanying distortions that may degrade the speech quality perception. To gain better understanding of CI speech quality perception, the present work aimed investigating speech quality perception in a diverse noise conditions, including factors of speech/noise levels, type of noise, and distortions caused by NR models. Fifteen NH and seven CI subjects participated in this study. Speech sentences were set to two different levels (65 and 75 dB SPL). Two types of noise (Cafeteria and Babble) at three levels (55, 65, and 75 dB SPL) were used. Sentences were processed using two NR algorithms to investigate the perceptual sensitivity of CI and NH listeners to the distortion. All sentences processed with the combinations of these sets were presented to CI and NH listeners, and they were asked to rate the sound quality of speech as they perceived. The effect of each factor on the perceived speech quality was investigated based on the group averaged quality rated by CI and NH listeners. Consistent with previous studies, CI listeners were not as sensitive as NH to the distortion made by NR algorithms. Statistical analysis showed that the speech level has significant effect on quality perception. At the same SNR, the quality of 65 dB speech was rated higher than that of 75 dB for CI users, but vice versa for NH listeners. Therefore, the present study showed that the perceived speech quality patterns were different between CI and NH listeners in terms of their sensitivity to distortion and speech level in complex listening environment.


title: Spectro-temporal studies of rapid transition of the quasi periodic oscillations in the black hole source H1743-322

abstract: An appearance or disappearance of QPOs associated with the variation of X-ray flux can be used to decipher the accretion ejection mechanism of black hole X-ray sources. We searched and studied such rapid transitions in H1743-322 using RXTE archival data and found eight such events, where QPO vanishes suddenly along with the variation of X-ray flux. The appearance/disappearance of QPOs were associated to the four events exhibiting type-B QPOs at $\sim$ 4.5 Hz, one with type-A QPO at $\nu$ $\sim$ 3.5 Hz, and the remaining three were connected to type-C QPOs at $\sim$ 9.5 Hz. Spectral studies of the data unveiled that an inner disk radius remained at the same location around 2-9 r$_g$ , depending on the used model but power-law indices were varying, indicating that either corona or jet is responsible for the events. The probable ejection radii of corona were estimated to be around 4.2-15.4 r$_g$ based on the plasma ejection model. Our X-ray and quasi-simultaneous radio correlation studies suggest that the type-B QPOs are probably related to the precession of a weak jet though a small and weak corona is present at its base and the type-C QPOs are associated to the base of a relatively strong jet which is acting like a corona.


title: RBF approximation of three dimensional PDEs using Tensor Krylov subspace methods

abstract: In this paper, we propose different algorithms for the solution of a tensor linear discrete ill-posed problem arising in the application of the meshless method for solving PDEs in three-dimensional space using multiquadric radial basis functions. It is well known that the truncated singular value decomposition (TSVD) is the most common effective solver for ill-conditioned systems, but unfortunately the operation count for solving a linear system with the TSVD is computationally expensive for large-scale matrices. In the present work, we propose algorithms based on the use of the well known Einstein product for two tensors to define the tensor global Arnoldi and the tensor Gloub Kahan bidiagonalization algorithms. Using the so-called Tikhonov regularization technique, we will be able to provide computable approximate regularized solutions in a few iterations.


title: Introducing a new multi-particle collision method for the evolution of dense stellar systems II. Core collapse

abstract: In a previous paper we introduced a new method for simulating collisional gravitational $N$-body systems with linear time scaling on $N$, based on the Multi-Particle Collision (MPC) approach. This allows us to simulate globular clusters with a realistic number of stellar particles in a matter of hours on a typical workstation. We evolve star clusters containing up to $10^6$ stars to core collapse and beyond. We quantify several aspects of core collapse over multiple realizations and different parameters, while always resolving the cluster core with a realistic number of particles. We run a large set of N-body simulations with our new code. The cluster mass function is a power-law with no stellar evolution, allowing us to clearly measure the effects of the mass spectrum. Leading up to core collapse, we find a power-law relation between the size of the core and the time left to core collapse. Our simulations thus confirm the theoretical self-similar contraction picture but with a dependence on the slope of the mass function. The time of core collapse has a non-monotonic dependence on the slope, which is well fit by a parabola. This holds also for the depth of core collapse and for the dynamical friction timescale of heavy particles. Cluster density profiles at core collapse show a broken power law structure, suggesting that central cusps are a genuine feature of collapsed cores. The core bounces back after collapse, and the inner density slope evolves to an asymptotic value. The presence of an intermediate-mass black hole inhibits core collapse. We confirm and expand on several predictions of star cluster evolution before, during, and after core collapse. Such predictions were based on theoretical calculations or small-size direct $N$-body simulations. Here we put them to the test on MPC simulations with a much larger number of particles, allowing us to resolve the collapsing core.


title: Spacetime Path Integrals for Entangled States

abstract: Although the path-integral formalism is known to be equivalent to conventional quantum mechanics, it is not generally obvious how to implement path-based calculations for multi-qubit entangled states. Whether one takes the formal view of entangled states as entities in a high-dimensional Hilbert space, or the intuitive view of these states as a connection between distant spatial configurations, it may not even be obvious that a path-based calculation can be achieved using only paths in ordinary space and time. Previous work has shown how to do this for certain special states; this paper extends those results to all pure two-qubit states, where each qubit can be measured in an arbitrary basis. Certain three-qubit states are also developed, and path integrals again reproduce the usual correlations. These results should allow for a substantial amount of conventional quantum analysis to be translated over into a path-integral perspective, simplifying certain calculations, and more generally informing research in quantum foundations.


title: Conjectural invariance with respect to the fusion system of an almost-source algebra

abstract: We show that, given an almost-source algebra $A$ of a $p$-block of a finite group $G$, then the unit group of $A$ contains a basis stabilized by the left and right multiplicative action of the defect group if and only if, in a sense to be made precise, certain relative multiplicities of local pointed groups are invariant with respect to the fusion system. We also show that, when $G$ is $p$-solvable, those two equivalent conditions hold for some almost-source algebra of the given $p$-block. One motive lies in the fact that, by a theorem of Linckelmann, if the two equivalent conditions hold for $A$, then any stable basis for $A$ is semicharacteristic for the fusion system.


title: The generalization of Schr\"oder's theorem (1871): The multinomial theorem for formal power series under composition

abstract: We consider formal power series $ f(x) = a_1 x + a_2 x^2 + \cdots $ $(a_1 \neq 0)$, with coefficients in a field. We revisit the classical subject of iteration of formal power series, the n-fold composition $f^{(n)}(x)=f(f(\cdots (f(x)\cdots))=f^{(n-1)}(f(x))=\sum\limits_{k=1}^{\infty}f_k^{(n)}x^k$ for $n=2,3,\ldots$, where $f^{(1)}(x)=f(x)$. The study of this was begun, and the coefficients $f_k^{(n)}$ where calculated assuming $a_1=1$, by Schr\"oder in 1871. The major result of this paper, Theorem 7.1.1, generalizes Schr\"oder [15]. It gives explicit formulas for the coefficients $f_k^{(n)}$ when $a_1 \neq 0$ and it is viewed as an analog to the $n^{th}$ Multinomial Theorem Under Multiplication. We prove Schr\"oder's Theorem using a new and shorter approach.The Recursion Lemma, Lemma 3.1.1,which sharpens Cohen's lemma (Lemma 2.4.2) is our key tool in the proof of Theorem 7.1.1 and it is one of the most useful recurrence relations for the composition of formal power series. Along the way we develop numerical formulas for $f_k^{(n)} {\rm where} 1\leq k\leq 5$.


title: Two characterizations of the grid graphs

abstract: In this paper we give two characterizations of the $p \times q$-grid graphs as co-edge-regular graphs with four distinct eigenvalues.


title: Land Cover Mapping in Limited Labels Scenario: A Survey

abstract: Land cover mapping is essential for monitoring global environmental change and managing natural resources. Unfortunately, traditional classification models are plagued by limited training data available in existing land cover products and data heterogeneity over space and time. In this survey, we provide a structured and comprehensive overview of challenges in land cover mapping and machine learning methods used to address these problems. We also discuss the gaps and opportunities that exist for advancing research in this promising direction.


title: Data informativity for analysis of linear systems with convex conic constraints

abstract: This paper studies the informativity problem for reachability and null-controllability of constrained systems. To be precise, we will focus on an unknown linear systems with convex conic constraints from which we measure data consisting of exact state trajectories of finite length. We are interested in performing system analysis of such an unknown system on the basis of the measured data. However, from such measurements it is only possible to obtain a unique system explaining the data in very restrictive cases. This means that we can not approach this problem using system identification combined with model based analysis. As such, we will formulate conditions on the data under which any such system consistent with the measurements is guaranteed to be reachable or null-controllable. These conditions are stated in terms of spectral conditions and subspace inclusions, and therefore they are easy to verify.


title: Proof of the Tijdeman-Zagier Conjecture via Slope Irrationality and Term Coprimality

abstract: The Tijdeman-Zagier conjecture states no integer solution exists for $A^X+B^Y=C^Z$ with positive integer bases and integer exponents greater than 2 unless gcd$(A,B,C)>1$. Any set of values that satisfy the conjecture correspond to a lattice point on a Cartesian graph which subtends a line in multi-dimensional space with the origin. Properties of the slopes of these lines in each plane are established as a function of coprimality of terms, such as irrationality, which enable us to explicitly prove the conjecture by contradiction.


title: FuncADL: Functional Analysis Description Language

abstract: The traditional approach in HEP analysis software is to loop over every event and every object via the ROOT framework. This method follows an imperative paradigm, in which the code is tied to the storage format and steps of execution. A more desirable strategy would be to implement a declarative language, such that the storage medium and execution are not included in the abstraction model. This will become increasingly important to managing the large dataset collected by the LHC and the HL-LHC. A new analysis description language (ADL) inspired by functional programming, FuncADL, was developed using Python as a host language. The expressiveness of this language was tested by implementing example analysis tasks designed to benchmark the functionality of ADLs. Many simple selections are expressible in a declarative way with FuncADL, which can be used as an interface to retrieve filtered data. Some limitations were identified, but the design of the language allows for future extensions to add missing features. FuncADL is part of a suite of analysis software tools being developed by the Institute for Research and Innovation in Software for High Energy Physics (IRIS-HEP). These tools will be available to develop highly scalable physics analyses for the LHC.


title: Dynamic Fusion Module Evolves Drivable Area and Road Anomaly Detection: A Benchmark and Algorithms

abstract: Joint detection of drivable areas and road anomalies is very important for mobile robots. Recently, many semantic segmentation approaches based on convolutional neural networks (CNNs) have been proposed for pixel-wise drivable area and road anomaly detection. In addition, some benchmark datasets, such as KITTI and Cityscapes, have been widely used. However, the existing benchmarks are mostly designed for self-driving cars. There lacks a benchmark for ground mobile robots, such as robotic wheelchairs. Therefore, in this paper, we first build a drivable area and road anomaly detection benchmark for ground mobile robots, evaluating the existing state-of-the-art single-modal and data-fusion semantic segmentation CNNs using six modalities of visual features. Furthermore, we propose a novel module, referred to as the dynamic fusion module (DFM), which can be easily deployed in existing data-fusion networks to fuse different types of visual features effectively and efficiently. The experimental results show that the transformed disparity image is the most informative visual feature and the proposed DFM-RTFNet outperforms the state-of-the-arts. Additionally, our DFM-RTFNet achieves competitive performance on the KITTI road benchmark. Our benchmark is publicly available at https://sites.google.com/view/gmrb.


title: 5G New Radio for Public Safety Mission Critical Communications

abstract: Driven by increasing demands on connectivity to improve safety, situational awareness and operational effectiveness for first responders, more and more public safety agencies are realizing the need of modernization of their existing non-3GPP networks. 3GPP based cellular networks offer the unique opportunity of providing fast, reliable, and prioritized communications for first responders in a shared network. In this article, we give an overview of service requirements of public safety mission critical communications. We identify key technical challenges and explain how 5G NR features are being evolved to meet the emerging safety critical requirements, including enabling connectivity everywhere, supporting efficient group communications, prioritizing mission critical traffic, and providing accurate positioning for first responders.


title: Furthering Asteroid Resource Utilization in the Next Decade through Technology Leadership

abstract: A significant opportunity for synergy between pure research and asteroid resource research exists. We provide an overview of the state of the art in asteroid resource utilization, and highlight where we can accelerate the closing of knowledge gaps, leading to the utilization of asteroid resources for growing economic productivity in space.


title: Dimensional Reduction in Complex Living Systems: Where, Why, and How

abstract: The unprecedented prowess of measurement techniques provides a detailed, multi-scale look into the depths of living systems. Understanding these avalanches of high-dimensional data -- by distilling underlying principles and mechanisms -- necessitates dimensional reduction. We propose that living systems achieve exquisite dimensional reduction, originating from their capacity to learn, through evolution and phenotypic plasticity, the relevant aspects of a non-random, smooth physical reality. We explain how geometric insights by mathematicians allow one to identify these genuine hallmarks of life and distinguish them from universal properties of generic data sets. We illustrate these principles in a concrete example of protein evolution, suggesting a simple general recipe that can be applied to understand other biological systems.


title: Onset of pseudogap and density wave in a system with a closed Fermi surface

abstract: We study the influence of anisotropy, treated as a dimensional crossover between 1D and 3D system, on the topological instability induced by a (self-consistent) uniaxial periodic potential. The mechanism on which the instability is based involves the topological reconstruction of the Fermi surface, from initially closed pockets to the surface with open Fermi sheets, creating two peculiar points in the band dispersion - the saddle point and elliptical point, between which the pseudogap in electron density of states develops. The self-consistent periodic potential appears as a result of interactions, either electron-phonon, or electron electron, which, linked with the topological instability of the system, results in formation of a new ground state of the system - the density wave provided that the relevant coupling constant is larger than critical. Our analysis shows that the phase transition takes place along the whole continuous interval of a dimensional crossover between 1D and 3D, but that the critical coupling strength significantly increases with the dimensionality of the system. It is our intention to give an initial framework for understanding the nature of charge density waves experimentally observed in a number of materials, like high$-T_c$ cuprates or graphite intercalates, both being materials with a closed, rather isotropic Fermi surface far from the nesting regime.


title: Deep Adaptive Design: Amortizing Sequential Bayesian Experimental Design

abstract: We introduce Deep Adaptive Design (DAD), a method for amortizing the cost of adaptive Bayesian experimental design that allows experiments to be run in real-time. Traditional sequential Bayesian optimal experimental design approaches require substantial computation at each stage of the experiment. This makes them unsuitable for most real-world applications, where decisions must typically be made quickly. DAD addresses this restriction by learning an amortized design network upfront and then using this to rapidly run (multiple) adaptive experiments at deployment time. This network represents a design policy which takes as input the data from previous steps, and outputs the next design using a single forward pass; these design decisions can be made in milliseconds during the live experiment. To train the network, we introduce contrastive information bounds that are suitable objectives for the sequential setting, and propose a customized network architecture that exploits key symmetries. We demonstrate that DAD successfully amortizes the process of experimental design, outperforming alternative strategies on a number of problems.


title: Modeling of accelerating Universe with bulk viscous fluid in Bianchi V space-time

abstract: In this paper, we have investigated a bulk viscous anisotropic Universe and constrained its model parameters with recent $H(z)$ and Pantheon compilation data. Using cosmic chronometric technique, we estimate the present value of Hubble's constant as $H_{0} = 69.39 \pm 1.54~km~s^{-1}Mpc^{-1}$, $70.016 \pm 1.65~km~s^{-1}Mpc^{-1}$ and $69.36 \pm 1.42~km~s^{-1}Mpc^{-1}$ by bounding our derived model with recent $H(z)$ data, Pantheon and joint $H(z)$ and Pantheon data respectively. The present age of the Universe is specified as $t_0= 0.9796H_0^{-1}\sim 13.79$ Gyrs. The model favours a transitioning Universe with the transition red-shift as $z_{t} = 0.73$. We have reconstructed the jerk parameter using the observational data sets. From the analysis of the jerk parameter, it is observed that, our derived model shows a marginal departure from the concordance $\Lambda$CDM model.


title: OpenPifPaf: Composite Fields for Semantic Keypoint Detection and Spatio-Temporal Association

abstract: Many image-based perception tasks can be formulated as detecting, associating and tracking semantic keypoints, e.g., human body pose estimation and tracking. In this work, we present a general framework that jointly detects and forms spatio-temporal keypoint associations in a single stage, making this the first real-time pose detection and tracking algorithm. We present a generic neural network architecture that uses Composite Fields to detect and construct a spatio-temporal pose which is a single, connected graph whose nodes are the semantic keypoints (e.g., a person's body joints) in multiple frames. For the temporal associations, we introduce the Temporal Composite Association Field (TCAF) which requires an extended network architecture and training method beyond previous Composite Fields. Our experiments show competitive accuracy while being an order of magnitude faster on multiple publicly available datasets such as COCO, CrowdPose and the PoseTrack 2017 and 2018 datasets. We also show that our method generalizes to any class of semantic keypoints such as car and animal parts to provide a holistic perception framework that is well suited for urban mobility such as self-driving cars and delivery robots.


title: Underlying Structure-Activity Correlations of 2D Layered Transition Metal Dichalcogenides-Based Electrocatalysts for Boosted Hydrogen Generation

abstract: Hydrogen fuel is an ideal energy source to replace the traditional fossil fuels because of its high energy density and renewability. Electrochemical water splitting is also regarded as a sustainable, cleaning and eco-friendly method for hydrogen evolution reaction (HER), but a cheaper, earth-abundant and similarly efficient alternative to Pt as an HER catalyst cannot still be discovered. Recently, 2D Transition Metal Dichalcogenides (TMDs) are demonstrated to greatly enhance the HER activity. Herein, our work provides an insight into the recent advances in 2D TMDs-based HER following the composition-characterisation-construction guideline. After the background introduction, several research outputs based on 2D TMDs as well as the comprehensive analysis on the modulation strategies of 2D TMDs, for the purposes of increasing the active sites, improving the intrinsic activity and altering the electronic states. Finally, the future opportunities and challenges of 2D TMDs electrocatalysts are briefly featured.


title: Relative subanalytic sheaves II

abstract: We give a new construction of sheaves on a relative site associated to a product $X\times S$ where $S$ plays the role of a parameter space, expanding the previous construction by the same authors, where the subanalytic structure on $S$ was required. Here we let this last condition fall. In this way the construction becomes much easier to apply when dimension of $S$ is bigger than one. We also study the functorial properties of base change with respect to the parameter space.


title: A $p$-arton Model for Modular Cusp Forms

abstract: We propose to associate to a modular form (an infinite number of) complex valued functions on the $p$-adic numbers $\mathbb{Q}_p$ for each prime $p$. We elaborate on the correspondence and study its consequence in terms of the Mellin transforms and the $L$-functions related to the forms. Further we discuss the case of products of Dirichlet $L$-functions and their Mellin duals, which are convolution products of $\vartheta$-series. The latter are intriguingly similar to non-holomorphic Maass forms of weight zero as suggested by their Fourier coefficients.


title: Dualized Gravity beyond Linear Approximation

abstract: We will construct a loop space formalism for general relativity, and construct the Polyakov variables as connections for such a loop space. We will use these Polyakov variables to construct a dual theory of gravity beyond linear approximation. It will be demonstrated that this loop space duality reduces to the Hodge duality for linearized gravity. Furthermore, a loop space curvature will be constructed from this Polyakov variable. It will be shown that this loop space curvature vanishes in the absence of topological defects, and so it can be used to investigate gravitational monopoles. We will also construct the suitable monopole charge for such gravitational monopoles.


title: Rotationally and tidally distorted compact stars A theoretical approach to the gravity-darkening exponents for white dwarfs

abstract: To the best of our knowledge, there are no specific calculations of gravity-darkening exponents for white dwarfs in the literature. On the other hand, the number of known eclipsing binaries whose components are tidally and/or rotationally distorted white dwarfs is increasing year on year. Our main objective is to present the first theoretical approaches to the problem of the distribution of temperatures on the surfaces of compact stars distorted by rotation and/or tides in order to compare with relevant observational data. We find discrepancies between the gravity-darkening exponents calculated with our methods and the predictions of the von Zeipel theorem, particularly in the cases of cold white dwarfs; although the discrepancy also applies to higher effective temperatures under determined physical conditions. We find physical connections between the gravity-darkening exponents calculated using our modified method of triangles strategy with the convective efficiency (defined here as the ratio of the convective to the total flux). A connection between the entropy and the gravity-darkening coefficients is also found: variations of the former cause changes in the way the temperature is distributed on distorted stellar surfaces. On the other hand, we have generalised the von Zeipel theorem for the case of hot white dwarfs. Such a generalisation allows us to predict that, under certain circumstances, the value of the gravity-darkening exponent may be smaller than 1.0, even in the case of high effective temperatures.


title: Fluid structure interaction: Insights into biomechanical implications of endograft after thoracic endovascular aortic repair

abstract: Thoracic endovascular aortic repair (TEVAR) has developed to be the most effective treatment for aortic diseases. This study aims to evaluate the biomechanical implications of the implanted endograft after TEVAR. We present a novel image-based, patient-specific, fluid-structure computational framework. The geometries of blood, endograft, and aortic wall were reconstructed based on clinical images. Patient-specific measurement data was collected to determine the parameters of the three-element Windkessel. We designed three postoperative scenarios with rigid wall assumption, blood-wall interaction, blood-endograft-wall interplay, respectively, where a two-way fluid-structure interaction (FSI) method was applied to predict the deformation of the composite stent-wall. Computational results were validated with Doppler ultrasound data. Results show that the rigid wall assumption fails to predict the waveforms of blood outflow and energy loss (EL). The complete storage and release process of blood flow energy, which consists of four phases is captured by the FSI method. The endograft implantation would weaken the buffer function of the aorta and reduce mean EL by 19.1%. The closed curve area of wall pressure and aortic volume could indicate the EL caused by the interaction between blood flow and wall deformation, which accounts for 68.8% of the total EL. Both the FSI and endograft have a slight effect on wall shear stress-related-indices. The deformability of the composite stent-wall region is remarkably limited by the endograft. Our results highlight the importance of considering the interaction between blood flow, the implanted endograft, and the aortic wall to acquire physiologically accurate hemodynamics in post-TEVAR computational studies and the deformation of the aortic wall is responsible for the major EL of the blood flow.


title: The Use of Fractional Blocks to Improve Mathematics for Second Grade Elementary School Students at South Bangka Indonesia

abstract: This study aims to improve mathematics learning results in the second grade of elementary school, especially the matter of fractions. The background of the research is the low learning outcomes achieved by students due to the learning carried out does not pay attention to the level of student development. This research was classroom action research. The research subjects were 23 students. The data collection instrument used the observation sheet and documentation. Quantitative data analysis techniques with descriptive statistics were used in this study to compare conditions before and after the action was carried out. The results showed an increase in mathematics learning outcomes in the subject of fractions. Student motivation shown in the implementation of learning in the second cycle reached 3.91 (high category) with N-Gain reaching 46.49%. The level of completeness has reached 100%. The average value obtained by students in the second cycle was 80.2 and N-Gain reached 34.16%. This increase was due to the learning carried out using fractional blocks. These results illustrate that the use of fractional blocks can improve mathematics learning outcomes, especially in the subject of fractions.


title: Charge-noise spectroscopy of Si/SiGe quantum dots via dynamically-decoupled exchange oscillations

abstract: Electron spins in silicon quantum dots are promising qubits due to their long coherence times, scalable fabrication, and potential for all-electrical control. However, charge noise in the host semiconductor presents a major obstacle to achieving high-fidelity single- and two-qubit gates in these devices. In this work, we measure the charge-noise spectrum of a Si/SiGe singlet-triplet qubit over nearly 12 decades in frequency using a combination of methods, including dynamically-decoupled exchange oscillations with up to 512 {\pi} pulses during the qubit evolution. The charge noise is colored across the entire frequency range of our measurements, although the spectral exponent changes with frequency. Moreover, the charge-noise spectrum inferred from conductance measurements of a proximal sensor quantum dot agrees with that inferred from coherent oscillations of the singlet-triplet qubit, suggesting that simple transport measurements can accurately characterize the charge noise over a wide frequency range in Si/SiGe quantum dots.


title: THz Field-induced Spin Dynamics in Ferrimagnetic Iron Garnets

abstract: THz magnetization dynamics is excited in ferrimagnetic thulium iron garnet with a picosecond, single-cycle magnetic field pulse and seen as a high-frequency modulation of the magneto-optical Faraday effect. Data analysis combined with numerical modelling and evaluation of the effective Lagrangian allow us to conclude that the dynamics corresponds to the exchange mode excited by Zeeman interaction of the THz field with the antiferromagnetically coupled spins. We argue that THz-pump IR-probe experiments on ferrimagnets offer a unique tool for quantitative studies of dynamics and mechanisms to control antiferromagnetically coupled spins.


title: Multi-cell NOMA: Coherent Reconfigurable Intelligent Surfaces Model With Stochastic Geometry

abstract: Reconfigurable intelligent surfaces (RISs) become promising for enhancing non-orthogonal multiple access (NOMA) systems, i.e., enhancing the channel quality and altering the SIC orders. Invoked by stochastic geometry methods, we investigate the downlink coverage performance of RIS-aided multi-cell NOMA networks. We first derive the RIS-aided channel model, concluding the direct and reflecting links. The analytical results demonstrate that the RIS-aided channel model can be closely modeled as a Gamma distribution. Additionally, interference from other cells is analyzed. Lastly, we derive closed-form coverage probability expressions for the paired NOMA users. Numerical results indicate that 1) although the interference from other cells is enhanced via the RISs, the performance of the RIS-aided user still enhances since the channel quality is strengthened more obviously; and 2) the SIC order can be altered by employing the RISs since the RISs improve the channel quality of the aided user.


title: Multimodal Scale Consistency and Awareness for Monocular Self-Supervised Depth Estimation

abstract: Dense depth estimation is essential to scene-understanding for autonomous driving. However, recent self-supervised approaches on monocular videos suffer from scale-inconsistency across long sequences. Utilizing data from the ubiquitously copresent global positioning systems (GPS), we tackle this challenge by proposing a dynamically-weighted GPS-to-Scale (g2s) loss to complement the appearance-based losses. We emphasize that the GPS is needed only during the multimodal training, and not at inference. The relative distance between frames captured through the GPS provides a scale signal that is independent of the camera setup and scene distribution, resulting in richer learned feature representations. Through extensive evaluation on multiple datasets, we demonstrate scale-consistent and -aware depth estimation during inference, improving the performance even when training with low-frequency GPS data.


title: Electrically switchable metasurface for beam steering using PEDOT

abstract: Switchable and active metasurfaces allow for the realization of beam steering, zoomable metalenses, or dynamic holography. To achieve this goal, one has to combine high-performance metasurfaces with switchable materials that exhibit high refractive index contrast and high switching speeds. In this work, we present an electrochemically switchable metasurface for beam steering where we use the conducting polymer poly(3,4-ethylene-dioxythiophene) (PEDOT) as an active material. We show beam diffraction with angles up to 10{\deg} and change of the intensities of the diffracted and primary beams employing an externally applied cyclic voltage between -1 V and +0.5 V. With this unique combination, we realize switching speeds in the range of 1 Hz while the extension to typical display frequencies in the tens of Hz region is possible. Our findings have immediate implications on the design and fabrication of future electronically switchable and display nanotechnologies, such as dynamic holograms.


title: Reversible Data Hiding Associated with Digital Halftoning That Allows Printing with Special Color Ink by Using Single Color Layer

abstract: We propose an efficient framework of reversible data hiding to preserve compatibility between normal printing and printing with a special color ink by using a single common image. The special color layer is converted to a binary image by digital halftoning and losslessly compressed using JBIG2. Then, the compressed information of the binarized special color layer is reversibly embedded into the general color layer without significant distortion. Our experimental results show the availability of the proposed method in terms of the marked image quality.


title: Modeling and control of 5-DoF boom crane

abstract: Automation of cranes can have a direct impact on the productivity of construction projects. In this paper, we focus on the control of one of the most used cranes, the boom crane. Tower cranes and overhead cranes have been widely studied in the literature, whereas the control of boom cranes has been investigated only by a few works. Typically, these works make use of simple models making use of a large number of simplifying assumptions (e.g. fixed length cable, assuming certain dynamics are uncoupled, etc.) A first result of this paper is to present a fairly complete nonlinear dynamic model of a boom crane taking into account all coupling dynamics and where the only simplifying assumption is that the cable is considered as rigid. The boom crane involves pitching and rotational movements, which generate complicated centrifugal forces, and consequently, equations of motion highly nonlinear. On the basis of this model, a control law has been developed able to perform position control of the crane while actively damping the oscillations of the load. The effectiveness of the approach has been tested in simulation with realistic physical parameters and tested in the presence of wind disturbances.


title: Generalized Collisional Fluid Theory for Multi-Component, Multi-Temperature Plasma Using The Linearized Boltzmann Collision Operator for Scrape-Off Layer/Edge Applications

abstract: Grad's method is used on the linearized Boltzmann collision operator to derive the most general expressions for the collision coefficients for a multi-component, multi-temperature plasma up to rank-2. In doing so, the collision coefficients then get expressed as series sum of pure coefficients of temperature and mass ratios multiplied by the cross-section dependent Chapman-Cowling integrals. These collisional coefficients are compared to previously obtained coefficients by Zhdanov et al [Zhdanov V.M., Transport processes in multi-component plasma, Taylor and Francis (2002)] for 13N-moment multi-temperature scheme. First, the differences in coefficients are compared directly, and then the differences in first approximation to viscosity and friction force are compared. For the 13N-moment multi-temperature coefficients, it is found that they behave reasonably similarly for small temperature differences, but display substantial differences in the coefficients when the temperature differences are high, both for the coefficients and for viscosity and friction force values. Furthermore, the obtained coefficients are compared to the 21N-moment single-temperature approximation provided by Zhdanov et al, and it is seen that the differences are higher than the 13N-moment multi-temperature coefficients, and have substantial differences even in the vicinity of equal temperatures, especially for the viscosity and friction force calculations.


title: Coulomb instabilities of 3D higher-order topological insulators

abstract: Topological insulator (TI) is an exciting discovery because of its robustness against disorder and interactions. Recently, higher-order TIs have been attracting increasing attention, because they host 1D topologically-protected hinge states in 3D or 0D corner states in 2D. A significantly critical issue is whether the higher-order TIs also survive interactions, but it is still unexplored. We study the effects of weak Coulomb interaction on a 3D second-order TI, with the help of a renormalization group calculation. We find that the 3D higher-order TIs are always unstable, suffering from two types of topological phase transitions. One is from higher-order TI to TI, the other is to normal insulator (NI). The first type is accompanied by emergent time-reversal and inversion symmetries and has a dynamical critical exponent $\kappa=1$. The second type does not have the emergent symmetries and has non-universal dynamical critical exponents $\kappa<1$. Our results may inspire more inspections on the stability of higher-order topological states of matter and related novel quantum criticalities.


title: Continuous scaled phase-type distributions

abstract: Products between phase-type distributed random variables and any independent, positive and continuous random variable are studied. Their asymptotic properties are established, and an expectation-maximization algorithm for their effective statistical inference is derived and implemented using real-world datasets. In contrast to discrete scaling studied in earlier literature, in the present continuous case closed-form formulas for various functionals of the resulting distributions are obtained, which facilitates both their analysis and implementation. The resulting mixture distributions are very often heavy-tailed and yet retain various properties of phase-type distributions, such as being dense (in weak convergence) on the set of distributions with positive support.


title: Sparsity Aware Normalization for GANs

abstract: Generative adversarial networks (GANs) are known to benefit from regularization or normalization of their critic (discriminator) network during training. In this paper, we analyze the popular spectral normalization scheme, find a significant drawback and introduce sparsity aware normalization (SAN), a new alternative approach for stabilizing GAN training. As opposed to other normalization methods, our approach explicitly accounts for the sparse nature of the feature maps in convolutional networks with ReLU activations. We illustrate the effectiveness of our method through extensive experiments with a variety of network architectures. As we show, sparsity is particularly dominant in critics used for image-to-image translation settings. In these cases our approach improves upon existing methods, in less training epochs and with smaller capacity networks, while requiring practically no computational overhead.


title: Universal pair-polaritons in a strongly interacting Fermi gas

abstract: Cavity quantum electrodynamics (QED) manipulates the coupling of light with matter, and allows for several emitters to couple coherently with one light mode. However, even in a many-body system, the light-matter coupling mechanism was so far restricted to one body processes. Leveraging cavity QED for the quantum simulation of complex, many-body systems has thus far relied on multi-photon processes, scaling down the light-matter interaction to the low energy and slow time scales of the many-body problem. Here we report on cavity QED experiments using molecular transitions in a strongly interacting Fermi gas, directly coupling cavity photons to pairs of atoms. The interplay of strong light-matter and strong inter-particle interactions leads to well resolved pair-polaritons, hybrid excitations coherently mixing photons, atom pairs and molecules. The dependence of the pair-polariton spectrum on interatomic interactions is universal, independent of the transition used, demonstrating a direct mapping between pair correlations in the ground state and the optical spectrum. This represents a magnification of many-body effects by two orders of magnitude in energy. In the dispersive regime, it enables fast, minimally destructive measurements of pair correlations, and opens the way towards their measurements at the quantum limit and their coherent manipulation using dynamical, quantized optical fields.


title: A System Level Approach to Tube-based Model Predictive Control

abstract: Robust tube-based model predictive control (MPC) methods address constraint satisfaction by leveraging an a priori determined tube controller in the prediction to tighten the constraints. This paper presents a system level tube-MPC (SLTMPC) method derived from the system level parameterization (SLP), which allows optimization over the tube controller online when solving the MPC problem, which can significantly reduce conservativeness. We derive the SLTMPC method by establishing an equivalence relation between a class of robust MPC methods and the SLP. Finally, we show that the SLTMPC formulation naturally arises from an extended SLP formulation and show its merits in a numerical example.


title: Outflow Bubbles from Compact Binary Mergers Embedded in Active Galactic Nuclei: Cavity Formation and the Impact on Electromagnetic Counterparts

abstract: We propose a novel scenario for possible electromagnetic (EM) emission by compact binary mergers in the accretion disks of active galactic nuclei (AGNs). Nuclear star clusters in AGNs are a plausible formation site of compact-stellar binaries (CSBs) whose coalescences can be detected through gravitational waves (GWs). We investigate the accretion onto and outflows from CSBs embedded in AGN disks. We show that these outflows are likely to create outflow "cavities" in the AGN disks before the binaries merge, which makes EM or neutrino counterparts much less common than would otherwise be expected. We discuss the necessary conditions for detectable EM counterparts to mergers inside the outflow cavities. If the merger remnant black hole experiences a high recoil velocity and can enter the AGN disk, it can accrete gas with a super-Eddington rate, newly forming a cavity-like structure. This bubble can break out of the disk within a day to a week after the merger. Such breakout emission can be bright enough to be detectable by current soft X-ray instruments, such as Swift-XRT and Chandra.


title: University of Copenhagen Participation in TREC Health Misinformation Track 2020

abstract: In this paper, we describe our participation in the TREC Health Misinformation Track 2020. We submitted $11$ runs to the Total Recall Task and 13 runs to the Ad Hoc task. Our approach consists of 3 steps: (1) we create an initial run with BM25 and RM3; (2) we estimate credibility and misinformation scores for the documents in the initial run; (3) we merge the relevance, credibility and misinformation scores to re-rank documents in the initial run. To estimate credibility scores, we implement a classifier which exploits features based on the content and the popularity of a document. To compute the misinformation score, we apply a stance detection approach with a pretrained Transformer language model. Finally, we use different approaches to merge scores: weighted average, the distance among score vectors and rank fusion.


title: A CO Survey of SpARCS Star-Forming Brightest Cluster Galaxies: Evidence for Uniformity in BCG Molecular Gas Processing Across Cosmic Time

abstract: We present ALMA CO (2-1) detections of 24 star-forming Brightest Cluster Galaxies (BCGs) over $0.2<z<1.2$, constituting the largest and most distant sample of molecular gas measurements in BCGs to date. The BCGs are selected from the Spitzer Adaptation of the Red-Sequence Cluster Survey (SpARCS) to be IR-bright and therefore star-forming. We find that molecular gas is common in star-forming BCGs, detecting CO at a detection rate of 80% in our target sample of 30 objects. We additionally provide measurements of the star formation rate (SFR) and stellar mass, calculated from existing MIPS 24 $\mu$m and IRAC 3.6 $\mu$m fluxes, respectively. We find these galaxies have molecular gas masses of $0.7-11.0\times 10^{10}\ \mathrm{M}_\odot$, comparable to other BCGs in this redshift range, and specific star formation rates which trace the Elbaz et al. (2011) Main Sequence. We compare our BCGs to those of the lower-redshift, cooling-flow BCG sample assembled by Edge (2001) and find that at z $\lesssim 0.6$ the two samples show very similar correlations between their gas masses and specific SFRs. We suggest that, in this redshift regime, the $\sim10\%$ (Webb et al., 2015) of BCGs that are star-forming process any accreted molecular gas into stars through means that are agnostic to both their redshift and their cluster mass.


title: User Preferential Tour Recommendation Based on POI-Embedding Methods

abstract: Tour itinerary planning and recommendation are challenging tasks for tourists in unfamiliar countries. Many tour recommenders only consider broad POI categories and do not align well with users' preferences and other locational constraints. We propose an algorithm to recommend personalized tours using POI-embedding methods, which provides a finer representation of POI types. Our recommendation algorithm will generate a sequence of POIs that optimizes time and locational constraints, as well as user's preferences based on past trajectories from similar tourists. Our tour recommendation algorithm is modelled as a word embedding model in natural language processing, coupled with an iterative algorithm for generating itineraries that satisfies time constraints. Using a Flickr dataset of 4 cities, preliminary experimental results show that our algorithm is able to recommend a relevant and accurate itinerary, based on measures of recall, precision and F1-scores.


title: Arthroscopic Multi-Spectral Scene Segmentation Using Deep Learning

abstract: Knee arthroscopy is a minimally invasive surgical (MIS) procedure which is performed to treat knee-joint ailment. Lack of visual information of the surgical site obtained from miniaturized cameras make this surgical procedure more complex. Knee cavity is a very confined space; therefore, surgical scenes are captured at close proximity. Insignificant context of knee atlas often makes them unrecognizable as a consequence unintentional tissue damage often occurred and shows a long learning curve to train new surgeons. Automatic context awareness through labeling of the surgical site can be an alternative to mitigate these drawbacks. However, from the previous studies, it is confirmed that the surgical site exhibits several limitations, among others, lack of discriminative contextual information such as texture and features which drastically limits this vision task. Additionally, poor imaging conditions and lack of accurate ground-truth labels are also limiting the accuracy. To mitigate these limitations of knee arthroscopy, in this work we proposed a scene segmentation method that successfully segments multi structures.


title: Selective etching of (111)B-oriented $Al_x Ga_{1-x} As$-layers for epitaxial lift-off

abstract: GaAs-(111)-nanostructures exhibiting second harmonic generation are new building blocks in nonlinear optics. Such structures can be fabricated through epitaxial lift-off employing selective etching of Al-containing layers and subsequent transfer to glass substrates. In this article, the selective etching of (111)B-oriented $Al_x Ga_{1-x}As$ sacrificial layers (10 nm to 50 nm thick) with different aluminum concentrations (x=0.5 to 1.0) in 10 % hydrofluoric acid is investigated and compared to standard (100)-oriented structures. The thinner the sacrificial layer and the lower the aluminum content, the lower the lateral etch rate. For both orientations, the lateral etch rates are in the same order of magnitude, but some quantitative differences exist. Furthermore, the epitaxial lift-off, the transfer, and the nano-patterning of thin (111)B-oriented GaAs membranes is demonstrated. Atomic force microscopy and high-resolution x-ray diffraction measurements reveal the high structural quality of the transferred GaAs-(111) films.


title: Rank deficiency of random matrices

abstract: Let $M_n$ be a random $n\times n$ matrix with i.i.d. $\text{Bernoulli}(1/2)$ entries. We show that for fixed $k\ge 1$, \[\lim_{n\to \infty}\frac{1}{n}\log_2\mathbb{P}[\text{corank }M_n\ge k] = -k.\]


title: Almost synchronous quantum correlations

abstract: The study of quantum correlation sets initiated by Tsirelson in the 1980s and originally motivated by questions in the foundations of quantum mechanics has more recently been tied to questions in quantum cryptography, complexity theory, operator space theory, group theory, and more. Synchronous correlation sets introduced in [Paulsen et. al, JFA 2016] are a subclass of correlations that has proven particularly useful to study and arises naturally in applications. We show that any correlation that is almost synchronous, in a natural $\ell_1$ sense, arises from a state and measurement operators that are well-approximated by a convex combination of projective measurements on a maximally entangled state. This extends a result of [Paulsen et. al, JFA 2016] which applies to exactly synchronous correlations. Crucially, the quality of approximation is independent of the dimension of the Hilbert spaces or of the size of the correlation. Our result allows one to reduce the analysis of many classes of nonlocal games, including rigidity properties, to the case of strategies using maximally entangled states which are generally easier to manipulate.


title: The Impacts of Modeling Choices on the Inference of the Circumgalactic Medium Properties from Sunyaev-Zeldovich Observations

abstract: As the signal-to-noise of Sunyaev-Zeldovich (SZ) cross-correlation measurements of galaxies improves our ability to infer properties about the circumgalactic medium (CGM), we will transition from being limited by statistical uncertainties to systematic uncertainties. Using thermodynamic profiles of the CGM created from the IllustrisTNG (The Next Generation) simulations we investigate the importance of specific choices in modeling the galaxy sample. These choices include different sample selections in the simulation (stellar versus halo mass, color selections) and different fitting models (matching by the shape of the mass distribution, inclusion of a two-halo term). We forward model a mock galaxy sample into projected SZ observable profiles and fit these profiles to a generalized Navarro-Frenk-White profile using forecasted errors of the upcoming Simons Observatory experiment. We test the number of free parameters in the fits and show that this is another modeling choice that yields different results. Finally, we show how different fitting models can reproduce parameters of a fiducial profile, and show that the addition of a two-halo term and matching by the mass distribution of the sample are extremely important modeling choices to consider.


title: Product Partition Dynamic Generalized Linear Models

abstract: Detection and modeling of change-points in time-series can be considerably challenging. In this paper we approach this problem by incorporating the class of Dynamic Generalized Linear Models (DGLM) into the well know class of Product Partition Models (PPM). This new methodology, that we call DGLM-PPM, extends the PPM to distributions within the Exponential Family while also retaining the flexibility of the DGLM class. It also provides a framework for Bayesian multiple change-point detection in dynamic regression models. Inference on the DGLM-PPM follow the steps of evolution and updating of the DGLM class. A Gibbs Sampler scheme with an Adaptive Rejection Metropolis Sampling (ARMS) step appended is used to compute posterior estimates of the relevant quantities. A simulation study shows that the proposed model provides reasonable estimates of the dynamic parameters and also assigns high change-point probabilities to the breaks introduced in the artificial data generated for this work. We also present a real life data example that highlights the superiority of the DGLM-PPM over the conventional DGLM in both in-sample and out-of-sample goodness of fit measures.


title: Chromatic Cyclotomic Extensions

abstract: We construct Galois extensions of the T(n)-local sphere, lifting all finite abelian Galois extensions of the K(n)-local sphere. This is achieved by realizing them as higher semiadditive analogues of cyclotomic extensions. Combining this with a general form of Kummer theory, we lift certain elements from the K(n)-local Picard group to the T(n)-local Picard group.


title: Advancing Mixture Models for Least Squares Optimization

abstract: Gaussian mixtures are a powerful and widely used tool to model non-Gaussian estimation problems. They are able to describe measurement errors that follow arbitrary distributions and can represent ambiguity in assignment tasks like point set registration or tracking. However, using them with common least squares solvers is still difficult. Existing approaches are either approximations of the true mixture or prone to convergence issues due to their strong nonlinearity. We propose a novel least squares representation of a Gaussian mixture, which is an exact and almost linear model of the corresponding log-likelihood. Our approach provides an efficient, accurate and flexible model for many probabilistic estimation problems and can be used as cost function for least squares solvers. We demonstrate its superior performance in various Monte Carlo experiments, including different kinds of point set registration. Our implementation is available as open source code for the state-of-the-art solvers Ceres and GTSAM.


title: A series of integral formulas for a foliated sub-Riemannian manifold

abstract: In this article, we prove a series of integral formulae for a codimension-one foliated sub-Riemannian manifold, i.e., a Riemannian manifold $(M,g)$ equipped with a distribution ${\mathcal D}=T{\mathcal F}\oplus\,{\rm span}(N)$, where ${\mathcal F}$ is a foliation of $M$ and $N$ a unit vector field $g$-orthogonal to ${\mathcal F}$. Our integral formulas involve $r$th mean curvatures of ${\mathcal F}$, Newton transformations of the shape operator of ${\mathcal F}$ with respect to $N$ and the curvature tensor of induced connection on ${\mathcal D}$ and generalize some known integral formulas (due to Brito-Langevin-Rosenberg, Andrzejewski-Walczak and the author) for codimension-one foliations. We apply our formulas to sub-Riemannian manifolds with restrictions on the curvature and extrinsic geometry of a foliation.


title: Quasilinearization of the 3D Muskat equation, and applications to the critical Cauchy problem

abstract: We exhibit a new decomposition of the nonlinearity for the Muskat equation and use it to commute Fourier multipliers with the equation. This allows to study solutions with critical regularity. As a corollary, we obtain the first well-posedness result for arbitrary large data in the critical space $\dot{H}^2(\mathbb{R}^2)\cap W^{1,\infty}(\mathbb{R}^2)$. Moreover, we prove the existence of solutions for initial data which are not Lipschitz.


title: Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs -- An Extended Version With Benchmarks

abstract: In this paper, we study the problem of non-blockingness verification by tapping into the basis reachability graph (BRG). Non-blockingness is a property that ensures that all pre-specified tasks can be completed, which is a mandatory requirement during the system design stage. In this paper we develop a condition of transition partition of a given net such that the corresponding conflict-increase BRG contains sufficient information on verifying non-blockingness of its corresponding Petri net. Thanks to the compactness of the BRG, our approach possesses practical efficiency since the exhaustive enumeration of the state space can be avoided. In particular, our method does not require that the net is deadlock-free.


title: Tensor hierarchy algebra extensions of over-extended Kac--Moody algebras

abstract: Tensor hierarchy algebras are infinite-dimensional generalisations of Cartan-type Lie superalgebras. They are not contragredient, exhibiting an asymmetry between positive and negative levels. These superalgebras have been a focus of attention due to the fundamental role they play for extended geometry. In the present paper, we examine tensor hierarchy algebras which are super-extensions of over-extended (often, hyperbolic) Kac--Moody algebras. They contain novel algebraic structures. Of particular interest is the extension of a over-extended algebra by its fundamental module, an extension that contains and generalises the extension of an affine Kac--Moody algebra by a Virasoro derivation $L_1$. A conjecture about the complete superalgebra is formulated, relating it to the corresponding Borcherds superalgebra.