title: Well ordering principles and $\Pi^1_4$-statements: a pilot study

abstract: In previous work, the author has shown that $\Pi^1_1$-induction along $\mathbb N$ is equivalent to a suitable formalization of the statement that every normal function on the ordinals has a fixed point. More precisely, this was proved for a representation of normal functions in terms of J.-Y. Girard's dilators, which are particularly uniform transformations of well orders. The present paper works on the next type level and considers uniform transformations of dilators, which are called $2$-ptykes. We show that $\Pi^1_2$-induction along $\mathbb N$ is equivalent to the existence of fixed points for all $2$-ptykes that satisfy a certain normality condition. Beyond this specific result, the paper paves the way for the analysis of further $\Pi^1_4$-statements in terms of well ordering principles.


title: Projective bundles and blow-ups of Projective spaces

abstract: The aim of this note is to investigate the relation between two types of non-singular projective varieties of Picard rank 2, namely the Projective bundles over Projective spaces and certain Blow-up of Projective spaces.


title: Bifurcation study for a surface-acoustic-wave driven meniscus

abstract: A thin-film model for a meniscus driven by Rayleigh surface acoustic waves (SAW) is analysed, a problem closely related to the classical Landau-Levich or dragged-film problem where a plate is withdrawn at constant speed from a bath. We consider a mesoscopic hydrodynamic model for a partially wetting liquid, were wettability is incorporated via a Derjaguin (or disjoining) pressure and combine SAW driving with the elements known from the dragged-film problem. For a one-dimensional substrate, i.e., neglecting transverse perturbations, we employ numerical path continuation to investigate in detail how the various occurring steady and time-periodic states depend on relevant control parameters like the Weber number and SAW strength. The bifurcation structure related to qualitative transitions caused by the SAW is analysed with particular attention on the {appearance and interplay of Hopf bifurcations where branches of time-periodic states emerge. The latter correspond to the regular shedding of liquid ridges from the meniscus. The obtained information is relevant to the entire class of dragged-film problems.


title: Weakly invasive metrology: quantum advantage and physical implementations

abstract: We consider the estimation of a Hamiltonian parameter of a set of highly photosensitive samples, which are damaged after a few photons $N_{\rm abs}$ are absorbed, for a total time $T$. The samples are modelled as a two mode photonic system, where photons simultaneously acquire information on the unknown parameter and are absorbed at a fixed rate. We show that arbitrarily intense coherent states can obtain information at a rate that scales at most linearly with $N_{\rm abs}$ and $T$, whereas quantum states with finite intensity can overcome this bound. We characterise the quantum advantage as a function of $N_{\rm abs}$ and $T$, as well as its robustness to imperfections (non-ideal detectors, finite preparation and measurement rates for quantum photonic states). We discuss an implementation in cavity QED, where Fock states are both prepared and measured by coupling atomic ensembles to the cavities. We show that superradiance, arising due to a collective coupling between the cavities and the atoms, can be exploited for improving the speed and efficiency of the measurement.


title: Confined nano-NMR spectroscopy using NV centers

abstract: Nano-NMR spectroscopy with nitrogen-vacancy centers holds the potential to provide high resolution spectra of minute samples. This is likely to have important implications for chemistry, medicine and pharmaceutical engineering. One of the main hurdles facing the technology is that diffusion of unpolarized liquid samples broadens the spectral lines thus limiting resolution. Experiments in the field are therefore impeded by the efforts involved in achieving high polarization of the sample which is a challenging endeavor. Here we examine a scenario where the liquid is confined to a small volume. We show that the confinement 'counteracts' the effect of diffusion, thus overcoming a major obstacle to the resolving abilities of the NV-NMR spectrometer.


title: Primitive idempotents in central simple algebras over $\mathbb{F}_q(t)$ with an application to coding theory

abstract: We consider the algorithmic problem of computing a primitive idempotent of a central simple algebra over the field of rational functions over a finite field. The algebra is given by a set of structure constants. The problem is reduced to the computation of a division algebra Brauer equivalent to the central simple algebra. This division algebra is constructed as a cyclic algebra, once the Hasse invariants have been computed. We give an application to skew constacyclic convolutional codes.


title: Machine Learning Pipelines: Provenance, Reproducibility and FAIR Data Principles

abstract: Machine learning (ML) is an increasingly important scientific tool supporting decision making and knowledge generation in numerous fields. With this, it also becomes more and more important that the results of ML experiments are reproducible. Unfortunately, that often is not the case. Rather, ML, similar to many other disciplines, faces a reproducibility crisis. In this paper, we describe our goals and initial steps in supporting the end-to-end reproducibility of ML pipelines. We investigate which factors beyond the availability of source code and datasets influence reproducibility of ML experiments. We propose ways to apply FAIR data practices to ML workflows. We present our preliminary results on the role of our tool, ProvBook, in capturing and comparing provenance of ML experiments and their reproducibility using Jupyter Notebooks.


title: Regularity of almost periodic solutions of Poisson's equation

abstract: This paper discusses some regularity of almost periodic solutions of the Poisson's equation $-\Delta u = f$ in $\mathbb{R}^n$, where $f$ is an almost periodic function. It has been proved by Sibuya [Almost periodic solutions of Poisson's equation. Proc. Amer. Math. Soc., 28:195--198, 1971.] that if $u$ is a bounded continuous function and solves the Poisson's equation in the distribution sense, then $u$ is an almost periodic function. In this work, we relax the assumption of the usual boundedness into boundedness in the sense of distribution which we refer to as a bounded generalized function. The set of bounded generalized functions are wider than the set of usual bounded functions. Then, upon assuming that $u$ is a bounded generalized function and solves the Poisson's equation in the distribution sense, we prove that this solution is bounded in the usual sense, continuous and almost periodic. Moreover, we show that the first partial derivatives of the solution $\partial u/ \partial x_i$, $i=1, \ldots, n$, are also continuous, bounded, and almost periodic functions. The technique is based on extending a representation formula using Green's function for Poisson's equation for solutions in the distribution sense. Some useful properties of distributions are also shown that can be used to study other elliptic problems.


title: The color out of space: learning self-supervised representations for Earth Observation imagery

abstract: The recent growth in the number of satellite images fosters the development of effective deep-learning techniques for Remote Sensing (RS). However, their full potential is untapped due to the lack of large annotated datasets. Such a problem is usually countered by fine-tuning a feature extractor that is previously trained on the ImageNet dataset. Unfortunately, the domain of natural images differs from the RS one, which hinders the final performance. In this work, we propose to learn meaningful representations from satellite imagery, leveraging its high-dimensionality spectral bands to reconstruct the visible colors. We conduct experiments on land cover classification (BigEarthNet) and West Nile Virus detection, showing that colorization is a solid pretext task for training a feature extractor. Furthermore, we qualitatively observe that guesses based on natural images and colorization rely on different parts of the input. This paves the way to an ensemble model that eventually outperforms both the above-mentioned techniques.


title: Sketched Newton-Raphson

abstract: We propose a new globally convergent stochastic second order method. Our starting point is the development of a new Sketched Newton-Raphson (SNR) method for solving large scale nonlinear equations of the form $F(x)=0$ with $F:\mathbb{R}^p \rightarrow \mathbb{R}^m$. We then show how to design several stochastic second order optimization methods by re-writing the optimization problem of interest as a system of nonlinear equations and applying SNR. For instance, by applying SNR to find a stationary point of a generalized linear model (GLM), we derive completely new and scalable stochastic second order methods. We show that the resulting method is very competitive as compared to state-of-the-art variance reduced methods. Furthermore, using a variable splitting trick, we also show that the Stochastic Newton method (SNM) is a special case of SNR, and use this connection to establish the first global convergence theory of SNM. We establish the global convergence of SNR by showing that it is a variant of the stochastic gradient descent (SGD) method, and then leveraging proof techniques of SGD. As a special case, our theory also provides a new global convergence theory for the original Newton-Raphson method under strictly weaker assumptions as compared to the classic monotone convergence theory.


title: Automated machine vision enabled detection of movement disorders from hand drawn spirals

abstract: A widely used test for the diagnosis of Parkinson's disease (PD) and Essential tremor (ET) is hand-drawn shapes,where the analysis is observationally performed by the examining neurologist. This method is subjective and is prone to bias amongst different physicians. Due to the similarities in the symptoms of the two diseases, they are often misdiagnosed.Studies which attempt to automate the process typically use digitized input, where the tablet or specialized equipment are not affordable in many clinical settings. This study uses a dataset of scanned pen and paper drawings and a convolutional neural network (CNN) to perform classification between PD, ET and control subjects. The discrimination accuracy of PD from controls was 98.2%. The discrimination accuracy of PD from ET and from controls was 92%. An ablation study was conducted and indicated that correct hyper parameter optimization can increases the accuracy up to 4.33%. Finally, the study indicates the viability of using a CNN-enabled machine vision system to provide robust and accurate detection of movement disorders from hand drawn spirals.


title: Learning with AMIGo: Adversarially Motivated Intrinsic Goals

abstract: A key challenge for reinforcement learning (RL) consists of learning in environments with sparse extrinsic rewards. In contrast to current RL methods, humans are able to learn new skills with little or no reward by using various forms of intrinsic motivation. We propose AMIGo, a novel agent incorporating -- as form of meta-learning -- a goal-generating teacher that proposes Adversarially Motivated Intrinsic Goals to train a goal-conditioned "student" policy in the absence of (or alongside) environment reward. Specifically, through a simple but effective "constructively adversarial" objective, the teacher learns to propose increasingly challenging -- yet achievable -- goals that allow the student to learn general skills for acting in a new environment, independent of the task to be solved. We show that our method generates a natural curriculum of self-proposed goals which ultimately allows the agent to solve challenging procedurally-generated tasks where other forms of intrinsic motivation and state-of-the-art RL methods fail.


title: An Efficient Quadratic Programming Relaxation Based Algorithm for Large-Scale MIMO Detection

abstract: Multiple-input multiple-output (MIMO) detection is a fundamental problem in wireless communications and it is strongly NP-hard in general. Massive MIMO has been recognized as a key technology in the fifth generation (5G) and beyond communication networks, which on one hand can significantly improve the communication performance, and on the other hand poses new challenges of solving the corresponding optimization problems due to the large problem size. While various efficient algorithms such as semidefinite relaxation (SDR) based approaches have been proposed for solving the small-scale MIMO detection problem, they are not suitable to solve the large-scale MIMO detection problem due to their high computational complexities. In this paper, we propose an efficient sparse quadratic programming (SQP) relaxation based algorithm for solving the large-scale MIMO detection problem. In particular, we first reformulate the MIMO detection problem as an SQP problem. By dropping the sparse constraint, the resulting relaxation problem shares the same global minimizer with the SQP problem. In sharp contrast to the SDRs for the MIMO detection problem, our relaxation does not contain any (positive semidefinite) matrix variable and the numbers of variables and constraints in our relaxation are significantly less than those in the SDRs, which makes it particularly suitable for the large-scale problem. Then we propose a projected Newton based quadratic penalty method to solve the relaxation problem, which is guaranteed to converge to the vector of transmitted signals under reasonable conditions. By extensive numerical experiments, when applied to solve large-scale problems, the proposed algorithm achieves better detection performance than a recently proposed generalized power method.


title: Self-Supervised Representations Improve End-to-End Speech Translation

abstract: End-to-end speech-to-text translation can provide a simpler and smaller system but is facing the challenge of data scarcity. Pre-training methods can leverage unlabeled data and have been shown to be effective on data-scarce settings. In this work, we explore whether self-supervised pre-trained speech representations can benefit the speech translation task in both high- and low-resource settings, whether they can transfer well to other languages, and whether they can be effectively combined with other common methods that help improve low-resource end-to-end speech translation such as using a pre-trained high-resource speech recognition system. We demonstrate that self-supervised pre-trained features can consistently improve the translation performance, and cross-lingual transfer allows to extend to a variety of languages without or with little tuning.


title: Hardness of efficiently generating ground states in postselected quantum computation

abstract: Generating ground states of any local Hamiltonians seems to be impossible in quantum polynomial time. In this paper, we give evidence for the impossibility by applying an argument used in the quantum-computational-supremacy approach. More precisely, we show that if ground states of any $3$-local Hamiltonians can be approximately generated in quantum polynomial time with postselection, then ${\sf PP}={\sf PSPACE}$. Our result is superior to the existing findings in the sense that we reduce the impossibility to an unlikely relation between classical complexity classes. We also discuss what makes efficiently generating the ground states hard for postselected quantum computation.


title: Origin & evolution of the Universe

abstract: The aim of this thesis is to question some of the basic assumptions that go into building the $\Lambda$CDM model of our universe. The assumptions we focus on are the initial conditions of the universe, the fundamental forces in the universe on large scales and the approximations made in analysing cosmological data. For each of the assumptions we outline the theoretical understanding behind them, the current methods used to study them and how they can be improved and finally we also perform numerical analysis to quantify the novel solutions/methods we propose to extend the previous assumptions.


title: Supervised dimensionality reduction by a Linear Discriminant Analysis on pre-trained CNN features

abstract: We explore the application of linear discriminant analysis (LDA) to the features obtained in different layers of pretrained deep convolutional neural networks (CNNs). The advantage of LDA compared to other techniques in dimensionality reduction is that it reduces dimensions while preserving the global structure of data, so distances in the low-dimensional structure found are meaningful. The LDA applied to the CNN features finds that the centroids of classes corresponding to the similar data lay closer than classes corresponding to different data. We applied the method to a modification of the MNIST dataset with ten additional classes, each new class with half of the images from one of the standard ten classes. The method finds the new classes close to the corresponding standard classes we took the data form. We also applied the method to a dataset of images of butterflies to find that related subspecies are found to be close. For both datasets, we find a performance similar to state-of-the-art methods.


title: Feasibility and A Fast Algorithm for Euclidean Distance Matrix Optimization with Ordinal Constraints

abstract: Euclidean distance matrix optimization with ordinal constraints (EDMOC) has found important applications in sensor network localization and molecular conformation. It can also be viewed as a matrix formulation of multidimensional scaling, which is to embed n points in a $r$-dimensional space such that the resulting distances follow the ordinal constraints. The ordinal constraints, though proved to be quite useful, may result in only zero solution when too many are added, leaving the feasibility of EDMOC as a question. In this paper, we first study the feasibility of EDMOC systematically. We show that if $r\ge n-2$, EDMOC always admits a nontrivial solution. Otherwise, it may have only zero solution. The latter interprets the numerical observations of 'crowding phenomenon'. Next we overcome two obstacles in designing fast algorithms for EDMOC, i.e., the low-rankness and the potential huge number of ordinal constraints. We apply the technique developed to take the low rank constraint as the conditional positive semidefinite cone with rank cut. This leads to a majorization penalty approach. The ordinal constraints are left to the subproblem, which is exactly the weighted isotonic regression, and can be solved by the enhanced implementation of Pool Adjacent Violators Algorithm (PAVA). Extensive numerical results demonstrate {the} superior performance of the proposed approach over some state-of-the-art solvers.


title: Organising a Successful AI Online Conference: Lessons from SoCS 2020

abstract: The 13th Symposium on Combinatorial Search (SoCS) was held May 26-28, 2020. Originally scheduled to take place in Vienna, Austria, the symposium pivoted toward a fully online technical program in early March. As an in-person event SoCS offers participants a diverse array of scholarly activities including technical talks (long and short), poster sessions, plenary sessions, a community meeting and, new for 2020, a Master Class tutorial program. This paper describes challenges, approaches and opportunities associated with adapting these many different activities to the online setting. We consider issues such as scheduling, dissemination, attendee interaction and community engagement before, during and after the event. We report on the approaches taken by SoCS in each case, we give a post-hoc analysis of their their effectiveness and we discuss how these decisions continue to impact the SoCS community in the days after SoCS 2020.


title: How Arzel\`a and Ascoli would have proved Pego theorem for $L^1(G)$ (if they lived in the $21^{st}$ century)?

abstract: In the paper we make an effort to answer the question ``What if Arzel\`a and Ascoli lived long enough to see Pego theorem?''. Giulio Ascoli and Cesare Arzel\`a died in 1896 and 1912, respectively, so they could not appreciate the characterization of compact families in $L^2(\mathbb{R}^N)$ provided by Robert L. Pego in 1985. Unlike the Italian mathematicians, Pego employed various tools from harmonic analysis in his work (for instance the Fourier transform or the Hausdorff-Young inequality). Our article is meant to serve as a bridge between Arzel\`a-Ascoli theorem and Pego theorem (for $L^1(G)$ rather than $L^2(G)$, $G$ being a locally compact abelian group). In a sense, the former is the ``raison d'\^etre'' of the latter, as we shall painstakingly demonstrate.


title: Randomized Runge-Kutta method -- stability and convergence under inexact information

abstract: We deal with optimal approximation of solutions of ODEs under local Lipschitz condition and inexact discrete information about the right-hand side functions. We show that the randomized two-stage Runge-Kutta scheme is the optimal method among all randomized algorithms based on standard noisy information. We perform numerical experiments that confirm our theoretical findings. Moreover, for the optimal algorithm we rigorously investigate properties of regions of absolute stability.


title: Quantification of the expected residual dispersion of the MICADO Near-IR imaging instrument

abstract: MICADO, a near-infrared imager for the Extremely Large Telescope, is being designed to deliver diffraction limited imaging and 50 micro arcsecond (${\mu}$as) astrometric accuracy. MICADO employs an atmospheric dispersion corrector (ADC) to keep the chromatic elongation of the point spread function (PSF) under control. We must understand the dispersion and residuals after correction to reach the optimum performance. Therefore, we identified several sources of chromatic dispersion that need to be considered for the MICADO ADC. First, we compared common models of atmospheric dispersion to investigate whether these models remain suitable for MICADO. We showed that the differential dispersion between common atmospheric models and integration over the full atmosphere is less than 10 ${\mu}$as for most observations in H-band. We then performed an error propagation analysis to understand the uncertainty in the atmospheric dispersion as a function of atmospheric conditions. In addition, we investigated the impact of photometric color on the astrometric performance. While the differential refraction between stars within the same field of view can be significant, the inclusion of an ADC rendered this effect negligible. For MICADO specifically, we found that the current optomechanical design dominates the residual dispersion budget of 0.4 milli arcseconds (mas), with a contribution of 0.31 mas due to the positioning accuracy of the prisms and up to 0.15 mas due to a mismatch between the dispersive properties of the glass and the atmosphere. We found no showstoppers in the design of the MICADO ADC for achieving 50 ${\mu}$as relative astrometric accuracy.


title: Optimizing Placement of Heap Memory Objects in Energy-Constrained Hybrid Memory Systems

abstract: Main memory (DRAM) significantly impacts the power and energy utilization of the overall server system. Non-Volatile Memory (NVM) devices, such as Phase Change Memory and Spin-Transfer Torque RAM, are suitable candidates for main memory to reduce energy consumption. But unlike DRAM, NVMs access latencies are higher than DRAM and NVM writes are more energy sensitive than DRAM write operations. Thus, Hybrid Main Memory Systems (HMMS) employing DRAM and NVM have been proposed to reduce the overall energy depletion of main memory while optimizing the performance of NVM. This paper proposes eMap, an optimal heap memory object placement planner in HMMS. eMap considers the object-level access patterns and energy consumption at the application level and provides an ideal placement strategy for each object to augment performance and energy utilization. eMap is equipped with two modules, eMPlan and eMDyn. Specifically, eMPlan is a static placement planner which provides one time placement policies for memory object to meet the energy budget while eMDyn is a runtime placement planner to consider the change in energy limiting constraint during the runtime and shuffles the memory objects by taking into account the access patterns as well as the migration cost in terms of energy and performance. The evaluation shows that our proposed solution satisfies both the energy limiting constraint and the performance. We compare our methodology with the state-of-the-art memory object classification and allocation (MOCA) framework. Our extensive evaluation shows that our proposed solution, eMPlan meets the energy constraint with 4.17 times less costly and reducing the energy consumption up to 14% with the same performance. eMDyn also satisfies the performance and energy requirement while considering the migration cost in terms of time and energy.


title: On improved convergence conditions and bounds for Markov chains

abstract: Improved rates of convergence for ergodic Markov chains and relaxed conditions for them, as well as analogous convergence results for some non-homogeneous Markov chains are studied. The setting from the previous works is extended. Examples are provided where the new bounds are better and where they give the same convergence rate as in the classical Markov -- Dobrushin inequality.


title: Learning to Generate Noise for Multi-Attack Robustness

abstract: Adversarial learning has emerged as one of the successful techniques to circumvent the susceptibility of existing methods against adversarial perturbations. However, the majority of existing defense methods are tailored to defend against a single category of adversarial perturbation (e.g. $\ell_\infty$-attack). In safety-critical applications, this makes these methods extraneous as the attacker can adopt diverse adversaries to deceive the system. Moreover, training on multiple perturbations simultaneously significantly increases the computational overhead during training. To address these challenges, we propose a novel meta-learning framework that explicitly learns to generate noise to improve the model's robustness against multiple types of attacks. Its key component is Meta Noise Generator (MNG) that outputs optimal noise to stochastically perturb a given sample, such that it helps lower the error on diverse adversarial perturbations. By utilizing samples generated by MNG, we train a model by enforcing the label consistency across multiple perturbations. We validate the robustness of models trained by our scheme on various datasets and against a wide variety of perturbations, demonstrating that it significantly outperforms the baselines across multiple perturbations with a marginal computational cost.


title: Safe Reinforcement Learning via Curriculum Induction

abstract: In safety-critical applications, autonomous agents may need to learn in an environment where mistakes can be very costly. In such settings, the agent needs to behave safely not only after but also while learning. To achieve this, existing safe reinforcement learning methods make an agent rely on priors that let it avoid dangerous situations during exploration with high probability, but both the probabilistic guarantees and the smoothness assumptions inherent in the priors are not viable in many scenarios of interest such as autonomous driving. This paper presents an alternative approach inspired by human teaching, where an agent learns under the supervision of an automatic instructor that saves the agent from violating constraints during learning. In this model, we introduce the monitor that neither needs to know how to do well at the task the agent is learning nor needs to know how the environment works. Instead, it has a library of reset controllers that it activates when the agent starts behaving dangerously, preventing it from doing damage. Crucially, the choices of which reset controller to apply in which situation affect the speed of agent learning. Based on observing agents' progress, the teacher itself learns a policy for choosing the reset controllers, a curriculum, to optimize the agent's final policy reward. Our experiments use this framework in two environments to induce curricula for safe and efficient learning.


title: Tests of general relativity using multiband observations of intermediate mass binary black hole mergers

abstract: Observation of gravitational waves (GWs) in two different frequency bands is referred to as multiband GW astronomy. With the planned Laser Interferometric Space Antenna (LISA) operating in the $10^{-4}-0.1$ Hz range, and third generation (3G) ground-based detectors such as the Cosmic Explorer (CE) and Einstein Telescope (ET), operating in the $1$-$10^4$ Hz range, multiband GW astronomy could be a reality in about a decade. In this paper we present the potential of multiband observations of intermediate mass binary black holes (IMBBHs) of component masses ${\sim}10^2$-$10^3\,M_{\odot}$ to test general relativity (GR). We show that mutiband observations of IMBBHs would permit multiparameter tests of GR-tests where more than one post-Newtonian (PN) coefficient is simultaneously measured yielding more rigorous constraints on possible modifications to GR. We also find that the improvement due to multibanding can often be much larger than the best of the bounds from either of the two observatories. The origin of this result, as we shall demonstrate, can be traced to the lifting of degeneracies among the various parameters when the information from LISA and 3G are taken together. We obtain the best multiband bounds for an IMBBH with a total redshifted mass of $200\,M_{\odot}$ and a mass ratio of 2. For single-parameter tests, this system at 1 Gpc would allow us to constrain the deviations on all the PN coefficients to below $10\%$ and derive simultaneous bounds on the first seven PN coefficients to below $50\%$ (with low spins).


title: Graph Neural Networks in TensorFlow and Keras with Spektral

abstract: In this paper we present Spektral, an open-source Python library for building graph neural networks with TensorFlow and the Keras application programming interface. Spektral implements a large set of methods for deep learning on graphs, including message-passing and pooling operators, as well as utilities for processing graphs and loading popular benchmark datasets. The purpose of this library is to provide the essential building blocks for creating graph neural networks, focusing on the guiding principles of user-friendliness and quick prototyping on which Keras is based. Spektral is, therefore, suitable for absolute beginners and expert deep learning practitioners alike. In this work, we present an overview of Spektral's features and report the performance of the methods implemented by the library in scenarios of node classification, graph classification, and graph regression.


title: Rapid Structural Pruning of Neural Networks with Set-based Task-Adaptive Meta-Pruning

abstract: As deep neural networks are growing in size and being increasingly deployed to more resource-limited devices, there has been a recent surge of interest in network pruning methods, which aim to remove less important weights or activations of a given network. A common limitation of most existing pruning techniques, is that they require pre-training of the network at least once before pruning, and thus we can benefit from reduction in memory and computation only at the inference time. However, reducing the training cost of neural networks with rapid structural pruning may be beneficial either to minimize monetary cost with cloud computing or to enable on-device learning on a resource-limited device. Recently introduced random-weight pruning approaches can eliminate the needs of pretraining, but they often obtain suboptimal performance over conventional pruning techniques and also does not allow for faster training since they perform unstructured pruning. To overcome their limitations, we propose Set-based Task-Adaptive Meta Pruning (STAMP), which task-adaptively prunes a network pretrained on a large reference dataset by generating a pruning mask on it as a function of the target dataset. To ensure maximum performance improvements on the target task, we meta-learn the mask generator over different subsets of the reference dataset, such that it can generalize well to any unseen datasets within a few gradient steps of training. We validate STAMP against recent advanced pruning methods on benchmark datasets, on which it not only obtains significantly improved compression rates over the baselines at similar accuracy, but also orders of magnitude faster training speed.


title: High-Precision Digital Traffic Recording with Multi-LiDAR Infrastructure Sensor Setups

abstract: Large driving datasets are a key component in the current development and safeguarding of automated driving functions. Various methods can be used to collect such driving data records. In addition to the use of sensor equipped research vehicles or unmanned aerial vehicles (UAVs), the use of infrastructure sensor technology offers another alternative. To minimize object occlusion during data collection, it is crucial to record the traffic situation from several perspectives in parallel. A fusion of all raw sensor data might create better conditions for multi-object detection and tracking (MODT) compared to the use of individual raw sensor data. So far, no sufficient studies have been conducted to sufficiently confirm this approach. In our work we investigate the impact of fused LiDAR point clouds compared to single LiDAR point clouds. We model different urban traffic scenarios with up to eight 64-layer LiDARs in simulation and in reality. We then analyze the properties of the resulting point clouds and perform MODT for all emerging traffic participants. The evaluation of the extracted trajectories shows that a fused infrastructure approach significantly increases the tracking results and reaches accuracies within a few centimeters.


title: Dependence of the Fundamental Plane of Early-type Galaxies on Age and Internal Structure

abstract: We investigate the scatter in the fundamental plane (FP) of early-type galaxies (ETGs) and its dependence on age and internal structure of ETGs, using $16,283$ ETGs with $M_r\le-19.5$ and $0.025\le z<0.055$ in Sloan Digital Sky Survey data. We use the relation between the age of ETGs and photometric parameters such as color, absolute magnitude, and central velocity dispersion of ETGs and find that the scatter in the FP depends on age. The FP of old ETGs with age $\gtrsim9$ Gyrs has a smaller scatter of $\sim0.06$ dex ($\sim14\%$) while that of young ETGs with age $\lesssim6$ Gyrs has a larger scatter of $\sim0.075$ dex ($\sim17\%$). In the case of young ETGs, less compact ETGs have a smaller scatter in the FP ($\sim0.065$ dex; $\sim15\%$) than more compact ones ($\sim0.10$ dex; $\sim23\%$). On the other hand, the scatter in the FP of old ETGs does not depend on the compactness of galaxy structure. Thus, among the subpopulations of ETGs, compact young ETGs have the largest scatter in the FP. This large scatter in compact young ETGs is caused by ETGs that have low dynamical mass-to-light ratio ($M_\mathrm{dyn}/L$) and blue color in the central regions. By comparing with a simple model of the galaxy that has experienced a gas-rich major merger, we find that the scenario of recent gas-rich major merger can reasonably explain the properties of the compact young ETGs with excessive light for a given mass (low $M_\mathrm{dyn}/L$) and blue central color.


title: On Differential Properties of Multifunctions Defined Implicitly by Set-Valued Inclusions

abstract: In the present paper, several properties concerning generalized derivatives of multifunctions implicitly defined by set-valued inclusions are studied by techniques of variational analysis. Set-valued inclusions are problems formalizing the robust fulfilment of cone constraint systems, whose data are affected by a "crude knowledge" of uncertain elements, so they can not be casted in traditional generalized equations. The focus of this study in on the first-order behaviour of the solution mapping associated with a parameterized set-valued inclusion, starting with Lipschitzian properties and then considering its graphical derivative. In particular, a condition for the Aubin continuity of the solution mapping is established in terms of outer prederivative of the set-valued mapping defining the inclusion. A large class of parameterized set-valued inculsions is singled out, whose solution mapping turns out to be convex. Some relevant consequences on the graphical derivative are explored. In the absence of that, formulae for the inner and outer approximation of the graphical derivative are provided by means of prederivatives of the problem data. A representation useful to calculate the coderivative of the solution mapping is also obtained via the subdifferential of a merit function.


title: Counting Down Thunder: Timing Attacks on Privacy in Payment Channel Networks

abstract: The Lightning Network is a scaling solution for Bitcoin that promises to enable rapid and private payment processing. In Lightning, multi-hop payments are secured by utilizing Hashed Time-Locked Contracts (HTLCs) and encrypted on the network layer by an onion routing scheme to avoid information leakage to intermediate nodes. In this work, we however show that the privacy guarantees of the Lightning Network may be subverted by an on-path adversary conducting timing attacks on the HTLC state negotiation messages. To this end, we provide estimators that enable an adversary to reduce the anonymity set and infer the likeliest payment endpoints. We developed a proof-of-concept measurement node that shows the feasibility of attaining time differences and evaluate the adversarial success in model-based network simulations. We find that controlling a small number malicious nodes is sufficient to observe a large share of all payments, emphasizing the relevance of the on-path adversary model. Moreover, we show that adversaries of different magnitudes could employ timing-based attacks to deanonymize payment endpoints with high precision and recall.


title: Scalable Range Locks for Scalable Address Spaces and Beyond

abstract: Range locks are a synchronization construct designed to provide concurrent access to multiple threads (or processes) to disjoint parts of a shared resource. Originally conceived in the file system context, range locks are gaining increasing interest in the Linux kernel community seeking to alleviate bottlenecks in the virtual memory management subsystem. The existing implementation of range locks in the kernel, however, uses an internal spin lock to protect the underlying tree structure that keeps track of acquired and requested ranges. This spin lock becomes a point of contention on its own when the range lock is frequently acquired. Furthermore, where and exactly how specific (refined) ranges can be locked remains an open question. In this paper, we make two independent, but related contributions. First, we propose an alternative approach for building range locks based on linked lists. The lists are easy to maintain in a lock-less fashion, and in fact, our range locks do not use any internal locks in the common case. Second, we show how the range of the lock can be refined in the mprotect operation through a speculative mechanism. This refinement, in turn, allows concurrent execution of mprotect operations on non-overlapping memory regions. We implement our new algorithms and demonstrate their effectiveness in user-space and kernel-space, achieving up to 9$\times$ speedup compared to the stock version of the Linux kernel. Beyond the virtual memory management subsystem, we discuss other applications of range locks in parallel software. As a concrete example, we show how range locks can be used to facilitate the design of scalable concurrent data structures, such as skip lists.


title: Local nuclear and magnetic order in the two-dimensional spin glass, Mn$_{0.5}$Fe$_{0.5}$PS$_3$

abstract: We present a comprehensive study of the short-ranged nuclear and magnetic order in the two-dimensional spin glass, Mn$_{0.5}$Fe$_{0.5}$PS$_3$. Nuclear neutron scattering data reveal a random distribution of Mn$^{2+}$ and Fe$^{2+}$ ions within the honeycomb layers, which gives rise to a spin glass state through inducing competition between neighbouring exchange interactions, indicated in magnetic susceptibility data by a cusp at the glass transition, $T_g = 35$ K. Analysis of magnetic diffuse neutron scattering data collected for both single crystal and polycrystalline samples gives further insight into the origin of the spin glass phase, with spin correlations revealing a mixture of satisfied and unsatisfied correlations between magnetic moments within the honeycomb planes, which can be explained by considering the magnetic structures of the parent compounds, MnPS$_3$ and FePS$_3$. We found that, on approaching $T_g$ from above, an ensemble-averaged correlation length of $\xi = 5.5(6)$ \r{A} developed between satisfied correlations, and below $T_g$, the glassy behaviour gave rise to a distance-independent correlation between unsatisfied moments. Correlations between the planes were found to be very weak, which mirrored our observations of rod-like structures parallel to the c* axis in our single crystal diffraction measurements, confirming the two-dimensional nature of Mn$_{0.5}$Fe$_{0.5}$PS$_3$.


title: ReCO: A Large Scale Chinese Reading Comprehension Dataset on Opinion

abstract: This paper presents the ReCO, a human-curated ChineseReading Comprehension dataset on Opinion. The questions in ReCO are opinion based queries issued to the commercial search engine. The passages are provided by the crowdworkers who extract the support snippet from the retrieved documents. Finally, an abstractive yes/no/uncertain answer was given by the crowdworkers. The release of ReCO consists of 300k questions that to our knowledge is the largest in Chinese reading comprehension. A prominent characteristic of ReCO is that in addition to the original context paragraph, we also provided the support evidence that could be directly used to answer the question. Quality analysis demonstrates the challenge of ReCO that requires various types of reasoning skills, such as causal inference, logical reasoning, etc. Current QA models that perform very well on many question answering problems, such as BERT, only achieve 77% accuracy on this dataset, a large margin behind humans nearly 92% performance, indicating ReCO presents a good challenge for machine reading comprehension. The codes, datasets are freely available at https://github.com/benywon/ReCO.


title: Optimization of NB QC-LDPC Block Codes and Their Performance Analysis

abstract: We propose an approach for optimizing nonbinary (NB) quasi-cyclic (QC) LDPC codes. This approach combines constructing of base parity-check matrices by simulated annealing and labeling the obtained base matrices aimed at maximizing the so-called generalized girth of the NB LDPC code Tanner graph. Tightened random coding bounds based on the average binary spectra for ensembles of "almost regular" NB LDPC codes of finite lengths over extensions of the binary Galois field are derived. The simulated FER performance of the sum-product BP decoding of "almost regular" NB QC-LDPC block codes are presented and compared with the derived finite-length random coding bounds as well as with the same performance of the optimized binary QC-LDPC block code in the 5G standard. In the waterfall region our finite-length bounds on the error probability of ML decoding are about 0.1--0.2 dB away from the simulated FER performance of BP decoding.


title: Identification of Neuronal Polarity by Node-Based Machine Learning

abstract: Identify the directions of signal flows in neural networks is one of the most important stages for understanding the intricate information dynamics of a living brain. Using a dataset of 213 projection neurons distributed in different regions of Drosophila brain, we develop a powerful machine learning algorithm: node-based polarity identifier of neurons (NPIN). The proposed model is trained by nodal information only and includes both Soma Features (which contain spatial information from a given node to a soma) and Local Features (which contain morphological information of a given node). After including the spatial correlations between nodal polarities, our NPIN provided extremely high accuracy (>96.0%) for the classification of neuronal polarity, even for complex neurons with more than two dendrite/axon clusters. Finally, we further apply NPIN to classify the neuronal polarity of the blowfly, which has much less neuronal data available. Our results demonstrate that NPIN is a powerful tool to identify the neuronal polarity of insects and to map out the signal flows in the brain's neural networks.


title: Generation of broadband circularly polarized deep-ultraviolet pulses in hollow capillary fibers

abstract: We demonstrate an efficient scheme for the generation of broadband, high-energy, circularly polarized femtosecond laser pulses in the deep ultraviolet through seeded degenerate four-wave mixing in stretched gas-filled hollow capillary fibers. Pumping and seeding with circularly polarized 35 fs pulses centered at 400 nm and 800 nm, respectively, we generate idler pulses centered at 266 nm with more than 25 microjoule of energy and over 95% spectrally averaged ellipticity. Even higher idler energies and broad spectra (27 nm bandwidth) can be obtained at the cost of reduced ellipticity. Our system can be scaled in average power and used in different spectral regions, including the vacuum ultraviolet.


title: Generating Annotated High-Fidelity Images Containing Multiple Coherent Objects

abstract: Recent developments related to generative models have made it possible to generate diverse high-fidelity images. In particular, layout-to-image generation models have gained significant attention due to their capability to generate realistic complex images containing distinct objects. These models are generally conditioned on either semantic layouts or textual descriptions. However, unlike natural images, providing auxiliary information can be extremely hard in domains such as biomedical imaging and remote sensing. In this work, we propose a multi-object generation framework that can synthesize images with multiple objects without explicitly requiring their contextual information during the generation process. Based on a vector-quantized variational autoencoder (VQ-VAE) backbone, our model learns to preserve spatial coherency within an image as well as semantic coherency between the objects and the background through two powerful autoregressive priors: PixelSNAIL and LayoutPixelSNAIL. While the PixelSNAIL learns the distribution of the latent encodings of the VQ-VAE, the LayoutPixelSNAIL is used to specifically learn the semantic distribution of the objects. An implicit advantage of our approach is that the generated samples are accompanied by object-level annotations. We demonstrate how coherency and fidelity are preserved with our method through experiments on the Multi-MNIST and CLEVR datasets; thereby outperforming state-of-the-art multi-object generative methods. The efficacy of our approach is demonstrated through application on medical imaging datasets, where we show that augmenting the training set with generated samples using our approach improves the performance of existing models.


title: Mean-flow Data Assimilation based on minimal correction of turbulence models: application to turbulent high-Reynolds number backward-facing step

abstract: In this article, we provide a methodology to reconstruct high-Reynolds number turbulent mean-flows from few time-averaged measurements. A turbulent flow over a backward-facing step at Re = 28275 is considered to illustrate the potential of the approach. The data-assimilation procedure, based on a variational approach, consists in correcting a given baseline model by tuning space-dependent source terms such that the corresponding solution matches available measurements (obtained here from direct-numerical simulations). The baseline model chosen here consists in Reynolds-Averaged-Navier-Stokes (RANS) equations closed with the turbulence Spalart-Allmaras model. We investigate two possible tuning functions: a source term in the momentum equations, which is able to compensate for the deficiencies in the modeling of the Reynolds stresses by the Boussinesq approximation and a source term in the turbulence equation, which modifies the balance between the eddy-viscosity production and dissipation. The quality of the mean-flow reconstruction strongly depends on the baseline model and on the quantity of measurements. In the case of many measurements, very accurate reconstructions of the mean-flow are obtained with the model corrected by the source term in the momentum equations, while the reconstruction is more approximate when tuning the source term in the turbulence model. In the case of few measurements, this "rigidity" of the corrected turbulence model is favourably used and allows the best mean-flow reconstruction. The flexibility / rigidity of a model is further discussed in the light of a singular-value decomposition of the linear input / output operator between source term and measurements.


title: A 20-Gbps Beam-steered Infrared Wireless Link Enabled by a Passively Field-programmable Metasurface

abstract: Beam steering is one of the main challenges in energy-efficient and high-speed infrared light communication. To date, active beam-steering schemes based on a spatial light modulator (SLM) or micro-electrical mechanical system (MEMS) mirror, as well as the passive ones based on diffractive gratings, have been demonstrated for infrared light communication. Here, for the first time to our knowledge, an infrared beam is steered by 35{\deg} on one side empowered by a passively field-programmable metasurface. By combining the centralized control of wavelength and polarization, a remote passive metasurface can steer the infrared beam in a remote access point. The proposed system keeps scalability to support multiple beams, flexibility to steer the beam, high optical efficiency, simple and cheap devices on remote sides, and centralized control (low maintenance cost), while it avoids disadvantages such as grating loss, a small coverage area, and a bulky size. Based on the proposed beam-steering technology, we also demonstrated a proof-of-concept experiment system with a data rate of 20 Gbps.


title: Fractional Brownian motion meets topology: statistical and topological properties of globular macromolecules with volume interactions

abstract: In the paper we investigate statistical and topological properties of fractional Brownian polymer chains, equipped with the short-range volume interactions. The attention is paid to statistical properties of collapsed conformations with the fractal dimension $D_f\ge 2$ in the three-dimensional space, which are analyzed both numerically and \textit{via} the mean-field Flory approach. Our study is motivated by an attempt to mimic the conformational statistics of collapsed unknotted polymer rings, which are known to form compact hierarchical crumpled globules (CG) with $D_f=3$ at large scales. Replacing the topologically-stabilized CG state by a self-avoiding fractal path adjusted to the fractal dimension $D_f=3$ we tremendously simplify the problem of generating compact self-avoiding conformations since we wash out the topological constraints from the consideration. We make use of the Monte-Carlo simulations to prepare the equilibrium ensemble of swollen chains with various fractal dimensions. A combination of the Flory arguments with statistical analysis of the conformations from simulations allows one to infer the dependence of the critical exponent of the swollen chains on the fractal dimension of the seed chain. We show that with the increase of $D_f$, typical conformations become more territorial and less knotted. Distributions of the knot complexity, $P(\chi)$ for various fractal dimensions of the swollen chains suggest a close relationship between statistical and topological properties of fractal paths with volume interactions.


title: Monolayers of MoS$_{2}$ on Ag(111) as decoupling layers for organic molecules: resolution of electronic and vibronic states of TCNQ

abstract: The electronic structure of molecules on metal surfaces is largely determined by hybridization and screening by the substrate electrons. As a result, the energy levels are significantly broadened and molecular properties, such as vibrations are hidden within the spectral lineshapes. Insertion of thin decoupling layers reduces the linewidths and may give access to the resolution of electronic and vibronic states of an almost isolated molecule. Here, we use scanning tunneling microscopy and spectroscopy to show that a single layer of MoS$_{2}$ on Ag(111) provides a semiconducting band gap that may prevent molecular states from strong interactions with the metal substrate. We show that the lowest unoccupied molecular orbital (LUMO) of tetra-cyano-quino-dimethane (TCNQ) molecules is significantly narrower than on the bare substrate and that it is accompanied by a characteristic satellite structure. Employing simple calculations within the Franck-Condon model, we reveal their vibronic origin and identify the modes with strong electron-phonon coupling.


title: Neural Cellular Automata Manifold

abstract: Very recently, the Neural Cellular Automata (NCA) has been proposed to simulate the morphogenesis process with deep networks. NCA learns to grow an image starting from a fixed single pixel. In this work, we show that the neural network (NN) architecture of the NCA can be encapsulated in a larger NN. This allows us to propose a new model that encodes a manifold of NCA, each of them capable of generating a distinct image. Therefore, we are effectively learning an embedding space of CA, which shows generalization capabilities. We accomplish this by introducing dynamic convolutions inside an Auto-Encoder architecture, for the first time used to join two different sources of information, the encoding and cells environment information. In biological terms, our approach would play the role of the transcription factors, modulating the mapping of genes into specific proteins that drive cellular differentiation, which occurs right before the morphogenesis. We thoroughly evaluate our approach in a dataset of synthetic emojis and also in real images of CIFAR10. Our model introduces a general-purpose network, which can be used in a broad range of problems beyond image generation.


title: Logarithmic Pruning is All You Need

abstract: The Lottery Ticket Hypothesis is a conjecture that every large neural network contains a subnetwork that, when trained in isolation, achieves comparable performance to the large network. An even stronger conjecture has been proven recently: Every sufficiently overparameterized network contains a subnetwork that, at random initialization, but without training, achieves comparable accuracy to the trained large network. This latter result, however, relies on a number of strong assumptions and guarantees a polynomial factor on the size of the large network compared to the target function. In this work, we remove the most limiting assumptions of this previous work while providing significantly tighter bounds:the overparameterized network only needs a logarithmic factor (in all variables but depth) number of neurons per weight of the target subnetwork.


title: On the statistical stability of families of attracting sets and the contracting Lorenz attractor

abstract: We present criteria for statistical stability of attracting sets for vector fields using dynamical conditions on the corresponding generated flows. These conditions are easily verified for all singular-hyperbolic attracting sets of $C^2$ vector fields using known results, providing robust examples of statistically stable singular attracting sets (encompassing in particular the Lorenz and geometrical Lorenz attractors). These conditions are shown to hold also on the persistent but non-robust family of contracting Lorenz flows (also known as Rovella attractors), providing examples of statistical stability among members of non-open families of dynamical systems. In both instances, our conditions void the use of detailed information about perturbations of the one-dimensional induced dynamics on specially chosen Poincar\'e sections.


title: Inverse problems for non-linear hyperbolic equations with disjoint sources and receivers

abstract: The paper studies inverse problems of determining unknown coefficients in various semi-linear and quasi-linear wave equations. We introduce a method to solve inverse problems for non-linear equations using interaction of three waves, that makes it possible to study the inverse problem in all dimensions $n+1\geq 3$. We consider the case when the set $\Omega_{\textrm{in}}$, where the sources are supported, and the set $\Omega_{\textrm{out}}$, where the observations are made, are separated. As model problems we study both a quasi-linear and also a semi-linear wave equation and show in each case that it is possible to uniquely recover the background metric up to the natural obstructions for uniqueness that is governed by finite speed of propagation for the wave equation and a gauge corresponding to change of coordinates. The proof consists of two independent components. In the first half we study multiple-fold linearization of the non-linear wave equation near real parts of Gaussian beams that results in a three-wave interaction. We show that the three-wave interaction can produce a three-to-one scattering data. In the second half of the paper, we study an abstract formulation of the three-to-one scattering relation showing that it recovers the topological, differential and conformal structures of the manifold in a causal diamond set that is the intersection of the future of the point $p_{in}\in \Omega_{\textrm{in}}$ and the past of the point $p_{out}\in \Omega_{\textrm{out}}$. The results do not require any assumptions on the conjugate or cut points.


title: Covert Communications with Constrained Age of Information

abstract: In this letter, we consider the requirement of information freshness in covert communications for the first time. With artificial noise (AN) generated from a full-duplex (FD) receiver, we formulate a covertness maximization problem under the average age of information (AoI) constraint to optimize the transmit probability of information signal. In particular, the transmit probability not only represents the generation rate of information signal but also represents the prior probability of the alternative hypothesis in covert communications, which builds up a bridge between information freshness and communication covertness. Our analysis shows that the best transmit probability is not always 0.5, which differs from the equal prior probabilities assumption in most related works on covert communications. Furthermore, the limitation of average AoI enlarges the transmit probability at the cost of the covertness reduction and leads to a positive lower bound on the information transmit power for non-zero covertness.


title: Performance Analysis of Backscatter Communication Systems with Non-orthogonal Multiple Access in Nakagami Fading Channels

abstract: Backscatter communication (BackCom) has been emerging as a prospective candidate in tackling lifetime management problems for massively deployed Internet-of-Things devices, which suffer from battery-related issues, i.e., replacements, charging, and recycling. This passive sensing approach allows a backscatter sensor node (BSN) to transmit information by reflecting the incident signal from a carrier emitter without initiating its transmission. To multiplex multiple BSNs, power-domain non-orthogonal multiple access (NOMA), which is a prime candidate for multiple access in beyond 5G systems, is fully exploited in this work. Recently, considerable attention has been devoted to the NOMA-aided BackCom networks in the context of outage probabilities and system throughput. However, the closed-form expressions of bit error rate (BER) for such a system have not been studied. In this paper, we present the design and analysis of a NOMA enhanced bistatic BackCom system for a battery-less smart communication paradigm. Specifically, we derive the closed-form BER expressions for a cluster of two devices in a bistatic BackCom system employing NOMA with imperfect successive interference cancellation under Nakagami-$m$ fading channel. The obtained expressions are utilized to evaluate the reflection coefficients of devices needed for the most favorable system performance. Our results also show that NOMA-BackCom achieves better data throughput compared to the orthogonal multiple access-time domain multiple access schemes (OMA-TDMA).


title: First Steps Towards a Runtime Analysis When Starting With a Good Solution

abstract: The mathematical runtime analysis of evolutionary algorithms traditionally regards the time an algorithm needs to find a solution of a certain quality when initialized with a random population. In practical applications it may be possible to guess solutions that are better than random ones. We start a mathematical runtime analysis for such situations. We observe that different algorithms profit to a very different degree from a better initialization. We also show that the optimal parameterization of the algorithm can depend strongly on the quality of the initial solutions. To overcome this difficulty, self-adjusting and randomized heavy-tailed parameter choices can be profitable. Finally, we observe a larger gap between the performance of the best evolutionary algorithm we found and the corresponding black-box complexity. This could suggest that evolutionary algorithms better exploiting good initial solutions are still to be found. These first findings stem from analyzing the performance of the $(1+1)$ evolutionary algorithm and the static, self-adjusting, and heavy-tailed $(1 + (\lambda,\lambda))$ GA on the OneMax benchmark. We are optimistic that the question how to profit from good initial solutions is interesting beyond these first examples.


title: Note on the Conservation of Quasi-Local Energy in an Expanding Universe

abstract: Whether energy is conserved in a universe which keeps expanding is an intriguing question. It is tempting to argue that the total energy within the universe would have to increase as the universe expands. Upon more detailed inspection the question is a lot harder to settle since defining what is meant by energy or even what is meant by energy being conserved is a difficult problem in general relativity. Using the definition of quasi-local energy provided by Brown and York we try to answer the question in which sense the total energy in an expanding (or collapsing) universe is conserved.


title: Autonomous Execution of Cinematographic Shots with Multiple Drones

abstract: This paper presents a system for the execution of autonomous cinematography missions with a team of drones. The system allows media directors to design missions involving different types of shots with one or multiple cameras, running sequentially or concurrently. We introduce the complete architecture, which includes components for mission design, planning and execution. Then, we focus on the components related to autonomous mission execution. First, we propose a novel parametric description for shots, considering different types of camera motion and tracked targets; and we use it to implement a set of canonical shots. Second, for multi-drone shot execution, we propose distributed schedulers that activate different shot controllers on board the drones. Moreover, an event-based mechanism is used to synchronize shot execution among the drones and to account for inaccuracies during shot planning. Finally, we showcase the system with field experiments filming sport activities, including a real regatta event. We report on system integration and lessons learnt during our experimental campaigns.


title: The impact of nonminimal Universal Extra Dimensional model on $\Delta B=2$ transitions

abstract: We measure the impact of nonvanishing boundary localised terms on $\Delta B=2$ transitions in five-dimensional Universal Extra Dimensional scenario where masses and coupling strengths of several interactions of Kaluza-Klein modes are significantly modified with respect to the minimal counterpart. In such scenario we estimate the Kaluza-Klein contributions of quarks, gauge bosons and charged Higgs by evaluating the one-loop box diagrams that are responsible for the $\Delta B=2$ transitions. Using the loop function (obtained from one-loop box diagrams) we determine several important elements that are involved in Wolfenstein parametrisation. Moreover, with these elements we also study the geometrical shape of unitarity triangle. Besides, we compute the quantity $\Delta M_s$ scaled by the corresponding Standard Model value. Outcomes of our theoretical predictions have been compared to the allowed ranges of the corresponding observables simultaneously. Our current analysis shows that, depending on the parameters in this scenario the lower limit on the inverse of the radius of compactification can reach to an appreciable large value ($\approx 1.48$ TeV or even higher).


title: Optimal Control of SOAs with Artificial Intelligence for Sub-Nanosecond Optical Switching

abstract: Novel approaches to switching ultra-fast semiconductor optical amplifiers using artificial intelligence algorithms (particle swarm optimisation, ant colony optimisation, and a genetic algorithm) are developed and applied both in simulation and experiment. Effective off-on switching (settling) times of 542 ps are demonstrated with just 4.8% overshoot, achieving an order of magnitude improvement over previous attempts described in the literature and standard dampening techniques from control theory.


title: Open Source Software for Efficient and Transparent Reviews

abstract: To help researchers conduct a systematic review or meta-analysis as efficiently and transparently as possible, we designed a tool (ASReview) to accelerate the step of screening titles and abstracts. For many tasks - including but not limited to systematic reviews and meta-analyses - the scientific literature needs to be checked systematically. Currently, scholars and practitioners screen thousands of studies by hand to determine which studies to include in their review or meta-analysis. This is error prone and inefficient because of extremely imbalanced data: only a fraction of the screened studies is relevant. The future of systematic reviewing will be an interaction with machine learning algorithms to deal with the enormous increase of available text. We therefore developed an open source machine learning-aided pipeline applying active learning: ASReview. We demonstrate by means of simulation studies that ASReview can yield far more efficient reviewing than manual reviewing, while providing high quality. Furthermore, we describe the options of the free and open source research software and present the results from user experience tests. We invite the community to contribute to open source projects such as our own that provide measurable and reproducible improvements over current practice.


title: Measurement and simulation of atomic motion in nanoscale optical trapping potentials

abstract: Atoms trapped in the evanescent field around a nanofiber experience strong coupling to the light guided in the fiber mode. However, due to the intrinsically strong positional dependence of the coupling, thermal motion of the ensemble limits the use of nanofiber trapped atoms for some quantum tasks. We investigate the thermal dynamics of such an ensemble by using short light pulses to make a spatially inhomogeneous population transfer between atomic states. As we monitor the wave packet of atoms created by this scheme, we find a damped oscillatory behavior which we attribute to sloshing and dispersion of the atoms. Oscillation frequencies range around 100 kHz, and motional dephasing between atoms happens on a timescale of 10 $\mu$s. Comparison to Monte Carlo simulations of an ensemble of 1000 classical particles yields reasonable agreement for simulated ensemble temperatures between 25 $\mu$K and 40 $\mu$K.


title: Modeling Nuclear Reactions for PET/MRI MultiModal Imaging: the innovative use of 52gMn

abstract: MultiModal Imaging is an innovative technique that consists in the combination of diagnostic exams based on different physical processes, to obtain a unique image with more detailed clinical information. The possibility of a simultaneous use of PET and MRI could be achieved by using a particular radioisotope: 52gMn. The main route to produce this isotope is the reaction 52Cr(p,n)52gMn which is theoretically investigated in this study by means of three nuclear reaction codes. An analysis of the cross sections and a computation of the production rates and time evolution of the produced radioisotopes are performed, to identify the optimal production parameters. The procedure described for this reaction has a general validity and is applied also to other reactions, such as 52Cr(d,2n)52gMn and natV(alpha,x)52gMn.


title: Bidirectionally Self-Normalizing Neural Networks

abstract: The problem of vanishing and exploding gradients has been a long-standing obstacle that hinders the effective training of neural networks. Despite various tricks and techniques that have been employed to alleviate the problem in practice, there still lacks satisfactory theories or provable solutions. In this paper, we address the problem from the perspective of high-dimensional probability theory. We provide a rigorous result that shows, under mild conditions, how the vanishing/exploding gradients problem disappears with high probability if the neural networks have sufficient width. Our main idea is to constrain both forward and backward signal propagation in a nonlinear neural network through a new class of activation functions, namely Gaussian-Poincar\'e normalized functions, and orthogonal weight matrices. Experiments on both synthetic and real-world data validate our theory and confirm its effectiveness on very deep neural networks when applied in practice.


title: Projective twists and the Hopf correspondence

abstract: Given Lagrangian (real, complex) projective spaces $K_1, \dots , K_m$ in a Liouville manifold $(X, \omega)$ satisfying a certain cohomological condition, we show there is a Lagrangian correspondence that assigns a Lagrangian sphere $L_i \subset K$ of another Liouville manifold $(Y, \Omega)$ to any given projective Lagrangian $K_i \subset X$, $i=1, \dots m$. We use the Hopf correspondence to study \emph{projective twists}, a class of symplectomorphisms akin to Dehn twists, but defined starting from Lagrangian projective spaces. When this correspondence can be established, we show that it intertwines the autoequivalences of the compact Fukaya category $\mathcal{F}uk(X)$ induced by the (real, complex, quaternionic) projective twists $\tau_{K_i} \in \pi_{0}(\mathrm{Symp}_{ct}(X))$ with the corresponding autoequivalences of $\mathcal{F}uk(Y)$ induced by the Dehn twists $\tau_{L_i} \in \pi_{0}(\mathrm{Symp}_{ct}(Y))$, for $i=1, \dots m$. Using the Hopf correspondence, we obtain a free generation result for projective twists in a \emph{clean plumbing} of projective spaces and various results about products of positive powers of Dehn/projective twists in Liouville manifolds. The same techniques are also used to show that the Hamiltonian isotopy class of the projective twist (along the zero section in $T^*\mathbb{CP}$) in $\mathrm{Symp}_{ct}(T^*\mathbb{CP}^n)$ does depend on a choice of framing, for $n\geq19$. Another application of the Hopf correspondence delivers two examples of smooth homotopy complex projective spaces $K\simeq \mathbb{CP}^n$ that do not admit Lagrangian embeddings into $(T^*\mathbb{CP}^n, d\lambda_{\mathbb{CP}^n})$, for $n=4,7$.


title: Neutron Dark-Field Imaging with Edge Illumination

abstract: We report on an Edge Illumination setup enabling neutron dark-field imaging where two amplitude modulators are used to structure and subsequently analyze the neutron beam. The modulator and analyzer are manufactured by laser ablation of readily available thin metal foils. The sample representation in terms of transmission and dark-field contrast is extracted by numerically inverting a convolution model for the intensity modulation function which had a visibility exceeding 80\%. Two test samples are presented to show how dark-field contrast can complement the more conventional neutron radiography, in particular to investigate the micro-structure of materials. Thanks to the simplicity of the setup, the negligible coherence requirements and the robustness of the method, this approach may find application in multi-contrast neutron radiography and tomography.


title: Probing nodeless superconductivity in LaMSi (M = Ni, Pt) using muon-spin rotation and relaxation

abstract: Systems with strong spin-orbit coupling have been a topic of fundamental interest in condensed matter physics due to the exotic topological phases and the unconventional phenomenon they exhibit. In this particular study, we have investigated the superconductivity in the transition-metal ternary noncentrosymmetric compounds LaMSi (M = Ni, Pt) with different spin-orbit coupling strength, using muon-spin rotation and relaxation measurements. Transverse-field measurements made in the vortex state indicate that the superconductivity in both materials is fully gapped, with a conventional s-wave pairing symmetry and BCS-like magnitudes for the zero-temperature gap energies. Zero field measurements suggest a time-reversal symmetry preserved superconductivity in both the systems, though a small increase in muon depolarization is observed upon decreasing temperature. However, this has been attributed to quasi-static magnetic fluctuations.


title: A Polynomial Variant of Diophantine Triples in Linear Recurrences

abstract: Let $ (G_n)_{n=0}^{\infty} $ be a polynomial power sum, i.e. a simple linear recurrence sequence of complex polynomials with power sum representation $ G_n = f_1\alpha_1^n + \cdots + f_k\alpha_k^n $ and polynomial characteristic roots $ \alpha_1,\ldots,\alpha_k $. For a fixed polynomial $ p $, we consider triples $ (a,b,c) $ of pairwise distinct non-zero polynomials such that $ ab+p, ac+p, bc+p $ are elements of $ (G_n)_{n=0}^{\infty} $. We will prove that under a suitable dominant root condition there are only finitely many such triples if neither $ f_1 $ nor $ f_1 \alpha_1 $ is a perfect square.


title: VTXO: the Virtual Telescope for X-ray Observations

abstract: The Virtual Telescope for X-ray Observations (VTXO) will use lightweight Phase Frensel Lenses (PFLs) in a virtual X-ray telescope with 1 km focal length and with nearly 50 milli-arcsecond angular resolution. Laboratory characterization of PFLs have demonstrated near diffraction-limited angular resolution in the X-ray band, but they require long focal lengths to achieve this quality of imaging. VTXO is formed by using precision formation flying of two SmallSats: a smaller, 6U OpticsSat that houses the PFLs and navigation beacons while a larger, ESPA-class DetectorSat contains an X-ray camera, a charged-particle radiation monitor, a precision star tracker, and the propulsion for the formation flying. The baseline flight dynamics uses a highly-elliptical supersynchronous geostationary transfer orbit to allow the inertial formation to form and hold around the 90,000 km apogee for 10 hours of the 32.5-hour orbit with nearly a year mission lifetime. The guidance, navigation, and control (GN&C) for the formation flying uses standard CubeSat avionics packages, a precision star tracker, imaging beacons on the OpticsSat, and a radio ranging system that also serves as an inter-satellite communication link. VTXO's fine angular resolution enables measuring the environments nearly an order of magnitude closer to the central engines of bright compact X-ray sources compared to the current state of the art. This X-ray imaging capability allows for the study of the effects of dust scattering nearer to the central objects such as Cyg X-3 and GX 5-1, for the search for jet structure nearer to the compact object in X-ray novae such as Cyg X-1 and GRS 1915+105, and for the search for structure in the termination shock of in the Crab pulsar wind nebula. The VTXO development was supported as one of the selected 2018 NASA Astrophysics SmallSat Study (AS3) missions.


title: Holomorphically finitely generated Hopf algebras and quantum Lie groups

abstract: We study topological Hopf algebras that are holomorphically finitely generated (HFG) as Fr\'echet Arens--Micheal algebras in the sense of Pirkovskii. Some of them, but not all, can be obtained from affine Hopf algebras by applying the analytization functor. We show that a commutative HFG Hopf algebra is always an algebra of holomorphic functions on a complex Lie group (actually a Stein group), and prove that the corresponding categories are equivalent. With a compactly generated complex Lie group~$G$, Akbarov associated a cocommutative topological Hopf algebra, the algebra ${\mathscr A}_{exp}(G)$ of exponential analytic functionals. We show that it is HFG but not every cocommutative HFG Hopf algebra is of this form. In the case when $G$ is connected, using previous results of the author we establish a theorem on the analytic structure of ${\mathscr A}_{exp}(G)$. It depends on the large-scale geometry of $G$. We also consider some interesting examples including complex-analytic analogues of classical $\hbar$-adic quantum groups.


title: Run-Time Power Modelling in Embedded GPUs with Dynamic Voltage and Frequency Scaling

abstract: This paper investigates the application of a robust CPU-based power modelling methodology that performs an automatic search of explanatory events derived from performance counters to embedded GPUs. A 64-bit Tegra TX1 SoC is configured with DVFS enabled and multiple CUDA benchmarks are used to train and test models optimized for each frequency and voltage point. These optimized models are then compared with a simpler unified model that uses a single set of model coefficients for all frequency and voltage points of interest. To obtain this unified model, a number of experiments are conducted to extract information on idle, clock and static power to derive power usage from a single reference equation. The results show that the unified model offers competitive accuracy with an average 5\% error with four explanatory variables on the test data set and it is capable to correctly predict the impact of voltage, frequency and temperature on power consumption. This model could be used to replace direct power measurements when these are not available due to hardware limitations or worst-case analysis in emulation platforms.


title: A Bayesian Updating Scheme for Pandemics: Estimating the Infection Dynamics of COVID-19

abstract: Epidemic models play a key role in understanding and responding to the emerging COVID-19 pandemic. Widely used compartmental models are static and are of limited use to evaluate intervention strategies with the emerging pandemic. Applying the technology of data assimilation, we propose a Bayesian updating approach for estimating epidemiological parameters using observable information for the purpose of assessing the impacts of different intervention strategies. We adopt a concise renewal model and propose new parameters by disentangling the reduction of instantaneous reproduction number Rt into mitigation and suppression factors for quantifying intervention impacts at a finer granularity. Then we developed a data assimilation framework for estimating these parameters including constructing an observation function and developing a Bayesian updating scheme. A statistical analysis framework is then built to quantify the impact of intervention strategies by monitoring the evolution of these estimated parameters. By Investigating the impacts of intervention measures of European countries, the United States and Wuhan with the framework, we reveal the effects of interventions in these countries and the resurgence risk in the USA.


title: Self-reference Upfront: A Study of Self-referential G\"odel Numberings

abstract: In this paper we examine various requirements on the formalisation choices under which self-reference can be adequately formalised in arithmetic. In particular, we study self-referential numberings, which immediately provide a strong notion of self-reference even for expressively weak languages. The results of this paper suggest that the question whether truly self-referential reasoning can be formalised in arithmetic is more sensitive to the underlying coding apparatus than usually believed. As a case study, we show how this sensitivity affects the formal study of certain principles of self-referential truth.


title: Hierarchical Inter-Message Passing for Learning on Molecular Graphs

abstract: We present a hierarchical neural message passing architecture for learning on molecular graphs. Our model takes in two complementary graph representations: the raw molecular graph representation and its associated junction tree, where nodes represent meaningful clusters in the original graph, e.g., rings or bridged compounds. We then proceed to learn a molecule's representation by passing messages inside each graph, and exchange messages between the two representations using a coarse-to-fine and fine-to-coarse information flow. Our method is able to overcome some of the restrictions known from classical GNNs, like detecting cycles, while still being very efficient to train. We validate its performance on the ZINC dataset and datasets stemming from the MoleculeNet benchmark collection.


title: The multivariate tail-inflated normal distribution and its application in finance

abstract: This paper introduces the multivariate tail-inflated normal (MTIN) distribution, an elliptical heavy-tails generalization of the multivariate normal (MN). The MTIN belongs to the family of MN scale mixtures by choosing a convenient continuous uniform as mixing distribution. Moreover, it has a closed-form for the probability density function characterized by only one additional ``inflation'' parameter, with respect to the nested MN, governing the tail-weight. The first four moments are also computed; interestingly, they always exist and the excess kurtosis can assume any positive value. The method of moments and maximum likelihood (ML) are considered for estimation. As concerns the latter, a direct approach, as well as a variant of the EM algorithm, are illustrated. The existence of the ML estimates is also evaluated. Since the inflation parameter is estimated from the data, robust estimates of the mean vector and covariance matrix of the nested MN distribution are automatically obtained by down-weighting. Simulations are performed to compare the estimation methods/algorithms and to investigate the ability of AIC and BIC to select among a set of candidate elliptical models. For illustrative purposes, the MTIN distribution is finally fitted to multivariate financial data where its usefulness is also shown in comparison with other well-established multivariate elliptical distributions.


title: Super-resolved optical mapping of reactive sulfur-vacancy in 2D transition metal dichalcogenides

abstract: Transition metal dichalcogenides (TMDs) represent an entire new class of semiconducting 2D materials with exciting properties. Defects in 2D TMDs can crucially affect their physical and chemical properties. However, characterization of the presence and spatial distribution of defects is limited either in throughput or in resolution. Here, we demonstrate large area mapping of reactive sulfur-deficient defects in 2D-TMDs coupling single-molecule localization microscopy with fluorescence labeling using thiol chemistry. Our method, reminiscent of PAINT strategies, relies on the specific binding by reversible physisorption of fluorescent probes to sulfur-vacancies via a thiol group and their intermittent emission to apply localization of the labeled defects with a precision down to 15 nm. Tuning the distance between the fluorophore and the docking thiol site allows us to control F\"oster Resonance Energy Transfer (FRET) process and reveal large structural defects such as grain boundaries and line defects, due to the local irregular lattice structure. Our methodology provides a simple and fast alternative for large-scale mapping of non-radiative defects in 2D materials and paves the way for in-situ and spatially resolved monitoring of the interaction between chemical agent and the defects in 2D materials that has general implications for defect engineering in aqueous condition.

categories: physics.app-ph cond-mat.mes-hall physics.chem-ph physics.optics


title: General GLSM Invariants and Their Cohomological Field Theories

abstract: We construct GLSM invariants for a general choice of stability in both the narrow and broad sector cases and prove they form a Cohomological Field Theory. This is obtained by forming the analogue of a virtual fundamental class which lives in the local cohomology of the twisted Hodge complex. This general construction comes from the use of two new ingredients. First, the use of the Thom-Sullivan and Godement resolutions applied to matrix factorizations are introduced to handle poorly behaved (non-separated) moduli spaces. Second, a localized Chern character map built from the Atiyah class of a matrix factorization is utilized to forgo the use of Hochschild homology.


title: From unexceptional to doubly exceptional surface waves

abstract: An exceptional surface wave can propagate in an isolated direction, when guided by the planar interface of two homogeneous dielectric partnering mediums of which at least one is anisotropic, provided that the constitutive parameters of the partnering mediums satisfy certain constraints. Exceptional surface waves are distinguished from unexceptional surface waves by their localization characteristics: the fields of an exceptional surface wave in the anisotropic partnering medium decay as a combined linear-exponential function of distance from the interface, whereas the decay is purely exponential for an unexceptional surface wave. If both partnering mediums are anisotropic then a doubly exceptional surface wave can exist for an isolated propagation direction. The decay of this wave in both partnering mediums is governed by a combined linear-exponential function of distance from the interface.


title: The scalar sunset diagram at finite temperature with imaginary square masses

abstract: We evaluate the finite temperature scalar sunset diagram with imaginary square masses, that appears in the Gribov-Zwanziger approach to Yang-Mills (YM) theory beyond one-loop order. Since YM theory at finite temperature is governed by center-symmetry and the Polyakov loop, we also include the possibility of a constant temporal background gauge field in the form of color-dependent imaginary chemical potentials.


title: Examination of Community Sentiment Dynamics due to COVID-19 Pandemic: A Case Study from A State in Australia

abstract: The outbreak of the novel Coronavirus Disease 2019 (COVID-19) has caused unprecedented impacts to people's daily life around the world. Various measures and policies such as lockdown and social-distancing are implemented by governments to combat the disease during the pandemic period. These measures and policies as well as virus itself may cause different mental health issues to people such as depression, anxiety, sadness, etc. In this paper, we exploit the massive text data posted by Twitter users to analyse the sentiment dynamics of people living in the state of New South Wales (NSW) in Australia during the pandemic period. Different from the existing work that mostly focuses the country-level and static sentiment analysis, we analyse the sentiment dynamics at the fine-grained local government areas (LGAs). Based on the analysis of around 94 million tweets that posted by around 183 thousand users located at different LGAs in NSW in five months, we found that people in NSW showed an overall positive sentimental polarity and the COVID-19 pandemic decreased the overall positive sentimental polarity during the pandemic period. The fine-grained analysis of sentiment in LGAs found that despite the dominant positive sentiment most of days during the study period, some LGAs experienced significant sentiment changes from positive to negative. This study also analysed the sentimental dynamics delivered by the hot topics in Twitter such as government policies (e.g. the Australia's JobKeeper program, lockdown, social-distancing) as well as the focused social events (e.g. the Ruby Princess Cruise). The results showed that the policies and events did affect people's overall sentiment, and they affected people's overall sentiment differently at different stages.


title: A novel direct structured-light inspection technique for contaminant and defect detection

abstract: The Direct Structured-Light Inspection Technique (DSIT) proposed in this paper is a novel method that can be implemented under two types of binary structured light illumination to detect contaminants and defects on specular surfaces and transparent objects, in which light reflection system is used to detect specular surfaces, while light transmission system is applied for transparent object inspection. Based on this technique, contaminant and defect distribution can be directly obtained without any calculation process. Relevant simulations and experiments are performed to prove the effectiveness of DSIT.


title: Gigahertz acousto-optic modulation and frequency shifting on etchless lithium niobate integrated platform

abstract: Acousto-optic interactions involving propagating phonons can break the time-reversal and frequency-modulation symmetry of light. However, conventional acousto-optic modulators based on bulk materials have frequency bandwidth limited to hundreds of megahertz due to their large structural sizes. Here, we experimentally demonstrate gigahertz single-sideband acousto-optic modulation on an etchless lithium niobate integrated platform by using photonic bound states in the continuum. The upper- or lower-sideband modulation of light can be obtained conveniently by choosing specific combinations of input and output channels. Under this scheme, we have realized a 3-GHz frequency shifter, which operates in the C-band with a 3-dB bandwidth of ~35 nm. The extinction ratios of the upper(lower)-sideband modulated light to the lower(upper)-sideband modulated and unmodulated light are >44 (47) and 25 (23) dB in the 3-dB operating bandwidth. The frequency-shifted light can be further processed with amplitude and frequency modulation. Therefore, the demonstrated gigahertz single-sideband acousto-optic modulation can enable many photonic applications such as optical signal processing, sensing, and ion trapping.


title: Transmuting off-shell CHY integrals in the double-cover framework

abstract: In this paper, by defining off-shell amplitudes as off-shell CHY integrals, and redefining the longitudinal operator, we demonstrate that the differential operators which link on-shell amplitudes for a variety of theories together, also link off-shell amplitudes in the similar manner. Based on the algebraic property of the differential operator, we also generalize three relations among color-ordered on-shell amplitudes, including the color-ordered reversed relation, the photon decoupling relation, the Kleiss-Kuijf relation, to off-shell ones. The off-shell CHY integrals are chosen to be in the double-cover framework, thus, as a by product, our result also provides a verification for the double-cover construction.


title: Units in quasigroups with classical Bol-Moufang type identities

abstract: We prolong Kunen research about existence of units (left, right, two-sided) in quasigroups with classical Bol-Moufang type identities. These identities were listed in Fenvesh article.


title: Plateau Problems for Maximal Surfaces in Pseudo-Hyperbolic Spaces

abstract: We define and prove the existence of unique solutions of an asymptotic Plateau problem for spacelike maximal surfaces in the pseudo-hyperbolic space of signature (2, n): the boundary data is given by loops on the boundary at infinity of the pseudo-hyperbolic space which are limits of positive curves. We also discuss a compact Plateau problem. The required compactness arguments rely on an analysis of the pseudo-holomorphic curves defined by the Gauss lifts of the maximal surfaces.


title: Potential customer mining application of smart home products based on LightGBM PU learning and Spark ML algorithm practice

abstract: This paper studies the case of big data-based intelligent product potential customer mining internal competition in China Telecom Shanghai Company. Huge amounts of data based on big data table, the use of machine Learning and data analysis technology, using the algorithm of LightGBM, PySpark machine Learning algorithms, Positive Unlabeled Learning algorithm, and predict whether customers buy whole house product, precision marketing into artificial intelligence for the customer, large data capacity, promote the development of intelligent products of the company.


title: Lifespan estimates for $2$-dimensional semilinear wave equations in asymptotically Euclidean exterior domains

abstract: In this paper we study the initial boundary value problem for two-dimensional semilinear wave equations with small data, in asymptotically Euclidean exterior domains. We prove that if $1<p\le p_c(2)$, the problem admits almost the same upper bound of the lifespan as that of the corresponding Cauchy problem, only with a small loss for $1<p\le 2$. It is interesting to see that the logarithmic increase of the harmonic function in $2$-D has no influence to the estimate of the upper bound of the lifespan for $2<p\le p_c(2)$. One of the novelties is that we can deal with the problem with flat metric and general obstacles (bounded and simple connected), and it will be reduced to the corresponding problem with compact perturbation of the flat metric outside a ball.


title: Operations in connective K-theory

abstract: In this article we classify additive operations in connective K-theory with various torsion-free coefficients. We discover that the answer for the integral case requires understanding of the $\hat{{\mathbb{Z}}}$ one. Moreover, although integral additive operations are topologically generated by Adams operations, these are not reduced to infinite linear combinations of the latter ones. We describe a topological basis for stable operations and relate it to a basis of stable operations in graded K-theory. We classify multiplicative operations in both theories and show that homogeneous additive stable operations with $\hat{{\mathbb{Z}}}$-coefficients are topologically generated by stable multiplicative operations. This is not true for integral operations.


title: Orthotropic cyclic stress-softening model for pure shear during repeated loading and unloading

abstract: We derive an orthotropic model to describe the cyclic stress-softening of a carbon-filled rubber vulcanizate through multiple stress-strain cycles with increasing values of the maximum strain. We specialize the deformation to pure shear loading. As a result of strain-induced anisotropy following on from initial primary loading, the material may subsequently be described as orthotropic because in pure shear there are three different principal stretches so that the strain-induced anisotropy of the stress response is different in each of these three directions. We derive non-linear orthotropic models for the elastic response, stress relaxation and residual strain in order to model accurately the inelastic features associated with cyclic stress softening. We then develop an orthotropic version of the Arruda-Boyce eight-chain model of elasticity and then combine it with the ideas previously developed in this paper to produce an orthotropic constitutive relation for the cyclic stress-softening of a carbon-filled rubber vulcanizate. The model developed here includes the widely-occurring effects of hysteresis, stress-relaxation and residual strain. The model is found to compare well with experimental data. } {Mullins effect, stress-relaxation, hysteresis, residual strain, orthotropy.}


title: Neural networks adapting to datasets: learning network size and topology

abstract: We introduce a flexible setup allowing for a neural network to learn both its size and topology during the course of a standard gradient-based training. The resulting network has the structure of a graph tailored to the particular learning task and dataset. The obtained networks can also be trained from scratch and achieve virtually identical performance. We explore the properties of the network architectures for a number of datasets of varying difficulty observing systematic regularities. The obtained graphs can be therefore understood as encoding nontrivial characteristics of the particular classification tasks.


title: Estimating Properties of Social Networks via Random Walk considering Private Nodes

abstract: Accurately analyzing graph properties of social networks is a challenging task because of access limitations to the graph data. To address this challenge, several algorithms to obtain unbiased estimates of properties from few samples via a random walk have been studied. However, existing algorithms do not consider private nodes who hide their neighbors in real social networks, leading to some practical problems. Here we design random walk-based algorithms to accurately estimate properties without any problems caused by private nodes. First, we design a random walk-based sampling algorithm that comprises the neighbor selection to obtain samples having the Markov property and the calculation of weights for each sample to correct the sampling bias. Further, for two graph property estimators, we propose the weighting methods to reduce not only the sampling bias but also estimation errors due to private nodes. The proposed algorithms improve the estimation accuracy of the existing algorithms by up to 92.6% on real-world datasets.