title: Forces inside the nucleon on the light front from 3D Breit frame force distributions: Abel tomography case

abstract: We derive simple relations which express 2D light front force distributions in terms of 3D Breit frame pressure and shear force distributions. Mathematically the relations correspond to invertible Abel transformation and they establish one-to-one mathematical equivalence of 3D Breit frame force distributions and 2D light front ones. Any knowledge (model calculation, experimental measurement, etc.) about pressure and shear force distributions in Breit frame can be unambiguously transformed into light front force distributions with the help of Abel transformation. It is important that the transformation ensures 2D stability conditions if the 3D stability conditions are satisfied. As an illustration of how the relations work, we calculated the light front force distributions for a large nucleus as a liquid drop, and for large $N_c$ nucleon as a chiral soliton.


title: Interpretable Faraday Complexity Classification

abstract: Faraday complexity describes whether a spectropolarimetric observation has simple or complex magnetic structure. Quickly determining the Faraday complexity of a spectropolarimetric observation is important for processing large, polarised radio surveys. Finding simple sources lets us build rotation measure grids, and finding complex sources lets us follow these sources up with slower analysis techniques or further observations. We introduce five features that can be used to train simple, interpretable machine learning classifiers for estimating Faraday complexity. We train logistic regression and extreme gradient boosted tree classifiers on simulated polarised spectra using our features, analyse their behaviour, and demonstrate our features are effective for both simulated and real data. This is the first application of machine learning methods to real spectropolarimetry data. With 95 per cent accuracy on simulated ASKAP data and 90 per cent accuracy on simulated ATCA data, our method performs comparably to state-of-the-art convolutional neural networks while being simpler and easier to interpret. Logistic regression trained with our features behaves sensibly on real data and its outputs are useful for sorting polarised sources by apparent Faraday complexity.


title: Inverted and programmable Poynting effects in metamaterials

abstract: The Poynting effect generically manifests itself as the extension of the material in the direction perpendicular to an applied shear deformation (torsion) and is a material parameter hard to design. Unlike isotropic solids, in designed structures, peculiar couplings between shear and normal deformations can be achieved and exploited for practical applications. Here, we engineer a metamaterial that can be programmed to contract or extend under torsion and undergo nonlinear twist under compression. First, we show that our system exhibits a novel type of inverted Poynting effect, where axial compression induces a nonlinear torsion. Then the Poynting modulus of the structure is programmed from initial negative values to zero and positive values via a pre-compression applied prior to torsion. Our work opens avenues for programming nonlinear elastic moduli of materials and tuning the couplings between shear and normal responses by rational design. Obtaining inverted and programmable Poynting effects in metamaterials inspires diverse applications from designing machine materials, soft robots and actuators to engineering biological tissues, implants and prosthetic devices functioning under compression and torsion.


title: Joint Intent Detection And Slot Filling Based on Continual Learning Model

abstract: Slot filling and intent detection have become a significant theme in the field of natural language understanding. Even though slot filling is intensively associated with intent detection, the characteristics of the information required for both tasks are different while most of those approaches may not fully aware of this problem. In addition, balancing the accuracy of two tasks effectively is an inevitable problem for the joint learning model. In this paper, a Continual Learning Interrelated Model (CLIM) is proposed to consider semantic information with different characteristics and balance the accuracy between intent detection and slot filling effectively. The experimental results show that CLIM achieves state-of-the-art performace on slot filling and intent detection on ATIS and Snips.


title: Modelling Extremes of Spatial Aggregates of Precipitation using Conditional Methods

abstract: Inference on the extremal behaviour of spatial aggregates of precipitation is important for quantifying river flood risk. There are two classes of previous approach, with one failing to ensure self-consistency in inference across different regions of aggregation and the other imposing highly restrictive assumptions. To overcome these issues, we propose a model for high-resolution precipitation data, from which we can simulate realistic fields and explore the behaviour of spatial aggregates. Recent developments have seen spatial extensions of the Heffernan and Tawn (2004) model for conditional multivariate extremes, which can handle a wide range of dependence structures. Our contribution is twofold: extensions and improvements of this approach and its model inference for high-dimensional data; and a novel framework for deriving aggregates addressing edge effects and sub-regions without rain. We apply our modelling approach to gridded East-Anglia, UK precipitation data. Return-level curves for spatial aggregates over different regions of various sizes are estimated and shown to fit very well to the data.


title: Multisymplectic variational integrators for barotropic and incompressible fluid models with constraints

abstract: We present a structure preserving discretization of the fundamental spacetime geometric structures of fluid mechanics in the Lagrangian description in 2D and 3D. Based on this, multisymplectic variational integrators are developed for barotropic and incompressible fluid models, which satisfy a discrete version of Noether theorem. We show how the geometric integrator can handle regular fluid motion in vacuum with free boundaries and constraints such as the impact against an obstacle of a fluid flowing on a surface. Our approach is applicable to a wide range of models including the Boussinesq and shallow water models, by appropriate choice of the Lagrangian.


title: InaudibleKey: Generic Inaudible Acoustic Signal based Key Agreement Protocol for Mobile Devices

abstract: Secure Device-to-Device (D2D) communication is becoming increasingly important with the ever-growing number of Internet-of-Things (IoT) devices in our daily life. To achieve secure D2D communication, the key agreement between different IoT devices without any prior knowledge is becoming desirable. Although various approaches have been proposed in the literature, they suffer from a number of limitations, such as low key generation rate and short pairing distance. In this paper, we present InaudibleKey, an inaudible acoustic signal-based key generation protocol for mobile devices. Based on acoustic channel reciprocity, InaudibleKey exploits the acoustic channel frequency response of two legitimate devices as a common secret to generating keys. InaudibleKey employs several novel technologies to significantly improve its performance. We conduct extensive experiments to evaluate the proposed system in different real environments. Compared to state-of-the-art works, InaudibleKey improves key generation rate by 3-145 times, extends pairing distance by 3.2-44 times, and reduces information reconciliation counts by 2.5-16 times. Security analysis demonstrates that InaudibleKey is resilient to a number of malicious attacks. We also implement InaudibleKey on modern smartphones and resource-limited IoT devices. Results show that it is energy-efficient and can run on both powerful and resource-limited IoT devices without incurring excessive resource consumption.


title: Optimal Transport of Information

abstract: We study the general problem of Bayesian persuasion (optimal information design) with continuous actions and continuous state space in arbitrary dimensions. First, we show that with a finite signal space, the optimal information design is always given by a partition. Second, we take the limit of an infinite signal space and characterize the solution in terms of a Monge-Kantorovich optimal transport problem with an endogenous information transport cost. We use our novel approach to: 1. Derive necessary and sufficient conditions for optimality based on Bregman divergences for non-convex functions. 2. Compute exact bounds for the Hausdorff dimension of the support of an optimal policy. 3. Derive a non-linear, second-order partial differential equation whose solutions correspond to regular optimal policies. We illustrate the power of our approach by providing explicit solutions to several non-linear, multidimensional Bayesian persuasion problems.


title: The bridges to consensus: Network effects in a bounded confidence opinion dynamics model

abstract: In this work we present novel results to the problem of the Hegselmann-Krause dynamics in networks obtained by an extensive study of the behavior of the standard order parameter sensitive to the onset of consensus: the normalized size of the giant cluster. This order parameter reveals the non trivial effect of the network topology on the steady states of the dynamics, overlooked by previous works, which concentrated on the onset of unanimity, and allows to detect regions of polarization between the fragmented and the consensus phases. While the previous results on unanimity are confirmed, the consensus threshold shifts in the opposite direction compared to the threshold for unanimity. A detailed finite size scaling analysis shows that, in general, consensus is easier to obtain in networks than in mixed populations. At a difference with previous studies, we show that the network topology is relevant beyond the finitness of the average degree with increasing system size. In particular, in pure random networks (either uniform random graphs or scale free networks), the consensus threshold seems to vanish in the thermodynamic limit. A detailed analysis of the time evolution of the dynamics reveals the role of bridges in the network, which allow for the interaction between agents belonging to clusters of very different opinions, after several repeated interaction steps. These bridges are at the origin of the shift of the confidence threshold to lower values in networks as compared to lattices or the mixed population.


title: Elementary superexpressive activations

abstract: We call a finite family of activation functions superexpressive if any multivariate continuous function can be approximated by a neural network that uses these activations and has a fixed architecture only depending on the number of input variables (i.e., to achieve any accuracy we only need to adjust the weights, without increasing the number of neurons). Previously, it was known that superexpressive activations exist, but their form was quite complex. We give examples of very simple superexpressive families: for example, we prove that the family {sin, arcsin} is superexpressive. We also show that most practical activations (not involving periodic functions) are not superexpressive.


title: Powers of Hamilton cycles of high discrepancy are unavoidable

abstract: The P\'osa-Seymour conjecture asserts that every graph on $n$ vertices with minimum degree at least $(1 - 1/(r+1))n$ contains the $r^{th}$ power of a Hamilton cycle. Koml\'os, S\'ark\"ozy and Szemer\'edi famously proved the conjecture for large $n.$ The notion of discrepancy appears in many areas of mathematics, including graph theory. In this setting, a graph $G$ is given along with a $2$-coloring of its edges. One is then asked to find in $G$ a copy of a given subgraph with a large discrepancy, i.e., with significantly more than half of its edges in one color. For $r \geq 2,$ we determine the minimum degree threshold needed to find the $r^{th}$ power of a Hamilton cycle of large discrepancy, answering a question posed by Balogh, Csaba, Pluh\'ar and Treglown. Notably, for $r \geq 3,$ this threshold approximately matches the minimum degree requirement of the P\'osa-Seymour conjecture.


title: Revealing the physical properties of gas accreting to haloes in the EAGLE simulations

abstract: The inflow of cosmological gas onto haloes, while challenging to directly observe and quantify, plays a fundamental role in the baryon cycle of galaxies. Using the EAGLE suite of hydrodynamical simulations, we present a thorough exploration of the physical properties of gas accreting onto haloes -- namely, its spatial characteristics, density, temperature, and metallicity. Classifying accretion as ``hot'' or `` cold'' based on a temperature cut of $10^{5.5}{\rm K}$, we find that the covering fraction ($f_{\rm cov}$) of cold-mode accreting gas is significantly lower than the hot-mode, with $z=0$ $f_{\rm cov}$ values of $\approx 50\%$ and $\approx 80\%$ respectively. Active Galactic Nuclei (AGN) feedback in EAGLE reduces inflow $f_{\rm cov}$ values by $\approx 10\%$, with outflows decreasing the solid angle available for accretion flows. Classifying inflow by particle history, we find that gas on first-infall onto a halo is metal-depleted by $\approx 2$~dex compared to pre-processed gas, which we find to mimic the circum-galactic medium (CGM) in terms of metal content. We also show that high (low) halo-scale gas accretion rates are associated with metal-poor (rich) CGM in haloes below $10^{12}M_{\odot}$, and that variation in halo-scale gas accretion rates may offer a physical explanation for the enhanced scatter in the star-forming main sequence at low ($\lesssim10^{9}M_{\odot}$) and high ($\gtrsim10^{10}M_{\odot}$) stellar masses. Our results highlight how gas inflow influences several halo- and galaxy-scale properties, and the need to combine kinematic and chemical data in order to confidently break the degeneracy between accreting and outgoing gas in CGM observations.


title: Dirac Monopoles in Rogue Waves

abstract: We for the first time demonstrate that the widely existed nonlinear waves such as rogue waves, contain Dirac monopoles. We find that the density zeros of these nonlinear waves on an extended complex plane can constitute the Dirac virtual magnetic monopole fields with a quantized flux of elementary $\pi$. We then can explain the exotic property of ``appearing from nowhere and disappearing without a trace" of rogue waves by means of a Dirac monopole collision mechanism. The maximum amplification ratio and multiple phase steps of high-order rogue waves are found to be closely related to the number of their contained monopoles. Important implications of the intrinsic virtual magnetic monopole fields are discussed.


title: Feynman-Enderlein Path Integral for Single-Molecule Nanofluidics

abstract: Single-molecule motions in the nanofluidic domain are extremely difficult to characterise because of various complex physical and physicochemical interactions. We present a method for quasi-one-dimensional sub-diffraction-limited nanofluidic motions of fluorescent single molecules using the Feynman-Enderlein path integral approach. This theory was validated using the Monte Carlo simulation to provide fundamental understandings of single-molecule nanofluidic flow and diffusion in liquid. The distribution of single-molecule burst size can be precise enough to detect molecular interaction. The realisation of this theoretical study considers several fundamental aspects of single-molecule nanofluidics, such as electrodynamics, photophysics, and multi-molecular events/molecular shot noise. We study {molecules within (an order of magnitude of) realistic lengthscale for organic molecules, biomolecules, and nanoparticles where 1.127~nm and 11.27~nm hydrodynamic radii of molecules were driven by a wide range of flow velocities ranging from $0.01~\mu$m/s to $10~\mu$m/s. It is the first study to report distinctly different velocity-dependent nanofluidic regimes.

categories: physics.atm-clus cond-mat.mes-hall physics.optics quant-ph


title: On Metric Dimensions of Hypercubes

abstract: The metric (resp. edge metric or mixed metric) dimension of a graph $G$, is the cardinality of the smallest ordered set of vertices that uniquely recognizes all the pairs of distinct vertices (resp. edges, or vertices and edges) of $G$ by using a vector of distances to this set. In this note we show two unexpected results on hypercube graphs. First, we show that the metric and edge metric dimension of $Q_d$ differ by only one for every integer $d$. In particular, if $d$ is odd, then the metric and edge metric dimensions of $Q_d$ are equal. Second, we prove that the metric and mixed metric dimensions of the hypercube $Q_d$ are equal for every $d \ge 3$. We conclude the paper by conjecturing that all these three types of metric dimensions of $Q_d$ are equal when $d$ is large enough.


title: Investigating Awareness and usage of Electronic Resources by the Library Users of Selected Colleges of Solapur University

abstract: The study investigated the use of electronic resources/information by library users in selected colleges of Solapur University. Specifically, to investigate the awareness and level of use of electronic resources; perceived reliance, benefits and impact of use of electronic resources on the research activities. The research design for the study was a survey. Questionnaire schedule was used to collect data from 1022 library users from selected colleges of Solapur University. The result revealed that preponderance of users from aided 33.51% Self financing 26.10% and Education colleges 43.24 % preferred to visit the Library once in three days. While analyzing the entire college libraries regarding the frequency of visit, users gave first preference to once in three days i.e. 27.2%. College wise analysis reveals that mainstream of users from Aided Colleges 38%, Self financing Colleges 28.3%, Engineering Colleges 43%, Education colleges 53.2% and Pharmacy Colleges 23.4% are spending their time 1-2 hrs in libraries and 40.8%visit college libraries to issue and return books and in the device usage (33.9%) of users ranked mobile phone as the second device for accessing the e-resources. It is noticeable that 24.7% of users acknowledge from Aided Colleges know about the services of the Library from website but in Self Finance Colleges 8.5% and Pharmacy College 56.4% users aware about the services from the friends it is observed that most of the web technologies are not used by the mainstream of the users due to lack of awareness, training etc.


title: Scholarly Communications of Bharathiar University on Web of Science in Global Perspective: A Scientometric Assessment

abstract: Bharathiar University is one of the esteemed university and most vibrant in Tamil Nadu. The University was awarded "A" grade by the National Assessment and Accreditation Council (NAAC) of the University Grants Commission and it has been ranked amongst top 50 Universities in India by the survey taken by the prominent English magazines India Today and The Week in 2013 respectively. The present study has been undertaken to find out the impact of research produced and publication trends of the university during 2009 to 2018. The study merely focuses on year-wise research output, citation impact at local and global level, prominent authors and their total output, top journals of publications, collaborating countries, and most contributing departments of Bharathiar University. The 10 years' publication data of the university indicate that a total of 3440 papers have been published from 2009 to 2018 receiving 38104 citations with h-index as 68. In addition to this scientographical mapping of data is presented through graphs using VOS viewer software mapping technique.


title: Interpretative Computer-aided Lung Cancer Diagnosis: from Radiology Analysis to Malignancy Evaluation

abstract: Background and Objective:Computer-aided diagnosis (CAD) systems promote diagnosis effectiveness and alleviate pressure of radiologists. A CAD system for lung cancer diagnosis includes nodule candidate detection and nodule malignancy evaluation. Recently, deep learning-based pulmonary nodule detection has reached satisfactory performance ready for clinical application. However, deep learning-based nodule malignancy evaluation depends on heuristic inference from low-dose computed tomography volume to malignant probability, which lacks clinical cognition. Methods:In this paper, we propose a joint radiology analysis and malignancy evaluation network (R2MNet) to evaluate the pulmonary nodule malignancy via radiology characteristics analysis. Radiological features are extracted as channel descriptor to highlight specific regions of the input volume that are critical for nodule malignancy evaluation. In addition, for model explanations, we propose channel-dependent activation mapping to visualize the features and shed light on the decision process of deep neural network. Results:Experimental results on the LIDC-IDRI dataset demonstrate that the proposed method achieved area under curve of 96.27% on nodule radiology analysis and AUC of 97.52% on nodule malignancy evaluation. In addition, explanations of CDAM features proved that the shape and density of nodule regions were two critical factors that influence a nodule to be inferred as malignant, which conforms with the diagnosis cognition of experienced radiologists. Conclusion:Incorporating radiology analysis with nodule malignant evaluation, the network inference process conforms to the diagnostic procedure of radiologists and increases the confidence of evaluation results. Besides, model interpretation with CDAM features shed light on the regions which DNNs focus on when they estimate nodule malignancy probabilities.


title: Discovery of CH2CHCCH and detection of HCCN, HC4N, CH3CH2CN, and, tentatively, CH3CH2CCH in TMC-1

abstract: We present the discovery in TMC-1 of vinyl acetylene, CH2CHCCH, and the detection, for the first time in a cold dark cloud, of HCCN, HC4N, and CH3CH2CN. A tentative detection of CH3CH2CCH is also reported. The column density of vinyl acetylene is (1.2 +/- 0.2)e13 cm-2, which makes it one of the most abundant closed-shell hydrocarbons detected in TMC-1. Its abundance is only three times lower than that of propylene, CH3CHCH2. The column densities derived for HCCN and HC4N are (4.4 +/- 0.4)e11 cm-2 and (3.7 +/- 0.4)e11 cm-2, respectively. Hence, the HCCN/HC4N abundance ratio is 1.2 +/- 0.3. For ethyl cyanide we derive a column density of (1.1 +/- 0.3)e11 cm-2. These results are compared with a state-of-the-art chemical model of TMC-1, which is able to account for the observed abundances of these molecules through gas-phase chemical routes.


title: A Note on Je{\'s}manowicz' Conjecture for Non-primitive Pythagorean Triples

abstract: Let $(a, b, c)$ be a primitive Pythagorean triple parameterized as $a=u^2-v^2,\ b=2uv,\ c=u^2+v^2$,\ where $u>v>0$ are co-prime and not of the same parity. In 1956, L. Je{\'s}manowicz conjectured that for any positive integer $n$, the Diophantine equation $(an)^x+(bn)^y=(cn)^z$ has only the positive integer solution $(x,y,z)=(2,2,2)$. In this connection we call a positive integer solution $(x,y,z)\ne (2,2,2)$ with $n>1$ exceptional. In 1999 M.-H. Le gave necessary conditions for the existence of exceptional solutions which were refined recently by H. Yang and R.-Q. Fu. In this paper we give a unified simple proof of the theorem of Le-Yang-Fu. Next we give necessary conditions for the existence of exceptional solutions in the case $v=2,\ u$ is an odd prime. As an application we show the truth of the Je{\'s}manowicz conjecture for all prime values $u < 100$.


title: The envelope of holomorphy of a classical truncated tube domain

abstract: We present the envelope of holomorphy of a classical truncated tube domain.


title: Approximation of dilation-based spatial relations to add structural constraints in neural networks

abstract: Spatial relations between objects in an image have proved useful for structural object recognition. Structural constraints can act as regularization in neural network training, improving generalization capability with small datasets. Several relations can be modeled as a morphological dilation of a reference object with a structuring element representing the semantics of the relation, from which the degree of satisfaction of the relation between another object and the reference object can be derived. However, dilation is not differentiable, requiring an approximation to be used in the context of gradient-descent training of a network. We propose to approximate dilations using convolutions based on a kernel equal to the structuring element. We show that the proposed approximation, even if slightly less accurate than previous approximations, is definitely faster to compute and therefore more suitable for computationally intensive neural network applications.


title: The Projected Polar Proximal Point Algorithm Converges Globally

abstract: Friedlander, Mac\^{e}do, and Pong recently introduced the projected polar proximal point algorithm (P4A) for solving optimization problems by using the closed perspective transforms of convex objectives. We analyse a generalization (GP4A) which replaces the closed perspective transform with a more general closed gauge. We decompose GP4A into the iterative application of two separate operators, and analyse it as a splitting method. By showing that GP4A and its under-relaxations exhibit global convergence whenever a fixed point exists, we obtain convergence guarantees for P4A by letting the gauge specify to the closed perspective transform for a convex function. We then provide easy-to-verify sufficient conditions for the existence of fixed points for the GP4A, using the Minkowski function representation of the gauge. Conveniently, the approach reveals that global minimizers of the objective function for P4A form an exposed face of the dilated fundamental set of the closed perspective transform.


title: CoinTossX: An open-source low-latency high-throughput matching engine

abstract: We deploy and demonstrate the CoinTossX low-latency, high-throughput, open-source matching engine with orders sent using the Julia and Python languages. We show how this can be deployed for small-scale local desk-top testing and discuss a larger scale, but local hosting, with multiple traded instruments managed concurrently and managed by multiple clients. We then demonstrate a cloud based deployment using Microsoft Azure, with large-scale industrial and simulation research use cases in mind. The system is exposed and interacted with via sockets using UDP SBE message protocols and can be monitored using a simple web browser interface using HTTP. We give examples showing how orders can be be sent to the system and market data feeds monitored using the Julia and Python languages. The system is developed in Java with orders submitted as binary encodings (SBE) via UDP protocols using the Aeron Media Driver as the low-latency, high throughput message transport. The system separates the order-generation and simulation environments e.g. agent-based model simulation, from the matching of orders, data-feeds and various modularised components of the order-book system. This ensures a more natural and realistic asynchronicity between events generating orders, and the events associated with order-book dynamics and market data-feeds. We promote the use of Julia as the preferred order submission and simulation environment.


title: Quantum Channel Marginal Problem

abstract: Given a set of local dynamics, are they compatible with a global dynamics? We systematically formulate these questions as quantum channel marginal problems. These problems are strongly connected to the generalization of the no-signaling conditions to quantized inputs and outputs and can be understood as a general toolkit to study notions of quantum incompatibility. In fact, they include as special cases channel broadcasting, channel extendibility, measurement compatibility, and state marginal problems. After defining the notion of compatibility between global and local dynamics, we provide a solution to the channel marginal problem that takes the form of a semidefinite program. Using this formulation, we construct channel incompatibility witnesses, discuss their operational interpretation in terms of an advantage for a state-discrimination task, prove a gap between classical and quantum dynamical marginal problems and show that the latter is irreducible to state marginal problems.


title: Crossover between short and long range proximity effects in SFS junctions with Ni-based ferromagnets

abstract: We study Superconductor/Ferromagnet/Superconductor junctions with CuNi, PtNi, or Ni interlayers. Remarkably, we observe that supercurrents through Ni can be significantly larger than through diluted alloys. The phenomenon is attributed to the dirtiness of disordered alloys leading to a short coherence length despite a small exchange energy. To the contrary, pure Ni is clean resulting in a coherence length as long as in a normal metal. Analysis of temperature dependencies of critical currents reveals a crossover from short (dirty) to long (clean) range proximity effects in Pt1-xNix with increasing Ni concentration. Our results point out that structural properties of a ferromagnet play a crucial role for the proximity effect and indicate that conventional strong-but-clean ferromagnets can be advantageously used in superconducting spintronic devices.


title: Escaping Poor Local Minima in Large Scale Robust Estimation

abstract: Robust parameter estimation is a crucial task in several 3D computer vision pipelines such as Structure from Motion (SfM). State-of-the-art algorithms for robust estimation, however, still suffer from difficulties in converging to satisfactory solutions due to the presence of many poor local minima or flat regions in the optimization landscapes. In this paper, we introduce two novel approaches for robust parameter estimation. The first algorithm utilizes the Filter Method (FM), which is a framework for constrained optimization allowing great flexibility in algorithmic choices, to derive an adaptive kernel scaling strategy that enjoys a strong ability to escape poor minima and achieves fast convergence rates. Our second algorithm combines a generalized Majorization Minimization (GeMM) framework with the half-quadratic lifting formulation to obtain a simple yet efficient solver for robust estimation. We empirically show that both proposed approaches show encouraging capability on avoiding poor local minima and achieve competitive results compared to existing state-of-the art robust fitting algorithms.


title: Deep Learning for Robust Motion Segmentation with Non-Static Cameras

abstract: This work proposes a new end-to-end DCNN based approach for motion segmentation, especially for video sequences captured with such non-static cameras, called MOSNET. While other approaches focus on spatial or temporal context only, the proposed approach uses 3D convolutions as a key technology to factor in, spatio-temporal features in cohesive video frames. This is done by capturing temporal information in features with a low and also with a high level of abstraction. The lean network architecture with about 21k trainable parameters is mainly based on a pre-trained VGG-16 network. The MOSNET uses a new feature map fusion technique, which enables the network to focus on the appropriate level of abstraction, resolution, and the appropriate size of the receptive field regarding the input. Furthermore, the end-to-end deep learning based approach can be extended by feature based image alignment as a pre-processing step, which brings a gain in performance for some scenes. Evaluating the end-to-end deep learning based MOSNET network in a scene independent manner leads to an overall F-measure of 0.803 on the CDNet2014 dataset. A small temporal window of five input frames, without the need of any initialization is used to obtain this result. Therefore the network is able to perform well on scenes captured with non-static cameras where the image content changes significantly during the scene. In order to get robust results in scenes captured with a moving camera, feature based image alignment can implemented as pre-processing step. The MOSNET combined with pre-processing leads to an F-measure of 0.685 when cross-evaluating with a relabeled LASIESTA dataset, which underpins the capability generalise of the MOSNET.


title: Near-resonant effects in the quantum dynamics of the H+H$_2^+$ $\rightarrow$ H$_2$+ H$^+$ charge transfer reaction and isotopic variants

abstract: The non-adiabatic quantum dynamics of the H+H$_2^+$ $\rightarrow$ H$_2$+ H$^+$ charge transfer reactions, and some isotopic variants, is studied with an accurate wave packet method. A recently developed $3\times$3 diabatic potential model is used, which is based on very accurate {\it ab initio} calculations and includes the long-range interactions for ground and excited states. It is found that for initial H$_2^+$(v=0), the quasi-degenerate H$_2$(v'=4) non-reactive charge transfer product is enhanced, producing an increase of the reaction probability and cross section. It becomes the dominant channel from collision energies above 0.2 eV, producing a ratio, between v'=4 and the rest of v's, that increases up to 1 eV. H+H$_2^+$ $\rightarrow$ H$_2^+$+ H exchange reaction channel is nearly negligible, while the reactive and non-reactive charge transfer reaction channels are of the same order, except that corresponding to H$_2$(v'=4), and the two charge transfer processes compete below 0.2 eV. This enhancement is expected to play an important vibrational and isotopic effect that need to be evaluated. For the three proton case, the problem of the permutation symmetry is discussed when using reactant Jacobi coordinates.


title: Unifying Hidden-Variable Problems from Quantum Mechanics by Logics of Dependence and Independence

abstract: We study hidden-variable models from quantum mechanics, and their abstractions in purely probabilistic and relational frameworks, by means of logics of dependence and independence, based on team semantics. We show that common desirable properties of hidden-variable models can be defined in an elegant and concise way in dependence and independence logic. The relationship between different properties, and their simultaneous realisability can thus been formulated and a proved on a purely logical level, as problems of entailment and satisfiability of logical formulae. Connections between probabilistic and relational entailment in dependence and independence logic allow us to simplify proofs. In many cases, we can establish results on both probabilistic and relational hidden-variable models by a single proof, because one case implies the other, depending on purely syntactic criteria. We also discuss the no-go theorems by Bell and Kochen-Specker and provide a purely logical variant of the latter, introducing non-contextual choice as a team-semantical property.


title: On Value Recomputation to Accelerate Invisible Speculation

abstract: Recent architectural approaches that address speculative side-channel attacks aim to prevent software from exposing the microarchitectural state changes of transient execution. The Delay-on-Miss technique is one such approach, which simply delays loads that miss in the L1 cache until they become non-speculative, resulting in no transient changes in the memory hierarchy. However, this costs performance, prompting the use of value prediction (VP) to regain some of the delay. However, the problem cannot be solved by simply introducing a new kind of speculation (value prediction). Value-predicted loads have to be validated, which cannot be commenced until the load becomes non-speculative. Thus, value-predicted loads occupy the same amount of precious core resources (e.g., reorder buffer entries) as Delay-on-Miss. The end result is that VP only yields marginal benefits over Delay-on-Miss. In this paper, our insight is that we can achieve the same goal as VP (increasing performance by providing the value of loads that miss) without incurring its negative side-effect (delaying the release of precious resources), if we can safely, non-speculatively, recompute a value in isolation (without being seen from the outside), so that we do not expose any information by transferring such a value via the memory hierarchy. Value Recomputation, which trades computation for data transfer was previously proposed in an entirely different context: to reduce energy-expensive data transfers in the memory hierarchy. In this paper, we demonstrate the potential of value recomputation in relation to the Delay-on-Miss approach of hiding speculation, discuss the trade-offs, and show that we can achieve the same level of security, reaching 93% of the unsecured baseline performance (5% higher than Delay-on-miss), and exceeding (by 3%) what even an oracular (100% accuracy and coverage) value predictor could do.


title: Hamiltonian pitchfork bifurcation in transition across index-1 saddles

abstract: We study the effect of changes in the parameters of a two-dimensional potential energy surface on the phase space structures relevant for chemical reaction dynamics. The changes in the potential energy are representative of chemical reactions such as isomerization between two structural conformations or dissociation of a molecule with an intermediate. We present a two degrees of freedom quartic Hamiltonian that shows pitchfork bifurcation when the parameters are varied and we derive the bifurcation criteria relating the parameters. Next, we describe the phase space structures - unstable periodic orbits and their associated invariant manifolds, and phase space dividing surfaces - for the systems that can show trajectories undergo reaction defined as crossing of a potential energy barrier. Finally, we quantify the reaction dynamics for these systems by obtaining the directional flux and gap time distribution to illustrate the dependence on total energy and the coupling strength between the two degrees of freedom.

categories: math.DS cond-mat.stat-mech nlin.CD physics.chem-ph


title: Using Prior Knowledge to Guide BERT's Attention in Semantic Textual Matching Tasks

abstract: We study the problem of incorporating prior knowledge into a deep Transformer-based model,i.e.,Bidirectional Encoder Representations from Transformers (BERT), to enhance its performance on semantic textual matching tasks. By probing and analyzing what BERT has already known when solving this task, we obtain better understanding of what task-specific knowledge BERT needs the most and where it is most needed. The analysis further motivates us to take a different approach than most existing works. Instead of using prior knowledge to create a new training task for fine-tuning BERT, we directly inject knowledge into BERT's multi-head attention mechanism. This leads us to a simple yet effective approach that enjoys fast training stage as it saves the model from training on additional data or tasks other than the main task. Extensive experiments demonstrate that the proposed knowledge-enhanced BERT is able to consistently improve semantic textual matching performance over the original BERT model, and the performance benefit is most salient when training data is scarce.


title: Semantically Meaningful Class Prototype Learning for One-Shot Image Semantic Segmentation

abstract: One-shot semantic image segmentation aims to segment the object regions for the novel class with only one annotated image. Recent works adopt the episodic training strategy to mimic the expected situation at testing time. However, these existing approaches simulate the test conditions too strictly during the training process, and thus cannot make full use of the given label information. Besides, these approaches mainly focus on the foreground-background target class segmentation setting. They only utilize binary mask labels for training. In this paper, we propose to leverage the multi-class label information during the episodic training. It will encourage the network to generate more semantically meaningful features for each category. After integrating the target class cues into the query features, we then propose a pyramid feature fusion module to mine the fused features for the final classifier. Furthermore, to take more advantage of the support image-mask pair, we propose a self-prototype guidance branch to support image segmentation. It can constrain the network for generating more compact features and a robust prototype for each semantic class. For inference, we propose a fused prototype guidance branch for the segmentation of the query image. Specifically, we leverage the prediction of the query image to extract the pseudo-prototype and combine it with the initial prototype. Then we utilize the fused prototype to guide the final segmentation of the query image. Extensive experiments demonstrate the superiority of our proposed approach.


title: Shapley values for feature selection: The good, the bad, and the axioms

abstract: The Shapley value has become popular in the Explainable AI (XAI) literature, thanks, to a large extent, to a solid theoretical foundation, including four "favourable and fair" axioms for attribution in transferable utility games. The Shapley value is provably the only solution concept satisfying these axioms. In this paper, we introduce the Shapley value and draw attention to its recent uses as a feature selection tool. We call into question this use of the Shapley value, using simple, abstract "toy" counterexamples to illustrate that the axioms may work against the goals of feature selection. From this, we develop a number of insights that are then investigated in concrete simulation settings, with a variety of Shapley value formulations, including SHapley Additive exPlanations (SHAP) and Shapley Additive Global importancE (SAGE).


title: On the compact operators case of the Bishop-Phelps-Bollob\'as property for numerical radius

abstract: We study the Bishop-Phelps-Bollob\'as property for numerical radius restricted to the case of compact operators (BPBp-nu for compact operators in short). We show that $C_0(L)$ spaces have the BPBp-nu for compact operators for every Hausdorff topological locally compact space $L$. To this end, on the one hand, we provide some techniques allowing to pass the BPBp-nu for compact operators from subspaces to the whole space and, on the other hand, we prove some strong approximation property of $C_0(L)$ spaces and their duals. Besides, we also show that real Hilbert spaces and isometric preduals of $\ell_1$ have the BPBp-nu for compact operators.


title: Future merger of the Milky Way with the Andromeda galaxy and the fate of their supermassive black holes

abstract: Our Galaxy and the nearby Andromeda galaxy (M31) are the most massive members of the Local Group, and they seem to be a bound pair, despite the uncertainties on the relative motion of the two galaxies. A number of studies have shown that the two galaxies will likely undergo a close approach in the next 4$-$5 Gyr. We used direct $N$-body simulations to model this interaction to shed light on the future of the Milky Way - Andromeda system and for the first time explore the fate of the two supermassive black holes (SMBHs) that are located at their centers. We investigated how the uncertainties on the relative motion of the two galaxies, linked with the initial velocities and the density of the diffuse environment in which they move, affect the estimate of the time they need to merge and form ``Milkomeda''. After the galaxy merger, we follow the evolution of their two SMBHs up to their close pairing and fusion. Upon the fiducial set of parameters, we find that Milky Way and Andromeda will have their closest approach in the next 4.3 Gyr and merge over a span of 10 Gyr. Although the time of the first encounter is consistent with other predictions, we find that the merger occurs later than previously estimated. We also show that the two SMBHs will spiral in the inner region of Milkomeda and coalesce in less than 16.6 Myr after the merger of the two galaxies. Finally, we evaluate the gravitational-wave emission caused by the inspiral of the SMBHs, and we discuss the detectability of similar SMBH mergers in the nearby Universe ($z\leq 2$) through next-generation gravitational-wave detectors.


title: A High-dimensional Sparse Fourier Transform in the Continuous Setting

abstract: In this paper, we theoretically propose a new hashing scheme to establish the sparse Fourier transform in high-dimensional space. The estimation of the algorithm complexity shows that this sparse Fourier transform can overcome the curse of dimensionality. To the best of our knowledge, this is the first polynomial-time algorithm to recover the high-dimensional continuous frequencies.


title: Efficiently finding low-sum copies of spanning forests in zero-sum complete graphs via conditional expectation

abstract: For a fixed positive $\epsilon$, we show the existence of a constant $C_\epsilon$ with the following property: Given a $\pm1$-edge-labeling $c:E(K_n)\to \{ -1,1\}$ of the complete graph $K_n$ with $c(E(K_n))=0$, and a spanning forest $F$ of $K_n$ of maximum degree $\Delta$, one can determine in polynomial time an isomorphic copy $F'$ of $F$ in $K_n$ with $|c(E(F'))|\leq \left(\frac{3}{4}+\epsilon\right)\Delta+C_\epsilon.$ Our approach is based on the method of conditional expectation.


title: Singular Euler-Maclaurin expansion on multidimensional lattices

abstract: We extend the classical Euler-Maclaurin expansion to sums over multidimensional lattices that involve functions with algebraic singularities. This offers a tool for the precise quantification of the effect of microscopic discreteness on macroscopic properties of a system. First, the Euler-Maclaurin summation formula is generalised to lattices in higher dimensions, assuming a sufficiently regular summand function. We then develop this new expansion further and construct the singular Euler-Maclaurin (SEM) expansion in higher dimensions, an extension of our previous work in one dimension, which remains applicable and useful even if the summand function includes a singular function factor. We connect our method to analytical number theory and show that all operator coefficients can be efficiently computed from derivatives of the Epstein zeta function. Finally we demonstrate the numerical performance of the expansion and efficiently compute singular lattice sums in infinite two-dimensional lattices, which are of high relevance in solid state and quantum physics. An implementation in Mathematica is provided online along with this article.


title: Bivariate trinomials over finite fields

abstract: We study the number of points in the family of plane curves defined by a trinomial \[ \mathcal{C}(\alpha,\beta)= \{(x,y)\in\mathbb{F}_q^2\,:\,\alpha x^{a_{11}}y^{a_{12}}+\beta x^{a_{21}}y^{a_{22}}=x^{a_{31}}y^{a_{32}}\} \] with fixed exponents (not collinear) and varying coefficients over finite fields. We prove that each of these curves has an almost predictable number of points, given by a closed formula that depends on the coefficients, exponents, and the field, with a small error term $N(\alpha,\beta)$ that is bounded in absolute value by $2\tilde{g}q^{1/2}$, where $\tilde{g}$ is a constant that depends only on the exponents and the field. A formula for $\tilde{g}$ is provided, as well as a comparison of $\tilde{g}$ with the genus $g$ of the projective closure of the curve over $\overline{\mathbb{F}_q}$. We also give several linear and quadratic identities for the numbers $N(\alpha,\beta)$ that are strong enough to prove the estimate above, and in some cases, to characterize them completely.


title: On Number of Particles in Coalescing-Fragmentating Wasserstein Dynamics

abstract: We consider the system of sticky-reflected Brownian particles on the real line proposed in [arXiv:1711.03011]. The model is a modification of the Howitt-Warren flow but now the diffusion rate of particles is inversely proportional to the mass which they transfer. It is known that the system consists of a finite number of distinct particles for almost all times. In this paper, we show that the system also admits an infinite number of distinct particles on a dense subset of the time interval if and only if the function responsible for the splitting of particles takes an infinite number of values.


title: Radiative dark matter and neutrino masses from an alternative $U(1)_{B-L}$ gauge symmetry

abstract: We propose a model where the masses of the active neutrinos and a dark matter candidate are generated radiatively through the $U(1)_{B-L}$ gauge symmetry breaking. It is realized by a non-universal $U(1)_{B-L}$ charge assignment on the right handed neutrinos and one of them becomes DM. The dark matter mass becomes generally small compared with the typical mass of the Weak Interacting Massive Particles and we have milder constraints on the dark matter. We consider the case where the dark matter is produced through the freeze-in mechanism and show that the observed dark matter relic density can be realized consistently with the current experimental constraints on the neutrino masses and the lepton flavor structure.


title: Optical tomography diagnostic for study of neutral plasma component in the gas dynamic trap

abstract: The optical diagnostic observing D-alpha line emission along multiple chords in the boundary region close to the plasma absorber, is recently installed at the gas dynamic trap. The implemented pattern of viewing lines is suitable for a tomographic reconstruction of local emissivity profiles, although steps towards increasing the channel count and extending of angular plasma coverage must be taken. The optical registration system of a modular design uses avalanche photodiodes with wideband amplifiers for a large signal dynamic range and the effective time resolution of 1 mks. The iterative backward projection technique based on the maximum likelihood principle, demonstrates an acceptable computation accuracy. Images of plasma evolution in the cross section were obtained. Tools for the correlation analysis were also developed and first results of study of the plasma turbulence are presented.


title: Thermal properties of light mesons from holography

abstract: The thermal properties of light mesons, including the temperature dependence of their masses (both screening and pole masses) and thermal widths, are studied in a two-flavor ($N_f=2$) soft-wall AdS/QCD model. By solving the spatial correlation functions, we extract the screening masses ($m_{\rm{scr}}$) from their poles. The screening masses of pseudo-scalar ($\pi$) and axial-vector ($a_1$) mesons increase almost monotonously with the increase of temperature. The screening masses of scalar ($\sigma$) and vector ($\rho$) mesons decrease at low temperature and increase at high temperature. The pole masses ($m_{\rm{pole}}$) and the thermal widths ($\Gamma$) are extracted from the temporal correlation functions and the corresponding spectral functions. The results indicate that the pole masses have local minima at low temperature and increase at high temperature. The thermal widths increase rapidly above the chiral crossover temperature $T_{cp}$, indicating the dissociations of mesons at high temperature. Furthermore, the degeneration of the chiral partners ($\pi$ and $\sigma$, $\rho$ and $a_1$) above $T_{cp}$ is observed from the screening and pole masses, revealing the chiral symmetry restoration at the hadronic spectrum level. Finally, we numerically verify that the spectral functions in the temporal regime are strongly related to the quasi-normal modes with complex frequencies $\omega_0=m_{\rm{pole}}-i \Gamma/2$.


title: Are we observing a NSC in course of formation in the NGC 4654 galaxy?

abstract: We use direct $N$-body simulations to explore some possible scenarios for the future evolution of two massive clusters observed toward the center of NGC\,4654, a spiral galaxy with mass similar to that of the Milky Way. Using archival HST data, we obtain the photometric masses of the two clusters, $M=3\times 10^5$ M$_\odot$ and $M=1.7\times 10^6$ M$_\odot$, their half-light radii, $R_{\rm eff}\sim4$ pc and $R_{\rm eff} \sim 6$ pc, and their projected distances from the photometric center of the galaxy (both $<22$ pc). The knowledge of the structure and separation of these two clusters ($\sim 24$ pc) provides a unique view for studying the dynamics of a galactic central zone hosting massive clusters. Varying some of the unknown clusters orbital parameters, we carry out several $N$-body simulations showing that the future evolution of these clusters will inevitably result in their merger. We find that, mainly depending on the shape of their relative orbit, they will merge into the galactic center in less than 82 Myr. In addition to the tidal interaction, a proper consideration of the dynamical friction braking would shorten the merging times up to few Myr. We also investigate the possibility to form a massive NSC in the center of the galaxy by this process. Our analysis suggests that for low eccentricity orbits, and relatively long merger times, the final merged cluster is spherical in shape, with an effective radius of few parsecs and a mass within the effective radius of the order of $10^5\,\mathrm{M_{\odot}}$. Because the central density of such a cluster is higher than that of the host galaxy, it is likely that this merger remnant could be the likely embryo of a future NSC.


title: Crust-core interface and bulk neutron star properties

abstract: The nuclear symmetry energy plays an important role in the description of the properties of finite nuclei as well as neutron stars. Especially, for low values of baryon density, the accurate description of the crust-core interface strongly depends on the symmetry energy. Usually, the well known parabolic approximation is employed for the definition of the symmetry energy without avoiding some drawbacks. In the present paper, a class of nuclear models, suitable for the description of the inner and outer core of neutron stars, is applied in studying the effect of higher orders of the expansion of the energy on the location of the crust-core transition. The thermodynamical and dynamical methods are used for the determination of the transition density $n_{\rm t}$ and pressure $P_{\rm t}$. The corresponding energy density functional is applied for the study of some relevant properties of both nonrotating and slowly rotating neutron stars. We found that the larger the value of the slope parameter $L$, the slower the convergence of the expansion. In addition, a universal relation is presented between $n_{\rm t}$ and $L$, by employing the full expression and dynamical approach. The crustal moment of inertia is very sensitive to the location of the transition while the effects are moderated concerning the critical angular velocity of the $r$-mode instability and minimum mass configuration. The effect on the tidal deformability is less but not negligible. In any case, the use of the parabolic approximation leads to the overestimation of $n_{\rm t}$ and $P_{\rm t}$ and consequently, on inaccurate predictions. Moreover, in some cases, even the matching process at the interface may affect considerably the predictions, introducing errors of the same order with the one due to the employed method.


title: Higher Siegel theta lifts on Lorentzian lattices, harmonic Maass forms, and Eichler-Selberg type relations

abstract: We investigate so-called "higher" Siegel theta lifts on Lorentzian lattices in the spirit of Bruinier-Ehlen-Yang and Bruinier-Schwagenscheidt. We give a series representation of the lift in terms of Gauss hypergeometric functions, and evaluate the lift as the constant term of a Fourier series involving the Rankin-Cohen bracket of harmonic Maass forms and theta functions. Using the higher Siegel lifts, we obtain a vector-valued analogue of Mertens' result stating that the Rankin--Cohen bracket of the holomorphic part of a harmonic Maass form of weight $\frac{3}{2}$ and a unary theta function, plus a certain form, is a holomorphic modular form. As an application of these results, we offer a novel proof of a conjecture of Cohen which was originally proved by Mertens, as well as a novel proof of a theorem of Ahlgren and Kim, each in the scalar-valued case.


title: A Self-consistent Simulation of Proton Acceleration and Transport Near a High-speed Solar Wind Stream

abstract: Solar wind stream interaction regions (SIRs) are often characterized by energetic ion enhancements. The mechanisms accelerating these particles, as well as the locations where the acceleration occurs, remain debated. Here, we report the findings of a simulation of a SIR event observed by Parker Solar Probe at ~0.56 au and the Solar Terrestrial Relations Observatory-Ahead at ~0.95 au in 2019 September when both spacecraft were approximately radially aligned with the Sun. The simulation reproduces the solar wind configuration and the energetic particle enhancements observed by both spacecraft. Our results show that the energetic particles are produced at the compression waves associated with the SIR and that the suprathermal tail of the solar wind is a good candidate to provide the seed population for particle acceleration. The simulation confirms that the acceleration process does not require shock waves and can already commence within Earth's orbit, with an energy dependence on the precise location where particles are accelerated. The three-dimensional configuration of the solar wind streams strongly modulates the energetic particle distributions, illustrating the necessity of advanced models to understand these particle events.


title: Explainers in the Wild: Making Surrogate Explainers Robust to Distortions through Perception

abstract: Explaining the decisions of models is becoming pervasive in the image processing domain, whether it is by using post-hoc methods or by creating inherently interpretable models. While the widespread use of surrogate explainers is a welcome addition to inspect and understand black-box models, assessing the robustness and reliability of the explanations is key for their success. Additionally, whilst existing work in the explainability field proposes various strategies to address this problem, the challenges of working with data in the wild is often overlooked. For instance, in image classification, distortions to images can not only affect the predictions assigned by the model, but also the explanation. Given a clean and a distorted version of an image, even if the prediction probabilities are similar, the explanation may still be different. In this paper we propose a methodology to evaluate the effect of distortions in explanations by embedding perceptual distances that tailor the neighbourhoods used to training surrogate explainers. We also show that by operating in this way, we can make the explanations more robust to distortions. We generate explanations for images in the Imagenet-C dataset and demonstrate how using a perceptual distances in the surrogate explainer creates more coherent explanations for the distorted and reference images.


title: A Relational Tsetlin Machine with Applications to Natural Language Understanding

abstract: TMs are a pattern recognition approach that uses finite state machines for learning and propositional logic to represent patterns. In addition to being natively interpretable, they have provided competitive accuracy for various tasks. In this paper, we increase the computing power of TMs by proposing a first-order logic-based framework with Herbrand semantics. The resulting TM is relational and can take advantage of logical structures appearing in natural language, to learn rules that represent how actions and consequences are related in the real world. The outcome is a logic program of Horn clauses, bringing in a structured view of unstructured data. In closed-domain question-answering, the first-order representation produces 10x more compact KBs, along with an increase in answering accuracy from 94.83% to 99.48%. The approach is further robust towards erroneous, missing, and superfluous information, distilling the aspects of a text that are important for real-world understanding.


title: Two-dimensional topological order and operator algebras

abstract: We review recent interactions between mathematical theory of two-dimensional topological order and operator algebras, particularly the Jones theory of subfactors. The role of representation theory in terms of tensor categories is emphasized. Connections to 2-dimensional conformal field theory are also presented. In particular, we discuss anyon condensation, gapped domain walls and matrix product operators in terms of operator algebras.

categories: math-ph cond-mat.str-el math.MP math.OA math.QA


title: Single Harmonic-based Narrowband Magnetic Particle Imaging

abstract: Visualization of the in vivo spatial distribution of superparamagnetic iron oxide nanoparticles (SPIONs) is crucial to biomedicine. Magnetic particle imaging (MPI) is one of the most promising approaches for direct measurements of the SPION distribution. In this paper, we systematically investigate a single-harmonic-based narrowband MPI approach. Herein, only the 3rd harmonic at 15 kHz of the SPION signal induced in an excitation magnetic field of 5 kHz is measured via a narrowband detection system for imaging during scanning a field-free-point in a field of view. Experiments on spot and line phantoms are performed to evaluate the spatial distribution by the assessment of the full width at half maximum and modulation transfer function at different excitation magnetic fields from 4 to 10 mT. Experimental results demonstrate that reconstructed images have a spatial resolution of 1.6 and 1.5 mm for a gradient field of 2.2 T/m and 4.4 T/m in x- and z-direction, respectively, at an excitation magnetic field of 4 mT. In terms of line gap, two lines with a gap of 0.5 mm are resolved. With increasing the excitation magnetic field to 10 mT, the spatial resolution gets worse to 2.4 and 2.0 mm in x- and z-direction, respectively. Moreover, the custom-built MPI scanner allows a limit of detection of 53 microgram (Fe)/mL (500 ng Fe weight) using perimag SPIONs. In addition, the excellent performance is demonstrated by imaging experiments on an "emg" logo phantom. We believe that the proposed narrowband MPI approach is a promising approach for SPION imaging.


title: Learning Purified Feature Representations from Task-irrelevant Labels

abstract: Learning an empirically effective model with generalization using limited data is a challenging task for deep neural networks. In this paper, we propose a novel learning framework called PurifiedLearning to exploit task-irrelevant features extracted from task-irrelevant labels when training models on small-scale datasets. Particularly, we purify feature representations by using the expression of task-irrelevant information, thus facilitating the learning process of classification. Our work is built on solid theoretical analysis and extensive experiments, which demonstrate the effectiveness of PurifiedLearning. According to the theory we proved, PurifiedLearning is model-agnostic and doesn't have any restrictions on the model needed, so it can be combined with any existing deep neural networks with ease to achieve better performance. The source code of this paper will be available in the future for reproducibility.


title: Few Shot Learning for Information Verification

abstract: Information verification is quite a challenging task, this is because many times verifying a claim can require picking pieces of information from multiple pieces of evidence which can have a hierarchy of complex semantic relations. Previously a lot of researchers have mainly focused on simply concatenating multiple evidence sentences to accept or reject claims. These approaches are limited as evidence can contain hierarchical information and dependencies. In this research, we aim to verify facts based on evidence selected from a list of articles taken from Wikipedia. Pretrained language models such as XLNET are used to generate meaningful representations and graph-based attention and convolutions are used in such a way that the system requires little additional training to learn to verify facts.


title: Co-occurrences using Fasttext embeddings for word similarity tasks in Urdu

abstract: Urdu is a widely spoken language in South Asia. Though immoderate literature exists for the Urdu language still the data isn't enough to naturally process the language by NLP techniques. Very efficient language models exist for the English language, a high resource language, but Urdu and other under-resourced languages have been neglected for a long time. To create efficient language models for these languages we must have good word embedding models. For Urdu, we can only find word embeddings trained and developed using the skip-gram model. In this paper, we have built a corpus for Urdu by scraping and integrating data from various sources and compiled a vocabulary for the Urdu language. We also modify fasttext embeddings and N-Grams models to enable training them on our built corpus. We have used these trained embeddings for a word similarity task and compared the results with existing techniques.


title: Bilingual Language Modeling, A transfer learning technique for Roman Urdu

abstract: Pretrained language models are now of widespread use in Natural Language Processing. Despite their success, applying them to Low Resource languages is still a huge challenge. Although Multilingual models hold great promise, applying them to specific low-resource languages e.g. Roman Urdu can be excessive. In this paper, we show how the code-switching property of languages may be used to perform cross-lingual transfer learning from a corresponding high resource language. We also show how this transfer learning technique termed Bilingual Language Modeling can be used to produce better performing models for Roman Urdu. To enable training and experimentation, we also present a collection of novel corpora for Roman Urdu extracted from various sources and social networking sites, e.g. Twitter. We train Monolingual, Multilingual, and Bilingual models of Roman Urdu - the proposed bilingual model achieves 23% accuracy compared to the 2% and 11% of the monolingual and multilingual models respectively in the Masked Language Modeling (MLM) task.


title: Interplay between charge order and superconductivity in the kagome metal KV$_3$Sb$_5$

abstract: The kagome metal KV$_3$Sb$_5$ hosts charge order, topologically nontrivial Dirac band crossings, and a superconducting ground state with unconventional characteristics, providing an ideal platform to investigate the interplay between different electronic states on the kagome lattice. Here we study the evolution of charge order and superconductivity in KV$_3$Sb$_5$ under hydrostatic pressure using electrical resistivity measurements. With the application of pressure, the superconducting transition temperature $T_{\rm c}=0.9$ K under ambient pressure quickly increases to 3.1 K at $p=0.4$ GPa, as charge order progressively weakens. Upon further increasing pressure, signatures of charge order disappears at $p_{\rm c1}\approx0.5$ GPa and $T_{\rm c}$ is gradually suppressed, forming a superconducting dome that terminates at $p\approx10$ GPa. Beyond $p\approx10$ GPa, a second superconducting dome emerges with maximum $T_{\rm c}\approx1.0$ K at $p_{\rm c2}\approx22$ GPa, which becomes fully suppressed at $p\approx28$ GPa. The suppression of superconductivity for the second superconducting dome is associated with the appearance of a unique high-pressure phase , possibly a distinct charge order.


title: Return-Based Contrastive Representation Learning for Reinforcement Learning

abstract: Recently, various auxiliary tasks have been proposed to accelerate representation learning and improve sample efficiency in deep reinforcement learning (RL). However, existing auxiliary tasks do not take the characteristics of RL problems into consideration and are unsupervised. By leveraging returns, the most important feedback signals in RL, we propose a novel auxiliary task that forces the learnt representations to discriminate state-action pairs with different returns. Our auxiliary loss is theoretically justified to learn representations that capture the structure of a new form of state-action abstraction, under which state-action pairs with similar return distributions are aggregated together. In low data regime, our algorithm outperforms strong baselines on complex tasks in Atari games and DeepMind Control suite, and achieves even better performance when combined with existing auxiliary tasks.


title: Mutation Testing framework for Machine Learning

abstract: This is an article or technical note which is intended to provides an insight journey of Machine Learning Systems (MLS) testing, its evolution, current paradigm and future work. Machine Learning Models, used in critical applications such as healthcare industry, Automobile, and Air Traffic control, Share Trading etc., and failure of ML Model can lead to severe consequences in terms of loss of life or property. To remediate this, developers, scientists, and ML community around the world, must build a highly reliable test architecture for critical ML application. At the very foundation layer, any test model must satisfy the core testing attributes such as test properties and its components. This attribute comes from the software engineering, but the same cannot be applied in as-is form to the ML testing and we will tell you why.


title: Entities of Interest

abstract: In the era of big data, we continuously - and at times unknowingly - leave behind digital traces, by browsing, sharing, posting, liking, searching, watching, and listening to online content. When aggregated, these digital traces can provide powerful insights into the behavior, preferences, activities, and traits of people. While many have raised privacy concerns around the use of aggregated digital traces, it has undisputedly brought us many advances, from the search engines that learn from their users and enable our access to unforeseen amounts of data, knowledge, and information, to, e.g., the discovery of previously unknown adverse drug reactions from search engine logs. Whether in online services, journalism, digital forensics, law, or research, we increasingly set out to exploring large amounts of digital traces to discover new information. Consider for instance, the Enron scandal, Hillary Clinton's email controversy, or the Panama papers: cases that revolve around analyzing, searching, investigating, exploring, and turning upside down large amounts of digital traces to gain new insights, knowledge, and information. This discovery task is at its core about "finding evidence of activity in the real world." This dissertation revolves around discovery in digital traces, and sits at the intersection of Information Retrieval, Natural Language Processing, and applied Machine Learning. We propose computational methods that aim to support the exploration and sense-making process of large collections of digital traces. We focus on textual traces, e.g., emails and social media streams, and address two aspects that are central to discovery in digital traces.


title: Smart Contract Security: a Practitioners' Perspective

abstract: Smart contracts have been plagued by security incidents, which resulted in substantial financial losses. Given numerous research efforts in addressing the security issues of smart contracts, we wondered how software practitioners build security into smart contracts in practice. We performed a mixture of qualitative and quantitative studies with 13 interviewees and 156 survey respondents from 35 countries across six continents to understand practitioners' perceptions and practices on smart contract security. Our study uncovers practitioners' motivations and deterrents of smart contract security, as well as how security efforts and strategies fit into the development lifecycle. We also find that blockchain platforms have a statistically significant impact on practitioners' security perceptions and practices of smart contract development. Based on our findings, we highlight future research directions and provide recommendations for practitioners.


title: Adaptive Multi-View ICA: Estimation of noise levels for optimal inference

abstract: We consider a multi-view learning problem known as group independent component analysis (group ICA), where the goal is to recover shared independent sources from many views. The statistical modeling of this problem requires to take noise into account. When the model includes additive noise on the observations, the likelihood is intractable. By contrast, we propose Adaptive multiView ICA (AVICA), a noisy ICA model where each view is a linear mixture of shared independent sources with additive noise on the sources. In this setting, the likelihood has a tractable expression, which enables either direct optimization of the log-likelihood using a quasi-Newton method, or generalized EM. Importantly, we consider that the noise levels are also parameters that are learned from the data. This enables sources estimation with a closed-form Minimum Mean Squared Error (MMSE) estimator which weights each view according to its relative noise level. On synthetic data, AVICA yields better sources estimates than other group ICA methods thanks to its explicit MMSE estimator. On real magnetoencephalograpy (MEG) data, we provide evidence that the decomposition is less sensitive to sampling noise and that the noise variance estimates are biologically plausible. Lastly, on functional magnetic resonance imaging (fMRI) data, AVICA exhibits best performance in transferring information across views.


title: Cutting a triangle into equal triangles

abstract: We prove that almost every triangle can be dissected only into $n^2$ triangles which have to be equal one another. Moreover, such a dissection is unique for every $n$. It turns out that to solve this "simple" problem it is convenient to use some tools from linear algebra, calculus and measure theory.


title: Better Call the Plumber: Orchestrating Dynamic Information Extraction Pipelines

abstract: In the last decade, a large number of Knowledge Graph (KG) information extraction approaches were proposed. Albeit effective, these efforts are disjoint, and their collective strengths and weaknesses in effective KG information extraction (IE) have not been studied in the literature. We propose Plumber, the first framework that brings together the research community's disjoint IE efforts. The Plumber architecture comprises 33 reusable components for various KG information extraction subtasks, such as coreference resolution, entity linking, and relation extraction. Using these components,Plumber dynamically generates suitable information extraction pipelines and offers overall 264 distinct pipelines.We study the optimization problem of choosing suitable pipelines based on input sentences. To do so, we train a transformer-based classification model that extracts contextual embeddings from the input and finds an appropriate pipeline. We study the efficacy of Plumber for extracting the KG triples using standard datasets over two KGs: DBpedia, and Open Research Knowledge Graph (ORKG). Our results demonstrate the effectiveness of Plumber in dynamically generating KG information extraction pipelines,outperforming all baselines agnostics of the underlying KG. Furthermore,we provide an analysis of collective failure cases, study the similarities and synergies among integrated components, and discuss their limitations.


title: High T$_C$ ferromagnetic inverse Heusler alloys: A comparative study of Fe$_2$RhSi and Fe$_2$RhGe

abstract: We report the results of experimental investigations on structural, magnetic, resistivity, caloric properties of Fe$_2$RhZ (Z=Si,Ge) along with \textit{ab-initio} band structure calculations using first principle simulations. Both these alloys are found to crystallize in inverse Heusler structure but with disorder in tetrahedral sites between Fe and Rh. Fe$_2$RhSi has saturation moment of 5.00 $\mu_B$ and while its counterpart has 5.19 $\mu_B$. Resistivity measurement reveals metallic nature in both of them. Theoretical simulations using generalized gradient approximation(GGA) predict inverse Heusler structure with ferromagnetic ordering as ground state for both the alloys. However it underestimates the experimentally observed moments. GGA+$U$ approach, with Hubbard $U$ values estimated from density functional perturbation theory helps to improve the comparison of the experimental results. Fe$_2$RhSi is found to be half metallic ferromagnet while Fe$_2$RhGe is not. Varying $U$ values on Fe and Rh sites does not change the net moment much in Fe$_2$RhSi, unlike in Fe$_2$RhGe. Relatively small exchange splitting of orbitals in Fe$_2$RhGe compared to that of Fe$_2$RhSi is the reason for not opening the band gap in the minority spin channel in the former. High ordering temperature and moment make Fe$_2$RhSi useful for spintronics applications.


title: Toroidal extended affine Lie algebras and vertex algebras

abstract: In this paper, we study nullity-2 toroidal extended affine Lie algebras in the context of vertex algebras and their $\phi$-coordinated modules. Among the main results, we introduce a variant of toroidal extended affine Lie algebras, associate vertex algebras to the variant Lie algebras, and establish a canonical connection between modules for toroidal extended affine Lie algebras and $\phi$-coordinated modules for these vertex algebras. Furthermore, by employing some results of Billig, we obtain an explicit realization of irreducible modules for the variant Lie algebras.


title: Solid-phase silicon homoepitaxy via shear-induced amorphization and recrystallization

abstract: The development of epitaxy techniques for localized growth of crystalline silicon nanofilms and nanostructures has been crucial to recent advances in electronics and photonics. A precise definition of the crystal growth location, however, requires elaborate pre-epitaxy processes for substrate patterning. Our molecular dynamics simulations reveal that homoepitaxial silicon nanofilms can be directly deposited by a crystalline silicon tip rubbing against the substrate, thus enabling geometrically controlled crystal growth with no need for substrate pre-patterning. We name this solid-phase epitaxial growth triboepitaxy as it solely relies on shear-induced amorphization and recrystallization that occur even at low temperature at the sliding interface between two silicon crystals. The interplay between the two concomitant, shear-induced processes is responsible for the formation of an amorphous sliding interface with constant nanometric thickness. If the two elastically anisotropic crystals slide along different crystallographic orientations, the amorphous layer can move unidirectionally perpendicular to the sliding plane, causing the crystal with lowest elastic energy per atom to grow at the expenses of the other crystal. As triboepitaxial growth is governed by the shear elastic response of the two crystals along the sliding direction, it can be implemented as a mechanical scanning-probe lithography method in which epitaxial growth is controlled by tuning the crystallographic misorientation between tip and substrate, the tip's size or the normal force. These results suggest a radically new way to conceive nanofabrication techniques that are based on tribologically induced materials transformations.


title: Towards an extended/higher correspondence -- Generalised geometry, bundle gerbes and global Double Field Theory

abstract: In this short paper, we will review the proposal of a correspondence between the doubled geometry of Double Field Theory and the higher geometry of bundle gerbes. Double Field Theory is T-duality covariant formulation of the supergravity limit of String Theory, which generalises Kaluza-Klein theory by unifying metric and Kalb-Ramond field on a doubled-dimensional space. In light of the proposed correspondence, this doubled geometry is interpreted as an atlas description of the higher geometry of bundle gerbes. In this sense, Double Field Theory can be interpreted as a field theory living on the total space of the bundle gerbe, just like Kaluza-Klein theory is set on the total space of a principal bundle. This correspondence provides a higher geometric interpretation for para-Hermitian geometry which opens the door to its generalisation to the other Extended Field Theories. This review is based on, but not limited to, my talk at the workshop Generalized Geometry and Applications at Universit\"at Hamburg on 3rd of March 2020.


title: Agent-Based Campus Novel Coronavirus Infection and Control Simulation

abstract: Corona Virus Disease 2019 (COVID-19), due to its extremely high infectivity, has been spreading rapidly around the world and bringing huge influence to socioeconomic development as well as people's daily life. Taking for example the virus transmission that may occur after college students return to school, we analyze the quantitative influence of the key factors on the virus spread, including crowd density and self-protection. One Campus Virus Infection and Control Simulation model (CVICS) of the novel coronavirus is proposed in this paper, fully considering the characteristics of repeated contact and strong mobility of crowd in the closed environment. Specifically, we build an agent-based infection model, introduce the mean field theory to calculate the probability of virus transmission, and micro-simulate the daily prevalence of infection among individuals. The experimental results show that the proposed model in this paper efficiently simulate how the virus spread in the dense crowd in frequent contact under closed environment. Furthermore, preventive and control measures such as self-protection, crowd decentralization and isolation during the epidemic can effectively delay the arrival of infection peak and reduce the prevalence, and finally lower the risk of COVID-19 transmission after the students return to school.


title: Influence of the Fermi surface geometry on a Josephson effect between an iron-pnictide and conventional superconductors

abstract: We study Josephson junctions between a multi-band iron-pnictide Ba1-xNaxFe2As2 and conventional s-wave superconductors Nb and Cu/Nb bilayer. We observe that junctions with a Cu interlayer exhibit much larger IcRn, despite a weaker proximity-induced superconductivity. This counterintuitive result is attributed to the difference in Fermi surface geometries of Nb and Cu, which leads to a selective one-band tunneling from Cu and a non-selective multi-band tunnelng from Nb. The latter leads to a mutual cancellation of supercurrents due to the sign-reversal s+- symmetry of the order parameter in the pnictide. Our results indicate that Fermi surface geometries play a crucial role for pnictide-based junctions. This provides a new tool for phase sensitive studies and paves a way to a conscious engineering of such junctions.


title: Universal Structural Influence on the 2D Electron Gas at SrTiO$_3$ Surfaces

abstract: The two-dimensional electron gas found at the surface of SrTiO$_3$ and related interfaces has attracted significant attention as a promising basis for oxide electronics. In order to utilize its full potential, the response of this 2DEG to structural changes and surface modification must be understood in detail. Here, we present a study of the detailed electronic structure evolution of the 2DEG as a function of sample temperature and surface step density. By comparing our experimental results with \textit{ab initio} calculations, we found that a SrO-rich surface layer is a prerequisite for electronic confinement. We also show that local structure relaxations cause a metal-insulator transition of the system around 135~K. Our study presents a new and simple way of tuning the 2DEG via surface vicinality and identifies how the operation of prospective devices will respond to changes in temperature.


title: Localizability with Range-Difference Measurements

abstract: The physical position is crucial in location-aware services or protocols based on geographic information, where localization is performed given a set of sensor measurements for acquiring the position of an object with respect to a certain coordinate system. In this paper, we revisit the long-standing localization methods for locating a radiating source from range difference measurements, or equivalently, time-difference-of-arrival measurements from the perspective of least squares (LS). In particular, we focus on the spherical LS error model, where the error function is defined as the difference between the squared true distance from a signal receiver (sensor) to the source and its squared measured value, and the resulting spherical LS estimation problem. This problem has been known to be challenging due to the non-convex nature of the hyperbolic measurement model. First of all, we prove that the existence of least-square solutions is universal and that solutions are bounded under some assumption on the geometry of the sensor placement. Then a necessary and sufficient condition is presented for the solution characterization based on the method of Lagrange multipliers. Next, we derive a characterization for the uniqueness of the solutions incorporating a second-order optimality condition. The solution structures for some special cases are also established, contributing to insights on the effects of the Lagrangian multipliers on global solutions. These findings establish a comprehensive understanding of the localizability with range-difference measurements, which are also illustrated with numerical examples.


title: Anatomy of a gaussian giant: supercritical level-sets of the free field on random regular graphs

abstract: In this paper, we study the level-set of the zero-average Gaussian Free Field on a uniform random $d$-regular graph above an arbitrary level $h\in (-\infty, h_{\star})$, where $h_{\star}$ is the level-set percolation threshold of the GFF on the $d$-regular tree $\mathbb{T}_d$. We prove that w.h.p as the number $n$ of vertices diverges, the GFF has a unique giant connected component $\mathcal{C}_1^{(n)}$ of size $\eta(h) n+o(n)$, where $\eta(h)$ is the probability that the root percolates in the corresponding GFF level-set on $\mathbb{T}_d$. This gives a positive answer to the conjecture of \cite{ACregulgraphs} for most regular graphs. We also prove that the second largest component has size $\Theta(\log n)$. Moreover, we show that $\mathcal{C}_1^{(n)}$ shares the following similarities with the giant component of the supercritical Erd\H{o}s-R\'enyi random graph. First, the diameter and the typical distance between vertices are $\Theta(\log n)$. Second, the $2$-core and the kernel encompass a given positive proportion of the vertices. Third, the local structure is a branching process conditioned to survive, namely the level-set percolation cluster of the root in $\mathbb{T}_d$ (in the Erd\H{o}s-R\'enyi case, it is known to be a Galton-Watson tree with a Poisson distribution for the offspring).


title: High-Efficient ab initio Bayesian Active Learning Method and Applications in Prediction of Two-dimensional Functional Materials

abstract: Beyond the conventional trial-and-error method, machine learning offers a great opportunity to accelerate the discovery of functional materials, but still often suffers from difficulties such as limited materials data and unbalanced distribution of target property. Here, we propose the ab initio Bayesian active learning method that combines active learning and high-throughput ab initio calculations to accelerate prediction of desired functional materials with the ultrahigh efficiency and accuracy. We apply it as an instance to a large family (3,119) of two-dimensional hexagonal binary compounds with unbalanced materials property, and accurately screen out the materials with maximal electric polarization and proper photovoltaic band gaps, respectively, whereas the computational costs are significantly reduced by only calculating a few tenths of possible candidates in comparison to the random search. This approach shows enormous advantages for the cases with unbalanced distributions of target property. It can be readily applied to seek for a broad range of advanced materials.


title: Mott Insulator-like Bose-Einstein Condensation in a Tight-Binding System of Interacting Bosons with a Flat Band

abstract: We propose a new class of tight-binding systems of interacting bosons with a flat band, which are exactly solvable in the sense that one can explicitly write down the unique ground state. The ground state is expressed in terms of local creation operators, and apparently resembles that of a Mott insulator. Based on an exact representation in terms of a classical loop-gas model, we conjecture that the ground state may exhibit quasi Bose-Einstein condensation (BEC) or genuine BEC in dimensions two and three or higher, respectively, still keeping Mott insulator-like character. Our Monte Carlo simulation of the loop-gas model strongly supports this conjecture, i.e., the ground state undergoes a Kosterlitz-Thouless transition and exhibits quasi BEC in two dimensions.


title: Markov model with machine learning integration for fraud detection in health insurance

abstract: Fraud has led to a huge addition of expenses in health insurance sector in India. The work is aimed to provide methods applied to health insurance fraud detection. The work presents two approaches - a markov model and an improved markov model using gradient boosting method in health insurance claims. The dataset 382,587 claims of which 38,082 claims are fraudulent. The markov based model gave the accuracy of 94.07% with F1-score at 0.6683. However, the improved markov model performed much better in comparison with the accuracy of 97.10% and F1-score of 0.8546. It was observed that the improved markov model gave much lower false positives compared to markov model.


title: Towards Personalised and Document-level Machine Translation of Dialogue

abstract: State-of-the-art (SOTA) neural machine translation (NMT) systems translate texts at sentence level, ignoring context: intra-textual information, like the previous sentence, and extra-textual information, like the gender of the speaker. Because of that, some sentences are translated incorrectly. Personalised NMT (PersNMT) and document-level NMT (DocNMT) incorporate this information into the translation process. Both fields are relatively new and previous work within them is limited. Moreover, there are no readily available robust evaluation metrics for them, which makes it difficult to develop better systems, as well as track global progress and compare different methods. This thesis proposal focuses on PersNMT and DocNMT for the domain of dialogue extracted from TV subtitles in five languages: English, Brazilian Portuguese, German, French and Polish. Three main challenges are addressed: (1) incorporating extra-textual information directly into NMT systems; (2) improving the machine translation of cohesion devices; (3) reliable evaluation for PersNMT and DocNMT.


title: Detecting transition between Abelian and non-Abelian topological orders through symmetric tensor networks

abstract: We propose a unified scheme to identify phase transitions out of the $\mathbb{Z}_2$ Abelian topological order, including the transition to a non-Abelian chiral spin liquid. Using loop gas and and string gas states [H.-Y. Lee, R. Kaneko, T. Okubo, N. Kawashima, Phys. Rev. Lett. 123, 087203 (2019)] on the star lattice Kitaev model as an example, we compute the overlap of minimally entangled states through transfer matrices. We demonstrate that, similar to the anyon condensation, continuous deformation of a $\mathbb{Z}_2$-injective projected entangled-pair state (PEPS) also allows us to study the transition between Abelian and non-Abelian topological orders. We show that the charge and flux anyons defined in the Abelian phase transmute into the $\sigma$ anyon in the non-Abelian topological order. Furthermore, we show that contrary to the claim in [Phys. Rev. B 101, 035140 (2020)], both the LG and SG states have infinite correlation length in the non-Abelian regime, consistent with the no-go theorem that a chiral PEPS has a gapless parent Hamiltonian.


title: Anisotropic cosmological models in Horndeski gravity

abstract: It was found recently that the anisotropies in the homogeneous Bianchi I cosmology considered within the context of a specific Horndeski theory are damped near the initial singularity instead of being amplified. In this work we extend the analysis of this phenomenon to cover the whole of the Horndeski family. We find that the phenomenon is absent in the K-essence and/or Kinetic Gravity Braiding theories, where the anisotropies grow as one approaches the singularity. The anisotropies are damped at early times only in more general Horndeski models whose Lagrangian includes terms quadratic and cubic in second derivatives of the scalar field. Such theories are often considered as being inconsistent with the observations because they predict a non-constant speed of gravitational waves. However, the predicted value of the speed at present can be close to the speed of light with any required precision, hence the theories actually agree with the present time observations. We consider two different examples of such theories, both characterized by a late self-acceleration and an early inflation driven by the non-minimal coupling. Their anisotropies show a maximum at intermediate times and approach zero at early and late times. The early inflationary stage exhibits an instability with respect to inhomogeneous perturbations, suggesting that the initial state of the universe should be inhomogeneous. However, more general Horndeski models may probably be stable.


title: Efficient MPS methods for extracting spectral information on rings and cylinders

abstract: Based on the MPS formalism, we introduce an ansatz for capturing excited states in finite systems with open boundary conditions, providing a very efficient method for computing, e.g., the spectral gap of quantum spin chains. This method can be straightforwardly implemented on top of an existing DMRG or MPS ground-state code. Although this approach is built on open-boundary MPS, we also apply it to systems with periodic boundary conditions. Despite the explicit breaking of translation symmetry by the MPS representation, we show that momentum emerges as a good quantum number, and can be exploited for labeling excitations on top of MPS ground states. We apply our method to the critical Ising chain on a ring and the classical Potts model on a cylinder. Finally, we apply the same idea to compute excitation spectra for 2-D quantum systems on infinite cylinders. Again, despite the explicit breaking of translation symmetry in the periodic direction, we recover momentum as a good quantum number for labeling excitations. We apply this method to the 2-D transverse-field Ising model and the half-filled Hubbard model; for the latter, we obtain accurate results for, e.g., the hole dispersion for cylinder circumferences up to eight sites.


title: Particle integrator for particle-in-cell simulations of ultra-high intensity laser-plasma interactions

abstract: Particle-in-cell codes are the most widely used simulation tools for kinetic studies of ultra-intense laser-plasma interactions. Using the motion of a single electron in a plane electromagnetic wave as a benchmark problem, we show surprising deterioration of the numerical accuracy of the PIC algorithm with increasing normalized wave amplitude for typical time-step and grid sizes. Two significant sources of errors are identified: strong acceleration near stopping points and the temporal field interpolation. We propose adaptive electron sub-cycling coupled with a third order temporal interpolation of the magnetic field and electric field as an efficient remedy that dramatically improves the accuracy of the particle integrator.


title: Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)

abstract: This paper is a `spiritual child' of the 2005 lecture notes Kindergarten Quantum Mechanics, which showed how a simple, pictorial extension of Dirac notation allowed several quantum features to be easily expressed and derived, using language even a kindergartner can understand. Central to that approach was the use of pictures and pictorial transformation rules to understand and derive features of quantum theory and computation. However, this approach left many wondering `where's the beef?' In other words, was this new approach capable of producing new results, or was it simply an aesthetically pleasing way to restate stuff we already know? The aim of this sequel paper is to say `here's the beef!', and highlight some of the major results of the approach advocated in Kindergarten Quantum Mechanics, and how they are being applied to tackle practical problems on real quantum computers. We will focus mainly on what has become the Swiss army knife of the pictorial formalism: the ZX-calculus. First we look at some of the ideas behind the ZX-calculus, comparing and contrasting it with the usual quantum circuit formalism. We then survey results from the past 2 years falling into three categories: (1) completeness of the rules of the ZX-calculus, (2) state-of-the-art quantum circuit optimisation results in commercial and open-source quantum compilers relying on ZX, and (3) the use of ZX in translating real-world stuff like natural language into quantum circuits that can be run on today's (very limited) quantum hardware. We also take the title literally, and outline an ongoing experiment aiming to show that ZX-calculus enables children to do cutting-edge quantum computing stuff. If anything, this would truly confirm that `kindergarten quantum mechanics' wasn't just a joke.