title: A Performance Study of a Fast-Rate WLAN Fingerprint Measurement Collection Method

abstract: Indoor positioning systems exploiting WLAN signal measurements such as Received Signal Strength (RSS) are gaining popularity due to high accuracy of the results. Sets of RSS and other measurements at designated locations from available WLAN access points (APs) are conventionally called fingerprints and retrieved from network cards at typically one Hz rate. Such measurement collection is needed for offline radio-map surveying stage which assigns fingerprints to locations, and for online navigation stage, when collected measurements are associated with the radio-map for positioning. As WLAN network is not originally designed for localization, the network cards occasionally miss the fingerprints, measurement fluctuations necessitate statistical signal processing, and surveying process is very time consuming. This paper describes a fast measurement collection approach that addresses the mentioned problems: higher probability of measurement acquisition, more data for statistical processing and faster surveying. The approach is further analyzed for practical setting applications.


title: Iterative Joint Ptychography-Tomography with Total Variation Regularization

abstract: In order to determine the 3D structure of a thick sample, researchers have recently combined ptychography (for high resolution) and tomography (for 3D imaging) in a single experiment. 2-step methods are usually adopted for reconstruction, where the ptychography and tomography problems are often solved independently. In this paper, we provide a novel model and ADMM-based algorithm to jointly solve the ptychography-tomography problem iteratively, also employing total variation regularization. The proposed method permits large scan stepsizes for the ptychography experiment, requiring less measurements and being more robust to noise with respect to other strategies, while achieving higher reconstruction quality results.


title: A quantum categorification of the Alexander polynomial

abstract: Using a modified foam evaluation, we give a categorification of the Alexander polynomial of a knot. We also give a purely algebraic version of this knot homology which makes it appear as the infinite page of a spectral sequence starting at the reduced triply graded link homology of Khovanov--Rozansky.


title: Heat-Diffusion: Pareto Optimal Dynamic Routing for Time-Varying Wireless Networks

abstract: A dynamic routing policy, referred to as Heat-Diffusion (HD), is developed for multihop uniclass wireless networks subject to random traffic, time-varying topology and inter-channel interference.The policy uses only current condition of queue occupancies and channel states, with requiring no knowledge of traffic and topology.Besides throughput optimality, HD minimizes an average quadratic routing cost defined by endowing each channel with a time-varying cost factor. Further, HD minimizes average network delay in the class of routing policies that base decisions only on current condition of traffic congestion and channel states. Further, in this class of routing policies, HD provides a Pareto optimal tradeoff between average routing cost and average network delay, meaning that no policy can improve either one without detriment to the other. Finally, HD fluid limit follows graph combinatorial heat equation, which can open a new way to study wireless networks using heat calculus, a very active area of pure mathematics.


title: Asynchronous Coagent Networks

abstract: Coagent policy gradient algorithms (CPGAs) are reinforcement learning algorithms for training a class of stochastic neural networks called coagent networks. In this work, we prove that CPGAs converge to locally optimal policies. Additionally, we extend prior theory to encompass asynchronous and recurrent coagent networks. These extensions facilitate the straightforward design and analysis of hierarchical reinforcement learning algorithms like the option-critic, and eliminate the need for complex derivations of customized learning rules for these algorithms.


title: Finite test sets for morphisms which are square-free on some of Thue's square-free ternary words

abstract: Let $S$ be one of $\{aba,bcb\}$ and $\{aba, aca\}$, and let $w$ be an infinite square-free word over $\Sigma=\{a,b,c\}$ with no factor in $S$. Suppose that $f:\Sigma\rightarrow T^*$ is a non-erasing morphism. Word $f(w)$ is square-free if and only if $f$ is square-free on factors of $w$ of length 8 or less.


title: The SAMI Galaxy Survey: Satellite galaxies undergo little structural change during their quenching phase

abstract: At fixed stellar mass, satellite galaxies show higher passive fractions than centrals, suggesting that environment is directly quenching their star formation. Here, we investigate whether satellite quenching is accompanied by changes in stellar spin (quantified by the ratio of the rotational to dispersion velocity V/$\sigma$) for a sample of massive ($M_{*}>$10$^{10}$ M$_{\odot}$) satellite galaxies extracted from the SAMI Galaxy Survey. These systems are carefully matched to a control sample of main sequence, high $V/\sigma$ central galaxies. As expected, at fixed stellar mass and ellipticity, satellites have lower star formation rate (SFR) and spin than the control centrals. However, most of the difference is in SFR, whereas the spin decreases significantly only for satellites that have already reached the red sequence. We perform a similar analysis for galaxies in the EAGLE hydro-dynamical simulation and recover differences in both SFR and spin similar to those observed in SAMI. However, when EAGLE satellites are matched to their `true' central progenitors, the change in spin is further reduced and galaxies mainly show a decrease in SFR during their satellite phase. The difference in spin observed between satellites and centrals at $z\sim$0 is primarily due to the fact that satellites do not grow their angular momentum as fast as centrals after accreting into bigger halos, not to a reduction of $V/\sigma$ due to environmental effects. Our findings highlight the effect of progenitor bias in our understanding of galaxy transformation and they suggest that satellites undergo little structural change before and during their quenching phase.


title: KINN: Incorporating Expert Knowledge in Neural Networks

abstract: The promise of ANNs to automatically discover and extract useful features/patterns from data without dwelling on domain expertise although seems highly promising but comes at the cost of high reliance on large amount of accurately labeled data, which is often hard to acquire and formulate especially in time-series domains like anomaly detection, natural disaster management, predictive maintenance and healthcare. As these networks completely rely on data and ignore a very important modality i.e. expert, they are unable to harvest any benefit from the expert knowledge, which in many cases is very useful. In this paper, we try to bridge the gap between these data driven and expert knowledge based systems by introducing a novel framework for incorporating expert knowledge into the network (KINN). Integrating expert knowledge into the network has three key advantages: (a) Reduction in the amount of data needed to train the model, (b) provision of a lower bound on the performance of the resulting classifier by obtaining the best of both worlds, and (c) improved convergence of model parameters (model converges in smaller number of epochs). Although experts are extremely good in solving different tasks, there are some trends and patterns, which are usually hidden only in the data. Therefore, KINN employs a novel residual knowledge incorporation scheme, which can automatically determine the quality of the predictions made by the expert and rectify it accordingly by learning the trends/patterns from data. Specifically, the method tries to use information contained in one modality to complement information missed by the other. We evaluated KINN on a real world traffic flow prediction problem. KINN significantly superseded performance of both the expert and as well as the base network (LSTM in this case) when evaluated in isolation, highlighting its superiority for the task.


title: Multi-target Position and Velocity Estimation Using OFDM Communication Signals

abstract: In this paper, we consider a passive radar system that estimates the positions and velocities of multiple moving targets by using OFDM signals transmitted by a totally un-coordinated and un-synchronizated illuminator and multiple receivers. It is assumed that data demodulation is performed separately based on the direct-path signal, and the error-prone estimated data symbols are made available to the passive radar receivers, which estimate the positions and velocities of the targets in two stages. First, we formulate a problem of joint estimation of the delay-Doppler of reflectors and the demodulation errors, by exploiting two types of sparsities of the system, namely, the numbers of reflectors (i.e., targets and clutters) and demodulation errors are both small. This problem is non-convex and a conjugate gradient descent method is proposed to solve it. Then in the second stage we determine the positions and velocities of targets based on the estimated delay-Doppler in the first stage. And two methods are proposed: the first is based on numerically solving a set of nonlinear equations, while the second is based on the back propagation neural network, which is more efficient. The performance of the proposed passive OFDM radar receiver algorithm is evaluated through extensive simulations.


title: Going Deep in Medical Image Analysis: Concepts, Methods, Challenges and Future Directions

abstract: Medical Image Analysis is currently experiencing a paradigm shift due to Deep Learning. This technology has recently attracted so much interest of the Medical Imaging community that it led to a specialized conference in `Medical Imaging with Deep Learning' in the year 2018. This article surveys the recent developments in this direction, and provides a critical review of the related major aspects. We organize the reviewed literature according to the underlying Pattern Recognition tasks, and further sub-categorize it following a taxonomy based on human anatomy. This article does not assume prior knowledge of Deep Learning and makes a significant contribution in explaining the core Deep Learning concepts to the non-experts in the Medical community. Unique to this study is the Computer Vision/Machine Learning perspective taken on the advances of Deep Learning in Medical Imaging. This enables us to single out `lack of appropriately annotated large-scale datasets' as the core challenge (among other challenges) in this research direction. We draw on the insights from the sister research fields of Computer Vision, Pattern Recognition and Machine Learning etc.; where the techniques of dealing with such challenges have already matured, to provide promising directions for the Medical Imaging community to fully harness Deep Learning in the future.


title: Rectangles in latin squares

abstract: To get another from a given latin square, we have to change at least 4 entries. We show how to find these entries and how to change them.


title: TMAV: Temporal Motionless Analysis of Video using CNN in MPSoC

abstract: Analyzing video for traffic categorization is an important pillar of Intelligent Transport Systems. However, it is difficult to analyze and predict traffic based on image frames because the representation of each frame may vary significantly within a short time period. This also would inaccurately represent the traffic over a longer period of time such as the case of video. We propose a novel bio-inspired methodology that integrates analysis of the previous image frames of the video to represent the analysis of the current image frame, the same way a human being analyzes the current situation based on past experience. In our proposed methodology, called IRON-MAN (Integrated Rational prediction and Motionless ANalysis), we utilize Bayesian update on top of the individual image frame analysis in the videos and this has resulted in highly accurate prediction of Temporal Motionless Analysis of the Videos (TMAV) for most of the chosen test cases. The proposed approach could be used for TMAV using Convolutional Neural Network (CNN) for applications where the number of objects in an image is the deciding factor for prediction and results also show that our proposed approach outperforms the state-of-the-art for the chosen test case. We also introduce a new metric named, Energy Consumption per Training Image (ECTI). Since, different CNN based models have different training capability and computing resource utilization, some of the models are more suitable for embedded device implementation than the others, and ECTI metric is useful to assess the suitability of using a CNN model in multi-processor systems-on-chips (MPSoCs) with a focus on energy consumption and reliability in terms of lifespan of the embedded device using these MPSoCs.


title: A new estimator for Weibull distribution parameters: Comprehensive comparative study for Weibull Distribution

abstract: Weibull distribution has received a wide range of applications in engineering and science. The utility and usefulness of an estimator is highly subject to the field of practitioner's study. In practice users looking for their desired estimator under different setting of parameters and sample sizes. In this paper we focus on two topics. Firstly, we propose $U$-statistics for the Weibull distribution parameters. The consistency and asymptotically normality of the introduced $U$-statistics are proved theoretically and by simulations. Several of methods have been proposed for estimating the parameters of Weibull distribution in the literature. These methods include: the generalized least square type 1, the generalized least square type 2, the $L$-moments, the Logarithmic moments, the maximum likelihood estimation, the method of moments, the percentile method, the weighted least square, and weighted maximum likelihood estimation. Secondary, due to lack of a comprehensive comparison between the Weibull distribution parameters estimators, a comprehensive comparison study is made between our proposed $U$-statistics and above nine estimators. Based on simulations, it turns out that the our proposed $U$-statistics show the best performance in terms of bias for estimating the shape and scale parameters when the sample size is large.


title: Massively Parallel Benders Decomposition for Correlation Clustering

abstract: We tackle the problem of graph partitioning for image segmentation using correlation clustering (CC), which we treat as an integer linear program (ILP). We reformulate optimization in the ILP so as to admit efficient optimization via Benders decomposition, a classic technique from operations research. Our Benders decomposition formulation has many subproblems, each associated with a node in the CC instance's graph, which are solved in parallel. Each Benders subproblem enforces the cycle inequalities corresponding to the negative weight edges attached to its corresponding node in the CC instance. We generate Magnanti-Wong Benders rows in addition to standard Benders rows, to accelerate optimization. Our Benders decomposition approach provides a promising new avenue to accelerate optimization for CC, and allows for massive parallelization.


title: Cycle-Consistency for Robust Visual Question Answering

abstract: Despite significant progress in Visual Question Answering over the years, robustness of today's VQA models leave much to be desired. We introduce a new evaluation protocol and associated dataset (VQA-Rephrasings) and show that state-of-the-art VQA models are notoriously brittle to linguistic variations in questions. VQA-Rephrasings contains 3 human-provided rephrasings for 40k questions spanning 40k images from the VQA v2.0 validation dataset. As a step towards improving robustness of VQA models, we propose a model-agnostic framework that exploits cycle consistency. Specifically, we train a model to not only answer a question, but also generate a question conditioned on the answer, such that the answer predicted for the generated question is the same as the ground truth answer to the original question. Without the use of additional annotations, we show that our approach is significantly more robust to linguistic variations than state-of-the-art VQA models, when evaluated on the VQA-Rephrasings dataset. In addition, our approach outperforms state-of-the-art approaches on the standard VQA and Visual Question Generation tasks on the challenging VQA v2.0 dataset.


title: Ferroelectric driven exciton and trion modulation in monolayer MoSe2 and WSe2

abstract: In this work, we show how domain engineered lithium niobate can be used to selectively dope monolayer MoSe2 and WSe2 and demonstrate that these ferroelectric domains can significantly enhance or inhibit photoluminescence (PL) with the most dramatic modulation occurring at the heterojunction interface between two domains. A micro-PL and Raman system is used to obtain spatially resolved images of the differently doped transition metal dichalcogenides (TMDs). The domain inverted lithium niobate causes changes in the TMDs due to electrostatic doping as a result of the remnant polarization from the substrate. Moreover, the differently doped TMDs (n-type MoSe2 and p-type WSe2) exhibit opposite PL modulation. Distinct oppositely charged domains were obtained with a 9-fold PL enhancement for the same single MoSe2 sheet when adhered to the positive (P+) and negative (P-) domains. This sharp PL modulation on the ferroelectric domain results from different free electron or hole concentrations in the materials conduction band or valence band. Moreover, excitons dissociate rapidly at the interface between the P+ and P- domains due to the built-in electric field. We are able to adjust the charge on the P+ and P- domains using temperature via the pyroelectric effect and observe rapid PL quenching over a narrow temperature range illustrating the observed PL modulation is electronic in nature. This observation creates an opportunity to harness the direct bandgap TMD 2D materials as an active optical component for the lithium niobate platform using domain engineering of the lithium niobate substrate to create optically active heterostructures that could be used for photodetectors or even electrically driven optical sources on-chip.


title: Molecular rotation movie filmed with high-harmonic generation

abstract: Direct imaging of molecular dynamics is a long-standing goal in physics and chemistry. As an emerging tool, high-harmonic spectroscopy (HHS) enables accessing molecular dynamics on femtosecond to attosecond time scales. However, decoding information from the harmonic signals is usually painstaking due to the coherent nature of high-harmonic generation (HHG). Here we show that this obstacle can be effectively overcome by exploiting machine learning in HHS. Combining the machine learning with an angle-resolved HHS method, we demonstrate that the rich dynamics of molecular rotational wave packet is fully reconstructed from the angular distributions of HHG measured at various time delays of the probe pulse. The experimental retrievals are in good agreement with the numerical simulations. These findings provide a comprehensive picture of molecular rotation in space and time which will facilitate the development of related researches on molecular dynamics imaging.


title: An Adaptive Soft Plasmonic Nanosheet Resonator

abstract: Current micro nanomechanical system are usually based on rigid crystalline semiconductors that normally have high quality factors but lack adaptive responses to variable frequencies, a capability ubiquitous for communications in the biological world, such as bat and whale calls. Here, we demonstrate a soft mechanical resonator based on a freestanding organic-inorganic hybrid plasmonic superlattice nanosheet, which can respond adaptively to either incident light intensity or wavelength. This is achieved because of strong plasmonic coupling in closely-packed nanocrystals which can efficiently concentrate and convert photons into heat. The heat causes the polymer matrix to expand, leading to a change in the nanomechanical properties of the plasmonic nanosheet. Notably, the adaptive frequency responses are also reversible and the responsive ranges are fine-tunable by adjusting the constituent nanocrystal building blocks. We believe that our plasmonic nanosheets may open a new route to design next-generation intelligent bio-mimicking opto-mechanical resonance systems.


title: Entanglement entropy and computational complexity of the Anderson impurity model out of equilibrium II: driven dynamics

abstract: We study the growth of entanglement entropy and bond dimension with time in density matrix renormalization group simulations of the periodically driven single-impurity Anderson model. The growth of entanglement entropy is found to be related to the ordering of the bath orbitals in the matrix product states of the bath and to the relation of the driving period $T$ to the convergence radius of the Floquet-Magnus expansion. Reordering the bath orbitals in the matrix product state by their Floquet quasi-energy is found to reduce the exponential growth rate of the computation time at intermediate driving periods, suggesting new ways to optimize matrix product state calculations of driven systems.


title: Electronic structure and 4f-electron character in Ce2PdIn8 studied by angle-resolved photoemission spectroscopy

abstract: The localized-to-itinerant transition of f electrons lies at the heart of heavy-fermion physics, but has only been directly observed in single-layer Ce-based materials. Here, we report a comprehensive study on the electronic structure and nature of the Ce 4f electrons in the heavy-fermion superconductor Ce2PdIn8, a typical n=2 CenMmIn3n+2m compound, using high-resolution and 4d-4f resonance photoemission spectroscopies. The electronic structure of this material has been studied over a wide temperature range, and hybridization between f and conduction electrons can be clearly observed to form a Kondo resonance near the Fermi level at low temperatures. The characteristic temperature of the localized-to-itinerant transition is around 120K, which is much higher than its coherence temperature Tcoh~30K.


title: On the mod-$p$ distribution of discriminants of $G$-extensions

abstract: This paper was motivated by a recent paper by Krumm and Pollack investigating modulo-$p$ behaviour of quadratic twists with rational points of a given hyperelliptic curve, conditional on the abc-conjecture. We extend those results to twisted Galois covers with arbitrary Galois groups. The main point of this generalization is to interpret those results as statements about the sets of specializations of a given Galois cover under restrictions on the discriminant. In particular, we make a connection with existing heuristics about the distribution of discriminants of Galois extensions such as the Malle conjecture: our results show in a precise sense the non-existence of "local obstructions" to such heuristics, in many cases essentially only under the assumption that $G$ occurs as the Galois group of a Galois cover defined over $\mathbb{Q}$. This complements and generalizes a similar result in the direction of the Malle conjecture by D\`ebes.


title: When Celebrities Speak: A Nationwide Twitter Experiment Promoting Vaccination in Indonesia

abstract: Celebrity endorsements are often sought to influence public opinion. We ask whether celebrity endorsement per se has an effect beyond the fact that their statements are seen by many, and whether on net their statements actually lead people to change their beliefs. To do so, we conducted a nationwide Twitter experiment in Indonesia with 46 high-profile celebrities and organizations, with a total of 7.8 million followers, who agreed to let us randomly tweet or retweet content promoting immunization from their accounts. Our design exploits the structure of what information is passed on along a retweet chain on Twitter to parse reach versus endorsement effects. Endorsements matter: tweets that users can identify as being originated by a celebrity are far more likely to be liked or retweeted by users than similar tweets seen by the same users but without the celebrities' imprimatur. By contrast, explicitly citing sources in the tweets actually reduces diffusion. By randomizing which celebrities tweeted when, we find suggestive evidence that overall exposure to the campaign may influence beliefs about vaccination and knowledge of immunization-seeking behavior by one's network. Taken together, the findings suggest an important role for celebrity endorsement.


title: Memory effects teleportation of quantum Fisher information under decoherence

abstract: We have investigated how memory effects on the teleportation of quantum Fisher information(QFI) for a single qubit system using a class of X-states as resources influenced by decoherence channels with memory, including amplitude damping, phase-damping and depolarizing channels. Resort to the definition of QFI, we first derive the explicit analytical results of teleportation of QFI with respect to weight parameter $\theta$ and phase parameter $\phi$ under the decoherence channels. Component percentages, the teleportation of QFI for a two-qubit entanglement system has also been addressed. The remarkable similarities and differences among these two situations are also analyzed in detail and some significant results are presented.


title: Gigahertz frequency antiferromagnetic resonance and strong magnon-magnon coupling in the layered crystal CrCl3

abstract: We report broadband microwave absorption spectroscopy of the layered antiferromagnet CrCl3. We observe a rich structure of resonances arising from quasi-two-dimensional antiferromagnetic dynamics. Due to the weak interlayer magnetic coupling in this material, we are able to observe both optical and acoustic branches of antiferromagnetic resonance in the GHz frequency range and a symmetry-protected crossing between them. By breaking rotational symmetry, we further show that strong magnon-magnon coupling with large tunable gaps can be induced between the two resonant modes.


title: Numerical initial data deformation exploiting a gluing construction: I. Exterior asymptotic Schwarzschild

abstract: In this work a new numerical technique to prepare Cauchy data for the initial value problem (IVP) formulation of Einstein's field equations is presented. Directly inspired by the exterior asymptotic gluing (EAG) result of Corvino (2000) our (pseudo)-spectral scheme is demonstrated under the assumption of axisymmetry so as to fashion composite Hamiltonian constraint satisfying initial data featuring internal binary black holes (BBH) as glued to exterior Schwarzschild initial data in isotropic form. The generality of the method is illustrated in a comparison of the ADM mass of EAG initial data sets featuring internal BBHs as modelled by Brill-Lindquist and Misner data.In contrast to the recent work of Doulis and Rinne (2016), and Pook-Kolb and Giulini (2018) we do not make use of the York-Lichnerowicz conformal framework to reformulate the constraints.


title: Generalizing Laplacian Controllability of Paths

abstract: It is well known that if a network topology is a path or line and the states of vertices or nodes evolve according to the consensus policy, then the network is Laplacian controllable by an input connected to its terminal vertex. In this work a path is regarded as the resulting graph after interconnecting a finite number of two-vertex antiregular graphs and then possibly connecting one more vertex. It is shown that the single-input Laplacian controllability of a path can be extended to the case of interconnecting a finite number of $k$-vertex antiregular graphs with or without one more vertex appended, for any positive integer $k$. The methods to interconnect these antiregular graphs and to select the vertex for connecting the single input that renders the network Laplacian controllable are presented as well.


title: Breaking the Spatio-Angular Trade-off for Light Field Super-Resolution via LSTM Modelling on Epipolar Plane Images

abstract: Light-field cameras (LFC) have received increasing attention due to their wide-spread applications. However, current LFCs suffer from the well-known spatio-angular trade-off, which is considered as an inherent and fundamental limit for LFC designs. In this paper, by doing a detailed geometrical optical analysis of the sampling process in an LFC, we show that the effective sampling resolution is generally higher than the number of micro-lenses. This contribution makes it theoretically possible to break the resolution trade-off. Our second contribution is an epipolar plane image (EPI) based super-resolution method, which can super-resolve the spatial and angular dimensions simultaneously. We prove that the light field is a 2D series, thus, a specifically designed CNN-LSTM network is proposed to capture the continuity property of the EPI. Rather than leveraging semantic information, our network focuses on extracting geometric continuity in the EPI. This gives our method an improved generalization ability and makes it applicable to a wide range of previously unseen scenes. Experiments on both synthetic and real light fields demonstrate the improvements over state-of-the-art, especially in large disparity areas.


title: Revisiting the LHC reach in the displaced region of the minimal left-right symmetric model

abstract: We revisit discovery prospects for a long-lived sterile neutrino $N$ at the Large Hadron Collider (LHC) in the context of left-right symmetric theories. We focus on a displaced vertex search strategy sensitive to $\mathcal{O}$(GeV) neutrino masses produced via a right-handed $W_{R}$ boson. Both on-shell and off-shell Drell-Yan production of $W_{R}$ are considered. We estimate the reach as a function of $m_{N}$ and $m_{W_{R}}$. With $\sqrt{s}=13$ TeV and 300/fb of integrated luminosity, the LHC can probe neutrino masses as high as $\sim 30$ GeV and $m_{W_{R}}$ around 6 TeV. The reach goes up to 11.5 TeV with 3000/fb and $m_{N}\sim 45$ GeV. This represents an improvement of a factor of 2 in sensitivity with respect to earlier work.


title: Near-perfect absorber as a subwavelength thickness spatial frequency filter for optical image processing

abstract: Spatial frequency filtering is a fundamental enabler of information processing methods in biological and technical imaging. Most filtering methods, however, require either bulky and expensive optical equipment or some degree of computational processing. Here we experimentally demonstrate on-chip, all-optical spatial frequency filtering using a thin-film perfect absorber structure. We give examples of edge enhancement in an amplitude image as well as conversion of a phase gradient in a wave field into an intensity modulation.


title: Quantum Information Capsule in Multiple-Qudit Systems and Continuous-Variable Systems

abstract: Quantum correlations in an entangled many-body system are capable of storing information. Even when the information is injected by a local unitary operation to the system, the entanglement delocalizes it. In a recent study on multiple-qubit systems, it is shown that a virtual qubit defined in the correlation space plays a role of perfect storage of delocalized information, which is called a quantum information capsule (QIC). In order to enhance the capacity of quantum information storage, it is crucial to formulate the cases for multiple-qudit systems and continuous-variable (CV) systems. We analytically prove that it is possible to construct a QIC for general write operations of the systems. It turns out that the extension to quantum field theory is achievable. For Gaussian states, we explicitly construct a QIC for shift write operations. We analyze the time-evolution of QIC in a CV system to demonstrate the diffusion of information in entangled pure states.


title: Structural analysis of nuclear spin clusters via two-dimensional nanoscale nuclear magnetic resonance spectroscopy

abstract: Two-dimensional Nuclear Magnetic Resonance (NMR) is essential in molecular structure determination. The Nitrogen-Vacancy (NV) center in diamond has been proposed and developed as an outstanding quantum sensor to realize NMR in nanoscale. In this work, we develop a scheme for two-dimensional nanoscale NMR spectroscopy based on quantum controls on an NV center. We carry out a proof of principle experiment on a target of two coupled $^{13}$C nuclear spins in diamond. A COSY-like sequences is used to acquire the data on time domain, which is then converted to frequency domain with the fast Fourier transform (FFT). With the two-dimensional NMR spectrum, the structure and location of the set of nuclear spin are resolved. This work marks a fundamental step towards resolving the structure of a single molecule.


title: Probabilistic Relational Agent-based Models

abstract: PRAM puts agent-based models on a sound probabilistic footing as a basis for integrating agent-based and probabilistic models. It extends the themes of probabilistic relational models and lifted inference to incorporate dynamical models and simulation. It can also be much more efficient than agent-based simulation.


title: Strategy-Proof Approximation Algorithms for the Stable Marriage Problem with Ties and Incomplete Lists

abstract: In the stable marriage problem (SM), a mechanism that always outputs a stable matching is called a stable mechanism. One of the well-known stable mechanisms is the man-oriented Gale-Shapley algorithm (MGS). MGS has a good property that it is strategy-proof to the men's side, i.e., no man can obtain a better outcome by falsifying a preference list. We call such a mechanism a man-strategy-proof mechanism. Unfortunately, MGS is not a woman-strategy-proof mechanism. Roth has shown that there is no stable mechanism that is simultaneously man-strategy-proof and woman-strategy-proof, which is known as Roth's impossibility theorem. In this paper, we extend these results to the stable marriage problem with ties and incomplete lists (SMTI). Since SMTI is an extension of SM, Roth's impossibility theorem takes over to SMTI. Therefore, we focus on the one-sided-strategy-proofness. In SMTI, one instance can have stable matchings of different sizes, and it is natural to consider the problem of finding a largest stable matching, known as MAX SMTI. Thus we incorporate the notion of approximation ratio used in the theory of approximation algorithms. We say that a stable-mechanism is $c$-approximate-stable mechanism if it always returns a stable matching of size at least $1/c$ of a largest one. We also consider a restricted variant of MAX SMTI, which we call MAX SMTI-1TM, where only men's lists can contain ties. Our results are summarized as follows: (i) MAX SMTI admits both a man-strategy-proof 2-approximate-stable mechanism and a woman-strategy-proof 2-approximate-stable mechanism. (ii) MAX SMTI-1TM admits a woman-strategy-proof 2-approximate-stable mechanism. (iii) MAX SMTI-1TM admits a man-strategy-proof 1.5-approximate-stable mechanism. All these results are tight in terms of approximation ratios. Also, all these strategy-proofness results apply for strategy-proofness against coalitions.


title: ProxSARAH: An Efficient Algorithmic Framework for Stochastic Composite Nonconvex Optimization

abstract: We propose a new stochastic first-order algorithmic framework to solve stochastic composite nonconvex optimization problems that covers both finite-sum and expectation settings. Our algorithms rely on the SARAH estimator introduced in (Nguyen et al, 2017) and consist of two steps: a proximal gradient and an averaging step making them different from existing nonconvex proximal-type algorithms. The algorithms only require an average smoothness assumption of the nonconvex objective term and additional bounded variance assumption if applied to expectation problems. They work with both constant and adaptive step-sizes, while allowing single sample and mini-batches. In all these cases, we prove that our algorithms can achieve the best-known complexity bounds. One key step of our methods is new constant and adaptive step-sizes that help to achieve desired complexity bounds while improving practical performance. Our constant step-size is much larger than existing methods including proximal SVRG schemes in the single sample case. We also specify the algorithm to the non-composite case that covers existing state-of-the-arts in terms of complexity bounds. Our update also allows one to trade-off between step-sizes and mini-batch sizes to improve performance. We test the proposed algorithms on two composite nonconvex problems and neural networks using several well-known datasets.


title: BAREB: A Bayesian repulsive biclustering model for periodontal data

abstract: Preventing periodontal diseases (PD) and maintaining the structure and function of teeth are important goals for personal oral care. To understand the heterogeneity in patients with diverse PD patterns, we develop BAREB, a Bayesian repulsive biclustering method that can simultaneously cluster the PD patients and their tooth sites after taking the patient- and site- level covariates into consideration. BAREB uses the determinantal point process (DPP) prior to induce diversity among different biclusters to facilitate parsimony and interpretability. Since PD progression is hypothesized to be spatially-referenced, BAREB factors in the spatial dependence among tooth sites. In addition, since PD is the leading cause for tooth loss, the missing data mechanism is non-ignorable. Such nonrandom missingness is incorporated into BAREB. For the posterior inference, we design an efficient reversible jump Markov chain Monte Carlo sampler. Simulation studies show that BAREB is able to accurately estimate the biclusters, and compares favorably to alternatives. For real world application, we apply BAREB to a dataset from a clinical PD study, and obtain desirable and interpretable results. A major contribution of this paper is the Rcpp implementation of BAREB, available at https://github.com/YanxunXu/ BAREB.


title: Complexity of the circulant foliation over a graph

abstract: In the present paper, we investigate the complexity of infinite family of graphs $H_n=H_n(G_1,\,G_2,\ldots,G_m)$ obtained as a circulant foliation over a graph $H$ on $m$ vertices with fibers $G_{1},\,G_{2},\ldots,G_{m}.$ Each fiber $G_{i}=C_{n}(s_{i,1},\,s_{i,2},\ldots,s_{i,k_{i}})$ of this foliation is the circulant graph on $n$ vertices with jumps $s_{i,1},\,s_{i,2},\ldots,s_{i,k_{i}}.$ This family includes the family of generalized Petersen graphs, $I$-graphs, sandwiches of circulant graphs, discrete torus graphs and others. We obtain a closed formula for the number $\tau(n)$ of spanning trees in $H_{n}$ in terms of Chebyshev polynomials, investigate some arithmetical properties of this function and find its asymptotics as $n\to\infty.$


title: Quantitative constraints to the complete state of stress from the combined borehole and focal mechanism inversions: Fox Creek, Alberta

abstract: We develop a quantitative predictive model for the state of stress of a volume of crust encompassing the Duvernay Formation with a spatial extent of over 150 km x 150 km centred near the municipality of Fox Creek. An average direction of the maximum horizontal compression SH is of N43{\deg}E, determined from analysis of 20 borehole image logs. A model of the vertical stress SV, corrected for topographic variations, is provided from the integration of a 3D density volume constructed from 1125 density logs. The minimum horizontal compressions Sh and pore pressures PP are evaluated through analysis of 57 well tests carried out within the Duvernay Formation; 3D models developed by kriging of the observed values. Stress inversion of the focal mechanism solutions for the earthquakes nearby validated the assumed Andersonian stress regime and provided the shape-ratio of the stress which further allowed estimation of maximum horizontal compression SH. A program is provided allowing the user to calculate the full set of components necessary to describe the states of in-situ stress for a location of interest near the Duvernay formation within our study area.


title: Evaluating PEV Impact on Long-Term Cost of Grid Assets

abstract: With increasing penetration and improving fast charging technologies, Plug-in Electric Vehicles (PEV) exert a disruptive influence on power delivery systems. The impulsive and high power-density characteristics of PEV make conventional assessment methods of load impact unsuitable. This paper proposes an integrated method to investigate the long-term impact of PEV charging on temporal response and depreciation of grid assets in sub-transmission and distribution grid levels (below 69kV). Compared to conventional methods, the proposed method embeds dynamical system models of grid assets in Time-Series (TS) analysis and captures stochastic charging behavior through Monte-Carlo simulation, promising more robust and accurate assessment. Under the proposed method, the Total Cost of Ownership (TCO) of grid assets formulation is re-established. The results of this paper will enable utilities to quantify the capital and operation cost of grid assets induced under various PEV penetration level and during any time span of interest.


title: Crime Analysis using Open Source Information

abstract: In this paper, we present a method of crime analysis from open source information. We employed un-supervised methods of data mining to explore the facts regarding the crimes of an area of interest. The analysis is based on well known clustering and association techniques. The results show that the proposed method of crime analysis is efficient and gives a broad picture of the crimes of an area to analyst without much effort. The analysis is evaluated using manual approach, which reveals that the results produced by the proposed approach are comparable to the manual analysis, while a great amount of time is saved.


title: Minimal gauge invariant and gauge fixed actions for massive higher-spin fields

abstract: Inspired by the rich structure of covariant string field theory, we propose a minimal gauge invariant action for general massive integer spin n field. The action consists of four totally symmetric tensor fields of order respectively n, n-1, n-2 and n-3, and is invariant under the gauge transformation represented by two also totally symmetric fields of order n-1 and n-2. This action exactly has the same gauge structure as for the string field theory and we discuss general covariant gauge fixing procedure using the knowledge of string field theory. We explicitly construct the corresponding gauge fixed action for each of general covariant gauge fixing conditions.


title: Continuous characterizations of inhomogeneous Besov and Triebel-Lizorkin spaces associated to non-negative self-adjoint operators

abstract: Let $(M,\rho,\mu)$ be a metric measure space satisfying the doubling, reverse doubling and non-collapsing conditions, and $\mathscr{L}$ be a self-adjoint operator on $L^2 (M, d\mu)$ whose heat kernel $p_t (x,y)$ satisfy the small-time Gaussian upper bound, H\"{o}lder continuity and Markov property. In this paper, we give characterizations of inhomogeneous "classical" and "non-classical" Besov and Triebel-Lizorkin spaces associated to $\mathscr{L}$ in terms of continuous Littlewood-Paley and Lusin area functions defined by the heat semigroup, for complete range of indices. This extends related classical results for Besov and Triebel-Lizorkin spaces on $\mathbb{R}^n$ to more general setting, and extends corresponding results in [Trans. Amer. Math Soc. 367 (2015), 121-189] to complete range of indices.


title: Lipschitz Generative Adversarial Nets

abstract: In this paper, we study the convergence of generative adversarial networks (GANs) from the perspective of the informativeness of the gradient of the optimal discriminative function. We show that GANs without restriction on the discriminative function space commonly suffer from the problem that the gradient produced by the discriminator is uninformative to guide the generator. By contrast, Wasserstein GAN (WGAN), where the discriminative function is restricted to 1-Lipschitz, does not suffer from such a gradient uninformativeness problem. We further show in the paper that the model with a compact dual form of Wasserstein distance, where the Lipschitz condition is relaxed, may also theoretically suffer from this issue. This implies the importance of Lipschitz condition and motivates us to study the general formulation of GANs with Lipschitz constraint, which leads to a new family of GANs that we call Lipschitz GANs (LGANs). We show that LGANs guarantee the existence and uniqueness of the optimal discriminative function as well as the existence of a unique Nash equilibrium. We prove that LGANs are generally capable of eliminating the gradient uninformativeness problem. According to our empirical analysis, LGANs are more stable and generate consistently higher quality samples compared with WGAN.


title: A CDG-FE method for the two-dimensional Green-Naghdi model with the enhanced dispersive property

abstract: In this work, we investigate numerical solutions of the two-dimensional shallow water wave using a fully nonlinear Green-Naghdi model with an improved dispersive effect. For the purpose of numerics, the Green-Naghdi model is rewritten into a formulation coupling a pseudo-conservative system and a set of pseudo-elliptic equations. Since the pseudo-conservative system is no longer hyperbolic and its Riemann problem can only be approximately solved, we consider the utilization of the central discontinuous Galerkin method which possesses an important feature of needlessness of Riemann solvers. Meanwhile, the stationary elliptic part will be solved using the finite element method. Both the well-balanced and the positivity-preserving features which are highly desirable in the simulation of the shallow water wave will be embedded into the proposed numerical scheme. The accuracy and efficiency of the numerical model and method will be illustrated through numerical tests.


title: ForestFirewalls: Getting Firewall Configuration Right in Critical Networks (Technical Report)

abstract: Firewall configuration is critical, yet often conducted manually with inevitable errors, leaving networks vulnerable to cyber attack [40]. The impact of misconfigured firewalls can be catastrophic in Supervisory Control and Data Acquisition (SCADA) networks. These networks control the distributed assets of industrial systems such as power generation and water distribution systems. Automation can make designing firewall configurations less tedious and their deployment more reliable. In this paper, we propose ForestFirewalls, a high-level approach to configuring SCADA firewalls. Our goals are three-fold. We aim to: first, decouple implementation details from security policy design by abstracting the former; second, simplify policy design; and third, provide automated checks, pre and post-deployment, to guarantee configuration accuracy. We achieve these goals by automating the implementation of a policy to a network and by auto-validating each stage of the configuration process. We test our approach on a real SCADA network to demonstrate its effectiveness.


title: AutoQ: Automated Kernel-Wise Neural Network Quantization

abstract: Network quantization is one of the most hardware friendly techniques to enable the deployment of convolutional neural networks (CNNs) on low-power mobile devices. Recent network quantization techniques quantize each weight kernel in a convolutional layer independently for higher inference accuracy, since the weight kernels in a layer exhibit different variances and hence have different amounts of redundancy. The quantization bitwidth or bit number (QBN) directly decides the inference accuracy, latency, energy and hardware overhead. To effectively reduce the redundancy and accelerate CNN inferences, various weight kernels should be quantized with different QBNs. However, prior works use only one QBN to quantize each convolutional layer or the entire CNN, because the design space of searching a QBN for each weight kernel is too large. The hand-crafted heuristic of the kernel-wise QBN search is so sophisticated that domain experts can obtain only sub-optimal results. It is difficult for even deep reinforcement learning (DRL) Deep Deterministic Policy Gradient (DDPG)-based agents to find a kernel-wise QBN configuration that can achieve reasonable inference accuracy. In this paper, we propose a hierarchical-DRL-based kernel-wise network quantization technique, AutoQ, to automatically search a QBN for each weight kernel, and choose another QBN for each activation layer. Compared to the models quantized by the state-of-the-art DRL-based schemes, on average, the same models quantized by AutoQ reduce the inference latency by 54.06\%, and decrease the inference energy consumption by 50.69\%, while achieving the same inference accuracy.


title: On the computational models for the analysis of illicit activities

abstract: This paper presents a study on the advancement of computational models for the analysis of illicit activities. Computational models are being adapted to address a number of social problems since the development of computers. Computational model are divided into three categories and discussed that how computational models can help in analyzing the illicit activities. The present study sheds a new light on the area of research that will aid to researchers in the field as well as the law and enforcement agencies.


title: Non-linear functionals, deficient topological measures, and representation theorems on locally compact spaces

abstract: We study non-linear functionals, including quasi-linear functionals, p-conic quasi-linear functionals, d-functionals, r-functionals, and their relationships to deficient topological measures and topological measures on locally compact spaces. We prove representation theorems and show, in particular, that there is an order-preserving, conic-linear bijection between the class of finite deficient topological measures and the class of bounded p-conic quasi-linear functionals. Our results imply known representation theorems for finite topological measures and deficient topological measures. When the space is compact we obtain four equivalent definitions of a quasi-linear functional and four equivalent definitions of functionals corresponding to deficient topological measures.


title: The Impact of Power-Electronics-Based Load Dynamics on Large-disturbance Voltage Stability

abstract: This paper establishes a new context where the power-electronics-based (PE-based) load, represented by Plug-in Electric Vehicles, dominates the total load composition in power systems. The inherent fast dynamics of PE-based load make conventional approaches of voltage stability analysis unsuitable. Under the new context, the mechanism and impacts of voltage instability under large disturbances have been analytically revealed. The Region of Attraction (ROA) of the stable equilibrium point has been estimated through nonlinear dynamical system theories, which implies a critical clearing time post grid disturbance.


title: Lightweight Feature Fusion Network for Single Image Super-Resolution

abstract: Single image super-resolution(SISR) has witnessed great progress as convolutional neural network(CNN) gets deeper and wider. However, enormous parameters hinder its application to real world problems. In this letter, We propose a lightweight feature fusion network (LFFN) that can fully explore multi-scale contextual information and greatly reduce network parameters while maximizing SISR results. LFFN is built on spindle blocks and a softmax feature fusion module (SFFM). Specifically, a spindle block is composed of a dimension extension unit, a feature exploration unit and a feature refinement unit. The dimension extension layer expands low dimension to high dimension and implicitly learns the feature maps which is suitable for the next unit. The feature exploration unit performs linear and nonlinear feature exploration aimed at different feature maps. The feature refinement layer is used to fuse and refine features. SFFM fuses the features from different modules in a self-adaptive learning manner with softmax function, making full use of hierarchical information with a small amount of parameter cost. Both qualitative and quantitative experiments on benchmark datasets show that LFFN achieves favorable performance against state-of-the-art methods with similar parameters.


title: Quantum Trapping on MoS2 through Lifetimes of Resonant Electrons: Revealing Pauli Exclusion Principle

abstract: We demonstrate that the linewidth of the field emission resonance (FER) observed on the surface of MoS2 using scanning tunneling microscopy can vary by up to one order of magnitude with an increase in the electric field. This unusual phenomenon originates from quantum trapping, where the electron relaxed from the resonant electron in the FER is momentarily trapped in the potential well on the MoS2 surface. Because the relaxed electron and the resonant electron have the same spin and the action of the Pauli exclusion principle, the lifetimes of the resonant electrons can be substantially prolonged when the relaxed electrons engage in the resonance trapping. The linewidth of the FER is thus shrunk considerably to as narrow as 12 meV. Moreover, it was found that the valley intensities around the FER are zero, indicating that MoS2 has an energy gap above the vacuum level. By using the energies of FERs, the potential of the band bending in the MoS2 interior can be measured precisely.


title: Learning to Adaptively Scale Recurrent Neural Networks

abstract: Recent advancements in recurrent neural network (RNN) research have demonstrated the superiority of utilizing multiscale structures in learning temporal representations of time series. Currently, most of multiscale RNNs use fixed scales, which do not comply with the nature of dynamical temporal patterns among sequences. In this paper, we propose Adaptively Scaled Recurrent Neural Networks (ASRNN), a simple but efficient way to handle this problem. Instead of using predefined scales, ASRNNs are able to learn and adjust scales based on different temporal contexts, making them more flexible in modeling multiscale patterns. Compared with other multiscale RNNs, ASRNNs are bestowed upon dynamical scaling capabilities with much simpler structures, and are easy to be integrated with various RNN cells. The experiments on multiple sequence modeling tasks indicate ASRNNs can efficiently adapt scales based on different sequence contexts and yield better performances than baselines without dynamical scaling abilities.


title: Record-high photocatalytic rate at single atomic metal oxide

abstract: Metal oxides have been extensively investigated and applied in environmental remediation and protection, energy conversion and storage. Most of these diverse applications are results of a large diversity of the electronic states of metal oxides. Noticeably, however, numerous metal oxides have obstacles for applications in catalysis because of low density of active sites in these materials. Size reduction of oxide catalyst is a strategy to improve the active site density. Here, we demonstrate the fabrication of single atomic metal oxide in which the oxide size reaches its minimum. However, the catalytic mechanism in this SATO is determined by a quasi atom physics which is fundamentally distinct from the traditional size effect, and also is in contrast to the standard condensed matter physics. SATO results in a record high and stable sunlight photocatalytic degradation rate of 0.24, which exceeds those of available photocatalysis by approximately two orders of magnitude. The photocatalytic process is enabled by a quasi atom physical mechanism, in which, an electron in the spin up channel is excited from HOMO to LUMO+1 state, which can only occur in SATO with W5+.


title: Bi-directional Value Learning for Risk-aware Planning Under Uncertainty: Extended Version

abstract: Decision-making under uncertainty is a crucial ability for autonomous systems. In its most general form, this problem can be formulated as a Partially Observable Markov Decision Process (POMDP). The solution policy of a POMDP can be implicitly encoded as a value function. In partially observable settings, the value function is typically learned via forward simulation of the system evolution. Focusing on accurate and long-range risk assessment, we propose a novel method, where the value function is learned in different phases via a bi-directional search in belief space. A backward value learning process provides a long-range and risk-aware base policy. A forward value learning process ensures local optimality and updates the policy via forward simulations. We consider a class of scalable and continuous-space rover navigation problems (RNP) to assess the safety, scalability, and optimality of the proposed algorithm. The results demonstrate the capabilities of the proposed algorithm in evaluating long-range risk/safety of the planner while addressing continuous problems with long planning horizons.


title: Collective oscillation modes of a superfluid Bose-Fermi mixture

abstract: In this work, we present a theoretical study for the collective oscillation modes, i.e. quadrupole, radial and axial mode, of a mixture of Bose and Fermi superfluids in the crossover from a Bardeen-Cooper-Schrieffer (BCS) superfluid to a molecular Bose-Einstein condensate (BEC) in harmonic trapping potentials with cylindrical symmetry of experimental interest. To this end, we start from the coupled superfluid hydrodynamic equations for the dynamics of Bose-Fermi superfluid mixtures and use the scaling theory that has been developed for a coupled system. The collective oscillation modes of Bose-Fermi superfluid mixtures are found to crucially depend on the overlap integrals of the spatial derivations of density profiles of the Bose and Fermi superfluids at equilibrium. We not only present the explicit expressions for the overlap density integrals, as well as the frequencies of the collective modes provided that the effective Bose-Fermi coupling is weak, but also test the valid regimes of the analytical approximations by numerical calculations in realistic experimental conditions. In the presence of a repulsive Bose-Fermi interaction, we find that the frequencies of the three collective modes of the Bose and Fermi superfluids are all upshifted, and the change speeds of the frequency shifts in the BCS-BEC crossover can characterize the different groundstate phases of the Bose-Fermi superfluid mixtures for different trap geometries.


title: Enhancing CdTe Solar Cell Performance by Reducing the "Ideal" Bandgap of CdTe through CdTe1-xSex Alloying

abstract: CdTe is one of the leading materials for low cost, high efficiency thin-film solar cells, because it has a high absorption coefficient and a nearly ideal band gap of 1.48 eV for solar cell according to the Shockley-Queisser limit. However, its solar to electricity power conversion efficiency (PCE) is hindered by the relatively low open circuit voltage (VOC) due to intrinsic defect related issues. Here, we propose the strategy of improving CdTe solar cell performance byr reducing the "ideal" band gap of CdTe to gain more short-circuit current from long-wavelength absorption without sacrificing much VOC. Alloying CdTe with CdSe seems to be the most appropriate approach to reduce the band gap because of the large optical bowing and relatively small lattice mismatch in this system, even though CdSe has larger band gap than CdTe. Using the first principle hybrid functional calculation, we find that the minimum band gap of the CdTe1-xSex alloy can be reduced from 1.48 eV at x=0 to 1.39 eV at x=0.32. We also show that the formation of the alloy can improve the defect property, for example, p-type doping of CdTe by CuCd can be greatly enhanced by the alloying effects.


title: On a conjecture of Bondy and Vince

abstract: Twenty years ago Bondy and Vince conjectured that for any nonnegative integer $k$, except finitely many counterexamples, every graph with $k$ vertices of degree less than three contains two cycles whose lengths differ by one or two. The case $k\leq 2$ was proved by Bondy and Vince, which resolved an earlier conjecture of Erd\H{o}s et. al.. In this paper we confirm this conjecture for all $k$.


title: How transcranial direct current stimulation facilitates post-stroke rehabilitation

abstract: Whether transcranial direct current stimulation (tDCS) benefits stroke rehabilitation remains unclear. To investigate how tDCS reorganizes brain circuitry, nineteen post-stroke patients underwent rehabilitation sessions with bi-hemispheric real vs sham tDCS intervention. Resting motor threshold measurements showed tDCS evoked higher excitability in the motor cortex that enhanced the descending conduction from the lesioned primary motor cortex to the target hand muscle. Granger causality analysis further revealed brain circuitry rewiring among the lesioned cerebellum, premotor, and primary motor cortex in the tDCS group compared to the sham owing to the newly formed connections close to the anodal electrode. Rebuilding of these critical pathways was clear via the increase of event related desynchronisation (ERD) and white matter integrity in the same lesioned region. Furthermore, only the tDCS group demonstrated a positive recovery trend in the penumbra regions by the longitudinal functional magnetic resonance imaging (fMRI) analysis. To interpret tDCS mechanism, we introduce a polarized gamma-aminobutyric acid (GABA) theory, where GABAA receptor activity depends on the orientation of dipolar GABA that can be manipulated by tDCS field. Results suggest that tDCS intervention lowers motor excitability via re-orienting GABA, leading to reorganization of the lesioned cortical network, and the motor descending pathway, finally the recovery of motor function.


title: Network Offloading Policies for Cloud Robotics: a Learning-based Approach

abstract: Today's robotic systems are increasingly turning to computationally expensive models such as deep neural networks (DNNs) for tasks like localization, perception, planning, and object detection. However, resource-constrained robots, like low-power drones, often have insufficient on-board compute resources or power reserves to scalably run the most accurate, state-of-the art neural network compute models. Cloud robotics allows mobile robots the benefit of offloading compute to centralized servers if they are uncertain locally or want to run more accurate, compute-intensive models. However, cloud robotics comes with a key, often understated cost: communicating with the cloud over congested wireless networks may result in latency or loss of data. In fact, sending high data-rate video or LIDAR from multiple robots over congested networks can lead to prohibitive delay for real-time applications, which we measure experimentally. In this paper, we formulate a novel Robot Offloading Problem --- how and when should robots offload sensing tasks, especially if they are uncertain, to improve accuracy while minimizing the cost of cloud communication? We formulate offloading as a sequential decision making problem for robots, and propose a solution using deep reinforcement learning. In both simulations and hardware experiments using state-of-the art vision DNNs, our offloading strategy improves vision task performance by between 1.3-2.6x of benchmark offloading strategies, allowing robots the potential to significantly transcend their on-board sensing accuracy but with limited cost of cloud communication.


title: Long-distance entangling gates between quantum dot spins mediated by a superconducting resonator

abstract: Recent experiments with silicon qubits demonstrated strong coupling of a microwave resonator to the spin of a single electron in a double quantum dot, opening up the possibility of long-range spin-spin interactions. We present our theoretical calculation of effective interactions between distant quantum dot spins coupled by a resonator, and propose a protocol for fast, high-fidelity two-qubit gates consistent with experimentally demonstrated capabilities. Our simulations show that, in the presence of noise, spin-spin entangling gates significantly outperform cavity-mediated gates on charge qubits.


title: Deep Spiking Neural Network with Spike Count based Learning Rule

abstract: Deep spiking neural networks (SNNs) support asynchronous event-driven computation, massive parallelism and demonstrate great potential to improve the energy efficiency of its synchronous analog counterpart. However, insufficient attention has been paid to neural encoding when designing SNN learning rules. Remarkably, the temporal credit assignment has been performed on rate-coded spiking inputs, leading to poor learning efficiency. In this paper, we introduce a novel spike-based learning rule for rate-coded deep SNNs, whereby the spike count of each neuron is used as a surrogate for gradient backpropagation. We evaluate the proposed learning rule by training deep spiking multi-layer perceptron (MLP) and spiking convolutional neural network (CNN) on the UCI machine learning and MNIST handwritten digit datasets. We show that the proposed learning rule achieves state-of-the-art accuracies on all benchmark datasets. The proposed learning rule allows introducing latency, spike rate and hardware constraints into the SNN learning, which is superior to the indirect approach in which conventional artificial neural networks are first trained and then converted to SNNs. Hence, it allows direct deployment to the neuromorphic hardware and supports efficient inference. Notably, a test accuracy of 98.40% was achieved on the MNIST dataset in our experiments with only 10 simulation time steps, when the same latency constraint is imposed during training.


title: Open-string singlet interaction as pomeron in elastic $pp, p\bar{p}$ scattering

abstract: We consider contributions of the open-string singlet~(OSS) interaction to the proton-proton scattering. Modelling baryon and meson as instanton and open string in the effective QCD string model, the typical pomeron is identified with a massive spin-2 closed string. According to the open-closed string duality, the massive spin-2 closed string is accompanied by the open-string singlet interaction with universal coupling. The flat space 4-point open-string singlet amplitudes and cross sections are computed in the Regge limit. Including both the open and closed string pomerons, we fit the differential cross-section with experimental data of the proton-proton and proton-antiproton scattering from the CDF, E-710, D0, LHC-ATLAS and LHC-TOTEM collaborations. The fitting results show the universality of the string mass scale~(or string tension) and consistency of the string model between the open and closed string parameters in describing the $pp$ and $p\bar{p}$ scattering in the Regge limit. The fitting of the string model to experimental data gives the string scale $M_{S}\simeq 1.7-1.8$ GeV and the corresponding glueball pole mass $m_{g}\simeq 1.6-1.7$ GeV. This lies within experimental values of the observed $2^{++}, I=0$ "meson" masses.


title: Efficient Deep Learning of GMMs

abstract: We show that a collection of Gaussian mixture models (GMMs) in $R^{n}$ can be optimally classified using $O(n)$ neurons in a neural network with two hidden layers (deep neural network), whereas in contrast, a neural network with a single hidden layer (shallow neural network) would require at least $O(\exp(n))$ neurons or possibly exponentially large coefficients. Given the universality of the Gaussian distribution in the feature spaces of data, e.g., in speech, image and text, our result sheds light on the observed efficiency of deep neural networks in practical classification problems.


title: Computing Minimal Presentations and Bigraded Betti Numbers of 2-Parameter Persistent Homology

abstract: Motivated by applications to topological data analysis, we give an efficient algorithm for computing a (minimal) presentation of a bigraded $K[x,y]$-module $M$, where $K$ is a field. The algorithm takes as input a short chain complex of free modules $X\xrightarrow{f} Y \xrightarrow{g} Z$ such that $M\cong \ker{g}/\mathrm{im}{f}$. It runs in time $O(|X|^3+|Y|^3+|Z|^3)$ and requires $O(|X|^2+|Y|^2+|Z|^2)$ memory, where $|\cdot |$ denotes the rank. Given the presentation computed by our algorithm, the bigraded Betti numbers of $M$ are readily computed. Our approach is based on a simple matrix reduction algorithm, slight variants of which compute kernels of morphisms between free modules, minimal generating sets, and Gr\"obner bases. Our algorithm for computing minimal presentations has been implemented in RIVET, a software tool for the visualization and analysis of two-parameter persistent homology. In experiments on topological data analysis problems, our implementation outperforms the standard computational commutative algebra packages Singular and Macaulay2 by a wide margin.


title: Quantum Geometry I : Basics of Loop Quantum Gravity. The Quantum Polyhedra

abstract: General Relativity describes gravity in geometrical terms. This suggests that quantizing such theory is the same as quantizing geometry. The subject can therefore be called quantum geometry and one may think that mathematicians are responsible of this subject. Unfortunately, most mathematicians are not aware of this beautiful area of study. Here we give a basic introduction to what quantum geometry means to a community working in a theory known as loop quantum gravity. It is directed towards graduate or upper students of physics and mathematics. We do it from a point of view of a mathematician.


title: Constrained Risk Budgeting Portfolios: Theory, Algorithms, Applications & Puzzles

abstract: This article develops the theory of risk budgeting portfolios, when we would like to impose weight constraints. It appears that the mathematical problem is more complex than the traditional risk budgeting problem. The formulation of the optimization program is particularly critical in order to determine the right risk budgeting portfolio. We also show that numerical solutions can be found using methods that are used in large-scale machine learning problems. Indeed, we develop an algorithm that mixes the method of cyclical coordinate descent (CCD), alternating direction method of multipliers (ADMM), proximal operators and Dykstra's algorithm. This theoretical body is then applied to some investment problems. In particular, we show how to dynamically control the turnover of a risk parity portfolio and how to build smart beta portfolios based on the ERC approach by improving the liquidity of the portfolio or reducing the small cap bias. Finally, we highlight the importance of the homogeneity property of risk measures and discuss the related scaling puzzle.


title: Detection of Hermitian connections in wave equations with cubic non-linearity

abstract: We consider the geometric non-linear inverse problem of recovering a Hermitian connection $A$ from the source-to-solution map of the cubic wave equation $\Box_{A}\phi+\kappa |\phi|^{2}\phi=f$, where $\kappa\neq 0$ and $\Box_{A}$ is the connection wave operator in the Minkowski space $\mathbb{R}^{1+3}$. The equation arises naturally when considering the Yang-Mills-Higgs equations with Mexican hat type potentials. Our proof exploits the microlocal analysis of nonlinear wave interactions, but instead of employing information contained in the geometry of the wave front sets as in previous literature, we study the principal symbols of waves generated by suitable interactions. Moreover, our approach relies on inversion of a novel non-abelian broken light ray transform.


title: On the Euler--Maruyama scheme for degenerate stochastic differential equations with non-sticky condition

abstract: The aim of this paper is to study weak and strong convergence of the Euler--Maruyama scheme for a solution of one-dimensional degenerate stochastic differential equation $\mathrm{d} X_t=\sigma(X_t) \mathrm{d} W_t$ with non-sticky condition. For proving this, we first prove that the Euler--Maruyama scheme also satisfies non-sticky condition. As an example, we consider stochastic differential equation $\mathrm{d} X_t=|X_t|^{\alpha} \mathrm{d} W_t$, $\alpha \in (0,1/2)$ with non-sticky boundary condition and we give some remarks on CEV models in mathematical finance.


title: A Mean-field Approach for Controlling Singularly Perturbed Multi-population SIS Epidemics

abstract: We consider a multi-population epidemic model with one or more (almost) isolated communities and one mobile community. Each of the isolated communities has contact within itself and, in addition, contact with the outside world but only through the mobile community. The contact rate between the mobile community and the other communities is assumed to be controlled. We first derive a multidimensional ordinary differential equation (ODE) as a mean-field fluid approximation to the process of the number of infected nodes, after appropriate scaling. We show that the approximation becomes tight as the sizes of the communities grow. We then use a singular perturbation approach to reduce the dimension of the ODE and identify an optimal control policy on this system over a fixed time horizon via Pontryagin's minimum principle. We then show that this policy is close to optimal, within a certain class, on the original problem for large enough communities. From a phenomenological perspective, we show that the epidemic may sustain in time in all communities (and thus the system has a nontrivial metastable regime) even though in the absence of the mobile nodes the epidemic would die out quickly within each of the isolated communities.


title: FALP: Fast beam alignment in mmWave systems with low-resolution phase shifters

abstract: Millimeter wave (mmWave) systems can enable high data rates if the link between the transmitting and receiving radios is configured properly. Fast configuration of mmWave links, however, is challenging due to the use of large antenna arrays and hardware constraints. For example, a large amount of training overhead is incurred by exhaustive search-based beam alignment in typical mmWave phased arrays. In this paper, we present a framework called FALP for Fast beam Alignment with Low-resolution Phase shifters. FALP uses an efficient set of antenna weight vectors to acquire channel measurements, and allows faster beam alignment when compared to exhaustive scan. The antenna weight vectors in FALP can be realized in ultra-low power phase shifters whose resolution can be as low as one-bit. From a compressed sensing (CS) perspective, the CS matrix designed in FALP satisfies the restricted isometry property and allows CS algorithms to exploit the fast Fourier transform. The proposed framework also establishes a new connection between channel acquisition in phased arrays and magnetic resonance imaging.


title: Generating Natural Language Explanations for Visual Question Answering using Scene Graphs and Visual Attention

abstract: In this paper, we present a novel approach for the task of eXplainable Question Answering (XQA), i.e., generating natural language (NL) explanations for the Visual Question Answering (VQA) problem. We generate NL explanations comprising of the evidence to support the answer to a question asked to an image using two sources of information: (a) annotations of entities in an image (e.g., object labels, region descriptions, relation phrases) generated from the scene graph of the image, and (b) the attention map generated by a VQA model when answering the question. We show how combining the visual attention map with the NL representation of relevant scene graph entities, carefully selected using a language model, can give reasonable textual explanations without the need of any additional collected data (explanation captions, etc). We run our algorithms on the Visual Genome (VG) dataset and conduct internal user-studies to demonstrate the efficacy of our approach over a strong baseline. We have also released a live web demo showcasing our VQA and textual explanation generation using scene graphs and visual attention.


title: Comparison of Splitting methods for Gross-Pitaevskii Equation

abstract: In this paper, we discuss the different splitting approaches to solve the Gross-Pitaevskii equation numerically. We consider conservative finite-difference schemes and spectral methods for the spatial discretisation. Further, we apply implicit or explicit time-integrators and combine such schemes with different splitting approaches. The numerical solutions are compared based on the conservation of the $L_2$-norm with the analytical solutions. The advantages of the splitting methods for large time-domains are presented in several numerical examples of different solitons applications.


title: A New Smoothing Technique based on the Parallel Concatenation of Forward/Backward Bayesian Filters: Turbo Smoothing

abstract: Recently, a novel method for developing filtering algorithms, based on the parallel concatenation of Bayesian filters and called turbo filtering, has been proposed. In this manuscript we show how the same conceptual approach can be exploited to devise a new smoothing method, called turbo smoothing. A turbo smoother combines a turbo filter, employed in its forward pass, with the parallel concatenation of two backward information filters used in its backward pass. As a specific application of our general theory, a detailed derivation of two turbo smoothing algorithms for conditionally linear Gaussian systems is illustrated. Numerical results for a specific dynamic system evidence that these algorithms can achieve a better complexity-accuracy tradeoff than other smoothing techniques recently appeared in the literature.


title: Two-Stage Transfer Learning for Heterogeneous Robot Detection and 3D Joint Position Estimation in a 2D Camera Image using CNN

abstract: Collaborative robots are becoming more common on factory floors as well as regular environments, however, their safety still is not a fully solved issue. Collision detection does not always perform as expected and collision avoidance is still an active research area. Collision avoidance works well for fixed robot-camera setups, however, if they are shifted around, Eye-to-Hand calibration becomes invalid making it difficult to accurately run many of the existing collision avoidance algorithms. We approach the problem by presenting a stand-alone system capable of detecting the robot and estimating its position, including individual joints, by using a simple 2D colour image as an input, where no Eye-to-Hand calibration is needed. As an extension of previous work, a two-stage transfer learning approach is used to re-train a multi-objective convolutional neural network (CNN) to allow it to be used with heterogeneous robot arms. Our method is capable of detecting the robot in real-time and new robot types can be added by having significantly smaller training datasets compared to the requirements of a fully trained network. We present data collection approach, the structure of the multi-objective CNN, the two-stage transfer learning training and test results by using real robots from Universal Robots, Kuka, and Franka Emika. Eventually, we analyse possible application areas of our method together with the possible improvements.


title: Finite quasiprimitive permutation groups with a metacyclic transitive subgroup

abstract: In this paper, we classify finite quasiprimitive permutation groups with a metacyclic transitive subgroup, solving a problem initiated by Wielandt in 1949. It also involves the classification of factorizations of almost simple groups with a metacyclic factor.


title: Descriptive complexity for minimal time of cellular automata

abstract: Descriptive complexity may be useful to design programs in a natural declarative way. This is important for parallel computation models such as cellular automata, because designing parallel programs is considered difficult. Our paper establishes logical characterizations of the three classical complexity classes that model minimal time, called real-time, of one-dimensional cellular automata according to their canonical variants. Our logics are natural restrictions of the existential second-order Horn logic. They correspond to the three ways of deciding a language on a square grid circuit of side n according to the three canonical placements of an input word of length n on the grid. Our key tool is a normalization method that transforms a formula into an equivalent formula that literally mimics a grid circuit.


title: Average four-genus of two-bridge knots

abstract: We prove that the expected value of the ratio between the smooth four-genus and the Seifert genus of two-bridge knots tends to zero as the crossing number tends to infinity.


title: On Double-Sided QR-Codes

abstract: Due to the widespread adoption of the smart mobile devices, QR codes have become one of the most-known types of 2D codes around the world. However, the data capacity properties of modern QR codes are still not perfect. To address this issue, in this paper, we propose a novel approach to make double-sided QR codes, which could carry two different messages in a straight and mirrored position. To facilitate the process of creation of such codes we propose two methods of their construction: the brute-force method and the analytic solution.


title: Competition-driven evolution of organismal complexity

abstract: Non-uniform rates of morphological evolution and evolutionary increases in organismal complexity, captured in metaphors like "adaptive zones", "punctuated equilibrium" and "blunderbuss patterns", require more elaborate explanations than a simple gradual accumulation of mutations. Here we argue that non-uniform evolutionary increases in phenotypic complexity can be caused by a threshold-like response to growing ecological pressures resulting from evolutionary diversification at a given level of complexity. Acquisition of a new phenotypic feature allows an evolving species to escape this pressure but can typically be expected to carry significant physiological costs. Therefore, the ecological pressure should exceed a certain level to make such an acquisition evolutionarily successful. We present a detailed quantitative description of this process using a microevolutionary competition model as an example. The model exhibits sequential increases in phenotypic complexity driven by diversification at existing levels of complexity and the resulting increase in competitive pressure, which can push an evolving species over the barrier of physiological costs of new phenotypic features.


title: Comparison of SVM and Spectral Embedding in Promoter Biobricks' Categorizing and Clustering

abstract: Background: In organisms' genomes, promoters are short DNA sequences on the upstream of structural genes, with the function of controlling genes' transcription. Promoters can be roughly divided into two classes: constitutive promoters and inducible promoters. Promoters with clear functional annotations are practical synthetic biology biobricks. Many statistical and machine learning methods have been introduced to predict the functions of candidate promoters. Spectral Eigenmap has been proved to be an effective clustering method to classify biobricks, while support vector machine (SVM) is a powerful machine learning algorithm, especially when dataset is small. Methods: The two algorithms: spectral embedding and SVM are applied to the same dataset with 375 prokaryotic promoters. For spectral embedding, a Laplacian matrix is built with edit distance, followed by K-Means Clustering. The sequences are represented by numeric vector to serve as dataset for SVM trainning. Results: SVM achieved a high predicting accuracy of 93.07% in 10-fold cross validation for classification of promoters' transcriptional functions. Laplacian eigenmap (spectral embedding) based on editing distance may not be capable for extracting discriminative features for this task.


title: Refractive index and generalized polarizability

abstract: We investigate the role of retardation corrections to polarizability and to refractive index. We found that the classical electromagnetic theory of dielectrics requires corresponding modifications in terms of nonlocality of the dielectric constant. This nonlocality should be taken into account in the interpretation of accurate measurements of the optical refractivity.


title: Variational principles for nonlinear Kirchhoff rods

abstract: The present article studies variational principles for the formulation of static and dynamic problems involving Kirchhoff rods in a fully nonlinear setting. These results, some of them new, others scattered in the literature, are presented in a systematic way, helping to clarify certain aspects that have remained obscure. In particular, the study of transversely isotropic models reveals the delicate role that differential geometry plays in their formulation and unveils consequently some approximations that can be made to obtain simplified formulations.


title: Shepherding Hordes of Markov Chains

abstract: This paper considers large families of Markov chains (MCs) that are defined over a set of parameters with finite discrete domains. Such families occur in software product lines, planning under partial observability, and sketching of probabilistic programs. Simple questions, like `does at least one family member satisfy a property?', are NP-hard. We tackle two problems: distinguish family members that satisfy a given quantitative property from those that do not, and determine a family member that satisfies the property optimally, i.e., with the highest probability or reward. We show that combining two well-known techniques, MDP model checking and abstraction refinement, mitigates the computational complexity. Experiments on a broad set of benchmarks show that in many situations, our approach is able to handle families of millions of MCs, providing superior scalability compared to existing solutions.


title: Magnetic field vector maps of nearby spiral galaxies

abstract: We present a method for determining directions of magnetic field vectors in a spiral galaxy using two synchrotron polarization maps, an optical image, and a velocity field. The orientation of the transverse magnetic field is determined with a synchrotron polarization map of higher frequency band and the $180^\circ$-ambiguity is solved by using sign of the Rotation Measure (RM) after determining geometrical orientation of a disk based on a assumption of trailing spiral arms. The advantage of this method is that direction of magnetic vector for each line of sight through the galaxy can be inexpensively determined with easily available data and with simple assumptions. We applied this method to three nearby spiral galaxies using archival data obtained with the Very Large Array (VLA) to demonstrate how it works. The three galaxies have both clockwise and counter-clockwise magnetic fields, which implies that all three galaxies are not classified in simple Axis-Symmetric type but types of higher modes and that magnetic reversals commonly exist.


title: Certified Reduced Basis VMS-Smagorinsky model for natural convection flow in a cavity with variable height

abstract: In this work we present a Reduced Basis VMS-Smagorinsky Boussinesq model, applied to natural convection problems in a variable height cavity, in which the buoyancy forces are involved. We take into account in this problem both physical and geometrical parametrizations, considering the Rayleigh number as a parameter, so as the height of the cavity. We perform an Empirical Interpolation Method to approximate the sub-grid eddy viscosity term that let us obtain an affine decomposition with respect to the parameters. We construct an a posterior error estimator, based upon the Brezzi-Rappaz-Raviart theory, used in the greedy algorithm for the selection of the basis functions. Finally we present several numerical tests for different parameter configuration.


title: A Load Balancing Surveillance Algorithm For Multifunctional Radar Resource Management

abstract: For all multifunctional radar systems the allocation of resources plays an outstanding role. Many radars have low priority on surveillance tasks. In challenging situations this leads to neglecting of surveillance beams in directions where many other tasks are done. This document presents a technique that enables multifunctional radar systems to keep on scanning overloaded surveillance sectors under the condition that all sectors have a similar revisit time. Since radar resource management depends on the used system, two general configurations are considered in this paper. The focus lies on systems with a rotating antenna.


title: SVM-based Deep Stacking Networks

abstract: The deep network model, with the majority built on neural networks, has been proved to be a powerful framework to represent complex data for high performance machine learning. In recent years, more and more studies turn to nonneural network approaches to build diverse deep structures, and the Deep Stacking Network (DSN) model is one of such approaches that uses stacked easy-to-learn blocks to build a parameter-training-parallelizable deep network. In this paper, we propose a novel SVM-based Deep Stacking Network (SVM-DSN), which uses the DSN architecture to organize linear SVM classifiers for deep learning. A BP-like layer tuning scheme is also proposed to ensure holistic and local optimizations of stacked SVMs simultaneously. Some good math properties of SVM, such as the convex optimization, is introduced into the DSN framework by our model. From a global view, SVM-DSN can iteratively extract data representations layer by layer as a deep neural network but with parallelizability, and from a local view, each stacked SVM can converge to its optimal solution and obtain the support vectors, which compared with neural networks could lead to interesting improvements in anti-saturation and interpretability. Experimental results on both image and text data sets demonstrate the excellent performances of SVM-DSN compared with some competitive benchmark models.


title: Energy Efficiency Fairness Beamforming Designs for MISO NOMA Systems

abstract: In this paper, we propose two beamforming designs for a multiple-input single-output non-orthogonal multiple access system considering the energy efficiency (EE) fairness between users. In particular, two quantitative fairness-based designs are developed to maintain fairness between the users in terms of achieved EE: max-min energy efficiency (MMEE) and proportional fairness (PF) designs. While the MMEE-based design aims to maximize the minimum EE of the users in the system, the PF-based design aims to seek a good balance between the global energy efficiency of the system and the EE fairness between the users. Detailed simulation results indicate that our proposed designs offer many-fold EE improvements over the existing energy-efficient beamforming designs.


title: Flat band localization due to self-trapped orbital

abstract: We discover a new wave localization mechanism in a periodic system without any disorder, which can produce a novel type of perfect flat band and is distinct from the known localization mechanisms, i.e., Anderson localization and flat band lattices. The first example we give is a designed electron waveguide on 2DEG with special periodic confinement potential. Numerical calculations show that, with proper confinement geometry, electrons can be completely localized in an open waveguide. We interpret this flat band localization phenomenon by introducing the concept of self-trapped orbitals. In our treatment, each unit cell of the waveguide is equivalent to an artificial atom, where the self-trapped orbital is one of its eigenstates with unique spatial distribution. These self-trapped orbitals form the flat bands in the waveguide. This flat band localization through self-trapped orbitals is a general phenomenon of wave motion, which can arise in any wave systems with carefully engineered boundary conditions. We then design a metallic waveguide array to illustrate that similar flat band localization can be readily realized and observed with electromagnetic waves.


title: Perturbation theory of KMS states

abstract: We extend the new perturbation formula of equilibrium states by Hastings to KMS states of general $W^*$-dynamical systems.


title: Sum Rate Fairness Trade-off-based Resource Allocation Technique for MISO NOMA Systems

abstract: In this paper, we propose a beamforming design that jointly considers two conflicting performance metrics, namely the sum rate and fairness, for a multiple-input single-output non-orthogonal multiple access system. Unlike the conventional rate-aware beamforming designs, the proposed approach has the flexibility to assign different weights to the objectives (i.e., sum rate and fairness) according to the network requirements and the channel conditions. In particular, the proposed design is first formulated as a multi-objective optimization problem, and subsequently mapped to a single objective optimization (SOO) problem by exploiting the weighted sum approach combined with a prior articulation method. As the resulting SOO problem is non-convex, we use the sequential convex approximation technique, which introduces multiple slack variables, to solve the overall problem. Simulation results are provided to demonstrate the performance and the effectiveness of the proposed approach along with detailed comparisons with conventional rate-aware-based beamforming designs.


title: Microscopic Theory of ${\Gamma}_3$ Quadrupole Ordering in Pr Compounds on the Basis of a $j$-$j$ Coupling Scheme

abstract: Toward the understanding of incommensurate $\Gamma_3$ quadrupole ordering in PrPb$_3$, we develop a microscopic theory of multipole ordering in $f^2$-electron systems from an itinerant picture on the basis of a $j$-$j$ coupling scheme. For this purpose, we introduce the $\Gamma_7$-$\Gamma_8$ Hubbard model on a simple cubic lattice with the effective interactions that induce local $\Gamma_3$ states. By evaluating multipole susceptibility in a random phase approximation, we find that the hybridization between $\Gamma_7$ and $\Gamma_8$ orbitals plays a key role in the emergence of $\Gamma_3$ quadrupole ordering. We also emphasize that $\Gamma_3$ quadrupole ordering can be understood from the concept of {\it multipole nesting}, in which the Fermi surface region with large $\Gamma_8$ orbital density should be nested on the area with a significant $\Gamma_7$ component when the positions of the Fermi surfaces are shifted by the ordering vector. This concept cab be intuitively understood from the fact that local $\Gamma_3$ doublets are mainly composed of two singlets between $\Gamma_8$ and $\Gamma_7$ orbitals. Finally, we discuss the possible relevance of the present theory to the experimental results of PrPb$_3$ and point out some future problems in this direction of research.


title: Production of $Z_c(3900$) and $Z_c(4020)$ in $B_c$ decay

abstract: In the present work, we propose to search the charmonium-like states $Z_c(3900$) and $Z_c(4020)$ in the $B_c$ decay. In an effective Lagrangian approach, the branching ratios of $B_c^+ \to Z_c(3900)^+ \pi^0$ and $B_c^+\to Z_c (4020)^+ \pi^0$ are estimated to be of order of $10^{-4}$ and $10^{-7}$, respectively. The large production rate of $Z_c(3900)$ could provide an important source of the production of $Z_c(3900)$ from the semi-exclusive decay of $b$-flavored hadrons reported by D0 Collaboration, which can be tested by the exclusive measurements in LHCb.


title: Perturbative Resonance during Dark Matter Production and Its Cosmological Implications

abstract: To trace the particle nature of dark matter (DM) from cosmic microwave background observations, we study the co-evolution of DM density perturbation and primordial metric perturbation during DM production. Solving the perturbative Einstein and Boltzmann equations, we unveil an amplified perturbative resonance between the DM density perturbation and the scalar modes of metric perturbation, driven by DM production. Such perturbative resonance does not affect the tensor modes and suppresses the tensor-to-scalar ratio of metric perturbation $r$. Using a typical model to specify cosmic reheating, we obtain a direct relation between DM particle mass $m_\chi$ and $r$, which can constrain $m_\chi$ in future primordial gravitational wave searches.


title: Witten-Dijkgraaf-Verlinde-Verlinde equation and its application to relative Gromov-Witten theory

abstract: We derive a recursive formula for certain relative Gromov-Witten invariants with maximal tangency condition via the Witten-Dijkgraaf-Verlinde-Verlinde equation. For certain relative pairs, we get explicit formulae of invariants using the recursive formula.


title: On flat generators and Matlis duality for quasicoherent sheaves

abstract: We show that for a quasicompact quasiseparated scheme $X$, the following assertions are equivalent: (1) the category $\operatorname{QCoh}(X)$ of all quasicoherent sheaves on $X$ has a flat generator; (2) for every injective object $\mathcal E$ of $\operatorname{QCoh}(X)$, the internal hom functor into $\mathcal E$ is exact; (3) the scheme $X$ is semiseparated.


title: $\mathbb{Z}_2 \times \mathbb{Z}_2$ generalizations of infinite dimensional Lie superalgebra of conformal type with complete classification of central extensions

abstract: We introduce a class of novel $\mathbb{Z}_2 \times \mathbb{Z}_2$-graded color superalgebras of infinite dimension. It is done by realizing each member of the class in the universal enveloping algebra of a Lie superalgebra which is a module extension of the Virasoro algebra. Then the complete classification of central extensions of the $\mathbb{Z}_2 \times \mathbb{Z}_2$-graded color superalgebras is presented. It turns out that infinitely many members of the class have non-trivial extensions. We also demonstrate that the color superalgebras (with and without central extensions) have adjoint and superadjoint operations.