title: Reconfigurable Intelligent Surfaces and Capacity Optimization: A Large System Analysis

abstract: Reconfigurable Intelligent Surfaces (RISs), comprising large numbers of low-cost and almost passive metamaterials with tunable reflection properties, have been recently proposed as an enabling technology for programmable wireless propagation environments. In this paper, we present asymptotic closed-form expressions for the mean and variance of the mutual information metric for a multi-antenna transmitter-receiver pair in the presence of multiple RISs, using methods from statistical physics. While nominally valid in the large system limit, we show that the derived Gaussian approximation for the mutual information can be quite accurate, even for modest-sized antenna arrays and metasurfaces. The above results are particularly useful when fast-fading conditions are present, which renders instantaneous channel estimation extremely challenging. We find that, when the channel close to an RIS is correlated, for instance due to small angle spread, which is reasonable for wireless systems with increasing carrier frequencies, the communication link benefits significantly from statistical RIS phase optimization, resulting in gains that are surprisingly higher than the nearly uncorrelated case. Using our novel asymptotic properties of the correlation matrices of the impinging and outgoing signals at the RISs, we can optimize the metasurfaces without brute-force numerical optimization. Furthermore, when the desired reflection from any of the RISs departs significantly from geometrical optics, the metasurfaces can be optimized to provide robust communication links, without significant need for their optimal placement.


title: Applications of a space-time FOSLS formulation for parabolic PDEs

abstract: In this work, we show that the space-time first-order system least-squares (FOSLS) formulation [F\"uhrer, Karkulik, Comput. Math. Appl. 92 (2021)] for the heat equation and its recent generalization [Gantner, Stevenson, ESAIM Math. Model. Numer. Anal. 55 (2021)] to arbitrary second-order parabolic PDEs can be used to efficiently solve parameter-dependent problems, optimal control problems, and problems on time-dependent spatial domains.


title: Pretrained Language Encoders are Natural Tagging Frameworks for Aspect Sentiment Triplet Extraction

abstract: Aspect Sentiment Triplet Extraction (ASTE) aims to extract the spans of aspect, opinion, and their sentiment relations as sentiment triplets. Existing works usually formulate the span detection as a 1D token tagging problem, and model the sentiment recognition with a 2D tagging matrix of token pairs. Moreover, by leveraging the token representation of Pretrained Language Encoders (PLEs) like BERT, they can achieve better performance. However, they simply leverage PLEs as feature extractors to build their modules but never have a deep look at what specific knowledge does PLEs contain. In this paper, we argue that instead of further designing modules to capture the inductive bias of ASTE, PLEs themselves contain "enough" features for 1D and 2D tagging: (1) The token representation contains the contextualized meaning of token itself, so this level feature carries necessary information for 1D tagging. (2) The attention matrix of different PLE layers can further capture multi-level linguistic knowledge existing in token pairs, which benefits 2D tagging. (3) Furthermore, with simple transformations, these two features can also be easily converted to the 2D tagging matrix and 1D tagging sequence, respectively. That will further boost the tagging results. By doing so, PLEs can be natural tagging frameworks and achieve a new state of the art, which is verified by extensive experiments and deep analyses.


title: Fully Automated End-to-End Fake Audio Detection

abstract: The existing fake audio detection systems often rely on expert experience to design the acoustic features or manually design the hyperparameters of the network structure. However, artificial adjustment of the parameters can have a relatively obvious influence on the results. It is almost impossible to manually set the best set of parameters. Therefore this paper proposes a fully automated end-toend fake audio detection method. We first use wav2vec pre-trained model to obtain a high-level representation of the speech. Furthermore, for the network structure, we use a modified version of the differentiable architecture search (DARTS) named light-DARTS. It learns deep speech representations while automatically learning and optimizing complex neural structures consisting of convolutional operations and residual blocks. The experimental results on the ASVspoof 2019 LA dataset show that our proposed system achieves an equal error rate (EER) of 1.08%, which outperforms the state-of-the-art single system.


title: A Novel Hybrid Sampling Framework for Imbalanced Learning

abstract: Class imbalance is a frequently occurring scenario in classification tasks. Learning from imbalanced data poses a major challenge, which has instigated a lot of research in this area. Data preprocessing using sampling techniques is a standard approach to deal with the imbalance present in the data. Since standard classification algorithms do not perform well on imbalanced data, the dataset needs to be adequately balanced before training. This can be accomplished by oversampling the minority class or undersampling the majority class. In this study, a novel hybrid sampling algorithm has been proposed. To overcome the limitations of the sampling techniques while ensuring the quality of the retained sampled dataset, a sophisticated framework has been developed to properly combine three different sampling techniques. Neighborhood Cleaning rule is first applied to reduce the imbalance. Random undersampling is then strategically coupled with the SMOTE algorithm to obtain an optimal balance in the dataset. This proposed hybrid methodology, termed "SMOTE-RUS-NC", has been compared with other state-of-the-art sampling techniques. The strategy is further incorporated into the ensemble learning framework to obtain a more robust classification algorithm, termed "SRN-BRF". Rigorous experimentation has been conducted on 26 imbalanced datasets with varying degrees of imbalance. In virtually all datasets, the proposed two algorithms outperformed existing sampling strategies, in many cases by a substantial margin. Especially in highly imbalanced datasets where popular sampling techniques failed utterly, they achieved unparalleled performance. The superior results obtained demonstrate the efficacy of the proposed models and their potential to be powerful sampling algorithms in imbalanced domain.


title: Preparation of a quantum degenerate mixture of $^{23}$Na$^{40}$K molecules and $^{40}$K atoms

abstract: We report on the preparation of a quantum degenerate mixture of $^{23}$Na$^{40}$K molecules and $^{40}$K atoms. A deeply degenerate atomic mixture of $^{23}$Na and $^{40}$K atoms with a large number ratio ($N_F/N_B\approx 6$) is prepared by the mode-matching loading of atoms from a cloverleaf-type magnetic trap into a large-volume horizontal optical dipole trap and evaporative cooling in a large-volume three-beam optical dipole trap. About $3.0\times10^4$ $^{23}$Na$^{40}$K ground-state molecules are created through magneto-association followed by stimulated adiabatic Raman passage. The 2D density distribution of the molecules is fit to the Fermi-Dirac distribution with $T/T_F\approx0.4-0.5$. In the atom-molecule mixture, the elastic collisions provide a thermalization mechanism for the molecules. In a few tens of milliseconds which are larger than the typical thermalization time, the degeneracy of the molecules is maintained, which may be due to the Pauli exclusion principle. The quantum degenerate mixture of $^{23}$Na$^{40}$K molecules and $^{40}$K atoms can be used to study strongly interacting atom-molecule mixtures and to prepare ultracold triatomic molecular gases.


title: High-precision QCD physics at FCC-ee

abstract: The Future Circular Collider (FCC) is a post-LHC project aiming at direct and indirect searches for physics beyond the SM in a new 100 km tunnel at CERN. In addition, the FCC-ee offers unique possibilities for high-precision studies of the strong interaction in the clean environment provided by $e^{+}e^{-}$ collisions, thanks to its broad span of center-of-mass energies ranging from the Z pole to the top-pair threshold, and its huge integrated luminosities yielding $10^{12}$ and $10^8$ jets from Z and W bosons decays, respectively, as well as $10^5$ pure gluon jets from Higgs boson decays. In this contribution, we will summarize studies on the impact the FCC-ee will have on our knowledge of the strong force including: (i) QCD coupling extractions with per-mille uncertainties, (ii) parton radiation and parton-to-hadron fragmentation functions, (iii) jet properties (ligh-quark-gluon discrimination, $e^{+}e^{-}$ event shapes and multijet rates, jet substructure, etc.), (iv) heavy-quark jets (dead cone effect, charm-bottom separation, gluon $\rightarrow c\bar{c}$, $b\bar{b}$ splitting, etc.); and (v) non-perturbative QCD phenomena (color reconnection, baryon and strangeness production, Bose-Einstein and Fermi-Dirac final-state correlations, etc.).


title: A formal power series over a noncommutative Hecke ring and the rationality of the Hecke series for $GSp_4$

abstract: The present paper studies Hecke rings derived by the automorphism groups of certain algebras $L_p$ over the ring of $p$-adic integers. Our previous work considered the case where $L_p$ is the Heisenberg Lie algebra (of dimension 3) over the ring of $p$-adic integers. Although this Hecke ring is noncommutative, we showed that a formal power series with coefficients in this Hecke ring satisfies an identity similar to the rationality of the Hecke series for $GL_2$ due to E.~Hecke. In the present paper, we establish an analogous result in the case of the Heisenberg Lie algebra of dimension 5 over the ring of $p$-adic integers. In this case, our identity is similar to the rationality of the Hecke series for $GSp_4$, due to G.~Shimura.


title: Learning to predict test effectiveness

abstract: The high cost of the test can be dramatically reduced, provided that the coverability as an inherent feature of the code under test is predictable. This article offers a machine learning model to predict the extent to which the test could cover a class in terms of a new metric called Coverageability. The prediction model consists of an ensemble of four regression models. The learning samples consist of feature vectors, where features are source code metrics computed for a class. The samples are labeled by the Coverageability values computed for their corresponding classes. We offer a mathematical model to evaluate test effectiveness in terms of size and coverage of the test suite generated automatically for each class. We extend the size of the feature space by introducing a new approach to defining sub-metrics in terms of existing source code metrics. Using feature importance analysis on the learned prediction models, we sort source code metrics in the order of their impact on the test effectiveness. As a result of which, we found the class strict cyclomatic complexity as the most influential source code metric. Our experiments with the prediction models on a large corpus of Java projects containing about 23,000 classes demonstrate the Mean Absolute Error (MAE) of 0.032, Mean Squared Error (MSE) of 0.004, and an R2-score of 0.855. Compared with the state-of-the-art coverage prediction models, our models improve MAE, MSE, and an R2-score by 5.78%, 2.84%, and 20.71%, respectively.


title: Resolving The Peak Of The Black Hole Mass Spectrum

abstract: Gravitational wave (GW) detections of binary black hole (BH) mergers have begun to sample the cosmic BH mass distribution. The evolution of single stellar cores predicts a gap in the BH mass distribution due to pair-instability supernova (PISN). Determining the upper and lower edges of the BH mass gap can be useful for interpreting GW detections from merging BHs. We use \MESA\ to evolve single, non-rotating, massive helium cores with a metallicity of $Z = 10^{-5}$ until they either collapse to form a BH or explode as a PISN without leaving a compact remnant. We calculate the boundaries of the lower BH mass gap for S-factors in the range S(300 keV) = (77,203) keV b, corresponding to the $\pm 3\sigma$ uncertainty in our high resolution tabulated $^{12}$C($\alpha$,$\gamma$)$^{16}$O reaction rate probability distribution function. We extensively test the temporal and mass resolution to resolve the theoretical peak of the BH mass spectrum across the BH mass gap. We explore the convergence with respect to convective mixing and nuclear burning, finding that significant time resolution is needed to achieve convergence. We also test adopting a minimum diffusion coefficient to help lower resolution models reach convergence. We establish a new lower edge of the upper mass gap as M\textsubscript{lower} $\simeq$\,60$^{+32}_{-14}$\,\Msun\ from the $\pm 3\sigma$ uncertainty in the $^{12}\text{C}(\alpha, \gamma) ^{16}\text{O}$ rate. We explore the effect of a larger 3-$\alpha$ rate on the lower edge of the upper mass gap, finding M\textsubscript{lower} $\simeq$\,69$^{+34}_{-18}$\,\Msun. We compare our results with BHs reported in the Gravitational-Wave Transient Catalog.


title: SPOT: Knowledge-Enhanced Language Representations for Information Extraction

abstract: Knowledge-enhanced pre-trained models for language representation have been shown to be more effective in knowledge base construction tasks (i.e.,~relation extraction) than language models such as BERT. These knowledge-enhanced language models incorporate knowledge into pre-training to generate representations of entities or relationships. However, existing methods typically represent each entity with a separate embedding. As a result, these methods struggle to represent out-of-vocabulary entities and a large amount of parameters, on top of their underlying token models (i.e.,~the transformer), must be used and the number of entities that can be handled is limited in practice due to memory constraints. Moreover, existing models still struggle to represent entities and relationships simultaneously. To address these problems, we propose a new pre-trained model that learns representations of both entities and relationships from token spans and span pairs in the text respectively. By encoding spans efficiently with span modules, our model can represent both entities and their relationships but requires fewer parameters than existing models. We pre-trained our model with the knowledge graph extracted from Wikipedia and test it on a broad range of supervised and unsupervised information extraction tasks. Results show that our model learns better representations for both entities and relationships than baselines, while in supervised settings, fine-tuning our model outperforms RoBERTa consistently and achieves competitive results on information extraction tasks.


title: Persuasion Strategies in Advertisements

abstract: Modeling what makes an advertisement persuasive, i.e., eliciting the desired response from consumer, is critical to the study of propaganda, social psychology, and marketing. Despite its importance, computational modeling of persuasion in computer vision is still in its infancy, primarily due to the lack of benchmark datasets that can provide persuasion-strategy labels associated with ads. Motivated by persuasion literature in social psychology and marketing, we introduce an extensive vocabulary of persuasion strategies and build the first ad image corpus annotated with persuasion strategies. We then formulate the task of persuasion strategy prediction with multi-modal learning, where we design a multi-task attention fusion model that can leverage other ad-understanding tasks to predict persuasion strategies. Further, we conduct a real-world case study on 1600 advertising campaigns of 30 Fortune-500 companies where we use our model's predictions to analyze which strategies work with different demographics (age and gender). The dataset also provides image segmentation masks, which labels persuasion strategies in the corresponding ad images on the test split. We publicly release our code and dataset https://midas-research.github.io/persuasion-advertisements/.


title: Phase Shift-Free Passive Beamforming for Reconfigurable Intelligent Surfaces

abstract: Reconfigurable intelligent surface (RIS)-assisted communications recently appeared as a game-changing technology for next-generation wireless communications due to its unprecedented ability to reform the propagation environment. One of the main aspects of using RISs is the exploitation of the so-called passive beamforming (PB), which is carried out by adjusting the reflection coefficients (mainly the phase shifts) of the individual RIS elements. However, practically, this individual phase shift adjustment is associated with many issues in hardware implementation, limiting the RIS achievable gain. In this paper, we propose a low-cost, phase shift-free and novel PB scheme by only optimizing the on/off states of the RIS elements while fixing their phase shifts. The proposed PB scheme is shown to achieve the same scaling law (quadratic growth with the RIS size) for the signal-to-noise ratio as in the classical phase shift-based PB scheme, yet, with far less sensitivity to spatial correlation and phase errors. We provide a unified mathematical analysis that characterizes the performance of the proposed PB scheme and obtain the outage probability for the considered RIS-assisted system. Based on the provided computer simulations, the proposed PB scheme is shown to have a clear superiority over the classical one under different performance metrics.


title: Are You Comfortable Now: Deep Learning the Temporal Variation in Thermal Comfort in Winters

abstract: Indoor thermal comfort in smart buildings has a significant impact on the health and performance of occupants. Consequently, machine learning (ML) is increasingly used to solve challenges related to indoor thermal comfort. Temporal variability of thermal comfort perception is an important problem that regulates occupant well-being and energy consumption. However, in most ML-based thermal comfort studies, temporal aspects such as the time of day, circadian rhythm, and outdoor temperature are not considered. This work addresses these problems. It investigates the impact of circadian rhythm and outdoor temperature on the prediction accuracy and classification performance of ML models. The data is gathered through month-long field experiments carried out in 14 classrooms of 5 schools, involving 512 primary school students. Four thermal comfort metrics are considered as the outputs of Deep Neural Networks and Support Vector Machine models for the dataset. The effect of temporal variability on school children's comfort is shown through a "time of day" analysis. Temporal variability in prediction accuracy is demonstrated (up to 80%). Furthermore, we show that outdoor temperature (varying over time) positively impacts the prediction performance of thermal comfort models by up to 30%. The importance of spatio-temporal context is demonstrated by contrasting micro-level (location specific) and macro-level (6 locations across a city) performance. The most important finding of this work is that a definitive improvement in prediction accuracy is shown with an increase in the time of day and sky illuminance, for multiple thermal comfort metrics.


title: On the fourth-order Leray-Lions problem with indefinite weight and nonstandard growth conditions

abstract: We prove the existence of at least three weak solutions for the fourth-order problem with indefinite weight involving the Leray-Lions operator with nonstandard growth conditions. The proof of our main result uses variational methods and the critical theorem of Bonanno and Marano (Appl. Anal. 89 (2010), 1-10).


title: Persistent nuclear burning in Nova Sgr 2016 N.4 (= V5856 Sgr = ASASSN-16ma) six years past its outburst

abstract: We report on the fast Nova Sgr 2016 N.4 being surprisingly trapped in a long-lasting and bright plateau (Delta I >= 10 mag above quiescence) six years past the nova eruption. Very few other novae experience a similar occurrence. We carried out an intensive observing campaign collecting daily BVRI photometry and monthly high-resolution optical spectroscopy, and observed the nova in ultraviolet and X-rays with Swift satellite at five distinct epochs. The bolometric luminosity radiated during the plateau is ~4200 Lsun (scaled to the distance of the Galactic Bulge), corresponding to stable nuclear burning on a 0.6 Msun white dwarf. A stable wind is blown off at FWZI~1600 km/s, with episodic reinforcement of a faster FWZI~3400 km/s mass loss, probably oriented along the polar directions. The collision of these winds could power the emission detected in X-rays. The burning shell has an outer radius of ~25 Rsun at which the effective temperature is ~7600 K, values similar to those of a F0 II/Ib bright giant. The Delta m < 1 mag variability displayed during the plateau is best described as chaotic, with the irregular appearance of quasi-periodic oscillations with a periodicity of 15-17 days. A limited amount of dust (~3x10^(-11) Msun) continuously condenses at T(dust)~1200 K in the outflowing wind, radiating L(dust)~52 Lsun.


title: Ternary Leibniz color algebras and beyond

abstract: The purpose of this paper is to study some Ternary color algebras. We generalize some results on ternary Leibniz algebras to the case of ternary Leibniz color algebras. In order to produce examples of ternary Leibniz color algebras from Leibniz color algebras, several results on Leibniz color algebras are given. Next, We introduce ternary Leibniz color algebras and give some constructions dealing with operators, direct sum and tensor product. After that, We introduce bimodule over ternary Leibniz color algebras and point out that the direct sum and the tensor product of two bimodules over a ternary Leibniz color algebras is also a bimodule over the given ternary Leibniz color algebra. Then, We introduce ternary Leibniz-Poisson color algebras and study some of their properties. Finally, we give a brief description of color Lie triple systems, color Jordan triple systems and Comstrans color algebras. The connections among them are also studied.


title: Adam Can Converge Without Any Modification On Update Rules

abstract: Ever since Reddi et al. 2018 pointed out the divergence issue of Adam, many new variants have been designed to obtain convergence. However, vanilla Adam remains exceptionally popular and it works well in practice. Why is there a gap between theory and practice? We point out there is a mismatch between the settings of theory and practice: Reddi et al. 2018 pick the problem after picking the hyperparameters of Adam, i.e., $(\beta_1, \beta_2)$; while practical applications often fix the problem first and then tune $(\beta_1, \beta_2)$. Due to this observation, we conjecture that the empirical convergence can be theoretically justified, only if we change the order of picking the problem and hyperparameter. In this work, we confirm this conjecture. We prove that, when $\beta_2$ is large and $\beta_1 < \sqrt{\beta_2}<1$, Adam converges to the neighborhood of critical points. The size of the neighborhood is propositional to the variance of stochastic gradients. Under an extra condition (strong growth condition), Adam converges to critical points. It is worth mentioning that our results cover a wide range of hyperparameters: as $\beta_2$ increases, our convergence result can cover any $\beta_1 \in [0,1)$ including $\beta_1=0.9$, which is the default setting in deep learning libraries. To our knowledge, this is the first result showing that Adam can converge without any modification on its update rules. Further, our analysis does not require assumptions of bounded gradients or bounded 2nd-order momentum. When $\beta_2$ is small, we further point out a large region of $(\beta_1,\beta_2)$ where Adam can diverge to infinity. Our divergence result considers the same setting as our convergence result, indicating a phase transition from divergence to convergence when increasing $\beta_2$. These positive and negative results can provide suggestions on how to tune Adam hyperparameters.


title: Normal forms for saddle-node bifurcations: Takens' coefficient and applications in climate models

abstract: We show that a one-dimensional differential equation depending on a parameter $\mu$ with a saddle-node bifurcation at $\mu =0$ can be modelled by an extended normal form $\dot y = \nu (\mu )-y^2+a(\mu )y^3$, where the functions $\nu$ and $a$ are solutions to equations that can be written down explicitly. The equivalence to the original equations is a local differentiable conjugacy on the basins of attraction and repulsion of stationary points in the parameter region for which these exist, and is a differentiable conjugacy on the whole local interval otherwise. (Recall that in standard approaches local equivalence is topological rather than differentiable.) The value $a(0)$ is Takens' coefficient from normal form theory. The results explain the sense in which normal forms extend away from the bifurcation point and provide a new and more detailed characterisation of the saddle-node bifurcation. The one-dimensional system can be derived from higher dimensional equations using centre manifold theory. We illustrate this using two examples from climate science and show how the functions $\nu$ and $a$ can be determined analytically in some settings and numerically in others.


title: An $O(k\log n)$ Time Fourier Set Query Algorithm

abstract: Fourier transformation is an extensively studied problem in many research fields. It has many applications in machine learning, signal processing, compressed sensing, and so on. In many real-world applications, approximated Fourier transformation is sufficient and we only need to do the Fourier transform on a subset of coordinates. Given a vector $x \in \mathbb{C}^{n}$, an approximation parameter $\epsilon$ and a query set $S \subset [n]$ of size $k$, we propose an algorithm to compute an approximate Fourier transform result $x'$ which uses $O(\epsilon^{-1} k \log(n/\delta))$ Fourier measurements, runs in $O(\epsilon^{-1} k \log(n/\delta))$ time and outputs a vector $x'$ such that $\| ( x' - \widehat{x} )_S \|_2^2 \leq \epsilon \| \widehat{x}_{\bar{S}} \|_2^2 + \delta \| \widehat{x} \|_1^2 $ holds with probability of at least $9/10$.


title: Mobile Robot Navigation in Complex Polygonal Workspaces Using Conformal Navigation Transformations

abstract: This work proposes a novel transformation termed the conformal navigation transformation to achieve collision-free navigation of a robot in a workspace populated with arbitrary polygonal obstacles. The properties of the conformal navigation transformation in the polygonal workspace are investigated in this work as well as its capability to provide a solution to the navigation problem. %The properties of the conformal navigation transformation are investigated, which contribute to the solution of the robot navigation problem in complex polygonal environments. %which facilitates the navigation of robots in complex environments. The definition of the navigation function is generalized to accommodate non-smooth obstacle boundaries. Based on the proposed transformation and the generalized navigation function, a provably correct feedback controller is derived for the automatic guidance and motion control of the kinematic mobile robot. Moreover, an iterative method is proposed to construct the conformal navigation transformation in a multi-connected polygonal workspace, which transforms the multi-connected problem into multiple single-connected problems to achieve fast convergence.In addition to the analytic guarantees, the simulation study verifies the effectiveness of the proposed methodology in a workspace with non-trivial polygonal obstacles.


title: PARSE challenge 2022: Pulmonary Arteries Segmentation using Swin U-Net Transformer(Swin UNETR) and U-Net

abstract: In this work, we present our proposed method to segment the pulmonary arteries from the CT scans using Swin UNETR and U-Net-based deep neural network architecture. Six models, three models based on Swin UNETR, and three models based on 3D U-net with residual units were ensemble using a weighted average to make the final segmentation masks. Our team achieved a multi-level dice score of 84.36 percent through this method. The code of our work is available on the following link: https://github.com/akansh12/parse2022. This work is part of the MICCAI PARSE 2022 challenge.


title: Multivalued sections and self-maps of sphere bundles

abstract: Let $G$ be a finite group and $V$ a finite dimensional (non-zero) orthogonal $G$-module such that, for each prime $p$ dividing the order of $G$, the subspace of $V$ fixed by a Sylow $p$-subgroup of $G$ is non-zero and, if the dimension of $V$ is odd, has dimension greater than $1$. Using ideas of Avvakumov, Karasev, Kudrya and Skopenkov and work of Noakes on self-maps of sphere bundles, we show that, for any principal $G$-bundle $P\to X$ over a compact ENR $X$, there exists a $G$-map from $P$ to the unit sphere $S(V)$ in $V$.


title: Optimal Pre-Analysis Plans: Statistical Decisions Subject to Implementability

abstract: What is the purpose of pre-analysis plans, and how should they be designed? We propose a principal-agent model where a decision-maker relies on selective but truthful reports by an analyst. The analyst has data access, and non-aligned objectives. In this model, the implementation of statistical decision rules (tests, estimators) requires an incentive-compatible mechanism. We first characterize which decision rules can be implemented. We then characterize optimal statistical decision rules subject to implementability. We show that implementation requires pre-analysis plans. Focussing specifically on hypothesis tests, we show that optimal rejection rules pre-register a valid test for the case when all data is reported, and make worst-case assumptions about unreported data. Optimal tests can be found as a solution to a linear-programming problem.


title: Mesh Quality Agglomeration algorithm for the Virtual Element Method applied to Discrete Fracture Networks

abstract: We propose a quality-based optimization strategy to reduce the total number of degrees of freedom associated to a discrete problem defined over a polygonal tessellation with the Virtual Element Method. The presented Quality Agglomeration algorithm relies only on the geometrical properties of the problem polygonal mesh, agglomerating groups of neighboring elements. We test this approach in the context of fractured porous media, in which the generation of a global conforming mesh on a Discrete Fracture Network leads to a considerable number of unknowns, due to the presence of highly complex geometries and the significant size of the computational domains. We show the efficiency and the robustness of our approach, applied independently on each fracture for different network configurations, exploiting the flexibility of the Virtual Element Method in handling general polygonal elements.


title: High flexoelectric constants in Janus transition-metal dichalcogenides

abstract: Due to their combination of mechanical stiffness and flexibility, two-dimensional (2D) materials have received significant interest as potential electromechanical materials. Flexoelectricity is an electromechanical coupling between strain gradient and polarization. Unlike piezoelectricity, which exists only in non-centrosymmetric materials, flexoelectricity theoretically exists in all dielectric materials. However, most work on the electromechanical energy conversion potential of 2D materials has focused on their piezoelectric, and not flexoelectric behavior and properties. In the present work, we demonstrate that the intrinsic structural asymmetry present in monolayer Janus transition metal dichalcogenides (TMDCs) enables significant flexoelectric properties. We report these flexoelectric properties using a recently developed charge-dipole model that couples with classical molecular dynamics simulations. By employing a prescribed bending deformation, we directly calculate the flexoelectric constants while eliminating the piezoelectric contribution to the polarization. We find that the flexoelectric response of a Janus TMDC is positively correlated to its initial degree of asymmetry, which contributes to stronger $\sigma-\sigma$ interactions as the initial degree of asymmetry rises. In addition, the high transfer of charge across atoms in Janus TMDCs leads to larger electric fields due to $\pi-\sigma$ coupling. These enhanced $\sigma-\sigma$ and $\pi-\sigma$ interactions are found to cause the flexoelectric coefficients of the Janus TMDCs to be several times higher than traditional TMDCs such as MoS$_{2}$, whose flexoelectric constant is already ten times larger than graphene.


title: Simultaneous ground-state cooling of multiple degenerate mechanical modes through cross-Kerr effect

abstract: Simultaneous ground-state cooling of multiple degenerate mechanical modes is a tough issue in optomechanical system due to the existence of the dark mode effect. Here we propose a universal and scalable method to break the dark mode effect of two degenerate mechanical modes by introducing the cross-Kerr (CK) nonlinearity. At most four stable steady states can be achieved in our scheme in the presence of the CK effect, different from the bistable behavior of the standard optomechanical system. Under the constant input laser power, the effective detuning and mechanical resonant frequency can be modulated by the CK nonlinearity, which results in an optimal CK coupling strength for cooling. Similarly, there will be an optimal input laser power for cooling when the CK coupling strength stays fixed. Our scheme can be extended to break the dark mode effect of multiple degenerate mechanical modes by introducing more than one CK effects. To fulfill the requirement of the simultaneous ground-state cooling of N multiple degenerate mechanical modes N-1 CK effects with different strengths are needed. Our proposal provides new insights in dark mode control and might pave the way to manipulating of multiple quantum states in macroscopic system.


title: Exploring Price Accuracy on Uniswap V3 in Times of Distress

abstract: Financial markets have evolved over centuries, and exchanges have converged to rely on the order book mechanism for market making. Latency on the blockchain, however, has prevented decentralized exchanges (DEXes) from utilizing the order book mechanism and instead gave rise to the development of market designs that are better suited to a blockchain. Although the first widely popularized DEX, Uniswap V2, stood out through its astonishing simplicity, a recent design overhaul introduced with Uniswap V3 has introduced increasing levels of complexity aiming to increase capital efficiency. In this work, we empirically study the ability of Unsiwap V3 to handle unexpected price shocks. Our analysis finds that the prices on Uniswap V3 were inaccurate during the recent abrupt price drops of two stablecoins: UST and USDT. We identify the lack of agility required of Unsiwap V3 liquidity providers as the root cause of these worrying price inaccuracies. Additionally, we outline that there are too few incentives for liquidity providers to enter liquidity pools, given the elevated volatility in such market conditions.


title: The computational complexity of some explainable clustering problems

abstract: We study the computational complexity of some explainable clustering problems in the framework proposed by [Dasgupta et al., ICML 2020], where explainability is achieved via axis-aligned decision trees. We consider the $k$-means, $k$-medians, $k$-centers and the spacing cost functions. We prove that the first three are hard to optimize while the latter can be optimized in polynomial time.


title: Intrinsic bending flexoelectric constants in two-dimensional materials

abstract: Flexoelectricity is a form of electromechanical coupling that has recently emerged because, unlike piezoelectricity, it is theoretically possible in any dielectric material. Two-dimensional (2D) materials have also garnered significant interest because of their unusual electromechanical properties and high flexibility, but the intrinsic flexoelectric properties of these materials remain unresolved. In this work, using atomistic modeling accounting for charge-dipole interactions, we report the intrinsic flexoelectric constants for a range of two-dimensional materials, including graphene allotropes, nitrides, graphene analogs of group-IV elements, and the transition metal dichalcogenides (TMDCs). We accomplish this through a proposed mechanical bending scheme that eliminates the piezoelectric contribution to the total polarization, which enables us to directly measure the flexoelectric constants. While flat 2D materials like graphene have low flexoelectric constants due to weak $\pi-\sigma$ interactions, buckling is found to increase the flexoelectric constants in monolayer group-IV elements. Finally, due to significantly enhanced charge transfer coupled with structural asymmetry due to bending, the TMDCs are found to have the largest flexoelectric constants, including MoS$_{2}$ having a flexoelectric constant ten times larger than graphene.


title: Variational principles for Feldman-Katok metric mean dimension

abstract: We introduce the notion of Feldman-Katok metric mean dimensions in this note. We show metric mean dimensions defined by different metrics coincide under weak tame growth of covering numbers, and establish variational principles for Feldman-Katok metric mean dimensions in terms of FK Katok $\epsilon$-entropy and FK local $\epsilon$-entropy function.


title: An Initial Investigation for Detecting Vocoder Fingerprints of Fake Audio

abstract: Many effective attempts have been made for fake audio detection. However, they can only provide detection results but no countermeasures to curb this harm. For many related practical applications, what model or algorithm generated the fake audio also is needed. Therefore, We propose a new problem for detecting vocoder fingerprints of fake audio. Experiments are conducted on the datasets synthesized by eight state-of-the-art vocoders. We have preliminarily explored the features and model architectures. The t-SNE visualization shows that different vocoders generate distinct vocoder fingerprints.


title: Combining Machine Learning and Many-Body Calculations: Coverage-Dependent Adsorption of CO on Rh(111)

abstract: Adsorption of carbon monoxide (CO) on transition-metal surfaces is a prototypical process in surface sciences and catalysis. Despite its simplicity, it has posed great challenges to theoretical modeling. Pretty much all existing density functionals fail to accurately describe surface energies, CO adsorption site preference, as well as adsorption energies simultaneously. Although the random phase approximation (RPA) cures these density functional theory failures, its large computational cost makes it prohibitive to study the CO adsorption for any but the simplest ordered cases. Here, we address these challenges by developing a machine-learned force field (MLFF) with near RPA accuracy for the prediction of coverage-dependent adsorption of CO on the Rh(111) surface through an efficient on-the-fly active learning procedure and a $\Delta$-machine learning approach. We show that the RPA-derived MLFF is capable to accurately predict the Rh(111) surface energy, CO adsorption site preference as well as adsorption energies at different coverages that are all in good agreement with experiments. Moreover, the coverage-dependent ground-state adsorption patterns and adsorption saturation coverage are identified.


title: Research on Creative Thinking Mode Based on Category Theory

abstract: The research on the brain mechanism of creativity mainly has two aspects, one is the creative thinking process, and the other is the brain structure and functional connection characteristics of highly creative people. The billions of nerve cells in the brain connect and interact with each other. The hundreds of millions of nerve cells in the brain connect and interact with each other. The human brain has a high degree of complexity at the biological level, especially the rational thinking ability of the human brain. Starting from the connection of molecules, cells, neural networks and the neural function structure of the brain, it may be fundamentally impossible to study the rational thinking mode of human beings. Human's rational thinking mode has a high degree of freedom and transcendence, and such problems cannot be expected to be studied by elaborating the realization of the nervous system. The rational thinking of the brain is mainly based on the structured thinking mode, and the structured thinking mode shows the great scientific power. This paper studies the theoretical model of innovative thinking based on of category theory, and analyzes the creation process of two scientific theories which are landmarks in the history of science, and provides an intuitive, clear interpretation model and rigorous mathematical argument for the creative thinking. The structured thinking way have great revelation and help to create new scientific theories.


title: Wang Algebra: From Theory to Practice

abstract: Wang algebra was initiated by Ki-Tung Wang as a short-cut method for the analysis of electrical networks. It was later popularized by Duffin and has since found numerous applications in electrical engineering and graph theory. This is a semi-tutorial paper on Wang algebra, its history, and modern applications. We expand Duffin's historic notes on Wang algebra to give a full account of Ki-Tung Wang's life. A short proof of Wang algebra using group theory is presented. We exemplify the usefulness of Wang algebra in the design of T-coils. Bridged T-coils give a significant advantage in bandwidth, and were widely adopted in Tektronix oscilloscopes, but design details were guarded as a trade secret. The derivation presented in this paper, based on Wang algebra, is more general and simpler than those reported in literature. This novel derivation has not been shared with the public before.


title: Visual Exploratory Data Analysis of the Covid-19 Vaccination Progress in Nigeria

abstract: The coronavirus outbreak in 2020 devastated the world's economy, including Nigeria, even resulted in a severe recession. Slowly the country is building back again, and the vaccines are helping to reduce the spread of covid-19. Since the covid-19 vaccine came to Nigeria; 18,728,188 people have been fully vaccinated as at May 31st, 2022. This is roughly 10% of the Nigerian population estimated at 206.7 million [1]. This paper presents a visual Exploratory Data Analysis of the covid-19 vaccination progress in Nigeria using the R-tidyverse package in R studio IDE for data cleaning & analysis, and Tableau for the visualizations. Our dataset is from the Nigerian National Primary Health Care Development Agency (NPHCDA) in charge of the vaccines. The data used for this research contain the state-by-state breakdown of Covid-19 vaccine distribution recorded between March 5th, 2021, and May 31st, 2022. This paper aims to show how these data analytics tools and techniques can be useful in finding insights in raw data by presenting the results of the EDA visually thus reducing the ambiguity and possible confusions that is associated with data in tables. Furthermore, our findings contribute to the growing literature on Covid-19 research by showcasing the Covid-19 vaccination trend in Nigeria and the state by state distribution.


title: Exploration of mechanical, thermal conductivity and electromechanical properties of graphene nanoribbon springs

abstract: Recent experimental advances [Liu \textit{et al., npj 2D Materials and Applications}, 2019, \textbf{3}, 23] propose the design of graphene nanoribbon spring (GNRS) to substantially enhance the stretchability of pristine graphene. GNRS is a periodic undulating graphene nanoribbon, where undulations are of sinus or half-circles or horseshoe shapes. Besides those, GNRS geometry depends on design parameters, like pitch's length and amplitude, thickness and joining angle. Because of the fact that parametric influence on the resulting physical properties are expensive and complicated to be examined experimentally, we explore the mechanical, thermal and electromechanical properties of GNRS using molecular dynamics simulations. Our results demonstrate that horseshoe shape design of GNRS (GNRH) can distinctly outperform the graphene kirigami design concerning the stretchability. The thermal conductivity of GNRS were also examined by developing a multiscale modeling, which suggests that the thermal transport along these nanostructures can be effectively tuned. We found that however, the tensile stretching of GNRS and GNRH does not yield any piezoelectric polarization. The bending induced hybridization change results in a flexoelectric polarization, where the corresponding flexoelectric coefficient is $25\%$ higher than graphene. Our results provide a comprehensive vision to the critical physical properties of GNRS and may help to employ the outstanding physics of the graphene to design novel stretchable nanodevices.


title: Unsupervisedly Prompting AlphaFold2 for Few-Shot Learning of Accurate Folding Landscape and Protein Structure Prediction

abstract: Data-driven predictive methods which can efficiently and accurately transform protein sequences into biologically active structures are highly valuable for scientific research and medical development. Determining accurate folding landscape using co-evolutionary information is fundamental to the success of modern protein structure prediction methods. As the state of the art, AlphaFold2 has dramatically raised the accuracy without performing explicit co-evolutionary analysis. Nevertheless, its performance still shows strong dependence on available sequence homologs. Based on the interrogation on the cause of such dependence, we presented EvoGen, a meta generative model, to remedy the underperformance of AlphaFold2 for poor MSA targets. By prompting the model with calibrated or virtually generated homologue sequences, EvoGen helps AlphaFold2 fold accurately in low-data regime and even achieve encouraging performance with single-sequence predictions. Being able to make accurate predictions with few-shot MSA not only generalizes AlphaFold2 better for orphan sequences, but also democratizes its use for high-throughput applications. Besides, EvoGen combined with AlphaFold2 yields a probabilistic structure generation method which could explore alternative conformations of protein sequences, and the task-aware differentiable algorithm for sequence generation will benefit other related tasks including protein design.


title: Mod\'elisation spatio-temporelle de l'utilisation des masques par le grand public en Guadeloupe et en Martinique

abstract: In this article, we develop a deterministic compartmental model including the spatio-temporal aspect and the wearing of masks by the general public for the spread of the Covid-19 epidemic. This model is based on the SIR model of Kermack and McKendrick and includes mobility terms that model the movement of individuals wearing masks between Guadeloupe andMartinique. The objective of the model is to analyze the effects of mobility and the wearing of masks by the general public on the spread of the Covid-19 epidemic in these two regions.Numerical simulations of this model show the importance of wearing masks by the general public, even if they are not very inefficient, and indicate that the model is capable of qualitatively simulating the propagation trends of the Covid-19 epidemic. This work is part ofmy doctoral thesis, the subject of which is entitled {\guillemotleft} stochastic modeling of Covid-19 in an island environment taking into account the spatio-temporal aspect {\guillemotright}.

categories: q-bio.PE math.PR math.ST stat.AP stat.TH


title: Integral transforms characterized by convolution

abstract: Inspired by Jaming's characterization of the Fourier transform on specific groups via the convolution property, we provide a novel approach which characterizes the Fourier transform on any locally compact abelian group. In particular, our characterization encompasses Jaming's results. Furthermore, we demonstrate that the cosine transform as well as the Laplace transform can also be characterized via a suitable convolution property.


title: Evaluation of the suitable analytical techniques for the investigation of the toxic elements and compounds in the Pyrotechnic materials (Green crackers)

abstract: The present manuscript reports the elemental as well as molecular study of the Green Crackers. Laser-induced breakdown spectroscopy has been used for elemental analysis, UV-Vis and Photoacoustic Spectroscopy (PAS) are used for molecular study of the green crackers. The spectral lines of several elements including heavy/toxic such as Al, Ba, Sr, Cr, Cu are observed in the LIBS spectra of green crackers like present in normal crackers. In addition to this, the electronic bands of diatomic molecules like AlO, SrO, and CaO are also observed in LIB spectra of the green crackers. PAS, which is non-destructive, useful for scattering & opaque substances, is more suitable than the UV-VIS method for the investigation of the various organic compounds/molecules present in the firecrackers. Molecular bands of these molecules (AlO, SrO and CaO) are also in the absorption spectra of the crackers recorded using PAS technique and UV-Vis spectroscopy technique. In addition to these, absorption bands of some additional compounds/molecules like AlO, SrO, CaCO3, KNO3, NH4NO3, NHClO4 are also observed in the PA spectra of the green crackers, which show that PAS is more appropriate technique than the UV-VIS method for the investigation of the organic compounds/molecules in firecrackers. To determine the exact concentration of the constituents (Al, Cr, Cu) in green crackers AAS has been used. The results of the present manuscript show that the green crackers are also toxic for the environment as well as for humans although with lesser intensity than traditional/normal crackers.


title: A Domain Generalization Approach for Out-Of-Distribution 12-lead ECG Classification with Convolutional Neural Networks

abstract: Deep Learning systems have achieved great success in the past few years, even surpassing human intelligence in several cases. As of late, they have also established themselves in the biomedical and healthcare domains, where they have shown a lot of promise, but have not yet achieved widespread adoption. This is in part due to the fact that most methods fail to maintain their performance when they are called to make decisions on data that originate from a different distribution than the one they were trained on, namely Out-Of-Distribution (OOD) data. For example, in the case of biosignal classification, models often fail to generalize well on datasets from different hospitals, due to the distribution discrepancy amongst different sources of data. Our goal is to demonstrate the Domain Generalization problem present between distinct hospital databases and propose a method that classifies abnormalities on 12-lead Electrocardiograms (ECGs), by leveraging information extracted across the architecture of a Deep Neural Network, and capturing the underlying structure of the signal. To this end, we adopt a ResNet-18 as the backbone model and extract features from several intermediate convolutional layers of the network. To evaluate our method, we adopt publicly available ECG datasets from four sources and handle them as separate domains. To simulate the distributional shift present in real-world settings, we train our model on a subset of the domains and leave-out the remaining ones. We then evaluate our model both on the data present at training time (intra-distribution) and the held-out data (out-of-distribution), achieving promising results and surpassing the baseline of a vanilla Residual Network in most of the cases.


title: Is Medieval Distant Viewing Possible? : Extending and Enriching Annotation of Legacy Image Collections using Visual Analytics

abstract: Distant viewing approaches have typically used image datasets close to the contemporary image data used to train machine learning models. To work with images from other historical periods requires expert annotated data, and the quality of labels is crucial for the quality of results. Especially when working with cultural heritage collections that contain myriad uncertainties, annotating data, or re-annotating, legacy data is an arduous task. In this paper, we describe working with two pre-annotated sets of medieval manuscript images that exhibit conflicting and overlapping metadata. Since a manual reconciliation of the two legacy ontologies would be very expensive, we aim (1) to create a more uniform set of descriptive labels to serve as a "bridge" in the combined dataset, and (2) to establish a high quality hierarchical classification that can be used as a valuable input for subsequent supervised machine learning. To achieve these goals, we developed visualization and interaction mechanisms, enabling medievalists to combine, regularize and extend the vocabulary used to describe these, and other cognate, image datasets. The visual interfaces provide experts an overview of relationships in the data going beyond the sum total of the metadata. Word and image embeddings as well as co-occurrences of labels across the datasets, enable batch re-annotation of images, recommendation of label candidates and support composing a hierarchical classification of labels.


title: A biologically-inspired multi-modal evaluation of molecular generative machine learning

abstract: While generative models have recently become ubiquitous in many scientific areas, less attention has been paid to their evaluation. For molecular generative models, the state-of-the-art examines their output in isolation or in relation to its input. However, their biological and functional properties, such as ligand-target interaction is not being addressed. In this study, a novel biologically-inspired benchmark for the evaluation of molecular generative models is proposed. Specifically, three diverse reference datasets are designed and a set of metrics are introduced which are directly relevant to the drug discovery process. In particular we propose a recreation metric, apply drug-target affinity prediction and molecular docking as complementary techniques for the evaluation of generative outputs. While all three metrics show consistent results across the tested generative models, a more detailed comparison of drug-target affinity binding and molecular docking scores revealed that unimodal predictiors can lead to erroneous conclusions about target binding on a molecular level and a multi-modal approach is thus preferrable. The key advantage of this framework is that it incorporates prior physico-chemical domain knowledge into the benchmarking process by focusing explicitly on ligand-target interactions and thus creating a highly efficient tool not only for evaluating molecular generative outputs in particular, but also for enriching the drug discovery process in general.


title: Trigger-free Event Detection via Derangement Reading Comprehension

abstract: Event detection (ED), aiming to detect events from texts and categorize them, is vital to understanding actual happenings in real life. However, mainstream event detection models require high-quality expert human annotations of triggers, which are often costly and thus deter the application of ED to new domains. Therefore, in this paper, we focus on low-resource ED without triggers and aim to tackle the following formidable challenges: multi-label classification, insufficient clues, and imbalanced events distribution. We propose a novel trigger-free ED method via Derangement mechanism on a machine Reading Comprehension (DRC) framework. More specifically, we treat the input text as Context and concatenate it with all event type tokens that are deemed as Answers with an omitted default question. So we can leverage the self-attention in pre-trained language models to absorb semantic relations between input text and the event types. Moreover, we design a simple yet effective event derangement module (EDM) to prevent major events from being excessively learned so as to yield a more balanced training process. The experiment results show that our proposed trigger-free ED model is remarkably competitive to mainstream trigger-based models, showing its strong performance on low-source event detection.


title: From Time Series to Networks in R with the ts2net Package

abstract: Network science established itself as a prominent tool for modeling time series and complex systems. This modeling process consists of transforming a set or a single time series into a network. Nodes may represent complete time series, segments, or single values, while links define associations or similarities between the represented parts. R is one of the main programming languages used in data science, statistics, and machine learning, with many packages available. However, no single package provides the necessary methods to transform time series into networks. This paper presents ts2net, an R package for modeling one or multiple time series into networks. The package provides the time series distance functions that can be easily computed in parallel and in supercomputers to process larger data sets and methods to transform distance matrices into networks. Ts2net also provides methods to transform a single time series into a network, such as recurrence networks, visibility graphs, and transition networks. Together with other packages, ts2net permits using network science and graph mining tools to extract information from time series.


title: $\mathscr{R}$-cross-sections of the monoid of order-preserving transformations on a finite chain

abstract: We classify the $\mathscr{R}$-cross-sections of the monoid of order-preserving transformations on the $n$-element chain in terms of certain binary trees.


title: Offline Handwritten Mathematical Recognition using Adversarial Learning and Transformers

abstract: Offline Handwritten Mathematical Expression Recognition (HMER) is a major area in the field of mathematical expression recognition. Offline HMER is often viewed as a much harder problem as compared to online HMER due to a lack of temporal information and variability in writing style. In this paper, we purpose a encoder-decoder model that uses paired adversarial learning. Semantic-invariant features are extracted from handwritten mathematical expression images and their printed mathematical expression counterpart in the encoder. Learning of semantic-invariant features combined with the DenseNet encoder and transformer decoder, helped us to improve the expression rate from previous studies. Evaluated on the CROHME dataset, we have been able to improve latest CROHME 2019 test set results by 4% approx.


title: Feature Identification in Complex Fluid Flows by Convolutional Neural Networks

abstract: Recent efforts have shown machine learning to be useful for the prediction of nonlinear fluid dynamics. Predictive accuracy is often a central motivation for employing neural networks, but the pattern recognition central to the network function is equally valuable for purposes of enhancing our dynamical insight into confounding dynamics. In this paper, convolutional neural networks (CNNs) were trained to recognize several qualitatively different subsonic buffet flows over a high-incidence airfoil, and a near-perfect accuracy was performed with only a small training dataset. The convolutional kernels and corresponding feature maps, developed by the model with no temporal information provided, identified large-scale coherent structures in agreement with those known to be associated with buffet flows. An approach named Gradient-weighted Class Activation Mapping (Grad-CAM) was then applied to the trained model to indicate the importance of these feature maps in classification. Sensitivity to hyperparameters including network architecture and convolutional kernel size was also explored, and results show that smaller kernels are better at coherent structure identification than are larger kernels. A long-short term memory CNN was subsequently used to demonstrate that with the inclusion of temporal information, the coherent structures remained qualitatively comparable to those of the conventional CNN. The coherent structures identified by these models enhance our dynamical understanding of subsonic buffet over high-incidence airfoils over a wide range of Reynolds numbers.


title: Autonomous waves and global motion modes in living active solids

abstract: Elastic active matter or active solid consists of self-propelled units embedded in an elastic matrix. Active solid resists deformation; the shape-preserving property and the intrinsic non-equilibrium nature make active solids a superior component for self-driven devices. Nonetheless, the mechanical properties and emergent behavior of active solids are poorly understood. Using a biofilm-based bacterial active solid, here we discovered self-sustained elastic waves with unique wave properties not seen in passive solids, such as power-law scaling of wave speed with activity. Under isotropic confinement, the active solid develops two topologically distinct global motion modes that can be selectively excited, with a surprising step-like frequency jump at mode transition. Our findings reveal novel spatiotemporal order in elastic active matter and may guide the development of solid-state adaptive or living materials.


title: Visual Analysis of Neural Architecture Spaces for Summarizing Design Principles

abstract: Recent advances in artificial intelligence largely benefit from better neural network architectures. These architectures are a product of a costly process of trial-and-error. To ease this process, we develop ArchExplorer, a visual analysis method for understanding a neural architecture space and summarizing design principles. The key idea behind our method is to make the architecture space explainable by exploiting structural distances between architectures. We formulate the pairwise distance calculation as solving an all-pairs shortest path problem. To improve efficiency, we decompose this problem into a set of single-source shortest path problems. The time complexity is reduced from O(kn^2N) to O(knN). Architectures are hierarchically clustered according to the distances between them. A circle-packing-based architecture visualization has been developed to convey both the global relationships between clusters and local neighborhoods of the architectures in each cluster. Two case studies and a post-analysis are presented to demonstrate the effectiveness of ArchExplorer in summarizing design principles and selecting better-performing architectures.


title: Modeling, Quantifying, and Predicting Subjectivity of Image Aesthetics

abstract: Assessing image aesthetics is a challenging computer vision task. One reason is that aesthetic preference is highly subjective and may vary significantly among people for certain images. Thus, it is important to properly model and quantify such \textit{subjectivity}, but there has not been much effort to resolve this issue. In this paper, we propose a novel unified probabilistic framework that can model and quantify subjective aesthetic preference based on the subjective logic. In this framework, the rating distribution is modeled as a beta distribution, from which the probabilities of being definitely pleasing, being definitely unpleasing, and being uncertain can be obtained. We use the probability of being uncertain to define an intuitive metric of subjectivity. Furthermore, we present a method to learn deep neural networks for prediction of image aesthetics, which is shown to be effective in improving the performance of subjectivity prediction via experiments. We also present an application scenario where the framework is beneficial for aesthetics-based image recommendation.


title: The electromagnetic decays of $X(3823)$ as the $\psi_2(1^{3}D_{2})$ state and its radial excited states

abstract: We study the electromagnetic (EM) decays of $X(3823)$ as the $\psi_2(1^{3}D_{2})$ state by using the relativistic Bethe-Salpeter method. Our results are $\Gamma[X(3823)\rightarrow\chi_{_{c0}}\gamma]=1.2$ keV, $\Gamma[X(3823)\rightarrow\chi_{_{c1}}\gamma]=265$ keV, $\Gamma[X(3823)\rightarrow\chi_{_{c2}}\gamma]=57$ keV and $\Gamma[X(3823)\rightarrow\eta_{_c}\gamma]=1.3$ keV. The ratio ${\cal B}[X(3823)\rightarrow\chi_{_{c2}}\gamma]/{\cal B}[X(3823)\rightarrow\chi_{_{c1}}\gamma]=0.22$, agrees with the experimental data. Similarly, the EM decay widths of $\psi_{_2}(n^{3}D_{_2})$, $n=2,3$, are predicted, and we find the dominant decays channels are $\psi_{_2}(n^{3}D_{_2})\rightarrow\chi_{_{c1}}(nP)\gamma$, where $n=1,2,3$. The wave function include different partial waves, which means the relativistic effects are considered. We also study the contributions of different partial waves.


title: Generalised Co-Salient Object Detection

abstract: We propose a new setting that relaxes an assumption in the conventional Co-Salient Object Detection (CoSOD) setting by allowing the presence of "noisy images" which do not show the shared co-salient object. We call this new setting Generalised Co-Salient Object Detection (GCoSOD). We propose a novel random sampling based Generalised CoSOD Training (GCT) strategy to distill the awareness of inter-image absence of co-salient objects into CoSOD models. It employs a Diverse Sampling Self-Supervised Learning (DS3L) that, in addition to the provided supervised co-salient label, introduces additional self-supervised labels for noisy images (being null, that no co-salient object is present). Further, the random sampling process inherent in GCT enables the generation of a high-quality uncertainty map highlighting potential false-positive predictions at instance level. To evaluate the performance of CoSOD models under the GCoSOD setting, we propose two new testing datasets, namely CoCA-Common and CoCA-Zero, where a common salient object is partially present in the former and completely absent in the latter. Extensive experiments demonstrate that our proposed method significantly improves the performance of CoSOD models in terms of the performance under the GCoSOD setting as well as the model calibration degrees.


title: Lost in Context? On the Sense-wise Variance of Contextualized Word Embeddings

abstract: Contextualized word embeddings in language models have given much advance to NLP. Intuitively, sentential information is integrated into the representation of words, which can help model polysemy. However, context sensitivity also leads to the variance of representations, which may break the semantic consistency for synonyms. We quantify how much the contextualized embeddings of each word sense vary across contexts in typical pre-trained models. Results show that contextualized embeddings can be highly consistent across contexts. In addition, part-of-speech, number of word senses, and sentence length have an influence on the variance of sense representations. Interestingly, we find that word representations are position-biased, where the first words in different contexts tend to be more similar. We analyze such a phenomenon and also propose a simple way to alleviate such bias in distance-based word sense disambiguation settings.


title: Structures of Adjoint-Stable Algebras over Factorizable Hopf Algebras

abstract: For a quasi-triangular Hopf algebra $\left( H,R\right) $, there is a notion of transmuted braided group $H_{R}$ of $H$ introduced by Majid. The transmuted braided group $H_{R}$ is a Hopf algebra in the braided category $_{H}\mathcal{M}$. The $R$-adjoint-stable algebra associated with any simple left $H_{R}$-comodule is defined by the authors, and is used to characterize the structure of all irreducible Yetter-Drinfeld modules in ${}_{H}^{H} \mathcal{YD}$. In this note, we prove for a semisimple factorizable Hopf algebra $ \left( H,R\right) $ that any simple subcoalgebra of $H_R$ is $H$-stable and the $R$-adjoint-stable algebra for any simple left $H_R$-comodule is anti-isomorphic to $H$. As an application, we characterize all irreducible Yetter-Drinfeld modules.


title: Safe Subjoins in Acyclic Joins

abstract: It is expensive to compute joins, often due to large intermediate relations. For acyclic joins, monotone join expressions are guaranteed to produce intermediate relations not larger than the size of the output of the join when it is computed on a fully reduced database. Any subexpression of an acyclic join does not offer this guarantee, as it is easy to prove. In this paper, we consider joins with projections too and we ask the question whether we can characterize join subexpressions that produce, on every fully reduced database, an output without dangling tuples (which translates, in the case of joins without projections, to an output of size not larger than the size of the output of the join). We call such a subexpression a safe subjoin. Surprisingly, we prove that there is a simple characterization which is the following: A subjoin is safe if and only if there is a parse tree of the join (a.k.a. join tree) such that the relations in the subjoin form a subtree of it. We provide an algorithm that finds such a parse tree, if there is one.


title: Comparing graph data science libraries for querying and analysing datasets: towards data science queries on graphs

abstract: This paper presents an experimental study to compare analysis tools with management systems for querying and analysing graphs. Our experiment compares classic graph navigational operations queries where analytics tools and management systems adopt different execution strategies. Then, our experiment addresses data science pipelines with clustering and prediction models applied to graphs. In this kind of experiment, we underline the interest in combining both approaches and the interest of relying on a parallel execution platform for executing queries.


title: Graph analytics workflows enactment on just in time data centres, Position Paper

abstract: This paper discusses our vision of multirole-capable decision-making systems across a broad range of Data Science (DS) workflows working on graphs through disaggregated data centres. Our vision is that an alternative is possible to work on a disaggregated solution for the provision of computational services under the notion of a disaggregated data centre. We define this alternative as a virtual entity that dynamically provides resources crosscutting the layers of edge, fog and data centre according to the workloads submitted by the workflows and their Service Level Objectives.


title: Unravelling the contributions to spin-lattice relaxation in Kramers single-molecule magnets

abstract: The study of how spin interacts with lattice vibrations and relaxes to equilibrium provides unique insights on its chemical environment and the relation between electronic structure and molecular composition. Despite its importance for several disciplines, ranging from magnetic resonance to quantum technologies, a convincing interpretation of spin dynamics in crystals of magnetic molecules is still lacking due to the challenging experimental determination of the correct spin relaxation mechanism. We apply ab initio spin dynamics to a series of twelve coordination complexes of Co(II) and Dy(III) ions selected among $\sim$240 compounds that largely cover the literature on single-molecule magnets and well represent different regimes of spin relaxation. Simulations reveal that the Orbach spin relaxation rate of known compounds mostly depends on the ions' zero-field splitting and little on the details of molecular vibrations. Raman relaxation is instead found to be also significantly affected by the features of low-energy phonons. These results provide a complete understanding of the factors limiting spin lifetime in single-molecule magnets and revisit years of experimental investigations by making it possible to transparently distinguish Orbach and Raman relaxation mechanisms.


title: Tree-level new physics in $R(K^{(*)})$

abstract: We implement the $\chi^2$ fit for $R(K^{(*)})$ with possible tree-level new physics in a model-independent parametrization. Relevant Wilson coefficients are decomposed into the new physics scale, its power, and the fermionic couplings. Constraints from the branching ratio of $B_s\to\mu^+\mu^-$ can be naturally incorporated with the scheme. For a reasonable set of the parameter ranges it is found that the new physics is less than $\sim 5~{\rm TeV}$. Some new physics models including the leptoquark, $Z'$, etc. can be embraced within our framework. We give comments on new LHCb data which are close to the standard model predictions.


title: Intelligent Omni-Surfaces: Simultaneous Refraction and Reflection for Full-dimensional Wireless Communications

abstract: The development of metasurfaces has unlocked various use cases in wireless communication networks to improve performance by manipulating the propagation environment. Intelligent omni-surface (IOS), an innovative technique in this category, is proposed for coverage extension. In contrast to the widely studied reflective metasurfaces, i.e., intelligent reflecting surfaces (IRSs), which can only serve receivers located on the same side of the transmitter, the IOS can achieve full-dimensional wireless communications by enabling the simultaneous reflection and refraction of the surface, and thus users on both sides can be served. In this paper, we provide a comprehensive overview of the state-of-the-art in IOS from the perspective of wireless communications, with the emphasis on their design principles, channel modeling, beamforming design, experimental implementation and measurements, as well as possible applications in future cellular networks. We first describe the basic concepts of metasurfaces, and introduce the corresponding design principles for different types of metasurfaces. Moreover, we elaborate on the reflective-refractive model for each IOS element and the channel model for IOS-aided wireless communication systems. Furthermore, we show how to achieve full-dimensional wireless communications with the IOS for three different scenarios. In particular, we present the implementation of an IOS-aided wireless communication prototype and report its experimental measurement results. Finally, we outline some potential future directions and challenges in this area.


title: Net2Brain: A Toolbox to compare artificial vision models with human brain responses

abstract: We introduce Net2Brain, a graphical and command-line user interface toolbox for comparing the representational spaces of artificial deep neural networks (DNNs) and human brain recordings. While different toolboxes facilitate only single functionalities or only focus on a small subset of supervised image classification models, Net2Brain allows the extraction of activations of more than 600 DNNs trained to perform a diverse range of vision-related tasks (e.g semantic segmentation, depth estimation, action recognition, etc.), over both image and video datasets. The toolbox computes the representational dissimilarity matrices (RDMs) over those activations and compares them to brain recordings using representational similarity analysis (RSA), weighted RSA, both in specific ROIs and with searchlight search. In addition, it is possible to add a new data set of stimuli and brain recordings to the toolbox for evaluation. We demonstrate the functionality and advantages of Net2Brain with an example showcasing how it can be used to test hypotheses of cognitive computational neuroscience.


title: Finding Emotions in Faces: A Meta-Classifier

abstract: Machine learning has been used to recognize emotions in faces, typically by looking for 8 different emotional states (neutral, happy, sad, surprise, fear, disgust, anger and contempt). We consider two approaches: feature recognition based on facial landmarks and deep learning on all pixels; each produced 58% overall accuracy. However, they produced different results on different images and thus we propose a new meta-classifier combining these approaches. It produces far better results with 77% accuracy


title: Topological structure of optimal flows on the Girl's surface

abstract: We investigate the topological structure of flows on the Girl's surfaces which is one of two possible immersions of the projective plane in three-dimensional space with one triple point of the selfintersection. First, we describe the cellular structure of the Boy's and Girl's surfaces and prove that there are unique images of the project plane in the form of a 2-disc, in which the opposite points of the boundary are identified and this boundary belongs to the preimage of the 1-skeleton of the surface. Second, we described three structures of flows with one fixed point and no separatrix on the Girl's surface and proved that there are no other such flows. Third, we proved that Morse-Smale flows and they alone are structurally stable on the Boy's and Girl's surfaces. Fourth, we have found all possible structures of optimal Morse-Smale flows on the Girl's surface. Fifth, we have obtained a classification of Morse-Smale flows on the projective plane, that immersed on the Girl's surface. And finally, we described the components of linear connectivity of sets of these flows


title: Kawamata-Viehweg vanishing for toric varieties

abstract: Given a boundary divisor $B$ on a projective toric variety $X$ such that $(X, B)$ is klt, we establish the Kawamata-Viehweg vanishing theorem for $(X, B)$.


title: Existence, uniqueness, and long-time behavior of linearized field dislocation dynamics

abstract: This paper examines a system of partial differential equations describing dislocation dynamics in a crystalline solid. In particular we consider dynamics linearized about a state of zero stress and use linear semigroup theory to establish existence, uniqueness, and time asymptotic behavior of the linear system.

categories: math.AP cond-mat.mtrl-sci math-ph math.MP


title: Regularity results for solutions of mixed local and nonlocal elliptic equations

abstract: We consider the mixed local-nonlocal semi-linear elliptic equations driven by the superposition of Brownian and L\'evy processes \begin{equation*} \left\{ \begin{array}{ll} - \Delta u + (-\Delta)^s u = g(x,u) & \hbox{in $\Omega$,} u=0 & \hbox{in $\mathbb{R}^n\backslash\Omega$.} \\ \end{array} \right. \end{equation*} Under mild assumptions on the nonlinear term $g$, we show the $L^\infty$ boundedness of any weak solution (either not changing sign or sign-changing) by the Moser iteration method. Moreover, when $s\in (0, \frac{1}{2}]$, we obtain that the solution is unique and actually belongs to $C^{1,\alpha}(\overline{\Omega})$ for any $\alpha\in (0,1)$.


title: Machine learning based surrogate models for microchannel heat sink optimization

abstract: Microchannel heat sinks are an efficient cooling method for semiconductor packages. However, to properly cool increasingly complex and thermally dense circuits, microchannel designs should be improved and expanded on. In this paper, microchannel designs with secondary channels and with ribs are investigated using computational fluid dynamics and are coupled with a multi-objective optimization algorithm to determine and propose optimal solutions based on observed thermal resistance and pumping power. A workflow that combines Latin hypercube sampling, machine learning-based surrogate modeling and multi-objective optimization is proposed. Random forests, gradient boosting algorithms and neural networks were considered during the search for the best surrogate. We demonstrated that tuned neural networks can make accurate predictions and be used to create an acceptable surrogate model. Optimized solutions show a negligible difference in overall performance when compared to the conventional optimization approach. Additionally, solutions are calculated in one-fifth of the original time. Generated designs attain temperatures that are lower by more than 10% under the same pressure limits as a convectional microchannel design. When limited by temperature, pressure drops are reduced by more than 25%. Finally, the influence of each design variable on the thermal resistance and pumping power was investigated by employing the SHapley Additive exPlanations technique. Overall, we have demonstrated that the proposed framework has merit and can be used as a viable methodology in microchannel heat sink design optimization.


title: Combining Compressions for Multiplicative Size Scaling on Natural Language Tasks

abstract: Quantization, knowledge distillation, and magnitude pruning are among the most popular methods for neural network compression in NLP. Independently, these methods reduce model size and can accelerate inference, but their relative benefit and combinatorial interactions have not been rigorously studied. For each of the eight possible subsets of these techniques, we compare accuracy vs. model size tradeoffs across six BERT architecture sizes and eight GLUE tasks. We find that quantization and distillation consistently provide greater benefit than pruning. Surprisingly, except for the pair of pruning and quantization, using multiple methods together rarely yields diminishing returns. Instead, we observe complementary and super-multiplicative reductions to model size. Our work quantitatively demonstrates that combining compression methods can synergistically reduce model size, and that practitioners should prioritize (1) quantization, (2) knowledge distillation, and (3) pruning to maximize accuracy vs. model size tradeoffs.


title: Spectral index distribution over radio lobes of 4C 14.11 using astrophysical data in FITS format

abstract: The goal of this paper is to investigate the flux and spectral index distribution of FR II radio galaxy 4C 14.11. We focused on the distribution of flux and spectral indices over the lobes, as well as in their hot spots. For that purpose, we used publicly available observations of this radio galaxy given at 1450 and 8440 MHz. Particularly, we used Leahy's Atlas of radio-emitting double radio sources, Jodrell Bank Centre for Astrophysics in Manchester, as well as NASA/IPAC Extragalactic Database. We found that the non-thermal (synchrotron) radiation dominates over the areas of the lobes. Distinction between hot spots and rest of the lobes are much smaller in the spectral index than in the flux. We also found that over the inner parts of both lobes, spectral index $\alpha$ is flat in average and significantly higher than 1.2, indicating that 4C 14.11 is old AGN.


title: YOLOV: Making Still Image Object Detectors Great at Video Object Detection

abstract: Video object detection (VID) is challenging because of the high variation of object appearance as well as the diverse deterioration in some frames. On the positive side, the detection in a certain frame of a video, compared with that in a still image, can draw support from other frames. Hence, how to aggregate features across different frames is pivotal to VID problem. Most of existing aggregation algorithms are customized for two-stage detectors. However, these detectors are usually computationally expensive due to their two-stage nature. This work proposes a simple yet effective strategy to address the above concerns, which costs marginal overheads with significant gains in accuracy. Concretely, different from traditional two-stage pipeline, we select important regions after the one-stage detection to avoid processing massive low-quality candidates. Besides, we evaluate the relationship between a target frame and reference frames to guide the aggregation. We conduct extensive experiments and ablation studies to verify the efficacy of our design, and reveal its superiority over other state-of-the-art VID approaches in both effectiveness and efficiency. Our YOLOX-based model can achieve promising performance (\emph{e.g.}, 87.5\% AP50 at over 30 FPS on the ImageNet VID dataset on a single 2080Ti GPU), making it attractive for large-scale or real-time applications. The implementation is simple, we have made the demo codes and models available at \url{https://github.com/YuHengsss/YOLOV}.


title: Distributed Optimal Secondary Frequency Control in Power Networks with Delay Independent Stability

abstract: Distributed secondary frequency control for power systems, is a problem that has been extensively studied in the literature, and one of its key features is that an additional communication network is required to achieve optimal power allocation. Therefore, being able to provide stability guarantees in the presence of communication delays is an important requirement. Primal-dual and distributed averaging proportional-integral (DAPI) protocols, respectively, are two main control schemes that have been proposed in the literature. Each has its own relative merits, with the former allowing to incorporate general cost functions and additional operational constraints, and the latter being more straightforward in its implementation. Although delays have been addressed in DAPI schemes, there are currently no theoretical guarantees for the stability of primal-dual schemes for frequency control, when these are subject to communication delays. In fact, simulations illustrate that even small delays can destabilize such schemes. In this paper, we show how a novel formulation of prima-dual schemes allows to construct a distributed algorithm with delay independent stability guarantees. We also show that this algorithm can incorporate many of the key features of these schemes such as tie-line power flow requirements, generation constraints, and the relaxation of demand measurements with an observer layer. Finally, we illustrate our results through simulations on a 5-bus example and on the IEEE-39 test system.


title: Learning Sub-Pixel Disparity Distribution for Light Field Depth Estimation

abstract: Light field (LF) depth estimation plays a crucial role in many LF-based applications. Existing LF depth estimation methods consider depth estimation as a regression problem, where a pixel-wise L1 loss is employed to supervise the training process. However, the disparity map is only a sub-space projection (i.e., an expectation) of the disparity distribution, which is essential for models to learn. In this paper, we propose a simple yet effective method to learn the sub-pixel disparity distribution by fully utilizing the power of deep networks, especially for LF of narrow baselines. We construct the cost volume at the sub-pixel level to produce a finer disparity distribution and design an uncertainty-aware focal loss to supervise the predicted disparity distribution toward the ground truth. Extensive experimental results demonstrate the effectiveness of our method.Our method significantly outperforms recent state-of-the-art LF depth algorithms on the HCI 4D LF Benchmark in terms of all four accuracy metrics (i.e., BadPix 0.01, BadPix 0.03, BadPix 0.07, and MSE $\times$100). The code and model of the proposed method are available at \url{https://github.com/chaowentao/SubFocal}.


title: Should univariate Cox regression be used for feature selection with respect to time-to-event outcomes?

abstract: IMPORTANCE: Time-to-event outcomes are commonly used in clinical trials and biomarker discovery studies and have been primarily analyzed using Cox proportional hazards models. But it's unclear which statistical models should be recommended for feature selection tasks when time-to-event outcomes are of the primary interest. OBJECTIVE: To explore if Gaussian regression of log-transformed survival time could outperform Cox proportional hazards models in feature selection. DESIGN: In this simulation study, the true models are multivariate Cox proportional hazards models with 10 covariates. For all feature selection comparisons, it's assumed that only 5 out the 10 true features are observed/measured for all model fitting, along with 5 random noise features. Each sample size and censoring rate scenario is explored using 10,000 simulation datasets. Different statistical models are applied to the same dataset to estimate feature effects. Model performance is compared using sensitivity, specificity, and accuracy of effect size ranking. RESULTS: When features are independent and the true models are multivariate Cox proportional hazards models, Gaussian regression of log-transformed survival time (response variable) with only two covariates outperformed both the univariate Cox proportional hazards model and logistic regression in feature selection, in terms of not only higher sensitivity, comparable specificity, but also higher accuracy of effect size ranking, regardless of the sample size and censoring rate values. CONCLUSIONS AND RELEVANCE: This study demonstrates the importance of including Gaussian regression of log-transformed survival time in feature selection practice for time-to-event outcomes.


title: Gradient Descent Ascent in Min-Max Stackelberg Games

abstract: Min-max optimization problems (i.e., min-max games) have attracted a great deal of attention recently as their applicability to a wide range of machine learning problems has become evident. In this paper, we study min-max games with dependent strategy sets, where the strategy of the first player constrains the behavior of the second. Such games are best understood as sequential, i.e., Stackelberg, games, for which the relevant solution concept is Stackelberg equilibrium, a generalization of Nash. One of the most popular algorithms for solving min-max games is gradient descent ascent (GDA). We present a straightforward generalization of GDA to min-max Stackelberg games with dependent strategy sets, but show that it may not converge to a Stackelberg equilibrium. We then introduce two variants of GDA, which assume access to a solution oracle for the optimal Karush Kuhn Tucker (KKT) multipliers of the games' constraints. We show that such an oracle exists for a large class of convex-concave min-max Stackelberg games, and provide proof that our GDA variants with such an oracle converge in $O(\frac{1}{\varepsilon^2})$ iterations to an $\varepsilon$-Stackelberg equilibrium, improving on the most efficient algorithms currently known which converge in $O(\frac{1}{\varepsilon^3})$ iterations. We then show that solving Fisher markets, a canonical example of a min-max Stackelberg game, using our novel algorithm, corresponds to buyers and sellers using myopic best-response dynamics in a repeated market, allowing us to prove the convergence of these dynamics in $O(\frac{1}{\varepsilon^2})$ iterations in Fisher markets. We close by describing experiments on Fisher markets which suggest potential ways to extend our theoretical results, by demonstrating how different properties of the objective function can affect the convergence and convergence rate of our algorithms.


title: Microscopic study of optically-stable, coherent color centers in diamond generated by high-temperature annealing

abstract: Single color centers in solid have emerged as promising physical platforms for quantum information science. Creating these centers with excellent quantum properties is a key foundation for further technological developments. In particular, the microscopic understanding of the spin bath environments is the key to engineer color centers for quantum control. In this work, we propose and demonstrate a distinct high-temperature annealing (HTA) approach for creating high-quality nitrogen vacancy (NV) centers in implantation-free diamonds. Simultaneously using the created NV centers as probes for their local environment we verify that no damage was microscopically induced by the HTA. Nearly all single NV centers created in ultra-low-nitrogen-concentration membranes possess stable and Fourier-transform-limited optical spectra. Furthermore, HTA strongly reduces noise sources naturally grown in ensemble samples, and leads to more than three-fold improvements of decoherence time and sensitivity. We also verify that the vacancy activation and defect reformation, especially H3 and P1 centers, can explain the reconfiguration between spin baths and color centers. This novel approach will become a powerful tool in vacancy-based quantum technology.


title: Carbon phase diagram with empirical and machine learned interatomic potentials

abstract: In the present work we detail how the many-body potential energy landscape of interatomic potentials for carbon can be explored by utilising the nested sampling algorithm, allowing the calculation of their pressure-temperature phase diagram up to high pressures. We present a comparison of three interatomic potential models, Tersoff, EDIP and GAP-20, focusing on their macroscopic properties, particularly on their melting transition and on identifying thermodynamically stable solid structures up to at least 100 GPa. The studied models all form graphite structures upon freezing at lower pressure, then the diamond structure as the pressure increases. We were able to locate the transition between these phases in case of the Tersoff and EDIP models. We placed particular focus on the state-of-the-art machine learning (ML) model, GAP-20, and calculated its phase diagram up to 1 TPa to evaluate its predictive capabilities well outside of the model's fitting conditions. The phase diagram showed a remarkably good agreement with the experimental phase diagram up to 200 GPa, despite a variety of unexpected graphite layer spacing. Above that nested sampling identified two novel stable solid structures, a strained diamond structure and above 800 GPa a strained hexagonal-close-packed structure. However, the stability of these two phases were not confirmed by DFT calculations, highlighting potential routes to further improve the ML model.


title: Judge a Sentence by Its Content to Generate Grammatical Errors

abstract: Data sparsity is a well-known problem for grammatical error correction (GEC). Generating synthetic training data is one widely proposed solution to this problem, and has allowed models to achieve state-of-the-art (SOTA) performance in recent years. However, these methods often generate unrealistic errors, or aim to generate sentences with only one error. We propose a learning based two stage method for synthetic data generation for GEC that relaxes this constraint on sentences containing only one error. Errors are generated in accordance with sentence merit. We show that a GEC model trained on our synthetically generated corpus outperforms models trained on synthetic data from prior work.


title: Effectiveness of Function Matching in Driving Scene Recognition

abstract: Knowledge distillation is an effective approach for training compact recognizers required in autonomous driving. Recent studies on image classification have shown that matching student and teacher on a wide range of data points is critical for improving performance in distillation. This concept (called function matching) is suitable for driving scene recognition, where generally an almost infinite amount of unlabeled data are available. In this study, we experimentally investigate the impact of using such a large amount of unlabeled data for distillation on the performance of student models in structured prediction tasks for autonomous driving. Through extensive experiments, we demonstrate that the performance of the compact student model can be improved dramatically and even match the performance of the large-scale teacher by knowledge distillation with massive unlabeled data.


title: Two-phase flows with bulk-surface interaction: thermodynamically consistent Navier-Stokes-Cahn-Hilliard models with dynamic boundary conditions

abstract: We derive a novel thermodynamically consistent Navier--Stokes--Cahn--Hilliard system with dynamic boundary conditions. This model describes the motion of viscous incompressible binary fluids with different densities. In contrast to previous models in the literature, our new model allows for surface diffusion, a variable contact angle between the diffuse interface and the boundary, and mass transfer between bulk and surface. In particular, this transfer of material is subject to a mass conservation law including both a bulk and a surface contribution. The derivation is carried out by means of local energy dissipation laws and the Lagrange multiplier approach. Next, in the case of fluids with matched densities, we show the existence of global weak solutions in two and three dimensions as well as the uniqueness of weak solutions in two dimensions.


title: Zoom in muon survival probability with sterile neutrino for CP and T-violation

abstract: We present the approximated analytic expressions for the muon survival probability in a $3+1$ mixing scenario in the presence of matter effect using the S-matrix formalism. We find that all the individual terms contributing to the muon survival probability can significantly reduce to just three contributions. The leading order contribution comes from the three flavor muon survival probability followed by the two sub-leading contributions arising from active-sterile mixing. Furthermore, to more simplify the results we adopt the well known series expansion relations about mass-hierarchy parameter $\alpha = \Delta m^2_{21} / \Delta m^2_{31}$ and the mixing angle $\sin \theta_{13}$ in the vanishing limit of $\alpha^2$. We discuss the relevance of muon survival probability to probe the CP and T-violation studies coming from the new physics. We also compare the analytic relation between vacuum and matter contributions to the muon survival probability at the leading order. Finally, we comment on the probability behavior at the various long baselines relevant to understand the atmospheric-neutrino sector and to resolve the existing mass-hierarchy problem.