title: Distributional Solutions of the Damped Wave Equation

abstract: This work presents results on solutions of the one-dimensional damped wave equation, also called telegrapher's equation, when the initial conditions are general distributions, not only functions. We make a complete deduction of its fundamental solutions, both for positive and negative times. To obtain them we use only self-similarity arguments and distributional calculus, making no use of Fourier or Laplace transforms. We next use these fundamental solutions to prove both the existence and the uniqueness of solutions to the distributional initial value problem. As applications we recover the semigroup property for initial data in classical function spaces and also the probability distribution function for a certain financial model of evolution of prices.


title: Non-Autoregressive Neural Dialogue Generation

abstract: Maximum Mutual information (MMI), which models the bidirectional dependency between responses ($y$) and contexts ($x$), i.e., the forward probability $\log p(y|x)$ and the backward probability $\log p(x|y)$, has been widely used as the objective in the \sts model to address the dull-response issue in open-domain dialog generation. Unfortunately, under the framework of the \sts model, direct decoding from $\log p(y|x) + \log p(x|y)$ is infeasible since the second part (i.e., $p(x|y)$) requires the completion of target generation before it can be computed, and the search space for $y$ is enormous. Empirically, an N-best list is first generated given $p(y|x)$, and $p(x|y)$ is then used to rerank the N-best list, which inevitably results in non-globally-optimal solutions. In this paper, we propose to use non-autoregressive (non-AR) generation model to address this non-global optimality issue. Since target tokens are generated independently in non-AR generation, $p(x|y)$ for each target word can be computed as soon as it's generated, and does not have to wait for the completion of the whole sequence. This naturally resolves the non-global optimal issue in decoding. Experimental results demonstrate that the proposed non-AR strategy produces more diverse, coherent, and appropriate responses, yielding substantive gains in BLEU scores and in human evaluations.


title: 2.75D: Boosting learning by representing 3D Medical imaging to 2D features for small data

abstract: In medical-data driven learning, 3D convolutional neural networks (CNNs) have started to show superior performance to 2D CNNs in numerous deep learning tasks, proving the added value of 3D spatial information in feature representation. However, the difficulty in collecting more training samples to converge, more computational resources and longer execution time make this approach less applied. Also, applying transfer learning on 3D CNN is challenging due to a lack of publicly available pre-trained 3D models. To tackle these issues, we proposed a novel 2D strategical representation of volumetric data, namely 2.75D. In this work, the spatial information of 3D images is captured in a single 2D view by a spiral-spinning technique. As a result, 2D CNN networks can also be used to learn volumetric information. Besides, we can fully leverage pre-trained 2D CNNs for downstream vision problems. We also explore a multi-view 2.75D strategy, 2.75D 3 channels (2.75Dx3), to boost the advantage of 2.75D. We evaluated the proposed methods on three public datasets with different modalities or organs (Lung CT, Breast MRI, and Prostate MRI), against their 2D, 2.5D, and 3D counterparts in classification tasks. Results show that the proposed methods significantly outperform other counterparts when all methods were trained from scratch on the lung dataset. Such performance gain is more pronounced with transfer learning or in the case of limited training data. Our methods also achieved comparable performance on other datasets. In addition, our methods achieved a substantial reduction in time consumption of training and inference compared with the 2.5D or 3D method.


title: Controlling Cherenkov threshold with nonlocality

abstract: Cherenkov radiation is generally believed to be threshold-free in hyperbolic metamaterials owing to the extremely large photonic density of states in classical local framework. While recent advances in nonlocal and quantum effects extend our understanding of light-matter interactions in metallic nanostructures, the influence of nonlocality on threshold-free Cherenkov radiation still remains elusive. Here we theoretically demonstrate that the nonlocality provides an indispensable way to flexibly engineer Cherenkov thresholds in metallodielectric layered structures. Particularly, the nonlocality results in a lower-bound velocity cutoff, whose value is comparable to the electron Fermi velocity. Surprisingly, this lower-bound threshold can be significantly smaller than the classically predicted one if the metamaterial works around epsilon-near-zero frequencies. The capability to control Cherenkov thresholds opens numerous prospects for practical applications of Cherenkov radiation, in particular, for integrated free-electron radiation sources.


title: Gibbs variational formula for thermal equilibrium states in terms of quantum relative entropy density

abstract: We prove the Gibbs variational formula in terms of quantum relative entropy density that characterizes translation invariant thermal equilibrium states in quantum lattice systems. It is a natural quantum extension of the similar statement established by F\"ollmer for classical systems. In this work we advocate the viewpoint: Avoid the unique-phase assumption if it is not essential.


title: Minimax optimal goodness-of-fit testing for densities and multinomials under a local differential privacy constraint

abstract: Finding anonymization mechanisms to protect personal data is at the heart of recent machine learning research. Here, we consider the consequences of local differential privacy constraints on goodness-of-fit testing, i.e. the statistical problem assessing whether sample points are generated from a fixed density $f_0$, or not. The observations are kept hidden and replaced by a stochastic transformation satisfying the local differential privacy constraint. In this setting, we propose a testing procedure which is based on an estimation of the quadratic distance between the density $f$ of the unobserved samples and $f_0$. We establish an upper bound on the separation distance associated with this test, and a matching lower bound on the minimax separation rates of testing under non-interactive privacy in the case that $f_0$ is uniform, in discrete and continuous settings. To the best of our knowledge, we provide the first minimax optimal test and associated private transformation under a local differential privacy constraint over Besov balls in the continuous setting, quantifying the price to pay for data privacy. We also present a test that is adaptive to the smoothness parameter of the unknown density and remains minimax optimal up to a logarithmic factor. Finally, we note that our results can be translated to the discrete case, where the treatment of probability vectors is shown to be equivalent to that of piecewise constant densities in our setting. That is why we work with a unified setting for both the continuous and the discrete cases.


title: Big Data and model-based survey sampling

abstract: Big Data are huge amounts of digital information that are automatically accrued or merged from several sources and rarely result from properly planned surveys. A Big Dataset is herein conceived of as a collection of information concerning a finite population. We suggest selecting a sample of observations to get the inferential goal. We assume a super-population model has generated the Big Dataset. With this assumption, we can apply the theory of optimal design to draw a sample from the Big Dataset that contains the majority of the information about the unknown parameters.


title: Electronic band structure of (111) $SrRuO_{3}$ thin film$-$an angle-resolved photoemission spectroscopy study

abstract: We studied the electronic band structure of pulsed laser deposition (PLD) grown (111)-oriented SrRuO$_3$ (SRO) thin films using \textit{in situ} angle-resolved photoemission spectroscopy (ARPES) technique. We observed previously unreported, light bands with a renormalized quasiparticle effective mass of about 0.8$m_{e}$. The electron-phonon coupling underlying this mass renormalization yields a characteristic "kink" in the band dispersion. The self-energy analysis using the Einstein model suggests five optical phonon modes covering an energy range 44 to 90 meV contribute to the coupling. Besides, we show that the quasiparticle spectral intensity at the Fermi level is considerably suppressed, and two prominent peaks appear in the valance band spectrum at binding energies of 0.8 eV and 1.4 eV, respectively. We discuss the possible implications of these observations. Overall, our work demonstrates that high-quality thin films of oxides with large spin-orbit coupling can be grown along the polar (111) orientation by the PLD technique, enabling \textit{in situ} electronic band structure study. This could allow for characterizing the thickness-dependent evolution of band structure of (111) heterostructures$-$a prerequisite for exploring possible topological quantum states in the bilayer limit.


title: Non-distributive logics: from semantics to meaning

abstract: We discuss an ongoing line of research in the relational (non topological) semantics of non-distributive logics. The developments we consider are technically rooted in dual characterization results and insights from unified correspondence theory. However, they also have broader, conceptual ramifications for the intuitive meaning of non-distributive logics, which we explore.


title: Learning to Switch Among Agents in a Team via 2-Layer Markov Decision Processes

abstract: Reinforcement learning agents have been mostly developed and evaluated under the assumption that they will operate in a fully autonomous manner -- they will take all actions. In this work, our goal is to develop algorithms that, by learning to switch control between agents, allow existing reinforcement learning agents to operate under different automation levels. To this end, we first formally define the problem of learning to switch control among agents in a team via a 2-layer Markov decision process. Then, we develop an online learning algorithm that uses upper confidence bounds on the agents' policies and the environment's transition probabilities to find a sequence of switching policies. The total regret of our algorithm with respect to the optimal switching policy is sublinear in the number of learning steps and, whenever multiple teams of agents operate in a similar environment, our algorithm greatly benefits from maintaining shared confidence bounds for the environments' transition probabilities and it enjoys a better regret bound than problem-agnostic algorithms. Simulation experiments in an obstacle avoidance task illustrate our theoretical findings and demonstrate that, by exploiting the specific structure of the problem, our proposed algorithm is superior to problem-agnostic algorithms.


title: Direct measurement of temporal correlations above the spin-glass transition by coherent resonant magnetic x-ray spectroscopy

abstract: In the 1970s a new paradigm was introduced that interacting quenched systems, such as a spin-glass, have a phase transition in which long time memory of spatial patterns is realized without spatial correlations. The principal methods to study the spin-glass transition, besides some elaborate and elegant theoretical constructions, have been numerical computer simulations and neutron spin echo measurements . We show here that the dynamical correlations of the spin-glass transition are embedded in measurements of the four-spin correlations at very long times. This information is directly available in the temporal correlations of the intensity, which encode the spin-orientation memory, obtained by the technique of resonant magnetic x-ray photon correlation spectroscopy (RM- XPCS). We have implemented this method to observe and accurately characterize the critical slowing down of the spin orientation fluctuations in the classic metallic spin glass alloy Cu(Mn) over time scales of 1 to 1000 secs. Our method opens the way for studying phase transitions in systems such as spin ices, and quantum spin liquids, as well as the structural glass transition.


title: Influence of experimental conditions on localized surface plasmon resonances measurement by electron energy loss spectroscopy

abstract: Scanning transmission electron microscopy (STEM) combined with electron energy loss spectroscopy (EELS) has become a standard technique to map localized surface plasmon resonances with a nanometer spatial and a sufficient energy resolution over the last 15 years. However, no experimental work discussing the influence of experimental conditions during the measurement has been published up to now. We present an experimental study of the influence of the primary beam energy and the collection semi-angle on the plasmon resonances measurement by STEM-EELS. To explore the influence of these two experimental parameters we study a series of gold rods and gold bow-tie and diabolo antennas. We discuss the impact on experimental characteristics which are important for successful detection of the plasmon peak in EELS, namely: the intensity of plasmonic signal, the signal to background ratio, and the signal to zero-loss peak ratio. We show that the best results are obtained using a medium primary beam energy, in our case 120 keV, and an arbitrary collection semi-angle, as it is not a critical parameter at this primary beam energy. Our instructive overview will help microscopists in the field of plasmonics to arrange their experiments.


title: Precision measurements of the fundamental properties of the proton and antiproton

abstract: Precision measurements comparing the fundamental properties of conjugate particles and antiparticles constitute stringent tests of CPT invariance. We review recent precision measurements of the BASE collaboration, which improved the uncertainty of the proton and antiproton magnetic moments and the comparison of the proton-to-antiproton charge-to-mass ratio. These measurements constitute the most stringent tests of CPT invariance with antiprotons. Further, we discuss the improved limit on the antiproton lifetime based on the storage of a cloud of antiprotons in the unique BASE reservoir trap. Based on these recent advances, we discuss ongoing technical developments which comprise a coupling trap for the sympathetic cooling of single (anti-)protons with laser-cooled beryllium ions, a transportable trap to relocate antiproton measurements into a high-precision laboratory, and a new experiment to measure the magnetic moment of helium-3 ions, which will improve absolute precision magnetometry.


title: Controllability maximization of large-scale systems using projected gradient method

abstract: In this work, we formulate two controllability maximization problems for large-scale networked dynamical systems such as brain networks: The first problem is a sparsity constraint optimization problem with a box constraint. The second problem is a modified problem of the first problem, in which the state transition matrix is Metzler. In other words, the second problem is a realization problem for a positive system. We develop a projected gradient method for solving the problems, and prove global convergence to a stationary point with locally linear convergence rate. The projections onto the constraints of the first and second problems are given explicitly. Numerical experiments using the proposed method provide non-trivial results. In particular, the controllability characteristic is observed to change with increase in the parameter specifying sparsity, and the change rate appears to be dependent on the network structure.


title: Designing a Holistic At-Home Learning Aid for Autism

abstract: In recent years, much focus has been put on employing technology to make novel behavioural aids for those with autism. Most of these are digital adaptations of tools used in standard behavioural therapy to enforce normative skills. These digital counterparts are often used outside of both the larger therapeutic context and the real world, in which the learned skills might apply. To address this, we are designing a system of automatic expression recognition on wearable devices that integrates directly into the families daily social interactions, to give children and their caregivers the tools and information they need to design their own holistic therapy. In order to develop a tool that will be truly useful to families, we proactively include children with autism and their families as co-designers in the development process. By providing an app and interface with interchangeable social feedback options, we aim to produce a framework for therapy that folds into their daily lives, tailored to their specific needs.


title: The Devil is in the Channels: Mutual-Channel Loss for Fine-Grained Image Classification

abstract: Key for solving fine-grained image categorization is finding discriminate and local regions that correspond to subtle visual traits. Great strides have been made, with complex networks designed specifically to learn part-level discriminate feature representations. In this paper, we show it is possible to cultivate subtle details without the need for overly complicated network designs or training mechanisms -- a single loss is all it takes. The main trick lies with how we delve into individual feature channels early on, as opposed to the convention of starting from a consolidated feature map. The proposed loss function, termed as mutual-channel loss (MC-Loss), consists of two channel-specific components: a discriminality component and a diversity component. The discriminality component forces all feature channels belonging to the same class to be discriminative, through a novel channel-wise attention mechanism. The diversity component additionally constraints channels so that they become mutually exclusive on spatial-wise. The end result is therefore a set of feature channels that each reflects different locally discriminative regions for a specific class. The MC-Loss can be trained end-to-end, without the need for any bounding-box/part annotations, and yields highly discriminative regions during inference. Experimental results show our MC-Loss when implemented on top of common base networks can achieve state-of-the-art performance on all four fine-grained categorization datasets (CUB-Birds, FGVC-Aircraft, Flowers-102, and Stanford-Cars). Ablative studies further demonstrate the superiority of MC-Loss when compared with other recently proposed general-purpose losses for visual classification, on two different base networks. Code available at https://github.com/dongliangchang/Mutual-Channel-Loss


title: MRzero -- Fully automated discovery of MRI sequences using supervised learning

abstract: Purpose: A supervised learning framework is proposed to automatically generate MR sequences and corresponding reconstruction based on the target contrast of interest. Combined with a flexible, task-driven cost function this allows for an efficient exploration of novel MR sequence strategies. Methods: The scanning and reconstruction process is simulated end-to-end in terms of RF events, gradient moment events in x and y, and delay times, acting on the input model spin system given in terms of proton density, T1 and T2, and $\Delta$B0. As a proof of concept, we use both conventional MR images and T1 maps as targets and optimize from scratch using the loss defined by data fidelity, SAR penalty, and scan time. Results: In a first attempt, \textit{MRzero} learns gradient and RF events from zero, and is able to generate a target image produced by a conventional gradient echo sequence. Using a neural network within the reconstruction module allows arbitrary targets to be learned successfully. Experiments could be translated to image acquisition at the real system (3T Siemens, PRISMA) and could be verified in the measurements of phantoms and a human brain \textit{in vivo}. Conclusions: Automated MR sequence generation is possible based on differentiable Bloch equation simulations and a supervised learning approach.


title: QZ Carinae Orbit of the Two Binary Pairs

abstract: We present an updated O-C diagram of the light-time variations of the eclipsing binary (component B) in the system QZ Carinae as it moves in the long-period orbit around the non-eclipsing pair (component A). This includes new Variable Stars South members' measures from 2017 to 2019, BRITE satellite observations in 2017 and 2018, and 100 previously unpublished measures made at Auckland Observatory from 1974 to 1978. We conclude that QZ Carinae has not yet completed one orbit of the two pairs since discovery in 1971. The duration of totality of primary eclipses was measured to be 0.295 +/- 0.02 day (7.08 +/-0.48 hours), rather longer than earlier values from light curve models. Other observational findings include the shape of primary and secondary eclipses and small-scale short-term brightness changes.


title: Lifting Interpretability-Performance Trade-off via Automated Feature Engineering

abstract: Complex black-box predictive models may have high performance, but lack of interpretability causes problems like lack of trust, lack of stability, sensitivity to concept drift. On the other hand, achieving satisfactory accuracy of interpretable models require more time-consuming work related to feature engineering. Can we train interpretable and accurate models, without timeless feature engineering? We propose a method that uses elastic black-boxes as surrogate models to create a simpler, less opaque, yet still accurate and interpretable glass-box models. New models are created on newly engineered features extracted with the help of a surrogate model. We supply the analysis by a large-scale benchmark on several tabular data sets from the OpenML database. There are two results 1) extracting information from complex models may improve the performance of linear models, 2) questioning a common myth that complex machine learning models outperform linear models.


title: Asymptotic of the electric structure function and the deuteron wave function

abstract: The main features of obtaining the asymptotic behaviour of the electric structure function A(p) at large values of the transmitted momentum are analysed. The asymptotic behaviour of the structure function A(p) was determined to take into account the asymptotic behaviour of the deuteron form factors and the original dipole approximation for the nucleon form factors. Asymptotic values of A(p) were obtained for the nucleon-nucleon potential Reid93 and compared with the calculations for different nucleon form factors models and their approximations. In the broad momentum range up to 12.5 fm^(-1), the basic forms of the asymptotic behaviour of the electric structure function are demonstrated and compared with the experimental data of the modern collaborations. As the analysis shows in most cases considered, the asymptotic for A(p) is represented in the form of the power function p^(-n).


title: On Time Synchronization Issues in Time-Sensitive Networks with Regulators and Nonideal Clocks

abstract: Flow reshaping is used in time-sensitive networks (as in the context of IEEE TSN and IETF Detnet) in order to reduce burstiness inside the network and to support the computation of guaranteed latency bounds. This is performed using per-flow regulators (such as the Token Bucket Filter) or interleaved regulators (as with IEEE TSN Asynchronous Traffic Shaping). Both types of regulators are beneficial as they cancel the increase of burstiness due to multiplexing inside the network. It was demonstrated, by using network calculus, that they do not increase the worst-case latency. However, the properties of regulators were established assuming that time is perfect in all network nodes. In reality, nodes use local, imperfect clocks. Time-sensitive networks exist in two flavours: (1) in non-synchronized networks, local clocks run independently at every node and their deviations are not controlled and (2) in synchronized networks, the deviations of local clocks are kept within very small bounds using for example a synchronization protocol (such as PTP) or a satellite based geo-positioning system (such as GPS). We revisit the properties of regulators in both cases. In non-synchronized networks, we show that ignoring the timing inaccuracies can lead to network instability due to unbounded delay in per-flow or interleaved regulators. We propose and analyze two methods (rate and burst cascade, and asynchronous dual arrival-curve method) for avoiding this problem. In synchronized networks, we show that there is no instability with per-flow regulators but, surprisingly, interleaved regulators can lead to instability. To establish these results, we develop a new framework that captures industrial requirements on clocks in both non-synchronized and synchronized networks, and we develop a toolbox that extends network calculus to account for clock imperfections.


title: Comparison of automatic methods to detect sunspots in the Coimbra Observatory spectroheliograms

abstract: The Astronomical Observatory of the University of Coimbra has a huge collection of solar images, acquired daily since 1926. From the beginning, only spectroheliograms in the CaiiK line has been recorded, and since 1989 in the H_alpha line also. Such dataset requires efficient tools to detect and analyze solar activity features. The objective of this work is to create a tool that allows to automatic detect sunspots, umbra, and penumbra, that can be applied to the entire dataset. To achieve this, two different approaches have been developed, one based on mathematical morphology and another based on the intensities of the digital levels of the pixels. Both approaches were applied to a subset of images with features identified visually by an experimented solar observer. The performance of both methods was compared through the metrics Precision, Recall and F-score. Another evaluation was made based on the catalogs from Heliophysics Features Catalog and the SILSO catalogue.


title: Stochastic comparisons of lifetimes of series and parallel systems with dependent and heterogeneous components

abstract: This work considers stochastic comparisons of lifetimes of series and parallel systems with dependent and heterogeneous components having lifetimes following the proportional odds (PO) model. The joint distribution of component lifetimes is modeled by Archimedean survival copula. We discuss some potential applications of our findings in system reliability and actuarial science.


title: Randomized Multiresolution Scanning in Focal and Fast E/MEG Sensing of Brain Activity with a Variable Depth

abstract: We focus on electromagnetoencephalography imaging of the neural activity and, in particular, finding a robust estimate for the primary current distribution via the hierarchical Bayesian model (HBM). Our aim is to develop a reasonably fast maximum a posteriori (MAP) estimation technique which would be applicable for both superficial and deep areas without specific a priori knowledge of the number or location of the activity. To enable source distinguishability for any depth, we introduce a randomized multiresolution scanning (RAMUS) approach in which the MAP estimate of the brain activity is varied during the reconstruction process. RAMUS aims to provide a robust and accurate imaging outcome for the whole brain, while maintaining the computational cost on an appropriate level. The inverse gamma (IG) distribution is applied as the primary hyperprior in order to achieve an optimal performance for the deep part of the brain. In this proof-of-the-concept study, we consider the detection of simultaneous thalamic and somatosensory activity via numerically simulated data modeling the 14-20 ms post-stimulus somatosensory evoked potential and field response to electrical wrist stimulation. Both a spherical and realistic model are utilized to analyze the source reconstruction discrepancies. In the numerically examined case, RAMUS was observed to enhance the visibility of deep components and also marginalizing the random effects of the discretization and optimization without a remarkable computation cost. A robust and accurate MAP estimate for the primary current density was obtained in both superficial and deep parts of the brain.


title: Linking over cones for the Neumann Fractional $p-$Laplacian

abstract: We consider nonlinear problems governed by the fractional $p-$Laplacian in presence of nonlocal Neumann boundary conditions. We face two problems. First: the $p-$superlinear term may not satisfy the Ambrosetti-Rabinowitz condition. Second, and more important: although the topological structure of the underlying functional reminds the one of the linking theorem, the nonlocal nature of the associated eigenfunctions prevents the use of such a classical theorem. For these reasons, we are led to adopt another approach, relying on the notion of linking over cones.


title: Meta-Learning across Meta-Tasks for Few-Shot Learning

abstract: Existing meta-learning based few-shot learning (FSL) methods typically adopt an episodic training strategy whereby each episode contains a meta-task. Across episodes, these tasks are sampled randomly and their relationships are ignored. In this paper, we argue that the inter-meta-task relationships should be exploited and those tasks are sampled strategically to assist in meta-learning. Specifically, we consider the relationships defined over two types of meta-task pairs and propose different strategies to exploit them. (1) Two meta-tasks with disjoint sets of classes: this pair is interesting because it is reminiscent of the relationship between the source seen classes and target unseen classes, featured with domain gap caused by class differences. A novel learning objective termed meta-domain adaptation (MDA) is proposed to make the meta-learned model more robust to the domain gap. (2) Two meta-tasks with identical sets of classes: this pair is useful because it can be employed to learn models that are robust against poorly sampled few-shots. To that end, a novel meta-knowledge distillation (MKD) objective is formulated. There are some mistakes in the experiments. We thus choose to withdraw this paper.


title: Online Preselection with Context Information under the Plackett-Luce Model

abstract: We consider an extension of the contextual multi-armed bandit problem, in which, instead of selecting a single alternative (arm), a learner is supposed to make a preselection in the form of a subset of alternatives. More specifically, in each iteration, the learner is presented a set of arms and a context, both described in terms of feature vectors. The task of the learner is to preselect $k$ of these arms, among which a final choice is made in a second step. In our setup, we assume that each arm has a latent (context-dependent) utility, and that feedback on a preselection is produced according to a Plackett-Luce model. We propose the CPPL algorithm, which is inspired by the well-known UCB algorithm, and evaluate this algorithm on synthetic and real data. In particular, we consider an online algorithm selection scenario, which served as a main motivation of our problem setting. Here, an instance (which defines the context) from a certain problem class (such as SAT) can be solved by different algorithms (the arms), but only $k$ of these algorithms can actually be run.


title: Towards explainable meta-learning

abstract: Meta-learning is a field that aims at discovering how different machine learning algorithms perform on a wide range of predictive tasks. Such knowledge speeds up the hyperparameter tuning or feature engineering. With the use of surrogate models various aspects of the predictive task such as meta-features, landmarker models e.t.c. are used to predict the expected performance. State of the art approaches are focused on searching for the best meta-model but do not explain how these different aspects contribute to its performance. However, to build a new generation of meta-models we need a deeper understanding of the importance and effect of meta-features on the model tunability. In this paper, we propose techniques developed for eXplainable Artificial Intelligence (XAI) to examine and extract knowledge from black-box surrogate models. To our knowledge, this is the first paper that shows how post-hoc explainability can be used to improve the meta-learning.


title: Atmospheric Temperature Effect in secondary cosmic rays observed with a two square meter ground-based detector

abstract: A high resolution 2 m$^2$ tracking detector, based on timing Resistive Plate Chamber (tRPC) cells, has been installed at the Faculty of Physics of the University of Santiago de Compostela (Spain) in order to improve our understanding of the cosmic rays arriving at the Earth's surface. Following a short commisioning of the detector, a study of the atmospheric temperature effect of the secondary cosmic ray component was carried out. A method based on Principal Component Analysis (PCA) has been implemented in order to obtain the distribution of temperature coefficients, $W_T(h)$, using as input the measured rate of nearly vertical cosmic ray tracks, showing good agreement with the theoretical expectation. The method succesfully removes the correlation present between the different atmospheric layers, that would be dominant otherwise. We briefly describe the initial calibration and pressure correction procedures, essential to isolate the temperature effect. Overall, the measured cosmic ray rate displays the expected anticorrelation with the effective atmospheric temperature, through the coefficient $\alpha_T= -0.279 \pm 0.051 $ \%/K. Rates follow the seasonal variations, and unusual short-term events are clearly identified too.


title: Dielectric nano-antennas for strain engineering in atomically thin two-dimensional semiconductors

abstract: Atomically thin two-dimensional semiconducting transition metal dichalcogenides (TMDs) can withstand large levels of strain before their irreversible damage occurs. This unique property offers a promising route for control of the optical and electronic properties of TMDs, for instance by depositing them on nano-structured surfaces, where position-dependent strain can be produced on the nano-scale. Here, we demonstrate strain-induced modifications of the optical properties of mono- and bilayer TMD WSe$_2 $ placed on photonic nano-antennas made from gallium phosphide (GaP). Photoluminescence (PL) from the strained areas of the TMD layer is enhanced owing to the efficient coupling with the confined optical mode of the nano-antenna. Thus, by following the shift of the PL peak, we deduce the changes in the strain in WSe$_2$ deposited on the nano-antennas of different radii. In agreement with the presented theory, strain up to $\approx 1.4 \%$ is observed for WSe$_2$ monolayers. We also estimate that $>3\%$ strain is achieved in bilayers, accompanied with the emergence of a direct bandgap in this normally indirect-bandgap semiconductor. At cryogenic temperatures, we find evidence of the exciton confinement in the most strained nano-scale parts of the WSe$_2$ layers, as also predicted by our theoretical model. Our results, of direct relevance for both dielectric and plasmonic nano-antennas, show that strain in atomically thin semiconductors can be used as an additional parameter for engineering light-matter interaction in nano-photonic devices.


title: Testing of Support Tools for Plagiarism Detection

abstract: There is a general belief that software must be able to easily do things that humans find difficult. Since finding sources for plagiarism in a text is not an easy task, there is a wide-spread expectation that it must be simple for software to determine if a text is plagiarized or not. Software cannot determine plagiarism, but it can work as a support tool for identifying some text similarity that may constitute plagiarism. But how well do the various systems work? This paper reports on a collaborative test of 15 web-based text-matching systems that can be used when plagiarism is suspected. It was conducted by researchers from seven countries using test material in eight different languages, evaluating the effectiveness of the systems on single-source and multi-source documents. A usability examination was also performed. The sobering results show that although some systems can indeed help identify some plagiarized content, they clearly do not find all plagiarism and at times also identify non-plagiarized material as problematic.


title: Photon regions and umbilic conditions in stationary axisymmetric spacetimes

abstract: Photon region (PR) in the strong gravitational field is defined as a compact region where photons can travel endlessly without going to infinity or disappearing at the event horizon. In Schwarzschild metric PR degenerates to the two-dimensional photon sphere $r=3r_g/2$ where closed circular photon orbits are located. The photon sphere as a three-dimensional hypersurface in spacetime is umbilic (its second quadratic form is pure trace). In Kerr metric the equatorial circular orbits have different radii for prograde, $r_p$, and retrograde, $r_r$, motion (where $r$ is Boyer-Lindquist radial variable), while for $r_p<r<r_r$ the spherical orbits with constant $r$ exist which are no more planar, but filling some spheres. These spheres, however, do not correspond to umbilic hypersurfaces. In more general stationary axisymmetric spacetimes not allowing for complete integration of geodesic equations, the numerical integration show the existence of PR as well, but the underlying geometric structure was not fully identified so far. Here we suggest geometric description of PR in generic stationary axisymmetric spacetimes, showing that PR can be foliated by {\em partially umbilic hypersurfaces}, such that the umbilic condition holds for classes of orbits defined by the foliation parameter. New formalism opens a way of analytic description of PR in stationary axisymmetric spacetimes with non-separable geodesic equations.


title: A simple model for vacancy order and disorder in defective half-Heusler systems

abstract: Defective half-Heusler systems X(1-x)YZ with large amounts of intrinsic vacancies, such as Nb(1-x)CoSb, Ti(1-x)NiSb and V(1-x)CoSb, are a group of promising thermoelectric materials. Even with high vacancy concentrations they maintain the average half-Heusler crystal structure. These systems show high electrical conductivity but low thermal conductivity arising from an ordered YZ lattice, which conducts electrons, while the large amounts of vacancies on the X sublattice effectively scatters phonons. Using electron scattering it was recently observed that in addition to Bragg diffraction from the average cubic half-Heusler structure, some of these samples show broad diffuse scattering indicating short-range vacancy order while other samples show sharp additional peaks, indicating long-range vacancy ordering. Here we show that both the short and long-range ordering can be explained using the same simple model, which assumes that vacancies on the X-sublattice avoid each other. The samples showing long-range vacancy order are in agreement with the predicted ground-state of the model, while short-range order samples are quenched high-temperature states of the system. A previous study showed that changes in sample stoichiometry affect whether the short or long-range vacancy structure is obtained, but the present model suggests that thermal treatment of samples should allow controlling the degree of vacancy order, and thereby the thermal conductivity, without changes in composition. This is important as the composition also dictates the amount of electrical carriers. Independent control of electrical carrier concentration and degree of vacancy order should allow further improvements in the thermoelectric properties of these systems.


title: Theories of real addition with and without a predicate for integers

abstract: We show that it is decidable whether or not a relation on the reals definable in the structure $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$ can be defined in the structure $\langle \mathbb{R}, +,<, 1 \rangle$. This result is achieved by obtaining a topological characterization of $\langle \mathbb{R}, +,<, 1 \rangle$-definable relations in the family of $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$-definable relations and then by following Muchnik's approach of showing that the characterization of the relation $X$ can be expressed in the logic of $\langle \mathbb{R}, +,<,1, X \rangle$. The above characterization allows us to prove that there is no intermediate structure between $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$ and $\langle \mathbb{R}, +,<, 1 \rangle$. We also show that a $\langle \mathbb{R}, +,<, \mathbb{Z} \rangle$-definable relation is $\langle \mathbb{R}, +,<, 1 \rangle$-definable if and only if its intersection with every $\langle \mathbb{R}, +,<, 1 \rangle$-definable line is $\langle \mathbb{R}, +,<, 1 \rangle$-definable. This gives a noneffective but simple characterization of $\langle \mathbb{R}, +,<, 1 \rangle$-definable relations.


title: Nonlocal Correlation of Spin in High Energy Physics

abstract: Nonlocality is a key feature of quantum theory and is reflected in the violation of Bell inequalities for entangled systems. The experimental tests beyond the electromagnetism and massless quanta are of great importance for understanding the nonlocality in different quantum interactions. In this work, we develop a generalized Clauser-Horne inequality pertaining especially to the high energy physics processes, which is quantum mechanical intervene free. We find, in the process of pseudoscalar quarkonium exclusive decay to entangled $\Lambda\bar{\Lambda}$ pairs, the inequality could be violated and is verifiable in high energy experiments, like BES III or BELLE II.


title: Sub-micrometer near-field focusing of spin waves in ultrathin YIG films

abstract: We experimentally demonstrate tight focusing of a spin wave beam excited in extended nanometer-thick films of Yttrium Iron Garnet by a simple microscopic antenna functioning as a single-slit near-field lens. We show that the focal distance and the minimum transverse width of the focal spot can be controlled in a broad range by varying the frequency/wavelength of spin waves and the antenna geometry. The experimental data are in good agreement with the results of numerical simulations. Our findings provide a simple solution for implementation of magnonic nano-devices requiring local concentration of the spin-wave energy.


title: Magnetic interactions and the puzzling absence of any Raman mode in EuTiO3

abstract: Polycrystalline ceramic samples and a single crystal of EuTiO3 have been investigated by Raman spectroscopy in the temperature range 80-300 K. Although synchrotron XRD data clearly indicated the cubic to tetragonal phase transition around 282 K, no mode from the symmetry allowed Raman active phonons was found in the tetragonal phase, contrary to the case of the homologous SrTiO3. In order to study the evolution of this unique characteristic, ceramics of EuxSr1-xTiO3 (x=0.03-1.0) characterized by synchrotron XRD for the structural phase transition have been also investigated by Raman spectroscopy, verifying the very strong influence on the Raman yield by Eu substitution. By applying an external magnetic field or alternatively hydrostatic pressure modes are activated in the Raman spectra. The temperature dependence of the main mode that is activated shows remarkable agreement with theoretical predictions. We attribute the puzzling absence of the Raman modes to a mechanism related to strong spin-lattice interaction that drives the cubic to tetragonal structural phase transition and makes the Raman tensor antisymmetric. On the contrary, the external perturbations induce a symmetric Raman tensor allowing even symmetry modes to be present in the spectra. Previous EPR, muon scattering and magnetic measurements indicated the presence of small magnetic interactions deep inside the paramagnetic phase. In order to probe those magnetic interactions in our EuTiO3 polycrystalline sample and test our hypothesis, we have performed temperature dependant XAS/XMCD, which support the existence of magnetic nanodomains even close to room temperature.


title: Revealing magnetic component in crystalline Fe-gluconate

abstract: Low temperature M\"ossbauer spectroscopic and magnetization measurements were performed on a crystalline sample of Fe-gluconate. Fe atoms were revealed to exist in two phases i.e. a major (90-94 pct.) and a minor (6-10 pct.). Based on values of spectral parameters the former can be regarded as ferrous and the latter as ferric. A sub spectrum associated with the ferric phase shows a significant broadening below ca. 30 K corresponding to 7.5 kGs. A magnetic origin of the effect was confirmed by the magnetization measurements. Evidence on the effect of the magnetism on the lattice vibrations of Fe atoms in both components was found. The Debye temperature, T_D, associated with the vibrations of Fe2+ ions is by a factor of about 2 smaller in the temperature range below ca. 30 K than the one determined from the data measured above ca. 30 K. Interestingly, the T_D-value found for the Fe3+ ions from the data recorded below ca.30 K is about two times smaller than the corresponding value determined for the Fe2+ ions.


title: Moving and Reactive Boundary Conditions in Moving-Mesh Hydrodynamics

abstract: We outline the methodology of implementing moving boundary conditions into the moving-mesh code MANGA. The motion of our boundaries is reactive to hydrodynamic and gravitational forces. We discuss the hydrodynamics of a moving boundary as well as the modifications to our hydrodynamic and gravity solvers. Appropriate initial conditions to accurately produce a boundary of arbitrary shape are also discussed. Our code is applied to several test cases, including a Sod shock tube, a Sedov-Taylor blast wave and a supersonic wind on a sphere. We show the convergence of conserved quantities in our simulations. We demonstrate the use of moving boundaries in astrophysical settings by simulating a common envelope phase in a binary system, in which the companion object is modeled by a spherical boundary. We conclude that our methodology is suitable to simulate astrophysical systems using moving and reactive boundary conditions.


title: Reduced basis methods for quasilinear elliptic PDEs with applications to permanent magnet synchronous motors

abstract: In this paper, we propose a certified reduced basis (RB) method for quasilinear elliptic problems together with its application to nonlinear magnetostatics equations, where the later model permanent magnet synchronous motors (PMSM). The parametrization enters through the geometry of the domain and thus, combined with the nonlinearity, drives our reduction problem. We provide a residual-based a-posteriori error bound which, together with the Greedy approach, allows to construct reduced-basis spaces of small dimensions. We use the empirical interpolation method (EIM) to guarantee the efficient offline-online computational procedure. The reduced-basis solution is then obtained with the surrogate of the Newton's method. The numerical results indicate that the proposed reduced-basis method provides a significant computational gain, compared to a finite element method.


title: To Share or Not To Share: A Comprehensive Appraisal of Weight-Sharing

abstract: Weight-sharing (WS) has recently emerged as a paradigm to accelerate the automated search for efficient neural architectures, a process dubbed Neural Architecture Search (NAS). Although very appealing, this framework is not without drawbacks and several works have started to question its capabilities on small hand-crafted benchmarks. In this paper, we take advantage of the \nasbench dataset to challenge the efficiency of WS on a representative search space. By comparing a SOTA WS approach to a plain random search we show that, despite decent correlations between evaluations using weight-sharing and standalone ones, WS is only rarely significantly helpful to NAS. In particular we highlight the impact of the search space itself on the benefits.


title: Task-Based Quantization with Application to MIMO Receivers

abstract: Multiple-input multiple-output (MIMO) systems are required to communicate reliably at high spectral bands using a large number of antennas, while operating under strict power and cost constraints. In order to meet these constraints, future MIMO receivers are expected to operate with low resolution quantizers, namely, utilize a limited number of bits for representing their observed measurements, inherently distorting the digital representation of the acquired signals. The fact that MIMO receivers use their measurements for some task, such as symbol detection and channel estimation, other than recovering the underlying analog signal, indicates that the distortion induced by bit-constrained quantization can be reduced by designing the acquisition scheme in light of the system task, i.e., by {\em task-based quantization}. In this work we survey the theory and design approaches to task-based quantization, presenting model-aware designs as well as data-driven implementations. Then, we show how one can implement a task-based bit-constrained MIMO receiver, presenting approaches ranging from conventional hybrid receiver architectures to structures exploiting the dynamic nature of metasurface antennas. This survey narrows the gap between theoretical task-based quantization and its implementation in practice, providing concrete algorithmic and hardware design principles for realizing task-based MIMO receivers.


title: Stochastic Variational Formulations of Fluid Wave-Current Interaction

abstract: We are modelling multi-scale, multi-physics uncertainty in wave-current interaction (WCI). To model uncertainty in WCI, we introduce stochasticity into the wave dynamics of two classic models of WCI; namely, the Generalised Lagrangian Mean (GLM) model and the Craik--Leibovich (CL) model. The key idea for the GLM approach is the separation of the Lagrangian (fluid) and Eulerian (wave) degrees of freedom in Hamilton's principle. This is done by coupling an Euler--Poincar\'e {\it reduced Lagrangian} for the current flow and a {\it phase-space Lagrangian} for the wave field. WCI in the GLM model involves the nonlinear Doppler shift in frequency of the Hamiltonian wave subsystem, which arises because the waves propagate in the frame of motion of the Lagrangian-mean velocity of the current. In contrast, WCI in the CL model arises because the fluid velocity is defined relative to the frame of motion of the Stokes mean drift velocity, which is usually taken to be prescribed, time independent and driven externally. We compare the GLM and CL theories by placing them both into the general framework of a stochastic Hamilton's principle for a 3D Euler--Boussinesq (EB) fluid in a rotating frame. In other examples, we also apply the GLM and CL methods to add wave physics and stochasticity to the familiar 1D and 2D shallow water flow models. The differences in the types of stochasticity which arise for GLM and CL models can be seen by comparing the Kelvin circulation theorems for the two models. The GLM model acquires stochasticity in its Lagrangian transport velocity for the currents and also in its group velocity for the waves. The Kelvin circulation theorem stochastic CL model can accept stochasticity in its both its integrand and in the Lagrangian transport velocity of its circulation loop.


title: Boosting Monte Carlo simulations of spin glasses using autoregressive neural networks

abstract: The autoregressive neural networks are emerging as a powerful computational tool to solve relevant problems in classical and quantum mechanics. One of their appealing functionalities is that, after they have learned a probability distribution from a dataset, they allow exact and efficient sampling of typical system configurations. Here we employ a neural autoregressive distribution estimator (NADE) to boost Markov chain Monte Carlo (MCMC) simulations of a paradigmatic classical model of spin-glass theory, namely the two-dimensional Edwards-Anderson Hamiltonian. We show that a NADE can be trained to accurately mimic the Boltzmann distribution using unsupervised learning from system configurations generated using standard MCMC algorithms. The trained NADE is then employed as smart proposal distribution for the Metropolis-Hastings algorithm. This allows us to perform efficient MCMC simulations, which provide unbiased results even if the expectation value corresponding to the probability distribution learned by the NADE is not exact. Notably, we implement a sequential tempering procedure, whereby a NADE trained at a higher temperature is iteratively employed as proposal distribution in a MCMC simulation run at a slightly lower temperature. This allows one to efficiently simulate the spin-glass model even in the low-temperature regime, avoiding the divergent correlation times that plague MCMC simulations driven by local-update algorithms. Furthermore, we show that the NADE-driven simulations quickly sample ground-state configurations, paving the way to their future utilization to tackle binary optimization problems.


title: On the stability of gravity-driven liquid films overflowing microstructures with sharp corners

abstract: We are concerned with the stability of thin liquid films overflowing single microstructures with sharp corners. The microstructures were of rectangular and triangular shape. Their heights and widths were 0.25, 0.5 and 0.75 times the Nusselt film thickness. To observe smooth, wavy and very unstable films we performed simulations with Reynolds numbers ranging from 10 to 70. The dynamics of the liquid film and the overflowing gas phase were described by the coupling between the Cahn-Hilliard and Navier-Stokes equations. The resulting model forms a very tightly coupled and nonlinear system of equations. Therefore we carefully selected the solution strategy to enable efficient and accurate large-scale simulations. Our results showed that the formation of waves was shifted to higher Reynolds numbers compared to the film on a smooth surface. If waves were finally formed the microstructures led to irregular waves. Our results indicate a great influence of the microstructure's shape and dimension on the stability of the overflowing liquid film.


title: Cosmology from Quantum Information

abstract: We describe inflation in terms of a time dependent quantum density matrix with time playing the role of a stochastic variable. Using a quasi-de Sitter model we compute the corresponding quantum Fisher information function as the second derivative of the relative entanglement entropy for the density matrix at two different times. Employing standard quantum estimation theory we evaluate the minimal variance of quantum scalar fluctuations that reproduces the power spectrum and the corresponding tilt in the slow roll limit. The Jeffreys prior associated with such Fisher information can be used to define the probabilities on the set of initial conditions defined by the slow roll parameter $\epsilon$ and the initial Shannon information.


title: Set Voronoi Tessellation for Particulate Systems in Two Dimensions

abstract: Given a countable set of points in a continuous space, Voronoi tessellation is an intuitive way of partitioning the space according to the distance to the individual points. As a powerful approach to obtain structural information, it has a long history and widespread applications in diverse disciplines, from astronomy to urban planning. For particulate systems in real life, such as a pile of sand or a crowd of pedestrians, the realization of Voronoi tessellation needs to be modified to accommodate the fact that the particles cannot be simply treated as points. Here, we elucidate the use of Set Voronoi tessellation (i.e., considering for a non-spherical particle a set of points on its surface) to extract meaningful local information in a quasi-two-dimensional system of granular rods. In addition, we illustrate how it can be applied to arbitrarily shaped particles such as an assembly of honey bees or pedestrians for obtaining structural information. Details on the implementation of this algorithm with the strategy of balancing computational cost and accuracy are discussed. Furthermore, we provide our python code as open source in order to facilitate Set Voronoi calculations in two dimensions for arbitrarily shaped objects.


title: Modification of the charge and magnetic order of a low dimensional ferromagnet by molecule-surface bonding

abstract: The ability to design and control the spin and charge order of low dimensional materials on the molecular scale offers an intriguing pathway towards the miniaturization of spintronic technology towards the nanometer scale. In this work, we focus on the adsorption induced modifications of the magnetic and electronic properties of a low dimensional ferromagnetic surface alloy after the adsorption of the prototypical organic molecule perylene-3,4,9,10-tetracarboxylic dianhydride (PTCDA). For this metal-organic interface, we observe the formation of a localized $\sigma$-like bond between the functional molecular groups and the surface alloy atoms. This strong chemical bonding coincides with a lifting of the characteristic surface alloy band structure and a reduction of the magnitude of the local magnetic moments of the Dy atoms by 18%. We attribute both findings to a mixing of spin-degenerate molecular states with spin-split states of the Dy-Ag surface alloy via the sigma-like bonds between PTCDA and the Dy surface alloy atoms. Our findings clearly demonstrate the potential of tailored molecule-surface sigma-bonds to control not only the electronic but also the magnetic order of low dimensional materials.


title: Ultrafast charge-transfer exciton dynamics in C$_{60}$ thin films

abstract: The high flexibility of organic molecules offers great potential for designing the optical properties of light-active materials for the next generation of optoelectronic and photonic applications. However, despite successful implementations of molecular materials in todays' display and photovoltaic technology, many fundamental aspects of the light-to-charge conversion have still to be uncovered. Here, we focus on the ultrafast dynamics of optically excited excitons in C$_{60}$ thin films depending on the molecular coverage and the light-polarization of the optical excitons. Using time- and momentum-resolved photoemission with fs-XUV radiation, we follow the depopulation dynamics in the excited states while simultaneously monitoring the signatures of the excitonic charge character in the molecular valence states. Optical excitation with visible light results in the instantaneous formation of charge-transfer (CT) excitons, which transform stepwise into energetically lower Frenkel-like excitons. While the number and energetic position of energy levels within this cascade process are independent of the molecular coverage and the light polarization of the optical excitation, we find quantitative differences in the depopulation times and the optical excitation efficiency. Our comprehensive study reveals the crucial role of CT excitons for the excited state dynamics of homo-molecular fullerene materials and thin films.


title: Normal epithelial and triple-negative breast cancer cells show the same invasion potential in rigid spatial confinement

abstract: The extra-cellular microenvironment has a fundamental role in tumor growth and progression, strongly affecting the migration strategies adopted by single cancer cells during metastatic invasion. In this study, we use a novel microfluidic device to investigate the ability of mesenchymal and epithelial breast tumor cells to fluidize and migrate through narrowing microstructures upon chemoattractant stimulation. We compare the migration behavior of two mesenchymal breast cancer cell lines and one epithelial cell line, and find that the epithelial cells are able to migrate through the narrowest microconstrictions as the more invasive mesenchymal cells. In addition, we demonstrate that migration of epithelial cells through a highly compressive environment can occur in absence of a chemoattractive stimulus, thus evidencing that they are just as prone to react to mechanical cues as invasive cells.


title: Diffusion of single active-dipolar cubes in applied fields

abstract: "Active matter" refers to a class of out-of-equilibrium systems whose ability to transform environmental energy to kinetic energy is sought after in multiple fields of science and at very different length scales. At microscopic scales, an important challenge lies in overpowering the particles reorientation due to thermal fluctuations, especially in nano-sized systems, to create non-random, directed motion, needed for a wide range of possible applications. In this article, we employ molecular dynamics simulations to show that the diffusion of a self-propelling dipolar nanocube can be enhanced in a pre-defined direction with the help of a moderately strong applied magnetic field, overruling the effect of the thermal fluctuations. Furthermore, we show that the direction of diffusion is given by the orientation of the net internal magnetisation of the cube. This can be used to determine experimentally the latter in synthetically crafted active cobalt ferrite nanocubes.


title: Shapes of stellar activity cycles

abstract: Magnetic activity cycles are an important phenomenon in both the Sun and other stars. The shape of the solar cycle is commonly characterised by a fast rise and a slower decline, but not much attention has been paid to the shape of cycles in other stars. Our aim is to study whether the asymmetric shape of the solar cycle is common in other stars as well, and compare the cycle asymmetry to other stellar parameters. We also study the differences in the shape of the solar cycle, depending on what activity indicator is used. The observations are also compared to simulated activity cycles. We use the chromospheric Ca II H&K data from the Mount Wilson Observatory HK Project. From this data set we identify 47 individual cycles from 18 stars. We use the statistical skewness of a cycle as a measure of its asymmetry, and compare this to other stellar parameters. A similar analysis has been done to magnetic cycles extracted from direct numerical magnetohydrodynamic simulations of solar-type convection zones. The shape of the solar cycle (fast rise and slower decline) is common in other stars as well, although the Sun has particularly asymmetric cycles. Cycle-to-cycle variations are large, but the average shape of a cycle is still fairly well represented by a sinusoid. We find only slight correlations between the cycle asymmetry and other stellar parameters. There are large differences in the shape of the solar cycle, depending on what activity indicator is used. In the simulated cycles, there is a difference in the symmetry of global simulations covering the full longitudinal range, hence capable of exciting non-axisymmetric dynamo modes, versus wedge simulations covering a partial extent in longitude, where only axisymmetric modes are possible. The former produce preferentially positive skewness, while the latter a negative one.


title: Network Pruning via Annealing and Direct Sparsity Control

abstract: Artificial neural networks (ANNs) especially deep convolutional networks are very popular these days and have been proved to successfully offer quite reliable solutions to many vision problems. However, the use of deep neural networks is widely impeded by their intensive computational and memory cost. In this paper, we propose a novel efficient network pruning method that is suitable for both non-structured and structured channel-level pruning. Our proposed method tightens a sparsity constraint by gradually removing network parameters or filter channels based on a criterion and a schedule. The attractive fact that the network size keeps dropping throughout the iterations makes it suitable for the pruning of any untrained or pre-trained network. Because our method uses a $L_0$ constraint instead of the $L_1$ penalty, it does not introduce any bias in the training parameters or filter channels. Furthermore, the $L_0$ constraint makes it easy to directly specify the desired sparsity level during the network pruning process. Finally, experimental validation on extensive synthetic and real vision datasets show that the proposed method obtains better or competitive performance compared to other states of art network pruning methods.


title: Trust dynamics and user attitudes on recommendation errors: preliminary results

abstract: Artificial Intelligence based systems may be used as digital nudging techniques that can steer or coerce users to make decisions not always aligned with their true interests. When such systems properly address the issues of Fairness, Accountability, Transparency, and Ethics, then the trust of the user in the system would just depend on the system's output. The aim of this paper is to propose a model for exploring how good and bad recommendations affect the overall trust in an idealized recommender system that issues recommendations over a resource with limited capacity. The impact of different users attitudes on trust dynamics is also considered. Using simulations, we ran a large set of experiments that allowed to observe that: 1) under certain circumstances, all the users ended accepting the recommendations; and 2) the user attitude (controlled by a single parameter balancing the gain/loss of trust after a good/bad recommendation) has a great impact in the trust dynamics.


title: A Non-Dominated Sorting Based Customized Random-Key Genetic Algorithm for the Bi-Objective Traveling Thief Problem

abstract: In this paper, we propose a method to solve a bi-objective variant of the well-studied Traveling Thief Problem (TTP). The TTP is a multi-component problem that combines two classic combinatorial problems: Traveling Salesman Problem (TSP) and Knapsack Problem (KP). We address the BI-TTP, a bi-objective version of the TTP, where the goal is to minimize the overall traveling time and to maximize the profit of the collected items. Our proposed method is based on a biased-random key genetic algorithm with customizations addressing problem-specific characteristics. We incorporate domain knowledge through a combination of near-optimal solutions of each subproblem in the initial population and use a custom repair operator to avoid the evaluation of infeasible solutions. The bi-objective aspect of the problem is addressed through an elite population extracted based on the non-dominated rank and crowding distance. Furthermore, we provide a comprehensive study showing the influence of each parameter on the performance. Finally, we discuss the results of the BI-TTP competitions at EMO-2019 and GECCO-2019 conferences where our method has won first and second places, respectively, thus proving its ability to find high-quality solutions consistently.


title: Timing Excess Returns A cross-universe approach to alpha

abstract: We present a simple model that uses time series momentum in order to construct strategies that systematically outperform their benchmark. The simplicity of our model is elegant: We only require a benchmark time series and several related investable indizes, not requiring regression or other models to estimate our parameters. We find that our one size fits all approach delivers significant outperformance in both equity and bond markets while meeting the ex-ante risk requirements, nearly doubling yearly returns vs. the MSCI World and Bloomberg Barclays Euro Aggregate Corporate Bond benchmarks in a long-only backtest. We then combine both approaches into an absolute return strategy by benchmarking vs. the Eonia Total Return Index and find significant outperformance at a sharpe ratio of 1.8. Furthermore, we demonstrate that our model delivers a benefit versus a static portfolio with fixed mean weights, showing that timing of excess return momentum has a sizeable benefit vs. static allocations. This also applies to the passively investable equity factors, where we outperform a static factor exposure portfolio with statistical significance. Also, we show that our model delivers an alpha after deducting transaction costs.


title: Convergence to a common fixed point of a finite family of nonexpansive mappings on the unit sphere of a Hilbert space

abstract: In this paper, we consider the CQ projection method and the shrinking projection method given by a finite family of nonexpansive mappings of the unit sphere of a real Hilbert space, and prove strong convergence theorems to common fixed points of the mappings.


title: Learning Coupled Policies for Simultaneous Machine Translation using Imitation Learning

abstract: We present a novel approach to efficiently learn a simultaneous translation model with coupled programmer-interpreter policies. First, wepresent an algorithmic oracle to produce oracle READ/WRITE actions for training bilingual sentence-pairs using the notion of word alignments. This oracle actions are designed to capture enough information from the partial input before writing the output. Next, we perform a coupled scheduled sampling to effectively mitigate the exposure bias when learning both policies jointly with imitation learning. Experiments on six language-pairs show our method outperforms strong baselines in terms of translation quality while keeping the translation delay low.


title: Demonstration of electron focusing using electronic lenses in low-dimensional system

abstract: We report an all-electric integrable electron focusing lens in n-type GaAs. It is shown that a pronounced focusing peak takes place when the focal point aligns with an on-chip detector. The intensity and full width half maximum (FWHM) of the focusing peak are associated with the collimation of injected electrons. To demonstrate the reported focusing lens can be a useful tool, we investigate characteristic of an asymmetrically gate biased quantum point contact with the assistance of focusing lens. A correlation between the occurrence of conductance anomaly in low conductance regime and increase in FWHM of focusing peak is observed. The correlation is likely due to the electron-electron interaction. The reported electron focusing lens is essential for a more advanced electron optics device.


title: Star-finite coverings of Banach spaces

abstract: We study star-finite coverings of infinite-dimensional normed spaces. A family of sets is called star-finite if each of its members intersects only finitely many other members of the family. It follows by our results that an LUR or a uniformly Fr\'echet smooth infinite-dimensional Banach space does not admit star-finite coverings by closed balls. On the other hand, we present a quite involved construction proving existence of a star-finite covering of $c_0(\Gamma)$ by Fr\'echet smooth centrally symmetric bounded convex bodies. A similar but simpler construction shows that every normed space of countable dimension (and hence incomplete) has a star-finite covering by closed balls.


title: A unifying framework for mean-field theories of asymmetric kinetic Ising systems

abstract: Kinetic Ising models are powerful tools for studying the non-equilibrium dynamics of complex systems. As their behavior is not tractable for large networks, many mean-field methods have been proposed for their analysis, each based on unique assumptions about the system's temporal evolution. This disparity of approaches makes it challenging to systematically advance mean-field methods beyond previous contributions. Here, we propose a unifying framework for mean-field theories of asymmetric kinetic Ising systems from an information geometry perspective. The framework is built on Plefka expansions of a system around a simplified model obtained by an orthogonal projection to a sub-manifold of tractable probability distributions. This view not only unifies previous methods but also allows us to develop novel methods that, in contrast with traditional approaches, preserve the system's correlations. We show that these new methods can outperform previous ones in predicting and assessing network properties near maximally fluctuating regimes.

categories: cond-mat.dis-nn cond-mat.stat-mech nlin.AO physics.bio-ph q-bio.NC


title: The effect of non-linear mutual friction on pulsar glitch sizes and rise times

abstract: Observations of pulsar glitches have the potential to provide constraints on the dynamics of the high density interior of neutron stars. However, to do so, realistic glitch models must be constructed and compared to the data. We take a step towards this goal by testing non-linear models for the mutual friction force, which is responsible for the exchange of angular momentum between the neutron superfluid and the observable normal component in a glitch. In particular, we consider a non-linear dependence of the drag force on the relative velocity between superfluid vortices and the normal component, in which the contributions of both kelvon and phonon excitations are included. This non-linear model produces qualitatively new features, and is able to reproduce the observed bimodal distribution of glitch sizes in the pulsar population. The model also suggests that the differences in size distributions in individual pulsars may be due to the glitches being triggered in regions with different pinning strengths, as stronger pinning leads to higher vortex velocities and a qualitatively different mutual friction coupling with respect to the weak pinning case. Glitches in pulsars that appear to glitch quasi-periodically with similar sizes may thus be due to the same mechanisms as smaller events in pulsars that have no preferred glitch size, but simply originate in stronger pinning regions, possibly in the core of the star.


title: The in-plane anisotropy of the hole $g$ factor in CdTe/(Cd,Mg)Te quantum wells studied by spin-dependent photon echoes

abstract: We use the two-pulse spin-dependent photon echo technique to study the in-plane hole spin anisotropy in a 20~nm-thick CdTe/Cd$_{0.76}$Mg$_{0.24}$Te single quantum well by exciting the donor-bound exciton resonance. We take advantage of the photon echo sensitivity to the relative phase of the electron and hole spin precession and study various interactions contributing to the hole in-plane spin properties. The main contribution is found to arise from the crystal cubic symmetry described by the Luttinger parameter $q=0.095$, which is substantially larger than the one theoretically expected for CdTe or found in other quantum well structures. Another contribution is induced by the strain within the quantum well. These two contributions manifest as different harmonics of the spin precession frequencies in the photon echo experiment, when strength and orientation of the Voigt magnetic field are varied. The magnitude of the effective in-plane hole $g$ factor is found to vary in the range $|\tilde{g_h}|$=0.125--0.160 in the well plane.


title: Improved prediction of soil properties with Multi-target Stacked Generalisation on EDXRF spectra

abstract: Machine Learning (ML) algorithms have been used for assessing soil quality parameters along with non-destructive methodologies. Among spectroscopic analytical methodologies, energy dispersive X-ray fluorescence (EDXRF) is one of the more quick, environmentally friendly and less expensive when compared to conventional methods. However, some challenges in EDXRF spectral data analysis still demand more efficient methods capable of providing accurate outcomes. Using Multi-target Regression (MTR) methods, multiple parameters can be predicted, and also taking advantage of inter-correlated parameters the overall predictive performance can be improved. In this study, we proposed the Multi-target Stacked Generalisation (MTSG), a novel MTR method relying on learning from different regressors arranged in stacking structure for a boosted outcome. We compared MTSG and 5 MTR methods for predicting 10 parameters of soil fertility. Random Forest and Support Vector Machine (with linear and radial kernels) were used as learning algorithms embedded into each MTR method. Results showed the superiority of MTR methods over the Single-target Regression (the traditional ML method), reducing the predictive error for 5 parameters. Particularly, MTSG obtained the lowest error for phosphorus, total organic carbon and cation exchange capacity. When observing the relative performance of Support Vector Machine with a radial kernel, the prediction of base saturation percentage was improved in 19%. Finally, the proposed method was able to reduce the average error from 0.67 (single-target) to 0.64 analysing all targets, representing a global improvement of 4.48%.


title: Remarks on Replica Method and Sachdev-Ye-Kitaev Model

abstract: Through tracing back to EA/SK models, we disentangle the construction logic of SYK model. During the construction, we recall the technical essence of replica method. Then we point out the redundance of the flavor group and the slave indices as well as the color group via the generalization from 2-index SY model to its 4-index version and the simplification of the latter in terms of Majorana fermions. Spectacularly, such a simplification reserves the system's self-consistency condition. Getting rid of the redundance, the model itself and its effective action have the same $O(N_s)$ structural symmetry, while it realizes $AdS_2/CFT_1$ holography by the emergent conformal symmetry. We also clarify the model transmutation to matrix model and argue that the disorder-averaged SYK model naturally preserves a holographic nature. Based on the transmutation and the correspondence with vector model, SYK model is formally a hybrid of these two models. Its quantum and semiclassical properties are also discussed respectively.


abstract: The goal of this note is to study a conjectural picture on lower bounds of Seshadri constants of indecomposable polarized abelian varieties. This is inspired by some ideas of Debarre on the subject and the author's previous work on syzygies of abelian threefolds using the convex geometry of Newton-Okounkov bodies.


title: Symplectic Geometric Methods for Matrix Differential Equations Arising from Inertial Navigation Problems

abstract: This article explores some geometric and algebraic properties of the dynamical system which is represented by matrix differential equations arising from inertial navigation problems, such as the symplecticity and the orthogonality. Furthermore, it extends the applicable fields of symplectic geometric algorithms from the even dimensional Hamiltonian system to the odd dimensional dynamical system. Finally, some numerical experiments are presented and illustrate the theoretical results of this paper.


title: A contractive Hardy-Littlewood inequality

abstract: We prove a contractive Hardy-Littlewood type inequality for functions from $H^p(\mathbb{T})$, $0 < p \le 2$ which is sharp in the first two Taylor coefficients and asymptotically at infinity.


title: Machine Learning Approaches For Motor Learning: A Short Review

abstract: Machine learning approaches have seen considerable applications in human movement modeling, but remain limited for motor learning. Motor learning requires accounting for motor variability, and poses new challenges as the algorithms need to be able to differentiate between new movements and variation of known ones. In this short review, we outline existing machine learning models for motor learning and their adaptation capabilities. We identify and describe three types of adaptation: Parameter adaptation in probabilistic models, Transfer and meta-learning in deep neural networks, and Planning adaptation by reinforcement learning. To conclude, we discuss challenges for applying these models in the domain of motor learning support systems.


title: Fidimag -- a finite difference atomistic and micromagnetic simulation package

abstract: Fidimag is an open-source scientific code for the study of magnetic materials at the nano- or micro-scale using either atomistic or finite difference micromagnetic simulations, which are based on solving the Landau-Lifshitz-Gilbert equation. In addition, it implements simple procedures for calculating energy barriers in the magnetisation through variants of the nudged elastic band method. This computer software has been developed with the aim of creating a simple code structure that can be readily installed, tested, and extended. An agile development approach was adopted, with a strong emphasis on automated builds and tests, and reproducibility of results. The main code and interface to specify simulations are written in Python, which allows simple and readable simulation and analysis configuration scripts. Computationally costly calculations are written in C and exposed to the Python interface as Cython extensions. Docker containers are shipped for a convenient setup experience. The code is freely available on GitHub and includes documentation and examples in the form of Jupyter notebooks.


title: Neural Rule Ensembles: Encoding Sparse Feature Interactions into Neural Networks

abstract: Artificial Neural Networks form the basis of very powerful learning methods. It has been observed that a naive application of fully connected neural networks to data with many irrelevant variables often leads to overfitting. In an attempt to circumvent this issue, a prior knowledge pertaining to what features are relevant and their possible feature interactions can be encoded into these networks. In this work, we use decision trees to capture such relevant features and their interactions and define a mapping to encode extracted relationships into a neural network. This addresses the initialization related concern of fully connected neural networks. At the same time through feature selection it enables learning of compact representations compared to state of the art tree-based approaches. Empirical evaluations and simulation studies show the superiority of such an approach over fully connected neural networks and tree-based approaches


title: Self-Concordant Analysis of Frank-Wolfe Algorithms

abstract: Projection-free optimization via different variants of the Frank-Wolfe (FW), a.k.a. Conditional Gradient method has become one of the cornerstones in optimization for machine learning since in many cases the linear minimization oracle is much cheaper to implement than projections and some sparsity needs to be preserved. In a number of applications, e.g. Poisson inverse problems or quantum state tomography, the loss is given by a self-concordant (SC) function having unbounded curvature, implying absence of theoretical guarantees for the existing FW methods. We use the theory of SC functions to provide a new adaptive step size for FW methods and prove global convergence rate O(1/k) after k iterations. If the problem admits a stronger local linear minimization oracle, we construct a novel FW method with linear convergence rate for SC functions.


title: The image in the moduli space of curves of strata of meromorphic and quadratic differentials

abstract: We compute the dimension of the image of the forgetful map from $Z$ to the moduli space of curves, where $Z$ is a connected component of the stratum of $k$-differentials with an assigned partition $\mu$, for the cases when $k=1$ with meromorphic partition and $k=2$ when the quadratic differentials have at worst simple poles.


title: A study of local optima for learning feature interactions using neural networks

abstract: In many fields such as bioinformatics, high energy physics, power distribution, etc., it is desirable to learn non-linear models where a small number of variables are selected and the interaction between them is explicitly modeled to predict the response. In principle, neural networks (NNs) could accomplish this task since they can model non-linear feature interactions very well. However, NNs require large amounts of training data to have a good generalization. In this paper we study the datastarved regime where a NN is trained on a relatively small amount of training data. For that purpose we study feature selection for NNs, which is known to improve generalization for linear models. As an extreme case of data with feature selection and feature interactions we study the XOR-like data with irrelevant variables. We experimentally observed that the cross-entropy loss function on XOR-like data has many non-equivalent local optima, and the number of local optima grows exponentially with the number of irrelevant variables. To deal with the local minima and for feature selection we propose a node pruning and feature selection algorithm that improves the capability of NNs to find better local minima even when there are irrelevant variables. Finally, we show that the performance of a NN on real datasets can be improved using pruning, obtaining compact networks on a small number of features, with good prediction and interpretability.


title: Emergent collective dynamics of bottom-heavy squirmers under gravity

abstract: We present the results of hydrodynamic simulations using the method of multi-particle collision dynamics for a system of squirmer microswimmers moving under the influence of gravity at low Reynolds numbers. In addition, the squirmers are bottom-heavy so that they experience a torque which aligns them along the vertical. The squirmers interact hydrodynamically by the flow fields of a stokeslet and rotlet, which are initiated by the acting gravitational force and torque, respectively, and by their own flow fields. By varying the ratio of swimming to bulk sedimentation velocity and the torque, we determine state diagrams for the emergent collective dynamics of neutral squirmers as well as strong pushers and pullers. For low swimming velocity and torque we observe conventional sedimentation, while the sedimentation profile becomes inverted when their values are increased. For neutral squirmers we discover convective rolls of circulating squirmers between both sedimentation states, which sit at the bottom of the system and are fed by plumes made of collectively sinking squirmers. At larger torques porous clusters occur that spawn single squirmers. The two latter states can also occur transiently starting from a uniform squirmer distribution and then disappear in the long-time limit. For strong pushers and pullers only weak plume formation is observed.


title: Classification of Randers metric of isotropic projective Ricci curvature

abstract: In this paper, the concept of isotropic projective Ricci curvature has been investigated. By classification of Randers metric of isotropic projective Ricci curvature, it is shown that Randers metric of projective Ricci curvature is reversible if and only if it is of square projective Ricci curvature.


title: Orbits of Free Cyclic Submodules over Rings of Lower Triangular Matrices

abstract: Given a ring $T_n, n\geqslant 2$, of lower triangular $n\times n$ matrices with entries from an arbitrary field $F$, a complete description is performed of the orbits of free cyclic submodules of $^2T_n$, under the action of the general linear group $GL_2(T_n)$. It is given its total number, which is equal to the Bell number $B_n$, and there are shown their representatives.


title: ReClor: A Reading Comprehension Dataset Requiring Logical Reasoning

abstract: Recent powerful pre-trained language models have achieved remarkable performance on most of the popular datasets for reading comprehension. It is time to introduce more challenging datasets to push the development of this field towards more comprehensive reasoning of text. In this paper, we introduce a new Reading Comprehension dataset requiring logical reasoning (ReClor) extracted from standardized graduate admission examinations. As earlier studies suggest, human-annotated datasets usually contain biases, which are often exploited by models to achieve high accuracy without truly understanding the text. In order to comprehensively evaluate the logical reasoning ability of models on ReClor, we propose to identify biased data points and separate them into EASY set while the rest as HARD set. Empirical results show that state-of-the-art models have an outstanding ability to capture biases contained in the dataset with high accuracy on EASY set. However, they struggle on HARD set with poor performance near that of random guess, indicating more research is needed to essentially enhance the logical reasoning ability of current models.


title: D-modules of pure Gaussian type and enhanced ind-sheaves

abstract: Differential systems of pure Gaussian type are examples of D-modules on the complex projective line with an irregular singularity at infinity, and as such are subject to the Stokes phenomenon. We employ the theory of enhanced ind-sheaves and the Riemann-Hilbert correspondence for holonomic D-modules of A. D'Agnolo and M. Kashiwara to describe the Stokes phenomenon topologically. Using this description, we perform a topological computation of the Fourier-Laplace transform of a D-module of pure Gaussian type in this framework, recovering and generalizing a result of C. Sabbah.


title: Predicting Multidimensional Data via Tensor Learning

abstract: The analysis of multidimensional data is becoming a more and more relevant topic in statistical and machine learning research. Given their complexity, such data objects are usually reshaped into matrices or vectors and then analysed. However, this methodology presents several drawbacks. First of all, it destroys the intrinsic interconnections among datapoints in the multidimensional space and, secondly, the number of parameters to be estimated in a model increases exponentially. We develop a model that overcomes such drawbacks. In particular, in this paper, we propose a parsimonious tensor regression model that retains the intrinsic multidimensional structure of the dataset. Tucker structure is employed to achieve parsimony and a shrinkage penalization is introduced to deal with over-fitting and collinearity. To estimate the model parameters, an Alternating Least Squares algorithm is developed. In order to validate the model performance and robustness, a simulation exercise is produced. Moreover, we perform an empirical analysis that highlight the forecasting power of the model with respect to benchmark models. This is achieved by implementing an autoregressive specification on the Foursquares spatio-temporal dataset together with a macroeconomic panel dataset. Overall, the proposed model is able to outperform benchmark models present in the forecasting literature.


title: VVV WIN 1733$-$3349: a low extinction window to probe the far side of the Milky Way bulge

abstract: Windows of low extinction in the Milky Way (MW) have been used along the past decades for the study of the Galactic structure and the stellar population across the inner bulge and disk. Here we report the analysis of another low extinction near-IR window discovered by the VISTA Variables in the V\'ia L\'actea Survey. VVV WIN 1733$-$3349 is about half a degree in size and is conveniently located right in the MW plane, at Galactic coordinates $(l, b) = (-5.2, -0.3)$. The mean extinction of VVV WIN 1733$-$3349 is $A_{Ks} = 0.61\pm0.08$ mag, which is much smaller than the extinction in the surrounding area. The excess in the star counts is consistent with the reduced extinction, and complemented by studying the distribution of red clump (RC) stars. Thanks to the strategic low-latitude location of VVV WIN 1733$-$3349, we are able to interpret their RC density fluctuations with the expected overdensities due to the presence of the spiral arms beyond the bulge. In addition, we find a clear excess in the number of microlensing events within the window, which corroborates our interpretation that VVV WIN 1733$-$3349 is revealing the far side of the MW bulge.


title: Quantifying coherence in terms of the pure-state coherence

abstract: Quantifying quantum coherence is a key task in the resource theory of coherence. Here we establish a good coherence monotone in terms of a state conversion process, which automatically endows the coherence monotone with an operational meaning. We show that any state can be produced from some input pure states via the corresponding incoherent channels. It is especially found that the coherence of a given state can be well characterized by the least coherence of the input pure states, so a coherence monotone is established by only effectively quantifying the input pure states. In particular, we show that our proposed coherence monotone is the supremum of all the coherence monotones that give the same coherence for any given pure state. Considering the convexity, we prove that our proposed coherence measure is a subset of the coherence measure based on the convex roof construction. As an application, we give a concrete expression of our coherence measure by employing the geometric coherence of a pure state. We also give a thorough analysis on the states of qubit and finally obtain series of analytic coherence measures.


title: Classification of almost contact metric structures on three-dimensional non-unimodular Lie groups

abstract: In this paper, left-invariant almost contact metric structures on three-dimensional non-unimodular Lie groups are investigated. It is proved that for every Riemannian Lie group, there is one of these structures. In addition, left-invariant normal almost contact metric structures on three dimensional non-unimodular Lie groups are classified.


title: An interpolating inequality for solutions of uniformly elliptic equations

abstract: We extend an inequality for harmonic functions, obtained in previous research by the authors, to the case of solutions of uniformly elliptic equations in divergence form, with merely measurable coefficients. The inequality for harmonic functions turned out to be a crucial ingredient in the study of the stability of the radial symmetry for Alexandrov's Soap Bubble Theorem and Serrin's problem. The proof of our inequality is based on a mean value property for elliptic operators by L. Caffarelli, proved in full detail by I. Blank and Z. Hao.


title: Decisions, Counterfactual Explanations and Strategic Behavior

abstract: As data-driven predictive models are increasingly used to inform decisions, it has been argued that decision makers should provide explanations that help individuals understand what would have to change for these decisions to be beneficial ones. However, there has been little discussion on the possibility that individuals may use the above counterfactual explanations to invest effort strategically and maximize their chances of receiving a beneficial decision. In this paper, our goal is to find policies and counterfactual explanations that are optimal in terms of utility in such a strategic setting. We first show that, given a pre-defined policy, the problem of finding the optimal set of counterfactual explanations is NP-hard. Then, we show that the corresponding objective is nondecreasing and satisfies submodularity and this allows a standard greedy algorithm to enjoy approximation guarantees. In addition, we further show that the problem of jointly finding both the optimal policy and set of counterfactual explanations reduces to maximizing a non-monotone submodular function. As a result, we can use a recent randomized algorithm to solve the problem, which also offers approximation guarantees. Finally, we demonstrate that, by incorporating a matroid constraint into the problem formulation, we can increase the diversity of the optimal set of counterfactual explanations and incentivize individuals across the whole spectrum of the population to self improve. Experiments on synthetic and real lending and credit card data illustrate our theoretical findings and show that the counterfactual explanations and decision policies found by our algorithms achieve higher utility than several competitive baselines.


title: On Some Properties of Finsler Manifolds of Stretch Curvature

abstract: Finsler metrics with relatively non-negative (non-positive, respectively), constant and isotropic stretch curvatures are investigated in this paper. In particular, it is proved that every non-Riemannian $(\alpha, \beta)$-metric with a nonzero constant flag curvature and a non-zero relatively isotropic stretch curvature over a manifold of dimension $n\geq 3$ is of a characteristic scalar constant over the Finsler geodesics. It is also shown that every compact Finsler manifold with a relatively non-negative (non-positive, respectively) stretch curvature is a Landsberg metric. Finsler manifolds with $2$-dimensional relative stretch curvature are also investigated.


title: Static and Dynamic Values of Computation in MCTS

abstract: Monte-Carlo Tree Search (MCTS) is one of the most-widely used methods for planning, and has powered many recent advances in artificial intelligence. In MCTS, one typically performs computations (i.e., simulations) to collect statistics about the possible future consequences of actions, and then chooses accordingly. Many popular MCTS methods such as UCT and its variants decide which computations to perform by trading-off exploration and exploitation. In this work, we take a more direct approach, and explicitly quantify the value of a computation based on its expected impact on the quality of the action eventually chosen. Our approach goes beyond the "myopic" limitations of existing computation-value-based methods in two senses: (I) we are able to account for the impact of non-immediate (ie, future) computations (II) on non-immediate actions. We show that policies that greedily optimize computation values are optimal under certain assumptions and obtain results that are competitive with the state-of-the-art.


title: Reconstruction theorem for monoid schemes

abstract: We aim to reconstruct a monoid scheme $X$ from the category of quasi-coherent sheaves over it. This is much in the vein of Gabriel's original reconstruction theorem. Under some finiteness condition on a monoid schemes $X$, we show that the localising subcategories of the topos $\mathfrak{Qc}(X)$ of quasi-coherent sheaves on $X$ is in a one-to-one correspondence with open subsets of $X$, while the elements of $X$ correspond to the topos points of $\mathfrak{Qc}(X)$. This allows us to reconstruct $X$ from $\mathfrak{Qc}(X)$.