title: EBPC: Extended Bit-Plane Compression for Deep Neural Network Inference and Training Accelerators

abstract: In the wake of the success of convolutional neural networks in image classification, object recognition, speech recognition, etc., the demand for deploying these compute-intensive ML models on embedded and mobile systems with tight power and energy constraints at low cost, as well as for boosting throughput in data centers, is growing rapidly. This has sparked a surge of research into specialized hardware accelerators. Their performance is typically limited by I/O bandwidth, power consumption is dominated by I/O transfers to off-chip memory, and on-chip memories occupy a large part of the silicon area. We introduce and evaluate a novel, hardware-friendly, and lossless compression scheme for the feature maps present within convolutional neural networks. We present hardware architectures and synthesis results for the compressor and decompressor in 65nm. With a throughput of one 8-bit word/cycle at 600MHz, they fit into 2.8kGE and 3.0kGE of silicon area, respectively - together the size of less than seven 8-bit multiply-add units at the same throughput. We show that an average compression ratio of 5.1x for AlexNet, 4x for VGG-16, 2.4x for ResNet-34 and 2.2x for MobileNetV2 can be achieved - a gain of 45-70% over existing methods. Our approach also works effectively for various number formats, has a low frame-to-frame variance on the compression ratio, and achieves compression factors for gradient map compression during training that are even better than for inference.


title: On the Development of a Coupled Non-linear Telegraph-Diffusion Model for Image Restoration

abstract: In this work, we propose a telegraph coupled partial differential equation (TCPDE) based model for image restoration. New framework interpolates between a couple of non-linear telegraph equation and a parabolic equation. Proposed strategy can be applied to significantly preserve the oscillatory and texture pattern in an image, even in low signal-to-noise ratio. First, we prove that the present model has a unique global weak solution using Banach's fixed point theorem. Then apply our model over a set of gray-level images to illustrate the superiority of the proposed model over the recently developed hyperbolic-parabolic PDE based models as well as coupled diffusion-based model.


title: Dimensionally Restricted Causal Set Quantum Gravity: Examples in Two and Three Dimensions

abstract: We study dimensionally restricted non-perturbative causal set quantum dynamics in $2$ and $3$ spacetime dimensions with non-trivial global spatial topology. The causal set sample space is generated from causal embeddings into spacetime lattices with global spatial topology $S^1$ and $T^2$ in $2$ and $3$ dimensions, respectively. The quantum gravity partition function over these sample spaces is studied using Markov Chain Monte Carlo (MCMC) simulations after analytic continuation. In both $2$ and $3$ dimensions we find a phase transition that separates the dominance of the action from that of the entropy. The action dominated phase is characterised by ``layered'' posets with a high degree of connectivity, while the causal sets in the entropy dominated phase are manifold-like. This phase transition is similar in character to that seen for the sample space of $2$-orders, which are topologically trivial, hence suggesting that this is a generic feature of dimensionally restricted sample spaces. The simulations use a newly developed framework for causal set MCMC calculations. Ours is the first implementation of a causal set dynamics restricted to $3$ dimensions.


title: Porting of eChronos RTOS on RISC-V Architecture

abstract: eChronos is a formally verified Real Time Operating System(RTOS) designed for embedded micro-controllers. eChronos was targeted for tightly constrained devices without memory management units. Currently, eChronos is available on proprietary designs like ARM, PowerPC and Intel architectures. eChronos is adopted in safety critical systems like aircraft control system and medical implant devices. eChronos is one of the very few system software not been ported to RISC-V. RISC-V is an open-source Instruction Set Architecture (ISA) that enables new era of processor development. Many standard Operating Systems, software tool chain have migrated to the RISC-V architecture. According to the latest trends, RISC-V is replacing many proprietary chips. As a secure RTOS, it is attractive to port on an open-source ISA. SHAKTI and PicoRV32 are some of the proven open-source RISC-V designs available. Now having a secure RTOS on an open-source hardware design, designed based on an open-source ISA makes it more interesting. In addition to this, the current architectures supported by eChronos are all proprietary designs, and porting eChronos to the RISC-V architecture increases the secure system development as a whole. This paper, presents an idea of porting eChronos on a chip which is open-source and effective, thus reducing the cost of embedded systems. Designing a open-source system that is completely open-source reduces the overall cost, increased the security and can be critically reviewed. This paper explores the design and architecture aspect involved in porting eChronos to RISC-V. The authors have successfully ported eChronos to RISC-V architecture and verified it on spike. The port of RISC-V to eChronos is made available open-source by authors. Along with that, the safe removal of architectural dependencies and subsequent changes in eChronos are also analyzed.


title: Control of Synchronization in two-layer power grids

abstract: In this work we suggest to model the dynamics of power grids in terms of a two-layer network, and use the Italian high voltage power grid as a proof-of-principle example. The first layer in our model represents the power grid consisting of generators and consumers, while the second layer represents a dynamic communication network that serves as a controller of the first layer. In particular, the dynamics of the power grid is modelled by the Kuramoto model with inertia, while the communication layer provides a control signal $P_i$ for each generator to improve frequency synchronization within the power grid. We propose different realizations of the communication layer topology and different ways to calculate the control signal. Then we conduct a systematic survey of the two-layer system against a multitude of different realistic perturbation scenarios, such as disconnecting generators, increasing demand of consumers, or generators with stochastic power output. When using a control topology that allows all generators to exchange information, we find that a control scheme aimed to minimize the frequency difference between adjacent nodes operates very efficiently even against the worst scenarios with the strongest perturbations.


title: Screening Highly Effective Electrocatalyst for N2 Reduction on Anatase TiO2(101) Surface: By Tuning Electronic and Geometry Features

abstract: Industrial scale NH3 production is mainly produced by the Haber Bosch process, but it suffers from intensive energy consumption with serious CO2 emission. Electrochemical N2 reduction reaction (NRR) is now used for energy-saving NH3 synthesis, which needs highly efficient electrocatalysts for N2 activation. In this work, we have computationally studied what are main factors for affecting N2 molecule activation and NRR process on VO2c decorated TiO2 (101) surface by changing its structures or electronic features. Furthermore, a promising NRR electrocatalyst is successfully predicted.


title: Vanishing diffusion limits for planar fronts in bistable models with saturation

abstract: We deal with heteroclinic planar fronts for parameter-dependent reaction-diffusion equations with bistable reaction and saturating diffusive term like $$ u_t=\epsilon \, \textrm{div}\, \left(\frac{\nabla u}{\sqrt{1+\vert \nabla u \vert^2}}\right) + f(u), \quad u=u(x, t), \; x \in \textbf{R}^n, \, t \in \textbf{R}, $$ analyzing in particular their behavior for $\epsilon \to 0$. First, we construct monotone and non-monotone planar traveling waves, using a change of variables allowing to analyze a two-point problem for a suitable first-order reduction; then, we investigate their asymptotic behavior for $\epsilon \to 0$, showing in particular that the convergence of the critical fronts to a suitable step function may occur passing through discontinuous solutions.


title: Convergence Tests for Transdimensional Markov Chains in Geoscience Imaging

abstract: Classic inversion methods adjust a model with a predefined number of parameters to the observed data. With transdimensional inversion algorithms such as the reversible-jump Markov Chain Monte Carlo (rjMCMC), it is possible to vary this number during the inversion and to interpret the observations in a more flexible way. Geoscience imaging applications use this behaviour to automatically adjust model resolution to the inhomogeneities of the investigated system, while keeping the model parameters on an optimal level. The rjMCMC algorithm produces an ensemble as result, a set of model realizations which together represent the posterior probability distribution of the investigated problem. The realizations are evolved via sequential updates from a randomly chosen initial solution, and converge toward the target posterior distribution of the inverse problem. Up to a point in the chain, the realizations may be strongly biased by the initial model, and have to be discarded from the final ensemble. With convergence assessment techniques, this point in the chain can be identified. Transdimensional MCMC methods produce ensembles which are not suitable for classic convergence assessment techniques because of the changes in parameter numbers. To overcome this hurdle, three solutions are introduced to convert model realizations to a common dimensionality while maintaining the statistical characteristics of the ensemble. A scalar, a vector and a matrix representation for models is presented, inferred from tomographic subsurface investigations, and three classic convergence assessment techniques are applied on them. It is shown that appropriately chosen scalar conversions of the models could retain similar statistical ensemble properties as geologic projections created by rasterization.


title: Momentum distribution of the electron pair from the charged lepton flavor violating process $\mu^-e^-\to e^-e^-$ in muonic atoms with a polarized muon

abstract: The $\mu^-e^-\to e^-e^-$ process in a muonic atom is one of the promising probes to study the charged lepton flavor violation (CLFV). We have investigated the angular distribution of electrons from the polarized muon of the atomic bound state. The parity violating asymmetric distribution of electrons is analyzed by using lepton wave functions under the Coulomb interaction of a finite nuclear charge distribution. It is found that the asymmetry parameters of electrons are very sensitive to the chiral structure of the CLFV interaction and the contact/photonic interaction. Therefore, together with the atomic number dependence of the decay rate studied in our previous work, the angular distribution of electrons from a polarized muon should be a very useful tool to constrain the model beyond the standard model.


title: Higher Rank Relations for the Askey-Wilson and $q$-Bannai-Ito Algebra

abstract: The higher rank Askey-Wilson algebra was recently constructed in the $n$-fold tensor product of $U_q(\mathfrak{sl}_2)$. In this paper we prove a class of identities inside this algebra, which generalize the defining relations of the rank one Askey-Wilson algebra. We extend the known construction algorithm by several equivalent methods, using a novel coaction. These allow to simplify calculations significantly. At the same time, this provides a proof of the corresponding relations for the higher rank $q$-Bannai-Ito algebra.


title: Sign-sensitivities for reaction networks: an algebraic approach

abstract: This paper presents an algebraic framework to study sign-sensitivities for reaction networks modeled by means of systems of ordinary differential equations. Specifically, we study the sign of the derivative of the concentrations of the species in the network at steady state with respect to a small perturbation on the parameter vector. We provide a closed formula for the derivatives that accommodates common perturbations, and illustrate its form with numerous examples. We argue that, mathematically, the study of the response to the system with respect to changes in total amounts is not well posed, and that one should rather consider perturbations with respect to the initial conditions. We find a sign-based criterion to determine, without computing the sensitivities, whether the sign depends on the steady state and parameters of the system. This is based on earlier results of so-called injective networks. Finally, we address systems with multiple steady states and the restriction to stable steady states.


title: LU-Net: An Efficient Network for 3D LiDAR Point Cloud Semantic Segmentation Based on End-to-End-Learned 3D Features and U-Net

abstract: We propose LU-Net -- for LiDAR U-Net, a new method for the semantic segmentation of a 3D LiDAR point cloud. Instead of applying some global 3D segmentation method such as PointNet, we propose an end-to-end architecture for LiDAR point cloud semantic segmentation that efficiently solves the problem as an image processing problem. We first extract high-level 3D features for each point given its 3D neighbors. Then, these features are projected into a 2D multichannel range-image by considering the topology of the sensor. Thanks to these learned features and this projection, we can finally perform the segmentation using a simple U-Net segmentation network, which performs very well while being very efficient. In this way, we can exploit both the 3D nature of the data and the specificity of the LiDAR sensor. This approach outperforms the state-of-the-art by a large margin on the KITTI dataset, as our experiments show. Moreover, this approach operates at 24fps on a single GPU. This is above the acquisition rate of common LiDAR sensors which makes it suitable for real-time applications.


title: Onset of planet formation in the warm inner disk -- Colliding dust aggregates at high temperatures

abstract: Collisional growth of dust occurs in all regions of protoplanetary disks with certain materials dominating between various condensation lines. The sticking properties of the prevalent dust species depend on the specific temperatures. The inner disk is the realm of silicates spanning a wide range of temperatures from room temperature up to sublimation beyond $1500\,\mathrm{K}$. For the first time, we carried out laboratory collision experiments with hot levitated basalt dust aggregates of $1\, \rm mm$ in size. The aggregates are compact with a filling factor of $0.37 \pm 0.06$. The constituent grains have a wide size distribution that peaks at about $0.6\,\mu \mathrm{m}$. Temperatures in the experiments are varied between approximately $600\,\mathrm{K}$ and $1100\,\mathrm{K}$. Collisions are slow with velocities between $0.002\,\mathrm{m}\,\mathrm{s}^{-1}$ and $0.15\,\mathrm{m}\,\mathrm{s}^{-1}$, i.e., relevant for protoplanetary disks. Aside from variations of the coefficients of restitution due to varying collision velocities, the experiments show low sticking probability below $900\,\mathrm{K}$ and an increasing sticking probability starting at $900\,\mathrm{K}$. This implies that dust can grow to larger size in hot regions, which might change planet formation. One scenario is an enhanced probability for local planetesimal formation. Another scenario is a reduction of planetesimal formation as larger grains are more readily removed as a consequence of radial drift. However, the increased growth at high temperatures likely changes planetesimal formation one way or the other.


title: Autoregressive Text Generation Beyond Feedback Loops

abstract: Autoregressive state transitions, where predictions are conditioned on past predictions, are the predominant choice for both deterministic and stochastic sequential models. However, autoregressive feedback exposes the evolution of the hidden state trajectory to potential biases from well-known train-test discrepancies. In this paper, we combine a latent state space model with a CRF observation model. We argue that such autoregressive observation models form an interesting middle ground that expresses local correlations on the word level but keeps the state evolution non-autoregressive. On unconditional sentence generation we show performance improvements compared to RNN and GAN baselines while avoiding some prototypical failure modes of autoregressive models.


title: Magnetic excitations in molecular magnets with complex bridges: The tetrahedral molecule Ni$_4$Mo$_{12}$

abstract: We investigate the spectroscopic magnetic excitations in molecular magnets with complex intermediate structure among the magnetic ions. Our approach consists in introducing a modified spin Hamiltonian that allows for discrete coupling parameters accounting for all energetically favorable spatial distributions of the valence electrons along the exchange bridges connecting the constituent magnetic ions. We discuss the physical relevance of the constructed Hamiltonian and derive its eigenvalues. The model is applied to explore the magnetic excitations of the tetrameric molecular magnet Ni$_4$Mo$_{12}$. Our results are in a very good agreement with the available experimental data. We show that the experimental magnetic excitations in the named tetramer can be traced back to the specific geometry and complex chemical structure of the exchange bridges leading to the splitting and broadness of the peaks centered about 0.5 meV and 1.7 meV.


title: Comparative study of performance of parallel Alpha Beta Pruning for different architectures

abstract: Optimization of searching the best possible action depending on various states like state of environment, system goal etc. has been a major area of study in computer systems. In any search algorithm, searching best possible solution from the pool of every possibility known can lead to the construction of the whole state search space popularly called as minimax algorithm. This may lead to a impractical time complexities which may not be suitable for real time searching operations. One of the practical solution for the reduction in computational time is Alpha Beta pruning. Instead of searching for the whole state space, we prune the unnecessary branches, which helps reduce the time by significant amount. This paper focuses on the various possible implementations of the Alpha Beta pruning algorithms and gives an insight of what algorithm can be used for parallelism. Various studies have been conducted on how to make Alpha Beta pruning faster. Parallelizing Alpha Beta pruning for the GPUs specific architectures like mesh(CUDA) etc. or shared memory model(OpenMP) helps in the reduction of the computational time. This paper studies the comparison between sequential and different parallel forms of Alpha Beta pruning and their respective efficiency for the chess game as an application.


title: Nonlinear Dynamic Periodic Event-Triggered Control with Robustness to Packet Loss Based on Non-Monotonic Lyapunov Functions

abstract: This paper considers the stabilization of nonlinear continuous-time dynamical systems employing periodic event-triggered control (PETC). Assuming knowledge of a stabilizing feedback law for the continuous-time system with a certain convergence rate, a dynamic, state dependent PETC mechanism is designed. The proposed mechanism guarantees on average the same worst case convergence behavior except for tunable deviations. Furthermore, a new approach to determine the sampling period for the proposed PETC mechanism is presented. This approach as well as the actual trigger rule exploit the theory of non-monotonic Lyapunov functions. An additional feature of the proposed PETC mechanism is the possibility to integrate knowledge about packet losses in the PETC design. The proposed PETC mechanism is illustrated with a nonlinear numerical example from literature. This paper is the accepted version of [1], containing also the proofs of the main results.


title: Ising superconductors: Interplay of magnetic field, triplet channels, and disorder

abstract: We study the superconducting instability in disordered non-centrosymmetric monolayers with intrinsic Ising spin-orbit coupling (SOC) subjected to an in-plane Zeeman magnetic field. The pairing interaction contains the channels allowed by crystal symmetry, such that in general, the pairing state is a mixture of singlet and triplet Cooper pairs. The joint action of SOC and Zeeman field selects a specific in-plane $\mathbf{d}$-vector triplet component to couple with the singlets, which gains robustness against disorder through the coupling. The out-of-plane $\mathbf{d}$-vector component, that in the clean case is immune to both the Zeeman field and SOC is obliterated by a very small impurity scattering rate. We formulate the quasi-classical theory of Ising superconductors and solve the linearized Eilenberger equations to obtain the pair-breaking equations that determine the Zeeman field -- temperature dependence of the continuous superconducting transition. Our discussion emphasizes how the Zeeman field, SOC and disorder affect the different superconducting order parameters, and we show how the spin-fields inevitably induce odd-frequency pairing correlations.


title: A unified approach to standard and exotic dualizations through graded geometry

abstract: Gauge theories can often be formulated in different but physically equivalent ways, a concept referred to as duality. Using a formalism based on graded geometry, we provide a unified treatment of all parent theories for different types of standard and exotic dualizations. Our approach is based on treating tensor fields as functions of a certain degree on graded supermanifolds equipped with a suitable number of odd coordinates. We present a universal two-parameter first order action for standard and exotic electric/magnetic dualizations and prove in full generality that it yields two dual second order theories with the desired field content and dynamics. Upon choice of parameters, the parent theory reproduces (i) the standard and exotic duals for p-forms and (ii) the standard and double duals for (p,1) bipartite tensor fields, such as the linearized graviton and the Curtright field. Moreover, we discuss how deformations related to codimension-1 branes are included in the parent theory.


title: Exploring Domain Shift in Extractive Text Summarization

abstract: Although domain shift has been well explored in many NLP applications, it still has received little attention in the domain of extractive text summarization. As a result, the model is under-utilizing the nature of the training data due to ignoring the difference in the distribution of training sets and shows poor generalization on the unseen domain. With the above limitation in mind, in this paper, we first extend the conventional definition of the domain from categories into data sources for the text summarization task. Then we re-purpose a multi-domain summarization dataset and verify how the gap between different domains influences the performance of neural summarization models. Furthermore, we investigate four learning strategies and examine their abilities to deal with the domain shift problem. Experimental results on three different settings show their different characteristics in our new testbed. Our source code including \textit{BERT-based}, \textit{meta-learning} methods for multi-domain summarization learning and the re-purposed dataset \textsc{Multi-SUM} will be available on our project: \url{http://pfliu.com/TransferSum/}.


title: The impact of AGN feedback on galaxy intrinsic alignments in the Horizon simulations

abstract: The intrinsic correlations of galaxy shapes and orientations across the large-scale structure of the Universe are a known contaminant to weak gravitational lensing. They are known to be dependent on galaxy properties, such as their mass and morphologies. The complex interplay between alignments and the physical processes that drive galaxy evolution remains vastly unexplored. We assess the sensitivity of intrinsic alignments (shapes and angular momenta) to Active Galactic Nuclei -AGN- feedback by comparing galaxy alignment in twin runs of the cosmological hydrodynamical Horizon simulation, which do and do not include AGN feedback respectively. We measure intrinsic alignments in three dimensions and in projection at z=0 and z=1. We find that the projected alignment signal of all galaxies with resolved shapes with respect to the density field in the simulation is robust to AGN feedback, thus giving similar predictions for contamination to weak lensing. The relative alignment of galaxy shapes around galaxy positions is however significantly impacted, especially when considering high-mass ellipsoids. Using a sample of galaxy "twins" across simulations, we determine that AGN changes both the galaxy selection and their actual alignments. Finally, we measure the alignments of angular momenta of galaxies with their nearest filament. Overall, these are more significant in the presence of AGN as a result of the higher abundance of massive pressure-supported galaxies.


title: Large eddy simulation study of the humidity variation in the shadow of a large wind farm

abstract: Numerous studies have shown that wind turbine wakes within a large wind farm bring about changes to both the dynamics and thermodynamics of the atmospheric boundary layers (ABL). Previously, we investigated the relative humidity budget within a wind farm via field measurements in the near-wake region and large eddy simulations (LES). The effect of the compounding wakes within a large wind farm on the relative humidity was also investigated by LES. In this study, we investigate how the areas of relative humidity variation, that was observed in the near-wake, develop downstream in the shadow region of a large wind farm. To this end, LES of a wind farm consisting of 8x6 wind turbines with periodic boundary condition in the lateral direction (inferring an infinitely wide farm) interacting with a stable ABL is carried out. Two wind farm layouts, aligned and staggered, are considered in the analysis and the results from both configurations are compared to each other. It is observed that a decrease of relative humidity underneath the hub height and an increase above the hub height build up within the wind farm, and are maintained in the downstream of the farm for long distances. The staggered farm layout is more effective in keeping a more elongated region of low relative humidity underneath the hub, when compared to the aligned layout.


title: Localization of plus-one generated arrangements

abstract: We study the classes of free and plus-one generated hyperplane arrangements. Specifically, we describe how to compute the associated prime ideals of the Jacobian ideal of such an arrangement from its lattice of intersection. Moreover, we prove that the localization of a plus-one generated arrangement is free or plus-one generated.


title: Examples of groups whose automorphisms have exotic growth

abstract: In this note we produce examples of outer automorphisms of finitely generated groups which have exotic behaviors in terms of growth of conjugacy classes.


title: Implications of pinned occupation numbers for natural orbital expansions. II: Rigorous derivation and extension to non-fermionic systems

abstract: We have explained and comprehensively illustrated in Part I that the generalized Pauli constraints suggest a natural extension of the concept of active spaces. In the present Part II, we provide rigorous derivations of the theorems involved therein. This will offer in particular deeper insights into the underlying mathematical structure and will explain why the saturation of generalized Pauli constraints implies a specific simplified structure of the corresponding many-fermion quantum state. Moreover, we extend the results of Part I to non-fermionic multipartite quantum systems, revealing that extremal single-body information has always strong implications for the multipartite quantum state. In that sense, our work also confirms that pinned quantum systems define new physical entities and the presence of pinnings reflect the existence of (possibly hidden) ground state symmetries.


title: Helmholtz scattering by random domains: first-order sparse boundary element approximation

abstract: We consider the numerical solution of time-harmonic acoustic scattering by obstacles with uncertain geometries for Dirichlet, Neumann, impedance and transmission boundary conditions. In particular, we aim to quantify diffracted fields originated by small stochastic perturbations of a given relatively smooth nominal shape. Using first-order shape Taylor expansions, we derive tensor deterministic first kind boundary integral equations for the statistical moments of the scattering problems considered. These are then approximated by sparse tensor Galerkin discretizations via the combination technique (Griebel et al.). We supply extensive numerical experiments confirming the predicted error convergence rates with poly-logarithmic growth in the number of degrees of freedom and accuracy in approximation of the moments. Moreover, we discuss implementation details such as preconditioning to finally point out further research avenues.


title: Recent topics on the O'Hara energies

abstract: The O'Hara energies, introduced by Jun O'Hara in 1991, were proposed to answer the question of what is a "good" figure in a given knot type. A property of the O'Hara energies is that the "better" the figure of a knot is, the less the energy value is. In this article, we discuss two topics on the O'Hara energies. First, we slightly generalize the O'Hara energies and consider a characterization of its finiteness. The finiteness of the O'Hara energies was considered by Blatt in 2012 who used the Sobolev-Slobodeckii space, and naturally we consider a generalization of this space. Another fundamental problem is to understand the minimizers of the O'Hara energies. This problem has been addressed in several papers, some of them based on numerical computations. In this direction, we discuss a discretization of the O'Hara energies and give some examples of numerical computations. Particular one of the O'Hara energies, called the M\"{o}bius energy thanks to its M\"{o}bius invariance, was considered by Kim-Kusner in 1993, and Scholtes in 2014 established convergence properties. We apply their argument in general since the argument does not rely on M\"{o}bius invariance.


title: Central limit theorem for Bose gases interacting through singular potentials

abstract: We consider a system of $N$ bosons in the limit $N \rightarrow \infty$, interacting through singular potentials. For initial data exhibiting Bose-Einstein condensation, the many-body time evolution is well approximated through a quadratic fluctuation dynamics around a cubic non-linear Schr\"odinger equation of the condensate wave function. We show that these fluctuations satisfy a (multi-variate) central limit theorem.


title: openQ*D code: a versatile tool for QCD+QED simulations

abstract: We present the open-source package openQ*D-1.0, which has been primarily, but not uniquely, designed to perform lattice simulations of QCD+QED and QCD, with and without C* boundary conditions, and O(a) improved Wilson fermions. The use of C* boundary conditions in the spatial direction allows for a local and gauge-invariant formulation of QCD+QED in finite volume, and provides a theoretically clean setup to calculate isospin-breaking and radiative corrections to hadronic observables from first principles. The openQ*D code is based on openQCD-1.6 and NSPT-1.4. In particular it inherits from openQCD-1.6 several core features, e.g. the highly optimized Dirac operator, the locally deflated solver, the frequency splitting for the RHMC, or the 4th order OMF integrator.


title: Generation and imaging of magnetoacoustic waves over millimetre distances

abstract: Using hybrid piezoelectric/magnetic systems we have generated large amplitude magnetization waves mediated by magneto-elasticity with up to 25 degrees variation in the magnetization orientation. We present direct imaging and quantification of both standing and propagating acoustomagnetic waves with different wavelengths, over large distances up to several millimeters in a nickel thin film.


title: Small Obstacle Avoidance Based on RGB-D Semantic Segmentation

abstract: This paper presents a novel obstacle avoidance system for road robots equipped with RGB-D sensor that captures scenes of its way forward. The purpose of the system is to have road robots move around autonomously and constantly without any collision even with small obstacles, which are often missed by existing solutions. For each input RGB-D image, the system uses a new two-stage semantic segmentation network followed by the morphological processing to generate the accurate semantic map containing road and obstacles. Based on the map, the local path planning is applied to avoid possible collision. Additionally, optical flow supervision and motion blurring augmented training scheme is applied to improve temporal consistency between adjacent frames and overcome the disturbance caused by camera shake. Various experiments are conducted to show that the proposed architecture obtains high performance both in indoor and outdoor scenarios.


title: Motion Capture from Pan-Tilt Cameras with Unknown Orientation

abstract: In sports, such as alpine skiing, coaches would like to know the speed and various biomechanical variables of their athletes and competitors. Existing methods use either body-worn sensors, which are cumbersome to setup, or manual image annotation, which is time consuming. We propose a method for estimating an athlete's global 3D position and articulated pose using multiple cameras. By contrast to classical markerless motion capture solutions, we allow cameras to rotate freely so that large capture volumes can be covered. In a first step, tight crops around the skier are predicted and fed to a 2D pose estimator network. The 3D pose is then reconstructed using a bundle adjustment method. Key to our solution is the rotation estimation of Pan-Tilt cameras in a joint optimization with the athlete pose and conditioning on relative background motion computed with feature tracking. Furthermore, we created a new alpine skiing dataset and annotated it with 2D pose labels, to overcome shortcomings of existing ones. Our method estimates accurate global 3D poses from images only and provides coaches with an automatic and fast tool for measuring and improving an athlete's performance.


title: Variational formulae and estimates of O'Hara's knot energies

abstract: O'Hara's energies, introduced by Jun O'Hara, were proposed to answer the question of what is the canonical shape in a given knot type, and were configured so that the less the energy value of a knot is, the "better" its shape is. The existence and regularity of minimizers has been well studied. In this article, we calculate the first and second variational formulae of the $(\alpha,p)$-O'Hara energies and show absolute integrability, uniform boundedness, and continuity properties. Although several authors have already considered the variational formulae of the $(\alpha,1)$-O'Hara energies, their techniques do not seem to be applicable to the case $p>1$. We obtain the variational formulae in a novel manner by extracting a certain function from the energy density. All of the $(\alpha,p)$-energies are made from this function, and by analyzing it, we obtain not only the variational formulae but also estimates in several function spaces.


title: Pressure-induced suppression of charge density wave and emergence of Superconductivity in 1T-VSe2

abstract: We report pressure evolution of charge density wave (CDW) order and emergence of superconductivity (SC) in 1T-VSe2 single crystal by studying resistance and magnetoresistance behavior under high pressure. With increasing quasi-hydrostatic pressure the CDW order enhances with increase ofthe ordering temperature up to 240K at 12 GPa. Upon further increase of pressure, the resistance anomaly due to CDW order gets suppressed drastically and superconductivity emerges at ~15 GPa, with the onset critical temperature (Tc) ~ 4K. The pressure dependence of Tc is found negligible, different from the significant increase or a dome-shape seen in iso-structural layered diselenide superconductors. The high pressure magnetoresistance and Hall measurements suggest successive electronic structural changes with Fermi surface modifications at 6 GPa and 12GPa. From the observed negative magnetoresistance in this pressure range and absence of coexisting CDW and SC phases, we propose that intra-layer spin-fluctuation can play a role in the emergence of superconductivity in the high pressure phase.


title: On the Gan-Gross-Prasad problem for finite unitary groups

abstract: In this paper we study the Gan-Gross-Prasad problem for unitary groups over finite fields. Our results provide complete answers for unipotent representations, and we obtain the explicit branching of these representations.


title: Insecure Until Proven Updated: Analyzing AMD SEV's Remote Attestation

abstract: Customers of cloud services have to trust the cloud providers, as they control the building blocks that form the cloud. This includes the hypervisor enabling the sharing of a single hardware platform among multiple tenants. AMD Secure Encrypted Virtualization (SEV) claims a new level of protection in cloud scenarios. AMD SEV encrypts the main memory of virtual machines with VM-specific keys, thereby denying the higher-privileged hypervisor access to a guest's memory. To enable the cloud customer to verify the correct deployment of his virtual machine, SEV additionally introduces a remote attestation protocol.This paper analyzes the firmware components that implement the SEV remote attestation protocol on the current AMD Epyc Naples CPU series. We demonstrate that it is possible to extract critical CPU-specific keys that are fundamental for the security of the remote attestation protocol.Building on the extracted keys, we propose attacks that allow a malicious cloud provider a complete circumvention of the SEV protection mechanisms. Although the underlying firmware issues were already fixed by AMD, we show that the current series of AMD Epyc CPUs, i.e., the Naples series, does not prevent the installation of previous firmware versions. We show that the severity of our proposed attacks is very high as no purely software-based mitigations are possible. This effectively renders the SEV technology on current AMD Epyc CPUs useless when confronted with an untrusted cloud provider. To overcome these issues, we also propose robust changes to the SEV design that allow future generations of the SEV technology to mitigate the proposed attacks.


title: Refinement of Metrics: Erd\H{o}s Number, a Case Study

abstract: We introduce a concept called refinement and develop two different ways of refining metrics. By applying these methods we produce several refinements of the shortest-path distance on the collaboration graph and hence a couple new versions of the Erd\H{o}s number.


title: Discovering Reliable Correlations in Categorical Data

abstract: In many scientific tasks we are interested in discovering whether there exist any correlations in our data. This raises many questions, such as how to reliably and interpretably measure correlation between a multivariate set of attributes, how to do so without having to make assumptions on distribution of the data or the type of correlation, and, how to efficiently discover the top-most reliably correlated attribute sets from data. In this paper we answer these questions for discovery tasks in categorical data. In particular, we propose a corrected-for-chance, consistent, and efficient estimator for normalized total correlation, by which we obtain a reliable, naturally interpretable, non-parametric measure for correlation over multivariate sets. For the discovery of the top-k correlated sets, we derive an effective algorithmic framework based on a tight bounding function. This framework offers exact, approximate, and heuristic search. Empirical evaluation shows that already for small sample sizes the estimator leads to low-regret optimization outcomes, while the algorithms are shown to be highly effective for both large and high-dimensional data. Through two case studies we confirm that our discovery framework identifies interesting and meaningful correlations.


title: Identities and Properties of Multi-Dimensional Generalized Bessel Functions

abstract: The Generalized Bessel Function (GBF) extends the single variable Bessel function to several dimensions and indices in a nontrivial manner. Two-dimensional GBFs have been studied extensively in the literature and have found application in laser physics, crystallography, and electromagnetics. In this article, we document several properties of $m$-dimensional GBFs including an underlying partial differential equation structure, asymptotics for simultaneously large order and argument, and analysis of generalized Neumann, Kapteyn, and Schl\"{o}milch series. We extend these results to mixed-type GBFs where appropriate.


title: Axial U(1) symmetry, topology, and Dirac spectra at high temperature in $N_f=2$ lattice QCD

abstract: Using lattice QCD simulations with $N_f = 2$ dynamical fermions, we study the axial $U(1)$ symmetry, topological charge, and Dirac eigenvalue spectra in the high-temperature phase in which the chiral symmetry is restored. Our gauge ensembles are generated with M\"obius domain-wall fermions, but the measurements such as susceptibilities are reweighted to those for the overlap fermions by using overlap/domain-wall reweighting technique. We find that the $U(1)_A$ and topological susceptibilities are strongly suppressed in the small quark mass region, which is related to the reduction of chiral-zero and low-nonzero modes on the Dirac spectra. We also examine their volume dependence.


title: Using LSTMs to Model the Java Programming Language

abstract: Recurrent neural networks (RNNs), specifically long-short term memory networks (LSTMs), can model natural language effectively. This research investigates the ability for these same LSTMs to perform next "word" prediction on the Java programming language. Java source code from four different repositories undergoes a transformation that preserves the logical structure of the source code and removes the code's various specificities such as variable names and literal values. Such datasets and an additional English language corpus are used to train and test standard LSTMs' ability to predict the next element in a sequence. Results suggest that LSTMs can effectively model Java code achieving perplexities under 22 and accuracies above 0.47, which is an improvement over LSTM's performance on the English language which demonstrated a perplexity of 85 and an accuracy of 0.27. This research can have applicability in other areas such as syntactic template suggestion and automated bug patching.


title: Elimination of spectral blocking by ensuring rotation-free property of discretised pressure gradient within a spectral semi-implicit semi-Lagrangian global atmospheric model

abstract: The widely-adopted discretisation of the horizontal pressure gradient term formulated by Simmons and Burridge (1981) for atmospheric models on $\sigma$-$p$ hybrid vertical coordinate is found to incur spectral blocking for rotational wind components at high vertical levels when used in a spectral semi-Lagrangian model run on a linear grid. A remedy to this issue is proposed and tested using a spectral semi-implicit semi-Lagrangian hydrostatic primitive equations model. The proposed method removes aliasing errors at high wavenumbers by ensuring that the rotation-free property of the pressure gradient term on isobaric surface, a feature possessed by the continuous system, is preserved in the discretised system, which highlights the significance of mimetic discretisation within the context of numerical weather prediction models.

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


title: Torus Breakdown in a Uni Junction Memristor

abstract: Experimental study of a uni junction transistor (UJT) has enabled to show that this electronic component has the same features as the so-called "memristor". So, we have used the memristor's direct current (DC) vM--iM characteristic for modeling the UJT's DC current--voltage characteristic. This has led us to confirm on the one hand, that the UJT is a memristor and, on the other hand, to propose a new four-dimensional autonomous dynamical system allowing to describe experimentally observed phenomena such as the transition from a limit cycle to torus breakdown.


title: Functorial Properties of the Reticulation of a Universal Algebra

abstract: The {\em reticulation} of an algebra $A$ is a bounded distributive lattice whose prime spectrum of ideals (or filters), endowed with the Stone topology, is homeomorphic to the prime spectrum of congruences of $A$, with its own Stone topology. The reticulation allows algebraic and topological properties to be transferred between the algebra $A$ and bounded distributive lattices, a transfer which is facilitated if we can define a {\em reticulation functor} from a variety containing $A$ to the variety of (bounded) distributive lattices. In this paper, we continue the study of the reticulation of a universal algebra initiated in \cite{retic}, where we have used the notion of a prime congruence introduced through the term condition commutator. We characterize morphisms which admit an image through the reticulation and investigate the kinds of varieties that admit reticulation functors; we prove that these include semi--degenerate congruence--distributive varieties with the Compact Intersection Property and semi--degenerate congruence--distributive varieties with congruence intersection terms, as well as generalizations of these, and additional varietal properties ensure that the reticulation functors preserve the injectivity of morphisms. We also study the property of morphisms of having an image through the reticulation in relation to another property, involving the complemented elements of congruence lattices, exemplify the transfer of properties through the reticulation with conditions Going Up, Going Down, Lying Over and the Congruence Boolean Lifting Property, and illustrate the applicability of such a transfer by using it to derive results for certain types of varieties from properties of bounded distributive lattices.


title: Examples for stable quantum currents

abstract: We provide a mathematical analysis of two models advocated in the theoretical and experimental condensed matter literature: the two dimensional spin-$1/2$ Quantum Walk and the Kagome quantum network; they apply to occurrence of stable quantum currents. This illustrates the theory of stable absolutely continuous spectrum and stable currents developed in \cite{ABJ5}.


title: On Serre's modularity conjecture and Fermat's equation over quadratic imaginary fields of class number one

abstract: In the present article, we extend previous results of the author and we show that when $K$ is any quadratic imaginary field of class number one, Fermat's equation $a^p+b^p+c^p=0$ does not have integral coprime solutions $a,b,c \in K \setminus \{ 0 \}$ such that $2 \mid abc$ and $p \geq 19$ is prime. The results are conjectural upon the veracity of a natural generalisation of Serre's modularity conjecture.


title: An Ultra-Efficient Memristor-Based DNN Framework with Structured Weight Pruning and Quantization Using ADMM

abstract: The high computation and memory storage of large deep neural networks (DNNs) models pose intensive challenges to the conventional Von-Neumann architecture, incurring substantial data movements in the memory hierarchy. The memristor crossbar array has emerged as a promising solution to mitigate the challenges and enable low-power acceleration of DNNs. Memristor-based weight pruning and weight quantization have been seperately investigated and proven effectiveness in reducing area and power consumption compared to the original DNN model. However, there has been no systematic investigation of memristor-based neuromorphic computing (NC) systems considering both weight pruning and weight quantization. In this paper, we propose an unified and systematic memristor-based framework considering both structured weight pruning and weight quantization by incorporating alternating direction method of multipliers (ADMM) into DNNs training. We consider hardware constraints such as crossbar blocks pruning, conductance range, and mismatch between weight value and real devices, to achieve high accuracy and low power and small area footprint. Our framework is mainly integrated by three steps, i.e., memristor-based ADMM regularized optimization, masked mapping and retraining. Experimental results show that our proposed framework achieves 29.81X (20.88X) weight compression ratio, with 98.38% (96.96%) and 98.29% (97.47%) power and area reduction on VGG-16 (ResNet-18) network where only have 0.5% (0.76%) accuracy loss, compared to the original DNN models. We share our models at link http://bit.ly/2Jp5LHJ.


title: Kinematics of Multiple Stellar Populations in Globular Clusters with Gaia

abstract: The internal dynamics of multiple stellar populations in Globular Clusters (GCs) provides unique constraints on the physical processes responsible for their formation. Specifically, the present-day kinematics of cluster stars, such as rotation and velocity dispersion, seems to be related to the initial configuration of the system. In recent work (Milone et al. 2018), we analyzed for the first time the kinematics of the different stellar populations in NGC0104 (47Tucanae) over a large field of view, exploiting the Gaia Data Release 2 proper motions combined with multi-band ground-based photometry. In this paper, based on the work by Cordoni et al. (2019), we extend this analysis to six GCs, namely NGC0288, NGC5904 (M5), NGC6121 (M4), NGC6752, NGC6838 (M71) and further explore NGC0104. Among the analyzed clusters only NGC0104 and NGC5904 show significant rotation on the plane of the sky. Interestingly, multiple stellar populations in NGC5904 exhibit different rotation curves.


title: Cardinality Estimations of Sets with Interval Uncertainties in Finite Topological Spaces

abstract: In this paper, we have established boundaries of cardinal numbers of nonempty sets in finite non-$T_1$ topological spaces using interval analysis. For a finite set with known cardinality, we give interval estimations based on the closure and interior of the set. In this paper, we give new results for the cardinalities of non-empty semi-open sets in non-$T_1$ topological spaces as well as in extremely disconnected and hyperconnected topological spaces.


title: Estimation of Body Mass Index from Photographs using Deep Convolutional Neural Networks

abstract: Obesity is an important concern in public health, and Body Mass Index is one of the useful (and proliferant) measures. We use Convolutional Neural Networks to determine Body Mass Index from photographs in a study with 161 participants. Low data, a common problem in medicine, is addressed by reducing the information in the photographs by generating silhouette images. Results present with high correlation when tested on unseen data.


title: Semiflow selection for the compressible Navier-Stokes system

abstract: Although the existence of dissipative weak solutions for the compressible Navier-Stokes system has already been established for any finite energy initial data, uniqueness is still an open problem. The idea is then to select a solution satisfying the semigroup property, an important feature of systems with uniqueness. More precisely, we are going to prove the existence of a semiflow selection in terms of the three state variables: the density, the momentum and the energy. Finally, we will show that it is possible to introduce a new selection defined only in terms of the initial density and momentum; however, the price to pay is that the semigroup property will hold almost everywhere in time.


title: An inverse problem for the fractional Schr\"odinger equation in a magnetic field

abstract: This paper shows global uniqueness in an inverse problem for a fractional magnetic Schr\"odinger equation (FMSE): an unknown electromagnetic field in a bounded domain is uniquely determined up to a natural gauge by infinitely many measurements of solutions taken in arbitrary open subsets of the exterior. The proof is based on Alessandrini's identity and the Runge approximation property, thus generalizing some previous works on the fractional Laplacian. Moreover, we show with a simple model that the FMSE relates to a long jump random walk with weights.


title: Realization of a multifrequency celestial reference frame through a combination of normal equation systems

abstract: Context. We present a celestial reference frame (CRF) based on the combination of independent, multifrequency radio source position catalogs using nearly 40 years of Very Long Baseline Interferometry observations at the standard geodetic frequencies at SX band and about 15 years of observations at higher frequencies (K and XKa). The final catalog contains 4617 sources. Aims. We produce a multifrequency catalog of radio source positions with full variance-covariance information across all radio source positions of all input catalogs. Methods. We combined three catalogs, one observed at 8 GHz (X band), one at 24 GHz (K band) and one at 32 GHz (Ka band). Rather than only using the radio source positions, we developed a new, rigorous combination approach by carrying over the full covariance information through the process of adding normal equation systems. Special validation routines were used to characterize the random and systematic errors between the input reference frames and the combined catalog. Results. The resulting CRF contains precise positions of 4617 compact radio astronomical objects, 4536 measured at 8 Ghz, 824 sources also observed at 24 GHz, and 674 at 32 GHz. The frame is aligned with ICRF3 within 3 $\mu$as and shows an average positional uncertainty of 0.1 mas in right ascension and declination. No significant deformations can be identified. Comparisons with Gaia-CRF remain inconclusive, nonetheless significant differences between all frames can be attested.


title: Semiclassical inverse spectral problem for elastic Rayleigh waves in isotropic media

abstract: We analyze the inverse spectral problem on the half line associated with elastic surface waves. Here, we extend the treatment of Love waves [arXiv: 1908.10529] to Rayleigh waves. Under certain conditions, and assuming that the Poisson ratio is constant, we establish uniqueness and present a reconstruction scheme for the S-wave speed with multiple wells from the semiclassical spectrum of these waves.


title: QCD spin effects in the heavy hybrid potentials and spectra

abstract: The spin-dependent operators for heavy quarkonium hybrids have been recently obtained in a nonrelativistic effective field theory approach up to next-to-leading order in the heavy-quark mass expansion. In the effective field theory for hybrids several operators not found in standard quarkonia appear, including an operator suppressed by only one power of the heavy-quark mass. We compute the matching coefficients for these operators in the short heavy-quark-antiquark distance regime, $r\ll 1/\Lambda_{\rm QCD}$, by matching weakly-coupled potential NRQCD to the effective field theory for hybrids. In this regime the perturbative and nonperturbative contributions to the matching coefficients factorize, and the latter can be expressed in terms of purely gluonic correlators whose form we explicitly calculate with the aid of the transformation properties of the gluon fields under discrete symmetries. We detail our previous comparison with direct lattice computations of the charmonium hybrid spectrum, from which the unknown nonperturbative contributions can be obtained, and extend it to data sets with different light-quark masses.


title: Transport Spectroscopy of the Field Induced Cascade of Lifshitz Transitions in YbRh2Si2

abstract: A series of strong anomalies in the thermoelectric power is observed in the heavy fermion compound YbRh$_2$Si$_2$ under the effect of magnetic field varying in the range from 9.5~T to 13~T. We identify these features with a sequence of topological transformations of the sophisticated Fermi surface of this compound, namely a cascade of Lifshitz topological transitions. In order to undoubtedly attribute these anomalies to the specific topological changes of the Fermi surface, we employ the renormalized band method. Basing on its results we suggest a simplified model consisting of the large peripheral Fermi surface sheet and the number of continuously appearing (disappearing) small "voids" or "necks". We account for the multiple electron scattering processes between various components of the Fermi surface, calculate the corresponding scattering times, and, finally, find the magnetic field dependence of the Seebeck coefficient. The obtained analytical expression reproduces reasonably the observed positions of the maxima and minima as well as the overall line shapes and allows us to identify the character of corresponding topological transformations.


title: Globally hyperbolic spacetimes can be defined without the 'causal' condition

abstract: Reasonable spacetimes are non-compact and of dimension larger than two. We show that these spacetimes are globally hyperbolic if and only if the causal diamonds are compact. That is, there is no need to impose the causality condition, as it can be deduced. We also improve the definition of global hyperbolicity for the non-regular theory (non $C^{1,1}$ metric) and for general cone structures by proving the following convenient characterization for upper semi-continuous cone distributions: causality and the causally convex hull of compact sets is compact. In this case the causality condition cannot be dropped, independently of the spacetime dimension. Similar results are obtained for causal simplicity.


title: Helium variations in Galactic and extragalactic Globular Clusters

abstract: The recent measurements of internal variations of helium in Galactic and extragalactic Globular Clusters (GCs) set binding constraints to the models of formation of Multiple Populations (MPs) in GCs, and gave rise, at the same time, to crucial questions related with the influence of the environment on MP formation as well as with the role played by GCs in the early galactic formation. We present the most recent estimates of helium enrichment in the main populations of a large sample of Galactic and extragalactic GCs.


title: Thirteen facts that you need to know on multiple populations in globular clusters

abstract: I review the methods, mostly developed in the last decade, that are commonly used to identify and characterize multiple populations (MPs) in Globular Clusters based on photometry. I summarize the results from the recent surveys of MPs with the Hubble Space Telescope and ground-based facilities and provide a list of the main properties of MPs as inferred from these studies.


title: Multiple stellar populations: from old Milky Way globulars to young star clusters

abstract: I present the latest results from our group about the multiple stellar populations in the old Milky Way globular clusters (GCs) and in the young systems both in the Magellanic Clouds and in the Milky Way. For the ancient GCs in our Galaxy I summarize the chemical properties of the stellar populations as observed on the chromosome map. Both Type I and Type II GCs are discussed. For the youngest clusters I will briefly report our latest spectroscopic analysis on the Large Magellanic Cloud cluster NGC1818 and the Galactic open cluster NGC6705 (M11), which supports the co-existence of stellar populations with different rotation rates.


title: Mass loss of different stellar populations in globular clusters

abstract: Once fixed the age and metallicity; the colour distribution of horizontal branch stars in a globular cluster depends on few parameters: the helium abundance of the population and the mass lost during the pre-HB stages. These parameters are usually derived from the HB itself, hence they are degenerate. Breaking this degeneracy and understanding their role is a tricky and challenging problem that no study has tried to solve yet. Combining the information obtained from the chromosome maps and the analysis of multi-band photometry with state of the art stellar evolution models, we can obtain a solid estimate of Y for the various stellar populations in a GC. We will then have, for the first time, the possibility to break the parameters degeneracy on the HB, understand the role of the mass loss, and lay the foundation to build another piece of the multiple populations mosaic.


title: The OMG-Empathy Dataset: Evaluating the Impact of Affective Behavior in Storytelling

abstract: Processing human affective behavior is important for developing intelligent agents that interact with humans in complex interaction scenarios. A large number of current approaches that address this problem focus on classifying emotion expressions by grouping them into known categories. Such strategies neglect, among other aspects, the impact of the affective responses from an individual on their interaction partner thus ignoring how people empathize towards each other. This is also reflected in the datasets used to train models for affective processing tasks. Most of the recent datasets, in particular, the ones which capture natural interactions ("in-the-wild" datasets), are designed, collected, and annotated based on the recognition of displayed affective reactions, ignoring how these displayed or expressed emotions are perceived. In this paper, we propose a novel dataset composed of dyadic interactions designed, collected and annotated with a focus on measuring the affective impact that eight different stories have on the listener. Each video of the dataset contains around 5 minutes of interaction where a speaker tells a story to a listener. After each interaction, the listener annotated, using a valence scale, how the story impacted their affective state, reflecting how they empathized with the speaker as well as the story. We also propose different evaluation protocols and a baseline that encourages participation in the advancement of the field of artificial empathy and emotion contagion.


title: Global logarithmic stability results on the Cauchy problem for anisotropic wave equations

abstract: We discuss the Cauchy problem for anisotropic wave equations. Precisely, we address the question to know which kind of Cauchy data on the lateral boundary are necessary to guarantee the uniqueness of continuation of solutions of an anisotropic wave equation. In the case where the uniqueness holds, the natural problem that arise naturally in this context is to estimate the solutions, in some appropriate space, in terms of norms of the Cauchy data. We aim in this paper to convert, via a reduced Fourrier-Bros-Iagolnitzer transform, the known stability results on the Cauchy problem for elliptic equations to stability results on the Cauchy problem for waves equations. By proceeding in that way the main difficulty is to control the residual terms, induced by the reduced Fourrier-Bros-Iagolnitzer transform, by the Cauchy data. Also, the uniqueness of continuation from Cauchy data is obtained as byproduct of stability results.


title: Solve fraud detection problem by using graph based learning methods

abstract: The credit cards' fraud transactions detection is the important problem in machine learning field. To detect the credit cards's fraud transactions help reduce the significant loss of the credit cards' holders and the banks. To detect the credit cards' fraud transactions, data scientists normally employ the unsupervised learning techniques and supervised learning techniques. In this paper, we employ the graph p-Laplacian based semi-supervised learning methods combined with the undersampling techniques such as Cluster Centroids to solve the credit cards' fraud transactions detection problem. Experimental results show that the graph p-Laplacian semi-supervised learning methods outperform the current state of the art graph Laplacian based semi-supervised learning method (p=2).


title: Timing of young radio pulsars I: Timing noise, periodic modulation and proper motion

abstract: The smooth spin-down of young pulsars is perturbed by two non-deterministic phenomenon, glitches and timing noise. Although the timing noise provides insights into nuclear and plasma physics at extreme densities, it acts as a barrier to high-precision pulsar timing experiments. An improved methodology based on Bayesian inference is developed to simultaneously model the stochastic and deterministic parameters for a sample of 85 high-$\dot{E}$ radio pulsars observed for $\sim$ 10 years with the 64-m Parkes radio telescope. Timing noise is known to be a red process and we develop a parametrization based on the red-noise amplitude ($A_{\rm red}$) and spectral index ($\beta$). We measure the median $A_{\rm red}$ to be $-10.4^{+1.8}_{-1.7}$ yr$^{3/2}$ and $\beta$ to be $-5.2^{+3.0}_{-3.8}$ and show that the strength of timing noise scales proportionally to $\nu^{1}|\dot{\nu}|^{-0.6\pm0.1}$, where $\nu$ is the spin frequency of the pulsar and $\dot{\nu}$ its spin-down rate. Finally, we measure significant braking indices for 19 pulsars, proper motions for two pulsars and discuss the presence of periodic modulation in the arrival times of five pulsars.


title: Chiral Nonsymmetric Interaction in Strong Coupled QCD

abstract: Chiral symmetry in massless QCD is believed to be broken spontaneously. We discuss a possibility that the chiral symmetry is explicitly broken by QCD monopoles which appear only in strong coupled QCD. Namely, the monopole quark interaction explicitly breaks the chiral symmetry ( SU$_A(2)\times $U$_A$(1) ) just like bare quark mass terms. We show that the strength of the interaction is roughly $10$ times smaller than standard strong interactions. We describe it as an effective interaction $g'\bar{q}q\Phi^{\dagger}\Phi$ with the monopole field $\Phi$ and $g'$ being of the order of $(10\rm \,GeV)^{-1}$ or less. It produces small constituent quark masses less than $1$MeV when the monopoles condense ( $\langle\Phi\rangle\neq 0 $ ). We examine to what extent such a weak but explicit symmetry breaking interaction is allowed. In particular, examining Gell-Mann-Oakes-Renner relation we find that the presence of such a small symmetry breaking term is still allowed within the present accuracy of lattice gauge simulations. We predict some phenomenological effects caused by the chiral nonsymmetric monopole quark interaction. Quark confinement and chiral condensate ( $\langle\bar{q}q\rangle\neq 0$ ) arise simultaneously. The condensate $\langle\bar{q}q\rangle$ caused by the monopoles is proportional to monopole density and is estimated such that $(-\langle\bar{q}q\rangle)^{1/3}\sim 160$MeV. The weak monopole quark interaction leads to the small decay width of an observable monopole to hadrons.


title: Mixed Autonomy in Ride-Sharing Networks

abstract: We consider ride-sharing networks served by human-driven vehicles (HVs) and autonomous vehicles (AVs). We propose a model for ride-sharing in this mixed autonomy setting for a multi-location network in which a ride-sharing platform sets prices for riders, compensations for drivers of HVs, and operates AVs for a fixed price with the goal of maximizing profits. When there are more vehicles than riders at a location, we consider three vehicle-to-rider assignment possibilities: rides are assigned to HVs first; rides are assigned to AVs first; rides are assigned in proportion to the number of available HVs and AVs. Next, for each of these priority possibilities, we establish a nonconvex optimization problem characterizing the optimal profits for a network operating at a steady-state equilibrium. We then provide a convex problem which we show to have the same optimal profits, allowing for efficient computation of equilibria, and we show that all three priority possibilities result in the same maximum profits for the platform. Next, we show that, in some cases, there is a regime for which the platform will choose to mix HVs and AVs in order to maximize its profit, while in other cases, the platform will use only HVs or only AVs, depending on the relative cost of AVs. For a specific class of networks, we fully characterize these thresholds analytically and demonstrate our results on an example.


title: The Lambert $W$ function: A newcomer in the Cosmology class?

abstract: We propose a novel equation of state (EoS) which explains the evolutionary history of a flat Friedmann-Lemaitre-Robertson-Walker (FLRW) Universe. The uniqueness of this EoS lies in the fact that it incorporates the Lambert $W$ function in a special fashion. It is explicitly demonstrated that with observationally relevant values of the unknown parameters $\vartheta_\mathrm{1}$ and $\vartheta_\mathrm{2}$, all the evolutionary phases of the Universe can be reproduced. Moreover, it also shows that the initial singularity is unavoidable and asserts that the late-time acceleration of the Universe would continue forever.


title: Identification of Switched Autoregressive and Switched Autoregressive Exogenous Systems from Large Noisy Data Sets

abstract: The paper introduces novel methodologies for the identification of coefficients of switched autoregressive and switched autoregressive exogenous linear models. We consider cases which system's outputs are contaminated by possibly large values of noise for the both case of measurement noise in switched autoregressive models and process noise in switched autoregressive exogenous models. It is assumed that only partial information on the probability distribution of the noise is available. Given input-output data, we aim at identifying switched system coefficients and parameters of the distribution of the noise, which are compatible with the collected data. We demonstrate the efficiency of the proposed approach with several academic examples. The method is shown to be extremely effective in the situations where a large number of measurements is available; cases in which previous approaches based on polynomial or mixed-integer optimization cannot be applied due to very large computational burden.


title: Multi-Modal Fusion for End-to-End RGB-T Tracking

abstract: We propose an end-to-end tracking framework for fusing the RGB and TIR modalities in RGB-T tracking. Our baseline tracker is DiMP (Discriminative Model Prediction), which employs a carefully designed target prediction network trained end-to-end using a discriminative loss. We analyze the effectiveness of modality fusion in each of the main components in DiMP, i.e. feature extractor, target estimation network, and classifier. We consider several fusion mechanisms acting at different levels of the framework, including pixel-level, feature-level and response-level. Our tracker is trained in an end-to-end manner, enabling the components to learn how to fuse the information from both modalities. As data to train our model, we generate a large-scale RGB-T dataset by considering an annotated RGB tracking dataset (GOT-10k) and synthesizing paired TIR images using an image-to-image translation approach. We perform extensive experiments on VOT-RGBT2019 dataset and RGBT210 dataset, evaluating each type of modality fusing on each model component. The results show that the proposed fusion mechanisms improve the performance of the single modality counterparts. We obtain our best results when fusing at the feature-level on both the IoU-Net and the model predictor, obtaining an EAO score of 0.391 on VOT-RGBT2019 dataset. With this fusion mechanism we achieve the state-of-the-art performance on RGBT210 dataset.


title: Endomorphisms of ordinary superelliptic jacobians

abstract: Let $K$ be a field of prime characteristic $p$, $n>4 $ an integer, $f(x)$ an irreducible polynomial over $K$ of degree $n$, whose Galois group is either the full symmetric group $S_n$ or the alternating group $A_n$. Let $l$ be an odd prime different from $p$, $Z[\zeta_l]$ the ring of integers in the $l$th cyclotomic field, $C_{f,l}:y^l=f(x)$ the corresponding superelliptic curve and $J(C_{f,l})$ its jacobian. We prove that the ring of all endomorphisms of $J(C_{f,l})$ coincides with $Z[\zeta_l]$ if $J(C_{f,l})$ is an ordinary abelian variety and $(l,n)\ne (5,5)$.


title: Quantum thermodynamics in a static de Sitter space-time and initial state of the universe

abstract: Using Relativistic Quantum Geometry we study back-reaction effects of space-time inside the causal horizon of a static de Sitter metric, in order to make a quantum thermodynamical description of space-time. We found a finite number of discrete energy levels for a scalar field from a polynomial condition of the confluent hypergeometric functions expanded around $r=0$. As in the previous work, we obtain that the uncertainty principle is valid for each energy level on sub-horizon scales of space-time. We found that temperature and entropy are dependent on the number of sub-states on each energy's level and the Bekenstein-Hawking temperature of each energy level is recovered when the number of sub-states of a given level tends to infinity. We propose that the primordial state of the universe could be described by a de Sitter metric with Planck energy $E_p=m_p\,c^2$, and a B-H temperature: $T_{BH}=\left(\frac{\hbar\,c}{2\pi\,l_p\,K_B}\right)$.


title: The detectable subspace for the Friedrichs model

abstract: This paper discusses how much information on a Friedrichs model operator can be detected from `measurements on the boundary'. We use the framework of boundary triples to introduce the generalised Titchmarsh-Weyl $M$-function and the detectable subspaces which are associated with the part of the operator which is `accessible from boundary measurements'. The Friedrichs model, a finite rank perturbation of the operator of multiplication by the independent variable, is a toy model that is used frequently in the study of perturbation problems. We view the Friedrichs model as a key example for the development of the theory of detectable subspaces, because it is sufficiently simple to allow a precise description of the structure of the detectable subspace in many cases, while still exhibiting a variety of behaviours. The results also demonstrate an interesting interplay between modern complex analysis, such as the theory of Hankel operators, and operator theory.


title: Giant Orbital Magneto-electric effect and Current-driven Magnetization Switching in Twisted Bilayer Graphene

abstract: Recently, signatures of quantum anomalous Hall states with spontaneous ferromagnetism were observed in twisted bilayer graphenes (TBGs) near 3/4 filling [1, 2]. Importantly, it was demon-strated that an extremely small current can switch the direction of the magnetization. This offers the prospect of realizing low energy dissipation magnetic memories. However, the mechanism of the current-driven magnetization switching is poorly understood as the charge currents in graphene layers are generally believed to be non-magnetic. In this work, we demonstrate that, in TBGs, the twist-induced reduction of lattice symmetry allows a charge current to generate net orbital magnetization at a general filling factor through magnetoelectric effects. Substrate-induced strain and sublattice symmetry breaking further reduce the symmetry such that an out-of-plane orbital magnetization can be generated. Due to the large non-trivial Berry phase of the flat bands, the orbital magnetization of a Bloch state can be as large as tens of Bohr magnetons and therefore a small current would be sufficient to generate a large orbital magnetization. We further demonstrate how the charge current with orbital magnetization can switch the magnetization of the quantum anomalous Hall state near 3/4 filling as observed in the experiments [1, 2].


title: Transport signatures of a Floquet topological transition at the helical edge

abstract: The manipulation of the helical edge states of two-dimensional topological insulators is crucial for the development of technological applications. Recently, an important step forward, namely, the experimental realization of a quantum point contact between helical edges, has been accomplished. We theoretically predict that such a quantum point contact, in the presence of a time periodic applied electric field, is characterized by a topological quantum phase transition in the Floquet spectrum. Moreover, we show that it is possible to detect this dynamical topological quantum phase transition by a bare conductance measurements.


title: Bouncing Cosmology for Entropy Corrected Models in Horava-Lifshitz Gravity and Fractal Universe

abstract: The modified field equations are written in logarithmic and power law versions of entropy corrected models in Einstein's gravity in the background of FRW universe. In one section, a brief review of the Ho$\check{\text r}$ava-Lifshitz gravity is discussed and the modified field equations in logarithmic and power law versions of entropy corrected models in Ho$\check{\text r}$ava-Lifshitz gravity are formulated. The stability analysis for these models are performed by describing the dynamical system. In another section, a brief review of the fractal universe is presented and the modified field equations in logarithmic and power law versions of entropy corrected models in fractal universe are formulated. The stability analysis for the dynamical system for these models in the framework of fractal universe are described. Furthermore, the bouncing scenarios of the universe in Ho$\check{\text r}$ava-Lifshitz gravity and fractal model for both logarithmic and power law entropy corrected versions in $k=0,+1,-1$ separately are analyzed. For different cases, the validity of null energy condition (NEC) at the time of bounce is examined. Finally, the behaviors of the physical quantities are depicted through diagrams.


title: Depinning transition of charge-density waves: mapping onto $O(n)$ symmetric $\phi^4$ theory with $n\to -2$ and loop-erased random walks

abstract: Driven periodic elastic systems such as charge-density waves (CDWs) pinned by impurities show a non-trivial, glassy dynamical critical behavior. Their proper theoretical description requires the functional renormalization group. We show that their critical behavior close to the depinning transition is related to a much simpler model, $O(n)$-symmetric $\phi^4$ theory in the unusual limit of $n\to -2$. We demonstrate that both theories yield identical results to 4-loop order and give both a perturbative and a non-perturbative proof of their equivalence. As we show, both theories can be used to describe loop-erased random walks (LERWs), the trace of a random walk where loops are erased as soon as they are formed. Remarkably, two famous models of non-self-intersecting random walks, self-avoiding walks (SAWs) and LERWs, can both be mapped onto $\phi^4$ theory taken, with formally $n=0$ and $n\to -2$ components. This mapping allows us to compute the dynamic critical exponent of CDWs at the depinning transition and the fractal dimension of LERWs in $d=3$ with unprecedented accuracy, $z(d=3)= 1.6243 \pm 0.001$, in excellent agreement with the estimate $z = 1.624 00 \pm 0.00005$ of numerical simulations.


title: Fact-Checking Meets Fauxtography: Verifying Claims About Images

abstract: The recent explosion of false claims in social media and on the Web in general has given rise to a lot of manual fact-checking initiatives. Unfortunately, the number of claims that need to be fact-checked is several orders of magnitude larger than what humans can handle manually. Thus, there has been a lot of research aiming at automating the process. Interestingly, previous work has largely ignored the growing number of claims about images. This is despite the fact that visual imagery is more influential than text and naturally appears alongside fake news. Here we aim at bridging this gap. In particular, we create a new dataset for this problem, and we explore a variety of features modeling the claim, the image, and the relationship between the claim and the image. The evaluation results show sizable improvements over the baseline. We release our dataset, hoping to enable further research on fact-checking claims about images.


title: Earlier Isn't Always Better: Sub-aspect Analysis on Corpus and System Biases in Summarization

abstract: Despite the recent developments on neural summarization systems, the underlying logic behind the improvements from the systems and its corpus-dependency remains largely unexplored. Position of sentences in the original text, for example, is a well known bias for news summarization. Following in the spirit of the claim that summarization is a combination of sub-functions, we define three sub-aspects of summarization: position, importance, and diversity and conduct an extensive analysis of the biases of each sub-aspect with respect to the domain of nine different summarization corpora (e.g., news, academic papers, meeting minutes, movie script, books, posts). We find that while position exhibits substantial bias in news articles, this is not the case, for example, with academic papers and meeting minutes. Furthermore, our empirical study shows that different types of summarization systems (e.g., neural-based) are composed of different degrees of the sub-aspects. Our study provides useful lessons regarding consideration of underlying sub-aspects when collecting a new summarization dataset or developing a new system.


title: Transition from Static to Dynamic Friction in an Array of Frictional Disks

abstract: The nature of an instability that controls the transition from static to dynamical friction is studied in the the context of an array of frictional disks that are pressed from above on a substrate. In this case the forces are all explicit and Newtonian dynamics can be employed without any phenomenological assumptions. We show that an oscillatory instability that had been discovered recently is responsible for the transition, allowing individual disks to spontaneously reach the Coulomb limit and slide with dynamic friction. The transparency of the model allows a full understanding of the phenomenon, including the speeds of the waves that travel from the trailing to the leading edge and vice versa.

categories: cond-mat.stat-mech cond-mat.mtrl-sci cond-mat.soft physics.chem-ph


title: Exponential Fourth Order Schemes for Direct Zakharov-Shabat problem

abstract: We propose two finite-difference algorithms of fourth order of accuracy for solving the initial problem of the Zakharov-Shabat system. Both schemes have the exponential form and conserve quadratic invariant of Zakharov-Shabat system. The second scheme contains the spectral parameter in exponent only and allows to apply the fast computational algorithm.


title: Learning Modulation Design for SWIPT with Nonlinear Energy Harvester: Large and Small Signal Power Regimes

abstract: Nonlinear energy harvesters (EH) behave differently depending on the range of their input power. In the literature, different models have been proposed mainly for relatively small and large input power regimes of an EH. Due to the complexity of the proposed nonlinear models, obtaining analytical optimal or well performing signal designs have been extremely challenging. Relying on the proposed models in the literature, the learning problem of modulation design for simultaneous wireless information-power transfer (SWIPT) over a point-to-point link is studied. Joint optimization of the transmitter and the receiver is implemented using neural network (NN)-based autoencoders. The results reveal that for relatively small channel input powers, as the power demand increases at the receiver, one of the symbols is shot away from the origin while the remaining symbols approach zero amplitude. In the very extreme case of merely receiver power demand, the modulations are in the form of On-Off keying signalling with a low probability of the On signal. On the other side, for relatively large channel input powers, it is observed that as the receiver power demand increases, a number of symbols approach zero amplitude, whereas the others (more than one symbol) get equally high amplitudes but with different phases. In the extreme scenario of merely receiver power demand, the modulation resembles multiple On-Off keying signalling with different phases.


title: Interpreting the action of the endomorphism monoid of the rationals

abstract: In this paper, we define the action of $M$, the monoid of embeddings of $({\mathbb Q}, \le)$, on $\mathbb Q$, in the monoid $(M, \circ)$. That is, we show that $\mathbb Q$ itself can be interpreted in $(M, \circ)$, and in addition, so can the action of $M$ on $\mathbb Q$. This is extended to the monoid $E$ of all endomorphisms of $({\mathbb Q}, \le)$.


title: Geometric optimization using nonlinear rotation-invariant coordinates

abstract: Geometric optimization problems are at the core of many applications in geometry processing. The choice of a representation fitting an optimization problem can considerably simplify solving the problem. We consider the Nonlinear Rotation-Invariant Coordinates (NRIC) that represent the nodal positions of a discrete triangular surface with fixed combinatorics as a vector that stacks all edge lengths and dihedral angles of the mesh. It is known that this representation associates a unique vector to an equivalence class of nodal positions that differ by a rigid body motion. Moreover, integrability conditions that ensure the existence of nodal positions that match a given vector of edge lengths and dihedral angles have been established. The goal of this paper is to develop the machinery needed to use the NRIC for solving geometric optimization problems. First, we use the integrability conditions to derive an implicit description of the space of discrete surfaces as a submanifold of an Euclidean space and a corresponding description of its tangent spaces. Secondly, we reformulate the integrability conditions using quaternions and provide explicit formulas for their first and second derivatives facilitating the use of Hessians in NRIC-based optimization problems. Lastly, we introduce a fast and robust algorithm that reconstructs nodal positions from almost integrable NRIC. We demonstrate the benefits of this approach on a collection of geometric optimization problems. Comparisons to alternative approaches indicate that NRIC-based optimization is particularly effective for problems involving near-isometric deformations.


title: Cosmological scenario based on the particle creation and holographic equipartition

abstract: We propose a cosmological scenario which describes the evolution history of the universe based on the particle creation and holographic equipartition. The model attempts to solve the inflation of the early universe and the accelerated expansion of the present universe without introducing the dark energy from the perspective of thermodynamics. Throughout the evolution of the universe, we assume that the universe always creates particles in some way and holographic equipartition is always satisfied. Further, we choose that the creation rate of particles is proportional to $H^{2}$ in the early universe and to $H$ in the present and late universe, where $H$ is the Hubble parameter. Then we obtain the solutions $a(t)\propto e^{\alpha t/3}$ and $a(t)\propto t^{1/2}$ for the early universe and the solutions $a(t)\propto t^{\delta}$ and $a(t)\propto e^{Ht}$ for the present and late universe, where $\alpha$ and $\delta$ are the parameters. Finally, we obtain and analyze two important thermodynamic properties for the present model.


title: Kinetic freeze-out temperature from yields of short-lived resonances

abstract: A method to determine the kinetic freeze-out temperature in heavy-ion collisions from measured yields of short-lived resonances is presented. The resonance production is treated in the framework of thermal model with an evolution between chemical and kinetic freeze-outs. The yields of many short-lived resonances are suppressed at $T = T_{\rm kin} < T_{\rm ch}$. We determine the values of $T_{\rm kin}$ and $T_{\rm ch}$ for various centralities in Pb--Pb collisions at $\sqrt{s_{_{NN}}} = 2.76$ TeV by fitting the abundances of both the stable hadrons and the short-lived resonances such as $\rho^0$ and $ \text{K}^{*0}$, that were measured by the ALICE collaboration. This allows to extract the kinetic freeze-out temperature from the measured hadron and resonance yields alone, independent of assumptions about the flow velocity profile and the freeze-out hypersurface. The extracted $T_{\rm ch}$ values exhibit a moderate multiplicity dependence whereas $T_{\rm kin}$ drops, from $T_{\rm kin} \simeq T_{\rm ch} \simeq 155$ MeV in peripheral collisions to $T_{\rm kin} \simeq 110$ MeV in 0-20% central collisions. Predictions for other short-lived resonances are presented. A potential (non-)observation of a suppressed $f_0(980)$ meson yield will allow to constrain the lifetime of that meson.


title: The axiom of choice and model-theoretic structures

abstract: We discuss the connections between the failure of the axiom of choice in set theory, and certain model-theoretic structures with enough symmetry.


title: A Study of Cyber Hate on Twitter with Implications for Social Media Governance Strategies

abstract: This paper explores ways in which the harmful effects of cyber hate may be mitigated through mechanisms for enhancing the self governance of new digital spaces. We report findings from a mixed methods study of responses to cyber hate posts, which aimed to: (i) understand how people interact in this context by undertaking qualitative interaction analysis and developing a statistical model to explain the volume of responses to cyber hate posted to Twitter, and (ii) explore use of machine learning techniques to assist in identifying cyber hate counter-speech.


title: Learning to Ask: Question-based Sequential Bayesian Product Search

abstract: Product search is generally recognized as the first and foremost stage of online shopping and thus significant for users and retailers of e-commerce. Most of the traditional retrieval methods use some similarity functions to match the user's query and the document that describes a product, either directly or in a latent vector space. However, user queries are often too general to capture the minute details of the specific product that a user is looking for. In this paper, we propose a novel interactive method to effectively locate the best matching product. The method is based on the assumption that there is a set of candidate questions for each product to be asked. In this work, we instantiate this candidate set by making the hypothesis that products can be discriminated by the entities that appear in the documents associated with them. We propose a Question-based Sequential Bayesian Product Search method, QSBPS, which directly queries users on the expected presence of entities in the relevant product documents. The method learns the product relevance as well as the reward of the potential questions to be asked to the user by being trained on the search history and purchase behavior of a specific user together with that of other users. The experimental results show that the proposed method can greatly improve the performance of product search compared to the state-of-the-art baselines.


title: Prospects for Lorentz-Violation Searches at the LHC and Future Colliders

abstract: Hadron colliders are providing a unique opportunity for testing Lorentz invariance and CPT symmetry at high energy and in a laboratory. A first measurement in the top-quark sector was performed at the Tevatron. We present here prospective studies for testing Lorentz invariance in top-quark pair production at the LHC and future colliders. The b-quark sector was investigated recently at LHCb. Eventually, new bounds on photon parameters can be extracted from the observation of TeV photons at the LHC. We will conclude by highlighting other opportunities provided by hadron colliders.


title: Entanglement between identical particles is a useful and consistent resource

abstract: The existence of fundamentally identical particles represents a foundational distinction between classical and quantum mechanics. Due to their exchange symmetry, identical particles can appear to be entangled -- another uniquely quantum phenomenon with far-reaching practical implications. However, a long-standing debate has questioned whether identical particle entanglement is physical or merely a mathematical artefact. In this work, we provide such particle entanglement with a consistent theoretical description as a quantum resource in processes frequently encountered in optical and cold atomic systems. This leads to a plethora of applications of immediate practical impact. On one hand, we show that the metrological advantage for estimating phase shifts in systems of identical bosons amounts to a measure of their particle entanglement, with a clearcut operational meaning. On the other hand, we demonstrate in general terms that particle entanglement is the property resulting in directly usable mode entanglement when distributed to separated parties, with particle conservation laws in play. Application of our tools to an experimental implementation with Bose-Einstein condensates leads to the first quantitative estimation of identical particle entanglement. Further connections are revealed between particle entanglement and other resources such as optical nonclassicality and quantum coherence. Overall, this work marks a resolutive step in the ongoing debate by delivering a unifying conceptual and practical understanding of entanglement between identical particles.

categories: quant-ph cond-mat.quant-gas math-ph math.MP


title: Application of Levy Processes in Modelling (Geodetic) Time Series With Mixed Spectra

abstract: Recently, various models have been developed, including the fractional Brownian motion (fBm), to analyse the stochastic properties of geodetic time series, together with the extraction of geophysical signals. The noise spectrum of these time series is generally modeled as a mixed spectrum, with a sum of white and coloured noise. Here, we are interested in modelling the residual time series, after deterministically subtracting geophysical signals from the observations. This residual time series is then assumed to be a sum of three random variables (r.v.), with the last r.v. belonging to the family of Levy processes. This stochastic term models the remaining residual signals and other correlated processes. Via simulations and real time series, we identify three classes of Levy processes: Gaussian, fractional and stable. In the first case, residuals are predominantly constituted of short-memory processes. Fractional Levy process can be an alternative model to the fBm in the presence of long-term correlations and self-similarity property. Stable process is characterized by a large variance, which can be satisfied in the case of heavy-tailed distributions. The application to geodetic time series imply potential anxiety in the functional model selection where missing geophysical information can generate such residual time series.


title: L\'evy walk revisited: Hermite polynomial expansion approach

abstract: Integral transform method (Fourier or Laplace transform, etc) is more often effective to do the theoretical analysis for the stochastic processes. However, for the time-space coupled cases, e.g., L\'evy walk or nonlinear cases, integral transform method may fail to be so strong or even do not work again. Here we provide Hermite polynomial expansion approach, being complementary to integral transform method. Some statistical observables of general L\'evy walks are calculated by the Hermite polynomial expansion approach, and the comparisons are made when both the integral transform method and the newly introduced approach work well.


title: Lower-semicontinuity for the Helfrich problem

abstract: We minimise the Canham-Helfrich energy in the class of closed immersions with prescribed genus, surface area and enclosed volume. Compactness is achieved in the class of oriented varifolds. The main result is a lower-semicontinuity estimate for the minimising sequence, which is in general false by a counter example by Gro{\ss}e-Brauckmann. The main argument involved is showing partial regularity of the limit. It entails comparing the Helfrich energy of the minimising sequence locally to that of a biharmonic graph. This idea is by Simon, but it cannot be directly applied, since the area and enclosed volume of the graph may differ. By an idea of Schygulla we adjust these quantities by using a two parameter diffeomorphism of $\mathbb{R}^3$


title: A Continuous Effective Model of the Protein Dynamics

abstract: The theory of elastic rods can be used to describe certain geometric and topological properties of the DNA molecules. A similar effective field theory approach was previously suggested to describe the conformations and dynamics of proteins. In this letter we report a detailed study of the basic features of a version of the proposed model, which assumes proteins to be very long continuous curves. In the most appealing case, the model is based on a potential with a pair of minima corresponding to helical and strand-like configurations of the curves. It allows to derive several predictions about the geometric features of the molecules, and we show that the predictions are compatible with the phenomenology. While the helices represent the ground state configurations, the abundance of beta strands is controlled by a parameter, which can either completely suppress their presence in a molecule, or make them abundant. The few-parameter model investigated in the letter rather represents a universality class of protein molecules. Generalizations accounting for the discrete nature and inhomogeneity of the molecules presumably allow to model realistic cases.

categories: q-bio.BM cond-mat.soft hep-ph hep-th physics.bio-ph