title: Convergence of Gaussian Process Regression with Estimated Hyper-parameters and Applications in Bayesian Inverse Problems

abstract: This work is concerned with the convergence of Gaussian process regression. A particular focus is on hierarchical Gaussian process regression, where hyper-parameters appearing in the mean and covariance structure of the Gaussian process emulator are a-priori unknown, and are learnt from the data, along with the posterior mean and covariance. We work in the framework of empirical Bayes, where a point estimate of the hyper-parameters is computed, using the data, and then used within the standard Gaussian process prior to posterior update. We provide a convergence analysis that (i) holds for any continuous function $f$ to be emulated; and (ii) shows that convergence of Gaussian process regression is unaffected by the additional learning of hyper-parameters from data, and is guaranteed in a wide range of scenarios. As the primary motivation for the work is the use of Gaussian process regression to approximate the data likelihood in Bayesian inverse problems, we provide a bound on the error introduced in the Bayesian posterior distribution in this context.


title: Magic numbers of cylindrical symmetry

abstract: In nuclear physics a magic number is defined as the nucleon number, which is separated by a significantly large single-particle energy gap from the next nucleon. Magic numbers define the nuclear shells, which are considered to be active, only if they are partially occupied by nucleons. As a consequence the single particle interactions of the valence nucleons lead to the description of the collective properties of the whole nucleus in the shell model theory. But phenomena as the island of inversion, the shape coexistence and the break down of the N=20 magic number reveal that the above definition of a magic number is deficient. A complementary definition should rely on the selection rules of the single particle interactions. Specifically the selection rules of the quadrupole-quadrupole interaction lead to two sets of magic numbers, namely the harmonic oscillator magic numbers 2, 8 20, 40, 70, 112, ... and the spin-orbit SO-like magic numbers 2, 6, 14, 28, 50, 82, 126, ... The underlying symmetries are respectively the spherical symmetry of the 3D isotropic harmonic oscillator and the cylindrical symmetry of the 3D anisotropic harmonic oscillator with two frequencies equal. The above two sets of magic numbers along with the Elliott SU(3) symmetry framework predict long standing and puzzling phenomena in nuclear physics.


title: The spectrum of a class of uniform hypergraphs

abstract: A generalized power hypergraph $\mathcal{H}^k_s$ is obtained from a base hypergraph $\mathcal{H}$ by means of some simple edge-expansion operations. Kang, Liu, Qi and Yuan [8] proved that the nonzero eigenvalues of $\mathcal{H}$ give rise to nonzero eigenvalues of $\mathcal{H}^k_s$. In this paper we show that all nonzero eigenvalues of $\mathcal{H}^k_s$ may be computed from the eigenvalues of its base hypergraph $\mathcal{H}$ and of its subgraphs. To prove this, we derive spectral results about edge-expansion operations that may be interesting on their own sake.


title: Thermodynamic behavior of binary mixtures of hard spheres: Semianalytical solutions on a Husimi lattice built with cubes

abstract: We study binary mixtures of hard particles, which exclude up to their $k$th nearest neighbors ($k$NN) on the simple cubic lattice and have activities $z_k$. In the first model analyzed, point particles (0NN) are mixed with 1NN ones. The grand-canonical solution of this model on a Husimi lattice built with cubes unveils a phase diagram with a fluid and a solid phase separated by a continuous and a discontinuous transition line which meet at a tricritical point. A density anomaly, characterized by minima in isobaric curves of the total density of particles against $z_0$ (or $z_1$), is also observed in this system. Overall, this scenario is identical to the one previously found for this model when defined on the square lattice. The second model investigated consists of the mixture of 1NN particles with 2NN ones. In this case, a very rich phase behavior is found in its Husimi lattice solution, with two solid phases - one associated with the ordering of 1NN particles ($S1$) and the other with the ordering of 2NN ones ($S2$) -, beyond the fluid ($F$) phase. While the transitions between $F$-$S2$ and $S1$-$S2$ phases are always discontinuous, the $F$-$S1$ transition is continuous (discontinuous) for small (large) $z_2$. The critical and coexistence $F$-$S1$ lines meet at a tricritical point. Moreover, the coexistence $F$-$S1$, $F$-$S2$ and $S1$-$S2$ lines meet at a triple point. Density anomalies are absent in this case.


title: The fermionic Unruh effect in relativistic eccentric uniformly rotating frames

abstract: We investigate detection of Dirac quanta in a uniformly eccentric rotating frame both with canonical and detector approaches by employing relativistic rotational transformations. First we consider a relativistic uniformly eccentric rotating detector that is coupled to the scalar density of a massless Dirac field, and show that this detector has a nonzero response function and observes a Planckian energy spectrum. Then using relativistic rotational transformations, we investigate the canonical quantization of Dirac field in relativistic eccentric rotating frame. We show that it's not possible to obtain the analytic solution for Dirac equation in this frame and so canonical approach can not be carried out.


title: Triclustering of Gene Expression Microarray Data Using Coarse-Grained Parallel Genetic Algorithm

abstract: Microarray data analysis is one of the major area of research in the field computational biology. Numerous techniques like clustering, biclustering are often applied to microarray data to extract meaningful outcomes which play key roles in practical healthcare affairs like disease identification, drug discovery etc. But these techniques become obsolete when time as an another factor is considered for evaluation in such data. This problem motivates to use triclustering method on gene expression 3D microarray data. In this article, a new methodology based on coarse-grained parallel genetic approach is proposed to locate meaningful triclusters in gene expression data. The outcomes are quite impressive as they are more effective as compared to traditional state of the art genetic approaches previously applied for triclustering of 3D GCT microarray data.


title: Principal eigenvectors of general hypergraphs

abstract: In this paper we obtain bounds for the extreme entries of the principal eigenvector of hypergraphs; these bounds are computed using the spectral radius and some classical parameters such as maximum and minimum degrees. We also study inequalities involving the ratio and difference between the two extreme entries of this vector.


title: WSLLN: Weakly Supervised Natural Language Localization Networks

abstract: We propose weakly supervised language localization networks (WSLLN) to detect events in long, untrimmed videos given language queries. To learn the correspondence between visual segments and texts, most previous methods require temporal coordinates (start and end times) of events for training, which leads to high costs of annotation. WSLLN relieves the annotation burden by training with only video-sentence pairs without accessing to temporal locations of events. With a simple end-to-end structure, WSLLN measures segment-text consistency and conducts segment selection (conditioned on the text) simultaneously. Results from both are merged and optimized as a video-sentence matching problem. Experiments on ActivityNet Captions and DiDeMo demonstrate that WSLLN achieves state-of-the-art performance.


title: Integrating Data and Image Domain Deep Learning for Limited Angle Tomography using Consensus Equilibrium

abstract: Computed Tomography (CT) is a non-invasive imaging modality with applications ranging from healthcare to security. It reconstructs cross-sectional images of an object using a collection of projection data collected at different angles. Conventional methods, such as FBP, require that the projection data be uniformly acquired over the complete angular range. In some applications, it is not possible to acquire such data. Security is one such domain where non-rotational scanning configurations are being developed which violate the complete data assumption. Conventional methods produce images from such data that are filled with artifacts. The recent success of deep learning (DL) methods has inspired researchers to post-process these artifact laden images using deep neural networks (DNNs). This approach has seen limited success on real CT problems. Another approach has been to pre-process the incomplete data using DNNs aiming to avoid the creation of artifacts altogether. Due to imperfections in the learning process, this approach can still leave perceptible residual artifacts. In this work, we aim to combine the power of deep learning in both the data and image domains through a two-step process based on the consensus equilibrium (CE) framework. Specifically, we use conditional generative adversarial networks (cGANs) in both the data and the image domain for enhanced performance and efficient computation and combine them through a consensus process. We demonstrate the effectiveness of our approach on a real security CT dataset for a challenging 90 degree limited-angle problem. The same framework can be applied to other limited data problems arising in applications such as electron microscopy, non-destructive evaluation, and medical imaging.


title: Parabolic Regularity in Geometric Variational Analysis

abstract: The paper is mainly devoted to systematic developments and applications of geometric aspects of second-order variational analysis that are revolved around the concept of parabolic regularity of sets. This concept has been known in variational analysis for more than two decades while being largely underinvestigated. We discover here that parabolic regularity is the key to derive new calculus rules and computation formulas for major second-order generalized differential constructions of variational analysis in connection with some properties of sets that go back to classical differential geometry and geometric measure theory. The established results of second-order variational analysis and generalized differentiation, being married to the developed calculus of parabolic regularity, allow us to obtain novel applications to both qualitative and quantitative/numerical aspects of constrained optimization including second-order optimality conditions, augmented Lagrangians, etc. under weak constraint qualifications.


title: Magnetocaloric properties of V6 molecular magnet

abstract: The paper presents a theoretical study of magnetocaloric properties of polyoxovanadate molecular magnet V6 containing 6 vanadium ions carrying quantum spins $S = 1/2$. The characteristic property of such structure is the presence of two weakly interacting spin triangles with all-antiferromagnetic couplings. The properties of the system are described using the exact numerical diagonalization approach applied to the quantum Heisenberg model and utilizing a field ensemble formalism. The dependence of the magnetic entropy and magnetic specific heat on the temperature and external magnetic field is calculated and extensively discussed. The magnetocaloric properties are quantified by isothermal entropy change and entropy derivative over the magnetic field. An interesting behaviour of isothermal entropy change is found, with high degree of tunability of the magnetocaloric effect with the initial and final magnetic field values.


title: On the semi-regular frames of translates

abstract: In this note, we fix a real invertible $d\times d$ matrix $\mathcal{A}$ and consider $\mathcal{A}\mathbb{Z}^d$ as an index set. For $f\in L^2(\mathbb{R}^d)$, let $\Phi^{\mathcal{A}}_{f}:=\frac{1}{|\det \mathcal{A}|}\sum_{k\in \mathbb{Z}^d}|\hat{f}(\mathcal{A}^T)^{-1}(\cdot+k)|^2$ be the periodization of $|\hat{f}|^2$. By using $\Phi^{\mathcal{A}}_{f}$, among other things, we characterize when the sequence $\tau_{\mathcal{A}}(f):=\{f(\cdot-\mathcal{A}k)\}_{k\in \mathbb{Z}^d}$ is a Bessel sequence, frame of translates, Riesz basis, or orthonormal basis. And finally, we construct an example, in which $\tau_{\mathcal{A}}(f)$ is a Parseval frame of translates, but not a Riesz sequence.


title: Quantification of predictive uncertainty in hydrological modelling by harnessing the wisdom of the crowd: Methodology development and investigation using toy models

abstract: We introduce an ensemble learning post-processing methodology for probabilistic hydrological modelling. This methodology generates numerous point predictions by applying a single hydrological model, yet with different parameter values drawn from the respective simulated posterior distribution. We call these predictions "sister predictions". Each sister prediction extending in the period of interest is converted into a probabilistic prediction using information about the hydrological model's errors. This information is obtained from a preceding period for which observations are available, and is exploited using a flexible quantile regression model. All probabilistic predictions are finally combined via simple quantile averaging to produce the output probabilistic prediction. The idea is inspired by the ensemble learning methods originating from the machine learning literature. The proposed methodology offers larger robustness in performance than basic post-processing methodologies using a single hydrological point prediction. It is also empirically proven to "harness the wisdom of the crowd" in terms of average interval score, i.e., the obtained quantile predictions score no worse -- usually better -- than the average score of the combined individual predictions. This proof is provided within toy examples, which can be used for gaining insight on how the methodology works and under which conditions it can optimally convert point hydrological predictions to probabilistic ones. A large-scale hydrological application is made in a companion paper.


title: Single-Electron Transistor Made of a 3D Topological Insulator Nanoplate

abstract: Quantum confined devices of three-dimensional topological insulators have been proposed to be promising and of great importance for studies of confined topological states and for applications in low energy-dissipative spintronics and quantum information processing. The absence of energy gap on the TI surface limits the experimental realization of a quantum confined system in three-dimensional topological insulators. This communication reports on the successful realization of single-electron transistor devices in Bi$_2$Te$_3$ nanoplates by state of the art nanofabrication techniques. Each device consists of a confined central island, two narrow constrictions that connect the central island to the source and drain, and surrounding gates. Low-temperature transport measurements demonstrate that the two narrow constrictions function as tunneling junctions and the device shows well-defined Coulomb current oscillations and Coulomb diamond shaped charge stability diagrams. This work provides a controllable and reproducible way to form quantum confined systems in three-dimensional topological insulators, which should greatly stimulate research towards confined topological states, low energy-dissipative devices and quantum information processing.


title: The Signless Laplacian Matrix of Hypergraphs

abstract: In this paper we define signless Laplacian matrix of a hypergraph and obtain structural properties from its eigenvalues. We generalize several known results for graphs, relating the spectrum of this matrix with structural parameters of the hypergraph such as the maximum degree, diameter and the chromatic number. In addition, we characterize the complete signless Laplacian spectrum for the class of the power hypergraphs from the spectrum of its base hypergraph.


title: Quantification of predictive uncertainty in hydrological modelling by harnessing the wisdom of the crowd: A large-sample experiment at monthly timescale

abstract: Predictive hydrological uncertainty can be quantified by using ensemble methods. If properly formulated, these methods can offer improved predictive performance by combining multiple predictions. In this work, we use 50-year-long monthly time series observed in 270 catchments in the United States to explore the performances provided by an ensemble learning post-processing methodology for issuing probabilistic hydrological predictions. This methodology allows the utilization of flexible quantile regression models for exploiting information about the hydrological model's error. Its key differences with respect to basic two-stage hydrological post-processing methodologies using the same type of regression models are that (a) instead of a single point hydrological prediction it generates a large number of "sister predictions" (yet using a single hydrological model), and that (b) it relies on the concept of combining probabilistic predictions via simple quantile averaging. A major hydrological modelling challenge is obtaining probabilistic predictions that are simultaneously reliable and associated to prediction bands that are as narrow as possible; therefore, we assess both these desired properties of the predictions by computing their coverage probabilities, average widths and average interval scores. The results confirm the usefulness of the proposed methodology and its larger robustness with respect to basic two-stage post-processing methodologies. Finally, this methodology is empirically proven to harness the "wisdom of the crowd" in terms of average interval score, i.e., the average of the individual predictions combined by this methodology scores no worse -- usually better -- than the average of the scores of the individual predictions.


title: Evidence of large polarons in photoemission band mapping of the perovskite semiconductor CsPbBr$_3$

abstract: Lead-halide perovskite (LHP) semiconductors are emergent optoelectronic materials with outstanding transport properties which are not yet fully understood. We find signatures of large polaron formation in the electronic structure of the inorganic LHP CsPbBr$_3$ by means of angle-resolved photoelectron spectroscopy. The experimental valence band dispersion shows a hole effective mass $0.26\pm0.02\,\,m_e$, 50% heavier than the bare mass $m_0 =0.17 m_e$ predicted by density functional theory. Calculations of electron-phonon coupling indicate that phonon dressing of the carriers mainly occurs via distortions of the Pb-Br bond with a Fr\"ohlich coupling parameter $\alpha=1.82$. A good agreement with our experimental data is obtained within the Feynmann polaron model, validating a viable theorical method to predict the carrier effective mass of LHPs ab-initio.


title: Raman lasing and soliton modelocking in lithium-niobate microresonators

abstract: The recent advancement in lithium niobate on insulator (LNOI) technology is revolutionizing the optoelectronic industry as devices of higher performance, lower power consumption, and smaller footprint can be realized due to the high optical confinement in the structures. The LNOI platform offers both large \c{hi}(2) and \c{hi}(3) nonlinearities along with the power of dispersion engineering, enabling brand new nonlinear photonic devices and applications towards the next generation of integrated photonic circuits. However, the Raman scattering, one of the most important nonlinear phenomena, have not been extensively studied, neither was its influences in dispersion-engineered LNOI nano-devices. In this work, we characterize the Raman radiation spectra in a monolithic lithium niobate (LN) microresonator via selective excitation of Raman-active phonon modes. Remarkably, the dominant mode for Raman oscillation is observed in the backward direction for a continuous-wave pump threshold power of 20 mW with a reportedly highest differential quantum efficiency of 46 %. In addition, we explore the effects of Raman scattering on Kerr optical frequency combs generation. We achieve, for the first time, soliton modelocking on a X-cut LNOI chip through sufficient suppression of the Raman effect via cavity geometry control. Our analysis of the Raman effect provides guidance for the development of future chip-based photonic devices on the LNOI platform.


title: A Note on New Bernstein-type Inequalities for the Log-likelihood Function of Bernoulli Variables

abstract: We prove a new Bernstein-type inequality for the log-likelihood function of Bernoulli variables. In contrast to classical Bernstein's inequality and Hoeffding's inequality when applied to the log-likelihood, the new bound is independent of the parameters of the Bernoulli variables and therefore does not blow up as the parameters approach 0 or 1. The new inequality strengthens certain theoretical results on likelihood-based methods for community detection in networks and can be applied to other likelihood-based methods for binary data.


title: Presentations for the Euclidean Picard modular groups

abstract: Mark and Paupert devised a general method for obtaining presentations for arithmetic non-cocompact lattices, $\Gamma$, in isometry groups of negatively curved symmetric spaces. The method involves a classical theorem of Macbeath applied to a $\Gamma$-invariant covering by horoballs of the negatively curved symmetric space upon which $\Gamma$ acts. In this paper, we will discuss the application of their method to the Picard modular groups, $\textrm{PU}(2,1;\mathcal{O}_{d})$, when $d=2,11$, and obtain presentations for these groups, which completes the list of presentations for Picard modular groups whose entries lie in Euclidean domains, namely those with $d=1,2,3,7,11$.


title: Humor Detection: A Transformer Gets the Last Laugh

abstract: Much previous work has been done in attempting to identify humor in text. In this paper we extend that capability by proposing a new task: assessing whether or not a joke is humorous. We present a novel way of approaching this problem by building a model that learns to identify humorous jokes based on ratings gleaned from Reddit pages, consisting of almost 16,000 labeled instances. Using these ratings to determine the level of humor, we then employ a Transformer architecture for its advantages in learning from sentence context. We demonstrate the effectiveness of this approach and show results that are comparable to human performance. We further demonstrate our model's increased capabilities on humor identification problems, such as the previously created datasets for short jokes and puns. These experiments show that this method outperforms all previous work done on these tasks, with an F-measure of 93.1% for the Puns dataset and 98.6% on the Short Jokes dataset.


title: The formula for the largest minimal distance of binary LCD $[n,2]$ codes

abstract: In the 2017 paper by Dougherty, Kim, Ozkaya, Sok, and Sol\'e about the linear programming bound for LCD codes the notion $\mathrm{LCD}[n,k]$ was defined for binary LCD $[n,k]$-codes. We find the formula for $\mathrm{LCD}[n,2]$.


title: Snow-powered Research on Utility-scale Wind Turbine Flows

abstract: This paper provides a review of the general experimental methodology of snow-powered flow visualization and super-large-scale particle imaging velocimetry (SLPIV), the corresponding field deployments and major scientific findings from our work on a 2.5 MW utility-scale wind turbine at the Eolos field station. The field measurements were conducted to investigate the incoming flow in the induction zone and the near-wake flows from different perspectives. It has been shown that these snow-powered measurements can provide sufficient spatiotemporal resolution and fields of view to characterize both qualitatively and quantitatively the incoming flow, all the major coherent structures generated by the turbine (e.g., blade, nacelle and tower vortices, etc.) as well as the development and interaction of these structures in the near wake. Our work has further revealed several interesting behaviors of near-wake flows (e.g., wake contraction, dynamic wake modulation, and meandering and deflection of nacelle wake, etc.), and their connections with constantly-changing inflows and turbine operation, which are uniquely associated with utility-scale turbines. These findings have demonstrated that the near wake flows, though highly complex, can be predicted with substantial statistical confidence using SCADA and structural response information readily available from the current utility-scale turbines. Such knowledge can be potentially incorporated into wake development models and turbine controllers for wind farm optimization in the future.


title: On the hierarchical triple nature of the former red nova precursor candidate KIC 9832227

abstract: We revisit the issue of period variation of the recently claimed red nova precursor candidate KIC 9832227. By using the data gathered during the main mission of the Kepler satellite, those collected by ground-based wide-field surveys and other monitoring programs (such as ASAS-SN), we find that the currently available timing data strongly support a model consisting of the known W UMa binary and a distant low-mass companion with an orbital period of ~13.5 years. The period of the W UMa component exhibits a linear period decrease with a pace of (1.10+/-0.05)x10^{-6} days per year, within the range of many other similar systems. This rate of decrease is several orders of magnitude lower than that of V1309 Sco, the first (and so far the only) well-established binary precursor of a nova observed a few years before the outburst. The high-fidelity fit of the timing data and the conformity of the derived minimum mass of (0.38+/-0.02) Msun of the outer companion from these data with the limit posed by the spectroscopic non-detection of this component, are in agreement with the suggested hierarchical nature of this system.


title: Product twistor spaces and Weyl geometry

abstract: Motivated by generalized geometry (\`a la Hitchin), we discuss the integrability conditions for four natural almost complex structures on the product bundle ${\mathcal Z}\times {\mathcal Z}\to M$, where ${\mathcal Z}$ is the twistor space of a Riemannian 4-manifold $M$ endowed with a metric connection $D$ with skew-symmetric torsion. These structures are defined by means of the connection $D$ and four (K\"ahler) complex structures on the fibres of this bundle. Their integrability conditions are interpreted in terms of Weyl geometry and this is used to supply examples satisfying the conditions.


title: Mapping Firms' Locations in Technological Space: A Topological Analysis of Patent Statistics

abstract: Where do firms innovate? Mapping their locations and directions in technological space is challenging due to its high dimensionality. We propose a new method to characterize firms' inventive activities via topological data analysis (TDA) that represents high-dimensional data in a shape graph. Applying this method to 333 major firms' patents in 1976--2005 reveals substantial heterogeneity: some firms remain undifferentiated; others develop unique portfolios. Firms with unique trajectories, which we define and measure graph-theoretically as "flares" in the Mapper graph, perform better. This association is statistically and economically significant, and continues to hold after we control for portfolio size, firm survivorship, industry classification, and firm fixed effects. By contrast, existing techniques -- such as principal component analysis (PCA) and Jaffe's (1989) clustering method -- struggle to track these firm-level dynamics.


title: Emergent quantum matter in graphene nanoribbons

abstract: In this book chapter, we introduce different schemes to create quantum states of matter in engineered graphene nanoribbons. We will focus on the emergence of controllable magnetic interactions, topological quantum magnets, and the interplay of magnetism and superconductivity. We comment on the experimental signatures of those states stemming from their electronic and spin excitations, that can be observed with atomic resolution using scanning probe techniques.


title: Gated Graph Recursive Neural Networks for Molecular Property Prediction

abstract: Molecule property prediction is a fundamental problem for computer-aided drug discovery and materials science. Quantum-chemical simulations such as density functional theory (DFT) have been widely used for calculating the molecule properties, however, because of the heavy computational cost, it is difficult to search a huge number of potential chemical compounds. Machine learning methods for molecular modeling are attractive alternatives, however, the development of expressive, accurate, and scalable graph neural networks for learning molecular representations is still challenging. In this work, we propose a simple and powerful graph neural networks for molecular property prediction. We model a molecular as a directed complete graph in which each atom has a spatial position, and introduce a recursive neural network with simple gating function. We also feed input embeddings for every layers as skip connections to accelerate the training. Experimental results show that our model achieves the state-of-the-art performance on the standard benchmark dataset for molecular property prediction.


title: SCALABLE INTERNETWORKING: Final Technical Report

abstract: This document describes the work completed at the University of California, Santa Cruz under the project Scalable Internetworking sponsored by ARPA under Contract No. F19628-93-C-0175. This report covers work performed from 1 April 1993 to 31 December 1995. Results on routing and multicasting for large-scale internets are summarized. The technical material discussed assumes familiarity with the content of our proposal and previous quarterly reports submitted in this project.


title: A parameterized catalog of radio galaxies as ultra-high energy cosmic ray sources

abstract: Many attempts have been made to provide catalogs of potential sources of ultra-high energy cosmic ray (UHECR) particles based on various astronomical tracers, such as observed radio or gamma-ray emission. A closer look reveals, however, that they all suffer from significant bias and selection effects. We present here a demo-version of a catalog for one often-discussed UHECR source class, radio galaxies (or radio-loud AGN), which is based on a complete theoretical description of jet-energetics, particle acceleration physics, relativistic beaming effects and nuclear composition, parametrized by a comprehensible set of adjustable physical quantities. In addition to the bright radio galaxies Centaurus A, Virgo A, Fornax A and Cygnus A discussed in previous work, we find several sources with blazar-like properties that can contribute on a similar level if relativistic beaming effects are considered. We present a simple method to test the basic properties of the catalog for any choice of parameters (without the need to run expensive simulations), and find that in the canonical case the anisotropy signals expected from radio galaxies promise to be in good agreement with current observational findings. In particular, radio galaxies can reproduce almost exactly the direction of the dipole above 8 EeV detected by the Pierre Auger Observatory if we assume that extragalactic magnetic fields are strong (>1nG) only in structures, but very weak in voids. We plan to provide a completed and improved version of this catalog in electronic form, to be used in more detailed UHECR propagation simulations. For immediate applications, we suggest a complete set of 16 strong UHECR sources which can contribute to UHECR anisotropy on the level which can be currently probed by experiment, and note that 6 of them have not been considered in any previous studies.


title: Biquandle Brackets and Knotoids

abstract: Biquandle brackets are a type of quantum enhancement of the biquandle counting invariant for oriented knots and links, defined by a set of skein relations with coefficients which are functions of biquandle colors at a crossing. In this paper we use biquandle brackets to enhance the biquandle counting matrix invariant defined by the first two authors in arXiv:1803.11308. We provide examples to illustrate the method of calcuation and to show that the new invariants are stronger than the previous ones.


title: Homotopic curve shortening and the affine curve-shortening flow

abstract: We define and study a discrete process that generalizes the convex-layer decomposition of a planar point set. Our process, which we call "homotopic curve shortening" (HCS), starts with a closed curve (which might self-intersect) in the presence of a set $P\subset \mathbb R^2$ of point obstacles, and evolves in discrete steps, where each step consists of (1) taking shortcuts around the obstacles, and (2) reducing the curve to its shortest homotopic equivalent. We find experimentally that, if the initial curve is held fixed and $P$ is chosen to be either a very fine regular grid or a uniformly random point set, then HCS behaves at the limit like the affine curve-shortening flow (ACSF). This connection between ACSF and HCS generalizes the link between ACSF and convex-layer decomposition (Eppstein et al., 2017; Calder and Smart, 2020), which is restricted to convex curves. We prove that HCS satisfies some properties analogous to those of ACSF: HCS is invariant under affine transformations, preserves convexity, and does not increase the total absolute curvature. Furthermore, the number of self-intersections of a curve, or intersections between two curves (appropriately defined), does not increase. Finally, if the initial curve is simple, then the number of inflection points (appropriately defined) does not increase.


title: Minimal degree rational open up mappings and related questions

abstract: We establish the existence and uniqueness of rational conformal maps of minimal degree $n+1$ for opening up $n$ arcs. In earlier results, the degree was exponential in $n$. We also discuss two related problems. (a) We establish existence of rational functions of minimal degree with prescribed critical values, and show that the number of (suitably normalized) rational functions is given in terms of the Hurwitz numbers. (b) We consider the problem of finding rational functions of minimal degree with prescribed critical points, where we establish existence of solutions by considering certain polynomial equations, and where the number of normalized solutions is bounded from above by a Catalan number. We illustrate our results with two examples.


title: Robust Hybrid Zero-Order Optimization Algorithms with Acceleration via Averaging in Time

abstract: We study novel robust zero-order algorithms with acceleration for the solution of real-time optimization problems. In particular, we propose a family of extremum seeking dynamics that can be universally modeled as singularly perturbed hybrid dynamical systems with restarting mechanisms. From this family of dynamics, we synthesize four fast algorithms for the solution of convex, strongly convex, constrained, and unconstrained optimization problems. In each case, we establish robust semi-global practical asymptotic or exponential stability results, and we show how to obtain well-posed discretized algorithms that retain the main properties of the original dynamics. Given that existing averaging theorems for singularly perturbed hybrid systems are not directly applicable to our setting, we derive a new averaging theorem that relaxes some of the assumptions made in the literature, allowing us to make a clear link between the KL bounds that characterize the rates of convergence of the hybrid dynamics and their average dynamics. We also show that our results are applicable to non-hybrid algorithms, thus providing a general framework for accelerated dynamics based on averaging theory. We present different numerical examples to illustrate our results.


title: Time crystals in a shaken atom-cavity system

abstract: We demonstrate the emergence of a time crystal of atoms in a high-finesse optical cavity driven by a phase-modulated transverse pump field, resulting in a shaken lattice. This shaken system exhibits macroscopic oscillations in the number of cavity photons and order parameters at noninteger multiples of the driving period, which signals the appearance of an incommensurate time crystal. The subharmonic oscillatory motion corresponds to dynamical switching between symmetry-broken states, which are nonequilibrium bond ordered density wave states. Employing a semiclassical phase-space representation for the driven-dissipative quantum dynamics, we confirm the rigidity and persistence of the time crystalline phase. We identify experimentally relevant parameter regimes for which the time crystal phase is long-lived, and map out the dynamical phase diagram. We compare and contrast the incommensurate time crystal with the commensurate Dicke time crystal in the amplitude-modulated case.


title: Quantum versus classical entanglement: eliminating the issue of quantum nonlocality

abstract: We analyze interrelation of quantum and classical entanglement. The latter notion is widely used in classical optic simulation of some quantum-like features of light. We criticize the common interpretation that "quantum nonlocality" is the basic factor differing quantum and classical realizations of entanglement. Instead, we point to the breakthrough Grangier et al. experiment on coincidence detection which was done in 1986 and played the crucial role in rejection of (semi-)classical field models in favor of quantum mechanics. Classical entanglement sources produce light beams with the coefficient of second order coherence $g^{(2)}(0) \geq 1.$ This feature of classical entanglement is obscured by using intensities of signals in different channels, instead of counting clicks of photo-detectors. Interplay between intensity and clicks counting is not just a technicality. We elevate this issue to the high foundational level.


title: Detecting Covert Cryptomining using HPC

abstract: Cybercriminals have been exploiting cryptocurrencies to commit various unique financial frauds. Covert cryptomining - which is defined as an unauthorized harnessing of victims' computational resources to mine cryptocurrencies - is one of the prevalent ways nowadays used by cybercriminals to earn financial benefits. Such exploitation of resources causes financial losses to the victims. In this paper, we present our novel and efficient approach to detect covert cryptomining. Our solution is a generic solution that, unlike currently available solutions to detect covert cryptomining, is not tailored to a specific cryptocurrency or a particular form of cryptomining. In particular, we focus on the core mining algorithms and utilize Hardware Performance Counters (HPC) to create clean signatures that grasp the execution pattern of these algorithms on a processor. We built a complete implementation of our solution employing advanced machine learning techniques. We evaluated our methodology on two different processors through an exhaustive set of experiments. In our experiments, we considered all the cryptocurrencies mined by the top-10 mining pools, which collectively represent the largest share (84% during Q3 2018) of the cryptomining market. Our results show that our classifier can achieve a near-perfect classification with samples of length as low as five seconds. Due to its robust and practical design, our solution can even adapt to zero-day cryptocurrencies. Finally, we believe our solution is scalable and can be deployed to tackle the uprising problem of covert cryptomining.


title: Searches for stochastic gravitational-wave backgrounds

abstract: These lecture notes provide a brief introduction to methods used to search for a stochastic background of gravitational radiation -- a superposition of gravitational-wave signals that are either too weak or too numerous to individually detect. The focus of these notes is on relevant data analysis techniques, not on the particular astrophysical or cosmological sources that are responsible for producing the background. The lecture notes are divided into two main parts: (i) an overview, consisting of a description of different types of gravitational-wave backgrounds and an introduction to the method of cross-correlating data from multiple detectors, which can be used to extract the signal from the noise; (ii) details, extending the previous discussion to non-trivial detector response, non-trivial overlap functions, and a recently proposed Bayesian method to search for the gravitational-wave background produced by stellar-mass binary black hole mergers throughout the universe. Suggested exercises for the reader are given throughout the text, and compiled in an appendix.


title: Gland Segmentation in Histopathology Images Using Deep Networks and Handcrafted Features

abstract: Histopathology images contain essential information for medical diagnosis and prognosis of cancerous disease. Segmentation of glands in histopathology images is a primary step for analysis and diagnosis of an unhealthy patient. Due to the widespread application and the great success of deep neural networks in intelligent medical diagnosis and histopathology, we propose a modified version of LinkNet for gland segmentation and recognition of malignant cases. We show that using specific handcrafted features such as invariant local binary pattern drastically improves the system performance. The experimental results demonstrate the competency of the proposed system against state-of-the-art methods. We achieved the best results in testing on section B images of the Warwick-QU dataset and obtained comparable results on section A images.


title: Exploring Reproducibility and FAIR Principles in Data Science Using Ecological Niche Modeling as a Case Study

abstract: Reproducibility is a fundamental requirement of the scientific process since it enables outcomes to be replicated and verified. Computational scientific experiments can benefit from improved reproducibility for many reasons, including validation of results and reuse by other scientists. However, designing reproducible experiments remains a challenge and hence the need for developing methodologies and tools that can support this process. Here, we propose a conceptual model for reproducibility to specify its main attributes and properties, along with a framework that allows for computational experiments to be findable, accessible, interoperable, and reusable. We present a case study in ecological niche modeling to demonstrate and evaluate the implementation of this framework.


title: Actions of $2$-groups of bounded exponent on manifolds

abstract: In this paper, we show that an infinite 2-group of bounded exponent cannot act faithfully and smoothly on compact manifolds.


title: Fetal Ultrasound Image Segmentation for Measuring Biometric Parameters Using Multi-Task Deep Learning

abstract: Ultrasound imaging is a standard examination during pregnancy that can be used for measuring specific biometric parameters towards prenatal diagnosis and estimating gestational age. Fetal head circumference (HC) is one of the significant factors to determine the fetus growth and health. In this paper, a multi-task deep convolutional neural network is proposed for automatic segmentation and estimation of HC ellipse by minimizing a compound cost function composed of segmentation dice score and MSE of ellipse parameters. Experimental results on fetus ultrasound dataset in different trimesters of pregnancy show that the segmentation results and the extracted HC match well with the radiologist annotations. The obtained dice scores of the fetal head segmentation and the accuracy of HC evaluations are comparable to the state-of-the-art.


title: Relaxation time for quark spin and thermal vorticity alignment in heavy-ion collisions

abstract: We compute the relaxation time for quark/antiquark spin and thermal vorticity alignment in a quark-gluon plasma at finite temperature and quark chemical potential. We model the interaction of quark/antiquark spin with thermal vorticity as driven by a phenomenological modification of the elementary quark interaction with gluons. We find that in a scenario where the angular velocity of the quark-gluon plasma produced in a peripheral heavy-ion collision is small, quarks/antiquarks take a long time to align their spin with the vorticity. However, when the angular velocity created in the reaction is large, the alignment is efficient and well within the lifetime of the system created in the reaction. The relaxation time is larger for antiquarks which points out to a difference for the polarization of hadrons and antihadrons when this alignment is preserved during hadronization.


title: Photonic Cyclone: spatiotemporal optical vortex with controllable transverse orbital angular momentum

abstract: Today, it is well known that light possesses a linear momentum which is along the propagation direction. Besides, scientists also discovered that light can possess an angular momentum (AM), a spin angular momentum (SAM) associated with circular polarization and an orbital angular momentum (OAM) owing to the azimuthally dependent phase. Even though such angular momenta are longitudinal in general, a SAM transverse to the propagation has opened up a variety of key applications [1]. In contrast, investigations of the transverse OAM are quite rare due to its complex nature. Here we demonstrate a simple method to generate a three dimensional (3D) optical wave packet with a controllable purely transverse OAM. Such a wave packet is a spatiotemporal (ST) vortex, which resembles an advancing cyclone, with optical energy flowing in the spatial and temporal dimension. Contrary to the transverse SAM, the magnitude of the transverse OAM carried by the photonic cyclone is scalable to a larger value by simple adjustments. Since the ST vortex carries a controllable OAM in the unique transverse dimension, it has a strong potential for novel applications that may not be possible otherwise. The scheme reported here can be readily adapted for the other spectra regime and different wave fields, opening tremendous opportunities for the study and applications of ST vortex in much broader scopes.


title: Automatic Detection of Bowel Disease with Residual Networks

abstract: Crohn's disease, one of two inflammatory bowel diseases (IBD), affects 200,000 people in the UK alone, or roughly one in every 500. We explore the feasibility of deep learning algorithms for identification of terminal ileal Crohn's disease in Magnetic Resonance Enterography images on a small dataset. We show that they provide comparable performance to the current clinical standard, the MaRIA score, while requiring only a fraction of the preparation and inference time. Moreover, bowels are subject to high variation between individuals due to the complex and free-moving anatomy. Thus we also explore the effect of difficulty of the classification at hand on performance. Finally, we employ soft attention mechanisms to amplify salient local features and add interpretability.


title: Cosmos QA: Machine Reading Comprehension with Contextual Commonsense Reasoning

abstract: Understanding narratives requires reading between the lines, which in turn, requires interpreting the likely causes and effects of events, even when they are not mentioned explicitly. In this paper, we introduce Cosmos QA, a large-scale dataset of 35,600 problems that require commonsense-based reading comprehension, formulated as multiple-choice questions. In stark contrast to most existing reading comprehension datasets where the questions focus on factual and literal understanding of the context paragraph, our dataset focuses on reading between the lines over a diverse collection of people's everyday narratives, asking such questions as "what might be the possible reason of ...?", or "what would have happened if ..." that require reasoning beyond the exact text spans in the context. To establish baseline performances on Cosmos QA, we experiment with several state-of-the-art neural architectures for reading comprehension, and also propose a new architecture that improves over the competitive baselines. Experimental results demonstrate a significant gap between machine (68.4%) and human performance (94%), pointing to avenues for future research on commonsense machine comprehension. Dataset, code and leaderboard is publicly available at https://wilburone.github.io/cosmos.


title: The Shape of the Correlation Function

abstract: The correlation function measured in ultrarelativistic nuclear collisions is non-Gaussian. By making use of models we discuss and assess how much various effects can influence its shape. In particular, we focus on the parametrisations expressed with the help of L\'evy-stable distributions. We show that the L\'evy index may deviate substantially from 2 due to non-critical effects such as non-spherical shape, resonance decays, event-by-event fluctuations and functional dependence on $Q_{inv}$ or similar.


title: Generating Classical Chinese Poems from Vernacular Chinese

abstract: Classical Chinese poetry is a jewel in the treasure house of Chinese culture. Previous poem generation models only allow users to employ keywords to interfere the meaning of generated poems, leaving the dominion of generation to the model. In this paper, we propose a novel task of generating classical Chinese poems from vernacular, which allows users to have more control over the semantic of generated poems. We adapt the approach of unsupervised machine translation (UMT) to our task. We use segmentation-based padding and reinforcement learning to address under-translation and over-translation respectively. According to experiments, our approach significantly improve the perplexity and BLEU compared with typical UMT models. Furthermore, we explored guidelines on how to write the input vernacular to generate better poems. Human evaluation showed our approach can generate high-quality poems which are comparable to amateur poems.


title: Publishing Community-Preserving Attributed Social Graphs with a Differential Privacy Guarantee

abstract: We present a novel method for publishing differentially private synthetic attributed graphs. Unlike preceding approaches, our method is able to preserve the community structure of the original graph without sacrificing the ability to capture global structural properties. Our proposal relies on C-AGM, a new community-preserving generative model for attributed graphs. We equip C-AGM with efficient methods for attributed graph sampling and parameter estimation. For the latter, we introduce differentially private computation methods, which allow us to release community-preserving synthetic attributed social graphs with a strong formal privacy guarantee. Through comprehensive experiments, we show that our new model outperforms its most relevant counterparts in synthesising differentially private attributed social graphs that preserve the community structure of the original graph, as well as degree sequences and clustering coefficients.


title: Spin-gapped magnets with weak anisotropies I: Constraints on the phase of the condensate wave function

abstract: We study the thermodynamic properties of dimerized spin-gapped quantum magnets with and without exchange anisotropy (EA) and Dzyaloshinsky and Moriya (DM) anisotropies within the mean-field approximation (MFA). For this purpose we obtain the thermodynamic potential $\Omega$ of a triplon gas taking into account the strength of DM interaction up to second order. The minimization of $\Omega$ with respect to self-energies $\Sigma_n$ and $\Sigma_{an}$ yields the equation for $X_{1,2}=\Sigma_n\pm\Sigma_{an}-\mu$, which define the dispersion of quasiparticles $E_k=\sqrt{\epsilon_k+X_1}\sqrt{\epsilon_k+X_2}$ where $\epsilon_k$ is the bare dispersion of triplons. The minimization of $\Omega$ with respect to the magnitude $\rho_0$ and the phase $\Theta$ of triplon condensate leads to coupled equations for $\rho_0$ and $\Theta$. We discuss the restrictions on $\rho_0$ and $\Theta$ imposed by these equations for systems with and without anisotropy. The requirement of dynamical stability conditions $(X_1>0, X_2>0)$ in equilibrium, as well as the Hugenholtz-Pines theorem, particularly for isotropic Bose condensate, impose certain conditions to the physical solutions of these equations. It is shown that the phase angle of a purely homogenous Bose-Einstein condensate (BEC) without any anisotropy may only take values $\Theta=\pi n $ (n=0,$\pm 1,\pm 2$...) while that of BEC with even a tiny DM interaction results in $\Theta=\pi/2+2\pi n$. In contrast to the widely used Hartree-Fock-Popov approximation, which allows arbitrary phase angle, our approach predicts that the phase angle may have only discrete values, while the phase of the wave function of the whole system remains arbitrary as expected. The consequences of this phase locking for interference of two Bose condensates and to their possible Josephson junction is studied.


title: Stability for product groups and property $(\tau)$

abstract: We study the notion of permutation stability (or P-stability) for countable groups. Our main result provides a wide class of non-amenable product groups which are not P-stable. This class includes the product group $\Sigma\times\Lambda$, whenever $\Sigma$ admits a non-abelian free quotient and $\Lambda$ admits an infinite cyclic quotient. In particular, we obtain that the groups $\mathbb F_m\times\mathbb Z^d$ and $\mathbb F_m\times\mathbb F_n$ are not P-stable, for any integers $m,n\geq 2$ and $d\geq 1$. This implies that P-stability is not closed under the direct product construction, which answers a question of Becker, Lubotzky and Thom. The proof of our main result relies on a construction of asymptotic homomorphisms from $\Sigma\times\Lambda$ to finite symmetric groups starting from sequences of finite index subgroups in $\Sigma$ and $\Lambda$ with and without property $(\tau)$. Our method is sufficiently robust to show that the groups covered are not even flexibly P-stable, thus giving the first such non-amenable residually finite examples.


title: Solar system chaos and the Paleocene-Eocene boundary age constrained by geology and astronomy

abstract: Astronomical calculations reveal the solar system's dynamical evolution, including its chaoticity, and represent the backbone of cyclostratigraphy and astrochronology. An absolute, fully calibrated astronomical time scale has hitherto been hampered beyond $\sim$50 Ma, because orbital calculations disagree before that age. Here we present geologic data and a new astronomical solution (ZB18a), showing exceptional agreement from $\sim$58 to 53 Ma. We provide a new absolute astrochronology up to 58 Ma and a new Paleocene-Eocene boundary age (56.01 $\pm$ 0.05 Ma). We show that the Paleocene-Eocene Thermal Maximum (PETM) onset occurred near a 405-kyr eccentricity maximum, suggesting an orbital trigger. We also provide an independent PETM duration (170 $\pm$ 30 kyr) from onset to recovery inflection. Our astronomical solution requires a chaotic resonance transition at $\sim$50 Ma in the solar system's fundamental frequencies.


title: Exotic Behaviors of Space-time in Einstein-Maxwell Theory

abstract: This paper examines the structure of electric fields and space-times created by extended finite distributions of irrotational static and spherically-symmetric charge. The resulting electric fields are found to source features in space-time commonly associated with the presence of fields with locally positive and negative mass densities, with the sign of the mass corresponding to the sign of the electric field gradient. The conditions detailing these behaviors are discussed. The effects of these structures on trajectories of time-like geodesics and the volume form are also presented.


title: The Galilean Satellites Formed Slowly from Pebbles

abstract: It is generally accepted that the four major (Galilean) satellites formed out of the gas disk that accompanied Jupiter's formation. However, understanding the specifics of the formation process is challenging as both small particles (pebbles) as well as the satellites are subject to fast migration processes. Here, we hypothesize a new scenario for the origin of the Galilean system, based on the capture of several planetesimal seeds and subsequent slow accretion of pebbles. To halt migration, we invoke an inner disk truncation radius, and other parameters are tuned for the model to match physical, dynamical, compositional, and structural constraints. In our scenario it is natural that Ganymede's mass is determined by pebble isolation. Our slow-pebble-accretion scenario then reproduces the following characteristics: (1) the mass of all the Galilean satellites; (2) the orbits of Io, Europa, and Ganymede captured in mutual 2:1 mean motion resonances; (3) the ice mass fractions of all the Galilean satellites; (4) the unique ice-rock partially differentiated Callisto and the complete differentiation of the other satellites. Our scenario is unique to simultaneously reproduce these disparate properties.


title: Justness: A Completeness Criterion for Capturing Liveness Properties

abstract: This paper poses that transition systems constitute a good model of distributed systems only in combination with a criterion telling which paths model complete runs of the represented systems. Among such criteria, progress is too weak to capture relevant liveness properties, and fairness is often too strong; for typical applications we advocate the intermediate criterion of justness. Previously, we proposed a definition of justness in terms of an asymmetric concurrency relation between transitions. Here we define such a concurrency relation for the transition systems associated to the process algebra CCS as well as its extensions with broadcast communication and signals, thereby making these process algebras suitable for capturing liveness properties requiring justness.


title: A Glance into the Anatomy of Monotonic Maps

abstract: Given an autohomeomorphism on an ordered topological space or its subspace, we show that it is sometimes possible to introduce a new topology-compatible order on that space so that the same map is monotonic with respect to the new ordering. We note that the existence of such a re-ordering for a given map is equivalent to the map being conjugate (topologically equivalent) to a monotonic map on some homeomorphic ordered space. We observe that the latter cannot always be chosen to be order-isomorphic to the original space. Also, we identify other routes that may lead to similar affirmative statements for other classes of spaces and maps.


title: Resonant magnetogenesis from axions

abstract: We investigate the generation of seed magnetic field through the Chern-Simons coupling between the U(1) gauge field and an axion field that commences to oscillate at various epoch, depending on the mass scale. We address axions which begin oscillation during inflation, reheating, and also the radiation dominated era after the thermalization of the Universe. We study the resonant generation mechanisms and highlight that a small oscillation time scale with respect to that of the cosmic expansion can lead to an efficient generation of (hyper) magnetic field via resonant generation, even for ${\cal O}(1)$ coupling. In addition, we demonstrate that the generated field can be helical due to the tachyonic amplification phase prior to the onset of oscillation. Furthermore, it is shown that the parametric resonance during reheating can generate a circularly polarized (hyper) magnetic field in a void region with the present amplitude $B_0 =3\times 10^{-15}$Gauss and the coherent length $\lambda_0 = 0.3$pc without being plagued by the backreaction issue.


title: Effective modelling of adsorption monolayers built of complex molecules

abstract: Random sequential adsorption algorithm is a popular tool for modelling structure of monolayers built in irreversible adsorption experiments. However, this algorithm becomes very inefficient when the density of molecules in a layer rises. This problem has already been solved for a very limited range of basic shapes. This study presents a solution that can be used for any molecule occupying the surface that can be modelled by any number of different disks. Additionally, the presented algorithm stops when there is no possibility to add another shape to the monolayer. This allows to study properties of fully saturated, two-dimensional random packings built of complex shapes. For instance, the presented algorithm has been used to determine the mean saturated packing fractions of monolayers built of dimers and fibrinogen.


title: Thick morphisms of supermanifolds, quantum mechanics, and spinor representation

abstract: "Thick" or "microformal" morphisms of supermanifolds generalize ordinary maps. They were discovered as a tool for homotopy algebras. Namely, the corresponding pullbacks provide $L_{\infty}$-morphisms for $S_{\infty}$ or Batalin--Vilkovisky algebras. It was clear from the start that constructions used for thick morphisms closely resemble some fundamental notions in quantum mechanics and their classical limits (such as action, Schr\"{o}dinger and Hamilton--Jacobi equations, etc.) There was also a natural question about any connection of thick morphisms with spinor representation. We answer both questions here. We establish relations of thick morphisms with fundamental concepts of quantum mechanics. We also show that in the linear setup quantum thick morphisms with quadratic action give (a version of) the spinor representation for a certain category of canonical linear relations, which is an analog of the Berezin--Neretin representation and a generalization of the metaplectic representation (and ordinary spinor representation).

categories: math-ph math.DG math.MP math.QA math.RT math.SG


title: On the Low Density Regime of Homogeneous Electron Gas

abstract: We investigate the low density limit of the Homogeneous Electron system, often called the {\it Strictly Correlated} regime. We begin with a systematic presentation of the expansion around infinite $r_S$, based on the first quantized treatments suggested in the existing literature. We show that the expansion is asymptotic in the parameter $r_S^{1/4}$ and that the leading order result contains exponential corrections that are significant even for $r_S \sim 100$. Thus, the systematic expansion is of limited utility. As a byproduct of this analysis, we find that there is no Wigner Crystal (WC) in one spatial dimension. This is an example of the Mermin-Wagner theorem, but was not appreciated in some earlier literature. More modern work has come to conclusions identical to ours. Note that the long range Coulomb potential modifies the dispersion relation of phonons in one dimension, but still leads to the instability of the crystal, due to a very weak infrared divergence. We then propose a new approximation scheme based on renormalization group ideas. We show that the Wegner-Houghton-Wilson-Polchinski exact renormalization group equation reduces, in the low density limit, to a classical equation for scale dependent electron and plasmon fields. In principle, this should allow us to lower the wave number cutoff of the model to a point where Wigner's intuitive argument for dominance of the classical Coulomb forces becomes rigorously correct.


title: SSSDET: Simple Short and Shallow Network for Resource Efficient Vehicle Detection in Aerial Scenes

abstract: Detection of small-sized targets is of paramount importance in many aerial vision-based applications. The commonly deployed low cost unmanned aerial vehicles (UAVs) for aerial scene analysis are highly resource constrained in nature. In this paper we propose a simple short and shallow network (SSSDet) to robustly detect and classify small-sized vehicles in aerial scenes. The proposed SSSDet is up to 4x faster, requires 4.4x less FLOPs, has 30x less parameters, requires 31x less memory space and provides better accuracy in comparison to existing state-of-the-art detectors. Thus, it is more suitable for hardware implementation in real-time applications. We also created a new airborne image dataset (ABD) by annotating 1396 new objects in 79 aerial images for our experiments. The effectiveness of the proposed method is validated on the existing VEDAI, DLR-3K, DOTA and Combined dataset. The SSSDet outperforms state-of-the-art detectors in term of accuracy, speed, compute and memory efficiency.


title: Zeros of Bessel cross-products coming from oblique derivative boundary value problems

abstract: The paper is devoted to (combinations of) Bessel cross-products that arise from oblique derivative boundary value problems for the Laplacian in a circular annulus. We show that like their Neumann-Laplacian counterpart (and unlike the Dirichlet-Laplacian), they possess two kinds of zeros: those that can be derived by McMahon series and diverge to infinity in the limit, and exceptional ones that remain finite. For both cases we find asymptotic expressions for a fixed oblique angle and vanishing thickness of the annulus. We further present plots of numerically computed zeros and discuss their behaviour when the oblique angle changes and the thickness remains fixed.


title: Fixed-k Inference for Conditional Extremal Quantiles

abstract: We develop a new extreme value theory for repeated cross-sectional and panel data to construct asymptotically valid confidence intervals (CIs) for conditional extremal quantiles from a fixed number $k$ of nearest-neighbor tail observations. As a by-product, we also construct CIs for extremal quantiles of coefficients in linear random coefficient models. For any fixed $k$, the CIs are uniformly valid without parametric assumptions over a set of nonparametric data generating processes associated with various tail indices. Simulation studies show that our CIs exhibit superior small-sample coverage and length properties than alternative nonparametric methods based on asymptotic normality. Applying the proposed method to Natality Vital Statistics, we study factors of extremely low birth weights. We find that signs of major effects are the same as those found in preceding studies based on parametric models, but with different magnitudes.


title: Second-order Non-local Attention Networks for Person Re-identification

abstract: Recent efforts have shown promising results for person re-identification by designing part-based architectures to allow a neural network to learn discriminative representations from semantically coherent parts. Some efforts use soft attention to reallocate distant outliers to their most similar parts, while others adjust part granularity to incorporate more distant positions for learning the relationships. Others seek to generalize part-based methods by introducing a dropout mechanism on consecutive regions of the feature map to enhance distant region relationships. However, only few prior efforts model the distant or non-local positions of the feature map directly for the person re-ID task. In this paper, we propose a novel attention mechanism to directly model long-range relationships via second-order feature statistics. When combined with a generalized DropBlock module, our method performs equally to or better than state-of-the-art results for mainstream person re-identification datasets, including Market1501, CUHK03, and DukeMTMC-reID.


title: Lipschitz Stratification of Complex Hypersurfaces in Codimension 2

abstract: We show that the Zariski canonical stratification of complex hypersurfaces is locally bi-Lipschitz trivial along the strata of codimension two. More precisely, we study Zariski equisingular families of surface, not necessarily isolated, singularities in $\mathbb{C}^3$. We show that a natural stratification of such a family given by the singular set and the generic family of polar curves provides a Lipschitz stratification in the sense of Mostowski. In particular, such families are bi-Lipschitz trivial by trivializations obtained by integrating Lipschitz vector fields.


title: The $K'$- theory of monoid sets

abstract: This paper studies the K-theory of categories of partially cancellative monoid sets, which is better behaved than that of all finitely generated monoid sets. A number of foundational results are proved, making use of the formalism of CGW-categories due to Campbell and Zakharevich, and numerous example computations are provided.


title: Observation of Geometric Phase in a Molecular Aharonov-Bohm System Using IBM Quantum Computer

abstract: The evolution of a quantum system is governed by the associated Hamiltonian. A system defined by a parameter-dependent Hamiltonian acquires a geometric phase when adiabatically evolved. Such an adiabatic evolution of a system having non-degenerate quantum states gives the well-studied Berry phase. Lounguet-Higgins and co-workers discovered a geometric phase when considering the Jahn-Teller distortion described by the nuclear coordinates traversing a closed path about the point of intersection of the electronic potential energy surfaces. Under such a condition, the Born-Oppenheimer wave function undergoes a sign change corresponding to an introduced global phase of $\pi$ radian. This change further introduces a multiple valuedness in the wavefunction which may be removed by adding a vector potential like term in the Hamiltonian for the nuclear motion giving the Molecular Aharonov Bohm effect. Here, we demonstrate a scheme to evaluate the introduced global phase for the molecular system considered by Longuet-Higgins and propose methods as the first principle to do the same in more complex examples for the molecular Hamiltonian on a quantum computer.


title: A Privacy-Preserving, Accountable and Spam-Resilient Geo-Marketplace

abstract: Mobile devices with rich features can record videos, traffic parameters or air quality readings along user trajectories. Although such data may be valuable, users are seldom rewarded for collecting them. Emerging digital marketplaces allow owners to advertise their data to interested buyers. We focus on geo-marketplaces, where buyers search data based on geo-tags. Such marketplaces present significant challenges. First, if owners upload data with revealed geo-tags, they expose themselves to serious privacy risks. Second, owners must be accountable for advertised data, and must not be allowed to subsequently alter geo-tags. Third, such a system may be vulnerable to intensive spam activities, where dishonest owners flood the system with fake advertisements. We propose a geo-marketplace that addresses all these concerns. We employ searchable encryption, digital commitments, and blockchain to protect the location privacy of owners while at the same time incorporating accountability and spam-resilience mechanisms. We implement a prototype with two alternative designs that obtain distinct trade-offs between trust assumptions and performance. Our experiments on real location data show that one can achieve the above design goals with practical performance and reasonable financial overhead.


title: VisualPhishNet: Zero-Day Phishing Website Detection by Visual Similarity

abstract: Phishing websites are still a major threat in today's Internet ecosystem. Despite numerous previous efforts, similarity-based detection methods do not offer sufficient protection for the trusted websites - in particular against unseen phishing pages. This paper contributes VisualPhishNet, a new similarity-based phishing detection framework, based on a triplet Convolutional Neural Network (CNN). VisualPhishNet learns profiles for websites in order to detect phishing websites by a similarity metric that can generalize to pages with new visual appearances. We furthermore present VisualPhish, the largest dataset to date that facilitates visual phishing detection in an ecologically valid manner. We show that our method outperforms previous visual similarity phishing detection approaches by a large margin while being robust against a range of evasion attacks.


title: Phrase Grounding by Soft-Label Chain Conditional Random Field

abstract: The phrase grounding task aims to ground each entity mention in a given caption of an image to a corresponding region in that image. Although there are clear dependencies between how different mentions of the same caption should be grounded, previous structured prediction methods that aim to capture such dependencies need to resort to approximate inference or non-differentiable losses. In this paper, we formulate phrase grounding as a sequence labeling task where we treat candidate regions as potential labels, and use neural chain Conditional Random Fields (CRFs) to model dependencies among regions for adjacent mentions. In contrast to standard sequence labeling tasks, the phrase grounding task is defined such that there may be multiple correct candidate regions. To address this multiplicity of gold labels, we define so-called Soft-Label Chain CRFs, and present an algorithm that enables convenient end-to-end training. Our method establishes a new state-of-the-art on phrase grounding on the Flickr30k Entities dataset. Analysis shows that our model benefits both from the entity dependencies captured by the CRF and from the soft-label training regime. Our code is available at \url{github.com/liujch1998/SoftLabelCCRF}


title: READ: Recursive Autoencoders for Document Layout Generation

abstract: Layout is a fundamental component of any graphic design. Creating large varieties of plausible document layouts can be a tedious task, requiring numerous constraints to be satisfied, including local ones relating different semantic elements and global constraints on the general appearance and spacing. In this paper, we present a novel framework, coined READ, for REcursive Autoencoders for Document layout generation, to generate plausible 2D layouts of documents in large quantities and varieties. First, we devise an exploratory recursive method to extract a structural decomposition of a single document. Leveraging a dataset of documents annotated with labeled bounding boxes, our recursive neural network learns to map the structural representation, given in the form of a simple hierarchy, to a compact code, the space of which is approximated by a Gaussian distribution. Novel hierarchies can be sampled from this space, obtaining new document layouts. Moreover, we introduce a combinatorial metric to measure structural similarity among document layouts. We deploy it to show that our method is able to generate highly variable and realistic layouts. We further demonstrate the utility of our generated layouts in the context of standard detection tasks on documents, showing that detection performance improves when the training data is augmented with generated documents whose layouts are produced by READ.


title: Higher-order Comparisons of Sentence Encoder Representations

abstract: Representational Similarity Analysis (RSA) is a technique developed by neuroscientists for comparing activity patterns of different measurement modalities (e.g., fMRI, electrophysiology, behavior). As a framework, RSA has several advantages over existing approaches to interpretation of language encoders based on probing or diagnostic classification: namely, it does not require large training samples, is not prone to overfitting, and it enables a more transparent comparison between the representational geometries of different models and modalities. We demonstrate the utility of RSA by establishing a previously unknown correspondence between widely-employed pretrained language encoders and human processing difficulty via eye-tracking data, showcasing its potential in the interpretability toolbox for neural models


title: Crystal Growth of Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+{\delta}}$ Whiskers from Pulverized Amorphous Precursors

abstract: High-transition temperature superconducting whiskers of Bi$_{2}$Sr$_{2}$CaCu$_{2}$O$_{8+{\delta}}$ were successfully grown from pulverized amorphous precursors. The obtained whiskers revealed a typical composition and diffraction patterns of a superconducting Bi-2212 phase. The whiskers from tiny precursors exhibit a spiral feature, suggesting a contribution from the growth mechanism of both vapor-liquid-solid and compressive stress models. The proposed method provides longer whiskers against the growth period, compared with that from conventional root-growth method.


title: An efficient method for computing stationary states of phase field crystal models

abstract: Computing stationary states is an important topic for phase field crystal (PFC) models. Great efforts have been made for energy dissipation of the numerical schemes when using gradient flows. However, it is always time-consuming due to the requirement of small effective time steps. In this paper, we propose an adaptive accelerated proximal gradient method for finding the stationary states of PFC models. The energy dissipation is guaranteed and the convergence property is established for the discretized energy functional. Moreover, the connections between generalized proximal operator with classical (semi-)implicit and explicit schemes for gradient flow are given. Extensive numerical experiments, including two three dimensional periodic crystals in Landau-Brazovskii (LB) model and a two dimensional quasicrystal in Lifshitz-Petrich (LP) model, demonstrate that our approach has adaptive time steps which lead to significant acceleration over semi-implicit methods for computing complex structures. Furthermore, our result reveals a deep physical mechanism of the simple LB model via which the sigma phase is first discovered.


title: Categorical Co-Frequency Analysis: Clustering Diagnosis Codes to Predict Hospital Readmissions

abstract: Accurately predicting patients' risk of 30-day hospital readmission would enable hospitals to efficiently allocate resource-intensive interventions. We develop a new method, Categorical Co-Frequency Analysis (CoFA), for clustering diagnosis codes from the International Classification of Diseases (ICD) according to the similarity in relationships between covariates and readmission risk. CoFA measures the similarity between diagnoses by the frequency with which two diagnoses are split in the same direction versus split apart in random forests to predict readmission risk. Applying CoFA to de-identified data from Berkshire Medical Center, we identified three groups of diagnoses that vary in readmission risk. To evaluate CoFA, we compared readmission risk models using ICD majors and CoFA groups to a baseline model without diagnosis variables. We found substituting ICD majors for the CoFA-identified clusters simplified the model without compromising the accuracy of predictions. Fitting separate models for each ICD major and CoFA group did not improve predictions, suggesting that readmission risk may be more homogeneous that heterogeneous across diagnosis groups.


title: Stochastic many-body perturbation theory for electron correlation energies

abstract: Treating electron correlation more accurately and efficiently is at the heart of the development of electronic structure methods. In the present work, we explore the use of stochastic approaches to evaluate high-order electron correlation energies, whose conventional computational scaling is unpleasantly steep, being $O(N^{n+3})$ with respect to the system size $N$ and the perturbation order $n$ for the M{\o}ller-Plesset (MP) series. To this end, starting from Goldstone's time-dependent formulation of \emph{ab initio} many-body perturbation theory (MBPT), we present a reformulation of MBPT, which naturally leads to an Monte Carlo scheme with $O(nN^2+n^2N+f(n))$ scaling at each step, where $f(n)$ is a function of $n$ depending on the specific numerical scheme. Proof-of-concept calculations demonstrate that the proposed quantum Monte Carlo algorithm successfully extends the previous Monte Carlo approaches for MP2 and MP3 to higher orders. Therefore, for the first time the Goldstone's time-dependent formulation is made useful numerically for electron correlation energies, not only being purely as a theoretical tool.


title: Prototype-module of a muon tracker to investigate the Popocatepetl volcano lava dome density-distribution

abstract: The study of volcanic inner density distributions using cosmic muons is an innovative method, which is still in a stage of development. This technique can be used to determine the average density along the muon track, as well as the density distribution within a given volume, by measuring the attenuation of the cosmic muon flux going through it. The aim is to study the volcano domes and magmatic conduit systems within a given time-interval. Our first application will be the Popocatepetl, a large active andesitic stratovolcano built in the Trans-Mexican volcanic arc. Its recent activity includes emplacement of a lava dome, with explosions and frequent scoria and ash emissions. This study is part of a longer-term project of volcanic hazard monitoring that includes other Mexican volcanoes, like the Colima. Muon detector design depends on the volume-of-interest dimensions, as well as on the image-taking frequency required to detect dynamic density variations. Our muon-tracker proposal includes 3 planes, each having 16 independent position-sensitive modules consisting on rectangular aluminum tubes ($10x20x320cm^{3}$) filed with a liquid scintillator. The light collection inside each module is carried out using a wave-length-shifting (WLS) fiber matrix, running along the aluminum-tube length, which is bundled together at the tube extremes. The luminous signal readout is carried out using one SiPM optically coupled to the WLS bundle at each modules end. The main detector characteristics, such as time resolution, surface uniformity, and signal amplitude reconstruction using the time-over-threshold technique, will be presented.


title: Bounds for sets with no polynomial progressions

abstract: Let $P_1,\dots,P_m\in\mathbb{Z}[y]$ be polynomials with distinct degrees, each having zero constant term. We show that any subset $A$ of $\{1,\dots,N\}$ with no nontrivial progressions of the form $x,x+P_1(y),\dots,x+P_m(y)$ has size $|A|\ll N/(\log\log{N})^{c_{P_1,\dots,P_m}}$. Along the way, we prove a general result controlling weighted counts of polynomial progressions by Gowers norms.


title: Syntax-aware Multilingual Semantic Role Labeling

abstract: Recently, semantic role labeling (SRL) has earned a series of success with even higher performance improvements, which can be mainly attributed to syntactic integration and enhanced word representation. However, most of these efforts focus on English, while SRL on multiple languages more than English has received relatively little attention so that is kept underdevelopment. Thus this paper intends to fill the gap on multilingual SRL with special focus on the impact of syntax and contextualized word representation. Unlike existing work, we propose a novel method guided by syntactic rule to prune arguments, which enables us to integrate syntax into multilingual SRL model simply and effectively. We present a unified SRL model designed for multiple languages together with the proposed uniform syntax enhancement. Our model achieves new state-of-the-art results on the CoNLL-2009 benchmarks of all seven languages. Besides, we pose a discussion on the syntactic role among different languages and verify the effectiveness of deep enhanced representation for multilingual SRL.


title: Scalable Reinforcement-Learning-Based Neural Architecture Search for Cancer Deep Learning Research

abstract: Cancer is a complex disease, the understanding and treatment of which are being aided through increases in the volume of collected data and in the scale of deployed computing power. Consequently, there is a growing need for the development of data-driven and, in particular, deep learning methods for various tasks such as cancer diagnosis, detection, prognosis, and prediction. Despite recent successes, however, designing high-performing deep learning models for nonimage and nontext cancer data is a time-consuming, trial-and-error, manual task that requires both cancer domain and deep learning expertise. To that end, we develop a reinforcement-learning-based neural architecture search to automate deep-learning-based predictive model development for a class of representative cancer data. We develop custom building blocks that allow domain experts to incorporate the cancer-data-specific characteristics. We show that our approach discovers deep neural network architectures that have significantly fewer trainable parameters, shorter training time, and accuracy similar to or higher than those of manually designed architectures. We study and demonstrate the scalability of our approach on up to 1,024 Intel Knights Landing nodes of the Theta supercomputer at the Argonne Leadership Computing Facility.


title: The stability of 12-fold symmetry soft-matter quasicrystals

abstract: This letter presents a study on the stability of the 12-fold symmetry soft-matter quasicrystals from the angle of thermodynamics combining dynamics of the matter. The results are quantitative, which depend upon only the material constants of the novel phase and very simple and intuitive, these material constants can be measured by experiments.


title: Cyclotomic quiver Hecke algebras corresponding to minuscule representations

abstract: In the paper, we give an explicit basis of the cyclotomic quiver Hecke algebra corresponding to a minuscule representation of finite type.


title: Dissipative two-identical-particle systems: diffraction and interference

abstract: Interference and diffraction of two-identical-particles are considered in the context of open quantum systems. This theoretical study is carried out within two approaches, the effective time-dependent Hamiltonian due to Caldirola-Kanai (CK) and the Caldeira-Leggett (CL) one where a master equation for the reduced density matrix is used under the presence of dissipation and temperature of the environment. Two simple but very illustrative examples are considered, diffraction by a single and two Gaussian slits by analyzing the mean square separation between particles, single-particle probability density and the simultaneous detection probability or diffraction patterns. Concerning the single Gaussian slit case, in the CK approach, the mean square separation drastically reduces with friction, reaching a constant value due to the localization effect of friction. On the contrary, in the CL approach, temperature has an opposite effect to friction and this quantity increases. Furthermore, there is a time-interval for which the joint detection probability is greater for fermions than for bosons. As has already been reported for non-dissipative systems, fermion bunching and boson anti-bunching are also observed.


title: On holomorphic mappings between almost Hermitian manifolds

abstract: Our goal is to combine the techniques of Xiaokui Yang, Valentino Tosatti, and others to establish a Liouville-type result for almost complex manifolds. The transition to the non-integrable setting is delicate, so we will devote a section to discuss the key differences, and another to introduce the tools we will be using. Afterwards, we present a proof of our main theorem.


title: Intelligent Recognition of Time Stamp Characters in Solar Scanned Images from Film

abstract: Prior to the availability of digital cameras, the solar observational images are typically recorded on films, and the information such as date and time were stamped in the same frames on film. It is significant to extract the time stamp information on the film so that the researchers can efficiently use the image data. This paper introduces an intelligent method for extracting time stamp information, namely, the Convolutional Neural Network (CNN), which is an algorithm in deep learning of multilayer neural network structures and can identify time stamp character in the scanned solar images. We carry out the time stamp decoding for the digitized data from the National Solar Observatory from 1963 to 2003. The experimental results show that the method is accurate and quick for this application. We finish the time stamp information extraction for more than 7 million images with the accuracy of 98\%.


title: Machine Learning Based Image Calibration for a Twofold Time-Interleaved High Speed DAC

abstract: In this paper, we propose a novel image calibration algorithm for a twofold time-interleaved DAC (TIDAC). The algorithm is based on simulated annealing, which is often used in the field of machine learning to solve derivative free optimization (DFO) problems. The DAC under consideration is part of a digital transceiver core that contains a high speed ADC, microcontroller, and digital control via a serial peripheral interface (SPI). These are used as tools for designing an algorithm which suppresses the interleave image to the noise floor. The algorithm is supported with experimental results in silicon on a 10-bit twofold TIDAC operating at a sample rate of 50 GS/s in 14nm CMOS technology.


title: Multiple Object Tracking with Motion and Appearance Cues

abstract: Due to better video quality and higher frame rate, the performance of multiple object tracking issues has been greatly improved in recent years. However, in real application scenarios, camera motion and noisy per frame detection results degrade the performance of trackers significantly. High-speed and high-quality multiple object trackers are still in urgent demand. In this paper, we propose a new multiple object tracker following the popular tracking-by-detection scheme. We tackle the camera motion problem with an optical flow network and utilize an auxiliary tracker to deal with the missing detection problem. Besides, we use both the appearance and motion information to improve the matching quality. The experimental results on the VisDrone-MOT dataset show that our approach can improve the performance of multiple object tracking significantly while achieving a high efficiency.


title: Flow Guided Short-term Trackers with Cascade Detection for Long-term Tracking

abstract: Object tracking has been studied for decades, but most of the existing works are focused on the short-term tracking. For a long sequence, the object is often fully occluded or out of view for a long time, and existing short-term object tracking algorithms often lose the target, and it is difficult to re-catch the target even if it reappears again. In this paper a novel long-term object tracking algorithm flow_MDNet_RPN is proposed, in which a tracking result judgement module and a detection module are added to the short-term object tracking algorithm. Experiments show that the proposed long-term tracking algorithm is effective to the problem of target disappearance.


title: Anti-MANOVA on Compact Manifolds with Applications to 3D Projective Shape Analysis

abstract: Methods of hypotheses testing for equality of extrinsic antimeans on compact manifolds are unveiled in this paper. The two and multiple sample problem for antimeans on compact manifolds is addressed for large samples via asymptotic distributions, as well as for small samples using nonparametric bootstrap. An example of face differentiation using 3D VW antimean projective shape analysis for data extracted from digital camera images is also given.


title: Deep Mesh Reconstruction from Single RGB Images via Topology Modification Networks

abstract: Reconstructing the 3D mesh of a general object from a single image is now possible thanks to the latest advances of deep learning technologies. However, due to the nontrivial difficulty of generating a feasible mesh structure, the state-of-the-art approaches often simplify the problem by learning the displacements of a template mesh that deforms it to the target surface. Though reconstructing a 3D shape with complex topology can be achieved by deforming multiple mesh patches, it remains difficult to stitch the results to ensure a high meshing quality. In this paper, we present an end-to-end single-view mesh reconstruction framework that is able to generate high-quality meshes with complex topologies from a single genus-0 template mesh. The key to our approach is a novel progressive shaping framework that alternates between mesh deformation and topology modification. While a deformation network predicts the per-vertex translations that reduce the gap between the reconstructed mesh and the ground truth, a novel topology modification network is employed to prune the error-prone faces, enabling the evolution of topology. By iterating over the two procedures, one can progressively modify the mesh topology while achieving higher reconstruction accuracy. Moreover, a boundary refinement network is designed to refine the boundary conditions to further improve the visual quality of the reconstructed mesh. Extensive experiments demonstrate that our approach outperforms the current state-of-the-art methods both qualitatively and quantitatively, especially for the shapes with complex topologies.


title: Noise amplification at spin-glass bottlenecks of quantum annealing: a solvable model

abstract: To gain better insight into the complexity theory of quantum annealing, we propose and solve a class of spin systems which contain bottlenecks of the kind expected to dominate the runtime of quantum annealing as it tries to solve difficult optimization problems. We uncover a noise amplification effect at these bottlenecks, whereby tunneling rates caused by flux-qubit noise scale in proportion to the number of qubits $N$ in the limit that $N\to \infty$. By solving the incoherent annealing dynamics exactly, we find a wide range of regimes where the probability that a quantum annealer remains in the ground-state upon exiting the bottleneck is close to one-half. We corroborate our analysis with detailed simulations of the performance of the D-Wave 2X quantum annealer on our class of computational problems.


title: Round Complexity of Common Randomness Generation: The Amortized Setting

abstract: We study the effect of rounds of interaction on the common randomness generation (CRG) problem. In the CRG problem, two parties, Alice and Bob, receive samples $X_i$ and $Y_i$, respectively, drawn jointly from a source distribution $\mu$. The two parties wish to agree on a common random key consisting of many bits of randomness, by exchanging messages that depend on each party's input and the previous messages. In this work we study the amortized version of the problem, i.e., the number of bits of communication needed per random bit output by Alice and Bob, in the limit as the number of bits generated tends to infinity. The amortized version of the CRG problem has been extensively studied, though very little was known about the effect of interaction on this problem. Recently Bafna et al. (SODA 2019) considered the non-amortized version of the problem: they gave a family of sources $\mu_{r,n}$ parameterized by $r,n\in\mathbb{N}$, such that with $r+2$ rounds of communication one can generate $n$ bits of common randomness with this source with $O(r\log n)$ communication, whereas with roughly $r/2$ rounds the communication complexity is $\Omega(n/{\rm poly}\log n)$. Note that their source is designed with the target number of bits in mind and hence the result does not apply to the amortized setting. In this work we strengthen the work of Bafna et al. in two ways: First we show that the results extend to the amortized setting. We also reduce the gap between the round complexity in the upper and lower bounds to an additive constant. Specifically we show that for every pair $r,n \in \mathbb{N}$ the (amortized) communication complexity to generate $\Omega(n)$ bits of common randomness from the source $\mu_{r,n}$ using $r+2$ rounds of communication is $O(r\log n)$ whereas the amortized communication required to generate the same amount of randomness from $r$ rounds is $\Omega(\sqrt n)$.


title: A Novel Aspect-Guided Deep Transition Model for Aspect Based Sentiment Analysis

abstract: Aspect based sentiment analysis (ABSA) aims to identify the sentiment polarity towards the given aspect in a sentence, while previous models typically exploit an aspect-independent (weakly associative) encoder for sentence representation generation. In this paper, we propose a novel Aspect-Guided Deep Transition model, named AGDT, which utilizes the given aspect to guide the sentence encoding from scratch with the specially-designed deep transition architecture. Furthermore, an aspect-oriented objective is designed to enforce AGDT to reconstruct the given aspect with the generated sentence representation. In doing so, our AGDT can accurately generate aspect-specific sentence representation, and thus conduct more accurate sentiment predictions. Experimental results on multiple SemEval datasets demonstrate the effectiveness of our proposed approach, which significantly outperforms the best reported results with the same setting.


title: Repurposing Decoder-Transformer Language Models for Abstractive Summarization

abstract: Neural network models have shown excellent fluency and performance when applied to abstractive summarization. Many approaches to neural abstractive summarization involve the introduction of significant inductive bias, exemplified through the use of components such as pointer-generator architectures, coverage, and partially extractive procedures, designed to mimic the process by which humans summarize documents. We show that it is possible to attain competitive performance by instead directly viewing summarization as a language modeling problem and effectively leveraging transfer learning. We introduce a simple procedure built upon decoder-transformers to obtain highly competitive ROUGE scores for summarization performance using a language modeling loss alone, with no beam-search or other decoding-time optimization, and instead relying on efficient nucleus sampling and greedy decoding.