title: A pressure-robust discretization of Oseen's equation using stabilization in the vorticity equation

abstract: Discretization of Navier-Stokes' equations using pressure-robust finite element methods is considered for the high Reynolds number regime. To counter oscillations due to dominating convection we add a stabilization based on a bulk term in the form of a residual-based least squares stabilization of the vorticity equation supplemented by a penalty term on (certain components of) the gradient jump over the elements faces. Since the stabilization is based on the vorticity equation, it is independent of the pressure gradients, which makes it pressure-robust. Thus, we prove pressure-independent error estimates in the linearized case, known as Oseen's problem. In fact, we prove an $O(h^{k+\frac12})$ error estimate in the $L^2$-norm that is known to be the best that can be expected for this type of problem. Numerical examples are provided that, in addition to confirming the theoretical results, show that the present method compares favorably to the classical residual-based SUPG stabilization.


title: Large gauge transformations, gauge invariance, and the QCD $\theta_{\text{YM}}$-term

abstract: The eliminative view of gauge degrees of freedom -- the view that they arise solely from descriptive redundancy and are therefore eliminable from the theory -- is a lively topic of debate in the philosophy of physics. Recent work attempts to leverage properties of the QCD $\theta_{\text{YM}}$-term to provide a novel argument against the eliminative view. The argument is based on the claim that the QCD $\theta_{\text{YM}}$-term changes under "large" gauge transformations. Here we review geometrical propositions about fiber bundles that unequivocally falsify these claims: the $\theta_{\text{ YM}}$-term encodes topological features of the fiber bundle used to represent gauge degrees of freedom, but it is fully gauge-invariant. Nonetheless, within the essentially classical viewpoint pursued here, the physical role of the $\theta_{\text{YM}}$-term shows the physical importance of bundle topology (or superpositions thereof) and thus weighs against (a naive) eliminativism.


title: Technologies for the ELGAR large scale atom interferometer array

abstract: We proposed the European Laboratory for Gravitation and Atom-interferometric Research (ELGAR), an array of atom gradiometers aimed at studying space-time and gravitation with the primary goal of observing gravitational waves (GWs) in the infrasound band with a peak strain sensitivity of $3.3 \times 10^{-22}/\sqrt{\text{Hz}}$ at 1.7 Hz. In this paper we detail the main technological bricks of this large scale detector and emphasis the research pathways to be conducted for its realization. We discuss the site options, atom optics, and source requirements needed to reach the target sensitivity. We then discuss required seismic isolation techniques, Gravity Gradient Noise reduction strategies, and the metrology of various noise couplings to the detector.


title: N=4 super-Schwarzian via nonlinear realizations

abstract: Current studies of supersymmetric extensions of the Sachdev-Ye-Kitaev model stimulate a renewed interest in super-Schwarzian derivatives. In this work, we apply the method of nonlinear realizations to the finite-dimensional superconformal group SU(1,1|2) and link its invariants to the N=4 super-Schwarzian.


title: Measuring Many-Body Distribution Functions in Fluids using Test-Particle Insertion

abstract: We derive a hierarchy of equations which allow a general $n$-body distribution function to be measured by test-particle insertion of between $1$ and $n$ particles, and successfully apply it to measure the pair and three-body distribution functions in a simple fluid. The insertion-based methods overcome the drawbacks of the conventional distance-histogram approach, offering enhanced structural resolution and a more straightforward normalisation. They will be especially useful in characterising the structure of inhomogeneous fluids and investigating closure approximations in liquid state theory.

categories: cond-mat.stat-mech cond-mat.mtrl-sci cond-mat.soft physics.chem-ph physics.class-ph


title: Advanced in silico characterization of nanomaterials for nanoparticle toxicology

abstract: Nanomaterials possess a wide range of potential applications due to their novel properties compared to bulk matter, but these same properties may represent an unknown risk to health. Experimental safety testing cannot keep pace with the rate at which new nanoparticles are developed and, being lengthy and expensive, often hinders the development of technology. An economic alternative to in vitro and in vivo testing is offered by nanoinformatics, potentially enabling the quantitative relation of the nanomaterial properties to their crucial biological activities. Recent research efforts have demonstrated that such activities can be successfully predicted from the physicochemical characteristics of nanoparticles, especially those related to the bionano interface, by means of statistical models. In this work, as a step towards in silico prediction of toxicity of nanomaterials, an advanced computational characterization of these materials has been proposed and applied to titanium dioxide nanoparticles. The characteristics of nanoparticles and bionano interface are computed using a systematic multiscale approach relying only on information on chemistry and structure of the nanoparticles.


title: Simultaneous Estimation of X-ray Back-Scatter and Forward-Scatter using Multi-Task Learning

abstract: Scattered radiation is a major concern impacting X-ray image-guided procedures in two ways. First, back-scatter significantly contributes to patient (skin) dose during complicated interventions. Second, forward-scattered radiation reduces contrast in projection images and introduces artifacts in 3-D reconstructions. While conventionally employed anti-scatter grids improve image quality by blocking X-rays, the additional attenuation due to the anti-scatter grid at the detector needs to be compensated for by a higher patient entrance dose. This also increases the room dose affecting the staff caring for the patient. For skin dose quantification, back-scatter is usually accounted for by applying pre-determined scalar back-scatter factors or linear point spread functions to a primary kerma forward projection onto a patient surface point. However, as patients come in different shapes, the generalization of conventional methods is limited. Here, we propose a novel approach combining conventional techniques with learning-based methods to simultaneously estimate the forward-scatter reaching the detector as well as the back-scatter affecting the patient skin dose. Knowing the forward-scatter, we can correct X-ray projections, while a good estimate of the back-scatter component facilitates an improved skin dose assessment. To simultaneously estimate forward-scatter as well as back-scatter, we propose a multi-task approach for joint back- and forward-scatter estimation by combining X-ray physics with neural networks. We show that, in theory, highly accurate scatter estimation in both cases is possible. In addition, we identify research directions for our multi-task framework and learning-based scatter estimation in general.


title: Hyperbolic models for the spread of epidemics on networks: kinetic description and numerical methods

abstract: We consider the development of hyperbolic transport models for the propagation in space of an epidemic phenomenon described by a classical compartmental dynamics. The model is based on a kinetic description at discrete velocities of the spatial movement and interactions of a population of susceptible, infected and recovered individuals. Thanks to this, the unphysical feature of instantaneous diffusive effects, which is typical of parabolic models, is removed. In particular, we formally show how such reaction-diffusion models are recovered in an appropriate diffusive limit. The kinetic transport model is therefore considered within a spatial network, characterizing different places such as villages, cities, countries, etc. The transmission conditions in the nodes are analyzed and defined. Finally, the model is solved numerically on the network through a finite-volume IMEX method able to maintain the consistency with the diffusive limit without restrictions due to the scaling parameters. Several numerical tests for simple epidemic network structures are reported and confirm the ability of the model to correctly describe the spread of an epidemic.


title: Robust Semi-Device Independent Certification of All Pure Bipartite Maximally Entangled States via Quantum Steering

abstract: The idea of self-testing is to render guarantees concerning the inner workings of a device based on the measurement statistics. It is one of the most formidable quantum certification and benchmarking schemes. Recently it was shown by Coladangelo et. al. (Nat Commun 8, 15485 (2017)) that all pure bipartite entangled states can be self tested in the device independent scenario by employing subspace methods introduced by Yang et. al. (Phys. Rev. A 87, 050102(R)). Here, we have adapted their method to show that any bipartite pure entangled state can be certified in the semi-device independent scenario through Quantum Steering. Analogous to the tilted CHSH inequality, we use a steering inequality called Tilted Steering Inequality for certifying any pure two-qubit entangled state. Further, we use this inequality to certify any bipartite pure entangled state by certifying two-dimensional sub-spaces of the qudit state by observing the structure of the set of assemblages obtained on the trusted side after measurements are made on the un-trusted side. As a feature of quantum state certification via steering, we use the notion of Assemblage based robust state certification to provide robustness bounds for the certification result in the case of pure maximally entangled states of any local dimension.


title: Quadrupole absorption rate and orbital angular momentum transfer for atoms in optical vortices

abstract: Recent experiments involving the interaction of optical vortices with atoms in quadrupole transitions have been shown to be accompanied by the exchange of orbital angular momentum (OAM) between the electronic states of the atom and the optical vortex field. Earlier work by both theory and experiment had ruled out the transfer of a vortex OAM to the electronic degrees of freedom in an electric dipole atomic transition and it has been confirmed that the lowest multipolar order involving an OAM transfer to the electronic motion is indeed the electric quadrupole. Hitherto, the quadrupole transition involving optical vortices has not been quantified and we have thus set out to evaluate the absorption rate accompanied by an OAM transfer with reference to the $6^2S_{1/2}\rightarrow 5^2D_{5/2}$ in Cs when caesium atoms are subject to the field of a linearly polarized optical vortex. Our results assuming typical experimentally accessible parameters indicate that the absorption rate for moderate light intensities is smaller than the quadrupole spontaneous emission rate, but should still be within the measurement capabilities of modern spectroscopic techniques.


title: Spherical orbits around a Kerr black hole

abstract: A special class of orbits known to exist around a Kerr black hole are spherical orbits -- orbits with constant coordinate radii that are not necessarily confined to the equatorial plane. Spherical time-like orbits were first studied by Wilkins almost 50 years ago. In the present paper, we perform a systematic and thorough study of these orbits, encompassing and extending previous works on them. We first present simplified forms for the parameters of these orbits. The parameter space of these orbits is then analysed in detail; in particular, we delineate the boundaries between stable and unstable orbits, bound and unbound orbits, and prograde and retrograde orbits. Finally, we provide analytic solutions of the geodesic equations, and illustrate a few representative examples of these orbits.


title: Synthetic-to-Real Domain Adaptation for Lane Detection

abstract: Accurate lane detection, a crucial enabler for autonomous driving, currently relies on obtaining a large and diverse labeled training dataset. In this work, we explore learning from abundant, randomly generated synthetic data, together with unlabeled or partially labeled target domain data, instead. Randomly generated synthetic data has the advantage of controlled variability in the lane geometry and lighting, but it is limited in terms of photo-realism. This poses the challenge of adapting models learned on the unrealistic synthetic domain to real images. To this end we develop a novel autoencoder-based approach that uses synthetic labels unaligned with particular images for adapting to target domain data. In addition, we explore existing domain adaptation approaches, such as image translation and self-supervision, and adjust them to the lane detection task. We test all approaches in the unsupervised domain adaptation setting in which no target domain labels are available and in the semi-supervised setting in which a small portion of the target images are labeled. In extensive experiments using three different datasets, we demonstrate the possibility to save costly target domain labeling efforts. For example, using our proposed autoencoder approach on the llamas and tuSimple lane datasets, we can almost recover the fully supervised accuracy with only 10% of the labeled data. In addition, our autoencoder approach outperforms all other methods in the semi-supervised domain adaptation scenario.


title: Structure of sets of solutions of parametrised semi-linear elliptic systems on spheres

abstract: In this paper we study a parametrised non-cooperative symmetric semi-linear elliptic system on a sphere. Assuming that there exist critical orbits of the potential, we study the structure of the sets of solutions of the system. In particular, using the equivariant Rabinowitz Alternative we formulate sufficient conditions for a bifurcation of unbounded sets of solutions.


title: Privacy and Integrity Preserving Computations with CRISP

abstract: In the digital era, users share their personal data with service providers to obtain some utility, e.g., access to high-quality services. Yet, the induced information flows raise privacy and integrity concerns. Consequently, cautious users may want to protect their privacy by minimizing the amount of information they disclose to curious service providers. Service providers are interested in verifying the integrity of the users' data to improve their services and obtain useful knowledge for their business. In this work, we present a generic solution to the trade-off between privacy, integrity, and utility, by achieving authenticity verification of data that has been encrypted for offloading to service providers. Based on lattice-based homomorphic encryption and commitments, as well as zero-knowledge proofs, our construction enables a service provider to process and reuse third-party signed data in a privacy-friendly manner with integrity guarantees. We evaluate our solution on different use cases such as smart-metering, disease susceptibility, and location-based activity tracking, thus showing its versatility. Our solution achieves broad generality, quantum-resistance, and relaxes some assumptions of state-of-the-art solutions without affecting performance.


title: Coding with Noiseless Feedback over the Z-channel

abstract: In this paper, we consider encoding strategies for the Z-channel with noiseless feedback. We analyze the combinatorial setting where the maximum number of errors inflicted by an adversary is proportional to the number of transmissions, which goes to infinity. Without feedback, it is known that the rate of optimal asymmetric-error-correcting codes for the error fraction $\tau\ge 1/4$ vanishes as the blocklength grows. In this paper, we give an efficient feedback encoding scheme with $n$ transmissions that achieves a positive rate for any fraction of errors $\tau<1$ and $n\to\infty$. Additionally, we state an upper bound on the rate of asymptotically long feedback asymmetric error-correcting codes.


title: Extrinsic doping in group IV hexagonal-diamond type crystals

abstract: Over the last few years, group IV hexagonal-diamond type crystals have acquired great attention in semiconductor physics thanks to the appearance of novel and very effective growth methods. However, many questions remain unaddressed on their extrinsic doping capability and on how it compares to those of diamond-like structures. This point is here investigated through numerical simulations conducted in the framework of the Density Functional Theory (DFT). The comparative analysis for group III and V dopant atoms shows that: i) in diamond-type crystals the bulk sites symmetry ($T_d$) is preserved by doping while in hexagonal crystals the impurity site moves towards a higher ($T_d$) or lower ($C_{3v}$) symmetry configuration dependently on the valence of the dopant atoms; ii) for Si and Ge, group III impurities can be more easily introduced in the hexagonal-diamond phase, whose local $C_{3v}$ symmetry better accommodates the three-fold coordination of the impurity, while n-type impurities do not reveal any marked phase preference; iii) for C, both n and p dopants are more stable in the hexagonal-diamond structure than in the the cubic one, but this tendency is much more pronounced for n-type impurities.


title: How benign is benign overfitting?

abstract: We investigate two causes for adversarial vulnerability in deep neural networks: bad data and (poorly) trained models. When trained with SGD, deep neural networks essentially achieve zero training error, even in the presence of label noise, while also exhibiting good generalization on natural test data, something referred to as benign overfitting [2, 10]. However, these models are vulnerable to adversarial attacks. We identify label noise as one of the causes for adversarial vulnerability, and provide theoretical and empirical evidence in support of this. Surprisingly, we find several instances of label noise in datasets such as MNIST and CIFAR, and that robustly trained models incur training error on some of these, i.e. they don't fit the noise. However, removing noisy labels alone does not suffice to achieve adversarial robustness. Standard training procedures bias neural networks towards learning "simple" classification boundaries, which may be less robust than more complex ones. We observe that adversarial training does produce more complex decision boundaries. We conjecture that in part the need for complex decision boundaries arises from sub-optimal representation learning. By means of simple toy examples, we show theoretically how the choice of representation can drastically affect adversarial robustness.


title: Particle polarization, spin tensor and the Wigner distribution in relativistic systems

abstract: Particle spin polarization is known to be linked both to rotation (angular momentum) and magnetization of a many particle system. However, in the most common formulation of relativistic kinetic theory, the spin degrees of freedom appear only as degeneracy factors multiplying phase-space distributions. Thus, it is important to develop theoretical tools that allow to make predictions regarding the spin polarization of particles, which can be directly confronted with experimental data. Herein, we discuss a link between the relativistic spin tensor and particle spin polarization, and elucidate the connections between the Wigner function and average polarization. Our results may be useful for theoretical interpretation of heavy-ion data on spin polarization of the produced hadrons.


title: Incorporating prior knowledge about structural constraints in model identification

abstract: Model identification is a crucial problem in chemical industries. In recent years, there has been increasing interest in learning data-driven models utilizing partial knowledge about the system of interest. Most techniques for model identification do not provide the freedom to incorporate any partial information such as the structure of the model. In this article, we propose model identification techniques that could leverage such partial information to produce better estimates. Specifically, we propose Structural Principal Component Analysis (SPCA) which improvises over existing methods like PCA by utilizing the essential structural information about the model. Most of the existing methods or closely related methods use sparsity constraints which could be computationally expensive. Our proposed method is a wise modification of PCA to utilize structural information. The efficacy of the proposed approach is demonstrated using synthetic and industrial case-studies.


title: Dold sequences, periodic points, and dynamics

abstract: In this survey we describe how the so-called Dold congruence arises in topology, and how it relates to periodic point counting in dynamical systems.


title: Improving Conversational Recommender Systems via Knowledge Graph based Semantic Fusion

abstract: Conversational recommender systems (CRS) aim to recommend high-quality items to users through interactive conversations. Although several efforts have been made for CRS, two major issues still remain to be solved. First, the conversation data itself lacks of sufficient contextual information for accurately understanding users' preference. Second, there is a semantic gap between natural language expression and item-level user preference. To address these issues, we incorporate both word-oriented and entity-oriented knowledge graphs (KG) to enhance the data representations in CRSs, and adopt Mutual Information Maximization to align the word-level and entity-level semantic spaces. Based on the aligned semantic representations, we further develop a KG-enhanced recommender component for making accurate recommendations, and a KG-enhanced dialog component that can generate informative keywords or entities in the response text. Extensive experiments have demonstrated the effectiveness of our approach in yielding better performance on both recommendation and conversation tasks.


title: Spinney: post-processing of first-principles calculations of point defects in semiconductors with Python

abstract: Understanding and predicting the thermodynamic properties of point defects in semiconductors and insulators would greatly aid in the design of novel materials and allow tuning the properties of existing ones. As a matter of fact, first-principles calculations based on density functional theory (DFT) and the supercell approach have become a standard tool for the study of point defects in solids. However, in the dilute limit, of most interest for the design of novel semiconductor materials, the raw DFT calculations require an extensive post-processing. Spinney is an open-source Python package developed with the aim of processing first-principles calculations to obtain several quantities of interest, such as the chemical potential limits that assure the thermodynamic stability of the defectladen system, defect charge transition levels, defect formation energies, including electrostatic corrections for finite-size effects, and defect and carrier concentrations. In this paper we demonstrate the capabilities of the Spinney code using c-BN, Mg-doped GaN, TiO2 and ZnO as examples.


title: Symplectic Q-functions

abstract: Symplectic $Q$-functions are a symplectic analogue of Schur $Q$-functions and defined as the $t=-1$ specialization of Hall--Littlewood functions associated with the root system of type $C$. In this paper we prove that symplectic $Q$-functions share many of the properties of Schur $Q$-functions, such as a tableau description and a Pieri-type rule. And we present some positivity conjectures, including the positivity conjecture of structure constants for symplectic $P$-functions. We conclude by giving a tableau description of factorial symplectic $Q$-functions.


title: Bound states of discrete Schr\"odinger operators on one and two dimensional lattices

abstract: We study the spectral properties of discrete Schr\"odinger operator $$ \widehat H_\mu=\widehat H_0 + \mu \widehat{V},\qquad \mu\ge0, $$ associated to a one-particle system in $d$-dimensional lattice $\mathbb{Z}^d, $ $d=1,2,$ where the non-perturbed operator $\hat H_0$ is a self-adjoint Laurent-Toeplitz-type operator generated by $\hat e:\mathbb{Z}^d\to\mathbb{C}$ and the potential $\hat V$ is the multiplication operator by $\hat v:\mathbb{Z}^d\to\mathbb{R}.$ Under certain regularity assumption on $\hat e$ and a decay assumption on $\hat v$, we establish the existence or non-existence and also the finiteness of eigenvalues of $\hat H_\mu.$ Moreover, in the case of existence we study the asymptotics of eigenvalues of $\hat H_\mu$ as $\mu\searrow 0.$


title: Threshold ECDSA with an Offline Recovery Party

abstract: A $(t,n)-$ threshold signature scheme enables distributed signing among $n$ players such that any subgroup of size $t$ can sign, whereas any group with fewer players cannot. Our goal is to produce signatures that are compatible with an existing centralized signature scheme: the key generation and signature algorithm are replaced by a communication protocol between the parties, but the verification algorithm remains identical to that of a signature issued using the centralized algorithm. Starting from the threshold schemes for the ECDSA signature due to R. Gennaro and S. Goldfeder, we present the first protocol that supports multiparty signatures with an offline participant during the Key Generation Phase, without relying on a trusted third party. Following well-established approaches, we prove our scheme secure against adaptive malicious adversaries.


title: Modeling semi-competing risks data as a longitudinal bivariate process

abstract: The Adult Changes in Thought (ACT) study is a long-running prospective study of incident all-cause dementia and Alzheimer's disease (AD). As the cohort ages, death (a terminal event) is a prominent competing risk for AD (a non-terminal event), although the reverse is not the case. As such, analyses of data from ACT can be placed within the semi-competing risks framework. Central to semi-competing risks, and in contrast to standard competing risks, is that one can learn about the dependence structure between the two events. To-date, however, most methods for semi-competing risks treat dependence as a nuisance and not a potential source of new clinical knowledge. We propose a novel regression-based framework that views the two time-to-event outcomes through the lens of a longitudinal bivariate process on a partition of the time scale. A key innovation of the framework is that dependence is represented in two distinct forms, $\textit{local}$ and $\textit{global}$ dependence, both of which have intuitive clinical interpretations. Estimation and inference are performed via penalized maximum likelihood, and can accommodate right censoring, left truncation and time-varying covariates. The framework is used to investigate the role of gender and having $\ge$1 APOE-$\epsilon4$ allele on the joint risk of AD and death.


title: Electrical properties of inhomogeneous tungsten carbide Schottky barrier on 4H-SiC

abstract: In this paper, the electrical behavior of tungsten carbide (WC) Schottky barrier on 4H-SiC was investigated. First, a statistical current-voltage (I-V) analysis in forward bias, performed on a set of equivalent diodes, showed a symmetric Gaussian-like distribution of the barrier heights after annealing at 700{\deg}C, where a low Schottky barrier height ($\Phi$B=1.05 eV) and an ideality factor n=1.06 were measured. The low value of the barrier height makes such a WC contact an interesting candidate to reduce the conduction losses in 4H-SiC Schottky diodes. A deeper characterization has been carried out, by monitoring the temperature dependence of the I-V characteristics and the behavior of the relevant parameters $\Phi$B and n. The increase of the barrier height and decrease of the ideality factor with increasing temperature indicated a lateral inhomogeneity of the WC/4H-SiC Schottky contact, which was described by invoking the Tung's model. Interestingly, the temperature dependence of the leakage current under reverse bias could be described by considering in the thermionic field emission model the temperature dependent barrier height related to the inhomogeneity. These results can be useful to predict the behavior of WC/4H-SiC Schottky diodes under operative conditions.


title: BS4NN: Binarized Spiking Neural Networks with Temporal Coding and Learning

abstract: We recently proposed the S4NN algorithm, essentially an adaptation of backpropagation to multilayer spiking neural networks that use simple non-leaky integrate-and-fire neurons and a form of temporal coding known as time-to-first-spike coding. With this coding scheme, neurons fire at most once per stimulus, but the firing order carries information. Here, we introduce BS4NN, a modification of S4NN in which the synaptic weights are constrained to be binary (+1 or -1), in order to decrease memory (ideally, one bit per synapse) and computation footprints. This was done using two sets of weights: firstly, real-valued weights, updated by gradient descent, and used in the backward pass of backpropagation, and secondly, their signs, used in the forward pass. Similar strategies have been used to train (non-spiking) binarized neural networks. The main difference is that BS4NN operates in the time domain: spikes are propagated sequentially, and different neurons may reach their threshold at different times, which increases computational power. We validated BS4NN on two popular benchmarks, MNIST and Fashion-MNIST, and obtained reasonable accuracies for this sort of network (97.0% and 87.3% respectively) with a negligible accuracy drop with respect to real-valued weights (0.4% and 0.7%, respectively). We also demonstrated that BS4NN outperforms a simple BNN with the same architectures on those two datasets (by 0.2% and 0.9% respectively), presumably because it leverages the temporal dimension. The source codes of the proposed BS4NN are publicly available at https://github.com/SRKH/BS4NN.


title: Some Distributional Properties of Linear Stochastic Differential Equations

abstract: In this paper, we prove a sufficient and necessary condition for the transition probability distribution of a general, time-inhomogeneous linear SDE to possess a density function and study the differentiability of the density function and the transition quantile function of the SDE. Moreover, we completely characterize the support of the marginal distribution of this SDE.


title: Meteors: Light from Comets and Asteroids

abstract: In studies of the oldest solar system bodies - comets and asteroids - it is their fragments - meteoroids - that provide the most accessible planetary material for detailed laboratory analysis in the form of dust particles or meteorites. Some asteroids and comets were visited by spacecrafts and returned interplanetary samples to Earth, while missions Hayabusa 2 and OSIRIX-REx visiting asteroids Ryugu and Bennu are ongoing. However, the lack of representative samples of comets and asteroids opens the space to gain more knowledge from direct observations of meteoroids. At collision with the Earth's atmosphere, meteoroids produce light phenomena known as meteors. Different methods can be used to observe meteors, allowing us to study small interplanetary fragments, which would otherwise remain undetected. Numerous impressive meteor showers, storms and meteorite impacts have occurred throughout the recorded history and can now be predicted and analyzed in much more detail. By understanding the dynamics, composition and physical properties of meteoroids, we are able to study the formation history and dynamical evolution of the solar system. This work presents an introduction to meteor astronomy, its fundamental processes and examples of current research topics.


title: Concordance Rate of a Four-Quadrant Plot for Repeated Measurements

abstract: Before new clinical measurement methods are implemented in clinical practice, it must be confirmed whether their results are equivalent to those of existing methods. The agreement of the trend between these methods is evaluated using the four-quadrant plot, which describes the trend of change in each difference of the two measurement methods' values in sequential time points, and the plot's concordance rate, which is calculated using the sum of data points in the four-quadrant plot that agree with this trend divided by the number of all accepted data points. However, the conventional concordance rate does not consider the covariance between the data on individual subjects, which may affect its proper evaluation. Therefore, we proposed a new concordance rate calculated by each individual according to the number of agreement. Moreover, this proposed method can set a parameter that the minimum concordant number between two measurement techniques. The parameter can provide a more detailed interpretation of the degree of agreement. A numerical simulation conducted with several factors indicated that the proposed method resulted in a more accurate evaluation. We also showed a real data and compared the proposed method with the conventional approach. Then, we concluded the discussion with the implementation in clinical studies.


title: A One-step Approach to Covariate Shift Adaptation

abstract: A default assumption in many machine learning scenarios is that the training and test samples are drawn from the same probability distribution. However, such an assumption is often violated in the real world due to non-stationarity of the environment or bias in sample selection. In this work, we consider a prevalent setting called covariate shift, where the input distribution differs between the training and test stages while the conditional distribution of the output given the input remains unchanged. Most of the existing methods for covariate shift adaptation are two-step approaches, which first calculate the importance weights and then conduct importance-weighted empirical risk minimization. In this paper, we propose a novel one-step approach that jointly learns the predictive model and the associated weights in one optimization by minimizing an upper bound of the test risk. We theoretically analyze the proposed method and provide a generalization error bound. We also empirically demonstrate the effectiveness of the proposed method.


title: Importance of Angle-dependent Partial Frequency Redistribution in Hyperfine Structure Transitions Under Incomplete Paschen-Back Effect Regime

abstract: Angle-frequency coupling in scattering of polarized light on atoms is represented by the angle-dependent (AD) partial frequency redistribution (PRD) matrices. There are several lines in the linearly polarized solar spectrum, for which PRD combined with quantum interference between hyperfine structure states play a significant role. Here we present the solution of the polarized line transfer equation including the AD-PRD matrix for scattering on a two-level atom with hyperfine structure splitting (HFS) and an unpolarized lower level. We account for the effects of arbitrary magnetic fields (including the incomplete Paschen-Back effect regime) and elastic collisions. For exploratory purposes we consider a self-emitting isothermal planar atmosphere and use atomic parameters that represent an isolated Na\,{\sc i} D$_2$ line. For this case we show that the AD-PRD effects are significant for field strengths below about 30G, but that the computationally much less demanding approximation of angle-averaged (AA) PRD may be used for stronger fields.


title: With Wronskian through the Looking Glass

abstract: In the work of Mukhin and Varchenko from 2002 there was introduced a Wronskian map from the variety of full flags in a finite dimensional vector space into a product of projective spaces. We establish a precise relationship between this map and the Pl\"ucker map. This allows us to recover the result of Varchenko and Wright saying that the polynomials appearing in the image of the Wronsky map are the initial values of the tau-functions for the Kadomtsev-Petviashvili hierarchy.


title: Whittaker modules for the planar Galilean conformal algebra and its central extension

abstract: Let $\mathcal{G}$ be the planar Galilean conformal algebra and $\widetilde{\mathcal{G}}$ be its universal central extension. Then $\mathcal{G}$ (resp. $\widetilde{\mathcal{G}}$) admits a triangular decomposition: $\mathcal{G}=\mathcal{G}^{+}\oplus\mathcal{G}^{0}\oplus\mathcal{G}^{-}$ (resp. $\widetilde{\mathcal{G}}=\widetilde{\mathcal{G}}^{+}\oplus\widetilde{\mathcal{G}}^{0}\oplus\widetilde{\mathcal{G}}^{-}$). In this paper, we study universal and generic Whittaker $\mathcal{G}$-modules (resp. $\widetilde{\mathcal{G}}$-modules) of type $\phi$, where $\phi:\mathcal{G}^{+}=\widetilde{\mathcal{G}}^{+}\longrightarrow\mathbb{C}$ is a Lie algebra homomorphism. We classify the isomorphism classes of universal and generic Whittaker modules. Moreover, we show that a generic Whittaker modules of type $\phi$ is irreducible if and only if $\phi$ is nonsingular. For the nonsingular case, we completely determine the Whittaker vectors in universal and generic Whittaker modules. For the singular case, we concretely construct some proper submodules of generic Whittaker modules.


title: Design, Control, and Applications of a Soft Robotic Arm

abstract: This paper presents the design, control, and applications of a multi-segment soft robotic arm. In order to design a soft arm with large load capacity, several design principles are proposed by analyzing two kinds of buckling issues, under which we present a novel structure named Honeycomb Pneumatic Networks (HPN). Parameter optimization method, based on finite element method (FEM), is proposed to optimize HPN Arm design parameters. Through a quick fabrication process, several prototypes with different performance are made, one of which can achieve the transverse load capacity of 3 kg under 3 bar pressure. Next, considering different internal and external conditions, we develop three controllers according to different model precision. Specifically, based on accurate model, an open-loop controller is realized by combining piece-wise constant curvature (PCC) modeling method and machine learning method. Based on inaccurate model, a feedback controller, using estimated Jacobian, is realized in 3D space. A model-free controller, using reinforcement learning to learn a control policy rather than a model, is realized in 2D plane, with minimal training data. Then, these three control methods are compared on a same experiment platform to explore the applicability of different methods under different conditions. Lastly, we figure out that soft arm can greatly simplify the perception, planning, and control of interaction tasks through its compliance, which is its main advantage over the rigid arm. Through plentiful experiments in three interaction application scenarios, human-robot interaction, free space interaction task, and confined space interaction task, we demonstrate the potential application prospect of the soft arm.


title: Dust coagulation feedback on magnetohydrodynamic resistivities in protostellar collapse

abstract: The degree of coupling between the gas and the magnetic field during the collapse of a core and the subsequent formation of a disk depends on the assumed dust size distribution. We study the impact of grain-grain coagulation on the evolution of magnetohydrodynamic (MHD) resistivities during the collapse of a prestellar core. We use a 1-D model to follow the evolution of the dust size distribution, out-of-equilibrium ionization state and gas chemistry during the collapse of a prestellar core. To compute the grain-grain collisional rate, we consider models for both random and systematic, size-dependent, velocities. We include grain growth through grain-grain coagulation and ice accretion, but ignore grain fragmentation. Starting with a MRN (Mathis et al. 1977) size distribution, we find that coagulation in grain-grain collisions generated by hydrodynamical turbulence is not efficient at removing the smallest grains, and as a consequence does not affect much the evolution of the Hall and ambipolar diffusion MHD resistivities which still severly drop during the collapse like in models without coagulation. The inclusion of systematic velocities, possibly induced by the presence of ambipolar diffusion, increases the coagulation rate between small and large grains, removing small grains earlier in the collapse and therefore limiting the drop in the Hall and ambipolar diffusion resistivities. At intermediate densities ($n_{\rm H} \sim 10^8\,$cm$^{-3}$), the Hall and ambipolar diffusion resistivities are found to be higher by 1 to 2 orders of magnitude in models with coagulation than in models where coagulation is ignored, and also higher than in a toy model without coagulation where all grains smaller than $0.1\,{\mu}$m would have been removed in the parent cloud before the collapse. When grain drift velocities induced by ambipolar diffusion are included, dust coagulation ... (abridged)


title: Variational solutions for Resonances by a Finite-Difference Grid Method

abstract: We demonstrate that the finite difference grid method (FDM) can be simply modified to satisfy the variational principle and enable calculations of both real and complex poles of the scattering matrix. These complex poles are known as resonances and provide the energies and inverse lifetimes of the system under study (e.g., molecules) in metastable states. This approach allows incorporating finite grid methods in the study of resonance phenomena in chemistry. Possible applications include the calculation of electronic autoionization resonances which occur when ionization takes place as the bond lengths of the molecule are varied. Alternatively, the method can be applied to calculate nuclear predissociation resonances which are associated with activated complexes with finite lifetimes.


title: Optimal Decision Rules for Weak GMM

abstract: This paper studies optimal decision rules, including estimators and tests, for weakly identified GMM models. We derive the limit experiment for weakly identified GMM, and propose a theoretically-motivated class of priors which give rise to quasi-Bayes decision rules as a limiting case. Together with results in the previous literature, this establishes desirable properties for the quasi-Bayes approach regardless of model identification status, and we recommend quasi-Bayes for settings where identification is a concern. We further propose weighted average power-optimal identification-robust frequentist tests and confidence sets, and prove a Bernstein-von Mises-type result for the quasi-Bayes posterior under weak identification.


title: Computation of bonus in multi-state life insurance

abstract: We consider computation of market values of bonus payments in multi-state with-profit life insurance. The bonus scheme consists of additional benefits bought according to a dividend strategy that depends on the past realization of financial risk, the current individual insurance risk, the number of additional benefits currently held, and so-called portfolio-wide means describing the shape of the insurance business. We formulate numerical procedures that efficiently combine simulation of financial risk with classic methods for the outstanding insurance risk. Special attention is given to the case where the number of additional benefits bought only depends on the financial risk. Methods and results are illustrated via a numerical example.


title: Axion and neutrino mass from a hidden gauge symmetry model

abstract: We propose a model of dark sector described by gauged hidden $U(1)_H$ symmetry in which neutrino masses are generated at one-loop level and axion is induced by assigning Peccei-Quinn charge to fermions in dark sector relevantly. Then our scenario connects exotic fermion mass generation, neutrino mass matrix and axion through scalar fields associated with $U(1)_H$ and Peccei-Quinn symmetry breaking. We investigate neutrino mass formula, lepton flavor violation, anomalous magnetic moment of muon, dark matter relic density and axion couplings, which are originated from interactions among our dark sector and the standard model particles.


title: A fast approach to Anderson localization for even-$N$ Dyson insulator

abstract: Dyson insulators with random hoppings in a lattice approach localization faster compared to the usual Anderson insulators with site disorder. For even-$N$ lattice sites the Dyson insulators mimic topological insulators with a pseudo-gap at the band center and the energy-level statistics obtained via the $P(S)$ distribution is of an intermediate type close to the Anderson localized Poisson limit. For odd-$N$ level-repulsion and Wigner statistics appears as in the quasi-metallic regime of $2D$ Anderson insulators, plus a single $E=0$ mode protected by chiral symmetry. The distribution of the participation ratio and the multifractal dimensions of the midband state are computed. In $1D$ the Dyson state is localized and in $2D$ is fractal. Our results might be relevant for recent experimental studies of chiral localization in photonic waveguide arrays.


title: Probing primordial non-Gaussianity with Fast Radio Bursts

abstract: Fast radio bursts (FRBs) are astrophysical transients of currently unknown origin, and so far several events have been detected at extragalactic distances. The dispersion measure (DM) of the radio signal is a probe of the integrated electron density along the line of sight and therefore allows to map the electron distribution within the large-scale structure. Since a fraction of electrons gets expelled from galaxies by feedback, they are anticorrelated with halos at large scales and hence the angular DM correlations show a scale-dependent bias caused by primordial non-Gaussianity. Although the signal is weaker than in other probes like galaxy clustering, FRBs can potentially probe considerably larger volumes. We show that while studying the FRB clustering signal requires very large samples, correlations in the DM are cosmic-variance limited on large angular scales with only $\sim 10^{3-4}$ events. A tomographic analysis of the angular DM correlation function can constrain the local primordial bispectrum shape parameter $f_\mathrm{NL}$ to a precision down to ${f_\mathrm{NL}}\sim \mathcal{O}(1)$ depending on assumptions about the FRB redshift distribution and the astrophysical feedback on large scales. This makes FRBs a competitive probe to constrain inflationary physics.


title: Talents from Abroad. Foreign Managers and Productivity in the United Kingdom

abstract: In this paper, we test the contribution of foreign management on firms' competitiveness. We use a novel dataset on the careers of 165,084 managers employed by 13,106 companies in the United Kingdom in the period 2009-2017. We find that domestic manufacturing firms become, on average, between 7% and 12% more productive after hiring the first foreign managers, whereas foreign-owned firms register no significant improvement. In particular, we test that previous industry-specific experience is the primary driver of productivity gains in domestic firms (15.6%), in a way that allows the latter to catch up with foreign-owned firms. Managers from the European Union are highly valuable, as they represent about half of the recruits in our data. Our identification strategy combines matching techniques, difference-in-difference, and pre-recruitment trends to challenge reverse causality. Results are robust to placebo tests and to different estimators of Total Factor Productivity. Eventually, we argue that upcoming limits to the mobility of foreign talents after the Brexit event can hamper the allocation of productive managerial resources.


title: An Efficient Code-Domain NOMA Transceiver for mm-Wave Hybrid Massive MIMO Architectures

abstract: Massive MIMO and non-orthogonal multiple access (NOMA) are crucial methods for future wireless systems as they provide many advantages over conventional systems. Power-domain NOMA methods are investigated in massive MIMO systems, whereas there is little work on integration of code-domain NOMA and massive MIMO which is the subject of this study. We propose a general framework employing user-grouping based hybrid beamforming architecture for mm-wave massive MIMO systems where NOMA is considered as an intra-group process. It is shown that classical receivers of sparse code multiple access (SCMA) and multi-user shared access (MUSA) can be directly adapted. Additionally, a novel receiver architecture which is an improvement over classical one is proposed for uplink MUSA. This receiver makes MUSA preferable over SCMA for uplink transmission with lower complexity. We provide a lower bound on achievable information rate (AIR) as a performance measure. We show that code-domain NOMA schemes outperform conventional methods with very limited number of radio frequency (RF) chains where users are spatially close to each other. Furthermore, we provide an analysis in terms of bit-error rate and AIR under different code length and overloading scenarios for uplink transmission where flexible structure of MUSA is exploited.


title: Reversible Data Hiding in Encrypted Images Based on Bit-plane Compression of Prediction Error

abstract: As a technology that can prevent the information from being disclosed, the reversible data hiding in encrypted images (RDHEI) acts as an important role in privacy protection and information security. To make use of the image redundancy and further improve the embedding performance, a high-capacity RDHEI method based on bit-plane compression of prediction error is proposed in this paper. Firstly, the whole prediction error is calculated and divided into blocks of the same size. Then, the content owner rearranges the bit-plane of prediction error by block and compresses the bitstream with the joint encoding algorithm to reserve room. Finally, the image is encrypted and the information can be embedded into the reserved room. On the receiver side, the information extraction and the image recovery are performed separably. Experimental results show that the proposed method brings higher embedding capacity than state-of-the-art RDHEI works.


title: Decay of semigroup for an infinite interacting particle system on continuum configuration spaces

abstract: We show the heat kernel type variance decay $t^{-\frac{d}{2}}$, up to a logarithmic correction, for the semigroup of an infinite particle system on $\mathbb{R}^d$, where every particle evolves following a divergence-form operator with diffusivity coefficient that depends on the local configuration of particles. The proof relies on the strategy from $\mathbb{Z}^d$ zero range model, and generalizes the localization estimate to the continuum configuration space introduced by S. Albeverio, Y.G. Kondratiev and M. R\"ockner.


title: Fair Colorful k-Center Clustering

abstract: An instance of colorful k-center consists of points in a metric space that are colored red or blue, along with an integer k and a coverage requirement for each color. The goal is to find the smallest radius \r{ho} such that there exist balls of radius \r{ho} around k of the points that meet the coverage requirements. The motivation behind this problem is twofold. First, from fairness considerations: each color/group should receive a similar service guarantee, and second, from the algorithmic challenges it poses: this problem combines the difficulties of clustering along with the subset-sum problem. In particular, we show that this combination results in strong integrality gap lower bounds for several natural linear programming relaxations. Our main result is an efficient approximation algorithm that overcomes these difficulties to achieve an approximation guarantee of 3, nearly matching the tight approximation guarantee of 2 for the classical k-center problem which this problem generalizes.


title: Study on Computational Thinking as Problem-solving Skill: Comparison Based on Students Mindset in Engineering and Social Science

abstract: One of the capabilities which 21st-century skill compulsory a person is critical thinking and problem-solving skill that becomes top positions rank. Focus on problem-solving skills can be taught to a child, especially begun in elementary school refer to prior research focus on K-12. Computational thinking was one problem-solving skill that popular to implemented and studied in the current decade. This study was conducted to explore students' capability to be able solving of the problem based on the possibility use the computational thinking way. Participants in this study came from six international students that study in Taiwan and from two deferent sciences disciplines, engineering, and social science. A qualitative method was used to analyze data interviews, took example cases from the global issue that is Climate Change. The result founded that survive in a new environment was become evidence of their implementation of problem-solving skills. Problem-solving mindset both students of engineering and social science had discrepancy, those are how to use precise structure in the algorithm.


title: A discrete weighted Markov--Bernstein inequality for polynomials and sequences

abstract: For parameters $\,c\in(0,1)\,$ and $\,\beta>0$, let $\,\ell_{2}(c,\beta)\,$ be the Hilbert space of real functions defined on $\,\mathbb{N}\,$ (i.e., real sequences), for which $$ \| f \|_{c,\beta}^2 := \sum_{k=0}^{\infty}\frac{(\beta)_k}{k!}\,c^k\,[f(k)]^2<\infty\,. $$ We study the best (i.e., the smallest possible) constant $\,\gamma_n(c,\beta)\,$ in the discrete Markov-Bernstein inequality $$ \|\Delta P\|_{c,\beta}\leq \gamma_n(c,\beta)\,\|P\|_{c,\beta}\,,\quad P\in\mathcal{P}_n\,, $$ where $\,\mathcal{P}_n\,$ is the set of real algebraic polynomials of degree at most $\,n\,$ and $\,\Delta f(x):=f(x+1)-f(x)\,$. We prove that: (i) $\displaystyle \gamma_n(c,1)\leq 1+\frac{1}{\sqrt{c}}\,$ for every $\,n\in \mathbb{N}\,$ and $\displaystyle \lim_{n\to\infty}\gamma_n(c,1)= 1+\frac{1}{\sqrt{c}}\,$. (ii) For every fixed $\,c\in (0,1)\,$, $\,\gamma_n(c,\beta)\,$ is a monotonically decreasing function of $\,\beta\,$ in $\,(0,\infty)\,$. (iii) For every fixed $\,c\in (0,1)\,$ and $\,\beta>0\,$, the best Markov-Bernstein constants $\,\gamma_n(c,\beta)\,$ are bounded uniformly with respect to $\,n$. A similar Markov-Bernstein unequality is proved for sequences in $\,\ell_{2}(c,\beta)\,$. We also establish a relation between the best Markov-Bernstein constants $\,\gamma_n(c,\beta)\,$ and the smallest eigenvalues of certain explicitly given Jacobi matrices.


title: True trees are dense

abstract: We show that any compact, connected set $K$ in the plane can be approximated by the critical points of a polynomial with two critical values. Equivalently, $K$ can be approximated in the Hausdorff metric by a true tree in the sense of Grothendieck's dessins d'enfants.


title: Metastability in a lattice gas with strong anisotropic interactions under Kawasaki dynamics

abstract: In this paper we analyze metastability and nucleation in the context of a local version of the Kawasaki dynamics for the two-dimensional strongly anisotropic Ising lattice gas at very low temperature. Let $\Lambda\subset\mathbb{Z}^2$ be a finite box. Particles perform simple exclusion on $\Lambda$, but when they occupy neighboring sites they feel a binding energy $-U_1<0$ in the horizontal direction and $-U_2<0$ in the vertical one. Thus the Kawasaki dynamics is conservative inside the volume $\Lambda$. Along each bond touching the boundary of $\Lambda$ from the outside to the inside, particles are created with rate $\rho=e^{-\Delta\beta}$, while along each bond from the inside to the outside, particles are annihilated with rate $1$, where $\beta$ is the inverse temperature and $\Delta>0$ is an activity parameter. Thus, the boundary of $\Lambda$ plays the role of an infinite gas reservoir with density $\rho$. We consider the parameter regime $U_1>2U_2$ also known as the strongly anisotropic regime. We take $\Delta\in{(U_1,U_1+U_2)}$ and we prove that the empty (respectively full) configuration is a metastable (respectively stable) configuration. We consider the asymptotic regime corresponding to finite volume in the limit of large inverse temperature $\beta$. We investigate how the transition from empty to full takes place. In particular, we estimate in probability, expectation and distribution the asymptotic transition time from the metastable configuration to the stable configuration. Moreover, we identify the size of the \emph{critical droplets}, as well as some of their properties. We observe very different behavior in the weakly and strongly anisotropic regimes. We find that the \emph{Wulff shape}, i.e., the shape minimizing the energy of a droplet at fixed volume, is not relevant for the nucleation pattern.


title: Higher differentiability results for solutions to a class of non-autonomous obstacle problems with sub-quadratic growth conditions

abstract: We establish some higher differentiability results of integer and fractional order for solution to non-autonomous obstacle problems of the form \begin{equation*} \min \left\{\int_{\Omega}f(x, Dv(x))\,:\, v\in \mathcal{K}_\psi(\Omega)\right\}, \end{equation*} where the function $f$ satisfies $p-$growth conditions with respect to the gradient variable, for $1<p<2$, and $\mathcal{K}_\psi(\Omega)$ is the class of admissible functions $v\in u_0+W^{1, p}_0(\Omega)$ such that $v\ge\psi$ a. e. in $\Omega$, where $u_0\in W^{1,p}(\Omega)$ is a fixed boundary datum. Here we show that a Sobolev or Besov-Lipschitz regularity assumption on the gradient of the obstacle $\psi$ transfers to the gradient of the solution, provided the partial map $x\mapsto D_\xi f(x,\xi)$ belongs to a suitable Sobolev or Besov space. The novelty here is that we deal with subquadratic growth conditions with respect to the gradient variable, i. e. $f(x, \xi)\approx a(x)|\xi|^p$ with $1<p<2,$ and where the map $a$ belongs to a Sobolev or Besov-Lipschitz space.


title: Junction conditions in Palatini $f(R)$ gravity

abstract: We work out the junction conditions for $f(R)$ gravity formulated in metric-affine (Palatini) spaces using a tensor distributional approach. These conditions are needed for building consistent models of gravitating bodies with an interior and exterior regions matched at some hypersurface. Some of these conditions depart from the standard Darmois-Israel ones of General Relativity and from their metric $f(R)$ counterparts. In particular, we find that the trace of the stress-energy momentum tensor in the bulk must be continuous across the matching hypersurface, though its normal derivative need not to. We illustrate the relevance of these conditions by considering the properties of stellar surfaces in polytropic models, showing that the range of equations of state with potentially pathological effects is shifted beyond the domain of physical interest. This confirms, in particular, that neutron stars and white dwarfs can be safely modelled within the Palatini $f(R)$ framework.


title: Algorithm-Based Checkpoint-Recovery for the Conjugate Gradient Method

abstract: As computers reach exascale and beyond, the incidence of faults will increase. Solutions to this problem are an active research topic. We focus on strategies to make the preconditioned conjugate gradient (PCG) solver resilient against node failures, specifically, the exact state reconstruction (ESR) method, which exploits redundancies in PCG. Reducing the frequency at which redundant information is stored lessens the runtime overhead. However, after the node failure, the solver must restart from the last iteration for which redundant information was stored, which increases recovery overhead. This formulation highlights the method's similarities to checkpoint-restart (CR). Thus, this method, which we call ESR with periodic storage (ESRP), can be considered a form of algorithm-based checkpoint-restart. The state is stored implicitly, by exploiting redundancy inherent to the algorithm, rather than explicitly as in CR. We also minimize the amount of data to be stored and retrieved compared to CR, but additional computation is required to reconstruct the solver's state. In this paper, we describe the necessary modifications to ESR to convert it into ESRP, and perform an experimental evaluation. We compare ESRP experimentally with previously-existing ESR and application-level in-memory CR. Our results confirm that the overhead for ESR is reduced significantly, both in the failure-free case, and if node failures are introduced. In the former case, the overhead of ESRP is usually lower than that of CR. However, CR is faster if node failures happen. We claim that these differences can be alleviated by the implementation of more appropriate preconditioners.


title: Dumb Hole Associated with an Oscillating Bubbles Cluster

abstract: In this paper, it is shown that in interaction with an oscillating bubbles cluster the fluid becomes inhomogeneous. The radial variation of the acoustic refractive index of the fluid generates an acoustic lens with spherical symmetry. When the focal length of the lens associated with the bubbles cluster is equal to the length of the position vector then the bubbles cluster behaves like a dumb hole. Unlike the properties of a bubble, the cluster, by compression under the action of attractive internal forces, can shrink its radius to become a dumb hole.


title: Decolonial AI: Decolonial Theory as Sociotechnical Foresight in Artificial Intelligence

abstract: This paper explores the important role of critical science, and in particular of post-colonial and decolonial theories, in understanding and shaping the ongoing advances in artificial intelligence. Artificial Intelligence (AI) is viewed as amongst the technological advances that will reshape modern societies and their relations. Whilst the design and deployment of systems that continually adapt holds the promise of far-reaching positive change, they simultaneously pose significant risks, especially to already vulnerable peoples. Values and power are central to this discussion. Decolonial theories use historical hindsight to explain patterns of power that shape our intellectual, political, economic, and social world. By embedding a decolonial critical approach within its technical practice, AI communities can develop foresight and tactics that can better align research and technology development with established ethical principles, centring vulnerable peoples who continue to bear the brunt of negative impacts of innovation and scientific progress. We highlight problematic applications that are instances of coloniality, and using a decolonial lens, submit three tactics that can form a decolonial field of artificial intelligence: creating a critical technical practice of AI, seeking reverse tutelage and reverse pedagogies, and the renewal of affective and political communities. The years ahead will usher in a wave of new scientific breakthroughs and technologies driven by AI research, making it incumbent upon AI communities to strengthen the social contract through ethical foresight and the multiplicity of intellectual perspectives available to us; ultimately supporting future technologies that enable greater well-being, with the goal of beneficence and justice for all.


title: Auto-MAP: A DQN Framework for Exploring Distributed Execution Plans for DNN Workloads

abstract: The last decade has witnessed growth in the computational requirements for training deep neural networks. Current approaches (e.g., data/model parallelism, pipeline parallelism) parallelize training tasks onto multiple devices. However, these approaches always rely on specific deep learning frameworks and requires elaborate manual design, which make it difficult to maintain and share between different type of models. In this paper, we propose Auto-MAP, a framework for exploring distributed execution plans for DNN workloads, which can automatically discovering fast parallelization strategies through reinforcement learning on IR level of deep learning models. Efficient exploration remains a major challenge for reinforcement learning. We leverage DQN with task-specific pruning strategies to help efficiently explore the search space including optimized strategies. Our evaluation shows that Auto-MAP can find the optimal solution in two hours, while achieving better throughput on several NLP and convolution models.


title: Learning Neural Textual Representations for Citation Recommendation

abstract: With the rapid growth of the scientific literature, manually selecting appropriate citations for a paper is becoming increasingly challenging and time-consuming. While several approaches for automated citation recommendation have been proposed in the recent years, effective document representations for citation recommendation are still elusive to a large extent. For this reason, in this paper we propose a novel approach to citation recommendation which leverages a deep sequential representation of the documents (Sentence-BERT) cascaded with Siamese and triplet networks in a submodular scoring function. To the best of our knowledge, this is the first approach to combine deep representations and submodular selection for a task of citation recommendation. Experiments have been carried out using a popular benchmark dataset - the ACL Anthology Network corpus - and evaluated against baselines and a state-of-the-art approach using metrics such as the MRR and F1-at-k score. The results show that the proposed approach has been able to outperform all the compared approaches in every measured metric.


title: TESS observations of southern ultra fast rotating low mass stars

abstract: In our previous study of low mass stars using TESS, we found a handful which show a periodic modulation on a period <1 d but also displayed no flaring activity. Here we present the results of a systematic search for Ultra Fast Rotators (UFRs) in the southern ecliptic hemisphere which were observed in 2 min cadence with TESS. Using data from Gaia DR2, we obtain a sample of over 13,000 stars close to the lower main sequence. Of these, we identify 609 stars which lie on the lower main sequence and have a periodic modulation <1 d. The fraction of stars which show flares appears to drop significantly at periods <0.2 d. If the periods are a signature of the rotation rate, this would be a surprise, since faster rotators would be expected to have a stronger magnetic field and, therefore, produce more flares. We explore possible reasons for our finding: the flare inactive stars are members of binaries, in which case the stars rotation rate could have increased as the binary orbital separation reduced due to angular momentum loss over time, or that enhanced emission occurs at blue wavelengths beyond the pass band of TESS. Follow-up spectroscopy and flare monitoring at blue/ultraviolet wavelengths of these flare inactive stars are required to resolve this question.


title: Optimizing Information Freshness via Multiuser Scheduling with Adaptive NOMA/OMA

abstract: This paper considers a wireless network with a base station (BS) conducting timely status updates to multiple clients via adaptive non-orthogonal multiple access (NOMA)/orthogonal multiple access (OMA). Specifically, the BS is able to adaptively switch between NOMA and OMA for the downlink transmission to optimize the information freshness of the network, characterized by the Age of Information (AoI) metric. If the BS chooses OMA, it can only serve one client within each time slot and should decide which client to serve; if the BS chooses NOMA, it can serve more than one client at the same time and needs to decide the power allocated to the served clients. For the simple two-client case, we formulate a Markov Decision Process (MDP) problem and develop the optimal policy for the BS to decide whether to use NOMA or OMA for each downlink transmission based on the instantaneous AoI of both clients. The optimal policy is shown to have a switching-type property with obvious decision switching boundaries. A near-optimal policy with lower computation complexity is also devised. For the more general multi-client scenario, inspired by the proposed near-optimal policy, we formulate a nonlinear optimization problem to determine the optimal power allocated to each client by maximizing the expected AoI drop of the network in each time slot. We resolve the formulated problem by approximating it as a convex optimization problem. We also derive the upper bound of the gap between the approximate convex problem and the original nonlinear, nonconvex problem. Simulation results validate the effectiveness of the adopted approximation. The performance of the adaptive NOMA/OMA scheme by solving the convex optimization is shown to be close to that of max-weight policy solved by exhaustive search...


title: Standardised co-ordinate geometry applied to affine rational trigonometry of a tetrahedron

abstract: The idea of standardised co-ordinates in three-dimensional affine space is defined, by way of the Standard tetrahedron. By performing an affine map on a general tetrahedron, we may replace the study of a general tetrahedron over a specific metrical structure with the study of a specific tetrahedron over a general metrical structure. Using the framework of Wildberger's rational trigonometry as well as the definitions of generalised scalar and vector products in the author's previous work, we will compute the various trigonometric invariants associated to the Standard tetrahedron, with the purpose of proving some more complicated results which are difficult to prove without this mechanism.


title: Auto-Sklearn 2.0: Hands-free AutoML via Meta-Learning

abstract: Automated Machine Learning (AutoML) supports practitioners and researchers with the tedious task of designing machine learning pipelines and has recently achieved substantial success. In this paper, we introduce new AutoML approaches motivated by our winning submission to the second ChaLearn AutoML challenge. We develop PoSH Auto-sklearn, which enables AutoML systems to work well on large datasets under rigid time limits by using a new, simple and meta-feature-free meta-learning technique and by employing a successful bandit strategy for budget allocation. However, PoSH Auto-sklearn introduces even more ways of running AutoML and might make it harder for users to set it up correctly. Therefore, we also go one step further and study the design space of AutoML itself, proposing a solution towards truly hands-free AutoML. Together, these changes give rise to the next generation of our AutoML system, Auto-sklearn 2.0. We verify the improvements by these additions in an extensive experimental study on 39 AutoML benchmark datasets. We conclude the paper by comparing to other popular AutoML frameworks and Auto-sklearn 1.0, reducing the relative error by up to a factor of 4.5, and yielding a performance in 10 minutes that is substantially better than what Auto-sklearn 1.0 achieves within an hour.


title: Introduction to Particle Accelerators and their Limitations

abstract: The paper gives a short overview of the principles of particle accelerators, their historical development and the typical performance limitations. After an introduction to the basic concepts, the main emphasis is to sketch the layout of modern storage rings and their limitations in energy and machine performance. Examples of existing machines - among them clearly the LHC at CERN - demonstrate the basic principles and the technical and physical limits that we face today in the design and operation of these particle colliders. Pushing for ever higher beam energies motivates the design of the future collider studies and beyond that, the development of more efficient acceleration techniques.


title: Flat-band ferromagnetism in twisted bilayer graphene

abstract: We discuss twisted bilayer graphene (TBG) based on a theorem of flat band ferromagnetism put forward by Mielke and Tasaki. According to this theorem, ferromagnetism occurs if the single particle density matrix of the flat band states is irreducible and we argue that this result can be applied to the quasi-flat bands of TBG that emerge around the charge-neutrality point for twist angles around the magic angle $\theta\sim1.05^\circ$. We show that the density matrix is irreducible in this case, thus predicting a ferromagnetic ground state for neutral TBG ($n=0$). We then show that the theorem can also be applied only to the flat conduction or valence bands, if the substrate induces a single-particle gap at charge neutrality. Also in this case, the corresponding density matrix turns out to be irreducible, leading to ferromagnetism at half filling ($n=\pm2$).


title: An adaptive and energy-maximizing control of wave energy converters using extremum-seeking approach

abstract: In this paper, we systematically investigate the feasibility of different extremum-seeking (ES) control schemes to improve the conversion efficiency of wave energy converters (WECs). Continuous-time and model-free ES schemes based on the sliding mode, relay, least-squares gradient, self-driving, and perturbation-based methods are used to improve the mean extracted power of a heaving point absorber subject to regular and irregular waves. This objective is achieved by optimizing the resistive and reactive coefficients of the power take-off (PTO) mechanism using the ES approach. The optimization results are verified against analytical solutions and the extremum of reference-to-output maps. The numerical results demonstrate that except for the self-driving ES algorithm, the other four ES schemes reliably converge for the two-parameter optimization problem, whereas the former is more suitable for optimizing a single-parameter. The results also show that for an irregular sea state, the sliding mode and perturbation-based ES schemes have better convergence to the optimum, in comparison to other ES schemes considered here. The convergence of PTO coefficients towards the performance-optimal values are tested for widely different initial values, in order to avoid bias towards the extremum. We also demonstrate the adaptive capability of ES control by considering a case in which the ES controller adapts to the new extremum automatically amidst changes in the simulated wave conditions.


title: Structure and dynamics of DOPC vesicles: A transformation from unilamellar to multilamellar vesicles by n-alkyl-PEO polymer

abstract: We investigate the influence of a non-ionic surfactant like polymer on phospholipid vesicles. Our results from cryogenic transmission electron microscopy (cryo-TEM), dynamic light scattering (DLS), small angle neutron and X-ray scattering (SANS/SAXS), identifies the existence of multilayer vesicles and an increase in size of the vesicles in presence of the polymers. We present a generalized model to obtain the bending rigidity from neutron spin echo spectroscopy (NSE) data for multilayer vesicles. We demonstrated that polymers are trapped in the lipid bilayer, causing a partial disruption in the vesicle, which is attributed to the reduction in bending rigidity per unit bilayer. We also observed substantial dampening of the trapped lipid tail motion in presence of the polymer. Our results highlighted the possibilities of using specialized polymers that can disrupt membrane and control their dynamics with possible application in topical drug or nutraceutical formulations.


title: Viscosity Solutions to First Order Path-Dependent Hamilton-Jacobi-Bellman Equations in Hilbert Space

abstract: In this article, a notion of viscosity solutions is introduced for first order path-dependent Hamilton-Jacobi-Bellman (PHJB) equations associated with optimal control problems for path-dependent evolution equations in Hilbert space. We identify the value functional of optimal control problems as unique viscosity solution to the associated PHJB equations. We also show that our notion of viscosity solutions is consistent with the corresponding notion of classical solutions, and satisfies a stability property.


title: Decoder Ties Do Not Affect the Error Exponent of the Memoryless Binary Symmetric Channel

abstract: The generalized Poor-Verdu error lower bound established in [1] for multihypothesis testing is studied in the classical channel coding context. It is proved that for any sequence of block codes sent over the memoryless binary symmetric channel (BSC), the minimum probability of error (under maximum likelihood decoding) has a relative deviation from the generalized bound that grows at most linearly in blocklength. This result directly implies that for arbitrary codes used over the BSC, decoder ties can only affect the subexponential behavior of the minimum probability of error.


title: Incidences with curves in three dimensions

abstract: We study incidence problems involving points and curves in $R^3$. The current (and in fact only viable) approach to such problems, pioneered by Guth and Katz, requires a variety of tools from algebraic geometry, most notably (i) the polynomial partitioning technique, and (ii) the study of algebraic surfaces that are ruled by lines or, in more recent studies, by algebraic curves of some constant degree. By exploiting and refining these tools, we obtain new and improved bounds for point-curve incidence problems in $R^3$. Incidences of this kind have been considered in several previous studies, starting with Guth and Katz's work on points and lines. Our results, which are based on the work of Guth and Zahl concerning surfaces that are doubly ruled by curves, provide a grand generalization of most of the previous results. We reconstruct the bound for points and lines, and improve, in certain significant ways, recent bounds involving points and circles (in Sharir, Sheffer and Zahl), and points and arbitrary constant-degree algebraic curves (in Sharir, Sheffer and Solomon). While in these latter instances the bounds are not known (and are strongly suspected not) to be tight, our bounds are, in a certain sense, the best that can be obtained with this approach, given the current state of knowledge. As an application of our point-curve incidence bound, we show that the number of triangles spanned by a set of $n$ points in $R^3$ and similar to a given triangle is $O(n^{15/7})$, which improves the bound of Agarwal et al. Our results are also related to a study by Guth et al.~(work in progress), and have been recently applied in Sharir, Solomon and Zlydenko to related incidence problems in three dimensions.


title: Uncertainty-Aware Lookahead Factor Models for Quantitative Investing

abstract: On a periodic basis, publicly traded companies report fundamentals, financial data including revenue, earnings, debt, among others. Quantitative finance research has identified several factors, functions of the reported data that historically correlate with stock market performance. In this paper, we first show through simulation that if we could select stocks via factors calculated on future fundamentals (via oracle), that our portfolios would far outperform standard factor models. Motivated by this insight, we train deep nets to forecast future fundamentals from a trailing 5-year history. We propose lookahead factor models which plug these predicted future fundamentals into traditional factors. Finally, we incorporate uncertainty estimates from both neural heteroscedastic regression and a dropout-based heuristic, improving performance by adjusting our portfolios to avert risk. In retrospective analysis, we leverage an industry-grade portfolio simulator (backtester) to show simultaneous improvement in annualized return and Sharpe ratio. Specifically, the simulated annualized return for the uncertainty-aware model is 17.7% (vs 14.0% for a standard factor model) and the Sharpe ratio is 0.84 (vs 0.52).


title: Holistic framework to help students learn effectively from research-validated self-paced learning tools

abstract: With limited time available in the classroom, e-learning tools can supplement in-class learning by providing opportunities for students to study and learn outside of class. Such tools can be especially helpful for students who lack adequate prior preparation. However, one critical issue is ensuring that students, especially those in need of additional help, engage with the tools as intended. Here we first discuss an empirical investigation in which students in a large algebra-based physics course were given opportunities to work through research-validated tutorials outside of class as self-study tools. Students were provided these optional tutorials after traditional instruction in relevant topics and were then given quizzes that included problems that were identical to the tutorial problems with regard to the physics principles involved but had different contexts. We find that students who worked through the tutorials as self-study tools struggled to transfer their learning to solve problems that used the same physics principles. On the other hand, students who worked on the tutorials in supervised, one-on-one situations performed significantly better than them. These empirical findings suggest that many introductory physics students may not engage effectively with self-paced learning tools unless they are provided additional incentives and support, e.g., to aid with self-regulation. Inspired by the empirical findings, we propose a holistic theoretical framework to help create learning environments in which students with diverse backgrounds are provided support to engage effectively with self-study tools.


title: Twisted cohomological equations for translation flows

abstract: We prove by methods of harmonic analysis a result on existence of solutions for twisted cohomological equations on translation surfaces with loss of derivatives at most 3+ in Sobolev spaces. As a consequence we prove that product translation flows on (3-dimensional) translation manifolds which are products of a (higher genus) translation surface with a (flat) circle are stable in the sense of A. Katok. In turn, our result on product flows implies a stability result of time-{\tau} maps of translation flows on translation surfaces.


title: A new and complete proof of the Landau condition for pinch singularities of Feynman graphs and other integrals

abstract: The Landau equations give a physically useful criterion for how singularities arise in Feynman amplitudes. Furthermore, they are fundamental to the uses of perturbative QCD, by determining the important regions of momentum space in asymptotic problems. Generalizations are also useful. We will show that in existing treatments there are significant gaps in derivations, and in some cases implicit assumptions that will be shown here to be false in important cases like the massless Feynman graphs ubiquitous in QCD applications. In this paper is given a new proof that the Landau condition is both necessary and sufficient for physical-region pinches in the kinds of integral typified by Feynman graphs. The proof's range is broad enough to include the modified Feynman graphs that are used in QCD applications. Unlike many existing derivations, there is no need to use the Feynman parameter method. Some possible further applications of the new proof and its subsidiary results are proposed.


title: Green-PoW: An Energy-Efficient Blockchain Proof-of-Work Consensus Algorithm

abstract: This paper opts to mitigate the energy-inefficiency of the Blockchain Proof-of-Work (PoW) consensus algorithm by rationally repurposing the power spent during the mining process. The original PoW mining scheme is designed to consider one block at a time and assign a reward to the first place winner of a computation race. To reduce the mining-related energy consumption, we propose to compensate the computation effort of the runner(s)-up of a mining round, by granting them exclusivity of solving the upcoming block in the next round. This will considerably reduce the number of competing nodes in the next round and consequently, the consumed energy. Our proposed scheme divides time into epochs, where each comprises two mining rounds; in the first one, all network nodes can participate in the mining process, whereas in the second round only runners-up can take part. Thus, the overall mining energy consumption can be reduced to nearly $50\%$. To the best of our knowledge, our proposed scheme is the first to considerably improve the energy consumption of the original PoW algorithm. Our analysis demonstrates the effectiveness of our scheme in reducing energy consumption, the probability of fork occurrences, the level of mining centralization presented in the original PoW algorithm, and the effect of transaction censorship attack.


title: Hyperparameter Optimization in Neural Networks via Structured Sparse Recovery

abstract: In this paper, we study two important problems in the automated design of neural networks -- Hyper-parameter Optimization (HPO), and Neural Architecture Search (NAS) -- through the lens of sparse recovery methods. In the first part of this paper, we establish a novel connection between HPO and structured sparse recovery. In particular, we show that a special encoding of the hyperparameter space enables a natural group-sparse recovery formulation, which when coupled with HyperBand (a multi-armed bandit strategy), leads to improvement over existing hyperparameter optimization methods. Experimental results on image datasets such as CIFAR-10 confirm the benefits of our approach. In the second part of this paper, we establish a connection between NAS and structured sparse recovery. Building upon ``one-shot'' approaches in NAS, we propose a novel algorithm that we call CoNAS by merging ideas from one-shot approaches with a techniques for learning low-degree sparse Boolean polynomials. We provide theoretical analysis on the number of validation error measurements. Finally, we validate our approach on several datasets and discover novel architectures hitherto unreported, achieving competitive (or better) results in both performance and search time compared to the existing NAS approaches.


title: Metric groups, unitary representations and continuous logic

abstract: We describe how properties of metric groups and of unitary representations of metric groups can be presented in continuous logic. In particular we find $L_{\omega_1 \omega}$-axiomatization of amenability. We also show that in the case of locally compact groups some uniform version of the negation of Kazhdan's property {\bf (T)} can be viewed as a union of first-order axiomatizable classes. We will see when these properties are preserved under taking elementary substructures.


title: Probing the intergalactic turbulence with fast radio bursts

abstract: The turbulence in the diffuse intergalactic medium (IGM) plays an important role in various astrophysical processes across cosmic time, but it is very challenging to constrain its statistical properties both observationally and numerically. Via the statistical analysis of turbulence along different sightlines toward a population of fast radio bursts (FRBs), we demonstrate that FRBs provide a unique tool to probe the intergalactic turbulence. We measure the structure function (SF) of dispersion measures (DMs) of FRBs to study the multi-scale electron density fluctuations induced by the intergalactic turbulence. The SF has a large amplitude and a Kolmogorov power-law scaling with angular separations, showing large and correlated DM fluctuations over a range of length scales. Given that the DMs of FRBs are IGM dominated, our result tentatively suggests that the intergalactic turbulence has a Kolmogorov power spectrum and an outer scale on the order of $100$ Mpc.


title: Energy exchange between surface plasmon polaritons and CdSe/ZnS quantum dots

abstract: Evidence is presented for energy exchange between surface plasmon polaritons (SPPs) excited in waveguide-coupled Ag/Si3N4/Au structures and CdSe/ZnS quantum dot (QD) emitters. The QD dispersion is coated on the surface of Ag/Si3N4/Au nanostructure, surface plasmon resonance (SPR) is excited on surface of multilayered structure and the photoluminescence (PL) emission by the QDs is monitored as a function of the evanescent electric field by using fixed-detector pump-probe spectroscopy. We observe relatively large shift in the PL emission wavelength (corresponding to 4-5 meV) with accompanying electric field induced quenching (up to 50%) of the emission. Under the influence of the evanescent field, the PL emission peak splits into two components corresponding to two frequencies (Rabi splitting). Computer simulations are used to understand conditions under which Rabi splitting should occur.


title: Bespoke vs. Pr\^et-\`a-Porter Lottery Tickets: Exploiting Mask Similarity for Trainable Sub-Network Finding

abstract: The observation of sparse trainable sub-networks within over-parametrized networks - also known as Lottery Tickets (LTs) - has prompted inquiries around their trainability, scaling, uniqueness, and generalization properties. Across 28 combinations of image classification tasks and architectures, we discover differences in the connectivity structure of LTs found through different iterative pruning techniques, thus disproving their uniqueness and connecting emergent mask structure to the choice of pruning. In addition, we propose a consensus-based method for generating refined lottery tickets. This lottery ticket denoising procedure, based on the principle that parameters that always go unpruned across different tasks more reliably identify important sub-networks, is capable of selecting a meaningful portion of the architecture in an embarrassingly parallel way, while quickly discarding extra parameters without the need for further pruning iterations. We successfully train these sub-networks to performance comparable to that of ordinary lottery tickets.


title: Manifolds with cylindrical ends having a finite and positive number of embedded eigenvalues

abstract: We construct a surface with a cylindrical end which has a finite number of Laplace eigenvalues embedded in its continuous spectrum. The surface is obtained by attaching a cylindrical end to a hyperbolic torus with a hole. To our knowledge, this is the first example of a manifold with a cylindrical end whose number of eigenvalues is known to be finite and nonzero. The construction can be varied to give examples with arbitrary genus and with an arbitrarily large finite number of eigenvalues. The constructed surfaces also have resonance-free regions near the continuous spectrum and long-time asymptotic expansions of solutions to the wave equation.


title: Machine learning and data analytics for the IoT

abstract: The Internet of Things (IoT) applications have grown in exorbitant numbers, generating a large amount of data required for intelligent data processing. However, the varying IoT infrastructures (i.e., cloud, edge, fog) and the limitations of the IoT application layer protocols in transmitting/receiving messages become the barriers in creating intelligent IoT applications. These barriers prevent current intelligent IoT applications to adaptively learn from other IoT applications. In this paper, we critically review how IoT-generated data are processed for machine learning analysis and highlight the current challenges in furthering intelligent solutions in the IoT environment. Furthermore, we propose a framework to enable IoT applications to adaptively learn from other IoT applications and present a case study in how the framework can be applied to the real studies in the literature. Finally, we discuss the key factors that have an impact on future intelligent applications for the IoT.


title: Effects of bacterial density on growth rate and characteristics of microbial-induced CaCO3 precipitates: a particle-scale experimental study

abstract: Microbial-Induced Carbonate Precipitation (MICP) has been explored for more than a decade as a promising soil improvement technique. However, it is still challenging to predict and control the growth rate and characteristics of CaCO3 precipitates, which directly affect the engineering performance of MICP-treated soils. In this study, we employ a microfluidics-based pore scale model to observe the effect of bacterial density on the growth rate and characteristics of CaCO3 precipitates during MICP processes occurring at the sand particle scale. Results show that the precipitation rate of CaCO3 increases with bacterial density in the range between 0.6e8 and 5.2e8 cells/ml. Bacterial density also affects both the size and number of CaCO3 crystals. A low bacterial density of 0.6e8 cells/ml produced 1.1e6 crystals/ml with an average crystal volume of 8,000 um3, whereas a high bacterial density of 5.2e8 cells/ml resulted in more crystals (2.0e7 crystals/ml) but with a smaller average crystal volume of 450 um3. The produced CaCO3 crystals were stable when the bacterial density was 0.6e8 cells/ml. When the bacterial density was 4-10 times higher, the crystals were first unstable and then transformed into more stable CaCO3 crystals. This suggests that bacterial density should be an important consideration in the design of MICP protocols.


title: Data science and the art of modelling

abstract: Datacentric enthusiasm is growing strong across a variety of domains. Whilst data science asks unquestionably exciting scientific questions, we argue that its contributions should not be extrapolated from the scientific context in which they originate. In particular we suggest that the simple-minded idea to the effect that data can be seen as a replacement for scientific modelling is not tenable. By recalling some well-known examples from dynamical systems we conclude that data science performs at its best when coupled with the subtle art of modelling.


title: Geometric conditions for the exact controllability of fractional free and harmonic Schr\"odinger equations

abstract: We provide necessary and sufficient geometric conditions for the exact controllability of the one-dimensional fractional free and fractional harmonic Schr\"odinger equations. The necessary and sufficient condition for the exact controllability of fractional free Schr\"odinger equations is derived from the Logvinenko-Sereda theorem and its quantitative version established by Kovrijkine, whereas the one for the exact controllability of fractional harmonic Schr\"odinger equations is deduced from an infinite dimensional version of the Hautus test for Hermite functions and the Plancherel-Rotach formula.


title: Interaction dust-plasma in Titan's ionosphere: an experimental simulation of aerosols erosion

abstract: Organic aerosols accumulated in Titan's orange haze start forming in its ionosphere. This upper part of the atmosphere is highly reactive and complex ion chemistry takes place at altitudes from 1200 to 900 km. The ionosphere is a nitrogen plasma with a few percent of methane and hydrogen. Carbon from methane enables the formation of macromolecules with long organic chains, finally leading to the organic aerosols. On the other hand, we suspect that hydrogen and the protonated ions have a different erosive effect on the aerosols. Here we experimentally studied the effect of hydrogen and protonated species on organic aerosols. Analogues of Titan's aerosols were formed in a CCP RF plasma discharge in 95% N2 and 5% CH4. Thereafter, the aerosols were exposed to a DC plasma in 99% N2 and 1% H2. Samples were analysed by scanning electron microscopy and in situ infrared transmission spectroscopy. Two pellet techniques - KBr pressed pellets and thin metallic grids - were compared to confirm that modifications seen are not due to the material used to make the pellet. We observed that the spherical aerosols of ~500 nm in diameter were eroded under N2-H2 plasma exposure, with the formation of holes of ~10 nm at their surface. Aerosols were globally removed from the pellet by the plasma. IR spectra showed a faster disappearance of isonitriles and/or carbo-diimides compared to the global band of nitriles. The opposite effect was seen with beta-unsaturated nitriles and/or cyanamides. Double bonds as C=C and C=N were more affected than amines and C-H bonds. N-H and C-H absorption bands kept a similar ratio in intensity and their shape did not vary. Therefore, it seems that carbon and hydrogen play opposite roles in Titan's ionosphere: the carbon from methane lead to organic growth while hydrogen and protonated species erode the aerosols and react preferentially with unsaturated chemical functions.


title: Sign-reversal electron magnetization in Mn-doped semiconductor structures

abstract: The diversity of various manganese types and its complexes in the Mn-doped ${\rm A^{III}B^V}$ semiconductor structures leads to a number of intriguing phenomena. Here we show that the interplay between the ordinary substitutional Mn acceptors and interstitial Mn donors as well as donor-acceptor dimers could result in a reversal of electron magnetization. In our all-optical scheme the impurity-to-band excitation via the Mn dimers results in direct orientation of the ionized Mn-donor $d$ shell. A photoexcited electron is then captured by the interstitial Mn and the electron spin becomes parallel to the optically oriented $d$ shell. That produces, in the low excitation regime, the spin-reversal electron magnetization. As the excitation intensity increases the capture by donors is saturated and the polarization of delocalized electrons restores the normal average spin in accordance with the selection rules. A possibility of the experimental observation of the electron spin reversal by means of polarized photoluminescence is discussed.


title: Cellular Sheaves of Lattices and the Tarski Laplacian

abstract: This paper initiates a discrete Hodge theory for cellular sheaves taking values in a category of lattices and Galois connections. The key development is the Tarski Laplacian, an endomorphism on the cochain complex whose fixed points yield a cohomology that agrees with the global section functor in degree zero. This has immediate applications in consensus and distributed optimization problems over networks and broader potential applications.