title: Anticipating Persistent Infection

abstract: We explore the emergence of persistent infection in a closed region where the disease progression of the individuals is given by the SIRS model, with an individual becoming infected on contact with another infected individual within a given range. We focus on the role of synchronization in the persistence of contagion. Our key result is that higher degree of synchronization, both globally in the population and locally in the neighborhoods, hinders persistence of infection. Importantly, we find that early short-time asynchrony appears to be a consistent precursor to future persistence of infection, and can potentially provide valuable early warnings for sustained contagion in a population patch. Thus transient synchronization can help anticipate the long-term persistence of infection. Further we demonstrate that when the range of influence of an infected individual is wider, one obtains lower persistent infection. This counter-intuitive observation can also be understood through the relation of synchronization to infection burn-out.


title: Resolvent Estimates for Non-Self-Adjoint Magnetic Schr\"{o}dinger Operators

abstract: We examine semiclassical magnetic Schr\"{o}dinger operators with complex electric potentials. Under suitable conditions on the magnetic and electric potentials, we prove a resolvent estimate for spectral parameters in an unbounded parabolic neighborhood of the imaginary axis.


title: Lower-Hybrid Drift Instability and Macroscopic Flow of Colliding Magnetized Plasmas

abstract: Microscopic instability and macroscopic flow pattern resulting from colliding plasmas are studied analytically in support of laboratory experiments. The plasma flows are assumed to stream radially from two separate centers. In a quasi-planar (2D) geometry, they may arise from an Ohmic explosion of two parallel wires, but similar configurations emerge from other outflows, e.g., colliding winds in binary star systems. One objective of this paper is to characterize the flow instabilities developing near the flow stagnation line. An exact solution for the Buneman-type dispersion equation is obtained without conventional simplifications. The unstable wave characteristics are key to anomalous resistivity that determines the reconnection rate of opposite magnetic fields transported with each flow toward the stagnation zone. The second objective of the paper is to calculate the stream function of the plasma shocked upon collision. We addressed this task by mapping the flow region to a hodograph plane and solving a Dirichlet problem for the stream function. By providing the instability growth rate, responsible for anomalous transport coefficients, and the overall flow configuration, these studies lay the ground for the next step. From there, we will examine the field reconnection scenarios and emerging mesoscopic structures, such as radial striata observed in the experiments.


title: Learning to See in the Dark

abstract: Imaging in low light is challenging due to low photon count and low SNR. Short-exposure images suffer from noise, while long exposure can induce blur and is often impractical. A variety of denoising, deblurring, and enhancement techniques have been proposed, but their effectiveness is limited in extreme conditions, such as video-rate imaging at night. To support the development of learning-based pipelines for low-light image processing, we introduce a dataset of raw short-exposure low-light images, with corresponding long-exposure reference images. Using the presented dataset, we develop a pipeline for processing low-light images, based on end-to-end training of a fully-convolutional network. The network operates directly on raw sensor data and replaces much of the traditional image processing pipeline, which tends to perform poorly on such data. We report promising results on the new dataset, analyze factors that affect performance, and highlight opportunities for future work. The results are shown in the supplementary video at https://youtu.be/qWKUFK7MWvg


title: Chain retraction in highly entangled stretched polymer melts

abstract: We use computer simulations to study the relaxation of strongly deformed highly entangled polymer melts in the non-linear viscoelastic regime, focusing on anisotropic chain conformations after isochoric elongation. The Doi-Edwards tube model and its GLaMM extension, incorporating contour length fluctuation and convective constraint release, predict a retraction of the polymer chain extension in all directions, setting in immediately after deformation. This prediction has been challenged by experiment, simulation, and other theoretical studies, questioning the general validity of the tube concept. For very long chains we observe the initial contraction of the chain extension parallel and perpendicular to the stretching direction. However, the effect is significantly weaker than predicted by the GLaMM model. We also show that the first anisotropic term of an expansion of the 2D scattering function qualitatively agrees to predictions of the GLaMM model, providing an option for direct experimental tests.


title: Time Dependent Nature of the Neptune's Arc Configuration

abstract: By distinguishing the main arc Fraternite from the minor arcs Egalite (2,1), Liberte, Courage, the restricted three-body system is extended to a non-conservative restricted four-body system with the central body Neptune S, the primary body Galatea X, a minor body Fraternite F, and a test body s. Through the equations of motion, it is shown that the locations where the force is null along the orbit of s correspond to the locations of Egalite (2,1), Liberte, and Courage. Even if all the arcs were captured by CER sites initially, the orbits over the CERs would be unstable for the minor arcs due to the disturbing force of Fraternite, allowing them to be relocated to the null points. On the other hand, the minor arcs do not have the mass to destabilize Fraternite from its CER site, which is enlarged from 8.37 degrees to 9.7 degrees thus accounting for the Fraternite's span. In this restricted four-body system, s is under the effects of the potentials of X and F. The potential of X drives a long period harmonic pendulum oscillation of $(n+1)\theta_{s}$ of the test body s with respect to $n\theta_{x}$ of X centered over a local CER site with period $T=1,000\,d$, while the potential of F drives an even longer period singular pendulum oscillation centered over Fraternite with period $T_{f}=40,000\,d$. It is shown that the null points are the turning points of the harmonic CER oscillation, and the non-conservative nature of this system could account for the time varying intensity, configuration, and disappearance of the minor arcs.


title: Superconducting Optoelectronic Neurons III: Synaptic Plasticity

abstract: As a means of dynamically reconfiguring the synaptic weight of a superconducting optoelectronic loop neuron, a superconducting flux storage loop is inductively coupled to the synaptic current bias of the neuron. A standard flux memory cell is used to achieve a binary synapse, and loops capable of storing many flux quanta are used to enact multi-stable synapses. Circuits are designed to implement supervised learning wherein current pulses add or remove flux from the loop to strengthen or weaken the synaptic weight. Designs are presented for circuits with hundreds of intermediate synaptic weights between minimum and maximum strengths. Circuits for implementing unsupervised learning are modeled using two photons to strengthen and two photons to weaken the synaptic weight via Hebbian and anti-Hebbian learning rules, and techniques are proposed to control the learning rate. Implementation of short-term plasticity, homeostatic plasticity, and metaplasticity in loop neurons is discussed.


title: Getting More Out of the Wind: Extending Betz's Law to Multiple Turbines

abstract: The Betz law places a fundamental limit on the amount of power that can be extracted by a wind turbine for a fixed area wind column. This manuscript extends the original Betz Law derivation to a "multi-turbine" approach.


title: Another Quadruply Lensed Quasar from the VST-ATLAS Survey

abstract: We report the quadruple nature of the source WISE 025942.9-163543 as observed in the VST-ATLAS survey. Spectra of the two brightest images show quasar emission lines at z=2.16. The system was discovered by splitting ATLAS "cutouts" of WISE sources with W1-W2 > 0.7, when possible, into three components. Followup Magellan images were used to obtain astrometry and g and i photometry, with i=18.78 and 19.73, respectively, for the brightest and faintest components. Absorption lines are observed at z=0.905 but there is little evidence for a lensing galaxy after PSF fitting and subtraction. Saha and Williams (2003) would classify ATLAS 0259-1635 as a short-axis quad. The larger and smaller diameters are 1.57 and 1.32 arcseconds, respectively. Modeling the lensing galaxy as a singular isothermal sphere with external shear, the largest and smallest predicted magnifications are 10.8 and 6.4 respectively.


title: Precision ultrasound sensing on a chip

abstract: Ultrasound sensors have wide applications across science and technology. However, improved sensitivity is required for both miniaturisation and increased spatial resolution. Here, we introduce cavity optomechanical ultrasound sensing, where dual optical and mechanical resonances enhance the ultrasound signal. We achieve noise equivalent pressures of 8--300 $\mu$Pa/$\sqrt{\rm Hz}$ at kilohertz to megahertz frequencies in a microscale silicon-chip-based sensor with $>$120 dB dynamic range. The sensitivity far exceeds similar sensors that use optical resonance alone and, normalised to sensing area, surpasses previous air-coupled ultrasound sensors by several orders of magnitude. The noise floor is, for the first time, dominated by collisions from molecules in the gas within which the acoustic wave propagates. This new approach to acoustic sensing could find applications ranging from biomedical diagnostics, to autonomous navigation, trace gas sensing, and scientific exploration of the life-induced-vibrations of single cells.


title: Superconducting Optoelectronic Neurons IV: Transmitter Circuits

abstract: A superconducting optoelectronic neuron will produce a small current pulse upon reaching threshold. We present an amplifier chain that converts this small current pulse to a voltage pulse sufficient to produce light from a semiconductor diode. This light is the signal used to communicate between neurons in the network. The amplifier chain comprises a thresholding Josephson junction, a relaxation oscillator Josephson junction, a superconducting thin-film current-gated current amplifier, and a superconducting thin-film current-gated voltage amplifier. We analyze the performance of the elements in the amplifier chain in the time domain to calculate the energy consumption per photon created for several values of light-emitting diode capacitance and efficiency. The speed of the amplification sequence allows neuronal firing up to at least 20\,MHz with power density low enough to be cooled easily with standard $^4$He cryogenic systems operating at 4.2\,K.


title: Superconducting Optoelectronic Neurons V: Networks and Scaling

abstract: Networks of superconducting optoelectronic neurons are investigated for their near-term technological potential and long-term physical limitations. Networks with short average path length, high clustering coefficient, and power-law degree distribution are designed using a growth model that assigns connections between new and existing nodes based on spatial distance as well as degree of existing nodes. The network construction algorithm is scalable to arbitrary levels of network hierarchy and achieves systems with fractal spatial properties and efficient wiring. By modeling the physical size of superconducting optoelectronic neurons, we calculate the area of these networks. A system with 8100 neurons and 330,430 total synapses will fit on a 1\,cm $\times$ 1\,cm die. Systems of millions of neurons with hundreds of millions of synapses will fit on a 300\,mm wafer. For multi-wafer assemblies, communication at light speed enables a neuronal pool the size of a large data center comprising 100 trillion neurons with coherent oscillations at 1\,MHz. Assuming a power law frequency distribution, as is necessary for self-organized criticality, we calculate the power consumption of the networks. We find the use of single photons for communication and superconducting circuits for computation leads to power density low enough to be cooled by liquid $^4$He for networks of any scale.


title: Tunable wave propagation by varying prestrain in tensegrity-based periodic media

abstract: This paper investigates the dynamic properties of one, two and three-dimensional tensegrity-based periodic structures introduced in Rimoli and Pal, Comp. B, 2017, which are here termed as tensegrity beams, plates and solids, respectively. We study their linear wave propagation properties and show that in each case, these properties can be significantly altered by the prestrain in the cables. As the prestrain is varied, we observe jumps in the wave velocities at two critical prestrain values, which define transitions between the three distinct phases of these structural assemblies. At low cable prestrains, the wave speeds are zero as the lattices have zero effective stiffness. At moderate prestrains, the wave speed is nonzero and finally, at prestrain levels where the bars buckle, the wave speed decreases to a lower value. Dispersion analysis on these beams, plates and solids reveal unique properties such as very low wave velocities compared to their constituent material and the existence of flat bands at low frequencies. Furthermore, we find that shear waves travel faster than longitudinal waves in tensegrity solids in a range of cable prestrains. Finally, we verify the key observations through detailed numerical simulations on finite tensegrity solids.


title: The Muon $(g-2)$ Spin Equations, the Magic $\gamma$, What's small and what's not

abstract: We review the spin equations for the muon in the 1.45~T muon storage ring at Brookhaven National Laboratory, which has subsequently been relocated to Fermilab. Muons are stored in a uniform 1.45~T magnetic field, and vertical focusing is provided by four sets of electrostatic quadrupoles placed symmetrically around the storage ring. The storage ring is operated at the "magic $\gamma = 29.3$" so that the effect of the motional magnetic field cancels for muons at the magic momentum. We point out the relative sizes of the various terms in the spin equations, and show that for experiments that use the magic $\gamma$ and electric quadrupole focusing to store the muon beam, any proposed effect that multiplies either the motional magnetic field $\vec \beta \times \vec E$ or the muon pitching motion $\vec \beta \cdot \vec B$ term, will be smaller by three or more orders of magnitude, relative to the spin precession from the storage ring magnetic field. We use a recently proposed General Relativity correction as an example, to demonstrate the smallness of any such contribution, and point out that the revised preprint from these authors still contains a conceptual error, that significantly overestimates the magnitude of their proposed correction. We have prepared this document in the hope that future authors will find it useful, should they wish to propose corrections from some additional term added to the Thomas equation, Eq. 13, below. Our goal is to clarify how the experiment is done, and how the small corrections due to the presence of the radial electric field and the vertical pitching motion of themuons (betatron motion) in the storage ring are taken into account.


title: Broadband Cyclic-Symmetric Magnet-less Circulators and Theoretical Bounds on their Bandwidth

abstract: In this paper, we explore theoretically and experimentally broadband spatiotemporally modulated (STM) magnet-less circulators realized by combining three-port non-reciprocal junctions with three identical bandpass filters. We develop a rigorous theory for the proposed circuit, which allows to optimize their design and to derive a global bound on the maximum possible bandwidth (BW) for cyclic-symmetric magnetless circulators. We verify our theory with simulations and measurements of a printed circuit board (PCB) prototype based on a differential wye junction and second-order Chebyshev bandpass filters, resulting in a measured fractional BW of 13.9% at a center frequency of 1 GHz.


title: Reliability Map Estimation For CNN-Based Camera Model Attribution

abstract: Among the image forensic issues investigated in the last few years, great attention has been devoted to blind camera model attribution. This refers to the problem of detecting which camera model has been used to acquire an image by only exploiting pixel information. Solving this problem has great impact on image integrity assessment as well as on authenticity verification. Recent advancements that use convolutional neural networks (CNNs) in the media forensic field have enabled camera model attribution methods to work well even on small image patches. These improvements are also important for determining forgery localization. Some patches of an image may not contain enough information related to the camera model (e.g., saturated patches). In this paper, we propose a CNN-based solution to estimate the camera model attribution reliability of a given image patch. We show that we can estimate a reliability-map indicating which portions of the image contain reliable camera traces. Testing using a well known dataset confirms that by using this information, it is possible to increase small patch camera model attribution accuracy by more than 8% on a single patch.


title: Circuit designs for superconducting optoelectronic loop neurons

abstract: Optical communication achieves high fanout and short delay advantageous for information integration in neural systems. Superconducting detectors enable signaling with single photons for maximal energy efficiency. We present designs of superconducting optoelectronic neurons based on superconducting single-photon detectors, Josephson junctions, semiconductor light sources, and multi-planar dielectric waveguides. These circuits achieve complex synaptic and neuronal functions with high energy efficiency, leveraging the strengths of light for communication and superconducting electronics for computation. The neurons send few-photon signals to synaptic connections. These signals communicate neuronal firing events as well as update synaptic weights. Spike-timing-dependent plasticity is implemented with a single photon triggering each step of the process. Microscale light-emitting diodes and waveguide networks enable connectivity from a neuron to thousands of synaptic connections, and the use of light for communication enables synchronization of neurons across an area limited only by the distance light can travel within the period of a network oscillation. Experimentally, each of the requisite circuit elements has been demonstrated, yet a hardware platform combining them all has not been attempted. Compared to digital logic or quantum computing, device tolerances are relaxed. For this neural application, optical sources providing incoherent pulses with 10,000 photons produced with efficiency of 10$^{-3}$ operating at 20\,MHz at 4.2\,K are sufficient to enable a massively scalable neural computing platform with connectivity comparable to the brain and thirty thousand times higher speed.


title: Coloring even-hole-free graphs with no star cutset

abstract: A \emph{hole} is a chordless cycle of length at least $4$. A graph is \emph{even-hole-free} if it does not contain any hole of even length as an induced subgraph. In this paper, we study the class of even-hole-free graphs with no star cutset. We give the optimal upper bound for its chromatic number in terms of clique number and a polynomial-time algorithm to color any graph in this class. The latter is, in fact, a direct consequence of our proof that this class has bounded rank-width.


title: Darboux transformation for the discrete Schr\"odinger equation

abstract: The discrete Schr\"odinger equation on a half-line lattice with the Dirichlet boundary condition is considered when the potential is real valued, is summable, and has a finite first moment. The Darboux transformation formulas are derived from first principles showing how the potential and the wavefunction change when a bound state is added to or removed from the discrete spectrum of the corresponding Schr\"odinger operator without changing the continuous spectrum. This is done by explicitly evaluating the change in the spectral density when a bound state is added or removed and also by determining how the continuous part of the spectral density changes. The theory presented is illustrated with some explicit examples.


title: A Data-driven Approach to Detecting Precipitation from Meteorological Sensor Data

abstract: Precipitation is dependent on a myriad of atmospheric conditions. In this paper, we study how certain atmospheric parameters impact the occurrence of rainfall. We propose a data-driven, machine-learning based methodology to detect precipitation using various meteorological sensor data. Our approach achieves a true detection rate of 87.4% and a moderately low false alarm rate of 32.2%.


title: Advanced local motion patterns for macro and micro facial expression recognition

abstract: In this paper, we develop a new method that recognizes facial expressions, on the basis of an innovative local motion patterns feature, with three main contributions. The first one is the analysis of the face skin temporal elasticity and face deformations during expression. The second one is a unified approach for both macro and micro expression recognition. And, the third one is the step forward towards in-the-wild expression recognition, dealing with challenges such as various intensity and various expression activation patterns, illumination variation and small head pose variations. Our method outperforms state-of-the-art methods for micro expression recognition and positions itself among top-rank state-of-the-art methods for macro expression recognition.


title: A Coherent Unsupervised Model for Toponym Resolution

abstract: Toponym Resolution, the task of assigning a location mention in a document to a geographic referent (i.e., latitude/longitude), plays a pivotal role in analyzing location-aware content. However, the ambiguities of natural language and a huge number of possible interpretations for toponyms constitute insurmountable hurdles for this task. In this paper, we study the problem of toponym resolution with no additional information other than a gazetteer and no training data. We demonstrate that a dearth of large enough annotated data makes supervised methods less capable of generalizing. Our proposed method estimates the geographic scope of documents and leverages the connections between nearby place names as evidence to resolve toponyms. We explore the interactions between multiple interpretations of mentions and the relationships between different toponyms in a document to build a model that finds the most coherent resolution. Our model is evaluated on three news corpora, two from the literature and one collected and annotated by us; then, we compare our methods to the state-of-the-art unsupervised and supervised techniques. We also examine three commercial products including Reuters OpenCalais, Yahoo! YQL Placemaker, and Google Cloud Natural Language API. The evaluation shows that our method outperforms the unsupervised technique as well as Reuters OpenCalais and Google Cloud Natural Language API on all three corpora; also, our method shows a performance close to that of the state-of-the-art supervised method and outperforms it when the test data has 40% or more toponyms that are not seen in the training data.


title: Connected greedy colouring in claw-free graphs

abstract: An ordering of the vertices of a graph is \emph{connected} if every vertex (but the first) has a neighbor among its predecessors. The greedy colouring algorithm of a graph with a connected order consists in taking the vertices in order, and assigning to each vertex the smallest available colour. A graph is \emph{good} if the greedy algorithm on every connected order gives every connected induced subgraph of it an optimal colouring. We give the characterization of good claw-free graphs in terms of minimal forbidden induced subgraphs.


title: Behavioral Cloning from Observation

abstract: Humans often learn how to perform tasks via imitation: they observe others perform a task, and then very quickly infer the appropriate actions to take based on their observations. While extending this paradigm to autonomous agents is a well-studied problem in general, there are two particular aspects that have largely been overlooked: (1) that the learning is done from observation only (i.e., without explicit action information), and (2) that the learning is typically done very quickly. In this work, we propose a two-phase, autonomous imitation learning technique called behavioral cloning from observation (BCO), that aims to provide improved performance with respect to both of these aspects. First, we allow the agent to acquire experience in a self-supervised fashion. This experience is used to develop a model which is then utilized to learn a particular task by observing an expert perform that task without the knowledge of the specific actions taken. We experimentally compare BCO to imitation learning methods, including the state-of-the-art, generative adversarial imitation learning (GAIL) technique, and we show comparable task performance in several different simulation domains while exhibiting increased learning speed after expert trajectories become available.


title: Improve Uncertainty Estimation for Unknown Classes in Bayesian Neural Networks with Semi-Supervised /One Set Classification

abstract: Although deep neural network (DNN) has achieved many state-of-the-art results, estimating the uncertainty presented in the DNN model and the data is a challenging task. Problems related to uncertainty such as classifying unknown classes (class which does not appear in the training data) data as known class with high confidence, is critically concerned in the safety domain area (e.g, autonomous driving, medical diagnosis). In this paper, we show that applying current Bayesian Neural Network (BNN) techniques alone does not effectively capture the uncertainty. To tackle this problem, we introduce a simple way to improve the BNN by using one class classification (in this paper, we use the term "set classification" instead). We empirically show the result of our method on an experiment which involves three datasets: MNIST, notMNIST and FMNIST.


title: Motion Planning Among Dynamic, Decision-Making Agents with Deep Reinforcement Learning

abstract: Robots that navigate among pedestrians use collision avoidance algorithms to enable safe and efficient operation. Recent works present deep reinforcement learning as a framework to model the complex interactions and cooperation. However, they are implemented using key assumptions about other agents' behavior that deviate from reality as the number of agents in the environment increases. This work extends our previous approach to develop an algorithm that learns collision avoidance among a variety of types of dynamic agents without assuming they follow any particular behavior rules. This work also introduces a strategy using LSTM that enables the algorithm to use observations of an arbitrary number of other agents, instead of previous methods that have a fixed observation size. The proposed algorithm outperforms our previous approach in simulation as the number of agents increases, and the algorithm is demonstrated on a fully autonomous robotic vehicle traveling at human walking speed, without the use of a 3D Lidar.


title: Systematic Study of Weather Variables for Rainfall Detection

abstract: Numerous weather parameters affect the occurrence and amount of rainfall. Therefore, it is important to study these parameters and their interdependency. In this paper, different weather and time-related variables -- relative humidity, solar radiation, temperature, dew point, day-of-year, and time-of-day are analyzed systematically using Principal Component Analysis (PCA). We found that four principal components explain a cumulative variance of 85%. The first two principal components are applied to distinguish rain and no-rain scenarios as well. We conclude that all 7 variables have similar contribution towards rainfall detection.


title: Cone points of Brownian motion in arbitrary dimension

abstract: We show that the convex hull of the path of Brownian motion in $n$-dimensions, up to time $1$, is a smooth set. As a consequence, we conclude that a Brownian motion in any dimension almost surely has no cone points for any cone whose dual cone is nontrivial.


title: A Numerical Study of Steklov Eigenvalue Problem via Conformal Mapping

abstract: In this paper, a spectral method based on conformal mappings is proposed to solve Steklov eigenvalue problems and their related shape optimization problems in two dimensions. To apply spectral methods, we first reformulate the Steklov eigenvalue problem in the complex domain via conformal mappings. The eigenfunctions are expanded in Fourier series so the discretization leads to an eigenvalue problem for coefficients of Fourier series. For shape optimization problem, we use the gradient ascent approach to find the optimal domain which maximizes $k-$th Steklov eigenvalue with a fixed area for a given $k$. The coefficients of Fourier series of mapping functions from a unit circle to optimal domains are obtained for several different $k$


title: Causal programming: inference with structural causal models as finding instances of a relation

abstract: This paper proposes a causal inference relation and causal programming as general frameworks for causal inference with structural causal models. A tuple, $\langle M, I, Q, F \rangle$, is an instance of the relation if a formula, $F$, computes a causal query, $Q$, as a function of known population probabilities, $I$, in every model entailed by a set of model assumptions, $M$. Many problems in causal inference can be viewed as the problem of enumerating instances of the relation that satisfy given criteria. This unifies a number of previously studied problems, including causal effect identification, causal discovery and recovery from selection bias. In addition, the relation supports formalizing new problems in causal inference with structural causal models, such as the problem of research design. Causal programming is proposed as a further generalization of causal inference as the problem of finding optimal instances of the relation, with respect to a cost function.


title: A Potential Low Cost Remote Sensing Using GPS Derived PWV

abstract: In this paper, the Precipitable Water Vapor (PWV) content of the atmosphere is derived using the Global Positioning System (GPS) signal delays. The PWV values from GPS are calculated at different elevation cut-off angles. It was found that the significant range of elevation cut-off angles is from 5 degrees to 50 degrees. The PWV values calculated from GPS using varying cut-off angles from this range were then compared to the PWV values calculated using the radiosonde data. The correlation coefficient and the Root Mean Square (RMS) error between the GPS and radiosonde derived PWV decreases with the increasing cut-off angle and the distance between the two. The seasonal parameters also effect the relation between the two.


title: Directed Chain Stochastic Differential Equations

abstract: We propose a particle system of diffusion processes coupled through a chain-like network structure described by an infinite-dimensional, nonlinear stochastic differential equation of McKean-Vlasov type. It has both (i) a local chain interaction and (ii) a mean-field interaction. It can be approximated by a limit of finite particle systems, as the number of particles goes to infinity. Due to the local chain interaction, propagation of chaos does not necessarily hold. Furthermore, we exhibit a dichotomy of presence or absence of mean-field interaction, and we discuss the problem of detecting its presence from the observation of a single component process.


title: MTFH: A Matrix Tri-Factorization Hashing Framework for Efficient Cross-Modal Retrieval

abstract: Hashing has recently sparked a great revolution in cross-modal retrieval because of its low storage cost and high query speed. Recent cross-modal hashing methods often learn unified or equal-length hash codes to represent the multi-modal data and make them intuitively comparable. However, such unified or equal-length hash representations could inherently sacrifice their representation scalability because the data from different modalities may not have one-to-one correspondence and could be encoded more efficiently by different hash codes of unequal lengths. To mitigate these problems, this paper exploits a related and relatively unexplored problem: encode the heterogeneous data with varying hash lengths and generalize the cross-modal retrieval in various challenging scenarios. To this end, a generalized and flexible cross-modal hashing framework, termed Matrix Tri-Factorization Hashing (MTFH), is proposed to work seamlessly in various settings including paired or unpaired multi-modal data, and equal or varying hash length encoding scenarios. More specifically, MTFH exploits an efficient objective function to flexibly learn the modality-specific hash codes with different length settings, while synchronously learning two semantic correlation matrices to semantically correlate the different hash representations for heterogeneous data comparable. As a result, the derived hash codes are more semantically meaningful for various challenging cross-modal retrieval tasks. Extensive experiments evaluated on public benchmark datasets highlight the superiority of MTFH under various retrieval scenarios and show its competitive performance with the state-of-the-arts.


title: A single-photon switch and transistor enabled by a solid-state quantum memory

abstract: Single-photon switches and transistors generate strong photon-photon interactions that are essential for quantum circuits and networks. However, to deterministically control an optical signal with a single photon requires strong interactions with a quantum memory, which have been lacking in a solid-state platform. We realize a single-photon switch and transistor enabled by a solid-state quantum memory. Our device consists of a semiconductor spin qubit strongly coupled to a nanophotonic cavity. The spin qubit enables a single gate photon to switch a signal field containing up to an average of 27.7 photons, with a switching time of 63 ps. Our results show that semiconductor nanophotonic devices can produce strong and controlled photon-photon interactions that could enable high-bandwidth photonic quantum information processing.

categories: quant-ph cond-mat.mes-hall physics.app-ph physics.optics


title: Characterizing the Usage, Evolution and Impact of Java Annotations in Practice

abstract: Annotations have been formally introduced into Java since Java 5. Since then, annotations have been widely used by the Java community for different purposes, such as compiler guidance and runtime processing. Despite the ever-growing use, there is still limited empirical knowledge about the actual usage of annotations in practice, the changes made to annotations during software evolution, and the potential impact of annotations on code quality. To fill this gap, we perform the first large-scale empirical study about Java annotations on 1,094 notable open-source projects hosted on GitHub. Our study systematically investigates annotation usage, annotation evolution, and annotation impact, and generates 10 novel and important findings. We also present the implications of our findings, which shed light for developers, researchers, tool builders, and language or library designers in order to improve all facets of Java annotation engineering.


title: Exploiting the DRAM Microarchitecture to Increase Memory-Level Parallelism

abstract: This paper summarizes the idea of Subarray-Level Parallelism (SALP) in DRAM, which was published in ISCA 2012, and examines the work's significance and future potential. Modern DRAMs have multiple banks to serve multiple memory requests in parallel. However, when two requests go to the same bank, they have to be served serially, exacerbating the high latency of on-chip memory. Adding more banks to the system to mitigate this problem incurs high system cost. Our goal in this work is to achieve the benefits of increasing the number of banks with a low-cost approach. To this end, we propose three new mechanisms, SALP-1, SALP-2, and MASA (Multitude of Activated Subarrays), to reduce the serialization of different requests that go to the same bank. The key observation exploited by our mechanisms is that a modern DRAM bank is implemented as a collection of subarrays that operate largely independently while sharing few global peripheral structures. Our three proposed mechanisms mitigate the negative impact of bank serialization by overlapping different components of the bank access latencies of multiple requests that go to different subarrays within the same bank. SALP-1 requires no changes to the existing DRAM structure, and needs to only reinterpret some of the existing DRAM timing parameters. SALP-2 and MASA require only modest changes (< 0.15% area overhead) to the DRAM peripheral structures, which are much less design constrained than the DRAM core. Our evaluations show that SALP-1, SALP-2 and MASA significantly improve performance for both single-core systems (7%/13%/17%) and multi-core systems (15%/16%/20%), averaged across a wide range of workloads. We also demonstrate that our mechanisms can be combined with application-aware memory request scheduling in multicore systems to further improve performance and fairness.


title: Estimation of Power System Inertia Using Nonlinear Koopman Modes

abstract: We report a new approach to estimating power system inertia directly from time-series data on power system dynamics. The approach is based on the so-called Koopman Mode Decomposition (KMD) of such dynamic data, which is a nonlinear generalization of linear modal decomposition through spectral analysis of the Koopman operator for nonlinear dynamical systems. The KMD-based approach is thus applicable to dynamic data that evolve in nonlinear regime of power system characteristics. Its effectiveness is numerically evaluated with transient stability simulations of the IEEE New England test system.


title: Comparison of physical and observational galaxy cluster modelling

abstract: We present a comparison between three cluster models applied to data obtained by the Arcminute Microkelvin Imager radio interferometer system. The physical model (PM) parameterises a cluster in terms of its physical quantities to model the dark matter and baryonic components of the cluster using NFW and GNFW profiles respectively. The observational models (OM I and OM II) model only the gas content of the cluster. The two OMs vary only in the priors they use in Bayesian inference: OM I has a joint prior on angular radius $\theta$ and integrated Comptonisation $Y$, derived from simulations, while OM II uses separable priors on $\theta$ and $Y$ which are based on calculations of the physical model. For the comparison we consider a sample of $54$ clusters which are a subsample of the second Planck catalogue of Sunyaev-Zel'dovich sources. We first compare the $Y$ estimates of the three models, and find that the PM generally yields lower estimates relative to the OMs. We then compute the Earth Mover's Distance between the $\theta$ - $Y$ posterior distributions obtained from each model for each cluster, and find that the two models which are most discrepant are PM and OM I. Finally, we compare the Bayesian evidence values obtained from each model for each cluster. OM I generally provides the best fit to the data but not at a statistically significant level, according to the Jeffreys scale. The highest evidence ratio obtained is actually in favour of the PM over OM I.


title: Exploiting timing information in event-triggered stabilization of linear systems with disturbances

abstract: In the same way that subsequent pauses in spoken language are used to convey information, it is also possible to transmit information in communication networks not only by message content, but also with its timing. This paper presents an event-triggering strategy that utilizes timing information by transmitting in a state-dependent fashion. We consider the stabilization of a continuous-time, time-invariant, linear plant over a digital communication channel with bounded delay and subject to bounded plant disturbances and establish two main results. On the one hand, we design an encoding-decoding scheme that guarantees a sufficient information transmission rate for stabilization. On the other hand, we determine a lower bound on the information transmission rate necessary for stabilization by any control policy.


title: Light (and darkness) from a light hidden Higgs

abstract: We examine light diphoton signals from extended Higgs sectors possessing (approximate) fermiophobia with Standard Model (SM) fermions as well as custodial symmetry. This class of Higgs sectors can be realized in various beyond the SM scenarios and is able to evade many experimental limits, even at light masses, which are otherwise strongly constraining. Below the $WW$ threshold, the most robust probes of the neutral component are di and multi-photon searches. Utilizing the dominant Drell-Yan Higgs pair production mechanism and combining it with updated LHC diphoton data, we derive robust upper bounds on the allowed branching ratio for masses between $45 - 160$ GeV. Furthermore, masses $\lesssim 110$ GeV are ruled out if the coupling to photons is dominated by $W$ boson loops. We then examine two simple ways to evade these bounds via cancellations between different loop contributions or by introducing decays into an invisible sector. This also opens up the possibility of future LHC diphoton signals from a light hidden Higgs sector. As explicit realizations, we consider the Georgi-Machacek (GM) and Supersymmetric GM (SGM) models which contain custodial (degenerate) Higgs bosons with suppressed couplings to SM fermions and, in the SGM model, a (neutralino) LSP. We also breifly examine the recent $\sim 3\sigma$ CMS diphoton excess at $\sim 95$ GeV.


title: #ILookLikeAnEngineer: Using Social Media Based Hashtag Activism Campaigns as a Lens to Better Understand Engineering Diversity Issues

abstract: Each year, significant investment of time and resources is made to improve diversity within engineering across a range of federal and state agencies, private/not-for-profit organizations, and foundations. In spite of decades of investments, efforts have not yielded desired returns - participation by minorities continues to lag at a time when STEM workforce requirements are increasing. In recent years a new stream of data has emerged - online social networks, including Twitter, Facebook, and Instagram - that act as a key sensor of social behavior and attitudes of the public. Almost 87% of the American population now participates in some form of social media activity. Consequently, social networking sites have become powerful indicators of social action and social media data has shown significant promise for studying many issues including public health communication, political campaign, humanitarian crisis, and, activism. We argue that social media data can likewise be leveraged to better understand and improve engineering diversity. As a case study to illustrate the viability of the approach, we present findings from a campaign, #ILookLikeAnEngineer (using Twitter data - 19,354 original tweets and 29,529 retweets), aimed at increasing gender diversity in the engineering workplace. The campaign provided a continuous momentum to the overall effort to increase diversity and novel ways of connecting with relevant audience. Our analysis demonstrates that diversity initiatives related to STEM attract voices from various entities including individuals, large corporations, media outlets, and community interest groups.


title: Fast-converging Conditional Generative Adversarial Networks for Image Synthesis

abstract: Building on top of the success of generative adversarial networks (GANs), conditional GANs attempt to better direct the data generation process by conditioning with certain additional information. Inspired by the most recent AC-GAN, in this paper we propose a fast-converging conditional GAN (FC-GAN). In addition to the real/fake classifier used in vanilla GANs, our discriminator has an advanced auxiliary classifier which distinguishes each real class from an extra `fake' class. The `fake' class avoids mixing generated data with real data, which can potentially confuse the classification of real data as AC-GAN does, and makes the advanced auxiliary classifier behave as another real/fake classifier. As a result, FC-GAN can accelerate the process of differentiation of all classes, thus boost the convergence speed. Experimental results on image synthesis demonstrate our model is competitive in the quality of images generated while achieving a faster convergence rate.


title: Fluctuations of ergodic sums on periodic orbits under specification

abstract: We study the fluctuations of ergodic sums using global and local specifications on periodic points. We obtain Lindeberg-type central limit theorems in both situations. As an application, when the system possesses a unique measure of maximal entropy, we show weak convergence of ergodic sums to a mixture of normal distributions. Our results suggest decomposing the variances of ergodic sums according to global and local sources.


title: Lossy Transmission of Correlated Sources over Two-Way Channels

abstract: Achievability and converse results for the lossy transmission of correlated sources over Shannon's two-way channels (TWCs) are presented. A joint source-channel coding theorem for independent sources and TWCs for which adaptation cannot enlarge the capacity region is also established. We further investigate the optimality of scalar coding for TWCs with discrete modulo additive noise as well as additive white Gaussian noise. Comparing the distortion of scalar coding with the derived bounds, we observe that scalar coding achieves the minimum distortion over both families of TWCs for independent and uniformly distributed sources and independent Gaussian sources.


title: Introduction of a Hybrid Monitor to Cyber-Physical Systems

abstract: Computing and technology have vastly changed since the introduction of firewall technology in 1988. The internet has grown from a simple network of networks to a cyber and physical entity that encompasses the entire planet. Cyber-physical systems(CPS) now control most of the day to day operations of human civilization from autonomous cars to nuclear energy plants. While phenomenal, this growth spurt has created new security threats. These are threats that cannot be blocked by a firewall for they are not only cyber but cyber-physical. In light of these new cyber-physical threats, this text proposes a security measure that promises to enhance the security of cyber-physical systems. Using theoretical cyber, physical, and cyber-physical attack scenarios, this text will highlight the need for some sort of monitor in cyber-physical systems as an extra security measure. Additionally, this text will illustrate the efficiency of said monitor using a Shannon entropy proof, and a multiple security domain nondeducibility(MSDND) proof.


title: Biocompatible Two-dimensional Titanium Nanosheets for Efficient Plasmonic Photothermal Cancer Therapy

abstract: Photothermal therapy (PTT) has shown significant potential in cancer treatment. However, developing nanomaterial-based photothermal agents with good biocompatibility and high photothermal conversion efficiency (PTCE) remains a key challenge. Titanium has been widely employed as biomedical materials based on their excellent biocompatibility. In this work, the titanium based plasmonic photothermal therapy (Ti-PPTT) is demonstrated. Using the liquid-phase exfoliation (LPE), the metallic Ti can be fabricated into the two-dimensional (2D) nanosheets (NSs), similar to exfoliating other layered 2D materials. The 2D Ti NSs exhibited good biocompatibility, high extinction coefficient of 20.8 Lg-1cm1 and high PTCE of 73.4%, owing to localized surface plasmon resonances (LSPR); which is significantly higher than other photothermal agents, including Au (21%), MoS2 (24.4%), BP (28.4%) and Ti3C2 MXene (30.6%). Consequently, 2D Ti-PPTT exhibited a notable therapeutic effect in a human hepatocellular carcinoma model without side effects. Our study could pave a new avenue for PTT using metal Ti and arouse a wide interest in the potential efficient PTT for other elemental transition metals owing to their LSPR. Furthermore, the efficient photothermal effect and environmental friendliness of Ti NSs make them deserve more research toward other application, such as solar energy harvesting and sea water desalination.


title: Towards Predicting Efficient and Anonymous Tor Circuits

abstract: The Tor anonymity system provides online privacy for millions of users, but it is slower than typical web browsing. To improve Tor performance, we propose PredicTor, a path selection technique that uses a Random Forest classifier trained on recent measurements of Tor to predict the performance of a proposed path. If the path is predicted to be fast, then the client builds a circuit using those relays. We implemented PredicTor in the Tor source code and show through live Tor experiments and Shadow simulations that PredicTor improves Tor network performance by 11% to 23% compared to Vanilla Tor and by 7% to 13% compared to the previous state-of-the-art scheme. Our experiments show that PredicTor is the first path selection algorithm to dynamically avoid highly congested nodes during times of high congestion and avoid long-distance paths during times of low congestion. We evaluate the anonymity of PredicTor using standard entropy-based and time-to-first-compromise metrics, but these cannot capture the possibility of leakage due to the use of location in path selection. To better address this, we propose a new anonymity metric called CLASI: Client Autonomous System Inference. CLASI is the first anonymity metric in Tor that measures an adversary's ability to infer client Autonomous Systems (ASes) by fingerprinting circuits at the network, country, and relay level. We find that CLASI shows anonymity loss for location-aware path selection algorithms, where entropy-based metrics show little to no loss of anonymity. Additionally, CLASI indicates that PredicTor has similar sender AS leakage compared to the current Tor path selection algorithm due to PredicTor building circuits that are independent of client location.


title: Unsupervised Feature Learning via Non-Parametric Instance-level Discrimination

abstract: Neural net classifiers trained on data with annotated class labels can also capture apparent visual similarity among categories without being directed to do so. We study whether this observation can be extended beyond the conventional domain of supervised learning: Can we learn a good feature representation that captures apparent similarity among instances, instead of classes, by merely asking the feature to be discriminative of individual instances? We formulate this intuition as a non-parametric classification problem at the instance-level, and use noise-contrastive estimation to tackle the computational challenges imposed by the large number of instance classes. Our experimental results demonstrate that, under unsupervised learning settings, our method surpasses the state-of-the-art on ImageNet classification by a large margin. Our method is also remarkable for consistently improving test performance with more training data and better network architectures. By fine-tuning the learned feature, we further obtain competitive results for semi-supervised learning and object detection tasks. Our non-parametric model is highly compact: With 128 features per image, our method requires only 600MB storage for a million images, enabling fast nearest neighbour retrieval at the run time.


title: Terahertz-based attosecond metrology of relativistic electron beams

abstract: Photons, electrons, and their interplay are at the heart of photonic devices and modern instruments for ultrafast science [1-10]. Nowadays, electron beams of the highest intensity and brightness are created by photoemission with short laser pulses, and then accelerated and manipulated using GHz radiofrequency electromagnetic fields. The electron beams are utilized to directly map photoinduced dynamics with ultrafast electron scattering techniques, or further engaged for coherent radiation production at up to hard X-ray wavelengths [11-13]. The push towards improved timing precision between the electron beams and pump optical pulses though, has been stalled at the few tens of femtosecond level, due to technical challenges with synchronizing the high power rf fields with optical sources. Here, we demonstrate attosecond electron metrology using laser-generated single-cycle THz radiation, which is intrinsically phase locked to the optical drive pulses, to manipulate multi-MeV relativistic electron beams. Control and single-shot characterization of bright electron beams at this unprecedented level open up many new opportunities for atomic visualization.


title: Reconstruction of a compactly supported sound profile in the presence of a random background medium

abstract: In this paper, we present algorithms for reconstructing an unknown compact scatterer embedded in a random noisy background medium, given measurements of the scattered field and information about the background medium and the sound profile. We present six different methods for the solution of this inverse problem using different amounts of scattered data and prior information about the random background medium and the scatterer. The different inversion algorithms are defined by a combination of stochastic programming methods and Bayesian formulation. Our basic results show that if we have data for just one instance of the random background medium the best strategy is to invert for both random medium and unknown scatterer with appropriate regularization. However, if we have data for multiple instances of the medium it may be worth solving a coupled set of multiple inverse problems. We present several numerical results for inverting for various scatterer geometries under different inversion scenarios. The main take-away of our study is that one should invert for both unknown scatterer and random medium, with appropriate, prior-information based regularization. Furthermore, if data from multiple realizations of the background medium is available, then it may be beneficial to combine results from multiple inversions.

categories: math.NA math-ph math.MP math.OC physics.comp-ph


title: The center of mass motion of short-range correlated nucleon pairs studied via the A(e,e'pp) reaction

abstract: Short-Range Correlated (SRC) nucleon pairs are a vital part of the nucleus, accounting for almost all nucleons with momentum greater than the Fermi momentum (kF). A fundamental characteristic of SRC pairs is having large relative momenta as compared to kF, and smaller center-of-mass (c.m.) which indicates a small separation distance between the nucleons in the pair. Determining the c.m. momentum distribution of SRC pairs is essential for understanding their formation process. We report here on the extraction of the c.m. motion of proton-proton (pp) SRC pairs in Carbon and, for the first time in heavier and ansymetric nuclei: aluminum, iron, and lead, from measurements of the A(e,e'pp) reaction. We find that the pair c.m. motion for these nuclei can be described by a three-dimensional Gaussian with a narrow width ranging from 140 to 170 MeV/c, approximately consistent with the sum of two mean-field nucleon momenta. Comparison with calculations appears to show that the SRC pairs are formed from mean-field nucleons in specific quantum states.


title: Grand Lebesgue Spaces norm estimates for multivariate functional operations

abstract: We intend to derive the moment and exponential tail estimates for the so-called bivariate or more generally multivariate functional operations, not necessary to be linear or even multilinear. We will show also the strong or at last weak (i.e. up to multiplicative constant) exactness of obtained estimates.


title: Caracterizaci\'on de galaxias el\'ipticas en contexto cosmol\'ogico

abstract: We present preliminary results from a project aimed at exploring elliptical galaxies in numerical simulations within cosmological context to provide possible formation scenarios for samples of observed galaxies. We studied the integrated properties of such simulated systems in terms of mass and at redshift z=0. Some differences were found between the simulated color-magnitude diagram and observational results in the Virgo cluster.


title: Various Approaches to Aspect-based Sentiment Analysis

abstract: The problem of aspect-based sentiment analysis deals with classifying sentiments (negative, neutral, positive) for a given aspect in a sentence. A traditional sentiment classification task involves treating the entire sentence as a text document and classifying sentiments based on all the words. Let us assume, we have a sentence such as "the acceleration of this car is fast, but the reliability is horrible". This can be a difficult sentence because it has two aspects with conflicting sentiments about the same entity. Considering machine learning techniques (or deep learning), how do we encode the information that we are interested in one aspect and its sentiment but not the other? Let us explore various pre-processing steps, features, and methods used to facilitate in solving this task.


title: Extended-Kalman-filter-based dynamic mode decomposition for simultaneous system identification and denoising

abstract: A new dynamic mode decomposition (DMD) method is introduced for simultaneous online system identification and denoising in conjunction with the adoption of an extended Kalman filter algorithm\color{black}. The present paper explains the extended-Kalman-filter-based DMD (EKFDMD) algorithm and illustrates that EKFDMD requires significant numerical resources for many-degree-of-freedom (many-DoF) problems and that the combination with truncated proper orthogonal decomposition (trPOD) helps us to apply the EKFDMD algorithm to many-DoF problems. The numerical experiments of the present study illustrate that EKFDMD can estimate eigenvalues from a noisy dataset with a few DoFs better than or as well as the existing algorithms, whereas EKFDMD can also denoise the original dataset online. In particular, EKFDMD performs better than existing algorithms for the case in which system noise is present. The EKFDMD with trPOD can be successfully applied to many-DoF problems, including a fluid-problem example, and the results reveal the superior performance of system identification and denoising. Note that these superior results are obtained despite being an online procedure.


title: Reply to "Comment on 'Modified quantum-speed-limit bounds for open quantum dynamics in quantum channels'"

abstract: The authors of the comment[Phys. Rev. A 97, 046101 (2018)] raise that the inconsistency in calculating some common quantum-speed-limit (QSL) bounds, which is presented in our paper [Phys. Rev. A 95, 052118 (2017)], does not exist in their paper [Phys. Rev. A 94, 052125 (2016)]. Therefore they insist that their criticism to some QSL bounds is still valid. We demonstrate all the QSL bounds mentioned in the comment are similar in essence. We also show the inconsistency which is presented in their original paper can not be used to support their criticism. Furthermore, we exhibit although the inconsistency presented in our paper is not a same one to which is presented by the authors of the comment, it exists and be unavoidable in their example. Accordingly, we believe the result in our paper is usable in numerical calculations.


title: Designing the Game to Play: Optimizing Payoff Structure in Security Games

abstract: Effective game-theoretic modeling of defender-attacker behavior is becoming increasingly important. In many domains, the defender functions not only as a player but also the designer of the game's payoff structure. We study Stackelberg Security Games where the defender, in addition to allocating defensive resources to protect targets from the attacker, can strategically manipulate the attacker's payoff under budget constraints in weighted L^p-norm form regarding the amount of change. Focusing on problems with weighted L^1-norm form constraint, we present (i) a mixed integer linear program-based algorithm with approximation guarantee; (ii) a branch-and-bound based algorithm with improved efficiency achieved by effective pruning; (iii) a polynomial time approximation scheme for a special but practical class of problems. In addition, we show that problems under budget constraints in L^0-norm form and weighted L^\infty-norm form can be solved in polynomial time. We provide an extensive experimental evaluation of our proposed algorithms.


title: AutoTiering: Automatic Data Placement Manager in Multi-Tier All-Flash Datacenter

abstract: In the year of 2017, the capital expenditure of Flash-based Solid State Drivers (SSDs) keeps declining and the storage capacity of SSDs keeps increasing. As a result, the "selling point" of traditional spinning Hard Disk Drives (HDDs) as a backend storage - low cost and large capacity - is no longer unique, and eventually they will be replaced by low-end SSDs which have large capacity but perform orders of magnitude better than HDDs. Thus, it is widely believed that all-flash multi-tier storage systems will be adopted in the enterprise datacenters in the near future. However, existing caching or tiering solutions for SSD-HDD hybrid storage systems are not suitable for all-flash storage systems. This is because that all-flash storage systems do not have a large speed difference (e.g., 10x) among each tier. Instead, different specialties (such as high performance, high capacity, etc.) of each tier should be taken into consideration. Motivated by this, we develop an automatic data placement manager called "AutoTiering" to handle virtual machine disk files (VMDK) allocation and migration in an all-flash multi-tier datacenter to best utilize the storage resource, optimize the performance, and reduce the migration overhead. AutoTiering is based on an optimization framework, whose core technique is to predict VM's performance change on different tiers with different specialties without conducting real migration. As far as we know, AutoTiering is the first optimization solution designed for all-flash multi-tier datacenters. We implement AutoTiering on VMware ESXi, and experimental results show that it can significantly improve the I/O performance compared to existing solutions.


title: Coherence distillation machines are impossible in quantum thermodynamics

abstract: The role of coherence in quantum thermodynamics has been extensively studied in the recent years and it is now well-understood that coherence between different energy eigenstates is a resource independent of other thermodynamics resources, such as work. A fundamental remaining open question is whether the laws of quantum mechanics and thermodynamics allow the existence of a coherence distillation machine, i.e., a machine that, by possibly consuming work, obtains pure coherent states from mixed states, at a nonzero rate. This is related to another fundamental question: Starting from many copies of noisy quantum clocks which are (approximately) synchronized with a reference clock, can one distill synchronized clocks in pure states, at a non-zero rate? Surprisingly, we find that the answer to both questions is negative for generic (full-rank) mixed states. However, at the same time, it is possible to distill a sub-linear number of pure coherent states with a vanishing error.


title: The 2-adic complexity of a class of binary sequences with optimal autocorrelation magnitude

abstract: Recently, a class of binary sequences with optimal autocorrelation magnitude has been presented by Su et al. based on interleaving technique and Ding-Helleseth-Lam sequences (Des. Codes Cryptogr., https://doi.org/10.1007/s10623-017-0398-5). And its linear complexity has been proved to be large enough to resist the B-M Algorighm (BMA) by Fan (Des. Codes Cryptogr., https://doi.org/10.1007/s10623-018-0456-7). In this paper, we study the 2-adic complexity of this class of binary sequences. Our result shows that the 2-adic complexity of this class of sequence is no less than one half of its period, i.e., its 2-adic complexity is large enough to resist the Rational Aproximation Algorithm (RAA).


title: Physical modelling of galaxy clusters detected by Planck

abstract: We present a comparison of mass estimates for $54$ galaxy cluster candidates from the second Planck catalogue (PSZ2) of Sunyaev-Zel'dovich sources. We compare the mass values obtained with data taken from the Arcminute Microkelvin Imager (AMI) radio interferometer system and from the Planck satellite. The former of these uses a Bayesian analysis pipeline that parameterises a cluster in terms of its physical quantities, and models the dark matter & baryonic components of a cluster using NFW and GNFW profiles respectively. Our mass estimates derived from Planck data are obtained from the results of the Bayesian detection algorithm PowellSnakes (PwS), are based on the methodology detailed in the PSZ2 paper, and produce two sets of mass estimates; one estimate is calculated directly from the angular radius $\theta$ - integrated Comptonisation parameter $Y$ posterior distributions, and the other uses a `slicing function' to provide information on $\theta$ based on X-ray measurements and previous Planck mission samples. We find that for $37$ of the clusters, the AMI mass estimates are lower than both values obtained from Planck data. However the AMI and slicing function estimates are within one combined standard deviation of each other for $31$ clusters. We also generate cluster simulations based on the slicing-function mass estimates, and analyse them in the same way as we did the real AMI data. We find that inclusion in the simulations of radio-source confusion & CMB noise and measurable radio-sources causes AMI mass estimates to be systematically low.


title: Broken mirror symmetry tuned topological transport in PbTe/SnTe heterostructures

abstract: The tunability of topological surface states and controllable opening of the Dirac gap are of great importance to the application of topological materials. In topological crystalline insulators (TCIs), crystal symmetry and topology of electronic bands intertwine to create topological surface states and thus the Dirac gap can be modulated by symmetry breaking structural changes of lattice. By transport measurement on heterostructures composed of p-type topological crystalline insulator SnTe and n-type conventional semiconductor PbTe, here we show a giant linear magnetoresistance (up to 2150% under 14 T at 2 K) induced by the Dirac Fermions at the PbTe/SnTe interface. In contrast, PbTe/SnTe samples grown at elevated temperature exhibit a cubic-to-rhombohedral structural phase transition of SnTe lattice below 100 K and weak antilocalization effect. Such distinctive magneto-resistance behavior is attributed to the broken mirror symmetry and gapping of topological surface states. Our work provides a promising application for future magneto-electronics and spintronics based on TCI heterostructures.


title: Compressed Coded Distributed Computing

abstract: Communication overhead is one of the major performance bottlenecks in large-scale distributed computing systems, in particular for machine learning applications. Conventionally, compression techniques are used to reduce the load of communication by combining intermediate results of the same computation task as much as possible. Recently, via the development of coded distributed computing (CDC), it has been shown that it is possible to enable coding opportunities across intermediate results of different computation tasks to further reduce the communication load. We propose a new scheme, named compressed coded distributed computing (in short, compressed CDC), which jointly exploits the above two techniques (i.e., combining the intermediate results of the same computation and coding across the intermediate results of different computations) to significantly reduce the communication load for computations with linear aggregation (reduction) of intermediate results in the final stage that are prevalent in machine learning (e.g., distributed training algorithms where partial gradients are computed distributedly and then averaged in the final stage). In particular, compressed CDC first compresses/combines several intermediate results for a single computation, and then utilizes multiple such combined packets to create a coded multicast packet that is simultaneously useful for multiple computations. We characterize the achievable communication load of compressed CDC and show that it substantially outperforms both combining methods and CDC scheme.


title: Cucker-Smale model with a bonding force and a singular interaction kernel

abstract: We prove the lack of asymptotic collisions between particles following the Cucker-Smale flocking model with a bonding force and its simplification. Moreover, we prove that in the case of the CSB model with a singular communication weight, finite-in-time collisions are impossible. Consequently, we establish existence of the global-in-time minimal distance between the particles. Furthermore, we show that asymptotic distribution of particles is confined within a ball of a given radius.


title: Modal Barriers to Controllability in Networks with Linearly-Coupled Homogeneous Subsystems

abstract: The controllability of networks comprising homogeneous multi-input multi-output linear subsystems with linear couplings among them is examined, from a modal perspective. The eigenvalues of the network model are classified into two groups: 1) network-invariant modes, which have very high multiplicity regardless of the network's topology; and 2) special-repeat modes, which are repeated for only particular network topologies and have bounded multiplicity. Characterizations of both types of modes are obtained, in part by drawing on decentralized-fixed-mode and generalized-eigenvalue concepts. We demonstrate that network-invariant modes necessarily prevent controllability unless a sufficient fraction of the subsystems are actuated, both in the network as a whole and in any weakly-connected partition. In contrast, the multiplicities of special-repeat modes have no influence on controllability. Our analysis highlights a distinction between built networks where subsystem interfaces may be unavoidable barriers to controllability, and multi-agent systems where protocols can be designed to ensure controllability.


abstract: We work on the Lagrangian formulation of the Palatini action. We find that we must assume the metric compatibility condition for the Palatini action to describe General Relativity, which condition should hold in quantization. We find that we must also assume one of the torsion zero condition or the tetrad compatibility condition. Our results will hold for any action in terms of the tetrad and the internal connection which describes General Relativity.


title: The continuity of additive and convex functions, which are upper bounded on non-flat continua in $\mathbb R^n$

abstract: We prove that for a continuum $K\subset \mathbb R^n$ the sum $K^{+n}$ of $n$ copies of $K$ has non-empty interior in $\mathbb R^n$ if and only if $K$ is not flat in the sense that the affine hull of $K$ coincides with $\mathbb R^n$. Moreover, if $K$ is locally connected and each non-empty open subset of $K$ in not flat, then for any (analytic) non-meager subset $A\subset K$ the sum $A^{+n}$ of $n$ copies of $A$ is not meager in $\mathbb R^n$ (and then the sum $A^{+2n}$ of $2n$ copies of the analytic set $A$ has non-empty interior in $\mathbb R^n$ and the set $(A-A)^{+n}$ is a neighborhood of zero in $\mathbb R^n$). This implies that a mid-convex function $f:D\to\mathbb R$, defined on an open convex subset $D\subset\mathbb R^n$ is continuous if it is upper bounded on some non-flat continuum in $D$ or on a non-meager analytic subset of a locally connected nowhere flat subset of $D$.


title: A generalization of the Goresky-Klapper conjecture, Part I

abstract: For a fixed integer $n\geq 2,$ we show that a permutation of the least residues mod $p$ of the form $f(x)=Ax^k$ mod $p$ cannot map a residue class mod $n$ to just one residue class mod $n$ once $p$ is sufficiently large, other than the maps $f(x)=\pm x$ mod $p$ when $n$ is even and $f(x)=\pm x$ or $\pm x^{(p+1)/2}$ mod $p$ when $n$ is odd.


title: Some new inequalities for the $q$-gamma and related functions

abstract: We consider convexity and monotonicity properties for some functions related to the $q$-gamma function. As applications, we give a variety of inequalities for the $q$-gamma function, the $q$-digamma function $\psi_q(x)$, and the $q$-series. Among other consequences, we improve a result of Azler~and~Grinshpan about the zeros of the function $\psi_q(x)$. We use $q$-analogues for the Gauss multiplication formula to put in closed form members of some of our inequalities.


title: Probing the basis set limit for thermochemical contributions of inner-shell correlation: Balance of core-core and core-valence contributions

abstract: The inner-shell correlation contributions to the total atomization energies (TAEs) of the W4-17 computational thermochemistry benchmark have been determined at the CCSD(T) level near the basis set limit using several families of core correlation basis sets, such as aug-cc-pCVnZ (n=3-6), aug-cc-pwCVnZ (n=3-5), and nZaPa-CV (n=3-5). The three families of basis sets agree very well with each other (0.01 kcal/mol RMS) when extrapolating from the two largest available basis sets: however, there are considerable differences in convergence behavior for the smaller basis sets. nZaPa-CV is superior for the core-core term and awCVnZ for the core-valence term. While the aug-cc-pwCV(T+d)Z basis set of Yockel and Wilson is superior to aug-cc-pwCVTZ, further extension of this family proved unproductive. The best compromise between accuracy and computational cost, in the context of high-accuracy computational thermochemistry methods such as W4 theory, is CCSD(T)/awCV{T,Q}Z, where the {T,Q} notation stands for extrapolation from the awCVTZ and awCVQZ basis set pair. For lower-cost calculations, a previously proposed combination of CCSD-F12b/cc-pCVTZ-F12 and CCSD(T)/pwCVTZ(no f) appears to 'give the best bang for the buck'. While core-valence correlation accounts for the lion's share of the inner shell contribution in first-row molecules, for second-row molecules core-core contributions may become important, particularly in systems like P4 and S4 with multiple adjacent second-row atoms. The average absolute core-core/core-valence ratio is 0.08 for the first-row species in W4-17, but 0.47 for the second-row subset.


title: Isomorphism problem and homological properties of DG free algebras

abstract: A differential graded (DG for short) free algebra $\mathcal{A}$ is a connected cochain DG algebra such that its underlying graded algebra is $$\mathcal{A}^{\#}=\k\langle x_1,x_2,\cdots, x_n\rangle,\,\, \text{with}\,\, |x_i|=1,\,\, \forall i\in \{1,2,\cdots, n\}.$$ We prove that the differential structures on DG free algebras are in one to one correspondence with the set of crisscross ordered $n$-tuples of $n\times n$ matrixes. We also give a criterion to judge whether two DG free algebras are isomorphic. As an application, we consider the case of $n=2$. Based on the isomorphism classification, we compute the cohomology graded algebras of non-trivial DG free algebras with $2$ generators, and show that all those non-trivial DG free algebras are Koszul and Calabi-Yau.


title: Pseudo-Dirac neutrinos from flavour dependent CP symmetry

abstract: Discrete residual symmetries and flavour dependent CP symmetries consistent with them have been used to constrain neutrino mixing angles and CP violating phases. We discuss here role of such CP symmetries in obtaining a pseudo-Dirac neutrino which can provide a pair of neutrinos responsible for the solar splitting. It is shown that if (a) $3\times 3$ Majorana neutrino matrix $M_\nu$ is invariant under a discrete $Z_2\times Z_2$ symmetry generated by $S_{1,2}$, (b) CP symmetry $X$ transform $M_\nu$ as $X^T M_\nu X=M_\nu^*$, and (c) $X$ and $S_{1,2}$ obey consistency conditions $X S_{1,2}^* X^\dagger=S_{2,1}$, then two of the neutrino masses are degenerate independent of specific forms of $X$, $S_1$ and $S_2$. Explicit examples of this result are discussed in the context of $\Delta(6 n^2)$ groups which can also be used to constrain neutrino mixing matrix $U$. Degeneracy in two of the masses does not allow complete determination of $U$ but it can also be fixed once the perturbations are introduced. We consider explicit perturbations which break $Z_2\times Z_2$ symmetries but respect CP. These are shown to remove the degeneracy and provide a predictive description of neutrino spectrum. In particular, a correlation $\sin 2\theta_{23}\sin\delta_{CP}=\pm {\rm Im}[p]$ is obtained between the atmospheric mixing angle $\theta_{23}$ and the CP violating phase $\delta_{CP}$ in terms of a group theoretically determined phase factor $p$. Experimentally interesting case $\theta_{23}=\frac{\pi}{4}$, $\delta_{CP}=\pm \frac{\pi}{2}$ emerges for groups which predict purely imaginary $p$. We present detailed predictions of the allowed ranges of neutrino mixing angles, phases and the lightest neutrino mass for three of the lowest $\Delta(6 n^2)$ groups with $n=2,4,6$.


title: Understanding doped perovskite ferroelectrics with defective dipole model

abstract: While doping is widely used for tuning physical properties of perovskites in experiments, it remains a challenge to exactly know how doping achieves the desired effects. Here, we propose an empirical and computationally tractable model to understand the effects of doping with Fe-doped BaTiO$_{3}$ as an example. This model assumes that the lattice sites occupied by Fe ion and its nearest six neighbors lose their ability to polarize, giving rise to a small cluster of defective dipoles. Employing this model in Monte-Carlo simulations, many important features like reduced polarization and the convergence of phase transition temperatures, which have been observed experimentally in acceptor doped systems, are successfully obtained. Based on microscopic information of dipole configurations, we provide insights into the driving forces behind doping effects and propose that active dipoles, which exist in proximity to the defective dipoles, can account for experimentally observed phenomena. Close attention to these dipoles are necessary to understand and predict doping effects.


title: Confluent terminating extensional lambda-calculi with surjective pairing and terminal type

abstract: For the lambda-calculus with surjective pairing and terminal type, Curien and Di Cosmo were inspired by Knuth-Bendix completion, and introduced a confluent rewriting system that (1) extends the naive rewriting system, and (2) is stable under contexts. The rewriting system has (i) a rule that rewrites term of a terminal type rewrites to a term constant *, unless the term is not *, (ii) rewrite rules for the extensionality of function types and product types, and rewrite rules mediating the rewrite rules (i) and (ii). Curien and Di Cosmo supposed that because of (iii), any reducibility method cannot prove the strong normalization (SN) of Curien-Di Cosmo's rewriting system, and they left the SN open. By relativizing Girard's reducibility method to the *-free terms, we prove SN of their rewriting, and SN of the extension by polymorphism. The relativization works because: for any SN term t, and for any variable z of terminal type not occurring in $t$, t with all the occurrences of * of terminal type replaced by the variable z is SN.


title: Derived Picard groups of homologically smooth Koszul DG algebras

abstract: In this paper, we show that the derived Picard group of a homologically smooth Koszul connected cochain DG algebra is isomorphic to the opposite group of the derived Picard group of its finite dimensional local Ext-algebra. As applications, we compute the derived Picard groups of some important DG algebras such as trivial DG polynomial algebras, trivial DG free algebras and several non-trivial DG down-up algebras and DG free algebras.


title: Energy-delay-cost Tradeoff for Task Offloading in Imbalanced Edge Cloud Based Computing

abstract: In this paper, the imbalance edge cloud based computing offloading for multiple mobile users (MUs) with multiple tasks per MU is studied. In which, several edge cloud servers (ECSs) are shared and accessed by multiple wireless access points (APs) with the backhaul links, and each MU has multiple computing intensive and latency critical tasks should be offloaded to execute, which involves both the AP association and ECS selection, with the objective of minimizing the offloading cost. Distinguished with existing research, besides the transmission delay and energy consumption from MU to AP, the ECS access-cost which characterizes the ECS access delay and (or) resource using cost is introduced, thus finally formulates the delay-energy-cost tradeoff based offloading cost criteria, for the MUs' offloading decision and resource allocation problems. In specific, in our system, the ECS access-cost depends on both the AP and ECS, which reflects the effects of different backhaul techniques used by these APs, and their negotiated payments of ECS resource using under different service level agreements. Both problems of minimizing the sum offloading costs for all MUs (efficiency-based) and minimizing the maximal offloading cost per MU (fairness-based) are discussed. Since these problems are all NP-hard. Therefore, some centralized and distributed heuristic algorithms are proposed to find the suboptimal solutions. Further analysis and numerical results are presented at last to demonstrate the performance of these algorithms from several aspects, such as efficiency, complexity and fairness.


title: Parallel Closed-Loop Connected Vehicle Simulator for Large-Scale Transportation Network Management: Challenges, Issues, and Solution Approaches

abstract: The augmented scale and complexity of urban transportation networks have significantly increased the execution time and resource requirements of vehicular network simulations, exceeding the capabilities of sequential simulators. The need for a parallel and distributed simulation environment is inevitable from a smart city perspective, especially when the entire city-wide information system is expected to be integrated with numerous services and ITS applications. In this paper, we present a conceptual model of an Integrated Distributed Connected Vehicle Simulator (IDCVS) that can emulate real-time traffic in a large metro area by incorporating hardware-in-the-loop simulation together with the closed-loop coupling of SUMO and OMNET++. We also discuss the challenges, issues, and solution approaches for implementing such a parallel closed-loop transportation network simulator by addressing transportation network partitioning problems, synchronization, and scalability issues. One unique feature of the envisioned integrated simulation tool is that it utilizes the vehicle traces collected through multiple roadway sensors-DSRC onboard unit, magnetometer, loop detector, and video detector. Another major feature of the proposed model is the incorporation of hybrid parallelism in both transportation and communication simulation platforms. We identify the challenges and issues involved in IDCVS to incorporate this multi-level parallelism. We also discuss the approaches for integrating hardware-in-the-loop simulation, addressing the steps involved in preprocessing sensor data, filtering, and extrapolating missing data, managing large real-time traffic data, and handling different data formats.


title: An efficient Moving Morphable Component (MMC)-based approach for multi-resolution topology optimization

abstract: In the present work, a highly efficient Moving Morphable Component (MMC) based approach for multi-resolution topology optimization is proposed. In this approach, high-resolution optimization results can be obtained with much less number of degrees of freedoms (DOFs) and design variables since the finite element analysis model and the design optimization model are totally decoupled in the MMC-based problem formulation. This is achieved by introducing super-elements for structural response analysis and adopting a domain decomposition strategy to preserve the topology complexity of optimized structures. Both two-and three-dimensional numerical results demonstrate that substantial computational efforts can be saved with use of the proposed approach.


title: Efficient Top K Temporal Spatial Keyword Search

abstract: Massive amount of data that are geo-tagged and associated with text information are being generated at an unprecedented scale in many emerging applications such as location based services and social networks. Due to their importance, a large body of work has focused on efficiently computing various spatial keyword queries. In this paper,we study the top-$k$ temporal spatial keyword query which considers three important constraints during the search including time, spatial proximity and textual relevance. A novel index structure, namely SSG-tree, to efficiently insert/delete spatio-temporal web objects with high rates. Base on SSG-tree an efficient algorithm is developed to support top-k temporal spatial keyword query. We show via extensive experimentation with real spatial databases that our method has increased performance over alternate techniques


title: Generalised Dining Philosophers as Feedback Control

abstract: We revisit the Generalised Dining Philosophers problem through the perspective of feedback control. The result is a modular development of the solution using the notions of system and system composition (the latter due to Tabuada) in a formal setting that employs simple equational reasoning. The modular approach separates the solution architecture from the algorithmic minutiae and has the benefit of simplifying the design and correctness proofs. Three variants of the problem are considered: N=1, and N>1 with centralised and distributed topology. The base case (N=1) reveals important insights into the problem specification and the architecture of the solution. In each case, solving the Generalised Dining Philosophers reduces to designing an appropriate feedback controller.


title: Application of the light-front holographic wavefunction for heavy-light pseudoscalar meson in $B_{d,s}\to D_{d,s}P$ decays

abstract: In this paper we extend our analyses of the decay constant and distribution amplitude with an improved holographic wavefunction to the heavy-light pseudoscalar mesons. In the evaluations, the helicity-dependence of the holographic wavefunction is considered; and an independent mass scale parameter is employed to moderate the strong suppression induced by the heavy quark. Under the constraints from decay constants and masses of pseudoscalar mesons, the $\chi^2$-analyses for the holographic parameters exhibit a rough consistence with the results obtained by fitting the Regge trajectory. With the fitted parameters, the results for the decay constants and distribution amplitudes are presented. We then show their application in evaluating the $B_{d,s}\to D_{d,s}P$ decays, in which the power-suppressed spectator scattering and weak annihilation corrections are first estimated. Numerically, the spectator scattering and weak annihilation corrections present a negative shift of about $ 0.7\%$ on the branching fractions; while, the predictions are still larger than the experimental data. Such small negative shift confirms the estimation based on the power counting rules.


title: Detection of 40-48 GHz dust continuum linear polarization towards the Class 0 young stellar object IRAS 16293-2422

abstract: We performed the new JVLA full polarization observations at 40-48 GHz (6.3-7.5 mm) towards the nearby ($d$ $=$147$\pm$3.4 pc) Class 0 YSO IRAS 16293-2422, and compare with the previous SMA observations reported by Rao et al. (2009; 2014). We observed the quasar J1407+2827 which is weakly polarized and can be used as a leakage term calibrator for $<$9 GHz observations, to gauge the potential residual polarization leakage after calibration. We did not detect Stokes Q, U, and V intensities from the observations of J1407+2827, and constrain (3-$\sigma$) the residual polarization leakage after calibration to be $\lesssim$0.3\%. We detect linear polarization from one of the two binary components of our target source, IRAS\,16293-2422\,B. The derived polarization position angles from our observations are in excellent agreement with those detected from the previous observations of the SMA, implying that on the spatial scale we are probing ($\sim$50-1000 au), the physical mechanisms for polarizing the continuum emission do not vary significantly over the wavelength range of $\sim$0.88-7.5 mm. We hypothesize that the observed polarization position angles trace the magnetic field which converges from large scale to an approximately face-on rotating accretion flow. In this scenario, magnetic field is predominantly poloidal on $>$100 au scales, and becomes toroidal on smaller scales. However, this interpretation remains uncertain due to the high dust optical depths at the central region of IRAS\,16293-2422\,B and the uncertain temperature profile. We suggest that dust polarization at wavelengths comparable or longer than 7\,mm may still trace interstellar magnetic field. Future sensitive observations of dust polarization in the fully optically thin regime will have paramount importance for unambiguously resolving the magnetic field configuration.


title: Ultrafast Energy Transfer in the Metal Nanoparticles-Graphene Nanodisks-Quantum Dots Hybrid Systems

abstract: Hybrid nanocomposites can offer a wide range of opportunities to control the light-matter interac- tion and electromagnetic energy flow at the nanoscale, leading to exotic optoelectronic devices. We study theoretically the dipole-dipole interaction in noble metal nanoparticles-graphene nanodisks- quantum dots hybrid systems in the optical region of the electromagnetic spectrum. The quantum dot is assumed to be a three-level atom interacting with ultrashort control and probe pulses in a Lambda configuration. The dynamics of the system are studied by numerically solving for the time evo- lution of the density matrix elements. We investigate the rate of energy exchange between surface plasmon resonances of the graphene nanodisks and excitons of the quantum dots in the presence of metal nanoparticles at steady state and for specific geometrical conditions of the system. Ultrafast population dynamics are obtained with a large energy exchange rate significantly depending on the size of metal nanoparticles. The power transfer can be controlled by varying the center-to-center distances between the components of the system, and their positions with respect to each other. We also find that the rate of energy transfer within the system is governed by the probe field Rabi frequency, enhanced by the dipole-dipole interaction.


title: DISPATCH: An Optimally-Competitive Algorithm for Maximum Online Perfect Bipartite Matching with i.i.d. Arrivals

abstract: This work presents an optimally-competitive algorithm for the problem of maximum weighted online perfect bipartite matching with i.i.d. arrivals. In this problem, we are given a known set of workers, a distribution over job types, and non-negative utility weights for each pair of worker and job types. At each time step, a job is drawn i.i.d. from the distribution over job types. Upon arrival, the job must be irrevocably assigned to a worker and cannot be dropped. The goal is to maximize the expected sum of utilities after all jobs are assigned. We introduce DISPATCH, a 0.5-competitive, randomized algorithm. We also prove that 0.5-competitive is the best possible. DISPATCH first selects a "preferred worker" and assigns the job to this worker if it is available. The preferred worker is determined based on an optimal solution to a fractional transportation problem. If the preferred worker is not available, DISPATCH randomly selects a worker from the available workers. We show that DISPATCH maintains a uniform distribution over the workers even when the distribution over the job types is non-uniform.


title: Rationality of blocks of quasi-simple finite groups

abstract: Let $\ell$ be a prime number. We show that the Morita Frobenius number of an $\ell$-block of a quasi-simple finite group is at most 4 and that the strong Frobenius number is at most $4|D|^2!$, where D denotes a defect group of the block. We deduce that a basic algebra of any block of the group algebra of a quasi-simple finite group over an algebraically closed field of characteristic $\ell$ is defined over a field with $\ell^a$ elements for some $a \leq 4$. We derive consequences for Donovan's conjecture. In particular, we show that Donovan's conjecture holds for $\ell$-blocks of special linear groups.


title: Black Hole Spin Constraints on the Mass Spectrum and Number of Axion-like Fields

abstract: Astrophysical observations of spinning BHs, which span $ 5M_\odot\lesssim M_{\rm BH}\lesssim 5\times 10^8 M_\odot$, can be used to exclude the existence of certain massive bosons via the superradiance phenomenon. In this work, we explore for the first time how these measurements can be used to constrain properties of statistical distributions for the masses of multiple bosonic fields. Quite generally, our methodology excludes $N_{\rm ax}\gtrsim 30$ scalar fields with a range of mass distribution widths and central values spanning many orders of magnitude. We demonstrate this for the specific example of axions in string theory and M-theory, where the mass distributions in certain cases take universal forms. We place upper bounds on $N_{\rm ax}$ for certain scenarios of interest realised approximately as mass distributions in M-theory, including the QCD axion, grand unified theories, and fuzzy dark matter.


title: Power grid stability under perturbation of single nodes: Effects of heterogeneity and internal nodes

abstract: Non-linear equations describing the time evolution of frequencies and voltages in power grids exhibit fixed points of stable grid operation. The dynamical behaviour after perturbations around these fixed points can be used to characterise the stability of the grid. We investigate both probabilities of return to a fixed point and times needed for this return after perturbation of single nodes. Our analysis is based on an IEEE test grid and the second-order swing equations for voltage phase angles $\theta_j$ at nodes $j$ in the synchronous machine model. The perturbations cover all possible changes $\Delta\theta$ of voltage angles and a wide range of frequency deviations in a range $\Delta f=\pm1$~Hz around the common frequency $\omega=2\pi f=\dot\theta_j$ in a synchronous fixed point state. Extensive numerical calculations are carried out to determine, for all node pairs $(j,k)$, the return times $t_{jk}(\Delta\theta,\Delta \omega)$ of node $k$ after a perturbation of node $j$. We find that for strong perturbations of some nodes, the grid does not return to its synchronous state. If returning to the fixed point, the times needed for the return are strongly different for different disturbed nodes and can reach values up to 20 seconds and more. When homogenising transmission line and node properties, the grid always returns to a synchronous state for the considered perturbations, and the longest return times have a value of about 4 seconds for all nodes. The neglect of reactances between points of power generation (internal nodes) and injection (terminal nodes) leads to an underestimation of return probabilities.


title: Morse Index Theorem of Lagrangian Systems and Stability of Brake Orbit

abstract: In this paper, we prove Morse index theorem of Lagrangian system with any self-adjoint boundary conditions. Based on it, we give some nontrivial estimation on the difference of Morse indices. As an application, we get a new criterion for the stability problem of brake periodic orbit.


title: Phonon-kink scattering effect on the low temperature thermal transport in solids

abstract: We consider contribution to the phonon scattering, in the temperature range of 1K, by the dislocation kinks pinned in the random stress fields in a crystal. The effect of electron-kink scattering on the thermal transport in the normal metals was considered much earlier \cite{Muk86}. The phonon thermal transport anomaly at low temperature was demonstrated by experiments in the deformed (bent) superconducting lead samples \cite{Mez79} and in helium-4 crystals \cite{Mez82, Mez84} and was ascribed to the dislocation dynamics. Previously, we had discussed semi-qualitatively the phonon-kink scattering effects on the thermal conductivity of insulating crystals in a series of papers \cite{mezmuk, ostmukmez}. In this work it is demonstrated explicitly that exponent of the power low in the temperature dependence of the phonon thermal conductivity depends, due to kinks, on the distribution of the random elastic stresses in the crystal, that pin the kinks motion along the dislocation lines. We found that one of the random matrix distributions of the well known Wigner-Dyson theory is most suitable to fit the lead samples experimental data \cite{Mez79}. We also demonstrate that depending on the distribution function of the oscillation frequencies of the kinks, the power low temperature dependences of the phonon thermal conductivity, in principle, may possess exponents in the range of $2\div 5$.