title: Benign overfitting without concentration

abstract: We obtain a sufficient condition for benign overfitting of linear regression problem. Our result does not rely on concentration argument but on small-ball assumption and thus can holds in heavy-tailed case. The basic idea is to establish a coordinate small-ball estimate in terms of effective rank so that we can calibrate the balance of epsilon-Net and exponential probability. Our result indicates that benign overfitting is not depending on concentration property of the input vector. Finally, we discuss potential difficulties for benign overfitting beyond linear model and a benign overfitting result without truncated effective rank.


title: Pathwise regularization of the stochastic heat equation with multiplicative noise through irregular perturbation

abstract: Existence and uniqueness of solutions to the stochastic heat equation with multiplicative spatial noise is studied. In the spirit of pathwise regularization by noise, we show that a perturbation by a sufficiently irregular continuous path establish wellposedness of such equations, even when the drift and diffusion coefficients are given as generalized functions or distributions. In addition we prove regularity of the averaged field associated to a L\'evy fractional stable motion, and use this as an example of a perturbation regularizing the multiplicative stochastic heat equation.


title: How to Train Your Agent to Read and Write

abstract: Reading and writing research papers is one of the most privileged abilities that a qualified researcher should master. However, it is difficult for new researchers (\eg{students}) to fully {grasp} this ability. It would be fascinating if we could train an intelligent agent to help people read and summarize papers, and perhaps even discover and exploit the potential knowledge clues to write novel papers. Although there have been existing works focusing on summarizing (\emph{i.e.}, reading) the knowledge in a given text or generating (\emph{i.e.}, writing) a text based on the given knowledge, the ability of simultaneously reading and writing is still under development. Typically, this requires an agent to fully understand the knowledge from the given text materials and generate correct and fluent novel paragraphs, which is very challenging in practice. In this paper, we propose a Deep ReAder-Writer (DRAW) network, which consists of a \textit{Reader} that can extract knowledge graphs (KGs) from input paragraphs and discover potential knowledge, a graph-to-text \textit{Writer} that generates a novel paragraph, and a \textit{Reviewer} that reviews the generated paragraph from three different aspects. Extensive experiments show that our DRAW network outperforms considered baselines and several state-of-the-art methods on AGENDA and M-AGENDA datasets. Our code and supplementary are released at https://github.com/menggehe/DRAW.


title: An atlas of the Richelot isogeny graph

abstract: We describe and illustrate the local neighbourhoods of vertices and edges in the (2, 2)-isogeny graph of principally polarized abelian surfaces, considering the action of automorphisms. Our diagrams are intended to build intuition for number theorists and cryptographers investigating isogeny graphs in dimension/genus 2, and the superspecial isogeny graph in particular.


title: New Insights into Time Series Analysis IV: Panchromatic and Flux Independent Period Finding Methods

abstract: New time-series analysis tools are needed in disciplines as diverse as astronomy, economics and meteorology. In particular, the increasing rate of data collection at multiple wavelengths requires new approaches able to handle these data. The panchromatic correlated indices $K^{(s)}_{(fi)}$ and $L^{(s)}_{(pfc)}$ are adapted to quantify the smoothness of a phased light-curve resulting in new period-finding methods applicable to single- and multi-band data. Simulations and observational data are used to test our approach. The results were used to establish an analytical equation for the amplitude of the noise in the periodogram for different false alarm probability values, to determine the dependency on the signal-to-noise ratio, and to calculate the yield-rate for the different methods. The proposed method has similar efficiency to that found for the String Length period method. The effectiveness of the panchromatic and flux independent period finding methods in single waveband as well as multiple-wavebands that share a fundamental frequency is also demonstrated in real and simulated data.


title: Automorphisms and isogeny graphs of abelian varieties, with applications to the superspecial Richelot isogeny graph

abstract: We investigate special structures due to automorphisms in isogeny graphs of principally polarized abelian varieties, and abelian surfaces in particular. We give theoretical and experimental results on the spectral and statistical properties of (2, 2)-isogeny graphs of superspecial abelian surfaces, including stationary distributions for random walks, bounds on eigenvalues and diameters, and a proof of the connectivity of the Jacobian subgraph of the (2, 2)-isogeny graph. Our results improve our understanding of the performance and security of some recently-proposed cryptosystems, and are also a concrete step towards a better understanding of general superspecial isogeny graphs in arbitrary dimension.


title: Disordered high-dimensional optimal control

abstract: Mean field optimal control problems are a class of optimization problems that arise from optimal control when applied to the many body setting. In the noisy case one has a set of controllable stochastic processes and a cost function that is a functional of their trajectories. The goal of the optimization is to minimize this cost over the control variables. Here we consider the case in which we have $N$ stochastic processes, or agents, with the associated control variables, which interact in a disordered way so that the resulting cost function is random. The goal is to find the average minimal cost for $N\to \infty$, when a typical realization of the quenched random interactions is considered. We introduce a simple model and show how to perform a dimensional reduction from the infinite dimensional case to a set of one dimensional stochastic partial differential equations of the Hamilton-Jacobi-Bellman and Fokker-Planck type. The statistical properties of the corresponding stochastic terms must be computed self-consistently, as we show explicitly.


title: Weingarten Calculus

abstract: We consider the problem of computing the integral $$ \int_{\mathcal{U}(d)} u_{i_1j_1}\cdots u_{i_nj_n} \bar{u}_{i'_1j'_1} \cdots \bar{u}_{i'_{n'}j'_{n'}} dU, $$ where the integration takes place with respect to the probability Haar measure on the unitary group $\mathcal{U}(d)$, and the $u_{ij}$ denotes the $ij$-th entry of a unitary matrix $U$. We present a unified approach connecting classical results, the explicit formula for the integral given by B. Collins and P. Sniady and subsequent works of various authors providing different points of view. Finally we are able to provide an explicit formula for the $2n$-th moment of the trace of a unitary Haar random matrix, generalizing a result of P. Diaconis.


title: Zombie Account Detection Based on Community Detection and Uneven Assignation PageRank

abstract: In the social media, there are a large amount of potential zombie accounts which may has negative impact on the public opinion. In tradition, PageRank algorithm is used to detect zombie accounts. However, problems such as it requires a large RAM to store adjacent matrix or adjacent list and the value of importance may approximately to zero for large graph exist. To solve the first problem, since the structure of social media makes the graph divisible, we conducted a community detection algorithm Louvain to decompose the whole graph into 1,002 subgraphs. The modularity of 0.58 shows the result is effective. To solve the second problem, we performed the uneven assignation PageRank algorithm to calculate the importance of node in each community. Then, a threshold is set to distinguish the zombie account and normal accounts. The result shows that about 20% accounts in the dataset are zombie accounts and they center in tier-one cities in China such as Beijing, Shanghai, and Guangzhou. In the future, a classification algorithm with semi-supervised learning can be used to detect zombie accounts.


title: Topological excitonic corner states and nodal phase in bilayer quantum spin Hall insulators

abstract: Interaction induced topological states remain one of the fascinating phases in condensed matter physics. The exciton condensate has recently sparked renewed interest due to the discovery of new candidate materials and its driving force to realize exotic topological states. In this work, we explore the exciton orders induced high-order topology in the bilayer quantum spin Hall insulators and find that the topological excitonic corner states can be realized by tuning the gate and magnetic field. When an in-plane Zeeman field is applied to the system, two or four excitonic boundary-obstructed corner states emerge in the bilayer system for distinct possible $s$-wave excitonic pairings. Besides, we also find a two-dimensional excitonic Weyl nodal phase, which supports flat band edge states connecting the bulk Weyl nodes.


title: Super fiber bundles, connection forms, and parallel transport

abstract: The present work provides a mathematically rigorous account on super fiber bundle theory, connection forms and their parallel transport, that ties together various approaches. We begin with a detailed introduction to super fiber bundles. We then introduce the concept of so-called relative supermanifolds as well as bundles and connections defined in these categories. Studying these objects turns out to be of utmost importance in order to, among other things, model anticommuting classical fermionic fields in mathematical physics. We then construct the parallel transport map corresponding to such connections and compare the results with those found by other means in the mathematical literature. Finally, applications of these methods to supergravity will be discussed such as the Cartan geometric formulation of Poincar\'e supergravity as well as the description of Killing vector fields and Killing spinors of super Riemannian manifolds arising from metric reductive super Cartan geometries.


title: Bivariate Infinite Series Solution of Kepler's Equations

abstract: A class of bivariate infinite series solutions of the elliptic and hyperbolic Kepler equations is described, adding to the handful of 1-D series that have been found throughout the centuries. This result is based on an iterative procedure for the analytical computation of all the higher-order partial derivatives of the eccentric anomaly with respect to the eccentricity $e$ and mean anomaly $M$ in a given base point $(e_c,M_c)$ of the $(e,M)$ plane. Explicit examples of such bivariate infinite series are provided, corresponding to different choices of $(e_c,M_c)$, and their convergence is studied numerically. In particular, the polynomials that are obtained by truncating the infinite series up to the fifth degree reach high levels of accuracy in significantly large regions of the parameter space $(e,M)$. Besides their theoretical interest, these series can be used for designing 2-D spline numerical algorithms for efficiently solving Kepler's equations for all values of the eccentricity and mean anomaly.


title: CLeaR: An Adaptive Continual Learning Framework for Regression Tasks

abstract: Catastrophic forgetting means that a trained neural network model gradually forgets the previously learned tasks when being retrained on new tasks. Overcoming the forgetting problem is a major problem in machine learning. Numerous continual learning algorithms are very successful in incremental learning of classification tasks, where new samples with their labels appear frequently. However, there is currently no research that addresses the catastrophic forgetting problem in regression tasks as far as we know. This problem has emerged as one of the primary constraints in some applications, such as renewable energy forecasts. This article clarifies problem-related definitions and proposes a new methodological framework that can forecast targets and update itself by means of continual learning. The framework consists of forecasting neural networks and buffers, which store newly collected data from a non-stationary data stream in an application. The changed probability distribution of the data stream, which the framework has identified, will be learned sequentially. The framework is called CLeaR (Continual Learning for Regression Tasks), where components can be flexibly customized for a specific application scenario. We design two sets of experiments to evaluate the CLeaR framework concerning fitting error (training), prediction error (test), and forgetting ratio. The first one is based on an artificial time series to explore how hyperparameters affect the CLeaR framework. The second one is designed with data collected from European wind farms to evaluate the CLeaR framework's performance in a real-world application. The experimental results demonstrate that the CLeaR framework can continually acquire knowledge in the data stream and improve the prediction accuracy. The article concludes with further research issues arising from requirements to extend the framework.


title: Twin Mechanical Metamaterials

abstract: By mimicking the geometrical relation of nano-twin crystals, we propose novel architected twin mechanical metamaterials (TMMs), which can impede local shearing band formation under external loading, thus avoiding global catastrophic failure. The effects of twin-space and twin angle on the mechanical performance of TMMs were also explored, such as: energy absorption, strength, and crack propagation resistance. The results showed that the twin topology design can not only significantly improve the energy-absorption efficiency but also remarkably improve the crack-propagation resistances of stretching-dominant mechanical metamaterials. We also studied the effect of twin-space and twin angle on the tensile strength of TMMs. This study is the first to report on the inverse Hall-Petch effect of TMMs. Our findings open an avenue for the design and fabrication of advanced materials with exceptionally tuneable mechanical properties.


title: Search for new physics via baryon EDM at LHC

abstract: Permanent electric dipole moments (EDMs) of fundamental particles provide powerful probes for physics beyond the Standard Model. We propose to search for the EDM of strange and charm baryons at LHC, extending the ongoing experimental program on the neutron, muon, atoms, molecules and light nuclei. The EDM of strange $\Lambda$ baryons, selected from weak decays of charm baryons produced in pp collisions at LHC, can be determined by studying the spin precession in the magnetic field of the detector tracking system. A test of CPT symmetry can be performed by measuring the magnetic dipole moment of $\Lambda$ and $\overline{\Lambda}$ baryons. For short-lived $\Lambda_c^+$ and $\Xi_c^+$ baryons, to be produced in a fixed-target experiment using the 7 TeV LHC beam and channeled in a bent crystal, the spin precession is induced by the intense electromagnetic field between crystal atomic planes. The experimental layout based on the LHCb detector and the expected sensitivities in the coming years are discussed.


title: Donut visualizations for network-level and regional-level overview of Spatial Social Networks

abstract: Spatial Social Networks (SSN) build on the node and edge structure used in Social Network Analysis (SNA) by incorporating spatial information. Thus, SSNs include both topological and spatial data. The geographic embedding of the nodes makes it impossible to move the nodes freely, rendering standard topological algorithms (e.g. force layout algorithms) used in SNA ineffective to visualize SSN sociograms. We propose a new visualization technique for SSNs that utilize the spatial and social information to provide information about the orientation and scale of connections. The donut visualization can be used to summarize the entire network or can be used on a part of the network. We demonstrate the effectiveness of the donut visualization on two standard SSNs used in literature.


title: Lassie: HOL4 Tactics by Example

abstract: Proof engineering efforts using interactive theorem proving have yielded several impressive projects in software systems and mathematics. A key obstacle to such efforts is the requirement that the domain expert is also an expert in the low-level details in constructing the proof in a theorem prover. In particular, the user needs to select a sequence of tactics that lead to a successful proof, a task that in general requires knowledge of the exact names and use of a large set of tactics. We present Lassie, a tactic framework for the HOL4 theorem prover that allows individual users to define their own tactic language by example and give frequently used tactics or tactic combinations easier-to-remember names. The core of Lassie is an extensible semantic parser, which allows the user to interactively extend the tactic language through a process of definitional generalization. Defining tactics in Lassie thus does not require any knowledge in implementing custom tactics, while proofs written in Lassie retain the correctness guarantees provided by the HOL4 system. We show through case studies how Lassie can be used in small and larger proofs by novice and more experienced interactive theorem prover users, and how we envision it to ease the learning curve in a HOL4 tutorial.


title: The Empirical Under-determination Argument Against Scientific Realism for Dual Theories

abstract: This paper explores the options available to the anti-realist to defend a Quinean empirical under-determination thesis using examples of dualities. I first explicate a version of the empirical under-determination thesis that can be brought to bear on theories of contemporary physics. Then I identify a class of examples of dualities that lead to empirical under-determination. But I argue that the resulting under-determination is benign, and is not a threat to a cautious scientific realism. Thus dualities are not new ammunition for the anti-realist. The paper also shows how the number of possible interpretative options about dualities that have been considered in the literature can be reduced, and suggests a general approach to scientific realism that one may take dualities to favour.


title: Weakly-Supervised Saliency Detection via Salient Object Subitizing

abstract: Salient object detection aims at detecting the most visually distinct objects and producing the corresponding masks. As the cost of pixel-level annotations is high, image tags are usually used as weak supervisions. However, an image tag can only be used to annotate one class of objects. In this paper, we introduce saliency subitizing as the weak supervision since it is class-agnostic. This allows the supervision to be aligned with the property of saliency detection, where the salient objects of an image could be from more than one class. To this end, we propose a model with two modules, Saliency Subitizing Module (SSM) and Saliency Updating Module (SUM). While SSM learns to generate the initial saliency masks using the subitizing information, without the need for any unsupervised methods or some random seeds, SUM helps iteratively refine the generated saliency masks. We conduct extensive experiments on five benchmark datasets. The experimental results show that our method outperforms other weakly-supervised methods and even performs comparably to some fully-supervised methods.


title: Modern Microscopy with the Web of Things: The OpenFlexure Microscope Software Stack

abstract: Automated and computerised control of scientific instrumentation is almost ubiquitous in the modern laboratory. Most instrumentation is controlled over decades old communication busses or is accessed via proprietary system libraries. This limits which languages and operating systems can be used to control instruments, and poses a significant problem when interfacing multiple instruments into the same experiment. Here we present the OpenFlexure Microscope software stack as an example of how a scientific instrument can be controlled using existing, cross-platform, language-independent, industry-supported standards. We split the control code into client and server applications interfaced via a web API that conforms to the W3C Web of Things standard. This enables simple control of the microscope from multiple languages, provides a modern graphical control interface, and minimises duplicated code. Network control also makes the software stack more robust, allows multiple microscopes to be controlled by one computer, and facilitates sharing of equipment between local or remote users. Using a Web of Things approach in research laboratories has the potential to solve many of the key challenges of experiment integration, using technology that is already well established.


title: Nonabelian ${\mathfrak so}_3$ Euler top

abstract: Using the nonabilinization procedure, we find an integrable matrix version of the Euler top on $\mathfrak{so}_3$


title: First-Order Methods for Convex Optimization

abstract: First-order methods for solving convex optimization problems have been at the forefront of mathematical optimization in the last 20 years. The rapid development of this important class of algorithms is motivated by the success stories reported in various applications, including most importantly machine learning, signal processing, imaging and control theory. First-order methods have the potential to provide low accuracy solutions at low computational complexity which makes them an attractive set of tools in large-scale optimization problems. In this survey we cover a number of key developments in gradient-based optimization methods. This includes non-Euclidean extensions of the classical proximal gradient method, and its accelerated versions. Additionally we survey recent developments within the class of projection-free methods, and proximal versions of primal-dual schemes. We give complete proofs for various key results, and highlight the unifying aspects of several optimization algorithms.


title: An O(n) algorithm for generating uniform random vectors in n-dimensional cones

abstract: Unbiased random vectors i.e. distributed uniformly in n-dimensional space, are widely applied and the computational cost of generating a vector increases only linearly with n. On the other hand, generating uniformly distributed random vectors in its subspaces typically involves the inefficiency of rejecting vectors falling outside, or re-weighting a non-uniformly distributed set of samples. Both approaches become severely ineffective as n increases. We present an efficient algorithm to generate uniformly distributed random directions in n-dimensional cones, to aid searching and sampling tasks in high dimensions.


title: Spectrum of Landau Levels in GaAs Quantum Wells

abstract: We have studied the optical and electrical spectra from an n i p LED as a function of magnetic field. This sample incorporated three GaAs quantum wells in the intrinsic region. This device had excess n type doping and as a result. The quantum wells were populated by a two dimension Landau electron gas. The broad B0 field emission band evolved into a series of discrete features in the presence of a magnetic field. These were identified as interband transitions between the different values of l. Landau levels associated with the sub-bands, with the selection rule. An energy splitting between the two polarised components was observed for each Landau level transition. This was found to be equal to the sum of the conduction and valence band spin splittings. We used the know value of electron g factor to determine the valence band spin splittings. Our experimental values were compared to the numerically calculated values and were found to be in reasonable agreement.


title: Where to cut to delay a pandemic with minimum disruption? Mathematical analysis based on the SIS model

abstract: We consider the problem of modifying a network topology in such a way as to delay the propagation of a disease with minimal disruption of the network capacity to reroute goods/items/passengers. We find an approximate solution to the Susceptible-Infected-Susceptible (SIS) model, which constitutes a tight upper bound to its exact solution. This upper bound allows direct structure-epidemic dynamic relations via the total communicability function. Using this approach we propose a strategy to remove edges in a network that significantly delays the propagation of a disease across the network with minimal disruption of its capacity to deliver goods/items/passengers. We apply this strategy to the analysis of the U.K. airport transportation network weighted by the number of passengers transported in the year 2003. We find that the removal of all flights connecting four origin-destination pairs in the U.K. delays the propagation of a disease by more than 300\%, with a minimal deterioration of the transportation capacity of this network. These time delays in the propagation of a disease represent an important non-pharmaceutical intervention to confront an epidemics, allowing for better preparations of the health systems, while keeping the economy moving with minimal disruptions.


title: CRSLab: An Open-Source Toolkit for Building Conversational Recommender System

abstract: In recent years, conversational recommender system (CRS) has received much attention in the research community. However, existing studies on CRS vary in scenarios, goals and techniques, lacking unified, standardized implementation or comparison. To tackle this challenge, we propose an open-source CRS toolkit CRSLab, which provides a unified and extensible framework with highly-decoupled modules to develop CRSs. Based on this framework, we collect 6 commonly-used human-annotated CRS datasets and implement 18 models that include recent techniques such as graph neural network and pre-training models. Besides, our toolkit provides a series of automatic evaluation protocols and a human-machine interaction interface to test and compare different CRS methods. The project and documents are released at https://github.com/RUCAIBox/CRSLab.


title: Using attention to model long-term dependencies in occupancy behavior

abstract: Models simulating household energy demand based on different occupant and household types and their behavioral patterns have received increasing attention over the last years due the need to better understand fundamental characteristics that shape the demand side. Most of the models described in the literature are based on Time Use Survey data and Markov chains. Due to the nature of the underlying data and the Markov property, it is not sufficiently possible to consider day to day dependencies in occupant behavior. An accurate mapping of day to day dependencies is of increasing importance for accurately reproducing mobility patterns and therefore for assessing the charging flexibility of electric vehicles. This study bridges the gap between energy related activity modelling and novel machine learning approaches with the objective to better incorporate findings from the field of social practice theory in the simulation of occupancy behavior. Weekly mobility data are merged with daily time use survey data by using attention based models. In a first step an autoregressive model is presented, which generates synthetic weekly mobility schedules of individual occupants and thereby captures day to day dependencies in mobility behavior. In a second step, an imputation model is presented, which enriches the weekly mobility schedules with detailed information about energy relevant at home activities. The weekly activity profiles build the basis for modelling consistent electricity, heat and mobility demand profiles of households. Furthermore, the approach presented forms the basis for providing data on socio-demographically differentiated occupant behavior to the general public.


title: Implementing CUDA Streams into AstroAccelerate -- A Case Study

abstract: To be able to run tasks asynchronously on NVIDIA GPUs a programmer must explicitly implement asynchronous execution in their code using the syntax of CUDA streams. Streams allow a programmer to launch independent concurrent execution tasks, providing the ability to utilise different functional units on the GPU asynchronously. For example, it is possible to transfer the results from a previous computation performed on input data n-1, over the PCIe bus whilst computing the result for input data n, by placing different tasks in different CUDA streams. The benefit of such an approach is that the time taken for the data transfer between the host and device can be hidden with computation. This case study deals with the implementation of CUDA streams into AstroAccelerate. AstroAccelerate is a GPU accelerated real-time signal processing pipeline for time-domain radio astronomy.


title: Reiterman's Theorem on Finite Algebras for a Monad

abstract: Profinite equations are an indispensable tool for the algebraic classification of formal languages. Reiterman's theorem states that they precisely specify pseudovarieties, i.e.~classes of finite algebras closed under finite products, subalgebras and quotients. In this paper, Reiterman's theorem is generalized to finite Eilenberg-Moore algebras for a monad T on a category D: we prove that a class of finite T-algebras is a pseudovariety iff it is presentable by profinite equations. As a key technical tool, we introduce the concept of a profinite monad associated to the monad T, which gives a categorical view of the construction of the space of profinite terms.


title: The Minimality of the Georges-Kelmans Graph

abstract: In 1971, Tutte wrote in an article that "it is tempting to conjecture that every 3-connected bipartite cubic graph is hamiltonian". Motivated by this remark, Horton constructed a counterexample on 96 vertices. In a sequence of articles by different authors several smaller counterexamples were presented. The smallest of these graphs is a graph on 50 vertices which was discovered independently by Georges and Kelmans. In this article we show that there is no smaller counterexample. As all non-hamiltonian 3-connected bipartite cubic graphs in the literature have cyclic 4-cuts -- even if they have girth 6 -- it is natural to ask whether this is a necessary prerequisite. In this article we answer this question in the negative and give a construction of an infinite family of non-hamiltonian cyclically 5-connected bipartite cubic graphs. In 1969, Barnette gave a weaker version of the conjecture stating that 3-connected planar bipartite cubic graphs are hamiltonian. We show that Barnette's conjecture is true up to at least 90 vertices. We also report that a search of small non-hamiltonian 3-connected bipartite cubic graphs did not find any with genus less than 4.


title: Compact complex non-K{\"a}hler manifolds associated with totally real reciprocal units

abstract: Using the theory of totally real number fields we construct a new class of compact complex non-K{\"a}hler manifolds in every even complex dimension and study their analytic and geometric properties.


title: Active Electric Dipole Energy Sources: Transduction via Electric Scalar and Vector Potentials

abstract: An active electrical network contains a voltage or current source that creates electromagnetic energy through a method of transduction that enables the separation of opposite polarity charges from an external source. The end result is the creation of an active dipole with a permanent polarisation and a non-zero electric vector curl. The external energy input impresses a force per unit charge within the voltage source, to form an active physical dipole in the static case, or an active Hertzian dipole in the time dependent case. This system is the dual of an electromagnet or permanent magnet excited by a circulating electrical current or fictitious bound current respectively, which supplies a magnetomotive force described by a magnetic vector potential with a magnetic geometric phase proportional to the enclosed magnetic flux. In contrast, the active electric dipole may be described macroscopically by a circulating fictitious magnetic current boundary source described by an electric vector potential with an electric geometric phase proportional to the enclosed electric flux density. This macroscopic description of an active dipole is an average description of some underlying microscopic description exhibiting emergent nonconservative behaviour not found in classical conservative laws of electrodynamics. We show that the electromotive force produced by an active dipole must have both electric scalar and vector potential components to account for the magnitude of the voltage it produces. Following this we analyse an active cylindrical dipole in terms of scalar and vector potential and confirm that the electromotive force produced, and hence potential difference across the terminals is a combination of vector and scalar potential difference depending on aspect ratio of the dipole.


title: A compact manifold with infinite-dimensional co-invariant cohomology

abstract: Let $M$ be a smooth manifold. When $\Gamma$ is a group acting on the manifold $M$ by diffeomorphisms one can define the $\Gamma$-co-invariant cohomology of $M$ to be the cohomology of the differential complex $\Omega_c(M)_\Gamma=\mathrm{span}\{\omega-\gamma^*\omega,\;\omega\in\Omega_c(M),\;\gamma\in\Gamma\}.$ For a Lie algebra $\mathcal{G}$ acting on the manifold $M$, one defines the cohomology of $\mathcal{G}$-divergence forms to be the cohomology of the complex $\mathcal{C}_{\mathcal{G}}(M)=\mathrm{span}\{L_X\omega,\;\omega\in\Omega_c(M),\;X\in\mathcal{G}\}.$ In this short paper we present a situation where these two cohomologies are infinite dimensional.


title: Data driven Dirichlet sampling on manifolds

abstract: This article presents a novel method to sampling on manifolds based on the Dirichlet distribution. The proposed strategy allows to completely respect the underlying manifold around which data is observed, and to do massive samplings with low computational effort. This can be very helpful, for instance, in neural networks training process, as well as in uncertainty analysis and stochastic optimization. Due to its simplicity and efficiency, we believe that the new method has great potential. Three manifolds (two dimensional ring, Mobius strip and spider geometry) are considered to test the proposed methodology, and then it is employed to an engineering application, related to gas seal coefficients.


title: Classification and Segmentation of Pulmonary Lesions in CT Images Using a Combined VGG-XGBoost Method, and an Integrated Fuzzy Clustering-Level Set Technique

abstract: Given that lung cancer is one of the deadliest illnesses, early identification and diagnosis are critical to preserving a patient's life. However, lung illness diagnosis is time-intensive and requires the expertise of a pulmonary disease specialist, subject to a significant rate of inaccuracy. Our objective is to design a system capable of accurately detecting and classifying lung lesions and segmenting them in CT-scan images. The suggested technique extracts features automatically from the CT-scan image and then classifies them using Ensemble Gradient Boosting methods. Finally, if a lesion is detected in the CT-scan image, it is segmented using a hybrid approach based on Fuzzy Clustering and Level Set. To train and test our models we gathered a dataset that included CT images of patients residing in Mashhad, Iran. Finally, the results indicate 96% accuracy within this dataset. This approach may assist clinicians in diagnosing lung abnormalities and avoiding potential errors.


title: Nonlinear modal analysis of nonconservative systems: Extension of the periodic motion concept

abstract: As the motions of nonconservative autonomous systems are typically not periodic, the definition of nonlinear modes as periodic motions cannot be applied in the classical sense. In this paper, it is proposed 'make the motions periodic' by introducing an additional damping term of appropriate sign and magnitude. It is shown that this generalized definition is particularly suited to reflect the periodic vibration behavior induced by harmonic external forcing or negative linear damping. In a large range, the energy dependence of modal frequency, damping ratio and stability is reproduced well. The limitation to isolated or weakly-damped modes is discussed.


title: A downsampling strategy to assess the predictive value of radiomic features

abstract: Many studies are devoted to the design of radiomic models for a prediction task. When no effective model is found, it is often difficult to know whether the radiomic features do not include information relevant to the task or because of insufficient data. We propose a downsampling method to answer that question when considering a classification task into two groups. Using two large patient cohorts, several experimental configurations involving different numbers of patients were created. Univariate or multivariate radiomic models were designed from each configuration. Their performance as reflected by the Youden index (YI) and Area Under the receiver operating characteristic Curve (AUC) was compared to the stable performance obtained with the highest number of patients. A downsampling method is described to predict the YI and AUC achievable with a large number of patients. Using the multivariate models involving machine learning, YI and AUC increased with the number of patients while they decreased for univariate models. The downsampling method better estimated YI and AUC obtained with the largest number of patients than the YI and AUC obtained using the number of available patients and identifies the lack of information relevant to the classification task when no such information exists.


title: Significance of lower energy density region of neutron star and universalities among neutron star properties

abstract: We have constructed and compared models of rotating neutron stars and strange stars, within the Hartle framework. The significance of the low energy density region and crust region inside the neutron star has been studied, along with how much the existence of strange matter above the energy density 300 MeV/fm3 can affect the neutron star properties. We have confirmed several universalities among the neutron star properties such as, dimensionless moment of inertia vs dimensionless quadrupole moment, dimensionless tidal deformability vs dimensionless moment of inertia and moment of inertia parameters vs R/2M.


title: Effect of an external electric field on local magnetic moments in silicene

abstract: In this work we analyze the effects of the application of an external electric field in the formation of a local magnetic moment in silicene. By adding an impurity in a top site in the host lattice and computing the real and imaginary part of the self-energy of the impurity energy level, the polarized density of states is used in order to obtain the occupation number of the up and down spin formation in the impurity considering the mean field approximation. Unequal occupation numbers is the precursor of a formation of a local magnetic moment and this depends critically on the Hubbard parameter, the on-site energy of the impurity, the spin-orbit interaction in silicene and the electric field applied. In particular, it is shown that in the absence of electric field, the boundary between the magnetic and non-magnetic phases increases with the spin-orbit interaction with respect to graphene with a top site impurity and shrinks and narrows it when the electric field is turned on. The electric field effect is studied for negative and positive on-site impurity energies generalizing the results obtained in the literature for graphene.


title: Exciton radiative lifetime in a monoatomic carbon chain

abstract: Linear carbon-based materials such as polyyne and cumulene oligomers provide a versatile platform for nano-physics and engineering. Direct gap quasi-1D polyyne structures are promising for the observation of strong and unusual excitonic eects arising due to the two-dimensional quantum connement. Recently, we reported on the observation of sharp exciton peaks in low temperature photoluminescence spectra of polyyne chains. Here, we analyse the time-resolved optical response of this system. We extend the non-local dielectric response theory to predict the exciton radiative lifetime dependence on the band-gap value and on the length of the chain. A good agreement between the experiment and the theory is achieved.


title: Dispersion of Light Traveling through the Interstellar Space, Induced and Intrinsic Lorentz Invariance Violation

abstract: Theoretical models and experimental observations suggest that gamma-ray bursts (GRB) and high-energy neutrino bursts travelling through the interstellar space may reach the Earth at different speeds. We propose and study in details the mechanism i), which always exists, where GRB are slowed down due to the dispersion of light in the interstellar medium. In addition to the standard media such as electrons and photons as CMB, we consider the medium with invisible axions. The amount of GRB delays in different media are calculated in details utilizing a novel technique in QFT by using the hitherto known or estimated densities of particles in the space without introducing any arbitrary parameter. Previously, the GRB delays have been interpreted as a sign of Lorentz invariance violation by modifying the dispersion relation of Special Relativity, which relates the energy, the momentum and the mass of a particle, based on different mechanisms ii), such as a stringy spacetime foam, coming from a quantum gravity effect and using an adjustable parameter. Obviously, all the above-mentioned mechanisms i) and ii) are induced (seeming) Lorentz invariance violations but not an intrinsic (genuine) one. The amount of GRB delay due to the two aforementioned interpretations can be distinguished by observing the time of arrival of light with different frequencies. Namely, dispersion of light i) predicts that the higher energy GRB arrive the Earth earlier, while in the other interpretations ii), they arrive later. We notice that the needed amount for delay due to the dispersion of light shall have the potential power to shed additional light on the microstructure of interstellar media with respect to the densities of constituent particles and the origins of their sources. Finally, we indicate the ways to detect the intrinsic Lorentz invariance violation and to interpret them theoretically.


title: Resonances in $^{12}$C and $^{24}$Mg: what do we learn from a microscopic cluster theory?

abstract: We discuss resonance properties in three-body systems, with examples on $^{12}{\rm C}$ and $^{24}{\rm Mg}$. We use a microscopic cluster model, where the generator coordinate is defined in the hyperspherical formalism. The $^{12}{\rm C}$ nucleus is described by an $\alpha+\alpha+\alpha$ structure, whereas $^{24}{\rm Mg}$ is considered as an $^{16}{\rm O}+\alpha+\alpha$ system. We essentially pay attention to resonances. We review various techniques which may extend variational methods to resonances. We consider $0^+$ and $2^+$ states in $^{12}{\rm C}$ and $^{24}{\rm Mg}$. We show that the r.m.s. radius of a resonance is strongly sensitive to the variational basis. This has consequences for the Hoyle state ($0^+_2$ state in $^{12}{\rm C}$) whose radius has been calculated or measured in several works. In $^{24}{\rm Mg}$, we identify two $0^+$ resonances slightly below the three-body threshold.


title: Computable Random Variables and Conditioning

abstract: The aim of this paper is to present an elementary computable theory of random variables, based on the approach to probability via valuations. The theory is based on a type of lower-measurable sets, which are controlled limits of open sets, and extends existing work in this area by providing a computable theory of conditional random variables. The theory is based within the framework of type-two effectivity, so has an explicit direct link with Turing computation, and is expressed in a system of computable types and operations, so has a clean mathematical description.


title: Relativistic Rocket Control (Relativistic Space-Travel Flight Control): Feedback Control of Relativistic Dynamics Propelled by Ejecting Mass

abstract: In this short note, we investigate the feedback control of relativistic dynamics propelled by mass ejection, modeling, e.g., the relativistic rocket control or the relativistic (space-travel) flight control. As an extreme case, we also examine the control of relativistic photon rockets which are propelled by ejecting photons.


title: Scalable Online Conformance Checking Using Incremental Prefix-Alignment Computation

abstract: Conformance checking techniques aim to collate observed process behavior with normative/modeled process models. The majority of existing approaches focuses on completed process executions, i.e., offline conformance checking. Recently, novel approaches have been designed to monitor ongoing processes, i.e., online conformance checking. Such techniques detect deviations of an ongoing process execution from a normative process model at the moment they occur. Thereby, countermeasures can be taken immediately to prevent a process deviation from causing further, undesired consequences. Most online approaches only allow to detect approximations of deviations. This causes the problem of falsely detected deviations, i.e., detected deviations that are actually no deviations. We have, therefore, recently introduced a novel approach to compute exact conformance checking results in an online environment. In this paper, we focus on the practical application and present a scalable, distributed implementation of the proposed online conformance checking approach. Moreover, we present two extensions to said approach to reduce its computational effort and its practical applicability. We evaluate our implementation using data sets capturing the execution of real processes.


title: F-manifold color algebras

abstract: In this paper, we introduce the notion of F-manifold color algebras and study their properties which extend some results for F-manifold algebras.


title: The new method to create Single Bubble Sonoluminescence

abstract: Sonoluminescence is a phenomenon which is known for some time, relatively easy to produce but still not fully understood. A milestone was discovery of procedure for creating Single Bubble Sonoluminescene (SBSL) \cite{gaitan} in 1989. Sonoluminescence in single bubble at well defined conditions, periodically produced for a long time, is well suited for a systematic study. This procedure for SBSL was for many years considered as standard one for a study this interesting phenomenon. About single bubble sonoluminescence was published wealth of sometime very surprising results, however generally accepted solution to the problem is still missing. Another way (technique based on water hammer) to produce sonoluminescence was published in 2003 \cite{waterham}. By this method many orders of magnitude stronger signal in comparison with standard procedure can be produced and also new phenomena have been observed. In this paper we describe another method to produce relatively stable SBSL. New technique is closely related to standard one. But it for example does not need degassing of working liquid and there is one more handle for a study of the sonoluminescence.


title: Learning Differentially Private Mechanisms

abstract: Differential privacy is a formal, mathematical definition of data privacy that has gained traction in academia, industry, and government. The task of correctly constructing differentially private algorithms is non-trivial, and mistakes have been made in foundational algorithms. Currently, there is no automated support for converting an existing, non-private program into a differentially private version. In this paper, we propose a technique for automatically learning an accurate and differentially private version of a given non-private program. We show how to solve this difficult program synthesis problem via a combination of techniques: carefully picking representative example inputs, reducing the problem to continuous optimization, and mapping the results back to symbolic expressions. We demonstrate that our approach is able to learn foundational algorithms from the differential privacy literature and significantly outperforms natural program synthesis baselines.


title: Hybrid FEM-NN models: Combining artificial neural networks with the finite element method

abstract: We present a methodology combining neural networks with physical principle constraints in the form of partial differential equations (PDEs). The approach allows to train neural networks while respecting the PDEs as a strong constraint in the optimisation as apposed to making them part of the loss function. The resulting models are discretised in space by the finite element method (FEM). The method applies to both stationary and transient as well as linear/nonlinear PDEs. We describe implementation of the approach as an extension of the existing FEM framework FEniCS and its algorithmic differentiation tool dolfin-adjoint. Through series of examples we demonstrate capabilities of the approach to recover coefficients and missing PDE operators from observations. Further, the proposed method is compared with alternative methodologies, namely, physics informed neural networks and standard PDE-constrained optimisation. Finally, we demonstrate the method on a complex cardiac cell model problem using deep neural networks.


title: Characterizing (Un)moderated Textual Data in Social Systems

abstract: Despite the valuable social interactions that online media promote, these systems provide space for speech that would be potentially detrimental to different groups of people. The moderation of content imposed by many social media has motivated the emergence of a new social system for free speech named Gab, which lacks moderation of content. This article characterizes and compares moderated textual data from Twitter with a set of unmoderated data from Gab. In particular, we analyze distinguishing characteristics of moderated and unmoderated content in terms of linguistic features, evaluate hate speech and its different forms in both environments. Our work shows that unmoderated content presents different psycholinguistic features, more negative sentiment and higher toxicity. Our findings support that unmoderated environments may have proportionally more online hate speech. We hope our analysis and findings contribute to the debate about hate speech and benefit systems aiming at deploying hate speech detection approaches.


title: Meromorphic functions partially share three values with their difference operators

abstract: In this paper, we give a simple proof and strengthening of a uniqueness theorem of meromorphic functions which partially share 0, $\infty$ CM and 1 IM with their difference operators. Meanwhile, we partial solve a conjecture given by Chen-Yi in \cite{CY} and generalize some previous theorems in \cite{C, CX}.


title: Self-tuning kinetic gravity braiding: Cosmological dynamics, shift symmetry, and the tadpole

abstract: We study the self-tuning subclass of kinetic gravity braiding and obtain robust predictions on self-tuning and dynamics in the tadpole-free shift symmetric sector of the theory. In particular, we show inevitability of cosmic acceleration, prove the dynamical stability of this late-time asymptotic state, and derive ghost and gradient stability constraints on the self-tuning vacuum. We discuss the results concretely in the context of generalized cubic covariant Galileon theory and an exponential kinetic gravity braiding.


title: Markov models of coarsening in two-dimensional foams with edge rupture

abstract: We construct Markov processes for modeling the rupture of edges in a two-dimensional foam. We first describe a network model for tracking topological information of foam networks with a state space of combinatorial embeddings. Through a mean-field rule for randomly selecting neighboring cells of a rupturing edge, we consider a simplified version of the network model in the sequence space $\ell_1(\mathbb N)$ which counts total numbers of cells with $n\ge 3$ sides ($n$-gons). Under a large cell limit, we show that number densities of $n$-gons in the mean field model are solutions of an infinite system of nonlinear kinetic equations. This system is comparable to the Smoluchowski coagulation equation for coalescing particles under a multiplicative collision kernel, suggesting gelation behavior. Numerical simulations reveal gelation in the mean-field model, and also comparable statistical behavior between the network and mean-field models.


title: A Predictive Model for Geographic Distributions of Mangroves

abstract: Climate change is an impending disaster which is of pressing concern more and more every year. Countless efforts have been made to study the long-term effects of climate change on agriculture, land resources, and biodiversity. Studies involving marine life, however, are less prevalent in the literature. Our research studies the available data on the population of mangroves (groups of shrubs or small trees living in saline coastal intertidal zones) and their correlations to climate change variables, specifically, temperature, heat content, various sea levels, and sea salinity. Mangroves are especially relevant to oceanic ecosystems because of their protective nature towards other marine life, as well as their high absorption rate of carbon dioxide, and their ability to withstand varying levels of salinity of our coasts. The change in global distribution was studied based on global distributions of the previous year, as well as ocean heat content, salinity, temperature, halosteric sea level, thermosteric sea level, and total steric sea level. The best performing predictive model was a support vector regressor, which yielded a correlation coefficient of 0.9998.


title: Quasinormal modes expansions for nanoresonators made of absorbing dielectric materials: study of the role of static modes

abstract: The interaction of light with photonic resonators is determined by the eigenmodes of the system. Modal theories based on quasinormal modes provide a natural tool to calculate and understand light scattering by nanoresonators. We show that, in the case of resonators made of absorbing dielectric materials, eigenmodes with zero eigenfrequency (static modes) play a key role in the modal formalism. The excitation of static modes builds a non-resonant contribution to the modal expansion of the scattered field. This non-resonant term plays a crucial physical role since it largely contributes to the off-resonance signal to which resonances are added in amplitude, possibly leading to interference phenomena and Fano resonances. By considering light scattering by a silicon nanosphere, we quantify the impact of static modes. This study shows that the importance of static modes is not just formal. Modal expansions without static modes reconstruct an incorrect internal field and incorrect extinction and absorption cross-sections. Static modes are of prime importance in an expansion truncated to only a few modes.


title: Understanding Power Consumption and Reliability of High-Bandwidth Memory with Voltage Underscaling

abstract: Modern computing devices employ High-Bandwidth Memory (HBM) to meet their memory bandwidth requirements. An HBM-enabled device consists of multiple DRAM layers stacked on top of one another next to a compute chip (e.g. CPU, GPU, and FPGA) in the same package. Although such HBM structures provide high bandwidth at a small form factor, the stacked memory layers consume a substantial portion of the package's power budget. Therefore, power-saving techniques that preserve the performance of HBM are desirable. Undervolting is one such technique: it reduces the supply voltage to decrease power consumption without reducing the device's operating frequency to avoid performance loss. Undervolting takes advantage of voltage guardbands put in place by manufacturers to ensure correct operation under all environmental conditions. However, reducing voltage without changing frequency can lead to reliability issues manifested as unwanted bit flips. In this paper, we provide the first experimental study of real HBM chips under reduced-voltage conditions. We show that the guardband regions for our HBM chips constitute 19% of the nominal voltage. Pushing the supply voltage down within the guardband region reduces power consumption by a factor of 1.5X for all bandwidth utilization rates. Pushing the voltage down further by 11% leads to a total of2.3X power savings at the cost of unwanted bit flips. We explore and characterize the rate and types of these reduced-voltage-induced bit flips and present a fault map that enables the possibility of a three-factor trade-off among power, memory capacity, and fault rate.


title: Extremal solution and Liouville theorem for anisotropic elliptic equations

abstract: We study the quasilinear Dirichlet boundary problem \begin{equation}\nonumber \left\{ \begin{aligned} -Qu&=\lambda e^{u} \quad \mbox{in}\quad\Omega\\ u&=0 \quad \mbox{on}\quad\partial\Omega,\\ \end{aligned} \right. \end{equation} where $\lambda>0$ is a parameter, $\Omega\subset\mathbb{R}^{N}$ with $N\geq2$ be a bounded domain, and the operator $Q$, known as Finsler-Laplacian or anisotropic Laplacian, is defined by $$Qu:=\sum_{i=1}^{N}\frac{\partial}{\partial x_{i}}(F(\nabla u)F_{\xi_{i}}(\nabla u)). $$ Here, $F_{\xi_{i}}=\frac{\partial F}{\partial\xi_{i}}$ and $F: \mathbb{R}^{N}\rightarrow[0,+\infty)$ is a convex function of $ C^{2}(\mathbb{R}^{N}\setminus\{0\})$, that satisfies certain assumptions. We derive the existence of extremal solution and obtain that it's regular, if $N\leq9$. We also concern the H\'{e}non type anisotropic Liouville equation, namely, $$-Qu=(F^{0}(x))^{\alpha}e^{u}\quad\mbox{in}\quad\mathbb{R}^{N}$$ where $\alpha>-2$, $N\geq2$ and $F^{0}$ is the support function of $K:=\{x\in\mathbb{R}^{N}:F(x)<1\}$ which is defined by $$F^{0}(x):=\sup_{\xi\in K}\langle x,\xi\rangle.$$ We obtain the Liouville theorem for stable solutions and the finite Morse index solutions for $2\leq N<10+4\alpha$ and $3\leq N<10+4\alpha^{-}$ respectively, where $\alpha^{-}=\min\{\alpha,0\}$.


title: Exact solutions of a mathematical model describing competition and co-existence of different language speakers

abstract: The known three-component reaction-diffusion system modeling competition and co-existence of different language speakers is under study. A modification of this system is proposed, which is examined by Lie symmetry method; furthermore exact solutions in the form of traveling fronts are constructed and their properties are identified. Plots of the traveling fronts are presented and the relevant interpretation describing the language shift occurred in Ukraine during the Soviet times is suggested.


title: Ultracold atom interferometry in space

abstract: Bose-Einstein condensates (BECs) in free fall constitute a promising source for space-borne matter-wave interferometry. Indeed, BECs enjoy a slowly expanding wave function, display a large spatial coherence and can be engineered and probed by optical techniques. On a sounding rocket, we explore matter-wave fringes of multiple spinor components of a BEC released in free fall employing light-pulses to drive Bragg processes and induce phase imprinting. The prevailing microgravity played a crucial role in the observation of these interferences which not only reveal the spatial coherence of the condensates but also allow us to measure differential forces. Our work establishes matter-wave interferometry in space with future applications in fundamental physics, navigation and Earth observation.


title: Towards Robust Data Hiding Against (JPEG) Compression: A Pseudo-Differentiable Deep Learning Approach

abstract: Data hiding is one widely used approach for protecting authentication and ownership. Most multimedia content like images and videos are transmitted or saved in the compressed form. This kind of lossy compression, such as JPEG, can destroy the hidden data, which raises the need of robust data hiding. It is still an open challenge to achieve the goal of data hiding that can be against these compressions. Recently, deep learning has shown large success in data hiding, while non-differentiability of JPEG makes it challenging to train a deep pipeline for improving robustness against lossy compression. The existing SOTA approaches replace the non-differentiable parts with differentiable modules that perform similar operations. Multiple limitations exist: (a) large engineering effort; (b) requiring a white-box knowledge of compression attacks; (c) only works for simple compression like JPEG. In this work, we propose a simple yet effective approach to address all the above limitations at once. Beyond JPEG, our approach has been shown to improve robustness against various image and video lossy compression algorithms.


title: Effect of W and Mo co-doping on the photo- and thermally stimulated luminescence and defects creation processes in Gd3(Ga,Al)5O12:Ce crystals

abstract: Photo- and thermally stimulated luminescence characteristics of Gd3(Ga,Al)5O12:Ce single crystals co-doped with W and Mo are investigated in the 85 - 510 K temperature range and compared with the corresponding characteristics of the undoped and Ce3+ - doped Gd3(Ga,Al)5O12 single crystals of similar composition. A strong effect of the W and Mo impurity ions appears in the photoluminescence spectra and temperature dependences of the photoluminescence intensity, afterglow intensity and decay kinetics, thermally stimulated luminescence (TSL) intensity and TSL glow curves, excitation spectra of the TSL glow curve peaks and activation energy of their creation. The obtained results are explained by the enhancement of the intrinsic emission contribution into the luminescence spectrum of Gd3(Ga,Al)5O12:Ce,W and Gd3(Ga,Al)5O12:Ce,Mo due to a large concentration of various W - and Mo - related electron traps in these crystals and, consequently, the O- - type hole centers, as well as intrinsic crystal lattice defects (e.g., cation vacancies needed for the excess positive charge compensation of the W6+ and Mo6+ ions). The influence of the co-doping with W and Mo ions on the scintillation characteristics of Gd3(Ga,Al)5O12:Ce is discussed.


title: A Study on Erd\H{o}s-Straus conjecture on Diophantine equation $\frac{4}{n}=\frac{1}{x}+\frac{1}{y}+\frac{1}{z}$

abstract: The Erd\H{o}s-Straus conjecture is a renowned problem which describes that for every natural number $n~(\ge 2)$, $\frac{4}{n}$ can be represented as the sum of three unit fractions. The main purpose of this study is to show that the Erd\H{o}s-Straus conjecture is true. The study also re-demonstrates Mordell theorem which states that $\frac{4}{n}$ has a expression as the sum of three unit fractions for every number $n$ except possibly for those primes of the form $n\equiv r$ (mod 780) with $r=1^2,11^2,13^2,17^2,19^2,23^2$. For $l,r,a\in\mathbb{N}$; $\frac{4}{24l+1}-\frac{1}{6l+r}=\frac{4r-1}{(6l+r)(24l+1)}$ with $1\le r\le 12l$, if at least one of the sums in right side of the expression, say, $a+(4r-a-1),~1\le a\le 2r-1$ for at least one of the possible value of $r$ such that $a,(4r-a-1)$ divide $(6l+r)(24l+1)$; then the conjecture is valid for the corresponding $l$. However, in this way the conjecture can not be proved only twelve values of $l$ for $l$ up to $l=10^5$.


title: Nested Coordinate Systems in Geometric Algebra

abstract: A nested coordinate system is a reassigning of independent variables to take advantage of geometric or symmetry properties of a particular application. Polar, cylindrical and spherical coordinate systems are primary examples of such a regrouping that have proved their importance in the separation of variables method for solving partial differential equations. Geometric algebra offers powerful complimentary algebraic tools that are unavailable in other treatments.


title: Towards Understanding the Behaviors of Optimal Deep Active Learning Algorithms

abstract: Active learning (AL) algorithms may achieve better performance with fewer data because the model guides the data selection process. While many algorithms have been proposed, there is little study on what the optimal AL algorithm looks like, which would help researchers understand where their models fall short and iterate on the design. In this paper, we present a simulated annealing algorithm to search for this optimal oracle and analyze it for several tasks. We present qualitative and quantitative insights into the behaviors of this oracle, comparing and contrasting them with those of various heuristics. Moreover, we are able to consistently improve the heuristics using one particular insight. We hope that our findings can better inform future active learning research. The code is available at https://github.com/YilunZhou/optimal-active-learning.


title: New integral formulas and identities involving special numbers and functions derived from certain class of special combinatorial sums

abstract: By applying p-adic integral on the set of p-adic integers in [27] (Interpolation Functions for New Classes Special Numbers and Polynomials via Applications of p-adic Integrals and Derivative Operator, Montes Taurus J. Pure Appl. Math. 3 (1), ...--..., 2021 Article ID: MTJPAM-D-20-00000), we constructed generating function for the special numbers and polynomials involving the following combinatorial sum and numbers: y(n,\lambda )=\sum_{j=0}^{n}\frac{(-1)^{n}}{(j+1)\lambda ^{j+1}\left(\lambda -1\right) ^{n+1-j}} The aim of this paper is to use the numbers y(n,{\lambda}) to derive some new and novel identities and formulas associated with the Bernstein basis functions, the Fibonacci numbers, the Harmonic numbers, the alternating Harmonic numbers, binomial coefficients and new integral formulas for the Riemann integral. We also investigate and study on open problems involving the numbers y(n,{\lambda}) in [27]. Moreover, we give relation among the numbers y(n,(1/2)), the Digamma function, and the Euler constant. Finally, we give conclusions for the results of this paper with some comments and observations.


title: Construction and classification of p-ring class fields modulo p-admissible conductors

abstract: Each p-ring class field K(f) modulo a p-admissible conductor f over a quadratic base field K with p-ring class rank r(f) mod f is classified according to Galois cohomology and differential principal factorization type of all members of its associated heterogeneous multiplet M(K(f))=[(N(c,i))_{1<=i<=m(c)}]_{c|f} of dihedral fields N(c,i) with various conductors c|f having p-multiplicities m(c) over K such that sum_{c|f} m(c)=(p^r(f)-1)/(p-1). The advanced viewpoint of classifying the entire collection M(K(f)), instead of its individual members separately, admits considerably deeper insight into the class field theoretic structure of ring class fields, and the actual construction of the multiplet M(K(f)) is enabled by exploiting the routines for abelian extensions in the computational algebra system Magma.


title: Giant plasmonic bubbles nucleation under different ambient pressures

abstract: Water-immersed gold nanoparticles irradiated by a laser can trigger the nucleation of plasmonic bubbles after a delay time of a few microseconds [Wang et al., Proc. Natl. Acad. Sci. USA 122, 9253,(2018)]. Here we systematically investigated the light-vapor conversion efficiency, {\eta}, of these plasmonic bubbles as a function of the ambient pressure. The efficiency of the formation of these initial-phase and mainly water-vapor containing bubbles, which is defined as the ratio of the energy that is required to form the vapor bubbles and the total energy dumped in the gold nanoparticles before nucleation of the bubble by the laser, can be as high as 25%. The amount of vaporized water first scales linearly with the total laser energy dumped in the gold nanoparticles before nucleation, but for larger energies the amount of vaporized water levels off. The efficiency {\eta} decreases with increasing ambient pressure. The experimental observations can be quantitatively understood within a theoretical framework based on the thermal diffusion equation and the thermal dynamics of the phase transition.


title: Coherence and Concentration in Tightly-Connected Networks

abstract: The ability to achieve coordinated behavior -- engineered or emergent -- on networked systems has attracted widespread interest over several fields. This interest has led to remarkable advances in developing a theoretical understanding of the conditions under which agents within a network can reach an agreement (consensus) or develop coordinated behavior, such as synchronization. However, much less understood is the phenomenon of network coherence. Network coherence generally refers to nodes' ability in a network to have a similar dynamic response despite heterogeneity in their individual behavior. In this paper, we develop a general framework to analyze and quantify the level of network coherence that a system exhibits by relating coherence with a low-rank property of the system. More precisely, for a networked system with linear dynamics and coupling, we show that, as the network connectivity grows, the system transfer matrix converges to a rank-one transfer matrix representing the coherent behavior. Interestingly, the non-zero eigenvalue of such a rank-one matrix is given by the harmonic mean of individual nodal dynamics, and we refer to it as the coherent dynamics. Our analysis unveils the frequency-dependent nature of coherence and a non-trivial interplay between dynamics and network topology. We further show that many networked systems can exhibit similar coherent behavior by establishing a concentration result in a setting with randomly chosen individual nodal dynamics.


title: Uncertainty-Wizard: Fast and User-Friendly Neural Network Uncertainty Quantification

abstract: Uncertainty and confidence have been shown to be useful metrics in a wide variety of techniques proposed for deep learning testing, including test data selection and system supervision.We present uncertainty-wizard, a tool that allows to quantify such uncertainty and confidence in artificial neural networks. It is built on top of the industry-leading tf.keras deep learning API and it provides a near-transparent and easy to understand interface. At the same time, it includes major performance optimizations that we benchmarked on two different machines and different configurations.


title: Blockchain platform for COVID-19 vaccine supply management

abstract: In the context of the COVID-19 pandemic, the rapid roll-out of a vaccine and the implementation of a worldwide immunization campaign is critical, but its success will depend on the availability of an operational and transparent distribution chain that can be audited by all relevant stakeholders. In this paper, we discuss how blockchain technology can be used for assuring the transparent tracing of COVID-19 vaccine registration, storage and delivery, and side effects self-reporting. We present such system implementation in which blockchain technology is used for assuring data integrity and immutability in case of beneficiary registration for vaccination, eliminating identity thefts and impersonations. Smart contracts are defined to monitor and track the proper vaccine distribution conditions against the safe handling rules defined by vaccine producers enabling the awareness of all network peers. For vaccine administration, a transparent and tamper-proof side effects self-reporting solution is provided considering person identification and administrated vaccine association. A prototype was implemented using the Ethereum test network, Ropsten, considering the COVID-19 vaccine distribution tracking conditions. The results obtained for each on-chain operation can be checked and validated on the Etherscan, demonstrating various aspects of the proposed system such as immunization actors and safe rules registration, vaccine tracking, and administration. In terms of throughput and scalability, the proposed blockchain system shows promising results.


title: Stretched Newell-Littlewood coefficients

abstract: Newell-Littlewood coefficients $n_{\mu,\nu}^{\lambda}$ are the multiplicities occurring in the decomposition of products of universal characters of the orthogonal and symplectic groups. They may also be expressed, or even defined directly in terms of Littlewood-Richardson coefficients, $c_{\mu,\nu}^{\lambda}$. Both sets of coefficients have stretched forms $c_{t\mu,t\nu}^{t\lambda}$ and $n_{t\mu,t\nu}^{t\lambda}$, where $t\kappa$ is the partition obtained by multiplying each part of the partition $\kappa$ by the integer $t$. It is known that $c_{t\mu,t\nu}^{t\lambda}$ is a polynomial in $t$ and here it is shown that $n_{t\mu,t\nu}^{t\lambda}$ is an Ehrhart quasi-polynomial in $t$ with minimum quasi-period at most $2$. The evaluation of $n_{t\mu,t\nu}^{t\lambda}$ is effected both by deriving their generating function and by establishing a hive model analogous to that used for the calculation of $c_{t\mu,t\nu}^{t\lambda}$. These two approaches lead to a whole battery of conjectures about the nature of the quasi-polynomials $n_{t\mu,t\nu}^{t\lambda}$. These include both positivity, stability and saturation conjectures that are supported by a significant amount of data from a range of examples.


title: Geometry and superfluidity of the flat band in a non-Hermitian optical lattice

abstract: We propose an ultracold-atom setting where a fermionic superfluidity with attractive s-wave interaction is uploaded in a non-Hermitian Lieb optical lattice. The existence of a real-energy flat band solution is revealed. We show that the interplay between the skin effect and flat-band localization leads to exotic localization properties. We develop a multiband mean-field description of this system and use both order parameters and superfluid weight to describe the phase transition. A relation between the superfluid weight and non-Hermitian quantum metric of the quantum states manifold is built. We find non-monotone criticality depending on the non-Hermiticity, and the non-reciprocity prominently enhances the phase coherence of the pairing field, suggesting ubiquitous critical behavior of the non-Hermitian fermionic superfluidity.

categories: cond-mat.quant-gas cond-mat.mes-hall cond-mat.supr-con quant-ph


title: Reviving Frequentism

abstract: Philosophers now seem to agree that frequentism is an untenable strategy to explain the meaning of probabilities. Nevertheless, I want to revive frequentism, and I will do so by grounding probabilities on typicality in the same way as the thermodynamic arrow of time can be grounded on typicality within statistical mechanics. This account, which I will call typicality frequentism, will evade the major criticisms raised against previous forms of frequentism. In this theory, probabilities arise within a physical theory from statistical behavior of almost all initial conditions. The main advantage of typicality frequentism is that it shows which kinds of probabilities (that also have empirical relevance) can be derived from physics. Although one cannot recover all probability talk in this account, this is rather a virtue than a vice, because it shows which types of probabilities can in fact arise from physics and which types need to be explained in different ways, thereby opening the path for a pluralistic account of probabilities.


title: Conditioning on the pre-test versus gain score modeling: revisiting the controversy in a multilevel setting

abstract: We consider estimating the effect of a treatment on the progress of subjects tested both before and after treatment assignment. A vast literature compares the competing approaches of modeling the post-test score conditionally on the pre-test score versus modeling the difference, namely the gain score. Our contribution resides in analyzing the merits and drawbacks of the two approaches in a multilevel setting. This is relevant in many fields, for example education with students nested into schools. The multilevel structure raises peculiar issues related to the contextual effects and the distinction between individual-level and cluster-level treatment. We derive approximate analytical results and compare the two approaches by a simulation study. For an individual-level treatment our findings are in line with the literature, whereas for a cluster-level treatment we point out the key role of the cluster mean of the pre-test score, which favors the conditioning approach in settings with large clusters.


title: Lower bound for Buchstaber invariants of real universal complexes

abstract: In this article, we prove that Buchstaber invariant of 4-dimensional real universal complex is no less than 24 as a follow-up to the work of Ayzenberg and Sun. Moreover, a lower bound for Buchstaber invariants of $n$-dimensional real universal complexes is given as an improvement of result of Erokhovets.


title: Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks

abstract: Although there are a great number of adversarial attacks on deep learning based classifiers, how to attack object detection systems has been rarely studied. In this paper, we propose a Half-Neighbor Masked Projected Gradient Descent (HNM-PGD) based attack, which can generate strong perturbation to fool different kinds of detectors under strict constraints. We also applied the proposed HNM-PGD attack in the CIKM 2020 AnalytiCup Competition, which was ranked within the top 1% on the leaderboard. We release the code at https://github.com/YanghaoZYH/HNM-PGD.


title: Guiding GANs: How to control non-conditional pre-trained GANs for conditional image generation

abstract: Generative Adversarial Networks (GANs) are an arrange of two neural networks -- the generator and the discriminator -- that are jointly trained to generate artificial data, such as images, from random inputs. The quality of these generated images has recently reached such levels that can often lead both machines and humans into mistaking fake for real examples. However, the process performed by the generator of the GAN has some limitations when we want to condition the network to generate images from subcategories of a specific class. Some recent approaches tackle this \textit{conditional generation} by introducing extra information prior to the training process, such as image semantic segmentation or textual descriptions. While successful, these techniques still require defining beforehand the desired subcategories and collecting large labeled image datasets representing them to train the GAN from scratch. In this paper we present a novel and alternative method for guiding generic non-conditional GANs to behave as conditional GANs. Instead of re-training the GAN, our approach adds into the mix an encoder network to generate the high-dimensional random input vectors that are fed to the generator network of a non-conditional GAN to make it generate images from a specific subcategory. In our experiments, when compared to training a conditional GAN from scratch, our guided GAN is able to generate artificial images of perceived quality comparable to that of non-conditional GANs after training the encoder on just a few hundreds of images, which substantially accelerates the process and enables adding new subcategories seamlessly.


title: Underwater Image Enhancement based on Deep Learning and Image Formation Model

abstract: Underwater robots play an important role in oceanic geological exploration, resource exploitation, ecological research, and other fields. However, the visual perception of underwater robots is affected by various environmental factors. The main challenge now is that images captured by underwater robots are color-distorted. The hue of underwater images tends to be close to green and blue. In addition, the contrast is low and the details are fuzzy. In this paper, a new underwater image enhancement algorithm based on deep learning and image formation model is proposed. Experimental results show that the advantages of the proposed method are that it eliminates the influence of underwater environmental factors, enriches the color, enhances details, achieves higher scores in PSNR and SSIM metrics, and helps feature key-point point matching get better results. Another significant advantage is that its computation speed is much faster than other methods.


title: Formal Game Grammar and Equivalence

abstract: We develop methods to formally describe and compare games, in order to probe questions of game structure and design, and as a stepping stone to predicting player behavior from design patterns. We define a grammar-like formalism to describe finite discrete games without hidden information, allowing for randomness, and mixed sequential and simultaneous play. We make minimal assumptions about the form or content of game rules or user interface. The associated game trees resemble hybrid extensive- and strategic-form games, in the game theory sense. By transforming and comparing game trees, we develop equivalence relations on the space of game systems, which equate games that give players the same meaningful agency. We bring these together to suggest a method to measure distance between games, insensitive to cosmetic variations in the game logic descriptions.


title: A Set of Virtual Experiments of Fluids, Waves, Thermodynamics, Optics, and Modern Physics for Virtual Teaching of Introductory Physics

abstract: This is the third series of the lab manuals for virtual teaching of introductory physics classes. This covers fluids, waves, thermodynamics, optics, interference, photoelectric effect, atomic spectra, and radiation concepts. A few of these labs can be used within Physics I and a few other labs within Physics II depending on the syllabi of Physics I and II classes. Virtual experiments in this lab manual and our previous Physics I (arXiv.2012.09151) and Physics II (arXiv.2012.13278) lab manuals were designed for 2.45 hrs long lab classes (algebra-based and calculus-based). However, all the virtual labs in these three series can be easily simplified to align with conceptual type or short time physics lab classes as desired. All the virtual experiments were based on open education resource (OER) type simulations. Virtual experiments were designed to simulate in-person physical laboratory experiments. Student learning outcomes (understand, apply, analyze and evaluate) were studied with detailed lab reports per each experiment and end of the semester written exam which was based on experiments. Special emphasis was given to study the student skill development of computational data analysis.


title: Nonlocality, entropy creation, and entanglement in quantum many-body systems

abstract: We propose a reinterpretation and reformulation of the single-particle Green's function in nonrelativistic quantum many-body theory with an emphasis on normalization. By downfolding a correlation function covering all of Fock space into the observable portion, we derive a nonlocal Dyson equation which depends on an unknown downfolding frequency. The downfolding frequency is determined by solving the inverse problem so that the spectral function of the single-particle propagator is a Dirac-$\delta$ function. Upon measurement, the system collapses stochastically onto one of these normalized solutions. This collapse has a nonlocal effect on the path the particle takes, in agreement with quantum entanglement. We postulate that the multiplicity of each quantized solution is directly related to the ensemble averaged spectrum and the entropy created by measurement of the particle. In the final part, we outline a new picture of dynamics in quantum many-body systems. As a function of the coupling strength, the multiplicity for collapse has a complicated form due to the shape of the quantization condition. This structure creates an entropic force from counting quantized solutions which is predominantly attractive but likely also has a narrow repulsive regime at weak coupling. Upon collapse, an internal spacetime forms between the two points in order to carry the information gained from the reduction of the probabilistic many-body state. The repeated creation of these spacetime bridges defines an internal spacetime with a complicated shape and history. We treat the quantum system as a finite informational resource that holds information about possible normalized outcomes, collapses the wave function to reset after encountering a conflict, and creates an internal spacetime to carry the information gained with every collapse.


title: Dependences of the Transport Scattering Time and Quantum Lifetime on the Two-Dimensional Electron Gas Density in Modulation-Doped Single GaAs Quantum Wells with AlAs/GaAs Short-Period Superlattice Barriers

abstract: The dependences of the transport scattering time {\tau}t, quantum lifetime {\tau}q, and their ratio {\tau}t/{\tau}q on the density ne of the electron gas in modulation-doped single GaAs quantum wells with AlAs/GaAs short-period super-lattice barriers are investigated. The experimental dependences are explained in terms of electron scattering by remote ionized donors with an effective two-dimensional concentration n*R and background impurities with a three-dimensional concentration nB. An expression for n*R(ne) is obtained including the contribution of X-valley electrons localized in AlAs layers to the suppression of scattering by the random potential of remote donors. It is shown that the experimentally observed abrupt increase in {\tau}t and {\tau}q with an increase in ne above a certain critical value nec is related to a decrease in n*R. It is established that the drop in {\tau}t/{\tau}q observed for electron densities ne > nec occurs because scattering by the random potential of background impurities in this two-dimensional system with a decrease in n*R limits an increase in {\tau}t more considerably than an increase in {\tau}q.


title: Quot-scheme limit of Fubini-Study metrics and its applications to balanced metrics

abstract: We present some results that complement our prequels [arXiv:1809.08425,arXiv:1907.05770] on holomorphic vector bundles. We apply the method of the Quot-scheme limit of Fubini-Study metrics developed therein to provide a generalisation to the singular case of the result originally obtained by X.W. Wang for the smooth case, which states that the existence of balanced metrics is equivalent to the Gieseker stability of the vector bundle. We also prove that the Bergman 1-parameter subgroups form subgeodesics in the space of hermitian metrics. This paper also contains a review of techniques developed in [arXiv:1809.08425,arXiv:1907.05770] and how they correspond to their counterparts developed in the study of the Yau-Tian-Donaldson conjecture.


title: Hamiltonian chaos and differential geometry of configuration space-time

abstract: This paper tackles Hamiltonian chaos by means of elementary tools of Riemannian geometry. More precisely, a Hamiltonian flow is identified with a geodesic flow on configuration space-time endowed with a suitable metric due to Eisenhart. Until now, this framework has never been given attention to describe chaotic dynamics. A gap that is filled in the present work. In a Riemannian-geometric context, the stability/instability of the dynamics depends on the curvature properties of the ambient manifold and is investigated by means of the Jacobi--Levi-Civita (JLC) equation for geodesic spread. It is confirmed that the dominant mechanism at the ground of chaotic dynamics is parametric instability due to curvature variations along the geodesics. A comparison is reported of the outcomes of the JLC equation written also for the Jacobi metric on configuration space and for another metric due to Eisenhart on an extended configuration space-time. This has been applied to the H\'enon-Heiles model, a two-degrees of freedom system. Then the study has been extended to the 1D classical Heisenberg XY model at a large number of degrees of freedom. Both the advantages and drawbacks of this geometrization of Hamiltonian dynamics are discussed. Finally, a quick hint is put forward concerning the possible extension of the differential-geometric investigation of chaos in generic dynamical systems, including dissipative ones, by resorting to Finsler manifolds.


title: Recurrent Relations for Multiple of Triangular Numbers being Triangular Numbers

abstract: We search for triangular numbers that are multiples of other triangular numbers. It is found that for any positive non-square integer multiplier, there is an infinity of multiples of triangular numbers that are triangular numbers and recurrent relations are deduced theoretically. If the multiplier is a squared integer, there is either one or no solution, depending on the multiplier value.


title: Lifshitz point at commensurate melting of 1D Rydberg atoms

abstract: The recent investigation of chains of Rydberg atoms has brought back the problem of commensurate-incommensurate transitions into the focus of current research. In 2D classical systems, or in 1D quantum systems, the commensurate melting of a period-p phase with p larger than 4 is known to take place through an intermediate floating phase where correlations between domain walls or particles decay only as a power law, but when p is equal to 3 or 4, it has been argued by Huse and Fisher that the transition could also be direct and continuous in a non-conformal chiral universality class with a dynamical exponent larger than 1. This is only possible however if the floating phase terminates at a Lifshitz point before reaching the conformal point, a possibility debated since then. Here we argue that this is a generic feature of models where the number of particles is not conserved because the exponent of the floating phase changes along the Pokrovsky-Talapov transition and can thus reach the value at which the floating phase becomes unstable. Furthermore, we show numerically that this scenario is realized in an effective model of the period-3 phase of Rydberg chains in which hard-core bosons are created and annihilated three by three: The Luttinger liquid parameter reaches the critical value $p^2/8=9/8$ along the Pokrovsky-Talapov transition, leading to a Lifshitz point that separates the floating phase from a chiral transition. Implications beyond Rydberg atoms are briefly discussed.


title: Conditional Local Convolution for Spatio-temporal Meteorological Forecasting

abstract: Spatio-temporal forecasting is challenging attributing to the high nonlinearity in temporal dynamics as well as complex location-characterized patterns in spatial domains, especially in fields like weather forecasting. Graph convolutions are usually used for modeling the spatial dependency in meteorology to handle the irregular distribution of sensors' spatial location. In this work, a novel graph-based convolution for imitating the meteorological flows is proposed to capture the local spatial patterns. Based on the assumption of smoothness of location-characterized patterns, we propose conditional local convolution whose shared kernel on nodes' local space is approximated by feedforward networks, with local representations of coordinate obtained by horizon maps into cylindrical-tangent space as its input. The established united standard of local coordinate system preserves the orientation on geography. We further propose the distance and orientation scaling terms to reduce the impacts of irregular spatial distribution. The convolution is embedded in a Recurrent Neural Network architecture to model the temporal dynamics, leading to the Conditional Local Convolution Recurrent Network (CLCRN). Our model is evaluated on real-world weather benchmark datasets, achieving state-of-the-art performance with obvious improvements. We conduct further analysis on local pattern visualization, model's framework choice, advantages of horizon maps and etc.


title: On the domains of Bessel operators

abstract: We consider the Schr\"odinger operator on the halfline with the potential $(m^2-\frac14)\frac1{x^2}$, often called the Bessel operator. We assume that $m$ is complex. We study the domains of various closed homogeneous realizations of the Bessel operator. In particular, we prove that the domain of its minimal realization for $|\Re(m)|<1$ and of its unique closed realization for $\Re(m)>1$ coincide with the minimal second order Sobolev space. On the other hand, if $\Re(m)=1$ the minimal second order Sobolev space is a subspace of infinite codimension of the domain of the unique closed Bessel operator. The properties of Bessel operators are compared with the properties of the corresponding bilinear forms.


title: Noetherian Operators in Macaulay2

abstract: A primary ideal in a polynomial ring can be described by the variety it defines and a finite set of Noetherian operators, which are differential operators with polynomial coefficients. We implement both symbolic and numerical algorithms to produce such a description in various scenarios as well as routines for studying affine schemes through the prism of Noetherian operators and Macaulay dual spaces.


title: Complete solution over $\GF{p^n}$ of the equation $X^{p^k+1}+X+a=0$

abstract: The problem of solving explicitly the equation $P_a(X):=X^{q+1}+X+a=0$ over the finite field $\GF{Q}$, where $Q=p^n$, $q=p^k$ and $p$ is a prime, arises in many different contexts including finite geometry, the inverse Galois problem \cite{ACZ2000}, the construction of difference sets with Singer parameters \cite{DD2004}, determining cross-correlation between $m$-sequences \cite{DOBBERTIN2006} and to construct error correcting codes \cite{Bracken2009}, cryptographic APN functions \cite{BTT2014,Budaghyan-Carlet_2006}, designs \cite{Tang_2019}, as well as to speed up the index calculus method for computing discrete logarithms on finite fields \cite{GGGZ2013,GGGZ2013+} and on algebraic curves \cite{M2014}. Subsequently, in \cite{Bluher2004,HK2008,HK2010,BTT2014,Bluher2016,KM2019,CMPZ2019,MS2019,KCM19}, the $\GF{Q}$-zeros of $P_a(X)$ have been studied. In \cite{Bluher2004}, it was shown that the possible values of the number of the zeros that $P_a(X)$ has in $\GF{Q}$ is $0$, $1$, $2$ or $p^{\gcd(n, k)}+1$. Some criteria for the number of the $\GF{Q}$-zeros of $P_a(x)$ were found in \cite{HK2008,HK2010,BTT2014,KM2019,MS2019}. However, while the ultimate goal is to explicit all the $\GF{Q}$-zeros, even in the case $p=2$, it was solved only under the condition $\gcd(n, k)=1$ \cite{KM2019}. In this article, we discuss this equation without any restriction on $p$ and $\gcd(n,k)$. In \cite{KCM19}, for the cases of one or two $\GF{Q}$-zeros, explicit expressions for these rational zeros in terms of $a$ were provided, but for the case of $p^{\gcd(n, k)}+1$ $\GF{Q}-$ zeros it was remained open to explicitly compute the zeros. This paper solves the remained problem, thus now the equation $X^{p^k+1}+X+a=0$ over $\GF{p^n}$ is completely solved for any prime $p$, any integers $n$ and $k$.


title: A heuristic resolution of the Abraham-Minkowski controversy

abstract: This paper reviews the history and origin of the Abraham-Minkowski controversy and points out that it is a continuation of the controversy over the speed of light in medium. Upon considering an aircraft flying at a constant speed along the great-circle route from the perspective of a geosynchronous space station, we show that the A-M controversy arises from non-local observation. The relative motion refractive index and the gravitational field refractive index are defined by the space-time metric tensor, which reveals the A-M controversy hidden in special and general relativity. As another example, we take light propagating over the surface of the sun, and show that Minkowski and Abraham forces are responsible for the gravitational deflection of light and the Shapiro time delay, respectively. Overall, we heuristically conclude that non-local observation is the cause of the A-M controversy.


title: Optimization and variational principles for the shear strength reduction method

abstract: This paper is focused on the definition, analysis and numerical solution of a new optimization variant (OPT) of the shear strength reduction (SSR) problem with applications to slope stability problems. This new variant is derived on the basis of recent results by Tschuchnigg et al. 2015, where limit analysis and a modified Davis approach were used for approximation of the standard SSR method. The OPT-SSR method computes the factor of safety without performing an elasto-plastic analysis, similarly as in limit analysis. It is shown that this optimization problem is well-defined. Next, the duality between the static and kinematic principles of OPT-SSR is derived. For the numerical solution, a regularization method is introduced and analyzed. This method is combined with the finite element method, mesh adaptivity and a damped Newton method. In-house codes (Matlab) are used for the implementation of this solution concept. Finally, two slope stability problems are considered, one of which follows from analysis of a real slope. The softwares packages Plaxis and Comsol Multiphysics are used for comparison of the results.


title: Design and analysis of momentum trading strategies

abstract: We give a complete description of the third-moment (skewness) characteristics of both linear and nonlinear momentum trading strategies, the latter being understood as transformations of a normalised moving-average filter (EMA). We explain in detail why the skewness is generally positive and has a term structure. This paper is a synthesis of two papers published by the author in RISK in 2012, with some updates and comments.