title: Time analyticity of the biharmonic heat equation, the heat equation with potentials and some nonlinear heat equations

abstract: In this paper, we investigate the pointwise time analyticity of three differential equations. They are the biharmonic heat equation, the heat equation with potentials and some nonlinear heat equations with power nonlinearity of order $p$. The potentials include all the nonnegative ones. For the first two equations, we prove if $u$ satisfies some growth conditions in $(x,t)\in \mathrm{M}\times [0,1]$, then $u$ is analytic in time $(0,1]$. Here $\mathrm{M}$ is $R^d$ or a complete noncompact manifold with Ricci curvature bounded from below by a constant. Then we obtain a necessary and sufficient condition such that $u(x,t)$ is analytic in time at $t=0$. Applying this method, we also obtain a necessary and sufficient condition for the solvability of the backward equations, which is ill-posed in general. For the nonlinear heat equation with power nonlinearity of order $p$, we prove that a solution is analytic in time $t\in (0,1]$ if it is bounded in $\mathrm{M}\times[0,1]$ and $p$ is a positive integer. In addition, we investigate the case when $p$ is a rational number with a stronger assumption $0<C_3 \leq |u(x,t)| \leq C_4$. It is also shown that a solution may not be analytic in time if it is allowed to be $0$. As a lemma, we obtain an estimate of $\partial_t^k \Gamma(x,t;y)$ where $\Gamma(x,t;y)$ is the heat kernel on a manifold, with an explicit estimation of the coefficients. An interesting point is that a solution may be analytic in time even if it is not smooth in the space variable $x$, implying that the analyticity of space and time can be independent. Besides, for general manifolds, space analyticity may not hold since it requires certain bounds on curvature and its derivatives.


title: Metal to Insulator Transition, Colossal Seebeck Coefficient and Large Violation of Wiedemann Franz law in Nanoscale Granular Nickel

abstract: We report on the electrical and thermal transport properties of nickel nanoparticles with crystallite size from 23.1 to 1.3 nm. These nanoparticles show a systematic metal to insulator transition with the change in the conduction type from n to p type, colossal Seebeck coefficient, and ultralow thermal conductivity at 300 K as the crystallite size drops. The electrical resistivity analysis reveals a dramatic change in the electronic excitation spectrum indicating the opening of an energy gap, and cotunneling and Coulomb blockade of the charge carriers. Seebeck coefficient shows transport energy degradation of charge carriers as transport level moves away from the Fermi level with decrease in crystallite size. The Lorenz number rising to about four orders of magnitude in the metallic regimes with decrease in crystallite size, showing a large violation of the Wiedemann Franz law in these compacted nickel nanoparticles. Such an observation provides the compelling confirmation for unconventional quasiparticle dynamics where the transport of charge and heat is independent of each other. Therefore, such nanoparticles provide an intriguing platform to tune the charge and heat transport, which may be useful for thermoelectrics and heat dissipation in nanocrystal array-based electronics.


title: Gravitational waves from type II axion-like curvaton model and its implication for NANOGrav result

abstract: The recent report of NANOGrav is gathering attention since its signal can be explained by the stochastic gravitational waves (GWs) with $\Omega_{\rm GW}\sim 10^{-9}$ at $f\sim 10^{-8}$Hz. The PBH formation scenario is one of the candidates for the NANOGrav signal, which can simultaneously explain the observed $30 M_\odot$ black holes in the binary merger events in LIGO-Virgo collaboration. We focus on the type II axion-like curvaton model of the PBH formation. In type II model the complex field whose phase part is the axion rolls down from the origin of the potential. It is found that type II model achieves the broad power spectrum of the density perturbations and can simultaneously explain the LIGO-Virgo events and the NANOGrav signal. We also improve the treatment of the non-Gaussianity of perturbations in our model to accurately estimate the amplitude of the induced GWs.


title: Convolutional Neural Network-Based Age Estimation Using B-Mode Ultrasound Tongue Image

abstract: Ultrasound tongue imaging is widely used for speech production research, and it has attracted increasing attention as its potential applications seem to be evident in many different fields, such as the visual biofeedback tool for second language acquisition and silent speech interface. Unlike previous studies, here we explore the feasibility of age estimation using the ultrasound tongue image of the speakers. Motivated by the success of deep learning, this paper leverages deep learning on this task. We train a deep convolutional neural network model on the UltraSuite dataset. The deep model achieves mean absolute error (MAE) of 2.03 for the data from typically developing children, while MAE is 4.87 for the data from the children with speech sound disorders, which suggest that age estimation using ultrasound is more challenging for the children with speech sound disorder. The developed method can be used a tool to evaluate the performance of speech therapy sessions. It is also worthwhile to notice that, although we leverage the ultrasound tongue imaging for our study, the proposed methods may also be extended to other imaging modalities (e.g. MRI) to assist the studies on speech production.


title: A Survey on 5G Radio Access Network Energy Efficiency: Massive MIMO, Lean Carrier Design, Sleep Modes, and Machine Learning

abstract: Cellular networks have changed the world we are living in, and the fifth generation (5G) of radio technology is expected to further revolutionise our everyday lives, by enabling a high degree of automation, through its larger capacity, massive connectivity, and ultra-reliable low-latency communications. In addition, the third generation partnership project (3GPP) new radio (NR) specification also provides tools to significantly decrease the energy consumption and the green house emissions of next generations networks, thus contributing towards information and communication technology (ICT) sustainability targets. In this survey paper, we thoroughly review the state-of-the-art on current energy efficiency research. We first categorise and carefully analyse the different power consumption models and energy efficiency metrics, which have helped to make progress on the understanding of green networks. Then, as a main contribution, we survey in detail -- from a theoretical and a practical viewpoint -- the main energy efficiency enabling technologies that 3GPP NR provides, together with their main benefits and challenges. Special attention is paid to four key enabling technologies, i.e., massive multiple-input multiple-output (MIMO), lean carrier design, and advanced idle modes, together with the role of artificial intelligence capabilities. We dive into their implementation and operational details, and thoroughly discuss their optimal operation points and theoretical-trade-offs from an energy consumption perspective. This will help the reader to grasp the fundamentals of -- and the status on -- green networking. Finally, the areas of research where more effort is needed to make future networks greener are also discussed.


title: Bounds for an integral involving the modified Struve function of the first kind

abstract: Simple upper and lower bounds are established for the integral $\int_0^x\mathrm{e}^{-\beta t}t^\nu \mathbf{L}_\nu(t)\,\mathrm{d}t$, where $x>0$, $\nu>-1$, $0<\beta<1$ and $\mathbf{L}_\nu(x)$ is the modified Struve function of the first kind. These bounds complement and improve on existing results, through either sharper bounds or increased ranges of validity. In deriving our bounds, we obtain some monotonicity results and inequalities for products of the modified Struve function of the first kind and the modified Bessel function of the second kind $K_{\nu}(x)$, as well as a new bound for the ratio $\mathbf{L}_{\nu}(x)/\mathbf{L}_{\nu-1}(x)$.


title: The Drell-Yan nuclear modification due to the nuclear effects of nPDFs and initial-state parton energy loss

abstract: By globally analyzing nuclear Drell-Yan data including all incident energies, the nuclear effects of nPDFs and initial-state parton energy loss are investigated. Based on Landau-Pomeranchuk-Migdal (LPM) regime, the calculations are carried out by means of the analytic parametrizations of quenching weights derived from the Baier-Dokshitzer-Mueller-Peign$\acute{e}$-Schiff (BDMPS) formalism and using the new EPPS16 nPDFs. It is found that the results are in good agreement with the data and the role of the energy loss effect on the suppression of Drell-Yan ratios is prominent, especially for low-mass Drell-Yan measurements. The nuclear effects of nPDFs becomes more obvious with the nuclear mass number A, the same as the energy loss effect. By global fit, the transport coefficient extracted is $\hat{q}=0.26\pm0.04$ GeV$^{2}$/fm. In addition, to avoid diminishing the QCD NLO correction on the data form of Drell-Yan ratios, the separate calculations about the Compton differential cross section ratios $R_{Fe(W)/C}(x_{F})$ at 120GeV are performed, which provides a feasible way to better distinguish the gluon energy loss in Compton scattering. It is found that the role of the initial-state gluon energy loss on the suppression of Compton scattering rations is not very important and becomes disappear with the increase of $x_{F}$.


title: Efficient Video Summarization Framework using EEG and Eye-tracking Signals

abstract: This paper proposes an efficient video summarization framework that will give a gist of the entire video in a few key-frames or video skims. Existing video summarization frameworks are based on algorithms that utilize computer vision low-level feature extraction or high-level domain level extraction. However, being the ultimate user of the summarized video, humans remain the most neglected aspect. Therefore, the proposed paper considers human's role in summarization and introduces human visual attention-based summarization techniques. To understand human attention behavior, we have designed and performed experiments with human participants using electroencephalogram (EEG) and eye-tracking technology. The EEG and eye-tracking data obtained from the experimentation are processed simultaneously and used to segment frames containing useful information from a considerable video volume. Thus, the frame segmentation primarily relies on the cognitive judgments of human beings. Using our approach, a video is summarized by 96.5% while maintaining higher precision and high recall factors. The comparison with the state-of-the-art techniques demonstrates that the proposed approach yields ceiling-level performance with reduced computational cost in summarising the videos.


title: Asmptotic of the eigenvalues of Toeplitz matrices with even symbol

abstract: In this paper we consider an interval $[\theta_{1}, \theta_{2}] \subset [0, \pi]$ and $f$ a differentiable, periodic and even function sufficiently smooth such that $f(\theta) \in [f(\theta_{1}, f(\theta_{2})] \iff \theta \in [\theta_{1}, \theta_{2}]$. Then we obtain an higher order asymptotic formula for all the eigenvalues of the Toeplitz matrix $T_N(f)$ which belong to $[f(\theta_{1}, f(\theta_{2})]$. Also given are three consequences for Toeplitz matrices with trigonometric symbol.


title: e-ACJ: Accurate Junction Extraction For Event Cameras

abstract: Junctions reflect the important geometrical structure information of the image, and are of primary significance to applications such as image matching and motion analysis. Previous event-based feature extraction methods are mainly focused on corners, which mainly find their locations, however, ignoring the geometrical structure information like orientations and scales of edges. This paper adapts the frame-based a-contrario junction detector(ACJ) to event data, proposing the event-based a-contrario junction detector(e-ACJ), which yields junctions' locations while giving the scales and orientations of their branches. The proposed method relies on an a-contrario model and can operate on asynchronous events directly without generating synthesized event frames. We evaluate the performance on public event datasets. The result shows our method successfully finds the orientations and scales of branches, while maintaining high accuracy in junction's location.


title: Segmentation of common and internal carotid arteries from 3D ultrasound images using adaptive triple U-Net

abstract: Objective: Vessel-wall-volume (VWV) and localized vessel-wall-thickness (VWT) measured from 3D ultrasound (US) carotid images are sensitive to anti-atherosclerotic effects of medical/dietary treatments. VWV and VWT measurements require the lumen-intima (LIB) and media-adventitia boundaries (MAB) at the common and internal carotid arteries (CCA and ICA). However, most existing segmentation techniques were capable of automating only CCA segmentation. An approach capable of segmenting the MAB and LIB from the CCA and ICA was required to accelerate VWV and VWT quantification. Methods: Segmentation for CCA and ICA were performed independently using the proposed two-channel U-Net, which was driven by a novel loss function known as the adaptive triple Dice loss (ADTL). A test-time augmentation (TTA) approach is used, in which segmentation was performed three times based on axial images and its flipped versions; the final segmentation was generated by pixel-wise majority voting. Results: Experiments involving 224 3DUS volumes produce a Dice-similarity-coefficient (DSC) of 95.1%$\pm$4.1% and 91.6%$\pm$6.6% for the MAB and LIB, in the CCA, respectively, and 94.2%$\pm$3.3% and 89.0%$\pm$8.1% for the MAB and LIB, in the ICA, respectively. TTA and ATDL independently contributed to a statistically significant improvement to all boundaries except the LIB in ICA. The total time required to segment the entire 3DUS volume (CCA+ICA) is 1.4s. Conclusion: The proposed two-channel U-Net with ADTL and TTA can segment the CCA and ICA accurately and efficiently from the 3DUS volume. Significance: Our approach has the potential to accelerate the transition of 3DUS measurements of carotid atherosclerosis to clinical research.


title: Puzzle-CAM: Improved localization via matching partial and full features

abstract: Weakly-supervised semantic segmentation (WSSS) is introduced to narrow the gap for semantic segmentation performance from pixel-level supervision to image-level supervision. Most advanced approaches are based on class activation maps (CAMs) to generate pseudo-labels to train the segmentation network. The main limitation of WSSS is that the process of generating pseudo-labels from CAMs that use an image classifier is mainly focused on the most discriminative parts of the objects. To address this issue, we propose Puzzle-CAM, a process that minimizes differences between the features from separate patches and the whole image. Our method consists of a puzzle module and two regularization terms to discover the most integrated region in an object. Puzzle-CAM can activate the overall region of an object using image-level supervision without requiring extra parameters. % In experiments, Puzzle-CAM outperformed previous state-of-the-art methods using the same labels for supervision on the PASCAL VOC 2012 test dataset. In experiments, Puzzle-CAM outperformed previous state-of-the-art methods using the same labels for supervision on the PASCAL VOC 2012 dataset. Code associated with our experiments is available at https://github.com/OFRIN/PuzzleCAM.


title: Automatic Segmentation of Gross Target Volume of Nasopharynx Cancer using Ensemble of Multiscale Deep Neural Networks with Spatial Attention

abstract: Radiotherapy is the main treatment modality for nasopharynx cancer. Delineation of Gross Target Volume (GTV) from medical images such as CT and MRI images is a prerequisite for radiotherapy. As manual delineation is time-consuming and laborious, automatic segmentation of GTV has a potential to improve this process. Currently, most of the deep learning-based automatic delineation methods of GTV are mainly performed on medical images like CT images. However, it is challenged by the low contrast between the pathology regions and surrounding soft tissues, small target region, and anisotropic resolution of clinical CT images. To deal with these problems, we propose a 2.5D Convolutional Neural Network (CNN) to handle the difference of inplane and through-plane resolution. Furthermore, we propose a spatial attention module to enable the network to focus on small target, and use channel attention to further improve the segmentation performance. Moreover, we use multi-scale sampling method for training so that the networks can learn features at different scales, which are combined with a multi-model ensemble method to improve the robustness of segmentation results. We also estimate the uncertainty of segmentation results based on our model ensemble, which is of great importance for indicating the reliability of automatic segmentation results for radiotherapy planning.


title: Demographic feedbacks can hamper the spatial spread of a gene drive

abstract: This paper is concerned with a reaction--diffusion system modeling the fixation and the invasion in a population of a gene drive (an allele biasing inheritance, increasing its own transmission to offspring). In our model, the gene drive has a negative effect on the fitness of individuals carrying it, and is therefore susceptible of decreasing the total carrying capacity of the population locally in space. This tends to generate an opposing demographic advection that the gene drive has to overcome in order to invade. While previous reaction--diffusion models neglected this aspect, here we focus on it and try to predict the sign of the traveling wave speed. It turns out to be an analytical challenge, only partial results being within reach, and we complete our theoretical analysis by numerical simulations. Our results indicate that taking into account the interplay between population dynamics and population genetics might actually be crucial, as it can effectively reverse the direction of the invasion and lead to failure. Our findings can be extended to other bistable systems, such as the spread of cytoplasmic incompatibilities caused by Wolbachia.


title: Partition of unity networks: deep hp-approximation

abstract: Approximation theorists have established best-in-class optimal approximation rates of deep neural networks by utilizing their ability to simultaneously emulate partitions of unity and monomials. Motivated by this, we propose partition of unity networks (POUnets) which incorporate these elements directly into the architecture. Classification architectures of the type used to learn probability measures are used to build a meshfree partition of space, while polynomial spaces with learnable coefficients are associated to each partition. The resulting hp-element-like approximation allows use of a fast least-squares optimizer, and the resulting architecture size need not scale exponentially with spatial dimension, breaking the curse of dimensionality. An abstract approximation result establishes desirable properties to guide network design. Numerical results for two choices of architecture demonstrate that POUnets yield hp-convergence for smooth functions and consistently outperform MLPs for piecewise polynomial functions with large numbers of discontinuities.


title: Functional inequalities for perturbed measures with applications to log-concave measures and to some Bayesian problems

abstract: We study functional inequalities (Poincar\'e, Cheeger, log-Sobolev) for probability measures obtained as perturbations. Several explicit results for general measures as well as log-concave distributions are given.The initial goal of this work was to obtain explicit bounds on the constants in view of statistical applications for instance. These results are then applied to the Langevin Monte-Carlo method used in statistics in order to compute Bayesian estimators.


title: Vortex collapses for the Euler and Quasi-Geostrophic Models

abstract: This article studies point-vortex models for the Euler and surface quasi-geostrophic equations. In the case of an inviscid fluid with planar motion, the point-vortex model gives account of dynamics where the vorticity profile is sharply concentrated around some points and approximated by Dirac masses. This article contains three main results with several links between each other. In the first part, we provide two uniform bounds on the trajectories for Euler and quasi-geostrophic vortices related to the non-neutral cluster hypothesis. In a second part we focus on the Euler point-vortex model and under the non-neutral cluster hypothesis we prove a convergence result. The third part is devoted to the generalization of a classical result by Marchioro and Pulvirenti concerning the improbability of collapses and the extension of this result to the quasi-geostrophic case.


title: Alaska: A Flexible Benchmark for Data Integration Tasks

abstract: Data integration is a long-standing interest of the data management community and has many disparate applications, including business, science and government. We have recently witnessed impressive results in specific data integration tasks, such as Entity Resolution, thanks to the increasing availability of benchmarks. A limitation of such benchmarks is that they typically come with their own task definition and it can be difficult to leverage them for complex integration pipelines. As a result, evaluating end-to-end pipelines for the entire data integration process is still an elusive goal. In this work, we present Alaska, the first benchmark based on real-world dataset to support seamlessly multiple tasks (and their variants) of the data integration pipeline. The dataset consists of ~70k heterogeneous product specifications from 71 e-commerce websites with thousands of different product attributes. Our benchmark comes with profiling meta-data, a set of pre-defined use cases with diverse characteristics, and an extensive manually curated ground truth. We demonstrate the flexibility of our benchmark by focusing on several variants of two crucial data integration tasks, Schema Matching and Entity Resolution. Our experiments show that our benchmark enables the evaluation of a variety of methods that previously were difficult to compare, and can foster the design of more holistic data integration solutions.


title: Modeling opinion leader's role in the diffusion of innovation

abstract: The diffusion of innovations is an important topic for the consumer markets. Early research focused on how innovations spread on the level of the whole society. To get closer to the real world scenarios agent based models (ABM) started focusing on individual-level agents. In our work we will translate an existing ABM that investigates the role of opinion leaders in the process of diffusion of innovations to a new, more expressive platform designed for agent based modeling, GAMA. We will do it to show that taking advantage of new features of the chosen platform should be encouraged when making models in the field of social sciences in the future, because it can be beneficial for the explanatory power of simulation results.


title: On event-by-event pseudorapidity fluctuations in relativistic nuclear interactions

abstract: Present study is an attempt to have a detailed look into event-by-event(e-by-e) pseudorapidity fluctuations of the relativistic charged particles produced in $^{28}$Si-nucleus interactions at incident momenta 4.5A and 14.5A GeV/c.The method used in the present study makes use of a kinematic variable which is derived in terms of the average pseudo-rapidity and the total number of particles produced in a single event. The multiplicity and pseudorapidity dependence of these fluctuations have also been studied. The results obtained for the experimental data are compared with HIJING simulation.


title: Cosmic-Neutrino-Boosted Dark Matter ($\nu$BDM)

abstract: A novel mechanism of boosting dark matter by cosmic neutrinos is proposed. The new mechanism is so significant that the arriving flux of dark matter in the mass window $1~{\rm keV} \lesssim m_{\rm DM} \lesssim 1~{\rm MeV}$ on Earth can be enhanced by two to four orders of magnitude compared to one only by cosmic electrons. Thereby we firstly derive conservative but still stringent bounds and future sensitivity limits for such cosmic-neutrino-boosted dark matter ($\nu$BDM) from advanced underground experiments such as Borexino, PandaX, XENON1T, and JUNO.


title: Reduction of Exhausters by Set Order Relations and Cones

abstract: The notions of upper and lower exhausters are effective tools for the study of non smooth functions. There are many studies presenting optimality conditions for unconstrained and constrained cases. One can observe that optimality conditions in terms of both proper and adjoint exhausters are related to all elements of the exhausters. Moreover, in the constrained case the conditions that must be provided for a particular cone determined by constraint set and the point (to be checked whether it is optimal) are rather challenging to check. Thus it is advantageous to reduce the number of sets in the exhauster for constrained case. In this work, we first consider constrained optimization problems and deal with the problem of reducing generalized exhausters of the directional derivative of the objective function. We present some results to reduce generalized lower (upper) exhausters by using set order relations $\preceq^{m_1}$ and $\preceq^{m_2}$, respectively. Furthermore, we show that a generalized exhauster $E$ can be reduced to the set of minimal elements of $E$ with respect to $\preceq^{m_1}$ or $\preceq^{m_2}$. Then considering unconstrained optimization problems, lower exhausters are reduced by using cones.


title: Characteristic classes for TC structures

abstract: In this article we study the construction of characteristic classes for principal $G$-bundles equipped with an additional structure called transitionally commutative structure (TC structure). These structures classify, up to homotopy, possible trivializations of a principal $G$-bundle, such that the induced cocycle have functions that commute in the intersections of their domains. We focus mainly on the cases where the structural group $G$ equals $SU(n)$, $U(n)$ or $\mathrm{Sp}(n)$. Our approach is an algebraic-geometric construction that relies on the so called power maps defined on the space $B_{\mathrm{com}}G$, the classifying space for commutativity in the group $G$.


title: Accelerating single-crystal growth by stimulated and self-guided channeling

abstract: We report a self-guided and "stimulated" single-crystal growth acceleration effect in static super-saturated aqueous solutions, producing inorganic (KH$_2$PO$_4$) and organic (tetraphenyl-phosphonium-family) nonlinear optical single-crystals with novel morphologies. The extraordinarily fast unidirectional growth in the presence of complete lateral growth suppression defies all current impurity, defect and dislocation based crystal growth inhibition mechanisms. We propose a self-channeling-stimulated accelerated growth theory that can satisfactorily explain all experimental results. Using molecular dynamics analysis and a modified two-component crystal growth model that includes microscopic surface molecular selectivity we show the lateral growth arrest is the combined result of the self-channeling and a self-shielding effect. These single-crystals exhibit remarkable mechanical flexibility in winding and twisting, demonstrating their unique advantages for chip-size quantum and biomedical applications, as well as for production of high-yield/high-potency pharmaceutical materials.


title: TorchPRISM: Principal Image Sections Mapping, a novel method for Convolutional Neural Network features visualization

abstract: In this paper we introduce a tool called Principal Image Sections Mapping - PRISM, dedicated for PyTorch, but can be easily ported to other deep learning frameworks. Presented software relies on Principal Component Analysis to visualize the most significant features recognized by a given Convolutional Neural Network. Moreover, it allows to display comparative set features between images processed in the same batch, therefore PRISM can be a method well synerging with technique Explanation by Example.


title: ViaPPS: A Mobile Pavement Profiling System

abstract: Ensuring safety levels on roads is an imperative task for road authorities. Significant amounts of time and money are spent on performing road inspections every year. In order to ensure efficiency of road inventories, road practitioners are in need of reliable systems that are fast and are designed to comply with high standards at lower costs. To date, the 3D Mobile Mapping Systems is the most efficient, productive and accurate system used during evaluation of pavement inventories. This paper presents ViaPPS, a 3D Mobile Mapping System from ViaTech AS. ViaPPS offers accurate georeferenced data by combining the perception and navigation sensors. This paper showcases results from multiple mobile systems after the harmonization process which is held once a year to evaluate reliability and repeatability of the measurements.


title: Enquire One's Parent and Child Before Decision: Fully Exploit Hierarchical Structure for Self-Supervised Taxonomy Expansion

abstract: Taxonomy is a hierarchically structured knowledge graph that plays a crucial role in machine intelligence. The taxonomy expansion task aims to find a position for a new term in an existing taxonomy to capture the emerging knowledge in the world and keep the taxonomy dynamically updated. Previous taxonomy expansion solutions neglect valuable information brought by the hierarchical structure and evaluate the correctness of merely an added edge, which downgrade the problem to node-pair scoring or mini-path classification. In this paper, we propose the Hierarchy Expansion Framework (HEF), which fully exploits the hierarchical structure's properties to maximize the coherence of expanded taxonomy. HEF makes use of taxonomy's hierarchical structure in multiple aspects: i) HEF utilizes subtrees containing most relevant nodes as self-supervision data for a complete comparison of parental and sibling relations; ii) HEF adopts a coherence modeling module to evaluate the coherence of a taxonomy's subtree by integrating hypernymy relation detection and several tree-exclusive features; iii) HEF introduces the Fitting Score for position selection, which explicitly evaluates both path and level selections and takes full advantage of parental relations to interchange information for disambiguation and self-correction. Extensive experiments show that by better exploiting the hierarchical structure and optimizing taxonomy's coherence, HEF vastly surpasses the prior state-of-the-art on three benchmark datasets by an average improvement of 46.7% in accuracy and 32.3% in mean reciprocal rank.


title: On asymptotic fairness in voting with greedy sampling

abstract: The basic idea of voting protocols is that nodes query a sample of other nodes and adjust their own opinion throughout several rounds based on the proportion of the sampled opinions. In the classic model, it is assumed that all nodes have the same weight. We study voting protocols for heterogeneous weights with respect to fairness. A voting protocol is fair if the influence on the eventual outcome of a given participant is linear in its weight. Previous work used sampling with replacement to construct a fair voting scheme. However, it was shown that using greedy sampling, i.e., sampling with replacement until a given number of distinct elements is chosen, turns out to be more robust and performant. In this paper, we study fairness of voting protocols with greedy sampling and propose a voting scheme that is asymptotically fair for a broad class of weight distributions. We complement our theoretical findings with numerical results and present several open questions and conjectures.


title: Xova: Baseline-Dependent Time and Channel Averaging for Radio Interferometry

abstract: Xova is a software package that implements baseline-dependent time and channel averaging on Measurement Set data. The uv-samples along a baseline track are aggregated into a bin until a specified decorrelation tolerance is exceeded. The degree of decorrelation in the bin correspondingly determines the amount of channel and timeslot averaging that is suitable for samples in the bin. This necessarily implies that the number of channels and timeslots varies per bin and the output data loses the rectilinear input shape of the input data.


title: Response to Comment on: Tunneling in DNA with Spin Orbit coupling

abstract: The comment by O. Entin-Wohlman, A. Aharony, and Y. Utsumi, on our paper S. Varela, I. Zambrano, B. Berche, V. Mujica, and E. Medina, Phys. Rev. B 101, 241410(R) (2020) makes a few points related to the validity of our model, especially in the light of the interpretation of Bardarson's theorem: "in the presence of time reversal symmetry and for half-integral spin the transmission eigenvalues of the two terminal scattering matrix come in (Kramers) degenerate pairs". The authors of the comment first propose an ansatz for the wave function in the spin active region and go on to show that the resulting transmission does not show spin dependence, reasoning that spin dependence would violate Bardarson's assertion. Here we clearly show that the ansatz presented assumes spin-momentum independence from the outset and thus just addresses the spinless particle problem. We then find the appropriate eigenfunction contemplating spin-momentum coupling and show that the resulting spectrum obeys Bardarson's theorem. Finally we show that the allowed wavevectors are the ones assumed in the original paper and thus the original conclusions follow. We recognize that the Hamiltonian in our paper written in local coordinates on a helix was deceptively simple and offer the expressions of how it should be written to more overtly convey the physics involved. The relation between spin polarization and torque becomes clear, as described in our paper. This response is a very important clarification in relation to the implications of Bardarson's theorem concerning the possibility of spin polarization in one dimensional systems in the linear regime.


title: VisualMRC: Machine Reading Comprehension on Document Images

abstract: Recent studies on machine reading comprehension have focused on text-level understanding but have not yet reached the level of human understanding of the visual layout and content of real-world documents. In this study, we introduce a new visual machine reading comprehension dataset, named VisualMRC, wherein given a question and a document image, a machine reads and comprehends texts in the image to answer the question in natural language. Compared with existing visual question answering (VQA) datasets that contain texts in images, VisualMRC focuses more on developing natural language understanding and generation abilities. It contains 30,000+ pairs of a question and an abstractive answer for 10,000+ document images sourced from multiple domains of webpages. We also introduce a new model that extends existing sequence-to-sequence models, pre-trained with large-scale text corpora, to take into account the visual layout and content of documents. Experiments with VisualMRC show that this model outperformed the base sequence-to-sequence models and a state-of-the-art VQA model. However, its performance is still below that of humans on most automatic evaluation metrics. The dataset will facilitate research aimed at connecting vision and language understanding.


title: Black Hole and Galaxy Coevolution in Moderately Luminous Active Galactic Nuclei at z~1.4 in SXDF

abstract: We investigate the relation of black hole mass versus host stellar mass and that of mass accretion rate versus star formation rate (SFR) in moderately luminous ($\log L_{\rm bol} \sim 44.5-46.5\ {\rm erg\ s^{-1}}$), X-ray selected broad-line active galactic nuclei (AGNs) at $z=1.18-1.68$ in the Subaru/XMM-Newton Deep Field. The far-infrared to far-ultraviolet spectral energy distributions of 85 AGNs are reproduced with the latest version of Code Investigating GALaxy Emission ({\tt CIGALE}), where the AGN clumpy torus model {\tt SKIRTOR} is implemented. Most of their hosts are confirmed to be main-sequence star-forming galaxies. We find that the mean ratio of the black hole mass ($M_{\rm BH}$) to the total stellar mass ($M_{\rm stellar}$) is $\log M_{\rm BH}/M_{\rm stellar} = -2.2$, which is similar to the local black hole-to-bulge mass ratio. This suggests that if the host galaxies of these moderately luminous AGNs at $z\sim1.4$ are dominated by bulges, they already established the local black hole mass-bulge mass relation; if they are disk dominant, their black holes are overmassive relative to the bulges. AGN bolometric luminosities and SFR show a good correlation with ratios higher than that expected from the local black hole-to-bulge mass relation, suggesting that these AGNs are in a SMBH-growth dominant phase.


title: Nucleon-pair coupling scheme in Elliott's SU(3) model

abstract: Elliott's SU(3) model is at the basis of the shell-model description of rotational motion in atomic nuclei. We demonstrate that SU(3) symmetry can be realized in a truncated shell-model space if constructed in terms of a sufficient number of collective $S$, $D$, $G$, $\dots$ pairs (i.e., with angular momentum zero, two, four, $\dots$) and if the structure of the pairs is optimally determined either by a conjugate-gradient minimization method or from a Hartree-Fock intrinsic state. We illustrate the procedure for 6 protons and 6 neutrons in the $pf$ ($sdg$) shell and exactly reproduce the level energies and electric quadrupole properties of the ground-state rotational band with $SDG$ ($SDGI$) pairs. The $SD$-pair approximation without significant renormalization, on the other hand, cannot describe the full SU(3) collectivity. A mapping from Elliott's fermionic SU(3) model to systems with $s$, $d$, $g$, $\dots$ bosons provides insight into the existence of a decoupled collective subspace in terms of $S$, $D$, $G$, $\dots$ pairs.


title: ASBSO: An Improved Brain Storm Optimization With Flexible Search Length and Memory-Based Selection

abstract: Brain storm optimization (BSO) is a newly proposed population-based optimization algorithm, which uses a logarithmic sigmoid transfer function to adjust its search range during the convergent process. However, this adjustment only varies with the current iteration number and lacks of flexibility and variety which makes a poor search effciency and robustness of BSO. To alleviate this problem, an adaptive step length structure together with a success memory selection strategy is proposed to be incorporated into BSO. This proposed method, adaptive step length based on memory selection BSO, namely ASBSO, applies multiple step lengths to modify the generation process of new solutions, thus supplying a flexible search according to corresponding problems and convergent periods. The novel memory mechanism, which is capable of evaluating and storing the degree of improvements of solutions, is used to determine the selection possibility of step lengths. A set of 57 benchmark functions are used to test ASBSO's search ability, and four real-world problems are adopted to show its application value. All these test results indicate the remarkable improvement in solution quality, scalability, and robustness of ASBSO.


title: Validation of a fast and accurate magnetic tracker operating in the environmental field

abstract: We characterize the performance of a system based on a magnetoresistor array. This instrument is developed to map the magnetic field, and to track a dipolar magnetic source in the presence of a static homogeneous field. The position and orientation of the magnetic source with respect to the sensor frame is retrieved together with the orientation of the frame with respect to the environmental field. A nonlinear best-fit procedure is used, and its precision, time performance, and reliability are analyzed. This analysis is performed in view of the practical application for which the system is designed that is an eye-tracking diagnostics and rehabilitative tool for medical purposes, which require high speed ($\ge 100$~Sa/s) and sub-millimetric spatial resolution. A throughout investigation on the results makes it possible to list several observations, suggestions, and hints, which will be useful in the design of similar setups.


title: Cooperative success in epithelial public goods games

abstract: Cancer cells obtain mutations which rely on the production of diffusible growth factors to confer a fitness benefit. These mutations can be considered cooperative, and studied as public goods games within the framework of evolutionary game theory. The population structure, benefit function and update rule all influence the evolutionary success of cooperators. We model the evolution of cooperation in epithelial cells using the Voronoi tessellation model. Unlike traditional evolutionary graph theory, this allows us to implement global updating, for which birth and death events are spatially decoupled. We compare, for a sigmoid benefit function, the conditions for cooperation to be favoured and/or beneficial for well mixed and structured populations. We find that when population structure is combined with global updating, cooperation is more successful than if there were local updating or the population were well-mixed. Interestingly, the qualitative behaviour for the well-mixed population and the Voronoi tessellation model is remarkably similar, but the latter case requires significantly lower incentives to ensure cooperation.


title: "Can I Touch This?": Survey of Virtual Reality Interactions via Haptic Solutions

abstract: Haptic feedback has become crucial to enhance the user experiences in Virtual Reality (VR). This justifies the sudden burst of novel haptic solutions proposed these past years in the HCI community. This article is a survey of Virtual Reality interactions, relying on haptic devices. We propose two dimensions to describe and compare the current haptic solutions: their degree of physicality, as well as their degree of actuation. We depict a compromise between the user and the designer, highlighting how the range of required or proposed stimulation in VR is opposed to the haptic interfaces flexibility and their deployment in real-life use-cases. This paper (1) outlines the variety of haptic solutions and provides a novel perspective for analysing their associated interactions, (2) highlights the limits of the current evaluation criteria regarding these interactions, and finally (3) reflects the interaction, operation and conception potentials of "encountered-type of haptic devices".


title: Dynamical density functional theory for the drying and stratification of binary colloidal dispersions

abstract: We develop a dynamical density functional theory based model for the drying of colloidal films on planar surfaces. We consider mixtures of two different sizes of hard-sphere colloids. Depending on the solvent evaporation rate and the initial concentrations of the two species, we observe varying degrees of stratification in the final dried films. Our model predicts the various structures described in the literature previously from experiments and computer simulations, in particular the small-on-top stratified films. Our model also includes the influence of adsorption of particles to the interfaces.


title: Nodeless superconductivity in the charge density wave superconductor LaPt$_2$Si$_2$

abstract: We have studied the superconducting gap structure of LaPt$_2$Si$_2$ by measuring the temperature dependence of the London penetration depth shift $\Delta\lambda(T)$ and point contact spectroscopy of single crystals. $\Delta\lambda(T)$ shows an exponential temperature dependence at low temperatures, and the derived normalized superfluid density $\rho_{s}(T)$ can be well described by a single-gap s-wave model. The point-contact conductance spectra can also be well fitted by an s-wave Blonder-Tinkham-Klapwijk model, where the gap value shows a typical BCS temperature and magnetic field dependence consistent with type-II superconductivity. These results suggest fully gapped superconductivity in LaPt$_2$Si$_2$, with moderately strong electron-phonon coupling.


title: Singular extremals in L^1 optimal control problems: sufficient optimality conditions

abstract: In this paper we are concerned with generalised L 1-minimisation problems, i.e. Bolza problems involving the absolute value of the control with a control-affine dynamics. We establish sufficient conditions for the strong local optimality of extremals given by the concatenation of bang, singular and inactive (zero) arcs. The sufficiency of such conditions is proven by means of Hamiltonian methods. As a byproduct of the result, we provide an explicit invariant formula for the second variation along the singular arc.


title: Deep Learning for Instance Retrieval: A Survey

abstract: In recent years a vast amount of visual content has been generated and shared from many fields, such as social media platforms, medical imaging, and robotics. This abundance of content creation and sharing has introduced new challenges, particularly that of searching databases for similar content-Content Based Image Retrieval (CBIR)-a long-established research area in which improved efficiency and accuracy are needed for real-time retrieval. Artificial intelligence has made progress in CBIR and has significantly facilitated the process of instance search. In this survey we review recent instance retrieval works that are developed based on deep learning algorithms and techniques, with the survey organized by deep network architecture types, deep features, feature embedding and aggregation methods, and network fine-tuning strategies. Our survey considers a wide variety of recent methods, whereby we identify milestone work, reveal connections among various methods and present the commonly used benchmarks, evaluation results, common challenges, and propose promising future directions.


title: Sending or not sending twin-field quantum key distribution with distinguishable decoy states

abstract: Twin-field quantum key distribution (TF-QKD) and its variants can overcome the fundamental rate-distance limit of QKD which has been demonstrated in the laboratory and field while their physical implementations with side channels remains to be further researched. We find the external modulation of different intensity states through the test, required in those TF-QKD with post-phase compensation, shows a side channel in frequency domain. Based on this, we propose a complete and undetected eavesdropping attack, named passive frequency shift attack, on sending or not-sending (SNS) TF-QKD protocol given any difference between signal and decoy states in frequency domain which can be extended to other imperfections with distinguishable decoy states. We analyze this attack by giving the formula of upper bound of real secure key rate and comparing it with lower bound of secret key rate under Alice and Bob's estimation with the consideration of actively odd-parity pairing (AOPP) method and finite key effects. The simulation results show that Eve can get full information about the secret key bits without being detected at long distance. Our results emphasize the importance of practical security at source and might provide a valuable reference for the practical implementation of TF-QKD.


title: Measuring Law Over Time: A Network Analytical Framework with an Application to Statutes and Regulations in the United States and Germany

abstract: How do complex social systems evolve in the modern world? This question lies at the heart of social physics, and network analysis has proven critical in providing answers to it. In recent years, network analysis has also been used to gain a quantitative understanding of law as a complex adaptive system, but most research has focused on legal documents of a single type, and there exists no unified framework for quantitative legal document analysis using network analytical tools. Against this background, we present a comprehensive framework for analyzing legal documents as multi-dimensional, dynamic document networks. We demonstrate the utility of this framework by applying it to an original dataset of statutes and regulations from two different countries, the United States and Germany, spanning more than twenty years (1998-2019). Our framework provides tools for assessing the size and connectivity of the legal system as viewed through the lens of specific document collections as well as for tracking the evolution of individual legal documents over time. Implementing the framework for our dataset, we find that at the federal level, the United States legal system is increasingly dominated by regulations, whereas the German legal system remains governed by statutes. This holds regardless of whether we measure the systems at the macro, the meso, or the micro level.


title: Ghost distributions on supersymmetric spaces I: Koszul induced superspaces, branching, and the full ghost centre

abstract: Given a Lie superalgebra $\mathfrak{g}$, Gorelik defined the anticentre $\mathcal{A}$ of its enveloping algebra, which consists of certain elements that square to the center. We seek to generalize and enrich the anticentre to the context of supersymmetric pairs $(\mathfrak{g},\mathfrak{k})$, or more generally supersymmetric spaces $G/K$. We define certain invariant distributions on $G/K$, which we call ghost distributions, and which in some sense are induced from invariant distributions on $G_0/K_0$. Ghost distributions, and in particular their Harish-Chandra polynomials, give information about branching from $G$ to a symmetric subgroup $K'$ which is related (and sometimes conjugate) to $K$. We discuss the case of $G\times G/G$ for an arbitrary quasireductive supergroup $G$, where our results prove the existence of a polynomial which determines projectivity of irreducible $G$-modules. Finally, a generalization of Gorelik's ghost centre is defined called the full ghost centre, $\mathcal{Z}_{full}$. For type I basic Lie superalgebras $\mathfrak{g}$ we fully describe $\mathcal{Z}_{full}$, and prove that if $\mathfrak{g}$ contains an internal grading operator, $\mathcal{Z}_{full}$ consists exactly of those elements in $\mathcal{U}\mathfrak{g}$ acting by $\mathbb{Z}$-graded constants on every finite-dimensional irreducible representation.


title: A Note on the Representation Power of GHHs

abstract: In this note we prove a sharp lower bound on the necessary number of nestings of nested absolute-value functions of generalized hinging hyperplanes (GHH) to represent arbitrary CPWL functions. Previous upper bound states that $n+1$ nestings is sufficient for GHH to achieve universal representation power, but the corresponding lower bound was unknown. We prove that $n$ nestings is necessary for universal representation power, which provides an almost tight lower bound. We also show that one-hidden-layer neural networks don't have universal approximation power over the whole domain. The analysis is based on a key lemma showing that any finite sum of periodic functions is either non-integrable or the zero function, which might be of independent interest.


title: Language Modelling as a Multi-Task Problem

abstract: In this paper, we propose to study language modelling as a multi-task problem, bringing together three strands of research: multi-task learning, linguistics, and interpretability. Based on hypotheses derived from linguistic theory, we investigate whether language models adhere to learning principles of multi-task learning during training. To showcase the idea, we analyse the generalisation behaviour of language models as they learn the linguistic concept of Negative Polarity Items (NPIs). Our experiments demonstrate that a multi-task setting naturally emerges within the objective of the more general task of language modelling.We argue that this insight is valuable for multi-task learning, linguistics and interpretability research and can lead to exciting new findings in all three domains.


title: Algebraic and geometric structures inside the Birkhoff polytope

abstract: The Birkhoff polytope $\mathcal{B}_d$ consisting of all bistochastic matrices of order $d$ assists researchers from many areas, including combinatorics, statistical physics and quantum information. Its subset $\mathcal{U}_d$ of unistochastic matrices, determined by squared moduli of unitary matrices, is of a particular importance for quantum theory as classical dynamical systems described by unistochastic transition matrices can be quantised. In order to investigate the problem of unistochasticity we introduce the set $\mathcal{L}_d$ of bracelet matrices that forms a subset of $\mathcal{B}_d$, but a superset of $\mathcal{U}_d$. We prove that for every dimension $d$ this set contains the set of factorisable bistochastic matrices $\mathcal{F}_d$ and is closed under matrix multiplication by elements of $\mathcal{F}_d$. Moreover, we prove that both $\mathcal{L}_d$ and $\mathcal{F}_d$ are star-shaped with respect to the flat matrix. We also analyse the set of $d\times d$ unistochastic matrices arising from circulant unitary matrices, and show that their spectra lie inside $d$-hypocycloids on the complex plane. Finally, applying our results to small dimensions, we fully characterise the set of circulant unistochastic matrices of order $d\leq 4$, and prove that such matrices form a monoid for $d=3$.


title: Steady-State Model of VSC based FACTS Devices using Flexible Holomorphic Embedding: (SSSC and IPFC)

abstract: For proper planning, operation, control, and protection of the power system, the development of a suitable steady-state mathematical model of FACTS devices is a key issue. The Fast and Flexible Holomorphic Embedding (FFHE) method converges faster and provides the flexibility to use any state as an initial guess. But to investigate the effect and ability of FACTS devices using FFHE technique, it is necessary to develop an embedded system for these devices. Therefore, this paper presents an FFHE-based embedded system for VSC-based FACTS controllers, such as SSSC and IPFC. The embedded system is also proposed for their controlling modes. The introduced embedded system is flexible which allows to take any state as an initial guess instead of fixed state, which leads towards the reduced runtime and decreases the required number of terms, as compared to standard HELM. To demonstrate the effectiveness and practicability, the proposed FFHE-based models of FACTS devices have been tested for several cases. Further, the developed recursive formulas for power balance equations, devices' physical constraints, and their controlling modes are thoroughly investigated and examined. From several tests, it is found that the proposed FFHE-based FACTS models require less execution time and reduce the error at higher rate.


title: Constraints on the Coupling between Axionlike Dark Matter and Photons Using an Antiproton Superconducting Tuned Detection Circuit in a Cryogenic Penning Trap

abstract: We constrain the coupling between axionlike particles (ALPs) and photons, measured with the superconducting resonant detection circuit of a cryogenic Penning trap. By searching the noise spectrum of our fixed-frequency resonant circuit for peaks caused by dark matter ALPs converting into photons in the strong magnetic field of the Penning-trap magnet, we are able to constrain the coupling of ALPs with masses around $2.7906-2.7914\,\textrm{neV/c}^2$ to $g_{a\gamma}< 1 \times 10^{-11}\,\textrm{GeV}^{-1}$. This is more than one order of magnitude lower than the best laboratory haloscope and approximately 5 times lower than the CERN axion solar telescope (CAST), setting limits in a mass and coupling range which is not constrained by astrophysical observations. Our approach can be extended to many other Penning-trap experiments and has the potential to provide broad limits in the low ALP mass range.


title: Which Nilpotent Groups are Self-Similar?

abstract: Let $\Gamma$ be a finitely generated torsion free nilpotent group, and let $A^\omega$ be the space of infinite words over a finite alphabet $A$. We investigate two types of self-similar actions of $\Gamma$ on $A^\omega$, namely the faithfull actions with dense orbits and the free actions. A criterion for the existence of a self-similar action of each type is established. Two corollaries about the nilmanifolds are deduced. The first involves the nilmanifolds endowed with an Anosov diffeomorphism, and the second about the existence of an affine structure. Then we investigate the virtual actions of $\Gamma$, i.e. actions of a subgroup $\Gamma'$ of finite index. A formula, with some number theoretical content, is found for the minimal cardinal of an alphabet $A$ endowed with a virtual self-similar action on $A^\omega$ of each type.


title: Distributed Learning over Markovian Fading Channels for Stable Spectrum Access

abstract: We consider the problem of multi-user spectrum access in wireless networks. The bandwidth is divided into K orthogonal channels, and M users aim to access the spectrum. Each user chooses a single channel for transmission at each time slot. The state of each channel is modeled by a restless unknown Markovian process. Previous studies have analyzed a special case of this setting, in which each channel yields the same expected rate for all users. By contrast, we consider a more general and practical model, where each channel yields a different expected rate for each user. This model adds a significant challenge of how to efficiently learn a channel allocation in a distributed manner to yield a global system-wide objective. We adopt the stable matching utility as the system objective, which is known to yield strong performance in multichannel wireless networks, and develop a novel Distributed Stable Strategy Learning (DSSL) algorithm to achieve the objective. We prove theoretically that DSSL converges to the stable matching allocation, and the regret, defined as the loss in total rate with respect to the stable matching solution, has a logarithmic order with time. Finally, simulation results demonstrate the strong performance of the DSSL algorithm.


title: Optimal control problems governed by two dimensional convective Brinkman-Forchheimer equations

abstract: The convective Brinkman-Forchheimer (CBF) equations describe the motion of incompressible viscous fluid through a rigid, homogeneous, isotropic, porous medium. In this work, we consider some distributed optimal control problems like total energy minimization, minimization of enstrophy, etc governed by the two dimensional CBF equations with the absorption exponent $r=1,2$ and $3$. We show the existence of an optimal solution and the first order necessary conditions of optimality for such optimal control problems in terms of the Euler-Lagrange system. Furthermore, for the case $r=3$, we show the second order necessary and sufficient conditions of optimality. We also investigate an another control problem which is similar to that of the data assimilation problems in meteorology of obtaining unknown initial data, when the system under consideration is 2D CBF equations, using optimal control techniques.


title: Improved algorithms for non-adaptive group testing with consecutive positives

abstract: The goal of group testing is to efficiently identify a few specific items, called positives, in a large population of items via tests. A test is an action on a subset of items which returns positive if the subset contains at least one positive and negative otherwise. In non-adaptive group testing, all tests are fixed in advance and can be performed in parallel. In this work, we consider non-adaptive group testing with consecutive positives in which the items are linearly ordered and the positives are consecutive in that order. We present two contributions here. The first is the direct use of a binary code to construct measurement matrices compared to the use of Gray code in the state-of-the-art work, which is a rearrangement of the binary code, when the maximum number of consecutive positives is known. This leads to a reduction in decoding time in practice. The second one is efficient designs to identify positives when the number of consecutive positives is known. To the best of our knowledge, this setting has not been surveyed yet. Our simulations verify the efficiency of our proposed designs. In particular, it only requires up to $300$ tests to identify up to $100$ positives in a set of $2^{32} \approx 4.3\mathrm{B}$ items in less than $300$ nanoseconds. When the maximum number of consecutive positives is known, the simulations validate the superiority of our proposed design in decoding compared to the state-of-the-art work. Moreover, when the number of consecutive positives is known, the number of tests and the decoding time are almost reduced half.


title: Local turnpike analysis using local dissipativity for discrete time discounted optimal control

abstract: Recent results in the literature have provided connections between the so-called turnpike property, near optimality of closed-loop solutions, and strict dissipativity. Motivated by applications in economics, optimal control problems with discounted stage cost are of great interest. In contrast to non-discounted optimal control problems, it is more likely that several asymptotically stable optimal equilibria coexist. Due to the discounting and transition cost from a local to the global equilibrium, it may be more favourable staying in a local equilibrium than moving to the global - cheaper - equilibrium. In the literature, strict dissipativity was shown to provide criteria for global asymptotic stability of optimal equilibria and turnpike behavior. In this paper, we propose a local notion of discounted strict dissipativity and a local turnpike property, both depending on the discount factor. Using these concepts, we investigate the local behaviour of (near-)optimal trajectories and develop conditions on the discount factor to ensure convergence to a local asymptotically stable optimal equilibrium.


title: FedH2L: Federated Learning with Model and Statistical Heterogeneity

abstract: Federated learning (FL) enables distributed participants to collectively learn a strong global model without sacrificing their individual data privacy. Mainstream FL approaches require each participant to share a common network architecture and further assume that data are are sampled IID across participants. However, in real-world deployments participants may require heterogeneous network architectures; and the data distribution is almost certainly non-uniform across participants. To address these issues we introduce FedH2L, which is agnostic to both the model architecture and robust to different data distributions across participants. In contrast to approaches sharing parameters or gradients, FedH2L relies on mutual distillation, exchanging only posteriors on a shared seed set between participants in a decentralized manner. This makes it extremely bandwidth efficient, model agnostic, and crucially produces models capable of performing well on the whole data distribution when learning from heterogeneous silos.


title: High-Resolution Non-Invasive X-ray Diffraction Analysis of Artists Paints

abstract: Energy-dispersive X-ray diffraction (EDXRD) is extremely insensitive to sample morphology when implemented in a back-reflection geometry. The capabilities of this non-invasive technique for cultural heritage applications have been explored at high resolution at the Diamond Light Source synchrotron. The results of the XRD analysis of the pigments in 40 paints, commonly used by 20th century artists, are reported here. It was found that synthetic organic pigments yielded weak diffraction patterns at best, and it was not possible to unambiguously identify any of these pigments. In contrast, the majority of the paints containing inorganic pigments yielded good diffraction patterns amenable to crystallographic analysis. The high resolution of the technique enables the extraction of a range of detailed information: phase identification (including solid solutions), highly accurate unit cell parameters, phase quantification, crystallite size and strain parameters and preferred orientation parameters. The implications of these results for application to real paintings are discussed, along with the possibility to transfer the technique away from the synchrotron and into the laboratory and museum through the use of state-of-the-art microcalorimeter detectors. The results presented demonstrate the exciting potential of the technique for art history and authentication studies, based on the non-invasive acquisition of very high quality crystallographic data.


title: How to Evaluate a Summarizer: Study Design and Statistical Analysis for Manual Linguistic Quality Evaluation

abstract: Manual evaluation is essential to judge progress on automatic text summarization. However, we conduct a survey on recent summarization system papers that reveals little agreement on how to perform such evaluation studies. We conduct two evaluation experiments on two aspects of summaries' linguistic quality (coherence and repetitiveness) to compare Likert-type and ranking annotations and show that best choice of evaluation method can vary from one aspect to another. In our survey, we also find that study parameters such as the overall number of annotators and distribution of annotators to annotation items are often not fully reported and that subsequent statistical analysis ignores grouping factors arising from one annotator judging multiple summaries. Using our evaluation experiments, we show that the total number of annotators can have a strong impact on study power and that current statistical analysis methods can inflate type I error rates up to eight-fold. In addition, we highlight that for the purpose of system comparison the current practice of eliciting multiple judgements per summary leads to less powerful and reliable annotations given a fixed study budget.


title: Edge-Labeling based Directed Gated Graph Network for Few-shot Learning

abstract: Existing graph-network-based few-shot learning methods obtain similarity between nodes through a convolution neural network (CNN). However, the CNN is designed for image data with spatial information rather than vector form node feature. In this paper, we proposed an edge-labeling-based directed gated graph network (DGGN) for few-shot learning, which utilizes gated recurrent units to implicitly update the similarity between nodes. DGGN is composed of a gated node aggregation module and an improved gated recurrent unit (GRU) based edge update module. Specifically, the node update module adopts a gate mechanism using activation of edge feature, making a learnable node aggregation process. Besides, improved GRU cells are employed in the edge update procedure to compute the similarity between nodes. Further, this mechanism is beneficial to gradient backpropagation through the GRU sequence across layers. Experiment results conducted on two benchmark datasets show that our DGGN achieves a comparable performance to the-state-of-art methods.


title: Faster Algorithm for Maximum Flow in Directed Planar Graphs with Vertex Capacities

abstract: We give an $O(k^3 n \log n \min(k,\log^2 n) \log^2(nC))$-time algorithm for computing maximum integer flows in planar graphs with integer arc {\em and vertex} capacities bounded by $C$, and $k$ sources and sinks. This improves by a factor of $\max(k^2,k\log^2 n)$ over the fastest algorithm previously known for this problem [Wang, SODA 2019]. The speedup is obtained by two independent ideas. First we replace an iterative procedure of Wang that uses $O(k)$ invocations of an $O(k^3 n \log^3 n)$-time algorithm for maximum flow algorithm in a planar graph with $k$ apices [Borradaile et al., FOCS 2012, SICOMP 2017], by an alternative procedure that only makes one invocation of the algorithm of Borradaile et al. Second, we show two alternatives for computing flows in the $k$-apex graphs that arise in our modification of Wang's procedure faster than the algorithm of Borradaile et al. In doing so, we introduce and analyze a sequential implementation of the parallel highest-distance push-relabel algorithm of Goldberg and Tarjan~[JACM 1988].


title: Dense Suspension Flow in a Penny-Shaped Crack, Part I : Theory

abstract: We study the dynamics of proppants carried by fluid driven into an evolving penny-shaped fracture. The behaviour of the slurry flow is investigated in two phases: pressurised injection and elastic closure. During injection the slurry is modelled using a frictional rheology that takes into account the shear-induced migration and jamming of the proppants. Making pragmatic assumptions of negligible toughness and cross-fracture fluid slip, we find self-similar solutions supporting a range of proppant concentration profiles. In particular, we define an effective viscosity, which equates the fracture evolution of a slurry flow with a given proppant volume fraction, to a Newtonian flow with a particular viscosity. Using this framework, we are able to make predictions about the geometry of the growing fracture and the significance of tip screen-out. In the closure phase, proppants are modelled as incompressible and radially immobile within the narrowing fracture. The effects of proppant concentration on the geometry of the residual propped fracture are explored in full. The results have important applications to industrial fracking and geological dike formation by hot, intruding magma.


title: Multilingual and cross-lingual document classification: A meta-learning approach

abstract: The great majority of languages in the world are considered under-resourced for the successful application of deep learning methods. In this work, we propose a meta-learning approach to document classification in limited-resource setting and demonstrate its effectiveness in two different settings: few-shot, cross-lingual adaptation to previously unseen languages; and multilingual joint training when limited target-language data is available during training. We conduct a systematic comparison of several meta-learning methods, investigate multiple settings in terms of data availability and show that meta-learning thrives in settings with a heterogeneous task distribution. We propose a simple, yet effective adjustment to existing meta-learning methods which allows for better and more stable learning, and set a new state of the art on several languages while performing on-par on others, using only a small amount of labeled data.


title: Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design

abstract: Formal methods and supporting tools have a long record of success in the development of safety-critical systems. However, no single tool has emerged as the dominant solution for system design. Each tool differs from the others in terms of the modeling language used, its verification capabilities and other complementary features, and each development context has peculiar needs that require different tools. This is particularly problematic for the railway industry, in which formal methods are highly recommended by the norms, but no actual guidance is provided for the selection of tools. To guide companies in the selection of the most appropriate formal tools to adopt in their contexts, a clear assessment of the features of the currently available tools is required. To address this goal, this paper considers a set of 13 formal tools that have been used for railway system design, and it presents a systematic evaluation of such tools and a preliminary usability analysis of a subset of 7 tools, involving railway practitioners. The results are discussed considering the most desired aspects by industry and earlier related studies. While the focus is on the railway domain, the overall methodology can be applied to similar contexts. Our study thus contributes with a systematic evaluation of formal tools and it shows that despite the poor graphical interfaces, usability and maturity of the tools are not major problems, as claimed by contributions from the literature. Instead, support for process integration is the most relevant obstacle for the adoption of most of the tools.


title: Compactness within the space of complete, constant Q-curvature metrics on the sphere with isolated singularities

abstract: In this paper we consider the moduli space of complete, conformally flat metrics on a sphere with k punctures having constant positive Q-curvature and positive scalar curvature. Previous work has shown that such metrics admit an asymptotic expansion near each puncture, allowing one to define an asymptotic necksize of each singular point. We prove that any set in the moduli space such that the distances between distinct punctures and the asymptotic necksizes all remain bounded away from zero is sequentially compact, mirroring a theorem of D. Pollack about singular Yamabe metrics. Along the way we define a radial Pohozaev invariant at each puncture and refine some a priori bounds of the conformal factor, which may be of independent interest.


title: Functional Calculus via the extension technique: a first hitting time approach

abstract: In this article, we present a solution to the problem: "Which type of linear operators can be realized by the Dirichlet-to-Neumann operator associated with the operator $-\Delta-a(z)\frac{\partial^{2}}{\partial z^2}$ on an extension problem?", which was raised in the pioneering work [Comm. Par.Diff. Equ. 32 (2007)] by Caffarelli and Silvestre. In fact, we even go a step further by replacing the negative Laplace operator $-\Delta$ on $\mathbb{R}^{d}$ by an $m$-accretive operator $A$ on a general Banach space $X$ and the Dirichlet-to-Neumann operator by the Dirichlet-to-Wentzell operator. We establish uniqueness of solutions to the extension problem in this general framework, which seems to be new in the literature and independent interest. The aim of this paper is to provide a new Phillips-Bochner type functional calculus which uses probabilistic tools from excursion theory. With our method, we are able to characterize all linear operators $\psi(A)$ among the class $CBF$ of complete Bernstein functions $\psi$, resulting in a new characterization of the famous Phillips' subordination theorem within this class $CBF$.


title: Learning Non-linear Wavelet Transformation via Normalizing Flow

abstract: Wavelet transformation stands as a cornerstone in modern data analysis and signal processing. Its mathematical essence is an invertible transformation that discerns slow patterns from fast ones in the frequency domain. Such an invertible transformation can be learned by a designed normalizing flow model. With a generalized lifting scheme as coupling layers, a factor-out layer resembling the downsampling, and parameter sharing at different levels of the model, one can train the normalizing flow to filter high-frequency elements at different levels, thus extending traditional linear wavelet transformations to learnable non-linear deep learning models. In this paper, a way of building such flow is proposed, along with a numerical analysis of the learned transformation. Then, we demonstrate the model's ability in image lossless compression, show it can achieve SOTA compression scores while achieving a small model size, substantial generalization ability, and the ability to handle high-dimensional data.


title: Measuring the ratio of the gas and dust emission radii of protoplanetary disks in the Lupus star-forming region

abstract: We perform a comprehensive demographic study of the CO extent relative to dust of the disk population in the Lupus clouds, in order to find indications of dust evolution and possible correlations with other properties. We increase up to 42 the number of disks of the region with measured CO and dust sizes ($R_{\mathrm{CO}}$, $R_{\mathrm{dust}}$) from observations with the Atacama Large Millimeter/submillimeter Array (ALMA). The sizes are obtained from modeling the ${^{12}}$CO $J = 2-1$ line emission and continuum emission at $\sim 0.89$ mm with an empirical function (Nuker profile or Gaussian function). The CO emission is more extended than the dust continuum, with a $R_{68\%}^{\mathrm{CO}}$/$R_{68\%}^{\mathrm{dust}}$ median value of 2.5, for the entire population and for a sub-sample with high completeness. 6 disks, around $15\%$ of the Lupus disk population have a size ratio above 4. Based on thermo-chemical modeling, this value can only be explained if the disk has undergone grain growth and radial drift. These disks do not have unusual properties in terms of stellar mass ($M_{\star}$), disk mass ($M_{\mathrm{disk}}$), CO and dust sizes ($R_{\mathrm{CO}}$, $R_{\mathrm{dust}}$), and mass accretion. We search for correlations between the size ratio and $M_{\star}$, $M_{\mathrm{disk}}$, $R_{\mathrm{CO}}$ and $R_{\mathrm{dust}}$: only a weak monotonic anti-correlation with the $R_{\mathrm{dust}}$ is found. The lack of strong correlations is remarkable and suggests that the bulk of the population may be in a similar evolutionary stage, independent of the stellar and disk properties. These results should be further investigated, since the optical depth difference between CO and dust continuum may play a role in the inferred size ratios. Lastly, the CO emission for the majority of the disks is consistent with optically thick emission and an average CO temperature of around 30 K.


title: Sharpness of the Phase Transition for the Orthant Model

abstract: The orthant model is a directed percolation model on $\mathbb{Z}^d$, in which all clusters are infinite. We prove a sharp threshold result for this model: if $p$ is larger than the critical value above which the cluster of $0$ is contained in a cone, then the shift from $0$ that is required to contain the cluster of $0$ in that cone is exponentially small. As a consequence, above this critical threshold, a shape theorem holds for the cluster of $0$, as well as ballisiticity of the random walk on this cluster.


title: Joint Source-Channel Coding for Semantics-Aware Grant-Free Radio Access in IoT Fog Networks

abstract: A fog-radio access network (F-RAN) architecture is studied for an Internet-of-Things (IoT) system in which wireless sensors monitor a number of multi-valued events and transmit in the uplink using grant-free random access to multiple edge nodes (ENs). Each EN is connected to a central processor (CP) via a finite-capacity fronthaul link. In contrast to conventional information-agnostic protocols based on separate source-channel (SSC) coding, where each device uses a separate codebook, this paper considers an information-centric approach based on joint source-channel (JSC) coding via a non-orthogonal generalization of type-based multiple access (TBMA). By leveraging the semantics of the observed signals, all sensors measuring the same event share the same codebook (with non-orthogonal codewords), and all such sensors making the same local estimate of the event transmit the same codeword. The F-RAN architecture directly detects the events values without first performing individual decoding for each device. Cloud and edge detection schemes based on Bayesian message passing are designed and trade-offs between cloud and edge processing are assessed.


title: Adversarial Stylometry in the Wild: Transferable Lexical Substitution Attacks on Author Profiling

abstract: Written language contains stylistic cues that can be exploited to automatically infer a variety of potentially sensitive author information. Adversarial stylometry intends to attack such models by rewriting an author's text. Our research proposes several components to facilitate deployment of these adversarial attacks in the wild, where neither data nor target models are accessible. We introduce a transformer-based extension of a lexical replacement attack, and show it achieves high transferability when trained on a weakly labeled corpus -- decreasing target model performance below chance. While not completely inconspicuous, our more successful attacks also prove notably less detectable by humans. Our framework therefore provides a promising direction for future privacy-preserving adversarial attacks.


title: Doppler Estimation for High-Velocity Targets Using Subpulse Processing and the Classic Chinese Remainder Theorem

abstract: In pulsed Doppler radars, the classic Chinese remainder theorem (CCRT) is a common method to resolve Doppler ambiguities caused by fast-moving targets. Another issue concerning high-velocity targets is related to the loss in the signal-to-noise ratio (SNR) after performing range compression. In particular, this loss can be partially mitigated by the use of subpulse processing (SP). Modern radars combine these techniques in order to reliably unfold the target velocity. However, the presence of background noise may compromise the Doppler estimates. Hence, a rigorous statistical analysis is imperative. In this work, we provide a comprehensive analysis on Doppler estimation. In particular, we derive novel closed-form expressions for the probability of detection (PD) and probability of false alarm (PFA). To this end, we consider the newly introduce SP along with the CCRT. A comparison analysis between SP and the classic pulse processing (PP) technique is also carried out. Numerical results and Monte-Carlo simulations corroborate the validity of our expressions and show that the SP-plus-CCRT technique helps to greatly reduce the PFA compared to previous studies, thereby improving radar detection.


title: Stability of Linear Systems under Extended Weakly-Hard Constraints

abstract: Control systems can show robustness to many events, like disturbances and model inaccuracies. It is natural to speculate that they are also robust to sporadic deadline misses when implemented as digital tasks on an embedded platform. This paper proposes a comprehensive stability analysis for control systems subject to deadline misses, leveraging a new formulation to describe the patterns experienced by the control task under different handling strategies. Such analysis brings the assessment of control systems robustness to computational problems one step closer to the controller implementation.


title: The Ferroelectric Photo-Groundstate of SrTiO$_3$: Cavity Materials Engineering

abstract: Optical cavities confine light on a small region in space which can result in a strong coupling of light with materials inside the cavity. This gives rise to new states where quantum fluctuations of light and matter can alter the properties of the material altogether. Here we demonstrate, based on first principles calculations, that such light-matter coupling induces a change of the collective phase from quantum paraelectric to ferroelectric in the SrTiO$_3$ groundstate, which has thus far only been achieved in out-of-equilibrium strongly excited conditions[1, 2]. This is a light-matter-hybrid groundstate which can only exist because of the coupling to the vacuum fluctuations of light, a "photo-groundstate". The phase transition is accompanied by changes in the crystal structure, showing that fundamental groundstate properties of materials can be controlled via strong light-matter coupling. Such a control of quantum states enables the tailoring of materials properties or even the design of novel materials purely by exposing them to confined light.


title: Tracing young star-forming clumps in the nearby flocculent spiral galaxy NGC 7793 with UVIT imaging

abstract: Star formation in galaxies is a hierarchical process with a wide range of scales from smaller clusters to larger stellar complexes. Here, we present an ultra-violet imaging study of the nearby flocculent spiral galaxy NGC 7793, observed with the Ultra-Violet Imaging Telescope (UVIT). We find that the disk scale-length estimated in Far-UV (2.64$\pm$0.16 kpc) is larger than that in Near-UV (2.21$\pm$0.21 kpc) and optical (1.08 kpc), which supports the inside-out growth scenario of the galaxy disk. The star-forming UV disk is also found to be contained within the extent of H~I gas of column density greater than $10^{21}$cm$^{-2}$. With the spatial resolution of UVIT (1 pixel $\sim$ 6.8 pc), we identified 2046 young star-forming clumps in the galaxy with radii between $\sim$ 12 - 70 pc, which matches well with the size of GMCs detected in the galaxy. Around 61\% of the regions identified in our study have age younger than 20 Myr, which points to a recent enhancement of star formation across the galaxy. We also noticed that the youngest star-forming regions, with age $<$ 10 Myr, distinctly trace the flocculent arms of the galaxy. The estimated mass of the clumps cover a range between $10^3 - 10 ^6 M_{\odot}$. We noticed a gradient in the mass distribution of identified clumps along the spiral arms. We have also studied the nuclear star cluster of the galaxy and found that the stellar populations in the cluster outskirts are younger than the inner part.


title: Towards a Standard Feature Set for Network Intrusion Detection System Datasets

abstract: Network Intrusion Detection Systems (NIDSs) are important tools for the protection of computer networks against increasingly frequent and sophisticated cyber attacks. Recently, a lot of research effort has been dedicated to the development of Machine Learning (ML) based NIDSs. As in any ML-based application, the availability of high-quality datasets is critical for the training and evaluation of ML-based NIDS. One of the key problems with the currently available datasets is the lack of a standard feature set. The use of a unique and proprietary set of features for each of the publicly available datasets makes it virtually impossible to compare the performance of ML-based traffic classifiers on different datasets, and hence to evaluate the ability of these systems to generalise across different network scenarios. To address that limitation, this paper proposes and evaluates standard NIDS feature sets based on the NetFlow network meta-data collection protocol and system. We evaluate and compare two NetFlow-based feature set variants, a version with 12 features, and another one with 43 features.


title: The $\beta$-Delaunay tessellation II: The Gaussian limit tessellation

abstract: We study the weak convergence of $\beta$- and $\beta'$-Delaunay tessellations in $\mathbb{R}^{d-1}$ that were introduced in part I of this paper, as $\beta\to\infty$. The limiting stationary simplicial random tessellation, which is called the Gaussian-Delaunay tessellation, is characterized in terms of a space-time paraboloid hull process in $\mathbb{R}^{d-1}\times\mathbb{R}$. The latter object has previously appeared in the analysis of the number of shocks in the solution of the inviscid Burgers' equation and the description of the local asymptotic geometry of Gaussian random polytopes. In this paper it is used to define a new stationary random simplicial tessellation in $\mathbb{R}^{d-1}$. As for the $\beta$- and $\beta'$-Delaunay tessellation, the distribution of volume-power weighted typical cells in the Gaussian-Delaunay tessellation is explicitly identified, establishing thereby a new bridge to Gaussian random simplices. Also major geometric characteristics of these cells such as volume moments, expected angle sums and also the cell intensities of the Gaussian-Delaunay tessellation are investigated.


title: Testing in Global Software Development -- A Pattern Approach

abstract: Although testing is critical in GSD, its application in this context has not been deeply investigated so far. This work investigates testing in GSD. It provides support for test managers acting in a globally distributed environment. With this it closes a gap. The leading question is "What problems exist in testing in GSD and how can they be addressed in projects?" Decomposing this question we a) identify problems of testing in GSD projects and b) provide good practices to support practitioners in testing in GSD projects. The research is realized in the context of Capgemini Germany. Our contribution to solving the stated research problem is a collection of 16 patterns for testing in GSD projects. For practitioners the usage of the patterns is simplified by various views on the patterns. Herewith we stipulate research and support project managers and test managers in the realization of testing in GSD projects.


title: Rate Splitting Multiple Access for Multi-Antenna Multi-Carrier Joint Communications and Jamming

abstract: Rate-Splitting Multiple Access (RSMA) is a robust multiple access scheme for downlink multi-antenna wireless networks. In this work, we investigate a novel application of RSMA for joint communications and jamming with a Multi-Carrier (MC) waveform in Multiple Input Single Output (MISO) Broadcast Channel (BC). Our aim is to simultaneously communicate with Information Users (IU) and jam Adversarial Users (AU) to disrupt their communications in a setting where all users perform broadband communications by MC waveforms in their respective networks. We consider the practical setting of imperfect CSI at transmitter (CSIT) for the IUs and statistical CSIT for AUs. The optimal information and jamming precoders are designed to maximize the sum-rate under jamming power constraints on the pilot subcarriers of AUs, a jamming method considered to be among the most destructive methods for MC waveforms under the considered system model. We compare the sum-rate performance of RSMA and Space Division Multiple Access (SDMA) schemes by numerical results to demonstrate that RSMA achieves a significant sum-rate gain compared to SDMA.


title: Optically induced Kondo effect in semiconductor quantum wells

abstract: It is demonstrated theoretically that the circularly polarized irradiation of two-dimensional electron systems can induce the localized electron states which antiferromagnetically interact with conduction electrons, resulting in the Kondo effect. Conditions of experimental observation of the effect are discussed for semiconductor quantum wells.


title: Tutorial implementation of Hoare logic in Haskell

abstract: Using the programming language Haskell, we introduce an implementation of propositional calculus, number theory, and a simple imperative language that can evaluate arithmetic and boolean expressions. Finally, we provide an implementation of Hoare's logic which will allow us to deduce facts about programs without the need for a full evaluation.


title: Signatures of ubiquitous magnetic reconnection in the deep atmosphere of sunspot penumbrae

abstract: Ellerman bombs are regions with enhanced Balmer line wing emission and mark magnetic reconnection in the deep solar atmosphere in active regions and quiet Sun. They are often found in regions where opposite magnetic polarities are in close proximity. Recent high resolution observations suggest that Ellerman bombs are more prevalent than thought before. We aim to determine the occurrence of Ellerman bombs in the penumbra of sunspots. We analyze high spatial resolution observations of sunspots in the Balmer H-alpha and H-beta lines as well as auxiliary continuum channels obtained with the Swedish 1-m Solar Telescope and apply the k-means clustering technique to systematically detect and characterize Ellerman Bombs. Features with all the defining characteristics of Ellerman bombs are found in large numbers over the entire penumbra. The true prevalence of these events is only fully appreciated in the H-beta line due to highest spatial resolution and lower chromospheric opacity. We find that the penumbra hosts some of the highest Ellerman bomb densities, only surpassed by the moat in the immediate surroundings of the sunspot. Some penumbral Ellerman bombs show flame morphology and rapid dynamical evolution. Many penumbral Ellerman bombs are fast moving with typical speed of 3.7 km/s and sometimes more than 10 km/s. Many penumbral Ellerman bombs migrate from the inner to the outer penumbra over hundreds of km and some continue moving beyond the outer penumbral boundary into the moat. Many penumbral Ellerman bombs are found in the vicinity of regions with opposite magnetic polarity. We conclude that reconnection is a near continuous process in the low atmosphere of the penumbra of sunspots as manifest in the form of penumbral Ellerman bombs. These are so prevalent that they may be a major sink of sunspot magnetic energy.


title: FSI -- Vibrations of immersed cylinders. Simulations with the engineering open-source code TrioCFD. Test cases and experimental comparisons

abstract: In this paper, we assess the capabilities of the Arbitrary Lagrangian-Eulerian method implemented in the open-source code TrioCFD to tackle down two fluid-structure interaction problems involving moving boundaries.


title: Universal relations between atomic dipolar relaxation and van der Waals interaction

abstract: Dipolar relaxation happens when one or both colliding atoms flip their spins exothermically inside a magnetic ($B$) field. This work reports precise measurements of dipolar relaxation in a Bose-Einstein condensate of ground state $^{87}$Rb atoms together with in-depth theoretical investigations. Previous perturbative treatments fail to explain our observations except at very small $B$-fields. By employing quantum defect theory based on analytic solutions of asymptotic van der Waals interaction $-C_6/R^6$ ($R$ being interatomic spacing), we significantly expand the applicable range of perturbative treatment. We find the $B$-dependent dipolar relaxation lineshapes are largely universal, determined by the coefficient $C_6$ and the associated $s$-wave scattering lengths $a_{\rm sc}$ of the states before and after spin flips. This universality, which applies generally to other atomic species as well, implicates potential controls of dipolar relaxation and related cold chemical reactions by tuning $a_{\rm sc}$.


title: Minimum energy with infinite horizon: from stationary to non-stationary states

abstract: We study a non standard infinite horizon, infinite dimensional linear-quadratic control problem arising in the physics of non-stationary states (see e.g. \cite{BDGJL4,BertiniGabrielliLebowitz05}): finding the minimum energy to drive a given stationary state $\bar x=0$ (at time $t=-\infty$) into an arbitrary non-stationary state $x$ (at time $t=0$). This is the opposite to what is commonly studied in the literature on null controllability (where one drives a generic state $x$ into the equilibrium state $\bar x=0$). Consequently, the Algebraic Riccati Equation (ARE) associated to this problem is non-standard since the sign of the linear part is opposite to the usual one and since it is intrinsically unbounded. Hence the standard theory of AREs does not apply. The analogous finite horizon problem has been studied in the companion paper \cite{AcquistapaceGozzi17}. Here, similarly to such paper, we prove that the linear selfadjoint operator associated to the value function is a solution of the above mentioned ARE. Moreover, differently to \cite{AcquistapaceGozzi17}, we prove that such solution is the maximal one. The first main result (Theorem \ref{th:maximalARE}) is proved by approximating the problem with suitable auxiliary finite horizon problems (which are different from the one studied in \cite{AcquistapaceGozzi17}). Finally in the special case where the involved operators commute we characterize all solutions of the ARE (Theorem \ref{th:sol=proj}) and we apply this to the Landau-Ginzburg model.


title: Echo State Network for two-dimensional turbulent moist Rayleigh-B\'enard convection

abstract: Recurrent neural networks are machine learning algorithms which are suited well to predict time series. Echo state networks are one specific implementation of such neural networks that can describe the evolution of dynamical systems by supervised machine learning without solving the underlying nonlinear mathematical equations. In this work, we apply an echo state network to approximate the evolution of two-dimensional moist Rayleigh-B\'enard convection and the resulting low-order turbulence statistics. We conduct long-term direct numerical simulations in order to obtain training and test data for the algorithm. Both sets are pre-processed by a Proper Orthogonal Decomposition (POD) using the snapshot method to reduce the amount of data. The training data comprise long time series of the first 150 most energetic POD coefficients. The reservoir is subsequently fed by the data and results in predictions of future flow states. The predictions are thoroughly validated by the data of the original simulation. Our results show good agreement of the low-order statistics. This incorporates also derived statistical moments such as the cloud cover close to the top of the convection layer and the flux of liquid water across the domain. We conclude that our model is capable of learning complex dynamics which is introduced here by the tight interaction of turbulence with the nonlinear thermodynamics of phase changes between vapor and liquid water. Our work opens new ways for the dynamic parametrization of subgrid-scale transport in larger-scale circulation models.


title: See-Through Captions: Real-Time Captioning on Transparent Display for Deaf and Hard-of-Hearing People

abstract: Real-time captioning is a useful technique for deaf and hard-of-hearing (DHH) people to talk to hearing people. With the improvement in device performance and the accuracy of automatic speech recognition (ASR), real-time captioning is becoming an important tool for helping DHH people in their daily lives. To realize higher-quality communication and overcome the limitations of mobile and augmented-reality devices, real-time captioning that can be used comfortably while maintaining nonverbal communication and preventing incorrect recognition is required. Therefore, we propose a real-time captioning system that uses a transparent display. In this system, the captions are presented on both sides of the display to address the problem of incorrect ASR, and the highly transparent display makes it possible to see both the body language and the captions.