title: Automated Detection System for Adversarial Examples with High-Frequency Noises Sieve

abstract: Deep neural networks are being applied in many tasks with encouraging results, and have often reached human-level performance. However, deep neural networks are vulnerable to well-designed input samples called adversarial examples. In particular, neural networks tend to misclassify adversarial examples that are imperceptible to humans. This paper introduces a new detection system that automatically detects adversarial examples on deep neural networks. Our proposed system can mostly distinguish adversarial samples and benign images in an end-to-end manner without human intervention. We exploit the important role of the frequency domain in adversarial samples and propose a method that detects malicious samples in observations. When evaluated on two standard benchmark datasets (MNIST and ImageNet), our method achieved an out-detection rate of 99.7 - 100% in many settings.


title: Deep learning the holographic black hole with charge

abstract: We use the deep learning algorithm to learn the Reissner-Nordstr\"om(RN) black hole metric by building a deep neural network. Plenty of data is made in boundary of AdS and we propagate it to the black hole horizon through AdS metric and equation of motion(e.o.m). We label this data according to the values near the horizon, and together with initial data constitute a data set. Then we construct corresponding deep neural network and train it with the data set to obtain the Reissner-Nordstrom(RN) black hole metric. Finally, we discuss the effects of learning rate, batch-size and initialization on the training process.


title: Constructive asymptotic bounds of locally repairable codes via function fields

abstract: Locally repairable codes have been investigated extensively in recent years due to practical applications in distributed and cloud storage systems. However, there are few asymptotical constructions of locally repairable codes in the literature. In this paper, we provide an explicit asymptotic construction of locally repairable codes over arbitrary finite fields from local expansions of functions at a rational place. This construction gives a Tsfasman-Vladut-Zink type bound for locally repairable codes. Its main advantage is that there are no constraints on both locality and alphabet size. Furthermore, we show that the Gilbert-Varshamov type bound on locally repairable codes over non-prime finite fields can be exceeded for sufficiently large alphabet size.


title: On the theoretical prediction of microalgae growth for parallel flow

abstract: The established microalgae growth models are semi-empirical or considerable fitting coefficients exist currently. Therefore, the ability of the model prediction is reduced by the numerous fitting coefficients. Furthermore, the predicted results of the established models are dependent on the size of the photobioreactor (PBR), light intensity, flow and concentration field. The growth mechanism of microalgae has not clearly understood in PBR cultivation. It is difficult to predict the microalgae growth by theoretical methods, owing to the aforementioned factors. We developed an exploratory bridging microalgae growth model to predict the microalgae growth rate in PBRs by using the nondimensional method which is effectively in fluid dynamics and heat transfer. The analytical solution of the growth rate was obtained for the parallel flow. The nondimensional growth rate expressed as function of Reynolds number and Schmidt number, which can be used for arbitrary parallel flow due to the solution was expressed as nondimensional quantities. The theoretically predicted growth rate is compared with the experimentally measured microalgae growth rate on the order of magnitude. The nondimensional method successfully applied to the microalgae growth problem for the first time. The general nondimensional solution can unify the numerous experimental data for different laboratory conditions, and give a direction for the disorder of the microalgae growth problem. The nondimensional solution may be useful to explain the growth mechanism of microalgae and design large-scale PBRs for microalgae biofuel production. The significance of the work is to give a theoretical foundation and methodology of biological theory of microalgae growth.


title: X-ray Fokker--Planck equation for paraxial imaging

abstract: The Fokker--Planck Equation can be used in a partially-coherent imaging context to model the evolution of the intensity of a paraxial x-ray wave field with propagation. This forms a natural generalisation of the transport-of-intensity equation. The x-ray Fokker--Planck equation can simultaneously account for both propagation-based phase contrast, and the diffusive effects of sample-induced small-angle x-ray scattering, when forming an x-ray image of a thin sample. Two derivations are given for the Fokker--Planck equation associated with x-ray imaging, together with a Kramers--Moyal generalisation thereof. Both equations are underpinned by the concept of unresolved speckle due to unresolved sample micro-structure. These equations may be applied to the forward problem of modelling image formation in the presence of both coherent and diffusive energy transport. They may also be used to formulate associated inverse problems of retrieving the phase shifts due to a sample placed in an x-ray beam, together with the diffusive properties of the sample. The domain of applicability for the Fokker--Planck and Kramers--Moyal equations for paraxial imaging is at least as broad as that of the transport-of-intensity equation which they generalise, hence the technique is also expected to be useful for paraxial imaging using visible light, electrons and neutrons.


title: Integral representation of probabilities in Kingman coalescent

abstract: Kingman Coalescent was first proposed by Kingman [7] in population genetics to describe population's genealogical structure. Now it becomes a bench-mark model for coalescent process. Extensive studies have been conducted on Kingman coalescent. In particular, its explicit finite time distribution was obtained by Tavar\'e [12]. However, very few people use this explicit distribution to do analysis for it is an intractable infinite series. In this article, we are going to establish a complex integral representation for the finite time distribution, then we use steepest descent method to analyze this integral representation to obtain local central limit theorem at small time regime.


title: Fuzzy informer homed routing protocol for wireless sensor network

abstract: A wireless sensor network consists of several sensor nodes. Sensor nodes collaborate to collect meaningful environmental information and send them to the base station. During these processes, nodes are prone to failure, due to the energy depletion, hardware or software failure, etc. Therefore, fault tolerance and energy efficiency are two important objectives for reliable packet delivery. To address these objectives a novel method called fuzzy informer homed routing protocol is introduced. The proposed method tries to distribute the workload between every sensor node. A fuzzy logic approach is used to handle uncertainties in cluster head communication range estimation. The simulation results show that the proposed method can significantly reduce energy consumption as compared with IHR and DHR protocols. Furthermore, results revealed that it performs better than IHR and DHR protocols in terms of first node dead and half of the nodes alive, throughput and total remaining energy. It is concluded that the proposed protocol is a stable and energy efficient fault tolerance algorithm for wireless sensor networks.


title: Testability First!

abstract: The pivotal role of testing in high-quality software production has driven a significant effort in evaluating and assessing testing practices. We explore the state of testing in a large industrial project over an extended period. We study the interplay between bugs in the project and its test cases, and interview developers and stakeholders to uncover reasons underpinning our observations. We realized that testing is not well adopted, and that testability (ie, ease of testing) is low. We found that developers tended to abandon writing tests when they assessed the effort to be high. Frequent changes in requirements and pressure to add new features also hindered developers from writing tests. Regardless of the debates on test first or later, we hypothesize that the underlying reasons for poor test quality are rooted in a lack of attention to testing early in the development of a software component, leading to poor testability of the component. However, testability is usually overlooked in research that studies the impact of testing practices, and should be explicitly taken into account.


title: GDRQ: Group-based Distribution Reshaping for Quantization

abstract: Low-bit quantization is challenging to maintain high performance with limited model capacity (e.g., 4-bit for both weights and activations). Naturally, the distribution of both weights and activations in deep neural network are Gaussian-like. Nevertheless, due to the limited bitwidth of low-bit model, uniform-like distributed weights and activations have been proved to be more friendly to quantization while preserving accuracy~\cite{Han2015Learning}. Motivated by this, we propose Scale-Clip, a Distribution Reshaping technique that can reshape weights or activations into a uniform-like distribution in a dynamic manner. Furthermore, to increase the model capability for a low-bit model, a novel Group-based Quantization algorithm is proposed to split the filters into several groups. Different groups can learn different quantization parameters, which can be elegantly merged in to batch normalization layer without extra computational cost in the inference stage. Finally, we integrate Scale-Clip technique with Group-based Quantization algorithm and propose the Group-based Distribution Reshaping Quantization (GDQR) framework to further improve the quantization performance. Experiments on various networks (e.g. VGGNet and ResNet) and vision tasks (e.g. classification, detection and segmentation) demonstrate that our framework achieves good performance.


title: Reusability and Transferability of Macro Actions for Reinforcement Learning

abstract: Conventional reinforcement learning (RL) typically determines an appropriate primitive action at each timestep. However, by using a proper macro action, defined as a sequence of primitive actions, an agent is able to bypass intermediate states to a farther state and facilitate its learning procedure. The problem we would like to investigate is what associated beneficial properties that macro actions may possess. In this paper, we unveil the properties of reusability and transferability of macro actions. The first property, reusability, means that a macro action generated along with one RL method can be reused by another RL method for training, while the second one, transferability, means that a macro action can be utilized for training agents in similar environments with different reward settings. In our experiments, we first generate macro actions along with RL methods. We then provide a set of analyses to reveal the properties of reusability and transferability of the generated macro actions.


title: Imaging with highly incomplete and corrupted data

abstract: We consider the problem of imaging sparse scenes from a few noisy data using an $l_1$-minimization approach. This problem can be cast as a linear system of the form $A \, \rho =b$, where $A$ is an $N\times K$ measurement matrix. We assume that the dimension of the unknown sparse vector $\rho \in {\mathbb{C}}^K$ is much larger than the dimension of the data vector $b \in {\mathbb{C}}^N$, i.e, $K \gg N$. We provide a theoretical framework that allows us to examine under what conditions the $\ell_1$-minimization problem admits a solution that is close to the exact one in the presence of noise. Our analysis shows that $l_1$-minimization is not robust for imaging with noisy data when high resolution is required. To improve the performance of $l_1$-minimization we propose to solve instead the augmented linear system $ [A \, | \, C] \rho =b$, where the $N \times \Sigma$ matrix $C$ is a noise collector. It is constructed so as its column vectors provide a frame on which the noise of the data, a vector of dimension $N$, can be well approximated. Theoretically, the dimension $\Sigma$ of the noise collector should be $e^N$ which would make its use not practical. However, our numerical results illustrate that robust results in the presence of noise can be obtained with a large enough number of columns $\Sigma \approx 10 K$.

categories: eess.IV cs.LG cs.NA math.NA physics.comp-ph


title: Quadrature operator eigenstates and wavefunctions of $f$-deformed oscillators

abstract: This paper is dedicated to finding the quadrature operator eigenstates and wavefunctions of the most general $f$-deformed oscillators. A definition for quadrature operator for deformed algebra is derived to obtain the quadrature operator eigenstates. A new set of polynomials are obtained using this quadrature operator and these polynomials are used to find explicitly the wavefunctions of the deformed oscillators. We have plotted wavefunctions for three different types of deformations and compared it with the wavefunctions of the non-deformed oscillator. Our result will immensely help the research groups working in the quantum state reconstruction and quantum information theory of deformed states.


title: CameraNet: A Two-Stage Framework for Effective Camera ISP Learning

abstract: Traditional image signal processing (ISP) pipeline consists of a set of individual image processing components onboard a camera to reconstruct a high-quality sRGB image from the sensor raw data. Due to the hand-crafted nature of the ISP components, traditional ISP pipeline has limited reconstruction quality under challenging scenes. Recently, the convolutional neural networks (CNNs) have demonstrated their competitiveness in solving many individual image processing problems, such as image denoising, demosaicking, white balance and contrast enhancement. However, it remains a question whether a CNN model can address the multiple tasks inside an ISP pipeline simultaneously. We make a good attempt along this line and propose a novel framework, which we call CameraNet, for effective and general ISP pipeline learning. The CameraNet is composed of two CNN modules to account for two sets of relatively uncorrelated subtasks in an ISP pipeline: restoration and enhancement. To train the two-stage CameraNet model, we specify two groundtruths that can be easily created in the common workflow of photography. CameraNet is trained to progressively address the restoration and the enhancement subtasks with its two modules. Experiments show that the proposed CameraNet achieves consistently compelling reconstruction quality on three benchmark datasets and outperforms traditional ISP pipelines.


title: Walking with MIND: Mental Imagery eNhanceD Embodied QA

abstract: The EmbodiedQA is a task of training an embodied agent by intelligently navigating in a simulated environment and gathering visual information to answer questions. Existing approaches fail to explicitly model the mental imagery function of the agent, while the mental imagery is crucial to embodied cognition, and has a close relation to many high-level meta-skills such as generalization and interpretation. In this paper, we propose a novel Mental Imagery eNhanceD (MIND) module for the embodied agent, as well as a relevant deep reinforcement framework for training. The MIND module can not only model the dynamics of the environment (e.g. 'what might happen if the agent passes through a door') but also help the agent to create a better understanding of the environment (e.g. 'The refrigerator is usually in the kitchen'). Such knowledge makes the agent a faster and better learner in locating a feasible policy with only a few trails. Furthermore, the MIND module can generate mental images that are treated as short-term subgoals by our proposed deep reinforcement framework. These mental images facilitate policy learning since short-term subgoals are easy to achieve and reusable. This yields better planning efficiency than other algorithms that learn a policy directly from primitive actions. Finally, the mental images visualize the agent's intentions in a way that human can understand, and this endows our agent's actions with more interpretability. The experimental results and further analysis prove that the agent with the MIND module is superior to its counterparts not only in EQA performance but in many other aspects such as route planning, behavioral interpretation, and the ability to generalize from a few examples.


title: Image Steganography using Gaussian Markov Random Field Model

abstract: Recent advances on adaptive steganography show that the performance of image steganographic communication can be improved by incorporating the non-additive models that capture the dependences among adjacent pixels. In this paper, a Gaussian Markov Random Field model (GMRF) with four-element cross neighborhood is proposed to characterize the interactions among local elements of cover images, and the problem of secure image steganography is formulated as the one of minimization of KL-divergence in terms of a series of low-dimensional clique structures associated with GMRF by taking advantages of the conditional independence of GMRF. The adoption of the proposed GMRF tessellates the cover image into two disjoint subimages, and an alternating iterative optimization scheme is developed to effectively embed the given payload while minimizing the total KL-divergence between cover and stego, i.e., the statistical detectability. Experimental results demonstrate that the proposed GMRF outperforms the prior arts of model based schemes, e.g., MiPOD, and rivals the state-of-the-art HiLL for practical steganography, where the selection channel knowledges are unavailable to steganalyzers.


title: Characterizing the mesh size of polymer solutions via the pore size distribution

abstract: In order to characterize the geometrical mesh size $\xi$, we simulate a solution of coarse-grained polymers with densities ranging from the dilute to the concentrated regime and for different chain lengths. Conventional ways to estimate $\xi$ rely either on scaling assumptions which give $\xi$ only up to an unknown multiplicative factor, or on measurements of the monomer density fluctuation correlation length $\xi_c$. We determine $\xi_c$ from the monomer structure factor and from the radial distribution function, and find that the identification $\xi=\xi_c$ is not justified outside of the semidilute regime. In order to better characterize $\xi$, we compute the pore size distribution (PSD) following two different definitions, one by Torquato et al. (Ref.1) and one by Gubbins et al. (Ref.2). We show that the mean values of the two distributions, $\langle r \rangle_T$ and $\langle r \rangle_G$, both display the behavior predicted for $\xi$ by scaling theory, and argue that $\xi$ can be identified with either one of these quantities. This identification allows to interpret the PSD as the distribution of mesh sizes, a quantity which conventional methods cannot access. Finally, we show that it is possible to map a polymer solution on a system of hard or overlapping spheres, for which Torquato's PSD can be computed analytically and reproduces accurately the PSD of the solution. We give an expression that allows $\langle r \rangle_T$ to be estimated with great accuracy in the semidilute regime by knowing only the radius of gyration and the density of the polymers.


title: A non-degenerate exchange move always produces infinitely many non-conjugate braids

abstract: We show that if a link $L$ has a closed $n$-braid representative admitting non-degenerate exchange move, an exchange move that does not obviously preserve the conjugacy class, $L$ has infinitely many non-conjugate closed $n$-braid representatives.


title: Robust UOWC systems against bubble-induced impairments via transmit/receive diversities

abstract: We systematically investigate the bubble-induced performance degradation for underwater wireless optical communication (UOWC) with different bubble sizes and positions. By using different transmit and receive diversities, we investigate the effectiveness of transmit/receive diversity on the mitigation of the bubble-induced impairment to the UOWC link. With the help of a 2 by 2 MIMO using repetition coding (RC) and maximum ratio combining (MRC), a robust 780-Mbit/s UOWC transmission is achieved. The corresponding outage probability can be significantly reduced from 34.6% for the system without diversity to less than 1%.


title: First detection of $A$--$X$ (0,0) bands of interstellar C$_2$ and CN

abstract: We report the first detection of C$_2$ $A^1\Pi_u$--$X^1\Sigma_g^+$ (0,0) and CN $A^2\Pi_u$--$X^2\Sigma^+$ (0,0) absorption bands in the interstellar medium. The detection was made using the near-infrared (0.91--1.35 $\mu$m) high-resolution ($R=20,000$ and 68,000) spectra of Cygnus OB2 No.\,12 collected with the WINERED spectrograph mounted on the 1.3 m Araki telescope. The $A$--$X$ (1,0) bands of C$_2$ and CN were detected simultaneously. These near-infrared bands have larger oscillator strengths, compared with the $A$--$X$ (2,0) bands of C$_2$ and CN in the optical. In the spectrum of the C$_2$ (0,0) band with $R=68,000$, three velocity components in the line of sight could be resolved and the lines were detected up to high rotational levels ($J''\sim20$). By analyzing the rotational distribution of C$_2$, we could estimate the kinetic temperature and gas density of the clouds with high accuracy. Furthermore, we marginally detected weak lines of $^{12}$C$^{13}$C for the first time in the interstellar medium. Assuming that the rotational distribution and the oscillator strengths of the relevant transitions of $^{12}$C$_2$ and $^{12}$C$^{13}$C are the same, the carbon isotope ratio was estimated to be $^{12}\text{C}/^{13}\text{C}=50$--100, which is consistent with the ratio in the local interstellar medium. We also calculated the oscillator strength ratio of the C$_2$ (0,0) and (1,0) bands from the observed band strengths. Unfortunately, our result could not discern theoretical and experimental results because of the uncertainties. High-resolution data to resolve the velocity components will be necessary for both bands in order to put stronger constraints on the oscillator strength ratios.


title: Antioxidant capacity is repeatable across years but does not consistently correlate with a marker of peroxidation in a free-living passerine bird

abstract: Oxidative stress occurs when reactive oxygen species (ROS) exceed antioxidant defences, which can have deleterious effects on cell function, health and survival. Therefore, organisms are expected to finely regulate pro-oxidant and antioxidant processes. ROS are mainly produced through aerobic metabolism and vary in response to changes in energetic requirements, whereas antioxidants may be enhanced, depleted or show no changes in response to changes in ROS levels. We investigated the repeatability, within-individual variation and correlation across different conditions of two plasmatic markers of the oxidative balance in 1108 samples from 635 free-living adult collared flycatchers (Ficedula albicollis). We sought to manipulate energy constraints by increasing wing load in 2012 and 2013 and by providing additional food in 2014. We then tested the relative importance of within- and between-individual variation on reactive oxygen metabolites (ROMs), a marker of lipid and protein peroxidation, and on non-enzymatic antioxidant defences (OXY test). We also investigated whether the experimental treatments modified the correlation between markers. Antioxidant defences were repeatable (range of repeatability estimates = 0.128--0.581), whereas ROMs were not (0--0.061). Antioxidants varied neither between incubation and nestling feeding nor between sexes. ROMs increased from incubation to nestling feeding in females and were higher in females than males. Antioxidant defences and ROM concentration were globally positively correlated, but the correlation varied between experimental conditions and between years. Hence, the management of oxidative balance in wild animals appears flexible under variable environmental conditions, an observation which should be confirmed over a wider range of markers.


title: The Impact of Developer Experience in Using Java Cryptography

abstract: Previous research has shown that crypto APIs are hard for developers to understand and difficult for them to use. They consequently rely on unvalidated boilerplate code from online resources where security vulnerabilities are common. We analyzed 2,324 open-source Java projects that rely on Java Cryptography Architecture (JCA) to understand how crypto APIs are used in practice, and what factors account for the performance of developers in using these APIs. We found that, in general, the experience of developers in using JCA does not correlate with their performance. In particular, none of the factors such as the number or frequency of committed lines of code, the number of JCA APIs developers use, or the number of projects they are involved in correlate with developer performance in this domain. We call for qualitative studies to shed light on the reasons underlying the success of developers who are expert in using cryptography. Also, detailed investigation at API level is necessary to further clarify a developer obstacles in this domain.


title: Efficient and accurate description of adsorption in zeolites

abstract: Accurate theoretical methods are needed to correctly describe adsorption on solid surfaces or in porous materials. The random phase approximation with singles corrections scheme (RPA) and the second order M{\o}ller-Plesset perturbation theory (MP2) are two schemes which offer high accuracy at affordable computational cost. However, there is little knowledge about their applicability and reliability for different adsorbates and surfaces. Here we calculate adsorption energies of seven different molecules in zeolite chabazite to show that RPA with singles corrections is superior to MP2 not only in terms of accuracy but also in terms of computer time. Therefore RPA with singles is suitable scheme for obtaining highly accurate adsorption energies in porous materials and similar systems.


title: Pixel2Mesh++: Multi-View 3D Mesh Generation via Deformation

abstract: We study the problem of shape generation in 3D mesh representation from a few color images with known camera poses. While many previous works learn to hallucinate the shape directly from priors, we resort to further improving the shape quality by leveraging cross-view information with a graph convolutional network. Instead of building a direct mapping function from images to 3D shape, our model learns to predict series of deformations to improve a coarse shape iteratively. Inspired by traditional multiple view geometry methods, our network samples nearby area around the initial mesh's vertex locations and reasons an optimal deformation using perceptual feature statistics built from multiple input images. Extensive experiments show that our model produces accurate 3D shape that are not only visually plausible from the input perspectives, but also well aligned to arbitrary viewpoints. With the help of physically driven architecture, our model also exhibits generalization capability across different semantic categories, number of input images, and quality of mesh initialization.


title: Streaming Potential in Bio-mimetic Microvessels Mediated by Capillary Glycocalyx

abstract: Implantable medical devices and biosensors are pivotal in revolutionizing the field of medical technology by opening new dimensions in the field of disease detection and cure. These devices need to harness a biocompatible and physiologically sustainable safe power source instead of relying on external stimuli, overcoming the constraints on their applicability in-vivo. Here, by appealing to the interplay of electromechanics and hydrodynamics in physiologically relevant microvessels, we bring out the role of charged Endothelial Glycocalyx layer (EGL) towards establishing a streaming potential across physiological fluidic conduits. We account for the complex rheology of blood-mimicking fluid by appealing to Newtonian fluid model representing the blood plasma and a viscoelastic fluid model representing the whole blood. We model the EGL as a poroelastic layer with volumetric charge distribution. Our results reveal that for physiologically relevant microflows, the streaming potential induced is typically of the order of 0.1 V/mm, which may turn out to be substantial towards energizing biosensors and implantable medical devices whose power requirements are typically in the range of micro to milli Watt. We also bring out the specific implications of the relevant physiological parameters towards establishment of the streaming potential, with a vision of augmenting the same within plausible functional limits. We further unveil that the dependence of streaming potential on EGL thickness might be one of the key aspects in unlocking the mystery behind the angiogenesis pattern. Our results may open up novel bio-sensing and actuating possibilities in medical diagnostics as well as may provide a possible alternative regarding the development of physiologically safe and biocompatible power sources within the human body.


title: Black Hole Binary Dynamics from the Double Copy and Effective Theory

abstract: We describe a systematic framework for computing the conservative potential of a compact binary system using modern tools from scattering amplitudes and effective field theory. Our approach combines methods for integration and matching adapted from effective field theory, generalized unitarity, and the double-copy construction, which relates gravity integrands to simpler gauge-theory expressions. With these methods we derive the third post-Minkowskian correction to the conservative two-body Hamiltonian for spinless black holes. We describe in some detail various checks of our integration methods and the resulting Hamiltonian.


title: Open Ising Model Perturbed by Classical Colored Noises

abstract: We investigate the non-Markovian dynamics of an open Ising model simulated by a superconducting circuit. The quantum many-body system is weakly coupled to a white, pink- or blue-colored environment. The relaxation of the system in the strong inter-qubit interaction regime shows a metastable behaviour. In comparison with the dissipative system in the Markovian limit, the negative memory of the blue-colored noise weakens the system's relaxation. However, for the pink-colored noise the relaxation rate of the system is enhanced due to the positive memory effect. The understanding of quantum many-body systems responding to different colored noise fields is necessary for designing the environment of superconducting qubits in a large scale quantum processor.


title: Extreme Low-Frequency Ultrathin Acoustic Absorbing Metasurface

abstract: We introduce a multi-coiled acoustic metasurface providing a quasi-perfect absorption (reaching 99.99% in experiments) at extremely low-frequency of 50 Hz, and simultaneously featuring an ultrathin thickness down to {\lambda}/527 (1.3 cm). In contrast to the state of the art, this original conceived multi-coiled metasurface offers additional degrees of freedom capable to tune the acoustic impedance effectively without increasing the total thickness. We provide analytical derivation, numerical simulation and experimental demonstrations for this unique absorber concept, and discuss its physical mechanism which breaks the quarter-wavelength resonator theory. Furthermore, based on the same conceptual approach, we propose a broadband lowfrequency metasurface absorber by coupling unit cells exhibiting different properties.


title: Sometime a Paradox, Now Proof: Non-First-Order-izability of Yablo's Paradox

abstract: Paradoxes are interesting puzzles in philosophy and mathematics, and they could be even more fascinating, when turned into proofs and theorems. For example, Liar's paradox can be translated into a propositional tautology, and Barber's paradox turns into a first-order tautology. Russell's paradox, which collapsed Frege's foundational framework, is now a classical theorem in set theory, implying that no set of all sets can exist. Paradoxes can be used in proofs of some other theorems; Liar's paradox has been used in the classical proof of Tarski's theorem on the undefinability of truth in sufficiently rich languages. This paradox (and also Richard's paradox) appears implicitly in G\"{o}del's proof of his celebrated first incompleteness theorem. In this paper, we study Yablo's paradox from the viewpoint of first and second order logics. We prove that a formalization of Yablo's paradox (which is second-order in nature) is non-first-order-izable in the sense of George Boolos (1984).


title: Introduction to nonlinear discrete systems: Theory and modeling

abstract: An analysis of discrete systems is important for understanding of various physical processes, such as excitations in crystal lattices and molecular chains, the light propagation in waveguide arrays, and the dynamics of Bose-condensate droplets. In basic physical courses, usually linear properties of discrete systems are studied. In this paper we propose a pedagogical introduction to the theory of nonlinear distributed systems. The main ideas and methods are illustrated using a universal model for different physical applications, the discrete nonlinear Schr\"{o}dinger (DNLS) equation. We consider solutions of the DNLS equation and analyze their linear stability. The notions of nonlinear plane waves, modulational instability, discrete solitons and the anti-continuum limit are introduced and thoroughly discussed. A Mathematica program is provided for better comprehension of results and further exploration. Also, few problems, extending the topic of the paper, for independent solution are given.


title: Probing of violation of Lorentz invariance by ultracold neutrons in the Standard Model Extension

abstract: We analyze a dynamics of ultracold neutrons (UCNs) caused by interactions violating Lorentz invariance within the Standard Model Extension (SME) (Colladay and Kostelecky, Phys. Rev. D55, 6760 (1997) and Kostelecky, Phys. Rev. D69, 105009 (2004)). We use the effective non-relativistic potential for interactions violating Lorentz invariance derived by Kostelecky and Lane (J. Math. Phys. 40, 6245 (1999)) and calculate contributions of these interactions to the transition frequencies of transitions between quantum gravitational states of UCNs bouncing in the gravitational field of the Earth. Using the experimental sensitivity of qBounce experiments we make some estimates of upper bounds of parameters of Lorentz invariance violation in the neutron sector of the SME which can serve as a theoretical basis for an experimental analysis. We show that an experimental analysis of transition frequencies of transitions between quantum gravitational states of unpolarized and polarized UCNs should allow to place some new constraints in comparison to the results adduced by Kostelecky and Russell in Rev. Mod. Phys. 83, 11 (2011); edition 2019, arXiv: 0801.0287v12 [hep-ph].


title: GAN Path Finder: Preliminary results

abstract: 2D path planning in static environment is a well-known problem and one of the common ways to solve it is to 1) represent the environment as a grid and 2) perform a heuristic search for a path on it. At the same time 2D grid resembles much a digital image, thus an appealing idea comes to being -- to treat the problem as an image generation task and to solve it utilizing the recent advances in deep learning. In this work we make an attempt to apply a generative neural network as a path finder and report preliminary results, convincing enough to claim that this direction of research is worth further exploration.


title: Incorporating Structural Stigma into Network Analysis

abstract: A rich literature has explored the modeling of homophily and other forms of nonuniform mixing associated with individual-level covariates within the exponential family random graph (ERGM) framework. Such differential mixing does not fully explain phenomena such as stigma, however, which involve the active maintenance of social boundaries by ostracism of persons with out-group ties. Here, we introduce a new statistic that allows for such effects to be captured, making it possible to probe for the potential presence of boundary maintenance above and beyond simple differences in nomination rates. We demonstrate this statistic in the context of gender segregation in a school classroom.


title: On the Relationship Between Coupling and Refactoring: An Empirical Viewpoint

abstract: [Background] Refactoring has matured over the past twenty years to become part of a developer's toolkit. However, many fundamental research questions still remain largely unexplored. [Aim] The goal of this paper is to investigate the highest and lowest quartile of refactoring-based data using two coupling metrics - the Coupling between Objects metric and the more recent Conceptual Coupling between Classes metric to answer this question. Can refactoring trends and patterns be identified based on the level of class coupling? [Method] In this paper, we analyze over six thousand refactoring operations drawn from releases of three open-source systems to address one such question. [Results] Results showed no meaningful difference in the types of refactoring applied across either lower or upper quartile of coupling for both metrics; refactorings usually associated with coupling removal were actually more numerous in the lower quartile in some cases. A lack of inheritance-related refactorings across all systems was also noted. [Conclusions] The emerging message (and a perplexing one) is that developers seem to be largely indifferent to classes with high coupling when it comes to refactoring types - they treat classes with relatively low coupling in almost the same way.


title: An Empirical Study on Technical Debt in a Finnish SME

abstract: Objective. In this work, we report the experience of a Finnish SME in managing Technical Debt (TD), investigating the most common types of TD they faced in the past, their causes, and their effects. Method. We set up a focus group in the case-company, involving different roles. Results. The results showed that the most significant TD in the company stems from disagreements with the supplier and lack of test automation. Specification and test TD are the most significant types of TD. Budget and time constraints were identified as the most important root causes of TD. Conclusion. TD occurs when time or budget is limited or the amount of work are not understood properly. However, not all postponed activities generated "debt". Sometimes the accumulation of TD helped meet deadlines without a major impact, while in other cases the cost for repaying the TD was much higher than the benefits. From this study, we learned that learning, careful estimations, and continuous improvement could be good strategies to mitigate TD. These strategies include iterative validation with customers, efficient communication with stakeholders, meta-cognition in estimations, and value orientation in budgeting and scheduling.


title: Optimal Scheduling for Discounted Age Penalty Minimization in Multi-Loop Networked Control

abstract: Age-of-information (AoI) is a metric quantifying information freshness at the receiver. Since AoI combines packet generation frequency, packet loss, and delay into a single metric, it has received a lot of research attention as an interface between communication network and application. In this work, we apply AoI to the problem of wireless scheduling for multi-loop networked control systems (NCS), i.e., feedback control loops closed over a shared wireless network. We model the scheduling problem as a Markov decision process (MDP) with AoI as its observable states and derive a relation of control system error and AoI. We further derive a stationary scheduling policy to minimize control error over an infinite horizon. We show that our scheduler outperforms the state-of-the-art scheduling policies for NCS. To the best of our knowledge, this is the first work proposing an AoI-based wireless scheduling policy that minimizes the control error over an infinite horizon for multi-loop NCS.


title: Part Segmentation for Highly Accurate Deformable Tracking in Occlusions via Fully Convolutional Neural Networks

abstract: Successfully tracking the human body is an important perceptual challenge for robots that must work around people. Existing methods fall into two broad categories: geometric tracking and direct pose estimation using machine learning. While recent work has shown direct estimation techniques can be quite powerful, geometric tracking methods using point clouds can provide a very high level of 3D accuracy which is necessary for many robotic applications. However these approaches can have difficulty in clutter when large portions of the subject are occluded. To overcome this limitation, we propose a solution based on fully convolutional neural networks (FCN). We develop an optimized Fast-FCN network architecture for our application which allows us to filter observed point clouds and improve tracking accuracy while maintaining interactive frame rates. We also show that this model can be trained with a limited number of examples and almost no manual labelling by using an existing geometric tracker and data augmentation to automatically generate segmentation maps. We demonstrate the accuracy of our full system by comparing it against an existing geometric tracker, and show significant improvement in these challenging scenarios.


title: A Fast Content-Based Image Retrieval Method Using Deep Visual Features

abstract: Fast and scalable Content-Based Image Retrieval using visual features is required for document analysis, Medical image analysis, etc. in the present age. Convolutional Neural Network (CNN) activations as features achieved their outstanding performance in this area. Deep Convolutional representations using the softmax function in the output layer are also ones among visual features. However, almost all the image retrieval systems hold their index of visual features on main memory in order to high responsiveness, limiting their applicability for big data applications. In this paper, we propose a fast calculation method of cosine similarity with L2 norm indexed in advance on Elasticsearch. We evaluate our approach with ImageNet Dataset and VGG-16 pre-trained model. The evaluation results show the effectiveness and efficiency of our proposed method.


title: Fully Automatic Binary Glioma Grading based on Pre-Therapy MRI using 3D Convolutional Neural Networks

abstract: The optimal treatment strategy of newly diagnosed glioma is strongly influenced by tumour malignancy. Manual non-invasive grading based on MRI is not always accurate and biopsies to verify diagnosis negatively impact overall survival. In this paper, we propose a fully automatic 3D computer-aided diagnosis (CAD) system to non-invasively differentiate high-grade glioblastoma from lower-grade glioma. The approach consists of an automatic segmentation step to extract the tumour ROI followed by classification using a 3D convolutional neural network. Segmentation was performed using a 3D U-Net achieving a dice score of 88.53% which matches top performing algorithms in the BraTS 2018 challenge. The classification network was trained and evaluated on a large heterogeneous dataset of 549 patients reaching an accuracy of 91%. Additionally, the CAD system was evaluated on data from the Ghent University Hospital and achieved an accuracy of 92% which shows that the algorithm is robust to data from different centres.


title: Observation of the resonance frequencies of a stable torus of fluid

abstract: We report the first quantitative measurements of the resonance frequencies of a torus of fluid confined in a horizontal Hele-Shaw cell. By using the unwetting property of a metal liquid, we are able to generate a stable torus of fluid with an arbitrary aspect ratio. When subjected to vibrations, the torus displays azimuthal patterns at its outer periphery. These lobes oscillate radially, and their number n depends on the forcing frequency. We report the instability ''tongues'' of the patterns up to n = 25. These resonance frequencies are well explained by adapting to a fluid torus the usual drop model of Lord Rayleigh. This approach could be applied to the modeling of large-scale structures arisen transiently in vortex rings in various domains.


title: Mass composition of cosmic rays above 0.1 EeV by the Yakutsk array data

abstract: The paper presents the results of the longitudinal development of extensive air showers (X$_{max}$) of ultra-high energies and mass composition of cosmic rays. The measurements of X$_{max}$ are based on data from observations of the Cherenkov radiation at the Yakutsk array for the period 1974-2014. The cascade curves of individual showers and the depth of maximum X$_{max}$ were reconstructed over the energy range 10$^{16}$-5.7$\cdot$10$^{19}$ eV. It is shown that the displacement rate of the parameter dX$_{max}$ / dE in the atmosphere is nonlinear and depends on the energy. Such a feature indicates a change in mass composition, which is confirmed by fluctuations of X$_{max}$ in this energy region. The composition of cosmic rays was determined by interpolation using the QGSJetII-04 model.


title: The 3n+1 problem: a partition of interest

abstract: A mapping conjugate to the Collatz mapping seems to imply that $\N=\{1,2,3,\ldots\}$ is partitioned in a trivial loop $\{1\}$ and `strings' that are ordered subsets of $\{\N \setminus 1\}$ that run from an element of $\{2+3\0\}$ to an element of $\{3+4\0\}$ ($\0=0 \cup \N$). In particular, this means that all trajectories except for the trivial loop go through an element of $\{3+4\0\}$ ($\{5+8\0\}$ for the original mapping). I give reasons for this conjecture. Next, I note that the 3n+1 numbers and the 3n+3 numbers are the only numbers from the generalization $3n+p, p \in \{\ldots,-3,-1,1,3,\ldots\}$ for which such a partition seems to exist. Suspiciously, these are also the only members for which the conjecture (reduction to the trivial loop) seems to hold.


title: Dynamics and connectivity of an extended arch filament system

abstract: In this study, we analyzed a filament system, which expanded between moving magnetic features (MMFs) of a decaying sunspot and opposite flux outside of the active region from the nearby quiet-Sun network. This configuration deviated from a classical arch filament system (AFS), which typically connects two pores in an emerging flux region. Thus, we called this system an extended AFS. We contrasted classical and extended AFSs with an emphasis on the complex magnetic structure of the latter. Furthermore, we examined the physical properties of the extended AFS and described its dynamics and connectivity. At the southern footpoint, we measured that the flux decreases over time. We find strong downflow velocities at the footpoints of the extended AFS, which increase in a time period of 30 minutes. The velocities are asymmetric at both footpoints with higher velocities at the southern footpoint. The extended AFS was observed with two instruments at the Dunn Solar Telescope (DST). The Rapid Oscillations in the Solar Atmosphere (ROSA) imager provided images in three different wavelength regions. The Interferometric Bidimensional Spectropolarimeter (IBIS) provided spectroscopic H$\alpha$ data and spectropolarimetric data that was obtained in the near-infrared Ca II 8542 \AA\ line. We used He II 304 \AA\ extreme ultraviolet images of the Atmospheric Imaging Assembly (AIA) and LOS magnetograms of the Helioseismic and Magnetic Imager (HMI) on board the Solar Dynamics Observatory (SDO) as context data.


title: Observation of the algebraic localization-delocalization transition in a 1D disordered potential with a bias force

abstract: In a one-dimensional (1D) disordered potential, quantum interferences leading to Anderson lo-calization are ubiquitous, such that all wave-functions are exponentially localized. Moreover, no phase transition toward delocalization is expected in 1D. This behavior is strongly modified in the presence of a bias force. We experimentally study this case, launching a non-interacting 39 K Bose-Einstein condensate in a 1D disordered potential induced by a far-off-resonance laser speckle, while controlling a bias force. In agreement with theoretical predictions, we observe a transition between algebraic localization and delocalization as a function of our control parameter that is the relative strength of the disorder against the bias force. We also demonstrate that the initial velocity of the wave-packet only plays a role through an effective disorder strength due to the correlation of the disorder. Adding a bias force is a quite natural way to probe the transport properties of quantum systems, a subject of broad interest that can be in particular addressed with atomic quantum gases thanks to their high degree of control and versatility [1]. For example, Bloch oscillations has been measured through the addition of a constant force to atoms in periodic potential induced by an optical lattice [2]. A force applied to a harmonic trap is equivalent to a trap displacement. The response to such a displacement permits to reveal the fluid or insulating behavior of atomic systems. In 1D interacting Bose gases, the pinning transition by an optical lattice [3] or the insulating transition in quasi-disordered optical lattice [4, 5] have been studied in this manner. More recently, transport in quantum gases is also studied in junction-type setup more analogous to condensed-matter systems: two reservoirs with different chemical potentials are connected through a constriction. For example, in a gas of fermions, the quantization of conductance through a quantum point contact [6] and the superfluid to normal transition in a disordered thin film have been observed [7]. In our work, we focus on the transport of non-interacting particles in disordered media. Without a bias force, quantum interferences between multiple paths lead to Anderson localization [8] whose signature is an exponential decay in space of single particle wave-function [9]. This phenomenon is ubiquitous in wave/quantum physics and it has been observed in many physical contexts [10] including condensed-matter [11] and ultra-cold atoms [12-14]. One-dimensional truly disordered systems are always localized [15], contrary to the 3D case where a phase transition between localized and extended single particle wave-functions takes place as a function of the disorder strength [16-18]. The localization properties of 1D disordered systems are modified in the presence of a bias force. Theoretical studies predict a transition from algebraic localization to delocalization as a function of a single control non-dimensional parameter $\alpha$ which is the ratio of the force to the disorder strength [19, 20]. Physically, $\alpha$ is the relative energy gain $\Delta$E/E of a particle of energy E when moving over a localization length. Interestingly, in a 1D white noise disorder, this quantity is independent of E as the localization length is proportional to E. If $\alpha$ is small, the force does not considerably change the localization behavior of the particle while for large $\alpha$ its dynamics is severely affected leading to delocalization. This localization-delocalization transition is predicted in the infinite time limit for white noise disorder [20]. In a correlated disorder, as the one produced from a far-off-resonance laser speckle [21], the situation is more complicated. Speckles have no Fourier component beyond a spatial frequency 2k c. As a consequence, back-scattering and localization are not expected in the framework of Born approximation for atoms with wavevectors k > k c [12, 22]. Since localized wave-functions always have a small fraction at long distance corresponding to large energies and momenta in the presence of a bias force, we thus expect correlation-induced delocalization at infinite time. However, signatures of the algebraic localization-delocalization transition are predicted to be observable at transient times [20]. In this paper, we report on the observation of the algebraic localization-delocalization transition with cold-atoms propagating in a one dimensional disordered potential in the presence of a controlled bias force. We experimentally show that the non-dimensional parameter $\alpha$ is the only relevant parameter to describe the transition. We notice that the initial velocity of the quantum wave packet only plays a role through the correlation of the disordered potential, showing that the transition is in-trinsically energy independent. In the localized regime, we demonstrate an algebraic decay of the density and measure the corresponding decay exponent as a function of $\alpha$. At large disorder strength, a saturation of the expo


title: Free surface lump wave dynamics of a saturated superfluid Helium film with nontrivial boundary condition at the substrate surface

abstract: In this article, the free surface wave dynamics of a saturated superfluid Helium film is considered under the condition that there exists a very weak downward localized superfluid flow into the substrate. For saturated film, the effect of surface tension plays a decisive role in the surface wave evolution dynamics of the system. The free surface evolution is shown to be governed by forced Kadomtsev Petviashvili-I equation, with the forcing function depending on downward superfluid velocity at the substrate surface. Exact as well as perturbative free surface lump wave solutions of the (2+1) dimensional nonlinear evolution equation are obtained and the effect of the leakage velocity function on the lump wave solutions are shown.


title: The Quasi Curvature-Dimension Condition with applications to sub-Riemannian manifolds

abstract: We obtain the best known quantitative estimates for the $L^p$-Poincar\'e and log-Sobolev inequalities on domains in various sub-Riemannian manifolds, including ideal Carnot groups and in particular ideal generalized H-type Carnot groups and the Heisenberg groups, corank $1$ Carnot groups, the Grushin plane, and various H-type foliations, Sasakian and $3$-Sasakian manifolds. Moreover, this constitutes the first time that a quantitative estimate independent of the dimension is established on these spaces. For instance, the Li-Yau / Zhong-Yang spectral-gap estimate holds on all Heisenberg groups of arbitrary dimension up to a factor of $4$. We achieve this by introducing a quasi-convex relaxation of the Lott-Sturm-Villani $\mathsf{CD}(K,N)$ condition we call the Quasi Curvature-Dimension condition $\mathsf{QCD}(Q,K,N)$. Our motivation stems from a recent interpolation inequality along Wasserstein geodesics in the ideal sub-Riemannian setting due to Barilari and Rizzi. We show that on an ideal sub-Riemannian manifold of dimension $n$, the Measure Contraction Property $\mathsf{MCP}(K,N)$ implies $\mathsf{QCD}(Q,K,N)$ with $Q = 2^{N-n} \geq 1$, thereby verifying the latter property on the aforementioned ideal spaces; a result of Balogh-Krist\'aly-Sipos is used instead to handle non-ideal corank $1$ Carnot groups. By extending the localization paradigm to completely general interpolation inequalities, we reduce the study of various analytic and geometric inequalities on $\mathsf{QCD}$ spaces to the one-dimensional case. Consequently, we deduce that while (strictly) sub-Riemannian manifolds do not satisfy any type of $\mathsf{CD}$ condition, many of them satisfy numerous functional inequalities with \emph{exactly the same} quantitative dependence (up to a factor of $Q$) as their $\mathsf{CD}$ counterparts.


title: The Pantelides algorithm for delay differential-algebraic equations

abstract: We present a graph-theoretical approach that can detect which equations of a delay differential-algebraic equation (DDAE) need to be differentiated or shifted to construct a solution of the DDAE. Our approach exploits the observation that differentiation and shifting are very similar from a structural point of view, which allows us to generalize the Pantelides algorithm for differential-algebraic equations to the DDAE setting. The primary tool for the extension is the introduction of equivalence classes in the graph of the DDAE, which also allows us to derive a necessary and sufficient criterion for the termination of the new algorithm.


title: On a lattice generalisation of the logarithm and a deformation of the Dedekind eta function

abstract: We consider a deformation $E_{L,\Lambda}^{(m)}(it)$ of the Dedekind eta function depending on two $d$-dimensional simple lattices $(L,\Lambda)$ and two parameters $(m,t)\in (0,\infty)$, initially proposed by Terry Gannon. We show that the minimizers of the lattice theta function are the maximizers of $E_{L,\Lambda}^{(m)}(it)$ in the space of lattices with fixed density. The proof is based on the study of a lattice generalization of the logarithm, called lattice-logarithm, also defined by Terry Gannon. We also prove that the natural logarithm is characterized by a variational problem over a class of one-dimensional lattice-logarithm.


title: Scaling solutions in quintessential inflation

abstract: In quintessence scalar field theories, the presence of scaling solutions are important during the radiation and matter epoch due to having their attractor character. Usually, it is assumed that the initial conditions of the quintessence field are in the basin of attraction of the scaling solutions. However, in order to reproduce the current cosmic acceleration, at late times, a mechanism to exit this behavior is needed. In the present work we show that the quintessential inflation models could be an excellent candidate to exhibit the above behavior. However, the crucial point of quintessential inflation is that the initial conditions has to be taken during the inflation, and at the beginning of the radiation era, the scalar field does not belong to the basin of attraction of the scaling solution. This means that, in the case where quintessence is depicted via exponential potentials, only a single exponential in the tail of the { quintessential inflation} potential is enough to depict the evolution of our universe.


title: Adversarial Self-Defense for Cycle-Consistent GANs

abstract: The goal of unsupervised image-to-image translation is to map images from one domain to another without the ground truth correspondence between the two domains. State-of-art methods learn the correspondence using large numbers of unpaired examples from both domains and are based on generative adversarial networks. In order to preserve the semantics of the input image, the adversarial objective is usually combined with a cycle-consistency loss that penalizes incorrect reconstruction of the input image from the translated one. However, if the target mapping is many-to-one, e.g. aerial photos to maps, such a restriction forces the generator to hide information in low-amplitude structured noise that is undetectable by human eye or by the discriminator. In this paper, we show how such self-attacking behavior of unsupervised translation methods affects their performance and provide two defense techniques. We perform a quantitative evaluation of the proposed techniques and show that making the translation model more robust to the self-adversarial attack increases its generation quality and reconstruction reliability and makes the model less sensitive to low-amplitude perturbations.


title: Jet charge in high energy nuclear collisions

abstract: Averaged jet charge characterizes the electric charge for the initiating parton, and provides a powerfull tool to distinguish quark jets from gluon jets. In this paper, we give the first prediction for the medium modification of averaged jet charge in heavy-ion collision at the LHC, where jet productions in p+p collisions are simulated by PYTHIA6, and parton energy loss in QGP are calculated with two Monte Carlo models of jet quenching: PYQUEN and JEWEL. We found that the distribution of averaged jet charge is significantly suppressed by initial state isospin effects due to the participants of neutrons with zero electric charge during nuclear collisions. Considerable enhancement of averaged jet charge in central Pb+Pb collisions relative to peripheral collisions is observed, since jet quenching effect is more pronounced in central collisions. Distinct feature of averaged jet charge between quark and gluon jets, together with the sensitivity of medium modifications on jet charge to flavor dependence of parton energy loss, could be very useful to discriminate the energy loss pattern between quark and gluon jets in heavy-ion collisions.


title: Beyond English-Only Reading Comprehension: Experiments in Zero-Shot Multilingual Transfer for Bulgarian

abstract: Recently, reading comprehension models achieved near-human performance on large-scale datasets such as SQuAD, CoQA, MS Macro, RACE, etc. This is largely due to the release of pre-trained contextualized representations such as BERT and ELMo, which can be fine-tuned for the target task. Despite those advances and the creation of more challenging datasets, most of the work is still done for English. Here, we study the effectiveness of multilingual BERT fine-tuned on large-scale English datasets for reading comprehension (e.g., for RACE), and we apply it to Bulgarian multiple-choice reading comprehension. We propose a new dataset containing 2,221 questions from matriculation exams for twelfth grade in various subjects -history, biology, geography and philosophy-, and 412 additional questions from online quizzes in history. While the quiz authors gave no relevant context, we incorporate knowledge from Wikipedia, retrieving documents matching the combination of question + each answer option. Moreover, we experiment with different indexing and pre-training strategies. The evaluation results show accuracy of 42.23%, which is well above the baseline of 24.89%.


title: Long time dynamics for interacting oscillators on graphs

abstract: The stochastic Kuramoto model defined on a sequence of graphs is analyzed: the emphasis is posed on the relationship between the mean field limit, the connectivity of the underlying graph and the long time behavior. We give an explicit deterministic condition on the sequence of graphs such that, for any finite time and any initial condition, even dependent on the network, the empirical measure of the system stays close to the solution of the McKean-Vlasov equation associated to the classical mean field limit. Under this condition, we study the long time behavior in the subcritical and in the supercritical regime: in both regimes, the empirical measure stays close to the (possibly degenerate) manifold of stable stationary solutions, up to times which can diverge as fast as the exponential of the size of the system, before Large Deviation phenomena take over. The condition on the sequence of graphs is derived by means of Grothendieck's Inequality and expressed through a concentration in $\ell\_{\infty}\to \ell\_1$ norm. It is shown to be satisfied by a large class of graphs, random and deterministic, provided that the average number of neighbors per site diverges, as the size of the system tends to infinity.


title: Photon statistics and dynamics of nanolasers subject to intensity feedback

abstract: Using a fully stochastic numerical scheme, we investigate the behaviour of a nanolaser in the low-coherence regime at the transition between spontaneous emission and lasing under the influence of intensity feedback. Studying the input-output curves as well as the second order correlations for different feedback fractions, we obtain an insight on the role played by the fraction of photons reinjected into the cavity. The interpretation of the observation is strengthened through the comparison with the temporal traces of the emitted photons and with the radiofrequency power spectra. The results give insight into the physics of nanolasers as well as validate the use of the second order autocorrelation as a sufficient tool for the interpretation of the dynamics. This confirmation offers a solid basis for the reliance on autocorrelations in experiments studying the effects of feedback in nanodevices.


title: Large angular scale fluctuations of near infrared extragalactic background light based on the IRTS observations

abstract: We measure the spatial fluctuations of the Near-Infrared Extragalactic Background Light (NIREBL) from 2$^{\circ}$ to 20$^{\circ}$ in angular scale at the 1.6 and 2.2 $\mu$m using data obtained with Near-Infrared Spectrometer (NIRS) on board the Infrared Telescope in Space (IRTS). The brightness of the NIREBL is estimated by subtracting foreground components such as zodiacal light, diffuse Galactic light, and integrated star light from the observed sky. The foreground components are estimated using well-established models and archive data. The NIREBL fluctuations for the 1.6 and 2.2 $\mu$m connect well toward the sub-degree scale measurements from previous studies. Overall, the fluctuations show a wide bump with a center at around 1$^{\circ}$ and the power decreases toward larger angular scales with nearly a single power-law spectrum (i.e. \textit{F($\sqrt{l(l+1)C_l/2\pi}$)} $\sim$ $\theta^{-1}$) indicating that the large scale power is dominated by the random spatial distribution of the sources. After examining several known sources, contributors such as normal galaxies, high redshift objects, intra-halo light, and far-IR cosmic background, we conclude that the excess fluctuation at around the 1$^{\circ}$ scale cannot be explained by any of them.


title: 3D Reconstruction of Deformable Revolving Object under Heavy Hand Interaction

abstract: We reconstruct 3D deformable object through time, in the context of a live pottery making process where the crafter molds the object. Because the object suffers from heavy hand interaction, and is being deformed, classical techniques cannot be applied. We use particle energy optimization to estimate the object profile and benefit of the object radial symmetry to increase the robustness of the reconstruction to both occlusion and noise. Our method works with an unconstrained scalable setup with one or more depth sensors. We evaluate on our database (released upon publication) on a per-frame and temporal basis and shows it significantly outperforms state-of-the-art achieving 7.60mm average object reconstruction error. Further ablation studies demonstrate the effectiveness of our method.


title: Recognizing and realizing cactus metrics

abstract: The problem of realizing finite metric spaces in terms of weighted graphs has many applications. For example, the mathematical and computational properties of metrics that can be realized by trees have been well-studied and such research has laid the foundation of the reconstruction of phylogenetic trees from evolutionary distances. However, as trees may be too restrictive to accurately represent real-world data or phenomena, it is important to understand the relationship between more general graphs and distances. In this paper, we introduce a new type of metric called a cactus metric, that is, a metric that can be realized by a cactus graph. We show that, just as with tree metrics, a cactus metric has a unique optimal realization. In addition, we describe an algorithm that can recognize whether or not a metric is a cactus metric and, if so, compute its optimal realization in $O(n^3)$ time, where $n$ is the number of points in the space.


title: Influence of nanostructuring on silicon vacancy center spins in diamond pillars

abstract: Color centers in diamond micro and nano structures are under investigation for a plethora of applications. However, obtaining high quality color centers in small structures is challenging, and little is known about how properties such as spin population lifetimes change during the transition from bulk to micro and nano structures. In this manuscript, we studied various ways to prepare diamond samples containing silicon vacancy centers and measured how population lifetimes of orbital states change in pillars as we varied their dimensions from approximately 1 $\mu$m to 120 nm. We also researched the influence of the properties of the diamond substrate and the implantation and annealing methods on the silicon vacancy inhomogeneous linewidth and orbital lifetime. Our measurements show that nominally identical diamond samples can display significantly distinct inhomogeneous broadening. We observed weak indications that restricted vibrational modes in small structures may extend population lifetimes. However, imperfections in the crystal lattice or surface damage caused by etching reduce population lifetimes, especially in the smallest structures.


title: EdgeMORE: Improving Resource Allocation with Multiple Options from Tenants

abstract: Under the paradigm of Edge Computing (EC), a Network Operator (NO) deploys computational resources at the network edge and let third-party Service Providers (SPs) run on top of them, as tenants. Besides the clear advantages for SPs and final users thanks to the vicinity of computation nodes, a NO aims to allocate edge resources in order to increase its own utility, including bandwidth saving, operational cost reduction, QoE for its users, etc. However, while the number of third-party services competing for edge resources is expected to dramatically grow, the resources deployed cannot increase accordingly, due to physical limitations. Therefore, smart strategies are needed to fully exploit the potential of EC, despite its constrains. To this aim, we propose to leverage service adaptability, a dimension that has mainly been neglected so far: each service can adapt to the amount of resources that the NO has allocated to it, balancing the fraction of service computation performed at the edge and relying on remote servers, e.g., in the Cloud, for the rest. We propose EdgeMORE, a resource allocation strategy in which SPs express their capabilities to adapt to different resource constraints, by declaring the different configurations under which they are able to run, specifying the resources needed and the utility provided to the NO. The NO then chooses the most convenient option per each SP, in order to maximize the total utility. We formalize EdgeMORE as a Integer Linear Program. We show via simulation that EdgeMORE greatly improves EC utility with respect to the standard where no multiple options for running services are allowed.


title: Repair Pipelining for Erasure-Coded Storage: Algorithms and Evaluation

abstract: We propose repair pipelining, a technique that speeds up the repair performance in general erasure-coded storage. By carefully scheduling the repair of failed data in small-size units across storage nodes in a pipelined manner, repair pipelining reduces the single-block repair time to approximately the same as the normal read time for a single block in homogeneous environments. We further design different extensions of repair pipelining algorithms for heterogeneous environments and multi-block repair operations. We implement a repair pipelining prototype, called ECPipe, and integrate it as a middleware system into two versions of Hadoop Distributed File System (HDFS) (namely HDFS-RAID and HDFS-3) as well as Quantcast File System (QFS). Experiments on a local testbed and Amazon EC2 show that repair pipelining significantly improves the performance of degraded reads and full-node recovery over existing repair techniques.


title: FLUID: A Common Model for Semantic Structural Graph Summaries Based on Equivalence Relations

abstract: Summarization is a widespread method for handling very large graphs. The task of structural graph summarization is to compute a concise but meaningful synopsis of the key structural information of a graph. As summaries may be used for many different purposes, there is no single concept or model of graph summaries. We have studied existing structural graph summaries for large-scale (semantic) graphs. Despite their different concepts and purposes, we found commonalities in the graph structures they capture. We use these commonalities to provide for the first time a formally defined common model, FLUID (FLexible graph sUmmarIes for Data graphs), that allows us to flexibly define structural graph summaries. FLUID allows graph summaries to be quickly defined, adapted, and compared for different purposes and datasets. To this end, FLUID provides features of structural summarization based on equivalence relations such as distinction of types and properties, direction of edges, bisimulation, and inference. We conduct a detailed complexity analysis of the features provided by FLUID. We show that graph summaries defined with FLUID can be computed in the worst case in time $\mathcal{O}(n^2)$ w.r.t. $n$, the number of edges in the data graph. An empirical analysis of large-scale web graphs with billions of edges indicates a typical running time of $\Theta(n)$. Based on the formal FLUID model, one can quickly define and modify various structural graph summaries from the literature and beyond.


title: Hybrid deep fault detection and isolation: Combining deep neural networks and system performance models

abstract: With the increased availability of condition monitoring data and the increased complexity of explicit system physics-based models, the application of data-driven approaches for fault detection and isolation has recently grown. While detection accuracy of such approaches is generally good, their performance on fault isolation often suffers from the fact that fault conditions affect a large portion of the measured signals thereby masking the fault source. To overcome this limitation and enable a more accurate fault detection, we propose a hybrid approach combining physical performance models with deep learning algorithms. Unobserved process variables are inferred with a physics-based performance model to enhance the input space of a data-driven diagnostics model. To validate the effectiveness of the proposed method, we generate a condition monitoring dataset of an advanced gas turbine during flight conditions under healthy and four faulty operative conditions based on the Commercial Modular Aero-Propulsion System Simulation (C-MAPSS) dynamical model. We evaluate the performance of the proposed method in combination with two different deep learning algorithms: feed forward neural networks and Variational Autoencoders, both of which demonstrate a significant improvement when applied within the hybrid fault detection and diagnostics framework. The proposed method is able to outperform pure data-driven solutions, particularly for systems with a high variability of operating conditions. It provides superior results both for fault detection as well as for fault isolation. For fault isolation, it overcomes the smearing effect that is observed in pure data-driven approaches and enables a precise isolation of the affected signal. We also demonstrate that deep learning algorithms provide a better performance on fault detection compared to the traditional machine learning algorithms.


title: On Complex Gamma-Function Integrals

abstract: It was observed recently that relations between matrix elements of certain operators in the ${\rm SL}(2,\mathbb R)$ spin chain models take the form of multidimensional integrals derived by R.A. Gustafson. The spin magnets with ${\rm SL}(2,\mathbb C)$ symmetry group and ${\rm L}_2(\mathbb C)$ as a local Hilbert space give rise to a new type of $\Gamma$-function integrals. In this work we present a direct calculation of two such integrals. We also analyse properties of these integrals and show that they comprise the star-triangle relations recently discussed in the literature. It is also shown that in the quasi-classical limit these integral identities are reduced to the duality relations for Dotsenko-Fateev integrals.


title: Spin inertia and polarization recovery in quantum dots: Role of pumping strength and resonant spin amplification

abstract: Spin inertia measurements are a novel experimental tool to study long-time spin relaxation processes in semiconductor nanostructures. We develop a theory of the spin inertia effect for resident electrons and holes localized in quantum dots. We consider the spin orientation by short optical pulses with arbitrary pulse area and detuning from the trion resonance. The interaction with an external longitudinal magnetic field and the hyperfine interaction with the nuclear spin bath is considered in both the ground and excited (trion) states of the quantum dots. We analyze how the spin inertia signal depends on the magnetic field (polarization recovery) and on the modulation frequency of the helicity of the pump pulses as well as on their power and detuning. In particular, we elaborate how approaching the saturation limit of the spin polarization influences the measurements. The quantitative description of spin inertia measurements will enable the determination of the parameters of spin dynamics such as the spin relaxation times in the ground and excited states and the parameters of the hyperfine interaction. Finally, we predict the emergence of resonant spin amplification due to the transverse components of the nuclear spin fluctuations, which manifests itself as oscillations of the spin polarization as a function of the longitudinal magnetic field.


title: On integrals of the tronqu\'{e}e solutions and the associated Hamiltonians for the Painlev\'{e} II equation

abstract: We consider a family of tronqu\'{e}e solutions of the Painelv\'{e} II equation \begin{equation*} q''(s)=2q(s)^3+sq(s)-(2\alpha+\frac12), \qquad \alpha > -\frac12, \end{equation*} which is characterized by the Stokes multipliers $$s_1=-e^{-2\alpha \pi i },\quad s_2=\omega, \quad s_3=-e^{2 \alpha \pi i} $$ with $\omega$ being a free parameter. These solutions include the well-known generalized Hastings-McLeod solution as a special case if $\omega=0$. We derive asymptotics of integrals of the tronqu\'{e}e solutions and the associated Hamiltonians over the real axis for $\alpha > -1/2$ and $\omega \geq 0$, with the constant terms evaluated explicitly. Our results agree with those already known in the literature if the parameters $\alpha$ and $\omega$ are chosen to be special values. Some applications of our results in random matrix theory are also discussed.


title: Tensor Decomposition Methods for High-dimensional Hamilton-Jacobi-Bellman Equations

abstract: A tensor decomposition approach for the solution of high-dimensional, fully nonlinear Hamilton-Jacobi-Bellman equations arising in optimal feedback control of nonlinear dynamics is presented. The method combines a tensor train approximation for the value function together with a Newton-like iterative method for the solution of the resulting nonlinear system. The tensor approximation leads to a polynomial scaling with respect to the dimension, partially circumventing the curse of dimensionality. A convergence analysis for the linear-quadratic case is presented. For nonlinear dynamics, the effectiveness of the high-dimensional control synthesis method is assessed in the optimal feedback stabilization of the Allen-Cahn and Fokker-Planck equations with a hundred of variables.


title: Anomalous high-temperature superconductivity in YH$_6$

abstract: Pressure-stabilized hydrides are a new rapidly growing class of high-temperature superconductors which is believed to be described within the conventional phonon-mediated mechanism of coupling. Here we report the synthesis of yttrium hexahydride Im3m-YH$_6$ that demonstrates the superconducting transition with T$_c$ = 224 K at 166 GPa, much lower than the theoretically predicted (>270 K). The measured upper critical magnetic field B$_c$$_2$(0) of YH$_6$ was found to be 116-158 T, which is 2-2.5 times larger than the calculated value. A pronounced shift of T$_c$ in yttrium deuteride YD$_6$ with the isotope coefficient 0.4 supports the phonon-assisted superconductivity. Current-voltage measurements showed that the critical current I$_c$ and its density J$_c$ may exceed 1.75 A and 3500 A/mm$^2$ at 0 K, respectively, which is comparable with the parameters of commercial superconductors, such as NbTi and YBCO. The superconducting density functional theory (SCDFT) and anharmonic calculations suggest unusually large impact of the Coulomb repulsion in this compound. The results indicate notable departures of the superconducting properties of the discovered YH$_6$ from the conventional Migdal-Eliashberg and Bardeen-Cooper-Schrieffer theories.


title: Modular Construction of Free Hyperplane Arrangements

abstract: In this article, we study freeness of hyperplane arrangements. One of the most investigated arrangement is a graphic arrangement. Stanley proved that a graphic arrangement is free if and only if the corresponding graph is chordal and Dirac showed that a graph is chordal if and only if the graph is obtained by "gluing" complete graphs. We will generalize Dirac's construction to simple matroids with modular joins introduced by Ziegler and show that every arrangement whose associated matroid is constructed in the manner mentioned above is divisionally free. Moreover, we apply the result to arrangements associated with gain graphs and arrangements over finite fields.


title: Discriminating Spatial and Temporal Relevance in Deep Taylor Decompositions for Explainable Activity Recognition

abstract: Current techniques for explainable AI have been applied with some success to image processing. The recent rise of research in video processing has called for similar work n deconstructing and explaining spatio-temporal models. While many techniques are designed for 2D convolutional models, others are inherently applicable to any input domain. One such body of work, deep Taylor decomposition, propagates relevance from the model output distributively onto its input and thus is not restricted to image processing models. However, by exploiting a simple technique that removes motion information, we show that it is not the case that this technique is effective as-is for representing relevance in non-image tasks. We instead propose a discriminative method that produces a na\"ive representation of both the spatial and temporal relevance of a frame as two separate objects. This new discriminative relevance model exposes relevance in the frame attributed to motion, that was previously ambiguous in the original explanation. We observe the effectiveness of this technique on a range of samples from the UCF-101 action recognition dataset, two of which are demonstrated in this paper.


title: Prototype of the Readout Electronics for WCDA in LHAASO

abstract: In the Large High Altitude Air Shower Observatory (LHAASO), the Water Cherenkov Detector Array (WCDA) is one of the key parts. The WCDA consists of 3600 Photomultiplier Tubes (PMTs) scattered in a 90000 m2 area, and both high precision time and charge measurements are required over a large dynamic range from 1 to 4000 Photo Electrons (P.E.). To achieve time measurement precision better than 500 ps RMS, high quality clock distribution and automatic phase compensation are needed among the 400 Front End Electronics (FEE) modules. To simplify the readout electronics architecture, clock, data, and commands are transferred simultaneously over 400-meter fibers, while high speed data transfer interface is implemented based on TCP/IP protocol. Design and testing of the readout electronics prototype for WCDA is presented in this paper. Test results indicate that a charge resolution better than 10% RMS @ 1 P.E. and 1% RMS @ 4000 P.E., and a time resolution better than 300 ps RMS are successfully achieved over the whole dynamic range, beyond the application requirement.


title: Electroweak Current Operators in Chiral Effective Field Theory

abstract: In this proceeding I briefly review current status of the construction of nuclear electro-weak currents within chiral effective field theory. I show that gauge and chiral symmetry requirements lead to the well-known continuity equations for the current and charge operators which, however, get modified at higher orders. Regularization of the current will be also discussed. I demonstrate that implementation of a cutoff regulator in a naive way leads to violation of chiral symmetry. To respect the underlying symmetries I propose to use higher derivative regularization in the nuclear forces and currents.


title: Analysis and Exploitation of Synchronized Parallel Executions in Behavior Trees

abstract: Behavior Trees (BTs) are becoming a popular tool to model the behaviors of autonomous agents in the computer game and the robotics industry. One of the key advantages of BTs lies in their composability, where complex behaviors can be built by composing simpler ones. The parallel composition is the one with the highest potential since the complexity of composing pre-existing behaviors in parallel is much lower than the one needed using classical control architectures as finite state machines. However, the parallel composition is rarely used due to the underlying concurrency problems that are similar to the ones faced in concurrent programming. In this paper, we define two synchronization techniques to tackle the concurrency problems in BTs compositions and we show how to exploit them to improve behavior predictability. Also, we introduce measures to assess execution performance, and we show how design choices can affect them. To illustrate the proposed framework, we provide a set of experiments using the R1 robot and we gather statistically-significant data.


title: Mull it over: mutation testing based on LLVM

abstract: This paper describes Mull, an open-source tool for mutation testing based on the LLVM framework. Mull works with LLVM IR, a low-level intermediate representation, to perform mutations, and uses LLVM JIT for just-in-time compilation. This design choice enables the following two capabilities of Mull: language independence and fine-grained control over compilation and execution of a tested program and its mutations. Mull can work with code written in any programming language that supports compilation to LLVM IR, such as C, C++, Rust, or Swift. Direct manipulation of LLVM IR allows Mull to do less work to generate mutations: only modified fragments of IR code are recompiled, and this results in faster processing of mutated programs. To our knowledge, no existing mutation testing tool provides these capabilities for compiled programming languages. We describe the algorithm and implementation details of Mull, highlight current limitations of Mull, and present the results of our evaluation of Mull on real-world projects such as RODOS, OpenSSL, LLVM.


title: Star-formation rates of two GRB host galaxies at z~2 and a [CII] deficit observed with ALMA

abstract: Event rate of long Gamma-Ray Bursts (GRBs) is expected to be an useful tracer of the cosmic star-formation history. For this purpose, it is necessary to understand what kind of star formations/galaxies are traced by GRBs. Here we report rest-frame far-infrared (FIR) continuum detections of GRB 070521 and 080207 host galaxies at $z\sim2$ with ALMA band 8 and 9. The FIR photometries provide the reliable star-formation rates (SFRs), because FIR emission is free from dust extinction and possible radio contamination from long-lived afterglows of GRBs. The spectral energy distribution fittings indicate 49.85$^{+72.33}_{-2.86}$ and 123.4$^{+25.19}_{-21.78}$ $M_{\odot}$ yr$^{-1}$ for the 070521 and 080207 hosts, respectively. The derived SFRs place them on the \lq \lq main sequence\rq \rq\ of normal star-forming galaxies at $z\sim2$. The derived SFRs are significantly lower than that of radio observations. It is inferred that the observed radio fluxes in a previous study are contaminated by the afterglows. ALMA marginally detected [C~{\sc ii}]\,158\,$\mu$m emission line from the GRB 080207 host galaxy with S/N $\sim$ 4. This is the first detection of [C~{\sc ii}]\,158\,$\mu$m of a GRB host at $z>2$, and the second detection among known GRBs. The luminosity ratio of [C~{\sc~ii}]\,158$\mu$m to FIR is 7.5$\times 10^{-4}$, which is one of the smallest values among galaxies at $z\sim 1-2$ with the same FIR luminosity. The \lq \lq [C~{\sc ii}] deficit\rq \rq\ could be a new physical property to characterise GRB hosts at $z\sim1-2$. Possible parameters controlling the deficit include the metallicity, initial mass function, and gas density.


title: Angle rigidity and its usage to stabilize planar formations

abstract: Motivated by the challenging formation stabilization problem for mobile robotic teams when no distance or relative displacement measurements are available and each robot can only measure some of those angles formed by rays towards its neighbors, we develop the notion of ``angle rigidity" for a multi-point framework, named ``angularity", consisting of a set of nodes embedded in a Euclidean space and a set of angle constraints among them. Different from bearings or angles defined with respect to a global axis, the angles we use do not rely on the knowledge of a global coordinate system and are signed according to the counter-clockwise direction. Here \emph{angle rigidity} refers to the property specifying that under proper angle constraints, the angularity can only translate, rotate or scale as a whole when one or more of its nodes are perturbed locally. We first demonstrate that this angle rigidity property, in sharp comparison to bearing rigidity or other reported rigidity related to angles of frameworks in the literature, is \emph{not} a global property since an angle rigid angularity may allow flex ambiguity. We then construct necessary and sufficient conditions for \emph{infinitesimal} angle rigidity by checking the rank of an angularity's rigidity matrix. We develop a combinatorial necessary condition for infinitesimal minimal angle rigidity. Using the developed theories, a formation stabilization algorithm is designed for a robotic team to achieve a globally angle rigid formation, in which only angle measurements are needed.


title: Precise Estimation of Renal Vascular Dominant Regions Using Spatially Aware Fully Convolutional Networks, Tensor-Cut and Voronoi Diagrams

abstract: This paper presents a new approach for precisely estimating the renal vascular dominant region using a Voronoi diagram. To provide computer-assisted diagnostics for the pre-surgical simulation of partial nephrectomy surgery, we must obtain information on the renal arteries and the renal vascular dominant regions. We propose a fully automatic segmentation method that combines a neural network and tensor-based graph-cut methods to precisely extract the kidney and renal arteries. First, we use a convolutional neural network to localize the kidney regions and extract tiny renal arteries with a tensor-based graph-cut method. Then we generate a Voronoi diagram to estimate the renal vascular dominant regions based on the segmented kidney and renal arteries. The accuracy of kidney segmentation in 27 cases with 8-fold cross validation reached a Dice score of 95%. The accuracy of renal artery segmentation in 8 cases obtained a centerline overlap ratio of 80%. Each partition region corresponds to a renal vascular dominant region. The final dominant-region estimation accuracy achieved a Dice coefficient of 80%. A clinical application showed the potential of our proposed estimation approach in a real clinical surgical environment. Further validation using large-scale database is our future work.


title: POSyTIVE -- a GRB population study for the Cherenkov Telescope Array (ICRC-2019)

abstract: One of the central scientific goals of the next-generation Cherenkov Telescope Array (CTA) is the detection and characterization of gamma-ray bursts (GRBs). CTA will be sensitive to gamma rays with energies from about 20 GeV, up to a few hundred TeV. The energy range below 1 TeV is particularly important for GRBs. CTA will allow exploration of this regime with a ground-based gamma-ray facility with unprecedented sensitivity. As such, it will be able to probe radiation and particle acceleration mechanisms at work in GRBs. In this contribution, we describe POSyTIVE, the POpulation Synthesis Theory Integrated project for very high-energy emission. The purpose of the project is to make realistic predictions for the detection rates of GRBs with CTA, to enable studies of individual simulated GRBs, and to perform preparatory studies for time-resolved spectral analyses. The mock GRB population used by POSyTIVE is calibrated using the entire 40-year dataset of multi-wavelength GRB observations. As part of this project we explore theoretical models for prompt and afterglow emission of long and short GRBs, and predict the expected radiative output. Subsequent analyses are performed in order to simulate the observations with CTA, using the publicly available ctools and Gammapy frameworks. We present preliminary results of the design and implementation of this project.


title: Stellar Physics with High-Resolution UV Spectropolarimetry

abstract: Current burning issues in stellar physics, for both hot and cool stars, concern their magnetism. In hot stars, stable magnetic fields of fossil origin impact their stellar structure and circumstellar environment, with a likely major role in stellar evolution. However, this role is complex and thus poorly understood as of today. It needs to be quantified with high-resolution UV spectropolarimetric measurements. In cool stars, UV spectropolarimetry would provide access to the structure and magnetic field of the very dynamic upper stellar atmosphere, providing key data for new progress to be made on the role of magnetic fields in heating the upper atmospheres, launching stellar winds, and more generally in the interaction of cool stars with their environment (circumstellar disk, planets) along their whole evolution. UV spectropolarimetry is proposed on missions of various sizes and scopes, from POLLUX on the 15-m telescope LUVOIR to the Arago M-size mission dedicated to UV spectropolarimetry.


title: ESA's Voyage 2050 Long-term Plan for Education and Public Engagement: White Paper

abstract: This white paper responds to the Voyage 2050 Call for White Papers from the Science Programme of the European Space Agency (ESA) and argues that education, communication and public engagement (hereafter EPE) should have priority in the Voyage 2050 planning cycle. The ESA Science's Voyage 2050 missions promise insights into the big existential questions of our era: the prevalence of life in the Universe; the nature of space and time; and the intertwined nature of matter, energy and gravity. It is likely that innovations in the acquisition, handling and processing of vast data sets will drive these themes to scientific maturity in the next decades. They offer us a timely opportunity to underline the relevance of space sciences to everyday life and thinking. More generally, space science is maturing to the point where it contributes to every major aspect of our cultural discourse. Citizens need information, resources and opportunities to actively participate in that discourse, and ESA Science can provide these. This white paper is a modest attempt to support ESA Science improve its engagement with society. It focuses on issues and topics to improve ESA Science's Education and Public Engagement activities. It does not dwell on the topics that ESA already excels at; hence this White Paper provides a critical review of what should and could be improved. We believe ESA's Voyage 2050 programme teams have a responsibility to represent Europe's social and cultural diversity, and our suggestions are conceived in that spirit: to support ESA Science's complex task of engaging a hugely diverse audience in the complex issues of planning, building and operating fascinating space missions.


title: Second order regularity for elliptic and parabolic equations involving $p$-Laplacian via a fundamental inequality

abstract: Denote by $\Delta$ the Laplacian and by $\Delta_\infty $ the $\infty$-Laplacian. A fundamental inequality is proved for the algebraic structure of $\Delta v\Delta_\infty v$: for every $v\in C^\infty$, $$\ | { |D^2vDv|^2} - {\Delta v \Delta_\infty v } -\frac12[|D^2v|^2-(\Delta v)^2]|Dv|^2\ | \le \frac{n-2}2 [|D^2v|^2{|Dv|^2}- |D^2vDv|^2 ]. $$ Based on this, we prove the following results: 1. For any $p$-harmonic functions $u$, $p\in(1,2)\cup(2,\infty)$, we have $$|Du|^{\frac{p-\gamma}2}Du\in W^{1,2}_{\rm loc},$$ with $\gamma<\min\{p+\frac{n-1}{n},3+\frac{p-1}{n-1}\}$. As a by-product, when $p\in(1,2)\cup(2,3+\frac2{n-2})$, we reprove the known $W^{2,q}_{\rm loc}$-regularity of $p$-harmonic functions for some $q>2$. 2. When $n\ge 2$ and $p\in(1,2)\cup(2,3+\frac2{n-2})$, the viscosity solutions to parabolic normalized $p $-Laplace equation have the $W_{\rm loc}^{2,q}$-regularity in the spatial variable and the $W_{\rm loc}^{1,q}$-regularity in the time variable for some $q>2$. Especially, when $n=2$ an open question in [17] is completely answered. 3. When $n\ge 1 $ and $p\in(1,2)\cup(2,3)$, the weak/viscosity solutions to parabolic $p $-Laplace equation have the $W_{\rm loc}^{2,2}$-regularity in the spatial variable and the $W_{\rm loc}^{1,2}$-regularity in the time variable. The range of $p$ (including $p=2$ from the classical result) here is sharp for the $W_{\rm loc}^{2,2}$-regularity.