title: Essential Commutants and Characterizations of the Toeplitz Algebra

abstract: In this paper we study the Toeplitz algebra, which is generated by Toeplitz operators with bounded symbols on the Fock space $F^p_{\alpha}$. We show that the Toeplitz algebra coincides with each of the algebras generated by band-dominated, sufficiently localized and weakly localized operators, respectively. Moreover, we determine its essential commutant and its essential bicommutant. For $p = 2$ these results were obtained recently by Xia. However, Xia's ideas are mostly connected to Hilbert space theory and methods which are not applicable for $p \neq 2$. Instead, we use a recent result of Fulsche to generalize Xia's theorems.


title: Situating Agent-Based Modelling in Population Health Research

abstract: Today's most troublesome population health challenges are often driven by social and environmental determinants, which are difficult to model using traditional epidemiological methods. We agree with those who have argued for the wider adoption of agent-based modelling (ABM) in taking on these challenges. However, while ABM has been used occasionally in population health, we argue that for ABM to be most effective in the field it should be used as a means for answering questions normally inaccessible to the traditional epidemiological toolkit. In an effort to clearly illustrate the utility of ABM for population health research, and to clear up persistent misunderstandings regarding the method's conceptual underpinnings, we offer a detailed presentation of the core concepts of complex systems theory, and summarise why simulations are essential to the study of complex systems. We then examine the current state of the art in ABM for population health, and propose they are well-suited for the study of the `wicked' problems in population health, and could make significant contributions to theory and intervention development in these areas.


title: Production of Tachyonic Neutrino in Matter

abstract: Recently, a new theory based on superluminal tunnelling has been proposed to explain the transition of highly energetic neutrinos propagating in matter to tachyonic states. In this work, we determine the possible mechanisms that lead neutrinos into a superluminal realm based on the assumption that ultrarelativistic neutrinos travelling in matter lose part of their energy with the emission of Bremsstrahlung radiation. The obtained photons, in turn, can create neutrino antineutrino pairs, one or both of which can be superluminal. We also prove that pair creation may occur with neutrino flavour oscillation provided that only one of them is a space-like particle. This suggests that mass oscillation and superluminal behaviour could be related phenomena. Finally, using the generalised Lorentz transformations, we formulate the Lagrangian of the kinematically allowed scattering processes. The structure of this Lagrangian is consistent with the formalism of the Standard Model. Based on this Lagrangian, at least one of the particles forming the pair must always be subluminal. The possibility that the pair creation process is mediated by a dark photon is also discussed.


title: Tropical Abelian varieties, Weil classes and the Hodge Conjecture

abstract: We describe in some details an idea of M. Kontsevich how one can try to find a counterexample to the Hodge conjecture using tropical geometry.


title: Shear-Driven Flow of Athermal, Frictionless, Spherocylinder Suspensions in Two Dimensions: Spatial Structure and Correlations

abstract: We use numerical simulations to study the flow of athermal, frictionless, soft-core two dimensional spherocylinders driven by a uniform steady-state simple shear applied at a fixed volume and a fixed finite strain rate $\dot\gamma$. Energy dissipation is via a viscous drag with respect to a uniformly sheared host fluid, giving a simple model for flow in a non-Brownian suspension with Newtonian rheology. We study the resulting spatial structure of the sheared system, and compute correlation functions of the velocity, the particle density, the nematic order parameter, and the particle angular velocity. Correlations of density, nematic order, and angular velocity are shown to be short ranged both below and above jamming. We compare a system of size-bidisperse particles with a system of size-monodisperse particles, and argue how differences in spatial order as the packing increases leads to differences in the global nematic order parameter. We consider the effect of shearing on initially well ordered configurations, and show that in many cases the shearing acts to destroy the order, leading to the same steady-state ensemble as found when starting from random initial configurations.


title: Neutrino and $Z'$ phenomenology in an anomaly-free $\mathbf{U}(1)$ extension: role of higher-dimensional operators

abstract: We consider an anomaly-free $\mathrm{U}(1)$ extension of the Standard Model with three right-handed neutrinos (RHNs) and two complex scalars, wherein the charge assignments preclude all tree-level mass terms for the neutrinos. Considering this setup, in turn, to be only a low-energy effective theory, we introduce higher-dimensional terms {\em a la} Froggatt-Nielsen to naturally generate tiny neutrino masses. One of the RHNs turns out to be very light, thereby constituting the main decay mode for the $Z'$ and hence relaxing the LHC dilepton resonance search constraints. This very RHN has a lifetime comparable to or bigger than the age of the Universe, and, hence, could account for a non-negligible fraction of the dark matter.


title: Wave Approximation of Backward Heat Equation with Ricci Flow

abstract: In this paper, we consider solutions of the backward heat equation with Ricci flow on manifolds as a type of infinite dimensional limit of solutions of a wave equation on a larger manifold with an analysis of wavefront set. Specifically, the projection of the solution of the wave equation $ \left(\frac{2t}{N} \cdot \frac{\partial^{2}}{\partial t^{2}} + \frac{tR(t, x)}{N} \frac{\partial}{\partial t} - \Delta_{\tilde{g}^{(N)}(t)} \right) u = R(t, x) $ outside its wavefront set onto $ \mathbb{R}_{t} \times M_{x, g(t)} $ solves the backward heat equation $ \partial_{t} u + \Delta_{x, g(t)} u = -R(t, x) $ within some appropriate time interval. We discuss this approximation starting from Euclidean case, and then extend to the open Riemannian manifold situation. This idea partially comes from Perelman's original papers in proving Poincar\'e conjecture as well as Terence Tao's Notes in UCLA.


title: How does the $S_{11}$ $N^*(890)$ state emerge from a naive $K$ matrix fit?

abstract: We give a pedagogical analysis on $K$ matrix models describing the $\pi N$ scattering amplitude, in $S_{11}$ channel at low energies. We show how the correct use of analyticity in the $s$ channel and crossing symmetry in $t$ and $u$ channels leads to a much improved analytic behavior in the negative $s$ region, in agreement with the prediction from chiral perturbation amplitudes in its validity region. The analysis leads again to the conclusion that a genuine $N^*(890)$ resonance exists.


title: An unfitted Eulerian finite element method for the time-dependent Stokes problem on moving domains

abstract: We analyse a Eulerian Finite Element method, combining a Eulerian time-stepping scheme applied to the time-dependent Stokes equations using the CutFEM approach with inf-sup stable Taylor-Hood elements for the spatial discretisation. This is based on the method introduced by Lehrenfeld \& Olshanskii [ESAIM: M2AN 53(2):585--614] in the context of a scalar convection-diffusion problems on moving domains, and extended to the non-stationary Stokes problem on moving domains by Burman, Frei \& Massing [arXiv:1910.03054 [math.NA]] using stabilised equal-order elements. The analysis includes the geometrical error made by integrating over approximated levelset domains in the discrete CutFEM setting. The method is implemented and the theoretical results are illustrated using numerical examples.


title: Conversational Structure Aware and Context Sensitive Topic Model for Online Discussions

abstract: Millions of online discussions are generated everyday on social media platforms. Topic modelling is an efficient way of better understanding large text datasets at scale. Conventional topic models have had limited success in online discussions, and to overcome their limitations, we use the discussion thread tree structure and propose a "popularity" metric to quantify the number of replies to a comment to extend the frequency of word occurrences, and the "transitivity" concept to characterize topic dependency among nodes in a nested discussion thread. We build a Conversational Structure Aware Topic Model (CSATM) based on popularity and transitivity to infer topics and their assignments to comments. Experiments on real forum datasets are used to demonstrate improved performance for topic extraction with six different measurements of coherence and impressive accuracy for topic assignments.


title: Value of Information Analysis via Active Learning and Knowledge Sharing in Error-Controlled Adaptive Kriging

abstract: Large uncertainties in many phenomena have challenged decision making. Collecting additional information to better characterize reducible uncertainties is among decision alternatives. Value of information (VoI) analysis is a mathematical decision framework that quantifies expected potential benefits of new data and assists with optimal allocation of resources for information collection. However, analysis of VoI is computational very costly because of the underlying Bayesian inference especially for equality-type information. This paper proposes the first surrogate-based framework for VoI analysis. Instead of modeling the limit state functions describing events of interest for decision making, which is commonly pursued in surrogate model-based reliability methods, the proposed framework models system responses. This approach affords sharing equality-type information from observations among surrogate models to update likelihoods of multiple events of interest. Moreover, two knowledge sharing schemes called model and training points sharing are proposed to most effectively take advantage of the knowledge offered by costly model evaluations. Both schemes are integrated with an error rate-based adaptive training approach to efficiently generate accurate Kriging surrogate models. The proposed VoI analysis framework is applied for an optimal decision-making problem involving load testing of a truss bridge. While state-of-the-art methods based on importance sampling and adaptive Kriging Monte Carlo simulation are unable to solve this problem, the proposed method is shown to offer accurate and robust estimates of VoI with a limited number of model evaluations. Therefore, the proposed method facilitates the application of VoI for complex decision problems.


title: An Additive Decomposition in S-Primitive Towers

abstract: We consider the additive decomposition problem in primitive towers and present an algorithm to decompose a function in an S-primitive tower as a sum of a derivative in the tower and a remainder which is minimal in some sense. Special instances of S-primitive towers include differential fields generated by finitely many logarithmic functions and logarithmic integrals. A function in an S-primitive tower is integrable in the tower if and only if the remainder is equal to zero. The additive decomposition is achieved by viewing our towers not as a traditional chain of extension fields, but rather as a direct sum of certain subrings. Furthermore, we can determine whether or not a function in an S-primitive tower has an elementary integral without solving any differential equations. We also show that a kind of S-primitive towers, known as logarithmic towers, can be embedded into a particular extension where we can obtain a finer remainder.


title: Existence of dynamical low rank approximations for random semi-linear evolutionary equations on the maximal interval

abstract: An existence result is presented for the dynamical low rank (DLR) approximation for random semi-linear evolutionary equations. The DLR solution approximates the true solution at each time instant by a linear combination of products of deterministic and stochastic basis functions, both of which evolve over time. A key to our proof is to find a suitable equivalent formulation of the original problem. The so-called Dual Dynamically Orthogonal formulation turns out to be convenient. Based on this formulation, the DLR approximation is recast to an abstract Cauchy problem in a suitable linear space, for which existence and uniqueness of the solution in the maximal interval are established.


title: Computationally efficient algorithm for eco-driving over long look-ahead horizons

abstract: This paper presents a computationally efficient algorithm for eco-driving over long prediction horizons. The eco-driving problem is formulated as a bi-level program, where the bottom level is solved offline, pre-optimizing gear as a function of longitudinal velocity and acceleration. The top level is solved online, optimizing a nonlinear dynamic program with travel time, kinetic energy and acceleration as state variables. To further reduce computational effort, the travel time is adjoined to the objective by applying necessary Pontryagin Maximum Principle conditions, and the nonlinear program is solved using real-time iteration sequential quadratic programming scheme in a model predictive control framework. Compared to standard cruise control, the energy savings of using the proposed algorithm is up to 15.71%.


title: A comparison of mobile VR display running on an ordinary smartphone with standard PC display for P300-BCI stimulus presentation

abstract: A brain-computer interface (BCI) based on electroencephalography (EEG) is a promising technology for enhancing virtual reality (VR) applications-in particular, for gaming. We focus on the so-called P300-BCI, a stable and accurate BCI paradigm relying on the recognition of a positive event-related potential (ERP) occurring in the EEG about 300 ms post-stimulation. We implemented a basic version of such a BCI displayed on an ordinary and affordable smartphone-based head-mounted VR device: that is, a mobile and passive VR system (with no electronic components beyond the smartphone). The mobile phone performed the stimuli presentation, EEG synchronization (tagging) and feedback display. We compared the ERPs and the accuracy of the BCI on the VR device with a traditional BCI running on a personal computer (PC). We also evaluated the impact of subjective factors on the accuracy. The study was within-subjects, with 21 participants and one session in each modality. No significant difference in BCI accuracy was found between the PC and VR systems, although the P200 ERP was significantly wider and larger in the VR system as compared to the PC system.


title: Nonconforming discretizations of convex minimization problems and precise relations to mixed methods

abstract: This article discusses nonconforming finite element methods for convex minimization problems and systematically derives dual mixed formulations. Duality relations lead to simple error estimates that avoid an explicit treatment of nonconformity errors. A reconstruction formula provides the discrete solution of the dual problem via a simple postprocessing procedure which implies a strong duality relation and is of interest in a posteriori error estimation. The framework applies to differentiable and nonsmooth problems, examples include $p$-Laplace, total-variation regularized, and obstacle problems. Numerical experiments illustrate advantages of nonconforming over standard conforming methods.


title: Scalable and Probabilistically Complete Planning for Robotic Spatial Extrusion

abstract: There is increasing demand for automated systems that can fabricate 3D structures. Robotic spatial extrusion has become an attractive alternative to traditional layer-based 3D printing due to a manipulator's flexibility to print large, directionally-dependent structures. However, existing extrusion planning algorithms require a substantial amount of human input, do not scale to large instances, and lack theoretical guarantees. In this work, we present a rigorous formalization of robotic spatial extrusion planning and provide several efficient and probabilistically complete planning algorithms. The key planning challenge is, throughout the printing process, satisfying both stiffness constraints that limit the deformation of the structure and geometric constraints that ensure the robot does not collide with the structure. We show that, although these constraints often conflict with each other, a greedy backward state-space search guided by a stiffness-aware heuristic is able to successfully balance both constraints. We empirically compare our methods on a benchmark of over 40 simulated extrusion problems. Finally, we apply our approach to 3 real-world extrusion problems.


title: New Insights on One-Sided Lipschitz and Quadratically Inner-Bounded Nonlinear Dynamic Systems

abstract: Nonlinear dynamic systems can be classified into various classes depending on the modeled nonlinearity. These classes include Lipschitz, bounded Jacobian, one-sided Lipschitz (OSL), and quadratically inner-bounded (QIB). Such classes essentially yield bounding constants characterizing the nonlinearity. This is then used to design observers and controllers through Riccati equations or matrix inequalities. While analytical expressions for bounding constants of Lipschitz and bounded Jacobian nonlinearity are studied in the literature, OSL and QIB classes are not thoroughly analyzed---computationally or analytically. In short, this paper develops analytical expressions of OSL and QIB bounding constants. These expressions are posed as constrained maximization problems, which can be solved via various optimization algorithms. This paper also presents a novel insight particularly on QIB function set: any function that is QIB turns out to be also Lipschitz continuous.


title: Lane Boundary Geometry Extraction from Satellite Imagery

abstract: Autonomous driving car is becoming more of a reality, as a key component,high-definition(HD) maps shows its value in both market place and industry. Even though HD maps generation from LiDAR or stereo/perspective imagery has achieved impressive success, its inherent defects cannot be ignored. In this paper, we proposal a novel method for Highway HD maps modeling using pixel-wise segmentation on satellite imagery and formalized hypotheses linking, which is cheaper and faster than current HD maps modeling approaches from LiDAR point cloud and perspective view imagery, and let it becomes an ideal complementary of state of the art. We also manual code/label an HD road model dataset as ground truth, aligned with Bing tile image server, to train, test and evaluate our methodology. This dataset will be publish at same time to contribute research in HD maps modeling from aerial imagery.


title: Topological quantum phase transitions retrieved through unsupervised machine learning

abstract: The discovery of topological features of quantum states plays an important role in modern condensed matter physics and various artificial systems. Due to the absence of local order parameters, the detection of topological quantum phase transitions remains a challenge. Machine learning may provide effective methods for identifying topological features. In this work, we show that the unsupervised manifold learning can successfully retrieve topological quantum phase transitions in momentum and real space. Our results show that the Chebyshev distance between two data points sharpens the characteristic features of topological quantum phase transitions in momentum space, while the widely used Euclidean distance is in general suboptimal. Then a diffusion map or isometric map can be applied to implement the dimensionality reduction, and to learn about topological quantum phase transitions in an unsupervised manner. We demonstrate this method on the prototypical Su-Schrieffer-Heeger (SSH) model, the Qi-Wu-Zhang (QWZ) model, and the quenched SSH model in momentum space, and further provide implications and demonstrations for learning in real space, where the topological invariants could be unknown or hard to compute. The interpretable good performance of our approach shows the capability of manifold learning, when equipped with a suitable distance metric, in exploring topological quantum phase transitions.

categories: physics.comp-ph cond-mat.dis-nn physics.data-an quant-ph


title: Different approaches to unveil biomolecule configurations and their mutual interactions

abstract: A novel technique was demonstrated that overcome important drawbacks to crosslink cells by irradiation with ultrashort UV laser pulses (L-crosslinking). To use this technique coupled to Chromatin ImmunoPrecipitation (ChIP) in a high throughput context, a pre-screening fast method needs to be implemented to set up suitable irradiation conditions of the cell sample for efficient L-crosslinking with no final and long ChIP analysis. Here a fast method is reported where living human cells have been first transfected with a vector coding for Estrogen Receptor {\alpha} (ER{\alpha}), linked to Green Florescent protein (ER{\alpha}-GFP), so that the well-known interaction between the Estrogen Receptor Elements (ERE) region of the cell DNA and the ER{\alpha} protein can be detected by studying the fluorometric response of the irradiated cells. The damage induced to cells by UV irradiation is characterized by looking at DNA integrity, proteins stability and cellular viability. A second novel approach is presented to analyze or re-visit DNA and RNA sequences and their molecular configurations. This approach is based on methods derived from Chern-Simons super-gravity adapted to describe mutations in DNA/RNA strings, as well as interactions between nucleic acids. As a preliminary case we analyze the KRAS human gene sequence and some of its mutations. Interestingly, our model shows how the Chern-Simons current are capable to characterize the mutations within a sequence, in particular giving a quantitative indication of the mutation likelihood.


title: Universal $\mathrm{C}^*$-algebras with the Local Lifting Property

abstract: The Local Lifting Property (LLP) is a localized version of projectivity for completely positive maps between $\mathrm{C}^*$-algebras. Outside of the nuclear case, very few $\mathrm{C}^*$-algebras are known to have the LLP. In this article, we show that the LLP holds for the algebraic contraction $\mathrm{C}^*$-algebras introduced by Hadwin and further studied by Loring and Shulman. We also show that the universal Pythagorean $\mathrm{C}^*$-algebras introduced by Brothier and Jones have the Lifting Property.


title: High Entropy Alloy Nanoparticles Decorated, p-type 2D-Molybdenum Disulphide (MoS2) and Gold Schottky Junction Enhanced Hydrogen Sensing

abstract: Molybdenum Disulphide (MoS2) is an interesting material which exists in atomically thin multilayers and can be exfoliated into monolayer or a few layers for multiple applications. It has emerged as a promising material for development of such efficient sensors. Here, we have exfoliated and decorated MoS2 flakes with novel, single phase High Entropy Alloy (HEA) nanoparticles using facile and scalable cryomilling technique, followed by sonochemical method. It is found that the decoration of HEA nanoparticles impart surface enhanced Raman scattering effect and reduction in the work function of the material from 4.9 to 4.75 eV as measured by UV photoelectron spectroscopy. This change in the work function results in a schottky barrier between the gold contact and HEA decorated MoS2 flakes as a result of drastic changes in the surface chemical non-stoichiometry. The response to hydrogen gas is studied at temperatures 30 to 100 oC and it shows unusual p-type nature due to surface adsorbed oxygen species. The nanoscale junction formed between HEA and MoS2 shows 10 times increase in the response towards hydrogen gas at 80 oC. The experimental observations are further explained with DFT simulation showing more favourable hydrogen adsorption on HEA decorated MoS2 resulting for enhanced response.


title: Geo-information system of spread of tuberculosis based on inversion and prediction

abstract: The monitoring, analysis and prediction of epidemic spread in the region require the construction of mathematical model, big data processing and visualization because the amount of population and the size of the region could be huge. One of the important steps is refinement of mathematical model, i.e. determination of initial data and coefficients of system of differential equations which describe the epidemiology processes. We analyze numerical method for solving inverse problem of epidemiology based on genetic algorithm and traditional optimization ideas. Numerical results are applied to analysis and prediction of epidemic situation in regions of Russian Federation, Republic of Kazakhstan and People's Republic of China. Due to a great amount of data we use a special Geo-information system for visualization of epidemic process, i.e. a special software named Digital Earth.


title: Detecting Network Anomalies using Rule-based machine learning within SNMP-MIB dataset

abstract: One of the most effective threats that targeting cybercriminals to limit network performance is Denial of Service (DOS) attack. Thus, data security, completeness and efficiency could be greatly damaged by this type of attacks. This paper developed a network traffic system that relies on adopted dataset to differentiate the DOS attacks from normal traffic. The detection model is built with five Rule-based machine learning classifiers (DecisionTable, JRip, OneR, PART and ZeroR). The findings have shown that the ICMP variables are implemented in the identification of ICMP attack, HTTP flood attack, and Slowloris at a high accuracy of approximately 99.7% using PART classifier. In addition, PART classifier has succeeded in classifying normal traffic from different DOS attacks at 100%.


title: Covering the News with (AI) Style

abstract: We introduce a multi-modal discriminative and generative frame-work capable of assisting humans in producing visual content re-lated to a given theme, starting from a collection of documents(textual, visual, or both). This framework can be used by edit or to generate images for articles, as well as books or music album covers. Motivated by a request from the The New York Times (NYT) seeking help to use AI to create art for their special section on Artificial Intelligence, we demonstrated the application of our system in producing such image.


title: Data hiding in speech signal using steganography and encryption

abstract: Data privacy and data security are always on highest priority in the world. We need a reliable method to encrypt the data so that it reaches the destination safely. Encryption is a simple yet effective way to protect our data while transmitting it to a destination. The proposed method has state of art technology of steganography and encryption. This paper puts forward a different approach for data hiding in speech signals. A ten-digit number within speech signal using audio steganography and encrypting it with a unique key for better security. At the receiver end the same unique key is used to decrypt the received signal and then hidden numbers are extracted. The proposed approach performance can be evaluated by PSNR, MSE, SSIM and bit-error rate. The simulation results give better performance compared to existing approach.


title: Joseph Polchinski: A Biographical Memoir

abstract: Joseph Polchinski (1954-2018), one of the the leading theoretical physicists of the past 50 years, was an exceptionally broad and deep thinker. He made fundamental contributions to quantum field theory, advancing the role of the renormalization group, and to cosmology, addressing the cosmological constant problem. Polchinski's work on D-branes revolutionized string theory and led to the discovery of a nonperturbative quantum theory of gravity. His recent, incisive reformulation of the black hole information paradox presents us with a profound challenge. Joe was deeply devoted to his family, a beloved colleague and advisor, an excellent writer, and an accomplished athlete.

categories: physics.hist-ph gr-qc hep-ph hep-th quant-ph


title: Towards Sharper First-Order Adversary with Quantized Gradients

abstract: Despite the huge success of Deep Neural Networks (DNNs) in a wide spectrum of machine learning and data mining tasks, recent research shows that this powerful tool is susceptible to maliciously crafted adversarial examples. Up until now, adversarial training has been the most successful defense against adversarial attacks. To increase adversarial robustness, a DNN can be trained with a combination of benign and adversarial examples generated by first-order methods. However, in state-of-the-art first-order attacks, adversarial examples with sign gradients retain the sign information of each gradient component but discard the relative magnitude between components. In this work, we replace sign gradients with quantized gradients. Gradient quantization not only preserves the sign information, but also keeps the relative magnitude between components. Experiments show white-box first-order attacks with quantized gradients outperform their variants with sign gradients on multiple datasets. Notably, our BLOB\_QG attack achieves an accuracy of $88.32\%$ on the secret MNIST model from the MNIST Challenge and it outperforms all other methods on the leaderboard of white-box attacks.


title: Reversible Al Propagation in Si$_x$Ge$_{1-x}$ Nanowires

abstract: While reversibility is a fundamental concept in thermodynamics, most reactions are not readily reversible, especially in solid state physics. For example, thermal diffusion is a widely known concept, used among others to inject dopant atoms into the substitutional positions in the matrix and improve the device properties. Typically, such a diffusion process will create a concentration gradient extending over increasingly large regions, without possibility to reverse this effect. On the other hand, while the bottom up growth of semiconducting nanowires is interesting, it can still be difficult to fabricate axial heterostructures with high control. In this paper, we report a reversible thermal diffusion process occurring in the solid-state exchange reaction between an Al metal pad and a Si$_x$Ge$_{1-x}$ alloy nanowire observed by in-situ transmission electron microscopy. The thermally assisted reaction results in the creation of a Si-rich region sandwiched between the reacted Al and unreacted SixGe1-x part, forming an axial Al/Si/Si$_x$Ge$_{1-x}$ heterostructure. Upon heating or (slow) cooling, the Al metal can repeatably move in and out of the Si$_x$Ge$_{1-x}$ alloy nanowire while maintaining the rod-like geometry and crystallinity, allowing to fabricate and contact nanowire heterostructures in a reversible way in a single process step, compatible with current Si based technology. This interesting system is promising for various applications, such as phase change memories in an all crystalline system with integrated contacts, as well as Si/Si$_x$Ge$_{1-x}$/Si heterostructures for near-infrared sensing applications.


title: Macroscopic Traffic Flow Modeling with Physics Regularized Gaussian Process: A New Insight into Machine Learning Applications

abstract: Despite the wide implementation of machine learning (ML) techniques in traffic flow modeling recently, those data-driven approaches often fall short of accuracy in the cases with a small or noisy dataset. To address this issue, this study presents a new modeling framework, named physics regularized machine learning (PRML), to encode classical traffic flow models (referred as physical models) into the ML architecture and to regularize the ML training process. More specifically, a stochastic physics regularized Gaussian process (PRGP) model is developed and a Bayesian inference algorithm is used to estimate the mean and kernel of the PRGP. A physical regularizer based on macroscopic traffic flow models is also developed to augment the estimation via a shadow GP and an enhanced latent force model is used to encode physical knowledge into stochastic processes. Based on the posterior regularization inference framework, an efficient stochastic optimization algorithm is also developed to maximize the evidence lowerbound of the system likelihood. To prove the effectiveness of the proposed model, this paper conducts empirical studies on a real-world dataset which is collected from a stretch of I-15 freeway, Utah. Results show the new PRGP model can outperform the previous compatible methods, such as calibrated pure physical models and pure machine learning methods, in estimation precision and input robustness.


title: Generating Biomedical Question Answering Corpora from Q&A forums

abstract: Question Answering (QA) is a natural language processing task that aims at obtaining relevant answers to user questions. While some progress has been made in this area, biomedical questions are still a challenge to most QA approaches, due to the complexity of the domain and limited availability of training sets. We present a method to automatically extract question-article pairs from Q\&A web forums, which can be used for document retrieval, a crucial step of most QA systems. The proposed framework extracts from selected forums the questions and the respective answers that contain citations. This way, QA systems based on document retrieval can be developed and evaluated using the question-article pairs annotated by users of these forums. We generated the BiQA corpus by applying our framework to three forums, obtaining 7,453 questions and 14,239 question-article pairs. We evaluated how the number of articles associated with each question and the number of votes on each answer affects the performance of baseline document retrieval approaches. Also, we demonstrated that the articles given as answers are significantly similar to the questions and trained a state-of-the-art deep learning model that obtained similar performance to using a dataset manually annotated by experts. The proposed framework can be used to update the BiQA corpus from the same forums as new posts are made, and from other forums that support their answers with documents. The BiQA corpus and the framework used to generate it are available at \url{https://github.com/lasigeBioTM/BiQA}.


title: A Survey on String Constraint Solving

abstract: String constraint solving refers to solving combinatorial problems involving constraints over string variables. String solving approaches have become popular over the last years given the massive use of strings in different application domains like formal analysis, automated testing, database query processing, and cybersecurity. This paper reports a comprehensive survey on string constraint solving by exploring the large number of approaches that have been proposed over the last decades to solve string constraints.


title: The Einstein Dual Theory of Relativity

abstract: {This paper is a comparison of the Minkowski, Einstein and Einstein dual theories of relativity. The dual is based on an identity relating the observer time and the proper time as a contact transformation on configuration space, which leaves phase space invariant. The theory is dual in that, for a system of $n$ particles, any inertial observer has two unique sets of global variables $({\bf{X}}, t)$ and $({\bf{X}}, \tau)$ to describe the dynamics. Where ${\bf{X}}$ is the (unique) canonical center of mass. In the $({\bf{X}}, t)$ variables, time is relative and the speed of light is unique, while in the $({\bf{X}}, \tau)$ variables, time is unique and the speed of light is relative with no upper bound. The two sets of particle and Maxwell field equations are mathematically equivalent, but the particle wave equations are not. The dual version contains an additional longitudinal radiation term that appears instantaneously with acceleration, does not depend on the nature of the force and the Wheeler-Feynman absorption hypothesis is a corollary. The homogenous and isotropic nature of the universe is sufficient to prove that a unique definition of Newtonian time exists with zero set at the big bang. The isotopic dual of $\R$ is used to improve the big bang model, by providing an explanation for the lack of antimatter in our universe, a natural arrow for time, conservation of energy, momentum and angular momentum. This also solves the flatness and horizon problems without inflation. We predict that radiation from a betatron (of any frequency) will not produce photoelectrons, that matter and antimatter are gravitationally repulsive and that data from distant sources does not have a unique physical interpretation. We provide a table showing the differences between the Minkowski, Einstein and dual versions of the special theory.}


title: Direct proof of Mckay Correspondence and the representations of finite subgroups of $\operatorname{SO}(4)$

abstract: The classic Mckay correspondence gives a connection between finite subgroups of $\operatorname{SU}(2)$ and the simply-laced Dynkin diagrams. In this article, a direct proof is presented. The bipartite structure of the Mckay diagrams is introduced. After that, the similar method can be used on finite subgroups of $\operatorname{SO}(4)$, we get a edges-coloured graph. We finally get some applications.


title: Towards Designing A Secure Plausibly Deniable System for Mobile Devices against Multi-snapshot Adversaries -- A Preliminary Design

abstract: Mobile computing devices have been used broadly to store, manage and process sensitive or even mission critical data. To protect confidentiality of data stored in mobile devices, major mobile operating systems use full disk encryption, which relies on traditional encryption mechanisms and requires that decryption keys will not be disclosed. This however, is not necessarily true, since an active attacker may coerce victims for decryption keys. Plausibly deniable encryption (PDE) can defend against such a coercive attacker by disguising the true secret key with a decoy key. Leveraging concept of PDE, various deniable storage systems have been built for both PC and mobile platforms. However, a secure PDE system for mobile devices is still missing which can be compatible with mainstream mobile devices and, meanwhile, remains secure when facing a strong multi-snapshot adversary. In this work, we propose a preliminary PDE system design for mobile computing devices using flash memory as underlying storage medium. Ours is the first secure PDE system for mobile devices which has the following new design features: 1) it is compatible with mainstream mobile devices due to its integration of PDE into flash translation layer (FTL), the most popular form of flash memory being used by modern mobile devices; and 2) it can defend against the multi-snapshot adversary by denying hidden writes (over the flash memory) caused by hidden sensitive data using random dummy writes.


title: Determining Cosmological Constant Using Gravitational Wave Information

abstract: It is shown in Einstein gravity that the cosmological constant Lambda introduces a graviton mass m into the theory, a result that will be derived from the Regge-Wheeler-Zerilli problem for a particle falling onto a Kottler-Schwarzschild mass with Lambda. The value of m is precisely the Spin-2 gauge line appearing on the Lambda versus m2 phase diagram for Spin-2, the partially massless gauge lines introduced by Deser & Waldron and described as the Higuchi bound. Note that this graviton is unitary with only four polarization degrees of freedom (helicities plus & minus 2 and 1, but not 0 because a scalar gauge symmetry removes it). The conclusion is drawn that Einstein gravity (with Lambda) is a partially massless gravitation theory which has lost its helicity 0 due to a scalar gauge symmetry. That poses a challenge for gravitational wave antennas as to whether they can measure the loss of this gauge symmetry. Also, given the recent results measuring the Hubble constant Ho from LIGO-Virgo data, it is then shown that Lambda can be determined from the LIGO results for the graviton mass m and Ho. This is yet another multi-messenger source for determining the three parameters Lambda, m, and Ho in astrophysics and cosmology, at a time when there is much disparity in measurements of Ho.


title: Boundary solution based on rescaling method: recoup the first and second-order statistics of neuron network dynamics

abstract: There is a strong nexus between the network size and the computational resources available, which may impede a neuroscience study. In the meantime, rescaling the network while maintaining its behavior is not a trivial mission. Additionally, modeling patterns of connections under topographic organization presents an extra challenge: to solve the network boundaries or mingled with an unwished behavior. This behavior, for example, could be an inset oscillation due to the torus solution; or a blend with/of unbalanced neurons due to a lack (or overdose) of connections. We detail the network rescaling method able to sustain behavior statistical utilized in Romaro et al. (2018) and present a boundary solution method based on the previous statistics recoup idea.


title: A Poisson Analogue of Noether's Problem

abstract: In this paper we show that the Poisson analogue of the Noether's Problem has a positive solution for essentially all finite symplectic reflection groups - the analogue of complex reflection groups in the symplectic world. Our proofs are constructive, and generalize and refines previously known results. As an interesting consequence of the solution of this problem for complex reflection groups, we obtain the Poisson rationality of the Calogero-Moser spaces associated to any complex reflection group. The results of this paper can be thought as analogues of the Noncommutative Noether Problem and the Gelfand-Kirillov Conjecture for rational Cherednik algebras in the 'quasi-classical limit'. In the second half of the paper, an abstract framework to understand these results is introduced, and it is shown that every Coloumb branch of a $3d \, \mathcal{N}=4$ gauge theory is Poisson rational as an application. We also obtain the Gelfand-Kirillov Conjecture for trigonometric Cherednik algebras and the Poisson rationality of their trigonometric Calogero-Moser spaces at the same time.


title: 1-D Convlutional Neural Networks for the Analysis of Pupil Size Variations in Scotopic Conditions

abstract: It is well known that a systematic analysis of the pupil size variations, recorded by means of an eye-tracker, is a rich source of information about a subject's arousal and cognitive state. Current methods for pupil analysis are limited to descriptive statistics, struggle in handling the wide inter-subjects variability and must be coupled with a long series of pre-processing signal operations. In this we present a data-driven approach in which 1-D Convolutional Neural Networks are applied directly to the raw pupil size data. To test its effectiveness, we apply our method in a binary classification task with two different groups of subjects: a group of elderly patients with Parkinson disease (PDs), a condition in which pupil abnormalities have been extensively reported, and a group of healthy adults subjects (HCs). Long-range registration (10 minutes) of the pupil size were collected in scotopic conditions (complete darkness, 0 lux). 1-D convolutional neural network models are trained for classification of short-range sequences (10 to 60 seconds of registration). The model provides prediction with high average accuracy on a hold out test set. Dataset and codes are released for reproducibility and benchmarking purposes.


title: On some path-dependent SDEs involving distributional drifts

abstract: In this paper, we study (strong and weak) existence and uniqueness of a class of non-Markovian SDEs whose drift contains the derivative in the sense of distributionsof a continuous function.


title: Product Kanerva Machines: Factorized Bayesian Memory

abstract: An ideal cognitively-inspired memory system would compress and organize incoming items. The Kanerva Machine (Wu et al, 2018) is a Bayesian model that naturally implements online memory compression. However, the organization of the Kanerva Machine is limited by its use of a single Gaussian random matrix for storage. Here we introduce the Product Kanerva Machine, which dynamically combines many smaller Kanerva Machines. Its hierarchical structure provides a principled way to abstract invariant features and gives scaling and capacity advantages over single Kanerva Machines. We show that it can exhibit unsupervised clustering, find sparse and combinatorial allocation patterns, and discover spatial tunings that approximately factorize simple images by object.


abstract: We study the deformation theory of $\mathrm{G}_2$-instantons on the 7-sphere, specifically those obtained from instantons on the 4-sphere via the quaternionic Hopf fibration. We find that the pullback of the standard ASD instanton lies in a smooth, complete, 15-dimensional family of $\mathrm{G}_2$-instantons. In general, the space of infinitesimal $\mathrm{G}_2$-instanton deformations on $S^7$ is identified with three copies of the space of ASD deformations on $S^4.$


title: On BF-type higher-spin actions in two dimensions

abstract: We propose a non-abelian higher-spin theory in two dimensions for an infinite multiplet of massive scalar fields and infinitely many topological higher-spin gauge fields together with their dilaton-like partners. The spectrum includes local degrees of freedom although the field equations take the form of flatness and covariant constancy conditions because fields take values in a suitable extension of the infinite-dimensional higher-spin algebra $hs[\lambda]$. The corresponding action functional is of BF-type and generalizes the known topological higher-spin Jackiw-Teitelboim gravity.


title: Relations between Reeb graphs, systems of hypersurfaces and epimorphisms onto free groups

abstract: We construct a correspondence between epimorphisms $\varphi \colon \pi_1(M) \to F_r$ from the fundamental group of a compact manifold $M$ onto the free group of rank $r$, and systems of $r$ framed non-separating hypersurfaces in $M$, which induces a bijection onto framed cobordism classes of such systems. In consequence, for closed manifolds any such $\varphi$ can be represented by the Reeb epimorphism of a Morse function $f\colon M \to \mathbb{R}$, i.e. by the epimorphism induced by the quotient map $M \to \mathcal{R}(f)$ onto the Reeb graph of $f$. Applying this construction we discuss the problem of classification up to (strong) equivalence of epimorphisms onto free groups, providing a new purely geometrical-topological proof of the solution of this problem for surface groups.


title: Quantized Auger Recombination of Polaronic Self-trapped Excitons in Bulk Iron Oxide

abstract: The Auger recombination in bulk semiconductors can depopulate the charge carriers in a non-radiative way, which, fortunately, only has detrimental impact on optoelectronic device performance under the condition of high carrier density because the restriction arising from concurrent momentum and energy conservation limits the Auger rate. Here, we surprisingly found that the Auger recombination in bulk Fe2O3 films was more efficient than narrow-bandgap high-mobility semiconductors that were supposed to have much higher Auger rate constants than metal oxides. The Auger process in Fe2O3 was ascribed to the Coulombically coupled self-trapped excitons (STEs), which was enhanced by the relaxation of momentum conservation because of the strong spatial localization of these STEs. Furthermore, due to this localization effect the kinetic traces of the STE annihilation for different STE densities exhibited characteristics of quantized Auger recombination, and we demonstrated that these traces could be simultaneously modeled by taking into account the quantized Auger rates.


title: Regret analysis of the Piyavskii-Shubert algorithm for global Lipschitz optimization

abstract: We consider the problem of maximizing a non-concave Lipschitz multivariate function over a compact domain by sequentially querying its (possibly perturbed) values. We study a natural algorithm designed originally by Piyavskii and Shubert in 1972, for which we prove new bounds on the number of evaluations of the function needed to reach or certify a given optimization accuracy. Our analysis uses a bandit-optimization viewpoint and solves an open problem from Hansen et al.\ (1991) by bounding the number of evaluations to certify a given accuracy with a near-optimal sum of packing numbers.


title: Beyond the standard model with six-dimensional spinors

abstract: 6D spinors with $Spin(3,3)$ symmetry are utilized to efficiently encode three generations of matter. $E_{8(-24)}$ is shown to contain physically relevant subgroups with representations for GUT groups, spacetime symmetries, three generations of the standard model fermions, and Higgs bosons. Pati-Salam, $SU(5)$, and $Spin(10)$ grand unified theories are found when a single generation is isolated. For spacetime symmetries, $Spin(4,2)$ may be used for conformal symmetry, $AdS_5\rightarrow dS_4$, or simply broken to $Spin(3,1)$ of Minkowski space. Another class of representations finds $Spin(2,2)$ and can give $AdS_3$ with various GUTs. An action for three generations of fermions in the Majorana-Weyl spinor ${\bf 128}$ of $Spin(4,12)$ is found with $Spin(3)$ flavor symmetry inside $E_{8(-24)}$. The ${\bf 128}$ of $Spin(4,12)$ can be regarded as the tangent space to a particular pseudo-Riemannian form of the octo-octonionic Rosenfeld projective plane $E_{8(-24)}/Spin(4,12)= (\mathbb{O}_s\times\mathbb{O})\mathbb{P}^2$.


title: Subatomic particle as the quantum universe

abstract: Wheeler-Dewitt equation for the wave function of the universe appeared long ago in an approach to quantization of gravity. Presently, the universe considered as the microuniverse, very tiny universe compared to the outer universe to which it belongs. This tiny universe is, thus, supposed to be the subatomic particle (elementary particle) in the universe we live in. It is possible here to convert the wave function of this microuniverse satisfying Wheeler-Dewitt equation into the wave function of the quantum (subatomic) particle, which is shown to satisfy Schr\"{o}dinger equation. The inverse of the length scale indicating smallness of the particle appears in the Schr\"{o}dinger equation being the mass of the particle. Thus, the subatomic particles are shown here to be the quantum universes.


title: Continuous Melody Generation via Disentangled Short-Term Representations and Structural Conditions

abstract: Automatic music generation is an interdisciplinary research topic that combines computational creativity and semantic analysis of music to create automatic machine improvisations. An important property of such a system is allowing the user to specify conditions and desired properties of the generated music. In this paper we designed a model for composing melodies given a user specified symbolic scenario combined with a previous music context. We add manual labeled vectors denoting external music quality in terms of chord function that provides a low dimensional representation of the harmonic tension and resolution. Our model is capable of generating long melodies by regarding 8-beat note sequences as basic units, and shares consistent rhythm pattern structure with another specific song. The model contains two stages and requires separate training where the first stage adopts a Conditional Variational Autoencoder (C-VAE) to build a bijection between note sequences and their latent representations, and the second stage adopts long short-term memory networks (LSTM) with structural conditions to continue writing future melodies. We further exploit the disentanglement technique via C-VAE to allow melody generation based on pitch contour information separately from conditioning on rhythm patterns. Finally, we evaluate the proposed model using quantitative analysis of rhythm and the subjective listening study. Results show that the music generated by our model tends to have salient repetition structures, rich motives, and stable rhythm patterns. The ability to generate longer and more structural phrases from disentangled representations combined with semantic scenario specification conditions shows a broad application of our model.


title: FPGA Acceleration of Sequence Alignment: A Survey

abstract: Genomics is changing our understanding of humans, evolution, diseases, and medicines to name but a few. As sequencing technology is developed collecting DNA sequences takes less time thereby generating more genetic data every day. Today the rate of generating genetic data is outpacing the rate of computation power growth. Current sequencing machines can sequence 50 humans genome per day; however, aligning the read sequences against a reference genome and assembling the genome will take 1300 CPU hours. The main step in constructing the genome is aligning the reads against a reference genome. Numerous accelerators have been proposed to accelerate the DNA alignment process. Providing massive parallelism, FPGA-based accelerators have shown great performance in accelerating DNA alignment algorithms. Additionally, FPGA-based accelerators provide better energy efficiency than general-purpose processors. In this survey, we introduce three main DNA alignment algorithms and FPGA-based implementation of these algorithms to accelerate the DNA alignment. We also, compare these three alignment categories and show how accelerators are developing during the time.


title: On the Buchstaber--Rees theory of "Frobenius $n$-homomorphisms" and its generalization

abstract: This is a survey of our results on the theory of $n$-homomorphisms of Buchstaber--Rees and its generalization that we obtained. In short, we are concerned with classes of linear maps between commutative rings that can be described the "next level after ring homomorphisms" with respect to multiplicative properties. Our main tool is a construction which we call the "characteristic function" -- whose functional properties encode algebraic properties of a linear map in question. Namely, if the characteristic function is polynomial of degree $n$, the map is an $n$-homomorphism in the sense of Buchstaber--Rees, and our approach simplifies their theory substantially. If the characteristic function is an irreducible rational fraction with the numerator and denominator of degrees $p$ and $q$ respectively, we arrive at a new notion of a "$p|q$-homomorphism". Examples of $p|q$-homomorphisms are sums and differences of ring homomorphisms. Our construction is motivated by our earlier results in superalgebra/supergeometry concerning Berezinians and super exterior powers.


title: On wide Aronszajn trees in the presence of MA

abstract: A wide Aronszajn tree is a tree of size and height $\omega_1$ with no uncountable branches. We prove that under $MA(\omega_1)$ there is no wide Aronszajn tree which is universal under weak embeddings. This solves an open question of Mekler and V\"a\"an\"anen from 1994. We also prove that under the same assumption there is no universal Aronszajn tree, improving a result of Todor\v{c}evi{\'c} from 2007 who proved the same under the assumption of BPFA for posets of size $\aleph_1$. Finally, we prove that under $MA(\omega_1)$, every wide Aronszajn tree weakly embeds in an Aronszajn tree.


title: Entropy, products, and bounded orbit equivalence

abstract: We prove that if two topologically free and entropy regular actions of countable sofic groups on compact metrizable spaces are continuously orbit equivalent, and each group either (i) contains a w-normal amenable subgroup which is neither locally finite nor virtually cyclic, or (ii) is a non-locally-finite product of two infinite groups, then the actions have the same sofic topological entropy. This fact is then used to show that if two free uniquely ergodic and entropy regular probability-measure-preserving actions of such groups are boundedly orbit equivalent then the actions have the same sofic measure entropy. Our arguments are based on a relativization of property SC to sofic approximations and yield more general entropy inequalities.


title: From internal to pointwise control for the 1D heat equation and minimal control time

abstract: Our goal is to study controllability and observability properties of the 1D heat equation with internal control (or observation) set $\omega_{\varepsilon}=(x_{0}-\varepsilon, x_{0}+\varepsilon )$, in the limit $\varepsilon\rightarrow 0$, where $x_{0}\in (0,1)$. It is known that depending on arithmetic properties of $x_{0}$, there may exist a minimal time $T_{0}$ of pointwise control at $x_{0}$ of the heat equation. Besides, for any $\varepsilon$ fixed, the heat equation is controllable with control set $\omega_{\varepsilon}$ in any time $T>0$. We relate these two phenomena. We show that the observability constant on $\omega_\varepsilon$ does not converge to $0$ as $\varepsilon\rightarrow 0$ at the same speed when $T>T_{0}$ (in which case it is comparable to $\varepsilon^{1/2}$) or $T<T_{0}$ (in which case it converges faster to $0$). We also describe the behavior of optimal $L^{2}$ null-controls on $\omega_{\varepsilon}$ in the limit $\varepsilon \rightarrow 0$.


title: Primer on ILC Physics and SiD Software Tools

abstract: We first outline the Standard Model (SM) of particle physics, particle production and decay, and the expected signal and background at a Higgs factory like the International Linear Collider (ILC). We then introduce high energy colliders and collider detectors, and briefly detail the ILC and the Silicon Detector (SiD), one of the two detectors proposed for the ILC. Next we review the available software tools for ILC event generation, SiD detector simulation, and event reconstruction. Finally we suggest open avenues in research for detector optimization and physics analysis. The pedagogical level is suitable for advanced undergraduate and beginning graduate students in physics and research scientists in related fields.

categories: hep-ph hep-ex physics.comp-ph physics.data-an


title: Over-the-Air Adversarial Attacks on Deep Learning Based Modulation Classifier over Wireless Channels

abstract: We consider a wireless communication system that consists of a transmitter, a receiver, and an adversary. The transmitter transmits signals with different modulation types, while the receiver classifies its received signals to modulation types using a deep learning-based classifier. In the meantime, the adversary makes over-the-air transmissions that are received as superimposed with the transmitter's signals to fool the classifier at the receiver into making errors. While this evasion attack has received growing interest recently, the channel effects from the adversary to the receiver have been ignored so far such that the previous attack mechanisms cannot be applied under realistic channel effects. In this paper, we present how to launch a realistic evasion attack by considering channels from the adversary to the receiver. Our results show that modulation classification is vulnerable to an adversarial attack over a wireless channel that is modeled as Rayleigh fading with path loss and shadowing. We present various adversarial attacks with respect to availability of information about channel, transmitter input, and classifier architecture. First, we present two types of adversarial attacks, namely a targeted attack (with minimum power) and non-targeted attack that aims to change the classification to a target label or to any other label other than the true label, respectively. Both are white-box attacks that are transmitter input-specific and use channel information. Then we introduce an algorithm to generate adversarial attacks using limited channel information where the adversary only knows the channel distribution. Finally, we present a black-box universal adversarial perturbation (UAP) attack where the adversary has limited knowledge about both channel and transmitter input.


title: The loss of the intra-cluster medium in globular clusters

abstract: Stars in globular clusters (GCs) lose a non negligible amount of mass during their post-main sequence evolution. This material is then expected to build up a substantial intra-cluster medium (ICM) within the GC. However, the observed gas content in GCs is a couple of orders of magnitude below these expectations. Here we follow the evolution of this stellar wind material through hydrodynamical simulations to attempt to reconcile theoretical predictions with observations. We test different mechanisms proposed in the literature to clear out the gas such as ram-pressure stripping by the motion of the GC in the Galactic halo medium and ionisation by UV sources. We use the code ramses to run 3D hydrodynamical simulations to study for the first time the ICM evolution within discretised multi-mass GC models including stellar winds and full radiative transfer. We find that the inclusion of both ram-pressure and ionisation is mandatory to explain why only a very low amount of ionised gas is observed in the core of GCs. The same mechanisms operating in ancient GCs that clear the gas could also be efficient at younger ages, meaning that young GCs would not be able to retain gas and form multiple generations of stars as assumed in many models to explain "multiple populations". However, this rapid clearing of gas is consistent with observations of young massive clusters.


title: Neural network with data augmentation in multi-objective prediction of multi-stage pump

abstract: A multi-objective prediction method of multi-stage pump method based on neural network with data augmentation is proposed. In order to study the highly nonlinear relationship between key design variables and centrifugal pump external characteristic values (head and power), the neural network model (NN) is built in comparison with the quadratic response surface model (RSF), the radial basis Gaussian response surface model (RBF), and the Kriging model (KRG). The numerical model validation experiment of another type of single stage centrifugal pump showed that numerical model based on CFD is quite accurate and fair. All of prediction models are trained by 60 samples under the different combination of three key variables in design range respectively. The accuracy of the head and power based on the four predictions models are analyzed comparing with the CFD simulation values. The results show that the neural network model has better performance in all external characteristic values comparing with other three surrogate models. Finally, a neural network model based on data augmentation (NNDA) is proposed for the reason that simulation cost is too high and data is scarce in mechanical simulation field especially in CFD problems. The model with data augmentation can triple the data by interpolation at each sample point of different attributes. It shows that the performance of neural network model with data augmentation is better than former neural network model. Therefore, the prediction ability of NN is enhanced without more simulation costs. With data augmentation it can be a better prediction model used in solving the optimization problems of multistage pump for next optimization and generalized to finite element analysis optimization problems in future.


title: Manipulation, trapping, splitting and merging of water and aqueous bio-droplets by photovoltaic optoelectronic tweezers

abstract: Optical and optoelectronic techniques for micro- and nano-object manipulation are becoming essential tools in nano- and bio-technology. A remarkable optoelectronic technique that has experimented a strong development in the last few years is the so called photovoltaic optoelectronic tweezers. It is based on the light-induced electric fields generated by the bulk photovoltaic effect in certain ferroelectrics such as LiNbO3. The technique is simple and versatile, enabling a successful manipulation of a large variety of micro- and nano-objects with only optical control, without the need of electrodes or power supplies. However, it is still a challenge for this tool, to handle objects immersed in aqueous solution due to the electric screening effects of polar liquids. This has hindered their application in biotechnology and biomedicine where most processes develop in aqueous solution. In this work, a new efficient route to overcome this problem has been proposed and demonstrated. It uses photovoltaic optoelectronic tweezers to manipulate aqueous droplets, immersed in a non-polar oil liquid, but hanging at the interface air-oil. In this singular configuration, the high electric fields generated in the photovoltaic substrate allow a simple and flexible manipulation of aqueous droplets controlled by the light. Droplet guiding, trapping, merging and splitting have been achieved and efficient operation with water and a variety of bio-droplets (DNA, sperm, and PBS solutions) have been demonstrated. The reported results overcome a main limitation of these tweezers to handle bio-materials and promises a high potential for biotechnological and biochemistry applications including their implementation in optofluidic devices.


title: Minimal coupling in presence of non-metricity and torsion

abstract: We deal with the question of what it means to define a minimal coupling prescription in presence of torsion and/or non-metricity, carefully explaining while the naive substitution $\partial\to\na$ introduces extra couplings between the matter fields and the connection that can be regarded as non-minimal in presence of torsion and/or non-metricity. We will also investigate whether minimal coupling prescriptions at the level of the action (MCPL) or at the level of field equations (MCPF) lead to different dynamics. To that end, we will first write the Euler-Lagrange equations for matter fields in terms of the covariant derivatives of a general non-Riemannian space, and derivate the form of the associated Noether currents and charges. Then we will see that if the minimal coupling prescriptions is applied as we discuss, for spin 0 and 1 fields the results of MCPL and MCPF are equivalent, while for spin 1/2 fields there is a difference if one applies the MCPF or the MCPL, since the former leads to charge violation.


title: How Good is the Bayes Posterior in Deep Neural Networks Really?

abstract: During the past five years the Bayesian deep learning community has developed increasingly accurate and efficient approximate inference procedures that allow for Bayesian inference in deep neural networks. However, despite this algorithmic progress and the promise of improved uncertainty quantification and sample efficiency there are---as of early 2020---no publicized deployments of Bayesian neural networks in industrial practice. In this work we cast doubt on the current understanding of Bayes posteriors in popular deep neural networks: we demonstrate through careful MCMC sampling that the posterior predictive induced by the Bayes posterior yields systematically worse predictions compared to simpler methods including point estimates obtained from SGD. Furthermore, we demonstrate that predictive performance is improved significantly through the use of a "cold posterior" that overcounts evidence. Such cold posteriors sharply deviate from the Bayesian paradigm but are commonly used as heuristic in Bayesian deep learning papers. We put forward several hypotheses that could explain cold posteriors and evaluate the hypotheses through experiments. Our work questions the goal of accurate posterior approximations in Bayesian deep learning: If the true Bayes posterior is poor, what is the use of more accurate approximations? Instead, we argue that it is timely to focus on understanding the origin of the improved performance of cold posteriors.


title: Message Passing Query Embedding

abstract: Recent works on representation learning for Knowledge Graphs have moved beyond the problem of link prediction, to answering queries of an arbitrary structure. Existing methods are based on ad-hoc mechanisms that require training with a diverse set of query structures. We propose a more general architecture that employs a graph neural network to encode a graph representation of the query, where nodes correspond to entities and variables. The generality of our method allows it to encode a more diverse set of query types in comparison to previous work. Our method shows competitive performance against previous models for complex queries, and in contrast with these models, it can answer complex queries when trained for link prediction only. We show that the model learns entity embeddings that capture the notion of entity type without explicit supervision.


title: Generalized approach for enabling multimode quantum optics

abstract: We develop a universal approach enabling the study of any multimode quantum optical system evolving under a quadratic Hamiltonian. Our strategy generalizes the standard symplectic analysis and permits the treatment of multimode systems even in situations where traditional theoretical methods cannot be applied. This enables the description and investigation of a broad variety of key-resources for experimental quantum optics, ranging from optical parametric oscillators, to silicon-based micro-ring resonator, as well as opto-mechanical systems.


title: Algorithmic Aspects of 2-Secure Domination in Graphs

abstract: Let $G(V,E)$ be a simple, undirected and connected graph. A dominating set $S \subseteq V(G)$ is called a $2$-\textit{secure dominating set} ($2$-SDS) in $G$, if for every pair of distinct vertices $u_1,u_2 \in V(G)$ there exists a pair of distinct vertices $v_1,v_2 \in S$ such that $v_1 \in N[u_1]$, $v_2 \in N[u_2]$ and $(S \setminus \{v_1,v_2\}) \cup \{u_1,u_2 \}$ is a dominating set in $G$. The $2$\textit{-secure domination number} denoted by $\gamma_{2s}(G)$, equals the minimum cardinality of a $2$-SDS in $G$. Given a graph $ G$ and a positive integer $ k,$ the $ 2 $-Secure Domination ($ 2 $-SDM) problem is to check whether $ G $ has a $ 2 $-secure dominating set of size at most $ k.$ It is known that $ 2 $-SDM is NP-complete for bipartite graphs. In this paper, we prove that the $ 2 $-SDM problem is NP-complete for planar graphs and doubly chordal graphs, a subclass of chordal graphs. We strengthen the NP-complete result for bipartite graphs, by proving this problem is NP-complete for some subclasses of bipartite graphs namely, star convex bipartite, comb convex bipartite graphs. We prove that $ 2 $-SDM is linear time solvable for bounded tree-width graphs. We also show that the $ 2 $-SDM is W[2]-hard even for split graphs. The Minimum $ 2 $-Secure Dominating Set (M2SDS) problem is to find a $ 2 $-secure dominating set of minimum size in the input graph. We propose a $ \Delta(G)+1 $ $ - $ approximation algorithm for M2SDS, where $ \Delta(G) $ is the maximum degree of the input graph $ G $ and prove that M2SDS cannot be approximated within $ (1 - \epsilon) \ln(| V | ) $ for any $ \epsilon > 0 $ unless $ NP \subseteq DTIME(| V |^{ O(\log \log | V | )}) $. % even for bipartite graphs. A secure dominating set of a graph \textit{defends} one attack at any vertex of the graph. Finally, we show that the M2SDS is APX-complete for graphs with $\Delta(G)=4.$


title: Recurrence relations satisfied by the traces of singular moduli for $\Gamma_0(N)$

abstract: We compute the divisor of the modular equation on the modular curve $\Gamma_0(N) \backslash \mathbb H^*$ and then find recurrence relations satisfied by the modular traces of the Hauptmodul for any congruence subgroup $\Gamma_0(N)$ of genus zero. We also introduce the notions and properties of $\Gamma$-equivalence and $\Gamma$-reduced forms about binary quadratic forms. Using these, we can explicitly compute the recurrence relations for $N = 2, 3, 4, 5$.


title: Enumeration of row-increasing tableaux of two-row skew shapes

abstract: In this paper, we firstly extend a result of Bonin, Shapiro and Simion by giving the distribution of the major index over generalized Schr\"{o}der paths. Then by providing a bijection between generalized Schr\"{o}der paths and row-increasing tableaux of skew shapes with two rows, we obtain the distribution of the major index and the amajor index over these tableaux, which extends a result of Du, Fan and Zhao. We also generalize a result of Pechenik and give the distribution of the major index over increasing tableaux of skew shapes with two rows. Especially, a bijection from row-increasing tableaux with shape $(n,m)$ and maximal value $n+m-k$ to standard Young tableaux with shape $((n-k+1,m-k+1,1^k)/(1^2))$ is obtained.


title: Dyakonov-Tamm surface waves featuring Dyakonov-Tamm-Voigt surface waves

abstract: The propagation of Dyakonov-Tamm (DT) surface waves guided by the planar interface of two nondissipative materials $A$ and $B$ was investigated theoretically and numerically, via the corresponding canonical boundary-value problem. Material $A$ is a homogeneous uniaxial dielectric material whose optic axis lies at an angle $\chi$ relative to the interface plane. Material $B$ is an isotropic dielectric material that is periodically nonhomogeneous in the direction normal to the interface. The special case was considered in which the propagation matrix for material $A$ is non-diagonalizable because the corresponding surface wave-named the Dyakonov-Tamm-Voigt (DTV) surface wave-has unusual localization characteristics. The decay of the DTV surface wave is given by the product of a linear function and an exponential function of distance from the interface in material $A$; in contrast, the fields of conventional DT surface waves decay only exponentially with distance from the interface. Numerical studies revealed that multiple DT surface waves can exist for a fixed propagation direction in the interface plane, depending upon the constitutive parameters of materials $A$ and $B$. When regarded as functions of the angle of propagation in the interface plane, the multiple DT surface-wave solutions can be organized as continuous branches. A larger number of DT solution branches exist when the degree of anisotropy of material $A$ is greater. If $\chi = 0^\circ$ then a solitary DTV solution exists for a unique propagation direction on each DT branch solution. If $\chi > 0^\circ$, then no DTV solutions exist. As the degree of nonhomogeneity of material $B$ decreases, the number of DT solution branches decreases.


title: A theoretical approach to study J/$\Psi$ suppression in relativistic heavy ion collisions

abstract: With a view to understanding J/$\Psi$ suppression in relativistic heavy ion collisions, we compute the suppression rate within the framework of hydrodynamical evolution model. For this, we consider an ellipsoidal flow and use an ansatz for temperature profile function which accounts for time and the three dimensional space evolution of the quark-gluon plasma. We have calculated the survival probability separately as the function of transverse and longitudinal momentum. We have shown that previous calculations are special cases of this model.


title: StegColNet: Steganalysis based on an ensemble colorspace approach

abstract: Image steganography refers to the process of hiding information inside images. Steganalysis is the process of detecting a steganographic image. We introduce a steganalysis approach that uses an ensemble color space model to obtain a weighted concatenated feature activation map. The concatenated map helps to obtain certain features explicit to each color space. We use a levy-flight grey wolf optimization strategy to reduce the number of features selected in the map. We then use these features to classify the image into one of two classes: whether the given image has secret information stored or not. Extensive experiments have been done on a large scale dataset extracted from the Bossbase dataset. Also, we show that the model can be transferred to different datasets and perform extensive experiments on a mixture of datasets. Our results show that the proposed approach outperforms the recent state of the art deep learning steganalytical approaches by 2.32 percent on average for 0.2 bits per channel (bpc) and 1.87 percent on average for 0.4 bpc.


title: Correlated electro-optical and structural study of electrically tunable nanowire quantum dot emitters

abstract: Quantum dots inserted in semiconducting nanowires are a promising platform for the fabrication of single photon devices. However, it is difficult to fully comprehend the electro-optical behaviour of such quantum objects without correlated studies of the structural and optical properties on the same nanowire. In this work, we study the spectral tunability of the emission of a single quantum dot in a GaN nanowire by applying external bias. The nanowires are dispersed and contacted on electron beam transparent Si3N4 membranes, so that transmission electron microscopy observations, photocurrent and micro-photoluminescence measurements under bias can be performed on the same specimen. The emission from a single dot blue or red shifts when the external electric field compensates or enhances the internal electric field generated by the spontaneous and piezoelectric polarization. A detailed study of two nanowire specimens emitting at 327.5 nm and 307.5 nm shows spectral shifts at rates of 20 and 12 meV/V, respectively. Theoretical calculations facilitated by the modelling of the


title: Correlated motion of particle-hole excitations across the renormalized spin-orbit gap in $\rm Sr_2 Ir O_4$

abstract: The high-energy collective modes of particle-hole excitations across the spin-orbit gap in $\rm Sr_2IrO_4$ are investigated using the transformed Coulomb interaction terms in the pseudo-spin-orbital basis constituted by the $J=1/2$ and $3/2$ states arising from spin-orbit coupling. With appropriate interaction strengths and renormalized spin-orbit gap, these collective modes yield two well-defined propagating spin-orbit exciton modes, with energy scale and dispersion in excellent agreement with resonant inelastic X-ray scattering (RIXS) measurements.


title: Modeling and simulation of sector-coupled networks: A gas-power benchmark

abstract: In this contribution, we aim at presenting a gas-to-power benchmark problem that can be used for the simulation of electricity and gas networks in a time-dependent environment. Based on realistic data from the IEEE database and the GasLib suite, we describe the full set up of the underlying equations and motivate the choice of parameters. The simulation results demonstrate the applicability of the proposed approach and also allow for a clear visualization of gas-power conversion.


title: Near-Optimal Algorithms for Minimax Optimization

abstract: This paper resolves a longstanding open question pertaining to the design of near-optimal first-order algorithms for smooth and strongly-convex-strongly-concave minimax problems. Current state-of-the-art first-order algorithms find an approximate Nash equilibrium using $\tilde{O}(\kappa_{\mathbf x}+\kappa_{\mathbf y})$ or $\tilde{O}(\min\{\kappa_{\mathbf x}\sqrt{\kappa_{\mathbf y}}, \sqrt{\kappa_{\mathbf x}}\kappa_{\mathbf y}\})$ gradient evaluations, where $\kappa_{\mathbf x}$ and $\kappa_{\mathbf y}$ are the condition numbers for the strong-convexity and strong-concavity assumptions. A gap still remains between these results and the best existing lower bound $\tilde{\Omega}(\sqrt{\kappa_{\mathbf x}\kappa_{\mathbf y}})$. This paper presents the first algorithm with $\tilde{O}(\sqrt{\kappa_{\mathbf x}\kappa_{\mathbf y}})$ gradient complexity, matching the lower bound up to logarithmic factors. Our algorithm is designed based on an accelerated proximal point method and an accelerated solver for minimax proximal steps. It can be easily extended to the settings of strongly-convex-concave, convex-concave, nonconvex-strongly-concave, and nonconvex-concave functions. This paper also presents algorithms that match or outperform all existing methods in these settings in terms of gradient complexity, up to logarithmic factors.


title: The utility of tactile force to autonomous learning of in-hand manipulation is task-dependent

abstract: Tactile sensors provide information that can be used to learn and execute manipulation tasks. Different tasks, however, might require different levels of sensory information; which in turn likely affect learning rates and performance. This paper evaluates the role of tactile information on autonomous learning of manipulation with a simulated 3-finger tendon-driven hand. We compare the ability of the same learning algorithm (Proximal Policy Optimization, PPO) to learn two manipulation tasks (rolling a ball about the horizontal axis with and without rotational stiffness) with three levels of tactile sensing: no sensing, 1D normal force, and 3D force vector. Surprisingly, and contrary to recent work on manipulation, adding 1D force-sensing did not always improve learning rates compared to no sensing---likely due to whether or not normal force is relevant to the task. Nonetheless, even though 3D force-sensing increases the dimensionality of the sensory input---which would in general hamper algorithm convergence---it resulted in faster learning rates and better performance. We conclude that, in general, sensory input is useful to learning only when it is relevant to the task---as is the case of 3D force-sensing for in-hand manipulation against gravity. Moreover, the utility of 3D force-sensing can even offset the added computational cost of learning with higher-dimensional sensory input.


title: St\v{r}eda formula for charge and spin currents

abstract: We consider a 2-dimensional Bloch--Landau--Pauli Hamiltonian for a spinful electron in a constant magnetic field subject to a periodic background potential. Assuming that the $z$-component of the spin operator is conserved, we compute the linear response of the associated spin density of states to a small change in the magnetic field, and identify it with the spin Hall conductivity. This response is in the form of a spin Chern marker, which is in general quantized to a half-integer, and to an integer under the further assumption of time-reversal symmetry. Our result is thus a generalization to the context of the quantum spin Hall effect to the well-known formula by St\v{r}eda, which is formulated instead for charge transport.


title: Initial conditions for plateau inflation: a case study

abstract: We study initial conditions for inflation in scenarios where the inflaton potential has a plateau shape. Such models are those most favored by Planck data and can be obtained in a large number of model classes. As a representative example, we consider Higgs inflation with and without an $R^2$ term in the context of Palatini gravity. We show that inflation with a large number of e-folds generically occurs in a large part of the parameter space without any fine-tuning of parameters even when the scale of inflation and the inflaton field value during inflation are much smaller than the Planck scale. We discuss consequences for detection of primordial gravitational waves and spectral tilt of curvature perturbations, as well as the recently proposed "Trans-Planckian Censorship" conjecture.


title: Bio-Inspired Synergistic Wing and Tail Morphing Extends Flight Capabilities of Drones

abstract: The operation of drones in cluttered environments and over extended areas demands adaptive flight capabilities to meet the opposing aerodynamic requirements of agile and fast cruise flight. High agility and maneuverability are required to aggressively navigate around obstacles and to perform instantaneous takeoffs or landings, while high energy efficiency is desired when covering large distances. In nature, these requirements are met by some birds by synergistic adaptation of wings and tail, such as the northern goshawk, which displays high agility and maneuverability when flying through forests and fast steady flight capabilities when ambushing prey in the open field. In this article, we experimentally study the effects of bio-inspired wing and tail morphing on flight performance by means of a novel morphing drone. We show that the combined morphing of wing and tail can improve agility, maneuverability, stability, flight velocity range, and energy efficiency of a winged drone. The drone's flight performance is validated in wind tunnel tests, shape optimization studies and outdoor flight tests.


title: Scheme for realizing quantum dense coding via entanglement swapping

abstract: Quantum dense coding is a protocol for transmitting two classical bits of information from a sender (Alice) to a remote receiver (Bob) by sending only one quantum bit (qubit). In this article, we propose an experimentally feasible scheme to realize quantum dense coding \textit{via} entanglement swapping in a cavity array containing a certain number of two-level atoms. Proper choice of system parameters such as atom-cavity couplings and inter-cavity couplings allows perfect transfer of information. A high fidelity transfer of information is shown to be possible by using recently achieved experimental values in the context of photonic crystal cavities and superconducting resonators. To mimic experimental imperfections, disorder in both the coupling strengths and resonance frequencies is considered.


title: Automatic Inference of High-Level Network Intents by Mining Forwarding Patterns

abstract: There is a semantic gap between the high-level intents of network operators and the low-level configurations that achieve the intents. Previous works tried to bridge the gap using verification or synthesis techniques, both requiring formal specifications of the intended behavior which are rarely available or even known in the real world. This paper discusses an alternative approach for bridging the gap, namely to infer the high-level intents from the low-level network behavior. Specifically, we provide Anime, a framework and a tool that given a set of observed forwarding behavior, automatically infers a set of possible intents that best describe all observations. Our results show that Anime can infer high-quality intents from the low-level forwarding behavior with acceptable performance.


title: Reliability Validation of Learning Enabled Vehicle Tracking

abstract: This paper studies the reliability of a real-world learning-enabled system, which conducts dynamic vehicle tracking based on a high-resolution wide-area motion imagery input. The system consists of multiple neural network components -- to process the imagery inputs -- and multiple symbolic (Kalman filter) components -- to analyse the processed information for vehicle tracking. It is known that neural networks suffer from adversarial examples, which make them lack robustness. However, it is unclear if and how the adversarial examples over learning components can affect the overall system-level reliability. By integrating a coverage-guided neural network testing tool, DeepConcolic, with the vehicle tracking system, we found that (1) the overall system can be resilient to some adversarial examples thanks to the existence of other components, and (2) the overall system presents an extra level of uncertainty which cannot be determined by analysing the deep learning components only. This research suggests the need for novel verification and validation methods for learning-enabled systems.


title: A mean field approach to model levels of consciousness from EEG recordings

abstract: We introduce a mean-field model for analysing the dynamics of human consciousness. In particular, inspired by the Giulio Tononi's Integrated Information Theory and by the Max Tegmark's representation of consciousness, we study order-disorder phase transitions on Curie-Weiss models generated by processing EEG signals. The latter have been recorded on healthy individuals undergoing deep sedation. Then, we implement a machine learning tool for classifying mental states using, as input, the critical temperatures computed in the Curie-Weiss models. Results show that, by the proposed method, it is possible to discriminate between states of awareness and states of deep sedation. Besides, we identify a state space for representing the path between mental states, whose dimensions correspond to critical temperatures computed over different frequency bands of the EEG signal. Beyond possible theoretical implications in the study of human consciousness, resulting from our model, we deem relevant to emphasise that the proposed method could be exploited for clinical applications.


title: Rashba controlled two-electron spin-charge qubits as building blocks of a quantum computer

abstract: The spin-sensitive charge oscillation, controlled by an external magnetic field, was recently proposed as a mechanism of transformations of qubits, defined as two-electron spin-charge Wannier molecules in a square quantum dot. The paper expands this idea by including the effects of Rashba type spin-orbit coupling. The problem is studied theoretically by mapping the system to an analytic effective Hamiltonian for 8 low energy states, comprising singlet and triplet on each dot diagonal. The validity of the mapping is confirmed by comparing the energy and spin of full and mapped system, and also by the reproduction of charge-oscillation dynamics in the presence of magnetic flux. The newly introduced Rashba coupling significantly enriches the system dynamics, affecting the magnitude of charge oscillations and allowing the controlled transitions between singlet and triplet states due to the spin rotations, induced by spin-orbit coupling. The results indicate the possibility for use of the studied system for quantum information processing, while possible extensions of the system to serve as a qubit in a universal quantum computer, fulfilling all five DiVincenzo criteria, are also discussed.


title: Irony Detection in a Multilingual Context

abstract: This paper proposes the first multilingual (French, English and Arabic) and multicultural (Indo-European languages vs. less culturally close languages) irony detection system. We employ both feature-based models and neural architectures using monolingual word representation. We compare the performance of these systems with state-of-the-art systems to identify their capabilities. We show that these monolingual models trained separately on different languages using multilingual word representation or text-based features can open the door to irony detection in languages that lack of annotated data for irony.


title: Normalizing Flows on Tori and Spheres

abstract: Normalizing flows are a powerful tool for building expressive distributions in high dimensions. So far, most of the literature has concentrated on learning flows on Euclidean spaces. Some problems however, such as those involving angles, are defined on spaces with more complex geometries, such as tori or spheres. In this paper, we propose and compare expressive and numerically stable flows on such spaces. Our flows are built recursively on the dimension of the space, starting from flows on circles, closed intervals or spheres.


title: Complex Magnetic Order in a Decorated Spin Chain System Rb$_2$Mn$_3$(MoO$_4$)$_3$(OH)$_2$

abstract: Macroscopic magnetic properties and microscopic magnetic structure of Rb$_2$Mn$_3$(MoO$_4$)$_3$(OH)$_2$ (space group $Pnma$) are investigated by magnetization, heat capacity and single-crystal neutron diffraction measurements. The compound's crystal structure contains bond-alternating [Mn$_3$O$_{11}$]$^{\infty}$ chains along the $b$-axis, formed by isosceles triangles of Mn ions occupying two crystallographically nonequivalent sites (Mn1 site on the base and Mn2 site on the vertex). These chains are only weakly linked to each other by nonmagnetic oxyanions. Both SQUID magnetometry and neutron diffraction experiments show two successive magnetic transitions as a function of temperature. On cooling, it transitions from a paramagnetic phase into an incommensurate phase below 4.5~K with a magnetic wavevector near ${\bf k}_{1} = (0,~0.46,~0)$. An additional commensurate antiferromagnetically ordered component arises with ${\bf k}_{2} = (0,~0,~0)$, forming a complex magnetic structure below 3.5~K with two different propagation vectors of different stars. On further cooling, the incommensurate wavevector undergoes a lock-in transition below 2.3~K. The experimental results suggest that the magnetic superspace group is $Pnma.1'(0b0)s0ss$ for the single-${\bf k}$ incommensurate phase and is $Pn'ma(0b0)00s$ for the 2-${\bf k}$ magnetic phase. We propose a simplified magnetic structure model taking into account the major ordered contributions, where the commensurate ${\bf k}_{2}$ defines the ordering of the $c$-axis component of Mn1 magnetic moment, while the incommensurate ${\bf k}_{1}$ describes the ordering of the $ab$-plane components of both Mn1 and Mn2 moments into elliptical cycloids


title: Asymptotically Optimal Competitive Ratio for Online Allocation of Reusable Resources

abstract: We consider the problem of online allocation (matching, budgeted allocations, and assortments) of reusable resources where an adversarial sequence of resource requests is revealed over time and allocated resources are used/rented for a stochastic duration, drawn independently from known resource usage distributions. This problem is a fundamental generalization of well studied models in online matching and resource allocation. We give an algorithm that obtains the best possible competitive ratio of $(1-1/e)$ for general usage distributions and large resource capacities. At the heart of our algorithm is a new quantity that factors in the potential of reusability for each resource by (computationally) creating an asymmetry between identical units of the resource. In order to control the stochastic dependencies induced by reusability, we introduce a relaxed online algorithm that is only subject to fluid approximations of the stochastic elements in the problem. The output of this relaxed algorithm guides the overall algorithm. Finally, we establish competitive ratio guarantees by constructing a feasible solution to an LP free system of constraints. More generally, these ideas lead to a principled approach for integrating stochastic and combinatorial elements (such as reusability, customer choice, and budgeted allocations) in online resource allocation problems.


title: Optimal Exact Matrix Completion Under new Parametrization

abstract: We study the problem of exact completion for $m \times n$ sized matrix of rank $r$ with the adaptive sampling method. We introduce a relation of the exact completion problem with the sparsest vector of column and row spaces (which we call \textit{sparsity-number} here). Using this relation, we propose matrix completion algorithms that exactly recovers the target matrix. These algorithms are superior to previous works in two important ways. First, our algorithms exactly recovers $\mu_0$-coherent column space matrices by probability at least $1 - \epsilon$ using much smaller observations complexity than $\mathcal{O}(\mu_0 rn \mathrm{log}\frac{r}{\epsilon})$ the state of art. Specifically, many of the previous adaptive sampling methods require to observe the entire matrix when the column space is highly coherent. However, we show that our method is still able to recover this type of matrices by observing a small fraction of entries under many scenarios. Second, we propose an exact completion algorithm, which requires minimal pre-information as either row or column space is not being highly coherent. At the end of the paper, we provide experimental results that illustrate the strength of the algorithms proposed here.


title: En route to realistic modeling of the kinetic-MHD interaction between macroscopic modes and fast particles induced by neutral beam injection in tokamaks

abstract: A new model of fast ion source induced by Neutral Beam Injection (NBI) in tokamaks has been implemented in the hybrid kinetic-magnetohydrodynamic code XTOR-K. This source, combined with the collisions also recently implemented, allows for the modeling of realistic slowing-down populations and their interplay with macroscopic modes. This paper describes the Neutral Beam injection and ionization model designed to reproduce experimental configurations and its validation for a typical discharge of the ASDEX Upgrade tokamak. The application to the interaction of NBI-induced fast particles with a kink mode in ASDEX Upgrade demonstrates a resonance between passing particles and the n=1 mode. This resonance partially stabilizes the kink mode and induces a radial transport of fast particles. Preliminary results in ITER-like circular geometry show that NBI induces a toroidal torque but has little impact on the kink mode dynamics.


title: A systematic construction of gapped non-liquid states

abstract: Gapped non-liquid state (also known as fracton state) is a very special gapped quantum state of matter that is characterized by a microscopic cellular structure. Such microscopic cellular structure has a macroscopic effect at arbitrary long distances and cannot be removed by renormalization group flow, which makes gapped non-liquid state beyond the description of topological quantum field theory with a finite number of fields. Using Abelian and non-Abelian topological orders in 2-dimensional (2d) space and the different ways to glue them together via their gapped boundaries, we propose a systematic way to construct 3d gapped states (and in other dimensions). The resulting states are called cellular topological states, which include gapped non-liquid states, as well as gapped liquid states in some special cases. Some new fracton states with fractal excitations are constructed even using 2d $\mathbb{Z}_2$ topological order. More general cellular topological states can be constructed by connecting 2d domain walls between different 3d topological orders. The constructed cellular topological states can be viewed as fixed-point states for a reverse renormalization of gapped non-liquid states.