title: A two-layer shallow water model for bedload sediment transport: convergence to Saint-Venant-Exner model

abstract: A two-layer shallow water type model is proposed to describe bedload sediment transport. The upper layer is filled by water and the lower one by sediment. The key point falls on the definition of the friction laws between the two layers, which are a generalization of those introduced in Fern\'andez-Nieto et al. (ESAIM: M2AN, 51:115-145, 2017). This definition allows to apply properly the two-layer shallow water model for the case of intense and slow bedload sediment transport. Moreover, we prove that the two-layer model converges to a Saint-Venant-Exner system (SVE) including gravitational effects when the ratio between the hydrodynamic and morphodynamic time scales is small. The SVE with gravitational effects is a degenerated nonlinear parabolic system. This means that its numerical approximation is very expensive from a computational point of view, see for example T. Morales de Luna et al. (J. Sci. Comp., 48(1): 258-273, 2011). In this work, gravitational effects are introduced into the two-layer system without such extra computational cost. Finally, we also consider a generalization of the model that includes a non-hydrostatic pressure correction for the fluid layer and the boundary condition at the sediment surface. Numerical tests show that the model provides promising results and behave well in low transport rate regimes as well as in many other situations.


title: Arithmetic, geometry and dynamics in the unit tangent bundle of the modular orbifold

abstract: Inspired by the work of Zagier, we study geometrically the probability measures $m_y$ with support on the closed horocycles of the unit tangent bundle $M=\text{PSL}(2,\mathbb{R})/\text{PSL}(2,\mathbb{Z})$ of the modular orbifold $\text{PSL}(2,\mathbb Z)$. In fact, the canonical projection $\mathfrak{p}:M\to\mathbb{H}/\text{PSL}(2,\mathbb Z)$ it is actually a Seifert fibration over the orbifold with two especial circle fibers corresponding to the two conical points of the modular orbifold. Zagier proved that $m_y$ converges to normalized Haar measure $m_o$ of $M$ as $y\to0$: for every smooth function $f:M\to \mathbb R$ with compact support $m_y(f)=m_0(f)+o(y^\frac12)$ as $y\to0$. He also shows that $m_y(f)=m_0(f)+o(y^{\frac34-\epsilon})$ for all $\epsilon>0$ and smooth function $f$ with compact support in $M$ if and only if the Riemann hypothesis is true. In this paper we show that the exponent $\frac12$ is optimal if $f$ is the characteristic function of certain open sets in $M$. This of course does not imply that the Riemann hypothesis is false. It is required the differentiability of the functions in the theorem.


title: Absolute self-calibration of single-photon and multiplexed photon-number-resolving detectors

abstract: Single-photon detectors are widely used in modern quantum optics experiments and applications. Like all detectors, it is important for these devices to be accurately calibrated. A single-photon detector is calibrated by determining its detection efficiency; the standard method to measure this quantity requires comparison to another detector. Here, we suggest a method to measure the detection efficiency of a single photon detector without requiring an external reference detector. Our method is valid for individual single-photon detectors as well as multiplexed detectors, which are known to be photon number resolving. The method exploits the photon-number correlations of a nonlinear source, as well as the nonlinear loss of a single photon detector that occurs when multiple photons are detected simultaneously. We have analytically modeled multiplexed detectors and used the results to experimentally demonstrate calibration of a single photon detector without the need for an external reference detector.


title: The Exoplanet Simple Orbit Fitting Toolbox (ExoSOFT): An Open-Source Tool for Efficient Fitting of Astrometric and Radial Velocity Data

abstract: We present the Exoplanet Simple Orbit Fitting Toolbox (ExoSOFT), a new, open-source suite to fit the orbital elements of planetary or stellar mass companions to any combination of radial velocity and astrometric data. To explore the parameter space of Keplerian models, ExoSOFT may be operated with its own multi-stage sampling approach, or interfaced with third-party tools such as emcee. In addition, ExoSOFT is packaged with a collection of post-processing tools to analyze and summarize the results. Although only a few systems have been observed with both the radial velocity and direct imaging techniques, this number will increase thanks to upcoming spacecraft and ground based surveys. Providing both forms of data enables simultaneous fitting that can help break degeneracies in the orbital elements that arise when only one data type is available. The dynamical mass estimates this approach can produce are important when investigating the formation mechanisms and subsequent evolution of substellar companions. ExoSOFT was verified through fitting to artificial data and was implemented using the Python and Cython programming languages; available for public download at https://github.com/kylemede/ExoSOFT under the GNU General Public License v3.


title: Action Centered Contextual Bandits

abstract: Contextual bandits have become popular as they offer a middle ground between very simple approaches based on multi-armed bandits and very complex approaches using the full power of reinforcement learning. They have demonstrated success in web applications and have a rich body of associated theoretical guarantees. Linear models are well understood theoretically and preferred by practitioners because they are not only easily interpretable but also simple to implement and debug. Furthermore, if the linear model is true, we get very strong performance guarantees. Unfortunately, in emerging applications in mobile health, the time-invariant linear model assumption is untenable. We provide an extension of the linear model for contextual bandits that has two parts: baseline reward and treatment effect. We allow the former to be complex but keep the latter simple. We argue that this model is plausible for mobile health applications. At the same time, it leads to algorithms with strong performance guarantees as in the linear model setting, while still allowing for complex nonlinear baseline modeling. Our theory is supported by experiments on data gathered in a recently concluded mobile health study.


title: Load response of shape-changing microswimmers scales with their energy efficiency

abstract: External forces acting on a microswimmer can feed back on its self-propulsion mechanism. We discuss this load response for a generic microswimmer that swims by cyclic shape changes. We show that the change in cycle frequency is proportional to the Lighthill efficiency of self-propulsion. As a specific example, we consider Najafi's three-sphere swimmer. The force-velocity relation of a microswimmer implies a correction for a formal superposition principle for active and passive motion.


title: A consistent measure for lattice Yang-Mills

abstract: The construction of a consistent measure for Yang-Mills is a precondition for an accurate formulation of non-perturbative approaches to QCD, both analytical and numerical. Using projective limits as subsets of Cartesian products of homomorphisms from a lattice to the structure group, a consistent interaction measure and an infinite-dimensional calculus has been constructed for a theory of non-abelian generalized connections on a hypercubic lattice. Here, after reviewing and clarifying past work, new results are obtained for the mass gap when the structure group is compact.


title: Traffic Models of Periodic Event-Triggered Control Systems

abstract: Periodic event-triggered control (PETC) is a version of event-triggered control (ETC) that only requires to measure the plant output periodically instead of continuously. In this work, we present a construction of timing models for these PETC implementations to capture the dynamics of the traffic they generate. In the construction, we employ a two-step approach. We first partition the state space into a finite number of regions. Then in each region, the event-triggering behavior is analyzed with the help of LMIs. The state transitions among different regions result from computing the reachable state set starting from each region within the computed event time intervals.


title: The Wiener polarity index of benzenoid systems and nanotubes

abstract: In this paper, we consider a molecular descriptor called the Wiener polarity index, which is defined as the number of unordered pairs of vertices at distance three in a graph. Molecular descriptors play a fundamental role in chemistry, materials engineering, and in drug design since they can be correlated with a large number of physico-chemical properties of molecules. As the main result, we develop a method for computing the Wiener polarity index for two basic and most commonly studied families of molecular graphs, benzenoid systems and carbon nanotubes. The obtained method is then used to find a closed formula for the Wiener polarity index of any benzenoid system. Moreover, we also compute this index for zig-zag and armchair nanotubes.


title: Forced Oscillation Source Location via Multivariate Time Series Classification

abstract: Precisely locating low-frequency oscillation sources is the prerequisite of suppressing sustained oscillation, which is an essential guarantee for the secure and stable operation of power grids. Using synchrophasor measurements, a machine learning method is proposed to locate the source of forced oscillation in power systems. Rotor angle and active power of each power plant are utilized to construct multivariate time series (MTS). Applying Mahalanobis distance metric and dynamic time warping, the distance between MTS with different phases or lengths can be appropriately measured. The obtained distance metric, representing characteristics during the transient phase of forced oscillation under different disturbance sources, is used for offline classifier training and online matching to locate the disturbance source. Simulation results using the four-machine two-area system and IEEE 39-bus system indicate that the proposed location method can identify the power system forced oscillation source online with high accuracy.


title: The Lifted Matrix-Space Model for Semantic Composition

abstract: Tree-structured neural network architectures for sentence encoding draw inspiration from the approach to semantic composition generally seen in formal linguistics, and have shown empirical improvements over comparable sequence models by doing so. Moreover, adding multiplicative interaction terms to the composition functions in these models can yield significant further improvements. However, existing compositional approaches that adopt such a powerful composition function scale poorly, with parameter counts exploding as model dimension or vocabulary size grows. We introduce the Lifted Matrix-Space model, which uses a global transformation to map vector word embeddings to matrices, which can then be composed via an operation based on matrix-matrix multiplication. Its composition function effectively transmits a larger number of activations across layers with relatively few model parameters. We evaluate our model on the Stanford NLI corpus, the Multi-Genre NLI corpus, and the Stanford Sentiment Treebank and find that it consistently outperforms TreeLSTM (Tai et al., 2015), the previous best known composition function for tree-structured models.


title: Angle-dependent reflectivity of twill-weave carbon fibre reinforced polymer for millimetre waves

abstract: Twill-weave carbon fibre reinforced polymer is measured as reflector material for electromagnetic waves at 60 GHz. The reflectivity at millimetre wavelength shows a predominant direction, which coincides with the diagonal pattern of the twill's top layer. In the remaining directions the investigated 2/2 twill-weave composite's reflectivity is almost isotropic.


title: The KMOS Deep Survey (KDS) II: The evolution of the stellar-mass Tully-Fisher relation since z ~ 4

abstract: We use KMOS Deep Survey (KDS) galaxies, combined with results from a range of spectroscopic studies in the literature, to investigate the evolution of the stellar-mass Tully-Fisher relation since z ~ 4. We determine the slope and normalisation of the local rotation-velocity -- stellar-mass (Vc - $M_{\star}$) relationship using a reference sample of local spiral galaxies; thereafter we fix the slope, and focus on the evolution of velocity normalisation with redshift. The rotation-dominated KDS galaxies at z ~ 3.5 have rotation velocities ~ -0.1 dex lower than local reference galaxies at fixed stellar mass. By fitting 16 distant comparison samples spanning 0 < z < 3 (containing ~ 1200 galaxies), we show that the size and sign of the inferred Vc offset depends sensitively on the fraction of the parent samples used in the Tully-Fisher analysis, and how strictly the criterion of 'rotation dominated' is enforced. Confining attention to subsamples of galaxies that are especially 'disky' results in a consistent positive offset in Vc of ~ +0.1 dex, however these galaxies are not representative of the evolving-disk population at z > 1. We investigate the addition of pressure support, traced by intrinsic velocity dispersion ($\sigma_{int}$) to the KDS dynamical mass budget by adopting a 'total' effective velocity of form $V_{tot} = (Vc^{2} + 4.0\sigma_{int}^{2})^{0.5}$. The rotation-dominated and dispersion-dominated KDS galaxies fall on the same locus in the total-velocity versus stellar-mass plane, removing the need for debate over the precise selection threshold for rotation-dominated galaxies. The comparison sample offsets are in the range +0.08 to +0.15 dex in total-velocity zero-point (-0.30 to -0.55 dex in stellar-mass zero-point) from the local Tully-Fisher relation at z > 1, consistent with steady evolution of the ratio of dynamical to stellar mass with cosmic time.


title: Stability and Transparency Analysis of a Bilateral Teleoperation in Presence of Data Loss

abstract: This paper presents a novel approach for stability and transparency analysis for bilateral teleoperation in the presence of data loss in communication media. A new model for data loss is proposed based on a set of periodic continuous pulses and its finite series representation. The passivity of the overall system is shown using wave variable approach including the newly defined model for data loss. Simulation results are presented to show the effectiveness of the proposed approach.


title: Distribution market as a ramping aggregator for grid flexibility support

abstract: The growing proliferation of microgrids and distributed energy resources in distribution networks has resulted in the development of Distribution Market Operator (DMO). This new entity will facilitate the management of the distributed resources and their interactions with upstream network and the wholesale market. At the same time, DMOs can tap into the flexibility potential of these distributed resources to address many of the challenges that system operators are facing. This paper investigates this opportunity and develops a distribution market scheduling model based on upstream network ramping flexibility requirements. That is, the distribution network will play the role of a flexibility resource in the system, with a relatively large size and potential, to help bulk system operators to address emerging ramping concerns. Numerical simulations demonstrate the effectiveness of the proposed model on when tested on a distribution system with several microgrids.


title: Mathematical Modelling to Investigate a Wolbachia Intervention to Reduce Dengue Transmission

abstract: The introduction of Wolbachia-carrying mosquitoes into the population has recently been proposed as an alternative strategy against dengue. Although laboratory experiments have shown that the Wolbachia bacterium can reduce the levels of dengue virus in mosquitoes, it is also important to assess the performance of Wolbachia in reducing the incidence of dengue in human populations.In this thesis, deterministic mathematical models of human and mosquito populations in which either one or two dengue serotypes circulate are developed. We adapt these models to enable the investigation of dengue disease dynamics in the absence and presence of Wolbachia in order to assess the performance of Wolbachia as a strategy to reduce human dengue incidence. When studying the situation in which a single dengue serotype is present in the population, we consider scenarios where dengue is introduced into the human population once and multiple times.


title: Variability Properties of 4 Million Sources in the $TESS$ Input Catalog Observed with the Kilodegree Extremely Little Telescope Survey

abstract: The Kilodegree Extremely Little Telescope (KELT) has been surveying more than $70\%$ of the celestial sphere for nearly a decade. While the primary science goal of the survey is the discovery of transiting, large-radii planets around bright host stars, the survey has collected more than $10^6$ images, with a typical cadence between $10-30$ minutes, for more than $4$ million sources with apparent visual magnitudes in the approximate range $7<V<13$. Here we provide a catalog of 52,741 objects showing significant large-amplitude fluctuations likely caused by stellar variability and 62,229 objects identified with likely stellar rotation periods. The detected variability ranges in $rms$-amplitude from 3 mmag to 2.3 mag, and the detected periods range from $\sim$0.1 days to $\gtrsim$2000 days. We provide variability upper limits for all other $\sim$4 million sources. These upper limits are principally a function of stellar brightness, but we achieve typical 1$\sigma$ sensitivity on 30-minute timescales down to $\sim5$ mmag at $V\sim 8$, and down to $\sim43$ mmag at $V\sim 13$. We have matched our catalog to the $TESS$ Input catalog and the AAVSO Variable Star Index to precipitate the follow up and classification of each source. The catalog is maintained as a living database on the Filtergraph visualization portal at the URL https://filtergraph.com/kelt$\_$vars


title: Fabrication of magnetic tunnel junctions connected through a continuous free layer to enable spin logic devices

abstract: Magnetic tunnel junctions (MTJs) interconnected via a continuous ferromagnetic free layer were fabricated for Spin Torque Majority Gate (STMG) logic. The MTJs are biased independently and show magnetoelectric response under spin transfer torque. The electrical control of these devices paves the way to future spin logic devices based on domain wall (DW) motion. In particular, it is a significant step toward the realization of a majority gate, even though further downscaling may be required. To our knowledge, this is the first fabrication of a cross-shaped free layer shared by several perpendicular MTJs. The fabrication process can be generalized to any geometry and any number of MTJs. Thus, this framework can be applied to other spin logic concepts based on magnetic interconnect. Moreover, it allows exploration of spin dynamics for logic applications


title: Optimally Frugal Foraging

abstract: We introduce the \emph{frugal foraging} model in which a forager performs a discrete-time random walk on a lattice, where each site initially contains $\mathcal{S}$ food units. The forager metabolizes one unit of food at each step and starves to death when it last ate $\mathcal{S}$ steps in the past. Whenever the forager decides to eat, it consumes all food at its current site and this site remains empty (no food replenishment). The crucial property of the forager is that it is \emph{frugal} and eats only when encountering food within at most $k$ steps of starvation. We compute the average lifetime analytically as a function of frugality threshold and show that there exists an optimal strategy, namely, a frugality threshold $k^*$ that maximizes the forager lifetime.


title: Robust inference on population indirect causal effects: the generalized front-door criterion

abstract: Standard methods for inference about direct and indirect effects require stringent no unmeasured confounding assumptions which often fail to hold in practice, particularly in observational studies. The goal of this paper is to introduce a new form of indirect effect, the population intervention indirect effect (PIIE), that can be nonparametrically identified in the presence of an unmeasured common cause of exposure and outcome. This new type of indirect effect captures the extent to which the effect of exposure is mediated by an intermediate variable under an intervention that holds the component of exposure directly influencing the outcome at its observed value. The PIIE is in fact the indirect component of the population intervention effect, introduced by Hubbard and Van der Laan (2008). Interestingly, our identification criterion generalizes Judea Pearl's front-door criterion as it does not require no direct effect of exposure not mediated by the intermediate variable. For inference, we develop both parametric and semiparametric methods, including a novel doubly robust semiparametric locally efficient estimator, that perform very well in simulation studies. Finally, the proposed methods are used to measure the effectiveness of monetary saving recommendations among women enrolled in a maternal health program in Tanzania.


title: Quantifying Atom-scale Dopant Movement and Electrical Activation in Si:P Monolayers

abstract: Advanced hydrogen lithography techniques and low-temperature epitaxial overgrowth enable patterning of highly phosphorus-doped silicon (Si:P) monolayers (ML) with atomic precision. This approach to device fabrication has made Si:P monolayer systems a testbed for multiqubit quantum computing architectures and atomically precise 2-D superlattice designs whose behaviors are directly tied to the deterministic placement of single dopants. However, dopant segregation, diffusion, surface roughening, and defect formation during the encapsulation overgrowth introduce large uncertainties to the exact dopant placement and activation ratio. In this study, we develop a unique method by combining dopant segregation/diffusion models with sputter profiling simulation to monitor and control, at the atomic scale, dopant movement using room-temperature grown locking layers (LL). We explore the impact of LL growth rate, thickness, rapid thermal anneal, surface accumulation, and growth front roughness on dopant confinement, local crystalline quality, and electrical activation within Si:P 2-D systems. We demonstrate that dopant movement can be more efficiently suppressed by increasing the LL growth rate than by increasing LL thickness. We find that the dopant segregation length can be suppressed below a single Si lattice constant by increasing LL growth rates at room temperature while maintaining epitaxy. Although dopant diffusivity within the LL is found to remain high even below the hydrogen desorption temperature, we demonstrate that exceptionally sharp dopant confinement with high electrical quality within Si:P monolayers can be achieved by combining a high LL growth rate with a low-temperature LL rapid thermal anneal.


title: Debiasing the Debiased Lasso with Bootstrap

abstract: We consider statistical inference for a single coordinate of regression coefficients in high-dimensional linear models. Recently, the debiased estimators are popularly used for constructing confidence intervals and hypothesis testing in high-dimensional models. However, some representative numerical experiments show that they tend to be biased for large coefficients, especially when the number of large coefficients dominates the number of small coefficients. In this paper, we propose a modified debiased Lasso estimator based on bootstrap. Let us denote the proposed estimator BS-DB for short. We show that, under the irrepresentable condition and other mild technical conditions, the BS-DB has smaller order of bias than the debiased Lasso in existence of a large proportion of strong signals. If the irrepresentable condition does not hold, the BS-DB is guaranteed to perform no worse than the debiased Lasso asymptotically. Confidence intervals based on the BS-DB are proposed and proved to be asymptotically valid under mild conditions. Our study on the inference problems integrates the properties of the Lasso on variable selection and estimation novelly. The superior performance of the BS-DB over the debiased Lasso is demonstrated via extensive numerical studies.


title: Realizations and Factorizations of Positive Definite Kernels

abstract: Given a fixed sigma-finite measure space $\left(X,\mathscr{B},\nu\right)$, we shall study an associated family of positive definite kernels $K$. Their factorizations will be studied with view to their role as covariance kernels of a variety of stochastic processes. In the interesting cases, the given measure $\nu$ is infinite, but sigma-finite. We introduce such positive definite kernels $K\left(\cdot,\cdot\right)$ with the two variables from the subset of the sigma-algebra $\mathscr{B}$, sets having finite $\nu$ measure. Our setting and results are motivated by applications. The latter are covered in the second half of the paper. We first make precise the notions of realizations and factorizations for $K$; and we give necessary and sufficient conditions for $K$ to have realizations and factorizations in $L^{2}\left(\nu\right)$. Tools in the proofs rely on probability theory and on spectral theory for unbounded operators in Hilbert space. Applications discussed here include the study of reversible Markov processes, and realizations of Gaussian fields, and their Ito-integrals.


title: Roots of random functions: A framework for local universality

abstract: We investigate the local distribution of roots of random functions of the form $F_n(z)= \sum_{i=1}^n \xi_i \phi_i(z) $, where $\xi_i$ are independent random variables and $\phi_i (z) $ are arbitrary analytic functions. Starting with the fundamental works of Kac and Littlewood-Offord in the 1940s, random functions of this type have been studied extensively in many fields of mathematics. We develop a robust framework to solve the problem by reducing, via universality theorems, the calculation of the distribution of the roots and the interaction between them to the case where $\xi_i$ are gaussian. In this special case, one can use the Kac-Rice formula and various other tools to obtain precise answers. Our framework has a wide range of applications, which include the most popular models of random functions, such as random trigonometric polynomials and all basic classes of random algebraic polynomials (Kac, Weyl, and elliptic). Each of these ensembles has been studied heavily by deep and diverse methods. Our method, for the first time, provides a unified treatment of all of them. Among the applications, we derive the first local universality result for random trigonometric polynomials with arbitrary coefficients. When restricted to the study of real roots, this result extends several recent results, proved for less general ensembles. For random algebraic polynomials, we strengthen several recent results of Tao and the second author, with significantly simpler proofs. As a corollary, we sharpen a classical result of Erd{\"o}s and Offord on real roots of Kac polynomials, providing an optimal error estimate. Another application is a refinement of a recent result of Flasche and Kabluchko on the roots of random Taylor series.


title: Majorana quasiparticles in semiconducting carbon nanotubes

abstract: Engineering effective p-wave superconductors hosting Majorana quasiparticles (MQPs) is nowadays of particular interest, also in view of the possible utilization of MQPs in fault-tolerant topological quantum computation. In quasi one-dimensional systems, the parameter space for topological superconductivity is significantly reduced by the coupling between transverse modes. Together with the requirement of achieving the topological phase under experimentally feasible conditions, this strongly restricts in practice the choice of systems which can host MQPs. Here we demonstrate that semiconducting carbon nanotubes (CNTs) in proximity with ultrathin s-wave superconductors, e.g. exfoliated NbSe$_2$, satisfy these needs. By precise numerical tight-binding calculations in the real space we show the emergence of localized zero-energy states at the CNT ends above a critical value of the applied magnetic field. Knowing the microscopic wave functions, we unequivocally demonstrate the Majorana nature of the localized states. An accurate analytical model Hamiltonian is used to calculate the topological phase diagram.


title: Yuen's Criticisms on Security of Quantum Key Distribution and Onward

abstract: Quantum Key Distribution (QKD) has been attracting researchers that it would provide provable security to distribute secret keys since its birth in 1984. Since 2005, the trace distance between an ideal quantum state and an actually distributed state has been employed to evaluate its security level, and the trace distance was given an interpretation that it would be a maximum failure probability in distributing perfectly secure keys. However, in 2009, H. P. Yuen criticized that the trace distance would not have such an interpretation. Since then, O. Hirota, K. Kato, and T. Iwakoshi have been warning to make people pay attention to Yuen's criticisms. In 2015, T. Iwakoshi precisely explained why Yuen has been correct. In 2016, Yuen himself published a paper to explain the potentially unsolved problems in QKD. This study precisely explains the most important problems given in Yuen's paper, and gives recent topics around QKD and other quantum cryptographic protocols.


title: Synthesis, processing and transport properties of cubic and trigonal solid solutions in the Mg-Si-Sn system

abstract: Mg-Si-Sn solid solutions have interesting and useful semiconducting properties particularly for thermoelectric applications. While cubic solid solutions have been prepared by a variety of methods, solid solutions with a trigonal crystal structure have not been reported. We employed a combination of high energy ball milling and current activated pressure assisted densification (CAPAD) to induce and complete phase transformation from cubic to trigonal phase, forming dense trigonal composites. This is the first successful preparation of the trigonal phase in Mg-Si-Sn stem. In addition, we report the transport properties of both the cubic and trigonal composites measured in the 160 to 400 K range. The electrical conductivity of the trigonal composites was several times higher compared to the cubic counterparts while thermal conductivity is lower but in the range of previously reported Mg-Si-Sn materials. The Seebeck coefficient of the trigonal composites is lower compared to the cubic samples, leading to low ZT values. The ZT of the cubic samples, however is higher than previously reported for un-doped Mg-Si-Sn solid solutions which is promising for thermoelectric applications.


title: Security of Quantum Key Distribution from Attacker's View

abstract: In 2005, trace distance between an ideal quantum state to be distributed and an actual quantum state distributed was introduced as a valid security measure of Quantum Key Distribution (QKD) by R. Renner et al., then it has been perceived that the trace can be interpreted as a maximum failure probability of QKD. While such a perspective has been widely accepted, H. P. Yuen and O. Hirota have been warning that such an interpretation is not correct since 2009. The author of this study has been giving questions on the interpretation of the trace distance based on their criticisms since QIT30 in May 2014, and has been proposing Yuen's idea to evaluate the security of QKD by the probability for the attacker to guess the correct key. However, the author could not give the guessing probability concretely. In this study, the author explains how to derive the average guessing probability for the attacker, where its result equals to Yuen's derivation firstly seen in 2010. From this result, one will see the problems with the maximum failure probability interpretation of the trace distance clearly. This study also explains the indistinguishability advantage interpretation is also invalid.


title: Soft Contract Verification for Higher-Order Stateful Programs

abstract: Software contracts allow programmers to state rich program properties using the full expressive power of an object language. However, since they are enforced at runtime, monitoring contracts imposes significant overhead and delays error discovery. So contract verification aims to guarantee all or most of these properties ahead of time, enabling valuable optimizations and yielding a more general assurance of correctness. Existing methods for static contract verification satisfy the needs of more restricted target languages, but fail to address the challenges unique to those conjoining untyped, dynamic programming, higher-order functions, modularity, and statefulness. Our approach tackles all these features at once, in the context of the full Racket system---a mature environment for stateful, higher-order, multi-paradigm programming with or without types. Evaluating our method using a set of both pure and stateful benchmarks, we are able to verify 99.94% of checks statically (all but 28 of 49, 861). Stateful, higher-order functions pose significant challenges for static contract verification in particular. In the presence of these features, a modular analysis must permit code from the current module to escape permanently to an opaque context (unspecified code from outside the current module) that may be stateful and therefore store a reference to the escaped closure. Also, contracts themselves, being predicates wri en in unrestricted Racket, may exhibit stateful behavior; a sound approach must be robust to contracts which are arbitrarily expressive and interwoven with the code they monitor. In this paper, we present and evaluate our solution based on higher-order symbolic execution, explain the techniques we used to address such thorny issues, formalize a notion of behavioral approximation, and use it to provide a mechanized proof of soundness.


title: Complete solving the quadratic equation mod $2^n$

abstract: Quadratic functions have applications in cryptography. In this paper, we investigate the modular quadratic equation $$ ax^2+bx+c=0 \quad (mod \,\, 2^n), $$ and provide a complete analysis of it. More precisely, we determine when this equation has a solution and in the case that it has a solution, we not only determine the number of solutions, but also give the set of solutions in $O(n)$ time. One of the interesting results of our research is that, when this equation has a solution, then the number of solutions is a power of two.


title: Swarming in domains with boundaries: approximation and regularization by nonlinear diffusion

abstract: We consider an aggregation model with nonlinear diffusion in domains with boundaries and investigate the zero diffusion limit of its solutions. We establish the convergence of weak solutions for fixed times, as well as the convergence of energy minimizers in this limit. Numerical simulations that support the analytical results are presented. A second key scope of the numerical studies is to demonstrate that adding small nonlinear diffusion rectifies a flaw of the plain aggregation model in domains with boundaries, which is to evolve into unstable equilibria (non-minimizers of the energy).


title: Interpretable Vector AutoRegressions with Exogenous Time Series

abstract: The Vector AutoRegressive (VAR) model is fundamental to the study of multivariate time series. Although VAR models are intensively investigated by many researchers, practitioners often show more interest in analyzing VARX models that incorporate the impact of unmodeled exogenous variables (X) into the VAR. However, since the parameter space grows quadratically with the number of time series, estimation quickly becomes challenging. While several proposals have been made to sparsely estimate large VAR models, the estimation of large VARX models is under-explored. Moreover, typically these sparse proposals involve a lasso-type penalty and do not incorporate lag selection into the estimation procedure. As a consequence, the resulting models may be difficult to interpret. In this paper, we propose a lag-based hierarchically sparse estimator, called "HVARX", for large VARX models. We illustrate the usefulness of HVARX on a cross-category management marketing application. Our results show how it provides a highly interpretable model, and improves out-of-sample forecast accuracy compared to a lasso-type approach.


title: Just a Taste: Lectures on Flavor Physics

abstract: We review the flavor structure of the Standard Model and the ways in which the flavor parameters are measured. This is an extended writeup of the TASI 2016 lectures on flavor physics. Earlier versions of these lectures were presented at pre-SUSY 2015 and Cornell University's Physics 7661 course in 2010.


title: Multiplicity of positive solutions for a class of fractional Schr\"odinger equations via penalization method

abstract: By using the penalization method and the Ljusternik-Schnirelmann theory, we investigate the multiplicity of positive solutions of the following fractional Schr\"odinger equation $$ \e^{2s}(-\Delta)^{s} u + V(x)u = f(u) \mbox{ in } \mathbb{R}^{N} $$ where $\varepsilon>0$ is a parameter, $s\in (0, 1)$, $N>2s$, $(-\Delta)^{s}$ is the fractional Laplacian, $V$ is a positive continuous potential with local minimum, and $f$ is a superlinear function with subcritical growth. We also obtain a multiplicity result when $f(u)=|u|^{q-2}u+\lambda |u|^{r-2}u$ with $2<q<2^{*}_{s}\leq r$ and $\lambda>0$, by combining a truncation argument and a Moser-type iteration.


title: Vanishing Viscosity Approach to the Compressible Euler Equations for Transonic Nozzle and Spherically Symmetric Flows

abstract: We are concerned with globally defined entropy solutions to the Euler equations for compressible fluid flows in transonic nozzles with general cross-sectional areas. Such nozzles include the de Laval nozzles and other more general nozzles whose cross-sectional area functions are allowed at the nozzle ends to be either zero (closed ends) or infinity (unbounded ends). To achieve this, in this paper, we develop a vanishing viscosity method to construct globally defined approximate solutions and then establish essential uniform estimates in weighted $L^p$ norms for the whole range of physical adiabatic exponents $\gamma\in (1, \infty)$, so that the viscosity approximate solutions satisfy the general $L^p$ compensated compactness framework. The viscosity method is designed to incorporate artificial viscosity terms with the natural Dirichlet boundary conditions to ensure the uniform estimates. Then such estimates lead to both the convergence of the approximate solutions and the existence theory of globally defined finite-energy entropy solutions to the Euler equations for transonic flows that may have different end-states in the class of nozzles with general cross-sectional areas for all $\gamma\in (1, \infty)$. The approach and techniques developed here apply to other problems with similar difficulties. In particular, we successfully apply them to construct globally defined spherically symmetric entropy solutions to the Euler equations for all $\gamma\in (1, \infty)$.


title: Thermodynamic Formalism for Transient Potential Functions

abstract: We study the thermodynamic formalism of locally compact Markov shifts with transient potential functions. In particular, we show that the Ruelle operator admits positive continuous eigenfunctions and positive Radon eigenmeasures in forms of Martin kernels. These eigenmeasures can be characterized in terms of the direction of escape to infinity of their orbits, when viewed inside a suitable Martin-like compactification of the underline shift space. We relate these results to first-order phase transitions in one-dimensional lattice gas models with infinite set of states. This work complements earlier works by Sarig who focused on the recurrent scenario.


title: Galileo ionosphere profile coincident with repeat plume detection location at Europa

abstract: The location of a repeat plume detected at Europa is found to be coincident with the strongest ionosphere detection made by Galileo radio occultation in 1997.


title: Examples of noncompact nonpositively curved manifolds

abstract: We give a simple construction of new, complete, finite volume manifolds $M$ of bounded, nonpositive curvature. These manifolds have ends that look like a mixture of locally symmetric ends of different ranks and their fundamental groups are not duality groups.


title: Calculating particle pair potentials from fluid-state pair correlations: Iterative Ornstein-Zernike Inversion

abstract: An iterative Monte Carlo inversion method for the calculation of particle pair potentials from given particle pair correlations is proposed in this paper. The new method, which is best referred to as Iterative Ornstein-Zernike Inversion, represents a generalization and an improvement of the established Iterative Boltzmann Inversion technique [Reith, P\"{u}tz \& M\"{u}ller-Plathe, J. Comput. Chem. 24, 1624 (2003)]. Our modification of Iterative Boltzmann Inversion consists of replacing the potential of mean force as an approximant for the pair potential with another, generally more accurate approximant that is based on a trial bridge function in the Ornstein-Zernike integral equation formalism. As an input, the new method requires the particle pair correlations both in real space and in the Fourier conjugate wavenumber space. An accelerated iteration method is included in the discussion, by which the required number of iterations can be greatly reduced below that of the simple Picard iteration that underlies most common implementations of Iterative Boltzmann Inversion. Comprehensive tests with various pair potentials show that the new method generally surpasses the Iterative Boltzmann Inversion method in terms of reliability of the numerical solution for the particle pair potential.


title: The MERger-event Gamma-Ray (MERGR) Telescope

abstract: We describe the MERger-event Gamma-Ray (MERGR) Telescope intended for deployment by ~2021. MERGR will cover from 20 keV to 2 MeV with a wide field of view (6 sr) using nineteen gamma-ray detectors arranged on a section of a sphere. The telescope will work as a standalone system or as part of a network of sensors, to increase by ~50% the current sky coverage to detect short Gamma-Ray Burst (SGRB) counterparts to neutron-star binary mergers within the ~200 Mpc range of gravitational wave detectors in the early 2020's. Inflight software will provide realtime burst detections with mean localization uncertainties of 6 deg for a photon fluence of 5 ph cm^-2 (the mean fluence of Fermi-GBM SGRBs) and <3 deg for the brightest ~5% of SGRBs to enable rapid multi-wavelength follow-up to identify a host galaxy and its redshift. To minimize cost and time to first light, MERGR is directly derived from demonstrators designed and built at NRL for the DoD Space Test Program (STP). We argue that the deployment of a network that provides all-sky coverage for SGRB detection is of immediate urgency to the multi-messenger astrophysics community.


title: Majorana stripe order on the surface of a three-dimensional topological insulator

abstract: The issue on the effect of interactions in topological states concerns not only interacting topological phases but also novel symmetry-breaking phases and phase transitions. Here we study the interaction effect on Majorana zero modes (MZMs) bound to a square vortex lattice in two-dimensional (2D) topological superconductors. Under the neutrality condition, where single-body hybridization between MZMs is prohibited by an emergent symmetry, a minimal square-lattice model for MZMs can be faithfully mapped to a quantum spin model, which has no sign problem in the world-line quantum Monte Carlo simulation. Guided by an insight from a further duality mapping, we demonstrate that the interaction induces a Majorana stripe state, a gapped state spontaneously breaking lattice translational and rotational symmetries, as opposed to the previously conjectured topological quantum criticality. Away from neutrality, a mean-field theory suggests a quantum critical point induced by hybridization.


title: Beyond trans-dimensional RJMCMC with a case study in impulsive data modeling

abstract: Reversible jump Markov chain Monte Carlo (RJMCMC) is a Bayesian model estimation method which has been used for trans-dimensional sampling. In this study, we propose utilization of RJMCMC beyond trans-dimensional sampling. This new interpretation, which we call trans-space RJMCMC, reveals the undiscovered potential of RJMCMC by exploiting the original formulation to explore spaces of different classes or structures. This provides flexibility in using different types of candidate classes in the combined model space such as spaces of linear and nonlinear models or of various distribution families. As an application for the proposed method, we have performed a special case of trans-space sampling, namely trans-distributional RJMCMC in impulsive data modeling. In many areas such as seismology, radar, image, using Gaussian models is a common practice due to analytical ease. However, many noise processes do not follow a Gaussian character and generally exhibit events too impulsive to be successfully described by the Gaussian model. We test the proposed method to choose between various impulsive distribution families to model both synthetically generated noise processes and real-life measurements on power line communications (PLC) impulsive noises and 2-D discrete wavelet transform (2-D DWT) coefficients.


title: Alternating minimization for dictionary learning: Local Convergence Guarantees

abstract: We present theoretical guarantees for an alternating minimization algorithm for the dictionary learning/sparse coding problem. The dictionary learning problem is to factorize vector samples $y^{1},y^{2},\ldots, y^{n}$ into an appropriate basis (dictionary) $A^*$ and sparse vectors $x^{1*},\ldots,x^{n*}$. Our algorithm is a simple alternating minimization procedure that switches between $\ell_1$ minimization and gradient descent in alternate steps. Dictionary learning and specifically alternating minimization algorithms for dictionary learning are well studied both theoretically and empirically. However, in contrast to previous theoretical analyses for this problem, we replace a condition on the operator norm (that is, the largest magnitude singular value) of the true underlying dictionary $A^*$ with a condition on the matrix infinity norm (that is, the largest magnitude term). Our guarantees are under a reasonable generative model that allows for dictionaries with growing operator norms, and can handle an arbitrary level of overcompleteness, while having sparsity that is information theoretically optimal. We also establish upper bounds on the sample complexity of our algorithm.


title: Sub-shot-noise-limited phase estimation via SU(1,1) interferometer with thermal states

abstract: We theoretically study the phase sensitivity of an SU(1,1) interferometer with a thermal state and squeezed vacuum state as inputs and parity detection as measurement. We find that phase sensitivity can beat the shot-noise limit and approaches the Heisenberg limit with increasing input photon number.


title: ANCHOR: logically-centralized security for Software-Defined Networks

abstract: While the centralization of SDN brought advantages such as a faster pace of innovation, it also disrupted some of the natural defenses of traditional architectures against different threats. The literature on SDN has mostly been concerned with the functional side, despite some specific works concerning non-functional properties like 'security' or 'dependability'. Though addressing the latter in an ad-hoc, piecemeal way, may work, it will most likely lead to efficiency and effectiveness problems. We claim that the enforcement of non-functional properties as a pillar of SDN robustness calls for a systemic approach. As a general concept, we propose ANCHOR, a subsystem architecture that promotes the logical centralization of non-functional properties. To show the effectiveness of the concept, we focus on 'security' in this paper: we identify the current security gaps in SDNs and we populate the architecture middleware with the appropriate security mechanisms, in a global and consistent manner. Essential security mechanisms provided by anchor include reliable entropy and resilient pseudo-random generators, and protocols for secure registration and association of SDN devices. We claim and justify in the paper that centralizing such mechanisms is key for their effectiveness, by allowing us to: define and enforce global policies for those properties; reduce the complexity of controllers and forwarding devices; ensure higher levels of robustness for critical services; foster interoperability of the non-functional property enforcement mechanisms; and promote the security and resilience of the architecture itself. We discuss design and implementation aspects, and we prove and evaluate our algorithms and mechanisms, including the formalisation of the main protocols and the verification of their core security properties using the Tamarin prover.


title: Learning and Real-time Classification of Hand-written Digits With Spiking Neural Networks

abstract: We describe a novel spiking neural network (SNN) for automated, real-time handwritten digit classification and its implementation on a GP-GPU platform. Information processing within the network, from feature extraction to classification is implemented by mimicking the basic aspects of neuronal spike initiation and propagation in the brain. The feature extraction layer of the SNN uses fixed synaptic weight maps to extract the key features of the image and the classifier layer uses the recently developed NormAD approximate gradient descent based supervised learning algorithm for spiking neural networks to adjust the synaptic weights. On the standard MNIST database images of handwritten digits, our network achieves an accuracy of 99.80% on the training set and 98.06% on the test set, with nearly 7x fewer parameters compared to the state-of-the-art spiking networks. We further use this network in a GPU based user-interface system demonstrating real-time SNN simulation to infer digits written by different users. On a test set of 500 such images, this real-time platform achieves an accuracy exceeding 97% while making a prediction within an SNN emulation time of less than 100ms.


title: Provably Accurate Double-Sparse Coding

abstract: Sparse coding is a crucial subroutine in algorithms for various signal processing, deep learning, and other machine learning applications. The central goal is to learn an overcomplete dictionary that can sparsely represent a given input dataset. However, a key challenge is that storage, transmission, and processing of the learned dictionary can be untenably high if the data dimension is high. In this paper, we consider the double-sparsity model introduced by Rubinstein et al. (2010b) where the dictionary itself is the product of a fixed, known basis and a data-adaptive sparse component. First, we introduce a simple algorithm for double-sparse coding that can be amenable to efficient implementation via neural architectures. Second, we theoretically analyze its performance and demonstrate asymptotic sample complexity and running time benefits over existing (provable) approaches for sparse coding. To our knowledge, our work introduces the first computationally efficient algorithm for double-sparse coding that enjoys rigorous statistical guarantees. Finally, we support our analysis via several numerical experiments on simulated data, confirming that our method can indeed be useful in problem sizes encountered in practical applications.


title: Small-loss bounds for online learning with partial information

abstract: We consider the problem of adversarial (non-stochastic) online learning with partial information feedback, where at each round, a decision maker selects an action from a finite set of alternatives. We develop a black-box approach for such problems where the learner observes as feedback only losses of a subset of the actions that includes the selected action. When losses of actions are non-negative, under the graph-based feedback model introduced by Mannor and Shamir, we offer algorithms that attain the so called "small-loss" $o(\alpha L^{\star})$ regret bounds with high probability, where $\alpha$ is the independence number of the graph, and $L^{\star}$ is the loss of the best action. Prior to our work, there was no data-dependent guarantee for general feedback graphs even for pseudo-regret (without dependence on the number of actions, i.e. utilizing the increased information feedback). Taking advantage of the black-box nature of our technique, we extend our results to many other applications such as semi-bandits (including routing in networks), contextual bandits (even with an infinite comparator class), as well as learning with slowly changing (shifting) comparators. In the special case of classical bandit and semi-bandit problems, we provide optimal small-loss, high-probability guarantees of $\tilde{O}(\sqrt{dL^{\star}})$ for actual regret, where $d$ is the number of actions, answering open questions of Neu. Previous bounds for bandits and semi-bandits were known only for pseudo-regret and only in expectation. We also offer an optimal $\tilde{O}(\sqrt{\kappa L^{\star}})$ regret guarantee for fixed feedback graphs with clique-partition number at most $\kappa$.


title: Stochastic Deep Learning in Memristive Networks

abstract: We study the performance of stochastically trained deep neural networks (DNNs) whose synaptic weights are implemented using emerging memristive devices that exhibit limited dynamic range, resolution, and variability in their programming characteristics. We show that a key device parameter to optimize the learning efficiency of DNNs is the variability in its programming characteristics. DNNs with such memristive synapses, even with dynamic range as low as $15$ and only $32$ discrete levels, when trained based on stochastic updates suffer less than $3\%$ loss in accuracy compared to floating point software baseline. We also study the performance of stochastic memristive DNNs when used as inference engines with noise corrupted data and find that if the device variability can be minimized, the relative degradation in performance for the Stochastic DNN is better than that of the software baseline. Hence, our study presents a new optimization corner for memristive devices for building large noise-immune deep learning systems.


title: Quantitative Comparison of Open-Source Data for Fine-Grain Mapping of Land Use

abstract: This paper performs a quantitative comparison of open-source data available on the Internet for the fine-grain mapping of land use. Three points of interest (POI) data sources--Google Places, Bing Maps, and the Yellow Pages--and one volunteered geographic information data source--Open Street Map (OSM)--are compared with each other at the parcel level for San Francisco with respect to a proposed fine-grain land-use taxonomy. The sources are also compared to coarse-grain authoritative data which we consider to be the ground truth. Results show limited agreement among the data sources as well as limited accuracy with respect to the authoritative data even at coarse class granularity. We conclude that POI and OSM data do not appear to be sufficient alone for fine-grain land-use mapping.


title: Valuing the anticipative information on the stochastic short interest rates

abstract: Portfolio optimization is an important financial tool in particular to price financial derivatives. However the standard techniques do not apply when it is needed to extend the model by including insight information and one has to recur to more sophisticated tools such as the enlargement of filtrations. We show how to apply this technique to value the anticipative information about the short interest rate. We model the short rates by an affine diffusion process and compute the optimal portfolio for a large class of insight information and different utility functions. We conclude with a more detailed analysis of the Vasicek model and with some numerical examples.


title: The temporal evolution of neutron-capture elements in the Galactic discs

abstract: Important insights into the formation and evolution of the Galactic disc(s) are contained in the chemical compositions of stars. We analysed high-resolution and high signal to noise HARPS spectra of 79 solar twin stars in order to obtain precise determinations of their atmospheric parameters, ages ($\sigma$$\sim$0.4 Gyr) and chemical abundances ($\sigma$$<$0.01~dex) of 12 neutron-capture elements (Sr, Y, Zr, Ba, La, Ce, Pr, Nd, Sm, Eu, Gd, and Dy). This valuable dataset allows us to study the [X/Fe]-age relations over a time interval of $\sim$10 Gyr and among stars belonging to the thin and thick discs. These relations show that i) the $s$-process has been the main channel of nucleosynthesis of $n$-capture elements during the evolution of the thin disc; ii) the thick disc is rich in $r$-process elements which suggests that its formation has been rapid and intensive. %; iii) a chemical continuity between the thin and thick discs is evident in the abundances of Ba. In addition, the heavy (Ba, La, Ce) and light (Sr, Y, Zr) $s$-process elements revealed details on the dependence between the yields of AGB stars and the stellar mass or metallicity. Finally, we confirmed that both [Y/Mg] and [Y/Al] ratios can be employed as stellar clocks, allowing ages of solar twin stars to be estimated with an average precision of $\sim$0.5~Gyr.


title: Cyclic homology of algebras of global dimension at most two

abstract: We study graded connected algebras over a field of characteristic zero and give an explicit formula for the cyclic homology of a tensor algebra. By means of a slightly new definition of David Anick's notion "strongly free" we are able to prove that cyclic homology of an algebra of global dimension two is zero in homological degree greater than one and is zero also in homological degree equal to one in case the relations are monomials. We give also explicit formulas for the cyclic homology of a tensor algebra modulo one symmetric quadratic form.


title: Comparing weak and projective measurements for quantum state tomography of a single-qubit system

abstract: We explore the use of weak quantum measurements for single-qubit quantum state tomography processes. Weak measurements are those where the coupling between the qubit and the measurement apparatus is weak; this results in the quantum state being disturbed less than in the case of a projective measurement. We employ a weak measurement tomography protocol developed by Das and Arvind, which they claim offers a new method of extracting information from quantum systems. We test the Das-Arvind scheme for various measurement strengths, and ensemble sizes, and reproduce their results using a sequential stochastic simulation. Lastly, we place these results in the context of current understanding of weak and projective measurements.


title: Global linearization and fiber bundle structure of invariant manifolds

abstract: We study global properties of the global (center-)stable manifold of a normally attracting invariant manifold (NAIM), the special case of a normally hyperbolic invariant manifold (NHIM) with empty unstable bundle. We restrict our attention to continuous-time dynamical systems, or flows. We show that the global stable foliation of a NAIM has the structure of a topological disk bundle, and that similar statements hold for inflowing NAIMs and for general compact NHIMs. Furthermore, the global stable foliation has a $C^k$ disk bundle structure if the local stable foliation is assumed $C^k$. We then show that the dynamics restricted to the stable manifold of a compact inflowing NAIM are globally topologically conjugate to the linearized transverse dynamics at the NAIM. Moreover, we give conditions ensuring the existence of a global $C^k$ linearizing conjugacy. We also prove a $C^k$ global linearization result for inflowing NAIMs; we believe that even the local version of this result is new, and may be useful in applications to slow-fast systems. We illustrate the theory by giving applications to geometric singular perturbation theory in the case of an attracting critical manifold: we show that the domain of the Fenichel Normal Form can be extended to the entire global stable manifold, and under additional nonresonance assumptions we derive a smooth global linear normal form.


title: GW170817: Joint Constraint on the Neutron Star Equation of State from Multimessenger Observations

abstract: Gravitational waves detected from the binary neutron star (NS) merger GW170817 constrained the NS equation of state by placing an upper bound on certain parameters describing the binary's tidal interactions. We show that the interpretation of the UV/optical/infrared counterpart of GW170817 with kilonova models, combined with new numerical relativity results, imply a complementary lower bound on the tidal deformability parameter. The joint constraints tentatively rule out both extremely stiff and soft NS equations of state.


title: Controlling $T_c$ of Iridium films using interfacial proximity effects

abstract: High precision calorimetry using superconducting transition edge sensors requires the use of superconducting films with a suitable $T_c$, depending on the application. To advance high-precision macrocalorimetry, we require low-$T_c$ films that are easy to fabricate. A simple and effective way to suppress $T_c$ of superconducting Iridium through the proximity effect is demonstrated by using Ir/Pt bilayers as well as Au/Ir/Au trilayers. While Ir/Au films fabricated by applying heat to the substrate during Ir deposition have been used in the past for superconducting sensors, we present results of $T_c$ suppression on Iridium by deposition at room temperature in Au/Ir/Au trilayers and Ir/Pt bilayers in the range of $\sim$20-100~mK. Measurements of the relative impedance between the Ir/Pt bilayers and Au/Ir/Au trilayers fabricated show factor of $\sim$10 higher values in the Ir/Pt case. These new films could play a key role in the development of scalable superconducting transition edge sensors that require low-$T_c$ films to minimize heat capacity and maximize energy resolution, while keeping high-yield fabrication methods.


title: Surface field theories of point group symmetry protected topological phases

abstract: We identify field theories that describe the surfaces of three-dimensional bosonic point group symmetry protected topological (pgSPT) phases. The anomalous nature of the surface field theories is revealed via a dimensional reduction argument. Specifically, we study three different surface field theories. The first field theory is quantum electrodynamics in three space-time dimensions (QED3) with four flavors of fermions. We show this theory can describe the surfaces of a majority of bosonic pgSPT phases protected by a single mirror reflection, or by $C_{nv}$ point group symmetry for $n=2,3,4,6$. The second field theory is a variant of QED3 with charge-1 and charge-3 Dirac fermions. This field theory can describe the surface of a reflection symmetric pgSPT phase built by placing an $E_{8}$ state on the mirror plane. The third field theory is an ${\rm O}(4)$ non-linear sigma model with a topological theta-term at $\theta=\pi$, or, equivalently, a non-compact ${\rm CP}^1$ model. Using a coupled wire construction, we show this is a surface theory for bosonic pgSPT phases with ${\rm U}(1) \times \mathbb{Z}_{2}^{P}$ symmetry. For the latter two field theories, we discuss the connection to gapped surfaces with topological order. Moreover, we conjecture that the latter two field theories can describe surfaces of more general bosonic pgSPT phases with $C_{nv}$ point group symmetry.


title: Causality and a-theorem Constraints on Ricci Polynomial and Riemann Cubic Gravities

abstract: In this paper, we study Einstein gravity extended with Ricci polynomials and derive the constraints on the coupling constants from the considerations of being ghost free, exhibiting an $a$-theorem and maintaining causality. The salient feature is that Einstein metrics with appropriate effective cosmological constants continue to be solutions with the inclusion of such Ricci polynomials and the causality constraint is automatically satisfied. The ghost free and $a$-theorem conditions can only be both met starting at the quartic order. We also study these constraints on general Riemann cubic gravities.


title: How Long Will My Phone Battery Last?

abstract: Mobile devices are only as useful as their battery lasts. Unfortunately, the operation and life of a mobile device's battery degrade over time and usage. The state-of-health (SoH) of batteries quantifies their degradation, but mobile devices are unable to support its accurate estimation -- despite its importance -- due mainly to their limited hardware and dynamic usage patterns, causing various problems such as unexpected device shutoffs or even fire/explosion. To remedy this lack of support, we design, implement and evaluate V-Health, a low-cost user-level SoH estimation service for mobile devices based only on their battery voltage, which is commonly available on all commodity mobile devices. V-Health also enables four novel use-cases that improve mobile users' experience from different perspectives. The design of V-Health is inspired by our empirical finding that the relaxing voltages of a device battery fingerprint its SoH, and is steered by extensive measurements with 15 batteries used for various commodity mobile devices, such as Nexus 6P, Galaxy S3, iPhone 6 Plus, etc. These measurements consist of 13,377 battery discharging/charging/resting cycles and have been conducted over 72 months cumulatively. V-Health has been evaluated via both laboratory experiments and field tests over 4-6 months, showing <5% error in SoH estimation.


title: Geometric Ergodicity in a Weighted Sobolev Space

abstract: For a discrete-time Markov chain $\{X(t)\}$ evolving on $\Re^\ell$ with transition kernel $P$, natural, general conditions are developed under which the following are established: 1. The transition kernel $P$ has a purely discrete spectrum, when viewed as a linear operator on a weighted Sobolev space $L_\infty^{v,1}$ of functions with norm, $$ \|f\|_{v,1} = \sup_{x \in \Re^\ell} \frac{1}{v(x)} \max \{|f(x)|, |\partial_1 f(x)|,\ldots,|\partial_\ell f(x)|\}, $$ where $v\colon \Re^\ell \to [1,\infty)$ is a Lyapunov function and $\partial_i:=\partial/\partial x_i$. 2. The Markov chain is geometrically ergodic in $L_\infty^{v,1}$: There is a unique invariant probability measure $\pi$ and constants $B<\infty$ and $\delta>0$ such that, for each $f\in L_\infty^{v,1}$, any initial condition $X(0)=x$, and all $t\geq 0$: $$\Big| \text{E}_x[f(X(t))] - \pi(f)\Big| \le Be^{-\delta t}v(x),\quad \|\nabla \text{E}_x[f(X(t))] \|_2 \le Be^{-\delta t} v(x), $$ where $\pi(f)=\int fd\pi$. 3. For any function $f\in L_\infty^{v,1}$ there is a function $h\in L_\infty^{v,1}$ solving Poisson's equation: \[ h-Ph = f-\pi(f). \] Part of the analysis is based on an operator-theoretic treatment of the sensitivity process that appears in the theory of Lyapunov exponents.


title: Neutral Kaon Spectrometer 2

abstract: A large-acceptance spectrometer, Neutral Kaon Spectrometer 2 (NKS2), was newly constructed to explore various photoproduction reactions in the gigaelectronvolt region at the Laboratory of Nuclear Science (LNS, currently ELPH), Tohoku University. The spectrometer consisted of a dipole magnet, drift chambers, and plastic scintillation counters. NKS2 was designed to separate pions and protons in a momentum range of less than 1 GeV/$c$, and was placed in a tagged photon beamline. A cryogenic H$_{2}$/D$_{2}$ target fitted to the spectrometer were designed. The design and performance of the detectors are described. The results of the NKS2 experiment on analyzing strangeness photoproduction data using a 0.8--1.1 GeV tagged photon beam are also presented.


title: Poverty Prediction with Public Landsat 7 Satellite Imagery and Machine Learning

abstract: Obtaining detailed and reliable data about local economic livelihoods in developing countries is expensive, and data are consequently scarce. Previous work has shown that it is possible to measure local-level economic livelihoods using high-resolution satellite imagery. However, such imagery is relatively expensive to acquire, often not updated frequently, and is mainly available for recent years. We train CNN models on free and publicly available multispectral daytime satellite images of the African continent from the Landsat 7 satellite, which has collected imagery with global coverage for almost two decades. We show that despite these images' lower resolution, we can achieve accuracies that exceed previous benchmarks.


title: Connectedness and Lyubeznik numbers

abstract: We investigate the relationship between connectedness properties of spectra and the Lyubeznik numbers, numerical invariants defined via local cohomology. We prove that for complete equidimensional local rings, the Lyubeznik numbers characterize when connectedness dimension equals one. More generally, these invariants determine a bound on connectedness dimension. Additionally, our methods imply that the Lyubeznik number with indices (1,2) of the local ring at the vertex of the affine cone over a projective variety is independent of the choice of its embedding into projective space.


title: p-FP: Extraction, Classification, and Prediction of Website Fingerprints with Deep Learning

abstract: Recent advances in learning Deep Neural Network (DNN) architectures have received a great deal of attention due to their ability to outperform state-of-the-art classifiers across a wide range of applications, with little or no feature engineering. In this paper, we broadly study the applicability of deep learning to website fingerprinting. We show that unsupervised DNNs can be used to extract low-dimensional feature vectors that improve the performance of state-of-the-art website fingerprinting attacks. When used as classifiers, we show that they can match or exceed performance of existing attacks across a range of application scenarios, including fingerprinting Tor website traces, fingerprinting search engine queries over Tor, defeating fingerprinting defenses, and fingerprinting TLS-encrypted websites. Finally, we show that DNNs can be used to predict the fingerprintability of a website based on its contents, achieving 99% accuracy on a data set of 4500 website downloads.


title: Uncertainty relations for two observables coupled with the third one

abstract: A new lower boundary for the product of variances of two observables is obtained in the case, when these observables are entangled with the third one. This boundary can be higher than the Robertson--Schr\"odinger one. The special case of the two-dimensional pure Gaussian state is considered as an example.


title: Modeling the prescription opioid epidemic

abstract: Opioid addiction has become a global epidemic and a national health crisis in recent years, with the number of opioid overdose fatalities steadily increasing since the 1990s. In contrast to the dynamics of a typical illicit drug or disease epidemic, opioid addiction has its roots in legal, prescription medication - a fact which greatly increases the exposed population and provides additional drug accessibility for addicts. In this paper, we present a mathematical model for prescription drug addiction and treatment with parameters and validation based on data from the opioid epidemic. Key dynamics considered include addiction through prescription, addiction from illicit sources, and treatment. Through mathematical analysis, we show that no addiction-free equilibrium can exist without stringent control over how opioids are administered and prescribed, effectively transforming the dynamics of the opioid epidemic into those found in a purely illicit drug model. Numerical sensitivity analysis suggests that relatively low states of endemic addiction can be obtained by primarily focusing on medical prevention followed by aggressive treatment of remaining cases - even when the probability of relapse from treatment remains high. Further empirical study focused on understanding the rate of illicit drug dependence versus overdose risk, along with the current and changing rates of opioid prescription and treatment, would shed significant light on optimal control efforts and feasible outcomes for this epidemic and drug epidemics in general.


title: Frequency-comb based double-quantum two-dimensional coherent spectroscopy identifies collective hyperfine resonances in atomic vapor induced by dipole-dipole interactions

abstract: Frequency comb based multidimensional coherent spectroscopy is a novel optical method that enables high resolution measurement in a short acquisition time. The method's resolution makes multidimensional coherent spectroscopy relevant for atomic systems that have narrow resonances. We use double-quantum multidimensional coherent spectroscopy to reveal collective hyperfine resonances in rubidium vapor at 100 C induced by dipole-dipole interactions. We observe tilted lineshapes in the double-quantum 2D spectra, which has never been reported for Doppler-broadened systems. The tilted lineshapes suggest that the signal is predominately from the interacting atoms that have near zero relative velocity.


title: TARCO: Two-Stage Auction for D2D Relay Aided Computation Resource Allocation in Hetnet

abstract: In heterogeneous cellular network, task scheduling for computation offloading is one of the biggest challenges. Most works focus on alleviating heavy burden of macro base stations by moving the computation tasks on macro-cell user equipment (MUE) to remote cloud or small-cell base stations. But the selfishness of network users is seldom considered. Motivated by the cloud edge computing, this paper provides incentive for task transfer from macro cell users to small cell base stations. The proposed incentive scheme utilizes small cell user equipment to provide relay service. The problem of computation offloading is modelled as a two-stage auction, in which the remote MUEs with common social character can form a group and then buy the computation resource of small-cell base stations with the relay of small cell user equipment. A two-stage auction scheme named TARCO is contributed to maximize utilities for both sellers and buyers in the network. The truthful, individual rationality and budget balance of the TARCO are also proved in this paper. In addition, two algorithms are proposed to further refine TARCO on the social welfare of the network. Extensive simulation results demonstrate that, TARCO is better than random algorithm by about 104.90% in terms of average utility of MUEs, while the performance of TARCO is further improved up to 28.75% and 17.06% by the proposed two algorithms, respectively.


title: Error-tolerant witnessing of divergences in classical and quantum statistical complexity

abstract: How much information do we need about a process' past to faithfully simulate its future? The statistical complexity is a prominent quantifier of structure for stochastic processes. Quantum machines, however, can simulate classical stochastic processes while storing significantly less information than their optimal classical counterparts. This implies qualitative divergences between classical and quantum statistical complexity. Here, we develop error-tolerant techniques to witness such divergences, enabling us to account for the inevitable imperfections in realising quantum stochastic simulators with present-day quantum technology. We apply these tools to experimentally verify the quantum memory advantage in simulating an Ising spin chain, even when accounting for experimental distortion. This then leads us to observe a recently conjectured effect, the ambiguity of simplicity$\unicode{x2013}$the notion that the relative complexity of two different processes can depend on whether we model the process using classical or quantum means of information processing.


title: A Latent Space Model for Cognitive Social Structures Data

abstract: This paper introduces a novel approach for modeling a set of directed, binary networks in the context of cognitive social structures (CSSs) data. We adopt a relativist approach in which no assumption is made about the existence of an underlying true network. More specifically, we rely on a generalized linear model that incorporates a bilinear structure to model transitivity effects within networks, and a hierarchical specification on the bilinear effects to borrow information across networks. This is a spatial model, in which the perception of each individual about the strength of the relationships can be explained by the perceived position of the actors (themselves and others) on a latent social space. A key goal of the model is to provide a mechanism to formally assess the agreement between each actors' perception of their own social roles with that of the rest of the group. Our experiments with both real and simulated data show that the capabilities of our model are comparable with or, even superior to, other models for CSS data reported in the literature.


title: Observing Golden Mean Universality Class in the Scaling of Thermal Transport

abstract: We address the issue of whether the golden mean $\left[\psi=(\sqrt{5}+1)/2 \simeq 1.618\right]$ universality class, as predicted by several theoretical models, can be observed in the dynamical scaling of thermal transport. Remarkably, we show estimate with unprecedented precision, that $\psi$ appears to be the scaling exponent of heat mode correlation in a purely quartic anharmonic chain. This observation seems somewhat deviation from the previous expectation and we explain it by the unusual slow decay of the cross-correlation between heat and sound modes. Whenever the cubic anharmonicity is included, this cross-correlation is gradually died out and another universality class with scaling exponent $\gamma=5/3$, as commonly predicted by theories, seems recovered. However, this recovery is accompanied by two interesting phase transition processes characterized by a change of symmetry of the potential and a clear variation of the dynamic structure factor, respectively. Due to these transitions, an additional exponent close to $\gamma \simeq 1.580$ emerges. All these evidences suggest that, to gain a full prediction of the scaling of thermal transport, more ingredients should be taken into account.


title: Automorphisms of the Weyl manifold

abstract: Assume that $M$ is a smooth manifold with a symplectic structure $\omega$. Then Weyl manifolds on the symplectic manifold $M$ are Weyl algebra bundles endowed with suitable transition functions. From the geometrical point of view, Weyl manifolds can be regarded as geometrizations of star products attached to $(M,\omega)$. In the present paper, we are concerned with the automorphisms of the Weyl manifold corresponding to Poincar\'e-Cartan class ($c_0$ is a $\check{\rm C}$ech cocycle corresponding to the symplectic structure $\omega$.) $[c_0+\sum_{\ell=1}^\infty c_{\ell} \nu^{2\ell}]\in \check{H}^2 (M)[[\nu^2]]$. We also construct modified contact Weyl diffeomorphisms.


title: Unsupervised Learning of Geometry with Edge-aware Depth-Normal Consistency

abstract: Learning to reconstruct depths in a single image by watching unlabeled videos via deep convolutional network (DCN) is attracting significant attention in recent years. In this paper, we introduce a surface normal representation for unsupervised depth estimation framework. Our estimated depths are constrained to be compatible with predicted normals, yielding more robust geometry results. Specifically, we formulate an edge-aware depth-normal consistency term, and solve it by constructing a depth-to-normal layer and a normal-to-depth layer inside of the DCN. The depth-to-normal layer takes estimated depths as input, and computes normal directions using cross production based on neighboring pixels. Then given the estimated normals, the normal-to-depth layer outputs a regularized depth map through local planar smoothness. Both layers are computed with awareness of edges inside the image to help address the issue of depth/normal discontinuity and preserve sharp edges. Finally, to train the network, we apply the photometric error and gradient smoothness for both depth and normal predictions. We conducted experiments on both outdoor (KITTI) and indoor (NYUv2) datasets, and show that our algorithm vastly outperforms state of the art, which demonstrates the benefits from our approach.


title: Bayesian Gaussian models for interpolating large-dimensional data at misaligned areal units

abstract: Areal level spatial data are often large, sparse and may appear with geographical shapes that are regular or irregular (e.g., postcode). Moreover, sometimes it is important to obtain predictive inference in regular or irregular areal shapes that is misaligned with the observed spatial areal geographical boundary. For example, in a survey the respondents were asked about their postcode, however for policy making purposes, researchers are often interested to obtain information at the SA2. The statistical challenge is to obtain spatial prediction at the SA2s, where the SA2s may have overlapped geographical boundaries with postcodes. The study is motivated by a practical survey data obtained from the Australian National University (ANU) Poll. Here the main research question is to understand respondents' satisfaction level with the way Australia is heading. The data are observed at 1,944 postcodes among the 2,516 available postcodes across Australia, and prediction is obtained at the 2,196 SA2s. The proposed method also explored through a grid-based simulation study, where data have been observed in a regular grid and spatial prediction has been done in a regular grid that has a misaligned geographical boundary with the first regular grid-set. The real-life example with ANU Poll data addresses the situation of irregular geographical boundaries that are misaligned, i.e., model fitted with postcode data and hence obtained prediction at the SA2. A comparison study is also performed to validate the proposed method. In this paper, a Gaussian model is constructed under Bayesian hierarchy. The novelty lies in the development of the basis function that can address spatial sparsity and localised spatial structure. It can also address the large-dimensional spatial data modelling problem by constructing knot based reduced-dimensional basis functions.


title: Facets of Neutrino-Nucleus Interactions

abstract: Different approaches to the calculation of neutrino-nucleus cross sections are summarized. Potential impact of improving the nuclear physics input into neutrino interactions and cross section calculations on uncovering new physics is discussed using the example of reactor anomaly. Importance of a thorough understanding of neutrino interactions in astrophysics and cosmology is highlighted.


title: Vortex axisymmetrization, inviscid damping, and vorticity depletion in the linearized 2D Euler equations

abstract: Coherent vortices are often observed to persist for long times in turbulent 2D flows even at very high Reynolds numbers and are observed in experiments and computer simulations to potentially be asymptotically stable in a weak sense for the 2D Euler equations. We consider the incompressible 2D Euler equations linearized around a radially symmetric, strictly monotone decreasing vorticity distribution. For sufficiently regular data, we prove the inviscid damping of the $\theta$-dependent radial and angular velocity fields with the optimal rates $\|u^r(t)\| \lesssim \langle t \rangle^{-1}$ and $\|u^\theta(t)\| \lesssim \langle t \rangle^{-2}$ in the appropriate radially weighted $L^2$ spaces. We moreover prove that the vorticity weakly converges back to radial symmetry as $t \rightarrow \infty$, a phenomenon known as vortex axisymmetrization in the physics literature, and characterize the dynamics in higher Sobolev spaces. Furthermore, we prove that the $\theta$-dependent angular Fourier modes in the vorticity are ejected from the origin as $t \to \infty$, resulting in faster inviscid damping rates than those possible with passive scalar evolution. This non-local effect is called vorticity depletion. Our work appears to be the first to find vorticity depletion relevant for the dynamics of vortices.

categories: math.AP physics.ao-ph physics.flu-dyn physics.plasm-ph


title: An Inexact Primal-Dual Smoothing Framework for Large-Scale Non-Bilinear Saddle Point Problems

abstract: We develop an inexact primal-dual first-order smoothing framework to solve a class of non-bilinear saddle point problems with primal strong convexity. Compared with existing methods, our framework yields a significant improvement over the primal oracle complexity, while it has competitive dual oracle complexity. In addition, we consider the situation where the primal-dual coupling term has a large number of component functions. To efficiently handle this situation, we develop a randomized version of our smoothing framework, which allows the primal and dual sub-problems in each iteration to be inexactly solved by randomized algorithms in expectation. The convergence of this framework is analyzed both in expectation and with high probability. In terms of the primal and dual oracle complexities, this framework significantly improves over its deterministic counterpart. As an important application, we adapt both frameworks for solving convex optimization problems with many functional constraints. To obtain an $\varepsilon$-optimal and $\varepsilon$-feasible solution, both frameworks achieve the best-known oracle complexities.


title: Cartesian Fibrations and Representability

abstract: We use the complete Segal approach to the theory of Cartesian fibrations to define and study representable Cartesian fibrations, generalizing representable right fibrations which have played a key role in $\infty$-category theory. In particular, we give a construction of representable Cartesian fibrations using over-categories and prove the Yoneda lemma for representable Cartesian fibration, which generalizes the established Yoneda lemma for right fibrations. We then use the theory of Cartesian fibrations to study complete Segal objects internal to an $\infty$-category. Concretely, we prove the {\it fundamental theorem of complete Segal objects}, which characterizes equivalences of complete Segal objects. Finally we give two application of the results. First, we present a method to construct Segal objects and second we study the representability of the universal coCartesian fibration.


title: Giant anisotropic magnetoresistance and planar Hall effect in the Dirac semimetal Cd3As2

abstract: Anisotropic magnetoresistance is the change tendency of resistance of a material on the mutual orientation of the electric current and the external magnetic field. Here, we report experimental observations in the Dirac semimetal Cd3As2 of giant anisotropic magnetoresistance and its transverse version, called the planar Hall effect. The relative anisotropic magnetoresistance is negative and up to -68% at 2 K and 10 T. The high anisotropy and the minus sign in this isotropic and nonmagnetic material are attributed to a field-dependent current along the magnetic field, which may be induced by the Berry curvature of the band structure. This observation not only reveals unusual physical phenomena in Weyl and Dirac semimetals, but also finds additional transport signatures of Weyl and Dirac fermions other than negative magnetoresistance.


title: Thermodynamic Studies of \b{eta}-Ga2O3 Nanomembrane Field-Effect Transistors on a Sapphire Substrate

abstract: The self-heating effect is a severe issue for high-power semiconductor devices, which degrades the electron mobility and saturation velocity, and also affects the device reliability. On applying an ultrafast and high-resolution thermoreflectance imaging technique, the direct self-heating effect and surface temperature increase phenomenon are observed on novel top-gate \b{eta}-Ga2O3 on insulator field-effect transistors. Here, we demonstrate that by utilizing a higher thermal conductivity sapphire substrate rather than a SiO2/Si substrate, the temperature rise above room temperature of \b{eta}-Ga2O3 on the insulator field-effect transistor can be reduced by a factor of 3 and thereby the self-heating effect is significantly reduced. Both thermoreflectance characterization and simulation verify that the thermal resistance on the sapphire substrate is less than 1/3 of that on the SiO2/Si substrate. Therefore, maximum drain current density of 535 mA/mm is achieved on the sapphire substrate, which is 70% higher than that on the SiO2/Si substrate due to reduced self-heating. Integration of \b{eta}-Ga2O3 channel on a higher thermal conductivity substrate opens a new route to address the low thermal conductivity issue of \b{eta}-Ga2O3 for power electronics applications.


title: Cavity Mediated Collective Spin Exchange Interactions in a Strontium Superradiant Laser

abstract: Laser cooled and quantum degenerate atoms are widely being pursued as quantum simulators that may explain the behavior of strongly correlated material systems, and as the basis of today's most precise sensors. A key challenge towards these goals is to understand and control coherent interactions between the atoms. Here, we observe long-range exchange interactions mediated by an optical cavity, which manifest as tunable spin-spin interactions on the pseudo spin-1/2 system composed of the millihertz linewidth clock transition in strontium. We observe the so-called one axis twisting dynamics, the emergence of a many-body energy gap, and signatures of gap protection of the optical coherence against certain sources of decoherence. These effects manifest in the output of a pulsed, superradiant laser operating on the millihertz linewidth transition. Our observations will aid in the future design of versatile quantum simulators that take advantage of the unique control and probing capabilities of cavity QED and the rich internal structure of long-lived Sr atoms. They also open a route for the next generation of atomic clocks that utilize quantum correlations for enhanced metrology.


title: Breast density classification with deep convolutional neural networks

abstract: Breast density classification is an essential part of breast cancer screening. Although a lot of prior work considered this problem as a task for learning algorithms, to our knowledge, all of them used small and not clinically realistic data both for training and evaluation of their models. In this work, we explore the limits of this task with a data set coming from over 200,000 breast cancer screening exams. We use this data to train and evaluate a strong convolutional neural network classifier. In a reader study, we find that our model can perform this task comparably to a human expert.


title: CLUBB-SILHS: A parameterization of subgrid variability in the atmosphere

abstract: This document provides a detailed overview of the CLUBB-SILHS cloud and turbulence parameterization, including theoretical background, model equations, closure assumptions, simulation results, comparison with other parameterization methods, FAQs, and source code documentation.


title: Communicative Capital for Prosthetic Agents

abstract: This work presents an overarching perspective on the role that machine intelligence can play in enhancing human abilities, especially those that have been diminished due to injury or illness. As a primary contribution, we develop the hypothesis that assistive devices, and specifically artificial arms and hands, can and should be viewed as agents in order for us to most effectively improve their collaboration with their human users. We believe that increased agency will enable more powerful interactions between human users and next generation prosthetic devices, especially when the sensorimotor space of the prosthetic technology greatly exceeds the conventional control and communication channels available to a prosthetic user. To more concretely examine an agency-based view on prosthetic devices, we propose a new schema for interpreting the capacity of a human-machine collaboration as a function of both the human's and machine's degrees of agency. We then introduce the idea of communicative capital as a way of thinking about the communication resources developed by a human and a machine during their ongoing interaction. Using this schema of agency and capacity, we examine the benefits and disadvantages of increasing the agency of a prosthetic limb. To do so, we present an analysis of examples from the literature where building communicative capital has enabled a progression of fruitful, task-directed interactions between prostheses and their human users. We then describe further work that is needed to concretely evaluate the hypothesis that prostheses are best thought of as agents. The agent-based viewpoint developed in this article significantly extends current thinking on how best to support the natural, functional use of increasingly complex prosthetic enhancements, and opens the door for more powerful interactions between humans and their assistive technologies.


title: Egocentric Hand Detection Via Dynamic Region Growing

abstract: Egocentric videos, which mainly record the activities carried out by the users of the wearable cameras, have drawn much research attentions in recent years. Due to its lengthy content, a large number of ego-related applications have been developed to abstract the captured videos. As the users are accustomed to interacting with the target objects using their own hands while their hands usually appear within their visual fields during the interaction, an egocentric hand detection step is involved in tasks like gesture recognition, action recognition and social interaction understanding. In this work, we propose a dynamic region growing approach for hand region detection in egocentric videos, by jointly considering hand-related motion and egocentric cues. We first determine seed regions that most likely belong to the hand, by analyzing the motion patterns across successive frames. The hand regions can then be located by extending from the seed regions, according to the scores computed for the adjacent superpixels. These scores are derived from four egocentric cues: contrast, location, position consistency and appearance continuity. We discuss how to apply the proposed method in real-life scenarios, where multiple hands irregularly appear and disappear from the videos. Experimental results on public datasets show that the proposed method achieves superior performance compared with the state-of-the-art methods, especially in complicated scenarios.


title: Self-Supervised Intrinsic Image Decomposition

abstract: Intrinsic decomposition from a single image is a highly challenging task, due to its inherent ambiguity and the scarcity of training data. In contrast to traditional fully supervised learning approaches, in this paper we propose learning intrinsic image decomposition by explaining the input image. Our model, the Rendered Intrinsics Network (RIN), joins together an image decomposition pipeline, which predicts reflectance, shape, and lighting conditions given a single image, with a recombination function, a learned shading model used to recompose the original input based off of intrinsic image predictions. Our network can then use unsupervised reconstruction error as an additional signal to improve its intermediate representations. This allows large-scale unlabeled data to be useful during training, and also enables transferring learned knowledge to images of unseen object categories, lighting conditions, and shapes. Extensive experiments demonstrate that our method performs well on both intrinsic image decomposition and knowledge transfer.


title: Quantum Spin Liquid with Even Ising Gauge Field Structure on Kagome Lattice

abstract: Employing large-scale quantum Monte Carlo simulations, we study the extended $XXZ$ model on the kagome lattice. A $\mathbb Z_2$ quantum spin liquid phase with effective even Ising gauge field structure emerges from the delicate balance among three symmetry-breaking phases including stripe solid, staggered solid and ferromagnet. This $\mathbb{Z}_2$ spin liquid is stabilized by an extended interaction related to the Rokhsar-Kivelson potential in the quantum dimer model limit. The phase transitions from the staggered solid to a spin liquid or ferromagnet are found to be first order and so is the transition between the stripe solid and ferromagnet. However, the transition between a spin liquid and ferromagnet is found to be continuous and belongs to the 3D $XY^*$ universality class associated with the condensation of spinons. The transition between a spin liquid and stripe solid appears to be continuous and associated with the condensation of visons.


title: Revisiting quantum decoherence for neutrino oscillations in constant matter density

abstract: We re-examine the matter neutrino oscillation probabilities considering the decoherence phenomenon as a sub-leading effect. In this paper we point out the relevance of having the correct interpretation of the decoherence matrix in the different quantum bases, within the framework of neutrino oscillation probabilities in matter. Based on this treatment we develop an analytical formula for matter neutrino oscillation probabilities for three generations, with a range of application up to the decoherence parameter $\Gamma \sim 10^{-23}$ GeV. We observe that, due to decoherence, the amplitudes of the neutrino/antineutrino oscillation probabilities increase in an energy independent way. We also find that decoherence can reduce the absolute value of the CP asymmetry, relative to its value at the pure oscillation case. As a side effect we have found a degeneracy between the decoherence parameter $\Gamma$ and the CP violation phase $\delta$.