title: Classifying compact 4-manifolds via generalized regular genus and G-degree

abstract: (d+1)-colored graphs, i.e. edge-colored graphs that are (d+1)-regular, have already been proved to be a useful representation tool for compact PL d-manifolds, thus extending the theory (known as crystallization theory) originally developed for the closed case. In this context, combinatorially defined PL invariants play a relevant role. The present paper focuses in particular on generalized regular genus and G-degree: the first one extending to higher dimension the classical notion of Heegaard genus for 3-manifolds, the second one arising, within theoretical physics, from the theory of random tensors as an approach to quantum gravity in dimension greater than two. We establish several general results concerning the two invariants, in relation with invariants of the boundary and with the rank of the fundamental group, as well as their behaviour with respect to connected sums. We also compute both generalized regular genus and G-degree for interesting classes of compact d-manifolds, such as handlebodies, products of closed manifolds by the interval and D^2-bundles over S^2. The main results of the paper concern dimension 4, where we obtain the classification of all compact PL manifolds with generalized regular genus at most one, and of all compact PL manifolds with G-degree at most 18; moreover, in case of empty or connected boundary, the classifications are extended to generalized regular genus two and to G-degree 24.


title: Predicting Soil pH by Using Nearest Fields

abstract: In precision agriculture (PA), soil sampling and testing operation is prior to planting any new crop. It is an expensive operation since there are many soil characteristics to take into account. This paper gives an overview of soil characteristics and their relationships with crop yield and soil profiling. We propose an approach for predicting soil pH based on nearest neighbour fields. It implements spatial radius queries and various regression techniques in data mining. We use soil dataset containing about 4,000 fields profiles to evaluate them and analyse their robustness. A comparative study indicates that LR, SVR, and GBRT techniques achieved high accuracy, with the R_2 values of about 0.718 and MAE values of 0.29. The experimental results showed that the proposed approach is very promising and can contribute significantly to PA.


title: New design of gravitational wave detectors

abstract: We propose a novel approach to detect gravitational waves based on a semi-rigid detector. The approach relies upon the time delay that the light takes to travel from a fixed mirror at the end of a rigid bar to a nearby free mirror. We show that the dimensions of the experimental device can be shortened in comparison to the conventional ones based on two free mirrors.


title: Large Resistance Change on Magnetic Tunnel Junction based Molecular Spintronics Devices

abstract: Molecular bridges covalently bonded to two ferromagnetic electrodes can transform ferromagnetic materials and produce intriguing spin transport characteristics. This paper discusses the impact of molecule induced strong coupling on spin transport. To study the molecular coupling effect organometallic molecular complex (OMC) was bridged between two ferromagnetic electrodes of a magnetic tunnel junction (Ta/Co/NiFe/AlOx/NiFe/Ta) along the exposed side edges. OMCs induced strong iter-ferromagnetic electrode coupling to yield drastic changes in transport properties of the magnetic tunnel junction testbed at the room temperature. These OMCs also transformed the magnetic properties of magnetic tunnel junctions. SQUID and ferromagnetic resonance studies provided insightful data to explain transport studies on the magnetic tunnel junction based molecular spintronics devices.


title: Joint Graph-based Depth Refinement and Normal Estimation

abstract: Depth estimation is an essential component in understanding the 3D geometry of a scene, with numerous applications in urban and indoor settings. These scenes are characterized by a prevalence of human made structures, which in most of the cases, are either inherently piece-wise planar, or can be approximated as such. In these settings, we devise a novel depth refinement framework that aims at recovering the underlying piece-wise planarity of the inverse depth map. We formulate this task as an optimization problem involving a data fidelity term that minimizes the distance to the input inverse depth map, as well as a regularization that enforces a piece-wise planar solution. As for the regularization term, we model the inverse depth map as a weighted graph between pixels. The proposed regularization is designed to estimate a plane automatically at each pixel, without any need for an a priori estimation of the scene planes, and at the same time it encourages similar pixels to be assigned to the same plane. The resulting optimization problem is efficiently solved with ADAM algorithm. Experiments show that our method leads to a significant improvement in depth refinement, both visually and numerically, with respect to state-of-the-art algorithms on Middlebury, KITTI and ETH3D multi-view stereo datasets.


title: Restricted mean value theorems and metric theory of restricted Weyl sums

abstract: We study an apparently new question about the behaviour of Weyl sums on a subset $\mathcal{X}\subseteq [0,1)^d$ with a natural measure $\mu$ on $\mathcal{X}$. For certain measure spaces $(\mathcal{X}, \mu)$ we obtain non-trivial bounds for the mean values of the Weyl sums, and for $\mu$-almost all points of $\mathcal{X}$ the Weyl sums satisfy the square root cancellation law. Moreover we characterise the size of the exceptional sets in terms of Hausdorff dimension. Finally, we derive variants of the Vinogradov mean value theorem averaging over measure spaces $(\mathcal{X}, \mu)$. We obtain general results, which we refine for some special spaces $\mathcal{X}$ such as spheres, moment curves and line segments.


title: Bayesian Model Selection for Change Point Detection and Clustering

abstract: We address the new problem of estimating a piece-wise constant signal with the purpose of detecting its change points and the levels of clusters. Our approach is to model it as a nonparametric penalized least square model selection on a family of models indexed over the collection of partitions of the design points and propose a computationally efficient algorithm to approximately solve it. Statistically, minimizing such a penalized criterion yields an approximation to the maximum a posteriori probability (MAP) estimator. The criterion is then analyzed and an oracle inequality is derived using a Gaussian concentration inequality. The oracle inequality is used to derive on one hand conditions for consistency and on the other hand an adaptive upper bound on the expected square risk of the estimator, which statistically motivates our approximation. Finally, we apply our algorithm to simulated data to experimentally validate the statistical guarantees and illustrate its behavior.


title: Deep Nitsche Method: Deep Ritz Method with Essential Boundary Conditions

abstract: We propose a new method to deal with the essential boundary conditions encountered in the deep learning-based numerical solvers for partial differential equations. The trial functions representing by deep neural networks are non-interpolatory, which makes the enforcement of the essential boundary conditions a nontrivial matter. Our method resorts to Nitsche's variational formulation to deal with this difficulty, which is consistent, and does not require significant extra computational costs. We prove the error estimate in the energy norm and illustrate the method on several representative problems posed in at most 100 dimension.


title: Singular Gauss sums, Polya-Vinogradov inequality for $GL(2)$ and growth of primitive elements

abstract: We establish an analogue of the classical Polya-Vinogradov inequality for $GL(2, \F_p)$, where $p$ is a prime. In the process, we compute the `singular' Gauss sums for $GL(2, \F_p)$. As an application, we show that the collection of elements in $GL(2,\Z)$ whose reduction modulo $p$ are of maximal order in $GL(2, \F_p)$ and whose matrix entries are bounded by $x$ has the expected size as soon as $x\gg p^{1/2+\ep}$ for any $\ep>0$. In particular, there exist elements in $GL(2,\Z)$ with matrix entries that are of the order $O(p^{1/2+\ep})$ whose reduction modulo $p$ are primitive elements.


title: Dynamic Majorana resonances and universal symmetry of nonequilibrium thermoelectric quantum noise

abstract: Nonequilibrium states of a nanoscopic system may be achieved by both applying a bias voltage $V$ to its contacts and producing a difference $\Delta T$ in their temperatures. Then the total current results from two competing flows, induced by $V$ and $\Delta T$, respectively. Here we explore finite frequency quantum noise of this thermoelectric current flowing through a quantum dot whose low-energy dynamics is governed by Majorana degrees of freedom. We demonstrate that at finite frequency $\omega$ Majorana zero modes induce a perfect universal symmetry between photon emission and absorption spectra and produce universal thermoelectric resonances in their frequency dependence in contrast to non-Majorana quantum noise which is either asymmetric or non-universal. In particular, at low temperatures the differential thermoelectric quantum noise induced by Majorana zero modes shows resonances with a nontrivial maximum $\frac{e^3}{h}\log(2^{1/4})$ at $\omega=\mp\frac{|eV|}{\hbar}$ when $k_\text{B}\Delta T\ll|eV|$. Our results challenge cutting-edge experiments using quantum noise detectors to reveal the universal spectral symmetry and resonant structure of the Majorana thermoelectric finite frequency quantum noise.


title: Reversible Gas Sensing by Ferroelectric Switch and 2D Molecule Multiferroics in In2Se3 Monolayer

abstract: Two-dimensional ferroelectrics are important quantum materials which have found novel application in nonvolatile memories, however, the effects of reversible polarization on chemical reactions and interaction with environments are rarely studied despite of its importance. Here, based on the first-principles calculations, we found distinct gas adsorption behaviors on the surfaces of ferroelectric In2Se3 layer and the reversible gas caption and release controlled by ferroelectric switch. We rationalize the novel phenomena to the synergistic effect of the different electrostatic potential and electron transfer induced by band alignments between frontier molecular orbitals of gas and band edge states of substrate. Excitingly, the adsorption of paramagnetic gas molecules such as NO and NO2 can induce surface magnetism, which is also sensitive to ferroelectric polarization direction of In2Se3, indicating the application of In2Se3 as threshold magnetic sensors or switcher. Furthermore, it is suggested two NO molecules prefer to ferromagnetically couple with each other, the Curie temperature is polarization dependent which can reach up to 50K, leading to the long-sought 2D molecule multiferroics. The ferroelectric controllable adsorption behavior and molecule multiferroic feature will find extensive application in gas caption, selective catalytic reduction and spintronic device.


title: Swarming transitions in hierarchical societies

abstract: Social hierarchy is central to decision-making in the coordinated movement of many swarming species. Here we propose a hierarchical swarm model in the spirit of the Vicsek model of self-propelled particles. We show that, as the hierarchy becomes important, the swarming transition changes from the weak first-order transition observed for egalitarian populations, to a stronger first-order transition for intermediately strong hierarchies, and finally the discontinuity reduces till vanish, where the order-disorder transition appears to be absent in the extremely despotic societies. Associated to this we observe that the spatial structure of the swarm, as measured by the correlation between the density and velocity fields, is strongly mediated by the hierarchy. A two-group model and vectorial noise are also studied for verification. Our results point out the particular relevance of the hierarchical structures to swarming transitions when doing specific case studies.

categories: physics.bio-ph cond-mat.dis-nn cond-mat.stat-mech nlin.AO


title: The structure of clusters formed by Stockmayer supracolloidal magnetic polymers

abstract: Unlike Stockmayer fluids, that prove to undergo gas-liquid transition on cooling, the system of dipolar hard or soft spheres without any additional central attraction so far has not been shown to have a critical point. Instead, in the latter, one observes diverse self-assembly scenarios. Crosslinking dipolar soft spheres into supracolloidal magnetic polymer-like structures (SMPs) changes the self-assembly behaviour. Moreover, aggregation in systems of SMPs strongly depends on the constituent topology. For Y- and X-shaped SMPs, under the same conditions in which dipolar hard spheres would form chains, the formation of very large loose gel-like clusters was observed [Journal of Molecular Liquids, 271, 631 (2018)]. In this work, using molecular dynamics simulations, we investigate self-assembly in suspensions of four topologically different SMPs -- chains, rings, X and Y -- monomers in which interact via Stockmayer potential. As expected, compact drop-like clusters are formed by SMPs in all cases if the central isotropic attraction is introduced, however, their shape and internal structure turn out to depend on the SMPs topology.


title: Two-dimensional multicomponent Abelian-Higgs lattice models

abstract: We study the two-dimensional lattice multicomponent Abelian-Higgs model, which is a lattice compact U(1) gauge theory coupled with an N-component complex scalar field, characterized by a global SU(N) symmetry. In agreement with the Mermin-Wagner theorem, the model has only a disordered phase at finite temperature and a critical behavior is only observed in the zero-temperature limit. The universal features are investigated by numerical analyses of the finite-size scaling behavior in the zero-temperature limit. The results show that the renormalization-group flow of the 2D lattice N-component Abelian-Higgs model is asymptotically controlled by the infinite gauge-coupling fixed point, associated with the universality class of the 2D CP(N-1) field theory.


title: Magnetic Force Microscopy Revealing Molecule Impact on Magnetic Tunnel Junction Based Molecular Devices at Room Temperature

abstract: Commercially successful magnetic tunnel junction can harness the unmatched capabilities of molecular device elements by solving decade-old fabrication issues. Utilization of magnetic tunnel junction as a testbed for molecules also enables unprecedented magnetic studies of molecular spintronics devices. This paper utilizes magnetic force microscopy (MFM) to vividly show that organometallic molecules when bridged between two ferromagnetic electrodes along the magnetic tunnel junction edges, transformed the magnetic electrodes itself. Molecules impacted several hundred-micron areas of ferromagnetic electrodes at room temperature. Complementary, magnetic resonance and magnetometer studies supported the dramatic MFM results. Molecule induced changes in the magnetic electrodes impacted the transport of the magnetic tunnel junction and stabilized as much as six orders smaller current at room temperature. Magnetic tunnel junction based molecular devices can be a gateway to a vast range of commercially viable futuristic logic and memory devices that are controlled by the molecular quantum states near room temperature.


title: Multimessenger search for evaporating primordial black holes

abstract: Primordial black holes (PBHs) are black holes which may form in the early Universe through the gravitational collapse of primordial cosmological density fluctuations. Due to Hawking radiation these PBHs are supposed to evaporate by emitting particles. Recent developments in the experimental searching for evaporating PBHs in the local Universe are reviewed. The multimessenger techniques of searching for signals from evaporating PBHs are discussed.


title: Scattering for the non-radial inhomogeneous NLS

abstract: We extend the result of Farah and Guzm\'an on scattering for the $3d$ cubic inhomogeneous NLS to the non-radial setting. The key new ingredient is a construction of scattering solutions corresponding to initial data living far from the origin.


title: AI-Assisted Low Information Latency Wireless Networking

abstract: The 5G Phase-2 and beyond wireless systems will focus more on vertical applications such as autonomous driving and industrial Internet-of-things, many of which are categorized as ultra-Reliable Low-Latency Communications (uRLLC). In this article, an alternative view on uRLLC is presented, that information latency, which measures the distortion of information resulted from time lag of its acquisition process, is more relevant than conventional communication latency of uRLLC in wireless networked control systems. An AI-assisted Situationally-aware Multi-Agent Reinforcement learning framework for wireless neTworks (SMART) is presented to address the information latency optimization challenge. Case studies of typical applications in Autonomous Driving (AD) are demonstrated, i.e., dense platooning and intersection management, which show that SMART can effectively optimize information latency, and more importantly, information latency-optimized systems outperform conventional uRLLC-oriented systems significantly in terms of AD performance such as traffic efficiency, thus pointing out a new research and system design paradigm.


title: ATIS + SpiNNaker: a Fully Event-based Visual Tracking Demonstration

abstract: The Asynchronous Time-based Image Sensor (ATIS) and the Spiking Neural Network Architecture (SpiNNaker) are both neuromorphic technologies that "unconventionally" use binary spikes to represent information. The ATIS produces spikes to represent the change in light falling on the sensor, and the SpiNNaker is a massively parallel computing platform that asynchronously sends spikes between cores for processing. In this demonstration we show these two hardware used together to perform a visual tracking task. We aim to show the hardware and software architecture that integrates the ATIS and SpiNNaker together in a robot middle-ware that makes processing agnostic to the platform (CPU or SpiNNaker). We also aim to describe the algorithm, why it is suitable for the "unconventional" sensor and processing platform including the advantages as well as challenges faced.


title: Less Is Better: Unweighted Data Subsampling via Influence Function

abstract: In the time of Big Data, training complex models on large-scale data sets is challenging, making it appealing to reduce data volume for saving computation resources by subsampling. Most previous works in subsampling are weighted methods designed to help the performance of subset-model approach the full-set-model, hence the weighted methods have no chance to acquire a subset-model that is better than the full-set-model. However, we question that how can we achieve better model with less data? In this work, we propose a novel Unweighted Influence Data Subsampling (UIDS) method, and prove that the subset-model acquired through our method can outperform the full-set-model. Besides, we show that overly confident on a given test set for sampling is common in Influence-based subsampling methods, which can eventually cause our subset-model's failure in out-of-sample test. To mitigate it, we develop a probabilistic sampling scheme to control the worst-case risk over all distributions close to the empirical distribution. The experiment results demonstrate our methods superiority over existed subsampling methods in diverse tasks, such as text classification, image classification, click-through prediction, etc.


title: Spectra of electronic excitations in graphene near Coulomb impurities

abstract: We study the problem of the electron excitation spectrum in the presence of point-like and regularized Coulomb impurities in gapped graphene. To this end, we use the Dirac model and in the point-like case theory of self-adjoint extensions of symmetric operators. In the point-like case, we construct a family of self-adjoint Hamiltonians describing the excitations for any charge of an impurity. Spectra and (generalized) eigenfunctions for all such Hamiltonians are found. Then, we consider the spectral problem in the case of a regularized Coulomb potential of impurities for a special regularization. We study exact equations for charges of impurities that may generate bound states with energy that coincides with the upper boundary of the negative branch of the continuous spectrum (supercritical charges) and calculate these charges.


title: Revealing the dynamics of ultrarelativistic non-equilibrium many-electron systems with phase space tomography

abstract: The description of physical processes with many-particle systems is a key approach to the modeling of countless physical systems. In storage rings, where ultrarelativistic particles are agglomerated in dense bunches, the measurement of their phase-space distribution (PSD) is of paramount importance: at any time the PSD not only determines the complete space-time evolution but also provides fundamental performance characteristics for storage ring operation. Here, we demonstrate a non-destructive tomographic imaging technique for the 2D longitudinal PSD of ultrarelativistic electron bunches. For this purpose, we utilize a unique setup, which streams turn-by-turn near-field measurements of bunch profiles at MHz repetition rates. To demonstrate the feasibility of our method, we induce a non-equilibrium state and show, that the PSD microstructuring as well as the PSD dynamics can be observed in great detail with an unprecedented resolution. Our approach offers a pathway to control ultrashort bunches and supports, as one example, the development of compact accelerators with low energy footprints.

categories: physics.acc-ph nlin.PS physics.ins-det physics.optics


title: Dynamical degrees of affine-triangular automorphisms of affine spaces

abstract: We study the possible dynamical degrees of automorphisms of the affine space $\mathbb{A}^n$. In dimension $n=3$, we determine all dynamical degrees arising from the composition of an affine automorphism with a triangular one. This generalises the easier case of shift-like automorphisms which can be studied in any dimension. We also prove that each weak Perron number is the dynamical degree of an affine-triangular automorphism of the affine space $\mathbb{A}^n$ for some $n$, and we give the best possible $n$ for quadratic integers, which is either $3$ or $4$.


title: Observational Aspect of Black Hole Dark Matter

abstract: Advances in high angular resolution astronomy make it conceivable that black hole dark matter could be detected via angular deviation effects. Assuming the dark matter in the galaxy is made of solar mass black holes, there is a non-trivial probability that a line-of-sight through the galaxy, leads to micro-arcseconds deviations, a value that has been discussed for various astronomical projects. In cosmology the effects are magnified by an increased density at early times and an opening of angles due to redshift. If the dark matter is made of primordial black holes, present at the CMB, random deflections of the CMB photons lead to a limit on the angular resolution, approximately ${3}\times 10^{-7} \sqrt{M/M_\odot}\, rad$, with $M$ the mass of the black holes. Using the resolutions of $\sim 10^{-3} rad$ demonstrated in observations of the "acoustic peaks" then implies the limit $(M/M_\odot)\lesssim 10^{7}$. While this large value seems uninteresting, improved resolutions would lead to significant limits or conceivably the discovery of primordial black holes.


title: A Context-Aware Loss Function for Action Spotting in Soccer Videos

abstract: In video understanding, action spotting consists in temporally localizing human-induced events annotated with single timestamps. In this paper, we propose a novel loss function that specifically considers the temporal context naturally present around each action, rather than focusing on the single annotated frame to spot. We benchmark our loss on a large dataset of soccer videos, SoccerNet, and achieve an improvement of 12.8% over the baseline. We show the generalization capability of our loss for generic activity proposals and detection on ActivityNet, by spotting the beginning and the end of each activity. Furthermore, we provide an extended ablation study and display challenging cases for action spotting in soccer videos. Finally, we qualitatively illustrate how our loss induces a precise temporal understanding of actions and show how such semantic knowledge can be used for automatic highlights generation.


title: A novel fusion reactor with chain reactions for proton-boron11

abstract: Using a combination of laser-plasma interactions and magnetic confinement configurations, a conceptual fusion reactor is proposed in this paper. Our reactor consists of the following: 1) A background plasma of boron11 and hydrogen ions, plus electrons, is generated and kept for a certain time, with densities of the order of a milligram/cm3and temperatures of tens of eV. Both the radiation level and the plasma thermal pressure are thus very low. 2) A plasma channel is induced in a solid target by irradiation with a high power laser that creates a very intense shock wave. This mechanism conveys the acceleration of protons in the laser direction. The mechanisms must be tuned for the protons to reach a kinetic energy of 600 keV (note that this value is not a temperature). 3) Those ultra-fast protons enter the background plasma and collide with a boron11 to produce 3 alphas of 2.9 MeV. 4) Fusion born alphas collide with protons of the plasma and accelerate them up to 600 keV causing a chain reaction. 5) A combination of an induction current and a magnetic bottle keeps the chain reaction process going on, for a pulse long enough to get a high energy gain. 6) Materials for the background plasma and the laser target must be replaced for starting a new chain reaction cycle.


title: Trimming Mobile Applications for Bandwidth-Challenged Networks in Developing Regions

abstract: Despite continuous efforts to build and update network infrastructure, mobile devices in developing regions continue to be constrained by limited bandwidth. Unfortunately, this coincides with a period of unprecedented growth in the size of mobile applications. Thus it is becoming prohibitively expensive for users in developing regions to download and update mobile apps critical to their economic and educational development. Unchecked, these trends can further contribute to a large and growing global digital divide. Our goal is to better understand the source of this rapid growth in mobile app code size, whether it is reflective of new functionality, and identify steps that can be taken to make existing mobile apps more friendly bandwidth constrained mobile networks. We hypothesize that much of this growth in mobile apps is due to poor resource/code management, and do not reflect proportional increases in functionality. Our hypothesis is partially validated by mini-programs, apps with extremely small footprints gaining popularity in Chinese mobile networks. Here, we use functionally equivalent pairs of mini-programs and Android apps to identify potential sources of "bloat," inefficient uses of code or resources that contribute to large package sizes. We analyze a large sample of popular Android apps and quantify instances of code and resource bloat. We develop techniques for automated code and resource trimming, and successfully validate them on a large set of Android apps. We hope our results will lead to continued efforts to streamline mobile apps, making them easier to access and maintain for users in developing regions.


title: Neural Network Branching for Neural Network Verification

abstract: Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a unified Branch and Bound (BaB) formulation. We propose a novel framework for designing an effective branching strategy for BaB. Specifically, we learn a graph neural network (GNN) to imitate the strong branching heuristic behaviour. Our framework differs from previous methods for learning to branch in two main aspects. Firstly, our framework directly treats the neural network we want to verify as a graph input for the GNN. Secondly, we develop an intuitive forward and backward embedding update schedule. Empirically, our framework achieves roughly $50\%$ reduction in both the number of branches and the time required for verification on various convolutional networks when compared to the best available hand-designed branching strategy. In addition, we show that our GNN model enjoys both horizontal and vertical transferability. Horizontally, the model trained on easy properties performs well on properties of increased difficulty levels. Vertically, the model trained on small neural networks achieves similar performance on large neural networks.


title: On the origin and structure of liquid crystalline Blue Phase III

abstract: The origin and structure of self assembled chiral liquid crystalline Blue Phase III (BPIII) have remained an enigma despite efforts spreading over decades. We report here an off-lattice NVT molecular dynamics simulation study of a system of polar chiral ellipsoidal molecules, which spontaneously exhibits BPIII , considering coarse-grained attractive-repulsive pair interaction appropriate for anisotropic liquid crystal mesogens. We have observed that suitable selection of chiral and dipolar strengths not only gives rise to thermodynamically stable BPIII but novel Smectic and Bilayered BPIII as well. Further, we have demonstrated that occurence of BPIII and its layered counterparts depend crucially on molecular elongation.


title: Nanoscale Tantalum Layer Controlling the Magnetic Coupling between Two Ferromagnetic Electrodes via Insulator of a Magnetic Tunnel Junction

abstract: Ability to tailor the nature of the magnetic coupling between two ferromagnetic electrodes can enable the realization of new spintronics device systems. This paper discusses our finding that deposition of an ultrathin tantalum (Ta) on the NiFe top electrode reversed the nature of inter-ferromagnetic electrode coupling. We observed that the deposition of ~ 5 nm Ta on the top of a magnetic tunnel junction with Ta( 2 nm)/Co(5 nm)/NiFe (5 nm)/AlOx( 2 nm)/NiFe (10-15 nm) configuration changed the magnetic coupling between two ferromagnetic electrodes from antiferromagnetic to ferromagnetic. We investigated Ta effect using multiple magnetic characterizations like ferromagnetic resonance, magnetometry, and polarized neutron reflectometry. Ferromagnetic resonance characterization was very sensitive for detecting the changes in magnetic coupling via the insulating spacer. This simple approach of adding Ta film to alter the magnetic coupling can impact the other burgeoning areas like molecular spintronics. We found that preexisting magnetic coupling between two ferromagnetic electrodes impacted the resultant magnetic properties of magnetic tunnel junctions based molecular spintronics devices.


title: Electronic and Magnetic Structure of Infinite-layer $\textrm{NdNiO}_2$: Trace of Antiferromagnetic Metal

abstract: The recent discovery of Sr-doped infinite-layer nickelate $\textrm{NdNiO}_2$ [D. Li et al. Nature 572, 624 (2019)] offers an exciting platform for investigating unconventional superconductivity in nickelatebased compounds. In this work, we present a first-principles calculations for the electronic and magnetic properties of undoped parent $\textrm{NdNiO}_2$. Intriguingly, we found that: 1) the paramagnetic phase has complex Fermi pockets with 3D characters near the Fermi level; 2) by including electronelectron interactions, 3d-electrons of Ni tend to form $(\pi, \pi, \pi)$ antiferromagnetic ordering at low temperatures; 3) with moderate interaction strength, 5d-electrons of Nd contribute small Fermi pockets that could weaken the magnetic order akin to the self-doping effect. Our results provide a plausible interpretation for the experimentally observed resistivity minimum and Hall coefficient drop. Moreover, we elucidate that antiferromagnetic ordering in $\textrm{NdNiO}_2$ is relatively weak, arising from the small exchange coupling between 3d-electrons of Niand also hybridization with 5d-electrons of Nd.


title: On the Herbrand Functional Interpretation

abstract: We show that the types of the witnesses in the Herbrand functional interpretation can be simplified, avoiding the use of "sets of functionals" in the interpretation of implication and universal quantification. This is done by presenting an alternative formulation of the Herbrand functional interpretation, which we show to be equivalent to the original presentation. As a result of this investigation we also strengthen the monotonicity property of the original presentation, and prove a monotonicity property for our alternative definition.


title: Representations of the unitary group SU(2,1) in Fourier term modules

abstract: We study Fourier term modules on $\mathrm{SU}(2,1)$, which are the modules arising in Fourier expansions of automorphic forms. Maximal unipotent subgroups $N$ of $\mathrm{SU}(2,1)$ are non-abelian, and we consider the ``abelian'' Fourier term modules connected to characters of $N$, and also the ``non-abelian'' modules described with theta functions. Poincar\'e series for $\mathrm{SU}(2,1)$ have in general exponential growth. To deal with such generalized automorphic forms we allow exponential growth for the functions in Fourier term modules. We give a complete description of the submodule structure of all Fourier term modules, and discuss the consequences for Fourier expansions of automorphic forms.


title: Fast apparent oscillations of fundamental constants

abstract: Precision spectroscopy of atoms and molecules allows one to search for and to put stringent limits on the variation of fundamental constants. These experiments are typically interpreted in terms of variations of the fine structure constant $\alpha$ and the electron to proton mass ratio $\mu=m_e/m_p$. Atomic spectroscopy is usually less sensitive to other fundamental constants, unless the hyperfine structure of atomic levels is studied. However, the number of possible dimensionless constants increases when we allow for fast variations of the constants, where "fast" is determined by the time scale of the response of the studied species or experimental apparatus used. In this case, the relevant dimensionless quantity is, for example, the ratio $m_e/\langle m_e \rangle$ and $\langle m_e \rangle$ is the time average. In this sense, one may say that the experimental signal depends on the variation of dimensionful constants ($m_e$ in this example).


title: Multimorphism and gap opening of charge-density-wave phases in monolayer VTe2

abstract: Vanadium dichalcogenides have attracted increasing interests for the charge density wave phenomena and possible ferromagnetism. Here, we report on the multiphase behavior and gap opening in monolayer VTe2 grown by molecular beam epitaxy. Scanning tunneling microscopy and spectroscopy study revealed the (4*4) metallic and gapped (2root3*2root3)charge-density wave pahses with an energy gap of ~40 meV. Through the in-plane condensation of vanadium atoms, the typical star-of-David clusters and truncated triangle-shaped clusters are formed in (4*4) and (2root3*2root3) phases respectively, resulting in different surface morphologies and electronic structures as confirmed by density functional theory calculations with on-site coulomb repulsion. The CDW-driven reorganization of the atomic structure weakens the ferromagnetic superexchange coupling and strengthens the antiferromagnetic exchange coupling on the contrary, suppressing the long-range magnetic order in monolayer VTe2.


title: Highly charged droplets of superfluid helium

abstract: We report on the production and study of stable, highly charged droplets of superfluid helium. Using a novel experimental setup we produce neutral beams of liquid helium nanodroplets containing millions of atoms or more that can be ionized by electron impact, mass-per-charge selected, and ionized a second time before being analyzed. Droplets containing up to 55 net positive charges are identified and the appearance sizes of multiply charge droplets are determined as a function of charge state. We show that the droplets are stable on the millisecond time scale of the experiment and decay through the loss of small charged clusters, not through symmetric Coulomb explosions.

categories: physics.atm-clus cond-mat.other physics.chem-ph physics.flu-dyn


title: enumeration of weighted paths on a digraph and block hook determinant

abstract: In this article, we evaluate determinants of block hook matrices, which are block matrices consist of hook matrices. In particular, we deduce that the determinant of a block hook matrix factorizes nicely. In addition we give a combinatorial interpretation of the aforesaid factorization property by counting weighted paths in a suitable weighted digraph.


title: A Girsanov Result through Birkhoff Integral

abstract: A vector-valued version of the Girsanov theorem is presented, for a scalar process with respect to a Banach-valued measure. Previously, a short discussion about the Birkhoff-type integration is outlined, as for example integration by substitution, in order to fix the measure-theoretic tools needed for the main result, Theorem 6, where a martingale equivalent to the underlying vector probability has been obtained in order to represent the modified process as a martingale with the same marginals as the original one.


title: Transport through a quantum critical system: A thermodynamically consistent approach

abstract: Currents through quantum systems may probe non-analyticities in quantum-critical many-body ground states. For a large class of dissipative quantum critical systems we show that it is possible to obtain the reduced system dynamics in the vicinity of quantum critical points in a thermodynamically consistent way, while capturing non-Markovian effects. We achieve this by combining reaction coordinate mappings with polaron transforms. Exemplarily, we consider the Lipkin-Meshkov-Glick model in a transport setup, where the quantum phase transition manifests itself in the heat transfer statistics.


title: Magic Sizes of Cationic and Protonated Argon Clusters

abstract: There has long been a discrepancy between the size distributions of Ar$_n^+$ clusters measured by different groups regarding whether or not magic numbers appear at sizes corresponding to the closure of icosahedral (sub-)shells. We show that the previously observed magic cluster size distributions are likely the result of an unresolved Ar$_n$H$^+$ component, that is, from protonated argon clusters. We find that the proton impurity gives cluster geometries that are much closer to those for neutral rare gas clusters, which are known to form icosahedral structures, than the pure cationic clusters, explaining why the mass spectra from protonated argon clusters better matches these structural models. Our results thus show that even small impurities, e.g.\ a single proton, can significantly influence the properties of clusters.


title: Improved S-AF and S-DF Relaying Schemes Using Machine Learning Based Power Allocation Over Cascaded Rayleigh Fading Channels

abstract: We investigate the performance of a dual-hop intervehicular communications (IVC) system with relay selection strategy. We assume a generalized fading channel model, known as cascaded Rayleigh (also called n*Rayleigh), which involves the product of n independent Rayleigh random variables. This channel model provides a realistic description of IVC, in contrast to the conventional Rayleigh fading assumption, which is more suitable for cellular networks. Unlike existing works, which mainly consider double-Rayleigh fading channels (i.e, n = 2); our system model considers the general cascading order n, for which we derive an approximate analytic solution for the outage probability under the considered scenario. Also, in this study we propose a machine learning-based power allocation scheme to improve the link reliability in IVC. The analytical and simulation results show that both selective decode-and-forward (S-DF) and amplify-and-forward (S-AF) relaying schemes have the same diversity order in the high signal-to-noise ratio regime. In addition, our results indicate that machine learning algorithms can play a central role in selecting the best relay and allocation of transmission power.


title: Paramagnetic molecule induced strong antiferromagnetic exchange coupling on a magnetic tunnel junction based molecular spintronics device

abstract: This paper reports our Monte Carlo (MC) studies aiming to explain the experimentally observed paramagnetic molecule induced antiferromagnetic coupling between the ferromagnetic (FM) electrodes. Recently developed magnetic tunnel junction based molecular spintronics devices (MTJMSDs), which were prepared by chemically bonding the paramagnetic molecules between the FM electrodes along the exposed side edges of magnetic tunnel junctions, exhibited molecule induced strong antiferromagnetic coupling. Our MC studies focused on the atomic model analogous to the MTJMSD and studied the effect of molecules magnetic couplings with the two FM electrodes. Simulations show that when a molecule established ferromagnetic coupling with one electrode and antiferromagnetic coupling with the other electrode then theoretical results effectively explained the experimental findings. MC and experimental studies suggest that the strength of exchange coupling between molecule and FM electrode should be 50 percent of the interatomic exchange coupling strength of the FM electrodes.


title: Protonated Clusters of Neon and Krypton

abstract: We present a study of cationic and protonated clusters of neon and krypton. Recent studies using argon have shown that protonated rare gas clusters can have very different magic sizes than pure, cationic clusters. Here we find that neon behaves similarly to argon, but that the cationic krypton is more similar to its protonated counterparts than the lighter rare gases are, sharing many of the same magic numbers.


title: $\mathbb{Z}_{2k}$-code vertex operator algebras

abstract: We study a simple, self-dual, rational, and $C_2$-cofinite vertex operator algebra of CFT-type whose simple current modules are graded by $\mathbb{Z}_{2k}$. Based on those simple current modules, a vertex operator algebra associated with a $\mathbb{Z}_{2k}$-code is constructed. The classification of irreducible modules for such a vertex operator algebra is established. Furthermore, all the irreducible modules are realized in a module for a certain lattice vertex operator algebra.


title: Full characterization and modelling of graded interfaces in a high lattice-mismatch axial nanowire heterostructure

abstract: Controlling the strain level in nanowire heterostructures is critical for obtaining coherent interfaces of high crystalline quality and for the setting of functional properties such as photon emission, carrier mobility or piezoelectricity. In a nanowire axial heterostructure featuring a sharp interface, strain is set by the materials lattice mismatch and the nanowire radius. Here, we show that introducing a graded interface in nanowire heterostructures offers an additional parameter to control strain. For a given interface length and lattice mismatch, we first derive theoretically the maximum nanowire radius below which coherent growth is possible. We validate these findings by growing and characterizing various In(Ga)As/GaAs nanowire heterostructures with graded interfaces. Furthermore, we perform a complete chemical and structural characterization of the interface by combining energy-dispersive X-ray spectroscopy and high resolution transmission electron microscopy. In the case of coherent growth, we directly observe that the mismatch strain relaxes elastically on the side walls of the nanowire around the interface area, while the core of the nanowire remains partially strained. Moreover, our experimental data show good agreement with finite element calculations. This analysis confirms in particular that mechanical strain is largely reduced by interface grading. Overall, our work extends the parameter space for the design of nanowire heterostructures, thus opening new opportunities for nanowire optoelectronics.


title: Spin-Orbit-Torque-based Devices, Circuits and Architectures

abstract: Spintronics, the use of spin of an electron instead of its charge, has received huge attention from research communities for different applications including memory, interconnects, logic implementation, neuromorphic computing, and many other applications. Here, in this paper, we review the works within spintronics, more specifically on spin-orbit torque (SOT) within different research groups. We also provide researchers an insight into the future potentials of the SOT-based designs. This comprehensive review paper covers different aspects of SOT-based design from device and circuit to architecture level as well as more ambitious and futuristic applications of such technology.


title: Fully superconducting machine for electric aircraft propulsion: study of AC loss for HTS stator

abstract: Fully superconducting machines provide the high power density required for future electric aircraft propulsion. However, superconducting windings generate AC losses in AC electrical machine environments. These AC losses are difficult to remove at low temperatures and they add an extra burden to the aircraft cooling system. Due to heavy cooling penalty, AC losses in the HTS stator, is one of the key topics in HTS machine design. In order to evaluate the AC loss of superconducting stator windings in a rotational machine environment, we designed and built a novel axial-flux high temperature superconducting (HTS) machine platform. The AC loss measurement is based on calorimetrically boiling-off liquid nitrogen. Both total AC loss and magnetisation loss in HTS stator are measured in a rotational magnetic field condition. This platform is essential to study ways to minimise AC losses in HTS stator, in order to maximum the efficiency of fully HTS machines.


title: Asymmetric Co-Teaching for Unsupervised Cross Domain Person Re-Identification

abstract: Person re-identification (re-ID), is a challenging task due to the high variance within identity samples and imaging conditions. Although recent advances in deep learning have achieved remarkable accuracy in settled scenes, i.e., source domain, few works can generalize well on the unseen target domain. One popular solution is assigning unlabeled target images with pseudo labels by clustering, and then retraining the model. However, clustering methods tend to introduce noisy labels and discard low confidence samples as outliers, which may hinder the retraining process and thus limit the generalization ability. In this study, we argue that by explicitly adding a sample filtering procedure after the clustering, the mined examples can be much more efficiently used. To this end, we design an asymmetric co-teaching framework, which resists noisy labels by cooperating two models to select data with possibly clean labels for each other. Meanwhile, one of the models receives samples as pure as possible, while the other takes in samples as diverse as possible. This procedure encourages that the selected training samples can be both clean and miscellaneous, and that the two models can promote each other iteratively. Extensive experiments show that the proposed framework can consistently benefit most clustering-based methods, and boost the state-of-the-art adaptation accuracy. Our code is available at https://github.com/FlyingRoastDuck/ACT_AAAI20.


title: Lithium ions solvated in helium

abstract: We report on a combined experimental and theoretical study of Li$^+$ ions solvated by up to 50 He atoms. The experiments show clear enhanced abundances associated with He$_n$Li$^+$ clusters where $n=2$, 6, 8, and 14. We find that classical methods, e.g.\ Basin-Hopping (BH), give results that qualitatively agree with quantum mechanical methods such as path integral Monte Carlo, diffusion Monte Carlo and quantum free energy, regarding both energies and the solvation structures that are formed. The theory identifies particularly stable structures for $n=4$, 6 and 8 which line up with some of the most abundant features in the experiments.


title: Function Theories in Cayley-Dickson algebras and Number Theory

abstract: In the recent years a lot of effort has been made to extend the theory of hyperholomorphic functions from the setting of associative Clifford algebras to non-associative Cayley-Dickson algebras, starting with the octonions. An important question is whether there appear really essentially different features in the treatment with Cayley-Dickson algebras that cannot be handled in the Clifford analysis setting. Here we give one concrete example. Cayley-Dickson algebras namely admit the construction of direct analogues of CM-lattices, in particular lattices that are closed under multiplication. Canonical examples are lattices with components from the algebraic number fields $\mathbb{Q}[\sqrt{m_1},\ldots\sqrt{m_k}]$. Note that the multiplication of two non-integer lattice paravectors does not give anymore a lattice paravector in the Clifford algebra. In this paper we exploit the tools of octonionic function theory to set up an algebraic relation between different octonionic generalized elliptic functions which give rise to octonionic elliptic curves. We present formulas for the trace of the octonionic CM-division values.


title: Light-Meson Spectroscopy at Lepto- and Hadroproduction Experiments

abstract: The excitation spectrum of light mesons, which are composed of up, down, and strange quarks, is studied since decades. However, it still holds a number of puzzles and surprises that provide new insights into the nature of the strong interaction. Recent high-quality data samples from several experiments allow us to not only study the properties of established mesons with unprecedented precision but to also search for new states. These searches aim in particular at resolving the question of the existence of so-called exotic states, such as four-quark states or states with excited gluon fields. Since light mesons have often large widths and are overlapping, the mapping of their spectrum is challenging and requires large quantities of data on different production and decay modes. The data are analyzed using a framework of interfering quantum mechanical amplitudes known as partial-wave analysis (PWA). Most excited meson states decay into multi-particle final states, for which the PWA requires extensive modeling of the dynamics of the final-state hadrons. I will give an overview on ongoing experimental studies of light mesons and discuss possible interpretations. I will also touch on novel analysis techniques and the prospects for future progress.


title: Multiscale Approach to Fluid-Solid Interfaces: An overview of methodologies coupling fluid mechanics to molecular dynamics and quantum theory

abstract: In conventional fluid mechanics, the chemical composition and thermodynamic state of a fluid-solid interface are not considered when establishing velocity-field boundary conditions. As a consequence, fluid simulations are usually not able to generate different outputs when interfacial materials are varied. By considering an atomistic description of matter, theoretical determination of material-specific boundary conditions becomes possible, thereby providing an improved alternative to the completely-invariant no-slip condition. Such a scheme constitutes a multiscale approach to fluid dynamics involving essentially two transitions between space-time scales: the first concerns the derivation of macroscopic boundary conditions by means of molecular assessment of slip lengths; the second concerns the construction of interatomic force fields, required by molecular dynamics simulations, from quantum theory. In this introductory overview we discuss some of the fundamental aspects of these problems.


title: A bijective proof of the ASM theorem, Part II: ASM enumeration and ASM-DPP relation

abstract: This paper is the second in a series of planned papers which provide first bijective proofs of alternating sign matrix results. Based on the main result from the first paper, we construct a bijective proof of the enumeration formula for alternating sign matrices and of the fact that alternating sign matrices are equinumerous with descending plane partitions. We are also able to refine these bijections by including the position of the unique $1$ in the top row of the matrix. Our constructions rely on signed sets and related notions. The starting point for these constructions were known ``computational'' proofs, but the combinatorial point of view led to several drastic modifications. We also provide computer code where all of our constructions have been implemented.


title: Safe rendering of high impedance on a series-elastic actuator with disturbance observer-based torque control

abstract: An important performance metric for series-elastic actuators is the range of impedance which they can safely render. Advanced torque control, using techniques such as the disturbance observer, improve torque tracking bandwidth and accuracy, but their impact on safe impedance range is not established. However, to define a safe impedance range requires a practical coupled stability condition. Here, passivity-based conditions are proposed for two variants of DOB torque control, and validated experimentally in a high-stiffness environment. While high-gain PD torque control has been shown to reduce Z-width, it is here shown that a DOB reduces the need for high-gain PD feedback and allows a higher rendered impedance. A dynamic feedforward compensator is proposed which increases the maximum safe impedance of the DOB, validated in experimentally in collision with high-stiffness environments and manual excitation.


title: Thermomechanical model for NiTi-based shape memory alloys covering macroscopic localization of martensitic transformation

abstract: The work presents a thermomechanical model for polycrystalline NiTi-based shape memory alloys developed within the framework of generalized standard solids, which is able to cover loading-mode dependent localization of the martensitic transformation. The key point is the introduction of a novel austenite-martensite interaction term responsible for strain-softening of the material. Mathematical properties of the model are analyzed and a suitable regularization and a time-discrete approximation for numerical implementation to the finite-element method are proposed. Model performance is illustrated on two numerical simulations: tension of a superelastic NiTi ribbon and bending of a superelastic NiTi tube.


title: Complexes of gold and imidazole formed in helium nanodroplets

abstract: We have studied complexes of gold atoms and imidazole (C$_3$N$_2$H$_4$, abbreviated Im) produced in helium nanodroplets. Following the ionization of the doped droplets we detect a broad range of different Au$_m$Im$_n^+$ complexes, however we find that for specific values of $m$ certain $n$ are "magic" and thus particularly abundant. Our density functional theory calculations indicate that these abundant clusters sizes are partially the result of particularly stable complexes, e.g. AuIm$_2^+$, and partially due to a transition in fragmentation patterns from the loss of neutral imidazole molecules for large systems to the loss of neutral gold atoms for smaller systems.


title: Some structures of Hom-Poisson color algebras

abstract: In many previous papers, the authors used an endomorphism of algebra to twist the original algebraic structures in order to produce the corresponding Hom-algebraic structures. In this works, we use these either a bijective linear map, either an element of centroid either an averaging operator either Nijenhuis operator, either a multiplier to produce Hom-Poisson color algebras from given one.


title: A deep learning based tool for automatic brain extraction from functional magnetic resonance images in rodents

abstract: Removing skull artifacts from functional magnetic images (fMRI) is a well understood and frequently encountered problem. Because the fMRI field has grown mostly due to human studies, many new tools were developed to handle human data. Nonetheless, these tools are not equally useful to handle the data derived from animal studies, especially from rodents. This represents a major problem to the field because rodent studies generate larger datasets from larger populations, which implies that preprocessing these images manually to remove the skull becomes a bottleneck in the data analysis pipeline. In this study, we address this problem by implementing a neural network based method that uses a U-Net architecture to segment the brain area into a mask and removing the skull and other tissues from the image. We demonstrate several strategies to speed up the process of generating the training dataset using watershedding and several strategies for data augmentation that allowed to train faster the U-Net to perform the segmentation. Finally, we deployed the trained network freely available.


title: An apparently eccentric orbit of the exoplanet WASP-12 b as a radial velocity signature of planetary-induced tides in the host star

abstract: Massive exoplanets on extremely tight orbits, such as WASP-12 b, induce equilibrium tides in their host stars. Following the orbital motion of the planet, the tidal fluid flow in the star can be detected with the radial velocity method. Its signature manifests as the second harmonics of the orbital frequency that mimics a non-zero orbital eccentricity. Using the new radial velocity measurements acquired with the HARPS-N spectrograph at the Telescopio Nazionale Galileo and combining them with the literature data, we show that the apparent eccentricity of WASP-12 b's orbit is non-zero at a 5.8 sigma level, and the longitude of periastron of this apparently eccentric orbit is close to 270 degrees. This orbital configuration is compatible with a model composed of a circular orbit and a signature of tides raised in the host star. The radial velocity amplitude of those tides was found to be consistent with the equilibrium tide approximation. The tidal deformation is predicted to produce a flux modulation with an amplitude of 80 ppm which could be detected using space-born facilities.


title: An image of the dust sublimation region in the nucleus of NGC 1068

abstract: We present near-infrared interferometric data on the Seyfert 2 galaxy NGC 1068, obtained with the GRAVITY instrument on the European Southern Observatory Very Large Telescope Interferometer. The extensive baseline coverage from 5 to 60 M\lambda allowed us to reconstruct a continuum image of the nucleus with an unrivaled 0.2 pc resolution in the K-band. We find a thin ring-like structure of emission with a radius r = 0.24+/-0.03 pc, inclination i = 70+/-5 deg, position angle PA = -50+/-4 deg, and h/r < 0.14, which we associate with the dust sublimation region. The observed morphology is inconsistent with the expected signatures of a geometrically and optically thick torus. Instead, the infrared emission shows a striking resemblance to the 22 GHz maser disc, which suggests they share a common region of origin. The near-infrared spectral energy distribution indicates a bolometric luminosity of (0.4-4.7) x 10^45 erg/s, behind a large A_K ~ 5.5 (A_V ~ 90) screen of extinction that also appears to contribute significantly to obscuring the broad line region.


title: Multi-Channel Volumetric Neural Network for Knee Cartilage Segmentation in Cone-beam CT

abstract: Analyzing knee cartilage thickness and strain under load can help to further the understanding of the effects of diseases like Osteoarthritis. A precise segmentation of the cartilage is a necessary prerequisite for this analysis. This segmentation task has mainly been addressed in Magnetic Resonance Imaging, and was rarely investigated on contrast-enhanced Computed Tomography, where contrast agent visualizes the border between femoral and tibial cartilage. To overcome the main drawback of manual segmentation, namely its high time investment, we propose to use a 3D Convolutional Neural Network for this task. The presented architecture consists of a V-Net with SeLu activation, and a Tversky loss function. Due to the high imbalance between very few cartilage pixels and many background pixels, a high false positive rate is to be expected. To reduce this rate, the two largest segmented point clouds are extracted using a connected component analysis, since they most likely represent the medial and lateral tibial cartilage surfaces. The resulting segmentations are compared to manual segmentations, and achieve on average a recall of 0.69, which confirms the feasibility of this approach.


title: Unconditional uniqueness for the periodic modified Benjamin-Ono equation by normal form approach

abstract: We show that the solution (in the sense of distribution) to the Cauchy problem with the periodic boundary condition associated with the modified Benjamin-Ono equation is unique in $L^\infty_t(H^s(\mathbb{T}))$ for $s>1/2$. The proof is based on the analysis of a normal form equation obtained by infinitely many reduction steps using integration by parts in time after a suitable gauge transform.


title: Temperature dependence of the $(\pi,0)$ anomaly in the excitation spectrum of the 2D quantum Heisenberg antiferromagnet

abstract: It is well established that in the low-temperature limit, the two-dimensional quantum Heisenberg antiferromagnet on a square lattice (2DQHAFSL) exhibits an anomaly in its spectrum at short-wavelengths on the zone-boundary. In the vicinity of the $(\pi,0)$ point the pole in the one-magnon response exhibits a downward dispersion, is heavily damped and attenuated, giving way to an isotropic continuum of excitations extending to high energies. The origin of the anomaly and the presence of the continuum are of current theoretical interest, with suggestions focused around the idea that the latter evidences the existence of spinons in a two-dimensional system. Here we present the results of neutron inelastic scattering experiments and Quantum Monte Carlo calculations on the metallo-organic compound Cu(DCOO)$_2\cdot 4$D$_2$O (CFTD), an excellent physical realisation of the 2DQHAFSL, designed to investigate how the anomaly at $(\pi,0)$ evolves up to finite temperatures $T/J\sim2/3$. Our data reveal that on warming the anomaly survives the loss of long-range, three-dimensional order, and is thus a robust feature of the two-dimensional system. With further increase of temperature the zone-boundary response gradually softens and broadens, washing out the $(\pi,0)$ anomaly. This is confirmed by a comparison of our data with the results of finite-temperature Quantum Monte Carlo simulations where the two are found to be in good accord. At lower energies, in the vicinity of the antiferromagnetic zone centre, there was no significant softening of the magnetic excitations over the range of temperatures investigated.


title: Mathematical Analysis and Algorithms for Federated Byzantine Agreement Systems

abstract: We give an introduction to federated Byzantine agreement systems (FBAS) with many examples ranging from small "academic" cases to the current Stellar network. We then analyze the main concepts from a mathematical and an algorithmic point of view. Based on work of Lachowski we derive algorithms for quorum enumeration, checking quorum intersection, and computing the intact nodes with respect to a given set of ill-behaved (Byzantine) nodes. We also show that from the viewpoint of the intactness probability of nodes, which we introduce in this paper, a hierarchical setup of nodes is inferior to an arrangement that we call a symmetric simple FBAS. All algorithms described in this paper are implemented in the Python package Stellar Observatory, which is also used in some of the computed examples.


title: On the size of chaos via Glauber calculus in the classical mean-field dynamics

abstract: We consider a system of classical particles, interacting via a smooth, long-range potential, in the mean-field regime, and we optimally analyze the propagation of chaos in form of sharp estimates on many-particle correlation functions. While approaches based on the BBGKY hierarchy are doomed by uncontrolled losses of derivatives, we propose a novel non-hierarchical approach that focusses on the empirical measure of the system and exploits a Glauber type calculus with respect to initial data in form of higher-order Poincar\'e inequalities for cumulants. This main result allows to rigorously truncate the BBGKY hierarchy to an arbitrary precision on the mean-field timescale, thus justifying the Bogolyubov corrections to mean field. As corollaries, we also deduce a quantitative central limit theorem for fluctuations of the empirical measure, and we partially justify the Lenard-Balescu limit for a spatially homogeneous system away from thermal equilibrium.


title: Achieving Determinism in Adaptive AUTOSAR

abstract: AUTOSAR Adaptive Platform is an emerging industry standard that tackles the challenges of modern automotive software design, but does not provide adequate mechanisms to enforce deterministic execution. This poses profound challenges to testing and maintenance of the application software, which is particularly problematic for safety-critical applications. In this paper, we analyze the problem of nondeterminism in AP and propose a framework for the design of deterministic automotive software that transparently integrates with the AP communication mechanisms. We illustrate our approach in a case study based on the brake assistant demonstrator application that is provided by the AUTOSAR consortium. We show that the original implementation is nondeterministic and discuss a deterministic solution based on our framework.


title: Narralive -- Creating and experiencing mobile digital storytelling in cultural heritage

abstract: Storytelling has the potential to revolutionize the way we engage with cultural heritage and has been widely recognized as an important direction for attracting and satisfying the audience of museums and other cultural heritage sites. This approach has been investigated in various research projects, but its adoption outside research remains limited due to the challenges inherent in its creation. In this work, we present the web-based Narralive Storyboard Editor and the Narralive Mobile Player app, developed with the objective to assist the creative process and promote research on different aspects of the application of mobile digital storytelling in cultural heritage settings. The tools have been applied and evaluated in a variety of contexts and sites, and the main findings of this process are presented and discussed, concluding in general findings about the authoring of digital storytelling experiences in cultural heritage.


title: Multi-Objective Evolutionary Design of Deep Convolutional Neural Networks for Image Classification

abstract: Early advancements in convolutional neural networks (CNNs) architectures are primarily driven by human expertise and by elaborate design processes. Recently, neural architecture search was proposed with the aim of automating the network design process and generating task-dependent architectures. While existing approaches have achieved competitive performance in image classification, they are not well suited to problems where the computational budget is limited for two reasons: (1) the obtained architectures are either solely optimized for classification performance, or only for one deployment scenario; (2) the search process requires vast computational resources in most approaches. To overcome these limitations, we propose an evolutionary algorithm for searching neural architectures under multiple objectives, such as classification performance and floating-point operations (FLOPs). The proposed method addresses the first shortcoming by populating a set of architectures to approximate the entire Pareto frontier through genetic operations that recombine and modify architectural components progressively. Our approach improves computational efficiency by carefully down-scaling the architectures during the search as well as reinforcing the patterns commonly shared among past successful architectures through Bayesian model learning. The integration of these two main contributions allows an efficient design of architectures that are competitive and in most cases outperform both manually and automatically designed architectures on benchmark image classification datasets: CIFAR, ImageNet, and human chest X-ray. The flexibility provided from simultaneously obtaining multiple architecture choices for different compute requirements further differentiates our approach from other methods in the literature. Code is available at https://github.com/mikelzc1990/nsganetv1


title: Martingales of stochastic Laplacian growth

abstract: A family of exponential martingales of a stochastic Laplacian growth problem is proposed. Stochastic Laplacian growth describes a regularized interface dynamics in a two-fluid system, where the viscous fluid is incompressible at a large scale, while compressible at a small scale in the vicinity of the interface. Hence, random fluctuations of pressure near the boundary are inevitable. By using Loewner-Kufarev equation, we study interface dynamics generated by nonlocal random Loewner measure, which produces the patterns with viscous fingers. We use a Schottky double construction to introduce a one-parametric family of functions of random processes on the double closely connected to the correlation functions of primary operators of the boundary conformal field theory in the Coulomb gas framework. For a specific value of the parameter, these functions are martingales with respect to stochastic Loewner flow on the Schottky double. A connection between the proposed algebraic construction and the physical problem of stochastic interface dynamics relies on the Hadamard's variational formula. Namely, the variation of pressure in stochastic Laplacian growth near the interface is given by the covariance of martingales on the double.


title: On sums of squares of $k$-nomials

abstract: In 2005, Boman et al introduced the concept of factor width for a real symmetric positive semidefinite matrix. This is the smallest positive integer $k$ for which the matrix $A$ can be written as $A=VV^T$ with each column of $V$ containing at most $k$ non-zeros. The cones of matrices of bounded factor width give a hierarchy of inner approximations to the PSD cone. In the polynomial optimization context, a Gram matrix of a polynomial having factor width $k$ corresponds to the polynomial being a sum of squares of polynomials of support at most $k$. Recently, Ahmadi and Majumdar, explored this connection for case $k=2$ and proposed to relax the reliance on sum of squares polynomials in semidefinite programming to sum of binomial squares polynomials (sobs; which they call sdsos), for which semidefinite programming can be reduced to second order programming to gain scalability at the cost of some tolerable loss of precision. With this they tap into the study of sobs that goes back to Reznick and Hurwitz. In this paper, we will prove some results on the geometry of the cones of matrices with bounded factor widths and their duals, and use them to derive new results on the limitations of certificates of nonnegativity of quadratic forms by sums of $k$-nomial squares using standard multipliers. In particular we will show that they never help for symmetric quadratics, for any quadratic if $k=2$, and any quaternary quadratic if $k=3$. Furthermore we give some evidence that those are a complete list of such cases.


title: Robust Morph-Detection at Automated Border Control Gate using Deep Decomposed 3D Shape and Diffuse Reflectance

abstract: Face recognition is widely employed in Automated Border Control (ABC) gates, which verify the face image on passport or electronic Machine Readable Travel Document (eMTRD) against the captured image to confirm the identity of the passport holder. In this paper, we present a robust morph detection algorithm that is based on differential morph detection. The proposed method decomposes the bona fide image captured from the ABC gate and the digital face image extracted from the eMRTD into the diffuse reconstructed image and a quantized normal map. The extracted features are further used to learn a linear classifier (SVM) to detect a morphing attack based on the assessment of differences between the bona fide image from the ABC gate and the digital face image extracted from the passport. Owing to the availability of multiple cameras within an ABC gate, we extend the proposed method to fuse the classification scores to generate the final decision on morph-attack-detection. To validate our proposed algorithm, we create a morph attack database with overall 588 images, where bona fide are captured in an indoor lighting environment with a Canon DSLR Camera with one sample per subject and correspondingly images from ABC gates. We benchmark our proposed method with the existing state-of-the-art and can state that the new approach significantly outperforms previous approaches in the ABC gate scenario.


title: Automatic Video Object Segmentation via Motion-Appearance-Stream Fusion and Instance-aware Segmentation

abstract: This paper presents a method for automatic video object segmentation based on the fusion of motion stream, appearance stream, and instance-aware segmentation. The proposed scheme consists of a two-stream fusion network and an instance segmentation network. The two-stream fusion network again consists of motion and appearance stream networks, which extract long-term temporal and spatial information, respectively. Unlike the existing two-stream fusion methods, the proposed fusion network blends the two streams at the original resolution for obtaining accurate segmentation boundary. We develop a recurrent bidirectional multiscale structure with skip connection for the stream fusion network to extract long-term temporal information. Also, the multiscale structure enables to obtain the original resolution features at the end of the network. As a result of two-stream fusion, we have a pixel-level probabilistic segmentation map, which has higher values at the pixels belonging to the foreground object. By combining the probability of foreground map and objectness score of instance segmentation mask, we finally obtain foreground segmentation results for video sequences without any user intervention, i.e., we achieve successful automatic video segmentation. The proposed structure shows a state-of-the-art performance for automatic video object segmentation task, and also achieves near semi-supervised performance.


title: The global classical solution to compressible Euler system with velocity alignment

abstract: In this paper, the compressible Euler system with velocity alignment and damping is considered, where the influence matrix of velocity alignment is not positive definite. Sound speed is used to reformulate the system into symmetric hyperbolic type. The global existence and uniqueness of smooth solution for small initial data is provided.


title: On a new space consisting of norm maintaining functions

abstract: In this paper we define a new space, $LH(X,Y)$, consisting of functions $f\in X \subset Y$ (with $X,Y$ normed spaces) such that $\| f \|_X \equiv \| f \|_Y$ (where $\| \cdot \|_X$ is any norm on $X$, in general not the norm induced by $\| \cdot \|_Y$ on $X$). In Section 2 we study some properties involving $LH$ and Schur's property, norm attainment and $LHW$ (a weaker version of $LH$). In particular, one of the main results of this section states that strong and weak norm attainments together with some conditions imply that the considered function belongs to $LHW$ or $LH$ (depending on which conditions are satisfied). In Section 3 we renorm in a natural way the space $Y$ so that $LH(X,\widetilde{Y})=X$, obtaining an important extension Theorem.


title: iprior: An R Package for Regression Modelling using I-priors

abstract: This is an overview of the R package iprior, which implements a unified methodology for fitting parametric and nonparametric regression models, including additive models, multilevel models, and models with one or more functional covariates. Based on the principle of maximum entropy, an I-prior is an objective Gaussian process prior for the regression function with covariance kernel equal to its Fisher information. The regression function is estimated by its posterior mean under the I-prior, and hyperparameters are estimated via maximum marginal likelihood. Estimation of I-prior models is simple and inference straightforward, while small and large sample predictive performances are comparative, and often better, to similar leading state-of-the-art models. We illustrate the use of the iprior package by analysing a simulated toy data set as well as three real-data examples, in particular, a multilevel data set, a longitudinal data set, and a dataset involving a functional covariate.


title: Picosecond Spin Orbit Torque Switching

abstract: Reducing energy dissipation while increasing speed in computation and memory is a long-standing challenge for spintronics research. In the last 20 years, femtosecond lasers have emerged as a tool to control the magnetization in specific magnetic materials at the picosecond timescale. However, the use of ultrafast optics in integrated circuits and memories would require a major paradigm shift. An ultrafast electrical control of the magnetization is far preferable for integrated systems. Here we demonstrate reliable and deterministic control of the out-of-plane magnetization of a 1 nm-thick Co layer with single 6 ps-wide electrical pulses that induce spin-orbit torques on the magnetization. We can monitor the ultrafast magnetization dynamics due to the spin-orbit torques on sub-picosecond timescales, thus far accessible only by numerical simulations. Due to the short duration of our pulses, we enter a counter-intuitive regime of switching where heat dissipation assists the reversal. Moreover, we estimate a low energy cost to switch the magnetization, projecting to below 1fJ for a (20 nm)^3 cell. These experiments prove that spintronic phenomena can be exploited on picosecond time-scales for full magnetic control and should launch a new regime of ultrafast spin torque studies and applications.


title: Stable shredded spheres and causal random maps with large faces

abstract: We introduce a new family of random compact metric spaces $\mathcal{S}_\alpha$ for $\alpha\in(1,2)$, which we call stable shredded spheres. They are constructed from excursions of $\alpha$-stable L\'evy processes on $[0,1]$ possessing no negative jumps. Informally, viewing the graph of the L\'evy excursion in the plane, each jump of the process is "cut open" and replaced by a circle and then all points on the graph at equal height which are not separated by a jump are identified. We show that the shredded spheres arise as scaling limits of models of causal random planar maps with large faces introduced by Di Francesco and Guitter. We also establish that their Hausdorff dimension is almost surely equal to $\alpha$. Point identification in the shredded spheres is intimately connected to the presence of decrease points in stable spectrally positive L\'evy processes as studied by Bertoin in the 90's.


title: The Average Spectrum Method for Analytic Continuation: Efficient Blocked Modes Sampling and Dependence on Discretization Grid

abstract: The average spectrum method is a promising approach for the analytic continuation of imaginary time or frequency data to the real axis. It determines the analytic continuation of noisy data from a functional average over all admissible spectral functions, weighted by how well they fit the data. Its main advantage is the apparent lack of adjustable parameters and smoothness constraints, using instead the information on the statistical noise in the data. Its main disadvantage is the enormous computational cost of performing the functional integral. Here we introduce an efficient implementation, based on the singular value decomposition of the integral kernel, eliminating this problem. It allows us to analyze the behavior of the average spectrum method in detail. We find that the discretization of the real-frequency grid, on which the spectral function is represented, biases the results. The distribution of the grid points plays the role of a default model while the number of grid points acts as a regularization parameter. We give a quantitative explanation for this behavior, point out the crucial role of the default model and provide a practical method for choosing it, making the average spectrum method a reliable and efficient technique for analytic continuation.


title: Lithic techno-complexes in Italy from 50 to 39 thousand years BP: an overview of lithic technological changes across the Middle-Upper Palaeolithic boundary

abstract: Defining the processes involved in the technical/cultural shifts from the Late Middle to the Early Upper Palaeolithic in Europe (~50-39 thousand years BP) is one of the most important tasks facing prehistoric studies. In this debate Italy plays a pivotal role, due to its geographical position between eastern and western Mediterranean Europe as well as to it being the location of several sites showing Late Mousterian, Uluzzian and Protoaurignacian evidence distributed across the Peninsula. Our study aims to provide a synthesis of the available lithic evidence from this key area through a review of the evidence collected from a number of reference sites. The main technical features of the Late Mousterian, the Uluzzian and the Protoaurignacian traditions are examined from a diachronic and spatial perspective. Our overview allows the identification of major differences in the technological behaviour of these populations, making it possible to propose a number of specific working hypotheses on the basis of which further studies can be carried out. This study presents a detailed comparative study of the whole corpus of the lithic production strategies documented during this interval, and crucial element thus emerge.These data are of primary importance in order to assess the nature of the "transition" phenomenon in Italy, thus contributing to the larger debate about the disappearance of Neandertals and the arrival of early Modern Humans in Europe.


title: Coulomb and strong interactions in the final state of HBT correlations for L\'evy type source functions

abstract: We present detailed calculations about the expected shape of two-pion Bose-Einstein (or HBT) correlations in high energy heavy ion collisions that include a realistic treatment of final state Coulomb interaction as well as strong interactions (dominated by s-wave scattering). We assume L\'evy type source functions, a generalization that goes beyond the Gaussian approximation. Various recent experimental results found the use of such source types necessary to properly describe the shape of the measured correlation functions. We find that strong final state interactions may play an important role in the shape of the two-pion correlation functions, especially if one considers source parameters beyond the Gaussian HBT radii. Precise experimental determination of these source parameters (such as L\'evy stability exponent, correlation strength, etc.) seems to require the inclusion of the treatment of strong interaction not just for heavier particles (e.g. protons, lambdas) but also in case of two-pion measurements.


title: Windable Heads & Recognizing NL with Constant Randomness

abstract: Every language in NL has a $k$-head two-way nondeterministic finite automaton (2nfa($k$)) recognizing it. It is known how to build a constant-space verifier algorithm from a 2nfa($k$) for the same language with constant-randomness, but with error probability $\tfrac{k^2-1}{2k^2}$ that can not be reduced further by repetition. We have defined the unpleasant characteristic of the heads that causes the high error as the property of being "windable". With a tweak on the previous verification algorithm, the error is improved to $\tfrac{k_{\textrm{W}}^2-1}{2k_{\textrm{W}}^2}$, where $k_{\textrm{W}} \le k$ is the number of windable heads. Using this new algorithm, a subset of languages in NL that have a 2nfa($k$) recognizer with $k_{\textrm{W}} \le 1$ can be verified with arbitrarily reducible error using constant space and randomness.


title: Characteristics of an Online Controlled Experiment: Preliminary Results of a Literature Review

abstract: In this paper the preliminary results of a literature review on characteristics used to define continuous experiments are presented. In total 14 papers were selected. The results were synthesized into a model that gives an overview of all characteristics.


title: From Euclid to BGL

abstract: The emergence of the new, non-Euclidean geometry of Bolyai, Gauss, and Lobachevskii (BGL) and its impact on modern sciences is the subject of a series of biennial conferences. Below, I briefly review the history.


title: TU Wien @ TREC Deep Learning '19 -- Simple Contextualization for Re-ranking

abstract: The usage of neural network models puts multiple objectives in conflict with each other: Ideally we would like to create a neural model that is effective, efficient, and interpretable at the same time. However, in most instances we have to choose which property is most important to us. We used the opportunity of the TREC 2019 Deep Learning track to evaluate the effectiveness of a balanced neural re-ranking approach. We submitted results of the TK (Transformer-Kernel) model: a neural re-ranking model for ad-hoc search using an efficient contextualization mechanism. TK employs a very small number of lightweight Transformer layers to contextualize query and document word embeddings. To score individual term interactions, we use a document-length enhanced kernel-pooling, which enables users to gain insight into the model. Our best result for the passage ranking task is: 0.420 MAP, 0.671 nDCG, 0.598 P@10 (TUW19-p3 full). Our best result for the document ranking task is: 0.271 MAP, 0.465 nDCG, 0.730 P@10 (TUW19-d3 re-ranking).


title: Bubble formation regimes in forced co-axial air-water jets

abstract: We report a detailed experimental characterization of the periodic bubbling regimes that take place in an axisymmetric air-water jet when the inner air stream is forced by periodic modulations of the pressure at the upstream air feeding chamber. When the forcing pressure amplitude is larger than a certain critical value, the bubble formation process is effectively driven by the selected frequency, leading to the formation of nearly monodisperse bubbles whose volume is reduced by increasing the forcing frequency. We reveal the existence of two different breakup modes, M1 and M2, under effective forcing conditions. The bubble formation in mode M1 resembles the natural bubbling process, featuring an initial radial expansion of an air ligament attached to the injector, whose initial length is smaller than the wavelength of a small interfacial perturbation induced by the oscillating air flow rate. The expansion stage is followed by a ligament collapse stage, which begins with the formation of an incipient neck that propagates downstream while collapsing radially inwards, leading to the pinch-off of a new bubble. These two stages take place faster than in the unforced case as a consequence of the the air flow modulation induced by the forcing system. The breakup mode M2 takes place with an intact ligament longer than one disturbance wavelength, whereby the interface already presents a local necking region at pinch-off, and leads to the formation of bubbles from the tip of an elongated air filament without an expansion stage. Scaling laws that provide closed expressions for the bubble volume, the intact ligament length, and the transition from the M1 breakup mode to the M2, as functions of the relevant governing parameters, are deduced from the experimental data.


title: Pricing FX Options under Intermediate Currency

abstract: We suggest an intermediate currency approach that allows us to price options on all FX markets simultaneously under the same risk-neutral measure which ensures consistency of FX option prices across all markets. In particular, it is sufficient to calibrate a model to the volatility smile on the domestic market as, due to the consistency of pricing formulas, the model automatically reproduces the correct smile for the inverse pair (the foreign market). We first consider the case of two currencies and then the multi-currency setting. We illustrate the intermediate currency approach by applying it to the Heston and SABR stochastic volatility models, to the model in which exchange rates are described by an extended skewed normal distribution, and also to the model-free approach of option pricing


title: Copula versions of distance multivariance and dHSIC via the distributional transform -- a general approach to construct invariant dependence measures

abstract: The multivariate Hilbert-Schmidt-Independence-Criterion (dHSIC) and distance multivariance allow to measure and test independence of an arbitrary number of random vectors with arbitrary dimensions. Here we define versions which only depend on an underlying copula. The approach is based on the distributional transform, yielding dependence measures which always feature a natural invariance with respect to scalings and translations. Moreover, it requires no distributional assumptions, i.e., the distributions can be of pure type or any mixture of discrete and continuous distributions and (in our setting) no existence of moments is required. Empirical estimators and tests, which are consistent against all alternatives, are provided based on a Monte Carlo distributional transform. In particular, it is shown that the new estimators inherit the exact limiting distributional properties of the original estimators. Examples illustrate that tests based on the new measures can be more powerful than tests based on other copula dependence measures.


title: Towards Lingua Franca Named Entity Recognition with BERT

abstract: Information extraction is an important task in NLP, enabling the automatic extraction of data for relational database filling. Historically, research and data was produced for English text, followed in subsequent years by datasets in Arabic, Chinese (ACE/OntoNotes), Dutch, Spanish, German (CoNLL evaluations), and many others. The natural tendency has been to treat each language as a different dataset and build optimized models for each. In this paper we investigate a single Named Entity Recognition model, based on a multilingual BERT, that is trained jointly on many languages simultaneously, and is able to decode these languages with better accuracy than models trained only on one language. To improve the initial model, we study the use of regularization strategies such as multitask learning and partial gradient updates. In addition to being a single model that can tackle multiple languages (including code switch), the model could be used to make zero-shot predictions on a new language, even ones for which training data is not available, out of the box. The results show that this model not only performs competitively with monolingual models, but it also achieves state-of-the-art results on the CoNLL02 Dutch and Spanish datasets, OntoNotes Arabic and Chinese datasets. Moreover, it performs reasonably well on unseen languages, achieving state-of-the-art for zero-shot on three CoNLL languages.


title: New Estimation of the Curvature Effect for the X-ray Vacuum Diffraction Induced by an Intense Laser Field

abstract: Quantum electrodynamics predicts x-ray diffractions under a high-intensity laser field via virtual charged particles, and this phenomenon is called as vacuum diffraction (VD). In this paper, we derive a new formula to describe VD in a head-on collision geometry of an XFEL pulse and a laser pulse. A wavefront curvature of the XFEL pulse is newly considered in this formula. With this formula, we also discuss the curvature effect on VD signals based on realistic parameters at SACLA XFEL facility.


title: Diffusion Maps for Embedded Manifolds with Boundary with Applications to PDEs

abstract: Given only a collection of points sampled from a Riemannian manifold embedded in a Euclidean space, in this paper we propose a new method to solve elliptic partial differential equations (PDEs) supplemented with boundary conditions. Notice that the construction of triangulations on unknown manifolds can be both difficult and expensive, both in terms of computational and data requirements, our goal is to solve these problems without such constructions. Instead, we rely only on using the sample points to define quadrature formulas on the unknown manifold. Our main tool is the diffusion maps algorithm. We re-analyze this well-known method in a weak (variational) sense. The latter reduces the smoothness requirements on the underlying functions which is crucial to approximating weak solutions to PDEs. As a by-product, we also provide a rigorous justification of the well-known relationship between diffusion maps and the Neumann eigenvalue problems. We then use a recently developed method of estimating the distance to boundary function (notice that the boundary location is assumed to be unknown and must be estimated from data) in order to correct the boundary error term in the diffusion maps construction. Finally, using this estimated distance, we illustrate how to impose Dirichlet, Neumann, and mixed boundary conditions for some common PDEs based on the Laplacian. Several numerical examples confirm our theoretical findings.


title: Hopf brace, braid equation and bicrossed coproduct

abstract: In this paper, we mainly give some equivalent characterisations of Hopf braces, show that the category $\mathcal{CB}(A)$ of Hopf braces is equivalent to the category $\mathcal{C}(A)$ of bijective 1-cocycles, and prove that the category $\mathcal{CB}(A)$ of Hopf braces is also equivalent to the category $\mathcal{M}(A)$ of Hopf matched pairs. Moreover, we construct many more Hopf braces on polynomial Hopf algebras, Long copaired Hopf algebras and Drinfel'd doubles of finite dimensional Hopf algebras, and give a sufficient and necessary condition for a given bicrossed coproduct $A\bowtie H$ to be a Hopf brace if $A$ or $H$ is a Hopf brace.


title: Galileon scalar electrodynamics

abstract: We construct a consistent model of Galileon scalar electrodynamics. The model satisfies three essential requirements: (1) The action contains higher-order derivative terms, and obey the Galilean symmetry, (2) Equations of motion also satisfy Galilean symmetry and contain only up to second-order derivative terms in the matter fields and, hence do not suffer from instability, and (3) local U(1) gauge invariance is preserved. We show that the non-minimal coupling terms in our model are different from that of the real scalar Galileon models; however, they match with the Galileon real scalar field action. We show that the model can lead to an accelerated expansion in the early Universe. We discuss the implications of the model for cosmological inflation.


title: RGPNet: A Real-Time General Purpose Semantic Segmentation

abstract: We propose a real-time general purpose semantic segmentation architecture, RGPNet, which achieves significant performance gain in complex environments. RGPNet consists of a light-weight asymmetric encoder-decoder and an adaptor. The adaptor helps preserve and refine the abstract concepts from multiple levels of distributed representations between the encoder and decoder. It also facilitates the gradient flow from deeper layers to shallower layers. Our experiments demonstrate that RGPNet can generate segmentation results in real-time with comparable accuracy to the state-of-the-art non-real-time heavy models. Moreover, towards green AI, we show that using an optimized label-relaxation technique with progressive resizing can reduce the training time by up to 60% while preserving the performance. We conclude that RGPNet obtains a better speed-accuracy trade-off across multiple datasets.


title: System of Lane-Emden equations as IVPs BVPs and Four Point BVPs & Computation with Haar Wavelets

abstract: In this work we present Haar wavelet collocation method and solve the following class of system of Lane-Emden equation defined as \begin{eqnarray*} -(t^{k_1} y'(t))'=t^{-\omega_1} f_1(t,y(t),z(t)),\\ -(t^{k_2} z'(t))'=t^{-\omega_2} f_2(t,y(t),z(t)), \end{eqnarray*} where $t>0$, subject to initial values, boundary values and four point boundary values: \begin{eqnarray*} \mbox{Initial Condition:}&&y(0)=\gamma_1,~y'(0)=0,~z(0)=\gamma_2,~z'(0)=0,\\ \mbox{Boundary Condition:}&&y'(0)=0,~y(1)=\delta_1,~z'(0)=0,~z(1)=\delta_2,\\ \mbox{Four~point~Boundary~Condition:}&&y(0)=0,~y(1)=n_1z(v_1),~z(0)=0,~z(1)=n_2y(v_2), \end{eqnarray*} where $n_1$, $n_2$, $v_1$, $v_2$ $\in (0,1)$ and $k_1\geq 0$, $k_2\geq0$, $\omega_1<1$, $\omega_2<1$ are real constants. Results are compared with exact solutions in the case of IVP and BVP. In case of four point BVP we compare the result with other methods. Convergence of these methods is also established and found to be of second order. We observe that as resolution is increased to $J=4$ we get the exact values for IVPs and BVPs. For four point BVPs also at $J=4$, we get highly accurate solutions, e.g., the $L^\infty$ error is of order $10^{-16}$ or $10^{-17}$.