title: Conflicting disk inclination estimates for the black hole X-ray binary XTE J1550-564

abstract: XTE J1550-564 is a black hole X-ray binary for which the dynamical characteristics are well established, and the broadband spectral evolution of the source has been well studied. Its orbital inclination is known to be high, at $\sim75^{\circ}$, with the jet estimated to align well with the orbital axis. We explore simultaneous observations made with ASCA and RXTE, covering the $1$--$200$~keV band, during the early stages of the first outburst of XTE J1550-564 in its hard-intermediate state, on 1998-09-23/24. We show that the most up-to-date reflection models, applied to these data, yield an inclination estimate much lower than found in previous studies, at $\sim40^{\circ}$, grossly disagreeing with the dynamically estimated orbital inclination. We discuss the possible explanations for this disagreement and its implications for reflection models, including possible physical scenarios in which either the inner disk is misaligned both with binary orbit and the outer jet, or either the inner accretion flow, corona, and/or jet have vertical structure which leads to lower inferred disk inclination through various physical means.


title: Universal spin dynamics in infinite-temperature one-dimensional quantum magnets

abstract: We address the nature of spin dynamics in various integrable and non-integrable, isotropic and anisotropic quantum spin-$S$ chains, beyond the paradigmatic $S=1/2$ Heisenberg model. In particular, we investigate the algebraic long-time decay $\propto t^{-1/z}$ of the spin-spin correlation function at infinite temperature, using state-of-the-art simulations based on tensor network methods. We identify three universal regimes for the spin transport, independent of the exact microscopic model: (i) superdiffusive with $z=3/2$, as in the Kardar-Parisi-Zhang universality class, when the model is integrable with extra symmetries such as spin isotropy that drive the Drude weight to zero, (ii) ballistic with $z=1$ when the model is integrable with a finite Drude weight, and (iii) diffusive with $z=2$ with easy-axis anisotropy or without integrability, at variance with previous observations.


title: A Higher-Order Swiss Army Infinitesimal Jackknife

abstract: Cross validation (CV) and the bootstrap are ubiquitous model-agnostic tools for assessing the error or variability of machine learning and statistical estimators. However, these methods require repeatedly re-fitting the model with different weighted versions of the original dataset, which can be prohibitively time-consuming. For sufficiently regular optimization problems the optimum depends smoothly on the data weights, and so the process of repeatedly re-fitting can be approximated with a Taylor series that can be often evaluated relatively quickly. The first-order approximation is known as the "infinitesimal jackknife" in the statistics literature and has been the subject of recent interest in machine learning for approximate CV. In this work, we consider high-order approximations, which we call the "higher-order infinitesimal jackknife" (HOIJ). Under mild regularity conditions, we provide a simple recursive procedure to compute approximations of all orders with finite-sample accuracy bounds. Additionally, we show that the HOIJ can be efficiently computed even in high dimensions using forward-mode automatic differentiation. We show that a linear approximation with bootstrap weights approximation is equivalent to those provided by asymptotic normal approximations. Consequently, the HOIJ opens up the possibility of enjoying higher-order accuracy properties of the bootstrap using local approximations. Consistency of the HOIJ for leave-one-out CV under different asymptotic regimes follows as corollaries from our finite-sample bounds under additional regularity assumptions. The generality of the computation and bounds motivate the name "higher-order Swiss Army infinitesimal jackknife."


title: $T{\overline T}$, $\widetilde JJ$, $JT$ and $\widetilde JT$ deformations

abstract: The light-cone gauge approach to $T{\overline T}$ deformed models is generalised to models deformed by U(1) conserved currents $J^\alpha$, $\widetilde J^\alpha$, stress-energy tensor $T^\alpha{}_\beta$, and their various quadratic combinations of the form $\epsilon_{\alpha\beta} K_1^\alpha K_2^\beta$. It is then applied to derive a ten-parameter deformed Hamiltonian for a system of scalars with an arbitrary potential, the flow equations for the Hamiltonian density, and the flow equations for the energy of the deformed model. The flow equations disagree with the ones recently proposed in arXiv:1903.07606. The results obtained are applied to analyse a CFT with left- and right-moving conserved currents deformed by these operators. It is shown that with a proper choice of the parameter of the $T{\overline T}$ deformation the deformed CFT Hamiltonian density is independent of the parameters of the $J\Theta$ and $\bar J\overline \Theta$ deformations. This leads to the existence of two extra relations which generalise the $J\Theta=0$ and $\bar J\overline \Theta=0$ relations of the undeformed CFT. The spectrum of the deformed CFT is found and shown to satisfy the flow equations.


title: AiAds: Automated and Intelligent Advertising System for Sponsored Search

abstract: Sponsored search has more than 20 years of history, and it has been proven to be a successful business model for online advertising. Based on the pay-per-click pricing model and the keyword targeting technology, the sponsored system runs online auctions to determine the allocations and prices of search advertisements. In the traditional setting, advertisers should manually create lots of ad creatives and bid on some relevant keywords to target their audience. Due to the huge amount of search traffic and a wide variety of ad creations, the limits of manual optimizations from advertisers become the main bottleneck for improving the efficiency of this market. Moreover, as many emerging advertising forms and supplies are growing, it's crucial for sponsored search platform to pay more attention to the ROI metrics of ads for getting the marketing budgets of advertisers. In this paper, we present the AiAds system developed at Baidu, which use machine learning techniques to build an automated and intelligent advertising system. By designing and implementing the automated bidding strategy, the intelligent targeting and the intelligent creation models, the AiAds system can transform the manual optimizations into multiple automated tasks and optimize these tasks in advanced methods. AiAds is a brand-new architecture of sponsored search system which changes the bidding language and allocation mechanism, breaks the limit of keyword targeting with end-to-end ad retrieval framework and provides global optimization of ad creation. This system can increase the advertiser's campaign performance, the user experience and the revenue of the advertising platform simultaneously and significantly. We present the overall architecture and modeling techniques for each module of the system and share our lessons learned in solving several key challenges.


title: A Fast Minimum Degree Algorithm and Matching Lower Bound

abstract: The minimum degree algorithm is one of the most widely-used heuristics for reducing the cost of solving large sparse systems of linear equations. It has been studied for nearly half a century and has a rich history of bridging techniques from data structures, graph algorithms, and scientific computing. In this paper, we present a simple but novel combinatorial algorithm for computing an exact minimum degree elimination ordering in $O(nm)$ time, which improves on the best known time complexity of $O(n^3)$ and offers practical improvements for sparse systems with small values of $m$. Our approach leverages a careful amortized analysis, which also allows us to derive output-sensitive bounds for the running time of $O(\min\{m\sqrt{m^+}, \Delta m^+\} \log n)$, where $m^+$ is the number of unique fill edges and original edges that the algorithm encounters and $\Delta$ is the maximum degree of the input graph. Furthermore, we show there cannot exist an exact minimum degree algorithm that runs in $O(nm^{1-\varepsilon})$ time, for any $\varepsilon > 0$, assuming the strong exponential time hypothesis. This fine-grained reduction goes through the orthogonal vectors problem and uses a new low-degree graph construction called $U$-fillers, which act as pathological inputs and cause any minimum degree algorithm to exhibit nearly worst-case performance. With these two results, we nearly characterize the time complexity of computing an exact minimum degree ordering.


title: High-Capacity and Rain-Resilient Free-Space Optics Link Enabled by Time-Adaptive Probabilistic Shaping

abstract: Using time-adaptive probabilistic shaped 64QAM driven by a simple SNR prediction algorithm, we demonstrate $>$450 Gbps transmission over a 55-m free-space optics link with enhanced resilience towards rainy weather conditions. Through continuous measurement over 3-hours, we demonstrate $\sim$40~Gbps average bit-rate gain over unsupervised fixed modulation.


title: On the TeV Halo Fraction in gamma-ray bright Pulsar Wind Nebulae

abstract: The discovery of extended TeV emission around the Geminga and PSR B0656+14 pulsars, with properties consistent with free particle propagation in the interstellar medium (ISM), has sparked considerable discussion on the possible presence of such halos in other systems. Here we make an assessment of the current TeV source population associated with energetic pulsars, in terms of size and estimated energy density. Based on two alternative estimators we conclude that a large majority of the known TeV sources have emission originating in the zone energetically and dynamically dominated by the pulsar (i.e. the pulsar wind nebula), rather than from a halo of particles diffusing in to the ISM. Furthermore, whilst the number of established halos will surely increase in the future, we find that it is unlikely that such halos contribute significantly to the total TeV $\gamma$-ray luminosity from electrons accelerated in PWN.


title: It's All About The Scale -- Efficient Text Detection Using Adaptive Scaling

abstract: "Text can appear anywhere". This property requires us to carefully process all the pixels in an image in order to accurately localize all text instances. In particular, for the more difficult task of localizing small text regions, many methods use an enlarged image or even several rescaled ones as their input. This significantly increases the processing time of the entire image and needlessly enlarges background regions. If we were to have a prior telling us the coarse location of text instances in the image and their approximate scale, we could have adaptively chosen which regions to process and how to rescale them, thus significantly reducing the processing time. To estimate this prior we propose a segmentation-based network with an additional "scale predictor", an output channel that predicts the scale of each text segment. The network is applied on a scaled down image to efficiently approximate the desired prior, without processing all the pixels of the original image. The approximated prior is then used to create a compact image containing only text regions, resized to a canonical scale, which is fed again to the segmentation network for fine-grained detection. We show that our approach offers a powerful alternative to fixed scaling schemes, achieving an equivalent accuracy to larger input scales while processing far fewer pixels. Qualitative and quantitative results are presented on the ICDAR15 and ICDAR17 MLT benchmarks to validate our approach.


title: Solution to the Balitsky-Kovchegov equation with the collinearly improved kernel including impact-parameter dependence

abstract: The solution to the impact-parameter dependent Balitsky-Kovchegov equation with the collinearly improved kernel is studied in detail. The solution does not present the phenomenon of Coulomb tails at large impact parameters that have affected previous studies. The origin of this behaviour is explored numerically. It is found to be linked to the fact that this kernel suppresses large daughter dipoles. Solutions based on a physics motivated form of the initial condition are used to compute predictions for structure functions of the proton and the exclusive photo- and electroproduction of vector mesons. A reasonable agreement is found when comparing to HERA and LHC data.


title: From eigenstate to Hamiltonian: Prospects for ergodicity and localization

abstract: This paper addresses the so-called inverse problem which consists in searching for (possibly multiple) parent target Hamiltonian(s), given a single quantum state as input. Starting from $\Psi_0$, an eigenstate of a given local Hamiltonian $\mathcal{H}_0$, we ask whether or not there exists another parent Hamiltonian $\mathcal{H}_\mathrm{P}$ for $\Psi_0$, with the same local form as $\mathcal{H}_0$. Focusing on one-dimensional quantum disordered systems, we extend the recent results obtained for Bose-glass ground states [M. Dupont and N. Laflorencie, Phys. Rev. B 99, 020202(R) (2019)] to Anderson localization, and the many-body localization (MBL) physics occurring at high energy. We generically find that any localized eigenstate is a very good approximation for an eigenstate of a distinct parent Hamiltonian, with an energy variance $\sigma_\mathrm{P}^2(L)=\langle\mathcal{H}_\mathrm{P}^2\rangle_{\Psi_0}-\langle\mathcal{H}_\mathrm{P}\rangle_{\Psi_0}^2$ vanishing as a power law of system size $L$. This decay is microscopically related to a chain-breaking mechanism, also signalled by bottlenecks of vanishing entanglement entropy. A similar phenomenology is observed for both Anderson and MBL. In contrast, delocalized ergodic many-body eigenstates uniquely encode the Hamiltonian in the sense that $\sigma_\mathrm{P}^2(L)$ remains finite at the thermodynamic limit, i.e., $L\to+\infty$. As a direct consequence, the ergodic-MBL transition can be very well captured from the scaling of $\sigma_\mathrm{P}^2(L)$.


title: The Prescription Approach to Decentralized Stochastic Control with Word-of-Mouth Communication

abstract: In this paper we analyze a network of agents that communicates through word of mouth. In a word-of-mouth communication system, every agent communicates with its neighbors with delays in communication. This is a non-classical information structure where the topological and temporal restrictions in communication mean that information propagates slowly through the network. We present the prescription approach to derive structural results for such problems. The structural results lead to optimal control strategies with time invariant domain-sizes. We show that these domains are smaller in size than the control strategies derived using the common information approach.


title: Earthquakes and graftings of hyperbolic surface laminations

abstract: We study compact hyperbolic surface laminations. These are a generalization of closed hyperbolic surfaces which appear to be more suited to the study of Teichm\"uller theory than arbitrary non-compact surfaces. We show that the Teichm\"uller space of any non-trivial hyperbolic surface lamination is infinite dimensional. In order to prove this result, we study the theory of deformations of hyperbolic surfaces, and we derive what we believe to be a new formula for the derivative of the length of a simple closed geodesic with respect to the action of grafting. This formula complements those derived by McMullen in [23], in terms of the Weil-Petersson metric, and by Wolpert in [33], for the case of earthquakes.


title: Near-Field Radiation Exposure Control in Slot-Loaded Microstrip Antenna: A Characteristic Mode Approach

abstract: Microstip antenna topology is commonly loaded with a narrow slot to manipulate the resonance frequency or impedance bandwidth. However, the tuning of the resonance frequency or impedance bandwidth results in the variation of the current and field distributions. In this regard, this work adopts the concept of characteristic modes to gain an initial understanding of the perturbation mechanism of the rectangular patch when loaded with a slot. The performance of microstrip antennas with finite ground plane is then studied using full-wave simulation. It has been found that the distribution of the induced current density is highly dependent on the orientation of the slot The incorporation of a narrow slot suppresses the nearby orthogonal eigen mode and, as a consequence, the radiation behavior is affected. Specifically, in the presence of biological tissues in the near-field region, both antenna input impedance properties and the realized gain are dependent on the slot orientation. Different examples are included for understanding the impact of slot loading on the energy absorption by biological tissues, by calculating the the specific absorption rate (SAR). The proposed analysis facilitates the design of miniaturized antenna geometries for biomedical applications via systematic loading of narrow slots.


title: Evidence-based teaching: how do we all get there?

abstract: There are compelling reasons to shift our pedagogy toward evidence-based active learning methods that substantially improve student success, and now plenty of resources to aid in that shift. These include the recent CBMS Statement on Active Learning, MAA Instructional Practices Guide (IPG), and MIT Electronic Seminar on Mathematics Education. But implementation is neither quick nor easy. There are still plenty of individual, institutional, cultural, and professional obstacles, along with wonderful opportunities. At the 2019 Joint Mathematics Meetings we co-organized a guided discussion -- an ``un-panel'' -- sponsored by the American Mathematical Society's Committee on Education in order to stimulate the process of our community moving toward active learning in our teaching pedagogy. Seventy participants with fifteen discussion leaders expanded an initial list of issues, and considered questions around both challenges and opportunities. Here we summarize from these discussions, suggesting areas for collaborative efforts ranging from local colleagues and educational institutions to national and global professional societies.


title: Closed subsets of compact-like topological spaces

abstract: We investigate closed subsets (subsemigroups, resp.) of compact-like topological spaces (semigroups, resp.). We prove that each Hausdorff topological space can be embedded as a closed subspace into an H-closed topological space. However, the semigroup of $\omega{\times\omega}$-matrix units cannot be embedded into a topological semigroup which is a weakly H-closed topological space. We show that each Hausdorff topological space is a closed subspace of some $\omega$-bounded pracompact topological space and describe open dense subspaces of countably pracompact topological spaces. Also, we construct a pseudocompact topological semigroup which contains the bicyclic monoid as a closed subsemigroup, providing a positive solution of a problem posed by Banakh, Dimitrova, and Gutik.


title: Towards Optimizing Reiter's HS-Tree for Sequential Diagnosis

abstract: Reiter's HS-Tree is one of the most popular diagnostic search algorithms due to its desirable properties and general applicability. In sequential diagnosis, where the addressed diagnosis problem is subject to successive change through the acquisition of additional knowledge about the diagnosed system, HS-Tree is used in a stateless fashion. That is, the existing search tree is discarded when new knowledge is obtained, albeit often large parts of the tree are still relevant and have to be rebuilt in the next iteration, involving redundant operations and costly reasoner calls. As a remedy to this, we propose DynamicHS, a variant of HS-Tree that avoids these redundancy issues by maintaining state throughout sequential diagnosis while preserving all desirable properties of HS-Tree. Preliminary results of ongoing evaluations in a problem domain where HS-Tree is the state-of-the-art diagnostic method suggest significant time savings achieved by DynamicHS by reducing expensive reasoner calls.


title: The Kerr-Cat Qubit: Stabilization, Readout, and Gates

abstract: Quantum superpositions of macroscopically distinct classical states, so-called Schr\"{o}dinger cat states, are a resource for quantum metrology, quantum communication, and quantum computation. In particular, the superpositions of two opposite-phase coherent states in an oscillator encode a qubit protected against phase-flip errors. However, several challenges have to be overcome in order for this concept to become a practical way to encode and manipulate error-protected quantum information. The protection must be maintained by stabilizing these highly excited states and, at the same time, the system has to be compatible with fast gates on the encoded qubit and a quantum non-demolition readout of the encoded information. Here, we experimentally demonstrate a novel method for the generation and stabilization of Schr\"{o}dinger cat states based on the interplay between Kerr nonlinearity and single-mode squeezing in a superconducting microwave resonator. We show an increase in transverse relaxation time of the stabilized, error-protected qubit over the single-photon Fock-state encoding by more than one order of magnitude. We perform all single-qubit gate operations on time-scales more than sixty times faster than the shortest coherence time and demonstrate single-shot readout of the protected qubit under stabilization. Our results showcase the combination of fast quantum control with the robustness against errors intrinsic to stabilized macroscopic states and open up the possibility of using these states as resources in quantum information processing.


title: Impact of $1/f$ noise on cosmological parameter constraints for SKA intensity mapping

abstract: We investigate the impact of $1/f$ noise on cosmology for an intensity mapping survey with SKA1-MID Band\,1 and Band\,2. We use a Fisher matrix approach to forecast constraints on cosmological parameters under the influence of $1/f$ noise, adopting a semi-empirical model from an earlier work, which results from the residual $1/f$ noise spectrum after applying a component separation algorithm to remove smooth spectral components. Without $1/f$ noise, the projected constraints are $4\%$ on $w_0$, $1\%$ on $h$, $2\%$ on $b_{\rm HI}$ using Band\,1+\emph{Planck}, and $3\%$ on $w_0$, $0.5\%$ on $h$, $2\%$ on $b_{\rm HI}$ using Band\,2+\emph{Planck}. A representative baseline $1/f$ noise degrades these constraints by a factor of $\sim1.5$ for Band\,1+\emph{Planck}, and $\sim1.2$ for Band\,2+\emph{Planck}. On the power spectrum measurement, higher redshift and smaller scales are more affected by $1/f$ noise, with minimal contamination comes from $z\lesssim1$ and $\ell\lesssim100$. Subject to the specific scan strategy of the adopted $1/f$ noise model, one prefers a correlated in frequency with minimised spectral slope, a low knee frequency, and a large telescope slew speed in order to reduce its impact.


title: An Empirical Study on Leveraging Scene Graphs for Visual Question Answering

abstract: Visual question answering (Visual QA) has attracted significant attention these years. While a variety of algorithms have been proposed, most of them are built upon different combinations of image and language features as well as multi-modal attention and fusion. In this paper, we investigate an alternative approach inspired by conventional QA systems that operate on knowledge graphs. Specifically, we investigate the use of scene graphs derived from images for Visual QA: an image is abstractly represented by a graph with nodes corresponding to object entities and edges to object relationships. We adapt the recently proposed graph network (GN) to encode the scene graph and perform structured reasoning according to the input question. Our empirical studies demonstrate that scene graphs can already capture essential information of images and graph networks have the potential to outperform state-of-the-art Visual QA algorithms but with a much cleaner architecture. By analyzing the features generated by GNs we can further interpret the reasoning process, suggesting a promising direction towards explainable Visual QA.


title: On local real algebraic geometry and applications to kinematics

abstract: We address the question of identifying non-smooth points in affine real algebraic varieties. A simple algebraic criterion will be formulated and proven. As an application we can answer several questions about the configuration spaces of some class of planar linkages.


title: An isovariant Elmendorf's theorem

abstract: An isovariant map between spaces with a group action is an equivariant map which preserves isotropy groups. In this paper, we show that for a finite group $G$, the category of $G$-spaces with isovariant maps has a Quillen model structure. We prove a Piacenza-style model theoretic proof of an isovariant Elmendorf's theorem, showing that this model structure is Quillen equivalent to a model category of diagrams.


title: A contribution of star-forming clumps and accreting satellites to the mass assembly of z ~ 2 galaxies

abstract: We investigate the contribution of clumps and satellites to the galaxy mass assembly. We analyzed spatially-resolved Hubble Space Telescope observations (imaging and slitless spectroscopy) of 53 star-forming galaxies at z ~ 1 - 3. We created continuum and emission line maps and pinpointed residual "blobs" detected after subtracting the galaxy disk. Those were separated into compact (unresolved) and extended (resolved) components. Extended components have sizes ~ 2 kpc and comparable stellar mass and age as the galaxy disks, whereas the compact components are 1.5 dex less massive and 0.4 dex younger than the disks. Furthermore the extended blobs are typically found at larger distances from the galaxy barycenter than the compact ones. Prompted by these observations and by the comparison with simulations, we suggest that compact blobs are in-situ formed clumps, whereas the extended ones are accreting satellites. Clumps and satellites enclose respectively ~ 20% and ~< 80% of the galaxy stellar mass, ~ 30% and ~ 20% of its star formation rate. Considering the compact blobs, we statistically estimated that massive clumps (Mstar >~ 10^9 Msun) have lifetimes of ~ 650 Myr, and the less massive ones (10^8 < Mstar < 10^9 Msun) of ~ 145 Myr. This supports simulations predicting long-lived clumps (lifetime > 100 Myr). Finally, ~< 30% (13%) of our sample galaxies are undergoing single (multiple) merger(s), they have a projected separation ~< 10 kpc, and the typical mass ratio of our satellites is 1:5 (but ranges between 1:10 and 1:1), in agreement with literature results for close pair galaxies.


title: Angular momentum transport and flow organisation in Taylor-Couette flow at radius ratio of $\eta=0.357$

abstract: We experimentally and numerically investigate the angular momentum transport in turbulent Taylor-Couette flow for independently rotating cylinders at a small radius ratio of $\eta=0.357$ for various shear Reynolds numbers ($4.5\times 10^3 \leq Re_S \leq 1.2 \times 10^5$) and ratios of angular velocities ($-0.5 \leq \mu \leq 0.2$). \red{The momentum transport in terms of the pseudo-Nusselt number ${Nu}_\omega$ does not show a pure power law scaling with the forcing $Re_S$ and features non-constant effective scaling between $1.3\times 10^4 \leq Re_S \leq 4 \times 10^4$. This transition lies in the classical turbulent regime and is caused by the curvature-dependent limited capacity of the outer cylinder to emit small-scale plumes at a sufficient rate to equalize the angular momentum in the bulk.} For counter-rotating cylinders, a maximum in the torque occurs at $\mu_{\max}=-0.123 \pm 0.030$. The origin of this maximum can be attributed to a strengthening of turbulent Taylor vortices, which is revealed by the flow visualization technique. In addition, different flow states at $\mu_{\max}$ concerning the wavelength of the large-scale vortices have been detected. The experimental and numerical results for the Nusselt number show a very good agreement.


title: Are Odds Really Odd? Bypassing Statistical Detection of Adversarial Examples

abstract: Deep learning classifiers are known to be vulnerable to adversarial examples. A recent paper presented at ICML 2019 proposed a statistical test detection method based on the observation that logits of noisy adversarial examples are biased toward the true class. The method is evaluated on CIFAR-10 dataset and is shown to achieve 99% true positive rate (TPR) at only 1% false positive rate (FPR). In this paper, we first develop a classifier-based adaptation of the statistical test method and show that it improves the detection performance. We then propose Logit Mimicry Attack method to generate adversarial examples such that their logits mimic those of benign images. We show that our attack bypasses both statistical test and classifier-based methods, reducing their TPR to less than 2:2% and 1:6%, respectively, even at 5% FPR. We finally show that a classifier-based detector that is trained with logits of mimicry adversarial examples can be evaded by an adaptive attacker that specifically targets the detector. Furthermore, even a detector that is iteratively trained to defend against adaptive attacker cannot be made robust, indicating that statistics of logits cannot be used to detect adversarial examples.


title: Relating Two Dialects of Answer Set Programming

abstract: The input language of the answer set solver clingo is based on the definition of a stable model proposed by Paolo Ferraris. The semantics of the ASP-Core language, developed by the ASP Standardization Working Group, uses the approach to stable models due to Wolfgang Faber, Nicola Leone, and Gerald Pfeifer. The two languages are based on different versions of the stable model semantics, and the ASP-Core document requires, "for the sake of an uncontroversial semantics," that programs avoid the use of recursion through aggregates. In this paper we prove that the absence of recursion through aggregates does indeed guarantee the equivalence between the two versions of the stable model semantics, and show how that requirement can be relaxed without violating the equivalence property. The paper is under consideration for publication in Theory and Practice of Logic Programming.


title: Smallest QCD Droplet and Multiparticle Correlations in pp Collisions

abstract: The collective evolution of produced matter in heavy-ion collisions is effectively described by hydrodynamics from time scales greater than the inverse of the temperature, $\tau \gtrsim 1/T$. In the context of the Gubser solution, I show that the hydrodynamization condition $\tau \, T \gtrsim 1$ is translated into an allowed domain in the spatial system size and the final multiplicity for hydrodynamics applicability. It turns out that the flow measurements in pp collisions are inside the domain of validity. I predict that by approaching the boundaries of the allowed domain the hydrodynamic response to the initial ellipticity changes its sign. I follow a rather model-independent approach for the initial state where, instead of modeling the initial energy density of individual events, the initial system size and ellipticity event-by-event fluctuation are modeled. The model, initial state fluctuation+Gubser solution+Cooper-Frye freeze-out, describes the multiplicity and transverse momentum dependence of two-point and four-point correlation functions ($c_2\{2\}$ and $c_2\{4\}$) in an accurate agreement with pp collision experimental measurements. In particular, the sign of the four-point correlation function is the same as the observation, which failed to be described correctly in previous studies. I also predict a signal for the sign change in the hydrodynamic response that can be inspected in future experimental measurements of two-point and four-point correlation functions at lower multiplicities.


title: Characterizing and Understanding Software Developer Networks in Security Development

abstract: To build secure software, developers often work together during software development and maintenance to find, fix, and prevent security vulnerabilities. Examining the nature of developer interactions during their security activities regarding security introducing and fixing activities can provide insights for improving current practices. In this work, we conduct a large-scale empirical study to characterize and understand developers' interactions during their security activities regarding security introducing and fixing, which involves more than 16K security fixing commits and over 28K security introducing commits from nine large-scale open-source software projects. For our analysis, we first examine whether a project is a hero-centric project when assessing developers' contribution in their security activities. Then we study the interaction patterns between developers, explore how the distribution of the patterns changes over time, and study the impact of developers' interactions on the quality of projects. In addition, we also characterize the nature of developer interaction in security activities in comparison to developer interaction in non-security activities (i.e., introducing and fixing non-security bugs). Among our findings we identify that: most of the experimental projects are non hero-centric projects when evaluating developers' contribution by using their security activities; there exist common dominating interaction patterns across our experimental projects; the distribution of interaction patterns has correlation with the quality of software projects. We believe the findings from this study can help developers understand how vulnerabilitiesoriginate and fix under the interactions of software developers.


title: Thermodynamic interpretation of the de Sitter swampland conjecture

abstract: We interpret the de Sitter swampland conjecture in the thermodynamic point of view. When the number of degrees of freedom is enhanced as the modulus rolls down the potential, the bound on $m_{\rm Pl} \nabla V/V$ is equivalent to the condition for the positive temperature phase. The boundary between the positive- and the negative temperature phases is preferred by the classical system since the entropy density is maximized. The distance conjecture imposes that (quasi-)de Sitter spacetime is entirely in the negative temperature phase and statistically disfavored. By investigating the concave potential, we also justify the bound on $m_{\rm Pl}^2 \nabla^2 V/V$.


title: Repeated derivatives of tanh, sech, ... and associated polynomials

abstract: Elementary problems like the evaluation of repeated derivatives of ordinary transcendent functions can usefully be treated by the use of special polynomials and of a formalism borrowed from combinatorial analysis. Motivated by previous researches in this field, we review the results obtained by other authors and develop a complementary point of view for the repeated derivatives of sec(.), tan(.) and for their hyperbolic counterparts.


title: A Proof of Concept SRAM-based Physically Unclonable Function (PUF) Key Generation Mechanism for IoT Devices

abstract: This paper provides a proof of concept for using SRAM based Physically Unclonable Functions (PUFs) to generate private keys for IoT devices. PUFs are utilized, as there is inadequate protection for secret keys stored in the memory of the IoT devices. We utilize a custom-made Arduino mega shield to extract the fingerprint from SRAM chip on demand. We utilize the concepts of ternary states to exclude the cells which are easily prone to flip, allowing us to extract stable bits from the fingerprint of the SRAM. Using the custom-made software for our SRAM device, we can control the error rate of the PUF to achieve an adjustable memory-based PUF for key generation. We utilize several fuzzy extractor techniques based on using different error correction coding methods to generate secret keys from the SRAM PUF, and study the trade-off between the false authentication rate and false rejection rate of the PUF.


title: Iris Recognition for Personal Identification using LAMSTAR neural network

abstract: Iris recognition is one of the most important biometric recognition method. This is because the iris texture provides many features such as freckles, coronas, stripes, furrows, crypts, etc. Those features are unique for different people and distinguishable. Such unique features in the anatomical structure of the iris make it possible the differentiation among individuals. So during last years huge number of people have been trying to improve its performance. In this article first different common steps for the Iris recognition system is explained. Then a special type of neural network is used for recognition part. Experimental results show high accuracy can be obtained especially when the primary steps are done well.


title: On Norm-Based Estimations for Domains of Attraction in Nonlinear Time-Delay Systems

abstract: For nonlinear time-delay systems, domains of attraction are rarely studied despite their importance for technological applications. The present paper provides methodological hints for the determination of an upper bound on the radius of attraction by numerical means. Thereby, the respective Banach space for initial functions has to be selected and primary initial functions have to be chosen. The latter are used in time-forward simulations to determine a first upper bound on the radius of attraction. Thereafter, this upper bound is refined by secondary initial functions, which result a posteriori from the preceding simulations. Additionally, a bifurcation analysis should be undertaken. This analysis results in a possible improvement of the previous estimation. An example of a time-delayed swing equation demonstrates the various aspects.


title: Capacitance-voltage measurements of (Bi$_{1-x}$Sb$_x$)$_2$Te$_3$ field effect device

abstract: Capacitance-voltage ($\textit{C-V}$) traces in n-type-(Bi$_{1-x}$Sb$_x$)$_2$Te$_3$/oxide/metal capacitor structures using an AC capacitance bridge are investigated. By tuning the top gate voltage from positive to negative values, the system at the interface is tuned from accumulation, via depletion into inversion. Our results show the typical low-frequency and high frequency $\textit{C-V}$ traces, depending on measuring frequency, temperature and illumination intensity and reflecting their sensitive dependence on recombination/generation rates. Superimposed a strong hysteresis under inversion is also observed which is ascribed to the presence of conventional localized surface states which coexist with topological surface states.


title: The physics of Erythrocyte Sedimentation Rate

abstract: An erythrocytes sedimentation rate (ESR) measures how fast a blood sample sediments along a test tube in one hour in a clinical laboratory. Since elevated level of ESR is associated with inflammatory diseases, ESR is one of the routine hematology test in a clinical laboratory. In this paper, the physics of erythrocyte (RBC) sedimentation rate as well as the dynamics of the RBC is explored by modeling the dynamics of the cells as the motion of Brownian particle moving in a viscous medium. The viscous friction of blood $\gamma$ is considered to decrease as the temperature of the medium increases \cite{aa1}. The results obtained in this work show that the ESR increases as the number of red blood cells (that bind together in the sedimentation process) steps up. The room temperature also affects the sedimentation rate. As the room temperature rises up, the ESR steps up. Furthermore the dynamics of the RBC along a Westergren pipet that is held in an upright position is explored. The exact analytic result depicts that the velocity of cells increases as the number of cells that form rouleaux steps up. Since our study is performed by considering real physical parameters, the results obtained in this work non only agree with the experimental observations but also helps to understand most hematological experiments that are conducted in vitro.


title: Uniform Orderings for Generalized Coloring Numbers

abstract: The generalized coloring numbers col_r(G) (also denoted by scol_r(G)) and wcol_r(G) of a graph G were introduced by Kierstead and Yang as a generalization of the usual coloring number, and have found important theoretical and algorithmic applications. For each distance r, these numbers are determined by an "optimal" ordering of the vertices of G. We study the question of whether it is possible to find a single "uniform" ordering that is "good" for all distances r. We show that the answer to this question is essentially "yes". Our results give new characterizations of graph classes with bounded expansion and nowhere dense graph classes.


title: Mitigating Unobserved Spatial Confounding when Estimating the Effect of Supermarket Access on Cardiovascular Disease Deaths

abstract: Confounding by unmeasured spatial variables has received some attention in the spatial statistics and causal inference literatures, but concepts and approaches have remained largely separated. In this paper, we aim to bridge these distinct strands of statistics by considering unmeasured spatial confounding within a causal inference framework, and estimating effects using outcome regression tools popular within the spatial literature. First, we show how using spatially correlated random effects in the outcome model, an approach common among spatial statisticians, does not necessarily mitigate bias due to spatial confounding, a previously published but not universally known result. Motivated by the bias term of commonly-used estimators, we propose an affine estimator which addresses this deficiency. We discuss how unbiased estimation of causal parameters in the presence of unmeasured spatial confounding can only be achieved under an untestable set of assumptions which will often be application-specific. We provide a set of assumptions which describe how the exposure and outcome of interest relate to the unmeasured variables, and we show that this set of assumptions is sufficient for identification of the causal effect based on the observed data when spatial dependencies can be represented by a ring graph. We implement our method using a fully Bayesian approach applicable to any type of outcome variable. This work is motivated by and used to estimate the effect of county-level limited access to supermarkets on the rate of cardiovascular disease deaths in the elderly across the whole continental United States. Even though standard approaches return null or protective effects, our approach uncovers evidence of unobserved spatial confounding, and indicates that limited supermarket access has a harmful effect on cardiovascular mortality.


title: Dirac Wire

abstract: The interplay of photon spin and orbital angular momentum (OAM) in the optical fiber (1D waveguide) has recently risen to the forefront of quantum nanophotonics. Here, we introduce the fermionic dual of the optical fiber, the Dirac wire, which exhibits unique electronic spin and OAM properties arising from confined solutions of the Dirac equation. The Dirac wires analyzed here represent cylindrical generalizations of the Jackiw-Rebbi domain wall and the minimal topological insulator, which are of significant interest in spintronics. We show the unique longitudinal spin arising from electrons confined to propagation in a wire, an effect which is fundamentally prohibited in planar geometries. Our work sheds light on the universal spatial dynamics of electron spin in confined geometries and the duality between electronic and photonic spin.


title: Faster asynchronous MST and low diameter tree construction with sublinear communication

abstract: Building a spanning tree, minimum spanning tree (MST), and BFS tree in a distributed network are fundamental problems which are still not fully understood in terms of time and communication cost. x The first work to succeed in computing a spanning tree with communication sublinear in the number of edges in an asynchronous CONGEST network appeared in DISC 2018. That algorithm which constructs an MST is sequential in the worst case; its running time is proportional to the total number of messages sent. Our paper matches its message complexity but brings the running time down to linear in $n$. Our techniques can also be used to provide an asynchronous algorithm with sublinear communication to construct a tree in which the distance from a source to each node is within an additive term of $\sqrt{n}$ of its actual distance. We can convert any asynchronous MST algorithm with time $T(n, m)$ and message complexity of $M(n, m)$ to an algorithm with time $O(n^{1 - 2\epsilon} + T(n, n^{3/2 + \epsilon}))$ and message complexity of $\tilde{O}(n^{3/2 + \epsilon} + M(n, n^{3/2+\epsilon}))$, for $\epsilon \in [0, 1/4]$. Picking $\epsilon = 0$ and using Awerbuch's algorithm \cite{awerbuch1987optimal}, this results in an MST algorithm with time $O(n)$ and message complexity $\tilde{O}(n^{3/2})$. However, if there were an asynchronous MST algorithm that takes time sublinear in $n$ and requires messages linear in $m$, by picking $\epsilon > 0$ we could achieve sublinear time (in $n$) and sublinear communication (in $m$), simultaneously. To the best of our knowledge, there is no such algorithm. All the algorithms presented here are Monte Carlo and succeed with high probability, in the KT1 CONGEST asynchronous model.


title: Developing Workforce with Mathematical Modeling Skills

abstract: Mathematicians have traditionally been a select group of academics that produce high-impact ideas allowing substantial results in several fields of science. Throughout the past 35 years, undergraduates enrolling in mathematics or statistics have represented a nearly constant rate of approximately 1% of bachelor degrees awarded in the United States. Even within STEM majors, mathematics or statistics only constitute about 6% of undergraduate degrees awarded nationally. However, the need for STEM professionals continues to grow and the list of needed occupational skills rests heavily in foundational concepts of mathematical modeling curricula, where the interplay of data, computer simulation and underlying theoretical frameworks takes center stage. It is not viable to expect a majority of these STEM undergraduates to pursue a double-major that includes mathematics. Here we present our solution, some early results of implementation, and a vision for possible nationwide adoption.


title: $L_\infty$-algebras and the perturbiner expansion

abstract: Certain classical field theories admit a formal multi-particle solution, known as the perturbiner expansion, that serves as a generating function for all the tree-level scattering amplitudes and the Berends-Giele recursion relations they satisfy. In this paper it is argued that the minimal model for the $L_{\infty}$-algebra that governs a classical field theory contains enough information to determine the perturbiner expansion associated to such theory. This gives a prescription for computing the tree-level scattering amplitudes by inserting the perturbiner solution into the homotopy Maurer-Cartan action for the $L_{\infty}$-algebra. We confirm the method in the non-trivial examples of bi-adjoint scalar and Yang-Mills theories.


title: Guaranteed optimal reachability control of reaction-diffusion equations using one-sided Lipschitz constants and model reduction

abstract: We show that, for any spatially discretized system of reaction-diffusion, the approximate solution given by the explicit Euler time-discretization scheme converges to the exact time-continuous solution, provided that diffusion coefficient be sufficiently large. By "sufficiently large", we mean that the diffusion coefficient value makes the one-sided Lipschitz constant of the reaction-diffusion system negative. We apply this result to solve a finite horizon control problem for a 1D reaction-diffusion example. We also explain how to perform model reduction in order to improve the efficiency of the method.


title: Introducing Autarkies for DQCNF

abstract: Autarkies for SAT can be used for theoretical studies, pre-processing and inprocessing. They generalise satisfying assignments by allowing to leave some clauses "untouched" (no variable assigned). We introduce the natural generalisation to DQCNF (dependency-quantified boolean CNF), with the perspective of SAT translations for special cases. Finding an autarky for DQCNF is as hard as finding a satisfying assignment. Fortunately there are (many) natural autarky-systems, which allow restricting the range of autarkies to a more feasible domain, while still maintaining the good general properties of arbitrary autarkies. We discuss what seems the most fundamental autarky systems, and how the related reductions can be found by SAT solvers.


title: Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis

abstract: We propose "semantic labelling" as a novel ingredient for solving games in the context of LTL synthesis. It exploits recent advances in the automata-based approach, yielding more information for each state of the generated parity game than the game graph can capture. We utilize this extra information to improve standard approaches as follows. (i) Compared to strategy improvement (SI) with random initial strategy, a more informed initialization often yields a winning strategy directly without any computation. (ii) This initialization makes SI also yield smaller solutions. (iii) While Q-learning on the game graph turns out not too efficient, Q-learning with the semantic information becomes competitive to SI. Since already the simplest heuristics achieve significant improvements the experimental results demonstrate the utility of semantic labelling. This extra information opens the door to more advanced learning approaches both for initialization and improvement of strategies.


title: Principal factors and lattice minima

abstract: Let $\mathit{k}=\mathbb{Q}(\sqrt[3]{d},\zeta_3)$, where $d>1$ is a cube-free positive integer, $\mathit{k}_0=\mathbb{Q}(\zeta_3)$ be the cyclotomic field containing a primitive cube root of unity $\zeta_3$, and $G=\operatorname{Gal}(\mathit{k}/\mathit{k}_0)$. The possible prime factorizations of $d$ in our main result [2, Thm. 1.1] give rise to new phenomena concerning the chain $\Theta=(\theta_i)_{i\in\mathbb{Z}}$ of \textit{lattice minima} in the underlying pure cubic subfield $L=\mathbb{Q}(\sqrt[3]{d})$ of $\mathit{k}$. The aims of the present work are to give criteria for the occurrence of generators of primitive ambiguous principal ideals $(\alpha)\in\mathcal{P}_{\mathit{k}}^G/\mathcal{P}_{\mathit{k}_0}$ among the lattice minima $\Theta=(\theta_i)_{i\in\mathbb{Z}}$ of the underlying pure cubic field $L=\mathbb{Q}(\sqrt[3]{d})$, and to explain exceptional behavior of the chain $\Theta$ for certain radicands $d$ with impact on determining the principal factorization type of $L$ and $\mathit{k}$ by means of Voronoi's algorithm.


title: Approximating the Span of Principal Components via Iterative Least-Squares

abstract: In the course of the last century, Principal Component Analysis (PCA) have become one of the pillars of modern scientific methods. Although PCA is normally addressed as a statistical tool aiming at finding orthogonal directions on which the variance is maximized, its first introduction by Pearson at 1901 was done through defining a non-linear least-squares minimization problem of fitting a plane to scattered data points. Thus, it seems natural that PCA and linear least-squares regression are somewhat related, as they both aim at fitting planes to data points. In this paper, we present a connection between the two approaches. Specifically, we present an iterated linear least-squares approach, yielding a sequence of subspaces, which converges to the space spanned by the leading principal components (i.e., principal space).


title: Adaptive spline fitting with particle swarm optimization

abstract: In fitting data with a spline, finding the optimal placement of knots can significantly improve the quality of the fit. However, the challenging high-dimensional and non-convex optimization problem associated with completely free knot placement has been a major roadblock in using this approach. We present a method that uses particle swarm optimization (PSO) combined with model selection to address this challenge. The problem of overfitting due to knot clustering that accompanies free knot placement is mitigated in this method by explicit regularization, resulting in a significantly improved performance on highly noisy data. The principal design choices available in the method are delineated and a statistically rigorous study of their effect on performance is carried out using simulated data and a wide variety of benchmark functions. Our results demonstrate that PSO-based free knot placement leads to a viable and flexible adaptive spline fitting approach that allows the fitting of both smooth and non-smooth functions.


title: Coherent control and single-shot readout of a rare-earth ion embedded in a nanophotonic cavity

abstract: Quantum networks based on optically addressable spin qubits promise to enable secure communication, distributed quantum computing, and tests of fundamental physics. Scaling up quantum networks based on solid-state luminescent centers requires coherent spin and optical transitions coupled to photonic resonators. Here we investigate single $\mathrm{{}^{171}Yb^{3+}}$ ions in yttrium orthovanadate coupled to a nanophotonic cavity. These ions possess optical and spin transitions that are first-order insensitive to magnetic field fluctuations, enabling optical linewidths less than 1 MHz and spin coherence times exceeding 30 ms for cavity-coupled ions. The cavity-enhanced optical emission rate facilitates efficient spin initialization and conditional single-shot readout with fidelity greater than 95%. These results showcase a solid-state platform based on single coherent rare-earth ions for the future quantum internet.


title: Hybrid Code Networks using a convolutional neural network as an input layer achieves higher turn accuracy

abstract: The dialogue management is a task of conversational artificial intelligence. The goal of the dialogue manager is to select the appropriate response to the conversational partner conditioned by the input message and recent dialogue state. Hybrid Code Networks is one of the models of dialogue managers, which uses an average of word embeddings and bag-of-words as input features. We perform experiments on Dialogue bAbI Task 6 and Alquist Conversational Dataset. The experiments show that the convolutional neural network used as an input layer of the Hybrid Code Network improves the model's turn accuracy.


title: Quantum critical fluctuations, Planckian dissipation, and compactification scale

abstract: The most striking result here is that the notion of Planckian dissipation is also applicable to the $c$-axis resistivity of the high temperature cuprate superconductors, and to my knowledge this aspect has not been previously addressed. The derivation involves Kubo formula and does not require any mechanism beyond a non-Fermi liquid assumption. The $c$-axis resistivity, in its essential aspects, is discussed in the context of quantum critical point. Finally, I consider a zero temperature problem with one of its spatial dimensions compactified. The warning is that this compatification scale at the quantum critical point behaves similarly to the finite temperature problem, but obviously being at zero temperature there is no dissipation.


title: Maximally Stiffening Composites Require Maximally Coupled Rather Than Maximally Entangled Polymer Species

abstract: Polymer composites are ideal candidates for next generation biomimetic soft materials because of their exquisite bottom-up designability. However, the richness of behaviours comes at a price: the need for precise and extensive characterisation of material properties over a highly-dimensional parameter space, as well as a quantitative understanding of the physical principles underlying desirable features. Here we couple large-scale Molecular Dynamics simulations with optical tweezers microrheology to characterise the viscoelastic response of DNA-actin composites. We discover that the previously observed non-monotonic stress-stiffening of these composites is robust, yet tunable, in a broad range of the parameter space that spans two orders of magnitude in DNA length. Importantly, we discover that the most pronounced stiffening is achieved when the species are maximally coupled, i.e. have similar number of entanglements, and not when the number of entanglements per DNA chain is largest. We further report novel dynamical oscillations of the microstructure of the composites, alternating between mixed and bundled phases, opening the door to future investigations. The generic nature of our system renders our results applicable to the behaviour of a broad class of polymer composites.


title: On the Realization and Analysis of Circular Harmonic Transforms for Feature Detection

abstract: Circular-harmonic spectra are a compact representation of local image features in two dimensions. It is well known that the computational complexity of such transforms is greatly reduced when polar separability is exploited in steerable filter-banks. Further simplifications are possible when Cartesian separability is incorporated using the radial apodization (i.e. weight, window, or taper) described here, as a consequence of the Laguerre/Hermite correspondence over polar/Cartesian coordinates. The chosen form also mitigates undesirable discretization artefacts due to angular aliasing. The possible utility of circular-harmonic spectra for the description of simple features is illustrated using real data from an airborne electro-optic sensor. The spectrum is deployed in a test-statistic to detect and characterize corners of arbitrary angle and orientation (i.e. wedges). The test-statistic considers uncertainty due to finite sampling and clutter/noise.


title: Structure of the condensed phase in the inclusion process

abstract: We establish a complete picture of condensation in the inclusion process in the thermodynamic limit with vanishing diffusion, covering all scaling regimes of the diffusion parameter and including large deviation results for the maximum occupation number. We make use of size-biased sampling to study the structure of the condensed phase, which can extend over more than one lattice site and exhibit an interesting hierarchical structure characterized by the Poisson-Dirichlet distribution. While this approach is established in other areas including population genetics or random permutations, we show that it also provides a powerful tool to analyse homogeneous condensation in stochastic particle systems with stationary product distributions. We discuss the main mechanisms beyond inclusion processes that lead to the interesting structure of the condensed phase, and the connection to other generic particle systems. Our results are exact, and we present Monte-Carlo simulation data and recursive numerics for partition functions to illustrate the main points.


title: On Picard groups of blocks with normal defect groups

abstract: Let $b$ be a block with normal abelian defect group and abelian inertial quotient. We prove that every Morita auto-equivalence of $b$ has linear source. We note that this improves upon results of Zhou and also Boltje, Kessar and Linckelmann.


title: Linear-$T$ resistivity from low to high temperature: axion-dilaton theories

abstract: The linear-$T$ resistivity is one of the hallmarks of various strange metals regardless of their microscopic details. Towards understanding this universal property, the holographic method or gauge/gravity duality has made much progress. Most holographic models have focused on the low temperature limit, where the linear-$T$ resistivity has been explained by the infrared geometry. We extend this analysis to high temperature and identify the conditions for a robust linear-$T$ resistivity up to high temperature. This extension is important because, in experiment, the linear-$T$ resistivity is observed in a large range of temperatures, up to room temperature. In the axion-dilaton theories we find that, to have a robust linear-$T$ resistivity, the strong momentum relaxation is a necessary condition, which agrees with the previous result for the Guber-Rocha model. However, it is not sufficient in the sense that, among large range of parameters giving a linear-$T$ resistivity in low temperature limit, only very limited parameters can support the linear-$T$ resistivity up to high temperature even in strong momentum relaxation. We also show that the incoherent term in the general holographic conductivity formula or the coupling between the dilaton and Maxwell term is responsible for a robust linear-$T$ resistivity up to high temperature.


title: A remark on matrix product operator algebras, anyons and subfactors

abstract: We show that the mathematical structures in a recent work of Bultinck-Mariena-Williamson-Sahinoglu-Haegemana-Verstraete are the same as those of flat symmetric bi-unitary connections and the tube algebra in subfactor theory. More specifically, a system of flat symmetric bi-unitary connections arising from a subfactor with finite index and finite depth satisfies all their requirements for tensors and the tube algebra for such a subfactor and the anyon algebra for such tensors are isomorphic up to the normalization constants. Furthermore, the matrix product operator algebras arising from tensors corresponding to possibly non-flat symmetric bi-unitary connections are isomorphic to those arising from flat symmetric bi-unitary connections for subfactors.

categories: cond-mat.str-el math-ph math.MP math.OA math.QA


title: An Exposition on Wigner's Semicircular Law

abstract: We revisit the moment method to obtain a slightly strengthened version of the usual semicircular law. Our version assumes only that the upper triangular entries of Hermitian random matrices are independent, have mean zero and variances close to $1/n$ in a certain sense, and satisfy a Lindeberg-type condition. As an application, we derive another semicircular law for the case when the sum of a row converges in distribution to the standard normal distribution, including the case where all matrix entries may have infinite variance. The appendix, making up the majority of the paper, provides for those new to the subject, a rigorous exposition of most details involved, including also a proof of a semicircular law that uses the Stieltjes transform method.


title: Modular Quantum Computation in a Trapped Ion System

abstract: Modern computation relies crucially on modular architectures, breaking a complex algorithm into self-contained subroutines. A client can then call upon a remote server to implement parts of the computation independently via an application programming interface (API). Present APIs relay only classical information. Here we implement a quantum API that enables a client to estimate the absolute value of the trace of a server-provided unitary $U$. We demonstrate that the algorithm functions correctly irrespective of what unitary $U$ the server implements or how the server specifically realizes $U$. Our experiment involves pioneering techniques to coherently swap qubits encoded within the motional states of a trapped \Yb ion, controlled on its hyperfine state. This constitutes the first demonstration of modular computation in the quantum regime, providing a step towards scalable, parallelization of quantum computation.


title: Real-Time 3D Profiling with RGB-D Mapping in Pipelines Using Stereo Camera Vision and Structured IR Laser Ring

abstract: This paper is focused on delivering a solution that can scan and reconstruct the 3D profile of a pipeline in real-time using a crawler robot. A structured infrared (IR) laser ring projector and a stereo camera system are used to generate the 3D profile of the pipe as the robot moves inside the pipe. The proposed stereo system does not require field calibrations and it is not affected by the lateral movement of the robot, hence capable of producing an accurate 3D map. The wavelength of the IR light source is chosen to be non overlapping with the visible spectrum of the color camera. Hence RGB color values of the depth can be obtained by projecting the 3D map into the color image frame. The proposed system is implemented in Robotic Operating System (ROS) producing real-time RGB-D maps with defects. The defect map exploit differences in ovality enabling real-time identification of structural defects such as surface corrosion in pipe infrastructure. The lab experiments showed the proposed laser profiling system can detect ovality changes of the pipe with millimeter level of accuracy and resolution.


title: On the Fill-in of Nonnegative Scalar Curvature Metrics

abstract: In the first part of this paper, we consider the problem of fill-in of nonnegative scalar curvature (NNSC) metrics for a triple of Bartnik data $(\Sigma,\gamma,H)$. We prove that given a metric $\gamma$ on $\mathbf{S}^{n-1}$ ($3\leq n\leq 7$), $(\mathbf{S}^{n-1},\gamma,H)$ admits no fill-in of NNSC metrics provided the prescribed mean curvature $H$ is large enough (Theorem \ref{Thm: no fillin nonnegative scalar 2}). Moreover, we prove that if $\gamma$ is a positive scalar curvature (PSC) metric isotopic to the standard metric on $\mathbf{S}^{n-1}$, then the much weaker condition that the total mean curvature $\int_{\mathbf S^{n-1}}H\,\mathrm d\mu_\gamma$ is large enough rules out NNSC fill-ins, giving an partially affirmative answer to a conjecture by Gromov (see P.\,23 in \cite{Gromov4}). In the second part of this paper, we investigate the $\theta$-invariant of Bartnik data and obtain some sufficient conditions for the existence of PSC fill-ins.


title: Universality of annihilation barriers of large magnetic skyrmions in chiral and frustrated magnets

abstract: Magnetic skyrmions are whirls in the magnetization whose topological winding number promises stability against thermal fluctuations and defects. They can only decay via singular spin configurations. We analyze the corresponding energy barriers of skyrmions in a magnetic monolayer for two distinct stabilization mechanisms, i.e., Dzyaloshinskii-Moriya interaction (DMI) and competing interactions. Based on our numerically calculated collapse paths on an atomic lattice, we derive analytic expressions for the saddle point textures and energy barriers of large skyrmions. The sign of the spin stiffness and the sign of 4th-order derivative terms in the classical field theory determines the nature of the saddle point and thus the height of the energy barrier. In the most common case for DMI-stabilized skyrmions, positive stiffness and negative 4th-order term, the saddle point energy approaches a universal upper limit described by an effective continuum theory. For skyrmions stabilized by frustrating interactions, the stiffness is negative and the energy barrier arises mainly from the core of a singular vortex configuration.


title: Multi-modal Predictive Models of Diabetes Progression

abstract: With the increasing availability of wearable devices, continuous monitoring of individuals' physiological and behavioral patterns has become significantly more accessible. Access to these continuous patterns about individuals' statuses offers an unprecedented opportunity for studying complex diseases and health conditions such as type 2 diabetes (T2D). T2D is a widely common chronic disease that its roots and progression patterns are not fully understood. Predicting the progression of T2D can inform timely and more effective interventions to prevent or manage the disease. In this study, we have used a dataset related to 63 patients with T2D that includes the data from two different types of wearable devices worn by the patients: continuous glucose monitoring (CGM) devices and activity trackers (ActiGraphs). Using this dataset, we created a model for predicting the levels of four major biomarkers related to T2D after a one-year period. We developed a wide and deep neural network and used the data from the demographic information, lab tests, and wearable sensors to create the model. The deep part of our method was developed based on the long short-term memory (LSTM) structure to process the time-series dataset collected by the wearables. In predicting the patterns of the four biomarkers, we have obtained a root mean square error of 1.67% for HBA1c, 6.22 mg/dl for HDL cholesterol, 10.46 mg/dl for LDL cholesterol, and 18.38 mg/dl for Triglyceride. Compared to existing models for studying T2D, our model offers a more comprehensive tool for combining a large variety of factors that contribute to the disease.


title: End-to-End Learning Deep CRF models for Multi-Object Tracking

abstract: Existing deep multi-object tracking (MOT) approaches first learn a deep representation to describe target objects and then associate detection results by optimizing a linear assignment problem. Despite demonstrated successes, it is challenging to discriminate target objects under mutual occlusion or to reduce identity switches in crowded scenes. In this paper, we propose learning deep conditional random field (CRF) networks, aiming to model the assignment costs as unary potentials and the long-term dependencies among detection results as pairwise potentials. Specifically, we use a bidirectional long short-term memory (LSTM) network to encode the long-term dependencies. We pose the CRF inference as a recurrent neural network learning process using the standard gradient descent algorithm, where unary and pairwise potentials are jointly optimized in an end-to-end manner. Extensive experimental results on the challenging MOT datasets including MOT-2015 and MOT-2016, demonstrate that our approach achieves the state of the art performances in comparison with published works on both benchmarks.


title: Updating and Optimizing Error PDFs in the Hessian Approach. Part II

abstract: In an earlier publication, we introduced the software package, {\tt \texttt{ePump}} (error PDF Updating Method Package), that can be used to update or optimize a set of parton distribution functions (PDFs), including the best-fit PDF set and Hessian eigenvector pairs of PDF sets (i.e., error PDFs), and to update any other set of observables, in the Hessian approach. Here, we validate the {\tt \texttt{ePump}} program with a detailed comparison against a full global analysis, and we demonstrate the potential of {\tt \texttt{ePump}} by presenting selected phenomenological applications relevant to the Large Hadron Collider. For example, we use the package to estimate the impact of the recent LHC data of the measurements of $W$, $Z$ boson and top quark pair differential distributions on the CT14HERA2 PDFs.


title: What are the advantages of ghost imaging? Multiplexing for x-ray and electron imaging

abstract: Ghost imaging, Fourier transform spectroscopy, and the newly developed Hadamard transform crystallography are all examples of multiplexing measurement strategies. Multiplexed experiments are performed by measuring multiple points in space, time, or energy simultaneously. This contrasts to the usual method of systematically scanning single points. How do multiplexed measurements work and when they are advantageous? Here we address these questions with a focus on applications involving x-rays or electrons. We present a quantitative framework for analyzing the expected error and radiation dose of different measurement scheme that enables comparison. We conclude that in very specific situations, multiplexing can offer improvements in resolution and signal-to-noise. If the signal has a sparse representation, these advantages become more general and dramatic, and further less radiation can be used to complete a measurement.


title: A hybrid neural network model based on improved PSO and SA for bankruptcy prediction

abstract: Predicting firm's failure is one of the most interesting subjects for investors and decision makers. In this paper, a bankruptcy prediction model is proposed based on Artificial Neural networks (ANN). Taking into consideration that the choice of variables to discriminate between bankrupt and non-bankrupt firms influences significantly the model's accuracy and considering the problem of local minima, we propose a hybrid ANN based on variables selection techniques. Moreover, we evolve the convergence of Particle Swarm Optimization (PSO) by proposing a training algorithm based on an improved PSO and Simulated Annealing. A comparative performance study is reported, and the proposed hybrid model shows a high performance and convergence in the context of missing data.


title: Carrier-induced Antisymmetric-symmetric Tendencies of Spin Stiffness in Zigzag Graphene Nanoribbons

abstract: The generalized Bloch theorem was applied to calculate the spin stiffness and to consider its tendencies when introducing the doping in zigzag graphene nanoribbons. To reach the intentions, two different flat spin spiral formations were constructed by fixing the ferromagnetic and antiferromagnetic spin arrangements at the two different edges by applying a constraint scheme method. A spin stiffness was then calculated by means of a quadratic order function, which maps the total energy difference in the self-consistent calculations onto the Heisenberg Hamiltonian. We found a very high spin stiffness, as predicted previously by the supercell calculation. We also showed that the antisymmetric-symmetric tendencies of spin stiffness are induced by the hole-electron doping. The dependence of ribbon widths of zigzag graphene nanoribbon on the spin stiffness was also provided with similar tendencies when the doping is taken into account.


title: Controllable selective coupling of Dyakonov surface wave at liquid crystal based interface

abstract: Highly directional and lossless surface wave has significant potential applications in the two-dimensional photonic circuits and devices. Here we experimentally demonstrate a selective Dyakonov surface wave coupling at the interface between a transparent polycarbonate material and nematic liquid crystal 5CB. By controlling the anisotropy of the nematic liquid crystal with an applied magnetic field, a single ray at a certain incident angle from a diverged incident beam can be selectively coupled into surface wave. The implementation of this property may lead to a new generation of on-chip integrated optics and two-dimensional photonic devices.


title: Geospatial Big Data Handling with High Performance Computing: Current Approaches and Future Directions

abstract: Geospatial big data plays a major role in the era of big data, as most data today are inherently spatial, collected with ubiquitous location-aware sensors. Efficiently collecting, managing, storing, and analyzing geospatial data streams enables development of new decision-support systems and provides unprecedented opportunities for business, science, and engineering. However, handling the "Vs" (volume, variety, velocity, veracity, and value) of big data is a challenging task. This is especially true for geospatial big data, since the massive datasets must be analyzed in the context of space and time. High performance computing (HPC) provides an essential solution to geospatial big data challenges. This chapter first summarizes four key aspects for handling geospatial big data with HPC and then briefly reviews existing HPC-related platforms and tools for geospatial big data processing. Lastly, future research directions in using HPC for geospatial big data handling are discussed.


title: Cohomology of group theoretic Dehn fillings II: A spectral sequence

abstract: This is the second paper in a series of three papers aiming to study cohomology of group theoretic Dehn fillings. In the present paper, we derive a spectral sequence for Cohen-Lyndon triples which can be thought of as a refined version of the classical Lyndon-Hochschild-Serre spectral sequence in the settings of group theoretic Dehn fillings. In the next paper arXiv:1908.01290, we will apply this spectral sequence to study cohomological finiteness properties of Dehn fillings of acylindrically hyperbolic groups.


title: Reference Models for Lithospheric Geoneutrino Signal

abstract: Debate continues on the amount and distribution of radioactive heat producing elements (i.e., U, Th, and K) in the Earth, with estimates for mantle heat production varying by an order of magnitude. Constraints on the bulk-silicate Earth's (BSE) radiogenic power also places constraints on overall BSE composition. Geoneutrino detection is a direct measure of the Earth's decay rate of Th and U. The geoneutrino signal has contributions from the local ($\sim$40$\%$) and global ($\sim$35$\%$) continental lithosphere and the underlying inaccessible mantle ($\sim$25$\%$). Geophysical models are combined with geochemical datasets to predict the geoneutrino signal at current and future geoneutrino detectors. We propagated uncertainties, both chemical and physical, through Monte Carlo methods. Estimated total signal uncertainties are on the order of $\sim$20$\%$, proportionally with geophysical and geochemical inputs contributing $\sim$30$\%$ and $\sim$70$\%$, respectively. We find that estimated signals, calculated using CRUST2.0, CRUST1.0, and LITHO1.0, are within physical uncertainty of each other, suggesting that the choice of underlying geophysical model will not change results significantly, but will shift the central value by up to $\sim$15$\%$, depending on the crustal model and detector location. Similarly, we see no significant difference between calculated layer abundances and bulk-crustal heat production when using these geophysical models. The bulk crustal heat production is calculated as $7 \pm2$~terrawatts, which includes an increase of 1~TW in uncertainty relative to previous studies. Future improvements, including uncertainty attribution and near-field modeling, are discussed.


title: Endomorphism rings of supersingular elliptic curves over $\mathbb{F}_p$

abstract: Let $p>3$ be a fixed prime. For a supersingular elliptic curve $E$ over $\mathbb{F}_p$ with $j$-invariant $j(E)\in \mathbb{F}_p\backslash\{0, 1728\}$, it is well known that the Frobenius map $\pi=((x,y)\mapsto (x^p, y^p))\in \mathrm{End}(E)$ satisfies ${\pi}^2=-p$. A result of Ibukiyama tells us that $\mathrm{End}(E)$ is a maximal order in $\mathrm{End}(E)\otimes \mathbb{Q}$ associated to a (minimal) prime $q$ satisfying $q\equiv 3 \bmod 8$ and the quadratic residue $\bigl(\frac{p}{q}\bigr)=-1$ according to $\frac{1+\pi}{2}\notin \mathrm{End}(E)$ or $\frac{1+\pi}{2}\in \mathrm{End}(E)$. Let $q_j$ denote the minimal $q$ for $E$ with $j=j(E)$. Firstly, we determine the neighborhood of the vertex $[E]$ in the supersingular $\ell$-isogeny graph if $\frac{1+\pi}{2}\notin \mathrm{End}(E)$ and $p>q\ell^2$ or $\frac{1+\pi}{2}\in \mathrm{End}(E)$ and $p>4q\ell^2$. In particular, under our assumption, we show that there are at most two vertices defined over $\mathbb{F}_p$ adjacent to $[E]$. Next, under GRH, we obtain the bound $M(p)$ of $q_j$ for all $j$ and estimate the number of supersingular elliptic curves with $q_j<c\sqrt{p}$. We also computer the upper bound $M(p)$ for all $p<2000$ numerically and show that $M(p)>\sqrt{p}$ except $p=11,23$ and $M(p)<p\log^2 p$ for all $p$.


title: Contributions from ${\Phi}_{B2}$ to the $B$ ${\to}$ $PP$ decays within the QCD factorization

abstract: With the potential for the improvements of measurement precision,the refinement of theoretical calculation on hadronic $B$ weak decays is necessary. In this paper, we study the contributions of $B$ mesonic distribution amplitude ${\Phi}_{B2}$ within the QCD factorization approach, and find that ${\Phi}_{B2}$ contributes to only the nonfactorizable annihilation amplitudes for the $B$ ${\to}$ $PP$ decays ($P$ denotes the ground $SU(3)$ pseudoscalar mesons). Although small, the ${\Phi}_{B2}$ contributions might be helpful for improving the performance of the QCD factorization approach, especially for the pure annihilation $B_{d}$ ${\to}$ $K^{+}K^{-}$ and $B_{s}$ ${\to}$ ${\pi}^{+}{\pi}^{-}$ decays.


title: An ensemble Kalman filter approach based on level set parameterization for acoustic source identification using multiple frequency information

abstract: The spatial dependent unknown acoustic source is reconstructed according noisy multiple frequency data on a remote closed surface. Assume that the unknown function is supported on a bounded domain. To determine the support, we present a statistical inversion algorithm, which combines the ensemble Kalman filter approach with level set technique. Several numerical examples show that the proposed method give good numerical reconstruction.


title: Hand-Gesture-Recognition Based Text Input Method for AR/VR Wearable Devices

abstract: Static and dynamic hand movements are basic way for human-machine interactions. To recognize and classify these movements, first these movements are captured by the cameras mounted on the augmented reality (AR) or virtual reality (VR) wearable devices. The hand is segmented using segmentation method and its gestures are passed to hand gesture recognition algorithm, which depends on depth-wise separable convolutional neural network for training, testing and finally running smoothly on mobile AR/VR devices, while maintaining the accuracy and balancing the load. A number of gestures are processed for identification of right gesture and to classify the gesture and ignore the all intermittent gestures. With proposed method, a user can write letters and numbers in air by just moving his/her hand in air. Gesture based operations are performed, and trajectory of hand is recorded as handwritten text. Finally, that handwritten text is processed for the text recognition.


title: Bandits with Feedback Graphs and Switching Costs

abstract: We study the adversarial multi-armed bandit problem where partial observations are available and where, in addition to the loss incurred for each action, a \emph{switching cost} is incurred for shifting to a new action. All previously known results incur a factor proportional to the independence number of the feedback graph. We give a new algorithm whose regret guarantee depends only on the domination number of the graph. We further supplement that result with a lower bound. Finally, we also give a new algorithm with improved policy regret bounds when partial counterfactual feedback is available.


title: A critical path approach for elucidating the temperature dependence of granular hopping conduction

abstract: We revisit the classical problem of granular hopping conduction's temperature dependence, and offer a straightforward and simple explanation on a phenomenon that was widely observed over diverse material systems, but which has remained a puzzle in spite of the various efforts for its explanation.


title: Growth of nematic susceptibility in the field-induced normal state of an iron-based superconductor revealed by elastoresistivity measurements in a 65 T pulsed magnet

abstract: In the iron-based superconductors, both nematic and magnetic fluctuations are expected to enhance superconductivity and may originate from a quantum critical point hidden beneath the superconducting dome. The behavior of the non-superconducting state can be an important piece of the puzzle, motivating in this paper the use of high magnetic fields to suppress superconductivity and measure the nematic susceptibility of the normal state at low temperatures. We describe experimental advances which make it possible to measure a resistive gauge factor (which is a proxy for the nematic susceptibility) in the field-induced normal state in a 65 T pulsed magnet, and report measurements of the gauge factor of a micromachined single crystal of Ba(Fe$_{0.926}$Co$_{0.074}$)$_2$As$_2$ at temperatures down to 1.2 K. The nematic susceptibility increases monotonically in the field-induced normal state as the temperature decreases, consistent with the presence of a quantum critical point nearby in composition.


title: Solar Image Restoration with the Cycle-GAN Based on Multi-Fractal Properties of Texture Features

abstract: Texture is one of the most obvious characteristics in solar images and it is normally described by texture features. Because textures from solar images of the same wavelength are similar, we assume texture features of solar images are multi-fractals. Based on this assumption, we propose a pure data-based image restoration method: with several high resolution solar images as references, we use the Cycle-Consistent Adversarial Network to restore burred images of the same steady physical process, in the same wavelength obtained by the same telescope. We test our method with simulated and real observation data and find that our method can improve the spatial resolution of solar images, without loss of any frames. Because our method does not need paired training set or additional instruments, it can be used as a post-processing method for solar images obtained by either seeing limited telescopes or telescopes with ground layer adaptive optic system.


title: ChaLearn Looking at People: IsoGD and ConGD Large-scale RGB-D Gesture Recognition

abstract: The ChaLearn large-scale gesture recognition challenge has been run twice in two workshops in conjunction with the International Conference on Pattern Recognition (ICPR) 2016 and International Conference on Computer Vision (ICCV) 2017, attracting more than $200$ teams round the world. This challenge has two tracks, focusing on isolated and continuous gesture recognition, respectively. This paper describes the creation of both benchmark datasets and analyzes the advances in large-scale gesture recognition based on these two datasets. We discuss the challenges of collecting large-scale ground-truth annotations of gesture recognition, and provide a detailed analysis of the current state-of-the-art methods for large-scale isolated and continuous gesture recognition based on RGB-D video sequences. In addition to recognition rate and mean jaccard index (MJI) as evaluation metrics used in our previous challenges, we also introduce the corrected segmentation rate (CSR) metric to evaluate the performance of temporal segmentation for continuous gesture recognition. Furthermore, we propose a bidirectional long short-term memory (Bi-LSTM) baseline method, determining the video division points based on the skeleton points extracted by convolutional pose machine (CPM). Experiments demonstrate that the proposed Bi-LSTM outperforms the state-of-the-art methods with an absolute improvement of $8.1\%$ (from $0.8917$ to $0.9639$) of CSR.


title: Invariants of 4-manifolds from Khovanov-Rozansky link homology

abstract: We use Khovanov-Rozansky gl(N) link homology to define invariants of oriented smooth 4-manifolds, as skein modules constructed from certain 4-categories with well-behaved duals. The technical heart of this construction is a proof of the sweep-around property, which makes these link homologies well defined in the 3-sphere.


title: Seeing Things in Random-Dot Videos

abstract: Humans possess an intricate and powerful visual system in order to perceive and understand the environing world. Human perception can effortlessly detect and correctly group features in visual data and can even interpret random-dot videos induced by imaging natural dynamic scenes with highly noisy sensors such as ultrasound imaging. Remarkably, this happens even if perception completely fails when the same information is presented frame by frame rather than in a video sequence. We study this property of surprising dynamic perception with the first goal of proposing a new detection and spatio-temporal grouping algorithm for such signals when, per frame, the information on objects is both random and sparse and embedded in random noise. The algorithm is based on the succession of temporal integration and spatial statistical tests of unlikeliness, the a contrario framework. The algorithm not only manages to handle such signals but the striking similarity in its performance to the perception by human observers, as witnessed by a series of psychophysical experiments on image and video data, leads us to see in it a simple computational Gestalt model of human perception with only two parameters: the time integration and the visual angle for candidate shapes to be detected.


title: Spin-polarized current, spin-transfer torque and spin Hall effect in presence of an electromagnetic non-minimal coupling

abstract: In this contribution, we start off from a fully relativistic description of a single electron non-minimally coupled to an external electromagnetic field. Making direct use of the field equation, instead of canonically deriving from the Lagrangian density, the relativistic total angular momentum is attained, where the effect of the relativistic torque due to the external sources is also taken into account. Both the spin density and the orbital angular momentum tensors are identified in the relativistic-covariant approach. Furthermore, the symmetric and gauge invariant energy-momentum tensor is derived as well. In addition, to inspect the non-relativistic regime, a perturbative expansion of the field equation up to the leading order in $\left(v/c\right)$ is carried out, where spin-orbit interaction terms naturally emerge in the non-relativistic Hamiltonian as a consequence of the non-minimal coupling. Features related to the spin currents, the spin-transfer torque and their dependence on both magnetic and electric external fields are then calculated and discussed. Considering that spin-orbit coupled systems are of particular interest in the study of spin Hall effect, a two-dimensional (planar) scenario of the system is contemplated, where the contributions to the Landau levels are re-assessed. As a consequence of the planar regime and the non-minimal coupling, a peculiar sort of fractionalization of the spin-up and -down components emerges with the different spin components localized in distinct positions.


title: Topological rigidity of compact manifolds supporting Sobolev-type inequalities

abstract: Let $(M,g)$ be an $n$-dimensional $(n\geq 3)$ compact Riemannian manifold with Ric$_{(M,g)}\geq (n-1)g$. If $(M,g)$ supports an AB-type critical Sobolev inequality with Sobolev constants close to the optimal ones corresponding to the standard unit sphere $(\mathbb S^n,g_0)$, we prove that $(M,g)$ is topologically close to $(\mathbb S^n,g_0)$. Moreover, the Sobolev constants on $(M,g)$ are precisely the optimal constants on the sphere $(\mathbb S^n,g_0)$ if and only if $(M,g)$ is isometric to $(\mathbb S^n,g_0)$; in particular, the latter result answers a question of V.H. Nguyen.


title: Incarnations of XXX $\widehat{\frak{sl}_N}$ Bethe ansatz equations and integrable hierarchies

abstract: We consider the space of solutions of the Bethe ansatz equations of the $\widehat{\frak{sl}_N}$ XXX quantum integrable model, associated with the trivial representation of $\widehat{\frak{sl}_N}$. We construct a family of commuting flows on this space and identify the flows with the flows of coherent rational Ruijesenaars-Schneider systems. For that we develop in full generality the spectral transform for the rational Ruijesenaars-Schneider system.


title: Random Young Towers and Quenched Limit Laws

abstract: We obtain quenched almost sure invariance principle (with convergence rate) for Random Young Tower. We apply our result to i.i.d perturbations of non-uniformly expanding maps. In particular, we answer one open question in \cite{BBM}.


title: Does the boson peak survive in an ultrathin oxide glass?

abstract: Bulk glasses exhibit extra vibrational modes at low energies, known as the boson peak. The microscopic dynamics in nanoscale alumina impact the performance of qubits and other superconducting devices, however the existence of the boson peak in these glasses has not been previously measured. Here we report neutron spectroscopy on Al/Al$_2$O$_{3-x}$ nanoparticles consisting of spherical metallic cores from 20 to 1000 nm surrounded by a 3.5 nm thick alumina glass. An intense low-energy peak is observed at $\omega_{BP}$ = 2.8 $\pm$ 0.6 meV for highly oxidised particles, concurrent with an excess in the density of states. The intensity of the peak scales inversely with particle size and oxide fraction indicating a surface origin, and is red-shifted by 3 meV with respect to the van-Hove singularity of $\gamma$-phase Al$_2$O$_{3-x}$ nanocrystals. Molecular dynamics simulations of $\alpha$-Al$_2$O$_{3-x}$, $\gamma$-Al$_2$O$_{3-x}$ and a-Al$_2$O$_{3-x}$ show that the observed boson peak is a signature of the ultrathin glass surface, and the frequency is softened compared to that of the hypothetical bulk glass.


title: PlanningVis: A Visual Analytics Approach to Production Planning in Smart Factories

abstract: Production planning in the manufacturing industry is crucial for fully utilizing factory resources (e.g., machines, raw materials and workers) and reducing costs. With the advent of industry 4.0, plenty of data recording the status of factory resources have been collected and further involved in production planning, which brings an unprecedented opportunity to understand, evaluate and adjust complex production plans through a data-driven approach. However, developing a systematic analytics approach for production planning is challenging due to the large volume of production data, the complex dependency between products, and unexpected changes in the market and the plant. Previous studies only provide summarized results and fail to show details for comparative analysis of production plans. Besides, the rapid adjustment to the plan in the case of an unanticipated incident is also not supported. In this paper, we propose PlanningVis, a visual analytics system to support the exploration and comparison of production plans with three levels of details: a plan overview presenting the overall difference between plans, a product view visualizing various properties of individual products, and a production detail view displaying the product dependency and the daily production details in related factories. By integrating an automatic planning algorithm with interactive visual explorations, PlanningVis can facilitate the efficient optimization of daily production planning as well as support a quick response to unanticipated incidents in manufacturing. Two case studies with real-world data and carefully designed interviews with domain experts demonstrate the effectiveness and usability of PlanningVis.


title: Radiative decays of $f_1(1285)$ as the $ K^*\bar K$ molecular state

abstract: Within a picture of the $f_1(1285)$ being a dynamically generated resonance from the $ K^*\bar K$ interactions, we estimate the rates for the radiative transitions of the $f_1(1285)$ meson to the vector mesons $\rho^0$,$\omega$ and $\phi$. These radiative decays proceed via the kaon loop diagrams. The calculated results are in fair agreement with the experimental measurements. Some predictions can be tested by experiments and their implementation and comparison with these predictions will be valuable to decode the nature of the $f_1(1285)$ state.


title: A Theoretical Case Study of Structured Variational Inference for Community Detection

abstract: Mean-field variational inference (MFVI) has been widely applied in large scale Bayesian inference. However MFVI, which assumes a product distribution on the latent variables, often leads to objective functions with many local optima, making optimization algorithms sensitive to initialization. In this paper, we study the advantage of structured variational inference for the two class Stochastic Blockmodel. The variational distribution is constructed to have pairwise dependency structure on the nodes of the network. We prove that, in a broad density regime and for general random initializations, unlike MFVI, the class labels estimated from our method converge to the ground truth with high probability, when the model parameters are known, estimated within a reasonable range or jointly optimized with the variational parameters. In addition, empirically we demonstrate structured VI is more robust compared with MFVI when the graph is sparse and the signal to noise ratio is low. The paper takes a first step towards understanding the importance of dependency structure in variational inference for community detection.


title: A Template and Suggestions for Writing Easy-to-Read Research Articles

abstract: The number of research papers written has been growing at least linearly -- if not exponentially -- in recent years. In proportion, the amount of time a reader allocates per paper has been decreasing. While an accessible paper will be appreciated by a large audience, hard-to-read papers may remain obscure for a long time regardless of scientific merit. Unfortunately, there is still insufficient emphasis on good written and oral communication skills in technical disciplines, especially in engineering. As an academic, I have realised over the years that I keep telling my students the same things over and over again when they write papers, reports, presentations, and theses. This article contains some of those suggestions and serves as a limited template for organising research articles. I have adopted a very practical and personal approach and don't claim that this is a formal contribution to the scientific communication literature. However, I hope that this article will not only make my life a bit easier but also help other graduate students and academic supervisors.