title: Inference in High-dimensional Multivariate Response Regression with Hidden Variables

abstract: This paper studies the inference of the regression coefficient matrix under multivariate response linear regressions in the presence of hidden variables. A novel procedure for constructing confidence intervals of entries of the coefficient matrix is proposed. Our method first utilizes the multivariate nature of the responses by estimating and adjusting the hidden effect to construct an initial estimator of the coefficient matrix. By further deploying a low-dimensional projection procedure to reduce the bias introduced by the regularization in the previous step, a refined estimator is proposed and shown to be asymptotically normal. The asymptotic variance of the resulting estimator is derived with closed-form expression and can be consistently estimated. In addition, we propose a testing procedure for the existence of hidden effects and provide its theoretical justification. Both our procedures and their analyses are valid even when the feature dimension and the number of responses exceed the sample size. Our results are further backed up via extensive simulations and a real data analysis.


title: Drones Practicing Mechanics

abstract: Mechanics of materials is a classic course of engineering presenting the fundamentals of strain and stress analysis to junior undergraduate students in several engineering majors. So far, material deformation and strain have been only analyzed using theoretical and numerical approaches, and they have been experimentally validated by expensive machines and tools. This paper presents a novel approach for strain and deformation analysis by using quadcopters. We propose to treat quadcopters as finite number of particles of a deformable body and apply the principles of continuum mechanics to illustrate the concept of axial and shear deformation by using quadcopter hardware in a $3$-D motion space. The outcome of this work can have significant impact on undergraduate education by filling the gap between in-class learning and hardware realization and experiments, where we introduce new roles for drones as "teachers" providing a great opportunity for practicing theoretical concepts of mechanics in a fruitful and understandable way.


title: FreSCo: Mining Frequent Patterns in Simplicial Complexes

abstract: Simplicial complexes are a generalization of graphs that model higher-order relations. In this paper, we introduce simplicial patterns -- that we call simplets -- and generalize the task of frequent pattern mining from the realm of graphs to that of simplicial complexes. Our task is particularly challenging due to the enormous search space and the need for higher-order isomorphism. We show that finding the occurrences of simplets in a complex can be reduced to a bipartite graph isomorphism problem, in linear time and at most quadratic space. We then propose an anti-monotonic frequency measure that allows us to start the exploration from small simplets and stop expanding a simplet as soon as its frequency falls below the minimum frequency threshold. Equipped with these ideas and a clever data structure, we develop a memory-conscious algorithm that, by carefully exploiting the relationships among the simplices in the complex and among the simplets, achieves efficiency and scalability for our complex mining task. Our algorithm, FreSCo, comes in two flavors: it can compute the exact frequency of the simplets or, more quickly, it can determine whether a simplet is frequent, without having to compute the exact frequency. Experimental results prove the ability of FreSCo to mine frequent simplets in complexes of various size and dimension, and the significance of the simplets with respect to the traditional graph patterns.


title: Predictive modeling of movements of refugees and internally displaced people: Towards a computational framework

abstract: Predicting forced displacement is an important undertaking of many humanitarian aid agencies, which must anticipate flows in advance in order to provide vulnerable refugees and Internally Displaced Persons (IDPs) with shelter, food, and medical care. While there is a growing interest in using machine learning to better anticipate future arrivals, there is little standardized knowledge on how to predict refugee and IDP flows in practice. Researchers and humanitarian officers are confronted with the need to make decisions about how to structure their datasets and how to fit their problem to predictive analytics approaches, and they must choose from a variety of modeling options. Most of the time, these decisions are made without an understanding of the full range of options that could be considered, and using methodologies that have primarily been applied in different contexts - and with different goals - as opportunistic references. In this work, we attempt to facilitate a more comprehensive understanding of this emerging field of research by providing a systematic model-agnostic framework, adapted to the use of big data sources, for structuring the prediction problem. As we do so, we highlight existing work on predicting refugee and IDP flows. We also draw on our own experience building models to predict forced displacement in Somalia, in order to illustrate the choices facing modelers and point to open research questions that may be used to guide future work.


title: The Variability of the Narrow-line Seyfert 1 Galaxies from the PanSTARRS's View

abstract: By means of the data sets from the Pan-STARRAS1 survey, we have systematically examined the relationship between the variability characteristics and the physical parameters of the largest NLS1 galaxy sample up to now. The results are summarized as follows: (1). We find significant anti-correlations between variability amplitude and absolute magnitude in g, r, i, z and y bands, which are consistent with the results in previous works. (2) The correlations between the variability amplitude in optical band and many physical parameters (e.g., {\lambda}L(5100 {\AA}), black hole mass, Eddington ratio, R4570 and R5007) are investigated. The results show the variability amplitude is significantly anti-correlated with L(5100 {\AA}), MBH, Eddington ratio and R4570, but positively correlated with R5007. The relation could be explained by the simple standard accretion disk model. (3) We further investigate the relationship between optical variability and radio luminosity/radio-loudness. The results present weak positive correlation in g and r bands, but insignificant correlation in i, z and y bands. The large error of the approximate fraction of the host galaxy in i, z and y bands may lead to insignificant correlations.


title: New insight in the 2-flavor Schwinger model based on lattice simulations

abstract: We consider the Schwinger model with two degenerate, light fermion flavors by means of lattice simulations. At finite temperature, we probe the viability of a bosonization method by Hosotani et al. Next we explore an analogue to the pion decay constant, which agrees for independent formulations based on the Gell-Mann--Oakes--Renner relation, the 2-dimensional Witten--Veneziano formula and the $\delta$-regime. Finally we confront several conjectures about the chiral condensate with lattice results.


title: On Conjugacy of Subalgebras in Graph $C^*$-Algebras. II

abstract: We apply a method inspired by Popa's intertwining-by-bimodules technique to investigate inner conjugacy of MASAs in graph $C^*$-algebras. First we give a new proof of non-inner conjugacy of the diagonal MASA ${\mathcal D}_n$ to its non-trivial image under a quasi-free automorphism, where $E$ is a finite transitive graph. Changing graphs representing the algebras, this result applies to some non quasi-free automorphisms as well. Then we exhibit a large class of MASAs in the Cuntz algebra ${\mathcal O}_n$ that are not inner conjugate to the diagonal ${\mathcal D}_n$.


title: Renormalization of stochastic nonlinear heat and wave equations driven by subordinate cylindrical Brownian noises

abstract: In this paper, we study the stochastic nonlinear heat equations (SNLH) and stochastic nonlinear wave equations (SNLW) on two-dimensional torus driven by a subordinate cylindrical Brownian noise, which we define by the time-derivative of a cylindrical Brownian motion subordinated to a nondecreasing cadlag stochastic process. To construct the solution, we introduce a suitable renormalization. For SNLH, we cannot expect the time-continuity for the solutions because the noise is jump-type. Moreover, due to the low time-integrability of the solutions, we could establish a local well-posedness result for SNLH only with a quadratic nonlinearity. On the other hand, for SNLW, the solutions have time-continuity and we can show the local well-posedness for general polynomial nonlinearities. Through this example, we can see that the heat case behaves worse than the wave case in the singular noise of jump-type cases.


title: On models to describe the volume in the context of establishing high-pressure Gibbs energy databases

abstract: High-pressure Gibbs energy approaches are promising for establishing multi-component thermodynamic databases. However, so far, they have often been considered unsuccessful, because of their tendency to lead to unphysical extrapolations of the thermodynamic properties at elevated temperatures and pressures. Beyond this symptom, the root causes of the problem are rarely investigated. In this work, it is identified that these shortcomings are caused by (i) an inconsistent treatment of the SGTE method of extrapolation, and (ii) an insufficient knowledge of the models to describe the volume that are the key to extend CALPHAD databases toward high pressures. Because the first step toward solving the problem is to focus on the later issue, several models to describe the volume that are built upon the Grover empirical law are investigated, namely, the Lu-Grover, Joubert-Lu-Grover, Jacobs-Grover, and the Anand-Saxena-Grover approaches. In addition, an original description built upon the concept of thermal pressure, and a new scheme based on the equivalence between temperature and pressure when computing the volume are discussed. For each of these models, limitations and possibilities are identified from a practical standpoint.


title: Entropy Balancing for Causal Generalization with Target Sample Summary Information

abstract: In this paper, we focus on estimating the average treatment effect (ATE) of a target population when individual-level data from a source population and summary-level data (e.g., first or second moments of certain covariates) from the target population are available. In the presence of heterogeneous treatment effect, the ATE of the target population can be different from that of the source population when distributions of treatment effect modifiers are dissimilar in these two populations, a phenomenon also known as covariate shift. Many methods have been developed to adjust for covariate shift, but most require individual covariates from a representative target sample. We develop a weighting approach based on summary-level information from the target sample to adjust for possible covariate shift in effect modifiers. In particular, weights of the treated and control groups within a source sample are calibrated by the summary-level information of the target sample. Our approach also seeks additional covariate balance between the treated and control groups in the source sample. We study the asymptotic behavior of the corresponding weighted estimator for the target population ATE under a wide range of conditions. The theoretical implications are confirmed in simulation studies and a real data application.


title: Comparative Study on Reliability Estimation Using Monte Carlo Simulation with Application to Cylindrical Pressure Vessel

abstract: One of the methods to design products is reliability-based design, in which failure probability is usually used instead of safety factors. In the technique, it should not be less than a predetermined value. Choosing the proper design criterion is a challenging problem for designers who are dealing with the technique, particularly, when there are various criteria. One of these kinds of products is a cylindrical pressure vessel which has diverse criteria proposed in the literature to calculate the burst pressure as a start point of the design. In this paper, we are going to evaluate and compare the performances of various burst pressure criteria in estimating failure probability which is used for a sample pressure vessel. For each criterion, Monte Carlo simulation has been employed to calculate the probability of failure due to variations related to major design variables. The design parameters include material properties and operating pressure. First, the effects of variations in standard deviations of the design variables on the calculated burst probabilities have been determined by standard deviation analysis. Then, sensitivity analyses were carried out to assess the sensitivity of each burst pressure criterion against changes in the magnitude of design variables.


title: Application of Particle Swarm Optimization method to On-going Monitoring for estimating vehicle-bridge interaction system

abstract: This study proposes a method for estimating the mechanical parameters of vehicles and bridges and the road unevenness, using only vehicle vibration and position data. In the proposed method, vehicle input and bridge vibration are estimated using randomly assumed vehicle and bridge parameters. Then, the road profiles at the front and rear wheels can be determined from the vehicle input and bridge vibration. The difference between the two road profiles is used as the objective function because they are expected to coincide when synchronized. Using the particle swarm optimization (PSO) method, the vehicle and bridge parameters and the road unevenness can be estimated by updating the parameters to minimize the objective function. Numerical experiments also verify the applicability of this method. In the numerical experiments, it is confirmed that the proposed method can estimate the vehicle weight with reasonable accuracy, but the accuracy of other parameters is not sufficient. It is necessary to improve the accuracy of the proposed method in the future.


title: Hodge Theory and Higgs Bundle on Moduli Spaces of Smooth Varieties with Semi-Ample Canonical Line Bundles, Negativity and Hyperbolicity

abstract: This is an expository article on the recent developments of Hodge theory on moduli spaces of smooth projective varieties with semi-ample canonical line bundles.


title: The stable category of preorders in a pretopos II: the universal property

abstract: We prove that the stable category associated with the category $\mathsf{PreOrd}(\mathbb C)$ of internal preorders in a pretopos $\mathbb C$ satisfies a universal property. The canonical functor from $\mathsf{PreOrd}(\mathbb C)$ to the stable category $\mathsf{Stab}(\mathbb C)$ universally transforms a pretorsion theory in $\mathsf{PreOrd}(\mathbb C)$ into a classical torsion theory in the pointed category $\mathsf{Stab}(\mathbb C)$. This also gives a categorical insight into the construction of the stable category first considered by Facchini and Finocchiaro in the special case when $\mathbb C$ is the category of sets.


title: Fine-Grained Trajectory-based Travel Time Estimation for Multi-city Scenarios Based on Deep Meta-Learning

abstract: Travel Time Estimation (TTE) is indispensable in intelligent transportation system (ITS). It is significant to achieve the fine-grained Trajectory-based Travel Time Estimation (TTTE) for multi-city scenarios, namely to accurately estimate travel time of the given trajectory for multiple city scenarios. However, it faces great challenges due to complex factors including dynamic temporal dependencies and fine-grained spatial dependencies. To tackle these challenges, we propose a meta learning based framework, MetaTTE, to continuously provide accurate travel time estimation over time by leveraging well-designed deep neural network model called DED, which consists of Data preprocessing module and Encoder-Decoder network module. By introducing meta learning techniques, the generalization ability of MetaTTE is enhanced using small amount of examples, which opens up new opportunities to increase the potential of achieving consistent performance on TTTE when traffic conditions and road networks change over time in the future. The DED model adopts an encoder-decoder network to capture fine-grained spatial and temporal representations. Extensive experiments on two real-world datasets are conducted to confirm that our MetaTTE outperforms six state-of-art baselines, and improve 29.35% and 25.93% accuracy than the best baseline on Chengdu and Porto datasets, respectively.


title: Transfer Learning for Fault Diagnosis of Transmission Lines

abstract: Recent artificial intelligence-based methods have shown great promise in the use of neural networks for real-time sensing and detection of transmission line faults and estimation of their locations. The expansion of power systems including transmission lines with various lengths have made a fault detection, classification, and location estimation process more challenging. Transmission line datasets are stream data which are continuously collected by various sensors and hence, require generalized and fast fault diagnosis approaches. Newly collected datasets including voltages and currents might not have enough and accurate labels (fault and no fault) that are useful to train neural networks. In this paper, a novel transfer learning framework based on a pre-trained LeNet-5 convolutional neural network is proposed. This method is able to diagnose faults for different transmission line lengths and impedances by transferring the knowledge from a source convolutional neural network to predict a dissimilar target dataset. By transferring this knowledge, faults from various transmission lines, without having enough labels, can be diagnosed faster and more efficiently compared to the existing methods. To prove the feasibility and effectiveness of this methodology, seven different datasets that include various lengths of transmission lines are used. The robustness of the proposed methodology against generator voltage fluctuation, variation in fault distance, fault inception angle, fault resistance, and phase difference between the two generators are well shown, thus proving its practical values in the fault diagnosis of transmission lines.


title: Three-dimensional analyses of an aspherical coronal mass ejection and its driven shock

abstract: Context. Observations reveal that shocks can be driven by fast coronal mass ejections (CMEs) and play essential roles in particle accelerations. A critical ratio, $\delta$, derived from a shock standoff distance normalized by the radius of curvature (ROC) of a CME, allows us to estimate shock and ambient coronal parameters. However, true ROCs of CMEs are difficult to measure due to observed projection effects. Aims. We investigate the formation mechanism of a shock driven by an aspherical CME without evident lateral expansion. Through three-dimensional (3D) reconstructions without a priori assumptions of the object morphology, we estimate two principal ROCs of the CME surface and demonstrate how the difference between two principal ROCs of the CME affects the estimate of the coronal physical parameters. Methods. The CME was observed by the Sun Earth Connection Coronal and Heliospheric Investigation (SECCHI) instruments and the Large Angle and Spectrometric Coronagraph (LASCO). We used the mask-fitting method to obtain the irregular 3D shape of the CME and reconstructed the shock surface using the bow-shock model. Through smoothings with fifth-order polynomial functions and Monte Carlo simulations, we calculated the ROCs at the CME nose. Results. We find that (1) the maximal ROC is 2-4 times the minimal ROC of the CME. A significant difference between the CME ROCs implies that the assumption of one ROC of an aspherical CME could cause over-/under- estimations of the shock and coronal parameters. (2) The shock nose obeys the bow-shock formation mechanism, considering the constant standoff distance and the similar speed between the shock and CME around the nose. (3) With a more precise $\delta$ calculated via 3D ROCs in space, we derive corona parameters at high latitudes of about -50$^{\circ}$, including the Alfv{\'e}n speed and the coronal magnetic field strength.


title: A Deep Learning Approach To Estimation Using Measurements Received Over a Network

abstract: We propose a novel deep neural network (DNN) based approximation architecture to learn estimates of measurements. We detail an algorithm that enables training of the DNN. The DNN estimator only uses measurements, if and when they are received over a communication network. The measurements are communicated over a network as packets, at a rate unknown to the estimator. Packets may suffer drops and need retransmission. They may suffer waiting delays as they traverse a network path. Works on estimation often assume knowledge of the dynamic model of the measured system, which may not be available in practice. The DNN estimator doesn't assume knowledge of the dynamic system model or the communication network. It doesn't require a history of measurements, often used by other works. The DNN estimator results in significantly smaller average estimation error than the commonly used Time-varying Kalman Filter and the Unscented Kalman Filter, in simulations of linear and nonlinear dynamic systems. The DNN need not be trained separately for different communications network settings. It is robust to errors in estimation of network delays that occur due to imperfect time synchronization between the measurement source and the estimator. Last but not the least, our simulations shed light on the rate of updates that result in low estimation error.


title: Cubic graphical regular representations of some classical simple groups

abstract: A graphical regular representation (GRR) of a group $G$ is a Cayley graph of $G$ whose full automorphism group is equal to the right regular permutation representation of $G$. In this paper we study cubic GRRs of $\mathrm{PSL}_{n}(q)$ ($n=4, 6, 8$), $\mathrm{PSp}_{n}(q)$ ($n=6, 8$), $\mathrm{P}\Omega_{n}^{+}(q)$ ($n=8, 10, 12$) and $\mathrm{P}\Omega_{n}^{-}(q)$ ($n=8, 10, 12$), where $q = 2^f$ with $f \ge 1$. We prove that for each of these groups, with probability tending to $1$ as $q \rightarrow \infty$, any element $x$ of odd prime order dividing $2^{ef}-1$ but not $2^{i}-1$ for each $1 \le i < ef$ together with a random involution $y$ gives rise to a cubic GRR, where $e=n-2$ for $\mathrm{P}\Omega_{n}^{+}(q)$ and $e=n$ for other groups. Moreover, for sufficiently large $q$, there are elements $x$ satisfying these conditions, and for each of them there exists an involution $y$ such that $\{x,x^{-1},y\}$ produces a cubic GRR. This result together with certain known results in the literature implies that except for $\mathrm{PSL}_2(q)$, $\mathrm{PSL}_3(q)$, $\mathrm{PSU}_3(q)$ and a finite number of other cases, every finite non-abelian simple group contains an element $x$ and an involution $y$ such that $\{x,x^{-1},y\}$ produces a GRR, showing that a modified version of a conjecture by Spiga is true. Our results and several known results together also confirm a conjecture by Fang and Xia which asserts that except for a finite number of cases every finite non-abelian simple group has a cubic GRR.


title: HEAM: High-Efficiency Approximate Multiplier Optimization for Deep Neural Networks

abstract: We propose an optimization method for the automatic design of approximate multipliers, which minimizes the average error according to the operand distributions. Our multiplier achieves up to 50.24% higher accuracy than the best reproduced approximate multiplier in DNNs, with 15.76% smaller area, 25.05% less power consumption, and 3.50% shorter delay. Compared with an exact multiplier, our multiplier reduces the area, power consumption, and delay by 44.94%, 47.63%, and 16.78%, respectively, with negligible accuracy losses. The tested DNN accelerator modules with our multiplier obtain up to 18.70% smaller area and 9.99% less power consumption than the original modules.


title: Modeling time-resolved kinetics in solids induced by extreme electronic excitation

abstract: We present a concurrent Monte Carlo (MC) - molecular dynamics (MD) approach to modeling of matter response to excitation of its electronic system. The two methods are combined on-the-fly at each time step in one code, TREKIS-4. The MC model describes arrival of irradiation, which in the current implementation can consist of a photon, an electron, or a fast ion. It also traces induced cascades of excitation of secondary particles, electrons and holes, and their energy exchange with atoms due to scattering. The excited atomic system is simulated with an MD model. We propose a simple and efficient way to account for nonthermal effects in the electron-atom energy transfer in covalent materials via conversion of potential energy of the ensemble into the kinetic energy of atoms, which can be straightforwardly implemented into an MD simulation. Such a combined MC-MD approach enables us time-resolved tracing of the excitation kinetics of both, electronic and atomic systems, and their simultaneous response to a deposited dose. As a proof-of-principle example, we show that proposed method describes atomic dynamics after X-ray irradiation in a good agreement with tight-binding MD, with much more affordable computational demands. The new model also allows us to gain insights into behavior of the atomic system during the energy deposition from a nonequilibrium electronic system excited by an ion impact.


title: UKD: Debiasing Conversion Rate Estimation via Uncertainty-regularized Knowledge Distillation

abstract: In online advertising, conventional post-click conversion rate (CVR) estimation models are trained using clicked samples. However, during online serving the models need to estimate for all impression ads, leading to the sample selection bias (SSB) issue. Intuitively, providing reliable supervision signals for unclicked ads is a feasible way to alleviate the SSB issue. This paper proposes an uncertainty-regularized knowledge distillation (UKD) framework to debias CVR estimation via distilling knowledge from unclicked ads. A teacher model learns click-adaptive representations and produces pseudo-conversion labels on unclicked ads as supervision signals. Then a student model is trained on both clicked and unclicked ads with knowledge distillation, performing uncertainty modeling to alleviate the inherent noise in pseudo-labels. Experiments on billion-scale datasets show that UKD outperforms previous debiasing methods. Online results verify that UKD achieves significant improvements.


title: Low-Pass Filtering SGD for Recovering Flat Optima in the Deep Learning Optimization Landscape

abstract: In this paper, we study the sharpness of a deep learning (DL) loss landscape around local minima in order to reveal systematic mechanisms underlying the generalization abilities of DL models. Our analysis is performed across varying network and optimizer hyper-parameters, and involves a rich family of different sharpness measures. We compare these measures and show that the low-pass filter-based measure exhibits the highest correlation with the generalization abilities of DL models, has high robustness to both data and label noise, and furthermore can track the double descent behavior for neural networks. We next derive the optimization algorithm, relying on the low-pass filter (LPF), that actively searches the flat regions in the DL optimization landscape using SGD-like procedure. The update of the proposed algorithm, that we call LPF-SGD, is determined by the gradient of the convolution of the filter kernel with the loss function and can be efficiently computed using MC sampling. We empirically show that our algorithm achieves superior generalization performance compared to the common DL training strategies. On the theoretical front, we prove that LPF-SGD converges to a better optimal point with smaller generalization error than SGD.


title: Several Proofs of Coerciveness of First-Order System Least-Squares Methods for General Second-Order Elliptic PDEs

abstract: In this paper, we present proofs of the coerciveness of first-order system least-squares methods for general (possibly indefinite) second-order linear elliptic PDEs under a minimal uniqueness assumption. For general linear second-order elliptic PDEs, the uniqueness, existence, and well-posedness are equivalent due to the compactness of the operator and Fredholm alternative. Thus only a minimal uniqueness assumption is assumed: the homogeneous equation has a unique zero solution. The coerciveness of the standard variational problem is not required. The paper's main contribution is our first proof, which is a straightforward and short proof using the inf-sup stability of the standard variational formulation. The proof can potentially be applied to other equations or settings once having the standard formulation's stability. We also present two other proofs for the least-squares methods of general second-order linear elliptic PDEs. The second proof is based on a lemma introduced in the discontinuous Petrov-Galerkin method, and the third proof is based on various stability analyses of the decomposed problems. As an application, we also discuss least-squares finite element methods for problems with a nonsingular $H^{-1}$ right-hand side.


title: A Joint Morphological Profiles and Patch Tensor Change Detection for Hyperspectral Imagery

abstract: Multi-temporal hyperspectral images can be used to detect changed information, which has gradually attracted researchers' attention. However, traditional change detection algorithms have not deeply explored the relevance of spatial and spectral changed features, which leads to low detection accuracy. To better excavate both spectral and spatial information of changed features, a joint morphology and patch-tensor change detection (JMPT) method is proposed. Initially, a patch-based tensor strategy is adopted to exploit similar property of spatial structure, where the non-overlapping local patch image is reshaped into a new tensor cube, and then three-order Tucker decompositon and image reconstruction strategies are adopted to obtain more robust multi-temporal hyperspectral datasets. Meanwhile, multiple morphological profiles including max-tree and min-tree are applied to extract different attributes of multi-temporal images. Finally, these results are fused to general a final change detection map. Experiments conducted on two real hyperspectral datasets demonstrate that the proposed detector achieves better detection performance.


title: One-way Einstein-Podolsky-Rosen steering beyond qubits

abstract: Quantum steering has been exploited as an important resource in modern quantum information processing. Owing to its directional nature, some quantum states that are asymmetric under the exchange of parties have been found to manifest steering only in specific direction, thus called one-way steering. Existing works focused on one-way steering in systems of qubits. Here we propose a family of two-party states that are one-way steerable in systems of $d$-dimension. In particular, we validate the one-way steerability of the states for $d=3$, and demonstrate how one-way steering parameter space manifests in two-qutrit system. A general numerical approach for characterizing higher-dimensional one-way steering is provided. Moreover, we develop a method to characterize one-way steering with the experimental loss taken into account, with which the tradeoff relation between losses and measurement settings in steering test in higher-dimensional system is investigated. Our loss-counted model works for finite-dimensional system with finite measurement settings.


title: Domain Generalization via Frequency-domain-based Feature Disentanglement and Interaction

abstract: Adaptation to out-of-distribution data is a meta-challenge for all statistical learning algorithms that strongly rely on the i.i.d. assumption. It leads to unavoidable labor costs and confidence crises in realistic applications. For that, domain generalization aims at mining domain-irrelevant knowledge from multiple source domains that can generalize to unseen target domains. In this paper, by leveraging the frequency domain of an image, we uniquely work with two key observations: (i) the high-frequency information of an image depicts object edge structure, which preserves high-level semantic information of the object is naturally consistent across different domains, and (ii) the low-frequency component retains object smooth structure, while this information is susceptible to domain shifts. Motivated by the above observations, we introduce (i) an encoder-decoder structure to disentangle high- and low-frequency feature of an image, (ii) an information interaction mechanism to ensure the helpful knowledge from both two parts can cooperate effectively, and (iii) a novel data augmentation technique that works on the frequency domain to encourage the robustness of frequency-wise feature disentangling. The proposed method obtains state-of-the-art performance on three widely used domain generalization benchmarks (Digit-DG, Office-Home, and PACS).


title: P-adic Simpson correpondence via prismatic crystals

abstract: Let $X$ be a proper smooth rigid analytic variety over a $p$-adic field $K$ with a good reduction $\mathfrak X$ over $\mathcal O_K$. In this paper, we construct a Simpson functor from the category of generalised representations on $X_{\rm proet}$ to the category of Higgs bundles on $X_{\mathbb C_p}$ with ${\rm Gal}(\bar K/K)$-actions using the methods in \cite{LZ} and \cite{DLLZ}. For the other direction, we construct an inverse Simpson functor from the category of Higgs bundles on $\mathfrak X$ with "arithmetic Sen operators" to the category of generalised representations on $X_{\rm proet}$ by using the prismatic theory developed in \cite{BS-a}, especially the category of Hodge--Tate crystals on $(\mathfrak X)_{\Prism}$. The main ingredient is the local computation of absolute prismatic cohomology, which is a generalisation of our previous work in \cite{MW-b}.


title: Anomalous transverse optic phonons in SnTe and PbTe -- revisited

abstract: We present a study of the soft transverse optic phonon mode in SnTe in comparison to the corresponding mode in PbTe using inelastic neutron scattering and ab-initio lattice dynamical calculations. In contrast to previous reports our calculations predict that the soft mode in SnTe features a strongly asymmetric spectral weight distribution qualitatively similar to that found in PbTe. Experimentally, we find that the overall width in energy of the phonon peaks is comparable in our neutron scattering spectra for SnTe and PbTe. We observe the well-known double-peak-like signature of the TO mode in PbTe even down to $T$ = 5 K questioning its proposed origin purely based on phonon-phonon scattering. The proximity to the incipient ferroelectric transition in PbTe likely plays an important role not included in current models.


title: Combining Machine Learning with Knowledge Engineering to detect Fake News in Social Networks-a survey

abstract: Due to extensive spread of fake news on social and news media it became an emerging research topic now a days that gained attention. In the news media and social media the information is spread highspeed but without accuracy and hence detection mechanism should be able to predict news fast enough to tackle the dissemination of fake news. It has the potential for negative impacts on individuals and society. Therefore, detecting fake news on social media is important and also a technically challenging problem these days. We knew that Machine learning is helpful for building Artificial intelligence systems based on tacit knowledge because it can help us to solve complex problems due to real word data. On the other side we knew that Knowledge engineering is helpful for representing experts knowledge which people aware of that knowledge. Due to this we proposed that integration of Machine learning and knowledge engineering can be helpful in detection of fake news. In this paper we present what is fake news, importance of fake news, overall impact of fake news on different areas, different ways to detect fake news on social media, existing detections algorithms that can help us to overcome the issue, similar application areas and at the end we proposed combination of data driven and engineered knowledge to combat fake news. We studied and compared three different modules text classifiers, stance detection applications and fact checking existing techniques that can help to detect fake news. Furthermore, we investigated the impact of fake news on society. Experimental evaluation of publically available datasets and our proposed fake news detection combination can serve better in detection of fake news.


title: Porous SiO$_2$ coated dielectric metasurface with consistent performance independent of environmental conditions

abstract: With the rapid advances of functional dielectric metasurfaces and their integration on on-chip nanophotonic devices, the necessity of metasurfaces working in different environments, especially in biological applications, arose. However, the metasurfaces' performance is tied to the unit cell's efficiency and ultimately the surrounding environment it was designed for, thus reducing its applicability if exposed to altering refractive index media. Here, we report a method to increase a metasurface's versatility by covering the high-index metasurface with a low index porous SiO$_2$ film, protecting the metasurface from environmental changes while keeping the working efficiency unchanged. We show, that a covered metasurface retains its functionality even when exposed to fluidic environments.


title: A feasibility study of extruded plastic scintillator embedding WLS fiber for AMoRE-II muon veto

abstract: AMoRE-II is the second phase of the Advanced Molybdenum-based Rare process Experiment aiming to search for the neutrino-less double beta decay of 100Mo isotopes using ~ 200 kg of molybdenum-containing cryogenic detectors. The AMoRE-II needs to keep the background level below 10-5 counts/keV/kg/year with various methods to maximize the sensitivity. One of the methods is to have the experiment be carried out deep underground free from the cosmic ray backgrounds. The AMoRE-II will run at Yemilab with ~ 1,000 m depth. However, even in such a deep underground environment, there are still survived cosmic muons, which can affect the measurement and should be excluded as much as possible. A muon veto detector is necessary to reject muon-induced particles coming to the inner detector where the molybdate cryogenic detectors are located. We have studied the possibility of using an extruded plastic scintillator and wavelength shifting fiber together with SiPM as a muon veto system. We found that the best configuration is two layers of plastic scintillators (PSs, 150 cm x 25 cm x 1.2 cm) with two WLS fibers per groove, which could separate radiogenic gammas well with muon detection efficiency above 99.4% along the length of the PS. Based on the expected flux from a prototype measurement at a 700 m deep underground, we found that the dead time of the muon veto system for AMoRE-II at the Yemilab with a 1 ms veto window is 0.6% of whole muon events.

categories: physics.ins-det astro-ph.IM hep-ex nucl-ex


title: Ansatz in a Nutshell: A comprehensive step-by-step guide to polynomial, $C$-finite, holonomic, and $C^2$-finite sequences

abstract: Given a sequence 1, 1, 5, 23, 135, 925, 7285, 64755, 641075, 6993545, 83339745,..., how can we guess a formula for it? This article will quickly walk you through the concept of ansatz for classes of polynomial, $C$-finite, holonomic, and the most recent addition $C^2$-finite sequences. For each of these classes, we discuss in detail various aspects of the guess and check, generating functions, closure properties, and closed-form solutions. Every theorem is presented with an accessible proof, followed by several examples intended to motivate the development of the theories. Each example is accompanied by a Maple program with the purpose of demonstrating use of the program in solving problems in this area. While this work aims to give a comprehensive review of existing ansatzes, we also systematically fill a research gap in the literature by providing theoretical and numerical results for the $C^2$-finite sequences. We hope the readers will enjoy the journey through our unifying framework for the study of ansatz.


title: Distributive and lower-modular elements of the lattice of monoid varieties

abstract: The sets of all neutral, distributive and lower-modular elements of the lattice of semigroup varieties are finite, countably infinite and uncountably infinite, respectively. In 2018, we established that there are precisely three neutral elements of the lattice of monoid varieties. In the present work, it is shown that the neutrality, distributivity and lower-modularity coincide in the lattice of monoid varieties. Thus, there are precisely three distributive and lower-modular elements of this lattice.


title: On a paucity result in Incidence Geometry

abstract: We obtain some asymptotic formulae (with power savings in their error terms) for the number of quadruples in the Cartesian product of an arbitrary set $A \subset \mathbf{R}$ and for the number of quintuplets in $A\times A$ for any subset $A$ of the prime field $\mathbf{F}_p$. Also, we obtain some applications of our results to incidence problems in $\mathbf{F}_p$.


title: Construction of a Quality Estimation Dataset for Automatic Evaluation of Japanese Grammatical Error Correction

abstract: In grammatical error correction (GEC), automatic evaluation is an important factor for research and development of GEC systems. Previous studies on automatic evaluation have demonstrated that quality estimation models built from datasets with manual evaluation can achieve high performance in automatic evaluation of English GEC without using reference sentences.. However, quality estimation models have not yet been studied in Japanese, because there are no datasets for constructing quality estimation models. Therefore, in this study, we created a quality estimation dataset with manual evaluation to build an automatic evaluation model for Japanese GEC. Moreover, we conducted a meta-evaluation to verify the dataset's usefulness in building the Japanese quality estimation model.


title: Laser-Controlled Charge Transfer in a Two-Dimensional Organic/Inorganic Optical Coherent Nanojunction

abstract: Understanding the fundamental mechanisms ruling laser-induced coherent charge transfer in hybrid organic/inorganic interfaces is of paramount importance to exploit these systems in next-generation opto-electronic applications. In a first-principles work based on real-time time-dependent density-functional theory, we investigate the ultrafast charge-carrier dynamics of a prototypical two-dimensional vertical nanojunction formed by a MoSe$_2$ monolayer with adsorbed pyrene molecules. The response of the system to the incident pulse, set in resonance with the frequency of the lowest-energy transition in the physisorbed moieties, is clearly nonlinear. Under weak pulses, charge transfer occurs from the molecules to the monolayer while for intensities higher than 1000 GW/cm$^{2}$, the direction of charge transfer is reverted, with electrons being transferred from MoSe$_2$ to pyrene. This finding is explained by Pauli blocking: laser-induced (de)population of (valence) conduction states saturates for intensities beyond 200 GW/cm$^{2}$. Evidence of multi-photon absorption is also provided by our results. A thorough analysis of electronic current density, excitation energy, and number of excited electrons supports the proposed rationale and suggests the possibility to create an inorganic/organic coherent optical nanojunction for ultrafast electronics.


title: Influence of cross-sectional uncertainty on sensitivity studies of DUNE and T2HK experiments

abstract: The ultimate objectives of ongoing and upcoming neutrino experiments are the precise measurement of neutrino mixing parameters and the confirmation of mass hierarchy. The systematic inaccuracy in the cross-section models introduces inaccuracy in the neutrino mixing parameters estimation. It is important to secure a large decrease of uncertainties, particularly those relating to cross-section, neutrino-nucleus interactions, and neutrino-energy reconstruction, in order to achieve these ambitious goals. In this research article, we use three alternative neutrino event generators, GENIE, NuWro, and GiBUU, to analyze sensitivity studies of T2HK, DUNE, and combined sensitivity of DUNE, and T2HK for mass hierarchy, CP violation, and octant degeneracy caused by cross-section uncertainties. The cross-section models of these generators are separate and independent.


title: Multi-SIM support in 5G Evolution: Challenges and Opportunities

abstract: Devices with multiple Subscriber Identification Modules (SIM)s are expected to prevail over the conventional devices with only one SIM. Despite the growing demand for such devices, only proprietary solutions are available so far. To fill this gap, the Third Generation Partnership Project (3GPP) is aiming at the development of unified cross-platform solutions for multi-SIM device coordination. This paper extends the technical discussion and investigation of the 3GPP solutions for improving mobile Terminated (MT) service delivery to multi-SIM devices. Implementation trade-offs, impact on the Quality of Service(QoS), and possible future directions in 3GPP are outlined.


title: GAN-based Matrix Factorization for Recommender Systems

abstract: Proposed in 2014, Generative Adversarial Networks (GAN) initiated a fresh interest in generative modelling. They immediately achieved state-of-the-art in image synthesis, image-to-image translation, text-to-image generation, image inpainting and have been used in sciences ranging from medicine to high-energy particle physics. Despite their popularity and ability to learn arbitrary distributions, GAN have not been widely applied in recommender systems (RS). Moreover, only few of the techniques that have introduced GAN in RS have employed them directly as a collaborative filtering (CF) model. In this work we propose a new GAN-based approach that learns user and item latent factors in a matrix factorization setting for the generic top-N recommendation problem. Following the vector-wise GAN training approach for RS introduced by CFGAN, we identify 2 unique issues when utilizing GAN for CF. We propose solutions for both of them by using an autoencoder as discriminator and incorporating an additional loss function for the generator. We evaluate our model, GANMF, through well-known datasets in the RS community and show improvements over traditional CF approaches and GAN-based models. Through an ablation study on the components of GANMF we aim to understand the effects of our architectural choices. Finally, we provide a qualitative evaluation of the matrix factorization performance of GANMF.


title: V608 Cassiopeiae: A W UMa-type eclipsing binary with two possible circumbinary companions

abstract: We present the photometric properties of V608 Cas from detailed studies of light curves and eclipse timings. The light curve synthesis indicates that the eclipsing pair is an overcontact binary with parameters of $\Delta T$ = 155 K, $q$ = 0.328, and $f$ = 26 %. We detected the third light $\ell_{3}$, which corresponds to about 8 % and 5 % of the total systemic light in $V$ and $R$ bands, respectively. Including our 6 timing measurements, a total of 38 times of minimum light were used for a period study. It was found that the orbital period of V608 Cas has varied in some combination of an upward parabola and two periodic variations. The continuous period increase with a rate of $+$3.99$\times$10$^{-7}$ d yr$^{-1}$ can be interpreted as a mass transfer from the secondary component to the primary star at a rate of 1.51$\times$10$^{-7}$ M$_\odot$ yr$^{-1}$. The periods and semi-amplitudes of the two periodic variations are about $P_3$ = 16.0 yr and $P_4$ = 26.3 yr, and $K_3$ = 0.0341 d and $K_4$ = 0.0305 d, respectively. The most likely explanation of both cycles is a pair of light-traveling time effects operated by the possible presence of third and fourth components with estimated masses of $M_3$ = 2.20 M$_\odot$ and $M_4$ = 1.27 M$_\odot$ in eccentric orbits of $e_3$ = 0.66 and $e_4$ = 0.52. Because the contribution of $\ell_{3}$ is very low compared to the estimated masses of two circumbinary objects, they can be inferred as very faint compact objects.


abstract: Hamiltonian Monte Carlo (HMC) is a powerful Markov Chain Monte Carlo (MCMC) method for sampling from complex high-dimensional continuous distributions. However, in many situations it is necessary or desirable to combine HMC with other Metropolis-Hastings (MH) samplers. The common HMC-within-Gibbs strategy implies a trade-off between long HMC trajectories and more frequent other MH updates. Addressing this trade-off has been the focus of several recent works. In this paper we propose Metropolis Augmented Hamiltonian Monte Carlo (MAHMC), an HMC variant that allows MH updates within HMC and eliminates this trade-off. Experiments on two representative examples demonstrate MAHMC's efficiency and ease of use when compared with within-Gibbs alternatives.


title: Non-commutative rational Clark measures

abstract: We characterize the non-commutative Aleksandrov--Clark measures and the minimal realization formulas of contractive and, in particular, isometric non-commutative rational multipliers of the Fock space. Here, the full Fock space over $\mathbb{C} ^d$ is defined as the Hilbert space of square--summable power series in several non-commuting formal variables, and we interpret this space as the non-commutative and multi-variable analogue of the Hardy space of square--summable Taylor series in the complex unit disk. We further obtain analogues of several classical results in Aleksandrov--Clark measure theory for non-commutative and contractive rational multipliers. Non-commutative measures are defined as positive linear functionals on a certain self-adjoint subspace of the Cuntz--Toeplitz algebra, the unital $C^*-$algebra generated by the left creation operators on the full Fock space. Our results demonstrate that there is a fundamental relationship between NC Hardy space theory, representation theory of the Cuntz--Toeplitz and Cuntz algebras, and the emerging field of non-commutative rational functions.


title: DFBVS: Deep Feature-Based Visual Servo

abstract: Classical Visual Servoing (VS) rely on handcrafted visual features, which limit their generalizability. Recently, a number of approaches, some based on Deep Neural Networks, have been proposed to overcome this limitation by comparing directly the entire target and current camera images. However, by getting rid of the visual features altogether, those approaches require the target and current images to be essentially similar, which precludes the generalization to unknown, cluttered, scenes. Here we propose to perform VS based on visual features as in classical VS approaches but, contrary to the latter, we leverage recent breakthroughs in Deep Learning to automatically extract and match the visual features. By doing so, our approach enjoys the advantages from both worlds: (i) because our approach is based on visual features, it is able to steer the robot towards the object of interest even in presence of significant distraction in the background; (ii) because the features are automatically extracted and matched, our approach can easily and automatically generalize to unseen objects and scenes. In addition, we propose to use a render engine to synthesize the target image, which offers a further level of generalization. We demonstrate these advantages in a robotic grasping task, where the robot is able to steer, with high accuracy, towards the object to grasp, based simply on an image of the object rendered from the camera view corresponding to the desired robot grasping pose.


title: Magnitude homology and Path homology

abstract: In this article, we show that magnitude homology and path homology are closely related, and we give some applications. We define differentials ${\mathrm MH}^{\ell}_k(G) \longrightarrow {\mathrm MH}^{\ell-1}_{k-1}(G)$ between magnitude homologies of a digraph $G$, which make them chain complexes. Then we show that its homology ${\mathcal MH}^{\ell}_k(G)$ is non-trivial and homotopy invariant in the context of `homotopy theory of digraphs' developed by Grigor'yan--Muranov--S.-T. Yau et al (G-M-Ys in the following). It is remarkable that the diagonal part of our homology ${\mathcal MH}^{k}_k(G)$ is isomorphic to the reduced path homology $\tilde{H}_k(G)$ also introduced by G-M-Ys. Further, we construct a spectral sequence whose first page is isomorphic to magnitude homology ${\mathrm MH}^{\ell}_k(G)$, and the second page is isomorphic to our homology ${\mathcal MH}^{\ell}_k(G)$. As an application, we show that the diagonality of magnitude homology implies triviality of reduced path homology. We also show that $\tilde{H}_k(g) = 0$ for $k \geq 2$ and $\tilde{H}_1(g) \neq 0$ if any edges of an undirected graph $g$ is contained in a cycle of length $\geq 5$.


title: Extremal results on $G$-free colorings of graphs

abstract: Let $H=(V(H),E(H))$ be a graph. A $k$-coloring of $H$ is a mapping $\pi : V(H) \longrightarrow \{1,2,\ldots, k\}$ so that each color class induces a $K_2$-free subgraph. For a graph $G$ of order at least $2$, a $G$-free $k$-coloring of $H$ is a mapping $\pi : V(H) \longrightarrow \{1,2,\ldots,k\}$ so that the subgraph of $H$ induced by each color class of $\pi$ is $G$-free, i.e. contains no copy of $G$. The $G$-free chromatic number of $H$ is the minimum number $k$ so that there is a $G$-free $k$-coloring of $H$, denoted by $\chi_G(H)$. A graph $H$ is uniquely $k$-$G$-free colouring if $\chi_G(H)=k$ and every $k$-$G$-free colouring of $H$ produces the same color classes. A graph $H$ is minimal with respect to $G$-free, or $G$-free-minimal, if for every edges of $E(H)$ we have $\chi_G(H\setminus\{e\})= \chi_G(H)-1$. In this paper we give some bounds and attribute about uniquely $k$-$G$-free colouring and $k$-$G$-free-minimal.


title: Lightweight Salient Object Detection in Optical Remote Sensing Images via Feature Correlation

abstract: Salient object detection in optical remote sensing images (ORSI-SOD) has been widely explored for understanding ORSIs. However, previous methods focus mainly on improving the detection accuracy while neglecting the cost in memory and computation, which may hinder their real-world applications. In this paper, we propose a novel lightweight ORSI-SOD solution, named CorrNet, to address these issues. In CorrNet, we first lighten the backbone (VGG-16) and build a lightweight subnet for feature extraction. Then, following the coarse-to-fine strategy, we generate an initial coarse saliency map from high-level semantic features in a Correlation Module (CorrM). The coarse saliency map serves as the location guidance for low-level features. In CorrM, we mine the object location information between high-level semantic features through the cross-layer correlation operation. Finally, based on low-level detailed features, we refine the coarse saliency map in the refinement subnet equipped with Dense Lightweight Refinement Blocks, and produce the final fine saliency map. By reducing the parameters and computations of each component, CorrNet ends up having only 4.09M parameters and running with 21.09G FLOPs. Experimental results on two public datasets demonstrate that our lightweight CorrNet achieves competitive or even better performance compared with 26 state-of-the-art methods (including 16 large CNN-based methods and 2 lightweight methods), and meanwhile enjoys the clear memory and run time efficiency. The code and results of our method are available at https://github.com/MathLee/CorrNet.


title: TerViT: An Efficient Ternary Vision Transformer

abstract: Vision transformers (ViTs) have demonstrated great potential in various visual tasks, but suffer from expensive computational and memory cost problems when deployed on resource-constrained devices. In this paper, we introduce a ternary vision transformer (TerViT) to ternarize the weights in ViTs, which are challenged by the large loss surface gap between real-valued and ternary parameters. To address the issue, we introduce a progressive training scheme by first training 8-bit transformers and then TerViT, and achieve a better optimization than conventional methods. Furthermore, we introduce channel-wise ternarization, by partitioning each matrix to different channels, each of which is with an unique distribution and ternarization interval. We apply our methods to popular DeiT and Swin backbones, and extensive results show that we can achieve competitive performance. For example, TerViT can quantize Swin-S to 13.1MB model size while achieving above 79% Top-1 accuracy on ImageNet dataset.


title: Predicting Vegetation Stratum Occupancy from Airborne LiDAR Data with Deep Learning

abstract: We propose a new deep learning-based method for estimating the occupancy of vegetation strata from airborne 3D LiDAR point clouds. Our model predicts rasterized occupancy maps for three vegetation strata corresponding to lower, medium, and higher cover. Our weakly-supervised training scheme allows our network to only be supervised with vegetation occupancy values aggregated over cylindrical plots containing thousands of points. Such ground truth is easier to produce than pixel-wise or point-wise annotations. Our method outperforms handcrafted and deep learning baselines in terms of precision by up to 30%, while simultaneously providing visual and interpretable predictions. We provide an open-source implementation along with a dataset of 199 agricultural plots to train and evaluate weakly supervised occupancy regression algorithms.


title: Adversarial Jamming for a More Effective Constellation Attack

abstract: The common jamming mode in wireless communication is band barrage jamming, which is controllable and difficult to resist. Although this method is simple to implement, it is obviously not the best jamming waveform. Therefore, based on the idea of adversarial examples, we propose the adversarial jamming waveform, which can independently optimize and find the best jamming waveform. We attack QAM with adversarial jamming and find that the optimal jamming waveform is equivalent to the amplitude and phase between the nearest constellation points. Furthermore, by verifying the jamming performance on a hardware platform, it is shown that our method significantly improves the bit error rate compared to other methods.


title: Bayesian Fused Lasso Modeling via Horseshoe Prior

abstract: Bayesian fused lasso is one of the sparse Bayesian methods, which shrinks both regression coefficients and their successive differences simultaneously. In this paper, we propose a Bayesian fused lasso modeling via horseshoe prior. By assuming a horseshoe prior on the difference of successive regression coefficients, the proposed method enables us to prevent over-shrinkage of those differences. We also propose a Bayesian hexagonal operator for regression with shrinkage and equality selection (HORSES) with horseshoe prior, which imposes priors on all combinations of differences of regression coefficients. Simulation studies and an application to real data show that the proposed method gives better performance than existing methods.


title: VISA: An Ambiguous Subtitles Dataset for Visual Scene-Aware Machine Translation

abstract: Existing multimodal machine translation (MMT) datasets consist of images and video captions or general subtitles, which rarely contain linguistic ambiguity, making visual information not so effective to generate appropriate translations. We introduce VISA, a new dataset that consists of 40k Japanese-English parallel sentence pairs and corresponding video clips with the following key features: (1) the parallel sentences are subtitles from movies and TV episodes; (2) the source subtitles are ambiguous, which means they have multiple possible translations with different meanings; (3) we divide the dataset into Polysemy and Omission according to the cause of ambiguity. We show that VISA is challenging for the latest MMT system, and we hope that the dataset can facilitate MMT research. The VISA dataset is available at: https://github.com/ku-nlp/VISA.


title: On the relative opers in dimension one

abstract: We investigate the relative opers over the complex analytic family of compact complex manifolds of relative dimension one. We introduce the notion of relative opers arising from the second fundamental form associated with a relative holomorphic connection. We also investigate the relative differential operators over the complex analytic family of compact complex manifolds whose symbol is the identity automorphism. We show that the set of equivalent relative opers arising from the second fundamental form is in bijective correspondence with the set of equivalent relative differential operators whose symbol is the identity automorphism.


title: Multivariable evolution in final state parton shower algorithms

abstract: One can use more than one scale variable to specify the family of surfaces in the space of parton splitting parameters that define the evolution of a parton shower. Considering $e^+e^-$ annihilation, we use two variables, with shower evolution following a special path in this two dimensional space. In addition, we treat in a special way the part of the splitting function that has a soft emission singularity but no collinear singularity. This leads to certain advantages compared to the usual shower formulation with only one scale variable.


title: Nonnested model selection based on empirical likelihood

abstract: We propose an empirical likelihood ratio test for nonparametric model selection, where the competing models may be nested, nonnested, overlapping, misspecified, or correctly specified. It compares the squared prediction errors of models based on the cross-validation and allows for heteroscedasticity of the errors of models. We develop its asymptotic distributions for comparing additive models and varying-coefficient models and extend it to test significance of variables in additive models with massive data. The method is applicable to model selection among supervised learning models. To facilitate implementation of the test, we provide a fast calculation procedure. Simulations show that the proposed tests work well and have favorable finite sample performance over some existing approaches. The methodology is validated on an empirical application.


title: What Makes Effective Leadership in Agile Software Development Teams?

abstract: Effective leadership is one of the key drivers of business and project success, and one of the most active areas of management research. But how does leadership work in agile software development, which emphasizes self-management and self-organization and marginalizes traditional leadership roles? To find out, this study examines agile leadership from the perspective of thirteen professionals who identify as agile leaders, in different roles, at ten different software development companies of varying sizes. Data from semi-structured interviews reveals that leadership: (1) is dynamically shared among team members; (2) engenders a sense of belonging to the team; and (3) involves balancing competing organizational cultures (e.g. balancing the new agile culture with the old milestone-driven culture). In other words, agile leadership is a property of a team, not a role, and effectiveness depends on agile team members' identifying with the team, accepting responsibility, and being sensitive to cultural conflict.


title: Electromagnetic and gravitational form factors of $\Delta$ resonance in a covariant quark-diquark approach

abstract: In this work, the electromagnetic and gravitational form factors of a spin-$3/2$ particle, $\Delta$ resonance, are simultaneously calculated with the help of a relativistic covariant quark-diquark approach. The two kinds of form factors are separately extracted from the matrix elements of the electromagnetic current and of the energy-momentum tensor of the system. Our numerical results show that the approach can well reproduce the electromagnetic monopole, dipole, quadrupole, and octupole form factors comparing to the Lattice calculations. Our obtained electromagnetic moments are also comparable with some other approaches. Moreover, the obtained gravitational form factors, which give the mechanical properties of the system like the mass and spin distributions, are also displayed for the $\Delta$ isobar. In addition, some discussions of the sign and the interpretation of the D-term are particularly given.


title: Evolution of two-mode quantum states under a dissipative environment: which quantum resource survives better, squeezing or entanglement?

abstract: We explore the relative robustness of squeezing and entanglement (which are quantum resources interconvertible via passive optics) for two-mode Gaussian states under different dissipative environments. When the individual modes interact with identical local baths, entanglement and squeezing decay at the same rate. However, when only one of the modes interacts with a local bath, the comparative robustness of entanglement and squeezing depends on the initial squeezing of the state. Similarly, when the system interacts with a global bath, the robustness of entanglement and squeezing depends on the initial squeezing. Thus depending on the nature of dissipative environments and the initial squeezing of the state, one can select the more robust form of resource out of squeezing and entanglement to store quantumness. This can be used to effectively enhance the performance of various quantum information processing protocols based on continuous variable Gaussian states.


title: Sub-barrier fusion reactions

abstract: The concept of compound nucleus was proposed by Niels Bohr in 1936 to explain narrow resonances observed in scattering of a slow neutron off atomic nuclei. A compound nucleus is a metastable state with a long lifetime, in which all the degrees of freedom are in a sort of thermal equilibrium. Fusion reactions are defined as reactions to form such compound nucleus by merging two atomic nuclei. Here a short description of heavy-ion fusion reactions at energies close the Coulomb barrier is presented. This includes: (i) an overview of a fusion process, (ii) a strong interplay between nuclear structure and fusion, (iii) fusion and multi-dimensional/multi-particle quantum tunneling, and (iv) fusion for superheavy elements.


title: A stabilizer-free $C^0$ weak Galerkin method for the biharmonic equations

abstract: In this article, we present and analyze a stabilizer-free $C^0$ weak Galerkin (SF-C0WG) method for solving the biharmonic problem. The SF-C0WG method is formulated in terms of cell unknowns which are $C^0$ continuous piecewise polynomials of degree $k+2$ with $k\geq 0$ and in terms of face unknowns which are discontinuous piecewise polynomials of degree $k+1$. The formulation of this SF-C0WG method is without the stabilized or penalty term and is as simple as the $C^1$ conforming finite element scheme of the biharmonic problem. Optimal order error estimates in a discrete $H^2$-like norm and the $H^1$ norm for $k\geq 0$ are established for the corresponding WG finite element solutions. Error estimates in the $L^2$ norm are also derived with an optimal order of convergence for $k>0$ and sub-optimal order of convergence for $k=0$. Numerical experiments are shown to confirm the theoretical results.


title: Hypergeometric sheaves for classical groups via geometric Langlands

abstract: In a previous paper, the first and third authors gave an explicit realization of the geometric Langlands correspondence for hypergeometric sheaves, considered as $\textrm{GL}_n$-local systems. Certain hypergeometric local systems admit a symplectic or orthogonal structure, which can be viewed as $\check{G}$-local systems, for a classical group $\check{G}$. This article aims to realize the geometric Langlands correspondence for these $\check{G}$-local systems. We study this problem from two aspects. In the first approach, we define the hypergeometric automorphic data for a classical group $G$ in the framework of Yun, one of whose local components is a new class of euphotic representations in the sense of Jakob-Yun. We prove the rigidity of hypergeometric automorphic data under natural assumptions, which allows us to define $\check{G}$-local systems $\mathcal{E}_{\check{G}}$ on $\mathbb{G}_m$ as Hecke eigenvalues (in both $\ell$-adic and de Rham setting). In the second approach (which works only in the de Rham setting), we quantize an enhanced ramified Hitchin system, following Beilinson-Drinfeld and Zhu, and identify $\mathcal{E}_{\check{G}}$ with certain $\check{G}$-opers on $\mathbb{G}_m$. Finally, we compare these $\check{G}$-opers with hypergeometric local systems.


title: Using a Smartphone pressure sensor as Pitot tube speedometer

abstract: In this article, an experiment to measure air velocity with the barometer of a smartphone is presented utilizing the concept of a Pitot tube. For the experiment, the app phyphox is used which has a set of useful features for performing smartphone-based experiments 9,10 . Both the data analysis tools included in the app phyphox and the remote access function to smartphones in experimental setups are used in the presented experiment. This experiment is also an example for designing customized experiments within phyphox which can be realized by any user via a web-based editor 9 . In addition, it is shown how an external Bluetooth pressure sensor can be used to extend an experiment, which is used here to measure the speed of a vehicle. Such an integration of external Bluetooth Low Energy sensors into smartphone experiments became available with phyphox version 1.1.0.


title: Comparison between admissible and de Jong coverings of rigid analytic spaces in mixed characteristic

abstract: If $k$ is a complete non-archimedean field and $X$ an adic space locally of finite type over $\mathrm{Spa}(k)$, let $\textbf{Cov}_{X}^{\mathrm{oc}}$ (resp. $\textbf{Cov}_{X}^{\mathrm{adm}}$) be the category of \'etale coverings of $X$ that are locally for the Berkovich overconvergent topology (resp. for the admissible topology) disjoint union of finite \'etale coverings. There is a natural inclusion $\textbf{Cov}_{X}^{\mathrm{oc}}\subseteq \textbf{Cov}_{X}^{\mathrm{adm}}$. Whether or not this inclusion is strict is a question initially asked by de Jong. Some partial answers have been given in the recents works of Achinger, Lara and Youcis in the finite or equal characteristic $0$ cases. The purpose of this note is to show that this inclusion can be strict when $k$ is of mixed characteristic $(0,p)$ and $p$-closed. As a consequence, following the work of Achinger, Lara and Youcis, the natural morphism of Noohi groups $\pi_1^{\mathrm{dJ, \, adm}}(X)\to \pi_1^{\mathrm{dJ, \,oc}}(X)$ is not an isomorphism in general.


title: NLP Methods in Host-based Intrusion Detection Systems: A Systematic Review and Future Directions

abstract: Host based Intrusion Detection System (HIDS) is an effective last line of defense for defending against cyber security attacks after perimeter defenses (e.g., Network based Intrusion Detection System and Firewall) have failed or been bypassed. HIDS is widely adopted in the industry as HIDS is ranked among the top two most used security tools by Security Operation Centers (SOC) of organizations. Although effective and efficient HIDS is highly desirable for industrial organizations, the evolution of increasingly complex attack patterns causes several challenges resulting in performance degradation of HIDS (e.g., high false alert rate creating alert fatigue for SOC staff). Since Natural Language Processing (NLP) methods are better suited for identifying complex attack patterns, an increasing number of HIDS are leveraging the advances in NLP that have shown effective and efficient performance in precisely detecting low footprint, zero day attacks and predicting the next steps of attackers. This active research trend of using NLP in HIDS demands a synthesized and comprehensive body of knowledge of NLP based HIDS. Thus, we conducted a systematic review of the literature on the end to end pipeline of the use of NLP in HIDS development. For the end to end NLP based HIDS development pipeline, we identify, taxonomically categorize and systematically compare the state of the art of NLP methods usage in HIDS, attacks detected by these NLP methods, datasets and evaluation metrics which are used to evaluate the NLP based HIDS. We highlight the relevant prevalent practices, considerations, advantages and limitations to support the HIDS developers. We also outline the future research directions for the NLP based HIDS development.


title: Directivity of quantum walk via its random walk replica

abstract: Quantum walks (QWs) exhibit different properties compared with classical random walks (RWs), most notably by linear spreading and localization. In the meantime, random walks that replicate quantum walks, which we refer to as quantum-walk-replicating random walks (QWRWs), have been studied in the literature where the eventual properties of QWRW coincide with those of QWs. However, we consider that the unique attributes of QWRWs have not been fully utilized in the former studies to obtain deeper or new insights into QWs. In this paper, we highlight the directivity of one-dimensional discrete quantum walks via QWRWs. By exploiting the fact that QWRW allows trajectories of individual walkers to be considered, we first discuss the determination of future directions of QWRWs, through which the effect of linear spreading and localization is manifested in another way. Furthermore, the transition probabilities of QWRWs can also be visualized and show a highly complex shape, representing QWs in a novel way. Moreover, we discuss the first return time to the origin between RWs and QWs, which is made possible via the notion of QWRWs. We observe that the first return time statistics of QWs are quite different from RWs, caused by both the linear spreading and localization properties of QWs.


title: Power Allocation Algorithms for Massive MIMO Systems with Multi-Antenna Users

abstract: Modern 5G wireless cellular networks use massive multiple-input multiple-output (MIMO) technology. This concept entails using an antenna array at a base station to concurrently service many mobile devices that have several antennas on their side. In this field, a significant role is played by the precoding (beamforming) problem. During downlink, an important part of precoding is the power allocation problem that distributes power between transmitted symbols. In this paper, we consider the power allocation problem for a class of precodings that asymptotically work as regularized zero-forcing. Under some realistic assumptions, we simplify the spectral efficiency functional and obtain tractable expressions for it. We prove that equal power allocation provides optimum for the simplified functional with total power constraint (TPC). We propose low-complexity Intersection Methods (IM) that improve equal power allocation in the case of per-antenna power constraints (PAPC). On simulations using Quadriga, the proposed IM method in combination with widely-studied Water Filling (WF) shows a significant gain in spectral efficiency while using a similar computing time as the reference Equal Power (EP) solution.


title: Analysis of the distribution, rotation and scale characteristics of solar wind switchbacks: comparison between the first and second encounters of Parker Solar Probe

abstract: The S-shaped magnetic structure in the solar wind formed by the twisting of magnetic field lines is called a switchback, whose main characteristics are the reversal of the magnetic field and the significant increase in the solar wind radial velocity. We identify 242 switchbacks during the first two encounters of Parker Solar Probe (PSP). Statistics methods are applied to analyze the distribution and the rotation angle and direction of the magnetic field rotation of the switchbacks. The diameter of switchbacks is estimated with a minimum variance analysis (MVA) method based on the assumption of a cylindrical magnetic tube. We also make a comparison between switchbacks from inside and the boundary of coronal holes. The main conclusions are as follows: (1) the rotation angles of switchbacks observed during the first encounter seem larger than those of the switchbacks observed during the second encounter in general; (2) the tangential component of the velocity inside the switchbacks tends to be more positive (westward) than in the ambient solar wind; (3) switchbacks are more likely to rotate clockwise than anticlockwise, and the number of switchbacks with clockwise rotation is 1.48 and 2.65 times of those with anticlockwise rotation during the first and second encounters, respectively; (4) the diameter of switchbacks is about 10^5 km on average and across five orders of magnitude (10^3 -- 10^7 km).


title: Linguistically-driven Multi-task Pre-training for Low-resource Neural Machine Translation

abstract: In the present study, we propose novel sequence-to-sequence pre-training objectives for low-resource machine translation (NMT): Japanese-specific sequence to sequence (JASS) for language pairs involving Japanese as the source or target language, and English-specific sequence to sequence (ENSS) for language pairs involving English. JASS focuses on masking and reordering Japanese linguistic units known as bunsetsu, whereas ENSS is proposed based on phrase structure masking and reordering tasks. Experiments on ASPEC Japanese--English & Japanese--Chinese, Wikipedia Japanese--Chinese, News English--Korean corpora demonstrate that JASS and ENSS outperform MASS and other existing language-agnostic pre-training methods by up to +2.9 BLEU points for the Japanese--English tasks, up to +7.0 BLEU points for the Japanese--Chinese tasks and up to +1.3 BLEU points for English--Korean tasks. Empirical analysis, which focuses on the relationship between individual parts in JASS and ENSS, reveals the complementary nature of the subtasks of JASS and ENSS. Adequacy evaluation using LASER, human evaluation, and case studies reveals that our proposed methods significantly outperform pre-training methods without injected linguistic knowledge and they have a larger positive impact on the adequacy as compared to the fluency. We release codes here: https://github.com/Mao-KU/JASS/tree/master/linguistically-driven-pretraining.


title: Temporal Sentence Grounding in Videos: A Survey and Future Directions

abstract: Temporal sentence grounding in videos (TSGV), \aka natural language video localization (NLVL) or video moment retrieval (VMR), aims to retrieve a temporal moment that semantically corresponds to a language query from an untrimmed video. Connecting computer vision and natural language, TSGV has drawn significant attention from researchers in both communities. This survey attempts to provide a summary of fundamental concepts in TSGV and current research status, as well as future research directions. As the background, we present a common structure of functional components in TSGV, in a tutorial style: from feature extraction from raw video and language query, to answer prediction of the target moment. Then we review the techniques for multimodal understanding and interaction, which is the key focus of TSGV for effective alignment between the two modalities. We construct a taxonomy of TSGV techniques and elaborate the methods in different categories with their strengths and weaknesses. Lastly, we discuss issues with the current TSGV research and share our insights about promising research directions.


title: Geometrically adapted Langevin dynamics for Markov chain Monte Carlo simulations

abstract: Markov Chain Monte Carlo (MCMC) is one of the most powerful methods to sample from a given probability distribution, of which the Metropolis Adjusted Langevin Algorithm (MALA) is a variant wherein the gradient of the distribution is used towards faster convergence. However, being set up in the Euclidean framework, MALA might perform poorly in higher dimensional problems or in those involving anisotropic densities as the underlying non-Euclidean aspects of the geometry of the sample space remain unaccounted for. We make use of concepts from differential geometry and stochastic calculus on Riemannian manifolds to geometrically adapt a stochastic differential equation with a non-trivial drift term. This adaptation is also referred to as a stochastic development. We apply this method specifically to the Langevin diffusion equation and arrive at a geometrically adapted Langevin dynamics. This new approach far outperforms MALA, certain manifold variants of MALA, and other approaches such as Hamiltonian Monte Carlo (HMC), its adaptive variant the no-U-turn sampler (NUTS) implemented in Stan, especially as the dimension of the problem increases where often GALA is actually the only successful method. This is evidenced through several numerical examples that include parameter estimation of a broad class of probability distributions and a logistic regression problem.


title: Corrigendum to "On subgroup perfect codes in Cayley graphs" [European J. Combin. 91 (2021) 103228]

abstract: We correct the statements of two theorems and two corollaries in our paper [On subgroup perfect codes in Cayley graphs, European J. Combin. 91 (2021) 103228]. Proofs of these theorems and three other results are given as well.


title: Evaluation of the Thermal Stability of TiW/Cu Heterojunctions Using a Combined SXPS and HAXPES Approach

abstract: Power semiconductor device architectures require the inclusion of a diffusion barrier to suppress, or at best prevent the interdiffusion between the copper metallisation interconnects and the surrounding silicon substructure. The binary pseudo-alloy of titanium-tungsten (TiW), with $>$70~at.\% W, is a well established copper diffusion barrier but is prone to degradation via the out-diffusion of titanium when exposed to high temperatures ($\geq$400$^\circ$C). Here, the thermal stability of physical vapour deposited (PVD) TiW/Cu bilayer thin films in Si/SiO\textsubscript{2}(50~nm)/TiW(300~nm)/Cu(25~nm) stacks were characterised in response to annealing at 400$^\circ$C for 0.5~h and 5~h, using a combination of soft and hard X-ray photoelectron spectroscopy (SXPS and HAXPES) and transmission electron microscopy (TEM). Results show that annealing promoted the segregation of titanium out of the TiW and interdiffusion into the copper metallisation. Titanium was shown be driven toward the free copper surface, accumulating there and forming a titanium oxide overlayer upon exposure to air. Annealing for longer timescales promoted a greater out-diffusion of titanium and a thicker oxide layer to grow on the copper surface. However, interface measurements suggest that the diffusion is not significant enough to compromise the barrier integrity and the TiW/Cu interface remains stable even after 5~h of annealing.


title: Revisiting entanglement-induced exclusion

abstract: We revisit the problem of absorption by identical atoms with entanglement and symmetrization acting at once. We introduce the recoil of the atoms in the calculations and compare the results with those of distinguishable systems instead of mixtures. These absorption rates have been proposed to test entanglement-induced exclusion. The manifestation of exclusion in this framework is a sharp increase of the absorption rates in its proximity. The control of the superposition coefficients used in this representation is simpler than that of the overlapping degree considered in the initial proposal. Another result of this alternative approach is the inhibition of the entanglement effects for some values of the parameters.


title: A higher order Levin-Feinleib theorem

abstract: When restricted to some non-negative multiplicative function, say f, bounded on primes and that vanishes on non square-free integers, our result provides us with an asymptotic for $\sum_{n \le X}f(n)/n$ with error term $O((\log X)^{\kappa-h-1+\varepsilon})$ (for any positive $\varepsilon>0$) as soon as we have $\sum_{p\le Q}f(p)(\log p)/p=\kappa\log Q+\eta+O(1/(\log2Q)^h)$ for a non-negative $\kappa$ and some non-negative integer $h$. The method generalizes the 1967-approach of Levin and Fainleib and uses a differential equation.


title: Spectral properties of the Neumann-Poincar\'e operator on rotationally symmetric domains in two dimensions

abstract: This paper concerns the spectral properties of the Neumann-Poincar\'e operator on $m$-fold rotationally symmetric planar domains. An $m$-fold rotationally symmetric simply connected domain $D$ is realized as the $m$th-root transform of a certain domain, say $\Omega$. We prove that the domain of definition of the Neumann-Poincar\'e operator on $D$ is decomposed into invariant subspaces and the spectrum on one of them is the exact copy of the spectrum on $\Omega$. It implies in particular that the spectrum on the transformed domain $D$ contains the spectrum on the original domain $\Omega$ counting multiplicities.


title: Addressing Maximization Bias in Reinforcement Learning with Two-Sample Testing

abstract: Value-based reinforcement-learning algorithms have shown strong results in games, robotics, and other real-world applications. Overestimation bias is a known threat to those algorithms and can lead to dramatic performance decreases or even complete algorithmic failure. We frame the bias problem statistically and consider it an instance of estimating the maximum expected value (MEV) of a set of random variables. We propose the $T$-Estimator (TE) based on two-sample testing for the mean, that flexibly interpolates between over- and underestimation by adjusting the significance level of the underlying hypothesis tests. A generalization, termed $K$-Estimator (KE), obeys the same bias and variance bounds as the TE while relying on a nearly arbitrary kernel function. We introduce modifications of $Q$-Learning and the Bootstrapped Deep $Q$-Network (BDQN) using the TE and the KE, and prove convergence in the tabular setting. Furthermore, we propose an adaptive variant of the TE-based BDQN that dynamically adjusts the significance level to minimize the absolute estimation bias. All proposed estimators and algorithms are thoroughly tested and validated on diverse tasks and environments, illustrating the bias control and performance potential of the TE and KE.


title: Cool outflows in MaNGA: a systematic study and comparison to the warm phase

abstract: This paper investigates the neutral gas phase of galactic winds via the Na I D$\lambda\lambda 5890,5895${\AA} feature within $z \sim 0.04$ MaNGA galaxies, and directly compares their incidence and strength to the ionized winds detected within the same parent sample. We find evidence for neutral outflows in 127 galaxies ($\sim 5$ per cent of the analysed line-emitting sample). Na I D winds are preferentially seen in galaxies with dustier central regions and both wind phases are more often found in systems with elevated SFR surface densities, especially when there has been a recent upturn in the star formation activity according to the SFR$_{5Myr}$/SFR$_{800Myr}$ parameter. We find the ionized outflow kinematics to be in line with what we measure in the neutral phase. This demonstrates that, despite their small contributions to the total outflow mass budget, there is value to collecting empirical measurements of the ionized wind phase to provide information on the bulk motion in the outflow. Depending on dust corrections applied to the ionized gas diagnostics, the neutral phase has $\sim 1.2 - 1.8$ dex higher mass outflow rates ($\dot{M}_{out}$), on average, compared to the ionized phase. We quantify scaling relations between $\dot{M}_{out}$ and the strengths of the physical wind drivers (SFR, $L_{AGN}$). Using a radial-azimuthal stacking method, and by considering inclination dependencies, we find results consistent with biconical outflows orthogonal to the disk plane. Our work complements other multi-phase outflow studies in the literature which consider smaller samples, more extreme objects, or proceed via stacking of larger samples.


title: Optimization of Richardson extrapolation for quantum error mitigation

abstract: Quantum error mitigation is a key concept for the development of practical applications based on current noisy intermediate scale quantum (NISQ) devices. One of the most promising methods is Richardson extrapolation to the zero noise limit. While its main idea is rather simple, the full potential of Richardson extrapolation has not been completely uncovered yet. We give an in-depth analysis of the relevant parameters of Richardson extrapolation and propose an optimized protocol for its implementation. This protocol allows for a precise control of the increase in statistical uncertainty and lays the foundation for a significant improvement of the mitigation performance achieved by increasing the number of nodes. Furthermore, we present a novel set of nodes that, on average, outperforms the linear, exponential or Chebyshev nodes frequently used for Richardson extrapolation without requiring any additional resources.


title: LEMON: Language-Based Environment Manipulation via Execution-Guided Pre-training

abstract: Language-based environment manipulation requires agents to manipulate the environment following natural language instructions, which is challenging due to the huge space of the environments. To address this challenge, various approaches have been proposed in recent work. Although these approaches work well for their intended environments, they are difficult to generalize across environments. In this work, we propose LEMON, a general framework for language-based environment manipulation tasks. Specifically, we first specify a task-agnostic approach for language-based environment manipulation tasks, which can deal with various environments using the same generative language model. Then we propose an execution-guided pre-training strategy to inject prior knowledge of environments to the language model with a pure synthetic pre-training corpus. Experimental results on tasks including Alchemy, Scene, Tangrams, ProPara and Recipes demonstrate the effectiveness of LEMON: it achieves new state-of-the-art results on four of the tasks, and the execution-guided pre-training strategy brings remarkable improvements on all experimental tasks.


title: Kernel Methods and Multi-layer Perceptrons Learn Linear Models in High Dimensions

abstract: Empirical observation of high dimensional phenomena, such as the double descent behaviour, has attracted a lot of interest in understanding classical techniques such as kernel methods, and their implications to explain generalization properties of neural networks. Many recent works analyze such models in a certain high-dimensional regime where the covariates are independent and the number of samples and the number of covariates grow at a fixed ratio (i.e. proportional asymptotics). In this work we show that for a large class of kernels, including the neural tangent kernel of fully connected networks, kernel methods can only perform as well as linear models in this regime. More surprisingly, when the data is generated by a kernel model where the relationship between input and the response could be very nonlinear, we show that linear models are in fact optimal, i.e. linear models achieve the minimum risk among all models, linear or nonlinear. These results suggest that more complex models for the data other than independent features are needed for high-dimensional analysis.


title: Classifying basins of attraction using the basin entropy

abstract: A basin of attraction represents the set of initial conditions leading to a specific asymptotic state of a given dynamical system. Here, we provide a classification of the most common basins found in nonlinear dynamics with the help of the basin entropy. We have also found interesting connections between the basin entropy and other measures used to characterize the unpredictability associated to the basins of attraction, such as the uncertainty exponent, the lacunarity or other different parameters related to the Wada property.


title: Cross $t$-intersecting families for finite affine spaces

abstract: Denote the collection of all $k$-flats in $AG(n,\mathbb{F}_q)$ by $\mathscr{M}(k,n)$. Let $\mathscr{F}_1\subset\mathscr{M}(k_1,n)$ and $\mathscr{F}_2\subset\mathscr{M}(k_2,n)$ satisfy $\dim(F_1\cap F_2)\ge t$ for any $F_1\in\mathscr{F}_1$ and $F_2\in\mathscr{F}_2$. We say they are cross $t$-intersecting families. Moreover, we say they are trivial if each member of them contains a fixed $t$-flats in $AG(n,\mathbb{F}_q)$. In this paper, we show that cross $t$-intersecting families with maximum product of sizes are trivial. We also describe the structure of non-trivial $t$-intersecting families with maximum product of sizes.


title: Dynamic Growth/Etching Model for the Synthesis of Two-Dimensional Transition Metal Dichalcogenides via Chemical Vapour Deposition

abstract: The preparation of two-dimensional transition metal dichalcogenides on an industrially relevant scale will rely heavily on bottom-up methods such as chemical vapour deposition. In order to obtain sufficiently large quantities of high-quality material, a knowledge-based optimization strategy for the synthesis process must be developed. A major problem that has not yet been considered is the degradation of materials by etching during synthesis due to the high growth temperatures. To address this problem, we introduce a mathematical model that accounts for both growth and, for the first time, etching to describe the synthesis of two-dimensional transition metal dichalcogenides. We consider several experimental observations that lead to a differential equation based on several terms corresponding to different supply mechanisms, describing the time-dependent change in flake size. By solving this equation and fitting two independently obtained experimental data sets, we find that the flake area is the leading term in our model. We show that the differential equation can be solved analytically when only this term is considered, and that this solution provides a general description of complex growth and shrinkage phenomena. Physically, the dominance suggests that the supply of material via the flake itself contributes most to its net growth. This finding also implies a predominant interplay between insertion and release of atoms and their motion in the form of a highly dynamic process within the flake. In contrast to previous assumptions, we show that the flake edges do not play an important role in the actual size change of the two-dimensional transition metal dichalcogenide flakes during chemical vapour deposition.


title: Superfluid-Mott insulator quantum phase transition in a cavity optomagnonic system

abstract: The emerging hybrid cavity optomagnonic system is a very promising quantum information processing platform for its strong or ultrastrong photon-magnon interaction on the scale of micrometers in the experiment. In this paper, the superfluid-Mott insulator quantum phase transition in a two-dimensional cavity optomagnonic array system has been studied based on this characteristic. The analytical solution of the critical hopping rate is obtained by the mean field approach, second perturbation theory and Landau second order phase transition theory. The numerical results show that the increasing coupling strength and the positive detunings of the photon and the magnon favor the coherence and then the stable areas of Mott lobes are compressed correspondingly. Moreover, the analytical results agree with the numerical ones when the total excitation number is lower. Finally, an effective repulsive potential is constructed to exhibit the corresponding mechanism. The results obtained here provide an experimentally feasible scheme for characterizing the quantum phase transitions in a cavity optomagnonic array system, which will offer valuable insight for quantum simulations.


title: DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration

abstract: Deep neural networks (DNNs) are widely developed and applied in many areas, and the quality assurance of DNNs is critical. Neural network verification (NNV) aims to provide formal guarantees to DNN models. Similar to traditional software, neural network verifiers could also contain bugs, which would have a critical and serious impact, especially in safety-critical areas. However, little work exists on validating neural network verifiers. In this work, we propose DeepGalaxy, an automated approach based on differential testing to tackle this problem. Specifically, we (1) propose a line of mutation rules, including model level mutation and specification level mutation, to effectively explore the two-dimensional input space of neural network verifiers; and (2) propose heuristic strategies to select test cases. We leveraged our implementation of DeepGalaxy to test three state-of-the-art neural network verifies, Marabou, Eran, and Neurify. The experimental results support the efficiency and effectiveness of DeepGalaxy. Moreover, five unique unknown bugs were discovered