title: Topological mechanics of edge waves in Kagome lattices

abstract: Topological insulators are new phases of matter whose properties are derived from a number of qualitative yet robust topological invariants rather than specific geometric features or constitutive parameters. Here, Kagome lattices are classified based on a topological invariant directly related to the handedness of a couple of elliptically polarized stationary eigenmodes in the context of what is known as the "quantum valley Hall effect" in physics literature. An interface separating two topologically distinct lattices, i.e., two lattices with different topological invariants, is then proven to host two topological Stoneley waves whose frequencies, shapes and decay and propagation velocities are quantified. Conversely, an interface separating two topologically equivalent lattices will host no Stoneley waves. Analysis is based on an asymptotic model derived through a modified high-frequency homogenization procedure. This case study constitutes the first implementation of the quantum valley Hall effect in in-plane elasticity. A preliminary discussion of 1D lattices is included to provide relevant background on topological effects in a simple analytical framework.


title: On the Properties of Blue Large-Amplitude Pulsators. No BLAPs in the Magellanic Clouds

abstract: We present the properties of the recently discovered class of variable stars, Blue Large-Amplitude Pulsators (BLAPs). These extremely rare, short-period pulsating objects were detected thanks to regular, high-cadence observations of hundreds of millions of Milky Way stars by the OGLE variability survey. The new variables closely resemble classical pulsators, Cepheids, and RR Lyrae-type stars, but at effective temperatures at which pulsations are due to the presence of iron-group elements. Theory shows that BLAPs are evolved low-mass stars with a giant-like structure, but their origin remains a mystery. In this contribution, we report the negative result of a search for BLAPs in the whole Magellanic System.


title: A wide-spectrum language for verification of programs on weak memory models

abstract: Modern processors deploy a variety of weak memory models, which for efficiency reasons may (appear to) execute instructions in an order different to that specified by the program text. The consequences of instruction reordering can be complex and subtle, and can impact on ensuring correctness. Previous work on the semantics of weak memory models has focussed on the behaviour of assembler-level programs. In this paper we utilise that work to extract some general principles underlying instruction reordering, and apply those principles to a wide-spectrum language encompassing abstract data types as well as low-level assembler code. The goal is to support reasoning about implementations of data structures for modern processors with respect to an abstract specification. Specifically, we define an operational semantics, from which we derive some properties of program refinement, and encode the semantics in the rewriting engine Maude as a model-checking tool. The tool is used to validate the semantics against the behaviour of a set of litmus tests (small assembler programs) run on hardware, and also to model check implementations of data structures from the literature against their abstract specifications.


title: Adversarially Regularized Graph Autoencoder for Graph Embedding

abstract: Graph embedding is an effective method to represent graph data in a low dimensional space for graph analytics. Most existing embedding algorithms typically focus on preserving the topological structure or minimizing the reconstruction errors of graph data, but they have mostly ignored the data distribution of the latent codes from the graphs, which often results in inferior embedding in real-world graph data. In this paper, we propose a novel adversarial graph embedding framework for graph data. The framework encodes the topological structure and node content in a graph to a compact representation, on which a decoder is trained to reconstruct the graph structure. Furthermore, the latent representation is enforced to match a prior distribution via an adversarial training scheme. To learn a robust embedding, two variants of adversarial approaches, adversarially regularized graph autoencoder (ARGA) and adversarially regularized variational graph autoencoder (ARVGA), are developed. Experimental studies on real-world graphs validate our design and demonstrate that our algorithms outperform baselines by a wide margin in link prediction, graph clustering, and graph visualization tasks.


title: REAS: Combining Numerical Optimization with SAT Solving

abstract: In this paper, we present ReaS, a technique that combines numerical optimization with SAT solving to synthesize unknowns in a program that involves discrete and floating point computation. ReaS makes the program end-to-end differentiable by smoothing any Boolean expression that introduces discontinuity such as conditionals and relaxing the Boolean unknowns so that numerical optimization can be performed. On top of this, ReaS uses a SAT solver to help the numerical search overcome local solutions by incrementally fixing values to the Boolean expressions. We evaluated the approach on 5 case studies involving hybrid systems and show that ReaS can synthesize programs that could not be solved by previous SMT approaches.


title: Dynamic Bounds on Stochastic Chemical Kinetic Systems Using Semidefinite Programming

abstract: Applying the method of moments to the chemical master equation (CME) appearing in stochastic chemical kinetics often leads to the so-called closure problem. Recently, several authors showed that this problem can be partially overcome using moment-based semidefinite programs (SDPs). In particular, they showed that moment-based SDPs can be used to calculate rigorous bounds on various descriptions of the stochastic chemical kinetic system's stationary distribution(s) -- for example, mean molecular counts, variances in these counts, and so on. In this paper, we show that these ideas can be extended to the corresponding dynamic problem, calculating time-varying bounds on the same descriptions.


title: Smart Contract-Based Access Control for the Internet of Things

abstract: This paper investigates a critical access control issue in the Internet of Things (IoT). In particular, we propose a smart contract-based framework, which consists of multiple access control contracts (ACCs), one judge contract (JC) and one register contract (RC), to achieve distributed and trustworthy access control for IoT systems. Each ACC provides one access control method for a subject-object pair, and implements both static access right validation based on predefined policies and dynamic access right validation by checking the behavior of the subject. The JC implements a misbehavior-judging method to facilitate the dynamic validation of the ACCs by receiving misbehavior reports from the ACCs, judging the misbehavior and returning the corresponding penalty. The RC registers the information of the access control and misbehavior-judging methods as well as their smart contracts, and also provides functions (e.g., register, update and delete) to manage these methods. To demonstrate the application of the framework, we provide a case study in an IoT system with one desktop computer, one laptop and two Raspberry Pi single-board computers, where the ACCs, JC and RC are implemented based on the Ethereum smart contract platform to achieve the access control.


title: Poincar\'e type and spectral gap inequalities with fractional Laplacians on Hamming cube

abstract: We prove here some dimension free Poincar\'e-type inequalities on Hamming cube for functions with different spectral properties and for fractional Laplacians. In this note the main attention is paid to estimates in $L^1$ norm on Hamming cube. We build the examples showing that our assumptions on spectral properties of functions cannot be dropped in general.


title: Efficient Exploration through Bayesian Deep Q-Networks

abstract: We study reinforcement learning (RL) in high dimensional episodic Markov decision processes (MDP). We consider value-based RL when the optimal Q-value is a linear function of d-dimensional state-action feature representation. For instance, in deep-Q networks (DQN), the Q-value is a linear function of the feature representation layer (output layer). We propose two algorithms, one based on optimism, LINUCB, and another based on posterior sampling, LINPSRL. We guarantee frequentist and Bayesian regret upper bounds of O(d sqrt{T}) for these two algorithms, where T is the number of episodes. We extend these methods to deep RL and propose Bayesian deep Q-networks (BDQN), which uses an efficient Thompson sampling algorithm for high dimensional RL. We deploy the double DQN (DDQN) approach, and instead of learning the last layer of Q-network using linear regression, we use Bayesian linear regression, resulting in an approximated posterior over Q-function. This allows us to directly incorporate the uncertainty over the Q-function and deploy Thompson sampling on the learned posterior distribution resulting in efficient exploration/exploitation trade-off. We empirically study the behavior of BDQN on a wide range of Atari games. Since BDQN carries out more efficient exploration and exploitation, it is able to reach higher return substantially faster compared to DDQN.


title: What is the Sharpe Ratio, and how can everyone get it wrong?

abstract: The Sharpe ratio is the most widely used risk metric in the quantitative finance community - amazingly, essentially everyone gets it wrong. In this note, we will make a quixotic effort to rectify the situation.


title: Motion of a Rigid Body in a Special Lorentz Gas: Loss of Memory Effect

abstract: Linear motion of a rigid body in a special kind of Lorentz gas is mathematically analyzed. The rigid body moves against gas drag according to Newton's equation. The gas model is a special Lorentz gas consisting of gas molecules and background obstacles, which was introduced in~(Tsuji and Aoki: J. Stat. Phys. \textbf{146}, 620--645, 2012). The specular boundary condition is imposed on the resulting kinetic equation. This study complements the numerical study by Tsuji and Aoki cited above --- although the setting in this paper is slightly different from theirs, qualitatively the same asymptotic behavior is proved: The velocity $V(t)$ of the rigid body decays exponentially if the obstacles undergo thermal motion; if the obstacles are motionless, then the velocity $V(t)$ decays algebraically with a rate $t^{-5}$ independent of the spatial dimension. This demonstrates the idea that interaction of the molecules with the background obstacles destroy the memory effect due to recollision.


title: Excitation Mechanisms for Jovian Seismic Modes

abstract: Recent (2011) results from the Nice Observatory indicate the existence of global seismic modes on Jupiter in the frequency range between 0.7 and 1.5mHz with amplitudes of tens of cm/s. Currently, the driving force behind these modes is a mystery; the measured amplitudes are many orders of magnitude larger than anticipated based on theory analogous to heliosiesmology (that is, turbulent convection as a source of stochastic excitation). One of the most promising hypotheses is that these modes are driven by Jovian storms. This work constructs a framework to analytically model the expected equilibrium normal mode amplitudes arising from convective columns in storms. We also place rough constraints on Jupiter's seismic modal quality factor. Using this model, neither meteor strikes, turbulent convection, nor water storms can feasibly excite the order of magnitude of observed amplitudes. Next we speculate about the potential role of rock storms deeper in Jupiter's atmosphere, because the rock storms' expected energy scales make them promising candidates to be the chief source of excitation for Jovian seismic modes, based on simple scaling arguments. We also suggest some general trends in the expected partition of energy between different frequency modes. Finally we supply some commentary on potential applications to gravity, Juno, Cassini and Saturn, and future missions to Uranus and Neptune.


title: Neural Tensor Factorization

abstract: Neural collaborative filtering (NCF) and recurrent recommender systems (RRN) have been successful in modeling user-item relational data. However, they are also limited in their assumption of static or sequential modeling of relational data as they do not account for evolving users' preference over time as well as changes in the underlying factors that drive the change in user-item relationship over time. We address these limitations by proposing a Neural Tensor Factorization (NTF) model for predictive tasks on dynamic relational data. The NTF model generalizes conventional tensor factorization from two perspectives: First, it leverages the long short-term memory architecture to characterize the multi-dimensional temporal interactions on relational data. Second, it incorporates the multi-layer perceptron structure for learning the non-linearities between different latent factors. Our extensive experiments demonstrate the significant improvement in rating prediction and link prediction on dynamic relational data by our NTF model over both neural network based factorization models and other traditional methods.


title: Jets, Arcs and Shocks: NGC 5195 at radio wavelengths

abstract: We studied the nearby, interacting galaxy NGC 5195 (M51b) in the radio, optical and X-ray bands. We mapped the extended, low-surface-brightness features of its radio-continuum emission; determined the energy content of its complex structure of shock-ionized gas; constrained the current activity level of its supermassive nuclear black hole. In particular, we combined data from the European Very Long Baseline Interferometry Network (~1-pc scale), from our new e-MERLIN observations (~10-pc scale), and from the Very Large Array (~100-1000-pc scale), to obtain a global picture of energy injection in this galaxy. We put an upper limit to the luminosity of the (undetected) flat-spectrum radio core. We find steep-spectrum, extended emission within 10 pc of the nuclear position, consistent with optically-thin synchrotron emission from nuclear star formation or from an outflow powered by an active galactic nucleus (AGN). A linear spur of radio emission juts out of the nuclear source towards the kpc-scale arcs (detected in radio, Halpha and X-ray bands). From the size, shock velocity, and Balmer line luminosity of the kpc-scale bubble, we estimate that it was inflated by a long-term-average mechanical power ~3-6 x 10^{41} erg/s over the last 3-6 Myr. This is an order of magnitude more power than can be provided by the current level of star formation, and by the current accretion power of the supermassive black hole. We argue that a jet-inflated bubble scenario associated with previous episodes of AGN activity is the most likely explanation for the kpc-scale structures.


title: Measuring Electromagnetic and Gravitational Responses of Photonic Landau Levels

abstract: The topology of an object describes global properties that are insensitive to local perturbations. Classic examples include string knots and the genus (number of handles) of a surface: no manipulation of a closed string short of cutting it changes its "knottedness"; and no deformation of a closed surface, short of puncturing it, changes how many handles it has. Topology has recently become an intense focus of condensed matter physics, where it arises in the context of the quantum Hall effect [1] and topological insulators [2]. In each case, topology is defined through invariants of the material's bulk [3-5], but experimentally measured through chiral/helical properties of the material's edges. In this work we measure topological invariants of a quantum Hall material through local response of the bulk: treating the material as a many-port circulator enables direct measurement of the Chern number as the spatial winding of the circulator phase; excess density accumulation near spatial curvature quantifies the curvature-analog of charge known as mean orbital spin, while the moment of inertia of this excess density reflects the chiral central charge. We observe that the topological invariants converge to their global values when probed over a few magnetic lengths lB, consistent with intuition that the bulk/edge distinction exists only for samples larger than a few lB. By performing these experiments in photonic Landau levels of a twisted resonator [6], we apply quantum-optics tools to topological matter. Combined with developments in Rydberg-mediated interactions between resonator photons [7], this work augurs an era of precision characterization of topological matter in strongly correlated fluids of light.


title: Iwasawa theory for Rankin--Selberg products of $p$-non-ordinary eigenforms

abstract: Let $f$ and $g$ be two modular forms which are non-ordinary at $p$. The theory of Beilinson-Flach elements gives rise to four rank-one non-integral Euler systems for the Rankin-Selberg convolution $f \otimes g$, one for each choice of $p$-stabilisations of $f$ and $g$. We prove (modulo a hypothesis on non-vanishing of $p$-adic $L$-fuctions) that the $p$-parts of these four objects arise as the images under appropriate projection maps of a single class in the wedge square of Iwasawa cohomology, confirming a conjecture of Lei-Loeffler-Zerbes. Furthermore, we define an explicit logarithmic matrix using the theory of Wach modules, and show that this describes the growth of the Euler systems and $p$-adic $L$-functions associated to $f \otimes g$ in the cyclotomic tower. This allows us to formulate "signed" Iwasawa main conjectures for $f\otimes g$ in the spirit of Kobayashi's $\pm$-Iwasawa theory for supersingular elliptic curves; and we prove one inclusion in these conjectures under our running hypotheses.


title: Towards Understanding the Generalization Bias of Two Layer Convolutional Linear Classifiers with Gradient Descent

abstract: A major challenge in understanding the generalization of deep learning is to explain why (stochastic) gradient descent can exploit the network architecture to find solutions that have good generalization performance when using high capacity models. We find simple but realistic examples showing that this phenomenon exists even when learning linear classifiers --- between two linear networks with the same capacity, the one with a convolutional layer can generalize better than the other when the data distribution has some underlying spatial structure. We argue that this difference results from a combination of the convolution architecture, data distribution and gradient descent, all of which are necessary to be included in a meaningful analysis. We provide a general analysis of the generalization performance as a function of data distribution and convolutional filter size, given gradient descent as the optimization algorithm, then interpret the results using concrete examples. Experimental results show that our analysis is able to explain what happens in our introduced examples.


title: X-Ray sum frequency generation; direct imaging of ultrafast electron dynamics

abstract: X-ray diffraction from molecules in the ground state produces an image of their charge density, and time-resolved X-ray diffraction can thus monitor the motion of the nuclei. However, the density change of excited valence electrons upon optical excitation can barely be monitored with regular diffraction techniques due to the overwhelming background contribution of the core electrons. We present a nonlinear X-ray technique made possible by novel free electron laser sources, which provides a spatial electron density image of valence electron excitations. The technique, sum frequency generation carried out with a visible pump and a broadband X-ray diffraction pulse, yields snapshots of the transition charge densities, which represent the electron density variations upon optical excitation. The technique is illustrated by ab initio simulations of transition charge density imaging for the optically induced electronic dynamics in a donor/acceptor substituted stilbene.


title: A comparative study of fairness-enhancing interventions in machine learning

abstract: Computers are increasingly used to make decisions that have significant impact in people's lives. Often, these predictions can affect different population subgroups disproportionately. As a result, the issue of fairness has received much recent interest, and a number of fairness-enhanced classifiers and predictors have appeared in the literature. This paper seeks to study the following questions: how do these different techniques fundamentally compare to one another, and what accounts for the differences? Specifically, we seek to bring attention to many under-appreciated aspects of such fairness-enhancing interventions. Concretely, we present the results of an open benchmark we have developed that lets us compare a number of different algorithms under a variety of fairness measures, and a large number of existing datasets. We find that although different algorithms tend to prefer specific formulations of fairness preservations, many of these measures strongly correlate with one another. In addition, we find that fairness-preserving algorithms tend to be sensitive to fluctuations in dataset composition (simulated in our benchmark by varying training-test splits), indicating that fairness interventions might be more brittle than previously thought.


title: Geodesic planes in geometrically finite acylindrical 3-manifolds

abstract: Let $M$ be a geometrically finite acylindrical hyperbolic 3-manifold and let $M^*$ denote the interior of the convex core of M. We show that any geodesic plane in $M^*$ is either closed or dense, and that there are only countably many closed geodesic planes in $M^*$. These results were obtained earlier by McMullen, Mohammadi, and the second named author when M is convex cocompact. As a corollary we obtain that when $M$ covers an arithmetic hyperbolic 3-manifold $M_0$, the topological behavior of a geodesic plane in $M^*$ is governed by that of the corresponding plane in $M_0$. We construct a counterexample of this phenomenon when $M_0$ is non-arithmetic.


title: L^p operator algebras with approximate identities I

abstract: We initiate an investigation into how much the existing theory of (nonselfadjoint) operator algebras on a Hilbert space generalizes to algebras acting on L^p spaces. In particular we investigate the applicability of the theory of real positivity, which has recently been useful in the study of L^2-operator algebras and Banach algebras, to algebras of bounded operators on Lp spaces.


title: "How Was Your Weekend?" A Generative Model of Phatic Conversation

abstract: Unspoken social rules, such as those that govern choosing a proper discussion topic and when to change discussion topics, guide conversational behaviors. We propose a computational model of conversation that can follow or break such rules, with participant agents that respond accordingly. Additionally, we demonstrate an application of the model: the Experimental Social Tutor (EST), a first step toward a social skills training tool that generates human-readable conversation and a conversational guideline at each point in the dialogue. Finally, we discuss the design and results of a pilot study evaluating the EST. Results show that our model is capable of producing conversations that follow social norms.


title: High Mobility 2DEG in modulation-doped \b{eta}-(AlxGa1-x)2O3/Ga2O3 heterostructures

abstract: Beta-phase Ga2O3 has emerged as a promising candidate for a wide range of device applications, including power electronic devices, radio-frequency devices and solar-blind photodetectors. The wide bandgap energy and the predicted high breakdown field, together with the availability of low-cost native substrates, make \b{eta}-Ga2O3 a promising material compared to other conventional wide bandgap materials, such as GaN and SiC. Alloying of Al with \b{eta}-Ga2O3 could enable even larger band gap materials, and provide more flexibility for electronic and optoelectronic device design. In this work, we demonstrate a high mobility two-dimensional electron gas (2DEG) formed at the \b{eta}-(AlxGa1-x)2O3/Ga2O3 interface through modulation doping. Shubnikov-de Haas oscillation was observed for the first time in the modulation-doped \b{eta}-(AlxGa1-x)2O3/Ga2O3 structure, indicating a high-quality channel formed at the heterojunction interface. The formation of the 2DEG channel was further confirmed by a weak temperature-dependence of the carrier density, and the peak low temperature mobility was found to be 2790 cm2/Vs, which is significantly higher than can be achieved in bulk-doped \b{eta}-Ga2O3. The demonstrated modulation-doped \b{eta}-(AlxGa1-x)2O3/Ga2O3 structure lays the foundation for future exploration of quantum physical phenomena as well as new semiconductor device technologies based on the \b{eta}-Ga2O3 material system.


title: Deep Learning Models Delineates Multiple Nuclear Phenotypes in H&E Stained Histology Sections

abstract: Nuclear segmentation is an important step for profiling aberrant regions of histology sections. However, segmentation is a complex problem as a result of variations in nuclear geometry (e.g., size, shape), nuclear type (e.g., epithelial, fibroblast), and nuclear phenotypes (e.g., vesicular, aneuploidy). The problem is further complicated as a result of variations in sample preparation. It is shown and validated that fusion of very deep convolutional networks overcomes (i) complexities associated with multiple nuclear phenotypes, and (ii) separation of overlapping nuclei. The fusion relies on integrating of networks that learn region- and boundary-based representations. The system has been validated on a diverse set of nuclear phenotypes that correspond to the breast and brain histology sections.


title: Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis

abstract: Syntax-guided synthesis aims to find a program satisfying semantic specification as well as user-provided structural hypothesis. For syntax-guided synthesis there are two main search strategies: concrete search, which systematically or stochastically enumerates all possible solutions, and symbolic search, which interacts with a constraint solver to solve the synthesis problem. In this paper, we propose a concolic synthesis framework which combines the best of the two worlds. Based on a decision tree representation, our framework works by enumerating tree heights from the smallest possible one to larger ones. For each fixed height, the framework symbolically searches a solution through the counterexample-guided inductive synthesis approach. To compensate the exponential blow-up problem with the concolic synthesis framework, we identify two fragments of synthesis problems and develop purely symbolic and more efficient procedures. The two fragments are decidable as these procedures are terminating and complete. We implemented our synthesis procedures and compared with state-of-the-art synthesizers on a range of benchmarks. Experiments show that our algorithms are promising.


title: Accuracy of the Muskingum-Cunge method for constant-parameter diffusion-wave channel routing with lateral inflow

abstract: Channel routing is important in flood forecasting and watershed modeling. The general constant-parameter Muskingum-Cunge (CPMC) method is second-order accurate and easy to implement. With specific discretizations such that the temporal and spatial intervals maintain a unique relationship, the CPMC method can be third-order accurate. In this paper, we derive the average lateral inflow term in the second- and third-order accuracy CPMC method, and demonstrate that For spatially and temporally variable lateral inflow, the effect of lateral inflow on simulated discharge varies with spatial and temporal discretizations, the value and spatial and temporal variations of lateral inflow, wave celerity, and diffusion coefficient. Comparison of the CPMC solution with the analytical solution shows that both the second- and third-order accuracy schemes are more accurate than the simplified method by which spatial derivatives of lateral inflow are ignored. For small time steps, the third-order accuracy CPMC method results in higher accuracy than the second-order scheme even when the third-order accuracy criterion is not fully met. For large time steps, the temporal and spatial discretization of the third- and second-order scheme becomes the same, but the third-order scheme yields higher accuracy than the second-order scheme because of the third-order accurate estimation of the lateral inflow term.


title: Relations between Transfinite Diameters on Affine Algebraic Varieties

abstract: Given a compact set $K$ one may define a transfinite diameter for $K$ via a limiting process involving maximising a Vandermonde determinant over $K$ with respect to a monomial basis. Different transfinite diameters may be obtained by using different polynomial bases in the Vandermonde determinant calculation. We show that if these bases are sufficiently similar that the transfinite diameter of $K$ is unchanged. Utilising this result we show that the transfinite diameters defined by Cox-Ma`u and Berman-Boucksom for algebraic varieties are equal.


title: Detecting Spacecraft Anomalies Using LSTMs and Nonparametric Dynamic Thresholding

abstract: As spacecraft send back increasing amounts of telemetry data, improved anomaly detection systems are needed to lessen the monitoring burden placed on operations engineers and reduce operational risk. Current spacecraft monitoring systems only target a subset of anomaly types and often require costly expert knowledge to develop and maintain due to challenges involving scale and complexity. We demonstrate the effectiveness of Long Short-Term Memory (LSTMs) networks, a type of Recurrent Neural Network (RNN), in overcoming these issues using expert-labeled telemetry anomaly data from the Soil Moisture Active Passive (SMAP) satellite and the Mars Science Laboratory (MSL) rover, Curiosity. We also propose a complementary unsupervised and nonparametric anomaly thresholding approach developed during a pilot implementation of an anomaly detection system for SMAP, and offer false positive mitigation strategies along with other key improvements and lessons learned during development.


title: Diagnosing the magnetic field structure of a coronal cavity observed during the 2017 total solar eclipse

abstract: We present an investigation of a coronal cavity observed above the western limb in the coronal red line Fe X 6374 {\AA} using a telescope of Peking University and in the green line Fe XIV 5303 {\AA} using a telescope of Yunnan Observatories, Chinese Academy of Sciences during the total solar eclipse on 2017 August 21. A series of magnetic field models are constructed based on the magnetograms taken by the Helioseismic and Magnetic Imager onboard the Solar Dynamics Observatory (SDO) one week before the eclipse. The model field lines are then compared with coronal structures seen in images taken by the Atmospheric Imaging Assembly on board SDO and in our coronal red line images. The best-fit model consists of a flux rope with a twist angle of 3.1$\pi$, which is consistent with the most probable value of the total twist angle of interplanetary flux ropes observed at 1 AU. Linear polarization of the Fe XIII 10747 {\AA} line calculated from this model shows a "lagomorphic" signature that is also observed by the Coronal Multichannel Polarimeter of the High Altitude Observatory. We also find a ring-shaped structure in the line-of-sight velocity of Fe XIII 10747 {\AA}, which implies hot plasma flows along a helical magnetic field structure, in the cavity. These results suggest that the magnetic structure of the cavity is a highly twisted flux rope, which may erupt eventually. The temperature structure of the cavity has also been investigated using the intensity ratio of Fe XIII 10747 {\AA} and Fe X 6374 {\AA}.


title: Strangeness $S=-1$ hyperon-nucleon interactions: chiral effective field theory vs. lattice QCD

abstract: Hyperon-nucleon interactions serve as basic inputs to studies of hypernuclear physics and dense (neutron) stars. Unfortunately, a precise understanding of these important quantities have lagged far behind that of the nucleon-nucleon interaction due to lack of high precision experimental data. Historically, hyperon-nucleon interactions are either formulated in quark models or meson exchange models. In recent years, lattice QCD simulations and chiral effective field theory approaches start to offer new insights from first principles. In the present work, we contrast the state of art lattice QCD simulations with the latest chiral hyperon-nucleon forces and show that the leading order relativistic chiral results can already describe the lattice QCD data reasonably well. Given the fact that the lattice QCD simulations are performed with pion masses ranging from the (almost) physical point to 700 MeV, such studies provide a highly non-trivial check on both the chiral effective field theory approaches as well as lattice QCD simulations. Nevertheless more precise lattice QCD simulations are eagerly needed to refine our understanding of hyperon-nucleon interactions.


title: signSGD: Compressed Optimisation for Non-Convex Problems

abstract: Training large neural networks requires distributing learning across multiple workers, where the cost of communicating gradients can be a significant bottleneck. signSGD alleviates this problem by transmitting just the sign of each minibatch stochastic gradient. We prove that it can get the best of both worlds: compressed gradients and SGD-level convergence rate. The relative $\ell_1/\ell_2$ geometry of gradients, noise and curvature informs whether signSGD or SGD is theoretically better suited to a particular problem. On the practical side we find that the momentum counterpart of signSGD is able to match the accuracy and convergence speed of Adam on deep Imagenet models. We extend our theory to the distributed setting, where the parameter server uses majority vote to aggregate gradient signs from each worker enabling 1-bit compression of worker-server communication in both directions. Using a theorem by Gauss we prove that majority vote can achieve the same reduction in variance as full precision distributed SGD. Thus, there is great promise for sign-based optimisation schemes to achieve fast communication and fast convergence. Code to reproduce experiments is to be found at https://github.com/jxbz/signSGD .


title: Finite-Control-Set Model Predictive Control (FCS-MPC) for Islanded Hybrid Microgrids

abstract: Microgrids consisting of multiple distributed energy resources (DERs) provide a promising solution to integrate renewable energies, e.g., solar photovoltaic (PV) systems. Hybrid AC/DC microgrids leverage the merits of both AC and DC power systems. In this paper, a control strategy for islanded multi-bus hybrid microgrids is proposed based on the Finite-Control-Set Model Predictive Control (FCS-MPC) technologies. The control loops are expedited by predicting the future states and determining the optimal control action before switching signals are sent. The proposed algorithm eliminates the needs of PI, PWM, and droop components, and offers 1) accurate PV maximum power point tracking (MPPT) and battery charging/discharging control, 2) DC and multiple AC bus voltage/frequency regulation, 3) a precise power sharing scheme among DERs without voltage or frequency deviation, and 4) a unified MPC design flow for hybrid microgrids. Multiple case studies are carried out, which verify the satisfactory performance of the proposed method.


title: Ruelle-Bowen continuous-time random walk

abstract: We define the probability structure of a continuous-time time-homogeneous Markov jump process, on a finite graph, that represents the continuous-time counterpart of the so-called Ruelle-Bowen discrete-time random walk. It constitutes the unique jump process having maximal entropy rate. Moreover, it has the property that, given the number of jumps between any two specified end-points on the graph, the probability of traversing any one of the alternative paths that are consistent with the specified number of jumps and end-points, is the same for all, and thereby depends only on the number of jumps and the end-points and not the particular path being traversed.


title: Diffusion in translucent media

abstract: Diffusion is the result of repeated random scattering. It governs a wide range of phenomena from Brownian motion, to heat flow through window panes, neutron flux in fuel rods, dispersion of light in human tissue, and electronic conduction. It is universally acknowledged that the diffusion approach to describing wave transport fails in translucent samples thinner than the distance between scattering events such as are encountered in meteorology, astronomy, biomedicine and communications. Here we show in optical measurements and numerical simulations that the scaling of transmission and the intensity profiles of transmission eigenchannels have the same form in translucent as in opaque media. Paradoxically, the similarities in transport across translucent and opaque samples explain the puzzling observations of suppressed optical and ultrasonic delay times relative to predictions of diffusion theory well into the diffusive regime.


title: Bekenstein Bounds, Penrose Inequalities, and Black Hole Formation

abstract: A universal geometric inequality for bodies relating energy, size, angular momentum, and charge is naturally implied by Bekenstein's entropy bounds. We establish versions of this inequality for axisymmetric bodies satisfying appropriate energy conditions, thus lending credence to the most general form of Bekenstein's bound. Similar techniques are then used to prove a Penrose-like inequality in which the ADM energy is bounded from below in terms of horizon area, angular momentum, and charge. Lastly, new criteria for the formation of black holes is presented involving concentration of angular momentum, charge, and nonelectromagnetic matter energy.


title: On Whitehead's theorem beyond pointed connected spaces

abstract: We prove that the 2-category of spaces admits a strong generator made up of the tori. In other words, Whitehead's theorem holds for the 2-category of (not necessarily connected, not pointed) spaces.


title: Bivariate representation and conjugacy class zeta functions associated to unipotent group schemes, I: Arithmetic properties

abstract: This is the first of two papers in which we introduce and study two bivariate zeta functions associated to unipotent group schemes over rings of integers of number fields. One of these zeta functions encodes the numbers of isomorphism classes of irreducible complex representations of finite dimensions of congruence quotients of the associated group and the other one encodes the numbers of conjugacy classes of each size of such quotients. In this paper, we show that these zeta functions satisfy Euler factorizations and almost all of their Euler factors are rational and satisfy functional equations. Moreover, we show that such bivariate zeta functions specialize to (univariate) class number zeta functions. In case of nilpotency class 2, bivariate representation zeta functions also specialize to (univariate) twist representation zeta functions.


title: Texture Classification in Extreme Scale Variations using GANet

abstract: Research in texture recognition often concentrates on recognizing textures with intraclass variations such as illumination, rotation, viewpoint and small scale changes. In contrast, in real-world applications a change in scale can have a dramatic impact on texture appearance, to the point of changing completely from one texture category to another. As a result, texture variations due to changes in scale are amongst the hardest to handle. In this work we conduct the first study of classifying textures with extreme variations in scale. To address this issue, we first propose and then reduce scale proposals on the basis of dominant texture patterns. Motivated by the challenges posed by this problem, we propose a new GANet network where we use a Genetic Algorithm to change the units in the hidden layers during network training, in order to promote the learning of more informative semantic texture patterns. Finally, we adopt a FVCNN (Fisher Vector pooling of a Convolutional Neural Network filter bank) feature encoder for global texture representation. Because extreme scale variations are not necessarily present in most standard texture databases, to support the proposed extreme-scale aspects of texture understanding we are developing a new dataset, the Extreme Scale Variation Textures (ESVaT), to test the performance of our framework. It is demonstrated that the proposed framework significantly outperforms gold-standard texture features by more than 10% on ESVaT. We also test the performance of our proposed approach on the KTHTIPS2b and OS datasets and a further dataset synthetically derived from Forrest, showing superior performance compared to the state of the art.


title: Central splitting of manifolds with no conjugate points

abstract: Each compact Riemannian manifold with no conjugate points admits a family of functions whose integrals vanish exactly when central Busemann functions split linearly. These functions vanish when all central Busemann functions are sub- or superharmonic. When central Busemann functions are convex or concave, they must be totally geodesic. These yield generalizations of the splitting theorems of O'Sullivan and Eberlein for manifolds with no focal points and, respectively, nonpositive curvature.


title: On Characterizing the Capacity of Neural Networks using Algebraic Topology

abstract: The learnability of different neural architectures can be characterized directly by computable measures of data complexity. In this paper, we reframe the problem of architecture selection as understanding how data determines the most expressive and generalizable architectures suited to that data, beyond inductive bias. After suggesting algebraic topology as a measure for data complexity, we show that the power of a network to express the topological complexity of a dataset in its decision region is a strictly limiting factor in its ability to generalize. We then provide the first empirical characterization of the topological capacity of neural networks. Our empirical analysis shows that at every level of dataset complexity, neural networks exhibit topological phase transitions. This observation allowed us to connect existing theory to empirically driven conjectures on the choice of architectures for fully-connected neural networks.


title: A General Method for Demand Inversion

abstract: This paper describes a numerical method to solve for mean product qualities which equates the real market share to the market share predicted by a discrete choice model. The method covers a general class of discrete choice model, including the pure characteristics model in Berry and Pakes(2007) and the random coefficient logit model in Berry et al.(1995) (hereafter BLP). The method transforms the original market share inversion problem to an unconstrained convex minimization problem, so that any convex programming algorithm can be used to solve the inversion. Moreover, such results also imply that the computational complexity of inverting a demand model should be no more than that of a convex programming problem. In simulation examples, I show the method outperforms the contraction mapping algorithm in BLP. I also find the method remains robust in pure characteristics models with near-zero market shares.


title: Topological Defect Lines and Renormalization Group Flows in Two Dimensions

abstract: We consider topological defect lines (TDLs) in two-dimensional conformal field theories. Generalizing and encompassing both global symmetries and Verlinde lines, TDLs together with their attached defect operators provide models of fusion categories without braiding. We study the crossing relations of TDLs, discuss their relation to the 't Hooft anomaly, and use them to constrain renormalization group flows to either conformal critical points or topological quantum field theories (TQFTs). We show that if certain non-invertible TDLs are preserved along a RG flow, then the vacuum cannot be a non-degenerate gapped state. For various massive flows, we determine the infrared TQFTs completely from the consideration of TDLs together with modular invariance.


title: No bursts detected from FRB121102 in two 5-hour observing campaigns with the Robert C. Byrd Green Bank Telescope

abstract: Here, we report non-detection of radio bursts from Fast Radio Burst FRB 121102 during two 5-hour observation sessions on the Robert C. Byrd 100-m Green Bank Telescope in West Virginia, USA, on December 11, 2017, and January 12, 2018. In addition, we report non-detection during an abutting 10-hour observation with the Kunming 40-m telescope in China, which commenced UTC 10:00 January 12, 2018. These are among the longest published contiguous observations of FRB 121102, and support the notion that FRB 121102 bursts are episodic. These observations were part of a simultaneous optical and radio monitoring campaign with the the Caltech HIgh- speed Multi-color CamERA (CHIMERA) instrument on the Hale 5.1-m telescope.


title: Graph Coarsening with Preserved Spectral Properties

abstract: Large-scale graphs are widely used to represent object relationships in many real world applications. The occurrence of large-scale graphs presents significant computational challenges to process, analyze, and extract information. Graph coarsening techniques are commonly used to reduce the computational load while attempting to maintain the basic structural properties of the original graph. As there is no consensus on the specific graph properties preserved by coarse graphs, how to measure the differences between original and coarse graphs remains a key challenge. In this work, we introduce a new perspective regarding the graph coarsening based on concepts from spectral graph theory. We propose and justify new distance functions that characterize the differences between original and coarse graphs. We show that the proposed spectral distance naturally captures the structural differences in the graph coarsening process. In addition, we provide efficient graph coarsening algorithms to generate graphs which provably preserve the spectral properties from original graphs. Experiments show that our proposed algorithms consistently achieve better results compared to previous graph coarsening methods on graph classification and block recovery tasks.


title: Inducing ferromagnetism and Kondo effect in platinum by paramagnetic ionic gating

abstract: Electrically controllable magnetism, which requires the field-effect manipulation of both charge and spin degrees of freedom, has attracted growing interests since the emergence of spintronics. In this work, we report the reversible electrical switching of ferromagnetic (FM) states in platinum (Pt) thin films by introducing paramagnetic ionic liquid (PIL) as the gating media. The paramagnetic ionic gating controls the movement of ions with magnetic moments, which induces itinerant ferromagnetism on the surface of Pt films with large coercivity and perpendicular anisotropy mimicking the ideal two-dimensional Ising-type FM state. The electrical transport of the induced FM state shows Kondo effect at low temperature suggesting spatially separated coexistence of Kondo scattering beneath the FM interface. The tunable FM state indicates that paramagnetic ionic gating could serve as a versatile method to induce rich transport phenomena combining field effect and magnetism at PIL-gated interfaces.


title: Pseudorapidity distribution and decorrelation of anisotropic flow within CLVisc hydrodynamics

abstract: Studies of fluctuations and correlations of soft hadrons and hard and electromagnetic probes of the dense and strongly interacting medium require event-by-event hydrodynamic simulations of high-energy heavy-ion collisions that are computing intensive. We develop a (3+1)D viscous hydrodynamic model -- CLVisc that is parallelized on Graphics Processing Unit (GPU) using Open Computing Language (OpenCL) with 60 times performance increase for space-time evolution and more than 120 times for the Cooper-Frye particlization relative to that without GPU parallelization. The pseudo-rapidity dependence of anisotropic flow $v_n(\eta)$ are then computed in CLVisc with initial conditions given by the A Multi-Phase Transport (AMPT) model, with energy density fluctuations both in the transverse plane and along the longitudinal direction. Although the magnitude of $v_n(\eta)$ and the ratios between $v_2(\eta)$ and $v_3(\eta)$ are sensitive to the effective shear viscosity over entropy density ratio $\eta_v/s$, the shape of the $v_{n}(\eta)$ distributions in $\eta$ do not depend on the value of $\eta_v/s$. The decorrelation of $v_n$ along the pseudo-rapidity direction due to the twist and fluctuation of the event-planes in the initial parton density distributions is also studied. The decorrelation observable $r_n(\eta^a, \eta^b)$ between $v_n\{-\eta^a\}$ and $v_n\{\eta^a\}$ with the auxiliary reference window $\eta^b$ is found not sensitive to $\eta_v/s$ when there is no initial fluid velocity. For small $\eta_v/s$, the initial fluid velocity from mini-jet partons introduces sizable splitting of $r_n(\eta^a, \eta^b)$ between the two reference rapidity windows $\eta^b \in [3, 4]$ and $\eta^b \in [4.4, 5.0]$, as has been observed in experiment. The implementation of CLVisc and guidelines on how to efficiently parallelize scientific programs on GPUs are also provided.

categories: nucl-th hep-ph physics.comp-ph physics.flu-dyn


title: A High Performance Implementation of Spectral Clustering on CPU-GPU Platforms

abstract: Spectral clustering is one of the most popular graph clustering algorithms, which achieves the best performance for many scientific and engineering applications. However, existing implementations in commonly used software platforms such as Matlab and Python do not scale well for many of the emerging Big Data applications. In this paper, we present a fast implementation of the spectral clustering algorithm on a CPU-GPU heterogeneous platform. Our implementation takes advantage of the computational power of the multi-core CPU and the massive multithreading and SIMD capabilities of GPUs. Given the input as data points in high dimensional space, we propose a parallel scheme to build a sparse similarity graph represented in a standard sparse representation format. Then we compute the smallest $k$ eigenvectors of the Laplacian matrix by utilizing the reverse communication interfaces of ARPACK software and cuSPARSE library, where $k$ is typically very large. Moreover, we implement a very fast parallelized $k$-means algorithm on GPUs. Our implementation is shown to be significantly faster compared to the best known Matlab and Python implementations for each step. In addition, our algorithm scales to problems with a very large number of clusters.


title: Blockchain and Artificial Intelligence

abstract: It is undeniable that artificial intelligence (AI) and blockchain concepts are spreading at a phenomenal rate. Both technologies have distinct degree of technological complexity and multi-dimensional business implications. However, a common misunderstanding about blockchain concept, in particular, is that blockchain is decentralized and is not controlled by anyone. But the underlying development of a blockchain system is still attributed to a cluster of core developers. Take smart contract as an example, it is essentially a collection of codes (or functions) and data (or states) that are programmed and deployed on a blockchain (say, Ethereum) by different human programmers. It is thus, unfortunately, less likely to be free of loopholes and flaws. In this article, through a brief overview about how artificial intelligence could be used to deliver bug-free smart contract so as to achieve the goal of blockchain 2.0, we to emphasize that the blockchain implementation can be assisted or enhanced via various AI techniques. The alliance of AI and blockchain is expected to create numerous possibilities.


title: Bayesian comparison of latent variable models: Conditional vs marginal likelihoods

abstract: Typical Bayesian methods for models with latent variables (or random effects) involve directly sampling the latent variables along with the model parameters. In high-level software code for model definitions (using, e.g., BUGS, JAGS, Stan), the likelihood is therefore specified as conditional on the latent variables. This can lead researchers to perform model comparisons via conditional likelihoods, where the latent variables are considered model parameters. In other settings, however, typical model comparisons involve marginal likelihoods where the latent variables are integrated out. This distinction is often overlooked despite the fact that it can have a large impact on the comparisons of interest. In this paper, we clarify and illustrate these issues, focusing on the comparison of conditional and marginal Deviance Information Criteria (DICs) and Watanabe-Akaike Information Criteria (WAICs) in psychometric modeling. The conditional/marginal distinction corresponds to whether the model should be predictive for the clusters that are in the data or for new clusters (where "clusters" typically correspond to higher-level units like people or schools). Correspondingly, we show that marginal WAIC corresponds to leave-one-cluster out (LOcO) cross-validation, whereas conditional WAIC corresponds to leave-one-unit out (LOuO). These results lead to recommendations on the general application of the criteria to models with latent variables.


title: Anomalous bulk behaviour in the free parafermion $Z(N)$ spin chain

abstract: We demonstrate using direct numerical diagonalization and extrapolation methods that boundary conditions have a profound effect on the bulk properties of a simple $Z(N)$ model for $N \ge 3$ for which the model hamiltonian is non-hermitian. For $N=2$ the model reduces to the well known quantum Ising model in a transverse field. For open boundary conditions the $Z(N)$ model is known to be solved exactly in terms of free parafermions. Once the ends of the open chain are connected by considering the model on a ring, the bulk properties, including the ground-state energy per site, are seen to differ dramatically with increasing $N$. Other properties, such as the leading finite-size corrections to the ground-state energy, the mass gap exponent and the specific heat exponent, are also seen to be dependent on the boundary conditions. We speculate that this anomalous bulk behaviour is a topological effect.

categories: cond-mat.stat-mech hep-th math-ph math.MP quant-ph


title: Rigidity of Einstein metrics as critical points of quadratic curvature functionals on closed manifolds

abstract: In this paper, we prove some rigidity results for the Einstein metrics as the critical points of a family of known quadratic curvature functionals on closed manifolds, characterized by some point-wise inequalities. Moreover, we also provide a few rigidity results that involve the Weyl curvature, the trace-less Ricci curvature and the Yamabe invariant, accordingly.


title: Asteroseismology of 16000 Kepler Red Giants: Global Oscillation Parameters, Masses, and Radii

abstract: The Kepler mission has provided exquisite data to perform an ensemble asteroseismic analysis on evolved stars. In this work we systematically characterize solar-like oscillations and granulation for 16,094 oscillating red giants, using end-of-mission long-cadence data. We produced a homogeneous catalog of the frequency of maximum power (typical uncertainty $\sigma_{\nu_{\rm max}}$=1.6\%), the mean large frequency separation ($\sigma_{\Delta\nu}$=0.6\%), oscillation amplitude ($\sigma_{\rm A}$=4.7\%), granulation power ($\sigma_{\rm gran}$=8.6\%), power excess width ($\sigma_{\rm width}$=8.8\%), seismically-derived stellar mass ($\sigma_{\rm M}$=7.8\%), radius ($\sigma_{\rm R}$=2.9\%), and thus surface gravity ($\sigma_{\log g}$=0.01 dex). Thanks to the large red giant sample, we confirm that red-giant-branch (RGB) and helium-core-burning (HeB) stars collectively differ in the distribution of oscillation amplitude, granulation power, and width of power excess, which is mainly due to the mass difference. The distribution of oscillation amplitudes shows an extremely sharp upper edge at fixed $\nu_{\rm max}$, which might hold clues to understand the excitation and damping mechanisms of the oscillation modes. We find both oscillation amplitude and granulation power depend on metallicity, causing a spread of 15\% in oscillation amplitudes and a spread of 25\% in granulation power from [Fe/H]=-0.7 to 0.5 dex. Our asteroseismic stellar properties can be used as reliable distance indicators and age proxies for mapping and dating galactic stellar populations observed by Kepler. They will also provide an excellent opportunity to test asteroseismology using Gaia parallaxes, and lift degeneracies in deriving atmospheric parameters in large spectroscopic surveys such as APOGEE and LAMOST.


title: Global Optimal Power Flow over Large-Scale Power Transmission Network

abstract: Optimal power flow (OPF) over power transmission networks poses challenging large-scale nonlinear optimization problems, which involve a large number of quadratic equality and indefinite quadratic inequality constraints. These computationally intractable constraints are often expressed by linear constraints plus matrix additional rank-one constraints on the outer products of the voltage vectors. The existing convex relaxation technique, which drops the difficult rank-one constraints for tractable computation, cannot yield even a feasible point. We address these computationally difficult problems by an iterative procedure, which generates a sequence of improved points that converge to a rank-one solution. Each iteration calls a semi-definite program. Intensive simulations for the OPF problems over networks with a few thousands of buses are provided to demonstrate the efficiency of our approach. The suboptimal values of the OPF problems found by our computational procedure turn out to be the global optimal value with computational tolerance less than 0.01%.


title: Predicting Adversarial Examples with High Confidence

abstract: It has been suggested that adversarial examples cause deep learning models to make incorrect predictions with high confidence. In this work, we take the opposite stance: an overly confident model is more likely to be vulnerable to adversarial examples. This work is one of the most proactive approaches taken to date, as we link robustness with non-calibrated model confidence on noisy images, providing a data-augmentation-free path forward. The adversarial examples phenomenon is most easily explained by the trend of increasing non-regularized model capacity, while the diversity and number of samples in common datasets has remained flat. Test accuracy has incorrectly been associated with true generalization performance, ignoring that training and test splits are often extremely similar in terms of the overall representation space. The transferability property of adversarial examples was previously used as evidence against overfitting arguments, a perceived random effect, but overfitting is not always random.


title: Disentangling superconducting and magnetic orders in NaFe_1-xNi_xAs using muon spin rotation

abstract: Muon spin rotation and relaxation studies have been performed on a "111" family of iron-based superconductors NaFe_1-xNi_xAs. Static magnetic order was characterized by obtaining the temperature and doping dependences of the local ordered magnetic moment size and the volume fraction of the magnetically ordered regions. For x = 0 and 0.4 %, a transition to a nearly-homogeneous long range magnetically ordered state is observed, while for higher x than 0.4 % magnetic order becomes more disordered and is completely suppressed for x = 1.5 %. The magnetic volume fraction continuously decreases with increasing x. The combination of magnetic and superconducting volumes implies that a spatially-overlapping coexistence of magnetism and superconductivity spans a large region of the T-x phase diagram for NaFe_1-xNi_xAs . A strong reduction of both the ordered moment size and the volume fraction is observed below the superconducting T_C for x = 0.6, 1.0, and 1.3 %, in contrast to other iron pnictides in which one of these two parameters exhibits a reduction below TC, but not both. The suppression of magnetic order is further enhanced with increased Ni doping, leading to a reentrant non-magnetic state below T_C for x = 1.3 %. The reentrant behavior indicates an interplay between antiferromagnetism and superconductivity involving competition for the same electrons. These observations are consistent with the sign-changing s-wave superconducting state, which is expected to appear on the verge of microscopic coexistence and phase separation with magnetism. We also present a universal linear relationship between the local ordered moment size and the antiferromagnetic ordering temperature TN across a variety of iron-based superconductors. We argue that this linear relationship is consistent with an itinerant-electron approach, in which Fermi surface nesting drives antiferromagnetic ordering.


title: Bang-Bang Charging of Electrical Vehicles by Smart Grid Technology

abstract: The success of the transportation electricification in this century particularly requires the penentration of the internet of plug-in electric vehicles (PEVs) into the smart power grid. Beside the function of serving the traditional residential power demand, next-generation power grids also aim to support the internet of PEVs at the same time. The distinct difference between the traditional power demand and PEVs' power demand is that while the statistics of the former is rich enough for treating it as inelastic/known before hand, the latter is unknown until random PEVs' arrivals. Massive penentration of PEVs certainly causes the grid unpredictable fluctuation. The present paper considers the joint PEVs charging coordination and grid power generation to minimizing both of the negative impact of PEVs' integration and the cost of power generation while meeting the grid operating constraints and all parties' demand. The bang-bang PEVs charging strategy is adopted to exploit its simple implementation. By using a recently developed model predictive control (MPC) model for this problem, the online compuation is based on a predictive mixed integer nonlinear programming (MINP). A new solution computation for this optimization problem is developed. Its capacity of achieving the globally optimal solution is shown by numerical comparison between its performance and that by an off-line optimal solution.


title: Parameterized Bilinear Matrix Inequality Techniques in ${\cal H}_{\infty}$ Fuzzy PID Control Design

abstract: Proportional-integral-derivative (PID) structured controller is the most popular class of industrial control but still could not be appropriately exploited in fuzzy systems. To gain the practicability and tractability of fuzzy systems, this paper develops a parameterized bilinear matrix inequality characterization for the ${\cal H}_{\infty}$ fuzzy PID control design, which is then relaxed into a bilinear matrix inequality optimization problem of nonconvex optimization. Several computational procedures are then developed for its solution. The merit of the developed algorithms is shown through the benchmark examples.


title: Commutators of multi-parameter flag singular integrals and applications

abstract: We introduce the iterated commutator for the Riesz transforms in the multi-parameter flag setting, and prove the upper bound of this commutator with respect to the symbol $b$ in the flag BMO space. Our methods require the techniques of semigroups, harmonic functions and multi-parameter flag Littlewood-Paley analysis. We also introduce the big commutator in this multi-parameter flag setting and prove the upper bound with symbol $b$ in the flag little-bmo space by establishing the "exponential-logarithmic" bridge between this flag little bmo space and the Muckenhoupt $A_p$ weights with flag structure. As an application, we establish the div-curl lemmas with respect to the appropriate Hardy spaces in the multi-parameter flag setting.


title: Robustness of the covariance matrix for galaxy clustering measurements

abstract: We present a study on the robustness of the covariance matrix estimation for galaxy clustering measurements depending on the cosmological parameters and galaxy bias. To this end, we have produced 9000 galaxy mock catalogues relying on the effective Zel'dovich approximation implemented in the EZmocks computer code, using different input cosmological models and bias parameters. The reference catalogue has also been produced with this code making our study insensitive to the approximation at least on a relative-qualitative level. Our findings indicate that the covariance matrix is insensitive to the input power spectrum (including $\sigma_8$), as long as the 2- and 3-point galaxy clustering measurements agree with the given data. In fact, the covariance matrix shows a bias at small scales ($r\lesssim40 h^{-1}$Mpc) when the chosen galaxy bias parameters yield a 3-point statistics, which is not compatible with the reference one within the error bars, even though the 2-point statistics agree within 1%. Nevertheless, the error becomes negligible at large scales making the covariance matrix still reliable for data analysis using only measurements in that regime (e.g., measuring baryon acoustic oscillations). High precision in cosmological parameter estimation is expected for covariance matrices extracted from mock galaxy catalogues which take accurately into account both the 2- and the 3- point statistics. This is independent of whether this is achieved by using the right cosmology and galaxy bias (which are not a priori known) or just any combination of both fitting the net observed galaxy clustering.


title: qKZ/tRS Duality via Quantum K-Theoretic Counts

abstract: We show that normalized quantum K-theoretic vertex functions for cotangent bundles of partial flag varieties are the eigenfunctions of quantum trigonometric Ruijsenaars-Schneider (tRS) Hamiltonians. Using recently observed relations between quantum Knizhnik-Zamolodchikov (qKZ) equations and tRS integrable system we derive a nontrivial identity for vertex functions with relative insertions.

categories: math.AG hep-th math-ph math.MP math.QA math.RT


title: Semi-continuous convolutions on weakly periodic Lebesgue spaces

abstract: We deduce mixed quasi-norm estimates of Lebesgue types on semi-continuous convolutions between sequences and functions which may be periodic or possess a weaker form of periodicity in certain directions. In these directions, the Lebesgue quasi-norms are applied on the period instead of the whole axes.


title: Strong Matter: Rethinking Philosophically

abstract: Normal condensed matter is merely of electromagnetic interaction. A novel state of strong-interaction matter is revisited.


title: Towards Generic Deobfuscation of Windows API Calls

abstract: A common way to get insight into a malicious program's functionality is to look at which API functions it calls. To complicate the reverse engineering of their programs, malware authors deploy API obfuscation techniques, hiding them from analysts' eyes and anti-malware scanners. This problem can be partially addressed by using dynamic analysis; that is, by executing a malware sample in a controlled environment and logging the API calls. However, malware that is aware of virtual machines and sandboxes might terminate without showing any signs of malicious behavior. In this paper, we introduce a static analysis technique allowing generic deobfuscation of Windows API calls. The technique utilizes symbolic execution and hidden Markov models to predict API names from the arguments passed to the API functions. Our best prediction model can correctly identify API names with 87.60% accuracy.


title: An Optimized Architecture for Unpaired Image-to-Image Translation

abstract: Unpaired Image-to-Image translation aims to convert the image from one domain (input domain A) to another domain (target domain B), without providing paired examples for the training. The state-of-the-art, Cycle-GAN demonstrated the power of Generative Adversarial Networks with Cycle-Consistency Loss. While its results are promising, there is scope for optimization in the training process. This paper introduces a new neural network architecture, which only learns the translation from domain A to B and eliminates the need for reverse mapping (B to A), by introducing a new Deviation-loss term. Furthermore, few other improvements to the Cycle-GAN are found and utilized in this new architecture, contributing to significantly lesser training duration.


title: On a Java library to perform S-expansions of Lie algebras

abstract: The S-expansion method is a generalization of the In\"{o}n\"{u}-Wigner (IW) contraction that allows to study new non-trivial relations between different Lie algebras. Basically, this method combines a Lie algebra $\mathcal{G}$ with a finite abelian semigroup $S$ in such a way that a new S-expanded algebra $\mathcal{G}_{S}$ can be defined. When the semigroup has a zero-element and/or a specific decomposition, which is said to be resonant with the subspace structure of the original algebra, then it is possible to extract smaller algebras from $\mathcal{G}_{S}$ which have interesting properties. Here we give a brief description of the S-expansion, its applications and the main motivations that lead us to elaborate a Java library, which automatizes this method and allows us to represent and to classify all possible S-expansions of a given Lie algebra.


title: Polarization observables and T-noninvariance in the weak charged current induced electron proton scattering

abstract: In this work, we have studied the total scattering cross section ($\sigma$), differential scattering cross section ($d\sigma/dQ^2$) as well as the longitudinal ($P_L(E_e,Q^2)$), perpendicular ($P_P(E_e,Q^2)$), and transverse ($P_T(E_e,Q^2)$) components of the polarization of the final hadron ($n$, $ \Lambda$ and $\Sigma^0$) produced in the electron proton scattering induced by the weak charged current. We have not assumed T-invariance which allows the transverse component of the hadron polarization perpendicular to the production plane to be non-zero. The numerical results are presented for all the above observables and their dependence on the axial vector form factor and the weak electric form factor are discussed. The present study enables the determination of the axial vector nucleon-hyperon transition form factors at high $ Q^2$ in the strangeness sector which can provide test of the symmetries of the weak hadronic currents like T-invariance and SU(3) symmetry while assuming the hypothesis of conserved vector current and partial conservation of axial vector current.


title: Spin Transport and Spin Pump in Graphene-like Materials: Effect of tilt in Dirac cones

abstract: We study the spin transport phenomena in two-dimensional graphene-like materials with arbitrary tilted Dirac cones. The tilt arises due to next-nearest hopping when the bottom of the conduction band and top of the valence band does not simultaneously coincide at Dirac point. We consider normal-ferromagnetic-normal (N-F-N) junction of the materials and using the generalized scattering approach calculate the spin current. Here, we show that tilting the Dirac cones can strongly change the transport properties by modifying the period of oscillation of the spin current. The spin conductance can be effectively tuned by the tilt with taking advantage of the modified interference condition. A pure spin current reversal also possible with a smooth variation of the tilting. We further study the spin current by the adiabatic precession of a doped ferromagnet on top of the material. It is shown that the spin-mixing conductance and hence the spin current can become zero by turning the tilt of the Dirac cone. Our findings provide an efficient way towards high controllability of spin transport by tuning the tilt of the ferromagnetic junction and can be very useful in the field of spintronics. The model also presents a simplified way to measure the tilt of Dirac cone of those materials.


title: Efficient conversion of anti-phase spin order of protons into 15N magnetization using SLIC-SABRE

abstract: SABRE (Signal Amplification By Reversible Exchange) is a technique for enhancement of NMR (Nuclear Magnetic Resonance) signals, which utilizes parahydrogen (pH2, the H2 molecule in its nuclear spin state) as a source of non-thermal spin order. In SABRE experiments, pH2 binds to an organometallic complex with a to-be-polarized substrate; subsequently, spin order transfer takes place and the substrate acquires non-thermal spin polarization resulting in strong NMR signal enhancement. In this work we argue that the spin order of H2 in SABRE experiments performed at high magnetic fields is not necessarily the singlet order but rather anti-phase polarization, $S_{1z}S_{2z}$. Although SABRE exploits pH2, i.e., the starting spin order of H2 is supposed to be the singlet order, in solution S-T0 conversion becomes efficient once pH2 binds to a complex. Such a variation of the spin order, which becomes $S_{1z}S_{2z}$, has an important consequence: NMR methods used for transferring SABRE polarization need to be modified. Here we demonstrate that methods proposed for the initial singlet order may not work for the S_1z S_2z order; however, a simple modification makes them efficient again. A theoretical treatment of the problem under consideration is proposed; these considerations are supported by high-field SABRE experiments. Hence, for efficient use of SABRE one should note that polarization formation is a complex multi-stage process: careful optimization of this process may not only deal with chemical aspects but also with the spin dynamics, including the spin dynamics of H2.


title: Community Detection through Likelihood Optimization: In Search of a Sound Model

abstract: Community detection is one of the most important problems in network analysis. Among many algorithms proposed for this task, methods based on statistical inference are of particular interest: they are mathematically sound and were shown to provide partitions of good quality. Statistical inference methods are based on fitting some random graph model (a.k.a. null model) to the observed network by maximizing the likelihood. The choice of this model is extremely important and is the main focus of the current study. We provide an extensive theoretical and empirical analysis to compare several models: the widely used planted partition model, recently proposed degree-corrected modification of this model, and a new null model having some desirable statistical properties. We also develop and compare two likelihood optimization algorithms suitable for the models under consideration. An extensive empirical analysis on a variety of datasets shows, in particular, that the new model is the best one for describing most of the considered real-world complex networks according to the likelihood of observed graph structures.


title: Information Scaling Law of Deep Neural Networks

abstract: With the rapid development of Deep Neural Networks (DNNs), various network models that show strong computing power and impressive expressive power are proposed. However, there is no comprehensive informational interpretation of DNNs from the perspective of information theory. Due to the nonlinear function and the uncertain number of layers and neural units used in the DNNs, the network structure shows nonlinearity and complexity. With the typical DNNs named Convolutional Arithmetic Circuits (ConvACs), the complex DNNs can be converted into mathematical formula. Thus, we can use rigorous mathematical theory especially the information theory to analyse the complicated DNNs. In this paper, we propose a novel information scaling law scheme that can interpret the network's inner organization by information theory. First, we show the informational interpretation of the activation function. Secondly, we prove that the information entropy increases when the information is transmitted through the ConvACs. Finally, we propose the information scaling law of ConvACs through making a reasonable assumption.


title: Deep Neural Networks Learn Non-Smooth Functions Effectively

abstract: We theoretically discuss why deep neural networks (DNNs) performs better than other models in some cases by investigating statistical properties of DNNs for non-smooth functions. While DNNs have empirically shown higher performance than other standard methods, understanding its mechanism is still a challenging problem. From an aspect of the statistical theory, it is known many standard methods attain the optimal rate of generalization errors for smooth functions in large sample asymptotics, and thus it has not been straightforward to find theoretical advantages of DNNs. This paper fills this gap by considering learning of a certain class of non-smooth functions, which was not covered by the previous theory. We derive the generalization error of estimators by DNNs with a ReLU activation, and show that convergence rates of the generalization by DNNs are almost optimal to estimate the non-smooth functions, while some of the popular models do not attain the optimal rate. In addition, our theoretical result provides guidelines for selecting an appropriate number of layers and edges of DNNs. We provide numerical experiments to support the theoretical results.


title: Graph-Based Ascent Algorithms for Function Maximization

abstract: We study the problem of finding the maximum of a function defined on the nodes of a connected graph. The goal is to identify a node where the function obtains its maximum. We focus on local iterative algorithms, which traverse the nodes of the graph along a path, and the next iterate is chosen from the neighbors of the current iterate with probability distribution determined by the function values at the current iterate and its neighbors. We study two algorithms corresponding to a Metropolis-Hastings random walk with different transition kernels: (i) The first algorithm is an exponentially weighted random walk governed by a parameter $\gamma$. (ii) The second algorithm is defined with respect to the graph Laplacian and a smoothness parameter $k$. We derive convergence rates for the two algorithms in terms of total variation distance and hitting times. We also provide simulations showing the relative convergence rates of our algorithms in comparison to an unbiased random walk, as a function of the smoothness of the graph function. Our algorithms may be categorized as a new class of "descent-based" methods for function maximization on the nodes of a graph.


title: Vertex connectivity of Deza graphs with parameters of complements to Seidel graphs

abstract: In this paper we find the vertex connectivity of Deza graphs with parameters of the complements to Seidel graphs. In particular, we present an infinite family of strictly Deza graphs whose vertex connectivity is equal to $k-1$, where $k$ is the valency.


title: A Simple Proximal Stochastic Gradient Method for Nonsmooth Nonconvex Optimization

abstract: We analyze stochastic gradient algorithms for optimizing nonconvex, nonsmooth finite-sum problems. In particular, the objective function is given by the summation of a differentiable (possibly nonconvex) component, together with a possibly non-differentiable but convex component. We propose a proximal stochastic gradient algorithm based on variance reduction, called ProxSVRG+. Our main contribution lies in the analysis of ProxSVRG+. It recovers several existing convergence results and improves/generalizes them (in terms of the number of stochastic gradient oracle calls and proximal oracle calls). In particular, ProxSVRG+ generalizes the best results given by the SCSG algorithm, recently proposed by [Lei et al., 2017] for the smooth nonconvex case. ProxSVRG+ is also more straightforward than SCSG and yields simpler analysis. Moreover, ProxSVRG+ outperforms the deterministic proximal gradient descent (ProxGD) for a wide range of minibatch sizes, which partially solves an open problem proposed in [Reddi et al., 2016b]. Also, ProxSVRG+ uses much less proximal oracle calls than ProxSVRG [Reddi et al., 2016b]. Moreover, for nonconvex functions satisfied Polyak-\L{}ojasiewicz condition, we prove that ProxSVRG+ achieves a global linear convergence rate without restart unlike ProxSVRG. Thus, it can \emph{automatically} switch to the faster linear convergence in some regions as long as the objective function satisfies the PL condition locally in these regions. ProxSVRG+ also improves ProxGD and ProxSVRG/SAGA, and generalizes the results of SCSG in this case. Finally, we conduct several experiments and the experimental results are consistent with the theoretical results.


title: A self-consistent hydrostatic mass modelling of pressure supported dwarf galaxy Leo T

abstract: Assuming a hydrostatic equilibrium in an HI cloud, the joint Poisson's equation is set up and numerically solved to calculate the expected HI distribution. Unlike previous studies, the cloud is considered to be non-isothermal, and an {\it iterative} method is employed to iteratively estimate the intrinsic velocity dispersion profile using the observed second-moment of the HI data. We apply our {\it iterative} method to a recently discovered dwarf galaxy Leo T and find that its observed HI distribution does not comply with the expected one if one assumes no dark matter in it. To model the mass distribution in Leo T, we solve the Poisson's equation using a large number of trial dark matter halos and compare the model HI surface density ($\Sigma_{HI}$) profiles to the observed one to identify the best dark matter halo parameters. For Leo T, we find a pseudo-isothermal halo with core density, $\rho_0 \sim 0.67$ $\rm M_{\odot} \thinspace pc^{-3}$ and core radius, $r_s \sim 37$ parsec explains the observation best. The resulting dark matter halo mass within the central 300 pc, $M_{300}$, found to be $\sim 2.7 \times 10^6$ $\rm M_{\odot}$. We also find that a set of dark matter halos with similar $M_{300} \sim 3.7 \times 10^6$ $\rm M_{\odot}$ but very different $\rho_0$ and $r_s$ values, can produce equally good $\Sigma_{HI}$ profile within the observational uncertainties. This, in turn, indicates a strong degeneracy between the halo parameters and the best fit values are not unique. Interestingly, it also implies that the mass of a dark matter halo, rather than its structure primarily directs the expected HI distribution under hydrostatic equilibrium.


title: Phased Microphone Array for Sound Source Localization with Deep Learning

abstract: To phased microphone array for sound source localization, algorithm with both high computational efficiency and high precision is a persistent pursuit. In this paper convolutional neural network (CNN) a kind of deep learning is preliminarily applied as a new algorithm. At high frequency CNN can reconstruct the sound localizations with excellent spatial resolution as good as DAMAS, within a very short time as short as conventional beamforming. This exciting result means that CNN perfectly finds source distribution directly from cross-spectral matrix without given propagation function in advance, and thus CNN deserves to be further explored as a new algorithm.


title: RoboChain: A Secure Data-Sharing Framework for Human-Robot Interaction

abstract: Robots have potential to revolutionize the way we interact with the world around us. One of their largest potentials is in the domain of mobile health where they can be used to facilitate clinical interventions. However, to accomplish this, robots need to have access to our private data in order to learn from these data and improve their interaction capabilities. Furthermore, to enhance this learning process, the knowledge sharing among multiple robot units is the natural step forward. However, to date, there is no well-established framework which allows for such data sharing while preserving the privacy of the users (e.g., the hospital patients). To this end, we introduce RoboChain - the first learning framework for secure, decentralized and computationally efficient data and model sharing among multiple robot units installed at multiple sites (e.g., hospitals). RoboChain builds upon and combines the latest advances in open data access and blockchain technologies, as well as machine learning. We illustrate this framework using the example of a clinical intervention conducted in a private network of hospitals. Specifically, we lay down the system architecture that allows multiple robot units, conducting the interventions at different hospitals, to perform efficient learning without compromising the data privacy.


title: Solved and unsolved problems about abelian squares

abstract: We present and discuss a number of known results and open problems abelian squares in words on small alphabets.


title: A toy model of shtukas

abstract: Motivated by the question of constructing certain rational functions (modular units) on the moduli stack of Drinfeld shtukas, we introduce the notion of toy shtukas. We prove basic properties of the moduli scheme of toy shtukas. Analogously to horospherical divisors on the moduli stack of Drinfeld shtukas, there are toy horospherical divisors on the moduli scheme of toy shtukas. We describe the space of principal toy horospherical divisors. There is a canonical morphism from the moduli stack of Drinfeld shtukas to the moduli scheme of toy shtukas. Our main result is a description of the space of principal horospherical divisors obtained from the pullback.


title: Some Information Inequalities for Statistical Inference

abstract: In this paper, we first describe the generalized notion of Cramer-Rao lower bound obtained by Naudts (2004) using two families of probability density functions, the original model and an escort model. We reinterpret the results in Naudts (2004) from a statistical point of view and obtain some interesting examples in which this bound is attained. Further we obtain information inequalities which generalize the classical Bhattacharyya bounds in both regular and non-regular cases.


title: Required sensitivity to search the neutrinoless double beta decay in $^{124}Sn$

abstract: \textbf{T}he \textbf{IN}dia's \textbf{TIN} (TIN.TIN) detector is under development in the search for neutrinoless double-$\beta$ decay (0$\nu\beta\beta$) using 90\% enriched $^{124}$Sn isotope as the target mass. This detector will be housed in the upcoming underground facility of the \textbf{I}ndia based \textbf{N}eutrino \textbf{O}bservatory. We present the most important experimental parameters that would be used in the study of required sensitivity for the TIN.TIN experiment to probe the neutrino mass hierarchy. The sensitivity of the TIN.TIN detector in the presence of sole two neutrino double-$\beta$ decay (2$\nu\beta\beta$) decay background is studied at various energy resolutions. The most optimistic and pessimistic scenario to probe the neutrino mass hierarchy at 3$\sigma$ sensitivity level and 90\% C.L. is also discussed.


title: Loop-gap Microwave Resonator for Hybrid Quantum Systems

abstract: We designed a loop-gap microwave resonator for applications of spin-based hybrid quantum systems, and tested it with impurity spins in diamond. Strong coupling with ensembles of nitrogen-vacancy (NV) centers and substitutional nitrogen (P1) centers was observed. These results show that loop-gap resonators are viable in the prospect of spin-based hybrid quantum systems, especially for an ensemble quantum memory or a quantum transducer.


title: Integrated Massive Vertex Operator in Pure Spinor Formalism

abstract: We construct the integrated vertex operator for the first massive states of open superstrings with $(mass)^2=1/\alpha'$ in the pure spinor formalism of the superstring theory. This vertex operator is expressed in terms of the ten dimensional $\mathcal{N}=1$ superfields describing the massive supermultiplet which appear in the unintegrated vertex operator of the same states.


title: Effect of phonon coupling on cooperative two-photon emission from two-quantum dots

abstract: We predict dominating cooperative two-photon emission from two quantum dots coupled with a single mode photonic crystal cavity. The cooperative two photon emission occurs when excitons in two off-resonantly coupled quantum dots decay simultaneously. The interaction with common cavity field leads to cavity induced two-photon emission which is strongly inhibited by electron phonon coupling. The interaction with common phonon bath produces phonon induced two-photon emission which increases on increasing temperature. For identical quantum dots cavity induced two-photon emission is negligible but phonon induced two-photon emission could be large.


title: A polymer model for the quantitative reconstruction of 3d chromosome architecture from Hi-C and GAM data

abstract: It is widely believed that the folding of the chromosome in the nucleus has a major effect on genetic expression. For example co-regulated genes in several species have been shown to colocalize in space despite being far away on the DNA sequence. In this manuscript, we present a new method to model the three-dimensional structure of the chromosome in live cells, based on DNA-DNA interactions measured in high-throughput chromosome conformation capture experiments (Hi-C) and genome architecture mapping experiments (GAM). Our approach incorporates a polymer model, and directly uses the contact probabilities measured in Hi-C and GAM experiments rather than estimates of average distances between genomic loci. Specifically, we model the chromosome as a Gaussian polymer with harmonic interactions and extract the coupling coefficients best reproducing the experimental contact probabilities. In contrast to existing methods, we give an exact expression of the contact probabilities at thermodynamic equilibrium. The Gaussian effective model (GEM) reconstructed with our method reproduces experimental contacts with high accuracy. We also show how Brownian Dynamics simulations of our reconstructed GEM can be used to study chromatin organization, and possibly give some clue about its dynamics.


title: Unbalanced urn model with random addition

abstract: In this paper, we consider a multi-drawing urn model with random addition. At each discrete time step, we draw a sample of m balls. According to the composition of the drawn colors, we return the balls together with a random number of balls depending on two discrete random variables X and Y with finite means and variances. Via the stochastic approximation algorithm, we give limit theorems describing the asymptotic behavior of white balls.


title: Experimental Implementation of a Large Scale Multipost Re-Entrant Array

abstract: We demonstrate possibilities of a large scale multi-post re-entrant cavity with two case studies implemented with the same physical structure. The first demonstration implements two discrete Fabry-P{\'e}rot cavities crossing at the centre. The configuration allows the control not only of the resonance frequencies, but also a whole band gap and transmission band of frequencies between the directly excited diagonal and a higher frequency band. The second experiment demonstrates appearance of discrete Whispering Gallery Modes on a circle of re-entrant post. With the introduction of an artificial "scatterer", we demonstrate control over the doublet mode splitting.


title: Slice as an Evolutionary Service: Genetic Optimization for Inter-Slice Resource Management in 5G Networks

abstract: In the context of Fifth Generation (5G) mobile networks, the concept of "Slice as a Service" (SlaaS) promotes mobile network operators to flexibly share infrastructures with mobile service providers and stakeholders. However, it also challenges with an emerging demand for efficient online algorithms to optimize the request-and-decision-based inter-slice resource management strategy. Based on genetic algorithms, this paper presents a novel online optimizer that efficiently approaches towards the ideal slicing strategy with maximized long-term network utility. The proposed method encodes slicing strategies into binary sequences to cope with the request-and-decision mechanism. It requires no a priori knowledge about the traffic/utility models, and therefore supports heterogeneous slices, while providing solid effectiveness, good robustness against non-stationary service scenarios, and high scalability.


title: Information scrambling in chaotic systems with dissipation

abstract: Chaotic dynamics in closed local quantum systems scrambles quantum information, which is manifested quantitatively in the decay of the out-of-time-ordered correlators (OTOC) of local operators. How is information scrambling affected when the system is coupled to the environment and suffers from dissipation? In this paper, we address this question by defining a dissipative version of OTOC and numerically study its behavior in a prototypical chaotic quantum chain in the presence of dissipation. We find that dissipation leads to not only the overall decay of the scrambled information due to leaking, but also structural changes so that the `information light cone' can only reach a finite distance even when the effect of overall decay is removed. Based on this observation we conjecture a modified version of the Lieb-Robinson bound in dissipative systems.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th


title: Ratios of vector and pseudoscalar $B$ meson decay constants in the light-cone quark model

abstract: We study the decay constants of pseudoscalar and vector $B$ meson in the framework of light-cone quark model (LCQM). We apply the variational method to the relativistic Hamiltonian with the Gaussian-type trial wave function to obtain the values of $\beta$ (scale parameter). Then with the help of known values of constituent quark masses, we obtain the numerical results for the decay constants $f_P$ and $f_V$, respectively. We compare our numerical results with the existing experimental data.


title: Multiple-Modes Scanning Probe Microscopy Characterization of Copper doped Zinc Oxide (ZnO:Cu) Thin Films

abstract: This paper presents multiple-modes Scanning Probe Microscopy (SPM) studies on characterize resistance switching (RS), polarization rotation (PO) and surface potential changes in copper doped ZnO (ZnO:Cu) thin films. The bipolar RS behavior is confirmed by conductive Atomic Force Microscopy (c-AFM). The PO with almost 180{\deg} phase angle is confirmed by using the vertical and lateral Piezoresponse Force Microscopy (PFM). In addition, it elucidates that obvious polarization rotation behavior can be observed in the sample with increasing Cu concentration. Furthermore, correlation of the RS behavior with PO behavior has been studied by performing various mode SPM measurements on the same location. The electric field resulted from the opposite polarization orientation are corresponded to the different resistance states. It is found that the region with the polarization in downward direction has low resistance state (LRS), whereas the region with upward polarization has high resistance state (HRS). In addition, the Piezoresponse Force Spectroscopy (PFS) and Switching Spectroscopy PFM (SS-PFM) measurements further confirm that the existence of the built-in field due to the uncomplemented polarization may affect the depletion region and hence contribute to the RS behavior. In addition, Kelvin Probe Force Microscopy (KPFM) results show that, when ZnO-based thin films is subjected to negative and then followed by positive sample bias, injection charge limit current is dominated.


title: The cosmic aberration drift: proposal for a real-time detection of our acceleration through space

abstract: Our proper acceleration with respect to the Cosmic Microwave Background results in a real-time change of the angular position of distant extragalactic sources. The cosmological component of this aberration drift signal, the non-inertial motion generated by the large-scale distribution of matter, can in principle be detected by future high-precision astrometric experiments. It will provide interesting consistency tests of the standard model of cosmology, set independent constraints on the amplitude of the Hubble constant and the linear growth rate of cosmic structures, and be instrumental in searching for evidence of new physics beyond the standard model. We present the formalism of this novel cosmological test, discuss the physics to which it is sensitive and show simulated forecasts of the accuracy with which it can be implemented.


title: Effect of support on the vanadyl oxygen abstraction in supported vanadia

abstract: Supported vanadia catalysts are modeled within the cluster DFT approach to get an insight into the mechanism in which the support affects the activity of vanadia in the oxidation processes. The energy of the V=O group dissociation chosen as a descriptor of the oxidation activity is estimated using two aligned divanadate V2O3(OH)4 particles at various distances. Separation between particles allows to imitate (i) the various supporting materials (e.g. TiO2, SiO2, etc.), and (ii) the coverage of vanadia on a particular support. A substantial compensation of the energy loss upon the vanadyl oxygen abstraction via bonding to the vanadyl oxygen of neighboring vanadate particle has been predicted. On account of such compensation the overall energy of the V=O dissociation reaches its minimal value of 36 kcal/mol (dropping from maximum of 142 kcal/mol) at small separation of 3 {\AA} between dimers when the nearest vanadyl oxygen occupies a bridge V-O-V position. For dimers separated by about 4 {\AA}, the dissociation energy achieves its maximal value for isolated dimers of about 143 kcal/mol. Thus, these findings allows one to conclude that the oxygen mobility is a result of a compensation effect in a chain-like bonding between neighboring vanadyl groups on the surface of support.