title: Measurement of dE/dx resolution of TPC prototype with gating GEM exposed to an electron beam

abstract: The Time Projection Chamber (TPC) can identify particle species using the energy loss (dE/dx) measured by the readout pad rows. The dE/dx resolution for the ILD (International Large Detector) -TPC for the International Linear Collider experiment is expected to have high resolution for clear identification. The dE/dx resolution of our prototype TPC with gating device (gating GEM) to suppress ions feedback was measured using the electron test beam in a magnet field at the facility in DESY. The dE/dx resolution for ILD-TPC was estimated using this test beam data. The signal charge was measured as a function of the incident angle of the beam. In this paper, we report on the measurement of the signal charge and of the dE/dx resolution.


title: A forcing relation of braids from Nielsen fixed point theory

abstract: In this paper, we focus our attention on the connections between the braid group and the Nielsen fixed point theory. A new forcing relation between braids is introduced, and shown that it can be fulfilled by using Nielsen fixed point theory.


title: Extinction and coming down from infinity of CB-processes with competition in a L\'evy environment

abstract: In this note, we are interested on the event of extinction and the property of coming down from infinity of continuous state branching (or CB for short) processes with competition in a L\'evy environment whose branching mechanism satisfies the so-called Grey's condition. In particular, we deduce, under the assumption that the L\'evy environment does not drift towards infinity, that for any starting point the process becomes extinct in finite time a.s. Moreover if we impose an integrability condition on the competition mechanism, then the process comes down from infinity regardless the long term behaviour of the environment.


title: Saturated configuration and new large construction of equiangular lines

abstract: A set of lines through the origin in Euclidean space is called equiangular when any pair of lines from the set intersects with each other at a common angle. We study the maximum size of equiangular lines in Euclidean space and use graph theoretic approach to prove that all the currently known construction for maximum equiangular lines in $\mathbb R^d$ cannot add another line to form a larger equiangular set of lines if $14 \leq d \leq 20$ and $d \neq 15$. We give new constructions of large equiangular lines which are 248 equiangular lines in $\mathbb R^{42}$, 200 equiangular lines in $\mathbb{R}^{41}$, 168 equiangular lines in $\mathbb{R}^{40}$, 152 equiangular lines in $\mathbb R^{39}$ with angle $1/7$, and 56 equiangular lines in $\mathbb R^{18}$ with angle $1/5$.


title: Multivariate LSTM-FCNs for Time Series Classification

abstract: Over the past decade, multivariate time series classification has received great attention. We propose transforming the existing univariate time series classification models, the Long Short Term Memory Fully Convolutional Network (LSTM-FCN) and Attention LSTM-FCN (ALSTM-FCN), into a multivariate time series classification model by augmenting the fully convolutional block with a squeeze-and-excitation block to further improve accuracy. Our proposed models outperform most state-of-the-art models while requiring minimum preprocessing. The proposed models work efficiently on various complex multivariate time series classification tasks such as activity recognition or action recognition. Furthermore, the proposed models are highly efficient at test time and small enough to deploy on memory constrained systems.


title: Non-Orthogonal Multiple Access for mmWave Drone Networks with Limited Feedback

abstract: Unmanned aerial vehicle (UAV) base stations (BSs) can be a promising solution to provide connectivity and quality of service (QoS) guarantees during temporary events and after disasters. In this paper, we consider a scenario where UAV-BSs are serving large number of mobile users in a hot spot area (e.g., in a stadium). We introduce non-orthogonal multiple access (NOMA) transmission at UAV-BSs to serve more users simultaneously considering user distances as the available feedback for user ordering during NOMA formulation. With millimeter-wave (mmWave) transmission and multi-antenna techniques, we assume UAV-BS generates directional beams and multiple users are served simultaneously within the same beam. However, due to the limitations of physical vertical beamwidth of the UAV-BS beam, it may not be possible to cover the entire user region at UAV altitudes of practical relevance. During such situations, a beam scanning approach is proposed to maximize the achievable sum rates. We develop a comprehensive framework over which outage probabilities and respective sum rates are derived rigorously and we investigate the optimal operational altitude of UAV-BS to maximize the sum rates using our analytical framework. Our analysis shows that NOMA with distance feedback can provide better outage sum rates compared to orthogonal multiple access.


title: Temporal scaling of the growth dependent radiative properties of microalgae

abstract: The radiative properties of microalgae are basic parameters for analyzing light field distribution in photobioreactors (PBRs). With the growth of microalgae cell, their radiative properties will vary with growth time due to accumulation of pigment and lipid, cell division and metabolism. In this work, we report both experimental and theoretical evidence of temporal scaling behavior of the growth dependent radiative properties of microalgae cell suspensions. A new concept, the temporal scaling function (TSF), defined as the ratio of absorption or scattering cross-sections at growth phase to that at stationary phase, is introduced to characterize the temporal scaling. The temporal evolution and temporal scaling characteristics of the absoroption and scattering cross-sections of three example microalgae species, Chlorella vulgaris, Chlorella pyrenoidosa, and Chlorella protothecoides, were experimentally studied at spectral range 380 to 850 nm. It is shown that the TSFs of the absorption and scattering cross-sections for different microalgae species are approximately constant at different wavelength, which confirms theoretical predictions very well. With the aid of the temporal scaling relation, the radiative properties of microalgae at any growth time can be calculated based on those measured at stationary phase. The findings of this work will help the understanding of time dependent radiative properties of microalgae and facilitate their applications in light field analysis in PBRs design.


title: Random projections in gravitational wave searches of compact binaries

abstract: Random projection (RP) is a powerful dimension reduction technique widely used in the analysis of high dimensional data. We demonstrate how this technique can be used to improve the computational efficiency of gravitational wave searches from compact binaries of neutron stars or black holes. Improvements in low-frequency response and bandwidth due to detector hardware upgrades pose a data analysis challenge in the advanced LIGO era as they result in increased redundancy in template databases and longer templates due to the higher number of signal cycles in-band. The RP-based methods presented here address both these issues within the same broad framework. We first use RP for an efficient, singular value decomposition inspired template matrix factorization and develop a geometric intuition for why this approach works. We then use RP to calculate approximate time-domain match correlations in a lower dimensional vector space. For searches over parameters corresponding to non-spinning binaries with a neutron star and a black hole, a combination of the two methods can reduce the total on-line computational cost by an order of magnitude over a nominal baseline. This can, in turn, help free-up computational resources needed to go beyond current spin-aligned searches to more complex ones involving generically spinning waveforms.


title: Schwarz type lemma, Landau type theorem and Lipschitz type space of solutions to biharmonic equations

abstract: The purpose of this paper is to study the properties of the solutions to the biharmonic equations: $\Delta(\Delta f)=g$, where $g:$ $\overline{\mathbb{D}}\rightarrow\mathbb{C}$ is a continuous function and $\overline{\mathbb{D}}$ denotes the closure of the unit disk $\mathbb{D}$ in the complex plane $\mathbb{C}$. In fact, we establish the following properties for those solutions: Firstly, we establish the Schwarz type lemma. Secondly, by using the obtained results, we get a Landau type theorem. Thirdly, we discuss their Lipschitz type property.


title: Voltage Control of DC Islanded Microgrids: Scalable Decentralised L1 Adaptive Controllers

abstract: Voltage stability is a critical feature of an efficiently operating power distribution system such as a DC islanded microgrid. Large-scale autonomous power systems can be defined by heterogeneous elements, uncertainty and changing conditions. This paper proposes a novel scalable decentralised control scheme at the primary level of the typical hierarchical control architecture of DC islanded microgrids with arbitrary topology. Local state-feedback $\mathcal{L}_1$ adaptive controllers are retrofitted to existing baseline voltage controllers of DC-DC boost converters, which interface distributed generation units with loads. The use of $\mathcal{L}_1$ adaptive controllers achieves fast and robust microgrid voltage stability in the presence of dynamic uncertainty and plug-and-play operations. Furthermore, local controller synthesis is modular as it only requires approximate information about the line parameters that couple neighbouring units. The performance of the proposed architecture is evaluated using a heterogeneous DC islanded-microgrid that consists of 6 DC-DC boost converters configured in a radial and meshed topology. The use of $\mathcal{L}_1$ adaptive controllers achieves fast and robust microgrid voltage stability in the presence of plug-and-play operations, unknown load and voltage reference changes, and unmodelled dynamics. Finally, sufficient conditions for global stability of the overall system are provided.


title: Admissible sequences for positive operators

abstract: A sequence of scalars is said to be admissible for a positive operator A on a Hilbert space if it is the diagonal of VAV* for some partial isometry V having as domain the closure of the range of A. When A is a projection, the celebrated Kadison's carpenter theorem provides a sufficient condition for a sequence to be admissible for A. We prove that the same condition is sufficient for the sequence to be admissible for A when A is a sum of projections (converging in the SOT). This provides an independent proof of Kadison's carpenter theorem.


title: Brain EEG Time Series Selection: A Novel Graph-Based Approach for Classification

abstract: Brain Electroencephalography (EEG) classification is widely applied to analyze cerebral diseases in recent years. Unfortunately, invalid/noisy EEGs degrade the diagnosis performance and most previously developed methods ignore the necessity of EEG selection for classification. To this end, this paper proposes a novel maximum weight clique-based EEG selection approach, named mwcEEGs, to map EEG selection to searching maximum similarity-weighted cliques from an improved Fr\'{e}chet distance-weighted undirected EEG graph simultaneously considering edge weights and vertex weights. Our mwcEEGs improves the classification performance by selecting intra-clique pairwise similar and inter-clique discriminative EEGs with similarity threshold $\delta$. Experimental results demonstrate the algorithm effectiveness compared with the state-of-the-art time series selection algorithms on real-world EEG datasets.


title: Regularity of Desingularised Models for Vortex Filaments in Incompressible Viscous Flows: A Geometrical Approach

abstract: We establish the regularity of weak solutions for the vorticity equation associated to a family of desingularised models for vortex filament dynamics in 3D incompressible viscous flows. These include and generalise the classical model "of an allowance for the thickness of the vortices" due to Louis Rosenhead in 1930. Our approach is based on an interplay between the geometry of vorticity and analytic inequalities in Sobolev spaces.


title: Boundary Regularity for Asymptotically Hyperbolic Metrics with Smooth Weyl Curvature

abstract: In this paper, we study the regularity of asymptotically hyperbolic metrics with Einstein condition near boundary and Weyl curvature smooth enough in arbitrary dimension. Following Michael Anderson's method, we show that $C^{m,\alpha}$ conformally compact Riemannian metrics with Einstein equation vanishing to finite order near boundary have conformal compactifications that are $C^{m+2,\alpha}$ up to the boundary when Weyl curvature is in $C^{m,\alpha}$ and the boundary metric is in $C^{m+2,\alpha}$ where $m\geq 3.$


title: Neutrinoless Double Beta Decay with $^{82}$SeF$_6$ and Direct Ion Imaging

abstract: We present a new neutrinoless double beta decay concept: the high pressure selenium hexafluoride gas time projection chamber. Combining techniques pioneered in high pressure xenon gas such as topological discrimination, with the high Q-value afforded by double beta decay isotope $^{82}$Se, a promising new detection technique is outlined. Lack of free electrons in SeF$_6$ mandates the use of an ion TPC. The microphysics of ion production and drift, which have many nuances, are explored. Background estimates are produced suggesting such a detector may achieve background indices of better than 1 count per ton per year in the region of interest at the 100~kg scale, and still better at the ton-scale.


title: Nonequilibrium limit cycle oscillators: fluctuations in hair bundle dynamics

abstract: We develop a framework for the general interpretation of the stochastic dynamical system near a limit cycle. Such quasi-periodic dynamics are commonly found in a variety of nonequilibrium systems, including the spontaneous oscillations of hair cells in the inner ear. We demonstrate quite generally that in the presence of noise, the phase of the limit cycle oscillator will diffuse while deviations in the directions locally orthogonal to that limit cycle will display the Lorentzian power spectrum of a damped oscillator. We identify two mechanisms by which these stochastic dynamics can acquire a complex frequency dependence, and discuss the deformation of the mean limit cycle as a function of temperature. The theoretical ideas are applied to data obtained from spontaneously oscillating hair cells of the amphibian sacculus.


title: Solving constraint-satisfaction problems with distributed neocortical-like neuronal networks

abstract: Finding actions that satisfy the constraints imposed by both external inputs and internal representations is central to decision making. We demonstrate that some important classes of constraint satisfaction problems (CSPs) can be solved by networks composed of homogeneous cooperative-competitive modules that have connectivity similar to motifs observed in the superficial layers of neocortex. The winner-take-all modules are sparsely coupled by programming neurons that embed the constraints onto the otherwise homogeneous modular computational substrate. We show rules that embed any instance of the CSPs planar four-color graph coloring, maximum independent set, and Sudoku on this substrate, and provide mathematical proofs that guarantee these graph coloring problems will convergence to a solution. The network is composed of non-saturating linear threshold neurons. Their lack of right saturation allows the overall network to explore the problem space driven through the unstable dynamics generated by recurrent excitation. The direction of exploration is steered by the constraint neurons. While many problems can be solved using only linear inhibitory constraints, network performance on hard problems benefits significantly when these negative constraints are implemented by non-linear multiplicative inhibition. Overall, our results demonstrate the importance of instability rather than stability in network computation, and also offer insight into the computational role of dual inhibitory mechanisms in neural circuits.


title: Rashba-driven anomalous Nernst conductivity of lead chalcogenide films

abstract: The presence of a finite Berry curvature $\left(\Omega\left(k\right)\right)$ leads to anomalous thermal effects. In this letter, we compute the coefficients for the anomalous Nernst effect $\left(ANE\right) $ and its spin analogue, the spin Nernst effect $\left(SNE\right)$ in lead chalcogenide (\textit{PbX}; \textit{X} = S, Se, Te) films. The narrow gapped \textit{PbX} films with a large spin-orbit coupling (\textit{soc}) offer a significant Rashba interaction that gives rise to $ \Omega\left(k\right) $ and the attendant anomalous thermal behaviour. In presence of a temperature gradient, the $ ANE $ and $ SNE $ establish a thermal and spin current and are characterized by their respective coefficients which acquire higher values for a stronger Rashba interaction. We further show that an extrinsic \textit{soc} generated by an in-plane electric field offers a gate-like mechanism to control (and turn-off) the anomalous thermal currents. Finally, we conclude by deriving the efficiency of an $ ANE $-driven low-temperature Carnot heat engine and demonstrate that it can be gainfully optimized in systems with a robust intrinsic \textit{soc} resulting in low carrier effective masses.


title: Polynomial stability of exact solution and a numerical method for stochastic differential equations with time-dependent delay

abstract: Polynomial stability of exact solution and modified truncated Euler-Maruyama method for stochastic differential equations with time-dependent delay are investigated in this paper. By using the well known discrete semimartingale convergence theorem, sufficient conditions are obtained for both bounded and unbounded delay $\delta$ to ensure the polynomial stability of the corresponding numerical approximation. Examples are presented to illustrate the conclusion.


title: Plasmonic instabilities and terahertz waves amplification in graphene metamaterials

abstract: Plasmon oscillations have been intensively studied for more than forty years in conventional two-dimensional electron gas systems in order to find new alternatives to the vacuum devices based on the Smith-Purcell effect in the far-infrared region. However, beside the multiple endeavors, up to date, the plasmon generation in semiconductor heterostructures has been very inefficient. Here we demonstrate that the use of high mobility graphene metamaterials, due to their well-known stronger light-plasmon coupling compared to semiconductor materials can significantly improve the efficiency of far-infrared plasmonic amplifiers and generators. We explore current-driven plasmon dynamics including perfect transparency and light amplification in monolayer graphene structures. Current-induced complete suppression of the graphene absorption is experimentally observed in a broad frequency range followed by a giant amplification (up to about 9 % gain) of an incoming terahertz radiation at room temperature. These active plasmonic processes are triggered by relatively low bias voltage in the graphene devices leading to external quantum efficiency of about two orders of magnitude higher than those of the popular optical-to-terahertz conversion devices largely used in far-infrared technologies. Our results combined with the relatively low level of losses and high degree of spatial confinement of plasmons in graphene will open pathways for a wide range of integrated high speed active optoelectronics devices.


title: Linear maps preserve the covariance sets

abstract: Let $\mathcal{A}$ and $\mathcal{B}$\ are $C^{{\huge \ast}}% $-algebras\textbf{.} A\textbf{ }linear map $\phi:\mathcal{A\rightarrow B}$ is $C^{\ast}$-Jordan homomorphism if it is a Jordan homomorphism which preserves the adjoint operation. In this note we show that $C^{\ast}$-Jordan homomorphisms -- under mild assumptions -- preserving covariance set and covariance coset in $C^{\ast}$-algebras.


title: Non-Parametric Transformation Networks

abstract: ConvNets, through their architecture, only enforce invariance to translation. In this paper, we introduce a new class of deep convolutional architectures called Non-Parametric Transformation Networks (NPTNs) which can learn \textit{general} invariances and symmetries directly from data. NPTNs are a natural generalization of ConvNets and can be optimized directly using gradient descent. Unlike almost all previous works in deep architectures, they make no assumption regarding the structure of the invariances present in the data and in that aspect are flexible and powerful. We also model ConvNets and NPTNs under a unified framework called Transformation Networks (TN), which yields a better understanding of the connection between the two. We demonstrate the efficacy of NPTNs on data such as MNIST with extreme transformations and CIFAR10 where they outperform baselines, and further outperform several recent algorithms on ETH-80. They do so while having the same number of parameters. We also show that they are more effective than ConvNets in modelling symmetries and invariances from data, without the explicit knowledge of the added arbitrary nuisance transformations. Finally, we replace ConvNets with NPTNs within Capsule Networks and show that this enables Capsule Nets to perform even better.


title: Analytical Design of Printed-Circuit-Board (PCB) Metagratings for Perfect Anomalous Reflection

abstract: We present an analytical scheme for the design of realistic metagratings for wide-angle engineered reflection. These recently proposed planar structures can reflect an incident plane wave into a prescribed (generally non-specular) angle with very high efficiencies, using only a single meta-atom per period. Such devices offer a means to overcome the implementation difficulties associated with standard metasurfaces (consisting of closely-packed subwavelength meta-atoms) and the relatively low efficiencies of gradient metasurfaces. In contrast to previous work, in which accurate systematic design was limited to metagratings unrealistically suspended in free space, we derive herein a closed-form formalism allowing realization of printed-circuit-board (PCB) metagrating perfect reflectors, comprised of loaded conducting strips defined on standard metal-backed dielectric substrate. The derivation yields a detailed procedure for the determination of the substrate thickness and conductor geometry required to achieve unitary coupling efficiencies, without requiring even a single full-wave simulation. Our methodology, verified via commercial solvers, ultimately allows one to proceed from a theoretical design to synthesis of a full physical structure, avoiding the time-consuming numerical optimizations typically involved in standard metasurface design.


title: Discrete Boltzmann trans-scale modeling of high-speed compressible flows

abstract: We present a general framework for constructing trans-scale \emph{discrete Boltzmann models} (DBMs) for high-speed compressible flows ranging from continuum to transition regime. This is achieved by designing a higher-order discrete equilibrium distribution function which satisfies additional nonhydrodynamic kinetic moments. In order to characterize the \emph{% thermodynamic non-equilibrium} (TNE) effects and estimate the condition under which the DBMs at various levels should be used, two novel measures are presented: (i) the relative TNE strength, describing the relative strength of the ($N+1$)-th order TNE effects to the $N$-th order one; (ii) the TNE discrepancy between DBM simulation and relevant theoretical analysis. Whether or not the higher-order TNE effects should be taken into account in the modeling and which level of DBM should be adopted, is best described by the relative TNE intensity and/or the discrepancy, rather than by the value of the Knudsen number. As a model example, a two-dimensional DBM with $26$ discrete velocities at Burnett level is formulated, verified, and validated.


title: Shrink or Substitute: Handling Process Failures in HPC Systems using In-situ Recovery

abstract: Efficient utilization of today's high-performance computing (HPC) systems with complex hardware and software components requires that the HPC applications are designed to tolerate process failures at runtime. With low mean time to failure (MTTF) of current and future HPC systems, long running simulations on these systems require capabilities for gracefully handling process failures by the applications themselves. In this paper, we explore the use of fault tolerance extensions to Message Passing Interface (MPI) called user-level failure mitigation (ULFM) for handling process failures without the need to discard the progress made by the application. We explore two alternative recovery strategies, which use ULFM along with application-driven in-memory checkpointing. In the first case, the application is recovered with only the surviving processes, and in the second case, spares are used to replace the failed processes, such that the original configuration of the application is restored. Our experimental results demonstrate that graceful degradation is a viable alternative for recovery in environments where spares may not be available.


title: Probing Episodic Accretion in Very Low Luminosity Objects

abstract: Episodic accretion has been proposed as a solution to the long-standing luminosity problem in star formation; however, the process remains poorly understood. We present observations of line emission from N2H+ and CO isotopologues using the Atacama Large Millimeter/submillimeter Array (ALMA) in the envelopes of eight Very Low Luminosity Objects (VeLLOs). In five of the sources the spatial distribution of emission from N2H+ and CO isotopologues shows a clear anti-correlation. It is proposed that this is tracing the CO snow line in the envelopes: N2H+ emission is depleted toward the center of these sources in contrast to the CO isotopologue emission which exhibits a peak. The positions of the CO snow lines traced by the N2H+ emission are located at much larger radii than those calculated using the current luminosities of the central sources. This implies that these five sources have experienced a recent accretion burst because the CO snow line would have been pushed outwards during the burst due to the increased luminosity of the central star. The N2H+ and CO isotopologue emission from DCE161, one of the other three sources, is most likely tracing a transition disk at a later evolutionary stage. Excluding DCE161, five out of seven sources (i.e., ~70%) show signatures of a recent accretion burst. This fraction is larger than that of the Class 0/I sources studied by J{\o}rgensen et al. (2015) and Frimann et al. (2016) suggesting that the interval between accretion episodes in VeLLOs is shorter than that in Class 0/I sources.


title: Covariance in the Batalin-Vilkovisky formalism and the Maurer-Cartan equation for curved Lie algebras

abstract: We express covariance of the Batalin-Vilkovisky formalism in classical mechanics by means of the Maurer-Cartan equation in a curved Lie superalgebra, defined using the formal variational calculus and Sullivan's Thom-Whitney construction. We use this framework to construct a Batalin-Vilkovisky canonical transformation identifying the Batalin-Vilkovisky formulation of the spinning particle with an AKSZ field theory.


title: The Nuclear Contact Formalism - the Deuteron Channel

abstract: The contact formalism, devised to elucidate the important role of short-range correlations, was recently generalized for systems with coupled channels, such as the deuteron channel, where s and d waves are coupled into a $J=1$ state. The coupling of the two channels implies two independent asymptotic solutions and results a 2x2 contact matrix. For a strong coupling, with appropriate boundary conditions, such as in nuclear physics, the two solutions degenerate into a single asymptotic wave function. Here, we explore the asymptotic behavior of the correlated neutron-proton pairs in the deuteron channel using both schematic models and realistic nuclear forces.

categories: nucl-th cond-mat.quant-gas nucl-ex physics.atm-clus physics.atom-ph


title: The maximum diam theorem on Finsler manifolds

abstract: We prove that, for a Finsler space, if the weighted Ricci curvature is bounded below by a positive number and the diam attains its maximal value, then it is isometric to a standard Finsler sphere. As an application, we show that the first eigenvalue of the Finsler-Laplacian attains its lower bound if and only if the Finsler manifold is isometric to a standard Finsler sphere, and moreover, we obtain an explicit 1-st eigenfunction on the sphere.


title: Entropy Measures of Human Communication Dynamics

abstract: Human communication is commonly represented as a temporal social network, and evaluated in terms of its uniqueness. We propose a set of new entropy-based measures for human communication dynamics represented within the temporal social network as event sequences. Using real world datasets and random interaction series of different types we find that real human contact events always significantly differ from random ones. This human distinctiveness increases over time and by means of the proposed entropy measures, we can observe sociological processes that take place within dynamic communities.


title: Temperature control in dissipative cavities by entangled dimers

abstract: We show that the temperature of a cavity field can be drastically varied by its interaction with suitably-entangled atom pairs (dimers) traversing the cavity under realistic atomic decoherence. To this end we resort to the hitherto untapped resource of naturally entangled dimers whose state can be simply controlled via molecular dissociation, collisions forming the dimer, or unstable dimers such as positronium. Depending on the chosen state of the dimer, the cavity-field mode can be driven to a steady-state temperature that is either much lower or much higher than the ambient temperature, despite adverse effects of cavity loss and atomic decoherence. Entangled dimers enable much broader range of cavity temperature control than single `phaseonium' atoms with coherently-superposed levels. Such dimers are shown to constitute highly caloric fuel that can ensure high efficiency or power in photonic thermal engines. Alternatively, they can serve as controllable thermal baths for quantum simulation of energy exchange in photosynthesis or quantum annealing.


title: A Bio-inspired Collision Detecotr for Small Quadcopter

abstract: Sense and avoid capability enables insects to fly versatilely and robustly in dynamic complex environment. Their biological principles are so practical and efficient that inspired we human imitating them in our flying machines. In this paper, we studied a novel bio-inspired collision detector and its application on a quadcopter. The detector is inspired from LGMD neurons in the locusts, and modeled into an STM32F407 MCU. Compared to other collision detecting methods applied on quadcopters, we focused on enhancing the collision selectivity in a bio-inspired way that can considerably increase the computing efficiency during an obstacle detecting task even in complex dynamic environment. We designed the quadcopter's responding operation imminent collisions and tested this bio-inspired system in an indoor arena. The observed results from the experiments demonstrated that the LGMD collision detector is feasible to work as a vision module for the quadcopter's collision avoidance task.


title: Regularity of stochastic nonlocal diffusion equations

abstract: In this paper, we are concerned with regularity of nonlocal stochastic partial differential equations of parabolic type. By using Companato estimates and Sobolev embedding theorem, we first show the H\"{o}lder continuity (locally in the whole state space $\mathbb{R}^d$) for mild solutions of stochastic nonlocal diffusion equations in the sense that the solutions $u$ belong to the space $C^{\gamma}(D_T;L^p(\Omega))$ with the optimal H\"{o}lder continuity index $\gamma$ (which is given explicitly), where $D_T:=[0,T]\times D$ for $T>0$, and $D\subset\mathbb{R}^d$ being a bounded domain. Then, by utilising tail estimates, we are able to obtain the estimates of mild solutions in $L^p(\Omega;C^{\gamma^*}(D_T))$. What's more, we give an explicit formula between the two index $\gamma$ and $\gamma^*$. Moreover, we prove H\"{o}lder continuity for mild solutions on bounded domains. Finally, we present a new criteria to justify H\"{o}lder continuity for the solutions on bounded domains. The novelty of this paper is that our method are suitable to the case of time-space white noise.


title: A dimensional acceleration of gradient descent-like methods, using persistent random walkers

abstract: Finding a local minimum or maximum of a function is often achieved through the gradient-descent optimization method. For a function in dimension d, the gradient requires to compute at each step d partial derivatives. This method is for instance used in machine-learning, to fit the models parameters so as to minimize the error rate on a given data set, or in theoretical chemistry, to obtain molecular conformation. Since each step requires to obtain d partial derivatives, it can quickly become time-consuming when d grows and when each computation of the function is complex. If the computation time of the function to be optimized is the limiting factor, the convergence process can be optimized using persistent random walks. For all the gradient-related method, we here propose a way to minimize the optimization process by using random walks instead of gradient computing. Optimization works on the dimensional aspect of the function and not on the set size: this approach can thus be combined with algorithm improvement based on the set size such as stochastic gradient descent. As shown in a previous publication, the random walk can be further optimized with persistence. We here detail the method principle, show an estimate of the acceleration factor and check numerically that this estimation is valid for quadratic functions.


title: Coupling between death spikes and birth troughs. Part 1: Evidence

abstract: In the wake of the influenza pandemic of 1889-1890 Jacques Bertillon, a pioneer of medical statistics, noticed that after the massive death spike there was a dip in birth numbers around 9 months later which was significantly larger than that which could be explained by the population change as a result of excess deaths. In addition it can be noticed that this dip was followed by a birth rebound a few months later. However having made this observation, Bertillon did not explore it further. Since that time the phenomenon was not revisited in spite of the fact that in the meanwhile there have been several new cases of massive death spikes. The aim here is to analyze these new cases to get a better understanding of this death-birth coupling phenomenon. The largest death spikes occurred in the wake of more recent influenza pandemics in 1918 and 1920, others were triggered by the 1923 earthquakes in Tokyo and the Twin Tower attack on September 11, 2001. We shall see that the first of these events indeed produced an extra dip in births whereas the 9/11 event did not. This disparity highlights the pivotal role of collateral sufferers. In the last section it is shown how the present coupling leads to predictions; it can explain in a unified way effects which so far have been studied separately, as for instance the impact on birth rates of heat waves. Thus, it appears that behind the random appearance of birth rate fluctuations there are in fact hidden explanatory factors.


title: Reconstruction of energy conditions from observations and implications for extended theories of gravity

abstract: The attempt to describe the recent accelerated expansion of the Universe includes different propositions for dark energy models and modified gravity theories. Establish their features in order to discriminate and even rule out part of these models using observational data is a fundamental issue of cosmology. In the present work we consider a class of extended theories of gravity (ETG) that are minimally coupled to the ordinary matter fields. In this context, and assuming a homogeneous and isotropic spacetime, we derive the energy conditions for this ETG class. We then put constraints on these conditions using a model-independent approach to reconstruct the deceleration function along with the Joint Light-curve Analysis (JLA) supernova sample, 11 baryon acoustic oscillation and 22 cosmic-chronometer measurements. We also consider an additional condition imposing the strong energy condition only on the ordinary matter. This is to guarantee the presence of only attractive matter in the energy-momentum tensor, at least in the redshift range of the observations, i.e., the recent accelerated expansion of the Universe is due solely to the modifications in the gravity theory. The main result of this work is a general reconstruction of the energy conditions valid for every considered ETG.


title: Coupling between death spikes and birth troughs. Part 2: Comparative analysis of salient features

abstract: In part 1 we identified a new coupling between death spikes and birth dips that occurs following catastrophic events such as influenza pandemics and earthquakes. Here we seek to characterize some of the key features. We introduce a transfer function defined as the amplitude of the birth trough (the output) divided by the amplitude of the death spike (the input). This has two features: it is always smaller than one so is an attenuation factor and as a function of the amplitude of the death spike, it may be characterized by a power law with exponent close to unity. Since many countries do not publish monthly data, merely annual data, we attempt to extend the analysis to cover such data and how to identify the death-birth coupling. Finally we compare the response to unexpected death spikes and regular seasonal death peaks, such as winter death peaks which occur annually in many countries.


title: Linear stability of an active fluid interface

abstract: Motivated by studies suggesting that the patterns exhibited by the collectively expanding fronts of thin cells during the closing of a wound [Mark et al., Biophys. J., 98:361-370, 2010] and the shapes of single cells crawling on surfaces [Callan-Jones et al., Phys. Rev. Lett., 100:258106, 2008] are due to fingering instabilities, we investigate the stability of actively driven interfaces under Hele-Shaw confinement. An initially radial interface between a pair of viscous fluids is driven by active agents. Surface tension and bending rigidity resist deformation of the interface. A point source at the origin and a distributed source are also included to model the effects of injection or suction, and growth or depletion, respectively. Linear stability analysis reveals that for any given initial radius of the interface, there are two key dimensionless driving rates that determine interfacial stability. We discuss stability regimes in a state space of these parameters and their implications for biological systems. An interesting finding is that an actively mobile interface is susceptible to fingering instability irrespective of viscosity contrast.


title: Compressed Neighbour Discovery using Sparse Kerdock Matrices

abstract: We study the network-wide neighbour discovery problem in wireless networks in which each node in a network must discovery the network interface addresses (NIAs) of its neighbours. We work within the rapid on-off division duplex framework proposed by Guo and Zhang (2010) in which all nodes are assigned different on-off signatures which allow them listen to the transmissions of neighbouring nodes during their off slots, leading to a compressed sensing problem at each node with a collapsed codebook determined by a given node's transmission signature. We propose sparse Kerdock matrices as codebooks for the neighbour discovery problem. These matrices share the same row space as certain Delsarte-Goethals frames based upon Reed Muller codes, whilst at the same time being extremely sparse. We present numerical experiments using two different compressed sensing recovery algorithms, One Step Thresholding (OST) and Normalised Iterative Hard Thresholding (NIHT). For both algorithms, a higher proportion of neighbours are successfully identified using sparse Kerdock matrices compared to codebooks based on Reed Muller codes with random erasures as proposed by Zhang and Guo (2011). We argue that the improvement is due to the better interference cancellation properties of sparse Kerdock matrices when collapsed according to a given node's transmission signature. We show by explicit calculation that the coherence of the collapsed codebooks resulting from sparse Kerdock matrices remains near-optimal.


title: Linking Entanglement and Discrete Anomaly

abstract: In $3d$ Chern-Simons theory, there is a discrete one-form symmetry, whose symmetry group is isomorphic to the center of the gauge group. We study the 't Hooft anomaly associated to this discrete one-form symmetry in theories with generic gauge groups, $A,B,C,D$-types. We propose to detect the discrete anomaly by computing the Hopf state entanglement in the subspace spanned by the symmetry generators and develop a systematical way based on the truncated modular S matrix. We check our proposal for many examples.

categories: hep-th cond-mat.stat-mech cond-mat.str-el quant-ph


title: From Black Holes to Baby Universes: Exploring the Possibility of Creating a Cosmos in the Laboratory

abstract: We discuss the essential features of baby-universe production, starting from a description of black holes and wormholes, in terms of the causal structure of spacetime, and following a qualitative review of the connection between vacuum decay and inflation in early universe cosmology. Related open questions are also addressed, especially in connection with the possibility that baby universes could be formed within our present universe - either in a future particle accelerator, or spontaneously.


title: Fix your classifier: the marginal value of training the last weight layer

abstract: Neural networks are commonly used as models for classification for a wide variety of tasks. Typically, a learned affine transformation is placed at the end of such models, yielding a per-class value used for classification. This classifier can have a vast number of parameters, which grows linearly with the number of possible classes, thus requiring increasingly more resources. In this work we argue that this classifier can be fixed, up to a global scale constant, with little or no loss of accuracy for most tasks, allowing memory and computational benefits. Moreover, we show that by initializing the classifier with a Hadamard matrix we can speed up inference as well. We discuss the implications for current understanding of neural network models.


title: Cooperative Multi-Agent Reinforcement Learning for Low-Level Wireless Communication

abstract: Traditional radio systems are strictly co-designed on the lower levels of the OSI stack for compatibility and efficiency. Although this has enabled the success of radio communications, it has also introduced lengthy standardization processes and imposed static allocation of the radio spectrum. Various initiatives have been undertaken by the research community to tackle the problem of artificial spectrum scarcity by both making frequency allocation more dynamic and building flexible radios to replace the static ones. There is reason to believe that just as computer vision and control have been overhauled by the introduction of machine learning, wireless communication can also be improved by utilizing similar techniques to increase the flexibility of wireless networks. In this work, we pose the problem of discovering low-level wireless communication schemes ex-nihilo between two agents in a fully decentralized fashion as a reinforcement learning problem. Our proposed approach uses policy gradients to learn an optimal bi-directional communication scheme and shows surprisingly sophisticated and intelligent learning behavior. We present the results of extensive experiments and an analysis of the fidelity of our approach.


title: Geometric classification of 4d $\mathcal{N}=2$ SCFTs

abstract: The classification of 4d $\mathcal{N}=2$ SCFTs boils down to the classification of conical special geometries with closed Reeb orbits (CSG). Under mild assumptions, one shows that the underlying complex space of a CSG is (birational to) an affine cone over a simply-connected $\mathbb{Q}$-factorial log-Fano variety with Hodge numbers $h^{p,q}=\delta_{p,q}$. With some plausible restrictions, this means that the Coulomb branch chiral ring $\mathscr{R}$ is a graded polynomial ring generated by global holomorphic functions $u_i$ of dimension $\Delta_i$. The coarse-grained classification of the CSG consists in listing the (finitely many) dimension $k$-tuples $\{\Delta_1,\Delta_2,\cdots,\Delta_k\}$ which are realized as Coulomb branch dimensions of some rank-$k$ CSG: this is the problem we address in this paper. Our sheaf-theoretical analysis leads to an Universal Dimension Formula for the possible $\{\Delta_1,\cdots,\Delta_k\}$'s. For Lagrangian SCFTs the Universal Formula reduces to the fundamental theorem of Springer Theory. The number $\boldsymbol{N}(k)$ of dimensions allowed in rank $k$ is given by a certain sum of the Erd\"os-Bateman Number-Theoretic function (sequence A070243 in OEIS) so that for large $k$ $$ \boldsymbol{N}(k)=\frac{2\,\zeta(2)\,\zeta(3)}{\zeta(6)}\,k^2+o(k^2). $$ In the special case $k=2$ our dimension formula reproduces a recent result by Argyres et al. Class Field Theory implies a subtlety: certain dimension $k$-tuples $\{\Delta_1,\cdots,\Delta_k\}$ are consistent only if supplemented by additional selection rules on the electro-magnetic charges, that is, for a SCFT with these Coulomb dimensions not all charges/fluxes consistent with Dirac quantization are permitted. We illustrate the various aspects with several examples and perform a number of explicit checks. We include tables of dimensions for the first few $k$'s.


title: Interband excitations in the 1D limit of two-band fractional Chern insulators

abstract: We investigate the stability of the one-dimensional limit of $\nu=1/3$ Laughlin-like fractional Chern insulator with respect to the interband interaction. We propose a construction for the excitations in the infinite-interaction case and show that the energy gap remains finite in the thermodynamic limit. Next, by means of exact diagonalization and Density Matrix Renormalization Group approaches, we consider deviations from ideal dimerization and show that they reduce the stability of the FCI-like states. Finally, to show that our approach is not restricted to one model, we identify the dimer structure behind the thin-torus limit of other system -- the checkerboard lattice.


title: Hire the Experts: Combinatorial Auction Based Scheme for Experts Selection in E-Healthcare

abstract: During the last decade, scheduling the healthcare services (such as staffs and OTs) inside the hospitals have assumed a central role in healthcare. Recently, some works are addressed in the direction of hiring the expert consultants (mainly doctors) for the critical healthcare scenarios from outside of the medical unit, in both strategic and non-strategic settings under monetary and non-monetary perspectives. In this paper, we have tried to investigate the experts hiring problem with multiple patients and multiple experts; where each patient reports a preferred set of experts which is private information alongwith their private cost for consultancy. To the best of our knowledge, this is the first step in the direction of modeling the experts hiring problem in the combinatorial domain. In this paper, the combinatorial auction based scheme is proposed for hiring experts from outside of the hospitals to have expertise by the preferred doctors set to the patients.


title: Throughput Maximization for UAV-Enabled Wireless Powered Communication Networks

abstract: This paper studies an unmanned aerial vehicle (UAV)-enabled wireless powered communication network (WPCN), in which a UAV is dispatched as a mobile access point (AP) to serve a set of ground users periodically. The UAV employs the radio frequency (RF) wireless power transfer (WPT) to charge the users in the downlink, and the users use the harvested RF energy to send independent information to the UAV in the uplink. Unlike the conventional WPCN with fixed APs, the UAV-enabled WPCN can exploit the mobility of the UAV via trajectory design, jointly with the wireless resource allocation optimization, to maximize the system throughput. In particular, we aim to maximize the uplink common (minimum) throughput among all ground users over a finite UAV's flight period, subject to its maximum speed constraint and the users' energy neutrality constraints. The resulted problem is non-convex and thus difficult to be solved optimally. To tackle this challenge, we first consider an ideal case without the UAV's maximum speed constraint, and obtain the optimal solution to the relaxed problem. The optimal solution shows that the UAV should successively hover above a finite number of ground locations for downlink WPT, as well as above each of the ground users for uplink communication. Next, we consider the general problem with the UAV's maximum speed constraint. Based on the above multi-location-hovering solution, we first propose an efficient successive hover-and-fly trajectory design, jointly with the downlink and uplink wireless resource allocation, and then propose a locally optimal solution by applying the techniques of alternating optimization and successive convex programming (SCP). Numerical results show that the proposed UAV-enabled WPCN achieves significant throughput gains over the conventional WPCN with fixed-location AP.


title: Evaluation of Machine Learning Fameworks on Finis Terrae II

abstract: Machine Learning (ML) and Deep Learning (DL) are two technologies used to extract representations of the data for a specific purpose. ML algorithms take a set of data as input to generate one or several predictions. To define the final version of one model, usually there is an initial step devoted to train the algorithm (get the right final values of the parameters of the model). There are several techniques, from supervised learning to reinforcement learning, which have different requirements. On the market, there are some frameworks or APIs that reduce the effort for designing a new ML model. In this report, using the benchmark DLBENCH, we will analyse the performance and the execution modes of some well-known ML frameworks on the Finis Terrae II supercomputer when supervised learning is used. The report will show that placement of data and allocated hardware can have a large influence on the final timeto-solution.


title: Controllable unidirectional transport and photon storage in an one-dimensional lattice with complex hopping rates

abstract: We study an one-dimensional non-Hermitian lattice with complex hopping rates, which can be realized by a quasi-one-dimensional sawtooth-type Hermitian lattice after adiabatic elimination with proper conditions. By means of synthetic magnetic fluxes, the imaginary parts of the complex hopping rates can be modulated by additional phase, thus a non-reciprocal structure arises. With this lattice, one can realize robust unidirectional transport for both single-site and Gaussian excitations, which is immune to defects and backscattering. Furthermore, we proposed a sandwich structure based on the non-Hermitian lattice, which can be used for realizing controllable photon storage and reversal. The storage time and range can be artificially controlled within limits, and the storage efficiency can be increased via a finite gain compensation. The proposal of controllable photon transport in this paper opens up a new path for unidirectional photon transport and provides a promising platform for optical control and manipulation.


title: Frame Moments and Welch Bound with Erasures

abstract: The Welch Bound is a lower bound on the root mean square cross correlation between $n$ unit-norm vectors $f_1,...,f_n$ in the $m$ dimensional space ($\mathbb{R} ^m$ or $\mathbb{C} ^m$), for $n\geq m$. Letting $F = [f_1|...|f_n]$ denote the $m$-by-$n$ frame matrix, the Welch bound can be viewed as a lower bound on the second moment of $F$, namely on the trace of the squared Gram matrix $(F'F)^2$. We consider an erasure setting, in which a reduced frame, composed of a random subset of Bernoulli selected vectors, is of interest. We extend the Welch bound to this setting and present the {\em erasure Welch bound} on the expected value of the Gram matrix of the reduced frame. Interestingly, this bound generalizes to the $d$-th order moment of $F$. We provide simple, explicit formulae for the generalized bound for $d=2,3,4$, which is the sum of the $d$-th moment of Wachter's classical MANOVA distribution and a vanishing term (as $n$ goes to infinity with $\frac{m}{n}$ held constant). The bound holds with equality if (and for $d = 4$ only if) $F$ is an Equiangular Tight Frame (ETF). Our results offer a novel perspective on the superiority of ETFs over other frames in a variety of applications, including spread spectrum communications, compressed sensing and analog coding.


title: Divergent Trajectories in Arithmetic Homogeneous Spaces of Rational Rank Two

abstract: Let $G$ be a real algebraic group defined over $\mathbb{Q}$, $\Gamma$ be an arithmetic subgroup of $G$, and $T$ be a maximal $\mathbb{R}$-split torus. A trajectory in $G/\Gamma$ is divergent if eventually it leaves every compact subset. In some cases there is a finite collection of explicit algebraic data which account for the divergence. If this is the case, the divergent trajectory is called obvious. Given a closed cone in $T$, we study the existence of non-obvious divergent trajectories under its action in $G/\Gamma$. We get a sufficient condition for the existence of a non-obvious divergence trajectory in the general case, and a full classification under the assumption that $\mbox{rank}_{\mathbb{Q}}G=\mbox{rank}_{\mathbb{R}}G=2$.


title: Properties of non-symmetric Macdonald polynomials at $q=1$ and $q=0$

abstract: We examine the non-symmetric Macdonald polynomials $E_\lambda(x;q,t)$ at $q=1$, as well as the more general permuted-basement Macdonald polynomials. When $q=1$, we show that $E_\lambda(x;1,t)$ is symmetric and independent of $t$ whenever $\lambda$ is a partition. Furthermore, we show that for general $\lambda$, this expression factors into a symmetric and a non-symmetric part, where the symmetric part is independent of $t$, while the non-symmetric part only depends on the relative order of the entries in $\lambda$. We also examine the case $q=0$, which give rise to so called permuted-basement $t$-atoms. We prove expansion-properties of these, and as a corollary, prove that Demazure characters (key polynomials) expand positively into permuted-basement atoms. This complements the result that permuted-basement atoms are atom-positive. Finally, we show that a product of a permuted-basement atom and a Schur polynomial is again positive in the same permuted-basement atom basis, and thus interpolates between two results by Haglund, Luoto, Mason and van Willigenburg. The common theme in this project is the application of basement-permuting operators as well as combinatorics on fillings, by applying results in a previous article by the first author.


title: On Congruence Permutable $G$-sets

abstract: An algebraic structure is said to be congruence permutable if its arbitrary congruences $\alpha$ and $\beta$ satisfy the equation $\alpha \circ \beta =\beta \circ \alpha$, where $\circ$ denotes the usual composition of binary relations. For an arbitrary $G$-set $X$ with $G\cap X=\emptyset$, we define a semigroup $(G,X,0)$ with a zero $0$ ($0\notin G\cup X$), and give necessary and sufficient conditions for the congruence permutability of the $G$-set $X$ by the help of the semigroup $(G,X,0)$.


title: Energy-Efficient Resource Allocation in NOMA Heterogeneous Networks

abstract: Non-orthogonal multiple access (NOMA) has attracted much recent attention owing to its capability for improving the system spectral efficiency in wireless communications. Deploying NOMA in heterogeneous network can satisfy users' explosive data traffic requirements, and NOMA will likely play an important role in the fifth-generation (5G) mobile communication networks. However, NOMA brings new technical challenges on resource allocation due to the mutual cross-tier interference in heterogeneous networks. In this article, to study the tradeoff between data rate performance and energy consumption in NOMA, we examine the problem of energy-efficient user scheduling and power optimization in 5G NOMA heterogeneous networks. The energy-efficient user scheduling and power allocation schemes are introduced for the downlink 5G NOMA heterogeneous network for perfect and imperfect channel state information (CSI) respectively. Simulation results show that the resource allocation schemes can significantly increase the energy efficiency of 5G NOMA heterogeneous network for both cases of perfect CSI and imperfect CSI.


title: Fast computation of approximant bases in canonical form

abstract: In this article, we design fast algorithms for the computation of approximant bases in shifted Popov normal form. We first recall the algorithm known as PM-Basis, which will be our second fundamental engine after polynomial matrix multiplication: most other fast approximant basis algorithms basically aim at efficiently reducing the input instance to instances for which PM-Basis is fast. Such reductions usually involve partial linearization techniques due to Storjohann, which have the effect of balancing the degrees and dimensions in the manipulated matrices. Following these ideas, Zhou and Labahn gave two algorithms which are faster than PM-Basis for important cases including Hermite-Pade approximation, yet only for shifts whose values are concentrated around the minimum or the maximum value. The three mentioned algorithms were designed for balanced orders and compute approximant bases that are generally not normalized. Here, we show how they can be modified to return the shifted Popov basis without impact on their cost bound; besides, we extend Zhou and Labahn's algorithms to arbitrary orders. Furthermore, we give an algorithm which handles arbitrary shifts with one extra logarithmic factor in the cost bound compared to the above algorithms. To the best of our knowledge, this improves upon previously known algorithms for arbitrary shifts, including for particular cases such as Hermite-Pade approximation. This algorithm is based on a recent divide and conquer approach which reduces the general case to the case where information on the output degree is available. As outlined above, we solve the latter case via partial linearizations and PM-Basis.


title: DCDistance: A Supervised Text Document Feature extraction based on class labels

abstract: Text Mining is a field that aims at extracting information from textual data. One of the challenges of such field of study comes from the pre-processing stage in which a vector (and structured) representation should be extracted from unstructured data. The common extraction creates large and sparse vectors representing the importance of each term to a document. As such, this usually leads to the curse-of-dimensionality that plagues most machine learning algorithms. To cope with this issue, in this paper we propose a new supervised feature extraction and reduction algorithm, named DCDistance, that creates features based on the distance between a document to a representative of each class label. As such, the proposed technique can reduce the features set in more than 99% of the original set. Additionally, this algorithm was also capable of improving the classification accuracy over a set of benchmark datasets when compared to traditional and state-of-the-art features selection algorithms.


title: Remarks on Graphons

abstract: L. Lov\'asz and B. Szegedy proved in 2006 that the limits of convergent graph sequences can be described by measurable symmetric functions $W: [0, 1]\times [0, 1]\to [0, 1]$ called graphons. In our present paper we investigate the structure of the set of all graphons within the semigroup $(\mathfrak{F}([0, 1]^2); \circ)$ of all fuzzy subsets of the unit square $[0,1]^2=[0, 1]\times [0, 1]$, where the operation $\circ$ is defined by: for every $f, g\in \mathfrak{F}([0,1]^2)$ and every $s\in [0,1]^2$, $(f\circ g)(s)=\vee_{x\in [0,1]^2}(f(x)\wedge g(s))$.


title: Poisson Cox Point Processes for Vehicular Networks

abstract: This paper analyzes statistical properties of the Poisson line Cox point process useful in the modeling of vehicular networks. The point process is created by a two-stage construction: a Poisson line process to model road infrastructure and independent Poisson point processes, conditionally on the Poisson lines, to model vehicles on the roads. We derive basic properties of the point process, including the general quadratic position of the points, the nearest distance distribution, the Laplace functional, the densities of facets of the Cox-Voronoi tessellation, and the asymptotic behavior of the typical Voronoi cell under vehicular densification. These properties are closely linked to features that are important in vehicular networks.


title: Surveying exotic pentaquarks with the typical $QQqq\bar{q}$ configuration

abstract: As a hot issue, exploring exotic pentaquarks is full of challenges and opportunities for both theorist and experimentalist. In this work, we focus on a type of pentaquark with the $QQqq\bar{q}$ ($Q=b,c$; $q=u,d,s$) configuration, where their mass spectrum is estimated systematically. Especially, our result indicates that there may exist some stable or narrow exotic pentaquark states. Obviously, our study may provides valuable information for further experimental search for the $QQqq\bar{q}$ pentaquarks. With the running of LHCb and forthcoming Belle II, we have a reason to believe that these predictions present here can be tested.


title: On the effect of blockage objects in dense MIMO SWIPT networks

abstract: Simultaneous information and power transfer (SWIPT) is characterised by the ambiguous role of multi-user interference. In short, the beneficial effect of multi-user interference on RF energy harvesting is obtained at the price of a reduced link capacity, thus originating nontrivial trade-offs between the achievable information rate and the harvestable energy. Arguably, in indoor environments, this trade-off might be affected by the propagation loss due to blockage objects like walls. Hence, a couple of fundamental questions arise. How much must the network elements be densified to counteract the blockage attenuation? Is blockage always detrimental on the achievable rate-energy trade-off? In this paper, we analyse the performance of an indoor multiple-input multiple-output (MIMO) SWIPT-enabled network in the attempt to shed a light of those questions. The effects of the obstacles are examined with the help of a stochastic approach in which energy transmitters (also referred to as power heads) are located by using a Poisson Point Process and walls are generated through a Manhattan Poisson Line Process. The stochastic behaviour of the signal attenuation and the multi-user interference is studied to obtain the Joint Complementary Cumulative Distribution Function (J-CCDF) of information rate and harvested power. Theoretical results are validated through Monte Carlo simulations. Eventually, the rate-energy trade-off is presented as a function of the frequency of walls to emphasise the cross-dependences between the deployment of the network elements and the topology of the venue.


title: Asymptotic Enumeration of Graph Classes with Many Components

abstract: We consider graph classes $\mathcal G$ in which every graph has components in a class $\mathcal{C}$ of connected graphs. We provide a framework for the asymptotic study of $\lvert\mathcal{G}_{n,N}\rvert$, the number of graphs in $\mathcal{G}$ with $n$ vertices and $N:=\lfloor\lambda n\rfloor$ components, where $\lambda\in(0,1)$. Assuming that the number of graphs with $n$ vertices in $\mathcal{C}$ satisfies \begin{align*} \lvert \mathcal{C}_n\rvert\sim b n^{-(1+\alpha)}\rho^{-n}n!, \quad n\to \infty \end{align*} for some $b,\rho>0$ and $\alpha>1$ -- a property commonly encountered in graph enumeration -- we show that \begin{align*} \lvert\mathcal{G}_{n,N}\rvert\sim c(\lambda) n^{f(\lambda)} (\log n)^{g(\lambda)} \rho^{-n}h(\lambda)^{N}\frac{n!}{N!}, \quad n\to \infty \end{align*} for explicitly given $c(\lambda),f(\lambda),g(\lambda)$ and $h(\lambda)$. These functions are piecewise continuous with a discontinuity at a critical value $\lambda^{*}$, which we also determine. The central idea in our approach is to sample objects of $\cal G$ randomly by so-called Boltzmann generators in order to translate enumerative problems to the analysis of iid random variables. By that we are able to exploit local limit theorems and large deviation results well-known from probability theory to prove our claims. The main results are formulated for generic combinatorial classes satisfying the SET-construction.


title: G-twisted braces and orbifold Landau-Ginzburg Models

abstract: Given an algebra with group $G$-action, we construct brace structures for its $G$-twisted Hochschild cochains. An an application, we construct $G$-Frobenius algebras for orbifold Landau-Ginzburg B-models and present explicit orbifold cup product formula for all invertible polynomials.


title: Regular orbits of sporadic simple groups

abstract: Given a finite group $G$ and a faithful irreducible $FG$-module $V$ where $F$ has prime order, does $G$ have a regular orbit on $V$? This problem is equivalent to determining which primitive permutation groups of affine type have a base of size 2. Let $G$ be a covering group of an almost simple group whose socle $T$ is sporadic, and let $V$ be a faithful irreducible $FG$-module where $F$ has prime order dividing $|G|$. We classify the pairs $(G,V)$ for which $G$ has no regular orbit on $V$, and determine the minimal base size of $G$ in its action on $V$. To obtain this classification, for each non-trivial $g\in G/Z(G)$, we compute the minimal number of $T$-conjugates of $g$ generating $\langle T,g\rangle$.


title: Modeling diffusion in colloidal suspensions by dynamical density functional theory using fundamental measure theory of hard spheres

abstract: We study the dynamics of colloidal suspensions of hard spheres that are subject to Brownian motion in the overdamped limit. We obtain the time evolution of the self and distinct parts of the van Hove function by means of dynamical density functional theory (DDFT). The free energy model for the hard sphere fluid that we use is the very accurate White Bear II version of Rosenfeld's fundamental measure theory. However, in order to remove interactions within the self part of the van Hove function a non-trivial modification has to be applied to the free energy functional. We compare our theoretical results with data that we obtain from dynamical Monte Carlo simulations and find that the latter are well described by our approach even for colloid packing fractions as large as 40%.


title: A case of the generalized vanishing conjecture

abstract: In this paper, we show that the GVC (generalized vanishing conjecture) holds for the differential operator $\Lambda=(\partial_x-\Phi(\partial_y))\partial_y$ and all polynomials $P(x,y)$, where $\Phi(t)$ is any polynomial over the base field. The GVC arose from the study of the Jacobian conjecture.


title: Impact of infrasound atmospheric noise on gravity detectors used for astrophysical and geophysical applications

abstract: Density changes in the atmosphere produce a fluctuating gravity field that affect gravity strainmeters or gravity gradiometers used for the detection of gravitational-waves and for geophysical applications. This work addresses the impact of the atmospheric local gravity noise on such detectors, extending previous analyses. In particular we present the effect introduced by the building housing the detectors, and we analyze local gravity-noise suppression by constructing the detector underground. We present also new sound spectra and correlations measurements. The results obtained are important for the design of future gravitational-wave detectors and gravity gradiometers used to detect prompt gravity perturbations from earthquakes.


title: Shai: Enforcing Data-Specific Policies with Near-Zero Runtime Overhead

abstract: Data retrieval systems such as online search engines and online social networks must comply with the privacy policies of personal and selectively shared data items, regulatory policies regarding data retention and censorship, and the provider's own policies regarding data use. Enforcing these policies is difficult and error-prone. Systematic techniques to enforce policies are either limited to type-based policies that apply uniformly to all data of the same type, or incur significant runtime overhead. This paper presents Shai, the first system that systematically enforces data-specific policies with near-zero overhead in the common case. Shai's key idea is to push as many policy checks as possible to an offline, ahead-of-time analysis phase, often relying on predicted values of runtime parameters such as the state of access control lists or connected users' attributes. Runtime interception is used sparingly, only to verify these predictions and to make any remaining policy checks. Our prototype implementation relies on efficient, modern OS primitives for sandboxing and isolation. We present the design of Shai and quantify its overheads on an experimental data indexing and search pipeline based on the popular search engine Apache Lucene.


title: Nondegenerate parametric oscillations in a tunable superconducting resonator

abstract: We investigate nondegenerate parametric oscillations in a multimode superconducting microwave resonator that is terminated by a SQUID. The parametric effect is achieved by modulating magnetic flux through the SQUID at a frequency close to the sum of two resonator-mode frequencies. For modulation amplitudes exceeding an instability threshold, self-sustained oscillations are observed in both modes. The amplitudes of these oscillations show good quantitative agreement with a theoretical model. The oscillation phases are found to be correlated and exhibit strong fluctuations which broaden the oscillation spectral linewidths. These linewidths are significantly reduced by applying a weak on-resonance tone, which also suppresses the phase fluctuations. When the weak tone is detuned, we observe synchronization of the oscillation frequency with the frequency of the input. For the detuned input, we also observe an emergence of three idlers in the output. This observation is in agreement with theory indicating four-mode amplification and squeezing of a coherent input.


title: Dynamical density functional theory for dense suspensions of colloidal hard spheres

abstract: We study structural relaxation of colloidal hard spheres undergoing Brownian motion using dynamical density functional theory. Contrary to the partial linearization route [Stopper {\em et al.}, Phys. Rev. E {\bf 92}, 022151 (2015)] which amounts to using different free energy functionals for the self and distinct part of the van Hove function $G(r,t)$, we put forward a unified description employing a single functional for both components. To this end, interactions within the self part are removed via the zero-dimensional limit of the functional with a quenched self component. In addition, we make use of a theoretical result for the long-time mobility in hard-sphere suspensions, which we adapt to the inhomogeneous fluid. Our results for $G(r,t)$ are in excellent agreement with numerical simulations even in the dense liquid phase. In particular, our theory accurately yields the crossover from free diffusion at short times to the slower long-time diffusion in a crowded environment.


title: The dependence of galaxy clustering on tidal environment in the Sloan Digital Sky Survey

abstract: The influence of the Cosmic Web on galaxy formation and evolution is of great observational and theoretical interest. We investigate whether the Cosmic Web leaves an imprint in the spatial clustering of galaxies in the Sloan Digital Sky Survey (SDSS), using the group catalog of Yang et al. and tidal field estimates at $\sim2h^{-1}$Mpc scales from the Mass-Tides-Velocity data set of Wang et al. We use the $\textit{tidal anisotropy}$ $\alpha$ (Paranjape et al.) to characterise the tidal environment of groups, and measure the redshift-space 2-point correlation function (2pcf) of group positions and the luminosity- and colour-dependent clustering of group galaxies using samples segregated by $\alpha$. We find that all the 2pcf measurements depend strongly on $\alpha$, with factors of $\sim20$ between the large-scale 2pcf of objects in the most and least isotropic environments. To test whether these strong trends imply `beyond halo mass' effects for galaxy evolution, we compare our results with corresponding 2pcf measurements in mock catalogs constructed using a halo occupation distribution that only uses halo mass as an input. We find that this prescription qualitatively reproduces $\textit{all}$ observed trends, and also quantitatively matches many of the observed results. Although there are some statistically significant differences between our `halo mass only' mocks and the data -- in the most and least isotropic environments -- which deserve further investigation, our results suggest that if the tidal environment induces additional effects on galaxy properties other than those inherited from their host halos, then these must be weak.


title: Towards Realistic Threat Modeling: Attack Commodification, Irrelevant Vulnerabilities, and Unrealistic Assumptions

abstract: Current threat models typically consider all possible ways an attacker can penetrate a system and assign probabilities to each path according to some metric (e.g. time-to-compromise). In this paper we discuss how this view hinders the realness of both technical (e.g. attack graphs) and strategic (e.g. game theory) approaches of current threat modeling, and propose to steer away by looking more carefully at attack characteristics and attacker environment. We use a toy threat model for ICS attacks to show how a realistic view of attack instances can emerge from a simple analysis of attack phases and attacker limitations.


title: HE0359-3959: an extremely radiating quasar

abstract: We present a multiwavelength spectral study of the quasar HE0359-3959, which has been identified as an extreme radiating source at intermediate redshift (z=1.5209). Along the spectral range, the different ionic species give information about the substructures in the broad line region. The presence of a powerful outflow with an extreme blueshifted velocity of $\sim$-6000$\pm$500 km s$^{-1}$ is shown in the CIV{\lambda}1549 emission line. A prominent blueshifted component is also associated with the 1900{\AA} blend, resembling the one observed in CIV{\lambda}1549. We detect a strong contribution of very the low-ionization lines, FeII and Near-Infrared CaII triplet. We find that the physical conditions for the low, intermediate and high-ionization emission lines are different, which indicate that the emission lines are emitted in different zones of the broad line region. The asymmetries shown by the profiles reveal different forces over emitter zones. The high-ionization region is strongly dominated by radiation forces, which also affect the low and intermediate-ionization emitter region, commonly governed by virial motions. These results support the idea that highly radiating sources host a slim disk.


title: VLBI imaging of M81* at 3.4 mm with source-frequency phase-referencing

abstract: We report on the first VLBI image of the M81 nucleus (M81*) at a wavelength of 3.4 mm, obtained with the source-frequency phase-referencing (SFPR) technique. Thanks to the SFPR calibration, the coherent integration time could be eventually increased by more than an order of magnitude, which enabled the detection of fringes at the level of 45 mJy beam-1 with a dynamic range higher than 130:1. This paves the way toward future mm/sub-mm VLBI observations of weaker sources. From the analysis of the M81* visibilities, a core size of ~50 uas at 3.4 mm was estimated. This follows the power-law relationship with wavelength lambda^0.88, reported previously at lower frequencies. These results constrain the core size (at 3.4 mm) to a minimum of ~80 Schwarzschild radii of M81*.


title: Fully Quantum Arbitrarily Varying Channels: Random Coding Capacity and Capacity Dichotomy

abstract: We consider a model of communication via a fully quantum jammer channel with quantum jammer, quantum sender and quantum receiver, which we dub quantum arbitrarily varying channel (QAVC). Restricting to finite dimensional user and jammer systems, we show, using permutation symmetry and a de Finetti reduction, how the random coding capacity (classical and quantum) of the QAVC is reduced to the capacity of a naturally associated compound channel, which is obtained by restricting the jammer to i.i.d. input states. Furthermore, we demonstrate that the shared randomness required is at most logarithmic in the block length, using a random matrix tail bound. This implies a dichotomy theorem: either the classical capacity of the QAVC is zero, and then also the quantum capacity is zero, or each capacity equals its random coding variant.


title: Computing the Reciprocal of a $\phi$-function by Rational Approximation

abstract: In this paper we introduce a family of rational approximations of the reciprocal of a $\phi$-function involved in the explicit solutions of certain linear differential equations, as well as in integration schemes evolving on manifolds. The derivation and properties of this family of approximations applied to scalar and matrix arguments are presented. Moreover, we show that the matrix functions computed by these approximations exhibit decaying properties comparable to the best existing theoretical bounds. Numerical examples highlight the benefits of the proposed rational approximations w.r.t.~the classical Taylor polynomials and other rational functions.


title: The Doctoral Students of Richard Feynman

abstract: I document 32 students who graduated to receive PhDs under Feynman's supervision. I provide links to their doctoral dissertations.


title: Completeness in Probabilistic Metric Spaces

abstract: In this paper, we present the Cantor Intersection Theorem and a formulation of Baire Theorem in complete PM spaces. In addition, the Heine-Borel property for PM spaces is considered in detail.


title: Polar phase of superfluid $^3$He: Dirac lines in the parameter and momentum spaces

abstract: The time reversal symmetric polar phase of the spin-triplet superfluid $^3$He has two types of Dirac nodal lines. In addition to the Dirac loop in the spectrum of the fermionic Bogoliubov quasiparticles in the momentum space $(p_x,p_y,p_z)$, the spectrum of bosons (magnons) has Dirac loop in the 3D space of parameters -- the components of magnetic field $(H_x,H_y,H_z)$. The bosonic Dirac system lives on the border between the type-I and type-II.


title: Cascaded lattice Boltzmann method for incompressible thermal flows with heat sources and general thermal boundary conditions

abstract: Cascaded or central-moment-based lattice Boltzmann method (CLBM) is a relatively recent development in the LBM community, which has better numerical stability and naturally achieves better Galilean invariance for a specified lattice compared with the classical single-relation-time (SRT) LBM. Recently, CLBM has been extended to simulate thermal flows based on the double-distribution-function (DDF) approach [L. Fei \textit{et al.}, Int. J. Heat Mass Transfer 120, 624 (2018)]. In this work, CLBM is further extended to simulate thermal flows involving complex thermal boundary conditions and/or a heat source. Particularly, a discrete source term in the central-moment space is proposed to include a heat source, and a general bounce-back scheme is employed to implement thermal boundary conditions. The numerical results for several canonical problems are in good agreement with the analytical solutions and/or numerical results in the literature, which verifies the present CLBM implementation for thermal flows.


title: Fixed angle scattering: recovery of singularities and its limitations

abstract: We prove that in dimension $n \ge 2$ the main singularities of a complex potential $q$ having a certain a priori regularity are contained in the Born approximation $q_\theta$ constructed from fixed angle scattering data. Moreover, ${q-q_\theta}$ can be up to one derivative more regular than $q$ in the Sobolev scale. In fact, this result is optimal, we construct a family of compactly supported and radial potentials for which it is not possible to have more than one derivative gain. Also, these functions show that for $n>3$, the maximum derivative gain can be very small for potentials in the Sobolev scale not having a certain a priori level of regularity which grows with the dimension.


title: Hadamard Star Configurations

abstract: Bocci, Carlini, and Kileel have shown that the square-free Hadamard product of a finite set of points $Z$ that all lie on a line $\ell$ in $\mathbb{P}^n$ produces a star configuration of codimension $n$. In this paper we introduce a construction using the Hadamard product to construct star configurations of codimension $c$. In the case that $c = n= 2$, our construction produces the star configurations of Bocci, Carlini, and Kileel. We will call any star configuration that can be constructed using our approach a Hadamard star configuration. Our main result is a classification of Hadamard star configurations.


title: Selective High-Harmonic Generation by Charge Transfer Plasmon-Resonant Nanodimers

abstract: Here, we study the possibility of selective high-harmonic generation (HHG) based on the concept of charge transfer plasmons (CTP) in bridged nanoparticle assemblies. By choosing plasmonic dimer nanoantenna, as a fundamental member of nanoclusters family, and bridging the gap space between the proximal nanoparticles with an optothermally controllable substance, we selectively produced two different harmonics at different states of the functional bridge. To this end, the conductive connection between the nanoparticles is mediated with Ge2Sb2Te5 (GST), which inherently has opposite optical and electrical properties depending on its phase condition. This helped us to manipulate the transition of charges across the bridge and therefore, control the excitation of CTP resonances and provide a switching feature between distinguished plasmonic resonant modes. Such a control allows us to produce highly intense second and forth harmonics based on the conductivity of the interparticle junction.


title: Voliro: An Omnidirectional Hexacopter With Tiltable Rotors

abstract: Extending the maneuverability of unmanned areal vehicles promises to yield a considerable increase in the areas in which these systems can be used. Some such applications are the performance of more complicated inspection tasks and the generation of complex uninterrupted movements of an attached camera. In this paper we address this challenge by presenting Voliro, a novel aerial platform that combines the advantages of existing multi-rotor systems with the agility of omnidirectionally controllable platforms. We propose the use of a hexacopter with tiltable rotors allowing the system to decouple the control of position and orientation. The contributions of this work involve the mechanical design as well as a controller with the corresponding allocation scheme. This work also discusses the design challenges involved when turning the concept of a hexacopter with tiltable rotors into an actual prototype. The agility of the system is demonstrated and evaluated in real- world experiments.


title: Distributed dynamic load balancing for task parallel programming

abstract: In this paper, we derive and investigate approaches to dynamically load balance a distributed task parallel application software. The load balancing strategy is based on task migration. Busy processes export parts of their ready task queue to idle processes. Idle--busy pairs of processes find each other through a random search process that succeeds within a few steps with high probability. We evaluate the load balancing approach for a block Cholesky factorization implementation and observe a reduction in execution time on the order of 5\% in the selected test cases.


title: Time-dependent gradient curves on CAT(0) spaces

abstract: This is a preliminary version dated Dec. 2013. It was written independently of [Kim-Masmoudi reference] which uses a similar method. [KM] works with flows in a more general setting and does not mention CAT(K) geometry and gradient curves. There are flows to which our method applies that do not satisfy the conditions in [KM].


title: The method of hypergraph containers

abstract: In this survey we describe a recently-developed technique for bounding the number (and controlling the typical structure) of finite objects with forbidden substructures. This technique exploits a subtle clustering phenomenon exhibited by the independent sets of uniform hypergraphs whose edges are sufficiently evenly distributed; more precisely, it provides a relatively small family of 'containers' for the independent sets, each of which contains few edges. We attempt to convey to the reader a general high-level overview of the method, focusing on a small number of illustrative applications in areas such as extremal graph theory, Ramsey theory, additive combinatorics, and discrete geometry, and avoiding technical details as much as possible.


title: Limits on top FCNC decay t$\rightarrow$cH and t$\rightarrow$c$\gamma$ from CLIC at 380 GeV

abstract: FCNC top decays are very strongly suppressed in the Standard Model and the observation of any such decay would be a direct signature of physics beyond SM. Many "new physics" scenarios predict contributions to FCNC processes and the largest enhancement in many models is for t$\rightarrow$cH decay. Enhancements for the decay channel t$\rightarrow$c$\gamma$ are more modest, but the decay still has a clearly identifiable kinematic signature. Prospects for measuring these decays at CLIC running at 380 GeV were studied with full detector simulation, taking the luminosity distribution, beam polarization and beam induced background into account. Top pair production events with t$\rightarrow$cH decays can be identified based on the kinematic constraints and flavour tagging information. The analysis was divided into three steps: classification of top pair candidate events, event quality determination and kinematic reconstruction based on signal or background hypotheses, and final separation of signal from background. To obtain optimal results, selection criteria based on the dedicated Boosted Decision Trees (BDT) were used at each step. The expected limit on BR(t$\rightarrow$cH)$\times$BR(H$\rightarrow b\bar{b}$) from a combined analysis of hadronic and semi-leptonic top pair samples, as well as the limit on BR(t$\rightarrow$c$\gamma$) from hadronic top pair decays are presented.


title: Three-dimensional cascaded lattice Boltzmann method: improved implementation and consistent forcing scheme

abstract: Cascaded or central-moment-based lattice Boltzmann method (CLBM) proposed in [Geier \textit{et al.}, Phys. Rev. E \textbf{63}, 066705 (2006)] possesses very good numerical stability. However, two constraints exist in three-dimensional (3D) CLBM simulations. Firstly, the conventional implementation for 3D CLBM involves cumbersome operations and requires much higher computational cost compared to the single-relaxation-time (SRT) LBM. Secondly, it is a challenge to accurately incorporate a general force field into the 3D CLBM. In this paper, we present an improved method to implement CLBM in 3D. The main strategy is to adopt a simplified central moment set, and carry out the central-moment-based collision operator based on a general multi-relaxation-time (GMRT) framework. Next, the recently proposed consistent forcing scheme in CLBM [L. Fei and K. H. Luo, Phys. Rev. E \textbf{96}, 053307 (2017)] is extended to incorporate a general force field into 3D CLBM. Compared with the recently developed non-orthogonal CLBM [A. D. Rosis, Phys. Rev. E \textbf{95}, 013310 (2017)], our implementation is proved to reduce the computational cost significantly. The inconsistency of adopting the discrete equilibrium distribution functions (EDFs) in the non-orthogonal CLBM is revealed and discussed. The 3D CLBM developed here in conjunction with the consistent forcing scheme is verified through numerical simulations of several canonical force-driven flows, highlighting very good properties in terms of accuracy, convergence and consistency with the nonslip rule. Finally, the techniques developed here for 3D CLBM can be applied to make the implementation and execution of 3D MRT-LBM much more efficient.


title: A Bayesian Evidence Synthesis Approach to Estimate Disease Prevalence in Hard-To-Reach Populations: Hepatitis C in New York City

abstract: Existing methods to estimate the prevalence of chronic hepatitis C (HCV) in New York City (NYC) are limited in scope and fail to assess hard-to-reach subpopulations with highest risk such as injecting drug users (IDUs). To address these limitations, we employ a Bayesian multi-parameter evidence synthesis model to systematically combine multiple sources of data, account for bias in certain data sources, and provide unbiased HCV prevalence estimates with associated uncertainty. Our approach improves on previous estimates by explicitly accounting for injecting drug use and including data from high-risk subpopulations such as the incarcerated, and is more inclusive, utilizing ten NYC data sources. In addition, we derive two new equations to allow age at first injecting drug use data for former and current IDUs to be incorporated into the Bayesian evidence synthesis, a first for this type of model. Our estimated overall HCV prevalence as of 2012 among NYC adults aged 20-59 years is 2.78% (95% CI 2.61-2.94%), which represents between 124,900 and 140,000 chronic HCV cases. These estimates suggest that HCV prevalence in NYC is higher than previously indicated from household surveys (2.2%) and the surveillance system (2.37%), and that HCV transmission is increasing among young injecting adults in NYC. An ancillary benefit from our results is an estimate of current IDUs aged 20-59 in NYC: 0.58% or 27,600 individuals.


title: Maximal heat transfer between two parallel plates

abstract: The divergence-free time-independent velocity vector field has been determined so as to maximise heat transfer between two parallel plates of a constant temperature difference under the constraint of fixed total enstrophy. The present variational problem is the same as that first formulated by Hassanzadeh $\it et{\ }al$. (2014); however, a search range of optimal states has been extended to a three-dimensional velocity field. The scaling of the Nusselt number $Nu$ with the P\'eclet number $Pe$ (i.e., the square root of the non-dimensionalised enstrophy with thermal diffusion timescale), $Nu\sim Pe^{2/3}$, has been found in the three-dimensional optimal states, corresponding to the asymptotic scaling with the Rayleigh number $Ra$, $Nu\sim Ra^{1/2}$, in extremely-high-$Ra$ convective turbulence, and thus to the Taylor energy dissipation law in high-Reynolds-number turbulence. At $Pe\sim10^{0}$, a two-dimensional array of large-scale convection rolls provides maximal heat transfer. A three-dimensional optimal solution emerges from bifurcation on the two-dimensional solution branch at higher $Pe$. At $Pe\gtrsim10^{3}$, the optimised velocity fields consist of convection cells with hierarchical self-similar vortical structures, and the temperature fields exhibit a logarithmic mean profile near the walls.


title: Deep Reinforcement Fuzzing

abstract: Fuzzing is the process of finding security vulnerabilities in input-processing code by repeatedly testing the code with modified inputs. In this paper, we formalize fuzzing as a reinforcement learning problem using the concept of Markov decision processes. This in turn allows us to apply state-of-the-art deep Q-learning algorithms that optimize rewards, which we define from runtime properties of the program under test. By observing the rewards caused by mutating with a specific set of actions performed on an initial program input, the fuzzing agent learns a policy that can next generate new higher-reward inputs. We have implemented this new approach, and preliminary empirical evidence shows that reinforcement fuzzing can outperform baseline random fuzzing.


title: Frame-Recurrent Video Super-Resolution

abstract: Recent advances in video super-resolution have shown that convolutional neural networks combined with motion compensation are able to merge information from multiple low-resolution (LR) frames to generate high-quality images. Current state-of-the-art methods process a batch of LR frames to generate a single high-resolution (HR) frame and run this scheme in a sliding window fashion over the entire video, effectively treating the problem as a large number of separate multi-frame super-resolution tasks. This approach has two main weaknesses: 1) Each input frame is processed and warped multiple times, increasing the computational cost, and 2) each output frame is estimated independently conditioned on the input frames, limiting the system's ability to produce temporally consistent results. In this work, we propose an end-to-end trainable frame-recurrent video super-resolution framework that uses the previously inferred HR estimate to super-resolve the subsequent frame. This naturally encourages temporally consistent results and reduces the computational cost by warping only one image in each step. Furthermore, due to its recurrent nature, the proposed method has the ability to assimilate a large number of previous frames without increased computational demands. Extensive evaluations and comparisons with previous methods validate the strengths of our approach and demonstrate that the proposed framework is able to significantly outperform the current state of the art.


title: On the shape factor of interaction laws for a non-local approximation of the Sobolev norm and the total variation

abstract: We consider the family of non-local and non-convex functionals introduced by H. Brezis and H.-M. Nguyen in a recent paper. These functionals Gamma-converge to a multiple of the Sobolev norm or the total variation, depending on a summability exponent, but the exact values of the constants are unknown in many cases. We describe a new approach to the Gamma-convergence result that leads in some special cases to the exact value of the constants, and to the existence of smooth recovery families.


title: Shadows of Black Holes in Vector-Tensor Galileons Modified Gravity

abstract: We study the shadows of disformal black holes in vector-tensor Galileons modified gravity. Our analysis shows that the apparent image of the black hole in the observer's sky is non-spherical and cuspy, which is in contrast to the Kerr and Kerr-Newman cases. The non-trivial silhouette of the apparent image of the black hole provides novel templates for the current astrophysical observations. Moreover, due to the non-minimal coupling of the vector field to gravity the disformal black hole supports regular horizons for spin parameter exceeding the ADM mass. Finally, the shadows of the massless limit, supported only by the charge of the dark vector field, are also studied. When relevant the results are compared with the Kerr black hole.


title: On Identifying a Massive Number of Distributions

abstract: Finding the underlying probability distributions of a set of observed sequences under the constraint that each sequence is generated i.i.d by a distinct distribution is considered. The number of distributions, and hence the number of observed sequences, are let to grow with the observation blocklength $n$. Asymptotically matching upper and lower bounds on the probability of error are derived.


title: Quantum spin circulator in Y junctions of Heisenberg chains

abstract: We show that a quantum spin circulator, a nonreciprocal device that routes spin currents without any charge transport, can be achieved in Y junctions of identical spin-$1/2$ Heisenberg chains coupled by a chiral three-spin interaction. Using bosonization, boundary conformal field theory, and density-matrix renormalization group simulations, we find that a chiral fixed point with maximally asymmetric spin conductance arises at a critical point separating a regime of disconnected chains from a spin-only version of the three-channel Kondo effect. We argue that networks of spin-chain Y junctions provide a controllable approach to construct long-sought chiral spin liquid phases.


title: Engel elements in some fractal groups

abstract: Let $p$ be a prime and let $G$ be a subgroup of a Sylow pro-$p$ subgroup of the group of automorphisms of the $p$-adic tree. We prove that if $G$ is fractal and $|G':\mathrm{st}_G(1)'|=\infty$, then the set $L(G)$ of left Engel elements of $G$ is trivial. This result applies to fractal nonabelian groups with torsion-free abelianization, for example the Basilica group, the Brunner-Sidki-Vieira group, and also to the GGS-group with constant defining vector. We further provide two examples showing that neither of the requirements $|G':\mathrm{st}_G(1)'|=\infty$ and being fractal can be dropped.