title: PPA: Principal Parcellation Analysis for Brain Connectomes and Multiple Traits

abstract: Our understanding of the structure of the brain and its relationships with human traits is largely determined by how we represent the structural connectome. Standard practice divides the brain into regions of interest (ROIs) and represents the connectome as an adjacency matrix having cells measuring connectivity between pairs of ROIs. Statistical analyses are then heavily driven by the (largely arbitrary) choice of ROIs. In this article, we propose a novel tractography-based representation of brain connectomes, which clusters fiber endpoints to define a data adaptive parcellation targeted to explain variation among individuals and predict human traits. This representation leads to Principal Parcellation Analysis (PPA), representing individual brain connectomes by compositional vectors building on a basis system of fiber bundles that captures the connectivity at the population level. PPA reduces subjectivity and facilitates statistical analyses. We illustrate the proposed approach through applications to data from the Human Connectome Project (HCP) and show that PPA connectomes improve power in predicting human traits over state-of-the-art methods based on classical connectomes, while dramatically improving parsimony and maintaining interpretability. Our PPA package is publicly available on GitHub, and can be implemented routinely for diffusion image data.


title: Prototypical pi-pi dimers re-examined by means of high-level CCSDT(Q) composite ab inito methods

abstract: The benzene...ethene and parallel-displaced (PD) benzene...benzene dimers are the most fundamental systems involving p-p stacking interactions. Several high-level ab initio investigations calculated the binding energies of these dimers at the CCSD(T)/CBS level of theory using various approaches such as reduced virtual orbital spaces and/or MP2-based basis set corrections. Here we obtain CCSDT(Q) binding energies using a Weizmann-3-type approach. In particular, we extrapolate the SCF, CCSD, and (T) components using large heavy-atom augmented Gaussian basis sets (namely, SCF/jul-cc-pV{5,6}Z, CCSD/jul-cc-pV{Q,5}Z, and (T)/jul-cc-pV{T,Q}Z). We consider post-CCSD(T) contributions up to CCSDT(Q), inner-shell, scalar-relativistic, and Born-Oppenheimer corrections. Overall, our best relativistic, all-electron CCSDT(Q) binding energies are Delta Ee,all,rel = 1.234 (benzene...ethene) and 2.550 (benzene...benzene PD), Delta H0 = 0.949 (benzene...ethene) and 2.310 (benzene...benzene PD), and Delta H298 = 0.130 (benzene...ethene) and 1.461 (benzene...benzene PD) kcal/mol. Important conclusions are reached regarding the basis set convergence of the SCF, CCSD, (T), and post-CCSD(T) components. Explicitly correlated calculations are used as a sanity check on the conventional binding energies. Overall, post-CCSD(T) contributions are destabilizing by 0.028 (benzene...ethene) and 0.058(benzene...benzene) kcal/mol, thus they cannot be neglected if 0.1 kcal/mol accuracy is sought.


title: IAFA: Instance-aware Feature Aggregation for 3D Object Detection from a Single Image

abstract: 3D object detection from a single image is an important task in Autonomous Driving (AD), where various approaches have been proposed. However, the task is intrinsically ambiguous and challenging as single image depth estimation is already an ill-posed problem. In this paper, we propose an instance-aware approach to aggregate useful information for improving the accuracy of 3D object detection with the following contributions. First, an instance-aware feature aggregation (IAFA) module is proposed to collect local and global features for 3D bounding boxes regression. Second, we empirically find that the spatial attention module can be well learned by taking coarse-level instance annotations as a supervision signal. The proposed module has significantly boosted the performance of the baseline method on both 3D detection and 2D bird-eye's view of vehicle detection among all three categories. Third, our proposed method outperforms all single image-based approaches (even these methods trained with depth as auxiliary inputs) and achieves state-of-the-art 3D detection performance on the KITTI benchmark.


title: Resolving the Radio Emission from the Quasar P172+18 at $z = 6.82$

abstract: We present high angular resolution imaging of the quasar PSO J172.3556+18.7734 at $z=6.82$ with the Very Long Baseline Array (VLBA). This source currently holds the record of being the highest redshift radio-loud quasar. These observations reveal a dominant radio source with a flux density of $398.4 \pm 61.4~\mu$Jy at 1.53 GHz, a deconvolved size of $9.9 \times 3.5$ mas ($52.5 \times 18.6$ pc), and an intrinsic brightness temperature of ($4.7 \pm 0.7) \times 10^7$ K. A weak unresolved radio extension from the main source is also detected at $\sim~3.1\sigma$ level. The total flux density recovered with the VLBA at 1.53 GHz is consistent with that measured with the Very Large Array (VLA) at a similar frequency. The quasar is not detected at 4.67 GHz with the VLBA, suggesting a steep spectral index with a limit of $\alpha^{1.53}_{4.67} < -$1.55. The quasar is also not detected with the VLBA at 7.67 GHz. The overall characteristics of the quasar suggest that it is a very young radio source similar to lower redshift Gigahertz Peaked Spectrum radio sources, with an estimated kinematic age of $\sim~10^3$ years. The VLA observations of this quasar revealed a second radio source in the field $23\rlap{.}{''}1$ away. This radio source, which does not have an optical or IR counterpart, is not detected with the VLBA at any of the observed frequencies. Its non-detection at the lowest observed VLBA frequency suggests that it is resolved out, implying a size larger than ~$0\rlap{.}{''}17$. It is thus likely situated at lower redshift than the quasar.


title: Pilot Investigation for a Comprehensive Taxonomy of Autonomous Entities

abstract: This paper documents an exploratory pilot study to define the term Autonomous Entity, and any characteristics that are required to identify or classify an Autonomous Entity. Our solution builds on previous work with regard to philosophical and scientific classification methods but focuses on a novel Design Science Research Methodology (DSRM) and model to help identify those characteristics which make any autonomous entity similar or different from others. We have solved the problem of not having an existing term to define our lens by creating a new combinatorial term: "Riskyishness". We present a DSRM and instrument for initial investigation, as well as observational and statistical descriptions of their use in the real world to solicit domain expertise and statistical evidence. Further, we demonstrate a specific application of the methodology by creating a second artifact - a tool to score existing and future technologies based on Riskyishness. The first artifact also provides a technique to disentangle miscellaneous existing technologies or add dimensions to the tools to capture future additions and paradigm shifts.


title: Environmental Sound Classification on the Edge: A Pipeline for Deep Acoustic Networks on Extremely Resource-Constrained Devices

abstract: Significant efforts are being invested to bring state-of-the-art classification and recognition to edge devices with extreme resource constraints (memory, speed, and lack of GPU support). Here, we demonstrate the first deep network for acoustic recognition that is small, flexible and compression-friendly yet achieves state-of-the-art performance for raw audio classification. Rather than handcrafting a once-off solution, we present a generic pipeline that automatically converts a large deep convolutional network via compression and quantization into a network for resource-impoverished edge devices. After introducing ACDNet, which produces above state-of-the-art accuracy on ESC-10 (96.65%), ESC-50 (87.10%), UrbanSound8K (84.45%) and AudioEvent (92.57%), we describe the compression pipeline and show that it allows us to achieve 97.22% size reduction and 97.28% FLOP reduction while maintaining close to state-of-the-art accuracy 96.25%, 83.65%, 78.27% and 89.69% on these datasets. We describe a successful implementation on a standard off-the-shelf microcontroller and, beyond laboratory benchmarks, report successful tests on real-world datasets.


title: Why the Schwinger Boson mean field theory fails to describe the spin dynamics of the triangular lattice antiferromagnetic Heisenberg model?

abstract: We find that the Schwinger Boson mean field theory(SBMFT) supplemented with Gutzwiller projection provides an exceedingly accurate description for the ground state of the spin-$\frac{1}{2}$ triangular lattice antiferromagnetic Heisenberg model(spin-$\frac{1}{2}$ TLHAF). However, we find the SBMFT fails even qualitatively in the description of the dynamical behavior of the system. In particular, the SBMFT fails to predict the Goldstone mode in the magnetic ordered phase. We show that the coherent peak in the two-spinon continuum in the presence of spinon condensate should not be interpreted as a magnon mode. The SBMFT also predicts incorrectly a gapless longitudinal spin fluctuation mode in the magnetic ordered phase. We show that these failures are related to the following facts: (1)Spinon condensation fails to provide a consistent description of the order parameter manifold of the 120 degree ordered phase. (2)There lacks in the SBMFT the coupling between the uncondensed spinon and the spinon condensate, which breaks both the spin rotational and the translational symmetry. (3)There lacks in the SBMFT the rigidity that is related to the no double occupancy constraint on the spinon system. We show that such failures of the SBMFT is neither restricted to the spin-$\frac{1}{2}$ TLHAF nor to the magnetic ordered phase. We proposed a generalized SBMFT to resolve the first two issues and a new formalism to address the third issue.


title: Strong influence of non-magnetic ligands on the momentum dependent spin splitting in antiferromagnets

abstract: Recent studies have shown that the non-relativistic antiferromagnetic ordering could generate momentum-dependent spin splitting analogous to the Rashba effect, but free from the requirement of relativistic spin-orbit coupling. Whereas the classification of such compounds can be illustrated by different spin-splitting prototypes (SSTs) from symmetry analysis and density functional theory calculations, the significant variation in bonding and structure of these diverse compounds representing different SSTs clouds the issue of how much of the variation in spin splitting can be traced back to the symmetry-defined characteristics, rather to the underlining chemical and structural diversity. The alternative model Hamiltonian approaches do not confront the issues of chemical and structural complexity, but often consider only the magnetic sublattice, dealing with the all-important effects of the non-magnetic ligands via renormalizing the interactions between the magnetic sites. To this end we constructed a 'DFT model Hamiltonian' that allows us to study SSTs at approximate 'constant chemistry', while retaining the realistic atomic scale structure including ligands. This is accomplished by using a single, universal magnetic skeletal lattice (Ni2+ ions in Rocksalt NiO) and designing small displacements of the non-magnetic (oxygen) sublattice which produce, by design, the different SSTs magnetic symmetries. We show that (i) even similar crystal structures having very similar band structures can lead to contrasting behavior of spin splitting vs. momentum, and (ii) even subtle deformations of the non-magnetic ligand sublattice could cause a giant spin splitting in AFM-induced SST. This is a paradigm shift relative to the convention of modeling magnets without considering the non-magnetic ligand that mediate indirect magnetic interaction (e.g., super exchange).


title: Revealing spatial spillover effect in high-tech industry agglomeration from a high-skilled labor flow network perspective

abstract: Understanding the high-tech industrial agglomeration from a spatial-spillover perspective is essential for cities to gain economic and technological competitive advantages. Along with rapid urbanization and the development of fast transportation networks, socioeconomic interactions between cities have been ever-increasing, traditional spatial metrics are not enough to describe actual inter-city connections. High-skilled labor flow between cities strongly influences the high-tech industrial agglomeration, yet receives less attention. By exploiting unique large-scale datasets and tools from complex network and data mining, we construct an inter-city high-skilled labor flow network, which was integrated into spatial econometric models. Our regression results indicate that spatial-spillover effects exist in the development of high-tech industries in the Yangtze River Delta Urban Agglomeration region. Moreover, the spatial-spillover effects are stronger among cities with a higher volume of high-skilled labor flows than among cities with just stronger geographic connections. Additionally, we investigate the channels for the spillover effects and discover that inadequate local government expenses on science and technology likely hamper the high-tech industrial agglomeration, so does the inadequate local educational provision. The increasing foreign direct investments in one city likely encourages the high-tech industrial agglomeration in other cities because of the policy inertia toward traditional industries.


title: Robust and accurate central algorithms for Multi-Component mixture equations with Stiffened gas EOS

abstract: Simple and robust algorithms are developed for compressible Euler equations with the stiffened gas equation of state (EOS), representing gaseous mixtures in thermal equilibrium and without chemical reactions. These algorithms use a fully conservative approach in finite volume framework for approximating the governing equations. Also, these algorithms used central schemes with controlled numerical diffusion for this purpose. Both Mass fraction (Y ) and $\gamma$ based models are used with RICCA and MOVERS+ algorithms to resolve the basic features of the flow fields. These numerical schemes are tested thoroughly for pressure oscillations and preservation of the positivity of mass fraction at least in the first-order numerical methods. Several test cases in both 1D and 2D are presented to demonstrate the robustness and accuracy of the numerical schemes.


title: Adaptive Gaussian Fuzzy Classifier for Real-Time Emotion Recognition in Computer Games

abstract: Human emotion recognition has become a need for more realistic and interactive machines and computer systems. The greatest challenge is the availability of high-performance algorithms to effectively manage individual differences and nonstationarities in physiological data streams, i.e., algorithms that self-customize to a user with no subject-specific calibration data. We describe an evolving Gaussian Fuzzy Classifier (eGFC), which is supported by an online semi-supervised learning algorithm to recognize emotion patterns from electroencephalogram (EEG) data streams. We extract features from the Fourier spectrum of EEG data. The data are provided by 28 individuals playing the games 'Train Sim World', 'Unravel', 'Slender The Arrival', and 'Goat Simulator' - a public dataset. Different emotions prevail, namely, boredom, calmness, horror and joy. We analyze the effect of individual electrodes, time window lengths, and frequency bands on the accuracy of user-independent eGFCs. We conclude that both brain hemispheres may assist classification, especially electrodes on the frontal (Af3-Af4), occipital (O1-O2), and temporal (T7-T8) areas. We observe that patterns may be eventually found in any frequency band; however, the Alpha (8-13Hz), Delta (1-4Hz), and Theta (4-8Hz) bands, in this order, are the highest correlated with emotion classes. eGFC has shown to be effective for real-time learning of EEG data. It reaches a 72.2% accuracy using a variable rule base, 10-second windows, and 1.8ms/sample processing time in a highly-stochastic time-varying 4-class classification problem.


title: Flat band, spin-1 Dirac cone, and Hofstadter diagram in the fermionic square kagome model

abstract: We study characteristic band structures of the fermions on a square kagome lattice, one of the two-dimensional lattices hosting a corner-sharing network of triangles. We show that the band structures of the nearest-neighbor tight-binding model exhibit many characteristic features, including a flat band which is ubiquitous among frustrated lattices. On the flat band, we elucidate its origin by using the molecular-orbital representation and also find localized exact eigenstates called compact localized states. In addition to the flat band, we also find two spin-1 Dirac cones with different energies. These spin-1 Dirac cones are not described by the simplest effective Dirac Hamiltonian because the middle band is bended and the energy spectrum is particle-hole asymmetric. We also investigated the Hofstadter problem on a square kagome lattice in the presence of an external field and find that the profile of the Chern numbers around the modified spin-1 Dirac cones coincides with the conventional one.


title: Moving from Cross-Project Defect Prediction to Heterogeneous Defect Prediction: A Partial Replication Study

abstract: Software defect prediction heavily relies on the metrics collected from software projects. Earlier studies often used machine learning techniques to build, validate, and improve bug prediction models using either a set of metrics collected within a project or across different projects. However, techniques applied and conclusions derived by those models are restricted by how identical those metrics are. Knowledge coming from those models will not be extensible to a target project if no sufficient overlapping metrics have been collected in the source projects. To explore the feasibility of transferring knowledge across projects without common labeled metrics, we systematically integrated Heterogeneous Defect Prediction (HDP) by replicating and validating the obtained results. Our main goal is to extend prior research and explore the feasibility of HDP and finally to compare its performance with that of its predecessor, Cross-Project Defect Prediction. We construct an HDP model on different publicly available datasets. Moreover, we propose a new ensemble voting approach in the HDP context to utilize the predictive power of multiple available datasets. The result of our experiment is comparable to that of the original study. However, we also explored the feasibility of HDP in real cases. Our results shed light on the infeasibility of many cases for the HDP algorithm due to its sensitivity to the parameter selection. In general, our analysis gives a deep insight into why and how to perform transfer learning from one domain to another, and in particular, provides a set of guidelines to help researchers and practitioners to disseminate knowledge to the defect prediction domain.


title: No-Go Theorems: What Are They Good For?

abstract: No-go theorems have played an important role in the development and assessment of scientific theories. They have stopped whole research programs and have given rise to strong ontological commitments. Given the importance they obviously have had in physics and philosophy of physics and the huge amount of literature on the consequences of specific no-go theorems, there has been relatively little attention to the more abstract assessment of no-go theorems as a tool in theory development. We will here provide this abstract assessment of no-go theorems and conclude that the methodological implications one may draw from no-go theorems are in disagreement with the implications that have often been drawn from them in the history of science.


title: Position-dependent chiral coupling between single quantum dots and cross waveguides

abstract: Chiral light-matter interaction between photonic nanostructures with quantum emitters shows great potential to implement spin-photon interfaces for quantum information processing. Position-dependent spin momentum locking of the quantum emitter is important for these chiral coupled nanostructures. Here, we report the position-dependent chiral coupling between quantum dots (QDs) and cross waveguides both numerically and experimentally. Four quantum dots distributed at different positions in the cross section are selected to characterize the chiral properties of the device. Directional emission is achieved in a single waveguide as well as in both two waveguides simultaneously. In addition, the QD position can be determined with the chiral contrasts from four outputs. Therefore, the cross waveguide can function as a one-way unidirectional waveguide and a circularly polarized beam splitter by placing the QD in a rational position, which has potential applications in spin-to-path encoding for complex quantum optical networks at the single-photon level.


title: Causal Attention for Vision-Language Tasks

abstract: We present a novel attention mechanism: Causal Attention (CATT), to remove the ever-elusive confounding effect in existing attention-based vision-language models. This effect causes harmful bias that misleads the attention module to focus on the spurious correlations in training data, damaging the model generalization. As the confounder is unobserved in general, we use the front-door adjustment to realize the causal intervention, which does not require any knowledge on the confounder. Specifically, CATT is implemented as a combination of 1) In-Sample Attention (IS-ATT) and 2) Cross-Sample Attention (CS-ATT), where the latter forcibly brings other samples into every IS-ATT, mimicking the causal intervention. CATT abides by the Q-K-V convention and hence can replace any attention module such as top-down attention and self-attention in Transformers. CATT improves various popular attention-based vision-language models by considerable margins. In particular, we show that CATT has great potential in large-scale pre-training, e.g., it can promote the lighter LXMERT~\cite{tan2019lxmert}, which uses fewer data and less computational power, comparable to the heavier UNITER~\cite{chen2020uniter}. Code is published in \url{https://github.com/yangxuntu/catt}.


title: Stratified Sampling for Extreme Multi-Label Data

abstract: Extreme multi-label classification (XML) is becoming increasingly relevant in the era of big data. Yet, there is no method for effectively generating stratified partitions of XML datasets. Instead, researchers typically rely on provided test-train splits that, 1) aren't always representative of the entire dataset, and 2) are missing many of the labels. This can lead to poor generalization ability and unreliable performance estimates, as has been established in the binary and multi-class settings. As such, this paper presents a new and simple algorithm that can efficiently generate stratified partitions of XML datasets with millions of unique labels. We also examine the label distributions of prevailing benchmark splits, and investigate the issues that arise from using unrepresentative subsets of data for model development. The results highlight the difficulty of stratifying XML data, and demonstrate the importance of using stratified partitions for training and evaluation.


title: The Gromov-Lawson index and the Baum-Connes assembly map

abstract: This is a survey paper which gathers some results related with the study of Positive Scalar Curvature metrics in connection with the Baum-Connes assembly map.


title: Analysis of User Preferences for Robot Motions in Immersive Telepresence

abstract: This paper considers how the motions of a telepresence robot moving autonomously affect a person immersed in the robot through a head-mounted display. In particular, we explore the preference, comfort, and naturalness of elements of piecewise linear paths compared to the same elements on a smooth path. In a user study, thirty-six subjects watched panoramic videos of three different paths through a simulated museum in virtual reality and responded to questionnaires regarding each path. Preference for a particular path was influenced the most by comfort, forward speed, and characteristics of the turns. Preference was also strongly associated with the users' perceived naturalness, which was primarily determined by the ability to see salient objects, the distance to the walls and objects, as well as the turns. Participants favored the paths that had a one meter per second forward speed and rated the path with the least amount of turns as the most comfortable


title: Multiagent based state transition algorithm for global optimization

abstract: In this paper, a novel multiagent based state transition optimization algorithm with linear convergence rate named MASTA is constructed. It first generates an initial population randomly and uniformly. Then, it applies the basic state transition algorithm (STA) to the population and generates a new population. After that, It computes the fitness values of all individuals and finds the best individuals in the new population. Moreover, it performs an effective communication operation and updates the population. With the above iterative process, the best optimal solution is found out. Experimental results based on some common benchmark functions and comparison with some stat-of-the-art optimization algorithms, the proposed MASTA algorithm has shown very superior and comparable performance.


title: Evolutionary games on simplicial complexes

abstract: Elucidating the mechanisms that lead to cooperation is still one of the main scientific challenges of current times, as many common cooperative scenarios remain elusive and at odds with Darwin's natural selection theory. Here, we study evolutionary games on populations that are structured beyond pairwise interactions. Specifically, we introduce a general evolutionary approach that allows studying situations in which indirect interactions via a neighbor other than the direct pairwise connection (or via a group of neighbors), impact the strategy of the focal player. To this end, we consider simplicial graphs that encode two- and three-body interactions, which enables to study competition between all possible pairs of social dilemmas and to scrutinize the role of three-body interactions in all the observed phenomenology. We simultaneously investigate how social dilemma with different Nash equilibria compete in simplicial structures and how such a competition is modulated by the unbalance of 2- and 1-simplices, which in its turn reflects the relative prevalence of pairwise or group interactions among the players. We report a number of results that: (i) support that higher-order games allow for non-dominant strategists to emerge and coexist with dominant ones, a scenario that can't be explained by any pairwise schemes, no matter the network of contacts; (ii) characterize a novel transition from dominant defection to dominant cooperation as a function of the simplicial structure of the population; and (iii) demonstrate that 2-simplex interactions are a source of strategy diversity, i.e. increasing the relative prevalence of group interactions always promotes diverse strategic identities of individuals. Our study constitutes a step forward in the quest for understanding the roots of cooperation and the mechanisms that sustain it in real-world and social environments.


title: Planck Cold Clumps in the lambda Orionis Complex. III. A chemical probe of stellar feedback on cores in the lambda Orionis cloud

abstract: Massive stars have a strong impact on their local environments. However, how stellar feedback regulates star formation is still under debate. In this context, we studied the chemical properties of 80 dense cores in the Orion molecular cloud complex composed of the Orion A (39 cores), B (26 cores), and lambda Orionis (15 cores) clouds using multiple molecular line data taken with the Korean Very Long Baseline Interferometry Network (KVN) 21-m telescopes. The lambda Orionis cloud has an H ii bubble surrounding the O-type star lambda Ori, and hence it is exposed to the ultraviolet (UV) radiation field of the massive star. The abundances of C2H and HCN, which are sensitive to UV radiation, appear to be higher in the cores in the lambda Orionis cloud than those in the Orion A and B clouds, while the HDCO to H2CO abundance ratios show an opposite trend, indicating a warmer condition in the lambda Orionis cloud. The detection rates of dense gas tracers such as the N2H+, HCO+, and H13CO+ lines are also lower in the lambda Orionis cloud. These chemical properties imply that the cores in the lambda Orionis cloud are heated by UV photons from lambda Ori. Furthermore, the cores in the lambda Orionis cloud do not show any statistically significant excess in the infall signature of HCO+ (1 - 0), unlike the Orion A and B clouds. Our results support the idea that feedback from massive stars impacts star formation in a negative way by heating and evaporating dense materials, as in the lambda Orionis cloud.


title: ShEF: Shielded Enclaves for Cloud FPGAs

abstract: FPGAs are now used in public clouds to accelerate a wide range of applications, including many that operate on sensitive data such as financial and medical records. We present ShEF, a trusted execution environment (TEE) for cloud-based reconfigurable accelerators. ShEF is independent from CPU-based TEEs and allows secure execution under a threat model where the adversary can control all software running on the CPU connected to the FPGA, has physical access to the FPGA, and can compromise the FPGA interface logic of the cloud provider. ShEF provides a secure boot and remote attestation process that relies solely on existing FPGA mechanisms for root of trust. It also includes a Shield component that provides secure access to data while the accelerator is in use. The Shield is highly customizable and extensible, allowing users to craft a bespoke security solution that fits their accelerator's memory access patterns, bandwidth, and security requirements at minimum performance and area overheads. We describe a prototype implementation of ShEF for existing cloud FPGAs, map ShEF to a performant and secure storage application, and measure the performance benefits of customizable security using five additional accelerators.


title: Unsupervised Learning for Robust Fitting:A Reinforcement Learning Approach

abstract: Robust model fitting is a core algorithm in a large number of computer vision applications. Solving this problem efficiently for datasets highly contaminated with outliers is, however, still challenging due to the underlying computational complexity. Recent literature has focused on learning-based algorithms. However, most approaches are supervised which require a large amount of labelled training data. In this paper, we introduce a novel unsupervised learning framework that learns to directly solve robust model fitting. Unlike other methods, our work is agnostic to the underlying input features, and can be easily generalized to a wide variety of LP-type problems with quasi-convex residuals. We empirically show that our method outperforms existing unsupervised learning approaches, and achieves competitive results compared to traditional methods on several important computer vision problems.


title: Update the Root of Integrity Tree in Secure Non-Volatile Memory Systems with Low Overhead

abstract: Data integrity is important for non-volatile memory (NVM) systems that maintain data even without power. The data integrity in NVM is possibly compromised by integrity attacks, which can be defended against by integrity verification via integrity trees. After NVM system failures and reboots, the integrity tree root is responsible for providing a trusted execution environment. However, the root often becomes a performance bottleneck, since updating the root requires high latency on the write critical path to propagate the modifications from leaf nodes to the root. The root and leaf nodes have to ensure the crash consistency between each other to avoid any update failures that potentially result in misreporting the attacks after system reboots. In this paper, we propose an efficient and low-latency scheme, called SCUE, to directly update the root on the SGX integrity tree (SIT) by overlooking the updates upon the intermediate tree nodes. The idea behind SCUE explores and exploits the observation that only the persistent leaf nodes and root are useful to ensure the integrity after system failures and reboots, due to the loss of the cached intermediate tree nodes. To achieve the crash consistency between root and leaf nodes, we accurately predict the updates upon the root and pre-update the root before the leaf nodes are modified. Moreover, the SIT root is difficult to be reconstructed from the leaf nodes since updating one tree node needs its parent node as input. We use a counter-summing approach to reconstructing the SIT from leaf nodes. Our evaluation results show that compared with the state-of-the-art integrity tree update schemes, our SCUE scheme delivers high performance while ensuring the system integrity.


title: NPT-Loss: A Metric Loss with Implicit Mining for Face Recognition

abstract: Face recognition (FR) using deep convolutional neural networks (DCNNs) has seen remarkable success in recent years. One key ingredient of DCNN-based FR is the appropriate design of a loss function that ensures discrimination between various identities. The state-of-the-art (SOTA) solutions utilise normalised Softmax loss with additive and/or multiplicative margins. Despite being popular, these Softmax+margin based losses are not theoretically motivated and the effectiveness of a margin is justified only intuitively. In this work, we utilise an alternative framework that offers a more direct mechanism of achieving discrimination among the features of various identities. We propose a novel loss that is equivalent to a triplet loss with proxies and an implicit mechanism of hard-negative mining. We give theoretical justification that minimising the proposed loss ensures a minimum separability between all identities. The proposed loss is simple to implement and does not require heavy hyper-parameter tuning as in the SOTA solutions. We give empirical evidence that despite its simplicity, the proposed loss consistently achieves SOTA performance in various benchmarks for both high-resolution and low-resolution FR tasks.


title: Extremum seeking control of a class of constrained nonlinear systems

abstract: This paper studies the extremum seeking control (ESC) problem for a class of constrained nonlinear systems. Specifically, we focus on a family of constraints allowing to reformulate the original nonlinear system in the so-called input-output normal form. To steer the system to optimize a performance function without knowing its explicit form, we propose a novel numerical optimization-based extremum seeking control (NOESC) design consisting of a constrained numerical optimization method and an inversion based feedforward controller. In particular, a projected gradient descent algorithm is exploited to produce the state sequence to optimize the performance function, whereas a suitable boundary value problem accommodates the finite-time state transition between each two consecutive points of the state sequence. Compared to available NOESC methods, the proposed approach i) can explicitly deal with output constraints; ii) the performance function can consider a direct dependence on the states of the internal dynamics; iii) the internal dynamics do not have to be necessarily stable. The effectiveness of the proposed ESC scheme is shown through extensive numerical simulations.


title: Prediction of financial time series using LSTM and data denoising methods

abstract: In order to further overcome the difficulties of the existing models in dealing with the non-stationary and nonlinear characteristics of high-frequency financial time series data, especially its weak generalization ability, this paper proposes an ensemble method based on data denoising methods, including the wavelet transform (WT) and singular spectrum analysis (SSA), and long-term short-term memory neural network (LSTM) to build a data prediction model, The financial time series is decomposed and reconstructed by WT and SSA to denoise. Under the condition of denoising, the smooth sequence with effective information is reconstructed. The smoothing sequence is introduced into LSTM and the predicted value is obtained. With the Dow Jones industrial average index (DJIA) as the research object, the closing price of the DJIA every five minutes is divided into short-term (1 hour), medium-term (3 hours) and long-term (6 hours) respectively. . Based on root mean square error (RMSE), mean absolute error (MAE), mean absolute percentage error (MAPE) and absolute percentage error standard deviation (SDAPE), the experimental results show that in the short-term, medium-term and long-term, data denoising can greatly improve the accuracy and stability of the prediction, and can effectively improve the generalization ability of LSTM prediction model. As WT and SSA can extract useful information from the original sequence and avoid overfitting, the hybrid model can better grasp the sequence pattern of the closing price of the DJIA. And the WT-LSTM model is better than the benchmark LSTM model and SSA-LSTM model.


title: Does chronology matter in JIT defect prediction? A Partial Replication Study

abstract: Just-In-Time (JIT) models detect the fix-inducing changes (or defect-inducing changes). These models are designed based on the assumption that past code change properties are similar to future ones. However, as the system evolves, the expertise of developers and/or the complexity of the system also changes. In this work, we aim to investigate the effect of code change properties on JIT models over time. We also study the impact of using recent data as well as all available data on the performance of JIT models. Further, we analyze the effect of weighted sampling on the performance of fix-inducing properties of JIT models. For this purpose, we used datasets from Eclipse JDT, Mozilla, Eclipse Platform, and PostgreSQL. We used five families of change-code properties such as size, diffusion, history, experience, and purpose. We used Random Forest to train and test the JIT model and Brier Score and the area under the ROC curve for performance measurement. Our paper suggests that the predictive power of JIT models does not change over time. Furthermore, we observed that the chronology of data in JIT defect prediction models can be discarded by considering all the available data. On the other hand, the importance score of families of code change properties is found to oscillate over time. To mitigate the impact of the evolution of code change properties, it is recommended to use a weighted sampling approach in which more emphasis is placed upon the changes occurring closer to the current time. Moreover, since properties such as "Expertise of the Developer" and "Size" evolve with time, the models obtained from old data may exhibit different characteristics compared to those employing the newer dataset. Hence, practitioners should constantly retrain JIT models to include fresh data.


title: Solving Linear Equations with Separable Problem Data over Directed Networks

abstract: This paper deals with linear algebraic equations where the global coefficient matrix and constant vector are given respectively, by the summation of the coefficient matrices and constant vectors of the individual agents. Our approach is based on reformulating the original problem as an unconstrained optimization. Based on this exact reformulation, we first provide a gradient-based, centralized algorithm which serves as a reference for the ensuing design of distributed algorithms. We propose two sets of exponentially stable continuous-time distributed algorithms that do not require the individual agent matrices to be invertible, and are based on estimating non-distributed terms in the centralized algorithm using dynamic average consensus. The first algorithm works for time-varying weight-balanced directed networks, and the second algorithm works for general directed networks for which the communication graphs might not be balanced. Numerical simulations illustrate our results.


title: Velocity-resolved Reverberation Mapping of Changing-look AGN NGC 2617

abstract: NGC 2617 has attracted a lot of attention after the detection of the changes in spectral type, and its geometry and kinematics of broad-line region (BLR) are still ambiguous. In this paper, we present the high cadence ($\sim$ 2 days) reverberation mapping campaign of NGC 2617 from 2019 October to 2020 May undertaken at Lijiang 2.4 m telescope. For the first time, the velocity-resolved reverberation signature of the object was successfully detected. Both H$\alpha$ and H$\beta$ show an asymmetrical profile with a peak in the velocity-resolved time lags. For each of both lines, the lag of the line core is longer than those of the relevant wings, and the peak of the velocity-resolved lags is slightly blueshifted. These characteristics are not consistent with the theoretical prediction of the inflow, outflow or Keplerian disk model. Our observations give the time lags ofH$\alpha$, H$\beta$, H$\gamma$, and He I, with a ratio of $\tau_{\rm{H}\alpha}$:$\tau_{\rm{H}\beta}$:$\tau_{\rm{H}\gamma}$:$\tau_{\rm{He~I}}$ = 1.27:1.00:0.89:0.20, which indicates a stratified structure in the BLR of the object. It is the first time that the lags of H$\alpha$ and He I are obtained. Assuming a virial factor of $f$ = 5.5 for dispersion width of line, the masses of black hole derived from H$\alpha$ and H$\beta$ are $\rm{23.8^{+5.4}_{-2.7}}$ and $\rm{21.1^{+3.8}_{-4.4}} \times 10^{6}M_{\odot}$, respectively. Our observed results indicate the complexity of the BLR of NGC 2617.


title: Dual Pointer Network for Fast Extraction of Multiple Relations in a Sentence

abstract: Relation extraction is a type of information extraction task that recognizes semantic relationships between entities in a sentence. Many previous studies have focused on extracting only one semantic relation between two entities in a single sentence. However, multiple entities in a sentence are associated through various relations. To address this issue, we propose a relation extraction model based on a dual pointer network with a multi-head attention mechanism. The proposed model finds n-to-1 subject-object relations using a forward object decoder. Then, it finds 1-to-n subject-object relations using a backward subject decoder. Our experiments confirmed that the proposed model outperformed previous models, with an F1-score of 80.8% for the ACE-2005 corpus and an F1-score of 78.3% for the NYT corpus.


title: Variational Structured Attention Networks for Deep Visual Representation Learning

abstract: Convolutional neural networks have enabled major progresses in addressing pixel-level prediction tasks such as semantic segmentation, depth estimation, surface normal prediction and so on, benefiting from their powerful capabilities in visual representation learning. Typically, state of the art models integrate attention mechanisms for improved deep feature representations. Recently, some works have demonstrated the significance of learning and combining both spatial- and channelwise attentions for deep feature refinement. In this paper, weaim at effectively boosting previous approaches and propose a unified deep framework to jointly learn both spatial attention maps and channel attention vectors in a principled manner so as to structure the resulting attention tensors and model interactions between these two types of attentions. Specifically, we integrate the estimation and the interaction of the attentions within a probabilistic representation learning framework, leading to VarIational STructured Attention networks (VISTA-Net). We implement the inference rules within the neural network, thus allowing for end-to-end learning of the probabilistic and the CNN frontend parameters. As demonstrated by our extensive empirical evaluation on six large-scale datasets for dense visual prediction, VISTA-Net outperforms the state-of-the-art in multiple continuous and discrete prediction tasks, thus confirming the benefit of the proposed approach in joint structured spatial-channel attention estimation for deep representation learning. The code is available at https://github.com/ygjwd12345/VISTA-Net.


title: App's Auto-Login Function Security Testing via Android OS-Level Virtualization

abstract: Limited by the small keyboard, most mobile apps support the automatic login feature for better user experience. Therefore, users avoid the inconvenience of retyping their ID and password when an app runs in the foreground again. However, this auto-login function can be exploited to launch the so-called "data-clone attack": once the locally-stored, auto-login depended data are cloned by attackers and placed into their own smartphones, attackers can break through the login-device number limit and log in to the victim's account stealthily. A natural countermeasure is to check the consistency of devicespecific attributes. As long as the new device shows different device fingerprints with the previous one, the app will disable the auto-login function and thus prevent data-clone attacks. In this paper, we develop VPDroid, a transparent Android OS-level virtualization platform tailored for security testing. With VPDroid, security analysts can customize different device artifacts, such as CPU model, Android ID, and phone number, in a virtual phone without user-level API hooking. VPDroid's isolation mechanism ensures that user-mode apps in the virtual phone cannot detect device-specific discrepancies. To assess Android apps' susceptibility to the data-clone attack, we use VPDroid to simulate data-clone attacks with 234 most-downloaded apps. Our experiments on five different virtual phone environments show that VPDroid's device attribute customization can deceive all tested apps that perform device-consistency checks, such as Twitter, WeChat, and PayPal. 19 vendors have confirmed our report as a zero-day vulnerability. Our findings paint a cautionary tale: only enforcing a device-consistency check at client side is still vulnerable to an advanced data-clone attack.


title: Amino acid frequency and domain features serve well for random forest based classification of thermophilic and mesophilic protein; a case study on serine proteases

abstract: Thermostability is an important prerequisite for enzymes employed for industrial applications. Several machine learning based models have thus been formulated for protein classification based on this particular trait. These models have employed features derived from sequences, structures or both resulting in a >93% accuracy based on a 10-fold cross-validation. Besides using various proteins from a wide range of organisms, such studies also rely on hundreds of features. In the present study, an enzyme specific classification model was created using significantly less number of features that provides a similar accuracy of classification for thermophilic and non-thermophilic enzyme serine proteases. For building the classifier, 219 thermophilic and 200 mesophilic bacterial genomes were mined for their respective serine protease sequences. Features were extracted for 800 sequences followed by feature selection. We deployed a random forest based classifier that identified thermophilic and non-thermophilic serine proteases with an accuracy of 95.71%. Knowledge of thermostability along with amino acid positional shifts can be vital for downstream protein engineering techniques. Thus, to emphasize the real time application of the enzyme specific classification model, a web platform has been designed. Combining the sequence data and the classification model, this prototype can allow users to align their query serine protease sequence against the custom database and identify its thermophilic nature.


title: The falsification of the non-statistical interpretation of the uncertainty principle and the breakthrough of the statistical interpretation -- From the Uncertainty Principle to the Deterministic Rule

abstract: It is well known that the problem of divergence in the physical interpretation of quantum mechanics originating from the uncertainty principle has not yet been resolved. Attempting to clear the constraints and confusion of this situation for the further development of quantum technology, this article traces the original derivation and the physical meaning of the Heisenberg uncertainty principle, analyzes the Einstein photon-box thought-experiment, and studies the limits of the relationships under different action scenarios. By analyzing the statistical distribution of quantum mechanical quantities, the result of the destruction of the non-statistical interpretation uncertainty relation in the electromagnetic interaction scenarios is obtained; through analyzing of the photon box thought experiment, the logical contradiction of Bohr's argument was discovered; by examining the set of interaction scenarios, a description method for determining the mechanical state of microscopic particles was put forward; according to the analysis of the hydrogen atom transition radiation process, basing on the principle of conservation of energy, the result of the lower limit of the uncertainty relation in the gravitational scene is much smaller than that in the existing electromagnetic scene is obtained, which mean the lower limit of uncertainty principle is broken. The research in this article has received an affirmative answer to Einstein's God does not play dice with the Universe. The research of this article is helpful to enhance the understanding of quantum physical phenomena in the microscopic world, and we hope it could render some theoretical support to investigating the physical basis of quantum technology.


title: A Penalty-free Infeasible Approach for a Class of Nonsmooth Optimization Problems over the Stiefel Manifold

abstract: Transforming into an exact penalty function model with convex compact constraints yields efficient infeasible approaches for optimization problems with orthogonality constraints. For smooth and $\ell_{2,1}$-norm regularized cases, these infeasible approaches adopt simple and orthonormalization-free updating scheme and show their high efficiency in the test examples. However, to avoid orthonormalization while enforcing the feasibility of the final solution, these infeasible approaches introduce a quadratic penalty term, where an inappropriate penalty parameter can lead to numerical inefficiency. Inspired by penalty-free approaches for smooth optimization problems, we proposed a proximal first-order algorithm for a class of optimization problems with orthogonality constraints and nonsmooth regularization term. The consequent algorithm, named sequential linearized proximal gradient method (SLPG), alternatively takes tangential steps and normal steps to improve the optimality and feasibility respectively. In SLPG, the orthonormalization process is invoked only once at the last step if high precision in feasibility is needed, showing that main iterations in SLPG are orthonormalization-free. Besides, both the tangential steps and normal steps do not involve the penalty parameter, and thus SLPG is penalty-free and avoids the inefficiency by inappropriate penalty parameter. We analyze the global convergence properties of SLPG where the tangential steps are inexactly computed. By inexactly computing tangential steps, for smooth cases and $\ell_{2,1}$-norm regularized cases, SLPG has a closed-form updating scheme, which leads to its cheap tangential steps. Numerical experiments illustrate the numerical advantages of SLPG when compared with existing first-order methods.


title: Hodge sheaves underlying flat projective families

abstract: We show that, for any fixed weight, there is a natural system of Hodge sheaves, whose Higgs field has no poles, arising from a flat projective family of varieties parametrized by a regular complex base scheme, extending the analogous classical result for smooth projective families due to Griffiths. As an application, based on positivity of direct image sheaves, we establish a criterion for base spaces of rational Gorenstein families to be of general type. A key component of our arguments is centered around the construction of derived categorical objects generalizing relative logarithmic forms for smooth maps and their functorial properties.


title: Slow-Fast Auditory Streams For Audio Recognition

abstract: We propose a two-stream convolutional network for audio recognition, that operates on time-frequency spectrogram inputs. Following similar success in visual recognition, we learn Slow-Fast auditory streams with separable convolutions and multi-level lateral connections. The Slow pathway has high channel capacity while the Fast pathway operates at a fine-grained temporal resolution. We showcase the importance of our two-stream proposal on two diverse datasets: VGG-Sound and EPIC-KITCHENS-100, and achieve state-of-the-art results on both.


title: Computation of magnetization, exchange stiffness, anisotropy, and susceptibilities in large-scale systems using GPU-accelerated atomistic parallel Monte Carlo algorithms

abstract: Monte Carlo algorithms are frequently used in atomistic simulations, including for computation of magnetic parameter temperature dependences in multiscale simulations. Even though parallelization strategies for Monte Carlo simulations of lattice spin models are known, its application to computation of magnetic parameter temperature dependences is lacking in the literature. Here we show how, not only the unconstrained algorithm, but also the constrained atomistic Monte Carlo algorithm, can be parallelized. Compared to the serial algorithms, the parallel Monte Carlo algorithms are typically over 200 times faster, allowing computations in systems with over 10 million atomistic spins on a single GPU with relative ease. Implementation and testing of the algorithms was carried out in large-scale systems, where finite-size effects are reduced, by accurately computing temperature dependences of magnetization, uniaxial and cubic anisotropies, exchange stiffness, and susceptibilities. In particular for the exchange stiffness the Bloch domain wall method was used with a large crosssectional area, which allows accurate computation of the domain wall width up to the Curie temperature. The exchange stiffness for a simple cubic lattice closely follows an mk scaling at low temperatures, with k < 2 dependent on the anisotropy strength. However, close to the Curie temperature the scaling exponent tends to k = 2. Furthermore, the implemented algorithms are applied to the computation of magnetization temperature dependence in granular thin films with over 15 million spins, as a function of average grain size and film thickness. We show the average Curie temperature in such systems may be obtained from a weighted Bloch series fit, which is useful for analysis of experimental results in granular thin films.


title: Anomaly detection and automatic labeling for solar cell quality inspection based on Generative Adversarial Network

abstract: Quality inspection applications in industry are required to move towards a zero-defect manufacturing scenario, withnon-destructive inspection and traceability of 100 % of produced parts. Developing robust fault detection and classification modelsfrom the start-up of the lines is challenging due to the difficulty in getting enough representative samples of the faulty patternsand the need to manually label them. This work presents a methodology to develop a robust inspection system, targeting thesepeculiarities, in the context of solar cell manufacturing. The methodology is divided into two phases: In the first phase, an anomalydetection model based on a Generative Adversarial Network (GAN) is employed. This model enables the detection and localizationof anomalous patterns within the solar cells from the beginning, using only non-defective samples for training and without anymanual labeling involved. In a second stage, as defective samples arise, the detected anomalies will be used as automaticallygenerated annotations for the supervised training of a Fully Convolutional Network that is capable of detecting multiple types offaults. The experimental results using 1873 EL images of monocrystalline cells show that (a) the anomaly detection scheme can beused to start detecting features with very little available data, (b) the anomaly detection may serve as automatic labeling in order totrain a supervised model, and (c) segmentation and classification results of supervised models trained with automatic labels arecomparable to the ones obtained from the models trained with manual labels.


title: The dc-Josephson effect with more than four superconducting leads

abstract: By definition, the $p$-terminal dc-Josephson current is sensitive to the superconducting phase variables of $p$ terminals. In the paper, we establish protocol for direct detection of the $p$-terminal dc-Josephson effect with $p\ge 3$ in a device containing $N$ superconducting leads $S_1,\,S_2,\,...,\,S_N$ having the phase variables $\varphi_1,\,\varphi_2,\,...,\,\varphi_N$. The calculated signal ${\chi}^{(N)}$ can be probed in microwave experiments, and it corresponds to the higher-order nonlocal inverse inductance obtained from differentiating the current $I_1$ through $S_1$ with respect to the remaining $N-2$ independent phase differences $\varphi_2-\varphi_N,\,\varphi_3-\varphi_N,\, ...,\varphi_{N-1}-\varphi_N$. We find that the values $p\le N-2$ do not contribute to ${\chi}^{(N)}$, and that ${\chi}^{(N)}\ne 0$ implies evidence for the $p=N-1$ or the $p=N$-terminal dc-Josephson currents. For $N=4$ superconducting leads, we demonstrate that ${\chi}^{(4)}\ne 0$ implies evidence for the $p=3$ or $p=4$ dc-Josephson effect, irrespective of the $p=2$-terminal dc-Josephson current. Thus, we provide a way to demonstrate the dc-Josephson effect with more than three terminals (i.e. with $p\ge 3$) in a device containing more than four superconducting leads (i.e. with $N\ge 4$). The predicted ${\chi}^{(4)}$ is "yes or no" answer to the $p\ge 3$ dc-Josephson effect, i.e. for $N=4$, nonvanishingly small $\chi^{(4)}\ne 0$ implies the $p=3$ or $p=4$-terminal dc-Josephson effect and vanishingly small $\chi^{(4)}=0$ implies absence of the $p=3$ and $p=4$-terminal dc-Josephson effect. The paper can be viewed as generalizing the recently considered $\varphi$-junctions in Andreev molecules to arbitrary number $N$ of the superconducting leads, and it relies on basic properties of the dc-Josephson effect that are not directly related to nontrivial topology and Weyl point singularities.


title: Learning the tuned liquid damper dynamics by means of a robust EKF

abstract: The tuned liquid dampers (TLD) technology is a feasible and cost-effective seismic design. In order to improve its efficiency it is fundamental to find accurate models describing their dynamic. A TLD system can be modeled through the Housner model and its parameters can be estimated by solving a nonlinear state estimation problem. We propose a robust extended Kalman filter which alleviates the model discretization and the fact that the noise process is not known. We test the effectiveness of the proposed approach by using some experimental data corresponding to two classical seismic waves, namely the El Centro wave and the Hachinohe wave.


title: Preparation and characterization of Fe-incorporated TiO$_2$ thin films: A study of optical constants and dispersion energy parameters

abstract: In this study, we have delineated the preparation and influence of Fe doping on microstructural and optical properties of the pristine and Fe incorporated TiO$_2$ thin film with different Fe concentrations (0, 2, 4, 6, and 8 at.% ). The samples are prepared by easier and cost-saving way of spray pyrolysis technique (SPT) using Ti(OCH$_2$CH$_2$CH$_2$CH$_3$)$_4$ as a precursor of mother material. The effect of Fe in the microstructure and phase formation of TiO$_2$ thin films is investigated by XRD analysis. XRD investigation depicts that the pristine product corresponds to anatase phase of TiO$_2$ and remains uncontaminated with addition of 2 at.% Fe impurity. It is also observed that Fe introduces a phase transition from anatase to rutile after adulterating more Fe contents (4, 6 and 8 at.%). In order to study optical characteristics, UVvis spectroscopy has been employed which revels that UV absorption for the Fe incorporated TiO$_2$ products are noticed to move to a longer wavelength (red shift) and Fe contents lessen bandgap energy from 3.81eV (0 at.% Fe) to 3.70 eV (8 at.% Fe) of the TiO$_2$ thin films. The impact of Fe on the optical constants such as refractive index, complex dielectric constants, $\tan\delta$, VELF and SELF, dispersion parameters of obtained titanium dioxide samples has been studied. The results display that Fe influences the structural and optical characteristics significantly.


title: Effects of strong correlations on the nonlinear response in Weyl-Kondo semimetals

abstract: Nonlinear responses give rise to various exciting phenomena, which are forbidden in linear responses. Among them, one of the most fascinating phenomena is the recently observed giant spontaneous Hall effect in $\mathrm{Ce_{3}Bi_{4}Pd_{3}}$. This material is a promising candidate for a Weyl-Kondo semimetal, and this experiment implies that strong correlation effects can enhance the nonlinear Hall effect. However, most theoretical studies on nonlinear responses have been limited to free systems, and the connection between nonlinear responses and strong correlation effects is poorly understood. Motivated by these experiments and recent theoretical advances to analyze strong correlation effects on the nonlinear response, we study a periodic Anderson model describing $\mathrm{Ce_{3}Bi_{4}Pd_{3}}$ using the dynamical mean-field theory. We calculate the nonlinear longitudinal conductivity and the nonlinear Hall conductivity using the Kubo formula extended to the nonlinear response regime and clarify their temperature dependences. We numerically show that strong correlations can enhance nonlinear conductivities, and we conclude that the magnitude of the experimentally observed giant nonlinear Hall effect can be explained by strong correlation effects.


title: On $H^*(BPU_n; \mathbb{Z})$ and Weyl group invariants

abstract: For the projective unitary group $PU_n$ with a maximal torus $T_{PU_n}$ and Weyl group $W$, we show that the integral restriction homomorphism \[\rho_{PU_n} \colon H^*(BPU_n;\mathbb{Z})\rightarrow H^*(BT_{PU_n};\mathbb{Z})^W\] to the integral invariants of the Weyl group action is onto. We also present several rings naturally isomorphic to $H^*(BT_{PU_n};\mathbb{Z})^W$. In addition we give general sufficient conditions for the restriction homomorphism $\rho_G$ to be onto for a connected compact Lie group $G$.


title: High elasticity and strength of ultra-thin metallic transition metal dichalcogenides

abstract: Mechanical properties of transition metal dichalcogenides (TMDCs) are relevant to their prospective applications in flexible electronics. So far, the focus has been on the semiconducting TMDCs, mostly MoX2 and WX2 (X=S, Se) due to their potential in optoelectronics. A comprehensive understanding of the elastic properties of metallic TMDCs is needed to complement the semiconducting TMDCs in flexible optoelectronics. Thus, mechanical testing of metallic TMDCs is pertinent to the realization of the applications. Here, we report on the atomic force microscopy-based nano-indentation measurements on ultra-thin 2H-TaS2 crystals to elucidate the stretching and breaking of the metallic TMDCs. We explored the elastic properties of 2H-TaS2 at different thicknesses ranging from 3.5 nm to 12.6 nm and find that the Young's modulus is independent of the thickness at a value of 85.9 +- 10.6 GPa, which is lower than the semiconducting TMDCs reported so far. We determined the breaking strength as 5.07 4- 0.10 GPa which is 6% of the Young's modulus. This value is comparable to that of other TMDCs. We used ab initio calculations to provide an insight to the high elasticity measured in 2H-TaS2. We also performed measurements on a small number of 1T-TaTe2, 3R-NbS2 and 1T-NbTe2 samples and extended our ab initio calculations to these materials to gain a deeper understanding on the elastic and breaking properties of metallic TMDCs. This work illustrates that the studied metallic TMDCs are suitable candidates to be used as additives in composites as functional and structural elements and for flexible conductive electronic devices.


title: Transfer Learning-Based Model Protection With Secret Key

abstract: We propose a novel method for protecting trained models with a secret key so that unauthorized users without the correct key cannot get the correct inference. By taking advantage of transfer learning, the proposed method enables us to train a large protected model like a model trained with ImageNet by using a small subset of a training dataset. It utilizes a learnable encryption step with a secret key to generate learnable transformed images. Models with pre-trained weights are fine-tuned by using such transformed images. In experiments with the ImageNet dataset, it is shown that the performance of a protected model was close to that of a non-protected model when the correct key was given, while the accuracy tremendously dropped when an incorrect key was used. The protected model was also demonstrated to be robust against key estimation attacks.


title: Meta Learning Black-Box Population-Based Optimizers

abstract: The no free lunch theorem states that no model is better suited to every problem. A question that arises from this is how to design methods that propose optimizers tailored to specific problems achieving state-of-the-art performance. This paper addresses this issue by proposing the use of meta-learning to infer population-based black-box optimizers that can automatically adapt to specific classes of problems. We suggest a general modeling of population-based algorithms that result in Learning-to-Optimize POMDP (LTO-POMDP), a meta-learning framework based on a specific partially observable Markov decision process (POMDP). From that framework's formulation, we propose to parameterize the algorithm using deep recurrent neural networks and use a meta-loss function based on stochastic algorithms' performance to train efficient data-driven optimizers over several related optimization tasks. The learned optimizers' performance based on this implementation is assessed on various black-box optimization tasks and hyperparameter tuning of machine learning models. Our results revealed that the meta-loss function encourages a learned algorithm to alter its search behavior so that it can easily fit into a new context. Thus, it allows better generalization and higher sample efficiency than state-of-the-art generic optimization algorithms, such as the Covariance matrix adaptation evolution strategy (CMA-ES).


title: Hot-Carrier Cooling in High-Quality Graphene is Intrinsically Limited by Optical Phonons

abstract: Many promising optoelectronic devices, such as broadband photodetectors, nonlinear frequency converters, and building blocks for data communication systems, exploit photoexcited charge carriers in graphene. For these systems, it is essential to understand, and eventually control, the cooling dynamics of the photoinduced hot-carrier distribution. There is, however, still an active debate on the different mechanisms that contribute to hot-carrier cooling. In particular, the intrinsic cooling mechanism that ultimately limits the cooling dynamics remains an open question. Here, we address this question by studying two technologically relevant systems, consisting of high-quality graphene with a mobility >10,000 cm$^2$V$^{-1}$s$^{-1}$ and environments that do not efficiently take up electronic heat from graphene: WSe$_2$-encapsulated graphene and suspended graphene. We study the cooling dynamics of these two high-quality graphene systems using ultrafast pump-probe spectroscopy at room temperature. Cooling via disorder-assisted acoustic phonon scattering and out-of-plane heat transfer to the environment is relatively inefficient in these systems, predicting a cooling time of tens of picoseconds. However, we observe much faster cooling, on a timescale of a few picoseconds. We attribute this to an intrinsic cooling mechanism, where carriers in the hot-carrier distribution with enough kinetic energy emit optical phonons. During phonon emission, the electronic system continuously re-thermalizes, re-creating carriers with enough energy to emit optical phonons. We develop an analytical model that explains the observed dynamics, where cooling is eventually limited by optical-to-acoustic phonon coupling. These fundamental insights into the intrinsic cooling mechanism of hot carriers in graphene will play a key role in guiding the development of graphene-based optoelectronic devices.


title: The Observation of Ferroelastic and Ferrielectric Domains in AgNbO3 Single Crystal

abstract: Compared to AgNbO3 based ceramics, the experimental investigations on the single crystalline AgNbO3, especially the ground state and ferroic domain structures, are not on the same level. Here in this work, based on successfully synthesized AgNbO3 single crystal using flux method, we observed the coexistence of ferroelastic and ferrielectric domain structures by a combination study of polarized light microscopy and piezoresponse force microscope, this finding may provide a new aspect for studying AgNbO3. The result also suggests a weak electromechanical response from the ferrielectric phase of AgNbO3 which is also supported by the transmission electron microscope characterization. Our results reveal that the AgNbO3 single crystal is in a polar ferrielectric phase at room temperature, clarifying its ground state which is controversial from the AgNbO3 ceramic materials.


title: A Hybrid CNN-BiLSTM Voice Activity Detector

abstract: This paper presents a new hybrid architecture for voice activity detection (VAD) incorporating both convolutional neural network (CNN) and bidirectional long short-term memory (BiLSTM) layers trained in an end-to-end manner. In addition, we focus specifically on optimising the computational efficiency of our architecture in order to deliver robust performance in difficult in-the-wild noise conditions in a severely under-resourced setting. Nested k-fold cross-validation was used to explore the hyperparameter space, and the trade-off between optimal parameters and model size is discussed. The performance effect of a BiLSTM layer compared to a unidirectional LSTM layer was also considered. We compare our systems with three established baselines on the AVA-Speech dataset. We find that significantly smaller models with near optimal parameters perform on par with larger models trained with optimal parameters. BiLSTM layers were shown to improve accuracy over unidirectional layers by $\approx$2% absolute on average. With an area under the curve (AUC) of 0.951, our system outperforms all baselines, including a much larger ResNet system, particularly in difficult noise conditions.


title: Cyber Threat Intelligence Model: An Evaluation of Taxonomies, Sharing Standards, and Ontologies within Cyber Threat Intelligence

abstract: Cyber threat intelligence is the provision of evidence-based knowledge about existing or emerging threats. Benefits from threat intelligence include increased situational awareness, efficiency in security operations, and improved prevention, detection, and response capabilities. To process, correlate, and analyze vast amounts of threat information and data and derive intelligence that can be shared and consumed in meaningful times, it is required to utilize structured, machine-readable formats that incorporate the industry-required expressivity while at the same time being unambiguous. To a large extent, this is achieved with technologies like ontologies, schemas, and taxonomies. This research evaluates the coverage and high-level conceptual expressivity of cyber-threat-intelligence-relevant ontologies, sharing standards, and taxonomies pertaining to the who, what, why, where, when, and how elements of threats and attacks in addition to courses of action and technical indicators. The results confirm that little emphasis has been given to developing a comprehensive cyber threat intelligence ontology, with existing efforts being not thoroughly designed, non-interoperable, ambiguous, and lacking proper semantics and axioms for reasoning.


title: Spatio-Temporal Decomposition of Sum-of-Squares Programs for the Region of Attraction and Reachability

abstract: This paper presents a method for calculating Region of Attraction of a target set (not necessarily an equilibrium) for controlled polynomial dynamical systems, using a hierarchy of semidefinite programming problems (SDPs). Our approach builds on previous work and addresses its main issue, the fast-growing memory demands for solving large-scale SDPs. The main idea in this work is in dissecting the original resource-demanding problem into multiple smaller, interconnected, and easier to solve problems. This is achieved by spatio-temporal splitting akin to methods based on partial differential equations. We show that the splitting procedure retains the convergence and outer-approximation guarantees of the previous work, while achieving higher precision in less time and with smaller memory footprint.


title: Deep Generative Pattern-Set Mixture Models for Nonignorable Missingness

abstract: We propose a variational autoencoder architecture to model both ignorable and nonignorable missing data using pattern-set mixtures as proposed by Little (1993). Our model explicitly learns to cluster the missing data into missingness pattern sets based on the observed data and missingness masks. Underpinning our approach is the assumption that the data distribution under missingness is probabilistically semi-supervised by samples from the observed data distribution. Our setup trades off the characteristics of ignorable and nonignorable missingness and can thus be applied to data of both types. We evaluate our method on a wide range of data sets with different types of missingness and achieve state-of-the-art imputation performance. Our model outperforms many common imputation algorithms, especially when the amount of missing data is high and the missingness mechanism is nonignorable.


title: Existence and congruence of global attractors for damped and forced integrable and nonintegrable discrete nonlinear Schr\"odinger equations

abstract: We study two damped and forced discrete nonlinear Schr\"odinger equations on the one-dimensional infinite lattice. Without damping and forcing they are represented by the integrable Ablowitz-Ladik equation (AL) featuring non-local cubic nonlinear terms, and its standard (nonintegrable) counterpart with local cubic nonlinear terms (DNLS). The global existence of a unique solution to the initial value problem for both, the damped and forced AL and DNLS, is proven. It is further shown that for sufficiently close initial data, their corresponding solutions stay close for all times. Concerning the asymptotic behaviour of the solutions to the damped and forced AL and DNLS, for the former a sufficient condition for the existence of a restricted global attractor is established while it is shown that the latter possesses a global attractor. Finally, we prove the congruence of the restricted global AL attractor and the DNLS attractor for dynamics ensuing from initial data contained in an appropriate bounded subset in a Banach space.


title: Assessment of a hybrid software development process for student projects: a controlled experiment

abstract: In recent years, a vivid interest in hybrid development methods has been observed as practitioners combine various approaches to software creation to improve productivity, product quality, and adaptability of the process to react to change. Scientific papers on the subject proliferate, however evaluation of the effectiveness of hybrid methods in academic contexts has yet to follow. The work presented investigates if introducing a hybrid approach for student projects brings added value as compared to iterative and sequential development. A controlled experiment was carried out among Bachelor students of a French engineering school to assess the impacts of a given development method on the success of student computing undertakings. Its three dimensions were examined via a set of metrics: product quality, team productivity as well as human factors (teamwork quality & learning outcomes). Several patterns were observed, which can provide a starting point for educators and researchers wishing to tailor or design a software development process for academic needs.


title: Preparing random states and benchmarking with many-body quantum chaos

abstract: Producing quantum states at random has become increasingly important in modern quantum science, with applications both theoretical and practical. In particular, ensembles of such randomly-distributed, but pure, quantum states underly our understanding of complexity in quantum circuits and black holes, and have been used for benchmarking quantum devices in tests of quantum advantage. However, creating random ensembles has necessitated a high degree of spatio-temporal control, placing such studies out of reach for a wide class of quantum systems. Here we solve this problem by predicting and experimentally observing the emergence of random state ensembles naturally under time-independent Hamiltonian dynamics, which we use to implement an efficient, widely applicable benchmarking protocol. The observed random ensembles emerge from projective measurements and are intimately linked to universal correlations built up between subsystems of a larger quantum system, offering new insights into quantum thermalization. Predicated on this discovery, we develop a fidelity estimation scheme, which we demonstrate for a Rydberg quantum simulator with up to 25 atoms using fewer than 10^4 experimental samples. This method has broad applicability, as we show for Hamiltonian parameter estimation, target-state generation benchmarking, and comparison of analog and digital quantum devices. Our work has implications for understanding randomness in quantum dynamics, and enables applications of this concept in a much wider context.

categories: quant-ph cond-mat.quant-gas cond-mat.stat-mech physics.atom-ph


title: Emergent quantum state designs from individual many-body wavefunctions

abstract: Quantum chaos in many-body systems provides a bridge between statistical and quantum physics with strong predictive power. This framework is valuable for analyzing properties of complex quantum systems such as energy spectra and the dynamics of thermalization. While contemporary methods in quantum chaos often rely on random ensembles of quantum states and Hamiltonians, this is not reflective of most real-world systems. In this paper, we introduce a new perspective: across a wide range of examples, a single non-random quantum state is shown to encode universal and highly random quantum state ensembles. We characterize these ensembles using the notion of quantum state $k$-designs from quantum information theory and investigate their universality using a combination of analytic and numerical techniques. In particular, we establish that $k$-designs arise naturally from generic states as well as individual states associated with strongly interacting, time-independent Hamiltonian dynamics. Our results offer a new approach for studying quantum chaos and provide a practical method for sampling approximately uniformly random states; the latter has wide-ranging applications in quantum information science from tomography to benchmarking.

categories: quant-ph cond-mat.stat-mech cond-mat.str-el hep-th physics.atom-ph


title: Interactively Constructing Knowledge Graphs from Messy User-Generated Spreadsheets

abstract: When spreadsheets are filled freely by knowledge workers, they can contain rather unstructured content. For humans and especially machines it becomes difficult to interpret such data properly. Therefore, spreadsheets are often converted to a more explicit, formal and structured form, for example, to a knowledge graph. However, if a data maintenance strategy has been missing and user-generated data becomes "messy", the construction of knowledge graphs will be a challenging task. In this paper, we catalog several of those challenges and propose an interactive approach to solve them. Our approach includes a graphical user interface which enables knowledge engineers to bulk-annotate spreadsheet cells with extracted information. Based on the cells' annotations a knowledge graph is ultimately formed. Using five spreadsheets from an industrial scenario, we built a 25k-triple graph during our evaluation. We compared our method with the state-of-the-art RDF Mapping Language (RML) attempt. The comparison highlights contributions of our approach.


title: Bayesian spatio-temporal models for stream networks

abstract: Spatio-temporal models are widely used in many research areas including ecology. The recent proliferation of the use of in-situ sensors in streams and rivers supports space-time water quality modelling and monitoring in near real-time. A new family of spatio-temporal models is introduced. These models incorporate spatial dependence using stream distance while temporal autocorrelation is captured using vector autoregression approaches. Several variations of these novel models are proposed using a Bayesian framework. The results show that our proposed models perform well using spatio-temporal data collected from real stream networks, particularly in terms of out-of-sample RMSPE. This is illustrated considering a case study of water temperature data in the northwestern United States.


title: Extend the FFmpeg Framework to Analyze Media Content

abstract: This paper introduces a new set of video analytics plugins developed for the FFmpeg framework. Multimedia applications that increasingly utilize the FFmpeg media features for its comprehensive media encoding, decoding, muxing, and demuxing capabilities can now additionally analyze the video content based on AI models. The plugins are thread optimized for best performance overcoming certain FFmpeg threading limitations. The plugins utilize the Intel OpenVINO Toolkit inference engine as the backend. The analytics workloads are accelerated on different platforms such as CPU, GPU, FPGA or specialized analytics accelerators. With our reference implementation, the feature of OpenVINO as inference backend has been pushed into FFmpeg mainstream repository. We plan to submit more patches later.


title: Iterative DNA Coding Scheme With GC Balance and Run-Length Constraints Using a Greedy Algorithm

abstract: In this paper, we propose a novel iterative encoding algorithm for DNA storage to satisfy both the GC balance and run-length constraints using a greedy algorithm. DNA strands with run-length more than three and the GC balance ratio far from 50\% are known to be prone to errors. The proposed encoding algorithm stores data at high information density with high flexibility of run-length at most $m$ and GC balance between $0.5\pm\alpha$ for arbitrary $m$ and $\alpha$. More importantly, we propose a novel mapping method to reduce the average bit error compared to the randomly generated mapping method, using a greedy algorithm. The proposed algorithm is implemented through iterative encoding, consisting of three main steps: randomization, M-ary mapping, and verification. The proposed algorithm has an information density of 1.8523 bits/nt in the case of $m=3$ and $\alpha=0.05$. Also, the proposed algorithm is robust to error propagation, since the average bit error caused by the one nt error is 2.3455 bits, which is reduced by $20.5\%$, compared to the randomized mapping.


title: Multilingual Byte2Speech Models for Scalable Low-resource Speech Synthesis

abstract: To scale neural speech synthesis to various real-world languages, we present a multilingual end-to-end framework that maps byte inputs to spectrograms, thus allowing arbitrary input scripts. Besides strong results on 40+ languages, the framework demonstrates capabilities to adapt to new languages under extreme low-resource and even few-shot scenarios of merely 40s transcribed recording, without the need of per-language resources like lexicon, extra corpus, auxiliary models, or linguistic expertise, thus ensuring scalability. While it retains satisfactory intelligibility and naturalness matching rich-resource models. Exhaustive comparative and ablation studies are performed to reveal the potential of the framework for low-resource languages. Furthermore, we propose a novel method to extract language-specific sub-networks in a multilingual model for a better understanding of its mechanism.


title: LoRa Backscatter Assisted State Estimator for Micro Aerial Vehicles with Online Initialization

abstract: The advances in agile micro aerial vehicles (MAVs) have shown great potential in replacing humans for labor-intensive or dangerous indoor investigation, such as warehouse management and fire rescue. However, the design of a state estimation system that enables autonomous flight poses fundamental challenges in such dim or smoky environments. Current dominated computer-vision based solutions only work in well-lighted texture-rich environments. This paper addresses the challenge by proposing Marvel, an RF backscatter-based state estimation system with online initialization and calibration. Marvel is nonintrusive to commercial MAVs by attaching backscatter tags to their landing gears without internal hardware modifications, and works in a plug-and-play fashion with an automatic initialization module. Marvel is enabled by three new designs, a backscatter-based pose sensing module, an online initialization and calibration module, and a backscatter-inertial super-accuracy state estimation algorithm. We demonstrate our design by programming a commercial MAV to autonomously fly in different trajectories. The results show that Marvel supports navigation within a range of 50 m or through three concrete walls, with an accuracy of 34 cm for localization and 4.99 degrees for orientation estimation. We further demonstrate our online initialization and calibration by comparing to the perfect initial parameter measurements from burdensome manual operations.


title: Artificial Neural Networks generated by Low Discrepancy Sequences

abstract: Artificial neural networks can be represented by paths. Generated as random walks on a dense network graph, we find that the resulting sparse networks allow for deterministic initialization and even weights with fixed sign. Such networks can be trained sparse from scratch, avoiding the expensive procedure of training a dense network and compressing it afterwards. Although sparse, weights are accessed as contiguous blocks of memory. In addition, enumerating the paths using deterministic low discrepancy sequences, for example the Sobol' sequence, amounts to connecting the layers of neural units by progressive permutations, which naturally avoids bank conflicts in parallel computer hardware. We demonstrate that the artificial neural networks generated by low discrepancy sequences can achieve an accuracy within reach of their dense counterparts at a much lower computational complexity.


title: Challenges of engineering safe and secure highly automated vehicles

abstract: After more than a decade of intense focus on automated vehicles, we are still facing huge challenges for the vision of fully autonomous driving to become a reality. The same "disillusionment" is true in many other domains, in which autonomous Cyber-Physical Systems (CPS) could considerably help to overcome societal challenges and be highly beneficial to society and individuals. Taking the automotive domain, i.e. highly automated vehicles (HAV), as an example, this paper sets out to summarize the major challenges that are still to overcome for achieving safe, secure, reliable and trustworthy highly automated resp. autonomous CPS. We constrain ourselves to technical challenges, acknowledging the importance of (legal) regulations, certification, standardization, ethics, and societal acceptance, to name but a few, without delving deeper into them as this is beyond the scope of this paper. Four challenges have been identified as being the main obstacles to realizing HAV: Realization of continuous, post-deployment systems improvement, handling of uncertainties and incomplete information, verification of HAV with machine learning components, and prediction. Each of these challenges is described in detail, including sub-challenges and, where appropriate, possible approaches to overcome them. By working together in a common effort between industry and academy and focusing on these challenges, the authors hope to contribute to overcome the "disillusionment" for realizing HAV.


title: A modified discrepancy principle to attain optimal convergence rates under unknown noise

abstract: We consider a linear ill-posed equation in the Hilbert space setting. Multiple independent unbiased measurements of the right hand side are available. A natural approach is to take the average of the measurements as an approximation of the right hand side and to estimate the data error as the inverse of the square root of the number of measurements. We calculate the optimal convergence rate (as the number of measurements tends to infinity) under classical source conditions and introduce a modified discrepancy principle, which asymptotically attains this rate.


title: Method for estimating charge breeder ECR ion source plasma parameters with short pulse 1+ injection

abstract: A new method for determining plasma parameters from beam current transients resulting from short pulse 1+ injection into a Charge Breeder Electron Cyclotron Resonance Ion Source (CB-ECRIS) has been developed. The proposed method relies on few assumptions, and yields the ionisation times $1/n_e\left\langle\sigma v\right\rangle^{\text{inz}}_{q\to q+1}$, charge exchange times $1/n_0\left\langle\sigma v\right\rangle^{\text{cx}}_{q\to q-1}$, the ion confinement times $\tau^q$, as well as the plasma energy contents $n_e\left\langle E_e\right\rangle$ and the plasma triple products $n_e \left\langle E_e\right\rangle \tau^q$. The method is based on fitting the current balance equation on the extracted beam currents of high charge state ions, and using the fitting coefficients to determine the postdictions for the plasma parameters via an optimisation routine. The method has been applied for the charge breeding of injected K$^+$ ions in helium plasma. It is shown that the confinement times of K$^{q+}$ charge states range from 2.6$^{+0.8}_{-0.4}$ ms to 16.4$^{+18.3}_{-6.8}$ ms increasing with the charge state. The ionisation and charge exchange times for the high charge state ions are 2.6$^{+0.5}_{-0.5}$ ms--12.6$^{+2.6}_{-3.2}$ ms and 3.7$^{+5.0}_{-1.6}$ ms--357.7$^{+406.7}_{-242.4}$ ms, respectively. The plasma energy content is found to be $2.5^{+4.3}_{-1.8}\times 10^{15}$ eV/cm$^3$.


title: Structure-Enhanced Meta-Learning For Few-Shot Graph Classification

abstract: Graph classification is a highly impactful task that plays a crucial role in a myriad of real-world applications such as molecular property prediction and protein function prediction.Aiming to handle the new classes with limited labeled graphs, few-shot graph classification has become a bridge of existing graph classification solutions and practical usage.This work explores the potential of metric-based meta-learning for solving few-shot graph classification.We highlight the importance of considering structural characteristics in the solution and propose a novel framework which explicitly considers global structure and local structure of the input graph. An implementation upon GIN, named SMF-GIN, is tested on two datasets, Chembl and TRIANGLES, where extensive experiments validate the effectiveness of the proposed method. The Chembl is constructed to fill in the gap of lacking large-scale benchmark for few-shot graph classification evaluation, which is released together with the implementation of SMF-GIN at: https://github.com/jiangshunyu/SMF-GIN.


title: Searching for heavy neutrino in terms of tau lepton at future hadron collider

abstract: The tau lepton plays important role in the correlation between the low-energy neutrino oscillation data and the lepton flavor structure in heavy neutrino decay. We investigate the lepton flavor signatures with tau lepton at hadron collider through lepton number violating (LNV) processes. In the Type I Seesaw with U$(1)_{\rm B-L}$ extension, we study the pair production of heavy neutrinos via a $Z'$ resonance. We present a detailed assessment of the search sensitivity to the channels with tau lepton in the subsequent decay of heavy neutrinos. For the benchmark model with $Z'$ only coupled to the third generation fermions, we find that the future circular collider (FCC-hh) can discover the LNV signal with tau lepton for $M_{Z'}$ up to 2.2 (3) TeV with the gauge coupling $g'=0.6$ and the integrated luminosity of 3 (30) ab$^{-1}$. The test on the flavor combinations of SM charged leptons would reveal the specific nature of different heavy neutrinos.


title: Generalization of the Ehrling inequality and universal characterization of completely continuous operators

abstract: The present work is devoted to an extension of the well-known Ehrling inequalities, which quantitatively characterize compact embeddings of function spaces, to more general operators. Firstly, a modified notion of continuity for linear operators, named \emph{Ehrling continuity} and inspired by the classical Ehrling inequality, is introduced, and then, a necessary and sufficient condition for Ehrling continuity is provided via arguments based on general topology. Secondly, general completely continuous operators between normed spaces are characterized in terms of (generalized) Ehrling type inequalities. To this end, the well-known local metrization of the weak topology (so to speak, a \emph{very weak norm}) plays a crucial role. Thanks to these results, a universal relation is observed among complete continuity, the very weak norm and generalized Ehrling type inequality.


title: Fano enhancement of second harmonic field via dark-bright plasmon coupling

abstract: Surface plasmon resonances, the coherent oscillation of free electrons, can concentrate incident field into small volumes much smaller than the incident wavelength. The intense fields at these \textit{hot spots} enhance the light-matter interactions and may lead to the appearance of nonlinearity. Controlling such nonlinearities is significant for various practical applications. Here we report that by coupling dark modes to the first and the generated second harmonic modes separately, one can gain control over both fields. We find that by engineering path interferences (Fano resonances) between bright and dark plasmon modes it is possible to enhance the fundamental mode without increasing the nonlinear field, enhance the nonlinear field without modifying the fundamental mode, and enhance the second harmonic field with enhanced fundamental mode.


title: Electronic structures and topological phases of magnetic layered materials MnBi2Te4, MnBi2Se4 and MnSb2Te4

abstract: First-principles calculations are performed to study the electronic structures and topological phases of magnetic layered materials MnBi2Te4, MnBi2Se4 and MnSb2Te4 under different film thicknesses, strains and spin-orbit coupling (SOC) strengths. All these compounds energetically prefer the antiferromagnetic (AFM) state. MnBi2Te4 and MnSb2Te4 bulks are AFM topological insulators (TIs) in the AFM state, while they become Weyl semimetals in the ferromagnetic (FM) state. MnBi2Se4 is trivially insulating in both the AFM and FM states, but it becomes an AFM TI or a Weyl semimetal with increasing SOC strength or applying compressive strains. Under equilibrium lattice constants, the FM MnBi2Te4 slabs thicker than two septuple layers (SLs), the AFM MnBi2Te4 slabs thicker than three SLs and the FM MnSb2Te4 slabs thicker than five SLs are all Chern insulators. In addition, Chern insulators can also be obtained by compressing the in-plane lattice constants of the FM MnBi2Se4 slabs thicker than four SLs and the FM MnSb2Te4 slabs of three or four SLs, but cannot be obtained using the same method in the AFM slabs of these two materials. In-plane tensile strains about 1% to 2% turn the Chern insulators into trivial insulators.


title: Sub-convexity bound for $GL(3) \times GL(2)$ $L$-functions: Hybrid level aspect

abstract: Let $F$ be a $G L(3)$ Hecke-Maass cusp form of prime level $P_1$ and let $f$ be a $G L(2)$ Hecke-Maass cuspform of prime level $P_2$. In this article, we will prove a subconvex bound for the $G L(3) \times G L(2)$ Rankin-Selberg $L$-function $L(s,F\times f)$ in the level aspect for certain ranges of the parameters $P_1$ and $P_2$.


title: A Reduced basis stabilization for the unsteady Stokes and Navier-Stokes equations

abstract: In the Reduced Basis approximation of Stokes and Navier-Stokes problems, the Galerkin projection on the reduced spaces does not necessarily preserved the inf-sup stability even if the snapshots were generated through a stable full order method. Therefore, in this work we aim at building a stabilized Reduced Basis (RB) method for the approximation of unsteady Stokes and Navier-Stokes problems in parametric reduced order settings. This work extends the results presented for parametrized steady Stokes and Navier-Stokes problems in a work of ours \cite{Ali2018}. We apply classical residual-based stabilization techniques for finite element methods in full order, and then the RB method is introduced as Galerkin projection onto RB space. We compare this approach with supremizer enrichment options through several numerical experiments. We are interested to (numerically) guarantee the parametrized reduced inf-sup condition and to reduce the online computational costs.