title: Proper rainbow connection number of graphs

abstract: A path in an edge-coloured graph is called \emph{rainbow path} if its edges receive pairwise distinct colours. An edge-coloured graph is said to be \emph{rainbow connected} if any two distinct vertices of the graph are connected by a rainbow path. The minimum $k$ for which there exists such an edge-colouring is the rainbow connection number $rc(G)$ of $G.$ Recently, Bau et al. \cite{BJJKM2018} introduced this concept with the additional requirement that the edge-colouring must be proper. %An proper edge-coloured graph is said to be \emph{properly rainbow connected} if any two distinct vertices of the graph are connected by a rainbow path. The \emph{proper rainbow connection number} of $G$, denoted by $prc(G)$, is the minimum number of colours needed in order to make it properly rainbow connected. In this paper we first prove an improved upper bound $prc(G) \leq n$ for every connected graph $G$ of order $n \geq 3.$ Next we show that the difference $prc(G) - rc(G)$ can be arbitrarily large. Finally, we present several sufficient conditions for graph classes satisfying $prc(G) = \chi'(G).$


title: Radiation hard DMAPS pixel sensors in 150nm CMOS technology for operation at LHC

abstract: Monolithic Active Pixel Sensors (MAPS) have been developed since the late 1990s employing silicon substrate with a thin epitaxial layer in which deposited charge is collected by disordered diffusion rather than by drift in an electric field. As a consequence the signal is small and slow, and the radiation tolerance is below the requirements for LHC experiments by factors of 100 to 1000. We developed fully depleted (D)MAPS pixel sensors employing a 150 nm CMOS technology and using a high resistivity substrate as well as a high biasing voltage. The development has been carried out in three subsequent iterations, from prototypes to a large pixel matrix comprising a complete readout architecture suitable for LHC operation. Full CMOS electronics is embedded in large deep n-wells which at the same time serve as collection nodes (large electrode design). The devices have been intensively characterized before and after irradiation employing lab tests as well as particle beams. The devices can cope with particle rates seen by the innermost pixel detectors of the LHC pp-experiments or as seen by the outer pixel layers of the planned HL-LHC upgrade. They are radiation hard to particle fluences of at least $10^{15}~\mathrm{n_{eq}/cm^2}$ and total ionization doses of at least 50 Mrad.


title: Magnetic field effects in the near-field radiative heat transfer between planar structures

abstract: One of the main challenges in the field of thermal radiation is to actively control the near-field radiative heat transfer (NFRHT) between closely spaced bodies. In this context, the use of an external magnetic field has emerged as a very attractive possibility and a plethora of physical phenomena have been put forward in the last few years. Here, we predict some additional magnetic-field-induced phenomena that can take place in the context of NFRHT between planar layered structures containing magneto-optical (MO) materials (mainly doped semiconductors like InSb). In particular, we predict the possibility of increasing the NFRHT upon applying an external magnetic field in an asymmetric structure consisting of two infinite plates made of InSb and Au. We also study the impact of a magnetic field in the NFRHT between structures containing MO thin films and show that the effect is more drastic than in their bulk counterparts. Finally, we systematically investigate the anisotropic thermal magnetoresistance, i.e., the dependence of the radiative heat conductance on the orientation of an external magnetic field, in the case of two infinite plates made of InSb and show that one can strongly modulate the NFRHT by simply changing the orientation of the magnetic field. All the phenomena predicted in this work can be experimentally tested with existent technology and provide a new insight into the topic of active control of NFRHT.


title: Non-leptonic beauty baryon decays and $CP$-asymmetries based on $SU(3)$-Flavor analysis

abstract: We consider hadronic weak decays of beauty-baryons into charmless baryons and pseudoscalar mesons in a general framework based on $SU(3)$ decomposition of the decay amplitudes. The advantage of the approach lies in the ability to perform an $SU(3)$ analysis of these decays without any particular set of dynamical assumptions while accounting for the effects of an arbitrarily broken $SU(3)$ flavor symmetry. Dictated by the symmetries of the effective Hamiltonian that allow us to relate or neglect reduced $SU(3)$ amplitudes, we derive several sum rule relations between amplitudes and relations between $CP$ asymmetries in these decays and identify those that hold even if $SU(3)$ is broken.


title: Carbon nanotubes as anisotropic target for dark matter

abstract: Directional detection of Dark Matter (DM) particles could be accomplished by studying either ion or electron recoils in large arrays of parallel carbon nanotubes. For instance, a MeV mass DM particle could scatter off a lattice electron, resulting in the transfer of sufficient energy to eject the electron from the nanotube surface. The electron can eventually be detected whenever an external electric field is added to drive it from the open ends of the array. This detection scheme would offer an anisotropic response and could be used to select an orientation of the target with respect to the DM wind. A compact sensor, in which the cathode element is substituted with a dense array of parallel carbon nanotubes, could serve as the basic detection unit which - if adequately replicated - would allow to explore a significant region of light DM mass and cross-section. A similar detection scheme could be used to detect DM particles with mass in the GeV range scattering off the surface of a CNT and ejecting a carbon ion. We report about the Monte Carlo simulations of such a system and the R&D towards a detector prototype.


title: Three-dimensional electron-hole superfluidity in a superlattice close to room temperature

abstract: Although there is strong theoretical and experimental evidence for electron-hole superfluidity in separated sheets of electrons and holes at low $T$, extending superfluidity to high $T$ is limited by strong 2D fluctuations and Kosterlitz-Thouless effects. We show this limitation can be overcome using a superlattice of alternating electron- and hole-doped semiconductor monolayers. The superfluid transition in a 3D superlattice is not topological, and for strong electron-hole pair coupling, the transition temperature $T_c$ can be at room temperature. As a quantitative illustration, we show $T_c$ can reach $270$ K for a superfluid in a realistic superlattice of transition metal dichalcogenide monolayers.


title: 3D-Map Assisted UAV Trajectory Design Under Cellular Connectivity Constraints

abstract: The enabling of safe cellular controlled unmanned aerial vehicle (UAV) beyond visual line of sight is expected to open important future opportunities in the area of transportation, goods delivery, and system monitoring. A key challenge in this area lies in the design of trajectories which, while allowing the completion of the UAV mission, can guarantee reliable cellular connectivity all along the path. Previous approaches in this domain have considered simplistic propagation model assumptions (e.g. Line of Sight based) or more advanced models but with computationally demanding optimized solutions. In this paper, we propose a novel approach for trajectory design using a coverage map that can be obtained with a combination of 3D map of the environment and radio propagation models. Leveraging on the convexity of sub-regions within the coverage map, we propose a low-complexity graph based algorithm which is shown to achieve quasi-optimal performance at a fraction of the computational cost of known optimal methods.


title: Neutrino masses beyond the minimal seesaw

abstract: The simplest possibility to generate small Majorana neutrino masses is the seesaw mechanism. However, the smallness of the observed neutrino masses can also be understood, if neutrino masses are generated by higher-dimensional operators and/or at higher loop level. In this talk recent work on systematic classifications of higher-dimensional and radiative neutrino mass models is summarized. Two particular classes of special genuine loop diagrams, i.e. diagrams which can lead to genuine neutrino mass models only under some specific, well-defined conditions, are also discussed.


title: Automated Estimation of the Spinal Curvature via Spine Centerline Extraction with Ensembles of Cascaded Neural Networks

abstract: Scoliosis is a condition defined by an abnormal spinal curvature. For diagnosis and treatment planning of scoliosis, spinal curvature can be estimated using Cobb angles. We propose an automated method for the estimation of Cobb angles from X-ray scans. First, the centerline of the spine was segmented using a cascade of two convolutional neural networks. After smoothing the centerline, Cobb angles were automatically estimated using the derivative of the centerline. We evaluated the results using the mean absolute error and the average symmetric mean absolute percentage error between the manual assessment by experts and the automated predictions. For optimization, we used 609 X-ray scans from the London Health Sciences Center, and for evaluation, we participated in the international challenge "Accurate Automated Spinal Curvature Estimation, MICCAI 2019" (100 scans). On the challenge's test set, we obtained an average symmetric mean absolute percentage error of 22.96.


title: A Generalized Stueckelberg-Higgs gauge theories

abstract: The aim of this work is to discuss and explore some generalized aspects of generation of photon mass respecting gauge symmetry. We introduce generalized Stueckelberg and Higgs gauge theories and present the classical and quantum frameworks related to them. We construct the quantum theory by writing the transition amplitude in the Fadeev-Senjanovic formalism and put it in a covariant form by the Fadeev-Popov method. We also analyze the independence of the transition amplitude by gauge parameters via BRS-T symmetry. Even in the generalized context, the Stueckelberg structure influences the quantization process of the Higgs theory in the 't Hooft's fashion, in which an intimate relationship between the Stueckelberg compensating field and the Goldstone boson arises.


title: Loop quantum cosmological dynamics of scalar-tensor theory in the Jordan frame

abstract: The effective dynamics of scalar-tensor theory (STT) in the Jordan frame is studied in the context of loop quantum cosmology with holonomy corrections. After deriving the effective Hamiltonian from the connection dynamics formulation, we obtain the holonomy-corrected evolution equations of STT on spatially flat Friedmann-Robterson-Walker background, which exhibit some interesting features unique to the Jordan frame of STT. In particular, the linear term of the cosine function appearing in the equations could lead to dynamics much different from the classical theory in the low-energy limit. In the latter part of this paper, we choose a particular model in STT -- the Brans-Dicke theory to specifically illustrate these features. It is found that in Brans-Dicke theory the effective evolution equations can be classified into four different cases. Exact solutions of the Friedmann equation in terms of the internal time are obtained in these cases. Moreover, the solutions in terms of the proper time describing the late time evolution of the Universe are also obtained under certain approximation; in two cases the solutions coincide with the existing solutions in classical Brans-Dicke theory while in the other two cases the solutions do not.


title: Definability patterns and their symmetries

abstract: We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple theories. J admits a compact topology, not necessarily Hausdorff, but the Hausdorff part can already be bigger than the Kim-Pillay space. Using it, we obtain simple proofs of a number of results previously obtained using topological dynamics, but working one power set level lower. The Lascar neighbour relation is represented by a canonical relation on the compact Hausdorff part J; the general Lascar group can be read off this compact structure. This gives concrete form to results of Krupi\'nski, Newelski, Pillay, Rzepecki and Simon, who used topological dynamics applied to large models to show the existence of compact groups mapping onto the Lascar group. In an appendix, we show that a construction analogous to the above but using infinitary patterns recovers the Ellis group of \cite{kns}, and use this to sharpen the cardinality bound for their Ellis group from $\beth_5$ to $\beth_3$, showing the latter is optimal. There is also a close connection to another school of topological dynamics, set theory and model theory, centered around the Kechris-Pestov-Todor\v cevi\'c correspondence. We define the Ramsey property for a first order theory, and show - as a simple application of the construction applied to an auxiliary theory - that any theory admits a canonical minimal Ramsey expansion. This was envisaged and proved for certain Fraiss\'e classes, first by Kechris-Pestov-Todor\v cevi\'c for expansions by orderings, then by Melleray, Nguyen Van Th\'e, Tsankov and Zucker for more general expansions.


title: Chirality-dependent planar Hall effect in inhomogeneous Weyl semimetals

abstract: The planar Hall effect (PHE), the appearance of an in-plane transverse voltage in the presence of co-planar electric ($\mathbf{E}$) and magnetic ($\mathbf{B}$) fields, occurs in regular Weyl semimetals (WSMs) as one of the fundamental manifestations of chiral anomaly. A major issue, therefore, is whether there are alternate route to PHE, without invoking chiral anomaly. We demonstrate that PHE exists in an inhomogeneous Weyl semimetal (IWSM) even in the absence of the aforesaid anomaly. Using semiclassical Boltzmann transport theory, we show that PHE appears in an IWSM due to the strain-induced chiral gauge potential, which couples to the Weyl fermions of opposite chirality with opposite sign. Our study shows a resultant phase shift in the current associated with opposite chirality Weyl nodes, which, remarkably, leads to a finite chirality-dependent planar Hall effect (CPHE) in the IWSMs. Interestingly, we show that a small tilt in the Weyl node can generate a pure CPHE even in the absence of an applied magnetic field. The CPHE has important implications in `chiralitytronics'. We also discuss the experimental feasibility of these novel effects of strain in type-I IWSMs.


title: Dembowski-Ostrom polynomials and Dickson polynomials

abstract: We give a complete classification of Dembowski-Ostrom polynomials from the composition of Dickson polynomials of arbitrary kind and monomials over finite fields. Moreover, by using a variant of the Weil bound for the number of points of affine algebraic curves over finite fields, we discuss the planarity of the obtained Dembowski-Ostrom polynomials. Dembowski-Ostrom polynomials play a crucial role in coding theory and cryptography.


title: Stable approximations for axisymmetric Willmore flow for closed and open surfaces

abstract: For a hypersurface in ${\mathbb R}^3$, Willmore flow is defined as the $L^2$--gradient flow of the classical Willmore energy: the integral of the squared mean curvature. This geometric evolution law is of interest in differential geometry, image reconstruction and mathematical biology. In this paper, we propose novel numerical approximations for the Willmore flow of axisymmetric hypersurfaces. For the semidiscrete continuous-in-time variants we prove a stability result. We consider both closed surfaces, and surfaces with a boundary. In the latter case, we carefully derive weak formulations of suitable boundary conditions. Furthermore, we consider many generalizations of the classical Willmore energy, particularly those that play a role in the study of biomembranes. In the generalized models we include spontaneous curvature and area difference elasticity (ADE) effects, Gaussian curvature and line energy contributions. Several numerical experiments demonstrate the efficiency and robustness of our developed numerical methods.


title: Asymptotic behavior and control of a "guidance by repulsion" model

abstract: We model and analyze a herding problem, where the drivers try to steer the evaders' trajectories while the evaders always move away from the drivers. This problem is motivated by the guidance-by-repulsion model [Escobedo, R., Iba\~nez, A. and Zuazua, E. COMMUN NONLINEAR SCI 39 (2016) 58-72], where the authors answer how to control the evaders' positions and what is the optimal maneuver of the drivers. First, we obtain the well-posedness and the long-time behavior of the one-driver and one-evader model, assuming of the same friction coefficients. In this case, the exact controllability is proved in a long enough time horizon. We extend the model to the multi-driver and multi-evader case, and develop numerical simulations to systematically explore the nature of controlled dynamics in various scenarios. The optimal strategies turn out to share a common pattern to the one-driver and one-evader case: the drivers rapidly occupy the position behind the target, and want to pursuit evaders in a straight line for most of the time. Inspired by this, we build a feedback strategy which stabilizes the direction of evaders.


title: Traffic lights, clumping and QBDs

abstract: In discrete time, $\ell$-blocks of red lights are separated by $\ell$-blocks of green lights. Cars arrive at random. \ We seek the distribution of maximum line length of idle cars, and justify conjectured probabilistic asymptotics algebraically for $2\leq\ell\leq3$ and numerically for $\ell\geq4$.


title: Mitigation of carrier induced optical bistability in silicon ring resonators

abstract: We present a detailed study of electrical and optical generated free carrier on the spectral characteristics of a silicon microring modulator. The spectral distortion generated due to thermal and free carriers is presented, and the mechanism for mitigation is also presented. We observed that two-photon induced nonlinearity could be addressed by operating the modulator at suitable bias points. Furthermore, by applying small-signal drive the spectral distortion can be restored. We also present the effect of optical power and drive signal limit on the spectral characteristics. The study allows one to identify suitable device performance and operating conditions to utilize silicon ring modulator for optical signal processing.


title: The dipole picture and the non-relativistic expansion

abstract: We study exclusive quarkonium production in the dipole picture at next-to-leading order (NLO) accuracy, using the non-relativistic expansion for the quarkonium wavefunction. This process offers one of the best ways to obtain information about gluon distributions at small $x$, in ultraperipheral heavy ion collisions and in deep inelastic scattering. The quarkonium light cone wave functions needed in the dipole picture have typically been available only at tree level, either in phenomenological models or in the nonrelativistic limit. In this paper, we discuss the compatibility of the dipole approach and the non-relativistic expansion and compute NLO relativistic corrections to the quarkonium light-cone wave function in light-cone gauge. Using these corrections we recover results for the NLO decay width of quarkonium to $e^{+}e^{-}$ and we check that the non-relativistic expansion is consistent with ERBL evolution and with B-JIMWLK evolution of the target. The results presented here will allow computing the exclusive quarkonium production rate at NLO once the one loop photon wave function with massive quarks, currently under investigation, is known.


title: Quasi-isometric diversity of marked groups

abstract: We use basic tools of descriptive set theory to prove that a closed set $\mathcal S$ of marked groups has $2^{\aleph_0}$ quasi-isometry classes provided every non-empty open subset of $\mathcal S$ contains at least two non-quasi-isometric groups. It follows that every perfect set of marked groups having a dense subset of finitely presented groups contains $2^{\aleph_0}$ quasi-isometry classes. These results account for most known constructions of continuous families of non-quasi-isometric finitely generated groups. They can also be used to prove the existence of $2^{\aleph_0}$ quasi-isometry classes of finitely generated groups having interesting algebraic, geometric, or model-theoretic properties.


title: Disentangling Human Dynamics for Pedestrian Locomotion Forecasting with Noisy Supervision

abstract: We tackle the problem of Human Locomotion Forecasting, a task for jointly predicting the spatial positions of several keypoints on the human body in the near future under an egocentric setting. In contrast to the previous work that aims to solve either the task of pose prediction or trajectory forecasting in isolation, we propose a framework to unify the two problems and address the practically useful task of pedestrian locomotion prediction in the wild. Among the major challenges in solving this task is the scarcity of annotated egocentric video datasets with dense annotations for pose, depth, or egomotion. To surmount this difficulty, we use state-of-the-art models to generate (noisy) annotations and propose robust forecasting models that can learn from this noisy supervision. We present a method to disentangle the overall pedestrian motion into easier to learn subparts by utilizing a pose completion and a decomposition module. The completion module fills in the missing key-point annotations and the decomposition module breaks the cleaned locomotion down to global (trajectory) and local (pose keypoint movements). Further, with Quasi RNN as our backbone, we propose a novel hierarchical trajectory forecasting network that utilizes low-level vision domain specific signals like egomotion and depth to predict the global trajectory. Our method leads to state-of-the-art results for the prediction of human locomotion in the egocentric view. Project pade: https://karttikeya.github.io/publication/plf/


title: Well-Ordered "Ripple-Shaped" Microstructures of Mn Thin Films on GaAs Substrates

abstract: This study was aimed to investigate the thickness dependent morphological changes of Mn films deposited on GaAs substrates by thermal evaporation technique. Ni films were deposited under same conditions to perform comparative study of the morphological changes with respect to the Mn films. The scanning electron microscopy and atomic force microscopy studies revealed ripple-shaped structure of Mn film with good periodicity, while Ni film only exhibited small granules deposited throughout the surface. The influence of the thickness of the Mn film in producing the ripple structure was clearly observed. In addition, the annealing time was considered as the major parameter to control the ordering of the ripple structure. X-ray diffraction pattern indicated the formation of different phases of Ga-Mn and Mn-As due to diffusion of atoms during annealing. A model for the creation of stress-driven microstructure is proposed which indicates that Mn thin films grow on GaAs substrates in three stages: in the primary stage, the growth occurs via two-dimensional nucleation process; as the thickness increases, the stress is released by the film via creation of additional surface roughness which produce ripples; and finally an island-like growth occurs because of the non-uniform distribution of stress along the surface of the film.


title: Iterative unbiasing of quasi-equilibrium sampling

abstract: Atomistic modelling of phase transitions, chemical reactions, or other rare events that involve overcoming high free energy barriers usually entails prohibitively long simulation times. Introducing a bias potential as a function of an appropriately-chosen set of collective variables can significantly accelerate the exploration of phase space, albeit at the price of distorting the distribution of microstates. Efficient re-weighting to recover the unbiased distribution can be nontrivial when employing adaptive sampling techniques such as Metadynamics, Variationally Enhanced Sampling or Parallel Bias Metadynamics, in which the system evolves in a quasi-equilibrium manner under a time-dependent bias. We introduce an iterative unbiasing scheme that makes efficient use of all the trajectory data, and that does not require the distribution to be evaluated on a grid. The method can thus be used even when the bias has a high dimensionality. We benchmark this approach against some of the existing schemes, on models systems with different complexities and dimensionalities.


title: Human eye inspired log-polar pre-processing for neural networks

abstract: In this paper we draw inspiration from the human visual system, and present a bio-inspired pre-processing stage for neural networks. We implement this by applying a log-polar transformation as a pre-processing step, and to demonstrate, we have used a naive convolutional neural network (CNN). We demonstrate that a bio-inspired pre-processing stage can achieve rotation and scale robustness in CNNs. A key point in this paper is that the CNN does not need to be trained to identify rotation or scaling permutations; rather it is the log-polar pre-processing step that converts the image into a format that allows the CNN to handle rotation and scaling permutations. In addition we demonstrate how adding a log-polar transformation as a pre-processing step can reduce the image size to ~20\% of the Euclidean image size, without significantly compromising classification accuracy of the CNN. The pre-processing stage presented in this paper is modelled after the retina and therefore is only tested against an image dataset. Note: This paper has been submitted for SAUPEC/RobMech/PRASA 2020.


title: Dynamical freeze-out phenomena: The case of $K^\pm, \phi$ transverse momentum spectra in collisions of Au(1.23 A GeV) + Au

abstract: We argue on a continuous (dynamical) kinetic freeze-out of $K^\pm, \phi$ observed at midrapidity in collisions Au(1.23 A GeV) + Au. The simulations by means of a transport model of BUU type point to time independent transverse momentum slope parameters after 20 fm/c. The complex interplay of expansion dynamics and strangeness production/exchange/absorption as well as elastic scatterings involved in the reaction network does not support the previous interpretation of a late freeze-out of $K^-$ due to larger cross sections.


title: Application of Gaussian Process Regression to Koopman Mode Decomposition for Noisy Dynamic Data

abstract: Koopman Mode Decomposition (KMD) is a technique of nonlinear time-series analysis that originates from point spectrum of the Koopman operator defined for an underlying nonlinear dynamical system. We present a numerical algorithm of KMD based on Gaussian process regression that is capable of handling noisy finite-time data. The algorithm is applied to short-term swing dynamics of a multi-machine power grid in order to estimate oscillatory modes embedded in the dynamics, and thereby the effectiveness of the algorithm is evaluated.


title: Design and Experimental Performance of Local Entanglement Witness Operators

abstract: Entanglement is a central concept in quantum information and a key resource for many quantum protocols. In this work we propose and analyze a class of entanglement witnesses that detect the presence of entanglement in subsystems of experimental multi-qubit stabilizer states. The witnesses we propose can be decomposed into sums of Pauli operators and can be efficiently evaluated by either two measurement settings only or at most a number of measurements that only depends on the size of the subsystem of interest. We provide two constructive methods to design the local witness operators, the first one based on the local unitary equivalence between graph and stabilizer states, and the second one based on sufficient and necessary conditions that the respective set of constituent Pauli operators needs to fulfill. We theoretically establish the noise tolerance of the proposed witnesses and benchmark their practical performance by analyzing the local entanglement structure of an experimental seven-qubit quantum error correction code.


title: Minimum Cut in $O(m\log^2 n)$ Time

abstract: We give a randomized algorithm that finds a minimum cut in an undirected weighted $m$-edge $n$-vertex graph $G$ with high probability in $O(m \log^2 n)$ time. This is the first improvement to Karger's celebrated $O(m \log^3 n)$ time algorithm from 1996. Our main technical contribution is a deterministic $O(m \log n)$ time algorithm that, given a spanning tree $T$ of $G$, finds a minimum cut of $G$ that 2-respects (cuts two edges of) $T$.


title: Generalising KAT to verify weighted computations

abstract: Kleene algebra with tests (KAT) was introduced as an algebraic structure to model and reason about classic imperative programs, i.e. sequences of discrete transitions guarded by Boolean tests. This paper introduces two generalisations of this structure able to express programs as weighted transitions and tests with outcomes in non necessarily bivalent truth spaces: graded Kleene algebra with tests (GKAT) and a variant where tests are also idempotent (I-GKAT). On this context, and in analogy to Kozen's encoding of Propositional Hoare Logic (PHL) in KAT [22], we discuss the encoding of a graded PHL in I-GKAT and of its while-free fragment in GKAT. Moreover, to establish semantics for these structures four new algebras are defined: FSET(T), FREL(K,T) and FLANG(K,T) over complete residuated lattices K and T, and M(n,A) over a GKAT or I-GKAT A. As a final exercise, the paper discusses some program equivalence proofs in a graded context.


title: Ultrafast demagnetization dynamics in Ni: role of electron correlations

abstract: Experimental observations of the ultrafast (less than 50 fs) demagnetization of Ni have so far defied theoretical explanations particularly since its spin-flipping time is much less than that resulting from spin-orbit and electron-lattice interactions. Through the application of an approach that benefits from spin-flip time-dependent density-functional theory and dynamical mean-field theory, we show that proper inclusion of electron correlations and memory (time-dependence of electron-electron interaction) effects leads to demagnetization at the femtosecond scale, in good agreement with experimental observations. Furthermore, our calculations reveal that this ultrafast demagnetization results mainly from spin-flip transitions from occupied to unoccupied orbitals implying a dynamical reduction of exchange splitting. These conclusions are found to be valid for a wide range of laser pulse amplitudes. They also pave the way for ab initio investigations of ultrafast charge and spin dynamics in a variety of quantum materials in which electron correlations may play a definitive role.


title: Validation and noise robustness assessment of microscopic anisotropy estimation with clinically feasible double diffusion encoding MRI

abstract: Purpose: Double diffusion encoding (DDE) MRI enables the estimation of microscopic diffusion anisotropy, yielding valuable information on tissue microstructure. A recent study proposed that the acquisition of rotationally invariant DDE metrics, typically obtained using a spherical "5-design", could be greatly simplified by assuming Gaussian diffusion, facilitating reduced acquisition times that are more compatible with clinical settings. Here, we aim to validate the new minimal acquisition scheme against the standard DDE 5-design, and to quantify the proposed method's noise robustness to facilitate future clinical use. Methods: DDE MRI experiments were performed on both ex vivo and in vivo rat brains at 9.4 T using the 5-design and the proposed minimal design and taking into account the difference in the number of acquisitions. The ensuing microscopic fractional anisotropy ({\mu}FA) maps were compared over a range of b-values up to 5000 s/mm2. Noise robustness was studied using analytical calculations and numerical simulations. Results: The minimal protocol quantified {\mu}FA at an accuracy comparable to the estimates obtained via the more theoretically robust DDE 5-design. {\mu}FA's sensitivity to noise was found to strongly depend on compartment anisotropy and tensor magnitude in a non-linear fashion. When {\mu}FA < 0.75 or when mean diffusivity is particularly low, very high signal to noise ratio (SNR) is required for precise quantification of {\mu}FA. Conclusion: Our work supports using DDE for quantifying microscopic diffusion anisotropy in clinical settings but raises hitherto overlooked precision issues when measuring {\mu}FA with DDE and typical clinical SNR.


title: LapNet : Automatic Balanced Loss and Optimal Assignment for Real-Time Dense Object Detection

abstract: Real-time single-stage object detectors based on deep learning still remain less accurate than more complex ones. The trade-off between model performance and computational speed is a major challenge. In this paper, we propose a new way to efficiently learn a single-shot detector which offers a very good compromise between these two objectives. To this end, we introduce LapNet, an anchor based detector, trained end-to-end without any sampling strategy. Our approach aims to overcome two important problems encountered in training an anchor based detector: (1) ambiguity in the assignment of anchor to ground truth and (2) class and object size imbalance. To address the first limitation, we propose a soft positive/negative anchor assignment procedure based on a new overlapping function called "Per-Object Normalized Overlap" (PONO). This soft assignment can be self-corrected by the network itself to avoid ambiguity between close objects. To cope with the second limitation, we propose to learn additional weights, that are not used at inference, to efficiently manage sample imbalance. These two contributions make the detector learning more generic whatever the training dataset. Various experiments show the effectiveness of the proposed approach.


title: Quantum corrections to minimal surfaces with mixed three-form flux

abstract: We obtain the ratio of semiclassical partition functions for the extension under mixed flux of the minimal surfaces subtending a circumference and a line in Euclidean $AdS_{3}\times S^{3}\times T^{4}$. We reduce the problem to the computation of a set of functional determinants. If the Ramond-Ramond flux does not vanish, we find that the contribution of the $B$-field is comprised in the conformal anomaly. In this case, we successively apply the Gel'fand-Yaglom method and the Abel-Plana formula to the flat-measure determinants. To cancel the resultant infrared divergences, we shift the regularization of the sum over half-integers depending on whether it corresponds to massive or massless fermionic modes. We show that the result is compatible with the zeta-function regularization approach. In the limit of pure Neveu-Schwarz-Neveu-Schwarz flux we argue that the computation trivializes. We extend the reasoning to other surfaces with the same behavior in this regime.


title: Successive shortest paths in complete graphs with random edge weights

abstract: Consider a complete graph $K_n$ with edge weights drawn independently from a uniform distribution $U(0,1)$. The weight of the shortest (minimum-weight) path $P_1$ between two given vertices is known to be $\ln n / n$, asymptotically. Define a second-shortest path $P_2$ to be the shortest path edge-disjoint from $P_1$, and consider more generally the shortest path $P_k$ edge-disjoint from all earlier paths. We show that the cost $X_k$ of $P_k$ converges in probability to $2k/n+\ln n/n$ uniformly for all $k \leq n-1$. We show analogous results when the edge weights are drawn from an exponential distribution. The same results characterise the collectively cheapest $k$ edge-disjoint paths, i.e., a minimum-cost $k$-flow. We also obtain the expectation of $X_k$ conditioned on the existence of $P_k$.


title: Quark number scaling of $p_{T}$ spectra for $\Omega$ and $\phi$ in relativistic heavy-ion collisions

abstract: We show that the experimental data of transverse momentum ($p_{T}$) spectra of $\Omega$ baryon and $\phi$ meson at mid-rapidity in heavy-ion collisions exhibit the constituent quark number scaling in a wide energy range from RHIC to LHC. Such a scaling behavior is a direct consequence of quark combination mechanism via equal velocity combination and provides a very convenient way to extract the $p_{T}$ spectrum of strange quarks at hadronization. We present the results of strange quarks obtained from the available data and study the properties in particular the energy dependence of the averaged transverse momentum $\langle p_{T}\rangle$ and the transverse radial flow velocity $\langle\beta\rangle$ with a hydrodynamics-motivated blast-wave model.


title: Fast Reliability Ranking of Matchstick Minimal Networks

abstract: In this article, we take a closer look at the reliability of large minimal networks constructed by repeated compositions of the simplest possible networks. For a given number of devices $n=2^m$ we define the set of all the possible compositions of series and parallel networks of two devices. We then define several partial orders over this set and study their properties. As far as we know the ranking problem has not been addressed before in this context, and this article establishes the first results in this direction. The usual approach when dealing with reliability of two-terminal networks is to determine existence or non-existence of uniformly most reliable networks. The problem of ranking two-terminal networks is thus more complex, but by restricting our study to the set of compositions we manage to determine and demonstrate the existence of a poset.


title: Molecular Communication with Anomalous Diffusion in Stochastic Nanonetworks

abstract: Molecular communication in nature can incorporate a large number of nano-things in nanonetworks as well as demonstrate how nano-things communicate. This paper presents molecular communication where transmit nanomachines deliver information molecules to a receive nanomachine over an anomalous diffusion channel. By considering a random molecule concentration in a space-time fractional diffusion channel, an analytical expression is derived for the first passage time (FPT) of the molecules. Then, the bit error rate of the lth nearest molecular communication with timing binary modulation is derived in terms of Fox's H-function. In the presence of interfering molecules, the mean and variance of the number of the arrived interfering molecules in a given time interval are presented. Using these statistics, a simple mitigation scheme for timing modulation is provided. The results in this paper provide the network performance on the error probability by averaging over a set of random distances between the communicating links as well as a set of random FPTs caused by the anomalous diffusion of molecules. This result will help in designing and developing molecular communication systems for various design purposes.


title: Learning based Methods for Code Runtime Complexity Prediction

abstract: Predicting the runtime complexity of a programming code is an arduous task. In fact, even for humans, it requires a subtle analysis and comprehensive knowledge of algorithms to predict time complexity with high fidelity, given any code. As per Turing's Halting problem proof, estimating code complexity is mathematically impossible. Nevertheless, an approximate solution to such a task can help developers to get real-time feedback for the efficiency of their code. In this work, we model this problem as a machine learning task and check its feasibility with thorough analysis. Due to the lack of any open source dataset for this task, we propose our own annotated dataset CoRCoD: Code Runtime Complexity Dataset, extracted from online judges. We establish baselines using two different approaches: feature engineering and code embeddings, to achieve state of the art results and compare their performances. Such solutions can be widely useful in potential applications like automatically grading coding assignments, IDE-integrated tools for static code analysis, and others.


title: AAAI FSS-19: Artificial Intelligence in Government and Public Sector Proceedings

abstract: Proceedings of the AAAI Fall Symposium on Artificial Intelligence in Government and Public Sector, Arlington, Virginia, USA, November 7-8, 2019


title: REMI: Mining Intuitive Referring Expressions on Knowledge Bases

abstract: A referring expression (RE) is a description that identifies a set of instances unambiguously. Mining REs from data finds applications in natural language generation, algorithmic journalism, and data maintenance. Since there may exist multiple REs for a given set of entities, it is common to focus on the most intuitive ones, i.e., the most concise and informative. In this paper we present REMI, a system that can mine intuitive REs on large RDF knowledge bases. Our experimental evaluation shows that REMI finds REs deemed intuitive by users. Moreover we show that REMI is several orders of magnitude faster than an approach based on inductive logic programming.


title: An Affective Situation Labeling System from Psychological Behaviors in Emotion Recognition

abstract: This paper presents a computational framework for providing affective labels to real-life situations, called A-Situ. We first define an affective situation, as a specific arrangement of affective entities relevant to emotion elicitation in a situation. Then, the affective situation is represented as a set of labels in the valence-arousal emotion space. Based on physiological behaviors in response to a situation, the proposed framework quantifies the expected emotion evoked by the interaction with a stimulus event. The accumulated result in a spatiotemporal situation is represented as a polynomial curve called the affective curve, which bridges the semantic gap between cognitive and affective perception in real-world situations. We show the efficacy of the curve for reliable emotion labeling in real-world experiments, respectively concerning 1) a comparison between the results from our system and existing explicit assessments for measuring emotion, 2) physiological distinctiveness in emotional states, and 3) physiological characteristics correlated to continuous labels. The efficiency of affective curves to discriminate emotional states is evaluated through subject-dependent classification performance using bicoherence features to represent discrete affective states in the valence-arousal space. Furthermore, electroencephalography-based statistical analysis revealed the physiological correlates of the affective curves.


title: Evaluation of time-dependent correlators after a local quench in iPEPS: hole motion in the t-J model

abstract: Infinite projected entangled pair states (iPEPS) provide a convenient variational description of infinite, translationally-invariant two-dimensional quantum states. However, the simulation of local excitations is not directly possible due to the translationally-invariant ansatz. Furthermore, as iPEPS are either identical or orthogonal, expectation values between different states as required during the evaluation of non-equal-time correlators are ill-defined. Here, we show that by introducing auxiliary states on each site, it becomes possible to simulate both local excitations and evaluate non-equal-time correlators in an iPEPS setting under real-time evolution. We showcase the method by simulating the t-J model after a single hole has been placed in the half-filled antiferromagnetic background and evaluating both return probabilities and spin correlation functions, as accessible in quantum gas microscopes.


title: Topological state engineering via supersymmetric transformations

abstract: The quest to explore new techniques for the manipulation of topological states simultaneously promotes a deeper understanding of topological physics, and is essential in identifying new ways to harness their unique features. Here, we examine the potential of supersymmetric (SUSY) transformations to systematically address, alter and reconfigure the topological properties of a system. To this end, we theoretically and experimentally study the changes that topologically protected states in photonic lattices undergo as SUSY transformations are applied to their host system. In particular, we show how SUSY-induced phase transitions can selectively suspend and re-establish topological protection of specific states. Furthermore, we reveal how understanding the interplay between internal symmetries and the symmetry constraints of supersymmetric transformations provides a roadmap to directly access the desirable topological properties of a system. Our findings pave the way for establishing SUSY-inspired techniques as a powerful and versatile tool for topological state engineering.


title: An interacting conformal chiral 2-form electrodynamics in six dimensions

abstract: The strong-field limit for the 2-form potential on an M5-brane yields a conformal chiral 2-form electrodynamics in six dimensions, with gauge-invariant self-interactions but no adjustable coupling constant; the stress tensor is that of a null fluid. Lorentz invariance can be made manifest via an interpretation as a tensionless `space-filling M5-brane', or as a truncation of the infra-red dynamics of an M5-brane in AdS7 x S4.


title: Modeling and Performance Analysis in Cache-enabled Millimeter Wave HetNets with Access and Backhaul Integration

abstract: Recently, a mmWave-based access and backhaul integration HetNetsarchitecture (mABHetNets) has been envisioned to provide the high link capacity in both access and backhaul links. In mABHetNets, the access link and the backhaul link will share the same mm-wave spectral resources to serve cellular users as well as to maintain the backhaul capacity of the SBSs. However, a large spectrum bandwidth are occupied by the backhaul link to maintain the backhaul link capacity. Up to 50\% mmWave spectrum resource will be used in backhaul link to satisfy the high speed data traffic. Such "\emph{spectrum occupation}" of backhaul link has restricted network performance to achieve a better possible improvement. To overcome spectrum occupation problem in the existing mABHetNets, involving caches in the mABHetNets brings a opportunity. When the backhaul traffic is offloaded by caching popular fils in the SBSs and the corresponding mmWave spectrum can be transfered to the access link by the bandwidth partition. Then with more spectrum for access link, both the network throughout and the coverage ability are increased significantly. However, the caching power consumption will be increased and the EE will be decreased. Therefore, we analyze the througput and EE in mABHetNets by stochastic geometry tool. Extensive numerical and simulations results are carried out to validate our work.


title: Molecular Communication in H-Diffusion

abstract: The random propagation of molecules in a fluid medium is characterized by the spontaneous diffusion law as well as the interaction between the environment and molecules. In this paper, we embody the anomalous diffusion theory for modeling and analysis in molecular communication. We employ H-diffusion to model a non-Fickian behavior of molecules in diffusive channels. H-diffusion enables us to model anomalous diffusion as the subordinate relationship between self-similar parent and directing processes and their corresponding probability density functions with two H-variates in a unified fashion. In addition, we introduce standard H-diffusion to make a bridge of normal diffusion across well-known anomalous diffusions such as space-time fractional diffusion, Erdelyi-Kober fractional diffusion, grey Brownian motion, fractional Brownian motion, and Brownian motion. We then characterize the statistical properties of uncertainty of the random propagation time of a molecule governed by H-diffusion laws by introducing a general class of molecular noise---called H-noise. Since H-noise can be an algebraic tailed process, we provide a concept of H-noise power using finite logarithm moments based on zero-order statistics. Finally, we develop a unifying framework for error probability analysis in a timing-based molecular communication system with a concept of signal-to-noise power ratio.


title: Possible observational signatures of SMBHBs in their Fe K$\alpha$ line profiles

abstract: Here we study the potential observational signatures of supermassive black hole binaries (SMBHBs) in the Fe K$\alpha$ line profiles emitted from the accretion disks around their components. We simulated the Fe K$\alpha$ line emission from the relativistic accretion disks using ray tracing method in Kerr metric. The obtained profiles from the SMBHBs are then compared with those in the case of the single supermassive black holes (SMBHs). We considered two models of the SMBHBs: a model when the secondary SMBH is embedded in the accretion disk around the primary, causing an empty gap in the disk, and a model with clearly separated components, where the accretion disks around both primary and secondary give a significant contribution to the composite Fe K$\alpha$ line emission of a such SMBHB. The obtained results showed that both models of SMBHBs can leave imprints in the form of ripples in the cores of the emitted Fe K$\alpha$ line profiles, which may look like an absorption component in the line profile. However, in the case of the composite line profiles emitted from two accretion disks, these ripples could have much higher amplitudes and strongly depend on orbital phase of the system, while for those emitted from a disk with an empty gap, the corresponding ripples mostly have lower amplitudes and do not vary significantly with orbital phase. The present day X-ray telescopes are not able to detect such signatures in the observed X-ray spectra of SMBHBs. However this will be possible with the next generation of X-ray observatories, which will also enable application of such effects as a tool for studying the properties of these objects.


title: A Comprehensive Study on Pedestrians' Evacuation

abstract: Human beings face threats because of unexpected happenings, which can be avoided through an adequate crisis evacuation plan, which is vital to stop wound and demise as its negative results. Consequently, different typical evacuation pedestrians have been created. Moreover, through applied research, these models for various applications, reproductions, and conditions have been examined to present an operational model. Furthermore, new models have been developed to cooperate with system evacuation in residential places in case of unexpected events. This research has taken into account an inclusive and a 'systematic survey of pedestrian evacuation' to demonstrate models methods by focusing on the applications' features, techniques, implications, and after that gather them under various types, for example, classical models, hybridized models, and generic model. The current analysis assists scholars in this field of study to write their forthcoming papers about it, which can suggest a novel structure to recent typical intelligent reproduction with novel features.


title: Abstractions and automated algorithms for mixed domain finite element methods

abstract: Mixed dimensional partial differential equations (PDEs) are equations coupling unknown fields defined over domains of differing topological dimension. Such equations naturally arise in a wide range of scientific fields including geology, physiology, biology and fracture mechanics. Mixed dimensional PDEs are also commonly encountered when imposing non-standard conditions over a subspace of lower dimension e.g. through a Lagrange multiplier. In this paper, we present general abstractions and algorithms for finite element discretizations of mixed domain and mixed dimensional PDEs of co-dimension up to one (i.e. nD-mD with |n-m| <= 1). We introduce high level mathematical software abstractions together with lower level algorithms for expressing and efficiently solving such coupled systems. The concepts introduced here have also been implemented in the context of the FEniCS finite element software. We illustrate the new features through a range of examples, including a constrained Poisson problem, a set of Stokes-type flow models and a model for ionic electrodiffusion.


title: HARQ-CC Enabled NOMA Designs With Outage Probability Constraints

abstract: In this paper, we aim to design an adaptive power allocation scheme to minimize the average transmit power of a hybrid automatic repeat request with chase combining (HARQ-CC) enabled non-orthogonal multiple access (NOMA) system under strict outage constraints of users. Specifically, we assume the base station only knows the statistical channel state information of the users. We first focus on the two-user cases. To evaluate the performance of the two-user HARQ-CC enabled NOMA systems, we first analyze the outage probability of each user. Then, an average power minimization problem is formulated. However, the attained expressions of the outage probabilities are nonconvex, and thus make the problem difficult to solve. Thus, we first conservatively approximate it by a tractable one and then use a successive convex approximation based algorithm to handle the relaxed problem iteratively. For more practical applications, we also investigate the HARQ-CC enabled transmissions in multi-user scenarios. The user-paring and power allocation problem is considered. With the aid of matching theory, a low complexity algorithm is presented to first handle the user-paring problem. Then the power allocation problem is solved by the proposed SCA-based algorithm. Simulation results show the efficiency of the proposed transmission strategy and the near-optimality of the proposed algorithms.


title: Photovoltaic effect generated by spin-orbit interactions

abstract: An AC electric field applied to a junction comprising two spin-orbit coupled weak links connecting a quantum dot to two electronic terminals is proposed to induce a DC current and to generate a voltage drop over the junction if it is a part of an open circuit. This photovoltaic effect requires a junction in which mirror reflection-symmetry is broken. Its origin lies in the different fashion inelastic processes modify the reflection of electrons from the junction back into the two terminals, which leads to uncompensated DC transport. The effect can be detected by measuring the voltage drop that is built up due to that DC current. This voltage is an even function of the frequency of the AC electric field and is {\em not} related to quantum pumping.


title: Optimal Adaptive Detection of Monotone Patterns

abstract: We investigate adaptive sublinear algorithms for detecting monotone patterns in an array. Given fixed $2 \leq k \in \mathbb{N}$ and $\varepsilon > 0$, consider the problem of finding a length-$k$ increasing subsequence in an array $f \colon [n] \to \mathbb{R}$, provided that $f$ is $\varepsilon$-far from free of such subsequences. Recently, it was shown that the non-adaptive query complexity of the above task is $\Theta((\log n)^{\lfloor \log_2 k \rfloor})$. In this work, we break the non-adaptive lower bound, presenting an adaptive algorithm for this problem which makes $O(\log n)$ queries. This is optimal, matching the classical $\Omega(\log n)$ adaptive lower bound by Fischer [2004] for monotonicity testing (which corresponds to the case $k=2$), and implying in particular that the query complexity of testing whether the longest increasing subsequence (LIS) has constant length is $\Theta(\log n)$.


title: On the systole growth in congruence quaternionic hyperbolic manifolds

abstract: We provide an explicit lower bound for the sytole in principal congruence covers of compact quaternionic hyperbolic manifolds. We also prove the optimality of this lower bound.


title: Nucleation of crystal surfaces with corner energy regularization

abstract: The thermodynamics of strongly anisotropic crystalline surfaces is analogous to that of a binary mixture exhibiting phase separation. On a metastable planar surface, formation of stable orientations requires a nucleation process, in which the energy associated with the presence of corners must be considered. In this context, a nucleation event corresponds to the formation of a critical shape for the crystalline surface before the system enters the growth regime. We first derive the Euler-Lagrange equation for crystal surface nucleation, in two dimensions, and show that the saddle-point condition corresponds to a vanishing chemical potential along this critical surface. We then perform numerical simulation of the equation of motion for the crystal surface and show that, as compared with saddle point nucleation, ridge crossing is dynamically favoured.


title: Fast-UAP: An Algorithm for Speeding up Universal Adversarial Perturbation Generation with Orientation of Perturbation Vectors

abstract: Convolutional neural networks (CNN) have become one of the most popular machine learning tools and are being applied in various tasks, however, CNN models are vulnerable to universal perturbations, which are usually human-imperceptible but can cause natural images to be misclassified with high probability. One of the state-of-the-art algorithms to generate universal perturbations is known as UAP. UAP only aggregates the minimal perturbations in every iteration, which will lead to generated universal perturbation whose magnitude cannot rise up efficiently and cause a slow generation. In this paper, we proposed an optimized algorithm to improve the performance of crafting universal perturbations based on orientation of perturbation vectors. At each iteration, instead of choosing minimal perturbation vector with respect to each image, we aggregate the current instance of universal perturbation with the perturbation which has similar orientation to the former so that the magnitude of the aggregation will rise up as large as possible at every iteration. The experiment results show that we get universal perturbations in a shorter time and with a smaller number of training images. Furthermore, we observe in experiments that universal perturbations generated by our proposed algorithm have an average increment of fooling rate by 9% in white-box attacks and black-box attacks comparing with universal perturbations generated by UAP.


title: DFT+U Investigation of magnetocrystalline anisotropy of Mn-doped transition-metal dichalcogenides monolayers

abstract: Doped transition-metal dichalcogenides monolayers exhibit exciting magnetic properties for the benefit of two-dimensional spintronic devices. Using density functional theory (DFT) incorporating Hubbard-type of correction (DFT$+U$) to account for the electronic correlation, we study the magnetocrystalline anisotropy energy (MAE) characterizing Mn-doped MS$_2$ (M=Mo, W) monolayers. A single isolated Mn dopant exhibits a large perpendicular magnetic anisotropy of 35 meV (8 meV) in the case of Mn-doped WS$_2$ (MoS$_2$) monolayer. This value originates from the Mn in-plane orbitals degeneracy lifting due to the spin-orbit coupling. In pairwise doping, the magnetization easy axis changes to the in-plane direction with a weak MAE compared to single Mn doping. Our results suggest that diluted Mn-doped MS$_2$ monolayers, where the Mn dopants are well separated, could potentially be a candidate for the realization of ultimate nanomagnet units.


title: Generalized Method of Moments Estimation for Stochastic Models of DNA Methylation Patterns

abstract: With recent advances in sequencing technologies, large amounts of epigenomic data have become available and computational methods are contributing significantly to the progress of epigenetic research. As an orthogonal approach to methods based on machine learning, mechanistic modeling aims at a description of the mechanisms underlying epigenetic changes. Here, we propose an efficient method for parameter estimation for stochastic models that describe the dynamics of DNA methylation patterns over time. Our method is based on the Generalized Method of Moments (GMM) and gives results with an accuracy similar to that of maximum likelihood-based estimation approaches. However, in contrast to the latter, the GMM still allows an efficient and accurate calibration of parameters even if the complexity of the model is increased by considering longer methylation patterns. We show the usefulness of our method by applying it to hairpin bisulfite sequencing data from mouse ESCs for varying pattern lengths.


title: The Hadamard product and recursively defined sequences

abstract: In this paper the approach to obtaining nonrecurrent formulas for some recursively defined sequences is illustrated. The most interesting result in the paper is the formula for the solution of quadratic map-like recurrence. Also, some formulas for the solutions of linear difference equations with variable coefficients are obtained. At the end of the paper, some integer sequences associated with a quadratic map are considered.


title: Uncertainty principle in quantum mechanics with Newton's gravity

abstract: A new derivation is given of the known generalized position-momentum uncertainty relation, which takes into account gravity. The problem of two massive particles, the relative motion of which is described by the Schroedinger equation, is considered. The potential energy is defined as a sum of `standard' non-gravitational term and the second one, which corresponds to gravitational attraction of particles as in Newton's theory of gravity. The Green's function method is applied to solve the Schroedinger equation. It is assumed that the solution of the problem in the case, when the gravitational interaction is turned off, is known. Gravity is taken into account in linear approximation with respect to the gravitational coupling constant made dimensionless. Dimensional coefficients at additional squares of mean-square deviations of position and momentum are written explicitly. The minimum length, determined as minimal admissible distance between two quantum particles, and the minimum momentum appear to be depending on the energy of particles' relative motion. The theory allows one to present the generalized position-momentum uncertainty relation in a new compact form.


title: Strange nucleon form factors and isoscalar charges with $N_f=2+1$ $\mathcal{O}(a)$-improved Wilson fermions

abstract: We report on our calculation of the strange contribution to the vector and axial vector form factors. The strange charge radii, magnetic moment, and axial charge are extracted by model independent $z$-expansion fits to the $Q^2$-dependence of the respective form factors. Furthermore, the isoscalar contribution to the axial and tensor charge is investigated by combining the calculation of connected and disconnected diagrams. The required renormalization is performed with the Rome-Southampton method. We make use of the CLS $N_f=2+1$ $\mathcal{O}(a)$-improved Wilson fermion ensembles. Results are reported for pion masses in the range $m_\pi=200-360\,\text{MeV}$ and lattice spacings $a=0.05-0.086\,\text{fm}$.


title: Field of View Extension in Computed Tomography Using Deep Learning Prior

abstract: In computed tomography (CT), data truncation is a common problem. Images reconstructed by the standard filtered back-projection algorithm from truncated data suffer from cupping artifacts inside the field-of-view (FOV), while anatomical structures are severely distorted or missing outside the FOV. Deep learning, particularly the U-Net, has been applied to extend the FOV as a post-processing method. Since image-to-image prediction neglects the data fidelity to measured projection data, incorrect structures, even inside the FOV, might be reconstructed by such an approach. Therefore, generating reconstructed images directly from a post-processing neural network is inadequate. In this work, we propose a data consistent reconstruction method, which utilizes deep learning reconstruction as prior for extrapolating truncated projections and a conventional iterative reconstruction to constrain the reconstruction consistent to measured raw data. Its efficacy is demonstrated in our study, achieving small average root-mean-square error of 24 HU inside the FOV and a high structure similarity index of 0.993 for the whole body area on a test patient's CT data.


title: Fast Safety Assessment and Correction Framework for Maintenance Work Zones

abstract: A framework is proposed to assess the safety of maintenance work zones in a timely manner, show whether there are safety hazards, whether adjustments need to be made and how to adjust it. By means of advanced data acquisition technologies such as multi video detection and portable device based naturalistic driving, the microscopic vehicle behaviour data can be collected. Based on this data, a method for expressing and displaying the distribution of unsafe vehicle behaviour is used to show whether safety hazards exist. Using Vissim, the impacts of the length and speed limit of the warning area, the length and type of the upstream transition area and the length of the work area of the maintenance work zone on the distribution of unsafe vehicle behaviour are simulated to establish the safety correction matrix, which can tell maintenance departments the direction of adjustment when safety hazards exist in maintenance work zones.


title: Classical Superintegrable Systems in a Magnetic Field that Separate in Cartesian Coordinates

abstract: We consider superintegrability in classical mechanics in the presence of magnetic fields. We focus on three-dimensional systems which are separable in Cartesian coordinates. We construct all possible minimally and maximally superintegrable systems in this class with additional integrals quadratic in the momenta. Together with the results of our previous paper [J. Phys. A: Math. Theor. 50 (2017), 245202, 24 pages], where one of the additional integrals was by assumption linear, we conclude the classification of three-dimensional quadratically minimally and maximally superintegrable systems separable in Cartesian coordinates. We also describe two particular methods for constructing superintegrable systems with higher-order integrals.


title: Global $F$-splitting of surfaces admitting an int-amplified endomorphim

abstract: In this paper, we study the global $F$-splitting of varieties admitting an int-amplified endomoprhism. We prove that surfaces admitting an int-amplified endomorphism are of dense globally $F$-split type and, in particular, of Calabi-Yau type.


title: Voice Biometrics Security: Extrapolating False Alarm Rate via Hierarchical Bayesian Modeling of Speaker Verification Scores

abstract: How secure automatic speaker verification (ASV) technology is? More concretely, given a specific target speaker, how likely is it to find another person who gets falsely accepted as that target? This question may be addressed empirically by studying naturally confusable pairs of speakers within a large enough corpus. To this end, one might expect to find at least some speaker pairs that are indistinguishable from each other in terms of ASV. To a certain extent, such aim is mirrored in the standardized ASV evaluation benchmarks. However, the number of speakers in such evaluation benchmarks represents only a small fraction of all possible human voices, making it challenging to extrapolate performance beyond a given corpus. Furthermore, the impostors used in performance evaluation are usually selected randomly. A potentially more meaningful definition of an impostor - at least in the context of security-driven ASV applications - would be closest (most confusable) other speaker to a given target. We put forward a novel performance assessment framework to address both the inadequacy of the random-impostor evaluation model and the size limitation of evaluation corpora by addressing ASV security against closest impostors on arbitrarily large datasets. The framework allows one to make a prediction of the safety of given ASV technology, in its current state, for arbitrarily large speaker database size consisting of virtual (sampled) speakers. As a proof-of-concept, we analyze the performance of two state-of-the-art ASV systems, based on i-vector and x-vector speaker embeddings (as implemented in the popular Kaldi toolkit), on the recent VoxCeleb 1 & 2 corpora. We found that neither the i-vector or x-vector system is immune to increased false alarm rate at increased impostor database size.


title: Blow up of fractional Schr\"odinger equations on manifolds with nonnegative Ricci curvature

abstract: In this paper, the well-posedness of Cauchy's problem of fractional Schr\"odinger equations with a power type nonlinearity on $n$-dimensional manifolds with nonnegative Ricci curvature is studied. Under suitable volume conditions, the local solution with initial data in $H^{[\frac{n}{2}]+1}$ will blow up in finite time no matter how small the initial data is, which follows from a new weight function and ODE inequalities. Moreover, the upper-bound of the lifespan can be estimated.


title: Diagonalizability of quantum Markov States on trees

abstract: We introduce quantum Markov states (QMS) in a general tree graph $G= (V, E)$, extending the Cayley tree's case. We investigate the Markov property w.r.t. the finer structure of the considered tree. The main result of this paper concerns the diagonalizability of a locally faithful QMS $\varphi$ on a UHF-algebra $\mathcal A_V$ over the considered tree by means of a suitable conditional expectation into a maximal abelian subalgebra. Namely, we prove the existence of a Umegaki conditional expectation $\mathfrak E : \mathcal A_V \to \mathcal D_V$ such that $$\varphi = \varphi_{\lceil \mathcal D_V}\circ \mathfrak E.$$ Moreover, we clarify the Markovian structure of the associated classical measure on the spectrum of the diagonal algebra $\mathcal D_V$.


title: Compiling Arguments in an Argumentation Framework into Three-valued Logical Expressions

abstract: In this paper, we propose a new method for computing general allocators directly from completeness conditions. A general allocator is an abstraction of all complete labelings for an argumentation framework. Any complete labeling is obtained from a general allocator by assigning logical constants to variables. We proved the existence of the general allocators in our previous work. However, the construction requires us to enumerate all complete labelings for the framework, which makes the computation prohibitively slow. The method proposed in this paper enables us to compute general allocators without enumerating complete labelings. It also provides the solutions of local allocation that yield semantics for subsets of the framework. We demonstrate two applications of general allocators, stability, and a new concept for frameworks, termed arity. Moreover, the method, including local allocation, is applicable to broad extensions of frameworks, such as argumentation frameworks with set-attacks, bipolar argumentation frameworks, and abstract dialectical frameworks.


title: Mean convex mean curvature flow with free boundary

abstract: In this paper, we generalize White's regularity and structure theory for mean-convex mean curvature flow to the setting with free boundary. A major new challenge in the free boundary setting is to derive an a priori bound for the ratio between the norm of the second fundamental form and the mean curvature. We establish such a bound via the maximum principle for a triple-approximation scheme, which combines ideas from Edelen, Haslhofer-Hershkovits, and Volkmann. Other important new ingredients are a Bernstein-type theorem and a sheeting theorem for low entropy free boundary flows in a halfslab, which allow us to rule out multiplicity 2 (half-)planes as possible tangent flows and, for mean convex domains, as possible limit flows.


title: Integrated table-top facility for the study of Whispering Gallery Modes in dynamic liquid micro-cavities coupled to sub-micron tapered fibers

abstract: A complete integrated table-top facility for the study of high-$Q$ Whispering Gallery Modes in solid and liquid micro-cavities is described, with emphasis on the in situ fabrication of reliable tapered fibers of sub-micron waist sizes for coupling light into time-dependent liquid micro-cavities. The experimental parameters have been chosen to get nearly adiabatic tapers, with their waist size consistent with the theoretical model. The oscillations in the transmitted power during fiber tapering are monitored to check the coupling of higher order modes and identify the point when the fiber is suitable for pure single mode coupling. The fabricated tapered fibers have greater than 85% transmission on the average and very good polarization fidelity. The tapered fibers have been used for efficiently exciting and detecting WGMs of $Q\sim10^7$ in silica microspheres and of $Q$ up to $7\times10^7$ in microdrops of silicone oils.


title: Analysing Coreference in Transformer Outputs

abstract: We analyse coreference phenomena in three neural machine translation systems trained with different data settings with or without access to explicit intra- and cross-sentential anaphoric information. We compare system performance on two different genres: news and TED talks. To do this, we manually annotate (the possibly incorrect) coreference chains in the MT outputs and evaluate the coreference chain translations. We define an error typology that aims to go further than pronoun translation adequacy and includes types such as incorrect word selection or missing words. The features of coreference chains in automatic translations are also compared to those of the source texts and human translations. The analysis shows stronger potential translationese effects in machine translated outputs than in human translations.


title: Gysin Restriction of Topological and Hodge-Theoretic Characteristic Classes for Singular Spaces

abstract: We establish formulae that explain how the topological Goresky-MacPherson characteristic L-classes as well as the Hodge-theoretic Hirzebruch characteristic classes defined by Brasselet, Sch\"urmann and Yokura transform under Gysin restrictions associated to normally nonsingular embeddings of singular spaces. We find that both types of classes transform in the same manner. We give a first application of these formulae in obtaining algebraic rigidity results for topologically homeomorphic projective varieties.


title: Improvements for drift-diffusion plasma fluid models with explicit time integration

abstract: Drift-diffusion plasma fluid models are commonly used to simulate electric discharges. Such models can computationally be very efficient if they are combined with explicit time integration. This paper deals with two issues that often arise with such models. First, a high plasma conductivity can severely limit the time step. A fully explicit method to overcome this limitation is presented. This method is compared to the existing semi-implicit method, and it is shown to have several advantages. A second issue is specific to models with the local field approximation. Near strong density and electric field gradients, electrons can diffuse parallel to the field, and unphysically generate ionization. Existing and new approaches to correct this behavior are compared. Details on the implementation of the models and the various approaches are provided.


title: The Effect of Clouds as an Additional Opacity Source on the Inferred Metallicity of Giant Exoplanets

abstract: Atmospheres regulate the planetary heat loss and therefore influence planetary thermal evolution. Uncertainty in a giant planet's thermal state contributes to the uncertainty in the inferred abundance of heavy elements it contains. Within an analytic atmosphere model, we here investigate the influence that different cloud opacities and cloud depths can have on the metallicity of irradiated extrasolar gas giants, which is inferred from interior models. In this work, the link between inferred metallicity and assumed cloud properties is the thermal profile of atmosphere and interior. Therefore, we perform coupled atmosphere, interior, and evolution calculations. The atmosphere model includes clouds in a much simplified manner; it includes long-wave absorption but neglects shortwave scattering. Within that model, we show that optically thick, high clouds have negligible influence, whereas deep-seated, optically very thick clouds can lead to warmer deep tropospheres and therefore higher bulk heavy element mass estimates. For the young hot Jupiter WASP-10b, we find a possible enhancement in inferred metallicity of up to 10% due to possible silicate clouds at $\sim$0.3 bar. For WASP-39b, whose observationally derived metallicity is higher than predicted by cloudless models, we find an enhancement by at most 50%. However, further work on cloud properties and their self-consistent coupling to the atmospheric structure is needed in order to reduce uncertainties in the choice of model parameter values, in particular of cloud opacities.


title: A Bayesian-based approach to improving acoustic Born waveform inversion of seismic data for viscoelastic media

abstract: In seismic waveform inversion, the reconstruction of the subsurface properties is usually carried out using approximative wave propagation models to ensure computational efficiency. The viscoelastic nature of the subsurface is often unaccounted for, and two popular approximations--the acoustic and linearized Born inversion--are widely used. This leads to reconstruction errors since the approximations ignore realistic (physical) aspects of seismic wave propagation in the heterogeneous earth. In this study, we show that the Bayesian approximation error approach can be used to partially recover from errors, addressing elastic and viscous effects in acoustic Born inversion for viscoelastic media. The results of numerical examples indicate that neglecting the modelling errors induced by the approximations results in very poor recovery of the subsurface velocity fields.


title: Superfluid 3He in squeezed nematic aerogel

abstract: We present results of nuclear magnetic resonance (NMR) experiments in superfluid 3He in two samples of nematic aerogel consisting of nearly parallel mullite strands. The samples were cut from the same piece of the aerogel, but one of them was squeezed by 30% in the direction transverse to the strands. In both samples the superfluid transition of 3He occurred into the polar phase, where no qualitative difference between NMR properties of 3He in these samples was found. The difference, however, has appeared on further cooling, after the transition to the polar-distorted A phase (PdA phase) with the orbital part of the order parameter in the 2D Larkin-Imry-Ma (LIM) state. In the squeezed sample the 2D LIM state is anisotropic that results in changes in the NMR, which can be used as an additional marker of the PdA phase and have allowed us to measure the value of the anisotropy.


title: Device-to-Device Communications Underlaying Cellular Networks: To Use Unlicensed Spectrum or Not?

abstract: In this paper, we consider device-to-device (D2D) communications as an underlay to the cellular networks over both licensed and unlicensed spectrum, where Long Term Evolution (LTE) users utilize the spectrum orthogonally while D2D users share the spectrum with LTE users. In the system, each LTE and D2D user can access the licensed or unlicensed band for communications. To maximize the total throughput of the system, we leverage stochastic geometry to derive the throughput for each kind of users by modeling the deployment of users as Poisson point processes (PPPs), and investigate the spectrum access problem for these users. Since the problem is NP-hard, we propose a sequential quadratic programming (SQP) based algorithm to obtain the corresponding suboptimal solutions. Theoretically, we evaluate the system performance by analyzing the throughput regions. Simulation results validate the accuracy of the geometric analysis and verify the effectiveness of the proposed algorithm.


title: Controlling a random population

abstract: Bertrand et al. introduced a model of parameterised systems, where each agent is represented by a finite state system, and studied the following control problem: for any number of agents, does there exist a controller able to bring all agents to a target state? They showed that the problem is decidable and EXPTIME-complete in the adversarial setting, and posed as an open problem the stochastic setting, where the agent is represented by a Markov decision process. In this paper, we show that the stochastic control problem is decidable. Our solution makes significant uses of well quasi orders, of the max-flow min-cut theorem, and of the theory of regular cost functions. We introduce an intermediate problem of independence interest called the sequential flow problem and study its complexity.


title: Spherical Text Embedding

abstract: Unsupervised text embedding has shown great power in a wide range of NLP tasks. While text embeddings are typically learned in the Euclidean space, directional similarity is often more effective in tasks such as word similarity and document clustering, which creates a gap between the training stage and usage stage of text embedding. To close this gap, we propose a spherical generative model based on which unsupervised word and paragraph embeddings are jointly learned. To learn text embeddings in the spherical space, we develop an efficient optimization algorithm with convergence guarantee based on Riemannian optimization. Our model enjoys high efficiency and achieves state-of-the-art performances on various text embedding tasks including word similarity and document clustering.


title: On the Jet Production Efficiency in a Sample of the Youngest Radio Galaxies

abstract: Here we discuss the jet production efficiency in a sample of 17 young radio galaxies with measured redshifts, kinematic ages, and nuclear X-ray fluxes, for which the observed luminosities of compact jets/lobes and accretion disks correspond to the same episode of the AGN activity. For the targets, we analyze the available optical data, estimating the bolometric luminosities of the accretion disks $L_{\rm bol}$, and the black hole masses; we also derive the minimum jet kinetic luminosities, $P_{\rm j}$. With such, we investigate the distribution of our sample in the three-dimensional space of the accretion rate $\lambda_{\rm Edd} \equiv L_{\rm bol}/L_{\rm Edd}$, the nuclear X-ray luminosity $L_{\rm X}$ considered here as a limit for the emission of the disk coronae, and $P_{\rm j}$, expressing the latter two parameters either in the Eddington units, or in the units of the disk luminosity. We find that (i) the accretion rate $\lambda_{\rm Edd}$ in our sample is distributed within a narrow range $\lambda_{\rm Edd} \sim 0.01 - 0.2$; (ii) the normalized jet power $P_{\rm j}/L_{\rm Edd}$ formally correlates with the accretion rate $\lambda_{\rm Edd}$, with some saturation at the largest values $\lambda_{\rm Edd}> 0.05$; (iii) the jet production efficiency $\eta_{\rm jet} \equiv P_{\rm j}/\dot{M}_{\rm acc} c^2$ spans a range from $\eta_{\rm jet} \lesssim 10^{-3}$ up to $\sim 0.2$ at maximum, which is below the level expected for magnetically arrested disks around maximally spinning black holes; and (iv) there is a diversification in $\eta_{\rm jet}$ on the hardness--intensity diagram $L_{\rm X}/L_{\rm bol} - \lambda_{\rm Edd}$, with the jets being produced most efficiently during the high/hard states, and suppressed during the soft states.


title: Understand customer reviews with less data and in short time: pretrained language representation and active learning

abstract: In this paper, we address customer review understanding problems by using supervised machine learning approaches, in order to achieve a fully automatic review aspects categorisation and sentiment analysis. In general, such supervised learning algorithms require domain-specific expert knowledge for generating high quality labeled training data, and the cost of labeling can be very high. To achieve an in-production customer review machine learning enabled analysis tool with only a limited amount of data and within a reasonable training data collection time, we propose to use pre-trained language representation to boost model performance and active learning framework for accelerating the iterative training process. The results show that with integration of both components, the fully automatic review analysis can be achieved at a much faster pace.


title: Global well-posedness of cubic fractional Schr\"odinger equations in one dimension

abstract: In this paper, we consider the Cauchy's problem of global existence and scattering behavior of small, smooth, and localized solutions of cubic fractional Schr\"odinger equations in one dimension, \begin{equation*} \mathrm{i} \partial_t u- (-\Delta)^{\frac{\alpha}{2}} u=c_*|u|^2u, \end{equation*} where $\alpha \in (\frac{1}{3},1), c_* \in \mathbb{R}$. Our work is a generalization of the result due to Ionescu and Pusateri \cite{IP}, where the case $\alpha=\frac{1}{2}$ was considered. The highlight in this paper is to give a modified dispersive estimate in weighted Sobolev spaces for cubic fractional Schr\"odinger equations, which could be used for $ \alpha \in (\frac{1}{3},1)$. Based on this modified dispersive estimate, we prove the global existence and modified scattering behavior of solutions combining space-time resonance and bootstrap arguments.


title: On equicontinuity of families of mappings with a fixed point of a domain

abstract: The behavior of a class of mappings of a domain of Euclidean space is studied. It is established that the indicated class is equicontinuous both at the inner and at the boundary points of the domain if the mappings contained in it satisfy the general normalization condition, and the corresponding characteristic of quasiconformality has a weak growth.


title: Rational Design Protocols for Size-Based Particle Sorting Microdevices Using Symmetry-Induced Cyclical Dynamics

abstract: In this paper, we describe the unification and extension of multiple kinematic theories on the advection of colloidal particles through periodic obstacle lattices of arbitrary geometry and infinitesimally small obstacle size. We focus specifically on the particle displacement lateral to the flow direction (termed "deterministic lateral displacement") and the particle-obstacle interaction frequency, and develop novel methods for describing these as a function of particle size and lattice parameters for arbitrary lattice geometries for the first time in the literature. We then demonstrate design algorithms for microfluidic devices consisting of chained obstacle lattices of this type that approximate any lateral displacement function of size to arbitrary accuracy with respect to multiple optimization metrics, prove their validity mathematically, and compare the generated results favorably to designs in the literature with respect to metrics such as accuracy, device size, and complexity.


title: Asymptotic expansion approximation for spatial structure arising from directionally biased movement

abstract: Spatial structure can arise in spatial point process models via a range of mechanisms, including neighbour-dependent directionally biased movement. This spatial structure is neglected by mean-field models, but can have important effects on population dynamics. Spatial moment dynamics are one way to obtain a deterministic approximation of a dynamic spatial point process that retains some information about spatial structure. However, the applicability of this approach is limited by the computational cost of numerically solving spatial moment dynamic equations at a sufficient resolution. We present an asymptotic expansion for the equilibrium solution to the spatial moment dynamics equations in the presence of neighbour-dependent directional bias. We show that the asymptotic expansion provides a highly efficient scheme for obtaining approximate equilibrium solutions to the spatial moment dynamics equations when bias is weak. This scheme will be particularly useful for performing parameter inference on spatial moment models.


title: ElecSim: Monte-Carlo Open-Source Agent-Based Model to Inform Policy for Long-Term Electricity Planning

abstract: Due to the threat of climate change, a transition from a fossil-fuel based system to one based on zero-carbon is required. However, this is not as simple as instantaneously closing down all fossil fuel energy generation and replacing them with renewable sources -- careful decisions need to be taken to ensure rapid but stable progress. To aid decision makers, we present a new tool, ElecSim, which is an open-sourced agent-based modelling framework used to examine the effect of policy on long-term investment decisions in electricity generation. ElecSim allows non-experts to rapidly prototype new ideas. Different techniques to model long-term electricity decisions are reviewed and used to motivate why agent-based models will become an important strategic tool for policy. We motivate why an open-source toolkit is required for long-term electricity planning. Actual electricity prices are compared with our model and we demonstrate that the use of a Monte-Carlo simulation in the system improves performance by $52.5\%$. Further, using ElecSim we demonstrate the effect of a carbon tax to encourage a low-carbon electricity supply. We show how a {\pounds}40 ($\$50$) per tonne of CO2 emitted would lead to 70% renewable electricity by 2050.


title: Graus Din\^amicos e Cohomol\'ogicos em Variedades Abelianas

abstract: We prove that for an endomorphism $f$ of an abelian manifold defined over an algebraically closed field of arbitrary characteristic, $ \chi_ {2q} (f) = \lambda_q (f) $. Note that this paper is based on recent results due to Fei Hu \cite{Hu19}, \cite{Hu-cndd}, \cite{Hu-Tits} e Truong \cite {Truong1611}.


title: Learning to Fix Build Errors with Graph2Diff Neural Networks

abstract: Professional software developers spend a significant amount of time fixing builds, but this has received little attention as a problem in automatic program repair. We present a new deep learning architecture, called Graph2Diff, for automatically localizing and fixing build errors. We represent source code, build configuration files, and compiler diagnostic messages as a graph, and then use a Graph Neural Network model to predict a diff. A diff specifies how to modify the code's abstract syntax tree, represented in the neural network as a sequence of tokens and of pointers to code locations. Our network is an instance of a more general abstraction that we call Graph2Tocopo, which is potentially useful in any development tool for predicting source code changes. We evaluate the model on a dataset of over 500k real build errors and their resolutions from professional developers. Compared to the approach of DeepDelta (Mesbah et al., 2019), our approach tackles the harder task of predicting a more precise diff but still achieves over double the accuracy.


title: Cardinal functions of purely atomic measures

abstract: Let $\mu$ be a purely atomic measure. By $f_\mu:[0,\infty)\to\{0,1,2,\dots,\omega,\mathfrak{c}\}$ we denote its cardinal function $f_{\mu}(t)=\vert\{A\subset\mathbb N:\mu(A)=t\}\vert$. We study the problem for which sets $R\subset\{0,1,2,\dots,\omega,\mathfrak{c}\}$ there is a measure $\mu$ such that $R$ is the range of $f_\mu$. We are also interested in the set-theoretic and topological properties of the set of $\mu$-values which are obtained uniquely.


title: Autonomous Vehicles Meet the Physical World: RSS, Variability, Uncertainty, and Proving Safety (Expanded Version)

abstract: The Responsibility-Sensitive Safety (RSS) model offers provable safety for vehicle behaviors such as minimum safe following distance. However, handling worst-case variability and uncertainty may significantly lower vehicle permissiveness, and in some situations safety cannot be guaranteed. Digging deeper into Newtonian mechanics, we identify complications that result from considering vehicle status, road geometry and environmental parameters. An especially challenging situation occurs if these parameters change during the course of a collision avoidance maneuver such as hard braking. As part of our analysis, we expand the original RSS following distance equation to account for edge cases involving potential collisions mid-way through a braking process. We additionally propose a Micro-Operational Design Domain ({\mu}ODD) approach to subdividing the operational space as a way of improving permissiveness. Confining probabilistic aspects of safety to {\mu}ODD transitions permits proving safety (when possible) under the assumption that the system has transitioned to the correct {\mu}ODD for the situation. Each {\mu}ODD can additionally be used to encode system fault responses, take credit for advisory information (e.g., from vehicle-to-vehicle communication), and anticipate likely emergent situations.


title: Higher Criticism for Discriminating Word-Frequency Tables and Testing Authorship

abstract: We adapt the Higher Criticism (HC) goodness-of-fit test to measure the closeness between word-frequency tables. We apply this measure to authorship attribution challenges, where the goal is to identify the author of a document using other documents whose authorship is known. The method is simple yet performs well without handcrafting and tuning; reporting accuracy at the state of the art level in various current challenges. As an inherent side effect, the HC calculation identifies a subset of discriminating words. In practice, the identified words have low variance across documents belonging to a corpus of homogeneous authorship. We conclude that in comparing the similarity of a new document and a corpus of a single author, HC is mostly affected by words characteristic of the author and is relatively unaffected by topic structure.


title: Polarization entanglement-enabled quantum holography

abstract: Holography is a cornerstone characterisation and imaging technique that can be applied to the full electromagnetic spectrum, from X-rays to radio waves or even particles such as neutrons. The key property in all these holographic approaches is coherence that is required to extract the phase information through interference with a reference beam - without this, holography is not possible. Here we introduce a holographic imaging approach that operates on intrinsically incoherent and unpolarised beams, so that no phase information can be extracted from a classical interference measurement. Instead, the holographic information is encoded in the second order coherence of entangled states of light. Using spatial-polarisation hyper-entangled photons pairs, we remotely reconstruct phase images of complex objects. Information is encoded into the polarisation degree of the entangled state, allowing us to image through dynamic phase disorder and even in the presence of strong classical noise, with enhanced spatial resolution compared to classical coherent holographic systems. Beyond imaging, quantum holography quantifies hyper-entanglement distributed over 10^4 modes via a spatially-resolved Clauser-Horne-Shimony-Holt inequality measurement, with applications in quantum state characterisation.


title: Arithmeticity of the monodromy of the Wiman-Edge pencil

abstract: The {\em Wiman-Edge pencil} is the universal family $\Cs/\mathcal B$ of projective, genus $6$, complex-algebraic curves admitting a faithful action of the icosahedral group $\Af_5$. The goal of this paper is to prove that the monodromy of $\Cs/\mathcal B$ is commensurable with a Hilbert modular group; in particular is arithmetic. We then give a modular interpretation of this, as well as a uniformization of $\mathcal B$.


title: NESSi: The Non-Equilibrium Systems Simulation package

abstract: The nonequilibrium dynamics of correlated many-particle systems is of interest in connection with pump-probe experiments on molecular systems and solids, as well as theoretical investigations of transport properties and relaxation processes. Nonequilibrium Green's functions are a powerful tool to study interaction effects in quantum many-particle systems out of equilibrium, and to extract physically relevant information for the interpretation of experiments. We present the open-source software package NESSi (The Non-Equilibrium Systems Simulation package) which allows to perform many-body dynamics simulations based on Green's functions on the L-shaped Kadanoff-Baym contour. NESSi contains the library libcntr which implements tools for basic operations on these nonequilibrium Green's functions, for constructing Feynman diagrams, and for the solution of integral and integro-differential equations involving contour Green's functions. The library employs a discretization of the Kadanoff-Baym contour into time $N$ points and a high-order implementation of integration routines. The total integrated error scales up to $\mathcal{O}(N^{-7})$, which is important since the numerical effort increases at least cubically with the simulation time. A distributed-memory parallelization over reciprocal space allows large-scale simulations of lattice systems. We provide a collection of example programs ranging from dynamics in simple two-level systems to problems relevant in contemporary condensed matter physics, including Hubbard clusters and Hubbard or Holstein lattice models. The libcntr library is the basis of a follow-up software package for nonequilibrium dynamical mean-field theory calculations based on strong-coupling perturbative impurity solvers.