title: On the Necessity and Effectiveness of Learning the Prior of Variational Auto-Encoder

abstract: Using powerful posterior distributions is a popular approach to achieving better variational inference. However, recent works showed that the aggregated posterior may fail to match unit Gaussian prior, thus learning the prior becomes an alternative way to improve the lower-bound. In this paper, for the first time in the literature, we prove the necessity and effectiveness of learning the prior when aggregated posterior does not match unit Gaussian prior, analyze why this situation may happen, and propose a hypothesis that learning the prior may improve reconstruction loss, all of which are supported by our extensive experiment results. We show that using learned Real NVP prior and just one latent variable in VAE, we can achieve test NLL comparable to very deep state-of-the-art hierarchical VAE, outperforming many previous works with complex hierarchical VAE architectures.


title: MultiQA: An Empirical Investigation of Generalization and Transfer in Reading Comprehension

abstract: A large number of reading comprehension (RC) datasets has been created recently, but little analysis has been done on whether they generalize to one another, and the extent to which existing datasets can be leveraged for improving performance on new ones. In this paper, we conduct such an investigation over ten RC datasets, training on one or more source RC datasets, and evaluating generalization, as well as transfer to a target RC dataset. We analyze the factors that contribute to generalization, and show that training on a source RC dataset and transferring to a target dataset substantially improves performance, even in the presence of powerful contextual representations from BERT (Devlin et al., 2019). We also find that training on multiple source RC datasets leads to robust generalization and transfer, and can reduce the cost of example collection for a new RC dataset. Following our analysis, we propose MultiQA, a BERT-based model, trained on multiple RC datasets, which leads to state-of-the-art performance on five RC datasets. We share our infrastructure for the benefit of the research community.


title: Experimental test of non-macrorealistic cat-states in the cloud

abstract: The Leggett-Garg inequality attempts to classify experimental outcomes as arising from one of two possible classes of physical theories: those described by macrorealism (which obey our intuition about how the macroscopic classical world behaves), and those that are not (e.g., quantum theory). The development of cloud-based quantum computing devices enables us to explore the limits of macrorealism in new regimes. In particular, here we take advantage of the properties of the programmable nature of the IBM quantum experience to observe the violation of the Leggett-Garg inequality (in the form of a ``quantum witness") as a function of the number of constituent systems (qubits), while simultaneously maximizing the `disconnectivity', a potential measure of macroscopicity, between constituents. Our results show that two-qubit and four-qubit ``cat states" (which have large disconnectivity) are seen to violate the inequality, and hence can be classified as nonmacrorealistic. In contrast, a six-qubit cat state does not violate the ``quantum-witness" beyond a so-called clumsy invasive-measurement bound, and thus is compatible with ``clumsy macrorealism". As a comparison, we also consider un-entangled product states with n = 2, 3, 4, and 6 qubits, in which the disconnectivity is low.


title: Technical Debt in Data-Intensive Software Systems

abstract: The ever-increasing amount, variety as well as generation and processing speed of today's data pose a variety of new challenges for developing Data-Intensive Software Systems (DISS). As with developing other kinds of software systems, developing DISS is often done under severe pressure and strict schedules. Thus, developers of DISS often have to make technical compromises to meet business concerns. This position paper proposes a conceptual model that outlines where Technical Debt (TD) can emerge and proliferate within such data-centric systems by separating a DISS into three parts (Software Systems, Data Storage Systems and Data). Further, the paper illustrates the proliferation of Database Schema Smells as TD items within a relational database-centric software system based on two examples.


title: Combining Noise-to-Image and Image-to-Image GANs: Brain MR Image Augmentation for Tumor Detection

abstract: Convolutional Neural Networks (CNNs) achieve excellent computer-assisted diagnosis with sufficient annotated training data. However, most medical imaging datasets are small and fragmented. In this context, Generative Adversarial Networks (GANs) can synthesize realistic/diverse additional training images to fill the data lack in the real image distribution; researchers have improved classification by augmenting data with noise-to-image (e.g., random noise samples to diverse pathological images) or image-to-image GANs (e.g., a benign image to a malignant one). Yet, no research has reported results combining noise-to-image and image-to-image GANs for further performance boost. Therefore, to maximize the DA effect with the GAN combinations, we propose a two-step GAN-based DA that generates and refines brain Magnetic Resonance (MR) images with/without tumors separately: (i) Progressive Growing of GANs (PGGANs), multi-stage noise-to-image GAN for high-resolution MR image generation, first generates realistic/diverse 256 X 256 images; (ii) Multimodal UNsupervised Image-to-image Translation (MUNIT) that combines GANs/Variational AutoEncoders or SimGAN that uses a DA-focused GAN loss, further refines the texture/shape of the PGGAN-generated images similarly to the real ones. We thoroughly investigate CNN-based tumor classification results, also considering the influence of pre-training on ImageNet and discarding weird-looking GAN-generated images. The results show that, when combined with classic DA, our two-step GAN-based DA can significantly outperform the classic DA alone, in tumor detection (i.e., boosting sensitivity 93.67% to 97.48%) and also in other medical imaging tasks.


title: Earth's Minimoons: Opportunities for Science and Technology

abstract: (modified from published version) Twelve years ago the Catalina Sky Survey discovered Earth's first known natural geocentric object other than the Moon, a few-meter diameter asteroid designated 2006 RH120. Despite significant improvements in ground-based telescope and detector technology in the past decade the asteroid surveys have not discovered another temporarily-captured orbiter (TCO; colloquially known as minimoons). Within a few years the Large Synoptic Survey Telescope (LSST) will either begin to regularly detect TCOs or force a re-analysis of the creation and dynamical evolution of small asteroids in the inner solar system. The first studies of the provenance, properties, and dynamics of Earth's minimoons suggested that there should be a steady state population with about one 1- to 2-meter diameter captured objects at any time. That model was then improved and extended to include the population of temporarily-captured flybys (TCFs), objects that fail to make an entire revolution around Earth while energetically bound to the Earth-Moon system. Several different techniques for discovering TCOs have been considered but their small diameters, proximity, and rapid motion make them challenging targets for existing ground-based optical, meteor, and radar surveys. We expect that if the TCO population is confirmed, and new objects are frequently discovered, they can provide new opportunities for 1) studying the dynamics of the Earth-Moon system, 2) testing models of the production and dynamical evolution of small asteroids from the asteroid belt, 3) rapid and frequent low delta-v missions to multiple minimoons, and 4) evaluating in-situ resource utilization techniques on asteroidal material. Here we review the past decade of minimoon studies in preparation for capitalizing on the scientific and commercial opportunities of TCOs in the first decade of LSST operations.


title: The Orbit and Size-Frequency Distribution of Long Period Comets Observed by Pan-STARRS1

abstract: We introduce a new technique to estimate the comet nuclear size frequency distribution (SFD) that combines a cometary activity model with a survey simulation and apply it to 150 long period comets (LPC) detected by the Pan-STARRS1 near-Earth object survey. The debiased LPC size-frequency distribution is in agreement with previous estimates for large comets with nuclear diameter $>\sim 1$~km but we measure a significant drop in the SFD slope for small objects with diameters $<1$~km and approaching only $100$~m diameter. Large objects have a slope $\alpha_{big} = 0.72 \pm 0.09 (stat.) \pm 0.15 (sys.)$ while small objects behave as $\alpha_{small} = 0.07 \pm 0.03 (stat.) \pm 0.09 (sys.)$ where the SFD is $\propto 10^{\alpha H_N}$ and $H_N$ represents the cometary nuclear absolute magnitude. The total number of LPCs that are $>1$~km diameter and have perihelia $q<10$~au is $0.46 \pm 0.15 \times 10^9$ while there are only $2.4 \pm 0.5 (stat.) \pm 2 (sys.) \times 10^9$ objects with diameters $>100$~m due to the shallow slope of the SFD for diameters $<1$~m. We estimate that the total number of `potentially active' objects with diameters $\ge 1$~km in the Oort cloud, objects that would be defined as LPCs if their perihelia evolved to $<10$~au, is $(1.5\pm1)\times10^{12}$ with a combined mass of $1.3\pm0.9 \, M_{Earth}$. The debiased LPC orbit distribution is broadly in agreement with expectations from contemporary dynamical models but there are discrepancies that could point towards a future ability to disentangle the relative importance of stellar perturbations and galactic tides in producing the LPC population.


title: Gravitational Waves from Peaks

abstract: We discuss a novel mechanism to generate gravitational waves in the early universe. A standard way to produce primordial black holes is to enhance at small-scales the overdensity perturbations generated during inflation. The latter, upon horizon re-entry, collapse into black holes. They must be sizeable enough and are therefore associated to rare peaks. There are however less sizeable and much less rare overdensity peaks which do not end up forming primordial black holes and have a non-spherical shape. Upon collapse, they possess a time-dependent non-vanishing mass quadrupole which gives rise to the generation of gravitational waves. By their nature, such gravitational waves are complementary to those sourced at second-order by the very same scalar perturbations responsible for the formation of the primordial black holes. Their amplitude is nevertheless typically about two orders of magnitude smaller and therefore hardly measurable.


title: Bounding Alternative Theories of Gravity with Multi-Band GW Observations

abstract: We study the constraints on alternative theories of gravity that can be determined by multi-band observations of gravitational wave signals emitted from binary black hole coalescences. We focus on three types of General Relativity modifications induced by a generalised Brans-Dicke theory, and two classes of quadratic gravity, Einstein-dilaton-Gauss-Bonnet and dynamical Chern-Simons. Considering a network of space and ground-based detectors, supplied by a population of spinning binaries black hole, we show how the multi-band analysis improves the existing bounds on the theory's parameters by several orders of magnitude, for both pre- and post-Newtonian deviations. Our results also show the fundamental role played by an interferometer in the frequency range between LISA and advanced detectors, in constraining possible deviations from General Relativity.


title: Nuclear level densities and gamma-ray strength functions in samarium isotopes

abstract: The gamma-strength functions and level densities in the quasi-continuum of 147;149Sm isotopes have been extracted from particle-coincidences using the Oslo method. The nuclei of interest were populated via (p,d) reactions on pure 148;150Sm targets and the reaction products were recorded by the Hyperion array. An upbend in the low-energy region of the gSF has been observed. The systematic analysis of the gSF for a range of Sm isotopes highlights the interplay between scissors mode and the upbend. Shell-model calculations show reasonable agreement with the experimental gSFs and confirm the correspondence between the upbend and scissors mode.


title: Neural Markov Logic Networks

abstract: We introduce neural Markov logic networks (NMLNs), a statistical relational learning system that borrows ideas from Markov logic. Like Markov logic networks (MLNs), NMLNs are an exponential-family model for modelling distributions over possible worlds, but unlike MLNs, they do not rely on explicitly specified first-order logic rules. Instead, NMLNs learn an implicit representation of such rules as a neural network that acts as a potential function on fragments of the relational structure. Similarly to many neural symbolic methods, NMLNs can exploit embeddings of constants but, unlike them, NMLNs work well also in their absence. This is extremely important for predicting in settings other than the transductive one. We showcase the potential of NMLNs on knowledge-base completion, triple classification and on generation of molecular (graph) data.


title: Drone-assisted deliveries: new formulations for the Flying Sidekick Traveling Salesman Problem

abstract: In this paper we consider a problem related to deliveries assisted by an unmanned aerial vehicle, so-called drone. In particular we consider the Flying Sidekick Traveling Salesman Problem, where a truck and a drone cooperate to delivery parcels to customers minimizing the completion time. In the following we improve the formulation found in the related literature. We propose three-indexed and two-indexed formulations and a set of inequalities that can be implemented in a branch-and-cut fashion. We could find the optimal solutions for most of the literature instances. Moreover, we consider two versions of the problem: one in which the drone is allowed to wait at the customers, as in the literature, and one where waiting is allowed only in flying mode. The solving methodologies are adapted to both versions. A comparison between the two versions is provided.


title: Effective writing style imitation via combinatorial paraphrasing

abstract: Stylometry can be used to profile or deanonymize authors against their will based on writing style. Style transfer provides a defence. Current techniques typically use either encoder-decoder architectures or rule-based algorithms. Crucially, style transfer must reliably retain original semantic content to be actually deployable. We conduct a multifaceted evaluation of three state-of-the-art encoder-decoder style transfer techniques, and show that all fail at semantic retainment. In particular, they do not produce appropriate paraphrases, but only retain original content in the trivial case of exactly reproducing the text. To mitigate this problem we propose ParChoice: a technique based on the combinatorial application of multiple paraphrasing algorithms. ParChoice strongly outperforms the encoder-decoder baselines in semantic retainment. Additionally, compared to baselines that achieve non-negligible semantic retainment, ParChoice has superior style transfer performance. We also apply ParChoice to multi-author style imitation (not considered by prior work), where we achieve up to 75% imitation success among five authors. Furthermore, when compared to two state-of-the-art rule-based style transfer techniques, ParChoice has markedly better semantic retainment. Combining ParChoice with the best performing rule-based baseline (Mutant-X) also reaches the highest style transfer success on the Brennan-Greenstadt and Extended-Brennan-Greenstadt corpora, with much less impact on original meaning than when using the rule-based baseline techniques alone. Finally, we highlight a critical problem that afflicts all current style transfer techniques: the adversary can use the same technique for thwarting style transfer via adversarial training. We show that adding randomness to style transfer helps to mitigate the effectiveness of adversarial training.


title: Photodesorption of water ice from dust grains and thermal desorption of cometary ices studied by the INSIDE experiment

abstract: A new experimental set-up INterStellar Ice-Dust Experiment (INSIDE), was designed for studying cosmic grain analogues represented by ice-coated carbon- and silicate-based dust grains. In the new instrument, we can simulate physical and chemical conditions prevailing in interstellar and circumstellar environments. The set-up combines ultrahigh vacuum and low temperature conditions with infrared spectroscopy and mass spectrometry. Using INSIDE, we plan to investigate physical and chemical processes, such as adsorption, desorption, and formation of molecules, on the surface of dust/ice samples. First experiments on the photodesorption of water ice molecules from the surface of silicate and carbon grains by UV photons revealed a strong influence of the surface properties on the desorption yield, in particular in the monolayer regime. In the second experiment, the thermal desorption of cometary ice analogues composed of six molecular components was studied for the first time. Co-desorption of CO2 and CH3OH with O2 indicates that at high O2 concentrations in cometary or interstellar ices "heavy" ice molecules can be partly trapped in O2 and release to the gas phase much earlier than expected. This effect could explain astronomical detections of complex organic molecules in cold dense interstellar clouds.


title: Joint Representation of Multiple Geometric Priors via a Shape Decomposition Model for Single Monocular 3D Pose Estimation

abstract: In this paper, we aim to recover the 3D human pose from 2D body joints of a single image. The major challenge in this task is the depth ambiguity since different 3D poses may produce similar 2D poses. Although many recent advances in this problem are found in both unsupervised and supervised learning approaches, the performances of most of these approaches are greatly affected by insufficient diversities and richness of training data. To alleviate this issue, we propose an unsupervised learning approach, which is capable of estimating various complex poses well under limited available training data. Specifically, we propose a Shape Decomposition Model (SDM) in which a 3D pose is considered as the superposition of two parts which are global structure together with some deformations. Based on SDM, we estimate these two parts explicitly by solving two sets of different distributed combination coefficients of geometric priors. In addition, to obtain geometric priors, a joint dictionary learning algorithm is proposed to extract both coarse and fine pose clues simultaneously from limited training data. Quantitative evaluations on several widely used datasets demonstrate that our approach yields better performances over other competitive approaches. Especially, on some categories with more complex deformations, significant improvements are achieved by our approach. Furthermore, qualitative experiments conducted on in-the-wild images also show the effectiveness of the proposed approach.


title: Concurrency in Boolean networks

abstract: Boolean networks (BNs) are widely used to model the qualitative dynamics of biological systems. Besides the logical rules determining the evolution of each component with respect to the state of its regulators, the scheduling of component updates can have a dramatic impact on the predicted behaviours. In this paper, we explore the use of Read (contextual) Petri Nets (RPNs) to study dynamics of BNs from a concurrency theory perspective. After showing bi-directional translations between RPNs and BNs and analogies between results on synchronism sensitivity, we illustrate that usual updating modes for BNs can miss plausible behaviours, i.e., incorrectly conclude on the absence/impossibility of reaching specific configurations. We propose an encoding of BNs capitalizing on the RPN semantics enabling more behaviour than the generalized asynchronous updating mode. The proposed encoding ensures a correct abstraction of any multivalued refinement, as one may expect to achieve when modelling biological systems with no assumption on its time features.


title: Implication of $R_{D^{(*)}}$ anomalies on semileptonic decays of $\Sigma_b$ and $\Omega_b$ baryons

abstract: The flavor changing decays of heavy bottom quarks to the corresponding lighter quarks ($u$, $c$ and $s$) in various $B$-meson decays via charged current and neutral current semileptonic transitions have emerged as promising candidates to explore the physics beyond the standard model. Experimentally the lepton flavor universality violation in $b \to (c,u)\,l\,\nu$ and $b \to s\,l^+ l^-$ transitions have been reported to a higher precision. The measurements of the lepton flavor violating ratios such as $R_{D^{(*)}}$, $R_{J/\Psi}$ and $R_{K^{(*)}}$ are observed to deviate from the standard model expectations at the level of $1.4\sigma$, $2.5\sigma$, $1.5\sigma$, $2.4\sigma$ and $2.2\sigma$ respectively. Motivated by these anomalies, we investigate the lepton flavor universality violation in $\Sigma_b \to \Sigma_c l \nu$ and $\Omega_b \to \Omega_c l \nu$ decays. We follow a model independent effective field theory formalism and study the implications of $R_{D^{(*)}}$ anomalies on $\Sigma_b \to \Sigma_c \tau \nu$ and $\Omega_b \to \Omega_c \tau \nu$ decay modes. We give predictions of various physical observables such as the ratio of branching ratios, total differential decay rate, forward-backward asymmetry, lepton side polarization fraction and convexity parameter within the standard model and within various new physics scenarios.


title: Interval timing in deep reinforcement learning agents

abstract: The measurement of time is central to intelligent behavior. We know that both animals and artificial agents can successfully use temporal dependencies to select actions. In artificial agents, little work has directly addressed (1) which architectural components are necessary for successful development of this ability, (2) how this timing ability comes to be represented in the units and actions of the agent, and (3) whether the resulting behavior of the system converges on solutions similar to those of biology. Here we studied interval timing abilities in deep reinforcement learning agents trained end-to-end on an interval reproduction paradigm inspired by experimental literature on mechanisms of timing. We characterize the strategies developed by recurrent and feedforward agents, which both succeed at temporal reproduction using distinct mechanisms, some of which bear specific and intriguing similarities to biological systems. These findings advance our understanding of how agents come to represent time, and they highlight the value of experimentally inspired approaches to characterizing agent abilities.


title: Scattering studies with low-energy kaon-proton femtoscopy in proton-proton collisions at the LHC

abstract: The study of the strength and behaviour of the antikaon-nucleon ($\mathrm{\overline{K}N}$) interaction constitutes one of the key focuses of the strangeness sector in low-energy Quantum Chromodynamics (QCD). In this letter a unique high-precision measurement of the strong interaction between kaons and protons, close and above the kinematic threshold, is presented. The femtoscopic measurements of the correlation function at low pair-frame relative momentum of (K$^+$ p $\oplus$ K$^-$ $\overline{\mathrm{p}}$) and (K$^-$ p $\oplus$ K$^+$ $\overline{\mathrm{p}}$) pairs measured in pp collisions at $\sqrt{s}$ = 5, 7 and 13 TeV are reported. A structure observed around a relative momentum of 58 MeV/$c$ in the measured correlation function of (K$^-$ p $\oplus$ K$^+$ $\overline{\mathrm{p}}$) with a significance of 4.4. $\sigma$ constitutes the first experimental evidence for the opening of the $(\mathrm{\overline{K}^0 n} \oplus \mathrm{K^0 \overline{n}})$ isospin breaking channel due to the mass difference between charged and neutral kaons. The measured correlation functions have been compared to J\"{u}lich and Kyoto models in addition to the Coulomb potential. The high-precision data at low relative momenta presented in this work prove femtoscopy to be a powerful complementary tool to scattering experiments and provide new constraints above the $\mathrm{\overline{K}N}$ threshold for low-energy QCD chiral models.


title: Evidence of surface catalytic effect on cosmic dust grain analogues: the ammonia and carbon dioxide surface reaction

abstract: Surface chemistry on cosmic dust grains plays an important role in the formation of molecules at low temperatures in the interstellar and circumstellar environments. For the first time, we experimentally put in evidence the catalytic role of dust surfaces using the thermal reaction CO2 + 2NH3 = NH4+NH2COO-, which is also a proxy of radical-radical reactions. Nanometre-sized amorphous silicate and carbon grains produced in our laboratory were used as grain analogues. Surface catalysis on grains accelerates the kinetics of the reaction studied at a temperature of 80 K by a factor of up to 3 compared to the reaction occurring in the molecular solid. The evidence of the catalytic effect of grain surfaces opens a door for experiments and calculations on the surface formation of interstellar and circumstellar molecules on dust. Ammonium carbamate on the surface of grains or released intact into protostellar or protoplanetary disk phases can give start to a network of prebiotic reactions. Therefore, there should be a great interest to search for ammonium carbamate and its daughter molecule, carbamic acid, in interstellar clouds, protostellar envelopes, and protoplanetary disks.


title: Reverse KL-Divergence Training of Prior Networks: Improved Uncertainty and Adversarial Robustness

abstract: Ensemble approaches for uncertainty estimation have recently been applied to the tasks of misclassification detection, out-of-distribution input detection and adversarial attack detection. Prior Networks have been proposed as an approach to efficiently \emph{emulate} an ensemble of models for classification by parameterising a Dirichlet prior distribution over output distributions. These models have been shown to outperform alternative ensemble approaches, such as Monte-Carlo Dropout, on the task of out-of-distribution input detection. However, scaling Prior Networks to complex datasets with many classes is difficult using the training criteria originally proposed. This paper makes two contributions. First, we show that the appropriate training criterion for Prior Networks is the \emph{reverse} KL-divergence between Dirichlet distributions. This addresses issues in the nature of the training data target distributions, enabling prior networks to be successfully trained on classification tasks with arbitrarily many classes, as well as improving out-of-distribution detection performance. Second, taking advantage of this new training criterion, this paper investigates using Prior Networks to detect adversarial attacks and proposes a generalized form of adversarial training. It is shown that the construction of successful \emph{adaptive} whitebox attacks, which affect the prediction and evade detection, against Prior Networks trained on CIFAR-10 and CIFAR-100 using the proposed approach requires a greater amount of computational effort than against networks defended using standard adversarial training or MC-dropout.


title: Compressing $\Theta$-chain in slit geometry

abstract: When compressed in a slit of width $D$, a $\Theta$-chain that displays the scaling of size $R_0$ (diameter) with respect to the number of monomers $N$, $R_0\sim aN^{1/2}$, expands in the lateral direction as $R_{\parallel}\sim a N^{\nu}(a/D)^{2\nu-1}$. Provided that the $\Theta$ condition is strictly maintained throughout the compression, the well-known scaling exponent of $\Theta$-chain in 2 dimensions, $\nu=4/7$, is anticipated in a perfect confinement. However, numerics shows that upon increasing compression from $R_0/D<1$ to $R_0/D\gg 1$, $\nu$ gradually deviates from $\nu=1/2$ and plateaus at $\nu=3/4$, the exponent associated with the self-avoiding walk in two dimensions. Using both theoretical considerations and numerics, we argue that it is highly nontrivial to maintain the $\Theta$ condition under confinement because of two major effects. First, as the dimension is reduced from 3 to 2 dimensions, the contributions of higher order virial terms, which can be ignored in 3 dimensions at large $N$, become significant. Second and more importantly, the geometrical confinement, which is regarded as an applied external field, alters the second virial coefficient ($B_2$) changes from $B_2=0$ ($\Theta$ condition) in free space to $B_2>0$ (good-solvent condition) in confinement. Our study provides practical insight into how confinement affects the conformation of a single polymer chain.


title: Secure Memory Erasure in the Presence of Man-in-the-Middle Attackers

abstract: Memory erasure protocols serve to clean up a device's memory before the installation of new software. Although this task can be accomplished by direct hardware manipulation, remote software-based memory erasure protocols have emerged as a more efficient and cost-effective alternative. Existing remote memory erasure protocols, however, still rely on non-standard adversarial models to operate correctly, thereby requiring additional hardware to restrict the adversary's capabilities. In this work, we provide a formal definition of secure memory erasure within a symbolic security model that utilizes the standard Dolev-Yao adversary. Our main result consists of a restriction on the Dolev-Yao adversary that we prove necessary and sufficient to solve the problem of finding a protocol that satisfies secure memory erasure. We also provide a description of the resulting protocol using standard cryptographic notation, which we use to analyze the security and communication complexity trade-off commonly present in this type of protocols.


title: Tetrahedron trinomial coefficient transform

abstract: We introduce the tetrahedron trinomial coefficient transform which takes a Pascal-like arithmetical triangle to a sequence. We define a Pascal-like infinite tetrahedron H, and prove that the application of the tetrahedron trinomial transform to one face T of H provides the opposite edge E to T in H. It follows from the construction that the other directions in H parallel to E can be obtained similarly. In case of Pascal's triangle the sequence generated by the trinomial transform coincides the binomial transform of the central binomial coefficients.


title: Exact sampling of determinantal point processes with sublinear time preprocessing

abstract: We study the complexity of sampling from a distribution over all index subsets of the set $\{1,...,n\}$ with the probability of a subset $S$ proportional to the determinant of the submatrix $\mathbf{L}_S$ of some $n\times n$ p.s.d. matrix $\mathbf{L}$, where $\mathbf{L}_S$ corresponds to the entries of $\mathbf{L}$ indexed by $S$. Known as a determinantal point process, this distribution is used in machine learning to induce diversity in subset selection. In practice, we often wish to sample multiple subsets $S$ with small expected size $k = E[|S|] \ll n$ from a very large matrix $\mathbf{L}$, so it is important to minimize the preprocessing cost of the procedure (performed once) as well as the sampling cost (performed repeatedly). For this purpose, we propose a new algorithm which, given access to $\mathbf{L}$, samples exactly from a determinantal point process while satisfying the following two properties: (1) its preprocessing cost is $n \cdot \text{poly}(k)$, i.e., sublinear in the size of $\mathbf{L}$, and (2) its sampling cost is $\text{poly}(k)$, i.e., independent of the size of $\mathbf{L}$. Prior to our results, state-of-the-art exact samplers required $O(n^3)$ preprocessing time and sampling time linear in $n$ or dependent on the spectral properties of $\mathbf{L}$. We also give a reduction which allows using our algorithm for exact sampling from cardinality constrained determinantal point processes with $n\cdot\text{poly}(k)$ time preprocessing.


title: $L\log \log L$ versions of Stein's and Zygmund's theorems for the Hardy space $H^{\log}(\mathbb{R}^d)$

abstract: We obtain versions of some classical results of Zygmund and Stein for functions belonging to the Hardy space $H^{\log} (\mathbb{R}^d)$ introduced by Bonami, Grellier, and Ky. We present further applications in the context of more general Orlicz spaces.


title: Many-Chain Effects on the Co-nonsolvency of Polymer Brushes in a Good Solvent Mixture

abstract: Polymer brushes normally swell in a good solvent and collapse in a poor solvent. An abnormal response of polymer brushes, so-called co-nonsolvency, is the phenomenon where the brush counter-intuitively collapses in a good solvent mixture. In this work, we employed molecular dynamics simulations to investigate the structural properties of the grafted polymers on the occurrence of co-nonsolvency. Brushes with various grafting densities were considered to study the effect of topological excluded volumes on the co-nonsolvency. We found that the brush height follows a novel scaling behavior of the grafting density $h \sim \sigma_{\text g}^{0.71}$ in the co-nonsolvent mixture. Using the scaling exponent and Alexander-de Gennes theory, an analytic function that predicts the monomer density was obtained. The many-chain effects in the co-nonsolvent lead to the formation of both intermolecular and intramolecular bridging structures. Increasing the grafting density entails lower looping events occuring because of the intermolcular bridging, causing diverse structural properties. We report how the average thickness, the polymer orientation, and the looping probability varies as the grafting density increases. Based on these observations, we constructed a phase diagram of the polymer brush system using the average thickness and orientation as order parameters. Our simulations and analytical results reveal the nature of co-nonsolvency in polymer brushes in an explicit way and will help to provide practical guidelines for applications such as drug delivery and sensor devices.


title: Coulomb transition matrix at negative energy and integer values of interaction parameter

abstract: With the use of the stereographic projection of momentum space into the four-dimensional sphere of unit radius. the possibility of the analytical solution of the three-dimensional two-body Lippmann-Schwinger equation with the Coulomb interaction at negative energy has been studied. Simple analytical expressions for the three-dimensional Coulomb transition matrix in the case of the repulsive Coulomb interaction and positive integer values of the Coulomb parameter have been obtained. The worked out method has been also applied for the generalized three-dimensional Coulomb transition matrix in the case of the attractive Coulomb interaction and negative integer values of the Coulomb parameter.


title: Legendre wavelet collocation method combined with the Gauss--Jacobi quadrature for solving fractional delay-type integro-differential equations

abstract: In this work, we present a collocation method based on the Legendre wavelet combined with the Gauss--Jacobi quadrature formula for solving a class of fractional delay-type integro-differential equations. The problem is considered with either initial or boundary conditions and the fractional derivative is described in the Caputo sense. First, an approximation of the unknown solution is considered in terms of the Legendre wavelet basis functions. Then, we substitute this approximation and its derivatives into the considered equation. The Caputo derivative of the unknown function is approximated using the Gauss--Jacobi quadrature formula. By collocating the obtained residual at the well-known shifted Chebyshev points, we get a system of nonlinear algebraic equations. In order to obtain a continuous solution, some conditions are added to the resulting system. Some error bounds are given for the Legendre wavelet approximation of an arbitrary function. Finally, some examples are included to show the efficiency and accuracy of this new technique.


title: Topological Shapes and their Significance

abstract: Normally we judge Topological shapes analytically but they hide significant amount of data in them about coordinate planes and ordered & unordered paris. In this article we will build our intuition and find those datas.


title: Higher order weighted Sobolev spaces on the real line for strongly degenerate weights. Application to variational problems in elasticity of beams

abstract: For one-dimensional interval and integrable weight function $w$ we define via completion a weighted Sobolev space $H^{m,p}_{\mu_w}$ of arbitrary integer order $m$. The weights in consideration may suffer strong degeneration so that, in general, functions $u$ from $H^{m,p}_{\mu_w}$ do not have weak derivatives. This contribution is focussed on studying the continuity properties of functions $u$ at a chosen internal point $x_0$ to which we attribute a notion of criticality of order $k$ and with respect to the weight $w$. For non-critical points $x_0$ we formulate a local embedding result that guarantees continuity of functions $u$ or their derivatives. Conversely, we employ duality theory to show that criticality of $x_0$ furnishes a smooth approximation of functions in $H^{m,p}_{\mu_w}$ admitting jump-type discontinuities at $x_0$. The work concludes with demonstration of established results in the context of variational problem in elasticity theory of beams with degenerate width distribution.


title: Coulomb-induced ionization time lag after electrons tunnel out of a barrier

abstract: After electrons tunnel out of a laser-Coulomb-formed barrier, %formed by the strong laser field and the atomic Coulomb potential, the movement of the tunneling electron can be affected by the Coulomb tail. We show that this Coulomb effect induces a large time difference (longer than a hundred attoseconds) between the exiting time at which the electron exits the barrier and the ionization time at which the electron is free. This large time difference has important influences on strong-field processes such as above-threshold ionization and high-harmonic generation, with remarkably changing time-frequency properties of electron trajectories. Some semi-quantitative evaluations on these influences are addressed, which provide new insight into strong-field physics and give important suggestions on attosecond measurements.


title: Analytic P-ideals and Banach spaces

abstract: We study the interplay between Banach space theory and theory of analytic P-ideals. Applying the observation that, up to isomorphism, all Banach spaces with unconditional bases can be constructed in a way very similar to the construction of analytic P-ideals from submeasures, we point out numerous symmetries between the two theories. Also, we investigate a special case, the interactions between combinatorics of families of finite sets, topological properties of the "Schreier type" Banach spaces associated to these families, and the complexity of ideals generated by the canonical bases in these spaces. Among other results, we present some new examples of Banach spaces and analytic P-ideals, a new characterization of precompact families and its applications to enhance Pt\'ak's Lemma and Mazur's Lemma.


title: Ihara zeta function, coefficients of Maclaurin series, and Ramanujan graphs

abstract: Let $X$ denote a connected $(q+1)$-regular undirected graph of finite order $n$. The graph $X$ is called Ramanujan whenever $$ |\lambda|\leq 2q^{\frac{1}{2}} $$ for all nontrivial eigenvalues $\lambda$ of $X$. We consider the variant $\Xi(u)$ of the Ihara zeta function $Z(u)$ of $X$ defined by \begin{gather*} \Xi(u)^{-1} = \left\{ \begin{array}{ll} (1-u)(1-qu)(1-q^{\frac{1}{2}} u)^{2n-2}(1-u^2)^{\frac{n(q-1)}{2}} Z(u) \qquad &\hbox{if $X$ is nonbipartite}, (1-q^2u^2) (1-q^{\frac{1}{2}} u)^{2n-4} (1-u^2)^{\frac{n(q-1)}{2}+1} Z(u) \qquad &\hbox{if $X$ is bipartite}. \end{array} \right. \end{gather*} The function $\Xi(u)$ satisfies the functional equation $\Xi(q^{-1} u^{-1})=\Xi(u)$. Let $\{h_k\}_{k=1}^\infty$ denote the number sequence given by $$ \frac{d}{du}\ln \Xi(q^{-\frac{1}{2}}u) =\sum_{k=0}^\infty h_{k+1} u^k. $$ In this paper we establish the equivalence of the following statements: (i) $X$ is Ramanujan; (ii) $h_k\geq 0$ for all $k\geq 1$; (iii) $h_{k}\geq 0$ for infinitely many even $k\geq 2$. Furthermore we derive the Hasse--Weil bound for the Ramanujan graphs.


title: Baryon-Dark matter interaction in presence of magnetic fields in light of EDGES signal

abstract: We have shown that in presence of a cosmic magnetic field the bounds on baryon dark matter cross-section ($\hat \sigma$), dark-matter mass ($m_d$) and values of the magnetic field ($B_0$) can strongly influence each other. This requires to rework the bounds on $\hat \sigma\,$, $m_d$ and $B_0$ which can explain the observed absorption signal by EDGES collaboration. The upper limit on the magnetic field strength can modify in presence of baryon-dark matter interaction cross-section. In the presence of a strong magnetic field, a large baryon-dark matter interaction cross-section is required to balance magnetic heating of gas to explain the EDGES signal as compared to a weak magnetic field. Subsequently, the strong magnetic-fields can even erase the 21 cm signal--this gives an upper bound on the strength of magnetic-fields, dark-matter mass and baryon-dark matter cross-section. In the special case when $\hat \sigma$=0, one can recover the bound on magnetic field strength calculated in [1]. In this work we find that the allowed range of the primordial magnetic field can increase by three orders of magnitude in comparison with [1]. We get upper bound on the magnetic field strength: $3.48\times10^{-6}$ G for the dark matter mass $\lesssim 10^{-2}$ GeV.


title: Characterizing the mod-$\ell$ local Langlands correspondence by nilpotent gamma factors

abstract: Let $F$ be a $p$-adic field and choose $k$ an algebraic closure of $\mathbb{F}_{\ell}$, with $\ell$ different from $p$. We define ``nilpotent lifts'' of irreducible generic $k$-representations of $GL_n(F)$, which take coefficients in Artin local $k$-algebras. We show that an irreducible generic $\ell$-modular representation $\pi$ of $GL_n(F)$ is uniquely determined by its collection of Rankin--Selberg gamma factors $\gamma(\pi\times \widetilde{\tau},X,\psi)$ as $\widetilde{\tau}$ varies over nilpotent lifts of irreducible generic $k$-representations $\tau$ of $GL_t(F)$ for $t=1,\dots, \lfloor \frac{n}{2}\rfloor$. This gives a characterization of the mod-$\ell$ local Langlands correspondence in terms of gamma factors, assuming it can be extended to a surjective local Langlands correspondence on nilpotent lifts.


title: Follow-up procedure for gravitational wave searches from isolated neutron stars using the time-domain $\mathcal{F}$-statistic method

abstract: Among promising sources of gravitational waves are long-lived nearly periodic signals produced by rotating, asymmetric neutron stars. Depending on the astrophysical scenario, the sources of asymmetry may have thermal, viscous, elastic and/or magnetic origin. In this work we introduce a follow-up procedure for an all-sky search for gravitational wave signals from rotating neutron stars. The procedure denoted as Followup implements matched-filtering $\mathcal{F}$-statistic method. We describe data analysis methods and algorithms used in the procedure. We present tests of the Followup for artificial signals added to white, Gaussian noise. The tests show a good agreement with the theoretical predictions. The Followup will become part of the Time-Domain $\mathcal{F}$-statistic pipeline that is routinely used for all-sky searches of LIGO and Virgo detector data.


title: Tuning Water Slip Behavior in Nanochannels using Self-Assembled Monolayers

abstract: Water slip at solid surfaces is important for a wide range of micro/nano-fluidic applications. While it is known that water slip behavior depends on surface functionalization, how it impacts the molecular level dynamics and mass transport at the interface is still not thoroughly understood. In this paper, we use nonequilibrium molecular dynamics simulations to investigate the slip behavior of water confined between gold surfaces functionalized by self-assembled monolayer (SAM) molecules with different polar functional groups. We observe a positive-to-negative slip transition from hydrophobic to hydrophilic SAM functionalizations, which is found related to the stronger interfacial interaction between water molecules and more hydrophilic SAM molecules. The stronger interaction increases the surface friction and local viscosity, making water slip more difficult. More hydrophilic functionalization also slows down the interfacial water relaxation and leads to more pronounced water trapping inside the SAM layer, which both impede water slip. The results from this work will provide useful insights to the understanding of the water slip at functionalized surfaces and design guidelines for various applications.


title: Preconditioning Inverse Problems for Hyperbolic Equations with Applications to Photoacoustic Tomography

abstract: This paper is concerned with robust preconditioning of wave equations constrained linear inverse problems from boundary observation data. The main result of this paper is a concept for regularization parameter robust preconditioning. Analogous concepts have been developed for control problems based on elliptic partial equations before.


title: Density functional theory study of the oxygen evolution activity on Sr$_2$TaO$_3$N surfaces

abstract: Solar water splitting has attracted much attention as a clean and renewable route to produce hydrogen fuel. Since the oxygen evolution half-reaction (OER) requires high overpotentials, much research has focused on finding catalyst materials that minimize this energy loss. Oxynitrides with a layered perovskite structure have the potential to combine the superior photocatalytic properties of layered perovskite oxides with enhanced visible-light absorption caused by the band gap narrowing due to less electronegative nitrogen ions. In this paper, we study the OER on the (001) and (100) surfaces of the layered oxynitride Sr$_2$TaO$_3$N using density functional theory (DFT) calculations to obtain the OER free energy profiles and to determine the required overpotentials at various sites on each surface. We find that the reconstructed grooved (100) surface is most relevant for photocatalysis due to suitable band-edge positions combined with a low overpotential and good carrier mobility perpendicular to the surface.


title: Majorisation-minimisation algorithms for minimising the difference between lattice submodular functions

abstract: We consider the problem of minimising functions represented as a difference of lattice submodular functions. We propose analogues to the SupSub, SubSup and ModMod routines for lattice submodular functions. We show that our majorisation-minimisation algorithms produce iterates that monotonically decrease, and that we converge to a local minimum. We also extend additive hardness results, and show that a broad range of functions can be expressed as the difference of submodular functions.


title: Analysis of control problems of nonmontone semilinear elliptic equations

abstract: In this paper we study optimal control problems governed by a semilinear elliptic equation. The equation is nonmonotone due to the presence of a convection term, despite the monotonocity of the nonlinear term. The resulting operator is neither monotone nor coervive. However, by using conveniently a comparison principle we prove existence and uniqueness of solution for the state equation. In addition, we prove some regularity of the solution and differentiability of the relation control-to-state. This allows us to derive first and second order conditions for local optimality.


title: Accumulation Bias in Meta-Analysis: The Need to Consider Time in Error Control

abstract: Studies accumulate over time and meta-analyses are mainly retrospective. These two characteristics introduce dependencies between the analysis time, at which a series of studies is up for meta-analysis, and results within the series. Dependencies introduce bias --- Accumulation Bias --- and invalidate the sampling distribution assumed for p-value tests, thus inflating type-I errors. But dependencies are also inevitable, since for science to accumulate efficiently, new research needs to be informed by past results. Here, we investigate various ways in which time influences error control in meta-analysis testing. We introduce an Accumulation Bias Framework that allows us to model a wide variety of practically occurring dependencies, including study series accumulation, meta-analysis timing, and approaches to multiple testing in living systematic reviews. The strength of this framework is that it shows how all dependencies affect p-value-based tests in a similar manner. This leads to two main conclusions. First, Accumulation Bias is inevitable, and even if it can be approximated and accounted for, no valid p-value tests can be constructed. Second, tests based on likelihood ratios withstand Accumulation Bias: they provide bounds on error probabilities that remain valid despite the bias. We leave the reader with a choice between two proposals to consider time in error control: either treat individual (primary) studies and meta-analyses as two separate worlds --- each with their own timing --- or integrate individual studies in the meta-analysis world. Taking up likelihood ratios in either approach allows for valid tests that relate well to the accumulating nature of scientific knowledge. Likelihood ratios can be interpreted as betting profits, earned in previous studies and invested in new ones, while the meta-analyst is allowed to cash out at any time and advise against future studies.


title: Chiral Light--Matter Interaction Beyond the Rotating-Wave Approximation

abstract: I introduce and analyse chiral light--matter interaction in the ultrastrong coupling limit where the rotating-wave approximation cannot be made. Within this limit, a two-level system (TLS) with a circularly polarized transition dipole interacts with a copolarized mode through rotating-wave terms. However, the counter-rotating terms allow the TLS to couple to a counter-polarized mode with the same coupling strength, i.e., one that is completely decoupled within the rotating-wave approximation. Although such a Hamiltonian is not particle number conserving, the conservation of angular momentum generates a $U(1)$ symmetry which allows constructing an ansatz. The eigenstates and dynamics of this novel model are computed for single-cavity interactions and for a many-mode system. The form of the ansatz provides significant analytic insight into the physics of the ground state and the dynamics, e.g., it indicates that the ground states are two-mode squeezed. This work has significant implications for engineering light--matter interaction and novel quantum many-body dynamics beyond the rotating-wave approximation.


title: Understanding the friction of atomically thin layered materials

abstract: Friction is a ubiquitous phenomenon that greatly affects our everyday lives and is responsible for large amounts of energy loss in industrialised societies. Layered materials such as graphene have interesting frictional properties and are often used as (additives to) lubricants to reduce friction and protect against wear. Experimental Atomic Force Microscopy studies and detailed simulations have shown a number of intriguing effects such as friction strengthening and dependence of friction on the number of layers covering a surface. Here, we propose a simple, fundamental, model for friction on thin sheets. We use our model to explain a variety of seemingly contradictory experimental as well as numerical results. This model can serve as a basis for understanding friction on thin sheets, and opens up new possibilities for ultimately controlling their friction and wear protection.

categories: physics.app-ph cond-mat.mes-hall cond-mat.mtrl-sci physics.class-ph physics.comp-ph


title: Attention Is (not) All You Need for Commonsense Reasoning

abstract: The recently introduced BERT model exhibits strong performance on several language understanding benchmarks. In this paper, we describe a simple re-implementation of BERT for commonsense reasoning. We show that the attentions produced by BERT can be directly utilized for tasks such as the Pronoun Disambiguation Problem and Winograd Schema Challenge. Our proposed attention-guided commonsense reasoning method is conceptually simple yet empirically powerful. Experimental analysis on multiple datasets demonstrates that our proposed system performs remarkably well on all cases while outperforming the previously reported state of the art by a margin. While results suggest that BERT seems to implicitly learn to establish complex relationships between entities, solving commonsense reasoning tasks might require more than unsupervised models learned from huge text corpora.


title: Spectral dimension on spatial hypersurfaces in causal set quantum gravity

abstract: An important probe of quantum geometry is its spectral dimension, defined via a spatial diffusion process. In this work we study the spectral dimension of a ``spatial hypersurface'' in a manifoldlike causal set using the induced spatial distance function. In previous work, the diffusion was taken on the full causal set, where the nearest neighbours are unbounded in number. The resulting super-diffusion leads to an increase in the spectral dimension at short diffusion times, in contrast to other approaches to quantum gravity. In the current work, by using a temporal localisation in the causal set, the number of nearest spatial neighbours is rendered finite. Using numerical simulations of causal sets obtained from $d=3$ Minkowski spacetime, we find that for a flat spatial hypersurface, the spectral dimension agrees with the Hausdorff dimension at intermediate scales, but shows clear indications of dimensional reduction at small scales, i.e., in the ultraviolet. The latter is a direct consequence of ``discrete asymptotic silence'' at small scales in causal sets.


title: State occupation probabilities in non-Markov models

abstract: The consistency of the Aalen--Johansen-derived estimator of state occupation probabilities in non-Markov multi-state settings is studied and established via a new route. This new route is based on interval functions and relies on a close connection between additive and multiplicative transforms of interval functions, which is established. Under certain assumptions, the consistency follows from explicit expressions of the additive and multiplicative transforms related to the transition probabilities as interval functions, which are obtained, in combination with certain censoring and positivity assumptions.


title: Existence and stability of infinite time bubble towers in the energy critical heat equation

abstract: We consider the energy critical heat equation in $\mathbb R^n$ for $n\ge 7$ $$\left\{ \begin{aligned} u_t & = \Delta u+ |u|^{\frac 4{n-2}}u \hbox{ in }\ \mathbb R^n \times (0, \infty), \\ u(\cdot,0) & = u_0 \ \hbox{ in }\ \mathbb R^n, \end{aligned}\right. $$ which corresponds to the $L^2$-gradient flow of the Sobolev-critical energy $$ J(u) = \int_{\mathbb R^n} e[u] , \quad e[u] := \frac 12 |\nabla u|^2 - \frac {n-2}{2n} |u|^{\frac {2n}{n-2} }. $$ Given any $k\ge 2$ we find an initial condition $u_0$ that leads to sign-changing solutions with {\em multiple blow-up at a single point} (tower of bubbles) as $t\to +\infty$. It has the form of a superposition with alternate signs of singularly scaled {\em Aubin-Talenti solitons}, $$ u(x,t) = \sum_{j=1}^k (-1)^{j-1} {\mu_j^{-\frac {n-2}2}} U \left( \frac {x}{\mu_j} \right)\, +\, o(1) \quad\hbox{as } t\to +\infty $$ where $U(y)$ is the standard soliton $ U(y) = % (n(n-2))^{\frac 1{n-2}} \alpha_n\left ( \frac 1{1+|y|^2}\right)^{\frac{n-2}2}$ and $$\mu_j(t) = \beta_j t^{- \alpha_j}, \quad \alpha_j = \frac 12 \Big ( \, \left( \frac{n-2}{n-6}\right)^{j-1} -1 \Big). $$ Letting $\delta_0$ the Dirac mass, we have energy concentration of the form $$ e[ u(\cdot, t)]- e[U] \rightharpoonup (k-1) S_n\,\delta_{0} \quad\hbox{as } t\to +\infty $$ where $S_n=J(U)$. The initial condition can be chosen radial and compactly supported. We establish the codimension $k+ n (k-1)$ stability of this phenomenon for perturbations of the initial condition that have space decay $u_0(x) =O( |x|^{-\alpha})$, $\alpha > \frac {n-2}2$, which yields finite energy of the solution.


title: Pre- and post-selection paradoxes in quantum walks

abstract: Many features of single-partite quantum walks can be simulated by classical waves. However, it was recently experimentally shown that some temporal sequences of measurements on a quantum walker do not admit a classical description in terms of macro-realistic theories. Here, we extend this observation and present pre- and post-selection scenarios in quantum walks leading to logical paradoxes. Such paradoxes were recently shown to be equivalent to proofs of contextuality, therefore we provide an additional argument for non-classicality of a quantum walk model. The assumptions behind the claims of non-classicality (including contextuality and violations of macro-realism) are also discussed.


title: Relative character identities and theta correspondence

abstract: In this paper, we will determine the factorization of global period attached to the spherical variety $X:=\mathrm{SO}(n-1)\backslash \mathrm{SO}(n)$, which is a special case of the Sakellaridis-Venkatesh conjecture. The main idea is to build a connection between the periods of $X$ and the periods of the Whittaker case $N,\psi\backslash \mathrm{SL}_2$ (n even) or $N,\psi\backslash \mathrm{Mp}_2$ (n odd) using the tool of theta correspondence. In the local setting, we determine the Plancherel formula of $L^2(X)$, the relative character identities and give an explicite integral formula of transfer between $X$-side and Whittaker-side which coincides with the theory of transfer developed by Sakellaridis.


title: Isolation-Aware Timing Analysis and Design Space Exploration for Predictable and Composable Many-Core Systems

abstract: Composable many-core systems enable the independent development and analysis of applications which will be executed on a shared platform where the mix of concurrently executed applications may change dynamically at run time. For each individual application, an off-line Design Space Exploration (DSE) is performed to compute several mapping alternatives on the platform, offering Pareto-optimal trade-offs in terms of real-time guarantees, resource usage, etc. At run time, one mapping is then chosen to launch the application on demand. In this context, to enable an independent analysis of each individual application at design time, so-called inter-application isolation schemes are applied which specify temporal or spatial isolation policies between applications. S.o.t.a. composable many-core systems are developed based on a fixed isolation scheme that is exclusively applied to every resource in every mapping of every application and use a timing analysis tailored to that isolation scheme to derive timing guarantees for each mapping. A fixed isolation scheme, however, heavily restricts the explored space of solutions and can, therefore, lead to suboptimality. Lifting this restriction necessitates a timing analysis that is applicable to mappings with an arbitrary mix of isolation schemes on different resources. To address this issue, we present an isolation-aware timing analysis that unlike existing analyses can handle multiple isolation schemes in combination within one mapping and delivers safe yet tight timing bounds by identifying and excluding interference scenarios that can never happen under the given combination of isolation schemes. Based on the timing analysis, we present a DSE which explores the choices of isolation scheme per resource within each mapping. Experimental results demonstrate the advantage of the proposed approach over approaches based on a fixed isolation scheme.


title: Imaging and writing magnetic domains in the non-collinear antiferromagnet Mn$_{\text{3}}$Sn

abstract: Harnessing the unique properties of non-collinear antiferromagnets (AFMs) will be essential for exploiting the full potential of antiferromagnetic spintronics. Indeed, many of the effects enabling ferromagnetic spintronic devices have a corresponding counterpart in materials with non-collinear spin structure. In addition, new phenomena such as the magnetic spin Hall effect were experimentally observed in non-collinear AFMs, and the presence of the equivalent to the ferromagnetic spin transfer torque via spin polarized currents was theoretically predicted. In spite of these developments, an interpretation of the rich physical phenomena observed in non-collinear antiferromagnets is challenging, since the microscopic spin arrangement, the magnetic domain distribution, and the domain orientations have proven notoriously difficult to access experimentally. This is all the more problematic, as imaging and writing magnetic domains is of central importance for applications. Successful imaging is a basic requirement to experimentally confirm the spin transfer torque acting on non-collinear domain walls and therefore of eminent interest. Here, we demonstrate that the local magnetic structure of the non-collinear AFM Mn3Sn films can be imaged by scanning thermal gradient microscopy (STGM). The technique is based on scanning a laser spot over the sample's surface, and recording the ensuing thermo-voltage. We image the magnetic structure at a series of different temperatures and show that at room temperature, the domain structure is not affected by the application of moderate magnetic fields. In addition to imaging, we establish a scheme for heat-assisted magnetic recording, using local laser heating in combination with magnetic fields to intentionally write domain patterns into the antiferromagnet.


title: Nonlinear polaritons in monolayer semiconductor coupled to optical bound states in the continuum

abstract: Optical bound states in the continuum (BICs) provide a way to engineer very narrow resonances in photonic crystals. The extended interaction time in such systems is particularly promising for enhancement of nonlinear optical processes and development of the next generation of active optical devices. However, the achievable interaction strength is limited by the purely photonic character of optical BICs. Here, we mix optical BIC in a photonic crystal slab with excitons in atomically thin semiconductor MoSe$_2$ to form nonlinear exciton-polaritons with a Rabi splitting of 27~meV, exhibiting large interaction-induced spectral blueshifts. The asymptotic BIC-like suppression of polariton radiation into far-field towards the BIC wavevector, in combination with effective reduction of excitonic disorder through motional narrowing, results in small polariton linewidths below 3~meV. Together with strongly wavevector-dependent Q-factor, this provides for enhancement and control of polariton--polariton interactions and resulting nonlinear optical effects, paving the way towards tunable BIC-based polaritonic devices for sensing, lasing, and nonlinear optics.


title: Probing gaseous halos of galaxies with radio jets

abstract: Gaseous halos play a key role for understanding inflow, feedback and the overall baryon budget in galaxies. Literature models predict transitions of the state of the gaseous halo between cold and hot accretion, winds, fountains and hydrostatic halos at certain galaxy masses. Since luminosities of radio AGN are sensitive to halo densities, any significant transition would be expected to show up in the radio luminosities of large samples of galaxies. The Low Frequency Array (LOFAR) Two Metre Sky Survey (LoTSS) has indeed identified a galaxy stellar mass scale, $10^{11} M_\odot$ , above which the radio luminosities increase disproportionately. Here, we investigate, if radio luminosities of galaxies, especially the marked rise at galaxy masses around $10^{11} M_\odot$, can be explained with standard assumptions on jet powers, scaling between black hole-mass and galaxy mass and gaseous halos. We developed models for the radio luminosity of radio AGN in halos under infall, galactic wind and hydrostatic conditions based on observational data and theoretical constraints, and compared it to LoTSS data for a large sample of galaxies in the mass rangebetween $10^{8.5} M_\odot$ and $10^{12} M_\odot$. Assuming the same characteristic upper limit to jet powers as is known from high galaxy masses to hold at all masses, we find that the maximum radio luminosities for the hydrostatic gas halos fit well with the upper envelope of the distribution of the LOFAR data. The marked rise in radio luminosity at $10^{11} M_\odot$ is matched in our model, and is related to significant change in halo gas density around this galaxy mass, which is a consequence of the lower cooling rates at higher virial temperature. Wind and infall models overpredict the radio luminosities at small galaxy masses and have no particular steepening of the run of the radio luminosities predicted at any galaxy mass. [...]


title: On a typical compact set as the attractor of generalized iterated function systems of infinite order

abstract: In 2013 Balka and M\'ath\'e showed that in uncountable polish spaces the typical compact set is not a fractal of any IFS. In 2008 Miculescu and Mihail introduced a concept of a generalized iterated function system (GIFS in short), a particular extension of classical IFS, in which they considered families of mappings defined on finite Cartesian product $X^m$ with values in $X$. Recently, Secelean extended these considerations to mappings defined on the space $\ell_\infty(X)$ of all bounded sequences of elements of $X$ endowed with supremum metric. In the paper we show that in Euclidean spaces a typical compact set is an attractor in sense of Secelean and that in general in the polish spaces it can be perceived as selfsimilar in such sense.


title: Clusters of investors around Initial Public Offering

abstract: The complex networks approach has been gaining popularity in analysing investor behaviour and stock markets, but within this approach, initial public offerings (IPO) have barely been explored. We fill this gap in the literature by analysing investor clusters in the first two years after the IPO filing in the Helsinki Stock Exchange by using a statistically validated network method to infer investor links based on the co-occurrences of investors' trade timing for 69 IPO stocks. Our findings show that a rather large part of statistically similar network structures form in different securities and persist in time for mature and IPO companies. We also find evidence of institutional herding.


title: A Continuum Multi-Disconnection-Mode Model for Grain Boundary Migration

abstract: We study the Grain Boundary (GB) migration based on the underlying disconnection structure and mechanism. Disconnections are line defects that lie solely within a GB and are characterized by both a Burgers vector and a step height, as set by the GB bicrystallography. Multiple disconnection modes can nucleate, as determined by their formation energy barriers and temperature, and move along the GB under different kinds of competing driving forces including shear stress and chemical potential jumps across the GBs. We present a continuum model in two dimensions for GB migration where the GB migrates via the thermally-activated nucleation and kinetically-driven motion of disconnections. We perform continuum numerical simulations for investigating the GB migration behavior in single and multi-mode disconnection limits in both a bicrystal (under two types of boundary conditions) and for a finite-length GB with pinned ends. The results clearly demonstrate the significance of including the coupling and competing between different disconnection modes and driving forces for describing the complex and diverse phenomena of GB migration within polycyrstalline microstructures.


title: Performance Analysis of Clustered LoRa Networks

abstract: In this paper, we investigate the uplink transmission performance of low-power wide-area (LPWA) networks with regards to coexisting radio modules. We adopt long range (LoRa) radio technique as an example of the network of focus even though our analysis can be easily extended to other situations. We exploit a new topology to model the network, where the node locations of LoRa follow a Poisson cluster process (PCP) while other coexisting radio modules follow a Poisson point process (PPP). Unlike most of the performance analysis based on stochastic geometry, we take noise into consideration. More specifically, two models, with a fixed and a random number of active LoRa nodes in each cluster, respectively, are considered. To obtain insights, both the exact and simple approximated expressions for coverage probability are derived. Based on them, area spectral efficiency and energy efficiency are obtained. From our analysis, we show how the performance of LPWA networks can be enhanced through adjusting the density of LoRa nodes around each LoRa receiver. Moreover, the simulation results unveil that the optimal number of active LoRa nodes in each cluster exists to maximize the area spectral efficiency.


title: Synthesizing Reactive Systems from Hyperproperties

abstract: We study the reactive synthesis problem for hyperproperties given as formulas of the temporal logic HyperLTL. Hyperproperties generalize trace properties, i.e., sets of traces, to sets of sets of traces. Typical examples are information-flow policies like noninterference, which stipulate that no sensitive data must leak into the public domain. Such properties cannot be expressed in standard linear or branching-time temporal logics like LTL, CTL, or CTL$^*$. We show that, while the synthesis problem is undecidable for full HyperLTL, it remains decidable for the $\exists^*$, $\exists^*\forall^1$, and the $\mathit{linear}\;\forall^*$ fragments. Beyond these fragments, the synthesis problem immediately becomes undecidable. For universal HyperLTL, we present a semi-decision procedure that constructs implementations and counterexamples up to a given bound. We report encouraging experimental results obtained with a prototype implementation on example specifications with hyperproperties like symmetric responses, secrecy, and information-flow.


title: Magnetic activities on active solar-type stars

abstract: We present results obtained from the studies of magnetic activities on four solar-type stars (F-type star KIC 6791060, K-type star LO Peg, and two M-type planet-hosting stars K2-33 and EPIC 211901114) by using optical observations from several ground- and space-based telescopes. In this study, we investigate magnetic activities such as spot-topographic evolution and flaring events in these stars. We compare the results obtained from this study with that of the Sun. In the surface temperature maps, one active longitude has been detected in KIC 6791060, whereas in each of the other three cases two active longitudes are seen. The spottedness was found to vary in the range of 0.07--0.44%, 9--26%, 3.6--4.2%, and 4.5--5.3% for KIC 6791060, LO Peg, K2-33, and EPIC 211901114, respectively. Several flaring events have been identified in each star. An increasing trend in flaring frequency per stellar rotation has been found in the stars with a change in spectral type from F to M. These findings indicate the increase in magnetic activities with the spectral type of stars. This can be explained due to increasing the ratio of the thickness of the convection zone to the radiation zone from F-type star to the M-type stars.


title: Block Preconditioners for Mixed-dimensional Discretization of Flow in Fractured Porous Media

abstract: In this paper, we are interested in an efficient numerical method for the mixed-dimensional approach to modeling single-phase flow in fractured porous media. The model introduces fractures and their intersections as lower-dimensional structures, and the mortar variable is used for flow coupling between the matrix and fractures. We consider a stable mixed finite element discretization of the problem, which results in a parameter-dependent linear system. For this, we develop block preconditioners based on the well-posedness of the discretization choice. The preconditioned iterative method demonstrates robustness with regards to discretization and physical parameters. The analytical results are verified on several examples of fracture network configurations, and notable results in reduction of number of iterations and computational time are obtained.


title: Model Checking Quantitative Hyperproperties

abstract: Hyperproperties are properties of sets of computation traces. In this paper, we study quantitative hyperproperties, which we define as hyperproperties that express a bound on the number of traces that may appear in a certain relation. For example, quantitative non-interference limits the amount of information about certain secret inputs that is leaked through the observable outputs of a system. Quantitative non-interference thus bounds the number of traces that have the same observable input but different observable output. We study quantitative hyperproperties in the setting of HyperLTL, a temporal logic for hyperproperties. We show that, while quantitative hyperproperties can be expressed in HyperLTL, the running time of the HyperLTL model checking algorithm is, depending on the type of property, exponential or even doubly exponential in the quantitative bound. We improve this complexity with a new model checking algorithm based on model-counting. The new algorithm needs only logarithmic space in the bound and therefore improves, depending on the property, exponentially or even doubly exponentially over the model checking algorithm of HyperLTL. In the worst case, the new algorithm needs polynomial space in the size of the system. Our Max#Sat-based prototype implementation demonstrates, however, that the counting approach is viable on systems with nontrivial quantitative information flow requirements such as a passcode checker.


title: Mild solutions of time fractional Navier-Stokes equations driven by finite delayed external forces

abstract: In this work, we consider time-fractional Navier-Stokes equations (NSE) with the external forces involving finite delay. Equations are considered on a bounded domain in 3-D space having sufficiently smooth boundary. We transform the system of equations (NSE) to an abstract Cauchy problem and then investigate local existence and uniqueness of the mild solutions. In particular, with some suitable condition on initial datum we establish the global continuation and regularity of the mild solutions. We use semigroup theory, tools of fractional calculus and Banach contraction mapping principle to establish our results.


title: Foundations of Digital Arch{\ae}oludology

abstract: Digital Archaeoludology (DAL) is a new field of study involving the analysis and reconstruction of ancient games from incomplete descriptions and archaeological evidence using modern computational techniques. The aim is to provide digital tools and methods to help game historians and other researchers better understand traditional games, their development throughout recorded human history, and their relationship to the development of human culture and mathematical knowledge. This work is being explored in the ERC-funded Digital Ludeme Project. The aim of this inaugural international research meeting on DAL is to gather together leading experts in relevant disciplines - computer science, artificial intelligence, machine learning, computational phylogenetics, mathematics, history, archaeology, anthropology, etc. - to discuss the key themes and establish the foundations for this new field of research, so that it may continue beyond the lifetime of its initiating project.


title: Constraint-Based Monitoring of Hyperproperties

abstract: Verifying hyperproperties at runtime is a challenging problem as hyperproperties, such as non-interference and observational determinism, relate multiple computation traces with each other. It is necessary to store previously seen traces, because every new incoming trace needs to be compatible with every run of the system observed so far. Furthermore, the new incoming trace poses requirements on future traces. In our monitoring approach, we focus on those requirements by rewriting a hyperproperty in the temporal logic HyperLTL to a Boolean constraint system. A hyperproperty is then violated by multiple runs of the system if the constraint system becomes unsatisfiable. We compare our implementation, which utilizes either BDDs or a SAT solver to store and evaluate constraints, to the automata-based monitoring tool RVHyper.


title: Investigation of the electroplastic effect using nanoindentation

abstract: A promising approach to deform metallic-intermetallic composite materials is the application of electric current pulses during the deformation process to achieve a lower yield strength and enhanced elongation to fracture. This is known as the electroplastic effect. We developed a novel setup to study the electroplastic effect during nanoindentation on individual phases and well-defined interfaces. Using a eutectic Al- Al2Cu alloy as a model material, we compare the electroplastic nanoindentation results to macroscopic electroplastic compression tests. The results of the micro- and macroscopic investigations reveal current induced displacement shifts and stress drops, respectively, with the first displacement shift / stress drop being higher than the subsequent ones. A higher current intensity, higher loading rate and larger pulsing interval all cause increased displacement shifts. This observation, in conjunction with the fact that the first displacement shift is highest, strongly indicates that de-pinning of dislocations from obstacles dominates the mechanical response, rather than solely thermal effects.


title: Charged anisotropic compact star in $f(R,\mathcal{T})$ gravity: A minimal geometric deformation gravitational decoupling approach

abstract: This article is devoted to the study of high dense charged anisotropic compact structures in the framework of $f(R,\mathcal{T})$ gravity theory. The principal aims of this investigation, regard the extension of the isotropic Durgapal-Fuloria model within the context of charged isotropic $f(R,\mathcal{T})$ solutions. The second main goal of this work is to apply the gravitational decoupling via a minimal geometric deformation (MGD) scheme in $f(R,\mathcal{T})$ gravity. Finally, the third one is to derive an anisotropic version of the charged isotropic model previously obtained by applying gravitational decoupling technology. This MGD approach splits the system of equations into two separate sets, one corresponding with the f(R,$\mathcal{T}$) gravity system and another corresponding to the anisotropic sector governed by the extra source $\theta_{\mu\nu}$.To address this task we have considered some ingredients: I) the f(R,$\mathcal{T}$) model corresponds to a linear functional of the Ricci's scalar and the trace of the energy-momentum tensor $\mathcal{T}$, specifically $ f(R,\mathcal{T}) =R+2\chi\mathcal{T}$, being $\chi$ a running coupling constant. II) The matter distribution is taken to be an isotropic fluid one, III) the Lagrangian matter $\mathcal{L}_{m}$ corresponds to the negative isotropic pressure \i.e, $-p$ and IV) in order to solve the $\theta$-sector, a suitable form for the decoupler function $f(r)$ has been imposed, respecting all the physical and mathematical requirements. Finally, to check and contrast our model an exhaustive mathematical, physical and graphical analysis is performed in order to show all the properties that characterize the compact structure. It is worth mentioning that when $\chi=0$ Einstein's gravity theory results are recovered.


title: Demonstration of the broadband half-wave plate using the nine-layer sapphire for the CMB polarization experiment

abstract: We report the development of the achromatic half-wave plate (AHWP) at millimeter wave for cosmic microwave background polarization experiments. We fabricate an AHWP consisting of nine a-cut sapphire plates based on the Pancharatnam recipe to cover a wide frequency range. The modulation efficiency and the phase are measured in a frequency range of 33 to 260 GHz with incident angles up to 10 degrees. We find the measurements at room temperature are in good agreement with the predictions. This is the broadest demonstration of the AHWP at the millimeter wave.


title: Multiple Policy Value Monte Carlo Tree Search

abstract: Many of the strongest game playing programs use a combination of Monte Carlo tree search (MCTS) and deep neural networks (DNN), where the DNNs are used as policy or value evaluators. Given a limited budget, such as online playing or during the self-play phase of AlphaZero (AZ) training, a balance needs to be reached between accurate state estimation and more MCTS simulations, both of which are critical for a strong game playing agent. Typically, larger DNNs are better at generalization and accurate evaluation, while smaller DNNs are less costly, and therefore can lead to more MCTS simulations and bigger search trees with the same budget. This paper introduces a new method called the multiple policy value MCTS (MPV-MCTS), which combines multiple policy value neural networks (PV-NNs) of various sizes to retain advantages of each network, where two PV-NNs f_S and f_L are used in this paper. We show through experiments on the game NoGo that a combined f_S and f_L MPV-MCTS outperforms single PV-NN with policy value MCTS, called PV-MCTS. Additionally, MPV-MCTS also outperforms PV-MCTS for AZ training.


title: Unified Analysis of Periodization-Based Sampling Methods for Mat\'ern Covariances

abstract: The periodization of a stationary Gaussian random field on a sufficiently large torus comprising the spatial domain of interest is the basis of various efficient computational methods, such as the classical circulant embedding technique using the fast Fourier transform for generating samples on uniform grids. For the family of Mat\'ern covariances with smoothness index $\nu$ and correlation length $\lambda$, we analyse the nonsmooth periodization (corresponding to classical circulant embedding) and an alternative procedure using a smooth truncation of the covariance function. We solve two open problems: the first concerning the $\nu$-dependent asymptotic decay of eigenvalues of the resulting circulant in the nonsmooth case, the second concerning the required size in terms of $\nu$, $\lambda$ of the torus when using a smooth periodization. In doing this we arrive at a complete characterisation of the performance of these two approaches. Both our theoretical estimates and the numerical tests provided here show substantial advantages of smooth truncation.


title: Deep interpretable architecture for plant diseases classification

abstract: Recently, many works have been inspired by the success of deep learning in computer vision for plant diseases classification. Unfortunately, these end-to-end deep classifiers lack transparency which can limit their adoption in practice. In this paper, we propose a new trainable visualization method for plant diseases classification based on a Convolutional Neural Network (CNN) architecture composed of two deep classifiers. The first one is named Teacher and the second one Student. This architecture leverages the multitask learning to train the Teacher and the Student jointly. Then, the communicated representation between the Teacher and the Student is used as a proxy to visualize the most important image regions for classification. This new architecture produces sharper visualization than the existing methods in plant diseases context. All experiments are achieved on PlantVillage dataset that contains 54306 plant images.


title: Randomized construction of complexes with large diameter

abstract: We consider the question of the largest possible combinatorial diameter among $(d-1)$-dimensional simplicial complexes on $n$ vertices, denoted $H_s(n, d)$. Using a probabilistic construction we give a new lower bound on $H_s(n, d)$ that is within an $O(d^2)$ factor of the upper bound. This improves on the previously best-known lower bound which was within a factor of $e^{\Theta(d)}$ of the upper bound. We also make a similar improvement in the case of pseudomanifolds.


title: From interacting agents to density-based modeling with stochastic PDEs

abstract: Many real-world processes can naturally be modeled as systems of interacting agents. However, the long-term simulation of such agent-based models is often intractable when the system becomes too large. In this paper, starting from a stochastic spatio-temporal agent-based model (ABM), we present a reduced model in terms of stochastic PDEs that describes the evolution of agent number densities for large populations. We discuss the algorithmic details of both approaches; regarding the SPDE model, we apply Finite Element discretization in space which not only ensures efficient simulation but also serves as a regularization of the SPDE. Illustrative examples for the spreading of an innovation among agents are given and used for comparing ABM and SPDE models.


title: Quantum Mean Embedding of Probability Distributions

abstract: The kernel mean embedding of probability distributions is commonly used in machine learning as an injective mapping from distributions to functions in an infinite dimensional Hilbert space. It allows us, for example, to define a distance measure between probability distributions, called maximum mean discrepancy (MMD). In this work, we propose to represent probability distributions in a pure quantum state of a system that is described by an infinite dimensional Hilbert space. This enables us to work with an explicit representation of the mean embedding, whereas classically one can only work implicitly with an infinite dimensional Hilbert space through the use of the kernel trick. We show how this explicit representation can speed up methods that rely on inner products of mean embeddings and discuss the theoretical and experimental challenges that need to be solved in order to achieve these speedups.


title: Quantum oscillations and nontrivial topological state in a compensated semimetal TaP2

abstract: We report systematic magneto-transport measurements and ab initio calculations on single-crystalline TaP2, a new member of the transition-metal dipnictides. We observed unsaturated magnetoresistance (MR) reaching ~ 700% at a magnetic field (B) of 9 T at 2 K along with striking Shubnikov-de Hass (SdH) oscillations. Our analysis on the SdH oscillations reveals nonzero Berry phase, indicating nontrivial band topology. The analysis also uncovers three fundamental magnetic oscillation frequencies of 72 T, 237 T, and 356 T, consistent with the theoretical calculations which reveal one hole pocket and two electron pockets at the L point and one electron pocket at the Z point of the Brillouin zone. We also found negative longitudinal MR (n-MR) within a narrow window of the angles between B and the electric current (I). The n-MR could be fitted with the Adler-Bell-Jackiw chiral anomaly equation but the origin remains yet ambiguous. The ab inito calculations suggest TaP2 as a weak topological insulator with the Z2 indices of (0; 111), which exhibits topological surface states on the (001) surface.


title: Bayesian Tensor Factorisation for Bottom-up Hidden Tree Markov Models

abstract: Bottom-Up Hidden Tree Markov Model is a highly expressive model for tree-structured data. Unfortunately, it cannot be used in practice due to the intractable size of its state-transition matrix. We propose a new approximation which lies on the Tucker factorisation of tensors. The probabilistic interpretation of such approximation allows us to define a new probabilistic model for tree-structured data. Hence, we define the new approximated model and we derive its learning algorithm. Then, we empirically assess the effective power of the new model evaluating it on two different tasks. In both cases, our model outperforms the other approximated model known in the literature.


title: From Global Choreographies to Provably Correct and Efficient Distributed Implementations

abstract: We define a method to automatically synthesize provably-correct efficient distributed implementations from high-level global choreographies. A global choreography describes the execution and communication logic between a set of provided processes which are described by their interfaces. The operations at the level of choreographies include multiparty communications, choice, loop, and branching. Choreographies are master-triggered, that is each choreography has one master to trigger its execution. This allows to automatically generate conflict free distributed implementations without controllers. The behavior of the synthesized implementations follows the behavior of choreographies. In addition, the absence of controllers ensures the efficiency of the implementation and reduces the communication needed at runtime. Moreover, we define a translation of the distributed implementations to equivalent Promela versions. The translation allows verifying the distributed system against behavioral properties. We implemented a Java prototype to validate the approach and applied it to automatically synthesize micro-services architectures. We illustrate our method on the automatic synthesis of a verified distributed buying system.


title: Taming Combinatorial Challenges in Optimal Clutter Removal Tasks

abstract: We examine an important combinatorial challenge in clearing clutter using a mobile robot equipped with a manipulator, seeking to compute an optimal object removal sequence for minimizing the task completion time, assuming that each object is grasped once and then subsequently removed. On the structural side, we establish that such an optimal sequence can be NP-hard to compute, even when no two objects to be removed have any overlap. Then, we construct asymptotically optimal and heuristic algorithms for clutter removal. Employing dynamic programming, our optimal algorithm scales to 40 objects. On the other hand, for random clutter, fast greedy algorithms tend to produce solutions comparable to these generated by the optimal algorithm.


title: Graduated Fidelity Lattices for Motion Planning under Uncertainty

abstract: We present a novel approach for motion planning in mobile robotics under sensing and motion uncertainty based on state lattices with graduated fidelity. The probability of collision is reliably estimated considering the robot shape, and the fidelity adapts to the complexity of the environment, improving the planning efficiency while maintaining the performance. Safe and optimal paths are found with an informed search algorithm, for which a novel multi-resolution heuristic is presented. Results for different scenarios and robot shapes are given, showing the validity of the proposed methods.


title: Cyber Warfare: Terms, Issues, Laws and Controversies

abstract: Recent years have shown us the importance of cybersecurity. Especially, when the matter is national security, it is even more essential and crucial. Increasing cyber attacks, especially between countries in governmental level, created a new term cyber warfare. Creating some rules and regulations for this kind of war is necessary therefore international justice systems are working on it continuously. In this paper, we mentioned fundamental terms of cybersecurity, cyber capabilities of some countries, some important cyber attacks in near past, and finally, globally applied cyber warfare law for this attacks.


title: Autonomous Human Activity Classification from Ego-vision Camera and Accelerometer Data

abstract: There has been significant amount of research work on human activity classification relying either on Inertial Measurement Unit (IMU) data or data from static cameras providing a third-person view. Using only IMU data limits the variety and complexity of the activities that can be detected. For instance, the sitting activity can be detected by IMU data, but it cannot be determined whether the subject has sat on a chair or a sofa, or where the subject is. To perform fine-grained activity classification from egocentric videos, and to distinguish between activities that cannot be differentiated by only IMU data, we present an autonomous and robust method using data from both ego-vision cameras and IMUs. In contrast to convolutional neural network-based approaches, we propose to employ capsule networks to obtain features from egocentric video data. Moreover, Convolutional Long Short Term Memory framework is employed both on egocentric videos and IMU data to capture temporal aspect of actions. We also propose a genetic algorithm-based approach to autonomously and systematically set various network parameters, rather than using manual settings. Experiments have been performed to perform 9- and 26-label activity classification, and the proposed method, using autonomously set network parameters, has provided very promising results, achieving overall accuracies of 86.6\% and 77.2\%, respectively. The proposed approach combining both modalities also provides increased accuracy compared to using only egovision data and only IMU data.


title: Chaos and Complexity in Quantum Mechanics

abstract: We propose a new diagnostic for quantum chaos. We show that time evolution of complexity for a particular type of target state can provide equivalent information about the classical Lyapunov exponent and scrambling time as out-of-time-order correlators. Moreover, for systems that can be switched from a regular to unstable (chaotic) regime by a tuning of the coupling constant of the interaction Hamiltonian, we find that the complexity defines a new time scale. We interpret this time scale as recording when the system makes the transition from regular to chaotic behaviour.


title: Theory of Optimal Transport and the Structure of Many-Body States

abstract: There has been much work in the recent past in developing the idea of quantum geometry to characterize and understand the structure of many-particle states. For mean-field states, the quantum geometry has been defined and analysed in terms of the quantum distances between two points in the space of single particle spectral parameters (the Brillioun zone for periodic systems) and the geometric phase associated with any loop in this space. These definitions are in terms of single-particle wavefunctions. In recent work, we had proposed a formalism to define quantum distances between two points in the spectral parameter space for any correlated many-body state. In this paper we argue that, for correlated states, the application of the theory of optimal transport to analyse the geometry is a powerful approach. This technique enables us to define geometric quantities which are averaged over the entire spectral parameter space. We present explicit results for a well studied model, the one dimensional t-V model, which exhibits a metal-insulator transition, as evidence for our hypothesis.


title: Scaling Video Analytics on Constrained Edge Nodes

abstract: As video camera deployments continue to grow, the need to process large volumes of real-time data strains wide area network infrastructure. When per-camera bandwidth is limited, it is infeasible for applications such as traffic monitoring and pedestrian tracking to offload high-quality video streams to a datacenter. This paper presents FilterForward, a new edge-to-cloud system that enables datacenter-based applications to process content from thousands of cameras by installing lightweight edge filters that backhaul only relevant video frames. FilterForward introduces fast and expressive per-application microclassifiers that share computation to simultaneously detect dozens of events on computationally constrained edge nodes. Only matching events are transmitted to the cloud. Evaluation on two real-world camera feed datasets shows that FilterForward reduces bandwidth use by an order of magnitude while improving computational efficiency and event detection accuracy for challenging video content.


title: Compact Formulae for Three-Center Nuclear Attraction Integrals Over Exponential Type Functions

abstract: In any ab initio molecular orbital (MO) calculations, the major task involves the computation of the so-called molecular multi-center integrals. Multi-center integral calculations is a very challenging mathematical problem in nature. Quantum mechanics only determines which integrals we evaluate, but the techniques employed for their evaluations are entirely mathematical. The three-center nuclear attraction integrals occur in a very large number even for small molecules and are among of the most difficult molecular integrals to compute efficiently to a high pre-determined accuracy. In the present contribution, we report analytical expressions for the three-center nuclear attraction integrals over exponential type functions. We describe how to compute the formula to obtain an efficient evaluation in double precision arithmetic. This requires the rational minimax approximants that minimize the maximum error on the interval of evaluation. The numerical tests show a substantial gain in efficiency over the state-of-the-art.