title: Asynchronous Gradient-Push

abstract: We consider a multi-agent framework for distributed optimization where each agent has access to a local smooth strongly convex function, and the collective goal is to achieve consensus on the parameters that minimize the sum of the agents' local functions. We propose an algorithm wherein each agent operates asynchronously and independently of the other agents. When the local functions are strongly-convex with Lipschitz-continuous gradients, we show that the iterates at each agent converge to a neighborhood of the global minimum, where the neighborhood size depends on the degree of asynchrony in the multi-agent network. When the agents work at the same rate, convergence to the global minimizer is achieved. Numerical experiments demonstrate that Asynchronous Gradient-Push can minimize the global objective faster than state-of-the-art synchronous first-order methods, is more robust to failing or stalling agents, and scales better with the network size.


title: Contract theory in a VUCA world

abstract: In this paper we investigate a Principal-Agent problem with moral hazard under Knightian uncertainty. We extend the seminal framework of Holmstr\"om and Milgrom by combining a Stackelberg equilibrium with a worst-case approach. We investigate a general model in the spirit of Cvitani\'c, Possama\"i and Touzi (2018). We show that optimal contracts depend on the output and its quadratic variation, as an extension of the works of Mastrolia and Possama\"i (2016) (by dropping all the restrictive assumptions) and Sung (2015) (by considering a general class of admissible contracts). We characterize the best reaction effort of the agent through the solution to a second order BSDE and we show that the value of the problem of the Principal is the viscosity solution of an Hamilton-Jacobi-Bellman-Isaacs equation, without needing a dynamic programming principle, by using stochastic Perron's method.


title: Knots in Physics

abstract: After Dirac introduced the monopole, topological objects have played increasingly important roles in physics. In this review we discuss the role of the knot, the most sophisticated topological object in physics, and related topological objects in various areas in physics. In particular, we discuss how the knots appear in Maxwell's theory, Skyrme theory, and multi-component condensed matter physics.


title: A spectroscopic survey of the small near-Earth asteroid population: peculiar taxonomic distribution and phase reddening

abstract: We present the results of the first-ever visible spectroscopic survey fully dedicated to the small (absolute magnitude H>20) near-Earth asteroid (NEA) population. Observations have been performed at the New Technology Telescope (NTT) of the European Southern Observatory (ESO), during a 30-night Guaranteed Time Observations programme, in the framework of the European Commission financed NEOShield-2 project. The visible spectra of 147 objects have been obtained and taxonomically classified. They show a peculiar taxonomic distribution, with respect to larger NEAs. In particular, olivine-rich A-types and organic-rich D-types are more abundant than what could be expected by extrapolating the taxonomic distribution of larger NEAs. Such results have implications for the investigation of the first phases of solar system history, including the delivery of prebiotic material on the early Earth. Having been obtained over a large range of solar phase angles, our data allowed us to evidence peculiar phase reddening behaviours for asteroids belonging to different taxonomic types. Low-albedo asteroids display no or limited phase reddening, compared to moderate- and high-albedo objects. This result suggests a promising novel way to distinguish primitive asteroids in the X-complex. In agreement with previous laboratory experiments, olivine-rich surfaces are the most affected by phase reddening.


title: Acoustic Phonon Dispersion Engineering in Bulk Crystals via Incorporation of Dopant Atoms

abstract: We report results of Brillouin - Mandelstam spectroscopy of transparent alumina crystals with Nd dopants. The ionic radius and atomic mass of Nd atoms are distinctively different from those of the host Al atoms. Our results show that even a small concentration of Nd atoms incorporated into the alumina samples produces a profound change in the acoustic phonon spectrum. The velocity of the transverse acoustic phonons decreases by ~600 m/s at the Nd density of only ~0.1 %. Interestingly, the decrease in the phonon frequency and velocity with the doping concentration is non-monotonic. The obtained results, demonstrating that modification of the acoustic phonon spectrum can be achieved not only by nanostructuring but also by doping have important implications for thermal management as well as thermoelectric and optoelectronic devices.


title: Familiar Strangers: the Collective Regularity in Human Behaviors

abstract: The social phenomenon of familiar strangers was identified by Stanley Milgram in 1972 with a small-scale experiment. However, there has been limited research focusing on uncovering the phenomenon at a societal scale and simultaneously investigating the social relationships between familiar strangers. With the help of the large-scale mobile phone records, we empirically show the existence of the relationship in the country of Andorra. Built upon the temporal and spatial distributions, we investigate the mechanisms, especially collective temporal regularity and spatial structure that trigger this phenomenon. Moreover, we explore the relationship between social distances on the communication network and the number of encounters and show that larger number of encounters indicates shorter social distances in a social network. The understanding of the physical encounter network could have important implications to understand the phenomena such as epidemics spreading and information diffusion.


title: Phase diagram of Kob-Andersen type binary Lennard-Jones mixtures

abstract: The binary Kob-Andersen (KA) Lennard-Jones mixture is the standard model for computational studies of viscous liquids and the glass transition. For very long simulations the viscous KA system crystallizes, however, by phase separating into a pure A particle phase forming an FCC crystal. We present the thermodynamic phase diagram for KA-type mixtures consisting of up to 50\% small (B) particles showing, in particular, that the melting temperature of the standard KA system at liquid density $1.2$ is $1.028(3)$ in A particle Lennard-Jones units. At large B particle concentrations the system crystallizes into the CsCl crystal structure. The eutectic corresponding to the FCC and CsCl structures is cut-off in a narrow interval of B particle concentrations around 26\% at which the bipyramidal orthorhombic ${\rm PuBr_3}$ structure is the thermodynamically stable phase. The melting temperature's variation with B particle concentration at two other pressures, as well as at the constant density $1.2$, is estimated from the simulations at pressure $10.19$ using isomorph theory. Our data demonstrate approximate identity between the melting temperature and the onset temperature below which viscous dynamics appears. Finally, the nature of the solid-liquid interface is briefly discussed.


title: Simulation of beam-induced plasma in gas-filled rf cavities

abstract: Processes occurring in a radio-frequency (rf) cavity, filled with high pressure gas and interacting with proton beams, have been studied via advanced numerical simulations. Simulations support the experimental program on the hydrogen gas-filled rf cavity in the Mucool Test Area (MTA) at Fermilab, and broader research on the design of muon cooling devices. SPACE, a 3D electromagnetic particle-in-cell (EM-PIC) code with atomic physics support, was used in simulation studies. Plasma dynamics in the rf cavity, including the process of neutral gas ionization by proton beams, plasma loading of the rf cavity, and atomic processes in plasma such as electron-ion and ion-ion recombination and electron attachment to dopant molecules, have been studied. Through comparison with experiments in the MTA, simulations quantified several uncertain values of plasma properties such as effective recombination rates and the attachment time of electrons to dopant molecules. Simulations have achieved very good agreement with experiments on plasma loading and related processes. The experimentally validated code SPACE is capable of predictive simulations of muon cooling devices.


title: A Curry-Howard Approach to Church's Synthesis

abstract: Church's synthesis problem asks whether there exists a finite-state stream transducer satisfying a given input-output specification. For specifications written in Monadic Second-Order Logic (MSO) over infinite words, Church's synthesis can theoretically be solved algorithmically using automata and games. We revisit Church's synthesis via the Curry-Howard correspondence by introducing SMSO, an intuitionistic variant of MSO over infinite words, which is shown to be sound and complete w.r.t. synthesis thanks to an automata-based realizability model.


title: Enumerating two permutation classes by the number of cycles

abstract: We enumerate permutations in the two permutation classes $\text{Av}_n(312, 4321)$ and $\text{Av}_n(321, 4123)$ by the number of cycles each permutation admits. We also refine this enumeration with respect to several statistics.


title: Introduction to Cluster Algebras

abstract: These are notes for a series of lectures presented at the ASIDE conference 2016. The definition of a cluster algebra is motivated through several examples, namely Markov triples, the Grassmannians $Gr_2(\mathbb{C})$, and the appearance of double Bruhat cells in the theory of total positivity. Once the definition of cluster algebras is introduced in several stages of increasing generality, proofs of fundamental results are sketched in the rank 2 case. From these foundations we build up the notion of Poisson structures compatible with a cluster algebra structure and indicate how this leads to a quantization of cluster algebras. Finally we give applications of these ideas to integrable systems in the form of Zamolodchikov periodicity and the pentagram map.


title: Cohen-Macaulay criteria for projective monomial curves via Gr\"obner bases

abstract: We prove new characterizations based on Gr\"obner bases for the Cohen-Macaulay property of a projective monomial curve.


title: Stochastic Dynamics of Einstein Matter-Radiation Model with Spikes

abstract: Motivated by the Einstein classical description of the matter-radiation dynamics we revise a dynamical system producing spikes of the photon emission. Then we study the corresponding stochastic model, which takes into account the randomness of spontaneous and stimulated atomic transitions supporting by a pumping. Our model reduces to Markovian density dependent processes for the inversion coefficient and the photon specific value driven by small but fast jumps. We analyse the model in three limits: the many-component, the mean-field, and the one-component. In the last case it is a positive recurrent Markov chain with sound spikes.


title: The Extended Distribution of Baryons Around Galaxies

abstract: We summarize and reanalyze observations bearing upon missing galactic baryons, where we propose a consistent picture for halo gas in L >~ L* galaxies. The hot X-ray emitting halos are detected to 50-70 kpc, where typically, M_hot(<50 kpc) ~ 5E9 Msun, and with density n \propto r^-3/2. When extrapolated to R200, the gas mass is comparable to the stellar mass, but about half of the baryons are still missing from the hot phase. If extrapolated to 1.9-3 R200, the baryon to dark matter ratio approaches the cosmic value. Significantly flatter density profiles are unlikely for R < 50 kpc and they are disfavored but not ruled out for R > 50 kpc. For the Milky Way, the hot halo metallicity lies in the range 0.3-1 solar for R < 50 kpc. Planck measurements of the thermal Sunyaev-Zeldovich effect toward stacked luminous galaxies (primarily early-type) indicate that most of their baryons are hot, near the virial temperature, and extend beyond R200. This stacked SZ signal is nearly an order of magnitude larger than that inferred from the X-ray observations of individual (mostly spiral) galaxies with M_* > 10^11.3 Msun. This difference suggests that the hot halo properties are distinct for early and late type galaxies, possibly due to different evolutionary histories. For the cooler gas detected in UV absorption line studies, we argue that there are two absorption populations: extended halos; and disks extending to ~50 kpc, containing most of this gas, and with masses a few times lower than the stellar masses. Such extended disks are also seen in 21 cm HI observations and in simulations.


title: The local distribution of the number of small prime factors - variation of the classical theme

abstract: We obtain uniform estimates for $N_k(x,y)$, the number of positive integers $n$ up to $x$ for which $\omega_y(n)=k$, where $\omega_y(n)$ is the number of distinct prime factors of $n$ which are $<y$. The motivation for this problem is an observation due to the first author in 2015 that for certain ranges of $y$, the asymptotic behavior of $N_k(x,y)$ is different from the classical situation concerning $N_k(x,x)$ studied by Sathe and Selberg. We demonstrate this variation of the classical theme; to estimate $N_k(x,y)$ we study the sum $S_z(x,y)=\sum_{n\le x}z^{\omega_y(n)}$ for $Re(z)>0$ by the Buchstab-de Bruijn method. We also utilize a certain recent result of Tenenbaum to complete our asymptotic analysis.


title: Exotic Bilayer Crystals in a Strong Magnetic Field

abstract: Electron bilayers in a strong magnetic field exhibit insulating behavior for a wide range of interlayer separation $d$ for total Landau level fillings $\nu\leq 1/2$, which has been interpreted in terms of a pinned crystal. We study theoretically the competition between many strongly correlated liquid and crystal states and obtain the phase diagram as a function of quantum well width and $d$ for several filling factors of interest. We predict that three crystal structures can be realized: (a) At small $d$, the Triangular Ising AntiFerromagnetic (TIAF) crystal is stabilized in which the particles overall form a single-layer like triangular crystal while satisfying the condition that no nearest-neighbor triangle has all three particles in the same layer. (b) At intermediate $d$, a Correlated Square (CS) crystal is stabilized, in which particles in each layer form a square lattice, with the particles in one layer located directly across the centers of the squares of the other. (c) At large $d$, we find a Bilayer Graphene (BG) crystal in which the A and B sites of the graphene lattice lie in different layers. All crystals that we predict are strongly correlated crystals of composite fermions; a theory incorporating only electron Hartree-Fock crystals does not find any crystals besides the `trivial' ones occurring at large interlayer separations for total filling factor $\nu\leq1/3$ (when layers are uncorrelated and each layer is in the long familiar single-layer crystal phase). The TIAF, CS and BG crystals come in several varieties, with different flavors of composite fermions and different interlayer correlations. The appearance of these exotic crystal phases adds to the richness of the physics of electron bilayers in a strong magnetic field, and also provides insight into experimentally observed bilayer insulator as well as transitions within the insulating part of the phase diagram.


title: Counterexamples for Robotic Planning Explained in Structured Language

abstract: Automated techniques such as model checking have been used to verify models of robotic mission plans based on Markov decision processes (MDPs) and generate counterexamples that may help diagnose requirement violations. However, such artifacts may be too complex for humans to understand, because existing representations of counterexamples typically include a large number of paths or a complex automaton. To help improve the interpretability of counterexamples, we define a notion of explainable counterexample, which includes a set of structured natural language sentences to describe the robotic behavior that lead to a requirement violation in an MDP model of robotic mission plan. We propose an approach based on mixed-integer linear programming for generating explainable counterexamples that are minimal, sound and complete. We demonstrate the usefulness of the proposed approach via a case study of warehouse robots planning.


title: Automatic phase calibration for RF cavities using beam-loading signals

abstract: Precise calibration of the cavity phase signals is necessary for the operation of any particle accelerator. For many systems this requires human in the loop adjustments based on measurements of the beam parameters downstream. Some recent work has developed a scheme for the calibration of the cavity phase using beam measurements and beam-loading however this scheme is still a multi-step process that requires heavy automation or human in the loop. In this paper we analyze a new scheme that uses only RF signals reacting to beam-loading to calculate the phase of the beam relative to the cavity. This technique could be used in slow control loops to provide real-time adjustment of the cavity phase calibration without human intervention thereby increasing the stability and reliability of the accelerator.


title: LLRF system for the Fermilab Muon g-2 and Mu2e projects

abstract: The Mu2e experiment measures the conversion rate of muons into electrons and the Muon g-2 experiment measures the muon magnetic moment. Both experiments require 53 MHz batches of 8 GeV protons to be re-bunched into 150 ns, 2.5 MHz pulses for extraction to the g-2 target for Muon g-2 and to a delivery ring with a single RF cavity running at 2.36 MHz for Mu2e. The LLRF system for both experiments is implemented in a SOC FPGA board integrated into the existing 53 MHz LLRF system in a VXI crate. The tight timing requirements, the large frequency difference and the non-harmonic relationship between the two RF systems provide unique challenges to the LLRF system design to achieve the required phase alignment specifications for beam formation, transfers and beam extinction between pulses. The new LLRF system design for both projects is described and the results of the initial beam commissioning tests for the Muon g-2 experiment are presented.


title: Operational experience of ALBA's Digital LLRF at SOLARIS Light Source

abstract: For control of RF cavities installed in Solaris storage ring light source the digital Low Level RF (dLLRF) system was necessary from the beginning of operation. Since there were no expertise at the new constructed facility and no time for development due to funds deadline, almost turn-key dLLRF from Alba has been implemented according to MAXIV selection. Thanks to high flexibility of dLLRF only small adaptations were needed in terms of interfaces to auxiliary systems and setup of parameters. This paper summarizes operational experience about installation, commissioning, learning-curve from entry-level user, beam operation and future upgrades of this dLLRF.


title: State measurement error-to-state stability results based on approximate discrete-time models

abstract: Digital controller design for nonlinear systems may be complicated by the fact that an exact discrete-time plant model is not known. One existing approach employs approximate discrete-time models for stability analysis and control design, and ensures different types of closedloop stability properties based on the approximate model and on specific bounds on the mismatch between the exact and approximate models. Although existing conditions for practical stability exist, some of which consider the presence of process disturbances, input-to-state stability with respect to state-measurement errors and based on approximate discretetime models has not been addressed. In this paper, we thus extend existing results in two main directions: (a) we provide input-to-state stability (ISS)-related results where the input is the state measurement error and (b) our results allow for some specific varying-sampling-rate scenarios. We provide conditions to ensure semiglobal practical ISS, even under some specific forms of varying sampling rate. These conditions employ Lyapunov-like functions. We illustrate the application of our results on numerical examples, where we show that a bounded state-measurement error can cause a semiglobal practically stable system to diverge.


title: Computational Power and the Social Impact of Artificial Intelligence

abstract: Machine learning is a computational process. To that end, it is inextricably tied to computational power - the tangible material of chips and semiconductors that the algorithms of machine intelligence operate on. Most obviously, computational power and computing architectures shape the speed of training and inference in machine learning, and therefore influence the rate of progress in the technology. But, these relationships are more nuanced than that: hardware shapes the methods used by researchers and engineers in the design and development of machine learning models. Characteristics such as the power consumption of chips also define where and how machine learning can be used in the real world. Despite this, many analyses of the social impact of the current wave of progress in AI have not substantively brought the dimension of hardware into their accounts. While a common trope in both the popular press and scholarly literature is to highlight the massive increase in computational power that has enabled the recent breakthroughs in machine learning, the analysis frequently goes no further than this observation around magnitude. This paper aims to dig more deeply into the relationship between computational power and the development of machine learning. Specifically, it examines how changes in computing architectures, machine learning methodologies, and supply chains might influence the future of AI. In doing so, it seeks to trace a set of specific relationships between this underlying hardware layer and the broader social impacts and risks around AI.


title: Recursive formulas for $_{2}F_{1}$ and $_{3}F_{2}$ hypergeometric series

abstract: Recursive formulas extending some known $_{2}F_{1}$ and $_{3}F_{2}$ summation formulas by using contiguous relations have been obtained. On the one hand, these recursive equations are quite suitable for symbolic and numerical evaluation by means of computer algebra. On the other hand, sometimes closed-forms of such extensions can be derived by induction. It is expected that the method used to obtain the different recursive equations can be applied to extend other hypergeometric summation formulas given in the literature.


title: The Nested Kingman Coalescent: Speed of Coming Down from Infinity

abstract: The nested Kingman coalescent describes the ancestral tree of a population undergoing neutral evolution at the level of individuals and at the level of species, simultaneously. We study the speed at which the number of lineages descends from infinity in this hierarchical coalescent process and prove the existence of an early-time phase during which the number of lineages at time $t$ decays as $ 2\gamma/ct^2$, where $c$ is the ratio of the coalescence rates at the individual and species levels, and the constant $\gamma\approx 3.45$ is derived from a recursive distributional equation for the number of lineages contained within a species at a typical time.


title: The Optimal Use of Silicon Pixel Charge Information for Particle Identification

abstract: Particle identification using the energy loss in silicon detectors is a powerful technique for probing the Standard Model (SM) as well as searching for new particles beyond the SM. Traditionally, such techniques use the truncated mean of the energy loss on multiple layers, in order to mitigate heavy tails in the charge fluctuation distribution. We show that the optimal scheme using the charge in multiple layers significantly outperforms the truncated mean. Truncation itself does not significantly degrade performance and the optimal classifier is well-approximated by a linear combination of the truncated mean and truncated variance.


title: The stable algebra of a Wieler solenoid: inductive limits and K-theory

abstract: Wieler has shown that every irreducible Smale space with totally disconnected stable sets is a solenoid (i.e., obtained via a stationary inverse limit construction). Using her construction, we show that the associated stable C*-algebra is the stationary inductive limit of a C*-stable Fell algebra that has compact spectrum and trivial Dixmier-Douady invariant. This result applies in particular to Williams solenoids along with other examples. Beyond the structural implications of this inductive limit, one can use this result to in principle compute the K-theory of the stable C*-algebra. A specific one-dimensional Smale space (the aab/ab-solenoid) is considered as an illustrative running example throughout.


title: Speech2Vec: A Sequence-to-Sequence Framework for Learning Word Embeddings from Speech

abstract: In this paper, we propose a novel deep neural network architecture, Speech2Vec, for learning fixed-length vector representations of audio segments excised from a speech corpus, where the vectors contain semantic information pertaining to the underlying spoken words, and are close to other vectors in the embedding space if their corresponding underlying spoken words are semantically similar. The proposed model can be viewed as a speech version of Word2Vec. Its design is based on a RNN Encoder-Decoder framework, and borrows the methodology of skipgrams or continuous bag-of-words for training. Learning word embeddings directly from speech enables Speech2Vec to make use of the semantic information carried by speech that does not exist in plain text. The learned word embeddings are evaluated and analyzed on 13 widely used word similarity benchmarks, and outperform word embeddings learned by Word2Vec from the transcriptions.


title: Characterizing and Detecting Hateful Users on Twitter

abstract: Most current approaches to characterize and detect hate speech focus on \textit{content} posted in Online Social Networks. They face shortcomings to collect and annotate hateful speech due to the incompleteness and noisiness of OSN text and the subjectivity of hate speech. These limitations are often aided with constraints that oversimplify the problem, such as considering only tweets containing hate-related words. In this work we partially address these issues by shifting the focus towards \textit{users}. We develop and employ a robust methodology to collect and annotate hateful users which does not depend directly on lexicon and where the users are annotated given their entire profile. This results in a sample of Twitter's retweet graph containing $100,386$ users, out of which $4,972$ were annotated. We also collect the users who were banned in the three months that followed the data collection. We show that hateful users differ from normal ones in terms of their activity patterns, word usage and as well as network structure. We obtain similar results comparing the neighbors of hateful vs. neighbors of normal users and also suspended users vs. active users, increasing the robustness of our analysis. We observe that hateful users are densely connected, and thus formulate the hate speech detection problem as a task of semi-supervised learning over a graph, exploiting the network of connections on Twitter. We find that a node embedding algorithm, which exploits the graph structure, outperforms content-based approaches for the detection of both hateful ($95\%$ AUC vs $88\%$ AUC) and suspended users ($93\%$ AUC vs $88\%$ AUC). Altogether, we present a user-centric view of hate speech, paving the way for better detection and understanding of this relevant and challenging issue.


title: Broad Learning for Healthcare

abstract: A broad spectrum of data from different modalities are generated in the healthcare domain every day, including scalar data (e.g., clinical measures collected at hospitals), tensor data (e.g., neuroimages analyzed by research institutes), graph data (e.g., brain connectivity networks), and sequence data (e.g., digital footprints recorded on smart sensors). Capability for modeling information from these heterogeneous data sources is potentially transformative for investigating disease mechanisms and for informing therapeutic interventions. Our works in this thesis attempt to facilitate healthcare applications in the setting of broad learning which focuses on fusing heterogeneous data sources for a variety of synergistic knowledge discovery and machine learning tasks. We are generally interested in computer-aided diagnosis, precision medicine, and mobile health by creating accurate user profiles which include important biomarkers, brain connectivity patterns, and latent representations. In particular, our works involve four different data mining problems with application to the healthcare domain: multi-view feature selection, subgraph pattern mining, brain network embedding, and multi-view sequence prediction.


title: From Shannon's Channel to Semantic Channel via New Bayes' Formulas for Machine Learning

abstract: A group of transition probability functions form a Shannon's channel whereas a group of truth functions form a semantic channel. By the third kind of Bayes' theorem, we can directly convert a Shannon's channel into an optimized semantic channel. When a sample is not big enough, we can use a truth function with parameters to produce the likelihood function, then train the truth function by the conditional sampling distribution. The third kind of Bayes' theorem is proved. A semantic information theory is simply introduced. The semantic information measure reflects Popper's hypothesis-testing thought. The Semantic Information Method (SIM) adheres to maximum semantic information criterion which is compatible with maximum likelihood criterion and Regularized Least Squares criterion. It supports Wittgenstein's view: the meaning of a word lies in its use. Letting the two channels mutually match, we obtain the Channels' Matching (CM) algorithm for machine learning. The CM algorithm is used to explain the evolution of the semantic meaning of natural language, such as "Old age". The semantic channel for medical tests and the confirmation measures of test-positive and test-negative are discussed. The applications of the CM algorithm to semi-supervised learning and non-supervised learning are simply introduced. As a predictive model, the semantic channel fits variable sources and hence can overcome class-imbalance problem. The SIM strictly distinguishes statistical probability and logical probability and uses both at the same time. This method is compatible with the thoughts of Bayes, Fisher, Shannon, Zadeh, Tarski, Davidson, Wittgenstein, and Popper.It is a competitive alternative to Bayesian inference.


title: Lyapunov Event-triggered Stabilization with a Known Convergence Rate

abstract: A constructive tool of nonlinear control systems design, the method of Control Lyapunov Functions (CLF) has found numerous applications in stabilization problems for continuous time, discrete-time and hybrid systems. In this paper, we address the fundamental question: given a CLF, corresponding to the continuous-time controller with some predefined (e.g. exponential) convergence rate, can the same convergence rate be provided by an event-triggered controller? Under certain assumptions, we give an affirmative answer to this question and show that the corresponding event-based controllers provide positive dwelltimes between the consecutive events. Furthermore, we prove the existence of self-triggered and periodic event-triggered controllers, providing stabilization with a known convergence rate.


title: Unix Memory Allocations are Not Poisson

abstract: In multitasking operating systems, requests for free memory are traditionally modeled as a stochastic counting process with independent, exponentially-distributed interarrival times because of the analytic simplicity such Poisson models afford. We analyze the distribution of several million unix page commits to show that although this approach could be valid over relatively long timespans, the behavior of the arrival process over shorter periods is decidedly not Poisson. We find that this result holds regardless of the originator of the request: unlike network packets, there is little difference between system- and user-level page-request distributions. We believe this to be due to the bursty nature of page allocations, which tend to occur in either small or extremely large increments. Burstiness and persistent variance have recently been found in self-similar processes in computer networks, but we show that although page commits are both bursty and possess high variance over long timescales, they are probably not self-similar. These results suggest that altogether different models are needed for fine-grained analysis of memory systems, an important consideration not only for understanding behavior but also for the design of online control systems.


title: Distributed consensus of linear MASs with an unknown leader via a predictive extended state observer considering input delay and disturbances

abstract: The problem of disturbance rejection/attenuation for constant-input delayed linear multi-agent systems (MASs) with the directed communication topology is tackled in this paper, where a classic model reduction technique is introduced to transform the delayed MAS into the delay-free one. First, when the leader has no control input, a novel adaptive predictive extended state observer (ESO) using only relative state information of neighboring agents is designed to achieve disturbance-rejected consensus tracking. The stabilization analysis is presented via the Lyapunov function and sufficient conditions are derived in terms of linear matrix inequalities. Then the result is extended to the disturbance-attenuated case where the leader has bounded control input which is only known by a portion of followers. Finally, two numerical examples are presented to illustrate the effectiveness of proposed strategies. The main contribution focuses on the design of adaptive predictive ESO protocols with the fully distributed property.


title: Automated Evaluation of Out-of-Context Errors

abstract: We present a new approach to evaluate computational models for the task of text understanding by the means of out-of-context error detection. Through the novel design of our automated modification process, existing large-scale data sources can be adopted for a vast number of text understanding tasks. The data is thereby altered on a semantic level, allowing models to be tested against a challenging set of modified text passages that require to comprise a broader narrative discourse. Our newly introduced task targets actual real-world problems of transcription and translation systems by inserting authentic out-of-context errors. The automated modification process is applied to the 2016 TEDTalk corpus. Entirely automating the process allows the adoption of complete datasets at low cost, facilitating supervised learning procedures and deeper networks to be trained and tested. To evaluate the quality of the modification algorithm a language model and a supervised binary classification model are trained and tested on the altered dataset. A human baseline evaluation is examined to compare the results with human performance. The outcome of the evaluation task indicates the difficulty to detect semantic errors for machine-learning algorithms and humans, showing that the errors cannot be identified when limited to a single sentence.


title: The slice hyperholomorphic Bergman space on $\mathbb{B}_R$: Integral representation and asymptotic behavior

abstract: The aim of the present paper is three folds. Firstly, we complete the study of the weighted hyperholomorphic Bergman space of the second kind on the ball of radius $R$ centred at the origin. The explicit expression of its Bergman kernel is given and can be written in terms of special hypergeometric functions of two non-commuting (quaternionic) variables. Secondly, we introduce and study some basic properties of an associated integral transform, the quaternionic analogue of the so-called second Bargmann transform for the holomorphic Bergman space. Finally, we establish the asymptotic behavior as $R$ goes to infinity. We show in particular that the reproducing kernel of the weighted slice hyperholomorphic Bergman space gives rise to its analogue for the slice hyperholomorphic Bargamann-Fock space.


title: Some Comments on BPS systems

abstract: We look at simple BPS systems involving more than one field. We discuss the conditions that have to be imposed on various terms in Lagrangians involving many fields to produce BPS systems and then look in more detail at the simplest of such cases. We analyse in detail BPS systems involving 2 interacting Sine-Gordon like fields, both when one of them has a kink solution and the second one either a kink or an antikink solution. We take their solitonic static solutions and use them as initial conditions for their evolution in Lorentz covariant versions of such models. We send these structures towards themselves and find that when they interact weakly they can pass through each other with a phase shift which is related to the strength of their interaction. When they interact strongly they repel and reflect on each other. We use the method of a modified gradient flow in order to visualize the solutions in the space of fields.


title: DeepMood: Modeling Mobile Phone Typing Dynamics for Mood Detection

abstract: The increasing use of electronic forms of communication presents new opportunities in the study of mental health, including the ability to investigate the manifestations of psychiatric diseases unobtrusively and in the setting of patients' daily lives. A pilot study to explore the possible connections between bipolar affective disorder and mobile phone usage was conducted. In this study, participants were provided a mobile phone to use as their primary phone. This phone was loaded with a custom keyboard that collected metadata consisting of keypress entry time and accelerometer movement. Individual character data with the exceptions of the backspace key and space bar were not collected due to privacy concerns. We propose an end-to-end deep architecture based on late fusion, named DeepMood, to model the multi-view metadata for the prediction of mood scores. Experimental results show that 90.31% prediction accuracy on the depression score can be achieved based on session-level mobile phone typing dynamics which is typically less than one minute. It demonstrates the feasibility of using mobile phone metadata to infer mood disturbance and severity.


title: Polarization Modeling and Predictions for DKIST Part 3: Focal Ratio and Thermal Dependencies of Spectral Polarization Fringes and Optic Retardance

abstract: Data products from high spectral resolution astronomical polarimeters are often limited by fringes. Fringes can skew derived magnetic field properties from spectropolarimetric data. Fringe removal algorithms can also corrupt the data if the fringes and object signals are too similar. For some narrow-band imaging polarimeters, fringes change the calibration retarder properties, and dominate the calibration errors. Systems-level engineering tools for polarimetric instrumentation require accurate predictions of fringe amplitudes, periods for transmission, diattenuation and retardance. The relevant instabilities caused by environmental, thermal and optical properties can be modeled and mitigation tools developed. We create spectral polarization fringe amplitude and temporal instability predictions by applying the Berreman calculus and simple interferrometric calculations to optics in beams of varying F/ number. We then apply the formalism to super-achromatic six crystal retarders in converging beams under beam thermal loading in outdoor environmental conditions for two of the worlds largest observatories: the 10m Keck telescope and the Daniel K. Inouye Solar Telescope (DKIST). DKIST will produce a 300 Watt optical beam which has imposed stringent requirements on the large diameter six-crystal retarders, dichroic beamsplitters and internal optics. DKIST retarders are used in a converging beams with F/ ratios between 8 and 62. The fringe spectral periods, amplitudes and thermal models of retarder behavior assisted DKIST optical designs and calibration plans with future application to many astronomical spectropolarimeters. The Low Resolution Imaging Spectrograph with polarimetry (LRISp) instrument at Keck also uses six-crystal retarders in a converging F/ 13 beam in a Cassegrain focus exposed to summit environmental conditions providing observational verification of our predictions.


title: Evaluating Sentence-Level Relevance Feedback for High-Recall Information Retrieval

abstract: This study uses a novel simulation framework to evaluate whether the time and effort necessary to achieve high recall using active learning is reduced by presenting the reviewer with isolated sentences, as opposed to full documents, for relevance feedback. Under the weak assumption that more time and effort is required to review an entire document than a single sentence, simulation results indicate that the use of isolated sentences for relevance feedback can yield comparable accuracy and higher efficiency, relative to the state-of-the-art Baseline Model Implementation (BMI) of the AutoTAR Continuous Active Learning ("CAL") method employed in the TREC 2015 and 2016 Total Recall Track.


title: A unified framework of fully distributed adaptive output time-varying formation control for linear multi-agent systems: an observer viewpoint

abstract: This paper presents a unified framework of time-varying formation (TVF) design for general linear multi-agent systems (MAS) based on an observer viewpoint from undirected to directed topology, from stabilization to tracking and from a leader without input to a one with bounded input. The followers can form a TVF shape which is specified by piecewise continuously differential vectors. The leader's trajectory, which is available to only a subset of followers, is also time-varying. For the undirected formation tracking and directed formation stabilization cases, only the relative output measurements of neighbors are required to design control protocols; for the directed formation tracking case, the agents need to be introspective (i.e. agents have partial knowledge of their own states) and the output measurements are required. Furthermore, considering the real applications, the leader with bounded input case is studied. One main contribution of this paper is that fully distributed adaptive output protocols, which require no global information of communication topology and do not need the absolute or relative state information, are proposed to solve the TVF control problem. Numerical simulations including an application to nonholonomic mobile vehicles are provided to verify the theoretical results.


title: Thermodynamic Black Holes

abstract: Black holes pose great difficulties for theory since gravity and quantum theory must be combined in some as yet unknown way. An additional difficulty is that detailed black hole observational data to guide theorists is lacking. In this paper, I sidestep the difficulties of combining gravity and quantum theory by employing black hole thermodynamics augmented by ideas from the information geometry of thermodynamics. I propose a purely thermodynamic agenda for choosing correct candidate black hole thermodynamic scaled equations of state, parameterized by two exponents. These two adjustable exponents may be set to accommodate additional black hole information, either from astrophysical observations or from some microscopic theory, such as string theory. My approach assumes implicitly that the as yet unknown microscopic black hole constituents have strong effective interactions between them, of a type found in critical phenomena. In this picture, the details of the microscopic interaction forces are not important, and the essential macroscopic picture emerges from general assumptions about the number of independent thermodynamic variables, types of critical points, boundary conditions, and analyticity. I use the simple Kerr and Reissner-Nordstrom black holes for guidance, and find candidate equations of state that embody a number of the features of these purely gravitational models. My approach may offer a productive new way to select black hole thermodynamic equations of state representing both gravitational and quantum properties.


title: Leveraging translations for speech transcription in low-resource settings

abstract: Recently proposed data collection frameworks for endangered language documentation aim not only to collect speech in the language of interest, but also to collect translations into a high-resource language that will render the collected resource interpretable. We focus on this scenario and explore whether we can improve transcription quality under these extremely low-resource settings with the assistance of text translations. We present a neural multi-source model and evaluate several variations of it on three low-resource datasets. We find that our multi-source model with shared attention outperforms the baselines, reducing transcription character error rate by up to 12.3%.


title: Clogging and Depinning of Ballistic Active Matter Systems in Disordered Media

abstract: We numerically examine ballistic active disks driven through a random obstacle array. Formation of a pinned or clogged state occurs at much lower obstacle densities for the active disks than for passive disks. As a function of obstacle density we identify several distinct phases including a depinned fluctuating cluster state, a pinned single cluster or jammed state, a pinned multicluster state, a pinned gel state, and a pinned disordered state. At lower active disk densities, a drifting uniform liquid forms in the absence of obstacles, but when even a small number of obstacles are introduced, the disks organize into a pinned phase-separated cluster state in which clusters nucleate around the obstacles, similar to a wetting phenomenon. We examine how the depinning threshold changes as a function of disk or obstacle density, and find a crossover from a collectively pinned cluster state to a disordered plastic depinning transition as a function of increasing obstacle density. We compare this to the behavior of nonballistic active particles and show that as we vary the activity from completely passive to completely ballistic, a clogged phase-separated state appears in both the active and passive limits, while for intermediate activity, a readily flowing liquid state appears and there is an optimal activity level that maximizes the flux through the sample.


title: Deep Learning Phase Segregation

abstract: Phase segregation, the process by which the components of a binary mixture spontaneously separate, is a key process in the evolution and design of many chemical, mechanical, and biological systems. In this work, we present a data-driven approach for the learning, modeling, and prediction of phase segregation. A direct mapping between an initially dispersed, immiscible binary fluid and the equilibrium concentration field is learned by conditional generative convolutional neural networks. Concentration field predictions by the deep learning model conserve phase fraction, correctly predict phase transition, and reproduce area, perimeter, and total free energy distributions up to 98% accuracy.


title: Hard scale uncertainty in collinear factorization: Perspective from $k_t$-factorization

abstract: We analyze two consequences of the relationship between collinear factorization and $k_t$-factorization. First, we show that the $k_t$-factorization gives a fundamental justification for the choice of the hard scale $Q^2$ done in the collinear factorization. Second, we show that in the collinear factorization there is an uncertainty on this choice which will not be reduced by higher orders. This uncertainty is absent within the $k_t$-factorization formalism.


title: Iterative Low-Rank Approximation for CNN Compression

abstract: Deep convolutional neural networks contain tens of millions of parameters, making them impossible to work efficiently on embedded devices. We propose iterative approach of applying low-rank approximation to compress deep convolutional neural networks. Since classification and object detection are the most favored tasks for embedded devices, we demonstrate the effectiveness of our approach by compressing AlexNet, VGG-16, YOLOv2 and Tiny YOLO networks. Our results show the superiority of the proposed method compared to non-repetitive ones. We demonstrate higher compression ratio providing less accuracy loss.


title: Pattern Analysis with Layered Self-Organizing Maps

abstract: This paper defines a new learning architecture, Layered Self-Organizing Maps (LSOMs), that uses the SOM and supervised-SOM learning algorithms. The architecture is validated with the MNIST database of hand-written digit images. LSOMs are similar to convolutional neural nets (covnets) in the way they sample data, but different in the way they represent features and learn. LSOMs analyze (or generate) image patches with maps of exemplars determined by the SOM learning algorithm rather than feature maps from filter-banks learned via backprop. LSOMs provide an alternative to features derived from covnets. Multi-layer LSOMs are trained bottom-up, without the use of backprop and therefore may be of interest as a model of the visual cortex. The results show organization at multiple levels. The algorithm appears to be resource efficient in learning, classifying and generating images. Although LSOMs can be used for classification, their validation accuracy for these exploratory runs was well below the state of the art. The goal of this article is to define the architecture and display the structures resulting from its application to the MNIST images.


title: Towards a Microscopic Theory of the Knight Shift in an Anisotropic, Multiband Type-II Superconductor

abstract: A method is proposed to extend the zero-temperature Hall-Klemm microscopic theory of the Knight shift $K$ in an anisotropic and correlated, multi-band metal to calculate $K(T)$ at finite temperatures $T$ both above and into its superconducting state. The transverse part of the magnetic induction ${\bf B}(t)={\bf B}_0+{\bf B}_1(t)$ causes adiabatic changes suitable for treatment with the Keldysh contour formalism and analytic continuation onto the real axis. We propose that the Keldysh-modified version of the Gor'kov method can be used to evaluate $K(T)$ at high ${\bf B}_0$ both in the normal state, and by quantizing the conduction electrons or holes with Landau orbits arising from ${\bf B}_0$, also in the entire superconducting regime for an anisotropic, multiband Type-II BCS superconductor. Although the details have not yet been calculated in detail, it appears that this approach could lead to the simple result $K_S(T)\approx a({\bf B}_0)-b({\bf B}_0)|\Delta({\bf B}_0,T)|^2$, where $2|\Delta({\bf B}_0,T)|$ is the effective superconducting gap. More generally, this approach can lead to analytic expressions for $K_S(T)$ for anisotropic, multiband Type-II superconductors of various orbital symmetries that could aid in the interpretation of experimental data on unconventional superconductors.


title: Exact solution of Ginzburg's $\Psi$-theory for the Casimir force in $^4$He superfluid films

abstract: We present an analytical solution of the Ginzburg's $\Psi$-theory for the behavior of the Casimir force in a film of $^4$He in equilibrium with its vapor near the superfluid transition point, and we revisit the corresponding experiments in light of our findings. We find reasonably good agreement between the $\Psi$-theory predictions and the experimental data. Our calculated force is attractive, and the largest absolute value of the scaling function is $1.848$, while experiment yields $1.30$. The position of the extremum is predicted to be at $x=(L/\xi_0)(T/T_\lambda-1)^{1/\nu}=\pi$, while experiment is consistent with $x=3.8$. Here $L$ is the thickness of the film, $T_\lambda$ is the bulk critical temperature and $\xi_0$ is the correlation length amplitude of the system for $T>T_\lambda$.


title: LayoutNet: Reconstructing the 3D Room Layout from a Single RGB Image

abstract: We propose an algorithm to predict room layout from a single image that generalizes across panoramas and perspective images, cuboid layouts and more general layouts (e.g. L-shape room). Our method operates directly on the panoramic image, rather than decomposing into perspective images as do recent works. Our network architecture is similar to that of RoomNet, but we show improvements due to aligning the image based on vanishing points, predicting multiple layout elements (corners, boundaries, size and translation), and fitting a constrained Manhattan layout to the resulting predictions. Our method compares well in speed and accuracy to other existing work on panoramas, achieves among the best accuracy for perspective images, and can handle both cuboid-shaped and more general Manhattan layouts.


title: WikiRank: Improving Keyphrase Extraction Based on Background Knowledge

abstract: Keyphrase is an efficient representation of the main idea of documents. While background knowledge can provide valuable information about documents, they are rarely incorporated in keyphrase extraction methods. In this paper, we propose WikiRank, an unsupervised method for keyphrase extraction based on the background knowledge from Wikipedia. Firstly, we construct a semantic graph for the document. Then we transform the keyphrase extraction problem into an optimization problem on the graph. Finally, we get the optimal keyphrase set to be the output. Our method obtains improvements over other state-of-art models by more than 2% in F1-score.


title: Accelerating Learning in Constructive Predictive Frameworks with the Successor Representation

abstract: Here we propose using the successor representation (SR) to accelerate learning in a constructive knowledge system based on general value functions (GVFs). In real-world settings like robotics for unstructured and dynamic environments, it is infeasible to model all meaningful aspects of a system and its environment by hand due to both complexity and size. Instead, robots must be capable of learning and adapting to changes in their environment and task, incrementally constructing models from their own experience. GVFs, taken from the field of reinforcement learning (RL), are a way of modeling the world as predictive questions. One approach to such models proposes a massive network of interconnected and interdependent GVFs, which are incrementally added over time. It is reasonable to expect that new, incrementally added predictions can be learned more swiftly if the learning process leverages knowledge gained from past experience. The SR provides such a means of separating the dynamics of the world from the prediction targets and thus capturing regularities that can be reused across multiple GVFs. As a primary contribution of this work, we show that using SR-based predictions can improve sample efficiency and learning speed in a continual learning setting where new predictions are incrementally added and learned over time. We analyze our approach in a grid-world and then demonstrate its potential on data from a physical robot arm.


title: Socio-spatial Self-organizing Maps: Using Social Media to Assess Relevant Geographies for Exposure to Social Processes

abstract: Social media offers a unique window into attitudes like racism and homophobia, exposure to which are important, hard to measure and understudied social determinants of health. However, individual geo-located observations from social media are noisy and geographically inconsistent. Existing areas by which exposures are measured, like Zip codes, average over irrelevant administratively-defined boundaries. Hence, in order to enable studies of online social environmental measures like attitudes on social media and their possible relationship to health outcomes, first there is a need for a method to define the collective, underlying degree of social media attitudes by region. To address this, we create the Socio-spatial-Self organizing map, "SS-SOM" pipeline to best identify regions by their latent social attitude from Twitter posts. SS-SOMs use neural embedding for text-classification, and augment traditional SOMs to generate a controlled number of non-overlapping, topologically-constrained and topically-similar clusters. We find that not only are SS-SOMs robust to missing data, the exposure of a cohort of men who are susceptible to multiple racism and homophobia-linked health outcomes, changes by up to 42% using SS-SOM measures as compared to using Zip code-based measures.


title: On the structure of matrices avoiding interval-minor patterns

abstract: We study the structure of 01-matrices avoiding a pattern P as an interval minor. We focus on critical P-avoiders, i.e., on the P-avoiding matrices in which changing a 0-entry to a 1-entry always creates a copy of P as an interval minor. Let Q be the 3x3 permutation matrix corresponding to the permutation 231. As our main result, we show that for every pattern P that has no rotated copy of Q as interval minor, there is a constant c(P) such that any row and any column in any critical P-avoiding matrix can be partitioned into at most c(P) intervals, each consisting entirely of 0-entries or entirely of 1-entries. In contrast, for any pattern P that contains a rotated copy of Q, we construct critical P-avoiding matrices of arbitrary size $n\times n$ having a row with $\Omega(n)$ alternating intervals of 0-entries and 1-entries.


title: Face Recognition with Hybrid Efficient Convolution Algorithms on FPGAs

abstract: Deep Convolutional Neural Networks have become a Swiss knife in solving critical artificial intelligence tasks. However, deploying deep CNN models for latency-critical tasks remains to be challenging because of the complex nature of CNNs. Recently, FPGA has become a favorable device to accelerate deep CNNs thanks to its high parallel processing capability and energy efficiency. In this work, we explore different fast convolution algorithms including Winograd and Fast Fourier Transform (FFT), and find an optimal strategy to apply them together on different types of convolutions. We also propose an optimization scheme to exploit parallelism on novel CNN architectures such as Inception modules in GoogLeNet. We implement a configurable IP-based face recognition acceleration system based on FaceNet using High-Level Synthesis. Our implementation on a Xilinx Ultrascale device achieves 3.75x latency speedup compared to a high-end NVIDIA GPU and surpasses previous FPGA results significantly.


title: Quantitative characterization of the imaging limits of diffuse low-grade oligodendrogliomas

abstract: Background : Supratentorial diffuse low-grade gliomas in adults extend beyond maximal visible MRI-defined abnormalities, and a gap exists between the imaging signal changes and the actual tumor margins. Direct quantitative comparisons between imaging and histological analyses are lacking to date. However, they are of the utmost importance if one wishes to develop realistic models for diffuse glioma growth. Methods : In this study, we quantitatively compare the cell concentration and the edema fraction from human histological biopsy samples (BSs) performed inside and outside imaging abnormalities during serial imaging-based stereotactic biopsy of diffuse low-grade gliomas. Results : The cell concentration was significantly higher in BSs located inside (1189 $\pm$ 378 cell/mm$^2$) than outside (740 $\pm$ 124 cell/mm$^2$) MRI-defined abnormalities (p=0.0003). The edema fraction was significantly higher in BSs located inside (mean, 45 $\pm$ 23%) than outside (mean, 5 $\pm$ 9%) MRI-defined abnormalities (p<0.0001). At borders of the MRI-defined abnormalities, 20% of the tissue surface area was occupied by edema, and only 3% by tumor cells. The cycling cell concentration was significantly higher in BSs located inside (10 $\pm$ 12 cell/mm$^2$) compared to outside (0.5 $\pm$ 0.9 cell/mm$^2$) MRI-defined abnormalities (p=0.0001). Conclusions : We show that the margins of T2-weighted signal changes are mainly correlated with the edema fraction. In 62.5% of patients, the cycling tumor cell fraction (defined as the ratio of the cycling tumor cell concentration to the total number of tumor cells) was higher at the limits of the MRI-defined abnormalities than closer to the center of the tumor. In the remaining patients, the cycling tumor cell fraction increased towards the center of the tumor.


title: Combinatorial Modeling and Test Case Generation for Industrial Control Software using ACTS

abstract: Combinatorial testing has been suggested as an effective method of creating test cases at a lower cost. However, industrially applicable tools for modeling and combinatorial test generation are still scarce. As a direct effect, combinatorial testing has only seen a limited uptake in industry that calls into question its practical usefulness. This lack of evidence is especially troublesome if we consider the use of combinatorial test generation for industrial safety-critical control software, such as are found in trains, airplanes, and power plants. To study the industrial application of combinatorial testing, we evaluated ACTS, a popular tool for combinatorial modeling and test generation, in terms of applicability and test efficiency on industrial-sized IEC 61131-3 industrial control software running on Programmable Logic Controllers (PLC). We assessed ACTS in terms of its direct applicability in combinatorial modeling of IEC 61131-3 industrial software and the efficiency of ACTS in terms of generation time and test suite size. We used 17 industrial control programs provided by Bombardier Transportation Sweden AB and used in a train control management system. Our results show that not all combinations of algorithms and interaction strengths could generate a test suite within a realistic cut-off time. The results of the modeling process and the efficiency evaluation of ACTS are useful for practitioners considering to use combinatorial testing for industrial control software as well as for researchers trying to improve the use of such combinatorial testing techniques.


title: Detrimental Network Effects in Privacy: A Graph-theoretic Model for Node-based Intrusions

abstract: Despite proportionality being one of the tenets of data protection laws, we currently lack a robust analytical framework to evaluate the reach of modern data collections and the network effects at play. We here propose a graph-theoretic model and notions of node- and edge-observability to quantify the reach of networked data collections. We first prove closed-form expressions for our metrics and quantify the impact of the graph's structure on observability. Second, using our model, we quantify how (1) from 270,000 compromised accounts, Cambridge Analytica collected 68.0M Facebook profiles; (2) from surveilling 0.01\% the nodes in a mobile phone network, a law-enforcement agency could observe 18.6\% of all communications; and (3) an app installed on 1\% of smartphones could monitor the location of half of the London population through close proximity tracing. Better quantifying the reach of data collection mechanisms is essential to evaluate their proportionality.


title: The Jordan property of Cremona groups and essential dimension

abstract: We use a recent advance in birational geometry to prove new lower bounds on the essential dimension of some finite groups.


title: Constructing de Bruijn sequences by concatenating smaller universal cycles

abstract: We present sufficient conditions for when an ordering of universal cycles $\alpha_1, \alpha_2, \ldots, \alpha_m$ for disjoint sets $\mathbf{S}_1, \mathbf{S}_2, \ldots , \mathbf{S}_m$ can be concatenated together to obtain a universal cycle for $\mathbf{S} = \mathbf{S}_1 \cup \mathbf{S}_2 \cup \cdots \cup \mathbf{S}_m$. When $\mathbf{S}$ is the set of all $k$-ary strings of length $n$, the result of such a successful construction is a de Bruijn sequence. Our conditions are applied to generalize two previously known de Bruijn sequence constructions and then they are applied to develop three new de Bruijn sequence constructions.


title: Datasheets for Datasets

abstract: The machine learning community currently has no standardized process for documenting datasets, which can lead to severe consequences in high-stakes domains. To address this gap, we propose datasheets for datasets. In the electronics industry, every component, no matter how simple or complex, is accompanied with a datasheet that describes its operating characteristics, test results, recommended uses, and other information. By analogy, we propose that every dataset be accompanied with a datasheet that documents its motivation, composition, collection process, recommended uses, and so on. Datasheets for datasets will facilitate better communication between dataset creators and dataset consumers, and encourage the machine learning community to prioritize transparency and accountability.


title: On the birational geometry of spaces of complete forms II: skew-forms

abstract: Moduli spaces of complete skew-forms are compactifications of spaces of skew-symmetric linear maps of maximal rank on a fixed vector space, where the added boundary divisor is simple normal crossing. In this paper we compute their effective, nef and movable cones, the generators of their Cox rings, and for those spaces having Picard rank two we give an explicit presentation of the Cox ring. Furthermore, we give a complete description of both the Mori chamber and stable base locus decompositions of the effective cone of some spaces of complete skew-forms having Picard rank at most four.


title: Message passing-based joint CFO and channel estimation in millimeter wave systems with one-bit ADCs

abstract: Channel estimation at millimeter wave (mmWave) is challenging when large antenna arrays are used. Prior work has leveraged the sparse nature of mmWave channels via compressed sensing based algorithms for channel estimation. Most of these algorithms, though, assume perfect synchronization and are vulnerable to phase errors that arise due to carrier frequency offset (CFO) and phase noise. Recently sparsity-aware, non-coherent beamforming algorithms that are robust to phase errors were proposed for narrowband phased array systems with full resolution analog-to-digital converters (ADCs). Such energy based algorithms, however, are not robust to heavy quantization at the receiver. In this paper, we develop a joint CFO and wideband channel estimation algorithm that is scalable across different mmWave architectures. Our method exploits the sparsity of mmWave MIMO channel in the angle-delay domain, in addition to compressibility of the phase error vector. We formulate the joint estimation as a sparse bilinear optimization problem and then use message passing for recovery. We also give an efficient implementation of a generalized bilinear message passing algorithm for the joint estimation in mmWave systems with one-bit ADCs. Simulation results show that our method is able to recover the CFO and the channel compressively, even in the presence of phase noise.


title: Exploring the robustness of features and enhancement on speech recognition systems in highly-reverberant real environments

abstract: This paper evaluates the robustness of a DNN-HMM-based speech recognition system in highly-reverberant real environments using the HRRE database. The performance of locally-normalized filter bank (LNFB) and Mel filter bank (MelFB) features in combination with Non-negative Matrix Factorization (NMF), Suppression of Slowly-varying components and the Falling edge (SSF) and Weighted Prediction Error (WPE) enhancement methods are discussed and evaluated. Two training conditions were considered: clean and reverberated (Reverb). With Reverb training the use of WPE and LNFB provides WERs that are 3% and 20% lower in average than SSF and NMF, respectively. WPE and MelFB provides WERs that are 11% and 24% lower in average than SSF and NMF, respectively. With clean training, which represents a significant mismatch between testing and training conditions, LNFB features clearly outperform MelFB features. The results show that different types of training, parametrization, and enhancement techniques may work better for a specific combination of speaker-microphone distance and reverberation time. This suggests that there could be some degree of complementarity between systems trained with different enhancement and parametrization methods.


title: Feature Transfer Learning for Deep Face Recognition with Under-Represented Data

abstract: Despite the large volume of face recognition datasets, there is a significant portion of subjects, of which the samples are insufficient and thus under-represented. Ignoring such significant portion results in insufficient training data. Training with under-represented data leads to biased classifiers in conventionally-trained deep networks. In this paper, we propose a center-based feature transfer framework to augment the feature space of under-represented subjects from the regular subjects that have sufficiently diverse samples. A Gaussian prior of the variance is assumed across all subjects and the variance from regular ones are transferred to the under-represented ones. This encourages the under-represented distribution to be closer to the regular distribution. Further, an alternating training regimen is proposed to simultaneously achieve less biased classifiers and a more discriminative feature representation. We conduct ablative study to mimic the under-represented datasets by varying the portion of under-represented classes on the MS-Celeb-1M dataset. Advantageous results on LFW, IJB-A and MS-Celeb-1M demonstrate the effectiveness of our feature transfer and training strategy, compared to both general baselines and state-of-the-art methods. Moreover, our feature transfer successfully presents smooth visual interpolation, which conducts disentanglement to preserve identity of a class while augmenting its feature space with non-identity variations such as pose and lighting.


title: Difference-in-Differences with Multiple Time Periods

abstract: In this article, we consider identification, estimation, and inference procedures for treatment effect parameters using Difference-in-Differences (DiD) with (i) multiple time periods, (ii) variation in treatment timing, and (iii) when the "parallel trends assumption" holds potentially only after conditioning on observed covariates. We show that a family of causal effect parameters are identified in staggered DiD setups, even if differences in observed characteristics create non-parallel outcome dynamics between groups. Our identification results allow one to use outcome regression, inverse probability weighting, or doubly-robust estimands. We also propose different aggregation schemes that can be used to highlight treatment effect heterogeneity across different dimensions as well as to summarize the overall effect of participating in the treatment. We establish the asymptotic properties of the proposed estimators and prove the validity of a computationally convenient bootstrap procedure to conduct asymptotically valid simultaneous (instead of pointwise) inference. Finally, we illustrate the relevance of our proposed tools by analyzing the effect of the minimum wage on teen employment from 2001--2007. Open-source software is available for implementing the proposed methods.


title: An improved DNN-based spectral feature mapping that removes noise and reverberation for robust automatic speech recognition

abstract: Reverberation and additive noise have detrimental effects on the performance of automatic speech recognition systems. In this paper we explore the ability of a DNN-based spectral feature mapping to remove the effects of reverberation and additive noise. Experiments with the CHiME-2 database show that this DNN can achieve an average reduction in WER of 4.5%, when compared to the baseline system, at SNRs equal to -6 dB, -3 dB, 0 dB and 3 dB, and just 0.8% at greater SNRs of 6 dB and 9 dB. These results suggest that this DNN is more effective in removing additive noise than reverberation. To improve the DNN performance, we combine it with the weighted prediction error (WPE) method that shows a complementary behavior. While this combination provided a reduction in WER of approximately 11% when compared with the baseline, the observed improvement is not as great as that obtained using WPE alone. However, modifications to the DNN training process were applied and an average reduction in WER equal to 18.3% was achieved when compared with the baseline system. Furthermore, the improved DNN combined with WPE achieves a reduction in WER of 7.9% when compared with WPE alone.


title: Style Tokens: Unsupervised Style Modeling, Control and Transfer in End-to-End Speech Synthesis

abstract: In this work, we propose "global style tokens" (GSTs), a bank of embeddings that are jointly trained within Tacotron, a state-of-the-art end-to-end speech synthesis system. The embeddings are trained with no explicit labels, yet learn to model a large range of acoustic expressiveness. GSTs lead to a rich set of significant results. The soft interpretable "labels" they generate can be used to control synthesis in novel ways, such as varying speed and speaking style - independently of the text content. They can also be used for style transfer, replicating the speaking style of a single audio clip across an entire long-form text corpus. When trained on noisy, unlabeled found data, GSTs learn to factorize noise and speaker identity, providing a path towards highly scalable but robust speech synthesis.


title: The Importance of Constraint Smoothness for Parameter Estimation in Computational Cognitive Modeling

abstract: Psychiatric neuroscience is increasingly aware of the need to define psychopathology in terms of abnormal neural computation. The central tool in this endeavour is the fitting of computational models to behavioural data. The most prominent example of this procedure is fitting reinforcement learning (RL) models to decision-making data collected from mentally ill and healthy subject populations. These models are generative models of the decision-making data themselves, and the parameters we seek to infer can be psychologically and neurobiologically meaningful. Currently, the gold standard approach to this inference procedure involves Monte-Carlo sampling, which is robust but computationally intensive---rendering additional procedures, such as cross-validation, impractical. Searching for point estimates of model parameters using optimization procedures remains a popular and interesting option. On a novel testbed simulating parameter estimation from a common RL task, we investigated the effects of smooth vs. boundary constraints on parameter estimation using interior point and deterministic direct search algorithms for optimization. Ultimately, we show that the use of boundary constraints can lead to substantial truncation effects. Our results discourage the use of boundary constraints for these applications.


title: Optimal Policies for the Sequential Stochastic Threshold Assignment Problem

abstract: The Stochastic Sequential Threshold Assignment Problem (SSTAP) addresses the optimal assignment of arriving tasks (jobs) to available resources (workers) to maximize a reward function which consists of indicator functions that incorporate threshold constraints. We present an optimal assignment policy for SSTAP, independent of the probability distribution of the job values and of the number of arriving jobs. We show through an example that this type of reward function can model aviation security problems. We analyze the performance limitations of systems that use the SSTAP optimal assignment policy. Finally, we study the multiple levels SSTAP and the SSTAP with uncertainties in workers performance rates.


title: Schooling Choice, Labour Market Matching, and Wages

abstract: We develop inference for a two-sided matching model where the characteristics of agents on one side of the market are endogenous due to pre-matching investments. The model can be used to measure the impact of frictions in labour markets using a single cross-section of matched employer-employee data. The observed matching of workers to firms is the outcome of a discrete, two-sided matching process where firms with heterogeneous preferences over education sequentially choose workers according to an index correlated with worker preferences over firms. The distribution of education arises in equilibrium from a Bayesian game: workers, knowing the distribution of worker and firm types, invest in education prior to the matching process. Although the observed matching exhibits strong cross-sectional dependence due to the matching process, we propose an asymptotically valid inference procedure that combines discrete choice methods with simulation.


title: On Large-Scale Graph Generation with Validation of Diverse Triangle Statistics at Edges and Vertices

abstract: Researchers developing implementations of distributed graph analytic algorithms require graph generators that yield graphs sharing the challenging characteristics of real-world graphs (small-world, scale-free, heavy-tailed degree distribution) with efficiently calculable ground-truth solutions to the desired output. Reproducibility for current generators used in benchmarking are somewhat lacking in this respect due to their randomness: the output of a desired graph analytic can only be compared to expected values and not exact ground truth. Nonstochastic Kronecker product graphs meet these design criteria for several graph analytics. Here we show that many flavors of triangle participation can be cheaply calculated while generating a Kronecker product graph. Given two medium-sized scale-free graphs with adjacency matrices $A$ and $B$, their Kronecker product graph has adjacency matrix $C = A \otimes B$. Such graphs are highly compressible: $|{\cal E}|$ edges are represented in ${\cal O}(|{\cal E}|^{1/2})$ memory and can be built in a distributed setting from small data structures, making them easy to share in compressed form. Many interesting graph calculations have worst-case complexity bounds ${\cal O}(|{\cal E}|^p)$ and often these are reduced to ${\cal O}(|{\cal E}|^{p/2})$ for Kronecker product graphs, when a Kronecker formula can be derived yielding the sought calculation on $C$ in terms of related calculations on $A$ and $B$. We focus on deriving formulas for triangle participation at vertices, ${\bf t}_C$, a vector storing the number of triangles that every vertex is involved in, and triangle participation at edges, $\Delta_C$, a sparse matrix storing the number of triangles at every edge.


title: Controller Synthesis for Discrete-Time Polynomial Systems via Occupation Measures

abstract: In this paper, we design nonlinear state feedback controllers for discrete-time polynomial dynamical systems via the occupation measure approach. We propose the discrete-time controlled Liouville equation, and use it to formulate the controller synthesis problem as an infinite-dimensional linear programming problem on measures, which is then relaxed as finite-dimensional semidefinite programming problems on moments of measures and their duals on sums-of-squares polynomials. Nonlinear controllers can be extracted from the solutions to the relaxed problems. The advantage of the occupation measure approach is that we solve convex problems instead of generally non-convex problems, and the computational complexity is polynomial in the state and input dimensions, and hence the approach is more scalable. In addition, we show that the approach can be applied to over-approximating the backward reachable set of discrete-time autonomous polynomial systems and the controllable set of discrete-time polynomial systems under known state feedback control laws. We illustrate our approach on several dynamical systems.


title: Decomposing Heegaard splittings along separating incompressible surfaces in 3-manifolds

abstract: In this paper, by putting a separating incompressible surface in a 3-manifold into Morse position relative to the height function associated to a strongly irreducible Heegaard splitting, we show that an incompressible subsurface of the Heegaard splitting can be found, by decomposing the 3-manifold along the separating surface. Further if the Heegaard surface is of Hempel distance at least 4, then there is a pair of such subsurfaces on both sides of the given separating surface. This gives a particularly simple hierarchy for the 3-manifold.


title: Splitting the Raman beamsplitter

abstract: We present an atom interferometry technique in which the beamsplitter is split into two separate operations. A microwave pulse first creates a spin-state superposition, before optical adiabatic passage spatially separates the arms of that superposition. Despite using a thermal atom sample in a small ($600 \, \mu$m) interferometry beam, this procedure delivers an efficiency of $99\%$ per $\hbar k$ of momentum separation. Utilizing this efficiency, we first demonstrate interferometry with up to $16\hbar k$ momentum splitting and free-fall limited interrogation times. We then realize a single-source gradiometer, in which two interferometers measuring a relative phase originate from the same atomic wavefunction. Finally, we demonstrate a resonant interferometer with over 100 adiabatic passages, and thus over $ 400 \hbar k$ total momentum transferred.


title: Realtime Time Synchronized Event-based Stereo

abstract: In this work, we propose a novel event based stereo method which addresses the problem of motion blur for a moving event camera. Our method uses the velocity of the camera and a range of disparities to synchronize the positions of the events, as if they were captured at a single point in time. We represent these events using a pair of novel time synchronized event disparity volumes, which we show remove motion blur for pixels at the correct disparity in the volume, while further blurring pixels at the wrong disparity. We then apply a novel matching cost over these time synchronized event disparity volumes, which both rewards similarity between the volumes while penalizing blurriness. We show that our method outperforms more expensive, smoothing based event stereo methods, by evaluating on the Multi Vehicle Stereo Event Camera dataset.


title: Towards a New Paradigm of UAV Safety

abstract: With the rising popularity of UAVs in the civilian world, we are currently witnessing and paradim shift in terms of operational safety of flying vehicles. Safe and ubiquitous human-system interaction shall remain the core requirement but those prescribed in general aviation are not adapted for UAVs. Yet we believe it is possible to leverage the specific aspects of unmanned aviation to meet acceptable safety requirements. We start this paper with by discussing the new operational context of civilian UAVs and investigate the meaning of safety in light of this new context. Next, we explore the different approaches to ensuring system safety from an avionics point of view. Subsets of operational requirements such as geofencing or mechanical systems for termination or impact limitation can easily be implemented. These are presented with the goal of limiting the collateral damages of a system failure. We then present some experimental results regarding two of the major problems with UAVs. With actual impacts, we demonstrate how dangerous uncontrolled crashes can be. Furthermore, with the large number of runaway drone experiences during civilian operations, the risk is even higher as they can travel a long way before crashing. We provide data on such a case where the software controller is working, keeping the UAV in the air, but the operator is unable to actually control the system. It should be terminated! Finally, after having analyzed the context and some actual solutions, based on a minimal set of requirement and our own experience, we are proposing a simple mechanical based safety system. It unequivocally terminates the flight in the most efficient way by instantly removing parts of the propellers leaving a minimal lifting surface. It takes advantage of what controllability may remain but with a deterministic ending: a definite landing.


title: Comparing Population Means under Local Differential Privacy: with Significance and Power

abstract: A statistical hypothesis test determines whether a hypothesis should be rejected based on samples from populations. In particular, randomized controlled experiments (or A/B testing) that compare population means using, e.g., t-tests, have been widely deployed in technology companies to aid in making data-driven decisions. Samples used in these tests are collected from users and may contain sensitive information. Both the data collection and the testing process may compromise individuals' privacy. In this paper, we study how to conduct hypothesis tests to compare population means while preserving privacy. We use the notation of local differential privacy (LDP), which has recently emerged as the main tool to ensure each individual's privacy without the need of a trusted data collector. We propose LDP tests that inject noise into every user's data in the samples before collecting them (so users do not need to trust the data collector), and draw conclusions with bounded type-I (significance level) and type-II errors (1 - power). Our approaches can be extended to the scenario where some users require LDP while some are willing to provide exact data. We report experimental results on real-world datasets to verify the effectiveness of our approaches.


title: (Short Paper) Towards More Reliable Bitcoin Timestamps

abstract: Bitcoin provides freshness properties by forming a blockchain where each block is associated with its timestamp and the previous block. Due to these properties, the Bitcoin protocol is being used as a decentralized, trusted, and secure timestamping service. Although Bitcoin participants which create new blocks cannot modify their order, they can manipulate timestamps almost undetected. This undermines the Bitcoin protocol as a reliable timestamping service. In particular, a newcomer that synchronizes the entire blockchain has a little guarantee about timestamps of all blocks. In this paper, we present a simple yet powerful mechanism that increases the reliability of Bitcoin timestamps. Our protocol can provide evidence that a block was created within a certain time range. The protocol is efficient, backward compatible, and surprisingly, currently deployed SSL/TLS servers can act as reference time sources. The protocol has many applications and can be used for detecting various attacks against the Bitcoin protocol.


title: Blockclique: scaling blockchains through transaction sharding in a multithreaded block graph

abstract: Decentralized crypto-currencies based on the blockchain architecture under-utilize available network bandwidth, making them unable to scale to thousands of transactions per second. We define the Blockclique architecture, that addresses this limitation by sharding transactions in a block graph with a fixed number of threads. The architecture allows the creation of intrinsically compatible blocks in parallel, where each block references one previous block of each thread. The consistency of the Blockclique protocol is formally established in presence of attackers. An experimental evaluation of the architecture's performance in large realistic networks demonstrates an efficient use of available bandwidth and a throughput of thousands of transactions per second.


title: Quantum-state comparison and discrimination

abstract: We investigate the performance of discrimination strategy in the comparison task of known quantum states. In the discrimination strategy, one infers whether or not two quantum systems are in the same state on the basis of the outcomes of separate discrimination measurements on each system. In some cases with more than two possible states, the optimal strategy in minimum-error comparison is that one should infer the two systems are in different states without any measurement, implying that the discrimination strategy performs worse than the trivial "no-measurement" strategy. We present a sufficient condition for this phenomenon to happen. For two pure states with equal prior probabilities, we determine the optimal comparison success probability with an error margin, which interpolates the minimum-error and unambiguous comparison. We find that the discrimination strategy is not optimal except for the minimum-error case.


title: Landauer-B\"uttiker conductivity for spatially-dependent uniaxial strained armchair-terminated graphene nanoribbons

abstract: The Landauer-B\"uttiker conductivity of arbitrary uniaxial spatially dependent strain in an armchair graphene nanoribbon is studied. Due to the uniaxial character of the strain, the corresponding transfer matrix can be reduced to a product of $2\times2$ matrices. Then the conductivity and the Fano factor can be calculated from this product. As an example of the technique, sinusoidal space dependent strain fields are studied using two different strain wavelengths. For the bigger wavelength the conductivity is reduced when compared with the unstrained case, although both conductivities are almost the same in shape. Whereas, for the smaller wavelength case, the conductivity is strongly modified. In spite of this, for energies close to the Dirac point energy, the conductivity and the Fano factor are quite similar to their unstrained counterpart for the two strain wavelengths here studied.


title: Condition for dust evacuation from the first galaxies

abstract: Dust enables low-mass stars to form from low-metallicity gas by inducing fragmentation of clouds via the cooling by its thermal emission. Dust may, however, be evacuated from star-forming clouds due to radiation force from massive stars. We here study the condition for the dust evacuation by comparing the dust evacuation time with the time of cloud destruction due to either expansion of HII regions or supernovae. The cloud destruction time has weak dependence on the cloud radius, while the dust evacuation time becomes shorter for a cloud with the smaller radius. The dust evacuation thus occurs in compact star-forming clouds whose column density is $N_{\rm H} \simeq 10^{24} - 10^{26} ~{\rm cm^{-2}}$. The critical halo mass above which the dust evacuation occurs becomes lower for higher formation redshift, e.g., $\sim 10^{9}~M_{\odot}$ at redshift $z \sim 3$ and $\sim 10^{7}~M_{\odot}$ at $z \sim 9$. In addition, metallicity of the gas should be less than $\sim 10^{-2} ~ Z_{\odot}$. Otherwise the dust attenuation reduces the radiation force significantly. From the dust-evacuated gas, massive stars are likely to form even with metallicity above $\sim 10^{-5}~Z_{\odot}$, the critical value for low-mass star formation due to the dust cooling. This can explain the dearth of ultra-metal poor stars with the metallicity lower than $\sim 10^{-4}~Z_{\odot}$.


title: Automatic Music Accompanist

abstract: Automatic musical accompaniment is where a human musician is accompanied by a computer musician. The computer musician is able to produce musical accompaniment that relates musically to the human performance. The accompaniment should follow the performance using observations of the notes they are playing. This paper describes a complete and detailed construction of a score following and accompanying system using Hidden Markov Models (HMMs). It details how to train a score HMM, how to deal with polyphonic input, how this HMM work when following score, how to build up a musical accompanist. It proposes a new parallel hidden Markov model for score following and a fast decoding algorithm to deal with performance errors.


title: Derivation of the Invariant Free-Energy Landscape Based on Langevin Dynamics

abstract: Conventionally defined free-energy landscape (FEL) exhibits unphysical dependence on the choice of reaction coordinates and hence lacks universal predictive ability. We here show that three physically plausible requirements uniquely determine the FEL formula for a given reaction coordinate. Our FEL is expressed solely in terms of quantities obtained through time-series data analysis, namely, the probability distribution and the diffusion matrix. It is free from any unphysical coordinate dependence and coincides with the conventional FEL in special cases. The uniqueness and robustness of the formula strongly suggest that our FEL has universal predictive power.


title: Astrochemical Evolution Step From Acenaphthylene C12H8 To Pure Carbon C12 Around A Herbig Ae Young Star

abstract: Astrochemical evolution step of polycyclic aromatic hydrocarbon (PAH) around a Herbig Ae young star was analyzed using the first principles quantum chemical calculation. For simplicity, model molecule was selected to be acenaphthylene (C12H8) with hydrocarbon one pentagon combined with two hexagons. In a protoplanetary disk, molecules are illuminated by high energy photon from the central star and ionized to be cation (C12H8)n+ . Calculation shows that from n=0 to 6, molecule keeps its polycyclic hydrocarbon configuration. Whereas, at ionization step n=7, there occurs dehydrogenation of (C12H8) to pure carbon (C12). Such polycyclic pure carbon (PPC) would be attacked again by photons. At a stage of eighth ionization (C12)8+, there occur decomposition to aliphatic carbon chains, C9, C2, and mono carbon C1. Infrared spectra (IR) of those steps were calculated to identify observed spectra . Carrier molecules of Herbig Ae star WW Vul and HD145263 were identified by a combination of (C12H8)2+ and (C12H8)1+. Also, IR of HD37357 could be explained by (C12H8)2+, (C12H8)3+, and (C12H8)1+. Pure carbon molecules play an important role in many stars. IR of HD37258 was analyzed by a mixture of pure carbon (C12)2+, hydrocarbon (C12H8)2+ and neutral (C12H8)0+. Also, complex spectrum of HD38120 was analyzed by (C12)2+, (C12H8)2+ and (C12H8)3+. Acenaphthylene related molecules are just a typical example. We should apply various size molecules to understand total view around a new born star.


title: Adaptive beam loading compensation in room temperature bunching cavities

abstract: In this paper we present the design, simulation, and proof of principle results of an optimization based adaptive feed-forward algorithm for beam-loading compensation in a high impedance room temperature cavity. We begin with an overview of prior developments in beam loading compensation. Then we discuss different techniques for adaptive beam loading compensation and why the use of Newton's Method is of interest for this application. This is followed by simulation and initial experimental results of this method.


title: LLRF controls in SuperKEKB Phase-1 commissioning

abstract: First beam commissioning of SuperKEKB (Phase-1), which is an asymmetry double ring collider of 7-GeV electron and 4-GeV positron beams, which had started from February, has been successfully accomplished at the end of June 2016, and the desired beam current for Phase-1 was achieved in both rings. This paper summarize the operation results related to low level RF (LLRF) control issues during the Phase-1 commissioning, including the system tuning, the coupled bunch instability and the bunch gap transient effect. RF system of SuperKEKB consists of about thirty klystron stations in both rings. Newly developed LLRF control systems were applied to the nine stations among the thirty for Phase-1. The RF reference signal distribution system has been also upgraded for SuperKEKB. These new systems worked well without serious problem and they contributed to smooth progress of the commissioning. The old existing systems, which had been used in the KEKB operation, were still reused for the most stations, and they also worked as soundly as performed in the KEKB operation.


title: Simulation of microphonic effects in high $Q_L$ TESLA cavities during CW operations

abstract: This document describes a new package to compute high performance simulations of a module of superconducting accelerating cavities from the LLRF controller perspective. The reason to make a dedicated C++/Python package is to simulate all the effects that arise during Continuous Wave (CW) operations at different timescales to speed-up the LLRF controller design. In particular the speed of the sampling rate of the ADCs used in a LLRF control system (some MHz) are $10^4$ - $10^5$ times faster than typical mechanical resonances and microphonics frequencies.


title: Commissioning and performance of a phase-compensated optical link for the AWAKE experiment at CERN

abstract: In this work, we analyze the performance of the solution adopted for the compensation of the phase drift of a 3 km optical fiber link used for the AWAKE experiment at CERN. The link is devoted to transmit the reference signals used to synchronize the SPS beam with the experiment to have a fixed phase relation, regardless of the external conditions of the electronics and the link itself. The system has been operating for more than a year without observed drift in the beam phases. Specific measurements have proven that the jitter introduced by the system is lower than 0.6 ps and the maximum phase drift of the link is at the picosecond level.


title: A Bounded Formulation for The School Bus Scheduling Problem

abstract: This paper proposes a new formulation for the school bus scheduling problem (SBSP) which optimizes school start times and bus operation times to minimize transportation cost. Our goal is to minimize the number of buses to serve all bus routes such that each route arrives in a time window before school starts. We present a new time-indexed integer linear programming (ILP) formulation for this problem. Based on a strengthened version of the linear relaxation of the ILP, we develop a dependent randomized rounding algorithm that yields near-optimal solutions for large-scale problem instances. We also generalize our methodologies to solve a robust version of the SBSP.