title: A Closer Look at Small-loss Bounds for Bandits with Graph Feedback

abstract: We study small-loss bounds for adversarial multi-armed bandits with graph feedback, that is, adaptive regret bounds that depend on the loss of the best arm or related quantities, instead of the total number of rounds. We derive the first small-loss bound for general strongly observable graphs, resolving an open problem of Lykouris et al. (2018). Specifically, we develop an algorithm with regret $\mathcal{\tilde{O}}(\sqrt{\kappa L_*})$ where $\kappa$ is the clique partition number and $L_*$ is the loss of the best arm, and for the special case of self-aware graphs where every arm has a self-loop, we improve the regret to $\mathcal{\tilde{O}}(\min\{\sqrt{\alpha T}, \sqrt{\kappa L_*}\})$ where $\alpha \leq \kappa$ is the independence number. Our results significantly improve and extend those by Lykouris et al. (2018) who only consider self-aware undirected graphs. Furthermore, we also take the first attempt at deriving small-loss bounds for weakly observable graphs. We first prove that no typical small-loss bounds are achievable in this case, and then propose algorithms with alternative small-loss bounds in terms of the loss of some specific subset of arms. A surprising side result is that $\mathcal{\tilde{O}}(\sqrt{T})$ regret is achievable even for weakly observable graphs as long as the best arm has a self-loop. Our algorithms are based on the Online Mirror Descent framework but require a suite of novel techniques that might be of independent interest. Moreover, all our algorithms can be made parameter-free without the knowledge of the environment.


title: On discrete surfaces: Enumerative geometry, matrix models and universality classes via topological recursion

abstract: The main objects under consideration in this thesis are called maps, a certain class of graphs embedded on surfaces. Our problems have a powerful relatively recent tool in common, the so-called topological recursion (TR) introduced by Chekhov, Eynard and Orantin. We call a map fully simple if it has non self-intersecting disjoint boundaries, and ordinary if such a restriction is not imposed. We study the combinatorial relation between fully simple and ordinary maps with the topology of a disk or a cylinder, which reproduces relations between moments and free cumulants established in the context of free probability. We propose a combinatorial interpretation of the exchange symplectic transformation of TR. We provide a matrix model interpretation for fully simple maps via the formal hermitian matrix model with external field and deduce a universal relation between generating series of fully simple and ordinary maps, which involves double monotone Hurwitz numbers. In particular, we obtain an ELSV-like formula for double $2$-orbifold strictly monotone Hurwitz numbers. We consider ordinary maps endowed with an $O(\mathsf{n})$ loop model, which is a classical model in statistical physics, and determine which shapes are more likely to occur by looking at the nesting properties of the loops decorating the maps. We want to study the limiting objects when the number of vertices becomes arbitrarily large, which can be done by studying the generating series at dominant singularities. We analyze the nesting statistics in the $O(\mathsf{n})$ loop model on random maps of arbitrary topologies in the presence of large and small boundaries, relying on previous results for disks and cylinders and TR for this model. We study the generating series of maps which realize a fixed nesting graph and characterize their critical behavior in the dense and dilute phases.


title: Explaining Relationships Between Scientific Documents

abstract: We address the task of explaining relationships between two scientific documents using natural language text. This task requires modeling the complex content of long technical documents, deducing a relationship between these documents, and expressing the details of that relationship in text. In addition to the theoretical interest of this task, successful solutions can help improve researcher efficiency in search and review. In this paper we establish a dataset of 622K examples from 154K documents. We pretrain a large language model to serve as the foundation for autoregressive approaches to the task. We explore the impact of taking different views on the two documents, including the use of dense representations extracted with scientific IE systems. We provide extensive automatic and human evaluations which show the promise of such models, but make clear challenges for future work.


title: Global Lorentz estimates for non-uniformly nonlinear elliptic equations via fractional maximal operators

abstract: This paper is a contribution to the study of regularity theory for nonlinear elliptic equations. The aim of this paper is to establish some global estimates for non-uniformly elliptic in divergence form as follows \begin{align*} -\mathrm{div}(|\nabla u|^{p-2}\nabla u + a(x)|\nabla u|^{q-2}\nabla u) = - \mathrm{div}(|\mathbf{F}|^{p-2}\mathbf{F} + a(x)|\mathbf{F}|^{q-2}\mathbf{F}), \end{align*} that arises from double phase functional problems. In particular, the main results provide the regularity estimates for the distributional solutions in terms of maximal and fractional maximal operators. This work extends that of \cite{CoMin2016,Byun2017Cava} by dealing with the global estimates in Lorentz spaces. This work also extends our recent result in \cite{PNJDE}, which is devoted to the new estimates of divergence elliptic equations using cut-off fractional maximal operators. For future research, the approach developed in this paper allows to attain global estimates of distributional solutions to non-uniformly nonlinear elliptic equations in the framework of other spaces.


title: Single Channel Speech Enhancement Using Temporal Convolutional Recurrent Neural Networks

abstract: In recent decades, neural network based methods have significantly improved the performace of speech enhancement. Most of them estimate time-frequency (T-F) representation of target speech directly or indirectly, then resynthesize waveform using the estimated T-F representation. In this work, we proposed the temporal convolutional recurrent network (TCRN), an end-to-end model that directly map noisy waveform to clean waveform. The TCRN, which is combined convolution and recurrent neural network, is able to efficiently and effectively leverage short-term ang long-term information. Futuremore, we present the architecture that repeatedly downsample and upsample speech during forward propagation. We show that our model is able to improve the performance of model, compared with existing convolutional recurrent networks. Futuremore, We present several key techniques to stabilize the training process. The experimental results show that our model consistently outperforms existing speech enhancement approaches, in terms of speech intelligibility and quality.


title: Distinct Topological Surface States on the Two Terminations of MnBi$_4$Te$_7$

abstract: The recent discovered intrinsic magnetic topological insulator MnBi2Te4 have been met with unusual success in hosting emergent phenomena such as the quantum anomalous Hall effect and the axion insulator states. However, the surface-bulk correspondence of the Mn-Bi-Te family, composed by the superlattice-like MnBi2Te4/(Bi2Te3)n (n = 0, 1, 2, 3 ...) layered structure, remains intriguing but elusive. Here, by using scanning tunneling microscopy (STM) and angle-resolved photoemission spectroscopy (ARPES) techniques, we unambiguously assign the two distinct surface states of MnBi4Te7 (n = 1) to the quintuple-layer (QL) Bi2Te3 termination and the septuple-layer (SL) MnBi2Te4 termination, respectively. A comparison of the experimental observations with theoretical calculations reveals the diverging topological behaviors, especially the hybridization effect between magnetic and nonmagnetic layers, on the two terminations: a gap on the QL termination originating from the topological surface states of the QL hybridizing with the bands of the beneath SL, and a gapless Dirac-cone band structure on the SL termination with time-reversal symmetry. The quasi-particle interference patterns further confirm the topological nature of the surface states for both terminations, continuing far above the Fermi energy. The QL termination carries a spin-helical Dirac state with hexagonal warping, while at the SL termination, a strongly canted helical state from the surface lies between a pair of Rashba-split states from its neighboring layer. Our work elucidates an unprecedented hybridization effect between the building blocks of the topological surface states, and also reveals the termination-dependent time-reversal symmetry breaking in a magnetic topological insulator, rendering an ideal platform to realize the half-integer quantum Hall effect and relevant quantum phenomena.


title: Non-uniform dependence for the Novikov equation in Besov spaces

abstract: In this paper, we investigate the dependence on initial data of solutions to the Novikov equation. We show that the solution map is not uniformly continuous dependence on the initial data in Besov spaces $B^s_{p,r}(\R),\ s>\max\{1+\frac 1p,\frac32\}$.


title: Excited State Mean-Field Theory without Automatic Differentiation

abstract: We present a formulation of excited state mean-field theory in which the derivatives with respect to the wave function parameters needed for wave function optimization (not to be confused with nuclear derivatives) are expressed analytically in terms of a collection of Fock-like matrices. By avoiding the use of automatic differentiation and grouping Fock builds together, we find that the number of times we must access the memory-intensive two-electron integrals can be greatly reduced. Furthermore, the new formulation allows the theory to exploit existing strategies for efficient Fock matrix construction. We demonstrate this advantage explicitly via the shell-pair screening strategy, with which we achieve a cubic overall cost scaling. Using this more efficient implementation, we also examine the theory's ability to predict charge redistribution during charge transfer excitations. Using coupled cluster as a benchmark, we find that by capturing orbital relaxation effects and avoiding self-interaction errors, excited state mean field theory out-performs other low-cost methods when predicting the charge density changes of charge transfer excitations.


title: Coupled Three-Mode Squeezed Vacuum

abstract: Multipartite entanglement is a key resource for various quantum information tasks. Here, we present a scheme for generating genuine tripartite entanglement via nonlinear optical processes. We derive, in the Fock basis, the corresponding output state which we termed the coupled three-mode squeezed vacuum. We find unintuitive behaviors arise in intensity squeezing between two of the three output modes due to the coupling present. We also show that this state can be genuinely tripartite entangled.


title: Fourier coefficients of the overconvergent generalized eigenform associated to a CM form

abstract: Let f be a modular form with complex multiplication. If f has critical slope, then Coleman's classicality theorem implies that there is a p-adic overconvergent generalized Hecke eigenform with the same Hecke eigenvalues as f. We give a formula for the Fourier coefficiets of this generalized Hecke eigenform. We also investigate the dimension of the generalized Hecke eigenspace of p-adic overconvergent forms containing f.


abstract: We prove that families of polar codes with multiple kernels over certain symmetric channels can be viewed as polar decreasing monomial-Cartesian codes, offering a unified treatment for such codes, over any finite field. We define decreasing monomial-Cartesian codes as the evaluation of a set of monomials closed under divisibility over a Cartesian product. Polar decreasing monomial-Cartesian codes are decreasing monomial-Cartesian codes whose sets of monomials are closed respect a partial order inspired by the recent work of Bardet, Dragoi, Otmani, and Tillich ["Algebraic properties of polar codes from a new polynomial formalism," 2016 IEEE International Symposium on Information Theory (ISIT)]. Extending the main theorem of Mori and Tanaka ["Source and Channel Polarization Over Finite Fields and Reed-Solomon Matrices," in IEEE Transactions on Information Theory, vol. 60, no. 5, pp. 2720--2736, May 2014], we prove that any sequence of invertible matrices over an arbitrary field satisfying certain conditions polarizes any symmetric over the field channel. In addition, we prove that the dual of a decreasing monomial-Cartesian code is monomially equivalent to a decreasing monomial-Cartesian code. Defining the minimal generating set for a set of monomials, we use it to describe the length, dimension and minimum distance of a decreasing monomial-Cartesian code.


title: The Discrete Adjoint Method: Efficient Derivatives for Functions of Discrete Sequences

abstract: Gradient-based techniques are becoming increasingly critical in quantitative fields, notably in statistics and computer science. The utility of these techniques, however, ultimately depends on how efficiently we can evaluate the derivatives of the complex mathematical functions that arise in applications. In this paper we introduce a discrete adjoint method that efficiently evaluates derivatives for functions of discrete sequences.


title: Coupling of shape and pairing vibrations in a collective Hamiltonian based on nuclear energy density functionals

abstract: The quadrupole collective Hamiltonian, based on relativistic energy density functionals, is extended to include a pairing collective coordinate. In addition to quadrupole shape vibrations and rotations, the model describes pairing vibrations and the coupling between shape and pairing degrees of freedom. The parameters of the collective Hamiltonian are determined by constrained self-consistent relativistic mean-field plus Bardeen-Cooper-Schrieffer (RMF+BCS) calculations in the space of intrinsic shape and pairing deformations. The effect of coupling between shape and pairing degrees of freedom is analyzed in a study of low-energy spectra and transition rates of four axially symmetric $N=92$ rare-earth isotones. When compared to results obtained with the standard quadrupole collective Hamiltonian, the inclusion of dynamical pairing increases the moment of inertia, lowers the energies of excited $0^+$ states and reduces the E0-transition strengths, in better agreement with data.


title: Fast 3D Indoor Scene Synthesis with Discrete and Exact Layout Pattern Extraction

abstract: We present a fast framework for indoor scene synthesis, given a room geometry and a list of objects with learnt priors. Unlike existing data-driven solutions, which often extract priors by co-occurrence analysis and statistical model fitting, our method measures the strengths of spatial relations by tests for complete spatial randomness (CSR), and extracts complex priors based on samples with the ability to accurately represent discrete layout patterns. With the extracted priors, our method achieves both acceleration and plausibility by partitioning input objects into disjoint groups, followed by layout optimization based on the Hausdorff metric. Extensive experiments show that our framework is capable of measuring more reasonable relations among objects and simultaneously generating varied arrangements in seconds.


title: The EM Algorithm gives Sample-Optimality for Learning Mixtures of Well-Separated Gaussians

abstract: We consider the problem of spherical Gaussian Mixture models with $k \geq 3$ components when the components are well separated. A fundamental previous result established that separation of $\Omega(\sqrt{\log k})$ is necessary and sufficient for identifiability of the parameters with polynomial sample complexity (Regev and Vijayaraghavan, 2017). In the same context, we show that $\tilde{O} (kd/\epsilon^2)$ samples suffice for any $\epsilon \lesssim 1/k$, closing the gap from polynomial to linear, and thus giving the first optimal sample upper bound for the parameter estimation of well-separated Gaussian mixtures. We accomplish this by proving a new result for the Expectation-Maximization (EM) algorithm: we show that EM converges locally, under separation $\Omega(\sqrt{\log k})$. The previous best-known guarantee required $\Omega(\sqrt{k})$ separation (Yan, et al., 2017). Unlike prior work, our results do not assume or use prior knowledge of the (potentially different) mixing weights or variances of the Gaussian components. Furthermore, our results show that the finite-sample error of EM does not depend on non-universal quantities such as pairwise distances between means of Gaussian components.


title: On Shamsuddin derivations and the isotropy groups

abstract: In the paper, we give an affirmative answer to the conjecture in \cite{13}. We prove that a Shamsuddin derivation $D$ is simple if and only if $\operatorname{Aut}(K[x,y_1,\allowbreak\ldots,y_n])_D=\{id\}$. In addition, we calculate the isotropy groups of the Shamsuddin derivations $d=\partial_x+\sum_{j=1}^r(a(x)y_j+b_j(x))\partial_j$ of $K[x,y_1,\ldots,y_r]$. We also prove that $d$ is a Mathieu-Zhao subspace if and only if $a(x)\in K$.


title: Reflection Resource Management for Intelligent Reflecting Surface Aided Wireless Networks

abstract: In this paper, the adoption of an intelligent reflecting surface (IRS) for multiple single-antenna source terminal (ST)-DT pairs in two-hop networks is investigated. Different from the previous studies on IRS that merely focused on tuning the reflection coefficient of all the reflection elements at IRS, in this paper, we consider the true reflection resource management. Specifically, the true reflection resource management can be realized via trigger module selection based on our proposed IRS architecture that all the reflection elements are partially controlled by multiple parallel switches of controller. As the number of reflection elements increases, the true reflection resource management will become urgently needed in this context, which is due to the non-ignorable energy consumption. Moreover, the proposed modular architecture of IRS is designed to make the reflection elements part independent and controllable. As such, our goal is to maximize the minimum signal-to-interference-plus-noise ratio (SINR) at DTs via a joint trigger module subset selection, transmit power allocation of STs, and the corresponding passive beamforming of the trigger modules, subject to per ST power budgets and module size constraint. Whereas this problem is NP-hard due to the module size constraint, to deal with it, we transform the hard module size constraint into the group sparse constraint by introducing the mixed row block norm, which yields a suitable semidefinite relaxation. Additionally, the parallel alternating direction method of multipliers (PADMM) is proposed to identify the trigger module subset, and then subsequently the transmit power allocation and passive beamforming can be obtained by solving the original minimum SINR maximization problem without the group sparse constraint via partial linearization for generalized fractional programs.

categories: cs.IT cs.NI cs.PF eess.SP math.IT math.OC


title: Positivity preservers forbidden to operate on diagonal blocks

abstract: The question of which functions acting entrywise preserve positive semidefiniteness has a long history, beginning with the Schur product theorem [Crelle 1911], which implies that absolutely monotonic functions (i.e., power series with nonnegative coefficients) preserve positivity on matrices of all dimensions. A famous result of Schoenberg and of Rudin [Duke Math. J. 1942, 1959] shows the converse: there are no other such functions. Motivated by modern applications, Guillot and Rajaratnam [Trans. Amer. Math. Soc. 2015] classified the entrywise positivity preservers in all dimensions, which act only on the off-diagonal entries. These two results are at "opposite ends", and in both cases the preservers have to be absolutely monotonic. We complete the classification of positivity preservers that act entrywise except on specified "diagonal/principal blocks", in every case other than the two above. (In fact we achieve this in a more general framework.) This yields the first examples of dimension-free entrywise positivity preservers - with certain forbidden principal blocks - that are not absolutely monotonic.


title: Moduli spaces of Ricci positive metrics in dimension five

abstract: We use the $\eta$ invariants of spin$^c$ Dirac operators to distinguish connected components of moduli spaces of Riemannian metrics with positive Ricci curvature. We then find infinitely many non-diffeomorphic five dimensional manifolds for which these moduli spaces each have infinitely many components. The manifolds are total spaces of principal $S^1$ bundles over $\#^a\mathbb{C}P^2\#^b\overline{\mathbb{C}P^2}$ and the metrics are lifted from Ricci positive metrics on the bases. Along the way we classify 5-manifolds with fundamental group $\mathbb{Z}_2$ admitting free $S^1$ actions with simply connected quotients.


title: On a theorem of Pelc and Prikry on the nonexistence of invariant extensions of Borel measures

abstract: There are certain countably generated sigma-algebras of sets in the real line which do not admit any non-zero, sigma-finite, diffused (or, continuous) measure. Such countably generated sigma-algebras can be obtained by the use of some special types of infinite matrix known as the Banach-Kuratowski matrix and the same may be used in deriving a generalized version of Pelc and Prikry's theorem as shown by Kharazishvili. In this paper, using some methods of combinatorial set theory and some modified version of the notion of small sets originally introduced by Riecan, Riecan and Neubrunn, we give an abstract and generalized formulation of Pelc and Prikry's theorem in spaces with transformation groups.


title: Fast Radio Bursts from Interacting Binary Neutron Star Systems

abstract: Recent observations of repeating fast radio bursts (FRBs) suggest that some FRBs reside in an environment consistent with that of binary neutron star (BNS) mergers. The bursting rate for repeaters could be very high and the emission site is likely from a magnetosphere. We discuss a hypothesis of producing abundant repeating FRBs in BNS systems. Decades to centuries before a BNS system coalesces, the magnetospheres of the two neutron stars start to interact relentlessly. Abrupt magnetic reconnection accelerates particles, which emit coherent radio waves in bunches via curvature radiation. FRBs are detected as these bright radiation beams point towards Earth. This model predicts quasi-periodicity of the bursts at the rotation periods of the two merging neutron stars (tens of milliseconds and seconds, respectively) as well as the period of orbital motion (of the order of 100 s). The bursting activities are expected to elevate with time as the two neutron stars get closer. The repeating FRB sources should be gravitational wave (GW) sources for space-borne detectors such as LISA if the sources are close enough, and will be eventually detected by ground-based detectors when the two neutron stars coalesce.


title: 3D Object Detection on Point Clouds using Local Ground-aware and Adaptive Representation of scenes' surface

abstract: A novel, adaptive ground-aware, and cost-effective 3D Object Detection pipeline is proposed. The ground surface representation introduced in this paper, in comparison to its uni-planar counterparts (methods that model the surface of a whole 3D scene using single plane), is far more accurate while being ~10x faster. The novelty of the ground representation lies both in the way in which the ground surface of the scene is represented in Lidar perception problems, as well as in the (cost-efficient) way in which it is computed. Furthermore, the proposed object detection pipeline builds on the traditional two-stage object detection models by incorporating the ability to dynamically reason the surface of the scene, ultimately achieving a new state-of-the-art 3D object detection performance among the two-stage Lidar Object Detection pipelines.


title: V 3$d$ charge and orbital states in V$_2$OPO$_4$ probed by x-ray absorption spectroscopy

abstract: V 3$d$ charge and orbital states in V$_2$OPO$_4$ have been investigated by means of x-ray absorption spectroscopy (XAS). The electronic structure of V$_2$OPO$_4$ is very unique in that the charge transfer between V$^{2+}$ and V$^{3+}$ in face sharing VO$_6$ chains provides negative thermal expansion as reported by Pachoud {\it et al.} [J. Am. Chem. Soc. {\bf 140}, 636 (2018).] The near edge region of O 1$s$ XAS exhibits the three features which can be assigned to transitions to O 2$p$ mixed into the unoccupied V 3$d$ $t_{2g}$ and $e_{g}$ orbitals of V$^{2+}$ and V$^{3+}$. The V 2$p$ XAS line shape can be reproduced by multiplet calculations for a mixed valence state with V$^{2+}$ and V$^{3+}$. The polarization dependence of the O 1$s$ and V 2$p$ XAS spectra indicates V 3$d$ orbital order in which $xy$ and $yz$ (or $zx$) orbitals are occupied at the V$^{3+}$ site in the face sharing chains. The occupied $xy$ orbital is essential for the antiferromagnetic coupling between the V$^{2+}$ and V$^{3+}$ sites along the chains while the occupied $yz$ (or $zx$) orbital provides the antiferromagnetic coupling between the V$^{2+}$ and V$^{3+}$ sites between the chains.


title: Waveform Optimization for MIMO Joint Communication and Radio Sensing Systems with Training Overhead

abstract: In this paper, we study optimal waveform design to maximize mutual information (MI) for a joint communication and (radio) sensing (JCAS, a.k.a., radar-communication) multi-input multi-output (MIMO) downlink system. We consider a typical packet-based signal structure which includes training and data symbols. We first derive the conditional MI for both sensing and communication under correlated channels by considering the training overhead and channel estimation error (CEE). Then, we derive a lower bound for the channel estimation error and optimize the power allocation between the training and data symbols to minimize the CEE. Based on the optimal power allocation, we provide optimal waveform design methods for three scenarios, including maximizing MI for communication only and for sensing only, and maximizing a weighted sum MI for both communication and sensing. We also present extensive simulation results that provide insights on waveform design and validate the effectiveness of the proposed designs.


title: Developments in Modern GNSS and Its Impact on Autonomous Vehicle Architectures

abstract: This paper surveys a number of recent developments in modern Global Navigation Satellite Systems (GNSS) and investigates the possible impact on autonomous driving architectures. Modern GNSS now consist of four independent global satellite constellations delivering modernized signals at multiple civil frequencies. New ground monitoring infrastructure, mathematical models, and internet services correct for errors in the GNSS signals at continent scale. Mass-market automotive-grade receiver chipsets are available at low Cost, Size, Weight, and Power (CSWaP). The result is that GNSS in 2020 delivers better than lane-level accurate localization with 99.99999% integrity guarantees at over 95% availability. In autonomous driving, SAE Level 2 partially autonomous vehicles are now available to consumers, capable of autonomously following lanes and performing basic maneuvers under human supervision. Furthermore, the first pilot programs of SAE Level 4 driverless vehicles are being demonstrated on public roads. However, autonomous driving is not a solved problem. GNSS can help. Specifically, incorporating high-integrity GNSS lane determination into vision-based architectures can unlock lane-level maneuvers and provide oversight to guarantee safety. Incorporating precision GNSS into LiDAR-based systems can unlock robustness and additional fallbacks for safety and utility. Lastly, GNSS provides interoperability through consistent timing and reference frames for future V2X scenarios.


title: Reconfigurable Intelligent Surface Assisted MIMO Symbiotic Radio Networks

abstract: In this paper, a novel reconfigurable intelligent surface (RIS)-assisted multiple-input multiple-output (MIMO) symbiotic radio (SR) system is proposed, in which an RIS, operating as a secondary transmitter (STx), sends messages to a multi-antenna secondary receiver (SRx) by using cognitive backscattering communication, and simultaneously, it enhances the primary transmission from a multi-antenna primary transmitter (PTx) to a multi-antenna primary receiver (PRx) by intelligently reconfiguring the wireless environment. We are interested in the joint design of active transmit beamformer at the PTx and passive reflecting beamformer at the STx to minimize the total transmit power at the PTx, subject to the signal-to-noise-ratio (SNR) constraint for the secondary transmission and the rate constraint for the primary transmission. Due to the non-convexity of the formulated problem, we decouple the original problem into a series of subproblems using the alternating optimization method and then iteratively solve them. The convergence performance and computational complexity of the proposed algorithm are analyzed. Furthermore, we develop a low-complexity algorithm to design the reflecting beamformer by solving a backscatter link enhancement problem through the semi-definite relaxation (SDR) technique. Then, theoretical analysis is performed to reveal the insights of the proposed system. Finally, simulation results are presented to validate the effectiveness of the proposed algorithms and the superiority of the proposed system.


title: Nonreciprocal metamaterial obeying time-reversal symmetry

abstract: We introduce a class of non-Hermitian systems that break electromagnetic reciprocity while preserving time-reversal symmetry, and describe its novel polarization dynamics. We show that this class of systems can be realized using van der Waals heterostructures involving transition-metal dichalcogenides (TMDs). Our work provides a path towards achieving strong optical nonreciprocity and polarization-dependent directional amplification using compact, large-area and magnet-free structures.


title: Probability Theory in Statistical Physics, Percolation, and Other Random Topics: The Work of C. Newman

abstract: In the introduction to this volume, we discuss some of the highlights of the research career of Chuck Newman. This introduction is divided into two main sections, the first covering Chuck's work in statistical mechanics and the second his work in percolation theory, continuum scaling limits, and related topics.

categories: math.PR cond-mat.dis-nn cond-mat.stat-mech math-ph math.MP


title: SQWA: Stochastic Quantized Weight Averaging for Improving the Generalization Capability of Low-Precision Deep Neural Networks

abstract: Designing a deep neural network (DNN) with good generalization capability is a complex process especially when the weights are severely quantized. Model averaging is a promising approach for achieving the good generalization capability of DNNs, especially when the loss surface for training contains many sharp minima. We present a new quantized neural network optimization approach, stochastic quantized weight averaging (SQWA), to design low-precision DNNs with good generalization capability using model averaging. The proposed approach includes (1) floating-point model training, (2) direct quantization of weights, (3) capturing multiple low-precision models during retraining with cyclical learning rates, (4) averaging the captured models, and (5) re-quantizing the averaged model and fine-tuning it with low-learning rates. Additionally, we present a loss-visualization technique on the quantized weight domain to clearly elucidate the behavior of the proposed method. Visualization results indicate that a quantized DNN (QDNN) optimized with the proposed approach is located near the center of the flat minimum in the loss surface. With SQWA training, we achieved state-of-the-art results for 2-bit QDNNs on CIFAR-100 and ImageNet datasets. Although we only employed a uniform quantization scheme for the sake of implementation in VLSI or low-precision neural processing units, the performance achieved exceeded those of previous studies employing non-uniform quantization.


title: Dynamical simulation on production of ${\rm W}^{\pm}$ and ${\rm Z}^{0}$ bosons in p-p, p-Pb (Pb-p), and Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV with PACIAE

abstract: In this paper, production of ${\rm W}^{\pm}$ and ${\rm Z}^{0}$ vector bosons in p-p, p-Pb (Pb-p), and Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV is dynamically simulated with a parton and hadron cascade model PACIAE. ALICE data of ${\rm Z}^{0}$ production is found to be reproduced fairly well. A prediction for ${\rm W}^{\pm}$ production is given in the same collision systems, at the same energy and at the same energy. An interesting isospin-effect is observed in the sign-change of $\mu^{\pm}$ charge asymmetry in pp, pn, np, and nn collisions and in minimum bias p-Pb, Pb-p and Pb-Pb collisions at $\sqrt{s_{\rm NN}}=5.02$ TeV, respectively.


title: Lee-Wald Charge and Asymptotic Behaviors of the Weyl-invariant Topologically Massive Gravity

abstract: We apply the Lee-Wald covariant phase space method to the Weyl-invariant Topologically Massive Gravity and compute the corresponding on-shell conserved charges. By using appropriate decay conditions for the existing propagating modes in the near-horizon of a stationary black hole, we obtain the charges generating the asymptotic symmetries. We show that the charges are integrable and the (modified) algebras among the asymptotic generators are closed for the certain choice of central extensions.


title: Bi-additive s-functional inequalities and biderivations in modular spaces

abstract: In this article, by using the fixed point method, we prove the generalized Hyers--Ulam stability of biderivations from an algebra to a modular space, associated to bi-additive s-functional inequalities.


title: Limit theorems for loop soup random variables

abstract: This article deals with limit theorems for certain loop variables for loop soups whose intensity approaches infinity. We first consider random walk loop soups on finite graphs and obtain a central limit theorem when the loop variable is the sum over all loops of the integral of each loop against a given one-form on the graph. An extension of this result to the noncommutative case of loop holonomies is also discussed. As an application of the first result, we derive a central limit theorem for windings of loops around the faces of a planar graphs. More precisely, we show that the winding field generated by a random walk loop soup, when appropriately normalized, has a Gaussian limit as the loop soup intensity tends to $\infty$, and we give an explicit formula for the covariance kernel of the limiting field. We also derive a Spitzer-type law for windings of the Brownian loop soup, i.e., we show that the total winding around a point of all loops of diameter larger than $\delta$, when multiplied by $1/\log\delta$, converges in distribution to a Cauchy random variable as $\delta \to 0$.


title: The Alcock Paczynski test with 21cm intensity field

abstract: Feasibility of the Alcock Paczynski (AP) test by stacking voids in the 21cm line intensity field is presented. We analyze the Illstris-TNG simulation to obtain the 21cm signal map. We then randomly distribute particles depending on the 21cm intensity field to find voids by using publicly available code, VIDE. As in the galaxy clustering, the shape of the stacked void in the 21cm field is squashed along the line of sight due to the peculiar velocities in redshift-space, although it becomes spherical in real-space. The redshift-space distortion for the stacked void weakly depends on redshift and we show that the dependency can be well described by the linear prediction, with the amplitude of the offset being free parameters. We find that the AP test using the stacked voids in a 21cm intensity map is feasible and the parameter estimation on $\Omega_{\rm m}$ and $w$ is unbiased.


title: Adversarial Generation of Continuous Implicit Shape Representations

abstract: This work presents a generative adversarial architecture for generating three-dimensional shapes based on signed distance representations. While the deep generation of shapes has been mostly tackled by voxel and surface point cloud approaches, our generator learns to approximate the signed distance for any point in space given prior latent information. Although structurally similar to generative point cloud approaches, this formulation can be evaluated with arbitrary point density during inference, leading to fine-grained details in generated outputs. Furthermore, we study the effects of using either progressively growing voxel- or point-processing networks as discriminators, and propose a refinement scheme to strengthen the generator's capabilities in modeling the zero iso-surface decision boundary of shapes. We train our approach on the ShapeNet benchmark dataset and validate, both quantitatively and qualitatively, its performance in generating realistic 3D shapes.


title: On Sj\"{o}lin-Soria-Antonov type extrapolation for locally compact groups

abstract: Sj\"{o}lin-Soria-Antonov type extrapolation theorem for locally compact $\sigma$-compact non-discrete groups is proved. As an application of this result it is shown that the Fourier series with respect to the Vilenkin orthonormal systems on the Vilenkin groups of bounded type converge almost everywhere for functions from the class $L\log^{+}L\log^{+}\log^{+}\log^{+}L$.


title: Bayesian Reliability Analysis of the Power Law Process with Respect to the Higgins-Tsokos Loss Function for Modeling Software Failure Times

abstract: The Power Law Process, also known as Non-Homogeneous Poisson Process, has been used in various aspects, one of which is the software reliability assessment. Specifically, by using its intensity function to compute the rate of change of a software reliability as time-varying function. Justification of Bayesian analysis applicability to the Power Law Process was shown using real data. The probability distribution that best characterizes the behavior of the key parameter of the intensity function was first identified, then the likelihood-based Bayesian reliability estimate of the Power Law Process under the Higgins-Tsokos loss function was obtained. As a result of a simulation study and using real data, the Bayesian estimate shows an outstanding performance compared to the maximum likelihood estimate using different sample sizes. In addition, a sensitivity analysis was performed, resulting in the Bayesian estimate being sensitive to the prior selection; whether parametric or non-parametric.


title: Solving Billion-Scale Knapsack Problems

abstract: Knapsack problems (KPs) are common in industry, but solving KPs is known to be NP-hard and has been tractable only at a relatively small scale. This paper examines KPs in a slightly generalized form and shows that they can be solved nearly optimally at scale via distributed algorithms. The proposed approach can be implemented fairly easily with off-the-shelf distributed computing frameworks (e.g. MPI, Hadoop, Spark). As an example, our implementation leads to one of the most efficient KP solvers known to date -- capable to solve KPs at an unprecedented scale (e.g., KPs with 1 billion decision variables and 1 billion constraints can be solved within 1 hour). The system has been deployed to production and called on a daily basis, yielding significant business impacts at Ant Financial.


title: Exact minimum codegree thresholds for $K_4^-$-covering and $K_5^-$-covering

abstract: Given two $3$-graphs $F$ and $H$, an $F$-covering of $H$ is a collection of copies of $F$ in $H$ such that each vertex of $H$ is contained in at least one copy of them. Let {$c_2(n,F)$} be the maximum integer $t$ such that every 3-graph with minimum codegree greater than $t$ has an $F$-covering. In this note, we answer an open problem of Falgas-Ravry and Zhao (SIAM J. Discrete Math., 2016) by determining the exact value of {$c_2(n, K_4^-)$} and {$c_2(n, K_5^-)$}, where $K_t^-$ is the complete $3$-graph on $t$ vertices with one edge removed.


title: A geometric analysis of the SIR, SIRS and SIRWS epidemiological models

abstract: We study fast-slow versions of the SIR, SIRS, and SIRWS epidemiological models. The multiple time scale behavior is introduced to account for large differences between some of the rates of the epidemiological pathways. Our main purpose is to show that the fast-slow models, even though in nonstandard form, can be studied by means of Geometric Singular Perturbation Theory (GSPT). In particular, without using Lyapunov's method, we are able to not only analyze the stability of the endemic equilibria but also to show that in some of the models limit cycles arise. We show that the proposed approach is particularly useful in more complicated (higher dimensional) models such as the SIRWS model, for which we provide a detailed description of its dynamics by combining analytic and numerical techniques.


title: $f$-vectors of $3$-polytopes symmetric under rotations and rotary reflections

abstract: The $f$-vector of a polytope consists of the numbers of its $i$-dimensional faces. An open field of study is the characterization of all possible $f$-vectors. It has been solved in three dimensions by Steinitz in the early 19th century. We state a related question, i.e. to characterize $f$-vectors of three dimensional polytopes respecting a symmetry, given by a finite group of matrices. We give a full answer for all three dimensional polytopes that are symmetric with respect to a finite rotation or rotary reflection group. We solve these cases constructively by developing tools that generalize Steinitz's approach.


title: Broadband Magnetoresistance in Ferromagnetic and Paramagnetic Samples of La0.7Ca0.3-xSrxMnO3

abstract: We have studied the room-temperature magnetoimpedance of paramagnetic (x = 0.06) and ferromagnetic (x = 0.1) samples in La0.7Ca0.3-xSrxMnO3 series using a radio-frequency impedance analyzer and also microwave power absorption using a network analyzer. In both measurements, samples were enclosed tightly inside a copper stripcoil and impedance or reflection coefficient of this copper stripcoil was measured as a function of the applied magnetic field for different frequencies of current (f = 0.1 to 2.5 GHz). The direction of the applied magnetic field was perpendicular to the alternating magnetic field produced by the coil. In the ferromagnetic sample (x = 0.1), magnetoresistance shows a peak around zero field for lower frequencies but a peak appears at H away from the origin at higher frequencies. The position of the peak shifts towards higher fields with increasing frequency. A similar trend is also found for the paramagnetic sample (x = 0.06) but the peak occurs at a higher field compared to the ferromagnetic sample for the same frequency. Microwave power absorption also shows features similar to magnetoresistance. Line shape analysis of the data was performed by fitting the data to a Lorentzian function. It is concluded that the observed features are imprints of ferromagnetic resonance in x = 0.1 and paramagnetic resonance in x = 0.06 samples.


title: Hierarchical Aitchison-Silvey models for incomplete binary sample spaces

abstract: Multivariate sample spaces may be incomplete Cartesian products, when certain combinations of the categories of the variables are not possible. Traditional log-linear models, which generalize independence and conditional independence, do not apply in such cases, as they may associate positive probabilities with the non-existing cells. To describe the association structure in incomplete sample spaces, this paper develops a class of hierarchical multiplicative models which are defined by setting certain non-homogeneous generalized odds ratios equal to one and are named after Aitchison and Silvey who were among the first to consider such ratios. These models are curved exponential families that do not contain an overall effect and, from an algebraic perspective, are non-homogeneous toric ideals. The relationship of this model class with log-linear models and quasi log-linear models is studied in detail in terms of both statistics and algebraic geometry. The existence of maximum likelihood estimates and their properties, as well as the relevant algorithms are also discussed.


title: On the Moduli space of $\lambda$-connections

abstract: Let $X$ be a compact Riemann surface of genus $g \geq 3$. Let $\cat{M}_{Hod}$ denote the moduli space of stable $\lambda$-connections over $X $ and $\cat{M}'_{Hod} \subset \cat{M}_{Hod}$ denote the subvariety whose underlying vector bundle is stable. Fix a line bundle $L$ of degree zero. Let $\cat{M}_{Hod}(L)$ denote the moduli space of stable $\lambda$-connections with fixed determinant $L$ and $\cat{M}'_{Hod}(L) \subset \cat{M}_{Hod}(L)$ be the subvariety whose underlying vector bundle is stable. We show that there is a natural compactification of $\cat{M}'_{Hod}$ and $\cat{M}'_{Hod} (L)$, and study their Picard groups. Let $\M_{Hod}(L)$ denote the moduli space of polystable $\lambda$-connections. We investigate the nature of algebraic functions on $\cat{M}_{Hod}(L)$ and $\M_{Hod}(L)$. We also study the automorphism group of $\cat{M}'_{Hod}(L)$.


title: Understanding Wall's theorem on dependence of Lie relators in Burnside groups

abstract: G.E. Wall gave two different proofs of a remarkable result about the multilinear Lie relators satisfied by groups of prime power exponent $q$. He showed that if $q$ is a power of the prime $p$, and if $f$ is a multilinear Lie relator in $n$ variables where $n\neq1\operatorname{mod}(p-1)$, then $f=0$ is a consequence of multilinear Lie relators in fewer than $n$ variables. For years I have struggled to understand his proofs, and while I still have not the slightest clue about his first proof published in the Journal of Algebra, I finally have some understanding of his second proof published in a conference proceedings. In this note I offer my insights into Wall's second proof of this theorem.


title: Optimum multiplexer design in quantum-dot cellular automata

abstract: Quantum-dot Cellular Automata (QCA) is one of the most important computing technologies for the future and will be the alternative candidate for current CMOS technology. QCA is attracting a lot of researchers due to many features such as high speed, small size, and low power consumption. QCA has two main building blocks (majority gate and inverter) used for design any Boolean function. QCA also has an inherent capability that used to design many important gates such as XOR and Multiplexer in optimal form without following any Boolean function. This paper presents a novel design 2:1 QCA-Multiplexer in two forms. The proposed design is very simple, highly efficient and can be used to produce many logical functions. The proposed design output comes from the inherent capabilities of quantum technology. New 4:1 QCA-Multiplexer has been built using the proposed structure. The output waveforms showed the wonderful performance of the proposed design in terms of the number of cells, area, and latency.


title: An explicit solution to the Skorokhod embedding problem for double exponential increments

abstract: Strong approximations of uniform transport processes to the standard Brownian motion rely on the Skorokhod embedding of random walk with centered double exponential increments. In this note we make such an embedding explicit by means of a Poissonian scheme, which both simplifies classic constructions of strong approximations of uniform transport processes (Griego et al. (1971)) and improves their rate of strong convergence (Gorostiza et al. (1980)). We finalise by providing an extension regarding the embedding of a random walk with asymmetric double exponential increments.


title: Optimal local unitary encoding circuits for the surface code

abstract: The surface code is a leading candidate quantum error correcting code, owing to its high threshold, and compatibility with existing experimental architectures. Bravyi et al. (2006) showed that encoding a state in the surface code using local unitary operations requires time at least linear in the lattice size $L$, however the most efficient known method for encoding an unknown state, introduced by Dennis et al. (2002), has $O(L^2)$ time complexity. Here, we present an optimal local unitary encoding circuit for the planar surface code that uses exactly $2L$ time steps to encode an unknown state in a distance $L$ planar code. We further show how an $O(L)$ complexity local unitary encoder for the toric code can be found by enforcing locality in the $O(\log L)$-depth non-local renormalisation encoder. We relate these techniques by providing an $O(L)$ local unitary circuit to convert between a toric code and a planar code, and also provide optimal encoders for the rectangular, rotated and 3D surface codes. Furthermore, we show how our encoding circuit for the planar code can be used to prepare fermionic states in the compact mapping, a recently introduced fermion to qubit mapping that has a stabiliser structure similar to that of the surface code and is particularly efficient for simulating the Fermi-Hubbard model.


title: From genotypes to organisms: State-of-the-art and perspectives of a cornerstone in evolutionary dynamics

abstract: Understanding how genotypes map onto phenotypes, fitness, and eventually organisms is arguably the next major missing piece in a fully predictive theory of evolution. We refer to this generally as the problem of the genotype-phenotype map. Though we are still far from achieving a complete picture of these relationships, our current understanding of simpler questions, such as the structure induced in the space of genotypes by sequences mapped to molecular structures, has revealed important facts that deeply affect the dynamical description of evolutionary processes. Empirical evidence supporting the fundamental relevance of features such as phenotypic bias is mounting as well, while the synthesis of conceptual and experimental progress leads to questioning current assumptions on the nature of evolutionary dynamics-cancer progression models or synthetic biology approaches being notable examples. This work delves into a critical and constructive attitude in our current knowledge of how genotypes map onto molecular phenotypes and organismal functions, and discusses theoretical and empirical avenues to broaden and improve this comprehension. As a final goal, this community should aim at deriving an updated picture of evolutionary processes soundly relying on the structural properties of genotype spaces, as revealed by modern techniques of molecular and functional analysis.


title: On optimal recovery of integrals of random processes

abstract: In this paper we prove a sharp Ostrowski type inequality for random processes of certain classes. This inequality is later applied to a solution of the optimal recovery of the integral $\int_0^1\xi_tdt$, using the random variables $\xi_{\tau_1},\dots, \xi_{\tau_n}$ as an information set, where $\tau_1,\dots, \tau_n$ are random variables. We also consider the problem of the information set optimization.


title: An Improved Distributed Nonlinear Observer for Leader-Following Consensus Via Differential Geometry Approach

abstract: This paper is concerned with the leader-following output consensus problem in the framework of distributed nonlinear observers. In stead of certain hypotheses on the leader system, a group of geometric conditions is put forward to develop a novel distributed observer strategy with less conservatism, thereby definitely improving the applicability of the existing results. To be more specific, the improved distributed observer can precisely handle consensus problems for some nonlinear leader systems which are invalid for the traditional strategies with the certain assumption, such as Elastic Shaft Single Linkage Manipulator (ESSLM) systems and most of first-order nonlinear systems. We prove the sufficient conditions for the exponential stability of our distributed observer's error dynamic by proposing two pioneered lemmas to show the relationship between the maximum eigenvalues of two matrices appearing in Lyapunov type matrices. Then, a partial feedback linearization method with zero dynamic proposed in differential geometry is employed to design a purely decentralized control law for the affine nonlinear multi-agent system. With this advancement, the existing results can be regarded as a specific case owing to that the followers can be chosen as an arbitrary minimum phase affine smooth nonlinear system. At last, the novel distributed observer and the improved purely decentralized control law are applied in the distributed control framework to construct a closed-loop system. We also prove the stability of closed-loop system to achieve leader-following consensus, i.e., the distributed control framework is proved to satisfy certainty equivalence principle. Our method is illustrated by ESSLM system and Van der Pol system as leader.


title: Far-field Excitation of Single Graphene Plasmon Cavities with Ultra-compressed Mode-volumes

abstract: Acoustic-graphene-plasmons (AGPs) are highly confined electromagnetic modes, carrying large momentum and low loss in the mid-infrared/Terahertz spectra. Owing to their ability to confine light to extremely small dimensions, they bear great potential for ultra-strong light-matter interactions in this long wavelength regime, where molecular fingerprints reside. However, until now AGPs have been restricted to micron-scale areas, reducing their confinement potential by several orders-of-magnitude. Here, by utilizing a new type of graphene-based magnetic-resonance, we realize single, nanometric-scale AGP cavities, reaching record-breaking mode-volume confinement factors of $\thicksim5\cdot10^{-10}$. This AGP cavity acts as a mid-infrared nanoantenna, which is efficiently excited from the far-field, and electrically tuneble over an ultra-broadband spectrum. Our approach provides a new platform for studying ultra-strong-coupling phenomena, such as chemical manipulation via vibrational-strong-coupling, and a path to efficient detectors and sensors, in this challenging spectral range.


title: Interpreting video features: a comparison of 3D convolutional networks and convolutional LSTM networks

abstract: A number of techniques for interpretability have been presented for deep learning in computer vision, typically with the goal of understanding what the networks have based their classification on. However, interpretability for deep video architectures is still in its infancy and we do not yet have a clear concept of how to decode spatiotemporal features. In this paper, we present a study comparing how 3D convolutional networks and convolutional LSTM networks learn features across temporally dependent frames. This is the first comparison of two video models that both convolve to learn spatial features but have principally different methods of modeling time. Additionally, we extend the concept of meaningful perturbation introduced by \cite{MeaningFulPert} to the temporal dimension, to identify the temporal part of a sequence most meaningful to the network for a classification decision. Our findings indicate that the 3D convolutional model concentrates on shorter events in the input sequence, and places its spatial focus on fewer, contiguous areas.


title: Orthogonality and complementation in the lattice of subspaces of a finite-dimensional vector space over a finite field

abstract: We investigate the lattice L(V) of subspaces of an m-dimensional vector space V over a finite field GF(q) with q being the n-th power of a prime p. It is well-known that this lattice is modular and that orthogonality is an antitone involution. The lattice L(V) satisfies the Chain condition and we determine the number of covers of its elements, especially the number of its atoms. We characterize when orthogonality is a complementation and hence when L(V) is orthomodular. For m > 1 and m not divisible by p we show that L(V) contains a certain (non-Boolean) orthomodular lattice as a subposet. Finally, for q being a prime and m = 2 we characterize orthomodularity of L(V) by a simple condition.


title: Non-Euclidean Virtual Reality IV: Sol

abstract: This article presents virtual reality software designed to explore the Sol geometry. The simulation is available on 3-dimensional.space/sol.html


title: Fractional matching number and spectral radius of nonnegative matrix of graphs

abstract: A fractional matching of a graph $G$ is a function $f:E(G) \to [0,1]$ such that for any $v\in V(G)$, $\sum_{e\in E_G(v)}f(e)\leq 1$ where $E_G(v) = \{e \in E(G): e$ is incident with $v$ in $G\}$. The fractional matching number of $G$ is $\mu_{f}(G) = \max\{\sum_{e\in E(G)} f(e): f$ is fractional matching of $G\}$. For any real numbers $a \ge 0$ and $k \in (0, n)$, it is observed that if $n = |V(G)|$ and $\delta(G) > \frac{n-k}{2}$, then $\mu_{f}(G)>\frac{n-k}{2}$. We determine a function $\varphi(a, n,\delta, k)$ and show that for a connected graph $G$ with $n = |V(G)|$, $\delta(G) \leq\frac{n-k}{2}$, spectral radius $\lambda_1(G)$ and complement $\overline{G}$, each of the following holds. (i) If $\lambda_{1}(aD(G)+A(G))<\varphi(a, n, \delta, k),$ then $\mu_{f}(G)>\frac{n-k}{2}.$ (ii) If $\lambda_{1}(aD(\overline{G})+A(\overline{G}))<(a+1)(\delta+k-1),$ then $\mu_{f}(G)>\frac{n-k}{2}.$ As corollaries, sufficient spectral condition for fractional perfect matchings and analogous results involving $Q$-index and $A_{\alpha}$-spectral radius are obtained, and former spectral results in [European J. Combin. 55 (2016) 144-148] are extended.


title: Singular Vectors From Singular Values

abstract: In the recent paper \cite{1}, Denton et al. provided the eigenvector-eigenvalue identity for Hermitian matrices, and a survey was also given for such identity in the literature. The main aim of this paper is to present the identity related to singular vectors and singular values of a general matrix.


title: Interpretability of Blackbox Machine Learning Models through Dataview Extraction and Shadow Model creation

abstract: Deep learning models trained using massive amounts of data tend to capture one view of the data and its associated mapping. Different deep learning models built on the same training data may capture different views of the data based on the underlying techniques used. For explaining the decisions arrived by blackbox deep learning models, we argue that it is essential to reproduce that model's view of the training data faithfully. This faithful reproduction can then be used for explanation generation. We investigate two methods for data view extraction: hill-climbing approach and a GAN-driven approach. We then use this synthesized data for creating shadow models for explanation generation: Decision-Tree model and Formal Concept Analysis based model. We evaluate these approaches on a Blackbox model trained on public datasets and show its usefulness in explanation generation.


title: Second-order PDEs in 4D with half-flat conformal structure

abstract: We study second-order PDEs in 4D for which the conformal structure defined by the characteristic variety of the equation is half-flat (self-dual or anti-self-dual) on every solution. We prove that this requirement implies the Monge-Ampere property. Since half-flatness of the conformal structure is equivalent to the existence of a nontrivial dispersionless Lax pair, our result explains the observation that all known scalar second-order integrable dispersionless PDEs in dimensions four and higher are of Monge-Ampere type. Some partial classification results of Monge-Ampere equations in 4D with half-flat conformal structure are also obtained.


title: Aging of Thermoreversible Gel of Associating Polymers

abstract: We performed Langevin dynamics simulations of amphiphilic polymers that contain strongly associating stickers connected by long soluble chain segments. We explored the aging of a thermoreversible gel which is crosslinked by aggregates (clusters) of the stickers and observed a dramatic increase of their lifetime with aging. We find that the observed aging is the result of structural reorganization of the network: the number of crosslinks decreases with time as small clusters disintegrate and their stickers are reabsorbed by large clusters that grow and become more stable by forming additional intramolecular associations between their stickers.


title: Autocorrelation of a class of quaternary sequences of period $2p^m$

abstract: Sequences with good randomness properties are quite important for stream ciphers. In this paper, a new class of quaternary sequences is constructed by using generalized cyclotomic classes of $\mathbb{Z}_{2p^m}$ $(m\geq1)$. The exact values of autocorrelation of these sequences are determined based on cyclotomic numbers of order $2$ with respect to $p^m$. Results show that the presented sequences have the autocorrelations with at most $4$ values.


title: Entire functions with separated zeros and $1$-points

abstract: We consider transcendental entire functions of finite order for which the zeros and $1$-points are in disjoint sectors. Under suitable hypotheses on the sizes of these sectors we show that such functions must have a specific form, or that such functions do not exist at all.


title: Thermodynamics and Phase Transition of Spherically Symmetric Black Hole in de Sitter Space from R\'enyi Statistics

abstract: Schwarzschild black holes in a de Sitter background were studied in terms of their thermodynamics based on the R\'enyi statistics. This led to thermodynamically stable black hole configurations for some certain range of black hole radii; namely within this range the corresponding black holes have positive heat capacity. Moreover, for a certain background temperature there can exist at most three configurations of black hole; one among which is thermodynamically stable. These configurations were investigated in terms of their free energies, resulting in the moderate-sized stable black hole configuration being the most preferred configuration. Furthermore, a specific condition on the R\'enyi non-extensive parameter is required if a given hot spacetime were to evolve thermally into the moderate-sized stable black hole.


title: Strong and Weak Three-Dimensional Topological Insulators Probed by Surface Science Methods

abstract: We review the contributions of surface science methods to discover and improve 3D topological insulator materials, while illustrating with examples from our own work. In particular, we demonstrate that spin-polarized angular-resolved photoelectron spectroscopy is instrumental to evidence the spin-helical surface Dirac cone, to tune its Dirac point energy towards the Fermi level, and to discover novel types of topological insulators such as dual ones or switchable ones in phase change materials. Moreover, we introduce procedures to spatially map potential fluctuations by scanning tunneling spectroscopy and to identify topological edge states in weak topological insulators.


title: Predicting the Trajectory of a Relativistic Electron Beam for External Injection in Plasma Wakefields

abstract: We use beam position measurements over the first part of the AWAKE electron beamline, together with beamline modeling, to deduce the beam average momentum and to predict the beam position in the second part of the beamline. Results show that using only the first five beam position monitors leads to much larger differences between predicted and measured positions at the last two monitors than when using the first eight beam position monitors. These last two positions can in principle be used with ballistic calculations to predict the parameters of closest approach of the electron bunch with the proton beam. In external injection experiments of the electron bunch into plasma wakefields driven by the proton bunch, only the first five beam position monitors measurements remain un-affected by the presence of the much higher charge proton bunch. Results with eight beam position monitors show the prediction method works in principle to determine electron and proton beams closest approach within the wakefields width ($<$1\,mm), corresponding to injection of electrons into the wakefields. Using five beam position monitors is not sufficient.


title: Hall-magnetohydrodynamic waves in flowing ideal incompressible solar-wind plasmas: Reconsidered

abstract: It is well established that the magnetically structured solar atmosphere supports the propagation of MHD waves along various kind of jets including also the solar wind. It is well-known as well that under some conditions, namely high enough jet speeds, the propagating MHD modes can become unstable against to the most common Kelvin--Helmholtz instability (KHI). In this article, we explore how the propagation and instability characteristics of running along a slow solar wind MHD modes are affected when they are investigated in the framework of the ideal Hall-magnetohydrodynamics. Hall-MHD is applicable if the jet width is shorter than or comparable to the so called Hall parameter $l_\mathrm{Hall} = c/\omega_\mathrm{pi}$ (where $c$ is the speed of light and $\omega_\mathrm{pi}$ is the ion plasma frequency). We model the solar wind as a moving with velocity $\vec{v}_0$ cylindrical flux tube of radius $a$, containing incompressible plasma with density $\rho_\mathrm{i}$ permeated by a constant magnetic field $\vec{B}_\mathrm{i}$. The surrounding plasma is characterized with its density $\rho_\mathrm{e}$ and magnetic field $\vec{B}_\mathrm{e}$. The dispersion relation of MHD waves is derived in the framework of both standard and Hall-MHD and is numerically solved with input parameters: the density contrast $\eta = \rho_\mathrm{e}/\rho_\mathrm{i}$, the magnetic fields ratio $b = {B}_\mathrm{e}/{B}_\mathrm{i}$, and the Hall scale parameter $l_\mathrm{Hall}/a$. It is found that the Hall current, at moderate values of $l_\mathrm{Hall}/a$, stimulates the emerging of KHI of the kink ($m = 1)$ and high-mode ($m \geqslant 2$) MHD waves, while for the sausage wave ($m = 0$) the trend is just the opposite---the KHI is suppressed.


title: Many-body localization in Bose-Hubbard model: evidence for the mobility edge

abstract: Motivated by recent experiments on interacting bosons in quasi-one-dimensional optical lattice [Nature {\bf 573}, 385 (2019)] we analyse theoretically properties of the system in the crossover between delocalized and localized regimes. Comparison of time dynamics for uniform and density wave like initial states enables demonstration of the existence of the mobility edge. To this end we define a new observable, the mean speed of transport at long times. It gives us an efficient estimate of the critical disorder for the crossover. We also show that the mean velocity growth of occupation fluctuations close to the edges of the system carries the similar information. Using the quantum quench procedure we show that it is possible to probe the mobility edge for different energies.


title: Manipulating the Glass Transition in Nanoscale

abstract: The intrinsic nature of glass states or glass transitions has been a mystery for a long time. Recently, more and more studies tend to show that a glass locates at a specific potential energy landscape (PEL). To explore how the flatness of the PEL related to glass transition, we develop a method to adjust the PEL in a controllable manner. We demonstrate that a relatively flat PEL is not only necessary but also sufficient for the formation of a nanoscale glass. We show that: (1) as long as a nanocluster is located in a region of PEL with local minimum deep enough, it can undergo a first-order solid-liquid phase transition; and (2) if a nanocluster is located in a relatively flat PEL, it can undergo a glass transition. All these transitions are independent of its structure symmetry, order or disorder. Our simulations also uncover the direct transition from one potential energy minimum to another below the glass transition temperature, which is the consequence of flat PELs.


title: Localizations of tensor categories and fiber products of schemes

abstract: We prove that the tensor category of quasi-coherent modules $\mathsf{Qcoh}(X \times_S Y)$ on a fiber product of quasi-compact quasi-separated schemes is the bicategorical pushout of $\mathsf{Qcoh}(X)$ and $\mathsf{Qcoh}(Y)$ over $\mathsf{Qcoh}(S)$ in the $2$-category of cocomplete linear tensor categories. In particular, $\mathsf{Qcoh}(X \times Y)$ is the bicategorical coproduct of $\mathsf{Qcoh}(X)$ and $\mathsf{Qcoh}(Y)$. For this we introduce idals, which can be seen as non-embedded ideals, and use them to study localizations of cocomplete tensor categories in general.


title: A Model of Distributed Disorders Detection

abstract: The paper deals with disorders detection in the multivariate stochastic process. We consider the multidimensional Poisson process or the multivariate renewal process. This class of processes can be used as a description of the distributed detection system. The multivariate renewal process can be seen as the sequence of random vectors, where parts of its coordinates are holding times, others are the size of jumps and the index of stream, at which the new event appears. It is assumed that at each stream two kinds of changes are possible: in the holding time or in the size of jumps distribution. The various specific mutual relations between the change points are possible. The aim of the research is to derive the detectors which realize the optimal value of the specified criterion. The change point moment estimates have been obtained in some cases. The difficulties have appeared for the dependent streams with unspecified order of change points. The presented results suggest further research on the construction of detectors in the general model.

categories: math.OC cs.SY eess.SY math.PR math.ST stat.TH


title: Effect of Al content on the critical resolved shear stress for twin nucleation and growth in Mg alloys

abstract: The effect of Al atoms in solid solution on the critical resolved shear stress for twin nucleation and growth was analyzed by means of the combination of diffusion couples with compression tests in micropillars oriented for twinning. The critical resolved shear stress for twin nucleation was higher than that for twin growth and both increased by the same amount with the Al content. Nevertheless, the increase was small ( approx. 10 MPa) for 4 at.%Al but large (up to 60-70 MPa) for 9 at.%Al. These results were in agreement with Labusch-models based on first principles calculations in the dilute regime (< 5 at.%Al) [51]. Comparison with recent data in the literature showed that Al atoms are more effective in increasing the critical resolved shear stresses for twin nucleation and growth than for basal slip [21]. Finally, compression tests in micropillars oriented along [0001] showed the critical shear stress for pyramidal slip increased rapidly with the Al content from 98 MPa in pure Mg to 250 MPa in Mg-9 at.%Al. Thus, the addition of Al increased the plastic anisotropy of Mg alloys.


title: Multitasking additional-to-driving: Prevalence, structure, and associated risk in SHRP2 naturalistic driving data

abstract: This paper 1) analyzes the extent to which drivers engage in multitasking additional-to-driving (MAD) under various conditions, 2) specifies odds ratios (ORs) of crashing associated with MAD compared to no task engagement, and 3) explores the structure of MAD, based on data from the Second Strategic Highway Research Program Naturalistic Driving Study (SHRP2 NDS). Sensitivity analysis in which secondary tasks were re-defined by grouping similar tasks was performed to investigate the extent to which ORs are affected by the specific task definitions in SHRP2. A novel visual representation of multitasking was developed to show which secondary tasks co-occur frequently and which ones do not. MAD occurs in 11% of control driving segments, 22% of crashes and near-crashes (CNC), 26% of Level 1-3 crashes and 39% of rear-end striking crashes, and 9%, 16%, 17% and 28% respectively for the same event types if MAD is defined in terms of general task groups. The most common co-occurrences of secondary tasks vary substantially among event types; for example, 'Passenger in adjacent seat - interaction' and 'Other non-specific internal eye glance' tend to co-occur in CNC but tend not to co-occur in control driving segments. The odds ratios of MAD compared to driving without any secondary task and the corresponding 95% confidence intervals are 2.38 (2.17-2.61) for CNC, 3.72 (3.11-4.45) for Level 1-3 crashes and 8.48 (5.11-14.07) for rear-end striking crashes. The corresponding ORs using general task groups to define MAD are slightly lower at 2.00 (1.80-2.21) for CNC, 3.03 (2.48-3.69) for Level 1-3 crashes and 6.94 (4.04-11.94) for rear-end striking crashes. The results confirm that independently of whether secondary tasks are defined according to SHRP2 or general task groups, the reduction of driving performance from MAD observed in simulator studies is manifested in real-world crashes as well.


title: The FFSVC 2020 Evaluation Plan

abstract: The Far-Field Speaker Verification Challenge 2020 (FFSVC20) is designed to boost the speaker verification research with special focus on far-field distributed microphone arrays under noisy conditions in real scenarios. The objectives of this challenge are to: 1) benchmark the current speech verification technology under this challenging condition, 2) promote the development of new ideas and technologies in speaker verification, 3) provide an open, free, and large scale speech database to the community that exhibits the far-field characteristics in real scenes.


title: A Survey on Knowledge Graphs: Representation, Acquisition and Applications

abstract: Human knowledge provides a formal understanding of the world. Knowledge graphs that represent structural relations between entities have become an increasingly popular research direction towards cognition and human-level intelligence. In this survey, we provide a comprehensive review of knowledge graph covering overall research topics about 1) knowledge graph representation learning, 2) knowledge acquisition and completion, 3) temporal knowledge graph, and 4) knowledge-aware applications, and summarize recent breakthroughs and perspective directions to facilitate future research. We propose a full-view categorization and new taxonomies on these topics. Knowledge graph embedding is organized from four aspects of representation space, scoring function, encoding models, and auxiliary information. For knowledge acquisition, especially knowledge graph completion, embedding methods, path inference, and logical rule reasoning, are reviewed. We further explore several emerging topics, including meta relational learning, commonsense reasoning, and temporal knowledge graphs. To facilitate future research on knowledge graphs, we also provide a curated collection of datasets and open-source libraries on different tasks. In the end, we have a thorough outlook on several promising research directions.


title: Resonant amplified seismic response within a hill or mountain

abstract: We show theoretically what is meant by the term '(surface shape) resonance' in connection with the seismic response of a protuberance (emerging from flat ground) such as a hill or mountain of arbitrary shape. We address the specific problem of cylindrical protuberances of rectangular shape submitted to a SH plane wave. We find that the principal (i.e., qualitative) characteristics of the seismic response of a mountain are quite similar to those of a hill, and that the occurrence of significative amplification of the displacement field within these structures is due to the coupling of the incident wave to (surface shape) resonances.


title: Avocado: Open-Source Flexible Constrained Interaction Testing for Practical Application

abstract: This paper presents the outcome of a research collaboration between academia and industry to implement and utilize the capabilities of constrained interaction testing for an open-source tool for industrial-scale application. The project helps promote flexibility in generating constrained interaction test suites, executing them, and setting up a test oracle to report them--all within the same tool called Avocado. Avocado employs a constraint solver with computational algorithms to generate constrained interaction test suites. The environment of the application under test can be set up to execute the generated test suite with minimum effort. A test oracle can be set up by the tool to report the status and the results of the executed test cases. Avocado represents a comprehensive and flexible solution for conducting combinatorial interaction testing (CIT) and constrained CIT on an industrial application. In this paper, we present the structure of the tool and our method of implementing the algorithms in detail.


title: A Novel Graph based Trajectory Predictor with Pseudo Oracle

abstract: Pedestrian trajectory prediction in dynamic scenes remains a challenging and critical problem in numerous applications, such as self-driving cars and socially aware robots. Challenges concentrate on capturing pedestrians' motion patterns and social interactions, as well as handling the future uncertainties. Recent studies focus on modeling pedestrians' motion patterns with recurrent neural networks, capturing social interactions with pooling-based or graph-based methods, and handling future uncertainties by using random Gaussian noise as the latent variable. However, they do not integrate specific obstacle avoidance experience (OAE) that may improve prediction performance. For example, pedestrians' future trajectories are always influenced by others in front. Here we propose GTPPO (Graph-based Trajectory Predictor with Pseudo Oracle), an encoder-decoder-based method conditioned on pedestrians' future behaviors. Pedestrians' motion patterns are encoded with a long short-term memory unit, which introduces the temporal attention to highlight specific time steps. Their interactions are captured by a graph-based attention mechanism, which draws OAE into the data-driven learning process of graph attention. Future uncertainties are handled by generating multi-modal outputs with an informative latent variable. Such a variable is generated by a novel pseudo oracle predictor, which minimizes the knowledge gap between historical and ground-truth trajectories. Finally, the GTPPO is evaluated on ETH, UCY and Stanford Drone datasets, and the results demonstrate state-of-the-art performance. Besides, the qualitative evaluations show successful cases of handling sudden motion changes in the future. Such findings indicate that GTPPO can peek into the future.


title: Charm-hadron production in $pp$ and AA collisions

abstract: Recent measurements of various charm-hadron ratios in $pp$, $p$-Pb and Pb-Pb collisions at the LHC have posed challenges to the theoretical understanding of heavy-quark hadronization. The $\Lambda_c/D^0$ ratio in $pp$ and $p$-Pb collisions shows larger values than those found in $e^+e^-$ and $ep$ collisions and predicted by Monte-Carlo event generators based on string fragmentation, at both low and intermediate transverse momenta ($p_T$). In AA collisions, the $D_s/D$ ratio is significantly enhanced over its values in $pp$, while the $\Lambda_c/D^0$ data indicates a further enhancement at intermediate $p_T$. Here, we report on our recent developments for a comprehensive description of the charm hadrochemistry and transport in $pp$ and $AA$ collisions. For $pp$ collisions we find that the discrepancy between the $\Lambda_c/D^0$ data and model predictions is much reduced by using a statistical hadronization model augmented by a large set of "missing" states in the charm-baryon spectrum, contributing to the $\Lambda_c$ via decay feeddown. For $AA$ collisions, we develop a 4-momentum conserving resonance recombination model for charm-baryon formation implemented via event-by-event simulations that account for space-momentum correlations (SMCs) in transported charm- and thermal light-quark distributions. The SMCs, together with the augmented charm-baryon states, are found to play an important role in describing the baryon-to-meson enhancement at intermediate momenta. We emphasize the importance of satisfying the correct (relative) chemical equilibrium limit when computing the charm hadrochemistry and its momentum dependence with coalescence models.


title: Observations of the low-luminosity Type Iax supernova 2019gsc: a fainter clone of SN 2008ha?

abstract: We present optical photometric and spectroscopic observations of the faint-and-fast evolving type Iax SN 2019gsc, extending from the time of g-band maximum until about fifty days post maximum, when the object faded to an apparent r-band magnitude m_r = 22.48+/-0.11 mag. SN 2019gsc reached a peak luminosity of only M_g = -13.58 +/- 0.15 mag, and is characterised with a post-maximum decline rate Delta(m_15)_g = 1.08 +/- 0.14 mag. These light curve parameters are comparable to those measured for SN 2008ha of M_g = -13.89 +/- 0.14 mag at peak and Delta(m_15)_g = 1.80 +/- 0.03 mag. The spectral features of SN 2019gsc also resemble those of SN 2008ha at similar phases. This includes both the extremely low ejecta velocity at maximum, about 3,000 km/s, and at late-time (phase +54 d) strong forbidden iron and cobalt lines as well as both forbidden and permitted calcium features. Furthermore, akin to SN 2008ha, the bolometric light curve of SN 2019gsc is consistent with the production of 0.003 +/- 0.001 Msol of nickel. The explosion parameters, M_ej = 0.13 Msol and E_k = 12 x 10E48 erg, are also similar to those inferred for SN 2008ha. We estimate a sub-solar oxygen abundance for the host galaxy of SN 2019gsc, (12 + log10(O/H) = 8.10 +/- 0.18 dex), consistent with the equally metal-poor environment of SN 2008ha. Altogether, our dataset of SN 2019gsc indicates that this is a member of a small but growing group of extreme SN Iax that includes SN 2008ha and SN 2010ae.


title: Schwinger Effect from Near-extremal Black Holes in (A)dS Space

abstract: We study the Schwinger effect in near-extremal Reissner-Nordstr\"{o}m (RN) black holes with electric and/or magnetic charges in the (Anti-) de Sitter (AdS) space. The formula for the Schwinger effect takes a universal form for near-extremal black holes with the near-horizon geometry of ${\rm AdS}_2 \times S^2$ and with the proper radii for the ${\rm AdS}_2$ space and the two-sphere $S^2$, regardless of the asymptotically flat or (A)dS space. The asymptotic AdS boundary enhances and the dS boundary suppresses the Schwinger effect and the small radius of the AdS (dS) space reinforces the enhancement and suppression.


title: Poisson stable solutions for stochastic differential equations with L\'evy noise

abstract: In this paper, we use a unified framework to study Poisson stable (including stationary, periodic, quasi-periodic, almost periodic, almost automorphic, Birkhoff recurrent, almost recurrent in the sense of Bebutov, Levitan almost periodic, pseudo-periodic, pseudo-recurrent and Poisson stable) solutions for semilinear stochastic differential equations driven by infinite dimensional L\'evy noise with large jumps. Under suitable conditions on drift, diffusion and jump coefficients, we prove that there exist solutions which inherit the Poisson stability of coefficients. Further we show that these solutions are globally asymptotically stable in square-mean sense. Finally, we illustrate our theoretical results by several examples.


title: Tests of CPT invariance in gravitational waves with LIGO-Virgo catalog GWTC-1

abstract: A discovery of gravitational waves from binary black holes raises a possibility that measurements of them can provide strict tests of CPT invariance in gravitational waves. When CPT violation exists, if any, gravitational waves with different circular polarizations could gain a slight difference in propagating speeds. Hence, the birefringence of gravitational waves is induced and there should be a rotation of plus and cross modes. For CPT-violating dispersion relation ${\omega^{2}=k^{2}}$ ${\pm 2\zeta k^{3}}$, where a sign ${\pm}$ denotes different circular polarizations, we find no substantial deviations from CPT invariance in gravitational waves by analyzing a compilation of ten signals of binary black holes in the LIGO-Virgo catalog GWTC-1. We obtain a strict constraint on the CPT-violating parameter, i.e., $\zeta=0.14^{+0.22}_{-0.31}\times10^{-15}\text{m}$, which is around two orders of magnitude better than the existing one. Therefore, this study stands for the up-to-date strictest tests of CPT invariance in gravitational waves.


title: 3D Shape Segmentation with Geometric Deep Learning

abstract: The semantic segmentation of 3D shapes with a high-density of vertices could be impractical due to large memory requirements. To make this problem computationally tractable, we propose a neural-network based approach that produces 3D augmented views of the 3D shape to solve the whole segmentation as sub-segmentation problems. 3D augmented views are obtained by projecting vertices and normals of a 3D shape onto 2D regular grids taken from different viewpoints around the shape. These 3D views are then processed by a Convolutional Neural Network to produce a probability distribution function (pdf) over the set of the semantic classes for each vertex. These pdfs are then re-projected on the original 3D shape and postprocessed using contextual information through Conditional Random Fields. We validate our approach using 3D shapes of publicly available datasets and of real objects that are reconstructed using photogrammetry techniques. We compare our approach against state-of-the-art alternatives.


title: Superposition of FLRW Universes

abstract: We show that (1) the Einstein field equations with a perfect fluid source admit a nonlinear superposition of two distinct homogenous Friedman-Lemaitre-Robertson-Walker (FLRW) metrics as a solution, (2) the superposed solution is an inhomogeneous geometry in general, (3) it reduces to a homogeneous one in the two asymptotes which are the early and the late stages of the universe as described by two different FLRW metrics, (4) the solution possesses a scale factor inversion symmetry and (5) the solution implies two kinds of topology changes: one during the time evolution of the superposed universe and the other occurring in the asymptotic region of space.


title: Non-uniqueness for the ab-family of equations

abstract: We study the cubic ab-family of equations, which includes both the Fokas-Olver-Rosenau-Qiao (FORQ) and the Novikov (NE) equations. For $a\neq0$, it is proved that there exist initial data in the Sobolev space $H^s$, $s<3/2$, with non-unique solutions. Multiple solutions are constructed by studying the collision of 2-peakon solutions. Furthermore, we prove the novel phenomenon that for some members of the family, collision between 2-peakons can occur even if the "faster" peakon is in front of the "slower" peakon.


title: Complex geodesics and complex Monge-Amp\`{e}re equations with boundary singularity

abstract: We study complex geodesics and complex Monge-Amp\`{e}re equations on bounded strongly linearly convex domains in $\mathbb C^n$. More specifically, we prove the uniqueness of complex geodesics with prescribed boundary value and direction in such a domain, when its boundary is of minimal regularity. The existence of such complex geodesics was proved by the first author in the early 1990s, but the uniqueness was left open. Based on the existence and the uniqueness proved here, as well as other previously obtained results, we solve a homogeneous complex Monge-Amp\`{e}re equation with prescribed boundary singularity, which was first considered by Bracci et al. on smoothly bounded strongly convex domains in $\mathbb C^n$.


title: Provable Noisy Sparse Subspace Clustering using Greedy Neighbor Selection: A Coherence-Based Perspective

abstract: Sparse subspace clustering (SSC) using greedy-based neighbor selection, such as matching pursuit (MP) and orthogonal matching pursuit (OMP), has been known as a popular computationally-efficient alternative to the conventional L1-minimization based methods. Under deterministic bounded noise corruption, in this paper we derive coherence-based sufficient conditions guaranteeing correct neighbor identification using MP/OMP. Our analyses exploit the maximum/minimum inner product between two noisy data points subject to a known upper bound on the noise level. The obtained sufficient condition clearly reveals the impact of noise on greedy-based neighbor recovery. Specifically, it asserts that, as long as noise is sufficiently small so that the resultant perturbed residual vectors stay close to the desired subspace, both MP and OMP succeed in returning a correct neighbor subset. A striking finding is that, when the ground truth subspaces are well-separated from each other and noise is not large, MP-based iterations, while enjoying lower algorithmic complexity, yield smaller perturbation of residuals, thereby better able to identify correct neighbors and, in turn, achieving higher global data clustering accuracy. Extensive numerical experiments are used to corroborate our theoretical study.


title: Upgrading the Inner Tracking System and the Time Projection Chamber of ALICE

abstract: The ALICE experiment at CERN is undergoing a major upgrade during the Long Shutdown 2 (LS2) of the LHC during 2019-2020. The key elements regarding the central barrel are the installation of a new Inner Tracking System (ITS) and the upgrade of the large Time Projection Chamber (TPC). The TPC is currently being upgraded with a new readout system, including new GEM-based Readout Chambers and new front-end electronics enabling us to operate it in continuous mode. The new ITS based on CMOS Monolithic Active Pixel Sensors will significantly improve the impact parameter resolution and the tracking efficiency, especially for particles with low transverse momenta, as well as the readout-rate capability. In the following, the upgrades and their assembly and commissioning status will be outlined. Furthermore, an outlook will be given on plans for the upgrade of the ITS foreseen for the third long shutdown of the LHC in 2025-2026. For this upgrade, the three innermost layers could be replaced by cylindrical detector layers, made of curved wafer-scale-sized CMOS sensors, to lower even further the material budget and to improve the pointing resolution.


title: Multiuser Scheduling for Minimizing Age of Information in Uplink MIMO Systems

abstract: This paper studies the user scheduling problem in a multiuser multiple-input multi-output (MIMO) status update system, in which multiple single-antenna devices aim to send their latest statuses to a multiple-antenna information-fusion access point (AP) via a shared wireless channel. The information freshness in the considered system is quantified by a recently proposed metric, termed age of information (AoI). Thanks to the extra spatial degrees-of-freedom brought about by the multiple antennas at the AP, multiple devices can be granted to transmit simultaneously in each time slot. We aim to seek the optimal scheduling policy that can minimize the network-wide AoI by optimally deciding which device or group of devices to be scheduled for transmission in each slot given the instantaneous AoI values of all devices at the beginning of the slot. To that end, we formulate the multiuser scheduling problem as a Markov decision process (MDP). We attain the optimal policy by resolving the formulated MDP problem and develop a low-complexity sub-optimal policy. Simulation results show that the proposed optimal and sub-optimal policies significantly outperform the state-of-the-art benchmark schemes.


title: An Automated Testing Framework For Smart TV apps Based on Model Separation

abstract: Smart TV application (app) is a new technological software app that can deal with smart TV devices to add more functionality and features. Despite its importance nowadays, far too little attention has been paid to present a systematic approach to test this kind of app so far. In this paper, we present a systematic model-based testing approach for smart TV app. We used our new notion of model separation to use sub-models based on the user preference instead of the exhaustive testing to generate the test cases. Based on the constructed model, we generated a set of test cases to assess the selected paths to the chosen destination in the app. We also defined new mutation operators for smart TV app to assess our testing approach. The evaluation results showed that our approach can generate more comprehensive models of smart TV apps with less time as compared to manual exploratory testing. The results also showed that our approach can generate effective test cases in term of fault detection.


title: Accretion disks around young stars: the cradles of planet formation

abstract: Protoplanetary disks around young stars are the birth sights of planetary systems like our own. Disks represent the gaseous dusty matter left after the formation of their central stars. The mass and luminosity of the star, initial disk mass and angular momentum, and gas viscosity govern disk evolution and accretion. Protoplanetary disks are the cosmic nurseries where microscopic dust grains grow into pebbles, planetesimals, and planets.


title: A Morse theoretic approach to non-isolated singularities and applications to optimization

abstract: Let $X$ be a complex affine variety in $\mathbb{C}^N$, and let $f:\mathbb{C}^N\to \mathbb{C}$ be a polynomial function whose restriction to $X$ is nonconstant. For $g:\mathbb{C}^N \to \mathbb{C}$ a general linear function, we study the limiting behavior of the critical points of the one-parameter family of $f_t: =f-tg$ as $t\to 0$. Our main result gives an expression of this limit in terms of critical sets of the restrictions of $g$ to the singular strata of $(X,f)$. We apply this result in the context of optimization problems. For example, we consider nearest point problems (e.g., Euclidean distance degrees) for affine varieties and a possibly nongeneric data point.


title: Rate-Splitting Multiple Access for Multi-Antenna Joint Communication and Radar Transmissions

abstract: Rate-Splitting Multiple Access (RSMA), relying on multi-antenna Rate-Splitting (RS) techniques, has emerged as a powerful strategy for multi-user multi-antenna systems. In this paper, RSMA is introduced as a unified multiple access for multi-antenna radar-communication (RadCom) system, where the base station has a dual communication and radar capability to simultaneously communicate with downlink users and probe detection signals to azimuth angles of interests. Using RS, messages are split into common and private parts, then encoded into common and private streams before being precoded and transmitted. We design the message split and the precoders for this RadCom system such that the Weighted Sum Rate (WSR) is maximized and the transmit beampattern is approximated to the desired radar beampattern under an average transmit power constraint at each antenna. We then propose a framework based on Alternating Direction Method of Multipliers (ADMM) to solve the complicated non-convex optimization problem. Results highlight the benefits of RSMA to unify RadCom transmissions and to manage the interference among radar and communications, over the conventional Space-Division Multiple Access (SDMA) technique.


title: Weak convergence of robust functions on topological groups

abstract: In this paper we introduce a weak version of level and epigraph convergence for level functions on topological spaces. In the particular case of topological groups we are able to define convolutions in the set of level functions and show that any such function is the limit in level and epigraph of robust functions.


title: Constructing a coarse space with a given Higson or binary corona

abstract: For any compact Hausdorff space $K$ we construct a canonical finitary coarse structure $\mathcal E_{X,K}$ on the set $X$ of isolated points of $K$. This construction has two properties: $\bullet$ If a finitary coarse space $(X,\mathcal E)$ is metrizable, then its coarse structure $\mathcal E$ coincides with the coarse structure $\mathcal E_{X,\bar X}$ generated by the Higson compactification $\bar X$ of $X$; $\bullet$ A compact Hausdorff space $K$ coincides with the Higson compactification of the coarse space $(X,\mathcal E_{X,K})$ if the set $X$ is dense in $K$ and the space $K$ is Frechet-Urysohn. This implies that a compact Hausdorff space $K$ is homeomorphic to the Higson corona of some finitary coarse space if one of the following conditions holds: (i) $K$ is perfectly normal; (ii) $K$ has weight $w(K)\le\omega_1$ and character $\chi(K)<\mathfrak p$. Under CH every (zero-dimensional) compact Hausdorff space of weight $\le\omega_1$ is homeomorphic to the Higson (resp. binary) corona of some cellular finitary coarse space.


title: A Perturbation Algorithm for the Pointers of Franke-Gorini-Kossakowski-Lindblad-Sudarshan Equation

abstract: This paper is devoted to the study of behavior of open quantum systems consistently based on the Franke-Gorini-Kossakowski-Lindblad-Sudarshan (FGKLS) equation which covers evolution in situations when decoherence can be distinguished. We focus on the quantum measurement operation which is determined by final stationary states of an open system - so called pointers. We find pointers by applying the FGKLS equation to asymptotically constant density matrix. In seeking pointers, we have been able to propose a perturbative scheme of calculation, if we take the interaction components with an environment to be weak. Thus, the Lindblad operators can be used in some way as expansion parameters for perturbation theory. The scheme we propose is different for the cases of non-degenerate and degenerate Hamiltonian. We illustrate our scheme by particular examples of quantum harmonic oscillator with spin in external magnetic field. The efficiency of the perturbation algorithm is demonstrated by its comparison with the exact solution.