title: Parallel In-Memory Evaluation of Spatial Joins

abstract: The spatial join is a popular operation in spatial database systems and its evaluation is a well-studied problem. As main memories become bigger and faster and commodity hardware supports parallel processing, there is a need to revamp classic join algorithms which have been designed for I/O-bound processing. In view of this, we study the in-memory and parallel evaluation of spatial joins, by re-designing a classic partitioning-based algorithm to consider alternative approaches for space partitioning. Our study shows that, compared to a straightforward implementation of the algorithm, our tuning can improve performance significantly. We also show how to select appropriate partitioning parameters based on data statistics, in order to tune the algorithm for the given join inputs. Our parallel implementation scales gracefully with the number of threads reducing the cost of the join to at most one second even for join inputs with tens of millions of rectangles.


title: Searching for a light $Z'$ through Higgs production at the LHC

abstract: We investigate the potential of LHC resonance searches in leptonic final states to probe the $Z'$ in the minimal $U(1)_{B-L}$ model. Considering the current constraints on the $Z'$ in terms of its mass $m_{Z'}$ and the associated gauge coupling $g_{B-L}$ as well as constraints in the Higgs sector, we analyse the potential of dilepton and four lepton final states for $Z'$ production. This includes Drell-Yan production, Higgs mediated decays and final state radiation processes concentrating only on the ATLAS and CMS detectors at the LHC. We show that the four-lepton final state is sensitive to $m_{Z'}$ as low as 0.25 GeV. Furthermore, setting the Higgs mixing to $\sin\alpha = 0.3$, this final state has a strong sensitivity and it probes regions of parameter space where the $Z'$ is long-lived. We demonstrate the sensitivity at the High Luminosity LHC and comment on the potential of probing displaced vertices due to long-lived $Z'$. Finally, we also comment on the strength of $Z'$ and Higgs mediated heavy neutrino processes by taking into account the constraints derived.


title: Particle Production Between Isometric Frames on a Poincar\'e Patch of $\text{AdS}_2$

abstract: In a recent paper [J. P. M. Pitelli, Phys. Rev. D {\bf 99}, 108701 (2019)], one of us showed that the vacuum state associated to conformal fields on a Poicar\'e patch of anti-de Sitter spacetime is not $\text{AdS}$ invariant for fields satisfying non-trivial boundary conditions (by non-trivial we mean neither Dirichlet nor Neumann) at the conformal boundary. In this way, two isometrically related observers in anti-de Sitter space have different notions of no particle content. Therefore, an observer who is suddenly transported to a different (but isometrically related) frame will feel a bath of particles. This process contradicts our intuitive notion based on our experience in Minkowski spacetime, where the vacuum is Lorentz invariant, and no particle is produced between boosted frames. We show that the total number of produced particles is finite, but grows without limit when we approach (via isometric transformation) Dirichlet or Neumann boundary conditions since in these cases the vacuum is invariant.


title: Multiple Regions of Shock-accelerated Particles during a Solar Coronal Mass Ejection

abstract: The Sun is an active star that can launch large eruptions of magnetised plasma into the heliosphere, called coronal mass ejections (CMEs). These ejections can drive shocks that accelerate particles to high energies, often resulting in radio emission at low frequencies (<200 MHz). To date, the relationship between the expansion of CMEs, shocks and particle acceleration is not well understood, partly due to the lack of radio imaging at low frequencies during the onset of shock-producing CMEs. Here, we report multi-instrument radio, white-light and ultraviolet imaging of the second largest flare in Solar Cycle 24 (2008-present) and its associated fast CME (3038+/-288 km/s). We identify the location of a multitude of radio shock signatures, called herringbones, and find evidence for shock accelerated electron beams at multiple locations along the expanding CME. These observations support theories of non-uniform, rippled shock fronts driven by an expanding CME in the solar corona.


title: The algebraic structure of left semi-trusses

abstract: The distributive laws of ring theory are fundamental equalities in algebra. However, recently in the study of the Yang-Baxter equation, many algebraic structures with alternative "distributive" laws were defined. In an effort to study these "left distributive" laws and the interaction they entail on the algebraic structures, Brzezi\'nski introduced skew left trusses and left semi-trusses. In particular the class of left semi-trusses is very wide, since it contains all rings, associative algebras and distributive lattices. In this paper, we investigate the subclass of left semi-trusses that behave like the algebraic structures that came up in the study of the Yang-Baxter equation. We study the interaction of the operations and what this interaction entails on their respective semigroups. In particular, we prove that in the finite case the additive structure is a completely regular semigroup. Secondly, we apply our results on a particular instance of a left semi-truss called an almost left semi-brace, introduced by Miccoli to study its algebraic structure. In particular, we show that one can associate a left semi-brace to any almost left semi-brace. Furthermore, we show that the set-theoretic solutions of the Yang-Baxter equation originating from almost left semi-braces arise from this correspondence.


title: Similar shot profile morphology of fast variability in cataclysmic variable, X-ray binary and blazar; the MV Lyr case

abstract: The cataclysmic variable MV Lyr was present in the Kepler field yielding a light curve with the duration of almost 1500 days with 60 second cadence. Such high quality data of this nova-like system with obvious fast optical variability show multicomponent power density spectra. Our goal is to study the light curve from different point of view, and perform a shot profile analysis. We search for characteristics not discovered with standard power density spectrum based methods. The shot profile method identifies individual shots in the light curve, and averages them in order to get all substructures with typical time scales. We also tested the robustness of our analysis using simple shot noise model. We obtained mean profiles with multicomponent features. The shot profile method distinguishes substructures with similar time scales which appear as a single degenerate feature in power density spectra. Furthermore, this method yields the identification of another high frequency component in the power density spectra of Kepler and XMM-Newton data not detected so far. Moreover, we found side-lobes accompanied with the central spike, making the profile very similar to another Kepler data of blazar W2R 1926+42, and Ginga data of Cyg X-1. All three objects show similar time scale ratios of the rising vs. declining part of the central spikes, while the two binaries have also similar rising profiles of the shots described by a power-law function. The similarity of both binary shot profiles suggests that the shots originate from the same origin, e.g. aperiodic mass accretion in the accretion disc. Moreover, the similarity with the blazar may imply that the ejection fluctuations in the blazar jet are connected to accretion fluctuations driving the variability in binaries. This points out to connection between jet and the accretion disc.


title: On numerical solution of full rank linear systems

abstract: Matrices can be augmented by adding additional columns such that a partitioning of the matrix in blocks of rows defines mutually orthogonal subspaces. This augmented system can then be solved efficiently by a sum of projections onto these subspaces. The equivalence to the original linear system is ensured by adding additional rows to the matrix in a specific form. The resulting solution method is known as the augmented block Cimmino method. Here this method is extended to full rank underdetermined systems and to overdetermined systems. In the latter case, rows of the matrix, not columns, must be suitably augmented. The article presents an analysis of these methods.


title: Dynamics of quantum information

abstract: The ability to harness the dynamics of quantum information and entanglement is necessary for the development of quantum technologies and the study of complex quantum systems. On the theoretical side the dynamics of quantum information is a topic that is helping us unify and confront common problems in otherwise disparate fields in physics, such as quantum statistical mechanics and cosmology. On the experimental side the impressive developments on the manipulation of neutral atoms and trapped ions are providing new capabilities to probe their quantum dynamics. Here, we overview and discuss progress in characterizing and understanding the dynamics of quantum entanglement and information scrambling in quantum many-body systems. The level of control attainable over both the internal and external degrees of freedom of individual particles in these systems provides great insight into the intrinsic connection between entanglement and thermodynamics, bounds on information transport and computational complexity of interacting systems. In turn this understanding should enable the realization of quantum technologies.


title: Unequal rapidity correlators in the dilute limit of JIMWLK

abstract: We study unequal rapidity correlators in the stochastic Langevin picture of Jalilian-Marian - Iancu - McLerran - Weigert - Leonidov - Kovner (JIMWLK) evolution in the Color Glass Condensate effective field theory. By separately evolving the Wilson lines in the direct and complex conjugate amplitudes, we use the formalism to study two-particle production at large rapidity separations. We show that the evolution between the rapidities of the two produced particles can be expressed as a linear equation, even in the full nonlinear limit. We also show how the Langevin formalism for two-particle correlations reduces to a BFKL picture in the dilute limit and in momentum space, providing an interpretation of BFKL evolution as a stochastic process for color charges.


title: Homothetic triangle representations of planar graphs

abstract: We prove that every planar graph is the intersection graph of homothetic triangles in the plane.


title: Dynamical generation of resonances in the P33 partial wave

abstract: We investigate the formation of resonances in the P33 partial wave with the emphasis on possible emergence of dynamically generated quasi-bound states as a consequence of a strong $p$-wave pion attractive interaction in this partial wave, as well as their possible interaction with the genuine quark excited states. By using the Laurent-Pietarinen expansion we follow the evolution of the $S$-matrix poles in the complex energy plane as a function of the interaction strength. Already without introducing a genuine quark resonant state, two physically interesting resonances emerge with pole masses around 1200 MeV and 1400 MeV, with the dominant $\pi N$ and $\pi\Delta$ component, respectively. The added genuine resonant state in the $(1s)^3$ quark configuration mixes with the lower dynamically generated resonance forming the physical $\Delta(1232)$ resonance, and pushes the second dynamical resonance to around 1500 MeV, which allows it to be identified with the $\Delta(1600)$ resonance. Adding a second resonant state with one quark promoted to the $2s$ orbit generates another pole whose evolution remains well separated from the lower two poles. We calculate the helicity amplitudes at the pole and suggest that their $Q^2$ dependence could be a decisive test to discriminate between different models of the $\Delta(1600)$ resonance.


title: Triple-crossing projections, moves on knots and links and their minimal diagrams

abstract: In this paper we present a systematic method to generate prime knot and prime link minimal triple-point projections, and then classify all classical prime knots and prime links with triple-crossing number at most four. We also extend the table of known knots and links with triple-crossing number equal to five. By introducing a new type of diagrammatic move, we reduce the number of generating moves on triple-crossing diagrams, and derive a minimal generating set of moves connecting triple-crossing diagrams of the same knot.


title: Manipulation of Perceived Politeness in a Web-based Email Discourse Through a Malicious Browser Extension

abstract: This paper presents a specific man-in-the-middle exploit: Ambient Tactical Deception (ATD) in online communication, realized via a malicious web browser extension. Extensions manipulate web content in unobtrusive ways as ambient intermediaries of the overall browsing experience. In our previous work, we demonstrated that it is possible to employ tactical deception by making covert changes in the text content of a web page, regardless of the source. In this work, we investigated the application of ATD in a web-based email discourse where the objective is to manipulate the interpersonal perception without the knowledge of the involved parties. We focus on web-based email text because it is asynchronous and usually revised for clarity and politeness. Previous research has demonstrated that people's perception of politeness in online communication is based on three factors: the degree of imposition, the power of the receiver over the sender, and the social distance between them. We interviewed participants about their perception of these factors to establish the plausibility of ATD for email discourse. The results indicate that by covertly altering the politeness strategy in an email, it is possible for an ATD attacker to manipulate the receiver's perception on all of the politeness factors. Our findings support the Brown and Levinson's politeness theory and Walther's hyperpersonal model of email communication.


title: Rigidity of flag supermanifolds

abstract: We prove that under certain assumptions a supermanifold of flags is rigid, this is its complex structure does not admit any non-trivial small deformation. Moreover under the same assumptions we show that a supermanifold of flags is unique non-split supermanifold with given retract.


title: Fashion Retrieval via Graph Reasoning Networks on a Similarity Pyramid

abstract: Matching clothing images from customers and online shopping stores has rich applications in E-commerce. Existing algorithms encoded an image as a global feature vector and performed retrieval with the global representation. However, discriminative local information on clothes are submerged in this global representation, resulting in sub-optimal performance. To address this issue, we propose a novel Graph Reasoning Network (GRNet) on a Similarity Pyramid, which learns similarities between a query and a gallery cloth by using both global and local representations in multiple scales. The similarity pyramid is represented by a Graph of similarity, where nodes represent similarities between clothing components at different scales, and the final matching score is obtained by message passing along edges. In GRNet, graph reasoning is solved by training a graph convolutional network, enabling to align salient clothing components to improve clothing retrieval. To facilitate future researches, we introduce a new benchmark FindFashion, containing rich annotations of bounding boxes, views, occlusions, and cropping. Extensive experiments show that GRNet obtains new state-of-the-art results on two challenging benchmarks, e.g., pushing the top-1, top-20, and top-50 accuracies on DeepFashion to 26%, 64%, and 75% (i.e., 4%, 10%, and 10% absolute improvements), outperforming competitors with large margins. On FindFashion, GRNet achieves considerable improvements on all empirical settings.


title: Enabling atomic resolution in convergent beam EMCD measurements by the use of patterned apertures

abstract: We give an experimental demonstration of two types of recently proposed ventilator apertures which can be used to acquire electron magnetic circular dichroic (EMCD) signals in zone axis orientation with high spatial resolution. To simplify the experimental procedures, we propose a third type of aperture and experimentally demonstrate the use of this modified ventilator aperture for the case of multiple symmetries in the diffraction patterns. To show the feasibility of the atomic resolution EMCD, EMCD signals are acquired for a range of beam convergence angles. High quality EMCD signals with convergence angles corresponding to atomic resolution electron probes are obtained.


title: Proper motion in lensed radio jets at redshift 3: a possible dual super-massive black hole system in the early Universe

abstract: In this paper, we exploit the gravitational lensing effect to detect proper motion in the highly magnified gravitationally lensed source MG B2016+112. We find positional shifts up to 6 mas in the lensed images by comparing two Very Long Baseline Interferometric (VLBI) radio observations at 1.7 GHz that are separated by 14.359 years, and provide an astrometric accuracy of the order of tens of $\mu$as. From lens modelling, we exclude a shift in the lensing galaxy as the cause of the positional change of the lensed images, and we assign it to the background source. The source consists of four sub-components separated by $\sim 175$ pc, with proper motion of the order of tens $\mu$as yr$^{-1}$ for the two components at highest magnification ($\mu\sim350$) and of the order of a few mas yr$^{-1}$ for the two components at lower magnification ($\mu\sim2$). We propose single AGN and dual AGN scenarios to explain the source plane. Although, the latter interpretation is supported by the archival multi-wavelength properties of the object. In this case, MG B2016+112 would represent the highest redshift dual radio-loud AGN system discovered thus far, and would support the merger interpretation for such systems. Also, given the low probability ($\sim10^{-5}$) of detecting a dual AGN system that is also gravitationally lensed, if confirmed, this would suggest that such dual AGN systems must be more abundant in the early Universe than currently thought.


title: Temporal Coherence for Active Learning in Videos

abstract: Autonomous driving systems require huge amounts of data to train. Manual annotation of this data is time-consuming and prohibitively expensive since it involves human resources. Therefore, active learning emerged as an alternative to ease this effort and to make data annotation more manageable. In this paper, we introduce a novel active learning approach for object detection in videos by exploiting temporal coherence. Our active learning criterion is based on the estimated number of errors in terms of false positives and false negatives. The detections obtained by the object detector are used to define the nodes of a graph and tracked forward and backward to temporally link the nodes. Minimizing an energy function defined on this graphical model provides estimates of both false positives and false negatives. Additionally, we introduce a synthetic video dataset, called SYNTHIA-AL, specially designed to evaluate active learning for video object detection in road scenes. Finally, we show that our approach outperforms active learning baselines tested on two datasets.


title: Cage multipoles in rare-earth hexaborides

abstract: In rare-earth cage compounds, the guest 4f ion cannot be considered as fixed at the centre of its cage. As result of the electronic degeneracy of the 4f shell, single-ion or collective mechanisms can redistribute the ion inside the cage, which can be described in terms of multipolar components. These mechanisms and their influence are here discussed and illustrated in relation with the rare-earth hexaboride series. Warning: Following our oral presentation, this manuscript should have appeared in the Proceedings of SCES 2014 (SCES 2014, International Conference on Strongly Correlated Electron Systems, held 7 - 11 July 2014 in Grenoble). An infuriated referee decided otherwise stating, in substance, that "... it could corrupt the youth ... " (the very few interested in this particular the subject). The casual reader is here free to appreciate how far this corruption goes...


title: Nonproper intersection products and generalized cycles

abstract: In this article we develop intersection theory in terms of the $\mathcal{B}$-group of a reduced analytic space. This group was introduced in a previous work as an analogue of the Chow group; it is generated by currents that are direct images of Chern forms and it contains all usual cycles. However, contrary to Chow classes, the $\mathcal{B}$-classes have well-defined multiplicities at each point. We focus on a $\mathcal{B}$-analogue of the intersection theory based on the St\"uckrad-Vogel procedure and the join construction in projective space. Our approach provides global $\mathcal{B}$-classes which satisfy a B\'ezout theorem and have the expected local intersection numbers. An essential feature is that we take averages, over various auxiliary choices, by integration. We also introduce $\mathcal{B}$-analogues of more classical constructions of intersections using the Gysin map of the diagonal. These constructions are connected via a $\mathcal{B}$-variant of van Gastel's formulas. Furthermore, we prove that our intersections coincide with the classical ones on cohomology level.


title: Tree Descent Polynomials: Unimodality and Central Limit Theorem

abstract: For a poset whose Hasse diagram is a rooted plane forest $F$, we consider the corresponding tree descent polynomial $A_F(q)$, which is a generating function of the number of descents of the labelings of $F$. When the forest is a path, $A_F(q)$ specializes to the classical Eulerian polynomial. We prove that the coefficient sequence of $A_F(q)$ is unimodal and that if $\{T_{n}\}$ is a sequence of trees with $|T_{n}| = n$ and maximal down degree $D_{n} = O(n^{0.5-\epsilon})$ then the number of descents in a labeling of $T_{n}$ is asymptotically normal.


title: Magnetization reversal, damping properties and magnetic anisotropy of L10-ordered FeNi thin films

abstract: L10 ordered magnetic alloys such as FePt, FePd, CoPt and FeNi are well known for their large magnetocrystalline anisotropy. Among these, L10-FeNi alloy is economically viable material for magnetic recording media because it does not contain rare earth and noble elements. In this work, L10-FeNi films with three different strengths of anisotropy were fabricated by varying the deposition process in molecular beam epitaxy system. We have investigated the magnetization reversal along with domain imaging via magneto optic Kerr effect based microscope. It is found that in all three samples, the magnetization reversal is happening via domain wall motion. Further ferromagnetic resonance (FMR) spectroscopy was performed to evaluate the damping constant and magnetic anisotropy. It was observed that the FeNi sample with moderate strength of anisotropy exhibits low value of damping constant ~ 4.9X10^-3. In addition to this, it was found that the films possess a mixture of cubic and uniaxial anisotropies.


title: Classifying single-qubit noise using machine learning

abstract: Quantum characterization, validation, and verification (QCVV) techniques are used to probe, characterize, diagnose, and detect errors in quantum information processors (QIPs). An important component of any QCVV protocol is a mapping from experimental data to an estimate of a property of a QIP. Machine learning (ML) algorithms can help automate the development of QCVV protocols, creating such maps by learning them from training data. We identify the critical components of "machine-learned" QCVV techniques, and present a rubric for developing them. To demonstrate this approach, we focus on the problem of determining whether noise affecting a single qubit is coherent or stochastic (incoherent) using the data sets originally proposed for gate set tomography. We leverage known ML algorithms to train a classifier distinguishing these two kinds of noise. The accuracy of the classifier depends on how well it can approximate the "natural" geometry of the training data. We find GST data sets generated by a noisy qubit can reliably be separated by linear surfaces, although feature engineering can be necessary. We also show the classifier learned by a support vector machine (SVM) is robust under finite-sample noise.


title: Recursions for rational q,t-Catalan numbers

abstract: We give a simple recursion labeled by binary sequences which computes rational $q,t$-Catalan power series, both in relatively prime and non relatively prime cases. It is inspired by, but not identical to recursions due to B. Elias, M. Hogancamp, and A. Mellit, obtained in their study of link homology. We also compare our recursion with the Hogancamp-Mellit's recursion and verify a connection between the Khovanov-Rozansky homology of $N,M$-torus links and the rational $q,t$-Catalan power series for general positive $N,M.$


title: Random shuffles on trees using extended promotion

abstract: The Tsetlin library is a very well studied model for the way an arrangement of books on a library shelf evolves over time. One of the most interesting properties of this Markov chain is that its spectrum can be computed exactly and that the eigenvalues are linear in the transition probabilities. In this paper we consider a generalization which can be interpreted as a self-organizing library in which the arrangements of books on each shelf are restricted to be linear extensions of a fixed poset. The moves on the books are given by the extended promotion operators of Ayyer, Klee, and Schilling while the shelves, bookcases, etc. evolve according to the move-to-back moves as in the the self-organizing library of Bj\"orner. We show that the eigenvalues of the transition matrix of this Markov chain are $\pm 1$ integer combinations of the transition probabilities if the posets that prescribe the restrictions on the book arrangements are rooted forests or more generally, if they consist of ordinal sums of a rooted forest and so called ladders. For some of the results we show that the monoids generated by the moves are either $\mathcal{R}$-trivial or, more generally, in $\textbf{DO(Ab)}$ and then we use the theory of left random walks on the minimal ideal of such monoids to find the eigenvalues. Moreover, in order to give a combinatorial description of the eigenvalues in the more general case, we relate the eigenvalues when the restrictions on the book arrangements change only by allowing for one additional transposition of two fixed books.


title: Magnetic states of iron-based two-leg ladder tellurides

abstract: The recent discovery of superconductivity at high pressure in the two-leg ladder compounds BaFe$_2X_3$ ($X$=S, Se) started the novel field of quasi-one-dimensional iron-based superconductors. In this publication, we use Density Functional Theory (DFT) to predict that the previously barely explored ladder compound RbFe$_2$Te$_3$ should be magnetic with a CX-type arrangement involving ferromagnetic rungs and antiferromagnetic legs, at the realistic density of $n=5.5$ electrons per iron. The magnetic state similarity with BaFe$_2$S$_3$ suggests that RbFe$_2$Te$_3$ could also become superconducting under pressure. Moreover, at $n=6.0$ our DFT phase diagrams (with and without lattice tetramerization) reveal that the stable magnetic states could be either a 2$\times$2 magnetic Block-type, as for $X$=Se, or a previously never observed before CY-type state, with ferromagnetic legs and antiferromagnetic rungs. In the Te-based studies, electrons are more localized than in S, implying that the degree of electronic correlation is enhanced for the Te case.


title: Hyperbolic distance and membership of conformal maps in the Hardy space

abstract: Let $\psi$ be a conformal map of the unit disk $\mathbb{D}$ onto an unbounded domain and, for $\alpha >0$, let ${F_\alpha }=\left\{ {z \in \mathbb{D}:\left| {\psi \left( z \right)} \right| = \alpha } \right\}$. If ${H^p}\left( \mathbb{D} \right)$ denotes the classical Hardy space and $d_\mathbb{D} {\left( {0,{F_\alpha }} \right)}$ denotes the hyperbolic distance between $0$ and $F_\alpha$ in $\mathbb{D}$, we prove that $\psi$ belongs to ${H^p}\left( \mathbb{D} \right)$ if and only if \[\int_0^{ + \infty } {{\alpha ^{p - 1}}{e^{ - {d_{\mathbb{D}}}\left( {0,{F_\alpha }} \right)}}d\alpha } < + \infty .\] This result answers a question posed by P. Poggi-Corradini.


title: Turbulence in a stably stratified fluid: Onset of global anisotropy as a function of the Richardson number

abstract: It is necessary to introduce an external forcing to induce turbulence in a stably stratified fluid. The Heisenberg eddy viscosity technique should in this case suffice to calculate a space-time averaged quantity like the global anisotropy parameter as a function of the Richardson number. We find analytically that the anisotropy increases linearly with the Richardson number, with a small quadratic correction. A numerical simulation of the complete equations shows the linear behaviour.


title: Laser-Ion Lens and Accelerator

abstract: Generation of highly collimated monoenergetic relativistic ion beams is one of the most challenging and promising areas in ultra-intense laser-matter interactions because of the numerous scientific and technological applications that require such beams. We address this challenge by introducing the concept of laser-ion lensing and acceleration (LILA). Using a simple analogy with a gradient-index lens, we demonstrate that simultaneous focusing and acceleration of ions is accomplished by illuminating a shaped solid-density target by an intense laser pulse at ~10^22 W/cm^2 intensity, and using radiation pressure of the laser to deform/focus the target into a cubic micron spot. We show that the LILA process can be approximated using a simple deformable mirror model, and then validate it using three-dimensional particle-in-cell simulations of a two-species plasma target comprised of electrons and ions. Extensive scans of the laser and target parameters identify the stable propagation regime where the Rayleigh-Taylor (RT)-like instability is suppressed. Stable focusing are found at different laser powers (from few- to multi-petawatt). Focused ion beams with the focused density of order 10^23 cm^-3, energies in access of 750MeV, and energy density up to 2*10^13 J/cm^3 at the focal point are predicted for future multi-petawatt laser systems.


title: Compositional specification in rewriting logic

abstract: Rewriting logic is naturally concurrent: several subterms of the state term can be rewritten simultaneously. But state terms are global, which makes compositionality difficult to achieve. Compositionality here means being able to decompose a complex system into its functional components and code each as an isolated and encapsulated system. Our goal is to help bringing compositionality to system specification in rewriting logic. The base of our proposal is the operation that we call synchronous composition. We discuss the motivations and implications of our proposal, formalize it for rewriting logic and also for transition structures, to be used as semantics, and show the power of our approach with some examples. This paper is under consideration in Theory and Practice of Logic Programming (TPLP).


title: bcd mRNA active transport: 3D agent-based modeling

abstract: The article presents a 3D agent-based model to simulate the dynamics of redistribution of bicoid mRNA. The model is developed on the basis of the Skeledyne software [Odell and Foe, 2008]. The model reproduces active transport by molecular motors over an undirected network of short microtubules. The model is intended to simulate the data presented in [Spirov et al., 2009; Little et al., 2011; Fahmy et al., 2014; Ali-Murthy and Kornberg, 2016; Cai, Spirov, Akber et al., 2017].


title: Encoders Help You Disambiguate Word Senses in Neural Machine Translation

abstract: Neural machine translation (NMT) has achieved new state-of-the-art performance in translating ambiguous words. However, it is still unclear which component dominates the process of disambiguation. In this paper, we explore the ability of NMT encoders and decoders to disambiguate word senses by evaluating hidden states and investigating the distributions of self-attention. We train a classifier to predict whether a translation is correct given the representation of an ambiguous noun. We find that encoder hidden states outperform word embeddings significantly which indicates that encoders adequately encode relevant information for disambiguation into hidden states. Decoders could provide further relevant information for disambiguation. Moreover, the attention weights and attention entropy show that self-attention can detect ambiguous nouns and distribute more attention to the context. Note that this is a revised version. The content related to decoder hidden states has been updated.


title: Mapping class group and global Torelli theorem for hyperkahler manifolds: an erratum

abstract: A mapping class group of an oriented manifold is a quotient of its diffeomorphism group by the isotopies. In the published version of "Mapping class group and a global Torelli theorem for hyperkahler manifolds" I made an error based on a wrong quotation of Dennis Sullivan's famous paper "Infinitesimal computations in topology". I claimed that the natural homomorphism from the mapping class group to the group of automorphims of cohomology of a simply connected Kahler manifold has finite kernel. In a recent preprint arXiv:1907.05693, Matthias Kreck and Yang Su produced counterexamples to this statement. Here I correct this error and other related errors, observing that the results of "Mapping class group and a global Torelli theorem" remain true after an appropriate change of terminology.


title: Chaotic dynamics in a single excitation subspace: deviations from the ETH via long time correlations

abstract: In this work we study a scenario where dynamics is restricted to a single excitation manifold, for particular physical observables with support in the manifold, which we label a `correlated quench'. We ask how such dynamics may in general differ from predictions of the eigenstate thermalization hypothesis (ETH). We show that if thermalization occurs, it will not fulfil other key predictions of the ETH; instead following differing generic behaviours. We show this by analysing long-time fluctuations, two-point correlation functions, and the out-of-time-ordered correlator; analytically detailing deviation from ETH predictions. We derive instead an ETH-like relation, with non-random off-diagonals, for matrix elements of observables, with correlations that alter long-time behaviour and constrain dynamics. Further, we analytically compute the time-dependence of the decay to equilibrium, showing that it is proportional to the survival probability of the initial state. We finally note that the conditions studied are common in many physical scenarios, such as under the rotating-wave approximation. We show numerically that predictions are robust to perturbations that break this approximation.


title: Spectroscopic characterization of aluminum monofluoride with relevance to laser cooling and trapping

abstract: Here we report on spectroscopic measurements of the aluminum monofluoride molecule (AlF) that are relevant to laser cooling and trapping experiments. We measure the detailed energy level structure of AlF in the X$^1\Sigma^+$ electronic ground state, in the A$^1\Pi$ state, and in the metastable a$^3\Pi$ state. We determine the rotational, vibrational and electronic branching ratios from the A$^1\Pi$ state. We also study how the rotational levels split and shift in external electric and magnetic fields. We find that AlF is an excellent candidate for laser cooling on any Q-line of the A$^1\Pi$ - X$^1\Sigma^+$ transition and for trapping at high densities.


title: Transformer Dissection: A Unified Understanding of Transformer's Attention via the Lens of Kernel

abstract: Transformer is a powerful architecture that achieves superior performance on various sequence learning tasks, including neural machine translation, language understanding, and sequence prediction. At the core of the Transformer is the attention mechanism, which concurrently processes all inputs in the streams. In this paper, we present a new formulation of attention via the lens of the kernel. To be more precise, we realize that the attention can be seen as applying kernel smoother over the inputs with the kernel scores being the similarities between inputs. This new formulation gives us a better way to understand individual components of the Transformer's attention, such as the better way to integrate the positional embedding. Another important advantage of our kernel-based formulation is that it paves the way to a larger space of composing Transformer's attention. As an example, we propose a new variant of Transformer's attention which models the input as a product of symmetric kernels. This approach achieves competitive performance to the current state of the art model with less computation. In our experiments, we empirically study different kernel construction strategies on two widely used tasks: neural machine translation and sequence prediction.


title: Spectral analysis of 2D outlier layout

abstract: Thompson's partition of a cyclic subnormal operator into normal and completely non-normal components is combined with a non-commutative calculus for hyponormal operators for separating outliers from the cloud, in rather general point distributions in the plane. The main result provides exact transformation formulas from the power moments of the prescribed point distribution into the moments of the uniform mass carried by the cloud. The proposed algorithm solely depends on the Hessenberg matrix associated to the original data. The robustness of the algorithm is reflected by the insensitivity of the output under trace class, or by a theorem of Voiculescu, under certain Hilbert-Schmidt class, additive perturbations of the Hessenberg matrix.


title: A transference principle for simultaneous rational approximation

abstract: We establish a general transference principle for the irrationality measure of points with $\mathbb{Q}$-linearly independent coordinates in $\mathbb{R}^{n+1}$, for any given integer $n\geq 1$. On this basis, we recover an important inequality of Marnat and Moshchevitin which describes the spectrum of the pairs of ordinary and uniform exponents of rational approximation to those points. For points whose pair of exponents are close to the boundary in the sense that they almost realize the equality, we provide additional information about the corresponding sequence of best rational approximations. We conclude with an application.


title: Implicitly Modeling Frequency Control within Power Flow

abstract: In this paper, we extend a circuit-based, current-voltage power flow formulation to include frequency deviations and implicitly model generator primary and secondary control actions as a function of their temporal dependence. This includes extending the slack bus generator model(s) to better represents its true behavior with frequency controls. These implicit models obviate the need for outer iteration loops and improve the robustness of the simulation convergence when frequency deviations are considered. The simulation framework is highly scalable and is demonstrated on 85k+ bus systems.


title: Analyzing Cyber-Physical Systems from the Perspective of Artificial Intelligence

abstract: Principles of modern cyber-physical system (CPS) analysis are based on analytical methods that depend on whether safety or liveness requirements are considered. Complexity is abstracted through different techniques, ranging from stochastic modelling to contracts. However, both distributed heuristics and Artificial Intelligence (AI)-based approaches as well as the user perspective or unpredictable effects, such as accidents or the weather, introduce enough uncertainty to warrant reinforcement-learning-based approaches. This paper compares traditional approaches in the domain of CPS modelling and analysis with the AI researcher perspective to exploring unknown complex systems.


title: Towards Marrying Files to Objects

abstract: To deal with the constant growth of unstructured data, vendors have deployed scalable, resilient, and cost effective object-based storage systems built on RESTful web services. However, many applications rely on richer file-system APIs and semantics, and cannot benefit from object stores. This leads to storage sprawl, as object stores are deployed alongside file systems and data is accessed and managed across both systems in an ad-hoc fashion. We believe there is a critical need for a transparent merger of objects and files, consolidating data into a single platform. Such a merger would extend the capabilities of both object and file stores while preserving existing semantics and interfaces. In this position paper, we examine the viability of unifying object stores and file systems, and the various design tradeoffs that exist. Then, using our own implementation of an object-based, POSIX-complete file system, we experimentally demonstrate several critical design considerations.


title: AccD: A Compiler-based Framework for Accelerating Distance-related Algorithms on CPU-FPGA Platforms

abstract: As a promising solution to boost the performance of distance-related algorithms (e.g., K-means and KNN), FPGA-based acceleration attracts lots of attention, but also comes with numerous challenges. In this work, we propose AccD, a compiler-based framework for accelerating distance-related algorithms on CPU-FPGA platforms. Specifically, AccD provides a Domain-specific Language to unify distance-related algorithms effectively, and an optimizing compiler to reconcile the benefits from both the algorithmic optimization on the CPU and the hardware acceleration on the FPGA. The output of AccD is a high-performance and power-efficient design that can be easily synthesized and deployed on mainstream CPU-FPGA platforms. Intensive experiments show that AccD designs achieve 31.42x speedup and 99.63x better energy efficiency on average over standard CPU-based implementations.


title: Latent Part-of-Speech Sequences for Neural Machine Translation

abstract: Learning target side syntactic structure has been shown to improve Neural Machine Translation (NMT). However, incorporating syntax through latent variables introduces additional complexity in inference, as the models need to marginalize over the latent syntactic structures. To avoid this, models often resort to greedy search which only allows them to explore a limited portion of the latent space. In this work, we introduce a new latent variable model, LaSyn, that captures the co-dependence between syntax and semantics, while allowing for effective and efficient inference over the latent space. LaSyn decouples direct dependence between successive latent variables, which allows its decoder to exhaustively search through the latent syntactic choices, while keeping decoding speed proportional to the size of the latent variable vocabulary. We implement LaSyn by modifying a transformer-based NMT system and design a neural expectation maximization algorithm that we regularize with part-of-speech information as the latent sequences. Evaluations on four different MT tasks show that incorporating target side syntax with LaSyn improves both translation quality, and also provides an opportunity to improve diversity.


title: Some aspects of probability distribution for percolation of several fluids on the hexagonal lattice

abstract: We study random coloring of the hexagons of a honeycomb lattice into $2^{n-1}$ colors (that is the standard Potts model at infinite temperature). It may be considered as a generalization of percolation to $n$ pairwise independent, but mutually dependent liquids. We introduce a new observable that can be interpreted as the fraction of percolated liquids. An analogue of the central limit theorem for this observable is proved and several conjectures based on numeric experiments are proposed.


title: Edge tracking in spatially developing boundary layer flows

abstract: Recent progress in understanding subcritical transition to turbulence is based on the concept of the edge, the manifold separating the basins of attraction of the laminar and the turbulent state. Originally developed in numerical studies of parallel shear flows with a linearly stable base flow, this concept is adapted here to the case of a spatially developing Blasius boundary layer. Longer time horizons fundamentally change the nature of the problem due to the loss of stability of the base flow due to Tollmien--Schlichting (TS) waves. We demonstrate, using a moving box technique, that efficient long-time tracking of edge trajectories is possible for the parameter range relevant to bypass transition, even if the asymptotic state itself remains out of reach. The flow along the edge trajectory features streak switching observed for the first time in the Blasius boundary layer. At long enough times, TS waves co-exist with the coherent structure characteristic of edge trajectories. In this situation we suggest a reinterpretation of the edge as a manifold dividing the state space between the two main types of boundary layer transition, i.e. bypass transition and classical transition.


title: Exploring the Foundations of the Universe with Space Tests of the Equivalence Principle

abstract: We present the scientific motivation for future space tests of the equivalence principle, and in particular the universality of free fall, at the $10^{-17}$ level or better. Two possible mission scenarios, one based on quantum technologies, the other on electrostatic accelerometers, that could reach that goal are briefly discussed.


title: Search for exotic states in photoproduction at GlueX

abstract: Quantum Chromodynamics (QCD) is the theory that describes how hadrons are built from quarks and gluons via the strong interaction. Many predictions have been experimentally confirmed, but others remain under experimental investigation. Of particular interest is how gluonic excitations give rise to states with constituent glue. One class of such states are hybrid mesons that are predicted by theoretical models and Lattice QCD calculations. Searching for and understanding the nature of these states is a primary physics goal of the GlueX experiment at the CEBAF accelerator at Jefferson Lab in the US. We will give an overview of the experiment, and present the status of the search for a hybrid meson candidate, Y (2175). This work is supported by HGS-HIRe.


title: Answering Conversational Questions on Structured Data without Logical Forms

abstract: We present a novel approach to answering sequential questions based on structured objects such as knowledge bases or tables without using a logical form as an intermediate representation. We encode tables as graphs using a graph neural network model based on the Transformer architecture. The answers are then selected from the encoded graph using a pointer network. This model is appropriate for processing conversations around structured data, where the attention mechanism that selects the answers to a question can also be used to resolve conversational references. We demonstrate the validity of this approach with competitive results on the Sequential Question Answering (SQA) task (Iyyer et al., 2017).


title: Fast Algorithms for Intimate-Core Group Search in Weighted Graphs

abstract: Community search that finds query-dependent communities has been studied on various kinds of graphs. As one instance of community search, intimate-core group search over a weighted graph is to find a connected $k$-core containing all query nodes with the smallest group weight. However, existing state-of-the-art methods start from the maximal $k$-core to refine an answer, which is practically inefficient for large networks. In this paper, we develop an efficient framework, called local exploration k-core search (LEKS), to find intimate-core groups in graphs. We propose a small-weighted spanning tree to connect query nodes, and then expand the tree level by level to a connected $k$-core, which is finally refined as an intimate-core group. We also design a protection mechanism for critical nodes to avoid the collapsed $k$-core. Extensive experiments on real-life networks validate the effectiveness and efficiency of our methods.


title: FisheyeMODNet: Moving Object detection on Surround-view Cameras for Autonomous Driving

abstract: Moving Object Detection (MOD) is an important task for achieving robust autonomous driving. An autonomous vehicle has to estimate collision risk with other interacting objects in the environment and calculate an optional trajectory. Collision risk is typically higher for moving objects than static ones due to the need to estimate the future states and poses of the objects for decision making. This is particularly important for near-range objects around the vehicle which are typically detected by a fisheye surround-view system that captures a 360{\deg} view of the scene. In this work, we propose a CNN architecture for moving object detection using fisheye images that were captured in autonomous driving environment. As motion geometry is highly non-linear and unique for fisheye cameras, we will make an improved version of the current dataset public to encourage further research. To target embedded deployment, we design a lightweight encoder sharing weights across sequential images. The proposed network runs at 15 fps on a 1 teraflops automotive embedded system at accuracy of 40% IoU and 69.5% mIoU.


title: Linguistic Versus Latent Relations for Modeling Coherent Flow in Paragraphs

abstract: Generating a long, coherent text such as a paragraph requires a high-level control of different levels of relations between sentences (e.g., tense, coreference). We call such a logical connection between sentences as a (paragraph) flow. In order to produce a coherent flow of text, we explore two forms of intersentential relations in a paragraph: one is a human-created linguistical relation that forms a structure (e.g., discourse tree) and the other is a relation from latent representation learned from the sentences themselves. Our two proposed models incorporate each form of relations into document-level language models: the former is a supervised model that jointly learns a language model as well as discourse relation prediction, and the latter is an unsupervised model that is hierarchically conditioned by a recurrent neural network (RNN) over the latent information. Our proposed models with both forms of relations outperform the baselines in partially conditioned paragraph generation task. Our codes and data are publicly available.


title: Requirements Engineering Challenges in Building AI-Based Complex Systems

abstract: This paper identifies and tackles the challenges of the requirements engineering discipline when applied to development of AI-based complex systems. Due to their complex behaviour, there is an immanent need for a tailored development process for such systems. However, there is still no widely used and specifically tailored process in place to effectively and efficiently deal with requirements suitable for specifying a software solution that uses machine learning. By analysing the related work from software engineering and artificial intelligence fields, potential contributions have been recognized from agent-based software engineering and goal-oriented requirements engineering research, as well as examples from large product development companies. The challenges have been discussed, with proposals given how and when to tackle them. RE4AI taxonomy has also been outlined, to inform the tailoring of development process.


title: Central exclusive production at the LHC: Remarks by the organisers on an EMMI workshop

abstract: On February 6, 2019, an EMMI workshop on 'Central exclusive production at the LHC' was held at Heidelberg. Here we make some remarks on the topics presented in the talks and the discussions of this meeting. We hope that this will be useful for further studies of central exclusive reactions.


title: Value distribution of elementary symmetric polynomials and its perturbations over finite fields

abstract: In this article we establish the asymptotic behavior of generating functions related to the exponential sum over finite fields of elementary symmetric functions and their perturbations. This asymptotic behavior allows us to calculate the probability generating function of the probability that the the elementary symmetric polynomial of degree $k$ and its perturbations returns $\beta \in \mathbb{F}_q$ where $\mathbb{F}_q$ represents the field of $q$ elements. Our study extends many of the results known for perturbations over the binary field to any finite field. In particular, we establish when a particular perturbation is asymptotically balanced over a prime field and provide a construction to find such perturbations over any finite field.


title: Testing the Schwarzschild metric in a strong field region with the Event Horizon Telescope

abstract: Testing gravity theory in the strong field region becomes a reality due to the observations of gravitational waves and black hole shadows. In this paper, we discuss how to constrain the possible deviations of the classical general relativity with the image of M87* observed by the Event Horizon Telescope. More precisely, we want to know where is the event horizon for a non-rotating black hole. General relativity predicts the horizon is located at the Schwarzschild radius $r_\textrm{s}$, while other gravity theories may give different predictions. We propose a parameterized Schwarzschild metric (PSM) in which the horizon is located at $r=nr_\textrm{s}$, where $n$ is a real free parameter, and prove general relativity with nonlinear electrodynamics allows $n\neq1$. In the weak field region, the PSM is equivalent to the Schwarzschild metric regardless of the value of $n$. In the strong field region, the difference between the PSM and Schwarzschild metric would leave an imprint on the shadow image. We present detailed calculations and discussions on the black hole shadows with large background light source and accretion disk in the PSM framework. More importantly, we point out that $n\approx2$ can be used to explain why the black hole mass measured by the shadow is a factor of about two larger than the previous gas dynamics measurements. If this explanation is confirmed to be right, then this phenomenon, together with the late-time cosmological acceleration, will be very important to test gravity theories.


title: Leggett collective excitations in a two-band Fermi superfluid at finite temperatures

abstract: The Leggett collective excitations for a two-band Fermi gas with s-wave pairing and Josephson interband coupling in the BCS-BEC crossover at finite temperatures are investigated within the Gaussian pair fluctuation approach. Eigenfrequencies and damping factors for Leggett modes are determined in a nonperturbative way, using the analytic continuation of the fluctuation propagator through a branch cut in the complex frequency plane, as in Phys. Rev. Lett. 122, 093403 (2019). The treatment is performed beyond the low-energy expansion, which is necessary when the collective excitation energy reaches the pair-breaking continuum edge. The results are applied in particular to cold atomic gases at the orbital Feshbach resonance and in a regime far from BEC, which can be relevant for future experiments.


title: Statistics, plumes and azimuthally traveling waves in ultimate Taylor-Couette turbulent vortices

abstract: In this paper, we experimentally study the influence of large-scale Taylor rolls on the small-scale statistics and the flow organization in fully turbulent Taylor-Couette flow {for Reynolds numbers up to $\text{Re}_S=3\times 10^5$}. The velocity field in the gap confined by coaxial and independently rotating cylinders at a radius ratio of $\eta=0.714$ is measured using planar {particle image velocimetry} in horizontal planes at different cylinder heights. Flow regions with and without prominent Taylor vortices are compared. We show that the local angular momentum transport (expressed in terms of a Nusselt number) mainly takes place in the regions of the vortex in- and outflow, where the radial and azimuthal velocity components are highly correlated. The efficient momentum transfer is reflected in intermittent bursts, which becomes visible in the exponential tails of the probability density functions of the local Nusselt number. In addition, by calculating azimuthal energy co-spectra, small-scale plumes are revealed to be the underlying structure of these bursts. These flow features are very similar to the one observed in Rayleigh-B\'{e}nard convection, which emphasizes the analogies of these both systems. By performing a {complex proper orthogonal decomposition}, we remarkably detect azimuthally traveling waves superimposed on the turbulent Taylor vortices, not only in the classical but also in the ultimate regime. This very large-scale flow pattern{,} which is most pronounced at the axial location of the vortex center, is similar to the well-known wavy Taylor vortex flow{,} which has comparable wave speeds, but much larger azimuthal wave numbers.


title: Delay-Optimal and Energy-Efficient Communications with Markovian Arrivals

abstract: In this paper, delay-optimal and energy-efficient communication is studied for a single link under Markov random arrivals. We present the optimal tradeoff between delay and power over Additive White Gaussian Noise (AWGN) channels and extend the optimal tradeoff for block fading channels. Under time-correlated traffic arrivals, we develop a cross-layer solution that jointly considers the arrival rate, the queue length, and the channel state in order to minimize the average delay subject to a power constraint. For this purpose, we formulate the average delay and power problem as a Constrained Markov Decision Process (CMDP). Based on steady-state analysis for the CMDP, a Linear Programming (LP) problem is formulated to obtain the optimal delay-power tradeoff. We further show the optimal transmission strategy using a Lagrangian relaxation technique. Specifically, the optimal adaptive transmission is shown to have a threshold type of structure, where the thresholds on the queue length are presented for different transmission rates under the given arrival rates and channel states. By exploiting the result, we develop a threshold-based algorithm to efficiently obtain the optimal delay-power tradeoff. We show how a trajectory-sampling version of the proposed algorithm can be developed without the prior need of arrival statistics.


title: Terahertz wave generation using a soliton microcomb

abstract: The Terahertz or millimeter wave frequency band (300 GHz - 3 THz) is spectrally located between microwaves and infrared light and has attracted significant interest for applications in broadband wireless communications, space-borne radiometers for Earth remote sensing, astrophysics, and imaging. In particular optically generated THz waves are of high interest for low-noise signal generation. In particular optically generated THz waves are of high interest for low-noise signal generation. Here, we propose and demonstrate stabilized terahertz wave generation using a microresonator-based frequency comb (microcomb). A unitravelling-carrier photodiode (UTC-PD) converts low-noise optical soliton pulses from the microcomb to a terahertz wave at the soliton's repetition rate (331 GHz). With a free-running microcomb, the Allan deviation of the Terahertz signal is 4.5*10^-9 at 1 s measurement time with a phase noise of -72 dBc/Hz (-118 dBc/Hz) at 10 kHz (10 MHz) offset frequency. By locking the repetition rate to an in-house hydrogen maser, in-loop fractional frequency stabilities of 9.6*10^-15 and 1.9*10^-17 are obtained at averaging times of 1 s and 2000 s respectively, limited by the maser reference signal. Moreover, the terahertz signal is successfully used to perform a proof-of-principle demonstration of terahertz imaging of peanuts. Combining the monolithically integrated UTC-PD with an on-chip microcomb, the demonstrated technique could provide a route towards highly stable continuous terahertz wave generation in chip-scale packages for out-of-the-lab applications. In particular, such systems would be useful as compact tools for high-capacity wireless communication, spectroscopy, imaging, remote sensing, and astrophysical applications.


title: Dense Dilated Convolutions Merging Network for Semantic Mapping of Remote Sensing Images

abstract: We propose a network for semantic mapping called the Dense Dilated Convolutions Merging Network (DDCM-Net) to provide a deep learning approach that can recognize multi-scale and complex shaped objects with similar color and textures, such as buildings, surfaces/roads, and trees in very high resolution remote sensing images. The proposed DDCM-Net consists of dense dilated convolutions merged with varying dilation rates. This can effectively enlarge the kernels' receptive fields, and, more importantly, obtain fused local and global context information to promote surrounding discriminative capability. We demonstrate the effectiveness of the proposed DDCM-Net on the publicly available ISPRS Potsdam dataset and achieve a performance of 92.3% F1-score and 86.0% mean intersection over union accuracy by only using the RGB bands, without any post-processing. We also show results on the ISPRS Vaihingen dataset, where the DDCM-Net trained with IRRG bands, also obtained better mapping accuracy (89.8% F1-score) than previous state-of-the-art approaches.


title: Nobeyama 45 m Mapping Observations toward Orion A. II. Classification of cloud structures and variation of the $^{13}$CO/C$^{18}$O abundance ratio due to far-UV Radiation

abstract: We present results of the classification of cloud structures toward the Orion A Giant Molecular Cloud based on wide-field $^{12}$CO ($J$ = 1--0), $^{13}$CO ($J$ = 1-0), and C$^{18}$O ($J$ = 1-0) observations using the Nobeyama 45 m radio telescope. We identified 78 clouds toward Orion A by applying Spectral Clustering for Interstellar Molecular Emission Segmentation (SCIMES) to the data cube of the column density of $^{13}$CO. Well-known subregions such as OMC-1, OMC-2/3, OMC-4, OMC-5, NGC 1977, L1641-N, and the dark lane south filament (DLSF) are naturally identified as distinct structures in Orion A. These clouds can also be classified into three groups: the integral-shaped filament, the southern regions of Orion A, and the other filamentary structures in the outer parts of Orion A and the DLSF. These groups show differences in scaling relations between the physical properties of the clouds. We derived the abundance ratio between $^{13}$CO and C$^{18}$O, $X_{^{13}\mathrm{CO}}/X_{\mathrm{C}^{18}\mathrm{O}}$, which ranges from 5.6 to 17.4 on median over the individual clouds. The significant variation of $X_{^{13}\mathrm{CO}}/X_{\mathrm{C}^{18}\mathrm{O}}$ is also seen within a cloud in both of the spatial and velocity directions and the ratio tends to be high at the edge of the cloud. The values of $X_{^{13}\mathrm{CO}}/X_{\mathrm{C}^{18}\mathrm{O}}$ decrease from 17 to 10 with the median of the column densities of the clouds at the column density of $N_{\mathrm{C^{18}O}} \gtrsim 1 \times 10^{15}$ cm$^{-2}$ or visual extinction of $A_V \gtrsim 3$ mag under the strong far-ultraviolet (FUV) environment of $G_0 > 10^{3}$, whereas it is almost independent of the column density in the weak FUV radiation field. These results are explained if the selective photodissociation of C$^{18}$O is enhanced under a strong FUV environment and it is suppressed in the dense part of the clouds.


title: Optimal Legislative County Clustering in North Carolina

abstract: North Carolina's constitution requires that state legislative districts should not split counties. However, counties must be split to comply with the "one person, one vote" mandate of the U.S. Supreme Court. Given that counties must be split, the North Carolina legislature and courts have provided guidelines that seek to reduce counties split across districts while also complying with the "one person, one vote" criteria. Under these guidelines, the counties are separated into clusters. The primary goal of this work is to develop, present, and publicly release an algorithm to optimally cluster counties according to the guidelines set by the court in 2015. We use this tool to investigate the optimality and uniqueness of the enacted clusters under the 2017 redistricting process. We verify that the enacted clusters are optimal, but find other optimal choices. We emphasize that the tool we provide lists \textit{all} possible optimal county clusterings. We also explore the stability of clustering under changing statewide populations and project what the county clusters may look like in the next redistricting cycle beginning in 2020/2021.


title: The normality and sum of normalities of trees

abstract: The eccentricity of a vertex $v$ in a graph $G$ is the maximum distance from $v$ to any other vertex. The vertices whose eccentricity are equal to the diameter (the maximum eccentricity) of $G$ are called peripheral vertices. In trees the eccentricity at $v$ can always be achieved by the distance from $v$ to a peripheral vertex. From this observation we are motivated to introduce normality of a vertex $v$ as the minimum distance from $v$ to any peripheral vertex. We consider the properties of the normality as well as the middle part of a tree with respect to this concept. Various related observations are discussed and compared with those related to the eccentricity. Then, analogous to the sum of eccentricities we consider the sum of normalities. After briefly discussing the extremal problems in general graphs we focus on trees and trees under various constraints. As opposed to the path and star in numerous extremal problems, we present several interesting and unexpected extremal structures. Lastly we consider the difference between eccentricity and normality, and the sum of these differences. We also introduce some unsolved problems in the context.


title: Degenerate hypergeometric functions and degenerate hypergeometric numbers of order p

abstract: In this paper, we introduce degenertae generalized hypergeometric functions and study degenerate hypergeometric numbers of order p. These numbers involving of lambda-binomial coefficients and lambda-falling sequence, and can be represented by means of the degenerate generalized hypergeometric functions. we will derive some explicit expressions and combinatorial identities for those numbers. We also consider several related special numbers like lambda-hypergeometric numbers of order p and Apostol type lambda-hypergeometric numbers of order p, of which the latter reduce in a limiting case to the generalized p-th order Franel numbers.


title: Discrete scattering by two staggered semi-infinite defects: reduction of matrix Wiener-Hopf problem

abstract: As an extension of the discrete Sommerfeld problems on lattices, the scattering of a time harmonic wave is considered on an infinite square lattice when there exists a pair of semi-infinite cracks or rigid constraints. Due to the presence of stagger, also called offset, in the alignment of the defect edges the asymmetry in the problem leads to a matrix Wiener-Hopf kernel that cannot be reduced to scalar Wiener-Hopf in any known way. In the corresponding continuum model the same problem is a well known formidable one which possesses certain special structure with exponentially growing elements on the diagonal of kernel. From this viewpoint the present paper tackles a discrete analogue of the same by reformulating the Wiener-Hopf problem and reducing it to a finite set of linear algebraic equations; the coefficients of which can be found by an application of the scalar Wiener-Hopf factorization. The considered discrete paradigm involving lattice waves is relevant for modern applications of mechanics and physics at small length scales.


title: Seasonal payoff variations and the evolution of cooperation in social dilemmas

abstract: Varying environmental conditions affect relations between interacting individuals in social dilemmas, thus affecting also the evolution of cooperation. Oftentimes these environmental variations are seasonal and can therefore be mathematically described as periodic changes. Accordingly, we here study how periodic shifts between different manifestations of social dilemmas affect cooperation. We observe a non-trivial interplay between the inherent spatiotemporal dynamics that characterizes the spreading of cooperation in a particular social dilemma type and the frequency of payoff changes. In particular, we show that periodic changes between two available games with global ordering best be fast, while periodic changes between global and local ordering games best be slow for cooperation to thrive. We also show that the frequency of periodic changes between two local ordering social dilemmas is irrelevant, because then the process is fast and simply the average cooperation level of the two is returned. The structure of the interaction network plays an important role too in that lattices promote local ordering, whilst random graphs hinder the formation of compact cooperative clusters. Conversely, for local ordering the regular structure of the interaction network is only marginally relevant as role-separating checkerboard patterns do not rely on long-range order.


title: Disk Formation in Magnetized Dense Cores with Turbulence and Ambipolar Diffusion

abstract: Disks are essential to the formation of both stars and planets, but how they form in magnetized molecular cloud cores remains debated. This work focuses on how the disk formation is affected by turbulence and ambipolar diffusion (AD), both separately and in combination, with an emphasis on the protostellar mass accretion phase of star formation. We find that a relatively strong, sonic turbulence on the core scale strongly warps but does not completely disrupt the well-known magnetically-induced flattened pseudodisk that dominates the inner protostellar accretion flow in the laminar case, in agreement with previous work. The turbulence enables the formation of a relatively large disk at early times with or without ambipolar diffusion, but such a disk remains strongly magnetized and does not persist to the end of our simulation unless a relatively strong ambipolar diffusion is also present. The AD-enabled disks in laminar simulations tend to fragment gravitationally. The disk fragmentation is suppressed by initial turbulence. The ambipolar diffusion facilitates the disk formation and survival by reducing the field strength in the circumstellar region through magnetic flux redistribution and by making the field lines there less pinched azimuthally, especially at late times. We conclude that turbulence and ambipolar diffusion complement each other in promoting disk formation. The disks formed in our simulations inherit a rather strong magnetic field from its parental core, with a typical plasma-$\beta$ of order a few tens or smaller, which is 2-3 orders of magnitude lower than the values commonly adopted in MHD simulations of protoplanetary disks. To resolve this potential tension, longer-term simulations of disk formation and evolution with increasingly more realistic physics are needed.


title: ArborX: A Performance Portable Geometric Search Library

abstract: Searching for geometric objects that are close in space is a fundamental component of many applications. The performance of search algorithms comes to the forefront as the size of a problem increases both in terms of total object count as well as in the total number of search queries performed. Scientific applications requiring modern leadership-class supercomputers also pose an additional requirement of performance portability, i.e. being able to efficiently utilize a variety of hardware architectures. In this paper, we introduce a new open-source C++ search library, ArborX, which we have designed for modern supercomputing architectures. We examine scalable search algorithms with a focus on performance, including a highly efficient parallel bounding volume hierarchy implementation, and propose a flexible interface making it easy to integrate with existing applications. We demonstrate the performance portability of ArborX on multi-core CPUs and GPUs, and compare it to the state-of-the-art libraries such as Boost.Geometry.Index and nanoflann.


title: On the Ethereum Blockchain Structure: a Complex Networks Theory Perspective

abstract: In this paper, we analyze the Ethereum blockchain using the complex networks modeling framework. Accounts acting on the blockchain are represented as nodes, while the interactions among these accounts, recorded on the blockchain, are treated as links in the network. Using this representation, it is possible to derive interesting mathematical characteristics that improve the understanding of the actual interactions happening in the blockchain. Not only, by looking at the history of the blockchain, it is possible to verify if radical changes in the blockchain evolution happened.


title: High Performance Scalable FPGA Accelerator for Deep Neural Networks

abstract: Low-precision is the first order knob for achieving higher Artificial Intelligence Operations (AI-TOPS). However the algorithmic space for sub-8-bit precision compute is diverse, with disruptive changes happening frequently, making FPGAs a natural choice for Deep Neural Network inference, In this work we present an FPGA-based accelerator for CNN inference acceleration. We use {\it INT-8-2} compute (with {\it 8 bit} activation and {2 bit} weights) which is recently showing promise in the literature, and which no known ASIC, CPU or GPU natively supports today. Using a novel Adaptive Logic Module (ALM) based design, as a departure from traditional DSP based designs, we are able to achieve high performance measurement of 5 AI-TOPS for {\it Arria10} and project a performance of 76 AI-TOPS at 0.7 TOPS/W for {\it Stratix10}. This exceeds known CPU, GPU performance and comes close to best known ASIC (TPU) numbers, while retaining the versatility of the FPGA platform for other applications.


title: StairDag: Cross-DAG Validation For Scalable BFT Consensus

abstract: This paper introduces a new consensus protocol, so-called \emph{\stair}, for fast consensus in DAG-based trustless system. In \stair, we propose a new approach to creating local block DAG, namely \emph{x-DAG} (cross-DAG), on each node. \emph{\stair} protocol is based on our Proof-of-Stake StakeDag framework \cite{stakedag} that distinguishes participants into users and validators by their stake. Both users and validators can create and validate event blocks. Unlike StakeDag's DAG, x-DAG ensures that each new block has to have parent blocks from both Users and Validators to achieve more safety and liveness. Our protocol leverages a pool of validators to expose more validating power to new blocks for faster consensus in a leaderless asynchronous system. Further, our framework allows participants to join as observers / monitors, who can retrieve DAG for post-validation, but do not participate in onchain validation.


title: Agent-based Simulation of Blockchains

abstract: In this paper, we describe LUNES-Blockchain, an agent-based simulator of blockchains that is able to exploit Parallel and Distributed Simulation (PADS) techniques to offer a high level of scalability. To assess the preliminary implementation of our simulator, we provide a simplified modelling of the Bitcoin protocol and we study the effect of a security attack on the consensus protocol in which a set of malicious nodes implements a filtering denial of service (i.e. Sybil Attack). The results confirm the viability of the agent-based modelling of blockchains implemented by means of PADS.


title: The Barker proposal: combining robustness and efficiency in gradient-based MCMC

abstract: There is a tension between robustness and efficiency when designing Markov chain Monte Carlo (MCMC) sampling algorithms. Here we focus on robustness with respect to tuning parameters, showing that more sophisticated algorithms tend to be more sensitive to the choice of step-size parameter and less robust to heterogeneity of the distribution of interest. We characterise this phenomenon by studying the behaviour of spectral gaps as an increasingly poor step-size is chosen for the algorithm. Motivated by these considerations, we propose a novel and simple gradient-based MCMC algorithm, inspired by the classical Barker accept-reject rule, with improved robustness properties. Extensive theoretical results, dealing with robustness to tuning, geometric ergodicity and scaling with dimension, suggest that the novel scheme combines the robustness of simple schemes with the efficiency of gradient-based ones. We show numerically that this type of robustness is particularly beneficial in the context of adaptive MCMC, giving examples where our proposed scheme significantly outperforms state-of-the-art alternatives.


title: Multi-Task Learning with Language Modeling for Question Generation

abstract: This paper explores the task of answer-aware questions generation. Based on the attention-based pointer generator model, we propose to incorporate an auxiliary task of language modeling to help question generation in a hierarchical multi-task learning structure. Our joint-learning model enables the encoder to learn a better representation of the input sequence, which will guide the decoder to generate more coherent and fluent questions. On both SQuAD and MARCO datasets, our multi-task learning model boosts the performance, achieving state-of-the-art results. Moreover, human evaluation further proves the high quality of our generated questions.


title: Field theory for recurrent mobility

abstract: Understanding human mobility is crucial for applications such as forecasting epidemic spreading, planning transport infrastructure and urbanism in general. While, traditionally, mobility information has been collected via surveys, the pervasive adoption of mobile technologies has brought a wealth of (real time) data. The easy access to this information opens the door to study theoretical questions so far unexplored. In this work, we show for a series of worldwide cities that commuting daily flows can be mapped into a well behaved vector field, fulfilling the divergence theorem and which is, besides, irrotational. This property allows us to define a potential for the field that can become a major instrument to determine separate mobility basins and discern contiguous urban areas. We also show that empirical fluxes and potentials can be well reproduced and analytically characterized using the so-called gravity model, while other models based on intervening opportunities have serious difficulties.


title: Convolutions on the complex torus

abstract: ``Quasi-elliptic'' functions can be given a ring structure in two different ways, using either ordinary multiplication, or convolution. The map between the corresponding standard bases is calculated. A related structure has appeared recently in the computation of Feynman integrals. The two approaches are related by a sequence of polynomials closely tied to the Eulerian polynomials.


title: Constraints from a large-N_c analysis on meson-baryon interactions at chiral order Q^3

abstract: We consider the chiral Lagrangian for baryon fields with J^P =\frac{1}{2}^+ or J^P =\frac{3}{2}^+ quantum numbers as constructed from QCD with up, down and strange quarks. The specific class of counter terms that are of chiral order Q^3 and contribute to meson-baryon interactions at the two-body level is constructed. Altogether we find 24 terms. In order to pave the way for realistic applications we establish a set of 22 sum rules for the low-energy constants as they are implied by QCD in the large-N_c limit. Given such a constraint there remain only 2 independent unknown parameters that need to be determined by either Lattice QCD simulations or directly from experimental cross section measurements. At subleading order we arrive at 5 parameters.


title: Unusual geometric percolation of hard nanorods in the uniaxial nematic liquid crystalline phase

abstract: We investigate by means of continuum percolation theory and Monte Carlo simulations how spontaneous uniaxial symmetry breaking affects geometric percolation in dispersions of hard rod-like particles. If the particle aspect ratio exceeds about twenty, percolation in the nematic phase can be lost upon adding particles to the dispersion. This contrasts with percolation in the isotropic phase, where a minimum particle loading is always required to obtain system-spanning clusters. For sufficiently short rods, percolation in the uniaxial nematic mimics that of the isotropic phase, where the addition of particles always aids percolation. For aspect ratios between twenty and infinity, but not including infinity, we find re-entrance behavior: percolation in the low-density nematic may be lost upon increasing the amount of nanofillers but can be re-gained by the addition of even more particles to the suspension. Our simulation results for aspect ratios of 5, 10, 20, 50 and 100 strongly support our theoretical predictions, with almost quantitative agreement. We show that a new closure of the connectedness Ornstein-Zernike equation, inspired by Scaled Particle Theory, is more accurate than the Lee-Parsons closure that effectively describes the impact of many-body direct contacts.


title: Making Communities Show Respect for Order

abstract: In this work we give a community detection algorithm in which the communities both respects the intrinsic order of a directed acyclic graph and also finds similar nodes. We take inspiration from classic similarity measures of bibliometrics, used to assess how similar two publications are, based on their relative citation patterns. We study the algorithm's performance and antichain properties in artificial models and in real networks, such as citation graphs and food webs. We show how well this partitioning algorithm distinguishes and groups together nodes of the same origin (in a citation network, the origin is a topic or a research field). We make the comparison between our partitioning algorithm and standard hierarchical layering tools as well as community detection methods. We show that our algorithm produces different communities from standard layering algorithms.


title: Equivalences between triangle and range query problems

abstract: We define a natural class of range query problems, and prove that all problems within this class have the same time complexity (up to polylogarithmic factors). The equivalence is very general, and even applies to online algorithms. This allows us to obtain new improved algorithms for all of the problems in the class. We then focus on the special case of the problems when the queries are offline and the number of queries is linear. We show that our range query problems are runtime-equivalent (up to polylogarithmic factors) to counting for each edge $e$ in an $m$-edge graph the number of triangles through $e$. This natural triangle problem can be solved using the best known triangle counting algorithm, running in $O(m^{2\omega/(\omega+1)}) \leq O(m^{1.41})$ time. Moreover, if $\omega=2$, the $O(m^{2\omega/(\omega+1)})$ running time is known to be tight (within $m^{o(1)}$ factors) under the 3SUM Hypothesis. In this case, our equivalence settles the complexity of the range query problems. Our problems constitute the first equivalence class with this peculiar running time bound. To better understand the complexity of these problems, we also provide a deeper insight into the family of triangle problems, in particular showing black-box reductions between triangle listing and per-edge triangle detection and counting. As a byproduct of our reductions, we obtain a simple triangle listing algorithm matching the state-of-the-art for all regimes of the number of triangles. We also give some not necessarily tight, but still surprising reductions from variants of matrix products, such as the $(\min,\max)$-product.


title: Learning Rich Representations For Structured Visual Prediction Tasks

abstract: We describe an approach to learning rich representations for images, that enables simple and effective predictors in a range of vision tasks involving spatially structured maps. Our key idea is to map small image elements to feature representations extracted from a sequence of nested regions of increasing spatial extent. These regions are obtained by "zooming out" from the pixel/superpixel all the way to scene-level resolution, and hence we call these zoom-out features. Applied to semantic segmentation and other structured prediction tasks, our approach exploits statistical structure in the image and in the label space without setting up explicit structured prediction mechanisms, and thus avoids complex and expensive inference. Instead image elements are classified by a feedforward multilayer network with skip-layer connections spanning the zoom-out levels. When used in conjunction with modern neural architectures such as ResNet, DenseNet and NASNet (to which it is complementary) our approach achieves competitive accuracy on segmentation benchmarks. In addition, we propose an approach for learning category-level semantic segmentation purely from image-level classification tag. It exploits localization cues that emerge from training a modified zoom-out architecture tailored for classification tasks, to drive a weakly supervised process that automatically labels a sparse, diverse training set of points likely to belong to classes of interest. Finally, we introduce data-driven regularization functions for the supervised training of CNNs. Our innovation takes the form of a regularizer derived by learning an autoencoder over the set of annotations. This approach leverages an improved representation of label space to inform extraction of features from images


title: Dual Attention MobDenseNet(DAMDNet) for Robust 3D Face Alignment

abstract: 3D face alignment of monocular images is a crucial process in the recognition of faces with disguise.3D face reconstruction facilitated by alignment can restore the face structure which is helpful in detcting disguise interference.This paper proposes a dual attention mechanism and an efficient end-to-end 3D face alignment framework.We build a stable network model through Depthwise Separable Convolution, Densely Connected Convolutional and Lightweight Channel Attention Mechanism. In order to enhance the ability of the network model to extract the spatial features of the face region, we adopt Spatial Group-wise Feature enhancement module to improve the representation ability of the network. Different loss functions are applied jointly to constrain the 3D parameters of a 3D Morphable Model (3DMM) and its 3D vertices. We use a variety of data enhancement methods and generate large virtual pose face data sets to solve the data imbalance problem. The experiments on the challenging AFLW,AFLW2000-3D datasets show that our algorithm significantly improves the accuracy of 3D face alignment. Our experiments using the field DFW dataset show that DAMDNet exhibits excellent performance in the 3D alignment and reconstruction of challenging disguised faces.The model parameters and the complexity of the proposed method are also reduced significantly.The code is publicly available at https:// github.com/LeiJiangJNU/DAMDNet


title: Multi-Temporal Aerial Image Registration Using Semantic Features

abstract: A semantic feature extraction method for multitemporal high resolution aerial image registration is proposed in this paper. These features encode properties or information about temporally invariant objects such as roads and help deal with issues such as changing foliage in image registration, which classical handcrafted features are unable to address. These features are extracted from a semantic segmentation network and have shown good robustness and accuracy in registering aerial images across years and seasons in the experiments.


title: Consistency and Finite Sample Behavior of Binary Class Probability Estimation

abstract: In this work we investigate to which extent one can recover class probabilities within the empirical risk minimization (ERM) paradigm. The main aim of our paper is to extend existing results and emphasize the tight relations between empirical risk minimization and class probability estimation. Based on existing literature on excess risk bounds and proper scoring rules, we derive a class probability estimator based on empirical risk minimization. We then derive fairly general conditions under which this estimator will converge, in the L1-norm and in probability, to the true class probabilities. Our main contribution is to present a way to derive finite sample L1-convergence rates of this estimator for different surrogate loss functions. We also study in detail which commonly used loss functions are suitable for this estimation problem and finally discuss the setting of model-misspecification as well as a possible extension to asymmetric loss functions.


title: Reflective Decoding Network for Image Captioning

abstract: State-of-the-art image captioning methods mostly focus on improving visual features, less attention has been paid to utilizing the inherent properties of language to boost captioning performance. In this paper, we show that vocabulary coherence between words and syntactic paradigm of sentences are also important to generate high-quality image caption. Following the conventional encoder-decoder framework, we propose the Reflective Decoding Network (RDN) for image captioning, which enhances both the long-sequence dependency and position perception of words in a caption decoder. Our model learns to collaboratively attend on both visual and textual features and meanwhile perceive each word's relative position in the sentence to maximize the information delivered in the generated caption. We evaluate the effectiveness of our RDN on the COCO image captioning datasets and achieve superior performance over the previous methods. Further experiments reveal that our approach is particularly advantageous for hard cases with complex scenes to describe by captions.


title: The Communication Complexity of Set Intersection and Multiple Equality Testing

abstract: In this paper we explore fundamental problems in randomized communication complexity such as computing Set Intersection on sets of size $k$ and Equality Testing between vectors of length $k$. Sa\u{g}lam and Tardos and Brody et al. showed that for these types of problems, one can achieve optimal communication volume of $O(k)$ bits, with a randomized protocol that takes $O(\log^* k)$ rounds. Aside from rounds and communication volume, there is a \emph{third} parameter of interest, namely the \emph{error probability} $p_{\mathrm{err}}$. It is straightforward to show that protocols for Set Intersection or Equality Testing need to send $\Omega(k + \log p_{\mathrm{err}}^{-1})$ bits. Is it possible to simultaneously achieve optimality in all three parameters, namely $O(k + \log p_{\mathrm{err}}^{-1})$ communication and $O(\log^* k)$ rounds? In this paper we prove that there is no universally optimal algorithm, and complement the existing round-communication tradeoffs with a new tradeoff between rounds, communication, and probability of error. In particular: 1. Any protocol for solving Multiple Equality Testing in $r$ rounds with failure probability $2^{-E}$ has communication volume $\Omega(Ek^{1/r})$. 2. There exists a protocol for solving Multiple Equality Testing in $r + \log^*(k/E)$ rounds with $O(k + rEk^{1/r})$ communication, thereby essentially matching our lower bound and that of Sa\u{g}lam and Tardos. Our original motivation for considering $p_{\mathrm{err}}$ as an independent parameter came from the problem of enumerating triangles in distributed ($\textsf{CONGEST}$) networks having maximum degree $\Delta$. We prove that this problem can be solved in $O(\Delta/\log n + \log\log \Delta)$ time with high probability $1-1/\operatorname{poly}(n)$.


title: Real-frequency Diagrammatic Monte Carlo at Finite Temperature

abstract: Diagrammatic expansions are a central tool for treating correlated electron systems. At thermal equilibrium, they are most naturally defined within the Matsubara formalism. However, extracting any dynamic response function from a Matsubara calculation ultimately requires the ill-defined analytical continuation from the imaginary- to the real-frequency domain. It was recently proposed [Phys. Rev. B 99, 035120 (2019)] that the internal Matsubara summations of any interaction-expansion diagram can be performed analytically by using symbolic algebra algorithms. The result of the summations is then an analytical function of the complex frequency rather than Matsubara frequency. Here we apply this principle and develop a diagrammatic Monte Carlo technique which yields results directly on the real-frequency axis. We present results for the self-energy $\Sigma(\omega)$ of the doped 32x32 cyclic square-lattice Hubbard model in a non-trivial parameter regime, where signatures of the pseudogap appear close to the antinode. We discuss the behavior of the perturbation series on the real-frequency axis and in particular show that one must be very careful when using the maximum entropy method on truncated perturbation series. Our approach holds great promise for future application in cases when analytical continuation is difficult and moderate-order perturbation theory may be sufficient to converge the result.


title: Scaling Hypothesis of Spatial Search on Fractal Lattice Using Quantum Walk

abstract: We investigate a quantum spatial search problem on fractal lattices, such as Sierpinski carpets and Menger sponges. In earlier numerical studies of the Sierpinski gasket, the Sierpinski tetrahedron, and the Sierpinski carpet, conjectures have been proposed for the scaling of a quantum spatial search problem finding a specific target, which is given in terms of the characteristic quantities of a fractal geometry. We find that our simulation results for extended Sierpinski carpets and Menger sponges support the conjecture for the ${\it optimal}$ number of the oracle calls, where the exponent is given by $1/2$ for $d_{\rm s} > 2$ and the inverse of the spectral dimension $d_{\rm s}$ for $d_{\rm s} < 2$. We also propose a scaling hypothesis for the ${\it effective}$ number of the oracle calls defined by the ratio of the ${\it optimal}$ number of oracle calls to a square root of the maximum finding probability. The form of the scaling hypothesis for extended Sierpinski carpets is very similar but slightly different from the earlier conjecture for the Sierpinski gasket, the Sierpinski tetrahedron, and the conventional Sierpinski carpet.


title: PAWS-X: A Cross-lingual Adversarial Dataset for Paraphrase Identification

abstract: Most existing work on adversarial data generation focuses on English. For example, PAWS (Paraphrase Adversaries from Word Scrambling) consists of challenging English paraphrase identification pairs from Wikipedia and Quora. We remedy this gap with PAWS-X, a new dataset of 23,659 human translated PAWS evaluation pairs in six typologically distinct languages: French, Spanish, German, Chinese, Japanese, and Korean. We provide baseline numbers for three models with different capacity to capture non-local context and sentence structure, and using different multilingual training and evaluation regimes. Multilingual BERT fine-tuned on PAWS English plus machine-translated data performs the best, with a range of 83.1-90.8 accuracy across the non-English languages and an average accuracy gain of 23% over the next best model. PAWS-X shows the effectiveness of deep, multilingual pre-training while also leaving considerable headroom as a new challenge to drive multilingual research that better captures structure and contextual information.


title: A Simple Algorithm for Minimum Cuts in Near-Linear Time

abstract: We consider the minimum cut problem in undirected, weighted graphs. We give a simple algorithm to find a minimum cut that $2$-respects (cuts two edges of) a spanning tree $T$ of a graph $G$. This procedure can be used in place of the complicated subroutine given in Karger's near-linear time minimum cut algorithm (J. ACM, 2000). We give a self-contained version of Karger's algorithm with the new procedure, which is easy to state and relatively simple to implement. It produces a minimum cut on an $m$-edge, $n$-vertex graph in $O(m \log^3 n)$ time with high probability, matching the complexity of Karger's approach.


title: On a relation between harmonic measure and hyperbolic distance on planar domains

abstract: Let $\psi $ be a conformal map of $\mathbb{D}$ onto an unbounded domain and, for $\alpha >0$, let ${F_\alpha }=\left\{ {z \in \mathbb{D}:\left| {\psi \left( z \right)} \right| = \alpha } \right\}$. If $\omega _\mathbb{D}\left( {0,{F_\alpha }} \right)$ denotes the harmonic measure at $0$ of $F_\alpha $ and $d_\mathbb{D} {\left( {0,{F_\alpha }} \right)}$ denotes the hyperbolic distance between $0$ and $F_\alpha$ in $\mathbb{D}$, then an application of the Beurling-Nevanlinna projection theorem implies that ${\omega _\mathbb{D}}\left( {0,{F_\alpha }} \right) \ge \frac{2}{\pi }{e^{ - {d_\mathbb{D}}\left( {0,{F_\alpha }} \right)}}$. Thus a natural question, first stated by P. Poggi-Corradini, is the following: Does there exist a positive constant $K$ such that for every $\alpha >0$, ${\omega _\mathbb{D}}\left( {0,{F_\alpha }} \right) \le K{e^{ - {d_\mathbb{D}}\left( {0,{F_\alpha }} \right)}}$? In general, we prove that the answer is negative by means of two different examples. However, under additional assumptions involving the number of components of $F_\alpha$ and the hyperbolic geometry of the domain $\psi \left( \mathbb{D} \right)$, we prove that the answer is positive.