title: A direct relaxation process for particle methods in gas kinetic theory

abstract: The multi-scale flow mechanism is crucial for force and heat loaded on near-space and reentry vehicles, the control of spacecraft by thrusters, the propelling and cooling of MEMS, etc. Since the continuum flow and rarefied flow often exist simultaneously, the modeling and prediction for such a multi-scale flow field is very complicated. One important and efficient way of predicting the multi-scale flow is constructing numerical methods by adapting the multi-scale properties of the temporal integral solutions (or equivalent characteristic line solutions) for the model equations in the gas-kinetic theory. The model equations can be classified into FP-type and BGK-type, and the numerical methods can have deterministic form or stochastic particle form. Since these numerical methods are strictly based on model equations, they are also restricted by the model equations. The difficulty and complexity in constructing model equation that has complete asymptotic preserving property for gas mixture with non-equilibrium internal energy will prevent the further extension of these methods. Therefore, this paper addresses the question whether a multi-scale numerical method can be established not on the model equations, but directly adapts the relaxation rates of macroscopic variables such as stress and heat flux. Since the algorithm of multi-scale particle method based on BGK-type equation is clear and simple, its collision step is modified in this work, where the macroscopic variables firstly evolve according to their relaxation rates, and then the molecules that participate in inter-molecular collisions get their after-collision velocities from the after-evolution macroscopic variables. Therefore, this direct relaxation process does not depend on the model equations anymore. Finally, the validity and accuracy of the particle method with direct relaxation process are examined with five test cases.


title: Hot Carrier Degradation in MOSFETs at Cryogenic Temperatures Down to 4.2 K

abstract: Wide attention has been focused on cryogenic CMOS (Cryo-CMOS) operation because of its wide application and the improvement of CMOS performance. However, hot carrier degradation (HCD) becomes worsening at cryogenic temperature, which affects the reliability of Cryo-CMOS. Therefore, this article investigates HCD in 0.18 um bulk CMOS at cryogenic temperature down to 4.2 K. Particularly, the relationship between HCD and the current overshoot phenomenon and the influence of substrate bias on HCD are discussed. Besides, we predict the lifetime of the device at 77 K and 4.2 K. It is concluded that cryogenic NMOS cannot reach the ten years' commercial standard lifetime at standard drain voltage (VDD). And it is predicted that the reliability requirements can be reached when VDD<1.768V/1.734V at 77K/4.2K. Differently, the lifetime of PMOS is long enough even at low temperatures.


title: MIDeepSeg: Minimally Interactive Segmentation of Unseen Objects from Medical Images Using Deep Learning

abstract: Segmentation of organs or lesions from medical images plays an essential role in many clinical applications such as diagnosis and treatment planning. Though Convolutional Neural Networks (CNN) have achieved the state-of-the-art performance for automatic segmentation, they are often limited by the lack of clinically acceptable accuracy and robustness in complex cases. Therefore, interactive segmentation is a practical alternative to these methods. However, traditional interactive segmentation methods require a large amount of user interactions, and recently proposed CNN-based interactive segmentation methods are limited by poor performance on previously unseen objects. To solve these problems, we propose a novel deep learning-based interactive segmentation method that not only has high efficiency due to only requiring clicks as user inputs but also generalizes well to a range of previously unseen objects. Specifically, we first encode user-provided interior margin points via our proposed exponentialized geodesic distance that enables a CNN to achieve a good initial segmentation result of both previously seen and unseen objects, then we use a novel information fusion method that combines the initial segmentation with only few additional user clicks to efficiently obtain a refined segmentation. We validated our proposed framework through extensive experiments on 2D and 3D medical image segmentation tasks with a wide range of previous unseen objects that were not present in the training set. Experimental results showed that our proposed framework 1) achieves accurate results with fewer user interactions and less time compared with state-of-the-art interactive frameworks and 2) generalizes well to previously unseen objects.


title: A Novel Binocular Eye-Tracking SystemWith Stereo Stimuli for 3D Gaze Estimation

abstract: Eye-tracking technologies have been widely used in applications like psychological studies and human computer interactions (HCI). However, most current eye trackers focus on 2D point of gaze (PoG) estimation and cannot provide accurate gaze depth.Concerning future applications such as HCI with 3D displays, we propose a novel binocular eye tracking device with stereo stimuli to provide highly accurate 3D PoG estimation. In our device, the 3D stereo imaging system can provide users with a friendly and immersive 3D visual experience without wearing any accessories. The eye capturing system can directly record the users eye movements under 3D stimuli without disturbance. A regression based 3D eye tracking model is built based on collected eye movement data under stereo stimuli. Our model estimates users 2D gaze with features defined by eye region landmarks and further estimates 3D PoG with a multi source feature set constructed by comprehensive eye movement features and disparity features from stereo stimuli. Two test stereo scenes with different depths of field are designed to verify the model effectiveness. Experimental results show that the average error for 2D gaze estimation was 0.66\degree and for 3D PoG estimation, the average errors are 1.85~cm/0.15~m over the workspace volume 50~cm $\times$ 30~cm $\times$ 75~cm/2.4~m $\times$ 4.0~m $\times$ 7.9~m separately.


title: Density estimates for jump diffusion processes

abstract: We consider a real-valued diffusion process with a linear jump term driven by a Poisson point process and we assume that the jump amplitudes have a centered density with finite moments. We show upper and lower estimates for the density of the solution in the case that the jump amplitudes follow a Gaussian or Laplacian law. The proof of the lower bound uses a general expression for the density of the solution in terms of the convolution of the density of the continuous part and the jump amplitude density. The upper bound uses an upper tail estimate in terms of the jump amplitude distribution and techniques of the Malliavin calculus in order to bound the density by the tails of the solution. We also extend the lower bounds to the multidimensional case.


title: Accelerating Universe in Higher Dimensional Space Time : an alternative approach

abstract: We have discussed here a higher dimensional cosmological model and explained the recent acceleration with a Chaplygin type of gas. Dimensional reduction of extra space is possible in this case. Our solutions are general in nature because all the well known results of 4D Chaplygin driven cosmology are recovered when $d = 0$. We have drawn the best fit graph using the data obtained by the differential age method (CC) and it is seen that the graph favours only one extra dimension. That means the Chaplygin gas is apparently dominated by a 5D world. Relevant to point out that the final equation in this case are highly nonlinear in nature. Naturally it is not possible to obtain explicit solution of the 4D scale factor with time. To circumvent this difficulty, we consider a first order approximation of the key equation which has made it possible to get time explicit solution of 4D scale factor in exact form as well as the expression of extra dimensions. It may be pointed out that for large four dimensional scale factor this solution mimics $\Lambda$CDM model. An analysis of flip time is also studied both analytically and graphically in some detail. It clearly shows that early \emph{flip} occurs for higher dimensions. It is also seen that the rate of dimensional reduction is faster for higher dimensions. So we may conclude that the effect of compactification of extra dimension helps the acceleration.


title: Detailed characterization of laboratory magnetized super-critical collisionless shock and of the associated proton energization

abstract: Collisionless shocks are ubiquitous in the Universe and are held responsible for the production of non-thermal particles and high-energy radiation. In the absence of particle collisions in the system, theoretical works show that the interaction of an expanding plasma with a pre-existing electromagnetic structure (as in our case) is able to induce energy dissipation and allow for shock formation. Shock formation can alternatively take place when two plasmas interact, through microscopic instabilities inducing electromagnetic fields which are able in turn to mediate energy dissipation and shock formation. Using our platform where we couple a fast-expanding plasma induced by high-power lasers (JLF/Titan at LLNL and LULI2000) with high-strength magnetic fields, we have investigated the generation of magnetized collisionless shock and the associated particle energization. We have characterized the shock to be collisionless and super-critical. We report here on measurements of the plasma density, temperature, the electromagnetic field structures, and particle energization in the experiments, under various conditions of ambient plasma and B-field. We have also modeled the formation of the shocks using macroscopic hydrodynamic simulations and the associated particle acceleration using kinetic particle-in-cell simulations. As a companion paper of \citet{yao2020laboratory}, here we show additional results of the experiments and simulations, providing more information to reproduce them and demonstrating the robustness of our interpreted proton energization mechanism to be shock surfing acceleration.


title: On a theorem of Nosal

abstract: Let $G$ be a graph with $m$ edges and spectral radius $\lambda_{1}$. Let $bk\left( G\right) $ stand for the maximal number of triangles with a common edge in $G$. In 1970 Nosal proved that if $\lambda_{1}^{2}>m,$ then $G$ contains a triangle. In this paper we show that the same premise implies that \[ bk\left( G\right) >\frac{1}{12}\sqrt[4]{m}. \] This result settles a conjecture of Zhai, Lin, and Shu. Write $\lambda_{2}$ for the second largest eigenvalue of $G$. Recently, Lin, Ning, and Wu showed that if $G$ is a triangle-free graph of order at least three, then \[ \lambda_{1}^{2}+\lambda_{2}^{2}\leq m, \] thereby settling the simplest case of a conjecture of Bollob\'{a}s and the author. We give a simpler proof of their result.


title: On the maximum area of inscribed polygons

abstract: Given a convex $n$-gon $P$ and a positive integer $m$ such that $3\le m\le n-1$, let $Q$ denote the largest area convex $m$-gon contained in $P$. We are interested in the minimum value of $\Delta(Q)/\Delta(P)$, the ratio of the areas of these two polygons. More precisely, given positive integers $n$ and $m$, with $3 \le m \le n-1$, define \begin{equation*} f_n(m)=\min_{P\in \mathcal {P}_n} \max_{Q \subset P,|Q|=m} \frac{\Delta(Q)}{\Delta(P)} \end{equation*} where the maximum is taken over all $m$-gons contained in $P$, and the minimum is taken over $\mathcal{P}_n$, the entire class of convex $n$-gons. The values of $f_4(3)$, $f_5(4)$ and $f_6(3)$ are known. In this paper we compute the values of $f_5(3)$, $f_6(5)$ and $f_6(4)$. In addition, we prove that for all $n\ge 6$ we have \begin{equation*} \frac{4}{n}\cdot\sin^2\left(\frac{\pi}{n}\right)\le 1-f_n(n-1)\le \min\left(\frac{1}{n}, \frac{4}{n}\cdot\sin^2\left(\frac{2\pi}{n}\right)\right). \end{equation*} These bounds can be used to improve the known estimates for $f_n(m)$.


title: Bounds on fluctuations for finite-time quantum Otto cycle

abstract: For finite-time quantum Otto heat engine with working fluid consisting of either a (i) qubit or (ii) a harmonic oscillator, we show that the relative fluctuation of output work is always greater than the corresponding relative fluctuation of input heat absorbed from the hot bath. As a result, the ratio between the work fluctuation and the input heat fluctuation receives a lower bound in terms of the square value of the average efficiency of the engine. The saturation of the lower bound is received in the quasi-static limit of the engine and can be shown for a class of working fluids that follow a scale-invariant energy eigenspectra under driving.


title: Demystification of Few-shot and One-shot Learning

abstract: Few-shot and one-shot learning have been the subject of active and intensive research in recent years, with mounting evidence pointing to successful implementation and exploitation of few-shot learning algorithms in practice. Classical statistical learning theories do not fully explain why few- or one-shot learning is at all possible since traditional generalisation bounds normally require large training and testing samples to be meaningful. This sharply contrasts with numerous examples of successful one- and few-shot learning systems and applications. In this work we present mathematical foundations for a theory of one-shot and few-shot learning and reveal conditions specifying when such learning schemes are likely to succeed. Our theory is based on intrinsic properties of high-dimensional spaces. We show that if the ambient or latent decision space of a learning machine is sufficiently high-dimensional than a large class of objects in this space can indeed be easily learned from few examples provided that certain data non-concentration conditions are met.


title: Seeking Quality Diversity in Evolutionary Co-design of Morphology and Control of Soft Tensegrity Modular Robots

abstract: Designing optimal soft modular robots is difficult, due to non-trivial interactions between morphology and controller. Evolutionary algorithms (EAs), combined with physical simulators, represent a valid tool to overcome this issue. In this work, we investigate algorithmic solutions to improve the Quality Diversity of co-evolved designs of Tensegrity Soft Modular Robots (TSMRs) for two robotic tasks, namely goal reaching and squeezing trough a narrow passage. To this aim, we use three different EAs, i.e., MAP-Elites and two custom algorithms: one based on Viability Evolution (ViE) and NEAT (ViE-NEAT), the other named Double Map MAP-Elites (DM-ME) and devised to seek diversity while co-evolving robot morphologies and neural network (NN)-based controllers. In detail, DM-ME extends MAP-Elites in that it uses two distinct feature maps, referring to morphologies and controllers respectively, and integrates a mechanism to automatically define the NN-related feature descriptor. Considering the fitness, in the goal-reaching task ViE-NEAT outperforms MAP-Elites and results equivalent to DM-ME. Instead, when considering diversity in terms of "illumination" of the feature space, DM-ME outperforms the other two algorithms on both tasks, providing a richer pool of possible robotic designs, whereas ViE-NEAT shows comparable performance to MAP-Elites on goal reaching, although it does not exploit any map.


title: Hyperbolic cone metrics and billiards

abstract: A negatively curved hyperbolic cone metric is called rigid if it is determined (up to isotopy) by the support of its Liouville current, and flexible otherwise. We provide a complete characterization of rigidity and flexibility, prove that rigidity is a generic property, and parameterize the associated deformation space for any flexible metric. As an application, we parameterize the space of hyperbolic polygons with the same symbolic coding for their billiard dynamics, and prove that generically this parameter space is a point.


title: Preconditioners for model order reduction by interpolation and random sketching of operators

abstract: The performance of projection-based model order reduction methods for solving parameter-dependent systems of equations highly depends on the properties of the operator, which can be improved by preconditioning. In this paper we present strategies to construct a parameter-dependent preconditioner by an interpolation of operator's inverse. The interpolation is obtained by minimizing a discrepancy between the (preconditioned) operator and the matrix defining the metric of interest. The discrepancy measure is chosen such that its minimization can be efficiently performed online for each parameter value by the solution of a small least-squares problem. Furthermore, we show how to tune the discrepancy measure for improving the quality of Petrov-Galerkin projection or residual-based error estimation. This paper also addresses preconditioning for the randomized model order reduction methods from [Balabanov and Nouy 2019, Part I]. Our methodology can be readily used for efficient and stable solution of ill-conditioned parametric systems and an effective error estimation/certification without the need to estimate expensive stability constants. The proposed approach involves heavy computations in both offline and online stages that are circumvented by random sketching. The norms of high-dimensional matrices and vectors are estimated by l2-norms of their low-dimensional images, called sketches, through random embeddings. For this we extend the framework from [Balabanov and Nouy 2019, Part I] to random embeddings of operators.


title: Quantum teleportation is a reversal of quantum measurement

abstract: We introduce a generalized concept of quantum teleportation in the framework of quantum measurement and reversing operation. Our framework makes it possible to find an optimal protocol for quantum teleportation enabling a faithful transfer of unknown quantum states with maximum success probability up to the fundamental limit of the no-cloning theorem. Moreover, an optimized protocol in this generalized approach allows us to overcome noise in quantum channel beyond the reach of existing teleportation protocols without requiring extra qubit resources. Our proposed framework is applicable to multipartite quantum communications and primitive functionalities in scalable quantum architectures.


title: Relativistic resistive dissipative magnetohydrodynamics from the relaxation time approximation

abstract: Here we derive the relativistic resistive dissipative second-order magnetohydrodynamic evolution equations using the Boltzmann equation, thus extending our work from the previous paper \href{https://link.springer.com/article/10.1007/JHEP03(2021)216}{JHEP 03 (2021) 216} where we considered the non-resistive limit. We solve the Boltzmann equation for a system of particles and antiparticles using the relaxation time approximation and the Chapman-Enskog like gradient expansion for the off-equilibrium distribution function, truncating beyond second-order. In the first order, the bulk and shear stress are independent of the electromagnetic field, however, the diffusion current, shows a dependence on the electric field. In the first order, the transport coefficients~(shear and bulk stress) are shown to be independent of the electromagnetic field. The diffusion current, however, shows a dependence on the electric field. In the second-order, the new transport coefficients that couple electromagnetic field with the dissipative quantities appear, which are different from those obtained in the 14-moment approximation~\cite{Denicol:2019iyh} in the presence of the electromagnetic field. Also we found out the various components of conductivity in this case.


title: Defects, modular differential equations, and free field realization of N = 4 VOAs

abstract: For all 4d $\mathcal{N} = 4$ SYM theories with simple gauge groups $G$, we show that the residues of the integrands in the $\mathcal{N} = 4$ Schur indices, which are related to Gukov-Witten type surface defects in the theories, equal the vacuum characters of rank$G$ copies of $bc \beta \gamma$ systems that provide the free field realization of associated $\mathcal{N} = 4$ VOAs. This result predicts that these residues, as module characters, are additional solutions to the flavored modular differential equations satisfied by the original Schur index. The prediction is verified in the $G = SU(2)$ case, where an additional logarithmic solution is constructed.


title: Staggered spin-orbit interaction in a nanoscale device

abstract: The coupling of the spin and the motion of charge carriers stems directly from the atomic structure of a conductor. It has become an important ingredient for the emergence of topological matter, and, in particular, topological superconductivity which could host non-abelian excitations such as Majorana modes or parafermions. These modes are sought after mostly in semiconducting platforms which are made of heavy atoms and therefore exhibit naturally a large spin-orbit interaction. Creating domain walls in the spin orbit interaction at the nanoscale may turn out to be a crucial resource for engineering topological excitations suitable for universal topological quantum computing. For example, it has been proposed for exploring exotic electronic states or for creating hinge states. Realizing this in natural platforms remains a challenge. In this work, we show how this can be alternatively implemented by using a synthetic spin orbit interaction induced by two lithographically patterned magnetically textured gates. By using a double quantum dot in a light material -- a carbon nanotube -- embedded in a microwave cavity, we trigger hopping between two adjacent orbitals with the microwave photons and directly compare the wave functions separated by the domain wall via the light-matter coupling. We show that we can achieve an engineered staggered spin-orbit interaction with a change of strength larger than the hopping energy between the two sites.


title: Comparing Hand Gestures and a Gamepad Interface for Locomotion in Virtual Environments

abstract: Hand gesture is a new and promising interface for locomotion in virtual environments. While several previous studies have proposed different hand gestures for virtual locomotion, little is known about their differences in terms of performance and user preference in virtual locomotion tasks. In the present paper, we presented three different hand gesture interfaces and their algorithms for locomotion, which are called the Finger Distance gesture, the Finger Number gesture and the Finger Tapping gesture. These gestures were inspired by previous studies of gesture-based locomotion interfaces and are typical gestures that people are familiar with in their daily lives. Implementing these hand gesture interfaces in the present study enabled us to systematically compare the differences between these gestures. In addition, to compare the usability of these gestures to locomotion interfaces using gamepads, we also designed and implemented a gamepad interface based on the Xbox One controller. We conducted empirical studies to compare these four interfaces through two virtual locomotion tasks. A desktop setup was used instead of sharing a head-mounted display among participants due to the concern of the Covid-19 situation. Through these tasks, we assessed the performance and user preference of these interfaces on speed control and waypoints navigation. Results showed that user preference and performance of the Finger Distance gesture were close to that of the gamepad interface. The Finger Number gesture also had close performance and user preference to that of the Finger Distance gesture. Our study demonstrates that the Finger Distance gesture and the Finger Number gesture are very promising interfaces for virtual locomotion. We also discuss that the Finger Tapping gesture needs further improvements before it can be used for virtual walking.


title: An Interval Branch-and-Bound-Based Inverse Kinemetics Algorithm Towards Global Optimal Redundancy Resolution

abstract: The general inverse kinematics (IK) problem of a manipulator, namely that of acquiring the self-motion manifold (SMM) of all admissible joint angles for a desired end-effector pose, plays a vital role in robotics modeling, planning and control. To efficiently solve the generalized IK, this paper proposes an interval branch-and-bound-based approach, which is augmented with a fast numerical IK-solver-enabled search heuristics. In comparison to independent solutions generated by sampling based methods, our approach generates patches of neighboring solutions to provide richer information of the inherent geometry of the SMM for optimal planning and other applications. It can also be utilized in an anytime fashion to obtain solutions with sub-optimal resolution for applications within a limited period. The performance of our approach is verified by numerical experiments on both non-redundant and redundant manipulators.


title: Robustness of the thermal Hall effect close to half-quantization in a field-induced spin liquid state

abstract: Thermal signatures of fractionalized excitations are a fingerprint of quantum spin liquids (QSLs). In the $J_{eff}=1/2$ honeycomb magnet $\alpha$-RuCl$_3$, a QSL state emerges upon applying an in-plane magnetic field $H_{||}$ greater than the critical field $H_{C2} \approx$ 7 T along the a-axis, where the thermal Hall conductivity ($k_{XY}/T$) was reported to take on the half-quantized value $k_{HQ}/T$. This finding was discussed as a signature of an emergent Majorana edge mode predicted for the Kitaev QSL. The $H_{||}$- and $T$-range of the half-quantized signal and its relevance to a Majorana edge mode are, however, still under debate. Here we present a comprehensive study of $k_{XY}/T$ in $\alpha$-RuCl$_3$ with $H_{||}$ up to 13 T and $T$ down to 250 mK, which reveals the presence of an extended region of the phase diagram with $k_{XY}/T \approx k_{HQ}/T$ above $H_{C2}$, in particular across a plateau-like plane for $H_{||}$ > 10 T and $T$ < 6.5 K. From 7 T up to $\sim$10 T, $k_{XY}/T$ is suppressed to zero upon cooling to lowest temperature without any plateau-like behavior and exhibits correlations with complex anomalies in the longitudinal thermal conductivity ($k_{XX}$) and magnetization around 10 T. The results are in support of a topological state with a half-quantized $k_{XY}/T$ and suggest an interplay with crossovers or weak phase transitions beyond $H_{C2}$ in RuCl$_3$.


title: Primitive elements and $k$-th powers in finite fields

abstract: Let $\mathbb{F}_q$ be the finite field of $q$ elements, and let $k\mid q-1$ be a positive integer. Let $f(x)=ax^2+bx+c$ be a quadratic polynomial in $\mathbb{F}_q[x]$ with $b^2-4ac\ne0$. In this paper, we show that if $q>\max\{e^{e^3},(2k)^6\}$, then there is a primitive element $g$ of $\mathbb{F}_q$ such that $f(g)\in\mathbb{F}_q^{\times k}=\{x^k: x\in\mathbb{F}_q\setminus\{0\}\}$. Moreover, we shall confirm a conjecture posed by Sun.


title: Random Spreading for Unsourced MAC with Power Diversity

abstract: We propose an improvement of the random spreading approach with polar codes for unsourced multiple access. Each user encodes its message by a polar code, and the coded bits are then spread using a random spreading sequence. The proposed approach divides the active users into different groups, and employs different power levels for each group in such a way that the average power constraint is satisfied. We formulate and solve an optimization problem to determine the number of groups, and the number of users and power level of each group. Extensive simulations show that the proposed approach outperforms the existing methods, especially when the number of active users is large.


title: Frequency Superposition -- A Multi-Frequency Stimulation Method in SSVEP-based BCIs

abstract: The steady-state visual evoked potential (SSVEP) is one of the most widely used modalities in brain-computer interfaces (BCIs) due to its many advantages. However, the existence of harmonics and the limited range of responsive frequencies in SSVEP make it challenging to further expand the number of targets without sacrificing other aspects of the interface or putting additional constraints on the system. This paper introduces a novel multi-frequency stimulation method for SSVEP and investigates its potential to effectively and efficiently increase the number of targets presented. The proposed stimulation method, obtained by the superposition of the stimulation signals at different frequencies, is size-efficient, allows single-step target identification, puts no strict constraints on the usable frequency range, can be suited to self-paced BCIs, and does not require specific light sources. In addition to the stimulus frequencies and their harmonics, the evoked SSVEP waveforms include frequencies that are integer linear combinations of the stimulus frequencies. Results of decoding SSVEPs collected from nine subjects using canonical correlation analysis (CCA) with only the frequencies and harmonics as reference, also demonstrate the potential of using such a stimulation paradigm in SSVEP-based BCIs.


title: Characterization of coextensive varieties of universal algebras II

abstract: A coextensive category can be defined as a category $\mathcal{C}$ with finite products such that for each pair $X,Y$ of objects in $\mathcal{C}$, the canonical functor $\times\colon X/\mathcal{C} \times Y/\mathcal{C} \to (X \times Y)/\mathcal{C}$ is an equivalence. We give a syntactical characterization of coextensive varieties of universal algebras. This paper is an updated version of the pre-print arXiv:2008.03474


title: Molecular dynamics characterisation of radiosensitising coated gold nanoparticles in aqueous environment

abstract: Functionalized metal nanoparticles (NPs) have been proposed as promising radiosensitizing agents for more efficient radiotherapy treatment using photons and ion beams. Radiosensitizing properties of NPs may depend on many different parameters (such as size, composition and density) of the metal core, organic coatings and the molecular environment. A systematic exploration of each of these parameters on the atomistic level remains a costly experimental task but it can be addressed by means of advanced computational modeling. This paper outlines a detailed computational procedure for the construction and atomistic-level characterization of radiosensitizing metal NPs in explicit molecular media. The procedure is general and extensible to many different combinations of the core, coating and environment. As an illustrative and experimentally relevant case study, we consider nanometre-sized gold NPs coated with thiol-poly(ethylene glycol)-amine molecules of different length and surface density and solvated in water at ambient conditions. Radial distribution of different atoms in the coatings as well as distribution and structural properties of water around the coated NPs are analyzed and linked to radiosensitizing properties of the NPs. It is revealed that the structure of the coating layer on the solvated NPs depends strongly on the surface density of ligands. At surface densities below $\sim$3 molecules/nm$^{2}$ the coating represents a mixture of different conformation states, whereas elongated "brush"-like structures are formed at higher densities of ligands. The water content in denser coatings is significantly lower at distances from 1 to 3 nm from the gold surface depending on the length of ligands. Such dense and thick coatings may suppress the production of hydroxyl radicals by low-energy electrons emitted from the metal NPs and thus diminish their radiosensitizing properties.


title: The low energy inclusive $\nu_{\mu} (\nu_{e})-^{12}$C scattering revisited

abstract: We have reviewed the current status of the inclusive neutrino scattering from $^{12}$C in the low energy region corresponding to the neutrino beams from the pion, muon and kaon decaying at rest. The theoretical calculations of total cross sections in various nuclear models with special emphasis on the recent experiments with the monoenergetic neutrinos from KDAR [1] along with the older experiments from KARMEN and LSND collaborations have been discussed in the context of the recent works by Akbar et al. [2] and Nikolakopoulos et al. [3]. The inadequacy of the various theoretical models used to explain the experimental results on the inclusive neutrino scattering from nuclei at low energies has been highlighted and the need for a better understanding of the nuclear medium effects beyond the impulse approximation has been emphasized.


title: New (TH)GEM coating materials characterised using spectroscopy methods

abstract: In this work GEM and single-hole Thick GEM structures, composed of different coating materials, are studied. The used foils incorporate conductive layers made of copper, aluminium, molybdenum, stainless steel, tungsten and tantalum. The main focus of the study is the determination of the material dependence of the formation of electrical discharges in GEM-based detectors. For this task, discharge probability measurements are conducted with several Thick GEM samples using a basic electronics readout chain. In addition to that, optical spectroscopy methods are employed to study the light emitted during discharges from the different foils. It is observed that the light spectra of GEMs include emission lines from the conductive layer material. This indicates the presence of the foil material in the discharge plasma after the initial spark. However, no lines associated with the coating material are observed while studying spark discharges induced in Thick GEMs. It is concluded that the conductive layer material does not play a substantial role in terms of stability against primary discharges. However, a strong material dependence is observed in the case of secondary discharge formation, pointing to molybdenum coating as the one providing increased stability.


title: On the Nature of Issues in Five Open Source Microservices Systems: An Empirical Study

abstract: Due to its enormous benefits, the research and industry communities have shown an increasing interest in the Microservices Architecture (MSA) style over the last few years. Despite this, there is a limited evidence-based and thorough understanding of the types of issues (e.g., faults, errors, failures, mistakes) faced by microservices system developers and causes that trigger the issues. Such evidence-based understanding of issues and causes is vital for long-term, impactful, and quality research and practice in the MSA style. To that end, we conducted an empirical study on 1,345 issue discussions extracted from five open source microservices systems hosted on GitHub. Our analysis led to the first of its kind taxonomy of the types of issues in open source microservices systems, informing that the problems originating from Technical debt (321, 23.86%), Build (145, 10.78%), Security (137, 10.18%), and Service execution and communication (119, 8.84%) are prominent. We identified that "General programming errors", "Poor security management", "Invalid configuration and communication", and "Legacy versions, compatibility and dependency" are the predominant causes for the leading four issue categories. Study results streamline a taxonomy of issues, their mapping with underlying causes, and present empirical findings that could facilitate research and development on emerging and next-generation microservices systems.


title: Quantum Chirikov criterion: Two particles in a box as a toy model for a quantum gas

abstract: We consider a toy model for emergence of chaos in a quantum many-body short-range-interacting system: two one-dimensional hard-core particles in a box, with a small mass defect as a perturbation over an integrable system, the latter represented by two equal mass particles. To that system, we apply a quantum generalization of Chirikov's criterion for the onset of chaos, i.e. the criterion of overlapping resonances. There, classical nonlinear resonances translate almost verbatim to the quantum language. Quantum mechanics intervenes at a later stage: the resonances occupying less than one Hamiltonian eigenstate are excluded from the chaos criterion. Resonances appear as contiguous patches of low purity unperturbed eigenstates, separated by the groups of undestroyed states -- the quantum analogues of the classical KAM tori.

categories: quant-ph cond-mat.quant-gas math-ph math.MP


title: Multilayered Recoverable Sandwich Composite Structures with Architected Core

abstract: In this paper, we propose a novel design and fabrication strategy to produce architected core structures for use as the core in composite sandwich structures. A traditional foam core or honeycomb structure is lightweight and stiff, but susceptible to permanent deformation when subjected to excessive loading. Here we propose the use of an architected structure composed of arrays of hollow truncated cone unit cells that dissipate energy and exhibit structural recovery. These structures printed with a viscoelastic material rely on buckling of their sidewalls to dissipate energy and snap-back to prevent permanent deformation. We explore the mechanical response of these conical unit cells in terms of their buckling strength and post-buckling stability condition, and develop design maps for the same, by relating them to non-dimensional geometric parameters $\alpha$, $\beta$, $\gamma$, where $\alpha$ represents the slenderness of the curved sidewalls, $\beta$ is the angle of the sidewall to the base, and $\gamma$ represents the curvature of the sidewall. A validated finite element model is developed and used to investigate the effect of these parameters. We see that the peak buckling load is directly proportional to both $\alpha$ & $\beta$ and is not dependent on $\gamma$ when the load is normalized by the volume of material in the curved sidewall. Interestingly, the post-buckling stability is influenced by $\gamma$, or the initial curvature of the sidewall, where a larger radius of curvature makes the structure less susceptible to exhibit structural bistability. The structures presented here are printed using a viscoelastic material, that causes them to exhibit pseudo-bistability, or a time-delayed recovery. This allows the structures to buckle and dissipate energy, and then recover to their original configurations without the need for external stimuli or energy.


title: Six-loop $\varepsilon$ expansion of three-dimensional $\text{U}(n)\times \text{U}(m)$ models

abstract: We analyze the Landau-Wilson field theory with $\text{U}(n)\times\text{U}(m)$ symmetry which describes the finite-temperature phase transition in QCD in the limit of vanishing quark masses with $n=m=N_f$ flavors and unbroken anomaly at the critical temperature. The six-loop expansions of the renormalization group functions are calculated within the Minimal Subtraction scheme in $4 - \varepsilon$ dimensions. The $\varepsilon$ series for the upper marginal dimensionality $n^{+}(m,4-\varepsilon)$ -- the key quantity of the theory -- are obtained and resummed by means of different approaches. The numbers found are compared with their counterparts obtained earlier within lower perturbative orders and the pseudo-$\varepsilon$ analysis of massive six-loop three-dimensional expansions. In particular, using an increase in the accuracy of numerical results for $n^{+}(m,3)$ by one order of magnitude, we strengthen the conclusions obtained within previous order in perturbation theory about fairness of the inequality $n^{+}(m,3)>m$. This, in turn, indicates the absence of a stable three-dimensional fixed point for $n=m$, and as a consequence a first-order kind of finite-temperature phase transition in light QCD.


title: Des crit\`eres de transcendance inspir\'es par un texte de kolberg dat\'e de 1962. II

abstract: Transcendence criteria inspired by Kolberg's paper dated 1962. This is the second part of a note about Kolberg's proof that the values of the sums of a class of certain power series in x, for algebraic values of x, are transcendent. A method to find more such classes is presented and illustrated.


title: RDMAbox : Optimizing RDMA for Memory Intensive Workloads

abstract: We present RDMAbox, a set of low level RDMA optimizations that provide better performance than previous approaches. The optimizations are packaged in easy-to-use kernel and user space libraries for applications and systems in data center. We demonstrate the flexibility and effectiveness of RDMAbox by implementing a kernel remote paging system and a user space file system using RDMAbox. RDMAbox employs two optimization techniques. First, we suggest RDMA request merging and chaining to further reduce the total number of I/O operations to the RDMA NIC. The I/O merge queue at the same time functions as a traffic regulator to enforce admission control and avoid overloading the NIC. Second, we propose Adaptive Polling to achieve higher efficiency of polling Work Completion than existing busy polling while maintaining the low CPU overhead of event trigger. Our implementation of a remote paging system with RDMAbox outperforms existing representative solutions with up to 4? throughput improvement and up to 83% decrease in average tail latency in bigdata workloads, and up to 83% reduction in completion time in machine learning workloads. Our implementation of a user space file system based on RDMAbox achieves up to 5.9? higher throughput over existing representative solutions.


title: Embeddedness of liquid-vapour interfaces in stable equilibrium

abstract: We consider a classical (capillary) model for a one-phase liquid in equilibrium. The liquid (e.g. water) is subject to a volume constraint, it does not mix with the surrounding vapour (e.g. air), it may come into contact with solid supports (e.g. a container), and is subject to the action of an analytic potential field (e.g. gravity). The region occupied by the liquid is described as a set of locally finite perimeter (Caccioppoli set) in $\mathbb{R}^3$; no a priori regularity assumption is made on its boundary. The (twofold) scope in this note is to propose a weakest possible set of mathematical assumptions that sensibly describe a condition of stable equilibrium for the liquid-vapour interface (the capillary surface), and to infer from those that this interface is a smoothly embedded analytic surface. (The liquid-solid-vapour junction, or free boundary, can be present but is not analysed here.) The result relies fundamentally on the recent varifold regularity theory developed by Wickramasekera and the author, and on the identification of a suitable formulation of the stability condition.


title: Sampling Permutations for Shapley Value Estimation

abstract: Game-theoretic attribution techniques based on Shapley values are used to interpret black-box machine learning models, but their exact calculation is generally NP-hard, requiring approximation methods for non-trivial models. As the computation of Shapley values can be expressed as a summation over a set of permutations, a common approach is to sample a subset of these permutations for approximation. Unfortunately, standard Monte Carlo sampling methods can exhibit slow convergence, and more sophisticated quasi-Monte Carlo methods have not yet been applied to the space of permutations. To address this, we investigate new approaches based on two classes of approximation methods and compare them empirically. First, we demonstrate quadrature techniques in a RKHS containing functions of permutations, using the Mallows kernel in combination with kernel herding and sequential Bayesian quadrature. The RKHS perspective also leads to quasi-Monte Carlo type error bounds, with a tractable discrepancy measure defined on permutations. Second, we exploit connections between the hypersphere $\mathbb{S}^{d-2}$ and permutations to create practical algorithms for generating permutation samples with good properties. Experiments show the above techniques provide significant improvements for Shapley value estimates over existing methods, converging to a smaller RMSE in the same number of model evaluations.


title: Klt varieties of general type with small volume

abstract: By Hacon-McKernan-Xu, there is a positive lower bound in each dimension for the volume of all klt varieties with ample canonical class. We show that these bounds must go to zero extremely fast as the dimension increases, by constructing a klt $n$-fold with ample canonical class whose volume is less than $1/2^{2^n}$. These examples should be close to optimal. We also construct a klt Fano variety of each dimension $n$ such that $H^0(X,-mK_X)=0$ for all $1\leq m < b$ with $b$ roughly $2^{2^n}$. Here again there is some bound in each dimension, by Birkar's theorem on boundedness of complements, and we are showing that the bound must increase extremely fast with the dimension.


title: Transformers to Fight the COVID-19 Infodemic

abstract: The massive spread of false information on social media has become a global risk especially in a global pandemic situation like COVID-19. False information detection has thus become a surging research topic in recent months. NLP4IF-2021 shared task on fighting the COVID-19 infodemic has been organised to strengthen the research in false information detection where the participants are asked to predict seven different binary labels regarding false information in a tweet. The shared task has been organised in three languages; Arabic, Bulgarian and English. In this paper, we present our approach to tackle the task objective using transformers. Overall, our approach achieves a 0.707 mean F1 score in Arabic, 0.578 mean F1 score in Bulgarian and 0.864 mean F1 score in English ranking 4th place in all the languages.


title: Power of Finite Memory and Finite Communication Robots under Asynchronous Scheduler

abstract: In swarm robotics, a set of robots has to perform a given task with specified internal capabilities (model) and under a given adversarial scheduler. Relation between a model $M_1$ under scheduler $S_1$, and that of a model $M_2$ under scheduler $S_2$ can be of four different types: not less powerful, more powerful, equivalent and orthogonal. In literature there are four main models of robots with lights: $\mathcal{LUMI}$, where robots have the power of observing the lights of all the robots, $\mathcal{FSTA}$ , where each robot can see only its own light, $\mathcal{FCOM}$, where each robot can observe the light of all other robots except its own and $\mathcal{OBLOT}$, where the robots do not have any light. In this paper, we investigate the computational power of $\mathcal{FSTA}$ and $\mathcal{FCOM}$ model under asynchronous scheduler by comparing it with other model and scheduler combinations. Our main focus is to understand and compare the power of persistent memory and explicit communication in robots under asynchronous scheduler.


title: A novel segmentation dataset for signatures on bank checks

abstract: The dataset presented provides high-resolution images of real, filled out bank checks containing various complex backgrounds, and handwritten text and signatures in the respective fields, along with both pixel-level and patch-level segmentation masks for the signatures on the checks. The images of bank checks were obtained from different sources, including other publicly available check datasets, publicly available images on the internet, as well as scans and images of real checks. Using the GIMP graphics software, pixel-level segmentation masks for signatures on these checks were manually generated as binary images. An automated script was then used to generate patch-level masks. The dataset was created to train and test networks for extracting signatures from bank checks and other similar documents with very complex backgrounds.


title: Analysis of a Three-Dimensional Slip Field in a Hexagonal Ti Alloy from in-situ High-Energy X-ray Diffraction Microscopy Data

abstract: Here we analyze a three-dimensional distribution of crystallographic slip measured in-situ during the uniaxial deformation of hexagonal Ti-7Al. The slip field is reconstructed using a novel methodology that combines spatially resolved lattice orientation fields and grain-averaged stresses measured using high-energy X-ray diffraction microscopy (HEDM) with crystal plasticity. Analysis is performed to explore lattice orientation dependence, stress dependence, and connectivity (network relationships) of grains experiencing elevated amounts of slip. Elevated slip is found to be primarily associated with a single large network of connected grains, and within this network, a clustered group of grains oriented favorably for slip are found to have outsized structural importance. The effect of different rate sensitivities of families of slip systems on reconstructed slip activity is also discussed.


title: An operator theoretic approach to uniform (anti-)maximum principles

abstract: Maximum principles and uniform anti-maximum principles are a ubiquitous topic in PDE theory that is closely tied to the Krein--Rutman theorem and kernel estimates for resolvents. We take up a classical idea of Tak\'a\v{c} - to prove (anti-)maximum principles in an abstract operator theoretic framework - and combine it with recent ideas from the theory of eventually positive operator semigroups. This enables us to derive necessary and sufficient conditions for (anti-)maximum principles in a very general setting. Consequently, we are able to either prove or disprove (anti-)maximum principles for a large variety of concrete differential operators. As a bonus, for several operators that are already known to satisfy or to not satisfy anti-maximum principles, our theory gives a very clear and concise explanation of this behaviour.


title: Infinite-dimensional Thurston theory and transcendental dynamics III: entire functions with escaping singular orbits in the degenerate case

abstract: We classify transcendental entire functions that are compositions of a polynomial and the exponential for which all singular values escape on disjoint rays. We focus on the case where the escape is degenerate in the sense that points from different singular orbits are arbitrarily close to each other. As in the general case we employ an iteration procedure on an infinite-dimensional Teichm\"uller space, analogously to the Thurston's classical Topological Characterization of Rational Functions, but for an infinite set of marked points.


title: Resource allocation and routing in parallel multi-server queues with abandonments for cloud profit maximization

abstract: This paper considers a Markov decision model for profit maximization of a cloud computing service provider catering to customers submitting jobs with firm real-time random deadlines. Customers are charged on a per-job basis, receiving a full refund if deadlines are missed. The service provider leases computing resources from an infrastructure provider in a two-tier scheme: long-term leasing of basic infrastructure, consisting of heterogeneous parallel service nodes, each modeled as a multi-server queue, and short-term leasing of external servers. Given the intractability of computing an optimal dynamic resource allocation and job routing policy, maximizing the long-run average profit rate, the paper addresses the design, implementation and testing of low-complexity heuristics. The policies considered are a static policy given by an optimal Bernoulli splitting, and three dynamic index policies based on different index definitions: individually optimal (IO), policy improvement (PI) and restless bandit (RB) indices. The paper shows how to implement efficiently each such policy, and presents a comprehensive empirical comparison, drawing qualitative insights on their strengths and weaknesses, and benchmarking their performance in an extensive study.


title: Robust selection of predictors and conditional outlier detection in a perturbed large-dimensional regression context

abstract: This paper presents a fast methodology, called ROBOUT, to identify outliers in a response variable conditional on a set of linearly related predictors, retrieved from a large granular dataset. ROBOUT is shown to be effective and particularly versatile compared to existing methods in the presence of a number of data idiosyncratic features. ROBOUT is able to identify observations with outlying conditional variance when the dataset contains element-wise sparse variables, and the set of predictors contains multivariate outliers. Existing integrated methodologies like SPARSE-LTS and RLARS are systematically sub-optimal under those conditions. ROBOUT entails a robust selection stage of the statistically relevant predictors (by using a Huber or a quantile loss), the estimation of a robust regression model based on the selected predictors (by LTS, GS or MM), and a criterion to identify conditional outliers based on a robust measure of the residuals' dispersion. We conduct a comprehensive simulation study in which the different variants of the proposed algorithm are tested under an exhaustive set of different perturbation scenarios. The methodology is also applied to a granular supervisory banking dataset collected by the European Central Bank.


title: Projective Completion of Moduli of $t$-Connections on Curves in Positive and Mixed Characteristic

abstract: We generalize a compactification technique due to C. Simpson in the context of $\mathbb{G}_m$-actions over the ground field of complex numbers, to the case of a universally Japanese base ring. We complement this generalized compactification technique so that it can sometimes yield projectivity results for these compactifications. We apply these projectivity results to the Hodge, de Rham, and Dolbeault moduli spaces for curves, with special regards to ground fields of positive characteristic.


title: Generative Adversarial Network: Some Analytical Perspectives

abstract: Ever since its debut, generative adversarial networks (GANs) have attracted tremendous amount of attention. Over the past years, different variations of GANs models have been developed and tailored to different applications in practice. Meanwhile, some issues regarding the performance and training of GANs have been noticed and investigated from various theoretical perspectives. This subchapter will start from an introduction of GANs from an analytical perspective, then move on to the training of GANs via SDE approximations and finally discuss some applications of GANs in computing high dimensional MFGs as well as tackling mathematical finance problems.


title: Multiplexed sensing of magnetic field and temperature in real time using a nitrogen vacancy spin ensemble in diamond

abstract: Nitrogen-Vacancy (NV) spin in diamond is a versatile quantum sensor, being able to measure physical quantities such as magnetic field, electric field, temperature, and pressure. In the present work, we demonstrate a multiplexed sensing of magnetic field and temperature. The dual frequency driving technique we employ here is based on frequency-division multiplexing, which enables sensing both measurables in real time. The pair of NV resonance frequencies for dual frequency driving must be selected to avoid coherent population trapping of NV spin states. With an enhanced optical collection efficiency higher than 50 $\%$ and a type 1b diamond crystal with natural abundance $^{13}$C spins, we achieve sensitivities of about 70 pT/$\sqrt{\mathrm{Hz}}$ and 25 $\mu$K/$\sqrt{\mathrm{Hz}}$ simultaneously. A high isolation factor of 34 dB in NV thermometry signal against magnetic field was obtained, and we provide a theoretical description for the isolation factor. This work paves the way for extending the application of NV quantum diamond sensors into more demanding conditions.


title: Following Forrelation -- Quantum Algorithms in Exploring Boolean Functions' Spectra

abstract: Here we revisit the quantum algorithms for obtaining Forrelation [Aaronson et al, 2015] values to evaluate some of the well-known cryptographically significant spectra of Boolean functions, namely the Walsh spectrum, the cross-correlation spectrum and the autocorrelation spectrum. We introduce the existing 2-fold Forrelation formulation with bent duality based promise problems as desirable instantiations. Next we concentrate on the $3$-fold version through two approaches. First, we judiciously set-up some of the functions in $3$-fold Forrelation, so that given an oracle access, one can sample from the Walsh Spectrum of $f$. Using this, we obtain improved results than what we obtain from the Deutsch-Jozsa algorithm, and in turn it has implications in resiliency checking. Furthermore, we use similar idea to obtain a technique in estimating the cross-correlation (and thus autocorrelation) value at any point, improving upon the existing algorithms. Finally, we tweak the quantum algorithm with superposition of linear functions to obtain a cross-correlation sampling technique. To the best of our knowledge, this is the first cross-correlation sampling algorithm with constant query complexity. This also provides a strategy to check if two functions are uncorrelated of degree $m$. We further modify this using Dicke states so that the time complexity reduces, particularly for constant values of $m$.


title: Calculated event rates for Axion Detection via Atomic and Nuclear Processes

abstract: The possibility of detection of 5.5 MeV and 14.4 keV solar axions by observing axion-induced nuclear and atomic transitions is investigated. The presence of nuclear transitions between spin-orbit partners can be manifested by the subsequent de-excitation via gamma ray emissions. The transition rates can also be studied in the context of radiative axion absorption by a nucleus. The elementary interaction is obtained in the context of the axion-quark couplings predicted by existing axion models. Then these couplings will be transformed to the nucleon level utilizing reasonable existing models, which lead to effective transition operators. Using these operators we calculate the needed nuclear matrix elements employing wave functions obtained in the context of the nuclear shell model. With these ingredients, we discuss possibilities of experimental observation of the axion-induced nuclear gamma-rays. In the second part, we will examine the axion-induced production of X-rays (axion-photon conversion) or ionization from deeply bound electron orbits. In this case, the axion electron coupling is predicted by existing axion models, no renormalization is needed. The experimental signal is the observation of directly produced electrons and/or the emission of hard X-rays and Auger electrons, following the de-excitation of the final atom. Critical discussion is made on the experimental feasibility of detecting the solar axions by using multi-ton scale NaI detectors.


title: High Pressure RTSC-Hydrides are Extreme Hard Type-II Superconductors

abstract: It is argued that most of the RTSC hydrides are intrinsic hard type-II superconductors with strong pinning effects. The pinning centers are long columnar-like defects, with the radius of the order of the superconducting coherence length. The core and electromagnetic pinning are both equally operative, thus giving maximal pinning potential when vortices are oriented along the columnar axis. The theory predicts: (i) large critical currents, (ii) huge decrease of the temperature broadening of the resistance in magnetic field compared with standard superconductors, (iii) large magnetization hysteresis, (iv) the magnetic irreversible line is pushed toward the second critical field and magnetization relaxation is much slower. That the RTSC-hydrides are hard type-II SC can give rise to new physics in these materials.


title: Whats the worth of a promise? Evaluating the indirect effects of a program to reduce early marriage in India

abstract: One important dimension of Conditional Cash Transfer Programs apart from conditionality is the provision of continuous frequency of payouts. On the contrary, the Apni Beti Apna Dhan program, implemented in the state of Haryana in India from 1994 to 1998 offers a promised amount to female beneficiaries redeemable only after attaining 18 years of age if she remains unmarried. This paper assesses the impact of this long-term financial incentivization on outcomes, not directly associated with the conditionality. Using multiple datasets in a triple difference framework, the findings reveal a significant positive impact on years of education though it does not translate into gains in labor participation. While gauging the potential channels, we did not observe higher educational effects beyond secondary education. Additionally, impact on time allocation for leisure, socialization or self-care, age of marriage beyond 18 years, age at first birth, and post-marital empowerment indicators are found to be limited. These evidence indicate failure of the program in altering the prevailing gender norms despite improvements in educational outcomes. The paper recommends a set of complementary potential policy instruments that include altering gender norms through behavioral interventions skill development and incentives to encourage female work participation.


title: Integrals of incomplete beta functions, with applications to order statistics, random walks and string enumeration

abstract: We study the probability that one beta-distributed random variable exceeds the maximum of two others, allowing all three to have general parameters. This amounts to studying Euler transforms of products of two incomplete beta functions. We provide a closed form for the general problem in terms of Kamp\'e de F\'eriet functions and a variety of simpler closed forms in special cases. The results are applied to derive the moments of the maximum of two independent beta-distributed random variables and to find inner products of incomplete beta functions. Restricted to positive integer parameters, our results are applied to determine an expected exit time for a conditioned random walk and also to a combinatorial problem of enumerating strings comprised of three different letters, subject to constraints.


title: On the transport equation for probability density functions of turbulent vorticity fields

abstract: The vorticity random field of turbulent flow is singled out as the main dynamical variable for the description of turbulence, and the evolution equation of the probability density function (PDF) of the vorticity field has been obtained. This PDF evolution equation is a mixed type partial differential equation (PDE) of second order which depends only on the conditional mean (first order) of the underlying turbulent flow, which is in contrast with Reynolds' mean flow equation which relies on a quadratic statistics. Therefore the new PDF PDE may provide new closure scheme based on the conditional linear statistics, and some of them will be described in the present paper too.


title: Breast Mass Detection with Faster R-CNN: On the Feasibility of Learning from Noisy Annotations

abstract: In this work we study the impact of noise on the training of object detection networks for the medical domain, and how it can be mitigated by improving the training procedure. Annotating large medical datasets for training data-hungry deep learning models is expensive and time consuming. Leveraging information that is already collected in clinical practice, in the form of text reports, bookmarks or lesion measurements would substantially reduce this cost. Obtaining precise lesion bounding boxes through automatic mining procedures, however, is difficult. We provide here a quantitative evaluation of the effect of bounding box coordinate noise on the performance of Faster R-CNN object detection networks for breast mass detection. Varying degrees of noise are simulated by randomly modifying the bounding boxes: in our experiments, bounding boxes could be enlarged up to six times the original size. The noise is injected in the CBIS-DDSM collection, a well curated public mammography dataset for which accurate lesion location is available. We show how, due to an imperfect matching between the ground truth and the network bounding box proposals, the noise is propagated during training and reduces the ability of the network to correctly classify lesions from background. When using the standard Intersection over Union criterion, the area under the FROC curve decreases by up to 9%. A novel matching criterion is proposed to improve tolerance to noise.


title: Breiman's two cultures: You don't have to choose sides

abstract: Breiman's classic paper casts data analysis as a choice between two cultures: data modelers and algorithmic modelers. Stated broadly, data modelers use simple, interpretable models with well-understood theoretical properties to analyze data. Algorithmic modelers prioritize predictive accuracy and use more flexible function approximations to analyze data. This dichotomy overlooks a third set of models $-$ mechanistic models derived from scientific theories (e.g., ODE/SDE simulators). Mechanistic models encode application-specific scientific knowledge about the data. And while these categories represent extreme points in model space, modern computational and algorithmic tools enable us to interpolate between these points, producing flexible, interpretable, and scientifically-informed hybrids that can enjoy accurate and robust predictions, and resolve issues with data analysis that Breiman describes, such as the Rashomon effect and Occam's dilemma. Challenges still remain in finding an appropriate point in model space, with many choices on how to compose model components and the degree to which each component informs inferences.


title: Invertible and isometric weighted composition operators

abstract: We consider abstract Banach spaces of analytic functions on general bounded domains that satisfy only a minimum number of axioms. We describe all invertible (equivalently, surjective) weighted composition operators acting on such spaces. For the spaces of analytic functions in the disk whose norm is given in terms of a natural seminorm (such as the typical spaces given in terms of derivatives), we describe all surjective weighted composition operators that are isometric. This generalizes a number of known results.


title: Superconvergence of Galerkin variational integrators

abstract: We study the order of convergence of Galerkin variational integrators for ordinary differential equations. Galerkin variational integrators approximate a variational (Lagrangian) problem by restricting the space of curves to the set of polynomials of degree at most $s$ and approximating the action integral using a quadrature rule. We show that, if the quadrature rule is sufficiently accurate, the order of the integrators thus obtained is $2s$.


title: Interference, Bias, and Variance in Two-Sided Marketplace Experimentation: Guidance for Platforms

abstract: Two-sided marketplace platforms often run experiments to test the effect of an intervention before launching it platform-wide. A typical approach is to randomize individuals into the treatment group, which receives the intervention, and the control group, which does not. The platform then compares the performance in the two groups to estimate the effect if the intervention were launched to everyone. We focus on two common experiment types, where the platform randomizes individuals either on the supply side or on the demand side. The resulting estimates of the treatment effect in these experiments are typically biased: because individuals in the market compete with each other, individuals in the treatment group affect those in the control group and vice versa, creating interference. We develop a simple tractable market model to study bias and variance in these experiments with interference. We focus on two choices available to the platform: (1) Which side of the platform should it randomize on (supply or demand)? (2) What proportion of individuals should be allocated to treatment? We find that both choices affect the bias and variance of the resulting estimators but in different ways. The bias-optimal choice of experiment type depends on the relative amounts of supply and demand in the market, and we discuss how a platform can use market data to select the experiment type. Importantly, we find in many circumstances, choosing the bias-optimal experiment type has little effect on variance. On the other hand, the choice of treatment proportion can induce a bias-variance tradeoff, where the bias-minimizing proportion increases variance. We discuss how a platform can navigate this tradeoff and best choose the treatment proportion, using a combination of modeling as well as contextual knowledge about the market, the risk of the intervention, and reasonable effect sizes of the intervention.


title: Finding proto-clusters to trace galaxy evolution: I. The finder and its performance

abstract: We develop a method to identify proto-clusters based on dark matter halos represented by galaxy groups selected from surveys of galaxies at high redshift. We test the performance of this method on halos in N-body simulations, and find it can correctly identify more than 85% of the true proto-clusters with $\gtrsim$ 95% purity and with mass estimates typical within 0.25 dex from their true values. We show how the information provided by the proto-clusters can be used to link galaxies in present-day clusters of galaxies with their high redshift progenitors. Our tests show that the proto-clusters identified by our method can recover reliably the progenitor stellar mass distribution of galaxies, thereby providing an avenue to investigate the formation and evolution of present-day galaxy clusters and their member galaxies.


title: Isabelle's Metalogic: Formalization and Proof Checker

abstract: Isabelle is a generic theorem prover with a fragment of higher-order logic as a metalogic for defining object logics. Isabelle also provides proof terms. We formalize this metalogic and the language of proof terms in Isabelle/HOL, define an executable (but inefficient) proof term checker and prove its correctness w.r.t. the metalogic. We integrate the proof checker with Isabelle and run it on a range of logics and theories to check the correctness of all the proofs in those theories.


title: DC3: A learning method for optimization with hard constraints

abstract: Large optimization problems with hard constraints arise in many settings, yet classical solvers are often prohibitively slow, motivating the use of deep networks as cheap "approximate solvers." Unfortunately, naive deep learning approaches typically cannot enforce the hard constraints of such problems, leading to infeasible solutions. In this work, we present Deep Constraint Completion and Correction (DC3), an algorithm to address this challenge. Specifically, this method enforces feasibility via a differentiable procedure, which implicitly completes partial solutions to satisfy equality constraints and unrolls gradient-based corrections to satisfy inequality constraints. We demonstrate the effectiveness of DC3 in both synthetic optimization tasks and the real-world setting of AC optimal power flow, where hard constraints encode the physics of the electrical grid. In both cases, DC3 achieves near-optimal objective values while preserving feasibility.


title: RP-DQN: An application of Q-Learning to Vehicle Routing Problems

abstract: In this paper we present a new approach to tackle complex routing problems with an improved state representation that utilizes the model complexity better than previous methods. We enable this by training from temporal differences. Specifically Q-Learning is employed. We show that our approach achieves state-of-the-art performance for autoregressive policies that sequentially insert nodes to construct solutions on the CVRP. Additionally, we are the first to tackle the MDVRP with machine learning methods and demonstrate that this problem type greatly benefits from our approach over other ML methods.


title: Identifying Offensive Expressions of Opinion in Context

abstract: Classic information extraction techniques consist in building questions and answers about the facts. Indeed, it is still a challenge to subjective information extraction systems to identify opinions and feelings in context. In sentiment-based NLP tasks, there are few resources to information extraction, above all offensive or hateful opinions in context. To fill this important gap, this short paper provides a new cross-lingual and contextual offensive lexicon, which consists of explicit and implicit offensive and swearing expressions of opinion, which were annotated in two different classes: context dependent and context-independent offensive. In addition, we provide markers to identify hate speech. Annotation approach was evaluated at the expression-level and achieves high human inter-annotator agreement. The provided offensive lexicon is available in Portuguese and English languages.


title: Search for new phenomena in leptonic final states at CMS

abstract: Many new physics models, e.g., compositeness, extra dimensions, extended Higgs sectors, supersymmetric theories, and dark sector extensions, are expected to manifest themselves in the final states with leptons. Searches in CMS for new phenomena in the final states that include leptons, focusing on the recent results obtained using the Run-II data set collected at the LHC are described here.


title: Vector Neurons: A General Framework for SO(3)-Equivariant Networks

abstract: Invariance and equivariance to the rotation group have been widely discussed in the 3D deep learning community for pointclouds. Yet most proposed methods either use complex mathematical tools that may limit their accessibility, or are tied to specific input data types and network architectures. In this paper, we introduce a general framework built on top of what we call Vector Neuron representations for creating SO(3)-equivariant neural networks for pointcloud processing. Extending neurons from 1D scalars to 3D vectors, our vector neurons enable a simple mapping of SO(3) actions to latent spaces thereby providing a framework for building equivariance in common neural operations -- including linear layers, non-linearities, pooling, and normalizations. Due to their simplicity, vector neurons are versatile and, as we demonstrate, can be incorporated into diverse network architecture backbones, allowing them to process geometry inputs in arbitrary poses. Despite its simplicity, our method performs comparably well in accuracy and generalization with other more complex and specialized state-of-the-art methods on classification and segmentation tasks. We also show for the first time a rotation equivariant reconstruction network.


title: Predicting outcomes of electric dipole and magnetic moment experiments

abstract: The anomalous magnetic and electric dipole moments in spin motion equation acquire pseudoscalar corrections if the $T(CP)$-noninvariance is admitted. It allows to explain the discrepancy between experimental and theoretical values of muon $(g-2)$ factor under assumption that the pseudoscalar correction is the dominant source of this discrepancy.


title: Model-based metrics: Sample-efficient estimates of predictive model subpopulation performance

abstract: Machine learning models $-$ now commonly developed to screen, diagnose, or predict health conditions $-$ are evaluated with a variety of performance metrics. An important first step in assessing the practical utility of a model is to evaluate its average performance over an entire population of interest. In many settings, it is also critical that the model makes good predictions within predefined subpopulations. For instance, showing that a model is fair or equitable requires evaluating the model's performance in different demographic subgroups. However, subpopulation performance metrics are typically computed using only data from that subgroup, resulting in higher variance estimates for smaller groups. We devise a procedure to measure subpopulation performance that can be more sample-efficient than the typical subsample estimates. We propose using an evaluation model $-$ a model that describes the conditional distribution of the predictive model score $-$ to form model-based metric (MBM) estimates. Our procedure incorporates model checking and validation, and we propose a computationally efficient approximation of the traditional nonparametric bootstrap to form confidence intervals. We evaluate MBMs on two main tasks: a semi-synthetic setting where ground truth metrics are available and a real-world hospital readmission prediction task. We find that MBMs consistently produce more accurate and lower variance estimates of model performance for small subpopulations.


title: Variational Inference in high-dimensional linear regression

abstract: We study high-dimensional Bayesian linear regression with product priors. Using the nascent theory of non-linear large deviations (Chatterjee and Dembo,2016), we derive sufficient conditions for the leading-order correctness of the naive mean-field approximation to the log-normalizing constant of the posterior distribution. Subsequently, assuming a true linear model for the observed data, we derive a limiting infinite dimensional variational formula for the log normalizing constant of the posterior. Furthermore, we establish that under an additional "separation" condition, the variational problem has a unique optimizer, and this optimizer governs the probabilistic properties of the posterior distribution. We provide intuitive sufficient conditions for the validity of this "separation" condition. Finally, we illustrate our results on concrete examples with specific design matrices.


title: The 5th AI City Challenge

abstract: The AI City Challenge was created with two goals in mind: (1) pushing the boundaries of research and development in intelligent video analysis for smarter cities use cases, and (2) assessing tasks where the level of performance is enough to cause real-world adoption. Transportation is a segment ripe for such adoption. The fifth AI City Challenge attracted 305 participating teams across 38 countries, who leveraged city-scale real traffic data and high-quality synthetic data to compete in five challenge tracks. Track 1 addressed video-based automatic vehicle counting, where the evaluation being conducted on both algorithmic effectiveness and computational efficiency. Track 2 addressed city-scale vehicle re-identification with augmented synthetic data to substantially increase the training set for the task. Track 3 addressed city-scale multi-target multi-camera vehicle tracking. Track 4 addressed traffic anomaly detection. Track 5 was a new track addressing vehicle retrieval using natural language descriptions. The evaluation system shows a general leader board of all submitted results, and a public leader board of results limited to the contest participation rules, where teams are not allowed to use external data in their work. The public leader board shows results more close to real-world situations where annotated data is limited. Results show the promise of AI in Smarter Transportation. State-of-the-art performance for some tasks shows that these technologies are ready for adoption in real-world systems.


title: Arcsine Law and Multistable Brownian Dynamics in a Tilted Periodic Potential

abstract: Multistability is one of the most important phenomena in dynamical systems, e.g. bistability enables the implementation of logic gates and therefore computation. Recently multistability has attracted a greatly renewed interest related to memristors and graphene structures, to name only a few. We investigate tristability in velocity dynamics of a Brownian particle subjected to a tilted periodic potential. It is demonstrated that the origin of this effect is attributed to the arcsine law for the velocity dynamics at the zero temperature limit. We analyze the impact of thermal fluctuations and construct the phase diagram for the stability of the velocity dynamics. It suggests an efficient strategy to control the multistability by changing solely the force acting on the particle or temperature of the system. Our findings for the paradigmatic model of nonequilibrium statistical physics apply to, inter alia, Brownian motors, Josephson junctions, cold atoms dwelling in optical lattices and colloidal systems.


title: Basic Analysis of Bin-Packing Heuristics

abstract: The bin-packing problem continues to remain relevant in numerous application areas. This technical report discusses the empirical performance of different bin-packing heuristics for certain test problems.


title: Stability estimate for a partial data inverse problem for the convection-diffusion equation

abstract: In this article, we study the stability in the inverse problem of determining the time-dependent convection term and density coefficient appearing in the convection-diffusion equation, from partial boundary measurements. For dimension $n\geq 2$, we show the convection term (modulo the gauge term) admits log-log stability, whereas log-log-log stability estimate is obtained for the density coefficient.


title: Excited states of massive fermions in a chiral gauge theory

abstract: It is shown numerically, in a chiral U(1) gauge Higgs theory in which the left and right-handed fermion components have opposite U(1) charges, that the spectrum of gauge and Higgs fields surrounding a static fermion contains both a ground state and at least one stable excited state. To bypass the difficulties associated with dynamical fermions in a lattice chiral gauge theory we consider only static fermion sources in a quenched approximation, at fixed lattice spacing and couplings, and with a lattice action along the lines suggested long ago by Smit and Swift.


title: Algebraic Stability of Oscillatory Integral Estimates: A Calculus for Uniform Estimates

abstract: Oscillatory integrals arise in many situations where it is important to obtain decay estimates which are stable under certain perturbations of the phase. Examining the structural problems underpinning these estimates leads one to consider sublevel set estimates, which behave nicely under certain algebraic operations such as composition with a polynomial. This motivates us to ask how oscillatory integral estimates behave under such transformations of the phase, and under some natural higher order convexity assumptions we obtain stable estimates under composition with polynomial phases in one dimension, and in higher dimensions in the setting of the higher dimensional van der Corput's lemma of Carbery-Christ-Wright.


title: Advances in atomtronics

abstract: Atomtronics is a relatively new subfield of atomic physics that aims to realize the device behavior of electronic components in ultracold atom-optical systems. The fact that these systems are coherent makes them particularly interesting since, in addition to current, one can impart quantum states onto the current carriers themselves or perhaps perform quantum computational operations on them. After reviewing the fundamental ideas of this subfield, we report on the theoretical and experimental progress made towards developing externally-driven and closed loop devices. The functionality and potential applications for these atom analogs to electronic and spintronic systems is also discussed.


title: Effects of model incompleteness on the drift-scan calibration of radio telescopes

abstract: Precision calibration poses challenges to experiments probing the redshifted 21-cm signal of neutral hydrogen from the Cosmic Dawn and Epoch of Reionization (z~30-6). In both interferometric and global signal experiments, systematic calibration is the leading source of error. Though many aspects of calibration have been studied, the overlap between the two types of instruments has received less attention. We investigate the sky based calibration of total power measurements with a HERA dish and an EDGES style antenna to understand the role of auto-correlations in the calibration of an interferometer and the role of sky in calibrating a total power instrument. Using simulations we study various scenarios such as time variable gain, incomplete sky calibration model, and primary beam model. We find that temporal gain drifts, sky model incompleteness, and beam inaccuracies cause biases in the receiver gain amplitude and the receiver temperature estimates. In some cases, these biases mix spectral structure between beam and sky resulting in spectrally variable gain errors. Applying the calibration method to the HERA and EDGES data, we find good agreement with calibration via the more standard methods. Although instrumental gains are consistent with beam and sky errors similar in scale to those simulated, the receiver temperatures show significant deviations from expected values. While we show that it is possible to partially mitigate biases due to model inaccuracies by incorporating a time-dependent gain model in calibration, the resulting errors on calibration products are larger and more correlated. Completely addressing these biases will require more accurate sky and primary beam models.


title: On the Efficient Evaluation of the Azimuthal Fourier Components of the Green's Function for Helmholtz's Equation in Cylindrical Coordinates

abstract: In this manuscript, we develop an efficient algorithm to evaluate the azimuthal Fourier components of the Green's function for the Helmholtz equation in cylindrical coordinates. A computationally efficient algorithm for this modal Green's function is essential for solvers for electromagnetic scattering from bodies of revolution (e.g., radar cross sections, antennas). Current algorithms to evaluate this modal Green's function become computationally intractable when the source and target are close or when the wavenumber is large. Furthermore, most state of the art methods cannot be easily parallelized. In this manuscript, we present an algorithm for evaluating the modal Green's function that has performance independent of both source-to-target proximity and wavenumber, and whose cost grows as $O(m)$, where $m$ is the Fourier mode. Furthermore, our algorithm is embarrassingly parallelizable.


title: Electronic excitation spectra of cerium oxides: from ab initio dielectric response functions to Monte Carlo charge transport simulations

abstract: Nanomaterials made of the cerium oxides CeO$_2$ and Ce$_2$O$_3$ have a broad range of applications, from catalysts in automotive, industrial or energy operations to promising materials to enhance hadrontherapy effectiveness in oncological treatments. To elucidate the physico-chemical mechanisms involved in these processes, it is of paramount importance to know the electronic excitation spectra of these oxides, which are obtained here through high-accuracy linear-response time-dependent density functional theory calculations. In particular, the macroscopic dielectric response functions $\bar\epsilon$ of both bulk CeO$_2$ and Ce$_2$O$_3$ are derived, which compare remarkably well with the available experimental data. These results stress the importance of appropriately accounting for local field effects to model the dielectric function of metal oxides. Furthermore, we reckon the materials energy loss functions $\mbox{Im} (-1/\bar{\epsilon})$, including the accurate evaluation of the momentum transfer dispersion from first-principles. In this respect, by using a Mermin-type parametrization we are able to model the contribution of different electronic excitations to the dielectric loss function. Finally, from the knowledge of the electron inelastic mean free path, together with the elastic mean free path provided by the relativistic Mott theory, we carry out statistical Monte Carlo (MC) charge transport simulations to reproduce the major features of the reported experimental reflection electron energy loss (REEL) spectra of cerium oxides. The good agreement with REEL experimental data strongly supports our approach based on MC modelling informed by ab initio calculated electronic excitation spectra in a broad range of momentum and energy transfers.

categories: cond-mat.mtrl-sci cond-mat.str-el physics.chem-ph physics.comp-ph


title: Exploiting Gaussian steering to probe non-Markovianity due to the interaction with a structured environment

abstract: We put forward a measure based on Gaussian steering to quantify the non-Markovianity of continuous-variable (CV) Gaussian quantum channels. We employ the proposed measure to assess and compare the non-Markovianity of a quantum Brownian motion (QBM) channel, originating from the interaction with Ohmic and sub-Ohmic environments with spectral densities described by a Lorentz-Drude cutoff, both at high and low temperatures, showing that sub-Ohmic, high temperature environments lead to highly non-Markovian evolution, with cyclic backflows of Gaussian steerability from the environment to the system. Our results add to the understanding of the interplay between quantum correlations and non-Markovianity for CV systems, and could be implemented at the experimental level to quantify non-Markovianity in some physical scenarios.


title: Rare Lepton-Number-Violating $W$ Decays at the LHC: CP Violation

abstract: Some models of leptogenesis involve a nearly-degenerate pair of heavy Majorana neutrinos $N_{1,2}$ whose masses can be small, $O({\rm GeV})$. There can be heavy-light neutrino mixing parametrized by $|B_{\ell N}|^2 = 10^{-5}$, which leads to the rare lepton-number-violating decay $W^\pm \to \ell_1^\pm \ell_2^\pm (q'{\bar q})^\mp$. With contributions to this decay from both $N_1$ and $N_2$, a CP-violating rate difference between the decay and its CP-conjugate can be generated. In this talk, I describe the prospects for measuring such a CP asymmetry $A_{\rm CP}$ at the LHC. I consider three versions of the LHC -- HL-LHC, HE-LHC, FCC-hh -- and show that, for $5~{\rm GeV} \le M_N \le 80~{\rm GeV}$, small values of the CP asymmetry can be measured at $3\sigma$, in the range $1\%\le A_{\rm CP} \le 15\%$.


title: Single Stage Class Agnostic Common Object Detection: A Simple Baseline

abstract: This paper addresses the problem of common object detection, which aims to detect objects of similar categories from a set of images. Although it shares some similarities with the standard object detection and co-segmentation, common object detection, recently promoted by \cite{Jiang2019a}, has some unique advantages and challenges. First, it is designed to work on both closed-set and open-set conditions, a.k.a. known and unknown objects. Second, it must be able to match objects of the same category but not restricted to the same instance, texture, or posture. Third, it can distinguish multiple objects. In this work, we introduce the Single Stage Common Object Detection (SSCOD) to detect class-agnostic common objects from an image set. The proposed method is built upon the standard single-stage object detector. Furthermore, an embedded branch is introduced to generate the object's representation feature, and their similarity is measured by cosine distance. Experiments are conducted on PASCAL VOC 2007 and COCO 2014 datasets. While being simple and flexible, our proposed SSCOD built upon ATSSNet performs significantly better than the baseline of the standard object detection, while still be able to match objects of unknown categories. Our source code can be found at \href{https://github.com/cybercore-co-ltd/Single-Stage-Common-Object-Detection}{(URL)}


title: Mapping Dirac--Hartree--Fock approach onto relativistic mean field model

abstract: The exchange part of energy density of the linear Dirac--Hartree--Fock (DHF) model in symmetric nuclear matter is evaluated in a parameter--free closed form and expressed as density functional. After the rearranging terms the relativistic mean-field approach with density-dependent couplings may be recovered with density dependence coming from the Fock exchange. The formalism developed, is then extended to the nonlinear DHF approximation with field self-couplings allowed. The nonlinear self--interactions result in essential density dependence (medium modification) of effective couplings that are decoupled from the Fock ones.


title: Method for Solving Bang-Bang and Singular Optimal Control Problems using Adaptive Radau Collocation

abstract: A method is developed for solving bang-bang and singular optimal control problems using adaptive Legendre-Gauss-Radau (LGR) collocation. The method is divided into several parts. First, a structure detection method is developed that identifies switch times in the control and analyzes the corresponding switching function for segments where the solution is either bang-bang or singular. Second, after the structure has been detected, the domain is decomposed into multiple domains such that the multiple-domain formulation includes additional decision variables that represent the switch times in the optimal control. In domains classified as bang-bang, the control is set to either its upper or lower limit. In domains identified as singular, the objective function is augmented with a regularization term to avoid the singular arc. An iterative procedure is then developed for singular domains to obtain a control that lies in close proximity to the singular control. The method is demonstrated on four examples, three of which have either a bang-bang and/or singular optimal control while the fourth has a smooth and nonsingular optimal control. The results demonstrate that the method of this paper provides accurate solutions to problems whose solutions are either bang-bang or singular when compared against previously developed mesh refinement methods that are not tailored for solving nonsmooth and/or singular optimal control problems, and produces results that are equivalent to those obtained using previously developed mesh refinement methods for optimal control problems whose solutions are smooth.


title: Novel bivariate autoregressive model for predicting and forecasting irregularly observed time series

abstract: In several disciplines it is common to find time series measured at irregular observational times. In particular, in astronomy there are a large number of surveys that gather information over irregular time gaps and in more than one passband. Some examples are Pan-STARRS, ZTF and also the LSST. However, current commonly used time series models that estimate the time dependency in astronomical light curves consider the information of each band separately (e.g, CIAR, IAR and CARMA models) disregarding the dependency that might exist between different passbands. In this paper we propose a novel bivariate model for irregularly sampled time series, called the bivariate irregular autoregressive (BIAR) model. The BIAR model assumes an autoregressive structure on each time series, it is stationary, and it allows to estimate the autocorrelation, the cross-correlation and the contemporary correlation between two unequally spaced time series. We implemented the BIAR model on light curves, in the g and r bands, obtained from the ZTF alerts processed by the ALeRCE broker. We show that if the light curves of the two bands are highly correlated, the model has more accurate forecast and prediction using the bivariate model than a similar method that uses only univariate information. Further, the estimated parameters of the BIAR are useful to characterize LongPeriod Variable Stars and to distinguish between classes of stochastic objects, providing promising features that can be used for classification purposes


title: A STDP-based Encoding Algorithm for Associative and Composite Data

abstract: Spike-timing-dependent plasticity(STDP) is a biological process of synaptic modification caused by the difference of firing order and timing between neurons. One of the neurodynamical roles of STDP is to form a macroscopic geometrical structure in the neuronal state space in response to a periodic input. This work proposes a practical memory model based on STDP that can store and retrieve high-dimensional associative data. The model combines STDP dynamics with an encoding scheme for distributed representations and can handle multiple composite data in a continuous manner. In the auto-associative memory task where a group of images is continuously streamed to the model, the images are successfully retrieved from an oscillating neural state whenever a proper cue is given. In the second task that deals with semantic memories embedded from sentences, the results show that words can recall multiple sentences simultaneously or one exclusively, depending on their grammatical relations.


title: XLM-T: Multilingual Language Models in Twitter for Sentiment Analysis and Beyond

abstract: Language models are ubiquitous in current NLP, and their multilingual capacity has recently attracted considerable attention. However, current analyses have almost exclusively focused on (multilingual variants of) standard benchmarks, and have relied on clean pre-training and task-specific corpora as multilingual signals. In this paper, we introduce XLM-T, a model to train and evaluate multilingual language models in Twitter. In this paper we provide: (1) a new strong multilingual baseline consisting of an XLM-R (Conneau et al. 2020) model pre-trained on millions of tweets in over thirty languages, alongside starter code to subsequently fine-tune on a target task; and (2) a set of unified sentiment analysis Twitter datasets in eight different languages and a XLM-T model fine-tuned on them.


title: Gaussian bounds of fundamental matrix and maximal $L^1$ regularity for Lam\'{e} system with rough coefficients

abstract: The purpose of this paper is twofold. First, we use a classical method to establish Gaussian bounds of the fundamental matrix of a generalized parabolic Lam\'{e} system with only bounded and measurable coefficients. Second, we derive a maximal $L^1$ regularity result for the abstract Cauchy problem associated with a composite operator. In a concrete example, we also obtain maximal $L^1$ regularity for the Lam\'{e} system, from which it follows that the Lipschitz seminorm of the solutions to the Lam\'{e} system is globally $L^1$-in-time integrable. As an application, we use a Lagrangian approach to prove a global-in-time well-posedness result for a viscous pressureless flow provided that the initial velocity satisfies a scaling-invariant smallness condition. The method established in this paper might be a powerful tool for studying many issues arising from viscous fluids with truly variable densities.