title: Automatic Differentiation of a Finite-Volume-Based Transient Heat Conduction Code for Sensitivity Analysis

abstract: A general method for computing derivatives of solution fields and other simulation outputs, with respect to arbitrary input quantities, is proposed. The method of automatic differentiation is used to carry out differentiation and propagate derivatives through the simulation code by chain rule, in forward order. An object-oriented approach using the operator overloading and templating features of the C++ programming language is presented. Verification results are given for a plane wall with surface convection, where the derivative of the dimensionless temperature field with respect to the Biot number is computed and compared to an analytical solution. Further results are given for conduction in a composite material with regions of different thermal conductivity. The derivative of the temperature field is computed with respect to the conductivity of one of the phases using the proposed method.


title: A novel 3D variational aeroelastic framework for flexible multibody dynamics: Application to bat-like flapping dynamics

abstract: We present a novel three-dimensional (3D) variational aeroelastic framework for flapping wing with a flexible multibody system subjected to an external incompressible turbulent flow. The proposed aeroelastic framework consists of a three-dimensional fluid solver with delayed detached eddy simulation (DDES) and a nonlinear monolithic elastic structural solver for the flexible multibody system with constraints. Radial basis function (RBF) is applied in this framework to transfer the aerodynamic forces and structural displacements across the discrete non-matching interface meshes while satisfying a global energy conservation. The fluid equations are discretized using a stabilized Petrov-Galerkin method in space and the generalized-$\alpha$ approach is employed to integrate the solution in time. The flexible multibody system is solved by using geometrically exact co-rotational finite element method and an energy decaying scheme is used to achieve numerical stability of the multibody solver with constraints. A nonlinear iterative force correction (NIFC) scheme is applied in a staggered partitioned iterative manner to maintain the numerical stability of aeroelastic coupling with strong added mass effect. An isotropic aluminum wing with flapping motion is simulated via the proposed aeroelastic framework and the accuracy of the coupled solution is validated with the available experimental data. We next study the robustness and reliability of the 3D flexible multibody aeroelastic framework for an anisotropic flapping wing flight involving battens and membranes with composite material and compare against the experimental results. Finally, we demonstrate the aeroelastic framework for a bat-like wing and examine the effects of flexibility on the flapping wing dynamics.


title: Superior thermal conductivity of poly (ethylene oxide) for solid-state electrolytes: a molecular dynamics study

abstract: Solid-state lithium-ion batteries (SSLIBs) are considered to be the new generation of devices for energy storage due to better performance and safety. Poly (ethylene oxide) (PEO) based material becomes one of the best candidate of solid electrolytes, while its thermal conductivity is crucial to heat dissipation inside batteries. In this work, we study the thermal conductivity of PEO by molecular dynamics simulation. By enhancing the structure order, thermal conductivity of aligned crystalline PEO is obtained as high as 60 W/m-K at room temperature, which is two orders higher than the value (0.37 W/m-K) of amorphous structure. Interestingly, thermal conductivity of ordered structure shows a significant stepwise negative temperature dependence, which is attributed to the temperature-induced morphology change. Our study offers useful insights into the fundamental mechanisms that govern the thermal conductivity of PEO but not hinder the ionic transport, which can be used for the thermal management and further optimization of high-performance SSLIBs.


title: Bond ordering and phase transitions in Na$_{2}$IrO$_{3}$ under high pressure

abstract: The Kitaev model of spin-1/2 on a honeycomb lattice supports degenerate topological ground states and may be useful in topological quantum computation. Na$_{2}$IrO$_{3}$ with honeycomb lattice of Ir ions have been extensively studied as candidates for the realization of the this model, due to the effective $J_{\text{eff}}=1/2$ low-energy excitations produced by spin-orbit and crystal-field effect. As the eventual realization of Kitaev model has remained evasive, it is highly desirable and challenging to tune the candidate materials toward such end. It is well known external pressure often leads to dramatic changes to the geometric and electronic structure of materials. In this work, the high pressure phase diagram of Na$_{2}$IrO$_{3}$ is examined by first-principles calculations. It is found that Na$_{2}$IrO$_{3}$ undergoes a sequence of structural and magnetic phase transitions, from the magnetically ordered phase with space group $C2/m$ to two bond-ordered non-magnetic phases. The low-energy excitations in these high-pressure phases can be well described by the $J_{\text{eff}}=1/2$ states.


title: Maximizing Road Capacity Using Cars that Influence People

abstract: The emerging technology enabling autonomy in vehicles has led to a variety of new problems in transportation networks, such as planning and perception for autonomous vehicles. Other works consider social objectives such as decreasing fuel consumption and travel time by platooning. However, these strategies are limited by the actions of the surrounding human drivers. In this paper, we consider proactively achieving these social objectives by influencing human behavior through planned interactions. Our key insight is that we can use these social objectives to design local interactions that influence human behavior to achieve these goals. To this end, we characterize the increase in road capacity afforded by platooning, as well as the vehicle configuration that maximizes road capacity. We present a novel algorithm that uses a low-level control framework to leverage local interactions to optimally rearrange vehicles. We showcase our algorithm using a simulated road shared between autonomous and human-driven vehicles, in which we illustrate the reordering in action.


title: Process Discovery using Classification Tree Hidden Semi-Markov Model

abstract: Various and ubiquitous information systems are being used in monitoring, exchanging, and collecting information. These systems are generating massive amount of event sequence logs that may help us understand underlying phenomenon. By analyzing these logs, we can learn process models that describe system procedures, predict the development of the system, or check whether the changes are expected. In this paper, we consider a novel technique that models these sequences of events in temporal-probabilistic manners. Specifically, we propose a probabilistic process model that combines hidden semi-Markov model and classification trees learning. Our experimental result shows that the proposed approach can answer a kind of question-"what are the most frequent sequence of system dynamics relevant to a given sequence of observable events?". For example, "Given a series of medical treatments, what are the most relevant patients' health condition pattern changes at different times?"


title: Axial Ward identity and the Schwinger mechanism -- Applications to the real-time chiral magnetic effect and condensates

abstract: We elucidate chirality production under parity breaking constant electromagnetic fields, with which we clarify qualitative differences in and out of equilibrium. For a strong magnetic field the pair production from the Schwinger mechanism increments the chirality. The pair production rate is exponentially suppressed with mass according to the Schwinger formula, while the mass dependence of chirality production in the axial Ward identity appears in the pesudo-scalar term. We demonstrate that in equilibrium field theory calculus the axial anomaly is canceled by the pseudo-scalar condensate for any mass. In a real-time formulation with in- and out-states, we show that the axial Ward identity leads to the chirality production rate consistent with the Schwinger formula. We illuminate that such an in- and out-states formulation makes clear the chiral magnetic effect in and out of equilibrium, and we discuss further applications to real-time condensates.


title: Effect of the exoplanet magnetic field topology on its magnetospheric radio emission

abstract: The magnetized wind from stars that impact exoplanets should lead to radio emissions. According to the scaling laws derived in the solar system, the radio emission should depend on the stellar wind, interplanetary magnetic field, and topology of the exoplanet magnetosphere. The aim of this study is to calculate the dissipated power and subsequent radio emission from exoplanet magnetospheres with different topologies perturbed by the interplanetary magnetic field and stellar wind, to refine the predictions from scaling laws, and to prepare the interpretation of future radio detections. We use the magnetohydrodynamic (MHD) code PLUTO in spherical coordinates to analyze the total radio emission level resulting from the dissipation of the kinetic and magnetic (Poynting flux) energies inside the exoplanet's magnetospheres. We apply a formalism to infer the detailed contribution in the exoplanet radio emission on the exoplanet's day side and magnetotail. The model is based on Mercury-like conditions, although the study results are extrapolated to exoplanets with stronger magnetic fields, providing the lower bound of the radio emission. The predicted dissipated powers and resulting radio emissions depends critically on the exoplanet magnetosphere topology and interplanetary magnetic field (IMF) orientation. The radio emission on the exoplanet's night and day sides should thus contain information on the exoplanet magnetic field topology. In addition, if the topology of an exoplanet magnetosphere is known, the radio emission measurements can be used as a proxy of the instantaneous dynamic pressure of the stellar wind, IMF orientation, and intensity.


title: Subsampled Turbulence Removal Network

abstract: We present a deep-learning approach to restore a sequence of turbulence-distorted video frames from turbulent deformations and space-time varying blurs. Instead of requiring a massive training sample size in deep networks, we purpose a training strategy that is based on a new data augmentation method to model turbulence from a relatively small dataset. Then we introduce a subsampled method to enhance the restoration performance of the presented GAN model. The contributions of the paper is threefold: first, we introduce a simple but effective data augmentation algorithm to model the turbulence in real life for training in the deep network; Second, we firstly purpose the Wasserstein GAN combined with $\ell_1$ cost for successful restoration of turbulence-corrupted video sequence; Third, we combine the subsampling algorithm to filter out strongly corrupted frames to generate a video sequence with better quality.


title: A locking clamp that enables high thermal and vibrational stability for kinematic optical mounts

abstract: One of the main pursuits of the MagAO-X project is imaging planets around nearby stars with the direct detection method utilizing an extreme AO system and a coronagraph and a large telescope. The MagAO-X astronomical coronagraph will be implemented on the 6.5 meter Clay Magellan Telescope in Chile. The 22 mirrors in the system require a high level of mirror stability. Our goal is less than 1 microradian drift in tilt per mirror per one degree Celsius change in temperature. There are no commercial 2inch kinematic optical mounts that are truly "zero-drift" from 0-20C. Our solution to this problem was to develop a locking clamp to keep our optics stable and fulfill our specifications. After performing temperature variation and thermal shock testing, we conclude that this novel locking clamp significantly increases the thermal stability of stainless steel mounts by ~10x but still allows accurate microradian positioning of a mirror. A provisional patent (#62/632,544) has been obtained for this mount.


title: Diffuser-assisted Photometric Follow-up Observations of the Neptune-sized Planets K2-28b and K2-100b

abstract: We present precision transit observations of the Neptune-sized planets K2-28b and K2-100b, using the Engineered Diffuser on the ARCTIC imager on the ARC 3.5m Telescope at Apache Point Observatory. K2-28b is a $R_{p} = 2.56 R_\oplus$ mini-Neptune transiting a bright (J=11.7) metal-rich M4 dwarf, offering compelling prospects for future atmospheric characterization. K2-100b is a $R_{p} = 3.45 R_\oplus$ Neptune in the Praesepe Cluster and is one of few planets known in a cluster transiting a host star bright enough ($V=10.5$) for precision radial velocity observations. Using the precision photometric capabilities of the diffuser/ARCTIC system, allows us to achieve a precision of $105^{+87}_{-37}$ppm, and $38^{+21}_{-11}$ppm in 30 minute bins for K2-28b, and K2-100b, respectively. Our joint-fits to the K2 and ground-based light-curves give an order of magnitude improvement in the orbital ephemeris for both planets, yielding a timing precision of 2min in the JWST era. Although we show that the currently available broad-band measurements of K2-28b's radius are currently too imprecise to place useful constraints on K2-28b's atmosphere, we demonstrate that JWST/NIRISS will be able to discern between a cloudy/clear atmosphere in a modest number of transit observations. Our light-curve of K2-100b marks the first transit follow-up observation of this challenging-to-observe transit, where we obtain a transit depth of $819 \pm 50 \mathrm{ppm}$ in the SDSS $i^\prime$ band. We conclude that diffuser-assisted photometry can play an important role in the TESS era to perform timely and precise follow-up of the expected bounty of TESS planet candidates.


title: On the Approximation Resistance of Balanced Linear Threshold Functions

abstract: In this paper, we show that there exists a balanced linear threshold function (LTF) which is unique games hard to approximate, refuting a conjecture of Austrin, Benabbas, and Magen. We also show that the almost monarchy predicate on k variables is approximable for sufficiently large k.


title: Quantum Computation as Gravity

abstract: We formulate Nielsen's geometric approach to complexity in the context of two dimensional conformal field theories, where series of conformal transformations are interpreted as unitary circuits. We show that the complexity functional can be written as the Polyakov action of two dimensional gravity or, equivalently, as the geometric action on the coadjoint orbits of the Virasoro group. This way, we argue that gravity sets the rules for optimal quantum computation in conformal field theories.


title: Witness emittance growth caused by driver density fluctuations in plasma wakefield accelerators

abstract: We discovered a novel effect that can cause witness emittance growth in plasma wakefield accelerators. The effect appears in linear or moderately nonlinear plasma waves. The witness experiences a time-varying focusing force and loses quality during the time required for the drive beam to reach transverse equilibrium with the plasma wave. The higher the witness charge, the lower the emittance growth rate because of additional focusing of the witness by its own wakefield. However, the witness head always degrades, and the boundary between degraded and intact parts gradually propagates backward along the witness bunch.


title: Constraints on the Reheating Parameters after Gauss-Bonnet Inflation from the Primordial Gravitational Waves

abstract: We study the effects of the Gauss-Bonnet term on the energy spectrum of inflationary gravitational waves. The models of inflation are classified into two types based on their predictions for the tensor power spectrum: red-tilted ($n_T<0$) and blue-tilted spectra ($n_T>0$), respectively, and then the energy spectra of the gravitational waves are calculated for each type of model. We find that the gravitational wave spectra are enhanced depending on the model parameter if the predicted inflationary tensor spectra have a blue tilt, whereas they are suppressed for the spectra that have a red tilt. Moreover, we perform the analyses on the reheating parameters involving the temperature, the equation-of-state parameter, and the number of $e$-folds using the gravitational wave spectrum. Our results imply that the Gauss-Bonnet term plays an important role not only during inflation but also during reheating whether the process is instantaneous or lasts for a certain number of $e$-folds until it thermalizes and eventually completes.


title: OLGA: fast computation of generation probabilities of B- and T-cell receptor amino acid sequences and motifs

abstract: Motivation: High-throughput sequencing of large immune repertoires has enabled the development of methods to predict the probability of generation by V(D)J recombination of T- and B-cell receptors of any specific nucleotide sequence. These generation probabilities are very non-homogeneous, ranging over 20 orders of magnitude in real repertoires. Since the function of a receptor really depends on its protein sequence, it is important to be able to predict this probability of generation at the amino acid level. However, brute-force summation over all the nucleotide sequences with the correct amino acid translation is computationally intractable. The purpose of this paper is to present a solution to this problem. Results: We use dynamic programming to construct an efficient and flexible algorithm, called OLGA (Optimized Likelihood estimate of immunoGlobulin Amino-acid sequences), for calculating the probability of generating a given CDR3 amino acid sequence or motif, with or without V/J restriction, as a result of V(D)J recombination in B or T cells. We apply it to databases of epitope-specific T-cell receptors to evaluate the probability that a typical human subject will possess T cells responsive to specific disease-associated epitopes. The model prediction shows an excellent agreement with published data. We suggest that OLGA may be a useful tool to guide vaccine design. Availability: Source code is available at https://github.com/zsethna/OLGA


title: A likelihood-ratio type test for stochastic block models with bounded degrees

abstract: A fundamental problem in network data analysis is to test Erd\"{o}s-R\'{e}nyi model $\mathcal{G}\left(n,\frac{a+b}{2n}\right)$ versus a bisection stochastic block model $\mathcal{G}\left(n,\frac{a}{n},\frac{b}{n}\right)$, where $a,b>0$ are constants that represent the expected degrees of the graphs and $n$ denotes the number of nodes. This problem serves as the foundation of many other problems such as testing-based methods for determining the number of communities (\cite{BS16,L16}) and community detection (\cite{MS16}). Existing work has been focusing on growing-degree regime $a,b\to\infty$ (\cite{BS16,L16,MS16,BM17,B18,GL17a,GL17b}) while leaving the bounded-degree regime untreated. In this paper, we propose a likelihood-ratio (LR) type procedure based on regularization to test stochastic block models with bounded degrees. We derive the limit distributions as power Poisson laws under both null and alternative hypotheses, based on which the limit power of the test is carefully analyzed. We also examine a Monte-Carlo method that partly resolves the computational cost issue. The proposed procedures are examined by both simulated and real-world data. The proof depends on a contiguity theory developed by Janson \cite{J95}.


title: Simultaneous Coherent Structure Coloring facilitates interpretable clustering of scientific data by amplifying dissimilarity

abstract: The clustering of data into physically meaningful subsets often requires assumptions regarding the number, size, or shape of the subgroups. Here, we present a new method, simultaneous coherent structure coloring (sCSC), which accomplishes the task of unsupervised clustering without a priori guidance regarding the underlying structure of the data. sCSC performs a sequence of binary splittings on the dataset such that the most dissimilar data points are required to be in separate clusters. To achieve this, we obtain a set of orthogonal coordinates along which dissimilarity in the dataset is maximized from a generalized eigenvalue problem based on the pairwise dissimilarity between the data points to be clustered. This sequence of bifurcations produces a binary tree representation of the system, from which the number of clusters in the data and their interrelationships naturally emerge. To illustrate the effectiveness of the method in the absence of a priori assumptions, we apply it to three exemplary problems in fluid dynamics. Then, we illustrate its capacity for interpretability using a high-dimensional protein folding simulation dataset. While we restrict our examples to dynamical physical systems in this work, we anticipate straightforward translation to other fields where existing analysis tools require ad hoc assumptions on the data structure, lack the interpretability of the present method, or in which the underlying processes are less accessible, such as genomics and neuroscience.

categories: stat.ML cs.LG physics.bio-ph physics.flu-dyn q-bio.QM


title: Convergence Rate of Block-Coordinate Maximization Burer-Monteiro Method for Solving Large SDPs

abstract: Semidefinite programming (SDP) with diagonal constraints arise in many optimization problems, such as Max-Cut, community detection and group synchronization. Although SDPs can be solved to arbitrary precision in polynomial time, generic convex solvers do not scale well with the dimension of the problem. In order to address this issue, Burer and Monteiro proposed to reduce the dimension of the problem by appealing to a low-rank factorization and solve the subsequent non-convex problem instead. In this paper, we present coordinate ascent based methods to solve this non-convex problem with provable convergence guarantees. More specifically, we prove that the block-coordinate maximization algorithm applied to the non-convex Burer-Monteiro method globally converges to a first-order stationary point with a sublinear rate without any assumptions on the problem. We further show that this algorithm converges linearly around a local maximum provided that the objective function exhibits quadratic decay. We establish that this condition generically holds when the rank of the factorization is sufficiently large. Furthermore, incorporating Lanczos method to the block-coordinate maximization, we propose an algorithm that is guaranteed to return a solution that provides $1-O(1/r)$ approximation to the original SDP without any assumptions, where $r$ is the rank of the factorization. This approximation ratio is known to be optimal (up to constants) under the unique games conjecture, and we can explicitly quantify the number of iterations to obtain such a solution.


title: Bootstrapping Max Statistics in High Dimensions: Near-Parametric Rates Under Weak Variance Decay and Application to Functional and Multinomial Data

abstract: In recent years, bootstrap methods have drawn attention for their ability to approximate the laws of "max statistics" in high-dimensional problems. A leading example of such a statistic is the coordinate-wise maximum of a sample average of $n$ random vectors in $\mathbb{R}^p$. Existing results for this statistic show that the bootstrap can work when $n\ll p$, and rates of approximation (in Kolmogorov distance) have been obtained with only logarithmic dependence in $p$. Nevertheless, one of the challenging aspects of this setting is that established rates tend to scale like $n^{-1/6}$ as a function of $n$. The main purpose of this paper is to demonstrate that improvement in rate is possible when extra model structure is available. Specifically, we show that if the coordinate-wise variances of the observations exhibit decay, then a nearly $n^{-1/2}$ rate can be achieved, independent of $p$. Furthermore, a surprising aspect of this dimension-free rate is that it holds even when the decay is very weak. Lastly, we provide examples showing how these ideas can be applied to inference problems dealing with functional and multinomial data.


title: On the improvement of the Hardy inequality due to singular magnetic fields

abstract: We establish magnetic improvements upon the classical Hardy inequality for two specific choices of singular magnetic fields. First, we consider the Aharonov-Bohm field in all dimensions and establish a sharp Hardy-type inequality that takes into account both the dimensional as well as the magnetic flux contributions. Second, in the three-dimensional Euclidean space, we derive a non-trivial magnetic Hardy inequality for a magnetic field that vanishes at infinity and diverges along a plane.


title: Statistical Inference with Local Optima

abstract: We study the statistical properties of an estimator derived by applying a gradient ascent method with multiple initializations to a multi-modal likelihood function. We derive the population quantity that is the target of this estimator and study the properties of confidence intervals (CIs) constructed from asymptotic normality and the bootstrap approach. In particular, we analyze the coverage deficiency due to finite number of random initializations. We also investigate the CIs by inverting the likelihood ratio test, the score test, and the Wald test, and we show that the resulting CIs may be very different. We propose a two-sample test procedure even when the MLE is intractable. In addition, we analyze the performance of the EM algorithm under random initializations and derive the coverage of a CI with a finite number of initializations.


title: Existence of bubbling solutions without mass concentration

abstract: The seminal work \cite{bm} by Brezis and Merle has been pioneering in studying the bubbling phenomena of the mean field equation with singular sources. When the vortex points are not collapsing, the mean field equation possesses the property of the so-called "bubbling implies mass concentration". Recently, Lin and Tarantello in \cite{lt} pointed out that the "bubbling implies mass concentration" phenomena might not hold in general if the collapse of singularities occurs. In this paper, we shall construct the first concrete example of non-concentrated bubbling solution of the mean field equation with collapsing singularities.


title: Treating Ostrogradski instability for Gallilean invariant Chern Simon's model via \mathcal{PT} symmetry

abstract: The Ostrogradski ghost problem that appears in higher derivative theories containing constraints has been considered here. Specifically we have considered systems where only the second class constraints appear. For these kind of systems, it is not possible to gauge away the linear momenta that cause the instability. To solve this issue, we have considered the PT symmetric aspects of the theory. As an example we have considered the Galilean invariant Chern Simons model in $2+1$ D which is a purely second class system. By solving the constraints, in the reduced phasespace, we have derived the \p similarity transformed Hamiltonian and putting conditions on we found that the final form of the Hamiltonian is free from any linear momenta and bounded from below.


title: Bootstrapping minimal $\mathcal{N}=1$ superconformal field theory in three dimensions

abstract: Using numerical bootstrap method, we determine the critical exponents of the minimal three-dimensional $\mathcal{N}=1$ superconformal field theory (SCFT) to be $\eta_{\sigma}=0.168888(60)$ and $\omega=0.882(9)$. The model was argued in arXiv:1301.7449 to describe a quantum critical point (QCP) at the boundary a $3+1$D topological superconductor. More interestingly, the QCP can be reached by tuning a single parameter, where supersymmetry (SUSY) is realised as an emergent symmetry. By imposing emergent SUSY in numerical bootstrap, we find that the conformal scaling dimension of the real scalar operator $\sigma$ is highly restricted. If we further assume the SCFT to have only two time-reversal parity odd relevant operators, $\sigma$ and $\sigma'$, we find that allowed region for $\Delta_{\sigma}$ and $\Delta_{\sigma'}$ becomes an isolated island. The result is obtained by considering not only the four point correlator $\langle \sigma \sigma \sigma \sigma \rangle$, but also $\langle \sigma \epsilon \sigma \epsilon \rangle$ and $\langle \epsilon \epsilon\epsilon \epsilon \rangle$, with $\epsilon \sim \sigma ^2$ being the superconformal descendant of $\sigma$.


title: Direction of Arrival Estimation for Nanoscale Sensor Networks

abstract: Nanoscale wireless sensor networks (NWSNs) could be within reach soon using graphene-based antennas, which resonate in 0.1-10 terahertz band. To conserve the limited energy available at nanoscale, it is expected that NWSNs will communicate using extremely short pulses on the order of femtoseconds. Accurate estimation of direction of arrival (DOA) for such terahertz pulses will help realize many useful applications for NWSNs. In this paper, using the well-known MUltiple SIgnal Classification (MUSIC) algorithm, we study DOA estimation for NWSNs for different energy levels, distances, pulse shapes, and frequencies. Our analyses reveal that the best DOA estimation is achieved with the first order Gaussian pulses, which emit their peak energy at 6 THz. Based on Monte Carlo simulations, we demonstrate that MUSIC algorithm is capable of estimating DOA with root mean square error less than one degree from a distance of around 6 meter for pulse energy as little as 1 atto Joule.


title: Liouville theorems for the Stokes equations with applications to large time estimates

abstract: We study Liouville theorems for the non-stationary Stokes equations in exterior domains in $ \mathbb{R}^{n}$ under decay conditions for spatial variables. As applications, we prove that the Stokes semigroup is a bounded analytic semigroup on $L^{ \infty}_{ \sigma}$ of angle $ \pi/2$ for $n \geq 3$. We also prove large time estimates for $n=2$ with zero net force.


title: Finite-State Classical Mechanics

abstract: Reversible lattice dynamics embody basic features of physics that govern the time evolution of classical information. They have finite resolution in space and time, don't allow information to be erased, and easily accommodate other structural properties of microscopic physics, such as finite distinct state and locality of interaction. In an ideal quantum realization of a reversible lattice dynamics, finite classical rates of state-change at lattice sites determine average energies and momenta. This is very different than traditional continuous models of classical dynamics, where the number of distinct states is infinite, the rate of change between distinct states is infinite, and energies and momenta are not tied to rates of distinct state change. Here we discuss a family of classical mechanical models that have the informational and energetic realism of reversible lattice dynamics, while retaining the continuity and mathematical framework of classical mechanics. These models may help to clarify the informational foundations of mechanics.


title: Annealing Dynamics via Quantum Interference of Forward and Backward Time Evolved States

abstract: Toward an alternative approach to the quantum mechanic ground state search, we theoretically introduce a protocol in which energy of two identical systems are deterministically exchanged. The protocol utilizes a quantum interference between "forward" and "backward" time evolved states with respect to a given Hamiltonian. In addition, to make use the protocol for the ground state search, we construct a network with which we may be able to efficiently apply the protocol successively among multiple systems so that energy of one of them is gradually approaching the lowest one. Although rigorous analysis on the validity of the network is left as a future challenge, some properties of the network are also investigated.


title: Will it Blend? Composing Value Functions in Reinforcement Learning

abstract: An important property for lifelong-learning agents is the ability to combine existing skills to solve unseen tasks. In general, however, it is unclear how to compose skills in a principled way. We provide a "recipe" for optimal value function composition in entropy-regularised reinforcement learning (RL) and then extend this to the standard RL setting. Composition is demonstrated in a video game environment, where an agent with an existing library of policies is able to solve new tasks without the need for further learning.


title: Entanglement hamiltonian evolution during thermalization in conformal field theory

abstract: In this work, we study the time evolution of the entanglement hamiltonian during the process of thermalization in a (1+1)-dimensional conformal field theory (CFT) after a quantum quench from a special class of initial states. In particular, we focus on a subsystem which is a finite interval at the end of a semi-infinite line. Based on conformal mappings, the exact forms of both entanglement hamiltonian and entanglement spectrum of the subsystem can be obtained. Aside from various interesting features, it is found that in the infinite time limit the entanglement hamiltonian and entanglement spectrum are exactly the same as those in the thermal ensemble. The entanglement spectrum approaches the steady state spectrum exponentially in time. We also study the modular flows generated by the entanglement hamiltonian in Minkowski spacetime, which provides us with an intuitive picture of how the entanglement propagates and how the subsystem is thermalized. Furthermore, the effect of a generic initial state is also discussed.


title: Tracking the Evolution of Words with Time-reflective Text Representations

abstract: More than 80% of today's data is unstructured in nature, and these unstructured datasets evolve over time. A large part of these datasets are text documents generated by media outlets, scholarly articles in digital libraries, findings from scientific and professional communities, and social media. Vector space models were developed to analyze text data using data mining and machine learning algorithms. While ample vector space models exist for text data, the evolutionary aspect of ever-changing text corpora is still missing in vector-based representations. The advent of word embeddings has enabled us to create a contextual vector space, but the embeddings fail to consider the temporal aspects of the feature space successfully. This paper presents an approach to include temporal aspects in feature spaces. The inclusion of the time aspect in the feature space provides vectors for every natural language element, such as words or entities, at every timestamp. Such temporal word vectors allow us to track how the meaning of a word changes over time, by studying the changes in its neighborhood. Moreover, a time-reflective text representation will pave the way to a new set of text analytic abilities involving time series for text collections. In this paper, we present a time-reflective vector space model for temporal text data that is able to capture short and long-term changes in the meaning of words. We compare our approach with the limited literature on dynamic embeddings. We present qualitative and quantitative evaluations using the tracking of semantic evolution as the target application.


title: Numerical Approach to Painlev\'e Transcendents on Unbounded Domains

abstract: A multidomain spectral approach for Painlev\'e transcendents on unbounded domains is presented. This method is designed to study solutions determined uniquely by a, possibly divergent, asymptotic series valid near infinity in a sector and approximates the solution on straight lines lying entirely within said sector without the need of evaluating truncations of the series at any finite point. The accuracy of the method is illustrated for the example of the tritronqu\'ee solution to the Painlev\'e I equation.


title: Polarized Radiative Transfer in Planetary Atmospheres and the Polarization of Exoplanets

abstract: We describe the incorporation of polarized radiative transfer into the atmospheric radiative transfer modelling code VSTAR (Versatile Software for Transfer of Atmospheric Radiation). Using a vector discrete-ordinate radiative transfer code we are able to generate maps of radiance and polarization across the disc of a planet, and integrate over these to get the full-disc polarization. In this way we are able to obtain disc-resolved, phase-resolved and spectrally-resolved intensity and polarization for any of the wide range of atmopsheres that can be modelled with VSTAR. We have tested the code by reproducing a standard benchmark problem, as well as by comparing with classic calculations of the polarization phase curves of Venus. We apply the code to modelling the polarization phase curves of the hot Jupiter system HD 189733b. We find that the highest polarization amplitudes are produced with optically thick Rayleigh scattering clouds and these would result in a polarization amplitude of 27 ppm for the planetary signal seen in the combined light of the star and planet. A more realistic cloud model consistent with the observed transmission spectrum results is an amplitude of ~20 ppm. Decreasing the optical depth of the cloud, or making the cloud particles more absorbing, both have the effect of increasing the polarization of the reflected light but reducing the amount of reflected light and hence the observed polarization amplitude.


title: Wide-field diamond magnetometry with millihertz frequency resolution and nanotesla sensitivity

abstract: The nitrogen-vacancy (NV) center in diamond allows room-temperature wide-field quantum magnetometry and metrology for a small volume, which is an important technology for applications in biology. Although coherence of the NV center has a limited frequency resolution of diamond magnetometry to 10-100 kHz, recent studies have shown that a phase sensitive protocol can beat the coherence limit on a confocal setup. Here, we report a new measurement protocol, "iQdyne," for improving the frequency resolution of wide-field imaging beyond the coherence limit of the NV center. We demonstrate wide-field magnetometry with a frequency resolution of 238 mHz and a magnetic sensitivity of 65 nT/sqrtHz, which are superior to the conventional XY8-based technique, which paves the way to in vivo microscale nuclear magnetic resonance imaging. We find that the experimental performance of iQdyne agrees well with that of an analytical model.


title: Adding Attentiveness to the Neurons in Recurrent Neural Networks

abstract: Recurrent neural networks (RNNs) are capable of modeling the temporal dynamics of complex sequential information. However, the structures of existing RNN neurons mainly focus on controlling the contributions of current and historical information but do not explore the different importance levels of different elements in an input vector of a time slot. We propose adding a simple yet effective Element-wiseAttention Gate (EleAttG) to an RNN block (e.g., all RNN neurons in a network layer) that empowers the RNN neurons to have the attentiveness capability. For an RNN block, an EleAttG is added to adaptively modulate the input by assigning different levels of importance, i.e., attention, to each element/dimension of the input. We refer to an RNN block equipped with an EleAttG as an EleAtt-RNN block. Specifically, the modulation of the input is content adaptive and is performed at fine granularity, being element-wise rather than input-wise. The proposed EleAttG, as an additional fundamental unit, is general and can be applied to any RNN structures, e.g., standard RNN, Long Short-Term Memory (LSTM), or Gated Recurrent Unit (GRU). We demonstrate the effectiveness of the proposed EleAtt-RNN by applying it to the action recognition tasks on both 3D human skeleton data and RGB videos. Experiments show that adding attentiveness through EleAttGs to RNN blocks significantly boosts the power of RNNs.


title: A note on regular subgroups of the automorphism group of the linear Hadamard code

abstract: We consider the regular subgroups of the automorphism group of the linear Hadamard code. These subgroups correspond to the regular subgroups of $GA(r,2)$, w.t.r action on the vectors of $F_2^{r}$, where $n=2^r-1 $ is the length of the Hamadard code. We show that the dihedral group $D_{2^{r-1}}$ is a regular subgroup of $GA(r,2)$ only when $r=3$. Following the approach of \cite{M} we study the regular subgroups of the Hamming code obtained from the regular subgroups of the automorphism group of the Hadamard code of length 15.


title: Density wave ground state and fractional fermions in LaAlO3/SrTiO3 heterostructure

abstract: We show that the non-homogeneous charged layer distribution of the LaAlO 3 /SrT iO 3 heterostructure undergoing interface reconstruction is the density wave ground state of the well known anharmonic lattice model described by the {\lambda}{\phi} 4 continuum model. The two dimensional planar structure of the charged surfaces with alternating polarity leads to an effective one dimensional model, with fermions coupled to the planar distortions acting as long wavelength optical phonons in one dimension. The Hamiltonian with the desired anharmonicity for describing the non-homogeneous density wave type distortion is the same one that describes the fermion number fractionalization in polyacetylene. The general solution of this theory is the Jacobi elliptic sine function sn(x;k), which in the limiting case of lattice distortion being localized gives the kink/anti-kink solution.


title: Interactive Discovery System for Direct Democracy

abstract: Decide Madrid is the civic technology of Madrid City Council which allows users to create and support online petitions. Despite the initial success, the platform is encountering problems with the growth of petition signing because petitions are far from the minimum number of supporting votes they must gather. Previous analyses have suggested that this problem is produced by the interface: a paginated list of petitions which applies a non-optimal ranking algorithm. For this reason, we present an interactive system for the discovery of topics and petitions. This approach leads us to reflect on the usefulness of data visualization techniques to address relevant societal challenges.


title: Cross-Sender Bit-Mixing Coding

abstract: Scheduling to avoid packet collisions is a long-standing challenge in networking, and has become even trickier in wireless networks with multiple senders and multiple receivers. In fact, researchers have proved that even {\em perfect} scheduling can only achieve $\mathbf{R} = O(\frac{1}{\ln N})$. Here $N$ is the number of nodes in the network, and $\mathbf{R}$ is the {\em medium utilization rate}. Ideally, one would hope to achieve $\mathbf{R} = \Theta(1)$, while avoiding all the complexities in scheduling. To this end, this paper proposes {\em cross-sender bit-mixing coding} ({\em BMC}), which does not rely on scheduling. Instead, users transmit simultaneously on suitably-chosen slots, and the amount of overlap in different user's slots is controlled via coding. We prove that in all possible network topologies, using BMC enables us to achieve $\mathbf{R}=\Theta(1)$. We also prove that the space and time complexities of BMC encoding/decoding are all low-order polynomials.


title: Jackknife empirical likelihood based inference for Probability weighted moments

abstract: In the present article, we discuss jackknife empirical likelihood (JEL) and adjusted jackknife empirical likelihood (AJEL) based inference for finding confidence intervals for probability weighted moment (PWM). We obtain the asymptotic distribution of the JEL ratio and AJEL ratio statistics. We compare the performance of the proposed confidence intervals with recently developed methods in terms of coverage probability and average length. We also develop JEL and AJEL based test for PWM and study it properties. Finally we illustrate our method using rainfall data of Indian states.


title: Capture and chaotic scattering of a charged particle by magnetic monopole under uniform electric field

abstract: Motivated by the realization of magnetic monopole of Berry curvature by the energy crossing point, we theoretically study the effect of magnetic monopole under a uniform electric field in the semiclassical dynamics, which is relevant to many physical situations such as relaxation through the diabolic point. We found that the competition between the backward scattering by the monopole magnetic field and the acceleration by the electric field leads to the bound state, i.e., capture of a particle near the monopole. Furthermore, the nonlinearity induced by the magnetic monopole leads to the chaotic behavior in the transient dynamics, i.e., the transient chaos. We computed characteristic quantities of the strange saddle which gives rise to the transient chaos, and verified that the abrupt bifurcation occurs as we tune the system parameter toward the parameter region in which the system is solvable.


title: Erdos-Moser and ISigma_2

abstract: The first-order part of the Ramsey's Theorem for pairs with an arbitrary number of colors is known to be precisely BSigma03. We compare this to the known division of Ramsey's Theorem for pairs into the weaker principles, EM (the Erd\H{o}s-Moser principle) and ADS (the ascending-descending sequence principle): we show that the additional strength beyond ISigma02 is entirely due to the arbitrary color analog of ADS. Specifically, we show that ADS for an arbitrary number of colors implies BSigma03 while EM for an arbitrary number of colors is Pi11-conservative over ISigma02 and it does not imply ISigma02.


title: Polya-Szego inequality and Dirichlet $p$-spectral gap for non-smooth spaces with Ricci curvature bounded below

abstract: We study decreasing rearrangements of functions defined on (possibly non-smooth) metric measure spaces with Ricci curvature bounded below by $K>0$ and dimension bounded above by $N\in (1,\infty)$ in a synthetic sense, the so called $CD(K,N)$ spaces. We first establish a Polya-Szego type inequality stating that the $W^{1,p}$-Sobolev norm decreases under such a rearrangement and apply the result to show sharp spectral gap for the $p$-Laplace operator with Dirichlet boundary conditions (on open subsets), for every $p\in (1,\infty)$. This extends to the non-smooth setting a classical result of B\'erard-Meyer and Matei; remarkable examples of spaces fitting out framework and for which the results seem new include: measured-Gromov Hausdorff limits of Riemannian manifolds with Ricci$\geq K>0$, finite dimensional Alexandrov spaces with curvature$\geq K>0$, Finsler manifolds with Ricci$\geq K>0$. In the second part of the paper we prove new rigidity and almost rigidity results attached to the aforementioned inequalities, in the framework of $RCD(K,N)$ spaces, which seem original even for smooth Riemannian manifolds with Ricci$\geq K>0$.


title: Performance of the Large Hadron Collider cleaning system during the squeeze: simulations and measurements

abstract: The Large Hadron Collider (LHC) at CERN is a 7 TeV proton synchrotron, with a design stored energy of 362 MJ per beam. The high-luminosity (HL-LHC) upgrade will increase this to 675 MJ per beam. In order to protect the superconducting magnets and other sensitive equipment from quenches and damage due to beam loss, a multi-level collimation system is needed. Detailed simulations are required to understand where particles scattered by the collimators are lost around the ring in a range of machine configurations. Merlin++ is a simulation framework that has been extended to include detailed scattering physics, in order to predict local particle loss rates around the LHC ring. We compare Merlin++ simulations of losses during the squeeze (the dynamic reduction of the \beta-function at the interaction points before the beams are put into collision) with loss maps recorded during beam squeezes for Run 1 and 2 configurations. The squeeze is particularly important as both collimator positions and quadrupole magnet currents are changed. We can then predict, using Merlin++, the expected losses for the HL-LHC to ensure adequate protection of the machine.


title: Astrometrically registered maps of H2O and SiO masers toward VX Sagittarii

abstract: The supergiant VX Sagittarii is a strong emitter of both H2O and SiO masers. However, previous VLBI observations have been performed separately, which makes it difficult to spatially trace the outward transfer of the material consecutively. Here we present the astrometrically registered, simultaneous maps of 22.2 GHz H2O and 43.1/42.8/86.2/129.3 GHz SiO masers toward VX Sagittarii. The H2O masers detected above the dust-forming layers have an asymmetric distribution. The multi-transition SiO masers are nearly circular ring, suggesting spherically symmetric wind within a few stellar radii. These results provide the clear evidence that the asymmetry in the outflow is enhanced after the smaller molecular gas clump transform into the inhomogeneous dust layers. The 129.3 GHz maser arises from the outermost region compared to that of 43.1/42.8/86.2 GHz SiO masers. The ring size of the 129.3 GHz maser is maximized around the optical maximum, suggesting that radiative pumping is dominant.


title: Universal quantum criticality at finite temperature for two-dimensional disordered and clean dimerized spin-$\frac{1}{2}$ antiferromagnets

abstract: The quantum critical regime (QCR) of a two-dimensional (2D) disordered and a 2D clean dimerized spin-$\frac{1}{2}$ Heisenberg models are studied using the first principles nonperturbative quantum Monte Carlo simulations (QMC). In particular, the three well-known universal coefficients associated with QCR are investigated in detail. While in our investigation we find the obtained results are consistent with the related analytic predictions, non-negligible finite temperature ($T$) effects are observed. Such an influence from $T$ on the properties of the considered spin systems related to QCR has not been explored thoroughly before. Moreover, the most striking finding in our study is that the numerical value for one of the universal coefficients we determine is likely to be different significantly from the corresponding result(s) established in the literature. To better understand the sources for the discrepancy observed here, apart from carrying out the associated analytic calculations not considered previously, it will be desirable as well to conduct a comprehensive examination of the exotic features of QCR for other disordered and clean spin systems than those investigated in this study.


title: Query-Efficient Hard-label Black-box Attack:An Optimization-based Approach

abstract: We study the problem of attacking a machine learning model in the hard-label black-box setting, where no model information is revealed except that the attacker can make queries to probe the corresponding hard-label decisions. This is a very challenging problem since the direct extension of state-of-the-art white-box attacks (e.g., CW or PGD) to the hard-label black-box setting will require minimizing a non-continuous step function, which is combinatorial and cannot be solved by a gradient-based optimizer. The only current approach is based on random walk on the boundary, which requires lots of queries and lacks convergence guarantees. We propose a novel way to formulate the hard-label black-box attack as a real-valued optimization problem which is usually continuous and can be solved by any zeroth order optimization algorithm. For example, using the Randomized Gradient-Free method, we are able to bound the number of iterations needed for our algorithm to achieve stationary points. We demonstrate that our proposed method outperforms the previous random walk approach to attacking convolutional neural networks on MNIST, CIFAR, and ImageNet datasets. More interestingly, we show that the proposed algorithm can also be used to attack other discrete and non-continuous machine learning models, such as Gradient Boosting Decision Trees (GBDT).


title: Monte Carlo Methods for the Game Kingdomino

abstract: Kingdomino is introduced as an interesting game for studying game playing: the game is multiplayer (4 independent players per game); it has a limited game depth (13 moves per player); and it has limited but not insignificant interaction among players. Several strategies based on locally greedy players, Monte Carlo Evaluation (MCE), and Monte Carlo Tree Search (MCTS) are presented with variants. We examine a variation of UCT called progressive win bias and a playout policy (Player-greedy) focused on selecting good moves for the player. A thorough evaluation is done showing how the strategies perform and how to choose parameters given specific time constraints. The evaluation shows that surprisingly MCE is stronger than MCTS for a game like Kingdomino. All experiments use a cloud-native design, with a game server in a Docker container, and agents communicating using a REST-style JSON protocol. This enables a multi-language approach to separating the game state, the strategy implementations, and the coordination layer.


title: Prostate Segmentation using 2D Bridged U-net

abstract: In this paper, we focus on three problems in deep learning based medical image segmentation. Firstly, U-net, as a popular model for medical image segmentation, is difficult to train when convolutional layers increase even though a deeper network usually has a better generalization ability because of more learnable parameters. Secondly, the exponential ReLU (ELU), as an alternative of ReLU, is not much different from ReLU when the network of interest gets deep. Thirdly, the Dice loss, as one of the pervasive loss functions for medical image segmentation, is not effective when the prediction is close to ground truth and will cause oscillation during training. To address the aforementioned three problems, we propose and validate a deeper network that can fit medical image datasets that are usually small in the sample size. Meanwhile, we propose a new loss function to accelerate the learning process and a combination of different activation functions to improve the network performance. Our experimental results suggest that our network is comparable or superior to state-of-the-art methods.


title: Dynamics of positrons during relativistic electron runaway

abstract: Sufficiently strong electric fields in plasmas can accelerate charged particles to relativistic energies. In this paper we describe the dynamics of positrons accelerated in such electric fields, and calculate the fraction of created positrons that become runaway accelerated, along with the amount of radiation that they emit. We derive an analytical formula that shows the relative importance of the different positron production processes, and show that above a certain threshold electric field the pair production by photons is lower than that by collisions. We furthermore present analytical and numerical solutions to the positron kinetic equation; these are applied to calculate the fraction of positrons that become accelerated or thermalized, which enters into rate equations that describe the evolution of the density of the slow and fast positron populations. Finally, to indicate operational parameters required for positron detection during runaway in tokamak discharges, we give expressions for the parameter dependencies of detected annihilation radiation compared to bremsstrahlung detected at an angle perpendicular to the direction of runaway acceleration. Using the full leading order pair production cross section, we demonstrate that previous related work has overestimated the collisional pair production by at least a factor of four.


title: Dissecting the region around IceCube-170922A: the blazar TXS 0506+056 as the first cosmic neutrino source

abstract: We present the dissection in space, time, and energy of the region around the IceCube-170922A neutrino alert. This study is motivated by: (1) the first association between a neutrino alert and a blazar in a flaring state, TXS 0506+056; (2) the evidence of a neutrino flaring activity during 2014 - 2015 from the same direction; (3) the lack of an accompanying simultaneous $\gamma$-ray enhancement from the same counterpart; (4) the contrasting flaring activity of a neighbouring bright $\gamma$-ray source, the blazar PKS 0502+049, during 2014 - 2015. Our study makes use of multi-wavelength archival data accessed through Open Universe tools and includes a new analysis of Fermi-LAT data. We find that PKS 0502+049 contaminates the $\gamma$-ray emission region at low energies but TXS 0506+056 dominates the sky above a few GeV. TXS 0506+056, which is a very strong (top percent) radio and $\gamma$-ray source, is in a high $\gamma$-ray state during the neutrino alert but in a low though hard $\gamma$-ray state in coincidence with the neutrino flare. Both states can be reconciled with the energy associated with the neutrino emission and, in particular during the low/hard state, there is evidence that TXS 0506+056 has undergone a hadronic flare with very important implications for blazar modelling. All multi-messenger diagnostics reported here support a single coherent picture in which TXS 0506+056, a very high energy $\gamma$-ray blazar, is the only counterpart of all the neutrino emissions in the region and therefore the most plausible first non-stellar neutrino and, hence, cosmic ray source.


title: Preferred magnetic excitations in Sr$_{1-x}$Na$_x$Fe$_2$As$_2$

abstract: We have used inelastic neutron scattering to determine magnetic excitations in a single-crystal sample of Sr$_{1-x}$Na$_x$Fe$_2$As$_2$. The material's two magnetic phases, which differ in their orthorhombic and tetragonal lattice symmetries, share very similar strengths of magnetic interactions as seen from the high-energy excitations. At low energies, excitations polarized along the $c$ axis are suppressed in the tetragonal magnetic phase, in accordance with the associated reorientation of the ordered moments. Although excitations perpendicular to the $c$ axis are still prominent, only the weak $c$-axis response exhibits a spin resonant mode in the superconducting state. Our result suggests that $c$-axis polarized magnetic excitations are important for the formation of the superconductivity, and naturally explains why the critical temperature is suppressed in the tetragonal magnetic phase.


title: Synchronization of Conservative Parallel Discrete Event Simulations on a Small-World Network

abstract: We examine the question of the influence of sparse long-range communications on the synchronization in parallel discrete event simulations (PDES). We build a model of the evolution of local virtual times (LVT) in a conservative algorithm including several choices of local links. All network realizations belong to the small-world network class. We find that synchronization depends on the average shortest path of the network. The time profile dynamics are similar to the surface profile growth, which helps to analyze synchronization effects using a statistical physics approach. Without long-range links of the nodes, the model belongs to the universality class of the Kardar--Parisi--Zhang equation for surface growth. We find that the critical exponents depend logarithmically on the fraction of long-range links. We present the results of simulations and discuss our observations.


title: Hyperbolic metrics on surfaces with boundary

abstract: We discuss an alternative approach to the uniformisation problem on surfaces with boundary by representing conformal structures on surfaces $M$ of general type by hyperbolic metrics with boundary curves of constant positive geodesic curvature. In contrast to existing approaches to this problem, the boundary curves of our surfaces $(M,g)$ cannot collapse as the conformal structure degenerates which is important in applications in which $(M,g)$ serves as domain of a PDE with boundary conditions.


title: Competitive Analysis System for Theatrical Movie Releases Based on Movie Trailer Deep Video Representation

abstract: Audience discovery is an important activity at major movie studios. Deep models that use convolutional networks to extract frame-by-frame features of a movie trailer and represent it in a form that is suitable for prediction are now possible thanks to the availability of pre-built feature extractors trained on large image datasets. Using these pre-built feature extractors, we are able to process hundreds of publicly available movie trailers, extract frame-by-frame low level features (e.g., a face, an object, etc) and create video-level representations. We use the video-level representations to train a hybrid Collaborative Filtering model that combines video features with historical movie attendance records. The trained model not only makes accurate attendance and audience prediction for existing movies, but also successfully profiles new movies six to eight months prior to their release.


title: Strong anisotropic interaction controls unusual sticking and scattering of CO at Ru(0001)

abstract: Complete sticking at low incidence energies and broad angular scattering distributions at higher energies are often observed in molecular beam experiments on gas-surface systems which feature a deep chemisorption well and lack early reaction barriers. Although CO binds strongly on Ru(0001), scattering is characterized by rather narrow angular distributions and sticking is incomplete even at low incidence energies. We perform molecular dynamics simulations, accounting for phononic (and electronic) energy loss channels, on a potential energy surface based on first principles electronic structure calculations that reproduce the molecular beam experiments. We demonstrate that the mentioned unusual behavior is a consequence of a very strong rotational anisotropy in the molecule-surface interaction potential. Beyond the interpretation of scattering phenomena, we also discuss implications of our results for the recently proposed role of a precursor state for the desorption and scattering of CO from ruthenium.


title: An Augmented Lagrangian Method for Optimization Problems in Banach Spaces

abstract: We propose a variant of the classical augmented Lagrangian method for constrained optimization problems in Banach spaces. Our theoretical framework does not require any convexity or second-order assumptions and allows the treatment of inequality constraints with infinite-dimensional image space. Moreover, we discuss the convergence properties of our algorithm with regard to feasibility, global optimality, and KKT conditions. Some numerical results are given to illustrate the practical viability of the method.


title: On measuring the Galactic dark matter halo with hypervelocity stars

abstract: Hypervelocity stars (HVSs) travel from the Galactic Centre across the dark matter halo of the Milky Way, where they are observed with velocities in excess of the Galactic escape speed. Because of their quasi-radial trajectories, they represent a unique probe of the still poorly constrained dark matter component of the Galactic potential. In this paper, we present a new method to produce such constraints. Our likelihood is based on the local HVS density obtained by back-propagating the observed phase space position and quantifies the ejection probability along the orbit. To showcase our method, we apply it to simulated Gaia samples of $\sim200$ stars in three realistic Galactic potentials with dark matter components parametrized by spheroidal NFW profiles. We find that individual HVSs exhibit a degeneracy in the scale mass-scale radius plane ($M_s-r_s$) and are able to measure only the combination $\alpha = M_s/r_s^2$. Likewise, a degeneracy is also present between $\alpha$ and the spheroidal axis-ratio $q$. In the absence of observational errors, we show the whole sample can nail down both parameters with {\it sub-per cent} precision (about $1\%$ and $0.1\%$ for $\alpha$ and $q$ respectively) with no systematic bias. This remarkable power to constrain deviations from a symmetric halo is a consequence of the Galactocentric origin of HVSs. To compare our results with other probes, we break the degeneracy in the scale parameters and impose a mass-concentration relation. The result is a competitive precision on the virial mass $M_{200}$ of about $10\%$.


title: Engineering Collaborative Social Science Toolkits. STS Methods and Concepts as Devices for Interdisciplinary Diplomacy

abstract: The smartification of industries is marked by the development of cyber-physical systems, interfaces, and intelligent software featuring knowledge models, empirical real-time data, and feedback-loops. This brings up new requirements and challenges for HMI design and industrial labor. Social sciences can contribute to such engineering projects with their perspectives, concepts and knowledge. Hence, we claim that, in addition to following their own intellectual curiosities, the social sciences can and should contribute to such projects in terms of an 'applied' science, helping to foster interdisciplinary collaboration and providing toolkits and devices for what we call 'interdisciplinary diplomacy'. We illustrate the benefits of such an approach, support them with selected examples of our involvement in such an engineering project and propose using methods as diplomatic devices and concepts as social theory plug-ins. The article ends with an outlook and reflection on the remaining issue of whether and in how far such 'applied' and critical social science can or should be integrated.


title: On Burnside Theory for groupoids

abstract: We explore the concept of conjugation between subgroupoids, providing several characterizations of the conjugacy relation (Theorem A in {\S}1.2). We show that two finite groupoid-sets, over a locally strongly finite groupoid, are isomorphic, if and only if, they have the same number of fixed points with respect to any subgroupoid with a single object (Theorem B in {\S}1.2). Lastly, we examine the ghost map of a finite groupoid and the idempotents elements of its Burnside algebra. The exposition includes an Appendix where we gather the main general technical notions that are needed along the paper.


title: Preparation and physical properties of soft magnetic nickel-cobalt nanowires with modulated diameters

abstract: We establish a method to produce cylindrical magnetic nanowires displaying several segments, with a large versatility in terms of segment diameter and length. It is based on electroplating in alumina templates, the latter being prepared by several steps of anodization, wet etching and atomic layer deposition to produce, widen or shrink pores, respectively. We propose an analytical model to analyze the in-plane and out-of-plane magnetization loops of dense assemblies of multisegmented wires. The model considers inter-wires dipolar fields, end-domain curling and predicts the switching field of individual wires with no adjustable parameter. Its ingredients are crucial to extract reliable parameters from the fitting of loops, such as magnetization or the porosity of the array.


title: Finite-key effects in multi-partite quantum key distribution protocols

abstract: We analyze the security of two multipartite quantum key distribution (QKD) protocols, specifically we introduce an $N$-partite version of the BB84 protocol and we discuss the $N$-partite six-state protocol proposed in arXiv:1612.05585v2. The security analysis proceeds from the generalization of known results in bipartite QKD to the multipartite scenario, and takes into account finite resources. In this context we derive a computable expression for the achievable key rate of both protocols by employing the best-known strategies: the uncertainty relation and the postselection technique. We compare the performances of the two protocols both for finite resources and infinitely many signals.


title: Uplink Massive MIMO for Channels with Spatial Correlation

abstract: A massive MIMO system entails a large number of base station antennas M serving a much smaller number of users. This leads to large gains in spectral and energy efficiency compared with other technologies. As the number of antennas M grows, the performance of such systems gets limited by pilot contamination interference. Large Scale Fading Precoding/Postcoding (LSFP) was proposed in literature for mitigation of pilot contamination. It was shown recently that in channels without spatial correlation (uncorrelated base station antennas) LSFP leads to large spectral-efficiency gains. Also, recently, it was observed that if a channel has spatial correlation, then one can use this correlation to drastically reduce the pilot contamination interference in the asymptotic regime as M tends to infinity. In this work, we analyze the performance of Uplink (UL) transmission of massive MIMO systems with finitely many antennas M for channels with spatial correlation. We extend the idea of LSFP to correlated channel models and derive SINR expressions that depend only on slow fading channel components for such systems with and without LSFP. These simple expressions lead us to simple algorithms for transmit power optimization. As a result, we obtain a multi-fold increase in data transmission rates.


title: Augmented Lagrangian Methods for the Solution of Generalized Nash Equilibrium Problems

abstract: We propose an augmented Lagrangian-type algorithm for the solution of generalized Nash equilibrium problems (GNEPs). Specifically, we discuss the convergence properties with regard to both feasibility and optimality of limit points. This is done by introducing a secondary GNEP as a new optimality concept. In this context, special consideration is given to the role of suitable constraint qualifications that take into account the particular structure of GNEPs. Furthermore, we consider the behaviour of the method for jointly-convex GNEPs and describe a modification which is tailored towards the computation of variational equilibria. Numerical results are included to illustrate the practical performance of the overall method.


title: STRICT: Information Retrieval Based Search Term Identification for Concept Location

abstract: During maintenance, software developers deal with numerous change requests that are written in an unstructured fashion using natural language. Such natural language texts illustrate the change requirement involving various domain related concepts. Software developers need to find appropriate search terms from those concepts so that they could locate the possible locations in the source code using a search technique. Once such locations are identified, they can implement the requested changes there. Studies suggest that developers often perform poorly in coming up with good search terms for a change task. In this paper, we propose a novel technique--STRICT--that automatically identifies suitable search terms for a software change task by analyzing its task description using two information retrieval (IR) techniques-- TextRank and POSRank. These IR techniques determine a term's importance based on not only its co-occurrences with other important terms but also its syntactic relationships with them. Experiments using 1,939 change requests from eight subject systems report that STRICT can identify better quality search terms than baseline terms from 52%--62% of the requests with 30%--57% Top-10 retrieval accuracy which are promising. Comparison with two state-of-the-art techniques not only validates our empirical findings and but also demonstrates the superiority of our technique.


title: Connectivity of the Julia set for the Chebyshev-Halley family on degree n polynomials

abstract: We study the Chebyshev-Halley family of root finding algorithms from the point of view of holomorphic dynamics. Numerical experiments show that the speed of convergence to the roots may be slower when the basins of attraction are not simply connected. In this paper we provide a criterion which guarantees the simple connectivity of the basins of attraction of the roots. We use the criterion for the Chebyshev-Halley methods applied to the degree $n$ polynomials $z^n+c$, obtaining a characterization of the parameters for which all Fatou components are simply connected and, therefore, the Julia set is connected. We also study how increasing $n$ affects the dynamics.


title: Influence of pump coherence on the quantum properties of spontaneous parametric down-conversion

abstract: The correlation properties of the pump field in spontaneous parametric down-conversion are crucial in determining the degree of entanglement of generated signal and idler photons. We find theoretically that continuous-variable entanglement of the transverse positions and momenta of these photons can be achieved only if the coherence of the pump beam is sufficiently high. The positions of signal and idler photons are found to be correlated, even for an incoherent pump. However, the momenta of the signal and idler photons are not anti-correlated, even though transverse momentum is conserved.


title: On a Problem of Wang Concerning the Hamiltonicity of Bipartite Digraphs

abstract: R. Wang (Discrete Mathematics and Theoretical Computer Science, vol. 19(3), 2017) proposed the following problem. \textbf{Problem.} Let $D$ be a strongly connected balanced bipartite directed graph of order $2a\geq 8$. Suppose that $d(x)\geq 2a-k$, $ d(y)\geq a+k$ or $d(y)\geq 2a-k$, $ d(x)\geq a+k$ for every pair of vertices $x,y$ with a common out-neighbour, where $2 \leq k\leq a/2$. Is $D$ Hamiltonian? In this paper, we prove that if a digraph $D$ satisfies the conditions of this problem, then (i) $D$ contains a cycle factor, (ii) for every vertex $x\in V(D)$ there exists a vertex $y\in V(D)$ such that $x$ and $y$ have a common out-neighbour.


title: RACK: Code Search in the IDE using Crowdsourced Knowledge

abstract: Traditional code search engines often do not perform well with natural language queries since they mostly apply keyword matching. These engines thus require carefully designed queries containing information about programming APIs for code search. Unfortunately, existing studies suggest that preparing an effective query for code search is both challenging and time consuming for the developers. In this paper, we propose a novel code search tool--RACK--that returns relevant source code for a given code search query written in natural language text. The tool first translates the query into a list of relevant API classes by mining keyword-API associations from the crowdsourced knowledge of Stack Overflow, and then applies the reformulated query to GitHub code search API for collecting relevant results. Once a query related to a programming task is submitted, the tool automatically mines relevant code snippets from thousands of open-source projects, and displays them as a ranked list within the context of the developer's programming environment--the IDE. Tool page: http://www.usask.ca/~masud.rahman/rack


title: Neutron stars and stellar mergers as a laboratory for dense QCD matter

abstract: Neutron star observations, including direct mass and radius measurements as well as the analysis of gravitational wave signals emitted by stellar mergers, provide valuable and unique insights into the properties of strongly interacting matter at high densities. In this proceedings contribution, I review recent efforts to systematically constrain the equation of state (EoS) of dense nuclear and quark matter using a combination of ab initio particle and nuclear physics calculations and astrophysical data. In particular, I discuss the constraints that the gravitational wave observation GW170817 has placed on the EoS, and comment on the future prospects of improving the accuracy, to which this quantity is known.


title: A note on approximating the nearest stable discrete-time descriptor system with fixed rank

abstract: Consider a discrete-time linear time-invariant descriptor system $Ex(k+1)=Ax(k)$ for $k \in \mathbb Z_{+}$. In this paper, we tackle for the first time the problem of stabilizing such systems by computing a nearby regular index one stable system $\hat E x(k+1)= \hat A x(k)$ with $\text{rank}(\hat E)=r$. We reformulate this highly nonconvex problem into an equivalent optimization problem with a relatively simple feasible set onto which it is easy to project. This allows us to employ a block coordinate descent method to obtain a nearby regular index one stable system. We illustrate the effectiveness of the algorithm on several examples.


title: Maxwell-consistent, symmetry- and energy-preserving solutions for ultrashort laser pulse propagation beyond the paraxial approximation

abstract: We analytically and numerically investigate the propagation of ultrashort tightly focused laser pulses in vacuum, with particular emphasis on Hermite-Gaussian and Laguerre-Gaussian modes. We revisit the Lax series approach for forward-propagating linearly-polarized laser pulses, in order to obtain Maxwell-consistent and symmetry-preserving analytical solutions for the propagation of all field components beyond the paraxial approximation in four-dimensional geometry (space and time). We demonstrate that our solution conserves the energy, which is set by the paraxial-level term of the series. The full solution of the wave equation towards which our series converges is calculated in the Fourier space. Three-dimensional numerical simulations of ultrashort tightly-focused pulses validate our analytical development.


title: Observation of dynamical phase transitions in a topological nanomechanical system

abstract: Dynamical phase transitions (DPTs), characterized by non-analytic behaviors in time domain, extend the equilibrium phase transitions to far-from-equilibrium situations. It has been predicted that DPTs can be precisely identified by the discontinuities of the Pancharatnam geometric phase (PGP) during the time evolution. However, PGP always mixes with dynamical phase and the experimental observation of DPTs by PGP is still absent. Here, we theoretically present a novel scheme for eliminating the dynamical phase by taking advantage of chiral symmetry in the Su-Schrieffer-Heeger (SSH) model, and experimentally observe DPTs by directly measuring PGP in a quenched topological nanomechanical lattice. Time-dependent topological structures of the SSH model are configured by eight strong-coupled high-quality-factor nanomechanical oscillators. By measuring the vibration phase and the normalized amplitude of the edge oscillator, we show a direct classical analog of DPTs. Furthermore, we experimentally demonstrate the robustness of DPTs against weak structure disorders, and numerically explore the relation between DPTs and the equilibrium phase boundary. This work not only establishes the quantitative method to identify DPTs, but also opens the door for studying non-equilibrium topological dynamics with a well-controlled nanomechanical system.


title: 10~Mb/s quantum key distribution

abstract: We report the first quantum key distribution (QKD) systems capable of delivering sustainable, real-time secure keys continuously at rates exceeding 10 Mb/s. To achieve such rates, we developed high speed post-processing modules, achieving maximum data throughputs of 60 MC/s, 55 Mb/s, and 108 Mb/s for standalone operation of sifting, error correction and privacy amplification modules, respectively. The photonic layer of the QKD systems features high-speed single photon detectors based on self-differencing InGaAs avalanche photodiodes, phase encoding using asymmetric Mach-Zehnder interferometer, and active stabilization of the interferometer phase and photon polarisation. An efficient variant of the decoy-state BB84 protocol is implemented for security analysis, with a large dataset size of $10^8$ bits selected to mitigate finite-size effects. Over a 2 dB channel, a record secure key rate of 13.72 Mb/s has been achieved averaged over 4.4 days of operation. We confirm the robustness and long-term stability on a second QKD system continuously running for 1 month without any user intervention.


title: Predicting Usefulness of Code Review Comments using Textual Features and Developer Experience

abstract: Although peer code review is widely adopted in both commercial and open source development, existing studies suggest that such code reviews often contain a significant amount of non-useful review comments. Unfortunately, to date, no tools or techniques exist that can provide automatic support in improving those non-useful comments. In this paper, we first report a comparative study between useful and non-useful review comments where we contrast between them using their textual characteristics, and reviewers' experience. Then, based on the findings from the study, we develop RevHelper, a prediction model that can help the developers improve their code review comments through automatic prediction of their usefulness during review submission. Comparative study using 1,116 review comments suggested that useful comments share more vocabulary with the changed code, contain salient items like relevant code elements, and their reviewers are generally more experienced. Experiments using 1,482 review comments report that our model can predict comment usefulness with 66\% prediction accuracy which is promising. Comparison with three variants of a baseline model using a case study validates our empirical findings and demonstrates the potential of our model.


title: The Impact of Feature Selection on Predicting the Number of Bugs

abstract: Bug prediction is the process of training a machine learning model on software metrics and fault information to predict bugs in software entities. While feature selection is an important step in building a robust prediction model, there is insufficient evidence about its impact on predicting the number of bugs in software systems. We study the impact of both correlation-based feature selection (CFS) filter methods and wrapper feature selection methods on five widely-used prediction models and demonstrate how these models perform with or without feature selection to predict the number of bugs in five different open source Java software systems. Our results show that wrappers outperform the CFS filter; they improve prediction accuracy by up to 33% while eliminating more than half of the features. We also observe that though the same feature selection method chooses different feature subsets in different projects, this subset always contains a mix of source code and change metrics.


title: On the lifting of the Dade group

abstract: For the group of endo-permutation modules of a finite \(p\)-group, there is a surjective reduction modulo \(p\) homomorphism from a complete discrete valuation ring of characteristic 0 to its residue field of characteristic \(p\). We prove that this reduction map always has a section which is a group homomorphism.


title: Improved Query Reformulation for Concept Location using CodeRank and Document Structures

abstract: During software maintenance, developers usually deal with a significant number of software change requests. As a part of this, they often formulate an initial query from the request texts, and then attempt to map the concepts discussed in the request to relevant source code locations in the software system (a.k.a., concept location). Unfortunately, studies suggest that they often perform poorly in choosing the right search terms for a change task. In this paper, we propose a novel technique --ACER-- that takes an initial query, identifies appropriate search terms from the source code using a novel term weight --CodeRank, and then suggests effective reformulation to the initial query by exploiting the source document structures, query quality analysis and machine learning. Experiments with 1,675 baseline queries from eight subject systems report that our technique can improve 71% of the baseline queries which is highly promising. Comparison with five closely related existing techniques in query reformulation not only validates our empirical findings but also demonstrates the superiority of our technique.


title: Fast yet Simple Natural-Gradient Descent for Variational Inference in Complex Models

abstract: Bayesian inference plays an important role in advancing machine learning, but faces computational challenges when applied to complex models such as deep neural networks. Variational inference circumvents these challenges by formulating Bayesian inference as an optimization problem and solving it using gradient-based optimization. In this paper, we argue in favor of natural-gradient approaches which, unlike their gradient-based counterparts, can improve convergence by exploiting the information geometry of the solutions. We show how to derive fast yet simple natural-gradient updates by using a duality associated with exponential-family distributions. An attractive feature of these methods is that, by using natural-gradients, they are able to extract accurate local approximations for individual model components. We summarize recent results for Bayesian deep learning showing the superiority of natural-gradient approaches over their gradient counterparts.


title: Many-body correlations brought to light in absorption spectra of diluted magnetic semiconductors

abstract: Diluted magnetic semiconductors are materials well known to exhibit strong correlations which typically manifest in carrier-mediated magnetic ordering. In this Rapid Communication, we show that the interaction between excitons and magnetic impurities in these materials is even strong enough to cause a significant deviation from the bare exciton picture in linear absorption spectra of quantum well nanostructures. It is found that exciton-impurity correlations induce a characteristic fingerprint in the form of an additional feature close to the exciton resonance in combination with a shift of the main exciton line of up to a few meV. We trace back these features to the form of the self-energy and demonstrate that reliable values of the average correlation energy per exciton can be extracted directly from the spectra. Since the only requirement for our findings is sufficiently strong correlations, the results can be generalized to other strongly correlated systems.


title: Fractal attractors induced by \beta-shifts

abstract: We describe a class of fractal attractors induced by \beta-shifts. We use a coding by these shifts to show that the systems are mixing with topological entropy log \beta and have an ergodic measure of full entropy. Moreover we determine the Hausdorff dimension of the attractor.


title: Dissipation of weakly nonlinear wakefields due to ion motion

abstract: In an initially uniform plasma, the lifetime of a weakly nonlinear plasma wave excited by a short driver is limited by the ion dynamics. The wakefield contains a slowly varying radial component, which results in a perturbation of the ion density profile and consequent destruction of the plasma wave. We suggest a novel method of characterizing the wave lifetime in numerical simulations quantitatively and study how the lifetime scales with the ion mass. We also discuss the implications of the limited lifetime on a recently proposed method of generating high-power terahertz radiation with counterpropagating wakefields driven by colliding laser pulses.


title: Different stellar rotation in the two main sequences of the young globular cluster NGC1818: first direct spectroscopic evidence

abstract: We present a spectroscopic analysis of main sequence (MS) stars in the young globular cluster NGC1818 (age~40 Myrs) in the Large Magellanic Cloud. Our photometric survey on Magellanic Clouds clusters has revealed that NGC1818, similarly to the other young objects with age 600 Myrs, displays not only an extended MS Turn-Off (eMSTO), as observed in intermediate-age clusters (age~1-2 Gyrs), but also a split MS. The most straightforward interpretation of the double MS is the presence of two stellar populations: a sequence of slowly-rotating stars lying on the blue-MS and a sequence of fast rotators, with rotation close to the breaking speed, defining a red-MS. We report the first direct spectroscopic measurements of projected rotational velocities vsini for the double MS, eMSTO and Be stars of a young cluster. The analysis of line profiles includes non-LTE effects, required for correctly deriving v sini values. Our results suggest that: (i) the mean rotation for blue- and red-MS stars is vsini=71\pm10 km/s (sigma=37 km/s) and vsini=202\pm23 km/s (sigma=91 km/s), respectively; (ii) eMSTO stars have different vsini, which are generally lower than those inferred for red-MS stars, and (iii) as expected, Be stars display the highest vsini values. This analyis supports the idea that distinct rotational velocities play an important role in the appearence of multiple stellar populations in the color-magnitude diagrams of young clusters, and poses new constraints to the current scenarios.


title: Mixed partition functions and exponentially bounded edge-connection rank

abstract: We study graph parameters whose associated edge-connection matrices have exponentially bounded rank growth. Our main result is an explicit construction of a large class of graph parameters with this property that we call mixed partition functions. Mixed partition functions can be seen as a generalization of partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207--227] and they are related to invariant theory of orthosymplectic supergroup. We moreover show that evaluations of the characteristic polynomial of a simple graph are examples of mixed partition functions, answering a question of de la Harpe and Jones.


title: ${\cal N}=1$ superfield description of BPS solutions in 6D gauged SUGRA with 3-branes

abstract: We provide ${\cal N}=1$ superfield description of BPS backgrounds in six-dimensional supergravity (6D SUGRA) with 3-branes, which is compactified on a two-dimensional space. The brane terms induce the localized fluxes. We find a useful gauge in which the background equations become significantly simple. This is not the Wess-Zumino gauge, and the relation to the usual component-field expression of 6D SUGRA is not straightforward. One of the equations reduces to the Liouville equation. By moving to the Wess-Zumino gauge, we check that our expressions reproduce the known results of the previous works, which are expressed in the component fields. Our results help us develop the systematic derivation of four-dimensional effective theories that keeps the ${\cal N}=1$ SUSY structure.


title: Fast Exact Algorithms Using Hadamard Product of Polynomials

abstract: Let $C$ be an arithmetic circuit of $poly(n)$ size given as input that computes a polynomial $f\in\mathbb{F}[X]$, where $X=\{x_1,x_2,\ldots,x_n\}$ and $\mathbb{F}$ is any field where the field arithmetic can be performed efficiently. We obtain new algorithms for the following two problems first studied by Koutis and Williams \cite{Kou08, Wi09, KW16}. k-MLC: Compute the sum of the coefficients of all degree-$k$ multilinear monomials in the polynomial $f$. k-MMD: Test if there is a nonzero degree-$k$ multilinear monomial in the polynomial $f$. Our algorithms are based on the fact that the Hadamard product $f\circ S_{n,k}$, is the degree-$k$ multilinear part of $f$, where $S_{n,k}$ is the $k^{th}$ elementary symmetric polynomial. 1. For k-MLC problem, we give a deterministic algorithm of run time $O^*(n^{k/2+c\log k})$ (where $c$ is a constant), answering an open question of Koutis and Williams \cite[ICALP'09]{KW16}. As corollaries, we show $O^*(\binom{n}{\downarrow k/2})$-time exact counting algorithms for several combinatorial problems: k-Tree, t-Dominating Set, m-Dimensional k-Matching. 2. For k-MMD problem, we give a randomized algorithm of run time $4.32^k\cdot poly(n,k)$. Our algorithm uses only $poly(n,k)$ space. This matches the run time of a recent algorithm \cite{BDH18} for $k-MMD$ which requires exponential (in $k$) space. Other results include fast deterministic algorithms for k-MLC and k-MMD problems for depth three circuits.


title: Splendid Morita equivalences for principal blocks with generalised quaternion defect groups

abstract: We prove that splendid Morita equivalences between principal blocks of finite groups with dihedral Sylow $2$-subgroups realised by Scott modules can be lifted to splendid Morita equivalences between principal blocks of finite groups with generalised quaternion Sylow $2$-subgroups realised by Scott modules.


title: Fibre based hyperentanglement generation for dense wavelength division multiplexing

abstract: Entanglement is a key resource in quantum information science and associated emerging technologies. Photonic systems offer a large range of exploitable entanglement degrees of freedom such as frequency, time, polarization, and spatial modes. Hyperentangled photons exploit multiple degrees of freedom simultaneously to enhance the performance of quantum information protocols. Here, we report a fully guided-wave approach for generating polarization and energy-time hyperentangled photons at telecom wavelengths. Moreover, by demultiplexing the broadband emission spectrum of the source into five standard telecom channel pairs, we demonstrate compliance with fibre network standards and improve the effective bit rate capacity of the quantum channel up to one order of magnitude. In all channel pairs, we observe a violation of a generalised Bell inequality by more than 27 standard deviations, underlining the relevance of our approach.


title: Fatou Set, Julia Set and Escaping Set in Holomorphic Subsemigroup Dynamics

abstract: We investigate to what extent Fatou set, Julia set and escaping set of transcendental semigroup is respectively equal to the Fatou set, Julia set and escaping set of its subsemigroup. We define partial fundamental set and fundamental set of transcendental semigroup and on the basis of this set, we prove that Fatou set and escaping set of transcendental semigroup $ S $ are non-empty.


title: Entropy production and asymptotic factorization via thermalization: a collisional model approach

abstract: The Markovian evolution of an open quantum system is characterized by a positive entropy production, while the global entropy gets redistributed between the system and the environment degrees of freedom. Starting from these premises, we analyze the entropy variation of an open quantum system in terms of two distinct relations: the Clausius inequality, that provides an intrinsic bound for the entropy variation in terms of the heat absorbed by the system, and an extrinsic inequality, which instead relates the former to the corresponding entropy increment of the environment. By modeling the thermalization process with a Markovian collisional model, we compare and discuss the two bounds, showing that the latter is asymptotically saturated in the limit of large interaction time. In this regime not only the reduced density matrix of the system reaches an equilibrium configuration, but it also factorizes from the environment degrees of freedom. This last result is proven analytically when the system-bath coupling is sufficiently strong and through numerical analysis in the weak-coupling regime.


title: On Darboux Theorem for symplectic forms on direct limits of symplectic Banach manifolds

abstract: Given an ascending sequence of weak symplectic Banach manifolds on which the Darboux theorem is true, we can ask about conditions under which the Darboux Theorem is also true on the direct limit. We will show in general, without very strong conditions, the answer is negative. In particular we give an example of an ascending weak symplectic Banach manifolds on which the Darboux Theorem is true but not on the direct limit. In a second part, we illustrate this discussion in the context of an ascending sequences of Sobolev manifolds of loops in symplectic finite dimensional manifolds. This context gives rise to an example of direct limit of weak symplectic Banach manifolds on which the Darboux theorem is true around any point.


title: Feasibility study towards comparison of the g^(2)(0) measurement in the visible range

abstract: This work reports on the pilot study, performed by INRIM, NPL and PTB, on the measurement of the g^(2)(0) parameter in the visible spectral range of a test single-photon source based on a colour centre in diamond. The development of single-photon sources is of great interest to the metrology community as well as the burgeoning quantum technologies industry. Measurement of the g^(2)(0) parameter plays a vital role in characterising and understanding single-photon emission. This comparison has been conducted by each partner individually using its own equipment at INRIM laboratories, which were responsible for the operation of the source