title: Model for Asteroid Regolith to Guide Simulant Development

abstract: When creating asteroid regolith simulant, it is necessary to have a model of asteroid regolith to guide and to evaluate the simulant. We created a model through evaluation and synthesis of the available data sets including (1) the returned sample from Itokawa by the Hayabusa spacecraft, (2) imagery from the Hayabusa and NEAR spacecraft visiting Itokawa and Eros, respectively, (3) thermal infrared observations from asteroids, (4) the texture of meteorite regolith breccias, and (5) observations and modeling of the ejecta clouds from disrupted asteroids. Comparison of the Hayabusa returned sample with other data sets suggest the surficial material in the smooth regions of asteroids is dissimilar to the bulk regolith, probably due to removal of fines by photoionization and solar wind interaction or by preferential migration of mid-sized particles into the smooth terrain. We found deep challenges interpreting and applying the thermal infrared data so we were unable to use those observations in the model. Texture of regolith breccias do not agree with other data sets, suggesting the source regolith on Vesta was coarser than typical asteroid regolith. The observations of disrupted asteroids present a coherent picture of asteroid bulk regolith in collisional equilibrium, unlike lunar regolith, HED textures, and the Itokawa returned sample. The model we adopt consists of power laws for the bulk regolith in unspecified terrain (differential power index -3.5, representing equilibrium), and the surficial regolith in smooth terrain (differential power index -2.5, representing disequilibrium). Available data do not provide adequate constraints on maximum and minimum particle sizes for these power laws, so the model treats them as user-selectable parameters for the simulant.


title: Adaptive flow-level scheduling for the IoT MAC

abstract: Over the past decade, distributed CSMA, which forms the basis for WiFi, has been deployed ubiquitously to provide seamless and high-speed mobile internet access. However, distributed CSMA might not be ideal for future IoT/M2M applications, where the density of connected devices/sensors/controllers is expected to be orders of magnitude higher than that in present wireless networks. In such high-density networks, the overhead associated with completely distributed MAC protocols will become a bottleneck. Moreover, IoT communications are likely to have strict QoS requirements, for which the `best-effort' scheduling by present WiFi networks may be unsuitable. This calls for a clean-slate redesign of the wireless MAC taking into account the requirements for future IoT/M2M networks. In this paper, we propose a reservation-based (for minimal overhead) wireless MAC designed specifically with IoT/M2M applications in mind. The key features include: (i) flow-level, rather than packet level contention to minimize overhead, (ii) deadline aware, reservation based scheduling, and (iii) the ability to dynamically adapt the MAC parameters with changing workload.


title: Time- and parity-violating effects of nuclear Schiff moment in molecules and solids

abstract: We show that existing calculations of the interaction between nuclear Schiff moments and electrons in molecules use an inaccurate operator which gives rise to significant errors. By comparing the matrix elements of the accurate and imprecise Schiff moment operators, we calculated the correction factor as a function of the nuclear charge Z and presented corrected results for the T,P-violating interaction of the nuclear spin with the molecular axis in the TlF, RaO, PbO, TlCN, ThO, AcF molecules and in the ferroelectric solid PbTiO$_3$.

categories: physics.atom-ph hep-ph nucl-th physics.chem-ph


title: Mass accretion toward black holes in the final phase of galaxy mergers

abstract: We studied the final phases of galactic mergers, focusing on interactions between supermassive black holes (SMBHs) and the interstellar medium in a central sub-kpc region, using an N-body/hydrodynamics code. This numerical experiment aims to understand the fate of the gas supplied by mergers of two or more galaxies with SMBHs, whose masses are $10^7 M_\odot$. We observed that the mass accretion rate to one SMBH exceeds the Eddington accretion rate when the distance between two black holes (BHs) rapidly decreases. However, this rapid accretion phase does not last for more than $10^7$ yrs, and it drops to $\sim$ 10% of the Eddington rate in the quasi-steady accretion phase. The rapid accretion is caused by the angular momentum transfer from the gas to the stellar component, and the moderate accretion in the quasi-steady phase is caused {by turbulent viscosity and gravitational torque in the disk. The second merger event enhances the mass accretion to the BHs; however, this phase takes place on a similar timescale to the first merger event. We also found that the AGN feedback and the mass accretion to BHs can coexist in the central region of merged galaxies, if the amount of feedback energy is given as $(2 \times 10^{-4} - 2 \times 10^{-3} )\dot{M} c^2$, where $\dot{M}$ is the accretion rate to $r= 1$ pc. The accretion rate is suppressed by $\sim$ 1/50 in the quasi-steady accretion phase for $0.02 \dot{M} c^2$. The fraction of the gas that finally falls to each BH is approximately 5-7% of the supplied total gas mass ($10^8 M_\odot$), and 15-20% of the gas forms a circumnuclear gas inside 100 pc. This remnant gas heavily obscures the luminous phase of the active galactic nuclei (AGN) during merger events, and the moderate AGN feedback does not alter this property.


title: Measuring the Fidelity of Asteroid Regolith and Cobble Simulants

abstract: NASA has developed a "Figure of Merit" method to grade the fidelity of lunar simulants for scientific and engineering purposes. Here we extend the method to grade asteroid simulants, both regolith and cobble variety, and we apply the method to the newly developed asteroid regolith and cobble simulant UCF/DSI-CI-2. The reference material that is used to evaluate this simulant for most asteroid properties is the Orgueil meteorite. Those properties are the mineralogical and elemental composition, grain density, bulk density of cobbles, magnetic susceptibility, mechanical strength of cobbles, and volatile release patterns. To evaluate the regolith simulant's particle sizing we use a reference model that was based upon the sample returned from Itokawa by Hayabusa, the boulder count on Hayabusa, and four cases of disrupted asteroids that indicate particle sizing of the subsurface material. Compared to these references, the simulant has high figures of merit, indicating it is a good choice for a wide range of scientific and engineering applications. We recommend this methodology to the wider asteroid community and in the near future will apply it to additional asteroid simulants currently under development.


title: Quantifying the Toroidal Flux of Pre-existing Flux Ropes of CMEs

abstract: In past decades, much progress has been achieved on the origin and evolution of coronal mass ejections (CMEs). In-situ observations of the counterparts of CMEs, especially magnetic clouds (MCs) near the Earth, have provided measurements of the structure and total flux of CME flux ropes. However, it has been difficult to measure these properties in the erupting CME flux rope, in particular in the pre-existing flux rope. In this work, we propose a model to estimate the toroidal flux of the pre-existing flux rope by subtracting the flux contributed by magnetic reconnection during the eruption from the flux measured in the MC. The flux by the reconnection is derived from geometric properties of two-ribbon flares based on a quasi-2D reconnection model. We then apply the model to four CME/flare events and find that the ratio of toroidal flux in the pre-existing flux rope to that of the associated MC lies in the range of 0.40--0.88. It indicates that the toroidal flux of the pre-existing flux rope has an important contribution to that of the CME flux rope and is usually at least as large as the flux arising from the eruption process for the selected events.


title: Algebraic Properties for Certain Form of the Members of Sequence on Generalized Modified Camassa-Holm Equation

abstract: We study the symmetry and integrability of a Generalized Modified Camassa-Holm Equation (GMCH) of the form $$u_{t}-u_{xxt}+2nu_{x}(u^2-u_{x}^2)^{n-1}(u-u_{xx})^2+(u^2-u_{x}^2)^{n}(u_{x}-u_{xxx})=0.$$ We observe that for increasing values of $n\in \mathbb{N}$, $\mathbb{N}$ denotes natural number, the above equation gives a family of equations in which nonlinearity is rapidly increasing as $n$ increases. However, this family has similar form of symmetries except the values of $n$. Interestingly the resultant second-order nonlinear ODE which is to be obtained from GMCH equation has eight dimensional symmetries. Hence the second-order nonlinear ODE is linearizable. Finally we conclude that the resultant second-order nonlinear ordinary differential equation which is obtained from the family of GMCH passes the Painlev\'e Test also it posses the similar form of leading order, resonances and truncated series solution too.


title: Does SUSY have friends? A new approach for LHC event analysis

abstract: We present a novel technique for the analysis of proton-proton collision events from the ATLAS and CMS experiments at the Large Hadron Collider. For a given final state and choice of kinematic variables, we build a graph network in which the individual events appear as weighted nodes, with edges between events defined by their distance in kinematic space. We then show that it is possible to calculate local metrics of the network that serve as event-by-event variables for separating signal and background processes, and we evaluate these for a number of different networks that are derived from different distance metrics. Using a supersymmetric electroweakino and stop production as examples, we construct prototype analyses that take account of the fact that the number of simulated Monte Carlo events used in an LHC analysis may differ from the number of events expected in the LHC dataset, allowing an accurate background estimate for a particle search at the LHC to be derived. For the electroweakino example, we show that the use of network variables outperforms both cut-and-count analyses that use the original variables and a boosted decision tree trained on the original variables. The stop example, deliberately chosen to be difficult to exclude due its kinematic similarity with the top background, demonstrates that network variables are not automatically sensitive to BSM physics. Nevertheless, we identify local network metrics that show promise if their robustness under certain assumptions of node-weighted networks can be confirmed.


title: A Magnetohydrodynamic Relaxation Method for Non-Force-Free Magnetic Field in Magnetohydrostatic Equilibrium

abstract: A nonlinear force-free field (NLFFF) extrapolation is widely used to reconstruct the three-dimensional magnetic field in the solar corona from the observed photospheric magnetic field. However, the pressure gradient and gravitational forces are ignored in the NLFFF model, even though the photospheric and chromospheric magnetic fields are not in general force-free. Here we develop a magnetohydrodynamic (MHD) relaxation method that reconstructs the solar atmospheric (chromospheric and coronal) magnetic field as a non-force-free magnetic field (NFFF) in magnetohydrostatic equilibrium where the Lorentz, pressure gradient, and gravitational forces are balanced. The system of basic equations for the MHD relaxation method is derived, and mathematical properties of the system are investigated. A robust numerical solver for the system is constructed based on the modern high-order shock capturing scheme. Two-dimensional numerical experiments that include the pressure gradient and gravitational forces are also demonstrated.


title: Coordinate Descent Without Coordinates: Tangent Subspace Descent on Riemannian Manifolds

abstract: We extend coordinate descent to manifold domains, and provide convergence analyses for geodesically convex and non-convex smooth objective functions. Our key insight is to draw an analogy between coordinate blocks in Euclidean space and tangent subspaces of a manifold. Hence, our method is called tangent subspace descent (TSD). The core principle behind ensuring convergence of TSD is the appropriate choice of subspace at each iteration. To this end, we propose two novel conditions, the gap ensuring and $C$-randomized norm conditions on deterministic and randomized modes of subspace selection respectively, that promise convergence for smooth functions and that are satisfied in practical contexts. We propose two subspace selection rules of particular practical interest that satisfy these conditions: a deterministic one for the manifold of square orthogonal matrices, and a randomized one for the Stiefel manifold. Our proof-of-concept numerical experiments on the orthogonal Procrustes problem demonstrate TSD's efficacy.


title: Experience Report: Towards Moving Things with Types -- Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis

abstract: One of the ultimate goals of software engineering is to leave virtual spaces and move real things. We take one step toward supporting users with this goal by connecting a type-based synthesis algorithm, (CL)S, and its IDE to a logistics lab environment. The environment is built and used by domain experts, who have little or no training in formal methods, and need to cope with large spaces of software, hardware and problem specific solution variability. It consists of a number of Cyber-Physical Systems (CPS), including wheel-driven robots as well as flying drones, and it has laser-based support to visualize their possible movements. Our work describes results on an experiment integrating the latter with (CL)S. Possibilities and challenges of working in the domain of logistics and in cooperation with its experts are outlined. Future research plans are presented and an invitation is made to join the effort of building better, formally understood, development tools for CPS-enabled industrial environments.


title: Automated Deductive Verification for Ladder Programming

abstract: Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of inputs (whose values are given at runtime by factory sensors), outputs (whose values are given at runtime to factory actuators), and the logical expressions computing output values from input values. Due to the graphical form of Ladder programs, and the amount of inputs and outputs in typical industrial programs, debugging such programs is time-consuming and error-prone. We present, in this paper, a Why3-based tool prototype we have implemented for automating the use of deductive verification in order to provide an easy-to-use and robust debugging tool for Ladder programmers.


title: Deeply Integrating C11 Code Support into Isabelle/PIDE

abstract: We present a framework for C code in C11 syntax deeply integrated into the Isabelle/PIDE development environment. Our framework provides an abstract interface for verification back-ends to be plugged-in independently. Thus, various techniques such as deductive program verification or white-box testing can be applied to the same source, which is part of an integrated PIDE document model. Semantic back-ends are free to choose the supported C fragment and its semantics. In particular, they can differ on the chosen memory model or the specification mechanism for framing conditions. Our framework supports semantic annotations of C sources in the form of comments. Annotations serve to locally control back-end settings, and can express the term focus to which an annotation refers. Both the logical and the syntactic context are available when semantic annotations are evaluated. As a consequence, a formula in an annotation can refer both to HOL or C variables. Our approach demonstrates the degree of maturity and expressive power the Isabelle/PIDE subsystem has achieved in recent years. Our integration technique employs Lex and Yacc style grammars to ensure efficient deterministic parsing. We present two case studies for the integration of (known) semantic back-ends in order to validate the design decisions for our back-end interface.


title: A Component-Based Formal Language Workbench

abstract: The CBS framework supports component-based specification of programming languages. It aims to significantly reduce the effort of formal language specification, and thereby encourage language developers to exploit formal semantics more widely. CBS provides an extensive library of reusable language specification components, facilitating co-evolution of languages and their specifications. After introducing CBS and its formal definition, this short paper reports work in progress on generating an IDE for CBS from the definition. It also considers the possibility of supporting component-based language specification in other formal language workbenches.


title: An Integrated Development Environment for the Prototype Verification System

abstract: The steep learning curve of formal technologies is a well-known barrier to the adoption of formal verification tools in industry. This paper presents VSCode-PVS, a modern integrated development environment for the Prototype Verification System (PVS). This new environment integrates the editing and proof management functionalities of PVS in Visual Studio Code, a popular code editor widely used by software developers. VSCode-PVS provides functionalities that developers expect to find in modern verification tools, but are not available in the standard Emacs front-end of PVS, such as auto-completion, point-and-click navigation of definitions, live diagnostics for errors, and literate programming. The main features and architecture of the environment are presented, along with a comparison with other similar tools.


title: The TLA+ Toolbox

abstract: We discuss the workflows supported by the TLA+ Toolbox to write and verify specifications. We focus on features that are useful in industry because its users are primarily engineers. Two features are novel in the scope of formal IDEs: CloudTLC connects the Toolbox with cloud computing to scale up model checking. A Profiler helps to debug inefficient expressions and to pinpoint the source of state space explosion. For those who wish to contribute to the Toolbox or learn from its flaws, we present its technical architecture.


title: Simulation under Arbitrary Temporal Logic Constraints

abstract: Most model checkers provide a useful simulation mode, that allows users to explore the set of possible behaviours by interactively picking at each state which event to execute next. Traditionally this simulation mode cannot take into consideration additional temporal logic constraints, such as arbitrary fairness restrictions, substantially reducing its usability for debugging the modelled system behaviour. Similarly, when a specification is false, even if all its counter-examples combined also form a set of behaviours, most model checkers only present one of them to the user, providing little or no mechanism to explore alternatives. In this paper, we present a simple on-the-fly verification technique to allow the user to explore the behaviours that satisfy an arbitrary temporal logic specification, with an interactive process akin to simulation. This technique enables a unified interface for simulating the modelled system and exploring its counter-examples. The technique is formalised in the framework of state/event linear temporal logic and a proof of concept was implemented in an event-based variant of the Electrum framework.


title: Tool Support for Validation of Formal System Models: Interactive Visualization and Requirements Traceability

abstract: Development processes in various engineering disciplines are incorporating formal models to ensure safety properties of critical systems. The use of these formal models requires to reason about their adequacy, i.e., to validate that a model mirrors the structure of the system sufficiently that properties established for the model indeed carry over to the real system. Model validation itself is non-formal, as adequacy is not a formal (i.e., mathematical) property. Instead it must be carried out by the modeler to justify the modeling to the certification agency or other stakeholders. In this paper we argue that model validation can be seen as a special form of requirements engineering, and that interactive visualization and concepts from requirements traceability can help to advance tool support for formal modeling by lowering the cognitive burden needed for validation. We present the VisualisierbaR tool, which supports the formal modeling of railway operations and describe how it uses interactive visualization and requirements traceability concepts to validate a formal model.


title: Multilevel Monte Carlo estimation of log marginal likelihood

abstract: In this short note we provide an unbiased multilevel Monte Carlo estimator of the log marginal likelihood and discuss its application to variational Bayes.


title: GrabAR: Occlusion-aware Grabbing Virtual Objects in AR

abstract: Existing augmented reality (AR) applications often ignore occlusion between real hands and virtual objects when incorporating virtual objects in our views. The challenges come from the lack of accurate depth and mismatch between real and virtual depth. This paper presents GrabAR, a new approach that directly predicts the real-and-virtual occlusion, and bypasses the depth acquisition and inference. Our goal is to enhance AR applications with interactions between hand (real) and grabbable objects (virtual). With paired images of hand and object as inputs, we formulate a neural network that learns to generate the occlusion mask. To train the network, we compile a synthetic dataset to pre-train it and a real dataset to fine-tune it, thus reducing the burden of manual labels and addressing the domain difference. Then, we embed the trained network in a prototyping AR system that supports hand grabbing of various virtual objects, demonstrate the system performance, both quantitatively and qualitatively, and showcase interaction scenarios, in which we can use bare hand to grab virtual objects and directly manipulate them.


title: Asymptotics of some quantum invariants of the Whitehead chains

abstract: In this paper, we study the asymptotics of the colored Jones polynomials of the Whitehead chains with one belt colored by $M_1$ and all the clasps colored by $M_2$ evaluated at the $(N+1/2)$-th root of unity $t=e^{\frac{2\pi i}{N+1/2}}$, where $M_1$ and $M_2$ are sequences of integers in $N$. By considering the limiting ratios, $s_1$ and $s_2$, of $M_1$ and $M_2$ to $(N+1/2)$, we show that the exponential growth rate of the invariants coincides with the hyperbolic volume of the link complement equipped with certain (possibly incomplete) hyperbolic structure parametrized by $s_1$ and $s_2$. In the proof we figure out the correspondence between the critical point equations of the potential functions and the hyperbolic gluing equations of certain triangulations of the link complements. Furthermore, we discover a connection between the potential function, the theory of angle structures and the covolume function. As a corollary, we prove the volume conjecture for the Turaev-Viro invariants for all Whitehead chains complements.


title: On cosymplectic dynamics

abstract: Cosymplectic geometry can be viewed as an odd dimensional counterpart of symplectic geometry. Likely in the symplectic case, a related property which is preservation of closed forms $\omega$ and $\eta$, refers to the theoretical possibility of further understanding a cosymplectic manifold $(M, \omega, \eta)$ from its group of diffeomorphisms. In this paper we study the structures of the group of cosymplectic diffeomorphisms and the group of almost cosymplectic diffeomorphisms of a cosymplectic manifold $(M, \omega, \eta)$ in threefold:first of all, we study cosymplectics counterpart of the Moser isotopy method, a proof of a cosymplectic version of Darboux theorem follows, and we present the features of the space of almost cosymplectic vector fields, this set forms a Lie group whose Lie algebra is the group of all almost cosymplectic diffeomorphisms; $(II)$ we prove by a direct method that the identity component in the group of all cosymplectic diffeomorphisms is $C^0-$closed in the group $Diff^\infty(M)$, while in the almost cosymplectic case, we prove that the Reeb vector field determines the almost cosymplectic nature of the $C^0-$limit $\phi$ of a sequence of almost cosymplectic diffeomorphisms (a rigidity result). A sufficient condition (based on Reeb's vector field) which guarantees that $\phi$ is a cosymplectic diffeomorphism is given (a flexibility condition), and also an attempt to the study cosymplectic counterpart of flux geometry follows: this gives rise to a group homomorphism whose kernel is path connected; and $(III)$ we study the almost cosymplectic analogues of Hofer geometry and Hofer-like geometry: the group of almost co-Hamiltonian diffeomorphisms carries two bi-invariant norms, the cosymplectic analogues of the usual symplectic capacity-inequality are derived and the cosymplectic analogues of a result that was proved by Hofer-Zehnder follow.


title: Pricing of the Geometric Asian Options Under a Multifactor Stochastic Volatility Model

abstract: This paper focuses on the pricing of continuous geometric Asian options (GAOs) under a multifactor stochastic volatility model. The model considers fast and slow mean reverting factors of volatility, where slow volatility factor is approximated by a quadratic arc. The asymptotic expansion of the price function is assumed, and the first order price approximation is derived using the perturbation techniques for both floating and fixed strike GAOs. Much simplified pricing formulae for the GAOs are obtained in this multifactor stochastic volatility framework. The zeroth order term in the price approximation is the modified Black-Scholes price for the GAOs. This modified price is expressed in terms of the Black-Scholes price for the GAOs. The accuracy of the approximate option pricing formulae is established, and the model parameter is also estimated by capturing the volatility smiles.


title: Systematic clustering algorithm for chromatin accessibility data and its application to hematopoietic cells

abstract: The huge amount of data acquired by high-throughput sequencing requires data reduction for effective analysis. Here we give a clustering algorithm for genome-wide open chromatin data using a new data reduction method. This method regards the genome as a string of $1$s and $0$s based on a set of peaks and calculates the Hamming distances between the strings. This algorithm with the systematically optimized set of peaks enables us to quantitatively evaluate differences between samples of hematopoietic cells and classify cell types, potentially leading to a better understanding of leukemia pathogenesis.


title: Notes on Category Theory with examples from basic mathematics

abstract: These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need to know advanced mathematics, nor any of the disciplines where category theory is traditionally applied, such as algebraic geometry or theoretical computer science. The only knowledge that is assumed from the reader is linear algebra. All concepts are explained by giving concrete examples from different, non-specialized areas of mathematics (such as basic group theory, graph theory, and probability). Not every example is helpful for every reader, but hopefully every reader can find at least one helpful example per concept. The reader is encouraged to read all the examples, this way they may even learn something new about a different field. Particular emphasis is given to the Yoneda lemma and its significance, with both intuitive explanations, detailed proofs, and specific examples. Another common theme in these notes is the relationship between categories and directed multigraphs, which is treated in detail. From the applied point of view, this shows why categorical thinking can help whenever some process is taking place on a graph. From the pure math point of view, this can be seen as the 1-dimensional first step into the theory of simplicial sets. Finally, monads and comonads are treated on an equal footing, differently to most literature in which comonads are often overlooked as "just the dual to monads". Theorems, interpretations and concrete examples are given for monads as well as for comonads. This work, thoroughly revised and expanded, is now a book, with an extra section on monoidal categories.


title: Jupiter: A Networked Computing Architecture

abstract: In the era of Internet of Things, there is an increasing demand for networked computing to support the requirements of the time-constrained, compute-intensive distributed applications such as multi-camera video processing and data fusion for security. We present Jupiter, an open source networked computing system that inputs a Directed Acyclic Graph (DAG)-based computational task graph to efficiently distribute the tasks among a set of networked compute nodes regardless of their geographical separations and orchestrates the execution of the DAG thereafter. This Kubernetes container-orchestration-based system supports both centralized and decentralized scheduling algorithms for optimally mapping the tasks based on information from a range of profilers: network profilers, resource profilers, and execution time profilers. While centralized scheduling algorithms with global knowledge have been popular among the grid/cloud computing community, we argue that a distributed scheduling approach is better suited for networked computing due to lower communication and computation overhead in the face of network dynamics. To this end, we propose and implement a new class of distributed scheduling algorithms called WAVE on the Jupiter system. We present a set of real world experiments on two separate testbeds - one a world-wide network of 90 cloud computers across 8 cities and the other a cluster of 30 Raspberry pi nodes, over a simple networked computing application called Distributed Network Anomaly Detector (DNAD). We show that despite using more localized knowledge, a distributed WAVE greedy algorithm can achieve similar performance as a classical centralized scheduling algorithm called Heterogeneous Earliest Finish Time (HEFT), suitably enhanced for the Jupiter system.


title: Geometry Sharing Network for 3D Point Cloud Classification and Segmentation

abstract: In spite of the recent progresses on classifying 3D point cloud with deep CNNs, large geometric transformations like rotation and translation remain challenging problem and harm the final classification performance. To address this challenge, we propose Geometry Sharing Network (GS-Net) which effectively learns point descriptors with holistic context to enhance the robustness to geometric transformations. Compared with previous 3D point CNNs which perform convolution on nearby points, GS-Net can aggregate point features in a more global way. Specially, GS-Net consists of Geometry Similarity Connection (GSC) modules which exploit Eigen-Graph to group distant points with similar and relevant geometric information, and aggregate features from nearest neighbors in both Euclidean space and Eigenvalue space. This design allows GS-Net to efficiently capture both local and holistic geometric features such as symmetry, curvature, convexity and connectivity. Theoretically, we show the nearest neighbors of each point in Eigenvalue space are invariant to rotation and translation. We conduct extensive experiments on public datasets, ModelNet40, ShapeNet Part. Experiments demonstrate that GS-Net achieves the state-of-the-art performances on major datasets, 93.3% on ModelNet40, and are more robust to geometric transformations.


title: On the Hopf algebra of multi-complexes

abstract: We introduce a general class of combinatorial objects, which we call \emph{multi-complexes}, which simultaneously generalizes graphs, multigraphs, hypergraphs and simplicial and delta complexes. We introduce a natural algebra of multi-complexes which is defined as the algebra which has a formal basis $\mathcal{C}$ of all isomorphism types of multi-complexes, and multiplication is to take the disjoint union. This is a Hopf algebra with an operation encoding the dissasembly information for such objects, and extends the Hopf algebra of graphs. In our main result, we explicitly describe here the structure of this Hopf algebra of multi-complexes $H$. We find an explicit basis $\mathcal{B}$ of the space of primitives, which is of combinatorial relevance: it is such that each multi-complex is a polynomial with non-negative integer coefficients of the elements of $\mathcal{B}$, and each $b\in\mathcal{B}$ is a polynomial with integer coefficients in $\mathcal{C}$. Using this, we find the cancellation and grouping free formula for the antipode. The coefficients appearing in all these polynomials are, up to signs, numbers counting multiplicities of sub-multi-complexes in a multi-complex. We also explicitly illustrate how our results specialize to the graph Hopf algebra, and observe how they specialize to results in all of the above mentioned particular cases. We also investigate applications of these results to the graph reconstruction conjectures, and rederive some results in the literature on these questions.


title: Channel Estimation and Passive Beamforming for Intelligent Reflecting Surface: Discrete Phase Shift and Progressive Refinement

abstract: Prior studies on Intelligent Reflecting Surface (IRS) have mostly assumed perfect channel state information (CSI) available for designing the IRS passive beamforming as well as the continuously adjustable phase shift at each of its reflecting elements, which, however, have simplified two challenging issues for implementing IRS in practice, namely, its channel estimation and passive beamforming designs both under the constraint of discrete phase shifts. To address them, we consider in this paper an IRS-aided single-user communication system with discrete phase shifts and design the IRS training reflection matrix for channel estimation as well as the passive beamforming for data transmission, both subject to the constraint of discrete phase shifts. We show that the training reflection matrix design for discrete phase shifts greatly differs from that for continuous phase shifts, and thus the corresponding passive beamforming should be optimized by taking into account the correlated channel estimation error due to discrete phase shifts. Specifically, we consider a practical block-based transmission, where each block has a finite (insufficient) number of training symbols for channel estimation. A novel hierarchical training reflection design is proposed to progressively estimate IRS elements' channels over multiple blocks by exploiting IRS-elements grouping and partition. Based on the resolved IRS channels in each block, we further design the progressive passive beamforming at the IRS with discrete phase shifts to improve the achievable rate for data transmission over the blocks.


title: Mixture of Inference Networks for VAE-based Audio-visual Speech Enhancement

abstract: In this paper, we are interested in unsupervised (unknown noise) audio-visual speech enhancement based on variational autoencoders (VAEs), where the probability distribution of clean speech spectra is simulated using an encoder-decoder architecture. The trained generative model (decoder) is then combined with a noise model at test time to estimate the clean speech. In the speech enhancement phase (test time), the initialization of the latent variables, which describe the generative process of clean speech via decoder, is crucial, as the overall inference problem is non-convex. This is usually done by using the output of the trained encoder where the noisy audio and clean visual data are given as input. Current audio-visual VAE models do not provide an effective initialization because the two modalities are tightly coupled (concatenated) in the associated architectures. To overcome this issue, inspired by mixture models, we introduce the mixture of inference networks variational autoencoder (MIN-VAE). Two encoder networks input, respectively, audio and visual data, and the posterior of the latent variables is modeled as a mixture of two Gaussian distributions output from each encoder network. The mixture variable is also latent, and therefore the inference of learning the optimal balance between the audio and visual inference networks is unsupervised as well. By training a shared decoder, the overall network learns to adaptively fuse the two modalities. Moreover, at test time, the visual encoder, which takes (clean) visual data, is used for initialization. A variational inference approach is derived to train the proposed generative model. Thanks to the novel inference procedure and the robust initialization, the proposed MIN-VAE exhibits superior performance on speech enhancement than using the standard audio-only as well as audio-visual counterparts.


title: Monte-Carlo Tree Search for Policy Optimization

abstract: Gradient-based methods are often used for policy optimization in deep reinforcement learning, despite being vulnerable to local optima and saddle points. Although gradient-free methods (e.g., genetic algorithms or evolution strategies) help mitigate these issues, poor initialization and local optima are still concerns in highly nonconvex spaces. This paper presents a method for policy optimization based on Monte-Carlo tree search and gradient-free optimization. Our method, called Monte-Carlo tree search for policy optimization (MCTSPO), provides a better exploration-exploitation trade-off through the use of the upper confidence bound heuristic. We demonstrate improved performance on reinforcement learning tasks with deceptive or sparse reward functions compared to popular gradient-based and deep genetic algorithm baselines.


title: Gaia-assisted discovery of a detached low-ionisation BAL quasar with very large ejection velocities

abstract: We report on the discovery of a peculiar Broad Absorption Line (BAL) quasar identified in our Gaia-assisted survey of red quasars. The systemic redshift of this quasar was difficult to establish due to the absence of conspicuous emission lines. Based on deep and broad BAL troughs (at least SiIV, CIV, and AlIII), a redshift of z=2.41 was established under the assumption that the systemic redshift can be inferred from the red edge of the BAL troughs. However, we observe a weak and spatially-extended emission line at 4450 AA most likely due to Lyman-alpha emission, which implies a systemic redshift of z=2.66 if correctly identified. There is also evidence for the onset of Lyman-alpha forest absorption bluewards of 4450 AA and evidence for H-alpha emission in the K-band consistent with a systemic redshift of z=2.66. If this redshift is correct, the quasar is an extreme example of a detached low-ionisation BAL quasar. The BAL lines must originate from material moving with very large velocities ranging from 22000 to 40000 km/s. To our knowledge, this is the first case of a systemic-redshift measurement based on extended Lyman-$\alpha$ emission for a BAL quasar, a method that should also be useful in cases of sufficiently distant BL Lac quasars without systemic-redshift information.


title: Weighted Ensemble Milestoning (WEM): A Combined Approach for Rare Event Simulations

abstract: To directly simulate rare events using atomistic molecular dynamics is a significant challenge in computational biophysics. Well-established enhanced-sampling techniques do exist to obtain the thermodynamic functions for such systems. But developing methods for obtaining the kinetics of long timescale processes from simulation at atomic detail is comparatively less developed an area. Milestoning and the weighted ensemble (WE) method are two different stratification strategies; both have shown promise for computing long timescales of complex biomolecular processes. Nevertheless, both require a significant investment of computational resources. We have combined WE and milestoning to calculate observables in orders of magnitude less CPU and wall-clock time. Our weighted ensemble milestoning method (WEM) uses WE simulation to converge the transition probability and first passage times between milestones, followed by the utilization of the theoretical framework of milestoning to extract thermodynamic and kinetic properties of the entire process. We tested our method for a simple one-dimensional double well potential, an eleven-dimensional potential energy surface with energy barrier, and on the biomolecular model system alanine dipeptide. We were able to recover the free energy profiles, time correlation functions, and mean first passage times for barrier crossing events at a significantly small computational cost. WEM promises to extend the applicability of molecular dynamics simulation to slow dynamics of large systems which are well beyond the scope of present day brute-force computations.


title: Stability of lattice rules and polynomial lattice rules constructed by the component-by-component algorithm

abstract: We study quasi-Monte Carlo (QMC) methods for numerical integration of multivariate functions defined over the high-dimensional unit cube. Lattice rules and polynomial lattice rules, which are special classes of QMC methods, have been intensively studied and the so-called component-by-component (CBC) algorithm has been well-established to construct rules which achieve the almost optimal rate of convergence with good tractability properties for given smoothness and set of weights. Since the CBC algorithm constructs rules for given smoothness and weights, not much is known when such rules are used for function classes with different smoothness and/or weights. In this paper we prove that a lattice rule constructed by the CBC algorithm for the weighted Korobov space with given smoothness and weights achieves the almost optimal rate of convergence with good tractability properties for general classes of smoothness and weights which satisfy some summability conditions. Such a stability result also can be shown for polynomial lattice rules in weighted Walsh spaces. We further give bounds on the weighted star discrepancy and discuss the tractability properties for these QMC rules. The results are comparable to those obtained for Halton, Sobol and Niederreiter sequences.


title: Photonic topological insulators induced by non-Hermitian disorders in a coupled-cavity array

abstract: Recent studies of disorder or non-Hermiticity induced topological insulators inject new ingredients for engineering topological matter. Here we consider the effect of purely non-Hermitian disorders, a combination of these two ingredients, in a 1D coupled-cavity array with disordered gain and loss. Topological photonic states can be induced by increasing gain-loss disorder strength with topological invariants carried by localized states in the complex bulk spectra. The system showcases rich phase diagrams and distinct topological states from Hermitian disorders. The non-Hermitian critical behavior is characterized by the biorthogonal localization length of zero-energy edge modes, which diverges at the critical transition point and establishes the bulk-edge correspondence. Furthermore, we show that the bulk topology may be experimentally accessed by measuring the biorthogonal chiral displacement, which can be extracted from a proper Ramsey interferometer that works in both clean and disordered regions. The proposed coupled-cavity photonic setup relies on techniques that have been experimentally demonstrated, and thus provides a feasible route towards exploring such non-Hermitian disorder driven topological insulators.

categories: cond-mat.mes-hall cond-mat.dis-nn physics.optics quant-ph


title: Video Compression Coding via Colorization: A Generative Adversarial Network (GAN)-Based Approach

abstract: Under the limited storage, computing and network bandwidth resources, the video compression coding technology plays an important role for visual communication. To efficiently compress raw video data, a colorization-based video compression coding method is proposed in this paper. In the proposed encoder, only the video luminance components are encoded and transmitted. To restore the video chrominance information, a generative adversarial network (GAN) model is adopted in the proposed decoder. In order to make the GAN work efficiently for video colorization, the generator of the proposed GAN model adopts an optimized MultiResUNet, an attention module, and a mixed loss function. Experimental results show that when compared with the H.265/HEVC video compression coding standard using all-intra coding structure, the proposed video compression coding method achieves an average of 72.05% BDBR reduction, and an average of 4.758 dB BDPSNR increase. Moreover, to our knowledge, this is the first work which compresses videos by using GAN-based colorization, and it provides a new way for addressing the video compression coding problems.


title: The construction of braided $T$-category via Yetter-Drinfeld-Long bimodules

abstract: Let $H_1$ and $H_2$ be Hopf algebras which are not necessarily finite dimensional and $\alpha,\beta \in Aut_{Hopf}(H_1), \gamma,\delta \in Aut_{Hopf}(H_2)$. In this paper, we introduce a category ${}_{H_1}\mathcal{LR}_{H_2}(\alpha, \beta, \gamma, \delta)$, generalizing Yetter-Drinfeld-Long bimodules and construct a braided $T$-category $\mathcal{LR}(H_1,H_2)$ containing all the categories $_{H_1}\mathcal{LR}_{H_2}(\alpha, \beta, \gamma, \delta)$ as components. We also prove that if $(\alpha, \beta, \gamma, \delta)$ admits a quadruple in involution, then ${}_{H_1}\mathcal{LR}_{H_2}(\alpha, \beta, \gamma, \delta)$ is isomorphic to the usual category ${}_{H_1}\mathcal{LR}_{H_2}$ of Yetter-Drinfeld-Long bimodules.


title: Uniform stable radius and Milnor number for non-degenerate isolated complete intersection singularities

abstract: We prove that for two germs of analytic mappings $f,g\colon (\mathbb{C}^n,0) \rightarrow (\mathbb{C}^p,0)$ with the same Newton polyhedra which are (Khovanskii) non-degenerate and their zero sets are complete intersections with isolated singularity at the origin, there is a piecewise analytic family $\{f_t\}$ of analytic maps with $f_0=f, f_1=g$ which has a so-called {\it uniform stable radius for the Milnor fibration}. As a corollary, we show that their Milnor numbers are equal. Also, a formula for the Milnor number is given in terms of the Newton polyhedra of the component functions. This is a generalization of the result by C. Bivia-Ausina. Consequently, we obtain that the Milnor number of a non-degenerate isolated complete intersection singularity is an invariance of Newton boundaries.


title: Toward precision jet event shape for future Electron-Ion Collider

abstract: We present angularity differential cross-section for the deep inelastic scattering process (DIS) in the framework of soft-collinear effective theory (SCET). Using SCET, the cross-section is factorized in terms of hard, jet, beam and soft functions. Our result includes resummation of the large logarithms up to next-to-next leading logarithmic (NNLL) accuracy. The numerical results presented here for DIS angularity cross-section can be explored by the future EIC.


title: A Compared Study Between Some Subspace Based Algorithms

abstract: The technology of face recognition has made some progress in recent years. After studying the PCA, 2DPCA, R1-PCA, L1-PCA, KPCA and KECA algorithms, in this paper ECA (2DECA) is proposed by extracting features in PCA (2DPCA) based on Renyi entropy contribution. And then we conduct a study on the 2DL1-PCA and 2DR1-PCA algorithms. On the basis of the experiments, this paper compares the difference of the recognition accuracy and operational efficiency between the above algorithms.


title: Multipartite entanglement and secret key distribution in quantum networks

abstract: Distribution and distillation of entanglement over quantum networks is a basic task for Quantum Internet applications. A fundamental question is then to determine the ultimate performance of entanglement distribution over a given network. Although this question has been extensively explored for bipartite entanglement-distribution scenarios, less is known about multipartite entanglement distribution. Here we establish the fundamental limit of distributing multipartite entanglement, in the form of GHZ states, over a quantum network. In particular, we determine the multipartite entanglement distribution capacity of a quantum network, in which the nodes are connected through lossy bosonic quantum channels. This setting corresponds to a practical quantum network consisting of optical links. The result is also applicable to the distribution of multipartite secret key, known as common key, for both a fully quantum network and trusted-node based quantum key distribution network. Our results set a general benchmark for designing a network topology and network quantum repeaters (or key relay in trusted nodes) to realize efficient GHZ state/common key distribution in both fully quantum and trusted-node-based networks. We show an example of how to overcome this limit by introducing a network quantum repeater. Our result follows from an upper bound on distillable GHZ entanglement introduced here, called the "recursive-cut-and-merge" bound, which constitutes major progress on a longstanding fundamental problem in multipartite entanglement theory. This bound allows for determining the distillable GHZ entanglement for a class of states consisting of products of bipartite pure states.


title: Graph-Based Parallel Large Scale Structure from Motion

abstract: While Structure from Motion (SfM) achieves great success in 3D reconstruction, it still meets challenges on large scale scenes. In this work, large scale SfM is deemed as a graph problem, and we tackle it in a divide-and-conquer manner. Firstly, the images clustering algorithm divides images into clusters with strong connectivity, leading to robust local reconstructions. Then followed with an image expansion step, the connection and completeness of scenes are enhanced by expanding along with a maximum spanning tree. After local reconstructions, we construct a minimum spanning tree (MinST) to find accurate similarity transformations. Then the MinST is transformed into a Minimum Height Tree (MHT) to find a proper anchor node and is further utilized to prevent error accumulation. When evaluated on different kinds of datasets, our approach shows superiority over the state-of-the-art in accuracy and efficiency. Our algorithm is open-sourced at https://github.com/AIBluefisher/GraphSfM.


title: Back-action evading measurement of the collective mode of a Bose-Einstein condensate

abstract: In this paper, we investigate theoretically the back-action evading measurement of the collective mode of an interacting atomic Bose-Einstein condensate (BEC) trapped in an optical cavity which is driven coherently by a pump laser with a modulated amplitude. It is shown that for a specified kind of amplitude modulation of the driving laser, one can measure a generalized quadrature of the collective mode of the BEC indirectly through the output cavity field with a negligible backaction noise in the good-cavity limit. Nevertheless, the on-resonance added noise of measurement is suppressed below the standard quantum limit (SQL) even in the bad cavity limit. Moreover, the measurement precision can be controlled through the s-wave scattering frequency of atomic collisions.


title: Dynamical spin polarization of excess quasi-particles in superconductors

abstract: We show that the annihilation dynamics of excess quasi-particles in superconductors may result in the spontaneous formation of large spin-polarized clusters. This presents a novel scenario for spontaneous spin polarization. We estimate the relevant scales for aluminum, finding the feasibility of clusters with total spin $S \simeq 10^4 \hbar$ that could be spread over microns. The fluctuation dynamics of such large spins may be detected by measuring the flux noise in a loop hosting a cluster.


title: A generalization of the total mean curvature

abstract: A special formula for the total mean curvature of an ovaloid is derived. This formula allows us to extend the notion of the mean curvature to the class of boundaries of strictly convex sets. Moreover, some integral formula for ovaloids is proved.


title: SSR: A Stall Scheme Reducing Bubbles in Load-Use Hazard of RISC-V Pipeline

abstract: Modern processors usually adopt pipeline structure and often load data from memory. At that point, the load-use hazard will inevitably occur, which usually stall the pipeline and reduce performance. This paper introduces and compares two schemes to solve load-use hazard. One is the traditional scheme that detect hazard between ID stage and EXE stage, which stalls the pipeline and insert bubbles between the two instructions. In the scheme we proposed, we add a simple bypass unit between EXE and MEM stage that disables the stall of load-use hazard caused by the traditional scheme, which can reduce the bubble between the two instructions. It's quite a considerable benefit in eliminating bubbles especially in the long pipeline or programs of plenty load instructions. The scheme was implemented in the open source RISC-V SoC generator Rocket-chip and synthesized in SMIC 130-nm technology. The results show that the performance of the latter scheme is increased by 6.9% in the Dhrystone benchmark with the reasonable cost of area and power.


title: Scale Match for Tiny Person Detection

abstract: Visual object detection has achieved unprecedented ad-vance with the rise of deep convolutional neural networks.However, detecting tiny objects (for example tiny per-sons less than 20 pixels) in large-scale images remainsnot well investigated. The extremely small objects raisea grand challenge about feature representation while themassive and complex backgrounds aggregate the risk offalse alarms. In this paper, we introduce a new benchmark,referred to as TinyPerson, opening up a promising directionfor tiny object detection in a long distance and with mas-sive backgrounds. We experimentally find that the scale mis-match between the dataset for network pre-training and thedataset for detector learning could deteriorate the featurerepresentation and the detectors. Accordingly, we proposea simple yet effective Scale Match approach to align theobject scales between the two datasets for favorable tiny-object representation. Experiments show the significantperformance gain of our proposed approach over state-of-the-art detectors, and the challenging aspects of TinyPersonrelated to real-world scenarios. The TinyPerson benchmarkand the code for our approach will be publicly available(https://github.com/ucas-vg/TinyBenchmark).(Attention: evaluation rules of AP have updated in benchmark after this paper accepted, So this paper use old rules. we will keep old rules of AP in benchmark, but we recommand the new and we will use the new in latter research.)


title: On Szeg\"{o}--Kolmogorov Prediction Theorem

abstract: The classical Szeg\"{o}--Kolmogorov Prediction Theorem gives necessary and sufficient condition on a weight $w$ on the unite cirlce $T$ so that the exponentials with positive integer frequences span the weighted space $L^2(T,w)$. We consider the problem how many of these exponentials can be removed while still keeping the completeness property.


title: ARM Pointer Authentication based Forward-Edge and Backward-Edge Control Flow Integrity for Kernels

abstract: Code reuse attacks are still big threats to software and system security. Control flow integrity is a promising technique to defend against such attacks. However, its effectiveness has been weakened due to the inaccurate control flow graph and practical strategy to trade security for performance. In recent years, CPU vendors have integrated hardware features as countermeasures. For instance, ARM Pointer Authentication (PA in short) was introduced in ARMV8-A architecture. It can efficiently generate an authentication code for an address, which is encoded in the unused bits of the address. When the address is de-referenced, the authentication code is checked to ensure its integrity. Though there exist systems that adopt PA to harden user programs, how to effectively use PA to protect OS kernels is still an open research question. In this paper, we shed lights on how to leverage PA to protect control flows, including function pointers and return addresses, of Linux kernel. Specifically, to protect function pointers, we embed authentication code into them, track their propagation and verify their values when loading from memory or branching to targets. To further defend against the pointer substitution attack, we use the function pointer address as its context, and take a clean design to propagate the address by piggybacking it into the pointer value. We have implemented a prototype system with LLVM to identify function pointers, add authentication code and verify function pointers by emitting new machine instructions. We applied this system to Linux kernel, and solved numerous practical issues, e.g., function pointer comparison and arithmetic operations. The security analysis shows that our system can protect all function pointers and return addresses in Linux kernel.


title: Generalizing Deep Models for Overhead Image Segmentation Through Getis-Ord Gi* Pooling

abstract: That most deep learning models are purely data driven is both a strength and a weakness. Given sufficient training data, the optimal model for a particular problem can be learned. However, this is usually not the case and so instead the model is either learned from scratch from a limited amount of training data or pre-trained on a different problem and then fine-tuned. Both of these situations are potentially suboptimal and limit the generalizability of the model. Inspired by this, we investigate methods to inform or guide deep learning models for geospatial image analysis to increase their performance when a limited amount of training data is available or when they are applied to scenarios other than which they were trained on. In particular, we exploit the fact that there are certain fundamental rules as to how things are distributed on the surface of the Earth and these rules do not vary substantially between locations. Based on this, we develop a novel feature pooling method for convolutional neural networks using Getis-Ord Gi* analysis from geostatistics. Experimental results show our proposed pooling function has significantly better generalization performance compared to a standard data-driven approach when applied to overhead image segmentation.


title: Compressive Sensing Based Channel Estimation for Millimeter-Wave Full-Dimensional MIMO with Lens-Array

abstract: Channel estimation (CE) for millimeter-wave (mmWave) lens-array suffers from prohibitive training overhead, whereas the state-of-the-art solutions require an extra complicated radio frequency phase shift network. By contrast, lens-array using antenna switching network (ASN) simplifies the hardware, but the associated CE is a challenging task due to the constraint imposed by ASN. This paper proposes a compressive sensing (CS)-based CE solution for full-dimensional (FD) lens-array, where the mmWave channel sparsity is exploited. Specifically, we first propose an approach of pilot training under the more severe haraware constraint imposed by ASN, and formulate the associated CE of lens-array as a CS problem. Then, a redundant dictionary is tailored for FD lens-array to combat the power leakage caused by the continuous angles of multipath components. Further, we design the baseband pilot signals to minimize the total mutual coherence of the measurement matrix based on CS theory for more reliable CE performance. Our solution provides a framework for applying CS techniques to lens-array using simple and practical ASN. Simulation results demonstrate the effectiveness of the proposed scheme.


title: Image Denoising by Random Interpolation Average with Low-Rank Matrix Approximation

abstract: With the wide deployment of digital image capturing equipment, the need of denoising to produce a crystal clear image from noisy capture environment has become indispensable. This work presents a novel image denoising method that can tackle both impulsive noise, such as salt and pepper noise (SAPN), and additive white Gaussian noise (AWGN), such as hot carrier noise from CMOS sensor, at the same time. We propose to use low-rank matrix approximation to form the basic denoising framework, as it has the advantage of preserving the spatial integrity of the image. To mitigate the SAPN, the original noise corrupted image is randomly sampled to produce sampled image sets. Low-rank matrix factorization method (LRMF) via alternating minimization denoising method is applied to all sampled images, and the resultant images are fused together via a wavelet fusion with hard threshold denoising. Since the sampled image sets have independent but identical noise property, the wavelet fusion serves as the effective mean to remove the AWGN, while the LRMF method suppress the SAPN. Simulation results are presented which vividly show the denoised images obtained by the proposed method can achieve crystal clear image with strong structural integrity and showing good performance in both subjective and objective metrics.


title: Applied electric field on zigzag graphene nanoribbons: reduction of spin stiffness and appearance of spiral spin density waves

abstract: We investigated the reduction of the spin stiffness and the appearance of the spiral spin density waves when the electric field is applied on the zigzag graphene nanoribbons for the ferromagnetic and antiferromagnetic edge states. For that purpose, we exploited the generalized Bloch theorem combined with a constraint method to keep the direction of the magnetic moment of the carbon atom at the edges. We found that the ground state of ferromagnetic configuration is unstable and leads to the spiral ground state while the ground state of the antiferromagnetic configuration is robust. We also showed that the spin stiffness in the ferromagnetic and antiferromagnetic configurations reduces as the electric field increases. Thus, we justified that not only the spin stiffness but also the ground state of the zigzag graphene nanoribbons can be controlled by the electric field.


title: Channel Estimation Method and Phase Shift Design for Reconfigurable Intelligent Surface Assisted MIMO Networks

abstract: In this paper, we investigate channel estimation for a large intelligent surface (LIS) aided multiple-input multiple-output (MIMO) communication system. Due to the close proximity of communication devices and LIS terminal, the desired channels can be modeled as line-of-sight channels which are ill-conditioned. To estimate these channel matrices with high quality, we propose a two-stage channel estimation method. In particular, we employ the conventional time-division duplexing based MIMO channel estimation technique in the first stage to estimate the direct MIMO channel between the end terminals. In the second stage, we propose to use a recently developed bilinear adaptive vector approximate message passing (BAdVAMP) algorithm to estimate ill-conditioned LIS channels. The BAdVAMP method has been shown to be accurate and robust for ill-conditioned dictionary learning problems in compressed sensing. We also propose a phase shift design for the LIS using the estimated channels. Specifically, we formulate an optimization problem that maximizes the total channel gain at the user. A closed-form expression to obtain the phase shift of each passive element in the LIS is also derived. Numerical results show that the proposed BAdVAMP based LIS channel estimation performs better than its counterpart scheme bilinear generalized AMP (BiGAMP), especially when channel matrices are ill-conditioned.


title: An infinite family of $bc8$-like metastable phases in silicon

abstract: We show that new silicon crystalline phases, observed in the experiment with the laser-induced microexplosions inside silicon crystals (Rapp et al. // Nat. Commun. 6, 7555 (2015)), are all superstructures of a disordered high-symmetry phase with $Ia\bar{3}d$ cubic space group, as well as known for many years phases $bc8$ (Si-III) and $r8$ (Si-XII). The physics of this phenomenon is rather nontrivial: The $bc8$-like superstructures appear as regularly ordered patterns of switchable atomic strings, preserving everywhere the energetically favorable tetrahedral coordination of silicon atoms. The variety of superstructures arises because each string can be switched between two states independently of the others. An infinite family of different phases can be obtained this way and a number of them are considered here in detail. In addition to the known $bc8$, $bt8$, and $r8$ crystals, 128 tetrahedral structures with 16 (6 phases), 24 (22 phases), and 32 (100 phases) atoms per primitive cell are generated and studied, most of them are new ones. For the coarse-grain description of the structures with two possible states of switchable strings, the black/white (switched/nonswitched) Shubnikov symmetry groups has been used. An ab initio relaxation of the atomic positions and lattice parameters shows that all the considered phases are metastable and have higher density and energy relative to the $bc8$ phase at the ambient pressure. A possible scenario for appearance of those phases from the high-temperature amorphous phase is discussed.


title: Supercurrents in N=1 Minimal Supergravity in the Superconformal Formalism

abstract: We discuss the Einstein tensor, the supercurrent and their conservation laws of old and new minimal formulations of supergravity in the superconformal approach. The variation of the action with respect to the gauge field of the $R$-symmetry in the conformal approach (the auxiliary field in the super-Poincar\'{e} action) allows to find the Einstein tensor and supercurrent in any curved background. Hence generalized expressions for their Ward identities follow. This proceeding is based on arXiv:1805.09228, arXiv:1705.02272.


title: Negative curvature in graph braid groups

abstract: In this article, we initiate a geometric study of graph braid groups. More precisely, by applying the formalism of special colorings introduced in a previous article, we determine precisely when a graph braid group is Gromov-hyperbolic, toral relatively hyperbolic, and acylindrically hyperbolic.


title: A Multimodal Target-Source Classifier with Attention Branches to Understand Ambiguous Instructions for Fetching Daily Objects

abstract: In this study, we focus on multimodal language understanding for fetching instructions in the domestic service robots context. This task consists of predicting a target object, as instructed by the user, given an image and an unstructured sentence, such as "Bring me the yellow box (from the wooden cabinet)." This is challenging because of the ambiguity of natural language, i.e., the relevant information may be missing or there might be several candidates. To solve such a task, we propose the multimodal target-source classifier model with attention branches (MTCM-AB), which is an extension of the MTCM. Our methodology uses the attention branch network (ABN) to develop a multimodal attention mechanism based on linguistic and visual inputs. Experimental validation using a standard dataset showed that the MTCM-AB outperformed both state-of-the-art methods and the MTCM. In particular the MTCM-AB accuracy on average was 90.1% while human performance was 90.3% on the PFN-PIC dataset.


title: Identification and Resolution of Unphysical Multielectron Excitations in the Real-Time Time-Dependent Kohn-Sham Formulation

abstract: We resolve a fundamental issue associated with the conventional Kohn-Sham formulation of real-time time-dependent density functional theory. We show that unphysical multielectron excitations, generated during time propagation of the Kohn-Sham equations due to fixation of the total number of Kohn-Sham orbitals and their occupations, result in incorrect electron density and, therefore, wrong predictions of physical properties. A new formulation is proposed in that the number of Kohn-Sham orbitals and their occupations are updated on the fly, the unphysical multielectron excitations are removed, and the correct electron density is determined. The correctness of the new formulation is demonstrated by simulations of Rabi oscillation, as analytical results are available for comparison in the case of noninteracting electrons.


title: Origin of Aggregation-Induced Enhanced Emission: A Role of Pseudo-Degenerate Electronic States of Excimers Formed in Aggregation Phases

abstract: Origin of aggregation-induced enhanced emission (AIEE) is investigated considering cyano-substituted 1,2-bis(pyridylphenyl)ethene (CNPPE) as an example. On the basis of ONIOM calculations using the time-dependent density functional theory (TD-DFT), we found that pseudo-degeneracy of excimers formed in solid phase plays an important role in the appearance of AIEE. The electron density difference delocalized over molecules gives rise to small diagonal vibronic coupling constants (VCCs), which suggests that the internal conversion is more suppressed in solid phase than in solution phase. The reduction of the off-diagonal VCCs owing to the packing effect is elucidated by vibronic coupling density (VCD) analysis. The pseudo-degeneracy enables fluorescence from the high singlet excited states against Kasha's rule because the electron density difference and the overlap density between the excited states vanish. A Hubbard model of a pseudo-degenerate electronic system is constructed to explain the vanishing mechanism. We propose the following design principle for AIEE: a candidate molecule for AIEE should have pseudo-degenerate adiabatic electronic states in the aggregation phases originating from the excimer formation.


title: Intelligent Reflecting Surface-Assisted Cognitive Radio System

abstract: Cognitive radio (CR) is an effective solution to improve the spectral efficiency (SE) of wireless communications by allowing the secondary users (SUs) to share spectrum with primary users. Meanwhile, intelligent reflecting surface (IRS), also known as reconfigurable intelligent surface (RIS), has been recently proposed as a promising approach to enhance energy efficiency (EE) of wireless communication systems through intelligently reconfiguring the channel environment. To improve both SE and EE, in this paper, we introduce multiple IRSs to a downlink multiple-input single-output (MISO) CR system, in which a single SU coexists with a primary network with multiple primary user receivers (PU-RXs). Our design objective is to maximize the achievable rate of SU subject to a total transmit power constraint on the SU transmitter (SU-TX) and interference temperature constraints on the PU-RXs, by jointly optimizing the beamforming at SU-TX and the reflecting coefficients at each IRS. Both perfect and imperfect channel state information (CSI) cases are considered in the optimization. Numerical results demonstrate that the introduction of IRS can significantly improve the achievable rate of SU under both perfect and imperfect CSI cases.


title: High-dimensional tennis balls

abstract: We show that there exist constants $\alpha,\epsilon>0$ such that for every positive integer $n$ there is a continuous odd function $f:S^m\to S^n$, with $m\geq \alpha n$, such that the $\epsilon$-expansion of the image of $f$ does not contain a great circle. We also show how this result is connected to a conjecture of Vitali Milman about well-complemented almost Euclidean subspaces of spaces uniformly isomorphic to $\ell_2^n$.


title: Matching for a family of infinite measure continued fraction transformations

abstract: As a natural counterpart to Nakada's $\alpha$-continued fraction maps, we study a one-parameter family of continued fraction transformations with an indifferent fixed point. We prove that matching holds for Lebesgue almost every parameter in this family and that the exceptional set has Hausdorff dimension 1. Due to this matching property, we can construct a planar version of the natural extension for a large part of the parameter space. We use this to obtain an explicit expression for the density of the unique infinite $\sigma$-finite absolutely continuous invariant measure and to compute the Krengel entropy, return sequence and wandering rate of the corresponding maps.


title: Towards an understanding of the chemisorption and catalytic activity of Pd$_{X}$Ru$_{1-X}$ nanoparticles using photoelectron spectroscopy

abstract: Chemisorption process and catalytic activity of CO to CO2 conversion on PdXRu1-X (X : 0, 0.1, 0.3, 0.5, 0.7, 0.9 and 1) extended as a benchmark for further investigation of very complex nanoparticle (NP) structures have been checked into thoroughly by using the synchrotron-based hard X-ray photoelectron spectroscopy (HAXPES). Assessment and diagnostic of core levels and valence bands data highlight valuable information regarding the surface interaction and structure of PdRu bimetallic nanoparticles (BM-NPs). Core level shift observed from the C 1s clearly emphasized that the Pd0.5Ru0.5 NPs which provide the highest catalytic efficiency (CO oxidation) exhibits a preferential adsorption of the CO molecule at the top site. Otherwise, our results also display that remaining NPs exhibit two components assigned to the bridge and hollow CO sites. Combination of Pd 3d5/2 and Ru 3p3/2 core levels results points out a transition from alloy structures to core-shell configuration with increasing the molar ratio of Ru. Valence-band maximum (VBM) demonstrates a position dependent to the molar composition of Ru. Additionally, by digging into the electronic structures (shape and width) of each NPs very deeply, we clearly emphasise the valuable relationship between composition, atomic arrangement, d-band and catalytic properties of bimeatllic PdRu. According to the HAXPES results, the strong and clear evidence for the enhanced CO to CO2 conversion ability of Pd0.5Ru0.5-NP may be assigned to the existence of a most favourable spatial d-band extension and an optimum balance between the core-shell and alloy structures. Electronic and chemical data and interpretations are consistent with the PdRu catalytic performances. This present prospection gives a new step towards a better knowledge on the catalytic surface interaction of binary, ternary and multimetallic NPs with reactants.


title: Bisognano-Wichmann property for rigid categorical extensions and non-local extensions of conformal nets

abstract: Given an (irreducible) Mobius covariant net $\mathcal A$, we prove a Bisognano-Wichmann theorem for its categorical extension $\mathscr E^{\textrm{d}}$ associated to the braided $C^*$-tensor category $\textrm{Rep}^{\textrm{d}}(\mathcal A)$ of dualizable (more precisely "dualized") Mobius covariant $\mathcal A$-modules. As a closely related result, we prove a (modified) Bisognano-Wichmann theorem for any (possibly) non-local extension of $\mathcal A$ obtained by a $C^*$-Frobenius algebra $Q$ in $\textrm{Rep}^{\textrm{d}}(\mathcal A)$. As an application, we discuss the relation between the domains of modular operators and the preclosedness of certain unbounded operators in $\mathscr E^{\textrm{d}}$.


title: The nonlinear Schr\"odinger equation: A mathematical model with its wide-ranging applications

abstract: The nonlinear Schr\"odinger equation (NLSE) models the slowly varying envelope dynamics of a weakly nonlinear quasi-monochromatic wave packet in dispersive media. In the context of Bose-Einstein condensate (BEC), it is often referred to as the Gross-Pitaevskii equation (GPE). The NLSE is one example of integrable systems of a nonlinear partial differential equation (PDE) in $(1 + 1)$D and it possesses an infinite set of conservation laws. This nonlinear evolution equation arises in various physical settings and admits a wide range of applications, including but not limited to, surface gravity waves, superconductivity, nonlinear optics, and BEC. This chapter discusses not only the modeling aspect of the NLSE but also provides an overview of the applications in these four exciting research areas. The former features derivations of the NLSE heuristically and by employing the method of multiple-scale from other mathematical models as governing equations. Depending on how the variables are interpreted physically, the resulting NLSE can model a different dynamics of the wave packet. Furthermore, depending on the adopted assumptions and the chosen governing equations, each approach may provide different values for the corresponding dispersive and nonlinear coefficients.


title: Renormalized characteristic forms of the Cheng--Yau metric and global CR invariants

abstract: For each invariant polynomial $\Phi$, we construct a global CR invariant via the renormalized characteristic form of the Cheng--Yau metric on a strictly pseudoconvex domain. When the degree of $\Phi$ is 0, the invariant agrees with the total $Q'$-curvature. When the degree is equal to the CR dimension, we construct a primed pseudo-hermitian invariant $\mathcal{I}'_\Phi$ which integrates to the corresponding CR invariant. These are generalizations of the $\mathcal{I}'$-curvature on CR five-manifolds, introduced by Case--Gover.


title: Generating the Twist Subgroup by Involutions

abstract: For a nonorientable surface, the twist subgroup is an index 2 subgroup of the mapping class group. It is generated by Dehn twists about two-sided simple closed curves. In this paper, we study involution generators of the twist subgroup. We give generating sets of involutions with the smallest number of elements our methods allow.


title: Constraints on anomalous quartic gauge couplings by $\gamma\gamma \to W^+W^-$ scattering

abstract: The vector boson scattering (VBS) processes in Large Hadron Collider (LHC) experiments offer a unique opportunity to probe the anomalous quartic gauge couplings (aQGCs). We study the dimension-8 operators contributing to the anomalous $\gamma\gamma WW$ coupling and the corresponding unitarity bounds via the exclusive $\gamma\gamma \to W^+W^-$ production in $pp$ collisions at LHC for a center of mass energy of $\sqrt{s}=13$ TeV. By analysing the kinematical features of the signal, we propose an event selection strategy to highlight the aQGC contributions. Based on the event selection strategy, the statistical significance of the signals are analyzed in detail, and the constraints on the coefficients of the anomalous quartic gauge operators are obtained.


title: 5D Light Field Synthesis from a Monocular Video

abstract: Commercially available light field cameras have difficulty in capturing 5D (4D + time) light field videos. They can only capture still light filed images or are excessively expensive for normal users to capture the light field video. To tackle this problem, we propose a deep learning-based method for synthesizing a light field video from a monocular video. We propose a new synthetic light field video dataset that renders photorealistic scenes using UnrealCV rendering engine because no light field dataset is available. The proposed deep learning framework synthesizes the light field video with a full set (9$\times$9) of sub-aperture images from a normal monocular video. The proposed network consists of three sub-networks, namely, feature extraction, 5D light field video synthesis, and temporal consistency refinement. Experimental results show that our model can successfully synthesize the light field video for synthetic and actual scenes and outperforms the previous frame-by-frame methods quantitatively and qualitatively. The synthesized light field can be used for conventional light field applications, namely, depth estimation, viewpoint change, and refocusing.


title: Remarks on highly supersymmetric backgrounds of 11-dimensional supergravity

abstract: This note focuses on some properties and uses of filtered deformations in the context of D=11 supergravity. We define the concept of abstract symbol and give a strong version of the Reconstruction Theorem, namely a bijective correspondence from the space of highly supersymmetric supergravity backgrounds to the space of abstract symbols. We propose a general strategy to construct highly supersymmetric supergravity backgrounds and present an example in detail, which includes the computation of the ideal generated by the Killing spinors of two known pp-wave backgrounds with N=24 supersymmetry. Finally, we give an alternative proof, based on the isotropy algebra of a supergravity background, of a classical supersymmetry gap result of Gran, Gutowski, Papadopoulos and Roest.


title: Rapid fair sampling of XY spin Hamiltonian with a laser simulator

abstract: Coupled oscillators such as lasers, OPO's and BEC polaritons can rapidly and efficiently dissipate into a stable phase locked state that can be mapped onto the minimal energy (ground state) of classical spin Hamiltonians. However, for degenerate or near degenerate ground state manifolds, statistical fair sampling is required to obtain a complete knowledge of the minimal energy state, which needs many repetitions of simulations under identical conditions. We show that with dissipatively coupled lasers such fair sampling can be achieved rapidly and accurately by exploiting the many longitudinal modes of each laser to form an ensemble of identical but independent simulators, acting in parallel. We fairly sampled the ground state manifold of square, triangular and Kagome lattices by measuring their coherence function identifying manifolds composed of a single, doubly degenerate, and highly degenerate ground states, respectively.


title: Threshold of primordial black hole formation in Eddington-inspired-Born-Infeld gravity

abstract: It is believed that primordial black holes (PBHs), if they exist, can serve as a powerful tool to probe the early stage of the cosmic history. Essentially, in the radiation dominated universe, PBHs could form by the gravitational collapse of overdense primordial perturbations produced during inflation. In this picture, one important ingredient is the threshold of density contrast, which defines the onset of PBH formation. In the literature, most of the estimations of threshold, no matter numerically or analytically, are implemented in the framework of general relativity (GR). In this paper, by performing analytic estimations, we point out that the threshold for PBH formation depends on the gravitational theory under consideration. In GR, given a fixed equation of state, the analytic estimations adopted in this paper give a constant value of the formation threshold. If the theory is characterized by additional mass scales other than the Planck mass, the estimated threshold of density contrast may depend on the energy scale of the universe at the time of PBH formation. In this paper, we consider the Eddington-inspired-Born-Infeld gravity as an example. We find that the threshold would be enhanced if the Born-Infeld coupling constant is positive, and would be suppressed for a negative coupling constant. Also, we show explicitly that the threshold depends on the energy scale of the universe at the PBH formation time. This conclusion is expected to be valid for any gravitational theory characterized by additional mass scales, suggesting the possibility of testing gravitational theories with PBHs.


title: Quantitative study of electronic whispering gallery modes in electrostatic-potential induced circular graphene junctions

abstract: Electronic Whispering Gallery Modes (EWGMs) have been recently observed in several circular graphene junctions, pn and pp0, created in scanning tunnelling microscope experiments. By computing the local density of states within the Dirac-Weyl formalism for massless fermions we demonstrate that the EWGMs may really be emerged in any type of the electrostatic potential induced circular graphene junctions, including uni-junctions (e.g. np- or pp0-junctions) as well as bipolar-junctions (e.g. pnp-heterojunctions). Surprisingly, quantitative analyses show that for all the EWGMs identified (regardless of junction types) the quality (Q) factors seem to be smaller than 100, very small compared to those in ordinary optical whispering gallery modes microresonators, while the corresponding mode radii may tunably be in nanometer-scale. Our theoretical results are in good agreement with existent experimental data, putting a question to the application potential of the EWGMs identified.


title: An Evolution Equation Approach to Linear Quantum Field Theory

abstract: In the first part of our paper we analyze bisolutions and inverses of (non-autonomous) evolution equations. We are mostly interested in pseudo-unitary evolutions on Krein spaces, which naturally arise in linear Quantum Field Theory. We prove that with boundary conditions given by a maximal positive and maximal negative space we can associate an inverse, which can be viewed as a generalization of the usual Feynman propagator. In the context of globally hyperbolic manifolds, the Feynman propagator turns out to be a distinguished inverse of the Klein-Gordon operator. Within the formalism of Quantum Field Theory on curved spacetimes, the Feynman propagator yields the expectation values of time-ordered products of fields between the in and out vacuum --the basic ingredient for Feynman diagrams.


title: Weak-value magnetometry for precision tests of fundamental physics

abstract: Progress in testing fundamental physics relies on our ability to measure exceedingly small physical quantities. Using a $^{40}$Ca$^{+}$ trapped ion system as an example we show that an exceedingly weak synthetic magnetic field (at the scale of $10^{-19}$ T) can be measured with current technology. This improved sensitivity can be used to test the effects of spin coupling that affect the equivalence principle and, if present, may impact the performance of the proposed entangled optical clocks arrays.


title: Oriented Objects as pairs of Middle Lines

abstract: The detection of oriented objects is frequently appeared in the field of natural scene text detection as well as object detection in aerial images. Traditional detectors for oriented objects are common to rotate anchors on the basis of the RCNN frameworks, which will multiple the number of anchors with a variety of angles, coupled with rotating NMS algorithm, the computational complexities of these models are greatly increased. In this paper, we propose a novel model named Oriented Objects Detection Network O^2-DNet to detect oriented objects by predicting a pair of middle lines inside each target. O^2-DNet is an one-stage, anchor-free and NMS-free model. The target line segments of our model are defined as two corresponding middle lines of original rotating bounding box annotations which can be transformed directly instead of additional manual tagging. Experiments show that our O^2-DNet achieves excellent performance on ICDAR 2015 and DOTA datasets. It is noteworthy that the objects in COCO can be regard as a special form of oriented objects with an angle of 90 degrees. O^2-DNet can still achieve competitive results in these general natural object detection datasets.


title: Constructing infinitely many half-arc-transitive covers of tetravalent graphs

abstract: We prove that, given a finite graph $\Sigma$ satisfying some mild conditions, there exist infinitely many tetravalent half-arc-transitive normal covers of $\Sigma$. Applying this result, we establish the existence of infinite families of finite tetravalent half-arc-transitive graphs with certain vertex stabilizers, and classify the vertex stabilizers up to order $2^8$ of finite connected tetravalent half-arc-transitive graphs. This sheds some new light on the longstanding problem of classifying the vertex stabilizers of finite tetravalent half-arc-transitive graphs.


title: Phonon spectral density in a GaAs/AlGaAs double quantum dot

abstract: We study phonon emission in a GaAs/AlGaAs double quantum dot by monitoring the tunneling of a single electron between the two dots. We prepare the system such that a known amount of energy is emitted in the transition process. The energy is converted into lattice vibrations and the resulting tunneling rate depends strongly on the phonon scattering and its effective phonon spectral density. We are able to fit the measured transition rates and see imprints of interference of phonons with themselves causing oscillations in the transition rates.


title: Hamilton-Jacobi-Bellman Equations for Q-Learning in Continuous Time

abstract: In this paper, we introduce Hamilton-Jacobi-Bellman (HJB) equations for Q-functions in continuous time optimal control problems with Lipschitz continuous controls. The standard Q-function used in reinforcement learning is shown to be the unique viscosity solution of the HJB equation. A necessary and sufficient condition for optimality is provided using the viscosity solution framework. By using the HJB equation, we develop a Q-learning method for continuous-time dynamical systems. A DQN-like algorithm is also proposed for high-dimensional state and control spaces. The performance of the proposed Q-learning algorithm is demonstrated using 1-, 10- and 20-dimensional dynamical systems.


title: Bubble-assisted Liquid Hole Multipliers in LXe and LAr: towards "local dual-phase TPCs"

abstract: The bubble-assisted Liquid Hole Multiplier (LHM) is a novel concept for the combined detection of ionization electrons and scintillation photons in noble-liquid time projection chambers. It consists of a perforated electrode immersed in the noble liquid, with heating wires generating a stable bubble underneath. Radiation-inducted ionization electrons in the liquid drift into the electrode's holes and cross the liquid-vapor interface into the bubble where they induce electroluminescence (EL). The top surface of the electrode is optionally coated with a CsI photocathode; radiation-induced UV-scintillation photons extract photoelectrons that induce EL in a similar way. EL-photons recorded with an array of photosensors, e.g. SiPMs, provide event localization. We present the basic principles of the LHM and summarize the results obtained in LXe and LAr.


title: Metastability for the dilute Curie-Weiss model with Glauber dynamics

abstract: We analyse the metastable behaviour of the dilute Curie-Weiss model subject to a Glauber dynamics. The model is a random version of a mean-field Ising model, where the coupling coefficients are Bernoulli random variables with mean $p\in (0,1)$. This model can be also viewed as an Ising model on the Erd\H{o}s-R\'enyi random graph with edge probability $p$. The system is a Markov chain where spins flip according to a Metropolis dynamics at inverse temperature $\beta$. We compute the average time the system takes to reach the stable phase when it starts from a certain probability distribution on the metastable state (called the last-exit biased distribution), in the regime where $N\to\infty$, $\beta>\beta_c=1$ and $h$ is positive and small enough. We obtain asymptotic bounds on the probability of the event that the mean metastable hitting time is approximated by that of the Curie-Weiss model. The proof uses the potential theoretic approach to metastability and concentration of measure inequalities.


title: Multipliers and Duality for Group Actions

abstract: We define operator-valued Schur and Herz--Schur multipliers in terms of module actions, and show that the standard properties of these multipliers follow from well-known facts about these module actions and duality theory for group actions. These results are applied to study the Herz--Schur multipliers of an abelian group acting on its Pontryagin dual: it is shown that a natural subset of these Herz--Schur multipliers can be identified with the classical Herz--Schur multipliers of the direct product of the group with its dual group.


title: Fair Sampling by Simulated Annealing on Quantum Annealer

abstract: Conventional quantum annealing does not sample all ground states fairly. We demonstrate that fair sampling can be achieved by performing simulated annealing on a quantum annealer. We discuss the problems that occur when implementing this method and propose an alternative way to overcome them. We numerically verify the fair sampling ability of our method in a small-scale toy model.


title: The Usual Suspects? Reassessing Blame for VAE Posterior Collapse

abstract: In narrow asymptotic settings Gaussian VAE models of continuous data have been shown to possess global optima aligned with ground-truth distributions. Even so, it is well known that poor solutions whereby the latent posterior collapses to an uninformative prior are sometimes obtained in practice. However, contrary to conventional wisdom that largely assigns blame for this phenomena on the undue influence of KL-divergence regularization, we will argue that posterior collapse is, at least in part, a direct consequence of bad local minima inherent to the loss surface of deep autoencoder networks. In particular, we prove that even small nonlinear perturbations of affine VAE decoder models can produce such minima, and in deeper models, analogous minima can force the VAE to behave like an aggressive truncation operator, provably discarding information along all latent dimensions in certain circumstances. Regardless, the underlying message here is not meant to undercut valuable existing explanations of posterior collapse, but rather, to refine the discussion and elucidate alternative risk factors that may have been previously underappreciated.


title: Variational Recurrent Models for Solving Partially Observable Control Tasks

abstract: In partially observable (PO) environments, deep reinforcement learning (RL) agents often suffer from unsatisfactory performance, since two problems need to be tackled together: how to extract information from the raw observations to solve the task, and how to improve the policy. In this study, we propose an RL algorithm for solving PO tasks. Our method comprises two parts: a variational recurrent model (VRM) for modeling the environment, and an RL controller that has access to both the environment and the VRM. The proposed algorithm was tested in two types of PO robotic control tasks, those in which either coordinates or velocities were not observable and those that require long-term memorization. Our experiments show that the proposed algorithm achieved better data efficiency and/or learned more optimal policy than other alternative approaches in tasks in which unobserved states cannot be inferred from raw observations in a simple manner.


title: Answering (Unions of) Conjunctive Queries using Random Access and Random-Order Enumeration

abstract: As data analytics becomes more crucial to digital systems, so grows the importance of characterizing the database queries that admit a more efficient evaluation. We consider the tractability yardstick of answer enumeration with a polylogarithmic delay after a linear-time preprocessing phase. Such an evaluation is obtained by constructing, in the preprocessing phase, a data structure that supports polylogarithmic-delay enumeration. In this paper, we seek a structure that supports the more demanding task of a "random permutation": polylogarithmic-delay enumeration in truly random order. Enumeration of this kind is required if downstream applications assume that the intermediate results are representative of the whole result set in a statistically valuable manner. An even more demanding task is that of a "random access": polylogarithmic-time retrieval of an answer whose position is given. We establish that the free-connex acyclic CQs are tractable in all three senses: enumeration, random-order enumeration, and random access; and in the absence of self-joins, it follows from past results that every other CQ is intractable by each of the three (under some fine-grained complexity assumptions). However, the three yardsticks are separated in the case of a union of CQs (UCQ): while a union of free-connex acyclic CQs has a tractable enumeration, it may (provably) admit no random access. For such UCQs we devise a random-order enumeration whose delay is logarithmic in expectation. We also identify a subclass of UCQs for which we can provide random access with polylogarithmic access time. Finally, we present an implementation and an empirical study that show a considerable practical superiority of our random-order enumeration approach over state-of-the-art alternatives.


title: Twisted forms of differential Lie algebras over $\mathbb{C}(t)$ associated with complex simple Lie algebras

abstract: Discussed here is descent theory in the differential context where everything is equipped with a differential operator. To answer a question personally posed by A. Pianzola, we determine all twisted forms of the differential Lie algebras over $\mathbb{C}(t)$ associated with complex simple Lie algebras. Hopf-Galois Theory, a ring-theoretic counterpart of theory of torsors for group schemes, plays a role when we grasp the above-mentioned twisted forms from torsors.


title: Chemical evolution of cold dark clouds in the vicinity of supernova remnants

abstract: The supernova explosion increases cosmic ray and x-ray fluxes in the surrounding interstellar medium. Cosmic ray particles and x-ray radiation penetrate nearby molecular clouds and affect the chemical and thermal evolution of the gas. Here we study chemical changes in the dense molecular gas influenced by a sudden increase of the ionization rate that may be caused by the supernova explosion. At the cloud core density $2 \times 10^4$ cm$^{-3}$, the H atom abundance reaches the equilibrium value at about $3 \times 10^4$ yr after the change in irradiation conditions. The response time of abundances of icy mantle species is $10^4-10^5$ yr. The abundances of neutral and grain mantle species may not reach their equilibrium values in molecular clouds in the vicinity of 'middle-aged' supernova remnants.