title: Nuclear Predictions for $H$ Spectroscopy without Nuclear Errors

abstract: Nuclear-structure effects often provide an irreducible theory error that prevents using precision atomic measurements to test fundamental theory. We apply newly developed effective field theory tools to Hydrogen atoms, and use them to show that (to the accuracy of present measurements) all nuclear finite-size effects (e.g. the charge radius, Friar moments, nuclear polarizabilities, recoil corrections, Zemach moments {\it etc.}) only enter into atomic energies through exactly two parameters, independent of any nuclear-modelling uncertainties. Since precise measurements are available for more than two atomic levels in Hydrogen, this observation allows the use of precision atomic measurements to eliminate the theory error associated with nuclear matrix elements. We apply this reasoning to the seven atomic measurements whose experimental accuracy is smaller than 10 kHz to provide predictions for nuclear-size effects whose theoretical accuracy is not subject to nuclear-modelling uncertainties and so are much smaller than 1 kHz. Furthermore, the accuracy of these predictions can improve as atomic measurements improve, allowing precision fundamental tests to become possible well below the 'irreducible' error floor of nuclear theory.


title: Fast Proximal Gradient Methods for Nonsmooth Convex Optimization for Tomographic Image Reconstruction

abstract: The Fast Proximal Gradient Method (FPGM) and the Monotone FPGM (MFPGM) for minimization of nonsmooth convex functions are introduced and applied to tomographic image reconstruction. Convergence properties of the sequence of objective function values are derived, including a $O\left(1/k^{2}\right)$ non-asymptotic bound. The presented theory broadens current knowledge and explains the convergence behavior of certain methods that are known to present good practical performance. Numerical experimentation involving computerized tomography image reconstruction shows the methods to be competitive in practical scenarios. Experimental comparison with Algebraic Reconstruction Techniques are performed uncovering certain behaviors of accelerated Proximal Gradient algorithms that apparently have not yet been noticed when these are applied to tomographic image reconstruction.


title: ScribbleBox: Interactive Annotation Framework for Video Object Segmentation

abstract: Manually labeling video datasets for segmentation tasks is extremely time consuming. In this paper, we introduce ScribbleBox, a novel interactive framework for annotating object instances with masks in videos. In particular, we split annotation into two steps: annotating objects with tracked boxes, and labeling masks inside these tracks. We introduce automation and interaction in both steps. Box tracks are annotated efficiently by approximating the trajectory using a parametric curve with a small number of control points which the annotator can interactively correct. Our approach tolerates a modest amount of noise in the box placements, thus typically only a few clicks are needed to annotate tracked boxes to a sufficient accuracy. Segmentation masks are corrected via scribbles which are efficiently propagated through time. We show significant performance gains in annotation efficiency over past work. We show that our ScribbleBox approach reaches 88.92% J&F on DAVIS2017 with 9.14 clicks per box track, and 4 frames of scribble annotation.


title: Gradient Ambient Obstruction Solitons on Homogeneous Manifolds

abstract: We examine homogeneous solitons of the ambient obstruction flow and, in particular, prove that any compact ambient obstruction soliton with constant scalar curvature is trivial. Focusing on dimension 4, we show that any homogeneous gradient Bach soliton that is steady must be Bach flat, and that the only non-Bach-flat shrinking gradient solitons are product metrics on $\mathbb{R}^2\times S^2$ and $\mathbb{R}^2 \times H^2$. We also construct a non-Bach-flat expanding homogeneous gradient Bach soliton. We also establish a number of results for solitons to the geometric flow by a general tensor $q$.


title: Lyapunov exponent in the Vicsek model

abstract: The well-known Vicsek model describes the dynamics of a flock of self-propelled particles (SPPs). Surprisingly, there is no direct measure of the chaotic behavior of such systems. Here, we discuss the dynamical phase transition present in Vicsek systems in light of the largest Lyapunov exponent (LLE), which is numerically computed by following the dynamical evolution in tangent space for up to two million SPPs. As discontinuities in the neighbor weighting factor hinder the computations, we propose a smooth form of the Vicsek model. We find a chaotic regime for the collective behavior of the SPPs based on the LLE. The dependence of LLE with the applied noise, used as a control parameter, changes sensibly in the vicinity of the well-known transition points of the Vicsek model.


title: Pricing and Budget Allocation for IoT Blockchain with Edge Computing

abstract: Attracted by the inherent security and privacy protection of the blockchain, incorporating blockchain into Internet of Things (IoT) has been widely studied in these years. However, the mining process requires high computational power, which prevents IoT devices from directly participating in blockchain construction. For this reason, edge computing service is introduced to help build the IoT blockchain, where IoT devices could purchase computational resources from the edge servers. In this paper, we consider the case that IoT devices also have other tasks that need the help of edge servers, such as data analysis and data storage. The profits they can get from these tasks is closely related to the amounts of resources they purchased from the edge servers. In this scenario, IoT devices will allocate their limited budgets to purchase different resources from different edge servers, such that their profits can be maximized. Moreover, edge servers will set "best" prices such that they can get the biggest benefits. Accordingly, there raise a pricing and budget allocation problem between edge servers and IoT devices. We model the interaction between edge servers and IoT devices as a multi-leader multi-follower Stackelberg game, whose objective is to reach the Stackelberg Equilibrium (SE). We prove the existence and uniqueness of the SE point, and design efficient algorithms to reach the SE point. In the end, we verify our model and algorithms by performing extensive simulations, and the results show the correctness and effectiveness of our designs.


title: On the treatment of boundary conditions for bond-based peridynamic models

abstract: In this paper, we propose two approaches to apply boundary conditions for bond-based peridynamic models. There has been in recent years a renewed interest in the class of so-called non-local models, which include peridynamic models, for the simulation of structural mechanics problems as an alternative approach to classical local continuum models. However, a major issue, which is often disregarded when dealing with this class of models, is concerned with the manner by which boundary conditions should be prescribed. Our point of view here is that classical boundary conditions, since applied on surfaces of solid bodies, are naturally associated with local models. The paper describes two methods to incorporate classical Dirichlet and Neumann boundary conditions into bond-based peridynamics. The first method consists in artificially extending the domain with a thin boundary layer over which the displacement field is required to behave as an odd function with respect to the boundary points. The second method resorts to the idea that peridynamic models and local models should be compatible in the limit that the so-called horizon vanishes. The approach consists then in decreasing the horizon from a constant value in the interior of the domain to zero at the boundary so that one can directly apply the classical boundary conditions. We present the continuous and discrete formulations of the two methods and assess their performance on several numerical experiments dealing with the simulation of a one-dimensional bar.


title: Variational approach to time-dependent fluorescence of a driven qubit

abstract: We employ the Dirac-Frenkel variational principle and multiple Davydov ansatz to study time-dependent fluorescence spectra of a driven qubit in the weak- to strong qubit-reservoir coupling regimes, where both the Rabi frequency and spontaneous decay rate are comparable to the transition frequency of the qubit. Our method agrees well with the time-local master-equation approach in the weak-coupling regime, and offers a flexible way to compute the spectra from the bosonic dynamics instead of two-time correlation functions. While the perturbative master equation breaks down in the strong-coupling regime, our method actually becomes more accurate due to the use of bosonic coherent states under certain conditions. We show that the counter-rotating coupling between the qubit and the reservoir has considerable contributions to the photon number dynamics and the spectra under strong driving conditions even though the coupling is moderately weak. The time-dependent spectra are found to be generally asymmetric, a feature that is derived from photon number dynamics. In addition, it is shown that the spectral profiles can be dramatically different from the Mollow triplet due to strong dissipation and/or multiphoton processes associated with the strong driving. Our formalism provides a unique perspective to interpret time-dependent spectra.


title: Seasonal-adjustment Based Feature Selection Method for Large-scale Search Engine Logs

abstract: Search engine logs have a great potential in tracking and predicting outbreaks of infectious disease. More precisely, one can use the search volume of some search terms to predict the infection rate of an infectious disease in nearly real-time. However, conducting accurate and stable prediction of outbreaks using search engine logs is a challenging task due to the following two-way instability characteristics of the search logs. First, the search volume of a search term may change irregularly in the short-term, for example, due to environmental factors such as the amount of media or news. Second, the search volume may also change in the long-term due to the demographic change of the search engine. That is to say, if a model is trained with such search logs with ignoring such characteristic, the resulting prediction would contain serious mispredictions when these changes occur. In this work, we proposed a novel feature selection method to overcome this instability problem. In particular, we employ a seasonal-adjustment method that decomposes each time series into three components: seasonal, trend and irregular component and build prediction models for each component individually. We also carefully design a feature selection method to select proper search terms to predict each component. We conducted comprehensive experiments on ten different kinds of infectious diseases. The experimental results show that the proposed method outperforms all comparative methods in prediction accuracy for seven of ten diseases, in both now-casting and forecasting setting. Also, the proposed method is more successful in selecting search terms that are semantically related to target diseases.


title: Online Adaptive Learning for Runtime Resource Management of Heterogeneous SoCs

abstract: Dynamic resource management has become one of the major areas of research in modern computer and communication system design due to lower power consumption and higher performance demands. The number of integrated cores, level of heterogeneity and amount of control knobs increase steadily. As a result, the system complexity is increasing faster than our ability to optimize and dynamically manage the resources. Moreover, offline approaches are sub-optimal due to workload variations and large volume of new applications unknown at design time. This paper first reviews recent online learning techniques for predicting system performance, power, and temperature. Then, we describe the use of predictive models for online control using two modern approaches: imitation learning (IL) and an explicit nonlinear model predictive control (NMPC). Evaluations on a commercial mobile platform with 16 benchmarks show that the IL approach successfully adapts the control policy to unknown applications. The explicit NMPC provides 25% energy savings compared to a state-of-the-art algorithm for multi-variable power management of modern GPU sub-systems.


title: Prescribed curvature measure problem in hyperbolic space

abstract: The problem of the prescribed curvature measure is one of the important problems in differential geometry and nonlinear partial differential equations. In this paper, we consider prescribed curvature measure problem in hyperbolic space. We obtain the existence of star-shaped k-convex bodies with prescribed (n-k)-th curvature measures (k<n) by establishing crucial C^2 regularity estimates for solutions to the corresponding fully nonlinear PDE in the hyperbolic space.


title: Global oscillation data analysis on the $3\nu$ mixing without unitarity

abstract: We present results of a combined analysis in neutrino oscillations without unitarity assumption in the $3\nu$ mixing picture. Constraints on neutrino mixing matrix elements are based on recent data from the reactor, solar and long-baseline accelerator neutrino oscillation experiments. The current data are consistent with the standard $3\nu$ scheme. The precision on different matrix elements can be as good as a few percent at $3\sigma$ CL, and is mainly limited by the experimental statistical uncertainty. The $\nu_e$ related elements are the most precisely measured among all sectors with the uncertainties $<20\%$. The measured leptonic CP violation is very close to the one assuming the standard $3\nu$ mixing. The deviations on normalization and the unitarity triangle closure are confined within $\mathcal{O}(10^{-3})$, $\mathcal{O}(10^{-2})$ and $\mathcal{O}(10^{-1})$, for $\nu_e$, $\nu_{\mu}$ and $\nu_{\tau}$ sectors, respectively. We look forward to the next-generation neutrino oscillation experiments \textit{such as} DUNE, T2HK, and JUNO, especially the precise measurements on $\nu_\tau$ oscillations, to significantly improve the precision of unitarity test on the $3\nu$ mixing matrix.


title: A journey from the octonionic $\mathbb P^2$ to a fake $\mathbb P^2$

abstract: We discover a family of surfaces of general type with $K^2=3$ and $p=q=0$ as free $C_{13}$ quotients of special linear cuts of the octonionic projective plane $\mathbb O \mathbb P^2$. A special member of the family has $3$ singularities of type $A_2$, and is a quotient of a fake projective plane. We use the techniques of \cite{BF20} to define this fake projective plane by explicit equations in its bicanonical embedding.


title: Set-based state estimation and fault diagnosis of linear discrete-time descriptor systems using constrained zonotopes

abstract: This paper presents new methods for set-valued state estimation and active fault diagnosis of linear descriptor systems. The algorithms are based on constrained zonotopes, a generalization of zonotopes capable of describing strongly asymmetric convex sets, while retaining the computational advantages of zonotopes. Additionally, unlike other set representations like intervals, zonotopes, ellipsoids, paralletopes, among others, linear static constraints on the state variables, typical of descriptor systems, can be directly incorporated in the mathematical description of constrained zonotopes. Therefore, the proposed methods lead to more accurate results in state estimation in comparison to existing methods based on the previous sets without requiring rank assumptions on the structure of the descriptor system and with a fair trade-off between accuracy and efficiency. These advantages are highlighted in two numerical examples.


title: Fatigue-aware Bandits for Dependent Click Models

abstract: As recommender systems send a massive amount of content to keep users engaged, users may experience fatigue which is contributed by 1) an overexposure to irrelevant content, 2) boredom from seeing too many similar recommendations. To address this problem, we consider an online learning setting where a platform learns a policy to recommend content that takes user fatigue into account. We propose an extension of the Dependent Click Model (DCM) to describe users' behavior. We stipulate that for each piece of content, its attractiveness to a user depends on its intrinsic relevance and a discount factor which measures how many similar contents have been shown. Users view the recommended content sequentially and click on the ones that they find attractive. Users may leave the platform at any time, and the probability of exiting is higher when they do not like the content. Based on user's feedback, the platform learns the relevance of the underlying content as well as the discounting effect due to content fatigue. We refer to this learning task as "fatigue-aware DCM Bandit" problem. We consider two learning scenarios depending on whether the discounting effect is known. For each scenario, we propose a learning algorithm which simultaneously explores and exploits, and characterize its regret bound.


title: Efficient calculation of carrier scattering rates from first principles

abstract: The electronic transport behaviour of materials determines their suitability for technological applications. We develop an efficient method for calculating carrier scattering rates of solid-state semiconductors and insulators from first principles inputs. The present method extends existing polar and non-polar electron-phonon coupling, ionized impurity, and piezoelectric scattering mechanisms formulated for isotropic band structures to support highly anisotropic materials. We test the formalism by calculating the electronic transport properties of 16 semiconductors and comparing the results against experimental measurements. The present work is amenable for use in high-throughput computational workflows and enables accurate screening of carrier mobilities, lifetimes, and thermoelectric power.


title: Assurance of Distributed Algorithms and Systems: Runtime Checking of Safety and Liveness

abstract: This paper presents a general framework and methods for complete programming and checking of distributed algorithms at a high-level, as in pseudocode languages, but precisely specified and directly executable, as in formal specification languages and practical programming languages, respectively. The checking framework, as well as the writing of distributed algorithms and specification of their safety and liveness properties, use DistAlgo, a high-level language for distributed algorithms. We give a complete executable specification of the checking framework, with a complete example algorithm and example safety and liveness properties.


title: Tunable quantum spin chain with three-body interactions

abstract: We introduce a generalization of the Fredkin spin chain with tunable three-body interactions expressed in terms of conventional spin-half operators. Of the model's two free parameters, one controls the preference for Ising antiferromagnetism and the other controls the strength of quantum fluctuations. In this formulation, the so-called $t$-deformed model (an exactly solvable, frustration-free Hamiltonian) lives on a unit circle centered on the origin of the phase diagram. The circle demarcates the boundary between ferromagnetic order inside and various antiferromagnetic phases outside. Throughout most of the non-ferromagnetic parts of the phase diagram, the ground state has Dyck word form: i.e., all contributing spin configurations exhibit perfect matching and nesting of spin up and spin down. The exceptions are two regions in which Dyck word mismatches are energetically favorable. We remark that in those regions the energy level spacing can be exponentially small in the system size. It is also the case that exact diagonalization reveals a highly idiosyncratic energy spectrum, presumably because the hard spin twist at the chain ends induces strong incommensurability effects on the bulk system when the chain length is small. As a convergence check, we benchmark our DMRG results to near-double-precision floating-point accuracy against analytical results at exactly solvable points and against exact diagonalization results for small system sizes across the entire parameter space.


title: On proximal contractions via implicit relations and best proximity points

abstract: In this paper, we employ two types of implicit relations to define some new kind of proximal contractions and study about their best proximity points. More precisely, we use two class of functions $\mathcal{A}$ and $\mathcal{A}'$ to explore proximal $\mathcal{A}$, $\mathcal{A}'$-contractions of first and second type and strong proximal $\mathcal{A}$, $\mathcal{A}'$-contractions. We investigate the existence of best proximity point results of the same. It is worth mentioning that the well-known results of Sadiq Basha [J. Approx. Theory, $2011$] on proximal contractions are the special cases of our obtained results. We authenticate our results by suitable examples.


title: 1.28 and 5.12 Gbps multi-channel twinax cable receiver ASICs for the ATLAS Inner Tracker Pixel Detector Upgrade

abstract: We present two prototypes of a gigabit transceiver ASIC, GBCR1 and GBCR2, both designed in a 65-nm CMOS technology for the ATLAS Inner Tracker Pixel Detector readout upgrade. The first prototype, GBCR1, has four upstream receiver channels and one downstream transmitter channel with pre-emphasis. Each upstream channel receives the data at 5.12 Gbps through a 5 meter AWG34 Twinax cable from an ASIC driver located on the pixel module and restores the signal from the high frequency loss due to the low mass cable. The signal is retimed by a recovered clock before it is sent to the optical transmitter VTRx+. The downstream driver is designed to transmit the 2.56 Gbps signal from lpGBT to the electronics on the pixel module over the same cable. The peak-peak jitter (throughout the paper jitter is always peak-peak unless specified) of the restored signal is 35.4 ps at the output of GBCR1, and 138 ps for the downstream channel at the cable ends. GBCR1 consumes 318 mW and is tested. The second prototype, GBCR2, has seven upstream channels and two downstream channels. Each upstream channel works at 1.28 Gbps to recover the data directly from the RD53B ASIC through a 1 meter custom FLEX cable followed by a 6 meter AWG34 Twinax cable. The equalized signal of each upstream channel is retimed by an input 1.28 GHz phase programmable clock. Compared with the signal at the FLEX input, the additional jitter of the equalized signal is about 80 ps when the retiming logic is o . When the retiming logic is on, the jitter is 50 ps at GBCR2 output, assuming the 1.28 GHz retiming clock is from lpGBT. The downstream is designed to transmit the 160 Mbps signal from lpGBT through the same cable connection to RD53B and the jitter is about 157 ps at the cable ends. GBCR2 consumes about 150 mW when the retiming logic is on. This design was submitted in November 2019.


title: Investigation on the Cs 6S1=2 to 7D electric quadrupole transition via monochromatic two-photon process at 767 nm

abstract: We experimentally demonstrate the cesium electric quadrupole transition from the 6S1/2 ground state to the 7D3/2,5/2 excited state through a virtual level by using a single laser at 767 nm. The excited state energy level population is characterized by varying the laser power, the temperature of the vapor, and the polarization combinations of the laser beams. The optimized experimental parameters are obtained for a high resolution transition interval identification. The magnetic dipole coupling constant A and electric quadrupole coupling constant B for the 7D3/2,5/2 states are precisely determined by using the hyper ne levels intervals. The results, A = 7.39 (0.06) MHz, B = -0.19 (0.18) MHz for the 7D3/2 state, and A = -1.79 (0.05) MHz, B =1.05 (0.29) MHz for the 7D5/2 state, are in good agreement with the previous reported results. This work is beneficial for the determination of atomic structure information and parity non-conservation, which paves the way for the field of precision measurements and atomic physics.


title: Applications of BERT Based Sequence Tagging Models on Chinese Medical Text Attributes Extraction

abstract: We convert the Chinese medical text attributes extraction task into a sequence tagging or machine reading comprehension task. Based on BERT pre-trained models, we have not only tried the widely used LSTM-CRF sequence tagging model, but also other sequence models, such as CNN, UCNN, WaveNet, SelfAttention, etc, which reaches similar performance as LSTM+CRF. This sheds a light on the traditional sequence tagging models. Since the aspect of emphasis for different sequence tagging models varies substantially, ensembling these models adds diversity to the final system. By doing so, our system achieves good performance on the task of Chinese medical text attributes extraction (subtask 2 of CCKS 2019 task 1).


title: Characterization of a gigabit transceiver for the ATLAS inner tracker pixel detector readout upgrade

abstract: We present a gigabit transceiver prototype Application Specific Integrated Circuit (ASIC), GBCR, for the ATLAS Inner Tracker (ITk) Pixel detector readout upgrade. GBCR is designed in a 65-nm CMOS technology and consists of four upstream receiver channels, a downstream transmitter channel, and an Inter-Integrated Circuit (I2C) slave. The upstream channels receive the data at 5.12 Gbps passing through 5-meter 34-American Wire Gauge (AWG) Twin-axial (Twinax) cables, equalize them, retime them with a recovered clock, and then drive an optical transmitter. The downstream channel receives the data at 2.56 Gbps from an optical receiver and drives the cable as same as the upstream channels. The jitter of the upstream channel output is measured to be 35 ps (peak-peak) when the Clock-Data Recovery (CDR) module is turned on and the jitter of the downstream channel output after the cable is 138 ps (peak-peak). The power consumption of each upstream channel is 72 mW when the CDR module is turned on and the downstream channel consumes 27 mW. GBCR survives the total ionizing dose of 200 kGy.


title: PNEN: Pyramid Non-Local Enhanced Networks

abstract: Existing neural networks proposed for low-level image processing tasks are usually implemented by stacking convolution layers with limited kernel size. Every convolution layer merely involves in context information from a small local neighborhood. More contextual features can be explored as more convolution layers are adopted. However it is difficult and costly to take full advantage of long-range dependencies. We propose a novel non-local module, Pyramid Non-local Block, to build up connection between every pixel and all remain pixels. The proposed module is capable of efficiently exploiting pairwise dependencies between different scales of low-level structures. The target is fulfilled through first learning a query feature map with full resolution and a pyramid of reference feature maps with downscaled resolutions. Then correlations with multi-scale reference features are exploited for enhancing pixel-level feature representation. The calculation procedure is economical considering memory consumption and computational cost. Based on the proposed module, we devise a Pyramid Non-local Enhanced Networks for edge-preserving image smoothing which achieves state-of-the-art performance in imitating three classical image smoothing algorithms. Additionally, the pyramid non-local block can be directly incorporated into convolution neural networks for other image restoration tasks. We integrate it into two existing methods for image denoising and single image super-resolution, achieving consistently improved performance.


title: A Efficient Multimodal Framework for Large Scale Emotion Recognition by Fusing Music and Electrodermal Activity Signals

abstract: Considerable attention has been paid for physiological signal-based emotion recognition in field of affective computing. For the reliability and user friendly acquisition, Electrodermal Activity (EDA) has great advantage in practical applications. However, the EDA-based emotion recognition with hundreds of subjects still lacks effective solution. In this paper, our work makes an attempt to fuse the subject individual EDA features and the external evoked music features. And we propose an end-to-end multimodal framework, the 1-dimensional residual temporal and channel attention network (RTCAN-1D). For EDA features, the novel convex optimization-based EDA (CvxEDA) method is applied to decompose EDA signals into pahsic and tonic signals for mining the dynamic and steady features. The channel-temporal attention mechanism for EDA-based emotion recognition is firstly involved to improve the temporal- and channel-wise representation. For music features, we process the music signal with the open source toolkit openSMILE to obtain external feature vectors. The individual emotion features from EDA signals and external emotion benchmarks from music are fused in the classifing layers. We have conducted systematic comparisons on three multimodal datasets (PMEmo, DEAP, AMIGOS) for 2-classes valance/arousal emotion recognition. Our proposed RTCAN-1D outperforms the existing state-of-the-art models, which also validate that our work provides an reliable and efficient solution for large scale emotion recognition. Our code has been released at https://github.com/guanghaoyin/RTCAN-1D.


title: A TOSA/ROSA-Based Optical Transmitter (MTx+)/Transceiver (MTRx+) for High-Energy Physics Experiments

abstract: We present a dual-channel optical transmitter (MTx+)/transceiver (MTRx+) for the front-end readout electronics of high-energy physics experiments. MTx+ utilizes two Transmitter Optical Sub-Assemblies (TOSAs) and MTRx+ utilizes a TOSA and a Receiver Optical Sub-Assemblies (ROSA). Both MTx+ and MTRx+ receive multimode fibers with standard Lucent Connectors (LCs) as the optical interface and can be panel or board mounted to a motherboard with a standard Enhanced Small Form-factor Pluggable (SFP+) connector as the electrical interface. MTx+ and MTRx+ employ a dual-channel Vertical-Cavity Surface-Emitting Laser (VCSEL) driver ASIC called LOCld65, which brings the transmitting data rate up to 14 Gbps per channel. MTx+ and MTRx+ have been tested to survive 4.9 kGy(SiO2).


title: Microscopic model for the collective enhancement of nuclear level densities

abstract: A microscopic method for calculating nuclear level densities (NLD) is developed, based on the framework of energy density functionals. Intrinsic level densities are computed from single-quasiparticle spectra obtained in a finite-temperature self-consistent mean-field (SCMF) calculation that takes into account nuclear deformation, and is specified by the choice of the energy density functional (EDF) and pairing interaction. The total level density is calculated by convoluting the intrinsic density with the corresponding collective level density, determined by the eigenstates of a five-dimensional quadrupole or quadrupole plus octupole collective Hamiltonian. The parameters of the Hamiltonian (inertia parameters, collective potential) are consistently determined by deformation-constrained SCMF calculations using the same EDF and pairing interaction. The model is applied in the calculation of NLD of $^{94,96,98}$Mo, $^{106,108}$Pd, $^{106,112}$Cd, $^{160,162,164}$Dy, $^{166}$Er, and $^{170,172}$Yb, in comparison with available data. It is shown that the collective enhancement of the intrinsic level density, consistently computed from the eigenstates of the corresponding collective Hamiltonian, leads to total NLDs that are in excellent agreement with data over the whole energy range of measured values.


title: Clustering in the Simulated H$\alpha$ Galaxy Redshift Survey from Nancy Grace Roman Space Telescope

abstract: We present a realistic 2000 deg$^{2}$ H$\alpha$ galaxy mock catalog with $1<z<2$ for the Nancy Grace Roman Space Telescope galaxy redshift survey, the High Latitude Spectroscopic Survey (HLSS), created using Galacticus, a semi-analytical galaxy formation model, and high resolution cosmological N-body simulations. Galaxy clustering can probe dark energy and test gravity via baryon acoustic oscillation (BAO) and redshift space distortion (RSD) measurements. Using our realistic mock as the simulated Roman HLSS data, and a covariance matrix computed using a large set of approximate mocks created using EZmock, we investigate the expected precision and accuracy of the BAO and RSD measurements using the same analysis techniques used in analyzing real data. We find that the Roman H$\alpha$ galaxy survey alone can measure the angular diameter distance with 2\% uncertainty, the Hubble parameter with 3-6\% uncertainty, and the linear growth parameter with 7\% uncertainty, in each of four redshift bins. Our realistic forecast illustrates the power of the Roman galaxy survey in probing the nature of dark energy and testing gravity.


title: Towards Improved Human Action Recognition Using Convolutional Neural Networks and Multimodal Fusion of Depth and Inertial Sensor Data

abstract: This paper attempts at improving the accuracy of Human Action Recognition (HAR) by fusion of depth and inertial sensor data. Firstly, we transform the depth data into Sequential Front view Images(SFI) and fine-tune the pre-trained AlexNet on these images. Then, inertial data is converted into Signal Images (SI) and another convolutional neural network (CNN) is trained on these images. Finally, learned features are extracted from both CNN, fused together to make a shared feature layer, and these features are fed to the classifier. We experiment with two classifiers, namely Support Vector Machines (SVM) and softmax classifier and compare their performances. The recognition accuracies of each modality, depth data alone and sensor data alone are also calculated and compared with fusion based accuracies to highlight the fact that fusion of modalities yields better results than individual modalities. Experimental results on UTD-MHAD and Kinect 2D datasets show that proposed method achieves state of the art results when compared to other recently proposed visual-inertial action recognition methods.


title: Multidomain Multimodal Fusion For Human Action Recognition Using Inertial Sensors

abstract: One of the major reasons for misclassification of multiplex actions during action recognition is the unavailability of complementary features that provide the semantic information about the actions. In different domains these features are present with different scales and intensities. In existing literature, features are extracted independently in different domains, but the benefits from fusing these multidomain features are not realized. To address this challenge and to extract complete set of complementary information, in this paper, we propose a novel multidomain multimodal fusion framework that extracts complementary and distinct features from different domains of the input modality. We transform input inertial data into signal images, and then make the input modality multidomain and multimodal by transforming spatial domain information into frequency and time-spectrum domain using Discrete Fourier Transform (DFT) and Gabor wavelet transform (GWT) respectively. Features in different domains are extracted by Convolutional Neural networks (CNNs) and then fused by Canonical Correlation based Fusion (CCF) for improving the accuracy of human action recognition. Experimental results on three inertial datasets show the superiority of the proposed method when compared to the state-of-the-art.


title: Large Transport Gap Modulation in Graphene via Electric Field Controlled Reversible Hydrogenation

abstract: Graphene is of interest in the development of next-generation electronics due to its high electron mobility, flexibility and stability. However, graphene transistors have poor on/off current ratios because of the absence of a bandgap. One approach to introduce an energy gap is to use hydrogenation reaction, which changes graphene into insulating graphane with sp3 bonding. Here we show that an electric field can be used to control conductor-to-insulator transitions in microscale graphene via a reversible electrochemical hydrogenation in an organic liquid electrolyte containing dissociative hydrogen ions. The fully hydrogenated graphene exhibits a lower limit sheet resistance of 200 Gohm/sq, resulting in graphene field-effect transistors with on/off current ratios of 10^8 at room temperature. The devices also exhibit high endurance, with up to one million switching cycles. Similar insulating behaviours are also observed in bilayer graphene, while trilayer graphene remains highly conductive after the hydrogenation. Changes in the graphene lattice, and the transformation from sp2 to sp3 hybridization, is confirmed by in-situ Raman spectroscopy, supported by first-principles calculations.


title: Machine learning potentials for multicomponent systems: The Ti-Al binary system

abstract: Machine learning potentials (MLPs) are becoming powerful tools for performing accurate atomistic simulations and crystal structure optimizations. An approach to developing MLPs employs a systematic set of polynomial invariants including high-order ones to represent the neighboring atomic density. In this study, a formulation of the polynomial invariants is extended to the case of multicomponent systems. The extended formulation is more complex than the formulation for elemental systems. This study also shows its application to Ti-Al binary system. As a result, an MLP with the lowest error and MLPs with high computational cost performance are selected from the many MLPs developed systematically. The predictive powers of the developed MLPs for many properties, such as the formation energy, elastic constants, thermodynamic properties, and mechanical properties, are examined. The MLPs exhibit high predictive power for the properties in a wide variety of ordered structures. The present scheme should be systematically applicable to other multicomponent systems.


title: Self-Tuning Control based on Modified Equivalent-Dynamic-Linearization Model

abstract: The current model-free adaptive control (MFAC) method is designed on the basis of the equivalent-dynamic-linearization model (EDLM) with neglect of the time delay and disturbance in practical. By comparisons with the current works about MFAC, i) a class of self-tuning controller is proposed based a new EDLM modified by the introduction of time delay and disturbance so as to reflect the real system more objectively. Thereafter, we classify the proposed controller into four cases to enable easier applications; ii) the controller design and stability analysis of system are achievable by analyzing the function of the closed-loop poles. In addition, the issue of how to choose the parameter \lambda in current MFAC by quantity is firstly finished by the analysis of zeros-poles placement and static error of system, whereas this can hardly be realized by the previous contraction mapping method; iii) the study on the proposed method is focused on linear model for easily mastering its working behavior; At last, two examples are used to demonstrate the effectiveness of the proposed method and to point out the deficiencies in the current MFAC theory.


title: A Protocol for Spectroscopists to Isolate The Effect of Berry Geometric Magnetic Forces on Molecular Dynamics

abstract: We propose a novel means to isolate and quantify the effects of Berry force on molecular dynamics using two reasonably strong continuous wave (CW) laser fields with frequencies $\omega$ and $2\omega$. For molecules or materials with three frequency-matching bright transitions ($|{0}\rangle\rightarrow|{1}\rangle$, $|{1}\rangle\rightarrow|{2}\rangle$, $|{0}\rangle\rightarrow|{2}\rangle$) at frequencies ($\omega$, $\omega$, $2\omega$) respectively, the effects of Berry curvature can be isolated by varying the phase between the two laser fields ($\Delta \phi$) and monitoring the dynamics. Moreover, we find that the resulting chemical dynamics can depend critically on the sign of $\Delta \phi$; in other words, the effects of Berry curvature can be enormous. Thus, this manuscript represents an unusual step forward towards using light-matter interactions to affect chemical dynamics, suggesting that topological concepts usually invoked in adiabatic quantum optics and condensed matter can be directly applied to non-adiabatic chemical excited state dynamics.


title: Unsupervised Hyperspectral Mixed Noise Removal Via Spatial-Spectral Constrained Deep Image Prior

abstract: Recently, convolutional neural network (CNN)-based methods are proposed for hyperspectral images (HSIs) denoising. Among them, unsupervised methods such as the deep image prior (DIP) have received much attention because these methods do not require any training data. However, DIP suffers from the semi-convergence behavior, i.e., the iteration of DIP needs to terminate by referring to the ground-truth image at the optimal iteration point. In this paper, we propose the spatial-spectral constrained deep image prior (S2DIP) for HSI mixed noise removal. Specifically, we incorporate DIP with a spatial-spectral total variation (SSTV) term to fully preserve the spatial-spectral local smoothness of the HSI and an $\ell_1$-norm term to capture the complex sparse noise. The proposed S2DIP jointly leverages the expressive power brought from the deep CNN without any training data and exploits the HSI and noise structures via hand-crafted priors. Thus, our method avoids the semi-convergence behavior, showing higher stabilities than DIP. Meanwhile, our method largely enhances the HSI denoising ability of DIP. To tackle the proposed denoising model, we develop an alternating direction multiplier method algorithm. Extensive experiments demonstrate that the proposed S2DIP outperforms optimization-based and supervised CNN-based state-of-the-art HSI denoising methods.


title: On Local Antimagic Chromatic Number of Spider Graphs

abstract: An edge labeling of a connected graph $G = (V,E)$ is said to be local antimagic if it is a bijection $f : E \to \{1, . . . , |E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x) \ne f^+(y)$, where the induced vertex label $f^+(x) = \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $\chi_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we first show that a $d$-leg spider graph has $d+1\le \chi_{la}\le d+2$. We then obtain many sufficient conditions such that both the values are attainable. Finally, we show that each 3-leg spider has $\chi_{la} = 4$ if not all legs are of odd length. We conjecture that almost all $d$-leg spiders of size $q$ that satisfies $d(d+1) \le 2(2q-1)$ with each leg length at least 2 has $\chi_{la} = d+1$.


title: PET-enabled Dual-Energy CT: Image Reconstruction and A Proof-of-Concept Computer Simulation Study

abstract: Standard dual-energy computed tomography (CT) uses two different X-ray energies to obtain energy-dependent tissue attenuation information to allow quantitative material decomposition. The combined use of dual-energy CT and positron emission tomography (PET) may provide a more comprehensive characterization of disease states in cancer and many other diseases. However, the integration of dual-energy CT with PET is not trivial, either requiring costly hardware upgrade or increasing radiation dose. This paper proposes a novel dual-energy CT imaging method that is enabled by the already-available PET data on PET/CT. Instead of using a second X-ray CT scan with a different energy, this method exploits time-of-flight PET image reconstruction via the maximum likelihood attenuation and activity (MLAA) algorithm to obtain a 511 keV gamma-ray attenuation image from PET emission data. The high-energy gamma-ray CT image is then combined with the low-energy X-ray CT of PET/CT to provide a pair of dual-energy CT images. A major challenge with the standard MLAA reconstruction is the high noise present in the reconstructed 511 keV attenuation map, which does not compromise the PET activity reconstruction too much but significantly affects the performance of the gamma-ray CT for material decomposition. To overcome the problem, we further propose a kernel MLAA algorithm to exploit the prior information from the available X-ray CT image. We conducted a computer simulation to test the concept and algorithm for the task of material decomposition. The simulation results indicate that this PET-enabled dual-energy CT method is promising for quantitative material decomposition. The proposed method can be readily implemented on time-of-flight PET/CT scanners to enable simultaneous PET and dual-energy CT imaging.


title: Waves in screeching jets

abstract: The interaction between various wavelike structures in screeching jets is considered via both experimental measurements and linear stability theory. Velocity snapshots of screeching jets are used to produce a reduced order model of the screech cycle via proper orthogonal decomposition. Streamwise Fourier filtering is then applied to isolate the negative and positive wavenumber components, which for the waves of interest in this jet correspond to upstream and downstream-travelling waves. A global stability analysis on an experimentally derived base flow is conducted, demonstrating a close match to the results obtained via experiment, indicating that the mechanisms considered here are well represented in a linear framework. In both analyses, three distinct wavelike structures are evident. These three waves are those first shown by Tam & Hu (1989) to be supported by a cylindrical vortex sheet. One is the Kelvin-Helmholtz mode. Another is the upstream-travelling guided jet mode that has been a topic of recent discussion. The third component, with positive phase velocity, has not previously been identified in screeching jets. We provide evidence that this downstream-travelling wave is a duct-like mode similar to that recently identified in high-subsonic jets by Towne et al. (2017). We further demonstrate that both of the latter two waves are generated by the interaction between the Kelvin-Helmholtz wavepacket and the shock cells in the flow, according to a theory first proposed in Tam & Tanna (1982). Finally, we consider the periodic spatial modulation of the coherent velocity fluctuation evident in screeching jets, and show that this modulation is the result of the superposition of the three wavelike structures, with no evidence that the shocks in the flow modulate the growth of the Kelvin-Helmholtz wavepacket.


title: Constrained Trading Networks

abstract: Trades based on bilateral (indivisible) contracts can be represented by a network. Vertices correspond to agents while arcs represent the non-price elements of a bilateral contract. Given prices for each arc, agents choose the incident arcs that maximize their utility. We enlarge the model to allow for polymatroidal constraints on the set of contracts that may be traded which can be interpreted as modeling limited one for-one substitution. We show that for two-sided markets there exists a competitive equilibrium however for multi-sided markets this may not be possible.


title: MLD: An Intelligent Memory Leak Detection Scheme Based on Defect Modes in Smart Grids

abstract: With the expansion of the software scale and complexity of smart grid systems, the detection of smart grid software defects has become a research hotspot. Because of the large scale of the existing smart grid software code, the efficiency and accuracy of the existing smart grid defect detection algorithms are not high. We propose an intelligent memory leak detection scheme based on defect modes MLD in smart grid. Based on the analysis of existing memory leak defect modes, we summarize memory operation behaviors (allocation, release and transfer) and present a state machine model. We employ a fuzzy matching algorithm based on regular expression to determine the memory operation behaviors and then analyze the change in the state machine to assess the vulnerability in the source code. To improve the efficiency of detection and solve the problem of repeated detection at the function call point, we propose a function summary method for memory operation behaviors. The experimental results demonstrate that the method we proposed has high detection speed and accuracy. The algorithm we proposed can identify the defects of the smart grid operation software and ensure the safe operation of the grid.


title: High-Performance Thermoelectric Oxides Based on Spinel Structure

abstract: High-performance thermoelectric oxides could offer a great energy solution for integrated and embedded applications in sensing and electronics industries. Oxides, however, often suffer from low Seebeck coefficient when compared with other classes of thermoelectric materials. In search of high-performance thermoelectric oxides, we present a comprehensive density functional investigation, based on GGA$+U$ formalism, surveying the 3d and 4d transition-metal-containing ferrites of the spinel structure. Consequently, we predict MnFe$_2$O$_4$ and RhFe$_2$O$_4$ have Seebeck coefficients of $\sim \pm 600$ $\mu$V K$^{-1}$ at near room temperature, achieved by light hole and electron doping. Furthermore, CrFe$_2$O$_4$ and MoFe$_2$O$_4$ have even higher ambient Seebeck coefficients at $\sim \pm 700$ $\mu$V K$^{-1}$. In the latter compounds, the Seebeck coefficient is approximately a flat function of temperature up to $\sim 700$ K, offering a tremendous operational convenience. Additionally, MoFe$_2$O$_4$ doped with $10^{19}$ holes/cm$^3$ has a calculated thermoelectric power factor of $689.81$ $\mu$W K$^{-2}$ m$^{-1}$ at $300$ K, and $455.67$ $\mu$W K$^{-2}$ m$^{-1}$ at $600$ K. The thermoelectric properties predicted here can bring these thermoelectric oxides to applications at lower temperatures traditionally fulfilled by more toxic and otherwise burdensome materials.


title: Sound damping in frictionless granular materials: The interplay between configurational disorder and inelasticity

abstract: We numerically investigate sound damping in a model of granular materials in two dimensions. We simulate evolution of standing waves in disordered frictionless disks and analyze their damped oscillations by velocity autocorrelation functions and power spectra. We control the strength of inelastic interactions between the disks in contact to examine the effect of energy dissipation on sound characteristics of disordered systems. Increasing the strength of inelastic interactions, we find that (i) sound softening vanishes and (ii) sound attenuation due to configurational disorder, i.e. the Rayleigh scattering at low frequencies and disorder-induced broadening at high frequencies, is completely dominated by the energy dissipation. Our findings suggest that sound damping in granular media is determined by the interplay between elastic heterogeneities and inelastic interactions.


title: Strain fields in twisted bilayer graphene

abstract: Van der Waals heteroepitaxy allows deterministic control over lattice mismatch or azimuthal orientation between atomic layers to produce long wavelength superlattices. The resulting electronic phases depend critically on the superlattice periodicity as well as localized structural deformations that introduce disorder and strain. Here, we introduce Bragg interferometry, based on four-dimensional scanning transmission electron microscopy, to capture atomic displacement fields in twisted bilayer graphene with twist angles < 2{\deg}. Nanoscale spatial fluctuations in twist angle and uniaxial heterostrain are statistically evaluated, revealing the prevalence of short-range disorder in this class of materials. By quantitatively mapping strain tensor fields we uncover two distinct regimes of structural relaxation -- in contrast to previous models depicting a single continuous process -- and we disentangle the electronic contributions of the rotation modes that comprise this relaxation. Further, we find that applied heterostrain accumulates anisotropically in saddle point regions to generate distinctive striped shear strain phases. Our results thus establish the reconstruction mechanics underpinning the twist angle dependent electronic behaviour of twisted bilayer graphene, and provide a new framework for directly visualizing structural relaxation, disorder, and strain in any moir\'e material.


title: Structural and mechanical characteristics of sphere packings near the jamming transition: From fully amorphous to quasi-ordered structures

abstract: Mechanically stable sphere packings are generated in three-dimensional space using the discrete element method, which span a wide range in structural order, ranging from fully amorphous to quasi-ordered structures, as characterized by the bond orientational order parameter. As the packing pressure, $p$, varies from the marginally rigid limit at the jamming transition ($p \approx 0$) to that of more robust systems ($p \gg 0$), the coordination number, $z$, follows a familiar scaling relation with pressure, namely, $\Delta z = z - z_c \sim p^{1/2}$, where $z_c = 2d = 6$ ($d=3$ is the spatial dimension). While it has previously been noted that $\Delta z$ does indeed remain the control parameter for determining the packing properties, here we show how the packing structure plays an influential role on the mechanical properties of the packings. Specifically, we find that the elastic (bulk $K$ and shear $G$) moduli, generically referred to as $M$, become functions of both $\Delta z$ and the structure, to the extent that $M-M_c \sim \Delta z$. Here, $M_c$ are values of the elastic moduli at the jamming transition, which depend on the structure of the packings. In particular, the zero shear modulus, $G_c=0$, is a special feature of fully amorphous packings, whereas more ordered packings take larger, positive values, $G_c > 0$.


title: Variational Autoencoder for Anti-Cancer Drug Response Prediction

abstract: Cancer is a primary cause of human death, but discovering drugs and tailoring cancer therapies are expensive and time-consuming. We seek to facilitate the discovery of new drugs and treatment strategies for cancer using variational autoencoders (VAEs) and multi-layer perceptrons (MLPs) to predict anti-cancer drug responses. Our model takes as input gene expression data of cancer cell lines and anti-cancer drug molecular data and encodes these data with our {\sc {GeneVae}} model, which is an ordinary VAE model, and a rectified junction tree variational autoencoder ({\sc JTVae}) model, respectively. A multi-layer perceptron processes these encoded features to produce a final prediction. Our tests show our system attains a high average coefficient of determination ($R^{2} = 0.83$) in predicting drug responses for breast cancer cell lines and an average $R^{2} = 0.845$ for pan-cancer cell lines. Additionally, we show that our model can generates effective drug compounds not previously used for specific cancer cell lines.


title: The Nehari manifold method for Fractional Kirchhoff problem involving singular and exponential nonlinearity

abstract: In this paper we establish the existence of at least two weak solutions for the following fractional Kirchhoff problem involving singular and exponential nonlinearity \begin{equation*} \left\{\begin{split} M\left(\|u\|^{\frac{n}{s}}\right)(-\Delta)^s_{n/s}u & = \mu u^{-q}+ u^{r-1}\exp( u^{\beta})\;\text{in}\;\Om, u&>0,\;\text{in}\; \Om, u &= 0,\;\text{in}\; \mb R^n \setminus{\Om}, \end{split} \right. \end{equation*} where $\Om$ is smooth bounded domain in $\mb R^n$, {$n\geq 1$}, $s\in (0,1)$, $\mu>0$ is a real parameter, $\beta <\frac{n}{n-s}$ and $q\in (0,1)$. We have considered the degenerate Kirchhoff case here and used the Nehari manifold techniques to obtain the results.


title: Measurement of Space Charge Effects in the MicroBooNE LArTPC Using Cosmic Muons

abstract: Large liquid argon time projection chambers (LArTPCs), especially those operating near the surface, are susceptible to space charge effects. In the context of LArTPCs, the space charge effect is the build-up of slow-moving positive ions in the detector primarily due to ionization from cosmic rays, leading to a distortion of the electric field within the detector. This effect leads to a displacement in the reconstructed position of signal ionization electrons in LArTPC detectors ("spatial distortions"), as well as to variations in the amount of electron-ion recombination experienced by ionization throughout the volume of the TPC. We present techniques that can be used to measure and correct for space charge effects in large LArTPCs by making use of cosmic muons, including the use of track pairs to unambiguously pin down spatial distortions in three dimensions. The performance of these calibration techniques are studied using both Monte Carlo simulation and MicroBooNE data, utilizing a UV laser system as a means to estimate the systematic bias associated with the calibration methodology.


title: Exploring the Possibility of Identifying Hydride and Hydroxyl Cations of Noble Gas Species in the Crab Nebula Filament

abstract: The first identification of the argonium ion (ArH+) towards the Crab Nebula supernova remnant was proclaimed by the Herschel in the sub-millimeter and far-infrared domain. Very recently the discovery of the hydro-helium cation (HeH+) in the planetary nebula (NGC 7027) has been reported by using the SOFIA. The elemental abundance of neon is much higher than that of the argon. However, the presence of neonium ions (NeH+) is yet to be confirmed in space. Though the hydroxyl radicals (OH) are very abundant either in neutral or in the cationic form, hydroxyl cations of such noble gases (i.e., ArOH+, NeOH+, and HeOH+) are yet to be identified in space. Here, we employ a spectral synthesis code to examine the chemical evolution of the hydride and hydroxyl cations of the various isotopes of Ar, Ne, and He in the Crab Nebula filament and calculate their line emissivity and intrinsic line surface brightness. We successfully explain the observed surface brightness of two transitions of ArH+ (617 and 1234 GHz), one transition of OH+ (971 GHz), and one transition of H2 (2.12 micrometer). We also explain the observed surface brightness ratios between various molecular and atomic transitions. We find that our model reproduces the overall observed features when a hydrogen number density of ~10^4-10^6 cm^-3 and a cosmic-ray ionization rate per H2 of ~10^-11-10^-10 s^-1 are chosen. We discuss the possibility of detecting some hydride and hydroxyl cations in the Crab and diffuse cloud environment. Some transitions of these molecules are highlighted for future astronomical detection.


title: A Modified Orthogonal Matching Pursuit for Construction of Sparse Probabilistic Boolean Networks

abstract: Probabilistic Boolean Networks play a remarkable role in the modelling and control of gene regulatory networks. In this paper, we consider the inverse problem of constructing a sparse probabilistic Boolean network from the prescribed transition probability matrix. We propose a modified orthogonal matching pursuit for solving the inverse problem. We provide some conditions under which the proposed algorithm can recover a sparse probabilistic Boolean network. We also report some numerical results to illustrate the effectiveness of the proposed algorithm.


title: Hierarchical Deep Learning of Multiscale Differential Equation Time-Steppers

abstract: Nonlinear differential equations rarely admit closed-form solutions, thus requiring numerical time-stepping algorithms to approximate solutions. Further, many systems characterized by multiscale physics exhibit dynamics over a vast range of timescales, making numerical integration computationally expensive due to numerical stiffness. In this work, we develop a hierarchy of deep neural network time-steppers to approximate the flow map of the dynamical system over a disparate range of time-scales. The resulting model is purely data-driven and leverages features of the multiscale dynamics, enabling numerical integration and forecasting that is both accurate and highly efficient. Moreover, similar ideas can be used to couple neural network-based models with classical numerical time-steppers. Our multiscale hierarchical time-stepping scheme provides important advantages over current time-stepping algorithms, including (i) circumventing numerical stiffness due to disparate time-scales, (ii) improved accuracy in comparison with leading neural-network architectures, (iii) efficiency in long-time simulation/forecasting due to explicit training of slow time-scale dynamics, and (iv) a flexible framework that is parallelizable and may be integrated with standard numerical time-stepping algorithms. The method is demonstrated on a wide range of nonlinear dynamical systems, including the Van der Pol oscillator, the Lorenz system, the Kuramoto-Sivashinsky equation, and fluid flow pass a cylinder; audio and video signals are also explored. On the sequence generation examples, we benchmark our algorithm against state-of-the-art methods, such as LSTM, reservoir computing, and clockwork RNN. Despite the structural simplicity of our method, it outperforms competing methods on numerical integration.


title: Twistronics in graphene-based van der Waals structures

abstract: The electronic properties of van der Waals (vdW) structures can be substantially modified by the moire superlattice potential, which strongly depends on the twist angle among the compounds. In twisted bilayer graphene (TBG), two low-energy Van Hove singularities (VHSs) move closer with decreasing twist angles and finally become highly non-dispersive flat bands at the magic angle (~ 1.1 degree). When the Fermi level lies within the flat bands of the TBG near the magic angle, Coulomb interaction is supposed to exceed the kinetic energy of the electrons, which can drive the system into various strongly correlated phases. Moreover, the strongly correlated states of flat bands are also realized in other graphene-based vdW structures with an interlayer twist. In this article, we mainly review the recent experimental advances on the strongly correlated physics of the magic-angle TBG (MATBG) and the small-angle twisted multilayer graphene. Lastly we will give out a perspective of this field.


title: Study of Intelligent Reflective Surface Assisted Communications with One-bit Phase Adjustments

abstract: We analyse the performance of a communication link assisted by an intelligent reflective surface (IRS) positioned in the far field of both the source and the destination. A direct link between the transmitting and receiving devices is assumed to exist. Perfect and imperfect phase adjustments at the IRS are considered. For the perfect phase configuration, we derive an approximate expression for the outage probability in closed form. For the imperfect phase configuration, we assume that each element of the IRS has a one-bit phase shifter (0{\deg}, 180{\deg}) and an expression for the outage probability is obtained in the form of an integral. Our formulation admits an exact asymptotic (high SNR) analysis, from which we obtain the diversity orders for systems with and without phase errors. We show these are N + 1 and (N + 3)/2, respectively. Numerical results confirm the theoretical analysis and verify that the reported results are more accurate than methods based on the central limit theorem (CLT).


title: Phonon Magic Angle in Two-Dimensional Puckered Homostructures

abstract: The emergence of twistronics provides an unprecedented platform to modulate the band structure, resulting in exotic electronic phenomena ranging from ferromagnetism to superconductivity. However, such concept on phonon engineering is still lacking. Here, we extend the 'twistnonics' to 2D puckered materials with a 'phonon magic angle' discovered by molecular dynamics simulation. The phonon magic angle, with the TP-1 and TP-2 direction overlapped, remains a high level or even enhances phonon transport capability due to van der Waals confinement. This novel phenomenon originates from the confined vdW interaction and ordered atomic vibration caused by the perfect lattice arrangement that the atoms of the top layer can be stuck to the spaces of the bottom layer. Moreover, it is found that both the in-plane and out-of-plane thermal transport properties can be effectively regulated by applying the twist. Through the phononic and electronic analysis, the deterioration of phonon transport capability for other twist angles are attributed to the suppression of acoustic phonon modes, reduction of phonon lifetimes and mismatched lattice vibration between layers. Our findings shed light on the twistnonics of low-dimensional asymmetrical materials and can be further extended to electronic and photonic devices.


title: A Benchmark for Studying Diabetic Retinopathy: Segmentation, Grading, and Transferability

abstract: People with diabetes are at risk of developing an eye disease called diabetic retinopathy (DR). This disease occurs when high blood glucose levels cause damage to blood vessels in the retina. Computer-aided DR diagnosis is a promising tool for early detection of DR and severity grading, due to the great success of deep learning. However, most current DR diagnosis systems do not achieve satisfactory performance or interpretability for ophthalmologists, due to the lack of training data with consistent and fine-grained annotations. To address this problem, we construct a large fine-grained annotated DR dataset containing 2,842 images (FGADR). This dataset has 1,842 images with pixel-level DR-related lesion annotations, and 1,000 images with image-level labels graded by six board-certified ophthalmologists with intra-rater consistency. The proposed dataset will enable extensive studies on DR diagnosis. We set up three benchmark tasks for evaluation: 1. DR lesion segmentation; 2. DR grading by joint classification and segmentation; 3. Transfer learning for ocular multi-disease identification. Moreover, a novel inductive transfer learning method is introduced for the third task. Extensive experiments using different state-of-the-art methods are conducted on our FGADR dataset, which can serve as baselines for future research.


title: Chest Area Segmentation in Depth Images of Sleeping Patients

abstract: Although the field of sleep study has greatly developed over the recent years, the most common and efficient way to detect sleep issues remains a sleep examination performed in a sleep laboratory, in a procedure called Polysomnography (PSG). This examination measures several vital signals during a full night's sleep using multiple sensors connected to the patient's body. Yet, despite being the golden standard, the connection of the sensors and the unfamiliar environment inevitably impact the quality of the patient's sleep and the examination itself. Therefore, with the novel development of more accurate and affordable 3D sensing devices, new approaches for non-contact sleep study emerged. These methods utilize different techniques with the purpose to extract the same sleep parameters, but remotely, eliminating the need of any physical connections to the patient's body. However, in order to enable reliable remote extraction, these methods require accurate identification of the basic Region of Interest (ROI) i.e. the chest area of the patient, a task that is currently holding back the development process, as it is performed manually for each patient. In this study, we propose an automatic chest area segmentation algorithm, that given an input set of 3D frames of a sleeping patient, outputs a segmentation image with the pixels that correspond to the chest area, and can then be used as an input to subsequent sleep analysis algorithms. Except for significantly speeding up the development process of the non-contact methods, accurate automatic segmentation can also enable a more precise feature extraction and it is shown it is already improving sensitivity of prior solutions on average 46.9% better compared to manual ROI selection. All mentioned will place the extraction algorithms of the non-contact methods as a leading candidate to replace the existing traditional methods used today.


title: Investigating the Linearized Second Law in Horndeski Gravity

abstract: Since the entropy of stationary black holes in Horndeski gravity will be modified by the non-minimally coupling scalar field, a significant issue of whether the Wald entropy still obeys the linearized second law of black hole thermodynamics can be proposed. To investigate this issue, a physical process that the black hole in Horndeski gravity is perturbed by the accreting matter fields and finally settles down to a stationary state is considered. According to the two assumptions that there is a regular bifurcation surface in the background spacetime and that the matter fields always satisfy the null energy condition, one can show that the Wald entropy monotonically increases along the future event horizon under the linear order approximation without any specific expression of the metric. It illustrates that the Wald entropy of black holes in Horndeski gravitational theory still obeys the requirement of the linearized second law. Our work strengthens the physical explanation of Wald entropy in Horndeski gravity and takes a step towards studying the area increase theorem in the gravitational theories with non-minimal coupled matter fields.


title: DNN2LR: Interpretation-inspired Feature Crossing for Real-world Tabular Data

abstract: For sake of reliability, it is necessary for models in real-world applications to be both powerful and globally interpretable. Simple classifiers, e.g., Logistic Regression (LR), are globally interpretable, but not powerful enough to model complex nonlinear interactions among features in tabular data. Meanwhile, Deep Neural Networks (DNNs) have shown great effectiveness for modeling tabular data, but is not globally interpretable. In this work, we find local piece-wise interpretations in DNN of a specific feature are usually inconsistent in different samples, which is caused by feature interactions in the hidden layers. Accordingly, we can design an automatic feature crossing method to find feature interactions in DNN, and use them as cross features in LR. We give definition of the interpretation inconsistency in DNN, based on which a novel feature crossing method called DNN2LR is proposed. Extensive experiments have been conducted on four public datasets and two real-world datasets. The final model, i.e., a LR model empowered with cross features, generated by DNN2LR can outperform the complex DNN model, as well as several state-of-the-art feature crossing methods. The experimental results strongly verify the effectiveness and efficiency of DNN2LR, especially on real-world datasets with large numbers of feature fields.


title: Minor summation formula of hyperpfaffians and Selberg integrals

abstract: In the previous paper (J. Combin. Theory Ser. A, 120, 2013, 1263--1284) H. Tagawa and the two authors proposed an algebraic method to compute certain Pfaffians whose form resemble to Hankel determinants associated with moment sequences of the classical orthogonal polynomials. At the end of the paper they offered several conjectures. In this work we employ a completely different method to evaluate this type of Pfaffians. The idea is to apply certain de Bruijn type formula and convert the evaluation of the Pfaffians to the certain Selberg type integrals. This approach works not only for Pfaffians but also for hyperpfaffians. Hence it enables us to establish much more generalized identities than those conjectured in the previous paper. We also investigate some Pfaffians related to classical $q$-orthogonal polynomials.


title: Surrogate NAS Benchmarks: Going Beyond the Limited Search Spaces of Tabular NAS Benchmarks

abstract: The most significant barrier to the advancement of Neural Architecture Search (NAS) is its demand for large computational resources, which hinders scientifically sound empirical evaluations of NAS methods. Tabular NAS benchmarks have alleviated this problem substantially, making it possible to properly evaluate NAS methods in seconds on commodity machines. However, an unintended consequence of tabular NAS benchmarks has been a focus on extremely small architectural search spaces since their construction relies on exhaustive evaluations of the space. This leads to unrealistic results that do not transfer to larger spaces. To overcome this fundamental limitation, we propose a methodology to create cheap NAS surrogate benchmarks for arbitrary search spaces. We exemplify this approach by creating surrogate NAS benchmarks on the existing tabular NAS-Bench-101 and on two widely used NAS search spaces with up to $10^{21}$ architectures ($10^{13}$ times larger than any previous tabular NAS benchmark). We show that surrogate NAS benchmarks can model the true performance of architectures better than tabular benchmarks (at a small fraction of the cost), that they lead to faithful estimates of how well different NAS methods work on the original non-surrogate benchmark, and that they can generate new scientific insight. We open-source all our code and believe that surrogate NAS benchmarks are an indispensable tool to extend scientifically sound work on NAS to large and exciting search spaces.


title: Periods and classifications of RR Lyrae stars in the globular cluster M15

abstract: We present measurements of the periods, amplitudes, and types of 74 RR Lyrae stars in the globular cluster M15 derived from Nickel 1 m telescope observations conducted at LickObservatory in 2019 and 2020. Of these RR Lyrae stars, two were previously reported but without a determination of the period. In addition, we identify five Type II Cepheid variable stars for which we report three novel period determinations, and a further 34 stars with uncertain classifications and periods. We discuss the development and subsequent application to our data of a new Python package, Period-determination and Identification Pipeline Suite(PIPS), based on a new adaptive free-form fitting technique to detect the periods of variable stars with a clear treatment of uncertainties.


title: Control of Mooij correlations at the nanoscale in the disordered metallic Ta - nanoisland FeNi multilayers

abstract: Localisation phenomena in highly disordered metals close to the extreme conditions determined by the Mott-Ioffe-Regel (MIR) limit when the electron mean free path is approximately equal to the interatomic distance is a challenging problem. Here, to shed light on these localisation phenomena, we studied the dc transport and optical conductivity properties of nanoscaled multilayered films composed of disordered metallic Ta and magnetic FeNi nanoisland layers, where ferromagnetic FeNi nanoislands have giant magnetic moments of 10^3-10^5 Bohr magnetons (\mu_B). In these multilayered structures, FeNi nanoisland giant magnetic moments are interacting due to the indirect exchange forces acting via the Ta electron subsystem. We discovered that the localisation phenomena in the disordered Ta layer lead to a decrease in the Drude contribution of free charge carriers and the appearance of the low-energy electronic excitations in the 1-2 eV spectral range characteristic of electronic correlations, which may accompany the formation of electronic inhomogeneities. From the consistent results of the dc transport and optical studies we found that with an increase in the FeNi layer thickness across the percolation threshold evolution from the superferromagnetic to ferromagnetic behaviour within the FeNi layer leads to the delocalisation of Ta electrons from the associated localised electronic states. On the contrary, we discovered that when the FeNi layer is discontinuous and represented by randomly distributed superparamagnetic FeNi nanoislands, the Ta layer normalized dc conductivity falls down below the MIR limit by about 60%. The discovered effect leading to the dc conductivity fall below the MIR limit can be associated with non-ergodicity and purely quantum (many-body) localisation phenomena, which need to be challenged further.


title: Ultraviolet spectra of extreme nearby star-forming regions: evidence for an overabundance of very massive stars

abstract: As deep spectroscopic campaigns extend to higher redshifts and lower stellar masses, the interpretation of galaxy spectra depends increasingly upon models for very young stellar populations. Here we present new HST/COS ultraviolet spectroscopy of seven nearby ($<120$ Mpc) star-forming regions hosting very young stellar populations ($\sim$ 4-20 Myr) with optical Wolf-Rayet stellar wind signatures, ideal laboratories in which to test these stellar models. We detect nebular C III] in all seven, but at equivalent widths uniformly $< 10$ {\AA}. This suggests that even for very young stellar populations, the highest equivalent width C III] emission at $\geq 15$ {\AA} is reserved for inefficiently-cooled gas at metallicities at or below that of the SMC. The spectra also reveal strong C IV P-Cygni profiles and broad He II emission formed in the winds of massive stars, including some of the most prominent He II stellar wind lines ever detected in integrated spectra. We find that the latest stellar population synthesis prescriptions with improved treatment of massive stars nearly reproduce the entire range of stellar He II wind strengths observed here. However, we find that these models cannot simultaneously match the strongest wind features alongside the optical nebular line constraints. This discrepancy can be naturally explained by an overabundance of very massive stars produced by a high incidence of binary mass transfer and mergers occurring on short $\lesssim 10$ Myr timescales, suggesting these processes may be crucial for understanding the highest-sSFR galaxies in the early Universe. Reproducing both the stellar and nebular light of young systems such as these will be a crucial benchmark for the next generation of stellar population synthesis models.


title: A unifying framework for the analysis of projection-free first-order methods under a sufficient slope condition

abstract: The analysis of projection-free first order methods is often complicated by the presence of different kinds of "good" and "bad" steps. In this article, we propose a unifying framework for projection-free methods, aiming to simplify the converge analysis by getting rid of such a distinction between steps. The main tool employed in our framework is the Short Step Chain (SSC) procedure, which skips gradient computations in consecutive short steps until proper stopping conditions are satisfied. This technique allows us to give a unified analysis and converge rates in the general smooth non convex setting, as well as convergence rates under a Kurdyka-Lojasiewicz (KL) property, a setting that, to our knowledge, has not been analyzed before for the projection-free methods under study. In this context, we prove local convergence rates comparable to those of projected gradient methods under the same conditions. Our analysis relies on a sufficient slope condition, ensuring that the directions selected by the methods have the steepest slope possible up to a constant among feasible directions. This condition is satisfied, among others, by several Frank-Wolfe (FW) variants on polytopes, and by some projection-free methods on convex sets with smooth boundary.


title: A Representation Theorem for Finite Best-Worst Random Utility Models

abstract: This paper investigates best-worst choice probabilities (picking the best and the worst alternative from an offered set). It is shown that non-negativity of best-worst Block-Marschak polynomials is necessary and sufficient for the existence of a random utility representation. The representation theorem is obtained by extending proof techniques employed by Falmagne (1978) for a corresponding result on best choices (picking the best alternative from an offered set).


title: Minimum degree conditions for the existence of a sequence of cycles whose lengths differ by one or two

abstract: Gao, Huo, Liu and Ma (2019) proved a result on the existence of paths connecting specified two vertices whose lengths differ by one or two. By using this result, they settled two famous conjectures due to Thomassen (1983). In this paper, we improve their result, and obtain a generalization of a result of Bondy and Vince (1998).


title: High-throughput ensemble characterization of individual core-shell nanoparticles with quantitative 3D density from XFEL single-particle imaging

abstract: The structures, as building-blocks for designing functional nanomaterials, have fueled the development of versatile nanoprobes to understand local structures of noncrystalline specimens. Progresses in analyzing structures of individual specimens with atomic scale accuracy have been notable recently. In most cases, however, only a limited number of specimens are inspected lacking statistics to represent the systems with structural inhomogeneity. Here, by employing single-particle imaging with X-ray free electron lasers and new algorithm for multiple-model 3D imaging, we succeeded in investigating several thousand specimens in a couple of hours, and identified intrinsic heterogeneities with 3D structures. Quantitative analysis has unveiled 3D morphology, facet indices and elastic strains. The 3D elastic energy distribution is further corroborated by molecular dynamics simulations to gain mechanical insight at atomic level. This work establishes a new route to high-throughput characterization of individual specimens in large ensembles, hence overcoming statistical deficiency while providing quantitative information at the nanoscale.


title: Traffic-Aware Multi-Camera Tracking of Vehicles Based on ReID and Camera Link Model

abstract: Multi-target multi-camera tracking (MTMCT), i.e., tracking multiple targets across multiple cameras, is a crucial technique for smart city applications. In this paper, we propose an effective and reliable MTMCT framework for vehicles, which consists of a traffic-aware single camera tracking (TSCT) algorithm, a trajectory-based camera link model (CLM) for vehicle re-identification (ReID), and a hierarchical clustering algorithm to obtain the cross camera vehicle trajectories. First, the TSCT, which jointly considers vehicle appearance, geometric features, and some common traffic scenarios, is proposed to track the vehicles in each camera separately. Second, the trajectory-based CLM is adopted to facilitate the relationship between each pair of adjacently connected cameras and add spatio-temporal constraints for the subsequent vehicle ReID with temporal attention. Third, the hierarchical clustering algorithm is used to merge the vehicle trajectories among all the cameras to obtain the final MTMCT results. Our proposed MTMCT is evaluated on the CityFlow dataset and achieves a new state-of-the-art performance with IDF1 of 74.93%.


title: Theory of quasi-simple dispersive shock waves and number of solitons evolved from a nonlinear pulse

abstract: The theory of motion of edges of dispersive shock waves generated after wave breaking of simple waves is developed. It is shown that this motion obeys Hamiltonian mechanics complemented by a Hopf-like equation for evolution of the background flow that interacts with edge wave packets or edge solitons. A conjecture about existence of a certain symmetry between equations for the small-amplitude and soliton edges is formulated. In case of localized simple wave pulses propagating through a quiescent medium this theory provided a new approach to derivation of an asymptotic formula for the number of solitons produced eventually from such a pulse.


title: Approximation of probability density functions via location-scale finite mixtures in Lebesgue spaces

abstract: The class of location-scale finite mixtures is of enduring interest both from applied and theoretical perspectives of probability and statistics. We prove the following results: to an arbitrary degree of accuracy, (a) location-scale mixtures of a continuous probability density function (PDF) can approximate any continuous PDF, uniformly, on a compact set; and (b) for any finite $p\ge1$, location-scale mixtures of an essentially bounded PDF can approximate any PDF in $\mathcal{L}_{p}$, in the $\mathcal{L}_{p}$ norm.


title: Nonstandard analysis, deformation quantization and some logical aspects of (non)commutative algebraic geometry

abstract: This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the edge of algebra, logic and geometry. We start from a brief review of the paper and motivations. The first sections deal with model theory. In Section 2.1 we describe the geometric equivalence, the elementary equivalence, and the isotypicity of algebras. We look at these notions from the positions of universal algebraic geometry and make emphasis on the cases of the first order rigidity. In this setting Plotkin's problem on the structure of automorphisms of (auto)endomorphisms of free objects, and auto-equivalence of categories is pretty natural and important. Section 2.2 is dedicated to particular cases of Plotkin's problem. Section 2.3 is devoted to Plotkin's problem for automorphisms of the group of polynomial symplectomorphisms. This setting has applications to mathematical physics through the use of model theory (non-standard analysis) in the studying of homomorphisms between groups of symplectomorphisms and automorphisms of the Weyl algebra. The last two sections deal with algorithmic problems for noncommutative and commutative algebraic geometry. Section 3.1 is devoted to the Gr\"obner basis in non-commutative situation. Despite the existence of an algorithm for checking equalities, the zero divisors and nilpotency problems are algorithmically unsolvable. Section 3.2 is connected with the problem of embedding of algebraic varieties; a sketch of the proof of its algorithmic undecidability over a field of characteristic zero is given.


title: Infinite Horizon Linear Quadratic Overtaking Optimal Control Problems

abstract: A linear control system with quadratic cost functional over infinite time horizon is considered without assuming controllability/stabilizability condition and the global integrability condition for the nonhomogeneous term of the state equation and the weight functions in the linear terms in the running cost rate function. Classical approaches do not apply for such kind of problems. Existence and non-existence of overtaking optimal controls in various cases are established. Some concrete examples are presented. These results show that the overtaking optimality approach can be used to solve some of the above-mentioned problems and at the same time, the limitation of this approach is also revealed.


title: On the Hill relation and the mean reaction time for metastable processes

abstract: We illustrate how the Hill relation and the notion of quasi-stationary distribution can be used to analyse the biasing error introduced by many numerical procedures that have been proposed in the literature, in particular in molecular dynamics, to compute mean reaction times between metastable states for Markov processes. The theoretical findings are illustrated on various examples demonstrating the sharpness of the biasing error analysis as well as the applicability of our study to elliptic diffusions.


title: Identity-Aware Multi-Sentence Video Description

abstract: Standard video and movie description tasks abstract away from person identities, thus failing to link identities across sentences. We propose a multi-sentence Identity-Aware Video Description task, which overcomes this limitation and requires to re-identify persons locally within a set of consecutive clips. We introduce an auxiliary task of Fill-in the Identity, that aims to predict persons' IDs consistently within a set of clips, when the video descriptions are given. Our proposed approach to this task leverages a Transformer architecture allowing for coherent joint prediction of multiple IDs. One of the key components is a gender-aware textual representation as well an additional gender prediction objective in the main model. This auxiliary task allows us to propose a two-stage approach to Identity-Aware Video Description. We first generate multi-sentence video descriptions, and then apply our Fill-in the Identity model to establish links between the predicted person entities. To be able to tackle both tasks, we augment the Large Scale Movie Description Challenge (LSMDC) benchmark with new annotations suited for our problem statement. Experiments show that our proposed Fill-in the Identity model is superior to several baselines and recent works, and allows us to generate descriptions with locally re-identified people.


title: On the pointwise Lyapunov exponent of holomorphic maps

abstract: We prove that for any holomorphic map, and any bounded orbit which does not accumulate to a singular set or to an attracting cycle, its lower Lyapunov exponent is non-negative. The same result holds for unbounded orbits, for maps with a bounded singular set. Furthermore, the orbit may accumulate to infinity or to a singular set, as long as it is slow enough.


title: $(g-2)_{\mu}$ Versus $K \to \pi+E_{miss}$ Induced by the $(B-L)_{23}$ Boson

abstract: To address the long-standing $(g-2)_{\mu}$ anomaly via a light boson, in Ref. [1] we proposed to extend the standard model (SM) by the local $(B-L)_{23}$, under which only the second and third generations of fermions are charged. It predicts an invisible $Z'$ with mass ${\cal O}(100)$ MeV, and moreover it has flavor-changing neutral current (FCNC) couplings to the up-type quarks at tree level. Such a $Z'$, via $K_L \to \pi^0 + Z'(\to \nu \bar{\nu})$ at loop level, may be a natural candidate to account for the recent KOTO anomaly. In this article, we investigate this possibility, to find that $Z'$ can readily do this job if it is no longer responsible for the $(g-2)_{\mu}$ anomaly. We further find that both anomalies can be explained with moderate tuning of the CP violation, but may contradict the $B$ meson decays.


title: Solution space of optimal heat pump schedules

abstract: We study the space of optimal schedules for a heat pump with thermal energy storage used in heating a residential building. We model the heating system as a Mixed Integer Linear Program with the objective to minimise the cost of heating. We generate a large number of realistic daily heat demands and calculate the optimal schedule for the heat pump. In addition to cost savings stemming from optimal running, we find that the space of optimal schedules is large in practice, even for the simplest model of the heating system we use, and that the optimal schedules are difficult to reproduce with statistical models. These findings strengthen the case for the use of mathematical optimisation in real-life applications.


title: Distributed Linear Equations over Random Networks

abstract: Distributed linear algebraic equation over networks, where nodes hold a part of problem data and cooperatively solve the equation via node-to-node communications, is a basic distributed computation task receiving an increasing research attention. Communications over a network have a stochastic nature, with both temporal and spatial dependence due to link failures, packet dropouts or node recreation, etc. In this paper, we study the convergence and convergence rate of distributed linear equation protocols over a $\ast$-mixing random network, where the temporal and spatial dependencies between the node-to-node communications are allowed. When the network linear equation admits exact solutions, we prove the mean-squared exponential convergence rate of the distributed projection consensus algorithm, while the lower and upper bound estimations of the convergence rate are also given for independent and identically distributed (i.i.d.) random graphs. Motivated by the randomized Kaczmarz algorithm, we also propose a distributed randomized projection consensus algorithm, where each node randomly selects one row of local linear equations for projection per iteration, and establish an exponential convergence rate. When the network linear equation admits no exact solution, we prove that a distributed gradient-descent-like algorithm with diminishing step-sizes can drive all nodes' states to a least-squares solution at a sublinear rate. These results collectively illustrate that distributed computations may overcome communication correlations if the prototype algorithms enjoy certain contractive properties or are designed with suitable parameters.


title: Solving the Three-Player-Game

abstract: In this paper we solve the three-player-game question. A three-player-game consists of a series of rounds. There are altogether three players. Two players participate in each round, at the end of the round the loser quits and the third player enters the ring and another round starts. The game terminates if all six win-lose relationships appear. During each round, two players win with equal probability. One is asked to calculate the expectation of the number of rounds. It turns out to be an exemplary question that involves probabiltiy theory and dynamic programming. It can serve as an instance or exercise in the chapter of conditional expectation of any elementary or advanced textbook on probability.


title: On Fatou sets containing Baker omitted value

abstract: An omitted value of a transcendental meromorphic function $f$ is called a Baker omitted value, in short \textit{bov} if there is a disk $D$ centered at the bov such that each component of the boundary of $f^{-1}(D)$ is bounded. Assuming that the bov is in the Fatou set of $f$, this article investigates the dynamics of the function. Firstly, the connectivity of all the Fatou components are determined. If $U$ is the Fatou component containing the bov then it is proved that a Fatou component $U'$ is infinitely connected if and only if it lands on $U$, i.e. $f^{k}(U') \subset U$ for some $k \geq 1$. Every other Fatou component is either simply connected or lands on a Herman ring. Further, assuming that the number of critical points in the Fatou set whose forward orbits do not intersect $U$ is finite, we have shown that the connectivity of each Fatou component belongs to a finite set. This set is independent of the Fatou components. It is proved that the Fatou component containing the bov is completely invariant whenever it is forward invariant. Further, if the invariant Fatou component is an attracting domain and compactly contains all the critical values of the function then the Julia set is totally disconnected. Baker domains are shown to be non-existent whenever the bov is in the Fatou set. It is also proved that, if there is a $2$-periodic Baker domain (these are not ruled out when the bov is in the Julia set), or a $2$-periodic attracting or parabolic domain containing the bov then the function has no Herman ring. Some examples exhibiting different possibilities for the Fatou set are discussed. This includes the first example of a meromorphic function with an omitted value which has two infinitely connected Fatou components.


title: Plethysms and operads

abstract: We introduce the $\mathcal{T}$-construction, an endofunctor on the category of generalized operads as a general mechanism by which various notions of plethystic substitution arise from more ordinary notions of substitution. In the special case of one-object unary operads, i.e. monoids, we recover the $T$-construction of Giraudo. We realize several kinds of plethysm as convolution products arising from the homotopy cardinality of the incidence bialgebra of the bar construction of various operads obtained from the $\mathcal{T}$-construction. The bar constructions are simplicial groupoids, and in the special case of the terminal reduced operad $\mathsf{Sym}$, we recover the simplicial groupoid of arXiv:1804.09462, a combinatorial model for ordinary plethysm in the sense of P\'olya, given in the spirit of Waldhausen $S$ and Quillen $Q$ constructions. In some of the cases of the $\mathcal{T}$-construction, an analogous interpretation is possible.


title: On the Bogomolov-Gieseker inequality for hypersurfaces in the projective spaces

abstract: We investigate the stronger form of the Bogomolov-Gieseker inequality on smooth hypersurfaces in the projective space of any degree and dimension. The main technical tool is the theory of tilt-stability conditions in the derived category.


title: On the Bogomolov-Gieseker inequality in positive characteristic

abstract: We prove a version of the Bogomolov-Gieseker inequality on smooth projective surfaces of general type in positive characteristic, which is stronger than the result by Langer when the ranks of vector bundles are sufficiently large. Our inequality enables us to construct Bridgeland stability conditions with full support property on all smooth projective surfaces in positive characteristic.