title: Quantum Entanglement In Inhomogeneous 1D Systems

abstract: The entanglement entropy of the ground state of a quantum lattice model with local interactions usually satisfies an area law. However, in 1D systems some violations may appear in inhomogeneous systems or in random systems. In our inhomogeneous system, the inhomogeneity parameter, $h$, allows us to tune different regimes where a volumetric violation of the area law appears. We apply the strong disorder renormalization group to describe the maximally entangled state of the system in a strong inhomogeneity regime. Moreover, in a weak inhomogeneity regime, we use a continuum approximation to describe the state as a thermo-field double in a conformal field theory with an effective temperature which is proportional to the inhomogeneity parameter of the system. The latter description also shows that the universal scaling features of this model are captured by a massless Dirac fermion in a curved space-time with constant negative curvature $R=-h^2$, providing another example of the relation between quantum entanglement and space-time geometry. The results we discuss here were already published before, but here we present a more didactic exposure of basic concepts of the rainbow system for the students attending the Latin American School of Physics Marcos Moshinsky 2017.


title: Rectangular metric like type spaces and fixed points

abstract: In this paper we introduce the concept of the rectangular metric like spaces, along with its topology and we prove some fixed point theorems under different contraction principles. We introduce the concept of modified metric-like space as well and prove some topological and convergence properties under the symmetric convergence. Some examples are given to illustrate the proven results and enrich the new introduced metric type spaces.


title: Braess paradox in a network with stochastic dynamics and fixed strategies

abstract: The Braess paradox can be observed in road networks used by selfish users. It describes the counterintuitive situation in which adding a new, per se faster, origin-destination connection to a road network results in increased travel times for all network users. We study the network as originally proposed by Braess but introduce microscopic particle dynamics based on the totally asymmetric exclusion processes. In contrast to our previous work [10.1103/PhysRevE.94.062312], where routes were chosen randomly according to turning rates, here we study the case of drivers with fixed route choices. We find that travel time reduction due to the new road only happens at really low densities and Braess' paradox dominates the largest part of the phase diagram. Furthermore, the domain wall phase observed in [10.1103/PhysRevE.94.062312] vanishes. In the present model gridlock states are observed in a large part of phase space. We conclude that the construcion of a new road can often be very critical and should be considered carefully.


title: Quantum Effects in Galileon Black Holes

abstract: Using the Wentzel-Kramers-Brillouin (WKB) approximation we study the formation and propagation of quantum bound states in the vicinity of a Galileon black hole. We show that for given ranges of black hole horizon radii and of the derivative coupling which appears in the metric of the Galileon black hole, a Regge-Wheeler potential containing a local well is formed. Varying the strength of the derivative coupling we investigate the behaviour of the bound states trapped in the potential well or penetrating the horizon of the Galileon black hole.


title: Neutral pion and $\eta$ meson production at mid-rapidity in Pb-Pb collisions at $\sqrt{s_{NN}}$ = 2.76 TeV

abstract: Neutral pion and $\eta$ meson production in the transverse momentum range 1 < $p_{T}$ < 20 GeV/$c$ have been measured at mid-rapidity by the ALICE experiment at the Large Hadron Collider (LHC) in central and semi-central Pb-Pb collisions at $\sqrt{s_{NN}}$ = 2.76 TeV. These results were obtained using the photon conversion method as well as the PHOS and EMCal detectors. The results extend the upper $p_{T}$ reach of the previous ALICE $\pi^{0}$ measurements from 12 GeV/$c$ to 20 GeV/$c$ and present the first measurement of $\eta$ meson production in heavy-ion collisions at the LHC. The $\eta/\pi^{0}$ ratio is similar for the two centralities and reaches at high $p_{T}$ a plateau value of 0.457 $\pm$ 0.013$^{stat}$ $\pm$ 0.018$^{syst}$. A suppression of similar magnitude for $\pi^{0}$ and $\eta$ meson production is observed in Pb-Pb collisions with respect to their production in pp collisions scaled by the number of binary nucleon-nucleon collisions. We discuss the results in terms of NLO pQCD predictions and hydrodynamic models. The measurements show a stronger suppression with respect to what was observed at lower center-of-mass energies in the $p_{T}$ range 6 < $p_{T}$ < 10 GeV/$c$. At $p_{T}$ < 3 GeV/$c$, hadronization models describe the $\pi^{0}$ results while for the $\eta$ some tension is observed.


title: CLT for supercritical branching processes with heavy-tailed branching law

abstract: Consider a branching system with particles moving according to an Ornstein-Uhlenbeck process with drift $\mu>0$ and branching according to a law in the domain of attraction of the $(1+\beta)$-stable distribution. The mean of the branching law is strictly larger than $1$ implying that the system is supercritical and the total number of particles grows exponentially at some rate $\lambda>0$. It is known that the system obeys a law of large numbers. In the paper we study its rate of convergence. We discover an interesting interplay between the branching rate $\lambda$ and the drift parameter $\mu$. There are three regimes of the second order behavior: $\cdot$ small branching, $\lambda <(1+1/\beta) \mu$, then the speed of convergence is the same as in the stable central limit theorem but the limit is affected by the dependence between particles. $\cdot$ critical branching, $\lambda =(1+1/\beta) \mu$, then the dependence becomes strong enough to make the rate of convergence slightly smaller, yet the qualitative behaviour still resembles the stable central limit theorem $\cdot$ large branching, $\lambda > (1+1/\beta) \mu$, then the dependence manifests much more profoundly, the rate of convergence is substantially smaller and strangely the limit holds a.s.


title: A representing system generated by the Szeg\"{o} kernel for the Hardy space

abstract: In this paper we give an explicit construction of a representing system generated by the Szeg\"{o} kernel for the Hardy space. Thus we answer an open question posed by Fricain, Khoi and Lef\`evre. We use frame theory to prove the main result.


title: Quasi-isometry classification of RAAGs that split over cyclic subgroups

abstract: For a one-ended right-angled Artin group, we give an explicit description of its JSJ tree of cylinders over infinite cyclic subgroups in terms of its defining graph. This is then used to classify certain right-angled Artin groups up to quasi-isometry. In particular, we show that if two right-angled Artin groups are quasi-isometric, then their JSJ trees of cylinders are weakly equivalent. Although the converse to this is not generally true, we define quasi-isometry invariants known as stretch factors that can distinguish quasi-isometry classes of RAAGs with weakly equivalence JSJ trees of cylinders. We then show that for many right-angled Artin groups, being weakly equivalent and having matching stretch factors is a complete quasi-isometry invariant.


title: Improving Object Counting with Heatmap Regulation

abstract: In this paper, we propose a simple and effective way to improve one-look regression models for object counting from images. We use class activation map visualizations to illustrate the drawbacks of learning a pure one-look regression model for a counting task. Based on these insights, we enhance one-look regression counting models by regulating activation maps from the final convolution layer of the network with coarse ground-truth activation maps generated from simple dot annotations. We call this strategy heatmap regulation (HR). We show that this simple enhancement effectively suppresses false detections generated by the corresponding one-look baseline model and also improves the performance in terms of false negatives. Evaluations are performed on four different counting datasets --- two for car counting (CARPK, PUCPR+), one for crowd counting (WorldExpo) and another for biological cell counting (VGG-Cells). Adding HR to a simple VGG front-end improves performance on all these benchmarks compared to a simple one-look baseline model and results in state-of-the-art performance for car counting.


title: Challenges in Discriminating Profanity from Hate Speech

abstract: In this study we approach the problem of distinguishing general profanity from hate speech in social media, something which has not been widely considered. Using a new dataset annotated specifically for this task, we employ supervised classification along with a set of features that includes n-grams, skip-grams and clustering-based word representations. We apply approaches based on single classifiers as well as more advanced ensemble classifiers and stacked generalization, achieving the best result of 80% accuracy for this 3-class classification task. Analysis of the results reveals that discriminating hate speech and profanity is not a simple task, which may require features that capture a deeper understanding of the text not always possible with surface n-grams. The variability of gold labels in the annotated data, due to differences in the subjective adjudications of the annotators, is also an issue. Other directions for future work are discussed.


title: Logical Gates via Gliders Collisions

abstract: An elementary cellular automaton with memory is a chain of finite state machines (cells) updating their state simultaneously and by the same rule. Each cell updates its current state depending on current states of its immediate neighbours and a certain number of its own past states. Some cell-state transition rules support gliders, compact patterns of non-quiescent states translating along the chain. We present designs of logical gates, including reversible Fredkin gate and controlled NOT gate, implemented via collisions between gliders.


title: Lost in Normalization

abstract: The consequences of the gauge-coupling dependent normalization-factor of $1/g^{\alpha}$ in the transfer-matrix of 2d U(1) lattice gauge theory are explored. It is seen by the $\alpha=1$ choice that the lowest energy develops a minimum at coupling $g_*=1.125$, leading to a \textit{multi-valued} Gibbs energy similar to the systems with the first-order phase transition. It is argued how the $1/g$ normalization may be regarded as a lost normalization in the commonly used change of variable to the dimensionless angle-variables. Based on the continuum limit at the next-leading order and the Ostrogradsky formulation of higher-order time-derivatives theories, it is argued that the spectrum at continuum is compatible only with the $\alpha=1$ choice.


title: Computational complexity of the avalanche problem on one dimensional Kadanoff sandpiles

abstract: In this paper we prove that the general avalanche problem AP is in NC, for the Kadanoff sandpile model in one dimension, answering an open problem of Formenti, Goles and Martin in 2010. Thus adding one more item to the (slowly) growing list of dimension sensitive problems since in higher dimensions the problem is P-complete (for monotone sandpiles).


title: A Distributed Architecture for Edge Service Orchestration with Guarantees

abstract: The Network Function Virtualization paradigm is attracting the interest of service providers, that may greatly benefit from its flexibility and scalability properties. However, the diversity of possible orchestrated services, rises the necessity of adopting specific orchestration strategies for each service request that are unknown a priori. This paper presents Senate, a distributed architecture that enables precise orchestration of heterogeneous services over a common edge infrastructure. To assign shared resources to service orchestrators, Senate uses the Distributed Orchestration Resource Assignment (DORA), an approximation algorithm that we designed to guarantee both a bound on convergence time and an optimal (1-1/e)-approximation with respect to the Pareto optimal resource assignment. We evaluate advantages of service orchestration with Senate and performance of DORA through a prototype implementation.


title: A Technique Based on Chaos for Brain Computer Interfacing

abstract: A user of Brain Computer Interface (BCI) system must be able to control external computer devices with brain activity. Although the proof-of-concept was given decades ago, the reliable translation of user intent into device control commands is still a major challenge. There are problems associated with classification of different BCI tasks. In this paper we propose the use of chaotic indices of the BCI. We use largest Lyapunov exponent, mutual information, correlation dimension and minimum embedding dimension as the features for the classification of EEG signals which have been released by BCI Competition IV. A multi-layer Perceptron classifier and a KM- SVM(support vector machine classifier based on k-means clustering) is used for classification process, which lead us to an accuracy of 95.5%, for discrimination between two motor imagery tasks.


title: Max-Min Greedy Matching

abstract: A bipartite graph $G(U,V;E)$ that admits a perfect matching is given. One player imposes a permutation $\pi$ over $V$, the other player imposes a permutation $\sigma$ over $U$. In the greedy matching algorithm, vertices of $U$ arrive in order $\sigma$ and each vertex is matched to the lowest (under $\pi$) yet unmatched neighbor in $V$ (or left unmatched, if all its neighbors are already matched). The obtained matching is maximal, thus matches at least a half of the vertices. The max-min greedy matching problem asks: suppose the first (max) player reveals $\pi$, and the second (min) player responds with the worst possible $\sigma$ for $\pi$, does there exist a permutation $\pi$ ensuring to match strictly more than a half of the vertices? Can such a permutation be computed in polynomial time? The main result of this paper is an affirmative answer for this question: we show that there exists a polytime algorithm to compute $\pi$ for which for every $\sigma$ at least $\rho > 0.51$ fraction of the vertices of $V$ are matched. We provide additional lower and upper bounds for special families of graphs, including regular and Hamiltonian. Interestingly, even for regular graphs with arbitrarily large degree (implying a large number of disjoint perfect matchings), there is no $\pi$ ensuring to match more than a fraction $8/9$ of the vertices. The max-min greedy matching problem solves an open problem regarding the welfare guarantees attainable by pricing in sequential markets with binary unit-demand valuations. In addition, it has implications for the size of the unique stable matching in markets with global preferences, subject to the graph structure.


title: Long-time asymptotic expansions for Navier-Stokes equations with power-decaying forces

abstract: The Navier-Stokes equations for viscous, incompressible fluids are studied in the three-dimensional periodic domains, with the body force having an asymptotic expansion, when time goes to infinity, in terms of power-decaying functions in a Sobolev-Gevrey space. Any Leray-Hopf weak solution is proved to have an asymptotic expansion of the same type in the same space, which is uniquely determined by the force, and independent of the individual solutions. In case the expansion is convergent, we show that the next asymptotic approximation for the solution must be an exponential decay. Furthermore, the convergence of the expansion and the range of its coefficients, as the force varies, are investigated.


title: A New Parareal Algorithm for Problems with Discontinuous Sources

abstract: The Parareal algorithm allows to solve evolution problems exploiting parallelization in time. Its convergence and stability have been proved under the assumption of regular (smooth) inputs. We present and analyze here a new Parareal algorithm for ordinary differential equations which involve discontinuous right-hand sides. Such situations occur in various applications, e.g., when an electric device is supplied with a pulse-width-modulated signal. Our new Parareal algorithm uses a smooth input for the coarse problem with reduced dynamics. We derive error estimates that show how the input reduction influences the overall convergence rate of the algorithm. We support our theoretical results by numerical experiments, and also test our new Parareal algorithm in an eddy current simulation of an induction machine.


title: q-Bernoulli Inequality

abstract: In this work, the q-analogue of Bernoulli inequality is proved. Some other related results are presented.


title: Bearing Rigidity Theory and its Applications for Control and Estimation of Network Systems: Life Beyond Distance Rigidity

abstract: The problem of distributed control and estimation for multi-agent systems with limited sensing capabilities is a practical challenge motivated by incomplete and imperfect sensing. This article addresses an important case where each agent in a network can only sense the relative bearings to their nearest neighbors. The study of this topic is motivated mainly by the rapid development of bearing-only sensors such as optical cameras or sensor arrays. This article provides a tutorial review on this topic focusing on the problems of formation control and network localization. A key component of this review is a presentation of the recently developed bearing rigidity theory, which defines a necessary architectural feature of multi-agent systems aiming to solve these two problems. This article presents a high-level summary of recently developed algorithms solving these problems, various simulation examples, and discussions pointing to the relevant literature and important remaining challenges in this area.


title: ITU-T SG 16 WP 3 and ISO/IEC JTC 1/SC 29/WG 11 - JCT3V-C0032: A human visual system based 3D video quality metric

abstract: This contribution proposes a full-reference Human-Visual-System based 3D video quality metric. In this report, the presented metric is used to evaluate the quality of compressed stereo pair formed from a decoded view and a synthesized view. The performance of the proposed metric is verified through a series of subjective tests and compared with that of PSNR, SSIM, MS-SSIM, VIFp, and VQM metrics. The experimental results show that HV3D has the highest correlation with Mean Opinion Scores (MOS) compared to other tested metrics.


title: ISO/IEC JTC1/SC29/WG11 MPEG2014/ m34661: Quality Assessment of High Dynamic Range (HDR) Video Content Using Existing Full-Reference Metrics

abstract: The main focus of this document is to evaluate the performance of the existing LDR and HDR metrics on HDR video content which in turn will allow for a better understanding of how well each of these metrics work and if they can be applied in capturing, compressing, transmitting process of HDR data. To this end a series of subjective tests is performed to evaluate the quality of DML-HDR video database [1], when several different representing types of artifacts are present using a HDR display. Then, the correlation between the results from the existing LDR and HDR quality metrics and those from subjective tests is measured to determine the most effective exiting quality metric for HDR.


title: Dark matter constraints from dwarf galaxies: a data-driven analysis

abstract: Dwarf galaxies represent a powerful probe of annihilating dark matter particle models, with gamma-ray data setting some of the best bounds available. A major issue in improving over existing constraints consists in the limited knowledge of the astrophysical background (mostly diffuse photons, but also unresolved sources). Perhaps more worrisome, several approaches in the literature suffer of the difficulty of assessing the systematic error due to background mis-modelling. Here we propose a data-driven method to estimate the background at the dwarf position and its uncertainty, relying on an appropriate use of the whole-sky data, via an optimisation procedure of the interpolation weights. While this article is mostly methodologically oriented, we also report the bounds based on latest Fermi-LAT data and updated information for J-factors for both isolated and stacked dwarfs. Our results are very competitive with the Fermi-LAT ones, while being derived with a more general and flexible method. We discuss the impact of profiling over the J-factor as well as over the background probability distribution function, with the latter resulting for instance crucial in drawing conclusions of compatibility with DM interpretations of the so-called Galactic Centre Excess.


title: Geometric momentum and angular momentum for charge-monopole system

abstract: For a charge-monopole pair, though the definition of the orbital angular momentum is different from the usual one, and the transverse part of the momentum that includes the vector potential as an additive term turns out to be the so-called geometric momentum that is under intensive study recently. For the charge is constrained on the spherical surface with monopole at the origin, the commutation relations between all components of geometric momentum and the orbital angular momentum satisfy the $so(3,1)$ algebra. With construction of the geometrically infinitesimal displacement operator based on the geometric momentum, the $so(3,1)$ algebra implies the Aharonov-Bohm phase shift. The related problems such as charge and flux quantization are also addressed.


title: On the Approximation of Constrained Linear Quadratic Regulator Problems and their Application to Model Predictive Control - Supplementary Notes

abstract: By parametrizing input and state trajectories with basis functions different approximations to the constrained linear quadratic regulator problem are obtained. These notes present and discuss technical results that are intended to supplement a corresponding journal article. The results can be applied in a model predictive control context.


title: Thermal Behavior of a Single Magnetic Vortex Studied with Magnetotransport

abstract: Spin textures such as skyrmions and magnetic vortices are good candidates for a variety of applications, such as magnetic memories, oscillators and neuromorphic computing. Understanding the magnetic process of these systems is important, as it determines the system's response in field and frequency. In this work, we investigated the magnetization process of single microdisks by measuring their magnetotransport properties as a function of temperature. The strong dependence of resistance on the disks magnetic state helped us understand the magnetization configurations of a single microdisk for different temperatures and fields. We determined the thermal barriers for the nucleation and annihilation processes by fitting the nucleation and annihilation fields to an exponential model. Moreover, we observed and characterized the domain wall depinning effect for temperatures below 100 K. This effect prevents the formation of a magnetic vortex during the nucleation process.


title: $\Lambda\Lambda$ pairing in multi-strange hypernuclei

abstract: Multi-strange Ca, Sn and Pb hypernuclei with $\Lambda\Lambda$ pairing interaction are investigated within the Hartree-Fock-Bogoliubov approach. The unknown $\Lambda\Lambda$ pairing strength is calibrated to match with the maximal value for the prediction of the $\Lambda$ pairing gap in uniform matter for densities and isospin asymmetries equivalent to those existing in multi-$\Lambda$ hypernuclei. In this way, we provide an upper bound for the prediction of the $\Lambda$ pairing gap and its effects in hypernuclei. The condensation energy is predicted to be about 3~MeV as a maximum value, yielding small corrections on density distributions and shell structure. In addition, conditions on both Fermi energies and orbital angular momenta are expected to quench the nucleon-$\Lambda$ pairing for most of hypernuclei.


title: Limitations of P-Values and $R^2$ for Stepwise Regression Building: A Fairness Demonstration in Health Policy Risk Adjustment

abstract: Stepwise regression building procedures are commonly used applied statistical tools, despite their well-known drawbacks. While many of their limitations have been widely discussed in the literature, other aspects of the use of individual statistical fit measures, especially in high-dimensional stepwise regression settings, have not. Giving primacy to individual fit, as is done with p-values and $R^2$, when group fit may be the larger concern, can lead to misguided decision making. One of the most consequential uses of stepwise regression is in health care, where these tools allocate hundreds of billions of dollars to health plans enrolling individuals with different predicted health care costs. The main goal of this "risk adjustment" system is to convey incentives to health plans such that they provide health care services fairly, a component of which is not to discriminate in access or care for persons or groups likely to be expensive. We address some specific limitations of p-values and $R^2$ for high-dimensional stepwise regression in this policy problem through an illustrated example by additionally considering a group-level fairness metric.


title: Dynamical screening function and plasmons in the wide HgTe quantum wells at high temperatures

abstract: Dynamical screening function of the two-dimensional electron gas in wide HgTe quantum well (QW) has been numerically modelled in this work. Calculations were provided in the Random Phase Approximation (RPA) framework and were based on Lindhard equation. Our simulations directly incorporated non-parabolicity of bulk 2D carriers spectrum, which was obtained by full 8-band k.p method. In the literature exists data that transport properties of HgTe QWs are explained by graphene-like screening. We provide the comparison of the screening function for the Schrodinger fermions in the inverted bands HgTe QW with the appropriate screening function for graphene monolayer with the Dirac fermions. In addition, the dependencies of HgTe-specific screening function on temperature, scattering wave-vector and frequency are studied with the purpose to study the transport properties under high-frequency radiation the QWs structures to be used as THz detectors. Plasmon frequencies of 2DEG in HgTe quantum well under study were calculated in the long-wavelength limit for T=77K.


title: Sphericality and Smoothness of Schubert Varieties

abstract: We consider the action of the Levi subgroup of a parabolic subgroup that stabilizes a Schubert variety. We show that a smooth Schubert variety is a homogeneous space for a parabolic subgroup, or it has a smooth Schubert divisor. Further, we show that all smooth Schubert varieties in a (partial) flag variety of a rank two simple algebraic group are spherical.


title: Translation operator with exceptional Laguerre polynomials

abstract: We extend the notion of general translation operator to exceptional Laguerre polynomials. To this we investigate the associated singular hyperbolic Cauchy problem. We derive a maximum principle with respect to this Cauchy problem and applying it we determine the norm of the translation operator. As an application we give Nikol'skii inequalities with respect to exceptional Laguerre polynomials.


title: Plaquette order in classical spin liquid stabilized by strong off-diagonal exchange

abstract: We report a new classical spin liquid in which the collective flux degrees of freedom break the translation symmetry of the honeycomb lattice. This exotic phase exists in frustrated spin-orbit magnets where a dominant off-diagonal exchange, the so-called $\Gamma$ term, results in a macroscopic ground-state degeneracy at the classical level. We demonstrate that the system undergoes a phase transition driven by thermal order-by-disorder at a critical temperature $T_c \approx 0.04 |\Gamma|$. At first sight, this transition reduces an emergent spherical spin-symmetry to a cubic one: spins point predominantly toward the cubic axes at $T < T_c$. However, this seems to simply restore the cubic symmetry of the $\Gamma$ model, and the non-coplanar spins remain disordered below $T_c$. We show that the phase transition actually corresponds to plaquette ordering of hexagonal fluxes and the cubic symmetry is indeed broken, a scenario that is further confirmed by our extensive Monte Carlo simulations.


title: Bad Smells in Software Analytics Papers

abstract: CONTEXT: There has been a rapid growth in the use of data analytics to underpin evidence-based software engineering. However the combination of complex techniques, diverse reporting standards and poorly understood underlying phenomena are causing some concern as to the reliability of studies. OBJECTIVE: Our goal is to provide guidance for producers and consumers of software analytics studies (computational experiments and correlation studies). METHOD: We propose using "bad smells", i.e., surface indications of deeper problems and popular in the agile software community and consider how they may be manifest in software analytics studies. RESULTS: We list 12 "bad smells" in software analytics papers (and show their impact by examples). CONCLUSIONS: We believe the metaphor of bad smell is a useful device. Therefore we encourage more debate on what contributes to the validty of software analytics studies (so we expect our list will mature over time).


title: How Physics Textbooks Embed Meaning in the Equals Sign

abstract: Physics as a discipline embeds conceptual meaning about the physical world in mathematical formalism. The meaning associated with mathematical symbols depends on context, and physicists can shift conceptual meaning by manipulating those symbols. We present an analysis of the different physical meanings associated with the equal sign "=" that can be inferred from introductory and upper--level physics textbooks. Five distinct meanings/categories are identified: causality, balancing, definitional, assignment, and calculation, each with operational definitions that help identify their presence. The different uses can be seen to link mathematical equations to intuitive conceptual ideas, and significant differences in the frequency with which these are used exist between textbooks of different levels.


title: Probing the non-Debye low frequency excitations in glasses through random pinning

abstract: We investigate the properties of the low-frequency spectrum in the density of states $D(\omega)$ of a three-dimensional model glass former. To magnify the Non-Debye sector of the spectrum, we introduce a random pinning field that freezes a finite particle fraction in order to break the translational invariance and shifts all the vibrational frequencies of the extended modes towards higher frequencies. We show that Non-Debye soft localized modes progressively emerge as the fraction $p$ of pinned particles increases. Moreover, the low-frequency tail of $D(\omega)$ goes to zero as a power law $\omega^{\delta(p)}$, with $2 \!\leq \! \delta(p) \!\leq\!4$ and $\delta\!=\!4$ above a threshold fraction $p_{th}$.


title: Sequential and exact formulae for the subdifferential of nonconvex integral functionals

abstract: This work concerns the study of the subdifferential of the integral functional $$ E_f(x)=\int_{T} f(t,x)d\mu(t), $$ where $f$ is a (not necessarily convex) normal integrand, $({T},\mathcal{A},\mu)$ is a $\sigma$-finite measure space, while the decision variables vary in a separable Asplund space. First, using techniques of variational analysis we establish sequential approximate formulae for the Fr\'echet subdifferential of $E_f$. Secondly, we introduce a Lipschitz-like condition, which allows us to give an upper-estimation for the limiting subdifferential of $E_{f}$ even when this functional is non-Lipschitz.


title: Observational constraints on the tilted flat-XCDM and the untilted nonflat XCDM dynamical dark energy inflation parameterizations

abstract: We constrain tilted spatially-flat and untilted nonflat XCDM dynamical dark energy inflation parameterizations using Planck 2015 cosmic microwave background (CMB) anisotropy data and recent baryonic acoustic oscillations distance measurements, Type Ia supernovae data, Hubble parameter observations, and growth rate measurements. Inclusion of the four non-CMB data sets results in a significant strengthening of the evidence for nonflatness in the nonflat XCDM model from 1.1$\sigma$ for the CMB data alone to 3.4$\sigma$ for the full data combination. In this untilted nonflat XCDM case the data favor a spatially-closed model in which spatial curvature contributes a little less than a percent of the current cosmological energy budget; they also mildly favor dynamical dark energy over a cosmological constant at 1.2$\sigma$. These data are also better fit by the flat-XCDM parameterization than by the standard $\Lambda$CDM model, but only at 0.3$\sigma$ significance. Current data is unable to rule out dark energy dynamics. The nonflat XCDM parameterization is compatible with the Dark Energy Survey limits on the present value of the rms mass fluctuations amplitude ($\sigma_8$) as a function of the present value of the nonrelativistic matter density parameter ($\Omega_m$), however it does not provide as good a fit to the higher multipole CMB temperature anisotropy data as does the standard tilted flat-$\Lambda$CDM model. A number of measured cosmological parameter values differ significantly when determined using the tilted flat-XCDM and the nonflat XCDM parameterizations, including the baryonic matter density parameter and the reionization optical depth.


title: A note on series with recursively defined terms

abstract: In this note we study the convergence of recursively defined infinite series. We explore the role of the derivative of the defining function at the origin (if it exists), and develop a comparison test for such series which can be used even if the defining function of the series is not differentiable.


title: Positivity Cones under Deformations of Complex Structures

abstract: We investigate connections between the sGG property of compact complex manifolds, defined in earlier work by the second author and L. Ugarte by the requirement that every Gauduchon metric be strongly Gauduchon, and a possible degeneration of the Fr\"olicher spectral sequence. In the first approach that we propose, we prove a partial degeneration at $E_2$ and we introduce a positivity cone in the $E_2$-cohomology of bidegree $(n-2,\,n)$ of the manifold that we then prove to behave lower semicontinuously under deformations of the complex structure. In the second approach that we propose, we introduce an analogue of the $\partial\bar\partial$-lemma property of compact complex manifolds for any real non-zero constant $h$ using the partial twisting $d_h$, introduced recently by the second author, of the standard Poincar\'e differential $d$. We then show, among other things, that this $h$-$\partial\bar\partial$-property is deformation open.


title: Metric-affine f(R,T) theories of gravity and their applications

abstract: We study f(R,T) theories of gravity, where T is the trace of the energy-momentum tensor T_{\mu\nu}, with independent metric and affine connection (metric-affine theories). We find that the resulting field equations share a close resemblance with their metric-affine f(R) relatives once an effective energy-momentum tensor is introduced. As a result, the metric field equations are second-order and no new propagating degrees of freedom arise as compared to GR, which contrasts with the metric formulation of these theories, where a dynamical scalar degree of freedom is present. Analogously to its metric counterpart, the field equations impose the non-conservation of the energy-momentum tensor, which implies non-geodesic motion and consequently leads to the appearance of an extra force. The weak field limit leads to a modified Poisson equation formally identical to that found in Eddington-inspired Born-Infeld gravity. Furthermore, the coupling of these gravity theories to perfect fluids, electromagnetic, and scalar fields, and their potential applications are discussed.


title: Unpaired Image Captioning by Language Pivoting

abstract: Image captioning is a multimodal task involving computer vision and natural language processing, where the goal is to learn a mapping from the image to its natural language description. In general, the mapping function is learned from a training set of image-caption pairs. However, for some language, large scale image-caption paired corpus might not be available. We present an approach to this unpaired image captioning problem by language pivoting. Our method can effectively capture the characteristics of an image captioner from the pivot language (Chinese) and align it to the target language (English) using another pivot-target (Chinese-English) sentence parallel corpus. We evaluate our method on two image-to-English benchmark datasets: MSCOCO and Flickr30K. Quantitative comparisons against several baseline approaches demonstrate the effectiveness of our method.


title: Motion control and optical interrogation of a levitating single NV in vacuum

abstract: Levitation optomechanics exploits the unique mechanical properties of trapped nano-objects in vacuum in order to address some of the limitations of clamped nanomechanical resonators. In particular, its performance is foreseen to contribute to a better understanding of quantum decoherence at the mesoscopic scale as well as to lead to novel ultra-sensitive sensing schemes. While most efforts have so far focused on optical trapping of low absorbing silica particles, further opportunities arise from levitating objects with internal degrees of freedom like color centers. Nevertheless, inefficient heat dissipation at low pressures poses a challenge, as most nano-objects, even with low absorbing materials, experience photo-damage in an optical trap. Here, by using a Paul trap, we demonstrate levitation in vacuum and center-of-mass feedback cooling of a nanodiamond hosting a single nitrogen-vacancy center. The achieved level of motion control enables us to optically interrogate and characterize the emitter response. The developed platform is applicable to a wide range of other nano-objects and represents a promising step towards coupling internal and external degrees of freedom.


title: Robust Distributed Control Beyond Quadratic Invariance

abstract: The problem of robust distributed control arises in several large-scale systems, such as transportation networks and power grid systems. In many practical scenarios controllers might not have enough information to make globally optimal decisions in a tractable way. We propose a novel class of tractable optimization problems whose solution is a controller complying with any specified information structure. The approach we suggest is based on decomposing intractable information constraints into two subspace constraints in the disturbance feedback domain. We discuss how to perform the decomposition in an optimized way. The resulting control policy is globally optimal when a condition known as Quadratic Invariance (QI) holds, whereas it is feasible and it provides a provable upper bound on the minimum cost when QI does not hold. Finally, we show that our method can lead to improved performance guarantees with respect to previous approaches, by applying the developed techniques to the platooning of autonomous vehicles.


title: Machine learning-assisted virtual patching of web applications

abstract: Web applications are permanently being exposed to attacks that exploit their vulnerabilities. In this work we investigate the application of machine learning techniques to leverage Web Application Firewall (WAF), a technology that is used to detect and prevent attacks. We propose a combined approach of machine learning models, based on one-class classification and n-gram analysis, to enhance the detection and accuracy capabilities of MODSECURITY, an open source and widely used WAF. The results are promising and outperform MODSECURITY when configured with the OWASP Core Rule Set, the baseline configuration setting of a widely deployed, rule-based WAF technology. The proposed solution, combining both approaches, allow us to deploy a WAF when no training data for the application is available (using one-class classification), and an improved one using n-grams when training data is available.


title: Self-Supervised Monocular Image Depth Learning and Confidence Estimation

abstract: Convolutional Neural Networks (CNNs) need large amounts of data with ground truth annotation, which is a challenging problem that has limited the development and fast deployment of CNNs for many computer vision tasks. We propose a novel framework for depth estimation from monocular images with corresponding confidence in a self-supervised manner. A fully differential patch-based cost function is proposed by using the Zero-Mean Normalized Cross Correlation (ZNCC) that takes multi-scale patches as a matching strategy. This approach greatly increases the accuracy and robustness of the depth learning. In addition, the proposed patch-based cost function can provide a 0 to 1 confidence, which is then used to supervise the training of a parallel network for confidence map learning and estimation. Evaluation on KITTI dataset shows that our method outperforms the state-of-the-art results.


title: Low coherence unit norm tight frames

abstract: Equiangular tight frames (ETFs) have found significant applications in signal processing and coding theory due to their robustness to noise and transmission losses. ETFs are characterized by the fact that the coherence between any two distinct vectors is equal to the Welch bound. This guarantees that the maximum coherence between pairs of vectors is minimized. Despite their usefulness and widespread applications, ETFs of a given size $N$ are only guaranteed to exist in $\mathbb{R}^{d}$ or $\mathbb{C}^{d}$ if $N = d + 1$. This leads to the problem of finding approximations of ETFs of $N$ vectors in $\mathbb{R}^{d}$ or $\mathbb{C}^{d}$ where $N > d+1.$ To be more precise, one wishes to construct a unit norm tight frame (UNTF) such that the maximum coherence between distinct vectors of this frame is as close to the Welch bound as possible. In this paper low coherence UNTFs in $\mathbb{R}^d$ are constructed by adding a strategically chosen set of vectors called an "optimal" set to an existing ETF of $d+1$ vectors. In order to do so, combinatorial objects called block designs are used. Estimates are provided on the maximum coherence between distinct vectors of this low coherence UNTF. It is shown that for certain block designs, the constructed UNTF attains the smallest possible maximum coherence between pairs of vectors among all UNTFs containing the starting ETF of $d+1$ vectors. This is particularly desirable if there does not exist a set of the same size for which the Welch bound is attained.


title: Thermal transport in semiconductor nanostructures, graphene and related two-dimensional materials

abstract: We review experimental and theoretical results on thermal transport in semiconductor nanostructures (multilayer thin films, core/shell and segmented nanowires), single- and few-layer graphene, hexagonal boron nitride, molybdenum disulfide and black phosphorus. Different possibilities of phonon engineering for optimization of electrical and heat conductions are discussed. The role of the phonon energy spectra modification on the thermal conductivity in semiconductor nanostructures is revealed. The dependence of thermal conductivity in graphene and related two-dimensional (2D) materials on temperature, flake size, defect concentration, edge roughness and strain is analyzed.


title: An algorithm for the word entropy

abstract: For any infinite word $w$ on a finite alphabet $A$, the complexity function $p_w$ of $w$ is the sequence counting, for each non-negative $n$, the number $p_w(n)$ of words of length $n$ on the alphabet $A$ that are factors of the infinite word $w$ and the the entropy of $w$ is the quantity $E(w)=\lim\limits_{n\to\infty}\frac 1n\log p_w(n)$. For any given function $f$ with exponential growth, Mauduit and Moreira introduced in [MM17] the notion of word entropy $E_W(f) = \sup \{E(w), w \in A^{{\mathbb N}}, p_w \le f \}$ and showed its links with fractal dimensions of sets of infinite sequences with complexity function bounded by $f$. The goal of this work is to give an algorithm to estimate with arbitrary precision $E_W(f)$ from finitely many values of $f$.


title: Las antenas de espacio profundo en la Argentina

abstract: Since December 2012, the Deep Space Antenna DS3 of the European Space Agency was inaugurated in the province of Mendoza. The possibility of using this equipment for space and scientific activities was promoted by our country. Several scientific institutions in the country are working together so that part of the observation time assigned to Argentina can be used by the astronomical community. Some results have already been presented at meetings of the AAA. Now the Deep Space antenna that China has installed in the province of Neuquen as part of its Lunar Exploration Program is added to the Argentine observational capabilities. This paper describes the characteristics of the new station and the role that Argentina has in this project through its space agency, CONAE.


title: An Assertion-Based Program Logic for Probabilistic Programs

abstract: Research on deductive verification of probabilistic programs has considered expectation-based logics, where pre- and post-conditions are real-valued functions on states, and assertion-based logics, where pre- and post-conditions are boolean predicates on state distributions. Both approaches have developed over nearly four decades, but they have different standings today. Expectation-based systems have managed to formalize many sophisticated case studies, while assertion-based systems today have more limited expressivity and have targeted simpler examples. We present Ellora, a sound and relatively complete assertion-based program logic, and demonstrate its expressivity by verifying several classical examples of randomized algorithms using an implementation in the EasyCrypt proof assistant. Ellora features new proof rules for loops and adversarial code, and supports richer assertions than existing program logics. We also show that Ellora allows convenient reasoning about complex probabilistic concepts by developing a new program logic for probabilistic independence and distribution law, and then smoothly embedding it into Ellora. Our work demonstrates that the assertion-based approach is not fundamentally limited and suggests that some notions are potentially easier to reason about in assertion-based systems.


title: Evaluation of Dense 3D Reconstruction from 2D Face Images in the Wild

abstract: This paper investigates the evaluation of dense 3D face reconstruction from a single 2D image in the wild. To this end, we organise a competition that provides a new benchmark dataset that contains 2000 2D facial images of 135 subjects as well as their 3D ground truth face scans. In contrast to previous competitions or challenges, the aim of this new benchmark dataset is to evaluate the accuracy of a 3D dense face reconstruction algorithm using real, accurate and high-resolution 3D ground truth face scans. In addition to the dataset, we provide a standard protocol as well as a Python script for the evaluation. Last, we report the results obtained by three state-of-the-art 3D face reconstruction systems on the new benchmark dataset. The competition is organised along with the 2018 13th IEEE Conference on Automatic Face & Gesture Recognition.


title: Stochastic oscillations produce dragon king avalanches in self-organized quasi-critical systems

abstract: In the last decade, several models with network adaptive mechanisms (link deletion-creation, dynamic synapses, dynamic gains) have been proposed as examples of self-organized criticality (SOC) to explain neuronal avalanches. However, all these systems present stochastic oscillations hovering around the critical region that are incompatible with standard SOC. This phenomenology has been called self-organized quasi-criticality (SOqC). Here we make a linear stability analysis of the mean field fixed points of two SOqC systems: a fully connected network of discrete time stochastic spiking neurons with firing rate adaptation produced by dynamic neuronal gains and an excitable cellular automata with depressing synapses. We find that the fixed point corresponds to a stable focus that loses stability at criticality. We argue that when this focus is close to become indifferent, demographic noise can elicit stochastic oscillations that frequently fall into the absorbing state. This mechanism interrupts the oscillations, producing both power law avalanches and dragon king events, which appear as bands of synchronized firings in raster plots. Our approach differs from standard SOC models in that it predicts the coexistence of these different types of neuronal activity.


title: Optimally band-limited spectroscopy of control noise using a qubit sensor

abstract: Classical control noise is ubiquitous in qubit devices, making its accurate spectral characterization essential for designing optimized error suppression strategies at the physical level. Here, we focus on multiplicative Gaussian amplitude control noise on a driven qubit sensor and show that sensing protocols using optimally band-limited Slepian modulation offer substantial benefit in realistic scenarios. Special emphasis is given to laying out the theoretical framework necessary for extending non-parametric multitaper spectral estimation to the quantum setting by highlighting key points of contact and differences with respect to the classical formulation. In particular, we introduce and analyze two approaches (adaptive vs. single-setting) to quantum multitaper estimation, and show how they provide a practical means to both identify fine spectral features not otherwise detectable by existing protocols and to obtain reliable prior estimates for use in subsequent parametric estimation, including high-resolution Bayesian techniques. We quantitatively characterize the performance of both single- and multitaper Slepian estimation protocols by numerically reconstructing representative spectral densities, and demonstrate their advantage over dynamical-decoupling noise spectroscopy approaches in reducing bias from spectral leakage as well as in compensating for aliasing effects while maintaining a desired sampling resolution.


title: Tutte Invariants for Alternating Dimaps

abstract: An alternating dimap is an orientably embedded Eulerian directed graph where the edges incident with each vertex are directed inwards and outwards alternately. Three reduction operations for alternating dimaps were investigated by Farr. A minor of an alternating dimap can be obtained by reducing some of its edges using the reduction operations. Unlike classical minor operations, these reduction operations do not commute in general. A Tutte invariant for alternating dimaps is a function $ P $ defined on every alternating dimap and taking values in a field such that $ P $ is invariant under isomorphism and obeys a linear recurrence relation involving reduction operations. It is well known that if a graph $ G $ is planar, then the Tutte polynomial $ T $ satisfies $ T(G;x,y)=T(G^{*};y,x) $. We note an analogous relation for the extended Tutte invariants for alternating dimaps introduced by Farr. We then characterise the Tutte invariant for alternating dimaps of genus zero under several conditions. As a result of the non-commutativity of the reduction operations, the recursions based on them cannot always be satisfied. We investigate the properties of alternating dimaps of genus zero that are required in order to obtain a well defined Tutte invariant. Some excluded minor characterisations for these alternating dimaps are also given.


title: Generation of quasi continuous-wave electron beams in an L-band normal conducting pulsed RF injector for laboratory astrophysics experiments

abstract: We report on an approach to produce quasi continuous-wave (cw) electron beams with an average beam current of milliamperes and a mean beam energy of a few MeV in a pulsed RF injector. Potential applications are in the planned laboratory astrophysics programs at DESY. The beam generation is based on field emission from a specially designed metallic field emitter. A quasi cw beam profile is formed over subsequent RF cycles at the resonance frequency of the gun cavity. This is realized by debunching in a cut disk structure accelerating cavity (booster) downstream of the gun. The peak and average beam currents can be tuned in beam dynamics simulations by adjusting operation conditions of the booster cavity. Optimization of the transverse beam size at specific positions (e.g., entrance of the plasma experiment) is performed by applying magnetic focusing fields provided by solenoids along the beam line. In this paper, the design of a microtip field emitter is introduced and characterized in electromagnetic field simulations in the gun cavity. A series of particle tracking simulations are conducted for multi-parametric optimization of the parameters of the produced quasi cw electron beams. The obtained results will be presented and discussed. In addition, measurements of the parasitic field emission (PFE) current (dark current) in the PITZ gun will be exemplarily shown to distinguish its order of magnitude from the produced beam current by the designed field emitter.


title: Context-Aware Mixed Reality: A Framework for Ubiquitous Interaction

abstract: Mixed Reality (MR) is a powerful interactive technology that yields new types of user experience. We present a semantic based interactive MR framework that exceeds the current geometry level approaches, a step change in generating high-level context-aware interactions. Our key insight is to build semantic understanding in MR that not only can greatly enhance user experience through object-specific behaviours, but also pave the way for solving complex interaction design challenges. The framework generates semantic properties of the real world environment through dense scene reconstruction and deep image understanding. We demonstrate our approach with a material-aware prototype system for generating context-aware physical interactions between the real and the virtual objects. Quantitative and qualitative evaluations are carried out and the results show that the framework delivers accurate and fast semantic information in interactive MR environment, providing effective semantic level interactions.


title: A Game-Theoretic Framework for the Virtual Machines Migration Timing Problem

abstract: In a multi-tenant cloud, a number of Virtual Machines (VMs) are collocated on the same physical machine to optimize performance, power consumption and maximize profit. This, however, increases the risk of a malicious VM performing side-channel attacks and leaking sensitive information from neighboring VMs. To this end, this paper develops and analyzes a game-theoretic framework for the VM migration timing problem in which the cloud provider decides \emph{when} to migrate a VM to a different physical machine to reduce the risk of being compromised by a collocated malicious VM. The adversary decides the rate at which she launches new VMs to collocate with the victim VMs. Our formulation captures a data leakage model in which the cost incurred by the cloud provider depends on the duration of collocation with malicious VMs. It also captures costs incurred by the adversary in launching new VMs and by the defender in migrating VMs. We establish sufficient conditions for the existence of Nash equilibria for general cost functions, as well as for specific instantiations, and characterize the best response for both players. Furthermore, we extend our model to characterize its impact on the attacker's payoff when the cloud utilizes intrusion detection systems that detect side-channel attacks. Our theoretical findings are corroborated with extensive numerical results in various settings.


title: Active matter invasion of a viscous fluid: unstable sheets and a no-flow theorem

abstract: We investigate the dynamics of a dilute suspension of hydrodynamically interacting motile or immotile stress-generating swimmers or particles as they invade a surrounding viscous fluid. Colonies of aligned pusher particles are shown to elongate in the direction of particle orientation and undergo a cascade of transverse concentration instabilities, governed at small times by an equation which also describes the Saffman-Taylor instability in a Hele-Shaw cell, or Rayleigh-Taylor instability in two-dimensional flow through a porous medium. Thin sheets of aligned pusher particles are always unstable, while sheets of aligned puller particles can either be stable (immotile particles), or unstable (motile particles) with a growth rate which is non-monotonic in the force dipole strength. We also prove a surprising "no-flow theorem": a distribution initially isotropic in orientation loses isotropy immediately but in such a way that results in no fluid flow everywhere and for all time.

categories: cond-mat.soft physics.bio-ph physics.flu-dyn q-bio.CB


title: Testing the homogeneity of risk differences with sparse count data

abstract: In this paper, we consider testing the homogeneity of risk differences in independent binomial distributions especially when data are sparse. We point out some drawback of existing tests in either controlling a nominal size or obtaining powers through theoretical and numerical studies. The proposed test is designed to avoid such drawback of existing tests. We present the asymptotic null distributions and asymptotic powers for our proposed test. We also provide numerical studies including simulations and real data examples showing the proposed test has reliable results compared to existing testing procedures.


title: Synthetic antiferromagnetic coupling between ultra-thin insulating garnets

abstract: The use of magnetic insulators is attracting a lot of interest due to a rich variety of spin-dependent phenomena with potential applications to spintronic devices. Here we report ultra-thin yttrium iron garnet (YIG) / gadolinium iron garnet (GdIG) insulating bilayers on gadolinium iron garnet (GGG). From spin Hall magnetoresistance (SMR) and X-ray magnetic circular dichroism measurements, we show that the YIG and GdIG magnetically couple antiparallel even in moderate in-plane magnetic fields. The results demonstrate an all-insulating equivalent of a synthetic antiferromagnet in a garnet-based thin film heterostructure and could open new venues for insulators in magnetic devices. As an example, we demonstrate a memory element with orthogonal magnetization switching that can be read by SMR.


title: Geometric duality and parametric duality for multiple objective linear programs are equivalent

abstract: In 2011, Luc introduced parametric duality for multiple objective linear programs. He showed that geometric duality, introduced in 2008 by Heyde and L\"ohne, is a consequence of parametric duality. We show the converse statement: parametric duality can be derived from geometric duality. We point out that an easy geometric transformation embodies the relationship between both duality theories. The advantages of each theory are discussed.


title: A Simple and Effective Approach to the Story Cloze Test

abstract: In the Story Cloze Test, a system is presented with a 4-sentence prompt to a story, and must determine which one of two potential endings is the 'right' ending to the story. Previous work has shown that ignoring the training set and training a model on the validation set can achieve high accuracy on this task due to stylistic differences between the story endings in the training set and validation and test sets. Following this approach, we present a simpler fully-neural approach to the Story Cloze Test using skip-thought embeddings of the stories in a feed-forward network that achieves close to state-of-the-art performance on this task without any feature engineering. We also find that considering just the last sentence of the prompt instead of the whole prompt yields higher accuracy with our approach.


title: Resonant-state expansion of three-dimensional open optical systems: Light scattering

abstract: A rigorous method of calculating the electromagnetic field, the scattering matrix, and scattering cross-sections of an arbitrary finite three-dimensional optical system described by its permittivity distribution is presented. The method is based on the expansion of the Green's function into the resonant states of the system. These can be calculated by any means, including the popular finite element and finite-difference time-domain methods. However, using the resonant-state expansion with a spherically-symmetric analytical basis, such as that of a homogeneous sphere, allows to determine a complete set of the resonant states of the system within a given frequency range. Furthermore, it enables to take full advantage of the expansion of the field outside the system into vector spherical harmonics, resulting in simple analytic expressions. We verify and illustrate the developed approach on an example of a dielectric sphere in vacuum, which has an exact analytic solution known as Mie scattering.


title: Object Detection in Video with Spatiotemporal Sampling Networks

abstract: We propose a Spatiotemporal Sampling Network (STSN) that uses deformable convolutions across time for object detection in videos. Our STSN performs object detection in a video frame by learning to spatially sample features from the adjacent frames. This naturally renders the approach robust to occlusion or motion blur in individual frames. Our framework does not require additional supervision, as it optimizes sampling locations directly with respect to object detection performance. Our STSN outperforms the state-of-the-art on the ImageNet VID dataset and compared to prior video object detection methods it uses a simpler design, and does not require optical flow data for training.


title: Modeling and characterization of a rectangular waveguide grating structure using transmission line theory for planar Cerenkov masers

abstract: A modeling approach is proposed based on transmission line theory for the characterization of the periodic rectangular waveguide grating (RWG) structure. Using an equivalent circuit (EC) model the dispersion equation of the structure is derived with largely reduced workloads as compared to the conventional field-theory method. An EC based analysis of the RWG structure is performed. Numerical results show a good consistency between the two methods as varying structural parameters of significance. The proposed approach is also used for the taper design with the objective of minimizing wave reflection of the structure. A resulting multistage taper can deliver a low cumulative reflection coefficient on the order of 10^{-3}. Furthermore, the coherence performance of an RWG based planar Cerenkov maser (PCM) is studied on the driving electron beam interacting with the traveling harmonic wave. This includes the impacts of the grating height uniformity, due to practical machining uncertainty, on the net wave reflection as well as on the growth rate of the wave in the maser. The obtained results show, that a non-uniformity on the order of 50 micrometers in the grating height can increase the reflection level by at least one order of magnitude. The PCM coherence can be considerably degraded, in terms of a significant reduction in the wave growth rate of more than 30% with respect to its theoretical value.


title: Classification of cubic homogeneous polynomial maps with Jacobian matrices of rank two

abstract: Let $K$ be any field with $\textup{char}K\neq 2,3$. We classify all cubic homogeneous polynomial maps $H$ over $K$ with $\textup{rk} JH\leq 2$. In particular, we show that, for such an $H$, if $F=x+H$ is a Keller map then $F$ is invertible, and furthermore $F$ is tame if the dimension $n\neq 4$.


title: Fine structure in holographic entanglement and entanglement contour

abstract: We explore the fine structure of the holographic entanglement entropy proposal (the Ryu-Takayanagi formula) in AdS$_3$/CFT$_{2}$. With the guidance from the boundary and bulk modular flows we find a natural slicing of the entanglement wedge with the modular planes, which are co-dimension one bulk surfaces tangent to the modular flow everywhere. This gives an one-to-one correspondence between the points on the boundary interval $\mathcal{A}$ and the points on the Ryu-Takayanagi (RT) surface $\mathcal{E}_{\mathcal{A}}$. In the same sense an arbitrary subinterval $\mathcal{A}_2$ of $\mathcal{A}$ will correspond to a subinterval $\mathcal{E}_2$ of $\mathcal{E}_{\mathcal{A}}$. This fine correspondence indicates that the length of $\mathcal{E}_2$ captures the contribution $s_{\mathcal{A}}(\mathcal{A}_2)$ from $\mathcal{A}_2$ to the entanglement entropy $S_{\mathcal{A}}$, hence gives the contour function for entanglement entropy. Furthermore we propose that $s_{\mathcal{A}}(\mathcal{A}_2)$ in general can be written as a simple linear combination of entanglement entropies of single intervals inside $\mathcal{A}$. This proposal passes several non-trivial tests.


title: The Noether inequality for algebraic threefolds (With an Appendix by J\'{a}nos Koll\'{a}r)

abstract: We establish the Noether inequality for projective $3$-folds. More precisely, we prove that the inequality $${\rm vol}(X)\geq \tfrac{4}{3}p_g(X)-{\tfrac{10}{3}}$$ holds for all projective $3$-folds $X$ of general type with either $p_g(X)\leq 4$ or $p_g(X)\geq 21$, where $p_g(X)$ is the geometric genus and ${\rm vol}(X)$ is the canonical volume. This inequality is optimal due to known examples found by M. Kobayashi in 1992.


title: Minimal I-MAP MCMC for Scalable Structure Discovery in Causal DAG Models

abstract: Learning a Bayesian network (BN) from data can be useful for decision-making or discovering causal relationships. However, traditional methods often fail in modern applications, which exhibit a larger number of observed variables than data points. The resulting uncertainty about the underlying network as well as the desire to incorporate prior information recommend a Bayesian approach to learning the BN, but the highly combinatorial structure of BNs poses a striking challenge for inference. The current state-of-the-art methods such as order MCMC are faster than previous methods but prevent the use of many natural structural priors and still have running time exponential in the maximum indegree of the true directed acyclic graph (DAG) of the BN. We here propose an alternative posterior approximation based on the observation that, if we incorporate empirical conditional independence tests, we can focus on a high-probability DAG associated with each order of the vertices. We show that our method allows the desired flexibility in prior specification, removes timing dependence on the maximum indegree and yields provably good posterior approximations; in addition, we show that it achieves superior accuracy, scalability, and sampler mixing on several datasets.


title: Emanuel Parzen: A Memorial, and a Model With the Two Kernels That He Championed

abstract: Manny Parzen passed away in February 2016, and this article is written partly as a memorial and appreciation. Manny made important contributions to several areas, but the two that influenced me most were his contributions to kernel density estimation and to Reproducing Kernel Hilbert Spaces, the two kernels of the title. Some fond memories of Manny as a PhD advisor begin this memorial, followed by a discussion of Manny's influence on density estimation and RKHS methods. A picture gallery of trips comes next, followed by the technical part of the article. Here our goal is to show how risk models can be built using RKHS penalized likelihood methods where subjects have personal (sample) densities which can be used as {\it attributes} in such models.


title: Electron and Proton Acceleration in Trans-Relativistic Magnetic Reconnection: Dependence on Plasma Beta and Magnetization

abstract: Non-thermal electron acceleration via magnetic reconnection is thought to play an important role in powering the variable X-ray emission from radiatively inefficient accretion flows around black holes. The trans-relativistic regime of magnetic reconnection, where the magnetization $\sigma$, defined as the ratio of magnetic energy density to enthalpy density, is $\sim 1$, is frequently encountered in such flows. By means of a large suite of two-dimensional particle-in-cell simulations, we investigate electron and proton acceleration in the trans-relativistic regime. We focus on the dependence of the electron energy spectrum on $\sigma$ and the proton $\beta$ (i.e., the ratio of proton thermal pressure to magnetic pressure). We find that the electron spectrum in the reconnection region is non-thermal and can be generally modeled as a power law. At $\beta \lesssim 3 \times 10^{-3}$, the slope, $p$, is independent of $\beta$ and it hardens with increasing $\sigma$ as $p\simeq 1.8 +0.7/\sqrt{\sigma}$. Electrons are primarily accelerated by the non-ideal electric field at X-points, either in the initial current layer or in current sheets generated in between merging magnetic islands. At higher values of $\beta$, the electron power law steepens for all values of $\sigma$. At values of $\beta$ near $\beta_{\rm max}\approx1/4\sigma$, when both electrons and protons are relativistically hot prior to reconnection, the spectra of both species display an additional component at high energies, containing a few percent of particles. These particles are accelerated via a Fermi-like process by bouncing in between the reconnection outflow and a stationary magnetic island. We provide an empirical prescription for the dependence of the power-law slope and the acceleration efficiency on $\beta$ and $\sigma$, which can be used in global simulations of collisionless accretion disks.


title: Discovery of Emergent Photon and Monopoles in a Quantum Spin Liquid

abstract: Quantum spin liquid (QSL) is an exotic quantum phase of matter whose ground state is quantum-mechanically entangled without any magnetic ordering. A central issue concerns emergent excitations that characterize QSLs, which are hypothetically associated with quasiparticle fractionalization and topological order. Here we report highly unusual heat conduction generated by the spin degrees of freedom in a QSL state of the pyrochlore magnet Pr$_2$Zr$_2$O$_7$, which hosts spin-ice correlations with strong quantum fluctuations. The thermal conductivity in high temperature regime exhibits a two-gap behavior, which is consistent with the gapped excitations of magnetic ($M$-) and electric monopoles ($E$-particles). At very low temperatures below 200\,mK, the thermal conductivity unexpectedly shows a dramatic enhancement, which well exceeds purely phononic conductivity, demonstrating the presence of highly mobile spin excitations. This new type of excitations can be attributed to emergent photons ($\nu$-particle), coherent gapless spin excitations in a spin-ice manifold.


title: Index of Equivariant Callias-Type Operators and Invariant Metrics of Positive Scalar Curvature

abstract: We formulate, for any Lie group G acting isometrically on a manifold M, the general notion of a G-equivariant elliptic operator that is invertible outside of a G-cocompact subset of M. We prove a version of the Rellich lemma for this setting and use this to define the equivariant index of such operators. We show that G-equivariant Callias-type operators are self-adjoint, regular, and hence equivariantly invertible at infinity. Such operators explicitly arise from a pairing of the Dirac operator with the equivariant Higson corona. We apply the theory developed herein to obtain an obstruction to positive scalar curvature metrics on non-cocompact manifolds.


title: The Euler characteristic of the regular spherical polygon spaces

abstract: Let $a$ be a real number satisfying $0<a<\pi$. We denote by $M_n(a)$ the configuration space of regular spherical $n$-gons with side-lengths $a$. The purpose of this paper is to determine $\chi (M_n(a))$ for all $a$ and odd $n$. To do so, we construct a manifold $X_n$ and a function $\mu: X_n \to \mathbf{R}$ such that $\mu^{-1}(a)=M_n(a)$. In fact, the function $\mu$ is different from the well-known "wall-crossing" function. We determine the index of each critical point of $\mu$. Since a level set is obtained by successive Morse surgeries, we can determine $\chi (M_n(a))$.


title: Gradient estimates for Stokes systems with Dini mean oscillation coefficients

abstract: We study the stationary Stokes system in divergence form. The coefficients are assumed to be merely measurable in one direction and have Dini mean oscillations in the other directions. We prove that if $(u,p)$ is a weak solution of the system, then $(Du,p)$ is bounded and its certain linear combinations are continuous. We also prove a weak type-$(1,1)$ estimate for $(Du,p)$ under a stronger assumption on the $L^1$-mean oscillation of the coefficients. The corresponding results up to the boundary on a half ball are also established. These results are new even for elliptic equations and systems.


title: On the exact continuous mapping of fermions

abstract: We derive a rigorous, quantum mechanical map of fermionic creation and annihilation operators to continuous Cartesian variables that exactly reproduces the matrix structure of the many-fermion problem. We show how our scheme can be used to map a general many-fermion Hamiltonian and then consider two specific models that encode the fundamental physics of many fermionic systems, the Anderson impurity and Hubbard models. We use these models to demonstrate how efficient mappings of these Hamiltonians can be constructed using a judicious choice of index ordering of the fermions. This development provides an alternative exact route to calculate the static and dynamical properties of fermionic systems and sets the stage to exploit the quantum-classical and semiclassical hierarchies to systematically derive methods offering a range of accuracies, thus enabling the study of problems where the fermionic degrees of freedom are coupled to complex anharmonic nuclear motion and spins which lie beyond the reach of most currently available methods.


title: Granular-composite-like electrical transport properties of polycrystalline cubic TaN$_{x}$ thin films prepared by rf sputtering method

abstract: We have systematically investigated the electrical transport properties of polycrystalline TaN$_x$ ($0.83$$\lesssim$$x$$\lesssim$1.32) films with rocksalt structure from 300 down to 2 K. It is found that the conductivity varies linearly with $\ln T$ from $\sim$6 K to $\sim$30 K, which does not originate from the conventional two dimensional weak-localization or electron-electron interaction effects, but can be well explained by the intergrain Coulomb effect which was theoretically proposed in the granular metals. While the fluctuation-induced tunneling conduction process dominates the temperature behaviors of the conductivities (resistivities) above $\sim$60 K. Normal state to superconductive state transition is observed in the $x$$\gtrsim$1.04 films in low temperature regime. The superconductivity can still be retained at a field of 9 T. The upper critical field increases linearly with decreasing temperature in the vicinity of the superconductive transition temperature, which is the typical feature of granular superconductors or dirty type-II superconductors. The granular-composite-like electrical transport properties of the polycrystalline TaN$_x$ films are related to their microstructure, in which the TaN$_x$ grains with high conductivity are separated by the poorly conductive amorphous transition layers (grain boundaries).


title: Advancing Connectionist Temporal Classification With Attention Modeling

abstract: In this study, we propose advancing all-neural speech recognition by directly incorporating attention modeling within the Connectionist Temporal Classification (CTC) framework. In particular, we derive new context vectors using time convolution features to model attention as part of the CTC network. To further improve attention modeling, we utilize content information extracted from a network representing an implicit language model. Finally, we introduce vector based attention weights that are applied on context vectors across both time and their individual components. We evaluate our system on a 3400 hours Microsoft Cortana voice assistant task and demonstrate that our proposed model consistently outperforms the baseline model achieving about 20% relative reduction in word error rates.


title: Relationship between Bondi-Sachs quantities and source of gravitational radiation in asymptotically de Sitter spacetime

abstract: Gravitational radiation plays an important role in astrophysics. Based on the fact that our universe is expanding, the gravitational radiation when a positive cosmological constant is presented has been studied along with two different ways recently, one is the Bondi-Sachs (BS) framework in which the result is shown by BS quantities in the asymptotic null structure, the other is the perturbation approach in which the result is presented by the quadrupoles of source. Therefore, it is worth to interpret the quantities in asymptotic null structure in terms of the information of the source. In this paper, we investigate this problem and find the explicit expressions of BS quantities in terms of the quadrupoles of source in asymptotically de Sitter spacetime. We also estimate how far away the source is, the cosmological constant may affect the detection of the gravitational wave.


title: Detection of Exoplanets Using the Transit Method

abstract: I conducted differential photometry on a star GSC 3281-0800, a known host to exoplanet HAT-P-32b, using analysis software AstroImageJ. I plotted the measurements from a series of images taken during the transit, via ADU count given from an earth-based digital CCD camera. I was able to establish a definite light curve and learn more about the properties of this exoplanet.


title: Advancing Acoustic-to-Word CTC Model

abstract: The acoustic-to-word model based on the connectionist temporal classification (CTC) criterion was shown as a natural end-to-end (E2E) model directly targeting words as output units. However, the word-based CTC model suffers from the out-of-vocabulary (OOV) issue as it can only model limited number of words in the output layer and maps all the remaining words into an OOV output node. Hence, such a word-based CTC model can only recognize the frequent words modeled by the network output nodes. Our first attempt to improve the acoustic-to-word model is a hybrid CTC model which consults a letter-based CTC when the word-based CTC model emits OOV tokens during testing time. Then, we propose a much better solution by training a mixed-unit CTC model which decomposes all the OOV words into sequences of frequent words and multi-letter units. Evaluated on a 3400 hours Microsoft Cortana voice assistant task, the final acoustic-to-word solution improves the baseline word-based CTC by relative 12.09% word error rate (WER) reduction when combined with our proposed attention CTC. Such an E2E model without using any language model (LM) or complex decoder outperforms the traditional context-dependent phoneme CTC which has strong LM and decoder by relative 6.79%.


title: Achieving Human Parity on Automatic Chinese to English News Translation

abstract: Machine translation has made rapid advances in recent years. Millions of people are using it today in online translation systems and mobile applications in order to communicate across language barriers. The question naturally arises whether such systems can approach or achieve parity with human translations. In this paper, we first address the problem of how to define and accurately measure human parity in translation. We then describe Microsoft's machine translation system and measure the quality of its translations on the widely used WMT 2017 news translation task from Chinese to English. We find that our latest neural machine translation system has reached a new state-of-the-art, and that the translation quality is at human parity when compared to professional human translations. We also find that it significantly exceeds the quality of crowd-sourced non-professional translations.


title: Reflection fusion categories

abstract: We introduce the notion of a $\textit{reflection fusion category}$, which is a type of a $G$-crossed category generated by objects of Frobenius-Perron dimension $1$ and $\sqrt{p}$, where $p$ is an odd prime. We show that such categories correspond to orthogonal reflection groups over $\mathbb{F}_p$. This allows us to use the known classification of irreducible reflection groups over finite fields to classify irreducible reflection fusion categories.


title: A Beale-Kato-Majda criterion with optimal frequency and temporal localization

abstract: We obtain a Beale-Kato-Majda-type criterion with optimal frequency and temporal localization for the 3D Navier-Stokes equations. Compared to previous results our condition only requires the control of Fourier modes below a critical frequency, whose value is explicit in terms of time scales. As applications it yields a strongly frequency-localized condition for regularity in the space $B^{-1}_{\infty,\infty}$ and also a lower bound on the decaying rate of $L^p$ norms $2\leq p <3$ for possible blowup solutions. The proof relies on new estimates for the cutoff dissipation and energy at small time scales which might be of independent interest.


title: Study of the decays $D^+\rightarrow\eta^{(\prime)} e^+\nu_{e}$

abstract: The charm semileptonic decays $D^+\to\eta e^+\nu_{e}$ and $D^+\to\eta'e^+\nu_{e}$ are studied with a sample of $e^+e^-$ collision data corresponding to an integrated luminosity of 2.93 fb$^{-1}$ collected at $\sqrt{s}$ = 3.773 GeV with the BESIII detector. We measure the branching fractions for $D^+\to\eta e^+\nu_{e}$ to be $(10.74\pm0.81\pm0.51)\times10^{-4}$, and for $D^+\to\eta'e^+\nu_{e}$ to be $(1.91\pm0.51\pm0.13)\times10^{-4}$, where the uncertainties are statistical and systematic, respectively. In addition, we perform a measurement of the form factor in the decay $D^+\to\eta e^+\nu_{e}$. All the results are consistent with those obtained by the CLEO-c experiment.


title: Possible Chiral Topological Superconductivity in CrO$_{2}$ bilayers

abstract: We address the possible emergence of spin triplet superconductivity in CrO$_{2}$ bilayers, which are half-metals with fully spin-polarized conducting bands. Starting from a lattice model, we show that chiral $p+ip$ states compete with non-chiral $p$-wave ones. At large doping, the $p+ip$ channel has a sequence of topological phase transitions that can be tuned by gating effects and interaction strength. Among several phases, we find chiral topological phases having a single Majorana mode at the edge. We show that different topological superconducting phases could spontaneously emerge in the vicinity of the van-Hove singularities of the band.


title: Theoretical study of the Lambda(1405) resonance in Xi_b^0 -> D^0 pi Sigma decay

abstract: We study the mechanism of the weak decay process of Xi_b^0 into D^0 with a meson-baryon pair. It is shown that the dominant component of the prompt weak decay produces the meson-baryon pair with the spectator strange quark being transferred to the baryon, so that the Kbar N channel is absent. Subsequent final state interaction then reflects the pi Sigma originated Lambda(1405) formation amplitude, which has been difficult to access in previous experimental studies. We predict the line shapes of the pi Sigma invariant mass distribution using a realistic chiral meson-baryon amplitude for the final state interaction. It is shown that the interference between the direct and the rescattering contributions can strongly distort the peak structure of the Lambda(1405) in the mass distribution. This indicates the necessity of a detailed investigation of the reaction mechanism in order to extract the Lambda(1405) property in the pi Sigma mass distribution.


title: Improving GANs Using Optimal Transport

abstract: We present Optimal Transport GAN (OT-GAN), a variant of generative adversarial nets minimizing a new metric measuring the distance between the generator distribution and the data distribution. This metric, which we call mini-batch energy distance, combines optimal transport in primal form with an energy distance defined in an adversarially learned feature space, resulting in a highly discriminative distance function with unbiased mini-batch gradients. Experimentally we show OT-GAN to be highly stable when trained with large mini-batches, and we present state-of-the-art results on several popular benchmark problems for image generation.


title: Universal Dissipationless Dynamics in Gaussian Continuous-variable Open Systems

abstract: We investigate the universal dissipationless dynamics of Gaussian continuous-variable systems in the presence of a band-gapped bosonic environment. Our results show that environmental band gaps can induce localized modes, which give rise to the dissipationless dynamics where the system behaves as free oscillators instead of experiencing a full decay in the long time limit. We present a complete characterization of localized modes, and show the existence of the critical system-environment coupling. Beyond the critical values, localized modes can be produced and the system dynamics become dissipationless. This novel dynamics can be utilized to overcome the environmental noises and protect the quantum resources in the continuous-variable quantum information.


title: Global Stabilization for Causally Consistent Partial Replication

abstract: Causally consistent distributed storage systems have received significant attention recently due to the potential for providing high throughput and causality guarantees. {\em Global stabilization} is a technique established for achieving causal consistency in distributed multi-version key-value store systems, adopted by the previous work such as GentleRain \cite{Du2014GentleRainCA} and Cure \cite{akkoorath2016cure}. Intuitively, this approach serializes all updates by their physical time and computes the ``Global Stable Time'' which is a time point $t$ such that versions with timestamp $\leq t$ can be returned to the client without violating causality. However, all previous designs with global stabilization assume {\em full replication}, where each data center stores a full copy of data, and each client is restricted to access servers within one data center. In this paper, we propose a theoretical framework to support {\em general partial replication} with causal consistency via global stabilization, where each server can store an arbitrary subset of the data, and each client is allowed to communicate with any subset of the servers and migrate among them without extra delays. We propose an algorithm that implements causal consistency for distributed multi-version key-value stores with general partially replication. We prove the optimality of the Global Stable Time computation in our algorithm regarding the remote update visibility latency, i.e. how fast update from a remote server is visible to the client, under general partial replication. We also provide trade-offs to further optimize the remote update visibility by introducing extra delays during client's migration. Simulation results on the performance of our algorithm compared to the previous work are also provided.


title: Facelet-Bank for Fast Portrait Manipulation

abstract: Digital face manipulation has become a popular and fascinating way to touch images with the prevalence of smartphones and social networks. With a wide variety of user preferences, facial expressions, and accessories, a general and flexible model is necessary to accommodate different types of facial editing. In this paper, we propose a model to achieve this goal based on an end-to-end convolutional neural network that supports fast inference, edit-effect control, and quick partial-model update. In addition, this model learns from unpaired image sets with different attributes. Experimental results show that our framework can handle a wide range of expressions, accessories, and makeup effects. It produces high-resolution and high-quality results in fast speed.


title: The Penetration Effect of Connected Automated Vehicles in Urban Traffic: An Energy Impact Study

abstract: Earlier work has established a decentralized framework of optimally controlling connected and automated vehicles (CAVs) crossing an urban intersection without using explicit traffic signaling. The proposed solution is capable of minimizing energy consumption subject to a throughput maximization requirement. In this paper, we address the problem of optimally controlling CAVs under mixed traffic conditions where both CAVs and human-driven vehicles (non-CAVs) travel on the roads, so as to minimize energy consumption while guaranteeing safety constraints. The impact of CAVs on overall energy consumption is also investigated under different traffic scenarios. The benefit from CAV penetration (i.e., the fraction of CAVs relative to all vehicles) is validated through simulation in MATLAB and VISSIM. The results indicate that the energy efficiency improvement becomes more significant as the CAV penetration rate increases, while the significance diminishes as the traffic becomes heavier


title: A2BCD: An Asynchronous Accelerated Block Coordinate Descent Algorithm With Optimal Complexity

abstract: In this paper, we propose the Asynchronous Accelerated Nonuniform Randomized Block Coordinate Descent algorithm (A2BCD), the first asynchronous Nesterov-accelerated algorithm that achieves optimal complexity. This parallel algorithm solves the unconstrained convex minimization problem, using p computing nodes which compute updates to shared solution vectors, in an asynchronous fashion with no central coordination. Nodes in asynchronous algorithms do not wait for updates from other nodes before starting a new iteration, but simply compute updates using the most recent solution information available. This allows them to complete iterations much faster than traditional ones, especially at scale, by eliminating the costly synchronization penalty of traditional algorithms. We first prove that A2BCD converges linearly to a solution with a fast accelerated rate that matches the recently proposed NU_ACDM, so long as the maximum delay is not too large. Somewhat surprisingly, A2BCD pays no complexity penalty for using outdated information. We then prove lower complexity bounds for randomized coordinate descent methods, which show that A2BCD (and hence NU_ACDM) has optimal complexity to within a constant factor. We confirm with numerical experiments that A2BCD outperforms NU_ACDM, which is the current fastest coordinate descent algorithm, even at small scale. We also derive and analyze a second-order ordinary differential equation, which is the continuous-time limit of our algorithm, and prove it converges linearly to a solution with a similar accelerated rate.


title: Accurate projective two-band description of topological superfluidity in spin-orbit-coupled Fermi gases

abstract: The interplay of spin-orbit coupling and Zeeman splitting in ultracold Fermi gases gives rise to a topological superfluid phase in two spatial dimensions that can host exotic Majorana excitations. Theoretical models have so far been based on a four-band Bogoliubov-de Gennes formalism for the combined spin-1/2 and particle-hole degrees of freedom. Here we present a simpler, yet accurate, two-band description based on a well-controlled projection technique that provides a new platform for exploring analogies with chiral p-wave superfluidity and detailed future studies of spatially non-uniform situations.


title: Feedback Control For Cassie With Deep Reinforcement Learning

abstract: Bipedal locomotion skills are challenging to develop. Control strategies often use local linearization of the dynamics in conjunction with reduced-order abstractions to yield tractable solutions. In these model-based control strategies, the controller is often not fully aware of many details, including torque limits, joint limits, and other non-linearities that are necessarily excluded from the control computations for simplicity. Deep reinforcement learning (DRL) offers a promising model-free approach for controlling bipedal locomotion which can more fully exploit the dynamics. However, current results in the machine learning literature are often based on ad-hoc simulation models that are not based on corresponding hardware. Thus it remains unclear how well DRL will succeed on realizable bipedal robots. In this paper, we demonstrate the effectiveness of DRL using a realistic model of Cassie, a bipedal robot. By formulating a feedback control problem as finding the optimal policy for a Markov Decision Process, we are able to learn robust walking controllers that imitate a reference motion with DRL. Controllers for different walking speeds are learned by imitating simple time-scaled versions of the original reference motion. Controller robustness is demonstrated through several challenging tests, including sensory delay, walking blindly on irregular terrain and unexpected pushes at the pelvis. We also show we can interpolate between individual policies and that robustness can be improved with an interpolated policy.


title: RANS Equations with Explicit Data-Driven Reynolds Stress Closure Can Be Ill-Conditioned

abstract: Reynolds-averaged Navier--Stokes (RANS) simulations with turbulence closure models continue to play important roles in industrial flow simulations. However, the commonly used linear eddy viscosity models are intrinsically unable to handle flows with non-equilibrium turbulence. Reynolds stress models, on the other hand, are plagued by their lack of robustness. Recent studies in plane channel flows found that even substituting Reynolds stresses with errors below 0.5% from direct numerical simulation (DNS) databases into RANS equations leads to velocities with large errors (up to 35%). While such an observation may have only marginal relevance to traditional Reynolds stress models, it is disturbing for the recently emerging data-driven models that treat the Reynolds stress as an explicit source term in the RANS equations, as it suggests that the RANS equations with such models can be ill-conditioned. So far, a rigorous analysis of the condition of such models is still lacking. As such, in this work we propose a metric based on local condition number function for a priori evaluation of the conditioning of the RANS equations. We further show that the ill-conditioning cannot be explained by the global matrix condition number of the discretized RANS equations. Comprehensive numerical tests are performed on turbulent channel flows at various Reynolds numbers and additionally on two complex flows, i.e., flow over periodic hills and flow in a square duct. Results suggest that the proposed metric can adequately explain observations in previous studies, i.e., deteriorated model conditioning with increasing Reynolds number and better conditioning of the implicit treatment of Reynolds stress compared to the explicit treatment. This metric can play critical roles in the future development of data-driven turbulence models by enforcing the conditioning as a requirement on these models.


title: On the Underspread/Overspread Classification of Random Processes

abstract: We study the impact of the recently introduced underspread/overspread classificationon the spectra of processes with square-integrable covariance functions. We briefly review the most prominent definitions of a time-varying power spectrum and point out their limited applicability for {\em general} nonstationary processes. The time-frequency-parametrized approximation of the nonstationary Wiener filter provides an excellent example for the main conclusion: It is the class of underspread processeswhere a time--varying power spectrum can be used in the same manner as the time--invariant power spectrum of stationary processes.


title: Weak limits for weighted means of orthogonal polynomials

abstract: This article is a first attempt to obtain weak limit formulas for weighted means of orthogonal polynomials. For this, we introduce a new mean Nevai class that guarantees the existence of an equilibrium measure for the limit of the means. We show that for a family of measures in this mean Nevai class also the means of the Christoffel-Darboux kernels and the asymptotic distribution of the roots converge weakly to the same equilibrium measure. As a main example, we study the mean Nevai classes in which the equilibrium measure is the orthogonality measure of the ultraspherical polynomials. The respective weak limit formula can be regarded as an asymptotic weak addition formula for the corresponding class of measures.


title: A Switched Systems Approach to Path Following with Intermittent State Feedback

abstract: Autonomous agents are often tasked with operating in an area where feedback is unavailable. Inspired by such applications, this paper develops a novel switched systems-based control method for uncertain nonlinear systems with temporary loss of state feedback. To compensate for intermittent feedback, an observer is used while state feedback is available to reduce the estimation error, and a predictor is utilized to propagate the estimates while state feedback is unavailable. Based on the resulting subsystems, maximum and minimum dwell time conditions are developed via a Lyapunov-based switched systems analysis to relax the constraint of maintaining constant feedback. Using the dwell time conditions, a switching trajectory is developed to enter and exit the feedback denied region in a manner that ensures the overall switched system remains stable. A scheme for designing a switching trajectory with a smooth transition function is provided. Simulation and experimental results are presented to demonstrate the performance of control design.