title: Dordis: Efficient Federated Learning with Dropout-Resilient Differential Privacy

abstract: Federated learning (FL) is increasingly deployed among multiple clients to train a shared model over decentralized data. To address privacy concerns, FL systems need to safeguard the clients' data from disclosure during training and control data leakage through trained models when exposed to untrusted domains. Distributed differential privacy (DP) offers an appealing solution in this regard as it achieves a balanced tradeoff between privacy and utility without a trusted server. However, existing distributed DP mechanisms are impractical in the presence of client dropout, resulting in poor privacy guarantees or degraded training accuracy. In addition, these mechanisms suffer from severe efficiency issues. We present Dordis, a distributed differentially private FL framework that is highly efficient and resilient to client dropout. Specifically, we develop a novel `add-then-remove' scheme that enforces a required noise level precisely in each training round, even if some sampled clients drop out. This ensures that the privacy budget is utilized prudently, despite unpredictable client dynamics. To boost performance, Dordis operates as a distributed parallel architecture via encapsulating the communication and computation operations into stages. It automatically divides the global model aggregation into several chunk-aggregation tasks and pipelines them for optimal speedup. Large-scale deployment evaluations demonstrate that Dordis efficiently handles client dropout in various realistic FL scenarios, achieving the optimal privacy-utility tradeoff and accelerating training by up to 2.4$\times$ compared to existing solutions.


title: The fuzzy Potts model in the plane: Scaling limits and arm exponents

abstract: We study the fuzzy Potts model on a critical FK percolation in the plane, which is obtained by coloring the clusters of the percolation model independently at random. We show that under the assumption that this critical FK percolation model converges to a conformally invariant scaling limit (which is known to hold for the FK-Ising model), the obtained coloring converges to variants of Conformal Loop Ensembles constructed, described and studied by Miller, Sheffield and Werner. We also show, using discrete considerations that the arm exponents for this coloring in the discrete model are identical to the ones of the continuum model. Using the values of these arm exponents in the continuum, we determine the arm exponents for the fuzzy Potts model.


title: On some Frobenius type divisibility results in a premodular category

abstract: In this note some new Frobenius type divisibility results are obtained for premodular categories. In particular, we extend Corollary 3.4 of [Yu20] from the settings of super-modular categories to arbitrary pseudo-unitary premodular categories.


title: An Energy Optimized Specializing DAG Federated Learning based on Event Triggered Communication

abstract: Specializing Directed Acyclic Graph Federated Learning(SDAGFL) is a new federated learning framework which updates model from the devices with similar data distribution through Directed Acyclic Graph Distributed Ledger Technology (DAG-DLT). SDAGFL has the advantage of personalization, resisting single point of failure and poisoning attack in fully decentralized federated learning. Because of these advantages, the SDAGFL is suitable for the federated learning in IoT scenario where the device is usually battery-powered. To promote the application of SDAGFL in IoT, we propose an energy optimized SDAGFL based event-triggered communication mechanism, called ESDAGFL. In ESDAGFL, the new model is broadcasted only when it is significantly changed. We evaluate the ESDAGFL on a clustered synthetically FEMNIST dataset and a dataset from texts by Shakespeare and Goethe's works. The experiment results show that our approach can reduce energy consumption by 33\% compared with SDAGFL, and realize the same balance between training accuracy and specialization as SDAGFL.


title: An Update On The $L^p$-$L^q$ Norms of Spectral Multipliers on Unimodular Lie Groups

abstract: This note gives a wide-ranging update on the multiplier theorems by Akylzhanov and the second author [J. Funct. Anal., 278 (2020), 108324]. The proofs of the latter crucially rely on $L^p$-$L^q$ norm estimates for spectral projectors of left-invariant weighted subcoercive operators on unimodular Lie groups, such as Laplacians, sub-Laplacians and Rockland operators. By relating spectral projectors to heat kernels, explicit estimates of the $L^p$-$L^q$ norms can be immediately exploited for a much wider range of (connected unimodular) Lie groups and operators than previously known. The comparison with previously established bounds by authors show that the heat kernel estimates are sharp. As an application, it is shown that several consequences of the multiplier theorems, such as time asymptotics for the $L^p$-$L^q$ norms of the heat kernels and Sobolev-type embeddings, are then automatic for the considered operators.


title: Morphological Characterization of ABS and PC-ABS Surfaces for Automotive Industry

abstract: In the automotive industry, the measurement, control and reproducibility of certain morphological characteristics of surfaces are important to characterize, qualify, certify and optimize different physical properties, such as the degree of wear, the degree of adhesion by adhesives, glues or paints and optical properties. In this regard, this work is intended demonstrate how it is possible to characterize different surfaces in ABS (Acrylonitrile Butadiene Styrene) and PC-ABS (PolyCarbonate/Acrylonitrile Butadiene Styrene) through a set of morphological parameters defined according to the ISO 25178 standard. These surfaces have been subjected to different etching treatments performed with different chemicals, which can radically modify the morphology of the surface, making it more or less suitable according to the industrial purposes sought. Furthermore, in this work an analytical relationship between the hybrid parameters Sdq and Sdr defined in the ISO-25718 standard is also proposed, valid for many surfaces of general use. This study is based on the use of a confocal optical microscope and a SEM (Scanning Electron Microscope), which allow surface morphology to be studied at the micro/nano scale and the measurements are analyzed with special imaging and three-dimensional scanning software that allows the precise measurement of morphological parameters of the standard ISO-25178.


title: Non-Hermitian skin effect edge

abstract: Non-Hermitian skin effect (NHSE) is a unique phenomenon studied intensively in non-Hermitian systems during the past few years. In this work, we discuss the energy dependence of NHSE by introducing nonreciprocity beyond the nearest-neighboring hopping in the one-dimensional lattices. The direction of NHSE reverses as the eigenenergy of the system under open boundary conditions (OBCs) sweeps across some critical energies. To characterize such a phenomenon, we introduce the concept of non-Hermitian skin effect edges, which separate the eigenstates localized at opposite ends of the lattice in the OBC spectrum. We find the skin effect edges are determined by the self-intersections in the spectrum under periodic boundary conditions (PBCs), which are topological as the winding number of the PBC spectrum changes sign when crossing them. Moreover, the NHSE edges will disappear when the self-intersections merge into a single point by tuning the system parameters. Our work reveals the intricate interplay between NHSE and nonreciprocal hopping in non-Hermitian systems.


title: Almost sure invariance principle of $\beta-$mixing time series in Hilbert space

abstract: Inspired by \citet{Berkes14} and \citet{Wu07}, we prove an almost sure invariance principle for stationary $\beta-$mixing stochastic processes defined on Hilbert space. Our result can be applied to Markov chain satisfying Meyn-Tweedie type Lyapunov condition and thus generalises the contraction condition in \citet[Example 2.2]{Berkes14}. We prove our main theorem by the big and small blocks technique and an embedding result in \citet{gotze2011estimates}. Our result is further applied to the ergodic Markov chain and functional autoregressive processes.


title: Electro-optic properties of ZrO2, HfO2 and LiNbO3 ferroelectric phases: A comprehensive and comparative study with density functional theory

abstract: We report the Pockels electro-optic properties of ZrO2 and HfO2 orthorhombic Pbc21 and rhombohedral R3m ferroelectric phases, and we compare them to the well-known LiNbO3 Pockels material from density functional theory calculations using the CRYSTAL suite of programs. Specifically, three essential processes are explicitly investigated: The electronic, the ionic (or vibrational), and the piezoelectric contributions. Our calculations reveal that the ionic part coming from the low frequency phonon modes contributes the most to the electro-optic coefficients of rhombohedral LiNbO3 and of orthorhombic ZrO2 and HfO2. While these low-frequency modes show zero contribution to Pockels coefficients for the rhombohedral phase of the latter compounds.


title: Recent advances in computational methods for studying ligand binding kinetics

abstract: Binding kinetic parameters can be correlated with drug efficacy, which led to the development of various computational methods for predicting binding kinetic rates and gaining insight into protein-drug binding paths and mechanisms in recent years. In this review, we introduce and compare computational methods recently developed and applied to two systems, trypsin-benzamidine and kinase-inhibitor complexes. Methods involving enhanced sampling in molecular dynamics simulations or machine learning can be used not only to predict kinetic rates, but also to reveal factors modulating the duration of residence times, selectivity and drug resistance to mutations. Methods which require less computational time to make predictions are highlighted, and suggestions to reduce the error of computed kinetic rates are presented.


title: Convex Support Vector Regression

abstract: Nonparametric regression subject to convexity or concavity constraints is increasingly popular in economics, finance, operations research, machine learning, and statistics. However, the conventional convex regression based on the least squares loss function often suffers from overfitting and outliers. This paper proposes to address these two issues by introducing the convex support vector regression (CSVR) method, which effectively combines the key elements of convex regression and support vector regression. Numerical experiments demonstrate the performance of CSVR in prediction accuracy and robustness that compares favorably with other state-of-the-art methods.


title: A New Class of Solvable Two-dimensional Scalar Potentials for Graphene

abstract: In the present paper, a systematic approach is presented for solution of two-dimensional massless Dirac equation with external electrostatic potential applied. This approach is based on the new - asymmetric - form of SUSY-like intertwining relations. It allows to build a wide variety of pairs of SUSY-partner external scalar potentials. If one of them is simple enough to be solvable, its partner is also solvable although it may have a non-trivial dependency on both coordinates. Physically, this kind of problems is related to the description of graphene and some other materials with external potential. Solvability obtained by means of asymmetric form of SUSY intertwining relations allows to extend the class of analytically solvable two-dimensional models.

categories: cond-mat.mes-hall math-ph math.MP quant-ph


title: The Generalized Cluster Complex: Refined Enumeration of Faces and Related Parking Spaces

abstract: The generalized cluster complex was introduced by Fomin and Reading, as a natural extension of the Fomin-Zelevinsky cluster complex coming from finite type cluster algebras. In this work, to each face of this complex we associate a parabolic conjugacy class of the underlying finite Coxeter group. We show that the refined enumeration of faces (respectively, positive faces) according to this data gives an explicit formula in terms of the corresponding characteristic polynomial (equivalently, in terms of Orlik-Solomon exponents). This characteristic polynomial originally comes from the theory of hyperplane arrangements, but it is conveniently defined via the parabolic Burnside ring. This makes a connection with the theory of parking spaces: our results eventually rely on some enumeration of chains of noncrossing partitions that were obtained in this context. The precise relations between the formulas counting faces and the one counting chains of noncrossing partitions are combinatorial reciprocities, generalizing the one between Narayana and Kirkman numbers.


title: Supergravity: Application in Particle Physics

abstract: We provide a pedagogical introduction to $N=1$ supergravity/supersymmetry in relation to particle physics. The various steps in the construction of a generic $N=1$ supergravity model are briefly described, and we focus on its low energy supersymmetric limit. The conditions for supersymmetry and supergravity breaking are investigated, and realistic mechanisms suitable for particle physics identified. We then study the model-building aspects of `softly-broken' supersymmetric extensions of the Standard Model and discuss several of their phenomenological features.


title: A Hamiltonian Approach to Floating Barrier Option Pricing

abstract: Hamiltonian approach in quantum mechanics provides a new thinking for barrier option pricing. For proportional floating barrier step options, the option price changing process is similar to the one dimensional trapezoid potential barrier scattering problem in quantum mechanics; for floating double-barrier step options, the option price changing process is analogous to a particle moving in a finite symmetric square potential well. Using Hamiltonian methodology, the analytical expressions of pricing kernel and option price could be derived. Numerical results of option price as a function of underlying price, floating rate, interest rate and exercise price are shown, which are consistent with the results given by mathematical calculations.


title: The admissible monomial bases for the polynomial algebra of five variables in some types of generic degrees

abstract: Let $P_k$ be the graded polynomial algebra $\mathbb F_2[x_1,x_2,\ldots ,x_k]$ over the prime field of two elements, $\mathbb F_2$, with the degree of each $x_i$ being 1. We study the hit problem, set up by Frank Peterson, of finding a minimal set of generators for $P_k$ as a module over the mod-$2$ Steenrod algebra, $\mathcal{A}.$ In this paper, we explicitly determine a minimal set of $\mathcal{A}$-generators for $P_5$ in the case of the degrees $n = 2^{d+1} - 1$ and $n = 2^{d+1} - 2$ for all $d \geqslant 6$.


title: Perfect fluid with shear viscosity and spacetime evolution

abstract: We investigate the anisotropic evolution of spacetime driven by perfect fluid with off-diagonal shear-viscosity components. We consider the simplest form of the equation of state for fluid, for which the pressure and the shear stress are proportional to the energy density individually. At late times, compared with the usual Friedmann universe, we find that the spacetime expands less rapidly as the energy density drops faster due to the transfer to the shear stress. Very interestingly, for some ranges of the equation-of-state parameters, we find that the initial big-bang singularity can be removed.


title: Filling minimality and Lipschitz-volume rigidity of convex bodies among integral current spaces

abstract: In this paper we consider metric fillings of convex bodies. We show that convex bodies $C\subset \mathbb{R}^n$ are the unique minimal fillings of their boundary metrics among all integral current spaces. To this end, we also prove that convex bodies enjoy the Lipschitz-volume rigidity property within the category of integral current spaces, which is well known in the smooth category. As a further application of this result, we answer a question of Perales concerning the intrinsic flat convergence of minimizing sequences for the Plateau problem.


title: Myopia prediction for adolescents via time-aware deep learning

abstract: Background: Quantitative prediction of the adolescents' spherical equivalent based on their variable-length historical vision records. Methods: From October 2019 to March 2022, we examined binocular uncorrected visual acuity, axial length, corneal curvature, and axial of 75,172 eyes from 37,586 adolescents aged 6-20 years in Chengdu, China. 80\% samples consist of the training set and the remaining 20\% form the testing set. Time-Aware Long Short-Term Memory was used to quantitatively predict the adolescents' spherical equivalent within two and a half years. Result: The mean absolute prediction error on the testing set was 0.273-0.257 for spherical equivalent, ranging from 0.189-0.160 to 0.596-0.473 if we consider different lengths of historical records and different prediction durations. Conclusions: Time-Aware Long Short-Term Memory was applied to captured the temporal features in irregularly sampled time series, which is more in line with the characteristics of real data and thus has higher applicability, and helps to identify the progression of myopia earlier. The overall error 0.273 is much smaller than the criterion for clinically acceptable prediction, say 0.75.


title: Dwarf galaxies with central cores in modified Newtonian dynamics (MOND) gravity

abstract: Some dwarf galaxies are within the Mondian regime at all radii, i.e., the gravitational acceleration provided by the observed baryons is always below the threshold of $g_\dag\simeq 1.2\times 10^{-10}\,{\rm m\,s^{-2}}$. These dwarf galaxies often show cores, in the sense that assuming Newton's gravity to explain their rotation curves, the total density profile $\rho(r)$ presents a central plateau or {\em core} ($d\log \rho/d\log r\rightarrow 0$ when $r\rightarrow 0$). Here we show that under MOND gravity, the existence of this core implies a baryon content whose density $g_{\rm bar}$ must decrease toward the center of the gravitational potential ($g_{\rm bar}\rightarrow 0$ when $r\rightarrow 0$). Such drop of baryons toward the central region is neither observed nor appears in numerical simulations of galaxy formation following MOND gravity. We analyze the problem posed for MOND as well as possible workarounds.


title: Fundamental parameters for dEB SB2 binary system J064726.39+223431.6

abstract: We present a study of eclipsing binary J064726.39+223431.6 using spectra from the LAMOST-MRS and TESS photometry. We use full-spectrum fitting to derive radial velocities and spectral parameters: ${T_{\rm eff}}_{A,B}=6177,\,5820$ K, $v \sin{i}_{A,B}=59,\,50~\kms$ and ${\rm [Fe/H]}_{A,B}=-0.19$ dex. The orbital solution and light curve analysis suggest that it is a close pair of fast rotating stars on circular orbit. We measure their masses to be $M_{A,B}=1.307\pm0.007,\, 1.129\pm0.005\,M_\odot$ and their radii to be $R_{A,B}=1.405\pm0.052,\, 1.219\pm0.060\,R_\odot$ resulting in surface gravities of $\log{g}_{A,B}=4.259\pm0.033,\,4.319\pm0.042$ (cgs). Theoretical models cannot match all of these properties, predicting significantly higher ${T_{\rm eff}}$ for a given metallicity. Derived age of the system 1.56 Gyr indicates that both components are younger than Sun, which contradicts to much longer orbit's circularisation timescale.


title: Multi-Task Adversarial Training Algorithm for Multi-Speaker Neural Text-to-Speech

abstract: We propose a novel training algorithm for a multi-speaker neural text-to-speech (TTS) model based on multi-task adversarial training. A conventional generative adversarial network (GAN)-based training algorithm significantly improves the quality of synthetic speech by reducing the statistical difference between natural and synthetic speech. However, the algorithm does not guarantee the generalization performance of the trained TTS model in synthesizing voices of unseen speakers who are not included in the training data. Our algorithm alternatively trains two deep neural networks: multi-task discriminator and multi-speaker neural TTS model (i.e., generator of GANs). The discriminator is trained not only to distinguish between natural and synthetic speech but also to verify the speaker of input speech is existent or non-existent (i.e., newly generated by interpolating seen speakers' embedding vectors). Meanwhile, the generator is trained to minimize the weighted sum of the speech reconstruction loss and adversarial loss for fooling the discriminator, which achieves high-quality multi-speaker TTS even if the target speaker is unseen. Experimental evaluation shows that our algorithm improves the quality of synthetic speech better than a conventional GANSpeech algorithm.


title: Coupling OMNeT++ and mosaik for integrated Co-Simulation of ICT-reliant Smart Grids

abstract: The increasing integration of renewable energy resources requires so-called smart grid services for monitoring, control and automation tasks. Simulation environments are vital for evaluating and developing innovative solutions and algorithms. Especially in smart energy systems, we face a variety of heterogeneous simulators representing, e.g., power grids, analysis or control components and markets. The co-simulation framework mosaik can be used to orchestrate the data exchange and time synchronization between individual simulators. So far, the underlying communication infrastructure has often been assumed to be optimal and therefore, the influence of e.g., communication delays has been neglected. This paper presents the first results of the project cosima, which aims at connecting the communication simulator OMNeT++ to the co-simulation framework mosaik to analyze the resilience and robustness of smart grid services, e.g., multi-agent-based services with respect to adaptivity, scalability, extensibility and usability. This facilitates simulations with realistic communication technologies (such as 5G) and the analysis of dynamic communication characteristics by simulating multiple messages. We show the functionality and benefits of cosima in experiments with 50 agents.


title: Measurement of $CP$ violation of neutral kaon system in $J/\psi$ decay at the Super Tau-Charm Facility

abstract: In this paper, we present a preliminary study of $CP$ violation effect of $K^{0}-\bar{K}^{0}$ system in $J/\psi$ decay. The $CP$ violation parameters $\eta_{+-}$ and $\eta_{00}$ as well as their corresponding phase $\phi_{+-}$ and $\phi_{00}$ can be determined by the difference of the time-dependent decay rates between $K^{0}$ and $\bar{K}^{0}$ produced from $J/\psi \rightarrow K^{-}\pi^{+}K^{0} + c.c.$ processes. We investigate the precisions of the measurements of the CP violation effect at the Super Tau-Charm facility(STCF), a $e^{+}e^{-}$ collider with a peak luminosity of $0.5\times10^{35}\ \rm{cm}^{-2}\rm{s}^{-1}$. The parameters $\eta_{+-}$ and its phase $\phi_{+-}$ can be measured at a relative precision of $1 \times 10^{-3}$, which the statistical accuracy will be several times better than that of the existing PDG average values.


title: Neutron Star Heating in Dark Matter Models for Muon g-2 with Scalar Lepton Partners up to the TeV Scale

abstract: We investigate the kinetic heating of neutron stars due to dark matter scattering in minimal models with scalar lepton partners mediating interactions which can account for the anomalous magnetic moment of the muon. In particular, such models in which the dark matter is a thermally produced Majorana fermion can be extremely difficult to detect at conventional searches. We demonstrate that future infrared observations of an old neutron star population could definitively probe the entire parameter space of this scenario.


title: Clustering by Direct Optimization of the Medoid Silhouette

abstract: The evaluation of clustering results is difficult, highly dependent on the evaluated data set and the perspective of the beholder. There are many different clustering quality measures, which try to provide a general measure to validate clustering results. A very popular measure is the Silhouette. We discuss the efficient medoid-based variant of the Silhouette, perform a theoretical analysis of its properties, and provide two fast versions for the direct optimization. We combine ideas from the original Silhouette with the well-known PAM algorithm and its latest improvements FasterPAM. One of the versions guarantees equal results to the original variant and provides a run speedup of $O(k^2)$. In experiments on real data with 30000 samples and $k$=100, we observed a 10464$\times$ speedup compared to the original PAMMEDSIL algorithm.


title: A generalized Suzuki Berinde contraction that characterizes Banach spaces

abstract: We introduce a large class of contractive mappings, called Suzuki Berinde type contraction. We show that any Suzuki Berinde type contraction has a fixed point and characterizes the completeness of the underlying normed space. A fixed point theorem for multivalued mapping is also obtained. These results unify, generalize and complement various known comparable results in the literature.


title: Kaon spectrum revisited

abstract: The European Organization for Nuclear Research (CERN) has recently approved a world-unique QCD facility in which an updated version of the external M2 beam line of the CERN SPS in conjunction with a universal spectrometer of the COMPASS experiment is used. One of its main goals is to use highly intense and energetic kaon beams to map out the complete spectrum of excited kaons with an unprecedented precision; having a broad impact not only on low-energy QCD phenomenology, but also on many high-energy particle processes where excited kaons appear, such as the study of CP violation in heavy-meson decays studied at LHCb and Belle~II. In support of the experimental effort, the kaon spectrum is computed herein using a constituent quark model which has been successfully applied to a wide range of hadronic observables, from light to heavy quark sectors, and thus the model parameters are completely constrained. The model's prediction can be used as a template against which to compare the already collected data and future experimental findings, in order to distinguish between conventional and exotic kaon states. We also compare our results with those available in the literature in order to provide some general statements, common to all calculations.


title: Gaussian copula modeling of extreme cold and weak-wind events over Europe conditioned on winter weather regimes

abstract: A transition to renewable energy is needed to mitigate climate change. In Europe, this transition has been led by wind energy, which is one of the fastest growing energy sources. However, energy demand and production are sensitive to meteorological conditions and atmospheric variability at multiple time scales. To accomplish the required balance between these two variables, critical conditions of high demand and low wind energy supply must be considered in the design of energy systems. We describe a methodology for modeling joint distributions of meteorological variables without making any assumptions about their marginal distributions. In this context, Gaussian copulas are used to model the correlated nature of cold and weak-wind events. The marginal distributions are modeled with logistic regressions defining two sets of binary variables as predictors: four large-scale weather regimes and the months of the extended winter season. By applying this framework to ERA5 data, we can compute the joint probabilities of co-occurrence of cold and weak-wind events on a high-resolution grid (0.25 deg). Our results show that a) weather regimes must be considered when modeling cold and weak-wind events, b) it is essential to account for the correlations between these events when modeling their joint distribution, c) we need to analyze each month separately, and d) the highest estimated number of days with compound events are associated with the negative phase of the North Atlantic Oscillation (3 days on average over Finland, Ireland, and Lithuania in January, and France and Luxembourg in February) and the Scandinavian Blocking pattern (3 days on average over Ireland in January and Denmark in February). This information could be relevant for application in sub-seasonal to seasonal forecasts of such events.


title: Device-friendly Guava fruit and leaf disease detection using deep learning

abstract: This work presents a deep learning-based plant disease diagnostic system using images of fruits and leaves. Five state-of-the-art convolutional neural networks (CNN) have been employed for implementing the system. Hitherto model accuracy has been the focus for such applications and model optimization has not been accounted for the model to be applicable to end-user devices. Two model quantization techniques such as float16 and dynamic range quantization have been applied to the five state-of-the-art CNN architectures. The study shows that the quantized GoogleNet model achieved the size of 0.143 MB with an accuracy of 97%, which is the best candidate model considering the size criterion. The EfficientNet model achieved the size of 4.2MB with an accuracy of 99%, which is the best model considering the performance criterion. The source codes are available at https://github.com/CompostieAI/Guava-disease-detection.


title: High temperature spectroscopy of nitrogen vacancy centers in diamond

abstract: We study spectroscopy of negatively charged nitrogen-vacancy center in diamond at high temperatures under high vacuum conditions. Spin resonances are studied using optical detection of magnetic resonance (ODMR), and optical spectroscopy is employed to study radiative transitions. Upon increasing the temperature the intensity of radiative decay in visible and infra-red decreased. In addition, the ODMR resonance frequencies were decreased, and the phonon line emission shifted to higher wavelengths. Fitting the measured intensity of photo-luminescence with the theoretical predictions of the Mott-Seitz model yields the value of $0.24 \operatorname{eV}$ for the energy barrier associated with nonradiative decay.


title: Asymptotics of singular values for quantum derivatives

abstract: We obtain Weyl type asymptotics for the quantised derivative $\dbar f$ of a function $f$ from the homgeneous Sobolev space $\dot{W}^1_d(\mathbb{R}^d)$ on $\mathbb{R}^d.$ The asymptotic coefficient $\|\nabla f\|_{L_d(\mathbb R^d)}$ is equivalent to the norm of $\dbar f$ in the principal ideal $\mathcal{L}_{d,\infty},$ thus, providing a non-asymptotic, uniform bound on the spectrum of $\dbar f.$ Our methods are based on the $C^{\ast}$-algebraic notion of the principal symbol mapping on $\mathbb{R}^d$, as developed recently by the last two authors and collaborators.


title: Hazard Analysis of Collaborative Automation Systems: A Two-layer Approach based on Supervisory Control and Simulation

abstract: Safety critical systems are typically subjected to hazard analysis before commissioning to identify and analyse potentially hazardous system states that may arise during operation. Currently, hazard analysis is mainly based on human reasoning, past experiences, and simple tools such as checklists and spreadsheets. Increasing system complexity makes such approaches decreasingly suitable. Furthermore, testing-based hazard analysis is often not suitable due to high costs or dangers of physical faults. A remedy for this are model-based hazard analysis methods, which either rely on formal models or on simulation models, each with their own benefits and drawbacks. This paper proposes a two-layer approach that combines the benefits of exhaustive analysis using formal methods with detailed analysis using simulation. Unsafe behaviours that lead to unsafe states are first synthesised from a formal model of the system using Supervisory Control Theory. The result is then input to the simulation where detailed analyses using domain-specific risk metrics are performed. Though the presented approach is generally applicable, this paper demonstrates the benefits of the approach on an industrial human-robot collaboration system.


title: Improving Document Image Understanding with Reinforcement Finetuning

abstract: Successful Artificial Intelligence systems often require numerous labeled data to extract information from document images. In this paper, we investigate the problem of improving the performance of Artificial Intelligence systems in understanding document images, especially in cases where training data is limited. We address the problem by proposing a novel finetuning method using reinforcement learning. Our approach treats the Information Extraction model as a policy network and uses policy gradient training to update the model to maximize combined reward functions that complement the traditional cross-entropy losses. Our experiments on four datasets using labels and expert feedback demonstrate that our finetuning mechanism consistently improves the performance of a state-of-the-art information extractor, especially in the small training data regime.


title: On Frobenius problem with restrictions on common divisors of coefficients

abstract: Let $m,s,t$ are positive integers with $t\leq s-2$ and $a_1,a_2,\ldots,a_s$ are positive integers such that $(a_1,a_2,\ldots,a_{s-1})=1$. In the paper we prove that every sufficiently large positive integer can be written in the form $a_1\mu_1+a_2\mu_2+\ldots+a_s\mu_m$, where positive integers $\mu_1,\mu_2,\ldots,\mu_s$ have no common divisor being $m$-th power of a positive integer greater than $1$ but each $t$ of the values of $\mu_1,\mu_2,\ldots,\mu_n$ have a common divisor being $m$-th power of a positive integer greater than $1$. Moreover, we show that every sufficiently large positive integer can be written as a sum of positive integers $\mu_1,\mu_2,\ldots,\mu_n$ with no common divisor being $m$-th power of a positive integer greater than $1$ but each $s-1$ of the values of $\mu_1,\mu_2,\ldots,\mu_s$ have a common divisor being $m$-th power of a positive integer greater than $1$.


title: Impact-Friendly Object Catching at Non-Zero Velocity Based on Combined Optimization and Learning

abstract: This paper proposes a combined optimization and learning method for impact-friendly, non-prehensile catching of objects at non-zero velocity. Through a constrained Quadratic Programming problem, the method generates optimal trajectories up to the contact point between the robot and the object to minimize their relative velocity and reduce the impact forces. Next, the generated trajectories are updated by Kernelized Movement Primitives, which are based on human catching demonstrations to ensure a smooth transition around the catching point. In addition, the learned human variable stiffness (HVS) is sent to the robot's Cartesian impedance controller to absorb the post-impact forces and stabilize the catching position. Three experiments are conducted to compare our method with and without HVS against a fixed-position impedance controller (FP-IC). The results showed that the proposed methods outperform the FP-IC while adding HVS yields better results for absorbing the post-impact forces.


title: Relating description complexity to entropy

abstract: We demonstrate some novel links between entropy and description complexity, a notion referring to the minimal formula length for specifying given properties. Let MLU be the logic obtained by extending propositional logic with the universal modality, and let GMLU be the corresponding extension with the ability to count. In the finite, MLU is expressively complete for specifying sets of variable assignments, while GMLU is expressively complete for multisets. We show that for MLU, the model classes with maximal Boltzmann entropy are the ones with maximal description complexity. Concerning GMLU, we show that expected Boltzmann entropy is asymptotically equivalent to expected description complexity multiplied by the number of proposition symbols considered. To contrast these results, we show that this link breaks when we move to considering first-order logic FO over vocabularies with higher-arity relations. To establish the aforementioned result, we show that almost all finite models require relatively large FO-formulas to define them. Our results relate to links between Kolmogorov complexity and entropy, demonstrating a way to conceive such results in the logic-based scenario where relational structures are classified by formulas of different sizes.


title: An Efficient Implementation for Spatial-Temporal Gaussian Process Regression and Its Applications

abstract: Spatial-temporal Gaussian process regression is a popular method for spatial-temporal data modeling. Its state-of-art implementation is based on the state-space model realization of the spatial-temporal Gaussian process and its corresponding Kalman filter and smoother, and has computational complexity $\mathcal{O}(NM^3)$, where $N$ and $M$ are the number of time instants and spatial input locations, respectively, and thus can only be applied to data with large $N$ but relatively small $M$. In this paper, our primary goal is to show that by exploring the Kronecker structure of the state-space model realization of the spatial-temporal Gaussian process, it is possible to further reduce the computational complexity to $\mathcal{O}(M^3+NM^2)$ and thus the proposed implementation can be applied to data with large $N$ and moderately large $M$. The proposed implementation is illustrated over applications in weather data prediction and spatially-distributed system identification. Our secondary goal is to design a kernel for both the Colorado precipitation data and the GHCN temperature data, such that while having more efficient implementation, better prediction performance can also be achieved than the state-of-art result.


title: Dirac cohomology for the BGG category $\mathcal{O}$

abstract: We study Dirac cohomology $H_D^{\mathfrak{g},\mathfrak{h}}(M)$ for modules belonging to category $\mathcal{O}$ of a finite dimensional complex semisimple Lie algebra. We prove Vogan's conjecture, a nonvanishing result for $H_D^{\mathfrak{g},\mathfrak{h}}(M)$ while we show that in the case of a Hermitian symmetric pair $(\mathfrak{g},\mathfrak{k})$ and an irreducible unitary module $M\in\mathcal{O}$, Dirac cohomology coincides with the nilpotent Lie algebra cohomology with coefficients in $M$. In the last part, we show that the higher Dirac cohomology and index introduced by Pand\v{z}i\'c and Somberg satisfy nice homological properties for $M\in\mathcal{O}$.


title: Vacua by Derivative Corrections in $\mathcal{N}=1$ Supergravity with Matter Multiplets

abstract: We study the vacuum structures of four-dimensional $\mathcal{N} = 1$ old minimal supergravity with higher derivative corrections. We find that $\mathcal{N} = 1$ supergravity with Riemann curvature square corrections and higher derivative matter chiral multiplets induces a non-trivial de Sitter vacuum, even in the absence of superpotentials. This vacuum generically breaks supersymmetry. We show that the auxiliary fields in the gravity and the chiral multiples play important roles to generate a potential in supersymmetric higher derivative theories.


title: Experiential Benefits of Interactive Conflict Negotiation Practices in Computer-Supported Shift Planning

abstract: Shift planning plays a key role for the health and well-being of healthcare workers. It determines when they work and when they can take time off to recover or engage in social activities. Current computer-support in shift planning is typically designed from a managerial perspective and focuses on process efficiency, with the long-term goal of full automation. This implies automatic resolutions of emotionally charged scheduling conflicts. In the present study, we measured the effects of such a fully automated process on workers' well-being, fairness, and team spirit, and compared them with a more interactive process that directly involves workers in the decision-making. In our experimental online study (n = 94), we found positive effects of the more interactive process on all measures. Our findings indicate that full automation may not be desirable from the worker perspective. We close with concrete suggestions to design more worker-centered, hybrid shift planning systems by optimizing worker control, considering the worker experience, and embedding shift planning in the broader work context.


title: A monoidal Grothendieck construction for $\infty$-categories

abstract: We construct a monoidal version of Lurie's un/straightening equivalence. In more detail, for any symmetric monoidal $\infty$-category $\mathbf C$, we endow the $\infty$-category of coCartesian fibrations over $\mathbf C$ with a (naturally defined) symmetric monoidal structure, and prove that it is equivalent the Day convolution monoidal structure on the $\infty$-category of functors from $\mathbf C$ to $\mathbf{Cat}_\infty$. In fact, we do this over any $\infty$-operad by categorifying this statement and thereby proving a stronger statement about the functors that assign to an $\infty$-category $\mathbf C$ its category of coCartesian fibrations on the one hand, and its category of functors to $\mathbf{Cat}_\infty$ on the other hand.


title: Graphic characterization and clustering configuration descriptors of determinant space for molecules

abstract: Quantum Monte Carlo approaches based on the stochastic sampling of the determinant space have evolved to be powerful methods to compute the electronic states of molecules. These methods not only calculate the correlation energy at an unprecedented accuracy but also provides insightful information on the electronic structure of computed states, e.g. the population, connection, and clustering of determinants, which have not been fully explored. In this work, we devise a configuration graph for visualizing the determinant space, revealing the nature of the molecule's electronic structure. In addition, we propose two analytical descriptors to quantify the extent of configuration clustering of multi-determinant wave functions. The graph and descriptors provide us with a fresh perspective of the electronic structure of molecules and can assist the further development of configuration interaction based electronic structure methods.


title: Multi-Hour Ahead Dst Index Prediction Using Multi-Fidelity Boosted Neural Networks

abstract: The Disturbance storm time (Dst) index has been widely used as a proxy for the ring current intensity, and therefore as a measure of geomagnetic activity. It is derived by measurements from four ground magnetometers in the geomagnetic equatorial regions. We present a new model for predicting $Dst$ with a lead time between 1 and 6 hours. The model is first developed using a Gated Recurrent Unit (GRU) network that is trained using solar wind parameters. The uncertainty of the $Dst$ model is then estimated by using the ACCRUE method [Camporeale et al. 2021]. Finally, a multi-fidelity boosting method is developed in order to enhance the accuracy of the model and reduce its associated uncertainty. It is shown that the developed model can predict $Dst$ 6 hours ahead with a root-mean-square-error (RMSE) of 13.54 $\mathrm{nT}$. This is significantly better than the persistence model and a simple GRU model.


title: Solving Schr\"{o}dinger Equation Using Tensor Neural Network

abstract: In this paper, we introduce a prototype of machine learning method to solve the many-body Schr\"{o}dinger equation by the tensor neural network. Based on the tensor product structure, we can do the direct numerical integration by using fixed quadrature points for the functions constructed by the tensor neural network within tolerable computational complexity. The corresponding machine learning method is built for solving many-body Schr\"{o}dinger equation. Some numerical examples are provided to validate the accuracy and efficiency of the proposed algorithms.


title: Faked Speech Detection with Zero Prior Knowledge

abstract: Audio is one of the most used ways of human communication, but at the same time it can be easily misused to trick people. With the revolution of AI, the related technologies are now accessible to almost everyone, thus making it simple for the criminals to commit crimes and forgeries. In this work, we introduce a neural network method to develop a classifier that will blindly classify an input audio as real or mimicked; the word 'blindly' refers to the ability to detect mimicked audio without references or real sources. We propose a deep neural network following a sequential model that comprises three hidden layers, with alternating dense and drop out layers. The proposed model was trained on a set of 26 important features extracted from a large dataset of audios to get a classifier that was tested on the same set of features from different audios. The data was extracted from two raw datasets, especially composed for this work; an all English dataset and a mixed dataset (Arabic plus English) (The dataset can be provided, in raw form, by writing an email to the first author). For the purpose of comparison, the audios were also classified through human inspection with the subjects being the native speakers. The ensued results were interesting and exhibited formidable accuracy, as we were able to get at least 94% correct classification of the test cases, as against the 85% accuracy in the case of human observers.


title: Multiplicity of positive solutions for a class of nonhomogeneous elliptic equations in the hyperbolic space

abstract: The paper is concerned with positive solutions to problems of the type \begin{equation*} -\Delta_{\mathbb{B}^N} u - \lambda u = a(x) |u|^{p-1}\;u \, + \, f \, \;\;\text{in}\;\mathbb{B}^{N}, \quad u \in H^{1}{(\mathbb{B}^{N})}, \end{equation*} where $\mathbb{B}^N$ denotes the hyperbolic space, $1<p<2^*-1:=\frac{N+2}{N-2}$, $\;\lambda < \frac{(N-1)^2}{4}$, and $f \in H^{-1}(\mathbb{B}^N)$ ($f \not\equiv 0$) is a non-negative functional. The potential $a\in L^\infty(\mathbb{B}^N)$ is assumed to be strictly positive, such that $\lim_{d(x, 0) \rightarrow \infty} a(x) \rightarrow 1,$ where $d(x, 0)$ denotes the geodesic distance. First, the existence of three positive solutions is proved under the assumption that $a(x) \leq 1$. Then the case $a(x) \geq 1$ is considered, and the existence of two positive solutions is proved. In both cases, it is assumed that $\mu( \{ x : a(x) \neq 1\}) > 0.$ Subsequently, we establish the existence of two positive solutions for $a(x) \equiv 1$ and prove asymptotic estimates for positive solutions using barrier-type arguments. The proofs for existence combine variational arguments, key energy estimates involving hyperbolic bubbles.


title: An elementary proof of the naturality of the Yoneda embedding

abstract: We give a short proof that the Yoneda embedding is natural for $\infty$-categories, and further prove that the space of natural transformations that are, pointwise, the Yoneda embedding, is contractible.


title: Challenges and Opportunities for Inclusive Space Missions

abstract: People with impairments are not able to participate in space missions. However, this is not because they cannot; instead, spacecraft have not been designed for them. Therefore, instead of simply excluding people with impairments, they should be included in the design process. This may also help astronauts suffering from fatigue or accidents. Indeed, several impairments can occur due to the effects of microgravity on the body and psychological factors during long space missions. In this paper, we describe the idea of including people with all types of impairments in the design process of interactive space systems to obtain, as a result, systems that can also be used by astronauts suffering from a temporary or situational impairment during a long space flight. To this end, we have described solutions for some types of impairments to ensure the use of interactive systems with permanent, temporary, or situational impairments. The benefits from the participation of people with impairments also bring the idea of inclusion in space a bit closer: supporting people with impairments in space by designing appropriate systems that make space accessible.


title: Meta-Learning a Cross-lingual Manifold for Semantic Parsing

abstract: Localizing a semantic parser to support new languages requires effective cross-lingual generalization. Recent work has found success with machine-translation or zero-shot methods although these approaches can struggle to model how native speakers ask questions. We consider how to effectively leverage minimal annotated examples in new languages for few-shot cross-lingual semantic parsing. We introduce a first-order meta-learning algorithm to train a semantic parser with maximal sample efficiency during cross-lingual transfer. Our algorithm uses high-resource languages to train the parser and simultaneously optimizes for cross-lingual generalization for lower-resource languages. Results across six languages on ATIS demonstrate that our combination of generalization steps yields accurate semantic parsers sampling $\le$10% of source training data in each new language. Our approach also trains a competitive model on Spider using English with generalization to Chinese similarly sampling $\le$10% of training data.


title: Every countable model of arithmetic or set theory has a pointwise-definable end extension

abstract: According to the math tea argument, there must be real numbers that we cannot describe or define, because there are uncountably many real numbers, but only countably many definitions. And yet, the existence of pointwise-definable models of set theory, in which every individual is definable without parameters, challenges this conclusion. In this article, I introduce a flexible new method for constructing pointwise-definable models of arithmetic and set theory, showing furthermore that every countable model of Zermelo-Fraenkel ZF set theory and of Peano arithmetic PA has a pointwise-definable end extension. In the arithmetic case, I use the universal algorithm and its $\Sigma_n$ generalizations to build a progressively elementary tower making any desired individual $a_n$ definable at each stage $n$, while preserving these definitions through to the limit model, which can thus be arranged to be pointwise definable. A similar method works in set theory, and one can moreover achieve $V=L$ in the extension or indeed any other suitable theory holding in an inner model of the original model, thereby fulfilling the resurrection phenomenon. For example, every countable model of ZF with an inner model with a measurable cardinal has an end extension to a pointwise-definable model of $\text{ZFC}+V=L[\mu]$.


title: Least-squares methods for nonnegative matrix factorization over rational functions

abstract: Nonnegative Matrix Factorization (NMF) models are widely used to recover linearly mixed nonnegative data. When the data is made of samplings of continuous signals, the factors in NMF can be constrained to be samples of nonnegative rational functions, which allow fairly general models; this is referred to as NMF using rational functions (R-NMF). We first show that, under mild assumptions, R-NMF has an essentially unique factorization unlike NMF, which is crucial in applications where ground-truth factors need to be recovered such as blind source separation problems. Then we present different approaches to solve R-NMF: the R-HANLS, R-ANLS and R-NLS methods. From our tests, no method significantly outperforms the others, and a trade-off should be done between time and accuracy. Indeed, R-HANLS is fast and accurate for large problems, while R-ANLS is more accurate, but also more resources demanding, both in time and memory. R-NLS is very accurate but only for small problems. Moreover, we show that R-NMF outperforms NMF in various tasks including the recovery of semi-synthetic continuous signals, and a classification problem of real hyperspectral signals.


title: Robust Causality and False Attribution in Data-Driven Earth Science Discoveries

abstract: Causal and attribution studies are essential for earth scientific discoveries and critical for informing climate, ecology, and water policies. However, the current generation of methods needs to keep pace with the complexity of scientific and stakeholder challenges and data availability combined with the adequacy of data-driven methods. Unless carefully informed by physics, they run the risk of conflating correlation with causation or getting overwhelmed by estimation inaccuracies. Given that natural experiments, controlled trials, interventions, and counterfactual examinations are often impractical, information-theoretic methods have been developed and are being continually refined in the earth sciences. Here we show that transfer entropy-based causal graphs, which have recently become popular in the earth sciences with high-profile discoveries, can be spurious even when augmented with statistical significance. We develop a subsample-based ensemble approach for robust causality analysis. Simulated data, and observations in climate and ecohydrology, suggest the robustness and consistency of this approach.


title: Two-Tailed Averaging: Anytime, Adaptive, Once-in-a-While Optimal Weight Averaging for Better Generalization

abstract: Tail Averaging improves on Polyak averaging's non-asymptotic behaviour by excluding a number of leading iterates of stochastic optimization from its calculations. In practice, with a finite number of optimization steps and a learning rate that cannot be annealed to zero, Tail Averaging can get much closer to a local minimum point of the training loss than either the individual iterates or the Polyak average. However, the number of leading iterates to ignore is an important hyperparameter, and starting averaging too early or too late leads to inefficient use of resources or suboptimal solutions. Our work focusses on improving generalization, which makes setting this hyperparameter even more difficult, especially in the presence of other hyperparameters and overfitting. Furthermore, before averaging starts, the loss is only weakly informative of the final performance, which makes early stopping unreliable. To alleviate these problems, we propose an anytime variant of Tail Averaging intended for improving generalization not pure optimization, that has no hyperparameters and approximates the optimal tail at all optimization steps. Our algorithm is based on two running averages with adaptive lengths bounded in terms of the optimal tail length, one of which achieves approximate optimality with some regularity. Requiring only the additional storage for two sets of weights and periodic evaluation of the loss, the proposed Two-Tailed Averaging algorithm is a practical and widely applicable method for improving generalization.


title: Propulsion of bullet- and cup-shaped nano- and microparticles by traveling ultrasound waves

abstract: The propulsion of colloidal particles via planar traveling ultrasound waves has attracted increasing attention in recent years. A frequently studied type of particles is bullet-shaped and cup-shaped nano- and microparticles. Based on acoustofluidic simulations, this article investigates how the propulsion of bullet-shaped particles depends on their length and diameter, where cup-shaped particles are included as limiting cases corresponding to the smallest particle length. The structure of the flow field generated by the particles is discussed and it is shown that the particles' propulsion strength increases with their length and diameter. When varying the diameter, we observed also a sign change of the propulsion. This work complements previous experimental studies that have addressed such particles only for particular aspect ratios, and the provided understanding of how the propulsion of the particles depends on their dimensions will prospectively be helpful for the choice of particle shapes that are most suitable for future experimental studies.

categories: cond-mat.soft cond-mat.mes-hall physics.comp-ph physics.flu-dyn


title: Momentum transfer in the dark sector and lensing convergence in upcoming galaxy surveys

abstract: We investigated a cosmological model that allows a momentum transfer between dark matter and dark energy. The interaction in the dark sector mainly affects the behaviour of perturbations on small scales while the background evolution matches the $w$CDM solution. As a result of the momentum transfer, these kinds of models help alleviating the $\sigma_8$ discrepancy in the standard model, but do not resolve the so-called $H_0$ tension. We confirm that this is indeed the case by computing cosmological constraints. While our analysis tends to favour $\sigma_8$ values lower than in $\Lambda$CDM, we do not find evidence for a non-vanishing momentum transfer in the dark sector. Since upcoming galaxy surveys will deliver information on scales and red-shift relevant for testing models allowing momentum transfer in the dark sector, we also carried out forecasts using different survey configurations. We assessed the relevance of neglecting lensing convergence $\kappa$ when modelling the angular power spectrum of number counts fluctuations $C_\ell^{\rm ij}(z,z')$. We found that not including $\kappa$ in analyses leads to biased constraints ($\approx 1-5\,\sigma$) of cosmological parameters even when including information from other experiments. Incorrectly modelling $C_\ell^{\rm ij}(z,z')$ might lead to spurious detection of neutrino masses and exacerbate discrepancies in $H_0$ and $\sigma_8$.


title: Tests of Loop Quantum Gravity from the Event Horizon Telescope Results of Sgr A$^*$

abstract: The Event Horizon Telescope (EHT) collaboration's image of the compact object at the galactic center is the first direct evidence of the supermassive black hole (BH) Sgr A$^*$. The shadow of Sgr A$^*$ has an angular diameter $d_{sh}= 48.7 \pm 7\,\mu$as with fractional deviation from the Schwarzschild BH shadow diameter $\delta= -0.08^{+0.09}_{-0.09}\,,-0.04^{+0.09}_{-0.10}$ (for the VLTI and Keck mass-to-distance ratios). Sgr A$^*$'s shadow size is within $~10\%$ of Kerr predictions, equipping us with yet another tool to analyze gravity in the strong-field regime, including testing loop quantum gravity (LQG). We use Sgr A$^*$'s shadow to constrain the metrics of two well-motivated LQG-inspired rotating BH (LIRBH) models characterized by an additional deviation parameter $L_q$, which recover the Kerr spacetime in the absence of quantum effects ($L_q \to 0$). When increasing the quantum effects through $L_q$, the shadow size increases monotonically, while the shape gets more distorted, allowing us to constrain the fundamental parameter $L_q$. We use the astrophysical observables shadow area $A$ and oblateness $D$ to estimate the BH parameters. It may be useful in extracting additional information about LIRBHs. While the EHT observational results completely rule out the wormhole region in the LIRBH-2, a substantial parameter region of the generic BHs in both models agrees with the EHT results. We find that the upper bounds on $L_q$ obtained from the shadow of Sgr A$^*$ -- $L_q \lesssim 0.0423$ and $L_q \lesssim 0.0821$ for the two LIRBHs, respectively -- are more stringent than those obtained from the EHT image of M87$^*$.


title: A super-linear "radio-AGN main sequence'' links mean radio-AGN power and galaxy stellar mass since z$\sim$3

abstract: Mapping the average AGN luminosity across galaxy populations and over time encapsulates important clues on the interplay between supermassive black hole (SMBH) and galaxy growth. This paper presents the demography, mean power and cosmic evolution of radio AGN across star-forming galaxies (SFGs) of different stellar masses (${M_{*}}$). We exploit deep VLA-COSMOS 3 GHz data to build the rest-frame 1.4 GHz AGN luminosity functions at 0.1$\leq$$z$$\leq$4.5 hosted in SFGs. Splitting the AGN luminosity function into different ${M_{*}}$ bins reveals that, at all redshifts, radio AGN are both more frequent and more luminous in higher ${M_*}$ than in lower ${M_*}$ galaxies. The cumulative kinetic luminosity density exerted by radio AGN in SFGs peaks at $z$$\sim$2, and it is mostly driven by galaxies with 10.5$\leq$$\log$(${M_{*}}$/${M_{\odot}}$)$<$11. Averaging the cumulative radio AGN activity across all SFGs at each (${M_{*}}$,$z$) results in a "radio-AGN main sequence" that links the time-averaged radio-AGN power $\langle$$L_{1.4}^{{AGN}}$$\rangle$ and galaxy stellar mass, in the form: $\log$$\langle$[$L_{1.4}^{{AGN}}$/ W Hz$^{-1}]\rangle$ = (20.97$\pm$0.16) + (2.51$\pm$0.34)$\cdot$$\log$(1+$z$) + (1.41$\pm$0.09)$\cdot$($\log$[${M_{*}}$/${M_{\odot}}$] -10). The super-linear dependence on ${M_{*}}$, at fixed redshift, suggests enhanced radio-AGN activity in more massive SFGs, as compared to star formation. We ascribe this enhancement to both a higher radio AGN duty cycle and a brighter radio-AGN phase in more massive SFGs. A remarkably consistent ${M_{*}}$ dependence is seen for the evolving X-ray AGN population in SFGs. This similarity is interpreted as possibly driven by secular cold gas accretion fueling both radio and X-ray AGN activity in a similar fashion over the galaxy's lifetime.


title: Learning Critical Scenarios in Feedback Control Systems for Automated Driving

abstract: Testing is essential for verifying and validating control designs, especially in safety-critical applications. In particular, the control system governing an automated driving vehicle must be proven reliable enough for its acceptance on the market. Recently, much research has focused on scenario-based methods. However, the number of possible driving scenarios to test is in principle infinite. In this paper, we formalize a learning-based optimization framework to generate corner test-cases, where we take into account the operational design domain. We examine the approach on the case of a feedback control system for automated driving, for which we suggest the design of the objective function expressing the criticality of scenarios. Numerical tests on two logical scenarios of the case study demonstrate that the approach can identify critical scenarios within a limited number of closed-loop experiments.


title: TGLib: An Open-Source Library for Temporal Graph Analysis

abstract: We initiate an open-source library for the efficient analysis of temporal graphs. We consider one of the standard models of dynamic networks in which each edge has a discrete timestamp and transition time. Recently there has been a massive interest in analyzing such temporal graphs. Common computational data mining and analysis tasks include the computation of temporal distances, centrality measures, and network statistics like topological overlap, burstiness, or temporal diameter. To fulfill the increasing demand for efficient and easy-to-use implementations of temporal graph algorithms, we introduce the open-source library TGLib, which integrates efficient data structures and algorithms for temporal graph analysis. TGLib is highly efficient and versatile, providing simple and convenient C++ and Python interfaces, targeting computer scientists, practitioners, students, and the (temporal) network research community.


title: A Collaborative, Interactive and Context-Aware Drawing Agent for Co-Creative Design

abstract: Recent advances in text-conditioned generative models have provided us with neural networks capable of creating images of astonishing quality, be they realistic, abstract, or even creative. These models have in common that (more or less explicitly) they all aim to produce a high-quality one-off output given certain conditions, and in that they are not well suited for a creative collaboration framework. Drawing on theories from cognitive science that model how professional designers and artists think, we argue how this setting differs from the former and introduce CICADA: a Collaborative, Interactive Context-Aware Drawing Agent. CICADA uses a vector-based synthesis-by-optimisation method to take a partial sketch (such as might be provided by a user) and develop it towards a goal by adding and/or sensibly modifying traces. Given that this topic has been scarcely explored, we also introduce a way to evaluate desired characteristics of a model in this context by means of proposing a diversity measure. CICADA is shown to produce sketches of quality comparable to a human user's, enhanced diversity and most importantly to be able to cope with change by continuing the sketch minding the user's contributions in a flexible manner.


title: Curvature and dynamical spacetimes: can we peer into the quantum regime?

abstract: Stationary compact astrophysical objects such as black holes and neutron stars behave as classical systems from the gravitational point of view. Their (observable) curvature is everywhere "small". Here we investigate whether mergers of such objects, or other strongly dynamical spacetimes such as collapsing configurations, may probe the strong-curvature regime of General Relativity. Our results indicate that dynamical black hole spacetimes always result in a modest increase $\sim 3$ in the Kretschmann scalar, relative to the stationary state. Our results show that the Kretschmann scalar can dynamically increase by orders of magnitude, during the gravitational collapse of scalar fields, and that the (normalized) peak curvature does not correspond to that of the critical solution. Nevertheless, without fine tuning of initial data, this increase lies far below that needed to render quantum-gravity corrections important.


title: Learning to Drop Out: An Adversarial Approach to Training Sequence VAEs

abstract: In principle, applying variational autoencoders (VAEs) to sequential data offers a method for controlled sequence generation, manipulation, and structured representation learning. However, training sequence VAEs is challenging: autoregressive decoders can often explain the data without utilizing the latent space, known as posterior collapse. To mitigate this, state-of-the-art models weaken the powerful decoder by applying uniformly random dropout to the decoder input. We show theoretically that this removes pointwise mutual information provided by the decoder input, which is compensated for by utilizing the latent space. We then propose an adversarial training strategy to achieve information-based stochastic dropout. Compared to uniform dropout on standard text benchmark datasets, our targeted approach increases both sequence modeling performance and the information captured in the latent space.


title: Large-Scale Rate-Splitting Multiple Access in Uplink UAV Networks: Effective Secrecy Throughput Maximization Under Limited Feedback Channel

abstract: UAVs are capable of improving the performance of next generation wireless systems. Specifically, UAVs can be exploited as aerial base-stations (UAV-BS) for supporting legitimate ground users in remote uncovered areas or in environments temporarily requiring high capacity. However, their communication performance is prone to both channel estimation errors and potential eavesdropping. Hence, we investigate the effective secrecy throughput of the UAV-aided uplink, in which rate-splitting multiple access (RSMA) is employed by each legitimate user for secure transmission under the scenario of massive access. To maximize the effective network secrecy throughput in the uplink, the transmission rate vs. power allocation relationship is formulated as a max-min optimization problem, relying on realistic imperfect CSI of both the legitimate users and of the potential eavesdroppers (Eves). We then propose a novel transformation of the associated probabilistic constraints for decoupling the variables, so that our design problem can be solved by alternatively activating the related block coordinate decent programming. In the model considered, each user transmits a superposition of two messages to a UAV-BS, each having different transmit power and the UAV-BS uses a SIC technique to decode the received messages. Given the non-convexity of the problem, it is decoupled into a pair of sub-problems. In particular, we derive a closed form expression for the optimal rate-splitting fraction of each user. Then, given the optimal rate-splitting fraction of each user, the \epsilon-constrainted transmit power of each user is calculated by harnessing SPCA programming.


title: Generating Compressed Combinatory Proof Structures -- An Approach to Automated First-Order Theorem Proving

abstract: Representing a proof tree by a combinator term that reduces to the tree lets subtle forms of duplication within the tree materialize as duplicated subterms of the combinator term. In a DAG representation of the combinator term these straightforwardly factor into shared subgraphs. To search for proofs, combinator terms can be enumerated, like clausal tableaux, interwoven with unification of formulas that are associated with nodes of the enumerated structures. To restrict the search space, the enumeration can be based on proof schemas defined as parameterized combinator terms. We introduce here this "combinator term as proof structure" approach to automated first-order proving, present an implementation and first experimental results. The approach builds on a term view of proof structures rooted in condensed detachment and the connection method. It realizes features known from the connection structure calculus, which has not been implemented so far.


title: Measuring periods in aperiodic light curves -- Applying the GPS method to infer rotation periods of solar-like stars

abstract: Light curves of solar-like stars are known to show highly irregular variability. As a consequence, standard frequency analysis methods often fail to detect the correct rotation period. Recently, Shapiro et al. (2020) showed that the periods of such stars could still be measured by considering the Gradient of the Power Spectrum (GPS) instead of the power spectrum itself. In this study, the GPS method is applied to model light curves of solar-like stars covering all possible inclination angles and a large range of metallicities and observational noise levels. The model parameters are chosen such that they resemble those of many stars in the Kepler field. We show that the GPS method is able to detect the correct rotation period in 40% of all considered cases, which is more than ten times higher than the detection rate of standard techniques. Thus, we conclude that the GPS method is ideally suited to measure periods of those Kepler stars lacking such a measurement so far. We also show that the GPS method is significantly superior to auto-correlation methods when starspot lifetimes are shorter than a few rotation periods. GPS begins to yield rotation periods that are too short when dominant spot lifetimes are shorter than one rotation period. We conclude that new methods are generally needed to reliably detect rotation periods from sufficiently aperiodic time series -- these periods will otherwise remain undetected.


title: The Golomb topology of polynomial rings, II

abstract: We study the interplay of the Golomb topology and the algebraic structure in polynomial rings $K[X]$ over a field $K$. In particular, we focus on infinite fields $K$ of positive characteristic such that the set of irreducible polynomials of $K[X]$ is dense in the Golomb space $G(K[X])$. We show that, in this case, the characteristic of $K$ is a topological invariant, and that any self-homeomorphism of $G(K[X])$ is the composition of multiplication by a unit and a ring automorphism of $K[X]$.


title: Surfactant behavior and limited incorporation of Indium during in-situ doping of GeSn grown by MBE

abstract: GeSn is a promising group-IV semiconductor material for on-chip Si photonics devices and high-mobility transistors. These devices require the use of doped GeSn regions, achieved preferably in-situ during epitaxy. From the electronic valence point of view, p-type dopants of group-IV materials include B, Al, Ga and In. The latter element has never been investigated as p-type dopant in GeSn. In this work, we explore in-situ In p-type doping of GeSn grown by MBE. We demonstrate that In acts as a surfactant during epitaxial growth of GeSn:In, accumulating on surface and inducing segregation in the form of mobile Sn-In liquid droplets, strongly affecting the local composition of the material. In non-defective GeSn, we measure a maximal In incorporation of 2.8E18cm-3, which is two orders of magnitude lower than the values reported in the literature for in-situ p-type doping of GeSn. We further show that In induces the nucleation of defects at low growth temperatures, hindering out-of-equilibrium growth processes for maximization of dopant incorporation. This work provides insights on the limitations associated with in-situ In doping of GeSn, and discourages its utilization in GeSn-based optoelectronic devices.


title: Convergence guarantees for coefficient reconstruction in PDEs from boundary measurements by variational and Newton type methods via range invariance

abstract: A key observation underlying this paper is the fact that the range invariance condition for convergence of regularization methods for nonlinear ill-posed operator equations -- such as coefficient identification in partial differential equiations (PDE)s from boundary observations -- can often be achieved by extending the seached for parameter in the sense of allowing it to depend on additional variables. This clearly counteracts unique identifiability of the parameter, though. The second key idea of this paper is now to restore the original restricted dependency of the parameter by penalization. This is shown to lead to convergence of variational (Tikhonov type) and iterative (Newton type) regularization methods. We concretize the abstract convergence analysis in a framework typical of parameter identification in PDEs in a reduced and an all-at-once setting. This is further illustrated by three examples of coefficient identification from boundary observations in elliptic and time-dependent PDEs.


title: Electron Identification at CMS detector using LHC data

abstract: The Standard Model of particle physics is extremely well tested and yet is not believed to be a theory of everything. Many extensions of the Standard Model predict the existence of new particles. The Large Hadron Collider (LHC) is a high energy proton-proton collider which may be able to produce such particles. In this work strategies have been developed to search for new physics by identifying high energy electrons produced by the decay of W boson using 2.8 pb-1 of real data. The electron identification for CMS has been presented. Simple cut based selections and a complete set of variables to distinguish between real electrons and background electrons are described. The detection of electrons is of particular importance at LHC as these particles intervene in the flagship H -> ZZ* -> 4e and H -> WW* -> 2e2v channels for the search of the Standard Model (SM) Higgs. Electrons are also important in many SUSY scenarios as produced in the leptonic decays of charginos and neutralinos. Electrons also appears in searches for TeV resonances that may come from new symmetries or as consequences of scenarios involving extra spatial dimensions. Last but not the least, electrons appear in the final state of many Standard Model processes involving top quarks or electroweak bosons, that constitute backgrounds to new signals or are intended to be used as calibration processes. In second part of my thesis background sources for electrons coming from W bosons have been studied. Electron identification variables are plotted in different regions of background, to study the background as deeply as possible. This work has been done for the first time using LHC's real data.


title: Embedding digital participatory budgeting within local government: motivations, strategies and barriers faced

abstract: The challenging task of embedding innovative participatory processes and technologies within local government often falls upon local council officers. Using qualitative data collection and analysis, we investigate the ongoing work of Scottish local councils seeking to run the process of participatory budgeting (PB) within their institution, the use of digital platforms to support this and the challenges faced. In doing so this paper draws on empirical material to support the growing discussion on the dynamics or forces behind embedding. Our analysis shows that formal agreement alone does not make the process a certainty. Local council officers must work as mediators in the transitional space between representative structures and new, innovative ways of working, unsettling the entrenched power dynamics. To do so they must be well trained and well resourced, including the ability to use digital platforms effectively as part of the process. This provides the necessary, accessible, transparent and deliberative space for participation.


title: Deep Manifold Hashing: A Divide-and-Conquer Approach for Semi-Paired Unsupervised Cross-Modal Retrieval

abstract: Hashing that projects data into binary codes has shown extraordinary talents in cross-modal retrieval due to its low storage usage and high query speed. Despite their empirical success on some scenarios, existing cross-modal hashing methods usually fail to cross modality gap when fully-paired data with plenty of labeled information is nonexistent. To circumvent this drawback, motivated by the Divide-and-Conquer strategy, we propose Deep Manifold Hashing (DMH), a novel method of dividing the problem of semi-paired unsupervised cross-modal retrieval into three sub-problems and building one simple yet efficiency model for each sub-problem. Specifically, the first model is constructed for obtaining modality-invariant features by complementing semi-paired data based on manifold learning, whereas the second model and the third model aim to learn hash codes and hash functions respectively. Extensive experiments on three benchmarks demonstrate the superiority of our DMH compared with the state-of-the-art fully-paired and semi-paired unsupervised cross-modal hashing methods.


title: Gradient estimates of nonlinear equation on complete noncompact metric measure space with compact boundary

abstract: In this paper, firstly, we study gradient estimates for positive solution of the following equation \begin{equation*} \Delta_\xi(u)-\partial_t u- q u =A(u),t\in (-\infty,\infty) \end{equation*} on metric measure space $ (M,g,e^{-\xi}\mathrm{d} v_g)$ with boundary , where $ \Delta_\xi=\Delta +\left \langle \nabla\cdot , \nabla \xi\right \rangle $. For this equation, we derive Li-Yau type gradient estimates and Hamilton's type gradient estimates. Secondly, we obtain gradient estimates for positive solution of the following elliptical type equation \begin{equation} \Delta_\xi(u)- q u =A(u)\end{equation} on complete noncompact metric measure space $(M,g,e^{-\xi}\mathrm{d} v_g)$ with boundary.


title: Prospects to study hyperon-nucleon interactions at BESIII

abstract: The prospects to study hyperon-nuclei/nucleon interactions at BESIII and similar $e^+ e^-$ colliders are proposed in this work. Utilizing the large quantity of hyperons produced by the decay of 10 billion $J/\psi$ and 2.7 billion $\psi(3686)$ collected at BESIII, the cross sections of several specific elastic or inelastic hyperon-nuclei reactions can be measured via the scattering between the hyperons and the nucleus in the dense objects of BESIII detector. Subsequently, the cross sections of corresponding hyperon-nucleon interactions are able to be extracted with further phenomenological calculation. Furthermore, the interactions between antihyperon and nuclei/nucleon, including scattering and annihilation, can also be studied via the method proposed in this paper. The results will definitely benefit a lot the precise probe of the hyperon-nuclei/nucleon interactions and provide constraints for the studies of the potential of strong interaction, the origin of color confinement, the unified model for baryon-baryon interactions, and the internal structure of neutron stars. In addition, the desirable prospects of corresponding studies in the future Super Tau-Charm Factory (STCF) are discussed and estimated in this work.


title: Effects of language mismatch in automatic forensic voice comparison using deep learning embeddings

abstract: In forensic voice comparison the speaker embedding has become widely popular in the last 10 years. Most of the pretrained speaker embeddings are trained on English corpora, because it is easily accessible. Thus, language dependency can be an important factor in automatic forensic voice comparison, especially when the target language is linguistically very different. There are numerous commercial systems available, but their models are mainly trained on a different language (mostly English) than the target language. In the case of a low-resource language, developing a corpus for forensic purposes containing enough speakers to train deep learning models is costly. This study aims to investigate whether a model pre-trained on English corpus can be used on a target low-resource language (here, Hungarian), different from the model is trained on. Also, often multiple samples are not available from the offender (unknown speaker). Therefore, samples are compared pairwise with and without speaker enrollment for suspect (known) speakers. Two corpora are applied that were developed especially for forensic purposes, and a third that is meant for traditional speaker verification. Two deep learning based speaker embedding vector extraction methods are used: the x-vector and ECAPA-TDNN. Speaker verification was evaluated in the likelihood-ratio framework. A comparison is made between the language combinations (modeling, LR calibration, evaluation). The results were evaluated by minCllr and EER metrics. It was found that the model pre-trained on a different language but on a corpus with a huge amount of speakers performs well on samples with language mismatch. The effect of sample durations and speaking styles were also examined. It was found that the longer the duration of the sample in question the better the performance is. Also, there is no real difference if various speaking styles are applied.


title: Green function for an asymptotically stable random walk in a half space

abstract: We consider an asymptotically stable multidimensional random walk $S(n)=(S_1(n),\ldots, S_d(n) )$. Let $\tau_x:=\min\{n>0: x_{1}+S_1(n)\le 0\}$ be the first time the random walk $S(n)$ leaves the upper half-space. We obtain the asymptotics of $p_n(x,y):= P(x+S(n) \in y+\Delta, \tau_x>n)$ as $n$ tends to infinity, where $\Delta$ is a fixed cube. From that we obtain the local asymptotics for the Green function $G(x,y):=\sum_n p_n(x,y)$, as $|y|$ and/or $|x|$ tend to infinity.


title: Deep Learning-Based Sentiment Analysis of COVID-19 Vaccination Responses from Twitter Data

abstract: This COVID-19 pandemic is so dreadful that it leads to severe anxiety, phobias, and complicated feelings or emotions. Even after vaccination against Coronavirus has been initiated, people feelings have become more diverse and complex, and our goal is to understand and unravel their sentiments in this research using some Deep Learning techniques. Social media is currently the best way to express feelings and emotions, and with the help of it, specifically Twitter, one can have a better idea of what is trending and what is going on in people minds. Our motivation for this research is to understand the sentiment of people regarding the vaccination process, and their diverse thoughts regarding this. In this research, the timeline of the collected tweets was from December 21 to July 21, and contained tweets about the most common vaccines available recently from all across the world. The sentiments of people regarding vaccines of all sorts were assessed by using a Natural Language Processing (NLP) tool named Valence Aware Dictionary for sEntiment Reasoner (VADER). By initializing the sentiment polarities into 3 groups (positive, negative and neutral), the overall scenario was visualized here and our findings came out as 33.96% positive, 17.55% negative and 48.49% neutral responses. Recurrent Neural Network (RNN) oriented architecture such as Long Short-Term Memory (LSTM and Bi-LSTM) is used to assess the performance of the predictive models, with LSTM achieving an accuracy of 90.59% and Bi-LSTM achieving an accuracy of 90.83%. Other performance metrics such as Precision, Recall, F-1 score, and Confusion matrix were also shown to validate our models and findings more effectively. This study will help everyone understand public opinion on the COVID-19 vaccines and impact the aim of eradicating the Coronavirus from our beautiful world.


title: MechProNet: Machine Learning Prediction of Mechanical Properties in Metal Additive Manufacturing

abstract: Predicting mechanical properties in metal additive manufacturing (MAM) is essential for ensuring the performance and reliability of printed parts, as well as their suitability for specific applications. However, conducting experiments to estimate mechanical properties in MAM processes can be laborious and expensive, and they are often limited to specific materials and processes. Machine learning (ML) methods offer a more flexible and cost-effective approach to predicting mechanical properties based on processing parameters and material properties. In this study, we introduce a comprehensive framework for benchmarking ML models for predicting mechanical properties. We compiled an extensive experimental dataset from over 90 MAM articles and data sheets from a diverse range of sources, encompassing 140 different MAM data sheets. This dataset includes information on MAM processing conditions, machines, materials, and resulting mechanical properties such as yield strength, ultimate tensile strength, elastic modulus, elongation, hardness, and surface roughness. Our framework incorporates physics-aware featurization specific to MAM, adjustable ML models, and tailored evaluation metrics to construct a comprehensive learning framework for predicting mechanical properties. Additionally, we explore the Explainable AI method, specifically SHAP analysis, to elucidate and interpret the predicted values of ML models for mechanical properties. Furthermore, data-driven explicit models were developed to estimate mechanical properties based on processing parameters and material properties, offering enhanced interpretability compared to conventional ML models.


title: Some Sharp Error Bounds for Multivariate Linear Interpolation and Extrapolation

abstract: We study in this paper the function approximation error of linear interpolation and extrapolation. Several upper bounds are presented along with the conditions under which they are sharp. All results are under the assumptions that the function has Lipschitz continuous gradient and is interpolated on an affinely independent sample set. Errors for quadratic functions and errors of bivariate linear extrapolation are analyzed in depth.


title: An astrophysical perspective of life. The growth of complexity

abstract: The existence of life is one of the most fundamental problems of astrophysics. The intriguing existence of progressively complex and apparently improbable living beings should be a general tendency of life in the Universe. We are looking for general physical laws governing the growth of complexity in any astrophysical environment. We posit the existence of a vital scalar field. This scalar is sensitive to the gradient of the inverse of specific entropy, such that its distribution tends to very high values in the interior of living beings. Besides the classical mutations, vital field driven mutations only produce decrements of entropy. The field equations give rise to the existence of vital waves. This theory is able to deal with both the origin of life and the evolution of life. We show that the growth of complexity is accelerated by the vital field.


title: An automated QC Station for the Calibration of the Mu2e Calorimeter Readout Units

abstract: The Mu2e calorimeter will employ Readout Units, each made of two Silicon Photomultipliers arrays and two Front End Electronics boards. To calibrate them, we have designed, assembled and put in operation an automated Quality Control (QC) station. Gain, collected charge and photon detection efficiency are evaluated for each unit. In this paper, the QC Station is presented, in its hardware and software aspects, summarizing also the tests performed on the ROUs and the first measurement results.


title: A practical guide to Terahertz imaging using thermal atomic vapour

abstract: This tutorial aims to provide details on the underlying principles and methodologies of atom-based terahertz imaging techniques. Terahertz imaging is a growing field of research which can provide complementary information to techniques using other regions of the electromagnetic spectrum. Unlike infrared, visible and ultraviolet radiation, terahertz passes through many everyday materials, such as plastics, cloth and card. Compared with images formed using lower frequencies, terahertz images have superior spatial resolution due to the shorter wavelength, while compared to x-rays and gamma rays, terahertz radiation is non-ionising and safe to use. The tutorial begins with the basic principles of terahertz to optical conversion in alkali atoms before discussing how to construct a model to predict the fluorescent spectra of the atoms, on which the imaging method depends. We discuss the practical aspects of constructing an imaging system, including the subsystem specifications. We then review the typical characteristics of the imaging system including spatial resolution, sensitivity andbandwidth. We conclude with a brief discussion of some potential applications


title: Relativistic orbits of S2 star in the presence of scalar field

abstract: The general theory of relativity predicts the relativistic effect in the orbital motions of S-stars which are orbiting around our Milky-way galactic center. The post-Newtonian or higher-order approximated Schwarzschild black hole models have been used by GRAVITY and UCLA galactic center groups to carefully investigate the S2 star's periastron precession. In this paper, we investigate the scalar field effect on the orbital dynamics of S2 star. Hence, we consider a spacetime, namely Janis-Newman-Winicour (JNW) spacetime which is seeded by a minimally coupled, mass-less scalar field. The novel feature of this spacetime is that one can retain the Schwarzschild spacetime from JNW spacetime considering zero scalar charge. We constrain the scalar charge of JNW spacetime by best fitting the astrometric data of S2 star using the Monte-Carlo-Markov-Chain (MCMC) technique assuming the charge to be positive. Our best-fitted result implies that similar to the Schwarzschild black hole spacetime, the JNW naked singularity spacetime with an appropriate scalar charge also offers a satisfactory fitting to the observed data for S2 star. Therefore, the JNW naked singularity could be a contender for explaining the nature of Sgr A* through the orbital motions of the S2 star.


title: MaxMatch: Semi-Supervised Learning with Worst-Case Consistency

abstract: In recent years, great progress has been made to incorporate unlabeled data to overcome the inefficiently supervised problem via semi-supervised learning (SSL). Most state-of-the-art models are based on the idea of pursuing consistent model predictions over unlabeled data toward the input noise, which is called consistency regularization. Nonetheless, there is a lack of theoretical insights into the reason behind its success. To bridge the gap between theoretical and practical results, we propose a worst-case consistency regularization technique for SSL in this paper. Specifically, we first present a generalization bound for SSL consisting of the empirical loss terms observed on labeled and unlabeled training data separately. Motivated by this bound, we derive an SSL objective that minimizes the largest inconsistency between an original unlabeled sample and its multiple augmented variants. We then provide a simple but effective algorithm to solve the proposed minimax problem, and theoretically prove that it converges to a stationary point. Experiments on five popular benchmark datasets validate the effectiveness of our proposed method.


title: Tropical one-relation monoids

abstract: In 2010, Izhakian & Margolis proved that the bicyclic monoid admits a representation as a semigroup of upper triangular tropical matrices. We extend this result by classifying all one-relation monoids which admit such representations. We also classify, with two exceptions, all one-relation monoids which admit representations as semigroups of tropical matrices.


title: Factual and Informative Review Generation for Explainable Recommendation

abstract: Recent models can generate fluent and grammatical synthetic reviews while accurately predicting user ratings. The generated reviews, expressing users' estimated opinions towards related products, are often viewed as natural language 'rationales' for the jointly predicted rating. However, previous studies found that existing models often generate repetitive, universally applicable, and generic explanations, resulting in uninformative rationales. Further, our analysis shows that previous models' generated content often contain factual hallucinations. These issues call for novel solutions that could generate both informative and factually grounded explanations. Inspired by recent success in using retrieved content in addition to parametric knowledge for generation, we propose to augment the generator with a personalized retriever, where the retriever's output serves as external knowledge for enhancing the generator. Experiments on Yelp, TripAdvisor, and Amazon Movie Reviews dataset show our model could generate explanations that more reliably entail existing reviews, are more diverse, and are rated more informative by human evaluators.


title: Identifying epidemic related Tweets using noisy learning

abstract: Supervised learning algorithms are heavily reliant on annotated datasets to train machine learning models. However, the curation of the annotated datasets is laborious and time consuming due to the manual effort involved and has become a huge bottleneck in supervised learning. In this work, we apply the theory of noisy learning to generate weak supervision signals instead of manual annotation. We curate a noisy labeled dataset using a labeling heuristic to identify epidemic related tweets. We evaluated the performance using a large epidemic corpus and our results demonstrate that models trained with noisy data in a class imbalanced and multi-classification weak supervision setting achieved performance greater than 90%.


title: Systematic study of proton radioactivity half-lives based on the relationship between the Skyrme-Hartree-Fock and the macroscopic quantities of nuclear matter

abstract: In the present work, we systematically study the proton radioactivity half-lives of 33 spherical nuclei based on the relationship between the Skyrme parameters and the macroscopic quantities of nuclear matter. Using the two-potential approach with the spherical Skyrme-Hartree-Fock model, the correlation between proton radioactivity half-life and macroscopic quantities was analyzed. Moreover, we obtained a new Skyrme parameter set by fitting the two most weighted macroscopic quantities. Compared with Skyrme parameters MSL0 and the theoretical model of proton radioactivity UDLP, the theoretical proton radioactivity half-life calculated by the new Skyrme parameter set can better reproduce the experimental data.


title: T-NER: An All-Round Python Library for Transformer-based Named Entity Recognition

abstract: Language model (LM) pretraining has led to consistent improvements in many NLP downstream tasks, including named entity recognition (NER). In this paper, we present T-NER (Transformer-based Named Entity Recognition), a Python library for NER LM finetuning. In addition to its practical utility, T-NER facilitates the study and investigation of the cross-domain and cross-lingual generalization ability of LMs finetuned on NER. Our library also provides a web app where users can get model predictions interactively for arbitrary text, which facilitates qualitative model evaluation for non-expert programmers. We show the potential of the library by compiling nine public NER datasets into a unified format and evaluating the cross-domain and cross-lingual performance across the datasets. The results from our initial experiments show that in-domain performance is generally competitive across datasets. However, cross-domain generalization is challenging even with a large pretrained LM, which has nevertheless capacity to learn domain-specific features if fine-tuned on a combined dataset. To facilitate future research, we also release all our LM checkpoints via the Hugging Face model hub.


title: Evaluation of Question Answering Systems: Complexity of judging a natural language

abstract: Question answering (QA) systems are among the most important and rapidly developing research topics in natural language processing (NLP). A reason, therefore, is that a QA system allows humans to interact more naturally with a machine, e.g., via a virtual assistant or search engine. In the last decades, many QA systems have been proposed to address the requirements of different question-answering tasks. Furthermore, many error scores have been introduced, e.g., based on n-gram matching, word embeddings, or contextual embeddings to measure the performance of a QA system. This survey attempts to provide a systematic overview of the general framework of QA, QA paradigms, benchmark datasets, and assessment techniques for a quantitative evaluation of QA systems. The latter is particularly important because not only is the construction of a QA system complex but also its evaluation. We hypothesize that a reason, therefore, is that the quantitative formalization of human judgment is an open problem.