title: Combinatorial Bandits for Sequential Learning in Colonel Blotto Games

abstract: The Colonel Blotto game is a renowned resource allocation problem with a long-standing literature in game theory (almost 100 years). However, its scope of application is still restricted by the lack of studies on the incomplete-information situations where a learning model is needed. In this work, we propose and study a regret-minimization model where a learner repeatedly plays the Colonel Blotto game against several adversaries. At each stage, the learner distributes her budget of resources on a fixed number of battlefields to maximize the aggregate value of battlefields she wins; each battlefield being won if there is no adversary that has higher allocation. We focus on the bandit feedback setting. We first show that it can be modeled as a path planning problem. It is then possible to use the classical COMBAND algorithm to guarantee a sub-linear regret in terms of time horizon, but this entails two fundamental challenges: (i) the computation is inefficient due to the huge size of the action set, and (ii) the standard exploration distribution leads to a loose guarantee in practice. To address the first, we construct a modified algorithm that can be efficiently implemented by applying a dynamic programming technique called weight pushing; for the second, we propose methods optimizing the exploration distribution to improve the regret bound. Finally, we implement our proposed algorithm and perform numerical experiments that show the regret improvement in practice.


title: Distortion-adaptive Salient Object Detection in 360$^\circ$ Omnidirectional Images

abstract: Image-based salient object detection (SOD) has been extensively explored in the past decades. However, SOD on 360$^\circ$ omnidirectional images is less studied owing to the lack of datasets with pixel-level annotations. Toward this end, this paper proposes a 360$^\circ$ image-based SOD dataset that contains 500 high-resolution equirectangular images. We collect the representative equirectangular images from five mainstream 360$^\circ$ video datasets and manually annotate all objects and regions over these images with precise masks with a free-viewpoint way. To the best of our knowledge, it is the first public available dataset for salient object detection on 360$^\circ$ scenes. By observing this dataset, we find that distortion from projection, large-scale complex scene and small salient objects are the most prominent characteristics. Inspired by these foundings, this paper proposes a baseline model for SOD on equirectangular images. In the proposed approach, we construct a distortion-adaptive module to deal with the distortion caused by the equirectangular projection. In addition, a multi-scale contextual integration block is introduced to perceive and distinguish the rich scenes and objects in omnidirectional scenes. The whole network is organized in a progressively manner with deep supervision. Experimental results show the proposed baseline approach outperforms the top-performanced state-of-the-art methods on 360$^\circ$ SOD dataset. Moreover, benchmarking results of the proposed baseline approach and other methods on 360$^\circ$ SOD dataset show the proposed dataset is very challenging, which also validate the usefulness of the proposed dataset and approach to boost the development of SOD on 360$^\circ$ omnidirectional scenes.


title: L-infinity bialgebroids and homotopy Poisson structures on supermanifolds

abstract: We generalize to the homotopy case a result of K. Mackenzie and P. Xu on relation between Lie bialgebroids and Poisson geometry. For a homotopy Poisson structure on a supermanifold $M$, we show that $(TM, T^*M)$ has a canonical structure of an $L_{\infty}$-bialgebroid. (Higher Koszul brackets on forms introduced earlier by H. Khudaverdian and the author are part of one of its manifestations.) The underlying general construction is that of a "(quasi)triangular" $L_{\infty}$-bialgebroid, which is a specialization of a "(quasi)triangular" homotopy Poisson structure. We define both here.


title: Data-efficient Model Learning and Prediction for Contact-rich Manipulation Tasks

abstract: In this letter, we investigate learning forward dynamics models and multi-step prediction of state variables (long-term prediction) for contact-rich manipulation. The problems are formulated in the context of model-based reinforcement learning (MBRL). We focus on two aspects-discontinuous dynamics and data-efficiency-both of which are important in the identified scope and pose significant challenges to State-of-the-Art methods. We contribute to closing this gap by proposing a method that explicitly adopts a specific hybrid structure for the model while leveraging the uncertainty representation and data-efficiency of Gaussian process. Our experiments on an illustrative moving block task and a 7-DOF robot demonstrate a clear advantage when compared to popular baselines in low data regimes.


title: Method of variation of parameters revisited

abstract: The method of variation of parameter (VOP) for solving linear ordinary differential equation is revisited in this article. Historically, Lagrange and Euler explained the method of variation of parameter in the context of perturbation method. In this article, we explain the construction of particular solutions of a linear ordinary differential equation in the light of linearly independent functions in a more systematic way. In addition, we have shown that if the time variation of the constants contribute substantially to the velocity then also the solution remains invariant. VOP method for system of n linear ODE is discussed. Duhamels principle has also been studied in reference to a system of n linear ODE for completeness of this review. Finally, applications of VOP method for constructing Green's function is reported.


title: Comprehensive Analysis of Aspect Term Extraction Methods using Various Text Embeddings

abstract: Recently, a variety of model designs and methods have blossomed in the context of the sentiment analysis domain. However, there is still a lack of wide and comprehensive studies of aspect-based sentiment analysis (ABSA). We want to fill this gap and propose a comparison with ablation analysis of aspect term extraction using various text embedding methods. We particularly focused on architectures based on long short-term memory (LSTM) with optional conditional random field (CRF) enhancement using different pre-trained word embeddings. Moreover, we analyzed the influence on the performance of extending the word vectorization step with character embedding. The experimental results on SemEval datasets revealed that not only does bi-directional long short-term memory (BiLSTM) outperform regular LSTM, but also word embedding coverage and its source highly affect aspect detection performance. An additional CRF layer consistently improves the results as well.


title: Exponential Taylor domination

abstract: Let $f(z) = \sum_{k=0}^\infty a_k z^k$ be an analytic function in a disk $D_R$ of radius $R>0$, and assume that $f$ is $p$-valent in $D_R$, i.e. it takes each value $c\in{\mathbb C}$ at most $p$ times in $D_R$. We consider its Borel transform $$ B(f)(z) = \sum_{k=0}^\infty \frac{a_k}{k!} z^k , $$ which is an entire function, and show that, for any $R>1$, the valency of the Borel transform $B(f)$ in $D_R$ is bounded in terms of $p,R$. We give examples, showing that our bounds, provide a reasonable envelope for the expected behavior of the valency of $B(f)$. These examples also suggest some natural questions, whose expected answer will strongly sharper our estimates. We present a short overview of some basic results on multi-valent functions, in connection with "Taylor domination", which, for $f(z) = \sum_{k=0}^\infty a_k z^k$, is a bound of all its Taylor coefficients $a_k$ through the first few of them. Taylor domination is our main technical tool, so we also discuss shortly some recent results in this direction.


title: Correcting Predictions for Approximate Bayesian Inference

abstract: Bayesian models quantify uncertainty and facilitate optimal decision-making in downstream applications. For most models, however, practitioners are forced to use approximate inference techniques that lead to sub-optimal decisions due to incorrect posterior predictive distributions. We present a novel approach that corrects for inaccuracies in posterior inference by altering the decision-making process. We train a separate model to make optimal decisions under the approximate posterior, combining interpretable Bayesian modeling with optimization of direct predictive accuracy in a principled fashion. The solution is generally applicable as a plug-in module for predictive decision-making for arbitrary probabilistic programs, irrespective of the posterior inference strategy. We demonstrate the approach empirically in several problems, confirming its potential.


title: Two photon conditional phase gate based on Rydberg slow light polaritons

abstract: We analyze the fidelity of a deterministic quantum phase gate for two photons counterpropagating as polaritons through a cloud of Rydberg atoms under the condition of electromagnetically induced transparency (EIT). We provide analytical results for the phase shift of the quantum gate, and provide an estimation for all processes leading to a reduction to the gate fidelity. Especially, the influence of losses form the intermediate level, dispersion of the photon wave packet, scattering into additional polariton channels, finite lifetime of the Rydberg state, as well as effects of transverse size of the wave packets are accounted for. We show that the flatness of the effective interaction, caused by the blockade phenomena, suppresses the corrections due to the finite transversal size. This is a strength of Rydberg-EIT setup compared to other approaches. Finally, we provide the experimental requirements for the realization of a high fidelity quantum phase gate using Rydberg polaritons.

categories: cond-mat.quant-gas physics.atom-ph physics.optics quant-ph


title: Tailoring the down conversion emission profile via direct imaging with a camera

abstract: We present the analysis of emission profile of downconverted photons from a critically phase-matched nonlinear crystal. This is done via direct imaging of down converted photons by a CMOS camera. The effects of nonlinear crystal thickness in collinear and non-collinear geometries on the down converted photon pair rate is directly observed and the experimental results show that the photon pair rate increases linearly with the crystal thickness. However, the rate of the photon pairs collected to a single mode fiber goes quadratically with the crystal length because of the cylindrical asymmetries in the optical path and the exit angle around the pump mode within the nonlinear crystal. The use of cameras for real-time and direct imaging of down conversion emission profile significantly simplifies the phase-matching alignments and the collecting the entangled photons.


title: Cardiac SPECT Radiomics Features Repeatability and Reproducibility: A Multi Scanner Phantom Study

abstract: Background: The aim of this study was to assess the robustness of cardiac SPECT radiomics features against changes in imaging settings including acquisition and reconstruction settings. Methods: Four scanners were used to acquire SPECT scans of a cardiac phantom with 5mCi of 99mTc. The effects of different image acquisition and reconstruction settings including the Number of View, View Matrix Size, attenuation correction, image reconstruction algorithm, number of iterations, number of subsets, type of filter, full width at half maximum (FWHM) of Gaussian filter, Butterworth filter order, and Butterworth filter cut-off were studied. In total 5263 different images were reconstructed. Eighty-seven radiomic features including first, second, and high order textures were extracted from images. To assess reproducibility and repeatability the coefficient of variation (COV) was used for each image feature over the different imaging settings. Result: IDMN and IDN features from GLCM, RP from GLRLM, ZE from GLSZM, and DE from GLDM feature sets were the only features that were the most reproducible (COV < 5) against changes in all imaging settings. In addition, the IDMN feature from GLCM, LALGLE, SALGLE and LGLZE from GLSZM, and SDLGLE from GLDM feature sets were the features that were less reproducible (COV>20 ) against changes in all imaging settings. Matrix size has the greatest impact on feature variability as most of features are not repeatable and 82.76 of them had (COV>20 ). Conclusion: Repeatability and reproducibility of SPECT radiomics texture features in different imaging settings is feature-dependent, and different image acquisitions and reconstructions have different effects on radiomics texture features. Low COV radiomics features could be consider for further clinical studies. Keywords: SPECT, Radiomics, Cardiac, Repeatability, Reproducibility


title: On unified preserving properties of kinetic schemes

abstract: The kinetic theory provides a physical basis for developing multiscal methods for gas flows covering a wide range of flow regimes. A particular challenge for kinetic schemes is whether they can capture the correct hydrodynamic behaviors of the system in the continuum regime (i.e., as the Knudsen number $\epsilon\ll 1$ ) without enforcing kinetic scale resolution. At the current stage, {the main approach to analyze such a property is the asymptotic preserving (AP) concept, which aims to show whether a kinetic scheme reduces to a solver for the hydrodynamic equations as $\epsilon \to 0$, such as the shock capturing scheme for the Euler equations. However, the detailed asymptotic properties of the kinetic scheme are indistinguishable when $\epsilon$ is small but finite under the AP framework}. In order to distinguish different characteristics of kinetic schemes, in this paper we introduce the concept of unified preserving (UP) aiming at assessing asmyptotic orders of a kinetic scheme by employing the modified equation approach and Chapman-Enskon analysis. It is shown that the UP properties of a kinetic scheme generally depend on the spatial/temporal accuracy and closely on the inter-connections among the three scales (kinetic scale, numerical scale, and hydrodynamic scale) and their corresponding coupled dynamics. Specifically, the numerical resolution and specific discretization of particle transport and collision determine the flow physics of the scheme in different regimes, especially in the near continuum limit. As two examples, the UP methodology is applied to analyze the discrete unified gas-kinetic scheme and a second-order implicit-explicit Runge-Kutta scheme in their asymptotic behaviors in the continuum limit.

categories: math.NA cs.NA physics.comp-ph physics.flu-dyn


title: The nuclear environment of the NLS1 Mrk 335: obscuration of the X-ray line emission by a variable outflow

abstract: We present XMM-Newton, NuSTAR, Swift and Hubble Space Telescope observations of the Narrow-line Seyfert 1 galaxy Mrk 335 in a protracted low state in 2018 and 2019. The X-ray flux is at the lowest level so far observed, and the extremely low continuum flux reveals a host of soft X-ray emission lines from photoionised gas. The simultaneous UV flux drop suggests that the variability is intrinsic to the source, and we confirm this with broad-band X-ray spectroscopy. The dominance of the soft X-ray lines at low energies and distant reflection at high energies is therefore due to the respective emission regions being located far enough from the X-ray source that they have not yet seen the flux drop. Between the two XMM-Newton spectra, taken 6 months apart, the emission line ratio in the Ovii triplet changes drastically. We attribute this change to a drop in the ionisation of intervening warm absorption, which means that the absorber must cover a large fraction of the line emitting region, and extend much further from the black hole than previously assumed. The HST spectrum, taken in 2018, shows that new absorption features have appeared on the blue wings of Ciii*, Ly{\alpha}, Nv, Siiv and Civ, likely due to absorbing gas cooling in response to the low flux state.


title: How Does BERT Answer Questions? A Layer-Wise Analysis of Transformer Representations

abstract: Bidirectional Encoder Representations from Transformers (BERT) reach state-of-the-art results in a variety of Natural Language Processing tasks. However, understanding of their internal functioning is still insufficient and unsatisfactory. In order to better understand BERT and other Transformer-based models, we present a layer-wise analysis of BERT's hidden states. Unlike previous research, which mainly focuses on explaining Transformer models by their attention weights, we argue that hidden states contain equally valuable information. Specifically, our analysis focuses on models fine-tuned on the task of Question Answering (QA) as an example of a complex downstream task. We inspect how QA models transform token vectors in order to find the correct answer. To this end, we apply a set of general and QA-specific probing tasks that reveal the information stored in each representation layer. Our qualitative analysis of hidden state visualizations provides additional insights into BERT's reasoning process. Our results show that the transformations within BERT go through phases that are related to traditional pipeline tasks. The system can therefore implicitly incorporate task-specific information into its token representations. Furthermore, our analysis reveals that fine-tuning has little impact on the models' semantic abilities and that prediction errors can be recognized in the vector representations of even early layers.


title: A sub-critical branching process model for application to analysing Y haplotype DNA mixtures

abstract: The treatment of short-tandem-repeat (STR) loci on the Y chromosome presents special problems in the forensic analysis of DNA mixtures, chiefly but not exclusively relating to the linkage of Y-STR loci which precludes the use of the `product rule' for estimating Y-haplotype match probabilities. In recent paper, Andersen and Balding(2017) estimated, via a population simulation model, the distribution of the number of haplotypes sharing a common profile over a set of Y-STR loci, and argued for its use as an alternative to estimating Y-haplotype match probabilities. In this paper we present a sub-critical branching process model that approximates their population model, and show how to estimate the haplotype number distribution numerically using multivariate probability generating functions. It is shown that the approximation provides a good fit to their simulations. The model is extended to propose a new framework for evaluating the weight-of-evidence of Y-STR haplotype mixtures, and it is illustrated with publicly available data of a three person DNA mixture.


title: Implications of the unitary invariance and symmetry restrictions on the development of proper approximate one-body reduced density matrix functionals

abstract: In many of the approximate functionals in one-body reduced density matrix (1RDM) functional theory, the approximate two-body reduced density matrix (2RDM) in the natural orbital representation only depends on the natural occupation numbers. In Phys. Rev. A 92, 012520 (2015) Wang and Knowles initialised a discussion of to what extent this simplification is valid, by introducing two different H$_4$ geometries with identical natural occupation numbers, but different 2RDMs. Gritsenko has argued that this feature is due symmetry [Phys. Rev. A 97, 026501 (2018)]. This work aims to contribute to the discussion on the following points: 1) one should rather speak of symmetry-restricted variants of the universal functional, than saying that the universal functional is symmetry dependent; 2) the unitary invariance of degenerate NOs can lead to large deviations in the 2RDM elements, especially the phase of the NOs; 3) symmetry-restricted functionals are constructed for the H$_4$ geometries considered by Wang and Knowles, whose structure could serve as guide in the construction of approximate 1RDM functionals.


title: On weighted uncertainty sampling in active learning

abstract: This note explores probabilistic sampling weighted by uncertainty in active learning. This method has been previously used and authors have tangentially remarked on its efficacy. The scheme has several benefits: (1) it is computationally cheap, (2) it can be implemented in a single-pass streaming fashion which is a benefit when deployed in real-world systems where different subsystems perform the suggestion scoring and extraction of user feedback, and (3) it is easily parameterizable. In this paper, we show on publicly available datasets that using probabilistic weighting is often beneficial and strikes a good compromise between exploration and representation especially when the starting set of labelled points is biased.


title: Parallel in time dynamics with quantum annealers

abstract: Recent years have witnessed an unprecedented increase in experiments and hybrid simulations involving quantum computers. In particular, quantum annealers. Although quantum supremacy has not been established thus far, there exist a plethora of algorithms promising to outperform classical computers in the near-term future. Here, we propose a parallel in time approach to simulate dynamical systems designed to be executed already on present-day quantum annealers. In essence, purely classical methods for solving dynamics systems are serial. Therefore, their parallelization is substantially limited. In the presented approach, however, the time evolution is rephrased as a ground--state search of a classical Ising model. Such a problem is solved intrinsically in parallel by quantum computers. The main idea is exemplified by simulating the Rabi oscillations generated by a two-level quantum system (i.e. qubit) experimentally.


title: Multi-Year Vector Dynamic Time Warping Based Crop Mapping

abstract: Recent automated crop mapping via supervised learning-based methods have demonstrated unprecedented improvement over classical techniques. However, most crop mapping studies are limited to same-year crop mapping in which the present year's labeled data is used to predict the same year's crop map. Classification accuracies of these methods degrade considerably in cross-year mapping. Cross-year crop mapping is more useful as it allows the prediction of the following years' crop maps using previously labeled data. We propose Vector Dynamic Time Warping (VDTW), a novel multi-year classification approach based on warping of angular distances between phenological vectors. The results prove that the proposed VDTW method is robust to temporal and spectral variations compensating for different farming practices, climate and atmospheric effects, and measurement errors between years. We also describe a method for determining the most discriminative time window that allows high classification accuracies with limited data. We carried out tests of our approach with Landsat 8 time-series imagery from years 2013 to 2016 for classification of corn and cotton in the Harran Plain, and corn, cotton, and soybean in the Bismil Plain of Southeastern Turkey. In addition, we tested VDTW corn and soybean in Kansas, the US for 2017 and 2018 with the Harmonized Landsat Sentinel data. The VDTW method achieved 99.85% and 99.74% overall accuracies for the same and cross years, respectively with fewer training samples compared to other state-of-the-art approaches, i.e. spectral angle mapper (SAM), dynamic time warping (DTW), time-weighted DTW (TWDTW), random forest (RF), support vector machine (SVM) and deep long short-term memory (LSTM) methods. The proposed method could be expanded for other crop types and/or geographical areas.


title: Joint Learning of Graph Representation and Node Features in Graph Convolutional Neural Networks

abstract: Graph Convolutional Neural Networks (GCNNs) extend classical CNNs to graph data domain, such as brain networks, social networks and 3D point clouds. It is critical to identify an appropriate graph for the subsequent graph convolution. Existing methods manually construct or learn one fixed graph for all the layers of a GCNN. In order to adapt to the underlying structure of node features in different layers, we propose dynamic learning of graphs and node features jointly in GCNNs. In particular, we cast the graph optimization problem as distance metric learning to capture pairwise similarities of features in each layer. We deploy the Mahalanobis distance metric and further decompose the metric matrix into a low-dimensional matrix, which converts graph learning to the optimization of a low-dimensional matrix for efficient implementation. Extensive experiments on point clouds and citation network datasets demonstrate the superiority of the proposed method in terms of both accuracies and robustness.


title: Precise Feshbach resonance spectroscopy using tight anharmonic traps

abstract: Feshbach resonances are among the essential control tools used in ultracold atom experiments. However, for complex atomic species the theoretical characterization of resonances becomes challenging. For closely spaced resonances, the measurement of three-body losses does not provide sufficient resolution to discriminate them. For this reason, resonance spectroscopy of trapped isolated atoms is becoming the state of the art. Here we show that trapping the atoms in a double well potential such as an optical lattice or a pair of optical tweezers enables precise characterization of not only the resonance position and width, but also its pole strength, giving valuable information about the atomic structure relevant for subsequent many-body studies.


title: Linear and nonlinear electromagnetic waves in modulated honeycomb media

abstract: Wave dynamics in topological materials has been widely studied recently. A striking feature is the existence of robust and chiral wave propagations that have potential applications in many fields. A common way to realize such wave patterns is to utilize Dirac points which carry topological indices and is supported by the symmetries of the media. In this work, we investigate these phenomena in photonic media. Starting with Maxwell's equations with a honeycomb material weight as well as the nonlinear Kerr effect, we first prove the existence of Dirac points in the dispersion surfaces of transverse electric and magnetic Maxwell operators under very general assumptions of the material weight. Our assumptions on the material weight are almost the minimal requirements to ensure the existence of Dirac points in a general hexagonal photonic crystal. We then derive the associated wave packet dynamics in the scenario where the honeycomb structure is weakly modulated. It turns out the reduced envelope equation is generally a two-dimensional nonlinear Dirac equation with a spatially varying mass. By studying the reduced envelope equation with a domain-wall-like mass term, we realize the subtle wave motions which are chiral and immune to local defects. The underlying mechanism is the existence of topologically protected linear line modes, also referred to as edge states. However, we show that these robust linear modes do not survive with nonlinearity. We demonstrate the existence of nonlinear line modes, which can propagate in the nonlinear media based on high-accuracy numerical computations. Moreover, we also report a new type of nonlinear modes which are localized in both directions.


title: The Nubo Virtual Services Marketplace

abstract: In this paper, we describe a virtual services marketplace, called Nubo, designed to connect buyers of virtual services (or tenants) with providers of those services on a cloud computing platform. The marketplace is implemented as a collection of distributed microservices along with a marketplace portal that runs as a Web application. The heart of Nubo is the Saranyu tenant and service management microservice. Saranyu is a decentralized application (dApp) built on top of the J.P. Morgan Quorum blockchain. Tenant and service accounts are represented as static (nonnegotiable) smart contracts written in the Solidity language. Quorum provides a tamper evident and tamper resistant distributed ledger, whereby multiple cloud and service providers can co-operate to provide service resources to tenants in a trustworthy fashion. Services offer resources consisting of a collection of attributes describing what the tenant can consume, and tenants subscribe to service resources through the Nubo Marketplace portal. The Service Manager microservice provides multitenant support for containerized services built for deployment and orchestration using Docker that were originally not designed to be managed through Saranyu. We discuss our design goals for Nubo, describe the overall architecture, discuss some details on how Saranyu uses the blockchain and smart contracts, and provide comprehensive performance and scalability data measured on the Saranyu REST API. The results indicate Saranyu is competitive with published results for comparable operations on the Havana release of OpenStack Keystone, but Saranyu provides a much richer collection of tenant and service management functionality than Keystone.


title: Determining key spin-orbitronic parameters by means of propagating spin waves

abstract: We characterize spin wave propagation and its modification by an electrical current in Permalloy(Py)/Pt bilayers with Py thickness between 4 and 20 nm. First, we analyze the frequency non-reciprocity of surface spin waves and extract from it the interfacial Dzyaloshinskii-Moriya interaction constant $D_s$ accounting for an additional contribution due to asymmetric surface anisotropies. Second, we measure the spin-wave relaxation rate and deduce from it the Py/Pt spin mixing conductance $g^{\uparrow\downarrow}_{eff}$. Last, applying a \textit{dc} electrical current, we extract the spin Hall conductivity $\sigma_{SH}$ from the change of spin wave relaxation rate due to the spin-Hall spin transfer torque. We obtain a consistent picture of the spin wave propagation data for different film thicknesses using a single set of parameters $D_s=0.25$ pJ/m, $g^{\uparrow\downarrow}_{eff} = 3.2\times 10^{19}$ m$^{-2}$ and $\sigma_{SH}=4\times10^{5}$ S/m.


title: New bounds on the vertical heat transport for B\'enard-Marangoni convection at infinite Prandtl number

abstract: We prove a new rigorous upper bound on the vertical heat transport for B\'enard-Marangoni convection of a two- or three-dimensional fluid layer with infinite Prandtl number. Precisely, for Marangoni number $Ma \gg 1$ the Nusselt number $Nu$ is bounded asymptotically by $Nu \lesssim Ma^{2/7}(\ln Ma)^{-1/7}$. Key to our proof are a background temperature field with a hyperbolic profile near the fluid's surface, and new estimates for the coupling between temperature and vertical velocity.


title: Effective Rankine-Hugoniot conditions for shock waves in periodic media

abstract: Solutions of first-order nonlinear hyperbolic conservation laws typically develop shocks in finite time even with smooth initial conditions. However, in heterogeneous media with rapid spatial variation, shock formation may be delayed or avoided. When shocks do form in such media, their speed of propagation depends on the material structure. We investigate conditions for shock formation and propagation in heterogeneous media. We focus on the propagation of plane waves in two-dimensional periodic media with material variation in only one direction. We propose an estimate for the speed of the shocks that is based on the Rankine-Hugoniot conditions applied to a leading-order homogenized (constant coefficient) system. We verify this estimate via numerical simulations using different nonlinear constitutive relations and layered and smoothly varying periodic media. In addition, we discuss conditions and regimes under which shocks form in this type of media.


title: MAGIC and MWL monitoring of the blazar TXS 0506+056 in the 2018/2019 season

abstract: The gamma-ray blazar TXS 0506+056, was discovered in VHE gamma-rays by the MAGIC telescopes in 2017 in a follow-up campaign of a high energy neutrino event IceCube-170922A (IC+Fermi+MAGIC++, Science 361, eaat1378 (2018)). Subsequent multivawelenght (MWL) observations and theoretical modeling in a frame of hadro-leptonic emission confirmed that this source could be a potential cosmic ray and neutrino emitter (MAGIC Collaboration, Ansoldi et al., (2018)). This is, by far, the most significant association between a high-energy neutrino and an astrophysical source emitting gamma rays and X-rays. TXS 0506+056 is a key object to help the astrophysics community to establish connections between high-energy neutrinos and astrophysical sources. Accurate and contemporaneous MWL spectral measurements are essential ingredients to achieve this goal. In the conference, we present the measurements from the MAGIC and MWL monitoring of this source, spanning the time period from November 2017 till February 2019. These include the lowest VHE gamma-ray emission state measured from this source so far as well as a flaring episode in December 2018.


title: InceptionTime: Finding AlexNet for Time Series Classification

abstract: This paper brings deep learning at the forefront of research into Time Series Classification (TSC). TSC is the area of machine learning tasked with the categorization (or labelling) of time series. The last few decades of work in this area have led to significant progress in the accuracy of classifiers, with the state of the art now represented by the HIVE-COTE algorithm. While extremely accurate, HIVE-COTE cannot be applied to many real-world datasets because of its high training time complexity in O(N2 * T4) for a dataset with N time series of length T. For example, it takes HIVE-COTE more than 8 days to learn from a small dataset with N = 1500 time series of short length T = 46. Meanwhile deep learning has received enormous attention because of its high accuracy and scalability. Recent approaches to deep learning for TSC have been scalable, but less accurate than HIVE-COTE. We introduce InceptionTime - an ensemble of deep Convolutional Neural Network (CNN) models, inspired by the Inception-v4 architecture. Our experiments show that InceptionTime is on par with HIVE-COTE in terms of accuracy while being much more scalable: not only can it learn from 1,500 time series in one hour but it can also learn from 8M time series in 13 hours, a quantity of data that is fully out of reach of HIVE-COTE.


title: Radial Injection in Suspension High Velocity Oxy Fuel (S-HVOF) Thermal Spray of Graphene Nanoplatelets for Tribology

abstract: Friction is a major issue in energy efficiency of any apparatus composed of moving mechanical parts, affecting durability and reliability. Graphene nanoplatelets (GNPs) are good candidates for reducing friction and wear, and suspension high velocity oxy-fuel (SHVOF) thermal spray is a promising technique for their scalable and fast deposition, but it can expose them to excessive heat. In this work, we explore radial injection of GNPs in SHVOF thermal spray as a means of reducing their interaction with the hot flame, while still allowing a high momentum transfer and effective deposition. Feedstock injection parameters, such as flowrate, injection angle and position, were studied using high-speed imaging and particles temperature and velocity monitoring at different flame powers using Accuraspray 4.0. Unlubricated ball-on-flat sliding wear tests against an alumina counterbody ball showed a friction coefficient reduction up to a factor 10 compared to the bare substrate, down to 0.07. The deposited layer of GNPs protects the underlying substrate by allowing low-friction dry sliding. A Transmission Electron Microscopy study showed GNPs preserved crystallinity after spray, and became amorphised and wrinkled upon wear. This study focused on GNPs but is relevant to other heat- and oxidation-sensitive materials such as polymers, nitrides and 2D materials.


title: One-loop Photon's Effective Action in the Noncommutative Scalar QED$_{3}$

abstract: In this paper, we consider the evaluation of the effective action for photons coupled to charged scalar fields in the framework of a $(2+1)$-dimensional noncommutative spacetime. In order to determine the noncommutative Maxwell Lagrangian density, we follow a perturbative approach, by integrating out the charged scalar fields, to compute the respective graphs for the vev's $\left\langle AA \right\rangle$, $\left\langle AAA \right\rangle$ and $\left\langle AAAA \right\rangle$. Surprisingly, it is shown that these contributions are planar and that, in the highly noncommutative limit, correspond to the Maxwell effective action and its higher-derivative corrections. It is explicitly verified that the one-loop effective action is gauge invariant, as well as under discrete symmetries: parity, time reversal and charge conjugation. Moreover, a comparison of the main results with the noncommutative QED$_{3}$ is established. In particular, the main difference is the absence of parity violating terms in the photon's effective action coming from integrating out the charged scalar fields.


title: Multi-Sensor 3D Object Box Refinement for Autonomous Driving

abstract: We propose a 3D object detection system with multi-sensor refinement in the context of autonomous driving. In our framework, the monocular camera serves as the fundamental sensor for 2D object proposal and initial 3D bounding box prediction. While the stereo cameras and LiDAR are treated as adaptive plug-in sensors to refine the 3D box localization performance. For each observed element in the raw measurement domain (e.g., pixels for stereo, 3D points for LiDAR), we model the local geometry as an instance vector representation, which indicates the 3D coordinate of each element respecting to the object frame. Using this unified geometric representation, the 3D object location can be unified refined by the stereo photometric alignment or point cloud alignment. We demonstrate superior 3D detection and localization performance compared to state-of-the-art monocular, stereo methods and competitive performance compared with the baseline LiDAR method on the KITTI object benchmark.


title: CEP-stable soliton-based pulse compression to 4.4 fs and UV generation at 800 kHz repetition rate

abstract: We report generation of a femtosecond supercontinuum extending from the ultraviolet to the near-infrared and detection of its carrier-envelope phase variation by f-to-2f interferometry. The spectrum is generated in a gas-filled hollow-core photonic crystal fiber where soliton dynamics allows CEP-stable self-compression of OPCPA pump pulses at 800 nm to a duration of 1.7 optical cycles, followed by dispersive wave emission. The source provides up to 1 {\mu}J of pulse energy at 800 kHz repetition rate resulting in 0.8 W of average power, and can be extremely useful for example in strong-field physics, pump-probe measurements and ultraviolet frequency comb metrology.


title: Spatially Resolved Studies of Local Massive Red Spiral Galaxies

abstract: We report two-dimensional spectroscopic analysis of massive red spiral galaxies ($M_{*}$ $>$ 10$^{10.5}$ $M_{\odot}$) and compare them to blue spiral and red elliptical galaxies above the same mass limit based on the public SDSS DR15 MaNGA observations. We find that the stellar population properties of red spiral galaxies are more similar to those of elliptical galaxies than to blue spiral galaxies. Red spiral galaxies show a shallow mass-weighted age profile, and they have higher stellar metallicity and Mgb/${\rm \langle Fe \rangle}$ across the whole 1.5$R_{\rm e}$ as compared to blue spirals, but all these properties are close to those of elliptical galaxies. One scenario to explain this is that red spirals form as remnants of very gas-rich major mergers that happened above $z$$\sim$1.


title: Performance Estimation of Container-Based Cloud-to-Fog Offloading

abstract: Fog computing offloads latency critical application services running on the Cloud in close proximity to end-user devices onto resources located at the edge of the network. The research in this paper is motivated towards characterising and estimating the time taken to offload a service using containers, which is investigated in the context of the `Save and Load' container migration technique. To this end, the research addresses questions such as whether fog offloading can be accurately modelled and which system and network related parameters influence offloading. These are addressed by exploring a catalogue of 21 different metrics both at the system and process levels that is used as input to four estimation techniques using collective model and individual models to predict the time taken for offloading. The study is pursued by collecting over 1.1 million data points and the preliminary results indicate that offloading can be modelled accurately.


title: Ground States of the $\phi^4$ Double-Well QFT

abstract: At second order in perturbation theory, we find the ground states of the $\phi^4$ double-well quantum field theory in 1+1 dimensions. The operators which create these ground states from the free vacuum are constructed explicitly at this order, as is the operator which interpolates between the ground states. As a warm up we perform the analogous calculation in quantum mechanics, where the true ground state is unique but in perturbation theory there are also two ground states.


title: Crocoddyl: An Efficient and Versatile Framework for Multi-Contact Optimal Control

abstract: We introduce Crocoddyl (Contact RObot COntrol by Differential DYnamic Library), an open-source framework tailored for efficient multi-contact optimal control. Crocoddyl efficiently computes the state trajectory and the control policy for a given predefined sequence of contacts. Its efficiency is due to the use of sparse analytical derivatives, exploitation of the problem structure, and data sharing. It employs differential geometry to properly describe the state of any geometrical system, e.g. floating-base systems. Additionally, we propose a novel optimal control algorithm called Feasibility-driven Differential Dynamic Programming (FDDP). Our method does not add extra decision variables which often increases the computation time per iteration due to factorization. FDDP shows a greater globalization strategy compared to classical Differential Dynamic Programming (DDP) algorithms. Concretely, we propose two modifications to the classical DDP algorithm. First, the backward pass accepts infeasible state-control trajectories. Second, the rollout keeps the gaps open during the early "exploratory" iterations (as expected in multiple-shooting methods with only equality constraints). We showcase the performance of our framework using different tasks. With our method, we can compute highly-dynamic maneuvers (e.g. jumping, front-flip) within few milliseconds.


title: BERTgrid: Contextualized Embedding for 2D Document Representation and Understanding

abstract: For understanding generic documents, information like font sizes, column layout, and generally the positioning of words may carry semantic information that is crucial for solving a downstream document intelligence task. Our novel BERTgrid, which is based on Chargrid by Katti et al. (2018), represents a document as a grid of contextualized word piece embedding vectors, thereby making its spatial structure and semantics accessible to the processing neural network. The contextualized embedding vectors are retrieved from a BERT language model. We use BERTgrid in combination with a fully convolutional network on a semantic instance segmentation task for extracting fields from invoices. We demonstrate its performance on tabulated line item and document header field extraction.


title: Disentangling the Arcturus stream

abstract: The Arcturus stream is an over-density of stars in velocity space and its origin has been much debated recently without any clear conclusion. Resolving the nature of the Arcturus stream can provide clues to the formation history of the Milky Way and its stellar populations. The space velocities, angular momenta and actions for a sample of more than 5.8 million stars, composed from Gaia DR2, are analysed with a wavelet transform. The kinematic characteristics of each identified group is used to select possible members of the groups from the GALAH and APOGEE spectroscopic surveys to further study and constrain their chemical properties. In the velocity and angular momentum spaces the already known Sirius, Pleiades, Hyades, Hercules, AF06, Arcturus and KFR08 streams are clearly identified. The Hercules stream appears to be a mixture of thin and thick disk stars. The Arcturus stream, as well as the AF06 and KFR08 streams, are low-velocity and low-angular momentum structures with chemical compositions similar to the thick disk. These three groups extend further from the Galactic plane compared to the Hercules stream. The detections of all the groups were spaced by approximately 20-30 km/s in azimuthal velocity. A wide spread of chemical abundances within the Arcturus stream indicates that the group is not a dissolved open cluster. Instead the Arcturus stream, together with the AF06 and KFR08 streams, are more likely to be part of a phase-space wave, that could have been caused by an ancient merger event. This conclusion is based on that the different structures are detected in steps of 20-30 km/s in azimuthal velocity, that the kinematic and chemical features are different from what is expected for bar-originated structures, and that the lower-velocity streams extend further from the disk than bar-originated structures.


title: D-Ultrafilters and their Monads

abstract: For a number of locally finitely presentable categories K we describe the codensity monad of the full embedding of all finitely presentable objects into K. We introduce the concept of D-ultrafilter on an object, where D is a "nice" cogenerator of K. We prove that the codensity monad assigns to every object an object representing all D-ultrafilters on it. Our result covers e.g. categories of sets, vector spaces, posets, semilattices, graphs and M-sets for finite commutative monoids M.


title: AnimalWeb: A Large-Scale Hierarchical Dataset of Annotated Animal Faces

abstract: Being heavily reliant on animals, it is our ethical obligation to improve their well-being by understanding their needs. Several studies show that animal needs are often expressed through their faces. Though remarkable progress has been made towards the automatic understanding of human faces, this has regrettably not been the case with animal faces. There exists significant room and appropriate need to develop automatic systems capable of interpreting animal faces. Among many transformative impacts, such a technology will foster better and cheaper animal healthcare, and further advance animal psychology understanding. We believe the underlying research progress is mainly obstructed by the lack of an adequately annotated dataset of animal faces, covering a wide spectrum of animal species. To this end, we introduce a large-scale, hierarchical annotated dataset of animal faces, featuring 21.9K faces from 334 diverse species and 21 animal orders across biological taxonomy. These faces are captured `in-the-wild' conditions and are consistently annotated with 9 landmarks on key facial features. The proposed dataset is structured and scalable by design; its development underwent four systematic stages involving rigorous, manual annotation effort of over 6K man-hours. We benchmark it for face alignment using the existing art under novel problem settings. Results showcase its challenging nature, unique attributes and present definite prospects for novel, adaptive, and generalized face-oriented CV algorithms. We further benchmark the dataset for face detection and fine-grained recognition tasks, to demonstrate multi-task applications and room for improvement. Experiments indicate that this dataset will push the algorithmic advancements across many related CV tasks and encourage the development of novel systems for animal facial behaviour monitoring. We will make the dataset publicly available.


title: Time of Flight Modulation of Intensity by Zero Effort on Larmor

abstract: A time of flight Modulation of IntEnsity by Zero Effort (MIEZE) spectrometer mode has been developed for the Larmor instrument at the ISIS pulsed neutron source. The instrument utilizes resonant neutron spin flippers which employ electromagnets with pole shoes, allowing the flippers to operate at frequencies of up to 3 MHz. Tests were conducted at modulation frequencies of 103 kHz, 413 kHz, 826 kHz and 1.03 MHz, resulting in a Fourier time range of ~0.1 ns to 30 ns using wavelength band of 4 {\AA}-11 {\AA}.


title: Determination of the electric field in highly-irradiated silicon sensors using edge-TCT measurements

abstract: A method is presented which allows to obtain the position-dependent electric field and charge density by fits to velocity profiles from edge-TCT data from silicon strip-detectors. The validity and the limitations of the method are investigated by simulations of non-irradiated $n^+p$ pad sensors and by the analysis of edge-TCT data from non-irradiated $n^+p$ strip-detectors. The method is then used to determine the position dependent electric field and charge density in $n^+p$ strip detectors irradiated by reactor neutrons to fluences between 1 and $10 \times 10^{15}$ cm$^{-2}$ for forward-bias voltages between 25 V and up to 550 V and for reverse-bias voltages between 50 V and 800 V. In all cases the velocity profiles are well described. The electric fields and charge densities determined provide quantitative insights into the effects of radiation damage for silicon sensors by reactor neutrons.


title: Report on the 8th International Workshop on Bibliometric-enhanced Information Retrieval (BIR 2019)

abstract: The Bibliometric-enhanced Information Retrieval workshop series (BIR) at ECIR tackled issues related to academic search, at the crossroads between Information Retrieval and Bibliometrics. BIR is a hot topic investigated by both academia (e.g., ArnetMiner, CiteSeerx, DocEar) and the industry (e.g., Google Scholar, Microsoft Academic Search, Semantic Scholar). This report presents the 8th iteration of the one-day BIR workshop held at ECIR 2019 in Cologne, Germany.


title: Fakeons, unitarity, massive gravitons and the cosmological constant

abstract: We give a simple proof of perturbative unitarity in gauge theories and quantum gravity using a special gauge that allows us to separate the physical poles of the free propagators, which are quantized by means of the Feynman prescription, from the poles that belong to the gauge-trivial sector, which are quantized by means of the fakeon prescription. The proof applies to renormalizable theories, including the ultraviolet complete theory of quantum gravity with fakeons formulated recently, as well as low-energy (nonrenormalizable) theories. We clarify a number of subtleties related to the study of scattering processes in the presence of a cosmological constant $\Lambda$. The scattering amplitudes, defined by expanding the metric around flat space, obey the optical theorem up to corrections due to $\Lambda$, which are negligible for all practical purposes. Problems of interpretation would arise if such corrections became important. In passing, we obtain local, unitary (and "almost" renormalizable) theories of massive gravitons and gauge fields, which violate gauge invariance and general covariance explicitly.


title: Heterogeneity of Inverted Calcium II H:K Ratio Cluster Galaxies

abstract: The ratio of calcium II H plus H$\epsilon$ to calcium II K inverts as a galaxy stellar population moves from being dominated by older stars to possessing more A and B class stars. This ratio - the H:K ratio - can serve as an indicator of stellar populations younger than 200 Myr. In this work, we provide a new method to determine H:K, and apply it to spectra taken of cluster galaxies in Abell~3888. Although H:K is on average systematically lower for the cluster than for a wider field sample, we show that H:K does not have a simple relationship with other indices such as the equivalent widths of H$\delta$ and [OII]. Moreover, strongly inverted galaxies with H:K>1.1 have no preferred location within the cluster and are only slightly lower in their velocity dispersions around the cluster compared to strongly emitting [OII] galaxies. Our results indicate that selecting galaxies on H:K inversion results in a heterogeneous sample formed via a mixture of pathways that likely includes, but may not be limited to, merging spiral galaxies, and quiescent galaxies accreting lower mass, gas rich companions. In concert with other selection criteria, H:K can provide a means to select a more `pure' passive sample or to aid in the selection of highly star-forming galaxies, especially where other spectral line indicators such as H$\alpha$ may not have been observed.


title: Solvable Hypergroups and a Generalization of Hall's Theorems on Finite Solvable Groups to Association Schemes

abstract: We generalize Philip Hall's celebrated theorems on finite solvable groups to scheme theory. Our result is based on a series of results on hypergroups.


title: Real orbits of complex spherical homogeneous spaces: the split case

abstract: We identify the $G(\mathbb R)$-orbits of the real locus $X(\mathbb R)$ of any spherical complex variety $X$ defined over $\mathbb R$ and homogeneous under a split connected reductive group $G$ defined also over $\mathbb R$. This is done by introducing some reflection operators on the set of real Borel orbits of $X(\mathbb R)$. We thus investigate the existence problem for an action of the Weyl group of $G$ on the set of real Borel orbits of $X(\mathbb R)$. In particular, we determine the varieties $X$ for which these operators define an action of the very little Weyl group of $X$ on the set of open real Borel orbits of $X(\mathbb R)$. This enables us to give a parametrization of the $G(\mathbb R)$-orbits of $X(\mathbb R)$ in terms of the orbits of this new action.


title: A stellar census in globular clusters with MUSE: Multiple populations chemistry in NGC 2808

abstract: Galactic globular clusters (GCs) are now known to host multiple populations displaying particular abundance variations. The different populations within a GC can be well distinguished following their position in the pseudo two-colors diagrams, also referred to as "chromosome maps". These maps are constructed using optical and near-UV photometry available from the Hubble Space Telescope (HST) UV survey of GCs. However, the chemical tagging of the various populations in the chromosome maps is hampered by the fact that HST photometry and elemental abundances are both available only for a limited number of stars. The spectra collected as part of the MUSE survey of globular clusters provide a spectroscopic counterpart to the HST photometric catalogs covering the central regions of GCs. In this paper, we use the MUSE spectra of 1115 red giant branch (RGB) stars in NGC 2808 to characterize the abundance variations seen in the multiple populations of this cluster. We use the chromosome map of NGC 2808 to divide the RGB stars into their respective populations. We then combine the spectra of all stars belonging to a given population, resulting in one high signal-to-noise ratio spectrum representative of each population. Variations in the spectral lines of O, Na, Mg, and Al are clearly detected among four of the populations. In order to quantify these variations, we measured equivalent width differences and created synthetic populations spectra that were used to determine abundance variations with respect to the primordial population of the cluster. Our results are in good agreement with the values expected from previous studies based on high-resolution spectroscopy. We do not see any significant variations in the spectral lines of Ca, K, and Ba. We also do not detect abundance variations among the stars belonging to the primordial population of NGC 2808.


title: Wideband acoustic modulation using periodic poroelastic composite structures

abstract: We proposed an effective acoustic abatement solution comprised of periodic resonators and multi-panel structures with porous lining, which incorporates the wideband capability of porous materials and the low-frequency advantage of locally resonant structures together. Theoretical model and numerical implementation are developed and validated. Two-dimensional poroelastic field expressions are used and resonator forces are incorporated. The results agree well with those reported in the literature and the results obtained from the finite element method. It turns out that sound insulation concerning both the amplitude and tuning bandwidth can be achieved effectively using porous additions and locally-resonant designs. This study presents a promising and practical alternative for wideband acoustic modulation.


title: Emotional Distraction for Children Anxiety Reduction During Vaccination

abstract: Social assistive robots are starting to be widely used in pediatric health-care environments with the aim of distracting and entertaining children, and so of reducing a possible state of anxiety. In this paper, we present some initial results of a study (N=69) conducted in a Health-Vaccines Center, where the distraction role of a social robot, which interacts with a child showing an emotional behavior, is compared with the same not showing any emotional social cue. Outcome criteria for the evaluation of the intervention included the parents reported level of anxiety before, during and after the procedure.


title: Existence and multiplicity for an elliptic problem with critical growth in the gradient and sign-changing coefficients

abstract: Let $\Omega \subset \mathbb{R}^N$, $N \geq 2$, be a smooth bounded domain. We consider the boundary value problem \begin{equation} \label{Plambda-Abstract-ch3} \tag{$P_{\lambda}$} -\Delta u = c_{\lambda}(x) u + \mu |\nabla u|^2 + h(x)\,, \quad u \in H_0^1(\Omega) \cap L^{\infty}(\Omega)\,, \end{equation} where $c_{\lambda}$ and $h$ belong to $L^q(\Omega)$ for some $q > N/2$, $\mu$ belongs to $\mathbb{R} \setminus \{0\}$ and we write $c_{\lambda}$ under the form $c_{\lambda}:= \lambda c_{+} - c_{-}$ with $c_{+} \gneqq 0$, $c_{-} \geq 0$, $c_{+} c_{-} \equiv 0$ and $\lambda \in \mathbb{R}$. Here $c_{\lambda}$ and $h$ are both allowed to change sign. As a first main result we give a necessary and sufficient condition which guarantees the existence of a unique solution to \eqref{Plambda-Abstract-ch3} when $\lambda \leq 0$. Then, assuming that $(P_0)$ has a solution, we prove existence and multiplicity results for $\lambda > 0$. Our proofs rely on a suitable change of variable of type $v = F(u)$ and the combination of variational methods with lower and upper solution techniques.


title: Remarks on matter-gravity entanglement, entropy, information loss and events

abstract: I recall my 'matter-gravity entanglement hypothesis' and briefly review the evidence for it, based partly on its seeming ability to resolve a number of puzzles related to quantum black holes including the black hole information loss puzzle. I point out that, according to this hypothesis, there is a quantity, i.e. the universe's 'matter-gravity entanglement entropy' -- which deserves to be considered the 'entropy of the universe' and which, with suitable initial conditions, will plausibly increase monotonically with cosmological time. In the last section, which is more tentative and raises a number of further puzzles and open questions, I discuss the prospects for a notion of 'events' which 'happen' whose statistical properties are described by this entropy of the universe. It is hoped that such a theory of events may be a step on the way towards explaining how initial quantum fluctuations convert themselves into inhomogeneities in a seemingly classical universe.


title: Teaching algebraic curves for gifted learners at age 11 by using LEGO linkages and GeoGebra

abstract: A summary of an experimental course on algebraic curves is given that was held for young learners at age 11. The course was a part of Epsilon camp, a program designed for very gifted students who have already demonstrated high interest in studying mathematics. Prerequisites for the course were mastery of Algebra I and at least one preliminary year in a prior Epsilon camp. The summary gives an overview of the flow of teaching, the achieved results and some evaluation of the given feedback.


title: Characterising the surface magnetic fields of T Tauri stars with high-resolution near-infrared spectroscopy

abstract: We aim to characterise the surface magnetic fields of a sample of 8 T Tauri stars from high-resolution near-IR spectroscopy. Some stars in our sample are known to be magnetic from previous spectroscopic or spectropolarimetric studies. Our goals are 1) to apply Zeeman broadening modelling to T Tauri stars with high-resolution data, 2) to expand the sample of stars with measured surface magnetic field strengths, 3) to investigate possible rotational or long-term magnetic variability by comparing spectral time series of given targets, and 4) to compare the magnetic field modulus <B> tracing small-scale magnetic fields to those of large-scale magnetic fields derived by Stokes V Zeeman Doppler Imaging. We modelled the Zeeman broadening of magnetically sensitive spectral lines in the near-IR K-band from high-resolution spectra by using magnetic spectrum synthesis based on realistic model atmospheres and by using different descriptions of the surface magnetic field. We developped a Bayesian framework that selects the complexity of the magnetic field prescription based on the information contained in the data. We obtain individual magnetic field measurements for each star in our sample using four different models. We find that the Bayesian Model 4 performs best in the range of magnetic fields measured on the sample (from 1.5 kG to 4.4 kG). We do not detect a strong rotational variation of <B> with a mean peak-to-peak variation of 0.3 kG. Our confidence intervals are of the same order of magnitude, which suggests that the Zeeman broadening is produced by a small-scale magnetic field homogeneously distributed over stellar surfaces. A comparison of our results with mean large-scale magnetic field measurements from Stokes V ZDI show different fractions of mean field strength being recovered, from 25-42% for relatively simple poloidal axisymmetric field topologies to 2-11% for more complex fields.


title: Analytical modelling of period spacings across the HR diagram

abstract: The characterisation of stellar cores may be accomplished through the modelling of asteroseismic data from stars exhibiting either gravity-mode or mixed-mode pulsations, potentially shedding light on the physical processes responsible for the production, mixing, and segregation of chemical elements. In this work we validate against model data an analytical expression for the period spacing that will facilitate the inference of the properties of stellar cores, including the detection and characterisation of buoyancy glitches (strong chemical gradients). This asymptotically-based analytical expression is tested both in models with and without buoyancy glitches. It does not assume that glitches are small and, consequently, predicts non-sinusoidal glitch-induced period-spacing variations, as often seen in model and real data. We show that the glitch position and width inferred from the fitting of the analytical expression to model data consisting of pure gravity modes are in close agreement (typically better than 7$\%$ relative difference) with the properties measured directly from the stellar models. In the case of fitting mixed-mode model data, the same expression is shown to reproduce well the numerical results, when the glitch properties are known a priori. In addition, the fits performed to mixed-mode model data reveal a frequency dependence of the coupling coefficient, $q$, for a moderate-luminosity red-giant-branch model star. Finally, we find that fitting the analytical expression to the mixed-mode period spacings may provide a way to infer the frequencies of the pure acoustic dipole modes that would exist if no coupling took place between acoustic and gravity waves.


title: A comprehensive study of NGC 2345, a young open cluster with a low metallicity

abstract: NGC 2345 is a young open cluster hosting seven blue and red supergiants, low metallicity and a high fraction of Be stars which makes it a privileged laboratory to study stellar evolution. We aim to improve the determination of the cluster parameters and study the Be phenomenon. Our objective is also to characterise its seven evolved stars by deriving their atmospheric parameters and chemical abundances. We performed a complete analysis combining for the first time $ubvy$ photometry with spectroscopy as well as $Gaia$ Data Release 2. We obtained spectra with classification purposes for 76 stars and high-resolution spectroscopy for an in-depth analysis of the blue and red evolved stars. We identify a new red supergiant and 145 B-type likely members within a radius of 18.7$\pm$1.2 arcmin, which implies an initial mass, $M_{\textrm{cl}}\approx$5200 M$_{\odot}$. We find a distance of 2.5$\pm$0.2 kpc for NGC 2345, placing it at $R_{\textrm{GC}}$=10.2$\pm$0.2 kpc. Isochrone fitting supports an age of 56$\pm$13 Ma, implying masses around 6.5 M$_{\odot}$ for the supergiants. A high fraction of Be stars ($\approx$10$\%$) is found. From the spectral analysis we estimate for the cluster an average $v_{\textrm{rad}}$=$+58.6\pm0.5$ kms$^{-1}$ and a low metallicity, [Fe/H]=$-$0.28$\pm$0.07. We also have determined chemical abundances for Li, O, Na, Mg, Si, Ca, Ti, Ni, Rb, Y, and Ba for the evolved stars. The chemical composition of the cluster is consistent with that of the Galactic thin disc. One of the K supergiants, S50, is a Li-rich star, presenting an A(Li)$\approx$2.1. An overabundance of Ba is found, supporting the enhanced $s$-process. NGC 2345 has a low metallicity for its Galactocentric distance, comparable to typical LMC stars. It is massive enough to serve as a testbed for theoretical evolutionary models for massive intermediate-mass stars.


title: Unified gas-kinetic simulation for the system of multiscale radiation hydrodynamics

abstract: This paper aims at the simulation of multiple scale physics in the system of radiation hydrodynamics. The system couples the fluid dynamic evolution equations with the radiative heat transfer. The coupled system is solved by the gas-kinetic scheme (GKS) for the compressible viscous and heat conducting flow and the unified gas-kinetic scheme (UGKS) for the non-equilibrium radiative transfer, together with the momentum and energy exchange between these two phases. For the radiative transfer, due to the possible large variation of fluid opacity in different regions, the transport of photons in the flow system is simulated by the multiscale UGKS, which is capable of naturally capturing the transport process from the free streaming to the diffusive propagation.Since both GKS and UGKS are finite volume methods,all unknowns are defined inside each control volume and are discretized consistently for the hydrodynamic and radiative variables. For the coupled system, the scheme has the asymptotical preserving (AP) property, such as recovering the equilibrium diffusion limit for the radiation hydrodynamic equations in the optically thick region, where the cell size is not limited by photon's mean free path. A few test cases, such as radiative shock wave problems, are used to validate the current approach.


title: Global existence for null-form wave equations with data in a Sobolev space of lower regularity and weight

abstract: Assuming initial data have small weighted $H^4\times H^3$ norm, we prove global existence of solutions to the Cauchy problem for systems of quasi-linear wave equations in three space dimensions satisfying the null condition of Klainerman. Compared with the work of Christodoulou, our result assumes smallness of data with respect to $H^4\times H^3$ norm having a lower weight. Our proof uses the space-time $L^2$ estimate due to Alinhac for some special derivatives of solutions to variable-coefficient wave equations. It also uses the conformal energy estimate for inhomogeneous wave equation $\Box u=F$. A new observation made in this paper is that, in comparison with the proofs of Klainerman and H\"ormander, we can limit the number of occurrences of the generators of hyperbolic rotations or dilations in the course of a priori estimates of solutions. This limitation allows us to obtain global solutions for radially symmetric data, when a certain norm with considerably low weight is small enough.


title: Oscillating nuclear electric dipole moments inside atoms

abstract: Interaction with the axion dark matter (DM) field generates an oscillating nuclear electric dipole moment (EDM) with a frequency corresponding to the axion's Compton frequency. Within an atom, an oscillating EDM can drive electric dipole transitions in the electronic shell. In the absence of radiation, and if the axion frequency matches a dipole transition, it can promote the electron into the excited state. The excitation events can be detected, for example, via subsequent uorescence or photoionization. Here we calculate the rates of such transitions. For a single light atom and an axion Compton frequency resonant with a transition energy corresponding to 1 eV, the rate is on the order of 10^(-22) per year, so a macroscopic atomic sample would be needed. A fundamental challenge is discriminating against background processes that may lead to the excitation of the same electric dipole transition. The ways to enhance the signals to potentially observable levels exceeding backgrounds and to search for axions in an extended frequency range are discussed.


title: SMA Observations of Haro 2: Molecular Gas around a Hot Superbubble

abstract: Haro 2 , a nearby dwarf starburst dwarf galaxy with strong Ly alpha emission, hosts a starburst that has created outflows and filaments. The clear evidence for galactic outflow makes it an ideal candidate for studying the effects of feedback on molecular gas in a dwarf galaxy. We observed CO(2-1) in Haro 2 at the Submillimeter Array in the compact and extended configurations, and have mapped the molecular emission with velocity resolution 4.1 km/s and spatial resolution 2.0x1.6". With this significant increase of resolution over previous measurements we see that the molecular gas comprises two components: bright clumps associated with the embedded star clusters of the starburst, and fainter extended emission east of the starburst region. The extended emission coincides with an X-ray bubble and has the kinematic signatures of a shell or bubble expanding with velocity +-35 km/s. We suggest that the starburst winds that created the X-Ray bubble have entrained molecular gas, and that the apparent velocity gradient across the photometric axis is an artifact caused by the outflow. The molecular and X-ray activity is on the east of the galaxy and the ionized outflow and optical filaments are west; their relationship is not clear.


title: WSOD^2: Learning Bottom-up and Top-down Objectness Distillation for Weakly-supervised Object Detection

abstract: We study on weakly-supervised object detection (WSOD) which plays a vital role in relieving human involvement from object-level annotations. Predominant works integrate region proposal mechanisms with convolutional neural networks (CNN). Although CNN is proficient in extracting discriminative local features, grand challenges still exist to measure the likelihood of a bounding box containing a complete object (i.e., "objectness"). In this paper, we propose a novel WSOD framework with Objectness Distillation (i.e., WSOD^2) by designing a tailored training mechanism for weakly-supervised object detection. Multiple regression targets are specifically determined by jointly considering bottom-up (BU) and top-down (TD) objectness from low-level measurement and CNN confidences with an adaptive linear combination. As bounding box regression can facilitate a region proposal learning to approach its regression target with high objectness during training, deep objectness representation learned from bottom-up evidences can be gradually distilled into CNN by optimization. We explore different adaptive training curves for BU/TD objectness, and show that the proposed WSOD^2 can achieve state-of-the-art results.


title: Monitoring Achilles tendon healing progress in ultrasound imaging with convolutional neural networks

abstract: Achilles tendon rupture is a debilitating injury, which is typically treated with surgical repair and long-term rehabilitation. The recovery, however, is protracted and often incomplete. Diagnosis, as well as healing progress assessment, are largely based on ultrasound and magnetic resonance imaging. In this paper, we propose an automatic method based on deep learning for analysis of Achilles tendon condition and estimation of its healing progress on ultrasound images. We develop custom convolutional neural networks for classification and regression on healing score and feature extraction. Our models are trained and validated on an acquired dataset of over 250.000 sagittal and over 450.000 axial ultrasound slices. The obtained estimates show a high correlation with the assessment of expert radiologists, with respect to all key parameters describing healing progress. We also observe that parameters associated with i.a. intratendinous healing processes are better modeled with sagittal slices. We prove that ultrasound imaging is quantitatively useful for clinical assessment of Achilles tendon healing process and should be viewed as complementary to magnetic resonance imaging.


title: Computer-Aided Automated Detection of Gene-Controlled Social Actions of Drosophila

abstract: Gene expression of social actions in Drosophilae has been attracting wide interest from biologists, medical scientists and psychologists. Gene-edited Drosophilae have been used as a test platform for experimental investigation. For example, Parkinson's genes can be embedded into a group of newly bred Drosophilae for research purpose. However, human observation of numerous tiny Drosophilae for a long term is an arduous work, and the dependence on human's acute perception is highly unreliable. As a result, an automated system of social action detection using machine learning has been highly demanded. In this study, we propose to automate the detection and classification of two innate aggressive actions demonstrated by Drosophilae. Robust keypoint detection is achieved using selective spatio-temporal interest points (sSTIP) which are then described using the 3D Scale Invariant Feature Transform (3D-SIFT) descriptors. Dimensionality reduction is performed using Spectral Regression Kernel Discriminant Analysis (SR-KDA) and classification is done using the nearest centre rule. The classification accuracy shown demonstrates the feasibility of the proposed system.


title: Sharp pointwics estimate for Fock spaces

abstract: Firstly we establish a sharp pointwise estimate for the arbitrary derivative of the function $f\in F_{\alpha}^{p},$ where $F_{\alpha}^{p}$ denotes the Fock space for $1\leq p<\infty.$ Then, in a particular Hilbert case when $p=2$ we establish another specific pointwise sharp estimate. We also consider the differential operator between $F_{\alpha}^{p}$ and $F_{\beta}^{p}$ for $\beta>\alpha$ and its adjoint.


title: An evolutionary strategy for finding effective quantum $ 2 $-body Hamiltonians of $ p $-body interacting systems

abstract: Embedding $p$-body interacting models onto the $2$-body networks implemented on commercial quantum annealers is a relevant issue. For highly interacting models, requiring a number of ancilla qubits, that can be sizable and make unfeasible (if not impossible) to simulate such systems. In this manuscript, we propose an alternative to minor embedding, developing a new approximate procedure based on genetic algorithms, allowing to decouple the $p$-body in terms of $2$-body interactions. A set of preliminary numerical experiments demonstrates the feasibility of our approach for the ferromagnetic $p$-spin model, and pave the way towards the application of evolutionary strategies to more complex quantum models.


title: CARS: Continuous Evolution for Efficient Neural Architecture Search

abstract: Searching techniques in most of existing neural architecture search (NAS) algorithms are mainly dominated by differentiable methods for the efficiency reason. In contrast, we develop an efficient continuous evolutionary approach for searching neural networks. Architectures in the population that share parameters within one SuperNet in the latest generation will be tuned over the training dataset with a few epochs. The searching in the next evolution generation will directly inherit both the SuperNet and the population, which accelerates the optimal network generation. The non-dominated sorting strategy is further applied to preserve only results on the Pareto front for accurately updating the SuperNet. Several neural networks with different model sizes and performances will be produced after the continuous search with only 0.4 GPU days. As a result, our framework provides a series of networks with the number of parameters ranging from 3.7M to 5.1M under mobile settings. These networks surpass those produced by the state-of-the-art methods on the benchmark ImageNet dataset.


title: Returning to Shannon's Original Sense

abstract: Shannon theory is revisited. The generalized channel capacity C = sup_X I(X;Y ) is checked with a negative conclusion.


title: The three-state Potts model on the centered triangular lattice

abstract: We study phase transitions of the Potts model on the centered-triangular lattice with two types of couplings, namely $K$ between neighboring triangular sites, and $J$ between the centered and the triangular sites. Results are obtained by means of a finite-size analysis based on numerical transfer matrix calculations and Monte Carlo simulations. Our investigation covers the whole $(K, J)$ phase diagram, but we find that most of the interesting physics applies to the antiferromagnetic case $K<0$, where the model is geometrically frustrated. In particular, we find that there are, for all finite $J$, two transitions when K is varied. Their critical properties are explored. In the limits $J\to \pm \infty$ we find algebraic phases with infinite-order transitions to the ferromagnetic phase.


title: Singular Tur\'an numbers and WORM-colorings

abstract: A subgraph $H$ of $G$ is \textit{singular} if the vertices of $H$ either have the same degree in $G$ or have pairwise distinct degrees in $G$. The largest number of edges of a graph on $n$ vertices that does not contain a singular copy of $H$ is denoted by $T_S(n,H)$. Caro and Tuza [Theory and Applications of Graphs, 6 (2019), 1--32] obtained the asymptotics of $T_S(n,H)$ for every graph $H$, but determined the exact value of this function only in the case $H=K_3$ and $n\equiv 2$ (mod 4). We determine $T_S(n,K_3)$ for all $n\equiv 0$ (mod 4) and $n\equiv 1$ (mod 4), and also $T_S(n,K_{r+1})$ for large enough $n$ that is divisible by $r$. We also explore the connection to the so-called $H$-WORM colorings (colorings without rainbow or monochromatic copies of $H$) and obtain new results regarding the largest number of edges that a graph with an $H$-WORM coloring can have.


title: Direct and Indirect Effects based on Changes-in-Changes

abstract: We propose a novel approach for causal mediation analysis based on changes-in-changes assumptions restricting unobserved heterogeneity over time. This allows disentangling the causal effect of a binary treatment on a continuous outcome into an indirect effect operating through a binary intermediate variable (called mediator) and a direct effect running via other causal mechanisms. We identify average and quantile direct and indirect effects for various subgroups under the condition that the outcome is monotonic in the unobserved heterogeneity and that the distribution of the latter does not change over time conditional on the treatment and the mediator. We also provide a simulation study and an empirical application to the Jobs II programme.


title: A sum of three nonunit squares of integers

abstract: We say a positive integer is a sum of three nonunit squares if it is a sum of three squares of integers other than one. In this article, we find all integers which are sums of three nonunit squares assuming that the Generalized Riemann Hypothesis(GRH) holds. As applications, we find all integers, under the GRH only when $k=3$, which are sums of $k$ nonzero triangular numbers, sums of $k$ nonzero generalized pentagonal numbers, and sums of $k$ nonzero generalized octagonal numbers, respectively for any integer $k\ge 3$.


title: Quasipolynomial Set-Based Symbolic Algorithms for Parity Games

abstract: Solving parity games, which are equivalent to modal $\mu$-calculus model checking, is a central algorithmic problem in formal methods. Besides the standard computation model with the explicit representation of games, another important theoretical model of computation is that of set-based symbolic algorithms. Set-based symbolic algorithms use basic set operations and one-step predecessor operations on the implicit description of games, rather than the explicit representation. The significance of symbolic algorithms is that they provide scalable algorithms for large finite-state systems, as well as for infinite-state systems with finite quotient. Consider parity games on graphs with $n$ vertices and parity conditions with $d$ priorities. While there is a rich literature of explicit algorithms for parity games, the main results for set-based symbolic algorithms are as follows: (a) an algorithm that requires $O(n^d)$ symbolic operations and $O(d)$ symbolic space; and (b) an improved algorithm that requires $O(n^{d/3+1})$ symbolic operations and $O(n)$ symbolic space. Our contributions are as follows: (1) We present a black-box set-based symbolic algorithm based on the explicit progress measure algorithm. Two important consequences of our algorithm are as follows: (a) a set-based symbolic algorithm for parity games that requires quasi-polynomially many symbolic operations and $O(n)$ symbolic space; and (b) any future improvement in progress measure based explicit algorithms imply an efficiency improvement in our set-based symbolic algorithm for parity games. (2) We present a set-based symbolic algorithm that requires quasi-polynomially many symbolic operations and $O(d \cdot \log n)$ symbolic space. Moreover, for the important special case of $d \leq \log n$, our algorithm requires only polynomially many symbolic operations and poly-logarithmic symbolic space.


title: A Robust Numerical Path Tracking Algorithm for Polynomial Homotopy Continuation

abstract: We propose a new algorithm for numerical path tracking in polynomial homotopy continuation. The algorithm is `robust' in the sense that it is designed to prevent path jumping and in many cases, it can be used in (only) double precision arithmetic. It is based on an adaptive stepsize predictor that uses Pad\'e techniques to detect local difficulties for function approximation and danger for path jumping. We show the potential of the new path tracking algorithm through several numerical examples and compare with existing implementations.


title: Learning Dynamic Author Representations with Temporal Language Models

abstract: Language models are at the heart of numerous works, notably in the text mining and information retrieval communities. These statistical models aim at extracting word distributions, from simple unigram models to recurrent approaches with latent variables that capture subtle dependencies in texts. However, those models are learned from word sequences only, and authors' identities, as well as publication dates, are seldom considered. We propose a neural model, based on recurrent language modeling, which aims at capturing language diffusion tendencies in author communities through time. By conditioning language models with author and temporal vector states, we are able to leverage the latent dependencies between the text contexts. This allows us to beat several temporal and non-temporal language baselines on two real-world corpora, and to learn meaningful author representations that vary through time.


title: Continuous Time Random Walk with correlated waiting times. The crucial role of inter-trade times in volatility clustering

abstract: In many physical, social or economical phenomena we observe changes of a studied quantity only in discrete, irregularly distributed points in time. The stochastic process used by physicists to describe this kind of variables is the Continuous Time Random Walk (CTRW). Despite the popularity of this type of stochastic processes and strong empirical motivation, models with a long-term memory within the sequence of time intervals between observations are missing. Here, we fill this gap by introducing a new family of CTRWs. The memory is introduced to the model by the assumption that many consecutive time intervals can be the same. Surprisingly, in this process we can observe a slowly decaying nonlinear autocorrelation function without a fat-tailed distribution of time intervals. Our model applied to high-frequency stock market data can successfully describe the slope of decay of nonlinear autocorrelation function of stock market returns. The model achieves this result with no dependence between consecutive price changes. It proves the crucial role of inter-event times in the volatility clustering phenomenon observed in all stock markets.


title: Locally countable pseudovarieties

abstract: The purpose of this paper is to contribute to the theory of profinite semigroups by considering the special class consisting of those all of whose finitely generated closed subsemigroups are countable, which are said to be locally countable. We also call locally countable a pseudovariety V (of finite semigroups) for which all pro-V semigroups are locally countable. We investigate operations preserving local countability of pseudovarieties and show that, in contrast with local finiteness, several natural operations do not preserve it. We also investigate the relationship of a finitely generated profinite semigroup being countable with every element being expressable in terms of the generators using multiplication and the idempotent (omega) power. The two properties turn out to be equivalent if there are only countably many group elements, gathered in finitely many regular J-classes. We also show that the pseudovariety generated by all finite ordered monoids satisfying the inequality $1\le x^n$ is locally countable if and only if $n=1$.


title: How Old Are You? Face Age Translation with Identity Preservation Using GANs

abstract: We present a novel framework to generate images of different age while preserving identity information, which is known as face aging. Different from most recent popular face aging networks utilizing Generative Adversarial Networks(GANs) application, our approach do not simply transfer a young face to an old one. Instead, we employ the edge map as intermediate representations, firstly edge maps of young faces are extracted, a CycleGAN-based network is adopted to transfer them into edge maps of old faces, then another pix2pixHD-based network is adopted to transfer the synthesized edge maps, concatenated with identity information, into old faces. In this way, our method can generate more realistic transfered images, simultaneously ensuring that face identity information be preserved well, and the apparent age of the generated image be accurately appropriate. Experimental results demonstrate that our method is feasible for face age translation.


title: Giant pressure-enhancement of multiferroicity in CuBr2

abstract: Type-II multiferroic materials, in which ferroelectric polarization is induced by inversion non-symmetric magnetic order, promise new and highly efficient multifunctional applications based on the mutual control of magnetic and electric properties. Although this phenomenon has to date been limited to low temperatures, here we report a giant pressure-dependence of the multiferroic critical temperature in CuBr$_2$. At 4.5 GPa, $T_\mathrm{C}$ is enhanced from 73.5 to 162 K, to our knowledge the highest value yet reported for a non-oxide type-II multiferroic. This growth shows no sign of saturating and the dielectric loss remains small under these high pressures. We establish the structure under pressure and demonstrate a 60\% increase in the two-magnon Raman energy scale up to 3.6 GPa. First-principles structural and magnetic energy calculations provide a quantitative explanation in terms of dramatically pressure-enhanced interactions between CuBr$_2$ chains. These large, pressure-tuned magnetic interactions motivate structural control in cuprous halides as a route to applied high-temperature multiferroicity.


abstract: Many biological high-throughput data sets, such as targeted amplicon-based and metagenomic sequencing data, are compositional in nature. A common exploratory data analysis task is to infer statistical associations between the high-dimensional microbial compositions and habitat- or host-related covariates. We propose a general robust statistical regression framework, RobRegCC (Robust Regression with Compositional Covariates), which extends the linear log-contrast model by a mean shift formulation for capturing outliers. RobRegCC includes sparsity-promoting convex and non-convex penalties for parsimonious model estimation, a data-driven robust initialization procedure, and a novel robust cross-validation model selection scheme. We show RobRegCC's ability to perform simultaneous sparse log-contrast regression and outlier detection over a wide range of simulation settings and provide theoretical non-asymptotic guarantees for the underlying estimators. To demonstrate the seamless applicability of the workflow on real data, we consider a gut microbiome data set from HIV patients and infer robust associations between a sparse set of microbial species and host immune response from soluble CD14 measurements. All experiments are fully reproducible and available on GitHub at https://github.com/amishra-stats/robregcc.


title: An algorithm for optimization with disjoint linear constraints and its application for predicting rain

abstract: A specialized algorithm for quadratic optimization (QO, or, formerly, QP) with disjoint linear constraints is presented. In the considered class of problems, a subset of variables are subject to linear equality constraints, while variables in a different subset are constrained to remain in a convex set. The proposed algorithm exploits the structure by combining steps in the nullspace of the equality constraint's matrix with projections onto the convex set. The algorithm is motivated by application in weather forecasting. Numerical results on a simple model designed for predicting rain show that the algorithm is an improvement on current practice and that it reduces the computational burden compared to a more general interior point QO method. In particular, if constraints are disjoint and the rank of the set of linear equality constraints is small, further reduction in computational costs can be achieved, making it possible to apply this algorithm in high dimensional weather forecasting problems.


title: Euclidean lattices, theta invariants, and thermodynamic formalism

abstract: These are the notes of lectures delivered at Grenoble's summer school on \emph{Arakelov Geo\-me\-try and Diophantine Applications}, in June 2017. They constitute an introduction to the study of Euclidean lattices and of their invariants defined in terms of theta series. Recall that Euclidean lattice is defined as a pair $\bar{E}:= (E, \Vert .\Vert)$ where $E$ is some free $\mathbb{Z}$-module of finite rank $E$ and $\Vert. \Vert$ is some Euclidean norm on the real vector space $E_\mathbb{R} := E \otimes \mathbb{R}$. The most basic of these invariants is the non-negative real number: $$h^0_\theta(\bar{E}) := \log \sum_{v \in E} e^{- \pi \Vert v \Vert^2}.$$ In these notes, we explain how such invariants naturally arise when one investigates basic questions concerning classical invariants of Euclidean lattices, such as their successive minima, their covering radius, or the number of lattice points in balls of a given radius. We notably discuss their significance from the perspective of Arakelov geometry and of the analogy between number fields and function fields, their role (discovered by Banaszczyk) in the derivation of optimal transference estimates, and their interpretation in terms of the formalism of statistical thermodynamics. These notes have been primarily written for an audience of arithmetic geometers, but should also be suited to a wider circle of mathematicians and theoretical physicists with some interest in Euclidean lattices or in the mathematical foundations of statistical physics.


title: Four-Arm Manipulation via Feet Interfaces

abstract: We seek to augment human manipulation by enabling humans to control two robotic arms in addition to their natural arms using their feet. Thereby, the hands are free to perform tasks of high dexterity, while the feet-controlled arms perform tasks requiring lower dexterity, such as supporting a load. The robotic arms are tele-operated through two foot interfaces that transmit translation and rotation to the end effector of the manipulator. Haptic feedback is provided for the human to perceive contact and change in load and to adapt the feet pressure accordingly. Existing foot interfaces have been used primarily for a single foot control and are limited in range of motion and number of degrees of freedom they can control. This paper presents foot-interfaces specifically made for bipedal control, with a workspace suitable for two feet operation and in five degrees of freedom each. This paper also presents a position-force teleoperation controller based on Impedance Control modulated through Dynamical Systems for trajectory generation. Finally, an initial validation of the platform is presented, whereby a user grasps an object with both feet and generates various disturbances while the object is supported by the feet.


title: The effect of gluon condensate on imaginary potential and thermal width from holography

abstract: By the use of the gauge/gravity duality, we calculate the imaginary part of heavy quarkonium potential and thermal width with the effect of gluon condensate which is absent in AdS$_{5}$ background. Our results show that the dropping gluon condensate reduces the absolute value of imaginary potential and therefore decreases the thermal width both in "exact" and "approximate" approach implying that the heavy quarkonium has a weaker bound with the increase of gluon condensate. In addition, the thermal width will disappear at a critical condensate value, which indicates the dissociation of quarkonium. We conclude that increasing gluon condensate will lead to easier dissociation of heavy quarkonium for fixed temperature.


title: Astrodynamical middle-frequency interferometric gravitational wave observatory AMIGO: Mission concept and orbit design

abstract: AMIGO is a first-generation Astrodynamical Middle-frequency Interferometric GW Observatory. The scientific goals of AMIGO are: to bridge the spectra gap between first-generation high-frequency and low-frequency GW sensitivities; to detect intermediate mass BH coalescence; to detect inspiral phase and predict time of binary black hole coalescence together with neutron star coalescence for ground interferometers; to detect compact binary inspirals for studying stellar evolution and galactic population. The mission concept is to use time delay interferometry for a nearly triangular formation of 3 drag-free spacecraft with nominal arm length 10,000 km, emitting laser power 2-10 W and telescope diameter 300-500 mm. The design GW sensitivity in the middle frequency band is 3 x 10^(-21) Hz^(-1/2). Both heliocentric and geocentric orbits are under study. All options have LISA-like formations, that is the triangular formation is 60 deg inclined to the orbit plane. For AMIGO, the first-generation time delay interferometry is good enough for the laser frequency noise suppression. We also investigate for each options of orbits under study, whether constant equal-arm implementation is feasible. For the solar-orbit option, the acceleration to maintain the formation can be designed to be less than 15 nm/s2 with the thruster requirement in the 15 {\mu}N range. AMIGO would be a good place to implement the constant equal-arm option. Fuel requirement, thruster noise requirement and test mass acceleration actuation requirement are briefly considered. From the orbit study, the solar orbit option is the first mission orbit choice. We study the deployment for this orbit option. A last-stage launch from 300 km LEO (Low Earth Orbit) to an appropriate 2-degree-behind-the-Earth AMIGO formation in 95 days requires only a {\delta}v of 75 m/s.


title: Exponential and practical exponential stability of second-order formation control systems

abstract: We study the problem of distance-based formation shape control for autonomous agents with double-integrator dynamics. Our considerations are focused on exponential stability properties. For second-order formation systems under the standard gradient-based control law, we prove local exponential stability with respect to the total energy by applying Chetaev's trick to the Lyapunov candidate function. We also propose a novel formation control law, which does not require measurements of relative positions but instead measurements of distances. The distance-only control law is based on an approximation of symmetric products of vector fields by sinusoidal perturbations. A suitable averaging analysis reveals that the averaged system coincides with the multi-agent system under the standard gradient-based control law. This allows us to prove practical exponential stability for the system under the distance-only control law.