title: Effect of broken axial symmetry on the electric dipole strength and the collective enhancement of level densities in heavy nuclei

abstract: The basic parameters for calculations of radiative neutron capture , photon strength functions and nuclear level densities near the neutron separation energy are determined based on experimental data without an ad-hoc assumption about axial symmetry - at variance to previous analysis. Surprisingly few global fit parameters are needed in addition to information on nuclear deformation, taken from Hartree Fock Bogolyubov (HFB) calculations with the Gogny force, and the generator coordinator method (GCM) assures properly defined angular momentum. For a large number of nuclei the GDR shapes and the photon strength are described by the sum of three Lorentzians (TLO), extrapolated to low energies and normalized in accordance to the dipole sum rule. Level densities are influenced strongly by the significant collective enhancement based on the breaking of shape symmetry. The replacement of axial symmetry by the less stringent requirement of invariance against rotation by 180 degree leads to a novel prediction for radiative neutron capture. It compares well to recent compilations of average radiative widths and Maxwellian average cross sections for neutron capture by even target nuclei. An extension to higher spin promises a reliable prediction for various compound nuclear reactions also outside the valley of stability. Such predictions are of high importance for future nuclear energy systems and waste transmutation as well as for the understanding of the cosmic synthesis of heavy elements.


title: On Exchangeability in Network Models

abstract: We derive representation theorems for exchangeable distributions on finite and infinite graphs using elementary arguments based on geometric and graph-theoretic concepts. Our results elucidate some of the key differences, and their implications, between statistical network models that are finitely exchangeable and models that define a consistent sequence of probability distributions on graphs of increasing size.


title: Sub-harmonic Injection Locking in Metronomes

abstract: In this paper, we demonstrate sub-harmonic injection locking (SHIL) in mechanical metronomes. To do so, we first formulate metronome's physical compact model, focusing on its nonlinear terms for friction and the escapement mechanism. Then we analyze metronomes using phase-macromodel-based techniques and show that the phase of their oscillation is in fact very immune to periodic perturbation at twice its natural frequency, making SHIL difficult. Guided by the phase-macromodel-based analysis, we are able to modify the escapement mechanism of metronomes such that SHIL can happen more easily. Then we verify the occurrence of SHIL in experiments. To our knowledge, this is the first demonstration of SHIL in metronomes; As such, it provides many valuable insights into the modelling, simulation, analysis and design of nonlinear oscillators. The demonstration is also suitable to use for teaching the subject of injection locking and SHIL.


title: Inverse monoids and immersions of $\Delta$-complexes

abstract: An immersion $f : {\mathcal D} \rightarrow \mathcal C$ between $\Delta$-complexes is a $\Delta$-map that induces injections from star sets of $\mathcal D$ to star sets of $\mathcal C$. We study immersions between finite-dimensional connected $\Delta$-complexes by replacing the fundamental group of the base space by an appropriate inverse monoid. We show how conjugacy classes of the closed inverse submonoids of this inverse monoid may be used to classify connected immersions into the complex. This extends earlier results of Margolis and Meakin for immersions between graphs and of Meakin and Szak\'acs on immersions into $2$-dimensional $CW$-complexes.


title: Embeddings into Thompson's groups from quasi-median geometry

abstract: The main result of this article is that any braided (resp. annular, planar) diagram group $D$ splits as a short exact sequence $1 \to R \to D \to S \to 1$ where $R$ is a subgroup of some right-angled Artin group and $S$ a subgroup of Thompson's group $V$ (resp. $T$, $F$). As an application, we show that several braided diagram groups embeds into Thompson's group $V$, including Higman's groups $V_{n,r}$, groups of quasi-automorphisms $QV_{n,r,p}$, and generalised Houghton's groups $H_{n,p}$.


title: Bilinear forms on Grothendieck groups of triangulated categories

abstract: We extend the theory of bilinear forms on the Green ring of a finite group developed by Benson and Parker to the context of the Grothendieck group of a triangulated category with Auslander-Reiten triangles, taking only relations given by direct sum decompositions. We examine the non-degeneracy of the bilinear form given by dimensions of homomorphisms, and show that the form may be modified to give a Hermitian form for which the standard basis given by indecomposable objects has a dual basis given by Auslander-Reiten triangles. An application is given to the homotopy category of perfect complexes over a symmetric algebra, with a consequence analogous to a result of Erdmann and Kerner.


title: Simulations of detonation waves with smoothed dissipative particle dynamics

abstract: Smoothed Dissipative Particle Dynamics (SDPD) is a mesoscopic method which allows to select the level of resolution at which a fluid is simulated. The aim of this work is to extend SDPD to chemically reactive systems.To this end, an additional progress variable is attached to each mesoparticle and evolves according to chemical kinetics. This reactive SDPD model is illustrated with numerical studies of the shock-to-detonation transition in nitromethane as well as the stationary behavior of the reactive wave.


title: High-Dimensional Dependency Structure Learning for Physical Processes

abstract: In this paper, we consider the use of structure learning methods for probabilistic graphical models to identify statistical dependencies in high-dimensional physical processes. Such processes are often synthetically characterized using PDEs (partial differential equations) and are observed in a variety of natural phenomena, including geoscience data capturing atmospheric and hydrological phenomena. Classical structure learning approaches such as the PC algorithm and variants are challenging to apply due to their high computational and sample requirements. Modern approaches, often based on sparse regression and variants, do come with finite sample guarantees, but are usually highly sensitive to the choice of hyper-parameters, e.g., parameter $\lambda$ for sparsity inducing constraint or regularization. In this paper, we present ACLIME-ADMM, an efficient two-step algorithm for adaptive structure learning, which estimates an edge specific parameter $\lambda_{ij}$ in the first step, and uses these parameters to learn the structure in the second step. Both steps of our algorithm use (inexact) ADMM to solve suitable linear programs, and all iterations can be done in closed form in an efficient block parallel manner. We compare ACLIME-ADMM with baselines on both synthetic data simulated by partial differential equations (PDEs) that model advection-diffusion processes, and real data (50 years) of daily global geopotential heights to study information flow in the atmosphere. ACLIME-ADMM is shown to be efficient, stable, and competitive, usually better than the baselines especially on difficult problems. On real data, ACLIME-ADMM recovers the underlying structure of global atmospheric circulation, including switches in wind directions at the equator and tropics entirely from the data.


title: Optimal velocity control of a convective Cahn-Hilliard system with double obstacles and dynamic boundary conditions: a `deep quench' approach

abstract: In this paper, we investigate a distributed optimal control problem for a convective viscous Cahn-Hilliard system with dynamic boundary conditions. Such systems govern phase separation processes between two phases taking place in an incompressible fluid in a container and, at the same time, on the container boundary. The cost functional is of standard tracking type, while the control is exerted by the velocity of the fluid in the bulk. In this way, the coupling between the state (given by the associated order parameter and chemical potential) and control variables in the governing system of nonlinear partial differential equations is bilinear, which presents a difficulty for the analysis. In contrast to the previous paper arXiv:1709.02335 [math.AP] by the same authors, the bulk and surface free energies are of double obstacle type, which renders the state constraint nondifferentiable. It is well known that for such cases standard constraint qualifications are not satisfied so that standard methods do not apply to yield the existence of Lagrange multipliers. In this paper, we overcome this difficulty by taking advantage of results established in the quoted paper for logarithmic nonlinearities, using a so-called `deep quench approximation'. We derive results concerning the existence of optimal controls and the first-order necessary optimality conditions in terms of a variational inequality and the associated adjoint system.


title: Sampling formulas involving differences in shift-invariant subspaces: a unified approach

abstract: Successive differences on a sequence of data help to discover some smoothness features of this data. This was one of the main reasons for rewriting the classical interpolation formula in terms of such data differences. The aim of this paper is to mimic them to a sequence of regular samples of a function in a shift-invariant subspace allowing its stable recovery. A suitable expression for the functions in the shift-invariant subspace by means of an isomorphism with the $L^2(0,1)$ space is the key to identify the simple pattern followed by the dual Riesz bases involved in the derived formulas. The paper contains examples illustrating different non-exhaustive situations including also the two-dimensional case.


title: Application of electromagnetic centroids to colocalization of fluorescing objects in tissue sections

abstract: Light microscopy as well as image acquisition and processing suffer from physical and technical prejudices which preclude a correct interpretation of biological observations which can be reflected in, e.g., medical and pharmacological praxis. Using the examples of a diffracting microbead and fluorescently labelled tissue, this article clarifies some ignored aspects of image build-up in the light microscope and introduce algorithms for maximal extraction of information from the 3D microscopic experiments. We provided a correct set-up of the microscope and we sought a voxel (3D pixel) called an electromagnetic centroid which localizes the information about the object. In diffraction imaging and light emission, this voxel shows a minimal intensity change in two consecutive optical cuts. This approach further enabled us to identify z-stack of a DAPI-stained tissue section where at least one object of a relevant fluorescent marker was in focus. The spatial corrections (overlaps) of the DAPI-labelled region with in-focus autofluorescent regions then enabled us to co-localize these three regions in the optimal way when considering physical laws and information theory. We demonstrate that superresolution down to the Nobelish level can be obtained from commonplace widefield bright-field and fluorescence microscopy and bring new perspectives on co-localization in fluorescent microscopy.


title: Temperature dependence of the upper critical field in disordered Hubbard model with attraction

abstract: We study disorder effects upon the temperature behavior of the upper critical magnetic field in attractive Hubbard model within the generalized $DMFT+\Sigma$ approach. We consider the wide range of attraction potentials $U$ - from the weak coupling limit, where superconductivity is described by BCS model, up to the strong coupling limit, where superconducting transition is related to Bose - Einstein condensation (BEC) of compact Cooper pairs, formed at temperatures significantly higher than superconducting transition temperature, as well as the wide range of disorder - from weak to strong, when the system is in the vicinity of Anderson transition. The growth of coupling strength leads to the rapid growth of $H_{c2}(T)$, especially at low temperatures. In BEC limit and in the region of BCS - BEC crossover $H_{c2}(T)$ dependence becomes practically linear. Disordering also leads to the general growth of $H_{c2}(T)$. In BCS limit of weak coupling increasing disorder lead both to the growth of the slope of the upper critical field in the vicinity of transition point and to the increase of $H_{c2}(T)$ in low temperature region. In the limit of strong disorder in the vicinity of the Anderson transition localization corrections lead to the additional growth of $H_{c2}(T)$ at low temperatures, so that the $H_{c2}(T)$ dependence becomes concave. In BCS - BEC crossover region and in BEC limit disorder only slightly influences the slope of the upper critical field close to $T_{c}$. However, in the low temperature region $H_{c2}(T)$ may significantly grow with disorder in the vicinity of the Anderson transition, where localization corrections notably increase $H_{c2}(T=0)$ also making $H_{c2}(T)$ dependence concave.


title: Unconditionally stable, second-order schemes for gradient-regularized, non-convex, finite-strain elasticity modeling martensitic phase transformations

abstract: In the setting of continuum elasticity martensitic phase transformations are characterized by a non-convex free energy density function that possesses multiple wells in strain space and includes higher-order gradient terms for regularization. Metastable martensitic microstructures, defined as solutions that are local minimizers of the total free energy, are of interest and are obtained as steady state solutions to the resulting transient formulation of Toupin's gradient elasticity at finite strain. This type of problem poses several numerical challenges including stiffness, the need for fine discretization to resolve microsstructures, and following solution branches. Stable and accurate time-integration schemes are essential to obtain meaningful solutions at reasonable computational cost. In this work we introduce two classes of unconditionally stable second-order time-integration schemes for gradient elasticity, each having relative advantages over the other. Numerical examples are shown highlighting these features.


title: The Gluon condensation in high energy cosmic rays

abstract: The gluon condensation (GC)-effects in high energy cosmic rays are investigated. After a brief review of the GC, several examples including gamma-, electron-, and positron-spectra in a broad GeV$\sim $TeV region can be explained by the GC-effects. We find that the GC may break the power-law of the cosmic ray spectra if the energy of accelerated protons exceeds the GC-threshold. The GC is a new phenomenon that is not yet known, it provides a new window to understand the high energy cosmic ray spectra.


title: On the Benefits of Surrogate Lagrangians in Optimal Control and Planning Algorithms

abstract: This paper explores the relationship between numerical integrators and optimal control algorithms. Specifically, the performance of the differential dynamical programming (DDP) algorithm is examined when a variational integrator and a newly proposed surrogate variational integrator are used to propagate and linearize system dynamics. Surrogate variational integrators, derived from backward error analysis, achieve higher levels of accuracy while maintaining the same integration complexity as nominal variational integrators. The increase in the integration accuracy is shown to have a large effect on the performance of the DDP algorithm. In particular, significantly more optimized inputs are computed when the surrogate variational integrator is utilized.


title: Pro-$\mathcal{C}$ congruence properties for groups of rooted tree automorphisms

abstract: We propose a generalisation of the congruence subgroup problem for groups acting on rooted trees. Instead of only comparing the profinite completion to that given by level stabilizers, we also compare pro-$\mathcal{C}$ completions of the group, where $\mathcal{C}$ is a pseudo-variety of finite groups. A group acting on a rooted, locally finite tree has the $\mathcal{C}$-congruence subgroup property ($\mathcal{C}$-CSP) if its pro-$\mathcal{C}$ completion coincides with the completion with respect to level stabilizers. We give a sufficient condition for a weakly regular branch group to have the $\mathcal{C}$-CSP. In the case where $\mathcal{C}$ is also closed under extensions (for instance the class of all finite $p$-groups for some prime $p$), our sufficient condition is also necessary. We apply the criterion to show that the Basilica group and the GGS-groups with constant defining vector (odd prime relatives of the Basilica group) have the $p$-CSP.


title: Anisotropic Field-Induced Gap in Quasi-One-Dimensional Antiferromagnet KCuMoO$_4$(OH)

abstract: We investigated magnetic and thermodynamic properties of $S$ = 1/2 quasi-one-dimensional antiferromagnet KCuMoO$_4$(OH) through single crystalline magnetization and heat capacity measurements. At zero field, it behaves as a uniform $S$ = 1/2 Heisenberg antiferromagnet with $J$ = 238 K, and exhibits a canted antiferromagnetism below $T_\mathrm{N}$ = 1.52 K. In addition, a magnetic field $H$ induces the anisotropy in magnetization and opens a gap in the spin excitation spectrum. These properties are understood in terms of an effective staggered field induced by staggered g-tensors and Dzyaloshinsky-Moriya (DM) interactions. Temperature-dependencies of the heat capacity and their field variations are consistent with those expected for quantum sine-Gordon model, indicating that spin excitations consist of soliton, anti-soliton and breather modes. From field-dependencies of the soliton mass, the staggered field normalized by the uniform field $c_\mathrm{s}$ is estimated as 0.041, 0.174, and 0.030, for $H \parallel a$, $b$, and $c$, respectively. Such a large variation of $c_\mathrm{s}$ is understood as the combination of staggered g-tensors and DM interactions which induce the staggered field in the opposite direction for $H \parallel a$ and $c$ but almost the same direction for $H \parallel b$ at each Cu site.


title: Local resilience of an almost spanning $k$-cycle in random graphs

abstract: The famous P\'{o}sa-Seymour conjecture, confirmed in 1998 by Koml\'{o}s, S\'{a}rk\"{o}zy, and Szemer\'{e}di, states that for any $k \geq 2$, every graph on $n$ vertices with minimum degree $kn/(k + 1)$ contains the $k$-th power of a Hamilton cycle. We extend this result to a sparse random setting. We show that for every $k \geq 2$ there exists $C > 0$ such that if $p \geq C(\log n/n)^{1/k}$ then w.h.p. every subgraph of a random graph $G_{n, p}$ with minimum degree at least $(k/(k + 1) + o(1))np$, contains the $k$-th power of a cycle on at least $(1 - o(1))n$ vertices, improving upon the recent results of Noever and Steger for $k = 2$, as well as Allen et al. for $k \geq 3$. Our result is almost best possible in three ways: for $p \ll n^{-1/k}$ the random graph $G_{n, p}$ w.h.p. does not contain the $k$-th power of any long cycle; there exist subgraphs of $G_{n, p}$ with minimum degree $(k/(k + 1) + o(1))np$ and $\Omega(p^{-2})$ vertices not belonging to triangles; there exist subgraphs of $G_{n, p}$ with minimum degree $(k/(k + 1) - o(1))np$ which do not contain the $k$-th power of a cycle on $(1 - o(1))n$ vertices.


title: Predicting Stellar Angular Diameters from $V$, $I_C$, $H$, $K$ Photometry

abstract: Determining the physical properties of microlensing events depends on having accurate angular sizes of the source star. Using long-baseline optical interferometry we are able to measure the angular sizes of nearby stars with uncertainties $\leq 2\%$. We present empirically derived relations of angular diameters that are calibrated using both a sample of dwarfs/subgiants and a sample of giant stars. These relations are functions of five color indices in the visible and near-infrared, and have uncertainties of 1.8-6.5% depending on the color used. We find that a combined sample of both main-sequence and evolved stars of A-K spectral types is well fit by a single relation for each color considered. We find that in the colors considered, metallicity does not play a statistically significant role in predicting stellar size, leading to a means of predicting observed sizes of stars from color alone.


title: Control of magnetic anisotropy by orbital hybridization in (La0.67Sr0.33MnO3)n/(SrTiO3)n superlattice

abstract: The asymmetry of chemical nature at the hetero-structural interface offers an unique opportunity to design desirable electronic structure by controlling charge transfer and orbital hybridization across the interface. However, the control of hetero-interface remains a daunting task. Here, we report the modulation of interfacial coupling of (La0.67Sr0.33MnO3)n/(SrTiO3)n superlattices by manipulating the periodic thickness with n unit cells of SrTiO3 and n unit cells La0.67Sr0.33MnO3. The easy axis of magnetic anisotropy rotates from in-plane (n = 10) to out-of-plane (n = 2) orientation at 150 K. Transmission electron microscopy reveals enlarged tetragonal ratio > 1 with breaking of volume conservation around the (La0.67Sr0.33MnO3)n/(SrTiO3)n interface, and electronic charge transfer from Mn to Ti 3d orbitals across the interface. Orbital hybridization accompanying the charge transfer results in preferred occupancy of 3d3z2-r2 orbital at the interface, which induces a stronger electronic hopping integral along the out-of-plane direction and corresponding out-of-plane magnetic easy axis for n = 2. We demonstrate that interfacial orbital hybridization in superlattices of strongly correlated oxides may be a promising approach to tailor electronic and magnetic properties in device applications.


title: A Tutorial on Statistically Sound Pattern Discovery

abstract: Statistically sound pattern discovery harnesses the rigour of statistical hypothesis testing to overcome many of the issues that have hampered standard data mining approaches to pattern discovery. Most importantly, application of appropriate statistical tests allows precise control over the risk of false discoveries -- patterns that are found in the sample data but do not hold in the wider population from which the sample was drawn. Statistical tests can also be applied to filter out patterns that are unlikely to be useful, removing uninformative variations of the key patterns in the data. This tutorial introduces the key statistical and data mining theory and techniques that underpin this fast developing field. We concentrate on two general classes of patterns: dependency rules that express statistical dependencies between condition and consequent parts and dependency sets that express mutual dependence between set elements. We clarify alternative interpretations of statistical dependence and introduce appropriate tests for evaluating statistical significance of patterns in different situations. We also introduce special techniques for controlling the likelihood of spurious discoveries when multitudes of patterns are evaluated. The paper is aimed at a wide variety of audiences. It provides the necessary statistical background and summary of the state-of-the-art for any data mining researcher or practitioner wishing to enter or understand statistically sound pattern discovery research or practice. It can serve as a general introduction to the field of statistically sound pattern discovery for any reader with a general background in data sciences.


title: Spectroscopic properties of a two-dimensional time-dependent Cepheid model I. Description and validation of the model

abstract: Standard spectroscopic analyses of Cepheid variables are based on hydrostatic one-dimensional model atmospheres, with convection treated using various formulations of mixing-length theory. This paper aims to carry out an investigation of the validity of the quasi-static approximation in the context of pulsating stars. We check the adequacy of a two-dimensional time-dependent model of a Cepheid-like variable with focus on its spectroscopic properties. With the radiation-hydrodynamics code CO5BOLD, we construct a two-dimensional time-dependent envelope model of a Cepheid with $T_\mathrm{eff}= 5600$ K, $\log g=2.0$, solar metallicity, and a 2.8-day pulsation period. Subsequently, we perform extensive spectral syntheses of a set of artificial iron lines in local thermodynamic equilibrium. The set of lines allows us to systematically study effects of line strength, ionization stage, and excitation potential. We evaluate the microturbulent velocity, line asymmetry, projection factor, and Doppler shifts. The mean Doppler shift is non-zero and negative, -1 km/s, after averaging over several full periods and lines. This residual line-of-sight velocity (related to the "K-term") is primarily caused by horizontal inhomogeneities, and consequently we interpret it as the familiar convective blueshift ubiquitously present in non-pulsating late-type stars. Limited statistics prevent firm conclusions on the line asymmetries. Our two-dimensional model provides a reasonably accurate representation of the spectroscopic properties of a short-period Cepheid-like variable star. Some properties are primarily controlled by convective inhomogeneities rather than by the Cepheid-defining pulsations.


title: Affine embeddings of Cantor sets in the plane

abstract: Let $F,E\subseteq \mathbb{R}^2$ be two self similar sets. First, assuming $F$ is generated by an IFS $\Phi$ with strong separation, we characterize the affine maps $g:\mathbb{R}^2 \rightarrow \mathbb{R}^2$ such that $g(F)\subseteq F$. Our analysis depends on the cardinality of the group $G_\Phi$ generated by the orthogonal parts of the similarities in $\Phi$. When $|G_\Phi|=\infty$ we show that any such self embedding must be a similarity, and so (by the results of Elekes, Keleti and M\'ath\'{e}) some power of its orthogonal part lies in $G_\Phi$. When $|G_\Phi| < \infty$ and $\Phi$ has a uniform contraction $\lambda$, we show that the linear part of any such embedding is diagonalizable, and the norm of each of its eigenvalues is a rational power of $\lambda$. We also study the existence and properties of affine maps $g$ such that $g(F)\subseteq E$, where $E$ is generated by an IFS $\Psi$. In this direction, we provide more evidence for a Conjecture of Feng, Huang and Rao, that such an embedding exists only if the contraction ratios of the maps in $\Phi$ are algebraically dependent on the contraction ratios of the maps in $\Psi$. Furthermore, we show that, under some conditions, if $|G_\Phi|=\infty$ then $|G_\Psi|=\infty$ and if $|G_\Phi|<\infty$ then $|G_\Psi|<\infty$.


title: Weighted Message Passing and Minimum Energy Flow for Heterogeneous Stochastic Block Models with Side Information

abstract: We study the misclassification error for community detection in general heterogeneous stochastic block models (SBM) with noisy or partial label information. We establish a connection between the misclassification rate and the notion of minimum energy on the local neighborhood of the SBM. We develop an optimally weighted message passing algorithm to reconstruct labels for SBM based on the minimum energy flow and the eigenvectors of a certain Markov transition matrix. The general SBM considered in this paper allows for unequal-size communities, degree heterogeneity, and different connection probabilities among blocks. We focus on how to optimally weigh the message passing to improve misclassification.


title: A new family of MRD codes in $\mathbb F_q^{2n\times2n}$ with right and middle nuclei $\mathbb F_{q^n}$

abstract: In this paper, we present a new family of maximum rank distance (MRD for short) codes in $\mathbb F_{q}^{2n\times 2n}$ of minimum distance $2\leq d\leq 2n$. In particular, when $d=2n$, we can show that the corresponding semifield is exactly a Hughes-Kleinfeld semifield. The middle and right nuclei of these MRD codes are both equal to $\mathbb F_{q^n}$. We also prove that the MRD codes of minimum distance $2<d<2n$ in this family are inequivalent to all known ones. The equivalence between any two members of this new family is also determined.


title: Off-diagonal estimates of some Bergman-type operators on tube domains over symmetric cones

abstract: We obtain some necessary and sufficient conditions for the boundedness of a family of positive operators defined on symmetric cones, we then deduce off-diagonal boundedness of associated Bergman-type operators in tube domains over symmetric cones.


title: Cohomology for partial actions of Hopf algebras

abstract: In this work, the cohomology theory for partial actions of co-commutative Hopf algebras over commutative algebras is formulated. This theory generalizes the cohomology theory for Hopf algebras introduced by Sweedler and the cohomology theory for partial group actions, introduced by Dokuchaev and Khrypchenko. Some nontrivial examples, not coming from groups are constructed. Given a partial action of a co-commutative Hopf algebra $H$ over a commutative algebra $A$, we prove that there exists a new Hopf algebra $\widetilde{A}$, over a commutative ring $E(A)$, upon which $H$ still acts partially and which gives rise to the same cochain complex as the original algebra $A$. We also study the partially cleft extensions of commutative algebras by partial actions of cocommutative Hopf algebras and prove that these partially cleft extensions can be viewed as a cleft extensions by Hopf algebroids.


title: An Evolution Equation Approach to the Klein-Gordon Operator on Curved Spacetime

abstract: We develop a theory of the Klein-Gordon equation on curved spacetimes. Our main tool is the method of (non-autonomous) evolution equations on Hilbert spaces. This approach allows us to treat low regularity of the metric, of the electromagnetic potential and of the scalar potential. Our main goal is a construction of various kinds of propagators needed in quantum field theory.


title: Dark breathers in a normal dispersion optical microresonator

abstract: Breathers are localized waves, that are periodic in time or space. The concept of breathers is useful for describing many physical systems including granular lattices, Bose-Einstein condensation, hydrodynamics, plasmas and optics. Breathers could exist in both the anomalous and the normal dispersion regime. However, the demonstration of optical breathers in the normal dispersion regime remains elusive to our knowledge. Kerr comb generation in optical microresonators provides an array of oscillators that are highly coupled via the Kerr effect, which can be exploited to explore the breather dynamics. Here, we present, experimentally and numerically, the observation of dark breathers in a normal dispersion silicon nitride microresonator. By controlling the pump wavelength and power, we can generate the dark breather, which exhibits an energy exchange between the central lines and the lines at the wing. The dark breather breathes gently and retains a dark-pulse waveform. A transition to a chaotic breather state is also observed by increasing the pump power. These dark breather dynamics are well reproduced by numerical simulations based on the Lugiato-Lefever equation. The results also reveal the importance of dissipation to dark breather dynamics and give important insights into instabilities related to high power dark pulse Kerr combs from normal dispersion microreosnators.


title: Chromospheric Activity of HAT-P-11: an Unusually Active Planet-Hosting K Star

abstract: Kepler photometry of the hot Neptune host star HAT-P-11 suggests that its spot latitude distribution is comparable to the Sun's near solar maximum. We search for evidence of an activity cycle in the CaII H & K chromospheric emission $S$-index with archival Keck/HIRES spectra and observations from the echelle spectrograph on the ARC 3.5 m Telescope at APO. The chromospheric emission of HAT-P-11 is consistent with a $\gtrsim 10$ year activity cycle, which plateaued near maximum during the Kepler mission. In the cycle that we observed, the star seemed to spend more time near active maximum than minimum. We compare the $\log R^\prime_{HK}$ normalized chromospheric emission index of HAT-P-11 with other stars. HAT-P-11 has unusually strong chromospheric emission compared to planet-hosting stars of similar effective temperature and rotation period, perhaps due to tides raised by its planet.


title: Performance of a small size telescope (SST-1M) camera for gamma-ray astronomy with the Cherenkov Telescope Array

abstract: The foreseen implementations of the Small Size Telescopes (SST) in CTA will provide unique insights into the highest energy gamma rays offering fundamental means to discover and under- stand the sources populating the Galaxy and our local neighborhood. Aiming at such a goal, the SST-1M is one of the three different implementations that are being prototyped and tested for CTA. SST-1M is a Davies-Cotton single mirror telescope equipped with a unique camera technology based on SiPMs with demonstrated advantages over classical photomultipliers in terms of duty-cycle. In this contribution, we describe the telescope components, the camera, and the trigger and readout system. The results of the commissioning of the camera using a dedicated test setup are then presented. The performances of the camera first prototype in terms of expected trigger rates and trigger efficiencies for different night-sky background conditions are presented, and the camera response is compared to end-to-end simulations.


title: Specious rules: an efficient and effective unifying method for removing misleading and uninformative patterns in association rule mining

abstract: We present theoretical analysis and a suite of tests and procedures for addressing a broad class of redundant and misleading association rules we call \emph{specious rules}. Specious dependencies, also known as \emph{spurious}, \emph{apparent}, or \emph{illusory associations}, refer to a well-known phenomenon where marginal dependencies are merely products of interactions with other variables and disappear when conditioned on those variables. The most extreme example is Yule-Simpson's paradox where two variables present positive dependence in the marginal contingency table but negative in all partial tables defined by different levels of a confounding factor. It is accepted wisdom that in data of any nontrivial dimensionality it is infeasible to control for all of the exponentially many possible confounds of this nature. In this paper, we consider the problem of specious dependencies in the context of statistical association rule mining. We define specious rules and show they offer a unifying framework which covers many types of previously proposed redundant or misleading association rules. After theoretical analysis, we introduce practical algorithms for detecting and pruning out specious association rules efficiently under many key goodness measures, including mutual information and exact hypergeometric probabilities. We demonstrate that the procedure greatly reduces the number of associations discovered, providing an elegant and effective solution to the problem of association mining discovering large numbers of misleading and redundant rules.


title: Anomalous Diffusion in a Dynamical Optical Lattice

abstract: Motivated by experimental progress in strongly coupled atom-photon systems in optical cavities, we study theoretically the quantum dynamics of atoms coupled to a one-dimensional dynamical optical lattice. The dynamical lattice is chosen to have a period that is incommensurate with that of an underlying static lattice, leading to a dynamical version of the Aubry-Andr\'e model which can cause localization of single-particle wavefunctions. We show that atomic wavepackets in this dynamical lattice generically spread via anomalous diffusion, which can be tuned between super-diffusive and sub-diffusive regimes. This anomalous diffusion arises from an interplay between quantum localization and quantum fluctuations of the cavity field.


title: Image Matching: An Application-oriented Benchmark

abstract: Image matching approaches have been widely used in computer vision applications in which the image-level matching performance of matchers is critical. However, it has not been well investigated by previous works which place more emphases on evaluating local features. To this end, we present a uniform benchmark with novel evaluation metrics and a large-scale dataset for evaluating the overall performance of image matching methods. The proposed metrics are application-oriented as they emphasize application requirements for matchers. The dataset contains two portions for benchmarking video frame matching and unordered image matching separately, where each portion consists of real-world image sequences and each sequence has a specific attribute. Subsequently, we carry out a comprehensive performance evaluation of different state-of-the-art methods and conduct in-depth analyses regarding various aspects such as application requirements, matching types, and data diversity. Moreover, we shed light on how to choose appropriate approaches for different applications based on empirical results and analyses. Conclusions in this benchmark can be used as general guidelines to design practical matching systems and also advocate potential future research directions in this field.


title: Reconstruction of multiplex networks with correlated layers

abstract: The characterization of various properties of real-world systems requires the knowledge of the underlying network of connections among the system's components. Unfortunately, in many situations the complete topology of this network is empirically inaccessible, and one has to resort to probabilistic techniques to infer it from limited information. While network reconstruction methods have reached some degree of maturity in the case of single-layer networks (where nodes can be connected only by one type of links), the problem is practically unexplored in the case of multiplex networks, where several interdependent layers, each with a different type of links, coexist. Even the most advanced network reconstruction techniques, if applied to each layer separately, fail in replicating the observed inter-layer dependencies making up the whole coupled multiplex. Here we develop a methodology to reconstruct a class of correlated multiplexes which includes the World Trade Multiplex as a specific example we study in detail. Our method starts from any reconstruction model that successfully reproduces some desired marginal properties, including node strengths and/or node degrees, of each layer separately. It then introduces the minimal dependency structure required to replicate an additional set of higher-order properties that quantify the portion of each node's degree and each node's strength that is shared and/or reciprocated across pairs of layers. These properties are found to provide empirically robust measures of inter-layer coupling. Our method allows joint multi-layer connection probabilities to be reliably reconstructed from marginal ones, effectively bridging the gap between single-layer properties and truly multiplex information.


abstract: The recent development of CNN-based image dehazing has revealed the effectiveness of end-to-end modeling. However, extending the idea to end-to-end video dehazing has not been explored yet. In this paper, we propose an End-to-End Video Dehazing Network (EVD-Net), to exploit the temporal consistency between consecutive video frames. A thorough study has been conducted over a number of structure options, to identify the best temporal fusion strategy. Furthermore, we build an End-to-End United Video Dehazing and Detection Network(EVDD-Net), which concatenates and jointly trains EVD-Net with a video object detection model. The resulting augmented end-to-end pipeline has demonstrated much more stable and accurate detection results in hazy video.


title: Development of a strategy for calibrating the novel SiPM camera of the SST-1M telescope proposed for the Cherenkov Telescope Array

abstract: CTA will comprise a sub-array of up to 70 small size telescopes (SSTs) at the southern array. The SST-1M project, a 4 m-diameter Davies Cotton telescope with 9 degrees FoV and a 1296 pixels SiPM camera, is designed to meet the requirements of the next generation ground based gamma-ray observatory CTA in the energy range above 3 TeV. Silicon photomultipliers (SiPM) cameras of gamma-ray telescopes can achieve good performance even during high night sky background conditions. Defining a fully automated calibration strategy of SiPM cameras is of great importance for large scale production validation and online calibration. The SST-1M sub-consortium developed a software compatible with CTA pipeline software (CTApipe). The calibration of the SST-1M camera is based on the Camera Test Setup (CTS), a set of LED boards mounted in front of the camera. The CTS LEDs are operated in pulsed or continuous mode to emulate signal and night sky background respectively. Continuous and pulsed light data analysis allows us to extract single pixel calibration parameters to be used during CTA operation.


title: An empirical model of the long-distance contributions to $\bar{B}^{0} \rightarrow \bar{K}^{*0}\mu^{+}\mu^{-}$ transitions

abstract: A method for analysing the hadronic resonance contributions in $\bar{B}^{0} \rightarrow \bar{K}^{*0}\mu^{+}\mu^{-}$ decays is presented. This method uses an empirical model that relies on measurements of the branching fractions and polarisation amplitudes of final states involving $J^{PC}=1^{--}$ resonances, relative to the short-distance component, across the full dimuon mass spectrum of $\bar{B}^{0} \rightarrow \bar{K}^{*0}\mu^{+}\mu^{-}$ transitions. The model is in good agreement with existing calculations of hadronic non-local effects. The effect of this contribution to the angular observables is presented and it is demonstrated how the narrow resonances in the $q^{2}$ spectrum provide a dramatic enhancement to $CP$-violating effects in the short-distance amplitude. Finally, a study of the hadronic resonance effects on lepton universality ratios, $R_{K^{(*)}}$, in the presence of new physics is presented.


title: Finite-energy solutions for compressible two-fluid Stokes system

abstract: We prove existence of global in time weak solutions to a compressible two-fluid Stokes system with a single velocity field and algebraic closure for the pressure law. The constitutive relation involves densities of both fluids through an implicit function. The system appears to be outside the class of problems that can be treated using the classical Lions-Feireisl approach. Adapting the novel compactness tool developed by the first author and P.-E. Jabin in the mono-fluid compressible Navier-Stokes setting, we first prove the weak sequential stability of solutions. Next, we construct weak solutions via unconventional approximation using the Lagrangian formulation, truncations and stability result of trajectories for rough velocity fields.


title: Quantum Tunneling and Quasinormal Modes in the Spacetime of Alcubierre Warp Drive

abstract: In a seminal paper, Alcubierre showed that Einstein's theory of general relativity appears to allow a super-luminal motion. In the present study, we use a recent eternal-warp-drive solution found by Alcubierre to study the effect of Hawking radiation upon an observer located within the warp drive in the framework of the quantum tunneling method. We find the same expression for the Hawking temperatures associated with the tunneling of both massive vector and scalar particles, and show this expression to be proportional to the velocity of the warp drive. On the other hand, since the discovery of gravitational waves, the quasinormal modes (QNMs) of black holes have also been extensively studied. With this puprpose in mind, we perform a QNM analysis of massive scalar field perturbations in the background of the eternal-Alcubierre-warp-drive (EAWD) spacetime. Our analytical analysis shows that massive scalar perturbations lead to stable QNMs.


title: Perturbative Gaussianizing transforms for cosmological fields

abstract: Constraints on cosmological parameters from large-scale structure have traditionally been obtained from two-point statistics. However, non-linear structure formation renders these statistics insufficient in capturing the full information content available, necessitating the measurement of higher-order moments to recover information which would otherwise be lost. We construct quantities based on non-linear and non-local transformations of weakly non-Gaussian fields that Gaussianize the full multivariate distribution at a given order in perturbation theory. Our approach does not require a model of the fields themselves and takes as input only the first few polyspectra, which could be modelled or measured from simulations or data, making our method particularly suited to observables lacking a robust perturbative description such as the weak-lensing shear. We apply our method to simulated density fields, finding a significantly reduced bispectrum and an enhanced correlation with the initial field. We demonstrate that our method reconstructs a large proportion of the linear baryon acoustic oscillations, improving the information content over the raw field by 35%. We apply the transform to toy 21cm intensity maps, showing that our method still performs well in the presence of complications such as redshift-space distortions, beam smoothing, pixel noise, and foreground subtraction. We discuss how this method might provide a route to constructing a perturbative model of the fully non-Gaussian multivariate likelihood function.


title: Human Associations Help to Detect Conventionalized Multiword Expressions

abstract: In this paper we show that if we want to obtain human evidence about conventionalization of some phrases, we should ask native speakers about associations they have to a given phrase and its component words. We have shown that if component words of a phrase have each other as frequent associations, then this phrase can be considered as conventionalized. Another type of conventionalized phrases can be revealed using two factors: low entropy of phrase associations and low intersection of component word and phrase associations. The association experiments were performed for the Russian language.


title: Certified Computation from Unreliable Datasets

abstract: A wide range of learning tasks require human input in labeling massive data. The collected data though are usually low quality and contain inaccuracies and errors. As a result, modern science and business face the problem of learning from unreliable data sets. In this work, we provide a generic approach that is based on \textit{verification} of only few records of the data set to guarantee high quality learning outcomes for various optimization objectives. Our method, identifies small sets of critical records and verifies their validity. We show that many problems only need $\text{poly}(1/\varepsilon)$ verifications, to ensure that the output of the computation is at most a factor of $(1 \pm \varepsilon)$ away from the truth. For any given instance, we provide an \textit{instance optimal} solution that verifies the minimum possible number of records to approximately certify correctness. Then using this instance optimal formulation of the problem we prove our main result: "every function that satisfies some Lipschitz continuity condition can be certified with a small number of verifications". We show that the required Lipschitz continuity condition is satisfied even by some NP-complete problems, which illustrates the generality and importance of this theorem. In case this certification step fails, an invalid record will be identified. Removing these records and repeating until success, guarantees that the result will be accurate and will depend only on the verified records. Surprisingly, as we show, for several computation tasks more efficient methods are possible. These methods always guarantee that the produced result is not affected by the invalid records, since any invalid record that affects the output will be detected and verified.


title: Integrability of generalised type II defects in affine Toda field theory

abstract: The Liouville integrability of the generalised type II defects is investigated. Full integrability is not considered, only the existence of an infinite number of conserved quantities associated with a system containing a defect. For defects in affine Toda field theories (ATFTs) it is shown that momentum conservation is very likely to be a necessary condition for integrability. The defect Lax matrices which guarantee zero curvature, and so an infinite number of conserved quantities, are calculated for the momentum conserving Tzitz\'eica defect and the momentum conserving $D_4$ ATFT defect. Some additional calculations pertaining to the $D_4$ defect are also carried out to find a more complete set of defect potentials than has appeared previously.


title: Size effect in ion transport through angstrom-scale slits

abstract: It has been an ultimate but seemingly distant goal of nanofluidics to controllably fabricate capillaries with dimensions approaching the size of small ions and water molecules. We report ion transport through ultimately narrow slits that are fabricated by effectively removing a single atomic plane from a bulk crystal. The atomically flat angstrom-scale slits exhibit little surface charge, allowing elucidation of the role of steric effects. We find that ions with hydrated diameters larger than the slit size can still permeate through, albeit with reduced mobility. The confinement also leads to a notable asymmetry between anions and cations of the same diameter. Our results provide a platform for studying effects of angstrom-scale confinement, which is important for development of nanofluidics, molecular separation and other nanoscale technologies.


title: Simple modules over the Lie algebras of divergence zero vector fields on a torus

abstract: Let $n\ge2$ be an integer, $\mathcal{K}_n$ the Weyl algebra over the Laurent polynomial algebra $A_n=\mathbb{C} [x_1^{\pm1}, x_2^{\pm1}, ..., x_n^{\pm1}]$, and $\mathbb{S}_n$ the Lie algebra of divergence zero vector fields on an $n$-dimensional torus. For any $\mathfrak{sl}_n$-module $V$ and any module $P$ over $\mathcal{K}_n$, we define an $\mathbb{S}_n$-module structure on the tensor product $P\otimes V$. In this paper, necessary and sufficient conditions for the $\mathbb{S}_n$-modules $P\otimes V$ to be simple are given, and an isomorphism criterion for nonminuscule $\mathbb{S}_n$-modules is provided. More precisely, all nonminuscule $\mathbb{S}_n$-modules are simple, and pairwise nonisomorphic. For minuscule $\mathbb{S}_n$-modules, minimal and maximal submodules are concretely constructed.


title: Measure-valued solutions to nonlocal transport equations on networks

abstract: We study a nonlinear transport equation defined on an oriented network where the velocity field depends not only on the state variable, but also on the solution itself. We prove existence, uniqueness and continuous dependence results for the solution of the problem intended in a suitable measure-theoretic sense. We also provide a representation formula in terms of the push-forward of the initial and boundary data along the network and discuss an example of nonlocal velocity field fitting our framework.


title: Blow-up of solutions to semi-discrete parabolic-elliptic Keller-Segel models

abstract: The existence of weak solutions and upper bounds for the blow-up time for time-discrete parabolic-elliptic Keller-Segel models for chemotaxis in the two-dimensional whole space are proved. For various time discretizations, including the implicit Euler, BDF, and Runge-Kutta methods, the same bounds for the blow-up time as in the continuous case are derived by discrete versions of the virial argument. The theoretical results are illustrated by numerical simulations using an upwind finite-element method combined with second-order time discretizations.


title: The 4-girth-thickness of the complete multipartite graph

abstract: The $g$-girth-thickness $\theta(g,G)$ of a graph $G$ is the smallest number of planar subgraphs of girth at least $g$ whose union is $G$. In this paper, we calculate the $4$-girth-thickness $\theta(4,G)$ of the complete $m$-partite graph $G$ when each part has an even number of vertices.


title: Hash Embeddings for Efficient Word Representations

abstract: We present hash embeddings, an efficient method for representing words in a continuous vector form. A hash embedding may be seen as an interpolation between a standard word embedding and a word embedding created using a random hash function (the hashing trick). In hash embeddings each token is represented by $k$ $d$-dimensional embeddings vectors and one $k$ dimensional weight vector. The final $d$ dimensional representation of the token is the product of the two. Rather than fitting the embedding vectors for each token these are selected by the hashing trick from a shared pool of $B$ embedding vectors. Our experiments show that hash embeddings can easily deal with huge vocabularies consisting of millions of tokens. When using a hash embedding there is no need to create a dictionary before training nor to perform any kind of vocabulary pruning after training. We show that models trained using hash embeddings exhibit at least the same level of performance as models trained using regular embeddings across a wide range of tasks. Furthermore, the number of parameters needed by such an embedding is only a fraction of what is required by a regular embedding. Since standard embeddings and embeddings constructed using the hashing trick are actually just special cases of a hash embedding, hash embeddings can be considered an extension and improvement over the existing regular embedding types.


title: Residual-based variational multiscale modeling in a discontinuous Galerkin framework

abstract: We develop the general form of the variational multiscale method in a discontinuous Galerkin framework. Our method is based on the decomposition of the true solution into discontinuous coarse-scale and discontinuous fine-scale parts. The obtained coarse-scale weak formulation includes two types of fine-scale contributions. The first type corresponds to a fine-scale volumetric term, which we formulate in terms of a residual-based model that also takes into account fine-scale effects at element interfaces. The second type consists of independent fine-scale terms at element interfaces, which we formulate in terms of a new fine-scale "interface model". We demonstrate for the one-dimensional Poisson problem that existing discontinuous Galerkin formulations, such as the interior penalty method, can be rederived by choosing particular fine-scale interface models. The multiscale formulation thus opens the door for a new perspective on discontinuous Galerkin methods and their numerical properties. This is demonstrated for the one-dimensional advection-diffusion problem, where we show that upwind numerical fluxes can be interpreted as an ad hoc remedy for missing volumetric fine-scale terms.


title: Entanglement entropy and entanglement spectrum of Bi$_{1-x}$Sb$_{x}$ (111) bilayers

abstract: We investigate topological properties of Bi$_{1-x}$Sb$_{x}$ bilayers in the (111) plane using entanglement measures. Electronic structures are studied using multi-orbital tight-binding model, with structural stability confirmed through first-principles calculations. Topologically non-trivial nature of Bi bilayer is proved by the presence of spectral flow in the entanglement spectrum. We consider topological phase transitions driven by a composition change $x$, an applied external electric field in pure Bi, and strain in pure Sb. Composition- and strain-induced phase transitions reveal a finite discontinuity in the entanglement entropy. However, this quantity remains a continuous function of electric field strength, but shows a discontinuity in the first derivative. We relate the difference in behavior of the entanglement entropy to breaking of the inversion symmetry in the last case.


title: Determining Generic Point Configurations From Unlabeled Path or Loop Lengths

abstract: Let $\mathbf{p}$ be a configuration of $n$ points in $\mathbb{R}^d$ for some $n$ and some $d \ge 2$. Each pair of points defines an edge, which has a Euclidean length in the configuration. A path is an ordered sequence of the points, and a loop is a path that has the same endpoints. A path or loop, as a sequence of edges, also has a Euclidean length. In this paper, we study the question of when $\mathbf{p}$ will be uniquely determined (up to an unknowable Euclidean transform) from a given set of path or loop lengths. In particular, we consider the setting where the lengths are given simply as a set of real numbers, and are not labeled with the combinatorial data describing the paths or loops that gave rise to the lengths. Our main result is a condition on the set of paths or loops that is sufficient to guarantee such a unique determination. We also provide an algorithm, under a real computational model, for performing a reconstruction of $\mathbf{p}$ from such unlabeled lengths. To obtain our results, we introduce a new family of algebraic varieties which we call the unsquared measurement varieties. The family is parameterized by the number of points $n$ and the dimension $d$, and our results follow from a complete characterization of the linear automorphisms of these varieties for all $n$ and $d$. The linear automorphisms for the special case of $n = 4$ and $d = 2$ correspond to the so-called Regge symmetries of the tetrahedron.


title: On separability of Schur rings over abelian p-groups

abstract: An $S$-ring (Schur ring) is called separable with respect to a class of $S$-rings $\mathcal{K}$ if it is determined up to isomorphism in $\mathcal{K}$ only by the tensor of its structure constants. An abelian group is said to be separable if every $S$-ring over this group is separable with respect to the class of $S$-rings over abelian groups. Let $C_n$ be a cyclic group of order $n$ and $G$ be a noncylic abelian $p$-group. From the previously obtained results it follows that if $G$ is separable then $G$ is isomorphic to $C_p\times C_{p^k}$ or $C_p\times C_p\times C_{p^k}$, where $p\in \{2,3\}$ and $k\geq 1$. We prove that the groups $D=C_p\times C_{p^k}$ are separable whenever $p\in \{2,3\}$. From this statement we deduce that a given Cayley graph over $D$ and a given Cayley graph over an arbitrary abelian group one can check whether these graphs are isomorphic in time $|D|^{O(1)}$.


title: How to see waves under the Earth surface (the BC-method for geophysicists)

abstract: The BC-method is an approach to inverse problems based on their relations to the boundary control theory. The paper provides a simple and physically transparent description of the method in the case of dynamical inverse data given at a portion of the boundary.


title: Are numerical theories irreplaceable? A computational complexity analysis

abstract: It is widely known that numerically integrated orbits are more precise than analytical theories for celestial bodies. However, calculation of the positions of celestial bodies via numerical integration at time $t$ requires the amount of computer time proportional to $t$, while calculation by analytical series is usually asymptotically faster. The following question then arises: can the precision of numerical theories be combined with the computational speed of analytical ones? We give a negative answer to that question for a particular three-body problem known as Sitnikov problem. A formal problem statement is given for the the initial value problem (IVP) for a system of ordinary dynamical equations. The computational complexity of this problem is analyzed. The analysis is based on the result of Alexeyev (1968-1969) about the oscillatory solutions of the Sitnikov problem that have chaotic behavior. We prove that any algorithm calculating the state of the dynamical system in the Sitnikov problem needs to read the initial conditions with precision proportional to the required point in time (i.e. exponential in the length of the point's representation). That contradicts the existence of an algorithm that solves the IVP in polynomial time of the length of the input.


title: Direct observation of magnon-phonon coupling in yttrium iron garnet

abstract: The magnetic insulator yttrium iron garnet (YIG) with a ferrimagnetic transition temperature of $\sim$560 K has been widely used in microwave and spintronic devices. Anomalous features in the spin Seeback effect (SSE) voltages have been observed in Pt/YIG and attributed to the magnon-phonon coupling. Here we use inelastic neutron scattering to map out low-energy spin waves and acoustic phonons of YIG at 100 K as a function of increasing magnetic field. By comparing the zero and 9.1 T data, we find that instead of splitting and opening up gaps at the spin wave and acoustic phonon dispersion intersecting points, magnon-phonon coupling in YIG enhances the hybridized scattering intensity. These results are different from expectations of conventional spin-lattice coupling, calling for new paradigms to understand the scattering process of magnon-phonon interactions and the resulting magnon-polarons.


title: A direct proof of Tychonoff's theorem

abstract: Proofs of Tychonoff's theorem often seem to require a bit of magic. Machinery such as ultrafilters, nets or maximal families with the finite intersection property are employed to give proofs that can be very neat, but not the kind of thing that one would naturally think of when presented with the problem (given a background in standard open set topology). Here we present a direct and pretty simple proof of Tychonoff's theorem, straight from the open cover definition of compactness.


title: Deep Reinforcement Learning with Surrogate Agent-Environment Interface

abstract: In this paper, we propose surrogate agent-environment interface (SAEI) in reinforcement learning. We also state that learning based on probability surrogate agent-environment interface provides optimal policy of task agent-environment interface. We introduce surrogate probability action and develop the probability surrogate action deterministic policy gradient (PSADPG) algorithm based on SAEI. This algorithm enables continuous control of discrete action. The experiments show PSADPG achieves the performance of DQN in certain tasks with the stochastic optimal policy nature in the initial training stage.


title: Support Spinor Machine

abstract: We generalize a support vector machine to a support spinor machine by using the mathematical structure of wedge product over vector machine in order to extend field from vector field to spinor field. The separated hyperplane is extended to Kolmogorov space in time series data which allow us to extend a structure of support vector machine to a support tensor machine and a support tensor machine moduli space. Our performance test on support spinor machine is done over one class classification of end point in physiology state of time series data after empirical mode analysis and compared with support vector machine test. We implement algorithm of support spinor machine by using Holo-Hilbert amplitude modulation for fully nonlinear and nonstationary time series data analysis.


title: Measurement of $CP$ violation in $B^0\rightarrow J/\psi K^0_\mathrm{S}$ and $B^0\rightarrow\psi(2S) K^0_\mathrm{S}$ decays

abstract: A measurement is presented of decay-time-dependent $CP$ violation in the decays $B^0\rightarrow J/\psi K^0_\mathrm{S}$ and $B^0\rightarrow\psi(2S) K^0_\mathrm{S}$, where the $J/\psi$ is reconstructed from two electrons and the $\psi(2S)$ from two muons. The analysis uses a sample of $pp$ collision data recorded with the LHCb experiment at centre-of-mass energies of 7 and 8 TeV, corresponding to an integrated luminosity of 3 $\mathrm{fb}^{-1}$. The $CP$-violation observables are measured to be \begin{equation*} \begin{aligned} C\left(B^0\rightarrow J/\psi K^0_\mathrm{S}\right)&=\phantom{+}\,0.12\,\pm\,0.07\pm\,0.02\,, S\left(B^0\rightarrow J/\psi K^0_\mathrm{S}\right)&=\phantom{+}\,0.83\,\pm\,0.08\pm\,0.01\,, C\left(B^0\rightarrow\psi(2S) K^0_\mathrm{S}\right)&=-\,0.05\,\pm\,0.10\pm\,0.01\,, S\left(B^0\rightarrow\psi(2S) K^0_\mathrm{S}\right)&=\phantom{+}\,0.84\,\pm\,0.10\pm\,0.01\,, \end{aligned} \end{equation*} where $C$ describes $CP$ violation in the direct decay, and $S$ describes $CP$ violation in the interference between the amplitudes for the direct decay and for the decay after $B^0$-$\overline{B}^0$ oscillation. The first uncertainties are statistical and the second are systematic. The two sets of results are compatible with the previous LHCb measurement using $B^0\rightarrow J/\psi K^0_\mathrm{S}$ decays, where the $J/\psi$ meson was reconstructed from two muons. The averages of all three sets of LHCb results are \begin{equation*} \begin{aligned} C\left(B^0\rightarrow[c\bar{c}]K^0_\mathrm{S}\right)&=-0.017 \pm 0.029\,, S\left(B^0\rightarrow[c\bar{c}]K^0_\mathrm{S}\right)&=\phantom{+}0.760 \pm 0.034\,, \end{aligned} \end{equation*} under the assumption that higher-order contributions to the decay amplitudes are negligible. The uncertainties include statistical and systematic contributions.


title: Model-free Envelope Dimension Selection

abstract: An envelope is a targeted dimension reduction subspace for simultaneously achieving dimension reduction and improving parameter estimation efficiency. While many envelope methods have been proposed in recent years, all envelope methods hinge on the knowledge of a key hyperparameter, the structural dimension of the envelope. How to estimate the envelope dimension consistently is of substantial interest from both theoretical and practical aspects. Moreover, very recent advances in the literature have generalized envelope as a model-free method, which makes selecting the envelope dimension even more challenging. Likelihood-based approaches such as information criteria and likelihood-ratio tests either cannot be directly applied or have no theoretical justification. To address this critical issue of dimension selection, we propose two unified approaches -- called FG and 1D selections -- for determining the envelope dimension that can be applied to any envelope models and methods. The two model-free selection approaches are based on the two different envelope optimization procedures: the full Grassmannian (FG) optimization and the 1D algorithm (Cook and Zhang, 2016), and are shown to be capable of correctly identifying the structural dimension with a probability tending to 1 under mild moment conditions as the sample size increases. While the FG selection unifies and generalizes the BIC and modified BIC approaches that existing in the literature, and hence provides the theoretical justification of them under weak moment condition and model-free context, the 1D selection is computationally more stable and efficient in finite sample. Extensive simulations and a real data analysis demonstrate the superb performance of our proposals.


title: Multimodal Content Analysis for Effective Advertisements on YouTube

abstract: The rapid advances in e-commerce and Web 2.0 technologies have greatly increased the impact of commercial advertisements on the general public. As a key enabling technology, a multitude of recommender systems exists which analyzes user features and browsing patterns to recommend appealing advertisements to users. In this work, we seek to study the characteristics or attributes that characterize an effective advertisement and recommend a useful set of features to aid the designing and production processes of commercial advertisements. We analyze the temporal patterns from multimedia content of advertisement videos including auditory, visual and textual components, and study their individual roles and synergies in the success of an advertisement. The objective of this work is then to measure the effectiveness of an advertisement, and to recommend a useful set of features to advertisement designers to make it more successful and approachable to users. Our proposed framework employs the signal processing technique of cross modality feature learning where data streams from different components are employed to train separate neural network models and are then fused together to learn a shared representation. Subsequently, a neural network model trained on this joint feature embedding representation is utilized as a classifier to predict advertisement effectiveness. We validate our approach using subjective ratings from a dedicated user study, the sentiment strength of online viewer comments, and a viewer opinion metric of the ratio of the Likes and Views received by each advertisement from an online platform.


title: Constant Space Complexity Environment Representation for Vision-based Navigation

abstract: This paper presents a preliminary conceptual investigation into an environment representation that has constant space complexity with respect to the camera image space. This type of representation allows the planning algorithms of a mobile agent to bypass what are often complex and noisy transformations between camera image space and Euclidean space. The approach is to compute per-pixel potential values directly from processed camera data, which results in a discrete potential field that has constant space complexity with respect to the image plane. This can enable planning and control algorithms, whose complexity often depends on the size of the environment representation, to be defined with constant run-time. This type of approach can be particularly useful for platforms with strict resource constraints, such as embedded and real-time systems.


title: Testing microscopically derived descriptions of nuclear collectivity: Coulomb excitation of 22Mg

abstract: Many-body nuclear theory utilizing microscopic or chiral potentials has developed to the point that collectivity might be dealt with in an {\it ab initio} framework without the use of effective charges; for example with the proper evolution of operators, or alternatively, through the use of an appropriate and manageable subset of particle-hole excitations. We present a precise determination of $E2$ strength in $^{22}$Mg and its mirror $^{22}$Ne by Coulomb excitation, allowing for rigorous comparisons with theory. No-core symplectic shell-model calculations were performed and agree with the new $B(E2)$ values while in-medium similarity-renormalization-group calculations consistently underpredict the absolute strength, with the missing strength found to have both isoscalar and isovector components.


title: Skyline Queries in O(1) time?

abstract: The skyline of a set $P$ of points ($SKY(P)$) consists of the "best" points with respect to minimization or maximization of the attribute values. A point $p$ dominates another point $q$ if $p$ is as good as $q$ in all dimensions and it is strictly better than $q$ in at least one dimension. In this work, we focus on the static $2$-d space and provide expected performance guarantees for $3$-sided Range Skyline Queries on the Grid, where $N$ is the cardinality of $P$, $B$ the size of a disk block, and $R$ the capacity of main memory. We present the MLR-tree, which offers optimal expected cost for finding planar skyline points in a $3$-sided query rectangle, $q=[a,b]\times(-\infty,d]$, in both RAM and I/O model on the grid $[1,M]\times [1,M]$, by single scanning only the points contained in $SKY(P)$. In particular, it supports skyline queries in a $3$-sided range in $O(t\cdot t_{PAM}(N))$ time ($O((t/B)\cdot t_{PAM}(N))$ I/Os), where $t$ is the answer size and $t_{PAM}(N)$ the time required for answering predecessor queries for $d$ in a PAM (Predecessor Access Method) structure, which is a special component of MLR-tree and stores efficiently root-to-leaf paths or sub-paths. By choosing PAM structures with $O(1)$ expected time for predecessor queries under discrete $\mu$-random distributions of the $x$ and $y$ coordinates, MLR-tree supports skyline queries in optimal $O(t)$ expected time ($O(t/B)$ expected number of I/Os) with high probability. The space cost becomes superlinear and can be reduced to linear for many special practical cases. If we choose a PAM structure with $O(1)$ amortized time for batched predecessor queries (under no assumption on distributions of the $x$ and $y$ coordinates), MLR-tree supports batched skyline queries in optimal $O(t)$ amortized time, however the space becomes exponential. In dynamic case, the update time complexity is affected by a $O(log^{2}N)$ factor.


title: Robust dimensionality reduction for interferometric imaging of Cygnus A

abstract: Extremely high data rates expected in next-generation radio interferometers necessitate a fast and robust way to process measurements in a big data context. Dimensionality reduction can alleviate computational load needed to process these data, in terms of both computing speed and memory usage. In this article, we present image reconstruction results from highly reduced radio-interferometric data, following our previously proposed data dimensionality reduction method, $\mathrm{R}_{\mathrm{sing}}$, based on studying the distribution of the singular values of the measurement operator. This method comprises a simple weighted, subsampled discrete Fourier transform of the dirty image. Additionally, we show that an alternative gridding-based reduction method works well for target data sizes of the same order as the image size. We reconstruct images from well-calibrated VLA data to showcase the robustness of our proposed method down to very low data sizes in a 'real data' setting. We show through comparisons with the conventional reduction method of time- and frequency-averaging, that our proposed method produces more accurate reconstructions while reducing data size much further, and is particularly robust when data sizes are aggressively reduced to low fractions of the image size. $\mathrm{R}_{\mathrm{sing}}$ can function in a block-wise fashion, and could be used in the future to process incoming data by blocks in real-time, thus opening up the possibility of performing 'on-line' imaging as the data are being acquired. MATLAB code for the proposed dimensionality reduction method is available on GitHub.


title: Phase separation and large deviations of lattice active matter

abstract: Off-lattice active Brownian particles form clusters and undergo phase separation even in the absence of attractions or velocity-alignment mechanisms. Arguments that explain this phenomenon appeal only to the ability of particles to move persistently in a direction that fluctuates, but existing lattice models of hard particles that account for this behavior do not exhibit phase separation. Here we present a lattice model of active matter that exhibits motility-induced phase separation in the absence of velocity alignment. Using direct and rare-event sampling of dynamical trajectories we show that clustering and phase separation are accompanied by pronounced fluctuations of static and dynamic order parameters. This model provides a complement to off-lattice models for the study of motility-induced phase separation.


title: Backreaction in the future behavior of an expanding spacetime

abstract: We perform a rescaling analysis to analyze the future behavior of a class of $T^2$-symmetric vacuum spacetimes. We show that on the universal cover, there is $C^0$-convergence to a spatially homogeneous spacetime that does not satisfy the vacuum Einstein equations.


title: Sampling rare fluctuations of discrete-time Markov chains

abstract: We describe a simple method that can be used to sample the rare fluctuations of discrete-time Markov chains. We focus on the case of Markov chains with well-defined steady-state measures, and derive expressions for the large-deviation rate functions (and upper bounds on such functions) for dynamical quantities extensive in the length of the Markov chain. We illustrate the method using a series of simple examples, and use it to study the fluctuations of a lattice-based model of active matter that can undergo motility-induced phase separation.


title: Towards final characterisation and performance of the GCT prototype telescope structure for the Cherenkov Telescope Array

abstract: The Gamma-ray Cherenkov Telescope (GCT) is an innovative dual-mirror solution proposed for the Small Size Telescopes of the future Cherenkov Telescope Array (CTA), capable of imaging the showers induced by cosmic gamma-rays with energies from a few TeV up to 300 TeV. The Schwarzschild Couder design on which the telescope optical design is based makes possible the construction of a fast telescope (primary mirror diameter 4 m, focal length 2.3 m) with a plate scale well matched to compact photosensors, such as multi anode or silicon photomultipliers (MAPMs and SiPMs, respectively) for the camera. The prototype GCT on Meudon's site of the Observatoire de Paris saw first Cherenkov light from air showers in November 2015, using an MAPM based camera. In this contribution, we firstly report on the prototype GCT telescope's performance during its assessment phase. Secondly, we present the telescope configuration during a campaign of observations held in spring 2017. Finally, we describe studies of the telescope structure, such as the pointing and tracking performance.


title: Minimum models of second-order set theories

abstract: In this article I investigate the phenomenon of minimum models of second-order set theories, focusing on Kelley--Morse set theory $\mathsf{KM}$, G\"odel--Bernays set theory $\mathsf{GB}$, and $\mathsf{GB}$ augmented with the principle of Elementary Transfinite Recursion. The main results are the following. (1) A countable model of $\mathsf{ZFC}$ has a minimum $\mathsf{GBC}$-realization if and only if it admits a parametrically definable global well-order. (2) Countable models of $\mathsf{GBC}$ admit minimal extensions with the same sets. (3) There is no minimum transitive model of $\mathsf{KM}$. (4) There is a minimum $\beta$-model of $\mathsf{GB} + \mathsf{ETR}$. The main question left unanswered by this article is whether there is a minimum transitive model of $\mathsf{GB} + \mathsf{ETR}$.


title: Stellar Intensity Interferometric Capabilities of IACT Arrays

abstract: Sub-milliarcsecond imaging of nearby main sequence stars and binary systems can provide critical information on stellar phenomena such as rotational deformation, accretion effects, and the universality of starspot (sunspot) cycles. Achieving this level of resolution in optical wavelength bands (U/V) requires use of a sparse array of interferometric telescopes with kilometer scale baseline separations. Current ground based VHE gamma-ray observatories, such as VERITAS, HESS, and MAGIC, employ arrays of > 10 m diameter optical Imaging Atmospheric Cherenkov Telescopes (IACTs) with >80 m telescope separations, and are therefore well suited for sub-milliarcsecond astronomical imaging in the U/V bands using Hanbury Brown and Twiss (HBT) interferometry [1,2]. We describe the development of instrumentation for the augmentation of IACT arrays to perform Stellar Intensity Interferometric (SII) imaging. Laboratory tests are performed using pseudo-random and thermal (blackbody) light to demonstrate the ability of high speed (250 MHz) digitizing electronics to continuously record photon intensity over long periods (minutes to hours) and validate the use of offline software correlation to calculate the squared degree of coherence . We then use as the interferometric observable to populate the Fourier reciporical image plane, and apply standard inversion techniques to recover the original 2-D source image. The commercial availability of inexpensive fiber-optic based sub-nanosecond multi-crate (White Rabbit[3]) synchronization timing enables the extension of SII to baselines greater than 10 km, theoretically allowing U/V band imaging with resolution <100 $\mu$ arc-seconds. This article provides a description of typical designs of practical SII instrumentation for the VERITAS IACT observatory array (Amado, Arizona) and the future CTA IACT Observatory (Canary Islands, Spain and Paranal, Chile).


title: Zeroes of the Swallowtail Integral

abstract: The swallowtail integral $S(x,y,z) = \int_{-\infty}^{\infty} \exp[i(u^5 + xu^3 + yu^2 + zu)] \, du$ is one of the so-called canonical diffraction integrals used in optics, and plays a role in the uniform asymptotics of integrals exhibiting a confluence of up to four saddle points. In a 1984 paper by Connor, Curtis and Farrelly, the authors make a number of remarkable observations regarding the zeroes of $S(x,y,z)$, including that its zeroes occur on lines in $xyz$-space, and that the zeroes of $S(0,y,z)$ lie along the line $y = 0$. These assertions are based on numerical evidence and the asymptotics of $S(0,0,z)$. We examine these assertions more completely and provide additional detail on the structure of the zeroes of $S(x,y,z)$.


title: Full-dimensional treatment of short-time vibronic dynamics in molecular high-harmonics generation process in methane

abstract: We present derivation and implementation of the Multi-Configurational Strong-Field Approximation with Gaussian nuclear Wave Packets (MC-SFA-GWP) -- a version of the molecular strong-field approximation which treats all electronic and nuclear degrees of freedom, including their correlations, quantum-mechanically. The technique allows, for the first time, realistic simulation of high-harmonic emission in polyatomic molecules without invoking reduced-dimensionality models for the nuclear motion or the electronic structure. We use MC-SFA-GWP to model isotope effects in high-harmonics generation (HHG) spectroscopy of methane. The HHG emission in this molecule transiently involves strongly vibronically-coupled $^2F_2$ electronic state of the $\rm CH_4^+$ cation. We show that the isotopic HHG ratio in methane contains signatures of: a) field-free vibronic dynamics at the conical intersection (CI); b) resonant features in the recombination cross-sections; c) laser-driven bound-state dynamics; as well as d) the well-known short-time Gaussian decay of the emission. We assign the intrinsic vibronic feature (a) to a relatively long-lived ($\ge4$ fs) vibronic wave packet of the singly-excited $\nu_4$ ($t_2$) and $\nu_2$ ($e$) vibrational modes, strongly coupled to the components of the $^2F_2$ electronic state. We demonstrate that these physical effects differ in their dependence on the wavelength, intensity, and duration of the driving pulse, allowing them to be disentangled. We thus show that HHG spectroscopy provides a versatile tool for exploring both conical intersections and resonant features in photorecombination matrix elements in the regime not easily accessible with other techniques.


title: Stochastic differential equation model for spontaneous emission and carrier noise in semiconductor lasers

abstract: We present a new stochastic differential equation model for the spontaneous emission noise and carrier noise in semiconductor lasers. The correlations between these two types of noise have often been neglected in recent studies of the effects of the noise on the laser dynamics. However, the classic results of Henry show that the intensity noise and the carrier noise are strongly negatively correlated. Our model demonstrates how to properly account for these correlations since the corresponding diffusion coefficients agree exactly with those derived by Henry. We show that in fact in the correct model the spontaneous emission noise and the carrier noise are driven by the same Wiener processes. Furthermore, we demonstrate that the nonzero correlation time of the physical noise affects the mean dynamics of both the electric field amplitude and the carrier number. We show that these are systematic corrections that can be described by additional drift terms in the model.


title: Natural Inflation from Polymer Quantization

abstract: We study the polymer quantization of a homogeneous massive scalar field in the early universe using a prescription inequivalent to those previously appearing in the literature. Specifically, we assume a Hilbert space for which the scalar field momentum is well defined but its amplitude is not. This is closer in spirit to the quantization scheme of loop quantum gravity, in which no unique configuration operator exists. We show that in the semi-classical approximation, the main effect of this polymer quantization scheme is to compactify the phase space of chaotic inflation in the field amplitude direction. This gives rise to an effective scalar potential closely resembling that of hybrid natural inflation. Unlike polymer schemes in which the scalar field amplitude is well-defined, the semi-classical dynamics involves a past cosmological singularity; i.e., this approach does not mitigate the big bang.


title: Scaling of Dzyaloshinskii Moriya interaction at heavy metal and ferromagnetic metal interfaces

abstract: The Dzyaloshinskii Moriya Interaction (DMI) at the heavy metal (HM) and ferromagnetic metal (FM) interface has been recognized as a key ingredient in spintronic applications. Here we investigate the chemical trend of DMI on the 5d band filling (5d^3~5d^10) of the HM element in HM/CoFeB/MgO multilayer thin films. DMI is quantitatively evaluated by measuring asymmetric spin wave dispersion using Brillouin light scattering. Sign reversal and 20 times modification of the DMI coefficient D have been measured as the 5d HM element is varied. The chemical trend can be qualitatively understood by considering the 5d and 3d bands alignment at the HM/FM interface and the subsequent orbital hybridization around the Fermi level. Furthermore, a positive correlation is observed between DMI and spin mixing conductance at the HM/FM interfaces. Our results provide new insights into the interfacial DMI for designing future spintronic devices.


title: A first-order splitting method for solving a large-scale composite convex optimization problem

abstract: The forward-backward operator splitting algorithm is one of the most important methods for solving the optimization problem of the sum of two convex functions, where one is differentiable with a Lipschitz continuous gradient and the other is possibly nonsmooth but proximable. It is convenient to solve some optimization problems in the form of dual or primal-dual problems. Both methods are mature in theory. In this paper, we construct several efficient first-order splitting algorithms for solving a multi-block composite convex optimization problem. The objective function includes a smooth function with a Lipschitz continuous gradient, a proximable convex function that may be nonsmooth, and a finite sum of a composition of a proximable function and a bounded linear operator. To solve such an optimization problem, we transform it into the sum of three convex functions by defining an appropriate inner product space. On the basis of the dual forward-backward splitting algorithm and the primal-dual forward-backward splitting algorithm, we develop several iterative algorithms that involve only computing the gradient of the differentiable function and proximity operators of related convex functions. These iterative algorithms are matrix-inversion-free and completely splitting algorithms. Finally, we employ the proposed iterative algorithms to solve a regularized general prior image constrained compressed sensing (PICCS) model that is derived from computed tomography (CT) image reconstruction under sparse sampling of projection measurements. Numerical results show that the proposed iterative algorithms outperform other algorithms.


title: Whitham modulation theory for the two-dimensional Benjamin-Ono equation

abstract: Whitham modulation theory for the two dimensional Benjamin-Ono (2DBO) equation is presented. A system of five quasi-linear first-order partial differential equations is derived. The system describes modulations of the traveling wave solutions of the 2DBO equation. These equations are transformed to a singularity-free hyrdodynamic-like system referred to here as the 2DBO-Whitham system. Exact reductions of this system are discussed, the formulation of initial value problems is considered, and the system is used to study the transverse stability of traveling wave solutions of the 2DBO equation.


title: On the Papaloizou-Pringle instability in tidal disruption events

abstract: We demonstrate that the compact, thick disc formed in a tidal disruption event may be unstable to non-axisymmetric perturbations in the form of the Papaloizou-Pringle instability. We show this can lead to rapid redistribution of angular momentum that can be parameterised in terms of an effective Shakura-Sunyaev $\alpha$ parameter. For remnants that have initially weak magnetic fields, this may be responsible for driving mass accretion prior to the onset of the magneto-rotational instability. For tidal disruptions around a $10^6$ M$_{\odot}$ black hole, the measured accretion rate is super-Eddington but is not sustainable over many orbits. We thus identify a method by which the torus formed in tidal disruption event may be significantly accreted before the magneto-rotational instability is established.


title: An Online Optimization Algorithm for Alleviating Contingencies in Transmission Networks

abstract: Power systems are increasingly operated in corrective rather than preventive security mode, which means that appropriate control actions must be taken immediately after a contingency has occurred. This paper proposes an online algorithm for automatically alleviating contingencies such as voltage limit violations and line overloads. Unlike previously proposed approaches, the network itself serves as a natural solver of the power flow equations. This makes it possible to start the implementation immediately and avoids problems caused by modeling errors. Every time the controller receives measurements from the grid, it evaluates the presence of contingencies and computes the optimal corrective actions that can be implemented before the next sampling period, subject to ramping constraints of the generators. These corrective actions are implemented through the standard Automatic Generation Control. Finding the optimal incremental corrective actions is fast because this problem is linearized. The effectiveness of this algorithm at correcting both line overloads and voltage violations is demonstrated using the IEEE-118 Bus test system.


title: Unsupervised Deep Homography: A Fast and Robust Homography Estimation Model

abstract: Homography estimation between multiple aerial images can provide relative pose estimation for collaborative autonomous exploration and monitoring. The usage on a robotic system requires a fast and robust homography estimation algorithm. In this study, we propose an unsupervised learning algorithm that trains a Deep Convolutional Neural Network to estimate planar homographies. We compare the proposed algorithm to traditional feature-based and direct methods, as well as a corresponding supervised learning algorithm. Our empirical results demonstrate that compared to traditional approaches, the unsupervised algorithm achieves faster inference speed, while maintaining comparable or better accuracy and robustness to illumination variation. In addition, on both a synthetic dataset and representative real-world aerial dataset, our unsupervised method has superior adaptability and performance compared to the supervised deep learning method.


title: Conformal manifolds: ODEs from OPEs

abstract: The existence of an exactly marginal deformation in a conformal field theory is very special, but it is not well understood how this is reflected in the allowed dimensions and OPE coefficients of local operators. To shed light on this question, we compute perturbative corrections to several observables in an abstract CFT, starting with the beta function. This yields a sum rule that the theory must obey in order to be part of a conformal manifold. The set of constraints relating CFT data at different values of the coupling can in principle be written as a dynamical system that allows one to flow arbitrarily far. We begin the analysis of it by finding a simple form for the differential equations when the spacetime and theory space are both one-dimensional. A useful feature we can immediately observe is that our system makes it very difficult for level crossing to occur.


title: Affective Neural Response Generation

abstract: Existing neural conversational models process natural language primarily on a lexico-syntactic level, thereby ignoring one of the most crucial components of human-to-human dialogue: its affective content. We take a step in this direction by proposing three novel ways to incorporate affective/emotional aspects into long short term memory (LSTM) encoder-decoder neural conversation models: (1) affective word embeddings, which are cognitively engineered, (2) affect-based objective functions that augment the standard cross-entropy loss, and (3) affectively diverse beam search for decoding. Experiments show that these techniques improve the open-domain conversational prowess of encoder-decoder networks by enabling them to produce emotionally rich responses that are more interesting and natural.


title: Explore, Exploit or Listen: Combining Human Feedback and Policy Model to Speed up Deep Reinforcement Learning in 3D Worlds

abstract: We describe a method to use discrete human feedback to enhance the performance of deep learning agents in virtual three-dimensional environments by extending deep-reinforcement learning to model the confidence and consistency of human feedback. This enables deep reinforcement learning algorithms to determine the most appropriate time to listen to the human feedback, exploit the current policy model, or explore the agent's environment. Managing the trade-off between these three strategies allows DRL agents to be robust to inconsistent or intermittent human feedback. Through experimentation using a synthetic oracle, we show that our technique improves the training speed and overall performance of deep reinforcement learning in navigating three-dimensional environments using Minecraft. We further show that our technique is robust to highly innacurate human feedback and can also operate when no human feedback is given.


title: Efficient electrochemical model for lithium-ion cells

abstract: Lithium-ion batteries are used to store energy in electric vehicles. Physical models based on electro-chemistry accurately predict the cell dynamics, in particular the state of charge. However, these models are nonlinear partial differential equations coupled to algebraic equations, and they are computationally intensive. Furthermore, a variable solid-state diffusivity model is recommended for cells with a lithium ion phosphate positive electrode to provide more accuracy. This variable structure adds more complexities to the model. However, a low-order model is required to represent the lithium-ion cells' dynamics for real-time applications. In this paper, a simplification of the electrochemical equations with variable solid-state diffusivity that preserves the key cells' dynamics is derived. The simplified model is transformed into a numerically efficient fully dynamical form. It is proved that the simplified model is well-posed and can be approximated by a low-order finite-dimensional model. Simulations are very quick and show good agreement with experimental data.


title: Diffusion Monte Carlo approach versus adiabatic computation for local Hamiltonians

abstract: Most research regarding quantum adiabatic optimization has focused on stoquastic Hamiltonians, whose ground states can be expressed with only real, nonnegative amplitudes. This raises the question of whether classical Monte Carlo algorithms can efficiently simulate quantum adiabatic optimization with stoquastic Hamiltonians. Recent results have given counterexamples in which path integral and diffusion Monte Carlo fail to do so. However, most adiabatic optimization algorithms, such as for solving MAX-k-SAT problems, use k-local Hamiltonians, whereas our previous counterexample for diffusion Monte Carlo involved n-body interactions. Here we present a new 6-local counterexample which demonstrates that even for these local Hamiltonians there are cases where diffusion Monte Carlo cannot efficiently simulate quantum adiabatic optimization. Furthermore, we perform empirical testing of diffusion Monte Carlo on a standard well-studied class of permutation-symmetric tunneling problems and similarly find large advantages for quantum optimization over diffusion Monte Carlo.


title: New BPS Wilson loops in $\mathcal N \textbf{= 4}$ circular quiver Chern-Simons-matter theories

abstract: We construct new families of 1/4 BPS Wilson loops in circular quiver $\mathcal N=4$ superconformal Chern-Simons-matter (SCSM) theories in three dimensions. They are defined as the holonomy of superconnections that contain non-trivial couplings to scalar and fermions, and cannot be reduced to block-diagonal matrices. Consequently, the new operators cannot be written in terms of double-node Wilson loops, as the ones considered so far in the literature. For particular values of the couplings the superconnection becomes block-diagonal and we recover the known fermionic 1/4 and 1/2 BPS Wilson loops. The new operators are cohomologically equivalent to bosonic 1/4 BPS Wilson loops and are then amenable of exact evaluation via localization techniques. Moreover, in the case of orbifold ABJM theory we identify the corresponding gravity duals for some of the 1/4 and 1/2 BPS Wilson loops.


title: Duality for Differential Operators of Lie-Rinehart Algebras

abstract: Let (S,L) be a Lie-Rinehart algebra over a commutative ring R. This article proves that, if S is flat as an R-module and has Van den Bergh duality in dimension n, and if L is finitely generated and projective with constant rank d as an S-module, then the enveloping algebra of (S,L) has Van den Bergh duality in dimension n+d. When, moreover, S is Calabi-Yau and the d-th exterior power of L is free over S, the article proves that the enveloping algebra is skew-Calabi-Yau, and it describes a Nakayama automorphism of it. These considerations are specialised to Poisson enveloping algebras. They are also illustrated on Poisson structures over two and three dimensional polynomial algebras and on Nambu-Poisson structures on certain two dimensional hypersurfaces.