title: Atomically-thin Femtojoule Filamentary Memristor

abstract: The morphology and dimension of the conductive filament formed in a memristive device are strongly influenced by the thickness of its switching medium layer. Aggressive scaling of this active layer thickness is critical towards reducing the operating current, voltage and energy consumption in filamentary type memristors. Previously, the thickness of this filament layer has been limited to above a few nanometers due to processing constraints, making it challenging to further suppress the on-state current and the switching voltage. Here, we study the formation of conductive filaments in a material medium with sub-nanometer thickness, formed through the oxidation of atomically-thin two-dimensional boron nitride. The resulting memristive device exhibits sub-nanometer filamentary switching with sub-pA operation current and femtojoule per bit energy consumption. Furthermore, by confining the filament to the atomic scale, we observe current switching characteristics that are distinct from that in thicker medium due to the profoundly different atomic kinetics. The filament morphology in such an aggressively scaled memristive device is also theoretically explored. These ultra-low energy devices are promising for realizing femtojoule and sub-femtojoule electronic computation, which can be attractive for applications in a wide range of electronics systems that desire ultra-low power operation.


title: Averaging one-point hyperbolic-type metrics

abstract: It is known that the $\tilde j$-metric, half-apollonian metric and scale-invariant Cassinian metric are not Gromov hyperbolic. These metrics are defined as a supremum of one-point metrics (i.e., metrics constructed using one boundary point) and the supremum is taken over all boundary points. The aim of this paper is to show that taking the average instead of the supremum yields a metric that preserves the Gromov hyperbolicity. Moreover, we show that the Gromov hyperbolicity constant of the resulting metric does not depend on the number of metrics used in taking the average. We also provide an example to show that the average of Gromov hyperbolic metrics is not, in general, Gromov hyperbolic.


title: Engineering vibrationally-assisted energy transfer in a trapped-ion quantum simulator

abstract: Many important chemical and biochemical processes in the condensed phase are notoriously difficult to simulate numerically. Often this difficulty arises from the complexity of simulating dynamics resulting from coupling to structured, mesoscopic baths, for which no separation of time scales exists and statistical treatments fail. A prime example of such a process is vibrationally assisted charge or energy transfer. A quantum simulator, capable of implementing a realistic model of the system of interest, could provide insight into these processes in regimes where numerical treatments fail. We take a first step towards modeling such transfer processes using an ion trap quantum simulator. By implementing a minimal model, we observe vibrationally assisted energy transport between the electronic states of a donor and an acceptor ion augmented by coupling the donor ion to its vibration. We tune our simulator into several parameter regimes and, in particular, investigate the transfer dynamics in the nonperturbative regime often found in biochemical situations.


title: FLaapLUC: a pipeline for the generation of prompt alerts on transient Fermi-LAT $\gamma$-ray sources

abstract: The large majority of high energy sources detected with Fermi-LAT are blazars, which are known to be very variable sources. High cadence long-term monitoring simultaneously at different wavelengths being prohibitive, the study of their transient activities can help shedding light on our understanding of these objects. The early detection of such potentially fast transient events is the key for triggering follow-up observations at other wavelengths. A Python tool, FLaapLUC, built on top of the Science Tools provided by the Fermi Science Support Center and the Fermi-LAT collaboration, has been developed using a simple aperture photometry approach. This tool can effectively detect relative flux variations in a set of predefined sources and alert potential users. Such alerts can then be used to trigger target of opportunity observations with other facilities. It is shown that FLaapLUC is an efficient tool to reveal transient events in Fermi-LAT data, providing quick results which can be used to promptly organise follow-up observations. Results from this simple aperture photometry method are also compared to full likelihood analyses. The FLaapLUC package is made available on GitHub and is open to contributions by the community.


title: Dehn functions of subgroups of right-angled Artin groups

abstract: We show that for each positive integer $k$ there exist right-angled Artin groups containing free-by-cyclic subgroups whose monodromy automorphisms grow as $n^k$. As a consequence we produce examples of right-angled Artin groups containing finitely presented subgroups whose Dehn functions grow as $n^{k+2}$.


title: How does a locally constrained quantum system localize?

abstract: At low energy, the dynamics of excitations of many physical systems are locally constrained. Examples include frustrated anti-ferromagnets, fractional quantum Hall fluids and Rydberg atoms in the blockaded regime. Can such locally constrained systems be fully many-body localized (MBL)? In this article, we answer this question affirmatively and elucidate the structure of the accompanying quasi-local integrals of motion. By studying disordered spin chains subject to a projection constraint in the $z$-direction, we show that full MBL is stable at strong $z$-field disorder and identify a new mechanism of localization through resonance at strong transverse disorder. However MBL is not guaranteed; the constraints can `frustrate' the tendency of the spins to align with the transverse fields and lead to full thermalization or criticality. We further provide evidence that the transition is discontinuous in local observables with large sample-to-sample variations. Our study has direct consequences for current quench experiments in Rydberg atomic chains.


title: \v{C}ech-Delaunay gradient flow and homology inference for self-maps

abstract: We call a continuous self-map that reveals itself through a discrete set of point-value pairs a sampled dynamical system. Capturing the available information with chain maps on Delaunay complexes, we use persistent homology to quantify the evidence of recurrent behavior. We establish a sampling theorem to recover the eigenspace of the endomorphism on homology induced by the self-map. Using a combinatorial gradient flow arising from the discrete Morse theory for \v{C}ech and Delaunay complexes, we construct a chain map to transform the problem from the natural but expensive \v{C}ech complexes to the computationally efficient Delaunay triangulations. The fast chain map algorithm has applications beyond dynamical systems.


title: On the stochastic decision problems with backward stochastic viability property

abstract: In this paper, we consider a stochastic decision problem for a system governed by a stochastic differential equation, in which an optimal decision is made in such a way to minimize a vector-valued accumulated cost over a finite-time horizon that is associated with the solution of a certain multi-dimensional backward stochastic differential equation (BSDE). Here, we also assume that the solution for such a multi-dimensional BSDE {\it almost surely} satisfies a backward stochastic viability property w.r.t. a given closed convex set. Moreover, under suitable conditions, we establish the existence of an optimal solution, in the sense of viscosity solutions, to the associated system of semilinear parabolic PDEs. Finally, we briefly comment on the implication of our results.


title: Multivariate Density Modeling for Retirement Finance

abstract: Prior to the financial crisis mortgage securitization models increased in sophistication as did products built to insure against losses. Layers of complexity formed upon a foundation that could not support it and as the foundation crumbled the housing market followed. That foundation was the Gaussian copula which failed to correctly model failure-time correlations of derivative securities in duress. In retirement, surveys suggest the greatest fear is running out of money and as retirement decumulation models become increasingly sophisticated, large financial firms and robo-advisors may guarantee their success. Similar to an investment bank failure the event of retirement ruin is driven by outliers and correlations in times of stress. It would be desirable to have a foundation able to support the increased complexity before it forms however the industry currently relies upon similar Gaussian (or lognormal) dependence structures. We propose a multivariate density model having fixed marginals that is tractable and fits data which are skewed, heavy-tailed, multimodal, i.e., of arbitrary complexity allowing for a rich correlation structure. It is also ideal for stress-testing a retirement plan by fitting historical data seeded with black swan events. A preliminary section reviews all concepts before they are used and fully documented C/C++ source code is attached making the research self-contained. Lastly, we take the opportunity to challenge existing retirement finance dogma and also review some recent criticisms of retirement ruin probabilities and their suggested replacement metrics.


title: Variational Reasoning for Question Answering with Knowledge Graph

abstract: Knowledge graph (KG) is known to be helpful for the task of question answering (QA), since it provides well-structured relational information between entities, and allows one to further infer indirect facts. However, it is challenging to build QA systems which can learn to reason over knowledge graphs based on question-answer pairs alone. First, when people ask questions, their expressions are noisy (for example, typos in texts, or variations in pronunciations), which is non-trivial for the QA system to match those mentioned entities to the knowledge graph. Second, many questions require multi-hop logic reasoning over the knowledge graph to retrieve the answers. To address these challenges, we propose a novel and unified deep learning architecture, and an end-to-end variational learning algorithm which can handle noise in questions, and learn multi-hop reasoning simultaneously. Our method achieves state-of-the-art performance on a recent benchmark dataset in the literature. We also derive a series of new benchmark datasets, including questions for multi-hop reasoning, questions paraphrased by neural translation model, and questions in human voice. Our method yields very promising results on all these challenging datasets.


title: A convergence framework for inexact nonconvex and nonsmooth algorithms and its applications to several iterations

abstract: In this paper, we consider the convergence of an abstract inexact nonconvex and nonsmooth algorithm. We promise a pseudo sufficient descent condition and a pseudo relative error condition, which are both related to an auxiliary sequence, for the algorithm; and a continuity condition is assumed to hold. In fact, a lot of classical inexact nonconvex and nonsmooth algorithms allow these three conditions. Under a special kind of summable assumption on the auxiliary sequence, we prove the sequence generated by the general algorithm converges to a critical point of the objective function if being assumed Kurdyka- Lojasiewicz property. The core of the proofs lies in building a new Lyapunov function, whose successive difference provides a bound for the successive difference of the points generated by the algorithm. And then, we apply our findings to several classical nonconvex iterative algorithms and derive the corresponding convergence results


title: Linear Stochastic Approximation: Constant Step-Size and Iterate Averaging

abstract: We consider $d$-dimensional linear stochastic approximation algorithms (LSAs) with a constant step-size and the so called Polyak-Ruppert (PR) averaging of iterates. LSAs are widely applied in machine learning and reinforcement learning (RL), where the aim is to compute an appropriate $\theta_{*} \in \mathbb{R}^d$ (that is an optimum or a fixed point) using noisy data and $O(d)$ updates per iteration. In this paper, we are motivated by the problem (in RL) of policy evaluation from experience replay using the \emph{temporal difference} (TD) class of learning algorithms that are also LSAs. For LSAs with a constant step-size, and PR averaging, we provide bounds for the mean squared error (MSE) after $t$ iterations. We assume that data is \iid with finite variance (underlying distribution being $P$) and that the expected dynamics is Hurwitz. For a given LSA with PR averaging, and data distribution $P$ satisfying the said assumptions, we show that there exists a range of constant step-sizes such that its MSE decays as $O(\frac{1}{t})$. We examine the conditions under which a constant step-size can be chosen uniformly for a class of data distributions $\mathcal{P}$, and show that not all data distributions `admit' such a uniform constant step-size. We also suggest a heuristic step-size tuning algorithm to choose a constant step-size of a given LSA for a given data distribution $P$. We compare our results with related work and also discuss the implication of our results in the context of TD algorithms that are LSAs.


title: Infinite measure renewal theorem and related results

abstract: We present abstract conditions under which a special flow over a probability preserving map with a non-integrable roof function is Krickeberg mixing. Our main condition is some version of the local central limit theorem for the underlying map. We check our assumptions for iid random variables (renewal theorem with infinite mean) and for suspensions over Pomeau-Manneville maps.


title: Linear and nonlinear spectroscopy from quantum master equations

abstract: We investigate the accuracy of the second-order time-convolutionless (TCL2) quantum master equation for the calculation of linear and nonlinear spectroscopies of multichromophore systems. We show that, even for systems with non-adiabatic coupling, the TCL2 master equation predicts linear absorption spectra that are accurate over an extremely broad range of parameters and well beyond what would be expected based on the perturbative nature of the approach; non-equilibrium population dynamics calculated with TCL2 for identical parameters are significantly less accurate. For third-order (two-dimensional) spectroscopy, the importance of population dynamics and the violation of the so-called quantum regression theorem degrade the accuracy of TCL2 dynamics. To correct these failures, we combine the TCL2 approach with a classical ensemble sampling of slow microscopic bath degrees of freedom, leading to an efficient hybrid quantum-classical scheme that displays excellent accuracy over a wide range of parameters. In the spectroscopic setting, the success of such a hybrid scheme can be understood through its separate treatment of homogeneous and inhomogeneous broadening. Importantly, the presented approach has the computational scaling of TCL2, with the modest addition of an embarrassingly parallel prefactor associated with ensemble sampling. The presented approach can be understood as a generalized inhomogeneous cumulant expansion technique, capable of treating multilevel systems with non-adiabatic dynamics.


title: Nonstandard Methods in Ramsey Theory and Combinatorial Number Theory

abstract: The goal of this present manuscript is to introduce the reader to the nonstandard method and to provide an overview of its most prominent applications in Ramsey theory and combinatorial number theory.


title: Setpoint Tracking with Partially Observed Loads

abstract: We use online convex optimization (OCO) for setpoint tracking with uncertain, flexible loads. We consider full feedback from the loads, bandit feedback, and two intermediate types of feedback: partial bandit where a subset of the loads are individually observed and the rest are observed in aggregate, and Bernoulli feedback where in each round the aggregator receives either full or bandit feedback according to a known probability. We give sublinear regret bounds in all cases. We numerically evaluate our algorithms on examples with thermostatically controlled loads and electric vehicles.


title: Performance of Test Supermartingale Confidence Intervals for the Success Probability of Bernoulli Trials

abstract: Given a composite null hypothesis H, test supermartingales are non-negative supermartingales with respect to H with initial value 1. Large values of test supermartingales provide evidence against H. As a result, test supermartingales are an effective tool for rejecting H, particularly when the p-values obtained are very small and serve as certificates against the null hypothesis. Examples include the rejection of local realism as an explanation of Bell test experiments in the foundations of physics and the certification of entanglement in quantum information science. Test supermartingales have the advantage of being adaptable during an experiment and allowing for arbitrary stopping rules. By inversion of acceptance regions, they can also be used to determine confidence sets. We use an example to compare the performance of test supermartingales for computing p-values and confidence intervals to Chernoff-Hoeffding bounds and the "exact" p-value. The example is the problem of inferring the probability of success in a sequence of Bernoulli trials. There is a cost in using a technique that has no restriction on stopping rules, and for a particular test supermartingale, our study quantifies this cost.


title: On the number of linear hypergraphs of large girth

abstract: An $r$-uniform \textit{linear cycle} of length $\ell$, denoted by $C_{\ell}^r$, is an $r$-graph with edges $e_1, \ldots, e_{\ell}$ such that for every $i\in [\ell-1]$, $|e_i\cap e_{i+1}|=1$, $|e_{\ell}\cap e_1|=1$ and $e_i\cap e_j=\emptyset$ for all other pairs $\{i, j\},\ i\neq j$. For every $r\geq 3$ and $\ell\geq 4$, we show that there exists a constant $C$ depending on $r$ and $\ell$ such that the number of linear $r$-graphs of girth $\ell$ is at most $2^{Cn^{1+1/\lfloor \ell/2\rfloor}}$. Furthermore, we extend the result for $\ell=4$, proving that there exists a constant $C$ depending on $r$ such that the number of linear $r$-graphs without $C_{4}^r$ is at most $2^{Cn^{3/2}}$. The idea of the proof is to reduce the hypergraph enumeration problems to some graph enumeration problems, and then apply a variant of the graph container method, which may be of independent interest. We extend a breakthrough result of Kleitman and Winston on the number of $C_4$-free graphs, proving that the number of graphs containing at most $n^2/32\log^6 n$ $C_4$'s is at most $2^{11n^{3/2}}$, for sufficiently large $n$. We further show that for every $r\geq 3$ and $\ell\geq 2$, the number of graphs such that each of its edges is contained in only $O(1)$ cycles of length at most $2\ell$, is bounded by $2^{3(\ell+1)n^{1+1/\ell}}$ asymptotically.


title: Some identities involving Appell polynomials

abstract: In this papier, by the classical umbral calculus method, we establish identities involving the Appell polynomials and extend some existing identities.


title: Promotion on Generalized Oscillating Tableaux and Web Rotation

abstract: We introduce the notion of a generalized oscillating tableau and define a promotion operation on such tableaux that generalizes the classical promotion operation on standard Young tableaux. As our main application, we show that this promotion corresponds to rotation of the irreducible $A_2$-webs of G. Kuperberg.


title: An inhomogeneous Dirichlet theorem via shrinking targets

abstract: We give an integrability criterion on a real-valued non-increasing function $\psi$ guaranteeing that for almost all (or almost no) pairs $(A, \textbf{b})$, where $A$ is a real $m\times n$ matrix and $\textbf{b} \in \mathbb{R}^m$, the system $\|A \textbf{q}+\textbf{b}-\textbf{p}\|^m< \psi({T})$, $\|\textbf{q}\|^n<{T}$ is solvable in $\textbf{p} \in \mathbb{Z}^m$, $\textbf{q} \in \mathbb{Z}^n$ for all sufficiently large $T$. The proof consists of a reduction to a shrinking target problem on the space of grids in $\mathbb{R}^{m+n}$. We also comment on the homogeneous counterpart to this problem, whose $m=n=1$ case was recently solved, but whose general case remains open.


title: Pre-training Neural Networks with Human Demonstrations for Deep Reinforcement Learning

abstract: Deep reinforcement learning (deep RL) has achieved superior performance in complex sequential tasks by using a deep neural network as its function approximator and by learning directly from raw images. A drawback of using raw images is that deep RL must learn the state feature representation from the raw images in addition to learning a policy. As a result, deep RL can require a prohibitively large amount of training time and data to reach reasonable performance, making it difficult to use deep RL in real-world applications, especially when data is expensive. In this work, we speed up training by addressing half of what deep RL is trying to solve --- learning features. Our approach is to learn some of the important features by pre-training deep RL network's hidden layers via supervised learning using a small set of human demonstrations. We empirically evaluate our approach using deep Q-network (DQN) and asynchronous advantage actor-critic (A3C) algorithms on the Atari 2600 games of Pong, Freeway, and Beamrider. Our results show that: 1) pre-training with human demonstrations in a supervised learning manner is better at discovering features relative to pre-training naively in DQN, and 2) initializing a deep RL network with a pre-trained model provides a significant improvement in training time even when pre-training from a small number of human demonstrations.


title: High Spectral Resolution SOFIA/EXES Observations of C2H2 towards Orion-IRc2

abstract: We present high-spectral resolution observations from 12.96 - 13.33 microns towards Orion IRc2 using the mid-infrared spectrograph, EXES, on SOFIA. These observations probe the physical and chemical conditions of the Orion hot core, which is sampled by a bright, compact, mid-infrared background continuum source in the region, IRc2. All ten of the rovibrational C2H2 transitions expected in our spectral coverage, are detected with high S/N, yielding continuous coverage of the R-branch lines from J=9-8 to J=18-17, including both ortho and para species. Eight of these rovibrational transitions are newly reported detections. The isotopologue, 13CCH2, is clearly detected with high signal-to-noise. This enabled a direct measurement of the 12C/13C isotopic ratio for the Orion hot core of 14 +/- 1 and an estimated maximum value of 21. We also detected several HCN rovibrational lines. The ortho and para C2H2 ladders are clearly separate and tracing two different temperatures, 226 K and 164 K, respectively, with a non-equilibrium ortho to para ratio (OPR) of 1.7 +\- 0.1. Additionally, the ortho and para V_LSR values differ by about 1.8 +/- 0.2 km/s, while, the mean line widths differ by 0.7 +/- 0.2 km/s, suggesting that these species are not uniformly mixed along the line of sight to IRc2. We propose that the abnormally low C2H2 OPR could be a remnant from an earlier, colder phase, before the density enhancement (now the hot core) was impacted by shocks generated from an explosive event 500 yrs ago.


title: The infinite Atlas process: Convergence to equilibrium

abstract: The semi-infinite Atlas process is a one-dimensional system of Brownian particles, where only the leftmost particle gets a unit drift to the right. Its particle spacing process has infinitely many stationary measures, with one distinguished translation invariant reversible measure. We show that the latter is attractive for a large class of initial configurations of slowly growing (or bounded) particle densities. Key to our proof is a new estimate on the rate of convergence to equilibrium for the particle spacing in a triangular array of finite, large size systems.


title: Spectral properties and rigidity for self-expanding solutions of the mean curvature flows

abstract: In this paper, we study self-expanders for mean curvature flows. First we show the discreteness of the spectrum of the drifted Laplacian on them. Next we give a universal lower bound of the bottom of the spectrum of the drifted Laplacian and prove that this lower bound is achieved if and only if the self-expander is the Euclidian subspace through the origin. Further, for self-expanders of codimension $1$, we prove an inequality between the bottom of the spectrum of the drifted Laplacian and the bottom of the spectrum of weighted stability operator and that the hyperplane through the origin is the unique self-expander where the equality holds. Also we prove the uniqueness of hyperplane through the origin for mean convex self-expanders under some condition on the square of the norm of the second fundamental form.


title: Giant Rashba-type spin splitting through spin-dependent interatomic-hopping

abstract: We have performed density functional theory calculation and tight binging analysis in order to investigate the mechanism for the giant Rashba-type spin splitting (RSS) observed in Bi/Ag(111). We find that local orbital angular momentum induces momentum and spin dependent charge distribution which results in spin-dependent hopping. We show that the spin-dependent interatomic-hopping in Bi/Ag(111) works as a strong effective field and induces the giant RSS, indicating that the giant RSS is driven by hopping, not by a uniform electric field. The effective field from the hopping energy difference amounts to be ~18 V/{\AA}. This new perspective on the RSS gives us a hint for the giant RSS mechanism in general and should provide a strategy for designing new RSS materials by controlling spin-dependence of hopping energy between the neighboring atomic layers.


title: Exact Solutions to Cubic Duffing Equation by Leaf Functions Under Free Vibration

abstract: Exact solutions with the initial conditions are presented in the cubic duffing equation. These exact solutions are expressed in terms of the leaf function and the trigonometric function. The leaf functions: $r=sleaf_n(t) $ or $ r=cleaf_n(t)$ satisfy the ordinary differential equation: $ dx^2/dt^2=-nr^{2n-1}$. The second order differential of the leaf function is equal to $-n$ times the function raised to the $(2n-1)$ power of the leaf function. By using the Leaf functions, the exact solutions of the cubic Duffing equation can be derived under several conditions. In this paper, seven types of the exact solutions are presented based on the leaf functions. This paper reveals the derivation of the seven exact solutions. Finally, the waves based on the exact solutions are visualized by the numerical results in the graphs


title: Microscopic description of Log and Coulomb gases

abstract: These are the lecture notes of a course taught at the Park City Mathematics Institute in June 2017. They are intended to review some recent results, obtained in large part with Thomas Lebl\'e, on the statistical mechanics of systems of points with logarithmic or Coulomb interactions. After listing some motivations, we describe the "electric approach" which allows to get concentration results, Central Limit Theorems for fluctuations, and a Large Deviations Principle expressed in terms of the microscopic state of the system.


title: A Constrained, Weighted-L1 Minimization Approach for Joint Discovery of Heterogeneous Neural Connectivity Graphs

abstract: Determining functional brain connectivity is crucial to understanding the brain and neural differences underlying disorders such as autism. Recent studies have used Gaussian graphical models to learn brain connectivity via statistical dependencies across brain regions from neuroimaging. However, previous studies often fail to properly incorporate priors tailored to neuroscience, such as preferring shorter connections. To remedy this problem, the paper here introduces a novel, weighted-$\ell_1$, multi-task graphical model (W-SIMULE). This model elegantly incorporates a flexible prior, along with a parallelizable formulation. Additionally, W-SIMULE extends the often-used Gaussian assumption, leading to considerable performance increases. Here, applications to fMRI data show that W-SIMULE succeeds in determining functional connectivity in terms of (1) log-likelihood, (2) finding edges that differentiate groups, and (3) classifying different groups based on their connectivity, achieving 58.6\% accuracy on the ABIDE dataset. Having established W-SIMULE's effectiveness, it links four key areas to autism, all of which are consistent with the literature. Due to its elegant domain adaptivity, W-SIMULE can be readily applied to various data types to effectively estimate connectivity.


title: A theory for the effect of patch / non-patch attractions on the self-assembly of patchy colloids

abstract: In this paper, we develop a thermodynamic perturbation theory to describe the self-assembly of patchy colloids which exhibit both patch-patch attractions as well as patch / non-patch attractions. That is, patches attract other patches as well as the no patch region. In general these attractions operate on different energy scales, which allows for controlled self-assembly as well as anomalous phase behavior. As an application we apply the model to the study of liquid water.


title: Robust Transmission for Massive MIMO Downlink with Imperfect CSI

abstract: In this paper, the design of robust linear precoders for the massive multi-input multi-output (MIMO) downlink with imperfect channel state information (CSI) is investigated. The imperfect CSI for each UE obtained at the BS is modeled as statistical CSI under a jointly correlated channel model with both channel mean and channel variance information, which includes the effects of channel estimation error, channel aging and spatial correlation. The design objective is to maximize the expected weighted sum-rate. By combining the minorize-maximize (MM) algorithm with the deterministic equivalent method, an algorithm for robust linear precoder design is derived. The proposed algorithm achieves a stationary point of the expected weighted sum-rate maximization problem. To reduce the computational complexity, two low-complexity algorithms are then derived. One for the general case, and the other for the case when all the channel means are zeros. For the later case, it is proved that the beam domain transmission is optimal, and thus the precoder design reduces to the power allocation optimization in the beam domain. Simulation results show that the proposed robust linear precoder designs apply to various mobile scenarios and achieve high spectral efficiency.


title: Joint Learning of Set Cardinality and State Distribution

abstract: We present a novel approach for learning to predict sets using deep learning. In recent years, deep neural networks have shown remarkable results in computer vision, natural language processing and other related problems. Despite their success, traditional architectures suffer from a serious limitation in that they are built to deal with structured input and output data, i.e. vectors or matrices. Many real-world problems, however, are naturally described as sets, rather than vectors. Existing techniques that allow for sequential data, such as recurrent neural networks, typically heavily depend on the input and output order and do not guarantee a valid solution. Here, we derive in a principled way, a mathematical formulation for set prediction where the output is permutation invariant. In particular, our approach jointly learns both the cardinality and the state distribution of the target set. We demonstrate the validity of our method on the task of multi-label image classification and achieve a new state of the art on the PASCAL VOC and MS COCO datasets.


title: Metastable Ultracondensed Solid Hydrogenous Materials

abstract: The primary purpose of this paper is to stimulate theoretical predictions of how to retain metastably hydrogenous materials made at high pressure P on release to ambient. Ultracondensed metallic hydrogen has been made at 140 GPa at finite temperatures T in the fluid. The term metallic here means quantum mechanically degenerate. A single sample of ultracondensed hydrogen has been made at an estimated pressure of 495 GPa at 5.5 K. Whether that sample is solid or fluid remains to be determined. Those results imply the long quest for metallic hydrogen is likely to be concluded in the relatively near future. Because the quest for metallic hydrogen has been a major driver of high pressure research for decades, a logical question is whether another research direction, comparable in scale to that quest, will arise in high pressure research in the future. One possibility is retention of metastable solid metallic hydrogen and other hydrogenous materials on release of P and T to ambient. If hydrogenous materials could be retained metastably in the solid on release, those materials would be a new class of materials for scientific investigations and technological applications. This paper is a brief review of the synthesis of metallic hydrogen, potential technological applications of metastable solid metallic H and other hydrogenous materials at ambient, and published experimental and theoretical results as general background for what has been accomplished with metastable phases in the past, which suggests what might be accomplished in the future.


title: Query Completion Using Bandits for Engines Aggregation

abstract: Assisting users by suggesting completed queries as they type is a common feature of search systems known as query auto-completion. A query auto-completion engine may use prior signals and available information (e.g., user is anonymous, user has a history, user visited the site before the search or not, etc.) in order to improve its recommendations. There are many possible strategies for query auto-completion and a challenge is to design one optimal engine that considers and uses all available information. When different strategies are used to produce the suggestions, it becomes hard to rank these heterogeneous suggestions. An alternative strategy could be to aggregate several engines in order to enhance the diversity of recommendations by combining the capacity of each engine to digest available information differently, while keeping the simplicity of each engine. The main objective of this research is therefore to find such mixture of query completion engines that would beat any engine taken alone. We tackle this problem under the bandits setting and evaluate four strategies to overcome this challenge. Experiments conducted on three real datasets show that a mixture of engines can outperform a single engine.


title: The JCMT Transient Survey: Detection of sub-mm variability in a Class I protostar EC 53 in Serpens Main

abstract: During the protostellar phase of stellar evolution, accretion onto the star is expected to be variable, but this suspected variability has been difficult to detect because protostars are deeply embedded. In this paper, we describe a sub-mm luminosity burst of the Class I protostar EC 53 in Serpens Main, the first variable found during our dedicated JCMT/SCUBA-2 monitoring program of eight nearby star-forming regions. EC 53 remained quiescent for the first 6 months of our survey, from February to August 2016. The sub-mm emission began to brighten in September 2016, reached a peak brightness of $1.5$ times the faint state, and has been decaying slowly since February 2017. The change in sub-mm brightness is interpreted as dust heating in the envelope, generated by a luminosity increase of the protostar of a factor of $\ge 4$. The 850~$\mu$m lightcurve resembles the historical $K$-band lightcurve, which varies by a factor of $\sim 6$ with a 543 period and is interpreted as accretion variability excited by interactions between the accretion disk and a close binary system. The predictable detections of accretion variability observed at both near-infrared and sub-mm wavelengths make the system a unique test-bed, enabling us to capture the moment of the accretion burst and to study the consequences of the outburst on the protostellar disk and envelope.


title: Uniform Boundary Estimates in Homogenization of Higher Order Elliptic Systems

abstract: This paper focuses on the uniform boundary estimates in homogenization of a family of higher order elliptic operators $\mathcal{L}_\epsilon$, with rapidly oscillating periodic coefficients. We derive uniform boundary $C^{m-1,\lambda} (0\!<\!\lambda\!<\!1)$, $ W^{m,p}$ estimates in $C^1$ domains, as well as uniform boundary $C^{m-1,1}$ estimate in $C^{1,\theta} (0\!<\!\theta\!<\!1)$ domains without the symmetry assumption on the operator. The proof, motivated by the profound work "S.N. Armstrong and C.~K. Smart, Ann. Sci. \'Ec. Norm. Sup\'er. (2016), Z. Shen, Anal. PDE (2017)", is based on a suboptimal convergence rate in $H^{m-1}(\Omega)$. Compared to "C.E. Kenig, F. Lin and Z. Shen, Arch. Ration. Mech. Anal. (2012), Z. Shen, Anal. PDE (2017)", the convergence rate obtained here does not require the symmetry assumption on the operator, nor additional assumptions on the regularity of $u_0$ (the solution to the homogenized problem), and thus might be of some independent interests even for second order elliptic systems.


title: Ion acceleration in electrostatic collisionless shock: on the optimal density profile for quasi-monoenergetic beams

abstract: A numerical study on ion acceleration in electrostatic shock waves is presented, with the aim of determining the best plasma configuration to achieve quasi-monoenergetic ion beams in laser-driven systems. It was recently shown that tailored near-critical density plasmas characterized by a long-scale decreasing rear density profile lead to beams with low energy spread [F. Fi\'uza et al., Physical Review Letters 109, 215001 (2012)]. In this work, a detailed parameter scan investigating different plasma scale lengths is carried out. As result, the optimal plasma spatial scale length that allows for minimizing the energy spread while ensuring a significant reflection of ions by the shock is identified. Furthermore, a new configuration where the required profile has been obtained by coupling micro layers of different densities is proposed. Results show that this new engineered approach is a valid alternative, guaranteeing a low energy spread with a higher level of controllability.


title: Monitoring and modelling of white dwarfs with extremely weak magnetic fields

abstract: Magnetic fields are detected in a few percent of white dwarfs. The number of such magnetic white dwarfs known is now some hundreds. Fields range in strength from a few kG to several hundred MG. Almost all the known magnetic white dwarfs have a mean field modulus >= 1 MG. We are trying to fill a major gap in observational knowledge at the low field limit (<= 200 kG) using circular spectro-polarimetry. In this paper we report the discovery and monitoring of strong, periodic magnetic variability in two previously discovered "super-weak field" magnetic white dwarfs, WD2047+372 and WD2359-434. WD2047+372 has a mean longitudinal field that reverses between about -12 and +15 kG, with a period of 0.243 d, while its mean field modulus appears nearly constant at 60 kG. The observations can be intepreted in terms of a dipolar field tilted with respect to the stellar rotation axis. WD2359-434 always shows a weak positive longitudinal field with values between about 0 and +12 kG, varying only weakly with stellar rotation, while the mean field modulus varies between about 50 and 100 kG. The rotation period is found to be 0.112 d using the variable shape of the Halpha line core, consistent with available photometry. The field of this star appears to be much more complex than a dipole, and is probably not axisymmetric. Available photometry shows that WD2359-434 is a light variable with an amplitude of only 0.005 mag, our own photometry shows that if WD2047+372 is photometrically variable, the amplitude is below about 0.01 mag. These are the first models for magnetic white dwarfs with fields below about 100 kG based on magnetic measurements through the full stellar rotation. They reveal two very different magnetic surface configurations, and that, contrary to simple ohmic decay theory, WD2359-434 has a much more complex surface field than the much younger WD2047+372.


title: Magnetic excitations of the Cu$^{2+}$ quantum spin chain in Sr$_3$CuPtO$_6$

abstract: We report the magnetic excitation spectrum as measured by inelastic neutron scattering for a polycrystalline sample of Sr$_3$CuPtO$_6$. Modeling the data by the 2+4 spinon contributions to the dynamical susceptibility within the chains, and with interchain coupling treated in the random phase approximation, accounts for the major features of the powder-averaged structure factor. The magnetic excitations broaden considerably as temperature is raised, persisting up to above 100 K and displaying a broad transition as previously seen in the susceptibility data. No spin gap is observed in the dispersive spin excitations at low momentum transfer, which is consistent with the gapless spinon continuum expected from the coordinate Bethe ansatz. However, the temperature dependence of the excitation spectrum gives evidence of some very weak interchain coupling.


title: Pole Placement Approach to Coherent Passive Reservoir Engineering for Storing Quantum Information

abstract: Reservoir engineering is the term used in quantum control and information technologies to describe manipulating the environment within which an open quantum system operates. Reservoir engineering is essential in applications where storing quantum information is required. From the control theory perspective, a quantum system is capable of storing quantum information if it possesses a so-called decoherence free subsystem (DFS). This paper explores pole placement techniques to facilitate synthesis of decoherence free subsystems via coherent quantum feedback control. We discuss limitations of the conventional `open loop' approach and propose a constructive feedback design methodology for decoherence free subsystem engineering. It captures a quite general dynamic coherent feedback structure which allows systems with decoherence free modes to be synthesized from components which do not have such modes.


title: Delay, memory, and messaging tradeoffs in distributed service systems

abstract: We consider the following distributed service model: jobs with unit mean, exponentially distributed, and independent processing times arrive as a Poisson process of rate $\lambda n$, with $0<\lambda<1$, and are immediately dispatched by a centralized dispatcher to one of $n$ First-In-First-Out queues associated with $n$ identical servers. The dispatcher is endowed with a finite memory, and with the ability to exchange messages with the servers. We propose and study a resource-constrained "pull-based" dispatching policy that involves two parameters: (i) the number of memory bits available at the dispatcher, and (ii) the average rate at which servers communicate with the dispatcher. We establish (using a fluid limit approach) that the asymptotic, as $n\to\infty$, expected queueing delay is zero when either (i) the number of memory bits grows logarithmically with $n$ and the message rate grows superlinearly with $n$, or (ii) the number of memory bits grows superlogarithmically with $n$ and the message rate is at least $\lambda n$. Furthermore, when the number of memory bits grows only logarithmically with $n$ and the message rate is proportional to $n$, we obtain a closed-form expression for the (now positive) asymptotic delay. Finally, we demonstrate an interesting phase transition in the resource-constrained regime where the asymptotic delay is non-zero. In particular, we show that for any given $\alpha>0$ (no matter how small), if our policy only uses a linear message rate $\alpha n$, the resulting asymptotic delay is upper bounded, uniformly over all $\lambda<1$; this is in sharp contrast to the delay obtained when no messages are used ($\alpha = 0$), which grows as $1/(1-\lambda)$ when $\lambda\uparrow 1$, or when the popular power-of-$d$-choices is used, in which the delay grows as $\log(1/(1-\lambda))$.


title: Unobservable Potentials to Explain Single Photon and Electron Interference

abstract: We show single photon and electron interferences can be calculated without quantum-superposition states by using tensor form (covariant quantization). From the analysis results, the scalar potential which correspond to an indefinite metric vector forms an oscillatory field and causes the interferences. The results clarify the concept of quantum-superposition states is not required for the description of the interference, which leads to an improved understanding of the uncertainty principle and resolution of paradox of reduction of the wave packet, elimination of infinite zero-point energy and derivation of spontaneous symmetry breaking. The results conclude Quantum theory is a kind of deterministic physics without "probabilistic interpretation".


title: Infinite products involving binary digit sums

abstract: Let $(u_n)_{n\ge 0}$ denote the Thue-Morse sequence with values $\pm 1$. The Woods-Robbins identity below and several of its generalisations are well-known in the literature \begin{equation*}\label{WR}\prod_{n=0}^\infty\left(\frac{2n+1}{2n+2}\right)^{u_n}=\frac{1}{\sqrt 2}.\end{equation*} No other such product involving a rational function in $n$ and the sequence $u_n$ seems to be known in closed form. To understand these products in detail we study the function \begin{equation*}f(b,c)=\prod_{n=1}^\infty\left(\frac{n+b}{n+c}\right)^{u_n}.\end{equation*} We prove some analytical properties of $f$. We also obtain some new identities similar to the Woods-Robbins product.


title: Clockwork Higgs portal model for freeze-in dark matter

abstract: The clockwork mechanism can explain interactions which are dimensionally very weak without the need for very large mass scales. We present a model in which the clockwork mechanism generates the very small Higgs portal coupling and dark matter particle mass necessary to explain cold dark matter via the freeze-in mechanism. We introduce a TeV-scale scalar clockwork sector which couples to the Standard Model via the Higgs portal. The dark matter particle is the lightest scalar of the clockwork sector. We show that the freeze-in mechanism is dominated by decay of the heavy clockwork scalars to light dark matter scalars and Higgs bosons. In the model considered, we find that freeze-in dark matter is consistent with the clockwork mechanism for global charge $q$ in the range $2 \lesssim q \lesssim 4$ when the number of massive scalars is in the range $10 \leq N \leq 20$. The dark matter scalar mass and portal coupling are independent of $q$ and $N$. For a typical TeV-scale clockwork sector, the dark matter scalar mass is predicted to be of the order of a MeV.


title: On the inverse problem for two-component unsteady wall shear rate measurements: Application to the electrodiffusion method

abstract: The instantaneous two-dimensional wall shear rate is assessed through an inverse problem using mass transfer data from a three-segment electrodiffusion probe. The method is validated numerically in complex flow conditions involving (i) high amplitude periodic fluctuations on both wall shear rate magnitude and direction and (ii) direct numerical simulation (DNS) data from a turbulent three-dimensional channel flow. The approach is shown to outperform every other post-treatments available for mass transfer sensors, especially regarding its versatility and application range. The impact of the three-segment probe gap size is also examined numerically.


title: Nonsubsampled Graph Filter Banks and Distributed Implementation

abstract: In this paper, we consider nonsubsampled graph filter banks (NSGFBs) to process data on a graph in a distributed manner. Given an analysis filter bank with small bandwidth, we propose algebraic and optimization methods of constructing synthesis filter banks such that the corresponding NSGFBs provide a perfect signal reconstruction in the noiseless setting. Moreover, we prove that the proposed NSGFBs can control the resonance effect in the presence of bounded noise and they can limit the influence of shot noise primarily to a small neighborhood of its location on the graph. For an NSGFB on a graph of large size, a distributed implementation has a significant advantage, since data processing and communication demands for the agent at each vertex depend mainly on its neighboring topology. In this paper, we propose an iterative distributed algorithm to implement the proposed NSGFBs. Based on NSGFBs, we also develop a distributed denoising technique which is demonstrated to have satisfactory performance on noise suppression.


title: Co-training for Demographic Classification Using Deep Learning from Label Proportions

abstract: Deep learning algorithms have recently produced state-of-the-art accuracy in many classification tasks, but this success is typically dependent on access to many annotated training examples. For domains without such data, an attractive alternative is to train models with light, or distant supervision. In this paper, we introduce a deep neural network for the Learning from Label Proportion (LLP) setting, in which the training data consist of bags of unlabeled instances with associated label distributions for each bag. We introduce a new regularization layer, Batch Averager, that can be appended to the last layer of any deep neural network to convert it from supervised learning to LLP. This layer can be implemented readily with existing deep learning packages. To further support domains in which the data consist of two conditionally independent feature views (e.g. image and text), we propose a co-training algorithm that iteratively generates pseudo bags and refits the deep LLP model to improve classification accuracy. We demonstrate our models on demographic attribute classification (gender and race/ethnicity), which has many applications in social media analysis, public health, and marketing. We conduct experiments to predict demographics of Twitter users based on their tweets and profile image, without requiring any user-level annotations for training. We find that the deep LLP approach outperforms baselines for both text and image features separately. Additionally, we find that co-training algorithm improves image and text classification by 4% and 8% absolute F1, respectively. Finally, an ensemble of text and image classifiers further improves the absolute F1 measure by 4% on average.


title: Empower Sequence Labeling with Task-Aware Neural Language Model

abstract: Linguistic sequence labeling is a general modeling approach that encompasses a variety of problems, such as part-of-speech tagging and named entity recognition. Recent advances in neural networks (NNs) make it possible to build reliable models without handcrafted features. However, in many cases, it is hard to obtain sufficient annotations to train these models. In this study, we develop a novel neural framework to extract abundant knowledge hidden in raw texts to empower the sequence labeling task. Besides word-level knowledge contained in pre-trained word embeddings, character-aware neural language models are incorporated to extract character-level knowledge. Transfer learning techniques are further adopted to mediate different components and guide the language model towards the key knowledge. Comparing to previous methods, these task-specific knowledge allows us to adopt a more concise model and conduct more efficient training. Different from most transfer learning methods, the proposed framework does not rely on any additional supervision. It extracts knowledge from self-contained order information of training sequences. Extensive experiments on benchmark datasets demonstrate the effectiveness of leveraging character-level knowledge and the efficiency of co-training. For example, on the CoNLL03 NER task, model training completes in about 6 hours on a single GPU, reaching F1 score of 91.71$\pm$0.10 without using any extra annotation.


title: Exponents governing the rarity of disjoint polymers in Brownian last passage percolation

abstract: In last passage percolation models lying in the KPZ universality class, long maximizing paths have a typical deviation from the linear interpolation of their endpoints governed by the two-thirds power of the interpolating distance. This two-thirds power dictates a choice of scaled coordinates, in which these maximizers, now called polymers, cross unit distances with unit-order fluctuations. In this article, we consider Brownian last passage percolation in these scaled coordinates, and prove that the probability of the presence of $k$ disjoint polymers crossing a unit-order region while beginning and ending within a short distance $\epsilon$ of each other is bounded above by $\epsilon^{(k^2 - 1)/2 \, + \, o(1)}$. This result, which we conjecture to be sharp, yields understanding of the uniform nature of the coalescence structure of polymers, and plays a foundational role in [Ham17c] in proving comparison on unit-order scales to Brownian motion for polymer weight profiles from general initial data. The present paper also contains an on-scale articulation of the two-thirds power law for polymer geometry: polymers fluctuate by $\epsilon^{2/3}$ on short scales $\epsilon$.


title: Meta Networks for Neural Style Transfer

abstract: In this paper we propose a new method to get the specified network parameters through one time feed-forward propagation of the meta networks and explore the application to neural style transfer. Recent works on style transfer typically need to train image transformation networks for every new style, and the style is encoded in the network parameters by enormous iterations of stochastic gradient descent. To tackle these issues, we build a meta network which takes in the style image and produces a corresponding image transformations network directly. Compared with optimization-based methods for every style, our meta networks can handle an arbitrary new style within $19ms$ seconds on one modern GPU card. The fast image transformation network generated by our meta network is only 449KB, which is capable of real-time executing on a mobile device. We also investigate the manifold of the style transfer networks by operating the hidden features from meta networks. Experiments have well validated the effectiveness of our method. Code and trained models has been released https://github.com/FalongShen/styletransfer.


title: Incommensurability of stripes in La_{2-x}Sr_xNiO_{4+y}

abstract: An analytic expression for the incommensurability of static stripes in La_{2-x}Sr_xNiO_{4+y} is given, depending on the hole density n_h = x + 2y. Apart from geometry factors the formula is the same as for stripes in the related cuprates La_{2-x}Ae_xCuO_4 (Ae = Sr, Ba). Agreement with experimental data from neutron and X-ray diffraction is good. The stability of stripes is interpreted in terms of the separation of hole charges residing at every nu^{th} node of the associated magnetization waves.


title: A patchwork quilt sewn from Brownian fabric: regularity of polymer weight profiles in Brownian last passage percolation

abstract: In last passage percolation models lying in the KPZ universality class, the energy of long energy-maximizing paths may be studied as a function of the paths' pair of endpoint locations. Scaled coordinates may be introduced, so that these maximizing paths, or polymers, now cross unit distances with unit-order fluctuations, and have scaled energy, or weight, of unit order. In this article, we consider Brownian last passage percolation in these scaled coordinates. In the narrow wedge case, when one endpoint of such polymers is fixed, say at $(0,0) \in \mathbb{R}^2$, and the other is varied horizontally, over $(z,1)$, $z \in \mathbb{R}$, the polymer weight profile as a function of $z \in \mathbb{R}$ is locally Brownian; indeed, by Theorem $2.11$ and Proposition $2.5$ of [Ham16], the law of the profile is known to enjoy a very strong comparison to Brownian bridge on a given compact interval, with a Radon-Nikodym derivative in every $L^p$ space for $p \in (1,\infty)$, uniformly in the scaling parameter, provided that an affine adjustment is made to the weight profile before the comparison is made. In this article, we generalize this narrow wedge case and study polymer weight profiles begun from a very general initial condition. We prove that the profiles on a compact interval resemble Brownian bridge in a uniform sense: splitting the compact interval into a random but controlled number of patches, the profile in each patch after affine adjustment has a Radon-Nikodym derivative that lies in every $L^p$ space for $p \in (1,3)$. This result is proved by harnessing an understanding of the uniform coalescence structure in the field of polymers developed in [Ham17a] using techniques from [Ham16] and [Ham17b].


title: EAD: Elastic-Net Attacks to Deep Neural Networks via Adversarial Examples

abstract: Recent studies have highlighted the vulnerability of deep neural networks (DNNs) to adversarial examples - a visually indistinguishable adversarial image can easily be crafted to cause a well-trained model to misclassify. Existing methods for crafting adversarial examples are based on $L_2$ and $L_\infty$ distortion metrics. However, despite the fact that $L_1$ distortion accounts for the total variation and encourages sparsity in the perturbation, little has been developed for crafting $L_1$-based adversarial examples. In this paper, we formulate the process of attacking DNNs via adversarial examples as an elastic-net regularized optimization problem. Our elastic-net attacks to DNNs (EAD) feature $L_1$-oriented adversarial examples and include the state-of-the-art $L_2$ attack as a special case. Experimental results on MNIST, CIFAR10 and ImageNet show that EAD can yield a distinct set of adversarial examples with small $L_1$ distortion and attains similar attack performance to the state-of-the-art methods in different attack scenarios. More importantly, EAD leads to improved attack transferability and complements adversarial training for DNNs, suggesting novel insights on leveraging $L_1$ distortion in adversarial machine learning and security implications of DNNs.


title: Modulus of continuity of polymer weight profiles in Brownian last passage percolation

abstract: In last passage percolation models lying in the KPZ universality class, the energy of long energy-maximizing paths may be studied as a function of the paths' pair of endpoint locations. Scaled coordinates may be introduced, so that these maximizing paths, or polymers, now cross unit distances with unit-order fluctuations, and have scaled energy, or weight, of unit order. In this article, we consider Brownian last passage percolation in these scaled coordinates. In the narrow wedge case, one endpoint of such polymers is fixed, say at $(0,0) \in \mathbb{R}^2$, and the other is varied horizontally, over $(z,1)$, $z \in \mathbb{R}$, so that the polymer weight profile may be studied as a function of $z \in \mathbb{R}$. This profile is known to manifest a one-half power law, having $1/2-$-H\"older continuity. The polymer weight profile may be defined beginning from a much more general initial condition. In this article, we present a more general assertion of this one-half power law, as well as a bound on the poly-logarithmic correction. For a very broad class of initial data, the polymer weight profile has a modulus of continuity of the order of $x^{1/2} \big( \log x^{-1} \big)^{2/3}$, with a high degree of uniformity in the scaling parameter and the initial condition.


title: All-optical transistor based on Rydberg atom-assisted opto-mechanical system

abstract: We study the optical response of double optomechanical cavity system assisted by Rydberg atomic ensembles. And atomic ensembles are only coupled with one side cavity by a single cavity mode. It has been realized that a long-range manipulation for optical properties of hybrid system, by controlling the Rydberg atomic ensembles decoupled with the optomechanical cavity. Switching on the coupling between atoms and cavity mode, the original time reversal symmetry of double cavity structure has been broken. Based on the controlled optical non-reciprocity, we put forward the theoretical schemes of all-optical controlled diode, rectifier and transistor.


title: Development of Diagnostics for High-Temperature High-Pressure Liquid Pb-16Li Applications

abstract: Liquid lead-lithium (Pb-16Li) is of primary interest as one of the candidate materials for tritium breeder, neutron multiplier and coolant fluid in liquid metal blanket concepts relevant to fusion power plants. For an effective and reliable operation of such high temperature liquid metal systems, monitoring and control of critical process parameters is essential. However, limited operational experience coupled with high temperature operating conditions and corrosive nature of Pb-16Li severely limits application of commercially available diagnostic tools. This paper illustrates indigenous calibration test facility designs and experimental methods used to develop non-contact configuration level diagnostics using pulse radar level sensor, wetted configuration pressure diagnostics using diaphragm seal type pressure sensor and bulk temperature diagnostics with temperature profiling for high temperature, high pressure liquid Pb and Pb-16Li applications. Calibration check of these sensors was performed using analytical methods, at temperature between 380C-400C and pressure upto 1 MPa (g). Reliability and performance validation were achieved through long duration testing of sensors in liquid Pb and liquid Pb-16Li environment for over 1000 hour. Estimated deviation for radar level sensor lies within [-3.36 mm, +13.64 mm] and the estimated error for pressure sensor lies within 1.1% of calibrated span over the entire test duration. Results obtained and critical observations from these tests are presented in this paper.


title: Detection of titanium oxide in the atmosphere of a hot Jupiter

abstract: As an exoplanet transits its host star, some of the light from the star is absorbed by the atoms and molecules in the planet's atmosphere, causing the planet to seem bigger; plotting the planet's observed size as a function of the wavelength of the light produces a transmission spectrum. Measuring the tiny variations in the transmission spectrum, together with atmospheric modelling, then gives clues to the properties of the exoplanet's atmosphere. Chemical species composed of light elements$-$such as hydrogen, oxygen, carbon, sodium and potassium$-$have in this way been detected in the atmospheres of several hot giant exoplanets, but molecules composed of heavier elements have thus far proved elusive. Nonetheless, it has been predicted that metal oxides such as titanium oxide (TiO) and vanadium oxide occur in the observable regions of the very hottest exoplanetary atmospheres, causing thermal inversions on the dayside. Here we report the detection of TiO in the atmosphere of the hot-Jupiter planet WASP-19b. Our combined spectrum, with its wide spectral coverage, reveals the presence of TiO (to a confidence level of 7.7{\sigma}), a strongly scattering haze (7.4{\sigma}) and sodium (3.4{\sigma}), and confirms the presence of water (7.9{\sigma}) in the atmosphere.


title: Global strong solutions to the 3D full compressible Navier-Stokes system with vacuum in a bounded domain

abstract: In this short paper we establish the global well-posedness of strong solutions to the 3D full compressible Navier-Stokes system with vacuum in a bounded domain $\Omega\subset \mathbb{R}^3$ by the bootstrap argument provided that the viscosity coefficients $\lambda$ and $\mu$ satisfy that $7\lambda>9\mu$ and the initial data $\rho_0$ and $u_0$ satisfy that $\|\rho_0\|_{L^\infty(\Omega)}$ and $\|\rho_0|u_0|^5\|_{L^1(\Omega)}$ are sufficient small.


title: Photocathode Quantum Efficiency of Ultra-Thin Cs2Te Layers On Nb Substrates

abstract: The quantum efficiencies (QE) of photocathodes consisting of bulk Nb substrates coated with thin films of Cs2Te are reported. Using the standard recipe for Cs2Te deposition developed for Mo substrates (220 {\AA} Te thickness), a QE ~11% - 13% at light wavelength of 248 nm is achieved for the Nb substrates, consistent with that found on Mo. Systematic reduction of the Te thickness for both Mo and Nb substrates reveals a surprisingly high residual QE ~ 6% for a Te layer as thin as 15 {\AA}. A phenomenological model based on the Spicer 3-Step model along with a solution of the Fresnel equations for reflectance, R, leads to a reasonable fit of the thickness dependence of QE and suggests that layers thinner than 15 {\AA} may still have a relatively high QE. Preliminary investigation suggests an increased operational lifetime as well. Such an ultra-thin, semiconducting Cs2Te layer may be expected to produce minimal ohmic losses for RF frequencies ~ 1 GHz. The result thus opens the door to the potential development of a Nb (or Nb3Sn) superconducting photocathode with relatively high QE and minimal RF impedance to be used in a superconducting radiofrequency (SRF) photoinjector.


title: Sketch-pix2seq: a Model to Generate Sketches of Multiple Categories

abstract: Sketch is an important media for human to communicate ideas, which reflects the superiority of human intelligence. Studies on sketch can be roughly summarized into recognition and generation. Existing models on image recognition failed to obtain satisfying performance on sketch classification. But for sketch generation, a recent study proposed a sequence-to-sequence variational-auto-encoder (VAE) model called sketch-rnn which was able to generate sketches based on human inputs. The model achieved amazing results when asked to learn one category of object, such as an animal or a vehicle. However, the performance dropped when multiple categories were fed into the model. Here, we proposed a model called sketch-pix2seq which could learn and draw multiple categories of sketches. Two modifications were made to improve the sketch-rnn model: one is to replace the bidirectional recurrent neural network (BRNN) encoder with a convolutional neural network(CNN); the other is to remove the Kullback-Leibler divergence from the objective function of VAE. Experimental results showed that models with CNN encoders outperformed those with RNN encoders in generating human-style sketches. Visualization of the latent space illustrated that the removal of KL-divergence made the encoder learn a posterior of latent space that reflected the features of different categories. Moreover, the combination of CNN encoder and removal of KL-divergence, i.e., the sketch-pix2seq model, had better performance in learning and generating sketches of multiple categories and showed promising results in creativity tasks.


title: Uniqueness and stability of Ricci flow through singularities

abstract: We verify a conjecture of Perelman, which states that there exists a canonical Ricci flow through singularities starting from an arbitrary compact Riemannian 3-manifold. Our main result is a uniqueness theorem for such flows, which, together with an earlier existence theorem of Lott and the second named author, implies Perelman's conjecture. We also show that this flow through singularities depends continuously on its initial condition and that it may be obtained as a limit of Ricci flows with surgery. Our results have applications to the study of diffeomorphism groups of three manifolds --- in particular to the Generalized Smale Conjecture --- which will appear in a subsequent paper.


title: Mitigating Overexposure in Viral Marketing

abstract: In traditional models for word-of-mouth recommendations and viral marketing, the objective function has generally been based on reaching as many people as possible. However, a number of studies have shown that the indiscriminate spread of a product by word-of-mouth can result in overexposure, reaching people who evaluate it negatively. This can lead to an effect in which the over-promotion of a product can produce negative reputational effects, by reaching a part of the audience that is not receptive to it. How should one make use of social influence when there is a risk of overexposure? In this paper, we develop and analyze a theoretical model for this process; we show how it captures a number of the qualitative phenomena associated with overexposure, and for the main formulation of our model, we provide a polynomial-time algorithm to find the optimal marketing strategy. We also present simulations of the model on real network topologies, quantifying the extent to which our optimal strategies outperform natural baselines


title: On a conformally invariant integral equation involving Poisson kernel

abstract: We study a prescribing functions problem of a conformally invariant integral equation involving Poisson kernel on the unit ball. This integral equation is not the dual of any standard type of PDE. As in Nirenberg problem, there exists a Kazdan-Warner type obstruction to existence of solutions. We prove existence in the antipodal symmetry functions class.


title: Universality of oscillating boiling in Leidenfrost transition

abstract: The Leidenfrost transition leads a boiling system to the boiling crisis, a state in which the liquid loses contact with the heated surface due to excessive vapor generation. Here, using experiments of liquid droplets boiling on a heated surface, we report a new phenomenon, termed oscillating boiling, at the Leidenfrost transition. We show that oscillating boiling results from the competition between two effects: separation of liquid from the heated surface due to localized boiling, and rewetting. We argue theoretically that the Leidenfrost transition can be predicted based on its link with the oscillating boiling phenomenon, and verify the prediction experimentally for various liquids.


title: Advanced Algorithms for Penalized Quantile and Composite Quantile Regression

abstract: In this paper, we discuss a family of robust, high-dimensional regression models for quantile and composite quantile regression, both with and without an adaptive lasso penalty for variable selection. We reformulate these quantile regression problems and obtain estimators by applying the alternating direction method of multipliers (ADMM), majorize-minimization (MM), and coordinate descent (CD) algorithms. Our new approaches address the lack of publicly available methods for (composite) quantile regression, especially for high-dimensional data, both with and without regularization. Through simulation studies, we demonstrate the need for different algorithms applicable to a variety of data settings, which we implement in the cqrReg package for R. For comparison, we also introduce the widely used interior point (IP) formulation and test our methods against the IP algorithms in the existing quantreg package. Our simulation studies show that each of our methods, particularly MM and CD, excel in different settings such as with large or high-dimensional data sets, respectively, and outperform the methods currently implemented in quantreg. The ADMM approach offers specific promise for future developments in its amenability to parallelization and scalability.


title: Determination of Angle of Light Deflection in Higher-Derivative Gravity Theories

abstract: Gravitational light deflection is known as one of three classical tests of general relativity and the angle of deflection may be computed explicitly using approximate or exact solutions describing the gravitational force generated from a point mass. In various generalized gravity theories, however, such explicit determination is often impossible due to the difficulty with obtaining an exact expression for the deflection angle. In this work, we present some highly effective globally convergent iterative methods to determine the angle of semiclassical gravitational deflection in higher- and infinite-derivative formalisms of quantum gravity theories. We also establish the universal properties that the deflection angle always stays below the classical Einstein angle and is a strictly decreasing function of the incident photon energy, in these formalisms.


title: Vortex Variable Range Hopping in a Conventional Superconducting Film

abstract: The behavior of a disordered amorphous thin film of superconducting Indium Oxide has been studied as a function of temperature and magnetic field applied perpendicular to its plane. A superconductor-insulator transition has been observed, though the isotherms do not cross at a single point. The curves of resistance vs. temperature on the putative superconducting side of this transition, where the resistance decreases with decreasing temperature, obey two-dimensional Mott variable-range hopping of vortices over wide ranges of temperature and resistance. To estimate the parameters of hopping, the film is modeled as a granular system and the hopping of vortices is treated in a manner analogous to hopping of charges. The reason the long range interaction between vortices over the range of magnetic fields investigated does not lead to a stronger variation of resistance with temperature than that of two-dimensional Mott variable-range hopping remains unresolved.


title: HitFraud: A Broad Learning Approach for Collective Fraud Detection in Heterogeneous Information Networks

abstract: On electronic game platforms, different payment transactions have different levels of risk. Risk is generally higher for digital goods in e-commerce. However, it differs based on product and its popularity, the offer type (packaged game, virtual currency to a game or subscription service), storefront and geography. Existing fraud policies and models make decisions independently for each transaction based on transaction attributes, payment velocities, user characteristics, and other relevant information. However, suspicious transactions may still evade detection and hence we propose a broad learning approach leveraging a graph based perspective to uncover relationships among suspicious transactions, i.e., inter-transaction dependency. Our focus is to detect suspicious transactions by capturing common fraudulent behaviors that would not be considered suspicious when being considered in isolation. In this paper, we present HitFraud that leverages heterogeneous information networks for collective fraud detection by exploring correlated and fast evolving fraudulent behaviors. First, a heterogeneous information network is designed to link entities of interest in the transaction database via different semantics. Then, graph based features are efficiently discovered from the network exploiting the concept of meta-paths, and decisions on frauds are made collectively on test instances. Experiments on real-world payment transaction data from Electronic Arts demonstrate that the prediction performance is effectively boosted by HitFraud with fast convergence where the computation of meta-path based features is largely optimized. Notably, recall can be improved up to 7.93% and F-score 4.62% compared to baselines.


title: Atomistic mechanism for trapped-charge driven degradation of perovskite solar cells

abstract: It is unmistakably paradoxical that the weakest point of the photoactive organic-inorganic hybrid perovskite is its instability against light. Why and how perovskites break down under light irradiation and what happens at the atomistic level during the degradation still remains unanswered. In this paper, we revealed the fundamental origin and mechanism for irreversible degradation of hybrid perovskite materials from our new experimental results and ab initio molecular dynamics (AIMD) simulations. We found that the photo-generated charges trapped along the grain boundaries of the perovskite crystal result in oxygen-induced irreversible degradation in air even in the absence of moisture. The present result, together with our previous experimental finding on the same critical role of trapped charges in the perovskite degradation under moisture, suggests that the trapped charges are the main culprit in both the oxygen- and moisture-induced degradation of perovskite materials. More detailed roles of oxygen and water molecules were investigated by tracking the atomic motions of the oxygen- or water-covered CH3NH3PbI3(MAPbI3) perovskite crystal surface with trapped charges via AIMD simulation. In the first few picoseconds of our simulation, trapped charges start disrupting the crystal structure, leading to a close-range interaction between oxygen or water molecules and the compositional ions of MAPbI3. We found that there are different degradation pathways depending on both the polarity of the trapped charge and the kind of gas molecule. Especially, the deprotonation of organic cations was theoretically predicted for the first time in the presence of trapped anionic charges and water molecules. We confirmed that a more structurally stable, multi-component perovskite material(MA0.6FA0.4PbI2.9Br0.1) exhibited a much longer lifespan than MAPbI3 under light irradiation even in 100% oxygen ambience.


title: Highly entangled-photon pairs generated from the biexciton cascade transition in a quantum dot-metal nanoparticle hybrid system

abstract: The entanglement between photon pairs generated from the biexciton cascade transition in a semi- conductor quantum dot located in the vicinity of a metal nanoparticle is theoretically investigated. In the model scheme, the biexciton-exciton and exciton-ground state transitions are assumed to be coupled to two principal plasmon modes of orthogonal polarizations. For a broad spectral window, because the horizontal and vertical spectra are overlapped, the biexciton and exciton photons are degenerate in energy. This allows us to overcome the natural splitting between the intermediate exciton states. Moreover, the degree of entanglement depends on the geometrical parameters of the system. i.e., the radius of the metal nanoparticle and the distance between the quantum dot and the nanoparticle. The results reveal that such a hybrid system profoundly modifies the photon entanglement even in the absence of strong coupling between the emitter and the metal nanosphere.


title: Generalized analytical solutions and experimental confirmation of complete synchronization in a class of mutually-coupled simple nonlinear electronic circuits

abstract: In this paper, we present a novel explicit analytical solution for the normalized state equations of mutually-coupled simple chaotic systems. A generalized analytical solution is obtained for a class of simple nonlinear electronic circuits with two different nonlinear elements. The synchronization dynamics of the circuit systems were studied using the analytical solutions. the analytical results thus obtained have been validated through numerical simulation results. Further, we provide a sufficient condition for synchronization in mutually-coupled, second-order simple chaotic systems through an analysis on the eigenvalues of the difference system. The bifurcation of the eigenvalues of the difference system as functions of the coupling parameter in each of the piecewise-linear regions, revealing the existence of stable synchronized states is presented. The stability of synchronized states are studied using the {\emph{Master Stability Function}}. Finally, the electronic circuit experimental results confirming the phenomenon of complete synchronization in each of the circuit system is presented.


title: Planetary Ices and the Linear Mixing Approximation

abstract: The validity of the widely used linear mixing approximation for the equations of state (EOS) of planetary ices is investigated at pressure-temperature conditions typical for the interior of Uranus and Neptune. The basis of this study are ab initio data ranging up to 1000 GPa and 20 000 K calculated via density functional theory molecular dynamics simulations. In particular, we calculate a new EOS for methane and EOS data for the 1:1 binary mixtures of methane, ammonia, and water, as well as their 2:1:4 ternary mixture. Additionally, the self-diffusion coefficients in the ternary mixture are calculated along three different Uranus interior profiles and compared to the values of the pure compounds. We find that deviations of the linear mixing approximation from the results of the real mixture are generally small; for the thermal EOS they amount to 4% or less. The diffusion coefficients in the mixture agree with those of the pure compounds within 20% or better. Finally, a new adiabatic model of Uranus with an inner layer of almost pure ices is developed. The model is consistent with the gravity field data and results in a rather cold interior ($\mathrm{T_{core}} \mathtt{\sim}$ 4000 K).


title: Exploring the expansion dynamics of the universe from galaxy cluster surveys

abstract: To understand the expansion dynamics of the universe from galaxy cluster scales, using the angular diameter distance (ADD) data from two different galaxy cluster surveys, we constrain four cosmological models to explore the underlying value of $H_0$ and employ the model-independent Gaussian Processes to investigate the evolution of the equation of state of dark energy. The ADD data in the X-ray bands consists of two samples covering the redshift ranges [0.023, 0.784] and [0.14, 0.89], respectively. We find that: (i) For these two samples, the obtained values of $H_0$ are more consistent with the recent local observation by Riess et al. than the global measurement by the Plank Collaboration, and the $\Lambda$CDM model is still preferred utilizing the information criterions; (ii) For the first sample, there is no evidence of dynamical dark energy (DDE) at the $2\sigma$ confidence level (CL); (iii) For the second one, the reconstructed equation of state of dark energy exhibits a phantom-crossing behavior in the relatively low redshift range over the $2\sigma$ CL, which gives a hint that the late-time universe may be actually dominated by the DDE from galaxy cluster scales; (iv) By adding a combination of Type Ia Supernovae, cosmic chronometers and Planck-2015 shift parameter and HII galaxy measurements into both ADD samples, the DDE exists evidently over the $2\sigma$ CL.


title: Weighted Orthogonal Components Regression Analysis

abstract: In the multiple linear regression setting, we propose a general framework, termed weighted orthogonal components regression (WOCR), which encompasses many known methods as special cases, including ridge regression and principal components regression. WOCR makes use of the monotonicity inherent in orthogonal components to parameterize the weight function. The formulation allows for efficient determination of tuning parameters and hence is computationally advantageous. Moreover, WOCR offers insights for deriving new better variants. Specifically, we advocate weighting components based on their correlations with the response, which leads to enhanced predictive performance. Both simulated studies and real data examples are provided to assess and illustrate the advantages of the proposed methods.


title: Recursive Exponential Weighting for Online Non-convex Optimization

abstract: In this paper, we investigate the online non-convex optimization problem which generalizes the classic {online convex optimization problem by relaxing the convexity assumption on the cost function. For this type of problem, the classic exponential weighting online algorithm has recently been shown to attain a sub-linear regret of $O(\sqrt{T\log T})$. In this paper, we introduce a novel recursive structure to the online algorithm to define a recursive exponential weighting algorithm that attains a regret of $O(\sqrt{T})$, matching the well-known regret lower bound. To the best of our knowledge, this is the first online algorithm with provable $O(\sqrt{T})$ regret for the online non-convex optimization problem.


title: Models and Framework for Adversarial Attacks on Complex Adaptive Systems

abstract: We introduce the paradigm of adversarial attacks that target the dynamics of Complex Adaptive Systems (CAS). To facilitate the analysis of such attacks, we present multiple approaches to the modeling of CAS as dynamical, data-driven, and game-theoretic systems, and develop quantitative definitions of attack, vulnerability, and resilience in the context of CAS security. Furthermore, we propose a comprehensive set of schemes for classification of attacks and attack surfaces in CAS, complemented with examples of practical attacks. Building on this foundation, we propose a framework based on reinforcement learning for simulation and analysis of attacks on CAS, and demonstrate its performance through three real-world case studies of targeting power grids, destabilization of terrorist organizations, and manipulation of machine learning agents. We also discuss potential mitigation techniques, and remark on future research directions in analysis and design of secure complex adaptive systems.


title: Certain Class of Analytic Functions Based on $q$-difference operator

abstract: In this paper, we considered a generalized class of starlike functions defined by Kanas and R\u{a}ducanu\cite{10} to obtain integral means inequalities and subordination results. Further, we obtain the for various subclasses of starlike functions.


title: The Least-Area Tetrahedral Tile of Space

abstract: We determine the least-area unit-volume tetrahedral tile of Euclidean space, without the constraint of Gallagher et al. that the tiling uses only orientation-preserving images of the tile. The winner remains Sommerville's type 4v.


title: Robust quantum switch with Rydberg excitations

abstract: We develop an approach to realize a quantum switch for Rydberg excitation in atoms with $Y$-typed level configuration. We find that the steady population on two different Rydberg states can be reversibly exchanged in a controllable way by properly tuning the Rydberg-Rydberg interaction. Moreover, our numerical simulations verify that the switching scheme is robust against spontaneous decay, environmental disturbance, as well as the duration of operation on the interaction, and also a high switching efficiency is quite attainable, which makes it have potential applications in quantum information processing and other Rydberg-based quantum technologies.


title: Finslerian Universe May Reconcile Tensions between High and Low Redshift Probes

abstract: To reconcile the current tensions between high and low redshift observations, we perform the first constraints on the Finslerian cosmological models including the effective dark matter and dark energy components. We find that all the four Finslerian models could alleviate effectively the Hubble constant ($H_0$) tension and the amplitude of the root-mean-square density fluctuations ($\sigma_8$) tension between the Planck measurements and the local Universe observations at the 68$\%$ confidence level. The addition of a massless sterile neutrino and a varying total mass of active neutrinos to the base Finslerian two-parameter model, respectively, reduces the $H_0$ tension from $3.4\sigma$ to $1.9\sigma$ and alleviates the $\sigma_8$ tension better than the other three Finslerian models. Computing the Bayesian evidence, with respect to $\Lambda$CDM model, our analysis shows a weak preference for the base Finslerian model and moderate preferences for its three one-parameter extensions. Based on the model-independent Gaussian Processes, we propose a new linear relation which can describe the current redshift space distortions data very well. Using the most stringent constraints we can provide, we have also obtained the limits of typical model parameters for three one-parameter extensional models.


title: Set Theory Axioms Using Explication

abstract: This paper provides a complete suite of axioms for a version of set theory that I call Explication. Explication borrows from the two most prominent existing systems of set theory. Explication starts with class variables. After several steps, some of these class variables are identified as sets. The most crucial step is to identify classes which can explicitly say, in a finite statement, which other classes are its members. The reader is cautioned that the suite of axioms presented is a complete treatment of Explication. Statements which may or may not be true in other axiom systems are not significant.


title: Periodic representations in algebraic bases

abstract: We study periodic representations in number systems with an algebraic base $\beta$ (not a rational integer). We show that if $\beta$ has no Galois conjugate on the unit circle, then there exists a finite integer alphabet $\mathcal A$ such that every element of $\mathbb Q(\beta)$ admits an eventually periodic representation with base $\beta$ and digits in $\mathcal A$.


title: Regulators of K_1 of Hypergeometric Fibrations

abstract: We study a deformation of what we call hypergeometric fibrations. Its periods and K_1-regulators are described in terms of hypergeometric functions 3F2 in a variable given by the deformation parameter.


title: Time Integrating Articulated Body Dynamics Using Position-Based Collocation Method

abstract: We present a new time integrator for articulated body dynamics. We formulate the governing equations of the dynamics using only the position variables and recast the position-based articulated dynamics as an optimization problem. Our reformulation allows us to integrate the dynamics in a fully implicit manner without computing high-order derivatives. Therefore, under arbitrarily large timestep sizes, the stability of our time integration scheme is guaranteed using an off-the-shelf numerical optimizer. In addition to stability, we show that, similar to the Runge-Kutta method, the accuracy of our time integrator can also be increased arbitrarily by using a high-order collocation method. We provide efficient algorithms to perform time integration using our position-based formulation. We show that each iteration of optimization has a complexity of O(N) using Quasi-Newton method or O(N^2) using Newton's method, where N is the number of links. Finally, our method is highly parallelizable and can be accelerated using a Graphics Processing Unit (GPU). We highlight the efficiency and stability of our method on different benchmarks and compare the performance with prior articulated body dynamics simulation methods based on the Newton-Euler's equation. Our method is stable under a timestep size as large as 0.1s. Using a larger timestep size and less timesteps, our method achieves up to 4 times speedup on a single-core CPU. With GPU acceleration, we observe an additional 3-6 times speedup over a 4-core CPU.


title: Smoothing estimates for the kinetic transport equation at the critical regularity

abstract: We prove smoothing estimates for velocity averages of the kinetic transport equation in hyperbolic Sobolev spaces at the critical regularity, leading to a complete characterisation of the allowable regularity exponents. Such estimates will be deduced from some mixed-norm estimates for the cone multiplier operator at a certain critical index. Our argument is not particular to the geometry of the cone and we illustrate this by establishing analogous estimates for the paraboloid.


title: Electrochemical Impedance Imaging via the Distribution of Diffusion Times

abstract: We develop a mathematical framework to analyze electrochemical impedance spectra in terms of a distribution of diffusion times (DDT) for a parallel array of random finite-length Warburg (diffusion) or Gerischer (reaction-diffusion) circuit elements. A robust DDT inversion method is presented based on Complex Nonlinear Least Squares (CNLS) regression with Tikhonov regularization and illustrated for three cases of nanostructured electrodes for energy conversion: (i) a carbon nanotube supercapacitor, (ii) a silicon nanowire Li-ion battery, and (iii) a porous-carbon vanadium flow battery. The results demonstrate the feasibility of non-destructive "impedance imaging" to infer microstructural statistics of random, heterogeneous materials.


title: Data offloading in mobile edge computing: A coalitional game based pricing approach

abstract: Mobile edge computing (MEC), affords service to the vicinity of mobile devices (MDs), has become a key technology for future network. Offloading big data to the MEC server for preprocessing is a attractive choice of MDs. In the paper, we investigate data offloading from MDs to MEC servers. A coalitional game based pricing scheme is proposed. We apply coalitional game to depict the offloading relationship between MDs and MEC servers, and utilize pricing as the stimuli for the offloading. A scheduled MD chooses one MEC server within the same coalition for offloading, and pays the selected MEC server for the MEC service. We formulate a coalitional game, where MDs and MEC servers are players and their utilities are respectively defined. Next, we analyze the formulated game. Specially, the core is studied. Finally, utility performance of the proposed scheme under the 2-MD and 2-MEC- server scenario are demonstrated.


title: Multi-level Memristive Memory with Resistive Networks

abstract: Analog memory is of great importance in neurocomputing technologies field, but still remains difficult to implement. With emergence of memristors in VLSI technologies the idea of designing scalable analog data storage elements finds its second wind. A memristor, known for its history dependent resistance levels, independently can provide blocks of binary or discrete state data storage. However, using single memristor to save the analog value is practically limited due to the device variability and implementation complexity. In this paper, we present a new design of discrete state memory cell consisting of subcells constructed from a memristor and its resistive network. A memristor in the sub-cells provides the storage element, while its resistive network is used for programming its resistance. Several sub-cells are then connected in parallel, resembling potential divider configuration. The output of the memory cell is the voltage resulting from distributing the input voltage among the sub-cells. Here, proposed design was programmed to obtain 10 and 27 different output levels depending on the configuration of the combined resistive networks within the sub-cell. Despite the simplicity of the circuit, this realization of multilevel memory provides increased number of output levels compared to previous designs of memory technologies based on memristors. Simulation results of proposed memory are analyzed providing explicit data on the issues of distinguishing discrete analog output levels and sensitivity of the cell to oscillations in write signal patterns.


title: Probing the inter-layer exciton physics in a MoS$_2$/MoSe$_2$/MoS$_2$ van der Waals heterostructure

abstract: Stacking atomic monolayers of semiconducting transition metal dichalcogenides (TMDs) has emerged as an effective way to engineer their properties. In principle, the staggered band alignment of TMD heterostructures should result in the formation of inter-layer excitons with long lifetimes and robust valley polarization. However, these features have been observed simultaneously only in MoSe$_2$/WSe$_2$ heterostructures. Here we report on the observation of long lived inter-layer exciton emission in a MoS$_2$/MoSe$_2$/MoS$_2$ trilayer van der Waals heterostructure. The inter-layer nature of the observed transition is confirmed by photoluminescence spectroscopy, as well as by analyzing the temporal, excitation power and temperature dependence of the inter-layer emission peak. The observed complex photoluminescence dynamics suggests the presence of quasi-degenerate momentum-direct and momentum-indirect bandgaps. We show that circularly polarized optical pumping results in long lived valley polarization of inter-layer exciton. Intriguingly, the inter-layer exciton photoluminescence has helicity opposite to the excitation. Our results show that through a careful choice of the TMDs forming the van der Waals heterostructure it is possible to control the circular polarization of the inter-layer exciton emission.


title: On the decay of correlations in the random field Ising model

abstract: In a celebrated 1990 paper, Aizenman and Wehr proved that the two-dimensional random field Ising model has a unique infinite volume Gibbs state at any temperature. The proof is ergodic-theoretic in nature and does not provide any quantitative information. This article proves the first quantitative version of the Aizenman-Wehr theorem. The proof introduces a new method for proving decay of correlations that may be interesting in its own right. A fairly detailed sketch of the main ideas behind the proof is also included.


title: Deadlock detection of Java Bytecode

abstract: This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the components of the Java intermediate language -- the Java bytecode. Models are subsequently analysed by means of an extension of a solver that we have defined for detecting deadlocks in process calculi. Our technique is complemented by a prototype verifier that also covers most of the Java features.


title: Spectral identification of networks with inputs

abstract: We consider a network of interconnected dynamical systems. Spectral network identification consists in recovering the eigenvalues of the network Laplacian from the measurements of a very limited number (possibly one) of signals. These eigenvalues allow to deduce some global properties of the network, such as bounds on the node degree. Having recently introduced this approach for autonomous networks of nonlinear systems, we extend it here to treat networked systems with external inputs on the nodes, in the case of linear dynamics. This is more natural in several applications, and removes the need to sometimes use several independent trajectories. We illustrate our framework with several examples, where we estimate the mean, minimum, and maximum node degree in the network. Inferring some information on the leading Laplacian eigenvectors, we also use our framework in the context of network clustering.