title: An analytic solution for evaluating the magnetic field induced from an arbitrary, asymmetric ocean world

abstract: Magnetic investigations of icy moons have provided some of the most compelling evidence available confirming the presence of subsurface, liquid water oceans. In the exploration of ocean moons, especially Europa, there is a need for mathematical models capable of predicting the magnetic fields induced under a variety of conditions, including in the case of asymmetric oceans. Existing models are limited to either spherical symmetry or assume an ocean with infinite conductivity. In this work, we derive an analytic result capable of determining the induced magnetic moments for an arbitrary, layered body. Crucially, we find that degree-2 tidal deformation results in changes to the induced dipole moments. We demonstrate application of our results to models of plausible asymmetry from the literature within the oceans of Europa and Miranda and the ionospheres of Callisto and Triton. For the models we consider, we find that in the asymmetric case, the induced magnetic field differs by more than 2 nT near the surface of Europa, 0.25$-$0.5 nT at 1 $R$ above Miranda and Triton, and is essentially unchanged for Callisto. For Miranda and Triton, this difference is as much as 20$-$30% of the induced field magnitude. If measurements near the moons can be made precisely to better than a few tenths of a nT, these values may be used by future spacecraft investigations to characterize asymmetry within the interior of icy moons.


title: DisenHAN: Disentangled Heterogeneous Graph Attention Network for Recommendation

abstract: Heterogeneous information network has been widely used to alleviate sparsity and cold start problems in recommender systems since it can model rich context information in user-item interactions. Graph neural network is able to encode this rich context information through propagation on the graph. However, existing heterogeneous graph neural networks neglect entanglement of the latent factors stemming from different aspects. Moreover, meta paths in existing approaches are simplified as connecting paths or side information between node pairs, overlooking the rich semantic information in the paths. In this paper, we propose a novel disentangled heterogeneous graph attention network DisenHAN for top-$N$ recommendation, which learns disentangled user/item representations from different aspects in a heterogeneous information network. In particular, we use meta relations to decompose high-order connectivity between node pairs and propose a disentangled embedding propagation layer which can iteratively identify the major aspect of meta relations. Our model aggregates corresponding aspect features from each meta relation for the target user/item. With different layers of embedding propagation, DisenHAN is able to explicitly capture the collaborative filtering effect semantically. Extensive experiments on three real-world datasets show that DisenHAN consistently outperforms state-of-the-art approaches. We further demonstrate the effectiveness and interpretability of the learned disentangled representations via insightful case studies and visualization.


title: Schr{\"o}dinger-F{\"o}llmer Sampler: Sampling without Ergodicity

abstract: Sampling from probability distributions is an important problem in statistics and machine learning, specially in Bayesian inference when integration with respect to posterior distribution is intractable and sampling from the posterior is the only viable option for inference. In this paper, we propose Schr\"{o}dinger-F\"{o}llmer sampler (SFS), a novel approach for sampling from possibly unnormalized distributions. The proposed SFS is based on the Schr\"{o}dinger-F\"{o}llmer diffusion process on the unit interval with a time dependent drift term, which transports the degenerate distribution at time zero to the target distribution at time one. Comparing with the existing Markov chain Monte Carlo samplers that require ergodicity, no such requirement is needed for SFS. Computationally, SFS can be easily implemented using the Euler-Maruyama discretization. In theoretical analysis, we establish non-asymptotic error bounds for the sampling distribution of SFS in the Wasserstein distance under suitable conditions. We conduct numerical experiments to evaluate the performance of SFS and demonstrate that it is able to generate samples with better quality than several existing methods.


title: Efficient classical computation of expectation values in a class of quantum circuits with an epistemically restricted phase space representation

abstract: We devise a classical algorithm which efficiently computes the quantum expectation values arising in a class of continuous variable quantum circuits wherein the final quantum observable | after the Heisenberg evolution associated with the circuits | is at most second order in momentum. The classical computational algorithm exploits a specific epistemic restriction in classical phase space which directly captures the quantum uncertainty relation, to transform the quantum circuits in the complex Hilbert space into classical albeit unconventional stochastic processes in the phase space. The resulting multidimensional integral is then evaluated using the Monte Carlo sampling method. The work shows that for the specific class of computational schemes, Wigner negativity is not a sufficient resource for quantum speedup. It highlights the potential role of the epistemic restriction as an intuitive conceptual tool which may be used to study the boundary between quantum and classical computations.


title: Affect-driven Ordinal Engagement Measurement from Video

abstract: In education and intervention programs, user engagement has been identified as a major factor in successful program completion. Automatic measurement of user engagement provides helpful information for instructors to meet program objectives and individualize program delivery. In this paper, we present a novel approach for video-based engagement measurement in virtual learning programs. We propose to use affect states, continuous values of valence and arousal extracted from consecutive video frames, along with a new latent affective feature vector and behavioral features for engagement measurement. Deep-learning sequential models are trained and validated on the extracted frame-level features. In addition, due to the fact that engagement is an ordinal variable, we develop the ordinal versions of the above models in order to address the problem of engagement measurement as an ordinal classification problem. We evaluated the performance of the proposed method on the only two publicly available video engagement measurement datasets, DAiSEE and EmotiW-EW, containing videos of students in online learning programs. Our experiments show a state-of-the-art engagement level classification accuracy of 67.4% on the DAiSEE dataset, and a regression mean squared error of 0.0508 on the EmotiW-EW dataset. Our ablation study shows the effectiveness of incorporating affect states and ordinality of engagement in engagement measurement.


title: Non-pluripolar energy and the complex Monge-Amp\`ere operator

abstract: Given a domain $\Omega\subset \mathbf C^n$ we introduce a class of plurisubharmonic (psh) functions $\mathcal G(\Omega)$ and Monge-Amp\`ere operators $u\mapsto [dd^c u]^p$, $p\leq n$, on $\mathcal G(\Omega)$ that extend the Bedford-Taylor-Demailly Monge-Amp\`ere operators. Here $[dd^c u]^p$ is a closed positive current of bidegree $(p,p)$ that dominates the non-pluripolar Monge-Amp\`ere current $\langle dd^c u\rangle^p$. We prove that $[dd^c u]^p$ is the limit of Monge-Amp\`ere currents of certain natural regularizations of $u$. On a compact K\"ahler manifold $(X, \omega)$ we introduce a notion of non-pluripolar energy and a corresponding finite energy class $\mathcal G(X, \omega)\subset \text{PSH}(X, \omega)$ that is a global version of $\mathcal G(\Omega)$. From the local construction we get global Monge-Amp\`ere currents $[dd^c \varphi + \omega]^p$ for $\varphi\in \mathcal G(X,\omega)$ that only depend on the current $dd^c \varphi+ \omega$. The limits of Monge-Amp\`ere currents of certain natural regularizations of $\varphi$ can be expressed in terms of $[dd^c \varphi + \omega]^j$ for $j\leq p$. We get a mass formula involving the currents $[dd^c \varphi+\omega]^p$ that describes the loss of mass of the non-pluripolar Monge-Amp\`ere measure $\langle dd^c \varphi+\omega\rangle^n$. The class $\mathcal G(X, \omega)$ includes $\omega$-psh functions with analytic singularities and the class $\mathcal E(X, \omega)$ of $\omega$-psh functions of finite energy and certain other convex energy classes, although it is not convex itself.


title: Measurements of Coronal Magnetic Field Strengths in Solar Active Region Loops

abstract: The characteristic electron densities, temperatures, and thermal distributions of 1MK active region loops are now fairly well established, but their coronal magnetic field strengths remain undetermined. Here we present measurements from a sample of coronal loops observed by the Extreme-ultraviolet Imaging Spectrometer (EIS) on Hinode. We use a recently developed diagnostic technique that involves atomic radiation modeling of the contribution of a magnetically induced transition (MIT) to the Fe X 257.262A spectral line intensity. We find coronal magnetic field strengths in the range of 60--150G. We discuss some aspects of these new results in the context of previous measurements using different spectropolarimetric techniques, and their influence on the derived Alfv\'{e}n speeds and plasma $\beta$ in coronal loops.


title: Knowledge Distillation via Instance-level Sequence Learning

abstract: Recently, distillation approaches are suggested to extract general knowledge from a teacher network to guide a student network. Most of the existing methods transfer knowledge from the teacher network to the student via feeding the sequence of random mini-batches sampled uniformly from the data. Instead, we argue that the compact student network should be guided gradually using samples ordered in a meaningful sequence. Thus, it can bridge the gap of feature representation between the teacher and student network step by step. In this work, we provide a curriculum learning knowledge distillation framework via instance-level sequence learning. It employs the student network of the early epoch as a snapshot to create a curriculum for the student network's next training phase. We carry out extensive experiments on CIFAR-10, CIFAR-100, SVHN and CINIC-10 datasets. Compared with several state-of-the-art methods, our framework achieves the best performance with fewer iterations.


title: Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge

abstract: The TARK conference (Theoretical Aspects of Rationality and Knowledge) is a biannual conference that aims to bring together researchers from a wide variety of fields, including computer science, artificial intelligence, game theory, decision theory, philosophy, logic, linguistics, and cognitive science. Its goal is to further our understanding of interdisciplinary issues involving reasoning about rationality and knowledge. Topics of interest include, but are not limited to, semantic models for knowledge, belief, awareness and uncertainty, bounded rationality and resource-bounded reasoning, commonsense epistemic reasoning, epistemic logic, epistemic game theory, knowledge and action, applications of reasoning about knowledge and other mental states, belief revision, and foundations of multi-agent systems. These proceedings contain the papers that have been accepted for presentation at the Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2021), held between June 25 and June 27, 2021, at Tsinghua University at Beijing, China.


title: Trust It or Not: Confidence-Guided Automatic Radiology Report Generation

abstract: Medical imaging plays a pivotal role in diagnosis and treatment in clinical practice. Inspired by the significant progress in automatic image captioning, various deep learning (DL)-based methods have been proposed to generate radiology reports for medical images. Despite promising results, previous works overlook the uncertainties of their models and are thus unable to provide clinicians with the reliability/confidence of the generated radiology reports to assist their decision-making. In this paper, we propose a novel method to explicitly quantify both the visual uncertainty and the textual uncertainty for DL-based radiology report generation. Such multi-modal uncertainties can sufficiently capture the model confidence degree at both the report level and the sentence level, and thus they are further leveraged to weight the losses for more comprehensive model optimization. Experimental results have demonstrated that the proposed method for model uncertainty characterization and estimation can produce more reliable confidence scores for radiology report generation, and the modified loss function, which takes into account the uncertainties, leads to better model performance on two public radiology report datasets. In addition, the quality of the automatically generated reports was manually evaluated by human raters and the results also indicate that the proposed uncertainties can reflect the variance of clinical diagnosis.


title: Basis transform in switched linear system state-space models from input-output data

abstract: This paper addresses the problem of basis correction in the context of LSS identification from input-output data. It is often the case that identification algorithms for the LSSs from input-output data operate locally. The individually identified local submodel estimates reside in distinct state bases, which mandates performing a basis correction that facilitates their coherent patching for the ultimate goal of performing output predictions for arbitrary inputs and switching sequences. We formulate a persistence of excitation condition for the inputs and the switching sequences that guarantee the presented approach's success. These conditions are mild in nature, which proves the practicality of the devised algorithm. We supplement the theoretical findings with an elaborating numerical simulation example.


title: Brain tumor grade classification Using LSTM Neural Networks with Domain Pre-Transforms

abstract: The performance of image classification methodsheavily relies on the high-quality annotations, which are noteasily affordable, particularly for medical data. To alleviate thislimitation, in this study, we propose a weakly supervised imageclassification method based on combination of hand-craftedfeatures. We hypothesize that integration of these hand-craftedfeatures alongside Long short-term memory (LSTM) classifiercan reduce the adverse effects of weak labels in classificationaccuracy. Our proposed algorithm is based on selecting theappropriate domain representations of the data in Wavelet andDiscrete Cosine Transform (DCT) domains. This informationis then fed into LSTM network to account for the sequentialnature of the data. The proposed efficient, low dimensionalfeatures exploit the power of shallow deep learning modelsto achieve higher performance with lower computational cost.In order to show efficacy of the proposed strategy, we haveexperimented classification of brain tumor grades and achievedthe state of the art performance with the resolution of 256 x 256. We also conducted a comprehensive set of experiments toanalyze the effect of each component on the performance.


title: Spectral action and the electroweak $\theta$-terms for the Standard Model without fermion doubling

abstract: We compute the leading terms of the spectral action for a noncommutative geometry model that has no fermion doubling. The spectral triple describing it, which is chiral and allows for CP-symmetry breaking, has the Dirac operator that is not of the product type. Using Wick rotation we derive explicitly the Lagrangian of the model from the spectral action for a flat metric, demonstrating the appearance of the topological $\theta$-terms for the electroweak gauge fields.


title: Open-set Label Noise Can Improve Robustness Against Inherent Label Noise

abstract: Learning with noisy labels is a practically challenging problem in weakly supervised learning. In the existing literature, open-set noises are always considered to be poisonous for generalization, similar to closed-set noises. In this paper, we empirically show that open-set noisy labels can be non-toxic and even benefit the robustness against inherent noisy labels. Inspired by the observations, we propose a simple yet effective regularization by introducing Open-set samples with Dynamic Noisy Labels (ODNL) into training. With ODNL, the extra capacity of the neural network can be largely consumed in a way that does not interfere with learning patterns from clean data. Through the lens of SGD noise, we show that the noises induced by our method are random-direction, conflict-free and biased, which may help the model converge to a flat minimum with superior stability and enforce the model to produce conservative predictions on Out-of-Distribution instances. Extensive experimental results on benchmark datasets with various types of noisy labels demonstrate that the proposed method not only enhances the performance of many existing robust algorithms but also achieves significant improvement on Out-of-Distribution detection tasks even in the label noise setting.


title: Long time behavior of nonlinear electromagnetic wave in vacuum beyond linear approximation

abstract: A quantum nature of vacuum is expected to affect electromagnetic fields in vacuum as a nonlinear correction, yielding nonlinear Maxwell's equations. We extend the finite-difference time-domain (FDTD) method in the case that the nonlinear electromagnetic Lagrangian is quartic with respect to the electric field and magnetic flux density. With this extension, the nonlinear Maxwell's equations can be numerically solved without making any assumptions on the electromagnetic field. We demonstrate examples of self-modulations of nonlinear electromagnetic waves in a one-dimensional cavity, in particular, in a time scale beyond an applicable range of linear approximation. A momentarily small nonlinear correction can accumulate and a comparably large self-modulation can be achieved in a long time scale even though the electromagnetic field is not extremely strong. Further, we analytically approximate the nonlinear electromagnetic waves in the cavity and clarify the characteristics, for example, how an external magnetic flux density changes the self-modulations of phase and polarization.


title: PIANO: A Parametric Hand Bone Model from Magnetic Resonance Imaging

abstract: Hand modeling is critical for immersive VR/AR, action understanding, or human healthcare. Existing parametric models account only for hand shape, pose, or texture, without modeling the anatomical attributes like bone, which is essential for realistic hand biomechanics analysis. In this paper, we present PIANO, the first parametric bone model of human hands from MRI data. Our PIANO model is biologically correct, simple to animate, and differentiable, achieving more anatomically precise modeling of the inner hand kinematic structure in a data-driven manner than the traditional hand models based on the outer surface only. Furthermore, our PIANO model can be applied in neural network layers to enable training with a fine-grained semantic loss, which opens up the new task of data-driven fine-grained hand bone anatomic and semantic understanding from MRI or even RGB images. We make our model publicly available.


title: Properties of functions on a bounded charge space

abstract: A charge space $(X,\mathcal{A},\mu)$ is a generalisation of a measure space, consisting of a sample space $X$, a field of subsets $\mathcal{A}$ and a finitely additive measure $\mu$, also known as a charge. Key properties a real-valued function on $X$ may possess include $T_1$-measurability and integrability. These properties are generalisations of corresponding properties of real-valued functions on a (countably additive) measure space. However, these properties are less well studied than their measure-theoretic counterparts. This paper describes new characterisations of $T_1$-measurability and integrability in the case that the charge space is bounded, that is, $\mu(X) < \infty$. These characterisations are convenient for analytic purposes; for example, they facilitate simple proofs that $T_1$-measurability is equivalent to conventional measurability and integrability is equivalent to Lebesgue integrability, if $(X,\mathcal{A},\mu)$ is a complete measure space. Several additional contributions to the theory of bounded charges are also presented. New characterisations of equality almost everywhere of two real-valued functions on a bounded charge space are provided. Necessary and sufficient conditions for the function space $L_1(X,\mathcal{A},\mu)$ to be a Banach space are determined. Lastly, the concept of completion of a measure space is generalised for charge spaces, and it is shown that under certain conditions, completion of a charge space adds no new equivalence classes to the quotient space $\mathcal{L}_p(X,\mathcal{A},\mu)$.


title: Posets with Interfaces as a Model for Concurrency

abstract: We introduce posets with interfaces (iposets) and generalise their standard serial composition to a new gluing composition. In the partial order semantics of concurrency, interfaces and gluing allow modelling events that extend in time and across components. Alternatively, taking a decompositional view, interfaces allow cutting through events, while serial composition may only cut through edges of a poset. We show that iposets under gluing composition form a category, which generalises the monoid of posets under serial composition up to isomorphism. They form a 2-category when a subsumption order and a lax tensor in the form of a non-commutative parallel composition are added, which generalises the interchange monoids used for modelling series-parallel posets. We also study the gluing-parallel hierarchy of iposets, which generalises the standard series-parallel one. The class of gluing-parallel iposets contains that of series-parallel posets and the class of interval orders, which are well studied in concurrency theory, too. We also show that it is strictly contained in the class of all iposets by identifying several forbidden substructures.


title: Hyperelliptic sigma functions and Adler-Moser polynomials

abstract: In a 2004 paper by V. M. Buchstaber and D. V. Leykin, published in "Functional Analysis and Its Applications," for each $g > 0$, a system of $2g$ multidimensional heat equations in a nonholonomic frame was constructed. The sigma function of the universal hyperelliptic curve of genus $g$ is a solution of this system. In the work arXiv:2007.08966 explicit expressions for the Schr\"odinger operators that define the equations of the system considered were obtained in the hyperelliptic case. In this work we use these results to show that if the initial condition of the system considered is polynomial, then the solution of the system is uniquely determined up to a constant factor. This has important applications in the well-known problem of series expansion for the hyperelliptic sigma function. We give an explicit description of the connection of such solutions to well-known Burchnall-Chaundy polynomials and Adler-Moser polynomials. We find a system of linear second-order differential equations that determines the corresponding Adler-Moser polynomial.


title: Geometric and computational aspects of chiral topological quantum matter

abstract: In this thesis, we study chiral topological phases of 2+1 dimensional quantum matter. Such phases are abstractly characterized by their non-vanishing chiral central charge $c$, a topological invariant which appears as the coefficient of a gravitational Chern-Simons (gCS) action in bulk, and of corresponding gravitational anomalies at boundaries. The chiral central charge is of particular importance in chiral superfluids and superconductors (CSF/Cs), where $U(1)$ particle-number symmetry is broken, and $c$ is, in some cases, the only topological invariant characterizing the system. However, as opposed to invariants which can be probed by gauge fields in place of gravity, the concrete physical implications of $c$ in the context of condensed matter physics is quite subtle, and has been the subject of ongoing research and controversy. The first two parts of this thesis are devoted to the physical interpretation of the gCS action and gravitational anomalies in the context of CSF/Cs, where they are of particular importance, but have nevertheless remained poorly understood. We then turn to a seemingly unrelated aspect of chiral topological phases - their computational complexity. The infamous $sign\ problem$ leads to an exponential complexity in Monte Carlo simulations of generic many-body quantum systems. Nevertheless, many phases of matter are known to admit a sign-problem-free representative, allowing an efficient classical simulation. The possibility of $intrinsic$ sign problems, where a phase of matter admits no sign-problem-free representative, was recently raised but remains largely unexplored. Here, we establish the existence of an intrinsic sign problem in a broad class of chiral topological phases, both bosonic and fermionic, defined by the requirement that $e^{2\pi i c/24}$ is $not$ the topological spin of an anyon.

categories: cond-mat.str-el cond-mat.supr-con hep-th quant-ph


title: BanditMF: Multi-Armed Bandit Based Matrix Factorization Recommender System

abstract: Multi-armed bandits (MAB) provide a principled online learning approach to attain the balance between exploration and exploitation. Due to the superior performance and low feedback learning without the learning to act in multiple situations, Multi-armed Bandits drawing widespread attention in applications ranging such as recommender systems. Likewise, within the recommender system, collaborative filtering (CF) is arguably the earliest and most influential method in the recommender system. Crucially, new users and an ever-changing pool of recommended items are the challenges that recommender systems need to address. For collaborative filtering, the classical method is training the model offline, then perform the online testing, but this approach can no longer handle the dynamic changes in user preferences which is the so-called cold start. So how to effectively recommend items to users in the absence of effective information? To address the aforementioned problems, a multi-armed bandit based collaborative filtering recommender system has been proposed, named BanditMF. BanditMF is designed to address two challenges in the multi-armed bandits algorithm and collaborative filtering: (1) how to solve the cold start problem for collaborative filtering under the condition of scarcity of valid information, (2) how to solve the sub-optimal problem of bandit algorithms in strong social relations domains caused by independently estimating unknown parameters associated with each user and ignoring correlations between users.


title: Ad Text Classification with Transformer-Based Natural Language Processing Methods

abstract: In this study, a natural language processing-based (NLP-based) method is proposed for the sector-wise automatic classification of ad texts created on online advertising platforms. Our data set consists of approximately 21,000 labeled advertising texts from 12 different sectors. In the study, the Bidirectional Encoder Representations from Transformers (BERT) model, which is a transformer-based language model that is recently used in fields such as text classification in the natural language processing literature, was used. The classification efficiencies obtained using a pre-trained BERT model for the Turkish language are shown in detail.


title: Self-Supervised Tracking via Target-Aware Data Synthesis

abstract: While deep-learning based tracking methods have achieved substantial progress, they entail large-scale and high-quality annotated data for sufficient training. To eliminate expensive and exhaustive annotation, we study self-supervised learning for visual tracking. In this work, we develop the Crop-Transform-Paste operation, which is able to synthesize sufficient training data by simulating various appearance variations during tracking, including appearance variations of objects and background interference. Since the target state is known in all synthesized data, existing deep trackers can be trained in routine ways using the synthesized data without human annotation. The proposed target-aware data-synthesis method adapts existing tracking approaches within a self-supervised learning framework without algorithmic changes. Thus, the proposed self-supervised learning mechanism can be seamlessly integrated into existing tracking frameworks to perform training. Extensive experiments show that our method 1) achieves favorable performance against supervised learning schemes under the cases with limited annotations; 2) helps deal with various tracking challenges such as object deformation, occlusion, or background clutter due to its manipulability; 3) performs favorably against state-of-the-art unsupervised tracking methods; 4) boosts the performance of various state-of-the-art supervised learning frameworks, including SiamRPN++, DiMP, and TransT.


title: Software-Based Dialogue Systems: Survey, Taxonomy and Challenges

abstract: The use of natural language interfaces in the field of human-computer interaction is undergoing intense study through dedicated scientific and industrial research. The latest contributions in the field, including deep learning approaches like recurrent neural networks, the potential of context-aware strategies and user-centred design approaches, have brought back the attention of the community to software-based dialogue systems, generally known as conversational agents or chatbots. Nonetheless, and given the novelty of the field, a generic, context-independent overview on the current state of research of conversational agents covering all research perspectives involved is missing. Motivated by this context, this paper reports a survey of the current state of research of conversational agents through a systematic literature review of secondary studies. The conducted research is designed to develop an exhaustive perspective through a clear presentation of the aggregated knowledge published by recent literature within a variety of domains, research focuses and contexts. As a result, this research proposes a holistic taxonomy of the different dimensions involved in the conversational agents' field, which is expected to help researchers and to lay the groundwork for future research in the field of natural language interfaces.


title: Electronic transport in two-dimensional strained Dirac materials under multi-step Fermi velocity barrier: transfer matrix method for supersymmetric systems

abstract: In recent years, graphene and other two-dimensional Dirac materials like silicene, germanene, etc. have been studied from different points of view: from mathematical physics, condensed matter physics to high energy physics. In this study, we utilize both supersymmetric quantum mechanics (SUSY-QM) and transfer matrix method (TTM) to examine electronic transport in two-dimensional Dirac materials under the influences of multi-step deformation as well as multi-step Fermi velocity barrier. The effects of multi-step effective mass and multi-step applied fields are also taken into account in our investigation. Results show the possibility of modulating the Klein tunneling of Dirac electron by using strain or electric field.


title: Infinite families of linear codes supporting more $t$-designs

abstract: Tang and Ding [IEEE IT 67 (2021) 244-254] studied the class of narrow-sense BCH codes $\mathcal{C}_{(q,q+1,4,1)}$ and their dual codes with $q=2^m$ and established that the codewords of the minimum (or the second minimum) weight in these codes support infinite families of 4-designs or 3-designs. Motivated by this, we further investigate the codewords of the next adjacent weight in such codes and discover more infinite classes of $t$-designs with $t=3,4$. In particular, we prove that the codewords of weight $7$ in $\mathcal{C}_{(q,q+1,4,1)}$ support $4$-designs when $m \geqslant 5$ is odd and $3$-designs when $m \geqslant 4$ is even, which provide infinite classes of simple $t$-designs with new parameters. Another significant class of $t$-designs we produce in this paper has supplementary designs with parameters 4-$(2^{2s+1}+ 1,5,5)$; these designs have the smallest index among all the known simple 4-$(q+1,5,\lambda)$ designs derived from codes for prime powers $q$; and they are further proved to be isomorphic to the 4-designs admitting the projective general linear group PGL$(2,2^{2s+1})$ as automorphism group constructed by Alltop in 1969.


title: Federated Learning with Positive and Unlabeled Data

abstract: We study the problem of learning from positive and unlabeled (PU) data in the federated setting, where each client only labels a little part of their dataset due to the limitation of resources and time. Different from the settings in traditional PU learning where the negative class consists of a single class, the negative samples which cannot be identified by a client in the federated setting may come from multiple classes which are unknown to the client. Therefore, existing PU learning methods can be hardly applied in this situation. To address this problem, we propose a novel framework, namely Federated learning with Positive and Unlabeled data (FedPU), to minimize the expected risk of multiple negative classes by leveraging the labeled data in other clients. We theoretically analyze the generalization bound of the proposed FedPU. Empirical experiments show that the FedPU can achieve much better performance than conventional supervised and semi-supervised federated learning methods. Code is available at https://github.com/littleSunlxy/FedPU-torch


title: Variational multiple shooting for Bayesian ODEs with Gaussian processes

abstract: Recent machine learning advances have proposed black-box estimation of unknown continuous-time system dynamics directly from data. However, earlier works are based on approximative ODE solutions or point estimates. We propose a novel Bayesian nonparametric model that uses Gaussian processes to infer posteriors of unknown ODE systems directly from data. We derive sparse variational inference with decoupled functional sampling to represent vector field posteriors. We also introduce a probabilistic shooting augmentation to enable efficient inference from arbitrarily long trajectories. The method demonstrates the benefit of computing vector field posteriors, with predictive uncertainty scores outperforming alternative methods on multiple ODE learning tasks.


title: Energy stability analysis of turbulent incompressible flow based on the triple decomposition of the velocity gradient tensor

abstract: In the context of flow visualization a triple decomposition of the velocity gradient into irrotational straining flow, shear flow and rigid body rotational flow was proposed by Kolar in 2007 [V. Kolar, International journal of heat and fluid flow, 28, 638, (2007)], which has recently received renewed interest. The triple decomposition opens for a refined energy stability analysis of the Navier-Stokes equations, with implications for the mathematical analysis of the structure, computability and regularity of turbulent flow. We here perform an energy stability analysis of turbulent incompressible flow, which suggests a scenario where at macroscopic scales any exponentially unstable irrotational straining flow structures rapidly evolve towards linearly unstable shear flow and stable rigid body rotational flow. This scenario does not rule out irrotational straining flow close to the Kolmogorov microscales, since there viscous dissipation stabilizes the unstable flow structures. In contrast to worst case energy stability estimates, this refined stability analysis reflects the existence of stable flow structures in turbulence over extended time.


title: Critical Currents in Conventional Josephson Junctions With Grain Boundaries

abstract: It has been hypothesized that the variation of the critical currents in Nb/Al-AlO$_x$/Nb junctions is due to, among other effects, the presence of grain boundaries in the system. Motivated by this, we examine the effect of grain boundaries on the critical current of a Josephson junction. We assume that the hopping amplitudes are dependent on the interatomic distance, and derive a physically realistic model of distance-dependent hopping amplitudes. We find that the presence of a grain boundary and associated disorder is responsible for a very large drop in the critical current relative to a clean system. We also find that when a tunnel barrier is present, grain boundaries cause substantial variations in the critical currents due to the disordered hoppings near the tunnel barrier. We discuss the applicability of these results to Josephson junctions presently intended for use in superconducting electronics applications.


title: Stability of a class of action functionals depending on convex functions

abstract: We study the stability of a class of action functionals induced by gradients of convex functions with respect to Mosco convergence, under mild assumptions on the underlying space.


title: Channel Estimation for Hybrid RIS Aided MIMO Communications via Atomic Norm Minimization

abstract: Reconfigurable intelligent surfaces (RISs) have been introduced as a remedy for mitigating frequent blockages in millimeter wave (mmWave) multiple-input multiple-output (MIMO) communication networks. However, perfect or nearly perfect channel state information (CSI) is fundamental in order to achieve their full potential. Traditionally, an RIS is fully passive without any baseband processing capabilities, which poses great challenges for CSI acquisition. Thus, we focus on the hybrid RIS architecture, where a small portion of RIS elements are active and able to processing the received pilot signals for estimating the corresponding channel. The channel estimation (CE) is done by resorting to off-the-grid compressive sensing technique, i.e., atomic norm minimization, for exacting channel parameters through two stages. Simulation results show that the proposed scheme outperforms the passive RIS CE under the same training overhead.


title: Fostering Student Engagement in a Mobile Formative Assessment System for High-School Economics

abstract: In a mobile learning environment, students can learn via mobile devices without being limited by time and space. Therefore, it is vital to develop tools to assist students to learn and assess their knowledge in such environments. This paper presents a tool/application for formative self-assessment. The tool supports the selection of questions based on user-defined criteria concerning (1) the difficulty level; (2) the associated concepts; and (3) the purposes of the test taker. The main purpose of the presented tool is to better support the learning aims of the participants and to increase their engagement in the learning process. The focus of this study is to evaluate the tool using quizzes in Microeconomics to realize its potential in this specific domain. Teachers and students were involved in the experiments conducted. The experiments demonstrated that the presented tool is usable; it motivates the students and improves their understanding


title: Approximation capabilities of measure-preserving neural networks

abstract: Measure-preserving neural networks are well-developed invertible models, however, their approximation capabilities remain unexplored. This paper rigorously analyses the approximation capabilities of existing measure-preserving neural networks including NICE and RevNets. It is shown that for compact $U \subset \R^D$ with $D\geq 2$, the measure-preserving neural networks are able to approximate arbitrary measure-preserving map $\psi: U\to \R^D$ which is bounded and injective in the $L^p$-norm. In particular, any continuously differentiable injective map with $\pm 1$ determinant of Jacobian are measure-preserving, thus can be approximated.


title: Certifying a probabilistic parallel modular algorithm for rational univariate representation

abstract: This paper is about solving polynomial systems. It first recalls how to do that efficiently with a very high probability of correctness by reconstructing a rational univariate representation (rur) using Groebner revlex computation, Berlekamp-Massey algorithm and Hankel linear system solving modulo several primes in parallel. Then it introduces a new method (theorem \ref{prop:check}) for rur certification that is effective for most polynomial systems.These algorithms are implemented in https://www-fourier.univ-grenoble-alpes.fr/~parisse/giac.html since version 1.7.0-13 or 1.7.0-17 for certification, it has (July 2021) leading performances on multiple CPU, at least for an open-source software.


title: Fully algebraic domain decomposition preconditioners with adaptive spectral bounds

abstract: In this article a new family of preconditioners is introduced for symmetric positive definite linear systems. The new preconditioners, called the AWG preconditioners (for Algebraic-Woodbury-GenEO) are constructed algebraically. By this, we mean that only the knowledge of the matrix A for which the linear system is being solved is required. Thanks to the GenEO spectral coarse space technique, the condition number of the preconditioned operator is bounded theoretically from above. This upper bound can be made smaller by enriching the coarse space with more spectral modes.The novelty is that, unlike in previous work on the GenEO coarse spaces, no knowledge of a partially non-assembled form of A is required. Indeed, the spectral coarse space technique is not applied directly to A but to a low-rank modification of A of which a suitable non-assembled form is known by construction. The extra cost is a second (and to this day rather expensive) coarse solve in the preconditioner. One of the AWG preconditioners has already been presented in the short preprint [38]. This article is the first full presentation of the larger family of AWG preconditioners. It includes proofs of the spectral bounds as well as numerical illustrations.


title: A four-dimensional mapping class group relation

abstract: We give a relation between (right-handed) Dehn twists on the symplectic mapping class group of a 4-dimensional Weinstein domain via holomorphic curve techniques. A key ingredient of the construction is a solution to the symplectic isotopy problem on symplectic submanifolds in Del Pezzo surfaces. In the appendix, we provide an alternative proof of a relation between Dehn twists and a fibered Dehn twist.


title: Speech prosody and remote experiments: a technical report

abstract: The aim of this paper is twofold. First, we present a review of different recording options for gathering prosodic data in the event that fieldwork is impracticable (e.g. due to pandemics). Under this light, we mimic a long-distance reading task experiment using different software and hardware synchronously. In order to evaluate the employed methodologies, we extract noise levels and frequency manipulation of the recordings. Subsequently, we examine the impact of the different recordings onto linguistic variables, such as the pitch curves and values. We also include a discussion on experimental practicalities. After balancing these factors, we decree an online platform, Zencastr, as the most affordable and practical for acoustic data collection. Secondly, we want to open up a debate on the most optimal remote methodology that researchers on speech prosody can deploy.


title: Surgical data science for safe cholecystectomy: a protocol for segmentation of hepatocystic anatomy and assessment of the critical view of safety

abstract: Minimally invasive image-guided surgery heavily relies on vision. Deep learning models for surgical video analysis could therefore support visual tasks such as assessing the critical view of safety (CVS) in laparoscopic cholecystectomy (LC), potentially contributing to surgical safety and efficiency. However, the performance, reliability and reproducibility of such models are deeply dependent on the quality of data and annotations used in their development. Here, we present a protocol, checklists, and visual examples to promote consistent annotation of hepatocystic anatomy and CVS criteria. We believe that sharing annotation guidelines can help build trustworthy multicentric datasets for assessing generalizability of performance, thus accelerating the clinical translation of deep learning models for surgical video analysis.


title: Multi-Lah numbers and multi-Stirling numbers of the first kind

abstract: In this paper, we introduce multi-Lah numbers and multi-Stirling numbers of the first kind and recall multi-Bernoulli numbers, all of whose generating functions are given with the help of multiple logarithm. The aim of this paper is to study several relations among those three numbers. In more detail, we represent the multi-Bernoulli numbers in terms of the multi-Stirling numbers of the first kind and vice versa, and the multi-Lah numbers in terms of multi-Stirling numbers. In addition, we deduce a recurrence relation for multi-Lah numbers


title: On the Impact of Multiple Source Code Representations on Software Engineering Tasks -- An Empirical Study

abstract: Efficiently representing source code is crucial for various software engineering tasks such as code classification and clone detection. Existing approaches primarily use Abstract Syntax Tree (AST), and only a few focus on semantic graphs such as Control Flow Graph (CFG) and Program Dependency Graph (PDG), which contain information about source code that AST does not. Even though some works tried to utilize multiple representations, they do not provide any insights about the costs and benefits of using multiple representations. The primary goal of this paper is to discuss the implications of utilizing multiple code representations, specifically AST, CFG, and PDG. We modify an AST path-based approach to accept multiple representations as input to an attention-based model. We do this to measure the impact of additional representations (such as CFG and PDG) over AST. We evaluate our approach on three tasks: Method Naming, Program Classification, and Clone Detection. Our approach increases the performance on these tasks by 11% (F1), 15.7% (Accuracy), and 9.3% (F1), respectively, over the baseline. In addition to the effect on performance, we discuss timing overheads incurred with multiple representations. We envision this work providing researchers with a lens to evaluate combinations of code representations for various tasks.


title: Electron EDM arising from modulus $\tau$ in the supersymmetric modular invariant flavor models

abstract: The electric dipole moment (EDM) of electron is studied in the supersymmetric $\rm A_4$ modular invariant theory of flavors with CP invariance. The CP symmetry of the lepton sector is broken by fixing the modulus $\tau$. Lepton mass matrices are completely consistent with observed lepton masses and mixing angles in our model. In this framework, a fixed $\tau$ also causes the CP violation in the soft SUSY breaking terms. The elecrton EDM arises from the CP non-conserved soft SUSY breaking terms. The experimental upper bound of the electron EDM excludes the SUSY mass scale below $2-6$ TeV for five cases of the lepton mass matrices. In order to see the effect of CP phase of the modulus $\tau$, we examine the correlation between the electron EDM and the decay rate of the $\mu \rightarrow e \gamma$ decay, which is also predicted by the soft SUSY breaking terms. The correlations are clearly predicted in contrast to models of the conventional flavor symmetry. The SUSY mass scale will be constrained by the future sensitivity of the electron EDM, $|d_e/e| \simeq 10^{-30}$. Indeed, it could probe the SUSY mass range of $10-20$ TeV in our model. Thus, the electron EDM provides a severe test of the CP violation via the modulus $\tau$ in the supersymmetric modular invariant theory of flavors.


title: Cross-layer Navigation Convolutional Neural Network for Fine-grained Visual Classification

abstract: Fine-grained visual classification (FGVC) aims to classify sub-classes of objects in the same super-class (e.g., species of birds, models of cars). For the FGVC tasks, the essential solution is to find discriminative subtle information of the target from local regions. TraditionalFGVC models preferred to use the refined features,i.e., high-level semantic information for recognition and rarely use low-level in-formation. However, it turns out that low-level information which contains rich detail information also has effect on improving performance. Therefore, in this paper, we propose cross-layer navigation convolutional neural network for feature fusion. First, the feature maps extracted by the backbone network are fed into a convolutional long short-term memory model sequentially from high-level to low-level to perform feature aggregation. Then, attention mechanisms are used after feature fusion to extract spatial and channel information while linking the high-level semantic information and the low-level texture features, which can better locate the discriminative regions for the FGVC. In the experiments, three commonly used FGVC datasets, including CUB-200-2011, Stanford-Cars, andFGVC-Aircraft datasets, are used for evaluation and we demonstrate the superiority of the proposed method by comparing it with other referred FGVC methods to show that this method achieves superior results.


title: The Shannon-McMillan Theorem Proves Convergence to Equiprobability of Boltzmann's Microstates

abstract: The paper shows that, for large number of particles and for distinguishable and non-interacting identical particles, convergence to equiprobability of the $W$ microstates of the famous Boltzmann-Planck entropy formula $S=k \log(W)$ is proved by the Shannon-McMillan theorem, a cornerstone of information theory. This result further strengthens the link between information theory and statistical mechanics.


title: Matryoshka Phonon Twinning in alpha-GaN

abstract: Understanding lattice dynamics is crucial for effective thermal management in high-power electronic devices because phonons dominate thermal transport in most semiconductors. This study utilizes complementary inelastic X-ray and neutron scattering techniques and reports the temperature-dependent phonon dynamics of alpha-GaN, one of the most important third-generation power semiconductors. A prominent Matryoshka phonon dispersion is discovered with the scattering tools and confirmed by the first-principles calculations. Such Matryoshka twinning throughout the three-dimension reciprocal space is demonstrated to amplify the anharmonicity of the related phonon modes through creating abundant three-phonon scattering channels and cutting the phonon lifetime of affected modes by more than 50%. Such phonon topology effectively contributes to the reduction of the in-plane thermal transport, thus the anisotropic thermal conductivity of alpha-GaN. The results not only have significant implications for engineering the thermal performance and other phonon-related properties of alpha-GaN, but also offer valuable insights on the role of anomalous phonon topology in thermal transport of other technically important semiconductors.


title: Unsupervised Deep Learning by Injecting Low-Rank and Sparse Priors

abstract: What if deep neural networks can learn from sparsity-inducing priors? When the networks are designed by combining layer modules (CNN, RNN, etc), engineers less exploit the inductive bias, i.e., existing well-known rules or prior knowledge, other than annotated training data sets. We focus on employing sparsity-inducing priors in deep learning to encourage the network to concisely capture the nature of high-dimensional data in an unsupervised way. In order to use non-differentiable sparsity-inducing norms as loss functions, we plug their proximal mappings into the automatic differentiation framework. We demonstrate unsupervised learning of U-Net for background subtraction using low-rank and sparse priors. The U-Net can learn moving objects in a training sequence without any annotation, and successfully detect the foreground objects in test sequences.


title: Effective Bertini theorem and formulas for multiplicity and the local {\L}ojasiewicz exponent

abstract: The classical Bertini theorem on generic intersection of an algebraic set with hyperplanes states the following: \emph{Let X be a nonsingular closed subvariety of $\mathbb{P}^n_k$, where $k$ is an algebraically closed field. Then there exists a hyperplane $H\subset \mathbb{P}^n_k$ not containing $X$ and such that the scheme $H\cap X$ is regular at every point. Furthermore, the set of hyperplanes with this property forms an open dense subset of the complete linear system $|H|$ considered as a projective space. } We will show that one can effectively indicate a finite family of hyperplanes $H$ such that at least one of them satisfies the assertion of the Bertini theorem. As an application of the method used in the proof we will give effective formulas for the multiplicity and the {\L}ojasiewicz exponent of polynomial mappings.


title: Investigating the role of educational robotics in formal mathematics education: the case of geometry for 15-year-old students

abstract: Research has shown that Educational Robotics (ER) enhances student performance, interest, engagement and collaboration. However, until now, the adoption of robotics in formal education has remained relatively scarce. Among other causes, this is due to the difficulty of determining the alignment of educational robotic learning activities with the learning outcomes envisioned by the curriculum, as well as their integration with traditional, non-robotics learning activities that are well established in teachers' practices. This work investigates the integration of ER into formal mathematics education, through a quasi-experimental study employing the Thymio robot and Scratch programming to teach geometry to two classes of 15-year-old students, for a total of 26 participants. Three research questions were addressed: (1) Should an ER-based theoretical lecture precede, succeed or replace a traditional theoretical lecture? (2) What is the students' perception of and engagement in the ER-based lecture and exercises? (3) Do the findings differ according to students' prior appreciation of mathematics? The results suggest that ER activities are as valid as traditional ones in helping students grasp the relevant theoretical concepts. Robotics activities seem particularly beneficial during exercise sessions: students freely chose to do exercises that included the robot, rated them as significantly more interesting and useful than their traditional counterparts, and expressed their interest in introducing ER in other mathematics lectures. Finally, results were generally consistent between the students that like and did not like mathematics, suggesting the use of robotics as a means to broaden the number of students engaged in the discipline.


title: The weak convergence order of two Euler-type discretization schemes for the log-Heston model

abstract: We study the weak convergence order of two Euler-type discretizations of the log-Heston Model where we use symmetrization and absorption, respectively, to prevent the discretization of the underlying CIR process from becoming negative. If the Feller index $\nu$ of the CIR process satisfies $\nu>1$, we establish weak convergence order one, while for $\nu \leq 1$, we obtain weak convergence order $\nu-\epsilon$ for $\epsilon>0$ arbitrarily small. We illustrate our theoretical findings by several numerical examples.


title: A deuterated liquid scintillator for supernova neutrino detection

abstract: For the next galactic supernova, operational neutrino telescopes will measure the neutrino flux several hours before their optical counterparts. Existing detectors, relying mostly on charged current interactions, are mostly sensitive to $\bar{\nu}_e$ and to a lesser extent to $\nu_e$. In order to measure the flux of other flavors ($\nu_{\mu},\bar{\nu}_{\mu},\nu_{\tau},\text{and}~\bar{\nu}_{\tau}$), we need to observe their neutral current interactions with the detector. Such a measurement is not only crucial for overall normalization of the supernova neutrino flux but also for understanding the intricate neutrino oscillation physics. A deuterium based detector will be sensitive to all neutrino flavors. In this paper, we propose a 1 kton deuterated liquid scintillator (DLS) based detector that will see about 435 neutral current events and 170 (108) charged current $\nu_e$ ($\bar{\nu}_e$) events from a fiducial supernova at a distance of 10 kpc from Earth. We explore the possibility of extracting spectral information from the neutral current channel $\overset{\scriptscriptstyle(-)}{\nu} d \rightarrow \overset{\scriptscriptstyle(-)}{\nu}np$ by measuring the quenched kinetic energy of the proton in the final state, where the neutron in the final state is tagged and used to reduce backgrounds. We also discuss the secondary interactions of the recoil neutrons in the detector.


title: STEP-EZ: Syntax Tree guided semantic ExPlanation for Explainable Zero-shot modeling of clinical depression symptoms from text

abstract: We focus on exploring various approaches of Zero-Shot Learning (ZSL) and their explainability for a challenging yet important supervised learning task notorious for training data scarcity, i.e. Depression Symptoms Detection (DSD) from text. We start with a comprehensive synthesis of different components of our ZSL modeling and analysis of our ground truth samples and Depression symptom clues curation process with the help of a practicing clinician. We next analyze the accuracy of various state-of-the-art ZSL models and their potential enhancements for our task. Further, we sketch a framework for the use of ZSL for hierarchical text-based explanation mechanism, which we call, Syntax Tree-Guided Semantic Explanation (STEP). Finally, we summarize experiments from which we conclude that we can use ZSL models and achieve reasonable accuracy and explainability, measured by a proposed Explainability Index (EI). This work is, to our knowledge, the first work to exhaustively explore the efficacy of ZSL models for DSD task, both in terms of accuracy and explainability.


title: Spectral index of synchrotron emission: insights from the diffuse and magnetised interstellar medium

abstract: The interpretation of Galactic synchrotron observations is complicated by the degeneracy between the strength of the magnetic field perpendicular to the line of sight (LOS), $B_\perp$, and the cosmic-ray electron (CRe) spectrum. Depending on the observing frequency, an energy-independent spectral energy slope $s$ for the CRe spectrum is usually assumed: $s=-2$ at frequencies below $\simeq$400 MHz and $s=-3$ at higher frequencies. Motivated by the high angular and spectral resolution of current facilities such as the LOw Frequency ARray (LOFAR) and future telescopes such as the Square Kilometre Array (SKA), we aim to understand the consequences of taking into account the energy-dependent CRe spectral energy slope on the analysis of the spatial variations of the brightness temperature spectral index, $\beta$, and on the estimate of the average value of $B_\perp$ along the LOS. We illustrate analytically and numerically the impact that different realisations of the CRe spectrum have on the interpretation of the spatial variation of $\beta$. We find that the common assumption of an energy-independent $s$ is valid only in special cases. We show that for typical magnetic field strengths of the diffuse interstellar medium ($\simeq$2$-$20 $\mu$G), at frequencies of 0.1$-$10 GHz, the electrons that are mainly responsible for the synchrotron emission have energies in the range $\simeq$100 MeV$-$50 GeV. This is the energy range where the spectral slope, $s$, of CRe has its greatest variation. We also show that the polarisation fraction can be much smaller than the maximum value of $\simeq 70\%$ because the orientation of ${\bf B}_\perp$ varies across the telescope's beam and along the LOS. Finally, we present a look-up plot that can be used to estimate the average value of $B_\perp$ along the LOS from a set of values of $\beta$ measured at centimetre to metre wavelengths, for a given CRe spectrum.


title: Unbalanced clustering and solitary states in coupled excitable systems

abstract: We demonstrate the mechanisms of emergence and the link between two types of symmetry-broken states, the unbalanced periodic two-cluster states and solitary states, in coupled excitable systems with prevalent repulsive interactions. Solitary states in non-locally coupled arrays inherit their dynamical features from unbalanced cluster states in globally coupled networks. Apart from self-organization based on phase-locked synchrony, interplay of excitability and local multiscale dynamics also gives rise to leap-frog states involving alternating order of spiking. Noise suppresses multistability of cluster states and induces pattern homogenization, transforming solitary states into patterns of patched


title: Algebraic Semantics for the Logic of Proofs

abstract: We present algebraic semantics for the classical logic of proofs based on Boolean algebras. We also extend the language of the logic of proofs in order to have a Boolean structure on justification terms and equality predicate on terms. In the end, the completeness theorem and certain generalizations of Stone's representation theorem are obtained for all proposed algebras.


title: Holographic Smart EM Skins for Advanced Beam Power Shaping in Next Generation Wireless Environments

abstract: An innovative approach for the synthesis of inexpensive holographic smart electromagnetic (EM) skins with advanced beamforming features is proposed. The complex multiscale smart skin design is formulated within the Generalized Sheet Transition Condition (GSTC) framework as a combination of a mask-constrained isophoric inverse source problem and a micro-scale susceptibility dyadic optimization. The solution strategy integrates a local search procedure based on the iterative projection technique (IPT) and a System-by-Design (SbD)-based optimization loop for the identification of optimal metasurface descriptors matching the desired surface currents. The performance and the efficiency of the proposed approach are assessed in a set of representative test cases concerned with different smart skin apertures and target pattern masks.


title: Semi-uniform Input-to-state Stability of Infinite-dimensional Systems

abstract: We introduce the notions of semi-uniform input-to-state stability and its subclass, polynomial input-to-state stability, for infinite-dimensional systems. We establish a characterization of semi-uniform input-to-state stability based on attractivity properties as in the uniform case. Sufficient conditions for linear systems to be polynomially input-to-state stable are provided, which restrict the range of the input operator depending on the rate of polynomial decay of the product of the semigroup and the resolvent of its generator. We also show that a class of bilinear systems are polynomially integral input-to-state stable under a certain smoothness assumption on nonlinear operators.


title: GRAND: Graph Neural Diffusion

abstract: We present Graph Neural Diffusion (GRAND) that approaches deep learning on graphs as a continuous diffusion process and treats Graph Neural Networks (GNNs) as discretisations of an underlying PDE. In our model, the layer structure and topology correspond to the discretisation choices of temporal and spatial operators. Our approach allows a principled development of a broad new class of GNNs that are able to address the common plights of graph learning models such as depth, oversmoothing, and bottlenecks. Key to the success of our models are stability with respect to perturbations in the data and this is addressed for both implicit and explicit discretisation schemes. We develop linear and nonlinear versions of GRAND, which achieve competitive results on many standard graph benchmarks.


title: On Limited-Memory Subsampling Strategies for Bandits

abstract: There has been a recent surge of interest in nonparametric bandit algorithms based on subsampling. One drawback however of these approaches is the additional complexity required by random subsampling and the storage of the full history of rewards. Our first contribution is to show that a simple deterministic subsampling rule, proposed in the recent work of Baudry et al. (2020) under the name of ''last-block subsampling'', is asymptotically optimal in one-parameter exponential families. In addition, we prove that these guarantees also hold when limiting the algorithm memory to a polylogarithmic function of the time horizon. These findings open up new perspectives, in particular for non-stationary scenarios in which the arm distributions evolve over time. We propose a variant of the algorithm in which only the most recent observations are used for subsampling, achieving optimal regret guarantees under the assumption of a known number of abrupt changes. Extensive numerical simulations highlight the merits of this approach, particularly when the changes are not only affecting the means of the rewards.


title: TCIC: Theme Concepts Learning Cross Language and Vision for Image Captioning

abstract: Existing research for image captioning usually represents an image using a scene graph with low-level facts (objects and relations) and fails to capture the high-level semantics. In this paper, we propose a Theme Concepts extended Image Captioning (TCIC) framework that incorporates theme concepts to represent high-level cross-modality semantics. In practice, we model theme concepts as memory vectors and propose Transformer with Theme Nodes (TTN) to incorporate those vectors for image captioning. Considering that theme concepts can be learned from both images and captions, we propose two settings for their representations learning based on TTN. On the vision side, TTN is configured to take both scene graph based features and theme concepts as input for visual representation learning. On the language side, TTN is configured to take both captions and theme concepts as input for text representation re-construction. Both settings aim to generate target captions with the same transformer-based decoder. During the training, we further align representations of theme concepts learned from images and corresponding captions to enforce the cross-modality learning. Experimental results on MS COCO show the effectiveness of our approach compared to some state-of-the-art models.


title: A Structural Observation on port-Hamiltonian Systems

abstract: We study port-Hamiltonian systems on a familiy of intervals and characterise all boundary conditions leading to $m$-accretive realisations of the port-Hamiltonian operator and thus to generators of contractive semigroups. The proofs are based on a structural observation that the port-Hamiltonian operator can be transformed to the derivative on a familiy of reference intervals by suitable congruence relations allowing for studying the simpler case of a transport equation. Moreover, we provide well-posedness results for associated control problems without assuming any additional regularity of the operators involved.


title: A Game-Theoretic Taxonomy of Visual Concepts in DNNs

abstract: In this paper, we rethink how a DNN encodes visual concepts of different complexities from a new perspective, i.e. the game-theoretic multi-order interactions between pixels in an image. Beyond the categorical taxonomy of objects and the cognitive taxonomy of textures and shapes, we provide a new taxonomy of visual concepts, which helps us interpret the encoding of shapes and textures, in terms of concept complexities. In this way, based on multi-order interactions, we find three distinctive signal-processing behaviors of DNNs encoding textures. Besides, we also discover the flexibility for a DNN to encode shapes is lower than the flexibility of encoding textures. Furthermore, we analyze how DNNs encode outlier samples, and explore the impacts of network architectures on interactions. Additionally, we clarify the crucial role of the multi-order interactions in real-world applications. The code will be released when the paper is accepted.


title: Asymptotic genealogies for a class of generalized Wright-Fisher models

abstract: We study a class of Cannings models with population size $N$ having a mixed multinomial offspring distribution with random success probabilities $W_1,\ldots,W_N$ induced by independent and identically distributed positive random variables $X_1,X_2,\ldots$ via $W_i:=X_i/S_N$, $i\in\{1,\ldots,N\}$, where $S_N:=X_1+\cdots+X_N$. The ancestral lineages are hence based on a sampling with replacement strategy from a random partition of the unit interval into $N$ subintervals of lengths $W_1,\ldots,W_N$. Convergence results for the genealogy of these Cannings models are provided under regularly varying assumptions on the tail distribution of $X_1$. In the limit several coalescent processes with multiple and simultaneous multiple collisions occur. The results extend those obtained by Huillet (2014) for the case when $X_1$ is Pareto distributed and complement those obtained by Schweinsberg (2003) for models where one samples without replacement from a supercritical branching process.


title: Deep Spatio-Temporal Forecasting of Electrical Vehicle Charging Demand

abstract: Electric vehicles can offer a low carbon emission solution to reverse rising emission trends. However, this requires that the energy used to meet the demand is green. To meet this requirement, accurate forecasting of the charging demand is vital. Short and long-term charging demand forecasting will allow for better optimisation of the power grid and future infrastructure expansions. In this paper, we propose to use publicly available data to forecast the electric vehicle charging demand. To model the complex spatial-temporal correlations between charging stations, we argue that Temporal Graph Convolution Models are the most suitable to capture the correlations. The proposed Temporal Graph Convolutional Networks provide the most accurate forecasts for short and long-term forecasting compared with other forecasting methods.


title: Tumor Radiogenomics with Bayesian Layered Variable Selection

abstract: We propose a statistical framework to integrate radiological magnetic resonance imaging (MRI) and genomic data to identify the underlying radiogenomic associations in lower grade gliomas (LGG). We devise a novel imaging phenotype by dividing the tumor region into concentric spherical layers that mimics the tumor evolution process. MRI data within each layer is represented by voxel--intensity-based probability density functions which capture the complete information about tumor heterogeneity. Under a Riemannian-geometric framework these densities are mapped to a vector of principal component scores which act as imaging phenotypes. Subsequently, we build Bayesian variable selection models for each layer with the imaging phenotypes as the response and the genomic markers as predictors. Our novel hierarchical prior formulation incorporates the interior-to-exterior structure of the layers, and the correlation between the genomic markers. We employ a computationally-efficient Expectation--Maximization-based strategy for estimation. Simulation studies demonstrate the superior performance of our approach compared to other approaches. With a focus on the cancer driver genes in LGG, we discuss some biologically relevant findings. Genes implicated with survival and oncogenesis are identified as being associated with the spherical layers, which could potentially serve as early-stage diagnostic markers for disease monitoring, prior to routine invasive approaches.


title: Realization of multi-input/multi-output switched linear systems from Markov parameters

abstract: This paper presents a four-stage algorithm for the realization of multi-input/multi-output (MIMO) switched linear systems (SLSs) from Markov parameters. In the first stage, a linear time-varying (LTV) realization that is topologically equivalent to the true SLS is derived from the Markov parameters assuming that the submodels have a common MacMillan degree and a mild condition on their dwell times holds. In the second stage, zero sets of LTV Hankel matrices where the realized system has a linear time-invariant (LTI) pulse response matching that of the original SLS are exploited to extract the submodels, up to arbitrary similarity transformations, by a clustering algorithm using a statistics that is invariant to similarity transformations. Recovery is shown to be complete if the dwell times are sufficiently long and some mild identifiability conditions are met. In the third stage, the switching sequence is estimated by three schemes. The first scheme is based on forward/backward corrections and works on the short segments. The second scheme matches Markov parameter estimates to the true parameters for LTV systems and works on the medium-to-long segments. The third scheme also matches Markov parameters, but for LTI systems only and works on the very short segments. In the fourth stage, the submodels estimated in Stage 2 are brought to a common basis by applying a novel basis transformation method which is necessary before performing output predictions to given inputs. A numerical example illustrates the properties of the realization algorithm. A key role in this algorithm is played by time-dependent switching sequences that partition the state-space according to time, unlike many other works in the literature in which partitioning is state and/or input dependent.


title: Nuclear spin-lattice relaxation time in UCoGe

abstract: The NMR measurements performed on a single orthorhombic crystal of superconducting ferromagnet UCoGe (Y.Ihara et al, Phys. Rev. Lett. v.105, 206403 (2010)) demonstrate strongly anisotropic magnetic properties of this material. The presented calculations allow to establish the dependence of longitudinal spin-lattice relaxation rate from temperature and magnetic field. The value 1/T_1T in field perpendicular to spontaneous magnetisation directed along c-axis has maximum in vicinity of Curie temperature whereas it does not reveal similar behaviour in field parallel to the direction of spontaneous magnetisation. Also there was shown that the longitudinal spin-lattice relaxation rate is strongly field dependent when the field directed in b-crystallographic direction but field independent if magnetic field is oriented along a-axis.


title: Hard hat wearing detection based on head keypoint localization

abstract: In recent years, a lot of attention is paid to deep learning methods in the context of vision-based construction site safety systems, especially regarding personal protective equipment. However, despite all this attention, there is still no reliable way to establish the relationship between workers and their hard hats. To answer this problem a combination of deep learning, object detection and head keypoint localization, with simple rule-based reasoning is proposed in this article. In tests, this solution surpassed the previous methods based on the relative bounding box position of different instances, as well as direct detection of hard hat wearers and non-wearers. The results show that the conjunction of novel deep learning methods with humanly-interpretable rule-based systems can result in a solution that is both reliable and can successfully mimic manual, on-site supervision. This work is the next step in the development of fully autonomous construction site safety systems and shows that there is still room for improvement in this area.


title: A posteriori goal-oriented bounds for the Poisson problem using potential and equilibrated flux reconstructions: application to the hybridizable discontinuous Galerkin method

abstract: We present a general framework to compute upper and lower bounds for linear-functional outputs of the exact solutions of the Poisson equation based on reconstructions of the field variable and flux for both the primal and adjoint problems. The method is devised from a generalization of the complementary energy principle and the duality theory. Using duality theory, the computation of bounds is reduced to finding independent potential and equilibrated flux reconstructions. A generalization of this result is also introduced, allowing to derive alternative guaranteed bounds from nearly-arbitrary H(div;{\Omega}) flux reconstructions (only zero-order equilibration is required). This approach is applicable to any numerical method used to compute the solution. In this work, the proposed approach is applied to derive bounds for the hybridizable discontinuous Galerkin (HDG) method. An attractive feature of the proposed approach is that superconvergence on the bound gap is achieved, yielding accurate bounds even for very coarse meshes. Numerical experiments are presented to illustrate the performance and convergence of the bounds for the HDG method in both uniform and adaptive mesh refinements.


title: Defeasible Reasoning via Datalog$^\neg$

abstract: We address the problem of compiling defeasible theories to Datalog$^\neg$ programs. We prove the correctness of this compilation, for the defeasible logic $DL(\partial_{||})$, but the techniques we use apply to many other defeasible logics. Structural properties of $DL(\partial_{||})$ are identified that support efficient implementation and/or approximation of the conclusions of defeasible theories in the logic, compared with other defeasible logics. We also use previously well-studied structural properties of logic programs to adapt to incomplete Datalog$^\neg$ implementations.


title: Leveraging Conditional Generative Models in a General Explanation Framework of Classifier Decisions

abstract: Providing a human-understandable explanation of classifiers' decisions has become imperative to generate trust in their use for day-to-day tasks. Although many works have addressed this problem by generating visual explanation maps, they often provide noisy and inaccurate results forcing the use of heuristic regularization unrelated to the classifier in question. In this paper, we propose a new general perspective of the visual explanation problem overcoming these limitations. We show that visual explanation can be produced as the difference between two generated images obtained via two specific conditional generative models. Both generative models are trained using the classifier to explain and a database to enforce the following properties: (i) All images generated by the first generator are classified similarly to the input image, whereas the second generator's outputs are classified oppositely. (ii) Generated images belong to the distribution of real images. (iii) The distances between the input image and the corresponding generated images are minimal so that the difference between the generated elements only reveals relevant information for the studied classifier. Using symmetrical and cyclic constraints, we present two different approximations and implementations of the general formulation. Experimentally, we demonstrate significant improvements w.r.t the state-of-the-art on three different public data sets. In particular, the localization of regions influencing the classifier is consistent with human annotations.


title: A scalar Riemann-Hilbert problem on the torus: Applications to the KdV equation

abstract: We take a closer look at the Riemann-Hilbert problem associated to one-gap solutions of the Korteweg-de Vries equation. To gain more insight, we reformulate it as a scalar Riemann-Hilbert problem on the torus. This enables us to derive deductively the model vector-valued and singular matrix-valued solutions in terms of Jacobi theta functions. We compare our results with those obtained in recent literature.


title: On the Use of Two-Way Fixed Effects Models for Policy Evaluation During Pandemics

abstract: In the context of the Covid-19 pandemic, multiple studies rely on two-way fixed effects (FE) models to assess the impact of mitigation policies on health outcomes. Building on the SIRD model of disease transmission, I show that FE models tend to be misspecified for three reasons. First, despite misleading common trends in the pre-treatment period, the parallel trends assumption generally does not hold. Second, heterogeneity in infection rates and infected populations across regions cannot be accounted for by region-specific fixed effects, nor by conditioning on observable time-varying confounders. Third, epidemiological theory predicts heterogeneous treatment effects across regions and over time. Via simulations, I find that the bias resulting from model misspecification can be substantial, in magnitude and sometimes in sign. Overall, my results caution against the use of FE models for mitigation policy evaluation.


title: Multiple Object Tracking with Mixture Density Networks for Trajectory Estimation

abstract: Multiple object tracking faces several challenges that may be alleviated with trajectory information. Knowing the posterior locations of an object helps disambiguating and solving situations such as occlusions, re-identification, and identity switching. In this work, we show that trajectory estimation can become a key factor for tracking, and present TrajE, a trajectory estimator based on recurrent mixture density networks, as a generic module that can be added to existing object trackers. To provide several trajectory hypotheses, our method uses beam search. Also, relying on the same estimated trajectory, we propose to reconstruct a track after an occlusion occurs. We integrate TrajE into two state of the art tracking algorithms, CenterTrack [63] and Tracktor [3]. Their respective performances in the MOTChallenge 2017 test set are boosted 6.3 and 0.3 points in MOTA score, and 1.8 and 3.1 in IDF1, setting a new state of the art for the CenterTrack+TrajE configuration


title: Discovering Equations that Govern Experimental Materials Stability under Environmental Stress using Scientific Machine Learning

abstract: While machine learning (ML) in experimental research has demonstrated impressive predictive capabilities, inductive reasoning and knowledge extraction remain elusive tasks, in part because of the difficulty extracting fungible knowledge representations from experimental data. In this manuscript, we use ML to infer the underlying dynamical differential equation (DE) from experimental data of degrading organic-inorganic methylammonium lead iodide (MAPI) perovskite thin films under environmental stressors (elevated temperature, humidity, and light). We apply a sparse regression algorithm that automatically identifies the differential equation describing the dynamics from time-series data. We find that the underlying DE governing MAPI degradation across a broad temperature range of 35 to 85{\deg}C is described minimally with three terms (specifically, a second-order polynomial), and not a simple single-order reaction (i.e. 0th, 1st, or 2nd-order reaction). We demonstrate how computer-derived results can aid the researcher to develop profound mechanistic insights. This DE corresponds to the Verhulst logistic function, which describes reaction kinetics analogous in functional form to autocatalytic or self-propagating reactions, suggesting future strategies to suppress MAPI degradation. We examine the robustness of our conclusions to experimental luck-of-the-draw variance and Gaussian noise using a combination of experiment and simulation, and describe the experimental limits within which this methodology can be applied. Our study demonstrates the application of scientific ML in experimental chemical and materials systems, highlighting the promise and challenges associated with ML-aided scientific discovery.


title: Spliced Binned-Pareto Distribution for Robust Modeling of Heavy-tailed Time Series

abstract: This work proposes a novel method to robustly and accurately model time series with heavy-tailed noise, in non-stationary scenarios. In many practical application time series have heavy-tailed noise that significantly impacts the performance of classical forecasting models; in particular, accurately modeling a distribution over extreme events is crucial to performing accurate time series anomaly detection. We propose a Spliced Binned-Pareto distribution which is both robust to extreme observations and allows accurate modeling of the full distribution. Our method allows the capture of time dependencies in the higher order moments of the distribution such as the tail heaviness. We compare the robustness and the accuracy of the tail estimation of our method to other state of the art methods on Twitter mentions count time series.


title: On supercharacter theoretic generalizations of monomial groups and Artin's conjecture

abstract: We extend the notions of quasi-monomial groups and almost monomial groups, in the framework of supercharacter theories, and we study their connection with Artin's conjecture regarding the holomorphy of Artin $L$-functions.


title: Tilt-induced polar order and topological defects in growing bacterial populations

abstract: Rod-shaped bacteria, such as Escherichia coli, commonly live forming mounded colonies. They initially grow two-dimensionally on a surface and finally achieve three-dimensional growth. While it was recently reported that three-dimensional growth is promoted by topological defects of winding number $+1/2$ in populations of motile bacteria, how cellular alignment plays a role in non-motile cases is largely unknown. Here, we investigate the relevance of topological defects in colony formation processes of non-motile E. coli populations, and found that both $\pm 1/2$ topological defects contribute to the three-dimensional growth. Analyzing the cell flow in the bottom layer of the colony, we observe that $+1/2$ defects attract cells and $-1/2$ defects repel cells, in agreement with previous studies on motile cells, in the initial stage of the colony growth. However, later, cells gradually flow toward $-1/2$ defects as well, exhibiting a sharp contrast to the existing knowledge. By investigating three-dimensional cell orientations by confocal microscopy, we find strong vertical tilting of cells near the defects. Crucially, this leads to the emergence of a polar order in the otherwise nematic two-dimensional cell orientation. We extend the theory of active nematics by incorporating this polar order and the vertical tilting, which successfully explains the influx toward $-1/2$ defects in terms of a polarity-induced force. Our work reveals that three-dimensional cell orientations may result in drastic changes in properties of active nematics, especially those of topological defects, which may be generically relevant in active matter systems driven by cellular growth instead of self-propulsion.

categories: cond-mat.soft cond-mat.stat-mech physics.bio-ph q-bio.CB


title: Extractive approach for text summarisation using graphs

abstract: Natural language processing is an important discipline with the aim of understanding text by its digital representation, that due to the diverse way we write and speak, is often not accurate enough. Our paper explores different graph-related algorithms that can be used in solving the text summarization problem using an extractive approach. We consider two metrics: sentence overlap and edit distance for measuring sentence similarity.


title: Developing a 50 MeV LPA-based Injector at ATHENA for a Compact Storage Ring

abstract: The laser-driven generation of relativistic electron beams in plasma and their acceleration to high energies with GV/m-gradients has been successfully demonstrated. Now, it is time to focus on the application of laser-plasma accelerated (LPA) beams. The "Accelerator Technology HElmholtz iNfrAstructure" (ATHENA) of the Helmholtz Association fosters innovative particle accelerators and high-power laser technology. As part of the ATHENAe pillar several different applications driven by LPAs are to be developed, such as a compact FEL, medical imaging and the first realization of LPA-beam injection into a storage ring. The latter endeavour is conducted in close collaboration between Deutsches Elektronen-Synchrotron (DESY), Karlsruhe Institute of Technology (KIT) and Helmholtz Institute Jena (HIJ). In the cSTART project at KIT, a compact storage ring optimized for short bunches and suitable to accept LPA-based electron bunches is in preparation. In this conference contribution we will introduce the 50 MeV LPA-based injector and give an overview about the project goals. The key parameters of the plasma injector will be presented. Finally, the current status of the project will be summarized.


title: Unique Temperature Distribution and Explicit Efficiency Formula for One-Dimensional Thermoelectric Generators under Constant Seebeck Coefficients

abstract: A thermoelectric generator converts a temperature difference into electrical energy. Its energy conversion efficiency is determined by the steady-state temperature distribution inside the generator. By assuming the thermoelectric material in the generator has a temperature-independent Seebeck coefficient and the generator is one-dimensional, we show that the second-order integro-differential equation describing the inside temperature distribution has a unique solution for any given ratio of external load resistance to the internal resistance. Hence the efficiency is well defined. Furthermore, we show the efficiency has an explicit formula in terms of the temperature-dependent thermal conductivity and electrical resistivity of the thermoelectric material. On the other hand, if we impose an external load resistance value, not the ratio, then the integro-differential equation can have multiple solutions.


title: Relations for Grothendieck groups of $n$-cluster tilting subcategories

abstract: Let $\Lambda$ be an artin algebra and $\mathcal{M}$ be an n-cluster tilting subcategory of mod$\Lambda$. We show that $\mathcal{M}$ has an additive generator if and only if the n-almost split sequences form a basis for the relations for the Grothendieck group of $\mathcal{M}$ if and only if every effaceable functor $\mathcal{M}\rightarrow Ab$ has finite length. As a consequence we show that if mod$\Lambda$ has n-cluster tilting subcategory of finite type then the n-almost split sequences form a basis for the relations for the Grothendieck group of $\Lambda$.


title: Uniform boundedness for finite Morse index solutions to supercritical semilinear elliptic equations

abstract: We consider finite Morse index solutions to semilinear elliptic questions, and we investigate their smoothness. It is well-known that: - For $n=2$, there exist Morse index $1$ solutions whose $L^\infty$ norm goes to infinity. - For $n \geq 3$, uniform boundedness holds in the subcritical case for power-type nonlinearities, while for critical nonlinearities the boundedness of the Morse index does not prevent blow-up in $L^\infty$. In this paper, we investigate the case of general supercritical nonlinearities inside convex domains, and we prove an interior a priori $L^\infty$ bound for finite Morse index solution in the sharp dimensional range $3\leq n\leq 9$. As a corollary, we obtain uniform bounds for finite Morse index solutions to the Gelfand problem constructed via the continuity method.


title: Asymptotic stage of modulation instability for the nonlocal nonlinear Schr\"odinger equation

abstract: We study the initial value problem for the integrable nonlocal nonlinear Schr\"odinger (NNLS) equation \[ iq_{t}(x,t)+q_{xx}(x,t)+2 q^{2}(x,t)\bar{q}(-x,t)=0 \] with symmetric boundary conditions: $q(x,t)\to Ae^{2iA^2t}$ as $x\to\pm\infty$, where $A>0$ is an arbitrary constant. We describe the asymptotic stage of modulation instability for the NNLS equation by computing the large-time asymptotics of the solution $q(x,t)$ of this initial value problem. We shown that it exhibits a non-universal, in a sense, behavior: the asymptotics of $|q(x,t)|$ depends on details of the initial data $q(x,0)$. This is in a sharp contrast with the local classical NLS equation, where the long-time asymptotics of the solution depends on the initial value through the phase parameters only. The main tool used in this work is the inverse scattering transform method applied in the form of the matrix Riemann-Hilbert problem. The Riemann-Hilbert problem associated with the original initial value problem is analyzed asymptotically by the nonlinear steepest decent method.


title: Self-stabilization of light sails by damped internal degrees of freedom

abstract: We consider the motion of a light sail that is accelerated by a powerful laser beam. We derive the equations of motion for two proof-of-concept sail designs with damped internal degrees of freedom. Using linear stability analysis we show that perturbations of the sail movement in all lateral degrees of freedom can be damped passively. This analysis also shows complicated behaviour akin to that associated with exceptional points in PT-symmetric systems in optics and quantum mechanics. The excess heat that is produced by the damping mechanism is likely to be substantially smaller than the expected heating due to the partial absorption of the incident laser beam by the sail.


title: Segmentation of cell-level anomalies in electroluminescence images of photovoltaic modules

abstract: In the operation & maintenance (O&M) of photovoltaic (PV) plants, the early identification of failures has become crucial to maintain productivity and prolong components' life. Of all defects, cell-level anomalies can lead to serious failures and may affect surrounding PV modules in the long run. These fine defects are usually captured with high spatial resolution electroluminescence (EL) imaging. The difficulty of acquiring such images has limited the availability of data. For this work, multiple data resources and augmentation techniques have been used to surpass this limitation. Current state-of-the-art detection methods extract barely low-level information from individual PV cell images, and their performance is conditioned by the available training data. In this article, we propose an end-to-end deep learning pipeline that detects, locates and segments cell-level anomalies from entire photovoltaic modules via EL images. The proposed modular pipeline combines three deep learning techniques: 1. object detection (modified Faster-RNN), 2. image classification (EfficientNet) and 3. weakly supervised segmentation (autoencoder). The modular nature of the pipeline allows to upgrade the deep learning models to the further improvements in the state-of-the-art and also extend the pipeline towards new functionalities.


title: Wireless Communication Aided by Intelligent Reflecting Surface: Active or Passive?

abstract: In this letter, we consider an intelligent reflecting surface (IRS)-aided wireless communication system, where an active or passive IRS is employed to assist the communication between an access point and a user. First, we consider the downlink/uplink communication separately and optimize the IRS placement for rate maximization with an active or passive IRS. We show that the active IRS should be deployed closer to the receiver with the IRS's decreasing amplification power; while in contrast, the passive IRS should be deployed near either the transmitter or receiver. Moreover, with optimized IRS placement, the passive IRS is shown to outperform its active counterpart when the number of reflecting elements is sufficiently large and/or the active-IRS amplification power is too small. Next, we optimize the IRS placement for both active and passive IRSs to maximize the weighted sum-rate of uplink and downlink communications. We show that in this case, the passive IRS is more likely to achieve superior rate performance. This is because the optimal active-IRS placement needs to balance the rate performance in the uplink and downlink, while deploying the passive IRS near the transmitter or receiver is optimal regardless of the uplink or downlink.


title: Detection Of Primary User Emulation Attack (PUEA) In Cognitive Radio Networks Using One-Class Classification

abstract: Opportunistic usage of spectrum owned by licensed (or primary) users is the cornerstone on which the Cognitive Radio technology is built. Unlicensed (or secondary) users that thus use the spectrum rely opportunistically on spectrum sensing to determine the presence of primary user signal. In such a context, an attacker may mimic the behavior of a primary user (PU) to deceive the secondary users (SUs) into believing that a PU signal is present whereas it is not. Such an attack is known as the Primary User Emulation Attack (PUEA). A malicious user may launch a PUEA with the intention of grabbing the vacant bands for its own transmission. Another reason may be to simply disrupt the functioning of the Cognitive Radio Network (CRN). This work investigates the use of one-class classification for detecting PUEA in an infrastructure-based CRN. We opine that sensing data collected at the fusion center mainly for Collaborative Spectrum Sensing (CSS) can be exploited to characterize a PU signal. The PU signal features thus learned can aid in distinguishing a PU signal from a PU signal emulation. In particular, we investigate the use of one-class classification techniques, viz., Isolation Forest, Support Vector Machines (SVM), Minimum Covariance Determinant(MCD) and Local Outlier Factor(LOF) for detection of PUEA attacks. Simulation results support the validity of using one-class classification for detection of PUEA.


title: Fermat's principle in constant gravitational field

abstract: Recently (Int.Journ.Mod.Phys. D27 (2018), 1847025) an interesting property of closed light rings in Kerr black holes has been noticed. We explain its origin and derive a slightly more general result.