title: Decentralized Learning for Optimality in Stochastic Dynamic Teams and Games with Local Control and Global State Information

abstract: Stochastic dynamic teams and games are rich models for decentralized systems and challenging testing grounds for multi-agent learning. Previous work that guaranteed team optimality assumed stateless dynamics, or an explicit coordination mechanism, or joint-control sharing. In this paper, we present an algorithm with guarantees of convergence to team optimal policies in teams and common interest games. The algorithm is a two-timescale method that uses a variant of Q-learning on the finer timescale to perform policy evaluation while exploring the policy space on the coarser timescale. Agents following this algorithm are "independent learners": they use only local controls, local cost realizations, and global state information, without access to controls of other agents. The results presented here are the first, to our knowledge, to give formal guarantees of convergence to team optimality using independent learners in stochastic dynamic teams and common interest games.


title: Three-Scale Singular Limits of Evolutionary PDEs

abstract: Singular limits of a class of evolutionary systems of partial differential equations having two small parameters and hence three time scales are considered. Under appropriate conditions solutions are shown to exist and remain uniformly bounded for a fixed time as the two parameters tend to zero at different rates. A simple example shows the necessity of those conditions in order for uniform bounds to hold. Under further conditions the solutions of the original system tend to solutions of a limit equation as the parameters tend to zero.


title: Compact all-fiber polarization-independent up-conversion single-photon detector

abstract: We demonstrate a compact all-fiber polarization-independent up-conversion single-photon detector based on integrated reverse proton exchanged periodically poled lithium niobate waveguides. The horizontally and vertically polarized components of randomly polarized signals are separated with a fiber-coupled polarization beam splitter, launched into two orthogonally polarized polarization maintaining fibers and fetched into two adjacent independent waveguides on the same device. The up-converted outputs from both waveguide channels are then combined with a multi-mode fiber combiner and detected by a silicon detector. With this configuration, the polarization-independent single-photon counting at 1.55 um is achieved with a system detection efficiency of 29.3%, a dark count rate of 1600 counts per second, and a polarization dependent loss of 0.1dB. This compact all-fiber system is robust and has great application potential in practical quantum key distribution systems.


title: Properties for liquid argon scintillation for dark matter searches

abstract: The scintillation yield for recoil Ar ions of 5 to 250 keV energy in liquid argon have been evaluated for direct dark matter searches. Lindhard theory is taken for estimating nuclear quenching. A theoretical model based on a biexcitonic diffusion-reaction mechanism is performed for electronic (scintillation) quenching. The electronic LET (linear energy transfer) is evaluated and used to obtain the initial track structure due to recoil Ar ions. The results are compared with experimental values reported for nuclear recoils from neutrons. The behavior of scintillation and ionization on the field are discussed. with notes on radiation physics and chemistry for dark matter searches.


title: Convergence Rate Estimates for the Low Mach and Alfv\'en Number Three-Scale Singular Limit of Compressible Ideal Magnetohydrodynamics

abstract: Convergence rate estimates are obtained for singular limits of the compressible ideal magnetohydrodynamics equations, in which the Mach and Alfv\'en numbers tend to zero at different rates. The proofs use a detailed analysis of exact and approximate fast, intermediate, and slow modes together with improved estimates for the solutions and their time derivatives, and the time-integration method. When the small parameters are related by a power law the convergence rates are positive powers of the Mach number, with the power varying depending on the component and the norm. Exceptionally, the convergence rate for two components involve the ratio of the two parameters, and that rate is proven to be sharp via corrector terms. Moreover, the convergence rates for the case of a power-law relation between the small parameters tend to the two-scale convergence rate as the power tends to one. These results demonstrate that the issue of convergence rates for three-scale singular limits, which was not addressed in the authors' previous paper, is much more complicated than for the classical two-scale singular limits.


title: A New Approach for Distributed Hypothesis Testing with Extensions to Byzantine-Resilience

abstract: We study a setting where a group of agents, each receiving partially informative private observations, seek to collaboratively learn the true state (among a set of hypotheses) that explains their joint observation profiles over time. To solve this problem, we propose a distributed learning rule that differs fundamentally from existing approaches, in the sense, that it does not employ any form of "belief-averaging". Specifically, every agent maintains a local belief (on each hypothesis) that is updated in a Bayesian manner without any network influence, and an actual belief that is updated (up to normalization) as the minimum of its own local belief and the actual beliefs of its neighbors. Under minimal requirements on the signal structures of the agents and the underlying communication graph, we establish consistency of the proposed belief update rule, i.e., we show that the actual beliefs of the agents asymptotically concentrate on the true state almost surely. As one of the key benefits of our approach, we show that our learning rule can be extended to scenarios that capture misbehavior on the part of certain agents in the network, modeled via the Byzantine adversary model. In particular, we prove that each non-adversarial agent can asymptotically learn the true state of the world almost surely, under appropriate conditions on the observation model and the network topology.


title: On power chi expansions of $f$-divergences

abstract: We consider both finite and infinite power chi expansions of $f$-divergences derived from Taylor's expansions of smooth generators, and elaborate on cases where these expansions yield closed-form formula, bounded approximations, or analytic divergence series expressions of $f$-divergences.


title: Distributed Detection with Empirically Observed Statistics

abstract: Consider a distributed detection problem in which the underlying distributions of the observations are unknown; instead of these distributions, noisy versions of empirically observed statistics are available to the fusion center. These empirically observed statistics, together with source (test) sequences, are transmitted through different channels to the fusion center. The fusion center decides which distribution the source sequence is sampled from based on these data. For the binary case, we derive the optimal type-II error exponent given that the type-I error decays exponentially fast. The type-II error exponent is maximized over the proportions of channels for both source and training sequences. We conclude that as the ratio of the lengths of training to test sequences $\alpha$ tends to infinity, using only one channel is optimal. By calculating the derived exponents numerically, we conjecture that the same is true when $\alpha$ is finite. We relate our results to the classical distributed detection problem studied by Tsitsiklis, in which the underlying distributions are known. Finally, our results are extended to the case of $m$-ary distributed detection with a rejection option.


title: Purifying Naturalistic Images through a Real-time Style Transfer Semantics Network

abstract: Recently, the progress of learning-by-synthesis has proposed a training model for synthetic images, which can effectively reduce the cost of human and material resources. However, due to the different distribution of synthetic images compared to real images, the desired performance cannot still be achieved. Real images consist of multiple forms of light orientation, while synthetic images consist of a uniform light orientation. These features are considered to be characteristic of outdoor and indoor scenes, respectively. To solve this problem, the previous method learned a model to improve the realism of the synthetic image. Different from the previous methods, this paper takes the first step to purify real images. Through the style transfer task, the distribution of outdoor real images is converted into indoor synthetic images, thereby reducing the influence of light. Therefore, this paper proposes a real-time style transfer network that preserves image content information (eg, gaze direction, pupil center position) of an input image (real image) while inferring style information (eg, image color structure, semantic features) of style image (synthetic image). In addition, the network accelerates the convergence speed of the model and adapts to multi-scale images. Experiments were performed using mixed studies (qualitative and quantitative) methods to demonstrate the possibility of purifying real images in complex directions. Qualitatively, it compares the proposed method with the available methods in a series of indoor and outdoor scenarios of the LPW dataset. In quantitative terms, it evaluates the purified image by training a gaze estimation model on the cross data set. The results show a significant improvement over the baseline method compared to the raw real image.


title: Attribution-driven Causal Analysis for Detection of Adversarial Examples

abstract: Attribution methods have been developed to explain the decision of a machine learning model on a given input. We use the Integrated Gradient method for finding attributions to define the causal neighborhood of an input by incrementally masking high attribution features. We study the robustness of machine learning models on benign and adversarial inputs in this neighborhood. Our study indicates that benign inputs are robust to the masking of high attribution features but adversarial inputs generated by the state-of-the-art adversarial attack methods such as DeepFool, FGSM, CW and PGD, are not robust to such masking. Further, our study demonstrates that this concentration of high-attribution features responsible for the incorrect decision is more pronounced in physically realizable adversarial examples. This difference in attribution of benign and adversarial inputs can be used to detect adversarial examples. Such a defense approach is independent of training data and attack method, and we demonstrate its effectiveness on digital and physically realizable perturbations.


abstract: We compute the Coulomb branch of a multiloop quiver gauge theory for the quiver with a single vertex, $r$ loops, one-dimensional framing, and $\dim V=2$. We identify it with a Slodowy slice in the nilpotent cone of the symplectic Lie algebra of rank $r$. Hence it possesses a symplectic resolution with $2r$ fixed points with respect to a Hamiltonian torus action. We also idenfity its flavor deformation with a base change of the full Slodowy slice.


title: Deep Patent Landscaping Model Using Transformer and Graph Embedding

abstract: Patent landscaping is a method used for searching related patents during a research and development (R&D) project. To avoid the risk of patent infringement and to follow current trends in technology, patent landscaping is a crucial task required during the early stages of an R&D project. As the process of patent landscaping requires advanced resources and can be tedious, the demand for automated patent landscaping has been gradually increasing. However, a shortage of well-defined benchmark datasets and comparable models makes it difficult to find related research studies. In this paper, we propose an automated patent landscaping model based on deep learning. To analyze the text of patents, the proposed model uses a modified transformer structure. To analyze the metadata of patents, we propose a graph embedding method that uses a diffusion graph called Diff2Vec. Furthermore, we introduce four benchmark datasets for comparing related research studies in patent landscaping. The datasets are produced by querying Google BigQuery, based on a search formula from a Korean patent attorney. The obtained results indicate that the proposed model and datasets can attain state-of-the-art performance, as compared with current patent landscaping models.


title: Demailly's conjecture on Waldschmidt constants for sufficiently many very general points in $\mathbb{P}^n$

abstract: Let $Z$ be a finite set of $s$ points in the projective space $\mathbb{P}^n$ over an algebraically closed field $F$. For each positive integer $m$, let $\alpha(mZ)$ denote the smallest degree of nonzero homogeneous polynomials in $F[x_0,\ldots,x_n]$ that vanish to order at least $m$ at every point of $Z$. The Waldschmidt constant $\widehat{\alpha}(Z)$ of $Z$ is defined by the limit \[ \widehat{\alpha}(Z)=\lim_{m \to \infty}\frac{\alpha(mZ)}{m}. \] Demailly conjectured that \[ \widehat{\alpha}(Z)\geq\frac{\alpha(mZ)+n-1}{m+n-1}. \] Recently, Malara, Szemberg, and Szpond established Demailly's conjecture when $Z$ is very general and \[ \lfloor\sqrt[n]{s}\rfloor-2\geq m-1. \] Here we improve their result and show that Demailly's conjecture holds if $Z$ is very general and \[ \lfloor\sqrt[n]{s}\rfloor-2\ge \frac{2\varepsilon}{n-1}(m-1), \] where $0\le \varepsilon<1$ is the fractional part of $\sqrt[n]{s}$. In particular, for $s$ very general points where $\sqrt[n]{s}\in\mathbb{N}$ (namely $\varepsilon=0$), Demailly's conjecture holds for all $m\in\mathbb{N}$. We also show that Demailly's conjecture holds if $Z$ is very general and \[ s\ge\max\{n+7,2^n\}, \] assuming the Nagata-Iarrobino conjecture $\widehat{\alpha}(Z)\ge\sqrt[n]{s}$.


title: Timing information at HL-LHC: Complete determination of masses of Dark Matter and Long lived particle

abstract: A long standing problem in kinematics at the hadron colliders is to determine the mass of invisible particles. This issue is particularly important for the signals of dark matter, which becomes one of the prominent targets of future collider experiments. In this paper, we show that the additional information from the precise timing measurement, which will be available at the planned high-liminosity run of the LHC (HL-LHC), will shade new light on the kinematics study. As a concrete example, we focus on the signal of the pair produced long-lived particles ($LLP_{1,2}$), respectively leaving displaced vertex with visible ($V_{1,2}$) and invisible ($I_{1,2}$) final state, $pp \to LLP_1+LLP_2 \to (V_1+I_1)+(V_2+I_2)$. We explicitly show that this system is completely solvable with timing information.


title: A Hybrid Data Cleaning Framework using Markov Logic Networks

abstract: With the increase of dirty data, data cleaning turns into a crux of data analysis. Most of the existing algorithms rely on either qualitative techniques (e.g., data rules) or quantitative ones (e.g., statistical methods). In this paper, we present a novel hybrid data cleaning framework on top of Markov logic networks (MLNs), termed as MLNClean, which is capable of cleaning both schema-level and instance-level errors. MLNClean mainly consists of two cleaning stages, namely, first cleaning multiple data versions separately (each of which corresponds to one data rule), and then deriving the final clean data based on multiple data versions. Moreover, we propose a series of techniques/concepts, e.g., the MLN index, the concepts of reliability score and fusion score, to facilitate the cleaning process. Extensive experimental results on both real and synthetic datasets demonstrate the superiority of MLNClean to the state-of-the-art approach in terms of both accuracy and efficiency.


title: $n$-dervations of Lie color algebras

abstract: The aim of this article is to discuss the $n$-derivation algebras of Lie color algebras. It is proved that, if the base ring contains $\frac{1}{n-1}$, $L$ is a perfect Lie color algebra with zero center, then every triple derivation of $L$ is a derivation, and every $n$-derivation of the derivation algebra $nDer(L))$ is an inner derivation.


title: Distributionally Robust Selection of the Best

abstract: Specifying a proper input distribution is often a challenging task in simulation modeling. In practice, there may be multiple plausible distributions that can fit the input data reasonably well, especially when the data volume is not large. In this paper, we consider the problem of selecting the best from a finite set of simulated alternatives, in the presence of such input uncertainty. We model such uncertainty by an ambiguity set consisting of a finite number of plausible input distributions, and aim to select the alternative with the best worst-case mean performance over the ambiguity set. We refer to this problem as robust selection of the best (RSB). To solve the RSB problem, we develop a two-stage selection procedure and a sequential selection procedure; we then prove that both procedures can achieve at least a user-specified probability of correct selection under mild conditions. Extensive numerical experiments are conducted to investigate the computational efficiency of the two procedures. Finally, we apply the RSB approach to study a queueing system's staffing problem using synthetic data and an appointment-scheduling problem using real data from a large hospital in China. We find that the RSB approach can generate decisions significantly better than other widely used approaches.


title: Electric dipole polarizability of group-IIIA ions using PRCC: Large correlation effects from nonlinear terms

abstract: We compute the ground-state electric dipole polarizability of group-IIIA ions using the perturbed relativistic coupled-cluster (PRCC) theory. To account for the relativistic effects and QED corrections, we use the Dirac-Coulomb-Breit Hamiltonian with the corrections from the Uehling potential and the self-energy. The effects of triple excitations are considered perturbatively in the PRCC. Our PRCC results for $\alpha$ are good in agreement with the previous theoretical results for all the ions. From our computations we find that the nonlinear terms in PRCC have significant contributions and must be included to obtain the accurate value of $\alpha$ for group-IIIA ions. For the correction from the Breit interaction, we find that it is largest for Al$^+$ and decreases as we go towards the heavier ions. The corrections from the vacuum polarization and the self-energy increase from lighter to heavier ions.


title: Analytical Gradients for Projection-Based Wavefunction-in-DFT Embedding

abstract: Projection-based embedding provides a simple, robust, and accurate approach for describing a small part of a chemical system at the level of a correlated wavefunction method while the remainder of the system is described at the level of density functional theory. Here, we present the derivation, implementation, and numerical demonstration of analytical nuclear gradients for projection-based wavefunction-in-density functional theory (WF-in-DFT) embedding. The gradients are formulated in the Lagrangian framework to enforce orthogonality, localization, and Brillouin constraints on the molecular orbitals. An important aspect of the gradient theory is that WF contributions to the total WF-in-DFT gradient can be simply evaluated using existing WF gradient implementations without modification. Another simplifying aspect is that Kohn-Sham (KS) DFT contributions to the projection-based embedding gradient do not require knowledge of the WF calculation beyond the relaxed WF density. Projection-based WF-in-DFT embedding gradients are thus easily generalized to any combination of WF and KS-DFT methods. We provide numerical demonstration of the method for several applications, including calculation of a minimum energy pathway for a hydride transfer in a cobalt-based molecular catalyst using the nudged-elastic-band method at the CCSD-in-DFT level of theory, which reveals large differences from the transition state geometry predicted using DFT.


title: SimpleDet: A Simple and Versatile Distributed Framework for Object Detection and Instance Recognition

abstract: Object detection and instance recognition play a central role in many AI applications like autonomous driving, video surveillance and medical image analysis. However, training object detection models on large scale datasets remains computationally expensive and time consuming. This paper presents an efficient and open source object detection framework called SimpleDet which enables the training of state-of-the-art detection models on consumer grade hardware at large scale. SimpleDet supports up-to-date detection models with best practice. SimpleDet also supports distributed training with near linear scaling out of box. Codes, examples and documents of SimpleDet can be found at https://github.com/tusimple/simpledet .


title: Covert Networks: How Hard is It to Hide?

abstract: Covert networks are social networks that often consist of harmful users. Social Network Analysis (SNA) has played an important role in reducing criminal activities (e.g., counter terrorism) via detecting the influential users in such networks. There are various popular measures to quantify how influential or central any vertex is in a network. As expected, strategic and influential miscreants in covert networks would try to hide herself and her partners (called {\em leaders}) from being detected via these measures by introducing new edges. Waniek et al. show that the corresponding computational problem, called Hiding Leader, is NP-Complete for the degree and closeness centrality measures. We study the popular core centrality measure and show that the problem is NP-Complete even when the core centrality of every leader is only $3$. On the contrary, we prove that the problem becomes polynomial time solvable for the degree centrality measure if the degree of every leader is bounded above by any constant. We then focus on the optimization version of the problem and show that the Hiding Leader problem admits a $2$ factor approximation algorithm for the degree centrality measure. We complement it by proving that one cannot hope to have any $(2-\varepsilon)$ factor approximation algorithm for any constant $\varepsilon>0$ unless there is a $\varepsilon/2$ factor polynomial time algorithm for the Densest $k$-Subgraph problem which would be considered a significant breakthrough.


title: FAVE: A fast and efficient network Flow AVailability Estimation method with bounded relative error

abstract: This paper focuses on helping network providers to carry out network capacity planning and sales projection by answering the question: For a given topology and capacity, whether the network can serve current flow demands with high probabilities? We name such probability as "{\it flow availability}", and present the \underline{f}low \underline{av}ailability \underline{e}stimation (FAVE) problem, which is a generalisation of network connectivity or maximum flow reliability estimations. Realistic networks are often large and dynamic, so flow availabilities cannot be evaluated analytically and simulation is often used. However, naive Monte Carlo (MC) or importance sampling (IS) techniques take an excessive amount of time. To quickly estimate flow availabilities, we utilize the correlations among link and flow failures to figure out the importance of roles played by different links in flow failures, and design three "sequential importance sampling" (SIS) methods which achieve "bounded or even vanishing relative error" with linear computational complexities. When applying to a realistic network, our method reduces the flow availability estimation cost by 900 and 130 times compared with MC and baseline IS methods, respectively. Our method can also facilitate capacity planning by providing better flow availability guarantees, compared with traditional methods.


title: Ultraviolet Spectropolarimetry as a Tool for Understanding the Diversity of Exoplanetary Atmospheres

abstract: The polarization state of starlight reflected by a planetary atmosphere uniquely reveals coverage, particle size, and composition of aerosols as well as changing cloud patterns. It is not possible to obtain a comparable level of detailed from flux-only observations. Furthermore, polarization observations can probe the atmosphere of planets independently of the orbital geometry (i.e., transiting and non-transiting planets). We show that a high-resolution spectropolarimeter with a broad wavelength coverage, particularly if attached to a large space telescope, would enable simultaneous study of the polarimetric exoplanet properties of the continuum and to look for and characterize the polarimetric signal due to scattering from single molecules.


title: A variational approach to the inverse imaging of composite elastic materials

abstract: We introduce a framework for performing the inverse imaging of composite elastic materials. Our technique uses surface acoustic wave (SAW) boundary observations within a minimization problem to express the interior composition of the composite elastic materials. We have approached our target problem by developing mathematical and computational methods for investigating the numerical solution of the corresponding inverse problem. We also discuss a mathematical model for expressing the propagation of elastic waves through composite elastic bodies, and develop approximation schemes for investigating its numerical solutions. Using these methods, we define a cost functional for measuring the difference between simulated and given SAW data. Then, using a Lagrangian approach, we are able to determine the gradient of the cost functional and analyze the inverse imaging problem's solution as a gradient flow. The cost functional's gradient is composed of solutions to a state equation, as well as of solutions to related adjoint problems. We thus developed numerical methods for solving these problems and investigated the gradient flow of the cost functional. Our results show that the gradient flow is able to recover the interior composition of the composite, and we illustrate this fact using the numerical realization of our proposed framework.


title: Electroconvection of Thin Liquid Crystals: Model Reduction and Numerical Simulations

abstract: We propose a finite element method for the numerical simulation of electroconvection of thin liquid crystals. The liquid is located in between two concentric circular electrodes which are either assumed to be of infinite height or slim. Each configuration results in a different nonlocal electro-magnetic model defined on a two dimensional bounded domain. The numerical method consists in approximating the surface charge density, the liquid velocity and pressure, and the electric potential in the two dimensional liquid region. Finite elements for the space discretization coupled with standard time stepping methods are put forward. Unlike for the infinite electrodes configuration, our numerical simulations indicate that slim electrodes are favorable for electroconvection to occur and are able to sustain the phenomena over long period of time. Furthermore, we provide a numerical study on the influence of the three main parameters of the system: the Rayleigh number, the Prandtl number and the electrodes aspect ratio.


title: Exponential shapelets: basis functions for data analysis of isolated features

abstract: We introduce one- and two-dimensional `exponential shapelets': orthonormal basis functions that efficiently model isolated features in data. They are built from eigenfunctions of the quantum mechanical hydrogen atom, and inherit mathematics with elegant properties under Fourier transform, and hence (de)convolution. For a wide variety of data, exponential shapelets compress information better than Gauss-Hermite/Gauss-Laguerre (`shapelet') decomposition, and generalise previous attempts that were limited to 1D or circularly symmetric basis functions. We discuss example applications in astronomy, fundamental physics and space geodesy.


title: Hadoop Perfect File: A fast access container for small files with direct in disc metadata access

abstract: Storing and processing massive small files is one of the major challenges for the Hadoop Distributed File System (HDFS). In order to provide fast data access, the NameNode (NN) in HDFS maintains the metadata of all files in its main-memory. Hadoop performs well with a small number of large files that require relatively little metadata in the NN s memory. But for a large number of small files, Hadoop has problems such as NN memory overload caused by the huge metadata size of these small files. We present a new type of archive file, Hadoop Perfect File (HPF), to solve HDFS s small files problem by merging small files into a large file on HDFS. Existing archive files offer limited functionality and have poor performance when accessing a file in the merged file due to the fact that during metadata lookup it is necessary to read and process the entire index file(s). In contrast, HPF file can directly access the metadata of a particular file from its index file without having to process it entirely. The HPF index system uses two hash functions: file s metadata are distributed through index files by using a dynamic hash function and, for each index file, we build an order preserving perfect hash function that preserves the position of each file s metadata in the index file. The HPF design will only read the part of the index file that contains the metadata of the searched file during its access. HPF file also supports the file appending functionality after its creation. Our experiments show that HPF can be more than 40% faster file s access from the original HDFS. If we don t consider the caching effect, HPF s file access is around 179% faster than MapFile and 11294% faster than HAR file. If we consider caching effect, HPF is around 35% faster than MapFile and 105% faster than HAR file.


title: A Shiny New Method for SETI: Specular Reflections from Interplanetary Artifacts

abstract: Glints of light from specular reflection of the Sun are a technosignature of artificial satellites. If extraterrestrial intelligences have left artifacts in the Solar System, these may include flat mirror-like surfaces that also can glint. I describe the characteristics of the resulting flashes. An interplanetary mirror will appear illuminated for several hours, but if it is rotating, its glint may appear as a train of optical pulses. The resulting glints can be very bright, but they will be seen only if the mirror happens to reflect sunlight to the Earth. The detection of large mirrors is limited mainly by the fraction oriented to reflect sunlight toward Earth. I give rough calculations for the expected reach of each exposure of Pan-STARRS1, LSST, and Evryscope for mirror glints. A single exposure of Pan-STARRS1 has an effective reach of 10^-9 - 10^-7 AU^3 for interplanetary mirrors with effective areas of 10 m^2, depending on rotation rate. Over several years, Pan-STARRS1 might accumulate a reach ~10^5 times greater than this, as it tiles the sky and different mirrors enter and exit a favorable geometry.


title: The first nonzero eigenvalue of the $p$-Laplacian on Differential forms

abstract: we introduce a generalization of the $p$-Laplace operator to act on differential forms and generalize an estimate of Gallot-Meyer for the first nonzero eigenvalue on closed Riemannian manifolds.


title: The principle and applications of Fourier back plane imaging

abstract: Fourier back plane (FBP) imaging technique has been widely used in the frontier research of nanophotonics. In this paper, based on the diffraction theory and wave front transformation principle, the FBP imaging basic principle, the setup realization and the applications in frontier research are introduced. The paper beginnings with the primary knowledge of Fourier optics, combining with the modern microscope structure to help to understand the Fourier transformation principle in the advances of nanophotonics. It can be a reference for experimental teaching and researching.


title: Detecting causality in multivariate time series via non-uniform embedding

abstract: Causal analysis based on non-uniform embedding schemes is an important way to detect the underlying interactions between dynamic systems. However, there are still some obstacles to estimate high-dimensional conditional mutual information and form optimal mixed embedding vector in traditional non-uniform embedding schemes. In this study, we present a new non-uniform embedding method framed in information theory to detect causality for multivariate time series, named LM-PMIME, which integrates the low-dimensional approximation of conditional mutual information and the mixed search strategy for the construction of the mixed embedding vector. We apply the proposed method to simulations of linear stochastic, nonlinear stochastic, and chaotic systems, demonstrating its superiority over partial conditional mutual information from mixed embedding (PMIME) method. Moreover, the proposed method works well for multivariate time series with weak coupling strengths, especially for chaotic systems. In the actual application, we show its applicability to epilepsy multichannel electrocorticographic recordings.


title: ETGuard: Detecting D2D Attacks using Wireless Evil Twins

abstract: In this paper, we demonstrate a realistic variant of wireless Evil Twins (ETs) for launching device to device (D2D) attacks over the network, particularly for Android. We show an attack where an ET infects an Android device before the relay of network traffic through it, and disappears from the network immediately after inflicting the device. The attack leverages the captive portal facility of wireless networks to launch D2D attack. We configure an ET to launch a malicious component of an already installed app in the device on submission of the portal page. In this paper, we present an online, incremental, automated, fingerprinting based pre-association detection mechanism named as ETGuard which works as a client-server mechanism in real-time. The fingerprints are constructed from the beacon frames transmitted by the wireless APs periodically to inform client devices of their presence and capabilities in a network. Once detected, ETGuard continuously transmits deauthentication frames to prevent clients from connecting to an ET. ETGuard outperforms the existing state-of-the-art techniques from various perspectives. Our technique does not require any expensive hardware, does not modify any protocols, does not rely on any network specific parameters such as Round Trip Time (RTT), number of hops, etc., can be deployed in a real network, is incremental, and operates passively to detect ETs in real-time. To evaluate the efficiency, we deploy ETGuard in 802.11a/b/g wireless networks. The experiments are conducted using 12 different attack scenarios where each scenario differs in the source used for introducing an ET. ETGuard effectively detects ETs introduced either through a hardware, software, or mobile hotspot with high accuracy, only one false positive scenario, and no false negatives.


title: Learning Dependency Structures for Weak Supervision Models

abstract: Labeling training data is a key bottleneck in the modern machine learning pipeline. Recent weak supervision approaches combine labels from multiple noisy sources by estimating their accuracies without access to ground truth labels; however, estimating the dependencies among these sources is a critical challenge. We focus on a robust PCA-based algorithm for learning these dependency structures, establish improved theoretical recovery rates, and outperform existing methods on various real-world tasks. Under certain conditions, we show that the amount of unlabeled data needed can scale sublinearly or even logarithmically with the number of sources $m$, improving over previous efforts that ignore the sparsity pattern in the dependency structure and scale linearly in $m$. We provide an information-theoretic lower bound on the minimum sample complexity of the weak supervision setting. Our method outperforms weak supervision approaches that assume conditionally-independent sources by up to 4.64 F1 points and previous structure learning approaches by up to 4.41 F1 points on real-world relation extraction and image classification tasks.


title: Looking Under a Better Lamppost: MeV-scale Dark Matter Candidates

abstract: The era of precision cosmology has revealed that about 85% of the matter in the universe is dark matter. Two well-motivated candidates are weakly interacting massive particles (WIMPs) and weakly interacting sub-eV particles (WISPs) (e.g. axions). Both WIMPs and WISPs possess distinct {\gamma}-ray signatures. Over the last decade, data taken between 50 MeV to >300 GeV by the Fermi Large Area Telescope (Fermi-LAT) have provided stringent constraints on both classes of dark matter models. Thus far, there are no conclusive detections. However, there is an intriguing {\gamma}-ray excess associated with the Galactic center that could be explained by WIMP annihilation. At lower energies, the poor angular resolution of the Fermi-LAT makes source identification challenging, inhibiting our ability to more sensitively probe both the Galactic center excess, as well as lower-mass WIMP and WISP models. Additionally, targeted WISP searches (e.g., those probing supernovae and blazars) would greatly benefit from enhanced energy resolution and polarization measurements in the MeV range. To address these issues, a new telescope that is optimized for MeV observations is needed. Such an instrument would allow us to explore new areas of dark matter parameter space and provide unprecedented access to its particle nature.


title: On the Ball-Marsden-Slemrod obstruction for bilinear control systems

abstract: In this paper we present an extension to the case of $L^1$-controls of a famous result by Ball--Marsden--Slemrod on the obstruction to the controllability of bilinear control systems in infinite dimensional spaces.


title: Measuring the non-Gorenstein locus of Hibi rings and normal affine semigroup rings

abstract: The trace of the canonical module of a Cohen-Macaulay ring describes its non-Gorenstein locus. We study the trace of the canonical module of a Segre product of algebras, and we apply our results to compute the non-Gorenstein locus of toric rings. We provide several sufficient and necessary conditions for Hibi rings and normal semigroup rings to be Gorenstein on the punctured spectrum.


title: Syntactic approaches to opetopes

abstract: Opetopes are algebraic descriptions of shapes corresponding to compositions in higher dimensions. As such, they offer an approach to higher-dimensional algebraic structures, and in particular, to the definition of weak $\omega$-categories, which was the original motivation for their introduction by Baez and Dolan. They are classically defined inductively (as free operads in Leinster's approach, or as zoom complexes in the formalism of Kock et al.), using abstract constructions making them difficult to manipulate with a computer. In this paper, we present two purely syntactic descriptions of opetopes as sequent calculi, the first using variables to implement the compositional nature of opetopes, the second using a calculus of higher addresses. We prove that well-typed sequents in both systems are in bijection with opetopes as defined in the more traditional approaches. Additionally, we propose three variants to describe opetopic sets. We expect that the resulting structures can serve as natural foundations for mechanized tools based on opetopes.


title: Correlation Analysis for Gamma-ray (radio) and Broad Line Emissions of Fermi Blazars

abstract: In this work, we compiled a sample of 202 Fermi/LAT blazars with available broad line emissions. Out of the 202 sources, 66 have known Doppler factors. The correlation between ($\gamma$-ray) and broad-line emission, and that between radio and broad-line emission are investigated by removing the effects of redshift and beaming boosting for the whole sample and the subclasses, flat spectrum radio quasars (FSRQs) and BL Lacertae objects (BL Lacs) respectively. We obtained a strong positive correlation between ($\gamma$-ray) and broad-line emission and between radio and broad-line emission for the 202 blazars; It is worth noting that the correlation still exists after removing redshift effect. For the 66 sources with Doppler factors, there is also a positive correlation between ($\gamma$-ray) and broad-line emission after removing the Doppler factors, as well as that between radio and broad-line emission. Our analysis suggest that 1. There are strong correlations between the ($\gamma$-ray) and the broad line emission for the whole blazar sample and their subclasses. The correlations exist when the redshift effect is removed for the whole sample and their subclasses, confirming the results by Ghisellini et al. (2014) and Chen (2018). 2. For the 66 blazars with available Doppler factors, a strong correlation between the broad line emission and the Doppler factor is found. The correlation between the ($\gamma$-ray) and the broad line emission exists after the Doppler factor effect is removed. Similar results for 1 and 2 also obtained between radio and broad-line emission. 3. Our analysis suggests a robust connection between the accretion process and the jet.


title: Sequence Planner - Automated Planning and Control for ROS2-based Collaborative and Intelligent Automation Systems

abstract: Systems based on the Robot Operating System (ROS) are easy to extend with new on-line algorithms and devices. However, there is relatively little support for coordinating a large number of heterogeneous sub-systems. In this paper we propose an architecture to model and control collaborative and intelligent automation systems in a hierarchical fashion.


title: Implementation of Frequency-Severity Association in BMS Ratemaking

abstract: A Bonus-Malus System (BMS) in insurance is a premium adjustment mechanism widely used in a posteriori ratemaking process to set the premium for the next contract period based on a policyholder's claim history. The current practice in BMS implementation relies on the assumption of independence between claim frequency and severity, despite the fact that a series of recent studies report evidence of a significant frequency-severity relationship, particularly in automobile insurance. To address this discrepancy, we propose a copula-based correlated random effects model to accommodate the dependence between claim frequency and severity, and further illustrate how to incorporate such dependence into the current BMS. We derive analytical solutions to the optimal relativities under the proposed framework and provide numerical experiments based on real data analysis to assess the effect of frequency-severity dependence in BMS ratemaking.


title: Equivalents of the finitary non-deterministic inductive definitions

abstract: We present statements equivalent to some fragments of the principle of non-deterministic inductive definitions (NID) by van den Berg (2013), working in a weak subsystem of constructive set theory CZF. We show that several statements in constructive topology which were initially proved using NID are equivalent to the elementary and finitary NIDs. We also show that the finitary NID is equivalent to its binary fragment and that the elementary NID is equivalent to a variant of NID based on the notion of biclosed subset. Our result suggests that proving these statements in constructive topology requires genuine extensions of CZF with the elementary or finitary NID.


title: Graphene-based Perfect Absorbers: Systematic Design and High Tunability

abstract: Experimental realization of efficient graphene-based absorbers is a challenging task due to the low carrier mobility in processed graphene. In this paper, we circumvent this problem by placing uniform graphene sheets on metallic metasurfaces designed for improving the absorption properties of low-mobility graphene. Complete absorption can be achieved for different frequencies with the proper metasurface design. In the THz band, we observe strong tunability of the absorption frequencies and magnitudes when modulating graphene Fermi level.


title: MirrorGAN: Learning Text-to-image Generation by Redescription

abstract: Generating an image from a given text description has two goals: visual realism and semantic consistency. Although significant progress has been made in generating high-quality and visually realistic images using generative adversarial networks, guaranteeing semantic consistency between the text description and visual content remains very challenging. In this paper, we address this problem by proposing a novel global-local attentive and semantic-preserving text-to-image-to-text framework called MirrorGAN. MirrorGAN exploits the idea of learning text-to-image generation by redescription and consists of three modules: a semantic text embedding module (STEM), a global-local collaborative attentive module for cascaded image generation (GLAM), and a semantic text regeneration and alignment module (STREAM). STEM generates word- and sentence-level embeddings. GLAM has a cascaded architecture for generating target images from coarse to fine scales, leveraging both local word attention and global sentence attention to progressively enhance the diversity and semantic consistency of the generated images. STREAM seeks to regenerate the text description from the generated image, which semantically aligns with the given text description. Thorough experiments on two public benchmark datasets demonstrate the superiority of MirrorGAN over other representative state-of-the-art methods.


title: Besov and Triebel--Lizorkin spaces on Lie groups

abstract: In this paper we develop a theory of Besov and Triebel--Lizorkin spaces on general noncompact Lie groups endowed with a sub-Riemannian structure. Such spaces are defined by means of hypoelliptic sub-Laplacians with drift, and endowed with a measure whose density with respect to a right Haar measure is a continuous positive character of the group. We prove several equivalent characterizations of their norms, we establish comparison results also involving Sobolev spaces of recent introduction, and investigate their complex interpolation and algebra properties.


title: A mixed problem for the Laplace operator in a domain with moderately close holes

abstract: We investigate the behavior of the solution of a mixed problem in a domain with two moderately close holes. We introduce a positive parameter $\epsilon$ and we define a perforated domain $\Omega_{\epsilon}$ obtained by making two small perforations in an open set. Both the size and the distance of the cavities tend to $0$ as $\epsilon \to 0$. For $\epsilon$ small, we denote by $u_{\epsilon}$ the solution of a mixed problem for the Laplace equation in $\Omega_{\epsilon}$. We describe what happens to $u_{\epsilon}$ as $\epsilon \to 0$ in terms of real analytic maps and we compute an asymptotic expansion.


title: Asymptotic equidistribution and convexity for partition ranks

abstract: We study the Dyson rank function $N(r,t;n)$, the number of partitions with rank congruent to $r$ modulo $t$. We first show that it is monotonic in $n$, and then show that it equidistributed as $n \rightarrow \infty$. Using this result we prove a conjecture of Hou and Jagadeeson on the convexity of $N(r,t;n)$.


title: Better Approximations of High Dimensional Smooth Functions by Deep Neural Networks with Rectified Power Units

abstract: Deep neural networks with rectified linear units (ReLU) are getting more and more popular due to their universal representation power and successful applications. Some theoretical progress regarding the approximation power of deep ReLU network for functions in Sobolev space and Korobov space have recently been made by [D. Yarotsky, Neural Network, 94:103-114, 2017] and [H. Montanelli and Q. Du, SIAM J Math. Data Sci., 1:78-92, 2019], etc. In this paper, we show that deep networks with rectified power units (RePU) can give better approximations for smooth functions than deep ReLU networks. Our analysis bases on classical polynomial approximation theory and some efficient algorithms proposed in this paper to convert polynomials into deep RePU networks of optimal size with no approximation error. Comparing to the results on ReLU networks, the sizes of RePU networks required to approximate functions in Sobolev space and Korobov space with an error tolerance $\varepsilon$, by our constructive proofs, are in general $\mathcal{O}(\log\frac{1}{\varepsilon})$ times smaller than the sizes of corresponding ReLU networks constructed in most of the existing literature. Comparing to the classical results of Mhaskar [Mhaskar, Adv. Comput. Math. 1:61-80, 1993], our constructions use less number of activation functions and numerically more stable, they can be served as good initials of deep RePU networks and further trained to break the limit of linear approximation theory. The functions represented by RePU networks are smooth functions, so they naturally fit in the places where derivatives are involved in the loss function.


title: Varying-order NURBS discretization: An accurate and efficient method for isogeometric analysis of large deformation contact problems

abstract: In this paper, a novel varying order NURBS discretization method is proposed to enhance the performance of isogeometric analysis within the framework of computational contact mechanics. The method makes use of higher-order NURBS for contact integral evaluations. Lower-orders NURBS capable of modelling complex geometries exactly are utilized for the bulk discretization. This unexplored idea provides the possibility to refine the geometry through controllable order elevation strategy for isogeometric analysis. To achieve this, a higher-order NURBS layer is used as the contact boundary layer of the bodies. The NURBS layer is constructed using the surface refinement strategies such that it is accompanied by a large number of additional degrees of freedom and matches with the bulk parametrization. The validity of the presented isogeometric mortar contact formulation with varying-order NURBS discretization is first examined through the contact patch test. The capabilities and benefits of the proposed methodology are then demonstrated in detail using two-dimensional frictionless and frictional contact problems, considering both small and large deformations. It is shown that using the proposed method, accurate solutions can be achieved even with a coarse mesh. It is also shown that the current method requires a considerably lower computational cost compared to standard NURBS discretization while retaining robustness and stability. The simplicity of the method lends itself to be conveniently embedded in an existing isogeometric contact code after only a few minor modifications.


title: Entanglement in model independent cosmological scenario

abstract: We propose a \emph{model-independent} approach to study entanglement creation due to the dynamics between two asymptotic quantum regimes in the framework of homogeneous and isotropic universe. We realize it by Pad\'e expansion to reconstruct the functional form of scale factor, rather than postulating it a priori.This amounts to fix the Pad\'e approximants constraining the free parameters in terms of current cosmic observations. Assuming fermions, we solve the Dirac equation for massive particles and we investigate entanglement entropy in terms of modes $k$ and mass $m$. We consider two rational approximations of (1,1) and (1,2) orders, which turn out to be the most suitable choices for guaranteeing cosmic bounds. Our results show qualitative agreement with those known in literature and arising from toy models, but with sensible quantitative discrepancies. Moreover, our outcomes are model independent reconstructions which show that any higher orders departing from (1,1) do not significantly modify particle-antiparticle production (hence entanglement), if cosmic bounds are taken into account.


title: Modelling and design of highly coupled piezoelectric energy harvesters for broadband applications

abstract: This paper reports a method to design highly coupled piezoelectric energy harvesters with frequency tuning capabilities using nonlinear electrical techniques. A cantilever beam with two PMN-PT patches has been optimized thanks to both analytical modelling and Finite Element Methods (FEM). The built prototype exhibits a strong electromechanical coupling (k${}^2$=17.6%) and a figure of merit (km${}^2$Q=12.4) which allow a bandwidth corresponding to 22% of the resonant frequency value.


title: Learning Orientation-Estimation Convolutional Neural Network for Building Detection in Optical Remote Sensing Image

abstract: Benefiting from the great success of deep learning in computer vision, CNN-based object detection methods have drawn significant attentions. Various frameworks have been proposed which show awesome and robust performance for a large range of datasets. However, for building detection in remote sensing images, buildings always pose a diversity of orientations which makes it a challenge for the application of off-the-shelf methods to building detection. In this work, we aim to integrate orientation regression into the popular axis-aligned bounding-box detection method to tackle this problem. To adapt the axis-aligned bounding boxes to arbitrarily orientated ones, we also develop an algorithm to estimate the Intersection over Union (IoU) overlap between any two arbitrarily oriented boxes which is convenient to implement in Graphics Processing Unit (GPU) for accelerating computation. The proposed method utilizes CNN for both robust feature extraction and rotated bounding box regression. We present our modelin an end-to-end fashion making it easy to train. The model is formulated and trained to predict orientation, location and extent simultaneously obtaining tighter bounding box and hence, higher mean average precision (mAP). Experiments on remote sensing images of different scales shows a promising performance over the conventional one.


title: Restoration of Well-Posedness of Infinite-dimensional Singular ODE's via Noise

abstract: In this paper we aim at generalizing the results of A. K. Zvonkin and A. Y. Veretennikov on the construction of unique strong solutions of stochastic differential equations with singular drift vector field and additive noise in the Euclidean space to the case of infinite-dimensional state spaces. The regularizing driving noise in our equation is chosen to be a locally non-H\"{o}lder continuous Hilbert space valued process of fractal nature, which does not allow for the use of classical construction techniques for strong solutions from PDE or semimartingale theory. Our approach, which does not resort to the Yamada-Watanabe principle for the verification of pathwise uniqueness of solutions, is based on Malliavin calculus.


title: Non-Coherent Joint Transmission in Poisson Cellular Networks Under Pilot Contamination

abstract: This paper investigates the performance of downlink cellular networks with non-coherent joint (mutlipoint) transmissions and practical channel estimation. Under a stochastic geometry framework, the spatial average signal-to-noise-ratio (SNR) is characterized, taking into account the effect of channel estimation error due to pilot contamination. A simple, easy to compute SNR expression is obtained under the assumption of randomly generated pilot sequences and minimal prior information about the channels and positions of access points (APs). This SNR expression allows for the efficient joint optimization of critical system design parameters such as number of cooperating APs and training overhead. Among others, it is shown that multipoint transmissions are preferable to conventional (non-cooperative) cellular operation under certain operational conditions. Furthermore, analytical insights are obtained regarding (a) the minimum training overhead required to achieve a given SNR degradation compared to the perfect channel estimation case and (b) the optimal number of cooperating APs when an arbitrarily large training overhead can be afforded. For the latter, in particular, a phase transition phenomenon is identified, where the optimal number of cooperating APs is either finite or infinite, depending on whether the path loss factor is less or equal than a certain value, respectively.


title: Electrical control of spin mixing conductance in a Y$_3$Fe$_5$O$_{12}$/Platinum bilayer

abstract: We report a tunable spin mixing conductance, up to $\pm 22\%$, in a Y${}_{3}$Fe${}_{5}$O${}_{12}$/Platinum (YIG/Pt) bilayer.This control is achieved by applying a gate voltage with an ionic gate technique, which exhibits a gate-dependent ferromagnetic resonance line width. Furthermore, we observed a gate-dependent spin pumping and spin Hall angle in the Pt layer, which is also tunable up to $\pm$ 13.6\%. This work experimentally demonstrates spin current control through spin pumping and a gate voltage in a YIG/Pt bilayer, demonstrating the crucial role of the interfacial charge density for the spin transport properties in magnetic insulator/heavy metal bilayers.


title: Estimating the number and the strength of collisions in molecular dynamics

abstract: We consider the motion of a finite though large number of particles in the whole space R n. Particles move freely until they experience pairwise collisions. We use our recent theory of divergence-controlled positive symmetric tensors in order to establish two estimates regarding the set of collisions. The only information needed from the initial data is the total mass and the total energy.


title: The leading edge of a free boundary interacting with a line of fast diusion

abstract: The goal of this work is to explain an unexpected feature of the expanding level sets of the solutions of a system where a half plane, in which reaction-diusion phenomena take place, exchanges mass with a line having a large diusion of its own. The system was proposed by H. Berestycki, L. Rossi and the second author [4] as a model of enhancement of biological invasions by a line of fast diusion. It was observed numerically by A.-C. Coulon [7] that the leading edge of the front, rather than being located on the line, was in the lower half plane. We explain this behaviour for a free boundary problem much related to the system for which the simulations were made. We construct travelling waves for this problem, analyse their free boundary near the line, and prove that it has the behaviour predicted by the numerical simulations.


title: A UV and optical study of 18 old novae with Gaia DR2 distances: mass accretion rates, physical parameters, and MMRD

abstract: {We combine the results of our earlier study of the UV characteristics of 18 classical novae (CNe) with data from the literature and with the recent precise distance determinations from the Gaia satellite to investigate the statistical properties of old novae. All final parameters for the sample include a detailed treatment of the errors and their propagation. The physical properties reported here include the absolute magnitudes at maximum and minimum, a new maximum magnitude versus rate of decline (MMRD) relation, and the inclination-corrected 1100--6000-\AA\ accretion disk luminosity. Most importantly, these data have allowed us to derive a homogenous set of accretion rates in quiescence for the 18 novae. All novae in the sample were super-Eddington during outburst, with an average absolute magnitude at maximum of $-7.5\pm1.0$. The average absolute magnitude at minimum corrected for inclination is $3.9\pm1.0$. The median mass accretion rate is $\log\dot{M}_{1M\odot}=-8.52$ (using $1M\odot$ as WD mass for all novae) or $\log\dot{M}_{M_{WD}}=-8.48$ (using the individual WD masses). These values are lower than those assumed in studies of CNe evolution and appear to attenuate the need for a hibernation hypothesis to interpret the nova phenomenon. We identified a number of correlations among the physical parameters of the quiescent and eruptive phases, some already known but others new and even surprising. Several quantities correlate with the speed class $t_3$ including, unexpectedly, the mass accretion rate ($\dot{M)}$. This rate correlates also with the absolute magnitude at minimum corrected for inclination, and with the outburst amplitude, providing new and simple ways to estimate $\dot{M}$ through its functional dependence on (more) easily observed quantities. There is no correlation between $\dot{M}$ and the orbital period.}


title: Almost automorphic and asymptotically almost automorphic type functions in Lebesgue spaces with variable exponents $L^{p(x)}$

abstract: The paper introduces and studies the class of (asymptotically) Stepanov almost automorphic functions with variable exponents. Any function belonging this class needs to be (asymptotically) Stepanov almost automorphic. A few relevant applications to abstract Volterra integro-differential inclusions in Banach spaces is presented.


title: Extraction of bare Form Factors for $\mathrm B_\mathrm s \to \mathrm K \ell \nu$ Decays in non-perturbative HQET

abstract: We discuss the extraction of the ground state $\langle \mathrm{K} ({\bf p})|V_\mu(0)|\mathrm{B} ({\bf 0})\rangle$ matrix elements from Euclidean lattice correlation functions. The emphasis is on the elimination of excited state contributions. Two typical gauge-field ensembles with lattice spacings $0.075, \; 0.05$ fm and pion masses $330,\;270$ MeV are used from the O($a$)- improved CLS 2-flavour simulations and the final state momentum is $|{\bf p}|=0.5\,{\rm GeV}$. The b-quark is treated in HQET including the $1/m_\mathrm{b}$ corrections. Fits to two-point and three-point correlation functions and suitable ratios including summed ratios are used, yielding consistent results with precision of around 2% which is $not$ limited by the $1/m_\mathrm{b}$ corrections but by the dominating static form factors. Excited state contributions are under reasonable control but are the bottleneck towards precision. We do not yet include a specific investigation of multi-hadron contaminations, a gap in the literature which ought to be filled soon.


title: Scattering of electron holes in the context of ion-acoustic regime

abstract: Mutual collisions between ion-acoustic (IA) solitary waves are studied based on a fully kinetic simulation approach. Two cases, small and large relative velocity, are studied and the effect of trapped electron population on the collision process are focused upon. It is shown that, for the case of small relative velocity, the repelling force between the trapped populations of electrons results in scattering of electron holes. However, this phenomenon can not be witnessed if the relative velocity is considerably high, since the impact of trapped population stays very weak.


title: Interactive Concept Mining on Personal Data -- Bootstrapping Semantic Services

abstract: Semantic services (e.g. Semantic Desktops) are still afflicted by a cold start problem: in the beginning, the user's personal information sphere, i.e. files, mails, bookmarks, etc., is not represented by the system. Information extraction tools used to kick-start the system typically create 1:1 representations of the different information items. Higher level concepts, for example found in file names, mail subjects or in the content body of these items, are not extracted. Leaving these concepts out may lead to underperformance, having to many of them (e.g. by making every found term a concept) will clutter the arising knowledge graph with non-helpful relations. In this paper, we present an interactive concept mining approach proposing concept candidates gathered by exploiting given schemata of usual personal information management applications and analysing the personal information sphere using various metrics. To heed the subjective view of the user, a graphical user interface allows to easily rank and give feedback on proposed concept candidates, thus keeping only those actually considered relevant. A prototypical implementation demonstrates major steps of our approach.


title: Generalized almost periodic and generalized asymptotically almost periodic type functions in Lebesgue spaces with variable exponents $L^{p(x)}$

abstract: In the paper under review, we introduce the notions of various types of generalized (asymptotical) almost periodicity with variable exponents. We define and thoroughly analyze an important subclass of (asymptotically) Stepanov almost periodic functions which contains all (asymptotically) almost periodic functions. We provide a great number of relevant applications to abstract Volterra integro-differential equations in Banach spaces.


title: Quantum Parametric Resonance of a dissipative oscillator: fading and persistent memory in the long-time evolution

abstract: The evolution of a quantum oscillator, with periodically varying frequency and damping, is studied in the two cases of parametric resonance (PR) producing a limited, or unlimited stretching of the wave function. The different asymptotic behaviors of the energy distribution, show the non trivial interplay between PR and the initial quantum state. In the first case, the oscillator's mean energy tends asymptotically to a fully classical value, independent of the initial state, with vanishing relative quantum fluctuations. In the second case, the memory of the initial state persists over arbitrary long time scales, both in the mean value and in the large quantum fluctuations of the energy.


title: Designing for Reproducibility: A Qualitative Study of Challenges and Opportunities in High Energy Physics

abstract: Reproducibility should be a cornerstone of scientific research and is a growing concern among the scientific community and the public. Understanding how to design services and tools that support documentation, preservation and sharing is required to maximize the positive impact of scientific research. We conducted a study of user attitudes towards systems that support data preservation in High Energy Physics, one of science's most data-intensive branches. We report on our interview study with 12 experimental physicists, studying requirements and opportunities in designing for research preservation and reproducibility. Our findings suggest that we need to design for motivation and benefits in order to stimulate contributions and to address the observed scalability challenge. Therefore, researchers' attitudes towards communication, uncertainty, collaboration and automation need to be reflected in design. Based on our findings, we present a systematic view of user needs and constraints that define the design space of systems supporting reproducible practices.


title: Elementary subgroups of the free group are free factors - a new proof

abstract: In this note we give a new proof of the fact that an elementary subgroup (in the sense of first-order theory) of a non abelian free group $\mathbb{F}$ must be a free factor. The proof is based on definability of orbits of elements of under automorphisms of $\mathbb{F}$ fixing a large enough subset of $\mathbb{F}$.


title: On Density-Critical Matroids

abstract: For a matroid $M$ having $m$ rank-one flats, the density $d(M)$ is $\tfrac{m}{r(M)}$ unless $m = 0$, in which case $d(M)= 0$. A matroid is density-critical if all of its proper minors of non-zero rank have lower density. By a 1965 theorem of Edmonds, a matroid that is minor-minimal among simple matroids that cannot be covered by $k$ independent sets is density-critical. It is straightforward to show that $U_{1,k+1}$ is the only minor-minimal loopless matroid with no covering by $k$ independent sets. We prove that there are exactly ten minor-minimal simple obstructions to a matroid being able to be covered by two independent sets. These ten matroids are precisely the density-critical matroids $M$ such that $d(M) > 2$ but $d(N) \le 2$ for all proper minors $N$ of $M$. All density-critical matroids of density less than $2$ are series-parallel networks. For $k \ge 2$, although finding all density-critical matroids of density at most $k$ does not seem straightforward, we do solve this problem for $k=\tfrac{9}{4}$.


title: A Functional (Monadic) Second-Order Theory of Infinite Trees

abstract: This paper presents a complete axiomatization of Monadic Second-Order Logic (MSO) over infinite trees. MSO on infinite trees is a rich system, and its decidability ("Rabin's Tree Theorem") is one of the most powerful known results concerning the decidability of logics. By a complete axiomatization we mean a complete deduction system with a polynomial-time recognizable set of axioms. By naive enumeration of formal derivations, this formally gives a proof of Rabin's Tree Theorem. The deduction system consists of the usual rules for second-order logic seen as two-sorted first-order logic, together with the natural adaptation In addition, it contains an axiom scheme expressing the (positional) determinacy of certain parity games. The main difficulty resides in the limited expressive power of the language of MSO. We actually devise an extension of MSO, called Functional (Monadic) Second-Order Logic (FSO), which allows us to uniformly manipulate (hereditarily) finite sets and corresponding labeled trees, and whose language allows for higher abstraction than that of MSO.


title: Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming without Space Leaks

abstract: Functional reactive programming (FRP) is a paradigm for programming with signals and events, allowing the user to describe reactive programs on a high level of abstraction. For this to make sense, an FRP language must ensure that all programs are causal, and can be implemented without introducing space leaks and time leaks. To this end, some FRP languages do not give direct access to signals, but just to signal functions. Recently, modal types have been suggested as an alternative approach to ensuring causality in FRP languages in the synchronous case, giving direct access to the signal and event abstractions. This paper presents Simply RaTT, a new modal calculus for reactive programming. Unlike prior calculi, Simply RaTT uses a Fitch-style approach to modal types, which simplifies the type system and makes programs more concise. Echoing a previous result by Krishnaswami for a different language, we devise an operational semantics that safely executes Simply RaTT programs without space leaks. We also identify a source of time leaks present in other modal FRP languages: The unfolding of fixed points in delayed computations. These time leaks are eliminated by the Simply RaTT type system.


title: Scattering for the quadratic nonlinear Schr\"{o}dinger system in $\mathbb{R}^5$ without mass-resonance condition

abstract: We consider the quadratic nonlinear Schr\"{o}dinger system (NLS system) \begin{align*}\begin{cases} i\partial_t u + \Delta u = v \overline{u}, \\ i\partial_t v+\kappa \Delta v = u^2, \end{cases} \text{ on } I \times \mathbb{R}^5, \end{align*} where $\kappa>0$. The scattering below the standing wave solutions for NLS system was obtained by the first author when $\kappa = 1/2$. The condition of $\kappa=1/2$ is called mass-resonance. In this paper, we prove scattering below the standing wave solutions when $\kappa \neq 1/2$ under the radially symmetric assumption. Our proof is based on the concentration compactness and the rigidity by Kenig--Merle. Moreover, we discuss the concentration compactness and the rigidity for non-radial solutions.


title: Can User-Centered Reinforcement Learning Allow a Robot to Attract Passersby without Causing Discomfort?

abstract: The aim of our study was to develop a method by which a social robot can greet passersby and get their attention without causing them to suffer discomfort.A number of customer services have recently come to be provided by social robots rather than people, including, serving as receptionists, guides, and exhibitors. Robot exhibitors, for example, can explain products being promoted by the robot owners. However, a sudden greeting by a robot can startle passersby and cause discomfort to passersby.Social robots should thus adapt their mannerisms to the situation they face regarding passersby.We developed a method for meeting this requirement on the basis of the results of related work. Our proposed method, user-centered reinforcement learning, enables robots to greet passersby and get their attention without causing them to suffer discomfort (p<0.01) .The results of an experiment in the field, an office entrance, demonstrated that our method meets this requirement.


title: Guaranteed Control of Sampled Switched Systems using Semi-Lagrangian Schemes and One-Sided Lipschitz Constants

abstract: In this paper, we propose a new method for ensuring formally that a controlled trajectory stay inside a given safety set S for a given duration T. Using a finite gridding X of S, we first synthesize, for a subset of initial nodes x of X , an admissible control for which the Euler-based approximate trajectories lie in S at t $\in$ [0,T]. We then give sufficient conditions which ensure that the exact trajectories, under the same control, also lie in S for t $\in$ [0,T], when starting at initial points 'close' to nodes x. The statement of such conditions relies on results giving estimates of the deviation of Euler-based approximate trajectories, using one-sided Lipschitz constants. We illustrate the interest of the method on several examples, including a stochastic one.


title: Symmetries of vector fields: the diffeomorphism centralizer

abstract: In this paper we study the diffeomorphism centralizer of a vector field: given a vector field it is the set of diffeomorphisms that commutes with the flow. Our main theorem states that for a $C^1$-generic diffeomorphism having at most finitely many sinks or sources, the diffeomorphism centralizer is quasi-trivial. In certain cases, we can promote the quasi-triviality to triviality. We also obtain a criterion for a diffeomorphism in the centralizer to be a reparametrization of the flow.


title: High-pressure optical floating-zone growth of Li2FeSiO4 single crystals

abstract: We report the growth of mm-sized Pmnb-Li2FeSiO4 single crystals by means of the optical floating-zone method at high argon pressure and describe the conditions required for a stable growth process. The crystal structure is determined and refined by single-crystal X-ray diffraction. The lattice constants amount to a = 6.27837(3) A, b = 10.62901(6) A and c = 5.03099(3) A at 100 K. In addition, we present high-resolution neutron powder diffraction data that suggest that the slight Li-Fe site exchange seems to be intrinsic to this material. High quality of the crystal is confirmed by very sharp anomalies in the static magnetic susceptibility and in the specific heat associated with the onset of long-range antiferromagnetic order at TN = 17.0(5) K and pronounced magnetic anisotropy for the three crystallographic axes. Furthermore, magnetic susceptibility excludes the presence of sizable amounts of magnetic impurity phases.


title: Learning to Reconstruct People in Clothing from a Single RGB Camera

abstract: We present a learning-based model to infer the personalized 3D shape of people from a few frames (1-8) of a monocular video in which the person is moving, in less than 10 seconds with a reconstruction accuracy of 5mm. Our model learns to predict the parameters of a statistical body model and instance displacements that add clothing and hair to the shape. The model achieves fast and accurate predictions based on two key design choices. First, by predicting shape in a canonical T-pose space, the network learns to encode the images of the person into pose-invariant latent codes, where the information is fused. Second, based on the observation that feed-forward predictions are fast but do not always align with the input images, we predict using both, bottom-up and top-down streams (one per view) allowing information to flow in both directions. Learning relies only on synthetic 3D data. Once learned, the model can take a variable number of frames as input, and is able to reconstruct shapes even from a single image with an accuracy of 6mm. Results on 3 different datasets demonstrate the efficacy and accuracy of our approach.


title: Vanishing viscosity limit for the compressible Navier-Stokes system via measure-valued solutions

abstract: We identify a class of measure-valued solutions of the barotropic Euler system on a general (un-bounded) spatial domain as a vanishing viscosity limit for the compressible Navier-Stokes system. Then we establish the weak (measure-valued)-strong uniqueness principle, and, as a corollary, we obtain strong convergence to the Euler system on the lifespan of the strong solution.


title: The Strichartz estimates for the damped wave equation and the behavior of solutions for the energy critical nonlinear equation

abstract: For the linear damped wave equation (DW), the $L^p$-$L^q$ type estimates have been well studied. Recently, Watanabe showed the Strichartz estimates for DW when $d=2,3$. In the present paper, we give Strichartz estimates for DW in higher dimensions. Moreover, by applying the estimates, we give the local well-posedness of the energy critical nonlinear damped wave equation (NLDW) $\partial_t^2 u - \Delta u +\partial_t u = |u|^{\frac{4}{d-2}}u$, $(t,x) \in [0,T) \times \mathbb{R}^d$, where $3 \leq d \leq 5$. Especially, we show the small data global existence for NLDW. In addition, we investigate the behavior of the solutions to NLDW. Namely, we give a decay result for solutions with finite Strichartz norm and a blow-up result for solutions with negative Nehari functional.


title: Weakly symmetric stress equilibration for hyperelastic materialmodels

abstract: A stress equilibration procedure for hyperelastic material models is proposed andanalyzed in this paper. Based on the displacement-pressure approximation computed with a stable finite element pair, it constructs, in a vertex-patch-wise manner, an $H(div)$-conforming approximation to the first Piola-Kirchhoff stress. This is done in such a way that its associated Cauchy stress is weakly symmetric in the sense that its anti-symmetric part is zero tested against continuous piecewise linear functions. Our main result is the identification of the subspace of test functions perpendicular to the range of the local equilibration system on each patch which turn out to be rigid body modes associated with the current configuration. Momentum balance properties are investigated analytically and numerically and the resulting stress reconstruction is shown to provide improved results for surface traction forces by computational experiments.


title: Detection and Tracking of Small Objects in Sparse 3D Laser Range Data

abstract: Detection and tracking of dynamic objects is a key feature for autonomous behavior in a continuously changing environment. With the increasing popularity and capability of micro aerial vehicles (MAVs) efficient algorithms have to be utilized to enable multi object tracking on limited hardware and data provided by lightweight sensors. We present a novel segmentation approach based on a combination of median filters and an efficient pipeline for detection and tracking of small objects within sparse point clouds generated by a Velodyne VLP-16 sensor. We achieve real-time performance on a single core of our MAV hardware by exploiting the inherent structure of the data. Our approach is evaluated on simulated and real scans of in- and outdoor environments, obtaining results comparable to the state of the art. Additionally, we provide an application for filtering the dynamic and mapping the static part of the data, generating further insights into the performance of the pipeline on unlabeled data.


title: Probing tachyon kinks in Newton-Cartan background

abstract: In this paper, we perform a systematic analysis of tachyon condensation over string Newton-Cartan (NC) geometry by probing the background with non BPS $ Dp $ brane. We construct the \textit{finite} tachyon effective action for NC geometry and explore the dynamics associated with the tachyon kink on the world-volume of the non BPS $ Dp $ brane. We show that under certain specific assumptions, the spatial dependent tachyon condensation leads to an emerging BPS $ D(p-1) $ brane dynamics over NC background. We further compute the strees energy tensor and show the equivalence between two different $ Dp $ brane configurations in the NC limit.


title: Endpoint Strichartz estimate for the damped wave equation and its application

abstract: Recently, the Strichartz estimates for the damped wave equation was obtained by the first author except for the wave endpoint case. In the present paper, we give the Strichartz estimate in the wave endpoint case. We slightly modify the argument of Keel--Tao. Moreover, we apply the endpoint Strichartz estimate to the unconditional uniqueness for the energy critical nonlinear damped wave equation. This problem seems not to be solvable as the perturbation of the wave equation.


title: Virtual excitations in the ultra-strongly-coupled spin-boson model: physical results from unphysical modes

abstract: Here we show how, in the ultra-strongly-coupled spin-boson model, apparently unphysical "Matsubara modes" are required not only to regulate detailed balance, but also to arrive at a correct and physical description of the non-perturbative dynamics and steady-state. In particular, in the zero-temperature limit, we show that neglecting the Matsubara modes results in an erroneous emission of virtual photons from the collective ground state. To explore this difficult-to-model regime we start by using a non-perturbative hierarchical equations of motion (HEOM) approach, based on a partial fitting of the bath correlation-function which takes into account the infinite sum of Matsubara frequencies using only a biexponential function. We compare the HEOM method to both a pseudo-mode model, and the reaction coordinate (RC) mapping, which help explain the nature of the aberrations observed when Matsubara frequencies are neglected. For the pseudo-mode method we present a general proof of validity, which allows for negative Matsubara-contributions to the decomposition of the bath correlation functions to be described by zero-frequency Matsubara-modes with non-Hermitian coupling to the system. The latter obey a non-Hermitian pseudo-Schr\"odinger equation, ultimately justifying why superficially unphysical modes can give rise to physical system behavior.


title: The Knot Invariant $\Upsilon$ Using Grid Homologies

abstract: According to the idea of Ozsv\'ath, Stipsicz and Szab\'o, we define the knot invariant $\Upsilon$ without the holomorphic theory, using constructions from grid homology. We develop a homology theory using grid diagrams, and show that $\Upsilon$, as introduced this way, is a well-defined knot invariant. We reprove some important propositions using the new techniques, and show that $\Upsilon$ provides a lower bound on the unknotting number.


title: A two-dimensional metric temporal logic

abstract: We introduce a two-dimensional metric (interval) temporal logic whose internal and external time flows are dense linear orderings. We provide a suitable semantics and a sequent calculus with axioms for equality and extralogical axioms. Then we prove completeness and a semantic partial cut-elimination theorem down to formulas of a certain type.


title: Learning Fast Algorithms for Linear Transforms Using Butterfly Factorizations

abstract: Fast linear transforms are ubiquitous in machine learning, including the discrete Fourier transform, discrete cosine transform, and other structured transformations such as convolutions. All of these transforms can be represented by dense matrix-vector multiplication, yet each has a specialized and highly efficient (subquadratic) algorithm. We ask to what extent hand-crafting these algorithms and implementations is necessary, what structural priors they encode, and how much knowledge is required to automatically learn a fast algorithm for a provided structured transform. Motivated by a characterization of fast matrix-vector multiplication as products of sparse matrices, we introduce a parameterization of divide-and-conquer methods that is capable of representing a large class of transforms. This generic formulation can automatically learn an efficient algorithm for many important transforms; for example, it recovers the $O(N \log N)$ Cooley-Tukey FFT algorithm to machine precision, for dimensions $N$ up to $1024$. Furthermore, our method can be incorporated as a lightweight replacement of generic matrices in machine learning pipelines to learn efficient and compressible transformations. On a standard task of compressing a single hidden-layer network, our method exceeds the classification accuracy of unconstrained matrices on CIFAR-10 by 3.9 points -- the first time a structured approach has done so -- with 4X faster inference speed and 40X fewer parameters.


title: Regular Expressions with Backreferences: Polynomial-Time Matching Techniques

abstract: Regular expressions with backreferences (regex, for short), as supported by most modern libraries for regular expression matching, have an NP-complete matching problem. We define a complexity parameter of regex, called active variable degree, such that regex with this parameter bounded by a constant can be matched in polynomial-time. Moreover, we formulate a novel type of determinism for regex (on an automaton-theoretic level), which yields the class of memory-deterministic regex that can be matched in time O(|w|p(|r|)) for a polynomial p (where r is the regex and w the word). Natural extensions of these concepts lead to properties of regex that are intractable to check.


title: Raman sideband cooling of a single atom in an optical dipole trap: Towards theoretical optimum in a three-dimensional regime

abstract: We clarify the optimal conditions for the protocol of Raman sideband cooling (RSC) of a single atom confined with a tightly focused far-off-resonant optical dipole trap (optical tweezers). The protocol ultimately pursues cooling to a three-dimensional ground state of the confining potential. We show that the RSC protocol has to fulfil a set of critical requirements for the parameters of cooling beams and the excitation geometry to be effective in a most general three-dimensional confguration and for an atom, having initial temperature between the recoil and the Doppler bounds. We perform a numerical simulation of the Raman passage for an example of an $^{85}$Rb atom taking into account the full level structure and all possible transition channels.


title: High-Throughput CNN Inference on Embedded ARM big.LITTLE Multi-Core Processors

abstract: IoT Edge intelligence requires Convolutional Neural Network (CNN) inference to take place in the edge devices itself. ARM big.LITTLE architecture is at the heart of prevalent commercial edge devices. It comprises of single-ISA heterogeneous cores grouped into multiple homogeneous clusters that enable power and performance trade-offs. All cores are expected to be simultaneously employed in inference to attain maximal throughput. However, high communication overhead involved in parallelization of computations from convolution kernels across clusters is detrimental to throughput. We present an alternative framework called Pipe-it that employs pipelined design to split convolutional layers across clusters while limiting parallelization of their respective kernels to the assigned cluster. We develop a performance-prediction model that utilizes only the convolutional layer descriptors to predict the execution time of each layer individually on all permitted core configurations (type and count). Pipe-it then exploits the predictions to create a balanced pipeline using an efficient design space exploration algorithm. Pipe-it on average results in a 39% higher throughput than the highest antecedent throughput.


title: Revisiting classical and quantum disordered systems from the unifying perspective of large deviations

abstract: The theory of large deviations is already the natural language for the statistical physics of equilibrium and non-equilibrium. In the field of disordered systems, the analysis via large deviations is even more useful to describe within a unified perspective the typical events and the rare events that occur on various scales. In the present pedagogical introduction, we revisit various emblematic classical and quantum disordered systems in order to highlight the common underlying mechanisms from the point of view of large deviations.

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


title: A Random Walk based Trust Ranking in Distributed Systems

abstract: Honest cooperation among individuals in a network can be achieved in different ways. In online networks with some kind of central authority, such as Ebay, Airbnb, etc. honesty is achieved through a reputation system, which is maintained and secured by the central authority. These systems usually rely on review mechanisms, through which agents can evaluate the trustworthiness of their interaction partners. These reviews are stored centrally and are tamper-proof. In decentralized peer-to-peer networks, enforcing cooperation turns out to be more difficult. One way of approaching this problem is by observing cooperative biological communities in nature. One finds that cooperation among biological organisms is achieved through a mechanism called indirect reciprocity. This mechanism for cooperation relies on some shared notion of trust. In this work we aim to facilitate communal cooperation in a peer-to-peer file sharing network called Tribler, by introducing a mechanism for evaluating the trustworthiness of agents. We determine a trust ranking of all nodes in the network based on the Monte Carlo algorithm estimating the values of Google's personalized PageRank vector. We go on to evaluate the algorithm's resistance to Sybil attacks, whereby our aim is for sybils to be assigned low trust scores.


title: Conditional dynamics of optomechanical two-tone backaction-evading measurements

abstract: Backaction-evading measurements of mechanical motion can achieve precision below the zero-point uncertainty and quantum squeezing, which makes them a resource for quantum metrology and quantum information processing. We provide an exact expression for the conditional state of an optomechanical system in a two-tone backaction-evading measurement beyond the standard adiabatic approximation and perform extensive numerical simulations to go beyond the usual rotating-wave approximation. We predict the simultaneous presence of conditional mechanical squeezing, intra-cavity squeezing, and optomechanical entanglement. We further apply an analogous analysis to the multimode optomechanical system of two mechanical and one cavity mode and find conditional mechanical Einstein-Podolski-Rosen entanglement and genuinely tripartite optomechanical entanglement. Our analysis is of direct relevance for state-of-the-art optomechanical experiments that have entered the backaction-dominated regime.


title: Nanoscale domains in ionic liquids: A statistical mechanics definition for molecular dynamics studies

abstract: One of the many open questions concerning Ionic Liquids (ILs) is the existence of nanoscale supramolecular domains which characterize the bulk. The hypothesis of their existence does not meet a general consensus since their definition seems to be based on ad hoc arbitrary criteria rather than on general and solid first principles of physics. In this work, we propose a suitable definition of supramolecular domains based on first principles of statistical mechanics. Such principles can be realized through the application of a recently developed computational tool which employs adaptive molecular resolution. The method can identify the smallest region of a liquid for which the atomistic details are strictly required, while the exterior plays the role of a generic structureless thermodynamic reservoir. We consider four different imidazolium-based ILs and show that indeed one can quantitatively represent the liquid as a collection of atomistically self-contained nanodroplets embedded in a generic thermodynamic bath. Such nanodroplets express a characteristic length scale for heterogeneity in ILs.


title: Harmonic mean curvature flow and geometric inequalities

abstract: In this article, we will use the harmonic mean curvature flow to prove a new class of Alexandrov-Fenchel type inequalities for strictly convex hypersurfaces in hyperbolic space in terms of total curvature, which is the integral of Gaussian curvature on the hypersurface. We will also use the harmonic mean curvature flow to prove a new class of geometric inequalities for horospherically convex hypersurfaces in hyperbolic space. Using these new Alexandrov-Fenchel type inequalities and the inverse mean curvature flow, we obtain an Alexandrov-Fenchel inequality for strictly convex hypersurfaces in hyperbolic space, which was previously proved for horospherically convex hypersurfaces by Wang and Xia [44]. Finally, we use the mean curvature flow to prove a new Heintze-Karcher type inequality for hypersurfaces with positive Ricci curvature in hyperbolic space.


title: Large-Scale Beamforming for Massive MIMO via Randomized Sketching

abstract: Massive MIMO system yields significant improvements in spectral and energy efficiency for future wireless communication systems. The regularized zero-forcing (RZF) beamforming is able to provide good performance with the capability of achieving numerical stability and robustness to the channel uncertainty. However, in massive MIMO systems, the matrix inversion operation in RZF beamforming becomes computationally expensive. To address this computational issue, we shall propose a novel randomized sketching based RZF beamforming approach with low computational complexity. This is achieved by solving a linear system via randomized sketching based on the preconditioned Richard iteration, which guarantees high quality approximations to the optimal solution. We theoretically prove that the sequence of approximations obtained iteratively converges to the exact RZF beamforming matrix linearly fast as the number of iterations increases. Also, it turns out that the system sum-rate for such sequence of approximations converges to the exact one at a linear convergence rate. Our simulation results verify our theoretical findings.


title: Generalized Macdonald Functions on Fock Tensor Spaces and Duality Formula for Changing Preferred Direction

abstract: An explicit formula is obtained for the generalized Macdonald functions on the $N$-fold Fock tensor spaces, calculating a certain matrix element of a composition of several screened vertex operators. As an application, we prove the factorization property of the arbitrary matrix elements of the multi-valent intertwining operator (or refined topological vertex operator) associated with the Ding--Iohara--Miki algebra (DIM algebra) with respect to the generalized Macdonald functions, which was conjectured by Awata, Feigin, Hoshino, Kanai, Yanagida and one of the authors. Our proof is based on the combinatorial and analytic properties of the asymptotic eigenfunctions of the ordinary Macdonald operator of $A$-type, and the Euler transformation formula for Kajihara and Noumi's multiple basic hypergeometric series. That factorization formula provides us with a reasonable algebraic description of the 5D (K-theoretic) Alday-Gaiotto-Tachikawa (AGT) correspondence, and the interpretation of the invariance under the preferred direction from the point of view of the $SL(2,\mathbb{Z})$ duality of the DIM algebra.


title: max-projective modules

abstract: A right $R$-module $M$ is called max-projective provided that each homomorphism $f:M \to R/I$ where $I$ is any maximal right ideal, factors through the canonical projection $\pi : R \to R/I$. We call a ring $R$ right almost-$QF$ (resp. right max-$QF$) if every injective right $R$-module is $R$-projective (resp. max-projective). This paper attempts to understand the class of right almost-$QF$ (resp. right max-$QF$) rings. Among other results, we prove that a right Hereditary right Noetherian ring $R$ is right almost-$QF$ if and only if $R$ is right max-$QF$ if and only if $R=S\times T$ , where $S$ is semisimple Artinian and $T$ is right small. A right Hereditary ring is max-$QF$ if and only if every injective simple right $R$-module is projective. Furthermore, a commutative Noetherian ring $R$ is almost-$QF$ if and only if $R$ is max-$QF$ if and only if $R=A \times B$, where $A$ is $QF$ and $B$ is a small ring.


title: Running Measurement Protocol for the Quantum First-detection problem

abstract: The problem of the detection statistics of a quantum walker has received increasing interest, connected as it is to the problem of quantum search. We investigate the effect of employing a moving detector, using a projective measurement approach with fixed sampling time $\tau$, with the detector moving right before every detection attempt. For a tight-binding quantum walk on the line, the moving detector allows one to target a specific range of group velocities of the walker, qualitatively modifying the behavior of the quantum first-detection probabilities. We map the problem to that of a stationary detector with a modified unitary evolution operator and use established methods for the solution of that problem to study the first-detection statistics for a moving detector on a finite ring and on an infinite 1D lattice. On the line, the system exhibits a dynamical phase transition at a critical value of $\tau$, from a state where detection decreases exponentially in time and the total detection is very small, to a state with power-law decay and a significantly higher probability to detect the particle. The exponent describing the power-law decay of the detection probability at this critical $\tau$ is 10/3, as opposed to 3 for every larger $\tau$. In addition, the moving detector strongly modifies the Zeno effect.