title: Contextual Convolutional Neural Networks

abstract: We propose contextual convolution (CoConv) for visual recognition. CoConv is a direct replacement of the standard convolution, which is the core component of convolutional neural networks. CoConv is implicitly equipped with the capability of incorporating contextual information while maintaining a similar number of parameters and computational cost compared to the standard convolution. CoConv is inspired by neuroscience studies indicating that (i) neurons, even from the primary visual cortex (V1 area), are involved in detection of contextual cues and that (ii) the activity of a visual neuron can be influenced by the stimuli placed entirely outside of its theoretical receptive field. On the one hand, we integrate CoConv in the widely-used residual networks and show improved recognition performance over baselines on the core tasks and benchmarks for visual recognition, namely image classification on the ImageNet data set and object detection on the MS COCO data set. On the other hand, we introduce CoConv in the generator of a state-of-the-art Generative Adversarial Network, showing improved generative results on CIFAR-10 and CelebA. Our code is available at https://github.com/iduta/coconv.


title: Bayesian and Algebraic Strategies to Design in Synthetic Biology

abstract: Innovation in synthetic biology often still depends on large-scale experimental trial-and-error, domain expertise, and ingenuity. The application of rational design engineering methods promise to make this more efficient, faster, cheaper and safer. But this requires mathematical models of cellular systems. And for these models we then have to determine if they can meet our intended target behaviour. Here we develop two complementary approaches that allow us to determine whether a given molecular circuit, represented by a mathematical model, is capable of fulfilling our design objectives. We discuss algebraic methods that are capable of identifying general principles guaranteeing desired behaviour; and we provide an overview over Bayesian design approaches that allow us to choose from a set of models, that model which has the highest probability of fulfilling our design objectives. We discuss their uses in the context of biochemical adaptation, and then consider how robustness can and should affect our design approach.


title: Solving the Funarg Problem with Static Types

abstract: The difficulty associated with storing closures in a stack-based environment is known as the funarg problem. The funarg problem was first identified with the development of Lisp in the 1970s and hasn't received much attention since then. The modern solution taken by most languages is to allocate closures on the heap, or to apply static analysis to determine when closures can be stack allocated. This is not a problem for most computing systems as there is an abundance of memory. However, embedded systems often have limited memory resources where heap allocation may cause memory fragmentation. We present a simple extension to the prenex fragment of System F that allows closures to be stack-allocated. We demonstrate a concrete implementation of this system in the Juniper functional reactive programming language, which is designed to run on extremely resource limited Arduino devices. We also discuss other solutions present in other programming languages that solve the funarg problem but haven't been formally discussed in the literature.


title: Large-Amplitude Elastic Free-Surface Waves: Geometric Nonlinearity and Peakons

abstract: An instantaneous sub-surface disturbance in a two-dimensional elastic half-space is considered. The disturbance propagates through the elastic material until it reaches the free surface, after which it propagates out along the surface. In conventional theory, the free-surface conditions on the unknown surface are projected onto the flat plane $y = 0$, so that a linear model may be used. Here, however, we present a formulation that takes explicit account of the fact that the location of the free surface is unknown {\it a priori}, and we show how to solve this more difficult problem numerically. This reveals that, while conventional linearized theory gives an accurate account of the decaying waves that travel outwards along the surface, it can under-estimate the strength of the elastic rebound above the location of the disturbance. In some circumstances, the non-linear solution fails in finite time, due to the formation of a ``peakon'' at the free surface. We suggest that brittle failure of the elastic material might in practice be initiated at those times and locations.


title: Continuously Tunable Berry Phase and Valley-Polarized Energy Spectra in Bilayer Graphene Quantum Dots

abstract: Berry phase plays an important role in determining many physical properties of quantum systems. However, a Berry phase altering energy spectrum of a quantum system is comparatively rare. Here, we report an unusual tunable valley polarized energy spectra induced by continuously tunable Berry phase in Bernal-stacked bilayer graphene quantum dots. In our experiment, the Berry phase of electron orbital states is continuously tuned from about pi to 2pi by perpendicular magnetic fields. When the Berry phase equals pi or 2pi, the electron states in the two inequivalent valleys are energetically degenerate. By altering the Berry phase to noninteger multiples of pi, large and continuously tunable valley polarized energy spectra are detected in our experiment. The observed Berry phase-induced valley splitting, on the order of 10 meV at a magnetic field of 1 T, is about 100 times larger than Zeeman splitting for spin, shedding light on graphene-based valleytronics.


title: Incorporating Uncertainty in Learning to Defer Algorithms for Safe Computer-Aided Diagnosis

abstract: Deep neural networks are increasingly being used for computer-aided diagnosis, but erroneous diagnoses can be extremely costly for patients. We propose a learning to defer with uncertainty (LDU) algorithm which identifies patients for whom diagnostic uncertainty is high and defers them for evaluation by human experts. LDU was evaluated on the diagnosis of myocardial infarction (using discharge summaries), the diagnosis of any comorbidities (using structured data), and the diagnosis of pleural effusion and pneumothorax (using chest x-rays), and compared with 'learning to defer without uncertainty information' (LD) and 'direct triage by uncertainty' (DT) methods. LDU achieved the same F1 score as LD but deferred considerably fewer patients (e.g. 36% vs. 69% deferral rate for diagnosing pleural effusion with an F1 score of 0.96). Furthermore, even when many patients were assigned the wrong diagnosis with high confidence (e.g. for the diagnosis of any comorbidities) LDU achieved a 17% increase in F1 score, whereas DT was not applicable. Importantly, the weight of the defer loss in LDU can be easily adjusted to obtain the desired trade-off between diagnostic accuracy and deferral rate. In conclusion, LDU can readily augment any existing diagnostic network to reduce the risk of erroneous diagnoses in clinical practice.


title: Theory Building in Geometry Education: Designing and implementing a course for 12-15 year old students

abstract: If we want mathematics education to be valuable to everybody, including those who do not pursue mathematics-related careers, we need to use mathematics as a training ground for certain ways of thinking. This dissertation focuses on one aspect of mathematical thinking, namely theory building. It has three parts - unpacking what constitutes theory building, the development of a course aimed at theory building, and a qualitative description of an implementation of that course with 12 to 15-year-old students in two schools in Pune, India. The description aims to understand some of how students engaged with the course and the role of the instructor in the implementation of the course. The data used in this description includes video recordings of the sessions, teacher reflections at the end of each session, and student reflections and feedback. The ultimate goal of the description is to suggest considerations we should keep in mind when designing and implementing theory-building courses. The focus of the dissertation is within mathematics, and more specifically, within geometry. However, this is hopefully just a first step towards a transdisciplinary framework aimed at developing thinking abilities useful to everybody in their personal, public, and professional lives.


title: A BCS-GDE Algorithm for Multi-objective Optimization of Combined Cooling, Heating and Power Model

abstract: District energy systems can not only reduce energy consumption but also set energy supply dispatching schemes according to demand. In this paper, the combined cooling heating and power economic emission dispatch (CCHPEED) model is established with the objective of economic cost, primary energy consumption, and pollutant emissions, as well as three decision-making strategies, are proposed to meet the demand for energy supply. Besides, a generalized differential evolution with the best compromise solution processing mechanism (BCS-GDE) is proposed to solve the model, also, the best compromise solution processing mechanism is put forward in the algorithm. In the simulation, the resource dispatching is performed according to the different energy demands of hotels, offices, and residential buildings on the whole day. The simulation results show that the model established in this paper can reduce the economic cost, energy consumption, and pollutant emission, in which the maximum reduction rate of economic cost is 72%, the maximum reduction rate of primary energy consumption is 73%, and the maximum reduction rate of pollutant emission is 88%. Concurrently, BCS-GDE also has better convergence and diversity than the classic algorithms.


title: Asymptotic behaviour of the wave equation with nonlocal weak damping, anti-damping and critical nonlinearity

abstract: In this paper we prove the existence of the global attractor for the wave equation with nonlocal weak damping, nonlocal anti-damping and critical nonlinearity.


title: Diagnosis of Acute Myeloid Leukaemia Using Machine Learning

abstract: We train a machine learning model on a dataset of 2177 individuals using as features 26 probe sets and their age in order to classify if someone has acute myeloid leukaemia or is healthy. The dataset is multicentric and consists of data from 27 organisations, 25 cities, 15 countries and 4 continents. The accuracy or our model is 99.94\% and its F1-score 0.9996. To the best of our knowledge the performance of our model is the best one in the literature, as regards the prediction of AML using similar or not data. Moreover, there has not been any bibliographic reference associated with acute myeloid leukaemia for the 26 probe sets we used as features in our model.


title: Velocity transformation for compressible wall-bounded turbulent flows with and without heat transfer

abstract: In this work, a transformation, which maps the mean velocity profiles of compressible wall-bounded turbulent flows to the incompressible law of the wall is proposed. Unlike existing approaches, the proposed transformation successfully collapses, without specific tuning, numerical simulation data from fully developed channel and pipe flows, and boundary layers with or without heat transfer. In all these cases, the transformation is successful across the entire inner layer of the boundary layer (including the viscous sublayer, buffer layer, and logarithmic layer), recovers the asymptotically exact near-wall behavior in the viscous sublayer, and is consistent with the near balance of turbulence production and dissipation in the logarithmic region of the boundary layer. The performance of the transformation is verified for compressible wall-bounded flows with edge Mach numbers ranging from 0 to 15 and friction Reynolds numbers ranging from 200 to 2000. Based on physical arguments, we show that such a general transformation exists for compressible wall-bounded turbulence regardless of the wall thermal condition.


title: Realization of a transition between type-I and type-II Dirac semimetals in monolayers

abstract: The phase transition between type-I and type-II Dirac semimetals will reveal a series of significant physical properties because of their completely distinct electronic, optical and magnetic properties. However, no mechanism and materials have been proposed to realize the transition to date. Here, we propose that the transition can be realized in two-dimensional (2D) materials consisting of zigzag chains, by tuning external strains. The origination of the transition is that some orbital interactions in zigzag chains vary drastically with structural deformation, which changes dispersions of the corresponding bands. Two 2D nanosheets, monolayer PN and AsN, are searched out to confirm the mechanism by using first-principles calculations. They are intrinsic type-I or type-II Dirac materials, and transit to another type of Dirac materials by external strains. In addition, a possible routine is proposed to synthesize the new 2D structures.


title: Network Generalization Prediction for Safety Critical Tasks in Novel Operating Domains

abstract: It is well known that Neural Network (network) performance often degrades when a network is used in novel operating domains that differ from its training and testing domains. This is a major limitation, as networks are being integrated into safety critical, cyber-physical systems that must work in unconstrained environments, e.g., perception for autonomous vehicles. Training networks that generalize to novel operating domains and that extract robust features is an active area of research, but previous work fails to predict what the network performance will be in novel operating domains. We propose the task Network Generalization Prediction: predicting the expected network performance in novel operating domains. We describe the network performance in terms of an interpretable Context Subspace, and we propose a methodology for selecting the features of the Context Subspace that provide the most information about the network performance. We identify the Context Subspace for a pretrained Faster RCNN network performing pedestrian detection on the Berkeley Deep Drive (BDD) Dataset, and demonstrate Network Generalization Prediction accuracy within 5% or less of observed performance. We also demonstrate that the Context Subspace from the BDD Dataset is informative for completely unseen datasets, JAAD and Cityscapes, where predictions have a bias of 10% or less.


title: Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems

abstract: Industrial cyber-physical systems require complex distributed software to orchestrate many heterogeneous mechatronic components and control multiple physical processes. Industrial automation software is typically developed in a model-driven fashion where abstractions of physical processes called plant models are co-developed and iteratively refined along with the control code. Testing such multi-dimensional systems is extremely difficult because often models might not be accurate, do not correspond accurately with subsequent refinements, and the software must eventually be tested on the real plant, especially in safety-critical systems like nuclear plants. This paper proposes a framework wherein high-level functional requirements are used to automatically generate test cases for designs at all abstraction levels in the model-driven engineering process. Requirements are initially specified in natural language and then analyzed and specified using a formalized ontology. The requirements ontology is then refined along with controller and plant models during design and development stages such that test cases can be generated automatically at any stage. A representative industrial water process system case study illustrates the strengths of the proposed formalism. The requirements meta-model proposed by the CESAR European project is used for requirements engineering while IEC 61131-3 and model-driven concepts are used in the design and development phases. A tool resulting from the proposed framework called REBATE (Requirements Based Automatic Testing Engine) is used to generate and execute test cases for increasingly concrete controller and plant models.


title: Mobile App Crowdsourced Test Report Consistency Detection via Deep Image-and-Text Fusion Understanding

abstract: Crowdsourced testing, as a distinct testing paradigm, has attracted much attention in software testing, especially in mobile application (app) testing field. Compared with in-house testing, crowdsourced testing shows superiority with the diverse testing environments when faced with the mobile testing fragmentation problem. However, crowdsourced testing also encounters the low-quality test report problem caused by unprofessional crowdworkers involved with different expertise. In order to handle the submitted reports of uneven quality, app developers have to distinguish high-quality reports from low-quality ones to help the bug inspection. One kind of typical low-quality test report is inconsistent test reports, which means the textual descriptions are not focusing on the attached bug-occurring screenshots. According to our empirical survey, only 18.07% crowdsourced test reports are consistent. Inconsistent reports cause waste on mobile app testing. To solve the inconsistency problem, we propose ReCoDe to detect the consistency of crowdsourced test reports via deep image-and-text fusion understanding. ReCoDe is a two-stage approach that first classifies the reports based on textual descriptions into different categories according to the bug feature. In the second stage, ReCoDe has a deep understanding of the GUI image features of the app screenshots and then applies different strategies to handle different types of bugs to detect the consistency of the crowdsourced test reports. We conduct an experiment on a dataset with over 22k test reports to evaluate ReCoDe, and the results show the effectiveness of ReCoDe in detecting the consistency of crowdsourced test reports. Besides, a user study is conducted to prove the practical value of ReCoDe in effectively helping app developers improve the efficiency of reviewing the crowdsourced test reports.


title: Wall crossing for moduli of stable log pairs

abstract: We prove, under suitable conditions, that there exist wall-crossing and reduction morphisms for moduli spaces of stable log pairs in all dimensions as one varies the coefficients of the divisor.


title: FARF: A Fair and Adaptive Random Forests Classifier

abstract: As Artificial Intelligence (AI) is used in more applications, the need to consider and mitigate biases from the learned models has followed. Most works in developing fair learning algorithms focus on the offline setting. However, in many real-world applications data comes in an online fashion and needs to be processed on the fly. Moreover, in practical application, there is a trade-off between accuracy and fairness that needs to be accounted for, but current methods often have multiple hyperparameters with non-trivial interaction to achieve fairness. In this paper, we propose a flexible ensemble algorithm for fair decision-making in the more challenging context of evolving online settings. This algorithm, called FARF (Fair and Adaptive Random Forests), is based on using online component classifiers and updating them according to the current distribution, that also accounts for fairness and a single hyperparameters that alters fairness-accuracy balance. Experiments on real-world discriminated data streams demonstrate the utility of FARF.


title: Multiple-high-order pole solutions for the NLS equation with quartic terms

abstract: The aim of this article is to investigate the multiple-high-order pole solutions to the focusing NLS equation with quartic terms(QNLS) under the non-vanishing boundary conditions(NVBC) via the Riemann-Hilbert(RH) method. The determinant formula of multiple-high-order pole soliton solutions for NVBC is given. Further the double 1nd-order, mixed 2nd- and 1nd-order pole solutions are obtained.


title: ANOMALYMAXQ:Anomaly-Structured Maximization to Query in Attributed Network

abstract: The detection of anomaly subgraphs naturally appears in various real-life tasks, yet label noise seriously interferes with the result. As a motivation for our work, we focus on inaccurate supervision and use prior knowledge to reduce effects of noise, like query graphs. Anomalies in attributed networks exhibit structured-properties, e.g., anomaly in money laundering with "ring structure" property. It is the main challenge to fast and approximate query anomaly in attributed networks. We propose a novel search method: 1) decomposing a query graph into stars; 2) sorting attributed vertices; and 3) assembling anomaly stars under the root vertex sequence into near query. We present ANOMALYMAXQ and perform on 68,411 company network (Tianyancha dataset),7.72m patent networks (Company patents) and so on. Extensive experiments show that our method has high robustness and fast response time. When running the patent dataset,the average running time to query the graph once is about 252 seconds.


title: From the Greene--Wu Convolution to Gradient Estimation over Riemannian Manifolds

abstract: Over a complete Riemannian manifold of finite dimension, Greene and Wu introduced a convolution, known as Greene-Wu (GW) convolution. In this paper, we study properties of the GW convolution and apply it to non-Euclidean machine learning problems. In particular, we derive a new formula for how the curvature of the space would affect the curvature of the function through the GW convolution. Also, following the study of the GW convolution, a new method for gradient estimation over Riemannian manifolds is introduced.


title: Hubble tension and absolute constraints on the local Hubble parameter

abstract: It is shown, from the two independent approaches of McCrea-Milne and of Zeldovich, that one can fully recover the set equations corresponding to the relativistic equations of the expanding universe of Friedmann-Lemaitre-Robertson-Walker geometry. Although similar, the Newtonian and relativistic set of equations have a principal difference in the content and hence define two flows, local and global ones, thus naturally exposing the Hubble tension at the presence of the cosmological constant \Lambda. From this, we obtain absolute constraints on the lower and upper values for the local Hubble parameter, \sqrt{\Lambda c^2/3} \simeq 56.2$ and \sqrt{\Lambda c^2} \simeq 97.3 (km/sec Mpc^{-1}), respectively. The link to the so-called maximum force--tension issue in cosmological models is revealed.


title: Learning Dynamic Interpolation for Extremely Sparse Light Fields with Wide Baselines

abstract: In this paper, we tackle the problem of dense light field (LF) reconstruction from sparsely-sampled ones with wide baselines and propose a learnable model, namely dynamic interpolation, to replace the commonly-used geometry warping operation. Specifically, with the estimated geometric relation between input views, we first construct a lightweight neural network to dynamically learn weights for interpolating neighbouring pixels from input views to synthesize each pixel of novel views independently. In contrast to the fixed and content-independent weights employed in the geometry warping operation, the learned interpolation weights implicitly incorporate the correspondences between the source and novel views and adapt to different image content information. Then, we recover the spatial correlation between the independently synthesized pixels of each novel view by referring to that of input views using a geometry-based spatial refinement module. We also constrain the angular correlation between the novel views through a disparity-oriented LF structure loss. Experimental results on LF datasets with wide baselines show that the reconstructed LFs achieve much higher PSNR/SSIM and preserve the LF parallax structure better than state-of-the-art methods. The source code is publicly available at https://github.com/MantangGuo/DI4SLF.


title: Tunable bandgaps and flat bands in twisted bilayer biphenylene carbon

abstract: Owing to the interaction between the layers, the twisted bilayer two-dimensional materials exhibit numerous unique optical and electronic properties different from the monolayer counterpart, and have attracted tremendous interests in current physical research community. By means of first-principles and tight-binding model calculations, the electronic properties of twisted bilayer biphenylene carbon are systematically investigated in this paper. The results indicate that the effect of twist will not only leads to a phase transition from semiconductor to metal, but also an adjustable band gap in BPC (0 meV to 120 meV depending on the twist angle). Moreover, unlike the twisted bilayer graphene (TBG), the flat bands in twisted BPC are no longer restricted by "magic angles", i.e., abnormal flat bands could be appeared as well at several specific large angles in addition to the small angles. The charge density of these flat bands possesses different local modes, indicating them might be derived from different stacked modes and host different properties. The exotic physical properties presented in this work foreshow twisted BPC a promising material for the application of terahertz and infrared photodetectors and the exploration of strong correlation.


title: Estimate of the attractive velocity of attractors for some dynamical systems

abstract: In this paper, we first prove an abstract theorem on the existence of polynomial attractors and the concrete estimate of their attractive velocity for infinite-dimensional dynamical systems, then apply this theorem to a class of wave equations with nonlocal weak damping and anti-damping in case that the nonlinear term~$f$~is of subcritical growth.


title: Ab-initio insights into the elastic, bonding, phonon, optoelectronic and thermophysical properties of SnTaS2

abstract: SnTaS2 is a recently discovered layered semimetal exhibiting type-II low transition temperature superconductivity. Except some superconductivity related parameters, most of the physical properties, namely, elastic, mechanical, bonding, phonon dispersion, acoustic, thermophysical, and optical properties of SnTaS2 are unexplored till now. In this study, we have investigated these hitherto unexplored properties of SnTaS2 for the first time employing density functional theory (DFT) based first-principles method. SnTaS2 is a mechanically stable, elastically anisotropic compound with strongly layered feature. The bond hardness and Vickers hardness have been calculated. The material under study is ductile, soft and highly machinable. The chemical bonding feature has mixed character with significant contribution coming from the ionic channel. Phonon dispersion curves disclose dynamical stability. Electronic band structure calculations show simple metallic character. The Fermi surface consists of both electron-like and hole-like sheets with varying degrees of dispersion. The low energy (including visible part of the spectrum) refractive index of SnTaS2 is high. The reflectivity is fairly nonselective over a wide range of photon energy and the absorption coefficient is large in the mid ultraviolet region. The Debye temperature and thermal conductivity of SnTaS2 are low. The electron-phonon coupling constant has been calculated. The compound under study possesses optical anisotropy with respect to the polarization direction of the incident electric field.


title: Complementarity and Related Problems

abstract: In this thesis, we present results related to complementarity problems. We study the linear complementarity problems on extended second order cones. We convert a linear complementarity problem on an extended second order cone into a mixed complementarity problem on the non-negative orthant. We present algorithms for this problem, and exemplify it by a numerical example. Following this result, we explore the stochastic version of this linear complementarity problem. Finally, we apply complementarity problems on extended second order cones in a portfolio optimisation problem. In this application, we exploit our theoretical results to find an analytical solution to a new portfolio optimisation model. We also study the spherical quasi-convexity of quadratic functions on spherically self-dual convex sets. We start this study by exploring the characterisations and conditions for the spherical positive orthant. We present several conditions characterising the spherical quasi-convexity of quadratic functions. Then we generalise the conditions to the spherical quasi-convexity on spherically self-dual convex sets. In particular, we highlight the case of spherical second order cones.


title: Cross-Image Region Mining with Region Prototypical Network for Weakly Supervised Segmentation

abstract: Weakly supervised image segmentation trained with image-level labels usually suffers from inaccurate coverage of object areas during the generation of the pseudo groundtruth. This is because the object activation maps are trained with the classification objective and lack the ability to generalize. To improve the generality of the objective activation maps, we propose a region prototypical network RPNet to explore the cross-image object diversity of the training set. Similar object parts across images are identified via region feature comparison. Object confidence is propagated between regions to discover new object areas while background regions are suppressed. Experiments show that the proposed method generates more complete and accurate pseudo object masks, while achieving state-of-the-art performance on PASCAL VOC 2012 and MS COCO. In addition, we investigate the robustness of the proposed method on reduced training sets.


title: Stability and Generalization for Randomized Coordinate Descent

abstract: Randomized coordinate descent (RCD) is a popular optimization algorithm with wide applications in solving various machine learning problems, which motivates a lot of theoretical analysis on its convergence behavior. As a comparison, there is no work studying how the models trained by RCD would generalize to test examples. In this paper, we initialize the generalization analysis of RCD by leveraging the powerful tool of algorithmic stability. We establish argument stability bounds of RCD for both convex and strongly convex objectives, from which we develop optimal generalization bounds by showing how to early-stop the algorithm to tradeoff the estimation and optimization. Our analysis shows that RCD enjoys better stability as compared to stochastic gradient descent.


title: Generation of Spin Cat States in an Engineered Dicke Model

abstract: We study trajectories of collective spin states of an ensemble of spinors. The spinors considered here are either trapped ions in free space or atoms confined in a cavity, both systems of which are engineered through their interactions with light fields to obey an effective Dicke model. In an appropriate limit of the Dicke model, one obtains one-axis twisting dynamics of the collective spin and evolution after a finite time to a spin cat state, or, in the long-time limit, the Dicke state $|S,0\rangle_x$, conditioned upon there being no photon emissions from the system (i.e., no quantum jumps). If there is a jump, however, the system evolves probabilistically into one of a finite number of entangled-state cycles, where the system then undergoes a persistent sequence of jumps between two Dicke state superpositions in a rotated basis. The different cycles can be distinguished by the frequency at which jumps occur.


title: On non-local approximation properties of the binomial power functions $(1+x^q)^r$

abstract: This note mainly concerns the binomial power function, defined as $(1+x^q)^{r}$. We construct systems of polynomials related to non-local approximation, which allows us to establish the density results on $C[a,b]$, where $a,b\in\mathbb{R}$. As a corollary, we show that scattered translated of power functions and certain related functions are dense in the function spaces $L^p([a,b])$, for $1\leq p <\infty$.


title: Superconducting-like and magnetic transitions in oxygen-implanted diamond-like and amorphous carbon films, and in highly oriented pyrolytic graphite

abstract: In our previously published work, we have reported colossal magnetoresistance, Andreev oscillations, ferromagnetism, and granular superconductivity in oxygen-implanted carbon fibers, graphite foils, and highly oriented pyrolytic graphite. In this follow-up research, more results on these oxygen-implanted graphite samples are presented. We show results from transport measurements on oxygen-implanted diamond-like carbon thin coatings, amorphous carbon films, and highly oriented pyrolytic graphite. Significantly, a three-order magnitude drop in the electrical resistance of the oxygen-implanted diamond-like carbon films is observed at the 50 K temperature that we have previously reported for the transition to the superconducting state. Below 50 K, the films resistance oscillates between the high and low resistance states, less when the sample is under a transverse magnetic field. This metastability between the insulating and superconducting-like states possibly reflects the evolution of the amplitude for the superconducting order parameter also known as the longitudinal Higgs mode. Transitions to low resistance state and metastability are also observed for amorphous carbon films. Finally, the highly oriented pyrolytic graphite samples resistance have a thermally activated term that can be understood on the basis of the LAMH model applied to narrow SC channels in which thermal fluctuations can cause phase slips. We also find that in oxygen-implanted carbon materials, the electron charge and spin correlations do not compete and their interplay rather facilitates the emergence of high-temperature superconductivity, and thus, additional unexpected effects like Heisenberg spin waves and magneto-structural transitions are observed.


title: Pitfalls of periodograms: The non-stationarity bias in the analysis of quasi-periodic oscillations

abstract: Quasi-periodic oscillations (QPOs) are an important key to understand the dynamic behavior of astrophysical objects during transient events like gamma-ray bursts, solar flares, and magnetar flares. Searches for QPOs often use the periodogram of the time series and perform spectral density estimation using a Whittle likelihood function. However, the Whittle likelihood is only valid if the time series is stationary since the frequency bins are otherwise not statistically independent. We show that if time series are non-stationary, the significance of QPOs can be highly overestimated and estimates of the central frequencies and QPO widths can be overconstrained. The effect occurs if the QPO is only present for a fraction of the time series and the noise level is varying throughout the time series. This can occur for example if background noise from before or after the transient is included in the time series or if the low-frequency noise profile varies strongly over the time series. We confirm the presence of this bias in previously reported results from solar flare data and show that significance can be highly overstated. Finally, we provide some suggestions that help identify if an analysis is affected by this bias.


title: The HI Column Density Distribution of the Galactic Disk and Halo

abstract: We present a census of neutral gas in the Milky Way disk and halo down to limiting column densities of $N$(HI)$\sim10^{14}$ cm$^{-2}$ using measurements of HI Lyman-series absorption from the Far Ultraviolet Spectroscopic Explorer (FUSE). Our results are drawn from an analysis of 25 AGN sightlines spread evenly across the sky with Galactic latitude |b|$\gtrsim 20^{\circ}$. By simultaneously fitting multi-component Voigt profiles to 11 Lyman-series absorption transitions covered by FUSE (Ly$\beta$-Ly$\mu$) plus HST measurements of Ly$\alpha$, we derive the kinematics and column densities of a sample of 152 HI absorption components. While saturation prevents accurate measurements of many components with column densities 17$\lesssim$log$N$(HI)$\lesssim$19, we derive robust measurements at log$N$(HI)$\lesssim$17 and log$N$(HI)$\gtrsim$19. We derive the first ultraviolet HI column density distribution function (CDDF) of the Milky Way, both globally and for low-velocity (ISM), intermediate-velocity clouds (IVCs), and high-velocity clouds (HVCs). We find that IVCs and HVCs show statistically indistinguishable CDDF slopes, with $\beta_{\rm IVC}=$ $-1.01_{-0.14}^{+0.15}$ and $\beta_{\rm HVC}=$ $-1.05_{-0.06}^{+0.07}$. Overall, the CDDF of the Galactic disk and halo appears shallower than that found by comparable extragalactic surveys, suggesting a relative abundance of high-column density gas in the Galactic halo. We derive the sky covering fractions as a function of HI column density, finding an enhancement of IVC gas in the northern hemisphere compared to the south. We also find evidence for an excess of inflowing HI over outflowing HI, with $-$0.88$\pm$0.40 M$_\odot$ yr$^{-1}$ of HVC inflow versus 0.20$\pm$0.10 M$_\odot$ yr$^{-1}$ of HVC outflow, confirming an excess of inflowing HVCs seen in UV metal lines.


title: Relaxation of Multitime Statistics in Quantum Systems

abstract: Equilibrium statistical mechanics provides powerful tools to understand physics at the macroscale. Yet, the question remains how this can be justified based on a microscopic quantum description. Here, we extend the ideas of pure state quantum statistical mechanics, which focus on single time statistics, to show the equilibration of isolated quantum processes. Namely, we show that most multitime observables for sufficiently large times cannot distinguish a nonequilibrium process from an equilibrium one, unless the system is probed for an extremely large number of times or the observable is particularly fine-grained. A corollary of our results is that the size of non-Markovianity and other multitime characteristics of a nonequilibrium process also equilibrate.


title: Memory-Efficient Factorization Machines via Binarizing both Data and Model Coefficients

abstract: Factorization Machines (FM), a general predictor that can efficiently model feature interactions in linear time, was primarily proposed for collaborative recommendation and have been broadly used for regression, classification and ranking tasks. Subspace Encoding Factorization Machine (SEFM) has been proposed recently to overcome the expressiveness limitation of Factorization Machines (FM) by applying explicit nonlinear feature mapping for both individual features and feature interactions through one-hot encoding to each input feature. Despite the effectiveness of SEFM, it increases the memory cost of FM by $b$ times, where $b$ is the number of bins when applying one-hot encoding on each input feature. To reduce the memory cost of SEFM, we propose a new method called Binarized FM which constraints the model parameters to be binary values (i.e., 1 or $-1$). Then each parameter value can be efficiently stored in one bit. Our proposed method can significantly reduce the memory cost of SEFM model. In addition, we propose a new algorithm to effectively and efficiently learn proposed FM with binary constraints using Straight Through Estimator (STE) with Adaptive Gradient Descent (Adagrad). Finally, we evaluate the performance of our proposed method on eight different classification datasets. Our experimental results have demonstrated that our proposed method achieves comparable accuracy with SEFM but with much less memory cost.


title: Learning by Aligning: Visible-Infrared Person Re-identification using Cross-Modal Correspondences

abstract: We address the problem of visible-infrared person re-identification (VI-reID), that is, retrieving a set of person images, captured by visible or infrared cameras, in a cross-modal setting. Two main challenges in VI-reID are intra-class variations across person images, and cross-modal discrepancies between visible and infrared images. Assuming that the person images are roughly aligned, previous approaches attempt to learn coarse image- or rigid part-level person representations that are discriminative and generalizable across different modalities. However, the person images, typically cropped by off-the-shelf object detectors, are not necessarily well-aligned, which distract discriminative person representation learning. In this paper, we introduce a novel feature learning framework that addresses these problems in a unified way. To this end, we propose to exploit dense correspondences between cross-modal person images. This allows to address the cross-modal discrepancies in a pixel-level, suppressing modality-related features from person representations more effectively. This also encourages pixel-wise associations between cross-modal local features, further facilitating discriminative feature learning for VI-reID. Extensive experiments and analyses on standard VI-reID benchmarks demonstrate the effectiveness of our approach, which significantly outperforms the state of the art.


title: Slow-fast dynamics of strongly coupled adaptive frequency oscillators

abstract: Oscillators have two main limitations: their synchronization properties are limited (i.e they have a finite synchronization region) and they have no memory of past interactions (i.e. they return to their intrinsic frequency whenever the entraining signal disappears). We previously proposed a general mechanism to transform an oscillator into an adaptive frequency oscillator which adapts its parameters to learn the frequency of any input signal. The synchronization region then becomes infinite and the oscillator retains the entrainment frequency when the driving signal disappears. While this mechanism has been successfully used in various applications, such as robot control or observer design for active prosthesis, a formal understanding of its properties is still missing. In this paper, we study the adaptation mechanism in the case of strongly coupled phase oscillators and show that non-trivial slow-fast dynamics is at the origin of the adaptation. We show the existence of a layered structure of stable and unstable invariant slow manifolds and demonstrate how the input signal forces the dynamics to jump between these manifolds at regular intervals, leading to exponential convergence of the frequency adaptation. We extend the idea to a network of oscillators with amplitude adaptation and show that the slow invariant manifolds structure persists. Numerical simulations validate our analysis and extend the discussion to more complex cases.


title: Choice by Rejection

abstract: We propose a boundedly rational model of choice where agents eliminate dominated alternatives using a transitive rationale before making a choice using a complete rationale. This model is related to the seminal two-stage model of Manzini and Mariotti (2007), the Rational Shortlist Method (RSM). We analyze the model through reversals in choice and provide its behavioral characterization. The procedure satisfies a weaker version of the Weak Axiom of Revealed Preference (WARP) allowing for at most two reversals in choice in terms of set inclusion for any pair of alternatives. We show that the underlying rationales can be identified from the observable reversals in the choice. We also characterize a variant of this model in which both the rationales are transitive


title: NeuralSound: Learning-based Modal Sound Synthesis With Acoustic Transfer

abstract: We present a novel learning-based modal sound synthesis approach that includes a mixed vibration solver for modal analysis and an end-to-end sound radiation network for acoustic transfer. Our mixed vibration solver consists of a 3D sparse convolution network and a Locally Optimal Block Preconditioned Conjugate Gradient module (LOBPCG) for iterative optimization. Moreover, we highlight the correlation between a standard modal vibration solver and our network architecture. Our radiation network predicts the Far-Field Acoustic Transfer maps (FFAT Maps) from the surface vibration of the object. The overall running time of our learning method for any new object is less than one second on a GTX 3080 Ti GPU while maintaining a high sound quality close to the ground truth that is computed using standard numerical methods. We also evaluate the numerical accuracy and perceptual accuracy of our sound synthesis approach on different objects corresponding to various materials.


title: Effect of heterostructure engineering on electronic structure and transport properties of two-dimensional halide perovskites

abstract: Organic-inorganic halide perovskite solar cells have attracted much attention due to their low-cost fabrication, flexibility, and high-power conversion efficiency. More recent efforts show that the reduction from three- to two-dimensions (2D) of organic-inorganic halide perovskites promises an exciting opportunity to tune their electronic properties. Here, we explore the effect of reduced dimensionality and heterostructure engineering on the intrinsic material properties, such as energy stability, bandgap and transport properties of 2D hybrid organic-inorganic halide perovskites using first-principles density functional theory. We show that the energetic stability is significantly enhanced by engineered perovskite heterostructures that also possess excellent transport properties similar to their bulk counterparts. These layered chemistries also demonstrate the advantage of a broad range of tunable bandgaps and high-absorption coefficient in the visible spectrum. The proposed 2D heterostructured material holds potential for nano-optoelectronic devices as well as for effective photovoltaics.


title: Self-dual $2$-quasi-abelian Codes

abstract: A kind of self-dual quasi-abelian codes of index $2$ over any finite field $F$ is introduced. By counting the number of such codes and the number of the codes of this kind whose relative minimum weights are small, such codes are proved to be asymptotically good provided $-1$ is a square in $F$. Moreover, a kind of self-orthogonal quasi-abelian codes of index $2$ are defined; and such codes always exist. In a way similar to that for self-dual quasi-abelian codes of index $2$, it is proved that the kind of the self-orthogonal quasi-abelian codes of index $2$ is asymptotically good.


title: The problem of engines in statistical physics

abstract: Engines are open systems that can generate work cyclically, at the expense of an external disequilibrium. They are ubiquitous in nature and technology, but the course of mathematical physics over the last 300 years has tended to make their dynamics in time a theoretical blind spot. This has hampered the usefulness of statistical mechanics applied to active systems, including living matter. We argue that recent advances in the theory of open quantum systems, coupled with renewed interest in understanding how active forces result from positive feedback between different macroscopic degrees of freedom in the presence of dissipation, point to a more realistic description of autonomous engines. We propose a general conceptualization of an engine that helps clarify the distinction between its heat and work outputs. Based on this, we show how the external loading force and the thermal noise may be incorporated into the relevant equations of motion. This modifies the usual Fokker-Planck and Langevin equations, offering a thermodynamically complete formulation of the irreversible dynamics of simple oscillating and rotating engines.


title: Rectangular Approximation and Stability of $2$-parameter Persistence Modules

abstract: One of the main reasons for topological persistence being useful in data analysis is that it is backed up by a stability (isometry) property: persistence diagrams of $1$-parameter persistence modules are stable in the sense that the bottleneck distance between two diagrams equals the interleaving distance between their generating modules. However, in multi-parameter setting this property breaks down in general. A simple special case of persistence modules called rectangle decomposable modules is known to admit a weaker stability property. Using this fact, we derive a stability-like property for $2$-parameter persistence modules. For this, first we consider interval decomposable modules and their optimal approximations with rectangle decomposable modules with respect to the bottleneck distance. We provide a polynomial time algorithm to exactly compute this optimal approximation which, together with the polynomial-time computable bottleneck distance among interval decomposable modules, provides a lower bound on the interleaving distance. Next, we leverage this result to derive a polynomial-time computable distance for general multi-parameter persistence modules which enjoys similar stability-like property. This distance can be viewed as a generalization of the matching distance defined in the literature.


title: Endeavors in the DualSPHysics code to evaluate heat transfer in nuclear systems

abstract: This article condenses current endeavors and improvements in the expansion of applications of the DualSPHysics code to analyze heat transfer in a nuclear reactor core. This includes the essential conservation equations and certain physical considerations, particularly the thermal conductivity variable model, considering changes in the reference density to maintain the accuracy in the solution. Conventionally, to study these sorts of systems, Eulerian methods have been developed, nevertheless, this kind of method based on well-defined mesh shows major restrictions. The DualSPHysics code, based on Smoothed Particle Hydrodynamics (SPH) technique, has shown to be a real and robust alternative since it involves a free mesh approach, and the numerical method is very well parallelized in both computational and graphical process units (CPU and GPU). The results for the improvements developed in the present work show an exceptionally good approximation with other simulation approaches and also with experimental observation in the three cases studied (1) heat transfer analysis in a bidimensional system with thermal conductivity coefficient k variable, (2) natural convection heat transfer in a horizontal cylindrical ring similar to the space between the fuel rod and the cladding and (3) heat transfer in an experimental nuclear fuel rod square arrangement like in a Pressurized Water Reactor (PWR) nuclear core. Enhancements to this code (DualSPHysics) to use it in nuclear applications are fundamental in the exploitation of this technique in crucial areas of study.


title: Mock HUBS observations of hot gas with IllustrisTNG

abstract: The lack of adequate X-ray observing capability is seriously impeding the progress in understanding the hot phase of circumgalactic medium (CGM), which is predicted to extend to the virial radius of a galaxy or beyond, and thus in acquiring key boundary conditions for studying galaxy evolution. To this end, the Hot Universe Baryon Surveyor (\textit{HUBS}) is proposed. \textit{HUBS} is designed to probe hot CGM by detecting its emission or absorption lines with a non-dispersive X-ray spectrometer of high resolution and high throughput. The spectrometer consists of a $60\times60$ array of microcalorimeters, with each detector providing an energy resolution of $2~\mathrm{eV}$, and is placed in the focal plane of an X-ray telescope of $1^{\circ}$ field-of-view. With such a design, the spectrometer is also expected to enable studies of intra-group medium (IGrM) and the outer region of intra-cluster medium (ICM). To assess the scientific potential of \textit{HUBS}, we created mock observations of galaxies, groups, and clusters at different redshifts with the \tng simulation. Focusing exclusively on emission studies in this work, we took into account the effects of light cone, Galactic foreground emission, and background AGN contribution in the mock observations. From the observations, we made mock X-ray images and spectra, analyzed them to derive the properties of the emitting gas in each case, and compared the results with the input parameters from the simulation. The results show that \textit{HUBS} is well suited for studying hot CGM at low redshifts. The redshift range is significantly extended for measuring IGrM and ICM.


title: Reconstruction of Worm Propagation Path Using a Trace-back Approach

abstract: Worm origin identification and propagation path reconstruction are essential problems in digital forensics. However, a small number of studies have specifically investigated these problems so far. In this paper, we extend a distributed trace-back algorithm, called Origins, which is only able to identify the origins of fast-spreading worms. We make some modifications to this algorithm so that in addition to identifying the worm origins, it can also reconstruct the propagation path. We also evaluate our extended algorithm. The results show that our algorithm can reconstruct the propagation path of worms with high recall and precision, on average around 0.96. Also, the algorithm identifies the origins correctly in all of our experiments.


title: Aggregation Delayed Federated Learning

abstract: Federated learning is a distributed machine learning paradigm where multiple data owners (clients) collaboratively train one machine learning model while keeping data on their own devices. The heterogeneity of client datasets is one of the most important challenges of federated learning algorithms. Studies have found performance reduction with standard federated algorithms, such as FedAvg, on non-IID data. Many existing works on handling non-IID data adopt the same aggregation framework as FedAvg and focus on improving model updates either on the server side or on clients. In this work, we tackle this challenge in a different view by introducing redistribution rounds that delay the aggregation. We perform experiments on multiple tasks and show that the proposed framework significantly improves the performance on non-IID data.


title: Poincar\'{e}-Hopf theorem for hybrid systems

abstract: A generalization of the Poincar\'{e}-Hopf index theorem applicable to hybrid dynamical systems is obtained. For the hybrid systems considered, guard sets are not assumed to be smooth; distinct "modes" are not assumed to have constant dimension; and resets are arbitrary multivalued maps (relations).


title: Modeling Protein Using Large-scale Pretrain Language Model

abstract: Protein is linked to almost every life process. Therefore, analyzing the biological structure and property of protein sequences is critical to the exploration of life, as well as disease detection and drug discovery. Traditional protein analysis methods tend to be labor-intensive and time-consuming. The emergence of deep learning models makes modeling data patterns in large quantities of data possible. Interdisciplinary researchers have begun to leverage deep learning methods to model large biological datasets, e.g. using long short-term memory and convolutional neural network for protein sequence classification. After millions of years of evolution, evolutionary information is encoded in protein sequences. Inspired by the similarity between natural language and protein sequences, we use large-scale language models to model evolutionary-scale protein sequences, encoding protein biology information in representation. Significant improvements are observed in both token-level and sequence-level tasks, demonstrating that our large-scale model can accurately capture evolution information from pretraining on evolutionary-scale individual sequences. Our code and model are available at https://github.com/THUDM/ProteinLM.


title: Existence of stationary vortex sheets for the 2D Euler equation

abstract: We investigate a steady planar flow of an ideal fluid in a (bounded or unbounded) domain $\Omega\subset \mathbb{R}^2$. Let $\kappa_i\not=0$, $i=1,\ldots, m$, be $m$ arbitrary fixed constants. For any given non-degenerate critical point $\mathbf{x}_0=(x_{0,1},\ldots,x_{0,m})$ of the Kirchhoff-Routh function defined on $\Omega^m$ corresponding to $(\kappa_1,\ldots, \kappa_m)$, we construct a family of stationary planar flows with vortex sheets that have large vorticity amplitude and are perturbations of small circles centered near $x_i$, $i=1,\ldots,m$. The proof is accomplished via the implicit function theorem with suitable choice of function spaces. This seems to be the first nontrivial result on the existence of stationary vortex sheets in domains.


title: Social influence leads to the formation of diverse local trends

abstract: How does the visual design of digital platforms impact user behavior and the resulting environment? A body of work suggests that introducing social signals to content can increase both the inequality and unpredictability of its success, but has only been shown in the context of music listening. To further examine the effect of social influence on media popularity, we extend this research to the context of algorithmically-generated images by re-adapting Salganik et al's Music Lab experiment. On a digital platform where participants discover and curate AI-generated hybrid animals, we randomly assign both the knowledge of other participants' behavior and the visual presentation of the information. We successfully replicate the Music Lab's findings in the context of images, whereby social influence leads to an unpredictable winner-take-all market. However, we also find that social influence can lead to the emergence of local cultural trends that diverge from the status quo and are ultimately more diverse. We discuss the implications of these results for platform designers and animal conservation efforts.


title: Diffeomorphic Particle Image Velocimetry

abstract: The existing particle image velocimetry (PIV) do not consider the curvature effect of the non-straight particle trajectory, because it seems to be impossible to obtain the curvature information from a pair of particle images. As a result, the computed vector underestimates the real velocity due to the straight-line approximation, that further causes a systematic error for the PIV instrument. In this work, the particle curved trajectory between two recordings is firstly explained with the streamline segment of a steady flow (diffeomorphic transformation) instead of a single vector, and this idea is termed as diffeomorphic PIV. Specifically, a deformation field is introduced to describe the particle displacement, i.e., we try to find the optimal velocity field, of which the corresponding deformation vector field agrees with the particle displacement. Because the variation of the deformation function can be approximated with the variation of the velocity function, the diffeomorphic PIV can be implemented as iterative PIV. That says, the diffeomorphic PIV warps the images with deformation vector field instead of the velocity, and keeps the rest as same as iterative PIVs. Two diffeomorphic deformation schemes -- forward diffeomorphic deformation interrogation (FDDI) and central diffeomorphic deformation interrogation (CDDI) -- are proposed. Tested on synthetic images, the FDDI achieves significant accuracy improvement across different one-pass displacement estimators (cross-correlation, optical flow, deep learning flow). Besides, the results on three real PIV image pairs demonstrate the non-negligible curvature effect for CDI-based PIV, and our FDDI provides larger velocity estimation (more accurate) in the fast curvy streamline areas. The accuracy improvement of the combination of FDDI and accurate dense estimator means that our diffeomorphic PIV paves a new way for complex flow measurement.


title: Hot subdwarfs from the surviving companions of the white dwarf + main-sequence channel of Type Ia supernovae

abstract: Some surviving companions of type Ia supernovae (SNe Ia) from the white-dwarf + main-sequence (WD + MS) channel may evolve to hot subdwarfs. In this paper, we preformed stellar evolution calculations for surviving companions of close WD + MS systems in the spin-up/spin-down model and the canonical non-rotating model to map out the initial parameter spaces in the orbital period - secondary mass plane in which the surviving companions can evolve to hot subdwarfs. Based on these results, we carried out a series of binary population synthesis calculation to obtain the Galactic birth rate of the hot subdwarfs from the WD + MS channel, which is $2.3-6\times10^{\rm -4}\,{\rm yr}^{\rm -1}$ for the spin-up/spin-down model and $0.7-3\times10^{\rm -4}\,{\rm yr}^{\rm -1}$ for the canonical non-rotating model. We also show the distributions of some integral properties of the hot subdwarfs, e.g. the mass and the space velocity, for different models. In addition, comparing our results with the observations of the intermediate helium-rich (iHe-rich) hot subdwarfs, the hot subdwarfs from the WD + MS channel may explain some observational features of the iHe-rich hot subdwarfs, especially for those from the spin-up/spin-down model. Although we expect that the SN Ia channel can only contribute a small fraction of the iHe-rich hot subdwarf population, some of these may help to explain cases with unusual kinematics.


title: Confirmation of Transit-Time Limited Field Emission in Advanced Carbon Materials with Fast Pattern Recognition Algorithm

abstract: An accurate estimation of the experimental field-emission area remains a great challenge in vacuum electronics. The lack of convenient means, which can be used to measure this parameter, creates a critical knowledge gap, making it impossible to compare theory to experiment. In this work, a fast pattern recognition algorithm was developed to complement a field emission microscopy, together creating a methodology to obtain and analyze electron emission micrographs in order to quantitatively estimate the field emission area. The algorithm is easy to use and made available to the community as a freeware, and therefore is described in detail. Three examples of dc emission are given to demonstrate the applicability of this algorithm to determine spatial distribution of emitters, calculate emission area, and finally obtain experimental current density as a function of the electric field for two technologically important field emitter materials, namely an ultrananocrystalline diamond film and a carbon nanotube fiber. Unambiguous results, demonstrating the current density saturation and once again proving that conventional Fowler-Nordheim theory, its Murphy-Good extension, and the vacuum space-charge effect fail to describe such behaviour, are presented and discussed. We also show that the transit-time limited charge resupply captures the current density saturation behaviour observed in experiments and provides good quantitative agreement with experimental data for all cases studied in this work.


title: Limitations on Realistic Hyperbolic Graph Drawing

abstract: We show that several types of graph drawing in the hyperbolic plane require features of the drawing to be separated from each other by sub-constant distances, distances so small that they can be accurately approximated by Euclidean distance. Therefore, for these types of drawing, hyperbolic geometry provides no benefit over Euclidean graph drawing.


title: Optical and Zeeman spectroscopy of individual Er ion pairs in silicon

abstract: We make the first study the optical energy level structure and interactions of pairs of single rare earth ions using a hybrid electro-optical detection method applied to Er-implanted silicon. Two examples of Er3+ pairs were identified in the optical spectrum by their characteristic energy level splitting patterns, and linear Zeeman spectra were used to characterise the sites. One pair is positively identified as two identical Er3+ ions in sites of at least C2 symmetry coupled via a large, 200 GHz Ising-like spin interaction and 1.5 GHz resonant optical interaction. Small non-Ising contributions to the spin interaction are attributed to distortion of the site measurable because of the high resolution of the single-ion measurement. The interactions are compared to previous measurements made using rare earth ensemble systems, and the application of this type of strongly coupled ion array to quantum computing is discussed.


title: Modulation instability of Kerr optical frequency combs in dual-coupled optical cavities

abstract: Kerr optical frequency combs generated in a coherently driven Kerr nonlinear resonator has the potential for a wide range of applications. However, in a single cavity which is a widely adopted configuration for Kerr optical frequency combs generation, modulation instability is suppressed in normal dispersion regime and the pump-to-comb conversion efficiency is extremely low for a single dissipative Kerr soliton in anomalous dispersion regime. Dual-coupled cavities have been proposed to generate Kerr optical frequency combs in normal dispersion regime, and have potential to remarkably increase conversion efficiency for Kerr optical frequency combs. Here, we investigate modulation instability and Kerr optical frequency-comb formation in dual-coupled cavities. Based on solutions of the continuous-wave steady state, we obtain a quadric algebraic equation describing the modulation instability gain, and we find that it is intensely influenced by the group velocity mismatch between the two cavities. Our numerical simulations demonstrate that platicons can be generated via pump scanning scheme for the case that both the two cavities possess normal dispersion, and a single dissipative Kerr soliton can be generated in the cavity with anomalous dispersion while the dispersion of the other cavity is normal. Our analysis of modulation instability provides a powerful tool for Kerr optical frequency-comb generation via pump modulation and cavity detuning tuning scheme in dual-coupled cavities.


title: Averaging of dispersion managed nonlinear Schr\"odinger equations

abstract: We consider the dispersion managed power-law nonlinear Schr\"odinger(DM NLS) equations with a small parameter $\varepsilon > 0$ and the averaged equation, which are used in optical fiber communications. We prove that the solutions of DM NLS equations converge to the solution of the averaged equation in $H^1(\mathbb{R})$ as $\varepsilon$ goes to zero. Meanwhile, in the positive average dispersion, we obtain the global existence of the solution to DM NLS equation in $H^1(\mathbb{R})$ for sufficiently small $\varepsilon > 0$, even when the exponent of the nonlinearity is beyond the mass-critical power.


title: Encirclement Guaranteed Cooperative Pursuit with Robust Model Predictive Control

abstract: This paper studies a novel encirclement guaranteed cooperative pursuit problem involving $N$ pursuers and a single evader in an unbounded two-dimensional game domain. Throughout the game, the pursuers are required to maintain encirclement of the evader, i.e., the evader should always stay inside the convex hull generated by all the pursuers, in addition to achieving the classical capture condition. To tackle this challenging cooperative pursuit problem, a robust model predictive control (RMPC) based formulation framework is first introduced, which simultaneously accounts for the encirclement and capture requirements under the assumption that the evader's action is unavailable to all pursuers. Despite the reformulation, the resulting RMPC problem involves a bilinear constraint due to the encirclement requirement. To further handle such a bilinear constraint, a novel encirclement guaranteed partitioning scheme is devised that simplifies the original bilinear RMPC problem to a number of linear tube MPC (TMPC) problems solvable in a decentralized manner. Simulation experiments demonstrate the effectiveness of the proposed solution framework. Furthermore, comparisons with existing approaches show that the explicit consideration of the encirclement condition significantly improves the chance of successful capture of the evader in various scenarios.


title: Limiting distributions of graph-based test statistics on sparse and dense graphs

abstract: Two-sample tests utilizing a similarity graph on observations are useful for high-dimensional and non-Euclidean data due to their flexibility and good performance under a wide range of alternatives. Existing works mainly focused on sparse graphs, such as graphs with the number of edges in the order of the number of observations, and their asymptotic results imposed strong conditions on the graph that can easily be violated by commonly constructed graphs they suggested. Moreover, the graph-based tests have better performance with denser graphs under many settings. In this work, we establish the theoretical ground for graph-based tests with graphs ranging from those recommended in current literature to much denser ones.


title: Cluster density slopes from Dark Matter-Baryons Energy Transfer

abstract: In this paper, we extend previous works on the relation between mass and the inner slope in dark matter density profiles. We calculate that relation in the mass range going from dwarf galaxies to cluster of galaxies. This was done thanks to a modeling of energy transfer via SN and AGN feedback, as well as via dynamical friction of baryon clumps. We show that, in the mass range above galaxy masses (Groups and clusters), the inner slope-mass relation changes its trend. It flattens (towards less cuspy profile) around masses corresponding to groups of galaxies and steepens again for large galaxy cluster masses. The flattening is produced by the AGN outflows (AGN feedback). The one-$ \sigma$ scatter on $\alpha$ is approximately constant in all the mass range ($\Delta\alpha\simeq 0.3$). This is the first paper extending the inner density profile slope-mass relationship to clusters of galaxies, accounting for the role of baryons. The result can be used to obtain a complete density profile, also taking baryons into account. Such kind of density profile was previously only available for galaxies.


title: Testable Designs of Toffoli Fredkin Reversible Circuits

abstract: Loss of every bit in traditional logic circuits involves dissipation of power in the form of heat that evolve to the environment. Reversible logic is one of the alternatives that have capabilities to mitigate this dissipation by preventing the loss of bits. It also have the potential to broaden the horizon of futuristic reckon with its applications to quantum computation. Application of testing strategies to the logic circuits is a necessity that guarantees their true functioning where the researchers are at par with solutions for the upcoming challenges and agreements for reversible logic circuits. Novel methods of designing Toffoli, Fredkin and mixed Toffoli-Fredkin gates based reversible circuits for testability are put fourth in this article. The proposed designs are independent of the implementation techniques and can be brought into real hardware devices after obtaining a stable fabrication environment. The experimentation for the proposed models are performed on RCViewer and RevKit tools to verify the functionality and computation of cost metrics. Fault simulations are carried out using C++ and Java to calculate fault coverage in respective methodologies. The results confirmed that all the presented work outperforms existing state-of-art approaches.


title: Depletion induced demixing and crystallization in binary colloids subjected to an external potential barrier

abstract: A binary colloidal mixture of unequal sizes, subjected to an external potential barrier, has been investigated using canonical ensemble molecular dynamics simulations. The attractive depletion interaction between the external barrier and larger species in the binary mixture causes the mixture to phase separate. At higher volume fractions, a pure phase of larger particles forms near the potential barrier, and the local density of this pure phase is high enough that a face centered cubic crystalline domain is formed at this region. This crystalline phase diffuses perpendicular to the external potential barrier. The temperature dependence of diffusivity of larger particles is non-Arrhenius and changes from sub-Arrhenius to super-Arrhenius as the volume fraction increases. This crossover from sub-Arrhenius to super-Arrhenius diffusion coincides with the crystalline formation near the potential barrier.


title: Identifying Biased Subgroups in Ranking and Classification

abstract: When analyzing the behavior of machine learning algorithms, it is important to identify specific data subgroups for which the considered algorithm shows different performance with respect to the entire dataset. The intervention of domain experts is normally required to identify relevant attributes that define these subgroups. We introduce the notion of divergence to measure this performance difference and we exploit it in the context of (i) classification models and (ii) ranking applications to automatically detect data subgroups showing a significant deviation in their behavior. Furthermore, we quantify the contribution of all attributes in the data subgroup to the divergent behavior by means of Shapley values, thus allowing the identification of the most impacting attributes.


title: M\"obius Mirrors

abstract: An accelerating boundary (mirror) acts as a horizon and black hole analog, radiating energy with some particle spectrum. We demonstrate that a M\"obius transformation on the null coordinate advanced time mirror trajectory uniquely keeps invariant not only the energy flux but the particle spectrum. We clarify how the geometric entanglement entropy is also invariant. The transform allows generation of families of dynamically distinct trajectories, including $\mathcal{PT}$-symmetric ones, mapping from the eternally thermal mirror to the de Sitter horizon, and different boundary motions corresponding to Kerr or Schwarzschild black holes.


title: First-principles investigation of Nd(Fe,M)12 (M = K--Br) and Nd(Fe,Cr,Co,Ni,Ge,As)12: Possible enhancers of Curie temperature for NdFe12 magnetic compounds

abstract: We investigate the effects of various dopants (M = K--Br) on the Curie temperature of the magnetic compound NdFe12 through first-principles calculations. Analysis by the Korringa--Kohn--Rostoker method with the coherent potential approximation reveals that doping the Fe sites with optimal concentrations of Ge and As is a promising strategy for increasing the Curie temperature. To search over a wider space, we also perform Bayesian optimization. Out of over 180,000 candidate compositions, co-doped systems with Co, Ge, and As are found to have the highest Curie temperatures.


title: An End-to-End Deep Learning Approach for Epileptic Seizure Prediction

abstract: An accurate seizure prediction system enables early warnings before seizure onset of epileptic patients. It is extremely important for drug-refractory patients. Conventional seizure prediction works usually rely on features extracted from Electroencephalography (EEG) recordings and classification algorithms such as regression or support vector machine (SVM) to locate the short time before seizure onset. However, such methods cannot achieve high-accuracy prediction due to information loss of the hand-crafted features and the limited classification ability of regression and SVM algorithms. We propose an end-to-end deep learning solution using a convolutional neural network (CNN) in this paper. One and two dimensional kernels are adopted in the early- and late-stage convolution and max-pooling layers, respectively. The proposed CNN model is evaluated on Kaggle intracranial and CHB-MIT scalp EEG datasets. Overall sensitivity, false prediction rate, and area under receiver operating characteristic curve reaches 93.5%, 0.063/h, 0.981 and 98.8%, 0.074/h, 0.988 on two datasets respectively. Comparison with state-of-the-art works indicates that the proposed model achieves exceeding prediction performance.


title: Electrically Charged Quark Stars in $4D$ Einstein-Gauss-Bonnet Gravity

abstract: In this work we study the properties of compact spheres made of a charged perfect fluid with a MIT bag model EoS for quark matter. Considering static spherically symmetric spacetime we derive the hydrostatic equilibrium equations in the recently formulated four dimensional Einstein-Gauss-Bonnet ($4D$ EGB) gravity theory. In this setting, the modified TOV equations are solved numerically with the aim to investigate the impact of electric charge on the stellar structure. A nice feature of $4D$ EGB theory is that the Gauss-Bonnet term has a non-vanishing contribution to the gravitational dynamics in $4D$ spacetime. We therefore analyse the effects of Gauss-Bonnet coupling constant $\alpha$ and the charge fraction $\beta$ on the mass-radius ($M-R$) diagram and also the mass-central density $(M-\rho_c)$ relation of quark stars. Finally, we conclude that depending on the choice of coupling constant one could have larger mass and radius compared with GR and can also be relevant for more massive compact objects due to the effect of the repulsive Coulomb force.


title: Causal Inference with Noncompliance and Unknown Interference

abstract: We consider a causal inference model in which individuals interact in a social network and they may not comply with the assigned treatments. In particular, we suppose that the form of network interference is unknown to researchers. To estimate meaningful causal parameters in this situation, we introduce a new concept of exposure mapping, which summarizes potentially complicated spillover effects into a fixed dimensional statistic of instrumental variables. We investigate identification conditions for the intention-to-treat effects and the average treatment effects for compliers, while explicitly considering the possibility of misspecification of exposure mapping. Based on our identification results, we develop nonparametric estimation procedures via inverse probability weighting. Their asymptotic properties, including consistency and asymptotic normality, are investigated using an approximate neighborhood interference framework. For an empirical illustration, we apply our method to experimental data on the anti-conflict intervention school program. The proposed methods are readily available with the companion R package latenetwork.


title: Accretion Flow Properties of MAXI J1910-057/Swift J1910.2-0546 During Its 2012-13 Outburst

abstract: Galactic black hole candidate MAXI J1910-057/Swift J1910.2-0546 was simultaneously discovered by MAXI/GSC and Swift/BAT satellites during its first outburst in 2012. We study the detailed spectral and temporal properties of the source in a broad energy range using archival data from Swift/XRT, MAXI/GSC and Swift/BAT satellites/instruments. Low frequency quasi periodic oscillations are observed during the outburst. The combined 1-50 keV spectra are analyzed using the transonic flow solution based Two Component Advective Flow (TCAF) model. Based on the variations of soft and hard X-ray fluxes, their hardness ratios and the variations of the spectral model fitted parameters, we find that the source has evolved through six spectral states. We interpret this spectral state evolution to be a result of two connected outbursts where the leftover matter from a primary outburst is released from the pile-up radius due to a sudden rise of viscosity causing a reflare/secondary outburst. We show a possible configuration of the evolution of accretion flow during the outburst. From the spectral analysis with TCAF model, we estimate the mass of the black hole to be $9.97^{+3.51}_{-3.24}$ $M_\odot$ , and the source distance is estimated to be $3.4-9.6$~kpc from transition luminosity considerations.


title: Long-lived quantum coherent dynamics of a $\Lambda$-system driven by a thermal environment

abstract: We present a theoretical study of quantum coherent dynamics of a three-level $\Lambda$ system driven by a thermal environment (such as blackbody radiation), which serves as an essential building block of photosynthetic light-harvesting models and quantum heat engines. By solving the nonsecular Bloch-Redfield master equations, we obtain analytical results for the ground-state population and coherence dynamics and classify the dynamical regimes of the incoherently driven $\Lambda$-system as underdamped and overdamped depending on whether the ratio $\Delta/[r f(p)]$ is greater or less than one, where $\Delta$ is the ground-state energy splitting, $r$ is the incoherent pumping rate, and $f(p)$ is a function of the transition dipole alignment parameter $p$. In the underdamped regime, we observe long-lived coherent dynamics that lasts for $\tau_c\simeq 1/r$, even though the initial state of the $\Lambda$-system contains no coherences in the energy basis. In the overdamped regime for $p = 1$, we observe the emergence of coherent quasi-steady states with the lifetime $\tau_{c} = 1.34 (r/\Delta^{2})$, which have low von Neumann entropy compared to the conventional thermal states. We propose an experimental scenario for observing noise-induced coherent dynamics in metastable He$^*$ atoms driven by x-polarized incoherent light. Our results suggest that thermal excitations can generate experimentally observable long-lived quantum coherent dynamics in the ground-state subspace of atomic and molecular $\Lambda$ systems in the absence of coherent driving.


title: Irreducibility of integer-valued polynomials in several variables

abstract: Let $\S $ be an arbitrary subset of $R^n$ where $R$ is a domain with the field of fractions $\K$. Denote the ring of polynomials in $n$ variables over $\K$ by $\K[\x].$ The ring of integer-valued polynomials over $\S,$ denoted by Int$(\S,R)$, is defined as the set of the polynomials of $\K[\x],$ which maps $\S$ to $R$. In this article, we study the irreducibility of the polynomials of Int$(\S,R)$ for the first time in the case when $R$ is a Unique Factorization Domain. We also show that our results remain valid when $R$ is a Dedekind domain or sometimes any domain.


title: Trace formalism for motivic cohomology

abstract: The goal of this paper is to construct trace maps for the six functor formalism of motivic cohomology after Voevodsky, Ayoub, and Cisinski-D\'{e}glise. We also construct an $\infty$-enhancement of such a trace formalism. In the course of the $\infty$-enhancement, we need to reinterpret the trace formalism in a more functorial manner. This is done by using Suslin-Voevodsky's relative cycle groups.


title: Persistent Homology with Selective Rips complexes detects geodesic circles

abstract: This paper introduces a method to detect each geometrically significant loop that is a geodesic circle (an isometric embedding of $S^1$) and a bottleneck loop (meaning that each of its perturbations increases the length) in a geodesic space using persistent homology. Under fairly mild conditions we show that such a loop either terminates a $1$-dimensional homology class or gives rise to a $2$-dimensional homology class in persistent homology. The main tool in this detection technique are selective Rips complexes, new custom made complexes that function as an appropriate combinatorial lens for persistent homology in order to detect the above mentioned loops. The main argument is based on a new concept of a local winding number, which turns out to be an invariant of certain homology classes.


title: A Spectroscopic Study of Supernova Remnants with the Infrared Space Observatory

abstract: We present far-infrared (FIR) spectroscopy of supernova remnants (SNRs) based on the archival data of the Infrared Space Observatory ($ISO$) taken with the Long Wavelength Spectrometer (LWS). Our sample includes previously unpublished profiles of line and continuum spectra for 20 SNRs in the Galaxy and Magellanic Clouds. In several SNRs including G21.5-0.9, G29.7-0.3, the Crab Nebula, and G320.4-1.2, we find evidence for broad [O I], [O III], [N II], and [C II] lines with velocity dispersions up to a few 10$^3$ km s$^{-1}$, indicating that they are associated with high-velocity SN ejecta. Our detection of Doppler-broadened atomic emission lines and a bright FIR continuum hints at the presence of newly formed dust in SN ejecta. For G320.4-1.2, we present the first estimate of an ejecta-dust mass of 0.1 - 0.2 M$_\odot$, which spatially coincides with the broad line emission, by applying a blackbody model fit with components of the SNR and background emission. Our sample includes raster maps of 63, 145 $\mu$m [O I] and 158 $\mu$m [C II] lines toward SNRs Kes 79, CTB 109, and IC 443. Based on these line intensities, we suggest interacting shock types in these SNRs. Finally, we compare our LWS spectra of our sample SNRs with the spectra of several HII regions, and discuss their FIR line intensity ratios and continuum properties. Follow-up observations with modern instruments (e.g. $JWST$ and $SOFIA$) with higher spatial and spectral resolution are encouraged for an extensive study of the SN ejecta and the SN dust.


title: A Dimension Reduction Technique for Large-scale Structured Sparse Optimization Problems with Application to Convex Clustering

abstract: In this paper, we propose a novel adaptive sieving (AS) technique and an enhanced AS (EAS) technique, which are solver independent and could accelerate optimization algorithms for solving large scale convex optimization problems with intrinsic structured sparsity. We establish the finite convergence property of the AS technique and the EAS technique with inexact solutions of the reduced subproblems. As an important application, we apply the AS technique and the EAS technique on the convex clustering model, which could accelerate the state-of-the-art algorithm SSNAL by more than 7 times and the algorithm ADMM by more than 14 times.


title: Towards Secure and Practical Machine Learning via Secret Sharing and Random Permutation

abstract: With the increasing demands for privacy protection, privacy-preserving machine learning has been drawing much attention in both academia and industry. However, most existing methods have their limitations in practical applications. On the one hand, although most cryptographic methods are provable secure, they bring heavy computation and communication. On the other hand, the security of many relatively efficient private methods (e.g., federated learning and split learning) is being questioned, since they are non-provable secure. Inspired by previous work on privacy-preserving machine learning, we build a privacy-preserving machine learning framework by combining random permutation and arithmetic secret sharing via our compute-after-permutation technique. Since our method reduces the cost for element-wise function computation, it is more efficient than existing cryptographic methods. Moreover, by adopting distance correlation as a metric for privacy leakage, we demonstrate that our method is more secure than previous non-provable secure methods. Overall, our proposal achieves a good balance between security and efficiency. Experimental results show that our method not only is up to 6x faster and reduces up to 85% network traffic compared with state-of-the-art cryptographic methods, but also leaks less privacy during the training process compared with non-provable secure methods.


title: Investigating a Baseline Of Self Supervised Learning Towards Reducing Labeling Costs For Image Classification

abstract: Data labeling in supervised learning is considered an expensive and infeasible tool in some conditions. The self-supervised learning method is proposed to tackle the learning effectiveness with fewer labeled data, however, there is a lack of confidence in the size of labeled data needed to achieve adequate results. This study aims to draw a baseline on the proportion of the labeled data that models can appreciate to yield competent accuracy when compared to training with additional labels. The study implements the kaggle.com' cats-vs-dogs dataset, Mnist and Fashion-Mnist to investigate the self-supervised learning task by implementing random rotations augmentation on the original datasets. To reveal the true effectiveness of the pretext process in self-supervised learning, the original dataset is divided into smaller batches, and learning is repeated on each batch with and without the pretext pre-training. Results show that the pretext process in the self-supervised learning improves the accuracy around 15% in the downstream classification task when compared to the plain supervised learning.


title: Star transposition Gray codes for multiset permutations

abstract: Given integers $k\geq 2$ and $a_1,\ldots,a_k\geq 1$, let $\boldsymbol{a}:=(a_1,\ldots,a_k)$ and $n:=a_1+\cdots+a_k$. An $\boldsymbol{a}$-multiset permutation is a string of length $n$ that contains exactly $a_i$ symbols $i$ for each $i=1,\ldots,k$. In this work we consider the problem of exhaustively generating all $\boldsymbol{a}$-multiset permutations by star transpositions, i.e., in each step, the first entry of the string is transposed with any other entry distinct from the first one. This is a far-ranging generalization of several known results. For example, it is known that permutations ($a_1=\cdots=a_k=1$) can be generated by star transpositions, while combinations ($k=2$) can be generated by these operations if and only if they are balanced ($a_1=a_2$), with the positive case following from the middle levels theorem. To understand the problem in general, we introduce a parameter $\Delta(\boldsymbol{a}):=n-2\max\{a_1,\ldots,a_k\}$ that allows us to distinguish three different regimes for this problem. We show that if $\Delta(\boldsymbol{a})<0$, then a star transposition Gray code for $\boldsymbol{a}$-multiset permutations does not exist. We also construct such Gray codes for the case $\Delta(\boldsymbol{a})>0$, assuming that they exist for the case $\Delta(\boldsymbol{a})=0$. For the case $\Delta(\boldsymbol{a})=0$ we present some partial positive results. Our proofs establish Hamilton-connectedness or Hamilton-laceability of the underlying flip graphs, and they answer several cases of a recent conjecture of Shen and Williams. In particular, we prove that the middle levels graph is Hamilton-laceable.


title: Transferring Knowledge with Attention Distillation for Multi-Domain Image-to-Image Translation

abstract: Gradient-based attention modeling has been used widely as a way to visualize and understand convolutional neural networks. However, exploiting these visual explanations during the training of generative adversarial networks (GANs) is an unexplored area in computer vision research. Indeed, we argue that this kind of information can be used to influence GANs training in a positive way. For this reason, in this paper, it is shown how gradient based attentions can be used as knowledge to be conveyed in a teacher-student paradigm for multi-domain image-to-image translation tasks in order to improve the results of the student architecture. Further, it is demonstrated how "pseudo"-attentions can also be employed during training when teacher and student networks are trained on different domains which share some similarities. The approach is validated on multi-domain facial attributes transfer and human expression synthesis showing both qualitative and quantitative results.


title: Neonatal Bowel Sound Detection Using Convolutional Neural Network and Laplace Hidden Semi-Markov Model

abstract: Abdominal auscultation is a convenient, safe and inexpensive method to assess bowel conditions, which is essential in neonatal care. It helps early detection of neonatal bowel dysfunctions and allows timely intervention. This paper presents a neonatal bowel sound detection method to assist the auscultation. Specifically, a Convolutional Neural Network (CNN) is proposed to classify peristalsis and non-peristalsis sounds. The classification is then optimized using a Laplace Hidden Semi-Markov Model (HSMM). The proposed method is validated on abdominal sounds from 49 newborn infants admitted to our tertiary Neonatal Intensive Care Unit (NICU). The results show that the method can effectively detect bowel sounds with accuracy and area under curve (AUC) score being 89.81% and 83.96% respectively, outperforming 13 baseline methods. Furthermore, the proposed Laplace HSMM refinement strategy is proven capable to enhance other bowel sound detection models. The outcomes of this work have the potential to facilitate future telehealth applications for neonatal care. The source code of our work can be found at: https://bitbucket.org/chirudeakin/neonatal-bowel-sound-classification/


title: Improving data quality for 3D electron diffraction (3D ED) by Gatan Image Filter and a new crystal tracking method

abstract: 3D ED is an effective technique to determine the structures of submicron- or nano-sized crystals. In this paper, we implemented energy-filtered 3D ED using a Gatan Energy Filter (GIF) in both selected area electron diffraction mode and micro/nanoprobe mode. We explained the setup in detail, which improves the accessibility of energy-filtered 3D ED experiments as more electron microscopes are equipped with a GIF than an in-column filter. We also proposed a crystal tracking method in STEM mode using live HAADF image stream. This method enables us to collect energy-filtered 3D ED datasets in STEM mode with a larger tilt range without foregoing any frames. In order to compare the differences between energy-filtered 3D ED and normal 3D ED data, three crystalline samples have been studied in detail. We observed that the final R1 will improve 20% to 30% for energy-filtered datasets compared with unfiltered datasets and the structure became more reasonable. We also discussed the possible reasons that lead to the improvement.


title: Avalanches and Structural Change in Cyclically Sheared Silica Glass

abstract: We investigate avalanches associated with plastic rearrangements and the nature of structural change in the prototypical strong glass, silica, computationally. Although qualitative aspects of yielding in silica are similar to other glasses, we find that the statistics of avalanches exhibits non-trivial behaviour. Investigating the statistics of avalanches and clusters in detail, we propose and verify a new relation between exponents characterizing the size distribution of avalanches and clusters. Across the yielding transition, anomalous structural change and densification, associated with a suppression of tetrahedral order, is observed to accompany strain localisation.


title: Three linear, unconditionally stable, second order decoupling methods for the Allen--Cahn--Navier--Stokes phase field model

abstract: Hydrodynamics coupled phase field models have intricate difficulties to solve numerically as they feature high nonlinearity and great complexity in coupling. In this paper, we propose three second order, linear, unconditionally stable decoupling methods based on the Crank--Nicolson leap-frog time discretization for solving the Allen--Cahn--Navier--Stokes (ACNS) phase field model of two-phase incompressible flows. The ACNS system is decoupled via the artificial compression method and a splitting approach by introducing an exponential scalar auxiliary variable.We prove all three algorithms are unconditionally long time stable. Numerical examples are provided to verify the convergence rate, unconditional stability, and computational efficiency.


title: Guided Colorization Using Mono-Color Image Pairs

abstract: Compared to color images captured by conventional RGB cameras, monochrome images usually have better signal-to-noise ratio (SNR) and richer textures due to its higher quantum efficiency. It is thus natural to apply a mono-color dual-camera system to restore color images with higher visual quality. In this paper, we propose a mono-color image enhancement algorithm that colorizes the monochrome image with the color one. Based on the assumption that adjacent structures with similar luminance values are likely to have similar colors, we first perform dense scribbling to assign colors to the monochrome pixels through block matching. Two types of outliers, including occlusion and color ambiguity, are detected and removed from the initial scribbles. We also introduce a sampling strategy to accelerate the scribbling process. Then, the dense scribbles are propagated to the entire image. To alleviate incorrect color propagation in the regions that have no color hints at all, we generate extra color seeds based on the existed scribbles to guide the propagation process. Experimental results show that, our algorithm can efficiently restore color images with higher SNR and richer details from the mono-color image pairs, and achieves good performance in solving the color bleeding problem.


title: Is Nash Equilibrium Approximator Learnable?

abstract: In this paper, we investigate the learnability of the function approximator that approximates Nash equilibrium (NE) for games generated from a distribution. First, we offer a generalization bound using the Probably Approximately Correct (PAC) learning model. The bound describes the gap between the expected loss and empirical loss of the NE approximator. Afterward, we prove the agnostic PAC learnability of the Nash approximator. In addition to theoretical analysis, we demonstrate an application of NE approximator in experiments. The trained NE approximator can be used to warm-start and accelerate classical NE solvers. Together, our results show the practicability of approximating NE through function approximation.


title: High excursion probabilities for Gaussian fields on smooth manifolds

abstract: Gaussian random fields on finite dimensional smooth manifolds whose variances reach their maximum value at smooth submanifolds are considered. Exact asymptotic behaviors of large excursion probabilities have been evaluated. Vector Gaussian processes, chi-square processes, Bessel process, fractional Bessel process, Bessel bridge are examples of application of this result.