title: Delay-Optimal Distributed Edge Computing in Wireless Edge Networks

abstract: By integrating edge computing with parallel computing, distributed edge computing (DEC) makes use of distributed devices in edge networks to perform computing in parallel, which can substantially reduce service delays. In this paper, we explore DEC that exploits distributed edge devices connected by a wireless network to perform a computation task offloaded from an end device. In particular, we study the fundamental problem of minimizing the delay of executing a distributed algorithm of the computation task. We first establish some structural properties of the optimal communication scheduling policy. Then, given these properties, we characterize the optimal computation allocation policy, which can be found by an efficient algorithm. Next, based on the optimal computation allocation, we characterize the optimal scheduling order of communications for some special cases, and develop an efficient algorithm with a finite approximation ratio to find it for the general case. Last, based on the optimal computation allocation and communication scheduling, we further show that the optimal selection of devices can be found efficiently for some special cases. Our results provide some useful insights for the optimal computation-communication co-design. We evaluate the performance of the theoretical findings using simulations.


title: Examining the EMC Effect using the $F_2^{n}$ neutron structure function

abstract: The persistently mysterious deviations from unity of the ratio of nuclear target structure functions to those of deuterium as measured in deep inelastic scattering (often termed the "EMC Effect") have become the canonical observable for studies of nuclear medium modifications to free nucleon structure in the valence regime. The structure function of the free proton is well known from numerous experiments spanning decades. The free neutron structure function, however, has remained difficult to access. Recently it has been extracted in a systematic study of the global data within a parton distribution function extraction framework and is available from the CTEQ-Jefferson Lab (CJ) Collaboration. Here, we leverage the latter to introduce a new method to study the EMC Effect in nuclei by re-examining existing data in light of the the magnitude of the medium modifications to the free neutron and proton structure functions independently. From the extraction of the free neutron from world data, it is possible to examine the nuclear effects in deuterium and their contribution to our interpretation of the EMC Effect. In this study, we observe that the ratio of the deuteron to the sum of the free neutron and proton structure functions has some $x_{B}$ and $Q^{2}$ dependencies that impact the magnitude of the EMC Effect as typically observed. Specifically, different EMC slopes are obtained when data from different $x_{B}$ and $Q^{2}$ values are utilized. While a linear correlation persists between the EMC and short range correlation effects, the slope is modified when deuteron nuclear effects are removed.


title: Object-Adaptive LSTM Network for Real-time Visual Tracking with Adversarial Data Augmentation

abstract: In recent years, deep learning based visual tracking methods have obtained great success owing to the powerful feature representation ability of Convolutional Neural Networks (CNNs). Among these methods, classification-based tracking methods exhibit excellent performance while their speeds are heavily limited by the expensive computation for massive proposal feature extraction. In contrast, matching-based tracking methods (such as Siamese networks) possess remarkable speed superiority. However, the absence of online updating renders these methods unadaptable to significant object appearance variations. In this paper, we propose a novel real-time visual tracking method, which adopts an object-adaptive LSTM network to effectively capture the video sequential dependencies and adaptively learn the object appearance variations. For high computational efficiency, we also present a fast proposal selection strategy, which utilizes the matching-based tracking method to pre-estimate dense proposals and selects high-quality ones to feed to the LSTM network for classification. This strategy efficiently filters out some irrelevant proposals and avoids the redundant computation for feature extraction, which enables our method to operate faster than conventional classification-based tracking methods. In addition, to handle the problems of sample inadequacy and class imbalance during online tracking, we adopt a data augmentation technique based on the Generative Adversarial Network (GAN) to facilitate the training of the LSTM network. Extensive experiments on four visual tracking benchmarks demonstrate the state-of-the-art performance of our method in terms of both tracking accuracy and speed, which exhibits great potentials of recurrent structures for visual tracking.


title: All-Pay Auctions with Different Forfeits

abstract: In an auction each party bids a certain amount and the one which bids the highest is the winner. Interestingly, auctions can also be used as models for other real-world systems. In an all pay auction all parties must pay a forfeit for bidding. In the most commonly studied all pay auction, parties forfeit their entire bid, and this has been considered as a model for expenditure on political campaigns. Here we consider a number of alternative forfeits which might be used as models for different real-world competitions, such as preparing bids for defense or infrastructure contracts.


title: Solving high-dimensional eigenvalue problems using deep neural networks: A diffusion Monte Carlo like approach

abstract: We propose a new method to solve eigenvalue problems for linear and semilinear second order differential operators in high dimensions based on deep neural networks. The eigenvalue problem is reformulated as a fixed point problem of the semigroup flow induced by the operator, whose solution can be represented by Feynman-Kac formula in terms of forward-backward stochastic differential equations. The method shares a similar spirit with diffusion Monte Carlo but augments a direct approximation to the eigenfunction through neural-network ansatz. The criterion of fixed point provides a natural loss function to search for parameters via optimization. Our approach is able to provide accurate eigenvalue and eigenfunction approximations in several numerical examples, including Fokker-Planck operator and the linear and nonlinear Schr\"odinger operators in high dimensions.

categories: cs.LG cs.NA math.NA physics.comp-ph stat.ML


title: Bidimensional linked matrix factorization for pan-omics pan-cancer analysis

abstract: Several modern applications require the integration of multiple large data matrices that have shared rows and/or columns. For example, cancer studies that integrate multiple omics platforms across multiple types of cancer, pan-omics pan-cancer analysis, have extended our knowledge of molecular heterogenity beyond what was observed in single tumor and single platform studies. However, these studies have been limited by available statistical methodology. We propose a flexible approach to the simultaneous factorization and decomposition of variation across such bidimensionally linked matrices, BIDIFAC+. This decomposes variation into a series of low-rank components that may be shared across any number of row sets (e.g., omics platforms) or column sets (e.g., cancer types). This builds on a growing literature for the factorization and decomposition of linked matrices, which has primarily focused on multiple matrices that are linked in one dimension (rows or columns) only. Our objective function extends nuclear norm penalization, is motivated by random matrix theory, gives an identifiable decomposition under relatively mild conditions, and can be shown to give the mode of a Bayesian posterior distribution. We apply BIDIFAC+ to pan-omics pan-cancer data from TCGA, identifying shared and specific modes of variability across 4 different omics platforms and 29 different cancer types.


title: Origin of the Strong Toroidal Magnetic Field in Magnetars

abstract: A simple model of chiral asymmetry is proposed to interpret the origin of the strong toroidal magnetic field. The electrons relevant to dynamics forming the the field are in a quantume degenerate state with ultra-relativistic Fermi energy. The system is described by Dirac Hartree Fock method using scaled h-bar method. Neutron stars are rotating and have large angular momentum which is formed by cranking model and breaks time reversal. Dirac current is decomposed into convection and spin currents due to Clifford number. The strong toroidal magnetic field is formed by the spin like current resulted by the chiral asymmetry brought about electron capture caused by the parity-violating weak interaction.


title: Adaptive Deep Metric Embeddings for Person Re-Identification under Occlusions

abstract: Person re-identification (ReID) under occlusions is a challenging problem in video surveillance. Most of existing person ReID methods take advantage of local features to deal with occlusions. However, these methods usually independently extract features from the local regions of an image without considering the relationship among different local regions. In this paper, we propose a novel person ReID method, which learns the spatial dependencies between the local regions and extracts the discriminative feature representation of the pedestrian image based on Long Short-Term Memory (LSTM), dealing with the problem of occlusions. In particular, we propose a novel loss (termed the adaptive nearest neighbor loss) based on the classification uncertainty to effectively reduce intra-class variations while enlarging inter-class differences within the adaptive neighborhood of the sample. The proposed loss enables the deep neural network to adaptively learn discriminative metric embeddings, which significantly improve the generalization capability of recognizing unseen person identities. Extensive comparative evaluations on challenging person ReID datasets demonstrate the significantly improved performance of the proposed method compared with several state-of-the-art methods.


title: Time-inconsistent Markovian control problems under model uncertainty with application to the mean-variance portfolio selection

abstract: In this paper we study a class of time-inconsistent terminal Markovian control problems in discrete time subject to model uncertainty. We combine the concept of the sub-game perfect strategies with the adaptive robust stochastic to tackle the theoretical aspects of the considered stochastic control problem. Consequently, as an important application of the theoretical results, by applying a machine learning algorithm we solve numerically the mean-variance portfolio selection problem under the model uncertainty.


title: A Primer on Laplacian Dynamics in Directed Graphs

abstract: We analyze the asymptotic behavior of general first order Laplacian processes on digraphs. The most important ones of these are diffusion and consensus with both continuous and discrete time. We treat diffusion and consensus as dual processes. This is the first complete exposition of this material in a single work.


title: The continuing search for evidence of tidal orbital decay of hot Jupiters

abstract: Many of the known hot Jupiters are formally unstable to tidal orbital decay. The only hot Jupiter for which orbital decay has been directly detected is WASP-12, for which transit timing measurements spanning more than a decade have revealed that the orbital period is decreasing at a rate of $dP/dt\approx 10^{-9}$, corresponding to a reduced tidal quality factor of about $2\times 10^5$. Here, we present a compilation of transit-timing data for WASP-12 and eleven other systems which are especially favorable for detecting orbital decay: KELT-16; WASP-18, 19, 43, 72, 103, 114, and 122; HAT-P-23; HATS-18; and OGLE-TR-56. For most of these systems we present new data that extend the time baseline over which observations have been performed. None of the systems besides WASP-12 displays convincing evidence for period changes, with typical upper limits on $dP/dt$ on the order of $10^{-9}$ or $10^{-10}$, and lower limits on the reduced tidal quality factor on the order of $10^5$. One possible exception is WASP-19, which shows a statistically significant trend, although it may be a spurious effect of starspot activity. Further observations are encouraged.


title: Self-awareness based resource allocation strategy for containment of epidemic spreading

abstract: Resource support between individuals is of particular importance in controlling or mitigating epidemic spreading, especially during pandemics. Whereas there remains the question of how we can protect ourselves from being infected while helping others by donating resources in fighting against the epidemic. To answer the question, we propose a novel resource allocation model by considering the awareness of self-protection of individuals. In the model, a tuning parameter is introduced to quantify the reaction strength of individuals when they are aware of the disease. And then, a coupled model of resource allocation and disease spreading is proposed to study the impact of self-awareness on resource allocation and, its impact on the dynamics of epidemic spreading. Through theoretical analysis and extensive Monte Carlo simulations, we find that in the stationary state, the system converges to two states: the whole healthy or the completely infected, which indicates an abrupt increase in the prevalence when there is a shortage of resources. More importantly, we find that too cautious and too selfless for the people during the outbreak of an epidemic are both not suitable for disease control. Through extensive simulations, we find the optimal point, at which there is a maximum value of the epidemic threshold, and an outbreak can be delayed to the greatest extent. At last, we study further the effects of network structure on the coupled dynamics. We find that the degree heterogeneity promotes the outbreak of disease, and the network structure does not alter the optimal phenomenon in behavior response.


title: A tale of two databases: The use of Web of Science and Scopus in academic papers

abstract: Web of Science and Scopus are two world-leading and competing citation databases. By using the Science Citation Index Expanded and Social Sciences Citation Index, this paper conducts a comparative, dynamic, and empirical study focusing on the use of Web of Science (WoS) and Scopus in academic papers published during 2004 and 2018. This brief communication reveals that although both Web of Science and Scopus are increasingly used in academic papers, Scopus as a new-comer is really challenging the dominating role of WoS. Researchers from more and more countries/regions and knowledge domains are involved in the use of these two databases. Even though the main producers of related papers are developed economies, some developing economies such as China, Brazil and Iran also act important roles but with different patterns in the use of these two databases. Both two databases are widely used in meta-analysis related studies especially for researchers in China. Health/medical science related domains and the traditional Information Science & Library Science field stand out in the use of citation databases.


title: Image Fine-grained Inpainting

abstract: Image inpainting techniques have shown promising improvement with the assistance of generative adversarial networks (GANs) recently. However, most of them often suffered from completed results with unreasonable structure or blurriness. To mitigate this problem, in this paper, we present a one-stage model that utilizes dense combinations of dilated convolutions to obtain larger and more effective receptive fields. Benefited from the property of this network, we can more easily recover large regions in an incomplete image. To better train this efficient generator, except for frequently-used VGG feature matching loss, we design a novel self-guided regression loss for concentrating on uncertain areas and enhancing the semantic details. Besides, we devise a geometrical alignment constraint item to compensate for the pixel-based distance between prediction features and ground-truth ones. We also employ a discriminator with local and global branches to ensure local-global contents consistency. To further improve the quality of generated images, discriminator feature matching on the local branch is introduced, which dynamically minimizes the similarity of intermediate features between synthetic and ground-truth patches. Extensive experiments on several public datasets demonstrate that our approach outperforms current state-of-the-art methods. Code is available at https://github.com/Zheng222/DMFN.


title: The Hierarchy of Block Models

abstract: There exist various types of network block models such as the Stochastic Block Model (SBM), the Degree Corrected Block Model (DCBM), and the Popularity Adjusted Block Model (PABM). While this leads to a variety of choices, the block models do not have a nested structure. In addition, there is a substantial jump in the number of parameters from the DCBM to the PABM. The objective of this paper is formulation of a hierarchy of block model which does not rely on arbitrary identifiability conditions. We propose a Nested Block Model (NBM) that treats the SBM, the DCBM and the PABM as its particular cases with specific parameter values, and, in addition, allows a multitude of versions that are more complicated than DCBM but have fewer unknown parameters than the PABM. The latter allows one to carry out clustering and estimation without preliminary testing, to see which block model is really true.


title: Current-induced reversal of anomalous Hall conductance in twisted bilayer graphene

abstract: It is observed experimentally that the sign of the Hall resistance can be flipped by a dc electric current in the twisted bilayer graphene (TBG) at 3/4 filling of the four-fold degenerate conduction flat bands. The experiment implies a switching of the valley polarization (VP) and topology in TBG. Here we present a theory on the current-induced switching of VP and topology. The presence of current in the bulk causes {the} redistribution of {electron occupation} in bands near the Fermi energy, which then deforms and shifts the band dispersion due to the Coulomb interaction. Above a critical current, the original occupied and empty bands can be swapped resulting in the switching of VP and topology.


title: Effective quantum kinetic theory for spin transport of fermions with collsional effects

abstract: We systematically derive the collision term for the axial kinetic theory, a quantum kinetic theory delineating the coupled dynamics of the vector/axial charges and spin transport carried by the massive spin-1/2 fermions traversing a medium. We employ the Wigner-function approach and propose a consistent power-counting scheme where the axial-charge distribution function, a non-conserved quantity for massive particles, is accounted as the first-order quantity in the $ \hbar $ expansion, while the vector-charge distribution function the zeroth-order quantity. This specific power-counting scheme allows us to organize a reduced $ \hbar$ expansion for the collision term and to formally identity the spin-diffusion effect and the spin-polarization effect at the same order. We confirm that the obtained collisional axial kinetic theory smoothly reduces to the chiral kinetic theory in the massless limit, serving as a consistency check. In the absence of electromagnetic fields, we further present the simplified axial kinetic equations suitable for tracking dynamical spin polarization of heavy and light fermions, respectively. As an application to the weakly coupled quark-gluon plasma at high temperature, we compute the spin-diffusion term for massive quarks within the leading-log approximation. The formal expression for the first-order terms provides a path toward evaluation of the spin polarization effect in quantum chromodynamics.


title: Coherent Manipulation with Resonant Excitation and Single Emitter Creation of Nitrogen Vacancy Centers in 4H Silicon Carbide

abstract: Silicon carbide (SiC) has become a key player in realization of scalable quantum technologies due to its ability to host optically addressable spin qubits and wafer-size samples. Here, we have demonstrated optically detected magnetic resonance (ODMR) with resonant excitation, and clearly identified the ground state energy levels of the NV centers in 4H-SiC. Coherent manipulation of NV centers in SiC has been achieved with Rabi and Ramsey oscillations. Finally, we show the successful generation and characterization of single nitrogen vacancy (NV) center in SiC employing ion implantation. Our results are highlighting the key role of NV centers in SiC as a potential candidate for quantum information processing.


title: Oracle computability of conditional expectations onto subfactors

abstract: We initiate the effective study of conditional expectations onto subfactors. Our main result is that if $M$ is an existentially closed II$_1$ factor with a w-spectral gap subfactor $N$, then the conditional expectation function onto $N$ can be computed from a (Turing) oracle that computes a presentation of $M$, the inclusion of $N$ into $M$, and a spectral gap function for the pair $(M,N)$.


title: A three-dimensional momentum-space calculation of three-body bound state in a relativistic Faddeev scheme

abstract: In this paper, we study the relativistic effects in a three-body bound state. For this purpose, the relativistic form of the Faddeev equations is solved in momentum space as a function of the Jacobi momentum vectors without using a partial wave decomposition. The inputs for the three-dimensional Faddeev integral equation are the off-shell boost two-body $t-$matrices, which are calculated directly from the boost two-body interactions by solving the Lippmann-Schwinger equation. The matrix elements of the boost interactions are obtained from the nonrelativistic interactions by solving a nonlinear integral equation using an iterative scheme. The relativistic effects on three-body binding energy are calculated for the Malfliet-Tjon potential. Our calculations show that the relativistic effects lead to a roughly 2\% reduction in the three-body binding energy. The contribution of different Faddeev components in the normalization of the relativistic three-body wave function is studied in detail. The accuracy of our numerical solutions is tested by calculation of the expectation value of the three-body mass operator, which shows an excellent agreement with the relativistic energy eigenvalue.


title: Magnetic Field in the Charged Subatomic Swirl

abstract: We report a novel relation between rotation and magnetic field in a charged fluid system: there is naturally a magnetic field along the direction of fluid vorticity due to the currents associated with the swirling charges. This general connection is demonstrated using a fluid vortex. Applying the idea to heavy ion collisions we propose a new mechanism for generating in-medium magnetic field with a relatively long lifetime. We estimate the magnitude of this new magnetic field in the Au-Au colliding systems across a wide span of collisional beam energy. Such a magnetic field is found to increase rapidly toward lower beam energy and could account for a significant amount of the experimentally observed global polarization difference between hyperons and anti-hyperons.


title: Compressive Massive Access for Internet of Things: Cloud Computing or Fog Computing?

abstract: This paper considers the support of grant-free massive access and solves the challenge of active user detection and channel estimation in the case of a massive number of users. By exploiting the sparsity of user activities, the concerned problems are formulated as a compressive sensing problem, whose solution is acquired by approximate message passing (AMP) algorithm. Considering the cooperation of multiple access points, for the deployment of AMP algorithm, we compare two processing paradigms, cloud computing and fog computing, in terms of their effectiveness in guaranteeing ultra reliable low-latency access. For cloud computing, the access points are connected in a cloud radio access network (C-RAN) manner, and the signals received at all access points are concentrated and jointly processed in the cloud baseband unit. While for fog computing, based on fog radio access network (F-RAN), the estimation of user activity and corresponding channels for the whole network is split, and the related processing tasks are performed at the access points and fog processing units in proximity to users. Compared to the cloud computing paradigm based on traditional C-RAN, simulation results demonstrate the superiority of the proposed fog computing deployment based on F-RAN.


title: Finding Quantum Critical Points with Neural-Network Quantum States

abstract: Finding the precise location of quantum critical points is of particular importance to characterise quantum many-body systems at zero temperature. However, quantum many-body systems are notoriously hard to study because the dimension of their Hilbert space increases exponentially with their size. Recently, machine learning tools known as neural-network quantum states have been shown to effectively and efficiently simulate quantum many-body systems. We present an approach to finding the quantum critical points of the quantum Ising model using neural-network quantum states, analytically constructed innate restricted Boltzmann machines, transfer learning and unsupervised learning. We validate the approach and evaluate its efficiency and effectiveness in comparison with other traditional approaches.

categories: physics.comp-ph cond-mat.dis-nn cs.LG quant-ph


title: Modeling Magnetohydrodynamic Equilibrium in Magnetars with Applications to Continuous Gravitational Wave Production

abstract: Possessing the strongest magnetic fields in the Universe, magnetars mark an extremum of physical phenomena. The strength of their magnetic fields is sufficient to deform the shape of the stellar body, and when the rotational and magnetic axes are not aligned, these deformations lead to the production of gravitational waves (GWs) via a time-varying quadrupole moment. Such gravitational radiation differs from signals presently detectable by the Laser Interferometer Gravitational-Wave Observatory. These signals are continuous rather than the momentary 'chirp' waveforms produced by binary systems during the phases of inspiral, merger, and ringdown. We evaluate the sensitivity requirements of future iterations of GW detectors to continuous GW signals resulting from magnetars. Here, we construct a computational model for magnetar stellar structure with strong internal magnetic fields. We implement an n = 1 polytropic equation of state (EOS) and adopt a mixed poloidal and toroidal magnetic field model constrained by the choice of EOS. We utilize fiducial values for magnetar magnetic field strength and various stellar physical attributes. Via computational simulation, we measure the deformation of magnetar stellar structure to determine upper bounds on the strength of continuous GWs formed as a result of these deformations inducing non-axisymmetric rotation. We compute predictions of upper limit GW strain values for sources in the McGill Magnetar Catalog, an index of all detected magnetars.


title: Gaussian Variational State Estimation for Nonlinear State-Space Models

abstract: In this paper, the problem of state estimation, in the context of both filtering and smoothing, for nonlinear state-space models is considered. Due to the nonlinear nature of the models, the state estimation problem is generally intractable as it involves integrals of general nonlinear functions and the filtered and smoothed state distributions lack closed-form solutions. As such, it is common to approximate the state estimation problem. In this paper, we develop an assumed Gaussian solution based on variational inference, which offers the key advantage of a flexible, but principled, mechanism for approximating the required distributions. Our main contribution lies in a new formulation of the state estimation problem as an optimisation problem, which can then be solved using standard optimisation routines that employ exact first- and second-order derivatives. The resulting state estimation approach involves a minimal number of assumptions and applies directly to nonlinear systems with both Gaussian and non-Gaussian probabilistic models. The performance of our approach is demonstrated on several examples; a challenging scalar system, a model of a simple robotic system, and a target tracking problem using a von Mises-Fisher distribution and outperforms alternative assumed Gaussian approaches to state estimation.


title: Neutrino quantum decoherence engendered by neutrino radiative decay

abstract: A new theoretical framework, based on the quantum field theory of open systems applied to neutrinos, has been developed to describe the neutrino evolution in external environments accounting for the effect of the neutrino quantum decoherence. The developed new approach enables one to obtain the explicit expressions of the decoherence and relaxation parameters that account for a particular process, in which the neutrino participates, and also for the characteristics of an external environment and of the neutrino itself, including the neutrino energy. We have used this approach to consider a new mechanism of the neutrino quantum decoherence engendered by the neutrino radiative decay to photons and dark photons in an astrophysical environment. The importance of the performed studies is highlighted by the prospects of the forthcoming new large volume neutrino detectors that will provide new frontier in high-statistics measurements of neutrino fluxes from supernovae.


title: The optimal way of folding a bond notebook page into a bookmark

abstract: The article explores a simple yet interesting geometric problem: how to fold a notebook page so it is the most visible when the notebook is closed (i.e., as a bookmark). We start with a square page, then proceed to the rectangular page. When an additional constraint is added to limit the vertical extent of the rectangular page, the problem shows the first-order phase transition: the optimal way of folding changes drastically when the aspect ratio of the page exceeds the critical value of about $1.20711$.


title: Super-transport of Excitons in Atomically Thin Organic Semiconductors at the 2D Quantum Limit

abstract: Long-range and fast transport of coherent excitons is important for development of high-speed excitonic circuits and quantum computing applications. However, most of these coherent excitons have only been observed in some low-dimensional semiconductors when coupled with cavities, as there are large inhomogeneous broadening and dephasing effects on the exciton transport in their native states of the materials. Here, by confining coherent excitons at the 2D quantum limit, we firstly observed molecular aggregation enabled super-transport of excitons in atomically thin two-dimensional (2D) organic semiconductors between coherent states, with a measured a high effective exciton diffusion coefficient of 346.9 cm2/sec at room temperature. This value is one to several orders of magnitude higher than the reported values from other organic molecular aggregates and low-dimensional inorganic materials. Without coupling to any optical cavities, the monolayer pentacene sample, a very clean 2D quantum system (1.2 nm thick) with high crystallinity (J type aggregation) and minimal interfacial states, showed superradiant emissions from the Frenkel excitons, which was experimentally confirmed by the temperature-dependent photoluminescence (PL) emission, highly enhanced radiative decay rate, significantly narrowed PL peak width and strongly directional in-plane emission. The coherence in monolayer pentacene samples was observed to be delocalized over 135 molecules, which is significantly larger than the values (a few molecules) observed from other organic thin films. In addition, the super-transport of excitons in monolayer pentacene samples showed highly anisotropic behaviour. Our results pave the way for the development of future high-speed excitonic circuits, fast OLEDs, and other opto-electronic devices.


title: Visual search over billions of aerial and satellite images

abstract: We present a system for performing visual search over billions of aerial and satellite images. The purpose of visual search is to find images that are visually similar to a query image. We define visual similarity using 512 abstract visual features generated by a convolutional neural network that has been trained on aerial and satellite imagery. The features are converted to binary values to reduce data and compute requirements. We employ a hash-based search using Bigtable, a scalable database service from Google Cloud. Searching the continental United States at 1-meter pixel resolution, corresponding to approximately 2 billion images, takes approximately 0.1 seconds. This system enables real-time visual search over the surface of the earth, and an interactive demo is available at https://search.descarteslabs.com.


title: Transition properties of low-lying states in $^{28}$Si probed via inelastic proton and alpha scattering

abstract: $0^+$, $1^-$, $2^+$, and $3^-$ excitations of $^{28}\textrm{Si}$ are investigated via proton and $\alpha$ inelastic scattering off $^{28}\textrm{Si}$. The structure calculation of $^{28}\textrm{Si}$ is performed with the energy variation after total angular momentum and parity projections in the framework of antisymmetrized molecular dynamics (AMD). As a result of the AMD calculation, the oblate ground and prolate bands, $0^+$ and $3^-$ excitations, and the $1^-$ and $3^-$ states of the $K^\pi=0^-$ band are obtained. Using the matter and transition densities of $^{28}\textrm{Si}$ obtained by AMD, microscopic coupled-channel calculations of proton and $\alpha$ scattering off $^{28}\textrm{Si}$ are performed. The proton-$^{28}\textrm{Si}$ potentials in the reaction calculation are microscopically derived by folding the Melbourne $g$-matrix $NN$ interaction with the AMD densities of $^{28}\textrm{Si}$. The $\alpha$-$^{28}\textrm{Si}$ potentials are obtained by folding the nucleon-$^{28}\textrm{Si}$ potentials with an $\alpha$ density. The calculation reasonably reproduces the observed elastic and inelastic cross sections of proton and $\alpha$ scattering. Transition properties are discussed by combining the reaction analysis of proton and $\alpha$ scattering and structure features such as transition strengths and form factors. The isoscalar monopole and dipole transitions are focused.


title: Comparing event generator predictions and ab-initio calculations of $\nu$-$^{12}$C neutral current quasi-elastic scattering at 1 GeV

abstract: The measurement of neutrino oscillations and exotic physics searches are important parts of the physics program in the near future, with new state-of-the-art experiments planned within the next decade. Future and modern experiments in these fields will make use of nuclear targets. Event Generators (EGs) are software used in the analysis of neutrino oscillation experiments. EGs use to predict kinematic observables for a range of neutrino energies. These simulations may lack physics captured by more rigorous theoretical calculations. This work compares EG performance to nuclear theory calculations by comparing observables generated in the two frameworks. We provide a common set of definitions between theory and experiment and assess the physics contained in EG simulations. Neutral current quasi-elastic (NCQE) scattering events for neutrinos and anti-neutrinos on a $^{12}$C target are simulated with a specific EG, NEUT, used by the T2K experiment for its analysis. The simulated cross sections are compared to analytic calculations from nuclear theory within the factorization scheme. We compare the NEUT implementation of two different models on nuclear spectral functions: the Relativistic Fermi Gas (RFG) and the correlated basis spectral function (CBF) to analytic calculations of the same models in the factorization scheme. For both nuclear physics models, we compare the appearance of features in the distributions relevant to experimental analyses. Qualitatively, the shape of the simulated distribution is similar to the one obtained through theory calculations; however, there are some discrepancies between the theory calculations and the NEUT simulation. While the EG simulations and analytic calculations with the same model of nuclear dynamics show similar overall features, there are still differences between the two.


title: Meta-Analysis of Generalized Additive Models in Neuroimaging Studies

abstract: Analyzing data from multiple neuroimaging studies has great potential in terms of increasing statistical power, enabling detection of effects of smaller magnitude than would be possible when analyzing each study separately and also allowing to systematically investigate between-study differences. Restrictions due to privacy or proprietary data as well as more practical concerns can make it hard to share neuroimaging datasets, such that analyzing all data in a common location might be impractical or impossible. Meta-analytic methods provide a way to overcome this issue, by combining aggregated quantities like model parameters or risk ratios. Most meta-analytic tools focus on parametric statistical models, and methods for meta-analyzing semi-parametric models like generalized additive models have not been well developed. Parametric models are often not appropriate in neuroimaging, where for instance age-brain relationships may take forms that are difficult to accurately describe using such models. In this paper we introduce meta-GAM, a method for meta-analysis of generalized additive models which does not require individual participant data, and hence is suitable for increasing statistical power while upholding privacy and other regulatory concerns. We extend previous works by enabling the analysis of multiple model terms as well as multivariate smooth functions. In addition, we show how meta-analytic $p$-values can be computed for smooth terms. The proposed methods are shown to perform well in simulation experiments, and are demonstrated in a real data analysis on hippocampal volume and self-reported sleep quality data from the Lifebrain consortium. We argue that application of meta-GAM is especially beneficial in lifespan neuroscience and imaging genetics. The methods are implemented in an accompanying R package \verb!metagam!, which is also demonstrated.


title: Jointly Sparse Signal Recovery via Deep Auto-Encoder and Parallel Coordinate Descent Unrolling

abstract: In this paper, utilizing techniques in compressed sensing, parallel optimization and deep learning, we propose a model-driven approach to jointly design the common measurement matrix and GROUP LASSO-based jointly sparse signal recovery method for complex sparse signals, based on the standard auto-encoder structure for real numbers. The encoder achieves noisy linear compression for jointly sparse signals, with a common measurement matrix. The GROUP LASSO-based decoder realizes jointly sparse signal recovery based on an iterative parallel-coordinate descent (PCD) algorithm which is proposed to solve GROUP LASSO in a parallel manner. In particular, the decoder consists of an approximation part which unfolds (several iterations of) the proposed iterative algorithm to obtain an approximate solution of GROUP LASSO and a correction part which reduces the difference between the approximate solution and the actual jointly sparse signals. The proposed model-driven approach achieves higher recovery accuracy with less computation time than the classic GROUP LASSO method, and the gain significantly increases in the presence of extra structures in sparse patterns. The common measurement matrix obtained by the proposed model-driven approach is also suitable for the classic GROUP LASSO method. We consider an application example, i.e., channel estimation in Multiple-Input Multiple-Output (MIMO)-based grant-free random access which is proposed to support massive machine-type communications (mMTC) for Internet of Things (IoT). By numerical results, we demonstrate the substantial gains of the proposed model-driven approach over GROUP LASSO and AMP when the number of jointly sparse signals is not very large.


title: Random weighting in LASSO regression

abstract: We establish statistical properties of random-weighting methods in LASSO regression under different regularization parameters $\lambda_n$ and suitable regularity conditions. The random-weighting methods in view concern repeated optimization of a randomized objective function, motivated by the need for computational approximations to Bayesian posterior sampling. In the context of LASSO regression, we repeatedly assign analyst-drawn random weights to terms in the objective function (including the penalty terms), and optimize to obtain a sample of random-weighting estimators. We show that existing approaches have conditional model selection consistency and conditional asymptotic normality at different growth rates of $\lambda_n$ as $n \to \infty$. We propose an extension to the available random-weighting methods and establish that the resulting samples attain conditional sparse normality and conditional consistency in a growing-dimension setting. We find that random-weighting has both approximate-Bayesian and sampling-theory interpretations. Finally, we illustrate the proposed methodology via extensive simulation studies and a benchmark data example.


title: Fully nonlinear mode competitions in magnetised Taylor-Couette flow

abstract: We study the nonlinear mode competition of various spiral instabilities in magnetised Taylor-Couette flow. The resulting finite-amplitude mixed-mode solution branches are tracked using the annular-parallelogram periodic domain approach developed by Deguchi & Altmeyer (2013). Mode competition phenomena are studied in both the anti-cyclonic and cyclonic Rayleigh-stable regimes. In the anti-cyclonic sub-rotation regime, with the inner cylinder rotating faster than the outer, Hollerbach, Teeluck & Rudiger (2010) found competing axisymmetric and non-axisymmetric magneto-rotational linearly unstable modes within the parameter range where experimental investigation is feasible. Here we confirm the existence of mode competition and compute the nonlinear mixed-mode solutions that result from it. In the cyclonic super-rotating regime, with the inner cylinder rotating slower than the outer, Deguchi (2017) recently found a non-axisymmetric purely hydrodynamic linear instability that coexists with the non-axisymmetric magneto-rotational instability discovered a little earlier by Rudiger, Schultz, Gellert & Stefani (2016). We show that nonlinear interactions of these instabilities give rise to rich pattern-formation phenomena leading to drastic angular momentum transport enhancement/reduction.


title: Translating Web Search Queries into Natural Language Questions

abstract: Users often query a search engine with a specific question in mind and often these queries are keywords or sub-sentential fragments. For example, if the users want to know the answer for "What's the capital of USA", they will most probably query "capital of USA" or "USA capital" or some keyword-based variation of this. For example, for the user entered query "capital of USA", the most probable question intent is "What's the capital of USA?". In this paper, we are proposing a method to generate well-formed natural language question from a given keyword-based query, which has the same question intent as the query. Conversion of keyword-based web query into a well-formed question has lots of applications, with some of them being in search engines, Community Question Answering (CQA) website and bots communication. We found a synergy between query-to-question problem with standard machine translation(MT) task. We have used both Statistical MT (SMT) and Neural MT (NMT) models to generate the questions from the query. We have observed that MT models perform well in terms of both automatic and human evaluation.


title: Optimal Laguerre-Gaussian Modes for High-Intensity Optical Vortices

abstract: With increasing interest in using orbital angular momentum (OAM) modes in high-power laser systems, accurate mathematical descriptions of the high-intensity modes at focus are required for realistic modelling. In this work, we derive various high intensity orbital angular momentum focal spot intensity distributions generated by Gaussian, super-Gaussian, and ideal flat-top beams common to high-power laser systems. These intensity distributions are then approximated using fitted Laguerre-Gaussian basis functions as a practical way for describing high-power OAM beams in theoretical and numerical models.


title: On the extreme zeros of Jacobi polynomials

abstract: By applying the Euler--Rayleigh methods to a specific representation of the Jacobi polynomials as hypergeometric functions, we obtain new bounds for their largest zeros. In particular, we derive upper and lower bound for $1-x_{nn}^2(\lambda)$, with $x_{nn}(\lambda)$ being the largest zero of the $n$-th ultraspherical polynomial $P_n^{(\lambda)}$. For every fixed $\lambda>-1/2$, the limit of the ratio of our upper and lower bounds for $1-x_{nn}^2(\lambda)$ does not exceed $1.6$. This paper is a continuation of [1].


title: SideInfNet: A Deep Neural Network for Semi-Automatic Semantic Segmentation with Side Information

abstract: Fully-automatic execution is the ultimate goal for many Computer Vision applications. However, this objective is not always realistic in tasks associated with high failure costs, such as medical applications. For these tasks, semi-automatic methods allowing minimal effort from users to guide computer algorithms are often preferred due to desirable accuracy and performance. Inspired by the practicality and applicability of the semi-automatic approach, this paper proposes a novel deep neural network architecture, namely SideInfNet that effectively integrates features learnt from images with side information extracted from user annotations. To evaluate our method, we applied the proposed network to three semantic segmentation tasks and conducted extensive experiments on benchmark datasets. Experimental results and comparison with prior work have verified the superiority of our model, suggesting the generality and effectiveness of the model in semi-automatic semantic segmentation.


title: Noncontact Thermal and Vibrotactile Display Using Focused Airborne Ultrasound

abstract: In a typical mid-air haptics system, focused airborne ultrasound provides vibrotactile sensations to localized areas on a bare skin. Herein, a method for displaying thermal sensations to hands where mesh fabric gloves are worn is proposed. The gloves employed in this study are commercially available mesh fabric gloves with sound absorption characteristics, such as cotton work gloves without any additional devices such as Peltier elements. The method proposed in this study can also provide vibrotactile sensations by changing the ultrasonic irradiation pattern. In this paper, we report basic experimental investigations on the proposed method. By performing thermal measurements, we evaluate the local heat generation on the surfaces of both the glove and the skin by focused airborne ultrasound irradiation. In addition, we performed perceptual experiments, thereby confirming that the proposed method produced both thermal and vibrotactile sensations. Furthermore, these sensations were selectively provided to a certain extent by changing the ultrasonic irradiation pattern. These results validate the effectiveness of our method and its feasibility in mid-air haptics applications.


title: Dynamic Multi-objective Optimization of the Travelling Thief Problem

abstract: Investigation of detailed and complex optimisation problem formulations that reflect realistic scenarios is a burgeoning field of research. A growing body of work exists for the Travelling Thief Problem, including multi-objective formulations and comparisons of exact and approximate methods to solve it. However, as many realistic scenarios are non-static in time, dynamic formulations have yet to be considered for the TTP. Definition of dynamics within three areas of the TTP problem are addressed; in the city locations, availability map and item values. Based on the elucidation of solution conservation between initial sets and obtained non-dominated sets, we define a range of initialisation mechanisms using solutions generated via solvers, greedily and randomly. These are then deployed to seed the population after a change and the performance in terms of hypervolume and spread is presented for comparison. Across a range of problems with varying TSP-component and KP-component sizes, we observe interesting trends in line with existing conclusions; there is little benefit to using randomisation as a strategy for initialisation of solution populations when the optimal TSP and KP component solutions can be exploited. Whilst these separate optima don't guarantee good TTP solutions, when combined, provide better initial performance and therefore in some examined instances, provides the best response to dynamic changes. A combined approach that mixes solution generation methods to provide a composite population in response to dynamic changes provides improved performance in some instances for the different dynamic TTP formulations. Potential for further development of a more cooperative combined method are realised to more cohesively exploit known information about the problems.


title: Ground Based Gravitational Wave Astronomy in the Asian Region

abstract: The current gravitational wave detectors have identified a surprising population of heavy stellar mass black holes, and an even larger population of coalescing neutron stars. The first observations have led to many dramatic discoveries and the confirmation of general relativity in very strong gravitational fields. The future of gravitational wave astronomy looks bright, especially if additional detectors with greater sensitivity, broader bandwidth, and better global coverage can be implemented. The first discoveries add impetus to gravitational wave detectors designed to detect in the nHz, mHz and kHz frequency bands. This paper reviews the century-long struggle that led to the recent discoveries, and reports on designs and possibilities for future detectors. The benefits of future detectors in the Asian region are discussed, including analysis of the benefits of a detector located in Australia.


title: Statistical Outlier Identification in Multi-robot Visual SLAM using Expectation Maximization

abstract: This paper introduces a novel and distributed method for detecting inter-map loop closure outliers in simultaneous localization and mapping (SLAM). The proposed algorithm does not rely on a good initialization and can handle more than two maps at a time. In multi-robot SLAM applications, maps made by different agents have nonidentical spatial frames of reference which makes initialization very difficult in the presence of outliers. This paper presents a probabilistic approach for detecting incorrect orientation measurements prior to pose graph optimization by checking the geometric consistency of rotation measurements. Expectation-Maximization is used to fine-tune the model parameters. As ancillary contributions, a new approximate discrete inference procedure is presented which uses evidence on loops in a graph and is based on optimization (Alternate Direction Method of Multipliers). This method yields superior results compared to Belief Propagation and has convergence guarantees. Simulation and experimental results are presented that evaluate the performance of the outlier detection method and the inference algorithm on synthetic and real-world data.


title: On Approximation by Kantorovich Exponential Sampling Operators

abstract: In this article, we analyse the Kantorovich type exponential sampling operators and its linear combination. We derive the Voronovskaya type theorem and its quantitative estimates for these operators in terms of an appropriate K-functional. Further, we improve the order of approximation by using the convex type linear combinations of these operators. Subsequently, we prove the estimates concerning the order of convergence for these linear combinations. Finally, we give some examples of kernels along with the graphical representations.


title: A P\'{o}lya--Vinogradov inequality for short character sums

abstract: In this paper we obtain a variation of the P\'{o}lya--Vinogradov inequality with the sum restricted to a certain height. Assume $\chi$ to be a primitive character modulo $q$, $\epsilon > 0$ and $N\le q^{1-\gamma}$, with $0\le \gamma \le 1/3$. We prove that \begin{equation*} \left|\sum_{n=1}^N \chi(n) \right|\le c(\frac{1}{3}-\gamma+\epsilon)\sqrt{q}\log q \end{equation*} with $c=2/\pi^2+o(1)$ if $\chi$ is even and $c=1/\pi+o(1)$ if $\chi$ is odd.


title: Deterministic Leader Election in Anonymous Radio Networks

abstract: We consider leader election in anonymous radio networks modeled as simple undirected connected graphs. Nodes communicate in synchronous rounds. Nodes are anonymous and execute the same deterministic algorithm, so symmetry can be broken only in one way: by different wake-up times of the nodes. In which situations is it possible to break symmetry and elect a leader using time as symmetry breaker? To answer this question, we consider configurations. A configuration is the underlying graph with nodes tagged by non-negative integers with the following meaning. A node can either wake up spontaneously in the round shown on its tag, according to some global clock, or can be woken up hearing a message sent by one of its already awoken neighbours. The local clock of a node starts at its wakeup and nodes do not have access to the global clock determining their tags. A configuration is feasible if there exists a distributed algorithm that elects a leader for this configuration. Our main result is a complete algorithmic characterization of feasible configurations: we design a centralized decision algorithm, working in polynomial time, whose input is a configuration and which decides if the configuration is feasible. We also provide a dedicated deterministic distributed leader election algorithm for each feasible configuration that elects a leader for this configuration in time $O(n^2\sigma)$, where $n$ is the number of nodes and $\sigma$ is the difference between the largest and smallest tag of the configuration. We then prove that there cannot exist a universal deterministic distributed algorithm electing a leader for all feasible configurations. In fact, we show that such a universal algorithm cannot exist even for the class of 4-node feasible configurations. We also prove that a distributed version of our decision algorithm cannot exist.


title: The weakest link bridging germinal center B cells and follicular dendritic cells limits antibody affinity maturation

abstract: The affinity of antibodies (Abs) produced in vivo for their target antigens (Ags) is typically well below the maximum affinity possible. Nearly 25 years ago, Foote and Eisen explained how an 'affinity ceiling' could arise from constraints associated with the acquisition of soluble antigen by B cells. However, recent studies have shown that B cells in germinal centers (where Ab affinity maturation occurs) acquire Ag not in soluble form but presented as receptor-bound immune complexes on follicular dendritic cells (FDCs). How the affinity ceiling arises in such a scenario is unclear. Here, we argue that the ceiling arises from the weakest link of the chain of protein complexes that bridges B cells and FDCs and is broken during Ag acquisition. This hypothesis explains the affinity ceiling realized in vivo and suggests that strengthening the weakest link could raise the ceiling and improve Ab responses.


title: Discretizing quantum field theories for quantum simulation

abstract: To date, all proposed quantum algorithms for simulating quantum field theory (QFT) simulate (continuous-time) Hamiltonian lattice QFT as a stepping stone. Two overlooked issues are how large we can take the timestep in these simulations while getting the right physics and whether we can go beyond the standard recipe that relies on Hamiltonian lattice QFT. The first issue is crucial in practice for, e.g., trapped-ion experiments which actually have a lower bound on the possible ratio of timestep to lattice spacing. To this end, we show that a timestep equal to or going to zero faster than the spatial lattice spacing is necessary for quantum simulations of QFT, but far more importantly a timestep equal to the lattice spacing is actually sufficient. To do this, first for $\phi^4$ theory, we give a quantum circuit exactly equivalent to the real-time path integral from the discrete-time Lagrangian formulation of lattice QFT. Next we give another circuit with no lattice QFT analogue, but, by using Feynman rules applied to the circuit, we see that it also reproduces the correct continuum behaviour. Finally, we look at non-abelian gauge fields, showing that the discrete-time lattice QFT path-integral is exactly equivalent to a finite-depth local circuit. All of these circuits have an analogue of a lightcone on the lattice and therefore are examples of quantum cellular automata. Aside from the potential practical benefit of these circuits, this all suggests that the path-integral approach to lattice QFT need not be overlooked in quantum simulations of physics and has a simple quantum information interpretation.


title: Temporal Probability Calibration

abstract: In many applications, accurate class probability estimates are required, but many types of models produce poor quality probability estimates despite achieving acceptable classification accuracy. Even though probability calibration has been a hot topic of research in recent times, the majority of this has investigated non-sequential data. In this paper, we consider calibrating models that produce class probability estimates from sequences of data, focusing on the case where predictions are obtained from incomplete sequences. We show that traditional calibration techniques are not sufficiently expressive for this task, and propose methods that adapt calibration schemes depending on the length of an input sequence. Experimental evaluation shows that the proposed methods are often substantially more effective at calibrating probability estimates from modern sequential architectures for incomplete sequences across a range of application domains.


title: Accelerating Deep Learning Inference via Freezing

abstract: Over the last few years, Deep Neural Networks (DNNs) have become ubiquitous owing to their high accuracy on real-world tasks. However, this increase in accuracy comes at the cost of computationally expensive models leading to higher prediction latencies. Prior efforts to reduce this latency such as quantization, model distillation, and any-time prediction models typically trade-off accuracy for performance. In this work, we observe that caching intermediate layer outputs can help us avoid running all the layers of a DNN for a sizeable fraction of inference requests. We find that this can potentially reduce the number of effective layers by half for 91.58% of CIFAR-10 requests run on ResNet-18. We present Freeze Inference, a system that introduces approximate caching at each intermediate layer and we discuss techniques to reduce the cache size and improve the cache hit rate. Finally, we discuss some of the open research challenges in realizing such a design.


title: Classification of bounded modules for the Twisted Full Toroidal Lie Algebras

abstract: In this paper, we study modules for the Twisted Full Toroidal Lie Algebras (TFTLA). We define a category of bounded modules for TFTLA and classify all the irreducible modules in that category. A class of irreducible bounded modules are explicitly constructed by Michael Lau and Yuly Billig using Vertex operator algebras. We show that they exhaust all the irreducible bounded modules. Our plan is to describe the top spaces of the bounded irreducible modules for TFTLA and prove they in fact coincide with the top spaces of the modules constructed by Lau and Billig. When the top spaces become isomorphic then the corresponding irreducible modules are also isomorphic.


title: Asymmetric free spaces and canonical asymmetrizations

abstract: A construction analogous to that of Godefroy-Kalton for metric spaces allows to embed isometrically, in a canonical way, every quasi-metric space $(X,d)$ to an asymmetric normed space $\mathcal{F}_a(X,d)$ (its quasi-metric free space, also called asymmetric free space or semi-Lipschitz free space). The quasi-metric free space satisfies a universal property (linearization of semi-Lipschitz functions). The (conic) dual of $\mathcal{F}_a(X,d)$ coincides with the nonlinear asymmetric dual of $(X,d)$, that is, the space $\mathrm{SLip}_0(X,d)$ of semi-Lipschitz functions on $(X,d)$, vanishing at a base point. In particular, for the case of a metric space $(X,D)$, the above construction yields its usual free space. On the other hand, every metric space $(X,D)$ inherits naturally a canonical asymmetrization coming from its free space $\mathcal{F}(X)$. This gives rise to a quasi-metric space $(X,D_+)$ and an asymmetric free space $\mathcal{F}_a(X,D_+)$. The symmetrization of the latter is isomorphic to the original free space $\mathcal{F}(X)$. The results of this work are illustrated with explicit examples.


title: Gravitational form factors of $\rho$ meson with a light-cone constituent quark model

abstract: The $\rho$ meson gravitational form factors are studied based on a light-front constituent quark model which has been successfully employed to calculate its generalized parton distributions and some low-energy observables. The distributions of energy, spin, pressures, and shear forces inside the $\rho$ meson are explicitly given.


title: Multimodal Matching Transformer for Live Commenting

abstract: Automatic live commenting aims to provide real-time comments on videos for viewers. It encourages users engagement on online video sites, and is also a good benchmark for video-to-text generation. Recent work on this task adopts encoder-decoder models to generate comments. However, these methods do not model the interaction between videos and comments explicitly, so they tend to generate popular comments that are often irrelevant to the videos. In this work, we aim to improve the relevance between live comments and videos by modeling the cross-modal interactions among different modalities. To this end, we propose a multimodal matching transformer to capture the relationships among comments, vision, and audio. The proposed model is based on the transformer framework and can iteratively learn the attention-aware representations for each modality. We evaluate the model on a publicly available live commenting dataset. Experiments show that the multimodal matching transformer model outperforms the state-of-the-art methods.


title: What You See is What it Means! Semantic Representation Learning of Code based on Visualization and Transfer Learning

abstract: Recent successes in training word embeddings for NLP tasks have encouraged a wave of research on representation learning for source code, which builds on similar NLP methods. The overall objective is then to produce code embeddings that capture the maximum of program semantics. State-of-the-art approaches invariably rely on a syntactic representation (i.e., raw lexical tokens, abstract syntax trees, or intermediate representation tokens) to generate embeddings, which are criticized in the literature as non-robust or non-generalizable. In this work, we investigate a novel embedding approach based on the intuition that source code has visual patterns of semantics. We further use these patterns to address the outstanding challenge of identifying semantic code clones. We propose the WYSIWIM ("What You See Is What It Means") approach where visual representations of source code are fed into powerful pre-trained image classification neural networks from the field of computer vision to benefit from the practical advantages of transfer learning. We evaluate the proposed embedding approach on two variations of the task of semantic code clone identification: code clone detection (a binary classification problem), and code classification (a multi-classification problem). We show with experiments on the BigCloneBench (Java) and Open Judge (C) datasets that although simple, our WYSIWIM approach performs as effectively as state of the art approaches such as ASTNN or TBCNN. We further explore the influence of different steps in our approach, such as the choice of visual representations or the classification algorithm, to eventually discuss the promises and limitations of this research direction.


title: Learning Class Regularized Features for Action Recognition

abstract: Training Deep Convolutional Neural Networks (CNNs) is based on the notion of using multiple kernels and non-linearities in their subsequent activations to extract useful features. The kernels are used as general feature extractors without specific correspondence to the target class. As a result, the extracted features do not correspond to specific classes. Subtle differences between similar classes are modeled in the same way as large differences between dissimilar classes. To overcome the class-agnostic use of kernels in CNNs, we introduce a novel method named Class Regularization that performs class-based regularization of layer activations. We demonstrate that this not only improves feature search during training, but also allows an explicit assignment of features per class during each stage of the feature extraction process. We show that using Class Regularization blocks in state-of-the-art CNN architectures for action recognition leads to systematic improvement gains of 1.8%, 1.2% and 1.4% on the Kinetics, UCF-101 and HMDB-51 datasets, respectively.


title: First order convergence of weak Wong--Zakai approximations of L\'evy driven Marcus SDEs

abstract: For solutions $X=(X_t)_{t\in[0,T]}$ of L\'evy-driven Marcus stochastic differential equations we study the Wong--Zakai type time discrete approximations $\bar X=(\bar X_{kh})_{0\leq k\leq T/h}$, $h>0$, and establish the first order convergence $|E f(X_T)-E f(X^h_T)|\leq C h$ for $f\in C_b^4$.


title: $q$-VFCA: $q$-state Vector-valued Fuzzy Cellular Automata

abstract: Elementary fuzzy Cellular Automata (CA) are known as continuous counterpart of elementary CA, which are 2-state CA, via the polynomial representation of local rules. In this paper, we first develop a new fuzzification methodology for $q$-state CA. It is based on the vector representation of $q$-state CA, that is, the $q$-states are assigned to the standard basis vectors of the $q$-dimensional real space and the local rule can be expressed by a tuple of $q$ polynomials. Then, the $q$-state vector-valued fuzzy CA are defined by expanding the set of the states to the convex hull of the standard basis vectors in the $q$-dimensional real space. The vector representation of states enables us to enumerate the number-conserving rules of 3-state vector-valued fuzzy CA in a systematic way.


title: Large deviations of radial SLE$_{\infty}$

abstract: We derive the large deviation principle for radial Schramm-Loewner evolution ($\operatorname{SLE}$) on the unit disk with parameter $\kappa \rightarrow \infty$. Restricting to the time interval $[0,1]$, the good rate function is finite only on a certain family of Loewner chains driven by absolutely continuous probability measures $\{\phi_t^2 (\zeta)\, d\zeta\}_{t \in [0,1]}$ on the unit circle and equals $\int_0^1 \int_{S^1} |\phi_t'|^2/2\,d\zeta \,dt$. Our proof relies on the large deviation principle for the long-time average of the Brownian occupation measure by Donsker and Varadhan.


title: The k-tied Normal Distribution: A Compact Parameterization of Gaussian Mean Field Posteriors in Bayesian Neural Networks

abstract: Variational Bayesian Inference is a popular methodology for approximating posterior distributions over Bayesian neural network weights. Recent work developing this class of methods has explored ever richer parameterizations of the approximate posterior in the hope of improving performance. In contrast, here we share a curious experimental finding that suggests instead restricting the variational distribution to a more compact parameterization. For a variety of deep Bayesian neural networks trained using Gaussian mean-field variational inference, we find that the posterior standard deviations consistently exhibit strong low-rank structure after convergence. This means that by decomposing these variational parameters into a low-rank factorization, we can make our variational approximation more compact without decreasing the models' performance. Furthermore, we find that such factorized parameterizations improve the signal-to-noise ratio of stochastic gradient estimates of the variational lower bound, resulting in faster convergence.


title: Effect of dopant ordering on the stability of ferroelectric hafnia

abstract: Films of all-important compound hafnia (HfO2) can be prepared in an orthorhombic ferroelectric (FE) state that is ideal for applications, e.g. in memories or negative-capacitance field-effect transistors. The origin of this FE state remains a mystery, though, as none of the proposed mechanisms for its stabilization -- from surface and size effects to formation kinetics -- is fully convincing. Interestingly, it is known that doping HfO2 with various cations favors the occurrence of the FE polymorph; however, existing first-principles works suggest that doping by itself is not sufficient to stabilize the polar phase over the usual non-polar monoclinic ground state. Here we use first-principles methods to reexamine this question. We consider two representative isovalent substitutional dopants, Si and Zr, and study their preferred arrangement within the HfO2 lattice. Our results reveal that small atoms like Si can adopt very stable configurations (forming layers within specific crystallographic planes) in the FE orthorhombic phase of HfO2, but comparatively less so in the non-polar monoclinic one. Further, we find that, at low concentrations, such a dopant ordering yields a FE ground state, the usual paraelectric phase becoming a higher-energy metastable polymorph. We discuss the implications of our findings, which constitute a definite step forward towards understanding ferroelectricity in HfO2.


title: Optimization of Structural Similarity in Mathematical Imaging

abstract: It is now generally accepted that Euclidean-based metrics may not always adequately represent the subjective judgement of a human observer. As a result, many image processing methodologies have been recently extended to take advantage of alternative visual quality measures, the most prominent of which is the Structural Similarity Index Measure (SSIM). The superiority of the latter over Euclidean-based metrics have been demonstrated in several studies. However, being focused on specific applications, the findings of such studies often lack generality which, if otherwise acknowledged, could have provided a useful guidance for further development of SSIM-based image processing algorithms. Accordingly, instead of focusing on a particular image processing task, in this paper, we introduce a general framework that encompasses a wide range of imaging applications in which the SSIM can be employed as a fidelity measure. Subsequently, we show how the framework can be used to cast some standard as well as original imaging tasks into optimization problems, followed by a discussion of a number of novel numerical strategies for their solution.


title: On regularizable birational maps

abstract: Bedford asked if there exists a birational self map $f$ of the complex projective plane such that for any automorphism $A$ of the complex projective plane $A\circ f$ is not conjugate to an automorphism. Blanc gave such a $f$ of degree $6$ and asked if there exists an example of smaller degree. In this article we give an example of degree $5$.


title: 5G New Radio Evolution Towards Sub-THz Communications

abstract: In this paper, the potential of extending 5G New Radio physical layer solutions to support communications in sub-THz frequencies is studied. More specifically, we introduce the status of third generation partnership project studies related to operation on frequencies beyond 52.6 GHz and note also the recent proposal on spectrum horizons provided by federal communications commission (FCC) related to experimental licenses on 95 GHz - 3 THz frequency band. Then, we review the power amplifier (PA) efficiency and output power challenge together with the increased phase noise (PN) distortion effect in terms of the supported waveforms. As a practical example on the waveform and numerology design from the perspective of the PN robustness, link performance results using 90 GHz carrier frequency are provided. The numerical results demonstrate that new, higher subcarrier spacings are required to support high throughput, which requires larger changes in the physical layer design. It is also observed that new phase-tracking reference signal designs are required to make the system robust against PN. The results illustrate that single-carrier frequency division multiple access is significantly more robust against PN and can provide clearly larger PA output power than cyclic-prefix orthogonal frequency division multiplexing, and is therefore a highly potential waveform for sub-THz communications.


title: The Only Complex 4-Net Is the Hesse Configuration

abstract: It has been conjectured that the only nets realizable in $\mathbb{CP}^2$ are 3-nets and the Hesse configuration (up to isomorphism). We prove this conjecture.


title: QCD equation of state at finite densities for nuclear collisions

abstract: We construct the QCD equation of state at finite chemical potentials including net baryon, electric charge, and strangeness based on the results of lattice QCD simulations and the hadron resonance gas model. The situation of strangeness neutrality and a fixed charge-to-baryon ratio, which resembles that of heavy nuclei, is considered for the application to relativistic heavy-ion collisions. This increases the values of baryon chemical potential compared to the case of vanishing strangeness and electric charge chemical potentials, modifying the fireball trajectory in the phase diagram. We perform viscous hydrodynamic simulations and demonstrate the importance of multiple chemical potentials for identified particle production in heavy-ion collisions at the RHIC and SPS beam energy scan energies.


title: Blocks and characters of $D(2|1;\zeta)$-modules of non-integral weights

abstract: We classify blocks in the BGG category $\mathcal O$ of modules of non-integral weights for the exceptional Lie superalgebra $D(2|1;\zeta)$. We establish various reduction methods, which connect some types of non-integral blocks of $D(2|1;\zeta)$ with integral blocks of general linear Lie superalgebras $\mathfrak{gl}{(1|1)}$ and $\mathfrak{gl}{(2|1)}$. We compute the characters for irreducible $D(2|1;\zeta)$-modules of non-integral weights in $\mathcal O$.


title: Arc-transitive Cayley graphs on nonabelian simple groups with prime valency

abstract: In 2011, Fang et al. in (J. Combin. Theory A 118 (2011) 1039-1051) posed the following problem: Classify non-normal locally primitive Cayley graphs of finite simple groups of valency $d$, where either $d\leq 20$ or $d$ is a prime number. The only case for which the complete solution of this problem is known is of $d=3$. Except this, a lot of efforts have been made to attack this problem by considering the following problem: Characterize finite nonabelian simple groups which admit non-normal locally primitive Cayley graphs of certain valency $d\geq4$. Even for this problem, it was only solved for the cases when either $d\leq 5$ or $d=7$ and the vertex stabilizer is solvable. In this paper, we make crucial progress towards the above problems by completely solving the second problem for the case when $d\geq 11$ is a prime and the vertex stabilizer is solvable.


title: Short sighted deep learning

abstract: A theory explaining how deep learning works is yet to be developed. Previous work suggests that deep learning performs a coarse graining, similar in spirit to the renormalization group (RG). This idea has been explored in the setting of a local (nearest neighbor interactions) Ising spin lattice. We extend the discussion to the setting of a long range spin lattice. Markov Chain Monte Carlo (MCMC) simulations determine both the critical temperature and scaling dimensions of the system. The model is used to train both a single RBM (restricted Boltzmann machine) network, as well as a stacked RBM network. Following earlier Ising model studies, the trained weights of a single layer RBM network define a flow of lattice models. In contrast to results for nearest neighbor Ising, the RBM flow for the long ranged model does not converge to the correct values for the spin and energy scaling dimension. Further, correlation functions between visible and hidden nodes exhibit key differences between the stacked RBM and RG flows. The stacked RBM flow appears to move towards low temperatures whereas the RG flow moves towards high temperature. This again differs from results obtained for nearest neighbor Ising.

categories: cs.LG cond-mat.stat-mech physics.comp-ph stat.ML


title: Degenerate polyexponential functions and degenerate Bell polynomials

abstract: I recent years, studying degenerate versions of some special polynomials, which was initiated by Carlitz in an investigation of the degenerate Bernoulli and Euler polynomials, regained lively interest of mant mathematicains. In this paper, as a degenerate version of polyexponential functions introduced by Hardy, we study degenerate polyexponential functions and derive various properties of them. Also, we introduce new type degenerate Bell polynomials, which are different from the previous studied partially degenerate Bell polynomials and arise naturally in the recent study of degenerate zero-truncated Poissonrandom variables, and deduce some of their properties. Furthermore, we derive some identities connecting the polyexponential functions and the new type degenerate Bell polynomials.


title: Cohomology ring of manifold arrangements

abstract: We study the cohomology ring of the complement $\mathcal{M}(\mathcal{A})$ of a manifold arrangement $\mathcal{A}$ in a smooth manifold $M$ without boundary. We first give the concept of monoidal cosheaf on a locally geometric poset $\mathfrak{L}$, and then define the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \mathcal{C})$ over a commutative ring with unit, which is built by the classical Orlik--Solomon algebra and a monoidal cosheaf $\mathcal{C}$ as coefficients. Furthermore, we construct a monoidal cosheaf $\hat{\mathcal{C}}(\mathcal{A})$ associated with $\mathcal{A}$, so that the generalized Orlik--Solomon algebra $A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))$ becomes a double complex with suitable multiplication structure and the associated total complex $Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A})))$ is a differential algebra. Our main result is that $H^*(Tot(A^*(\mathfrak{L}, \hat{\mathcal{C}}(\mathcal{A}))))$ is isomorphic to $H^*(\mathcal{M}(\mathcal{A}))$ as algebras. Our argument is of topological with the use of a spectral sequence induced by a geometric filtration associated with $\mathcal{A}$. In particular, we also discuss the mixed Hodge complex structure on our model if $M$ and all elements in $\mathcal{A}$ are complex smooth varieties, and show that it induces the canonical mixed Hodge structure of $\mathcal{M}(\mathcal{A})$. As an application, we calculate the cohomology of chromatic configuration spaces, which agrees with many known results in some special cases. In addition, some explicit formulas with respect to Poincar\'e polynomial and chromatic polynomial are also given.


title: Automated Lane Change Strategy using Proximal Policy Optimization-based Deep Reinforcement Learning

abstract: Lane-change maneuvers are commonly executed by drivers to follow a certain routing plan, overtake a slower vehicle, adapt to a merging lane ahead, etc. However, improper lane change behaviors can be a major cause of traffic flow disruptions and even crashes. While many rule-based methods have been proposed to solve lane change problems for autonomous driving, they tend to exhibit limited performance due to the uncertainty and complexity of the driving environment. Machine learning-based methods offer an alternative approach, as Deep reinforcement learning (DRL) has shown promising success in many application domains including robotic manipulation, navigation, and playing video games. However, applying DRL to autonomous driving still faces many practical challenges in terms of slow learning rates, sample inefficiency, and safety concerns. In this study, we propose an automated lane change strategy using proximal policy optimization-based deep reinforcement learning, which shows great advantages in learning efficiency while still maintaining stable performance. The trained agent is able to learn a smooth, safe, and efficient driving policy to make lane-change decisions (i.e. when and how) in a challenging situation such as dense traffic scenarios. The effectiveness of the proposed policy is validated by using metrics of task success rate and collision rate. The simulation results demonstrate the lane change maneuvers can be efficiently learned and executed in a safe, smooth, and efficient manner.


title: Multiple-relaxation-time discrete Boltzmann modeling of multicomponent mixture with nonequilibrium effects

abstract: A multiple-relaxation-time discrete Boltzmann model (DBM) is proposed for multicomponent mixtures, where compressible, hydrodynamic, and thermodynamic nonequilibrium effects are taken into account. It allows the specific heat ratio and the Prandtl number to be adjustable, and is suitable for both low and high speed fluid flows. From the physical side, besides being consistent with the multicomponent Navier-Stokes equations, Fick's law and Stefan-Maxwell diffusion equation in the hydrodynamic limit, the DBM provides more kinetic information about the nonequilibrium effects. The physical capability of DBM to describe the nonequilibrium flows, beyond the Navier-Stokes representation, enables the study of the entropy production mechanism in complex flows, especially in multicomponent mixtures. Moreover, the current kinetic model is employed to investigate nonequilibrium behaviors of the compressible Kelvin-Helmholtz instability (KHI). It is found that, in the dynamic KHI process, the mixing degree and fluid flow are similar for cases with various thermal conductivity and initial temperature configurations. Physically, both heat conduction and temperature exert slight influences on the formation and evolution of the KHI.


title: Memory Augmented Generative Adversarial Networks for Anomaly Detection

abstract: In this paper, we present a memory-augmented algorithm for anomaly detection. Classical anomaly detection algorithms focus on learning to model and generate normal data, but typically guarantees for detecting anomalous data are weak. The proposed Memory Augmented Generative Adversarial Networks (MEMGAN) interacts with a memory module for both the encoding and generation processes. Our algorithm is such that most of the \textit{encoded} normal data are inside the convex hull of the memory units, while the abnormal data are isolated outside. Such a remarkable property leads to good (resp.\ poor) reconstruction for normal (resp.\ abnormal) data and therefore provides a strong guarantee for anomaly detection. Decoded memory units in MEMGAN are more interpretable and disentangled than previous methods, which further demonstrates the effectiveness of the memory mechanism. Experimental results on twenty anomaly detection datasets of CIFAR-10 and MNIST show that MEMGAN demonstrates significant improvements over previous anomaly detection methods.


title: Calibration of a star formation and feedback model for cosmological simulations with Enzo

abstract: We present results from seventy-one zoom simulations of a Milky Way-sized (MW) halo, exploring the parameter space for a widely-used star formation and feedback model in the {\tt Enzo} simulation code. We propose a novel way to match observations, using functional fits to the observed baryon makeup over a wide range of halo masses. The model MW galaxy is calibrated using three parameters: the star formation efficiency $\left(f_*\right)$, the efficiency of thermal energy from stellar feedback $\left(\epsilon\right)$ and the region into which feedback is injected $\left(r\ {\rm and}\ s\right)$. We find that changing the amount of feedback energy affects the baryon content most significantly. We then identify two sets of feedback parameter values that are both able to reproduce the baryonic properties for haloes between $10^{10}\,\mathrm{M_\odot}$ and $10^{12}\,\mathrm{M_\odot}$. We can potentially improve the agreement by incorporating more parameters or physics. If we choose to focus on one property at a time, we can obtain a more realistic halo baryon makeup. We show that the employed feedback prescription is insensitive to dark matter mass resolution between $10^5\,{\rm M_\odot}$ and $10^7\,{\rm M_\odot}$. Contrasting both star formation criteria and the corresponding combination of optimal feedback parameters, we also highlight that feedback is self-consistent: to match the same baryonic properties, with a relatively higher gas to stars conversion efficiency, the feedback strength required is lower, and vice versa. Lastly, we demonstrate that chaotic variance in the code can cause deviations of approximately 10\% and 25\% in the stellar and baryon mass in simulations evolved from identical initial conditions.


title: Audio-Visual-Olfactory Resource Allocation for Tri-modal Virtual Environments

abstract: Virtual Environments (VEs) provide the opportunity to simulate a wide range of applications, from training to entertainment, in a safe and controlled manner. For applications which require realistic representations of real world environments, the VEs need to provide multiple, physically accurate sensory stimuli. However, simulating all the senses that comprise the human sensory system (HSS) is a task that requires significant computational resources. Since it is intractable to deliver all senses at the highest quality, we propose a resource distribution scheme in order to achieve an optimal perceptual experience within the given computational budgets. This paper investigates resource balancing for multi-modal scenarios composed of aural, visual and olfactory stimuli. Three experimental studies were conducted. The first experiment identified perceptual boundaries for olfactory computation. In the second experiment, participants (N=25) were asked, across a fixed number of budgets (M=5), to identify what they perceived to be the best visual, acoustic and olfactory stimulus quality for a given computational budget. Results demonstrate that participants tend to prioritise visual quality compared to other sensory stimuli. However, as the budget size is increased, users prefer a balanced distribution of resources with an increased preference for having smell impulses in the VE. Based on the collected data, a quality prediction model is proposed and its accuracy is validated against previously unused budgets and an untested scenario in a third and final experiment.


title: How do Quantifiers Affect the Quality of Requirements?

abstract: Context: Requirements quality can have a substantial impact on the effectiveness and efficiency of using requirements artifacts in a development process. Quantifiers such as "at least", "all", or "exactly" are common language constructs used to express requirements. Quantifiers can be formulated by affirmative phrases ("At least") or negative phrases ("Not less than"). Problem: It is long assumed that negation in quantification negatively affects the readability of requirements, however, empirical research on these topics remains sparse. Principal Idea: In a web-based experiment with 51 participants, we compare the impact of negations and quantifiers on readability in terms of reading effort, reading error rate and perceived reading difficulty of requirements. Results: For 5 out of 9 quantifiers, our participants performed better on the affirmative phrase compared to the negative phrase. Only for one quantifier, the negative phrase was more effective. Contribution: This research focuses on creating an empirical understanding of the effect of language in Requirements Engineering. It furthermore provides concrete advice on how to phrase requirements.


title: Spin-dependent transport through a Weyl semimetal surface

abstract: We experimentally compare two types of interface structures with magnetic and non-magnetic Weyl semimetals. They are the junctions between a gold normal layer and magnetic Weyl semimetal Ti$_2$MnAl, and a ferromagnetic nickel layer and non-magnetic Weyl semimetal WTe$_2$, respectively. Due to the ferromagnetic side of the junction, we investigate spin-polarized transport through the Weyl semimetal surface. For both structures, we demonstrate similar current-voltage characteristics, with hysteresis at low currents and sharp peaks in differential resistance at high ones. Despite this behavior resembles the known current-induced magnetization dynamics in ferromagnetic structures, evolution of the resistance peaks with magnetic field is unusual. We connect the observed effects with current-induced spin dynamics in Weyl topological surface states.


title: Luenberger observers for discrete-time nonlinear systems

abstract: In this paper, we consider the problem of designing an asymptotic observer for a nonlin-ear dynamical system in discrete-time following Luenberger's original idea. This approach is a two-step design procedure. In a first step, the problem is to estimate a function of the state. The state estimation is obtained by inverting this mapping. Similarly to the continuous-time context, we show that the first step is always possible provided a linear and stable discrete-time system fed by the output is introduced. Based on a weak observ-ability assumption, it is shown that picking the dimension of the stable auxiliary system sufficiently large, the estimated function of the state is invertible. This approach is illustrated on linear systems with polynomial output. The link with the Luenberger observer obtained in the continuous-time case is also investigated.


title: Discretization and Machine Learning Approximation of BSDEs with a Constraint on the Gains-Process

abstract: We study the approximation of backward stochastic differential equations (BSDEs for short) with a constraint on the gains process. We first discretize the constraint by applying a so-called facelift operator at times of a grid. We show that this discretely constrained BSDE converges to the continuously constrained one as the mesh grid converges to zero. We then focus on the approximation of the discretely constrained BSDE. For that we adopt a machine learning approach. We show that the facelift can be approximated by an optimization problem over a class of neural networks under constraints on the neural network and its derivative. We then derive an algorithm converging to the discretely constrained BSDE as the number of neurons goes to infinity. We end by numerical experiments. Mathematics Subject Classification (2010): 65C30, 65M75, 60H35, 93E20, 49L25.


title: Existence of the ground state for the Pauli-Fierz model with a variable mass

abstract: The Pauli-Fierz model with a variable mass $v$ is considered. An ultraviolet cutoff and an infrared regularity condition are imposed on a quantized radiation field. It is shown that the ground state exists for arbitrary values of coupling constants, when $v(x)\leq c\langle x\rangle^{-\beta}$, $\beta>3$.


title: Hermitian-Yang-Mills approach to the conjecture of Griffiths on the positivity of ample vector bundles

abstract: Given a vector bundle of arbitrary rank with ample determinant line bundle on a projective manifold, we propose a new elliptic system of differential equations of Hermitian-Yang-Mills type for the curvature tensor. The system is designed so that solutions provide Hermitian metrics with positive curvature in the sense of Griffiths-and even in the dual Nakano sense. As a consequence, if an existence result could be obtained for every ample vector bundle, the Griffiths conjecture on the equivalence between ampleness and positivity of vector bundles would be settled.


title: Scaling limits of bosonic ground states, from many-body to nonlinear Schr{\"o}dinger

abstract: How and why may an interacting system of many particles be described assuming that all particles are independent and identically distributed ? This question is at least as old as statistical mechanics itself. Its quantum version has been rejuvenated by the birth of cold atoms physics. In particular the experimental creation of Bose-Einstein condensates directly asks the following variant: why and how can a large assembly of very cold interacting bosons (quantum particles deprived of the Pauli exclusion principle) all populate the same quantum state ? In this text I review the various mathematical techniques allowing to prove that the lowest energy state of a bosonic system forms, in a reasonable macroscopic limit of large particle number, a Bose-Einstein condensate. This means that indeed in the relevant limit all particles approximately behave as if independent and identically distributed, according to a law determined by minimizing a non-linear Schr{\"o}dinger energy functional. This is a particular instance of the justification of the mean-field approximation in statistical mechanics, starting from the basic many-body Schr{\"o}dinger Hamiltonian.

categories: math.AP cond-mat.quant-gas cond-mat.stat-mech math-ph math.MP math.SP


title: Francesco Carlini: Kepler's equation and the asymptotic solution to singular differential equations

abstract: Carlini's career was mainly dedicated to astronomy, but he was also a particularly skilled mathematician. In this article we collect and analyse his mathematical contributions in detail. In particular, in his important Memoir of the year 1817 devoted to Kepler's equation he introduced an innovative idea to solve ordinary differential equations with singular perturbations by means of asymptotic expansions. In the same Memoir also appeared, five years before Laplace's contributions, what is usually called the Laplace limit constant. Furthermore, Carlini published other mathematical Memoirs anticipating, 70 years in advance, the importance of complex branches of the Lambert's special function.


title: Virtual Element Formulation For Finite Strain Elastodynamics

abstract: This work provides an efficient virtual element scheme for the modeling of nonlinear elastodynamics undergoing large deformations. The virtual element method (VEM) has been applied to various engineering problems such as elasto-plasticity, multiphysics, damage and fracture mechanics. This work focuses on the extension of VEM towards dynamic applications. Within this framework, we employ low-order ansatz functions in one, two and three dimensions that having arbitrary convex or concave polygonal elements. The formulations considered in this contribution are based on minimization of potential function for both the static and the dynamic behavior. While the stiffness-matrix needs a suitable stabilization, the mass-matrix can be calculated using only the projection part. For the implicit time integration scheme, Newmark-Method is used. To show the performance of the method, various numerical examples in 1D, 2D and 3D are presented.


title: Dynamical Algebras in the 1+1 Dirac Oscillator and the Jaynes-Cummings Model

abstract: We study the algebraic structure of the one-dimensional Dirac oscillator by extending the concept of spin symmetry to a noncommutative case. An SO(4) algebra is found connecting the eigenstates of the Dirac oscillator, in which the two elements of Cartan subalgebra are conserved quantities. Similar results are obtained in the Jaynes--Cummings model.


title: On the local regularity theory for the MHD equations

abstract: Local regularity results are obtained for the MHD equations using as global framework the setting of parabolic Morrey spaces. Indeed, by assuming some local boundedness assumptions (in the sense of parabolic Morrey spaces) for weak solutions of the MHD equations it is possible to obtain a gain of regularity for such solutions in the general setting of the Serrin regularity theory. This is the first step of a wider program that aims to study both local and partial regularity theories for the MHD equations.