title: A Second Look at Post Crisis Pricing of Derivatives - Part I: A Note on Money Accounts and Collateral

abstract: The paper reviews origins of the approach to pricing derivatives post-crisis by following three papers that have received wide acceptance from practitioners as the theoretical foundations for it - [Piterbarg 2010], [Burgard and Kjaer 2010] and [Burgard and Kjaer 2013]. The review reveals several conceptual and technical inconsistencies with the approaches taken in these papers. In particular, a key component of the approach - prescription of cost components to a risk-free money account, generates derivative prices that are not cleared by the markets that trade the derivative and its underlying securities. It also introduces several risk-free positions (accounts) that accrue at persistently non-zero spreads with respect to each other and the risk free rate. In the case of derivatives with counterparty default risk [Burgard and Kjaer 2013] introduces an approach referred to as semi-replication, which through the choice of cost components in the money account results in derivative prices that carry arbitrage opportunities in the form of holding portfolio of counterparty's bonds versus a derivative position with it. This paper derives no-arbitrage expressions for default-risky derivative contracts with and without collateral, avoiding these inconsistencies.


title: The Internet of Things: Secure Distributed Inference

abstract: The growth in the number of devices connected to the Internet of Things (IoT) poses major challenges in security. The integrity and trustworthiness of data and data analytics are increasingly important concerns in IoT applications. These are compounded by the highly distributed nature of IoT devices, making it infeasible to prevent attacks and intrusions on all data sources. Adversaries may hijack devices and compromise their data. As a result, reactive countermeasures, such as intrusion detection and resilient analytics, become vital components of security. This paper overviews algorithms for secure distributed inference in IoT.


title: Four-point functions of all-different-weight chiral primary operators in the supergravity approximation

abstract: Recently a Mellin-space formula was conjectured for the form of correlation functions of $1/2$ BPS operators in planar $\mathcal{N}=4$ SYM in the strong 't Hooft coupling limit. In this work we report on the computation of two previously unknown four-point functions of operators with weights $\langle 2345 \rangle$ and $\langle 3456\rangle$, from the effective type-IIB supergravity action using AdS/CFT. These correlators are novel: they are the first correlators with all-different weights and in particular $\langle 3456\rangle$ is the first next-next-next-to-extremal correlator to ever have been computed. We also present simplifications of the known algorithm, without which these computations could not have been executed without considerable computer power. The main simplifications we found are present in the computation of the exchange Lagrangian and in the computation of $a$ tensors. After bringing our results in the appropriate form we successfully corroborate the recently conjectured formula.


title: Model Choice and Crucial Tests. On the Empirical Epistemology of the Higgs Discovery

abstract: Our paper discusses the epistemic attitudes of particle physicists on the discovery of the Higgs boson at the Large Hadron Collider (LHC). It is based on questionnaires and interviews made shortly before and shortly after the discovery in 2012. We show, to begin with, that the discovery of a Standard Model (SM) Higgs boson was less expected than is sometimes assumed. Once the new particle was shown to have properties consistent with SM expectations - albeit with significant experimental uncertainties -, there was a broad agreement that 'a' Higgs boson had been found. Physicists adopted a twopronged strategy. On the one hand, they treated the particle as a SM Higgs boson and tried to establish its properties with higher precision; on the other hand, they searched for any hints of physics beyond the SM. This motivates our first philosophical thesis: the Higgs discovery, being of fundamental importance and establishing a new kind of particle, represented a crucial experiment if one interprets this notion in an appropriate sense. By embedding the LHC into thetradition of previous precision experiments and the experimental strategies thus established, Duhemian underdetermination is kept at bay. Second, our case study suggests that criteria of theory (or model) preference should be understood as epistemic and pragmatic values that have to be weighed in factual research practice. The Higgs discovery led to a shift from pragmatic to epistemic values as regards the mechanisms of electroweak symmetry breaking. Complex criteria, such as naturalness, combine epistemic and pragmatic values, but are coherently applied by the community.


title: Balanced News Using Constrained Bandit-based Personalization

abstract: We present a prototype for a news search engine that presents balanced viewpoints across liberal and conservative articles with the goal of de-polarizing content and allowing users to escape their filter bubble. The balancing is done according to flexible user-defined constraints, and leverages recent advances in constrained bandit optimization. We showcase our balanced news feed by displaying it side-by-side with the news feed produced by a traditional (polarized) feed.


title: Prime filter structures of pseudocomplemented Kleene algebras and representation by rough sets

abstract: We introduce Kleene-Varlet spaces as partially ordered sets equipped with a polarity satisfying certain additional conditions. By applying Kleene-Varlet spaces, we prove that each regular pseudocomplemented Kleene algebra is isomorphic to a subalgebra of the rough set regular pseudocomplemented Kleene algebra defined by a tolerance induced by an irredundant covering. We also characterize the Kleene-Varlet spaces corresponding to the regular pseudocomplemented Kleene algebras satisfying the Stone identity.


title: Algebraic bivariant $K$-theory and Leavitt path algebras

abstract: This article is the first of two where we investigate to what extent homotopy invariant, excisive and matrix stable homology theories help one distinguish between the Leavitt path algebras $L(E)$ and $L(F)$ of graphs $E$ and $F$ over a commutative ground ring $\ell$. In this first article we consider Leavitt path algebras of general graphs over general ground rings; the second article will focus mostly on purely infinite simple unital Leavitt path algebras over a field. Bivariant algebraic $K$-theory $kk$ is the universal homology theory with the properties above; we prove a structure theorem for unital Leavitt path algebras in $kk$. We show that under very mild assumptions on $\ell$, for a graph $E$ with finitely many vertices and reduced incidence matrix $A_E$, the structure of $L(E)$ depends only on the isomorphism classes of the cokernels of the matrix $I-A_E$ and of its transpose, which are respectively the $kk$ groups $KH^1(L(E))=kk_{-1}(L(E),\ell)$ and $KH_0(L(E))=kk_0(\ell,L(E))$. Hence if $L(E)$ and $L(F)$ are unital Leavitt path algebras such that $KH_0(L(E))\cong KH_0(L(F))$ and $KH^1(L(E))\cong KH^1(L(F))$ then no homology theory with the above properties can distinguish them. We also prove that for Leavitt path algebras, $kk$ has several properties similar to those that Kasparov's bivariant $K$-theory has for $C^*$-graph algebras, including analogues of the Universal coefficient and K\"unneth theorems of Rosenberg and Schochet.


title: Manipulate Elastic Wave Modes by an Ultrathin Three-component Elastic Metasurface

abstract: We design a two-dimensional ultra-thin elastic metasurface consisting of steel cores coated with elliptical rubbers embedded in epoxy matrix, capable of manipulating bulk elastic wave modes for reflected waves. The energy exchanges between the longitudinal and transverse modes are completely controlled by the inclined angle of rubber. One elastic mode can totally convert into another by the ultra-thin elastic metasurface. The conversion mechanism based on the non-degenerate dipolar resonance is a general method and easily extended to three-dimensional or mechanical systems. A mass-spring model is proposed and well describe the conversion properties. We further demonstrate that high conversion rates (more than 95%) can be achieved steadily for one elastic metasurface working on almost all different solid backgrounds. It will bring wide potential applications in elastic devices.


title: N-Gram Graph: Simple Unsupervised Representation for Graphs, with Applications to Molecules

abstract: Machine learning techniques have recently been adopted in various applications in medicine, biology, chemistry, and material engineering. An important task is to predict the properties of molecules, which serves as the main subroutine in many downstream applications such as virtual screening and drug design. Despite the increasing interest, the key challenge is to construct proper representations of molecules for learning algorithms. This paper introduces the N-gram graph, a simple unsupervised representation for molecules. The method first embeds the vertices in the molecule graph. It then constructs a compact representation for the graph by assembling the vertex embeddings in short walks in the graph, which we show is equivalent to a simple graph neural network that needs no training. The representations can thus be efficiently computed and then used with supervised learning methods for prediction. Experiments on 60 tasks from 10 benchmark datasets demonstrate its advantages over both popular graph neural networks and traditional representation methods. This is complemented by theoretical analysis showing its strong representation and prediction power.


title: A new high speed, Ultrascale+ based board for the ATLAS jet calorimeter trigger system

abstract: To cope with the enhanced luminosity at the Large Hadron Collider (LHC) in 2021, the ATLAS collaboration is planning a major detector upgrade. As a part of this, the Level 1 trigger based on calorimeter data will be upgraded to exploit the fine granularity readout using a new system of Feature EXtractors (FEX), which each reconstruct different physics objects for the trigger selection. The jet FEX (jFEX) system is conceived to provide jet identification (including large area jets) and measurements of global variables within a latency budget of less then 400ns. It consists of 6 modules. A single jFEX module is an ATCA board with 4 large FPGAs of the Xilinx Ultrascale+ family, that can digest a total input data rate of ~3.6 Tb/s using up to 120 Multi Gigabit Transceiver (MGT), 24 electrical optical devices, board control and power on the mezzanines to allow flexibility in upgrading controls functions and components without affecting the main board. The 24-layers stack-up was carefully designed to preserve the signal integrity in a very densely populated high speed signal board selecting MEGTRON6 as the most suitable PCB material. This contribution reports on the design challenges and the test results of the jFEX prototypes. In particular the fully assembled final prototype has been tested up to 12.8 Gb/s in house and in integrated tests at CERN. The full jFEX system will be produced by the end of 2018 to allow for installation and commissioning to be completed before LHC restarts in March 2021.


title: Rapid computation of far-field statistics for random obstacle scattering

abstract: In this article, we consider the numerical approximation of far-field statistics for acoustic scattering problems in the case of random obstacles. In particular, we consider the computation of the expected far-field pattern and the expected scattered wave away from the scatterer as well as the computation of the corresponding variances. To that end, we introduce an artificial interface, which almost surely contains all realizations of the random scatterer. At this interface, we directly approximate the second order statistics, i.e., the expectation and the variance, of the Cauchy data by means of boundary integral equations. From these quantities, we are able to rapidly evaluate statistics of the scattered wave everywhere in the exterior domain, including the expectation and the variance of the far-field. By employing a low-rank approximation of the Cauchy data's two-point correlation function, we drastically reduce the cost of the computation of the scattered wave's variance. Numerical results are provided in order to demonstrate the feasibility of the proposed approach.


title: Definability in the substructure ordering of finite directed graphs

abstract: We deal with first-order definability in the substructure ordering $(\mathcal{D}; \sqsubseteq)$ of finite directed graphs. In two papers, the author has already investigated the first-order language of the embeddability ordering $( \mathcal{D}; \leq)$. The latter has turned out to be quite strong, e.g., it has been shown that, modulo edge-reversing (on the whole graphs), it can express the full second-order language of directed graphs. Now we show that, with finitely many directed graphs added as constants, the first order language of $( \mathcal{D}; \sqsubseteq)$ can express that of $( \mathcal{D}; \leq)$. The limits of the expressive power of such languages are intimately related to the automorphism groups of the orderings. Previously, analogue investigations have found the concerning automorphism groups to be quite trivial, e.g., the automorphism group of $( \mathcal{D}; \leq)$ is isomorphic to $\mathbb{Z}_2$. Here, unprecedentedly, this is not the case. Even though we conjecture that the automorphism group is isomorphic to $(\mathbb{Z}_2^4 \times S_4)\rtimes_{\alpha} \mathbb{Z}_2$, with a particular $\alpha$ in the semidirect product, we only prove it is finite.


title: Clock Distribution and Readout Architecture for the ATLAS Tile Calorimeter at the HL-LHC

abstract: The Tile Calorimeter (TileCal) is one detector of the ATLAS experiment at the Large Hadron Collider (LHC). TileCal is a sampling calorimeter made of steel plates and plastic scintillators which are readout using approximately 10,000 PhotoMultipliers Tubes (PMTs). In 2024, the LHC will undergo a series of upgrades towards a High Luminosity LHC (HL-LHC) to deliver up to 7.5 times the current nominal instantaneous luminosity. The ATLAS Tile Phase II Upgrade will accommodate detector and Data AcQuisition (DAQ) system to the HL-LHC requirements. The detector electronics will be redesigned using a new clock distribution and readout architecture with a full-digital trigger system. After the Long Shutdown 3 (2024-2026), the on-detector electronics will transfer digitized data for every bunch crossing (~25 ns) to the Tile PreProcessors (TilePPr) in the counting rooms with a total data bandwidth of 40 Tbps. The TilePPrs will store the detector data in pipeline memories to cope with the new ATLAS DAQ architecture requirements, and will interface with the Front End Link eXchange (FELIX) system and the first trigger level. The TilePPr boards will distribute the sampling clock to the on-detector electronics for synchronization with the LHC clock using high-speed links configured for fixed and deterministic latency. The upgraded readout and clock distribution strategy was fully validated in a Demonstrator system using prototypes of the upgraded electronics in several test beam campaigns between 2015 and 2018.


title: Equalizing Financial Impact in Supervised Learning

abstract: Notions of "fair classification" that have arisen in computer science generally revolve around equalizing certain statistics across protected groups. This approach has been criticized as ignoring societal issues, including how errors can hurt certain groups disproportionately. We pose a modification of one of the fairness criteria from Hardt, Price, and Srebro [NIPS, 2016] that makes a small step towards addressing this issue in the case of financial decisions like giving loans. We call this new notion "equalized financial impact."


title: Single-photon controlled thermospin transport in a resonant ring-cavity system

abstract: Cavity-coupled nanoelectric devices hold great promise for quantum technology based on coupling between electron-spins and photons. In this study, we approach the description of these effects through the modeling of a nanodevice using a quantum master equation. We assume a quantum ring is coupled to two external leads with different temperatures and embedded in a cavity with a single photon mode. Thermospin transport of the ring-cavity system is investigated by tuning the Rashba coupling constant and the electron-photon coupling strength. In the absence of the cavity, the temperature gradient of the leads causes a generation of a thermospin transport in the ring system. It is observed that the induced spin polarization has a maximum value at the critical value of the Rashba coupling constant corresponding to the Aharonov-Casher destructive interference, where the thermospin current is efficiently suppressed. Embedded in a photon cavity with the photon energy close to a resonance with the energy spacing between lowest states of the quantum ring, a Rabi splitting in the energy spectrum is observed. Furthermore, photon replica states are formed leading to a reduction in the thermospin current.


title: Study on the Real-time Lossless Data Compression Method Used in the Readout System for Micro-pattern Gas Detector

abstract: The data compression technology now is fully developed and widely used in many fields such as communication, multi-media, image information processing and so on. The large physical experiments, especially the ones with Micro-pattern Gas Detectors (MPGD), which always have many readout channels and have a lot of data to be transferred and saved, are however relatively seldom use this technology. In this paper, the real-time lossless data compression method is proposed for a general-purposed MPGD readout system. The lossless data compression can reduce the data transmission bandwidth of the system as well as keep all information of the data. The compression method discussed in the paper mainly consists of two steps. The first step is to pre-process the data according to different characteristics of different signals and the second step is to compress the pre-processed data using common lossless compression algorithm. Besides, the whole compression method is implemented in the Field-Programmable Gate Array (FPGA) and able to run real-timely. The system is then used to readout two different kinds of signals and the compression rate can reach as high as 43% and 30% respectively.


title: Transition to chaos in an acoustically-driven cavity flow

abstract: We consider the unsteady regimes of an acoustically-driven jet that forces a recirculating flow through successive reflections on the walls of a square cavity. The specific question being addressed is to know whether the system can sustain states of low-dimensional chaos when the acoustic intensity driving the jet is increased, and, if so, to characterise the pathway and underlying physical mechanisms. We adopt two complementary approaches, both based on data extracted from numerical simulations: (i) We first characterise successive bifurcations through the analysis of leading frequencies. Two successive phases in the evolution of the system are singled out in this way, both leading to potentially chaotic states. The two phases are separated by a drastic simplification of the dynamics that immediately follows the emergence of intermittency. The second phase also features a second intermediate state where the dynamics is simplified due to frequency-locking. (ii) Nonlinear time series analysis enables us to reconstruct the attractor of the underlying dynamical system, and to calculate its correlation dimension and leading Lyapunov exponent. Both these quantities bring confirmation that the state preceding the dynamic simplification that initiates the second phase is chaotic. Poincar\'e maps further reveal that this chaotic state in fact results from a dynamic instability of the system between two non-chaotic states respectively observed at slightly lower and slightly higher acoustic forcing.


title: Distributionally Robust Optimization with Decision Dependent Ambiguity Sets

abstract: We study decision dependent distributionally robust optimization models, where the ambiguity sets of probability distributions can depend on the decision variables. These models arise in situations with endogenous uncertainty. The developed framework includes two-stage decision dependent distributionally robust stochastic programming as a special case. Decision dependent generalizations of five types of ambiguity sets are considered. These sets are based on bounds on moments, Wasserstein metric, $\phi$-divergence and Kolmogorov-Smirnov test. For the finite support case, we use linear, conic or Lagrangian duality to give reformulations of the models with a finite number of constraints. These reformulations allow solutions of such problems using global optimization techniques. Certain reformulations give rise to non-convex semi-infinite programs. Techniques from global optimization and semi-infinite programming can be used to solve these reformulations.


title: Optimal periodic replenishment policies for spectrally positive L\'evy demand processes

abstract: We consider a version of the stochastic inventory control problem for a spectrally positive L\'evy demand process, in which the inventory can only be replenished at independent exponential times. We show the optimality of a periodic barrier replenishment policy that restocks any shortage below a certain threshold at each replenishment opportunity. The optimal policies and value functions are concisely written in terms of the scale functions. Numerical results are also provided.


title: Optical absorption properties of laser-dressed matter

abstract: Characterizing and controlling matter driven far from equilibrium represents a major challenge for science and technology. Here we develop a theory for the optical absorption of electronic materials driven far from equilibrium by resonant and non-resonant lasers. In it, the interaction between matter and the driving light is treated exactly through a Floquet analysis, while the effects of the probing light are captured to first order in perturbation theory. The resulting equations are reminiscent to those for equilibrium absorption but with the Floquet modes playing the role of the pristine eigenstates. The formalism is employed to characterize the optical properties of a model nanoscale semiconductor dressed by non-resonant light of intermediate intensity (non-perturbative, but non-ionizing). As shown, non-resonant light can reversibly turn this transparent semiconductor into a broadband absorber and open strong absorption/stimulated emission bands at very low frequencies (~ meV). Further, the absorption spectra of the driven material exhibit periodic features energetically spaced by the photon energy of the driving light that reflect the periodic structure of the Floquet bands. These developments offer a general approach to understand and predict the emergent optical properties of materials dressed by the electric field of light, and catalyze the design of laser-dressed materials with desired optical properties.


title: The WaveDAQ integrated Trigger and Data Acquisition System for the MEG II experiment

abstract: The WaveDAQ is a newly-designed digitization Trigger and Data AcQuisition system (TDAQ) allowing Multi-gigasample waveform recording on a large amount of channels (up to 16384) by using the DRS4 analog switched capacitor array as downconverting ASIC. A high bandwidth, programmable input stage has been coupled with a bias generator to allow SiPM operation without need of any other external apparatus. The trigger generation is tightly coupled within the system to limit the required depth of the analog memory, allowing faster digitization speeds. This system has been designed for the MEG experiment upgrade but also proved to be highly scalable and already found other applications.


title: Local migration quantification method for scratch assays

abstract: Motivation: The scratch assay is a standard experimental protocol used to characterize cell migration. It can be used to identify genes that regulate migration and evaluate the efficacy of potential drugs that inhibit cancer invasion. In these experiments, a scratch is made on a cell monolayer and recolonisation of the scratched region is imaged to quantify cell migration rates. A drawback of this methodology is the lack of its reproducibility resulting in irregular cell-free areas with crooked leading edges. Existing quantification methods deal poorly with such resulting irregularities present in the data. Results: We introduce a new quantification method that can analyse low quality experimental data. By considering in-silico and in-vitro data, we show that the method provides a more accurate statistical classification of the migration rates than two established quantification methods. The application of this method will enable the quantification of migration rates of scratch assay data previously unsuitable for analysis. Availability and Implementation: The source code and the implementation of the algorithm as a GUI along with an example dataset and user instructions, are available in https://bitbucket.org/anavictoria-ponce/local_migration_quantification_scratch_assays/src/master/. The datasets are available in https://ganymed.math.uni-heidelberg.de/~victoria/publications.shtml.


title: The MicroTCA fast control board for generic control and data acquisition applications in HEP experiments

abstract: To provide the generic clock, trigger and control function and fulfill the data transmission performance requirement in high energy physics (HEP) experiments, a MicroTCA Fast Control board (uFC) was developed based on the Advanced Mezzanine Card (AMC) specification. Built around the Xilinx Kintex-7 FPGA, the uFC provides users with a platform with data memory, reference clock, trigger and SFP+ (Small Form-factor Pluggable) connections that are required in general experiment. In addition, it has access to two on-board FPGA Mezzanine Card (FMC) sockets with a large array of configurable I/O and high-speed links up to 10 Gbps. This paper presents test results from the first set of pre-production prototypes and reports on the application in High Energy Photon Source in China.


title: Biprobability approach to CP phase degeneracy from non-standard neutrino interactions

abstract: Non-standard interactions (NSI) between neutrinos and matter at long-baseline experiments could make determination of the CP-violating phase $\delta_{13}$ ambiguous due to interference with additional complex phases. Such degeneracies are often studied in the context of specific experiments and a few parameter choices, leaving it unclear how to extract a general understanding of when two sets of parameters may be degenerate or how different types of experiments in principle combine to lift such a degeneracy. This work complements detailed simulations of individual experiments by showing how underlying parameters relate to degeneracies as represented on a biprobability plot. We show how a range of energies near the oscillation maximum $\Delta_{31} = \pi/2$ separates some degenerate probabilities along the CP-conserving direction of biprobability space according to $\delta_{+} \equiv \delta_{13} + \delta_{e\tau}$, while near $\Delta_{31} = 3\pi/2$ degenerate probabilities are separated along the CP-violating direction according to $\delta_{e\tau}$. We apply this to the experimental hints that suggest $\delta_{13} \sim -\pi/2$ to see that this could also be consistent with $\delta_{13}, \delta_{e\tau} = 0$ or $\pi$. The baseline and energy range characteristic of DUNE provides some resolution, but a further improvement comes from beams a few degrees off-axis at $\gtrsim 1000$ km baselines, including some proposed sites for T2HKK.


title: Analysis of Krylov Subspace Solutions of Regularized Nonconvex Quadratic Problems

abstract: We provide convergence rates for Krylov subspace solutions to the trust-region and cubic-regularized (nonconvex) quadratic problems. Such solutions may be efficiently computed by the Lanczos method and have long been used in practice. We prove error bounds of the form $1/t^2$ and $e^{-4t/\sqrt{\kappa}}$, where $\kappa$ is a condition number for the problem, and $t$ is the Krylov subspace order (number of Lanczos iterations). We also provide lower bounds showing that our analysis is sharp.


title: Critical density of topological defects upon a continuous phase transition

abstract: Using extensive Monte Carlo simulations, we test the hypothesis that the density of corresponding topological defects has an universal value at the temperature of a continuous phase transition. We consider several simple two-dimensional models where domain walls, vortices, so-called $\mathbb{Z}_2$ vortices or their combinations are presented. These topological defects are relevant correspondingly to an Ising second-order phase transition, a Berezinskii-Kosterlitz Thouless transition and an explicit crossover. We compare results for square and triangular lattices as well as for the complicated situation when two types of defects are presented and two transitions occur separated in temperature. All considered cases demonstrate consentient results confirming the hypothesis.


title: Cyber-Physical Specification Mismatches

abstract: Embedded systems use increasingly complex software and are evolving into cyber-physical systems (CPS) with sophisticated interaction and coupling between physical and computational processes. Many CPS operate in safety-critical environments and have stringent certification, reliability, and correctness requirements. These systems undergo changes throughout their lifetimes, where either the software or physical hardware is updated in subsequent design iterations. One source of failure in safety-critical CPS is when there are unstated assumptions in either the physical or cyber parts of the system, and new components do not match those assumptions. In this work, we present an automated method towards identifying unstated assumptions in CPS. Dynamic specifications in the form of candidate invariants of both the software and physical components are identified using dynamic analysis (executing and/or simulating the system implementation or model thereof). A prototype tool called Hynger (for HYbrid iNvariant GEneratoR) was developed that instruments Simulink/Stateflow (SLSF) model diagrams to generate traces in the input format compatible with the Daikon invariant inference tool, which has been extensively applied to software systems. Hynger, in conjunction with Daikon, is able to detect candidate invariants of several CPS case studies. We use the running example of a DC-to-DC power converter, and demonstrate that Hynger can detect a specification mismatch where a tolerance assumed by the software is violated due to a plant change. Another case study of an automotive control system is also introduced to illustrate the power of Hynger and Daikon in automatically identifying cyber-physical specification mismatches.


title: Kinetic multiscale scheme based on the discrete-velocity and lattice-Boltzmann methods

abstract: A novel hybrid computational method based on the discrete-velocity (DV) approximation, including the lattice-Boltzmann (LB) technique, is proposed. Numerical schemes for the kinetic equations are used in regions of rarefied flows, and LB schemes are employed in continuum flow zones. The schemes are written under the finite-volume (FV) formulation to achieve the flexibility of local mesh refinement. The truncated Hermite polynomial expansion is used for matching of DV and LB solutions. Special attention is paid to preserving conservation properties in the coupling algorithm. The test results obtained for the Couette flow of a rarefied gas are in excellent agreement with the benchmark solutions, mostly thanks to mesh refinement (both in the physical and velocity spaces) in the Knudsen layer.


title: Lifetime Study of COTS ADC for SBND LAr TPC Readout Electronics

abstract: Short Baseline Near Detector (SBND), which is a 260-ton LAr TPC as near detector in Short Baseline Neutrino (SBN) program, consists of 11,264 TPC readout channels. As an enabling technology for noble liquid detectors in neutrino experiments, cold electronics developed for extremely low temperature (77K - 89K) decouples the electrode and cryostat design from the readout design. With front-end electronics integrated with detector electrodes, the noise is independent of the fiducial volume and about half as with electronics at room temperature. Digitization and signal multiplexing to high speed serial links inside cryostat result in large reduction in the quantity of cables (less outgassing) and the number of feed-throughs, therefore minimize the penetration and simplify the cryostat design. Being considered as an option for the TPC readout, several Commercial-Off-The-Shelf (COTS) ADC chips have been identified as good candidates for operation in cryogenic temperature after initial screening test. Because Hot Carrier Effects (HCE) degrades CMOS device lifetime, one candidate, ADI AD7274 fabricated in TSMC 350nm CMOS technology, of which lifetime at cryogenic temperature is studied. The lifetime study includes two phases, the exploratory phase and the validation phase. This paper describes the test method, test setup, observations in the exploratory phase and the validation phase. Based on the current test data, the preliminary lifetime projection of AD7274 is about 6.1 $\times$ $10^6$ years at 2.5V operation at cryogenic temperature, which means the HCE degradation is negligible during the SBND service life.


title: Restricted permutations for the simple exclusion process in discrete time over graphs

abstract: Exclusion processes became paradigmatic models of nonequilibrium interacting particle systems of wide range applicability both across the natural and the applied, social and technological sciences. Usually they are defined as a continuous-time stochastic process, but in many situations it would be desirable to have a discrete-time version of them. There is no generally applicable formalism for exclusion processes in discrete-time. In this paper we define the symmetric simple exclusion process in discrete time over graphs by means of restricted permutations over the labels of the vertices of the graphs and describe a straightforward sequential importance sampling algorithm to simulate the process. We investigate the approach to stationarity of the process over loop-augmented Bollob\'as-Chung "cycle-with-matches" graphs. In all cases the approach is algebraic with an exponent varying between $1$ and $2$ depending on the number of matches.


title: Deep $k$-Means: Re-Training and Parameter Sharing with Harder Cluster Assignments for Compressing Deep Convolutions

abstract: The current trend of pushing CNNs deeper with convolutions has created a pressing demand to achieve higher compression gains on CNNs where convolutions dominate the computation and parameter amount (e.g., GoogLeNet, ResNet and Wide ResNet). Further, the high energy consumption of convolutions limits its deployment on mobile devices. To this end, we proposed a simple yet effective scheme for compressing convolutions though applying k-means clustering on the weights, compression is achieved through weight-sharing, by only recording $K$ cluster centers and weight assignment indexes. We then introduced a novel spectrally relaxed $k$-means regularization, which tends to make hard assignments of convolutional layer weights to $K$ learned cluster centers during re-training. We additionally propose an improved set of metrics to estimate energy consumption of CNN hardware implementations, whose estimation results are verified to be consistent with previously proposed energy estimation tool extrapolated from actual hardware measurements. We finally evaluated Deep $k$-Means across several CNN models in terms of both compression ratio and energy consumption reduction, observing promising results without incurring accuracy loss. The code is available at https://github.com/Sandbox3aster/Deep-K-Means


title: Application of PROFINET IO in Neutron Scattering Instruments

abstract: The control systems of all neutron scattering instruments implemented by the J\"ulich Centre for Neutron Science (JCNS) are based on Siemens PLC technology. Historically PROFIBUS has been used for the communication of PLCs with supervisory computers, decentral periphery systems and other PLCs. Today, PROFINET IO is the most commonly used industrial real time Ethernet system and naturally supported by Siemens PLC systems. As a consequence, all new neutron instruments of JCNS are based on PROFINET IO. For the interfacing to supervisory computers based on CompactPCI, a CompactPCI carrier board for PC/104-Plus mezzanines has been developed, allowing the transparent use of the Siemens PC/104-Plus PROFINET IO controller CP1604 in CompactPCI systems. Linux is used as the operating system for supervisory computers and the software development employs the PROFINET IO-Base-API, commonly supported by Siemens PROFINET IO controllers. On top of this API, an application protocol for the communication with PLC-based motion systems has been implemented.


title: Scale Space Approximation in Convolutional Neural Networks for Retinal Vessel Segmentation

abstract: Retinal images have the highest resolution and clarity among medical images. Thus, vessel analysis in retinal images may facilitate early diagnosis and treatment of many chronic diseases. In this paper, we propose a novel multi-scale residual convolutional neural network structure based on a \emph{scale-space approximation (SSA)} block of layers, comprising subsampling and subsequent upsampling, for multi-scale representation. Through analysis in the frequency domain, we show that this block structure is a close approximation of Gaussian filtering, the operation to achieve scale variations in scale-space theory. Experimental evaluations demonstrate that the proposed network outperforms current state-of-the-art methods. Ablative analysis shows that the SSA is indeed an important factor in performance improvement.


title: Clebsch-Gordan Nets: a Fully Fourier Space Spherical Convolutional Neural Network

abstract: Recent work by Cohen \emph{et al.} has achieved state-of-the-art results for learning spherical images in a rotation invariant way by using ideas from group representation theory and noncommutative harmonic analysis. In this paper we propose a generalization of this work that generally exhibits improved performace, but from an implementation point of view is actually simpler. An unusual feature of the proposed architecture is that it uses the Clebsch--Gordan transform as its only source of nonlinearity, thus avoiding repeated forward and backward Fourier transforms. The underlying ideas of the paper generalize to constructing neural networks that are invariant to the action of other compact groups.


title: Measurement compatibility in Bell nonlocality tests

abstract: Incompatibility of observables, or measurements, is one of the key features of quantum mechanics, related, among other concepts, to Heisenberg's uncertainty relations and Bell nonlocality. In this manuscript we show, however, that even though incompatible measurements are necessary for the violation of any Bell inequality, some relevant Bell-like inequalities may be obtained if compatibility relations are assumed between the local measurements of one (or more) of the parties. Hence, compatibility of measurements is not necessarily a drawback and may, however, be useful for the detection of Bell nonlocality and device-independent certification of entanglement.


title: Hypersurfaces with light-like points

abstract: Consider a constant mean curvature immersion $F:U(\subset \boldsymbol{R}^n)\to M$ into an arbitrary Lorentzian $(n+1)$-manifold $M$. A point $o\in U$ is called a light-like point if the first fundamental form $ds^2$ of $F$ degenerates at $o$. We denote by $B_F$ the determinant function of the symmetric matrix associated to $ds^2$ with respect to a local coordinate system at $o$. A light-like point $o$ is said to be degenerate if the exterior derivative of $B_F$ vanishes at $o$. We show that if $o$ is a degenerate light-like point, then the image of $F$ contains a light-like geodesic segment of $M$ passing through $f(o)$ (cf.\ Theorem E). This explains why several known examples of constant mean curvature hypersurface in the Lorentz-Minkowski $(n+1)$-space form $\boldsymbol{R}^{n+1}_1$ contain light-like lines on their sets of light-like points, under a suitable regularity condition of $F$. Several related results are also given.


title: The Phase-1 Upgrade of the ATLAS Level-1 Endcap Muon Trigger

abstract: For Run 3 (from 2021), the LHC will undergo a significant increase in instantaneous luminosity to 1.5 times its current value which will lead to larger collected statistics and an enhanced sensitivity to new physics. The Phase-1 upgrade of the ATLAS Level-1 endcap muon trigger is essential to keep the physics acceptance at Run 3. A new trigger logic to take coincidence with detectors inside and outside the magnetic field is described and is shown to reduce the trigger rate to lower than the required level in Run 3. A new trigger board, NSL, to integrate all the information from various detectors, has been developed, and the implementation of the new logic on the FPGA has been successfully demonstrated.


title: Towards a Better Understanding and Regularization of GAN Training Dynamics

abstract: Generative adversarial networks (GANs) are notoriously difficult to train and the reasons underlying their (non-)convergence behaviors are still not completely understood. By first considering a simple yet representative GAN example, we mathematically analyze its local convergence behavior in a non-asymptotic way. Furthermore, the analysis is extended to general GANs under certain assumptions. We find that in order to ensure a good convergence rate, two factors of the Jacobian in the GAN training dynamics should be simultaneously avoided, which are (i) the Phase Factor, i.e., the Jacobian has complex eigenvalues with a large imaginary-to-real ratio, and (ii) the Conditioning Factor, i.e., the Jacobian is ill-conditioned. Previous methods of regularizing the Jacobian can only alleviate one of these two factors, while making the other more severe. Thus we propose a new JAcobian REgularization (JARE) for GANs, which simultaneously addresses both factors by construction. Finally, we conduct experiments that confirm our theoretical analysis and demonstrate the advantages of JARE over previous methods in stabilizing GANs.


title: A concrete model for a typed linear algebraic lambda calculus

abstract: We give an adequate, concrete, categorical-based model for Lambda-S, which is a typed version of a linear-algebraic lambda calculus, extended with measurements. Lambda-S is an extension to first-order lambda calculus unifying two approaches of non-cloning in quantum lambda-calculi: to forbid duplication of variables, and to consider all lambda-terms as algebraic linear functions. The type system of Lambda-S have a superposition constructor S such that a type A is considered as the base of a vector space while SA is its span. Our model considers S as the composition of two functors in an adjunction relation between the category of sets and the category of vector spaces over C. The right adjoint is a forgetful functor U, which is hidden in the language, and plays a central role in the computational reasoning.


title: Computability and Physical Theories

abstract: The familiar theories of physics have the feature that the application of the theory to make predictions in specific circumstances can be done by means of an algorithm. We propose a more precise formulation of this feature --- one based on the issue of whether or not the physically measurable numbers predicted by the theory are computable in the mathematical sense. Applying this formulation to one approach to a quantum theory of gravity, there are found indications that there may exist no such algorithms in this case. Finally, we discuss the issue of whether the existence of an algorithm to implement a theory should be adopted as a criterion for acceptable physical theories.

categories: gr-qc math-ph math.MP physics.comp-ph physics.hist-ph


title: On criteria related to the reciprocal of the Riemann zeta function

abstract: We explore Fourier transforms of the reciprocal of the Riemann zeta function that have connections to the RH. A partial answer to a recently posed problem is explored by exploiting the fact that $\zeta(s)\neq0$ when $\Re(s)=1.$


title: An SOA Based Design of JUNO DAQ Online Software

abstract: The Online Software, manager of the JUNO data acquisition (DAQ) system, is composed of many distributed components working coordinately. It takes the responsibility of configuring, processes management, controlling and information sharing etc. The design of service-oriented architecture (SOA) which represents the modern tendency in the distributed system makes the online software lightweight, loosely coupled, reusable, modular, self-contained and easy to be extended. All the services in the SOA distributed online software system will send messages each to another directly without a traditional broker in the middle, which means that services could operate harmoniously and independently. ZeroMQ is chosen but not the only technical choice as the low-level communication middle-ware because of its high performance and convenient communication model while using Google Protocol Buffers as a marshaling library to unify the pattern of message contents. Considering the general requirement of JUNO, the concept of partition and segment are defined to ensure multiple small-scaled DAQs could run simultaneous and easy to join or leave. All running data except the raw physics events will be transmitted, processed and recorded to the database. High availability (HA) is also taken into account to solve the inevitable single point of failure (SPOF) in the distribution system. This paper will introduce all the core services' functionality and techniques in detail.


title: Two Deletion Correcting Codes from Indicator Vectors

abstract: Construction of capacity achieving deletion correcting codes has been a baffling challenge for decades. A recent breakthrough by Brakensiek $et~al$., alongside novel applications in DNA storage, have reignited the interest in this longstanding open problem. In spite of recent advances, the amount of redundancy in existing codes is still orders of magnitude away from being optimal. In this paper, a novel approach for constructing binary two-deletion correcting codes is proposed. By this approach, parity symbols are computed from indicator vectors (i.e., vectors that indicate the positions of certain patterns) of the encoded message, rather than from the message itself. Most interestingly, the parity symbols and the proof of correctness are a direct generalization of their counterparts in the Varshamov-Tenengolts construction. Our techniques require $7\log(n)+o(\log(n)$ redundant bits to encode an~$n$-bit message, which is near-optimal.


title: FBI-Pose: Towards Bridging the Gap between 2D Images and 3D Human Poses using Forward-or-Backward Information

abstract: Although significant advances have been made in the area of human poses estimation from images using deep Convolutional Neural Network (ConvNet), it remains a big challenge to perform 3D pose inference in-the-wild. This is due to the difficulty to obtain 3D pose groundtruth for outdoor environments. In this paper, we propose a novel framework to tackle this problem by exploiting the information of each bone indicating if it is forward or backward with respect to the view of the camera(we term it Forwardor-Backward Information abbreviated as FBI). Our method firstly trains a ConvNet with two branches which maps an image of a human to both the 2D joint locations and the FBI of bones. These information is further fed into a deep regression network to predict the 3D positions of joints. To support the training, we also develop an annotation user interface and labeled such FBI for around 12K in-the-wild images which are randomly selected from MPII (a public dataset of 2D pose annotation). Our experimental results on the standard benchmarks demonstrate that our approach outperforms state-of-the-art methods both qualitatively and quantitatively.


title: Homotopy classification of Leavitt path algebras

abstract: In this paper we address the classification problem for purely infinite simple Leavitt path algebras of finite graphs over a field $\ell$. Each graph $E$ has associated a Leavitt path $\ell$-algebra $L(E)$. There is an open question which asks whether the pair $(K_0(L(E)), [1_{L(E)}])$, consisting of the Grothendieck group together with the class $[1_{L(E)}]$ of the identity, is a complete invariant for the classification, up to algebra isomorphism, of those Leavitt path algebras of finite graphs which are purely infinite simple. We show that $(K_0(L(E)), [1_{L(E)}])$ is a complete invariant for the classification of such algebras up to polynomial homotopy equivalence. To prove this we develop the bivariant algebraic $K$-theory of Leavitt path algebras and obtain several results of independent interest.


title: Survey and Test Environment for ITER EPP#12 Electrical Components

abstract: The purpose of Equatorial Port Plug 12 (EPP#12) for International thermonuclear experimental reactor (ITER) is to provide a common platform and interface, support or constrainer for five diagnostic plant systems and one glow discharging cleaning system (GDC). As EPP#12 integrator, a team from Institute of plasma physics Chinese of Sciences (CASIPP) performs the design work. The Instrument and Control(I&C) is an important part of system design. The main I&C functions will be implemented include temperature measurements of the port structures, electrical heater with temperature control during baking of windows and providing spare input measurement channel. The integrator should provide the embedded temperature sensors, associated cabling, electrical connectors and electrical feedthrough. Most electrical components will be deployed in port plug structure which is a harsh environment for electrical components. In this paper, we present the survey and research of electrical components for ITER EPP#12. And the design and implement of a test environment for electrical components which is based-on ITER CODAC is also described.


title: A Scalable Machine Learning System for Pre-Season Agriculture Yield Forecast

abstract: Yield forecast is essential to agriculture stakeholders and can be obtained with the use of machine learning models and data coming from multiple sources. Most solutions for yield forecast rely on NDVI (Normalized Difference Vegetation Index) data, which is time-consuming to be acquired and processed. To bring scalability for yield forecast, in the present paper we describe a system that incorporates satellite-derived precipitation and soil properties datasets, seasonal climate forecasting data from physical models and other sources to produce a pre-season prediction of soybean/maize yield---with no need of NDVI data. This system provides significantly useful results by the exempting the need for high-resolution remote-sensing data and allowing farmers to prepare for adverse climate influence on the crop cycle. In our studies, we forecast the soybean and maize yields for Brazil and USA, which corresponded to 44% of the world's grain production in 2016. Results show the error metrics for soybean and maize yield forecasts are comparable to similar systems that only provide yield forecast information in the first weeks to months of the crop cycle.


title: Pseudo-differential operators in H\"older spaces revisited. Weyl-H\"ormander calculus and Ruzhansky-Turunen classes

abstract: In this work we obtain continuity results on H\"older spaces for operators belonging to a Weyl-H\"ormander calculus for metrics such that the class of the associated operators contains, in particular, certain hypoelliptic laplacians. With our results we recover some historical H\"older boundedness theorems (see R. Beals \cite{Be,Be2}). The action of (periodic) Ruzhansky-Turunen classes of pseudo-differential operators on H\"older spaces also will be investigated.


title: Millimeter-Wave Massive MIMO Systems Relying on Generalized Sub-Array-Connected Hybrid Precoding

abstract: In this paper, we consider a generalized sub-array-connected (GSAC) architecture for arbitrary radio frequency (RF) chain and antenna configurations, where the number of RF chains connected to a sub-array and the number of antennas in each sub-array can be arbitrary. Our design objective is to improve the energy-efficiency of the hybrid precoder of millimeter-wave massive multiple input multiple output (MIMO) systems. We firstly propose a successive interference cancellation based hybrid precoding algorithm to maximize the achievable rate for any given RF chain and antenna configuration. This algorithm firstly decomposes the total achievable rate optimization problem into multiple sub-rate optimization problems, then it successively maximizes these sub-rates. Since the number of RF chains is limited, we can afford using an exhaustive search scheme to evaluate all configurations and identify the one having the best energy efficiency. Moreover, to rely on an attractive limited feedback, we also propose a beamsteering codebook for our hybrid precoding aided GSAC architecture. Our simulation results demonstrate that the proposed scheme achieves a similar rate as the corresponding optimal unconstrained precoder. Furthermore, we show that the energy-efficiency of the proposed scheme is better than that of the existing schemes in the fully-connected and sub-array-connected architectures.


title: Additive phase-noise in frequency conversion in LLRF systems

abstract: This contribution focuses on phase-noise added during frequency conversion in low-level radio frequency (LLRF) control systems. The stability of beams' parameters in linear accelerators depends on the stability of amplitude and phase of the accelerating field. A LLRF control system regulates the electromagnetic field inside accelerating modules based on the input RF signals. Typically active mixers down-convert those signals, which are later sampled and digitized by ADCs. This field detection scheme necessitates synthesis of a heterodyne/local oscillator (LO) signal which is often generated using a passive mixer and a frequency divider. Additive close-to-carrier phase noise can be observed in the aforementioned circuits. The phase noise of a passive mixer's output signal is typically calculated using a small-signal model based on modulation theory. Experimental results indicate that the power level of the input signals has a nonlinear effect on phase noise beyond the noise floor. The frequency dividers' output phase noise was measured as a function of input power, input frequency, and division ratio. The influence of the LO signal power level on the active mixers' output signal phase noise was measured and two hypotheses were made. Further measurements of the AM-PM and PM-AM conversion were made to verify one of the hypotheses. The fidelity of the LO signal is partially determined by the phase noise of the IF signal.


title: Color Constancy by Reweighting Image Feature Maps

abstract: In this study, a novel illuminant color estimation framework is proposed for computational color constancy, which incorporates the high representational capacity of deep-learning-based models and the great interpretability of assumption-based models. The well-designed building block, feature map reweight unit (ReWU), helps to achieve comparative accuracy on benchmark datasets with respect to prior state-of-the-art deep learning based models while requiring more compact model size and cheaper computational cost. In addition to local color estimation, a confidence estimation branch is also included such that the model is able to simultaneously produce point estimate and its uncertainty estimate, which provides useful clues for local estimates aggregation and multiple illumination estimation. The source code and the dataset have been made available at https://github.com/QiuJueqin/Reweight-CC.


title: T0 Fan-out for Back-n White Neutron Facility at CSNS

abstract: the main physics goal for Back-n white neutron facility at China Spallation Neutron Source (CSNS) is to measure nuclear data. The energy of neutrons is one of the most important parameters for measuring nuclear data. Method of time of flight (TOF) is used to obtain the energy of neutrons. The time when proton bunches hit the thick tungsten target is considered as the start point of TOF. T0 signal, generated from the CSNS accelerator, represents this start time. Besides, the T0 signal is also used as the gate control signal that triggers the readout electronics. Obviously, the timing precision of T0 directly affects the measurement precision of TOF and controls the running or readout electronics. In this paper, the T0 fan-out for Back-n white neutron facility at CSNS is proposed. The T0 signal travelling from the CSNS accelerator is fanned out to the two underground experiment stations respectively over long cables. To guarantee the timing precision, T0 signal is conditioned with good signal edge. Furthermore, techniques of signal pre-emphasizing and equalizing are used to improve signal quality after T0 being transmitted over long cables with about 100 m length. Experiments show that the T0 fan-out works well, the T0 signal transmitted over 100 m remains a good time resolution with a standard deviation of 25 ps. It absolutely meets the required accuracy of the measurement of TOF.


title: Electronics of Time-of-flight Measurement for Back-n at CSNS

abstract: Back-n is a white neutron experimental facility at China Spallation Neutron Source (CSNS). The time structure of the primary proton beam make it fully applicable to use TOF (time-of-flight) method for neutron energy measuring. We implement the electronics of TOF measurement on the general-purpose readout electronics designed for all of the seven detectors in Back-n. The electronics is based on PXIe (Peripheral Component Interconnect Express eXtensions for Instrumentation) platform, which is composed of FDM (Field Digitizer Modules), TCM (Trigger and Clock Module), and SCM (Signal Conditioning Module). T0 signal synchronous to the CSNS accelerator represents the neutron emission from the target. It is the start of time stamp. The trigger and clock module (TCM) receives, synchronizes and distributes the T0 signal to each FDM based on the PXIe backplane bus. Meantime, detector signals after being conditioned are fed into FDMs for waveform digitizing. First sample point of the signal is the stop of time stamp. According to the start, stop time stamp and the time of signal over threshold, the total TOF can be obtained. FPGA-based (Field Programmable Gate Array) TDC is implemented on TCM to accurately acquire the time interval between the asynchronous T0 signal and the global synchronous clock phase. There is also an FPGA-based TDC on FDM to accurately acquire the time interval between T0 arriving at FDM and the first sample point of the detector signal, the over threshold time of signal is obtained offline. This method for TOF measurement is efficient and not needed for additional modules. Test result shows the accuracy of TOF is sub-nanosecond and can meet the requirement for Back-n at CSNS.


title: Optimal Online Contention Resolution Schemes via Ex-Ante Prophet Inequalities

abstract: Online contention resolution schemes (OCRSs) were proposed by Feldman, Svensson, and Zenklusen as a generic technique to round a fractional solution in the matroid polytope in an online fashion. It has found applications in several stochastic combinatorial problems where there is a commitment constraint: on seeing the value of a stochastic element, the algorithm has to immediately and irrevocably decide whether to select it while always maintaining an independent set in the matroid. Although OCRSs immediately lead to prophet inequalities, these prophet inequalities are not optimal. Can we instead use prophet inequalities to design optimal OCRSs? We design the first optimal $1/2$-OCRS for matroids by reducing the problem to designing a matroid prophet inequality where we compare to the stronger benchmark of an ex-ante relaxation. We also introduce and design optimal $(1-1/e)$-random order CRSs for matroids, which are similar to OCRSs but the arrival is chosen uniformly at random.


title: Sub-millimeter non-contaminated detection of the disk around TWA\,7 by ALMA

abstract: Debris disks can be seen as the left-overs of giant planet formation and the possible nurseries of rocky planets. While M-type stars out-number more massive stars we know very little about the time evolution of their circumstellar disks at ages older than $\sim 10$\,Myr. Sub-millimeter observations are best to provide first order estimates of the available mass reservoir and thus better constrain the evolution of such disks. Here, we present ALMA Cycle\,3 Band\,7 observations of the debris disk around the M2 star TWA\,7, which had been postulated to harbor two spatially separated dust belts, based on unresolved far-infrared and sub-millimeter data. We show that most of the emission at wavelengths longer than $\sim 300$\,$\mu$m is in fact arising from a contaminant source, most likely a sub-mm galaxy, located at about 6.6" East of TWA\,7 (in 2016). Fortunately, the high resolution of our ALMA data allows us to disentangle the contaminant emission from that of the disc and report a significant detection of the disk in the sub-millimeter for the first time with a flux density of 2.1$\pm$0.4 mJy at 870 $\mu$m. With this detection, we show that the SED can be reproduced with a single dust belt.


title: Design of Prototype Front-end Digital Module for Direct Dark Matter Detection based on LAr

abstract: Liquid argon (LAr) with a high light yield of approximately 40 photons per keV is an attractive target for the direct detection of weakly interacting massive particles (WIMPs), which are well motivated galactic dark matter candidates. We studies a front-end electronics design for a LAr dark matter detector with the scintillation read out by PMT, which has an input dynamic range from 5pC to 1nC, and high resolution that single photoelectron can be distinguished. In this paper, we present the design of front-end digital module (FDM) which is the important portion of electronics. The prototype FDM is equipped with 14-bit 1-GSPS analog-to-digital converters (ADC), and the performance of prototype FDM had been test in lab (e.g. ENOB is 10.40 bits @298 MHz). Moreover, this prototype FDM had been tested with LAr detector collaboratively and test results are also presented.


title: Effect of Transit Signal Priority on Bus Service Reliability

abstract: Buses are known to be an unstable system, and as a result they struggle to stay on schedule and/or to maintain regular headways. In current practice, transit agencies add significant slack to the schedule and hold buses until their scheduled departure time at certain stations along the route. These practices can smooth out small disruptions but are not robust to large disruptions. Various headway-based strategies have been proposed but these also rely on holding buses and therefore reduce their average pace. Transit signal priority (TSP) is commonly used to reduce the signal delay that buses experience but the potential for signals to serve as an additional control agent to enhance bus reliability has not been systematically evaluated. We are especially interested in evaluating conditional signal priority (CSP), in which buses send priority requests only when a condition is met. A mathematical model based on Brownian motion is proposed for bus systems with a schedule where pairing is not a concern and is used to develop formulas for the expectation and variance of steady state deviation. Simulation is used to confirm these findings and to evaluate the case of bus systems operated by headway where pairing is a concern. The analytical and simulation results show that CSP can be used not just to accelerate buses but to improve their reliability. CSP is as good as TSP in some scenarios and better in others. In all scenarios it is better for other traffic because it sends fewer priority requests.


title: The remnant radio galaxy associated with NGC 1534

abstract: We present new observations of the large-scale radio emission surrounding the lenticular galaxy NGC~1534 with the Australia Telescope Compact Array and Murchison Widefield Array. We find no significant compact emission from the nucleus of NGC 1534 to suggest an active core, and instead find low-power radio emission tracing its star-formation history with a radio-derived star-formation rate of $0.38\pm0.03$ M$_\odot$ yr$^{-1}$. The spectral energy distribution of the extended emission is well-fit by a continuous injection model with an 'off' component, consistent with dead radio galaxies. We find the spectral age of the emission to be 203 Myr, having been active for 44 Myr. Polarimetric analysis points to both a large-scale magneto-ionic Galactic foreground at $+33$ rad m$^{-2}$ and a component associated with the northern lobe of the radio emission at $-153$ rad m$^{-2}$. The magnetic field of the northern lobe shows an unusual circular pattern of unknown origin. While such remnant sources are rare, combined low- and high-frequency radio surveys with high surface-brightness sensitivities are expected to greatly increase their numbers in the coming decade, and combined with new optical and infrared surveys should provide a wealth of information on the hosts of the emission.


title: Track Xplorer: A System for Visual Analysis of Sensor-based Motor Activity Predictions

abstract: With the rapid commoditization of wearable sensors, detecting human movements from sensor datasets has become increasingly common over a wide range of applications. To detect activities, data scientists iteratively experiment with different classifiers before deciding which model to deploy. Effective reasoning about and comparison of alternative classifiers are crucial in successful model development. This is, however, inherently difficult in developing classifiers for sensor data, where the intricacy of long temporal sequences, high prediction frequency, and imprecise labeling make standard evaluation methods relatively ineffective and even misleading. We introduce Track Xplorer, an interactive visualization system to query, analyze, and compare the predictions of sensor-data classifiers. Track Xplorer enables users to interactively explore and compare the results of different classifiers, and assess their accuracy with respect to the ground-truth labels and video. Through integration with a version control system, Track Xplorer supports tracking of models and their parameters without additional workload on model developers. Track Xplorer also contributes an extensible algebra over track representations to filter, compose, and compare classification outputs, enabling users to reason effectively about classifier performance. We apply Track Xplorer in a collaborative project to develop classifiers to detect movements from multisensor data gathered from Parkinson's disease patients. We demonstrate how Track Xplorer helps identify early on possible systemic data errors, effectively track and compare the results of different classifiers, and reason about and pinpoint the causes of misclassifications.


title: Development of the Front-End Electronics for PandaX-III Prototype TPC

abstract: The Particle And Astrophysical Xenon Experiment III (PandaX-III) is an experiment to search for the Neutrinoless Double Beta Decay (NLDBD) using 200 kg radio-pure high-pressure gaseous xenon TPC with Micromegas detectors at both ends and cathode in the middle. A small-scale TPC equipped with 7 Microbulk Micromegas detectors is developed as the prototype detector. 128 channels are readout following an X-Y design with strips of 3 mm pitch (64 channels each direction) from one Micromegas module. Highly integrated front-end electronics composed of 4 front-end cards with 1024 readout channels is designed to readout the charge of Micromegas anode signals, digitize the waveform after shaping and send compressed data to the DCM board. The cornerstone of the front-end electronics is a 64-channel application specific integrated circuit which is based on a switched capacitor array. The integral nonlinearity of the front-end electronics is less than 1% with 1 pC. The noise (RMS) of each readout channel is less than 0.9 fC with 1 microsecond peaking time and 1 pC range. Using the radioactive sources 56 Fe and 137 Cs, joint-tests of front-end electronics with the prototype TPC were carried out and the hit map of 7 Micromegas has been reconstructed.


title: Readout Electronics for CBM-TOF Super Module Quality Evaluation

abstract: A super module assembled with MRPC detectors is a component of TOF (Time of Flight) system for the Compressed Baryonic Matter (CBM) experiment. Before the super modules are applied to CBM-TOF, their quality needs to be evaluated. The readout electronics is confronted with a tremendous challenge of transmitting data at the maximal speed of 6 Gbps. In this paper, the readout method for CBM-TOF super module quality evaluation is presented. A parallel architecture based on the Gigabit Ethernet is designed to meet the requirement for data transmission rate. First, the data is sent from the front-end electronics to four readout module groups via optical fibers at the maximal rate of 1.5 Gbps per fiber. Next, the data are further distributed to sixteen parallel daughter readout models so that the maximal data throughput of each daughter readout module is 375 Mbps, within its capacity of 550 Mbps. Finally, the readout daughter modules send data to the data acquisition (DAQ) software through standard Gigabit Ethernet. The proposed readout method has the advantage of good scalability, so it can meet different requirements for variable data rate. The preliminary test result shows that each of four parallel readout groups can transmit data at the speed of 1.6 Gbps, which indicates that the overall readout system can meet the requirement for the maximal data-transmission speed of 6 Gbps.


title: W-hairs of black holes in three dimensional spacetime

abstract: In the previous paper (arXiv:1804.09438) we found that the near horizon symmetry algebra of black holes is a subalgebra of the $W_{1+\infty}$ symmetry algebra of quantum Hall fluid in three dimensional spacetime. In this paper, we give a slightly different representation of the former algebra from the latter one. Similar to the horizon fluff proposal, based on the $W_{1+\infty}$ algebra, we count the number of the microstates of the BTZ black holes and obtain the Bekenstein-Hawking entropy.


title: Suppression of Tearing Modes by RF Current Condensation

abstract: Currents driven by rf (radio frequency) waves in the interior of magnetic islands can stabilize deleterious tearing modes in tokamaks. Present analyses of stabilization assume that the local electron acceleration is unaffected by the presence of the island. However, the power deposition and electron acceleration are sensitive to the perturbation of the temperature. The nonlinear feedback on the power deposition in the island increases the temperature perturbation, and can lead to a bifurcation of the solution to the steady-state heat diffusion equation. The combination of the nonlinearly enhanced temperature perturbation with the rf current drive sensitivity to the temperature leads to an rf current condensation effect, which can increase the efficiency of rf current drive stabilization and reduce its sensitivity to radial misalignment of the ray trajectories. The threshold for the effect is in a regime that has been encountered in experiments, and will likely be encountered in ITER.


title: Readout method based on PCIe over optical fiber for CBM-TOF super module quality evaluation

abstract: The Compressed Baryonic Matter (CBM) experiment will investigate the quantum chromodynamics (QCD) phase diagram at high net baryon densities and moderate temperatures. CBM Time of Flight (TOF) system is composed of super modules containing high performance Multi-gap Resistive Plate Chambers (MRPCs). During the mass production, each super module assembled with MRPCs needs quality evaluation, which includes time measurement and data readout. Read out electronics encounter the challenge of reading data from a super module at a speed of about 6 Gbps. In this paper, a read out method based on Peripheral Component Interconnect Express (PCIe) over optical fiber is proposed for CBM-TOF super module quality evaluation. The digitized data from super module will be concentrated at the front-end electronics, and then be transmitted to a PCIe switch module (PSM) over optical fiber using PCIe protocol. The PSM is directly plugged into the motherboard via gold fingers at the backend data acquisition server. With this readout method, a high-speed transmission rate can be reached. Furthermore, a PSM can receives data from several super modules simultaneously, which is important to improve the evaluation efficiency. This readout method simplifies the architecture of readout electronics and supports long distance transmission between frontend and backend.


title: Revisiting Quantum Volume Operator

abstract: In this paper we introduce the n-dimensional hypersurface quantum volume operator by using the n-dimensional holonomy variation formula. Instead of trying to construct the n-dimensional hypersurface volume operator by using the n-1 dimensional hypersufrace volume operators, as it is usually done in 3d case, we introduce the n-dimensional volume operator directly. We use two facts - first, that the area of the n-dimensional hypersurface of the n+1 dimensional manifold is the volume of the n dimensional induced metric and secondly that the holonomy variation formula is valid for the n-dimensional hypersufrace in the n+1 manifold with connection values in any Lie algebra.


title: On the quadratic dual of the Fomin-Kirillov algebras

abstract: We study ring-theoretic and homological properties of the quadratic dual (or Koszul dual) $\mathcal{E}_n^!$ of the Fomin-Kirillov algebras $\mathcal{E}_n$; these algebras are connected $\mathbb{N}$-graded and are defined for $n \geq 2$. We establish that the algebra $\mathcal{E}_n^!$ is module-finite over its center (so, satisfies a polynomial identity), is Noetherian, and has Gelfand-Kirillov dimension $\lfloor n/2 \rfloor$ for each $n \geq 2$. We also observe that $\mathcal{E}_n^!$ is not prime for $n \geq 3$. By a result of Roos, $\mathcal{E}_n$ is not Koszul for $n \geq 3$, so neither is $\mathcal{E}_n^!$ for $n \geq 3$. Nevertheless, we prove that $\mathcal{E}_n^!$ is Artin-Schelter (AS-)regular if and only if $n=2$, and that $\mathcal{E}_n^!$ is both AS-Gorenstein and AS-Cohen-Macaulay if and only if $n=2,3$. We also show that the depth of $\mathcal{E}_n^!$ is $\leq 1$ for each $n \geq 2$, conjecture we have equality, and show this claim holds for $n =2,3$. Several other directions for further examination of $\mathcal{E}_n^!$ are suggested at the end of this article.


title: On property of least common multiple to be a $D$-magic number

abstract: Least common multiple ($lcm$) has been shown to posses the property of $D$-magic number, that is, its least significant digit $0$ does not change when the number is transferred into all other numbering systems with smaller bases. The number $lcm + 1$ preserves this property as well.


title: Ben\'e: On Demand Cost-Effective Scaling at the Edge

abstract: Edge computing has become increasingly popular across many domains and enterprises. However, given the locality constraint of edges (i.e., only close-by edges are useful), multiplexing diverse workloads becomes challenging. This results in poor resource utilization in edge resources that are provisioned for peak demand. A simple way to allow multiplexing is through micro-data centers, that bring computation close to the users while supporting diverse workloads throughout the data, along with edges. In this paper, we argue for a hybrid approach of dedicated edge resources within an enterprise and on demand resources in micro-data centers that are shared across entities. We show that this hybrid approach is an effective and cost-efficient way for scaling workloads and removes the need for over-provisioning dedicated resources per enterprise. Moreover, compared to a scaling approach that uses only the edges across enterprises, micro-data centers also form a trusted third party that can maintain important quality of service guarantees such as data privacy, security, and availability.


title: Learning Task-Oriented Grasping for Tool Manipulation from Simulated Self-Supervision

abstract: Tool manipulation is vital for facilitating robots to complete challenging task goals. It requires reasoning about the desired effect of the task and thus properly grasping and manipulating the tool to achieve the task. Task-agnostic grasping optimizes for grasp robustness while ignoring crucial task-specific constraints. In this paper, we propose the Task-Oriented Grasping Network (TOG-Net) to jointly optimize both task-oriented grasping of a tool and the manipulation policy for that tool. The training process of the model is based on large-scale simulated self-supervision with procedurally generated tool objects. We perform both simulated and real-world experiments on two tool-based manipulation tasks: sweeping and hammering. Our model achieves overall 71.1% task success rate for sweeping and 80.0% task success rate for hammering. Supplementary material is available at: bit.ly/task-oriented-grasp


title: Progress on the Electromagnetic Calorimeter Trigger Simulation at the Belle II Experiment

abstract: The Belle II experiment at KEK in Japan has started real data taking from April 2018 to probe a New Physics beyond the Standard Model by measuring CP violation precisely and rare weak decays of heavy quark and lepton. The experiment is performed at the high luminosity SuperKEKB e^+ e^- collider with 80 x 10^34 cm^-2 s^-1 as an ultimate instantaneous luminosity. In order to develop and test an appropriate trigger algorithm under much higher luminosity and beam background environment than previous KEKB collider, a detail simulation study of the Belle II calorimeter trigger system is very crucial to operate Belle II Trigger and DAQ system in stable. We report preliminary results on various trigger logics and their efficiencies using physics and beam background Monte Carlo events with a Belle II Geant4-based analysis framework called Basf2.


title: Cavity Simulator for European Spallation Source

abstract: European Spallation Source will be the brightest neutron source in the world. It is being built in Lund, Sweden. Over 120 superconducting cavities will be installed in the facility, each regulated by an individual LLRF control system. To reduce the risk associated with testing the systems on real cavities a Cavity Simulator was designed. It reproduces the behaviour of superconducting cavities used in the medium and high beta sections of ESS's Linac. The high power RF amplifier and piezo actuators parameters are also simulated. Based on the RF drive and piezo control signals the Cavity Simulator generates the RF signals acquired by the inputs of the LLRF control system. This is used to close the LLRF feedback loop in real time. The RF front end of the Cavity Simulator consists of vector modulators, down-converting circuits, and a set of fast data converters. The cavity response simulation is performed in a high speed FPGA logic by a dedicated firmware, that was optimized to minimize the processing time. The device also generates clock, LO, and the 704.42 MHz reference signals to allow for system tests outside of the accelerator environment. In this paper the design of the Cavity Simulator, description of the algorithms used in its firmware, and measurement results of the device are presented.


title: Observation of dynamical quantum phase transition by a superconducting qubit simulation

abstract: A dynamical quantum phase transition can occur during time evolution of sudden quenched quantum systems across a phase transition. It corresponds to the nonanalytic behavior at a critical time of the rate function of the quantum state return amplitude, analogous to nonanalyticity of the free energy density at the critical temperature in macroscopic systems. A variety of many-body systems can be represented in momentum space as a spin-1/2 state evolving on the Bloch sphere, where each momentum mode is decoupled and thus can be simulated independently by a single qubit. Here, we report the observation of a dynamical quantum phase transition in a superconducting qubit simulation of the quantum quench dynamics of many-body systems. We take the Ising model with a transverse field as an example for demonstration. In our experiment, the spin state, which is initially polarized longitudinally, evolves based on a Hamiltonian with adjustable parameters depending on the momentum and strength of the transverse magnetic field. The time evolving quantum state is read out by state tomography. Evidence of dynamical quantum phase transitions, such as paths of time evolution states on the Bloch sphere, non-analytic behavior of the dynamical free energy and the emergence of Skyrmion lattice in momentum-time space, is observed. The experimental data agrees well with theoretical and numerical calculations. The experiment demonstrates for the first time explicitly the topological invariant, both topologically trivial and non-trivial, for dynamical quantum phase transitions. Our results show that the quantum phase transitions of this class of many-body systems can be simulated successfully with a single qubit by varying certain control parameters over the corresponding momentum range.


title: Noise Measurements of High-Speed, Light-Emitting GaN Resonant-Tunneling Diodes

abstract: We report here the first RF noise measurements on two designs of n-doped GaN/AlN double-barrier resonant tunneling diodes (RTDs), each having a room-temperature negative differential resistance (NDR) and also strong near-UV light emission. The measurements are made with a standard, un-isolated RF receiver and calibration is made using a substitution-resistor/hot-cold radiometric technique which works in the positive differential resistance (PDR) region but not the NDR region. A high-quality InGaAs/AlAs double-barrier RTD is used as a control sample and displays shot noise suppression down to $\Gamma\approx$0.5 in the PDR region, as expected. The GaN/AlN RTDs display both shot-noise enhancement and suppression in the PDR regions, but no obvious sign of sudden shot-noise enhancement in the threshold bias region of light emission. This supports the hypothesis that the holes required for light emission are created by electronic (Zener) interband tunneling, not impact ionization. Further the minimum shot-noise factor of $\Gamma\sim$ 0.34 suggests that the GaN/AlN RTDs are acting like triple-barrier devices.


title: Comment on "A Nonholonomic Model of the Paul Trap"

abstract: A recent article by Borisov et al. [Regular and Chaotic Dynamics 23.3 (2018): 339-354.] studies the motion of a rigid ball in a rotating-saddle trap. The authors claim that they derive a new equation of motion from the Lagrangian formalism, which is different from the one we obtained from the Newtonian formalism in our recent work [American Journal of Physics 85.11 (2017): 821-829.]. We show here that these two equations of motion are the same. In addition, besides the reduced spin frequency and the moment of inertia coefficient, the stability condition given by the article is independent of the ball radius---this result is incorrect. The mistake is due to the fact that the center of mass and the contact point are not distinguished in the explicit expression of the local normal vector.


title: Development of Slow Control Package for the Belle II Calorimeter Trigger System

abstract: The Belle II experiment at the SuperKEKB e+e- collider in KEK, Japan does start physics data-taking from early of 2018 with primary physics goal that is to probe the New Physics effect using heavy quark and lepton weak decays. During trigger and DAQ operation upon beam collision, it is important that Belle II detector (Fig. 1) status have to be monitored in a process of data-taking against an unexpected situation. Slow control system, built in the Control System Studio (CSS) which is a GUI window design tool based on Eclipse, is one of monitoring and controlling systems in Belle II operation. Database and archiver servers are connected to slow control system. Experimental parameters are downloaded to Belle II main database server which is based on PostgreSQL. Real-time results are stored in archiver server which is based on EPICS (The Experimental Physics and Industrial Control System) archiver appliances and tomcat which is open-source java servlet container. In this study, we report the development of slow control system for the Belle II electromagnetic calorimeter (ECL) trigger system.


title: Influence of time delay on information exchanges between coupled linear stochastic systems

abstract: Time lags are ubiquitous in biophysiological processes and more generally in real-world complex networks. It has been recently proposed to use information-theoretic tools such as transfer entropy to detect and estimate a possible delay in the couplings. In this work, we focus on stationary linear stochastic processes in continuous time and compute the transfer entropy in the presence of delay and correlated noises, using an approximate but numerically effective solution to the relevant Wiener-Hopf factorization problem. Our results rectify and complete the recent study of [1].


title: Stacking tunable interlayer magnetism in bilayer CrI3

abstract: Diverse interlayer tunability of physical properties of two-dimensional layers mostly lies in the covalent-like quasi-bonding that is significant in electronic structures but rather weak for energetics. Such characteristics result in various stacking orders that are energetically comparable but may significantly differ in terms of electronic structures, e.g. magnetism. Inspired by several recent experiments showing interlayer anti-ferromagnetically coupled CrI3 bilayers, we carried out first-principles calculations for CrI3 bilayers. We found that the anti-ferromagnetic coupling results from a new stacking order with the C2/m space group symmetry, rather than the graphene-like one with R3 as previously believed. Moreover, we demonstrated that the intra- and inter-layer couplings in CrI3 bilayer are governed by two different mechanisms, namely ferromagnetic super-exchange and direct-exchange interactions, which are largely decoupled because of their significant difference in strength at the strong- and weak-interaction limits. This allows the much weaker interlayer magnetic coupling to be more feasibly tuned by stacking orders solely. Given the fact that interlayer magnetic properties can be altered by changing crystal structure with different stacking orders, our work opens a new paradigm for tuning interlayer magnetic properties with the freedom of stacking order in two dimensional layered materials.


title: Energy Conditions in Higher Derivative $f(R,\Box R,T)$ Gravity

abstract: In this paper, we examined the viability bounds of a higher derivative $f(R,\Box R, T)$ theory through analyzing energy conditions (where $R$ and $T$ are the Ricci scalar and trace of energy momentum tensor, respectively). We take flat Friedmann-Lema\^{i}tre-Robertson-Walker spacetime coupled with ideal configurations of matter content. We consider three different realistic models of this gravity, that could be utilized to understand the stability of cosmological solutions. After constructing certain bounds mediated by energy conditions, more specifically weak energy condition, we discuss viable zones of the under considered modified models in an environment of recent estimated numerical choices of the cosmic parameters.


title: EMPHASIS: An Emotional Phoneme-based Acoustic Model for Speech Synthesis System

abstract: We present EMPHASIS, an emotional phoneme-based acoustic model for speech synthesis system. EMPHASIS includes a phoneme duration prediction model and an acoustic parameter prediction model. It uses a CBHG-based regression network to model the dependencies between linguistic features and acoustic features. We modify the input and output layer structures of the network to improve the performance. For the linguistic features, we apply a feature grouping strategy to enhance emotional and prosodic features. The acoustic parameters are designed to be suitable for the regression task and waveform reconstruction. EMPHASIS can synthesize speech in real-time and generate expressive interrogative and exclamatory speech with high audio quality. EMPHASIS is designed to be a multi-lingual model and can synthesize Mandarin-English speech for now. In the experiment of emotional speech synthesis, it achieves better subjective results than other real-time speech synthesis systems.


title: Towards Optimal Transport with Global Invariances

abstract: Many problems in machine learning involve calculating correspondences between sets of objects, such as point clouds or images. Discrete optimal transport provides a natural and successful approach to such tasks whenever the two sets of objects can be represented in the same space, or at least distances between them can be directly evaluated. Unfortunately neither requirement is likely to hold when object representations are learned from data. Indeed, automatically derived representations such as word embeddings are typically fixed only up to some global transformations, for example, reflection or rotation. As a result, pairwise distances across two such instances are ill-defined without specifying their relative transformation. In this work, we propose a general framework for optimal transport in the presence of latent global transformations. We cast the problem as a joint optimization over transport couplings and transformations chosen from a flexible class of invariances, propose algorithms to solve it, and show promising results in various tasks, including a popular unsupervised word translation benchmark.


title: Best Vision Technologies Submission to ActivityNet Challenge 2018-Task: Dense-Captioning Events in Videos

abstract: This note describes the details of our solution to the dense-captioning events in videos task of ActivityNet Challenge 2018. Specifically, we solve this problem with a two-stage way, i.e., first temporal event proposal and then sentence generation. For temporal event proposal, we directly leverage the three-stage workflow in [13, 16]. For sentence generation, we capitalize on LSTM-based captioning framework with temporal attention mechanism (dubbed as LSTM-T). Moreover, the input visual sequence to the LSTM-based video captioning model is comprised of RGB and optical flow images. At inference, we adopt a late fusion scheme to fuse the two LSTM-based captioning models for sentence generation.


title: Framework for Opinion Mining Approach to Augment Education System Performance

abstract: The extensive expansion growth of social networking sites allows the people to share their views and experiences freely with their peers on internet. Due to this, huge amount of data is generated on everyday basis which can be used for the opinion mining to extract the views of people in a particular field. Opinion mining finds its applications in many areas such as Tourism, Politics, education and entertainment, etc. It has not been extensively implemented in area of education system. This paper discusses the malpractices in the present examination system. In the present scenario, Opinion mining is vastly used for decision making. The authors of this paper have designed a framework by applying Na\"ive Bayes approach to the education dataset. The various phases of Na\"ive Bayes approach include three steps: conversion of data into frequency table, making classes of dataset and apply the Na\"ive Bayes algorithm equation to calculate the probabilities of classes. Finally the highest probability class is the outcome of this prediction. These predictions are used to make improvements in the education system and help to provide better education.


title: Input-output analysis of Mach 0.9 jet noise

abstract: We examine amplifying behavior of small perturbations about Reynolds-averaged Navier-Stokes solutions (RANS) of a $M_j = 0.9$ subsonic turbulent jet using input-output (I/O) analysis. Singular value decomposition (SVD) of the resolvent of the linearized Navier-Stokes (LNS) equations forms an orthonormal set of I/O mode pairs, sorted in descending order by the magnitude of the corresponding singular values. In this study we design a filter to restrict input forcings to be active only in regions where turbulent kinetic energy (TKE) of jet turbulence is high. For an output domain, we directly implement the Ffowcs Williams-Hawkings (FWH) method within I/O analysis framework to measure far-field sound of observers distributed along an arc. In this way we find that the resulting TKE-weighted input modes captures coherent structures in the near-field of turbulent jets. Optimal input modes correspond to wavepackets represented by asymmetric pseudo-Gaussian envelope functions at a given forcing frequency. These wavepackets remain similar in shape over a range of frequencies for $St > 0.5$, and scale as $St^{-0.5}$. While the optimal mode is a wavepacket, sub-optimal modes represent decoherence of the optimal input mode. By projecting high-fidelity large eddy simulation (LES) data onto the basis of input modes, we find that input modes do indeed capture the acoustically relevant dynamics in the jet. The far-field acoustics predicted by the LES are recovered using only a few number of I/O modes.


title: Real-Time Redundancy for the 1.3 GHz Master Oscillator of the European-XFEL

abstract: Many modern large-scale facilities, like European X-ray Free Electron Laser (E-XFEL), require precise synchronisation, often down to femtosecond level. Even a very short interruption or an excessive glitch in the reference signal might break the precise time relations between subsystems. In such event, a time-consuming resynchronization process is required that renders the facility not available for the users until it is completed. Therefore, such events are highly undesirable. In this paper, we present an autonomous redundancy solution for the European-XFEL's master oscillator that will guarantee a continuous delivery of the high-quality reference signal even in case of most of the potential failures. The concept and implementation are presented, as well as results from testing in the laboratory environment.


title: Understanding Super-Earths with MINERVA-Australis at USQ's Mount Kent Observatory

abstract: Super Earths, planets between 5-10 Earth masses, are the most common type of exoplanet known, yet are completely absent from our Solar system. As a result, their detailed properties, compositions, and formation mechanisms are poorly understood. NASA's Transiting Exoplanet Survey Satellite (TESS) will identify hundreds of Super-Earths orbiting bright stars, for the first time allowing in-depth characterisation of these planets. At the University of Southern Queensland, we are host to the MINERVA-Australis project, dedicated wholly to the follow-up characterisation and mass measurement of TESS planets. We give an update on the status of MINERVA-Australis and our expected performance.


title: RAM: A Region-Aware Deep Model for Vehicle Re-Identification

abstract: Previous works on vehicle Re-ID mainly focus on extracting global features and learning distance metrics. Because some vehicles commonly share same model and maker, it is hard to distinguish them based on their global appearances. Compared with the global appearance, local regions such as decorations and inspection stickers attached to the windshield, may be more distinctive for vehicle Re-ID. To embed the detailed visual cues in those local regions, we propose a Region-Aware deep Model (RAM). Specifically, in addition to extracting global features, RAM also extracts features from a series of local regions. As each local region conveys more distinctive visual cues, RAM encourages the deep model to learn discriminative features. We also introduce a novel learning algorithm to jointly use vehicle IDs, types/models, and colors to train the RAM. This strategy fuses more cues for training and results in more discriminative global and regional features. We evaluate our methods on two large-scale vehicle Re-ID datasets, i.e., VeRi and VehicleID. Experimental results show our methods achieve promising performance in comparison with recent works.


title: Two Pressure-induced Superconducting Transitions in SnBi$_2$Se$_4$ Explored by Data-driven Materials Search: New Approach to Develop Novel Functional Materials Including Thermoelectric and Superconducting Materials

abstract: Candidates for new thermoelectric and superconducting materials, which have narrow band gap and flat bands near band edges, were searched by the high-throughput first-principles calculation from an inorganic materials database. The synthesized SnBi$_2$Se$_4$ among the target compounds showed a narrow band gap of 354 meV, and a thermal conductivity of 1 W/Km at ambient pressure. The sample SnBi$_2$Se$_4$ showed a metal-insulator transition at 11.1 GPa, as predicted by a theoretical estimation. Furthermore, the two pressure-induced superconducting transitions were discovered at under 20.2 GPa and 47.3 GPa. The data-driven search is a promising approach to discover new functional materials.