title: Values of the $\mathfrak{sl}_2$ weight system on complete bipartite graphs

abstract: A weight system is a function on chord diagrams that satisfies the so-called four-term relations. Vassiliev's theory of finite-order knot invariants describes these invariants in terms of weight systems. In particular, there is a weight system corresponding to the colored Jones polynomial. This weight system can be easily defined in terms of the Lie algebra $\mathfrak{sl}_2$, but this definition is too cumbersome from the computational point of view, so that the values of this weight system are known only for some limited classes of chord diagrams. In the present paper we give a formula for the values of the $\mathfrak{sl}_2$ weight system for a class of chord diagrams whose intersection graphs are complete bipartite graphs with no more than three vertices in one of the parts. Our main computational tool is the Chmutov--Varchenko reccurence relation. Furthermore, complete bipartite graphs with no more than three vertices in one of the parts generate Hopf subalgebras of the Hopf algebra of graphs, and we deduce formulas for the projection onto the subspace of primitive elements along the subspace of decomposable elements in these subalgebras. We compute the values of the $\mathfrak{sl}_2$ weight system for the projections of chord diagrams with such intersection graphs. Our results confirm certain conjectures due to S.K.Lando on the values of the weight system $\mathfrak{sl}_2$ at the projections of chord diagrams on the space of primitive elements.


title: Single-photon nonreciprocal excitation transfer with non-Markovian retarded effects

abstract: We study at the single-photon level the nonreciprocal excitation transfer between emitters coupled with a common waveguide. Non-Markovian retarded effects are taken into account due to the large separation distance between different emitter-waveguide coupling ports. It is shown that the excitation transfer between the emitters of a small-atom dimer can be obviously nonreciprocal by introducing between them a coherent coupling channel with nontrivial coupling phase. We prove that for dimer models the nonreciprocity cannot coexist with the decoherence-free giant-atom structure although the latter markedly lengthens the lifetime of the emitters. In view of this, we further propose a giant-atom trimer which supports both nonreciprocal transfer (directional circulation) of the excitation and greatly lengthened lifetime. Such a trimer model also exhibits incommensurate emitter-waveguide entanglement for different initial states in which case the excitation transfer is however reciprocal. We believe that the proposals in this paper are of potential applications in large-scale quantum networks and quantum information processing.


title: Communications using Sparse Signals

abstract: Inspired by compressive sensing principles, we propose novel error control coding techniques for communication systems. The information bits are encoded in the support and the non-zero entries of a sparse signal. By selecting a dictionary matrix with suitable dimensions, the codeword for transmission is obtained by multiplying the dictionary matrix with the sparse signal. Specifically, the codewords are obtained from the sparse linear combinations of the columns of the dictionary matrix. At the decoder, we employ variations of greedy sparse signal recovery algorithms. Using Gold code sequences and mutually unbiased bases from quantum information theory as dictionary matrices, we study the block error rate (BLER) performance of the proposed scheme in the AWGN channel. Our results show that the proposed scheme has a comparable and competitive performance with respect to the several widely used linear codes, for very small to moderate block lengths. In addition, our coding scheme extends straightforwardly to multi-user scenarios such as multiple access channel, broadcast channel, and interference channel. In these multi-user channels, if the users are grouped such that they have similar channel gains and noise levels, the overall BLER performance of our proposed scheme will coincide with an equivalent single-user scenario.


title: An Efficient Active Set Algorithm for Covariance Based Joint Data and Activity Detection for Massive Random Access with Massive MIMO

abstract: This paper proposes a computationally efficient algorithm to solve the joint data and activity detection problem for massive random access with massive multiple-input multiple-output (MIMO). The BS acquires the active devices and their data by detecting the transmitted preassigned nonorthogonal signature sequences. This paper employs a covariance based approach that formulates the detection problem as a maximum likelihood estimation (MLE) problem. To efficiently solve the problem, this paper designs a novel iterative algorithm with low complexity in the regime where the device activity pattern is sparse $\unicode{x2013}$ a key feature that existing algorithmic designs have not previously exploited for reducing complexity. Specifically, at each iteration, the proposed algorithm focuses on only a small subset of all potential sequences, namely the active set, which contains a few most likely active sequences (i.e., transmitted sequences by all active devices), and performs the detection for the sequences in the active set. The active set is carefully selected at each iteration based on the current detection result and the first-order optimality condition of the MLE problem. Simulation results show that the proposed active set algorithm enjoys significantly better computational efficiency (in terms of the CPU time) than the state-of-the-art algorithms.


title: Effective field theory approach to lepton number violating $\tau$ decays

abstract: We continue our endeavor to investigate lepton number violating (LNV) processes at low energy in the framework of effective field theory (EFT). In this work we study the LNV tau decays $\tau^+\rightarrow \ell^-P_i^{+}P_j^{+}$, where $\ell=e,~\mu$ and $P^+_{i,j}$ are the lowest-lying charged pseudoscalars $\pi^+,~K^+$. We analyze the dominant contributions in a series of EFTs from high to low energy scales, namely, the standard model effective field theory (SMEFT), the low-energy effective field theory (LEFT), and the chiral perturbation theory ($\chi$PT). The decay branching ratios are expressed in terms of the Wilson coefficients of dimension-five and -seven operators in SMEFT and hadronic low energy constants. These Wilson coefficients involve the first and second generations of quarks and all generations of leptons and thus cannot be explored in low energy processes such as nuclear neutrinoless double decay or LNV kaon decays. Unfortunately, the current experimental upper limits on the branching ratios are too weak to set useful constraints on those coefficients. Or, if we assume the new physics scale is larger than 1 TeV, the branching ratios are well below the current experimental bounds. We also estimate hadronic uncertainties incurred in applying $\chi$PT to $\tau$ decays by computing one-loop chiral logarithms and attempt to improve convergence of chiral perturbation by employing dispersion relations in the short-distance part of the decay amplitudes.


title: A Structural Invariant On Certain Two-Dimensional Noetherian Partially Ordered Sets

abstract: If $(X, \le_X)$ is a partially ordered set satisfying certain necessary conditions for $X$ to be order-isomorphic to the spectrum of a Noetherian domain of dimension two, we describe a new poset $(\text{str } X, \le_{\text{str } X})$ that completely determines $X$ up to isomorphism. The order relation $\le_{\text{str } X}$ imposed on $\text{str } X$ is modeled after R. Wiegand's well-known "P5" condition that can be used to determine when a given partially ordered set $(U, \le_U)$ of a certain type is order-isomorphic to $(\text{Spec } \mathbb Z[x], \subseteq).$


title: Instability and Mixing of Gas Interfaces Driven by Cylindrically Converging Shock Wave

abstract: In the present paper, an efficient method to generate "pure" cylindrically converging shock wave without a following contact surface is proposed firstly. Then, the Richtmyer-Meshkov instabilities of two interfaces driven by the generated cylindrically converging shock wave and the associated fluids' mixing behaviors are numerically studied. The results show that the instability of the interface is characterized by the growth of perturbation amplitude before re-shock. However, the mixing of fluids is enhanced dramatically after re-shock, which is manifested not only by the evolutions of flow structures but also by the temporal behaviors of mixing parameters. Further investigation shows that, although these two cases are of different initial perturbations, their evolutions of mixing width and other mixing parameters such as molecular mixing fraction, local anisotropy and density-specific volume correlation could achieve the same laws of temporal behavior, especially during the later stage after re-shock. These results to some extent demonstrate that there also exist scaling law and temporal asymptotic behaviors in the mixing zone for cylindrically converging shock wave driven interface. Moreover, the analyses of turbulent kinetic energy spectrums in the azimuthal direction at late stage also witness the $k^{-5/3}$ decaying law of turbulent kinetic energy for the present inhomogeneity flows driven by cylindrically converging shock wave, which further manifests that the fluids' mixing is indeed enhanced at later time after re-shock.


title: FFConv: Fast Factorized Convolutional Neural Network Inference on Encrypted Data

abstract: Homomorphic Encryption (HE), allowing computations on encrypted data (ciphertext) without decrypting it first, enables secure but prohibitively slow Convolutional Neural Network (CNN) inference for privacy-preserving applications in clouds. To reduce the inference latency, one approach is to pack multiple messages into a single ciphertext in order to reduce the number of ciphertexts and support massive parallelism of Homomorphic Multiply-Accumulate (HMA) operations between ciphertexts. Despite the faster HECNN inference, the mainstream packing schemes Dense Packing (DensePack) and Convolution Packing (ConvPack) introduce expensive rotation overhead, which prolongs the inference latency of HECNN for deeper and wider CNN architectures. In this paper, we propose a low-rank factorization method named FFConv dedicated to efficient ciphertext packing for reducing both the rotation overhead and HMA operations. FFConv approximates a d x d convolution layer with low-rank factorized convolutions, in which a d x d low-rank convolution with fewer channels is followed by a 1 x 1 convolution to restore the channels. The d x d low-rank convolution with DensePack leads to significantly reduced rotation operations, while the rotation overhead of 1 x 1 convolution with ConvPack is close to zero. To our knowledge, FFConv is the first work that is capable of reducing the rotation overhead incurred by DensePack and ConvPack simultaneously, without introducing additional special blocks into the HECNN inference pipeline. Compared to prior art LoLa and Falcon, our method reduces the inference latency by up to 88% and 21%, respectively, with comparable accuracy on MNIST and CIFAR-10.


title: IC Networks: Remodeling the Basic Unit for Convolutional Neural Networks

abstract: Convolutional neural network (CNN) is a class of artificial neural networks widely used in computer vision tasks. Most CNNs achieve excellent performance by stacking certain types of basic units. In addition to increasing the depth and width of the network, designing more effective basic units has become an important research topic. Inspired by the elastic collision model in physics, we present a general structure which can be integrated into the existing CNNs to improve their performance. We term it the "Inter-layer Collision" (IC) structure. Compared to the traditional convolution structure, the IC structure introduces nonlinearity and feature recalibration in the linear convolution operation, which can capture more fine-grained features. In addition, a new training method, namely weak logit distillation (WLD), is proposed to speed up the training of IC networks by extracting knowledge from pre-trained basic models. In the ImageNet experiment, we integrate the IC structure into ResNet-50 and reduce the top-1 error from 22.38% to 21.75%, which also catches up the top-1 error of ResNet-100 (21.75%) with nearly half of FLOPs.


title: Distributed and Asynchronous Operational Optimization of Networked Microgrids

abstract: Smart programmable microgrids (SPM) is an emerging technology for making microgrids more software-defined and less hardware-independent such that converting distributed energy resources (DERs) to networked community microgrids becomes affordable, autonomic, and secure. As one of the cornerstones of SPM, this paper pioneers a concept of software-defined operation optimization for networked microgrids, where operation objectives, grid connection, and DER participation will be defined by software and plug-and-play, and can be quickly reconfigured, based on the development of modularized and tightened models and a novel asynchronous price-based decomposition-and-coordination method. Key contributions include: (1) design the architecture of the operational optimization of networked microgrids which can be readily implemented to ensure the programmability of islanded microgrids in solving the distributed optimization models, (2) realize a novel discrete model of droop controller, and (3) introduce a powerful distributed and asynchronous method Distributed and Asynchronous Surrogate Lagrangian Relaxation (DA-SLR) to efficiently coordinate microgrids asynchronously. Two case studies are tested to demonstrate the efficiency of developed DA-SLR, and specifically, the testing results show the superiority of DA-SLR as compared to previous methods such as ADMM.


title: Weight Rescaling: Effective and Robust Regularization for Deep Neural Networks with Batch Normalization

abstract: Weight decay is often used to ensure good generalization in the training practice of deep neural networks with batch normalization (BN-DNNs), where some convolution layers are invariant to weight rescaling due to the normalization. In this paper, we demonstrate that the practical usage of weight decay still has some unsolved problems in spite of existing theoretical work on explaining the effect of weight decay in BN-DNNs. On the one hand, when the non-adaptive learning rate e.g. SGD with momentum is used, the effective learning rate continues to increase even after the initial training stage, which leads to an overfitting effect in many neural architectures. On the other hand, in both SGDM and adaptive learning rate optimizers e.g. Adam, the effect of weight decay on generalization is quite sensitive to the hyperparameter. Thus, finding an optimal weight decay parameter requires extensive parameter searching. To address those weaknesses, we propose to regularize the weight norm using a simple yet effective weight rescaling (WRS) scheme as an alternative to weight decay. WRS controls the weight norm by explicitly rescaling it to the unit norm, which prevents a large increase to the gradient but also ensures a sufficiently large effective learning rate to improve generalization. On a variety of computer vision applications including image classification, object detection, semantic segmentation and crowd counting, we show the effectiveness and robustness of WRS compared with weight decay, implicit weight rescaling (weight standardization) and gradient projection (AdamP).


title: Blow-up of dyadic MHD models with forward energy cascade

abstract: A particular type of dyadic model for the magnetohydrodynamics (MHD) with forward energy cascade is studied. The model includes intermittency dimension $\delta$ in the nonlinear scales. It is shown that when $\delta$ is small, positive solution with large initial data for either the dyadic MHD model or the dyadic Hall MHD develops blow-up in finite time.


title: Estimating the treatment effect for adherers using multiple imputation

abstract: Randomized controlled trials are considered the gold standard to evaluate the treatment effect (estimand) for efficacy and safety. According to the recent International Council on Harmonisation (ICH)-E9 addendum (R1), intercurrent events (ICEs) need to be considered when defining an estimand, and principal stratum is one of the five strategies to handle ICEs. Qu et al. (2020, Statistics in Biopharmaceutical Research 12:1-18) proposed estimators for the adherer average causal effect (AdACE) for estimating the treatment difference for those who adhere to one or both treatments based on the causal-inference framework, and demonstrated the consistency of those estimators; however, this method requires complex custom programming related to high-dimensional numeric integrations. In this article, we implemented the AdACE estimators using multiple imputation (MI) and constructs CI through bootstrapping. A simulation study showed that the MI-based estimators provided consistent estimators with the nominal coverage probabilities of CIs for the treatment difference for the adherent populations of interest. As an illustrative example, the new method was applied to data from a real clinical trial comparing 2 types of basal insulin for patients with type 1 diabetes.


title: Negative Turbulent Magnetic Diffusivity $\beta$ effect in a Magnetically Forced System

abstract: We have studied the large scale dynamo process forced with helical magnetic energy. The magnetically driven dynamo is not so well studied as kinetically forced dynamo. It has been thought to represent the amplification of magnetic field in the stellar corona, accretion disk, or plasma lab. However, the interaction between the helical magnetic field and plasma is a more fundamental phenomenon that can be extended to the early Universe. The scale-invariant helical magnetic field not only explains the currently observed large scale astrophysical magnetic fields but also has information on the horizon scale in the early Universe. The interaction between magnetic field and plasma is inherently non-linear, making its mechanism difficult to understand. But, if the plasma system is driven with helical field, the process can be linearized with alpha&betaand large scale magnetic field. Conventionally, alpha effect is thought to transfer magnetic field to the large scale regime, and betaeffect diffuses magnetic field. However, these conclusions are based on the incompletely derived alpha&beta. To get the exact profiles of evolving alpha&\b{eta}, we solved a coupled semi-analytic equation set and applied the result to simulation data for the large scale magnetic helicity and magnetic energy. Our result shows that the averaged alpha effect decreases before making a significant contribution to the amplification of large scale B field. Rather, betaeffect, which keeps negative, de facto plays a key role in the amplification of large scale B field with Laplacian. And, this negative diffusivity accounts for the attenuation of plasma kinetic energy


title: Two-Step Image Dehazing with Intra-domain and Inter-domain Adaptation

abstract: Caused by the difference of data distributions, intra-domain gap and inter-domain gap are widely present in image processing tasks. In the field of image dehazing, certain previous works have paid attention to the inter-domain gap between the synthetic domain and the real domain. However, those methods only establish the connection from the source domain to the target domain without taking into account the large distribution shift within the target domain (intra-domain gap). In this work, we propose a Two-Step Dehazing Network (TSDN) with an intra-domain adaptation and a constrained inter-domain adaptation. First, we subdivide the distributions within the synthetic domain into subsets and mine the optimal subset (easy samples) by loss-based supervision. To alleviate the intra-domain gap of the synthetic domain, we propose an intra-domain adaptation to align distributions of other subsets to the optimal subset by adversarial learning. Finally, we conduct the constrained inter-domain adaptation from the real domain to the optimal subset of the synthetic domain, alleviating the domain shift between domains as well as the distribution shift within the real domain. Extensive experimental results demonstrate that our framework performs favorably against the state-of-the-art algorithms both on the synthetic datasets and the real datasets.


title: MSPM: A Modularized and Scalable Multi-Agent Reinforcement Learning-based System for Financial Portfolio Management

abstract: Financial portfolio management (PM) is one of the most applicable problems in reinforcement learning (RL) owing to its sequential decision-making nature. However, existing RL-based approaches rarely focus on scalability or reusability to adapt to the ever-changing markets. These approaches are rigid and unscalable to accommodate the varying number of assets of portfolios and increasing need for heterogeneous data. Also, RL agents in the existing systems are ad-hoc trained and hardly reusable for different portfolios. To confront the above problems, a modular design is desired for the systems to be compatible with reusable asset-dedicated agents. In this paper, we propose a multi-agent RL-based system for PM (MSPM). MSPM involves two types of asynchronously-updated modules: Evolving Agent Module (EAM) and Strategic Agent Module (SAM). An EAM is an information-generating module with a DQN agent, and it receives heterogeneous data and generates signal-comprised information for a particular asset. An SAM is a decision-making module with a PPO agent for portfolio optimization, and it connects to EAMs to reallocate the assets in a portfolio. Trained EAMs can be connected to any SAM at will. With its modularized architecture, the multi-step condensation of volatile market information, and the reusable design of EAM, MSPM simultaneously addresses the two challenges in RL-based PM: scalability and reusability. Experiments on 8-year U.S. stock market data prove the effectiveness of MSPM in profit accumulation by its outperformance over five baselines in terms of accumulated rate of return (ARR), daily rate of return, and Sortino ratio. MSPM improves ARR by at least 186.5% compared to CRP, a widely-used PM strategy. To validate the indispensability of EAM, we back-test and compare MSPMs on four portfolios. EAM-enabled MSPMs improve ARR by at least 1341.8% compared to EAM-disabled MSPMs.


title: Template-Free Try-on Image Synthesis via Semantic-guided Optimization

abstract: The virtual try-on task is so attractive that it has drawn considerable attention in the field of computer vision. However, presenting the three-dimensional (3D) physical characteristic (e.g., pleat and shadow) based on a 2D image is very challenging. Although there have been several previous studies on 2D-based virtual try-on work, most 1) required user-specified target poses that are not user-friendly and may not be the best for the target clothing, and 2) failed to address some problematic cases, including facial details, clothing wrinkles and body occlusions. To address these two challenges, in this paper, we propose an innovative template-free try-on image synthesis (TF-TIS) network. The TF-TIS first synthesizes the target pose according to the user-specified in-shop clothing. Afterward, given an in-shop clothing image, a user image, and a synthesized pose, we propose a novel model for synthesizing a human try-on image with the target clothing in the best fitting pose. The qualitative and quantitative experiments both indicate that the proposed TF-TIS outperforms the state-of-the-art methods, especially for difficult cases.


title: Solving Fredholm second-kind integral equations with singular right-hand sides on non-smooth boundaries

abstract: A numerical scheme is presented for the solution of Fredholm second-kind boundary integral equations with right-hand sides that are singular at a finite set of boundary points. The boundaries themselves may be non-smooth. The scheme, which builds on recursively compressed inverse preconditioning (RCIP), is universal as it is independent of the nature of the singularities. Strong right-hand-side singularities, such as $1/|r|^\alpha$ with $\alpha$ close to $1$, can be treated in full machine precision. Adaptive refinement is used only in the recursive construction of the preconditioner, leading to an optimal number of discretization points and superior stability in the solve phase. The performance of the scheme is illustrated via several numerical examples, including an application to an integral equation derived from the linearized BGKW kinetic equation for the steady Couette flow.


title: Projection-based model reduction of dynamical systems using space-time subspace and machine learning

abstract: This paper considers the creation of parametric surrogate models for applications in science and engineering where the goal is to predict high-dimensional spatiotemporal output quantities of interest, such as pressure, temperature and displacement fields. The proposed methodology develops a low-dimensional parametrization of these quantities of interest using space-time bases combining with machine learning methods. In particular, the space-time solutions are sought in a low-dimensional space-time linear trial subspace that can be obtained by computing tensor decompositions of usual state-snapshots data. The mapping between the input parameters and the basis expansion coefficients (or generalized coordinates) is approximated using four different machine learning techniques: multivariate polynomial regression, k-nearest-neighbors, random forest and neural network. The relative costs and effectiveness of the four machine learning techniques are explored through three engineering problems: steady heat conduction, unsteady heat conduction and unsteady advective-diffusive-reactive system. Numerical results demonstrate that the proposed method performs well in terms of both accuracy and computational cost, and highlight the important point that the amount of model training data available in an engineering setting is often much less than it is in other machine learning applications, making it essential to incorporate knowledge from physical models. In addition, simpler machine learning techniques are seen to perform better than more elaborate ones.


title: Study on the simulation control of neural network algorithm in thermally coupled distillation

abstract: Thermally coupled distillation is a new energy-saving method, but the traditional thermally coupled distillation simulation calculation process is complicated, and the optimization method based on the traditional simulation process is difficult to obtain a good feasible solution. The neural network algorithm has the advantages of fast learning and can approach nonlinear functions arbitrarily. For the problems in complex process control systems, neural network control does not require cumbersome control structures or precise mathematical models. When training the network, only the input and output samples it needs are given, so that the dynamics of the system can be controlled. Performance is approaching. This method can effectively solve the mathematical model of the thermally coupled distillation process, and quickly obtain the solution of the optimized variables and the objective function. This article summarizes the research progress of artificial neural network and the optimization control of thermally coupled distillation and the application of neural network in thermally coupled distillation.


title: Contact-Barrier Free, High Mobility, Dual-Gated Junctionless Transistor Using Tellurium Nanowire

abstract: Gate-all-around nanowire transistor, due to its extremely tight electrostatic control and vertical integration capability, is a highly promising candidate for sub-5 nm technology node. In particular, the junctionless nanowire transistors are highly scalable with reduced variability due to avoidance of steep source/drain junction formation by ion implantation. Here we demonstrate a dual-gated junctionless nanowire \emph{p}-type field effect transistor using tellurium nanowire as the channel. The dangling-bond-free surface due to the unique helical crystal structure of the nanowire, coupled with an integration of dangling-bond-free, high quality hBN gate dielectric, allows us to achieve a phonon-limited field effect hole mobility of $570\,\mathrm{cm^{2}/V\cdot s}$ at 270 K, which is well above state-of-the-art strained Si hole mobility. By lowering the temperature, the mobility increases to $1390\,\mathrm{cm^{2}/V\cdot s}$ and becomes primarily limited by Coulomb scattering. \txc{The combination of an electron affinity of $\sim$4 eV and a small bandgap of tellurium provides zero Schottky barrier height for hole injection at the metal-contact interface}, which is remarkable for reduction of contact resistance in a highly scaled transistor. Exploiting these properties, coupled with the dual-gated operation, we achieve a high drive current of $216\,\mathrm{\mu A/\mu m}$ while maintaining an on-off ratio in excess of $2\times10^4$. The findings have intriguing prospects for alternate channel material based next-generation electronics.


title: On the noncollapsedness of positively curved Type I ancient Ricci flows

abstract: In this article, we study complete Type I ancient Ricci flows with positive sectional curvature. Our main results are as follows: in the complete and noncompact case, all such ancient solutions must be noncollapsed on all scales; in the closed case, if the dimension is even, then all such ancient solutions must be noncollapsed on all scales. This furthermore gives a complete classification for three-dimensional noncompact Type I ancient solutions without assuming the noncollapsing condition.


title: Robust normalizing flows using Bernstein-type polynomials

abstract: Modeling real-world distributions can often be challenging due to sample data that are subjected to perturbations, e.g., instrumentation errors, or added random noise. Since flow models are typically nonlinear algorithms, they amplify these initial errors, leading to poor generalizations. This paper proposes a framework to construct Normalizing Flows (NF), which demonstrates higher robustness against such initial errors. To this end, we utilize Bernstein-type polynomials inspired by the optimal stability of the Bernstein basis. Further, compared to the existing NF frameworks, our method provides compelling advantages like theoretical upper bounds for the approximation error, higher interpretability, suitability for compactly supported densities, and the ability to employ higher degree polynomials without training instability. We conduct a thorough theoretical analysis and empirically demonstrate the efficacy of the proposed technique using experiments on both real-world and synthetic datasets.


title: Injective Objects and Fibered Codensity Liftings

abstract: Functor lifting along a fibration is used for several different purposes in computer science. In the theory of coalgebras, it is used to define coinductive predicates, such as simulation preorder and bisimilarity. Codensity lifting is a scheme to obtain a functor lifting along a fibration. It generalizes a few previous lifting schemes including the Kantorovich lifting. In this paper, we seek a property of functor lifting called fiberedness. Hinted by a known result for Kantorovich lifting, we identify a sufficient condition for a codensity lifting to be fibered. We see that this condition applies to many examples that have been studied. As an application, we derive some results on bisimilarity-like notions.


title: Enhanced superconducting properties of double-chain based superconductor Pr$_{2}$Ba$_{4}$Cu$_{7}$O$_{15-\delta}$ synthesized by citrate pyrolysis technique

abstract: We report the enhanced superconducting properties of double-chain based superconductor Pr$_{2}$Ba$_{4}$Cu$_{7}$O$_{15-\delta}$ synthesized by the citrate pyrolysis technique. %In spite of the polycrystalline bulk samples, we obtained the higher residual resistivity ratios (10-12). The reduction heat treatment in vacuum results in the appearance of superconducting state with $T_\mathrm{c}$=22-24 K, accompanied by the higher residual resistivity ratios. The superconducting volume fractions are estimated from the ZFC data to be 50$\sim55\%$, indicating the bulk superconductivity. We evaluate from the magneto-transport data the temperature dependence of the superconducting critical field, to establish the superconducting phase diagram. The upper critical magnetic field is estimated to be about 35 T at low temperatures from the resistive transition data using the Werthamer-Helfand-Hohenberg formula. The Hall coefficient $R_{H}$ of the 48-h-reduced superconducting sample is determined to be -0.5$\times10^{-3}$ cm$^{3}$/C at 30 K, suggesting higher electron concentration. These findings have a close relationship with homogeneous distributions of the superconducting grains and improved weak links between their superconducting grains in the present synthesis process.


title: MOTS R-CNN: Cosine-margin-triplet loss for multi-object tracking

abstract: One of the central tasks of multi-object tracking involves learning a distance metric that is consistent with the semantic similarities of objects. The design of an appropriate loss function that encourages discriminative feature learning is among the most crucial challenges in deep neural network-based metric learning. Despite significant progress, slow convergence and a poor local optimum of the existing contrastive and triplet loss based deep metric learning methods necessitates a better solution. In this paper, we propose cosine-margin-contrastive (CMC) and cosine-margin-triplet (CMT) loss by reformulating both contrastive and triplet loss functions from the perspective of cosine distance. The proposed reformulation as a cosine loss is achieved by feature normalization which distributes the learned features on a hypersphere. We then propose the MOTS R-CNN framework for joint multi-object tracking and segmentation, particularly targeted at improving the tracking performance. Specifically, the tracking problem is addressed through deep metric learning based on the proposed loss functions. We propose a scale-invariant tracking by using a multi-layer feature aggregation scheme to make the model robust against object scale variations and occlusions. The MOTS R-CNN achieves the state-of-the-art tracking performance on the KITTI MOTS dataset. We show that the MOTS R-CNN reduces the identity switching by $62\%$ and $61\%$ on cars and pedestrians, respectively in comparison to Track R-CNN.


title: Privacy-Preserving Video Classification with Convolutional Neural Networks

abstract: Many video classification applications require access to personal data, thereby posing an invasive security risk to the users' privacy. We propose a privacy-preserving implementation of single-frame method based video classification with convolutional neural networks that allows a party to infer a label from a video without necessitating the video owner to disclose their video to other entities in an unencrypted manner. Similarly, our approach removes the requirement of the classifier owner from revealing their model parameters to outside entities in plaintext. To this end, we combine existing Secure Multi-Party Computation (MPC) protocols for private image classification with our novel MPC protocols for oblivious single-frame selection and secure label aggregation across frames. The result is an end-to-end privacy-preserving video classification pipeline. We evaluate our proposed solution in an application for private human emotion recognition. Our results across a variety of security settings, spanning honest and dishonest majority configurations of the computing parties, and for both passive and active adversaries, demonstrate that videos can be classified with state-of-the-art accuracy, and without leaking sensitive user information.


title: Sub-signature Operators and the Kastler-Kalau-Walze type theorem for manifolds with boundary

abstract: In this paper, we obtain two Lichnerowicz type formulas for sub-signature operators. And we give the proof of Kastler-Kalau-Walze type theorems for sub-signature operators on 4-dimensional and 6-dimensional compact manifolds with (resp.without) boundary.


title: Robust discretization and solvers for elliptic optimal control problems with energy regularization

abstract: We consider the finite element discretization and the iterative solution of singularly perturbed elliptic reaction-diffusion equations in three-dimensional computational domains. These equations arise from the optimality conditions for elliptic distributed optimal control problems with energy regularization that were recently studied by M.~Neum\"{u}ller and O.~Steinbach (2020). We provide quasi-optimal a priori finite element error estimates which depend both on the mesh size $h$ and on the regularization parameter $\varrho$. The choice $\varrho = h^2$ ensures optimal convergence which only depends on the regularity of the target function. For the iterative solution, we employ an algebraic multigrid preconditioner and a balancing domain decomposition by constraints (BDDC) preconditioner. We numerically study robustness and efficiency of the proposed algebraic preconditioners with respect to the mesh size $h$, the regularization parameter $\varrho$, and the number of subdomains (cores) $p$. Furthermore, we investigate the parallel performance of the BDDC preconditioned conjugate gradient solver.


title: Broadband study of OQ 334 during its flaring state

abstract: The blazar OQ 334 displayed a {\gamma}-ray flare in 2018, after being in the long quiescent {\gamma}-ray state since 2008. Subsequent to the flare, the source was in a higher {\gamma}-ray flux state and again flared in 2020. We present here the first spectral and timing analysis of the source at its various flaring states. During the higher {\gamma}-ray state, we found four major peaks identified as P1, P2, P3, and P4. From timing analysis, we found the rise and decay time of the order of hours with the fastest variability time of 9.01+/-0.78 hr. We found the highest {\gamma}-ray photon of 77 GeV during P4, which suggests the location of the {\gamma}-ray emitting region at the outer edge of the broad-line region or the inner edge of the torus. The {\gamma}-ray spectral analysis of the source indicates that during P4, the {\gamma}-ray spectrum clearly deviates from the power-law behavior. From cross-correlation analysis of the {\gamma}-ray and radio lightcurves, we found that the two emission regions are separated by about 11 pc. Our broadband spectral energy distribution modeling of the source during quiescent and active phases indicates that more electron and proton power are required to change the source from low flux to high flux state. The Anderson-Darling test and histogram fitting results suggest that the three days binned {\gamma}-ray fluxes follow a lognormal distribution.


title: Privacy-Preserving Feature Selection with Secure Multiparty Computation

abstract: Existing work on privacy-preserving machine learning with Secure Multiparty Computation (MPC) is almost exclusively focused on model training and on inference with trained models, thereby overlooking the important data pre-processing stage. In this work, we propose the first MPC based protocol for private feature selection based on the filter method, which is independent of model training, and can be used in combination with any MPC protocol to rank features. We propose an efficient feature scoring protocol based on Gini impurity to this end. To demonstrate the feasibility of our approach for practical data science, we perform experiments with the proposed MPC protocols for feature selection in a commonly used machine-learning-as-a-service configuration where computations are outsourced to multiple servers, with semi-honest and with malicious adversaries. Regarding effectiveness, we show that secure feature selection with the proposed protocols improves the accuracy of classifiers on a variety of real-world data sets, without leaking information about the feature values or even which features were selected. Regarding efficiency, we document runtimes ranging from several seconds to an hour for our protocols to finish, depending on the size of the data set and the security settings.


title: Trajectory Planning for Connected and Automated Vehicles at Isolated Signalized Intersections under Mixed Traffic Environment

abstract: Trajectory planning for connected and automated vehicles (CAVs) has the potential to improve operational efficiency and vehicle fuel economy in traffic systems. Despite abundant studies in this research area, most of them only consider trajectory planning in the longitudinal dimension or assume the fully CAV environment. This study proposes an approach to the decentralized planning of CAV trajectories at an isolated signalized intersection under the mixed traffic environment, which consists of connected and human-driven vehicles (CHVs) and CAVs. A bi-level optimization model is formulated based on discrete time to optimize the trajectory of a single CAV in both the longitudinal and lateral dimensions given signal timings and the trajectory information of surrounding vehicles. The upper-level model optimizes lateral lane-changing strategies. The lower-level model optimizes longitudinal acceleration profiles based on the lane-changing strategies from the upper-level model. Minimization of vehicle delay, fuel consumption, and lane-changing costs are considered in the objective functions. A Lane-Changing Strategy Tree (LCST) and a Parallel Monte-Carlo Tree Search (PMCTS) algorithm are designed to solve the bi-level optimization model. CAV trajectories are planned one by one according to their distance to the stop bar. A rolling horizon scheme is applied for the dynamic implementation of the proposed model with time-varying traffic condition. Numerical studies validate the advantages of the proposed trajectory planning model compared with the benchmark cases without CAV trajectory planning.


title: Inferring Time-Dependent Distribution Functions from Kinematic Snapshots

abstract: We propose a method for constructing the time-dependent phase space distribution function (DF) of a collisionless system from an isolated kinematic snapshot. In general, the problem of mapping a single snapshot to a time-dependent function is intractable. Here we assume a finite series representation of the DF, constructed from the spectrum of the system's Koopman operator. This reduces the original problem to one of mapping a kinematic snapshot to a discrete spectrum rather than to a time-dependent function. We implement this mapping with a convolutional neural network (CNN). The method is demonstrated on two example models: the quantum simple harmonic oscillator, and a self-gravitating isothermal plane. The latter system exhibits phase space spiral structure similar to that observed in Gaia Data Release 2.


title: Video-based Hierarchical Species Classification for Longline Fishing Monitoring

abstract: The goal of electronic monitoring (EM) of longline fishing is to monitor the fish catching activities on fishing vessels, either for the regulatory compliance or catch counting. Hierarchical classification based on videos allows for inexpensive and efficient fish species identification of catches from longline fishing, where fishes are under severe deformation and self-occlusion during the catching process. More importantly, the flexibility of hierarchical classification mitigates the laborious efforts of human reviews by providing confidence scores in different hierarchical levels. Some related works either use cascaded models for hierarchical classification or make predictions per image or predict one overlapping hierarchical data structure of the dataset in advance. However, with a known non-overlapping hierarchical data structure provided by fisheries scientists, our method enforces the hierarchical data structure and introduces an efficient training and inference strategy for video-based fisheries data. Our experiments show that the proposed method outperforms the classic flat classification system significantly and our ablation study justifies our contributions in CNN model design, training strategy, and the video-based inference schemes for the hierarchical fish species classification task.


title: Haptic-enabled Mixed Reality System for Mixed-initiative Remote Robot Control

abstract: Robots assist in many areas that are considered unsafe for humans to operate. For instance, in handling pandemic diseases such as the recent Covid-19 outbreak and other outbreaks like Ebola, robots can assist in reaching areas dangerous for humans and do simple tasks such as pick up the correct medicine (among a set of bottles prescribed) and deliver to patients. In such cases, it might not be good to rely on the fully autonomous operation of robots. Since many mobile robots are fully functional with low-level tasks such as grabbing and moving, we consider the mixed-initiative control where the user can guide the robot remotely to finish such tasks. For this mixed-initiative control, the user controlling the robot needs to visualize a 3D scene as seen by the robot and guide it. Mixed reality can virtualize reality and immerse users in the 3D scene that is reconstructed from the real-world environment. This technique provides the user more freedom such as choosing viewpoints at view time. In recent years, benefiting from the high-quality data from Light Detection and Ranging (LIDAR) and RGBD cameras, mixed reality is widely used to build networked platforms to improve the performance of robot teleoperations and robot-human collaboration, and enhanced feedback for mixed-initiative control. In this paper, we proposed a novel haptic-enabled mixed reality system, that provides haptic interfaces to interact with the virtualized environments and give remote guidance for mobile robots towards high-level tasks. The experimental results show the effectiveness and flexibility of the proposed haptic enabled mixed reality system.


title: Twisting of 2D kagom\'e sheets in layered intermetallics

abstract: Chemical bonding in 2D layered materials and van der Waals solids is central to understanding and harnessing their unique electronic, magnetic, optical, thermal and superconducting properties. Here we report the discovery of spontaneous, bidirectional, bilayer twisting (twist angle ~ 4.5{\deg}) in the metallic kagom\'e MgCo6Ge6 at T = 100(2) K via X-ray diffraction measure-ments, enabled by the preparation of single crystals by the Laser Bridgman method. Despite the appearance of static twisting on cooling from T ~ 300 K to 100 K, no evidence for a phase transition was found in physical properties measurements. Combined with the presence of an Einstein phonon mode contribution in the specific heat, this implies that the twisting exists at all temperatures but is thermally fluctuating at room temperature. Crystal Orbital Hamilton Population analysis demonstrates that the cooperative twisting between layers stabilizes the Co-kagom\'e network when coupled to strongly bonded and rigid (Ge2) dimers that connect adjacent layers. Further modelling of the displacive disorder in the crystal structure shows the presence of second, Mg-deficient, stacking sequence. This alternative stacking sequence also exhibits inter-layer twisting, but with a different pattern, consistent with the change in electron count due to removal of Mg. Magnetization, resistivity, and low-temperature specific heat measurements are all consistent with a Pauli paramagnetic, strongly correlated metal. Our results provide crucial insight into how chemical concepts lead to interesting electronic structures and behaviors in layered materials.


title: Ownership Verification of DNN Architectures via Hardware Cache Side Channels

abstract: Deep Neural Networks (DNN) are gaining higher commercial values in computer vision applications, e.g., image classification, video analytics, etc. This calls for urgent demands of the intellectual property (IP) protection of DNN models. In this paper, we present a novel watermarking scheme to achieve the ownership verification of DNN architectures. Existing works all embedded watermarks into the model parameters while treating the architecture as public property. These solutions were proven to be vulnerable by an adversary to detect or remove the watermarks. In contrast, we claim the model architectures as an important IP for model owners, and propose to implant watermarks into the architectures. We design new algorithms based on Neural Architecture Search (NAS) to generate watermarked architectures, which are unique enough to represent the ownership, while maintaining high model usability. Such watermarks can be extracted via side-channel-based model extraction techniques with high fidelity. We conduct comprehensive experiments on watermarked CNN models for image classification tasks and the experimental results show our scheme has negligible impact on the model performance, and exhibits strong robustness against various model transformations and adaptive attacks.


title: A note on the moduli spaces of holomorphic and logarithmic connections over a compact Riemann surface

abstract: Let $X$ be a compact Riemann surface of genus $g \geq 3$. We consider the moduli space of holomorphic connections over $X$ and the moduli space of logarithmic connections singular over a finite subset of $X$ with fixed residues. We determine the Chow group of these moduli spaces. We compute the global sections of the sheaves of differential operators on ample line bundles and their symmetric powers over these moduli spaces, and show that they are constant under certain condition. We show the Torelli type theorem for the moduli space of logarithmic connections. We also describe the rational connectedness of these moduli spaces.


title: Exclusive Topic Modeling

abstract: We propose an Exclusive Topic Modeling (ETM) for unsupervised text classification, which is able to 1) identify the field-specific keywords though less frequently appeared and 2) deliver well-structured topics with exclusive words. In particular, a weighted Lasso penalty is imposed to reduce the dominance of the frequently appearing yet less relevant words automatically, and a pairwise Kullback-Leibler divergence penalty is used to implement topics separation. Simulation studies demonstrate that the ETM detects the field-specific keywords, while LDA fails. When applying to the benchmark NIPS dataset, the topic coherence score on average improves by 22% and 10% for the model with weighted Lasso penalty and pairwise Kullback-Leibler divergence penalty, respectively.


title: Open-World Semi-Supervised Learning

abstract: A fundamental limitation of applying semi-supervised learning in real-world settings is the assumption that unlabeled test data contains only classes previously encountered in the labeled training data. However, this assumption rarely holds for data in-the-wild, where instances belonging to novel classes may appear at testing time. Here, we introduce a novel open-world semi-supervised learning setting that formalizes the notion that novel classes may appear in the unlabeled test data. In this novel setting, the goal is to solve the class distribution mismatch between labeled and unlabeled data, where at the test time every input instance either needs to be classified into one of the existing classes or a new unseen class needs to be initialized. To tackle this challenging problem, we propose ORCA, an end-to-end deep learning approach that introduces uncertainty adaptive margin mechanism to circumvent the bias towards seen classes caused by learning discriminative features for seen classes faster than for the novel classes. In this way, ORCA reduces the gap between intra-class variance of seen with respect to novel classes. Experiments on image classification datasets and a single-cell annotation dataset demonstrate that ORCA consistently outperforms alternative baselines, achieving 25% improvement on seen and 96% improvement on novel classes of the ImageNet dataset.


title: High Order Numerical Homogenization for Dissipative Ordinary Differential Equations

abstract: We propose a high order numerical homogenization method for dissipative ordinary differential equations (ODEs) containing two time scales. Essentially, only first order homogenized model globally in time can be derived. To achieve a high order method, we have to adopt a numerical approach in the framework of the heterogeneous multiscale method (HMM). By a successively refined microscopic solver, the accuracy improvement up to arbitrary order is attained providing input data smooth enough. Based on the formulation of the high order microscopic solver we derived, an iterative formula to calculate the microscopic solver is then proposed. Using the iterative formula, we develop an implementation to the method in an efficient way for practical applications. Several numerical examples are presented to validate the new models and numerical methods.


title: More about Exact Slow $k$-Nim

abstract: Given $n$ piles of tokens and a positive integer $k \leq n$, the game Nim$^1_{n, =k}$ of exact slow $k$-Nim is played as follows. Two players move alternately. In each move, a player chooses exactly $k$ non-empty piles and removes one token from each of them. A player whose turn it is to move but has no move loses (if the normal version of the game is played, and wins if it is the mis\'{e}re version). In Integers 20 (2020) 1-19, Gurvich et al gave an explicit formula for the Sprague-Grundy function of Nim$^1_{4, =2}$, for both its normal and mis\'{e}re version. Here we extend this result and obtain an explicit formula for the P-positions of the normal version of Nim$^1_{5, =2}$ and Nim$^1_{6, =2}$.


title: Vampire With a Brain Is a Good ITP Hammer

abstract: Vampire has been for a long time the strongest first-order automatic theorem prover, widely used for hammer-style proof automation in ITPs such as Mizar, Isabelle, HOL, and Coq. In this work, we considerably improve the performance of Vampire in hammering over the full Mizar library by enhancing its saturation procedure with efficient neural guidance. In particular, we employ a recently proposed recursive neural network classifying the generated clauses based only on their derivation history. Compared to previous neural methods based on considering the logical content of the clauses, our architecture makes evaluating a single clause much less time consuming. The resulting system shows good learning capability and improves on the state-of-the-art performance on the Mizar library, while proving many theorems that the related ENIGMA system could not prove in a similar hammering evaluation.


title: Two-body problem in a multiband lattice and the role of quantum geometry

abstract: We consider the two-body problem in a periodic potential, and study the bound-state dispersion of a spin-$\uparrow$ fermion that is interacting with a spin-$\downarrow$ fermion through a short-range attractive interaction. Based on a variational approach, we obtain the exact solution of the dispersion in the form of a set of self-consistency equations, and apply it to tight-binding Hamiltonians with onsite interactions. We pay special attention to the bipartite lattices with a two-point basis that exhibit time-reversal symmetry, and show that the lowest-energy bound states disperse quadratically with momentum, whose effective-mass tensor is partially controlled by the quantum metric tensor of the underlying Bloch states. In particular, we apply our theory to the Mielke checkerboard lattice, and study the special role played by the interband processes in producing a finite effective mass for the bound states in a non-isolated flat band.


title: Feedback-based Digital Higher-order Terminal Sliding Mode for 6-DOF Industrial Manipulators

abstract: The precise motion control of a multi-degree of freedom~(DOF) robot manipulator is always challenging due to its nonlinear dynamics, disturbances, and uncertainties. Because most manipulators are controlled by digital signals, a novel higher-order sliding mode controller in the discrete-time form with time delay estimation is proposed in this paper. The dynamic model of the manipulator used in the design allows proper handling of nonlinearities, uncertainties and disturbances involved in the problem. Specifically, parametric uncertainties and disturbances are handled by the time delay estimation and the nonlinearity of the manipulator is addressed by the feedback structure of the controller. The combination of terminal sliding mode surface and higher-order control scheme in the controller guarantees a fast response with a small chattering amplitude. Moreover, the controller is designed with a modified sliding mode surface and variable-gain structure, so that the performance of the controller is further enhanced. We also analyze the condition to guarantee the stability of the closed-loop system in this paper. Finally, the simulation and experimental results prove that the proposed control scheme has a precise performance in a robot manipulator system.


title: A Systematic Approach for MRI Brain Tumor Localization, and Segmentation using Deep Learning and Active Contouring

abstract: One of the main requirements of tumor extraction is the annotation and segmentation of tumor boundaries correctly. For this purpose, we present a threefold deep learning architecture. First classifiers are implemented with a deep convolutional neural network(CNN) andsecond a region-based convolutional neural network (R-CNN) is performed on the classified images to localize the tumor regions of interest. As the third and final stage, the concentratedtumor boundary is contoured for the segmentation process by using the Chan-Vesesegmentation algorithm. As the typical edge detection algorithms based on gradients of pixel intensity tend to fail in the medical image segmentation process, an active contour algorithm defined with the level set function is proposed. Specifically, Chan- Vese algorithm was applied to detect the tumor boundaries for the segmentation process. To evaluate the performance of the overall system, Dice Score,Rand Index (RI), Variation of Information (VOI), Global Consistency Error (GCE), Boundary Displacement Error (BDE), Mean absolute error (MAE), and Peak Signal to Noise Ratio (PSNR) werecalculated by comparing the segmented boundary area which is the final output of the proposed, against the demarcations of the subject specialists which is the gold standard. Overall performance of the proposed architecture for both glioma and meningioma segmentation is with average dice score of 0.92, (also, with RI of 0.9936, VOI of 0.0301, GCE of 0.004, BDE of 2.099, PSNR of 77.076 and MAE of 52.946), pointing to high reliability of the proposed architecture.


title: Holographic Anomalous Current at a Finite Temperature

abstract: Weyl anomaly leads to novel anomalous currents in a spacetime with boundaries. Recently it is found that the anomalous current can be significantly enhanced by the high temperature for free theories, which could make the experimental measurement easier. In this paper, we investigate holographic anomalous currents at a finite temperature. It is found that the holographic current is still enhanced by the high temperature in dimensions higher than three. However, the temperature dependence is quite different from that of free theories. This may be due to the fact that the holographic CFT is strongly coupled and there is non-zero resistance in the holographic model. Remarkably, the temperature dependence of holographic anomalous currents is universal in the high temperature limit, which is independent of the choices of background magnetic fields.


title: The Global Phase Diagram of disordered Higher-order Weyl Semimetals

abstract: We study the disorder-induced phase transition of higher-order Weyl semimetals (HOWSMs) and the fate of the topological features of disordered HOWSMs. We obtain a global phase diagram of HOWSMs according to the scaling theory of Anderson localization. Specifically, a phase transition from the Weyl semimetal (WSM) to the HOWSM is uncovered, distinguishing the disordered HOWSMs from the traditional WSMs. Further, we confirm the robustness of Weyl-nodes for HOWSMs. Interestingly, the unique topological properties of HOWSMs show different behaviors: (i) the quantized quadrupole moment and the corresponding quantized charge of hinge states are fragile to weak disorder; (ii) the hinge states show moderate stability which enables the feasibility in experimental observation. Our study deepens the understanding of the topological nature of HOWSMs and paves a possible way to the characterization of such a phase in experiments.


title: On the breakdown of space-time in general relativity

abstract: Based on the canonical quantization of $d>2$ dimensional general relativity (GR) via the Dirac constraint formalism (also termed as `constraint quantization'), we propose the loss of covariance as a fundamental property of the theory. This breakdown occurs for the first-order Einstein Hilbert action, whereby loss of diffeomorphism invariance, besides first class constraints, second class constriants also exist leading to non-standard ghost fields which render the path integral non-covariant. We also attempt, for the first time, the canonical quantization via calculation of the path integral for the equivalent Hamiltonian formulation of GR for which only first class constraints exist. However, loss of covariance still occurs in this action due to loss of diffeomorphism invariance and structures arising from non-covariant constraints in the path integral. In contrast, we find that covariance as a symmetry is restored and quantization with perturbative calculations is possible in the weak limit of the gravitational field of these actions. Hence, we firstly establish, for the first time, that the breakdown in space-time is a property of GR itself as its limitation, indicating it to be an Effective Field Theory (EFT). We further propose that the breakdown of space-time occurs as a non-perturbative feature of GR in the strong field limit of the theory. Besides GR, we also note that covariance is preserved when constraint quantization is conducted for non-Abelian gauge theories, such as the Yang-Mills theory. These findings are novel from a canonical gravity formalism and EFT approach, and are consistent with GR singularity theorems, yet are general and extend them, as the singularity theorems indicate breakdown at a strong field limit of GR in black holes.


title: Seismic-ionospheric disturbances in ionospheric TEC and plasma parameters associated with the 14 July 2019 Mw 7.2 Laiwui earthquake detected by the GPS and CSES

abstract: In this study, with cross-valid analysis of total electron content (TEC) data of the global ionospheric map (GIM) from GPS and plasma parameters data recorded by China Seismo-Electromagnetic Satellite (CSES), signatures of seismic-ionospheric perturbations related to the 14 July 2019 Mw7.2 Laiwui earthquake were detected. After distinguishing the solar and geomagnetic activities, three positive temporal anomalies were found around the epicenter 1 day, 3 days and 8 days before the earthquake (14 July 2019) along with a negative anomaly 6 days after the earthquake, which also agrees well with the TEC spatial variations in latitude-longitude-time (LLT) maps. To further confirm the anomalies, the ionospheric plasma parameters (electron, O+and He+densities) recorded by the Langmuir probe (LAP) and Plasma Analyzer Package (PAP) onboard CSES were analyzed by using the moving mean method (MMM), which also presented remarkable enhancements along the orbits around the epicenter on day 2, day 4 and day 7 before the earthquake. To make the investigations more convincing, the disturbed orbits were compared with their corresponding four nearest revisiting orbits, whose results indeed indicate the existence of plasma parameters anomalies associated with the Laiwui earthquake. All these results illustrated that the GPS and CSES observed unusual ionospheric perturbations are highly associated with the Mw 7.2 Laiwui earthquake, which also strongly indicates the existence of pre-seismic ionospheric anomalies over the earthquake region


title: Parameterized Complexity of Immunization in the Threshold Model

abstract: We consider the problem of controlling the spread of harmful items in networks, such as the contagion proliferation of diseases or the diffusion of fake news. We assume the linear threshold model of diffusion where each node has a threshold that measures the node resistance to the contagion. We study the parameterized complexity of the problem: Given a network, a set of initially contaminated nodes, and two integers $k$ and $\ell$, is it possible to limit the diffusion to at most $k$ other nodes of the network by immunizing at most $\ell$ nodes? We consider several parameters associated to the input, including: the bounds $k$ and $\ell$, the maximum node degree $\Delta$, the treewidth, and the neighborhood diversity of the network. We first give $W[1]$ or $W[2]$-hardness results for each of the considered parameters. Then we give fixed-parameter algorithms for some parameter combinations.


title: A Greedy Graph Search Algorithm Based on Changepoint Analysis for Automatic QRS Complex Detection

abstract: The electrocardiogram (ECG) signal is the most widely used non-invasive tool for the investigation of cardiovascular diseases. Automatic delineation of ECG fiducial points, in particular the R-peak, serves as the basis for ECG processing and analysis. This study proposes a new method of ECG signal analysis by introducing a new class of graphical models based on optimal changepoint detection models, named the graph-constrained changepoint detection (GCCD) model. The GCCD model treats fiducial points delineation in the non-stationary ECG signal as a changepoint detection problem. The proposed model exploits the sparsity of changepoints to detect abrupt changes within the ECG signal; thereby, the R-peak detection task can be relaxed from any preprocessing step. In this novel approach, prior biological knowledge about the expected sequence of changes is incorporated into the model using the constraint graph, which can be defined manually or automatically. First, we define the constraint graph manually; then, we present a graph learning algorithm that can search for an optimal graph in a greedy scheme. Finally, we compare the manually defined graphs and learned graphs in terms of graph structure and detection accuracy. We evaluate the performance of the algorithm using the MIT-BIH Arrhythmia Database. The proposed model achieves an overall sensitivity of 99.64%, positive predictivity of 99.71%, and detection error rate of 0.19 for the manually defined constraint graph and overall sensitivity of 99.76%, positive predictivity of 99.68%, and detection error rate of 0.55 for the automatic learning constraint graph.


title: Sill-Net: Feature Augmentation with Separated Illumination Representation

abstract: For visual object recognition tasks, the illumination variations can cause distinct changes in object appearance and thus confuse the deep neural network based recognition models. Especially for some rare illumination conditions, collecting sufficient training samples could be time-consuming and expensive. To solve this problem, in this paper we propose a novel neural network architecture called Separating-Illumination Network (Sill-Net). Sill-Net learns to separate illumination features from images, and then during training we augment training samples with these separated illumination features in the feature space. Experimental results demonstrate that our approach outperforms current state-of-the-art methods in several object classification benchmarks.


title: Practical Fractional-Order Variable-Gain Super-Twisting Control with Application to Wafer Stages of Photolithography Systems

abstract: In this paper, a practical fractional-order variable-gain super-twisting algorithm (PFVSTA) is proposed to improve the tracking performance of wafer stages for semiconductor manufacturing. Based on the sliding mode control (SMC), the proposed PFVSTA enhances the tracking performance from three aspects: 1) alleviating the chattering phenomenon via super-twisting algorithm and a novel fractional-order sliding surface~(FSS) design, 2) improving the dynamics of states on the sliding surface with fast response and small overshoots via the designed novel FSS and 3) compensating for disturbances via variable-gain control law. Based on practical conditions, this paper analyzes the stability of the controller and illustrates the theoretical principle to compensate for the uncertainties caused by accelerations. Moreover, numerical simulations prove the effectiveness of the proposed sliding surface and control scheme, and they are in agreement with the theoretical analysis. Finally, practice-based comparative experiments are conducted. The results show that the proposed PFVSTA can achieve much better tracking performance than the conventional methods from various perspectives.


title: On generalized Minkowski arrangements

abstract: The concept of a Minkowski arrangement was introduced by Fejes T\'oth in 1965 as a family of centrally symmetric convex bodies with the property that no member of the family contains the center of any other member in its interior. This notion was generalized by Fejes T\'oth in 1967, who called a family of centrally symmetric convex bodies a generalized Minkowski arrangement of order $\mu$ for some $0 < \mu < 1$ if no member $K$ of the family overlaps the homothetic copy of any other member $K'$ with ratio $\mu$ and with the same center as $K'$. In this note we prove a sharp upper bound on the total area of the elements of a generalized Minkowski arrangement of order $\mu$ of finitely many circular disks in the Euclidean plane. This result is a common generalization of a similar result of Fejes T\'oth for Minkowski arrangements of circular disks, and a result of B\"or\"oczky and Szab\'o about the maximum density of a generalized Minkowski arrangement of circular disks in the plane. In addition, we give a sharp upper bound on the density of a generalized Minkowski arrangement of homothetic copies of a centrally symmetric convex body.


title: Continuous Monitoring of Blood Pressure with Evidential Regression

abstract: Photoplethysmogram (PPG) signal-based blood pressure (BP) estimation is a promising candidate for modern BP measurements, as PPG signals can be easily obtained from wearable devices in a non-invasive manner, allowing quick BP measurement. However, the performance of existing machine learning-based BP measuring methods still fall behind some BP measurement guidelines and most of them provide only point estimates of systolic blood pressure (SBP) and diastolic blood pressure (DBP). In this paper, we present a cutting-edge method which is capable of continuously monitoring BP from the PPG signal and satisfies healthcare criteria such as the Association for the Advancement of Medical Instrumentation (AAMI) and the British Hypertension Society (BHS) standards. Furthermore, the proposed method provides the reliability of the predicted BP by estimating its uncertainty to help diagnose medical condition based on the model prediction. Experiments on the MIMIC II database verify the state-of-the-art performance of the proposed method under several metrics and its ability to accurately represent uncertainty in prediction.


title: Controlling cell motion and microscale flow with polarized light fields

abstract: We investigate how light polarization affects the motion of photo-responsive algae, \textit{Euglena gracilis}. In a uniformly polarized field, cells swim approximately perpendicular to the polarization direction and form a nematic state with zero mean velocity. When light polarization varies spatially, cell motion is modulated by local polarization. In such light fields, cells exhibit complex spatial distribution and motion patterns which are controlled by topological properties of the underlying fields; we further show that ordered cell swimming can generate directed transporting fluid flow. Experimental results are quantitatively reproduced by an active Brownian particle model in which particle motion direction is nematically coupled to local light polarization.


title: Reissner-Nordstr\"om geometry counterpart in semiclassical gravity

abstract: We compute the Renormalized Stress-Energy Tensor (RSET) of a massless minimally coupled scalar field in the Regularized Polyakov approximation, as well as its backreaction, on the classical Reissner-Nordstr\"om spacetime. The complete set of solutions of the semiclassical self-consistent equations is obtained and compared with the classical counterparts. The semiclassical Reissner-Nordstr\"om family involves three kinds of geometries that depend on the charge-to-mass ratio of the spacetime. In the under-charged regime, the geometry has its external horizon replaced by a wormhole neck that leads to a singular asymptotic region at finite proper distance. The over-charged regime reveals a naked singularity coated by a cloud of (infinite) mass coming from the quantized field. In between both behaviours there is a separatrix solution reminiscent of the extremal black hole classical geometry. As the RSET over an extremal horizon is finite, the semiclassical backreaction does not get rid of the horizon. Nonetheless, we show that the resulting horizon is singular.


title: Robust propagation of internal coastal Kelvin waves in complex domains

abstract: We experimentally investigate internal coastal Kelvin waves in a two-layer fluid system on a rotating table. Waves in our system propagate in the prograde direction and are exponentially localized near the boundary. Our experiments verify the theoretical dispersion relation of the wave and show that the wave amplitude decays exponentially along the propagation direction. We further demonstrate that the waves can robustly propagate along boundaries of complex geometries without being scattered and that adding obstacles to the wave propagation path does not cause additional attenuation.


title: Convolutional Neural Network-based Intrusion Detection System for AVTP Streams in Automotive Ethernet-based Networks

abstract: Connected and autonomous vehicles (CAVs) are an innovative form of traditional vehicles. Automotive Ethernet replaces the controller area network and FlexRay to support the large throughput required by high-definition applications. As CAVs have numerous functions, they exhibit a large attack surface and an increased vulnerability to attacks. However, no previous studies have focused on intrusion detection in automotive Ethernet-based networks. In this paper, we present an intrusion detection method for detecting audio-video transport protocol (AVTP) stream injection attacks in automotive Ethernet-based networks. To the best of our knowledge, this is the first such method developed for automotive Ethernet. The proposed intrusion detection model is based on feature generation and a convolutional neural network (CNN). To evaluate our intrusion detection system, we built a physical BroadR-Reach-based testbed and captured real AVTP packets. The experimental results show that the model exhibits outstanding performance: the F1-score and recall are greater than 0.9704 and 0.9949, respectively. In terms of the inference time per input and the generation intervals of AVTP traffic, our CNN model can readily be employed for real-time detection.


title: Directed percolation and numerical stability of simulations of digital memcomputing machines

abstract: Digital memcomputing machines (DMMs) are a novel, non-Turing class of machines designed to solve combinatorial optimization problems. They can be physically realized with continuous-time, non-quantum dynamical systems with memory (time non-locality), whose ordinary differential equations (ODEs) can be numerically integrated on modern computers. Solutions of many hard problems have been reported by numerically integrating the ODEs of DMMs, showing substantial advantages over state-of-the-art solvers. To investigate the reasons behind the robustness and effectiveness of this method, we employ three explicit integration schemes (forward Euler, trapezoid and Runge-Kutta 4th order) with a constant time step, to solve 3-SAT instances with planted solutions. We show that, (i) even if most of the trajectories in the phase space are destroyed by numerical noise, the solution can still be achieved; (ii) the forward Euler method, although having the largest numerical error, solves the instances in the least amount of function evaluations; and (iii) when increasing the integration time step, the system undergoes a "solvable-unsolvable transition" at a critical threshold, which needs to decay at most as a power law with the problem size, to control the numerical errors. To explain these results, we model the dynamical behavior of DMMs as directed percolation of the state trajectory in the phase space in the presence of noise. This viewpoint clarifies the reasons behind their numerical robustness and provides an analytical understanding of the unsolvable-solvable transition. These results land further support to the usefulness of DMMs in the solution of hard combinatorial optimization problems.


title: SiO, 29SiO, and 30SiO emission from 67 oxygen-rich stars. A survey of 61 maser lines from 7 to 1 mm

abstract: Circumstellar environments of oxygen-rich stars are among the strongest SiO maser emitters. Physical processes such as collisions, infrared pumping and overlaps favors the inversion of level population and produce maser emission at different vibrational states. Despite numerous observational and theoretical efforts, we still do not have an unified picture including all the physical processes involved in the SiO maser emission. The aim of this work is to provide homogeneous data in a large sample of oxygen-rich stars. We present a survey of 67 oxygen-rich stars from 7 to 1 mm, in their rotational transitions from J=1-0 to J=5-4, for vibrational numbers v from 0 to 6 in the three main SiO isotopologues. We have used one of the 34 m NASA antennas at Robledo and the IRAM 30 m radio telescope. The first tentative detection of a v=6 line is reported, as well as the detection of new maser lines. The highest vibrational levels seem confined to small volumes, presumably close to the stars. The J=1-0, v=2 line flux is greater than the corresponding v=1 in almost half of the sample, which may confirm a predicted dependence on the pulsation cycle. This database is potentially useful in models which should consider most of the physical agents, time dependency, and mass-loss rates. As by-product, we report detections of 27 thermal rotational lines from other molecules, including isotopologues of SiS, H2S, SO, SO2, and NaCl.


title: Halo shapes constrained from a pure sample of central galaxies in KiDS-1000

abstract: We present measurements of $f_h$, the ratio of the aligned components of the projected halo and galaxy ellipticities, for a sample of central galaxies using weak gravitational lensing data from the Kilo-Degree Survey (KiDS). Using a lens galaxy shape estimation that is more sensitive to outer galaxy regions, we find $f_{\rm h}=0.50\pm0.20$ for our full sample and $f_{\rm h}=0.55\pm0.19$ for an intrinsically red (and therefore higher stellar-mass) sub-sample, rejecting the hypothesis of round halos and/or galaxies being un-aligned with their parent halo at $2.5\sigma$ and $2.9\sigma$, respectively. We quantify the 93.4% purity of our central galaxy sample using numerical simulations and overlapping spectroscopy from the Galaxy and Mass Assembly survey. This purity ensures that the interpretation of our measurements is not complicated by the presence of a significant fraction of satellite galaxies. Restricting our central galaxy ellipticity measurement to the inner isophotes, we find $f_{\rm h}=0.34\pm0.17$ for our red sub-sample, suggesting that the outer galaxy regions are more aligned with their dark matter halos compared to the inner regions. Our results are in agreement with previous studies and suggest that lower mass halos are rounder and/or less aligned with their host galaxy than samples of more massive galaxies, studied in galaxy groups and clusters.


title: UniFuse: Unidirectional Fusion for 360$^{\circ}$ Panorama Depth Estimation

abstract: Learning depth from spherical panoramas is becoming a popular research topic because a panorama has a full field-of-view of the environment and provides a relatively complete description of a scene. However, applying well-studied CNNs for perspective images to the standard representation of spherical panoramas, i.e., the equirectangular projection, is suboptimal, as it becomes distorted towards the poles. Another representation is the cubemap projection, which is distortion-free but discontinued on edges and limited in the field-of-view. This paper introduces a new framework to fuse features from the two projections, unidirectionally feeding the cubemap features to the equirectangular features only at the decoding stage. Unlike the recent bidirectional fusion approach operating at both the encoding and decoding stages, our fusion scheme is much more efficient. Besides, we also designed a more effective fusion module for our fusion scheme. Experiments verify the effectiveness of our proposed fusion strategy and module, and our model achieves state-of-the-art performance on four popular datasets. Additional experiments show that our model also has the advantages of model complexity and generalization capability.The code is available at https://github.com/alibaba/UniFuse-Unidirectional-Fusion.


title: Jointly Improving Language Understanding and Generation with Quality-Weighted Weak Supervision of Automatic Labeling

abstract: Neural natural language generation (NLG) and understanding (NLU) models are data-hungry and require massive amounts of annotated data to be competitive. Recent frameworks address this bottleneck with generative models that synthesize weak labels at scale, where a small amount of training labels are expert-curated and the rest of the data is automatically annotated. We follow that approach, by automatically constructing a large-scale weakly-labeled data with a fine-tuned GPT-2, and employ a semi-supervised framework to jointly train the NLG and NLU models. The proposed framework adapts the parameter updates to the models according to the estimated label-quality. On both the E2E and Weather benchmarks, we show that this weakly supervised training paradigm is an effective approach under low resource scenarios and outperforming benchmark systems on both datasets when 100% of training data is used.


title: Deconstructing Frame Dragging

abstract: The vorticity of world lines of observers associated to the rotation of a massive body was reported by Lense and Thirring more than a century ago. In their example the frame dragging effect induced by the vorticity, is directly (explicitly) related to the rotation of the source. However in many other cases it is not so, and the origin of vorticity remains obscure and difficult to identify. Accordingly, in order to unravel this issue, and looking for the ultimate origin of vorticity associated to frame dragging, we analyze in this manuscript very different scenarios where frame dragging effect is present. Specifically we consider general vacuum stationary spacetimes, general electro-vacuum spacetimes, radiating electro-vacuum spacetimes and Bondi--Sachs radiating spacetimes. We identify the physical quantities present in all these cases, which determine the vorticity and may legitimately be considered as responsible for the frame dragging. Doing so we provide a comprehensive physical picture of frame dragging. Some observational consequences of our results are discussed.


title: High-fidelity geometric quantum gates with short paths on superconducting circuits

abstract: Geometric phases are robust against certain types of local noises, and thus provide a promising way towards high-fidelity quantum gates. However, comparing with the dynamical ones, previous implementations of nonadiabatic geometric quantum gates usually require longer evolution time, due to the needed longer evolution path. Here, we propose a scheme to realize nonadiabatic geometric quantum gates with short paths based on simple pulse control techniques, instead of deliberated pulse control in previous investigations, which can thus further suppress the influence from the environment induced noises. Specifically, we illustrate the idea on a superconducting quantum circuit, which is one of the most promising platforms for realizing practical quantum computer. As the current scheme shortens the geometric evolution path, we can obtain ultra-high gate fidelity, especially for the two-qubit gate case, as verified by our numerical simulation. Therefore, our protocol suggests a promising way towards high-fidelity and roust quantum computation on a solid-state quantum system.


title: Does the Order of Training Samples Matter? Improving Neural Data-to-Text Generation with Curriculum Learning

abstract: Recent advancements in data-to-text generation largely take on the form of neural end-to-end systems. Efforts have been dedicated to improving text generation systems by changing the order of training samples in a process known as curriculum learning. Past research on sequence-to-sequence learning showed that curriculum learning helps to improve both the performance and convergence speed. In this work, we delve into the same idea surrounding the training samples consisting of structured data and text pairs, where at each update, the curriculum framework selects training samples based on the model's competence. Specifically, we experiment with various difficulty metrics and put forward a soft edit distance metric for ranking training samples. Our benchmarks show faster convergence speed where training time is reduced by 38.7% and performance is boosted by 4.84 BLEU.


title: Scheduling Plans of Tasks

abstract: We present a heuristic algorithm for solving the problem of scheduling plans of tasks. The plans are ordered vectors of tasks, and tasks are basic operations carried out by resources. Plans are tied by temporal, precedence and resource constraints that makes the scheduling problem hard to solve in polynomial time. The proposed heuristic, that has a polynomial worst-case time complexity, searches for a feasible schedule that maximize the number of plans scheduled, along a fixed time window, with respect to temporal, precedence and resource constraints.


title: Neural Data-to-Text Generation with LM-based Text Augmentation

abstract: For many new application domains for data-to-text generation, the main obstacle in training neural models consists of a lack of training data. While usually large numbers of instances are available on the data side, often only very few text samples are available. To address this problem, we here propose a novel few-shot approach for this setting. Our approach automatically augments the data available for training by (i) generating new text samples based on replacing specific values by alternative ones from the same category, (ii) generating new text samples based on GPT-2, and (iii) proposing an automatic method for pairing the new text samples with data samples. As the text augmentation can introduce noise to the training data, we use cycle consistency as an objective, in order to make sure that a given data sample can be correctly reconstructed after having been formulated as text (and that text samples can be reconstructed from data). On both the E2E and WebNLG benchmarks, we show that this weakly supervised training paradigm is able to outperform fully supervised seq2seq models with less than 10% annotations. By utilizing all annotated data, our model can boost the performance of a standard seq2seq model by over 5 BLEU points, establishing a new state-of-the-art on both datasets.


title: Quantum Finite Volume Method for Computational Fluid Dynamics with Classical Input and Output

abstract: Computational fluid dynamics (CFD) is a branch of fluid mechanics that uses numerical methods to solve fluid flows. The finite volume method (FVM) is an important one. In FVM, space is discretized to many grid cells. When the number of grid cells grows, massive computing resources are needed correspondingly. Recently, quantum computing has been proven to outperform a classical computer on specific computational tasks. However, the quantum CFD (QCFD) solver remains a challenge because the conversion between the classical and quantum data would become the bottleneck for the time complexity. Here we propose a QCFD solver with exponential speedup over classical counterparts and focus on how a quantum computer handles classical input and output. By utilizing quantum random access memory, the algorithm realizes sublinear time at every iteration step. The QCFD solver could allow new frontiers in the CFD area by allowing a finer mesh and faster calculation.


title: SM+: Refined Scale Match for Tiny Person Detection

abstract: Detecting tiny objects ( e.g., less than 20 x 20 pixels) in large-scale images is an important yet open problem. Modern CNN-based detectors are challenged by the scale mismatch between the dataset for network pre-training and the target dataset for detector training. In this paper, we investigate the scale alignment between pre-training and target datasets, and propose a new refined Scale Match method (termed SM+) for tiny person detection. SM+ improves the scale match from image level to instance level, and effectively promotes the similarity between pre-training and target dataset. Moreover, considering SM+ possibly destroys the image structure, a new probabilistic structure inpainting (PSI) method is proposed for the background processing. Experiments conducted across various detectors show that SM+ noticeably improves the performance on TinyPerson, and outperforms the state-of-the-art detectors with a significant margin.


title: On the existence and regularity of solutions of semi-hyperbolic patches to 2-D Euler equations with van der Waals gas

abstract: This article is concerned in establishing the existence and regularity of solution of semi-hyperbolic patch problem for two-dimensional isentropic Euler equations with van der Waals gas. This type of solution appears in the transonic flow over an airfoil and Guderley reflection and is very common in the numerical solution of Riemann problems. We use the idea of characteristic decomposition and bootstrap method to prove the existence of global smooth solution which is uniformly $C^{1, \frac{1}{2}}$ continuous up to the sonic curve. We also prove that the sonic curve is $C^{1, \frac{1}{2}}$ continuous. Further, we show the formation of shock as an envelope for positive characteristics before reaching their sonic points.


title: Star formation in 'the Brick': ALMA reveals an active proto-cluster in the Galactic centre cloud G0.253+0.016

abstract: G0.253+0.016, aka 'the Brick', is one of the most massive (> 10^5 Msun) and dense (> 10^4 cm-3) molecular clouds in the Milky Way's Central Molecular Zone. Previous observations have detected tentative signs of active star formation, most notably a water maser that is associated with a dust continuum source. We present ALMA Band 6 observations with an angular resolution of 0.13" (1000 AU) towards this 'maser core', and report unambiguous evidence of active star formation within G0.253+0.016. We detect a population of eighteen continuum sources (median mass ~ 2 Msun), nine of which are driving bi-polar molecular outflows as seen via SiO (5-4) emission. At the location of the water maser, we find evidence for a protostellar binary/multiple with multi-directional outflow emission. Despite the high density of G0.253+0.016, we find no evidence for high-mass protostars in our ALMA field. The observed sources are instead consistent with a cluster of low-to-intermediate-mass protostars. However, the measured outflow properties are consistent with those expected for intermediate-to-high-mass star formation. We conclude that the sources are young and rapidly accreting, and may potentially form intermediate and high-mass stars in the future. The masses and projected spatial distribution of the cores are generally consistent with thermal fragmentation, suggesting that the large-scale turbulence and strong magnetic field in the cloud do not dominate on these scales, and that star formation on the scale of individual protostars is similar to that in Galactic disc environments.


title: Policy options for digital infrastructure strategies: A simulation model for broadband universal service in Africa

abstract: Internet access is essential for economic development and helping to deliver the Sustainable Development Goals, especially as even basic broadband can revolutionize available economic opportunities. Yet, more than one billion people still live without internet access. Governments must make strategic choices to connect these citizens, but currently have few independent, transparent and scientifically reproducible assessments to rely on. This paper develops open-source software to test broadband universal service strategies which meet the 10 Mbps target being considered by the UN Broadband Commission. The private and government costs of different infrastructure decisions are quantified in six East and West African countries (C\^ote D`Ivoire, Mali, Senegal, Kenya, Tanzania and Uganda). The results provide strong evidence that `leapfrogging` straight to 4G in unconnected areas is the least-cost option for providing broadband universal service, with savings between 13-51% over 3G. The results also demonstrate how the extraction of spectrum and tax revenues in unviable markets provide no net benefit, as for every $1 taken in revenue, a $1 infrastructure subsidy is required from government to achieve broadband universal service. Importantly, the use of a Shared Rural Network in unviable locations provides impressive cost savings (up to 78%), while retaining the benefits of dynamic infrastructure competition in viable urban and suburban areas. This paper provides evidence to design national and international policies aimed at broadband universal service.


title: Representation theoretic embedding of twisted Dirac operators

abstract: Let $G$ be a non-compact connected semisimple real Lie group with finite center. Suppose $L$ is a non-compact connected closed subgroup of $G$ acting transitively on a symmetric space $G/H$ such that $L\cap H$ is compact. We study the action on $L/L\cap H$ of a Dirac operator $D_{G/H}(E)$ acting on sections of an $E$-twist of the spin bundle over $G/H$. As a byproduct, in the case of $(G,H,L)=(SL(2,{\mathbb R})\times SL(2,{\mathbb R}),\Delta(SL(2,{\mathbb R})\times SL(2,{\mathbb R})),SL(2,{\mathbb R})\times SO(2))$, we identify certain representations of $L$ which lie in the kernel of $D_{G/H}(E)$.


title: Structural and Electrical Properties of Bilayer SiX (X= N, P, As and Sb)

abstract: In this work, the structural, electrical, and optical properties of bilayer SiX (X= N, P, As, and Sb) are studied using density functional theory (DFT). Five different stacking orders are considered for every compound and their structural properties are presented. The band structure of these materials demonstrates that they are indirect semiconductors. The out-of-plane strain has been applied to tune the bandgap and its electrical properties. The bandgap increases with tensile strain, whereas, compressive strain leads to semiconductor-to-metal transition. The sensitivity of the bandgap to the pressure is investigated and bilayer SiSb demonstrates the highest bandgap sensitivity to the pressure. These structures exhibit Mexican hat-like valence band dispersion that can be approved by a singularity in the density of states. The Mexican-hat coefficient can be tuned by out-of-plane strain. Optical absorption of these compounds shows that the second and lower valence bands due to the high density of states display a higher contribution to optical transitions.


title: The Baire closure and its logic

abstract: The Baire algebra of a topological space $X$ is the quotient of the algebra of all subsets of $X$ modulo the meager sets. We show that this Boolean algebra can be endowed with a natural closure operator, resulting in a closure algebra which we denote ${\bf Baire}(X)$. We identify the modal logic of such algebras to be the well-known system $\sf S5$, and prove soundness and strong completeness for the cases where $X$ is crowded and either completely metrizable and continuum-sized or locally compact Hausdorff. We also show that every extension of $\sf S5$ is the modal logic of a subalgebra of ${\bf Baire}(X)$, and that soundness and strong completeness also holds in the language with the universal modality.


title: Localizing Unsynchronized Sensors with Unknown Sources

abstract: We propose a method for sensor array self-localization using a set of sources at unknown locations. The sources produce signals whose times of arrival are registered at the sensors. We look at the general case where neither the emission times of the sources nor the reference time frames of the receivers are known. Unlike previous work, our method directly recovers the array geometry, instead of first estimating the timing information. The key component is a new loss function which is insensitive to the unknown timings. We cast the problem as a minimization of a non-convex functional of the Euclidean distance matrix of microphones and sources subject to certain non-convex constraints. After convexification, we obtain a semidefinite relaxation which gives an approximate solution; subsequent refinement on the proposed loss via the Levenberg-Marquardt scheme gives the final locations. Our method achieves state-of-the-art performance in terms of reconstruction accuracy, speed, and the ability to work with a small number of sources and receivers. It can also handle missing measurements and exploit prior geometric and temporal knowledge, for example if either the receiver offsets or the emission times are known, or if the array contains compact subarrays with known geometry.