title: The Geometry of the SU(2)$\times$ G$_2$-model

abstract: We study elliptic fibrations that geometrically engineer an SU(2)$\times$ G$_2$ gauge theory realized by Weierstrass model for the collision III+$\text{I}_0^{*\text{ns}}$. We construct the four possible crepant resolutions of such a Weierstrass model and show that they form a chain of four minimal models connected by flops. We compute the generating function for the Euler characteristic of these crepant resolutions. In the case of a Calabi-Yau threefold, we consider the compactification of M-theory and F-theory on an SU(2)$\times$ G$_2$-model to a five and six-dimensional supergravity with eight supercharges. By matching each crepant resolution with each Coulomb chamber of the five-dimensional theory, we determine the number of multiplets and compute the prepotential in each Coulomb chamber. In particular, we discuss counting number of hypermultiplets in presence of singularities. We discuss in detail the cancellation of anomalies of the six-dimensional theory.


title: Exploration of Cosmic Ray Acceleration in Protostellar Accretion Shocks and A Model for Ionization Rates in Embedded Protoclusters

abstract: We construct a model for cosmic ray acceleration from protostellar accretion shocks and calculate the resulting cosmic ray ionization rate within star-forming molecular clouds. We couple a protostar cluster model with an analytic accretion shock model to calculate the cosmic ray acceleration from protostellar surfaces. We present the cosmic ray flux spectrum from keV to GeV energies for a typical low-mass protostar. We find that at the shock surface the spectrum follows a power-law trend across 6 orders of magnitude in energy. After attenuation, the spectrum at high energies steepens, while at low energies it is relatively flat. We calculate the cosmic ray pressure and cosmic ray ionization rate from relativistic protons at the protostellar surface and at the edge of the core. We present the cosmic ray ionization rate for individual protostars as a function of their instantaneous mass and final mass. The protostellar cosmic ray ionization rate is $\zeta \approx 0.01 - 1$ s$^{-1}$ at the accretion shock surface. However, at the edge of the core, the cosmic ray ionization rate drops substantially to between $\zeta \approx 10^{-20}$ to $10^{-17}$ s$^{-1}$. There is a large spatial gradient in the cosmic ray ionization rate, such that inner regions may experience cosmic ray ionization rates larger than the often assumed fiducial rate, $\zeta = 3\times10^{-17}$ s$^{-1}$. Finally, we calculate the cosmic ray ionization rate for protostellar clusters over 5 orders of magnitude of cluster size. We find that clusters with more than approximately 200 protostars produce a higher cosmic ray ionization rate within their natal cloud than the fiducial galactic value.


title: Constraining the coherence scale of the interstellar magnetic field using TeV gamma-ray observations of supernova remnants

abstract: Galactic cosmic rays (CRs) are believed to be accelerated at supernova remnant (SNR) shocks. In the hadronic scenario the TeV gamma-ray emission from SNRs originates from decaying pions that are produced in collisions of the interstellar gas and CRs. Using CR-magnetohydrodynamic simulations, we show that magnetic obliquity-dependent shock acceleration is able to reproduce the observed TeV gamma-ray morphology of SNRs such as Vela Jr. and SN1006 solely by varying the magnetic morphology. This implies that gamma-ray bright regions result from quasi-parallel shocks (i.e., when the shock propagates at a narrow angle to the upstream magnetic field), which are known to efficiently accelerate CR protons, and that gamma-ray dark regions point to quasi-perpendicular shock configurations. Comparison of the simulated gamma-ray morphology to observations allows us to constrain the magnetic coherence scale $\lambda_B$ around Vela Jr. and SN1006 to $\lambda_B \simeq 13_{-4.3}^{+13}$ pc and $\lambda_B >200_{-10}^{+80}$ pc, respectively, where the ambient magnetic field of SN1006 is consistent with being largely homogeneous. We find consistent pure hadronic and mixed hadronic-leptonic models that both reproduce the multi-frequency spectra from the radio to TeV gamma rays and match the observed gamma-ray morphology. Finally, to capture the propagation of a SNR shock in a clumpy interstellar medium, we study the interaction of a shock with a dense cloud with numerical simulations and analytics. We construct an analytical gamma-ray model for a core collapse SNR propagating through a structured interstellar medium, and show that the gamma-ray luminosity is only biased by 30% for realistic parameters.


title: AGN Feedback and Multi-phase Gas in Giant Elliptical Galaxies

abstract: Recent observations have found extended multi-phase gas in a significant fraction of massive elliptical galaxies. We perform high-resolution three-dimensional hydrodynamical simulations of two idealized elliptical galaxies -- one representing a typical galaxy characterized by initial conditions conducive to the development of thermal instability and the other one less likely to develop thermal instability -- in order to study the development of thermal instability and the formation of multi-phase structures. We analyze the interplay between radiative cooling, momentum-driven AGN feedback, star formation, and stellar feedback from both young and old stars. We find that in one class of elliptical galaxies, the entropy of the hot halo gas rises sharply as a function of radius, and the hot halo is thermally stable and run-away cooling can only happen in the very center of the galaxy. In other class of ellipticals, the hot halo gas has a cooling to free-fall time ratio close to 10, and the non-linear perturbation driven by AGN feedback can cause the hot gas to frequently precipitate into extended multi-phase filaments. Both multi- and single-phase elliptical galaxies experience cooling-driven AGN feedback cycles. Interestingly, AGN feedback maintains the multi- or single-phase nature of the halo but does not turn multi-phase galaxies into single-phase ones or vice versa. Some of the extended cold gas in the multi-phase galaxy also forms young stars. The level of star formation and its spatial distribution are in excellent agreement with {\it Hubble} observations of nearby elliptical galaxies.


title: Crowdtesting : When is The Party Over?

abstract: Trade-offs such as "how much testing is enough" are critical yet challenging project decisions in software engineering. Most existing approaches adopt risk-driven or value-based analysis to prioritize test cases and minimize test runs. However, none of these is applicable to the emerging crowd testing paradigm where task requesters typically have no control over online crowdworkers's dynamic behavior and uncertain performance. In current practice, deciding when to close a crowdtesting task is largely done by guesswork due to lack of decision support. This paper intends to fill this gap by introducing automated decision support for monitoring and determining appropriate time to close the crowdtesting tasks. First, this paper investigates the necessity and feasibility of close prediction of crowdtesting tasks based on industrial dataset. Then,it designs 8 methods for close prediction, based on various models including the bug trend, bug arrival model, capture-recapture model.Finally, the evaluation is conducted on 218 crowdtesting tasks from one of the largest crowdtesting platforms in China, and the results show that a median of 91% bugs can be detected with 49% saved cost.


title: Optical Characterization of the SPT-3G Focal Plane

abstract: The third-generation South Pole Telescope camera is designed to measure the cosmic microwave background across three frequency bands (95, 150 and 220 GHz) with ~16,000 transition-edge sensor (TES) bolometers. Each multichroic pixel on a detector wafer has a broadband sinuous antenna that couples power to six TESs, one for each of the three observing bands and both polarization directions, via lumped element filters. Ten detector wafers populate the focal plane, which is coupled to the sky via a large-aperture optical system. Here we present the frequency band characterization with Fourier transform spectroscopy, measurements of optical time constants, beam properties, and optical and polarization efficiencies of the focal plane. The detectors have frequency bands consistent with our simulations, and have high average optical efficiency which is 86%, 77% and 66% for the 95, 150 and 220 GHz detectors. The time constants of the detectors are mostly between 0.5 ms and 5 ms. The beam is round with the correct size, and the polarization efficiency is more than 90% for most of the bolometers


title: Leibniz-Chern-Simons Theory and Phases of Exceptional Field Theory

abstract: We discuss a generalization of Chern-Simons theory in three dimensions based on Leibniz (or Loday) algebras, which are generalizations of Lie algebras. Special cases of such theories appear in gauged supergravity, where the Leibniz algebra is defined in terms of the global (Lie) symmetry algebra of the ungauged limit and an embedding tensor. We show that the Leibniz algebra of generalized diffeomorphisms in exceptional field theory can similarly be obtained from a Lie algebra that describes the enhanced symmetry of an `ungauged phase' of the theory. Moreover, we show that a `topological phase' of ${\rm E}_{8(8)}$ exceptional field theory can be interpreted as a Chern-Simons theory for an algebra unifying the three-dimensional Poincar\'e algebra and the Leibniz algebra of ${\rm E}_{8(8)}$ generalized diffeomorphisms.


title: V1094 Sco: a rare giant multi-ringed disk around a T Tauri star

abstract: A wide variety of ring-like dust structures has been detected in protoplanetary disks, but their origin and frequency are still unclear. We characterize the structure of an extended, multi-ringed disk discovered serendipitously in the ALMA Lupus disk survey and put it in the context of the Lupus disk population. ALMA observations in Band 6 at 234 GHz and Band 7 at 328 GHz at 0.3" resolution toward the K6 star V1094 Sco in Lupus III are presented, and its disk structure is analyzed. The spectral index $\alpha_{mm}$ is determined in the inner 150 AU of the disk. The ALMA continuum data show a very extended disk with two gap/ring pairs. The gaps are located at 100 AU and 170 AU, the bright rings at 130 AU and 220 AU. Continuum emission is detected out to a 300 AU distance, similar to IM Lup but a factor of 5 larger than typically found for Lupus disks at this sensitivity and resolution. The bright central region of the disk (within 35 AU) is possibly optically thick at 1 mm wavelengths, and has a brightness temperature of only 13 K. The spectral index increases between the inner disk and the first ring, at the location of the first gap. Due to the low temperature of the disk midplane, snow lines can be excluded as the drivers behind the ring and gap formation in this disk. Disks the size of V1094 Sco are rare, and only 2.1+-1.5% of disks in Lupus show continuum emission beyond 200 AU. Possible connections between the large primordial disk population, transition disks, and exoplanets are discussed.


title: Non-Abelian properties of electron wave packets in Dirac semimetals A$_3$Bi (A=Na,K,Rb)

abstract: The motion of electron wave packets in the Dirac semimetals A$_3$Bi (A=Na,K,Rb) is studied in a semiclassical approximation. Because of the two-fold degeneracy of the Dirac points and a momentum-dependent gap term in the low-energy Hamiltonian, the associated Berry curvature is non-Abelian. In the presence of background electromagnetic fields, such a Berry curvature leads to a splitting of trajectories for the wave packets that originate from different Dirac points and chiral sectors. The nature of the splitting strongly depends on the background fields as well as the initial chiral composition of the wave packets. In parallel electric and magnetic fields, while a well pronounced valley splitting is achieved for any chirality composition, the chirality separation takes place predominantly for the initially polarized states. On the other hand, in perpendicular electric and magnetic fields, there are clear deviations from the conventional Abelian trajectories, albeit without a well-pronounced valley splitting.


title: The Multi-Dimensional Structure of Radiative Shocks: Suppressed Thermal X-rays and Relativistic Ion Acceleration

abstract: Radiative shocks, behind which gas cools faster than the dynamical time, play a key role in many astrophysical transients, including classical novae and young supernovae interacting with circumstellar material. The dense layer behind high Mach number $\mathcal{M} \gg 1$ radiative shocks is susceptible to thin-shell instabilities, creating a "corrugated" shock interface. We present two and three-dimensional hydrodynamical simulations of optically-thin radiative shocks to study their thermal radiation and acceleration of non-thermal relativistic ions. We employ a moving-mesh code and a specialized numerical technique to eliminate artificial heat conduction across grid cells. The fraction of the shock's luminosity $L_{\rm tot}$ radiated at X-ray temperatures $kT_{\rm sh} \approx (3/16)\mu m_p v_{\rm sh}^{2}$ expected from a one-dimensional analysis is suppressed by a factor $L(>T_{\rm sh}/3)/L_{\rm tot} \approx 4.5/\mathcal{M}^{4/3}$ for $\mathcal{M} \approx 4-36$. This suppression results in part from weak shocks driven into under-pressured cold filaments by hot shocked gas, which sap thermal energy from the latter faster than it is radiated. Combining particle-in-cell simulation results for diffusive shock acceleration with the inclination angle distribution across the shock (relative to an upstream magnetic field in the shock plane$-$the expected geometry for transient outflows), we predict the efficiency and energy spectrum of ion acceleration. Though negligible acceleration is predicted for adiabatic shocks, the corrugated shock front enables local regions to satisfy the quasi-parallel magnetic field geometry required for efficient acceleration, resulting in an average acceleration efficiency of $\epsilon_{\rm nth} \sim 0.005-0.02$ for $\mathcal{M} \approx 12-36$, in agreement with modeling of the gamma-ray nova ASASSN-16ma.


title: Pre-big-bang black-hole remnants and the past low entropy

abstract: Dark matter could be composed by black-hole remnants formed before the big-bang era in a bouncing cosmology. This hypothetical scenario has major implications on the issue of the arrow of time: it would upset a common attribution of past low entropy to the state of the geometry, and provide a concrete realisation to the perspectival interpretation of past low entropy.


title: A Mixed Classification-Regression Framework for 3D Pose Estimation from 2D Images

abstract: 3D pose estimation from a single 2D image is an important and challenging task in computer vision with applications in autonomous driving, robot manipulation and augmented reality. Since 3D pose is a continuous quantity, a natural formulation for this task is to solve a pose regression problem. However, since pose regression methods return a single estimate of the pose, they have difficulties handling multimodal pose distributions (e.g. in the case of symmetric objects). An alternative formulation, which can capture multimodal pose distributions, is to discretize the pose space into bins and solve a pose classification problem. However, pose classification methods can give large pose estimation errors depending on the coarseness of the discretization. In this paper, we propose a mixed classification-regression framework that uses a classification network to produce a discrete multimodal pose estimate and a regression network to produce a continuous refinement of the discrete estimate. The proposed framework can accommodate different architectures and loss functions, leading to multiple classification-regression models, some of which achieve state-of-the-art performance on the challenging Pascal3D+ dataset.


title: Identifying the Structural Basis for the Increased Stability of the Solid Electrolyte Interphase Formed on Silicon with the Additive Fluoroethylene Carbonate

abstract: To elucidate the role of fluoroethylene carbonate (FEC) as an additive in the standard carbonate-based electrolyte for Li-ion batteries, the solid electrolyte interphase (SEI) formed during electrochemical cycling on silicon anodes was analyzed with a combination of solution and solid-state NMR techniques, including dynamic nuclear polarization. To facilitate characterization via 1D and 2D NMR, we synthesized 13C-enriched FEC, ultimately allowing a detailed structural assignment of the organic SEI. We find that the soluble PEO-like line- ar oligomeric electrolyte breakdown products that are observed after cycling in the standard ethylene carbonate (EC)-based electrolyte are suppressed in the presence of 10 vol % FEC additive. FEC is first defluorinated to form soluble vinylene carbonate and vinoxyl species, which react to form both soluble and insoluble branched ethylene-oxide based polymers. No evidence for branched polymers are observed in the absence of FEC.


title: Animal Movement Tools (amt): R-Package for Managing Tracking Data and Conducting Habitat Selection Analyses

abstract: 1. Advances in tracking technology have led to an exponential increase in animal location data, greatly enhancing our ability to address interesting questions in movement ecology, but also presenting new challenges related to data manage- ment and analysis. 2. Step-Selection Functions (SSFs) are commonly used to link environmental covariates to animal location data collected at fine temporal resolution. SSFs are estimated by comparing observed steps connecting successive animal locations to random steps, using a likelihood equivalent of a Cox proportional hazards model. By using common statistical distributions to model step length and turn angle distributions, and including habitat- and movement-related covariates (functions of distances between points, angular deviations), it is possible to make inference regarding habitat selection and movement processes, or to control one process while investigating the other. The fitted model can also be used to estimate utilization distributions and mechanistic home ranges. 3. Here, we present the R-package amt (animal movement tools) that allows users to fit SSFs to data and to simulate space use of animals from fitted models. The amt package also provides tools for managing telemetry data. 4. Using fisher (Pekania pennanti ) data as a case study, we illustrate a four-step approach to the analysis of animal movement data, consisting of data management, exploratory data analysis, fitting of models, and simulating from fitted models.


title: Post-Specialisation: Retrofitting Vectors of Words Unseen in Lexical Resources

abstract: Word vector specialisation (also known as retrofitting) is a portable, light-weight approach to fine-tuning arbitrary distributional word vector spaces by injecting external knowledge from rich lexical resources such as WordNet. By design, these post-processing methods only update the vectors of words occurring in external lexicons, leaving the representations of all unseen words intact. In this paper, we show that constraint-driven vector space specialisation can be extended to unseen words. We propose a novel post-specialisation method that: a) preserves the useful linguistic knowledge for seen words; while b) propagating this external signal to unseen words in order to improve their vector representations as well. Our post-specialisation approach explicits a non-linear specialisation function in the form of a deep neural network by learning to predict specialised vectors from their original distributional counterparts. The learned function is then used to specialise vectors of unseen words. This approach, applicable to any post-processing model, yields considerable gains over the initial specialisation models both in intrinsic word similarity tasks, and in two downstream tasks: dialogue state tracking and lexical text simplification. The positive effects persist across three languages, demonstrating the importance of specialising the full vocabulary of distributional word vector spaces.


title: Hermite polynomials and Fibonacci Oscillators

abstract: We compute the ($q_1,q_2$)-deformed Hermite polynomials by replacing the quantum harmonic oscillator problem to Fibonacci oscillators. We do this by applying the ($q_1, q_2$)-extension of Jackson derivative. The deformed energy spectrum is also found in terms of these parameters. We conclude that the deformation is more effective in higher excited states. We conjecture that this achievement may find applications in the inclusion of disorder and impurity in quantum systems. The ordinary quantum mechanics is easily recovered as $q_1 = 1$ and $q_2\to1$ or vice versa.


title: Global well-posedness and scattering for the defocusing $\dot{H}^{\frac{1}{2}}$-critical nonlinear Schr\"odinger equation in $\mathbb{R}^2$

abstract: In this paper we consider the Cauchy initial value problem for the defocusing quintic nonlinear Schr\"odinger equation in $\mathbb{R}^2$ with general data in the critical space $\dot{H}^{\frac{1}{2}} (\mathbb{R}^2)$. We show that if a solution remains bounded in $\dot{H}^{\frac{1}{2}} (\mathbb{R}^2)$ in its maximal interval of existence, then the interval is infinite and the solution scatters.


title: Improvements of Berezin number inequalities

abstract: In this paper, we generalize several Berezin number inequalities involving product of operators. For instance, we show that if $A, B$ are positive operators and $X$ is any operator, then \begin{align*} \textbf{ber}^{r}(H_{\alpha}(A,B))&\leq\frac{\|X\|^{r}}{2}\textbf{ber}(A^{r}+B^{r})&\leq\frac{\|X\|^{r}}{2}\textbf{ber}(\alpha A^{r}+(1-\alpha)B^{r})+\textbf{ber}((1-\alpha)A^{r}+\alpha B^{r}), \end{align*} where $H_{\alpha}(A,B)=\frac{A^\alpha XB^{1-\alpha}+A^{1-\alpha} XB^{\alpha}}{2}$, $0\leq\alpha\leq1$ and $r\geq2$.


title: On the Cauchy problem for stochastic integrodifferential parabolic equations in the scale of Lp-spaces of generalized smoothness

abstract: Stochastic parabolic integro-differential problem is considered in the whole space. By verifying H\"ormander condition, the existence and uniqueness is proved in Lp-spaces of functions whose regularity is defined by a scalable Levy measure. Some rough probability density function estimates of the associated Levy process are used as well.


title: The Qatar Genome: A Population-Specific Tool for Precision Medicine in the Middle East

abstract: Reaching the full potential of precision medicine depends on the quality of personalized genome interpretation. In order to facilitate precision medicine in regions of the Middle East and North Africa (MENA), a population-specific reference genome for the indigenous Arab popula-tion of Qatar (QTRG) was constructed by incorporating allele frequency data from sequencing of 1,161 Qataris, representing 0.4% of the population. A total of 20.9 million SNP and 3.1 million indels were observed in Qatar, including an average of 1.79% novel variants per individual ge-nome. Replacement of the GRCh37 standard reference with QTRG in a best practices genome analysis workflow resulted in an average of 7* deeper coverage depth (an improvement of 23%), and 756,671 fewer variants on average, a reduction of 16% that is attributed to common Qatari alleles being present in the QTRG reference. The benefit for using QTRG varies across ances-tries, a factor that should be taken into consideration when selecting an appropriate reference for analysis.


title: Particle identification studies with a full-size 4-GEM prototype for the ALICE TPC upgrade

abstract: A large Time Projection Chamber is the main device for tracking and charged-particle identification in the ALICE experiment at the CERN LHC. After the second long shutdown in 2019/20, the LHC will deliver Pb beams colliding at an interaction rate of about 50 kHz, which is about a factor of 50 above the present readout rate of the TPC. This will result in a significant improvement on the sensitivity to rare probes that are considered key observables to characterize the QCD matter created in such collisions. In order to make full use of this luminosity, the currently used gated Multi-Wire Proportional Chambers will be replaced. The upgrade relies on continuously operated readout detectors employing Gas Electron Multiplier technology to retain the performance in terms of particle identification via the measurement of the specific energy loss by ionization d$E$/d$x$. A full-size readout chamber prototype was assembled in 2014 featuring a stack of four GEM foils as an amplification stage. The performance of the prototype was evaluated in a test beam campaign at the CERN PS. The d$E$/d$x$ resolution complies with both the performance of the currently operated MWPC-based readout chambers and the challenging requirements of the ALICE TPC upgrade program. Detailed simulations of the readout system are able to reproduce the data.


title: A Systematic Approach to Incremental Redundancy over Erasure Channels

abstract: As sensing and instrumentation play an increasingly important role in systems controlled over wired and wireless networks, the need to better understand delay-sensitive communication becomes a prime issue. Along these lines, this article studies the operation of data links that employ incremental redundancy as a practical means to protect information from the effects of unreliable channels. Specifically, this work extends a powerful methodology termed sequential differential optimization to choose near-optimal block sizes for hybrid ARQ over erasure channels. In doing so, an interesting connection between random coding and well-known constants in number theory is established. Furthermore, results show that the impact of the coding strategy adopted and the propensity of the channel to erase symbols naturally decouple when analyzing throughput. Overall, block size selection is motivated by normal approximations on the probability of decoding success at every stage of the incremental transmission process. This novel perspective, which rigorously bridges hybrid ARQ and coding, offers a pragmatic means to select code rates and blocklengths for incremental redundancy.


title: An Ultraviolet-Optical Color-Metallicity relation for Red Clump Stars using GALEX and Gaia

abstract: Although core helium-burning red clump (RC) stars are faint at ultraviolet wavelengths, their ultraviolet-optical color is a unique and accessible probe of their physical properties. Using data from the GALEX All Sky Imaging Survey, Gaia Data Release 2 and the SDSS APOGEE DR14 survey, we find that spectroscopic metallicity is strongly correlated with the location of an RC star in the UV-optical color magnitude diagram. The RC has a wide spread in (NUV - G)$_0$ color, over 4 magnitudes, compared to a 0.7-magnitude range in (G$_{BP}$ - G$_{RP}$)$_0$. We propose a photometric, dust-corrected, ultraviolet-optical (NUV - G)$_0$ color-metallicity [Fe/H] relation using a sample of 5,175 RC stars from APOGEE. We show that this relation has a scatter of 0.28 dex and is easier to obtain for large, wide-field samples than spectroscopic metallicities. Importantly, the effect may be comparable to the spread in RC color attributed to extinction in other studies.


title: Dynamical properties of Bianchi-I spacetimes in $f(R)$ gravity

abstract: We present a dynamical analysis in terms of new expansion-normalized variables for homogeneous and anisotropic Bianchi-I spacetimes in $f(R)$ gravity in the presence of anisotropic matter. With a suitable choice of the evolution parameter, the Einstein's equations are reduced to an autonomous 5-dimensional system of ordinary differential equations for the new variables. Further restrictions lead to considerable simplifications. For instance, we show that for a large class of functions $f(R)$, which includes several cases commonly considered in the literature, all the fixed points are polynomial roots, and hence they can be determined with good accuracy and classified for stability. Moreover, typically for these cases, any fixed point corresponding to isotropic solutions in the presence of anisotropic matter will be unstable. The assumption of a perfect fluid as source and or the vacuum cases imply some dimensional reductions and even more simplifications. In particular, we find that the vacuum solutions of $f(R) = R^{1+\delta}$, with $\delta$ a constant, are governed by an effective bi-dimensional phase space which can be analytically constructed, leading to an exactly soluble dynamics. Finally, we demonstrate that several results already reported in the literature can be re-obtained in a more direct and easy way by exploring our dynamical formulation.


title: Period sets of linear recurrences over finite fields and related commutative rings

abstract: After giving an overview of the existing theory regarding the periods of sequences defined by linear recurrences over finite fields, we give explicit descriptions of the sets of periods that arise if one considers all sequences over $\mathbb{F}_q$ generated by linear recurrences for a fixed choice of the degree $k$ in the range $1 \leq k \leq 4$. We also investigate the periods of sequences generated by linear recurrences over rings of the form $\mathbb{F}_{q_1} \oplus \ldots \oplus \mathbb{F}_{q_r}$.


title: Flash Temperature and Force Measurements in Single Diamond Scratch Tests

abstract: Analysis of the highest temperature in the machining processes, namely the flash temperature, helps to understand the physics of the process, to improve cutting tool geometry, and to achieve high performance machining. In the present work, the interaction between cutting grain and workpiece material in grinding process is analyzed. Single diamonds are considered for machining, which operates in comparison to other measurements in the range of grinding speed. The highest temperature in the grain-material interaction and cutting forces are measured. In order to measure the flash temperature, an innovative method to measure and analyze the temperature through the diamond grain in the cutting zone by a two-color pyrometer is proposed. Furthermore, cutting forces are measured simultaneously. In order to measure the temperature in the cutting zone, an accurate connection between diamond and pyrometer fiber is required. Thus, the diamond tool holders are manufactured by electrical discharge machining (EDM) milling in deionized water. A 0.5-mm-diameter hole is drilled in each holder to connect the diamond precisely to the pyrometer fiber. Machining processes are performed with 30 {\mu}m depth of cut, cutting length of 20 mm, and cutting speed of 65 m/s on Ti6Al4V. The cutting tool is fixed, and the shape of the rotating workpiece is optimized. The diamond holder with the specific shape is designed and manufactured. Quasi-static, dynamic, modal, and harmonic response analyses are performed in order to reduce vibrations and chattering. The measured flash temperature is 1380 {\deg}C and cutting normal, tangential, and axial forces are measured.


title: Spatial shrinkage via the product independent Gaussian process prior

abstract: We study the problem of sparse signal detection on a spatial domain. We propose a novel approach to model continuous signals that are sparse and piecewise smooth as product of independent Gaussian processes (PING) with a smooth covariance kernel. The smoothness of the PING process is ensured by the smoothness of the covariance kernels of Gaussian components in the product, and sparsity is controlled by the number of components. The bivariate kurtosis of the PING process shows more components in the product results in thicker tail and sharper peak at zero. The simulation results demonstrate the improvement in estimation using the PING prior over Gaussian process (GP) prior for different image regressions. We apply our method to a longitudinal MRI dataset to detect the regions that are affected by multiple sclerosis (MS) in the greatest magnitude through an image-on-scalar regression model. Due to huge dimensionality of these images, we transform the data into the spectral domain and develop methods to conduct computation in this domain. In our MS imaging study, the estimates from the PING model are more informative than those from the GP model.


title: Towards blockchain-based robonomics: autonomous agents behavior validation

abstract: The decentralized trading market approach, where both autonomous agents and people can consume and produce services expanding own opportunities to reach goals, looks very promising as a part of the Fourth Industrial revolution. The key component of the approach is a blockchain platform that allows an interaction between agents via liability smart contracts. Reliability of a service provider is usually determined by a reputation model. However, this solution only warns future customers about an extent of trust to the service provider in case it could not execute any previous liabilities correctly. From the other hand a blockchain consensus protocol can additionally include a validation procedure that detects incorrect liability executions in order to suspend payment transactions to questionable service providers. The paper presents the validation methodology of a liability execution for agent-based service providers in a decentralized trading market, using the Model Checking method based on the mathematical model of finite state automata and Temporal Logic properties of interest. To demonstrate this concept, we implemented the methodology in the Duckietown application, moving an autonomous mobile robot to achieve a mission goal with the following behavior validation at the end of a completed scenario.


title: Anomalous dynamics in tracer-particle motions in an electrohydrodynamically driven oil-in-oil system

abstract: We characterize the super-diffusive dynamics of tracer particles in an electrohydrodynamically driven emulsion of oil droplets in an immiscible oil medium, where the amplitude and frequency of an external electric field are the control parameters. In the weakly-driven electrohydrodynamic regime, the droplets are trapped dielectrophoretically on a patterned electrode, and the driving is therefore spatially varying. We find excellent agreement with a $\langle x^2 \rangle \sim t^{1.5}$ power law, and find that this superdiffusive dynamics arises from an underlying displacement distribution that is distinctly non-Gaussian, and exponential for small displacements and short times. While these results are comparable with a random-velocity field model, the tracer particle speeds are in fact spatially varying in 2 dimensions, arising from a spatially varying electrohydrodynamic driving force. This suggests that the important ingredient for the super-diffusive $t^{1.5}$ behaviour observed is a velocity field that is isotropic in the plane and spatially correlated. Finally, we can extract, from the superdiffusive dynamics, a experimental lengthscale that corresponds to the lateral range of the hydrodynamic flows. This experimental length scale is only non-zero above a threshold ion mobility length.


title: A Focused Mapping Study on Customization in Interactive Technologies for Autism

abstract: Autism Spectrum Disorder (ASD) is neurodevelopmental condition characterized by social interaction and communication difficulties, along with narrow and repetitive interests. Being an spectrum disorder, ASD affects individuals with a large range of combinations of challenges along dimensions such intelligence, social skills, or sensory processing. Hence, any interactive technology for ASD ought to be customizable to fit the particular profile of each individual that uses it. The goal of this paper is to characterize the support of customization in this area. To do so, we performed a focused study that identifies the dimensions of ASD where customization has been considered on wearable and natural surfaces technologies, two of the most promising technologies for ASD, and assess the empirical evaluation that supports them. Our study revealed that, even though its critical importance, customization has fundamentally not been addressed in this domain and it opened avenues for research at the intersection of human-computer interaction and software engineering.


title: Testing of Advanced Technique For Linear Lattice and Closed Orbit Correction By Modeling Its Application For IOTA Ring At Fermilab

abstract: Many modern and most future accelerators rely on precise configuration of lattice and trajectory. The Integrable Optics Test Accelerator (IOTA) at Fermilab that is coming to final stages of construction will be used to test advanced approaches of control over particles dynamics. Various experiments planned at IOTA require high flexibility of lattice configuration as well as high precision of lattice and closed orbit control. Dense element placement does not allow to have ideal configuration of diagnostics and correctors for all planned experiments. To overcome this limitations advanced method of lattice analysis is proposed that can also be beneficial for other machines. Developed algorithm is based on LOCO approach, extended with various sets of other experimental data, such as dispersion, BPM-to-BPM phase advances, beam shape information from synchrotron light monitors, responses of closed orbit bumps to variations of focusing elements and other. Extensive modeling of corrections for a big number of random seed errors is used to illustrate benefits from developed approach.


title: Cylindrical-water-resonator-based ultra-broadband microwave absorber

abstract: A cylindrical-water-resonator-based absorber with ultra-broad operating band at microwave band is demonstrated theoretically and experimentally for the first time. By utilizing dielectric resonator (DR) mode and spoof surface plasmon polariton (SPP) mode of the cylindrical water resonators, the proposed absorber owns an absorptivity higher than 90% over almost the whole ultra-broad operating band from 5.58 GHz to 24.21 GHz, with a relative bandwidth as high as 125%. The angular tolerance and thermal stability of the proposed absorber are simulated and the results indicate the good performance of the absorber under wide incident angles and weakly dependent on water temperature. Low cost, ultra-broad operating band, good wide-angle characteristic and thermal stability make the absorber promising in the application of antenna measurement, steady technology and energy harvesting.


title: Strong PUFs from arrays of resonant tunnelling diodes

abstract: In this work, we design and implement a strong physical uncloneable function from an array of individual resonant tunnelling diodes that were previously described to have a unique response when challenged. The system demonstrates the exponential scalability of its responses when compared to the number of devices present in the system, with an expected large set of responses while retaining a 1:1 relationship with challenges. Using a relatively small set of 16 devices, 256 responses are shown to have promising levels of distinctness and repeatability through multiple measurements.


title: Performance Metrics for the Objective Assessment of Capacitive Deionization Systems

abstract: In the growing field of capacitive deionization (CDI), a number of performance metrics have emerged to describe the desalination process. Unfortunately, the separation conditions under which these metrics are measured are often not specified, resulting in optimal performance at minimal removal. Here we outline a system of performance metrics and reporting conditions that resolves this issue. Our proposed system is based on volumetric energy consumption (Wh/m$^3$) and throughput productivity (L/h/m$^2$) reported for a specific average concentration reduction, water recovery, and feed salinity. To facilitate and rationalize comparisons between devices, materials, and operation modes, we propose a nominal standard testing condition of removing 5 mM from a 20 mM NaCl feed solution at 50% water recovery for CDI research. Using this separation, we compare the desalination performance of a flow-through electrode (fte-CDI) cell and a flow between membrane (fb-MCDI) device, showing how significantly different systems can be compared in terms of generally desirable desalination characteristics. In general, we find that performance analysis must be considered carefully so to not allow for ambiguous separation conditions or the maximization of one metric at the expense of another. Additionally, for context we discuss a number of important underlying performance indicators and cell characteristics that are not performance measures in and of themselves but can be examined to better understand differences in performance.


title: Always a Farm Boy

abstract: This is the memoir of Brian Dennis - his life story to date, and his involvement with high energy solar physics.


title: 40-tesla pulsed-field cryomagnet for single crystal neutron diffraction

abstract: We present the first long-duration and high duty cycle 40-tesla pulsed-field cryomagnet addressed to single crystal neutron diffraction experiments at temperatures down to 2 K. The magnet produces a horizontal field in a bi-conical geometry, $\pm$15 and $\pm$30{\deg} upstream and downstream of the sample, respectively. Using a 1.15MJ mobile generator, magnetic field pulses of 100 ms length are generated in the magnet, with a rise time of 23 ms and a repetition rate of 6-7 pulses per hour at 40 T. The setup was validated for neutron diffraction on the CEA-CRG three-axis spectrometer IN22 at the ILL.


title: Magnetic monopoles with internal structure

abstract: We investigate the presence of magnetic monopoles in a model that extends the non Abelian model originally studied by 't Hooft and Polyakov with the inclusion of an extra neutral field. The investigation includes modifications of the dynamics of the gauged fields, and the main results unveil a route to construct solutions that engender internal structure and live in a compact space.


title: Tests of a dual-readout fiber calorimeter with SiPM light sensors

abstract: In this paper, we describe the first tests of a dual-readout fiber calorimeter in which silicon photomultipliers are used to sense the (scintillation and Cherenkov) light signals. The main challenge in this detector is implementing a design that minimizes the optical crosstalk between the two types of fibers, which are located very close to each other and carry light signals that differ in intensity by about a factor of 60. The experimental data, which were obtained with beams of high-energy electrons and muons as well as in lab tests, illustrate to what extent this challenge was met. The Cherenkov light yield, a limiting factor for the energy resolution of this type of calorimeter, was measured to be about twice that of the previously tested configurations based on photomultiplier tubes. The lateral profiles of electromagnetic showers were measured on a scale of millimeters from the shower axis and significant differences were found between the profiles measured with the scintillating and the Cherenkov fibers.


title: Geometric Rounding and Feature Separation in Meshes

abstract: Geometric rounding of a mesh is the task of approximating its vertex coordinates by floating point numbers while preserving mesh structure. Geometric rounding allows algorithms of computational geometry to interface with numerical algorithms. We present a practical geometric rounding algorithm for 3D triangle meshes that preserves the topology of the mesh. The basis of the algorithm is a novel strategy: 1) modify the mesh to achieve a feature separation that prevents topology changes when the coordinates change by the rounding unit; and 2) round each vertex coordinate to the closest floating point number. Feature separation is also useful on its own, for example for satisfying minimum separation rules in CAD models. We demonstrate a robust, accurate implementation.


title: Efficient Shortest Paths in Scale-Free Networks with Underlying Hyperbolic Geometry

abstract: A common way to accelerate shortest path algorithms on graphs is the use of a bidirectional search, which simultaneously explores the graph from the start and the destination. It has been observed recently that this strategy performs particularly well on scale-free real-world networks. Such networks typically have a heterogeneous degree distribution (e.g., a power-law distribution) and high clustering (i.e., vertices with a common neighbor are likely to be connected themselves). These two properties can be obtained by assuming an underlying hyperbolic geometry. To explain the observed behavior of the bidirectional search, we analyze its running time on hyperbolic random graphs and prove that it is $\mathcal {\tilde O}(n^{2 - 1/\alpha} + n^{1/(2\alpha)} + \delta_{\max})$ with high probability, where $\alpha \in (0.5, 1)$ controls the power-law exponent of the degree distribution, and $\delta_{\max}$ is the maximum degree. This bound is sublinear, improving the obvious worst-case linear bound. Although our analysis depends on the underlying geometry, the algorithm itself is oblivious to it.


title: Implication of the Shape of the EDGES Signal for the 21 cm Power Spectrum

abstract: We revisit the 21 cm power spectrum from the epoch of cosmic dawn in light of the recent EDGES detection of the 21 cm global signal at frequencies corresponding to $z\sim20$. The shape of the signal suggests that the spin temperature of neutral hydrogen was coupled to the kinetic temperature of the gas relatively rapidly ($19\lesssim z \lesssim 21$). We therefore consider models in which the UV photons were dominantly produced in the rarest and most massive halos ($M\gtrsim 10^9M_\odot$), since their abundance grows fast enough at those redshifts to account for this feature of the signal. We show that these models predict large power spectrum amplitudes during the inhomogeneous coupling, and then inhomogeneous heating by CMB and Lyman-$\alpha$ photons due to the large shot noise associated with the rare sources. The power spectrum is enhanced by more than an order of magnitude compared to previous models which did not include the shot noise contribution, making it a promising target for upcoming radio interferometers that aim to detect high-redshift 21 cm fluctuations.


title: A Fixed Mesh Method With Immersed Finite Elements for Solving Interface Inverse Problems

abstract: We present a new fixed mesh algorithm for solving a class of interface inverse problems for the typical elliptic interface problems. These interface inverse problems are formulated as shape optimization prob- lems whose objective functionals depend on the shape of the interface. Regardless of the location of the interface, both the governing partial differential equations and the objective functional are discretized optimally, with respect to the involved polynomial space, by an immersed finite element (IFE) method on a fixed mesh. Furthermore, the formula for the gradient of the descritized objective function is de- rived within the IFE framework that can be computed accurately and efficiently through the discretized adjoint procedure. Features of this proposed IFE method based on a fixed mesh are demonstrated by its applications to three representative interface inverse problems: the interface inverse problem with an internal measurement on a sub-domain, a Dirichlet-Neumann type inverse problem whose data is given on the boundary, and a heat dissipation design problem.


title: Phase-field simulations of lithium dendrite growth with open-source software

abstract: Dendrite growth is a long-standing challenge that has limited the applications of rechargeable lithium metal electrodes. Here, we developed a grand potential based nonlinear phase-field model to study the electrodeposition of lithium as relevant for a lithium metal anode, using open-source software package MOOSE. The dynamic morphological evolution under large/small overpotential is studied in 2-dimensions, revealing important dendrite growth/stable deposition patterns. The corresponding temporal-spatial distributions of ion concentration, overpotential and driving force are studied, which demonstrate an intimate, dynamic competition between ion transport and electrochemical reactions, resulting in vastly different growth patterns. Given the importance of morphological evolution for lithium metal electrodes, wide-spread applications of phase-field models have been limited in part due to in-house or proprietary software. In order to spur growth of this field, we utilize an open-source software package and make all files available to enable future studies to study the many unsolved aspects related to morphology evolution for lithium metal electrodes.


title: Multimodal Hierarchical Reinforcement Learning Policy for Task-Oriented Visual Dialog

abstract: Creating an intelligent conversational system that understands vision and language is one of the ultimate goals in Artificial Intelligence (AI)~\cite{winograd1972understanding}. Extensive research has focused on vision-to-language generation, however, limited research has touched on combining these two modalities in a goal-driven dialog context. We propose a multimodal hierarchical reinforcement learning framework that dynamically integrates vision and language for task-oriented visual dialog. The framework jointly learns the multimodal dialog state representation and the hierarchical dialog policy to improve both dialog task success and efficiency. We also propose a new technique, state adaptation, to integrate context awareness in the dialog state representation. We evaluate the proposed framework and the state adaptation technique in an image guessing game and achieve promising results.


title: Comment on "Influence of image forces on the electron transport in ferroelectric tunnel junctions"

abstract: Udalov and Beloborodov in the recent papers [Phys. Rev. B 95, 134106 (2017); Phys. Rev. B 96, 125425 (2017)] report the strong influence of image forces on the conductance of ferroelectric tunnel junctions. In particular, the authors state that there is enhancement of the electroresistance effect due to polarization hysteresis in symmetric tunnel junctions at nonzero bias. This conjecture seems to be a breakthrough --- the common knowledge is that the considerable effect, linear over voltage bias, takes place only in NONsymmetric junctions. We show that the influence of image forces on the conductance of ferroelectric tunnel junctions is highly overestimated due to neglecting the difference between characteristic ferroelectric relaxation and electron tunneling times. We argue that notable enhancement of the electroresistance effect from image forces due to polarization hysteresis in symmetric tunnel junctions at nonzero bias might be observed only at anomalously slow electron tunneling through the barrier. The same applies to magnetic tunnel junctions with a ferroelectric barrier also considered by Udalov et al: there is no significant increase of the magnetoelectric effect due to image forces for typical electron tunneling times. Udalov and Beloborodov completely missed the development of image force theory since 1950's and they forgot that electrons move much faster than atoms in condensed matter. We underline that taking into account dynamical effects in charge tunneling can bring new insight on physics of ferroelectric tunnel junctions.


title: Tiling with punctured intervals

abstract: It was shown by Gruslys, Leader and Tan that any finite subset of $\mathbb{Z}^n$ tiles $\mathbb{Z}^d$ for some $d$. The first non-trivial case is the punctured interval, which consists of the interval $\{-k,\ldots,k\} \subset \mathbb{Z}$ with its middle point removed: they showed that this tiles $\mathbb{Z}^d$ for $d = 2k^2$, and they asked if the dimension needed tends to infinity with $k$. In this note we answer this question: we show that, perhaps surprisingly, every punctured interval tiles $\mathbb{Z}^4$.


title: Analysis of Relaxation Time in Random Walk with Jumps

abstract: We study the relaxation time in the random walk with jumps. The random walk with jumps combines random walk based sampling with uniform node sampling and improves the performance of network analysis and learning tasks. We derive various conditions under which the relaxation time decreases with the introduction of jumps.


title: Bi-$f$-harmonic curves and hypersurfaces

abstract: In the present paper, we study bi-$f$-harmonic maps which generalize not only $f$-harmonic maps, but also biharmonic maps. We derive bi-$f$-harmonic equations for curves in the Euclidean space, unit sphere, hyperbolic space, and in hypersurfaces of Riemannian manifolds.


title: Assessment of Transverse Instabilities in Proton Driven Hollow Plasma Wakefield Acceleration

abstract: Hollow plasma has been introduced into the proton-driven plasma wakefield accelerators to overcome the issue of beam quality degradation caused by the nonlinear transverse wakefields varying in radius and time in uniform plasma. It has been demonstrated in simulations that the electrons can be accelerated to energy frontier with well-preserved beam quality in a long hollow plasma channel. However, this scheme imposes tight requirements on the beam-channel alignment. Otherwise asymmetric transverse wakefields along the axis are induced, which could distort the driving bunch and deteriorate the witness beam quality. In this paper, by means of the 2D cartesian particle-in-cell simulations, we examine the potentially detrimental effects induced by the driving beam-channel offset and initial driver tilt, and then propose and assess the solutions to these driver inaccuracy issues.


title: Matroid fragility and relaxations of circuit hyperplanes

abstract: We relate two conjectures that play a central role in the reported proof of Rota's Conjecture. Let $\mathbb F$ be a finite field. The first conjecture states that: the branch-width of any $\mathbb F$-representable $N$-fragile matroid is bounded by a function depending only upon $\mathbb F$ and $N$. The second conjecture states that: if a matroid $M_2$ is obtained from a matroid $M_1$ by relaxing a circuit-hyperplane and both $M_1$ and $M_2$ are $\mathbb F$-representable, then the branch-width of $M_1$ is bounded by a function depending only upon $\mathbb F$. Our main result is that the second conjecture implies the first.


title: Diffusion and equilibration of site-preferences following transmutation of tracer atoms

abstract: Using the method of perturbed angular correlation of gamma rays, diffusional jump-frequencies of probe atoms can be measured through relaxation of the nuclear quadrupole interaction. This was first shown in 2004 for jumps of tracer atoms that lead to reorientation of the local electric field-gradient, such as jumps on the connected a-sublattice in the L12 crystal structure. Studies on many such phases using the 111In/Cd PAC probe are reviewed in this paper. A major finding from a 2009 study of indides of rare-earth elements, In3R, was the apparent observation of two diffusional regimes: one dominant for heavy-lanthanide phases, R= Lu, Tm, Er, Dy, Tb, Gd, that was consistent with a simple model of vacancy diffusion on the In a-sublattice, and another for light-lanthanides, R= La, Ce, Pr, Nd, that had no obvious explanation but for which several alternative diffusion mechanisms were suggested. It is herein proposed that the latter regime arises not from a diffusion mechanism but from transfer of Cd-probes from In-sites where they originate to R-sites as a consequence of a change in site-preference of 111Cd-daughter atoms from In-sites to R-sites following transmutation of 111In. Support for this transfer mechanism comes from a study of site-preferences and jump-frequencies of 111In/Cd probes in Pd3R phases. Possible mechanisms for transfer are described, with the most likely mechanism identified as one in which Cd-probes on a-sites transfer to interstitial sites, diffuse interstitially, and then react with vacancies on b-sites. Implications of this proposal are discussed. For indides of heavy-lanthanide elements, the Cd-tracer remains on the In-sublattice and relaxation gives the diffusional jump-frequency.


title: Quantum Algorithms for Scientific Computing and Approximate Optimization

abstract: Quantum computation appears to offer significant advantages over classical computation and this has generated a tremendous interest in the field. In this thesis we consider the application of quantum computers to scientific computing and combinatorial optimization. We study five problems. The first three deal with quantum algorithms for computational problems in science and engineering, including quantum simulation of physical systems. In particular, we study quantum algorithms for numerical computation, for the approximation of ground and excited state energies of the Schr\"odinger equation, and for Hamiltonian simulation with applications to physics and chemistry. The remaining two deal with quantum algorithms for approximate optimization. We study the performance of the quantum approximate optimization algorithm (QAOA), and show a generalization of QAOA, the $\textit{quantum}$ $\textit{alternating}$ $\textit{operator}$ $\textit{ansatz}$, particularly suitable for constrained optimization problems and low-resource implementations on near-term quantum devices.


title: Symmetric functions for fast image retrieval with persistent homology

abstract: Persistence diagrams, combining geometry and topology for an effective shape description used in pattern recognition, have already proven to be an effective tool for shape representation with respect to a certainfiltering function. Comparing the persistence diagram of a query with those of a database allows automatic classification or retrieval, but unfortunately, the standard method for comparing persistence diagrams, the bottleneck distance, has a high computational cost. A possible algebraic solution to this problem is to switch to comparisons between the complex polynomials whose roots are the cornerpoints of the persistence diagrams. This strategy allows to reduce the computational cost in a significant way, thereby making persistent homology based applications suitable for large scale databases. The definition of new distances in the polynomial frame-work poses some interesting problems, both of theoretical and practical nature. In this paper, these questions have been addressed by considering possible transformations of the half-plane where the persistence diagrams lie onto the complex plane, and by considering a certain re-normalisation the symmetric functions associated to the polynomial roots of the resulting transformed polynomial. The encouraging numerical results, obtained in a dermatology application test, suggest that the proposed method may even improve the achievements obtained by the standard methods using persistence diagrams and the bottleneck distance.


title: QGLBT for polytopes

abstract: We extend the assertion of the Generalized Lower Bound Theorem (GLBT) to general polytopes under the assumption that their low dimensional skeleton is simplicial, with partial results for the general case. We prove a quantitative version of the GLBT for general polytopes, and use it to give a topological necessary condition for polytopes to have vanishing toric $g_k$ entry. As another application of the QGLBT we prove a conjecture of Kalai on $g$-numbers for general polytopes approximating a smooth convex body.


title: Understanding LiOH Chemistry in a Ruthenium Catalyzed Li-O2 Battery

abstract: Non-aqueous Li-O2 batteries are promising for next generation energy storage. New battery chemistries based on LiOH, rather than Li2O2, have recently been reported in systems with added water, one using a soluble additive LiI and the other using solid Ru catalysts. Here, we focus on the mechanism of Ru-catalyzed LiOH chemistry. Using nuclear magnetic resonance, operando electrochemical pressure measurements and mass spectrometry, we show that on discharging LiOH forms via a 4 e- oxygen reduction reaction, the H in LiOH coming solely from added H2O and the O from both O2 and H2O. On charging, quantitative LiOH oxidation occurs at 3.1 V, with O being trapped in a form of dimethyl sulfone in the electrolyte. Compared to Li2O2, LiOH formation over Ru incurs hardly any side reactions, a critical advantage for developing a long-lived battery. An optimized metal catalyst-electrolyte couple needs to be sought that aids LiOH oxidation and is able stable towards attack by hydroxyl radicals.


title: Sparse Blind Deconvolution for Distributed Radar Autofocus Imaging

abstract: A common problem that arises in radar imaging systems, especially those mounted on mobile platforms, is antenna position ambiguity. Approaches to resolve this ambiguity and correct position errors are generally known as radar autofocus. Common techniques that attempt to resolve the antenna ambiguity generally assume an unknown gain and phase error afflicting the radar measurements. However, ensuring identifiability and tractability of the unknown error imposes strict restrictions on the allowable antenna perturbations. Furthermore, these techniques are often not applicable in near-field imaging, where mapping the position ambiguity to phase errors breaks down. In this paper, we propose an alternate formulation where the position error of each antenna is mapped to a spatial shift operator in the image-domain. Thus, the radar autofocus problem becomes a multichannel blind deconvolution problem, in which the radar measurements correspond to observations of a static radar image that is convolved with the spatial shift kernel associated with each antenna. To solve the reformulated problem, we also develop a block coordinate descent framework that leverages the sparsity and piece-wise smoothness of the radar scene, as well as the one-sparse property of the two dimensional shift kernels. We evaluate the performance of our approach using both simulated and experimental radar measurements, and demonstrate its superior performance compared to state-of-the-art methods.


title: Continuous-time integral dynamics for monotone aggregative games with coupling constraints

abstract: We consider continuous-time equilibrium seeking in monotone aggregative games with coupling constraints. We propose semi-decentralized integral dynamics and prove their global convergence to a variational generalized aggregative or Nash equilibrium. The proof is based on Lyapunov arguments and invariance techniques for differential inclusions.


title: Delay and Peak-Age Violation Probability in Short-Packet Transmissions

abstract: This paper investigates the distribution of delay and peak age of information in a communication system where packets, generated according to an independent and identically distributed Bernoulli process, are placed in a single-server queue with first-come first-served discipline and transmitted over an additive white Gaussian noise (AWGN) channel. When a packet is correctly decoded, the sender receives an instantaneous error-free positive acknowledgment, upon which it removes the packet from the buffer. In the case of negative acknowledgment, the packet is retransmitted. By leveraging finite-blocklength results for the AWGN channel, we characterize the delay violation and the peak-age violation probability without resorting to approximations based on large deviation theory as in previous literature. Our analysis reveals that there exists an optimum blocklength that minimizes the delay violation and the peak-age violation probabilities. We also show that one can find two blocklength values that result in very similar average delay but significantly different delay violation probabilities. This highlights the importance of focusing on violation probabilities rather than on averages.


title: Amplitude enhancement of the self-modulated plasma wakefields

abstract: Seeded Self-modulation (SSM) has been demonstrated to transform a long proton bunch into many equidistant micro-bunches (e.g., the AWAKE case), which then resonantly excite strong wakefields. However, the wakefields in a uniform plasma suffer from a quick amplitude drop after reaching the peak. This is caused by a significant decrease of the wake phase velocity during self-modulation. A large number of protons slip out of focusing and decelerating regions and get lost, and thus cannot contribute to the wakefield growth. Previously suggested solutions incorporate a sharp or a linear plasma longitudinal density increase which can compensate the backward phase shift and therefore enhance the wakefields. In this paper, we propose a new plasma density profile, which can further boost the wakefield amplitude by 30%. More importantly, almost 24% of protons initially located along one plasma period survive in a micro-bunch after modulation. The underlying physics is discussed.


title: Nothing to see here? Non-inferiority approaches to parallel trends and other model assumptions

abstract: Many causal models make assumptions of "no difference" or "no effect." For example, difference-in-differences (DID) assumes that there is no trend difference between treatment and comparison groups' untreated potential outcomes ("parallel trends"). Tests of these assumptions typically assume a null hypothesis that there is no violation. When researchers fail to reject the null, they consider the assumption to hold. We argue this approach is incorrect and frequently misleading. These tests reverse the roles of Type I and Type II error and have a high probability of missing assumption violations. Even when power is high, they may detect statistically significant violations too small to be of practical importance. We present test reformulations in a non-inferiority framework that rule out violations of model assumptions that exceed some threshold. We then focus on the parallel trends assumption, for which we propose a "one step up" method: 1) reporting treatment effect estimates from a model with a more complex trend difference than is believed to be the case and 2) testing that that the estimated treatment effect falls within a specified distance of the treatment effect from the simpler model. We show that this reduces bias while also considering power, controlling mean-squared error. Our base model also aligns power to detect a treatment effect with power to rule out meaningful violations of parallel trends. We apply our approach to 4 data sets used to analyze the Affordable Care Act's dependent coverage mandate and demonstrate that coverage gains may have been smaller than previously estimated.


title: Structural, Vibrational and Electronic Properties of Single Layer Hexagonal Crystals of Groups IV and V

abstract: Using first-principles density functional theory calculations, we investigate a family of stable two-dimensional crystals with chemical formula $A_2B_2$, where $A$ and $B$ belong to groups IV and V, respectively ($A$ = C, Si, Ge, Sn, Pb; $B$ = N, P, As, Sb, Bi). Two structural symmetries of hexagonal lattices $P\bar{6}m2$ and $P\bar{3}m1$ are shown to be dynamically stable, named as $\alpha$- and $\beta$-phases correspondingly. Both phases have similar cohesive energies, and the $\alpha$-phase is found to be energetically favorable for structures except CP, CAs, CSb and CBi, for which the $\beta$-phase is favored. The effects of spin-orbit coupling and Hartree-Fock corrections to exchange-correlation are included to elucidate the electronic structures. All structures are semiconductors except CBi and PbN, which have metallic character. SiBi, GeBi and SnBi have direct band gaps, whereas the remaining semiconductor structures have indirect band gaps. All structures have quartic dispersion in their valence bands, some of which make the valence band maximum and resemble a Mexican hat shape. SnAs and PbAs have purely quartic valence band edges, i.e. $E{\sim}{-}\alpha k^4$, a property reported for the first time. The predicted materials are candidates for a variety of applications. Owing to their wide band gaps, CP, SiN, SiP, SiAs, GeN, GeP can find their applications in optoelectronics. The relative band positions qualify a number of the structures as suitable for water splitting, where CN and SiAs are favorable at all pH values. Structures with quartic band edges are expected to be efficient for thermoelectric applications.


title: Optimal Linear Instrumental Variables Approximations

abstract: This paper studies the identification and estimation of the optimal linear approximation of a structural regression function. The parameter in the linear approximation is called the Optimal Linear Instrumental Variables Approximation (OLIVA). This paper shows that a necessary condition for standard inference on the OLIVA is also sufficient for the existence of an IV estimand in a linear model. The instrument in the IV estimand is unknown and may not be identified. A Two-Step IV (TSIV) estimator based on Tikhonov regularization is proposed, which can be implemented by standard regression routines. We establish the asymptotic normality of the TSIV estimator assuming neither completeness nor identification of the instrument. As an important application of our analysis, we robustify the classical Hausman test for exogeneity against misspecification of the linear structural model. We also discuss extensions to weighted least squares criteria. Monte Carlo simulations suggest an excellent finite sample performance for the proposed inferences. Finally, in an empirical application estimating the elasticity of intertemporal substitution (EIS) with US data, we obtain TSIV estimates that are much larger than their standard IV counterparts, with our robust Hausman test failing to reject the null hypothesis of exogeneity of real interest rates.


title: Tracking the Orientation and Axes Lengths of an Elliptical Extended Object

abstract: Extended object tracking considers the simultaneous estimation of the kinematic state and the shape parameters of a moving object based on a varying number of noisy detections. A main challenge in extended object tracking is the nonlinearity and high-dimensionality of the estimation problem. This work presents compact closed-form expressions for a recursive Kalman filter that explicitly estimates the orientation and axes lengths of an extended object based on detections that are scattered over the object surface (according to a Gaussian distribution). Existing approaches are either based on Monte Carlo approximations or do not allow for explicitly maintaining all ellipse parameters. The performance of the novel approach is demonstrated with respect to the state-of-the-art by means of simulations.


title: On quasinilpotent operators and the invariant subspace problem

abstract: We show that a bounded quasinilpotent operator $T$ acting on an infinite dimensional Banach space has an invariant subspace if and only if there exists a rank one operator $F$ and a scalar $\alpha\in\mathbb{C}$, $\alpha\neq 0$, $\alpha\neq 1$, such that $T+F$ and $T+\alpha F$ are also quasinilpotent. We also prove that for any fixed rank-one operator $F$, almost all perturbations $T+\alpha F$ have invariant subspaces of infinite dimension and codimension.


title: Fully Automated Segmentation of Hyperreflective Foci in Optical Coherence Tomography Images

abstract: The automatic detection of disease related entities in retinal imaging data is relevant for disease- and treatment monitoring. It enables the quantitative assessment of large amounts of data and the corresponding study of disease characteristics. The presence of hyperreflective foci (HRF) is related to disease progression in various retinal diseases. Manual identification of HRF in spectral-domain optical coherence tomography (SD-OCT) scans is error-prone and tedious. We present a fully automated machine learning approach for segmenting HRF in SD-OCT scans. Evaluation on annotated OCT images of the retina demonstrates that a residual U-Net allows to segment HRF with high accuracy. As our dataset comprised data from different retinal diseases including age-related macular degeneration, diabetic macular edema and retinal vein occlusion, the algorithm can safely be applied in all of them though different pathophysiological origins are known.


title: Matter effects in neutrino visible decay at future long-baseline experiments

abstract: Neutrino visible decay in the presence of matter is re-evaluated. We study these effects in two future long-baseline experiments where matter effects are relevant: DUNE (1300 km) and a hypothetical beam aimed towards ANDES (7650 km). We find that matter effects are negligible for the visible component of neutrino decay at DUNE, being much more relevant at ANDES. We perform a detailed simulation of DUNE, considering $\nu_\mu$ disappearance and $\nu_e$ appearance channels, for both FHC and RHC modes. The sensitivity to the decay constant $\alpha_3$ can be as low as $2\times10^{-6}$ eV$^2$ at 90% C.L., depending on the neutrino masses and type of coupling. We also show the impact of neutrino decay in the determination of $\theta_{23}$ and $\delta_{\rm CP}$, and find that the best-fit value of $\theta_{23}$ can move from a true value at the lower octant towards the higher octant.


title: Capturing Edge Attributes via Network Embedding

abstract: Network embedding, which aims to learn low-dimensional representations of nodes, has been used for various graph related tasks including visualization, link prediction and node classification. Most existing embedding methods rely solely on network structure. However, in practice we often have auxiliary information about the nodes and/or their interactions, e.g., content of scientific papers in co-authorship networks, or topics of communication in Twitter mention networks. Here we propose a novel embedding method that uses both network structure and edge attributes to learn better network representations. Our method jointly minimizes the reconstruction error for higher-order node neighborhood, social roles and edge attributes using a deep architecture that can adequately capture highly non-linear interactions. We demonstrate the efficacy of our model over existing state-of-the-art methods on a variety of real-world networks including collaboration networks, and social networks. We also observe that using edge attributes to inform network embedding yields better performance in downstream tasks such as link prediction and node classification.


title: Quantifying the Sensitivity of HIV-1 Viral Entry to Receptor and Coreceptor Expression

abstract: Infection by many viruses begins with fusion of viral and cellular lipid membranes, followed by entry of viral contents into the target cell and ultimately, after many biochemical steps, integration of viral DNA into that of the host cell. The early steps of membrane fusion and viral capsid entry are mediated by adsorption to the cell surface, and receptor and coreceptor binding. HIV-1 specifically targets CD4+ helper T-cells of the human immune system and binds to the receptor CD4 and coreceptor CCR5 before fusion is initiated. Previous experiments have been performed using a cell line (293-Affinofile) in which the expression of CD4 and CCR5 concentration were independently controlled. After exposure to HIV-1 of various strains, the resulting infectivity was measured through the fraction of infected cells. To design and evaluate the effectiveness of drug therapies that target the inhibition of the entry processes, an accurate functional relationship between the CD4/CCR5 concentrations and infectivity is desired in order to more quantitatively analyze experimental data. We propose three kinetic models describing the possible mechanistic processes involved in HIV entry and fit their predictions to infectivity measurements, contrasting and comparing different outcomes. Our approach allows interpretation of the clustering of infectivity of different strains of HIV-1 in the space of mechanistic kinetic parameters. Our model fitting also allows inference of nontrivial stoichiometries of receptor and coreceptor binding and provides a framework through which to quantitatively investigate the effectiveness of fusion inhibitors and neutralizing antibodies.


title: Effect of transport coefficients on excitation of flare-induced standing slow-mode waves in coronal loops

abstract: Standing slow-mode waves have been recently observed in flaring loops by the Atmospheric Imaging Assembly (AIA) of the Solar Dynamics Observatory (SDO). By means of the coronal seismology technique transport coefficients in hot ($\sim$10 MK) plasma were determined by Wang et al.(2015, Paper I), revealing that thermal conductivity is nearly suppressed and compressive viscosity is enhanced by more than an order of magnitude. In this study we use 1D nonlinear MHD simulations to validate the predicted results from the linear theory and investigate the standing slow-mode wave excitation mechanism. We first explore the wave trigger based on the magnetic field extrapolation and flare emission features. Using a flow pulse driven at one footpoint we simulate the wave excitation in two types of loop models: model 1 with the classical transport coefficients and model 2 with the seismology-determined transport coefficients. We find that model 2 can form the standing wave pattern (within about one period) from initial propagating disturbances much faster than model 1, in better agreement with the observations. Simulations of the harmonic waves and the Fourier decomposition analysis show that the scaling law between damping time ($\tau$) and wave period ($P$) follows $\tau\propto{P^2}$ in model 2, while $\tau\propto{P}$ in model 1. This indicates that the largely enhanced viscosity efficiently increases the dissipation of higher harmonic components, favoring the quick formation of the fundamental standing mode. Our study suggests that observational constraints on the transport coefficients are important in understanding both, the wave excitation and damping mechanisms.


title: Read Disturb Errors in MLC NAND Flash Memory

abstract: This paper summarizes our work on experimentally characterizing, mitigating, and recovering read disturb errors in multi-level cell (MLC) NAND flash memory, which was published in DSN 2015, and examines the work's significance and future potential. NAND flash memory reliability continues to degrade as the memory is scaled down and more bits are programmed per cell. A key contributor to this reduced reliability is read disturb, where a read to one row of cells impacts the threshold voltages of unread flash cells in different rows of the same block. For the first time in open literature, this work experimentally characterizes read disturb errors on state-of-the-art 2Y-nm (i.e., 20-24 nm) MLC NAND flash memory chips. Our findings (1) correlate the magnitude of threshold voltage shifts with read operation counts, (2) demonstrate how program/erase cycle count and retention age affect the read-disturb-induced error rate, and (3) identify that lowering pass-through voltage levels reduces the impact of read disturb and extend flash lifetime. Particularly, we find that the probability of read disturb errors increases with both higher wear-out and higher pass-through voltage levels. We leverage these findings to develop two new techniques. The first technique mitigates read disturb errors by dynamically tuning the pass-through voltage on a per-block basis. Using real workload traces, our evaluations show that this technique increases flash memory endurance by an average of 21%. The second technique recovers from previously-uncorrectable flash errors by identifying and probabilistically correcting cells susceptible to read disturb errors. Our evaluations show that this recovery technique reduces the raw bit error rate by 36%.


title: A convergent hierarchy of non-linear eigenproblems to compute the joint spectral radius of nonnegative matrices

abstract: We show that the joint spectral radius of a finite collection of nonnegative matrices can be bounded by the eigenvalue of a non-linear operator. This eigenvalue coincides with the ergodic constant of a risk-sensitive control problem, or of an entropy game, in which the state space consists of all switching sequences of a given length. We show that, by increasing this length, we arrive at a convergent approximation scheme to compute the joint spectral radius. The complexity of this method is exponential in the length of the switching sequences, but it is quite insensitive to the size of the matrices, allowing us to solve very large scale instances (several matrices in dimensions of order 1000 within a minute). An idea of this method is to replace a hierarchy of optimization problems, introduced by Ahmadi, Jungers, Parrilo and Roozbehani, by a hierarchy of nonlinear eigenproblems. To solve the latter eigenproblems, we introduce a projective version of Krasnoselskii-Mann iteration. This method is of independent interest as it applies more generally to the nonlinear eigenproblem for a monotone positively homogeneous map. Here, this method allows for scalability by avoiding the recourse to linear or semidefinite programming techniques.


title: Deep Neural Networks for Optimal Team Composition

abstract: Cooperation is a fundamental social mechanism, whose effects on human performance have been investigated in several environments. Online games are modern-days natural settings in which cooperation strongly affects human behavior. Every day, millions of players connect and play together in team-based games: the patterns of cooperation can either foster or hinder individual skill learning and performance. This work has three goals: (i) identifying teammates' influence on players' performance in the short and long term, (ii) designing a computational framework to recommend teammates to improve players' performance, and (iii) setting to demonstrate that such improvements can be predicted via deep learning. We leverage a large dataset from Dota 2, a popular Multiplayer Online Battle Arena game. We generate a directed co-play network, whose links' weights depict the effect of teammates on players' performance. Specifically, we propose a measure of network influence that captures skill transfer from player to player over time. We then use such framing to design a recommendation system to suggest new teammates based on a modified deep neural autoencoder and we demonstrate its state-of-the-art recommendation performance. We finally provide insights into skill transfer effects: our experimental results demonstrate that such dynamics can be predicted using deep neural networks.


title: Doubly charmed $\Xi_{cc}$ molecular states from meson-baryon interaction

abstract: Stimulated by the new experimental LHCb findings associated with the $\Omega_c$ states, some of which we have described in a previous work as being dynamically generated through meson-baryon interaction, we have extended this approach to make predictions for new $\Xi_{cc}$ molecular states in the $C=2$, $S=0$ and $I=1/2$ sector. These states manifest themselves as poles in the solution of the Bethe-Salpeter equation in coupled channels. The kernels of this equation were obtained using the Lagrangians coming from the hidden local gauge symmetry, where the interactions are dominated by the exchange of light vector mesons. The extension of this approach to the heavy sector stems from the realization that the dominant interaction corresponds to having the heavy quarks as spectators, which implies the preservation of the heavy quark symmetry. As a result, we get several states: two states from the pseudoscalar meson-baryon interaction with $J^P=1/2^-$, and masses around $4080$ and $4090$ MeV, and one at $4150$ MeV for $J^P=3/2^-$. Furthermore, from the vector meson-baryon interaction we get three states degenerate with $J^P=1/2^-$ and $3/2^-$ from $4220$ MeV to $4330$ MeV, and two more states around $4280$ MeV and $4410$ MeV, degenerate with $J^P=1/2^-,\, 3/2^-$ and $5/2^-$.


title: Single-photon embedded eigenstates in coupled cavity-atom systems

abstract: Confining light in open structures is a long-sought goal in nanophotonics and cavity quantum electrodynamics. Embedded eigenstates provide infinite lifetime despite the presence of available leakage channels, but in linear time-invariant systems they cannot be excited from the outside, due to reciprocity. Here, we investigate how atomic nonlinearities may support single-photon embedded eigenstates, which can be populated by a multi-photon excitation followed by internal relaxation. We calculate the system dynamics and show that photon trapping, as well as the reverse release process, can be achieved with arbitrarily high efficiencies. We also discuss the impact of loss, and a path towards the experimental verification of these concepts.


title: Fused Density Estimation: Theory and Methods

abstract: In this paper we introduce a method for nonparametric density estimation on geometric networks. We define fused density estimators as solutions to a total variation regularized maximum-likelihood density estimation problem. We provide theoretical support for fused density estimation by proving that the squared Hellinger rate of convergence for the estimator achieves the minimax bound over univariate densities of log-bounded variation. We reduce the original variational formulation in order to transform it into a tractable, finite-dimensional quadratic program. Because random variables on geometric networks are simple generalizations of the univariate case, this method also provides a useful tool for univariate density estimation. Lastly, we apply this method and assess its performance on examples in the univariate and geometric network setting. We compare the performance of different optimization techniques to solve the problem, and use these results to inform recommendations for the computation of fused density estimators.


title: Variational and non-Archimedean aspects of the Yau--Tian--Donaldson conjecture

abstract: We survey some recent developments in the direction of the Yau-Tian-Donaldson conjecture, which relates the existence of constant scalar curvature K\"ahler metrics to the algebro-geometric notion of K-stability. The emphasis is put on the use of pluripotential theory and the interpretation of K-stability in terms of non-Archimedean geometry.


title: Red supergiant stars in the Large Magellanic Cloud. II. Infrared properties and mid-infrared variability

abstract: The characteristics of IR properties and MIR variability of RSGs in the LMC are analyzed based on 12 bands of NIR to MIR co-added data from 2MASS, Spitzer and WISE, and $\sim$6.6 years of MIR time-series data collected by the ALLWISE and NEOWISE-R projects. 773 RSGs candidates were compiled from the literature and verified by using the CMD, SED and MIR variability. About 15\% of valid targets in the $IRAC1-IRAC2$/$IRAC2-IRAC3$ diagram may show PAH emission. We show that arbitrary dereddening Q parameters related to the IRAC4, S9W, WISE3, WISE4, and MIPS24 bands could be constructed based on a precise measurement of MIR interstellar extinction law. Several peculiar outliers in our sample are discussed, in which one outlier might be a RSG right before the explosion or an x-AGB star in the very late evolutionary stage based on the MIR spectrum and photometry. There are 744 identified RSGs in the final sample having both the WISE1- and WISE2-band time-series data. The results show that the MIR variability is increasing along with the increasing of brightness. There is a relatively tight correlation between the MIR variability, MLR, and the warm dust or continuum, where the MIR variability is evident for the targets with $K_S-WISE3>1.0~mag$ and $WISE4<6.5~mag$, while the rest of the targets show much smaller MIR variability. The MIR variability is also correlated with the MLR for which targets with larger variability also show larger MLR with an approximate upper limit of $-6.1~M_\odot/yr^{-1}$. Both the variability and the luminosity may be important for the MLR since the WISE4-band flux is increasing exponentially along with the degeneracy of luminosity and variability. The identified RSG sample has been compared with the theoretical evolutionary models and shown that the discrepancy between observation and evolutionary models can be mitigated by considering both variability and extinction.


title: Characterizing, Exploiting, and Mitigating Vulnerabilities in MLC NAND Flash Memory Programming

abstract: This paper summarizes our work on experimentally analyzing, exploiting, and addressing vulnerabilities in multi-level cell NAND flash memory programming, which was published in the industrial session of HPCA 2017, and examines the work's significance and future potential. Modern NAND flash memory chips use multi-level cells (MLC), which store two bits of data in each cell, to improve chip density. As MLC NAND flash memory scaled down to smaller manufacturing process technologies, manufacturers adopted a two-step programming method to improve reliability. In two-step programming, the two bits of a multi-level cell are programmed using two separate steps, in order to minimize the amount of cell-to-cell program interference induced on neighboring flash cells. In this work, we demonstrate that two-step programming exposes new reliability and security vulnerabilities in state-of-the-art MLC NAND flash memory. We experimentally characterize contemporary 1X-nm (i.e., 15--19nm) flash memory chips, and find that a partially-programmed flash cell (i.e., a cell where the second programming step has not yet been performed) is much more vulnerable to cell-to-cell interference and read disturb than a fully-programmed cell. We show that it is possible to exploit these vulnerabilities on solid-state drives (SSDs) to alter the partially-programmed data, causing (potentially malicious) data corruption. Based on our observations, we propose several new mechanisms that eliminate or mitigate these vulnerabilities in partially-programmed cells, and at the same time increase flash memory lifetime by 16%.


title: Banach Poisson-Lie groups and Bruhat-Poisson structure of the restricted Grassmannian

abstract: The first part of this paper is devoted to the theory of Poisson-Lie groups in the Banach setting. Our starting point is the straightforward adaptation of the notion of Manin triples to the Banach context. The difference with the finite-dimensional case lies in the fact that a duality pairing between two non-reflexive Banach spaces is necessary weak (as opposed to a strong pairing where one Banach space can be identified with the dual space of the other). The notion of generalized Banach Poisson manifolds introduced in this paper is compatible with weak duality pairings between the tangent space and a subspace of the dual. We investigate related notion like Banach Lie bialgebras and Banach Poisson-Lie groups, suitably generalized to the non-reflexive Banach context. The second part of the paper is devoted to the treatment of particular examples of Banach Poisson-Lie groups related to the restricted Grassmannian and the KdV hierarchy. More precisely, we construct a Banach Poisson-Lie group structure on the unitary restricted Banach Lie group which acts transitively on the restricted Grassmannian. A "dual" Banach Lie group consisting of (a class of) upper triangular bounded operators admits also a Banach Poisson-Lie group structure of the same kind. We show that the restricted Grassmannian inherits a generalized Banach Poisson structure from the unitary Banach Lie group, called Bruhat-Poisson structure. Moreover the action of the triangular Banach Poisson-Lie group on it is a Poisson map. This action generates the KdV hierarchy, and its orbits are the Schubert cells of the restricted Grassmannian.


title: Intrinsic interfacial van der Waals monolayers and their effect on the high-temperature superconductor FeSe/SrTiO$_3$

abstract: The sensitive dependence of monolayer materials on their environment often gives rise to unexpected properties. It was recently demonstrated that monolayer FeSe on a SrTiO$_3$ substrate exhibits a much higher superconducting critical temperature T$_C$ than the bulk material. Here, we examine the interfacial structure of FeSe / SrTiO$_3$ and the effect of an interfacial Ti$_{1+x}$O$_2$ layer on the increased T$_C$ using a combination of scanning transmission electron microscopy and density functional theory. We find Ti$_{1+x}$O$_2$ forms its own quasi-two-dimensional layer, bonding to both the substrate and the FeSe film by van der Waals interactions. The excess Ti in this layer electron-dopes the FeSe monolayer in agreement with experimental observations. Moreover, the interfacial layer introduces symmetry-breaking distortions in the FeSe film that favor a T$_C$ increase. These results suggest that this common substrate may be functionalized to modify the electronic structure of a variety of thin films and monolayers.


title: Improved training of end-to-end attention models for speech recognition

abstract: Sequence-to-sequence attention-based models on subword units allow simple open-vocabulary end-to-end speech recognition. In this work, we show that such models can achieve competitive results on the Switchboard 300h and LibriSpeech 1000h tasks. In particular, we report the state-of-the-art word error rates (WER) of 3.54% on the dev-clean and 3.82% on the test-clean evaluation subsets of LibriSpeech. We introduce a new pretraining scheme by starting with a high time reduction factor and lowering it during training, which is crucial both for convergence and final performance. In some experiments, we also use an auxiliary CTC loss function to help the convergence. In addition, we train long short-term memory (LSTM) language models on subword units. By shallow fusion, we report up to 27% relative improvements in WER over the attention baseline without a language model.


title: Leptonic Dark Matter with Scalar Dilepton Mediator

abstract: A simple and elegant mechanism is proposed to resolve the problem of having a light scalar mediator for self-interacting dark matter and the resulting disruption to the cosmic microwave background (CMB) at late times by the former's enhanced Sommerfeld production and decay. The crucial idea is to have Dirac neutrinos with the conservation of U(1) lepton number extended to the dark sector. The simplest scenario consists of scalar or fermion dark matter with unit lepton number accompanied by a light scalar dilepton mediator, which decays to two neutrinos.


title: Robustness Testing of Intermediate Verifiers

abstract: Program verifiers are not exempt from the bugs that affect nearly every piece of software. In addition, they often exhibit brittle behavior: their performance changes considerably with details of how the input program is expressed-details that should be irrelevant, such as the order of independent declarations. Such a lack of robustness frustrates users who have to spend considerable time figuring out a tool's idiosyncrasies before they can use it effectively. This paper introduces a technique to detect lack of robustness of program verifiers; the technique is lightweight and fully automated, as it is based on testing methods (such as mutation testing and metamorphic testing). The key idea is to generate many simple variants of a program that initially passes verification. All variants are, by construction, equivalent to the original program; thus, any variant that fails verification indicates lack of robustness in the verifier. We implemented our technique in a tool called "mugie", which operates on programs written in the popular Boogie language for verification-used as intermediate representation in numerous program verifiers. Experiments targeting 135 Boogie programs indicate that brittle behavior occurs fairly frequently (16 programs) and is not hard to trigger. Based on these results, the paper discusses the main sources of brittle behavior and suggests means of improving robustness.


title: Properties of the fixed ring of a preprojective algebra

abstract: For a finite group acting on a polynomial ring, the Chevalley-Shephard-Todd Theorem proves that the fixed subring is isomorphic to a polynomial ring if and only if the group is generated by pseudo-reflections. In recent years, progress was made in work of Kirkman, Kuzmanovich, Zhang, and others to extend this result to regular algebras by expanding pseudo-reflections to quasi-reflections. Naturally, the question arises if the theory generalizes further to non-connected noncommutative algebras. Our objects of study will be preprojective algebras which are certain factor algebras of path algebras corresponding to extended Dynkin diagrams of type $A$, $D$ or $E$. This work answers the question what conditions need to be satisfied by the fixed ring in order to make a rich theory possible. On our way, we will point out additional difficulties in establishing quasi-reflections using the trace and reveal situations which do not occur for regular algebras.


title: On the Gaia DR2 distances for Galactic Luminous Blue Variables

abstract: We examine parallaxes and distances for Galactic luminous blue variables (LBVs) in Gaia DR2. The sample includes 11 LBVs and 14 LBV candidates. For about half of the sample, DR2 distances are either similar to commonly adopted literature values, or the DR2 values have large uncertainties. For the rest, reliable DR2 distances differ significantly from values in the literature, and in most cases the Gaia DR2 distance is smaller. Two key results are that the S Doradus instability strip may not be as clearly defined as previously thought, and that there exists a population of LBVs at relatively low luminosities. LBVs seem to occupy a wide swath from the end of the main sequence at the blue edge to 8000 K at the red side, with a spread in luminosity reaching as low as log(L/Lsun)=4.5. The lower-luminosity group corresponds to effective single-star initial masses of 10-25 Msun, and includes objects that have been considered as confirmed LBVs. We discuss implications for LBVs including (1) their instability and origin in binary evolution, (2) connections to some supernova (SN) impostors such as the class of SN 2008S-like objects, and (3) LBVs that may be progenitors of SNe with dense circumstellar material across a wide initial mass range. Although some of the Gaia DR2 distances for LBVs have large uncertainty, this represents the most direct and consistent set of Galactic LBV distance estimates available in the literature.