title: The $\Pi^1_1 \! \! \downarrow$ L\"owenheim-Skolem-Tarski property of Stationary Logic

abstract: Fuchino-Maschio-Sakai~\cite{FuchinoEtAl_DRP_LST} proved that the L\"owenheim-Skolem-Tarski (LST) property of Stationary Logic is equivalent to the Diagonal Reflection Principle on internally club sets ($\text{DRP}_{\text{IC}}$) introduced in \cite{DRP}. We prove that the restriction of the LST property to (downward) reflection of $\Pi^1_1$ formulas, which we call the $\Pi^1_1 \! \! \downarrow$-LST property, is equivalent to the \emph{internal} version of DRP from \cite{Cox_RP_IS}. Combined with results from \cite{Cox_RP_IS}, this shows that the $\Pi^1_1 \! \! \downarrow$-LST Property for Stationary Logic is strictly weaker than the full LST Property for Stationary Logic, though if CH holds they are equivalent.


title: Using the Split Bregman Algorithm to Solve the Self-repelling Snake Model

abstract: Preserving contour topology during image segmentation is useful in many practical scenarios. By keeping the contours isomorphic, it is possible to prevent over-segmentation and under-segmentation, as well as to adhere to given topologies. The Self-repelling Snake model (SR) is a variational model that preserves contour topology by combining a non-local repulsion term with the geodesic active contour model (GAC). The SR is traditionally solved using the additive operator splitting (AOS) scheme. In our paper, we propose an alternative solution to the SR using the Split Bregman method. Our algorithm breaks the problem down into simpler sub-problems to use lower-order evolution equations and a simple projection scheme rather than re-initialization. The sub-problems can be solved via fast Fourier transform (FFT) or an approximate soft thresholding formula which maintains stability, shortening the convergence time, and reduces the memory requirement. The Split Bregman and AOS algorithms are compared theoretically and experimentally.


title: Countering Language Drift with Seeded Iterated Learning

abstract: Pretraining on human corpus and then finetuning in a simulator has become a standard pipeline for training a goal-oriented dialogue agent. Nevertheless, as soon as the agents are finetuned to maximize task completion, they suffer from the so-called language drift phenomenon: they slowly lose syntactic and semantic properties of language as they only focus on solving the task. In this paper, we propose a generic approach to counter language drift called Seeded iterated learning (SIL). We periodically refine a pretrained student agent by imitating data sampled from a newly generated teacher agent. At each time step, the teacher is created by copying the student agent, before being finetuned to maximize task completion. SIL does not require external syntactic constraint nor semantic knowledge, making it a valuable task-agnostic finetuning protocol. We evaluate SIL in a toy-setting Lewis Game, and then scale it up to the translation game with natural language. In both settings, SIL helps counter language drift as well as it improves the task completion compared to baselines.


title: Supercharacter theory via the group determinant

abstract: Ferdinand Georg Frobenius is generally considered the creator of character theory of finite groups. This achievement came from the study of the group determinant, which is the determinant of a matrix coming from the regular representation. In this paper, we generalize several of Frobenius' results about the group determinant and use them find a new formulation of supercharacter theory in terms of factorizations of the group determinant.


title: Different minds in the jigsaw puzzle of H-bomb story

abstract: The Super-bomb issue contained two problems: feasibility of physical engineering and political need to get H-bomb ASAP. And there were two radically different assessments of these problems by outstanding physicists Hans Bethe and Edward Teller, connected by many years of personal friendship and engaged in the US nuclear project from the very beginning, as the head of the Theoretical Division at Los Alamos and the leading figure in thermonuclear research. This puzzle is solved by using the history of the Soviet H-bomb, in particular the declassified documents on the role of Klaus Fuchs.


title: Semantically Multi-modal Image Synthesis

abstract: In this paper, we focus on semantically multi-modal image synthesis (SMIS) task, namely, generating multi-modal images at the semantic level. Previous work seeks to use multiple class-specific generators, constraining its usage in datasets with a small number of classes. We instead propose a novel Group Decreasing Network (GroupDNet) that leverages group convolutions in the generator and progressively decreases the group numbers of the convolutions in the decoder. Consequently, GroupDNet is armed with much more controllability on translating semantic labels to natural images and has plausible high-quality yields for datasets with many classes. Experiments on several challenging datasets demonstrate the superiority of GroupDNet on performing the SMIS task. We also show that GroupDNet is capable of performing a wide range of interesting synthesis applications. Codes and models are available at: https://github.com/Seanseattle/SMIS.


title: Learning Dense Visual Correspondences in Simulation to Smooth and Fold Real Fabrics

abstract: Robotic fabric manipulation is challenging due to the infinite dimensional configuration space, self-occlusion, and complex dynamics of fabrics. There has been significant prior work on learning policies for specific deformable manipulation tasks, but comparatively less focus on algorithms which can efficiently learn many different tasks. In this paper, we learn visual correspondences for deformable fabrics across different configurations in simulation and show that this representation can be used to design policies for a variety of tasks. Given a single demonstration of a new task from an initial fabric configuration, the learned correspondences can be used to compute geometrically equivalent actions in a new fabric configuration. This makes it possible to robustly imitate a broad set of multi-step fabric smoothing and folding tasks on multiple physical robotic systems. The resulting policies achieve 80.3% average task success rate across 10 fabric manipulation tasks on two different robotic systems, the da Vinci surgical robot and the ABB YuMi. Results also suggest robustness to fabrics of various colors, sizes, and shapes. See https://tinyurl.com/fabric-descriptors for supplementary material and videos.


title: Bypassing the Monster: A Faster and Simpler Optimal Algorithm for Contextual Bandits under Realizability

abstract: We consider the general (stochastic) contextual bandit problem under the realizability assumption, i.e., the expected reward, as a function of contexts and actions, belongs to a general function class $\mathcal{F}$. We design a fast and simple algorithm that achieves the statistically optimal regret with only ${O}(\log T)$ calls to an offline regression oracle across all $T$ rounds. The number of oracle calls can be further reduced to $O(\log\log T)$ if $T$ is known in advance. Our results provide the first universal and optimal reduction from contextual bandits to offline regression, solving an important open problem in the contextual bandit literature. A direct consequence of our results is that any advances in offline regression immediately translate to contextual bandits, statistically and computationally. This leads to faster algorithms and improved regret guarantees for broader classes of contextual bandit problems.


title: Spin transport and dynamic properties of two-dimensional spin-momentum locked states

abstract: Materials with spin-momentum locked surface or interface states provide an interesting playground for studying physics and application of charge-spin current conversion. To characterize their non-equilibrium magnetic and transport properties in the presence of a time-dependent external magnetic field and a spin injection from a contact, we introduce three macroscopic variables: a vectorial helical magnetization, a scaler helical magnetization, and the conventional magnetization. We derive a set of closed dynamic equations for these variables by using the spinor Boltzmann approach with the collision terms consistent with the symmetry of spin-momentum locked states. By solving the dynamic equations, we predict several intriguing magnetic and transport phenomena which are experimentally accessible, including magnetic resonant response to an AC applied magnetic field, charge-spin conversion, and spin current induced by the dynamics of helical magnetization.


title: Extremal graphs of the $k$-th power of paths

abstract: An extremal graph for a given graph $H$ is a graph with maximum number of edges on fixed number of vertices without containing a copy of $H$. The $k$-th power of a path is a graph obtained from a path and joining all pair of vertices of the path with distance less than $k$. Applying a deep theorem of Simonovits, we characterize the extremal graphs of the $k$-th power of paths. This settles a conjecture posed by Xiao, Katona, Xiao and Zamora in a stronger form.


title: On cubulated relatively hyperbolic groups

abstract: We show that properly and cocompactly cubulated relatively hyperbolic groups are virtually special, provided the peripheral subgroups are virtually special in a way that is compatible with the cubulation. This extends Agol's result for cubulated hyperbolic groups, and applies to a wide range of peripheral subgroups. In particular, we deduce virtual specialness for properly and cocompactly cubulated groups that are hyperbolic relative to virtually abelian groups. As another consequence, by using a theorem of Martin and Steenbock we obtain virtual specialness for groups obtained as a quotient of a free product of finitely many virtually compact special groups by a finite set of relators satisfying the classical $C'(1/6)$-small cancellation condition.


title: DaST: Data-free Substitute Training for Adversarial Attacks

abstract: Machine learning models are vulnerable to adversarial examples. For the black-box setting, current substitute attacks need pre-trained models to generate adversarial examples. However, pre-trained models are hard to obtain in real-world tasks. In this paper, we propose a data-free substitute training method (DaST) to obtain substitute models for adversarial black-box attacks without the requirement of any real data. To achieve this, DaST utilizes specially designed generative adversarial networks (GANs) to train the substitute models. In particular, we design a multi-branch architecture and label-control loss for the generative model to deal with the uneven distribution of synthetic samples. The substitute model is then trained by the synthetic samples generated by the generative model, which are labeled by the attacked model subsequently. The experiments demonstrate the substitute models produced by DaST can achieve competitive performance compared with the baseline models which are trained by the same train set with attacked models. Additionally, to evaluate the practicability of the proposed method on the real-world task, we attack an online machine learning model on the Microsoft Azure platform. The remote model misclassifies 98.35% of the adversarial examples crafted by our method. To the best of our knowledge, we are the first to train a substitute model for adversarial attacks without any real data.


title: The influence of high-energy local orbitals and electron-phonon interactions on the band gaps and optical spectra of hexagonal boron nitride

abstract: We report $ab$ $initio$ band diagram and optical absorption spectra of hexagonal boron nitride ($h$-BN), focusing on unravelling how the completeness of basis set for $GW$ calculations and how electron-phonon interactions (EPIs) impact on them. The completeness of basis set, an issue which was seldom discussed in previous optical spectra calculations of $h$-BN, is found crucial in providing converged quasiparticle band gaps. In the comparison among three different codes, we demonstrate that by including high-energy local orbitals in the all-electron linearized augmented plane waves based $GW$ calculations, the quasiparticle direct and fundamental indirect band gaps are widened by $\sim$0.2 eV, giving values of 6.81 eV and 6.25 eV respectively at the $GW_0$ level. EPIs, on the other hand, reduce them to 6.62 eV and 6.03 eV respectively at 0 K, and 6.60 eV and 5.98 eV respectively at 300 K. With clamped crystal structure, the first peak of the absorption spectrum is at 6.07 eV, originating from the direct exciton contributed by electron transitions around $K$ in the Brillouin zone. After including the EPIs-renormalized quasiparticles in the Bethe-Salpeter equation, the exciton-phonon coupling shifts the first peak to 5.83 eV at 300 K, lower than the experimental value of $\sim$6.00 eV. This accuracy is acceptable to an $ab$ $initio$ description of excited states with no fitting parameter.


title: Differentially Private Federated Learning for Resource-Constrained Internet of Things

abstract: With the proliferation of smart devices having built-in sensors, Internet connectivity, and programmable computation capability in the era of Internet of things (IoT), tremendous data is being generated at the network edge. Federated learning is capable of analyzing the large amount of data from a distributed set of smart devices without requiring them to upload their data to a central place. However, the commonly-used federated learning algorithm is based on stochastic gradient descent (SGD) and not suitable for resource-constrained IoT environments due to its high communication resource requirement. Moreover, the privacy of sensitive data on smart devices has become a key concern and needs to be protected rigorously. This paper proposes a novel federated learning framework called DP-PASGD for training a machine learning model efficiently from the data stored across resource-constrained smart devices in IoT while guaranteeing differential privacy. The optimal schematic design of DP-PASGD that maximizes the learning performance while satisfying the limits on resource cost and privacy loss is formulated as an optimization problem, and an approximate solution method based on the convergence analysis of DP-PASGD is developed to solve the optimization problem efficiently. Numerical results based on real-world datasets verify the effectiveness of the proposed DP-PASGD scheme.


title: 5-Dissections and sign patterns of Ramanujan's parameter and its companion

abstract: In 1998, Michael Hirschhorn discovered 5-dissections of the Rogers--Ramanujan continued fraction $R(q)$ and its reciprocal. In this paper, we obtain the 5-dissections for functions $R(q)R(q^2)^2$ and $R(q)^2/R(q^2)$, which are essentially Ramanujan's parameter and its companion. 5-Dissections of the reciprocals of these two functions are derived as well. These 5-dissections imply that the coefficients in their series expansions have periodic sign patterns with few exceptions.


title: Vanishing coefficients in several $q$-series expansions related to the Rogers--Ramanujan continued fraction

abstract: In this paper, we investigate several infinite products with vanishing Taylor coefficients in arihmetic progressions. These infinite products are closely related to the Rogers--Ramanujan continued fraction. Moreover, a handful of new identities involving Ramanujan's parameters will be established.


title: Continuous-variable pairwise entanglement based on optoelectromechanical system

abstract: Inspired by the discrete-variable pairwise entanglement, in this work, we in theory analyze the continuous-variable pairwise entanglement between microwave modes based on a hybrid optoelectromechanical system, where the multi-pair microwave superconducting circuits simutaneously interact with each other via a mechanical resonator, which forms a Fabry-P\'erot cavity along with a standing mirror. With experimentally reachable parameter settings, wanted entanglement can be acheived when the pair number up to 10, and more is also available, which has the potential to be useful in quantum technologies where the demand for scalability and intergration is continuously increasing.


title: Uma prova elementar da f\'ormula de Euler usando o m\'etodo de Cauchy

abstract: The use of Cauchy's method in proving the well-known Euler formula is an object of many controversies. The purpose of this paper is to prove that the Cauchy's method applies for convex polyhedra and not only for them, but also for surfaces such as the torus, the projective plane, the Klein bottle and the pinched torus.


title: A Streaming On-Device End-to-End Model Surpassing Server-Side Conventional Model Quality and Latency

abstract: Thus far, end-to-end (E2E) models have not been shown to outperform state-of-the-art conventional models with respect to both quality, i.e., word error rate (WER), and latency, i.e., the time the hypothesis is finalized after the user stops speaking. In this paper, we develop a first-pass Recurrent Neural Network Transducer (RNN-T) model and a second-pass Listen, Attend, Spell (LAS) rescorer that surpasses a conventional model in both quality and latency. On the quality side, we incorporate a large number of utterances across varied domains to increase acoustic diversity and the vocabulary seen by the model. We also train with accented English speech to make the model more robust to different pronunciations. In addition, given the increased amount of training data, we explore a varied learning rate schedule. On the latency front, we explore using the end-of-sentence decision emitted by the RNN-T model to close the microphone, and also introduce various optimizations to improve the speed of LAS rescoring. Overall, we find that RNN-T+LAS offers a better WER and latency tradeoff compared to a conventional model. For example, for the same latency, RNN-T+LAS obtains a 8% relative improvement in WER, while being more than 400-times smaller in model size.


title: The effect of photoionising feedback on the shaping of hierarchically-forming stellar clusters

abstract: We use two hydrodynamical simulations (with and without photoionising feedback) of the self-consistent evolution of molecular clouds (MCs) undergoing global hierarchical collapse (GHC), to study the effect of the feedback on the structural and kinematic properties of the gas and the stellar clusters formed in the clouds. During this early stage, the evolution of the two simulations is very similar (implying that the feedback from low mass stars does not affect the cloud-scale evolution significantly) and the star-forming region accretes faster than it can convert gas to stars, causing the instantaneous measured star formation efficiency (SFE) to remain low even in the absence of significant feedback. Afterwards, the ionising feedback first destroys the filamentary supply to star-forming hubs and ultimately removes the gas from it, thus first reducing the star formation (SF) and finally halting it. The ionising feedback also affects the initial kinematics and spatial distribution of the forming stars, because the gas being dispersed continues to form stars, which inherit its motion. In the non-feedback simulation, the groups remain highly compact and do not mix, while in the run with feedback, the gas dispersal causes each group to expand, and the cluster expansion thus consists of the combined expansion of the groups. Most secondary star-forming sites around the main hub are also present in the non-feedback run, implying a primordial rather than triggered nature. We do find one example of a peripheral star-forming site that appears only in the feedback run, thus having a triggered origin. However, this appears to be the exception rather than the rule, although this may be an artifact of our simplified radiative transfer scheme.


title: Analysis and Experimental Demonstration of Orthant-Symmetric Four-dimensional 7 bit/4D-sym Modulation for Optical Fiber Communication

abstract: We propose a new four-dimensional orthant-symmetric 128-ary modulation format (4D-OS128) with a spectral efficiency of 7bit/4D-sym. The proposed format fills the gap between polarization-multiplexed 8- and 16-ary quadrature-amplitude modulation (PM-8QAM and PM-16QAM).Numerical simulations show that 4D-OS128 outperforms two well-studied 4D geometrically-shaped modulation formats: 128SP-16QAM and 7b4D-2A8PSK by up to 0.65dB for bit-interleaved coded modulation at the same spectral efficiency. These gains are experimentally demonstrated in a 11$\times$233Gbit/s wavelength division multiplexing (WDM) transmission system operating at 5.95 bit/4D-sym over 6000km and 9000km for both EDFA-only and hybrid amplification scenarios, respectively. A reach increase of 15% is achieved with respect to 128-ary set-partitioning 16QAM. Furthermore, the proposed 4D-OS128 is also compared to $\boldsymbol{D}_4$ lattice-based constellation and probabilistically-shaped 16QAM with finite blocklength via simulation.


title: Spatial structuring of light for undergraduate laboratory

abstract: In recent times, spatial light modulators have become a common tool in optics laboratories as well as industrial environment to shape the spatial structure of a beam. Although these devices are often easy to use, they usually come at a high cost such that they are far from being implemented in a lot of undergraduate laboratories. However, over the last years, the progress in developing more cost-effective projectors has led to affordable spatial light modulators in the form of so-called Digital Micromirror Devices (DMD). This reduction in price, as well as their simple usage, make such devices increasingly suitable for undergraduate laboratories to demonstrate optical effects and the shaping of light fields. Here, we show one of the most cost-effective ways to make a DMD available, namely turning a projector evaluation module into a computer-controlled spatial light modulator. We explain the underlying functioning and how this low-cost spatial light modulator can be used in undergraduate laboratories. We further characterize the efficiency of the device for the most commonly used laser wavelengths and demonstrate various exemplary optics experiments suitable for undergraduate laboratories ranging from single and multi-slit diffraction, to optical Fourier transformations. Lastly, we show that using amplitude holography, the device can be used to generate transverse spatial modes, e.g. Laguerre-Gaussian beam, which are one of the most commonly used spatially structured beams.


title: Some inequalities on $h$-convex functions

abstract: In this paper, we state some characterizations of $h$-convex function is defined on a convex set in a linear space. By doing so, we extend the Jensen-Mercer inequality for $h$-convex function. We will also define $h$-convex function for operators on a Hilbert space and present the operator version of the Jensen-Mercer inequality. Lastly, we propound the complementary inequality of Jensen's inequality for $h$-convex functions.


title: Field-induced SU(4) to SU(2) Kondo crossover in a half-filling nanotube dot: spectral and finite-temperature properties

abstract: We study finite-temperature properties of the Kondo effect in a carbon nanotube (CNT) quantum dot using the Wilson numerical renormalization group (NRG). In the absence of magnetic fields, four degenerate energy levels of the CNT consisting of spin and orbital degrees of freedom give rise to the SU(4) Kondo effect. We revisit the universal scaling behavior of the SU(4) conductance for quarter- and half-filling in a wide temperature range. We find that the filling dependence of the universal scaling behavior at low temperatures $T$ can be explained clearly with an extended Fermi-liquid theory. This theory clarifies that a $T^{2}$ coefficient of conductance becomes zero at quarter-filling whereas the coefficient at half-filling is finite. We also study a field-induced crossover from the SU(4) to SU(2) Kondo state observed at the half-filled CNT dot. The crossover is caused by the matching of the spin and orbital Zeeman splittings, which lock two levels among the four at the Fermi level even in magnetic fields $B$. We find that the conductance shows the SU($4$) scaling behavior at $\mu_{B}B<k_{B}T_{K}^{\mathrm{SU(4)}}$ and it exhibits the SU($2$) universality at $\mu_{B}B\gg k_{B}T_{K}^{\mathrm{SU(4)}}$, where $T_{K}^{\mathrm{SU(4)}}$ is the SU($4$) Kondo temperature. To clarify how the excited states evolve along the SU(4) to SU(2) crossover, we also calculate the spectral function. The results show that the Kondo resonance width of the two states locked at the Fermi level becomes sharper with increasing fields. The spectral peaks of the other two levels moving away from the Fermi level merge with atomic limit peaks for $\mu_{B}B \gtrsim k_{B}T_{K}^{\mathrm{SU(4)}}$.


title: Ptychographic X-ray Speckle Tracking with Multi Layer Laue Lens Systems

abstract: The ever-increasing brightness of synchrotron radiation sources demands improved x-ray optics to utilise their capability for imaging and probing biological cells, nano-devices, and functional matter on the nanometre scale with chemical sensitivity. Hard x-rays are ideal for high-resolution imaging and spectroscopic applications due to their short wavelength, high penetrating power, and chemical sensitivity. The penetrating power that makes x-rays useful for imaging also makes focusing them technologically challenging. Recent developments in layer deposition techniques that have enabled the fabrication of a series of highly focusing x-ray lenses, known as wedged multi layer Laue lenses. Improvements to the lens design and fabrication technique demands an accurate, robust, in-situ and at-wavelength characterisation method. To this end, we have developed a modified form of the speckle-tracking wavefront metrology method, the ptychographic x-ray speckle tracking method, which is capable of operating with highly divergent wavefields. A useful by-product of this method, is that it also provides high-resolution and aberration-free projection images of extended specimens. We report on three separate experiments using this method, where we have resolved ray path angles to within 4 nano-radians with an imaging resolution of 45nm (full-period). This method does not require a high degree of coherence, making it suitable for lab based x-ray sources. Likewise it is robust to errors in the registered sample positions making it suitable for x-ray free-electron laser facilities, where beam pointing fluctuations can be problematic for wavefront metrology.


title: Energy correction based on fluorescence attenuation of DAMPE

abstract: The major scientific goals of DArk Matter Particle Explorer (DAMPE) are to study cosmic-ray electrons (including positrons) and gamma rays from 5 GeV to 10 TeV and nuclei from Z = 1 to 26 up to 100 TeV. The deposited energy measured by the Bismuth Germanate Oxide (BGO) calorimeter of DAMPE is affected by fluorescence attenuation in BGO crystals that are 600 mm long. In this work, an in-orbit attenuation calibration method is reported, and energy correction of the sensitive detector unit of the BGO calorimeter is also presented.


title: Mining Implicit Entity Preference from User-Item Interaction Data for Knowledge Graph Completion via Adversarial Learning

abstract: The task of Knowledge Graph Completion (KGC) aims to automatically infer the missing fact information in Knowledge Graph (KG). In this paper, we take a new perspective that aims to leverage rich user-item interaction data (user interaction data for short) for improving the KGC task. Our work is inspired by the observation that many KG entities correspond to online items in application systems. However, the two kinds of data sources have very different intrinsic characteristics, and it is likely to hurt the original performance using simple fusion strategy. To address this challenge, we propose a novel adversarial learning approach by leveraging user interaction data for the KGC task. Our generator is isolated from user interaction data, and serves to improve the performance of the discriminator. The discriminator takes the learned useful information from user interaction data as input, and gradually enhances the evaluation capacity in order to identify the fake samples generated by the generator. To discover implicit entity preference of users, we design an elaborate collaborative learning algorithms based on graph neural networks, which will be jointly optimized with the discriminator. Such an approach is effective to alleviate the issues about data heterogeneity and semantic complexity for the KGC task. Extensive experiments on three real-world datasets have demonstrated the effectiveness of our approach on the KGC task.


title: Energy-Aware Offloading in Time-Sensitive Networks with Mobile Edge Computing

abstract: Mobile Edge Computing (MEC) enables rich services in close proximity to the end users to provide high quality of experience (QoE) and contributes to energy conservation compared with local computing, but results in increased communication latency. In this paper, we investigate how to jointly optimize task offloading and resource allocation to minimize the energy consumption in an orthogonal frequency division multiple access-based MEC networks, where the time-sensitive tasks can be processed at both local users and MEC server via partial offloading. Since the optimization variables of the problem are strongly coupled, we first decompose the orignal problem into three subproblems named as offloading selection (PO ), transmission power optimization (PT ), and subcarriers and computing resource allocation (PS ), and then propose an iterative algorithm to deal with them in a sequence. To be specific, we derive the closed-form solution for PO , employ the equivalent parametric convex programming to cope with the objective function which is in the form of sum of ratios in PT , and deal with PS by an alternating way in the dual domain due to its NP-hardness. Simulation results demonstrate that the proposed algorithm outperforms the existing schemes.


title: A Nuclear Periodic Table

abstract: There have been many empirical evindences which show that the single-particle picture holds to a good approximation in atomic nuclei. In this picture, protons and neutrons move independently inside a mean-field potential generated by an interaction among the nucleons. This leads to the concept of nuclear shells, similar to the electronic shells in atoms. In particular, the magic numbers due to closures of the nucleonic shells, corresponding to noble gases in elements, have been known to play an important role in nuclear physics. Here we propose a periodic table for atomic nuclei, in which the elements are arranged according to the known nucleonic shells. The nuclear periodic table clearly indicates that nuclei in the vicinity of the magic numbers can be understood in terms of a shell closure with one or two additional nucleons or nucleon holes, while nuclei far from the magic numbers are characterized by nuclear deformation.


title: Conformal invariance and quantum non-locality in critical hybrid circuits

abstract: We establish the emergence of a conformal field theory (CFT) in a (1+1)-dimensional hybrid quantum circuit right at the measurement-driven entanglement transition by revealing space-time conformal covariance of entanglement entropies and mutual information for various subregions at different circuit depths. While the evolution takes place in real time, the spacetime manifold of the circuit appears to host a Euclidean field theory with imaginary time. Throughout the paper we investigate Clifford circuits with several different boundary conditions by injecting physical qubits at the spatial and/or temporal boundaries, all giving consistent characterizations of the underlying "Clifford CFT." We emphasize (super)universal results that are consequences solely of the conformal invariance and do not depend crucially on the precise nature of the CFT. Among these are the infinite entangling speed as a consequence of measurement-induced quantum nonlocality and the critical purification dynamics of a mixed initial state.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech cond-mat.str-el


title: Power and spatial complexity in stochastic reconnection

abstract: The level of spatial complexity associated with a given vector field on an arbitrary range of scales \iffalse ${\bf F(x}, t)$ can be quantified by a simple, time-dependent function $S(t)={1\over 2}(1-\hat{\bf F}_l.\hat{\bf F}_L)_{rms}$ with ${\bf F}_l$ (${\bf F}_L$) being the average field in a volume of scale $l$ ($L>l$) and the unit vector defined as $\hat{\bf F}={\bf F}/|{\bf F}|$. Thus,\fi can be quantified by a simple, scale-dependent function of time; $0\leq S(t)\leq 1$. Previous work has invoked kinetic and magnetic complexities, associated with velocity and magnetic fields ${\bf u(x}, t)$ and ${\bf B(x}, t)$, to study magnetic reconnection and diffusion in turbulent and magnetized fluids. In this paper, using the coarse-grained momentum equation, we argue that the fluid jets associated with magnetic reconnection events at an arbitrary scale $l$ in the turbulence inertial range are predominantly driven by the Lorentz force ${\bf{N}}_l=({\bf j\times B})_l-{\bf j}_l\times {\bf B}_l$. This force, is induced by the subscale currents and is analogous to the turbulent electromotive force ${\cal E}_l=({\bf u\times B})_l-{\bf u}_l\times {\bf B}_l$ in dynamo theories. Typically, high (low) magnetic complexities during reconnection imply large (small) spatial gradients for the magnetic field, i.e., strong (weak) Lorentz forces ${\bf N}_l$. Reconnection launches jets of fluid, hence the rate of change of kinetic complexity is expected to strongly correlate with the power injected by the Lorentz force ${\bf N}_l$. We test this prediction using an incompressible, homogeneous magnetohydrodynamic (MHD) simulation and associate it with previous results. It follows that the stronger (weaker) the turbulence, the more (less) complex the magnetic field and the stronger (weaker) the reconnection field and thus the ensuing reconnection.


title: Strong Coupling Constants of the Doubly Heavy $ \Xi_{QQ} $ Baryons with $ \pi $ Meson

abstract: The doubly charmed $\Xi_{cc}^{++} (ccu)$ state is the only listed baryon in PDG, which was discovered in the experiment. The LHCb collaboration gets closer to discovering the second doubly charmed baryon $\Xi_{cc}^{+} (ccd)$, hence the investigation of the doubly charmed/bottom baryons from many aspects is of great importance that may help us not only get valuable knowledge on the nature of the newly discovered states, but also in the search for other members of the doubly heavy baryons predicted by the quark model. In this context, we investigate the strong coupling constants among the $\Xi_{cc}^{+(+)}$ baryons and $\pi^{0(\pm)}$ mesons by means of light cone QCD sum rule. Using the general forms of the interpolating currents of the $\Xi_{cc}^{+(+)}$ baryons and the distribution amplitudes (DAs) of the $\pi$ meson, we extract the values of the coupling constants $g_{\Xi_{cc} \Xi_{cc} \pi}$. We extend our analyses to calculate the strong coupling constants among the b-partner baryons with $\pi$ mesons, as well, and extract the values of the strong couplings $g_{\Xi_{bb} \Xi_{bb} \pi}$. It is observed that the values of the couplings under study in bottom channels are about 4 times greater than those of the charmed channels. The results of this study may help experimental groups in the analyses of the data related to the strong coupling constants among the hadronic multiplets.


title: Predicting the Popularity of Micro-videos with Multimodal Variational Encoder-Decoder Framework

abstract: As an emerging type of user-generated content, micro-video drastically enriches people's entertainment experiences and social interactions. However, the popularity pattern of an individual micro-video still remains elusive among the researchers. One of the major challenges is that the potential popularity of a micro-video tends to fluctuate under the impact of various external factors, which makes it full of uncertainties. In addition, since micro-videos are mainly uploaded by individuals that lack professional techniques, multiple types of noise could exist that obscure useful information. In this paper, we propose a multimodal variational encoder-decoder (MMVED) framework for micro-video popularity prediction tasks. MMVED learns a stochastic Gaussian embedding of a micro-video that is informative to its popularity level while preserves the inherent uncertainties simultaneously. Moreover, through the optimization of a deep variational information bottleneck lower-bound (IBLBO), the learned hidden representation is shown to be maximally expressive about the popularity target while maximally compressive to the noise in micro-video features. Furthermore, the Bayesian product-of-experts principle is applied to the multimodal encoder, where the decision for information keeping or discarding is made comprehensively with all available modalities. Extensive experiments conducted on a public dataset and a dataset we collect from Xigua demonstrate the effectiveness of the proposed MMVED framework.


title: A Graph to Graphs Framework for Retrosynthesis Prediction

abstract: A fundamental problem in computational chemistry is to find a set of reactants to synthesize a target molecule, a.k.a. retrosynthesis prediction. Existing state-of-the-art methods rely on matching the target molecule with a large set of reaction templates, which are very computationally expensive and also suffer from the problem of coverage. In this paper, we propose a novel template-free approach called G2Gs by transforming a target molecular graph into a set of reactant molecular graphs. G2Gs first splits the target molecular graph into a set of synthons by identifying the reaction centers, and then translates the synthons to the final reactant graphs via a variational graph translation framework. Experimental results show that G2Gs significantly outperforms existing template-free approaches by up to 63% in terms of the top-1 accuracy and achieves a performance close to that of state-of-the-art template based approaches, but does not require domain knowledge and is much more scalable.


title: speckle-tracking: a Software Suite for Ptychographic X-ray Speckle Tracking

abstract: In recent years, x-ray speckle tracking techniques have emerged as viable tools for wavefront metrology and sample imaging applications. These methods are based on the measurement of near-field images. Thanks to the simple experimental set-up, high angular sensitivity and compatibility with low coherence sources these methods have been actively developed for use with synchrotron and laboratory light sources. Not only do speckle-tracking techniques give the potential for high resolution imaging, but they also provide rapid and robust characterisation of aberrations of x-ray optical elements, focal spot profiles and the sample position and transmission properties. In order to realise these capabilities, we require software implementations that are equally rapid and robust. To address this need, a software suite has been developed for the "ptychographic x-ray speckle tracking technique" -- an x-ray speckle based method suitable for highly divergent wavefields. The software suite is written in Python 3, with an OpenCL back end for GPU and multi-CPU core processing. It is accessible as a Python module, through the command line or through a graphical user interface and is available as source code under version 3 or later of the GNU General Public License.


title: Broadband Enhancement of On-chip Single Photon Extraction via Tilted Hyperbolic Metamaterials

abstract: A fundamental building block for on-chip quantum photonics is a single-photon source with high repetition rates, which can enable many applications such as high-speed quantum communication and quantum information processing. Ideally, such single photon sources would then require a large on-chip photon extraction decay rate, namely the rate of excited photons coupled into nanofibers or waveguides, over a broad spectral range. However, this goal has remained elusive till date. Here we propose a feasible scheme to enhance the on-chip photon extraction decay rate of quantum emitters, through the tilting of the optical axis of hyperbolic metamaterials with respect to the end-facet of nanofibers. Importantly, the revealed scheme is applicable to arbitrarily orientated quantum emitters over a broad spectral range, e.g., up to ~80 nm for visible light. The underlying physics relies on the emerging unique feature of hyperbolic metamaterials if their optical axis is judiciously tilted. That is, their supported high-k (i.e., wavevector) hyperbolic eigenmodes, which are intrinsically confined inside them if their optical axis is un-tilted, can now become momentum-matched with the guided modes of nanofibers, and more importantly, they can safely couple into nanofibers almost without reflection.


title: Concept of the Solar Ring Mission: Overview

abstract: The concept of the Solar Ring mission was gradually formed from L5/L4 mission concept, and the proposal of its pre-phase study was funded by the National Natural Science Foundation of China in November 2018 and then by the Strategic Priority Program of Chinese Academy of Sciences in space sciences in May 2019. Solar Ring mission will be the first attempt to routinely monitor and study the Sun and inner heliosphere from a full 360-degree perspective in the ecliptic plane. The current preliminary design of the Solar Ring mission is to deploy six spacecraft, grouped in three pairs, on a sub-AU orbit around the Sun. The two spacecraft in each group are separated by about 30 degrees and every two groups by about 120 degrees. This configuration with necessary science payloads will allow us to establish three unprecedented capabilities: (1) determine the photospheric vector magnetic field with unambiguity, (2) provide 360-degree maps of the Sun and the inner heliosphere routinely, and (3) resolve the solar wind structures at multiple scales and multiple longitudes. With these capabilities, the Solar Ring mission aims to address the origin of solar cycle, the origin of solar eruptions, the origin of solar wind structures and the origin of severe space weather events. The successful accomplishment of the mission will advance our understanding of the star and the space environment that hold our life and enhance our capability of expanding the next new territory of human.


title: NMS by Representative Region: Towards Crowded Pedestrian Detection by Proposal Pairing

abstract: Although significant progress has been made in pedestrian detection recently, pedestrian detection in crowded scenes is still challenging. The heavy occlusion between pedestrians imposes great challenges to the standard Non-Maximum Suppression (NMS). A relative low threshold of intersection over union (IoU) leads to missing highly overlapped pedestrians, while a higher one brings in plenty of false positives. To avoid such a dilemma, this paper proposes a novel Representative Region NMS approach leveraging the less occluded visible parts, effectively removing the redundant boxes without bringing in many false positives. To acquire the visible parts, a novel Paired-Box Model (PBM) is proposed to simultaneously predict the full and visible boxes of a pedestrian. The full and visible boxes constitute a pair serving as the sample unit of the model, thus guaranteeing a strong correspondence between the two boxes throughout the detection pipeline. Moreover, convenient feature integration of the two boxes is allowed for the better performance on both full and visible pedestrian detection tasks. Experiments on the challenging CrowdHuman and CityPersons benchmarks sufficiently validate the effectiveness of the proposed approach on pedestrian detection in the crowded situation.


title: Why did developers migrate Android applications from Java to Kotlin?

abstract: Currently, the majority of apps running on mobile devices are Android apps developed in Java. However, developers can now write Android applications using a new programming language: Kotlin, which Google adopted in 2017 as an official programming language for developing Android apps. Since then, Android developers have been able to: a) start writing Android applications from scratch using Kotlin, b) evolve their existing Android applications written in Java by adding Kotlin code (possible thanks to the interoperability between the two languages), or c) migrate their Android apps from Java to Kotlin. This paper aims to study this last case. We conducted a qualitative study to find out why Android developers have migrated Java code to Kotlin and to bring together their experiences about the process, in order to identify the main difficulties they have faced. To execute the study, we first identified commits from open-source Android projects that have migrated Java code to Kotlin. Then, we emailed the developers that wrote those migrations. We thus obtained information from 98 developers who had migrated code from Java to Kotlin. This paper presents the main reasons identified by the study for performing the migration. We found that developers migrated Java code to Kotlin in order to access programming language features (e.g., extension functions, lambdas, smart casts) that are not available with Java for Android development, and to obtain safer code (i.e., avoid null-pointer exceptions). We also identified research directions that the research community could focus on in order to help developers to improve the experience of migrating their Java applications to Kotlin.


title: On Waring-Goldbach Problem for Squares, Cubes and Higher Powers

abstract: Let $\mathcal{P}_r$ denote an almost-prime with at most $r$ prime factors, counted according to multiplicity. In this paper, we generalize the result of Vaughan for ternary admissible exponent. Moreover, we use the refined admissible exponent to prove that, for $3\leqslant k\leqslant 14$ and for every sufficiently large even integer $n$, the following equation \begin{equation*} n=x^2+p_1^2+p_2^3+p_3^3+p_4^3+p_5^k \end{equation*} is solvable with $x$ being an almost-prime $\mathcal{P}_{r(k)}$ and the other variables primes, where $r(k)$ is defined in Theorem. This result constitutes a deepening upon that of previous results.


title: Categories of quantum walks

abstract: We propose categories of $1$-dimensional and multi-dimensional quantum walks. In the categories, an object is a quantum walk, and a morphism is an intertwining operator between two quantum walks. The new framework enables us to discuss quantum walks in a unified way. The purposes of this paper are the following: (1) We reinterpret known results in our new framework. (2) We show several new theorems. For example, it is proved that every space-homogeneous time-periodic analytic quantum walk on $\mathbb{Z}^d$ has a limit distribution of velocity for every initial unit vector. Analyticity is a very weak condition. (3) We ask whether there exists a continuous-time quantum walk $(V^{(t)})_{t \in \mathbb{R}}$ which realizes a given discrete-time quantum walk $U$. Existence of $(V^{(t)})_{t \in \mathbb{R}}$ is equivalent to that of a $1$-parameter group of automorphisms $(V^{(t)})_{t \in \mathbb{R}}$ from the object $U$ to $U$.


title: Submodular Input Selection for Synchronization in Kuramoto Networks

abstract: Synchronization is an essential property of engineered and natural networked dynamical systems. The Kuramoto model of nonlinear synchronization has been widely studied in applications including entrainment of clock cells in brain networks and power system stability. Synchronization of Kuramoto networks has been found to be challenging in the presence of signed couplings between oscillators and when the network includes oscillators with heterogeneous natural frequencies. In this paper, we study the problem of minimum-set control input selection for synchronizing signed Kuramoto networks. We first derive sufficient conditions for synchronization in homogeneous as well as heterogeneous Kuramoto networks using a passivity-based framework. We then develop a submodular algorithm for selecting a minimum set of control inputs for a given Kuramoto network. We evaluate our approach through a numerical study on multiple classes of graphs, including undirected, directed, and cycle graphs.


title: On geometrical structures, associated with linear differential operators of the 1st order

abstract: The problem of equivalency for linear differential operators of the first order is discussed.


title: Exploit Clues from Views: Self-Supervised and Regularized Learning for Multiview Object Recognition

abstract: Multiview recognition has been well studied in the literature and achieves decent performance in object recognition and retrieval task. However, most previous works rely on supervised learning and some impractical underlying assumptions, such as the availability of all views in training and inference time. In this work, the problem of multiview self-supervised learning (MV-SSL) is investigated, where only image to object association is given. Given this setup, a novel surrogate task for self-supervised learning is proposed by pursuing "object invariant" representation. This is solved by randomly selecting an image feature of an object as object prototype, accompanied with multiview consistency regularization, which results in view invariant stochastic prototype embedding (VISPE). Experiments shows that the recognition and retrieval results using VISPE outperform that of other self-supervised learning methods on seen and unseen data. VISPE can also be applied to semi-supervised scenario and demonstrates robust performance with limited data available. Code is available at https://github.com/chihhuiho/VISPE


title: Dichotomy of radio loud and radio quiet quasars in four dimensional eigenvector one (4DE1) parameter space

abstract: Recent work has shown that it is possible to systematize quasars (QSOs) spectral diversity in 4DE1 parameter space. The spectra contained in most of the surveys have low signal to noise ratio which fed the impression that all QSO\'{s} are spectroscopically similar. Exploration of 4DE1 parameter space gave rise to the concept of two populations of QSOs that present important spectroscopic differences. We aim to quantify broad emission line differences between radio quiet and radio loud sources by exploiting more complete samples of QSO with spectral coverage in Hbeta, MgII and CIV emission lines. We used a high redshift sample (0.35 < z < 1) of strong radio emitter QSOs observations from Calar Alto Observatory in Spain.


title: Actor-Transformers for Group Activity Recognition

abstract: This paper strives to recognize individual actions and group activities from videos. While existing solutions for this challenging problem explicitly model spatial and temporal relationships based on location of individual actors, we propose an actor-transformer model able to learn and selectively extract information relevant for group activity recognition. We feed the transformer with rich actor-specific static and dynamic representations expressed by features from a 2D pose network and 3D CNN, respectively. We empirically study different ways to combine these representations and show their complementary benefits. Experiments show what is important to transform and how it should be transformed. What is more, actor-transformers achieve state-of-the-art results on two publicly available benchmarks for group activity recognition, outperforming the previous best published results by a considerable margin.


title: Variational Transformers for Diverse Response Generation

abstract: Despite the great promise of Transformers in many sequence modeling tasks (e.g., machine translation), their deterministic nature hinders them from generalizing to high entropy tasks such as dialogue response generation. Previous work proposes to capture the variability of dialogue responses with a recurrent neural network (RNN)-based conditional variational autoencoder (CVAE). However, the autoregressive computation of the RNN limits the training efficiency. Therefore, we propose the Variational Transformer (VT), a variational self-attentive feed-forward sequence model. The VT combines the parallelizability and global receptive field of the Transformer with the variational nature of the CVAE by incorporating stochastic latent variables into Transformers. We explore two types of the VT: 1) modeling the discourse-level diversity with a global latent variable; and 2) augmenting the Transformer decoder with a sequence of fine-grained latent variables. Then, the proposed models are evaluated on three conversational datasets with both automatic metric and human evaluation. The experimental results show that our models improve standard Transformers and other baselines in terms of diversity, semantic relevance, and human judgment.


title: Modulating Bottom-Up and Top-Down Visual Processing via Language-Conditional Filters

abstract: How to best integrate linguistic and perceptual processing in multi-modal tasks that involve language and vision is an important open problem. In this work, we argue that the common practice of using language in a top-down manner, to direct visual attention over high-level visual features, may not be optimal. We hypothesize that the use of language to also condition the bottom-up processing from pixels to high-level features can provide benefits to the overall performance. To support our claim, we propose a U-Net-based model and perform experiments on two language-vision dense-prediction tasks: referring expression segmentation and language-guided image colorization. We compare results where either one or both of the top-down and bottom-up visual branches are conditioned on language. Our experiments reveal that using language to control the filters for bottom-up visual processing in addition to top-down attention leads to better results on both tasks and achieves competitive performance. Our linguistic analysis suggests that bottom-up conditioning improves segmentation of objects especially when input text refers to low-level visual concepts. Code is available at https://github.com/ilkerkesen/bvpr.


title: Optical shape analysis based on discrete Fourier transform and second order moment calculation of the brightness distribution for the detection of sub-micron range low energy tracks

abstract: To recognize sub-micron range low energy tracks recorded in a super fine grained nuclear emulsion (Nano Imaging Tracker), an elliptical fitting method was devised to analyze anisotropic images taken by an optical microscope. In this paper, we will report on this newly developed method using discrete Fourier transform and second-order moment analysis of the brightness distribution. We succeeded in lowering the ellipticity threshold, thereby improving the detection efficiency and angular resolution. Notably, the success of detecting carbon 30 keV tracks is the first such achievement in the world, where the incident direction of carbon 30 keV ions was determined with an accuracy of 41 degree and an efficiency of 1.7%.


title: High order isometric liftings and dilations

abstract: We show that a Hilbert space bounded linear operator has an $m$-isometric lifting for some integer $m\ge 1$ if and only if the norms of its powers grow polynomially. In analogy with unitary dilations of contractions, we prove that such operators also have an invertible $m$-isometric dilation. We also study $2$-isometric liftings of convex operators and $3$-isometric liftings of Foguel-Hankel operators.


title: From QoS Distributions to QoE Distributions: a System's Perspective

abstract: In the context of QoE management, network and service providers commonly rely on models that map system QoS conditions (e.g., system response time, paket loss, etc.) to estimated end user QoE values. Observable QoS conditions in the system may be assumed to follow a certain distribution, meaning that different end users will experience different conditions. On the other hand, drawing from the results of subjective user studies, we know that user diversity leads to distributions of user scores for any given test conditions (in this case referring to the QoS parameters of interest). Our previous studies have shown that to correctly derive various QoE metrics (e.g., Mean Opinion Score (MOS), quantiles, probability of users rating "good or better", etc.) in a system under given conditions, there is a need to consider rating distributions obtained from user studies, which are often times not available. In this paper we extend these findings to show how to approximate user rating distributions given a QoS-to-MOS mapping function and second order statistics. Such a user rating distribution may then be combined with a QoS distribution observed in a system to finally derive corresponding distributions of QoE scores. We provide two examples to illustrate this process: 1) analytical results using a Web QoE model relating waiting times to QoE, and 2) numerical results using measurements relating packet losses to video stall pattern, which are in turn mapped to QoE estimates. The results in this paper provide a solution to the problem of understanding the QoE distribution in a system, in cases where the necessary data is not directly available in the form of models going beyond the MOS, or where the full details of subjective experiments are not available.


title: A Memory Window Expression to Predict the Scaling Trends and Endurance of FeFETs

abstract: The commercialization of non-volatile memories based on ferroelectric transistors (FeFETs) has remained elusive due to scaling, retention, and endurance issues. Thus, it is important to develop accurate characterization tools to quantify the scaling and reliability limits of FeFETs. In this work, we propose to exploit an analytical expression for the Memory Window (MW, i.e., the difference between the threshold voltages due to polarization switching) as a tool to: i) identify a universal scaling behavior of MW regardless of the ferroelectric material; ii) predict endurance and explain its weak dependence on writing conditions; iii) give an alternative explanation for MW being lower than theoretical limits; and, based on this, iv) devise strategies to maximize MW for a given ferroelectric thickness. According to these findings, the characterization and analysis of MW would enable the systematic comparison of next-generation FeFET based on emerging ferroelectric materials.


title: SKA LFAA Station Design Report

abstract: This report was submitted as part of the SKA Low Frequency Aperture Array Critical Design Review describing the design of the SKA1-LOW station that took place between 2013 and 2018. The SKA1 LOW field station is inscribed in a circular area having an effective station diameter (centre to centre) of 38 meters and has 256 SKALA4 elements. This document describes the electromagnetic design of the field station. In particular it describes the layout design and the electromagnetic modelling and characteristics of the station. This document describes the effects associated with the layout and array such as mutual coupling effects, side lobe pattern and beam shape (eg. smoothness, calibration models) and presents the state of the art of our ability to measure the array performance and validate the simulation work. The current LFAA field node requirements, derived from the SKA L1 requirements, have evolved over the last years since the LFAA PDR and the System Baseline Design. The SKA1 LOW field station has been designed to meet those requirements and has therefore tracked their evolution (eg. sensitivity requirements, array diameter, etc.). The aforementioned requirements represent a very tight space with a desire for very high sensitivity over a large frequency range (7 to 1) and wide field of view (90 degrees cone around zenith) while keeping the station diameter to a minimum, so as the filling factor but at the same time allowing for sufficient space between antennas to allow for easy maintenances, amongst many others. This results in a complex design.


title: Plane-filling trails

abstract: The order in which plane-filling curves visit points in the plane can be exploited to design efficient algorithms. Typically, the curves are useful because they preserve locality: points that are close to each other along the curve tend to be close to each other in the plane, and vice versa. However, sketches of plane-filling curves do not show this well: they are hard to read on different levels of detail and it is hard to see how far apart points are along the curve. This paper presents a software tool to produce compelling visualisations that may give more insight in the structure of the curves.


title: Radar networks: A review of features and challenges

abstract: Networks of multiple radars are typically used for improving the coverage and tracking accuracy. Recently, such networks have facilitated deployment of commercial radars for civilian applications such as healthcare, gesture recognition, home security, and autonomous automobiles. They exploit advanced signal processing techniques together with efficient data fusion methods in order to yield high performance of event detection and tracking. This paper reviews outstanding features of radar networks, their challenges, and their state-of-the-art solutions from the perspective of signal processing. Each discussed subject can be evolved as a hot research topic.


title: Magnon binding in BaCdVO(PO$_4$)$_2$

abstract: The bond-nematic state has both long-range ordering of magnetic quadrupoles and the high entanglement typical of spin liquids, and as such can be thought of as a spin liquid crystal. One of the most promising materials in which to find such a state is BaCdVO(PO$_4$)$_2$, in which a magnetically silent phase has been found between a magnetically ordered low-field phase and the high-field polarised phase. Here I study the magnetic Hamiltonian of BaCdVO(PO$_4$)$_2$, and, for the Hamiltonian-parameters determined by fits to inelastic neutron scattering experiments, show that magnons condense out of the polarised state as bound pairs. This is direct theoretical support for the existence of a bond-nematic state just below the saturation field.


title: The lowest frequency Fast Radio Bursts: Sardinia Radio Telescope detection of the periodic FRB 180916 at 328 MHz

abstract: We report on the lowest-frequency detection to date of three bursts from the fast radio burst FRB 180916, observed at 328 MHz with the Sardinia Radio Telescope (SRT). The SRT observed the periodic repeater FRB 180916 for five days from 2020 February 20 to 24 during a time interval of active radio bursting, and detected the three bursts during the first hour of observations; no more bursts were detected during the remaining ~ 30 hours. Simultaneous SRT observations at 1548 MHz did not detect any bursts. Burst fluences are in the range 37 to 13 Jy ms. No relevant scattering is observed for these bursts. We also present the results of the multi-wavelength campaign we performed on FRB 180916, during the five days of the active window. Simultaneously with the SRT observations, others with different time spans were performed with the Northern Cross at 408 MHz, with XMM-Newton, NICER, INTEGRAL, AGILE, and with the TNG and two optical telescopes in Asiago, which are equipped with fast photometers. XMM-Newton obtained data simultaneously with the three bursts detected by the SRT, and determined a luminosity upper limit in the 0.3-10 keV energy range of ~$10^{45}$ erg/s for the burst emission. AGILE obtained data simultaneously with the first burst and determined a fluence upper limit in the MeV range for millisecond timescales of $ 10^{-8}$ erg cm$^{-2}$.Our results show that absorption from the circumburst medium does not significantly affect the emission from FRB 180916, thus limiting the possible presence of a superluminous supernova around the source, and indicate that a cutoff for the bursting mechanism, if present, must be at lower frequencies. Our multi-wavelength campaign sensitively constrains the broadband emission from FRB 180916, and provides the best limits so far for the electromagnetic response to the radio bursting of this remarkable source of fast radio bursts.


title: On the exponential Diophantine equation $(n-1)^{x}+(n+2)^{y}=n^{z}$

abstract: Suppose that $n$ is a positive integer. In this paper, we show that the exponential Diophantine equation $$(n-1)^{x}+(n+2)^{y}=n^{z},\ n\geq 2,\ xyz\neq 0$$ has only the positive integer solutions $(n,x,y,z)=(3,2,1,2), (3,1,2,3)$. The main tools on the proofs are Baker's theory and Bilu-Hanrot-Voutier's result on primitive divisors of Lucas numbers.


title: Optimal Green energy points on the circles in d-space

abstract: We give two precise estimates for the Green energy of a discrete charge, concentrated in the points on the circles, with respect to the concentric rotation domain in the d-dimensional Euclidean space, d>2.The proof is based on the application of a dissymmetrization, extremal metrics approach and an asymptotic formula for the condenser capacities in the case when some of its plates contract to given points.


title: A Physics-based Noise Formation Model for Extreme Low-light Raw Denoising

abstract: Lacking rich and realistic data, learned single image denoising algorithms generalize poorly to real raw images that do not resemble the data used for training. Although the problem can be alleviated by the heteroscedastic Gaussian model for noise synthesis, the noise sources caused by digital camera electronics are still largely overlooked, despite their significant effect on raw measurement, especially under extremely low-light condition. To address this issue, we present a highly accurate noise formation model based on the characteristics of CMOS photosensors, thereby enabling us to synthesize realistic samples that better match the physics of image formation process. Given the proposed noise model, we additionally propose a method to calibrate the noise parameters for available modern digital cameras, which is simple and reproducible for any new device. We systematically study the generalizability of a neural network trained with existing schemes, by introducing a new low-light denoising dataset that covers many modern digital cameras from diverse brands. Extensive empirical results collectively show that by utilizing our proposed noise formation model, a network can reach the capability as if it had been trained with rich real data, which demonstrates the effectiveness of our noise formation model.


title: Yet another elementary proof of Morley's theorem

abstract: I present a simple, elementary proof of Morley's theorem, highlighting the naturalness of this theorem.


title: Deep Fashion3D: A Dataset and Benchmark for 3D Garment Reconstruction from Single Images

abstract: High-fidelity clothing reconstruction is the key to achieving photorealism in a wide range of applications including human digitization, virtual try-on, etc. Recent advances in learning-based approaches have accomplished unprecedented accuracy in recovering unclothed human shape and pose from single images, thanks to the availability of powerful statistical models, e.g. SMPL, learned from a large number of body scans. In contrast, modeling and recovering clothed human and 3D garments remains notoriously difficult, mostly due to the lack of large-scale clothing models available for the research community. We propose to fill this gap by introducing Deep Fashion3D, the largest collection to date of 3D garment models, with the goal of establishing a novel benchmark and dataset for the evaluation of image-based garment reconstruction systems. Deep Fashion3D contains 2078 models reconstructed from real garments, which covers 10 different categories and 563 garment instances. It provides rich annotations including 3D feature lines, 3D body pose and the corresponded multi-view real images. In addition, each garment is randomly posed to enhance the variety of real clothing deformations. To demonstrate the advantage of Deep Fashion3D, we propose a novel baseline approach for single-view garment reconstruction, which leverages the merits of both mesh and implicit representations. A novel adaptable template is proposed to enable the learning of all types of clothing in a single network. Extensive experiments have been conducted on the proposed dataset to verify its significance and usefulness. We will make Deep Fashion3D publicly available upon publication.


title: HIN: Hierarchical Inference Network for Document-Level Relation Extraction

abstract: Document-level RE requires reading, inferring and aggregating over multiple sentences. From our point of view, it is necessary for document-level RE to take advantage of multi-granularity inference information: entity level, sentence level and document level. Thus, how to obtain and aggregate the inference information with different granularity is challenging for document-level RE, which has not been considered by previous work. In this paper, we propose a Hierarchical Inference Network (HIN) to make full use of the abundant information from entity level, sentence level and document level. Translation constraint and bilinear transformation are applied to target entity pair in multiple subspaces to get entity-level inference information. Next, we model the inference between entity-level information and sentence representation to achieve sentence-level inference information. Finally, a hierarchical aggregation approach is adopted to obtain the document-level inference information. In this way, our model can effectively aggregate inference information from these three different granularities. Experimental results show that our method achieves state-of-the-art performance on the large-scale DocRED dataset. We also demonstrate that using BERT representations can further substantially boost the performance.


title: Confronting Inflation Models with the Coming Observations on Primordial Gravitational Waves

abstract: The recent observations from CMB have imposed a very stringent upper-limit on the tensor/scalar ratio $r$ of inflation models, $r < 0.064$, which indicates that the primordial gravitational waves (PGW), even though possible to be detected, should have a power spectrum of a tiny amplitude. However, current experiments on PGW is ambitious to detect such a signal by improving the accuracy to an even higher level. Whatever their results are, it will give us much information about the early Universe, not only from the astrophysical side but also from the theoretical side, such as model building for the early Universe. In this paper, we are interested in analyzing what kind of inflation models can be favored by future observations, starting with a kind of general action offered by the effective field theory (EFT) approach. We show a general form of $r$ that can be reduced to various models, and more importantly, we show how the accuracy of future observations can put constraints on model parameters by plotting the contours in their parameter spaces.


title: Harmonic Decompositions of Convolutional Networks

abstract: We present a description of the function space and the smoothness class associated with a convolutional network using the machinery of reproducing kernel Hilbert spaces. We show that the mapping associated with a convolutional network expands into a sum involving elementary functions akin to spherical harmonics. This functional decomposition can be related to the functional ANOVA decomposition in nonparametric statistics. Building off our functional characterization of convolutional networks, we obtain statistical bounds highlighting an interesting trade-off between the approximation error and the estimation error.


title: The influence of environment on satellite galaxies in the GAEA semi-analytic model

abstract: Reproducing the observed quenched fraction of satellite galaxies has been a long-standing issue for galaxy formation models. We modify the treatment of environmental effects in our state-of-the-art GAlaxy Evolution and Assembly (GAEA) semi-analytic model to improve our modelling of satellite galaxies. Specifically, we implement gradual stripping of hot gas, ram-pressure stripping of cold gas, and an updated algorithm to account for angular momentum exchanges between the gaseous and stellar disc components of model galaxies. Our updated model is in good agreement with the observed quenched fractions for central and satellite galaxies, and their dependencies on stellar mass and halo mass. We also find consistency between model predictions and observational estimates of quenching time for satellite galaxies; HI, H$_2$ fractions of central galaxies; and deficiencies of HI, H$_2$, SFR of galaxies in cluster haloes. Analysing results from our updated model, we find that the dominant quenching mechanisms are hot-gas stripping for low-mass galaxies, and AGN feedback for massive galaxies. The Ram-pressure stripping of cold gas has a limited impact on the predicted quenched fractions, nonetheless, is needed to reproduce the observed HI deficiencies.


title: Quantum speed limit based on the bound of Bures angle

abstract: In this paper, we investigate the unified bound of quantum speed limit time in open systems based on the modified Bures angle. This bound is applied to the damped Jaynes-Cummings model and the dephasing model, and the analytical quantum speed limit time is obtained for both models. As an example, the maximum coherent qubit state with white noise is chosen as the initial states for the damped Jaynes-Cummings model. It is found that the quantum speed limit time in both the non-Markovian and the Markovian regimes can be decreased by the white noise compared with the pure state. In addition, for the dephasing model, we find that the quantum speed limit time is not only related to the coherence of initial state and non-Markovianity, but also dependent on the population of initial excited state.


title: Reusing Preconditioners in Projection based Model Order Reduction Algorithms

abstract: Dynamical systems are pervasive in almost all engineering and scientific applications. Simulating such systems is computationally very intensive. Hence, Model Order Reduction (MOR) is used to reduce them to a lower dimension. Most of the MOR algorithms require solving large sparse sequences of linear systems. Since using direct methods for solving such systems does not scale well in time with respect to the increase in the input dimension, efficient preconditioned iterative methods are commonly used. In one of our previous works, we have shown substantial improvements by reusing preconditioners for the parametric MOR (Singh et al. 2019). Here, we had proposed techniques for both, the non-parametric and the parametric cases, but had applied them only to the latter. We have four main contributions here. First, we demonstrate that preconditioners can be reused more effectively in the non-parametric case as compared to the parametric one because of the lack of parameters in the former. Second, we show that reusing preconditioners is an art and it needs to be fine-tuned for the underlying MOR algorithm. Third, we describe the pitfalls in the algorithmic implementation of reusing preconditioners. Fourth, and final, we demonstrate this theory on a real life industrial problem (of size 1.2 million), where savings of upto 64% in the total computation time is obtained by reusing preconditioners. In absolute terms, this leads to a saving of 5 days.


title: Adversarial Imitation Attack

abstract: Deep learning models are known to be vulnerable to adversarial examples. A practical adversarial attack should require as little as possible knowledge of attacked models. Current substitute attacks need pre-trained models to generate adversarial examples and their attack success rates heavily rely on the transferability of adversarial examples. Current score-based and decision-based attacks require lots of queries for the attacked models. In this study, we propose a novel adversarial imitation attack. First, it produces a replica of the attacked model by a two-player game like the generative adversarial networks (GANs). The objective of the generative model is to generate examples that lead the imitation model returning different outputs with the attacked model. The objective of the imitation model is to output the same labels with the attacked model under the same inputs. Then, the adversarial examples generated by the imitation model are utilized to fool the attacked model. Compared with the current substitute attacks, imitation attacks can use less training data to produce a replica of the attacked model and improve the transferability of adversarial examples. Experiments demonstrate that our imitation attack requires less training data than the black-box substitute attacks, but achieves an attack success rate close to the white-box attack on unseen data with no query.


title: Numerical investigation of a neural field model including dendritic processing

abstract: We consider a simple neural field model in which the state variable is dendritic voltage, and in which somas form a continuous one-dimensional layer. This neural field model with dendritic processing is formulated as an integro-differential equation. We introduce a computational method for approximating solutions to this nonlocal model, and use it to perform numerical simulations for neuro-biologically realistic choices of anatomical connectivity and nonlinear firing rate function. For the time discretisation we adopt an Implicit-Explicit (IMEX) scheme; the space discretisation is based on a finite-difference scheme to approximate the diffusion term and uses the trapezoidal rule to approximate integrals describing the nonlocal interactions in the model. We prove that the scheme is of first-order in time and second order in space, and can be efficiently implemented if the factorisation of a small, banded matrix is precomputed. By way of validation we compare the outputs of a numerical realisation to theoretical predictions for the onset of a Turing pattern, and to the speed and shape of a travelling front for a specific choice of Heaviside firing rate. We find that theory and numerical simulations are in excellent agreement.

categories: math.DS cond-mat.dis-nn nlin.PS physics.bio-ph


title: Statistical analysis of Galactic globular cluster type properties

abstract: The analysis of pseudo-colour diagrams, the so-called chromosome maps, of Galactic globular clusters (GCs) permits to classify them into type I and type II clusters. Type II GCs are characterized by an above-the-average complexity of their chromosome maps and some of them are known to display star-to-star variations of slow neutron-capture reaction elements including iron. This is at the basis of the hypothesis that type II GCs may have an extragalactic origin and were subsequently accreted by the Milky Way. We performed a Principal Component Analysis to explore possible correlations among various GCs parameters in the light of this new classification. The analysis revealed that cluster type correlates mainly with relative age. The cause of this relation was further investigated finding that more metal-rich type II clusters, also appear to be younger and more distant from the Galactic centre. A depletion of type II clusters for positive values of Galactic coordinate Z was also observed, with no type II clusters detected above Z$\sim2$ kpc. Type II cluster orbits also have larger eccentricities than type I ones.


title: Milky Way globular cluster dynamics: are they preferentially co-rotating?

abstract: The motion of the baryonic components of the Milky Way is governed by both luminous and dark matter content of the Galaxy. Thus, the dynamics of the Milky Way globular clusters can be used as tracers to infer the mass model of the Galaxy up to a large radius. In this work, we use the directly observable line-of-sight velocities to test if the dynamics of the globular cluster population is consistent with an assumed axisymmetric gravitational potential of the Milky Way. For this, we numerically compute the phase space distribution of the globular cluster population where the orbits are either oriented randomly or co-/counter- rotating with respect to the stellar disk. Then we compare the observed position and line-of-sight velocity distribution of $\sim$ 150 globular clusters with that of the models. We found that, for the adopted mass model, the co-rotating scenario is the favored model based on various statistical tests. We do the analysis with and without the GCs associated to the progenitors of early merger events. This analysis can be extended in the near future to include precise and copious data to better constrain the Galactic potential up to a large radius.


title: Ekedahl-Oort strata of curves of genus four in characteristic three

abstract: We study the induced Ekedahl-Oort stratification on the moduli space $\mathcal{M}_4$ of curves of genus $4$ in characteristic $3$. By constructing families of curves with given Ekedahl-Oort type and by computing the dimension of the intersection of the induced Ekedahl-Oort strata and the boundary divisor classes, we show that for certain induced Ekedahl-Oort strata in $\mathcal{M}_4$, they have the same codimension in $\mathcal{M}_4$ as the corresponding Ekedahl-Oort strata in moduli space $\mathcal{A}_4$ of principally polarized abelian varieties of dimension $4$.


title: Absolutely Continuous Spectrum for Quantum Trees

abstract: We study the spectra of quantum trees of finite cone type. These are quantum graphs whose geometry has a certain homogeneity, and which carry a finite set of edge lengths, coupling constants and potentials on the edges. We show the spectrum consists of bands of purely absolutely continuous spectrum, along with a discrete set of eigenvalues. Afterwards, we study random perturbations of such trees, at the level of edge length and coupling, and prove the stability of pure AC spectrum, along with resolvent estimates.


title: Hypervelocity Stars in the Gaia era. Revisiting the most extreme stars from the MMT survey

abstract: The hypervelocity star (HVS) survey conducted at the Multiple Mirror Telescope (MMT) identified 42 B-type stars in the Galactic halo whose radial velocity in the Galactic rest-frame exceeds $+275\,$km$\,$s${}^{-1}$. In order to unravel the nature and origin of those high-velocity outliers, their complete six-dimensional phase space information is needed. To this end, we complemented positions and proper motions from the second data release of {\it Gaia} with revised radial velocities and spectrophotometric distances that are based on a reanalysis of the available MMT spectra of 40 objects using state-of-the-art model spectra and a tailored analysis strategy. The resulting position and velocity vectors for 37 stars were then used as input for a subsequent kinematic investigation to obtain as complete a picture as possible. The combination of projected rotational velocity, position in the Kiel diagram, and kinematic properties suggests that all objects in the sample except two (B576, B598) are very likely to be main sequence stars. While the available data are still not precise enough to constrain the place of origin for 19 program stars, we identified eight objects that either come from the outer rim of the Galactic disk or not from the disk at all, along with ten that presumably stem from the Galactic disk. For almost all of those 18 targets with more or less well-constrained spatial origin, the Galactic center (GC) is disqualified as a possible place of origin. The most notable exception is B576, the origin of which coincides extremely well with the GC when assuming a blue horizontal branch (BHB) nature for it. HVS$\,$22 is by far the most extreme object in the sample. Although its origin is completely unconstrained, an ejection from the GC by the Hills mechanism is the most plausible explanation for its current Galactic rest-frame velocity of $1530^{+690}_{-560}\,$km$\,$s${}^{-1}$.


title: Trajectory Poisson multi-Bernoulli filters

abstract: This paper presents two trajectory Poisson multi-Bernoulli (TPMB) filters for multi-target tracking: one to estimate the set of alive trajectories at each time step and another to estimate the set of all trajectories, which includes alive and dead trajectories, at each time step. The filters are based on propagating a Poisson multi-Bernoulli (PMB) density on the corresponding set of trajectories through the filtering recursion. After the update step, the posterior is a PMB mixture (PMBM) so, in order to obtain a PMB density, a Kullback-Leibler divergence minimisation on an augmented space is performed. The developed filters are computationally lighter alternatives to the trajectory PMBM filters, which provide the closed-form recursion for sets of trajectories with Poisson birth model, and are shown to outperform previous multi-target tracking algorithms.


title: Optical imaging of antiferromagnetic domains in ultrathin CoO(001) films

abstract: Antiferromagnetic (AFM) domains in ultrathin CoO(001) films are imaged by a wide-field optical microscopy using magneto-optical birefringence effect. The magnetic origin of observed optical contrast is confirmed by the spin orientation manipulation through exchange coupling in Fe/CoO(001) bilayer. The finite size effect of ordering temperature for ultrathin single crystal CoO film is revealed by the thickness and temperature dependent measurement of birefringence contrast. The magneto-optical birefringence effect is found to strongly depend on the photon energy of incident light, and a surprising large polarization rotation angle up to 168.5 mdeg is obtained from a 4.6 nm CoO film with a blue light source, making it possible to further investigate the evolution of AFM domains in AFM ultrathin film under external field.


title: Learning Invariant Representation for Unsupervised Image Restoration

abstract: Recently, cross domain transfer has been applied for unsupervised image restoration tasks. However, directly applying existing frameworks would lead to domain-shift problems in translated images due to lack of effective supervision. Instead, we propose an unsupervised learning method that explicitly learns invariant presentation from noisy data and reconstructs clear observations. To do so, we introduce discrete disentangling representation and adversarial domain adaption into general domain transfer framework, aided by extra self-supervised modules including background and semantic consistency constraints, learning robust representation under dual domain constraints, such as feature and image domains. Experiments on synthetic and real noise removal tasks show the proposed method achieves comparable performance with other state-of-the-art supervised and unsupervised methods, while having faster and stable convergence than other domain adaption methods.


title: Large-scale quantum hybrid solution for linear systems of equations

abstract: State-of-the-art noisy intermediate-scale quantum devices (NISQ), although imperfect, enable computational tasks that are manifestly beyond the capabilities of modern classical supercomputers. However, present quantum computations are restricted to exploring specific simplified protocols, whereas the implementation of full-scale quantum algorithms aimed at solving concrete large scale problems arising in data analysis and numerical modelling remains a challenge. Here we introduce and implement a hybrid quantum algorithm for solving linear systems of equations with exponential speedup, utilizing quantum phase estimation, one of the exemplary core protocols for quantum computing. We introduce theoretically classes of linear systems that are suitable for current generation quantum machines and solve experimentally a $2^{17}$-dimensional problem on superconducting IBMQ devices, a record for linear system solution on quantum computers. The considered large-scale algorithm shows superiority over conventional solutions, demonstrates advantages of quantum data processing via phase estimation and holds high promise for meeting practically relevant challenges.


title: Effective scalar-tensor description of regularized Lovelock gravity in four dimensions

abstract: We reformulate the recently proposed regularized version of Lovelock gravity in four dimensions as a scalar-tensor theory. By promoting the warp factor of the internal space to a scalar degree of freedom by means of Kaluza-Klein reduction, we show that regularized Lovelock gravity can be described effectively by a certain subclass of the Horndeski theory. Cosmological aspects of this particular scalar-tensor theory are studied. It is found that the background with a scalar charge is generically allowed. The consequences of this scalar charge are briefly discussed.


title: Towards an immersive user interface for waypoint navigation of a mobile robot

abstract: In this paper, we investigate the utility of head-mounted display (HMD) interfaces for navigation of mobile robots. We focus on the selection of waypoint positions for the robot, whilst maintaining an egocentric view of the robot's environment. Inspired by virtual reality (VR) gaming, we propose a target selection method that uses the 6 degrees-of-freedom tracked controllers of a commercial VR headset. This allows an operator to point to the desired target position, in the vicinity of the robot, which the robot then autonomously navigates towards. A user study (37 participants) was conducted to examine the efficacy of this control strategy when compared to direct control, both with and without a communication delay. The results of the experiment showed that participants were able to learn how to use the novel system quickly, and the majority of participants reported a preference for waypoint control. Across all recorded metrics (task performance, operator workload and usability) the proposed waypoint control interface was not significantly affected by the communication delay, in contrast to direct control. The simulated experiment indicated that a real-world implementation of the proposed interface could be effective, but also highlighted the need to manage the negative effects of HMDs - particularly VR sickness.


title: Knowledge synthesis from 100 million biomedical documents augments the deep expression profiling of coronavirus receptors

abstract: The COVID-19 pandemic demands assimilation of all available biomedical knowledge to decode its mechanisms of pathogenicity and transmission. Despite the recent renaissance in unsupervised neural networks for decoding unstructured natural languages, a platform for the real-time synthesis of the exponentially growing biomedical literature and its comprehensive triangulation with deep omic insights is not available. Here, we present the nferX platform for dynamic inference from over 45 quadrillion possible conceptual associations extracted from unstructured biomedical text, and their triangulation with Single Cell RNA-sequencing based insights from over 25 tissues. Using this platform, we identify intersections between the pathologic manifestations of COVID-19 and the comprehensive expression profile of the SARS-CoV-2 receptor ACE2. We find that tongue keratinocytes and olfactory epithelial cells are likely under-appreciated targets of SARS-CoV-2 infection, correlating with reported loss of sense of taste and smell as early indicators of COVID-19 infection, including in otherwise asymptomatic patients. Airway club cells, ciliated cells and type II pneumocytes in the lung, and enterocytes of the gut also express ACE2. This study demonstrates how a holistic data science platform can leverage unprecedented quantities of structured and unstructured publicly available data to accelerate the generation of impactful biological insights and hypotheses.


title: Unruh-deWitt detectors in quantum superpositions of trajectories

abstract: Unruh-deWitt detectors have been utilised widely as probes for quantum particles, entanglement and spacetime curvature. Here, we extend the standard treatment of an Unruh-deWitt detector interacting with a massless, scalar field to include the detector travelling in a quantum superposition of classical trajectories. We derive perturbative expressions for the final state of the detector, and show that it depends on field correlation functions evaluated locally along the individual trajectories, as well as non-locally between the superposed trajectories. By applying our general approach to a detector travelling in a superposition of two uniformly accelerated trajectories, including those with equal and differing proper accelerations, we discover novel interference effects in the emission and absorption spectra. These effects can be traced to causal relations between the superposed trajectories. Finally, we show that in general, such a detector does not thermalise even if the superposed paths would individually yield the same thermal state.


title: Curl-free positive definite form of time-harmonic Maxwells equations well-suitable for iterative numerical solving

abstract: A new form of time-harmonic Maxwells equations is developed and proposed for numerical modeling. It is written for the magnetic field strength, electric displacement, vector potential and the scalar potential. There are several attractive features of this form. The first one is that the differential operator acting on these quantities is positive. The second is absence of curl operators among the leading order differential operators. The Laplacian stands for the leading order operator in the equations for the magnetic field strength, vector potential and the scalar potential, while the gradient of divergence stands for the electric displacement. The third feature is absence of space varied coefficients in the leading order differential operators that provides diagonal domination of the resulting matrix of the discretized equations. A simple example is given to demonstrate the applicability of this new form of time-harmonic Maxwells equations.


title: Security Analysis of the Open Banking Account and Transaction API Protocol

abstract: To counteract the lack of competition and innovation in the financial services industry, the EU has issued the Second Payment Services Directive (PSD2) encouraging account servicing payment service providers to share data. The UK, similarly to other European countries, has promoted a standard API for data sharing:~the Open Banking Standard. We present a formal security analysis of its APIs, focusing on the correctness of the Account and Transaction API protocol. The work relies on a previously proposed methodology, which provided a practical approach to protocol modelling and verification.


title: Two-dimensional spectroscopy of Rydberg gases

abstract: Two-dimensional (2D) spectroscopy uses multiple electromagnetic pulses to infer the properties of a complex system. A paradigmatic class of target systems are molecular aggregates, for which one can obtain information on the eigenstates, various types of static and dynamic disorder and on relaxation processes. However, two-dimensional spectra can be difficult to interpret without precise knowledge of how the signal components relate to microscopic Hamiltonian parameters and system-bath interactions. Here we show that two-dimensional spectroscopy can be mapped in the microwave domain to highly controllable Rydberg quantum simulators. By porting 2D spectroscopy to Rydberg atoms, we firstly open the possibility of its experimental quantum simulation, in a case where parameters and interactions are very well known. Secondly, the technique may provide additional handles for experimental access to coherences between system states and the ability to discriminate different types of decoherence mechanisms in Rydberg gases. We investigate the requirements for a specific implementation utilizing multiple phase coherent microwave pulses and a phase cycling technique to isolate signal components.


title: Single-Point Visibility Constraint Minimum Link Paths in Simple Polygons

abstract: We address the following problem: Given a simple polygon $P$ with $n$ vertices and two points $s$ and $t$ inside it, find a minimum link path between them such that a given target point $q$ is visible from at least one point on the path. The method is based on partitioning a portion of $P$ into a number of faces of equal link distance from a source point. This partitioning is essentially a shortest path map (SPM). In this paper, we present an optimal algorithm with $O(n)$ time bound, which is the same as the time complexity of the standard minimum link paths problem.


title: Real-MFF: A Large Realistic Multi-focus Image Dataset with Ground Truth

abstract: Multi-focus image fusion, a technique to generate an all-in-focus image from two or more partially-focused source images, can benefit many computer vision tasks. However, currently there is no large and realistic dataset to perform convincing evaluation and comparison of algorithms in multi-focus image fusion. Moreover, it is difficult to train a deep neural network for multi-focus image fusion without a suitable dataset. In this letter, we introduce a large and realistic multi-focus dataset called Real-MFF, which contains 710 pairs of source images with corresponding ground truth images. The dataset is generated by light field images, and both the source images and the ground truth images are realistic. To serve as both a well-established benchmark for existing multi-focus image fusion algorithms and an appropriate training dataset for future development of deep-learning-based methods, the dataset contains a variety of scenes, including buildings, plants, humans, shopping malls, squares and so on. We also evaluate 10 typical multi-focus algorithms on this dataset for the purpose of illustration.