title: IlluminatedFocus: Vision Augmentation using Spatial Defocusing via Focal Sweep Eyeglasses and High-Speed Projector

abstract: Aiming at realizing novel vision augmentation experiences, this paper proposes the IlluminatedFocus technique, which spatially defocuses real-world appearances regardless of the distance from the user's eyes to observed real objects. With the proposed technique, a part of a real object in an image appears blurred, while the fine details of the other part at the same distance remain visible. We apply Electrically Focus-Tunable Lenses (ETL) as eyeglasses and a synchronized high-speed projector as illumination for a real scene. We periodically modulate the focal lengths of the glasses (focal sweep) at more than 60 Hz so that a wearer cannot perceive the modulation. A part of the scene to appear focused is illuminated by the projector when it is in focus of the user's eyes, while another part to appear blurred is illuminated when it is out of the focus. As the basis of our spatial focus control, we build mathematical models to predict the range of distance from the ETL within which real objects become blurred on the retina of a user. Based on the blur range, we discuss a design guideline for effective illumination timing and focal sweep range. We also model the apparent size of a real scene altered by the focal length modulation. This leads to an undesirable visible seam between focused and blurred areas. We solve this unique problem by gradually blending the two areas. Finally, we demonstrate the feasibility of our proposal by implementing various vision augmentation applications.


title: Analytical solution for the spectrum of two ultracold atoms in a completely anisotropic confinement

abstract: We study the system of two ultracold atoms in a three-dimensional (3D) or two-dimensional (2D) completely anisotropic harmonic trap. We derive the algebraic equation J_{3D}(E) = 1/a_{3D} (J_{2D}(E) = ln a_{2D}) for the eigen-energy E of this system in the 3D (2D) case, with a_{3D} and a_{2D} being the corresponding s-wave scattering lengths, and provide the analytical expressions of the functions J_{3D}(E) and J_{2D}(E). In previous researches this type of equation was obtained for spherically or axially symmetric harmonic traps (T. Busch, et. al., Found. Phys. 28, 549 (1998); Z. Idziaszek and T. Calarco, Phys. Rev. A 74, 022712 (2006)). However, for our cases with a completely anisotropic trap, only the equation for the ground-state energy of some cases has been derived (J. Liang and C. Zhang, Phys. Scr. 77, 025302 (2008)). Our results in this work are applicable for arbitrary eigen-energy of this system, and can be used for the studies of dynamics and thermal-dynamics of interacting ultracold atoms in this trap, e.g., the calculation of the 2nd virial coefficient or the evolution of two-body wave functions. In addition, our approach for the derivation of the above equations can also be used for other two-body problems of ultracold atoms.

categories: physics.atm-clus cond-mat.quant-gas physics.atom-ph quant-ph


title: Durability of solid oxide electrolysis stack under dynamic load cycling for syngas production

abstract: A 6-cell solid oxide electrolysis stack was tested under H2O + CO2 co-electrolysis conditions. The cells used in the stack consisted of a nickel-yttria stabilized zirconia (Ni-YSZ) fuel electrode, YSZ electrolyte and lanthanum strontium cobaltite-gadolinium doped ceria (LSC-GDC) composite oxygen electrode. The aim of this study was to investigate the stack durability when operated under dynamic load conditions simulating a wind energy powered SOEC stack for synthesis gas production. The degradation of the stack was observed to be less than 1%/1000 h in terms of area specific resistance during the 1000 hours operation. Detailed electrochemical analysis revealed a constant ohmic resistance, indicating intact contact in the stack. Only minor degradation was observed, mainly due to the fuel electrode process. The overall stack voltage degradation rate was 0.8%/1000 h.


title: Gravitational light deflection in Earth-based laser cavity experiments

abstract: As known from Einstein's theory of general relativity, the propagation of light in the presence of a massive object is affected by gravity. In this work, we discuss whether the effect of gravitational light bending can be observed in Earth-based experiments, using high-finesse optical cavities. In order to do this, we theoretically investigate the dynamics of electromagnetic waves in the spacetime of a homogeneous gravitational field and give an analytical expression for the resulting modifications to Gaussian beam propagation. This theoretical framework is used to calculate the intensity profile at the output of a Fabry-P\'erot cavity and to estimate the imprints of Earth's gravity on the cavity output signal. In particular, we found that gravity causes an asymmetry of the output intensity profile. Based on that, we discuss a measurement scheme, that could be realized in facilities like the GEO600 gravitational wave detector and the AEI 10 m detector prototype.


title: PaSe: An Extensible and Inspectable DSL for Micro-Animations

abstract: This paper presents PaSe, an extensible and inspectable DSL embedded in Haskell for expressing micro-animations. The philosophy of PaSe is to compose animations based on sequential and parallel composition of smaller animations. This differs from other animation libraries that focus more on sequential composition and have only limited forms of parallel composition. To provide similar flexibility as other animation libraries, PaSe features extensibility of operations and inspectability of animations. We present the features of PaSe with a to-do list application, discuss the PaSe implementation, and argue that the callback style of extensibility is detrimental for correctly combining PaSe features. We contrast with the GreenSock Animation Platform, a professional-grade and widely used JavaScript animation library, to illustrate this point.


title: Projected iterations of fixed point type to solve nonlinear partial Volterra integro--differential equations

abstract: In this paper, we propose a method to approximate the fixed point of an operator in a Banach space. Using biorthogonal systems, this method is applied to build an approximation of the solution of a class of nonlinear partial integro--differential equations. The theoretical findings are illustrated with several numerical examples, confirming the reliability, validity and precision of the proposed method.


title: Capacity-Aware Edge Caching in Fog Computing Networks

abstract: This paper studies edge caching in fog computing networks, where a capacity-aware edge caching framework is proposed by considering both the limited fog cache capacity and the connectivity capacity of base stations (BSs). By allowing cooperation between fog nodes and cloud data center, the average-download-time (ADT) minimization problem is formulated as a multi-class processor queuing process. We prove the convexity of the formulated problem and propose an Alternating Direction Method of Multipliers (ADMM)-based algorithm that can achieve the minimum ADT and converge much faster than existing algorithms. Simulation results demonstrate that the allocation of fog cache capacity and connectivity capacity of BSs needs to be balanced according to the network status. While the maximization of the edge-cache-hit-ratio (ECHR) by utilizing all available fog cache capacity is helpful when the BS connectivity capacity is sufficient, it is preferable to keep a lower ECHR and allocate more traffic to the cloud when the BS connectivity capacity is deficient.


title: Superconductivity of Carbon Compounds with Sodalite Structure

abstract: We investigate the superconductivity of carbon compounds with a sodalite structure, which are similar to hydrogen compounds showing the high-temperature superconductivity. A systematic analysis by first-principles calculations is carried out, including examination of mechanical and dynamic instabilities under external pressure $P$. These instabilities are classified on the phase diagram for the effective doping charge versus the lattice constant of the system. We also present the superconducting transition temperature $T_{\rm c}$ as a function of $P$ for many carbon compounds and a pure carbon system with the sodalite structure. Some of them have $T_{\rm c}$ of up to about 100 K at $P > \sim 30$ GPa, and the results suggest that the sodalite structure of carbon may be a key to producing phonon-mediated high-$T_{\rm c}$ superconductivity.


title: An Analysis of Adversarial Attacks and Defenses on Autonomous Driving Models

abstract: Nowadays, autonomous driving has attracted much attention from both industry and academia. Convolutional neural network (CNN) is a key component in autonomous driving, which is also increasingly adopted in pervasive computing such as smartphones, wearable devices, and IoT networks. Prior work shows CNN-based classification models are vulnerable to adversarial attacks. However, it is uncertain to what extent regression models such as driving models are vulnerable to adversarial attacks, the effectiveness of existing defense techniques, and the defense implications for system and middleware builders. This paper presents an in-depth analysis of five adversarial attacks and four defense methods on three driving models. Experiments show that, similar to classification models, these models are still highly vulnerable to adversarial attacks. This poses a big security threat to autonomous driving and thus should be taken into account in practice. While these defense methods can effectively defend against different attacks, none of them are able to provide adequate protection against all five attacks. We derive several implications for system and middleware builders: (1) when adding a defense component against adversarial attacks, it is important to deploy multiple defense methods in tandem to achieve a good coverage of various attacks, (2) a blackbox attack is much less effective compared with a white-box attack, implying that it is important to keep model details (e.g., model architecture, hyperparameters) confidential via model obfuscation, and (3) driving models with a complex architecture are preferred if computing resources permit as they are more resilient to adversarial attacks than simple models.


title: GIM: Gaussian Isolation Machines

abstract: In many cases, neural network classifiers are likely to be exposed to input data that is outside of their training distribution data. Samples from outside the distribution may be classified as an existing class with high probability by softmax-based classifiers; such incorrect classifications affect the performance of the classifiers and the applications/systems that depend on them. Previous research aimed at distinguishing training distribution data from out-of-distribution data (OOD) has proposed detectors that are external to the classification method. We present Gaussian isolation machine (GIM), a novel hybrid (generative-discriminative) classifier aimed at solving the problem arising when OOD data is encountered. The GIM is based on a neural network and utilizes a new loss function that imposes a distribution on each of the trained classes in the neural network's output space, which can be approximated by a Gaussian. The proposed GIM's novelty lies in its discriminative performance and generative capabilities, a combination of characteristics not usually seen in a single classifier. The GIM achieves state-of-the-art classification results on image recognition and sentiment analysis benchmarking datasets and can also deal with OOD inputs.


title: Conductivity bound of the strongly interacting and disordered graphene from gauge/gravity duality

abstract: The carriers in graphene tuned close to the Dirac point envisage signatures of the strongly interacting fluid and are subject to hydrodynamic description. The important question is whether strong disorder induces the metal-insulator transition in this two-dimensional material. The bound on the conductivity tensor found earlier within the single current description, implies that the system does not feature metal-insulator transition. The linear spectrum of the graphene imposes the phase-space constraints and calls for the two-current description of interacting electron and hole liquids. Based on the gauge/gravity correspondence, using the linear response of the black brane with broken translation symmetry in Einstein-Maxwell gravity with the auxiliary U(1)-gauge field, responsible for the second current, we have calculated the lower bound of the DC-conductivity in holographic model of graphene. The calculations show that the bound on the conductivity depends on the coupling between both U(1) fields and for a physically justified range of parameters it departs only weakly from the value found for a model with the single U(1) field.


title: Ice penetration by a bluff-body melting probe

abstract: We analyze the operation of melting probes as a Stefan problem for the liquid/solid interface surrounding the probe. We assume that the liquid layer is thin and, therefore, amenable to analysis by lubrication theory. The resulting Stefan problem is solvable in closed form. The solution determines the dependence of the penetration speed on the temperature differential between the probe and the surrounding ice, the size, shape and weight of the probe, the viscosity of liquid water and the thermal properties of solid ice.


title: Algorithms in 3-manifold theory

abstract: This survey focuses on the computational complexity of some of the fundamental decision problems in 3-manifold theory. The article discusses the wide variety of tools that are used to tackle these problems, including normal and almost surfaces, hierarchies, homomorphisms to finite groups, and hyperbolic structures.


title: Exotic multiferroic properties of spinel structured $AB_2O_4$ compounds: A Monte Carlo Study

abstract: Spinel structured compounds, $AB_2O_4$, are special because of their exotic multiferroic properties. In $ACr_2O_4$ ($A$=$Co$, $Mn$,$Fe$), a switchable polarization has been observed experimentally due to a non-collinear magnetic spin order. In this article, we demonstrated the microscopic origin behind such magnetic spin order, hysteresis, polarisation and the so-called magnetic compensation effect in $ACr_2O_4$ ($A$=$Co$, $Mn$,$Fe$, $Ni$) using Monte Carlo simulation. With a careful choice of the exchange interaction, we were able to explain various experimental findings such as magnetization vs. temperature (T) behavior, conical stability, unique magnetic ordering and polarization in a representative compound $CoCr_2O_4$ which is the best known multiferroic compound in the $AB_2O_4$ spinel family. We have also studied the effect of $Fe$-substitution in $CoCr_2O_4$, with an onset of few exotic phenomena such as magnetic compensation and sign reversible exchange bias effect. These effects are investigated using an effective interactions mimicking the effect of substitution. Two other compounds in this family, $CoMn_2O_4$ and $CoFe_2O_4$, are also studied where no conical magnetic order and polarisation was observed, as hence provide a distinct contrast. Here all calculations are done using the polarisation calculated by the spin-current model. This model has certain limitation and it works quite good for low temperature and low magnetic field. But the model despite its limitation it can reproduce sign reversible exchange bias and magnetic compensation like phenomena quite well.


title: Boolean-valued sets as arbitrary objects

abstract: This article explores the connection between boolean-valued class models of set theory and the theory of arbitrary objects in roughly Kit Fine's sense of the word. In particular, it explores the hypothesis that the set theoretic universe as a whole can be seen as an arbitrary entity, which can in turn be taken to consist of arbitrary objects, viz. arbitrary sets.


title: Using Intelligent Reflecting Surfaces for Rank Improvement in MIMO Communications

abstract: An intelligent reflecting surface (IRS), consisting of reconfigurable metamaterials, can be used to partially control the radio environment and thereby bring new features to wireless communications. Previous works on IRS have particularly studied the range extension use case and under what circumstances the new technology can beat relays. In this paper, we study another use case that might have a larger impact on the channel capacity: rank improvement. One of the classical bottlenecks of point-to-point MIMO communications is that the capacity gains provided by spatial multiplexing are only large at high SNR, and high SNR channels are mainly appearing in line-of-sight (LoS) scenarios where the channel matrix has low rank and therefore does not support spatial multiplexing. We demonstrate how an IRS can be used and optimized in such scenarios to increase the rank of the channel matrix, leading to substantial capacity gains.


title: Wetting Properties of Graphene Aerogels

abstract: Graphene hydrophobic coatings paved the way towards a new generation of optoelectronic and fluidic devices. Nevertheless, such hydrophobic thin films rely only on graphene non-polar surface, rather than taking advantage of its surface roughness. Furthermore, graphene is typically not self-standing. Differently, carbon aerogels have high porosity, large effective surface area due to their surface roughness, and very low mass density, which make them a promising candidate as a super-hydrophobic material for novel technological applications. However, despite a few works reporting the general super-hydrophobic and lipophilic behavior of the carbon aerogels, a detailed characterization of their wetting properties is still missing, to date. Here, the wetting properties of graphene aerogels are demonstrated in detail. Without any chemical functionalization or patterning of their surface, the samples exhibit a super-lipophilic state and a stationary super-hydrophobic state with a contact angle up to $150\pm15^{\deg}$ and low contact angle hysteresis $\approx15^{\deg}$, owing to the fakir effect. In addition, the adhesion force of the graphene aerogels in contact with the water droplets and their surface tension are evaluated. For instance, the unique wettability and enhanced liquid absorption of the graphene aerogels can be exploited for reducing contamination from oil spills and chemical leakage accidents.


title: A Neural Approach to Ordinal Regression for the Preventive Assessment of Developmental Dyslexia

abstract: Developmental Dyslexia (DD) is a learning disability related to the acquisition of reading skills that affects about 5% of the population. DD can have an enormous impact on the intellectual and personal development of affected children, so early detection is key to implementing preventive strategies for teaching language. Research has shown that there may be biological underpinnings to DD that affect phoneme processing, and hence these symptoms may be identifiable before reading ability is acquired, allowing for early intervention. In this paper we propose a new methodology to assess the risk of DD before students learn to read. For this purpose, we propose a mixed neural model that calculates risk levels of dyslexia from tests that can be completed at the age of 5 years. Our method first trains an auto-encoder, and then combines the trained encoder with an optimized ordinal regression neural network devised to ensure consistency of predictions. Our experiments show that the system is able to detect unaffected subjects two years before it can assess the risk of DD based mainly on phonological processing, giving a specificity of 0.969 and a correct rate of more than 0.92. In addition, the trained encoder can be used to transform test results into an interpretable subject spatial distribution that facilitates risk assessment and validates methodology.


title: Nucleation pathway of calcium sulfate hemihydrate (bassanite) from solution: implications for calcium sulfates on Mars

abstract: CaSO4 minerals (i.e. gypsum, anhydrite and bassanite) are widespread in natural and industrial environments. During the last several years, a number of studies have revealed that nucleation in the CaSO4-H2O system is non-classical, where the formation of crystalline phases involves several steps. Based on these recent insights we have formulated a tentative general model for calcium sulfate precipitation from solution. This model involves primary species that are formed through the assembly of multiple Ca2+ and SO42- ions into nanoclusters. These nanoclusters assemble into poorly ordered (i.e. amorphous) hydrated aggregates, which in turn undergo ordering into coherent crystalline units. The thermodynamic (meta)stability of any of the three CaSO4 phases is regulated by temperature, pressure and ionic strength with gypsum being the stable form at low temperatures and low to medium ionic strengths, and anhydrite the stable phase at high temperatures and lower temperature at high salinities. Bassanite is metastable across the entire phase diagram but readily forms as the primary phase at high ionic strengths across a wide range of temperatures, and can persist up to several months. Although the physicochemical conditions leading to bassanite formation in aqueous systems are relatively well established, nanoscale insights into the nucleation mechanisms and pathways are still lacking. To fill this gap, and to further improve our general model for calcium sulfate precipitation, we have conducted in situ scattering measurements at small- and wide-angles (SAXS/WAXS) and complemented these with in situ Raman spectroscopic characterization. Based on these experiments we show that the process of formation of bassanite from aqueous solutions is very similar to the formation of gypsum: it involves the aggregation of small primary species into larger disordered aggregates.


title: Analysing the spectral energy distributions of Galactic classical Cepheids

abstract: (abridged) Spectral energy distributions (SEDs) were constructed for a sample of 477 classical cepheids (CCs). The SEDs were fitted with a dust radiative transfer code. Four stars showed a large mid- or far-infrared excess and the fitting then included a dust component. These comprise the well-known case of RS Pup, and three stars that are (likely) Type-II cepheids (T2Cs), AU Peg, QQ Per, and FQ Lac. The remainder of the sample was fitted with a stellar photosphere to derive the best-fitting luminosity and effective temperature. Distance and reddening were taken from the literature. The stars were plotted in a Hertzsprung-Russell diagram and compared to evolutionary tracks for cepheids and theoretical instability strips. For the large majority of stars, the position in the HRD is consistent with the instability strip for a CC or T2C. About 5% of the stars are outliers in the sense that they are much hotter or cooler than expected. A comparison to effective temperatures derived from spectroscopy suggests in some cases that the photometrically derived temperature is not correct and that this is likely linked to an incorrectly adopted reddening. In this work the presence of a small NIR excess, as has been proposed in the literature for a few well-known cepheids, is investigated. Firstly, this was done by using a sample of about a dozen stars for which a mid-infrared spectrum is available. Secondly, the SEDs of all stars were fitted with a dust model to see if a statistically significant better fit could be obtained. The results were compared to recent work. Eight new candidates for exhibiting a NIR excess are proposed, solely based on the photometric SEDs. Obtaining mid-infrared spectra would be needed to confirm this excess. Finally, period-bolometric luminosity and period-radius relations are presented for samples of over 370 fundamental-mode CCs.


title: On the Fairness of Name-Based Rationing System for Purchases of Masks Policy

abstract: In this paper, mathematical model and condition are built for the analysis of fairness of name-based rationing system for purchases of masks policy announced and launched in Taiwan.


title: Harmonic numbers and the prime counting function

abstract: We provide approximations to the prime counting function by various discretized versions of the logarithmic integral function, expressed solely in terms of the harmonic numbers. We demonstrate with explicit error bounds that these approximations are at least as good as the logarithmic integral approximation. As a corollary, we provide some reformulations of the Riemann hypothesis in terms of the prime counting function and the harmonic numbers.


title: Seeding self-modulation of a long proton bunch with a short electron bunch

abstract: We briefly compare in numerical simulations the relativistic ionization front and electron bunch seeding of the self-modulation of a relativistic proton bunch in plasma. When parameters are such that initial wakefields are equal with the two seeding methods, the evolution of the maximum longitudinal wakefields along the plasma are similar. We also propose a possible seeding/injection scheme using a single plasma that we will study in upcoming simulations works.


title: The Lane-Emden equation with variable double-phase and multiple regime

abstract: We are concerned with the study of the Lane-Emden equation with variable exponent and Dirichlet boundary condition. The feature of this paper is that the analysis that we develop does not assume any subcritical hypotheses and the reaction can fulfill a mixed regime (subcritical, critical and supercritical). We consider the radial and the nonradial cases, as well as a singular setting. The proofs combine variational and analytic methods with a version of the Palais principle of symmetric criticality.


title: Linear stability of the ITER 15 MA scenario against the alpha fishbone

abstract: The stability of the $n=m=1$ alpha-fishbone kinetic-MHD mode on the ITER 15 MA baseline scenario \cite{ITERB} is analyzed using the nonlinear hybrid Kinetic-MHD code XTOR-K. Quantitative agreement is found between the complex frequencies $\omega + i\gamma$ computed with the linear model in \cite{Brochard2018} and XTOR-K's linear simulations. Identical precessional resonance positions in phase space are also found between the linear model and XTOR-K. Linear hybrid simulations performed with XTOR-K on the ITER 15 MA scenario reveal that this configuration is likely to be unstable against the alpha fishbone mode. The fishbone thresholds for kinetic-MHD equilibria with flat q profiles with on-axis safety factor just below unity lies between $\beta_{\alpha,thres}/\beta_{tot} = 6-10\%$, whereas the expected beta ratio on ITER is $\beta_{\alpha}/\beta_{tot} = 15-20\%$ \cite{ITERB}.


title: Equivariant Cartan Homotopy Formulae for $DG$-Algebra

abstract: We study the Equivariant Cartan Homotopy Formula for the $DG$-algebra obtained by a finite group action.


title: Relational Neural Machines

abstract: Deep learning has been shown to achieve impressive results in several tasks where a large amount of training data is available. However, deep learning solely focuses on the accuracy of the predictions, neglecting the reasoning process leading to a decision, which is a major issue in life-critical applications. Probabilistic logic reasoning allows to exploit both statistical regularities and specific domain expertise to perform reasoning under uncertainty, but its scalability and brittle integration with the layers processing the sensory data have greatly limited its applications. For these reasons, combining deep architectures and probabilistic logic reasoning is a fundamental goal towards the development of intelligent agents operating in complex environments. This paper presents Relational Neural Machines, a novel framework allowing to jointly train the parameters of the learners and of a First--Order Logic based reasoner. A Relational Neural Machine is able to recover both classical learning from supervised data in case of pure sub-symbolic learning, and Markov Logic Networks in case of pure symbolic reasoning, while allowing to jointly train and perform inference in hybrid learning tasks. Proper algorithmic solutions are devised to make learning and inference tractable in large-scale problems. The experiments show promising results in different relational tasks.


title: Joint Deep Learning of Facial Expression Synthesis and Recognition

abstract: Recently, deep learning based facial expression recognition (FER) methods have attracted considerable attention and they usually require large-scale labelled training data. Nonetheless, the publicly available facial expression databases typically contain a small amount of labelled data. In this paper, to overcome the above issue, we propose a novel joint deep learning of facial expression synthesis and recognition method for effective FER. More specifically, the proposed method involves a two-stage learning procedure. Firstly, a facial expression synthesis generative adversarial network (FESGAN) is pre-trained to generate facial images with different facial expressions. To increase the diversity of the training images, FESGAN is elaborately designed to generate images with new identities from a prior distribution. Secondly, an expression recognition network is jointly learned with the pre-trained FESGAN in a unified framework. In particular, the classification loss computed from the recognition network is used to simultaneously optimize the performance of both the recognition network and the generator of FESGAN. Moreover, in order to alleviate the problem of data bias between the real images and the synthetic images, we propose an intra-class loss with a novel real data-guided back-propagation (RDBP) algorithm to reduce the intra-class variations of images from the same class, which can significantly improve the final performance. Extensive experimental results on public facial expression databases demonstrate the superiority of the proposed method compared with several state-of-the-art FER methods.


title: Quantum dense metrology by an SU(2)-in-SU(1,1) nested interferometer

abstract: With the help of quantum entanglement, quantum dense metrology (QDM) is a technique that can perform the joint estimates of two conjugate quantities such as phase and amplitude modulations of an optical field with an accuracy beating the standard quantum limit simultaneously. SU(1,1) interferometers (SUI) can realize QDM with detection loss tolerance but is limited in absolute sensitivity. Here we present a QDM scheme with a linear interferometer (SU(2)) nested inside an SU(1,1) interferometer. By using a degenerate SUI and controlling the phase angle of the phase-sensitive amplifers in SUI, we can achieve the optimum quantum enhancement in the measurement precision of arbitrary mixture of phase and amplitude modulation.


title: AI-GAN: Attack-Inspired Generation of Adversarial Examples

abstract: Deep neural networks (DNNs) are vulnerable to adversarial examples, which are crafted by adding imperceptible perturbations to inputs. Recently different attacks and strategies have been proposed, but how to generate adversarial examples perceptually realistic and more efficiently remains unsolved. This paper proposes a novel framework called Attack-Inspired GAN (AI-GAN), where a generator, a discriminator, and an attacker are trained jointly. Once trained, it can generate adversarial perturbations efficiently given input images and target classes. Through extensive experiments on several popular datasets \eg MNIST and CIFAR-10, AI-GAN achieves high attack success rates and reduces generation time significantly in various settings. Moreover, for the first time, AI-GAN successfully scales to complicated datasets \eg CIFAR-100 with around $90\%$ success rates among all classes.


title: A new orbital ephemeris for WASP-128b

abstract: WASP-128 is a relatively bright (V= 12.37) G0-dwarf, known to host a transiting brown dwarf in a short-period orbit (Hod\v{z}i\'c et al. 2018 arXiv:1807.07557 (H18)). Very few such objects are known, which makes WASP-128 a prime target for further observations to better understand giant planet / brown dwarf properties,including formation and migration histories. To facilitate the planning of future observations of WASP-128b, we improve the orbital ephemeris of the system, by using the seven transits of WASP-128 observed by TESS. We note that our orbital period differs significantly from that of H18: it is more than $14\,\sigma$ (using their uncertainty) larger. This results in our ephemeris predicting a mid-2020 transit to occur almost eight hours later than the H18 ephemeris. We find, however, no evidence for any period variation.


title: Ferroelectric atomic displacement in multiferroic tetragonal perovskite Sr$_{1/2}$Ba$_{1/2}$MnO$_3$

abstract: We investigate the crystal structure in multiferroic tetragonal perovskite Sr$_{1/2}$Ba$_{1/2}$MnO$_3$ with high accuracy of the order of 10$^{-3}$ Angstrom for an atomic displacement. The large atomic displacement for Mn ion from the centerosymmetric position, comparable with the off-centering distortion in the tetragonal ferroelectric BaTiO$_3$, is observed in the ferroelectric phase ($T_\mathrm{N}$ $\leq$ $T$ $\leq$ $T_\mathrm{C}$). In stark contrast, in the multiferroic phase ($T$ $\leq$ $T_\mathrm{N}$), the atomic displacement for Mn ion is suppressed, but those for O ions are enlarged. The atomic displacements in the polar crystal structures are also analyzed in terms of the ferroelectric modes. In the ferroelectric phase, the atomic displacements are decomposed into dominant positive Slater, negative Last, and small positive Axe modes. The suppression of Slater and Last modes, the sign change of Last mode, and the enlargement of Axe mode are found in the multiferroic phase. The ferroelectric distortion is well reproduced by a first-principles calculation based on Berry phase method, providing an additional information on competing mechanisms to induce the polarization, electronic $p$-$d$ hybridization vs. magnetic exchange-striction.


title: Special metrics and scales in parabolic geometry

abstract: Given a parabolic geometry, it is sometimes possible to find special metrics characterised by some invariant conditions. In conformal geometry, for example, one asks for an Einstein metric in the conformal class. Einstein metrics have the special property that their geodesics are distinguished, as unparameterised curves, in the sense of parabolic geometry. This property characterises the Einstein metrics. In this article we initiate a study of corresponding phenomena for other parabolic geometries, in particular for the hypersurface CR and contact Legendrean cases.


title: RGB-based Semantic Segmentation Using Self-Supervised Depth Pre-Training

abstract: Although well-known large-scale datasets, such as ImageNet, have driven image understanding forward, most of these datasets require extensive manual annotation and are thus not easily scalable. This limits the advancement of image understanding techniques. The impact of these large-scale datasets can be observed in almost every vision task and technique in the form of pre-training for initialization. In this work, we propose an easily scalable and self-supervised technique that can be used to pre-train any semantic RGB segmentation method. In particular, our pre-training approach makes use of automatically generated labels that can be obtained using depth sensors. These labels, denoted by HN-labels, represent different height and normal patches, which allow mining of local semantic information that is useful in the task of semantic RGB segmentation. We show how our proposed self-supervised pre-training with HN-labels can be used to replace ImageNet pre-training, while using 25x less images and without requiring any manual labeling. We pre-train a semantic segmentation network with our HN-labels, which resembles our final task more than pre-training on a less related task, e.g. classification with ImageNet. We evaluate on two datasets (NYUv2 and CamVid), and we show how the similarity in tasks is advantageous not only in speeding up the pre-training process, but also in achieving better final semantic segmentation accuracy than ImageNet pre-training


title: Fractional KPZ equations with critical growth in the gradient respect to Hardy potential

abstract: In this work we study the existence of positive solution to the fractional quasilinear problem, $$ \left\{ \begin{array}{rcll} (-\Delta )^s u &=&\lambda \dfrac{u}{|x|^{2s}}+ |\nabla u|^{p}+ \mu f &\inn \Omega,\\ u&>&0 & \inn\Omega,\\ u&=&0 & \inn(\mathbb{R}^N\setminus\Omega), \end{array}\right. $$ where $\Omega$ is a $C^{1,1}$ bounded domain in $\mathbb{R}^N$, $N> 2s, \mu>0$, $\frac{1}{2}<s<1$, and $0<\lambda<\Lambda_{N,s}$ is defined in (3) . We assume that $f$ is a non-negative function with additional hypotheses. As we will see, there are deep differences with respect to the case $\lambda=0$. More precisely, If $\lambda>0$, there exists a critical exponent $p_{+}(\lambda, s)$ such that for $p> p_{+}(\lambda,s)$ there is no positive solution. Moreover, $p_{+}(\lambda,s)$ is optimal in the sense that, if $p<p_{+}(\lambda,s)$ there exists a positive solution for suitable data and $\mu$ sufficiently small.


title: Transfer Heterogeneous Knowledge Among Peer-to-Peer Teammates: A Model Distillation Approach

abstract: Peer-to-peer knowledge transfer in distributed environments has emerged as a promising method since it could accelerate learning and improve team-wide performance without relying on pre-trained teachers in deep reinforcement learning. However, for traditional peer-to-peer methods such as action advising, they have encountered difficulties in how to efficiently expressed knowledge and advice. As a result, we propose a brand new solution to reuse experiences and transfer value functions among multiple students via model distillation. But it is still challenging to transfer Q-function directly since it is unstable and not bounded. To address this issue confronted with existing works, we adopt Categorical Deep Q-Network. We also describe how to design an efficient communication protocol to exploit heterogeneous knowledge among multiple distributed agents. Our proposed framework, namely Learning and Teaching Categorical Reinforcement (LTCR), shows promising performance on stabilizing and accelerating learning progress with improved team-wide reward in four typical experimental environments.


title: On the vortex evolution in non-isothermal protoplanetary discs

abstract: It is believed that large-scale horseshoe-like brightness asymmetries found in dozens of transitional protoplanetary discs are caused by anticyclonic vortices. These vortices can play a key role in planet formation, as mm-sized dust -- the building blocks of planets -- can be accumulated inside them. Anticyclonic vortices are formed by the Rossby wave instability, which can be excited at the gap edges opened by a giant planet or at sharp viscosity transitions of accretionally inactive regions. It is known that vortices are prone to stretching and subsequent dissolution due to disc self-gravity for canonical disc masses in the isothermal approximation. To improve the hydrodynamic model of protoplanetary discs, we include the disc thermodynamics in our model. In this paper, we present our results on the evolution of the vortices formed at the outer edge of an accretionally inactive region (dead zone) assuming an ideal equation of state and taking $PdV$ work, disc cooling in the $\beta$-approximation, and disc self-gravity into account. Thermodynamics affects the offset and the mode number (referring to the number of small vortices at the early phase) of the RWI excitation, as well as the strength, shape, and lifetime of the large-scale vortex formed through merging of the initial small vortices. We found that the inclusion of gas thermodynamics results in stronger, however decreased lifetime vortices. Our results suggest that a hypothetical vortex-aided planet formation scenario favours effectively cooling discs.


title: On stability of exactness properties under the pro-completion

abstract: In this paper we formulate and prove a general theorem of stability of exactness properties under the pro-completion, which unifies several such theorems in the literature and gives many more. The theorem depends on a formal approach to exactness properties proposed in this paper, which is based on the theory of sketches. Our stability theorem has applications in proving theorems that establish links between exactness properties, as well as in establishing embedding (representation) theorems for classes of categories defined by exactness properties.


title: Ternary quadratic forms representing same integers

abstract: In 1997, Kaplansky conjectured that if two positive definite ternary quadratic forms with integer coefficients have perfectly identical integral representations, then they are isometric, both regular, or included either of two families of ternary quadratic forms. In this article, we prove the existence of pairs of ternary quadratic forms representing same integers which are not in the Kaplansky's list.


title: Additional transition line in jammed asymmetric bidisperse granular packings

abstract: We present numerical evidence for an additional discontinuous transition inside the jammed regime for an asymmetric bidisperse granular packing upon compression. This additional transition line separates jammed states with networks of predominantly large particles from jammed networks formed by both large and small particles, and the transition is indicated by a discontinuity in the number of particles contributing to the jammed network. The additional transition line emerges from the curves of jamming transitions and terminates in an end-point where the discontinuity vanishes. The additional line is starting at a size ratio around $\delta = 0.22$ and grows longer for smaller $\delta$. For $\delta \to 0$, the additional transition line approaches a limit that can be derived analytically. The observed jamming scenarios are reminiscent of glass-glass transitions found in colloidal glasses.


title: Nonsingular Poisson Suspensions

abstract: The classical Poisson functor associates to every infinite measure preserving dynamical system $(X,\mu,T)$ a probability preserving dynamical system $(X^*,\mu^*,T_*)$ called the Poisson suspension of $T$. In this paper we generalize this construction: a subgroup Aut$_2(X,\mu)$ of $\mu$-nonsingular transformations $T$ of $X$ is specified as the largest subgroup for which $T_*$ is $\mu^*$-nonsingular. Topological structure of this subgroup is studied. We show that a generic element in Aut$_2(X,\mu)$ is ergodic and of Krieger type III$_1$. Let $G$ be a locally compact Polish group and let $A:G\to\text{Aut}_2(X,\mu)$ be a $G$-action. We investigate dynamical properties of the Poisson suspension $A_*$ of $A$ in terms of an affine representation of $G$ associated naturally with $A$. It is shown that $G$ has property (T) if and only if each nonsingular Poisson $G$-action admits an absolutely continuous invariant probability. If $G$ does not have property $(T)$ then for each generating probability $\kappa$ on $G$ and $t>0$, a nonsingular Poisson $G$-action is constructed whose Furstenberg $\kappa$-entropy is $t$.


title: Global Convergence of Frank Wolfe on One Hidden Layer Networks

abstract: We derive global convergence bounds for the Frank Wolfe algorithm when training one hidden layer neural networks. When using the ReLU activation function, and under tractable preconditioning assumptions on the sample data set, the linear minimization oracle used to incrementally form the solution can be solved explicitly as a second order cone program. The classical Frank Wolfe algorithm then converges with rate $O(1/T)$ where $T$ is both the number of neurons and the number of calls to the oracle.


title: Direct Numerical Simulation of bubble-induced turbulence at high Reynolds numbers

abstract: We report on a investigation of turbulent bubbly flows. Bubbles of a size larger than the dissipative scale, cannot be treated as point-wise inclusions, and generate important hydrodynamic fields in the carrier fluid when in motion. Furthermore, when the volume fraction of bubbles is large enough, the bubble motion may induce a collective agitation due to hydrodynamic interactions which display some turbulent-like features. We tackle this complex phenomenon numerically, performing direct numerical simulations (DNS) with a Volume-of-fluid (VOF) method. In the first part of the work, we perform both 2D and 3D tests in order to determine appropriate numerical and physical parameters. We then carry out a highly-resolved simulation of a 3D bubble column, with a configuration and physical parameters similar to those used in laboratory experiments. This is the largest simulation attempted for such a configuration and is possible only thanks to adaptive grid refinement. Results are compared both with experiments and previous coarse-mesh numerical simulations. In particular, the one-point Probability Density Function (PDF) of the liquid velocity fluctuations is in good quantitative agreement with experiments, notably in the vertical direction, although more extreme events are sampled in the present configuration. The spectra of the liquid kinetic energy show a clear $k^{-3}$ scaling. The mechanisms underlying the energy transfer and notably the possible presence of a cascade are unveiled by a local scale-by-scale analysis in the physical space. The comparison with previous simulations indicate to what extent simulations not fully resolved may yet give correct results, from a statistical point of view.


title: From Data to Actions in Intelligent Transportation Systems: a Prescription of Functional Requirements for Model Actionability

abstract: Advances in Data Science permeate every field of Transportation Science and Engineering, resulting in developments in the transportation sector that {are} data-driven. Nowadays, Intelligent Transportation Systems (ITS) could be arguably approached as a ``story'' intensively producing and consuming large amounts of data. A~diversity of sensing devices densely spread over the infrastructure, vehicles or the travelers' personal devices act as sources of data flows that are eventually fed {into} software running on automatic devices, actuators or control systems producing, in~turn, complex information flows {among} users, traffic managers, data analysts, traffic modeling scientists, etc. These~information flows provide enormous opportunities to improve model development and decision-making. This work aims to describe how data, coming from diverse ITS sources, can be used to learn and adapt data-driven models for efficiently operating ITS assets, systems and processes; in~other words, for data-based models to fully become \emph{actionable}. Grounded in this described data modeling pipeline for ITS, we~define the characteristics, engineering requisites and challenges intrinsic to its three compounding stages, namely, data fusion, adaptive learning and model evaluation. We~deliberately generalize model learning to be adaptive, since, in~the core of our paper is the firm conviction that most learners will have to adapt to the ever-changing phenomenon scenario underlying the majority of ITS applications. Finally, we~provide a prospect of current research lines within Data Science that can bring notable advances to data-based ITS modeling, which will eventually bridge the gap towards the practicality and actionability of such models.


title: Simulation of Polarized Beams from Laser-Plasma Accelerators

abstract: The generation of polarized particle beams still relies on conventional particle accelerators, which are typically very large in scale and budget. Concepts based on laser-driven wake-field acceleration have strongly been promoted during the last decades. Despite many advances in the understanding of fundamental physical phenomena, one largely unexplored issue is how the particle spins are influenced by the huge magnetic fields of plasma and, thus, how highly polarized beams can be produced. The realization of laser-plasma based accelerators for polarized beams is now being pursued as a joint effort of groups from Forschungszentrum J\"ulich (Germany), University of Crete (Greece), and SIOM Shanghai (China) within the ATHENA consortium. As a first step, we have theoretically investigated and identified the mechanisms that influence the beam polarization in laser-plasma accelerators. We then carried out a set of Particle-in-cell simulations on the acceleration of electrons and proton beams from gaseous and foil targets. We could show that intense polarized beams may be produced if pre-polarized gas targets of high density are employed. In these proceedings we further present that the polarization of protons in HT and HCl gas targets is largely conserved during laser wake-field acceleration, even if the proton energies enter the multi-GeV regime. Such polarized sources for electrons, protons, deuterons and $^{3}$He ions are now being built in J\"ulich. Proof-of-principle measurements at the (multi-)PW laser facilities PHELIX (GSI Darmstadt) and SULF (Shanghai) are in preparation.


title: Trapped air metamaterials for ultrasonic sub-wavelength imaging in water

abstract: Acoustic metamaterials constructed from conventional base materials can exhibit exotic phenomena such as negative refractive index, extraordinary transmission-absorption and sub-wavelength imaging. These are typically achieved by combining geometrical and resonance effects. Holey-structured acoustic metamaterials have already shown potential for sub-wavelength acoustic imaging in air, where it is relatively simple to achieve the required difference in acoustic impedance needed to create resonances within the holes. However, the use of polymers for metamaterial operation in water is difficult, due to the much lower difference in acoustic impedance between water and the many polymers used, for example, in additive manufacturing. Hence, metals are commonly used. Here we show that this can be overcome by trapping air layers so that they surround each water-filled channel, making sub-wavelength imaging in water possible. The operation of such a Trapped air design is confirmed at 200-300 kHz ultrasonic frequencies via both finite element modelling and experimental measurements in a water tank. It is also shown quantitatively that the trapped air design outperforms its metal counterpart. The results indicate a way forward for exploiting additive-manufacturing for realising acoustic metamaterials in water at ultrasonic frequencies.


title: A Multi-wavelength View of OJ 287 Activity in 2015-2017: Implications of Spectral Changes on Central-engine Models and MeV-GeV Emission Mechanism

abstract: A diverse range of peculiar properties across the domains of observation have made OJ 287 one of the best-explored BL Lac objects on the issues of relativistic jets and accretion physics as well as the strong theory of gravity. We here present a brief compilation of observational results from the literature and inferences/insights from the extensive studies but focus on the interpretation of its $\sim$ 12-yr QPOOs and high energy emission mechanisms. The QPOOs in one model are attributed to the disk-impact related to dynamics of the binary SMBHs while alternative models attribute it to the geometrical effect related to the precession of a single jet or double jets. We discuss implications of the new spectral features reported during the 2015--2017 multi-wavelength high activity of the source -- a break in the NIR-optical spectrum and hardening of the MeV-GeV emission accompanied by a shift in the location of its peak, in the context of the two. The reported NIR-optical break nicely fits the description of a standard accretion disk emission from an SMBH of mass $\sim~10^{10}~M_\odot$ while the time of its first appearance in end-May 2013 (MJD 56439) is in close coincidence with the time of impact predicted by the disk-impact binary SMBH model. This spectral and temporal coincidence with the model parameters of the disk-impact binary SMBH model provides independent evidence in favor of the model over the geometrical models which argue a total central-engine mass in the range of $\rm 10^{7-9}~M_\odot$. On the other hand, the MeV-GeV spectral change is naturally reproduced by the inverse Compton scattering of photons from the broad-line region and is consistent with the detection of broad emission lines during the previous cycles of quasi-periodic outbursts. Combining this with previous SED studies suggests that in OJ 287, MeV-GeV emission results from external Comptonization.


title: Ab initio computation of charge densities for Sn and Xe isotopes

abstract: We present the first ab initio calculations for open-shell nuclei past the tin isotopic line, focusing on Xe isotopes as well as doubly-magic Sn isotopes. We show that, even for moderately hard interactions, it is possible to obtain meaningful predictions and that the NNLOsat chiral interaction predicts radii and charge density distributions close to the experiment. We then make a new prediction for ${}^{100}$Sn. This paves the way for ab initio studies of exotic charge density distributions at the limit of the present ab initio mass domain, where experimental data is becoming available. The present study closes the gap between the largest isotopes reachable by ab initio methods and the smallest exotic nuclei accessible to electron scattering experiments.


title: A Two-Stage Optimization-based Motion Planner for Safe Urban Driving

abstract: Recent road trials have shown that guaranteeing the safety of driving decisions is essential for the wider adoption of autonomous vehicle technology. One promising direction is to pose safety requirements as planning constraints in nonlinear, non-convex optimization problems of motion synthesis. However, many implementations of this approach are limited by uncertain convergence and local optimality of the solutions achieved, affecting overall robustness. To improve upon these issues, we propose a novel two-stage optimization framework: in the first stage, we find a solution to a Mixed-Integer Linear Programming (MILP) formulation of the motion synthesis problem, the output of which initializes a second Nonlinear Programming (NLP) stage. The MILP stage enforces hard constraints of safety and road rule compliance generating a solution in the right subspace, while the NLP stage refines the solution within the safety bounds for feasibility and smoothness. We demonstrate the effectiveness of our framework via simulated experiments of complex urban driving scenarios, outperforming a state-of-the-art baseline in metrics of convergence, comfort and progress.


title: Isometry theorem of gradient Shrinking Ricci solitons

abstract: In this paper, we have proved that if a complete conformally flat gradient shrinking Ricci soliton has linear volume growth or the scalar curvature is finitely integrable and also the reciprocal of the potential function is subharmonic, then the manifold is isometric to the Euclidean sphere. As a consequence, we have showed that a four dimensional gradient shrinking Ricci soliton satisfying some conditions is isometric to $\mathbb{S}^4$ or $\mathbb{RP}^4$ or $\mathbb{CP}^2$. We have also deduced a condition for the shrinking Ricci soliton to be compact with quadratic volume growth.


title: Fast response deep-ultraviolet photodetector based on high-quality single-crystalline CVD diamond

abstract: A high-performance fast response deep ultraviolet (UV) photodetectors with interdigitated Ti/Au planar electrodes using a lithography technology has fabricated on homoepitaxial diamond. The device shows a high ultraviolet photocurrent at 213 nm, which is eight orders of magnitude higher than the dark current at the bias voltages of 30 V. In addition, the time-resolved photoresponse measurements using a mechanical method and a pulsed 213 nm laser show that a good cycling, low persistent photoconductivity, and transient time-resolved response of up to 2.4 ns.


title: $W$-algebras associated with centralizers in type $A$

abstract: We introduce a new family of affine $W$-algebras associated with the centralizers of arbitrary nilpotent elements in $\mathfrak{gl}_N$. We define them by using a version of the BRST complex of the quantum Drinfeld--Sokolov reduction. A family of free generators of the new algebras is produced in an explicit form. We also give an analogue of the Fateev--Lukyanov realization for these algebras by applying a Miura-type map.


title: A Self-Integration Testbed for Decentralized Socio-technical Systems

abstract: The Internet of Things comes along with new challenges for experimenting, testing, and operating decentralized socio-technical systems at large-scale. In such systems, autonomous agents interact locally with their users, and remotely with other agents to make intelligent collective choices. Via these interactions they self-regulate the consumption and production of distributed resources. While such complex systems are often deployed and operated using centralized computing infrastructures, the socio-technical nature of these decentralized systems requires new value-sensitive design paradigms; empowering trust, transparency, and alignment with citizens' social values, such as privacy preservation, autonomy, and fairness among citizens' choices. Currently, instruments and tools to study such systems and guide the prototyping process from simulation to live deployment are missing, or not practical in this distributed socio-technical context. This paper bridges this gap by introducing a novel testbed architecture for decentralized socio-technical systems running on IoT. This new architecture is designed for a seamless reusability of (i) application-independent decentralized services by an IoT application, and (ii) different IoT applications by the same decentralized service. This dual self-integration promises IoT applications that are simpler to prototype, and can interoperate with decentralized services during runtime to self-integrate more complex functionality. Such integration provides stronger validation of IoT applications, and improves resource utilization. Pressure and crash tests during continuous operations of several weeks, with more than 80K network joining and leaving of agents, 2.4M parameter changes, and 100M communicated messages, confirm the robustness and practicality of the testbed architecture.


title: Toward good families of codes from towers of surfaces

abstract: We introduce in this article a new method to estimate the minimum distance of codes from algebraic surfaces. This lower bound is generic, i.e. can be applied to any surface, and turns out to be ``liftable'' under finite morphisms, paving the way toward the construction of good codes from towers of surfaces. In the same direction, we establish a criterion for a surface with a fixed finite set of closed points $\mathcal P$ to have an infinite tower of $\ell$--\'etale covers in which $\mathcal P$ splits totally. We conclude by stating several open problems. In particular, we relate the existence of asymptotically good codes from general type surfaces with a very ample canonical class to the behaviour of their number of rational points with respect to their $K^2$ and coherent Euler characteristic.


title: Regularity of Cohen-Macaulay Specht ideals

abstract: For a partition $\lambda$ of $n \in {\mathbb N}$, let $I^{\rm Sp}_\lambda$ be the ideal of $R=K[x_1,\ldots,x_n]$ generated by all Specht polynomials of shape $\lambda$. In the previous paper, the second author showed that if $R/I^{\rm Sp}_\lambda$ is Cohen-Macaulay, then $\lambda$ is either $(n-d,1,\ldots,1),(n-d,d)$, or $(d,d,1)$, and the converse is true if ${\rm char}(K)=0$. In this paper, we compute the Hilbert series of $R/I^{\rm Sp}_\lambda$ for $\lambda=(n-d,d)$ or $(d,d,1)$. Hence, we get the Castelnuovo-Mumford regularity of $R/I^{\rm Sp}_\lambda$, when it is Cohen-Macaulay. In particular, $I^{\rm Sp}_{(d,d,1)}$ has a $(d+2)$-linear resolution in the Cohen-Macaulay case.


title: Accurate optical spectra through time-dependent density functional theory based on screening-dependent hybrid functionals

abstract: We investigate optical absorption spectra obtained through time-dependent density functional theory (TD-DFT) based on nonempirical hybrid functionals that are designed to correctly reproduce the dielectric function. The comparison with state-of-the-art $GW$ calculations followed by the solution of the Bethe-Sapeter equation (BSE-$GW$) shows close agreement for both the transition energies and the main features of the spectra. We confront TD-DFT with BSE-$GW$ by focusing on the model dielectric function and the local exchange-correlation kernel. The present TD-DFT approach achieves the accuracy of BSE-$GW$ at a fraction of the computational cost.


title: Automorphismes du groupe des automorphismes d'un groupe de Coxeter universel

abstract: Using the Guirardel-Levitt outer space of a free product, we prove that the outer automorphism group of the outer automorphism group of the universal Coxeter group of rank $n \geq 5$ is trivial, and that it is a cyclic group of order 2 if $n=4$. In addition we prove that the outer automorphism group of the automorphism group of the universal Coxeter group of rank $n \geq 4$ is trivial.


title: Citation Data of Czech Apex Courts

abstract: In this paper, we introduce the citation data of the Czech apex courts (Supreme Court, Supreme Administrative Court and Constitutional Court). This dataset was automatically extracted from the corpus of texts of Czech court decisions - CzCDC 1.0. We obtained the citation data by building the natural language processing pipeline for extraction of the court decision identifiers. The pipeline included the (i) document segmentation model and the (ii) reference recognition model. Furthermore, the dataset was manually processed to achieve high-quality citation data as a base for subsequent qualitative and quantitative analyses. The dataset will be made available to the general public.


title: Geometric properties of adiabatic quantum thermal machines

abstract: We present a general unified approach for the study of quantum thermal machines, including both heat engines and refrigerators, operating under periodic adiabatic driving and in contact with thermal reservoirs kept at different temperatures. We show that many observables characterizing this operating mode and the performance of the machine are of geometric nature. Heat-work conversion mechanisms and dissipation of energy can be described, respectively, by the antisymmetric and symmetric components of a thermal geometric tensor defined in the space of time-dependent parameters generalized to include the temperature bias. The antisymmetric component can be identified as a Berry curvature, while the symmetric component defines the metric of the manifold. We show that the operation of adiabatic thermal machines, and consequently also their efficiency, are intimately related to these geometric aspects. We illustrate these ideas by discussing two specific cases: a slowly driven qubit asymmetrically coupled to two bosonic reservoirs kept at different temperatures, and a quantum dot driven by a rotating magnetic field and strongly coupled to electron reservoirs with different polarizations. Both examples are already amenable for an experimental verification.


title: Sphere and cylinder contact mechanics during slip

abstract: Using molecular dynamics (MD) we study the dependency of the contact mechanics on the sliding speed when an elastically soft slab (block) is sliding on a rigid substrate with a ${\rm sin} (q_0 x)$ surface height profile. The atoms on the block interact with the substrate atoms by Lennard-Jones potentials. We consider contacts with and without adhesion. We found that the contact area and the friction force are nearly velocity independent for small velocities ($v < 0.25 \ {\rm m/s}$) in spite of the fact that the shear stress in the contact area is rather non-uniform. For the case of no adhesion the friction coefficient is very small. For the case of adhesion the friction coefficient is higher, and is mainly due to energy dissipation at the opening crack tip, where rapid atomic snap-off events occur during sliding. Adhesion experiments between a human finger and a clean glass plate were carried out, and for a dry finger no macroscopic adhesion occurred. We suggest that the observed decrease in the contact area with increasing shear force results from non-adhesive finger-glass contact mechanics, involving large deformations of a complex layered material.


title: Skyrme-type nuclear interaction as a tool for calculating the finite nuclear size correction to atomic energy levels and the bound-electron $g$ factor

abstract: A state-of-the-art approach for calculating the finite nuclear size correction to atomic energy levels and the bound-electron $g$ factor is introduced and demonstrated for a series of highly charged hydrogen-like ions. Firstly, self-consistent mean-field calculations based on the Skyrme-type nuclear interaction are employed in order to produce a realistic nuclear proton distribution. In the second step, the obtained nuclear charge density is used to construct the potential of an extended nucleus, and the Dirac equation is solved numerically. The ambiguity in the choice of a Skyrme parametrization is supressed by fine-tuning of only one parameter of the Skyrme force in order to accurately reproduce the experimental values of nuclear radii in each particular case. The homogeneously charged sphere approximation, the two-parameter Fermi distribution and experimental nuclear charge distributions are used for comparison with our approach, and the uncertainties of the presented calculations are estimated. In addition, suppression of the finite nuclear size effect for the specific differences of $g$ factors is demonstrated.


title: Querying Guarded Fragments via Resolution

abstract: Answering Boolean conjunctive queries over the guarded fragment is decidable, however, as yet no practical decision procedure exists. Meanwhile, ordered resolution, as a practically oriented algorithm, is widely used in state-of-art modern theorem provers. In this paper, we devise a resolution decision procedure, which not only proves decidability of querying of the guarded fragment, but is implementable in any `off-the-shelf' resolution theorem prover with modest effort. Further, we extend the procedure to querying the loosely guarded fragment. The difficulty in querying a knowledge base of (loosely) guarded clauses is that query clauses are not guarded. We show however there are ways to reformulate query clauses into (loosely) guarded clauses either directly via the separation and splitting rules, or via performing inferences using our top-variable inference system combining with a form of dynamic renaming. Therefore, the problem of querying the (loosely) guarded fragment can be reduced to deciding the (loosely) guarded fragment and possibly irreducible query clauses, i.e., a clause that cannot derive any new conclusion. Meanwhile, our procedure yields a goal-oriented query rewriting algorithm: Before introducing datasets, one can produce a saturated clausal set $\mathcal{S}$ using given BCQs and (loosely) guarded theories. Clauses in $\mathcal{S}$ can be easily transformed first-order queries, therefore query answering over the (loosely) guarded fragment is reduced to evaluating a union of first-order queries over datasets. As far as we know, this is the first practical decision procedure for answering and rewriting Boolean conjunctive queries over the guarded fragment and the loosely guarded fragment.


title: On the equivalence between Value-at-Risk- and Expected Shortfall-based risk measures in non-concave optimization

abstract: We study a non-concave optimization problem in which a financial company maximizes the expected utility of the surplus under a risk-based regulatory constraint. For this problem, we consider four different prevalent risk constraints (Expected Shortfall, Expected Discounted Shortfall, Value-at-Risk, and Average Value-at-Risk), and investigate their effects on the optimal solution. Our main contributions are in obtaining an analytical solution under each of the four risk constraints, in the form of the optimal terminal wealth. We show that the four risk constraints lead to the same optimal solution, which differs from previous conclusions obtained from the corresponding concave optimization problem under a risk constraint. Compared with the benchmark (unconstrained) non-concave utility maximization problem, all four risk constraints effectively and equivalently reduce the set of zero terminal wealth, but do not fully eliminate this set, indicating the success and failure of the respective financial regulations.


title: Maps preserving absolute continuity and singularity of positive operators

abstract: In this paper we consider the cone of all positive, bounded operators acting on an infinite dimensional, complex Hilbert space, and examine bijective maps that preserve absolute continuity in both directions. It turns out that these maps are exactly those that preserve singularity in both directions. Moreover, in some weak sense, such maps are always induced by bounded, invertible, linear- or conjugate linear operators of the underlying Hilbert space. Our result gives a possible generalization of a recent theorem of Molnar which characterizes maps on the positive cone that preserve the Lebesgue decomposition of operators.


title: Collective motion of mutually coupled Thomas Oscillators: Spatially Separated Swirling Motion and Eddy Diffusion

abstract: In this letter, we report a numerical study on the collective dynamics of two mutually coupled Thomas oscillators with linear/nonlinear coupling in a dynamic environment. We claim our model calculations can explain the diffusion of interacting particles in a fluid. In an ordinary fluid, frequent momentum transfer between particles keeps the particles in a fluid moving together with correlated time behaviour. The diffusion of interacting particles in a dynamic environment like this is a nonequilibrium phenomenon and is similar to the observed transient chaotic dynamics in the model. The detailed study of the nature of dynamics and synchronization reveals that, for two qualitatively different regimes of system parameters, the coupled system passes through an interval of transient chaos before it settles into a chaotic or limit cycle attractor. The linear diffusive coupling is equivalent to weak momentum transfer, leading to conventional dynamics and synchronization. The sinusoidal nonlinear coupling, harmonic momentum transfer, produces exceptional dynamical features. The nature of synchronization is complete(directed motion) when the attractor is chaotic or an unstable transient attractor. In contrast, it is either lag, anti-lag, or space lag for a limit cycle. In such situations, the diffusion is due to particles pedalling and eddy/swirling motion on top of translatory motion via transient chaos. Also, the trajectories of the two particles in the state space resemble a Chiral Phenomenon.


title: Classical Simulation of High Temperature Quantum Ising Models

abstract: We consider generalized quantum Ising models, including those which could describe disordered materials or quantum annealers, and we prove that for all temperatures above a system-size independent threshold the path integral Monte Carlo method based on worldline heat-bath updates always mixes to stationarity in time $\mathcal{O}(n \log n)$ for an $n$ qubit system, and therefore provides a fully polynomial-time approximation scheme for the partition function. This result holds whenever the temperature is greater than four plus twice the maximum interaction degree (valence) over all qubits, measured in units of the local coupling strength. For example, this implies that the classical simulation of the thermal state of a superconducting device modeling a frustrated quantum Ising model with maximum valence of 6 and coupling strengths of 1 GHz is always possible at temperatures above 800 mK. Despite the quantum system being at high temperature, the classical spin system resulting from the quantum-to-classical mapping contains strong couplings which cause the single-site Glauber dynamics to mix slowly, therefore this result depends on the use of worldline updates (which are a form of cluster updates that can be implemented efficiently). This result places definite constraints on the temperatures required for a quantum advantage in analog quantum simulation with various NISQ devices based on equilibrium states of quantum Ising models.


title: Existence of solutions for systems arising in electromagnetism

abstract: In this paper, we study the following $p(x)$-curl systems: \begin{eqnarray*} \begin{cases} \nabla\times(|\nabla\times \mathbf{u}|^{p(x)-2}\nabla\times \mathbf{u})+a(x)|\mathbf{u}|^{p(x)-2}\mathbf{u}=\lambda f(x,\mathbf{u})+\mu g(x,\mathbf{u}),\quad\nabla\cdot \mathbf{u}=0,\; \mbox{ in } \Omega, \\ |\nabla\times \mathbf{u}|^{p(x)-2}\nabla\times \mathbf{u}\times \mathbf{n}=0,\quad \mathbf{u}\cdot \mathbf{n}=0, \mbox{ on } \partial\Omega, \end{cases} \end{eqnarray*} where $\Omega \subset \mathbb{R}^{3}$ is a bounded simply connected domain with a $C^{1,1}$-boundary, denoted by $\partial \Omega$, $p:\overline{\Omega}\to (1, +\infty)$ is a continuous function, $a \in L^\infty(\Omega)$, $f,g : \Omega \times \mathbb{R}^{3}\to \mathbb{R}^{3}$ are Carath\'{e}odory functions, and $\lambda,\mu$ are two parameters. Using variational arguments based on Fountain theorem and Dual Fountain theorem, we establish some existence and non-existence results for solutions of this problem. Our main results generalize the results of Xiang et al. (J. Math. Anal. Appl., 2017), Bahrouni and Repov\v{s} (Complex Var. Elliptic Equ., 2018), and Ge and Lu (Mediterr. J. Math., 2019).


title: Nonlinear Dynamical System Model for Drive Mode Amplitude Instabilities in MEMS Gyroscopes

abstract: The requirements pertaining to the reliability and accuracy of micro-electromechanical gyroscopic sensors are increasing,as systems for vehicle localization emerge as an enabling factor for autonomous driving. Since micro-electromechanical systems (MEMS) became a mature technology, the modelling techniques used for predicting their behaviour expanded from mostly linear approaches to include nonlinear dynamic effects. This leads to an increased understanding of the various nonlinear phenomena that limit the performance of MEMS sensors. In this work, we develop a model of two nonlinearly coupled mechanical modes and employ it to explain measured drive mode instabilities in MEMS gyroscopes. Due to 3:1 internal resonance between the drive mode and a parasitic mode, energy transfer within the conservative system occurs. From measurements of amplitude response curves showing hysteresis effects, we extract all nonlinear system parameters and conclude that the steady-state model needs to be expanded by a transient simulation in order to fully explain the measured system behaviour.


title: Spectral invariance of $*$-representations of twisted convolution algebras with applications in Gabor analysis

abstract: We show spectral invariance for faithful $*$-representations for a class of twisted convolution algebras. More precisely, if $G$ is a locally compact group with a continuous $2$-cocycle $c$ for which the corresponding Mackey group $G_c$ is $C^*$-unique and symmetric, then the twisted convolution algebra $L^1 (G,c)$ is spectrally invariant in $\mathbb{B}(\mathcal{H})$ for any faithful $*$-representation of $L^1 (G,c)$ as bounded operators on a Hilbert space $\mathcal{H}$. As an application of this result we give a proof of the statement that if $\Delta$ is a closed cocompact subgroup of the phase space of a locally compact abelian group $G'$, and if $g$ is some function in the Feichtinger algebra $S_0 (G')$ that generates a Gabor frame for $L^2 (G')$ over $\Delta$, then both the canonical dual atom and the canonical tight atom associated to $g$ are also in $S_0 (G')$. We do this without the use of periodization techniques from Gabor analysis.


title: Jacobsthal sums and permutations of biquadratic residues

abstract: Let $p\equiv1\pmod 4$ be a prime. In this paper, with the help of Jacobsthal sums, we study some permutation problems involving biquadratic residues modulo $p$.


title: The stability of persistent homology of hypergraphs

abstract: Hypergraph is the most general model for complex networks involving group interactions. Taking the ideas of path homology from Alexander Grigor'yan, Yong Lin, Yuri Muranov and Shing-Tung Yau [18-22], Stephane Bressan, Jingyan Li and the authors of this article introduced embedded homology of hypergraphs [6] in 2019, which has leaded to successful applications in protein-ligand binding network [24, 25] in 2021. A fundamental question arising from practical applications is about the stability of the persistent embedded homology of hypergraphs. In this paper, we prove the stability of the persistent embedded homology as well as the persistent homology of the associated simplicial complex with respect to perturbations of the filtration on a hypergraph. We apply the persistent homology methods to morphisms of hypergraphs and prove the stability with respect to perturbations of the filtrations. We prove the constancy of the persistent Betti numbers under some conditions on the simple-homotopy types of hypergraphs.


title: Towards Semantic Noise Cleansing of Categorical Data based on Semantic Infusion

abstract: Semantic Noise affects text analytics activities for the domain-specific industries significantly. It impedes the text understanding which holds prime importance in the critical decision making tasks. In this work, we formalize semantic noise as a sequence of terms that do not contribute to the narrative of the text. We look beyond the notion of standard statistically-based stop words and consider the semantics of terms to exclude the semantic noise. We present a novel Semantic Infusion technique to associate meta-data with the categorical corpus text and demonstrate its near-lossless nature. Based on this technique, we propose an unsupervised text-preprocessing framework to filter the semantic noise using the context of the terms. Later we present the evaluation results of the proposed framework using a web forum dataset from the automobile-domain.


title: Robust Semiparametric Efficient Estimators in Elliptical Distributions

abstract: Covariance matrices play a major role in statistics, signal processing and machine learning applications. This paper focuses on the \textit{semiparametric} covariance/scatter matrix estimation problem in elliptical distributions. The class of elliptical distributions can be seen as a semiparametric model where the finite-dimensional vector of interest is given by the location vector and by the (vectorized) covariance/scatter matrix, while the density generator represents an infinite-dimensional nuisance function. The main aim of this work is then to provide possible estimators of the finite-dimensional parameter vector able to reconcile the two dichotomic concepts of \textit{robustness} and (semiparametric) \textit{efficiency}. An $R$-estimator satisfying these requirements has been recently proposed by Hallin, Oja and Paindaveine for real-valued elliptical data by exploiting the Le Cam's theory of \textit{one-step efficient estimators} and the \textit{rank-based statistics}. In this paper, we firstly recall the building blocks underlying the derivation of such real-valued $R$-estimator, then its extension to complex-valued data is proposed. Moreover, through numerical simulations, its estimation performance and robustness to outliers are investigated in a finite-sample regime.


title: Spin Reversal of a Quantum Hall Ferromagnet at a Landau Level Crossing

abstract: When Landau levels (LLs) become degenerate near the Fermi energy in the quantum Hall regime, interaction effects can drastically modify the electronic ground state. We study the quantum Hall ferromagnet formed in a two-dimensional hole gas around the LL filling factor $\nu=1$ in the vicinity of a LL crossing in the heave-hole valence band. Cavity spectroscopy in the strong-coupling regime allows us to optically extract the two-dimensional hole gas' spin polarization. By analyzing this polarization as a function of hole density and magnetic field, we observe a spin flip of the ferromagnet. Furthermore, the depolarization away from $\nu=1$ accelerates close to the LL crossing. This is indicative of an increase in the size of Skyrmion excitations as the effective Zeeman energy vanishes at the LL crossing.


title: Application of multi-objective optimization to blind source separation

abstract: Several problems in signal processing are addressed by expert systems which take into account a set of priors on the sought signals and systems. For instance, blind source separation is often tackled by means of a mono-objective formulation which relies on a separation criterion associated with a given property of the sought signals (sources). However, in many practical situations, there are more than one property to be exploited and, as a consequence, a set of separation criteria may be used to recover the original signals. In this context, this paper addresses the separation problem by means of an approach based on multi-objective optimization. Differently from the existing methods, which provide only one estimate for the original signals, our proposal leads to a set of solutions that can be utilized by the system user to take his/her decision. Results obtained through numerical experiments over a set of biomedical signals highlight the viability of the proposed approach, which provides estimations closer to the mean squared error solutions compared to the ones achieved via a mono-objective formulation. Moreover, since our proposal is quite general, this work also contributes to encourage future researches to develop expert systems that exploit the multi-objective formulation in different source separation problems.


title: Transition Probabilities in Generalized Quantum Search Hamiltonian Evolutions

abstract: A relevant problem in quantum computing concerns how fast a source state can be driven into a target state according to Schr\"odinger's quantum mechanical evolution specified by a suitable driving Hamiltonian. In this paper, we study in detail the computational aspects necessary to calculate the transition probability from a source state to a target state in a continuous time quantum search problem defined by a multi-parameter generalized time-independent Hamiltonian. In particular, quantifying the performance of a quantum search in terms of speed (minimum search time) and fidelity (maximum success probability), we consider a variety of special cases that emerge from the generalized Hamiltonian. In the context of optimal quantum search, we find it is possible to outperform, in terms of minimum search time, the well-known Farhi-Gutmann analog quantum search algorithm. In the context of nearly optimal quantum search, instead, we show it is possible to identify sub-optimal search algorithms capable of outperforming optimal search algorithms if only a sufficiently high success probability is sought. Finally, we briefly discuss the relevance of a tradeoff between speed and fidelity with emphasis on issues of both theoretical and practical importance to quantum information processing.


title: Simulation of plasmaspheric plume impact on dayside magnetic reconnection

abstract: During periods of strong magnetic activity, cold dense plasma from the plasmasphere typically forms a plume extending towards the dayside magnetopause, eventually reaching it. In this work, we present a large-scale two-dimensional fully kinetic Particle-In-Cell simulation of a reconnecting magnetopause hit by a propagating plasmaspheric plume. The simulation is designed so that it undergoes four distinct phases: initial unsteady state, steady state prior to plume arrival at the magnetospause, plume interaction and steady state once the plume is well engulfed in the reconnection site. We show the evolution of the magnetopause's dynamics subjected to the modification of the inflowing plasma. Our main result is that the change in the plasma temperature (cold protons in the plume) have no effects on the magnetic reconnection rate, which on average depends only on the inflowing magnetic field and total ion density, before, during and after the impact.


title: Information Geometry Aspects of Minimum Entropy Production Paths from Quantum Mechanical Evolutions

abstract: We present an information geometric analysis of entropic speeds and entropy production rates in geodesic evolution on manifolds of parametrized quantum states. These pure states emerge as outputs of suitable su(2; C) time-dependent Hamiltonian operators used to describe distinct types of analog quantum search schemes. The Riemannian metrization on the manifold is specified by the Fisher information evaluated along the parametrized squared probability amplitudes obtained from analysis of the temporal quantum mechanical evolution of a spin-1/2 particle in an external time-dependent magnetic field that specifies the su(2; C) Hamiltonian model. We employ a minimum action method to transfer a quantum system from an initial state to a final state on the manifold in a finite temporal interval. Furthermore, we demonstrate that the minimizing (optimum) path is the shortest (geodesic) path between the two states, and, in particular, minimizes also the total entropy production that occurs during the transfer. Finally, by evaluating the entropic speed and the total entropy production along the optimum transfer paths in a number of physical scenarios of interest in analog quantum search problems, we show in a clear quantitative manner that to a faster transfer there corresponds necessarily a higher entropy production rate. Thus, we conclude that lower entropic efficiency values appear to accompany higher entropic speed values in quantum transfer processes.


title: Probing surface charge densities on optical fibers with a trapped ion

abstract: We describe a novel method to measure the surface charge densities on optical fibers placed in the vicinity of a trapped ion, where the ion itself acts as the probe. Surface charges distort the trapping potential, and when the fibers are displaced, the ion's equilibrium position and secular motional frequencies are altered. We measure the latter quantities for different positions of the fibers and compare these measurements to simulations in which unknown charge densities on the fibers are adjustable parameters. Values ranging from $-10$ to $+50$ e/$\mu$m$^2$ were determined. Our results will benefit the design and simulation of miniaturized experimental systems combining ion traps and integrated optics, for example, in the fields of quantum computation, communication and metrology. Furthermore, our method can be applied to any setup in which a dielectric element can be displaced relative to a trapped charge-sensitive particle.


title: Boundedness of $(\epsilon, n)$-Complements for Surfaces

abstract: We show the existence of $(\epsilon,n)$-complements for $(\epsilon,\mathbb{R})$-complementary surface pairs when the coefficients of boundaries belong to a DCC set.


title: Almost Sure Convergence of Dropout Algorithms for Neural Networks

abstract: We investigate the convergence and convergence rate of stochastic training algorithms for Neural Networks (NNs) that have been inspired by Dropout (Hinton et al., 2012). With the goal of avoiding overfitting during training of NNs, dropout algorithms consist in practice of multiplying the weight matrices of a NN componentwise by independently drawn random matrices with $\{0, 1 \}$-valued entries during each iteration of Stochastic Gradient Descent (SGD). This paper presents a probability theoretical proof that for fully-connected NNs with differentiable, polynomially bounded activation functions, if we project the weights onto a compact set when using a dropout algorithm, then the weights of the NN converge to a unique stationary point of a projected system of Ordinary Differential Equations (ODEs). After this general convergence guarantee, we go on to investigate the convergence rate of dropout. Firstly, we obtain generic sample complexity bounds for finding $\epsilon$-stationary points of smooth nonconvex functions using SGD with dropout that explicitly depend on the dropout probability. Secondly, we obtain an upper bound on the rate of convergence of Gradient Descent (GD) on the limiting ODEs of dropout algorithms for NNs with the shape of arborescences of arbitrary depth and with linear activation functions. The latter bound shows that for an algorithm such as Dropout or Dropconnect (Wan et al., 2013), the convergence rate can be impaired exponentially by the depth of the arborescence. In contrast, we experimentally observe no such dependence for wide NNs with just a few dropout layers. We also provide a heuristic argument for this observation. Our results suggest that there is a change of scale of the effect of the dropout probability in the convergence rate that depends on the relative size of the width of the NN compared to its depth.


title: Information Geometric Perspective on Off-Resonance Effects in Driven Two-Level Quantum Systems

abstract: We present an information geometric analysis of off-resonance effects on classes of exactly solvable generalized semi-classical Rabi systems. Specifically, we consider population transfer performed by four distinct off-resonant driving schemes specified by su(2; C) time-dependent Hamiltonian models. For each scheme, we study the consequences of a departure from the on-resonance condition in terms of both geodesic paths and geodesic speeds on the corresponding manifold of transition probability vectors. In particular, we analyze the robustness of each driving scheme against off-resonance effects. Moreover, we report on a possible tradeoff between speed and robustness in the driving schemes being investigated. Finally, we discuss the emergence of a different relative ranking in terms of performance among the various driving schemes when transitioning from on-resonant to off-resonant scenarios.


title: A Non-Linear Magnetic Field Calibration Method for Filter-Based Magnetographs by Multilayer Perceptron

abstract: For filter-based magnetographs, the linear calibration method under the weak-field assumption is usually adopted; this leads to magnetic saturation effect in the regions with strong magnetic field. This article explores a new method to overcome the above disadvantage using a multilayer perceptron network, which we call MagMLP, based on a back-propagation algorithm with one input layer, five hidden layers, and one output layer. We use the data from the \textit{Spectropolarimeter} (SP) on board \textit{Hinode} to simulate single-wavelength observations for the model training, and take into account the influence of the Doppler velocity field and the filling factor. The training results show that the linear fitting coefficient (LFC) of the transverse field reaches above 0.91, and that of the longitudinal field is above 0.98. The generalization of the models is good because the corresponding LFCs are above 0.9 for the test subsets. Compared with the linear calibration method, the MagMLP is much more effective on dealing with the magnetic saturation effect. Analyzing an active region, the results of the linear calibration present an evident magnetic saturation effect in the umbra regions; the corresponding systematic error reaches values greater than 1000 G in most areas, or even exceeds 2000 G at some pixels. However, the results of MagMLP at these locations are very close to the inversion results, and the systematic errors are basically within 300 G. In addition, we find that there are many "bright spots" and "dark spots" on the inclination angle images from the inversion results of \textit{Hinode}/SP with values of 180 and 0 degrees, respectively, where the inversion is not reliable and does not produce a good result; the MagMLP handles these points well.


title: Uncovering differential equations from data with hidden variables

abstract: SINDy is a method for learning system of differential equations from data by solving a sparse linear regression optimization problem [Brunton et al., 2016]. In this article, we propose an extension of the SINDy method that learns systems of differential equations in cases where some of the variables are not observed. Our extension is based on regressing a higher order time derivative of a target variable onto a dictionary of functions that includes lower order time derivatives of the target variable. We evaluate our method by measuring the prediction accuracy of the learned dynamical systems on synthetic data and on a real data-set of temperature time series provided by the R\'eseau de Transport d'\'Electricit\'e (RTE). Our method provides high quality short-term forecasts and it is orders of magnitude faster than competing methods for learning differential equations with latent variables.


title: N-point spherical functions and asymptotic boundary KZB equations

abstract: Let $G$ be a split real connected Lie group with finite center. In the first part of the paper we define and study formal elementary spherical functions. They are formal power series analogues of elementary spherical functions on $G$ in which the role of the quasi-simple admissible $G$-representations is replaced by Verma modules. For generic highest weight we express the formal elementary spherical functions in terms of Harish-Chandra series and integrate them to spherical functions on the regular part of $G$. We show that they produce eigenstates for spin versions of quantum hyperbolic Calogero-Moser systems. In the second part of the paper we define and study special subclasses of global and formal elementary spherical functions, which we call global and formal $N$-point spherical functions. Formal $N$-point spherical functions arise as limits of correlation functions for boundary Wess-Zumino-Witten conformal field theory on the cylinder when the position variables tend to infinity. We construct global $N$-point spherical functions in terms of compositions of equivariant differential intertwiners associated with principal series representations, and express them in terms of Eisenstein integrals. We show that the eigenstates of the spin quantum Calogero-Moser system associated to $N$-point spherical functions are also common eigenfunctions of a commuting family of first-order differential operators, which we call asymptotic boundary Knizhnik-Zamolodchikov-Bernard operators. These operators are explicitly given in terms of $\theta$-folded classical dynamical $r$-matrices and associated dynamical $k$-matrices.


title: Parametric Amplification of Broadband Vibrational Energy Harvesters for Energy-Autonomous Sensors Enabled by Field-Induced Striction

abstract: We investigate the influence of parametric excitation on MEMS vibration energy harvesters for energy autonomous sensor systems. In Industry 4.0 (or Industrial IoT) applications, interconnected sensors provide a means of data acquisition for automated control of the manufacturing process. Ensuring a continuous energy supply to the sensors is essential for their reliable operation. Manufacturing machines usually display a wide spectrum of vibration frequencies which needs to be covered by an array of harvester substructures in order to maintain the desired output level. We show that mechanical structures designed to implement a Helmholtz-Duffing oscillator have an increased bandwidth by exploiting several orders of parametric resonances. In contrast to concepts implementing parametric amplification in a multi-mode scenario, our concept is based on a single mechanical mode. Therefore, it is more robust against fabrication tolerances as the relevant multi-mode resonance conditions do not need to be matched on the level of single chips. Using exact transient simulations and semi-analytic models to showcase the relation of the Helmholtz-Duffing oscillator to the damped and driven Mathieu equation, we show that parametric resonances highly increase the bandwidth of the output power whenever high Helmholtz nonlinearities are present. To achieve the required nonlinearities, we suggest nonlinear stress-strain curves and we propose to achieve such nonlinearities through field-induced striction by magneto- or electrostriction. Thus, we are able to propose a novel energy harvester concept incorporating strictive materials that exploits the effects of parametric excitation to achieve broadband vibrational energy harvesting.


title: Friction of Physisorbed Nanotubes: Rolling or Sliding?

abstract: The structure and motion of carbon and h-BN nanotubes (NTs) deposited on graphene is inquired theoretically by simulations based on state-of-the-art interatomic force fields. Results show that any typical cylinder-over-surface approximation is essentially inaccurate. NTs tend to flatten at the interface with the substrate and upon driving they can either roll or slide depending on their size and on their relative orientation with the substrate. In the epitaxially aligned orientation we find that rolling is always the main mechanism of motion, producing a kinetic friction linearly growing with the number of walls, in turn causing an unprecedented supra-linear scaling with the contact area. A 30 degrees misalignment raises superlubric effects, making sliding favorable against rolling. The resulting rolling-to-sliding transition in misaligned NTs is explained in terms of the faceting appearing in large multi-wall tubes, which is responsible for the increased rotational stiffness. Modifying the geometrical conditions provides an additional means of drastically tailoring the frictional properties in this unique tribological system.