title: Ising versus Potts criticality in a low-temperature magnetothermodynamics of a frustrated spin-1/2 Heisenberg triangular bilayer

abstract: Low-temperature magnetization curves and thermodynamics of a frustrated spin-1/2 Heisenberg triangular bilayer with the antiferromagnetic intradimer interaction and either ferromagnetic or antiferromagnetic interdimer interaction are investigated in a highly frustrated parameter region, where localized many-magnon eigenstates provide the most dominant contribution to magnetothermodynamics. Low-energy states of the highly frustrated spin-1/2 Heisenberg triangular bilayer can be accordingly found from a mapping correspondence with an effective triangular-lattice spin-1/2 Ising model in a field. A description based on the effective Ising model implies that the frustrated Heisenberg triangular bilayer with the ferromagnetic interdimer coupling displays in a zero-temperature magnetization curve discontinuous magnetization jump, which is reduced upon increasing of temperature until a continuous field-driven phase transition from the Ising universality class is reached at a certain critical temperature. The frustrated Heisenberg triangular bilayer with the antiferromagnetic interdimer coupling contrarily exhibits multistep magnetization curve with intermediate plateaus at one-third and two-thirds of the saturation magnetization, whereas discontinuous magnetization jumps observable at zero temperature change to continuous field-driven phase transitions from the universality class of three-state Potts model at sufficiently low temperatures. Exact results and Monte Carlo simulations of the effective Ising model are confronted with full exact diagonalization data for the Heisenberg triangular bilayer in order to corroborate these findings.


title: Dynamics and eigenvalues in dimension zero

abstract: Let $X$ be a compact, metric and totally disconnected space and let $f:X\to X$ be a continuos map. We relate the eigenvalues of $f_{*}:\check{H}_{0}(X;\mathbb{C})\to\check{H}_{0}(X;\mathbb{C})$ to dynamical properties of $f$, roughly showing that if the dynamics is complicated then every complex number of modulus different from 0,1 is an eigenvalue. This stands in contrast with the classical Manning's inequality.


title: Transforming the Canada France Hawaii Telescope (CFHT) into the Maunakea Spectroscopic Explorer (MSE): A Conceptual Observatory Building and Facilities Design

abstract: The Canada France Hawaii Telescope Corporation (CFHT) plans to repurpose its observatory on the summit of Maunakea and operate a new wide field spectroscopic survey telescope, the Maunakea Spectroscopic Explorer (MSE). MSE will upgrade the observatory with a larger 11.25m aperture telescope and equip it with dedicated instrumentation to capitalize on the site, which has some of the best seeing in the northern hemisphere, and offer its user community the ability to do transformative science. The knowledge and experience of the current CFHT staff will contribute greatly to the engineering of this new facility. MSE will reuse the same building and telescope pier as CFHT. However, it will be necessary to upgrade the support pier to accommodate a bigger telescope and replace the current dome since a wider slit opening of 12.5 meters in diameter is needed. Once the project is completed the new facility will be almost indistinguishable on the outside from the current CFHT observatory. MSE will build upon CFHT's pioneering work in remote operations, with no staff at the observatory during the night, and use modern technologies to reduce daytime maintenance work. This paper describes the design approach for redeveloping the CFHT facility for MSE including the infrastructure and equipment considerations required to support and facilitate nighttime observations. The building will be designed so existing equipment and infrastructure can be reused wherever possible while meeting new requirement demands. Past experience and lessons learned will be used to create a modern, optimized, and logical layout of the facility. The purpose of this paper is to provide information to readers involved in the MSE project or organizations involved with the redevelopment of an existing observatory facility for a new mission.


title: Metrological advantage at finite temperature for Gaussian phase estimation

abstract: In the context of phase estimation with Gaussian states, we introduce a quantifiable definition of metrological advantage that takes into account thermal noise in the preparation procedure. For a broad set of states, \textit{isotropic non-pure Gaussian states}, we show that squeezing is not only necessary, but sufficient, to achieve metrological advantage. We interpret our results in the framework of resource theory, and discuss possible sources of advantage other than squeezing. Our work is a step towards using phase estimation with pure and mixed state to define and quantify nonclassicality. This work is complementary with studies that defines nonclassicality using quadrature displacement estimation.


title: A Fast, Principled Working Set Algorithm for Exploiting Piecewise Linear Structure in Convex Problems

abstract: By reducing optimization to a sequence of smaller subproblems, working set algorithms achieve fast convergence times for many machine learning problems. Despite such performance, working set implementations often resort to heuristics to determine subproblem size, makeup, and stopping criteria. We propose BlitzWS, a working set algorithm with useful theoretical guarantees. Our theory relates subproblem size and stopping criteria to the amount of progress during each iteration. This result motivates strategies for optimizing algorithmic parameters and discarding irrelevant components as BlitzWS progresses toward a solution. BlitzWS applies to many convex problems, including training L1-regularized models and support vector machines. We showcase this versatility with empirical comparisons, which demonstrate BlitzWS is indeed a fast algorithm.


title: Scale-dependent (2+1) - dimensional electrically charged black holes in Einstein-power-Maxwell theory

abstract: In this work we extend and generalize our previous work on the scale dependence at the level of the effective action of black holes in the presence of non-linear electrodynamics. In particular, we consider the Einstein-power-Maxwell theory without a cosmological constant in (2+1) dimensions, assuming a scale dependence of both the gravitational and the electromagnetic coupling and we investigate in detail how the scale--dependent scenario affects the horizon and thermodynamic properties of the classical black holes for any value of the power parameter. In addition, we solve the corresponding effective field equations imposing the "null energy condition" in order to obtain analytical solutions. The implications of quantum corrections are also briefly discussed.


title: Baidu Apollo EM Motion Planner

abstract: In this manuscript, we introduce a real-time motion planning system based on the Baidu Apollo (open source) autonomous driving platform. The developed system aims to address the industrial level-4 motion planning problem while considering safety, comfort and scalability. The system covers multilane and single-lane autonomous driving in a hierarchical manner: (1) The top layer of the system is a multilane strategy that handles lane-change scenarios by comparing lane-level trajectories computed in parallel. (2) Inside the lane-level trajectory generator, it iteratively solves path and speed optimization based on a Frenet frame. (3) For path and speed optimization, a combination of dynamic programming and spline-based quadratic programming is proposed to construct a scalable and easy-to-tune framework to handle traffic rules, obstacle decisions and smoothness simultaneously. The planner is scalable to both highway and lower-speed city driving scenarios. We also demonstrate the algorithm through scenario illustrations and on-road test results. The system described in this manuscript has been deployed to dozens of Baidu Apollo autonomous driving vehicles since Apollo v1.5 was announced in September 2017. As of May 16th, 2018, the system has been tested under 3,380 hours and approximately 68,000 kilometers (42,253 miles) of closed-loop autonomous driving under various urban scenarios. The algorithm described in this manuscript is available at https://github.com/ApolloAuto/apollo/tree/master/modules/planning.


title: Angular Momentum Loss for a Binary System in Einstein-{\AE}ther Theory

abstract: The recent gravitational wave observations provide insight into the extreme gravity regime of coalescing binaries, where gravity is strong, dynamical and non-linear. The interpretation of these observations relies on the comparison of the data to a gravitational wave model, which in turn depends on the orbital evolution of the binary, and in particular on its orbital energy and angular momentum decay. In this paper, we calculate the latter in the inspiral of a non-spinning compact binary system within Einstein-\AE{}ther theory. From the theory's gravitational wave stress energy tensor and a balance law, we compute the angular momentum decay both as a function of the fields in the theory and as a function of the multipole moments of the binary. We then specialize to a Keplerian parameterization of the orbit to express the angular momentum decay as a function of the binary's orbital elements. We conclude by combining this with the orbital energy decay to find expressions for the decay of the semi-major axis and the orbital eccentricity of the binary. We find that these rates of decay are typically faster in Einstein-\AE{}ther theory than in General Relativity due to the presence of dipole radiation. Such modifications will imprint onto the chirp rate of gravitational waves, leaving a signature of Einstein-\AE{}ther theory that if absent in the data could be used to stringently constrain it.


title: Condensed-matter analogs of the Sauter--Schwinger effect

abstract: The Sauter--Schwinger effect predicts the creation of electron--positron pairs from the vacuum due to a quasiconstant electric field $E_{\mathrm{strong}}$. The pair-creation yield can be exponentially enhanced without destroying the tunneling-like nature of this mechanism by adding a weaker temporal Sauter pulse $E_{\mathrm{weak}}/\cosh^{2}(\omega t)$ with $\omega$ above a certain threshold $\omega_{\mathrm{crit}}$. In this original form of the so-called dynamically assisted Sauter--Schwinger effect, $\omega_{\mathrm{crit}}$ is independent of $E_{\mathrm{weak}}\ll E_{\mathrm{strong}}$. Via the semiclassical solution (contour integral) of the Riccati equation in 1+1 spacetime dimensions, we find that a Gaussian-shaped pulse $E_{\mathrm{weak}}\exp[-(\omega t)^{2}]$ assists tunneling in a similar way but with $\omega_{\mathrm{crit}}$ depending on $E_{\mathrm{weak}}$. This remarkable sensitivity to the pulse shape arises due to the different pole structures of the vector potentials for complex times. We also study dynamical assistance by an oscillation $E_{\mathrm{weak}}\cos(\omega t)$ as a model for counterpropagating laser beams and find another dependence $\omega_{\mathrm{crit}}(E_{\mathrm{weak}})$. The largeness of the Schwinger limit $E_{\mathrm{crit}}^{\mathrm{QED}}\approx 10^{18}\,\mathrm{V/m}$ has rendered the observation of this nonperturbative pair-creation mechanism impossible so far. In order to facilitate a better understanding of this effect and its dynamical assistance via experiments, we propose an analog of the many-body Dirac Hamiltonian in direct-bandgap semiconductors. The nonrelativistic Bloch-electron Hamiltonian is restricted to the valence and conduction bands in reciprocal space, which correspond to the two relativistic energy continua. Similar models have been considered before---but mainly for constant external fields. [...]


title: Automatic Proof of Theta-Function Identities

abstract: This is a tutorial for using two new MAPLE packages, thetaids and ramarobinsids. The thetaids package is designed for proving generalized eta-product identities using the valence formula for modular functions. We show how this package can be used to find theta-function identities as well as prove them. As an application, we show how to find and prove Ramanujan's 40 identities for his so called Rogers-Ramanujan functions G(q) and H(q). In his thesis Robins found similar identities for higher level generalized eta-products. Our ramarobinsids package is for finding and proving identities for generalizations of Ramanujan's G(q) and H(q) and Robin's extensions. These generalizations are associated with certain real Dirichlet characters. We find a total of over 150 identities.


title: Factorization patterns on nonlinear families of univariate polynomials over a finite field

abstract: We estimate the number $|\mathcal{A}_{\boldsymbol\lambda}|$ of elements on a nonlinear family $\mathcal{A}$ of monic polynomials of $\mathbb{F}_q[T]$ of degree $r$ having factorization pattern $\boldsymbol\lambda:=1^{\lambda_1}2^{\lambda_2}\cdots r^{\lambda_r}$. We show that $|\mathcal{A}_{\boldsymbol\lambda}|= \mathcal{T}(\boldsymbol\lambda)\,q^{r-m}+\mathcal{O}(q^{r-m-{1}/{2}})$, where $\mathcal{T}(\boldsymbol\lambda)$ is the proportion of elements of the symmetric group of $r$ elements with cycle pattern $\boldsymbol\lambda$ and $m$ is the codimension of $\mathcal{A}$. We provide explicit upper bounds for the constants underlying the $\mathcal{O}$--notation in terms of $\boldsymbol\lambda$ and $\mathcal{A}$ with "good" behavior. We also apply these results to analyze the average--case complexity of the classical factorization algorithm restricted to $\mathcal{A}$, showing that it behaves as good as in the general case.


title: Origin-equivalence of two-way word transducers is in PSPACE

abstract: We consider equivalence and containment problems for word transductions. These problems are known to be undecidable when the transductions are relations between words realized by non-deterministic transducers, and become decidable when restricting to functions from words to words. Here we prove that decidability can be equally recovered by adopting a slightly different, but natural semantics, called origin semantics and introduced by Bojanczyk in 2014. Specifically, we prove that the equivalence and containment problems for two-way word transducers in the origin semantics are PSPACE-complete. We also consider a variant of the containment problem where two-way transducers are compared under the origin semantics, but in a more relaxed way, by allowing distortions of the origins. The possible distortions are described by means of a resynchronization relation. We propose a logical formalism for describing a broad class of resynchronizations, while preserving the decidability of the variant of the containment problem.


title: A Flux-Balanced Fluid Model for Collisional Plasma Edge Turbulence: Model Derivation and Basic Physical Features

abstract: We propose a new reduced fluid model for the study of the drift wave -- zonal flow dynamics in magnetically confined plasmas. Our model can be viewed as an extension of the classic Hasegawa-Wakatani (HW) model, and is based on an improved treatment of the electron dynamics parallel to the field lines, to guarantee a balanced electron flux on the magnetic surfaces. Our flux-balanced HW (bHW) model contains the same drift-wave instability as previous HW models, but unlike these models, it converges exactly to the modified Hasegawa-Mima model in the collisionless limit. We rely on direct numerical simulations to illustrate some of the key features of the bHW model, such as the enhanced variability in the turbulent fluctuations, and the existence of stronger and more turbulent zonal jets than the jets observed in other HW models, especially for high plasma resistivity. Our simulations also highlight the crucial role of the feedback of the third-order statistical moments in achieving a statistical equilibrium with strong zonal structures. Finally, we investigate the changes in the observed dynamics when more general dissipation effects are included, and in particular when we include the reduced model for ion Landau damping originally proposed by Wakatani and Hasegawa.


title: The growth of metastable fcc Fe78Ni22 thin films on H-Si(100) substrates suitable for focused ion beam direct magnetic patterning

abstract: We have studied the growth of metastable face-centered-cubic, non-magnetic Fe78Ni22 thin films on silicon substrates. These films undergo a magnetic (paramagnetic to ferromagnetic) and structural (fcc to bcc) phase transformation upon ion beam irradiation and thus can serve as a template for direct writing of magnetic nanostructures by the focused ion beam. So far, these films were prepared only on single crystal Cu(100) substrates. We show that transformable Fe78Ni22 thin films can also be prepared on a hydrogen-terminated Si(100) with a 130-nm-thick Cu(100) buffer layer. The H-Si(100) substrates can be prepared by hydrofluoric acid etching or by annealing at 1200{\deg}C followed by adsorption of atomic hydrogen. The Cu(100) buffer layer and Fe78Ni22 fcc metastable thin film were deposited by thermal evaporation in an ultra-high vacuum. The films were consequently transformed in-situ by 4keV Ar+ ion irradiation and ex-situ by a 30 keV Ga+ focused ion beam, and their magnetic properties were studied by magneto-optical Kerr effect magnetometry. The substitution of expensive copper single crystal substrate by standard silicon wafers dramatically expands application possibilities of metastable paramagnetic thin films for focused ion beam direct magnetic patterning.


title: Chimera states in quantum mechanics

abstract: Classical chimera states are paradigmatic examples of partial synchronization patterns emerging in nonlinear dynamics. These states are characterized by the spatial coexistence of two dramatically different dynamical behaviors, i.e., synchronized and desynchronized dynamics. Our aim in this contribution is to discuss signatures of chimera states in quantum mechanics. We study a network with a ring topology consisting of N coupled quantum Van der Pol oscillators. We describe the emergence of chimera-like quantum correlations in the covariance matrix. Further, we establish the connection of chimera states to quantum information theory by describing the quantum mutual information for a bipartite state of the network.

categories: quant-ph cond-mat.dis-nn cond-mat.stat-mech nlin.CD nlin.PS


title: Affordable Mobile-based Simulator for Robotic Surgery

abstract: Robotic surgery and novel surgical instrumentation present great potentials towards safer, more accurate and consistent minimally invasive surgery. However, their adoption is dependent to the access to training facilities and extensive surgical training. Robotic instruments require different dexterity skills compared to open or laparoscopic. Surgeons, therefore, are required to invest significant time by attending extensive training programs. Contrary, hands on experiences represent an additional operational cost for hospitals as the availability of robotic systems for training purposes is limited. All these technological and financial barriers for surgeons and hospitals hinder the adoption of robotic surgery. In this paper, we present a mobile dexterity training kit to develop basic surgical techniques within an affordable setting. The system could be used to train basic surgical gestures and to develop the motor skills needed for manoeuvring robotic instruments. Our work presents the architecture and components needed to create a simulated environment for training sub-tasks as well as a design for portable mobile manipulators that can be used as master controllers of different instruments. A preliminary study results demonstrate usability and skills development with this system.


title: Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning

abstract: We demonstrate how to learn efficient heuristics for automated reasoning algorithms for quantified Boolean formulas through deep reinforcement learning. We focus on a backtracking search algorithm, which can already solve formulas of impressive size - up to hundreds of thousands of variables. The main challenge is to find a representation of these formulas that lends itself to making predictions in a scalable way. For a family of challenging problems, we learned a heuristic that solves significantly more formulas compared to the existing handwritten heuristics.


title: An Improved Laboratory-Based XAFS and XES Spectrometer for Analytical Applications in Materials Chemistry Research

abstract: X-ray absorption fine structure (XAFS) and x-ray emission spectroscopy (XES) are advanced x-ray spectroscopies that impact a wide range of disciplines. However, unlike the majority of other spectroscopic methods, XAFS and XES are accompanied by an unusual access model, wherein; the dominant use of the technique is for premier research studies at world-class facilities, i.e., synchrotron x-ray light sources. In this paper we report the design and performance of an improved spectrometer XAFS and XES based on the general conceptual design of Seidler, et al., Rev. Sci. Instrum. 2014. New developments include reduced mechanical degrees of freedom, much-increased flux, and a wider Bragg angle range to enable extended x-ray absorption fine structure (EXAFS) for the first time with this type of modern laboratory XAFS configuration. This instrument enables a new class of routine applications that are incompatible with the mission and access model of the synchrotron light sources. To illustrate this, we provide numerous examples of x-ray absorption near edge structure (XANES), EXAFS, and XES results for a variety of problems and energy ranges. Highlights include XAFS and XES measurements of battery electrode materials, EXAFS of Ni and V with full modeling of results to validate monochromator performance, valence-to-core XES for 3d transition metal compounds, and uranium XANES and XES for different oxidation states. Taken en masse, these results further support the growing perspective that modern laboratory-based XAFS and XES have the potential to develop a new branch of analytical chemistry.


title: Safe Option-Critic: Learning Safety in the Option-Critic Architecture

abstract: Designing hierarchical reinforcement learning algorithms that exhibit safe behaviour is not only vital for practical applications but also, facilitates a better understanding of an agent's decisions. We tackle this problem in the options framework, a particular way to specify temporally abstract actions which allow an agent to use sub-policies with start and end conditions. We consider a behaviour as safe that avoids regions of state-space with high uncertainty in the outcomes of actions. We propose an optimization objective that learns safe options by encouraging the agent to visit states with higher behavioural consistency. The proposed objective results in a trade-off between maximizing the standard expected return and minimizing the effect of model uncertainty in the return. We propose a policy gradient algorithm to optimize the constrained objective function. We examine the quantitative and qualitative behaviour of the proposed approach in a tabular grid-world, continuous-state puddle-world, and three games from the Arcade Learning Environment: Ms.Pacman, Amidar, and Q*Bert. Our approach achieves a reduction in the variance of return, boosts performance in environments with intrinsic variability in the reward structure, and compares favorably both with primitive actions as well as with risk-neutral options.


title: A Line in the Sand: Recommendation or Ad-hoc Retrieval?

abstract: The popular approaches to recommendation and ad-hoc retrieval tasks are largely distinct in the literature. In this work, we argue that many recommendation problems can also be cast as ad-hoc retrieval tasks. To demonstrate this, we build a solution for the RecSys 2018 Spotify challenge by combining standard ad-hoc retrieval models and using popular retrieval tools sets. We draw a parallel between the playlist continuation task and the task of finding good expansion terms for queries in ad-hoc retrieval, and show that standard pseudo-relevance feedback can be effective as a collaborative filtering approach. We also use ad-hoc retrieval for content-based recommendation by treating the input playlist title as a query and associating all candidate tracks with meta-descriptions extracted from the background data. The recommendations from these two approaches are further supplemented by a nearest neighbor search based on track embeddings learned by a popular neural model. Our final ranked list of recommendations is produced by a learning to rank model. Our proposed solution using ad-hoc retrieval models achieved a competitive performance on the music recommendation task at RecSys 2018 challenge---finishing at rank 7 out of 112 participating teams and at rank 5 out of 31 teams for the main and the creative tracks, respectively.


title: Transition amplitude, partition function and the role of physical degrees of freedom in gauge theories

abstract: This work explores the quantum dynamics of the interaction between scalar (matter) and vectorial (intermediate) particles and studies their thermodynamic equilibrium in the grand-canonical ensemble. The aim of the article is to clarify the connection between the physical degrees of freedom of a theory in both the quantization process and the description of the thermodynamic equilibrium, in which we see an intimate connection between physical degrees of freedom, Gibbs free energy and the equipartition theorem. We have split the work into two sections. First, we analyze the quantum interaction in the context of the generalized scalar Duffin-Kemmer-Petiau quantum electrodynamics (GSDKP) by using the functional formalism. We build the Hamiltonian structure following the Dirac methodology, apply the Faddeev-Senjanovic procedure to obtain the transition amplitude in the generalized Coulomb gauge and, finally, use the Faddeev-Popov-DeWitt method to write the amplitude in covariant form in the no-mixing gauge. Subsequently, we exclusively use the Matsubara-Fradkin (MF) formalism in order to describe fields in thermodynamical equilibrium. The corresponding equations in thermodynamic equilibrium for the scalar, vectorial and ghost sectors are explicitly constructed from which the extraction of the partition function is straightforward. It is in the construction of the vectorial sector that the emergence and importance of the ghost fields are revealed: they eliminate the extra non-physical degrees of freedom of the vectorial sector thus maintaining the physical degrees of freedom.


title: Nature of Intrinsic Uncertainties in Equilibrium Molecular Dynamics Estimation of Shear Viscosity for Simple and Complex Fluids

abstract: We study two types of intrinsic uncertainties, statistical errors and system size effects, in estimating shear viscosity via equilibrium molecular dynamics simulations and compare them with the corresponding uncertainties in evaluating the self-diffusion coefficient. Uncertainty quantification formulas for the statistical errors in the shear-stress autocorrelation function and shear viscosity are obtained under the assumption that shear stress follows a Gaussian process. Analyses of simulation results for simple and complex fluids reveal that the Gaussianity is more pronounced in the shear-stress process (related to shear viscosity estimation) compared with the velocity process of an individual molecule (related to self-diffusion coefficient). At relatively high densities corresponding to a liquid state, we observe that the shear viscosity exhibits complex size-dependent behavior unless the system is larger than a certain length scale, beyond which reliable shear viscosity values are obtained without any noticeable scaling behavior with respect to the system size. We verify that this size-dependent behavior is configurational and relate the characteristic length scale to the shear-stress correlation length.


title: Modeling and Analysis of Cascading Failures in Interdependent Cyber-Physical Systems

abstract: Integrated cyber-physical systems (CPSs), such as the smart grid, are increasingly becoming the underpinning technology for major industries. A major concern regarding such systems are the seemingly unexpected large-scale failures, which are often attributed to a small initial shock getting escalated due to intricate dependencies within and across the individual counterparts of the system. In this paper, we develop a novel interdependent system model to capture this phenomenon, also known as cascading failures. Our framework consists of two networks that have inherently different characteristics governing their intra-dependency: i) a cyber-network where a node is functional as long as it belongs to the largest connected (i.e., giant) component; and ii) a physical network where nodes are given an initial flow and a capacity, and failure of a node results with redistribution of its flow to the remaining nodes, upon which further failures might take place due to overloading (i.e., the flow of a node exceeding its capacity). Furthermore, it is assumed that these two networks are inter-dependent. For simplicity, we consider a one-to-one interdependency model where every node in the cyber-network is dependent upon and supports a single node in the physical network, and vice versa. We provide a thorough analysis of the dynamics of cascading failures in this interdependent system initiated with a random attack. The system robustness is quantified as the surviving fraction of nodes at the end of cascading failures, and is derived in terms of all network parameters involved (e.g., degree distribution, load/capacity distribution, failure size, etc.). Analytic results are supported through an extensive numerical study. Among other things, these results demonstrate the ability of our model to capture the unexpected nature of large-scale failures and provide insights on improving system robustness.


title: Red-Blue-Partitioned MST, TSP, and Matching

abstract: Arkin et al.~\cite{ArkinBCCJKMM17} recently introduced \textit{partitioned pairs} network optimization problems: given a metric-weighted graph on $n$ pairs of nodes, the task is to color one node from each pair red and the other blue, and then to compute two separate \textit{network structures} or disjoint (node-covering) subgraphs of a specified sort, one on the graph induced by the red nodes and the other on the blue nodes. Three structures have been investigated by \cite{ArkinBCCJKMM17}---\textit{spanning trees}, \textit{traveling salesperson tours}, and \textit{perfect matchings}---and the three objectives to optimize for when computing such pairs of structures: \textit{min-sum}, \textit{min-max}, and \textit{bottleneck}. We provide improved approximation guarantees and/or strengthened hardness results for these nine NP-hard problem settings.


title: The fate of the bootstrap percolation hybrid critical point in finite dimension

abstract: Bootstrap, or $k$-core, percolation displays on the Bethe lattice a mixed first/second order phase transition with both a discontinuous order parameter and diverging critical fluctuations. I apply the recently introduced $M$-layer technique to study corrections to mean-field theory showing that at all orders in the loop expansion the problem is equivalent to a spinodal with quenched disorder. This implies that the mean-field hybrid transition does not survive in physical dimension. Nevertheless, its critical properties as an avoided transition, make it a proxy of the avoided Mode-Coupling-Theory critical point of supercooled liquids.


title: The suspension of a graph, and associated C*-algebras

abstract: Given a directed graph E, we construct for each real number l a quiver whose vertex space is the topological realisation of E, and whose edges are directed paths of length l in the vertex space. These quivers are not topological graphs in the sense of Katsura, nor topological quivers in the sense of Muhly and Tomforde. We prove that when l = 1 and E is finite, the infinite-path space of the associated quiver is homeomorphic to the suspension of the one-sided shift of E. We call this quiver the suspension of E. We associate both a Toeplitz algebra and a Cuntz-Krieger algebra to each of the quivers we have constructed, and show that when l = 1 the Cuntz-Krieger algebra admits a natural faithful representation on the \ell^2-space of the suspension of the one-sided shift of E. For graphs E in which sufficiently many vertices both emit and receive at least two edges, and for rational values of l, we show that the Toeplitz algebra and the Cuntz-Krieger algebra of the associated quiver are homotopy equivalent to the Toeplitz algebra and Cuntz-Krieger algebra respectively of a graph that can be regarded as encoding the l-th higher shift associated to the one-sided shift space of E.


title: Averaging principles for non-autonomous two-time-scale stochastic reaction-diffusion equations with jump

abstract: In this paper, we aim to develop the averaging principle for a slow-fast system of stochastic reaction-diffusion equations driven by Poisson random measures. The coefficients of the equation are assumed to be functions of time, and some of them are periodic or almost periodic. Therefore, the Poisson term needs to be processed, and a new averaged equation needs to be given. For this reason, the existence of time-dependent evolution family of measures associated with the fast equation is studied, and proved that it is almost periodic. Next, according to the characteristics of almost periodic functions, the averaged coefficient is defined by the evolution family of measures, and the averaged equation is given. Finally, the validity of the averaging principle is verified by using the Khasminskii method.


title: S3D: Single Shot multi-Span Detector via Fully 3D Convolutional Networks

abstract: In this paper, we present a novel Single Shot multi-Span Detector for temporal activity detection in long, untrimmed videos using a simple end-to-end fully three-dimensional convolutional (Conv3D) network. Our architecture, named S3D, encodes the entire video stream and discretizes the output space of temporal activity spans into a set of default spans over different temporal locations and scales. At prediction time, S3D predicts scores for the presence of activity categories in each default span and produces temporal adjustments relative to the span location to predict the precise activity duration. Unlike many state-of-the-art systems that require a separate proposal and classification stage, our S3D is intrinsically simple and dedicatedly designed for single-shot, end-to-end temporal activity detection. When evaluating on THUMOS'14 detection benchmark, S3D achieves state-of-the-art performance and is very efficient and can operate at 1271 FPS.


title: Mechanics of polymer brush based soft active materials -- theory and experiments

abstract: Brush-like structures emerge from stretching of long polymer chains, densely grafted on to the surface of an impermeable substrate. They arise due to the competition between conformational entropic elasticity of polymer chains and excluded volume interactions from the intra and interchain monomer repulsions. Recently, stimuli responsive polymer brush based soft materials have been developed to produce controllable and reversible large deformations of the host substrate. To understand these systems, and improve their functional properties, we study elastic stress distribution and surface stress-curvature relations of a neutral polymer brush grafted on to an elastic beam, made of a soft material. In the strongly stretched brush regime, we combine mean field theory from polymer physics with a continuum mechanics model and show that the residual stress variation is a quartic function of distance from the grafting surface, with maximum stress occurring at the grafted surface. Idealizing the brush as a continuum elastic surface layer with residual stress, we derive a closed form expression for surface stress and the surface elasticity of the layer as a function of brush parameters, such as graft density and molecular weight. The generalized continuum beam model accounts for the Young-Laplace and Ogden-Steigman curvature elasticity correction terms, and yields a surface stress-curvature relation, which contains existing relations in the literature as special cases. Further, we report experiments on a thermoresponsive random copolymer brush, Poly(N- isopropylacrylamide)-co-Poly(N,N-Dimethylacrylamide) (PNIPAm-co-PDMA) brush, grafted on one side of a plasticized pPVC thin film. Estimated surface stress from measured curvature is on the order of $-10~N/m$, and it decreases gradually, and reversibly, with increasing ambient temperature from $15~^\circ{}C$ to $55~^\circ{}C$.


title: Large-Scale-Fading Decoding in Cellular Massive MIMO Systems with Spatially Correlated Channels

abstract: Massive multiple-input--multiple-output (MIMO) systems can suffer from coherent intercell interference due to the phenomenon of pilot contamination. This paper investigates a two-layer decoding method that mitigates both coherent and non-coherent interference in multi-cell Massive MIMO. To this end, each base station (BS) first estimates the channels to intra-cell users using either minimum mean-squared error (MMSE) or element-wise MMSE (EW-MMSE) estimation based on uplink pilots. The estimates are used for local decoding on each BS followed by a second decoding layer where the BSs cooperate to mitigate inter-cell interference. An uplink achievable spectral efficiency (SE) expression is computed for arbitrary two-layer decoding schemes. A closed-form expression is then obtained for correlated Rayleigh fading, maximum-ratio combining, and the proposed large-scale fading decoding (LSFD) in the second layer. We also formulate a sum SE maximization problem with both the data power and LSFD vectors as optimization variables. Since this is an NP-hard problem, we develop a low-complexity algorithm based on the weighted MMSE approach to obtain a local optimum. The numerical results show that both data power control and LSFD improves the sum SE performance over single-layer decoding multi-cell Massive MIMO systems.


title: Substrate surface engineering for high-quality silicon/aluminum superconducting resonators

abstract: Quantum bits (qubits) with long coherence times are an important element for the implementation of medium- and large-scale quantum computers. In the case of superconducting planar qubits, understanding and improving qubits' quality can be achieved by studying superconducting planar resonators. In this Paper, we fabricate and characterize coplanar waveguide resonators made from aluminum thin films deposited on silicon substrates. We perform three different substrate treatments prior to aluminum deposition: One chemical treatment based on a hydrofluoric acid clean, one physical treatment consisting of a thermal annealing at 880 degree Celsius in high vacuum, one combined treatment comprising both the chemical and the physical treatments. We first characterize the fabricated samples through cross-sectional tunneling electron microscopy acquiring electron energy loss spectroscopy maps of the samples' cross sections. These measurements show that both the chemical and the physical treatments almost entirely remove native silicon oxide from the substrate surface and that their combination results in the cleanest interface. We then study the quality of the resonators by means of microwave measurements in the "quantum regime", i.e., at a temperature T~10 mK and at a mean microwave photon number $\langle n_{\textrm{ph}} \rangle \sim 1$. In this regime, we find that both surface treatments independently improve the resonator's intrinsic quality factor and that the highest quality factor is obtained for the combined treatment, $Q_{\textrm{i}} \sim 0.8$ million. Finally, we find that the TLS quality factor averaged over a time period of 3 h is $\sim 3$ million at $\langle n_{\textrm{ph}} \rangle \sim 10$, indicating that substrate surface engineering can potentially reduce the TLS loss below other losses such as quasiparticle and vortex loss.

categories: cond-mat.supr-con cond-mat.mes-hall cond-mat.mtrl-sci quant-ph


title: Dark matter search with the SABRE experiment

abstract: The SABRE (Sodium Iodide with Active Background Rejection) experiment will search for an annually modulating signal from dark matter particles in our Galaxy using an array of ultra-pure NaI(Tl) detectors surrounded by an active scintillator veto to further reduce their intrinsic background. The first phase of the experiment is the SABRE Proof of Principle (PoP), a single 5kg crystal detector operated in a liquid scintillator filled vessel at Laboratori Nazionali del Gran Sasso (LNGS). The PoP installation is underway with the goal of running in 2018 and performing the first in situ measurement of the crystal background and testing the veto efficiency, thus validating the SABRE concept. GEANT4--based Monte Carlo simulations have been developed to estimate the background in the PoP. The most recent simulation is based on measured or predicted radio-purity levels of the various detector components and includes detailed versions of the detector part geometries. The second phase of SABRE will be twin arrays of NaI(Tl) detectors operating at LNGS and at the Stawell Underground Physics Laboratory (SUPL) in Australia. By locating detectors in both hemispheres, SABRE will minimize seasonal systematic effects. In this work the SABRE PoP activities at LNGS and results from the most recent Monte Carlo simulations will be presented.


title: ScoutBot: A Dialogue System for Collaborative Navigation

abstract: ScoutBot is a dialogue interface to physical and simulated robots that supports collaborative exploration of environments. The demonstration will allow users to issue unconstrained spoken language commands to ScoutBot. ScoutBot will prompt for clarification if the user's instruction needs additional input. It is trained on human-robot dialogue collected from Wizard-of-Oz experiments, where robot responses were initiated by a human wizard in previous interactions. The demonstration will show a simulated ground robot (Clearpath Jackal) in a simulated environment supported by ROS (Robot Operating System).


title: Highly collimated electron acceleration by longitudinal laser fields in a hollow-core target

abstract: The substantial angular divergence of electron beams produced by direct laser acceleration is often considered as an inherent negative feature of the mechanism. The divergence however arises primarily because the standard approach relies on transverse electron oscillations and their interplay with the transverse electric fields of the laser pulse. We propose a conceptually different approach to direct laser acceleration that leverages longitudinal laser electric fields that are present in a tightly focused laser beam. A structured hollow-core target is used to enhance the longitudinal fields and maintain them over a distance much longer than the Rayleigh length by guiding the laser pulse. Electrons are injected by the transverse laser electric field into the channel and then they are accelerated forward by the pulse, creating an electron current. The forces from electric and magnetic fields of this electron population compensate each other, creating a favorable configuration without a strong restoring force. We use two-dimensional particle-in-cell simulations to demonstrate that a low divergence energetic electron beam with an opening angle of less than 5$^\circ$ can be generated in this configuration. Most of the energy is transferred to the electrons by the longitudinal laser electric field and, given a sufficient acceleration distance, super-ponderomotive energies can be realized without sacrificing the collimation.


title: Consequences and Factors of Stylistic Differences in Human-Robot Dialogue

abstract: This paper identifies stylistic differences in instruction-giving observed in a corpus of human-robot dialogue. Differences in verbosity and structure (i.e., single-intent vs. multi-intent instructions) arose naturally without restrictions or prior guidance on how users should speak with the robot. Different styles were found to produce different rates of miscommunication, and correlations were found between style differences and individual user variation, trust, and interaction experience with the robot. Understanding potential consequences and factors that influence style can inform design of dialogue systems that are robust to natural variation from human users.


title: A Pipeline for Creative Visual Storytelling

abstract: Computational visual storytelling produces a textual description of events and interpretations depicted in a sequence of images. These texts are made possible by advances and cross-disciplinary approaches in natural language processing, generation, and computer vision. We define a computational creative visual storytelling as one with the ability to alter the telling of a story along three aspects: to speak about different environments, to produce variations based on narrative goals, and to adapt the narrative to the audience. These aspects of creative storytelling and their effect on the narrative have yet to be explored in visual storytelling. This paper presents a pipeline of task-modules, Object Identification, Single-Image Inferencing, and Multi-Image Narration, that serve as a preliminary design for building a creative visual storyteller. We have piloted this design for a sequence of images in an annotation task. We present and analyze the collected corpus and describe plans towards automation.


title: Metric Violation Distance: Revisited and Extended

abstract: Metric data plays an important role in various settings such as metric-based indexing, clustering, classification, and approximation algorithms in general. Due to measurement error, noise, or an inability to completely gather all the data, a collection of distances may not satisfy the basic metric requirements, most notably the triangle inequality. Thus last year the authors introduced the Metric Violation Distance (MVD) problem, where the input is an undirected and positively-weighted complete graph, and the goal is to identify a minimum cardinality subset of edges whose weights can be modified such that the resulting graph is its own metric completion. This problem was shown to be APX-hard, and moreover an $O(OPT^{1/3})$-approximation was shown, where $OPT$ is the size of the optimal solution. In this paper we introduce the Generalized Metric Violation Distance (GMVD) problem, where the goal is the same, but the input graph is no longer required to be complete. For GMVD we prove stronger hardness results, and provide a significantly faster approximation algorithm with an improved approximation guarantee. In particular, we give an approximation-preserving reduction from the well studied MultiCut problem, which is hard to approximate within any constant factor assuming the Unique Games Conjecture. Our approximation factor depends on deficit values, which for a given cycle is the largest single edge weight minus the sum of the weights of all its other edges. Note that no cycle has positive deficit in a metric complete graph. We give an $O(c \log n)$-approximation algorithm for \gmvd, where $c$ is the number of distinct positive cycle deficit values in the input graph.


title: How to Build a Graph in n Days: Some Variants on Graph Assembly

abstract: In a recent article by M. Bona and A. Vince, the authors introduced the concept of an assembly tree for a graph. Assembly trees act as record keeping devices for the construction of a given graph from its vertices. In this paper we extend the work initiated by M. Bona and A. Vince as well as define and examine a more generalized definition of assembly tree.


title: Memory-induced transition from a persistent random walk to circular motion for achiral microswimmers

abstract: We experimentally study the motion of light-activated colloidal microswimmers in a viscoelastic fluid. We find that, in such a non-Newtonian environment, the active colloids undergo an unexpected transition from enhanced angular diffusion to persistent rotational motion above a critical propulsion speed, despite their spherical shape and stiffness. We observe that, in contrast to chiral asymmetric microswimmers, the resulting circular orbits can spontaneously reverse their sense of rotation and exhibit an angular velocity and a radius of curvature that non-linearly depend on the propulsion speed. By means of a minimal non-Markovian Langevin model for active Brownian motion, we show that these non-equilibrium effects emerge from the delayed response of the fluid with respect to the self-propulsion of the particle without counterpart in Newtonian fluids.


title: Optimal Dividend of Compound Poisson Process under a Stochastic Interest Rate

abstract: In this paper we assume the insurance wealth process is driven by the compound Poisson process. The discounting factor is modelled as a geometric Brownian motion at first and then as an exponential function of an integrated Ornstein-Uhlenbeck process. The objective is to maximize the cumulated value of expected discounted dividends up to the time of ruin. We give an explicit expression of the value function and the optimal strategy in the case of interest rate following a geometric Brownian motion. For the case of the Vasicek model, we explore some properties of the value function. Since we can not find an explicit expression for the value function in the second case, we prove that the value function is the viscosity solution of the corresponding HJB equation.


title: Free products of circularly-ordered groups with amalgamated subgroup

abstract: This paper gives necessary and sufficient conditions that the free product with amalgamation of circularly-ordered groups admit a circular ordering extending the given orderings of the factors. Our result follows from establishing a categorical framework that allows the problem to be restated in terms of amalgamating certain left-ordered central extensions, where we are able to apply work of Bludov and Glass.


title: Massive dual gauge field and confinement in Minkowski space : Magnetic charge

abstract: Gauge field configuration for a magnetic monopole and its dual configuration are studied in SU(2) gauge theory. We present a relation between the monopole field and its dual field. Since these fields can become massive, their massive Lagrangians are derived. In the dual case, an additional term appears. We show this term is necessary to produce a linear potential between a monopole charge and an antimonopole charge.


title: Fast Matrix Inversion and Determinant Computation for Polarimetric Synthetic Aperture Radar

abstract: This paper introduces a fast algorithm for simultaneous inversion and determinant computation of small sized matrices in the context of fully Polarimetric Synthetic Aperture Radar (PolSAR) image processing and analysis. The proposed fast algorithm is based on the computation of the adjoint matrix and the symmetry of the input matrix. The algorithm is implemented in a general purpose graphical processing unit (GPGPU) and compared to the usual approach based on Cholesky factorization. The assessment with simulated observations and data from an actual PolSAR sensor show a speedup factor of about two when compared to the usual Cholesky factorization. Moreover, the expressions provided here can be implemented in any platform.


title: The sparse circular law under minimal assumptions

abstract: The circular law asserts that the empirical distribution of eigenvalues of appropriately normalized $n\times n$ matrix with i.i.d. entries converges to the uniform measure on the unit disc as the dimension $n$ grows to infinity. Consider an $n\times n$ matrix $A_n=(\delta_{ij}^{(n)}\xi_{ij}^{(n)})$, where $\xi_{ij}^{(n)}$ are copies of a real random variable of unit variance, variables $\delta_{ij}^{(n)}$ are Bernoulli ($0/1$) with ${\mathbb P}\{\delta_{ij}^{(n)}=1\}=p_n$, and $\delta_{ij}^{(n)}$ and $\xi_{ij}^{(n)}$, $i,j\in[n]$, are jointly independent. In order for the circular law to hold for the sequence $\big(\frac{1}{\sqrt{p_n n}}A_n\big)$, one has to assume that $p_n n\to \infty$. We derive the circular law under this minimal assumption.


title: Definable one dimensional topologies in o-minimal structures

abstract: We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space $\left(X,\tau\right)$ is definably homeomorphic to an affine definable space (namely, a definable subset of $M^{n}$ with the induced subspace topology). One of the main results says that it is sufficient for $X$ to be regular and decompose into finitely many definably connected components.


title: Capacity Analysis for Full Duplex Self-backhauled Small Cells

abstract: Full duplex (FD) communication enables simultaneous transmission and reception on the same frequency band. Though it has the potential of doubling the throughput on isolated links, in reality, higher interference and asymmetric traffic demands in the uplink and downlink could significantly reduce the gains of FD operations. In this paper, we consider the application of FD operation in self-backhauled small cells, where multiple FD capable small cell base stations (SBS) are wirelessly backhauled by a FD capable macro-cell BS (MBS). To increase the capacity of the backhaul link, the MBS is equipped with multiple antennas to enable space division multiple access (SDMA). A scheduling method using back-pressure algorithm and geometric programming is proposed for link selection and interference mitigation. Simulation results show that with FD SDMA backhaul links, the proposed scheduler almost doubles throughput under asymmetric traffic demand and various network conditions.


title: Learning Optimal Resource Allocations in Wireless Systems

abstract: This paper considers the design of optimal resource allocation policies in wireless communication systems which are generically modeled as a functional optimization problem with stochastic constraints. These optimization problems have the structure of a learning problem in which the statistical loss appears as a constraint, motivating the development of learning methodologies to attempt their solution. To handle stochastic constraints, training is undertaken in the dual domain. It is shown that this can be done with small loss of optimality when using near-universal learning parameterizations. In particular, since deep neural networks (DNN) are near-universal their use is advocated and explored. DNNs are trained here with a model-free primal-dual method that simultaneously learns a DNN parametrization of the resource allocation policy and optimizes the primal and dual variables. Numerical simulations demonstrate the strong performance of the proposed approach on a number of common wireless resource allocation problems.


title: Phonetic-and-Semantic Embedding of Spoken Words with Applications in Spoken Content Retrieval

abstract: Word embedding or Word2Vec has been successful in offering semantics for text words learned from the context of words. Audio Word2Vec was shown to offer phonetic structures for spoken words (signal segments for words) learned from signals within spoken words. This paper proposes a two-stage framework to perform phonetic-and-semantic embedding on spoken words considering the context of the spoken words. Stage 1 performs phonetic embedding with speaker characteristics disentangled. Stage 2 then performs semantic embedding in addition. We further propose to evaluate the phonetic-and-semantic nature of the audio embeddings obtained in Stage 2 by parallelizing with text embeddings. In general, phonetic structure and semantics inevitably disturb each other. For example the words "brother" and "sister" are close in semantics but very different in phonetic structure, while the words "brother" and "bother" are in the other way around. But phonetic-and-semantic embedding is attractive, as shown in the initial experiments on spoken document retrieval. Not only spoken documents including the spoken query can be retrieved based on the phonetic structures, but spoken documents semantically related to the query but not including the query can also be retrieved based on the semantics.


title: Partial relaxation of C^0 vertex continuity of stresses of conforming mixed finite elements for the elasticity problem

abstract: A conforming triangular mixed element recently proposed by Hu and Zhang for linear elasticity is extended by rearranging the global degrees of freedom. More precisely, adaptive meshes $\mathcal{T}_1$, $\cdots$, $\mathcal{T}_N$ which are successively refined from an initial mesh $\mathcal{T}_0$ through a newest vertex bisection strategy, admit a crucial hierarchical structure, namely, a newly added vertex $\boldsymbol{x}$ of the mesh $\mathcal{T}_\ell$ is the midpoint of an edge $e$ of the coarse mesh $\mathcal{T}_{\ell-1}$. Such a hierarchical structure is explored to partially relax the $C^0$ vertex continuity of symmetric matrix-valued functions in the discrete stress space of the original element on $\mathcal{T}_\ell$ and results in an extended discrete stress space. A feature of this extended discrete stress space is its nestedness in the sense that a space on a coarse mesh $\mathcal{T}$ is a subspace of a space on any refinement $\hat{\mathcal{T}}$ of $\mathcal{T}$, which allows a proof of convergence of a standard adaptive algorithm. The idea is extended to impose a general traction boundary condition on the discrete level. Numerical experiments are provided to illustrate performance on both uniform and adaptive meshes.


title: Streaming Methods for Restricted Strongly Convex Functions with Applications to Prototype Selection

abstract: In this paper, we show that if the optimization function is restricted-strongly-convex (RSC) and restricted-smooth (RSM) -- a rich subclass of weakly submodular functions -- then a streaming algorithm with constant factor approximation guarantee is possible. More generally, our results are applicable to any monotone weakly submodular function with submodularity ratio bounded from above. This (positive) result which provides a sufficient condition for having a constant factor streaming guarantee for weakly submodular functions may be of special interest given the recent negative result (Elenberg et al., 2017) for the general class of weakly submodular functions. We apply our streaming algorithms for creating compact synopsis of large complex datasets, by selecting $m$ representative elements, by optimizing a suitable RSC and RSM objective function. Above results hold even with additional constraints such as learning non-negative weights, for interpretability, for each selected element indicative of its importance. We empirically evaluate our algorithms on two real datasets: MNIST- a handwritten digits dataset and Letters- a UCI dataset containing the alphabet written in different fonts and styles. We observe that our algorithms are orders of magnitude faster than the state-of-the-art streaming algorithm for weakly submodular functions and with our main algorithm still providing equally good solutions in practice.


title: Auto-electrophoresis in non-Newtonian media: interaction of rheology and electrocatalytic parameters

abstract: Recent findings of possible applications of bio-friendly synthetic self-phoretic swimmers, have motivated the researchers in investigating the various motion-generating mechanisms to optimize the operating characteristics of the same. In this paper we model the auto-electrophoretic motion of a bimetallic (Au-Pt) spherical swimmer in a non-Newtonian medium. In view of the fact that many bio-fluids closely follow the generalized Newtonian rheology, the rheology of the surrounding swimming medium is considered to follow the Carreau-Yasuda viscosity model. Further to capture the experimentally observed effects of peroxide concentration and feedback of generated proton concentration on the surface cation flux, we incorporate a Michaelis-Menten like surface reaction kinetics. The electrocatalytic efficiency defined as a ratio between the cost of swimming of an equivalent passively dragged particle and the input chemical energy via surface reaction, is utilized to assess the influence of the rheological parameters on the swimmer performance. The results indicate that the shear thinning and shear thickening nature of the surrounding fluid causes an enhancement and reduction in swimmer velocity, respectively. However, an increase in the shear thinning effect does not always guarantee an efficient operation of the microswimmer. A competition between the particle velocity and reduction in the drag force on the particle, decides whether the propulsion efficiency will have a relative augmentation or attenuation with varying power law index. We further report the existence of maximum efficiency points for some specific range of Weissenberg number and optimum power law indices. Moreover the behaviour of such optimum operating conditions strongly depends on the non-trivial and highly coupled interplay among the rheology and electrocatalytic parameters.


title: Conditional Infilling GANs for Data Augmentation in Mammogram Classification

abstract: Deep learning approaches to breast cancer detection in mammograms have recently shown promising results. However, such models are constrained by the limited size of publicly available mammography datasets, in large part due to privacy concerns and the high cost of generating expert annotations. Limited dataset size is further exacerbated by substantial class imbalance since "normal" images dramatically outnumber those with findings. Given the rapid progress of generative models in synthesizing realistic images, and the known effectiveness of simple data augmentation techniques (e.g. horizontal flipping), we ask if it is possible to synthetically augment mammogram datasets using generative adversarial networks (GANs). We train a class-conditional GAN to perform contextual in-filling, which we then use to synthesize lesions onto healthy screening mammograms. First, we show that GANs are capable of generating high-resolution synthetic mammogram patches. Next, we experimentally evaluate using the augmented dataset to improve breast cancer classification performance. We observe that a ResNet-50 classifier trained with GAN-augmented training data produces a higher AUROC compared to the same model trained only on traditionally augmented data, demonstrating the potential of our approach.


title: Mesoscale circulation in the Alaskan Stream area

abstract: The Alaskan Stream is the northern boundary current in the subarctic North Pacific. This area is characterized by significant temperature, salinity and density differences between coastal and open-ocean waters and strong mesoscale dynamics. In this paper we demonstrate the transport pathways of Alaskan Stream water in the eastern subarctic Pacific and the eastern Bering Sea from October 1, 1994 to September 12, 2016 with the help of altimetry-based Lagrangian maps. A mesoscale eddy activity along the shelf-deep basin boundaries in the Alaskan Stream region and the eastern Bering Sea is shown to be related with the wind stress curl in the northern North Pacific in winter. A significant correlation is found between the concentration of chlorophyll a in the Alaskan Stream area and eastern Bering Sea in August - September and the wind stress curl in the northern North Pacific in November - March. The mesoscale dynamics, forced by the wind stress curl in winter, may determine not only lower-trophic-level organism biomass but also salmon abundance/catch in the study area.


title: The L-move and Markov theorems for trivalent braids

abstract: The L-move for classical braids extends naturally to trivalent braids. We follow the L-move approach to the Markov Theorem, to prove a one-move Markov-type theorem for trivalent braids. We also reformulate this L-Move Markov theorem and prove a more algebraic Markov-type theorem for trivalent braids. Along the way, we provide a proof of the Alexander's theorem analogue for spatial trivalent graphs and trivalent braids.


title: Topological edge states and Aharanov-Bohm caging with ultracold atoms carrying orbital angular momentum

abstract: We show that bosonic atoms loaded into orbital angular momentum $l=1$ states of a lattice in a diamond-chain geometry provides a flexible and simple platform for exploring a range of topological effects. This system exhibits robust edge states, and the relative phases arising naturally in the tunnelling amplitudes lead to the appearance of Aharanov-Bohm caging in the lattice. We discuss how these properties can be realised and observed in ongoing experiments.


title: EMU and ECB Conflicts

abstract: In dynamical framework the conflict between government and the central bank according to the exchange Rate of payment of fixed rates and fixed rates of fixed income (EMU) convergence criteria such that the public debt / GDP ratio The method consists of calculating private public debt management in a public debt management system purpose there is no mechanism to allow naturally for this adjustment.


title: Multi-session Map Construction in Outdoor Dynamic Environment

abstract: Map construction in large scale outdoor environment is of importance for robots to robustly fulfill their tasks. Massive sessions of data should be merged to distinguish low dynamics in the map, which otherwise might debase the performance of localization and navigation algorithms. In this paper we propose a method for multi-session map construction in large scale outdoor environment using 3D LiDAR. To efficiently align the maps from different sessions, a laser-based loop closure detection method is integrated and the sequential information within the submaps is utilized for higher robustness. Furthermore, a dynamic detection method is proposed to detect dynamics in the overlapping areas among sessions of maps. We test the method in the real-world environment with a VLP-16 Velodyne LiDAR and the experimental results prove the validity and robustness of the proposed method.


title: Integrated IoT and Cloud Environment for Fingerprint Recognition

abstract: Big data applications involving the analysis of large datasets becomes a critical part of many emerging paradigms such as smart cities, social networks and modern security systems. Cloud computing has developed as a mainstream for hosting big data applications by its ability to provide the illusion of infinite resources. However, harnessing cloud resources for large-scale big data computation is application specific to a large extent. In this paper, we propose a system for large-scale fingerprint matching application using Aneka, a platform or developing scalable applications on the Cloud. We present the design and implementation of our proposed system and conduct experiments to evaluate its performance using resources from Microsoft Azure. Experimental results demonstrate that matching time for biometric information such as fingerprints in large-scale databases can be reduced substantially using our proposed system.


title: Temperature drift rate for nuclear terms of NV center ground state Hamiltonian

abstract: Nitrogen-vacancy (NV) center in diamond was found to be a powerful tool for various sensing applications. The main work horse of this center so far has been optically detected electron resonance. Utilization of the nuclear spin has the potential of significantly improving sensitivity in rotation and magnetic field sensors. Ensemble-based sensors consume quite a bit of power, thus requiring an understanding of temperature-related shifts. In this article, we provide a detailed study of the temperature shift of the hyperfine components of the NV center.


title: Monogamy relations for generalized W class states in terms of Tsallis entropy beyond qubits

abstract: \indent In this article, we consider the monogamy relations for the generalized W class states. Here we first present an analytical formula on Tsallis-$q$ entanglement and Tsallis-$q$ entanglement of assistance of a reduced density matrix of the generalized W class states, then we present a monogamy relation in terms of the T$q$EE for the GW state, and we also present generalized monogamy relations in terms of T$q$EE for the GW states. At last, we present tighter polygamy relations in terms of T$q$EEoA when $q=2$ for the GWV states.


title: Loop-induced Neutrino Non-Standard Interactions

abstract: Non-Standard Interactions (NSI) of neutrinos may originate from models in which new particles interact with neutrinos. In scalar extensions of the SM, the typical approach to obtain NSI requires Fierz transformations and charged Higgses, which suffer from strong constraints from collider searches or charged lepton flavor violation processes. We propose here an alternative approach to generate NSI, namely via loop processes. We show that such loop-induced NSI from secret neutrino interactions can reach sizes of ${\cal O}(0.1\sim1)$ compared to standard Fermi interaction. This approach can also give rise to neutrino-quark NSI.


title: The effect of magnetic field morphology on the structure of massive IRDC clumps

abstract: Infrared dark clouds (IRDCs) have dense elongated clumps and filaments with the favorable viewing condition of being on the near-side of a bright mid-infrared background. The clumps usually have multiple cores around the center. In this work, we study the effect of magnetic field morphology on the structure of massive IRDC clumps. To achieve this goal, we consider an axisymmetric isothermal oblate IRDC clump, embedded into a constant external magnetic field. We assume a polynomial function for the magnetic field morphology inside the clump. We use the numerical iterative methods to solve the equations: the successive over-relaxation method to find the magnetic and gravitational fluxes, and then the bicongugate gradient method to find the optimized values of mass and current densities. The results show that the IRDC clump will be very elongated along the perpendicular direction of the external magnetic field lines. Also, the assumption of choosing of a polynomial function for the magnetic field morphology leads to the formation of dense regions around the center. The greater the density of the central region, the larger the density of these dense regions and the closer to the center. The presence of these dense regions can lead to the formation of cores at these points.


title: $3$-tuple total domination number of rook's graphs

abstract: A $k$-tuple total dominating set ($k$TDS) of a graph $G$ is a set $S$ of vertices in which every vertex in $G$ is adjacent to at least $k$ vertices in $S$. The minimum size of a $k$TDS is called the $k$-tuple total dominating number and it is denoted by $\gamma_{\times k,t}(G)$. We give a constructive proof of a general formula for $\gamma_{\times 3, t}(K_n \Box K_m)$.


title: Confinement Horizon and QCD Entropy

abstract: Within the picture of quark confinement as due to a \textit{color event horizon}, and of hadronization as an instance of the Unruh radiation for the strong force, we show here that QCD entropy, evaluated by lattice simulations in the region $T_c < T < 1.3 T_c$, is in reasonable agreement with a melting color event horizon.


title: Design and Implementation of Global Path Planning System for Unmanned Surface Vehicle among Multiple Task Points

abstract: Global path planning is the key technology in the design of unmanned surface vehicles. This paper establishes global environment modelling based on electronic charts and hexagonal grids which are proved to be better than square grids in validity, safety and rapidity. Besides, we introduce Cube coordinate system to simplify hexagonal algorithms. Furthermore, we propose an improved A* algorithm to realize the path planning between two points. Based on that, we build the global path planning modelling for multiple task points and present an improved ant colony optimization to realize it accurately. The simulation results show that the global path planning system can plan an optimal path to tour multiple task points safely and quickly, which is superior to traditional methods in safety, rapidity and path length. Besides, the planned path can directly apply to actual applications of USVs.


title: Person Search via A Mask-Guided Two-Stream CNN Model

abstract: In this work, we tackle the problem of person search, which is a challenging task consisted of pedestrian detection and person re-identification~(re-ID). Instead of sharing representations in a single joint model, we find that separating detector and re-ID feature extraction yields better performance. In order to extract more representative features for each identity, we segment out the foreground person from the original image patch. We propose a simple yet effective re-ID method, which models foreground person and original image patches individually, and obtains enriched representations from two separate CNN streams. From the experiments on two standard person search benchmarks of CUHK-SYSU and PRW, we achieve mAP of $83.0\%$ and $32.6\%$ respectively, surpassing the state of the art by a large margin (more than 5pp).


title: Simultaneous Adversarial Training - Learn from Others Mistakes

abstract: Adversarial examples are maliciously tweaked images that can easily fool machine learning techniques, such as neural networks, but they are normally not visually distinguishable for human beings. One of the main approaches to solve this problem is to retrain the networks using those adversarial examples, namely adversarial training. However, standard adversarial training might not actually change the decision boundaries but cause the problem of gradient masking, resulting in a weaker ability to generate adversarial examples. Therefore, it cannot alleviate the problem of black-box attacks, where adversarial examples generated from other networks can transfer to the targeted one. In order to reduce the problem of black-box attacks, we propose a novel method that allows two networks to learn from each others' adversarial examples and become resilient to black-box attacks. We also combine this method with a simple domain adaptation to further improve the performance.


title: An Adaptive Groundtrack Maintenance Scheme for Spacecraft with Electric Propulsion

abstract: In this paper, the repeat-groundtrack orbit maintenance problem is addressed for spacecraft driven by electric propulsion. An adaptive solution is proposed, which combines an hysteresis controller and a recursive least squares filter. The controller provides a pulse-width modulated command to the thruster, in compliance with the peculiarities of the electric propulsion technology. The filter takes care of estimating a set of environmental disturbance parameters, from inertial position and velocity measurements. The resulting control scheme is able to compensate for the groundtrack drift due to atmospheric drag, in a fully autonomous manner. A numerical study of a low Earth orbit mission confirms the effectiveness of the proposed method.


title: Extrapolation for meson screening masses from imaginary to real chemical potential

abstract: We first extend our formulation for the calculation of $\pi$- and $\sigma$-meson screening masses to the case of finite chemical potential $\mu$. We then consider the imaginary-$\mu$ approach, which is an extrapolation method from imaginary chemical potential ($\mu=i \mu_{\rm I}$) to real one ($\mu=\mu_{\rm R}$). The feasibility of the method is discussed based on the entanglement Polyakov-loop extended Nambu--Jona-Lasinio (EPNJL) model in 2-flavor system. As an example, we investigate how reliable the imaginary-$\mu$ approach is for $\pi$- and $\sigma$-meson screening masses, comparing "screening masses at $\mu_{\rm R}$ in the method" with "those calculated directly at $\mu_{\rm R}$". We finally propose the new extrapolation method and confirm its efficiency.


title: On the non-abelian tensor square of groups of order dividing $p^{5}$

abstract: In this paper we consider all groups of order dividing $p^5$. We obtain the explicit structure of the non-abelian tensor square, non-abelian exterior square, tensor center, exterior center, the third homotopy group of suspension of an Eilenberg-MacLain space $k(G,1) $ and $\triangledown(G)$ of such groups.


title: On the $\alpha$-spectral radius of uniform hypergraphs

abstract: For $0\le\alpha<1$ and a uniform hypergraph $G$, the $\alpha$-spectral radius of $G$ is the largest $H$-eigenvalue of $\alpha \mathcal{D}(G) +(1-\alpha)\mathcal{A}(G)$, where $\mathcal{D}(G)$ and $\mathcal{A}(G)$ are the diagonal tensor of degrees and the adjacency tensor of $G$, respectively. We give upper bounds for the $\alpha$-spectral radius of a uniform hypergraph, propose some transformations that increase the $\alpha$-spectral radius, and determine the unique hypergraphs with maximum $\alpha$-spectral radius in some classes of uniform hypergraphs.


title: Estimating Stellar Atmospheric Parameters by Automated Methods Using SSLs

abstract: Libraries of stellar spectra, such as ELODIE (Prugniel & Soubiran 2001), CFLIB (Valdes et al. 2004), or MILES (S\'anchez-Bl\'azquez et al. 2006), are used for a variety of applications, and especially in modelling stellar populations (e. g. Le Borgne et al. (2004)). In that context, apart from the completeness and quality of these spectral databases (Singh et al. 2006), the accurate calibration of stellar atmospheric parameters, temperature (Teff), surface gravity (log g), and metallicity ([Fe/H]), is known to be critical (Prugniel et al. 2007; Percival & Salaris 2009). We discuss the technique of determining stellar atmospheric parameters accurately by `full spectrum fitting'.


title: Multiple Convolutional Neural Network for Skin Dermoscopic Image Classification

abstract: Melanoma classification is a serious stage to identify the skin disease. It is considered a challenging process due to the intra-class discrepancy of melanomas, skin lesions low contrast, and the artifacts in the dermoscopy images, including noise, existence of hair, air bubbles, and the similarity between melanoma and non-melanoma cases. To solve these problems, we propose a novel multiple convolution neural network model (MCNN) to classify different seven disease types in dermoscopic images, where several models were trained separately using an additive sample learning strategy. The MCNN model is trained and tested using the training and validation sets from the International Skin Imaging Collaboration (ISIC 2018), respectively. The receiver operating characteristic (ROC) curve is used to evaluate the performance of the proposed method. The values of AUC (the area under the ROC curve) were used to evaluate the performance of the MCNN.


title: Study on the mapping of halo clustering from real space to redshift space

abstract: The mapping of galaxy clustering from real space to redshift space introduces the anisotropic property to the measured galaxy density power spectrum in redshift space, known as the redshift space distortion (RSD) effect. The mapping formula is intrinsically non-linear, which is complicated by the higher order polynomials due to indefinite orders of cross correlations between density and velocity fields, and the Finger--of--God (FoG) effect due to the randomness of the galaxy peculiar velocity field. In previous works, we have verified the robustness of advanced TNS mapping formula in our hybrid RSD model in dark matter case, where the halo bias models are not taken into account for the halo mapping formula in redshift space. Using 100 realizations of halo catalogs in N-body simulations, we find that our halo RSD model with the known halo bias model and the effective FoG function accurately predicts the halo power spectrum measurements, within 1$\sim$2% accuracy up to $k\sim 0.2h$/Mpc, depending on different halo masses and redshifts.


title: Smoothed-Particle Hydrodynamics Models: Implementation Features on GPUs

abstract: Parallel implementation features of self-gravitating gas dynamics modeling on multiple GPUs are considered applying the GPU-Direct technology. The parallel algorithm for solving of the self-gravitating gas dynamics problem based on hybrid OpenMP-CUDA parallel programming model has been described in detail. The gas-dynamic forces are calculated by the modified SPH-method (Smoothed Particle Hydrodynamics) while the N-body problem gravitational interaction is obtained by the direct method (so-called Particle-Particle algorithm). The key factor in the SPH-method performance is creation of the neighbor lists of the particles which contribute into the gas-dynamic forces calculation. Our implementation is based on hierarchical grid sorting method using a cascading algorithm for parallel computations of partial sums at CUDA block. The parallelization efficiency of the algorithm for various GPUs of the Nvidia Tesla line (K20, K40, K80) is studied in the framework of galactic' gaseous halos collisions models by the SPH-method.


title: An Asynchronous soundness theorem for concurrent separation logic

abstract: Concurrent separation logic (CSL) is a specification logic for concurrent imperative programs with shared memory and locks. In this paper, we develop a concurrent and interactive account of the logic inspired by asynchronous game semantics. To every program $C$, we associate a pair of asynchronous transition systems $[C]_S$ and $[C]_L$ which describe the operational behavior of the Code when confronted to its Environment or Frame --- both at the level of machine states ($S$) and of machine instructions and locks ($L$). We then establish that every derivation tree $\pi$ of a judgment $\Gamma\vdash\{P\}C\{Q\}$ defines a winning and asynchronous strategy $[\pi]_{Sep}$ with respect to both asynchronous semantics $[C]_S$ and $[C]_L$. From this, we deduce an asynchronous soundness theorem for CSL, which states that the canonical map $\mathcal{L}:[C]_S\to[C]_L$ from the stateful semantics $[C]_S$ to the stateless semantics $[C]_L$ satisfies a basic fibrational property. We advocate that this provides a clean and conceptual explanation for the usual soundness theorem of CSL, including the absence of data races.


title: Coupled dictionary learning for unsupervised change detection between multi-sensor remote sensing images

abstract: Archetypal scenarios for change detection generally consider two images acquired through sensors of the same modality. However, in some specific cases such as emergency situations, the only images available may be those acquired through sensors of different modalities. This paper addresses the problem of unsupervisedly detecting changes between two observed images acquired by sensors of different modalities with possibly different resolutions. These sensor dissimilarities introduce additional issues in the context of operational change detection that are not addressed by most of the classical methods. This paper introduces a novel framework to effectively exploit the available information by modelling the two observed images as a sparse linear combination of atoms belonging to a pair of coupled overcomplete dictionaries learnt from each observed image. As they cover the same geographical location, codes are expected to be globally similar, except for possible changes in sparse spatial locations. Thus, the change detection task is envisioned through a dual code estimation which enforces spatial sparsity in the difference between the estimated codes associated with each image. This problem is formulated as an inverse problem which is iteratively solved using an efficient proximal alternating minimization algorithm accounting for nonsmooth and nonconvex functions. The proposed method is applied to real images with simulated yet realistic and real changes. A comparison with state-of-the-art change detection methods evidences the accuracy of the proposed strategy.


title: A Simple and Generic Paradigm for Creating Complex Networks Using the Strategy of Vertex Selecting-and-Pairing

abstract: In many networks of scientific interest we know that the link between any pair of vertices conforms to a specific probability, such as the link probability in the Barab\'asi-Albert scale-free networks. Here we demonstrate how the distributions of link probabilities can be utilized to generate various complex networks simply and effectively. We focus in particular on the problem of complex network generation and develop a straightforward paradigm by using the strategy of vertex selecting-and-pairing to create complex networks more generic than other relevant approaches. Crucially, our paradigm is capable of generating various complex networks with varied degree distributions by using different probabilities for selecting vertices, while in contrast other relevant approaches can only be used to generate a specific type of complex networks. We demonstrate our paradigm on four synthetic Barab\'asi-Albert scale-free networks, four synthetic Watts-Strogatz small-world networks, and on a real email network with known degree distributions.


title: Uniform and Nonuniform Precession of a Nanoparticle with Finite Anisotropy in a Liquid: Opportunities and Limitations for Magnetic Fluid Hyperthermia

abstract: We focus on an in-depth study of the forced dynamics of a ferromagnetic single-domain uniaxial nanoparticle placed in a viscous fluid and driven by an external rotating magnetic field. The process of conversion of magnetic and mechanical energies into heat is a physical basis for magnetic fluid hyperthermia that is very promising for cancer treatment. The dynamical approximation allows us to establish the limits of the heating rate and understand the logic of selection of the system parameters to optimize the therapy. Based on the developed analytical and numerical tools, we analyze from a single viewpoint the synchronous and asynchronous rotation of the nanoparticle or/and its magnetization in the following three cases. For the beginning, we actualize the features of the internal magnetic dynamics, when the nanoparticle body is supposed to be fixed. Then, we study the rotation of the whole nanoparticle, when its magnetization is supposed to be locked to the crystal lattice. And, finally, we realize the analysis of the coupled motion, when the internal magnetic dynamics is performed in the rotated nanoparticle body. In all these cases, we describe analytically the uniform mode, or synchronous rotation along with an external field, while the nonuniform mode, or asynchronous rotation, is investigated numerically.


title: Low resolution spectroscopic investigation of Am stars using Automated method

abstract: Automated method of full spectrum fitting gives reliable estimates of stellar atmospheric parameters (Teff, logg and [Fe/H]) for late A, F, G and early K type stars. Recently, the technique was further improved in the cooler regime and the validity range was extended up to M6 - M7 spectral type( Teff $\sim\,2900$ K). The present study aims to explore the application of this method on the low-resolution spectra of Am stars, a class of chemically peculiar (CP) stars, to examine its robustness for these objects. We use ULySS with MILES (Medium-resolution INT Library of Empirical Spectra) V2 spectral interpolator for parameter determination. Determined Teff and logg are found to be in good agreement with those obtained from high-resolution spectroscopy.


title: Photon statistics of radiation emitted by two quantum wells embedded in two optically coupled semiconductor microcavities

abstract: We study theoretically the photon statistics of the field emitted from two optically coupled semiconductor microcavities each containing a quantum well. The emission is determined by the interplay between exciton-photon coupling in each quantum well and internal interaction between the two optically coupled microcavities. A high degree of coherent control and tunability via the quantum well-cavity coupling strength and photon tunneling over the photon statistics of the transmitted field can be achieved. We demonstrate that the optical property of radiation emitted by one quantum well can be controlled by the properties of the second quantum well. This result has the potential to be used in quantum information processing. We show that the exciton-photon coupling influences the polariton resonances in the intensity spectrum of the transmitted field. The results obtained in this investigation has the potential to be used for designing efficient controllable all-optical switch and high sensitive optical sensor.


title: Diffusion Monte Carlo methods for Spin-Orbit-Coupled ultracold Bose gases

abstract: We present two Diffusion Monte Carlo (DMC) algorithms for systems of ultracold quantum gases featuring synthetic spin-orbit interactions. The first one is a discrete spin generalization of the T- moves spin-orbit DMC, which provides an upper bound to the fixed-phase energy. The second is a spin-integrated DMC method which recovers the fixed-phase property by avoiding the definition of the effective Hamiltonian involved in the T-moves approach. The latter is a more accurate method but it is restricted to spin-independent two-body interactions. We report a comparison between both algorithms for different systems. As a check of the efficiency of both methods, we compare the DMC energies with results obtained with other numerical methods, finding agreement between both estimation


title: Chaos synchronization of canonically and Lie-algebraically deformed Henon-Heiles systems by active control

abstract: Recently, there has been provided two chaotic models based on the twist-deformation of classical Henon-Heiles system. First of them has been constructed on the well-known, canonical space-time noncommutativity, while the second one on the Lie-algebraically type of quantum space, with two spatial directions commuting to classical time. In this article, we find the direct link between mentioned above systems, by synchronization both of them in the framework of active control method. Particularly, we derive at the canonical phase-space level the corresponding active controllers as well as we perform (as an example) the numerical synchronization of analyzed models.


title: FDR-HS: An Empirical Bayesian Identification of Heterogenous Features in Neuroimage Analysis

abstract: Recent studies found that in voxel-based neuroimage analysis, detecting and differentiating "procedural bias" that are introduced during the preprocessing steps from lesion features, not only can help boost accuracy but also can improve interpretability. To the best of our knowledge, GSplit LBI is the first model proposed in the literature to simultaneously capture both procedural bias and lesion features. Despite the fact that it can improve prediction power by leveraging the procedural bias, it may select spurious features due to the multicollinearity in high dimensional space. Moreover, it does not take into account the heterogeneity of these two types of features. In fact, the procedural bias and lesion features differ in terms of volumetric change and spatial correlation pattern. To address these issues, we propose a "two-groups" Empirical-Bayes method called "FDR-HS" (False-Discovery-Rate Heterogenous Smoothing). Such method is able to not only avoid multicollinearity, but also exploit the heterogenous spatial patterns of features. In addition, it enjoys the simplicity in implementation by introducing hidden variables, which turns the problem into a convex optimization scheme and can be solved efficiently by the expectation-maximum (EM) algorithm. Empirical experiments have been evaluated on the Alzheimer's Disease Neuroimage Initiative (ADNI) database. The advantage of the proposed model is verified by improved interpretability and prediction power using selected features by FDR-HS.


title: Addressable optical key distribution for unconditionally secured cryptography using phase-controlled quantum superposition

abstract: Based on the detection loophole-free photon key distribution (PKD) compatible with classical optical systems, an optical key distribution (OKD) protocol is presented for unconditionally secured cryptography in fiber-optic communications networks using addressable continuous phase basis, where each communication channel is composed of paired transmission lines. The unconditional security in OKD lies in quantum superposition between the paired lines of each channel. The continuous phase basis in OKD can be applied for one-time-pad optical cryptography in networks, whose network address capacity is dependent upon the robustness of OKD to channel noises.


title: Distributed Federated Learning for Ultra-Reliable Low-Latency Vehicular Communications

abstract: In this paper, the problem of joint power and resource allocation (JPRA) for ultra-reliable low-latency communication (URLLC) in vehicular networks is studied. Therein, the network-wide power consumption of vehicular users (VUEs) is minimized subject to high reliability in terms of probabilistic queuing delays. Using extreme value theory, a new reliability measure is defined to characterize extreme events pertaining to vehicles' queue lengths exceeding a predefined threshold. To learn these extreme events, assuming they are independently and identically distributed over VUEs, a novel distributed approach based on federated learning (FL) is proposed to estimate the tail distribution of the queue lengths. Considering the communication delays incurred by FL over wireless links, Lyapunov optimization is used to derive the JPRA policies enabling URLLC for each VUE in a distributed manner. The proposed solution is then validated via extensive simulations using a Manhattan mobility model. Simulation results show that FL enables the proposed method to estimate the tail distribution of queues with an accuracy that is close to a centralized solution with up to 79% reductions in the amount of exchanged data. Furthermore, the proposed method yields up to 60% reductions of VUEs with large queue lengths, while reducing the average power consumption by two folds, compared to an average queue-based baseline.


title: Quantum oscillations of the Stoner susceptibility: theory

abstract: Oscillatory effects in magnetic susceptibility of free electrons in a strong magnetic field is well known phenomenon and is well captured by Lifshitz-Kosevich formula. In this paper we point out similar oscillatory effects in Stoner susceptibility which makes the system to oscillate between paramagnetic phase and ferromagnetic phase alternatively as a function of external magnetic field strength. This effect can happen in a material which is tuned near to its magnetic instability. We suggest an experimental set-up to observe this effect. We also suggest that our result can be exploited to control a quantum critical system around its quantum critical point to study its thermodynamical or transport properties.


title: Distinct dynamical behavior in Erd\H{o}s-R\'enyi networks, regular random networks, ring lattices, and all-to-all neuronal networks

abstract: Neuronal network dynamics depends on network structure. In this paper we study how network topology underpins the emergence of different dynamical behaviors in neuronal networks. In particular, we consider neuronal network dynamics on Erd\H{o}s-R\'enyi (ER) networks, regular random (RR) networks, ring lattices, and all-to-all networks. We solve analytically a neuronal network model with stochastic binary-state neurons in all the network topologies, except ring lattices. Given that apart from network structure, all four models are equivalent, this allows us to understand the role of network structure in neuronal network dynamics. Whilst ER and RR networks are characterized by similar phase diagrams, we find strikingly different phase diagrams in the all-to-all network. Neuronal network dynamics is not only different within certain parameter ranges, but it also undergoes different bifurcations (with a richer repertoire of bifurcations in ER and RR compared to all-to-all networks). This suggests that local heterogeneity in the ratio between excitation and inhibition plays a crucial role on emergent dynamics. Furthermore, we also observe one subtle discrepancy between ER and RR networks, namely ER networks undergo a neuronal activity jump at lower noise levels compared to RR networks, presumably due to the degree heterogeneity in ER networks that is absent in RR networks. Finally, a comparison between network oscillations in RR networks and ring lattices shows the importance of small-world properties in sustaining stable network oscillations.


title: Optimal Singular Dividend Problem under the Sparre Anderson Model

abstract: Consider an insurance company for which the reserve process follows the Sparre Anderson model. In this paper, we study the optimal dividend problem for such a company as Bai, Ma and Xing [9] do. However, we remove the constant restriction on the dividend rates, i.e. the optimization problem is of singular type. In this case, the value function is no longer bounded and the associated HJB equation is a variational inequality involving a first order integro-differential operator and a gradient constraint. We use other techniques to prove the regularity properties for the value function and show that the value function is a constrained viscosity solution of the associated HJB equation. In addition, we show that the value function is the upper semi-continuous envelop of the supremum for a class of subsolutions.


title: Fra\"iss\'e limits of limit groups

abstract: We modify the notion of a Fra\"iss\'e class and show that various interesting classes of groups, notably the class of nonabelian limit groups and the class of finitely generated elementary free groups, admit Fra\"iss\'e limits. Furthermore, we rediscover Lyndon's $\Z[t]$-exponential completions of countable torsion-free CSA groups, as Fra\"iss\'e limits with respect to extensions of centralizers. Dedicated to the memory of Charles Sims.