title: Sheaves of non-commutative smooth and holomorphic functions associated with the non-abelian two-dimensional Lie algebra

abstract: Dosi and, quite recently, the author showed that, on the character space of a nilpotent Lie algebra, there exists a sheaf of Fr\'echet--Arens--Michael algebras (of noncommutative holomorphic functions in the complex case and of noncommutative smooth functions in the real case). We construct similar sheaves (both versions, holomorphic and smooth) on a special space of representations for the Lie algebra of the group of affine transformations of the real line (which is the simplest nonnilpotent solvable Lie algebra).


title: Lowest order thermal correction to the hydrogen recombination cross section in presence of blackbody radiation

abstract: In the present paper, the correction due to the thermal interaction of two charges to the recombination and ionization processes for the hydrogen atom is considered. The evaluation is based on a rigorous quantum electrodynamic (QED) approach within the framework of perturbation theory. The lowest-order radiative correction to the recombination/ionization cross-section is examined for a wide range of temperatures corresponding to laboratory and astrophysical conditions. The found thermal contribution is discussed both for specific states and for the total recombination and ionization coefficients.


title: Using Computational Essays to Redistribute Epistemic Agency in Undergraduate Science

abstract: This article reports on a study investigating how computational essays can be used to redistribute epistemic agency--cognitive control and responsibility over one's own learning--to students in higher education STEM. Computational essays are a genre of scientific writing that combine live, executable computer code with narrative text to present a computational model or analysis. The study took place across two contrasting university contexts: an interdisciplinary data science and modeling course at Michigan State University, USA, and a third-semester physics course at the University of Oslo, Norway. Over the course of a semester, computational essays were simultaneously and independently used in both courses, and comparable datasets of student artifacts and retrospective interviews were collected from both student populations. These data were analyzed using a framework which operationalized the construct of epistemic agency across the dimensions of programming, inquiry, data analysis and modeling, and communication. Based on this analysis, we argue that computational essays can be a useful tool in redistributing epistemic agency to students within higher education science due to their combination of adaptability and disciplinary authenticity. However, we also argue that educational contexts, scaffolding, expectations, and student backgrounds can constrain and influence the ways in which students choose to take up epistemic agency.


title: Thermodynamic Signatures of Diagonal Nematicity in RbFe$_2$As$_2$ Superconductor

abstract: Electronic nematic states with broken rotational symmetry often emerge in correlated materials. In most iron-based superconductors, the nematic anisotropy is oriented in the Fe-Fe direction of the iron square lattice. Recently, a novel type of nematicity along the diagonal Fe-As direction has been suggested in heavily hole-doped $A$Fe$_2$As$_2$ ($A=$ Rb or Cs). However, the transport studies focusing on the fluctuations of such nematicity have provided controversial results regarding the presence of diagonal nematic order. Here we report high-resolution heat capacity measurements under in-plane field rotation in RbFe$_2$As$_2$. While the temperature dependence of specific heat shows no discernible anomaly associated with the nematic transition, the field-angle dependence of specific heat near the superconducting transition (at $\sim 2.8$ K) reveals clear two-fold oscillations within the plane, providing thermodynamic evidence for the diagonal nematicity. Moreover, we find that M\"ossbauer spectroscopy sensitively probes the nematic transition at $\sim 50$ K with no evidence of static magnetism. These results imply that the diagonal nematicity in RbFe$_2$As$_2$ has a unique mechanism involving charge degrees of freedom, having unusual thermodynamic properties of the transition.


title: On a family of linear MRD codes with parameters $[8\times8,16,7]_q$

abstract: In this paper we consider a family $\mathcal{F}$ of $16$-dimensional $\mathbb{F}_q$-linear rank metric codes in $\mathbb{F}_q^{8\times8}$, arising from the polynomial $x^{q^s}+\delta x^{q^{4+s}}\in\mathbb{F}_{q^8}[x]$. Examples of MRD codes in $\mathcal{F}$ have been provided by Csajb\'ok, Marino, Polverino and Zanella (2018). For any large enough odd $q$, we determine exactly which codes in $\mathcal{F}$ are MRD. We also show that the MRD codes in $\mathcal{F}$ are not equivalent to any other MRD codes known so far.


title: An Introduction to Variational Inference

abstract: Approximating complex probability densities is a core problem in modern statistics. In this paper, we introduce the concept of Variational Inference (VI), a popular method in machine learning that uses optimization techniques to estimate complex probability densities. This property allows VI to converge faster than classical methods, such as, Markov Chain Monte Carlo sampling. Conceptually, VI works by choosing a family of probability density functions and then finding the one closest to the actual probability density -- often using the Kullback-Leibler (KL) divergence as the optimization metric. We introduce the Evidence Lower Bound to tractably compute the approximated probability density and we review the ideas behind mean-field variational inference. Finally, we discuss the applications of VI to variational auto-encoders (VAE) and VAE-Generative Adversarial Network (VAE-GAN). With this paper, we aim to explain the concept of VI and assist in future research with this approach.


title: Local systems in diffeology

abstract: By making use of Halperin's local systems over simplicial sets and the model structure of the category of diffeological spaces due to Kihara, we introduce a framework of rational homotopy theory for such smooth spaces with arbitrary fundamental groups. As a consequence, we have an equivalence between the homotopy categories of fibrewise rational diffeological spaces and an algebraic category of minimal local systems elaborated by G\'omez-Tato, Halperin and Tanr\'e. In the latter half of this article, a spectral sequence converging to the singular de Rham cohomology of a diffeological adjunction space is constructed with the pullback of relevant local systems. In case of a stratifold obtained by attaching manifolds, the spectral sequence converges to the Souriau--de Rham cohomology algebra of the diffeological space. By using the pullback construction, we also discuss a local system model for a topological homotopy pushout.


title: The diffuse interstellar band around 8620 {\AA} II. Kinematics and distance of the DIB carrier

abstract: We aim to make use of the measurements from the Giraffe Inner Bulge Survey (GIBS) and the Gaia$-$ESO survey (GES) to study the kinematics and distance of the carrier of DIB$\,\lambda$8620, as well as other properties. We successfully detected and measured DIB$\,\lambda$8620 in 760 of 4117 GES spectra. Combined with the DIBs measured in GIBS spectra, we confirmed a tight relation between EW and $E(J-K_{\rm S})$ as well as $A_{\rm V}$, with similar fitting coefficients to those found by previous works. With a more accurate sample and the consideration of the solar motion, the rest-frame wavelength of DIB$\,\lambda$8620 was redetermined as 8620.83 \r{A}, with a mean fit error of 0.36 \r{A}. We studied the kinematics of the DIB carriers by tracing their median radial velocities in each field in the local standard of rest ($V_{\rm LSR}$) and into the galactocentric frame ($V_{\rm GC}$), respectively, as a function of the Galactic longitudes. Based on the median $V_{\rm LSR}$ and two Galactic rotation models, we obtained valid kinematic distances of the DIB carriers for nine GIBS and ten GES fields. We also found a linear relation between the DIB$\,\lambda$8620 measured in this work and the near-infrared DIB in APOGEE spectra at $1.5273\,\mu m$. We demonstrate that the DIB carriers can be located much closer to the observer than the background stars based on the following arguments: (i) qualitatively, the carriers occupy in the Galactic longitude$-$velocity diagram typical rotation velocities of stars in the local Galactic disk, while the background stars in the GIBS survey are mainly located in the Galactic bulge; (ii) quantitatively, all the derived kinematic distances of the DIB carriers are smaller than the median distances to background stars in each field.


title: A New Lever Function with Adequate Indeterminacy

abstract: The key transform of the REESSE1+ asymmetrical cryptosystem is Ci = (Ai * W ^ l(i)) ^ d (% M) with l(i) in Omega = {5, 7, ..., 2n + 3} for i = 1, ..., n, where l(i) is called a lever function. In this paper, the authors give a simplified key transform Ci = Ai * W ^ l(i) (% M) with a new lever function l(i) from {1, ..., n} to Omega = {+/-5, +/-6, ..., +/-(n + 4)}, where "+/-" means the selection of the "+" or "-" sign. Discuss the necessity of the new l(i), namely that a simplified private key is insecure if the new l(i) is a constant but not one-to-one function. Further, expound the sufficiency of the new l(i) from four aspects: (1) indeterminacy of the new l(i), (2) insufficient conditions for neutralizing the powers of W and W ^-1 even if Omega = {5, 6, ..., n + 4}, (3) verification by examples, and (4) running times of continued fraction attack and W-parameter intersection attack which are the two most efficient algorithms of the probabilistic polytime attacks so far. Last, the authors detail the relation between a lever function and a random oracle.


title: InSE-NET: A Perceptually Coded Audio Quality Model based on CNN

abstract: Automatic coded audio quality assessment is an important task whose progress is hampered by the scarcity of human annotations, poor generalization to unseen codecs, bitrates, content-types, and a lack of flexibility of existing approaches. One of the typical human-perception-related metrics, ViSQOL v3 (ViV3), has been proven to provide a high correlation to the quality scores rated by humans. In this study, we take steps to tackle problems of predicting coded audio quality by completely utilizing programmatically generated data that is informed with expert domain knowledge. We propose a learnable neural network, entitled InSE-NET, with a backbone of Inception and Squeeze-and-Excitation modules to assess the perceived quality of coded audio at a 48kHz sample rate. We demonstrate that synthetic data augmentation is capable of enhancing the prediction. Our proposed method is intrusive, i.e. it requires Gammatone spectrograms of unencoded reference signals. Besides a comparable performance to ViV3, our approach provides a more robust prediction towards higher bitrates.


title: Analysis of directional higher order jump discontinuities with trigonometric shearlets

abstract: In a recent article, we showed that trigonometric shearlets are able to detect directional step discontinuities along edges of periodic characteristic functions. In this paper, we extend these results to multivariate periodic functions which have jump discontinuities in higher order directional derivatives along edges. In order to prove suitable upper and lower bounds for the shearlet coefficients, we need to generalize the results about localization- and orientation-dependent decay properties of the corresponding inner products of trigonometric shearlets and the underlying periodic functions.


title: Di-Gluonium Sum Rules, I = 0 Scalar Mesons and Conformal Anomaly

abstract: We revisit, scrutinize, improve, confirm and complete our previous results [1-3] from the scalar di-gluonium sum rules within the standard SVZ-expansion at N2LO without instantons and beyond the minimal duality ansatz : "one resonance + QCD continuum" parametrization of the spectral function which is necessary for a better understanding of the complex spectra of the $I=0$ scalar mesons. We select different (un)subtracted sum rules (USR) moments of degree $\leq$ 4 for extracting the two lowest gluonia masses and couplings. We obtain: $[M_{\sigma_B},f_{\sigma_B}]=[1.07(13),0.46(16)],~[M_{G_1},f_{G_1}][1.55(12),0.37(11)]$ GeV and the corresponding masses of the radial excitations : $M_{\sigma'_B}$= 1.11(12) and $M_{G'_1}=1.56(14)$ GeV which are (unexpectedly) almost degenerated with the ground states. The 2nd radial excitation is found to have a much heavier mass: $M_{G_2}\simeq$ 2.99(22) GeV. Combining these results with some Low-Energy Vertex Sum Rules (LEV-SR), we predict some hadronic widths and classify them into two groups : -- The $\sigma$-like ($\sigma_B,\sigma'_B$) which decay copiously to $\pi\pi$ from OZI-violating process and the $\sigma'_B$ to $2(\pi\pi)S$ through $\sigma\sigma$. -- The $G$-like $(G_1,~G'_1$ and eventually $G_2$) which decay into $\eta'\eta, ~\eta\eta$ through the $U(1)_A$ gluonic vertex. Besides some eventual mixings with quarkonia states, we may expect that the observed $\sigma/f_0(500)$ and $f_0(137)$ are $\sigma$-like while the $f_0(1.5)$ and $f_0(1.7)$ are $G$-like gluonia. The high mass $G_2(2.99)$ can also mix with the $G_1,~G'_1$ to bring the gluon component of the gluonia candidates above 2 GeV. We also estimate the conformal charge $\psi_G(0)=2.09(29)$ GeV$^4$ and its slope $10^2\psi'_G(0)=-22(29)$ GeV$^2$. Our results are summarized in Table 1.


title: Undirected determinant, permanent and their complexity

abstract: We view the determinant and permanent as functions on directed weighted graphs and introduce their analogues for the undirected graphs. We prove that the task of computing the undirected determinants as well as permanents for planar graphs, whose vertices have degree at most 4, is \#P-complete. In the case of planar graphs whose vertices have degree at most 3, the computation of the undirected determinant remains \#P-complete while the permanent can be reduced to the FKT algorithm, and therefore is polynomial. The undirected permanent is a Holant problem and its complexity can be deduced from the existing literature. The concept of the undirected determinant is new. Its introduction is motivated by the formal resemblance to the directed determinant, a property that may inspire generalizations of some of the many algorithms which compute the latter. For a sizable class of planar 3-regular graphs, we are able to compute the undirected determinant in polynomial time.


title: ADMM-based residual whiteness principle for automatic parameter selection in super-resolution problems

abstract: We propose an automatic parameter selection strategy for the problem of image super-resolution for images corrupted by blur and additive white Gaussian noise with unknown standard deviation. The proposed approach exploits the structure of both the down-sampling and the blur operators in the frequency domain and computes the optimal regularisation parameter as the one optimising a suitable residual whiteness measure. Computationally, the proposed strategy relies on the fast solution of generalised Tikhonov $\ell_2$-$\ell_2$ problems as proposed in a work from Zhao et al. These problems naturally appear as substeps of the Alternating Direction Method of Multipliers (ADMM) optimisation approach used to solve super-resolution problems with non-quadratic and often non-smooth, sparsity-promoting regularisers both in convex and in non-convex regimes. After detailing the theoretical properties defined in the frequency domain which allow to express the whiteness functional in a compact way, we report an exhaustive list of numerical experiments proving the effectiveness of the proposed approach for different type of problems, in comparison with well-known parameter selection strategy such as, e.g., the discrepancy principle.


title: GeoVectors: A Linked Open Corpus of OpenStreetMap Embeddings on World Scale

abstract: OpenStreetMap (OSM) is currently the richest publicly available information source on geographic entities (e.g., buildings and roads) worldwide. However, using OSM entities in machine learning models and other applications is challenging due to the large scale of OSM, the extreme heterogeneity of entity annotations, and a lack of a well-defined ontology to describe entity semantics and properties. This paper presents GeoVectors - a unique, comprehensive world-scale linked open corpus of OSM entity embeddings covering the entire OSM dataset and providing latent representations of over 980 million geographic entities in 180 countries. The GeoVectors corpus captures semantic and geographic dimensions of OSM entities and makes these entities directly accessible to machine learning algorithms and semantic applications. We create a semantic description of the GeoVectors corpus, including identity links to the Wikidata and DBpedia knowledge graphs to supply context information. Furthermore, we provide a SPARQL endpoint - a semantic interface that offers direct access to the semantic and latent representations of geographic entities in OSM.


title: Investigating Vulnerabilities of Deep Neural Policies

abstract: Reinforcement learning policies based on deep neural networks are vulnerable to imperceptible adversarial perturbations to their inputs, in much the same way as neural network image classifiers. Recent work has proposed several methods to improve the robustness of deep reinforcement learning agents to adversarial perturbations based on training in the presence of these imperceptible perturbations (i.e. adversarial training). In this paper, we study the effects of adversarial training on the neural policy learned by the agent. In particular, we follow two distinct parallel approaches to investigate the outcomes of adversarial training on deep neural policies based on worst-case distributional shift and feature sensitivity. For the first approach, we compare the Fourier spectrum of minimal perturbations computed for both adversarially trained and vanilla trained neural policies. Via experiments in the OpenAI Atari environments we show that minimal perturbations computed for adversarially trained policies are more focused on lower frequencies in the Fourier domain, indicating a higher sensitivity of these policies to low frequency perturbations. For the second approach, we propose a novel method to measure the feature sensitivities of deep neural policies and we compare these feature sensitivity differences in state-of-the-art adversarially trained deep neural policies and vanilla trained deep neural policies. We believe our results can be an initial step towards understanding the relationship between adversarial training and different notions of robustness for neural policies.


title: An outer totalistic weakly universal cellular automaton in the dodecagrid with four states

abstract: In this paper, we prove that there is an outer totalistic weakly universal cellular automaton in the dodecagrid, the tessellation {5,3,4} of the hyperbolic 3D space, with four states. It is the first result in such a context.


title: Dynamics of thermalization of two tunnel-coupled one-dimensional quasicondensates

abstract: We study the non-equilibrium dynamics of two tunnel-coupled one-dimensional quasicondensates following a quench of the coupling strength from zero to a fixed finite value. More specifically, starting from two independent quasicondensates in thermal equilibrium, with initial temperature and chemical potential imbalance, we suddenly switch on the tunnel-coupling and analyze the post-quench equilibration in terms of particle number and energy imbalances. We find that, in certain parameter regimes, the net energy can flow from the colder quasicondensate to the hotter one and is governed by the surplus of low energy particles flowing from the cold to the hot system relative to the high-energy particles flowing in the reverse direction. In all cases, the approach to the new thermal equilibrium occurs through transient, damped oscillations. We also find that for a balanced initial state the coupled quasicondensates can relax into a final thermal equilibrium state in which they display a thermal phase coherence length that is larger than their initial phase coherence length, even though the new equilibrium temperature is higher. The increase in the phase coherence length occurs due to phase locking which manifests itself via an increased degree of correlation between the local relative phases of the quasicondensates at two arbitrary points.


title: Properties of the Cremona group endowed with the Euclidean topology

abstract: Consider a Cremona group endowed with the Euclidean topology introduced by Blanc and Furter. It makes it a Hausdorff topological group that is not locally compact nor metrisable. We show that any sequence of elements of the Cremona group of bounded order that converges to the identity is constant. We use this result to show that the Cremona groups do not contain any non-trivial sequence of subgroups converging to the identity. We also show that, in general, paths in a Cremona group do not lift and do not satisfy a property similar to the definition of morphisms to a Cremona group.


title: A theory of representation learning gives a deep generalisation of kernel methods

abstract: The successes of modern deep machine learning methods are founded on their ability to transform inputs across multiple layers to build good high-level representations. It is therefore critical to understand this process of representation learning. However, standard theoretical approaches (formally NNGPs) involving infinite width limits eliminate representation learning. We therefore develop a new infinite width limit, the Bayesian representation learning limit, that exhibits representation learning mirroring that in finite-width models, yet at the same time, retains some of the simplicity of standard infinite-width limits. In particular, we show that Deep Gaussian processes (DGPs) in the Bayesian representation learning limit have exactly multivariate Gaussian posteriors, and the posterior covariances can be obtained by optimizing an interpretable objective combining a log-likelihood to improve performance with a series of KL-divergences which keep the posteriors close to the prior. We confirm these results experimentally in wide but finite DGPs. Next, we introduce the possibility of using this limit and objective as a flexible, deep generalisation of kernel methods, that we call deep kernel machines (DKMs). Like most naive kernel methods, DKMs scale cubically in the number of datapoints. We therefore use methods from the Gaussian process inducing point literature to develop a sparse DKM that scales linearly in the number of datapoints. Finally, we extend these approaches to NNs (which have non-Gaussian posteriors) in the Appendices.


title: Object-aware Long-short-range Spatial Alignment for Few-Shot Fine-Grained Image Classification

abstract: The goal of few-shot fine-grained image classification is to recognize rarely seen fine-grained objects in the query set, given only a few samples of this class in the support set. Previous works focus on learning discriminative image features from a limited number of training samples for distinguishing various fine-grained classes, but ignore one important fact that spatial alignment of the discriminative semantic features between the query image with arbitrary changes and the support image, is also critical for computing the semantic similarity between each support-query pair. In this work, we propose an object-aware long-short-range spatial alignment approach, which is composed of a foreground object feature enhancement (FOE) module, a long-range semantic correspondence (LSC) module and a short-range spatial manipulation (SSM) module. The FOE is developed to weaken background disturbance and encourage higher foreground object response. To address the problem of long-range object feature misalignment between support-query image pairs, the LSC is proposed to learn the transferable long-range semantic correspondence by a designed feature similarity metric. Further, the SSM module is developed to refine the transformed support feature after the long-range step to align short-range misaligned features (or local details) with the query features. Extensive experiments have been conducted on four benchmark datasets, and the results show superior performance over most state-of-the-art methods under both 1-shot and 5-shot classification scenarios.


title: Open Set RF Fingerprinting using Generative Outlier Augmentation

abstract: RF devices can be identified by unique imperfections embedded in the signals they transmit called RF fingerprints. The closed set classification of such devices, where the identification must be made among an authorized set of transmitters, has been well explored. However, the much more difficult problem of open set classification, where the classifier needs to reject unauthorized transmitters while recognizing authorized transmitters, has only been recently visited. So far, efforts at open set classification have largely relied on the utilization of signal samples captured from a known set of unauthorized transmitters to aid the classifier learn unauthorized transmitter fingerprints. Since acquiring new transmitters to use as known transmitters is highly expensive, we propose to use generative deep learning methods to emulate unauthorized signal samples for the augmentation of training datasets. We develop two different data augmentation techniques, one that exploits a limited number of known unauthorized transmitters and the other that does not require any unauthorized transmitters. Experiments conducted on a dataset captured from a WiFi testbed indicate that data augmentation allows for significant increases in open set classification accuracy, especially when the authorized set is small.


title: Merger Histories and Environments of Dwarf AGN in IllustrisTNG

abstract: The relationship between active galactic nuclei activity and environment has been long discussed, but it is unclear if these relations extend into the dwarf galaxy mass regime -- in part due to the limits in both observations and simulations. We aim to investigate if the merger histories and environments are significantly different between AGN and non-AGN dwarf galaxies in cosmological simulations, which may be indicative of the importance of these for AGN activity in dwarf galaxies, and whether these results are in line with observations. Using the IllustrisTNG flagship TNG100-1 run, 6\,771 dwarf galaxies are found with 3\,863 ($\sim$57 per cent) having some level of AGN activity. In order to quantify `environment', two measures are used: 1) the distance to a galaxy's 10th nearest neighbour at 6 redshifts and 2) the time since last merger for three different minimum merger mass ratios. A similar analysis is run on TNG50-1 and Illustris-1 to test for the robustness of the findings. Both measures yield significantly different distributions between AGN and non-AGN galaxies; more non-AGN than AGN galaxies have long term residence in dense environments while recent ($\leq 4 \text{ Gyr}$) minor mergers are more common for intermediate AGN activity. While no statements are made about the micro- or macrophysics from these results, it is nevertheless indicative of a non-neglible role of mergers and environments.


title: Densely Semantic Enhancement for Domain Adaptive Region-free Detectors

abstract: Unsupervised domain adaptive object detection aims to adapt a well-trained detector from its original source domain with rich labeled data to a new target domain with unlabeled data. Previous works focus on improving the domain adaptability of region-based detectors, e.g., Faster-RCNN, through matching cross-domain instance-level features that are explicitly extracted from a region proposal network (RPN). However, this is unsuitable for region-free detectors such as single shot detector (SSD), which perform a dense prediction from all possible locations in an image and do not have the RPN to encode such instance-level features. As a result, they fail to align important image regions and crucial instance-level features between the domains of region-free detectors. In this work, we propose an adversarial module to strengthen the cross-domain matching of instance-level features for region-free detectors. Firstly, to emphasize the important regions of image, the DSEM learns to predict a transferable foreground enhancement mask that can be utilized to suppress the background disturbance in an image. Secondly, considering that region-free detectors recognize objects of different scales using multi-scale feature maps, the DSEM encodes both multi-level semantic representations and multi-instance spatial-contextual relationships across different domains. Finally, the DSEM is pluggable into different region-free detectors, ultimately achieving the densely semantic feature matching via adversarial learning. Extensive experiments have been conducted on PASCAL VOC, Clipart, Comic, Watercolor, and FoggyCityscape benchmarks, and their results well demonstrate that the proposed approach not only improves the domain adaptability of region-free detectors but also outperforms existing domain adaptive region-based detectors under various domain shift settings.


title: Measurement Setup Consideration and Implementation for Inductively Coupled Online Impedance Extraction

abstract: This thesis is organized as follows: Chapter 1 introduces the background, motivation, objectives, and contributions of this thesis. Chapter 2 presents a review of existing online impedance extraction approaches. Chapter 3 proposes the improved measurement setup of the inductive coupling approach and introduces the theory behind time-variant online impedance extraction. Chapter 4 develops a three-term calibration technique for the proposed measurement setup to deembed the effect of the probe-to-probe coupling between the inductive probes with the objective to improve the accuracy of online impedance extraction. Chapter 5 discusses the additional measurement setup consideration in industrial applications where significant electrical noise and power surges are present. Chapter 6 discusses and demonstrates the application of the inductive coupling approach in online detection of the incipient stator faults in the inverter-fed induction motor. Chapter 7 further extends the application of this approach for non-intrusive extraction of the voltage-dependent capacitances of the silicon carbide (SiC) power metal-oxide-semiconductor field-effect transistor (MOSFET). Finally, Chapter 8 concludes this thesis and proposes future works that are worth exploring.


title: Velocity difference of ions and neutrals in solar prominences

abstract: Marked velocity excesses of ions relative to neutrals are obtained from two time series of the neighboring emission lines He I 5015 and Fe II 5018 in a quiescent prominence. Their Doppler shifts show time variations of quasi-periodic character where the ions are faster than the neutrals 1.0 < V_macro(Fe II)/V_macro(He I) < 1.35 in series-A and, respectively, <1.25 in series-B. This 'ratio excess' confirms our earlier findings of a 1.22 ion velocity excess, but the present study shows a restriction in space and time of typically 5 Mm and 5 min. The ratio excess is superposed by a time and velocity independent 'difference excess' -0.3 < V_macro(Fe II)-V_macro(He I) < +0.7 km/s in series-A (also indicated in series-B). The high repetition rate of 3.9 sec enables the detection of high frequency oscillations with several damped 22 sec periods in series-A. These show a ratio excess with a maximum of 1.7. We confirm the absence of a significant phase delay of He neutrals with respect to the Fe ions.


title: A Coinductive Version of Milner's Proof System for Regular Expressions Modulo Bisimilarity

abstract: By adapting Salomaa's complete proof system for equality of regular expressions under the language semantics, Milner (1984) formulated a sound proof system for bisimilarity of regular expressions under the process interpretation he introduced. He asked whether this system is complete. Proof-theoretic arguments attempting to show completeness of this equational system are complicated by the presence of a non-algebraic rule for solving fixed-point equations by using star iteration. We characterize the derivational power that the fixed-point rule adds to the purely equational part $\text{Mil$^{\boldsymbol{-}}$}$ of Milner's system $\text{$\text{Mil}$}$: it corresponds to the power of coinductive proofs over $\text{Mil$^{\boldsymbol{-}}$}$ that have the form of finite process graphs with the loop existence and elimination property $\text{LEE}$. We define a variant system $\text{cMil}$ by replacing the fixed-point rule in $\text{Mil}$ with a rule that permits $\text{LEE}$-shaped circular derivations in $\text{Mil$^{\boldsymbol{-}}$}$ from previously derived equations as a premise. With this rule alone we also define the variant system $\text{CLC}$ for merely combining $\text{LEE}$-shaped coinductive proofs over $\text{Mil$^{\boldsymbol{-}}$}$. We show that both $\text{cMil}$ and $\text{CLC}$ have proof interpretations in $\text{Mil}$, and vice versa. As this correspondence links, in both directions, derivability in $\text{Mil}$ with derivation trees of process graphs, it widens the space for graph-based approaches to finding a completeness proof of Milner's system. This report is the extended version of a paper with the same title presented at CALCO 2021.


title: COMPRA: A COMPact Reactive Autonomy framework for subterranean MAV based search-and-rescue operations

abstract: This work establishes COMPRA, a compact and reactive autonomy framework for fast deployment of Micro Aerial Vehicles (MAVs) in subterranean Search-and-Rescue (SAR) missions. A COMPRA-enabled MAV is able to autonomously explore previously unknown areas while specific mission criteria are considered e.g. an object of interest is identified and localized, the remaining useful battery life, the overall desired exploration mission duration. The proposed architecture follows a low-complexity algorithmic design to facilitate fully on-board computations, including nonlinear control, state-estimation, navigation, exploration behavior and object localization capabilities. The framework is mainly structured around a reactive local avoidance planner, based on enhanced Potential Field concepts and using instantaneous 3D pointclouds, as well as a computationally efficient heading regulation technique, based on depth images from an instantaneous camera stream. Those techniques decouple the collision-free path generation from the dependency of a global map and are capable of handling imprecise localization occasions. Field experimental verification of the overall architecture is performed in relevant unknown Global Positioning System (GPS)-denied environments.


title: Probing the tau electric dipole moment at BEPC-II collider energies

abstract: We investigate the prospects of the search for a nonzero $\tau$ EDM form factor $d_\tau(s)$ in $\tau$ pair production by $e^+ e^-$ collisions at BEPC-II collider energies. We compute the expectation values and covariances of simple and optimal $CP$-odd observables for $\tau$-pair production at $\sqrt{s}=4.18$ GeV and $4.95$ GeV with subsequent decays of $\tau^\pm$ into major leptonic or semihadronic modes. For the $\tau$ decays to two pions and three charged pions we take the full kinematic information of the hadronic system into account. Applying cuts and using realistic assumptions on the eventually attainable integrated luminosities at these energies, ${\cal L}(4.18) = 3\times 10^4~{\rm pb}^{-1}$ and ${\cal L}(4.95) = 10^4~{\rm pb}^{-1}$, respectively, we find the following. By taking into account purely semihadronic and semihadronic-leptonic $\tau^+\tau^-$ decays one can achieve with optimal $CP$-odd observables the 1 s.d. sensitivities $\delta {\rm Re} d_\tau = 4.5\times 10^{-18}$ ecm ($5.3\times 10^{-18}$ ecm) and $\delta {\rm Im} d_\tau = 2.2 \times 10^{-18}$ ecm ($2.7\times 10^{-18}$ ecm) at $\sqrt{s}=4.18$ GeV ($4.95$ GeV).


title: Nonlinear Neumann problems for fully nonlinear elliptic PDEs on a quadrant

abstract: We consider the nonlinear Neumann problem for fully nonlinear elliptic PDEs on a quadrant. We establish a comparison theorem for viscosity sub and supersolutions of the nonlinear Neumann problem. The crucial argument in the proof of the comparison theorem is to build a $C^{1,1}$ test function which takes care of the nonlinear Neumann boundary condition. A similar problem has been treated on a general $n$-dimensional orthant by Biswas, Ishii, Subhamay, and Wang [SIAM J. Control Optim. 55 (2017), pp. 365--396], where the functions ($H_i$ in the main text) describing the boundary condition are required to be positively one-homogeneous, and the result in this paper removes the positive homogeneity in two-dimension. An existence result for solutions is also presented.


title: A Locally Stable Edit Distance for Functions Defined on Merge Trees

abstract: In this work we define a metric structure for functions defined on merge trees. The metric introduced possesses some stability properties and can be computed with a dynamical integer linear programming approach. We showcase the effectiveness of the whole framework with simulated data sets. Using functions defined on merge trees proves to be very effective in situation where other topological data analysis tools, like persistence diagrams, can not be meaningfully employed.


title: Signal-carrying speckle in Optical Coherence Tomography: a methodological review on biomedical applications

abstract: Significance: Speckle has historically been considered a source of noise in coherent light imaging. However, a number of works in optical coherence tomography (OCT) imaging have shown that speckle patterns may contain relevant information regarding sub-resolution and structural properties of the tissues from which it is originated. Aim: The objective of this work is to provide a comprehensive overview of the methods developed for retrieving speckle information in biomedical OCT applications. Approach: PubMed and Scopus databases were used to perform a systematic review on studies published until April 2021. From 134-screened studies, 37 were eligible for this review. Results: The studies have been clustered according to the nature of their analysis, namely static or dynamic, and all features were described and analysed. The results show that features retrieved from speckle can be used successfully in different applications, such as classification and segmentation. However, the results also show that speckle analysis is highly application-dependant, and the best approach varies between applications. Conclusions: Several of the reviewed analysis were only performed in a theoretical context or using phantoms, showing that signal-carrying speckle analysis in OCT imaging is still in its early stage, and further work is needed to validate its applicability and reproducibility in a clinical context.


title: A New Rational Approach to the Square Root of 5

abstract: In this paper, authors construct a new type of sequence which is named an extra-super increasing sequence, and give the definitions of the minimal super increasing sequence {a[0], a[1], ..., a[n]} and minimal extra-super increasing sequence {z[0], z[1], ..., z[n]}. Find that there always exists a fit n which makes (z[n] / z[n-1] - a[n] / a[n-1])= PHI, where PHI is the golden ratio conjugate with a finite precision in the range of computer expression. Further, derive the formula radic(5) = 2(z[n] / z[n-1] - a[n] / a[n-1]) + 1, where n corresponds to the demanded precision. Experiments demonstrate that the approach to radic(5) through a term ratio difference is more smooth and expeditious than through a Taylor power series, and convince the authors that lim(n to infinity) (z[n] / z[n-1] - a[n] / a[n-1]) = PHI holds.


title: A wide-field CO survey towards the California Molecular Filament

abstract: We present the survey of $^{12}$CO/$^{13}$CO/C$^{18}$O (J=1-0) toward the California Molecular Cloud (CMC) within the region of 161.75$^{\circ} \leqslant l \leqslant$ 167.75$^{\circ}$,-9.5$^{\circ} \leqslant b \leqslant $-7.5$^{\circ}$, using the Purple Mountain Observatory (PMO) 13.7 m millimeter telescope. Adopting a distance of 470 pc, the mass of the observed molecular cloud estimated from $^{12}$CO, $^{13}$CO, and C$^{18}$O is about 2.59$\times$10$^{4}$ M$_\odot$, 0.85$\times$10$^{4}$ M$_\odot$, and 0.09$\times$10$^{4}$ M$_\odot$, respectively. A large-scale continuous filament extending about 72 pc is revealed from the $^{13}$CO images. A systematic velocity gradient perpendicular to the major axis appears and is measured to be $\sim$ 0.82 km s$^{-1}$ pc$^{-1}$. The kinematics along the filament shows an oscillation pattern with a fragmentation wavelength of $\sim$ 2.3 pc and velocity amplitude of $\sim$ 0.92 km s$^{-1}$, which may be related with core-forming flows. Furthermore, assuming an inclination angle to the plane of the sky of 45$^{\circ}$, the estimated average accretion rate is $\sim$ 101 M$_\odot$ Myr$^{-1}$ for the cluster LkH$\alpha$ 101 and $\sim$ 21 M$_\odot$ Myr$^{-1}$ for the other regions. In the C$^{18}$O observations, the large-scale filament could be resolved into multiple substructures and their dynamics are consistent with the scenario of filament formation from converging flows. Approximately 225 C$^{18}$O cores are extracted, of which 181 are starless cores. Roughly 37$\%$ (67/181) of the starless cores have $\alpha_{\text{vir}}$ less than 1. Twenty outflow candidates are identified along the filament. Our results indicate active early-phase star formation along the large-scale filament in the CMC region.


title: NEREL: A Russian Dataset with Nested Named Entities, Relations and Events

abstract: In this paper, we present NEREL, a Russian dataset for named entity recognition and relation extraction. NEREL is significantly larger than existing Russian datasets: to date it contains 56K annotated named entities and 39K annotated relations. Its important difference from previous datasets is annotation of nested named entities, as well as relations within nested entities and at the discourse level. NEREL can facilitate development of novel models that can extract relations between nested named entities, as well as relations on both sentence and document levels. NEREL also contains the annotation of events involving named entities and their roles in the events. The NEREL collection is available via https://github.com/nerel-ds/NEREL.


title: BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs

abstract: Edge-coloured directed graphs provide an essential structure for modelling and analysis of complex systems arising in many scientific disciplines (e.g. feature-oriented systems, gene regulatory networks, etc.). One of the fundamental problems for edge-coloured graphs is the detection of strongly connected components, or SCCs. The size of edge-coloured graphs appearing in practice can be enormous both in the number of vertices and colours. The large number of vertices prevents us from analysing such graphs using explicit SCC detection algorithms, such as Tarjan's, which motivates the use of a symbolic approach. However, the large number of colours also renders existing symbolic SCC detection algorithms impractical. This paper proposes a novel algorithm that symbolically computes all the monochromatic strongly connected components of an edge-coloured graph. In the worst case, the algorithm performs $O(p \cdot n \cdot log~n)$ symbolic steps, where $p$ is the number of colours and $n$ is the number of vertices. We evaluate the algorithm using an experimental implementation based on binary decision diagrams (BDDs). Specifically, we use our implementation to explore the SCCs of a large collection of coloured graphs (up to $2^{48}$) obtained from Boolean networks -- a modelling framework commonly appearing in systems biology.


title: Embedded Pattern Matching

abstract: Haskell is a popular choice for hosting deeply embedded languages. A recurring challenge for these embeddings is how to seamlessly integrate user defined algebraic data types. In particular, one important, convenient, and expressive feature for creating and inspecting data -- pattern matching -- is not directly available on embedded terms. We present a novel technique, embedded pattern matching, which enables a natural and user friendly embedding of user defined algebraic data types into the embedded language, and allows programmers to pattern match on terms in the embedded language in much the same way they would in the host language.


title: Measurement of the nuclear modification factor and prompt charged particle production in $p\mathrm{Pb}$ and $pp$ collisions at $\sqrt{s_{\scriptscriptstyle\mathrm{NN}}}=5\,\mathrm{TeV}$

abstract: The production of prompt charged particles in proton-lead collisions and in proton-proton collisions at the nucleon-nucleon centre-of-mass energy ${\sqrt{s_{\scriptscriptstyle\mathrm{NN}}}=5\,\mathrm{TeV}}$ is studied at LHCb as a function of pseudorapidity ($\eta$) and transverse momentum ($p_{\mathrm{T}}$) with respect to the proton beam direction. The nuclear modification factor for charged particles is determined as a function of $\eta$ between ${-4.8<\eta<-2.5}$ (backward region) and ${2.0<\eta<4.8}$ (forward region), and $p_{\mathrm{T}}$ between ${0.2<p_{\mathrm{T}}<8.0\,\mathrm{GeV}/c}$. The results show a suppression of charged particle production in proton-lead collisions relative to proton-proton collisions in the forward region and an enhancement in the backward region for $p_{\mathrm{T}}$ larger than $1.5\,\mathrm{GeV}/c$. This measurement constrains nuclear PDFs and saturation models at previously unexplored values of the parton momentum fraction down to $10^{-6}$.


title: Lower bounds for moments of the derivative of the Riemann zeta function

abstract: We establish in this paper sharp lower bounds for the $2k$-th moment of the derivative of the Riemann zeta function on the critical line for all real $k \geq 0$.


title: Wellposedness and scattering for the generalized Boussinesq equation

abstract: In this paper, we show the local well-posedness of the generalized Boussinesq equation(gBQ) in $L^{2}(\mathbb{R}^d), H^{1}(\mathbb{R}^d)$ and obtain the global well-posedness, finite-time blowup and small initial data scattering of gBQ in energy space $H^1(\mathbb{R}^d)$. Moreover, we obtain the large radial initial data scattering of defocusing case for $ d\geq 3 $ by using the method of Dodson-Murphy.


title: Automatic Preprocessing and Ensemble Learning for Low Quality Cell Image Segmentation

abstract: We propose an automatic preprocessing and ensemble learning for segmentation of cell images with low quality. It is difficult to capture cells with strong light. Therefore, the microscopic images of cells tend to have low image quality but these images are not good for semantic segmentation. Here we propose a method to translate an input image to the images that are easy to recognize by deep learning. The proposed method consists of two deep neural networks. The first network is the usual training for semantic segmentation, and penultimate feature maps of the first network are used as filters to translate an input image to the images that emphasize each class. This is the automatic preprocessing and translated cell images are easily classified. The input cell image with low quality is translated by the feature maps in the first network, and the translated images are fed into the second network for semantic segmentation. Since the outputs of the second network are multiple segmentation results, we conduct the weighted ensemble of those segmentation images. Two networks are trained by end-to-end manner, and we do not need to prepare images with high quality for the translation. We confirmed that our proposed method can translate cell images with low quality to the images that are easy to segment, and segmentation accuracy has improved using the weighted ensemble learning.


title: Onset of transient shear banding in viscoelastic shear start-up flows: Implications from linearized dynamics

abstract: We analyze transient dynamics during shear start-up in viscoelastic flows between two parallel plates, with a specific focus on the signatures for the onset of transient shear banding using the Johnson-Segalman, non-stretching Rolie-Poly and Giesekus models. We explore the dynamics of shear start-up in monotonic regions of the constitutive curves using two different methodologies: (i) the oft-used `frozen-time' linear stability (eigenvalue) analysis, wherein we examine whether infinitesimal perturbations imposed on instantaneous stress components (treated as quasi steady states) exhibit exponential growth, and (ii) the more mathematically rigorous fundamental-matrix approach that characterizes the transient growth via a numerical solution of the time-dependent linearized governing equations, wherein the linearized perturbations co-evolve with the start-up shear flow. Our results reinforce the hitherto understated point that there is no universal connection between the overshoot and subsequent decay of shear stress in the base state and the unstable eigenvalues obtained from the frozen-time stability analysis. It may therefore be difficult to subsume the occurrence of transient shear banding during shear start-up within the ambit of a single model-independent criterion. Our work also suggests that the strong transients during shear start-up seen in earlier work could well be a consequence of consideration of the limit of small solvent viscosity in the absence of otherwise negligible terms such as fluid inertia.


title: Work statistics across a quantum critical surface

abstract: We study the universality of work statistics of a system quenched through a quantum critical surface. By using the adiabatic perturbation theory, we obtain the general scaling behavior for all cumulants of work. These results extend the studies of Kibble-Zurek mechanism scaling of work statistics from an isolated quantum critical point to a critical surface. As an example, we study the scaling behavior of work statistics in the two-dimensional (2D) Kitaev honeycomb model featured with a critical line. By utilizing the trace formula for quadratic fermionic Hamiltonian, we obtain the exact characteristic function of work of the 2D Kitaev model at zero temperature. The results confirm our prediction.


title: Beyond method: The diatribe between Feyerabend and Popper over the foundations of quantum mechanics

abstract: Karl Popper and Paul Feyerabend have been among the most influential philosophers of science of the twentieth century. Extensive studies have been dedicated to the development of their controversial relationship, which saw Feyerabend turning from a student and supporter of Popper to one of his harshest critics. Yet, it is not as well known that the rift between Popper and Feyerabend generated mainly in the context of their studies on the foundation of quantum mechanics, which has been the main subject of their discussions for about two decades. This paper reconstructs in detail their diatribe over the foundations of quantum mechanics, emphasizing also the major role that their personal relationship played in their distancing.


title: Tune It or Don't Use It: Benchmarking Data-Efficient Image Classification

abstract: Data-efficient image classification using deep neural networks in settings, where only small amounts of labeled data are available, has been an active research area in the recent past. However, an objective comparison between published methods is difficult, since existing works use different datasets for evaluation and often compare against untuned baselines with default hyper-parameters. We design a benchmark for data-efficient image classification consisting of six diverse datasets spanning various domains (e.g., natural images, medical imagery, satellite data) and data types (RGB, grayscale, multispectral). Using this benchmark, we re-evaluate the standard cross-entropy baseline and eight methods for data-efficient deep learning published between 2017 and 2021 at renowned venues. For a fair and realistic comparison, we carefully tune the hyper-parameters of all methods on each dataset. Surprisingly, we find that tuning learning rate, weight decay, and batch size on a separate validation split results in a highly competitive baseline, which outperforms all but one specialized method and performs competitively to the remaining one.


title: Enhancing spin polarization using ultrafast angular streaking

abstract: Through solution of the multielectron, semi-relativistic, time-dependent Schr\"{o}dinger equation, we show that angular streaking produces strongly spin-polarized electrons in a noble gas. The degree of spin polarization increases with the Keldysh parameter, so that angular streaking -- ordinarily applied to investigate tunneling -- may be repurposed to generate strongly spin-polarized electron bunches. Additionally, we explore modifications of the angular streaking scheme that also enhance spin polarization.


title: Non-linear elasticity, yielding and entropy in amorphous solids

abstract: The holographic duality has proven successful in linking seemingly unrelated problems in physics.Recently, intriguing correspondences between the physics of soft matter and gravity are emerging,including strong similarities between the rheology of amorphous solids, effective field theories for elasticity and the physics of black holes. However, direct comparisons between theoretical predictions and experimental/simulation observations remain limited. Here, we study the effects of non-linear elasticity on the mechanical and thermodynamic properties of amorphous materials responding to shear, using effective field and gravitational theories. The predicted correlations among the non-linear elastic exponent, the yielding strain/stress and the entropy change due to shear are supported qualitatively by simulations of granular matter models. Our approach opens a path towards understanding complex mechanical responses of amorphous solids, such as mixed effects of shear softening and shear hardening, and offers the possibility to study the rheology of solid states and black holes in a unified framework.

categories: cond-mat.soft cond-mat.dis-nn cond-mat.stat-mech hep-th


title: Co-deformation Between the Metallic Matrix and Intermetallic Phases in a Creep-Resistant Mg-3.68Al-3.8Ca Alloy

abstract: The microstructure of Mg-Al-Ca alloys consists of a hard intra- and intergranular eutectic Laves phase network embedded in a soft $\alpha$-Mg matrix. For such heterogeneous microstructures, the mechanical response and co-deformation of both phases under external load are not yet fully understood. We therefore used nano- and microindentation in combination with electron microscopy to study the deformation behaviour of an Mg-3.68Al-3.8Ca alloy. We found that the hardness of the Mg$_2$Ca phase was significantly larger than the $\alpha$-Mg phase and stays constant within the measured temperature range. The strain rate sensitivity of the softer $\alpha$-Mg phase and of the interfaces increased while activation volume decreased with temperature. The creep deformation of the Mg$_2$Ca Laves phase was significantly lower than the $\alpha$-Mg phase at 170 $^{\circ}$C. Moreover, the deformation zone around and below microindents depends on the matrix orientation and is influenced by the presence of Laves phases. Most importantly, slip transfer from the $\alpha$-Mg phase to the (Mg,Al)$_2$Ca Laves phase occurred, carried by the basal planes. Based on the observed orientation relationship and active slip systems, a slip transfer mechanism from the soft $\alpha$-Mg phase to the hard Laves phase is proposed. Further, we present implications for future alloy design strategies.


title: Heisenberg-limited Frequency Estimation via Driving through Quantum Phase Transitions

abstract: High-precision frequency estimation is an ubiquitous issue in fundamental physics and a critical task in spectroscopy. Here, we propose a quantum Ramsey interferometry to realize high-precision frequency estimation in spin-1 Bose-Einstein condensate via driving the system through quantum phase transitions(QPTs). In our scheme, we combine adiabatically driving the system through QPTs with {\pi}/2 pulse to realize the initialization and recombination. Through adjusting the laser frequency under fixed evolution time, one can extract the transition frequency via the lock-in point. The lock-in point can be determined from the pattern of the population measurement. In particular, we find the measurement precision of frequency can approach to the Heisenberg-limited scaling. Moreover, the scheme is robust against detection noise and non-adiabatic effect. Our proposed scheme does not require single-particle resolved detection and is within the reach of current experiment techniques. Our study may point out a new way for high-precision frequency estimation.


title: Positive Solution for a Hadamard Fractional Singular Boundary Value Problem of Order $\mu\in(2,\,3)$

abstract: In this article, we establish the existence of positive solution for the following Hadamard fractional singular boundary value problem \begin{align*} {}^{H}D_{a^{+}}^{\,\mu}x(t)+f(t,x(t))&=0,\hspace{0.4cm}t\in(a,\,b),\hspace{0.4cm}0<a<b<\infty,\hspace{0.4cm}2<\mu<3,\\ x(a)=a\,x'(a)=x(b)&=0, \end{align*} where $f:(a,\,b)\times(0,\infty)\rightarrow(0,\infty)$ is continuous and singular at $t=a$, $t=b$ and $x=0$. Further, ${}^{H}D_{a^{+}}^{\,\mu}$ is Hadamard fractional derivative of order $\mu$.


title: The limit as $p\rightarrow\infty$ for the $p-$Laplacian equation with dynamical boundary conditions

abstract: In this paper we study the limit as $p\to \infty$ in the evolution problem driven by the $p-$Laplacian with dynamical boundary conditions. We prove that the natural energy functional associated with this problem converges to a limit in the sense of Mosco convergence and as a consequence we obtain convergence of the solutions to the evolution problems. For the limit problem we show an interpretation in terms of optimal mass transportation and provide examples of explicit solutions for some particular data.


title: From General to Specific: Informative Scene Graph Generation via Balance Adjustment

abstract: The scene graph generation (SGG) task aims to detect visual relationship triplets, i.e., subject, predicate, object, in an image, providing a structural vision layout for scene understanding. However, current models are stuck in common predicates, e.g., "on" and "at", rather than informative ones, e.g., "standing on" and "looking at", resulting in the loss of precise information and overall performance. If a model only uses "stone on road" rather than "blocking" to describe an image, it is easy to misunderstand the scene. We argue that this phenomenon is caused by two key imbalances between informative predicates and common ones, i.e., semantic space level imbalance and training sample level imbalance. To tackle this problem, we propose BA-SGG, a simple yet effective SGG framework based on balance adjustment but not the conventional distribution fitting. It integrates two components: Semantic Adjustment (SA) and Balanced Predicate Learning (BPL), respectively for adjusting these imbalances. Benefited from the model-agnostic process, our method is easily applied to the state-of-the-art SGG models and significantly improves the SGG performance. Our method achieves 14.3%, 8.0%, and 6.1% higher Mean Recall (mR) than that of the Transformer model at three scene graph generation sub-tasks on Visual Genome, respectively. Codes are publicly available.


title: Offset-locking-based frequency stabilization of external cavity diode lasers for long-distance quantum communication

abstract: Quantum repeaters are required for long-distance quantum communication. For efficient coupling of quantum entangled photon sources with narrow-linewidth quantum memories we performed the frequency stabilization of two lasers at 1514 and 1010 nm. The 1514 nm pump laser of the entangled photon source exhibited a frequency stability of 3.6 \times 10^{-12} (\tau = 1 s). The 1010 nm pump laser of the wavelength conversion system exhibited a frequency stability of 3.4 \times 10^{-12} (\tau = 1 s). The stabilities of both lasers were approximately two orders of magnitude smaller than the frequency width of 4 MHz of the Pr:YSO quantum memory. Such frequency-stabilized lasers can realize the remote coupling of a quantum memory and an entangled photon source in quantum repeaters.


title: Hyperon dynamics and production of multi-strangeness hypernuclei in heavy-ion collisions at 3A GeV

abstract: Within the microscopic transport, systematic investigation of the many facets of hyperons and hypernuclei up to strangeness $S = -2$ are carried out for $^{197}$Au + $^{197}$Au and $^{40}$Ca + $^{40}$Ca at the incident energy of $3A$ GeV. The spatial, temporal and density distributions of hyperon production, absorption and freeze-out are thoroughly investigated. The rapidity and kinetic energy spectra of $\Xi$ hyperons and double $\Lambda$ hypernuclei are analyzed. It is revealed that the chemical balance of hyperon production is established in baryon-baryon channels while the opposite is found in baryon-meson channels. It turns out that the rapidity spectra of $^{4,5}_{\Lambda\Lambda}$X are single-peak and more than two orders of magnitude lower than that of $^{3}_{\Lambda}$H. Formation of double $\Lambda$ hypernuclei through $\Xi$ hypernuclei as intermediate states is also discussed in kinematics.


title: The ternary Goldbach problem with a prime with a missing digit and primes of special types

abstract: Let $$\gamma^*:=\frac{8}{9}+\frac{2}{3}\:\frac{\log(10/9)}{\log 10}\:(\approx 0.919\ldots)\:,\ \gamma^*<\frac{1}{c_0}\leq 1\:.$$ Let $\gamma^*<\gamma_0\leq 1$, $c_0=1/\gamma_0$ be fixed. Let also $a_0\in\{0,1,\ldots, 9\}$. In [23] we proved on assumption of the Generalized Riemann Hypothesis (GRH), that each sufficiently large odd integer $N_0$ can be represented in the form $$N_0=p_1+p_2+p_3\:,$$ where for $i=2, 3$ the primes $p_i$ are Piatetski-Shapiro primes - primes of the form $p_i=[n_i^{c_0}]$, $n_i\in\mathbb{N}$ - whereas the decimal expansion of $p_1$ does not contain the digit $a_0$. In this paper we replace one of the Piatetski-Shapiro primes $p_2$ and $p_3$ by primes of the type $$p=x^2+y^2+1\:.$$


title: Five loop renormalization of the Wess-Zumino model

abstract: We renormalize the Wess-Zumino model at five loops in both the minimal subtraction (MSbar) and momentum subtraction (MOM) schemes. The calculation is carried out automatically using a routine that performs the D-algebra. Generalizations of the model to include $O(N)$ symmetry as well as the case with real and complex tensor couplings are also considered. We confirm that the emergent SU(3) symmetry of six dimensional O(N) phi^3 theory is also a property of the tensor O(N) model. With the new loop order precision we compute critical exponents in the epsilon expansion for several of these generalizations as well as the XYZ model in order to compare with conformal bootstrap estimates in three dimensions. For example at five loops our estimate for the correction to scaling exponent is in very good agreement for the Wess-Zumino model which equates to the emergent supersymmetric fixed point of the Gross-Neveu-Yukawa model. We also compute the rational number that is part of the six loop MSbar beta-function.


title: Factual Consistency Evaluation for Text Summarization via Counterfactual Estimation

abstract: Despite significant progress has been achieved in text summarization, factual inconsistency in generated summaries still severely limits its practical applications. Among the key factors to ensure factual consistency, a reliable automatic evaluation metric is the first and the most crucial one. However, existing metrics either neglect the intrinsic cause of the factual inconsistency or rely on auxiliary tasks, leading to an unsatisfied correlation with human judgments or increasing the inconvenience of usage in practice. In light of these challenges, we propose a novel metric to evaluate the factual consistency in text summarization via counterfactual estimation, which formulates the causal relationship among the source document, the generated summary, and the language prior. We remove the effect of language prior, which can cause factual inconsistency, from the total causal effect on the generated summary, and provides a simple yet effective way to evaluate consistency without relying on other auxiliary tasks. We conduct a series of experiments on three public abstractive text summarization datasets, and demonstrate the advantages of the proposed metric in both improving the correlation with human judgments and the convenience of usage. The source code is available at https://github.com/xieyxclack/factual_coco.


title: Derived deformation rings allowing congruences]{Derived deformation rings allowing congruences

abstract: We generalize a result of Galatius and Venkatesh which relates the graded module of cohomology of locally symmetric spaces to the graded homotopy ring of the derived Galois deformation rings, by removing certain assumptions, and in particular by allowing congruences inside the localized Hecke algebra.


title: Early Matter Domination from Long-Lived Particles in the Visible Sector

abstract: We show that a nonstandard cosmological history with a period of early matter domination driven by a sub-TeV visible-sector particle can arise rather naturally. This scenario involves a long-lived standard model singlet that acquires a thermal abundance at high temperatures from decays and inverse decays of a parent particle with SM charge(s), and subsequently dominates the energy density of the Universe as a frozen species. Entropy generation at the end of early matter domination dilutes the abundance of dangerous relics (such as gravitinos) by a factor as large as $10^4$. The scenario can accommodate the correct dark matter relic abundance for cases with $\langle \sigma_{\rm ann} v \rangle_{\rm f} \lessgtr 3 \times 10^{-26}$cm$^3$s$^{-1}$. More importantly, the allowed parameter space can be directly probed by proposed searches for neutral long-lived particles at the energy frontier, allowing us to use particle physics experiments to reconstruct the cosmological history just prior to big bang nucleosynthesis.


title: Multiscale modeling of inelastic materials with Thermodynamics-based Artificial Neural Networks (TANN)

abstract: The mechanical behavior of inelastic materials with microstructure is very complex and hard to grasp with heuristic, empirical constitutive models. For this purpose, multiscale, homogenization approaches are often used for performing reliable, accurate predictions of the macroscopic mechanical behavior of solids and structures. Nevertheless, the calculation cost of such approaches is extremely high and prohibitive for real-scale applications involving inelastic materials. Here, we propose the so-called Thermodynamics-based Artificial Neural Networks (TANN) for the constitutive modeling of materials with inelastic and complex microstructure. Our approach integrates thermodynamics-aware dimensionality reduction techniques and thermodynamics-based deep neural networks to identify, in an autonomous way, the constitutive laws and discover the internal state variables of complex inelastic materials. The efficiency and accuracy of TANN in predicting the average and local stress-strain response, the free-energy and the dissipation rate is demonstrated for both regular and perturbed two- and three-dimensional lattice microstructures in inelasticity. TANN manage to identify the internal state variables that characterize the inelastic deformation of the complex microstructural fields. These internal state variables are then used to reconstruct the microdeformation fields of the microstructure at a given state. Finally, a double-scale homogenization scheme (FEMxTANN) is used to solve a large scale boundary value problem. The high performance of the homogenized model using TANN is illustrated through detailed comparisons with microstructural calculations at large scale. An excellent agreement is shown for a variety of monotonous and cyclic stress-strain paths.

categories: cond-mat.mtrl-sci cs.CE cs.LG physics.comp-ph


title: Neuron-level Interpretation of Deep NLP Models: A Survey

abstract: The proliferation of deep neural networks in various domains has seen an increased need for interpretability of these models. Preliminary work done along this line and papers that surveyed such, are focused on high-level representation analysis. However, a recent branch of work has concentrated on interpretability at a more granular level of analyzing neurons within these models. In this paper, we survey the work done on neuron analysis including: i) methods to discover and understand neurons in a network, ii) evaluation methods, iii) major findings including cross architectural comparisons that neuron analysis has unraveled, iv) applications of neuron probing such as: controlling the model, domain adaptation etc., and v) a discussion on open issues and future research directions.


title: CSDS: A Fine-Grained Chinese Dataset for Customer Service Dialogue Summarization

abstract: Dialogue summarization has drawn much attention recently. Especially in the customer service domain, agents could use dialogue summaries to help boost their works by quickly knowing customer's issues and service progress. These applications require summaries to contain the perspective of a single speaker and have a clear topic flow structure, while neither are available in existing datasets. Therefore, in this paper, we introduce a novel Chinese dataset for Customer Service Dialogue Summarization (CSDS). CSDS improves the abstractive summaries in two aspects: (1) In addition to the overall summary for the whole dialogue, role-oriented summaries are also provided to acquire different speakers' viewpoints. (2) All the summaries sum up each topic separately, thus containing the topic-level structure of the dialogue. We define tasks in CSDS as generating the overall summary and different role-oriented summaries for a given dialogue. Next, we compare various summarization methods on CSDS, and experiment results show that existing methods are prone to generate redundant and incoherent summaries. Besides, the performance becomes much worse when analyzing the performance on role-oriented summaries and topic structures. We hope that this study could benchmark Chinese dialogue summarization and benefit further studies.


title: DuTrust: A Sentiment Analysis Dataset for Trustworthiness Evaluation

abstract: While deep learning models have greatly improved the performance of most artificial intelligence tasks, they are often criticized to be untrustworthy due to the black-box problem. Consequently, many works have been proposed to study the trustworthiness of deep learning. However, as most open datasets are designed for evaluating the accuracy of model outputs, there is still a lack of appropriate datasets for evaluating the inner workings of neural networks. The lack of datasets obviously hinders the development of trustworthiness research. Therefore, in order to systematically evaluate the factors for building trustworthy systems, we propose a novel and well-annotated sentiment analysis dataset to evaluate robustness and interpretability. To evaluate these factors, our dataset contains diverse annotations about the challenging distribution of instances, manual adversarial instances and sentiment explanations. Several evaluation metrics are further proposed for interpretability and robustness. Based on the dataset and metrics, we conduct comprehensive comparisons for the trustworthiness of three typical models, and also study the relations between accuracy, robustness and interpretability. We release this trustworthiness evaluation dataset at \url{https://github/xyz} and hope our work can facilitate the progress on building more trustworthy systems for real-world applications.


title: Robust Privacy-Preserving Motion Detection and Object Tracking in Encrypted Streaming Video

abstract: Video privacy leakage is becoming an increasingly severe public problem, especially in cloud-based video surveillance systems. It leads to the new need for secure cloud-based video applications, where the video is encrypted for privacy protection. Despite some methods that have been proposed for encrypted video moving object detection and tracking, none has robust performance against complex and dynamic scenes. In this paper, we propose an efficient and robust privacy-preserving motion detection and multiple object tracking scheme for encrypted surveillance video bitstreams. By analyzing the properties of the video codec and format-compliant encryption schemes, we propose a new compressed-domain feature to capture motion information in complex surveillance scenarios. Based on this feature, we design an adaptive clustering algorithm for moving object segmentation with an accuracy of 4x4 pixels. We then propose a multiple object tracking scheme that uses Kalman filter estimation and adaptive measurement refinement. The proposed scheme does not require video decryption or full decompression and has a very low computation load. The experimental results demonstrate that our scheme achieves the best detection and tracking performance compared with existing works in the encrypted and compressed domain. Our scheme can be effectively used in complex surveillance scenarios with different challenges, such as camera movement/jitter, dynamic background, and shadows.


title: Soft quantum waveguides in three dimensions

abstract: We discuss a three-dimensional soft quantum waveguide, in other words, Schr\"odinger operator in $\R^3$ with an attractive potential supported by an infinite tube and keeping its transverse profile fixed. We show that if the tube is asymptotically straight, the distance between its ends is unbounded, and its twist satisfies the so-called Tang condition, the esential spectrum is not affected by smooth bends. Furthermore, we derive a sufficient condition, expressed in terms of the tube geometry, for the discrete spectrum of such an operator to be nonempty.


title: Probing many-body systems near spectral degeneracies

abstract: The diagonal elements of the time correlation matrix are used to probe closed quantum systems that are measured at random times. This enables us to extract two distinct parts of the quantum evolution, a recurrent part and an exponentially decaying part. This separation is strongly affected when spectral degeneracies occur, for instance, in the presence of spontaneous symmetry breaking. Moreover, the slowest decay rate is determined by the smallest energy level spacing, and this decay rate diverges at the spectral degeneracies. Probing the quantum evolution with the diagonal elements of the time correlation matrix is discussed as a general concept and tested in the case of a bosonic Josephson junction. It reveals for the latter characteristic properties at the transition to Hilbert-space localization.


title: Complete $SE(3)$ invariants for a comeagre set of $C^3$ compact orientable surfaces in $\mathbb{R}^3$

abstract: We introduce invariants for compact $C^1$-orientable surfaces (with boundary) in $\mathbb{R}^3$ up to rigid transformations. Our invariants are certain degree four polynomials in the moments of the delta function of the surface. We give an effective and numerically stable inversion algorithm for retrieving the surface from the invariants, which works on a comeagre subset of $C^3$-surfaces.


title: Revisiting Generalizations of the Dehn--Sommerville Relations

abstract: We revisit several known versions of the Dehn--Sommerville relations in the context of: homology manifolds, semi-Eulerian complexes, general simplicial complexes, balanced semi-Eulerian complexes and general completely balanced complexes. In addition, we present Dehn--Sommerville relations for reciprocal complexes and general balanced simplicial complexes; which slightly generalize some of the previous results. Our proofs are uniform, and are based on two simple evaluations of the $\tilde h$-polynomial: one that recovers the $\tilde f$-polynomial, and one that counts faces according to certain multiplicities.


title: Additive energy of cyclic matrix groups and character sums with matrix exponential functions

abstract: We obtain a nontrivial bound on the number of solutions to the equation $A^{x_1} + A^{x_2} = A^{x_3} + A^{x_4}$, $1 \le x_1,x_2,x_3,x_4 \le \tau$, with a fixed $n\times n$ matrix $A$ over a finite field ${\mathbb F}_q$ of $q$ elements of multiplicative order $\tau$. For $n=2$ this equation has been considered by Kurlberg and Rudnick (2001) in their study of quantum ergodicity for linear maps over ${\mathbb F}_q$. Furthermore, its multivariate analogue (also with $n=2$) has been studied by Bourgain (2005). We give applications of our result to obtaining a new bound of additive character sums with a matrix exponential function, which is nontrivial beyond the square-root threshold, and also to a certain additive problem with matrices. Our results are especially strong for ${\rm SL}(n,q)$ matrices with an irreducible characteristic polynomial.


title: Functional Data Representation with Merge Trees

abstract: In this paper we face the problem of representation of functional data with the tools of algebraic topology. We represent functions by means of merge trees and this representation is compared with that offered by persistence diagrams. We show that these two structures, although not equivalent, are both invariant under homeomorphic re-parametrizations of the functions they represent, thus allowing for a statistical analysis which is indifferent to functional misalignment. We employ a novel metric for merge trees and we prove some theoretical results related to its specific implementation when merge trees represent functions. To showcase the good properties of our topological approach to functional data analysis, we test it on the Aneurisk65 dataset replicating, from our different perspective, the supervised classification analysis which contributed to make this dataset a benchmark for methods dealing with misaligned functional data.


title: Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System

abstract: Modern network-on-chip (NoC) systems face reliability issues due to process and environmental variations. The power supply noise (PSN) in the power delivery network of a NoC plays a key role in determining reliability. PSN leads to voltage droop, which can cause timing errors in the NoC. This paper makes a novel contribution towards formally analyzing PSN in NoC systems. We present a probabilistic model checking approach to observe the PSN in a generic 2x2 mesh NoC with a uniform random traffic load. Key features of PSN are measured at the behavioral level. To tackle state explosion, we apply incremental abstraction techniques, including a novel probabilistic choice abstraction, based on observations of NoC behavior. The Modest Toolset is used for probabilistic modeling and verification. Results are obtained for several flit injection patterns to reveal their impacts on PSN. Our analysis finds an optimal flit pattern generation with zero probability of PSN events and suggests spreading flits rather than releasing them in consecutive cycles in order to minimize PSN.


title: An Optimization of Fractal Microstrip Patch Antenna with Partial Ground using Genetic Algorithm Method

abstract: Ultra-wideband is increasingly advancing as a high data rate wireless technology after the Federal Communication Commission announced the bandwidth of 7.5 GHz (from 3.1 GHz to 10.6 GHz) for ultra-wideband applications. Furthermore, designing a UWB antenna faces more difficulties than designing a narrow band antenna. A suitable UWB antenna should be able to work over the Federal Communication Commission of ultra-wide bandwidth allocation. Furthermore, good radiation properties across the entire frequency spectrum are needed. This paper outlines an optimization of fractal square microstrip patch antenna with the partial ground using a genetic algorithm at 3.5 GHz and 6 GHz. The optimized antenna design shows improved results compared to the non-optimized design. This design is optimized using a genetic algorithm and simulated using CST simulation software. The size of the optimized design is reduced by cutting the edges and the center of the patch. The optimized results reported, and concentrated on the rerun loss, VSWR and gain. The results indicate a significant enhancement as is illustrated in Table II. Thus, the optimized design is suitable for S-band and C-band applications.


title: Transient Analysis for Resonant Beam Charging and Communication

abstract: High communication speed and sufficient energy supply are the directions of technological development. Energy and information available anywhere and anytime has always been people's good wishes. On this basis, resonant beam system (RBS) has demonstrated its unique superiority in meeting the needs for energy and communication. The previous work has mostly focused on the analysis of charging performance of RBS and its steady-state characteristics. In order to analyze the communication performance of RBS more thoroughly, we propose a resonant beam charging and communication (RBCC) system and use the equivalent circuit analysis method to conduct transient analysis on it. The equivalent circuit reveals the dynamic establishment process of the resonant beam from scratch, which facilitates the analysis of the relaxation oscillation process and a deeper understanding of the energy transmission and communication performance. In addition, we explore the energy transmission and communication performance of the RBCC under different energy allocation strategies.


title: Solving the puzzle of high temperature light (anti)-nuclei production in ultra-relativistic heavy ion collisions

abstract: The creation of loosely bound objects in heavy ion collisions, e.g. light clusters, near the phase transition temperature $\left(T_{\rm ch} \approx 155 \, \rm{MeV} \right)$ has been a puzzling observation that seems to be at odds with Big Bang nucleosynthesis suggesting that deuterons and other clusters are formed only below a temperature $T\approx 0.1-1 \, \text{MeV}$. We solve this puzzle by showing that the light cluster abundancies in heavy ion reactions stay approximately constant from chemical freeze-out to kinetic freeze-out. To this aim we develop an extensive network of coupled reaction rate equations including stable hadrons and hadronic resonances to describe the temporal evolution of the abundancies of light (anti-)(hyper-)nuclei in the late hadronic environment of an ultrarelativistic heavy ion collision. It is demonstrated that the chemical equilibration of the light nuclei occurs on a very short timescale as a consequence of the strong production and dissociation processes. However, because of the partial chemical equilibrium of the stable hadrons, including the nucleon feeding from $\Delta$ resonances, the abundancies of the light nuclei stay nearly constant during the evolution and cooling of the hadronic phase. This solves the longstanding contradiction between the thermal fits and the late stage coalescence (and the Big Bang nucleosynthesis) and explains why the observed light cluster yields are compatible with both a high chemical production temperature and a late state emission as modelled by coalescence. We also note in passing that the abundancies of the light clusters in the present approach are in excellent agreement with those measured by ALICE at LHC.


title: On the Smallest Non-trivial Action of SAut(Fn) for Small n

abstract: In this paper we investigate actions of $\operatorname{SAut}(F_n)$, the unique index $2$ subgroup of $\operatorname{Aut}(F_n)$, on small sets, improving upon results by Baumeister--Kielak--Pierro for several small values of $n$. Using a computational approach for $n \geqslant 5$, we show that every action of $\operatorname{SAut}(F_n)$ on a set containing fewer than $18$ elements is trivial.


title: LIGAR: Lightweight General-purpose Action Recognition

abstract: Growing amount of different practical tasks in a video understanding problem has addressed the great challenge aiming to design an universal solution, which should be available for broad masses and suitable for the demanding edge-oriented inference. In this paper we are focused on designing a network architecture and a training pipeline to tackle the mentioned challenges. Our architecture takes the best from the previous ones and brings the ability to be successful not only in appearance-based action recognition tasks but in motion-based problems too. Furthermore, the induced label noise problem is formulated and Adaptive Clip Selection (ACS) framework is proposed to deal with it. Together it makes the LIGAR framework the general-purpose action recognition solution. We also have reported the extensive analysis on the general and gesture datasets to show the excellent trade-off between the performance and the accuracy in comparison to the state-of-the-art solutions. Training code is available at: https://github.com/openvinotoolkit/training_extensions. For the efficient edge-oriented inference all trained models can be exported into the OpenVINO format.


title: Towards Secure Wireless Mesh Networks for UAV Swarm Connectivity: Current Threats, Research, and Opportunities

abstract: UAVs are increasingly appearing in swarms or formations to leverage cooperative behavior, forming flying ad hoc networks. These UAV-enabled networks can meet several complex mission requirements and are seen as a potential enabler for many of the emerging use-cases in future communication networks. Such networks, however, are characterized by a highly dynamic and mobile environment with no guarantee of a central network infrastructure which can cause both connectivity and security issues. While wireless mesh networks are envisioned as a solution for such scenarios, these networks come with their own challenges and security vulnerabilities. In this paper, we analyze the key security and resilience issues resulting from the application of wireless mesh networks within UAV swarms. Specifically, we highlight the main challenges of applying current mesh technologies within the domain of UAV swarms and expose existing vulnerabilities across the communication stack. Based on this analysis, we present a security-focused architecture for UAV mesh communications. Finally, from the identification of these vulnerabilities, we discuss research opportunities posed by the unique challenges of UAV swarm connectivity.


title: Individual and population approaches for calibrating division rates in population dynamics: Application to the bacterial cell cycle

abstract: Modelling, analysing and inferring triggering mechanisms in population reproduction is fundamental in many biological applications. It is also an active and growing research domain in mathematical biology. In this chapter, we review the main results developed over the last decade for the estimation of the division rate in growing and dividing populations in a steady environment. These methods combine tools borrowed from PDE's and stochastic processes, with a certain view that emerges from mathematical statistics. A focus on the application to the bacterial cell division cycle provides a concrete presentation, and may help the reader to identify major new challenges in the field.


title: MonTrees: Automated Detection and Classification of Networking Anomalies in Cellular Networks

abstract: The active growth and dynamic nature of cellular networks makes network troubleshooting challenging. Identification of network problems leveraging on machine learning has gained a lot of visibility in the past few years, resulting in dramatically improved cellular network services. In this paper, we present a novel methodology to automate the fault identification process in a cellular network and to classify network anomalies, which combines supervised and unsupervised machine learning algorithms. Our experiments using real data from operational commercial mobile networks obtained through drive-test measurements as well as via the MONROE platform show that our method can automatically identify and classify networking anomalies, thus enabling timely and precise troubleshooting actions.


title: DQLEL: Deep Q-Learning for Energy-Optimized LoS/NLoS UWB Node Selection

abstract: Recent advancements in Internet of Things (IoTs) have brought about a surge of interest in indoor positioning for the purpose of providing reliable, accurate, and energy-efficient indoor navigation/localization systems. Ultra Wide Band (UWB) technology has been emerged as a potential candidate to satisfy the aforementioned requirements. Although UWB technology can enhance the accuracy of indoor positioning due to the use of a wide-frequency spectrum, there are key challenges ahead for its efficient implementation. On the one hand, achieving high precision in positioning relies on the identification/mitigation Non Line of Sight (NLoS) links, leading to a significant increase in the complexity of the localization framework. On the other hand, UWB beacons have a limited battery life, which is especially problematic in practical circumstances with certain beacons located in strategic positions. To address these challenges, we introduce an efficient node selection framework to enhance the location accuracy without using complex NLoS mitigation methods, while maintaining a balance between the remaining battery life of UWB beacons. Referred to as the Deep Q-Learning Energy-optimized LoS/NLoS (DQLEL) UWB node selection framework, the mobile user is autonomously trained to determine the optimal set of UWB beacons to be localized based on the 2-D Time Difference of Arrival (TDoA) framework. The effectiveness of the proposed DQLEL framework is evaluated in terms of the link condition, the deviation of the remaining battery life of UWB beacons, location error, and cumulative rewards. Based on the simulation results, the proposed DQLEL framework significantly outperformed its counterparts across the aforementioned aspects.


title: Exploring Channel Probing to Determine Coherent Optical Transponder Configurations in a Long-Haul Network

abstract: We use channel probing to determine the best transponder configurations for spectral services in a long-haul production network. An estimation accuracy better than +/- 0,7dB in GSNR margin is obtained for lightpaths up to 5738km.


title: A Dynamic Game Approach to Designing Secure Interdependent IoT-Enabled Infrastructure Network

abstract: The emerging Internet of Things (IoT) applications that leverage ubiquitous connectivity and big data are facilitating the realization of smart everything initiatives. IoT-enabled infrastructures have naturally a multi-layer system architecture with an overlaid or underlaid device network and its coexisting infrastructure network. The connectivity between different components in these two heterogeneous interdependent networks plays an important role in delivering real-time information and ensuring a high-level situational awareness. However, IoT-enabled infrastructures face cyber threats due to the wireless nature of communications. Therefore, maintaining network connectivity in the presence of adversaries is a critical task for infrastructure network operators. In this paper, we establish a three-player three-stage dynamic game-theoretic framework including two network operators and one attacker to capture the secure design of multi-layer interdependent infrastructure networks by allocating limited resources. We use subgame perfect Nash equilibrium (SPE) to characterize the strategies of players with sequential moves. In addition, we assess the efficiency of the equilibrium network by comparing with its team optimal solution counterparts in which two network operators can coordinate. We further design a scalable algorithm to guide the construction of the equilibrium IoT-enabled infrastructure networks. Finally, we use case studies on the emerging paradigm of the Internet of Battlefield Things (IoBT) to corroborate the obtained results.


title: NOMA Assisted Multi-MEC Offloading for IoVT Networks

abstract: Nowadays, Internet of Video Things (IoVT) grows rapidly in terms of quantity and computation demands. In spite of the higher local computation capability on visual processing compared with conventional Internet of Things devices, IoVT devices need to offload partial visual processing tasks to the mobile edge computing (MEC) server wirelessly due to its larger computation demands. However, visual processing task offloading is limited by uplink throughput and computation capability of the MEC server. To break through these limitations, a novel non-orthogonal multiple access (NOMA) assisted IoVT framework with multiple MEC servers is proposed, where NOMA is exploited to improve uplink throughput and MEC servers are co-located with base stations to provide enough computation capability for offloading. In the proposed framework, the association strategy, uplink visual data transmission assisted by NOMA and division of the visual processing tasks as well as computation resource allocation at the MEC servers are jointly optimized to minimize the total delay of all visual processing tasks, while meeting the delay requirements of all IoVT devices. Simulation results demonstrate that significant performance gains can be achieved by proposed joint optimization with NOMA transmission and multi-MEC offloading in the heterogeneous IoVT network.


title: Differentiable Prompt Makes Pre-trained Language Models Better Few-shot Learners

abstract: Large-scale pre-trained language models have contributed significantly to natural language processing by demonstrating remarkable abilities as few-shot learners. However, their effectiveness depends mainly on scaling the model parameters and prompt design, hindering their implementation in most real-world applications. This study proposes a novel pluggable, extensible, and efficient approach named DifferentiAble pRompT (DART), which can convert small language models into better few-shot learners without any prompt engineering. The main principle behind this approach involves reformulating potential natural language processing tasks into the task of a pre-trained language model and differentially optimizing the prompt template as well as the target label with backpropagation. Furthermore, the proposed approach can be: (i) Plugged to any pre-trained language models; (ii) Extended to widespread classification tasks. A comprehensive evaluation of standard NLP tasks demonstrates that the proposed approach achieves a better few-shot performance. Code is available in https://github.com/zjunlp/DART.


title: Parallel Sub-Structuring Methods for solving Sparse Linear Systems on a cluster of GPU

abstract: The main objective of this work consists in analyzing sub-structuring method for the parallel solution of sparse linear systems with matrices arising from the discretization of partial differential equations such as finite element, finite volume and finite difference. With the success encountered by the general-purpose processing on graphics processing units (GPGPU), we develop an hybrid multiGPUs and CPUs sub-structuring algorithm. GPU computing, with CUDA, is used to accelerate the operations performed on each processor. Numerical experiments have been performed on a set of matrices arising from engineering problems. We compare C+MPI implementation on classical CPU cluster with C+MPI+CUDA on a cluster of GPU. The performance comparison shows a speed-up for the sub-structuring method up to 19 times in double precision by using CUDA.


title: An introduction to fractional calculus: Numerical methods and application to HF dielectric response

abstract: The aim of this work is to introduce the main concepts of Fractional Calculus, followed by one of its application to classical electrodynamics, illustrating how non-locality can be interpreted naturally in a fractional scenario. In particular, a result relating fractional dynamics to high frequency dielectric response is used as motivation. In addition to the theoretical discussion, a comprehensive review of two numerical procedures for fractional integration is carried out, allowing one immediately to build numerical models applied to high frequency electromagnetics and correlated fields.


title: Applications and challenges of Reconfigurable Intelligent Surface for 6G networks

abstract: Reconfigurable intelligent surface has attracted the attention of academia and industry as soon as it appears because it can flexibly manipulate the electromagnetic characteristics of wireless channel. Especially in the past one or two years, RIS has been developing rapidly in academic research and industry promotion and is one of the key candidate technologies for 5G-Advanced and 6G networks. RIS can build a smart radio environment through its ability to regulate radio wave transmission in a flexible way. The introduction of RIS may create a new network paradigm, which brings new possibilities to the future network, but also leads to many new challenges in the technological and engineering applications. This paper first introduces the main aspects of RIS enabled wireless communication network from a new perspective, and then focuses on the key challenges faced by the introduction of RIS. This paper briefly summarizes the main engineering application challenges faced by RIS networks, and further analyzes and discusses several key technical challenges among of them in depth, such as channel degradation, network coexistence, network coexistence and network deployment, and proposes possible solutions.