title: Random and Coherence Noise Attenuation Complete Sequence for 2-D Land Seismic Data Acquired in Iraq

abstract: Noises are common events in seismic reflection data that have very striking features in seismograms, affecting seismic data processing and interpretation. Noise attenuation is an essential phase in seismic processing data, usually resulting in seismic interpretation improvement that enhances the signal to noise ratio. Groundroll presence is the major fashion of significant noise in the land seismic survey. It is a type of coherent noise present in seismograms that appears as linear events, in most cases overlapping the reflections and probably making it challenging to recognize. There are several domains used in noise attenuation, Domain transformations is a complex algorithms standard tool used commonly used during processing of seismic data and imaging processing, So a large number methods have been developed to attenuate these types of noise. In the time-offset domain, the noise wave such as Groundroll and random noises, overlap each other over time; a different domain makes it easier to successfully isolate coherent, random noise and reflection events. Five steps are introduced to attenuate coherent and random noise, these steps are FDNAT, AGORA, RADMX, SCFIL, DDMED as well as Time-Variant band-pass Filter. The results indicate that the different domains can actually reveal features and geological structures that have been masked by the noises present in current data. because encourage significant improvements in the final image quality in 2-D seismic section, so, these filtering techniques possibly give advantage to the interpreter in particularly in structural and stratigraphic interpretation during the work of interpretation, especially in the exploration and characterizing possible traps.


title: Comment on "Hadamard states for a scalar field in anti-de Sitter spacetime with arbitrary boundary conditions"

abstract: In a recent paper (Phys. Rev. D 94, 125016 (2016)), the authors argued that the singularities of the two-point functions on the Poincar\'e domain of the $n$-dimensional anti-de Sitter spacetime ($\text{PAdS}_n$) have the Hadamard form, regardless of which (Robin) boundary condition is chosen at the conformal boundary. However, the argument used to prove this statement was based on an incorrect expression for the two-point function $G^{+}(x,x')$, which was obtained by demanding $\text{AdS}$ invariance for the vacuum state. In this comment I show that their argument works only for Dirichlet and Neumann boundary conditions and that the full $\text{AdS}$ symmetry cannot be respected by nontrivial Robin conditions (i.e., those which are neither Dirichlet nor Neumann). By studying the conformal scalar field on $\text{PAdS}_2$, I find the correct expression for $G^{+}(x,x')$ and show that, notwithstanding this problem, it still have the Hadamard form.


title: A Parameter Space Exploration of Galaxy Cluster Mergers II: Effects of Magnetic Fields

abstract: The hot intracluster plasma in clusters of galaxies is weakly magnetized. Mergers between clusters produce gas compression and motions which can increase the magnetic field strength. In this work, we perform high-resolution non-radiative magnetohydrodynamics simulations of binary galaxy cluster mergers with magnetic fields, to examine the effects of these motions on the magnetic field configuration and strength, as well as the effect of the field on the gas itself. Our simulations sample a parameter space of initial mass ratios and impact parameters. During the first core passage of mergers, the magnetic energy increases via gas compression. After this, shear flows produce temporary, Mpc-scale, strong-field "filament" structures. Lastly, magnetic fields grow stronger by turbulence. Field amplification is most effective for low mass ratio mergers, but mergers with a large impact parameter can increase the magnetic energy more via shearing motions. The amplification of the magnetic field is most effective in between the first two core passages of each cluster merger. After the second core passage, the magnetic energy in this region gradually decreases. In general, the transfer of energy from gas motions to the magnetic field is not significant enough to have a substantial effect on gas mixing and the subsequent increase in entropy which occurs in cluster cores as a result. In the absence of radiative cooling, this results in an overall decrease of the magnetic field strength in cluster cores. In these regions, the final magnetic field is isotropic, while it can be significantly tangential at larger radii.


title: A deeper look at the dust attenuation law of star-forming galaxies at high redshift

abstract: A diverse range of dust attenuation laws is found in star-forming galaxies. In particular, Tress et al. (2018) studied the SHARDS survey to constrain the NUV bump strength (B) and the total-to selective ratio (Rv) of 1,753 star-forming galaxies in the GOODS-N field at 1.5<z<3. We revisit here this sample to assess the implications and possible causes of the correlation found between Rv and B. The UVJ bicolour plot and main sequence of star formation are scrutinised to look for clues into the observed trend. The standard boundary between quiescent and star-forming galaxies is preserved when taking into account the wide range of attenuation parameters. However, an additional degeneracy, regarding the effective attenuation law, is added to the standard loci of star-forming galaxies in the UVJ diagram. A simple phenomenological model with an age-dependent extinction (at fixed dust composition) is compatible with the observed trend between Rv and B, whereby the opacity decreases with the age of the populations, resulting in a weaker NUV bump when the overall attenuation is shallower (greyer). In addition, we compare the constraints obtained by the SHARDS sample with dust models from the literature, supporting a scenario where geometry could potentially drive the correlation between Rv and B


title: Random trees in the boundary of Outer space

abstract: We prove that for the harmonic measure associated to a random walk on Out$(F_r)$ satisfying some mild conditions, a typical tree in the boundary of Outer space is trivalent and nongeometric. This answers a question of M. Bestvina.


title: A theoretical and experimental investigation of a family of immersed finite element methods

abstract: In this article we consider the widely used immersed finite element method (IFEM), in both explicit and implicit form, and its relationship to our more recent one-field fictitious domain method (FDM). We review and extend the formulation of these methods, based upon an operator splitting scheme, in order to demonstrate that both the explicit IFEM and the one-field FDM can be regarded as particular linearizations of the fully implicit IFEM. However, the one-field FDM can be shown to be more robust than the explicit IFEM and can simulate a wider range of solid parameters with a relatively large time step. In addition, it can produce results almost identical to the implicit IFEM but without iteration inside each time step. We study the effect on these methods of variations in viscosity and density of fluid and solid materials. The advantages of the one-field FDM within the IFEM framework are illustrated through a selection of parameter sets for two benchmark cases.


title: Repetitions in infinite palindrome-rich words

abstract: Rich words are characterized by containing the maximum possible number of distinct palindromes. Several characteristic properties of rich words have been studied; yet the analysis of repetitions in rich words still involves some interesting open problems. We address lower bounds on the repetition threshold of infinite rich words over 2 and 3-letter alphabets, and construct a candidate infinite rich word over the alphabet $\Sigma_2=\{0,1\}$ with a small critical exponent of $2+\sqrt{2}/2$. This represents the first progress on an open problem of Vesti from 2017.


title: The undirected repetition threshold

abstract: For rational $1<r\leq 2$, an undirected $r$-power is a word of the form $xyx'$, where $x$ is nonempty, $x'\in\{x,x^\mathrm{R}\}$, and $|xyx'|/|xy|=r$. The undirected repetition threshold for $k$ letters, denoted $\mathrm{URT}(k)$, is the infimum of the set of all $r$ such that undirected $r$-powers are avoidable on $k$ letters. We first demonstrate that $\mathrm{URT}(3)=\tfrac{7}{4}$. Then we show that $\mathrm{URT}(k)\geq \tfrac{k-1}{k-2}$ for all $k\geq 4$. We conjecture that $\mathrm{URT}(k)=\tfrac{k-1}{k-2}$ for all $k\geq 4$, and we confirm this conjecture for $k\in\{4,8,12\}.$


title: Reducing the Hausdorff Distance in Medical Image Segmentation with Convolutional Neural Networks

abstract: The Hausdorff Distance (HD) is widely used in evaluating medical image segmentation methods. However, existing segmentation methods do not attempt to reduce HD directly. In this paper, we present novel loss functions for training convolutional neural network (CNN)-based segmentation methods with the goal of reducing HD directly. We propose three methods to estimate HD from the segmentation probability map produced by a CNN. One method makes use of the distance transform of the segmentation boundary. Another method is based on applying morphological erosion on the difference between the true and estimated segmentation maps. The third method works by applying circular/spherical convolution kernels of different radii on the segmentation probability maps. Based on these three methods for estimating HD, we suggest three loss functions that can be used for training to reduce HD. We use these loss functions to train CNNs for segmentation of the prostate, liver, and pancreas in ultrasound, magnetic resonance, and computed tomography images and compare the results with commonly-used loss functions. Our results show that the proposed loss functions can lead to approximately 18-45 % reduction in HD without degrading other segmentation performance criteria such as the Dice similarity coefficient. The proposed loss functions can be used for training medical image segmentation methods in order to reduce the large segmentation errors.


title: A tiling property for actions of amenable groups along Tempelman F{\o}lner sequences

abstract: We show that a certain tiling property (which directly implies the pointwise ergodic theorem) holds for pmp actions of amenable groups along increasing Tempelman F{\o}lner sequences, thus providing a short and combinatorial proof of the corresponding pointwise ergodic theorem.


title: Leveraging Orientation for Weakly Supervised Object Detection with Application to Firearm Localization

abstract: Automatic detection of firearms is important for enhancing the security and safety of people, however, it is a challenging task owing to the wide variations in shape, size, and appearance of firearms. Also, most of the generic object detectors process axis-aligned rectangular areas though, a thin and long rifle may actually cover only a small percentage of that area and the rest may contain irrelevant details suppressing the required object signatures. To handle these challenges, we propose a weakly supervised Orientation Aware Object Detection (OAOD) algorithm which learns to detect oriented object bounding boxes (OBB) while using AxisAligned Bounding Boxes (AABB) for training. The proposed OAOD is different from the existing oriented object detectors which strictly require OBB during training which may not always be present. The goal of training on AABB and detection of OBB is achieved by employing a multistage scheme, with Stage-1 predicting the AABB and Stage-2 predicting OBB. In-between the two stages, the oriented proposal generation module along with the object aligned RoI pooling is designed to extract features based on the predicted orientation and to make these features orientation invariant. A diverse and challenging dataset consisting of eleven thousand images is also proposed for firearm detection which is manually annotated for firearm classification and localization. The proposed ITU Firearm dataset (ITUF) contains a wide range of guns and rifles. The OAOD algorithm is evaluated on the ITUF dataset and compared with current state-of-the-art object detectors, including fully supervised oriented object detectors. OAOD has outperformed both types of object detectors with a significant margin. The experimental results (mAP: 88.3 on AABB & mAP: 77.5 on OBB) demonstrate the effectiveness of the proposed algorithm for firearm detection.


title: Towards detection of relativistic effects in galaxy number counts using kSZ Tomography

abstract: High-resolution, low-noise observations of the cosmic microwave background (CMB) planned for the near-future will enable new cosmological probes based on re-scattered CMB photons -- the secondary CMB. At the same time, enormous galaxy surveys will map out huge volumes of the observable Universe. Using the technique of kinetic Sunyaev Zel'dovich (kSZ) tomography these new probes can be combined to reconstruct the remote dipole field, the CMB dipole as observed from different vantage points in our Universe. The volume accessible to future galaxy surveys is large enough that general relativistic corrections to the observed distribution of galaxies must be taken into account. These corrections are interesting probes of gravity in their own right, but can also obscure potential signatures of primordial non-Gaussianity. In this paper, we demonstrate that correlations between the reconstructed remote dipole field and the observed galaxy number counts can in principle be used to detect general relativistic corrections. We show that neglecting general relativistic corrections leads to an $\mathcal{O}(1)$ bias on the inferred amplitude of primordial non-Gaussianity, $f_{\rm NL}$. In addition, we demonstrate that the reconstructed remote dipole field can provide useful constraining power on various bias parameters appearing in the galaxy number counts, and can significantly mitigate the effects of alignment bias.


title: On the Ca-strong 1991bg-like type Ia supernova 2016hnk: evidence for a Chandrasekhar-mass explosion

abstract: We present a comprehensive dataset of optical and near-infrared photometry and spectroscopy of type~Ia supernova (SN) 2016hnk, combined with integral field spectroscopy (IFS) of its host galaxy, MCG -01-06-070, and nearby environment. Properties of the SN local environment are characterized by means of single stellar population synthesis applied to IFS observations taken two years after the SN exploded. SN 2016hnk spectra are compared to other 1991bg-like SNe Ia, 2002es-like SNe Ia, and Ca-rich transients. In addition, abundance stratification modelling is used to identify the various spectral features in the early phase spectral sequence and the dataset is also compared to a modified non-LTE model previously produced for the sublumnious SN 1999by. SN 2016hnk is consistent with being a sub-luminous (M$_{\rm B}=-16.7$ mag, s$_{\rm BV}$=0.43$\pm$0.03), highly reddened object. IFS of its host galaxy reveals both a significant amount of dust at the SN location, as well as residual star formation and a high proportion of old stellar populations in the local environment compared to other locations in the galaxy, which favours an old progenitor for SN 2016hnk. Inspection of a nebular spectrum obtained one year after maximum contains two narrow emission lines attributed to the forbidden [Ca II] $\lambda\lambda$7291,7324 doublet with a Doppler shift of 700 km s$^{-1}$. Based on various observational diagnostics, we argue that the progenitor of SN 2016hnk was likely a near Chandrasekhar-mass ($M_{\rm Ch}$) carbon-oxygen white dwarf that produced 0.108 $M_\odot$ of $^{56}$Ni. Our modeling suggests that the narrow [Ca II] features observed in the nebular spectrum are associated with $^{48}$Ca from electron capture during the explosion, which is expected to occur only in white dwarfs that explode near or at the $M_{\rm Ch}$ limit.


title: A comonadic view of simulation and quantum resources

abstract: We study simulation and quantum resources in the setting of the sheaf-theoretic approach to contextuality and non-locality. Resources are viewed behaviourally, as empirical models. In earlier work, a notion of morphism for these empirical models was proposed and studied. We generalize and simplify the earlier approach, by starting with a very simple notion of morphism, and then extending it to a more useful one by passing to a co-Kleisli category with respect to a comonad of measurement protocols. We show that these morphisms capture notions of simulation between empirical models obtained via `free' operations in a resource theory of contextuality, including the type of classical control used in measurement-based quantum computation schemes.


title: From one environment to many: The problem of replicability of statistical inferences

abstract: Among plausible causes for replicability failure, one that has not received sufficient attention is the environment in which the research is conducted. Consisting of the population, equipment, personnel, and various conditions such as location, time, and weather, the research environment can affect treatments and outcomes, and changes in the research environment that occur when an experiment is redone can affect replicability. We examine the extent to which such changes contribute to replicability failure. Our framework is that of an initial experiment that generates the data and a follow-up experiment that is done the same way except for a change in the research environment. We assume that the initial experiment satisfies the assumptions of the two-sample t-statistic and that the follow-up experiment is described by a mixed model which includes environmental parameters. We derive expressions for the effect that the research environment has on power, sample size selection, p-values, and confidence levels. We measure the size of the environmental effect with the environmental effect ratio EER which is the ratio of the standard deviations of environment by treatment interaction and error. By varying EER, it is possible to determine conditions that favor replicability and those that do not.


title: LBS Autoencoder: Self-supervised Fitting of Articulated Meshes to Point Clouds

abstract: We present LBS-AE; a self-supervised autoencoding algorithm for fitting articulated mesh models to point clouds. As input, we take a sequence of point clouds to be registered as well as an artist-rigged mesh, i.e. a template mesh equipped with a linear-blend skinning (LBS) deformation space parameterized by a skeleton hierarchy. As output, we learn an LBS-based autoencoder that produces registered meshes from the input point clouds. To bridge the gap between the artist-defined geometry and the captured point clouds, our autoencoder models pose-dependent deviations from the template geometry. During training, instead of using explicit correspondences, such as key points or pose supervision, our method leverages LBS deformations to bootstrap the learning process. To avoid poor local minima from erroneous point-to-point correspondences, we utilize a structured Chamfer distance based on part-segmentations, which are learned concurrently using self-supervision. We demonstrate qualitative results on real captured hands, and report quantitative evaluations on the FAUST benchmark for body registration. Our method achieves performance that is superior to other unsupervised approaches and comparable to methods using supervised examples.


title: Notes on Global Stress and Hyper-Stress Theories

abstract: The fundamental ideas and tools of the global geometric formulation of stress and hyper-stress theory of continuum mechanics are introduced. The proposed framework is the infinite dimensional counterpart of statics of systems having finite number of degrees of freedom, as viewed in the geometric approach to analytical mechanics. For continuum mechanics, the configuration space is the manifold of embeddings of a body manifold into the space manifold. Generalized velocity fields are viewed as elements of the tangent bundle of the configuration space and forces are continuous linear functionals defined on tangent vectors, elements of the cotangent bundle. It is shown, in particular, that a natural choice of topology on the configuration space, implies that force functionals may be represented by objects that generalize the stresses of traditional continuum mechanics.


title: Ensemble Quasi-Newton HMC

abstract: We present a modification of the Hybrid Monte Carlo algorithm for tackling the critical slowing down of generating Markov chains of lattice gauge configurations towards the continuum limit. We propose a new method to exchange information within an ensemble of Markov chains, and use it to construct an approximate inverse Hessian matrix of the action inspired from quasi-Newton algorithms for optimization. The kinetic term of the molecular dynamics evolution includes the approximate Hessian for long distance couplings among the momenta. We show the result of applying the new algorithm to the $U(1)$ gauge theory in two dimensions, and discuss our future plans.


title: A Survey on Practical Applications of Multi-Armed and Contextual Bandits

abstract: In recent years, multi-armed bandit (MAB) framework has attracted a lot of attention in various applications, from recommender systems and information retrieval to healthcare and finance, due to its stellar performance combined with certain attractive properties, such as learning from less feedback. The multi-armed bandit field is currently flourishing, as novel problem settings and algorithms motivated by various practical applications are being introduced, building on top of the classical bandit problem. This article aims to provide a comprehensive review of top recent developments in multiple real-life applications of the multi-armed bandit. Specifically, we introduce a taxonomy of common MAB-based applications and summarize state-of-art for each of those domains. Furthermore, we identify important current trends and provide new perspectives pertaining to the future of this exciting and fast-growing field.


title: Chordal Decomposition in Rank Minimized Semidefinite Programs with Applications to Subspace Clustering

abstract: Semidefinite programs (SDPs) often arise in relaxations of some NP-hard problems, and if the solution of the SDP obeys certain rank constraints, the relaxation will be tight. Decomposition methods based on chordal sparsity have already been applied to speed up the solution of sparse SDPs, but methods for dealing with rank constraints are underdeveloped. This paper leverages a minimum rank completion result to decompose the rank constraint on a single large matrix into multiple rank constraints on a set of smaller matrices. The re-weighted heuristic is used as a proxy for rank, and the specific form of the heuristic preserves the sparsity pattern between iterations. Implementations of rank-minimized SDPs through interior-point and first-order algorithms are discussed. The problem of subspace clustering is used to demonstrate the computational improvement of the proposed method.


title: Self-testing of quantum systems: a review

abstract: Self-testing is a method to infer the underlying physics of a quantum experiment in a black box scenario. As such it represents the strongest form of certification for quantum systems. In recent years a considerable self-testing literature has been developed, leading to progress in related device-independent quantum information protocols and deepening our understanding of quantum correlations. In this work we give a thorough and self-contained introduction and review of self-testing and its application to other areas of quantum information.


title: New relation for AdS amplitudes

abstract: In this paper, we present a simple and iterative algorithm that computes Anti-de Sitter space scattering amplitudes. We focus on the vector correlators in AdS in four dimensions in momentum space. These new combinatorial relations will allow one to generate tree level amplitudes algebraically, without having to do any explicit bulk integrations; hence, leading to a simple method of calculating higher point vector amplitudes.


title: UDFNet: Unsupervised Disparity Fusion with Adversarial Networks

abstract: Existing disparity fusion methods based on deep learning achieve state-of-the-art performance, but they require ground truth disparity data to train. As far as I know, this is the first time an unsupervised disparity fusion not using ground truth disparity data has been proposed. In this paper, a mathematical model for disparity fusion is proposed to guide an adversarial network to train effectively without ground truth disparity data. The initial disparity maps are inputted from the left view along with auxiliary information (gradient, left & right intensity image) into the refiner and the refiner is trained to output the refined disparity map registered on the left view. The refined left disparity map and left intensity image are used to reconstruct a fake right intensity image. Finally, the fake and real right intensity images (from the right stereo vision camera) are fed into the discriminator. In the model, the refiner is trained to output a refined disparity value close to the weighted sum of the disparity inputs for global initialisation. Then, three refinement principles are adopted to refine the results further. (1) The reconstructed intensity error between the fake and real right intensity image is minimised. (2) The similarities between the fake and real right image in different receptive fields are maximised. (3) The refined disparity map is smoothed based on the corresponding intensity image. The adversarial networks' architectures are effective for the fusion task. The fusion time using the proposed network is small. The network can achieve 90 fps using Nvidia Geforce GTX 1080Ti on the Kitti2015 dataset when the input resolution is 1242 * 375 (Width * Height) without downsampling and cropping. The accuracy of this work is equal to (or better than) the state-of-the-art supervised methods.


title: Automatic Spelling Correction with Transformer for CTC-based End-to-End Speech Recognition

abstract: Connectionist Temporal Classification (CTC) based end-to-end speech recognition system usually need to incorporate an external language model by using WFST-based decoding in order to achieve promising results. This is more essential to Mandarin speech recognition since it owns a special phenomenon, namely homophone, which causes a lot of substitution errors. The linguistic information introduced by language model will help to distinguish these substitution errors. In this work, we propose a transformer based spelling correction model to automatically correct errors especially the substitution errors made by CTC-based Mandarin speech recognition system. Specifically, we investigate using the recognition results generated by CTC-based systems as input and the ground-truth transcriptions as output to train a transformer with encoder-decoder architecture, which is much similar to machine translation. Results in a 20,000 hours Mandarin speech recognition task show that the proposed spelling correction model can achieve a CER of 3.41%, which results in 22.9% and 53.2% relative improvement compared to the baseline CTC-based systems decoded with and without language model respectively.


title: A distribution-free smoothed combination method of biomarkers to improve diagnostic accuracy in multi-category classification

abstract: Results from multiple diagnostic tests are usually combined to improve the overall diagnostic accuracy. For binary classification, maximization of the empirical estimate of the area under the receiver operating characteristic (ROC) curve is widely adopted to produce the optimal linear combination of multiple biomarkers. In the presence of large number of biomarkers, this method proves to be computationally expensive and difficult to implement since it involves maximization of a discontinuous, non-smooth function for which gradient-based methods cannot be used directly. Complexity of this problem increases when the classification problem becomes multi-category. In this article, we develop a linear combination method that maximizes a smooth approximation of the empirical Hypervolume Under Manifolds (HUM) for multi-category outcome. We approximate HUM by replacing the indicator function with the sigmoid function or normal cumulative distribution function (CDF). With the above smooth approximations, efficient gradient-based algorithms can be employed to obtain better solution with less computing time. We show that under some regularity conditions, the proposed method yields consistent estimates of the coefficient parameters. We also derive the asymptotic normality of the coefficient estimates. We conduct extensive simulations to examine our methods. Under different simulation scenarios, the proposed methods are compared with other existing methods and are shown to outperform them in terms of diagnostic accuracy. The proposed method is illustrated using two real medical data sets.


title: Equivariant K-theory classes of matrix orbit closures

abstract: The group $G = GL_r(k) \times (k^\times)^n$ acts on $\mathbf{A}^{r \times n}$, the space of $r$-by-$n$ matrices: $GL_r(k)$ acts by row operations and $(k^\times)^n$ scales columns. A matrix orbit closure is the Zariski closure of a point orbit for this action. We prove that the class of such an orbit closure in $G$ equivariant $K$-theory of $\mathbf{A}^{r \times n}$ is determined by the matroid of a generic point. We present two formulas for this class. The key to the proof is to show that matrix orbit closures have rational singularities.


title: High oxygen pressure floating zone growth and crystal structure of the layered nickelates R$_4$Ni$_3$O$_{10}$ (R=La, Pr)

abstract: Single crystals of the metallic Ruddlesden-Popper trilayer nickelates R$_4$Ni$_3$O$_{10}$ (R=La, Pr) were successfully grown using an optical-image floating zone furnace under oxygen pressure (pO$_2$) of 20 bar for La$_4$Ni$_3$O$_{10}$ and 140 bar for Pr$_4$Ni$_3$O$_{10}$. A combination of synchrotron and laboratory x-ray single crystal diffraction, high-resolution synchrotron x-ray powder diffraction and measurements of physical properties revealed that R$_4$Ni$_3$O$_{10}$ (R=La, Pr) crystallizes in the monoclinic $P$2$_1$/$a$ (Z=2) space group at room temperature, and that a metastable orthorhombic phase ($Bmab$) can be trapped by post-growth rapid cooling. Both La$_4$Ni$_3$O$_{10}$ and Pr$_4$Ni$_3$O$_{10}$ crystals undergo a metal-to-metal transition (MMT) below room temperature. In the case of Pr$_4$Ni$_3$O$_{10}$, the MMT is found at ~157.6 K. For La$_4$Ni$_3$O$_{10}$, the MMT depends on the lattice symmetry: 147.5 K for $Bmab$ vs. 138.6 K for $P$2$_1$/$a$. Lattice anomalies were found at the MMT that, when considered together with the pronounced dependence of the transition temperature on subtle structural differences between $Bmab$ and $P$2$_1$/$a$ phases, demonstrates a not insignificant coupling between electronic and lattice degrees of freedom in these trilayer nickelates.


title: Parameter Reconstruction for general transport equation

abstract: We consider the inverse problem for the general transport equation with external field, source term and absorption coefficient. We show that the source and the absorption coefficients can be uniquely reconstructed from the boundary measurement, in a Lipschitz stable manner. Specifically, the uniqueness and stability are obtained by using the Carleman estimate in which a special weight function is designed to pick up information on the desired parameter.


title: Metastability of quantum droplet clusters

abstract: We show that metastable ring-shaped clusters can be constructed from two-dimensional quantum droplets in systems described by the Gross-Pitaevskii equations augmented with Lee-Huang-Yang quantum corrections. The clusters exhibit dynamical behaviours ranging from contraction to rotation with simultaneous periodic pulsations, or expansion, depending on the initial radius of the necklace pattern and phase shift between adjacent quantum droplets. We show that, using an energy-minimization analysis, one can predict equilibrium values of the cluster radius that correspond to rotation without radial pulsations. In such a regime, the clusters evolve as metastable states, withstanding abrupt variations in the underlying scattering lengths and keeping their azimuthal symmetry in the course of evolution, even in the presence of considerable perturbations.


title: Shear jammed, fragile, and steady states in homogeneously strained granular materials

abstract: We study the jamming phase diagram of sheared granular material using a novel Couette shear set-up with multi-ring bottom. The set-up uses small basal friction forces to apply a volume-conserving linear shear with no shear band to a granular system composed of frictional photoelastic discs. The set-up can generate arbitrarily large shear strain due to its circular geometry, and the shear direction can be reversed, allowing us to measure a feature that distinguishes shear-jammed from fragile states. We report systematic measurements of the stress, strain and contact network structure at phase boundaries that have been difficult to access by traditional experimental techniques, including the yield stress curve and the jamming curve close to $\phi_{SJ}\approx 0.74$, the smallest packing fraction supporting a shear-jammed state. We observe fragile states created under large shear strain over a range of $\phi < \phi_{SJ}$. We also find a transition in the character of the quasi-static steady flow centered around $\phi_{SJ}$ on the yield curve as a function of packing fraction. Near $\phi_{SJ}$, the average contact number, fabric anisotropy, and non-rattler fraction all show a change of slope. Above $\phi_{F}\approx 0.7$ the steady flow shows measurable deviations from the basal linear shear profile, and above $\phi_c\approx 0.78$ the flow is localized in a shear band.


title: A Schwarz lemma for two families of domains and complex geometry

abstract: We make sharp estimates to obtain a Schwarz type lemma for the symmetrized polydisc $\gn$ and for the extended symmetrized polydisc $\Gn$. We explicitly construct an interpolating function under certain condition. To do so, we followed the methods described in \cite{Young-LMS}. Also we find a few geometric interplay between the members of the family $\Gn$ and its closure $\widetilde{\Gamma}_n$.


title: Stripe structures in phase separated magnetic oxides

abstract: We investigate the phase separated inhomogeneous charge and spin states in magnetic oxides. In particular, we study one dimensional harmonic waves and stripe structures. We show that harmonic spin charge waves are unstable and inevitably transform into two or three dimensional structures, while the stripe structures can be stable for certain parameters. Such stripe structures may allow the control of magnetic state with electric field in a magnetic oxide thin film.


title: A posteriori error estimates for mixed virtual element methods

abstract: We present an a posteriori error analysis for the mixed virtual element method (mixed VEM) applied to second order elliptic equations in divergence form with mixed boundary conditions. The resulting error estimator is of residual-type. It only depends on quantities directly available from the VEM solution and applies on very general polygonal meshes. The proof of the upper bound relies on a global inf-sup condition, a suitable Helmholtz decomposition, and the local approximation properties of a Cl\'ement-type interpolant. In turn, standard inverse inequalities and localization techniques based on bubble functions are the main tools yielding the lower bound. Via the inclusion of a fully local postprocessing of the mixed VEM solution, we also show that the estimator provides a reliable and efficient control on the broken $\mathrm{H}(\mathrm{div})$-norm error between the exact and the postprocessed flux. Numerical examples confirm the theoretical properties of our estimator, and show that it can be effectively used to drive an adaptive mesh refinement algorithm.


title: On string-localized potentials and gauge fields

abstract: A recent idea, put forward by Mund, Rehren and Schroer, is discussed; it suggests that in gauge quantum field theory one can replace the point-localized gauge fields by string-localized vector potentials built from gauge invariant observables and a principle of string-independence. Based on a kinematical model, describing unmovable (static) fields carrying opposite charges, it is shown that these string-localized potentials cannot be used for the description of the gauge bridges between electrically charged fields. These bridges are needed in order to ensure the validity of Gauss' law. This observation does not preclude the existence of Poincar\'e invariant theories, describing the coupling of string-localized gauge invariant potentials to matter fields. But these potentials are not a full-fledged substitute for the gauge fields in ``usual'' quantum electrodynamics.


title: Learning Feature-to-Feature Translator by Alternating Back-Propagation for Generative Zero-Shot Learning

abstract: We investigate learning feature-to-feature translator networks by alternating back-propagation as a general-purpose solution to zero-shot learning (ZSL) problems. It is a generative model-based ZSL framework. In contrast to models based on generative adversarial networks (GAN) or variational autoencoders (VAE) that require auxiliary networks to assist the training, our model consists of a single conditional generator that maps class-level semantic features and Gaussian white noise vector accounting for instance-level latent factors to visual features, and is trained by maximum likelihood estimation. The training process is a simple yet effective alternating back-propagation process that iterates the following two steps: (i) the inferential back-propagation to infer the latent factors of each observed example, and (ii) the learning back-propagation to update the model parameters. We show that, with slight modifications, our model is capable of learning from incomplete visual features for ZSL. We conduct extensive comparisons with existing generative ZSL methods on five benchmarks, demonstrating the superiority of our method in not only ZSL performance but also convergence speed and computational cost. Specifically, our model outperforms the existing state-of-the-art methods by a remarkable margin up to 3.1% and 4.0% in ZSL and generalized ZSL settings, respectively.


title: Theoretical Phase diagram of unconventional alkali-doped fullerides

abstract: By constructing an effective model based on recently calculated \emph{ab }initio bare interaction parameters, we study the phase diagram of alkali doped fullerides as a function of temperature and internal pressure. We use a slave-rotor mean-field approach at the weak and intermediate coupling limits and a variational mean-field approach at the strong coupling limit, and find a good agreement with experimental phase diagram. We explain the unified description of the phase diagram including the proximity of s-wave superconducting state and the Mott-insulating state, and the existence of Jahn-Teller distorted metallic state using orbital selective physics. We ague that the double electronic occupation of two degenerate orbitals triggers both s-wave superconductivity and Jahn-Teller distortion. While the orbital ordering of two electrons causes the distortion, the remaining single electron in the third orbital causes the metal-insulator transition.


title: Preferred States of Open Electronic Systems

abstract: System-environment interaction may introduce dynamic destruction of quantum coherence, resulting in a special representation named as pointer states. Here, pointer states of an open electronic system are studied. The decoherence effect is taken into account through two different models which are B\"{u}ttiker's virtual probe model and electron-phonon interaction in the polaron picture. The pointer states of the system with different coupling strength are investigated. The pointer states are identified by tracking the eigenstates of the density matrix in real-time evolution. It is found that the pointer states can emerge for arbitrary coupling strength. And the pointer states deform to the eigenstates of the system in the strong coupling limit, which indicates the vanish of quantumness in the strong coupling limit.


title: Distributed Differentially Private Computation of Functions with Correlated Noise

abstract: Many applications of machine learning, such as human health research, involve processing private or sensitive information. Privacy concerns may impose significant hurdles to collaboration in scenarios where there are multiple sites holding data and the goal is to estimate properties jointly across all datasets. Differentially private decentralized algorithms can provide strong privacy guarantees. However, the accuracy of the joint estimates may be poor when the datasets at each site are small. This paper proposes a new framework, Correlation Assisted Private Estimation (CAPE), for designing privacy-preserving decentralized algorithms with better accuracy guarantees in an honest-but-curious model. CAPE can be used in conjunction with the functional mechanism for statistical and machine learning optimization problems. A tighter characterization of the functional mechanism is provided that allows CAPE to achieve the same performance as a centralized algorithm in the decentralized setting using all datasets. Empirical results on regression and neural network problems for both synthetic and real datasets show that differentially private methods can be competitive with non-private algorithms in many scenarios of interest.


title: Centers of subgroups of big mapping class groups and the Tits alternative

abstract: In this note we show that many subgroups of mapping class groups of infinite-type surfaces without boundary have trivial centers, including all normal subgroups. Using similar techniques, we show that every nontrivial normal subgroup of a big mapping class group contains a nonabelian free group. In contrast, we show that no big mapping class group satisfies the strong Tits alternative enjoyed by finite-type mapping class groups. We also give examples of big mapping class groups that fail to satisfy even the classical Tits alternative and give a proof that every countable group appears as a subgroup of some big mapping class group.


title: Proton-proton forward scattering at the LHC

abstract: Recently the TOTEM experiment at the LHC has released measurements at $\sqrt{s} = 13$ TeV of the proton-proton total cross section, $\sigma_{tot}$, and the ratio of the real to imaginary parts of the forward elastic amplitude, $\rho$. Since then an intense debate on the $C$-parity asymptotic nature of the scattering amplitude was initiated. We examine the proton-proton and the antiproton-proton forward data above 10 GeV in the context of an eikonal QCD-based model, where nonperturbative effects are readily included via a QCD effective charge. We show that, despite an overall satisfactory description of the forward data is obtained by a model in which the scattering amplitude is dominated by only crossing-even elastic terms, there is evidence that the introduction of a crossing-odd term may improve the agreement with the measurements of $\rho$ at $\sqrt{s} = 13$ TeV. In the Regge language the dominant even(odd)-under-crossing object is the so called Pomeron (Odderon).


title: The Furstenberg Boundary of a Groupoid

abstract: We define the Furstenberg boundary of a locally compact Hausdorff \'etale groupoid, generalising the Furstenberg boundary for discrete groups, by providing a construction of a groupoid-equivariant injective envelope. Using this injective envelope, we establish the absence of recurrent amenable subgroups in the isotropy as a sufficient criterion for the intersection property of a locally compact Hausdorff \'etale groupoid with compact unit space and no fixed points. This yields a criterion for C*-simplicity of minimal groupoids.


title: Optimal valuation of American callable credit default swaps under drawdown of L\'evy insurance risk process

abstract: This paper discusses the valuation of credit default swaps, where default is announced when the reference asset price has gone below certain level from the last record maximum, also known as the high-water mark or drawdown. We assume that the protection buyer pays premium at fixed rate when the asset price is above a pre-specified level and continuously pays whenever the price increases. This payment scheme is in favour of the buyer as she only pays the premium when the market is in good condition for the protection against financial downturn. Under this framework, we look at an embedded option which gives the issuer an opportunity to call back the contract to a new one with reduced premium payment rate and slightly lower default coverage subject to paying a certain cost. We assume that the buyer is risk neutral investor trying to maximize the expected monetary value of the option over a class of stopping time. We discuss optimal solution to the stopping problem when the source of uncertainty of the asset price is modelled by L\'evy process with only downward jumps. Using recent development in excursion theory of L\'evy process, the results are given explicitly in terms of scale function of the L\'evy process. Furthermore, the value function of the stopping problem is shown to satisfy continuous and smooth pasting conditions regardless of regularity of the sample paths of the L\'evy process. Optimality and uniqueness of the solution are established using martingale approach for drawdown process and convexity of the scale function under Esscher transform of measure. Some numerical examples are discussed to illustrate the main results.


title: On integers $n$ for which $\sigma(2n+1)\geq \sigma(2n)$

abstract: We show that the natural density of positive integers $n$ for which $\sigma(2n+1)\geq \sigma(2n)$ is between $0.053$ and $0.055$.


title: Modeling the Echelle Spectra Continuum with Alpha Shapes and Local Regression Fitting

abstract: Continuum normalization of echelle spectra is an important data analysis step that is difficult to automate. Polynomial fitting requires a reasonably high order model to follow the steep slope of the blaze function. However, in the presence of deep spectral lines, a high order polynomial fit can result in ripples in the normalized continuum that increase errors in spectral analysis. Here, we present two algorithms for flattening the spectrum continuum. The Alpha-shape Fitting to Spectrum algorithm (AFS) is completely data-driven, using an alpha shape to obtain an initial estimate of the blaze function. The Alpha-shape and Lab Source Fitting to Spectrum algorithm (ALSFS) incorporates a continuum constraint from a lab source reference spectrum for the blaze function estimation. These algorithms are tested on a simulated spectrum, where we demonstrate improved normalization compared to polynomial regression for continuum fitting. We show an additional application, using the algorithms for mitigation of spatially correlated quantum efficiency variations and fringing in the CCD detector of the EXtreme PREcision Spectrometer (EXPRES).


title: Bold Hearts Team Description for RoboCup 2019 (Humanoid Kid Size League)

abstract: We participated in the RoboCup 2018 competition in Montreal with our newly developed BoldBot based on the Darwin-OP and mostly self-printed custom parts. This paper is about the lessons learnt from that competition and further developments for the RoboCup 2019 competition. Firstly, we briefly introduce the team along with an overview of past achievements. We then present a simple, standalone 2D simulator we use for simplifying the entry for new members with making basic RoboCup concepts quickly accessible. We describe our approach for semantic-segmentation for our vision used in the 2018 competition, which replaced the lookup-table (LUT) implementation we had before. We also discuss the extra structural support we plan to add to the printed parts of the BoldBot and our transition to ROS 2 as our new middleware. Lastly, we will present a collection of open-source contributions of our team.


title: Flexible Byzantine Fault Tolerance

abstract: This paper introduces Flexible BFT, a new approach for BFT consensus solution design revolving around two pillars, stronger resilience and diversity. The first pillar, stronger resilience, involves a new fault model called alive-but-corrupt faults. Alive-but-corrupt replicas may arbitrarily deviate from the protocol in an attempt to break safety of the protocol. However, if they cannot break safety, they will not try to prevent liveness of the protocol. Combining alive-but-corrupt faults into the model, Flexible BFT is resilient to higher corruption levels than possible in a pure Byzantine fault model. The second pillar, diversity, designs consensus solutions whose protocol transcript is used to draw different commit decisions under diverse beliefs. With this separation, the same Flexible BFT solution supports synchronous and asynchronous beliefs, as well as varying resilience threshold combinations of Byzantine and alive-but-corrupt faults. At a technical level, Flexible BFT achieves the above results using two new ideas. First, it introduces a synchronous BFT protocol in which only the commit step requires to know the network delay bound and thus replicas execute the protocol without any synchrony assumption. Second, it introduces a notion called Flexible Byzantine Quorums by dissecting the roles of different quorums in existing consensus protocols.


title: A gradient flow of isometric $\mathrm{G}_2$ structures

abstract: We study a flow of $G_2$ structures which induce the same Riemannian metric which is the negative gradient flow of an energy functional. We prove Shi-type estimates for the torsion tensor along the flow. We show that at a finite-time singularity the torsion must blow-up, so the flow exists as long as the torsion remains bounded. We prove a Cheeger-Gromov type compactness theorem for the flow. We describe an Uhlenbeck-type trick which together with a modification of the connection gives a nice diffusion-reaction equation for the torsion along the flow. We define a quantity for any solution of the flow and prove that it is almost monotonic along the flow. Inspired by the work of Colding-Minicozzi on the mean curvature flow, we define an entropy functional and after proving an $\epsilon$-regularity theorem, we show that low entropy initial data lead to solutions of the flow which exist for all time and converge smoothly to a $G_2$ structure with divergence free torsion. We also study the finite-time singularities and show that at the singular time the flow converges to a smooth $G_2$ structure outside a closed set of finite 5-dimensional Hausdorff measure. Finally, we prove that if the singularity is of Type-I then a sequence of blow-ups of a solution has a subsequence which converges to a shrinking soliton for the flow.


title: Filtrations of numerically flat Higgs bundles and curve semistable Higgs bundles on Calabi-Yau manifolds

abstract: We consider Higgs bundles satisfying a notion of numerical flatness (H-nflatness) that was previously introduced, and show that they have Jordan-H\"older filtrations whose quotients are stable, locally free and H-nflat. This is applied to show that curve semistable Higgs bundles on simply connected Calabi-Yau manifolds have vanishing discriminant.


title: Multicomponent Flow on Curved Surfaces: A Vielbein Lattice Boltzmann Approach

abstract: We develop and implement a novel lattice Boltzmann scheme to study multicomponent flows on curved surfaces, coupling the continuity and Navier-Stokes equations with the Cahn-Hilliard equation to track the evolution of the binary fluid interfaces. Standard lattice Boltzmann method relies on regular Cartesian grids, which makes it generally unsuitable to study flow problems on curved surfaces. To alleviate this limitation, we use a vielbein formalism to write down the Boltzmann equation on an arbitrary geometry, and solve the evolution of the fluid distribution functions using a finite difference method. Focussing on the torus geometry as an example of a curved surface, we demonstrate drift motions of fluid droplets and stripes embedded on the surface of a torus. Interestingly, they migrate in opposite directions: fluid droplets to the outer side while fluid stripes to the inner side of the torus. For the latter we demonstrate that the global minimum configuration is unique for small stripe widths, but it becomes bistable for large stripe widths. Our simulations are also in agreement with analytical predictions for the Laplace pressure of the fluid stripes, and their damped oscillatory motion as they approach equilibrium configurations, capturing the corresponding decay timescale and oscillation frequency. Finally, we simulate the coarsening dynamics of phase separating binary fluids in the hydrodynamics and diffusive regimes for tori of various shapes, and compare the results against those for a flat two-dimensional surface. Our lattice Boltzmann scheme can be extended to other surfaces and coupled to other dynamical equations, opening up a vast range of applications involving complex flows on curved geometries.


title: $tZ'$ production at hadron colliders

abstract: We study the production of a single top quark in association with a heavy extra $Z'$ at hadron colliders in new physics models with and without flavor-changing neutral-current (FCNC) couplings. We use QCD soft-gluon resummation and threshold expansions to calculate higher-order corrections for the total cross section and transverse-momentum distributions for $t Z'$ production. The impact of the uncertainties due to the structure of the proton and scale dependence is also analyzed.


title: The winding invariant

abstract: Every element $w$ in the commutator subgroup of the free group $\mathbb{F}_2$ of rank 2 determines a closed curve in the grid $\mathbb{Z} \times \mathbb{R} \cup \mathbb{R} \times \mathbb{Z} \subseteq \mathbb{R}^2$. The winding numbers of this curve around the centers of the squares in the grid are the coefficients of a Laurent polynomial $P_w$ in two variables. This basic definition is related to well-known ideas in combinatorial group theory. We use this invariant to study equations over $\mathbb{F}_2$ and over the free metabelian group of rank $2$. We give a number of applications of algebraic, geometric and combinatorial flavor.


title: Elasticity in Curved Topographies: Exact Theories and Linear Approximations

abstract: Almost all available results in elasticity on curved topographies are obtained within either a small curvature expansion or an empirical covariant generalization that accounts for screening between Gaussian curvature and disclinations. In this paper, we present a formulation of elasticity theory in curved geometries that unifies its underlying geometric and topological content with the theory of defects. The two different linear approximations widely used in the literature are shown to arise as systematic expansions in reference and actual space. Taking the concrete example of a 2D crystal, with and without a central disclination, constrained on a spherical cap, we compare the exact results with different approximations and evaluate their range of validity. We conclude with some general discussion about the universality of non-linear elasticity.


title: Hyperbolic SRB measures and the leaf condition

abstract: Let $M$ be a Riemannian, boundaryless, and compact manifold, with $\dim M\geq 2$ and let $f$ be a $C^{1+}$ diffeomorphism. We show that there is a hyperbolic SRB measure if and only if there exists an unstable leaf with a subset of positive leaf volume of hyperbolic points which return to some Pesin set with positive frequency. This answers a question of Pesin.


title: Generalized Brewster-angle effect in thin-film optical absorbers and its application for graphene hydrogen sensing

abstract: Generalized Brewster angle (GBA) is the incidence angle at which polarization by reflection for p- and s-polarized light takes place. Realizing s-polarization Brewster effect requires a material with magnetic response which is challenging at optical frequencies since the magnetic response of materials at these frequencies is extremely weak. Here, we experimentally realize GBA effect in the visible using a thin-film absorber system consisting of a dielectric film on an absorbing substrate. Polarization by reflection is realized for both p- and s- polarized light at different angles of incidence and multiple wavelengths. We provide a theoretical framework for the generalized Brewster effect in thin-film light absorbers. We demonstrate hydrogen gas sensing using a single layer graphene film transferred on a thin-film absorber at the GBA with ~1 fg/mm2 aerial mass sensitivity. The ultrahigh sensitivity stems from the strong phase sensitivity near point of darkness, particularly at the GBA, and the strong light-matter interaction in planar nanocavities. These findings depart from the traditional domain of thin-films as mere interference optical coatings and highlight its many potential applications including gas sensing and biosensing.


title: Using Videos to Evaluate Image Model Robustness

abstract: Human visual systems are robust to a wide range of image transformations that are challenging for artificial networks. We present the first study of image model robustness to the minute transformations found across video frames, which we term "natural robustness". Compared to previous studies on adversarial examples and synthetic distortions, natural robustness captures a more diverse set of common image transformations that occur in the natural environment. Our study across a dozen model architectures shows that more accurate models are more robust to natural transformations, and that robustness to synthetic color distortions is a good proxy for natural robustness. In examining brittleness in videos, we find that majority of the brittleness found in videos lies outside the typical definition of adversarial examples (99.9\%). Finally, we investigate training techniques to reduce brittleness and find that no single technique systematically improves natural robustness across twelve tested architectures.


title: Benefits of Coding on Age of Information in Broadcast Networks

abstract: Age of Information (AoI) is studied in two-user broadcast networks with feedback, and lower and upper bounds are derived on the expected weighted sum AoI of the users. In particular, a class of simple coding actions is considered and within this class, randomized and deterministic policies are devised. Explicit conditions are found for symmetric dependent channels under which coded randomized policies strictly outperform the corresponding uncoded policies. Similar behavior is numerically shown for deterministic policies.


title: Measurement of the $K^+\rightarrow{\mu^+}{\nu_{\mu}}{\gamma}$ decay form factors in the OKA experiment

abstract: A precise measurement of the vector and axial-vector form factors difference $F_V-F_A$ in the $K^+\rightarrow{\mu^+}{\nu_{\mu}}{\gamma}$ decay is presented. About 95K events of $K^+\rightarrow{\mu^+}{\nu_{\mu}}{\gamma}$ are selected in the OKA experiment. The result is $F_V-F_A=0.134\pm0.021(stat)\pm0.027(syst)$. Both errors are smaller than in the previous $F_V-F_A$ measurements.


title: The MineRL 2019 Competition on Sample Efficient Reinforcement Learning using Human Priors

abstract: Though deep reinforcement learning has led to breakthroughs in many difficult domains, these successes have required an ever-increasing number of samples. As state-of-the-art reinforcement learning (RL) systems require an exponentially increasing number of samples, their development is restricted to a continually shrinking segment of the AI community. Likewise, many of these systems cannot be applied to real-world problems, where environment samples are expensive. Resolution of these limitations requires new, sample-efficient methods. To facilitate research in this direction, we introduce the MineRL Competition on Sample Efficient Reinforcement Learning using Human Priors. The primary goal of the competition is to foster the development of algorithms which can efficiently leverage human demonstrations to drastically reduce the number of samples needed to solve complex, hierarchical, and sparse environments. To that end, we introduce: (1) the Minecraft ObtainDiamond task, a sequential decision making environment requiring long-term planning, hierarchical control, and efficient exploration methods; and (2) the MineRL-v0 dataset, a large-scale collection of over 60 million state-action pairs of human demonstrations that can be resimulated into embodied trajectories with arbitrary modifications to game state and visuals. Participants will compete to develop systems which solve the ObtainDiamond task with a limited number of samples from the environment simulator, Malmo. The competition is structured into two rounds in which competitors are provided several paired versions of the dataset and environment with different game textures. At the end of each round, competitors will submit containerized versions of their learning algorithms and they will then be trained/evaluated from scratch on a hold-out dataset-environment pair for a total of 4-days on a prespecified hardware platform.


title: The trace form over cyclic number fields

abstract: In the mid 80's Conner and Perlis showed that for cyclic number fields of prime degree $p$ the isometry class of integral trace is completely determined by the discriminant. Here we generalize their result to tame cyclic number fields of arbitrary degree. Furthermore, for such fields, we give an explicit description of a Gram matrix of the integral trace in terms of the discriminant of the field.


title: Quantum-to-classical correspondence in two-dimensional Heisenberg models

abstract: The quantum-to-classical correspondence (QCC) in spin models is a puzzling phenomenon where the static susceptibility of a quantum system agrees with its classical-system counterpart, at a different corresponding temperature, within the systematic error at a sub-percent level. We employ the bold diagrammatic Monte Carlo method to explore the universality of QCC by considering three different two-dimensional spin-1/2 Heisenberg models. In particular, we reveal the existence of QCC in two-parametric models.


title: Adaptive Transform Domain Image Super-resolution Via Orthogonally Regularized Deep Networks

abstract: Deep learning methods, in particular, trained Convolutional Neural Networks (CNN) have recently been shown to produce compelling results for single image Super-Resolution (SR). Invariably, a CNN is learned to map the Low Resolution (LR) image to its corresponding High Resolution (HR) version in the spatial domain. We propose a novel network structure for learning the SR mapping function in an image transform domain, specifically the Discrete Cosine Transform (DCT). As the first contribution, we show that DCT can be integrated into the network structure as a Convolutional DCT (CDCT) layer. With the CDCT layer, we construct the DCT Deep SR (DCT-DSR) network. We further extend the DCT-DSR to allow the CDCT layer to become trainable (i.e., optimizable). Because this layer represents an image transform, we enforce pairwise orthogonality constraints and newly formulated complexity order constraints on the individual basis functions/filters. This Orthogonally Regularized Deep SR network (ORDSR) simplifies the SR task by taking advantage of image transform domain while adapting the design of transform basis to the training image set. Experimental results show ORDSR achieves state-of-the-art SR image quality with fewer parameters than most of the deep CNN methods. A particular success of ORDSR is in overcoming the artifacts introduced by bicubic interpolation. A key burden of deep SR has been identified as the requirement of generous training LR and HR image pairs; ORSDR exhibits a much more graceful degradation as training size is reduced with significant benefits in the regime of limited training. Analysis of memory and computation requirements confirms that ORDSR can allow for a more efficient network with faster inference.


title: Pangolin: A Fault-Tolerant Persistent Memory Programming Library

abstract: Non-volatile main memory (NVMM) allows programmers to build complex, persistent, pointer-based data structures that can offer substantial performance gains over conventional approaches to managing persistent state. This programming model removes the file system from the critical path which improves performance, but it also places these data structures out of reach of file system-based fault tolerance mechanisms (e.g., block-based checksums or erasure coding). Without fault-tolerance, using NVMM to hold critical data will be much less attractive. This paper presents Pangolin, a fault-tolerant persistent object library designed for NVMM. Pangolin uses a combination of checksums, parity, and micro-buffering to protect an application's objects from both media errors and corruption due to software bugs. It provides these protections for objects of any size and supports automatic, online detection of data corruption and recovery. The required storage overhead is small (1% for gigabyte-sized pools of NVMM). Pangolin provides stronger protection, requires orders of magnitude less storage overhead, and achieves comparable performance relative to the current state-of-the-art fault-tolerant persistent object library.


title: Low-Temperature Annihilation Rate for Quasi-Localized Excitons in Monolayer MoS2

abstract: The strong Coulomb forces in monolayer transition metal dichalcogenides ensure that optical excitation of band electrons gives rise to Wannier-Mott excitonic states, each of which can be conceptualized as a composite of a Gaussian wavepacket corresponding to center-of-mass motion and an orbital state corresponding to the motion of the electron and hole about the center-of-mass. Here, we show that at low temperature in monolayer MoS2, given quasi-localized excitons and consequently a significant inter-exciton spacing, the excitons undergo dipole-dipole interaction and annihilate one another in a manner analogous to Auger recombination. To construct our model, we assume that each exciton is localized in a region whose length is on the same scale as the excitonic diameter, thus causing the exciton to behave in a fermionic manner, while the distance between neighboring excitons is much larger than the exciton diameter. We construct the orbital ladder operators for each exciton and apply Fermi's Golden Rule to derive the overall recombination rate as a function of exciton density.


title: Tertiary Eye Movement Classification by a Hybrid Algorithm

abstract: The proper classification of major eye movements, saccades, fixations, and smooth pursuits, remains essential to utilizing eye-tracking data. There is difficulty in separating out smooth pursuits from the other behavior types, particularly from fixations. To this end, we propose a new offline algorithm, I-VDT-HMM, for tertiary classification of eye movements. The algorithm combines the simplicity of two foundational algorithms, I-VT and I-DT, as has been implemented in I-VDT, with the statistical predictive power of the Viterbi algorithm. We evaluate the fitness across a dataset of eight eye movement records at eight sampling rates gathered from previous research, with a comparison to the current state-of-the-art using the proposed quantitative and qualitative behavioral scores. The proposed algorithm achieves promising results in clean high sampling frequency data and with slight modifications could show similar results with lower quality data. Though, the statistical aspect of the algorithm comes at a cost of classification time.


title: Oscillating Wandering Domains for Functions with Escaping Singular Values

abstract: We construct a transcendental entire $f:\mathbb{C}\rightarrow\mathbb{C}$ such that (1) $f$ has bounded singular set, (2) $f$ has a wandering domain, and (3) each singular value of $f$ escapes to infinity under iteration by $f$.


title: Complementary First and Second Derivative Methods for Ansatz Optimization in Variational Monte Carlo

abstract: We present a comparison between a number of recently introduced low-memory wave function optimization methods for variational Monte Carlo in which we find that first and second derivative methods possess strongly complementary relative advantages. While we find that low-memory variants of the linear method are vastly more efficient at bringing wave functions with disparate types of nonlinear parameters to the vicinity of the energy minimum, accelerated descent approaches are then able to locate the precise minimum with less bias and lower statistical uncertainty. By constructing a simple hybrid approach that combines these methodologies, we show that all of these advantages can be had at once when simultaneously optimizing large determinant expansions, molecular orbital shapes, traditional Jastrow correlation factors, and more nonlinear many-electron Jastrow factors.


title: Hydrodynamic synchronization of spontaneously beating filaments

abstract: Using a geometric feedback model of the flagellar axoneme accounting for dynein motor kinetics, we study elastohydrodynamic phase synchronization in a pair of spontaneously beating filaments with waveforms ranging from sperm to cilia and Chlamydomonas. Our computations reveal that both in-phase and anti-phase synchrony can emerge for asymmetric beats while symmetric waveforms go in-phase, and elucidate the mechanism for phase slips due to biochemical noise. Model predictions agree with recent experiments and illuminate the crucial roles of hydrodynamics and mechanochemical feedback in synchronization.


title: Controllability of Bandlimited Graph Processes Over Random Time Varying Graphs

abstract: Controllability of complex networks arises in many technological problems involving social, financial, road, communication, and smart grid networks. In many practical situations, the underlying topology might change randomly with time, due to link failures such as changing friendships, road blocks or sensor malfunctions. Thus, it leads to poorly controlled dynamics if randomness is not properly accounted for. We consider the problem of controlling the network state when the topology varies randomly with time. Our problem concerns target states that are bandlimited over the graph; these are states that have nonzero frequency content only on a specific graph frequency band. We thus leverage graph signal processing and exploit the bandlimited model to drive the network state from a fixed set of control nodes. When controlling the state from a few nodes, we observe that spurious, out-of-band frequency content is created. Therefore, we focus on controlling the network state over the desired frequency band, and then use a graph filter to get rid of the unwanted frequency content. To account for the topological randomness, we develop the concept of controllability in the mean, which consists of driving the expected network state towards the target state. A detailed mean squared error analysis is performed to quantify the statistical deviation between the final controlled state on a particular graph realization and the actual target state. Finally, we propose different control strategies and evaluate their effectiveness on synthetic network models and social networks.


title: Non-Stationary Markov Decision Processes, a Worst-Case Approach using Model-Based Reinforcement Learning, Extended version

abstract: This work tackles the problem of robust zero-shot planning in non-stationary stochastic environments. We study Markov Decision Processes (MDPs) evolving over time and consider Model-Based Reinforcement Learning algorithms in this setting. We make two hypotheses: 1) the environment evolves continuously with a bounded evolution rate; 2) a current model is known at each decision epoch but not its evolution. Our contribution can be presented in four points. 1) we define a specific class of MDPs that we call Non-Stationary MDPs (NSMDPs). We introduce the notion of regular evolution by making an hypothesis of Lipschitz-Continuity on the transition and reward functions w.r.t. time; 2) we consider a planning agent using the current model of the environment but unaware of its future evolution. This leads us to consider a worst-case method where the environment is seen as an adversarial agent; 3) following this approach, we propose the Risk-Averse Tree-Search (RATS) algorithm, a zero-shot Model-Based method similar to Minimax search; 4) we illustrate the benefits brought by RATS empirically and compare its performance with reference Model-Based algorithms.


title: A Generalized LMI Formulation for Input-Output Analysis of Linear Systems of ODEs Coupled with PDEs

abstract: In this paper, we consider input-output properties of linear systems consisting of PDEs on a finite domain coupled with ODEs through the boundary conditions of the PDE. This framework can be used to represent e.g. a lumped mass fixed to a beam or a system with delay. This work generalizes the sufficiency proof of the KYP Lemma for ODEs to coupled ODE-PDE systems using a recently developed concept of fundamental state and the associated boundary-condition-free representation. The conditions of the generalized KYP are tested using the PQRS positive matrix parameterization of operators resulting in a finite-dimensional LMI, feasibility of which implies prima facie provable passivity or L2-gain of the system. No discretization or approximation is involved at any step and we use numerical examples to demonstrate that the bounds obtained are not conservative in any significant sense and that computational complexity is lower than existing methods involving finite-dimensional projection of PDEs.


title: Orthogonality catastrophe in Coulomb systems

abstract: The orthogonality catastrophe (OC) problem is considered solved for 50 years. It has important consequences for numerous dynamic phenomena in fermionic systems, including Kondo effect, X-ray spectroscopy, and quantum diffusion of impurities, and is often used in the context of metals. However, the key assumptions on which the known solution is based---impurity potentials with finite cross-section and non-interacting fermions---are both highly inaccurate for problems involving charged particles in metals. As far as we know, the OC problem for the "all Coulomb" case has never been addressed systematically, leaving it unsolved for the most relevant practical applications. In this work we include effects of dynamic screening in a consistent way and demonstrate that for short-range impurity potentials the non-interacting Fermi-sea approximation radically overestimates the power-law decay exponent of the overlap integral. We also find that the dynamically screened Coulomb potential leads to a larger exponent than the often used static Yukawa potential. Finally, by employing the Diagrammatic Monte Carlo technique, we quantify effects of a finite impurity mass and reveal how OC physics leads to small, but finite, impurity residues.


title: Subreducts and Subvarieties of PBZ*--lattices

abstract: PBZ*-lattices are bounded lattice-ordered structures endowed with two complements, called Kleene and Brouwer; by definition, they are the paraorthomodular Brouwer-Zadeh lattices in which the pairs of elements with their Kleene complements satisfy the Strong De Morgan condition. These algebras arise in the study of Quantum Logics and they form a variety PBZL* which includes orthomodular lattices with an extended signature (with the two complements coinciding), as well as antiortholattices (whose Brouwer complements are trivial). The former turn out to have directly irreducible lattice reducts and, under distributivity, no nontrivial elements with bounded lattice complements. We establish a lattice isomorphism between the lattice of subvarieties of the variety SAOL generated by the antiortholattices with the Strong De Morgan property and the ordinal sum of the three-element chain with the lattice of subvarieties of the variety PKA of pseudo-Kleene algebras, which also gives us axiomatizations for all subvarieties of SAOL from those of the subvarieties of PKA and proves that the variety PKA is generated by the class of the bounded involution lattice reducts of the members of SAOL and thus of those of any subvariety of PBZL* that includes SAOL, hence neither of these classes is a variety. We also obtain an infinity of pairwise disjoint infinite ascending chains of varieties of PBZ*-lattices, out of which one is formed of subvarieties of SAOL and another one from subvarieties of the variety of distributive PBZ*-lattices.


title: A Liutex based definition of vortex axis line

abstract: Eulerian local region-type vortex identification criteria, including the criterion, the criterion and the criterion et al., are widely used for vortex identification due to the simplicity in applications. However, most of these criteria are based on a scalar quantity, unable to identify vortex axis (core) lines. On the other hand, the current line-type methods, which seek to extract line-type features such as vortex core lines, are not entirely satisfactory since most of these methods are based on vorticity or pressure minimum which will fail in many cases. To address this issue, a novel Liutex (previously named Rortex) based definition of vortex axis line is proposed in this paper. Mathematically, the vortex axis lines are defined by points where the gradient of Liutex magnitude is aligned with the direction of the Liutex vector, which implies that the cross product of the gradient of Liutex magnitude and the Liutex vector is equal to zero. A preliminary manual process for extracting vortex axis lines is presented. Two test cases, namely Burgers vortex and hairpin vortex, are examined to verify the proposed method.


title: New Active Asteroid (6478) Gault

abstract: Main-belt asteroid (6478) Gault was observed to show cometary features in early 2019. To investigate the cause, we conducted {\it BVR} observations at Xingming Observatory, China, from 2019 January to April. The two tails were formed around 2018 October 26--November 08, and 2018 December 29--2019 January 08, respectively, and consisted of dust grains of $\gtrsim$20 $\mu$m to 3 mm in radius ejected at a speed of $0.15 \pm 0.05$ m s$^{-1}$ and following a broken power-law size distribution bending at grain radius $\sim$70 $\mu$m (bulk density 1 g cm$^{-3}$ assumed). The total mass of dust within a $10^4$ km-radius aperture around Gault declined from $\sim$$9 \times 10^6$ kg since 2019 January at a rate of $2.28 \pm 0.07$ kg s$^{-1}$, but temporarily surged around 2019 March 25, because Earth thence crossed the orbital plane of Gault, within which the ejected dust was mainly distributed. No statistically significant colour or short-term lightcurve variation was seen. Nonetheless we argue that Gault is currently subjected to rotational instability. Using the available astrometry, we did not detect any nongravitational acceleration in the orbital motion of Gault.


title: Heavy-Traffic Analysis of Queueing Systems with no Complete Resource Pooling

abstract: We study the heavy-traffic limit of the generalized switch operating under MaxWeight, without assuming that the CRP condition is satisfied and allowing for correlated arrivals. The main contribution of this paper is the steady-state mean of linear combinations of queue lengths in heavy traffic. We showcase the generality of our result by presenting various stochastic networks as corollaries, each of which is a contribution by itself. In particular, we study the input-queued switch with correlated arrivals and we show that if the state space collapses to a full-dimensional subspace, the correlation among the arrival processes does not matter in heavy traffic. We exemplify this last case with a parallel-server system, an N-system, and an ad hoc wireless network. While the above results are obtained using the drift method, we additionally present a negative result showing a limitation of the drift method. We show that it is not possible to obtain the individual queue lengths using the drift method with polynomial test functions. We do this by presenting an alternate view of the drift method in terms of a system of linear equations, and we use this system of equations to obtain bounds on arbitrary linear combinations of the queue lengths.


title: DirectShape: Direct Photometric Alignment of Shape Priors for Visual Vehicle Pose and Shape Estimation

abstract: Scene understanding from images is a challenging problem encountered in autonomous driving. On the object level, while 2D methods have gradually evolved from computing simple bounding boxes to delivering finer grained results like instance segmentations, the 3D family is still dominated by estimating 3D bounding boxes. In this paper, we propose a novel approach to jointly infer the 3D rigid-body poses and shapes of vehicles from a stereo image pair using shape priors. Unlike previous works that geometrically align shapes to point clouds from dense stereo reconstruction, our approach works directly on images by combining a photometric and a silhouette alignment term in the energy function. An adaptive sparse point selection scheme is proposed to efficiently measure the consistency with both terms. In experiments, we show superior performance of our method on 3D pose and shape estimation over the previous geometric approach and demonstrate that our method can also be applied as a refinement step and significantly boost the performances of several state-of-the-art deep learning based 3D object detectors. All related materials and demonstration videos are available at the project page https://vision.in.tum.de/research/vslam/direct-shape.


title: DAG-GNN: DAG Structure Learning with Graph Neural Networks

abstract: Learning a faithful directed acyclic graph (DAG) from samples of a joint distribution is a challenging combinatorial problem, owing to the intractable search space superexponential in the number of graph nodes. A recent breakthrough formulates the problem as a continuous optimization with a structural constraint that ensures acyclicity (Zheng et al., 2018). The authors apply the approach to the linear structural equation model (SEM) and the least-squares loss function that are statistically well justified but nevertheless limited. Motivated by the widespread success of deep learning that is capable of capturing complex nonlinear mappings, in this work we propose a deep generative model and apply a variant of the structural constraint to learn the DAG. At the heart of the generative model is a variational autoencoder parameterized by a novel graph neural network architecture, which we coin DAG-GNN. In addition to the richer capacity, an advantage of the proposed model is that it naturally handles discrete variables as well as vector-valued ones. We demonstrate that on synthetic data sets, the proposed method learns more accurate graphs for nonlinearly generated samples; and on benchmark data sets with discrete variables, the learned graphs are reasonably close to the global optima. The code is available at \url{https://github.com/fishmoon1234/DAG-GNN}.


title: Principal elliptic bundles and compact homogeneous l.c.K. manifolds

abstract: In this paper, we provide a systematic and constructive description of Vaisman structures on certain principal elliptic bundles over complex flag manifolds. From this description we explicitly classify homogeneous l.c.K. structures on compact homogeneous Hermitian manifolds using elements of representation theory of complex simple Lie algebras. Moreover, we also describe using Lie theory all homogeneous solutions of the Hermitian-Einstein-Weyl equation on compact homogeneous Hermitian-Weyl manifolds. As an application, we provide a huge class of explicit (nontrivial) examples of such structures on homogeneous Hermitian manifolds, these examples include elliptic bundles over full flag manifolds, elliptic bundles over Grassmannian manifolds, and 8-dimensional locally conformal hyperK\"{a}hler compact manifolds.


title: Multiview Hessian Regularization for Image Annotation

abstract: The rapid development of computer hardware and Internet technology makes large scale data dependent models computationally tractable, and opens a bright avenue for annotating images through innovative machine learning algorithms. Semi-supervised learning (SSL) has consequently received intensive attention in recent years and has been successfully deployed in image annotation. One representative work in SSL is Laplacian regularization (LR), which smoothes the conditional distribution for classification along the manifold encoded in the graph Laplacian, however, it has been observed that LR biases the classification function towards a constant function which possibly results in poor generalization. In addition, LR is developed to handle uniformly distributed data (or single view data), although instances or objects, such as images and videos, are usually represented by multiview features, such as color, shape and texture. In this paper, we present multiview Hessian regularization (mHR) to address the above two problems in LR-based image annotation. In particular, mHR optimally combines multiple Hessian regularizations, each of which is obtained from a particular view of instances, and steers the classification function which varies linearly along the data manifold. We apply mHR to kernel least squares and support vector machines as two examples for image annotation. Extensive experiments on the PASCAL VOC'07 dataset validate the effectiveness of mHR by comparing it with baseline algorithms, including LR and HR.


title: Generalized conformal pseudo-Galilean algebras and their Casimir operators

abstract: A generalization $\mathfrak{Gal}_{\ell}(p,q)$ of the conformal Galilei algebra $\mathfrak{g}_{\ell}(d)$ with Levi subalgebra isomorphic to $\mathfrak{sl}(2,\mathbb{R})\oplus\mathfrak{so}(p,q)$ is introduced and a virtual copy of the latter in the enveloping algebra of the extension is constructed. Explicit expressions for the Casimir operators are obtained from the determinant of polynomial matrices. For the central factor $\overline{\mathfrak{Gal}}_{\ell}(p,q)$, an exact formula giving the number of invariants is obtained and a procedure to compute invariants functions that do not depend on variables of the Levi subalgebra is developed. It is further shown that such solutions determine complete sets of invariants provided that the relation $d\leq 2\ell+2$ is satisfied.


title: Sublinear-Time Non-Adaptive Group Testing with $O(k \log n)$ Tests via Bit-Mixing Coding

abstract: The group testing problem consists of determining a small set of defective items from a larger set of items based on tests on groups of items, and is relevant in applications such as medical testing, communication protocols, pattern matching, and many more. While rigorous group testing algorithms have long been known with runtime at least linear in the number of items, a recent line of works has sought to reduce the runtime to ${\rm poly}(k \log n)$, where $n$ is the number of items and $k$ is the number of defectives. In this paper, we present such an algorithm for non-adaptive probabilistic group testing termed {\em bit mixing coding} (BMC), which builds on techniques that encode item indices in the test matrix, while incorporating novel ideas based on erasure-correction coding. We show that BMC achieves asymptotically vanishing error probability with $O(k \log n)$ tests and $O(k^2 \cdot \log k \cdot \log n)$ runtime, in the limit as $n \to \infty$ (with $k$ having an arbitrary dependence on $n$). This closes a recently-proposed open problem of simultaneously achieving ${\rm poly}(k \log n)$ decoding time using $O(k \log n)$ tests without any assumptions on $k$. In addition, we show that the same scaling laws can be attained in a commonly-considered noisy setting, in which each test outcome is flipped with constant probability.


title: A quaternionic Saito-Kurokawa lift and cusp forms on $G_2$

abstract: We consider a special theta lift $\theta(f)$ from cuspidal Siegel modular forms $f$ on $\mathrm{Sp}_4$ to "modular forms" $\theta(f)$ on $\mathrm{SO}(4,4)$. This lift can be considered an analogue of the Saito-Kurokawa lift, where now the image of the lift is representations of $\mathrm{SO}(4,4)$ that are quaternionic at infinity. We relate the Fourier coefficients of $\theta(f)$ to those of $f$, and in particular prove that $\theta(f)$ is nonzero and has algebraic Fourier coefficients if $f$ does. Restricting the $\theta(f)$ to $G_2 \subseteq \mathrm{SO}(4,4)$, we obtain cuspidal modular forms on $G_2$ of arbitrarily large weight with all algebraic Fourier coefficients. In the case of level one, we obtain precise formulas for the Fourier coefficients of $\theta(f)$ in terms of those of $f$. In particular, we construct nonzero cuspidal modular forms on $G_2$ of level one with all integer Fourier coefficients.


title: Richness of arithmetic progression in commutative semigroup

abstract: Furstenberg and Glasner proved that for an arbitrary k in N, any piecewise syndetic set contains k term arithmetic progressions and such collection is also piecewise syndetic in Z: They used algebraic structure of beta N. The above result was extended for arbitrary semigroups by Bergelson and Hindman, again using the structure of Stone-Cech compactification of general semigroup. Beiglboeck provided an elementary proof of the above result and asked whether the combinatorial argument in his proof can be enhanced in a way which makes it applicable to a more abstract setting. In a recent work the second author of this paper and S.Jana provided an affirmative answer to Beiglboeck's question for countable commutative semigroup. In this work we will extend the result of Beiglboeck in different type of settings.


title: Intersection Types for Unboundedness Problems

abstract: Intersection types have been originally developed as an extension of simple types, but they can also be used for refining simple types. In this survey we concentrate on the latter option; more precisely, on the use of intersection types for describing quantitative properties of simply typed lambda-terms. We present two type systems. The first allows to estimate (by appropriately defined value of a derivation) the number of appearances of a fixed constant 'a' in the beta-normal form of a considered lambda-term. The second type system is more complicated, and allows to estimate the maximal number of appearances of the constant 'a' on a single branch.


title: Natural Deduction and Normalization Proofs for the Intersection Type Discipline

abstract: Refining and extending previous work by Retor\'e, we develop a systematic approach to intersection types via natural deduction. We show how a step of beta reduction can be seen as performing, at the level of typing derivations, Prawitz reductions in parallel. Then we derive as immediate consequences of Subject Reduction the main theorems about normalization for intersection types: for system D, strong normalization, for system Omega, the leftmost reduction termination for terms typable without Omega.


title: A Syntactic Model of Mutation and Aliasing

abstract: Traditionally, semantic models of imperative languages use an auxiliary structure which mimics memory. In this way, ownership and other encapsulation properties need to be reconstructed from the graph structure of such global memory. We present an alternative "syntactic" model where memory is encoded as part of the program rather than as a separate resource. This means that execution can be modelled by just rewriting source code terms, as in semantic models for functional programs. Formally, this is achieved by the block construct, introducing local variable declarations, which play the role of memory when their initializing expressions have been evaluated. In this way, we obtain a language semantics which directly represents at the syntactic level constraints on aliasing, allowing simpler reasoning about related properties. To illustrate this advantage, we consider the issue, widely studied in the literature, of characterizing an isolated portion of memory, which cannot be reached through external references. In the syntactic model, closed block values, called "capsules", provide a simple representation of isolated portions of memory, and capsules can be safely moved to another location in the memory, without introducing sharing, by means of "affine' variables. We prove that the syntactic model can be encoded in the conventional one, hence efficiently implemented.


title: Intersection Subtyping with Constructors

abstract: We study the question of extending the BCD intersection type system with additional type constructors. On the typing side, we focus on adding the usual rules for product types. On the subtyping side, we consider a generic way of defining a subtyping relation on families of types which include intersection types. We find back the BCD subtyping relation by considering the particular case where the type constructors are intersection, omega and arrow. We obtain an extension of BCD subtyping to product types as another instance. We show how the preservation of typing by both reduction and expansion is satisfied in all the considered cases. Our approach takes benefits from a "subformula property" of the proposed presentation of the subtyping relation.


title: A Category Theoretic Interpretation of Gandy's Principles for Mechanisms

abstract: Based on Gandy's principles for models of computation we give category-theoretic axioms describing locally deterministic updates to finite objects. Rather than fixing a particular category of states, we describe what properties such a category should have. The computation is modelled by a functor that encodes updating the computation, and we give an abstract account of such functors. We show that every updating functor satisfying our conditions is computable.


title: High-efficiency three-party quantum key agreement protocol with quantum dense coding and Bell states

abstract: We propose a high-efficiency three-party quantum key agreement protocol, by utilizing two-photon polarization-entangled Bell states and a few single-photon polarization states as the information carriers, and we use the quantum dense coding method to improve its efficiency. In this protocol, each participant performs one of four unitary operations to encode their sub-secret key on the passing photons which contain two parts, the first quantum qubits of Bell states and a small number of single-photon states. At the end of this protocol, based on very little information announced by other, all participants involved can deduce the same final shared key simultaneously. We analyze the security and the efficiency of this protocol, showing that it has a high efficiency and can resist both outside attacks and inside attacks. As a consequence, our protocol is a secure and efficient three-party quantum key agreement protocol.


title: Entanglement dynamics for circularly accelerated two-level atoms coupled with electromagnetic vacuum fluctuations

abstract: We investigate, in the framework of open quantum systems, the entanglement dynamics of two circularly accelerated two-level atoms with the same centripetal acceleration interacting with a bath of fluctuating electromagnetic fields in the Minkowski vacuum. We assume that the two atoms rotate synchronically with their separation perpendicular to the rotating plane, and study the entanglement degradation, creation, revival, and enhancement by solving the Markovian master equation. In contrast to the scalar-field case, the entanglement dynamics is crucially dependent on the atomic polarizations in the sense that the polarization directions may affect the entanglement decay rate, and may determine the occurrences of entanglement creation, revival and enhancement. Compared with the uniformly accelerated case and the thermal case, the decay rate of entanglement for circularly accelerated atoms is larger, while the revival and enhancement rates are smaller.


title: Stochastic Primal-Dual Algorithms with Faster Convergence than $O(1/\sqrt{T})$ for Problems without Bilinear Structure

abstract: Previous studies on stochastic primal-dual algorithms for solving min-max problems with faster convergence heavily rely on the bilinear structure of the problem, which restricts their applicability to a narrowed range of problems. The main contribution of this paper is the design and analysis of new stochastic primal-dual algorithms that use a mixture of stochastic gradient updates and a logarithmic number of deterministic dual updates for solving a family of convex-concave problems with no bilinear structure assumed. Faster convergence rates than $O(1/\sqrt{T})$ with $T$ being the number of stochastic gradient updates are established under some mild conditions of involved functions on the primal and the dual variable. For example, for a family of problems that enjoy a weak strong convexity in terms of the primal variable and has a strongly concave function of the dual variable, the convergence rate of the proposed algorithm is $O(1/T)$. We also investigate the effectiveness of the proposed algorithms for learning robust models and empirical AUC maximization.


title: Cops and robbers on oriented toroidal grids

abstract: The game of cops and robbers is a well-known game played on graphs. In this paper we consider the straight-ahead orientations of 4-regular quadrangulations of the torus and the Klein bottle and we prove that their cop number is bounded by a constant. We also show that the cop number of every k-regularly oriented toroidal grid is at most 13.