title: Understanding Unnatural Questions Improves Reasoning over Text

abstract: Complex question answering (CQA) over raw text is a challenging task. A prominent approach to this task is based on the programmer-interpreter framework, where the programmer maps the question into a sequence of reasoning actions which is then executed on the raw text by the interpreter. Learning an effective CQA model requires large amounts of human-annotated data,consisting of the ground-truth sequence of reasoning actions, which is time-consuming and expensive to collect at scale. In this paper, we address the challenge of learning a high-quality programmer (parser) by projecting natural human-generated questions into unnatural machine-generated questions which are more convenient to parse. We firstly generate synthetic (question,action sequence) pairs by a data generator, and train a semantic parser that associates synthetic questions with their corresponding action sequences. To capture the diversity when applied tonatural questions, we learn a projection model to map natural questions into their most similar unnatural questions for which the parser can work well. Without any natural training data, our projection model provides high-quality action sequences for the CQA task. Experimental results show that the QA model trained exclusively with synthetic data generated by our method outperforms its state-of-the-art counterpart trained on human-labeled data.


title: On Properties and Optimization of Information-theoretic Privacy Watchdog

abstract: We study the problem of privacy preservation in data sharing, where $S$ is a sensitive variable to be protected and $X$ is a non-sensitive useful variable correlated with $S$. Variable $X$ is randomized into variable $Y$, which will be shared or released according to $p_{Y|X}(y|x)$. We measure privacy leakage by \emph{information privacy} (also known as \emph{log-lift} in the literature), which guarantees mutual information privacy and differential privacy (DP). Let $\Xepsc \subseteq \X$ contain elements n the alphabet of $X$ for which the absolute value of log-lift (abs-log-lift for short) is greater than a desired threshold $\eps$. When elements $x\in \Xepsc$ are randomized into $y\in \Y$, we derive the best upper bound on the abs-log-lift across the resultant pairs $(s,y)$. We then prove that this bound is achievable via an \emph{$X$-invariant} randomization $p(y|x) = R(y)$ for $x,y\in\Xepsc$. However, the utility measured by the mutual information $I(X;Y)$ is severely damaged in imposing a strict upper bound $\eps$ on the abs-log-lift. To remedy this and inspired by the probabilistic ($\eps$, $\delta$)-DP, we propose a relaxed ($\eps$, $\delta$)-log-lift framework. To achieve this relaxation, we introduce a greedy algorithm which exempts some elements in $\Xepsc$ from randomization, as long as their abs-log-lift is bounded by $\eps$ with probability $1-\delta$. Numerical results demonstrate efficacy of this algorithm in achieving a better privacy-utility tradeoff.


title: Introduction to the Pontryagin Maximum Principle for Quantum Optimal Control

abstract: Optimal Control Theory is a powerful mathematical tool, which has known a rapid development since the 1950s, mainly for engineering applications. More recently, it has become a widely used method to improve process performance in quantum technologies by means of highly efficient control of quantum dynamics. This tutorial aims at providing an introduction to key concepts of optimal control theory which is accessible to physicists and engineers working in quantum control or in related fields. The different mathematical results are introduced intuitively, before being rigorously stated. This tutorial describes modern aspects of optimal control theory, with a particular focus on the Pontryagin Maximum Principle, which is the main tool for determining open-loop control laws without experimental feedback. The different steps to solve an optimal control problem are discussed, before moving on to more advanced topics such as the existence of optimal solutions or the definition of the different types of extremals, namely normal, abnormal, and singular. The tutorial covers various quantum control issues and describes their mathematical formulation suitable for optimal control. The connection between the Pontryagin Maximum Principle and gradient-based optimization algorithms used for high-dimensional quantum systems is described. The optimal solution of different low-dimensional quantum systems is presented in detail, illustrating how the mathematical tools are applied in a practical way.


title: Effective separation of photogenerated electron-hole pairs by radial field facilitates ultrahigh photoresponse in single semiconductor nanowire photodetectors

abstract: We report an investigation on the observation of ultrahigh photoresponse (photogain, G_Pc>106) in single nanowire photodetectors of diameter < 100 nm. The investigation which is a combination of experimental observations and a theoretical analysis of the ultrahigh optical response of semiconductor nanowires, has been carried out with emphasis on Ge nanowires. Semiconductor nanowire photodetectors show a signature of photogating where G_Pc rolls-off with increasing illumination intensity. We show that surface band bending due to depleted surface layers in nanowires induces a strong radial field (~ 108 V/m at the nanowire surface) which causes physical separation of photogenerated electron-hole pairs. This was established quantitatively through a self-consistent theoretical model based on coupled Schrodinger and Poisson Equations. It shows that carrier separation slows down the surface recombination velocity to a low value (< 1 cm/s) thus reducing the carrier recombination rate and extending the recombination lifetime by few orders of magnitude. An important outcome of the model is the prediction of G_Pc ~ 106 in a single Ge nanowire (with diameter 60 nm), which matches well with our experimental observation. The model also shows an inverse dependence of G_Pc on the diameter that has been observed experimentally. Though carried out in context of Ge nanowires, the physical model developed has general applicability in other semiconductor nanowires as well.


title: Probabilistic selection of inducing points in sparse Gaussian processes

abstract: Sparse Gaussian processes and various extensions thereof are enabled through inducing points, that simultaneously bottleneck the predictive capacity and act as the main contributor towards model complexity. However, the number of inducing points is generally not associated with uncertainty which prevents us from applying the apparatus of Bayesian reasoning for identifying an appropriate trade-off. In this work we place a point process prior on the inducing points and approximate the associated posterior through stochastic variational inference. By letting the prior encourage a moderate number of inducing points, we enable the model to learn which and how many points to utilise. We experimentally show that fewer inducing points are preferred by the model as the points become less informative, and further demonstrate how the method can be employed in deep Gaussian processes and latent variable modelling.


title: The Lawson surfaces are determined by their symmetries and topology

abstract: We prove that a closed embedded minimal surface in the round three-sphere which satisfies the symmetries of a Lawson surface and has the same genus is congruent to the Lawson surface.


title: Effective technique of numerical investigation of systems with complicated geometry of a potential

abstract: We have developed the technique of a quantum wave impedance determination for the sequence of not only constant potentials but also for potentials of forms for which the solution of a Shr\"{o}dinger equation exists at least in terms of special functions. The method was applied for a deformed double-barrier system and as a result the dependence of a transmission probability $T$ on an energy $E$ of a particle at different parameters of this system was numerically calculated. Obtained results can be applied to the numerical investigation of a quantum mechanical systems with complicated geometry (spatial structure) of a potential.


title: Radial oscillations and tidal Love numbers of dark energy stars

abstract: We investigate the properties of relativistic stars made of dark energy. We model stellar structure assuming i) isotropic perfect fluid and ii) a dark energy inspired equation of state, the generalized equation of state of Chaplygin gas, as we will be calling it. The mass-to-radius profiles, the tidal Love numbers as well as the ten lowest radial oscillation modes are computed. Causality, stability and energy conditions are also discussed.

categories: gr-qc astro-ph.CO astro-ph.HE astro-ph.SR


title: Applications to A1-enumerative geometry of the A1-degree

abstract: These are lecture notes from the conference Arithmetic Topology at the Pacific Institute of Mathematical Sciences on applications of Morel's A1-degree to questions in enumerative geometry. Additionally, we give a new dynamic interpretation of the A1-Milnor number inspired by the first named author's enrichment of dynamic intersection numbers.


title: Fate of Quantum Anomalies for 1d lattice chiral fermion with a simple non-Hermitian Hamiltonian

abstract: It is generally believed that the 1+1D model for a single chiral fermion does not exist by itself alone on lattice. The obstruction to such a lattice realization is the failure to reproduce the quantum anomalies of a chiral fermion in continuum. The conventional way to escape is to associate the anomalous 1d system with a 2d bulk, which is in a topologically non-trivial state, as the boundary of the latter. In this paper, we propose a 1+1D chiral fermion model on 1d spatial lattice, {standing alone} -- without being associated with a 2d bulk -- with a simple {non-Hermitian} hopping Hamiltonian. We demonstrate, using various methods, that the model possesses the same chiral anomaly and gravitational anomaly as in continuum theory. Furthermore, with appropriate parameters, the low energy effective theory of the model remains a field theory for unitary chiral fermions. The essential reason for the success is that the usual "doubled" fermion mode with opposite chirality is rapidly damped out because of non-Hermicity of the Hamiltonian.


title: A data-driven P-spline smoother and the P-Spline-GARCH-models

abstract: Penalized spline smoothing of time series and its asymptotic properties are studied. A data-driven algorithm for selecting the smoothing parameter is developed. The proposal is applied to define a semiparametric extension of the well-known Spline-GARCH, called a P-Spline-GARCH, based on the log-data transformation of the squared returns. It is shown that now the errors process is exponentially strong mixing with finite moments of all orders. Asymptotic normality of the P-spline smoother in this context is proved. Practical relevance of the proposal is illustrated by data examples and simulation. The proposal is further applied to value at risk and expected shortfall.


title: Fractional integration with singularity on Light-cone, II

abstract: In this paper, we study a family of fractional integral operators whose kernel carrying a critical index has singularity on the light-cone in R^n+1.


title: Freetures: Localization in Signed Distance Function Maps

abstract: Localization of a robotic system within a previously mapped environment is important for reducing estimation drift and for reusing previously built maps. Existing techniques for geometry-based localization have focused on the description of local surface geometry, usually using pointclouds as the underlying representation. We propose a system for geometry-based localization that extracts features directly from an implicit surface representation: the Signed Distance Function (SDF). The SDF varies continuously through space, which allows the proposed system to extract and utilize features describing both surfaces and free-space. Through evaluations on public datasets, we demonstrate the flexibility of this approach, and show an increase in localization performance over state-of-the-art handcrafted surfaces-only descriptors. We achieve an average improvement of ~12% on an RGB-D dataset and ~18% on a LiDAR-based dataset. Finally, we demonstrate our system for localizing a LiDAR-equipped MAV within a previously built map of a search and rescue training ground.


title: Measuring Density Functional Parameters from Electron Diffraction Patterns

abstract: We have integrated density functional theory (DFT) into quantitative convergent-beam electron diffraction (QCBED) to create a synergy between experiment and theory called QCBED-DFT. This synergy resides entirely in the electron density which, in real materials, gives rise to the experimental CBED patterns used by QCBED-DFT to refine DFT model parameters. We used it to measure the Hubbard energy, U, for two strongly correlated electron systems, NiO and CeB6 (UNiO = 7.4 +/- 0.6 eV and UCeB6 = 3.0 +/- 0.6 eV), and the boron position parameter, x, for CeB6 (x = 0.1992 +/- 0.0003). In verifying our measurements, we demonstrate an accuracy test for any modelled electron density.


title: Radiative and chiral corrections to elastic lepton-proton scattering in chiral perturbation theory

abstract: A unified treatment of both chiral and radiative corrections to the low-energy elastic lepton-proton scattering processes is presented in Heavy Baryon Chiral Perturbations Theory. The proton hadronic chiral corrections include the next-to-next-to leading order corrections whereas the radiative corrections include the next-to-leading order terms in our novel power counting scheme. We find that the net fractional well-defined chiral corrections with respect to the leading order Born cross section can be as large as $10\%$ ($20\%$) for electron (muon) scattering process for MUon proton Scattering Experiment (MUSE) kinematics. We show {\it via} our model-independent treatment of the low-energy lepton-proton kinematics, that the largest theoretical uncertainty is due to the recent different published values of the proton's rms radius while, e.g., the next higher order hadronic chiral terms are expected to give rather nominal errors. For the radiative corrections we demonstrate a systematic order by order cancellation of all infrared singularities and present our finite ultraviolet regularization results. We find that the radiative corrections for muon-proton scattering is of the order of $2\%$, whereas for electron scattering the radiative corrections could be as large as $25\%$. We attribute such a contrasting result partially to the fact that in muon scattering the leading radiative order correction goes through zero in some intermediate low-momentum transfer region, leaving the sub-leading radiative chiral order effects to play a dominant role in this particular kinematic region. For the low-energy MUSE experiment, the often neglected lepton mass as well as the Pauli form factor contributions of the relativistic leptons are incorporated in all our computations.


title: The RELX Dataset and Matching the Multilingual Blanks for Cross-Lingual Relation Classification

abstract: Relation classification is one of the key topics in information extraction, which can be used to construct knowledge bases or to provide useful information for question answering. Current approaches for relation classification are mainly focused on the English language and require lots of training data with human annotations. Creating and annotating a large amount of training data for low-resource languages is impractical and expensive. To overcome this issue, we propose two cross-lingual relation classification models: a baseline model based on Multilingual BERT and a new multilingual pretraining setup, which significantly improves the baseline with distant supervision. For evaluation, we introduce a new public benchmark dataset for cross-lingual relation classification in English, French, German, Spanish, and Turkish, called RELX. We also provide the RELX-Distant dataset, which includes hundreds of thousands of sentences with relations from Wikipedia and Wikidata collected by distant supervision for these languages. Our code and data are available at: https://github.com/boun-tabi/RELX


title: Topological Phase Transitions of Superconducting Vortex Bound States Driven by Impurities

abstract: We show that standard impurities, magnetic or nonmagnetic, weak or strong, can cause topological phase transitions inside the vortex cores of a conventional s-wave superconductor. Because of the nonzero angular momentum of Cooper pairs in the vortex cores, the vortex bound states in a two dimensional superconductor are sensitive to impurities in a way similar to the Yu-Shiba-Rusinov bound states induced by magnetic impurities. In three dimensional cases, the vortex bound states can be driven into topologically nontrivial phases by an impurity chain inside the vortex core. The system can host Majorana modes including the Majorana zero modes localized at the end of the vortex line and the propagating Majorana modes along the vortex line. These results suggest that the superconducting vortex can be the simplest platform to realize Majorana modes.


title: Almost sure scattering for the nonlinear Klein-Gordon equations with Sobolev critical power

abstract: In this paper, we study the almost sure scattering for the Klein-Gordon equations with Sobolev critical power. We obtain the almost sure scattering with random initial data in $H^s \times H^{s-1}$; $11/12 < s < 1$ for $d = 4$, $15/16 < s < 1$ for $d = 5$. We use the induction on scales and bushes argument in [9] where the model equation is wave equation. For d = 5, we use the mass term of the Klein-Gordon equation to obtain the control of the increment of energy in the process of induction on scales.


title: Inner dusty regions of protoplanetary discs -- II. Dust dynamics driven by radiation pressure and disc winds

abstract: We explore dust flow in the hottest parts of protoplanetary discs using the forces of gravity, gas drag and radiation pressure. Our main focus is on the optically thin regions of dusty disc, where the dust is exposed to the most extreme heating conditions and dynamical perturbations: the surface of optically thick disc and the inner dust sublimation zone. We utilise results from two numerically strenuous fields of research. The first is the quasi-stationary solutions on gas velocity and density distributions from mangetohydrodynamical (MHD) simulations of accretion discs. This is critical for implementing a more realistic gas drag impact on dust movements. The second is the optical depth structure from a high-resolution dust radiation transfer. This step is critical for a better understanding of dust distribution within the disc. We describe a numerical method that incorporates these solutions into the dust dynamics equations. We use this to integrate dust trajectories under different disc wind models and show how grains end up trapped in flows that range from simple accretion onto the star to outflows into outer disc regions. We demonstrate how the radiation pressure force plays one of the key roles in this process and cannot be ignored. It erodes the dusty disc surface, reduces its height, resists dust accretion onto the star, and helps the disc wind in pushing grains outwards. The changes in grain size and porosity significantly affect the results, with smaller and porous grains being influenced more strongly by the disc wind and radiation pressure.


title: Essential Stationary Equilibria of Mean Field Games with Finite State and Action Space

abstract: Mean field games allow to describe tractable models of dynamic games with a continuum of players, explicit interaction and heterogeneous states. Thus, these models are of great interest for socio-economic applications. A particular class of these models are games with finite state and action space, for which recently in Neumann (2020a) a semi-explicit representation of all stationary equilibria has been obtained. In this paper we investigate whether these stationary equilibria are stable against model perturbations. We prove that the set of all games with only essential equilibria is residual and obtain two characterization results for essential stationary equilibria.


title: Learning Exponential Family Graphical Models with Latent Variables using Regularized Conditional Likelihood

abstract: Fitting a graphical model to a collection of random variables given sample observations is a challenging task if the observed variables are influenced by latent variables, which can induce significant confounding statistical dependencies among the observed variables. We present a new convex relaxation framework based on regularized conditional likelihood for latent-variable graphical modeling in which the conditional distribution of the observed variables conditioned on the latent variables is given by an exponential family graphical model. In comparison to previously proposed tractable methods that proceed by characterizing the marginal distribution of the observed variables, our approach is applicable in a broader range of settings as it does not require knowledge about the specific form of distribution of the latent variables and it can be specialized to yield tractable approaches to problems in which the observed data are not well-modeled as Gaussian. We demonstrate the utility and flexibility of our framework via a series of numerical experiments on synthetic as well as real data.


title: Evaluating the Safety of Deep Reinforcement Learning Models using Semi-Formal Verification

abstract: Groundbreaking successes have been achieved by Deep Reinforcement Learning (DRL) in solving practical decision-making problems. Robotics, in particular, can involve high-cost hardware and human interactions. Hence, scrupulous evaluations of trained models are required to avoid unsafe behaviours in the operational environment. However, designing metrics to measure the safety of a neural network is an open problem, since standard evaluation parameters (e.g., total reward) are not informative enough. In this paper, we present a semi-formal verification approach for decision-making tasks, based on interval analysis, that addresses the computational demanding of previous verification frameworks and design metrics to measure the safety of the models. Our method obtains comparable results over standard benchmarks with respect to formal verifiers, while drastically reducing the computation time. Moreover, our approach allows to efficiently evaluate safety properties for decision-making models in practical applications such as mapless navigation for mobile robots and trajectory generation for manipulators.


title: Learning Parameter Distributions to Detect Concept Drift in Data Streams

abstract: Data distributions in streaming environments are usually not stationary. In order to maintain a high predictive quality at all times, online learning models need to adapt to distributional changes, which are known as concept drift. The timely and robust identification of concept drift can be difficult, as we never have access to the true distribution of streaming data. In this work, we propose a novel framework for the detection of real concept drift, called ERICS. By treating the parameters of a predictive model as random variables, we show that concept drift corresponds to a change in the distribution of optimal parameters. To this end, we adopt common measures from information theory. The proposed framework is completely model-agnostic. By choosing an appropriate base model, ERICS is also capable to detect concept drift at the input level, which is a significant advantage over existing approaches. An evaluation on several synthetic and real-world data sets suggests that the proposed framework identifies concept drift more effectively and precisely than various existing works.


title: A steady stratified purely azimuthal flow representing the Antarctic Circumpolar Current

abstract: We construct an explicit steady stratified purely azimuthal flow for the governing equations of geophysical fluid dynamics. These equations are considered in a setting that applies to the Antarctic Circumpolar Current, accounting for eddy viscosity and forcing terms.


title: Causal Geometry

abstract: Information geometry has offered a way to formally study the efficacy of scientific models by quantifying the impact of model parameters on the predicted effects. However, there has been little formal investigation of causation in this framework, despite causal models being a fundamental part of science and explanation. Here we introduce causal geometry, which formalizes not only how outcomes are impacted by parameters, but also how the parameters of a model can be intervened upon. Therefore we introduce a geometric version of "effective information" -- a known measure of the informativeness of a causal relationship. We show that it is given by the matching between the space of effects and the space of interventions, in the form of their geometric congruence. Therefore, given a fixed intervention capability, an effective causal model is one that matches those interventions. This is a consequence of "causal emergence," wherein macroscopic causal relationships may carry more information than "fundamental" microscopic ones. We thus argue that a coarse-grained model may, paradoxically, be more informative than the microscopic one, especially when it better matches the scale of accessible interventions -- as we illustrate on toy examples.


title: Measuring breathing induced oesophageal motion and its dosimetric impact

abstract: Stereotactic body radiation therapy allows for a precise and accurate dose delivery. Organ motion during treatment bears the risk of undetected high dose healthy tissue exposure. An organ very susceptible to high dose is the oesophagus. Its low contrast on CT and the oblong shape renders motion estimation difficult. We tackle this issue by modern algorithms to measure the oesophageal motion voxel-wise and to estimate motion related dosimetric impact. Oesophageal motion was measured using deformable image registration and 4DCT of 11 internal and 5 public datasets. Current clinical practice of contouring the organ on 3DCT was compared to timely resolved 4DCT contours. The dosimetric impact of the motion was estimated by analysing the trajectory of each voxel in the 4D dose distribution. Finally an organ motion model was built, allowing for easier patient-wise comparisons. Motion analysis showed mean absolute maximal motion amplitudes of 4.55 +/- 1.81 mm left-right, 5.29 +/- 2.67 mm anterior-posterior and 10.78 +/- 5.30 mm superior-inferior. Motion between the cohorts differed significantly. In around 50 % of the cases the dosimetric passing criteria was violated. Contours created on 3DCT did not cover 14 % of the organ for 50 % of the respiratory cycle and the 3D contour is around 38 % smaller than the union of all 4D contours. The motion model revealed that the maximal motion is not limited to the lower part of the organ. Our results showed motion amplitudes higher than most reported values in the literature and that motion is very heterogeneous across patients. Therefore, individual motion information should be considered in contouring and planning.


title: Is entanglement a probe of confinement?

abstract: We study various entanglement measures in a one-parameter family of three-dimensional, strongly coupled Yang-Mills-Chern-Simons field theories by means of their dual supergravity descriptions. A generic field theory in this family possesses a mass gap but does not have a linear quark-antiquark potential. For the two limiting values of the parameter, the theories flow either to a fixed point or to a confining vacuum in the infrared. We show that entanglement measures are unable to discriminate confining theories from non-confining ones with a mass gap. This lends support on the idea that the phase transition of entanglement entropy at large-N can be caused just by the presence of a sizable scale in a theory and just by itself should not be taken as a signal of confinement. We also examine flows passing close to a fixed point at intermediate energy scales and find that the holographic entanglement entropy, the mutual information, and the F-functions for strips and disks quantitatively match the conformal values for a range of energies.


title: Locality Sensitive Hashing with Extended Differential Privacy

abstract: Extended differential privacy, a generalization of standard differential privacy (DP) using a general metric, has been widely studied to provide rigorous privacy guarantees while keeping high utility. However, existing works on extended DP are limited to few metrics, such as the Euclidean metric. Consequently, they have only a small number of applications, such as location-based services and document processing. In this paper, we propose a couple of mechanisms providing extended DP with a different metric: angular distance (or cosine distance). Our mechanisms are based on locality sensitive hashing (LSH), which can be applied to the angular distance and work well for personal data in a high-dimensional space. We theoretically analyze the privacy properties of our mechanisms, and prove extended DP for input data by taking into account that LSH preserves the original metric only approximately. We apply our mechanisms to friend matching based on high-dimensional personal data with angular distance in the local model, and evaluate our mechanisms using two real datasets. We show that LDP requires a very large privacy budget and that RAPPOR does not work in this application. Then we show that our mechanisms enable friend matching with high utility and rigorous privacy guarantees based on extended DP.


title: Knowledge Graph-based Question Answering with Electronic Health Records

abstract: Question Answering (QA) is a widely-used framework for developing and evaluating an intelligent machine. In this light, QA on Electronic Health Records (EHR), namely EHR QA, can work as a crucial milestone towards developing an intelligent agent in healthcare. EHR data are typically stored in a relational database, which can also be converted to a directed acyclic graph, allowing two approaches for EHR QA: Table-based QA and Knowledge Graph-based QA. We hypothesize that the graph-based approach is more suitable for EHR QA as graphs can represent relations between entities and values more naturally compared to tables, which essentially require JOIN operations. In this paper, we propose a graph-based EHR QA where natural language queries are converted to SPARQL instead of SQL. To validate our hypothesis, we create four EHR QA datasets (graph-based VS table-based, and simplified database schema VS original database schema), based on a table-based dataset MIMICSQL. We test both a simple Seq2Seq model and a state-of-the-art EHR QA model on all datasets where the graph-based datasets facilitated up to 34% higher accuracy than the table-based dataset without any modification to the model architectures. Finally, all datasets are open-sourced to encourage further EHR QA research in both directions.


title: Mass spectrum and strong decays of tetraquark $\bar c\bar s qq$ states

abstract: We systematically study the mass spectrum and strong decays of the S-wave $\bar c\bar s q q$ states in the compact tetraquark scenario with the quark model. The key ingredients of the model are the Coulomb, the linear confinement, and the hyperfine interactions. The hyperfine potential leads to the mixing between different color configurations, as well as the large mass splitting between the two ground states with $I(J^P)=0(0^+)$ and $I(J^P)=1(0^+)$. We calculate their strong decay amplitudes into the $\bar D^{(*)}K^{(*)}$ channels with the wave functions from the mass spectrum calculation and the quark interchange method. We examine the interpretation of the recently observed $X_0(2900)$ as a tetraquark state. The mass and decay width of the $I(J^P)=1(0^+)$ state are $M=2941$ MeV and $\Gamma_X=26.6$ MeV, respectively, which indicates that it might be a good candidate for the $X_0(2900)$. Meanwhile, we also obtain an isospin partner state $I(J^P)=0(0^+)$ with $M=2649$ MeV and $\Gamma_{X\rightarrow \bar D K}=48.1$ MeV, respectively. Future experimental search for $X(2649)$ will be very helpful.


title: Explicit and exact solutions concerning the Antarctic Circumpolar Current with variable density in spherical coordinates

abstract: We use spherical coordinates to devise a new exact solution to the governing equations of geophysical fluid dynamics for an inviscid and incompressible fluid with a general density distribution and subjected to forcing terms. The latter are of paramount importance for the modeling of realistic flows-that is, flows that are observed in some averaged sense in the ocean. Owing to the employment of spherical coordinates we do not need to resort to approximations (e.g. of $f$- and $\beta$-plane type) that simplify the geometry in the governing equations. Our explicit solution represents a steady purely-azimuthal stratified flow with a free surface, that---thanks to the inclusion of forcing terms and the consideration of the Earth's geometry via spherical coordinates---makes it suitable for describing the Antarctic Circumpolar Current and enables an in-depth analysis of the structure of this flow. In line with the latter aspect, we employ functional analytical techniques to prove that the free surface distortion is defined in a unique and implicit way by means of the pressure applied at the free surface. We conclude our discussion by setting out relations between the monotonicity of the surface pressure and the monotonicity of the surface distortion that concur with the physical expectations.


title: Search for Off-pulse emission in Long Period Pulsars

abstract: We have revisited the problem of off-pulse emission in pulsars, where detailed search for the presence of low level radio emission outside the pulse window is carried out. The presence of off-pulse emission was earlier reported in two long period pulsars, PSR B0525+21 and B2046-16 at frequencies below 1 GHz using the Giant Meterwave Radio Telescope (GMRT). However, subsequent studies did not detect off-pulse emission from these pulsars at higher radio frequencies (> 1 GHz). We have carefully inspected the analysis scheme used in the earlier detections and found an anomaly with data editing routines used, which resulted in leakage of signal from the on-pulse to the off-pulse region. We show that the earlier detections from PSR B0525+21 and B2046-16 were a result of this leakage. The above analysis scheme has been modified and offline-gating has been used to search for off-pulse emission in 21 long period pulsars (P > 1.2 sec) at different observing frequencies of GMRT. The presence of low level off-pulse emission of peak flux 0.5 mJy was detected in the brightest pulsar in this list PSR 0B0628-28, with off-pulse to average pulsar flux ratio of 0.25%. We suggest that coherent radio emission resulting due to cyclotron resonance near the light cylinder can be a possible source for the off-pulse emission in this pulsar.


title: Online network monitoring

abstract: The application of network analysis has found great success in a wide variety of disciplines; however, the popularity of these approaches has revealed the difficulty in handling networks whose complexity scales rapidly. One of the main interests in network analysis is the online detection of anomalous behaviour. To overcome the curse of dimensionality, we introduce a network surveillance method bringing together network modelling and statistical process control. Our approach is to apply multivariate control charts based on exponential smoothing and cumulative sums in order to monitor networks determined by temporal exponential random graph models (TERGM). This allows us to account for temporal dependence, while simultaneously reducing the number of parameters to be monitored. The performance of the proposed charts is evaluated by calculating the average run length for both simulated and real data. To prove the appropriateness of the TERGM to describe network data, some measures of goodness of fit are inspected. We demonstrate the effectiveness of the proposed approach by an empirical application, monitoring daily flights in the United States to detect anomalous patterns.


title: Use of a Local Local Oscillator for the Satellite-to-Earth Channel

abstract: Continuous variable quantum key distribution (CV-QKD) offers information-theoretic secure key sharing between two parties. The sharing of a phase reference frame is an essential requirement for coherent detection in CV-QKD. Due to the potential attacks related to transmitting the local oscillator (LO) alongside quantum signals, there has been a focus on using local LOs (LLOs) to establish a shared phase reference. In this work, we develop a new noise model of a current state-of-the-art LLO scheme in the context of the satellite-to-Earth channel. In doing this, we encapsulate detailed phase-screen calculations that determine the coherent efficiency - a critical parameter in free-space CV-QKD that characterizes the wavefront aberrations caused by atmospheric turbulence. Using our new noise model we then determine the CV-QKD key rates for the satellite-to-Earth channel, secure under general attacks in the finite-size regime of the LLO scheme. Our results are of practical importance for next-generation quantum-enabled satellites that utilize multi-photon technology as opposed to single-photon technology.


title: Equilibrium solution for cold dynamical systems and self-similarity

abstract: Numerical simulations demonstrate a link between dynamically cold initial solutions and an evolution towards self-similarity. However the nature of this link is not fully understood. In this work the link between cold initial conditions and self-similarity near equilibrium is established. The evolution towards self-similarity is analyzed using an analytical solution in a power-law potential. The analytical solution indicates a convergence towards self-similarity after a number of dynamical times even if the inital conditions are far from self-similarity. The power-law model is extended by using perturbative analysis. The perturbative analysis shows that once the power-law potential is initiated it tends to become stronger and propagate. This behavior demonstrates the mechanism behind the convergence towards auto-similarity. The cold solutions are compatible with a broad range of self-similar solutions. As a consequence some seed of a specific self similarity class must appear to induce a convergence mechanism. In practice some local induction of a power-law potential is necessary and some examples of such inductive mechanisms are given.


title: Onboard catalogue of known X-ray sources for SVOM/ECLAIRs

abstract: The SVOM mission under development will carry various instruments, and in particular the coded-mask telescope ECLAIRs, with a large field of view of about 2 sr, operating in the 4--150 keV energy band, whose goal is to detect high energy transients such as gamma-ray bursts. The trigger software onboard ECLAIRs will search for new hard X-ray sources appearing in the sky, as well as peculiar behaviour (e.g. strong outbursts) from known sources, in order to repoint the satellite to perform follow-up observations with its onboard narrow field of view instruments. The presence of known X-ray sources must be disentangled from the appearance of new sources. This is done with the help of an onboard source catalogue, which we present in this paper. As an input we use catalogues of X-ray sources detected by Swift/BAT and MAXI/GSC and we study the influence of the sources on ECLAIRs' background level and on the quality of the sky image reconstruction process. We show that the influence of the sources depends on the pointing direction on the sky, on the energy band and on the exposure time. In the Galactic centre, the known sources contribution largely dominates the cosmic X-ray background, which is, on the contrary, the main background in sky regions empty of strong sources. We also demonstrate the need to clean the sources contributions in order to maintain a low noise level in the sky images and to keep the threshold applied for the detection of new sources as low as possible, without introducing false triggers. We briefly describe one of our cleaning methods and its challenges. Finally, we present the overall structure of the onboard catalogue and the way it will be used to perform the source cleaning and disentangle the detections of new sources from outbursts of known sources.


title: Revisiting Modularized Multilingual NMT to Meet Industrial Demands

abstract: The complete sharing of parameters for multilingual translation (1-1) has been the mainstream approach in current research. However, degraded performance due to the capacity bottleneck and low maintainability hinders its extensive adoption in industries. In this study, we revisit the multilingual neural machine translation model that only share modules among the same languages (M2) as a practical alternative to 1-1 to satisfy industrial requirements. Through comprehensive experiments, we identify the benefits of multi-way training and demonstrate that the M2 can enjoy these benefits without suffering from the capacity bottleneck. Furthermore, the interlingual space of the M2 allows convenient modification of the model. By leveraging trained modules, we find that incrementally added modules exhibit better performance than singly trained models. The zero-shot performance of the added modules is even comparable to supervised models. Our findings suggest that the M2 can be a competent candidate for multilingual translation in industries.


title: Unsupervised Pretraining for Neural Machine Translation Using Elastic Weight Consolidation

abstract: This work presents our ongoing research of unsupervised pretraining in neural machine translation (NMT). In our method, we initialize the weights of the encoder and decoder with two language models that are trained with monolingual data and then fine-tune the model on parallel data using Elastic Weight Consolidation (EWC) to avoid forgetting of the original language modeling tasks. We compare the regularization by EWC with the previous work that focuses on regularization by language modeling objectives. The positive result is that using EWC with the decoder achieves BLEU scores similar to the previous work. However, the model converges 2-3 times faster and does not require the original unlabeled training data during the fine-tuning stage. In contrast, the regularization using EWC is less effective if the original and new tasks are not closely related. We show that initializing the bidirectional NMT encoder with a left-to-right language model and forcing the model to remember the original left-to-right language modeling task limits the learning capacity of the encoder for the whole bidirectional context.


title: Fabry-P\'erot resonant vortices and magnetoconductance in topological insulator constrictions with magnetic barriers

abstract: The edge states of two-dimensional time-reversal topological insulators support a perfect helical conductance on wide ribbons due to the absence of backscattering. Here, we study the changes in the transport properties of topological insulator nanoribbons by introducing a constriction along the ribbon. This setup allows the edge states to hybridize, leading to reflections at the ends of the constriction. We find that the electronic states running along one edge can be reflected back along the opposite edge multiple times, giving rise to Fabry-P\'erot resonant vortices within the constriction with well-defined conductance peaks. We show that magnetic barriers allow one to manipulate these peaks and obtain significant changes in the system spin-resolved magnetoconductance.


title: Linear differential-algebraic systems are generically controllable

abstract: In the present work we investigate topological properties of the set of controllable differential-algebraic systems of the form $\tfrac{\text{d}}{\text{d}t}Ex = Ax+Bu$ with real matrices $E,A\in\mathbb{R}^{\ell\times n}$ and $B\in\mathbb{R}^{\ell\times m}$. We consider the five controllability concepts free initializability (controllability at infinity), impulse controllability, controllability in the behavioural sense, complete controllability and strong controllability. To be able to make use of the already known algebraic characterizations of these concepts, we first consider block matrices whose entries are real polynomials in one indeterminant. We find necessary and sufficient conditions under which the set of such block matrices, whose rank is "full" in the field of rational functions or even on the whole complex plane, is generic. Using these results, we can then for each of the five controllability concepts mentioned above find necessary and sufficient conditions at $\ell,n$ and $m$, respectively, under which the set of controllable systems is generic.


title: Time-resolving the UV-initiated photodissociation dynamics of OCS

abstract: We present a time-resolved study of the photodissociation dynamics of OCS after UV-photoexcitation at $\lambda=237$ nm. OCS molecules ($X\,^1\Sigma^+$) were primarily excited to the $1\,^1\!A''$ and the $2\,^1\!A'$ Renner-Teller components of the $^1\Sigma^{-}$ and $^1\!\Delta$ states. Dissociation into CO and S fragments was observed through time-delayed strong-field ionisation and imaging of the kinetic energy of the resulting CO$^+$ and S$^+$ fragments by intense $790$ nm laser pulses. Surprisingly, fast oscillations with a period of $\sim100$ fs were observed in the S$^+$ channel of the UV dissociation. Based on wavepacket-dynamics simulations coupled with a simple electrostatic-interaction model, these oscillations do not correspond to the known highly-excited rotational motion of the leaving CO$(X\,^1\Sigma^+,J\gg0)$ fragments, which has a timescale of $\sim140$ fs. Instead, we suggest to assign the observed oscillations to the excitation of vibrational wavepackets in the $2\,^3\!A''$ or $2\,^1\!A''$ states of the molecule that predissociate to form S$(^3\!P_{J})$ photoproducts.


title: Interplay of mass imbalance and frustration in correlated band insulators

abstract: We report the emergence or broadening of exotic magnetic metallic phases upon explicit breaking of $SU(2)$ symmetry by introduction of mass imbalance in a variant of Hubbard model, known as the ionic Hubbard model in the presence of frustration at half-filling on a square lattice. The ionic Hubbard model has in addition to hopping($\sim t$) and onsite coulomb repulsion ($\sim U$), a staggered ionic potential ($\sim \Delta$) which breaks translational symmetry of the underlying lattice. In the low to intermediate ranges of $U$ and $\Delta$, we use unrestricted Hartree-Fock theory to construct the phase diagram in the $U-\Delta$ plane for a fixed mass imbalance($\sim\eta$). Where as in the limit where both $U,\Delta$ are comparable and much larger than the first $(\sim t_{\sigma})$ and second $(\sim t_{\sigma}')$ neighbor hopping amplitudes , we employ the technique of generalized Gutzwiller approximation and subsequently use renormalized mean field theory to construct the phase diagram for varying values of hopping asymmetry. In both cases, starting from a correlated band insulator with weak antiferromagnetic spin density wave order, if we tune $U/\Delta$, we observe the opening of novel magnetically ordered metallic phases such as spin imbalanced ferromagnetic metal, ferrimagnetic metal and antiferromagnetic half metal. We also study singlet superconductivity in the d-wave and extended s-wave channels in the strong coupling limit of this model in the presence of mass imbalance.


title: Intriguing Invariants of Centers of Ellipse-Inscribed Triangles

abstract: We describe invariants of centers of ellipse-inscribed triangle families with two vertices fixed to the ellipse boundary and a third one which sweeps it. We prove that: (i) if a triangle center is a fixed affine combination of barycenter and orthocenter, its locus is an ellipse; (ii) and that over the family of said affine combinations, the centers of said loci sweep a line; (iii) over the family of parallel fixed vertices, said loci rigidly translate along a second line. Additionally, we study invariants of the envelope of elliptic loci over combinations of two fixed vertices on the ellipse.


title: SD-DefSLAM: Semi-Direct Monocular SLAM for Deformable and Intracorporeal Scenes

abstract: Conventional SLAM techniques strongly rely on scene rigidity to solve data association, ignoring dynamic parts of the scene. In this work we present Semi-Direct DefSLAM (SD-DefSLAM), a novel monocular deformable SLAM method able to map highly deforming environments, built on top of DefSLAM. To robustly solve data association in challenging deforming scenes, SD-DefSLAM combines direct and indirect methods: an enhanced illumination-invariant Lucas-Kanade tracker for data association, geometric Bundle Adjustment for pose and deformable map estimation, and bag-of-words based on feature descriptors for camera relocation. Dynamic objects are detected and segmented-out using a CNN trained for the specific application domain. We thoroughly evaluate our system in two public datasets. The mandala dataset is a SLAM benchmark with increasingly aggressive deformations. The Hamlyn dataset contains intracorporeal sequences that pose serious real-life challenges beyond deformation like weak texture, specular reflections, surgical tools and occlusions. Our results show that SD-DefSLAM outperforms DefSLAM in point tracking, reconstruction accuracy and scale drift thanks to the improvement in all the data association steps, being the first system able to robustly perform SLAM inside the human body.


title: Virtual Secure Platform: A Five-Stage Pipeline Processor over TFHE

abstract: We present Virtual Secure Platform (VSP), the first comprehensive platform that implements a multi-opcode general-purpose sequential processor over Fully Homomorphic Encryption (FHE) for Secure Multi-Party Computation (SMPC). VSP protects both the data and functions on which the data are evaluated from the adversary in a secure computation offloading situation like cloud computing. We proposed a complete processor architecture with a five-stage pipeline, which improves the performance of the VSP by providing more parallelism in circuit evaluation. In addition, we also designed a custom Instruction Set Architecture (ISA) to reduce the gate count of our processor, along with an entire set of toolchains to ensure that arbitrary C programs can be compiled into our custom ISA. In order to speed up instruction evaluation over VSP, CMUX Memory based ROM and RAM constructions over FHE are also proposed. Our experiments show that both the pipelined architecture and the CMUX Memory technique are effective in improving the performance of the proposed processor. We provide an open-source implementation of VSP which achieves a per-instruction latency of less than 1 second. We demonstrate that compared to the best existing processor over FHE, our implementation runs nearly 1,600$\times$ faster.


title: Derivative non-linear Schr\"odinger equation: Singular manifold method and Lie symmetries

abstract: We present a generalized study and characterization of the integrability properties of the derivative non-linear Schr\"odinger equation in 1+1 dimensions. A Lax pair is derived for this equation by means of a Miura transformation and the singular manifold method. This procedure, together with the Darboux transformations, allow us to construct a wide class of rational soliton-like solutions. Lie classical symmetries have also been computed and similarity reductions have been analyzed and discussed.


title: Berezinskii-Kosterlitz-Thouless transitions in two-dimensional lattice SO($N_c$) gauge theories with two scalar flavors

abstract: We study the phase diagram and critical behavior of a two-dimensional lattice SO($N_c$) gauge theory ($N_c \ge 3$) with two scalar flavors, obtained by partially gauging a maximally O($2N_c$) symmetric scalar model. The model is invariant under local SO($N_c$) and global O(2) transformations. We show that, for any $N_c \ge 3$, it undergoes finite-temperature Berezinskii-Kosterlitz-Thouless (BKT) transitions, associated with the global Abelian O(2) symmetry. The transition separates a high-temperature disordered phase from a low-temperature spin-wave phase where correlations decay algebraically (quasi-long range order). The critical properties at the finite-temperature BKT transition and in the low-temperature spin-wave phase are determined by means of a finite-size scaling analysis of Monte Carlo data.


title: Image Captioning with Visual Object Representations Grounded in the Textual Modality

abstract: We present our work in progress exploring the possibilities of a shared embedding space between textual and visual modality. Leveraging the textual nature of object detection labels and the hypothetical expressiveness of extracted visual object representations, we propose an approach opposite to the current trend, grounding of the representations in the word embedding space of the captioning system instead of grounding words or sentences in their associated images. Based on the previous work, we apply additional grounding losses to the image captioning training objective aiming to force visual object representations to create more heterogeneous clusters based on their class label and copy a semantic structure of the word embedding space. In addition, we provide an analysis of the learned object vector space projection and its impact on the IC system performance. With only slight change in performance, grounded models reach the stopping criterion during training faster than the unconstrained model, needing about two to three times less training updates. Additionally, an improvement in structural correlation between the word embeddings and both original and projected object vectors suggests that the grounding is actually mutual.


title: Comprehensive evaluation of no-reference image quality assessment algorithms on KADID-10k database

abstract: The main goal of objective image quality assessment is to devise computational, mathematical models which are able to predict perceptual image quality consistently with subjective evaluations. The evaluation of objective image quality assessment algorithms is based on experiments conducted on publicly available benchmark databases. In this study, our goal is to give a comprehensive evaluation about no-reference image quality assessment algorithms, whose original source codes are available online, using the recently published KADID-10k database which is one of the largest available benchmark databases. Specifically, average PLCC, SROCC, and KROCC are reported which were measured over 100 random train-test splits. Furthermore, the database was divided into a train (appx. 80\% of images) and a test set (appx. 20% of images) with respect to the reference images. So no semantic content overlap was between these two sets. Our evaluation results may be helpful to obtain a clear understanding about the status of state-of-the-art no-reference image quality assessment methods.


title: Coherent beam combining with micro-lens arrays

abstract: A novel concept for coherent beam combining is presented based on a simple setup with microlens arrays. These standard components are used in a proof-of-principle experiment for both coherent beam splitting and combination of 5 x 5 beams. Here a combination efficiency above 90% is achieved. We call this novel concept mixed aperture.


title: Algorithmic Stability and Generalization of an Unsupervised Feature Selection Algorithm

abstract: Feature selection, as a vital dimension reduction technique, reduces data dimension by identifying an essential subset of input features, which can facilitate interpretable insights into learning and inference processes. Algorithmic stability is a key characteristic of an algorithm regarding its sensitivity to perturbations of input samples. In this paper, we propose an innovative unsupervised feature selection algorithm attaining this stability with provable guarantees. The architecture of our algorithm consists of a feature scorer and a feature selector. The scorer trains a neural network (NN) to globally score all the features, and the selector adopts a dependent sub-NN to locally evaluate the representation abilities for selecting features. Further, we present algorithmic stability analysis and show that our algorithm has a performance guarantee via a generalization error bound. Extensive experimental results on real-world datasets demonstrate superior generalization performance of our proposed algorithm to strong baseline methods. Also, the properties revealed by our theoretical analysis and the stability of our algorithm-selected features are empirically confirmed.


title: High-order soliton matrix for an extended nonlinear Schr\"{o}dinger equation

abstract: The extended nonlinear Schr\"{o}dinger (ENLS) equation with third-order term and fourth-order term which describes the wave propagation in the optical fibers is more accurate than the NLS equation. A study of high-order soliton matrix is presented for an ENLS equation in the framework of the Riemann-Hilbert problem (RHP). Through a standard dressing procedure and the generalized Darboux transformation (gDT), soliton matrix for simple zeros and elementary high-order zeros in the RHP for the ENLS equation are constructed. Then the N-soliton solutions and high-order soliton solutions for the ENLS equation can be determined. Moreover, collision dynamics along with the asymptotic behavior for the two-solitons and long-time asymptotic estimations for the high-order one-soliton are concretely analyzed. For the given spectral parameters, we can control the propagation direction, velocity, width and other physical quantities of solitons by adjusting the free parameters of ENLS equation.


title: Mathematical Modeling of Japanese Encephalitis Under Aquatic Environmental Effects

abstract: We propose a mathematical model for the spread of Japanese encephalitis, with emphasis on environmental effects on the aquatic phase of mosquitoes. The model is shown to be biologically well-posed and to have a biologically and ecologically meaningful disease free equilibrium point. Local stability is analyzed in terms of the basic reproduction number and numerical simulations presented and discussed.


title: Mean curvature motion of point cloud varifolds

abstract: This paper investigates a discretization scheme for mean curvature motion on point cloud varifolds with particular emphasis on singular evolutions. To define the varifold a local covariance analysis is applied to compute an approximate tangent plane for the points in the cloud. The core ingredient of the mean curvature motion model is the regularization of the first variation of the varifold via convolution with kernels with small stencil. Consistency with the evolution velocity for a smooth surface is proven if a sufficiently small stencil and a regular sampling are taking into account. Furthermore, an implicit and a semiimplicit time discretization are derived. The implicit scheme comes with discrete barrier properties known for the smooth, continuous evolution, whereas the semiimplicit still ensures in all our numerical experiments very good approximation properties while being easy to implement. It is shown that the proposed method is robust with respect to noise and recovers the evolution of smooth curves as well as the formation of singularities such as triple points in 2D or minimal cones in 3D.


title: Hidden spin-isospin exchange symmetry

abstract: The strong interactions among nucleons have an approximate spin-isospin exchange symmetry that arises from the properties of quantum chromodynamics in the limit of many colors, $N_c$. However this large-$N_c$ symmetry is well hidden and reveals itself only when averaging over intrinsic spin orientations. Furthermore, the symmetry is obscured unless the momentum resolution scale is close to an optimal scale that we call $\Lambda_{{\rm large-}N_c}$. We show that the large-$N_c$ derivation requires a momentum resolution scale of $\Lambda_{{\rm large-}N_c} \sim 500$ MeV. We derive a set of spin-isospin exchange sum rules and discuss implications for the spectrum of $^{30}$P and applications to nuclear forces, nuclear structure calculations, and three-nucleon interactions.


title: On the design of a Fog computing-based, driving behaviour monitoring framework

abstract: Recent technological improvements in vehicle manufacturing may greatly improve safety however, the individuals' driving behaviour still remains a factor of paramount importance with aggressiveness, lack of focus and carelessness being the main cause of the majority of traffic incidents. The imminent deployment of 5G networking infrastructure, paired with the advent of Fog computing and the establishment of the Internet of Things (IoT) as a reliable and cost-effective service delivery framework may provide the means for the deployment of an accurate driving monitoring solution which could be utilized to further understand the underlying reasons of peculiar road behaviour, as well as its correlation to the driver's physiological state, the vehicle condition and certain environmental parameters. This paper presents some of the fundamental attributes of Fog computing along with the functional requirements of a driving behaviour monitoring framework, followed by its high level architecture blueprint and the description of the prototype implementation process.


title: Enhancing an eco-driving gamification platform through wearable and vehicle sensor data integration

abstract: As road transportation has been identified as a major contributor of environmental pollution, motivating individuals to adopt a more eco-friendly driving style could have a substantial ecological as well as financial benefit. With gamification being an effective tool towards guiding targeted behavioural changes, the development of realistic frameworks delivering a high end user experience, becomes a topic of active research. This paper presents a series of enhancements introduced to an eco-driving gamification platform by the integration of additional wearable and vehicle-oriented sensing data sources, leading to a much more realistic evaluation of the context of a driving session.


title: Simple method for mid-infrared optical frequency comb generation with dynamic offset frequency tuning

abstract: We present a simple method for fully-stabilized mid-infrared optical frequency comb generation based on single-pass femtosecond optical parametric generation that is seeded by a continuous-wave laser. We have implemented the method in a periodically poled lithium niobate crystal that produces a frequency comb tunable across 3325 - 4000 nm (2380 - 3030 cm-1). The method generates the mid-infrared (idler) comb with known and stabilized Carrier-Envelope Offset (CEO) frequency without the need to directly detect it. The idler CEO is continuously tunable for almost half of the repetition rate and can be modulated, while maintaining its central frequency. Together with the high output power (up to 700 mW) and low intensity noise (0.018% integrated in 10 Hz - 2 MHz bandwidth) this makes the demonstrated mid-infrared frequency comb promising for many applications such as high-precision molecular spectroscopy, frequency metrology and high harmonic generation.


title: Interlayer Hebbian Plasticity Induces First-Order Transition in Multiplex Networks

abstract: Adaptation plays a pivotal role in the evolution of natural and artificial complex systems, and in the determination of their functionality. Here, we investigate the impact of adaptive inter-layer processes on intra-layer synchronization in multiplex networks. The considered adaptation mechanism is governed by a Hebbian learning rule, i.e., the link weight between a pair of interconnected nodes is enhanced if the two nodes are in phase. Such adaptive coupling induces an irreversible first-order transition route to synchronization accompanied with a hysteresis. We provide rigorous analytic predictions of the critical coupling strengths for the onset of synchronization and de-synchronization, and verify all our theoretical predictions by means of extensive numerical simulations.


title: Synthesizing the Unseen for Zero-shot Object Detection

abstract: The existing zero-shot detection approaches project visual features to the semantic domain for seen objects, hoping to map unseen objects to their corresponding semantics during inference. However, since the unseen objects are never visualized during training, the detection model is skewed towards seen content, thereby labeling unseen as background or a seen class. In this work, we propose to synthesize visual features for unseen classes, so that the model learns both seen and unseen objects in the visual domain. Consequently, the major challenge becomes, how to accurately synthesize unseen objects merely using their class semantics? Towards this ambitious goal, we propose a novel generative model that uses class-semantics to not only generate the features but also to discriminatively separate them. Further, using a unified model, we ensure the synthesized features have high diversity that represents the intra-class differences and variable localization precision in the detected bounding boxes. We test our approach on three object detection benchmarks, PASCAL VOC, MSCOCO, and ILSVRC detection, under both conventional and generalized settings, showing impressive gains over the state-of-the-art methods. Our codes are available at https://github.com/nasir6/zero_shot_detection.


title: LANNS: A Web-Scale Approximate Nearest Neighbor Lookup System

abstract: Nearest neighbor search (NNS) has a wide range of applications in information retrieval, computer vision, machine learning, databases, and other areas. Existing state-of-the-art algorithm for nearest neighbor search, Hierarchical Navigable Small World Networks(HNSW), is unable to scale to large datasets of 100M records in high dimensions. In this paper, we propose LANNS, an end-to-end platform for Approximate Nearest Neighbor Search, which scales for web-scale datasets. Library for Large Scale Approximate Nearest Neighbor Search (LANNS) is deployed in multiple production systems for identifying topK ($100 \leq topK \leq 200$) approximate nearest neighbors with a latency of a few milliseconds per query, high throughput of 2.5k Queries Per Second (QPS) on a single node, on large ($\sim$180M data points) high dimensional (50-2048 dimensional) datasets.


title: A Privacy-Preserving Data Inference Framework for Internet of Health Things Networks

abstract: Privacy protection in electronic healthcare applications is an important consideration due to the sensitive nature of personal health data. Internet of Health Things (IoHT) networks have privacy requirements within a healthcare setting. However, these networks have unique challenges and security requirements (integrity, authentication, privacy and availability) must also be balanced with the need to maintain efficiency in order to conserve battery power, which can be a significant limitation in IoHT devices and networks. Data are usually transferred without undergoing filtering or optimization, and this traffic can overload sensors and cause rapid battery consumption when interacting with IoHT networks. This consequently poses restrictions on the practical implementation of these devices. As a solution to address the issues, this paper proposes a privacy-preserving two-tier data inference framework, this can conserve battery consumption by reducing the data size required to transmit through inferring the sensed data and can also protect the sensitive data from leakage to adversaries. Results from experimental evaluations on privacy show the validity of the proposed scheme as well as significant data savings without compromising the accuracy of the data transmission, which contributes to energy efficiency of IoHT sensor devices.


title: Novodvorskii's theorem and the Oka principle

abstract: We give an exposition of Novodvorskii's theorem in Banach algebra K-theory, asserting that the Gelfand transform for a commutative Banach algebra induces an isomorphism in topological K-theory.


title: Neural Additive Vector Autoregression Models for Causal Discovery in Time Series

abstract: Causal structure discovery in complex dynamical systems is an important challenge for many scientific domains. Although data from (interventional) experiments is usually limited, large amounts of observational time series data sets are usually available. Current methods that learn causal structure from time series often assume linear relationships. Hence, they may fail in realistic settings that contain nonlinear relations between the variables. We propose Neural Additive Vector Autoregression (NAVAR) models, a neural approach to causal structure learning that can discover nonlinear relationships. We train deep neural networks that extract the (additive) Granger causal influences from the time evolution in multi-variate time series. The method achieves state-of-the-art results on various benchmark data sets for causal discovery, while providing clear interpretations of the mapped causal relations.


title: Fractal Autoencoders for Feature Selection

abstract: Feature selection reduces the dimensionality of data by identifying a subset of the most informative features. In this paper, we propose an innovative framework for unsupervised feature selection, called fractal autoencoders (FAE). It trains a neural network to pinpoint informative features for global exploring of representability and for local excavating of diversity. Architecturally, FAE extends autoencoders by adding a one-to-one scoring layer and a small sub-neural network for feature selection in an unsupervised fashion. With such a concise architecture, FAE achieves state-of-the-art performances; extensive experimental results on fourteen datasets, including very high-dimensional data, have demonstrated the superiority of FAE over existing contemporary methods for unsupervised feature selection. In particular, FAE exhibits substantial advantages on gene expression data exploration, reducing measurement cost by about $15$\% over the widely used L1000 landmark genes. Further, we show that the FAE framework is easily extensible with an application.


title: Evolution of spheroidal dust in electrically active sub-stellar atmospheres

abstract: Understanding the source of sub-stellar polarimetric observations in the optical and near-infrared is key to characterizing sub-stellar objects and developing potential diagnostics for determining properties of their atmospheres. Differential scattering from a population of aligned, non-spherical dust grains is a potential source of polarization that could be used to determine geometric properties of the dust clouds. This paper addresses the problem of the spheroidal growth of dust grains in electrically activated sub-stellar atmospheres. It presents the novel application of a mechanism whereby non-spherical, elongated dust grains can be grown via plasma deposition as a consequence of the surface electric field effects of charged dust grains. We numerically solve the differential equations governing the spheroidal growth of charged dust grains via plasma deposition as a result of surface electric field effects in order to determine how the dust eccentricity and the dust particle eccentricity distribution function evolve with time. From these results, we determine the effect of spheroidal dust on the observed linear polarization. Numerical solutions show that $e\approx 0.94$ defines a watershed eccentricity, where the eccentricity of grains with an initial eccentricity less than (greater than) this value decreases (increases) and spherical (spheroidal) growth occurs. This produces a characteristic bimodal eccentricity distribution function yielding a fractional change in the observed linear polarization of up to $\approx0.1$ corresponding to dust grains of maximal eccentricity at wavelengths of $\approx1 \mu$m, consistent with the near infrared observational window. The results presented here are relevant to the growth of non-spherical, irregularly shaped dust grains of general geometry where non-uniform surface electric field effects of charged dust grains are significant.


title: On the Starspot Centroid Estimation and Calibration Technologies for the Super-high Accuracy Star Tracker

abstract: A pointing accuracy better than 1"(3sigma) star tracker plays a significant role for the advanced scientific missions. This thesis makes a series of studies on the typical error sources associated with the positioning and calibration processes, such as the centroiding algorithm, detector noise, motion, focal length drift, variation of the center wavelength of stellar spectrum, the model error, etc., some works of which are listed as follows: IWCOG algorithm is studied for the characteristics of both the accuracy and efficiency. Using Cramer-Rao Lower Bound theorem,centified to have an approximate optimum property for signal with Possion noise and the optimum feature in case of Gaussian noise. In order to enhance the dynamic performance, the generallized dynamic compensation formula is derived to compensate out the error from motion. decoupling of three technical indicators including dynamic performance, pointing accuracy and attitude output rate. To solve the problems exhibited in the in-orbit correction procedure, a brilliant idea, known as the CRLB constraint method, is presented to minimize some small error sources. To fulfill this goal, the full CRLB constaint formulas are derived to build a budget to limit the in-flight parameters. Using this method the overall error are obtained, which in turn results in three significant inferences. The attitude determination process is further optimized, by giving different weights to each star according to their magnitudes and the position over different star field, the QUEST algorithm is thus upgraded. The results show that this method can improve the attitude measurement accuracy statistically by 10-20%. The theory and deductions can be directly applied to various types of star trackers, whether it is a super-high accuracy one, or a high dynamic one.


title: Spherical-harmonic tensors

abstract: The connection between spherical harmonics and symmetric tensors is explored. For each spherical harmonic, a corresponding traceless symmetric tensor is constructed. These tensors are then extended to include nonzero traces, providing an orthonormal angular-momentum eigenbasis for symmetric tensors of any rank. The relationship between the spherical-harmonic tensors and spin-weighted spherical harmonics is derived. The results facilitate the spherical-harmonic expansion of a large class of tensor-valued functions. Several simple illustrative examples are discussed, and the formalism is used to derive the leading-order effects of violations of Lorentz invariance in Newtonian gravity.


title: How useful are formal hierarchies? A case study on averaging dislocation dynamics to define meso-macro plasticity

abstract: A formal hierarchy of exact evolution equations are derived for physically relevant space-time averages of state functions of microscopic dislocation dynamics. While such hierarchies are undoubtedly of some value, a primary goal here is to expose the intractable complexity of such systems of nonlinear partial differential equations that, furthermore, remain `non-closed' and therefore subject to phenomenological assumptions to be useful. It is instead suggested that such hierarchies be terminated at the earliest stage possible and effort be expended to derive closure relations for the `non-closed' terms that arise from the formal averaging by taking into account the full-stress-coupled microscopic dislocation dynamics, a matter on which these formal hierarchies, whether of kinetic theory type or as pursued here, are silent.


title: An Introduction to Electrocatalyst Design using Machine Learning for Renewable Energy Storage

abstract: Scalable and cost-effective solutions to renewable energy storage are essential to addressing the world's rising energy needs while reducing climate change. As we increase our reliance on renewable energy sources such as wind and solar, which produce intermittent power, storage is needed to transfer power from times of peak generation to peak demand. This may require the storage of power for hours, days, or months. One solution that offers the potential of scaling to nation-sized grids is the conversion of renewable energy to other fuels, such as hydrogen or methane. To be widely adopted, this process requires cost-effective solutions to running electrochemical reactions. An open challenge is finding low-cost electrocatalysts to drive these reactions at high rates. Through the use of quantum mechanical simulations (density functional theory), new catalyst structures can be tested and evaluated. Unfortunately, the high computational cost of these simulations limits the number of structures that may be tested. The use of machine learning may provide a method to efficiently approximate these calculations, leading to new approaches in finding effective electrocatalysts. In this paper, we provide an introduction to the challenges in finding suitable electrocatalysts, how machine learning may be applied to the problem, and the use of the Open Catalyst Project OC20 dataset for model training.


title: The anisotropy in the optical constants of quartz crystals for soft X-rays

abstract: The refractive index of a y-cut SiO$_2$ crystal surface is reconstructed from polarization dependent soft X-ray reflectometry measurements in the energy range from 45 eV to 620 eV. Due to the anisotropy of the crystal structure in the (100) and (001) directions, we observe a significant deviation of the measured reflectance at the Si-L$_{2,3}$ and O-K absorption edges. The anisotropy in the optical constants reconstructed from these data is also confirmed by ab initio Bethe-Salpeter Equation calculations of the O-K edge. This new experimental dataset expands the existing literature data for quartz optical constants significantly, particularly in the near-edge regions.


title: Measurement of differential $b\bar{b}$- and $c\bar{c}$-dijet cross-sections in the forward region of $pp$ collisions at $\sqrt{s}=13 ~ \mathrm{TeV}$

abstract: The inclusive $b \bar{b}$- and $c \bar{c}$-dijet production cross-sections in the forward region of $pp$ collisions are measured using a data sample collected with the LHCb detector at a centre-of-mass energy of 13 TeV in 2016. The data sample corresponds to an integrated luminosity of 1.6 fb$^{-1}$. Differential cross-sections are measured as a function of the transverse momentum and of the pseudorapidity of the leading jet, of the rapidity difference between the jets, and of the dijet invariant mass. A fiducial region for the measurement is defined by requiring that the two jets originating from the two $b$ or $c$ quarks are emitted with transverse momentum greater than 20 GeV$/c$, pseudorapidity in the range $2.2 < \eta < 4.2$, and with a difference in the azimuthal angle between the two jets greater than 1.5. The integrated $b \bar{b}$-dijet cross-section is measured to be $53.0 \pm 9.7$ nb, and the total $c \bar{c}$-dijet cross-section is measured to be $73 \pm 16$ nb. The ratio between $c \bar{c}$- and $b \bar{b}$-dijet cross-sections is also measured and found to be $1.37 \pm 0.27$. The results are in agreement with theoretical predictions at next-to-leading order.


title: How machine learning can help the design and analysis of composite materials and structures?

abstract: Machine learning models are increasingly used in many engineering fields thanks to the widespread digital data, growing computing power, and advanced algorithms. Artificial neural networks (ANN) is the most popular machine learning model in recent years. Although many ANN models have been used in the design and analysis of composite materials and structures, there are still some unsolved issues that hinder the acceptance of ANN models in the practical design and analysis of composite materials and structures. Moreover, the emerging machine learning techniques are posting new opportunities and challenges in the data-based design paradigm. This paper aims to give a state-of-the-art literature review of ANN models in the nonlinear constitutive modeling, multiscale surrogate modeling, and design optimization of composite materials and structures. This review has been designed to focus on the discussion of the general frameworks and benefits of ANN models to the above problems. Moreover, challenges and opportunities in each key problem are identified and discussed. This paper is expected to open the discussion of future research scope and new directions to enable efficient, robust, and accurate data-driven design and analysis of composite materials and structures.


title: Barrow holographic dark energy with Hubble horizon as IR cutoff

abstract: In this work, we propose a non-interacting model of Barrow holographic dark energy (BHDE) using Barrow entropy in a spatially flat FLRW Universe considering the IR cutoff as the Hubble horizon. We study the evolutionary history of important cosmological parameters, in particular, EoS $(\omega_{B})$, deceleration parameter and, the BHDE and matter density parameter and also observe satisfactory behaviours in the BHDE the model. In addition, to describe the accelerated expansion of the Universe the correspondence of the BHDE model with the quintessence scalar field has been reconstructed.


title: An extended Hamilton principle as unifying theory for coupled problems and dissipative microstructure evolution

abstract: An established strategy for material modeling is provided by energy-based principles such that evolution equations in terms of ordinary differential equations can be derived. However, there exist a variety of material models that also need to take into account non-local effects to capture microstructure evolution. In this case, the evolution of microstructure is described by a partial differential equation. In this contribution, we present how Hamilton's principle provides a physically sound strategy for the derivation of transient field equations for all state variables. Therefore, we begin with a demonstration how Hamilton's principle generalizes the principle of stationary action for rigid bodies. Furthermore, we show that the basic idea behind Hamilton's principle is not restricted to isothermal mechanical processes. In contrast, we propose an extended Hamilton principle which is applicable to coupled problems and dissipative microstructure evolution. As example, we demonstrate how the field equations for all state variables for thermo-mechanically coupled problems, i.e. displacements, temperature, and internal variables, result from the stationarity of the extended Hamilton functional. The relation to other principles, as principle of virtual work and Onsager's principle, are given. Finally, exemplary material models demonstrate how to use the extended Hamilton principle for thermo-mechanically coupled rate-dependent, rate-independent, and gradient-enhanced materials.


title: Altered structural balance of resting-state networks in autism

abstract: What makes a network complex, in addition to its size, is the interconnected interactions between elements, disruption of which inevitably results in dysfunction. Likewise, the brain networks' complexity arises from interactions beyond pair connections, as it is simplistic to assume that in complex networks state of a link is independently determined only according to its two constituting nodes. This is particularly of note in genetically complex brain impairments, such as the autism spectrum disorder (ASD), which has a surprising heterogeneity in manifestations with no clear-cut neuropathology. Accordingly, structural balance theory (SBT) affirms that in real-world signed networks, a link is remarkably influenced by each of its two nodes' interactions with the third node within a triadic interrelationship. Thus, it is plausible to ask whether ASD is associated with altered structural balance resulting from atypical triadic interactions. In other words, it is the abnormal interplay of positive and negative interactions that matters in ASD, besides and beyond hypo (hyper) pair connectivity. To address this question, we explore triadic interactions based on SBT in the weighted signed resting-state functional magnetic resonance imaging networks of participants with ASD relative to healthy controls (CON). We demonstrate that balanced triads are overrepresented in the ASD and CON networks while unbalanced triads are underrepresented, providing first-time empirical evidence for the strong notion of structural balance on the brain networks. We further analyze the frequency and energy distributions of different triads and suggest an alternative description for the reduced functional integration and segregation in the ASD brain networks. Moreover, results reveal that the scale of change in the whole-brain networks' energy is more narrow in the ASD networks during development.


title: Experimental Entanglement Quantification for Unknown Quantum States in a Semi-Device-Independent Manner

abstract: Using the concept of non-degenerate Bell inequality, we show that quantum entanglement, the critical resource for various quantum information processing tasks, can be quantified for any unknown quantum states in a semi-device-independent manner, where the quantification is based on the experimentally obtained probability distribution and beforehand knowledge on quantum dimension only. Specifically, as an application of our approach on multi-level systems, we experimentally quantify the entanglement of formation and the entanglement of distillation for qutrit-qutrit quantum systems. In addition, to demonstrate our approach for multi-partite systems, we further quantify the geometry measure of entanglement of three-qubit quantum systems. Our results supply a general way to reliably quantify entanglement in multi-level and multi-partite systems, thus paving the way to characterize many-body quantum systems by quantifying involved entanglement.


title: Efficient Estimation and Evaluation of Prediction Rules in Semi-Supervised Settings under Stratified Sampling

abstract: In many contemporary applications, large amounts of unlabeled data are readily available while labeled examples are limited. There has been substantial interest in semi-supervised learning (SSL) which aims to leverage unlabeled data to improve estimation or prediction. However, current SSL literature focuses primarily on settings where labeled data is selected randomly from the population of interest. Non-random sampling, while posing additional analytical challenges, is highly applicable to many real world problems. Moreover, no SSL methods currently exist for estimating the prediction performance of a fitted model under non-random sampling. In this paper, we propose a two-step SSL procedure for evaluating a prediction rule derived from a working binary regression model based on the Brier score and overall misclassification rate under stratified sampling. In step I, we impute the missing labels via weighted regression with nonlinear basis functions to account for nonrandom sampling and to improve efficiency. In step II, we augment the initial imputations to ensure the consistency of the resulting estimators regardless of the specification of the prediction model or the imputation model. The final estimator is then obtained with the augmented imputations. We provide asymptotic theory and numerical studies illustrating that our proposals outperform their supervised counterparts in terms of efficiency gain. Our methods are motivated by electronic health records (EHR) research and validated with a real data analysis of an EHR-based study of diabetic neuropathy.


title: A flat FRW model with dynamical $\Lambda$ as function of matter and geometry

abstract: We revisit the evolution of the scale factor in a flat FRW spacetime with a new generalized decay rule for the dynamic $\Lambda$-term under modified theories of gravity. It analyses certain cosmological parameters and examines their behaviours in this generalized setting which includes several decay laws in the literature. We have also obtained observational constraints on various model parameters and estimated the present values of cosmological parameters $\{\Omega_{m_0}$, $\Omega_{\Lambda_0}$, $q_{0}, t_{0}$, $\omega_{0}\}$ and have discussed with various observational results. Finite time past and future singularities in this model are also discussed. \end{abstract}


title: Classical and Quantum Magnetic Ground States on an Icosahedral Cluster

abstract: Recent discovery of various magnetism in Tsai-type quasicrystalline approximants, in whose alloys rare-earth ions located on icosahedral apices are coupled with each other via the Ruderman--Kittel--Kasuya--Yosida interaction, opens an avenue to find novel magnetism originating from the icosahedral symmetry. Here we investigate classical and quantum magnetic states on an icosahedral cluster within the Heisenberg interactions of all bonds. Simulated annealing and numerical diagonalization are performed to obtain the classical and quantum ground states. We obtain qualitative correspondence of classical and quantum phase diagrams. Our study gives a good starting point to understand the various magnetism in not only quasicrystalline approximants but also quasicrystals.


title: Thermodynamics induced geometry of self-gravitating systems

abstract: A new approach based on a statistical operator is presented, which allows to take into account the inhomogeneous particle distribution induced by gravitational interaction. This method uses the saddle point procedure to find the dominant contribution to the statistical sum and allows to obtain all thermodynamic relations of self-gravitating systems. Based on thermodynamic relations, a description of thermodynamically induced geometry of matter distribution was proposed. Equations corresponding to the extremum of the statistical sum completely reproduce the well-known equations of the general theory of relativity.


title: Many-fermion wave functions: structure and examples

abstract: Many-fermion Hilbert space has the algebraic structure of a free module generated by a finite number of antisymmetric functions called shapes. Physically, each shape is a many-body vacuum, whose excitations are described by symmetric functions (bosons). The infinity of bosonic excitations accounts for the infinity of Hilbert space, while all shapes can be generated algorithmically in closed form. The shapes are geometric objects in wave-function space, such that any given many-body vacuum is their intersection. Correlation effects in laboratory space are geometric constraints in wave-function space. Algebraic geometry is the natural mathematical framework for the particle picture of quantum mechanics. Simple examples of this scheme are given, and the current state of the art in generating shapes is described from the viewpoint of treating very large function spaces.


title: The Projective General Linear Group $\mathrm{PGL}_2(\mathrm{GF}(2^m))$ and Linear Codes of Length $2^m+1$

abstract: The projective general linear group $\mathrm{PGL}_2(\mathrm{GF}(2^m))$ acts as a $3$-transitive permutation group on the set of points of the projective line. The first objective of this paper is to prove that all linear codes over $\mathrm{GF}(2^h)$ that are invariant under $\mathrm{PGL}_2(\mathrm{GF}(2^m))$ are trivial codes: the repetition code, the whole space $\mathrm{GF}(2^h)^{2^m+1}$, and their dual codes. As an application of this result, the $2$-ranks of the (0,1)-incidence matrices of all $3$-$(q+1,k,\lambda)$ designs that are invariant under $\mathrm{PGL}_2(\mathrm{GF}(2^m))$ are determined. The second objective is to present two infinite families of cyclic codes over $\mathrm{GF}(2^m)$ such that the set of the supports of all codewords of any fixed nonzero weight is invariant under $\mathrm{PGL}_2(\mathrm{GF}(2^m))$, therefore, the codewords of any nonzero weight support a 3-design. A code from the first family has parameters $[q+1,q-3,4]_q$, where $q=2^m$, and $m\ge 4$ is even. The exact number of the codewords of minimum weight is determined, and the codewords of minimum weight support a 3-$(q+1,4,2)$ design. A code from the second family has parameters $[q+1,4,q-4]_q$, $q=2^m$, $m\ge 4$ even, and the minimum weight codewords support a 3-$(q +1,q-4,(q-4)(q-5)(q-6)/60)$ design, whose complementary 3-$(q +1, 5, 1)$ design is isomorphic to the Witt spherical geometry with these parameters. A lower bound on the dimension of a linear code over $\mathrm{GF}(q)$ that can support a 3-$(q +1,q-4,(q-4)(q-5)(q-6)/60)$ design is proved, and it is shown that the designs supported by the codewords of minimum weight in the codes from the second family of codes meet this bound.


title: Non-Gaussian integrals and general hypergeometric functions

abstract: By a non-Gaussian integral we mean integral of the product of an arbitrary function and exponent of a polynomial. We develop a theory of such integrals, which generalizes and simplifies the theory of general hypergeometric functions in the sense of I. M. Gelfand et al.


title: Unraveling two-photon entanglement via the squeezing spectrum of light traveling through nanofiber-coupled atoms

abstract: We observe that a weak guided light field transmitted through an ensemble of atoms coupled to an optical nanofiber exhibits quadrature squeezing. From the measured squeezing spectrum we gain direct access to the phase and amplitude of the energy-time entangled part of the two-photon wavefunction which arises from the strongly correlated transport of photons through the ensemble. For small atomic ensembles we observe a spectrum close to the lineshape of the atomic transition, while sidebands are observed for sufficiently large ensembles, in agreement with our theoretical predictions. Furthermore, we vary the detuning of the probe light with respect to the atomic resonance and infer the phase of the entangled two-photon wavefunction. From the amplitude and the phase of the spectrum, we reconstruct the real- and imaginary part of the time-domain wavefunction. Our characterization of the entangled two-photon component constitutes a diagnostic tool for quantum optics devices.


title: NLO Corrections to Light-Quark Mixed QCD-EW Contributions to Higgs Production

abstract: We present for the first time the exact NLO QCD corrections to the light-quark part of the mixed QCD-EW contributions to Higgs production via gluon fusion at LHC13, with exact EW-boson mass dependence. The relevant two-loop real-emission matrix element is computed using a dynamic one-dimensional series expansion strategy whose stability and speed allows for a numerical phase-space integration using local IR subtraction counterterms. For $\mu_R=\mu_F=M_H$, we find: \begin{equation}\sigma^{(\alpha_s^2\alpha^2+\alpha_s^3\alpha^2)}_{g g\rightarrow H+X} = 1.467(2)^{\;+18.7\%}_{\;-14.6\%}\;(\mu_R\;\text{var.})\;\pm 2\%\;(\text{PDF}) \ \textrm{pb},\end{equation} which we use to provide the best result including an estimate of suppressed contributions: \begin{equation}\sigma^{(\text{EW},\textrm{best})}_{p p\rightarrow H+X} = 2.11 \pm 0.28 \ (\textrm{theory}) \ \mathrm{pb}.\end{equation}


title: ERIC: Extracting Relations Inferred from Convolutions

abstract: Our main contribution is to show that the behaviour of kernels across multiple layers of a convolutional neural network can be approximated using a logic program. The extracted logic programs yield accuracies that correlate with those of the original model, though with some information loss in particular as approximations of multiple layers are chained together or as lower layers are quantised. We also show that an extracted program can be used as a framework for further understanding the behaviour of CNNs. Specifically, it can be used to identify key kernels worthy of deeper inspection and also identify relationships with other kernels in the form of the logical rules. Finally, we make a preliminary, qualitative assessment of rules we extract from the last convolutional layer and show that kernels identified are symbolic in that they react strongly to sets of similar images that effectively divide output classes into sub-classes with distinct characteristics.


title: Fast accuracy estimation of deep learning based multi-class musical source separation

abstract: Music source separation represents the task of extracting all the instruments from a given song. Recent breakthroughs on this challenge have gravitated around a single dataset, MUSDB, only limited to four instrument classes. Larger datasets and more instruments are costly and time-consuming in collecting data and training deep neural networks (DNNs). In this work, we propose a fast method to evaluate the separability of instruments in any dataset without training and tuning a DNN. This separability measure helps to select appropriate samples for the efficient training of neural networks. Based on the oracle principle with an ideal ratio mask, our approach is an excellent proxy to estimate the separation performances of state-of-the-art deep learning approaches such as TasNet or Open-Unmix. Our results contribute to revealing two essential points for audio source separation: 1) the ideal ratio mask, although light and straightforward, provides an accurate measure of the audio separability performance of recent neural nets, and 2) new end-to-end learning methods such as Tasnet, that operate directly on waveforms, are, in fact, internally building a Time-Frequency (TF) representation, so that they encounter the same limitations as the TF based-methods when separating audio pattern overlapping in the TF plane.