title: Multi-View Pre-Trained Model for Code Vulnerability Identification

abstract: Vulnerability identification is crucial for cyber security in the software-related industry. Early identification methods require significant manual efforts in crafting features or annotating vulnerable code. Although the recent pre-trained models alleviate this issue, they overlook the multiple rich structural information contained in the code itself. In this paper, we propose a novel Multi-View Pre-Trained Model (MV-PTM) that encodes both sequential and multi-type structural information of the source code and uses contrastive learning to enhance code representations. The experiments conducted on two public datasets demonstrate the superiority of MV-PTM. In particular, MV-PTM improves GraphCodeBERT by 3.36\% on average in terms of F1 score.


title: Current and perspective sensing methods for monkeypox virus: a reemerging zoonosis in its infancy

abstract: Objectives The review is dedicated to evaluate the current monkeypox virus (MPXV) detection methods, discuss their pros and cons, and provide recommended solutions to the problems. Methods The literature for this review is identified through searches in PubMed, Web of Science, Google Scholar, ResearchGate, and Science Direct advanced search for articles published in English without any start date until June, 2022, by use of the terms "monkeypox virus" or "poxvirus" along with "diagnosis"; "PCR"; "real-time PCR"; "LAMP"; "RPA"; "immunoassay"; "reemergence"; "biothreat"; "endemic", and "multi-country outbreak" and also, by tracking citations of the relevant papers. The most relevant articles are included in the review. Results Our literature review shows that PCR is the gold standard method for MPXV detection. In addition, loop-mediated isothermal amplification (LAMP) and recombinase polymerase amplification (RPA) have been reported as alternatives to PCR. Immunodiagnostics, whole particle detection, and image-based detection are the non-nucleic acid-based MPXV detection modalities. Conclusions PCR is easy to leverage and adapt for a quick response to an outbreak, but the PCR-based MPXV detection approaches may not be suitable for marginalized settings. Limited progress has been made towards innovations in MPXV diagnostics, providing room for the development of novel detection techniques for this virus.


title: Computational challenges of cell cycle analysis using single cell transcriptomics

abstract: The cell cycle is one of the most fundamental biological processes important for understanding normal physiology and various pathologies such as cancer. Single cell RNA sequencing technologies give an opportunity to analyse the cell cycle transcriptome dynamics in an unprecedented range of conditions (cell types and perturbations), with thousands of publicly available datasets. Here we review the main computational tasks in such analysis: 1) identification of cell cycle phases, 2) pseudotime inference, 3) identification and profiling of cell cycle-related genes, 4) removing cell cycle effect, 5) identification and analysis of the G0 (quiescent) cells. We review seventeen software packages that are available today for the cell cycle analysis using scRNA-seq data. Despite huge progress achieved, none of the packages can produce complete and reliable results with respect to all aforementioned tasks. One of the major difficulties for existing packages is distinguishing between two patterns of cell cycle transcriptomic dynamics: normal and characteristic for embryonic stem cells (ESC), with the latter one shared by many cancer cell lines. Moreover, some cell lines are characterized by a mixture of two subpopulations, one following the standard and one ESC-like cell cycle, which makes the analysis even more challenging. In conclusion, we discuss the difficulties of the analysis of cell cycle-related single cell transcriptome and provide certain guidelines for the use of the existing methods.


title: Ultrabright and narrowband intra-fiber biphoton source at ultralow pump power

abstract: Nonclassical photon sources of high brightness are key components of quantum communication technologies. We here demonstrate the generation of narrowband, nonclassical photon pairs by employing spontaneous four-wave mixing in an optically-dense ensemble of cold atoms within a hollow-core fiber. The brightness of our source approaches the limit of achievable generated spectral brightness at which successive photon pairs start to overlap in time. For a generated spectral brightness per pump power of up to $2\times 10^{9} \ \textrm{pairs/(s MHz mW)}$ we observe nonclassical correlations at pump powers below $100 \textrm{nW}$ and a narrow bandwidth of $2\pi\times 6.5 \ \textrm{MHz}$. In this regime we demonstrate that our source can be used as a heralded single-photon source. By further increasing the brightness we enter the regime where successive photon pairs start to overlap in time and the cross-correlation approaches a limit corresponding to thermal statistics. Our approach of combining the advantages of atomic ensembles and waveguide environments is an important step towards photonic quantum networks of ensemble based elements.


title: Spin crossover self-assembled monolayer of a Co(II) terpyridine derivative functionalized with carboxylic acid groups

abstract: The deposition of a monolayer by direct self-assembly from solution of an active spin-crossover (SCO) complex via chemisorption has been achieved starting from the perchlorate salt of Co(II) bis(4-(4-carboxyphenyl)-2,2:6,2-terpyridine). MALDI-TOF MS, Raman spectroscopy and X-ray photoelectron spectroscopy (XPS) confirm the presence of an intact monolayer of SCO molecules grafted through carboxylate groups to the Ag surface. Three different spectroscopic techniques (Raman, XPS and X-ray Absorption spectroscopy, XAS) evidence a thermal spin transition of such monolayer of molecules. To our knowledge, this is the first example of an active SCO assembly in direct contact with a surface obtained by wet chemistry.


title: Trustworthy Visual Analytics in Clinical Gait Analysis: A Case Study for Patients with Cerebral Palsy

abstract: Three-dimensional clinical gait analysis is essential for selecting optimal treatment interventions for patients with cerebral palsy (CP), but generates a large amount of time series data. For the automated analysis of these data, machine learning approaches yield promising results. However, due to their black-box nature, such approaches are often mistrusted by clinicians. We propose gaitXplorer, a visual analytics approach for the classification of CP-related gait patterns that integrates Grad-CAM, a well-established explainable artificial intelligence algorithm, for explanations of machine learning classifications. Regions of high relevance for classification are highlighted in the interactive visual interface. The approach is evaluated in a case study with two clinical gait experts. They inspected the explanations for a sample of eight patients using the visual interface and expressed which relevance scores they found trustworthy and which they found suspicious. Overall, the clinicians gave positive feedback on the approach as it allowed them a better understanding of which regions in the data were relevant for the classification.


title: Spatial-Temporal Identity: A Simple yet Effective Baseline for Multivariate Time Series Forecasting

abstract: Multivariate Time Series (MTS) forecasting plays a vital role in a wide range of applications. Recently, Spatial-Temporal Graph Neural Networks (STGNNs) have become increasingly popular MTS forecasting methods due to their state-of-the-art performance. However, recent works are becoming more sophisticated with limited performance improvements. This phenomenon motivates us to explore the critical factors of MTS forecasting and design a model that is as powerful as STGNNs, but more concise and efficient. In this paper, we identify the indistinguishability of samples in both spatial and temporal dimensions as a key bottleneck, and propose a simple yet effective baseline for MTS forecasting by attaching Spatial and Temporal IDentity information (STID), which achieves the best performance and efficiency simultaneously based on simple Multi-Layer Perceptrons (MLPs). These results suggest that we can design efficient and effective models as long as they solve the indistinguishability of samples, without being limited to STGNNs.


title: Atomistic simulation of barocaloric effects

abstract: Due to critical environmental issues there is a pressing need to switch from current refrigeration methods based on compression of greenhouse gases to novel solid-state cooling technologies. Solid-state cooling capitalizes on the thermal response of materials to external fields named "caloric effect". The barocaloric (BC) effect driven by hydrostatic pressure is particularly promising from a technological point of view since typically presents larger cooling potential than other caloric variants (e.g., magnetocaloric and electrocaloric effects driven by magnetic and electric fields, respectively). Atomistic simulation of BC effects represents an efficient and physically insightful strategy for advancing solid-state cooling by complementing, and in some cases even guiding, experiments. Atomistic simulation of BC effects involves approaches ranging from computationally inexpensive force fields to computationally very demanding, but quantitatively accurate, first-principles methods. Here, we survey several methods and strategies involved in atomistic simulation of BC effects like the quasi-harmonic approximation and direct/quasi-direct estimation approaches. The Review finalizes with a collection of case studies in which some of these methods were employed to simulate and predict original BC effects.


title: High order tangent vectors to sets with applications to constrained optimization problems

abstract: We introduce an extended tangent cone of high order to a set and study its properties. Then we use this local approximation for deriving high-order necessary conditions for local minimizers of constrained optimization problems.


title: Inaccuracy rates for distributed inference over random networks with applications to social learning

abstract: This paper studies probabilistic rates of convergence for consensus+innovations type of algorithms in random, generic networks. For each node, we find a lower and also a family of upper bounds on the large deviations rate function, thus enabling the computation of the exponential convergence rates for the events of interest on the iterates. Relevant applications include error exponents in distributed hypothesis testing, rates of convergence of beliefs in social learning, and inaccuracy rates in distributed estimation. The bounds on the rate function have a very particular form at each node: they are constructed as the convex envelope between the rate function of the hypothetical fusion center and the rate function corresponding to a certain topological mode of the node's presence. We further show tightness of the discovered bounds for several cases, such as pendant nodes and regular networks, thus establishing the first proof of the large deviations principle for consensus+innovations and social learning in random networks.


title: Commutators in Completely Simple Semigroups

abstract: We obtain a characterization of the binary commutator on completely simple semigroups, using their Rees matrix representation. Consequently, we prove that a regular semigroup is nilpotent (solvable) if and only if it is simple, and all its $\mathcal{H}$-classes are nilpotent (solvable) groups.


title: A broken FEEC framework for electromagnetic problems on mapped multipatch domains

abstract: We present a framework for the structure-preserving approximation of partial differential equations on mapped multipatch domains, extending the classical theory of finite element exterior calculus (FEEC) to discrete de Rham sequences which are broken, i.e., fully discontinuous across the patch interfaces. Following the Conforming/Nonconforming Galerkin (CONGA) schemes developed in [http://dx.doi.org/10.1090/mcom/3079, arXiv:2109.02553, our approach is based on: (i) the identification of a conforming discrete de Rham sequence with stable commuting projection operators, (ii) the relaxation of the continuity constraints between patches, and (iii) the construction of conforming projections mapping back to the conforming subspaces, allowing to define discrete differentials on the broken sequence. This framework combines the advantages of conforming FEEC discretizations (e.g. commuting projections, discrete duality and Hodge-Helmholtz decompositions) with the data locality and implementation simplicity of interior penalty methods for discontinuous Galerkin discretizations. We apply it to several initial- and boundary-value problems, as well as eigenvalue problems arising in electromagnetics. In each case our formulations are shown to be well posed thanks to an appropriate stabilization of the jumps across the interfaces, and the solutions are extremely robust with respect to the stabilization parameter. Finally we describe a construction using tensor-product splines on mapped cartesian patches, and we detail the associated matrix operators. Our numerical experiments confirm the accuracy and stability of this discrete framework, and they allow us to verify that expected structure-preserving properties such as divergence or harmonic constraints are respected to floating-point accuracy.


title: Poincar\'e inequalities for Markov chains: a meeting with Cheeger, Lyapunov and Metropolis

abstract: We develop a theory of weak Poincar\'e inequalities to characterize convergence rates of ergodic Markov chains. Motivated by the application of Markov chains in the context of algorithms, we develop a relevant set of tools which enable the practical study of convergence rates in the setting of Markov chain Monte Carlo methods, but also well beyond.


title: Contribution of spicules to solar coronal emission

abstract: Recent high-resolution imaging and spectroscopic observations have generated renewed interest in spicules' role in explaining the hot corona. Some studies suggest that some spicules, often classified as type II, may provide significant mass and energy to the corona. Here we use numerical simulations to investigate whether such spicules can produce the observed coronal emission without any additional coronal heating agent. Model spicules consisting of a cold body and hot tip are injected into the base of a warm ($0.5$ MK) equilibrium loop with different tip temperatures and injection velocities. Both piston- and pressure-driven shocks are produced. We find that the hot tip cools rapidly and disappears from coronal emission lines such as Fe XII $195$ and Fe XIV $274$. Prolonged hot emission is produced by pre-existing loop material heated by the shock and by thermal conduction from the shock. However, the shapes and Doppler shifts of synthetic line profiles show significant discrepancies with observations. Furthermore, spatially and temporally averaged intensities are extremely low, suggesting that if the observed intensities from the quiet Sun and active regions were solely due to type II spicules, one to several orders of magnitude more spicules would be required than have been reported in the literature. This conclusion applies strictly to the ejected spicular material. We make no claims about emissions connected with waves or coronal currents that may be generated during the ejection process and heat the surrounding area.


title: CANet: Channel Extending and Axial Attention Catching Network for Multi-structure Kidney Segmentation

abstract: Renal cancer is one of the most prevalent cancers worldwide. Clinical signs of kidney cancer include hematuria and low back discomfort, which are quite distressing to the patient. Some surgery-based renal cancer treatments like laparoscopic partial nephrectomy relys on the 3D kidney parsing on computed tomography angiography (CTA) images. Many automatic segmentation techniques have been put forward to make multi-structure segmentation of the kidneys more accurate. The 3D visual model of kidney anatomy will help clinicians plan operations accurately before surgery. However, due to the diversity of the internal structure of the kidney and the low grey level of the edge. It is still challenging to separate the different parts of the kidney in a clear and accurate way. In this paper, we propose a channel extending and axial attention catching Network(CANet) for multi-structure kidney segmentation. Our solution is founded based on the thriving nn-UNet architecture. Firstly, by extending the channel size, we propose a larger network, which can provide a broader perspective, facilitating the extraction of complex structural information. Secondly, we include an axial attention catching(AAC) module in the decoder, which can obtain detailed information for refining the edges. We evaluate our CANet on the KiPA2022 dataset, achieving the dice scores of 95.8%, 89.1%, 87.5% and 84.9% for kidney, tumor, artery and vein, respectively, which helps us get fourth place in the challenge.


title: Convergent expansions and bounds for the incomplete elliptic integral of the second kind near the logarithmic singularity

abstract: We find two series expansions for Legendre's second incomplete elliptic integral $E(\lambda, k)$ in terms of recursively computed elementary functions. Both expansions converge at every point of the unit square in the $(\lambda, k)$ plane. Partial sums of the proposed expansions form a sequence of approximations to $E(\lambda,k)$ which are asymptotic when $\lambda$ and/or $k$ tend to unity, including when both approach the logarithmic singularity $\lambda=k=1$ from any direction. Explicit two-sided error bounds are given at each approximation order. These bounds yield a sequence of increasingly precise asymptotically correct two-sided inequalities for $E(\lambda, k)$. For the reader's convenience we further present explicit expressions for low-order approximations and numerical examples to illustrate their accuracy. Our derivations are based on series rearrangements, hypergeometric summation algorithms and extensive use of the properties of the generalized hypergeometric functions including some recent inequalities.


title: Combinatorial Persistent Homology Transform

abstract: The combinatorial interpretation of the persistence diagram as a M\"obius inversion was recently shown to be functorial. We employ this discovery to recast the Persistent Homology Transform of a geometric complex as a representation of a cellulation on $\mathbb{S}^n$ to the category of combinatorial persistence diagrams. Detailed examples are provided. We hope this recasting of the PH transform will allow for the adoption of existing methods from algebraic and topological combinatorics to the study of shapes.


title: Learning Degradation Representations for Image Deblurring

abstract: In various learning-based image restoration tasks, such as image denoising and image super-resolution, the degradation representations were widely used to model the degradation process and handle complicated degradation patterns. However, they are less explored in learning-based image deblurring as blur kernel estimation cannot perform well in real-world challenging cases. We argue that it is particularly necessary for image deblurring to model degradation representations since blurry patterns typically show much larger variations than noisy patterns or high-frequency textures.In this paper, we propose a framework to learn spatially adaptive degradation representations of blurry images. A novel joint image reblurring and deblurring learning process is presented to improve the expressiveness of degradation representations. To make learned degradation representations effective in reblurring and deblurring, we propose a Multi-Scale Degradation Injection Network (MSDI-Net) to integrate them into the neural networks. With the integration, MSDI-Net can handle various and complicated blurry patterns adaptively. Experiments on the GoPro and RealBlur datasets demonstrate that our proposed deblurring framework with the learned degradation representations outperforms state-of-the-art methods with appealing improvements. The code is released at https://github.com/dasongli1/Learning_degradation.


title: Light-matter entanglement after above-threshold ionization processes in atoms

abstract: Light-matter entanglement plays a fundamental role in many applications of quantum information science. Thus, finding processes where it can be observed is an important task. Here, we address this matter by theoretically investigating the entanglement between light and electrons generated in above-threshold ionization (ATI) process. The study is based on the back-action of the ATI process on the quantum optical state of the system, and its dependence on the kinetic energy and direction of the emitted photoelectrons. Taking into account the dynamics of the process, we demonstrate the creation of hybrid entangled states. The amount of entanglement has been studied in terms of the entropy of entanglement. Additionally, we use the Wigner function of the driving field mode to motivate the entanglement characterization when considering electrons propagating in opposite directions.


title: Reconstruction of low dimensional electronic states by altering the chemical arrangement at the SrTiO3 surface

abstract: Developing reliable methods for modulating the electronic structure of the two-dimensional electron gas (2DEG) in SrTiO3 is crucial for utilizing its full potential and inducing novel properties. Here, we show that relatively simple surface preparation reconstructs the 2DEG of SrTiO3 (STO) surface, leading to a Lifshitz-like transition. Combining experimental methods, such as angle-resolved photoemission spectroscopy (ARPES) and X-ray photoemission spectroscopy (XPS) with ab initio calculations, we find that the modulation of the surface band structures is primarily attributed to the reorganization of the chemical composition. In addition, ARPES experiments demonstrate that vacuum ultraviolet (VUV) light can be efficiently employed to alter the band renormalization of the 2DEG system and control the electron-phonon interaction (EPI). Our study provides a robust and straightforward route to stabilize and tune the low-dimensional electronic structure via the chemical degeneracy of the STO surface.


title: Shallow cumulus convection over land in cloud-resolving simulations with a coupled ray tracer

abstract: We present simulations of cumulus convection over land with shortwave radiation computed by a Monte Carlo ray tracer coupled to the flow solver. Ray tracing delivers very realistic in-cloud heating rates and global horizontal irradiance fields. The necessary performance of the ray tracer has been enabled by the raw power of GPU computing and from techniques for accelerating data lookup and ray tracer convergence. We used a case study over a grassland in the Netherlands to compare simulations with a coupled ray tracer to those with a conventional two-stream solver, and to test ray tracer convergence. We demonstrate that the simulated cloud evolution is insensitive across a wide range of samples sizes in the ray tracer. Furthermore, simulations with a coupled ray tracer produce surface irradiance patterns that resemble observations and that strongly feed back to the evolution of clouds via locally enhanced surface heat fluxes.


title: Double restabilization and design of force-displacement response of the extensible elastica with movable constraints

abstract: A highly deformable rod, modelled as the extensible elastica, is connected to a movable clamp at one end and to a pin sliding along a frictionless curved profile at the other. Bifurcation analysis shows that axial compliance provides a stabilizing effect in compression, but unstabilizing in tension. Moreover, with varying the constraint's curvature at the origin and the axial vs bending rod's stiffness, in addition to possible buckling in tension, the structure displays none, two, or even four bifurcation loads, the last two associated only to the first buckling mode in compression. Therefore, the straight configuration may lose and recover stability one or two times, thus evidencing single and double restabilization, a feature never observed before. By means of the closed-form solution for the extensible elastica, the quasi-static behaviour of the structure is analytically described under large rotations and axial strain. The presented solution is exploited, together with an {\it ad hoc} developed optimization algorithm, to design the shape of the constraint's profile necessary to obtain a desired force-displacement curve, so to realize a force-limiter or a mechanical device capable of delivering a complex force response upon application of a continuous displacement in both positive and negative direction.


title: Enhancing the limit of uniaxial magnetic anisotropy induced by ion beam erosion

abstract: The artificial tailoring of magnetic anisotropy by manipulation of interfacial morphology and film structure are of fundamental interest from application point of view in spintronic and magnetic memory devices. This letter reports an approach of engineering and enhancing the strength of oblique incidence ion beam erosion (IBE) induced in-plane uniaxial magnetic anisotropy (UMA) by simultaneous modification of film morphology as well as film texture. To meet this objective, Cobalt film and Si substrate have been taken as a model system. Unlike conventional post growth IBE of film, we direct our effort to the sequential deposition and subsequent IBE of the film. Detailed in-situ investigation insights that the film grows in highly biaxially textured polycrystalline state with formation of nanometric surface ripples. The film also exhibits pronounced UMA with easy axis oriented parallel to the surface ripple direction. Remarkably, the induced UMA is about one order of magnitude larger than the reported similar kind of earlier studies. The possibility of imposing in-plane crystallographic texture giving rise to magneto-crystalline anisotropy, along with long-range dipolar interaction throughout ripple crests enhances the strength of the UMA. The present findings can be further extended to systems characterized by different crystallographic structure and magnetic properties and show the general applicability of the present method.


title: The Distribution of UV Radiation Field in the Molecular Clouds of Gould Belt

abstract: The distribution of ultraviolet (UV) radiation field provides critical constraints on the physical environments of molecular clouds. Within 1 kpc of our solar system and fostering protostars of different masses, the giant molecular clouds in the Gould Belt present an excellent opportunity to resolve the UV field structure in star forming regions. We performed spectral energy distribution (SED) fitting of the archival data from the Herschel Gould Belt Survey (HGBS). Dust radiative transfer analysis with the DUSTY code were applied to 23 regions in 14 molecular complexes of the Gould Belt, resulting in the spatial distribution of radiation field in these regions. For 10 of 15 regions with independent measurements of star formation rate, their star formation rate and UV radiation intensity largely conform to a linear correlation found in previous studies.


title: Consistency-based Self-supervised Learning for Temporal Anomaly Localization

abstract: This work tackles Weakly Supervised Anomaly detection, in which a predictor is allowed to learn not only from normal examples but also from a few labeled anomalies made available during training. In particular, we deal with the localization of anomalous activities within the video stream: this is a very challenging scenario, as training examples come only with video-level annotations (and not frame-level). Several recent works have proposed various regularization terms to address it i.e. by enforcing sparsity and smoothness constraints over the weakly-learned frame-level anomaly scores. In this work, we get inspired by recent advances within the field of self-supervised learning and ask the model to yield the same scores for different augmentations of the same video sequence. We show that enforcing such an alignment improves the performance of the model on XD-Violence.


title: Measuring Race in US Economic Statistics: What Do We Know?

abstract: This article is an edited transcript of the session of the same name at the 38th Annual NABE Economic Policy Conference: Policy Options for Sustainable and Inclusive Growth. The panelists are experts from government and private research organizations.


title: A new candidate for central tidal disruption event in SDSS J014124+010306 with broad Mg~{\sc ii} line at $z=1.06$

abstract: In the Letter, a new candidate for central tidal disruption event (TDE) is reported in SDSS J014124+010306 (=SDSS J0141) with broad Mg~{\sc ii} line at redshift $z=1.06$. Based on long-term photometric $ugriz$-band variabilities from SDSS Stripe82 Database and PHOTOOBJALL database, a central TDE is preferred with a 1.3${\rm M_\odot}$ main-sequence star tidally disrupted by central black hole (BH) of $(14\pm2)\times10^6{\rm M_\odot}$ in SDSS J0141. Moreover, CAR process has been applied to confirm that the probability is only about 0.4\% that the long-term variabilities in SDSS J0141 are not related to TDE but from intrinsic AGN activities. Meanwhile, based on the apparent broad Mg~{\sc ii} emission lines, virial BH mass can be estimated as $245\times10^6{\rm M_\odot}$, 18 times larger than the TDE-model determined BH mass, providing further clues to support a central TDE in SDSS J0141, similar as the case in the TDE candidate SDSS J0159 with virial BH mass two magnitudes larger than M-sigma relation expected BH mass. Among the reported optical TDE candidates, SDSS J0141 is the candidate at the highest redshift. The results in the Letter indicate it should be common to detect TDE candidates in high redshift galaxies with broad Mg~{\sc ii} lines.


title: Continued Fractions and the 4-Color Theorem

abstract: We study the geometry of some proper 4-colorings of the vertices of sphere triangulations with degree sequence 6,...,6,2,2,2. Such triangulations are the simplest examples which have non-negative combinatorial curvature. The examples we construct, which are roughly extremal in some sense, are based on a novel geometric interpretation of continued fractions. We also present a conjectural sharp "isoperimetric inequality" for colorings of this kind of triangulation.


title: Solar sail with inflatable toroidal shell

abstract: In the framework of a strict mathematical approach based on classical theory of elasticity we present an idea of the deployment and stretching of the circular solar sail attached to the inflatable toroidal shell. It is predicted that by introducing the gas into the inflatable toroidal shell one can deploy and stretch a large size circular solar sail membrane. The formulas for the toroidal shell and sail membrane stresses and strains caused by the gas pressure in the shell are derived. The analytical expressions can be applied to a wide range of solar sail sizes. Numerical calculations for the sail of radii up to 100 m made of CP1 membrane and attached to the toroidal shell with the varied cross-section radius are presented. The normal transverse vibration modes of the sail membrane under tension caused by gas pressure in the shell are calculated. The feasibility of deployment and stretching of a solar sail with a large size circular membrane attached to the inflatable toroidal shell is demonstrated.


title: Multi-scale Feature Aggregation for Crowd Counting

abstract: Convolutional Neural Network (CNN) based crowd counting methods have achieved promising results in the past few years. However, the scale variation problem is still a huge challenge for accurate count estimation. In this paper, we propose a multi-scale feature aggregation network (MSFANet) that can alleviate this problem to some extent. Specifically, our approach consists of two feature aggregation modules: the short aggregation (ShortAgg) and the skip aggregation (SkipAgg). The ShortAgg module aggregates the features of the adjacent convolution blocks. Its purpose is to make features with different receptive fields fused gradually from the bottom to the top of the network. The SkipAgg module directly propagates features with small receptive fields to features with much larger receptive fields. Its purpose is to promote the fusion of features with small and large receptive fields. Especially, the SkipAgg module introduces the local self-attention features from the Swin Transformer blocks to incorporate rich spatial information. Furthermore, we present a local-and-global based counting loss by considering the non-uniform crowd distribution. Extensive experiments on four challenging datasets (ShanghaiTech dataset, UCF_CC_50 dataset, UCF-QNRF Dataset, WorldExpo'10 dataset) demonstrate the proposed easy-to-implement MSFANet can achieve promising results when compared with the previous state-of-the-art approaches.


title: Probing the Supersymmetric Grand Unified Theories with Gravity Mediation at the Future Proton-Proton Colliders and Hyper-Kamiokande Experiment

abstract: With the grand desert hypothesis, we have proposed to probe the supersymmetric Grand Unified Theories (GUTs) at the future proton-proton (pp) colliders and Hyper-Kamiokande experiment previously. In this paper, we study the supersymmetric GUTs with gravity mediated supersymmetry breaking in details. First, considering the dimension-six proton decay via heavy gauge boson exchange, we point out that we can probe the supersymmetric GUTs with GUT scale $M_{GUT}$ up to $1.778\times 10^{16}$ GeV at the Hyper-Kamiokande experiment. Second, for the supersymmetric GUTs with $M_{GUT} \ge 1.0\times 10^{16}$ GeV and $M_{GUT} \ge 1.2\times 10^{16}$ GeV, we show that the upper bounds on the universal gaugino mass are $7.2$ TeV and 3.5 TeV, respectively, and thus the corresponding upper bounds on gluino mass are 15 TeV and 8 TeV, respectively. Also, we shall study the masses for charginos, neutralinos, squarks, sleptons, and Higgs particles in details. In particular, the supersymmetric GUTs with $M_{GUT} \leq 1.2\times 10^{16}$ GeV can be probed at the Hyper-Kamiokande experiment, and the supersymmetric GUTs with $M_{GUT}\ge 1.2\times 10^{16}$ GeV can be probed at the future 100 TeV pp collider experiments such as the ${\rm FCC}_{\rm hh}$ and SppC via gluino searches. Thus, the supersymmetric GUTs with gravity mediation can be probed by the ${\rm FCC}_{\rm hh}$, SppC, and Hyper-Kamiokande experiments. In our previous study, we have shown that the supersymmetric GUTs with anomaly and gauge mediated supersymmetry breakings are well within the reaches of these experiments. Therefore, our proposal provides the concrete scientific goal for the ${\rm FCC}_{\rm hh}$, SppC, and Hyper-Kamiokande experiments: probing the supersymmetric GUTs.


title: Discrete geometry of Cox rings of blow-ups of $\mathbb{P}^3$

abstract: We prove quadratic generation for the ideal of the Cox ring of the blow-up of $\mathbb{P}^3$ at $7$ points, solving a conjecture of Lesieutre and Park. To do this we compute Khovanskii bases, implementing techniques which proved successful in the case of Del Pezzo surfaces. Such bases give us degenerations to toric varieties whose associated polytopes encode toric degenerations with respect to all projective embeddings. We study the edge-graphs of these polytopes and we introduce the Mukai edge graph.


title: Long-time dynamics of a stochastic density dependent predator-prey model with Holling II functional response and jumps

abstract: The existence and uniqueness of a global positive solution is proven for the system of stochastic differential equations describing a nonautonomous stochastic density dependent predator-prey model with Holling-type II functional response disturbed by white noise, centered and non-centered Poisson noises. Sufficient conditions are obtained for stochastic ultimate boundedness, stochastic permanence, non-persistence in the mean, weak persistence in the mean and extinction of a population densities in the considered stochastic predator-prey model.


title: Floquet band engineering with Bloch oscillations

abstract: This work provides a convenient and powerful means towards the engineering of Floquet bands via Bloch oscillations, by adding a tilted linear potential to periodically driven lattice systems. The added linear field not only restricts the spreading of a time-evolving wavepacket but also, depending on the ratio between the Bloch oscillation frequency and the modulation frequency of the periodic driving, dramatically modifies the band profile and topology. Specifically, we consider a driven Aubry-Andr\'e-Harper model as a working example, in the presence of a linear field. Almost flat Floquet bands or Floquet bands with large Chern numbers due to the interplay between the periodic driving and Bloch oscillations can be obtained, with the band structure and topology extensively tunable by adjusting the ratio of two competing frequencies. To confirm our finding, we further execute the Thouless pumping of one and two interacting bosons in such a lattice system and establish its connection with the topological properties of single- and two-particle Floquet bands.


title: Roman Census: Enumerating and Counting Roman Dominating Functions on Graph Classes

abstract: The concept of Roman domination has recently been studied concerning enumerating and counting (WG 2022). It has been shown that minimal Roman dominating functions can be enumerated with polynomial delay, contrasting what is known about minimal dominating sets. The running time of the algorithm could be estimated as $\mathcal{O}(1.9332^n)$ on general graphs of order $n$. In this paper, we focus on special graph classes. More specifically, for chordal graphs, we present an enumeration algorithm running in time $\mathcal{O}(1.8940^n)$. For interval graphs, we can lower this time further to $\mathcal{O}(1.7321^n)$. Interestingly, this also matches (exactly) the known lower bound. We can also provide a matching lower and upper bound for forests, which is (incidentally) the same, namely $\mathcal{O}(\sqrt{3}^n)$. Furthermore, we show an enumeration algorithm running in time $\mathcal{O}(1.4656^n)$ for split graphs and for cobipartite graphs. Our approach also allows to give concrete formulas for counting minimal Roman dominating functions on special graph families like paths.


title: Quantum transport and mobility spectrum of topological carriers in (001) SnTe/PbTe heterojunctions

abstract: Measurements of magnetotransport in SnTe/PbTe heterojunctions grown by the MBE technique on (001) undoped CdTe substrates were performed. At low magnetic fields, quantum corrections to conductivity were observed that may be attributed to the presence of topological states at the junction interface. For a sample with 5 nm thick SnTe layer, the data analysis suggests that midgap states are actually gapped. However, the phase coherence effects in 10 nm and 20 nm SnTe/PbTe samples are fully explained assuming existence of gapless Dirac cones. Magnetotransport at higher magnetic fields is described in the framework of mobility spectrum analysis (MSA). We demonstrate that the electron- and hole-like peaks observed simultaneously for all SnTe/PbTe heterojunctions may originate from the concave and convex parts of the energy isosurface for topological states -- and not from the existence of quasiparticles both carrying negative and positive charges. This interpretation is supported by numerical calculations of conductivity tensor components for gapless (100) Dirac cones, performed within a classical model and based on the solutions of Boltzmann transport equation. Our approach shows the feasibility of MSA in application to magnetotransport measurements on topological matter.


title: Enhanced Low-Redundancy Restricted Array for Direction of Arrival Estimation

abstract: Sensor arrays play a significant role in direction of arrival (DOA) estimation. Specifically, arrays with low redundancy and reduced mutual coupling are desirable. In this paper, we investigate a sensor array configuration that has a restricted sensor spacing and propose a closed-form expression. We also propose several classes of low redundancy (LR) arrays. Interestingly, compared with super nested arrays (SNA) and maximum inter-element spacing constraint (MISC) arrays, one of the proposed arrays has a significant reduction in both redundancy ratio and mutual coupling. Numerical simulations are also conducted to verify the superiority of the proposed array over the known sparse arrays in terms of weight functions, mutual coupling matrices as well and DOA estimation performance.


title: Local Differentially Private Fuzzy Counting in Stream Data using Probabilistic Data Structure

abstract: Privacy-preserving estimation of counts of items in streaming data finds applications in several real-world scenarios including word auto-correction and traffic management applications. Recent works of RAPPOR and Apple's count-mean sketch (CMS) algorithm propose privacy preserving mechanisms for count estimation in large volumes of data using probabilistic data structures like counting Bloom filter and CMS. However, these existing methods fall short in providing a sound solution for real-time streaming data applications. In this work, we propose a novel (local) Differentially private mechanism that provides high utility for the streaming data count estimation problem with similar or even lower privacy budgets while providing: a) fuzzy counting to report counts of related or similar items (for instance to account for typing errors and data variations), and b) improved querying efficiency to reduce the response time for real-time querying of counts. We provide formal proofs for privacy and utility guarantees and present extensive experimental evaluation of our algorithm using real and synthetic English words datasets for both the exact and fuzzy counting scenarios. Our privacy preserving mechanism substantially outperforms the prior work in terms of lower querying time, significantly higher utility (accuracy of count estimation) under similar or lower privacy guarantees, at the cost of communication overhead.


title: Fairness Based Energy-Efficient 3D Path Planning of a Portable Access Point: A Deep Reinforcement Learning Approach

abstract: In this work, we optimize the 3D trajectory of an unmanned aerial vehicle (UAV)-based portable access point (PAP) that provides wireless services to a set of ground nodes (GNs). Moreover, as per the Peukert effect, we consider pragmatic non-linear battery discharge for the battery of the UAV. Thus, we formulate the problem in a novel manner that represents the maximization of a fairness-based energy efficiency metric and is named fair energy efficiency (FEE). The FEE metric defines a system that lays importance on both the per-user service fairness and the energy efficiency of the PAP. The formulated problem takes the form of a non-convex problem with non-tractable constraints. To obtain a solution, we represent the problem as a Markov Decision Process (MDP) with continuous state and action spaces. Considering the complexity of the solution space, we use the twin delayed deep deterministic policy gradient (TD3) actor-critic deep reinforcement learning (DRL) framework to learn a policy that maximizes the FEE of the system. We perform two types of RL training to exhibit the effectiveness of our approach: the first (offline) approach keeps the positions of the GNs the same throughout the training phase; the second approach generalizes the learned policy to any arrangement of GNs by changing the positions of GNs after each training episode. Numerical evaluations show that neglecting the Peukert effect overestimates the air-time of the PAP and can be addressed by optimally selecting the PAP's flying speed. Moreover, the user fairness, energy efficiency, and hence the FEE value of the system can be improved by efficiently moving the PAP above the GNs. As such, we notice massive FEE improvements over baseline scenarios of up to 88.31%, 272.34%, and 318.13% for suburban, urban, and dense urban environments, respectively.


title: Empirical Formal Methods: Guidelines for Performing Empirical Studies on Formal Methods

abstract: Empirical studies on formal methods and tools are rare. In this paper, we provide guidelines for such studies. We mention their main ingredients and then define nine different study strategies (laboratory experiments with software and human subjects, usability testing, surveys, qualitative studies, judgment studies, case studies, systematic literature reviews, and systematic mapping studies) and discuss for each of them their crucial characteristics, the difficulties of applying them to formal methods and tools, typical threats to validity, their maturity in formal methods, pointers to external guidelines, and pointers to studies in other fields. We conclude with a number of challenges for empirical formal methods.


title: Listening to Celestial Algebras

abstract: In this essay, we immerse into the framework of normed division algebras as a suitable arena to accommodate the standard model of elementary particles, and we explore some applications to cosmology. Remarkably, they permit interesting non-trivial realisations of the cosmological principle with an interplay between the symmetry groups of the quaternions and octonions. We also argue how these realisations give rise to potentially observational signatures in gravitational waves astronomy.


title: Moreau--Yosida regularization in DFT

abstract: Moreau-Yosida regularization is introduced into the framework of exact DFT. Moreau-Yosida regularization is a lossless operation on lower semicontinuous proper convex functions over separable Hilbert spaces, and when applied to the universal functional of exact DFT (appropriately restricted to a bounded domain), gives a reformulation of the ubiquitous $v$-representability problem and a rigorous and illuminating derivation of Kohn-Sham theory. The chapter comprises a self-contained introduction to exact DFT, basic tools from convex analysis such as sub- and superdifferentiability and convex conjugation, as well as basic results on the Moreau-Yosida regularization. The regularization is then applied to exact DFT and Kohn-Sham theory, and a basic iteration scheme based in the Optimal Damping Algorithm is analyzed. In particular, its global convergence established. Some perspectives are offered near the end of the chapter.

categories: math.NA cond-mat.mtrl-sci cs.NA math-ph math.MP physics.chem-ph


title: A Novel Resource Allocation for Anti-jamming in Cognitive-UAVs: an Active Inference Approach

abstract: This work proposes a novel resource allocation strategy for anti-jamming in Cognitive Radio using Active Inference ($\textit{AIn}$), and a cognitive-UAV is employed as a case study. An Active Generalized Dynamic Bayesian Network (Active-GDBN) is proposed to represent the external environment that jointly encodes the physical signal dynamics and the dynamic interaction between UAV and jammer in the spectrum. We cast the action and planning as a Bayesian inference problem that can be solved by avoiding surprising states (minimizing abnormality) during online learning. Simulation results verify the effectiveness of the proposed $\textit{AIn}$ approach in minimizing abnormalities (maximizing rewards) and has a high convergence speed by comparing it with the conventional Frequency Hopping and Q-learning.


title: Improving quantum annealing by engineering the coupling to the environment

abstract: A large class of optimisation problems can be mapped to the Ising model where all details are encoded in the coupling of spins. The task of the original mathematical optimisation is then equivalent to finding the ground state of the corresponding spin system which can be achieved via quantum annealing relying on the adiabatic theorem. Some of the inherent disadvantages of this procedure can be alleviated or resolved using a stochastic approach, and by coupling to the external environment. We show that careful engineering of the system-bath coupling at an individual spin level can further improve annealing.


title: Efficient Joint-Dimensional Search with Solution Space Regularization for Real-Time Semantic Segmentation

abstract: Semantic segmentation is a popular research topic in computer vision, and many efforts have been made on it with impressive results. In this paper, we intend to search an optimal network structure that can run in real-time for this problem. Towards this goal, we jointly search the depth, channel, dilation rate and feature spatial resolution, which results in a search space consisting of about 2.78*10^324 possible choices. To handle such a large search space, we leverage differential architecture search methods. However, the architecture parameters searched using existing differential methods need to be discretized, which causes the discretization gap between the architecture parameters found by the differential methods and their discretized version as the final solution for the architecture search. Hence, we relieve the problem of discretization gap from the innovative perspective of solution space regularization. Specifically, a novel Solution Space Regularization (SSR) loss is first proposed to effectively encourage the supernet to converge to its discrete one. Then, a new Hierarchical and Progressive Solution Space Shrinking method is presented to further achieve high efficiency of searching. In addition, we theoretically show that the optimization of SSR loss is equivalent to the L_0-norm regularization, which accounts for the improved search-evaluation gap. Comprehensive experiments show that the proposed search scheme can efficiently find an optimal network structure that yields an extremely fast speed (175 FPS) of segmentation with a small model size (1 M) while maintaining comparable accuracy.


title: CEFCA Catalogues Portal towards FAIR principles

abstract: The Centro de Estudios de F\'isica del Cosmos de Arag\'on (CEFCA) is carrying out from the Observatorio Astrof\'isico de Javalambre (OAJ, Teruel, Spain) two large area multiband photometric sky surveys, J-PLUS and J-PAS, covering the entire optical spectrum using narrow and broad band filters. J-PAS and J-PLUS include coadded and individual frame images and dual and single catalogue data. To publish all of this data, the CEFCA catalogues portal has been implemented offering web user interface services, as well, as Virtual Observatory (VO) services. This contribution presents the effort and work done in the CEFCA Catalogues Portal to enhance data publication of these large surveys following FAIR principles to increase data value and maximize research efficiency. It presents how FAIR principles have been achieved and improved with the implementation and publishing of the CEFCA Catalogues Publishing Registry, the use of VO services, their validation and improving processes and the effort made to offer data to improve provenance information.


title: Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process

abstract: Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provide adequate validation of key properties such as safety, reliability or trustworthiness. In this vision paper, a combination of a spatial traffic logic and agent-based verification methods with a validation method that uses assertion checking of simulations is proposed. We sketch how to integrate the respective approaches within a methodological framework called Corroborative Verification and Validation (V&V).The Corroborative V&V framework identifies three different verification and validation levels for AVs (formal verification, simulation-based testing, real-world experiments) and specifies connections and evidence between these levels. We define specifications for the formal relationships that must be established between processes, system models and requirements models for the evidence from formal design verification and simulation-based testing to corroborate each other and enhance assurance confidence from verification and validation.


title: Arbitrary Point Cloud Upsampling with Spherical Mixture of Gaussians

abstract: Generating dense point clouds from sparse raw data benefits downstream 3D understanding tasks, but existing models are limited to a fixed upsampling ratio or to a short range of integer values. In this paper, we present APU-SMOG, a Transformer-based model for Arbitrary Point cloud Upsampling (APU). The sparse input is firstly mapped to a Spherical Mixture of Gaussians (SMOG) distribution, from which an arbitrary number of points can be sampled. Then, these samples are fed as queries to the Transformer decoder, which maps them back to the target surface. Extensive qualitative and quantitative evaluations show that APU-SMOG outperforms state-of-the-art fixed-ratio methods, while effectively enabling upsampling with any scaling factor, including non-integer values, with a single trained model. The code is available at https://github.com/apusmog/apusmog/


title: Fabrication and transfer print based integration of free-standing GaN membrane micro-lenses onto semiconductor chips

abstract: We demonstrate the back-end integration of broadband, high-NA GaN micro-lenses by micro-assembly onto non-native semiconductor substrates. We developed a highly parallel micro-fabrication process flow to suspend micron scale plano-convex lens platelets from 6" Si growth wafers and show their subsequent transfer-printing integration. A growth process targeted at producing unbowed epitaxial wafers was combined with optimisation of the etching volume in order to produce flat devices for printing. Lens structures were fabricated with 6 to 11 $\mu$m diameter, 2 $\mu$m height and root-mean-squared surface roughness below 2 nm. The lenses were printed in a vertically coupled geometry on a single crystalline diamond substrate and with $\mu$m-precise placement on a horizontally coupled photonic integrated circuit waveguide facet. Optical performance analysis shows that these lenses could be used to couple to diamond nitrogen vacancy centres at micron scale depths and demonstrates their potential for visible to infrared light-coupling applications.


title: On m-bi-interior ideals of an ordered semigroup

abstract: In this article, we concurrently explore the class of m-bi-ideals as well as the class of m- interior ideals in an ordered semigroup. We call these class of ideals as m-bi-interior ideals. Here, m-simple, m-regular ordered semigroups and their various subclasses get characterized in diverse manners as per their m-bi-interior ideals.


title: The Structure and 3D Kinematics of Vela OB2

abstract: The kinematics of stars in OB associations can provide insights into their formation, dynamical evolution, and eventual fate. The low-mass stellar content of OB associations are sufficiently numerous as to provide a detailed sampling of their kinematic properties, however spectroscopy is required to confirm the youth of individual stars and to get 3D kinematics. In this paper we present and analyse results from a large spectroscopic survey of Vela OB2 conducted using 2dF/HERMES on the AAT. This spectroscopy is used to confirm the youth of candidate young stars and determine radial velocities, which are combined with proper motions and parallaxes from Gaia to measure 3-dimensional positions and velocities. We identify multiple separate kinematic groups in the region, for which we measure velocity dispersions and infer their virial states. We measure expansion rates for all these groups and find strong evidence for anisotropic expansion in the Vela OB2 association of at least 11$\sigma$ significance in all three dimensions, as well as some evidence for expansion in the $\gamma$ Vel and P Puppis clusters. We trace back the motions of these groups into the past and find that the open cluster NGC 2547 is an interloper in the Vela OB2 region and actually formed $>$100 pc away from the association. We conclude that Vela OB2 must have formed with considerable spatial and kinematic substructure over a timescale of $\sim$10 Myr, with clear temporal substructure within the association, but no clear evidence for an age gradient.


title: Selecting Valid Instrumental Variables in Linear Models with Multiple Exposure Variables: Adaptive Lasso and the Median-of-Medians Estimator

abstract: In a linear instrumental variables (IV) setting for estimating the causal effects of multiple confounded exposure/treatment variables on an outcome, we investigate the adaptive Lasso method for selecting valid instrumental variables from a set of available instruments that may contain invalid ones. An instrument is invalid if it fails the exclusion conditions and enters the model as an explanatory variable. We extend the results as developed in Windmeijer et al. (2019) for the single exposure model to the multiple exposures case. In particular we propose a median-of-medians estimator and show that the conditions on the minimum number of valid instruments under which this estimator is consistent for the causal effects are only moderately stronger than the simple majority rule that applies to the median estimator for the single exposure case. The adaptive Lasso method which uses the initial median-of-medians estimator for the penalty weights achieves consistent selection with oracle properties of the resulting IV estimator. This is confirmed by some Monte Carlo simulation results. We apply the method to estimate the causal effects of educational attainment and cognitive ability on body mass index (BMI) in a Mendelian Randomization setting.


title: The Completeness of Reasoning Algorithms for Clause Sets in Description Logic ALC

abstract: On the Semantic Web, metadata and ontologies are used to enable computers to read data. The Web Ontology Language (OWL) has been proposed as a standard ontological language, and various inference systems for this language have been studied. Description logics are regarded as the theoretical foundations of OWL; they provide the syntax and semantics of a formal language for describing ontologies and knowledge bases. In addition, tableau algorithms for description logics have been developed as the standard reasoning algorithms for decidable problems. However, tableau algorithms generate inefficient reasoning steps owing to their nondeterministic branching for disjunction as well as the increase in the size of models occasioned by existential quantification. In this study, we propose conjunctive normal form (CNF) concepts, which utilize a flat concept form for description logic ALC in order to develop algorithms for reasoning about sets of clauses. We present an efficient reasoning algorithm for clause sets where any ALC concept is transformed into an equivalent CNF concept. Theoretically, we prove the soundness, completeness, and termination of the reasoning algorithms for the satisfiability of CNF concepts.


title: TSInterpret: A unified framework for time series interpretability

abstract: With the increasing application of deep learning algorithms to time series classification, especially in high-stake scenarios, the relevance of interpreting those algorithms becomes key. Although research in time series interpretability has grown, accessibility for practitioners is still an obstacle. Interpretability approaches and their visualizations are diverse in use without a unified API or framework. To close this gap, we introduce TSInterpret an easily extensible open-source Python library for interpreting predictions of time series classifiers that combines existing interpretation approaches into one unified framework. The library features (i) state-of-the-art interpretability algorithms, (ii) exposes a unified API enabling users to work with explanations consistently and provides (iii) suitable visualizations for each explanation.


title: Optimal consensus control models on the sphere

abstract: In this paper, we investigate the consensus models on the sphere with control signals, where both the first and second order systems are considered. We provide the existence of the optimal control-trajectory pair and derive the first order optimality condition taking the form of the Pontryagin Minimum Principle. Numeric simulations are also presented to show that the obtained optimal control can help to accelerate the process of reaching a consensus.


title: Deep Reinforcement Learning for Orchestrating Cost-Aware Reconfigurations of vRANs

abstract: Virtualized Radio Access Networks (vRANs) are fully configurable and can be implemented at a low cost over commodity platforms to enable network management flexibility. In this paper, a novel vRAN reconfiguration problem is formulated to jointly reconfigure the functional splits of the base stations (BSs), locations of the virtualized central units (vCUs) and distributed units (vDUs), their resources, and the routing for each BS data flow. The objective is to minimize the long-term total network operation cost while adapting to the varying traffic demands and resource availability. Testbed measurements are performed to study the relationship between the traffic demands and computing resources, which reveals high variance and depends on the platform and its load. Consequently, finding the perfect model of the underlying system is non-trivial. Therefore, to solve the proposed problem, a deep reinforcement learning (RL)-based framework is proposed and developed using model-free RL approaches. Moreover, the problem consists of multiple BSs sharing the same resources, which results in a multi-dimensional discrete action space and leads to a combinatorial number of possible actions. To overcome this curse of dimensionality, action branching architecture, which is an action decomposition method with a shared decision module followed by neural network is combined with Dueling Double Deep Q-network (D3QN) algorithm. Simulations are carried out using an O-RAN compliant model and real traces of the testbed. Our numerical results show that the proposed framework successfully learns the optimal policy that adaptively selects the vRAN configurations, where its learning convergence can be further expedited through transfer learning even in different vRAN systems. It offers significant cost savings by up to 59\% of a static benchmark, 35\% of DDPG with discretization, and 76\% of non-branching D3QN.


title: KIC 10417986: Spectroscopic confirmation of the nature of the binary system with a {\delta} Scuti component

abstract: KIC 10417986 is a short orbital period (0.0737 d) ellipsoidal variable star with a {\delta} Scuti and {\gamma} Doradus hybrid pulsations component discovered by Kepler. The ground-based spectroscopic observations were carried out in the winters of 2020 and 2021 to investigate the binary nature of this star. We derive the orbital parameters using the rvfit code with a result of K1 = 29.7 $\pm$ 1.5 km/s, {\gamma} = -18.7 $\pm$ 1.7 km/s, and confirm an orbital period of 0.84495 d instead of the result given by Kepler. The atmospheric parameters of the primary are determined by the synthetic spectra fitting technique with the estimated values of Teff = 7411 $\pm$ 187 K, log g = 4.2 $\pm$ 0.3 dex, [M/H] = 0.08 $\pm$ 0.09 dex and vsini = 52 $\pm$ 11 km/s. KIC 10417986 is a circular orbit binary system. From the single-lined nature and mass function of the star, the derived orbital inclination is 26 $\pm$ 6{\deg}, and the mass of the secondary is from 0.43 to 0.7 M_sun, which should be a late-K to early-M type star. Fourteen frequencies are extracted from Kepler light curves, of which six independent frequencies in the high-frequency region are identified as the p-mode pulsations of {\delta} Scuti star, and one independent frequency in the low-frequency region (f2 = 1.3033 c/d) is probably the rotational frequency due to the starspots rather than the ellipsoidal effect or g-mode of {\gamma} Doradus.


title: Soft QCD theory

abstract: Soft QCD is beyond perturbative control, and therefore phenomenological models have to be developed. These are implemented and combined within event generators. Typical aspects considered are multiparton interactions, colour reconnection, and hadronization. Of special interest are non-universal features of hadronization at the LHC, such as the recently observed enhancement of charm and bottom baryons, and the bottom baryon asymmetry, as well as the some years earlier observed strangeness enhancement. Several new production mechanisms, such as junction reconnection, ropes and shove, have been proposed to address some of these issues. Alternatively, an admixture of a quark--gluon plasma component also in pp collisions is introduced in the core--corona approach.


title: Explaining Machine Learning DGA Detectors from DNS Traffic Data

abstract: One of the most common causes of lack of continuity of online systems stems from a widely popular Cyber Attack known as Distributed Denial of Service (DDoS), in which a network of infected devices (botnet) gets exploited to flood the computational capacity of services through the commands of an attacker. This attack is made by leveraging the Domain Name System (DNS) technology through Domain Generation Algorithms (DGAs), a stealthy connection strategy that yet leaves suspicious data patterns. To detect such threats, advances in their analysis have been made. For the majority, they found Machine Learning (ML) as a solution, which can be highly effective in analyzing and classifying massive amounts of data. Although strongly performing, ML models have a certain degree of obscurity in their decision-making process. To cope with this problem, a branch of ML known as Explainable ML tries to break down the black-box nature of classifiers and make them interpretable and human-readable. This work addresses the problem of Explainable ML in the context of botnet and DGA detection, which at the best of our knowledge, is the first to concretely break down the decisions of ML classifiers when devised for botnet/DGA detection, therefore providing global and local explanations.


title: Study of a Fractional Creep Problem with Multiple Delays in Terms of Boltzmann's Superposition Principle

abstract: We study a class of nonlinear fractional differential equations with multiple delays, which is represented by the Voigt creep fractional model of viscoelasticity. We discuss two Voigt models, the first being linear and the second being nonlinear. The linear Voigt model give us the physical interpretation and is associated with important results since the creep function characterizes the viscoelastic behavior of stress and strain. For the nonlinear model of Voigt, our theoretical study and analysis provides existence and stability, where time delays are expressed in terms of Boltzmann's superposition principle. By means of the Banach contraction principle, we prove existence of a unique solution and investigate its continuous dependence upon the initial data as well as Ulam stability. The results are illustrated with an example.


title: Adaptive Learning Rates for Faster Stochastic Gradient Methods

abstract: In this work, we propose new adaptive step size strategies that improve several stochastic gradient methods. Our first method (StoPS) is based on the classical Polyak step size (Polyak, 1987) and is an extension of the recent development of this method for the stochastic optimization-SPS (Loizou et al., 2021), and our second method, denoted GraDS, rescales step size by "diversity of stochastic gradients". We provide a theoretical analysis of these methods for strongly convex smooth functions and show they enjoy deterministic-like rates despite stochastic gradients. Furthermore, we demonstrate the theoretical superiority of our adaptive methods on quadratic objectives. Unfortunately, both StoPS and GraDS depend on unknown quantities, which are only practical for the overparametrized models. To remedy this, we drop this undesired dependence and redefine StoPS and GraDS to StoP and GraD, respectively. We show that these new methods converge linearly to the neighbourhood of the optimal solution under the same assumptions. Finally, we corroborate our theoretical claims by experimental validation, which reveals that GraD is particularly useful for deep learning optimization.


title: Forcing Axioms and the Definabilty of the Nonstationary Ideal on $\omega_1$

abstract: We show that under $\BMM$ and "there exists a Woodin cardinal$"$, the nonstationary ideal on $\omega_1$ can not be defined by a $\Sigma_1$ formula with parameter $A \subset \omega_1$. We show that the same conclusion holds under the assumption of Woodin's $(\ast)$-axiom. We further show that there are universes where $\BPFA$ holds and $\NS$ is $\Sigma_1(\omega_1)$-definable. Last we show that if the canonical inner model with one Woodin cardinal $M_1$ exists, there is a universe where $\NS$ is saturated, $\Sigma_1(\omega_1)$-definable and $\MA$ holds.


title: On the generalization of classical Zernike system

abstract: We generalize the results obtained recently (Nonlinearity \underline{36} (2023), 1143) by providing a very simple proof of the superintegrability of the Hamiltonian $H=\vec{p}\,^{2}+F(\vec{q}\cdot\vec{p})$, $\vec{q}, \vec{p}\in\mathbb{R}^{2}$, for any analytic function $F$. The additional integral of motion is constructed explicitly and shown to reduce to a polynomial in canonical variables for polynomial $F$. The generalization to the case $\vec{q}, \vec{p}\in \mathbb{R}^{n}$ is sketched.


title: Heavy-ion physics with the ALICE detector

abstract: Selection of recent (in March 2022) results from the heavy-ion experiment ALICE at the CERN LHC, chosen to address various stages of the nucleus-nucleus reaction.


title: Symplectic eigenvalues of positive-semidefinite matrices and the trace minimization theorem

abstract: Symplectic eigenvalues are conventionally defined for symmetric positive-definite matrices via Williamson's diagonal form. Many properties of standard eigenvalues, including the trace minimization theorem, are extended to the case of symplectic eigenvalues. In this note, we will generalize Williamson's diagonal form for symmetric positive-definite matrices to the case of symmetric positive-semidefinite matrices, which allows us to define symplectic eigenvalues, and prove the trace minimization theorem in the new setting.


title: Determinants of Patent Survival in Emerging Economies: Evidence from Residential Patents in India

abstract: The purpose of this paper is to use patent level characteristics to estimate the survival of resident patents (filed at the Indian Patent Office (IPO) and assigned to firms in India). This study uses the renewal information of firm-level patents applied during 1st January 1995 and 31st December 2005, which were eventually granted. The data provided by IPO consists of 2025 resident patents assigned to 266 firms (foreign subsidiary firms and domestic firms). The survival analysis is carried out via Kaplan-Meier estimation and Cox proportional hazard regression. The outcomes of this study suggest that the survival length of patents significantly depends on their technological scope and inventor size. Moreover, the patents of the firms taking tax credit benefits exhibit lower survival rate as compared to patents of remaining firms. The study also finds that the patents filed by foreign firms with DSIR affiliation are getting more benefit from the R&D tax incentive policy.


title: Light-induced translation symmetry breaking via nonlinear phononics

abstract: Light has a wavelength that is usually longer than the size of the unit cell of crystals. Hence, even intense light pulses are not expected to break the translation symmetry of materials. However, certain materials, including KTaO$_3$, exhibit peaks in their Raman spectra corresponding to their Brillouin zone boundary phonons due to second-order Raman processes, which provide a mechanism to drive these phonons using intense midinfrared lasers. We investigated the possibility of breaking the translation symmetry of KTaO$_3$ by driving its highest-frequency transverse optic mode $Q_{\textrm{HX}}$ at the $X$ $(0,\frac{1}{2},0)$ point. Our first principles calculations show that the energy curve of the transverse acoustic mode $Q_{\textrm{LZ}}$ at $X$ softens and develops a double-well shape as the value of the $Q_{\textrm{HX}}$ coordinate is increased, while that of the other transverse acoustic component $Q_{\textrm{LX}}$ hardens when the value of the $Q_{\textrm{HX}}$ coordinate is similarly varied. We performed similar total energy calculations as a function of the $Q_{\textrm{HX}}$ coordinate and electric field to extract the nonlinear coupling between them. These were then used to construct the coupled equations of motion for the three phonon coordinates in the presence of an external pump term on the $Q_{\textrm{HX}}$ mode, which we numerically solved for a range of pump frequencies and amplitudes. We find that 465 MV/cm is the smallest pump amplitude that leads to an oscillation of the $Q_{\textrm{LZ}}$ mode at a displaced position, hence, breaking the translation symmetry of the material. Such highly intense light pulses cannot be generate by currently available laser sources, and they have the possibility to damage the material. Nevertheless, our work shows that light can in principle be used to break the translation symmetry of a material via nonlinear phononics.


title: A Fresh Perspective on DNN Accelerators by Performing Holistic Analysis Across Paradigms

abstract: Traditional computers with von Neumann architecture are unable to meet the latency and scalability challenges of Deep Neural Network (DNN) workloads. Various DNN accelerators based on Conventional compute Hardware Accelerator (CHA), Near-Data-Processing (NDP) and Processing-in-Memory (PIM) paradigms have been proposed to meet these challenges. Our goal in this work is to perform a rigorous comparison among the state-of-the-art accelerators from DNN accelerator paradigms, we have used unique layers from MobileNet, ResNet, BERT, and DLRM of MLPerf Inference benchmark for our analysis. The detailed models are based on hardware-realized state-of-the art designs. We observe that for memory-intensive Fully Connected Layer (FCL) DNNs, NDP based accelerator is 10.6x faster than the state-of-the-art CHA and 39.9x faster than PIM based accelerator for inferencing. For compute-intensive image classification and object detection DNNs, the state-of-the-art CHA is ~10x faster than NDP and ~2000x faster than the PIM-based accelerator for inferencing. PIM-based accelerators are suitable for DNN applications where energy is a constraint (~2.7x and ~21x lower energy for CNN and FCL applications, respectively, than conventional ASIC systems). Further, we identify architectural changes (such as increasing memory bandwidth, buffer reorganization) that can increase throughput (up to linear increase) and lower energy (up to linear decrease) for ML applications with a detailed sensitivity analysis of relevant components in CHA, NDP and PIM based accelerators.


title: Resolving entropy contributions in nonequilibrium transitions

abstract: We derive a functional for the entropy contributed by any microscopic degrees of freedom as arising from their measurable pair correlations. Applicable both in and out of equilibrium, this functional yields the maximum entropy which a system can have given a certain correlation function. When applied to different correlations, the method allows us to identify the degrees of freedom governing a certain physical regime, thus capturing and characterizing dynamic transitions. The formalism applies also to systems whose translational invariance is broken by external forces and whose number of particles may vary. We apply it to experimental results for jammed bidisperse emulsions, capturing the crossover of this nonequilibrium system from crystalline to disordered hyperuniform structures as a function of mixture composition. We discover that the cross-correlations between the positions and sizes of droplets in the emulsion play the central role in the formation of the disordered hyperuniform states. We discuss implications of the approach for entropy estimation out of equilibrium and for characterizing transitions in disordered systems.


title: JWST sneaks a peek at the stellar morphology of $z\sim2$ submillimeter galaxies: Bulge formation at cosmic noon

abstract: We report morphological analyses of seven submillimeter galaxies (SMGs) at $z\sim2$ using the JWST NIRCam images taken as part of the public CEERS and PRIMER surveys. Through two-dimensional surface brightness profile fittings we find evidence of bulges in all the sample SMGs, in particular at F444W filter, suggesting an ubiquitous presence of stellar bulges. The median size of these bulges at F444W is found to be 0.7$\pm$1.0 kpc and its median Sersic index is 0.7$\pm$0.9. Structures akin to spiral arms and bars are also identified, although their asymmetric shapes, tidal features, as well as evidence of nearby galaxies at consistent redshifts as those of corresponding SMGs suggest that these SMGs are undergoing dynamical interactions, likely responsible for the triggering of their star-forming activities. Via the curve-of-growth analyses we deduce half-light radii for the NIRCam wavebands, finding that sizes are significantly smaller at longer wavelengths in all cases, in particular that the median size ratio between F444W and F150W is $0.6\pm0.1$. However, we also find that F444W sizes, roughly corresponding to rest-frame $H$-band, are not smaller than those of submillimeter continuum as measured by ALMA, contrasting recent predictions from theoretical models. Our results suggest that while stellar bulges are undergoing an active formation phase in SMGs at $z\sim2$, the total stellar masses of SMGs are still dominated by their disks, not bulges.


title: Learning to Improve Code Efficiency

abstract: Improvements in the performance of computing systems, driven by Moore's Law, have transformed society. As such hardware-driven gains slow down, it becomes even more important for software developers to focus on performance and efficiency during development. While several studies have demonstrated the potential from such improved code efficiency (e.g., 2x better generational improvements compared to hardware), unlocking these gains in practice has been challenging. Reasoning about algorithmic complexity and the interaction of coding patterns on hardware can be challenging for the average programmer, especially when combined with pragmatic constraints around development velocity and multi-person development. This paper seeks to address this problem. We analyze a large competitive programming dataset from the Google Code Jam competition and find that efficient code is indeed rare, with a 2x runtime difference between the median and the 90th percentile of solutions. We propose using machine learning to automatically provide prescriptive feedback in the form of hints, to guide programmers towards writing high-performance code. To automatically learn these hints from the dataset, we propose a novel discrete variational auto-encoder, where each discrete latent variable represents a different learned category of code-edit that increases performance. We show that this method represents the multi-modal space of code efficiency edits better than a sequence-to-sequence baseline and generates a distribution of more efficient solutions.


title: Application of invariants of characteristics to construction of solutions without gradient catastrophe

abstract: The one-dimensional system of equations of isentropic gas dynamics is considered. First-order invariants of characteristics of this system are classified. Second-order invariants of characteristics are classified for polytropic processes. The infinite sequence of Darboux integrable systems is described. The approach to construction of smooth solutions without gradient catastrophe is proposed. Examples of solutions without gradient catastrophe are presented.


title: Epsilon-near-zero nanoparticles

abstract: In this work, we propose epsilon-near-zero (ENZ) nanoparticles formed of metal and dielectric bilayers and employ the effective medium approach for multilayered nanospheres to study their optical response. We obtained a passive tunable ENZ region by varying the radii of the proposed bilayer nanospheres, ranging from visible to near-IR. In addition, we present the absorption and scattering cross-section of ENZ nanoparticles using an open-source, transfer-matrix-based software (STRATIFY). %, and a commercial FDTD software (LUMERICAL). The proposed ENZ nanoparticle is envisioned to be experimentally realized using chemical synthesis techniques.


title: Location Sensing and Beamforming Design for IRS-Enabled Multi-User ISAC Systems

abstract: This paper explores the potential of the intelligent reflecting surface (IRS) in realizing multi-user concurrent communication and localization, using the same time-frequency resources. Specifically, we propose an IRS-enabled multi-user integrated sensing and communication (ISAC) framework, where a distributed semi-passive IRS assists the uplink data transmission from multiple users to the base station (BS) and conducts multi-user localization, simultaneously. We first design an ISAC transmission protocol, where the whole transmission period consists of two periods, i.e., the ISAC period for simultaneous uplink communication and multi-user localization, and the pure communication (PC) period for only uplink data transmission. For the ISAC period, we propose a multi-user location sensing algorithm, which utilizes the uplink communication signals unknown to the IRS, thus removing the requirement of dedicated positioning reference signals in conventional location sensing methods. Based on the sensed users' locations, we propose two novel beamforming algorithms for the ISAC period and PC period, respectively, which can work with discrete phase shifts and require no channel state information (CSI) acquisition. Numerical results show that the proposed multi-user location sensing algorithm can achieve up to millimeter-level positioning accuracy, indicating the advantage of the IRS-enabled ISAC framework. Moreover, the proposed beamforming algorithms with sensed location information and discrete phase shifts can achieve comparable performance to the benchmark considering perfect CSI acquisition and continuous phase shifts, demonstrating how the location information can ensure the communication performance.


title: Dispersion Parameter Extension of Precise Generalized Linear Mixed Model Asymptotics

abstract: We extend a recently established asymptotic normality theorem for generalized linear mixed models to include the dispersion parameter. The new results show that the maximum likelihood estimators of all model parameters have asymptotically normal distributions with asymptotic mutual independence between fixed effects, random effects covariance and dispersion parameters. The dispersion parameter maximum likelihood estimator has a particularly simple asymptotic distribution which enables straightforward valid likelihood-based inference.


title: Distribution-Free Location-Scale Regression

abstract: We introduce a generalized additive model for location, scale, and shape (GAMLSS) next of kin aiming at distribution-free and parsimonious regression modelling for arbitrary outcomes. We replace the strict parametric distribution formulating such a model by a transformation function, which in turn is estimated from data. Doing so not only makes the model distribution-free but also allows to limit the number of linear or smooth model terms to a pair of location-scale predictor functions. We derive the likelihood for continuous, discrete, and randomly censored observations, along with corresponding score functions. A plethora of existing algorithms is leveraged for model estimation, including constrained maximum-likelihood, the original GAMLSS algorithm, and transformation trees. Parameter interpretability in the resulting models is closely connected to model selection. We propose the application of a novel best subset selection procedure to achieve especially simple ways of interpretation. All techniques are motivated and illustrated by a collection of applications from different domains, including crossing and partial proportional hazards, complex count regression, non-linear ordinal regression, and growth curves. All analyses are reproducible with the help of the "tram" add-on package to the R system for statistical computing and graphics.


title: WISDOM Project XII. Clump properties and turbulence regulated by clump-clump collisions in the dwarf galaxy NGC404

abstract: We present a study of molecular structures (clumps and clouds) in the dwarf galaxy NGC 404 using high-resolution (0.86x0.51 pc^2) Atacama Large Millimeter/sub-millimeter Array ^{12}CO(2-1) observations. We find two distinct regions in NGC 404: a gravitationally-stable central region (Toomre parameter Q=3-30) and a gravitationally-unstable molecular ring (Q<=1). The molecular structures in the central region have a steeper size -- linewidth relation and larger virial parameters than those in the molecular ring, suggesting gas is more turbulent in the former. In the molecular ring, clumps exhibit a shallower mass -- size relation and larger virial parameters than clouds, implying density structures and dynamics are regulated by different physical mechanisms at different spatial scales. We construct an analytical model of clump-clump collisions to explain the results in the molecular ring. We propose that clump-clump collisions are driven by gravitational instabilities coupled with galactic shear, that lead to a population of clumps whose accumulation lengths (i.e. average separations) are approximately equal to their tidal radii. Our model-predicted clump masses and sizes (and mass -- size relation) and turbulence energy injection rates (and size -- linewidth relation) match the observations in the molecular ring very well, suggesting clump-clump collisions is the main mechanism regulating clump properties and gas turbulence in that region. As expected, our collision model does not apply to the central region, where turbulence is likely driven by clump migration.


title: Academic mentees succeed in big groups, but thrive in small groups

abstract: Mentoring is a key component of scientific achievements, contributing to overall measures of career success for mentees and mentors. A common success metric in the scientific enterprise is acquiring a large research group, which is believed to indicate excellent mentorship and high-quality research. However, large, competitive groups might also amplify dropout rates, which are high especially among early career researchers. Here, we collect longitudinal genealogical data on mentor-mentee relations and their publication, and study the effects of a mentor's group on future academic survival and performance of their mentees. We find that mentees trained in large groups generally have better academic performance than mentees from small groups, if they continue working in academia after graduation. However, we also find two surprising results: Academic survival rate is significantly lower for (1) mentees from larger groups, and for (2) mentees with more productive mentors. These findings reveal that success of mentors has a negative effect on the academic survival rate of mentees, raising important questions about the definition of successful mentorship and providing actionable suggestions concerning career development.


title: Generative Transfer Learning: Covid-19 Classification with a few Chest X-ray Images

abstract: Detection of diseases through medical imaging is preferred due to its non-invasive nature. Medical imaging supports multiple modalities of data that enable a thorough and quick look inside a human body. However, interpreting imaging data is often time-consuming and requires a great deal of human expertise. Deep learning models can expedite interpretation and alleviate the work of human experts. However, these models are data-intensive and require significant labeled images for training. During novel disease outbreaks such as Covid-19, we often do not have the required labeled imaging data, especially at the start of the epidemic. Deep Transfer Learning addresses this problem by using a pretrained model in the public domain, e.g. any variant of either VGGNet, ResNet, Inception, DenseNet, etc., as a feature learner to quickly adapt the target task from fewer samples. Most pretrained models are deep with complex architectures. They are trained with large multi-class datasets such as ImageNet, with significant human efforts in architecture design and hyper parameters tuning. We presented 1 a simpler generative source model, pretrained on a single but related concept, can perform as effectively as existing larger pretrained models. We demonstrate the usefulness of generative transfer learning that requires less compute and training data, for Few Shot Learning (FSL) with a Covid-19 binary classification use case. We compare classic deep transfer learning with our approach and also report FSL results with three settings of 84, 20, and 10 training samples. The model implementation of generative FSL for Covid-19 classification is available publicly at https://github.com/suvarnak/GenerativeFSLCovid.git.


title: An Explicit Total Lagrangian Fragile Points Method for Finite Deformation of Hyperelastic Materials

abstract: This research explored a novel explicit total Lagrangian Fragile Points Method (FPM) for finite deformation of hyperelastic materials. In contrast to mesh-based methods, where mesh distortion may pose numerical challenges, meshless methods are more suitable for large deformation modelling since they use enriched shape functions for the approximation of displacements. However, this comes at the expense of extra computational overhead and higher-order quadrature is required to obtain accurate results. In this work, the novel meshless method FPM was used to derive an explicit total Lagrangian algorithm for finite deformation. FPM uses simple one-point integration for exact integration of the Galerkin weak form since it employs simple discontinuous polynomials as trial and test functions, leading to accurate results even with single-point quadrature. The proposed method was evaluated by comparing it with FEM in several case studies considering both the extension and compression of a hyperelastic material. It was demonstrated that FPM maintained good accuracy even for large deformations where FEM failed to converge.


title: Resonant Double-Core Excitations with Ultrafast, Intense Pulses

abstract: Intense few-to-sub-femtosecond soft x-ray pulses can produce neutral, two-site excited double-core-hole states by promoting two core electrons to the same unoccupied molecular orbital. We theoretically investigate double nitrogen K-edge excitations of nitrous oxide (N2O) with multiconfigurational electronic structure calculations. We show that the second core-excitation energy is reduced with respect to its ground state value. A site-selective double core-excitation mechanism using intense few-femtosecond x-rays is investigated using time-dependent Schrodinger equation (TDSE) simulations. The subsequent two-step Auger-Meitner and two-electrons-one-electron decay spectra of the double core-excited states are analyzed using a Mulliken population analysis of the multiconfirational wavefunctions. The change in the electron emission lineshape between the absorption of 1 or 2 photons in the resonant core-excitation is predicted by combining this approach with the TDSE simulations. We examine the possibility of resolving the double core-excited states with x-ray pump-probe techniques by calculating the chemical shifts of the core-electron binding energy of the core-excited states and decay products.


title: A dynamical system based on projection operator for solving absolute value equations associated with second-order cone

abstract: A new equivalent reformulation of the absolute value equations associated with second-order cone (SOCAVEs) is emphasised, from which a dynamical system based on projection operator for solving SOCAVEs is constructed. Under proper assumptions, the equilibrium points of the dynamical system exist and could be (globally) asymptotically stable. Some numerical simulations are given to show the effectiveness of the proposed method.


title: Looking for a Needle in a Haystack: A Comprehensive Study of Hallucinations in Neural Machine Translation

abstract: Although the problem of hallucinations in neural machine translation (NMT) has received some attention, research on this highly pathological phenomenon lacks solid ground. Previous work has been limited in several ways: it often resorts to artificial settings where the problem is amplified, it disregards some (common) types of hallucinations, and it does not validate adequacy of detection heuristics. In this paper, we set foundations for the study of NMT hallucinations. First, we work in a natural setting, i.e., in-domain data without artificial noise neither in training nor in inference. Next, we annotate a dataset of over 3.4k sentences indicating different kinds of critical errors and hallucinations. Then, we turn to detection methods and both revisit methods used previously and propose using glass-box uncertainty-based detectors. Overall, we show that for preventive settings, (i) previously used methods are largely inadequate, (ii) sequence log-probability works best and performs on par with reference-based methods. Finally, we propose DeHallucinator, a simple method for alleviating hallucinations at test time that significantly reduces the hallucinatory rate. To ease future research, we release our annotated dataset for WMT18 German-English data, along with the model, training data, and code.


title: A Relaxation Model for the Non-Isothermal Navier-Stokes-Korteweg Equations in Confined Domains

abstract: The Navier-Stokes-Korteweg (NSK) system is a classical diffuse interface model which is based on van der Waals theory of capillarity. Diffuse interface methods have gained much interest to model two-phase flow in porous media. However, for the numerical solution of the NSK equations two major challenges have to be faced. First, an extended numerical stencil is required due to a third-order term in the linear momentum and the total energy equations. In addition, the dispersive contribution in the linear momentum equations prevents the straightforward use of contact angle boundary conditions. Secondly, any real gas equation of state is based on a non-convex Helmholtz free energy potential which may cause the eigenvalues of the Jacobian of the first-order fluxes to become imaginary numbers inside the spinodal region. In this work, a thermodynamically consistent relaxation model is presented which is used to approximate the NSK equations. The model is complimented by thermodynamically consistent non-equilibrium boundary conditions which take contact angle effects into account. Due to the relaxation approach, the contribution of the Korteweg tensor in the linear momentum and total energy equations can be reduced to second-order terms which enables a straightforward implementation of contact angle boundary conditions in a numerical scheme. Moreover, the definition of a modified pressure function enables to formulate first-order fluxes which remain strictly hyperbolic in the entire spinodal region. The present work is a generalization of a previously presented parabolic relaxation model for the isothermal NSK equations.


title: Van der Waals type PV diagrams of PNJL matter

abstract: Keeping in the mind about Van der Walls gas equation, we have explore PV diagram of quark matter by using PNJL model and we find a qualitative similarity.


title: On symmetric simplicial (super)string backgrounds, (super-)WZW defect fusion and the Chern-Simons theory

abstract: The super-$\sigma$-model of dynamics of the super-charged loop in an ambient supermanifold in the presence of worldsheet defects of arbitrary topology is formalised within Gaw\c{e}dzki's higher-cohomological approach, drawing inspiration from the precursor arXiv:0808.1419 [hep-th]. A distinguished class of the corresponding backgrounds (supertargets with additional bicategorial supergeometric data), organised into simplicial hierarchies, is considered. To these, configurational (super)symmetry of the bulk field theory is lifted coherently, whereby the notion of a maximally (super)symmetric background, and in particular that of a simplicial Lie background, arises as the target structure requisite for the definition of the super-$\sigma$-model with defects fully transmissive to the currents of the bulk (super)symmetry. The formal concepts are illustrated in two settings of physical relevance: that of the WZW $\sigma$-model of the bosonic string in a compact simple 1-connected Lie group and that of the GS super-$\sigma$-model of the superstring in the Minkowski super-space. In the former setting, the structure of the background is fixed through a combination of simplicial, symmetry(-reducibility) and cohomological arguments, and a novel link between fusion of the maximally symmetric WZW defects of Fuchs et al. and the 3$d$ CS theory with timelike Wilson lines with fixed holonomy is established. Moreover, a purely geometric interpretation of the Verlinde fusion rules is proposed. In the latter setting, a multiplicative structure compatible with supersymmetry is shown to exist on the GS super-1-gerbe of arXiv:1706.05682 [hep-th], and subsequently used in a novel construction of a class of maximally (rigidly) supersymmetric bi-branes whose elementary fusion is also studied.