title: Entanglement echo and dynamical entanglement transitions

abstract: We formulate dynamical phase transitions in subsystems embedded in larger quantum systems. Introducing the entanglement echo as an overlap of the initial and instantaneous entanglement ground states, we show its analytic structure after a quench provides natural definition of dynamical phase transitions in the subsystem. These transitions come in two varieties, the entanglement-type transitions and the bulk-type Loschmidt transitions. The entanglement-type transitions arise from periodic reorganization of quantum correlations between the subsystem and its environment, manifesting in instantaneous entanglement ground state degeneracies. Furthermore, the entanglement echo distinguishes the direction of the quench, resolves spatially distinct dynamical phase transitions for non-uniform quenches and give rise to sharply-defined transitions for mixed initial states. We propose an experimental probe to identify entanglement-type transitions through temporal changes in subsystem fluctuations.

categories: quant-ph cond-mat.mes-hall cond-mat.quant-gas cond-mat.str-el


title: Training or Architecture? How to Incorporate Invariance in Neural Networks

abstract: Many applications require the robustness, or ideally the invariance, of a neural network to certain transformations of input data. Most commonly, this requirement is addressed by either augmenting the training data, using adversarial training, or defining network architectures that include the desired invariance automatically. Unfortunately, the latter often relies on the ability to enlist all possible transformations, which make such approaches largely infeasible for infinite sets of transformations, such as arbitrary rotations or scaling. In this work, we propose a method for provably invariant network architectures with respect to group actions by choosing one element from a (possibly continuous) orbit based on a fixed criterion. In a nutshell, we intend to 'undo' any possible transformation before feeding the data into the actual network. We analyze properties of such approaches, extend them to equivariant networks, and demonstrate their advantages in terms of robustness as well as computational efficiency in several numerical examples. In particular, we investigate the robustness with respect to rotations of images (which can possibly hold up to discretization artifacts only) as well as the provable rotational and scaling invariance of 3D point cloud classification.


title: Synchronising speech segments with musical beats in Mandarin and English singing

abstract: Generating synthesised singing voice with models trained on speech data has many advantages due to the models' flexibility and controllability. However, since the information about the temporal relationship between segments and beats are lacking in speech training data, the synthesised singing may sound off-beat at times. Therefore, the availability of the information on the temporal relationship between speech segments and music beats is crucial. The current study investigated the segment-beat synchronisation in singing data, with hypotheses formed based on the linguistics theories of P-centre and sonority hierarchy. A Mandarin corpus and an English corpus of professional singing data were manually annotated and analysed. The results showed that the presence of musical beats was more dependent on segment duration than sonority. However, the sonority hierarchy and the P-centre theory were highly related to the location of beats. Mandarin and English demonstrated cross-linguistic variations despite exhibiting common patterns.


title: Light Pollution Reduction in Nighttime Photography

abstract: Nighttime photographers are often troubled by light pollution of unwanted artificial lights. Artificial lights, after scattered by aerosols in the atmosphere, can inundate the starlight and degrade the quality of nighttime images, by reducing contrast and dynamic range and causing hazes. In this paper we develop a physically-based light pollution reduction (LPR) algorithm that can substantially alleviate the aforementioned degradations of perceptual quality and restore the pristine state of night sky. The key to the success of the proposed LPR algorithm is an inverse method to estimate the spatial radiance distribution and spectral signature of ground artificial lights. Extensive experiments are carried out to evaluate the efficacy and limitations of the LPR algorithm.


title: Extraction of a second power-law tail of the density distribution in simulated clouds

abstract: The emergence and development of a power-law tail (PLT) at the high-density end of the observed column-density distribution is thought to be indicative for advanced evolution of star-forming molecular clouds. As shown from many numerical simulations, it corresponds to a morphologically analogous evolution of the mass-density distribution (\rhopdf). The latter may display also a second, shallower PLT at the stage of collapse of the first formed protostellar cores. It is difficult to estimate the parameters of a possible second PLT due to resolution constraints. To address the issue, we extend the method for the extraction of single PLTs from arbitrary density distributions suggested by Veltchev et al.(2019) to detect a second PLT. The technique is elaborated through tests on an analytic \rhopdf{} and applied to a set of hydrodynamical high-resolution simulations of isothermal self-gravitating clouds. In all but one case two PLTs were detected -- the first slope is always steeper and the second one is typically $\partial \ln V /\ln \rho \sim -1$. These results are in a good agreement with numerical and theoretical works and do suggest that the technique extracts correctly double PLTs from smooth PDFs.


title: Comparative assessment of typical controlrealizations of grid forming converters based ontheir voltage source behaviour

abstract: The converter control functions to provide the capabilities similar to synchronous generators are referred to as grid forming converters (GFC). Identical to a synchronous machine, a grid forming converter is expected to behave as a voltage source behind an impedance beyond the control bandwidth. However, GFC's realization has been different, with some utilizes inner current and voltage controllers while others do not. This paper studies the impact of the inner loop on the grid forming converter's ability to behave as a voltage source behind an impedance. Three of the most popular GFC structures, 1) GFC with cascaded voltage and current control, 2) with inner current control, 3) with no inner loop, are chosen for the comparison. The analysis revealed that MW level GFC with inner loops could potentially go unstable under weak power system. Additionally, the GFC with cascaded control can only operate stably within a narrow range of network impedances. Furthermore, it is also shown that slow response behavior based on cascaded inner loop can impact on dynamic reactive and active power-sharing.


title: Graphs with at most two moplexes

abstract: A moplex is a natural graph structure that arises when lifting Dirac's classical theorem from chordal graphs to general graphs. While every non-complete graph has at least two moplexes, little is known about structural properties of graphs with a bounded number of moplexes. The study of these graphs is, in part, motivated by the parallel between moplexes in general graphs and simplicial modules in chordal graphs: unlike in the moplex setting, properties of chordal graphs with a bounded number of simplicial modules are well understood. For instance, chordal graphs having at most two simplicial modules are interval. In this work, we initiate an investigation of $k$-moplex graphs, which are defined as graphs containing at most $k$ moplexes. Of particular interest is the smallest nontrivial case $k=2$, which forms a counterpart to the class of interval graphs. As our main structural result, we show that, when restricted to connected graphs, the class of $2$-moplex graphs is sandwiched between the classes of proper interval graphs and cocomparability graphs; moreover, both inclusions are tight for hereditary classes. From a complexity theoretic viewpoint, this leads to the natural question of whether the presence of at most two moplexes guarantees a sufficient amount of structure to efficiently solve problems that are known to be intractable on cocomparability graphs, but not on proper interval graphs. We develop new reductions that answer this question negatively for two prominent problems fitting this profile, namely Graph Isomorphism and Max-Cut. On the other hand, we prove that every connected $2$-moplex graph contains a Hamiltonian path, generalising the same property of connected proper interval graphs.


title: A note on augmented unprojected Krylov subspace methods

abstract: Subspace recycling iterative methods and other subspace augmentation schemes are a successful extension to Krylov subspace methods in which a Krylov subspace is augmented with a fixed subspace spanned by vectors deemed to be helpful in accelerating convergence or conveying knowledge of the solution. Recently, a survey was published, in which a framework describing the vast majority of such methods was proposed [Soodhalter et al, GAMM-Mitt. 2020]. In many of these methods, the Krylov subspace is one generated by the system matrix composed with a projector that depends on the augmentation space. However, it is not a requirement that a projected Krylov subspace be used. There are augmentation methods built on using Krylov subspaces generated by the original system matrix, and these methods also fit into the general framework. In this note, we observe that one gains implementation benefits by considering such augmentation methods with unprojected Krylov subspaces in the general framework. We demonstrate this by applying the idea to the R$^3$GMRES method proposed in [Dong et al. ETNA 2014] to obtain a simplified implementation and to connect that algorithm to early augmentation schemes based on flexible preconditioning [Saad. SIMAX 1997].


title: Distributed optimal power flow

abstract: Abstract Objective: The objectives of this paper are to 1) construct a new network model compatible with distributed computation, 2) construct the full optimal power flow (OPF) in a distributed fashion so that an effective, non-inferior solution can be found, and 3) develop a scalable algorithm that guarantees the convergence to a local minimum.


title: On Contrastive Representations of Stochastic Processes

abstract: Learning representations of stochastic processes is an emerging problem in machine learning with applications from meta-learning to physical object models to time series. Typical methods rely on exact reconstruction of observations, but this approach breaks down as observations become high-dimensional or noise distributions become complex. To address this, we propose a unifying framework for learning contrastive representations of stochastic processes (CReSP) that does away with exact reconstruction. We dissect potential use cases for stochastic process representations, and propose methods that accommodate each. Empirically, we show that our methods are effective for learning representations of periodic functions, 3D objects and dynamical processes. Our methods tolerate noisy high-dimensional observations better than traditional approaches, and the learned representations transfer to a range of downstream tasks.


title: Stopping Rules for Algebraic Iterative Reconstruction Methods in Computed Tomography

abstract: Algebraic models for the reconstruction problem in X-ray computed tomography (CT) provide a flexible framework that applies to many measurement geometries. For large-scale problems we need to use iterative solvers, and we need stopping rules for these methods that terminate the iterations when we have computed a satisfactory reconstruction that balances the reconstruction error and the influence of noise from the measurements. Many such stopping rules are developed in the inverse problems communities, but they have not attained much attention in the CT world. The goal of this paper is to describe and illustrate four stopping rules that are relevant for CT reconstructions.


title: Systems of Rank One, Explicit Rokhlin Towers, and Covering Numbers

abstract: Rotations $f_\alpha$ of the one-dimensional torus (equipped with the normalized Lebesgue measure) by an irrational angle $\alpha$ are known to be dynamical systems of rank one. This is equivalent to the property that the covering number $F^*(f_\alpha)$ of the dynamical system is one. In other words, there exists a basis $B$ such that for arbitrarily high $h$ an arbitrarily large proportion of the unit torus can be covered by the Rokhlin tower $(f_\alpha^kB)_{k=0}^{h-1}$. Although $B$ can be chosen with diameter smaller than any fixed $\varepsilon > 0$, it is not always possible to take an interval for $B$ but this can only be done when the partial quotients of $\alpha$ are unbounded. In the present paper, we ask what maximum proportion of the torus can be covered when $B$ is the union of $n_B \in \mathbb{N}$ disjoint intervals. This question has been answered in the case $n_B =1$ by Checkhova, and here we address the general situation. If $n_B = 2$ we give a precise formula for the maximum proportion. Furthermore, we show that for fixed $\alpha$ the maximum proportion converges to $1$ when $n_B \to \infty$. Explicit lower bounds can be given if $\alpha$ has constant partial quotients. Our approach is inspired by the construction involved in the proof of the Rokhlin Lemma and furthermore makes use of the Three Gap Theorem.


title: Filtering variational quantum algorithms for combinatorial optimization

abstract: Current gate-based quantum computers have the potential to provide a computational advantage if algorithms use quantum hardware efficiently. To make combinatorial optimization more efficient, we introduce the Filtering Variational Quantum Eigensolver (F-VQE) which utilizes filtering operators to achieve faster and more reliable convergence to the optimal solution. Additionally we explore the use of causal cones to reduce the number of qubits required on a quantum computer. Using random weighted MaxCut problems, we numerically analyze our methods and show that they perform better than the original VQE algorithm and the Quantum Approximate Optimization Algorithm (QAOA). We also demonstrate the experimental feasibility of our algorithms on a Honeywell trapped-ion quantum processor.


title: A Vertical Federated Learning Framework for Horizontally Partitioned Labels

abstract: Vertical federated learning is a collaborative machine learning framework to train deep leaning models on vertically partitioned data with privacy-preservation. It attracts much attention both from academia and industry. Unfortunately, applying most existing vertical federated learning methods in real-world applications still faces two daunting challenges. First, most existing vertical federated learning methods have a strong assumption that at least one party holds the complete set of labels of all data samples, while this assumption is not satisfied in many practical scenarios, where labels are horizontally partitioned and the parties only hold partial labels. Existing vertical federated learning methods can only utilize partial labels, which may lead to inadequate model update in end-to-end backpropagation. Second, computational and communication resources vary in parties. Some parties with limited computational and communication resources will become the stragglers and slow down the convergence of training. Such straggler problem will be exaggerated in the scenarios of horizontally partitioned labels in vertical federated learning. To address these challenges, we propose a novel vertical federated learning framework named Cascade Vertical Federated Learning (CVFL) to fully utilize all horizontally partitioned labels to train neural networks with privacy-preservation. To mitigate the straggler problem, we design a novel optimization objective which can increase straggler's contribution to the trained models. We conduct a series of qualitative experiments to rigorously verify the effectiveness of CVFL. It is demonstrated that CVFL can achieve comparable performance (e.g., accuracy for classification tasks) with centralized training. The new optimization objective can further mitigate the straggler problem comparing with only using the asynchronous aggregation mechanism during training.


title: Bayesian Cox Regression for Large-scale Inference with Applications to Electronic Health Records

abstract: The Cox model is an indispensable tool for time-to-event analysis, particularly in biomedical research. However, medicine is undergoing a profound transformation, generating data at an unprecedented scale, which opens new frontiers to study and understand diseases. With the wealth of data collected, new challenges for statistical inference arise, as datasets are often high dimensional, exhibit an increasing number of measurements at irregularly spaced time points, and are simply too large to fit in memory. Many current implementations for time-to-event analysis are ill-suited for these problems as inference is computationally demanding and requires access to the full data at once. Here we propose a Bayesian version for the counting process representation of Cox's partial likelihood for efficient inference on large-scale datasets with millions of data points and thousands of time-dependent covariates. Through the combination of stochastic variational inference and a reweighting of the log-likelihood, we obtain an approximation for the posterior distribution that factorizes over subsamples of the data, enabling the analysis in big data settings. Crucially, the method produces viable uncertainty estimates for large-scale and high-dimensional datasets. We show the utility of our method through a simulation study and an application to myocardial infarction in the UK Biobank.


title: STIX X-ray microflare observations during the Solar Orbiter commissioning phase

abstract: The Spectrometer/Telescope for Imaging X-rays (STIX) is the HXR instrument onboard Solar Orbiter designed to observe solar flares over a broad range of flare sizes, between 4-150 keV. We report the first STIX observations of microflares recorded during the instrument commissioning phase in order to investigate the STIX performance at its detection limit. This first result paper focuses on the temporal and spectral evolution of STIX microflares occuring in the AR12765 in June 2020, and compares the STIX measurements with GOES/XRS, SDO/AIA, and Hinode/XRT. For the observed microflares of the GOES A and B class, the STIX peak time at lowest energies is located in the impulsive phase of the flares, well before the GOES peak time. Such a behavior can either be explained by the higher sensitivity of STIX to higher temperatures compared to GOES, or due to the existence of a nonthermal component reaching down to low energies. The interpretation is inconclusive due to limited counting statistics for all but the largest flare in our sample. For this largest flare, the low-energy peak time is clearly due to thermal emission, and the nonthermal component seen at higher energies occurs even earlier. This suggests that the classic thermal explanation might also be favored for the majority of the smaller flares. In combination with EUV and SXR observations, STIX corroborates earlier findings that an isothermal assumption is of limited validity. Future diagnostic efforts should focus on multi-wavelength studies to derive differential emission measure distributions over a wide range of temperatures to accurately describe the energetics of solar flares. Commissioning observations confirm that STIX is working as designed. As a rule of thumb, STIX detects flares as small as the GOES A class. For flares above the GOES B class, detailed spectral and imaging analyses can be performed.


title: Study of rotational splittings in $\delta$~Scuti stars using pattern finding techniques

abstract: Detecting and understanding rotation in stellar interiors is nowadays one of the unsolved problems in stellar physics. Asteroseismology has been able to provide insights on rotation for the Sun, solar-like stars, and compact objects like white dwarfs. However, this is still very difficult for intermediate-mass stars. These stars are moderate-to-rapid rotators. Rotation splits and shifts the oscillation modes, which makes the oscillation spectrum more complex and harder to interpret. Here we study the oscillation patterns of a sample of benchmark $\delta$~Sct stars belonging to eclipsing binary systems with the objective to find the frequency spacing related to the rotational splitting ($\delta r$). For this task, we combine three techniques: the Fourier transform, the autocorrelation function, and the histogram of frequency differences. The last two showed a similar behaviour. For most of the stars, it was necessary to determine the large separation ($\Delta\nu$) prior to spot $\delta r$. This is the first time we may clearly state that one of the periodicities present in the p~modes oscillation spectra of $\delta$~Sct stars corresponds to the rotational splitting. This is true independently of the stellar rotation rate. These promising results pave the way to find a robust methodology to determine rotational splittings from the oscillation spectra of $\delta$~Sct stars and, thus, understanding the rotational profile of intermediate-mass pulsating stars.


title: Contrastive Learning of Generalized Game Representations

abstract: Representing games through their pixels offers a promising approach for building general-purpose and versatile game models. While games are not merely images, neural network models trained on game pixels often capture differences of the visual style of the image rather than the content of the game. As a result, such models cannot generalize well even within similar games of the same genre. In this paper we build on recent advances in contrastive learning and showcase its benefits for representation learning in games. Learning to contrast images of games not only classifies games in a more efficient manner; it also yields models that separate games in a more meaningful fashion by ignoring the visual style and focusing, instead, on their content. Our results in a large dataset of sports video games containing 100k images across 175 games and 10 game genres suggest that contrastive learning is better suited for learning generalized game representations compared to conventional supervised learning. The findings of this study bring us closer to universal visual encoders for games that can be reused across previously unseen games without requiring retraining or fine-tuning.


title: Arterial Tube Laws and Wave Speeds

abstract: The 1-D theory of flow in the arteries yields an equation for the wave speed in terms of the density of blood and the distensibility of the vessel. By means of this equation there is a duality between the equation for the wave speed and the tube law describing the area of the vessel as a function of pressure. We explore this duality for the equations for wave speed and tube laws that are most commonly used in theoretical arterial hemodynamics. We see that there are qualitative differences between these laws and the experimental data on wave speed in canine arteries measured by Anliker and his colleagues 50 years ago. We suggest an empirical equation for wave speed (and its dual tube law) that fits the experimental data as well as the common expectation that arteries become stiffer as the pressure increases. We conclude with a cautionary historical tale about the differences between the theoretical predictions and the experimental measurements of the speed of sound in air that persisted for more than 200 years.


title: The ensemble Kalman filter for rare event estimation

abstract: We present a novel sampling-based method for estimating probabilities of rare or failure events. Our approach is founded on the Ensemble Kalman filter (EnKF) for inverse problems. Therefore, we reformulate the rare event problem as an inverse problem and apply the EnKF to generate failure samples. To estimate the probability of failure, we use the final EnKF samples to fit a distribution model and apply Importance Sampling with respect to the fitted distribution. This leads to an unbiased estimator if the density of the fitted distribution admits positive values within the whole failure domain. To handle multi-modal failure domains, we localise the covariance matrices in the EnKF update step around each particle and fit a mixture distribution model in the Importance Sampling step. For affine linear limit-state functions, we investigate the continuous-time limit and large time properties of the EnKF update. We prove that the mean of the particles converges to a convex combination of the most likely failure point and the mean of the optimal Importance Sampling density if the EnKF is applied without noise. We provide numerical experiments to compare the performance of the EnKF with Sequential Importance Sampling.


title: V-Edge: Virtual Edge Computing as an Enabler for Novel Microservices and Cooperative Computing

abstract: As we move from 5G to 6G, edge computing is one of the concepts that needs revisiting. Its core idea is still intriguing: instead of sending all data and tasks from an end user's device to the cloud, possibly covering thousands of kilometers and introducing delays that are just owed to limited propagation speed, edge servers deployed in close proximity to the user, e.g., at some 5G gNB, serve as proxy for the cloud. Yet this promising idea is hampered by the limited availability of such edge servers. In this paper, we discuss a way forward, namely the virtual edge computing (V-Edge) concept. V-Edge bridges the gap between cloud, edge, and fog by virtualizing all available resources including the end users' devices and making these resources widely available using well-defined interfaces. V-Edge also acts as an enabler for novel microservices as well as cooperative computing solutions. We introduce the general V-Edge architecture and we characterize some of the key research challenges to overcome, in order to enable wide-spread and even more powerful edge services.


title: Fitting summary statistics of neural data with a differentiable spiking network simulator

abstract: Fitting network models to neural activity is an important tool in neuroscience. A popular approach is to model a brain area with a probabilistic recurrent spiking network whose parameters maximize the likelihood of the recorded activity. Although this is widely used, we show that the resulting model does not produce realistic neural activity. To correct for this, we suggest to augment the log-likelihood with terms that measure the dissimilarity between simulated and recorded activity. This dissimilarity is defined via summary statistics commonly used in neuroscience and the optimization is efficient because it relies on back-propagation through the stochastically simulated spike trains. We analyze this method theoretically and show empirically that it generates more realistic activity statistics. We find that it improves upon other fitting algorithms for spiking network models like GLMs (Generalized Linear Models) which do not usually rely on back-propagation. This new fitting algorithm also enables the consideration of hidden neurons which is otherwise notoriously hard, and we show that it can be crucial when trying to infer the network connectivity from spike recordings.


title: Being a Bit Frequentist Improves Bayesian Neural Networks

abstract: Despite their compelling theoretical properties, Bayesian neural networks (BNNs) tend to perform worse than frequentist methods in classification-based uncertainty quantification (UQ) tasks such as out-of-distribution (OOD) detection. In this paper, based on empirical findings in prior works, we hypothesize that this issue is because even recent Bayesian methods have never considered OOD data in their training processes, even though this "OOD training" technique is an integral part of state-of-the-art frequentist UQ methods. To validate this, we treat OOD data as a first-class citizen in BNN training by exploring four different ways of incorporating OOD data into Bayesian inference. We show in extensive experiments that OOD-trained BNNs are competitive to recent frequentist baselines. This work thus provides strong baselines for future work in Bayesian UQ.


title: Nongeminate Recombination in Planar and Bulk Heterojunction Organic Solar Cells

abstract: We investigate nongeminate recombination in organic solar cells based on copper phthalocyanine (CuPc) and C$_{60}$. Two device architectures, the planar heterojunction (PHJ) and the bulk heterojunction (BHJ), are directly compared in view of differences in charge carrier decay dynamics. We apply a combination of transient photovoltage (TPV) experiments, yielding the small perturbation charge carrier lifetime, and charge extraction measurements, providing the charge carrier density. In organic solar cells, charge photogeneration and recombination primarily occur at the donor--acceptor heterointerface. Whereas the BHJ can often be approximated by an effective medium due to rather small scale phase separation, the PHJ has a well defined two-dimensional heterointerface. To study recombination dynamics in PHJ devices most relevant is the charge accumulation at this interface. As from extraction techniques only the spatially averaged carrier concentration can be determined, we derive the charge carrier density at the interface $n_{int}$ from the open circuit voltage. Comparing the experimental results with macroscopic device simulation we discuss the differences of recombination and charge carrier densities in CuPc:C$_{60}$ PHJ and BHJ devices with respect to the device performance. The open circuit voltage of BHJ is larger than for PHJ at low light intensities, but at 0.3 sun the situation is reversed: here, the PHJ can finally take advantage of its generally longer charge carrier lifetimes, as the active recombination region is smaller.


title: LP-based policies for restless bandits: necessary and sufficient conditions for (exponentially fast) asymptotic optimality

abstract: We provide a framework to analyse control policies for the restless Markovian bandit model, under both finite and infinite time horizon. We show that when the population of arms goes to infinity, the value of the optimal control policy converges to the solution of a linear program (LP). We provide necessary and sufficient conditions for a generic control policy to be: i) asymptotically optimal; ii) asymptotically optimal with square root convergence rate; iii) asymptotically optimal with exponential rate. We then construct the LP-index policy that is asymptotically optimal with square root convergence rate on all models, and with exponential rate if the model is non-degenerate in finite horizon, and satisfies a uniform global attractor property in infinite horizon. We next define the LP-update policy, which is essentially a repeated LP-index policy that solves a new linear program at each decision epoch. We provide numerical experiments to compare the efficiency of LP-based policies. We compare the performance of the LP-index policy and the LP-update policy with other heuristics. Our result demonstrates that the LP-update policy outperforms the LP-index policy in general, and can have a significant advantage when the transition matrices are wrongly estimated.


title: Differentially Private Sparse Vectors with Low Error, Optimal Space, and Fast Access

abstract: Representing a sparse histogram, or more generally a sparse vector, is a fundamental task in differential privacy. An ideal solution would use space close to information-theoretical lower bounds, have an error distribution that depends optimally on the desired privacy level, and allow fast random access to entries in the vector. However, existing approaches have only achieved two of these three goals. In this paper we introduce the Approximate Laplace Projection (ALP) mechanism for approximating k-sparse vectors. This mechanism is shown to simultaneously have information-theoretically optimal space (up to constant factors), fast access to vector entries, and error of the same magnitude as the Laplace-mechanism applied to dense vectors. A key new technique is a unary representation of small integers, which we show to be robust against ``randomized response'' noise. This representation is combined with hashing, in the spirit of Bloom filters, to obtain a space-efficient, differentially private representation. Our theoretical performance bounds are complemented by simulations which show that the constant factors on the main performance parameters are quite small, suggesting practicality of the technique.


title: Point-of-Interest Recommender Systems based on Location-Based Social Networks: A Survey from an Experimental Perspective

abstract: Point-of-Interest recommendation is an increasing research and developing area within the widely adopted technologies known as Recommender Systems. Among them, those that exploit information coming from Location-Based Social Networks (LBSNs) are very popular nowadays and could work with different information sources, which pose several challenges and research questions to the community as a whole. We present a systematic review focused on the research done in the last 10 years about this topic. We discuss and categorize the algorithms and evaluation methodologies used in these works and point out the opportunities and challenges that remain open in the field. More specifically, we report the leading recommendation techniques and information sources that have been exploited more often (such as the geographical signal and deep learning approaches) while we also alert about the lack of reproducibility in the field that may hinder real performance improvements.


title: Residual Contrastive Learning for Image Reconstruction: Learning Transferable Representations from Noisy Images

abstract: This paper is concerned with contrastive learning (CL) for low-level image restoration and enhancement tasks. We propose a new label-efficient learning paradigm based on residuals, residual contrastive learning (RCL), and derive an unsupervised visual representation learning framework, suitable for low-level vision tasks with noisy inputs. While supervised image reconstruction aims to minimize residual terms directly, RCL alternatively builds a connection between residuals and CL by defining a novel instance discrimination pretext task, using residuals as the discriminative feature. Our formulation mitigates the severe task misalignment between instance discrimination pretext tasks and downstream image reconstruction tasks, present in existing CL frameworks. Experimentally, we find that RCL can learn robust and transferable representations that improve the performance of various downstream tasks, such as denoising and super resolution, in comparison with recent self-supervised methods designed specifically for noisy inputs. Additionally, our unsupervised pre-training can significantly reduce annotation costs whilst maintaining performance competitive with fully-supervised image reconstruction.


title: On M-theory on Real Toric Fibrations

abstract: Borrowing ideas from elliptic complex geometry, we approach M-theory compactifications on real toric fibrations. Precisely, we explore real toric equations rather than complex ones exploited in F-theory and related dual models. These geometries have been built by moving real circles over real bases. Using topological changing behaviors, we unveil certain data associated with gauge sectors relying on affine Lie symmetries.


title: The photothermal nonlinearity in plasmon-assisted photocatalysis

abstract: Understanding the intricate relation between illumination and temperature in metallic nano-particles is crucial for elucidating the role of illumination in various physical processes which rely on plasmonic enhancement but are also sensitive to temperature. Recent studies have shown that the temperature rise in optically-thick ensembles of metal nanoparticles under intense illumination is dominated by the thermal conductivity of the host, rather than by the optical properties of the metal or the host. Here, we show that the temperature dependence of the thermal conductivity of the host dominates the nonlinear photothermal response of these systems. In particular, this dependence typically causes the temperature rise to become strongly sublinear, reaching even several tens of percent. We then show that this can explain experimental observations in several recent plasmon-assisted photocatalysis experiments. This shows that any claim for dominance of non-thermal electrons in plasmon-assisted photocatalysis must account first for this photothermal nonlinear mechanism.


title: $SU(5) \times U(1)_X$ Axion Model with Observable Proton Decay

abstract: We propose a $SU(5) \times U(1)_X \times U(1)_{PQ}$ model, where $U(1)_X$ is the generalization of the $B-L$ (baryon minus lepton number) gauge symmetry and $U(1)_{PQ}$ is the global Peccei-Quinn (PQ) symmetry. There are four fermions families in $\bf{{\overline 5}} + \bf{10}$ representations of $SU(5)$, a mirror family in $\bf{5}+\bf{{\overline {10}}}$ representations, and three $SU(5)$ singlet Majorana fermions. The $U(1)_X$ related anomalies all cancel in the presence of the Majorana neutrinos. The $SU(5)$ symmetry is broken at $M_{GUT} \simeq (6-9)\times 10^{15}$ GeV and the proton lifetime $\tau_p$ is estimated to be well within the expected sensitivity of the future Hyper-Kamiokande experiment, $\tau_p \lesssim 1.3 \times 10^{35}$ years. The $SU(5)$ breaking also triggers the breaking of the PQ symmetry, resulting in axion dark matter (DM), with the axion decay constant $f_a$ of order $M_{GUT}$ or somewhat larger. The CASPEr experiment can search for such an axion DM candidate. The Hubble parameter during inflation must be low, $H_{inf} \lesssim 10^9 $ GeV, in order to successfully resolve the axion domain wall, axion DM isocurvature and $SU(5)$ monopole problems. With the identification of the $U(1)_X$ breaking Higgs field with the inflaton field, we implement inflection-point inflation, which is capable of realizing the desired value for $H_{inf}$. The vectorlike fermions in the model are essential for achieving successful unification of the SM gauge couplings as well as the phenomenological viability of both axion DM and inflation scenario.


title: Study of some local and global $U(1)$ axial condensates in QCD at finite temperature

abstract: The aim of this work is to study some possible local and global $U(1)$ axial condensates in the high-temperature chirally restored phase of QCD, by means of two nonperturbative analytical techniques: (i) by expressing the functional averages in terms of the spectral density of the Euclidean Dirac operator and (ii) by evaluating the functional integrals in the instanton-background approximation. In this way, besides proving that these condensates are indeed different from zero in the high-temperature regime, we shall also derive their asymptotic temperature dependence and compare it with that of the topological susceptibility.


title: Learning to Plan via a Multi-Step Policy Regression Method

abstract: We propose a new approach to increase inference performance in environments that require a specific sequence of actions in order to be solved. This is for example the case for maze environments where ideally an optimal path is determined. Instead of learning a policy for a single step, we want to learn a policy that can predict n actions in advance. Our proposed method called policy horizon regression (PHR) uses knowledge of the environment sampled by A2C to learn an n dimensional policy vector in a policy distillation setup which yields n sequential actions per observation. We test our method on the MiniGrid and Pong environments and show drastic speedup during inference time by successfully predicting sequences of actions on a single observation.


title: Label prompt for multi-label text classification

abstract: One of the key problems in multi-label text classification is how to take advantage of the correlation among labels. However, it is very challenging to directly model the correlations among labels in a complex and unknown label space. In this paper, we propose a Label Mask multi-label text classification model (LM-MTC), which is inspired by the idea of cloze questions of language model. LM-MTC is able to capture implicit relationships among labels through the powerful ability of pre-train language models. On the basis, we assign a different token to each potential label, and randomly mask the token with a certain probability to build a label based Masked Language Model (MLM). We train the MTC and MLM together, further improving the generalization ability of the model. A large number of experiments on multiple datasets demonstrate the effectiveness of our method.


title: Combined Person Classification with Airborne Optical Sectioning

abstract: Fully autonomous drones have been demonstrated to find lost or injured persons under strongly occluding forest canopy. Airborne Optical Sectioning (AOS), a novel synthetic aperture imaging technique, together with deep-learning-based classification enables high detection rates under realistic search-and-rescue conditions. We demonstrate that false detections can be significantly suppressed and true detections boosted by combining classifications from multiple AOS rather than single integral images. This improves classification rates especially in the presence of occlusion. To make this possible, we modified the AOS imaging process to support large overlaps between subsequent integrals, enabling real-time and on-board scanning and processing of groundspeeds up to 10 m/s.


title: Chern-Weil theory for Haefliger-singular foliations

abstract: We give a Chern-Weil map for the Gel'fand-Fuks characteristic classes of Haefliger-singular foliations, those foliations defined by smooth Haefliger structures with dense regular set. Our characteristic map constructs, out of singular geometric structures adapted to singularities, explicit forms representing characteristic classes in de Rham cohomology. The forms are functorial under foliation morphisms. We prove that the theory applies, up to homotopy, to general smooth Haefliger structures: subject only to obvious necessary dimension constraints, every smooth Haefliger structure is homotopic to a Haefliger-singular foliation, and any morphism of Haefliger structures is homotopic to a morphism of Haefliger-singular foliations. As an application, we provide a generalisation to the singular setting of the classical construction of forms representing the Godbillon-Vey invariant.


title: Accelerating Abelian Random Walks with Hyperbolic Dynamics

abstract: Given integers $d \geq 2, n \geq 1$, we consider affine random walks on torii $(\mathbb{Z} / n \mathbb{Z})^{d}$ defined as $X_{t+1} = A X_{t} + B_{t} \mod n$, where $A \in \mathrm{GL}_{d}(\mathbb{Z})$ is an invertible matrix with integer entries and $(B_{t})_{t \geq 0}$ is a sequence of iid random increments on $\mathbb{Z}^{d}$. We show that when $A$ has no eigenvalues of modulus $1$, this random walk mixes in $O(\log n \log \log n)$ steps as $n \rightarrow \infty$, and mixes actually in $O(\log n)$ steps only for almost all $n$. These results generalize those on the so-called Chung-Diaconis-Graham process, which corresponds to the case $d=1$. Our proof is based on the initial arguments of Chung, Diaconis and Graham, and relies extensively on the properties of the dynamical system $x \mapsto A^{\top} x$ on the continuous torus $\mathbb{R}^{d} / \mathbb{Z}^{d}$. Having no eigenvalue of modulus one makes this dynamical system a hyperbolic toral automorphism, a typical example of a chaotic system known to have a rich behaviour. As such our proof sheds new light on the speed-up gained by applying a deterministic map to a Markov chain.


title: Debiased Subjective Assessment of Real-World Image Enhancement

abstract: In real-world image enhancement, it is often challenging (if not impossible) to acquire ground-truth data, preventing the adoption of distance metrics for objective quality assessment. As a result, one often resorts to subjective quality assessment, the most straightforward and reliable means of evaluating image enhancement. Conventional subjective testing requires manually pre-selecting a small set of visual examples, which may suffer from three sources of biases: 1) sampling bias due to the extremely sparse distribution of the selected samples in the image space; 2) algorithmic bias due to potential overfitting the selected samples; 3) subjective bias due to further potential cherry-picking test results. This eventually makes the field of real-world image enhancement more of an art than a science. Here we take steps towards debiasing conventional subjective assessment by automatically sampling a set of adaptive and diverse images for subsequent testing. This is achieved by casting sample selection into a joint maximization of the discrepancy between the enhancers and the diversity among the selected input images. Careful visual inspection on the resulting enhanced images provides a debiased ranking of the enhancement algorithms. We demonstrate our subjective assessment method using three popular and practically demanding image enhancement tasks: dehazing, super-resolution, and low-light enhancement.


title: Correlative approaches in single-molecule biophysics: a review of the progress in methods and applications

abstract: Here, we discuss a collection of cutting-edge techniques and applications in use today by some of the leading experts in the field of correlative approaches in single-molecule biophysics. A key difference in emphasis, compared with traditional single-molecule biophysics approaches detailed previously, is on the emphasis of the development and use of complex methods which explicitly combine multiple approaches to increase biological insights at the single-molecule level. These so-called correlative single-molecule biophysics methods rely on multiple, orthogonal tools and analysis, as opposed to any one single driving technique. Importantly, they span both in vivo and in vitro biological systems as well as the interfaces between theory and experiment in often highly integrated ways, very different to earlier traditional non-integrative approaches. The first applications of correlative single-molecule methods involved adaption of a range of different experimental technologies to the same biological sample whose measurements were synchronised. However, now we find a greater flora of integrated methods emerging that include approaches applied to different samples at different times and yet still permit useful molecular-scale correlations to be performed. The resultant findings often enable far greater precision of length and time scales of measurements, and a more understanding of the interplay between different processes in the same cell. Many new correlative single-molecule biophysics techniques also include more complex, physiologically relevant approaches as well as increasing number that combine advanced computational methods and mathematical analysis with experimental tools. Here we review the motivation behind the development of correlative single-molecule microscopy methods, its history and recent progress in the field.

categories: q-bio.QM physics.bio-ph q-bio.BM q-bio.CB


title: Go-and-return phase encoded SR QKD and its security consideration

abstract: In this work, we study the security of coherent-state quantum key distribution with a strong reference pulse. The consideration is based on a powerful soft filtering attack and uses realistic parameters of the equipment. Our model allows us to relate the secure key generation rate and distance with the energy of signal and reference pulses. We propose a two-pass quantum key distribution phase encoding optical scheme with a strong reference pulse. This simple for realization scheme is experimentally tested showing stable operation. Here we describe the tuning technique and solution for the problem of weak signal pulse shadowing by a bright reference pulse with the relative intensity difference of more than 60\,dB between them.


title: An Analysis of Transaction Handling in Bitcoin

abstract: Bitcoin has become the leading cryptocurrency system, but the limit on its transaction processing capacity has resulted in increased transaction fees and delayed transaction confirmation. As such, it is pertinent to understand and probably predict how transactions are handled by Bitcoin such that a user may adapt the transaction requests and a miner may adjust the block generation strategy and/or the mining pool to join. To this aim, the present paper introduces results from an analysis of transaction handling in Bitcoin. Specifically, the analysis consists of two-part. The first part is an exploratory data analysis revealing key characteristics in Bitcoin transaction handling. The second part is a predictability analysis intended to provide insights on transaction handling such as (i) transaction confirmation time, (ii) block attributes, and (iii) who has created the block. The result shows that some models do reasonably well for (ii), but surprisingly not for (i) or (iii).


title: Subjective Bias in Abstractive Summarization

abstract: Due to the subjectivity of the summarization, it is a good practice to have more than one gold summary for each training document. However, many modern large-scale abstractive summarization datasets have only one-to-one samples written by different human with different styles. The impact of this phenomenon is understudied. We formulate the differences among possible multiple expressions summarizing the same content as subjective bias and examine the role of this bias in the context of abstractive summarization. In this paper a lightweight and effective method to extract the feature embeddings of subjective styles is proposed. Results of summarization models trained on style-clustered datasets show that there are certain types of styles that lead to better convergence, abstraction and generalization. The reproducible code and generated summaries are available online.


title: Constraining off-shell production of axion-like particles with $Z\gamma$ and $WW$ differential cross-section measurements

abstract: This article describes a search for low-mass axion-like particles (ALPs) at the Large Hadron Collider (LHC). If ALPs were produced at the LHC via gluon-gluon fusion and decayed to bosons, the energy dependence of the measured diboson cross-sections would differ from the Standard Model expectation. Measurements of $WW$ and $Z\gamma$ differential cross-sections by the ATLAS collaboration are interpreted to constrain ALP couplings to $W$-, $Z$-bosons and photons assuming gluon-gluon-fusion production.


title: It's FLAN time! Summing feature-wise latent representations for interpretability

abstract: Interpretability has become a necessary feature for machine learning models deployed in critical scenarios, e.g. legal system, healthcare. In these situations, algorithmic decisions may have (potentially negative) long-lasting effects on the end-user affected by the decision. In many cases, the representational power of deep learning models is not needed, therefore simple and interpretable models (e.g. linear models) should be preferred. However, in high-dimensional and/or complex domains (e.g. computer vision), the universal approximation capabilities of neural networks are required. Inspired by linear models and the Kolmogorov-Arnold representation theorem, we propose a novel class of structurally-constrained neural networks, which we call FLANs (Feature-wise Latent Additive Networks). Crucially, FLANs process each input feature separately, computing for each of them a representation in a common latent space. These feature-wise latent representations are then simply summed, and the aggregated representation is used for prediction. These constraints (which are at the core of the interpretability of linear models) allow a user to estimate the effect of each individual feature independently from the others, enhancing interpretability. In a set of experiments across different domains, we show how without compromising excessively the test performance, the structural constraints proposed in FLANs indeed facilitates the interpretability of deep learning models. We quantitatively compare FLANs interpretability to post-hoc methods using recently introduced metrics, discussing the advantages of natively interpretable models over a post-hoc analysis.


title: Leveraging Google Earth Engine platform to characterize and map small seasonal wetlands in the semi-arid environments of South Africa

abstract: Small seasonal wetlands are a distinctive feature of the semi-arid environments. Although these systems are small and ephemeral in nature, they provide habitats to aquatic flora and fauna, and play a critical role in sustaining livelihoods through the provision of ecological services. There is a great concern that these wetlands are not routinely monitored, which has contributed to their poor management. So far, scientific research strides have been noted in mapping and understanding the spatial coverage and ecohydrological dynamics of wetlands in semi-arid areas using broadband multispectral data. However, because of the sensing characteristics of these platforms, mapping and monitoring of small wetlands remains a challenge.


title: Conservative iterative methods for implicit discretizations of conservation laws

abstract: Conservation properties of iterative methods applied to implicit finite volume discretizations of nonlinear conservation laws are analyzed. It is shown that any consistent multistep or Runge-Kutta method is globally conservative. Further, it is shown that Newton's method, Krylov subspace methods and pseudo-time iterations are globally conservative while the Jacobi and Gauss-Seidel methods are not in general. If pseudo-time iterations using an explicit Runge-Kutta method are applied to a locally conservative discretization, then the resulting scheme is also locally conservative. However, the corresponding numerical flux can be inconsistent with the conservation law. We prove an extension of the Lax-Wendroff theorem, which reveals that numerical solutions based on these methods converge to weak solutions of a modified conservation law where the flux function is multiplied by a particular constant. This constant depends on the choice of Runge-Kutta method but is independent of both the conservation law and the discretization. Consistency is maintained by ensuring that this constant equals unity and a strategy for achieving this is presented. Experiments show that this strategy improves the convergence rate of the pseudo-time iterations.


title: Efficient conversion of closed-channel dominated Feshbach molecules of $^{23}$Na$^{40}$K to their absolute ground state

abstract: We demonstrate the transfer of $^{23}$Na$^{40}$K molecules from a closed-channel dominated Feshbach-molecule state to the absolute ground state. The Feshbach molecules are initially created from a gas of sodium and potassium atoms via adiabatic ramping over a Feshbach resonance at 78.3$\,$G. The molecules are then transferred to the absolute ground state using stimulated Raman adiabatic passage with an intermediate state in the spin-orbit-coupled complex $|c^3 \Sigma^+, v=35, J=1 \rangle \sim |B^1\Pi, v=12, J=1\rangle$. Our measurements show that the pump transition dipole moment linearly increases with the closed-channel fraction. Thus, the pump-beam intensity can be two orders of magnitude lower than is necessary with open-channel dominated Feshbach molecules. We also demonstrate that the phase noise of the Raman lasers can be reduced by filter cavities, significantly improving the transfer efficiency.


title: Discerning Generic Event Boundaries in Long-Form Wild Videos

abstract: Detecting generic, taxonomy-free event boundaries invideos represents a major stride forward towards holisticvideo understanding. In this paper we present a technique forgeneric event boundary detection based on a two stream in-flated 3D convolutions architecture, which can learn spatio-temporal features from videos. Our work is inspired from theGeneric Event Boundary Detection Challenge (part of CVPR2021 Long Form Video Understanding- LOVEU Workshop).Throughout the paper we provide an in-depth analysis ofthe experiments performed along with an interpretation ofthe results obtained.


title: Introductory Economics: Gender, Majors, and Future Performance

abstract: By investigating the exam scores of introductory economics in a business school in Taiwan between 2008 and 2019, we find three sets of results: First, we find no significant difference between genders in the exam scores. Second, students' majors are significantly associated with their exam scores, which likely reflects their academic ability measured at college admission. Third, the exam scores are strong predictors of students' future academic performance.


title: Engineered dissipation induced entanglement transition in quantum spin chains: from logarithmic growth to area law

abstract: Recent theoretical work has shown that the competition between coherent unitary dynamics and stochastic measurements, performed by the environment, along wavefunction trajectories can give rise to transitions in the entanglement scaling. In this work, complementary to these previous studies, we analyze a situation where the role of Hamiltonian and dissipative dynamics is reversed. We consider an engineered dissipation, which stabilizes an entangled phase of a quantum spin$-1/2$ chain, while competing single-particle or interacting Hamiltonian dynamics induce a disentangled phase. Focusing on the single-particle unitary dynamics, we find that the system undergoes an entanglement transition from a logarithmic growth to an area law when the competition ratio between the unitary evolution and the non-unitary dynamics increases. We evidence that the transition manifests itself in state-dependent observables at a finite competition ratio for Hamiltonian and measurement dynamics. On the other hand, it is absent in trajectory-averaged steady-state dynamics, governed by a Lindblad master equation: although purely dissipative dynamics stabilizes an entangled state, for any non-vanishing Hamiltonian contribution the system ends up irremediably in a disordered phase. In addition, a single trajectory analysis reveals that the distribution of the entanglement entropy constitutes an efficient indicator of the transition. Complementarily, we explore the competition of the dissipation with coherent dynamics generated by an interacting Hamiltonian, and demonstrate that the entanglement transition also occurs in this second model. Our results suggest that this type of transition takes place for a broader class of Hamiltonians, underlining its robustness in monitored open quantum many-body systems.


title: Remarks about the Arithmetic of Graphs

abstract: The arithmetic of N, Z, Q, R can be extended to a graph arithmetic where N is the semiring of finite simple graphs and where Z and Q are integral domains, culminating in a Banach algebra R. A single network completes to the Wiener algebra. We illustrate the compatibility with topology and spectral theory. Multiplicative linear functionals like Euler characteristic, the Poincare polynomial or the zeta functions can be extended naturally. These functionals can also help with number theoretical questions. The story of primes is a bit different as the integers are not a unique factorization domain, because there are many additive primes. Most graphs are multiplicative primes.


title: A Categorical Construction of the Real Unit Interval

abstract: The real unit interval is the fundamental building block for many branches of mathematics like probability theory, measure theory, convex sets and homotopy theory. However, a priori the unit interval could be considered an arbitrary choice and one can wonder if there is some more canonical way in which the unit interval can be constructed. In this paper we find such a construction by using the theory of effect algebras. We show that the real unit interval is the unique non-initial, non-final irreducible algebra of a particular monad on the category of bounded posets. The algebras of this monad carry an order, multiplication, addition and complement, and as such model much of the operations we need to do on probabilities. On a technical level, we show that both the categories of omega-complete effect algebras as well as that of omega-complete effect monoids are monadic over the category of bounded posets using Beck's monadicity theorem. The characterisation of the real unit interval then follows easily using a recent representation theorem for omega-complete effect monoids.


title: Rigidity results for geodesically reversible Finsler metrics

abstract: A Finsler metric is geodesically reversible if geodesics remain geodesics after a change of orientation. Asymmetric norms on vector spaces and Funk metrics in the interior of convex bodies are examples of geodesically reversible metrics that are not necessarily sums of reversible metrics and closed 1-forms. However, there seem to be few such examples in closed manifolds. In this paper the theory of volumes and areas on Finsler spaces is applied to establish a number of rigidity theorems which partially explain this paucity of examples. These rigidity results settle some hitherto unsolved cases of Hilbert's fourth problem for asymmetric metrics.


title: On fully supported eigenfunctions of quantum graphs

abstract: We prove that every metric graph which is a tree has an orthonormal sequence of Laplace-eigenfunctions of full support. This implies that the number of nodal domains $\nu_n$ of the $n$-th eigenfunction of the Laplacian with standard conditions satisfies $\nu_n/n \to 1$ along a subsequence and has previously only been known in special cases such as mutually rationally dependent or rationally independent side lengths. It shows in particular that the Pleijel nodal domain asymptotics from two- or higher dimensional domains cannot occur on these graphs: Despite their more complicated topology, they still behave as in the one-dimensional case. We prove an analogous result on general metric graphs under the condition that they have at least one Dirichlet vertex. Furthermore, we generalize our results to Delta vertex conditions and to edgewise constant potentials. The main technical contribution is a new expression for a secular function in which modifications to the graph, to vertex conditions, and to the potential are particularly easy to understand.


title: The Graphical Traveling Salesperson Problem has no Integer Programming Formulation in the Original Space

abstract: The Graphical Traveling Salesperson Problem (GTSP) is the problem of assigning, for a given weighted graph, a nonnegative number $x_e$ each edge $e$ such that the induced multi-subgraph is of minimum weight among those that are spanning, connected and Eulerian. Naturally, known mixed-integer programming formulations use integer variables $x_e$ in addition to others. Denis Naddef posed the challenge of finding a (reasonably simple) mixed-integer programming formulation that has integrality constraints only on these edge variables. Recently, Carr and Simonetti (IPCO 2021) showed that such a formulation cannot consist of polynomial-time certifyiable inequality classes unless $\mathsf{NP}=\mathsf{coNP}$. In this note we establish a more rigorous result, namely that no such MIP formulation exists at all.


title: Revealing shifts from mastery of knowledge to problem solving in assessments of a tertiary physics programme

abstract: There is an increasing pressure for lecturers to work with two goals. First, they need to ensure their undergraduate students have a good grasp of the knowledge and skills of the intellectual field. In addition, they need to prepare graduates and postgraduates for careers both within and outside of academia. The problem addressed by this paper is how assessments may reveal a shift of focus from a mastery of knowledge to a work-focused orientation. This shift is examined through a case study of physics and the sub-discipline of theoretical physics as intellectual fields. The evidence is assessment tasks given to students at different points of their studies from first year to doctoral levels. By examining and analysing the assessment tasks using concepts from Legitimation Code Theory (LCT), we demonstrate how the shifts in the assessments incrementally lead students from a pure disciplinary focus to one that enables students to potentially pursue employment both within and outside of academia. In doing so, we also highlight the usefulness of LCT as a framework for evaluating the preparation of science students for diverse workplaces.


title: Polarimetric signature of the oceans as detected by near-infrared Earthshine observations

abstract: Context. The discovery of an extrasolar planet with an ocean has crucial importance in the search for life beyond Earth. The polarimetric detection of specularly reflected light from a smooth liquid surface is anticipated theoretically, though the polarimetric signature of Earth's oceans has not yet been conclusively detected in disk-integrated planetary light. Aims. We aim to detect and measure the polarimetric signature of the Earth's oceans. Methods. We conducted near-infrared polarimetry for lunar Earthshine and collected data on 32 nights with a variety of ocean fractions in the Earthshine-contributing region. Results. A clear positive correlation was revealed between the polarization degree and ocean fraction. We found hourly variations in polarization in accordance with rotational transition of the ocean fraction. The ratios of the variation to the typical polarization degree were as large as ~0.2-1.4. Conclusions. Our observations provide plausible evidence of the polarimetric signature attributed to Earth's oceans. Near-infrared polarimetry may be considered a prospective technique in the search for exoplanetary oceans.


title: Deciding dependence in logic and algebra

abstract: We introduce a universal algebraic generalization of de Jongh's notion of dependence for formulas of intuitionistic propositional logic, relating it to a notion of dependence defined by Marczewski for elements of an algebraic structure. Following ideas of de Jongh and Chagrova, we show how constructive proofs of (weak forms of) uniform interpolation can be used to decide dependence for varieties of abelian l-groups, MV-algebras, semigroups, and modal algebras. We also consider minimal provability results for dependence, obtaining in particular a complete description and decidability of dependence for the variety of lattices.


title: Nongeminate and Geminate Recombination in PTB7:PC$_{71}$BM solar cells

abstract: A combination of transient photovoltage (TPV), voltage dependent charge extraction (CE) and time delayed collection field (TDCF) measurements is applied to poly[[4,8-bis[(2-ethylhexyl)oxy]benzo[1,2-b:4,5-b']dithiophene-2,6-diyl] [3-fluoro-2-[(2-ethylhexyl)carbonyl] thieno[3,4-b]thiophenediyl]] (PTB7):[6,6]-phenyl-C71-butyric acid (PC$_{71}$BM) bulk heterojunction solar cells to analyze the limitations of photovoltaic performance. Devices are processed from pure chlorobenzene (CB) solution and a subset was optimized with 1,8-diiodooctane (DIO) as co-solvent. The dramatic changes in device performance are discussed with respect to the dominating loss processes. While in the devices processed from CB solution, severe geminate and nongeminate recombination is observed, the use of DIO facilitates efficient polaron pair dissociation and minimizes geminate recombination. Thus, from the determined charge carrier decay rate under open circuit conditions and the voltage dependent charge carrier densities $n(V)$, the nongeminate loss current $j_{loss}$ of the samples with DIO alone enables us to reconstruct the current/voltage ($j/V$) characteristics across the whole operational voltage range. Geminate and nongeminate losses are considered to describe the $j/V$ response of cells prepared without additive, but lead to a clearly overestimated device performance. We attribute the deviation between measured and reconstructed $j/V$ characteristics to trapped charges in isolated domains of pure fullerene phases.


title: hSMAL: Detailed Horse Shape and Pose Reconstruction for Motion Pattern Recognition

abstract: In this paper we present our preliminary work on model-based behavioral analysis of horse motion. Our approach is based on the SMAL model, a 3D articulated statistical model of animal shape. We define a novel SMAL model for horses based on a new template, skeleton and shape space learned from $37$ horse toys. We test the accuracy of our hSMAL model in reconstructing a horse from 3D mocap data and images. We apply the hSMAL model to the problem of lameness detection from video, where we fit the model to images to recover 3D pose and train an ST-GCN network on pose data. A comparison with the same network trained on mocap points illustrates the benefit of our approach.


title: Study of Spin-Orbit Interactions and Interlayer Ferromagnetic Coupling in Co/Pt/Co Trilayers in Wide Range of Heavy Metal Thickness

abstract: The spin-orbit torque, a torque induced by a charge current flowing through the heavy-metal conducting layer with strong spin-orbit interactions, provides an efficient way to control the magnetization direction in heavy-metal/ferromagnet nanostructures, required for applications in the emergent magnetic technologies like random access memories, high-frequency nano oscillators, or bio-inspired neuromorphic computations. We study the interface properties, magnetization dynamics, magnetostatic features and spin-orbit interactions within the multilayer system Ti(2)/Co(1)/Pt(0-4)/Co(1)/MgO(2)/Ti(2) (thicknesses in nanometers) patterned by optical lithography on micrometer-sized bars. In the investigated devices, Pt is used as a source of the spin current and as a non-magnetic spacer with variable thickness, which enables the magnitude of the interlayer ferromagnetic exchange coupling to be effectively tuned. We also find the Pt thickness-dependent changes in magnetic anisotropies, magnetoresistance, effective Hall angle and, eventually, spin-orbit torque fields at interfaces. The experimental findings are supported by the relevant interface structure-related simulations, micromagnetic, macrospin, as well as the spin drift-diffusion models. Finally, the contribution of the spin-orbital Edelstein-Rashba interfacial fields is also briefly discussed in the analysis.


title: ELMOPP: An Application of Graph Theory and Machine Learning to Traffic Light Coordination

abstract: Traffic light management is a broad subject with various papers published that put forth algorithms to efficiently manage traffic using traffic lights. Two such algorithms are the OAF (oldest arrival first) and ITLC (intelligent traffic light controller) algorithms. However, many traffic light algorithms do not consider future traffic flow and therefore cannot mitigate traffic in such a way as to reduce future traffic in the present. This paper presents the Edge Load Management and Optimization through Pseudoflow Prediction (ELMOPP) algorithm, which aims to solve problems detailed in previous algorithms; through machine learning with nested long short-term memory (NLSTM) modules and graph theory, the algorithm attempts to predict the near future using past data and traffic patterns to inform its real-time decisions and better mitigate traffic by predicting future traffic flow based on past flow and using those predictions to both maximize present traffic flow and decrease future traffic congestion. Furthermore, while ITLC and OAF require the use of GPS transponders; and GPS, speed sensors, and radio, respectively, ELMOPP only uses traffic light camera footage, something that is almost always readily available in contrast to GPS and speed sensors. ELMOPP was tested against the ITLC and OAF traffic management algorithms using a simulation modeled after the one presented in the ITLC paper, a single-intersection simulation, and the collected data supports the conclusion that ELMOPP statistically significantly outperforms both algorithms in throughput rate, a measure of how many vehicles are able to exit inroads every second.


title: Boolean Matrix Factorization with SAT and MaxSAT

abstract: The Boolean matrix factorization problem consists in approximating a matrix by the Boolean product of two smaller Boolean matrices. To obtain optimal solutions when the matrices to be factorized are small, we propose SAT and MaxSAT encoding; however, when the matrices to be factorized are large, we propose a heuristic based on the search for maximal biclique edge cover. We experimentally demonstrate that our approaches allow a better factorization than existing approaches while keeping reasonable computation times. Our methods also allow the handling of incomplete matrices with missing entries.


title: Long-time dynamics of small solutions to 1$d$ cubic nonlinear Schr\"odinger equations with a trapping potential

abstract: In this paper, we analyze the long-time dynamics of small solutions to the $1d$ cubic nonlinear Schr\"odinger equation (NLS) with a trapping potential. We show that every small solution will decompose into a small solitary wave and a radiation term which exhibits the modified scattering. In particular, this result implies the asymptotic stability of small solitary waves. Our analysis also establishes the long-time behavior of solutions to a perturbation of the integrable cubic NLS with the appearance of solitons.


title: Assessing an Alternative for `Negative Variance Components': A Gentle Introduction to Bayesian Covariance Structure Modelling for Negative Associations Among Patients with Personalized Treatments

abstract: The multilevel model (MLM) is the popular approach to describe dependences of hierarchically clustered observations. A main feature is the capability to estimate (cluster-specific) random effect parameters, while their distribution describes the variation across clusters. However, the MLM can only model positive associations among clustered observations, and it is not suitable for small sample sizes. The limitation of the MLM becomes apparent when estimation methods produce negative estimates for random effect variances, which can be seen as an indication that observations are negatively correlated. A gentle introduction to Bayesian Covariance Structure Modelling (BCSM) is given, which makes it possible to model also negatively correlated observations. The BCSM does not model dependences through random (cluster-specific) effects, but through a covariance matrix. We show that this makes the BCSM particularly useful for small data samples. We draw specific attention to detect effects of a personalized intervention. The effect of a personalized treatment can differ across individuals, and this can lead to negative associations among measurements of individuals who are treated by the same therapist. It is shown that the BCSM enables the modeling of negative associations among clustered measurements and aids in the interpretation of negative clustering effects. Through a simulation study and by analysis of a real data example, we discuss the suitability of the BCSM for small data sets and for exploring effects of individualized treatments, specifically when (standard) MLM software produces negative or zero variance estimates.


title: Under the Sand: Navigation and Localization of a Micro Aerial Vehicle for Landmine Detection with Ground Penetrating Synthetic Aperture Radar

abstract: Ground penetrating radar mounted on micro aerial vehicle (MAV) is a promising tool to assist humanitarian landmine clearance. However, the quality of synthetic aperture radar images depends on accurate and precise motion estimation of the radar antennas as well as generating informative viewpoints with the MAV. This paper presents a complete and automatic airborne ground-penetrating synthetic aperture radar (GPSAR) system. The system consists of a spatially calibrated and temporally synchronized industrial grade sensor suite that enables navigation above ground level, radar imaging, and optical imaging. A custom mission planning framework allows generation and automatic execution of stripmap and circular (GPSAR) trajectories controlled above ground level as well as aerial imaging survey flights. A factor graph based state estimator fuses measurements from dual receiver real-time kinematic (RTK) global navigation satellite system (GNSS) and inertial measurement unit (IMU) to obtain precise, high rate platform positions and orientations. Ground truth experiments showed sensor timing as accurate as 0.8 us and as precise as 0.1 us with localization rates of 1 kHz. The dual position factor formulation improves online localization accuracy up to 40% and batch localization accuracy up to 59% compared to a single position factor with uncertain heading initialization. Our field trials validated a localization accuracy and precision that enables coherent radar measurement addition and detection of radar targets buried in sand. This validates the potential as an aerial landmine detection system.


title: A Weak Monotonicity Based Muscle Fatigue Detection Algorithm for a Short-Duration Poor Posture Using sEMG Measurements

abstract: Muscle fatigue is usually defined as a decrease in the ability to produce force. The surface electromyography (sEMG) signals have been widely used to provide information about muscle activities including detecting muscle fatigue by various data-driven techniques such as machine learning and statistical approaches. However, it is well-known that sEMG signals are weak signals (low amplitude of the signals) with a low signal-to-noise ratio, data-driven techniques cannot work well when the quality of the data is poor. In particular, the existing methods are unable to detect muscle fatigue coming from static poses. This work exploits the concept of weak monotonicity, which has been observed in the process of fatigue, to robustly detect muscle fatigue in the presence of measurement noises and human variations. Such a population trend methodology has shown its potential in muscle fatigue detection as demonstrated by the experiment of a static pose.


title: Towards Distraction-Robust Active Visual Tracking

abstract: In active visual tracking, it is notoriously difficult when distracting objects appear, as distractors often mislead the tracker by occluding the target or bringing a confusing appearance. To address this issue, we propose a mixed cooperative-competitive multi-agent game, where a target and multiple distractors form a collaborative team to play against a tracker and make it fail to follow. Through learning in our game, diverse distracting behaviors of the distractors naturally emerge, thereby exposing the tracker's weakness, which helps enhance the distraction-robustness of the tracker. For effective learning, we then present a bunch of practical methods, including a reward function for distractors, a cross-modal teacher-student learning strategy, and a recurrent attention mechanism for the tracker. The experimental results show that our tracker performs desired distraction-robust active visual tracking and can be well generalized to unseen environments. We also show that the multi-agent game can be used to adversarially test the robustness of trackers.


title: Atomistic spin model of single pulse toggle switching in Mn$_2$Ru$_x$Ga Heusler alloys

abstract: Single femtosecond pulse toggle switching of ferrimagnetic alloys is an essential building block for ultrafast spintronics. Very different element-specific demagnetization dynamics is believed to be a hard limit for switching in ferrimagnets. This suggests that ferrimagnets composed of two ions of different nature, such as rare earth transition metal alloys, are necessary for switching. However, experimental observation of toggle switching in Mn$_2$Ru$_x$Ga Heusler alloys, has contested this limit since Mn ions are of the same nature. To shed some light into this question, we present an atomistic spin model for the simulation of single pulse toggle switching of Mn$_2$Ru$_x$Ga. The magnetic parameters entering in our model are extracted from previous experimental observations. We show that our model is able to quantitatively reproduce measured magnetization dynamics of single pulse toggle switching. We demonstrate that differently to previous understanding toggle switching in Mn$_2$Ru$_x$Ga is possible even when both Mn sublattices demagnetization at very similar rate.


title: Deep Reinforcement Learning Models Predict Visual Responses in the Brain: A Preliminary Result

abstract: Supervised deep convolutional neural networks (DCNNs) are currently one of the best computational models that can explain how the primate ventral visual stream solves object recognition. However, embodied cognition has not been considered in the existing visual processing models. From the ecological standpoint, humans learn to recognize objects by interacting with them, allowing better classification, specialization, and generalization. Here, we ask if computational models under the embodied learning framework can explain mechanisms underlying object recognition in the primate visual system better than the existing supervised models? To address this question, we use reinforcement learning to train neural network models to play a 3D computer game and we find that these reinforcement learning models achieve neural response prediction accuracy scores in the early visual areas (e.g., V1 and V2) in the levels that are comparable to those accomplished by the supervised neural network model. In contrast, the supervised neural network models yield better neural response predictions in the higher visual areas, compared to the reinforcement learning models. Our preliminary results suggest the future direction of visual neuroscience in which deep reinforcement learning should be included to fill the missing embodiment concept.


title: Magnetic response of metallic nanoparticles: Geometric and weakly relativistic effects

abstract: While the large paramagnetic response measured in certain ensembles of metallic nanoparticles has been assigned to orbital effects of conduction electrons, the spin-orbit coupling has been pointed out as a possible origin of the anomalously large diamagnetic response observed in other cases. Such a relativistic effect, arising from the inhomogeneous electrostatic potential seen by the conduction electrons, might originate from the host ionic lattice, impurities, or the self-consistent confining potential. Here we theoretically investigate the effect of the spin-orbit coupling arising from the confining potential, quantifying its contribution to the zero-field magnetic susceptibility and gauging it against the ones generated by other weakly-relativistic corrections. Two ideal geometries are considered in detail, the sphere and the half-sphere, focusing on the expected increased role of the spin-orbit coupling upon a symmetry reduction, and the application of these results to actual metallic nanoparticles is discussed. The matrix elements of the different weakly-relativistic corrections are obtained and incorporated in a perturbative treatment of the magnetic field, leading to tractable semi-analytical and semiclassical expressions for the case of the sphere, while a numerical treatment becomes necessary for the half-sphere. The correction to the zero-field susceptibility arising from the spin-orbit coupling in a single sphere is quite small, and it is dominated by the weakly-relativistic kinetic energy correction, which in turn remains considerably smaller than the typical values of the nonrelativistic zero-field susceptibility. Moreover, the spin-orbit contribution to the average response for ensembles of nanoparticles with a large size dispersion is shown to vanish. The symmetry reduction in going from the single sphere to the half-sphere does not translate into a significant (...)


title: Characterization of dense Planck clumps observed with Herschel and SCUBA-2

abstract: We aim to characterize a diverse selection of dense, potentially star-forming cores, clumps, and clouds within the Milky Way in terms of their dust emission and SF activity. We studied 53 fields that have been observed in the JCMT SCUBA-2 continuum survey SCOPE and have been mapped with Herschel. We estimated dust properties by fitting Herschel observations with modified blackbody functions, studied the relationship between dust temperature and dust opacity spectral index $\beta$, and estimated column densities. We extracted clumps from the SCUBA-2 850 $\mu$m maps with the FellWalker algorithm and examined their masses and sizes. Clumps are associated with young stellar objects found in several catalogs. We estimated the gravitational stability of the clumps with virial analysis. The clumps are categorized as unbound starless, prestellar, or protostellar. We find 529 dense clumps, typically with high column densities from (0.3-4.8)$\times 10^{22}$ cm$^{-2}$, with a mean of (1.5$\pm$0.04)$\times10^{22}$ cm$^{-2}$, low temperatures ($T\sim $10-20 K), and estimated submillimeter $\beta$ =1.7$\pm$0.1. We detect a slight increase in opacity spectral index toward millimeter wavelengths. Masses of the sources range from 0.04 $M_\odot$ to 4259 $M_\odot$. Mass, linear size, and temperature are correlated with distance. Furthermore, the estimated gravitational stability is dependent on distance, and more distant clumps appear more virially bound. Finally, we present a catalog of properties of the clumps.Our sources present a large array of SF regions, from high-latitude, nearby diffuse clouds to large SF complexes near the Galactic center. Analysis of these regions will continue with the addition of molecular line data, which will allow us to study the densest regions of the clumps in more detail.


title: Quot schemes for Kleinian orbifolds

abstract: For a finite subgroup $\Gamma\subset {\mathrm{SL}}(2,\mathbb{C})$, we identify fine moduli spaces of certain cornered quiver algebras, defined in earlier work, with orbifold Quot schemes for the Kleinian orbifold $[\mathbb{C}^2/\Gamma]$. We also describe the reduced schemes underlying these Quot schemes as Nakajima quiver varieties for the framed McKay quiver of $\Gamma$, taken at specific non-generic stability parameters. These schemes are therefore irreducible, normal and admit symplectic resolutions. Our results generalise our previous work on the Hilbert scheme of points on $\mathbb{C}^2/\Gamma$; we present arguments that completely bypass the ADE classification.


title: ELISa: A new tool for fast modelling of eclipsing binaries

abstract: We present a new, fast, and easy to use tool for modelling light and radial velocity curves of close eclipsing binaries with built-in methods for solving an inverse problem. The main goal of ELISa (Eclipsing binary Learning and Interactive System) is to provide an acceptable compromise between computational speed and precision during the fitting of light curves and radial velocities of eclipsing binaries. The package is entirely written in the Python programming language in a modular fashion, making it easy to install, modify, and run on various operating systems. ELISa implements Roche geometry and the triangulation process to model a surface of the eclipsing binary components, where the surface parameters of each surface element are treated separately. Surface symmetries and approximations based on the similarity between surface geometries were used to reduce the runtime during light curve calculation significantly. ELISa implements the least square trust region reflective algorithm and Markov-chain Monte Carlo optimisation methods to provide the built-in capability to determine parameters of the binary system from photometric observations and radial velocities. The precision and speed of the light curve generator were evaluated using various benchmarks. We conclude that ELISa maintains an acceptable level of accuracy to analyse data from ground-based and space-based observations, and it provides a significant reduction in computational time compared to the current widely used tools for modelling eclipsing binaries.


title: RKKY couplings in the Lieb lattice: flat-band induced frustration

abstract: Despite their dispersion-less character, flat bands (FBs) are often at the heart of remarkable physical phenomena. Because, FBs may be responsible for unconventional quantum electronic transport, our purpose is to investigate their impact on the RKKY couplings (J(R)). As a good candidate, we choose the The Lieb lattice which consists of one four-fold coordinated atom (A) and two two-fold coordinated atoms (B,C) per unit cell. As in graphene, at the neutrality point, J(R) is found to fall off as 1/R3. The coupling between a pair of impurities on sublattice A are found ferromagnetic and isotropic. In contrast, for impurities on the two-fold coordinated sites, J(R) reveals (i) a strong angular anisotropy and (ii) can be both ferromagnetic (F) or antiferromagnetic (AF). The AF character introduced by the FB can largely dominate, and introduces frustration effects. The FB is found to have a drastic impact on J(R) for impurities located on (B,C) sublattices. We have also addressed the effect of tuning the carrier density that reveals remarkable features as well.


title: Virtual Temporal Samples for Recurrent Neural Networks: applied to semantic segmentation in agriculture

abstract: This paper explores the potential for performing temporal semantic segmentation in the context of agricultural robotics without temporally labelled data. We achieve this by proposing to generate virtual temporal samples from labelled still images. By exploiting the relatively static scene and assuming that the robot (camera) moves we are able to generate virtually labelled temporal sequences with no extra annotation effort. Normally, to train a recurrent neural network (RNN), labelled samples from a video (temporal) sequence are required which is laborious and has stymied work in this direction. By generating virtual temporal samples, we demonstrate that it is possible to train a lightweight RNN to perform semantic segmentation on two challenging agricultural datasets. Our results show that by training a temporal semantic segmenter using virtual samples we can increase the performance by an absolute amount of $4.6$ and $4.9$ on sweet pepper and sugar beet datasets, respectively. This indicates that our virtual data augmentation technique is able to accurately classify agricultural images temporally without the use of complicated synthetic data generation techniques nor with the overhead of labelling large amounts of temporal sequences.


title: Decoding the Density Dependence of the Nuclear Symmetry Energy

abstract: The large imbalance in the neutron and proton densities in very neutron rich systems increases the nuclear symmetry energy so that it governs many aspects of neutron stars and their mergers. Extracting the density dependence of the symmetry energy therefore constitutes an important scientific objective. Many analyses have been limited to extracting values for the symmetry energy, $S_0$, and its ``derivative'', $L$, at saturation density $\rho_0 \approx 2.6 \times 10^{14}~\mathrm{g/cm^3}$ $\approx 0.16~\mathrm{nucleons/fm^{3}}$, resulting in constraints that appear contradictory. We show that most experimental observables actually probe the symmetry energy at densities far from $\rho_0$, making the extracted values of $S_0$ or $L$ imprecise. By focusing on the densities these observables actually probe, we obtain a detailed picture of the density dependence of the symmetry energy from $0.25\rho_0$ to $1.5\rho_0$. From this experimentally derived density functional, we extract $L_{01}=53.1\pm6.1 MeV$ at $\rho \approx 0.10~\mathrm{fm^{-3}}$, a neutron skin thickness for $^{208}Pb$ of $R_{np} =$ $0.23\pm0.04$ fm, a symmetry pressure at saturation density of $P_0=3.2\pm1.2 MeV/fm^3$ and suggests a radius for a 1.4 solar mass neutron star of $13.1\pm0.6$ km.


title: Rational points of bounded height on weighted projective stacks

abstract: A weighted projective stack is a stacky quotient $\mathscr P(\mathbf a)=(\mathbf A^n-\{0\})/\mathbb G_m$, where the action of $\mathbb G_m$ is with weights $\mathbf a\in\mathbb Z^n_{>0}$. Examples are: the compactified moduli stack of elliptic curves $\mathscr P(4,6)$ and the classifying stack of $\mu_m$-torsors $B\mu_m=\mathscr P(m)$. We define heights on the weighted projective stacks. The heights generalize the naive height of an elliptic curve and the absolute discriminant of a torsor. We use the heights to count rational points. We find the asymptotic behaviour for the number of rational points of bounded heights.


title: ScoreGrad: Multivariate Probabilistic Time Series Forecasting with Continuous Energy-based Generative Models

abstract: Multivariate time series prediction has attracted a lot of attention because of its wide applications such as intelligence transportation, AIOps. Generative models have achieved impressive results in time series modeling because they can model data distribution and take noise into consideration. However, many existing works can not be widely used because of the constraints of functional form of generative models or the sensitivity to hyperparameters. In this paper, we propose ScoreGrad, a multivariate probabilistic time series forecasting framework based on continuous energy-based generative models. ScoreGrad is composed of time series feature extraction module and conditional stochastic differential equation based score matching module. The prediction can be achieved by iteratively solving reverse-time SDE. To the best of our knowledge, ScoreGrad is the first continuous energy based generative model used for time series forecasting. Furthermore, ScoreGrad achieves state-of-the-art results on six real-world datasets. The impact of hyperparameters and sampler types on the performance are also explored. Code is available at https://github.com/yantijin/ScoreGradPred.


title: Asymptotic elimination of partially continuous aggregation functions in directed graphical models

abstract: In Statistical Relational Artificial Intelligence, a branch of AI and machine learning which combines the logical and statistical schools of AI, one uses the concept {\em para\-metrized probabilistic graphical model (PPGM)} to model (conditional) dependencies between random variables and to make probabilistic inferences about events on a space of "possible worlds". The set of possible worlds with underlying domain $D$ (a set of objects) can be represented by the set $\mathbf{W}_D$ of all first-order structures (for a suitable signature) with domain $D$. Using a formal logic we can describe events on $\mathbf{W}_D$. By combining a logic and a PPGM we can also define a probability distribution $\mathbb{P}_D$ on $\mathbf{W}_D$ and use it to compute the probability of an event. We consider a logic, denoted $PLA$, with truth values in the unit interval, which uses aggregation functions, such as arithmetic mean, geometric mean, maximum and minimum instead of quantifiers. However we face the problem of computational efficiency and this problem is an obstacle to the wider use of methods from Statistical Relational AI in practical applications. We address this problem by proving that the described probability will, under certain assumptions on the PPGM and the sentence $\varphi$, converge as the size of $D$ tends to infinity. The convergence result is obtained by showing that every formula $\varphi(x_1, \ldots, x_k)$ which contains only "admissible" aggregation functions (e.g. arithmetic and geometric mean, max and min) is asymptotically equivalent to a formula $\psi(x_1, \ldots, x_k)$ without aggregation functions.


title: Challenges and Limitations with the Metrics Measuring the Complexity of Code-Mixed Text

abstract: Code-mixing is a frequent communication style among multilingual speakers where they mix words and phrases from two different languages in the same utterance of text or speech. Identifying and filtering code-mixed text is a challenging task due to its co-existence with monolingual and noisy text. Over the years, several code-mixing metrics have been extensively used to identify and validate code-mixed text quality. This paper demonstrates several inherent limitations of code-mixing metrics with examples from the already existing datasets that are popularly used across various experiments.


title: Graph Context Encoder: Graph Feature Inpainting for Graph Generation and Self-supervised Pretraining

abstract: We propose the Graph Context Encoder (GCE), a simple but efficient approach for graph representation learning based on graph feature masking and reconstruction. GCE models are trained to efficiently reconstruct input graphs similarly to a graph autoencoder where node and edge labels are masked. In particular, our model is also allowed to change graph structures by masking and reconstructing graphs augmented by random pseudo-edges. We show that GCE can be used for novel graph generation, with applications for molecule generation. Used as a pretraining method, we also show that GCE improves baseline performances in supervised classification tasks tested on multiple standard benchmark graph datasets.


title: Sparse Random Block Matrices

abstract: The spectral moments of ensembles of sparse random block matrices are analytically evaluated in the limit of large order. The structure of the sparse matrix corresponds to the Erd\"os-Renyi random graph. The blocks are i.i.d. random matrices of the classical ensembles GOE or GUE. The moments are evaluated for finite or infinite dimension of the blocks. The correspondences between sets of closed walks on trees and classes of irreducible partitions studied in free probability together with functional relations are powerful tools for analytic evaluation of the limiting moments. They are helpful to identify probability laws for the blocks and limits of the parameters which allow the evaluation of all the spectral moments and of the spectral density.

categories: math-ph cond-mat.stat-mech math.CO math.MP math.PR