title: Legal Judgment Prediction (LJP) Amid the Advent of Autonomous AI Legal Reasoning

abstract: Legal Judgment Prediction (LJP) is a longstanding and open topic in the theory and practice-of-law. Predicting the nature and outcomes of judicial matters is abundantly warranted, keenly sought, and vigorously pursued by those within the legal industry and also by society as a whole. The tenuous act of generating judicially laden predictions has been limited in utility and exactitude, requiring further advancement. Various methods and techniques to predict legal cases and judicial actions have emerged over time, especially arising via the advent of computer-based modeling. There has been a wide range of approaches attempted, including simple calculative methods to highly sophisticated and complex statistical models. Artificial Intelligence (AI) based approaches have also been increasingly utilized. In this paper, a review of the literature encompassing Legal Judgment Prediction is undertaken, along with innovatively proposing that the advent of AI Legal Reasoning (AILR) will have a pronounced impact on how LJP is performed and its predictive accuracy. Legal Judgment Prediction is particularly examined using the Levels of Autonomy (LoA) of AI Legal Reasoning, plus, other considerations are explored including LJP probabilistic tendencies, biases handling, actor predictors, transparency, judicial reliance, legal case outcomes, and other crucial elements entailing the overarching legal judicial milieu.


title: Fast solution of the superconducting dynamo benchmark problem

abstract: A model of high temperature superconducting dynamo, a promising type of flux pumps capable of wireless injection of a large DC current into a superconducting circuit, has recently been chosen as an applied superconductivity benchmark problem and solved using ten different numerical methods (Ainslie et al 2020 Supercond. Sci. Technol. 33 105009). Using expansions in Chebyshev polynomials for approximation in space and the method of lines for integration in time we derive a simple and accurate numerical method which is much faster. The proposed numerical method was applied also to problems with transport current and a field-dependent sheet critical current density.


title: A proof of the fusion rules theorem

abstract: We prove that the space of intertwining operators associated with certain admissible modules over vertex operator algebras is isomorphic to a quotient of the vector space of conformal blocks on a three-pointed rational curve defined by the same data. This provides a new proof and alternative version of Frenkel and Zhu's fusion rules theorem in terms of the dimension of certain bimodules over Zhu's algebra, without the assumption of rationality.


title: COVID-CT-MD: COVID-19 Computed Tomography (CT) Scan Dataset Applicable in Machine Learning and Deep Learning

abstract: Novel Coronavirus (COVID-19) has drastically overwhelmed more than 200 countries affecting millions and claiming almost 1 million lives, since its emergence in late 2019. This highly contagious disease can easily spread, and if not controlled in a timely fashion, can rapidly incapacitate healthcare systems. The current standard diagnosis method, the Reverse Transcription Polymerase Chain Reaction (RT- PCR), is time consuming, and subject to low sensitivity. Chest Radiograph (CXR), the first imaging modality to be used, is readily available and gives immediate results. However, it has notoriously lower sensitivity than Computed Tomography (CT), which can be used efficiently to complement other diagnostic methods. This paper introduces a new COVID-19 CT scan dataset, referred to as COVID-CT-MD, consisting of not only COVID-19 cases, but also healthy and subjects infected by Community Acquired Pneumonia (CAP). COVID-CT-MD dataset, which is accompanied with lobe-level, slice-level and patient-level labels, has the potential to facilitate the COVID-19 research, in particular COVID-CT-MD can assist in development of advanced Machine Learning (ML) and Deep Neural Network (DNN) based solutions.


title: Structured Regularization of Functional Map Computations

abstract: We consider the problem of non-rigid shape matching using the functional map framework. Specifically, we analyze a commonly used approach for regularizing functional maps, which consists in penalizing the failure of the unknown map to commute with the Laplace-Beltrami operators on the source and target shapes. We show that this approach has certain undesirable fundamental theoretical limitations, and can be undefined even for trivial maps in the smooth setting. Instead we propose a novel, theoretically well-justified approach for regularizing functional maps, by using the notion of the resolvent of the Laplacian operator. In addition, we provide a natural one-parameter family of regularizers, that can be easily tuned depending on the expected approximate isometry of the input shape pair. We show on a wide range of shape correspondence scenarios that our novel regularization leads to an improvement in the quality of the estimated functional, and ultimately pointwise correspondences before and after commonly-used refinement techniques.


title: The Cubli: Modeling and Nonlinear Control Utilizing Unit Complex Numbers

abstract: This paper covers the modeling and nonlinear control of the Cubli, a cube with three reaction wheels mounted on orthogonal faces that becomes a reaction wheel-based 1D/3D inverted pendulum when positioned in one of its edges (1D) or vertices (3D). Instead of angles, unit complex numbers are used as control states for the 1D configuration. This approach is useful not only to get rid of trigonometric functions, but mainly because it is a specific case of the 3D configuration, that utilizes unit ultra-complex numbers (quaternions) as system states, and therefore facilitates its understanding. The derived nonlinear control law is equivalent to a linear one and is characterized by only three straightforward tuning parameters. Experiment results are presented to validate modeling and control.


title: The Cubli: Modeling Utilizing Quaternions

abstract: This paper performs the modeling of a Cubli, a cube with three reaction wheels mounted on orthogonal faces that becomes a reaction wheel based 3D inverted pendulum when positioned in one of its vertices. The approach novelty is that quaternions are used instead of Euler angles. One nice advantage of quaternions, besides the usual arguments to avoid singularities and trigonometric functions, is that it allows working out quite complex dynamic equations completely by hand utilizing vector notation. Modeling is performed utilizing Lagrange equations and it is validated through computer simulations and Poinsot trajectories analysis.


title: A Traffic Light Dynamic Control Algorithm with Deep Reinforcement Learning Based on GNN Prediction

abstract: Today's intelligent traffic light control system is based on the current road traffic conditions for traffic regulation. However, these approaches cannot exploit the future traffic information in advance. In this paper, we propose GPlight, a deep reinforcement learning (DRL) algorithm integrated with graph neural network (GNN) , to relieve the traffic congestion for multi-intersection intelligent traffic control system. In GPlight, the graph neural network (GNN) is first used to predict the future short-term traffic flow at the intersections. Then, the results of traffic flow prediction are used in traffic light control, and the agent combines the predicted results with the observed current traffic conditions to dynamically control the phase and duration of the traffic lights at the intersection. Experiments on both synthetic and two real-world data-sets of Hangzhou and New-York verify the effectiveness and rationality of the GPlight algorithm.


title: Meta Partial Benders Decomposition for the Logistics Service Network Design Problem

abstract: Supply chain transportation operations often account for a large proportion of product total cost to market. Such operations can be optimized by solving the Logistics Service Network Design Problem (LSNDP), wherein a logistics service provider seeks to cost-effectively source and fulfill customer demands of products within a multi-echelon distribution network. However, many industrial settings yield instances of the LSNDP that are too large to be solved in reasonable run-times by off-the-shelf optimization solvers. We introduce an exact Benders decomposition algorithm based on partial decompositions that strengthen the master problem with information derived from aggregating subproblem data. More specifically, the proposed Meta Partial Benders Decomposition intelligently switches from one master problem to another by changing both the amount of subproblem information to include in the master as well as how it is aggregated. Through an extensive computational study, we show that the approach outperforms existing benchmark methods and we demonstrate the benefits of dynamically refining the master problem in the course of a partial Benders decomposition-based scheme.


title: On the ubiquity of the ruler sequence

abstract: The ruler function or the Gros sequence is a classical infinite integer sequence that is underlying some interesting mathematical problems. In this paper, we provide four new problems containing this type of sequence: (i) a demographic discrete dynamical automata, (ii) the middle interval Cantor set, (iii) the construction by duplication of polygons and (iv) the horizontal visibility sequence at the accumulation point of the Feigenbaum cascade. In all of them, the infinte sequence is obtained by a recursive procedure of duplication. The properties of the ruler sequence, in particular, those relating to recursiveness and self-containing, are used to get a deeper understanding of these four problems. These new representations of the ruler sequence could inspire new studies in the field of discrete mathematics.


title: Observational Constraint in $f(R,T)$ gravity from the cosmic chronometers and some standard distance measurement parameters

abstract: In this work we perform an observational data analysis on the $f(R,T)$ gravity with the aim of constraining the parameter space of the model. Five different models are considered and the 30 point $z-H(z)$ cosmic chronometer data is used in our analysis. The $\chi^2$ statistic is formulated as a difference between the theoretical and the observed values of $H(z)$ for different values of redshift $z$. Efforts have been made to minimize the statistic in order to get the best fit values for the free parameters models. We have also used some standard distance measurement parameters like BAO and CMB peaks along with the data for achieving better constraints on the parameter space. We have used the publicly available \textit{CosmoMC} code for obtaining the bounds for the free parameters of the models in different confidence intervals like $68\%$, $95\%$, $99\%$. 1D distributions and 2D joint confidence contours for various confidence levels mentioned above are generated for the free parameters using the \textit{CosmoMC} code. Finally our models have been compared with the standard $\Lambda CDM$ model by some statistical techniques using the observational data and the support for the models from the data is probed.


title: The environmental dependence of the X_CO conversion factor

abstract: CO is the most widely used observational tracer of molecular gas. The observable CO luminosity is translated to H_2 mass via a conversion factor, X_CO, which is a source of uncertainty and bias. Despite variations in X_CO, the empirically-determined solar neighborhood value is often applied across different galactic environments. To improve understanding of X_CO, we employ 3D magnetohydrodynamics simulations of the interstellar medium (ISM) in galactic disks with a large range of gas surface densities, allowing for varying metallicity, far-ultraviolet (FUV) radiation, and cosmic ray ionization rate (CRIR). With the TIGRESS simulation framework we model the three-phase ISM with self-consistent star formation and feedback, and post-process outputs with chemistry and radiation transfer to generate synthetic CO(1--0) and (2--1) maps. Our models reproduce the observed CO excitation temperatures, line-widths, and line ratios in nearby disk galaxies. X_CO decreases with increasing metallicity, with a power-law slope of -0.8 for the (1--0) line and -0.5 for the (2--1) line. X_CO also decreases at higher CRIR, and is insensitive to the FUV radiation. As density increases, X_CO first decreases due to increasing excitation temperature, and then increases when the emission is fully saturated. We provide fits between X_CO and observable quantities such as the line ratio, peak antenna temperature, and line brightness, which probe local gas conditions. These fits, which allow for varying beam size, may be used in observations to calibrate out systematic biases. We also provide estimates of the CO-dark H_2 fraction at different gas surface densities, observational sensitivities, and beam sizes.


title: Lorentz Violation, Quantum Tunneling and Information Conservation

abstract: In this paper, by introducing a Lorentz-invariance-violation (LIV) class of dispersion relations (DR) suppressed by the second power $(E/E_{QG})^2$, we have investigated the effect of LIV on the Hawking radiation of the charged Dirac particle via tunneling from a Reissner-Nordstr\"om(RN) black hole. We first find the effect of LIV speeds up the black hole evaporation, leaving the induced Hawking temperature very sensitive to the changes in the energy of the radiation particle, but at the same energy level, insensitive to the changes in the charge of the radiation particle. This provides a phenomenological evidence for the LIV-DR as a candidate for describing the effect of quantum gravity. Then, when the effect of LIV is included, we find the statistical correlations with the Planck-scale corrections between the successive emissions can leak out the information through the radiation. And, it turns out that the black hole radiation as tunneling is an entropy conservation process, and no information loss occurs during the radiation, where the interpretation for the entropy of black hole is addressed. Finally, we conclude that black hole evaporation is still an unitary process in the context of quantum gravity.


title: A note on Decoherence and Fractal Hamiltonians

abstract: The article contains the description of a coherent conservation regime in the spin bath quantum decoherence model.


title: Carrier diffusion in GaN -- a cathodoluminescence study. III: Nature of nonradiative recombination at threading dislocations

abstract: We investigate the impact of threading dislocations with an edge component (a or a+c-type) on carrier recombination and diffusion in GaN(0001) layers close to the surface as well as in the bulk. To this end, we utilize cathodoluminescence imaging of the top surface of a GaN(0001) layer with a deeply buried (In,Ga)N quantum well. Varying the acceleration voltage of the primary electrons and comparing the signal from the layer and the quantum well enables us to probe carrier recombination at depths ranging from the close vicinity of the surface to the position of the quantum well. Our experiments are accompanied by fully three-dimensional Monte Carlo simulations of carrier drift, diffusion, and recombination in the presence of the surface, the quantum well, and the dislocation, taking into account the dislocation strain field and the resulting piezoelectric field at the dislocation outcrop. Near the surface, this field establishes an exciton dead zone around the dislocation, the extent of which is not related to the carrier diffusion length. However, reliable values of the carrier diffusion length can be extracted from the dipole-like energy shift observed in hyperspectral cathodoluminescence maps recorded around the dislocation outcrop at low acceleration voltages. For high acceleration voltages, allowing us to probe a depth where carrier recombination is unaffected by surface effects, we observe a much stronger contrast than expected from the piezoelectric field alone. This finding provides unambiguous experimental evidence for the strong nonradiative activity of edge threading dislocations in bulk GaN and hence also in buried heterostructures.


title: Adversarial Semi-Supervised Multi-Domain Tracking

abstract: Neural networks for multi-domain learning empowers an effective combination of information from different domains by sharing and co-learning the parameters. In visual tracking, the emerging features in shared layers of a multi-domain tracker, trained on various sequences, are crucial for tracking in unseen videos. Yet, in a fully shared architecture, some of the emerging features are useful only in a specific domain, reducing the generalization of the learned feature representation. We propose a semi-supervised learning scheme to separate domain-invariant and domain-specific features using adversarial learning, to encourage mutual exclusion between them, and to leverage self-supervised learning for enhancing the shared features using the unlabeled reservoir. By employing these features and training dedicated layers for each sequence, we build a tracker that performs exceptionally on different types of videos.


title: Some improvements on Moment-of-Fluid method in 3D rectangular hexahedrons

abstract: The moment-of-fluid method (MOF) is an extension of the volume-of-fluid method with piecewise linear interface construction (VOF-PLIC). In MOF reconstruction, the optimized normal vector is determined from the reference centroid and the volume fraction by iteration. The state-of-art work by \citet{milcent_moment--fluid_2020} proposed an analytic gradient of the objective function, which greatly reduces the computational cost. In this study, we further accelerate the MOF reconstruction algorithm by using Gauss-Newton iteration instead of Broyden-Fletcher-Goldfarb-Shanno (BFGS) iteration. We also propose an improved initial guess for MOF reconstruction, which improves the efficiency and the robustness of the MOF reconstruction algorithm. Our implementation of the code and test cases are available on our Github repository.


title: Rational nonlinear electrodynamics causes the inflation of the universe

abstract: The source of the universe inflation is electromagnetic fields obeying rational nonlinear electrodynamics proposed earlier. Within this model the singularities of the electric field at the center of charges, the Ricci scalar, the Ricci tensor squared and the Kretschmann scalar are absent. We consider the universe which is filled by stochastic magnetic fields. It is demonstrated that the inflation lasts approximately $2$ s with the reasonable e-folding number $N\approx 63$. The Inflation starts from de Sitter spacetime and after the universe inflation end it decelerates approaching the radiation era.


title: Counting monster potentials

abstract: We study the large momentum limit of the monster potentials of Bazhanov-Lukyanov-Zamolodchikov, which -- according to the ODE/IM correspondence -- should correspond to excited states of the Quantum KdV model. We prove that the poles of these potentials asymptotically condensate about the complex equilibria of the ground state potential, and we express the leading correction to such asymptotics in terms of the roots of Wronskians of Hermite polynomials. This allows us to associate to each partition of $N$ a unique monster potential with $N$ roots, of which we compute the spectrum. As a consequence, we prove -- up to a few mathematical technicalities -- that, fixed an integer $N$, the number of monster potentials with $N$ roots coincides with the number of integer partitions of $N$, which is the dimension of the level $N$ subspace of the quantum KdV model. In striking accordance with the ODE/IM correspondence.


title: Dissected 3D CNNs: Temporal Skip Connections for Efficient Online Video Processing

abstract: Convolutional Neural Networks with 3D kernels (3D-CNNs) currently achieve state-of-the-art results in video recognition tasks due to their supremacy in extracting spatiotemporal features within video frames. There have been many successful 3D-CNN architectures surpassing the state-of-the-art results successively. However, nearly all of them are designed to operate offline creating several serious handicaps during online operation. Firstly, conventional 3D-CNNs are not dynamic since their output features represent the complete input clip instead of the most recent frame in the clip. Secondly, they are not temporal resolution-preserving due to their inherent temporal downsampling. Lastly, 3D-CNNs are constrained to be used with fixed temporal input size limiting their flexibility. In order to address these drawbacks, we propose dissected 3D-CNNs, where the intermediate volumes of the network are dissected and propagated over depth (time) dimension for future calculations, substantially reducing the number of computations at online operation. For action classification, the dissected version of ResNet models performs 77-90% fewer computations at online operation while achieving ~5% better classification accuracy on the Kinetics-600 dataset than conventional 3D-ResNet models. Moreover, the advantages of dissected 3D-CNNs are demonstrated by deploying our approach onto several vision tasks, which consistently improved the performance.


title: Fe XII and Fe XIII Line Widths in the Polar Off-limb Solar Corona up to 1.5 Rsun

abstract: The nonthermal broadening of spectral lines formed in the solar corona is often used to seek the evidence of Alfv\'en waves propagating in the corona. To have a better understanding of the variation of line widths at different altitudes, we measured the line widths of the strong Fe \textsc{xii} 192.4, 193.5, and 195.1 \mbox{\AA} and Fe \textsc{xiii} 202.0 \mbox{\AA} in an off-limb southern coronal hole up to 1.5 $R_\odot$ observed by the Extreme Ultraviolet Spectrometer (EIS) on board the \textit{Hinode} satellite. We compared our measurements to the predictions from the Alfv\'en Wave Solar Model (AWSoM) and the SPECTRUM module. We found that the Fe \textsc{xii} and Fe \textsc{xiii} line widths first increase monotonically below 1.1 $R_\odot$, and then keep fluctuating between 1.1 and 1.5 $R_\odot$. The synthetic line widths of Fe \textsc{xii} and Fe \textsc{xiii} below 1.3 $R_\odot$ are notably lower than the observed ones. We found that the emission from a streamer in the line of sight significantly contaminates the coronal hole line profiles even up to 1.5 $R_\odot$ both in observations and simulations. We suggest that either the discrepancy between the observations and simulations is caused by insufficient nonthermal broadening at the streamer in the AWSoM simulation or the observations are less affected by the streamer. Our results emphasize the importance of identifying the origin of the coronal EUV emission in off-limb observations.


title: Single point blow-up and final profile for a perturbed nonlinear heat equation with a gradient and a non-local term

abstract: We consider in this paper a perturbation of the standard semilinear heat equation by a term involving the space derivative and a non-local term. In some earlier work (Abdelhedi-Zaag JDE 2021), we constructed a blow-up solution for that equation, and showed that it blows up (at least) at the origin. We also derived the so called "intermediate blow-up profile". In this paper, we prove the single point blow-up property and determine the final blow-up profile.


title: The Matrix Element Method as a tool for precision and accuracy

abstract: The Matrix Element Method is a promising multi-variate analysis tool which offers an optimal approach to compare theory and experiment according to the Neyman-Pearson lemma. However, until recently its usage has been limited by the fact that only leading-order predictions could be employed. The imperfect approximation of the underlying probability distribution can introduce a significant bias into the analysis which requires a major calibration for the method when applied to parameter determination. Moreover, estimating theoretical uncertainties by scale variation may yield unreliable results. We present the extension of the Matrix Element Method to next-to-leading order in QCD applicable to LHC data defined by common jet algorithms. The accuracy gain is illustrated by simulating a top-quark mass determination from single top-quark events generated with POWHEG+PYTHIA. Additionally, the method's potential for BSM parameter determination is demonstrated by simulating the extraction of a CP-violating Top-Yukawa coupling from events of single top-quarks in association with a Higgs boson.


title: ESiWACE2 Services: RSE collaborations in Weather and Climate

abstract: We present the collaborative model of ESiWACE2 Services, where Research Software Engineers (RSEs) from the Netherlands eScience Center (NLeSC) and Atos offer their expertise to climate and earth system modeling groups across Europe. Within 6-month collaborative projects, the RSEs intend to provide guidance and advice regarding the performance, portability to new architectures, and scalability of selected applications. We present the four awarded projects as examples of this funding structure.


title: Irrationality and Transcendence of Alternating Series Via Continued Fractions

abstract: Euler gave recipes for converting alternating series of two types, I and II, into equivalent continued fractions, i.e., ones whose convergents equal the partial sums. A condition we prove for irrationality of a continued fraction then allows easy proofs that $e,\sin1$, and the primorial constant are irrational. Our main result is that, if a series of type II is equivalent to a simple continued fraction, then the sum is transcendental and its irrationality measure exceeds $2$. We construct all $\aleph_0^{\aleph_0}=\mathfrak{c}$ such series and recover the transcendence of the Davison--Shallit and Cahen constants. Along the way, we mention $\pi$, the golden ratio, Fermat, Fibonacci, and Liouville numbers, Sylvester's sequence, Pierce expansions, Mahler's method, Engel series, and theorems of Lambert, Sierpi\'{n}ski, and Thue-Siegel-Roth. We also make three conjectures. (This manuscript was submitted posthumously. The author passed away on January 16, 2020.)


title: Computational framework for real-time diagnostics and prognostics of aircraft actuation systems

abstract: Prognostics and Health Management (PHM) are emerging approaches to product life cycle that will maintain system safety and improve reliability, while reducing operating and maintenance costs. This is particularly relevant for aerospace systems, where high levels of integrity and high performances are required at the same time. We propose a novel strategy for the nearly real-time Fault Detection and Identification (FDI) of a dynamical assembly, and for the estimation of Remaining Useful Life (RUL) of the system. The availability of a timely estimate of the health status of the system will allow for an informed adaptive planning of maintenance and a dynamical reconfiguration of the mission profile, reducing operating costs and improving reliability. This work addresses the three phases of the prognostic flow - namely (1) signal acquisition, (2) Fault Detection and Identification, and (3) Remaining Useful Life estimation - and introduces a computationally efficient procedure suitable for real-time, on-board execution. To achieve this goal, we propose to combine information from physical models of different fidelity with machine learning techniques to obtain efficient representations (surrogate models) suitable for nearly real-time applications. Additionally, we propose an importance sampling strategy and a novel approach to model damage propagation for dynamical systems. The methodology is assessed for the FDI and RUL estimation of an aircraft electromechanical actuator (EMA) for secondary flight controls. The results show that the proposed method allows for a high precision in the evaluation of the system RUL, while outperforming common model-based techniques in terms of computational time.


title: Growth of a textured quasicrystalline phase in Ti-Ni-Zr films prepared by pulsed laser deposition

abstract: The preparation in thin film form of the known icosahedral phase in Ti-Ni-Zr bulk alloys has been investigated as a function of substrate temperature. Films were deposited by Pulsed Laser Deposition on sapphire substrates at temperatures ranging from room temperature to 350$^\circ$C. Morphological and structural modifications have been followed by grazing incidence and $\theta$-2$\theta$ X-ray diffraction, transmission electron diffraction and imaging. Chemical composition has been analysed by Electron Probe Micro-Analysis. The in-depth variation of composition has been studied by Secondary Neutral Mass Spectroscopy. We show that Pulsed Laser Deposition at 275$^\circ$C makes the formation of a 1 m thick film of Ti-Ni-Zr quasicrystalline textured nanocrystallites possible.


title: Mott insulating state and $d+id$ superconductivity in an ABC graphene trilayer

abstract: Motivated by the recently experimental reported signatures of the tunable Mott insulating state and superconductivity in an ABC graphene trilayer superlattice, we investigate the charge compressibility, the spin correlation, and the superconducting instability within the Hubbard model on a three-layer honeycomb lattice. It is found that an antiferromagnetically ordered Mott insulator emerges beyond a critical $U_c$ at half-filling, and the electronic correlation drives a $d+id$ superconducting pairing to be dominant over other pairing patterns in a wide doped region. The effective pairing interaction with $d+id$ pairing symmetry is strongly enhanced with the increasing of on-site interaction, and suppressed as the interlayer coupling strength increases. Our intensive numerical results demonstrate that the insulating state and superconductivity in an ABC graphene trilayer are driven by strong electric correlation, and it may offer an attractive systems to explore rich correlated behaviors.


title: How Best Can Finite-Time Social Distancing Reduce Epidemic Final Size?

abstract: Given maximal social distancing duration and intensity, how can one minimize the epidemic final size, or equivalently the total number of individuals infected during the outbreak? A complete answer to this question is provided and demonstrated here for the SIR epidemic model. In this simplified setting, the optimal solution consists in enforcing the highest confinement level during the longest allowed period, beginning at a time instant that is the unique solution to certain 1D optimization problem. Based on this result, we present numerical results showing the best possible performance for a large set of basic reproduction numbers and lockdown durations and intensities.


title: Emergence of Constructor-based Irreversibility in Quantum Systems: Theory and Experiment

abstract: The issue of irreversibility in a universe with time-reversal-symmetric laws is a central problem in physics. % , and, in particular, to statistical mechanics, information theory and quantum thermodynamics. In this letter, we discuss for the first time how irreversibility can emerge within the recently proposed constructor theory framework. Here irreversibility is expressed as the requirement that a task is possible, while its inverse is not. In particular, we demonstrate that this irreversibility is compatible with quantum theory's time reversal symmetric laws, by exploiting a specific model, based on the universal quantum homogeniser, realised experimentally with high-quality single-photon qubits.


title: Elastic backscattering of quantum spin Hall edge modes from Coulomb interactions with non-magnetic impurities

abstract: We demonstrate that electrostatic interactions between helical electrons at the edge of a quantum spin Hall insulator and a dynamical impurity can induce quasi-elastic backscattering. Modelling the impurity as a two-level system, we show that transitions between counterpropagating Kramers-degenerate electronic states can occur without breaking time-reversal symmetry, provided that the impurity also undergoes a transition. The associated electrical resistance has a weak temperature dependence down to a non-universal temperature scale. Our results extend the range of known backscattering mechanisms in helical edge modes to include scenarios where electron tunnelling out of the system is absent.


title: Runaway electron modelling in the self-consistent core European Transport Simulator, ETS

abstract: Relativistic runaway electrons are a major concern in tokamaks. The European framework for Integrated Modelling (EU-IM), facilitates the integration of different plasma simulation tools by providing a standard data structure for communication that enables relatively easy integration of different physics codes. A three-level modelling approach was adopted for runaway electron simulations within the EU-IM. Recently, a number of runaway electron modelling modules have been integrated into this framework. The first level of modelling (Runaway Indicator) is limited to the indication if runaway electron generation is possible or likely. The second level (Runaway Fluid) adopts an approach similar to e.g. the GO code, using analytical formulas to estimate changes in the runaway electron current density. The third level is based on the solution of the electron kinetics. One such code is LUKE that can handle the toroidicity-induced effects by solving the bounce-averaged Fokker-Planck equation. Another approach is used in NORSE, which features a fully nonlinear collision operator that makes it capable of simulating major changes in the electron distribution, for example slide-away. Both codes handle the effect of radiation on the runaway distribution. These runaway-electron modelling codes are in different stages of integration into the EU-IM infrastructure, and into the European Transport Simulator (ETS), which is a fully capable modular 1.5D core transport simulator. ETS with Runaway Fluid was benchmarked to the GO code implementing similar physics. Coherent integration of kinetic solvers requires more effort on the coupling, especially regarding the definition of the boundary between runaway and thermal populations, and on consistent calculation of resistivity. Some of these issues are discussed.


title: Multidimensional small divisor functions

abstract: This is a short note generalizing the construction from arXiv:1906.07410, arXiv:2009.04955 to multi-indices. We recommend to consider both references first. We obtain polar harmonic Maa{\ss} forms of non-positive integral weight if the dimension is even and greater than $2$. We provide explicit examples in dimension $4$, $6$, $8$, and $10$.


title: RTFE: A Recursive Temporal Fact Embedding Framework for Temporal Knowledge Graph Completion

abstract: Static knowledge graph (SKG) embedding (SKGE) has been studied intensively in the past years. Recently, temporal knowledge graph (TKG) embedding (TKGE) has emerged. In this paper, we propose a Recursive Temporal Fact Embedding (RTFE) framework to transplant SKGE models to TKGs and to enhance the performance of existing TKGE models for TKG completion. Different from previous work which ignores the continuity of states of TKG in time evolution, we treat the sequence of graphs as a Markov chain, which transitions from the previous state to the next state. RTFE takes the SKGE to initialize the embeddings of TKG. Then it recursively tracks the state transition of TKG by passing updated parameters/features between timestamps. Specifically, at each timestamp, we approximate the state transition as the gradient update process. Since RTFE learns each timestamp recursively, it can naturally transit to future timestamps. Experiments on five TKG datasets show the effectiveness of RTFE.


title: OWL2Vec*: Embedding of OWL Ontologies

abstract: Semantic embedding of knowledge graphs has been widely studied and used for prediction and statistical analysis tasks across various domains such as Natural Language Processing and the Semantic Web. However, less attention has been paid to developing robust methods for embedding OWL (Web Ontology Language) ontologies which can express a much wider range of semantics than knowledge graphs and have been widely adopted in domains such as bioinformatics. In this paper, we propose a random walk and word embedding based ontology embedding method named OWL2Vec*, which encodes the semantics of an OWL ontology by taking into account its graph structure, lexical information and logical constructors. Our empirical evaluation with three real world datasets suggests that OWL2Vec* benefits from these three different aspects of an ontology in class membership prediction and class subsumption prediction tasks. Furthermore, OWL2Vec* often significantly outperforms the state-of-the-art methods in our experiments.


title: Late-time description of immiscible Rayleigh-Taylor instability: A lattice Boltzmann study

abstract: The late-time growth of single-mode immiscible Rayleigh-Taylor instability is investigated over a comprehensive range of the Reynolds numbers ($1\leq Re \leq 10000$) and Atwood numbers $(0.05 \leq A \leq 0.7)$ using an improved lattice Boltzmann multiphase method. We first reported that the instability with a moderately high Atwood number of 0.7 undergoes a sequence of distinguishing stages at high Reynolds numbers, named as the linear growth, saturated velocity growth, reacceleration and chaotic development stages. The spike and bubble at the secondary stage evolve with the constant velocities and their values agree well with the potential flow theory. Owing to the increasing strengths of the vortices, the spike and bubble are accelerated with velocities exceeding than the asymptotic values and the evolution of the instability enters into the reacceleration stage. Lastly, the curves for the spike and bubble velocities have some fluctuations at the chaotic stage and also a complex interfacial structure with large topological change is observed, while it still preserves the symmetry property. To determine the nature of the late-time growth, we also calculated the spike and bubble growth rates by using five popular statistical methods and two comparative techniques are recommended, resulting in the spike and bubble growth rates of about 0.13 and 0.022, respectively. When the Reynolds number is gradually reduced, some later stages cannot be reached successively and the structure of the evolutional interface becomes relatively smooth. Moreover, we observe that the spike growth rate shows an overall increase with the Atwood number, while it has little influence on the bubble growth rate being approximately 0.0215.


title: On anchored Lie algebras and the Connes-Moscovici's bialgebroid construction

abstract: We show how the Connes-Moscovici's bialgebroid construction naturally provides universal objects for Lie algebras acting on non-commutative algebras.


title: CAD Applications and Emerging Research Potential in Medical Imaging

abstract: Computer Aided Detection (CAD) is a valuable technique for precisely interpreting medical images and it has a global business opportunity of about USD 1.8 billion. The current aspects with reference to the four sub stages such as image pre-processing, segmentation, feature extraction and classification and the future scope of CAD in medical imaging has been discussed in this paper. Many reviewers have emphasized the need for synergy between engineers and medical professionals for successful development of CAD systems and the current work is a move in that direction. The engineering aspects of the above four stages in four imaging modalities viz. computed tomography, magnetic resonance imaging, mammography and bone scintigraphy used in the diagnosis of five critical diseases have been discussed with a clinical background. Automatic classification of image can play an important role in preliminary screening of very critical ailments bringing down the cost of health care. Another recent advancement is using artificial intelligence and machine learning techniques. This paper reviews these engineering aspects with a view to explore the opportunities to researchers as well as the medical industry to offer affordable medical services with accessibility in even remote locations.


title: Learning Hard Retrieval Decoder Attention for Transformers

abstract: The Transformer translation model is based on the multi-head attention mechanism, which can be parallelized easily. The multi-head attention network performs the scaled dot-product attention function in parallel, empowering the model by jointly attending to information from different representation subspaces at different positions. In this paper, we present an approach to learning a hard retrieval attention where an attention head only attends to one token in the sentence rather than all tokens. The matrix multiplication between attention probabilities and the value sequence in the standard scaled dot-product attention can thus be replaced by a simple and efficient retrieval operation. We show that our hard retrieval attention mechanism is 1.43 times faster in decoding, while preserving translation quality on a wide range of machine translation tasks when used in the decoder self- and cross-attention networks.


title: $(s,p)$-harmonic approximation of functions of least $W^{s,1}$-seminorm

abstract: We investigate the convergence as $p\searrow1$ of the minimizers of the $W^{s,p}$-energy for $s\in(0,1)$ and $p\in(1,\infty)$ to those of the $W^{s,1}$-energy, both in the pointwise sense and by means of $\Gamma$-convergence. We also address the convergence of the corresponding Euler-Lagrange equations, and the equivalence between minimizers and weak solutions. As ancillary results, we study some regularity issues regarding minimizers of the $W^{s,1}$-energy.


title: Driver Anomaly Detection: A Dataset and Contrastive Learning Approach

abstract: Distracted drivers are more likely to fail to anticipate hazards, which result in car accidents. Therefore, detecting anomalies in drivers' actions (i.e., any action deviating from normal driving) contains the utmost importance to reduce driver-related accidents. However, there are unbounded many anomalous actions that a driver can do while driving, which leads to an 'open set recognition' problem. Accordingly, instead of recognizing a set of anomalous actions that are commonly defined by previous dataset providers, in this work, we propose a contrastive learning approach to learn a metric to differentiate normal driving from anomalous driving. For this task, we introduce a new video-based benchmark, the Driver Anomaly Detection (DAD) dataset, which contains normal driving videos together with a set of anomalous actions in its training set. In the test set of the DAD dataset, there are unseen anomalous actions that still need to be winnowed out from normal driving. Our method reaches 0.9673 AUC on the test set, demonstrating the effectiveness of the contrastive learning approach on the anomaly detection task. Our dataset, codes and pre-trained models are publicly available.


title: Encode the Unseen: Predictive Video Hashing for Scalable Mid-Stream Retrieval

abstract: This paper tackles a new problem in computer vision: mid-stream video-to-video retrieval. This task, which consists in searching a database for content similar to a video right as it is playing, e.g. from a live stream, exhibits challenging characteristics. Only the beginning part of the video is available as query and new frames are constantly added as the video plays out. To perform retrieval in this demanding situation, we propose an approach based on a binary encoder that is both predictive and incremental in order to (1) account for the missing video content at query time and (2) keep up with repeated, continuously evolving queries throughout the streaming. In particular, we present the first hashing framework that infers the unseen future content of a currently playing video. Experiments on FCVID and ActivityNet demonstrate the feasibility of this task. Our approach also yields a significant mAP@20 performance increase compared to a baseline adapted from the literature for this task, for instance 7.4% (2.6%) increase at 20% (50%) of elapsed runtime on FCVID using bitcodes of size 192 bits.


title: Self-assembly in rod/coil block copolymers: Degenerate behavior under nonconfinement

abstract: The self-assembly of block copolymers containing rigid blocks have received abiding attention due to its rich phase behavior and potential for use in a variety of applications. In this work, under asymmetric interactions between rod/coil components, the self-assembly of coil/coil/rod ABC triblock copolymers is studied using self-consistent field of lattice model. In addition to micelles, centrosymmetric lamellae (CSLM), lamellae, perforated lamellae, strips and gyroids, non-centrosymmetric (NCSLM) lamellae and wavy morphologies are observed as stable phases. The phase diagram of interaction between rod and coil components versus the rod fraction is constructed given a fixed interaction between coil components. For intermediate rod fraction, degenerate behavior is observed. NCSLM and CSLM are degenerate structures. It is found that the entropy of chain conformation plays an important role for this rich behavior. A mechanism of the degenerate behavior is proposed in coil/rod block copolymers under noncofinement. This study provides some new insights into the degenerate behavior of block compolymers, which can offer a theoretical reference for related experiments.


title: Is the NANOGrav signal a hint of dS decay during inflation?

abstract: As suggested by the swampland conjectures, de Sitter (dS) space might be highly unstable if it exists at all. During inflation, the short-lived dS states will decay through a cascade of the first-order phase transition (PT). We find that the gravitational waves (GWs) yielded by such a PT will be "reddened" by subsequent dS expansion, which may result in a slightly red-tilt stochastic GWs background at low-frequency band, compatible with the NANOGrav 12.5-yr result.


title: Electron tennis driven by radio-frequency electric fields in low-pressure plasma sources

abstract: We present a detailed analysis of electron trajectories within the sheath regions of capacitively coupled plasmas excited by radio-frequency voltage waveforms at low pressures. Complex features inside the sheaths are identified in several physical quantities, which are sculptured by the trajectories of the bouncing electrons under the influence of the spatio-temporally varying electric field. A method is developed to explain the generation of the various features as a function of surface processes and to identify the trajectories of electrons of different origin.


title: Facilitating Connected Autonomous Vehicle Operations Using Space-weighted Information Fusion and Deep Reinforcement Learning Based Control

abstract: The connectivity aspect of connected autonomous vehicles (CAV) is beneficial because it facilitates dissemination of traffic-related information to vehicles through Vehicle-to-External (V2X) communication. Onboard sensing equipment including LiDAR and camera can reasonably characterize the traffic environment in the immediate locality of the CAV. However, their performance is limited by their sensor range (SR). On the other hand, longer-range information is helpful for characterizing imminent conditions downstream. By contemporaneously coalescing the short- and long-range information, the CAV can construct comprehensively its surrounding environment and thereby facilitate informed, safe, and effective movement planning in the short-term (local decisions including lane change) and long-term (route choice). In this paper, we describe a Deep Reinforcement Learning based approach that integrates the data collected through sensing and connectivity capabilities from other vehicles located in the proximity of the CAV and from those located further downstream, and we use the fused data to guide lane changing, a specific context of CAV operations. In addition, recognizing the importance of the connectivity range (CR) to the performance of not only the algorithm but also of the vehicle in the actual driving environment, the paper carried out a case study. The case study demonstrates the application of the proposed algorithm and duly identifies the appropriate CR for each level of prevailing traffic density. It is expected that implementation of the algorithm in CAVs can enhance the safety and mobility associated with CAV driving operations. From a general perspective, its implementation can provide guidance to connectivity equipment manufacturers and CAV operators, regarding the default CR settings for CAVs or the recommended CR setting in a given traffic environment.


title: The founding of Arcetri Observatory in Florence

abstract: The first idea of establishing a public astronomical observatory in Florence, Capital of the Grand Duchy of Tuscany, dates to the mid of the 18th century. Initially, the use of a low building on a high ground was proposed, and the hill of Arcetri suggested as a proper location. At the end of the century, the Florence Observatory - or Specola - was built instead on a tower at the same level as the city's centre. As soon as astronomers started to use this observatory, they recognized all its flaws and struggled to search for a better location. Giovanni Battista Donati, director of the Specola of Florence from the eve of the Italian Unification in 1859, finally succeeded in creating a new observatory: first, he obtained funds from the Parliament of the Kingdom of Italy to build an equatorial mount for the Amici 28-cm refractor, which could not be installed conveniently in the tower of the Specola; then, he went through the process of selecting a proper site, seeking funds and finally building Arcetri Observatory. Although Donati was a pioneer of spectroscopy and astrophysics, his intent was to establish a modern observatory for classical astronomy, as the Italian peninsula did not have a national observatory like those located in many foreign capitals - Florence was the capital of the Kingdom of Italy from 1865 to 1871. To promote the project, Donati made use of writings by one of the most authoritative European astronomers, Otto Wilhelm Struve. The paper describes all these steps, eventually leading to the final inauguration of the Arcetri Observatory in 1872, almost 150 years ago.


title: Topological terms and anomaly matching in effective field theories on $\mathbb{R}^3\times S^1$: I. Abelian symmetries and intermediate scales

abstract: We explicitly calculate the topological terms that arise in IR effective field theories for $SU(N)$ gauge theories on $\mathbb{R}^3 \times S^1$ by integrating out all but the lightest modes. We then show how these terms match all global-symmetry 't Hooft anomalies of the UV description. We limit our discussion to theories with abelian 0-form symmetries, namely those with one flavour of adjoint Weyl fermion and one or zero flavours of Dirac fermions. While anomaly matching holds as required, it takes a different form than previously thought. For example, cubic- and mixed-$U(1)$ anomalies are matched by local background-field-dependent topological terms (background TQFTs) instead of chiral-lagrangian Wess-Zumino terms. We also describe the coupling of 0-form and 1-form symmetry backgrounds in the magnetic dual of super-Yang-Mills theory in a novel way, valid throughout the RG flow and consistent with the monopole-instanton 't Hooft vertices. We use it to discuss the matching of the mixed chiral-center anomaly in the magnetic dual.


title: Transfer Learning from Monolingual ASR to Transcription-free Cross-lingual Voice Conversion

abstract: Cross-lingual voice conversion (VC) is a task that aims to synthesize target voices with the same content while source and target speakers speak in different languages. Its challenge lies in the fact that the source and target data are naturally non-parallel, and it is even difficult to bridge the gaps between languages with no transcriptions provided. In this paper, we focus on knowledge transfer from monolin-gual ASR to cross-lingual VC, in order to address the con-tent mismatch problem. To achieve this, we first train a monolingual acoustic model for the source language, use it to extract phonetic features for all the speech in the VC dataset, and then train a Seq2Seq conversion model to pre-dict the mel-spectrograms. We successfully address cross-lingual VC without any transcription or language-specific knowledge for foreign speech. We experiment this on Voice Conversion Challenge 2020 datasets and show that our speaker-dependent conversion model outperforms the zero-shot baseline, achieving MOS of 3.83 and 3.54 in speech quality and speaker similarity for cross-lingual conversion. When compared to Cascade ASR-TTS method, our proposed one significantly reduces the MOS drop be-tween intra- and cross-lingual conversion.


title: Magnetic coupling in colloidal clusters for hierarchical self-assembly

abstract: Manipulating the way in which colloidal particles self-organise is a central challenge in the design of functional soft materials. Meeting this challenge requires the use of building blocks that interact with one another in a highly specific manner. Their fabrication, however, is limited by the complexity of the available synthesis procedures. Here, we demonstrate that, starting from experimentally available magnetic colloids, we can create a variety of complex building blocks suitable for hierarchical self-organisation using a simple scalable process. Using computer simulations, we compress spherical and cubic magnetic colloids in spherical confinement, and investigate their suitability to form small clusters with reproducible structural and magnetic properties. We find that, while the structure of these clusters is highly reproducible, their magnetic character depends on the particle shape. Only spherical particles have the rotational degrees of freedom to produce consistent magnetic configurations, whereas cubic particles frustrate the minimisation of the cluster energy, resulting in various magnetic configurations. To highlight their potential for self-assembly, we demonstrate that already clusters of three magnetic particles form highly nontrivial Archimedean lattices, namely staggered kagome, bounce and honeycomb, when viewing different aspects of the same monolayer structure. The work presented here offers a conceptually different way to design materials by utilizing pre-assembled magnetic building blocks that can readily self-organise into complex structures.


title: An Online Learning Algorithm for a Neuro-Fuzzy Classifier with Mixed-Attribute Data

abstract: General fuzzy min-max neural network (GFMMNN) is one of the efficient neuro-fuzzy systems for data classification. However, one of the downsides of its original learning algorithms is the inability to handle and learn from the mixed-attribute data. While categorical features encoding methods can be used with the GFMMNN learning algorithms, they exhibit a lot of shortcomings. Other approaches proposed in the literature are not suitable for on-line learning as they require entire training data available in the learning phase. With the rapid change in the volume and velocity of streaming data in many application areas, it is increasingly required that the constructed models can learn and adapt to the continuous data changes in real-time without the need for their full retraining or access to the historical data. This paper proposes an extended online learning algorithm for the GFMMNN. The proposed method can handle the datasets with both continuous and categorical features. The extensive experiments confirmed superior and stable classification performance of the proposed approach in comparison to other relevant learning algorithms for the GFMM model.


title: Total energy calculation for the metallic hcp phase of Zn in the bulk, layered, and quantum dot limits

abstract: The structural and electronic properties of the metallic hcp phase of Zn in the bulk, monolayer, bilayer, and quantum dot limits have been studied by using total energy calculations. From our calculated density of states and electronic band structure, in agreement with previous work, bulk hybridization of the Zn--$4s$, $3p$, and $3d$ orbitals is obtained. Furthermore, we found that this orbital hybridization is also obtained for the monolayer, bilayer, and quantum dot systems. At the same time, we found that the Zn monolayer and bilayer systems show electronic properties characteristic of lamellar systems, while the quantum dot system shows the behavior predicted for a 0D system.


title: A generalisation of the Burkholder-Davis-Gundy inequalities

abstract: {Consider a c\`adl\`ag local martingale $M$ with square brackets $[M]$. In this paper, we provide upper and lower bounds for expectations of the type ${\mathbb E} [M]^{q/2}_{\tau}$, for any stopping time $\tau$ and $q\ge 2$, in terms of predictable processes. This result can be thought of as a Burkholder-Davis-Gundy type inequality in the sense that it can be used to relate the expectation of the running maximum $|M^*|^q$ to the expectation of the dual previsible projections of the relevant powers of the associated jumps of $M$. The case for a class of moderate functions is also discussed.


title: Super-Eddington mass growth of intermediate-mass black holes embedded in dusty circumnuclear disks

abstract: We perform the first three-dimensional radiation hydrodynamical simulations that investigate the growth of intermediate-mass BHs (IMBHs) embedded in massive self-gravitating, dusty nuclear accretion disks. We explore the dependence of mass accretion efficiency on the gas metallicity $Z$ and mass injection at super-Eddington accretion rates from the outer galactic disk $\dot{M}_{\rm in}$, and find that the central BH can be fed at rates exceeding the Eddington rate only when the dusty disk becomes sufficiently optically thick to ionizing radiation. In this case, mass outflows from the disk owing to photoevaporation is suppressed and thus a large fraction ($\gtrsim 40\%$) of the mass injection rate can feed the central BH. The conditions are expressed as $\dot{M}_{\rm in} > 2.2\times 10^{-1}~M_\odot ~{\rm yr}^{-1} (1+Z/10^{-2}~Z_\odot)^{-1}(c_{\rm s}/10~{\rm km~s}^{-1})$, where $c_{\rm s}$ is the sound speed in the gaseous disk. With increasing numerical resolution, vigorous disk fragmentation reduces the disk surface density and dynamical heating by formed clumps makes the disk thickness higher. As a result, the photoevaorative mass-loss rate rises and thus the critical injection rate increases for fixed metallicity. This process enables super-Eddington growth of BHs until the BH mass reaches $M_{\rm BH} \sim 10^{7-8}~M_\odot$, depending on the properties of the host dark-matter halo and metal-enrichment history. In the assembly of protogalaxies, seed BHs that form in overdense regions with a mass variance of 3-4$\sigma$ at $z\sim 15-20$ are able to undergo short periods of their rapid growth and transits into the Eddington-limited growth phase afterwards to be supermassive BHs observed at $z>6-7$.


title: Quantum vacuum effects in braneworlds on AdS bulk

abstract: We review the results of investigations for brane-induced effects on the local properties of quantum vacuum in background of AdS spacetime. Two geometries are considered: a brane parallel to the AdS boundary and a brane intersecting the AdS boundary. For both these cases the contribution in the vacuum expectation value (VEV) of the energy-momentum tensor is separated explicitly and its behavior in various asymptotic regions of the parameters is studied. It is shown that the influence of the gravitational field on the local properties of the quantum vacuum is essential at distance from the brane larger than the AdS curvature radius. In the geometry with a brane parallel to the AdS boundary the VEV of the energy-momentum tensor is considered for scalar field with the Robin boundary condition, for Dirac field with the bag boundary condition and for the electromagnetic field. In the latter case two types of boundary conditions are discussed. The first one is a generalization of the perfect conductor boundary condition and the second one corresponds to the confining boundary condition used in QCD for gluons. For the geometry of a brane intersecting the AdS boundary, the case of a scalar field is considered. The corresponding energy-momentum tensor, apart from the diagonal components, has nonzero off-diagonal component. As a consequence of the latter, in addition to the normal component, the Casimir force acquires a component parallel to the brane.


title: Weights and Methodology Brief for the COVID-19 Symptom Survey by University of Maryland and Carnegie Mellon University, in Partnership with Facebook

abstract: Facebook is partnering with academic institutions to support COVID-19 research. Currently, we are inviting Facebook app users in the United States to take a survey collected by faculty at Carnegie Mellon University (CMU) Delphi Research Center, and we are inviting Facebook app users in more than 200 countries or territories globally to take a survey collected by faculty at the University of Maryland (UMD) Joint Program in Survey Methodology (JPSM). As part of this initiative, we are applying best practices from survey statistics to design and execute two components: (1) sampling design and (2) survey weights, which make the sample more representative of the general population. This paper describes the methods we used in these efforts in order to allow data users to execute their analyses using the weights.


title: Robustness properties of a large-amplitude, high-frequency extremum seeking control scheme

abstract: We analyze stability and robustness properties of an extremum seeking scheme that employs oscillatory dither signals with sufficiently large amplitudes and frequencies. Our study takes both input and output disturbances into account. We consider general $L_\infty$-disturbances, which may resonate with the oscillatory dither signals. A suitable change of coordinates followed by an averaging procedure reveals that the closed-loop system approximates the behavior of an averaged system. This leads to the effect that stability and robustness properties carry over from the averaged system to the closed-loop system. In particular, we show that, if the averaged system is input-to-state stable (ISS), then the closed-loop system has ISS-like properties.


title: SoRC -- Evaluation of Computational Molecular Co-Localization Analysis in Mass Spectrometry Images

abstract: The computational analysis of Mass Spectrometry Imaging (MSI) data aims at the identification of interesting mass co-localizations and the visualization of their lateral distribution in the sample, usually a tissue cross section. But as the morphological structure of tissues and the different kinds of mass co-localization naturally show a huge diversity, the selection and tuning of the computational method is a time-consuming effort. In this work we address the special problem of computationally grouping mass channel images according to their similarities in their lateral distribution patterns. Such an analysis is driven by the idea, that groups of molecules that feature a similar distribution pattern may have a functional relation. But the selection of the similarity function and other parameters is often done by a time-consuming and unsatsifactory trial and error. We propose a new flexible workflow scheme called SoRC (sum of ranked cluster indices) for automating this tuning step and making it much more efficient. We test SoRC using three different data sets acquired from the lab for three different kinds of samples (barley seed, mouse bladder tissue, human PXE skin). We show, that SORC can be applied to score and visualize the results obtained with the applied methods in short time without too much effort. In our application example, the SoRC results for the three data sets reveal that a) some well-known similarity functions are suited to achieve good results for all three data sets and b) for the MSI data featuring a higher degree of irregularity improved results can be achieved by applying non-standard similarity functions. The SoRC scores computed with our approach indicate that an automated testing and scoring of different methods for mass channel image grouping can improve the final outcome of a study by finally selecting the methods of the highest scores.


title: Scale-dependent slowly rotating black holes with flat horizon structure

abstract: We study slowly rotating four-dimensional black holes with flat horizon structure in scale-dependent gravity. First we obtain the solution, and then we study thermodynamic properties as well as the invariants of the theory. The impact of the scale-dependent parameter is investigated in detail. We find that the scale-dependent solution exhibits a single singularity at the origin, also present in the classical solution.


title: Scalable Deep Reinforcement Learning for Ride-Hailing

abstract: Ride-hailing services, such as Didi Chuxing, Lyft, and Uber, arrange thousands of cars to meet ride requests throughout the day. We consider a Markov decision process (MDP) model of a ride-hailing service system, framing it as a reinforcement learning (RL) problem. The simultaneous control of many agents (cars) presents a challenge for the MDP optimization because the action space grows exponentially with the number of cars. We propose a special decomposition for the MDP actions by sequentially assigning tasks to the drivers. The new actions structure resolves the scalability problem and enables the use of deep RL algorithms for control policy optimization. We demonstrate the benefit of our proposed decomposition with a numerical experiment based on real data from Didi Chuxing.


title: An Analytic Approach to the Quasi-projectivity of the Moduli Space of Higgs Bundles

abstract: The moduli space of Higgs bundles can be defined as a quotient of an infinite-dimensional space. Moreover, by the Kuranishi slice method, it is equipped with the structure of a normal complex space. In this paper, we will use analytic methods to show that the moduli space is quasi-projective. In fact, following Hausel's method, we will use the symplectic cut to construct a normal and projective compactification of the moduli space, and hence prove the quasi-projectivity. The main difference between this paper and Hausel's is that the smoothness of the moduli space is not assumed.


title: Encoding cloth manipulations using a graph of states and transitions

abstract: Cloth manipulation is very relevant for domestic robotic tasks, but it presents many challenges due to the complexity of representing, recognizing and predicting the behaviour of cloth under manipulation. In this work, we propose a generic, compact and simplified representation of the states of cloth manipulation that allows for representing tasks as sequences of states and transitions. We also define a Cloth Manipulation Graph that encodes all the strategies to accomplish a task. Our novel representation is used to encode two different cloth manipulation tasks, learned from an experiment with human subjects with video and motion data. We show how our simplified representation allows to obtain a map of meaningful motion primitives.


title: Regression to the Tail: Why the Olympics Blow Up

abstract: The Olympic Games are the largest, highest-profile, and most expensive megaevent hosted by cities and nations. Average sports-related costs of hosting are $12.0 billion. Non-sports-related costs are typically several times that. Every Olympics since 1960 has run over budget, at an average of 172 percent in real terms, the highest overrun on record for any type of megaproject. The paper tests theoretical statistical distributions against empirical data for the costs of the Games, in order to explain the cost risks faced by host cities and nations. It is documented, for the first time, that cost and cost overrun for the Games follow a power-law distribution. Olympic costs are subject to infinite mean and variance, with dire consequences for predictability and planning. We name this phenomenon "regression to the tail": it is only a matter of time until a new extreme event occurs, with an overrun larger than the largest so far, and thus more disruptive and less plannable. The generative mechanism for the Olympic power law is identified as strong convexity prompted by six causal drivers: irreversibility, fixed deadlines, the Blank Check Syndrome, tight coupling, long planning horizons, and an Eternal Beginner Syndrome. The power law explains why the Games are so difficult to plan and manage successfully, and why cities and nations should think twice before bidding to host. Based on the power law, two heuristics are identified for better decision making on hosting. Finally, the paper develops measures for good practice in planning and managing the Games, including how to mitigate the extreme risks of the Olympic power law.


title: RCM: Requirement Capturing Model for Automated Requirements Formalisation

abstract: Most existing automated requirements formalisation techniques require system engineers to (re)write their requirements using a set of predefined requirement templates with a fixed structure and known semantics to simplify the formalisation process. However, these techniques require understanding and memorising requirement templates, which are usually fixed format, limit requirements captured, and do not allow capture of more diverse requirements. To address these limitations, we need a reference model that captures key requirement details regardless of their structure, format or order. Then, using NLP techniques we can transform textual requirements into the reference model. Finally, using a suite of transformation rules we can then convert these requirements into formal notations. In this paper, we introduce the first and key step in this process, a Requirement Capturing Model (RCM) - as a reference model - to model the key elements of a system requirement regardless of their format, or order. We evaluated the robustness of the RCM model compared to 15 existing requirements representation approaches and a benchmark of 162 requirements. Our evaluation shows that RCM breakdowns support a wider range of requirements formats compared to the existing approaches. We also implemented a suite of transformation rules that transforms RCM-based requirements into temporal logic(s). In the future, we will develop NLP-based RCM extraction technique to provide end-to-end solution.


title: Benchmark for Anonymous Video Analytics

abstract: Out-of-home audience measurement aims to count and characterize the people exposed to advertising content in the physical world. While audience measurement solutions based on computer vision are of increasing interest, no commonly accepted benchmark exists to evaluate and compare their performance. In this paper, we propose the first benchmark for digital out-of-home audience measurement that evaluates the vision-based tasks of audience localization and counting, and audience demographics. The benchmark is composed of a novel, dataset captured at multiple locations and a set of performance measures. Using the benchmark, we present an in-depth comparison of eight open-source algorithms on four hardware platforms with GPU and CPU-optimized inferences and of two commercial off-the-shelf solutions for localization, count, age, and gender estimation. This benchmark and related open-source codes are available at http://ava.eecs.qmul.ac.uk.


title: An Embedded RISC-V Core with Fast Modular Multiplication

abstract: One of the biggest concerns in IoT is privacy and security. Encryption and authentication need big power budgets, which battery-operated IoT end-nodes do not have. Hardware accelerators designed for specific cryptographic operations provide little to no flexibility for future updates. Custom instruction solutions are smaller in area and provide more flexibility for new methods to be implemented. One drawback of custom instructions is that the processor has to wait for the operation to finish. Eventually, the response time of the device to real-time events gets longer. In this work, we propose a processor with an extended custom instruction for modular multiplication, which blocks the processor, typically, two cycles for any size of modular multiplication when used in Partial Execution mode. We adopted embedded and compressed extensions of RISC-V for our proof-of-concept CPU. Our design is benchmarked on recent cryptographic algorithms in the field of elliptic-curve cryptography. Our CPU with 128-bit modular multiplication operates at 136MHz on ASIC and 81MHz on FPGA. It achieves up to 13x speed up on software implementations while reducing overall power consumption by up to 95\% with 41\% average area overhead over our base architecture.


title: Random dynamical systems on a real line

abstract: We study random dynamical systems on the real line, considering each dynamical system together with the one generated by the inverse maps. We show that there is a duality between forward and inverse behaviour for such systems, splitting them into four classes (in terms of both dynamical and stationary measure aspects). This is analogous to the results already known for the smooth dynamics on [0,1], established in terms of the Lyapunov exponents at the endpoints; however, our arguments are purely topological, and thus our result is applicable to the general case of homeomorphisms of the real line.


title: Cutting out the cosmological middle man: General Relativity in the light-cone coordinates

abstract: Analytical computations in relativistic cosmology can be split into two sets: time evolution relating the initial conditions to the observer's light-cone and light propagation to obtain observables. Cosmological perturbation theory in the FLRW coordinates constitutes an efficient tool for the former task, but the latter is dramatically simpler in light-cone-adapted coordinates that trivialize the light rays towards the observer world-line. Here we point out that time evolution and observable reconstruction can be combined into a single computation that relates directly initial conditions to observables. This is possible if one works uniquely in such light-cone coordinates, thus completely bypassing the FLRW "middle-man" coordinates. We first present in detail these light-cone coordinates, extending and generalizing the presently available material in the literature, and construct a particularly convenient subset for cosmological perturbation theory. We then express the Einstein and energy-momentum conservation equations in these coordinates at the fully non-linear level. This is achieved through a careful 2+1+1 decomposition which leads to relatively compact expressions and provides good control over the geometrical interpretation of the involved quantities. Finally, we consider cosmological perturbation theory to linear order, paying attention to the remaining gauge symmetries and consistently obtaining gauge-invariant equations. Moreover, we show that it is possible to implement statistical homogeneity on stochastic fluctuations, despite the fact that the coordinate system privileges the observer world-line.


title: Effect of hydrostatic pressure and longitudinal electric field on phase transitions and thermodynamic characteristics of quasione-dimensional CsH$_2$PO$_4$ ferroelectric

abstract: We propose a two-sublattice proton ordering model for the quasione-dimensional CsH$_2$PO$_4$ ferroelectric with hydrogen bonds, which takes into account linear on lattice strains $u_1$, $u_2$, $u_3$ and $u_5$ contribution to the energy of proton subsystem. The model also takes into account the dependence of effective dipole moments of pseudospins on the order parameters, which enables one to agree the effective dipole moments in paraelectric and ferroelectric phases. Within this model in two-particle cluster approximation on short-range interactions and in the mean field approximation on long-range interactions, there is investigated the behaviour of spontaneous polarization, longitudinal dielectric permittivity and molar heat capacity under the action of hydrostatic pressure and longitudinal electric field. The phase transition into antiferroelectric phase under high pressures is explained. The character of smearing of the paraelectric-ferroelectric phase transition as well as suppression of the antiferroelectric phase at the presence of electric field is studied.


title: Optical properties of LaNiO3 films tuned from compressive to tensile strain

abstract: Materials with strong electronic correlations host remarkable -- and technologically relevant -- phenomena such as magnetism, superconductivity and metal-insulator transitions. Harnessing and controlling these effects is a major challenge, on which key advances are being made through lattice and strain engineering in thin films and heterostructures, leveraging the complex interplay between electronic and structural degrees of freedom. Here we show that the electronic structure of LaNiO3 can be tuned by means of lattice engineering. We use different substrates to induce compressive and tensile biaxial epitaxial strain in LaNiO3 thin films. Our measurements reveal systematic changes of the optical spectrum as a function of strain and, notably, an increase of the low-frequency free carrier weight as tensile strain is applied. Using density functional theory (DFT) calculations, we show that this apparently counter-intuitive effect is due to a change of orientation of the oxygen octahedra.The calculations also reveal drastic changes of the electronic structure under strain, associated with a Fermi surface Lifshitz transition. We provide an online applet to explore these effects. The experimental value of integrated spectral weight below 2 eV is significantly (up to a factor of 3) smaller than the DFT results, indicating a transfer of spectral weight from the infrared to energies above 2 eV. The suppression of the free carrier weight and the transfer of spectral weight to high energies together indicate a correlation-induced band narrowing and free carrier mass enhancement due to electronic correlations. Our findings provide a promising avenue for the tuning and control of quantum materials employing lattice engineering.


title: Detecting single infrared photons toward optimal system detection efficiency

abstract: Superconducting nanowire single-photon detector (SNSPD) with near-unity system efficiency is a key enabling, but still elusive technology for numerous quantum fundamental theory verifications and quantum information applications. The key challenge is to have both a near-unity photon-response probability and absorption efficiency simultaneously for the meandered nanowire with a finite filling ratio, which is more crucial for NbN than other superconducting materials (e.g., WSi) with lower transition temperatures. Here, we overcome the above challenge and produce NbN SNSPDs with a record system efficiency by replacing a single-layer nanowire with twin-layer nanowires on a dielectric mirror. The detector at 0.8 K shows a maximal system detection efficiency (SDE) of 98% at 1590 nm and a system efficiency of over 95% in the wavelength range of 1530-1630 nm. Moreover, the detector at 2.1K demonstrates a maximal SDE of 95% at 1550 nm using a compacted two-stage cryocooler. This type of detector also shows the robustness against various parameters, such as the geometrical size of the nanowire, and the spectral bandwidth, enabling a high yield of 73% (36%) with an SDE of >80% (90%) at 2.1K for 45 detectors fabricated in the same run. These SNSPDs made of twin-layer nanowires are of important practical significance for batch production.


title: The quantum tunnel effect of photon in one-dimensional photonic crystals

abstract: In the paper, we have given the quantum transmissivity, probability density and probability current density of photon in one-dimensional photonic crystals $(AB)^N$ with the quantum theory approach. We find the quantum transmissivity is identical to the classical transmissivity. When the incident angle $\theta$ and periodic number $N$ change the probability density and probability current density are approximate periodic change, and their amplitude are increased with the incident angles $\theta$ and periodic number $N$ increasing. Otherwise, we find when the frequency of incident photon is corresponding to transmissivity $T=1$, the amplitude of the probability density is the largest. When the frequency of incident photon is corresponding to transmissivity $T=0$, the amplitude of the probability density attenuate rapidly to zero, it indicates that there is the quantum tunnel effect of photon in photonic crystals.


title: Dynamic First Order Wave Systems with Drift Term on Riemannian Manifolds

abstract: An abstract first order differential equation of hyperbolic type with drift term on a Riemannian manifold is considered. For proving its well-posedness, transmutator and commutator relations are needed, which are studied in a general functional analytic setting.


title: Hybrid functional analysis of porous coordination polymers Cu[Cu(pdt)$_{2}$] and Cu[Ni(pdt)$_{2}$]

abstract: Ab initio investigation of the two porous coordination polymers Cu[Cu(pdt)$ _{2} $] and Cu[Ni(pdt)$ _{2} $] has been performed. The dispersion laws and partial density of states was obtained with the PBE0 hybrid functional. The results found here show that the materials under consideration are degenerate $p$-type semiconductors. Here, the effect of partial self-interaction removing of the strongly correlated 3$d$ electrons of Cu and Ni was examined. In case of Cu-containing materials, the obtained results confirm that the 3$d$ electrons of Cu reveal strong correlations, and, therefore, their electronic properties could be evaluated by means of a hybrid functional of the exchange-correlation energy. We also obtained quasiparticle properties within the Green's function (G0W0) and Bethe-Salpeter approaches. The last one was used in order to examine excitonic properties in the degenerate semiconductors. The imaginary part of the dielectric function was obtained within random-phase approximation as well as the Bethe-Salpeter approach.


title: A new identity for the sum of products of generalized basic hypergeometric functions

abstract: We prove a duality relation for generalized basic hypergeometric functions. It forms a $q$-extension of a recent result of the second and the third named authors and generalizes both a $q$-hypergeometric identity due to the third named author (jointly with Feng and Yang) and a recent identity for the Heine's ${}_2\phi_{1}$ function due to Suzuki. We further explore various consequences of our identity leading to several presumably new multi-term relations for both terminating and non-terminating generalized basic hypergeometric series. Moreover, we give confluent versions of our results and furnish a number of explicit examples.


title: Global convergence of Negative Correlation Extreme Learning Machine

abstract: Ensemble approaches introduced in the Extreme Learning Machine (ELM) literature mainly come from methods that relies on data sampling procedures, under the assumption that the training data are heterogeneously enough to set up diverse base learners. To overcome this assumption, it was proposed an ELM ensemble method based on the Negative Correlation Learning (NCL) framework, called Negative Correlation Extreme Learning Machine (NCELM). This model works in two stages: i) different ELMs are generated as base learners with random weights in the hidden layer, and ii) a NCL penalty term with the information of the ensemble prediction is introduced in each ELM minimization problem, updating the base learners, iii) second step is iterated until the ensemble converges. Although this NCL ensemble method was validated by an experimental study with multiple benchmark datasets, no information was given on the conditions about this convergence. This paper mathematically presents the sufficient conditions to guarantee the global convergence of NCELM. The update of the ensemble in each iteration is defined as a contraction mapping function, and through Banach theorem, global convergence of the ensemble is proved.


title: Silicon carbide diodes for neutron detection

abstract: In the last two decades we have assisted to a rush towards finding a He3-replacing technology capable of detecting neutrons emitted from fissile isotopes. The demand stems from applications like nuclear war-head screening or preventing illicit traffic of radiological materials. Semiconductor detectors stand among the stronger contenders, particularly those based on materials possessing a wide band gap like silicon carbide. We review the workings of SiC-based neutron detectors, along with several issues related to material properties, device fabrication and testing. The paper summarizes the experimental and theoretical work carried out within the E-SiCure project, co-funded by the NATO SPS Programme. Among the achievements, we have the development of successful Schottky barrier based detectors and the identification of the main carrier life-time-limiting defects in the SiC active areas, either already present in pristine devices or introduced upon exposure to radiation fields. The physical processes involved in neutron detection are described. Material properties as well as issues related to epitaxial growth and device fabrication are addressed. The presence of defects in as-grown material, as well as those introduced by ionizing radiation are reported. We finally describe several experiments carried out at the Jozef Stefan Institute TRIGA Mark II reactor (Ljubljana, Slovenia), where a set of SiC-based neutron detectors were tested, some of which being equipped with a thermal neutron converter layer. We show that despite the existence of large room for improvement, Schottky barrier diodes based on state-of-the-art 4H-SiC are closing the gap regarding the sensitivity offered by gas-based and that of semiconductor detectors.


title: Derived Langlands V:The simplicial and Hopflike categories

abstract: This is the fifth article in the Derived Langlands series which consists of one monograph and four articles. In this article I describe the Hopf algebra and Positive Selfadjoint Hopfalgebra (PSH) aspects to classification of a number of new classes of presentations and admissibility which have appeared earlier in the series. The paper begins with a very estensive. partly hypothetical, of the synthesis of the entire series. Many of the proofs and ideas in this series are intended to be suggestive rather than the finished definitive product for extenuating circumstances explained therein.


title: Comptonization of CMB in galaxy clusters. Monte Carlo computations

abstract: The problem under consideration is to determine the change of the Cosmic Microwave Background (CMB) spectral shape due to the thermal Sunyaev-Zeldovich effect. We numerically model the spectral intensity of the CMB radiation Comptonized by the hot intergalactic Maxwellian plasma. To this aim, a relativistic Monte Carlo code with photon weights is developed. The code enables us to construct the Comptonized CMB spectrum in a wide energy range. The results are compared with known analytical solutions and previous numerical simulations. We also calculate the angular distributions of the intensity of radiation emerging from the cloud, which show that the spectral shape of the tSZ effect is not universal for different directions of escaping photons. The numerical method can be applied to simulate the processes of Comptonization for different optical depths, temperatures, initial spectra of photon sources and their spatial distributions, the obtained results may have implications on investigating the profiles of galaxy clusters.


title: Dynamics of growth, death, and resource competition in sessile organisms

abstract: Population-level scaling in ecological systems arises from individual growth and death with competitive constraints. We build on a minimal dynamical model of metabolic growth where the tension between individual growth and mortality determines population size distribution. We include resource competition based on shared capture area separately. By varying relative rates of growth, death, and competitive attrition, we connect regular and random spatial patterns across sessile organisms from forests to ants, termites, and fairy circles. Then, we consider transient temporal dynamics in the context of asymmetric competition that primarily weakens the smaller of two competitors such as canopy shading or large colony dominance. When such competition couples slow timescales of growth with fast competitive death, it generates population shock waves similar to those observed in forest demographic data. Our minimal quantitative theory unifies spatiotemporal patterns across sessile organisms through local competition mediated by the laws of metabolic growth which in turn result from long-term evolutionary dynamics.


title: A Framework to Handle Multi-modal Multi-objective Optimization in Decomposition-based Evolutionary Algorithms

abstract: Multi-modal multi-objective optimization is to locate (almost) equivalent Pareto optimal solutions as many as possible. While decomposition-based evolutionary algorithms have good performance for multi-objective optimization, they are likely to perform poorly for multi-modal multi-objective optimization due to the lack of mechanisms to maintain the solution space diversity. To address this issue, this paper proposes a framework to improve the performance of decomposition-based evolutionary algorithms for multi-modal multi-objective optimization. Our framework is based on three operations: assignment, deletion, and addition operations. One or more individuals can be assigned to the same subproblem to handle multiple equivalent solutions. In each iteration, a child is assigned to a subproblem based on its objective vector, i.e., its location in the objective space. The child is compared with its neighbors in the solution space assigned to the same subproblem. The performance of improved versions of six decomposition-based evolutionary algorithms by our framework is evaluated on various test problems regarding the number of objectives, decision variables, and equivalent Pareto optimal solution sets. Results show that the improved versions perform clearly better than their original algorithms.


title: Where Does Trust Break Down? A Quantitative Trust Analysis of Deep Neural Networks via Trust Matrix and Conditional Trust Densities

abstract: The advances and successes in deep learning in recent years have led to considerable efforts and investments into its widespread ubiquitous adoption for a wide variety of applications, ranging from personal assistants and intelligent navigation to search and product recommendation in e-commerce. With this tremendous rise in deep learning adoption comes questions about the trustworthiness of the deep neural networks that power these applications. Motivated to answer such questions, there has been a very recent interest in trust quantification. In this work, we introduce the concept of trust matrix, a novel trust quantification strategy that leverages the recently introduced question-answer trust metric by Wong et al. to provide deeper, more detailed insights into where trust breaks down for a given deep neural network given a set of questions. More specifically, a trust matrix defines the expected question-answer trust for a given actor-oracle answer scenario, allowing one to quickly spot areas of low trust that needs to be addressed to improve the trustworthiness of a deep neural network. The proposed trust matrix is simple to calculate, humanly interpretable, and to the best of the authors' knowledge is the first to study trust at the actor-oracle answer level. We further extend the concept of trust densities with the notion of conditional trust densities. We experimentally leverage trust matrices to study several well-known deep neural network architectures for image recognition, and further study the trust density and conditional trust densities for an interesting actor-oracle answer scenario. The results illustrate that trust matrices, along with conditional trust densities, can be useful tools in addition to the existing suite of trust quantification metrics for guiding practitioners and regulators in creating and certifying deep learning solutions for trusted operation.


title: Some Remarks on Replicated Simulated Annealing

abstract: Recently authors have introduced the idea of training discrete weights neural networks using a mix between classical simulated annealing and a replica ansatz known from the statistical physics literature. Among other points, they claim their method is able to find robust configurations. In this paper, we analyze this so-called "replicated simulated annealing" algorithm. In particular, we explicit criteria to guarantee its convergence, and study when it successfully samples from configurations. We also perform experiments using synthetic and real data bases.


title: Neutrino oscillation in dark matter with $L_\mu-L_\tau$

abstract: In this paper, we study the phenomenology of a Dirac dark matter in the $L_\mu-L_\tau$ model and investigate the neutrino oscillation in the dark halo. Since dark matter couples to the muon neutrino and the tau neutrino with opposite sign couplings, it contributes effective potentials, $\pm A_\chi$, to the evolution equation of the neutrino flavor transition amplitude, which can be significant for high energy neutrino oscillations in a dense dark matter environment. We discuss neutrino masses, lepton mixing angles, Dirac CP phase, and neutrino oscillation probabilities in the dark halo using full numerical calculations. Results show that neutrinos can endure very different matter effects. When the potential $A_\chi$ becomes ultra-large, three neutrino flavors decouple from each other.


title: On the critical decay for the wave equation with a cubic convolution in 3D

abstract: We consider the wave equation with a cubic convolution $\partial_t^2 u-\Delta u=(|x|^{-\gamma}*u^2)u$ in three space dimensions. Here, $0<\gamma<3$ and $*$ stands for the convolution in the space variables. It is well known that if initial data are smooth, small and compactly supported, then $\gamma\ge2$ assures unique global existence of solutions. On the other hand, it is also well known that solutions blow up in finite time for initial data whose decay rate is not rapid enough even when $2\le \gamma<3$. In this paper, we consider the Cauchy problem for $2\le \gamma<3$ in the space-time weighted $L^\infty$ space in which functions have critical decay rate. When $\gamma=2$, we give an optimal estimate of the lifespan. This gives an affirmative answer to the Kubo conjecture (see Remark right after Theorem 2.1 in Kubo(2004)). When $2<\gamma<3$, we also prove unique global existence of solutions for small data.


title: Persistent Data Retention Models

abstract: Non-Volatile Memory devices may soon be a part of main memory, and programming models that give programmers direct access to persistent memory through loads and stores are sought to maximize the performance benefits of these new devices. Direct access introduces new challenges. In this work, we identify an important aspect of programming for persistent memory: the persistent data retention model. A Persistent Data Retention Model describes what happens to persistent data when code that uses it is modified. We identify two models present in prior work but not described as such, the Reset and Manual Model, and we propose a new one called the Automatic Model. The Reset model discards all persistent data when a program changes leading to performance overheads and write amplification. In contrast, if data is to be retained, the Manual Model relies on the programmer to implement code that upgrades data from one version of the program to the next. This reduces overheads but places a larger burden on the programmer. We propose the Automatic Model to assist a programmer by automating some or all of the conversion. We describe one such automatic approach, Lazily Extendible Data Structures, that uses language extensions and compiler support to reduce the effort and complexity associated with updating persistent data. We evaluate our PDRMs in the context of the Persistent Memory Development Kit (PMDK) using kernels and the TPC-C application. Manual Model shows an overhead of 2.90% to 4.10% on average, and LEDS shows overhead of 0.45% to 10.27% on average, depending on the workload. LEDS reduces the number of writes by 26.36% compared to Manual Model. Furthermore, LEDS significantly reduces the programming complexity by relying on the compiler to migrate persistent data.