title: Stringy Newton Gravity with $H$-flux

abstract: A Symmetry Principle has been shown to augment unambiguously the Einstein Field Equations, promoting the whole closed-string massless NS-NS sector to stringy graviton fields. Here we consider its weak field approximation, take a non-relativistic limit, and derive the stringy augmentation of Newton Gravity: \[ \begin{array}{lll} {\bf{\nabla}^{2}\Phi}=4\pi G \rho+\bf{H}{\bf{\cdot}}\bf{H}\,, \quad&\qquad\bf{\nabla}\bf{\cdot}\bf{H}=0\,, \quad&\qquad {\bf{\nabla}\bf{\times}\bf{H}}=4\pi G\, \bf{K}\,. \end{array} \] Not only the mass density $\rho$ but also the current density $\mathbf{K}$ is intrinsic to matter. Sourcing $\mathbf{H}$ which is of NS-NS $H$-flux origin, $\mathbf{K}$ is nontrivial if the matter is `stringy'. $\mathbf{H}$ contributes quadratically to the Newton potential, but otherwise is decoupled from the point particle dynamics, i.e. $\bf{\ddot{x}}=-\bf{\nabla}\Phi$. We define `stringization' analogous to magnetization and discuss regular as well as monopole-like singular solutions.


title: Exact splitting methods for kinetic and Schr{\"o}dinger equations

abstract: In [8], some exact splittings are proposed for inhomogeneous quadratic differential equations including, for example, transport equations, kinetic equations, and Schr{\"o}dinger type equations with a rotation term. In this work, these exact splittings are combined with pseudo-spectral methods in space to illustrate their high accuracy and efficiency.


title: Distributed Stochastic Block Coordinate Descent for Time-Varying Multi-Agent Optimization

abstract: In this paper, a class of large-scale distributed nonsmooth convex optimization problem over time-varying multi-agent network is investigated. Specifically, the decision space which can be split into several blocks of convex set is considered. We present a distributed block coordinate descent (DSBCD) method in which for each node, information communication with other agents and a block Bregman projection are performed in each iteration. In contrast to existing work, we do not require the projection is operated on the whole decision space. Instead, in each step, distributed projection procedure is performed on only one random block. The explicit formulation of the convergence level depending on random projection probabilities and network parameters is achieved. An expected $O(1/\sqrt{T})$ rate is achieved. In addition, we obtain an explicit $\mathcal{O}(b^2/\epsilon^2)$ complexity bound with target accuracy $\epsilon$ and characteristic constant factor $b$. The complexity with dependency on $\epsilon$ and $b$ is shown to be the best known in this literature.


title: Magnetic field dependence of bipolar magnetic region tilts on the Sun: Indication of tilt quenching

abstract: The tilt of bipolar magnetic region (BMR) is crucial in the Babcock--Leighton process for the generation of the poloidal magnetic field in Sun. Based on the thin flux tube model of the BMR formation, the tilt is believed to be caused by the Coriolis force acting on the rising flux tube of the strong toroidal magnetic field from the base of the convection zone (BCZ). We analyze the magnetic field dependence of BMR tilts using the magnetograms of Michelson Doppler Imager (MDI) (1996-2011) and Helioseismic and Magnetic Imager (HMI) (2010-2018). We observe that the distribution of the maximum magnetic field ($B_{\rm max}$) of BMRs is bimodal. Its first peak at the low field corresponds to BMRs which do not have sunspots as counterparts in the white light images, whereas the second peak corresponds to sunspots as recorded in both types of images. We find that the slope of Joy's law ($\gamma_0$) initially increases slowly with the increase of $B_{\rm max}$. However, when $B_{\rm max} \gtrsim 2$ kG, $\gamma_0$ decreases. Scatter of BMR tilt around Joy's law systematically decreases with the increase of $B_{\rm max}$. The decrease of observed $\gamma_0$ with $B_{\rm max}$ provides a hint to a nonlinear tilt quenching in the Babcock--Leighton process. We finally discuss how our results may be used to make a connection with the thin flux tube model.


title: An Epigraphical Approach to the Representer Theorem

abstract: Describing the solutions of inverse problems arising in signal or image processing is an important issue both for theoretical and numerical purposes. We propose a principle which describes the solutions to convex variational problems involving a finite number of measurements. We discuss its optimality on various problems concerning the recovery of Radon measures.


title: Mathematical Analysis of Robustness of Two-Level Domain Decomposition Methods with respect to Inexact Coarse Solves

abstract: Convergence of domain decomposition methods rely heavily on the efficiency of the coarse space used in the second level. The GenEO coarse space has been shown to lead to a fully robust two-level Schwarz preconditioner which scales well over multiple cores [27, 19] as has been proved rigorously in [27]. The robustness is due to its good approximation properties for problems with highly heterogeneous material parameters. It is available in the finite element packages FreeFem++, Feel++ and recently in Dune and is implemented as a standalone library in HPDDM But the coarse component of the preconditioner can ultimately become a bottleneck if the number of subdomains is very large and exact solves are used. It is therefore interesting to consider the effect of approximate coarse solves. In this paper, robustness of GenEO methods is analyzed with respect to approximate coarse solves. Interestingly, the GenEO-2 method has to be modified in order to be able to prove its robustness in this context.


title: Homogeneous Online Transfer Learning with Online Distribution Discrepancy Minimization

abstract: Transfer learning has been demonstrated to be successful and essential in diverse applications, which transfers knowledge from related but different source domains to the target domain. Online transfer learning(OTL) is a more challenging problem where the target data arrive in an online manner. Most OTL methods combine source classifier and target classifier directly by assigning a weight to each classifier, and adjust the weights constantly. However, these methods pay little attention to reducing the distribution discrepancy between domains. In this paper, we propose a novel online transfer learning method which seeks to find a new feature representation, so that the marginal distribution and conditional distribution discrepancy can be online reduced simultaneously. We focus on online transfer learning with multiple source domains and use the Hedge strategy to leverage knowledge from source domains. We analyze the theoretical properties of the proposed algorithm and provide an upper mistake bound. Comprehensive experiments on two real-world datasets show that our method outperforms state-of-the-art methods by a large margin.


title: Characterization of graphs with some normalized Laplacian eigenvalue of multiplicity n-3

abstract: Graphs with few distinct eigenvalues have been investigated extensively. In this paper, we focus on another relevant topic: characterizing graphs with some eigenvalue of large multiplicity. Specifically, the normalized Laplacian matrix of a graph is considered here. Let $\rho_{n-1}(G)$ and $\nu(G)$ be the second least normalized Laplacian eigenvalue and the independence number of a graph $G$, respectively. As the main conclusions, two families of $n$-vertex connected graphs with some normalized Laplacian eigenvalue of multiplicity $n-3$ are determined: graphs with $\rho_{n-1}(G)=-1$ and graphs with $\rho_{n-1}(G)\neq -1$ and $\nu(G)\neq 2$. Moreover, it is proved that these graphs are determined by their spectrum.


title: Group classification of second order neutral differential equations

abstract: In this paper, we discuss the method of obtaining symmetries for second order nonhomogeneous neutral differential equations with variable coefficients. We use Taylor theorem for a function of several variables to obtain a Lie type invariance condition and the determining equations. Further we make a complete group classification of the second order linear neutral differential equation, for which there is no existing literature. As a special case, we present a complete group classification of the corresponding second order linear delay differential equation.


title: Effects of Postselected von Neumann Measurement on the Properties of Single-Mode Radiation Fields

abstract: Postselected von Neumann measurement characterized by postselection and weak value has been found potential applications in quantum metrology and, solved plenty of fundamental problems in quantum theory. As an application of this new measurement technique in quantum optics, its effects on the features of single-mode radiation fields such as coherent state, squeezed vacuum state and Schrodinger cat sate are investigated by considering full-order effects of unitary evolution. The results show that the conditional probabilities of finding photons, second-order correlation functions, Q-factors and squeezing effects of those states after postselected measurement significantly changed compared with corresponding initial pointer states, respectively.


title: Leveraging Semi-Supervised Learning for Fairness using Neural Networks

abstract: There has been a growing concern about the fairness of decision-making systems based on machine learning. The shortage of labeled data has been always a challenging problem facing machine learning based systems. In such scenarios, semi-supervised learning has shown to be an effective way of exploiting unlabeled data to improve upon the performance of model. Notably, unlabeled data do not contain label information which itself can be a significant source of bias in training machine learning systems. This inspired us to tackle the challenge of fairness by formulating the problem in a semi-supervised framework. In this paper, we propose a semi-supervised algorithm using neural networks benefiting from unlabeled data to not just improve the performance but also improve the fairness of the decision-making process. The proposed model, called SSFair, exploits the information in the unlabeled data to mitigate the bias in the training data.


title: Topological phase induced by distinguishing parameter regimes in cavity optomechanical system with multiple mechanical resonators

abstract: We propose two kinds of distinguishing parameter regimes to induce topological Su-Schrieffer-Heeger (SSH) phase in a one dimensional (1D) multi-resonator cavity optomechanical system via modulating the frequencies of both cavity fields and resonators. The introduction of the frequency modulations allows us to eliminate the Stokes heating process for the mapping of the tight-binding Hamiltonian without usual rotating wave approximation, which is totally different from the traditional mapping of the topological tight-binding model. We find that the tight-binding Hamiltonian can be mapped into a topological SSH phase via modifying the Bessel function originating from the frequency modulations of cavity fields and resonators, and the induced SSH phase is independent on the effective optomechanical coupling strength. On the other hand, the insensitivity of the system to the effective optomechanical coupling provides us another new path to induce the topological SSH phase based on the present 1D cavity optomechanical system. And we show that the system can exhibit a topological SSH phase via varying the effective optomechanical coupling strength in an alternative way, which is much more easier to be achieved in experiment. Furthermore, we also construct an analogous bosonic Kitaev model with the trivial topology by keeping the Stokes heating processes. Our scheme provides a steerable platform to investigate the effects of next-nearest-neighboring interactions on the topology of the system.


title: Investigating the effect of different quantum dots on the absorption spectrum and characteristics of quantum dot sensitized solar cells

abstract: Quantum dot sensitized solar cells are among the new generations of solar cells that have attracted much attention. Theoretical and simulation studies have predicted high efficiency for these cells so that in the future, these cells could be an excellent alternative to silicon solar cells. Other advantages of these cells are their ease of fabrication and cheaper manufacturing methods than existing cells. This paper's main idea is to simulate the effect of different quantum dots on the optical and electrical characteristics of these cells and, in particular, the efficiency. We then simulated the effect of simultaneous sensitizing by different quantum dots, and we observed that the cell's light absorption and the efficiency in simultaneous sensitizing, increased. Then we experimentally studied one of the cells that give the best simulation result (PbS/CdS co-sensitized). We deposited the quantum dots on transparent TiO2, and we obtained the light absorption, efficiency, and other characteristics of cells. Further, we investigated the effect of cobalt sulfide as the counter electrode in PbS/CdS, instead of platinum and gold, and we found that the efficiency has increased.


title: Controllable double quantum state transfers by one topological channel in a frequency-modulated optomechanical array

abstract: We propose a scheme to achieve the quantum state transfer via the topological protected edge channel based on a one dimensional frequency-modulated optomechanical array. We find that the optomechanical array can be mapped into a Su-Schrieffer-Heeger model after eliminating the counter rotating wave terms via frequency modulations. By dint of the edge channel of the Su-Schrieffer-Heeger model, we show that the quantum state transfer between the photonic left edge state and the photonic right edge state can be achieved with a high fidelity. Specially, our scheme can also achieve another phononic quantum state transfer based on the same channel via controlling the next-nearest-neighboring interactions between the cavity fields, which is different from the previous investigations only achieving one kind of quantum state transfer. Our scheme provides a novel path to switch two different kinds of quantum state transfers in a controllable way.


title: The fundamentals of harnessing the magneto-optics of quantum wires for designing optical amplifiers: Formalism

abstract: Quantum wires occupy a unique status among the semiconducting nanostructures with reduced dimensionality -- no other system seems to have engaged researchers with as many appealing features to pursue. This paper aims at a core issue related with the magnetoplasmon excitations in the quantum wires characterized by the confining harmonic potential and subjected to a longitudinal electric field and a perpendicular magnetic field in the symmetric gauge. Despite the substantive complexity, we obtain the exact analytical expressions for the eigenfunction and eigenenergy, using the scheme of ladder operators, which fundamentally characterize the quantal system. Crucial to this inquiry is an intersubband collective excitation that evolves into a magnetoroton -- above a threshold value of magnetic field -- which observes a negative group velocity between the maxon and the roton. The evidence of negative group velocity implies anomalous dispersion in a gain medium with the population inversion that forms the basis for the lasing action of lasers. Thus, the technological pathway that unfolds is the route to devices exploiting the magnetoroton features for designing the novel optical amplifiers at nanoscale and hence paving the way to a new generation of lasers.


title: Spin selective scattering modes in random anisotropy optical medium

abstract: Geometrical and dynamical phase have competing effects as far a scattering of light form inhomogeneous anisotropic optical medium is concerned. If fine-tuned appropriately, these effects can completely cancel each other for a chosen spin component while having an additive effect on the orthogonal components. Here, we show a manifestation of extraordinary spin selective modes in Fourier spectrum of Gaussian beam transmitted through anisotropic disordered medium. We realize the concept using a twisted nematic liquid crystal-based spatial light modulator (SLM) with random gray level distribution for incident Gaussian beam.


title: Fractional Dehn twists and modular invariants

abstract: In this note, we establish a relationship between fractional Dehn twist coefficients of Riemann surface automorphisms and modular invariants of holomorphic families of algebraic curves. Specially, we give a characterization of pseudo-periodic maps with nontrivial fractional Dehn twist coefficients. We also obtain some uniform lower bounds of non-zero fractional Dehn twist coefficients.


title: Hybridization-Induced Gapped and Gapless States on the Surfaces of Magnetic Topological Insulators

abstract: The layered MnBi2nTe3n+1 family represents the first intrinsic antiferromagnetic topological insulator (AFM TI, protected by a combination symmetry ) ever discovered, providing an ideal platform to explore novel physics such as quantum anomalous Hall effect at elevated temperature and axion electrodynamics. Recent angle-resolved photoemission spectroscopy (ARPES) experiments on this family have revealed that all terminations exhibit (nearly) gapless topological surface states (TSSs) within the AFM state, violating the definition of the AFM TI, as the surfaces being studied should be -breaking and opening a gap. Here we explain this curious paradox using a surface-bulk band hybridization picture. Combining ARPES and first-principles calculations, we prove that only an apparent gap is opened by hybridization between TSSs and bulk bands. The observed (nearly) gapless features are consistently reproduced by tight-binding simulations where TSSs are coupled to a Rashba-split bulk band. The Dirac-cone-like spectral features are actually of bulk origin, thus not sensitive to the-breaking at the AFM surfaces. This picture explains the (nearly) gapless behaviour found in both Bi2Te3- and MnBi2Te4-terminated surfaces and is applicable to all terminations of MnBi2nTe3n+1 family. Our findings highlight the role of band hybridization, superior to magnetism in this case, in shaping the general surface band structure in magnetic topological materials for the first time.


title: Submodular Function Minimization and Polarity

abstract: Using polarity, we give an outer polyhedral approximation for the epigraph of set functions. For a submodular function, we prove that the corresponding polar relaxation is exact; hence, it is equivalent to the Lov\'asz extension. The polar approach provides an alternative proof for the convex hull description of the epigraph of a submodular function. Computational experiments show that the inequalities from outer approximations can be effective as cutting planes for solving submodular as well as non-submodular set function minimization problems.


title: DFT-Based Engineering of Dirac Surface Energy in Topological-Insulator Multilayers

abstract: Aiming at the future spintronics device applications of the spin-polarized surface states in three-dimensional topological insulator, a highly insulating bulk state and a tunable Dirac cone surface state are required. Here we employ a slab model having hetero-structural Bi2Se3-related quintuple layers and perform first-principles simulations. Our computational results show that the Dirac-point energy can be optimally tuned by selecting an appropriate pair of materials so that the work function at the surface quintuple layer is slightly different from that at the inner quintuple layers. The ideal surface state is obtained in Bi2Te3/(Bi2Te2Se)4/Bi2Te3 slab, in which the Fermi lines show the significant warping effect and both the in-plane and the out-of-plane components of the spin polarization emerge.


title: ALMA observations reveal no preferred outflow--filament and outflow--magnetic field orientations

abstract: We present a statistical study on the orientation of outflows with respect to large-scale filaments and the magnetic fields. Although filaments are widely observed toward Galactic star-forming regions, the exact role of filaments in star formation is unclear. Studies toward low-mass star-forming regions revealed both preferred and random orientation of outflows respective to the filament long-axes, while outflows in massive star-forming regions mostly oriented perpendicular to the host filaments, and parallel to the magnetic fields at similar physical scales. Here, we explore outflows in a sample of 11 protoclusters in HII regions, a more evolved stage compared to IRDCs, using ALMA CO (3-2) line observations. We identify a total of 105 outflow lobes in these protoclusters. Among the 11 targets, 7 are embedded within parsec-scale filamentary structures detected in $^{13}$CO line and 870 $\mu m$ continuum emissions. The angles between outflow axes and corresponding filaments ($\gamma_\mathrm{Fil}$) do not show any hint of preferred orientations (i.e., orthogonal or parallel as inferred in numerical models) with respect to the position angle of the filaments. Identified outflow lobes are also not correlated with the magnetic fields and Galactic plane position angles. Outflows associated with filaments aligned along the large-scale magnetic fields are also randomly orientated. Our study presents the first statistical results of outflow orientation respective to large-scale filaments and magnetic fields in evolved massive star-forming regions. The random distribution suggests a lack of alignment of outflows with filaments, which may be a result of the evolutionary stage of the clusters.


title: Series Resonant Matrix Converter Topology for EV DC Fast Charging

abstract: In this paper, we presented a matrix converter with a high-frequency DC link for EV DC fast charging applications. Introducing this topology allows eliminating electrolytic capacitors in DC link of the converter, which potentially increases the reliability and power density of the system. The converter uses bidirectionally blocking three-phase rectifier to generate a high-frequency square wave voltage for the series resonant LC DC/DC converter, eliminating one H-bridge in front of the resonant tank. Principles of high-frequency and low-frequency modulations are described. A low voltage prototype has been built and tested which demonstrated ZVS soft switching of all the transistors in the converter. Peak efficiency estimated as 98.0 % for state-of-the-art switches.


title: Statistical Models in Forensic Voice Comparison

abstract: This chapter describes a number of signal-processing and statistical-modeling techniques that are commonly used to calculate likelihood ratios in human-supervised automatic approaches to forensic voice comparison. Techniques described include mel-frequency cepstral coefficients (MFCCs) feature extraction, Gaussian mixture model - universal background model (GMM-UBM) systems, i-vector - probabilistic linear discriminant analysis (i-vector PLDA) systems, deep neural network (DNN) based systems (including senone posterior i-vectors, bottleneck features, and embeddings / x-vectors), mismatch compensation, and score-to-likelihood-ratio conversion (aka calibration). Empirical validation of forensic-voice-comparison systems is also covered. The aim of the chapter is to bridge the gap between general introductions to forensic voice comparison and the highly technical automatic-speaker-recognition literature from which the signal-processing and statistical-modeling techniques are mostly drawn. Knowledge of the likelihood-ratio framework for the evaluation of forensic evidence is assumed. It is hoped that the material presented here will be of value to students of forensic voice comparison and to researchers interested in learning about statistical modeling techniques that could potentially also be applied to data from other branches of forensic science.


title: Learning to Infer User Interface Attributes from Images

abstract: We explore a new domain of learning to infer user interface attributes that helps developers automate the process of user interface implementation. Concretely, given an input image created by a designer, we learn to infer its implementation which when rendered, looks visually the same as the input image. To achieve this, we take a black box rendering engine and a set of attributes it supports (e.g., colors, border radius, shadow or text properties), use it to generate a suitable synthetic training dataset, and then train specialized neural models to predict each of the attribute values. To improve pixel-level accuracy, we additionally use imitation learning to train a neural policy that refines the predicted attribute values by learning to compute the similarity of the original and rendered images in their attribute space, rather than based on the difference of pixel values. We instantiate our approach to the task of inferring Android Button attribute values and achieve 92.5% accuracy on a dataset consisting of real-world Google Play Store applications.


title: Harmonic Magneto-dielectric Study in Doped Perovskites, and Double Perovskite

abstract: Fundamental and harmonic magneto-dielectricity studied for varied perovskite systems-- Pb0.98Gd0.02(Mg1/3Nb2/3)0.995O3 (A-site co-doped PGMN magneto-relaxor), La0.95Ca0.05CoO3 (A-site doped spin-state LCCO), and La2NiMnO6 (double-perovskite LNMO multiglass) characterize intricately polarized phases. First-harmonic signal ({\epsilon}2') of magnetically co-doped PGMN manifests finite polarization P(H) below 270K, corroborated by the measured remnant P-E traces. Second-harmonic ({\epsilon}3') reveals the effect of random E-fields causing electrical vitreousity, latter indicated by the divergent timescale of the fundamental response. LCCO features mixed-dipoles phase over appreciable temperature window, affiliated to the coexistent low-spins (LS) and intermediate-spins (IS). Across the 65K-start of IS-to-LS state transition (SST), dc- and ac-conductivities of LCCO exhibit mechanism-changeovers whereas the harmonic susceptibilities evidence IS/LS-interfacial hyper-polarizations. Below the 30K-end of SST, harmonics corroborate the vitreous phase of dipoles in the LS-matrix state. In the LNMO, positive and negative (dual) magneto-dielectricity observed is respectively attributed to the charge-hopping between Ni2+ and Mn4+ ions and the interfacial polarization. Second-harmonic signal here also features dispersion corresponding to the activation energy required for the electron transfer between Ni- and Mn-cations. Results from three different perovskite systems signify the combined importance of first- and second-harmonics, for a detailed understanding of electrical configurations.


title: Thermodynamics of Isoradial Quivers and Hyperbolic 3-Manifolds

abstract: The BPS sector of $\mathcal{N}=2$, $4d$ toric quiver gauge theories, and its corresponding D6-D2-D0 branes on Calabi-Yau threefolds, have been previously studied using integrable lattice models such as the crystal melting model and the dimer model. The asymptotics of the BPS sector, in the large N limit, can be studied using the Mahler measure theory, \cite{Zah}. In this work, we consider the class of isoradial quivers and study their thermodynamical observables and phase structure. Building on our previous results, and using the relation between the Mahler measure and hyperbolic 3-manifolds, we propose a new approach in the asymptotic analysis of the isoradial quivers. As a result, we obtain the observables such as the BPS free energy, the BPS entropy density and growth rate of the isoradial quivers, as a function of the $R$-charges of the quiver and in terms of the hyperbolic volumes and the dilogarithm functions. The phase structure of the isoradial quivers is studied via the analysis of the BPS entropy density at critical $R$-charges and universal results for the phase structure in this class are obtained. Explicit results for the observables are obtained in some concrete examples of the isoradial quivers.


title: Algorithmic Cooling of Nuclear Spin Pairs using a Long-Lived Singlet State

abstract: Algorithmic cooling methods manipulate an open quantum system in order to lower its temperature below that of the environment. We show that significant cooling is achieved on an ensemble of spin-pair systems by exploiting the long-lived nuclear singlet state, which is an antisymmetric quantum superposition of the "up" and "down" qubit states. The effect is demonstrated by nuclear magnetic resonance (NMR) experiments on a molecular system containing a coupled pair of near-equivalent 13C nuclei. The populations of the system are subjected to a repeating sequence of cyclic permutations separated by relaxation intervals. The long-lived nuclear singlet order is pumped well beyond the unitary limit, and the nuclear magnetization is enhanced by 21% relative to its thermal equilibrium value. To our knowledge this is the first demonstration of algorithmic cooling using a quantum superposition state and without making a distinction between rapidly and slowly relaxing qubits.


title: Gradient flow equation in SQCD

abstract: We propose a supersymmetric gradient flow in ${\cal N}=1$ SQCD in four dimensions. The flow equation is derived in the superfield formalism and is also given for component fields of the Wess-Zumino gauge in a gauge covariant manner. We find that the flow for the component fields is supersymmetric in a sense that the flow time derivative and any supersymmetry transformation commute with each other up to a gauge transformation.


title: Numerical approximation of the value of a stochastic differential game with asymmetric information

abstract: We consider a convexity constrained Hamilton-Jacobi-Bellman-type obstacle problem for the value function of a zero-sum differential game with asymmetric information. We propose a convexity-preserving probabilistic numerical scheme for the approximation of the value function which is discrete w.r.t. the time and convexity variables, and show that the scheme converges to the unique viscosity solution of the considered problem. Furthermore, we generalize the semi-discrete scheme to obtain an implementable fully discrete numerical approximation of the value function and present numerical experiments to demonstrate the properties of the proposed numerical scheme.


title: Generalized Rental Harmony

abstract: Rental Harmony is the problem of assigning rooms in a rented house to tenants with different preferences, and simultaneously splitting the rent among them, such that no tenant envies the bundle (room+price) given to another tenant. Different papers have studied this problem under two incompatible assumptions: the miserly tenants assumption is that each tenant prefers a free room to a non-free room; the quasilinear tenants assumption is that each tenant attributes a monetary value to each room, and prefers a room of which the difference between value and price is maximum. This note shows how to adapt the main technique used for rental harmony with miserly tenants, using Sperner's lemma, to a much more general class of preferences, that contains both miserly and quasilinear tenants as special cases. This implies that some recent results derived for miserly tenants apply to this more general preference class too.


title: Identification of Spin-Triplet Superconductivity through a Helical-Chiral Phase Transition in Sr$_2$RuO$_4$ Thin-Films

abstract: Despite much effort for over the two decades, the paring symmetry of a Sr$_2$RuO$_4$ superconductor has been still unclear. In this Rapid Communication, motivated by the recent rapid progress in fabrication techniques for Sr$_2$RuO$_4$ thin-films, we propose a promising strategy for identifying the spin-triplet superconductivity in the thin-film geometry by employing an antisymmetric spin-orbit coupling potential and a Zeeman potential due to an external magnetic field. We demonstrate that a spin-triplet superconducting thin-film undergoes a phase transition from a helical state to a chiral state by increasing the applied magnetic field. This phase transition is accompanied by a drastic change in the property of surface Andreev bound states. As a consequence, the helical-chiral phase transition, which is unique to the spin-triplet superconductors, can be detected through a sudden change in a tunneling conductance spectrum of a normal-metal/superconductor junction. Importantly, our proposal is constructed by combining fundamental and rigid concepts regarding physics of spin-triplet superconductivity.


title: Quantum annealing approach to Ionic Diffusion in Solid

abstract: We have developed a framework for using quantum annealing computation to evaluate a key quantity in ionic diffusion in solids, the correlation factor. Existing methods can only calculate the correlation factor analytically in the case of physically unrealistic models, making it difficult to relate microstructural information about diffusion path networks obtainable by current ${ab\ initio}$ techniques to macroscopic quantities such as diffusion coefficients. We have mapped the problem into a quantum spin system described by the Ising Hamiltonian. By applying our framework in combination with ab initio technique, it is possible to understand how diffusion coefficients are controlled by temperatures, pressures, atomic substitutions, and other factors.We have calculated the correlation factor in a simple case with a known exact result by a variety of computational methods, including simulated quantum annealing on the spin models, the classical random walk, the matrix description, and quantum annealing on D-Wave with hybrid solver. This comparison shows that all the evaluations give consistent results with each other, but that many of the conventional approaches require infeasible computational costs. Quantum annealing is also currently infeasible because of the cost and scarcity of Q-bits, but we argue that when technological advances alter this situation, quantum annealing will easily outperform all existing methods.


title: Dimension Crossing Turbulent Cascade in an Excited Lattice Bose Gas

abstract: Turbulence is an intriguing non-equilibrium state, which originates from fluid mechanics and has far-reaching consequences in the description of climate physics, the characterization of quantum hydrodynamics, and the understanding of cosmic evolution. The concept of turbulent cascade describing the energy redistribution across different length scales offers one profound route to reconcile fundamental conservative forces with observational energy non-conservation of accelerating expansion of the universe bypassing the cosmological constant. Here, we observe a dimension crossing turbulent energy cascade in an atomic Bose-Einstein condensate confined in a two-dimensional (2d) optical lattice forming a 2d array of tubes, which exhibits universal behaviors in the dynamical energy-redistribution across different dimensions. By exciting atoms into the optical-lattice high bands, the excessive energy of this quantum many-body system is found to cascade from the transverse two-dimensional lattice directions to the continuous dimension, giving rise to a one-dimensional turbulent energy cascade, which is in general challenging to reach due to integrability. We expect this observed novel phenomenon of dimension-crossing energy cascade may inspire microscopic theories for modeling positive cosmological constant of our inflationary universe.

categories: cond-mat.quant-gas physics.atom-ph physics.flu-dyn quant-ph


title: Proof of Nash-Williams' Intersection Conjecture for countable matroids

abstract: We prove that if $ M $ and $ N $ are finitary matroids on a common countable edge set $ E $ then they admit a common independent set $I $ such that there is a bipartition $ E=E_{M}\cup E_{N} $ for which $ I\cap E_M $ spans $ E_M $ in $ M $ and $ I\cap E_N $ spans $ E_N $ in $ N $. It answers positively the Matroid Intersection Conjecture of Nash-Williams in the countable case.


title: Photoinduced renormalization of Dirac states in BaNiS$_2$

abstract: By means of pump-probe time- and angle-resolved photoelectron spectroscopy, we provide evidence of a sizeable reduction of the Fermi velocity of out-of-equilibrium Dirac bands in the quasi-two-dimensional semimetal BaNiS$_2$. First-principle calculations indicate that this band renormalization is ascribed to a change in non-local electron correlations driven by a photo-induced enhancement of screening properties. This effect is accompanied by a slowing down of the Dirac fermions and by a non-rigid shift of the bands at the center of the Brillouin zone. This result suggests that other similar electronic structure renormalizations may be photoinduced in other materials in presence of strong non-local correlations.


title: Limiting distribution of periodic position measurements of a quantum harmonic oscillator

abstract: We consider a particle in harmonic oscillator potential, whose position is periodically measured with an instrument of finite precision. We show that the distribution of the measured positions tends to a limiting distribution when the number of measurements tends to infinity. We derive the expression for the limiting position distribution and validate it with numerical simulation.


title: Scalable NAS with Factorizable Architectural Parameters

abstract: Neural Architecture Search (NAS) is an emerging topic in machine learning and computer vision. The fundamental ideology of NAS is using an automatic mechanism to replace manual designs for exploring powerful network architectures. One of the key factors of NAS is to scale-up the search space, e.g., increasing the number of operators, so that more possibilities are covered, but existing search algorithms often get lost in a large number of operators. For avoiding huge computing and competition among similar operators in the same pool, this paper presents a scalable algorithm by factorizing a large set of candidate operators into smaller subspaces. As a practical example, this allows us to search for effective activation functions along with the regular operators including convolution, pooling, skip-connect, etc. With a small increase in search costs and no extra costs in re-training, we find interesting architectures that were not explored before, and achieve state-of-the-art performance on CIFAR10 and ImageNet, two standard image classification benchmarks.


title: Pairing transition in a double layer with interlayer Coulomb repulsion

abstract: We study the effect of interlayer Coulomb interaction in an electronic double layer. Assuming that each of the layers consists of a bipartite lattice, a sufficiently strong interlayer interaction leads to an interlayer pairing of electrons with a staggered order parameter. We show that the correlated pairing state is dual to the excitonic pairing state with uniform order parameter in an electron-hole double layer. The interlayer pairing of electrons leads to strong current-current correlations between the layers. We also analyze the interlayer conductivity and the fluctuations of the order parameter, which consists of a gapped and a gapless mode.


title: Automated Testing for Deep Learning Systems with Differential Behavior Criteria

abstract: In this work, we conducted a study on building an automated testing system for deep learning systems based on differential behavior criteria. The automated testing goals were achieved by jointly optimizing two objective functions: maximizing differential behaviors from models under testing and maximizing neuron coverage. By observing differential behaviors from three pre-trained models during each testing iteration, the input image that triggered erroneous feedback was registered as a corner-case. The generated corner-cases can be used to examine the robustness of DNNs and consequently improve model accuracy. A project called DeepXplore was also used as a baseline model. After we fully implemented and optimized the baseline system, we explored its application as an augmenting training dataset with newly generated corner cases. With the GTRSB dataset, by retraining the model based on automated generated corner cases, the accuracy of three generic models increased by 259.2%, 53.6%, and 58.3%, respectively. Further, to extend the capability of automated testing, we explored other approaches based on differential behavior criteria to generate photo-realistic images for deep learning systems. One approach was to apply various transformations to the seed images for the deep learning framework. The other approach was to utilize the Generative Adversarial Networks (GAN) technique, which was implemented on MNIST and Driving datasets. The style transferring capability has been observed very effective in adding additional visual effects, replacing image elements, and style-shifting (virtual image to real images). The GAN-based testing sample generation system was shown to be the next frontier for automated testing for deep learning systems.


title: On the positivity of local mild solutions to stochastic evolution equations

abstract: We provide sufficient conditions on the coefficients of a stochastic evolution equation on a Hilbert space of functions driven by a cylindrical Wiener process ensuring that its mild solution is positive if the initial datum is positive. As an application, we discuss the positivity of forward rates in the Heath-Jarrow-Morton model via Musiela's stochastic PDE.


title: Locally rigid right-angled Coxeter groups with Fuchsian ends in dimension 5

abstract: In this paper, we construct a right-angled 5-polytope P of finite volume such that all the right-angled Coxeter groups with Fuchsian ends obtained from P are locally rigid.


title: An extended Flaherty-Keller formula for an elastic composite with densely packed convex inclusions

abstract: In this paper, we are concerned with the effective elastic property of a two-phase high-contrast periodic composite with densely packed inclusions. The equations of linear elasticity are assumed. We first give a novel proof of the Flaherty-Keller formula for elliptic inclusions, which improves a recent result of Kang and Yu (Calc.Var.Partial Differential Equations, 2020). We construct an auxiliary function consisting of the Keller function and an additional corrected function depending on the coefficients of Lam\'e system and the geometry of inclusions, to capture the full singular term of the gradient. On the other hand, this method allows us to deal with the inclusions of arbitrary shape, even with zero curvature. An extended Flaherty-Keller formula is proved for m-convex inclusions, m > 2, curvilinear squares with round off angles, which minimize the elastic modulus under the same volume fraction of hard inclusions.


title: Fungal architecture

abstract: As one of the primary consumers of environmental resource, the building industry faces unprecedented challenges in needing to reduce the environmental impact of current consumption practices. This applies to both the construction of the built environment and resource consumption during its occupation and use. Where incremental improvements to current practices can be realised, the net benefits are often far outstripped by the burgeoning demands of rapidly increasing population growth and urbanisation. Against the backdrop of this grand societal challenge, it is necessary to explore approaches that envision a paradigm shift in how material is sourced, processed and assembled to address the magnitude of these challenges in a truly sustainable way, and which can even provide added value. We propose to develop a structural substrate by using live fungal mycelium, functionalise the substrate with nanoparticles and polymers to make a mycelium-based electronics, implement sensorial fusion and decision making in the fungal electronics and to growing monolithic buildings from the functionalised fungal substrate. Fungal buildings will self-grow, build, and repair themselves subject to substrate supplied, use natural adaptation to the environment, sense all what human can sense.


title: Intrinsic motivations and open-ended learning

abstract: There is a growing interest and literature on intrinsic motivations and open-ended learning in both cognitive robotics and machine learning on one side, and in psychology and neuroscience on the other. This paper aims to review some relevant contributions from the two literature threads and to draw links between them. To this purpose, the paper starts by defining intrinsic motivations and by presenting a computationally-driven theoretical taxonomy of their different types. Then it presents relevant contributions from the psychological and neuroscientific literature related to intrinsic motivations, interpreting them based on the grid, and elucidates the mechanisms and functions they play in animals and humans. Endowed with such concepts and their biological underpinnings, the paper next presents a selection of models from cognitive robotics and machine learning that computationally operationalise the concepts of intrinsic motivations and links them to biology concepts. The contribution finally presents some of the open challenges of the field from both the psychological/neuroscientific and computational perspectives.


title: Improved sharp spectral inequalities for Schr\"odinger operators on the semi-axis

abstract: We prove a Lieb--Thirring inequality for Schr\"odinger operators $-\frac{\mathrm{d}^2}{\mathrm{d}x^2}+V$ on the semi-axis with Robin boundary condition at the origin. The result improves on a bound obtained by P.~Exner, A.~Laptev and M.~Usman [Commun.~Math.~Phys. 362(2), 531--541 (2014)] albeit under the additional assumption $V\in L^1(\mathbb{R}_+)$. The main difference in our proof is that we use the double commutation method in place of the single commutation method. We also establish an improved inequality in the case of a Dirichlet boundary condition.


title: Conjugations in $L^2$ and their invariants

abstract: Conjugations in space $L^2$ of the unit circle commuting with multiplication by $z$ or intertwining multiplications by $z$ and $\bar z$ are characterized. We also study their behaviour with respect to the Hardy space, subspaces invariant for the unilateral shift and model spaces.


title: Invertibility, Fredholmness and kernels of dual truncated Toeplitz operators

abstract: Asymmetric dual truncated Toeplitz operators acting between the orthogonal complements of two (eventually different) model spaces are introduced and studied. They are shown to be equivalent after extension to paired operators on $L^2(\mathbb T) \oplus L^2(\mathbb T)$ and, if their symbols are invertible in $L^\infty(\mathbb T)$, to asymmetric truncated Toeplitz operators with the inverse symbol. Relations with Carleson's corona theorem are also established. These results are used to study the Fredholmness, the invertibility and the spectra of various classes of dual truncated Toeplitz operators.


title: Invariance of the Goresky-Hingston algebra on reduced Hochschild homology

abstract: We prove that two quasi-isomorphic simply connected differential graded associative Frobenius algebras have isomorphic Goresky-Hingston algebras on their reduced Hochschild homology. Our proof is based on relating the Goresky-Hingston algebra on reduced Hochschild homology to the singular Hochschild cohomology algebra. For any simply connected oriented closed manifold $M$ of dimension $k$, the Goresky-Hingston algebra on reduced Hochschild homology induces an algebra structure of degree $k-1$ on $\bar{H}^*(LM;\mathbb{Q})$, the reduced rational cohomology of the free loop space of $M$. As a consequence of our algebraic result, we deduce that the isomorphism class of the induced algebra structure on $\bar{H}^*(LM;\mathbb{Q})$ is an invariant of the homotopy type of $M$.


title: Quantum Toda Lattice: a Challenge for Representation Theory

abstract: Quantum Toda lattice may solved by means of the Representation Theory of semisimple Lie groups, or alternatively by using the technique of the Quantum Inverse Scattering Method. A comparison of the two approaches, which is the purpose of the present review article, sheds a new light on Representation Theory and leads to a number of challenging questions.


title: Gap statistics of two interacting run and tumble particles in one dimension

abstract: We study the dynamics of the separation (gap) between a pair of interacting run and tumble particles (RTPs) moving in one dimension in the presence of additional thermal noise. On a ring geometry the distribution of the gap approaches a steady state. We analytically compute this distribution and find that this is exponentially localised in space, in contrast to the `jammed' configuration, seen earlier in the absence of thermal noise. We also study the relaxation which is an exponential, characterised by a time scale $\tau_r$. We observe that this time scale undergoes a crossover from a size independent value to a size dependent form with increasing size $l$ of the ring. We study the full eigenvalue spectrum of the evolution operator $\mathcal{L}$ and find that the spectrum can be classified into four sectors depending on the symmetries of $\mathcal{L}$. For large $l$, we find explicit expressions for the low lying eigenvalues in each of the sectors. On infinite line the separation does not reach a steady state. In the long times we find that the particles behave as interacting Brownian particles, except for the presence of a peak in the distribution at small separation which is a remnant of activity.


title: Conjugations in $L^2(\mathcal{H})$

abstract: Conjugations commuting with $\mathbf{M}_z$ and intertwining $\mathbf{M}_z$ and $\mathbf{M}_{\bar z}$ in $L^2(\mathcal{H})$, where $\mathcal{H}$ is a Hilbert space, are characterized. We also investigate which of them leave invariant the whole Hardy space $H^2(\mathcal{H})$ or a model space $K_{\Theta}=H^2(\mathcal{H})\ominus\Theta H^2(\mathcal{H})$, where $\Theta$ is a pure operator valued inner function.


title: Spin-polarized electron transmission in DNA-like systems

abstract: The helical distribution of the electronic density in chiral molecules, such as DNA and bacteriorhodopsin, has been suggested to induce a spin-orbit coupling interaction that may lead to the so-called chirality-induced spin selectivity (CISS) effect. Key ingredients for the theoretical modelling are, in this context, the helically shaped potential of the molecule and, concomitantly, a Rashba-like spin-orbit coupling due to the appearance of a magnetic field in the electron reference frame. Symmetries of these models clearly play a crucial role in explaining the observed effect, but a thorough analysis has been largely ignored in the literature. In this work, we present a study of these symmetries and how they can be exploited to enhance chiral-induced spin selectivity in helical molecular systems.


title: Exact non-Markovian evolution with multiple reservoirs

abstract: The model of a multi-level system interacting with several reservoirs is considered. The exact reduced density matrix evolution could be obtained for this model without Markov approximation. Namely, this evolution is fully defined by the finite set of linear differential equations. In this work the results which were obtained previously for only one Lorentz peak in the spectral density are generalized to the case of an arbitrary number of such peaks. The case of the Ohmic contribution in the spectral density is also taken here into account.


title: From Ideation to Implications: Directions for the Internet of Things in the Home

abstract: In this paper we give a brief overview of our approaches and ongoing work for future directions of the Internet of Things (IoT) with a focus on the IoT in the home. We highlight some of our activities including tools and methods for an ideation-driven approach as well as for an implications-driven approach. We point to some findings of workshops and empirical field-studies. We show examples for new classes of idiosyncratic IoT devices, how implications emerge by (mis)using sensor data and how users interacted with IoT systems in shared spaces.


title: Ferromagnetic kinetic exchange interaction in magnetic insulators

abstract: The superexchange theory predicts dominant antiferromagnetic kinetic interaction when the orbitals accommodating magnetic electrons are covalently bonded through diamagnetic bridging atoms/groups. Here we show that explicit consideration of magnetic and (leading) bridging orbitals, together with the electron transfer between the former, reveals a strong ferromagnetic kinetic exchange contribution. First principle calculations show that it is comparable in strength with antiferromagnetic superexchange in a number of magnetic materials with diamagnetic metal bridges. In particular, it is responsible for a very large ferromagnetic coupling ($-10$ meV) between the iron ions in a Fe$^{3+}$-Co$^{3+}$-Fe$^{3+}$ complex.


title: Systemic liquidity contagion in the European interbank market

abstract: Systemic liquidity risk, defined by the IMF as "the risk of simultaneous liquidity difficulties at multiple financial institutions", is a key topic in macroprudential policy and financial stress analysis. Specialized models to simulate funding liquidity risk and contagion are available but they require not only banks' bilateral exposures data but also balance sheet data with sufficient granularity, which are hardly available. Alternatively, risk analyses on interbank networks have been done via centrality measures of the underlying graph capturing the most interconnected and hence more prone to risk spreading banks. In this paper, we propose a model which relies on an epidemic model which simulate a contagion on the interbank market using the funding liquidity shortage mechanism as contagion process. The model is enriched with country and bank risk features which take into account the heterogeneity of the interbank market. The proposed model is particularly useful when full set of data necessary to run specialized models is not available. Since the interbank network is not fully available, an economic driven reconstruction method is also proposed to retrieve the interbank network by constraining the standard reconstruction methodology to real financial indicators. We show that the contagion model is able to reproduce systemic liquidity risk across different years and countries. This result suggests that the proposed model can be successfully used as a valid alternative to more complex ones.


title: Unseen Face Presentation Attack Detection Using Class-Specific Sparse One-Class Multiple Kernel Fusion Regression

abstract: The paper addresses face presentation attack detection in the challenging conditions of an unseen attack scenario where the system is exposed to novel presentation attacks that were not present in the training step. For this purpose, a pure one-class face presentation attack detection approach based on kernel regression is developed which only utilises bona fide (genuine) samples for training. In the context of the proposed approach, a number of innovations, including multiple kernel fusion, client-specific modelling, sparse regularisation and probabilistic modelling of score distributions are introduced to improve the efficacy of the method. The results of experimental evaluations conducted on the OULU-NPU, Replay-Mobile, Replay-Attack and MSU-MFSD datasets illustrate that the proposed method compares very favourably with other methods operating in an unseen attack detection scenario while achieving very competitive performance to multi-class methods (benefiting from presentation attack data for training) despite using only bona fide samples for training.


title: Addition of Divisors on Hyperelliptic Curves via Interpolation Polynomials

abstract: Two problems are addressed: reduction of an arbitrary degree non-special divisor to the equivalent divisor of the degree equal to genus of a curve, and addition of divisors of arbitrary degrees. The hyperelliptic case is considered as the simplest model. Explicit formulas defining reduced divisors for some particular cases are found. The reduced divisors are obtained in the form of solution of the Jacobi inversion problem which provides the way of computing Abelian functions on arbitrary non-special divisors. An effective reduction algorithm is proposed, which has the advantage that it involves only arithmetic operations on polynomials. The proposed addition algorithm contains more details comparing with the known in cryptography, and is extended to divisors of arbitrary degrees comparing with the known in the theory of hyperelliptic functions.


title: Stochastic Dual Dynamic Programming for Multistage Stochastic Mixed-Integer Nonlinear Optimization

abstract: In this paper, we study multistage stochastic mixed-integer nonlinear programs (MS-MINLP). This general class of problems encompasses, as important special cases, multistage stochastic convex optimization with non-Lipschitzian value functions and multistage stochastic mixed-integer linear optimization. We develop stochastic dual dynamic programming (SDDP) type algorithms with nested decomposition, deterministic sampling, and stochastic sampling. The key ingredient is a new type of cuts based on generalized conjugacy. Several interesting classes of MS-MINLP are identified, where the new algorithms are guaranteed to obtain the global optimum without the assumption of complete recourse. This significantly generalizes the classic SDDP algorithms. We also characterize the iteration complexity of the proposed algorithms. In particular, for a $(T+1)$-stage stochastic MINLP with $d$-dimensional state spaces, to obtain an $\epsilon$-optimal root node solution, we prove that the number of iterations of the proposed deterministic sampling algorithm is upper bounded by $\mathcal{O}((\frac{2T}{\epsilon})^d)$, and is lower bounded by $\mathcal{O}((\frac{T}{4\epsilon})^d)$ for the general case or by $\mathcal{O}((\frac{T}{8\epsilon})^{d/2-1})$ for the convex case. This shows that the obtained complexity bounds are rather sharp. It also reveals that the iteration complexity depends polynomially on the number of stages. We further show that the iteration complexity depends linearly on $T$, if all the state spaces are finite sets, or if we seek a $(T\epsilon)$-optimal solution when the state spaces are infinite sets, i.e. allowing the optimality gap to scale with $T$. To the best of our knowledge, this is the first work that reports global optimization algorithms as well as iteration complexity results for solving such a large class of multistage stochastic programs.


title: Singular integrals on $C^{1,\alpha}$ regular curves in Carnot groups

abstract: Let $\mathbb{G}$ be any Carnot group. We prove that if a convolution type singular integral associated with a $1$-dimensional Calder\'on-Zygmund kernel is $L^2$-bounded on horizontal lines, with uniform bounds, then it is bounded in $L^p, p \in (1,\infty),$ on any compact $C^{1,\alpha}, \alpha \in (0,1],$ regular curve in $\mathbb{G}$.


title: Step-edge assisted large scale FeSe monolayer growth on epitaxial Bi2Se3 thin films

abstract: The interest in Fe-chalcogenide unconventional superconductors is intense after the critical temperature of FeSe was reported enhanced by more than one order of magnitude in the monolayer limit at the interface to an insulating oxide substrate. In heterostructures comprising interfaces of FeSe with topological insulators, additional interesting physical phenomena is predicted to arise e.g. in form of {\it topological superconductivity}. So far superconductive properties of Fe-chalcogenide monolayers were mostly studied by local scanning tunneling spectroscopy experiments, which can detect pseudo-gaps in the density of states as an indicator for Cooper pairing. Direct macroscopic transport properties which can prove or falsify a superconducting phase were rarely reported due to the difficulty to grow films with homogeneous material properties. Here we report on a promising growth method to fabricate continuous carpets of monolayer thick FeSe on molecular beam epitaxy grown Bi$_2$Se$_3$ topological insulator thin films. In contrast to previous works using atomically flat cleaved bulk Bi$_2$Se$_3$ crystal surfaces we observe a strong influence of the high step-edge density (terrace width about 10~nm) on MBE-grown Bi$_2$Se$_3$ substrates, which significantly promotes the growth of coalescing FeSe domains with small tetragonal crystal distortion without compromising the underlying Bi$_2$Se$_3$ crystal structure.


title: Search for 7Be in the outburst of four recent novae

abstract: Following the recent detection of 7Be in the outburst spectra of Classical Novae we report the search for this isotope in the outbursts of four recent bright novae by means of high resolution UVES observations. The 7BeII 313.0583, 313.1228 nm doublet resonance lines are detected in the high velocity components of Nova Mus 2018 and ASASSN-18fv during outburst. On the other hand 7BeII is neither detected in ASASSN-17hx and possibly nor in Nova Cir 2018, therefore showing that the 7BeII is not always ejected in the thermonuclear runaway. Taking into account the 7Be decay we find X(7Be)/X(H) approx 1.5 x10 ^{-5} and 2.2 x 10 ^{-5} in Nova Mus 2018 and ASASSN-18fv, respectively. A value of 7Be/H about 2 x10 ^{-5} is found in 5 out of the 7 extant measurements and it might be considered as a typical 7Be yield for novae. However, this value is almost one order of magnitude larger than predicted by current theoretical models. We argue that the variety of high 7Be/H abundances could be originated in a higher than solar content of 3He in the donor star. The cases with 7Be not detected might be related to a small mass of the WD or to relatively little mixing with the core material of the WD. The 7Be /H, or 7Li/H, abundance is about 4 dex above meteoritic thus confirming the novae as the main sources of 7Li in the Milky Way.


title: Medusa: A C++ Library for solving PDEs using Strong Form Mesh-Free methods

abstract: Medusa, a novel library for implementation of strong form mesh-free methods, is described. We identify and present common parts and patterns among many such methods reported in the literature, such as node positioning, stencil selection and stencil weight computation. Many different algorithms exist for each part and the possible combinations offer a plethora of possibilities for improvements of solution procedures that are far from fully understood. As a consequence there are still many unanswered questions in mesh-free community resulting in vivid ongoing research in the field. Medusa implements the core mesh-free elements as independent blocks, which offers users great flexibility in experimenting with the method they are developing, as well as easily comparing it with other existing methods. The paper describes the chosen abstractions and their usage, illustrates aspects of the philosophy and design, offers some executions time benchmarks and demonstrates the application of the library on cases from linear elasticity and fluid flow in irregular 2D and 3D domains.


title: oLMpics -- On what Language Model Pre-training Captures

abstract: Recent success of pre-trained language models (LMs) has spurred widespread interest in the language capabilities that they possess. However, efforts to understand whether LM representations are useful for symbolic reasoning tasks have been limited and scattered. In this work, we propose eight reasoning tasks, which conceptually require operations such as comparison, conjunction, and composition. A fundamental challenge is to understand whether the performance of a LM on a task should be attributed to the pre-trained representations or to the process of fine-tuning on the task data. To address this, we propose an evaluation protocol that includes both zero-shot evaluation (no fine-tuning), as well as comparing the learning curve of a fine-tuned LM to the learning curve of multiple controls, which paints a rich picture of the LM capabilities. Our main findings are that: (a) different LMs exhibit qualitatively different reasoning abilities, e.g., RoBERTa succeeds in reasoning tasks where BERT fails completely; (b) LMs do not reason in an abstract manner and are context-dependent, e.g., while RoBERTa can compare ages, it can do so only when the ages are in the typical range of human ages; (c) On half of our reasoning tasks all models fail completely. Our findings and infrastructure can help future work on designing new datasets, models and objective functions for pre-training.


title: Lepton Flavor Mixing and CP Violation in the Minimal Type-(I+II) Seesaw Model with a Modular $A_4$ Symmetry

abstract: In this paper, we study the implications of the modular $A^{}_4$ flavor symmetry in constructing a supersymmetric minimal type-(I+II) seesaw model, in which only one right-handed neutrino and two Higgs triplets are introduced to account for the tiny neutrino masses, flavor mixing and CP violation. The right-handed neutrino as well as the Higgs triplets in this model are assigned into the trivial one-dimensional irreducible representation of the modular group $A^{}_{4}$. We show that the individual contributions to the neutrino masses from the right-handed neutrino and the Higgs triplet are comparable. We also find that the neutrino mass matrix can possess an approximate $\mu-\tau$ reflection symmetry for some specific values of free model parameters. Moreover, our model predicts relatively large masses of three light neutrinos, thus can be easily tested in future neutrino experiments.


title: The MAP/M/s+G Call Center Model with General Patience Times: Stationary Solutions and First Passage Times

abstract: We study the MAP/M/s+G queuing model with MAP (Markovian Arrival Process) arrivals, exponentially distributed service times, infinite waiting room, and generally distributed patience times. Using sample-path arguments, we propose to obtain the steady-state distribution of the virtual waiting time and subsequently the other relevant performance metrics of interest for the MAP/M/s+G queue by means of finding the steady-state solution of a properly constructed Continuous Feedback Fluid Queue (CFFQ). The proposed method is exact when the patience time is a discrete random variable and is asymptotically exact when it is continuous/hybrid for which case discretization of the patience time distribution and subsequently the steady-state solution of a Multi-Regime Markov Fluid Queue (MRMFQ) is required. Besides the steady-state distribution, we also propose a new method to approximately obtain the first passage time distribution for the virtual and actual waiting times in the $MAP/M/s+G$ queue. Again, using sample-path arguments, finding the desired distribution is also shown to reduce to obtaining the steady-state solution of a larger dimensionality CFFQ where the deterministic time horizon is to be approximated by Erlang or Concentrated Matrix Exponential (CME) distributions. Numerical results are presented to validate the effectiveness of the proposed method.


title: Graph Realizations: Maximum and Minimum Degree in Vertex Neighborhoods

abstract: The classical problem of degree sequence realizability asks whether or not a given sequence of $n$ positive integers is equal to the degree sequence of some $n$-vertex undirected simple graph. While the realizability problem of degree sequences has been well studied for different classes of graphs, there has been relatively little work concerning the realizability of other types of information profiles, such as the vertex neighborhood profiles. In this paper, we initiate the study of neighborhood degree profiles. We focus on the natural problem of realizing maximum and minimum neighborhood degrees. More specifically, we ask the following question: Given a sequence $D$ of $n$ non-negative integers $0\leq d_1\leq \cdots \leq d_n$, does there exist a simple graph with vertices $v_1,\ldots, v_n$ such that for every $1\le i \le n$, the maximum (resp. minimum) degree in the neighborhood of $v_i$ is exactly $d_i$? We provide in this work various results for both maximum as well as minimum neighborhood degree for general $n$ vertex graphs. Our results are first of its kind that studies extremal neighborhood degree profiles. For maximum neighborhood degree profiles, we provide a {\em complete realizability criteria}. In comparison, we observe that the minimum neighborhood profiles are not so well-behaved, for these our necessary and sufficient conditions for realizability {\em differ by a factor of at most two}.


title: Efficiently Realizing Interval Sequences

abstract: We consider the problem of realizable interval-sequences. An interval sequence comprises of $n$ integer intervals $[a_i,b_i]$ such that $0\leq a_i \leq b_i \leq n-1$, and is said to be graphic/realizable if there exists a graph with degree sequence, say, $D=(d_1,\ldots,d_n)$ satisfying the condition $a_i \leq d_i \leq b_i$, for each $i \in [1,n]$. There is a characterisation (also implying an $O(n)$ verifying algorithm) known for realizability of interval-sequences, which is a generalization of the Erdos-Gallai characterisation for graphic sequences. However, given any realizable interval-sequence, there is no known algorithm for computing a corresponding graphic certificate in $o(n^2)$ time. In this paper, we provide an $O(n \log n)$ time algorithm for computing a graphic sequence for any realizable interval sequence. In addition, when the interval sequence is non-realizable, we show how to find a graphic sequence having minimum deviation with respect to the given interval sequence, in the same time. Finally, we consider variants of the problem such as computing the most regular graphic sequence, and computing a minimum extension of a length $p$ non-graphic sequence to a graphic one.


title: Computing the spectral action for fuzzy geometries: from random noncommutative geometry to bi-tracial multimatrix models

abstract: A fuzzy geometry is a certain type of spectral triple whose Dirac operator crucially turns out to be a finite matrix. This notion was introduced in [J. Barrett, J. Math. Phys. 56, 082301 (2015)] and accommodates familiar fuzzy spaces like spheres and tori. In the framework of random noncommutative geometry, we use Barrett's characterization of Dirac operators of fuzzy geometries in order to systematically compute the spectral action $S(D)= \mathrm{Tr} f(D)$ for $2n$-dimensional fuzzy geometries. In contrast to the original Chamseddine-Connes spectral action, we take a polynomial $f$ with $f(x)\to \infty$ as $ |x|\to\infty$ in order to obtain a well-defined path integral that can be stated as a random matrix model with action of the type $S(D)=N \cdot \mathrm{tr}\, F+\textstyle\sum_i \mathrm{tr}\,A_i \cdot \mathrm{tr} \,B_i $, being $F,A_i $ and $B_i $ noncommutative polynomials in $2^{2n-1}$ complex $N\times N$ matrices that parametrize the Dirac operator $D$. For arbitrary signature---thus for any admissible KO-dimension---formulas for 2-dimensional fuzzy geometries are given up to a sextic polynomial, and up to a quartic polynomial for 4-dimensional ones, with focus on the octo-matrix models for Lorentzian and Riemannian signatures. The noncommutative polynomials $F,A_i $ and $B_i$ are obtained via chord diagrams and satisfy: independence of $N$; self-adjointness of the main polynomial $F$ (modulo cyclic reordering of each monomial); also up to cyclicity, either self-adjointness or anti-self-adjointness of $A_i $ and $B_i $ simultaneously, for fixed $i$. Collectively, this favors a free probabilistic perspective for the large-$N$ limit we elaborate on.


title: Bayesian Generalization Error of Poisson Mixture and Simplex Vandermonde Matrix Type Singularity

abstract: A Poisson mixture is one of the practically important models in computer science, biology, and sociology. However, the theoretical property has not been studied because the posterior distribution can not be approximated by any normal distribution. Such a model is called singular and it is known that Real Log Canonical Threshold (RLCT) is equal to the coefficient of the asymptotically main term of the Bayesian generalization error. In this paper, we derive RLCT of a simplex Vandermonde matrix type singularity which is equal to that of a Poisson mixture in general cases.


title: Automatic segmentation and determining radiodensity of the liver in a large-scale CT database

abstract: This study proposes an automatic technique for liver segmentation in computed tomography (CT) images. Localization of the liver volume is based on the correlation with an optimized set of liver templates developed by the authors that allows clear geometric interpretation. Radiodensity values are calculated based on the boundaries of the segmented liver, which allows identifying liver abnormalities. The performance of the technique was evaluated on 700 CT images from dataset of the Unified Radiological Information System (URIS) of Moscow. Despite the decrease in accuracy, the technique is applicable to CT volumes with a partially visible region of the liver. The technique can be used to process CT images obtained in various patient positions in a wide range of exposition parameters. It is capable in dealing with low dose CT scans in real large-scale medical database with over 1 million of studies.


title: A doubly stochastic block Gauss-Seidel algorithm for solving linear equations

abstract: We propose a simple doubly stochastic block Gauss--Seidel algorithm for solving linear systems of equations. By varying the row partition parameter and the column partition parameter of the coefficient matrix, we recover the Landweber algorithm, the randomized Kaczmarz algorithm, the randomized Gauss--Seidel algorithm, and the doubly stochastic Gauss--Seidel algorithm. For general (consistent or inconsistent) linear systems, we show the exponential convergence of the {\it norms of the expected iterates} via exact formulas. For consistent linear systems, we prove the exponential convergence of the {\it expected norms of the error and the residual}. Numerical experiments are given to illustrate the efficiency of the proposed algorithm.


title: Confidence and discoveries with e-values

abstract: We discuss systematically two versions of confidence regions: those based on p-values and those based on e-values, a recent alternative to p-values. Both versions can be applied to multiple hypothesis testing, and in this paper we are interested in procedures that control the number of false discoveries under arbitrary dependence between the base p- or e-values. We introduce a procedure that is based on e-values and show that it is efficient both computationally and statistically using simulated and real-world datasets. Comparison with the corresponding standard procedure based on p-values is not straightforward, but there are indications that the new one performs significantly better in some situations.


title: Unconventional superconductivity in highly-compressed unannealed sulphur hydride

abstract: While great scientific efforts focus on the synthesis and studies of near-room-temperature (NRT) superconductors exhibited record superconducting transition temperatures (for instance, laser annealed H3S, LaH10 and YHn (n = 4,6,7,9) with Tc > 200 K), unannealed low-Tc counterparts of NRT superconductors stay in the background. However, the formers are part of hydrogen-rich superconductors family and the success in understanding of NRT superconductivity depends on the study of these materials too. In this paper we analyse experimental temperature dependent upper critical field data, Bc2(T), reported by Drozdov et al (Nature 525, 73 (2015)) for unannealed highly-compressed (P = 155 GPa) sulphur hydride with Tc = 46 K and show that this material is unconventional superconductor which exhibits the ratio of Tc to the Fermi temperature, TF, in the range of 0.02 < Tc/TF < 0.05.


title: Modular Parametrization as Polyakov Path Integral: Cases with CM Elliptic Curves as Target Spaces

abstract: For an elliptic curve E over an abelian extension k/K with CM by K of Shimura type, the L-functions of its [k:K] Galois representations are Mellin transforms of Hecke theta functions; a modular parametrization (surjective map) from a modular curve to E pulls back the 1-forms on E to give the Hecke theta functions. This article refines the study of our earlier work and shows that certain class of chiral correlation functions in Type II string theory with [E]_C (E as real analytic manifold) as a target space yield the same Hecke theta functions as objects on the modular curve. The Kahler parameter of the target space [E]_C in string theory plays the role of the index (partially ordered) set in defining the projective/direct limit of modular curves.


title: IT Project Governance in Project Delivery: Key Processes, Activities, Roles and Responsibilities

abstract: The general objective of this work was to contribute to the general body of knowledge and research work in the area of managing IT projects successfully. The office of Government commerce of the UK Government in conjunction with the National Audit came out with a guideline in 2007 which list out eight causes of project failures. Six out of the eight causes were attributed to governance issues (Aon, 2011). This shows clearly that governance activities in project management are really important, and failure to place premium on them can result in failure of projects. The research work was therefore intended to come out with IT governance frameworks that can help resolve the problem of failure of IT projects resulting from governance issues. Four IT program managers and eight IT project managers were talked to on a variety of IT project governance issues. The frameworks were developed based on a combination of literature, experts (IT project and program managers of the telecom industry in Ghana) input, observation, and so on. The governance frameworks depicts project management processes, project activities, project governance activities, roles and responsibilities of key stakeholders, key milestones, approval bodies, signatures, and so on, to ensure successful delivery of IT projects.


title: An improved multivariate version of Kolmogorov's second uniform limit theorem

abstract: The aim of the present work is to show that the results obtained earlier on the approximation of distributions of sums of independent summands by infinitely divisible laws may be transferred to the estimation of the closeness of distributions on convex polyhedra.


title: Monolithic spaces of measures

abstract: For a compact space $K$ we consider the space $P(K)$, of probability regular Borel measures on $K$, equipped with the $weak^\ast$ topology inherited from $C(K)^\ast$. We discuss possible characterizations of those compact spaces $K$ for which $P(K)$ is $\aleph_0$-monolithic. The main result states that under $\diamondsuit$ there exists a nonseparable Corson compact space $K$ such that $P(K)$ is $\aleph_0$-monolithic but $K$ supports a measure of uncountable type.


title: Microlens array grid estimation, light field decoding, and calibration

abstract: We quantitatively investigate multiple algorithms for microlens array grid estimation for microlens array-based light field cameras. Explicitly taking into account natural and mechanical vignetting effects, we propose a new method for microlens array grid estimation that outperforms the ones previously discussed in the literature. To quantify the performance of the algorithms, we propose an evaluation pipeline utilizing application-specific ray-traced white images with known microlens positions. Using a large dataset of synthesized white images, we thoroughly compare the performance of the different estimation algorithms. As an example, we apply our results to the decoding and calibration of light fields taken with a Lytro Illum camera. We observe that decoding as well as calibration benefit from a more accurate, vignetting-aware grid estimation, especially in peripheral subapertures of the light field.


title: Low dilatation pseudo-Anosovs on punctured surfaces and volume

abstract: For a pseudo-Anosov homeomorphism $f$ on a closed surface of genus $g\geq 2$, for which the entropy is on the order $\frac{1}{g}$ (the lowest possible order), Farb-Leininger-Margalit showed that the volume of the mapping torus is bounded, independent of $g$. We show that the analogous result fails for a surface of fixed genus $g$ with $n$ punctures, by constructing pseudo-Anosov homeomorphism with entropy of the minimal order $\frac{\log n}{n}$, and volume tending to infinity.


title: Nearly accurate solutions for Ising-like models using Maximal Entropy Random Walk

abstract: While one-dimensional Markov processes are well understood, going to higher dimensions there are only a few analytically solved Ising-like models, in practice requiring to use relatively costly, uncontrollable and inaccurate Monte-Carlo methods. There is discussed analytical approach for e.g. $width\times \infty$ approximation of lattice, also exploiting Hammersley-Clifford theorem to generate random Gibbs/Markov field through scanning line-by-line using local statistical model as in lossless image compression. While its conditional distributions could be found with Monte-Carlo methods, there is discussed use of Maximal Entropy Random Walk (MERW) to calculate them from approximation of lattice as infinite in one direction and finite in the remaining. Specifically, in the finite directions there is built alphabet of all patterns, then transition matrix containing energy for all pairs of such patterns is built, from its dominant eigenvector getting probability distribution of pairs of patterns in Boltzmann distribution of their infinite sequences, which can be translated into local statistical model for line-by-line scan. Such inexpensive models, requiring seconds on a laptop for attached implementation and directly providing probability distributions of patterns, were tested for mean entropy and energy per node, getting maximal $\approx 0.02$ error from analytical solution near critical point, which quickly improves to extremely accurate e.g. $\approx 10^{-10}$ error for $J\approx 0.2$.


title: Robust Positioning Patterns with Low Redundancy

abstract: A robust positioning pattern is a large array that allows a mobile device to locate its position by reading a possibly corrupted small window around it. In this paper, we provide constructions of binary positioning patterns, equipped with efficient locating algorithms, that are robust to a constant number of errors and have redundancy within a constant factor of optimality. Furthermore, we modify our constructions to correct rank errors and obtain binary positioning patterns robust to any errors of rank less than a constant number. Additionally, we construct $q$-ary robust positioning sequences robust to a large number of errors, some of which have length attaining the upper bound. Our construction of binary positioning sequences that are robust to a constant number of errors has the least known redundancy amongst those explicit constructions with efficient locating algorithms. On the other hand, for binary robust positioning arrays, our construction is the first explicit construction whose redundancy is within a constant factor of optimality. The locating algorithms accompanying both constructions run in time cubic in sequence length or array dimension.


title: Useful relations among the generators in the defining and adjoint representations of SU(N)

abstract: There are numerous relations among the generators in the defining and adjoint representations of SU(N). These include Casimir operators, formulae for traces of products of generators, etc. Due to the existence of the completely symmetric tensor $d_{abc}$ that arises in the study of the SU(N) Lie algebra, one can also consider relations that involve the adjoint representation matrix, $(D^a)_{bc}=d_{abc}$. In this review, we summarize many useful relations satisfied by the defining and adjoint representation matrices of SU(N). A few relations special to the case of N=3 are highlighted.


title: Implementation of the HMC algorithm on the tempered Lefschetz thimble method

abstract: The tempered Lefschetz thimble method (TLTM) is a parallel-tempering algorithm towards solving the numerical sign problem, where the system is tempered by the antiholomorphic gradient flow to tame both the sign and ergodicity problems simultaneously. In this paper, we implement the hybrid Monte Carlo (HMC) algorithm for transitions on each flowed surface, expecting that this implementation on TLTM will give a useful framework for future computations of large-scale systems including fermions. Although the use of HMC in Lefschetz thimble methods has been proposed so far, our crucial achievement here is that HMC is implemented on TLTM so as to work within the parallel-tempering algorithm in TLTM, especially by developing an algorithm to handle zeros of fermion determinants in the course of the molecular-dynamics process. We confirm that the algorithm works correctly by applying it to the sign problem of the Hubbard model on a small lattice, for which the TLTM is known to work with the Metropolis algorithm. We show that the use of HMC significantly reduces the autocorrelation times with less computational times compared to the Metropolis algorithm.


title: Preconditioners for Fractional Diffusion Equations Based on the Spectral Symbol

abstract: It is well known that the discretization of fractional diffusion equations (FDEs) with fractional derivatives $\alpha\in(1,2)$, using the so-called weighted and shifted Gr\"unwald formula, leads to linear systems whose coefficient matrices show a Toeplitz-like structure. More precisely, in the case of variable coefficients, the related matrix sequences belong to the so-called Generalized Locally Toeplitz (GLT) class. Conversely, when the given FDE have constant coefficients, using a suitable discretization, we encounter a Toeplitz structure associated to a nonnegative function $\mathcal{F}_\alpha$, called the spectral symbol, having a unique zero at zero of real positive order between one and two. For the fast solution of such systems by preconditioned Krylov methods, several preconditioning techniques have been proposed in both the one and two dimensional cases. In this note we propose a new preconditioner denoted by $\mathcal{P}_{\mathcal{F}_\alpha}$ which belongs to the $\tau$ algebra and it is based on the spectral symbol $\mathcal{F}_\alpha$. Comparing with some of the previously proposed preconditioners, we show that although the low band structure preserving preconditioners are more effective in the one-dimensional case, the new preconditioner performs better in the more challenging multi-dimensional setting.


title: Stochastic gradient-free descents

abstract: In this paper we propose stochastic gradient-free methods and accelerated methods with momentum for solving stochastic optimization problems. All these methods rely on stochastic directions rather than stochastic gradients. We analyze the convergence behavior of these methods under the mean-variance framework, and also provide a theoretical analysis about the inclusion of momentum in stochastic settings which reveals that the momentum term we used adds a deviation of order $\mathcal{O}(1/k)$ but controls the variance at the order $\mathcal{O}(1/k)$ for the $k$th iteration. So it is shown that, when employing a decaying stepsize $\alpha_k=\mathcal{O}(1/k)$, the stochastic gradient-free methods can still maintain the sublinear convergence rate $\mathcal{O}(1/k)$ and the accelerated methods with momentum can achieve a convergence rate $\mathcal{O}(1/k^2)$ in probability for the strongly convex objectives with Lipschitz gradients; and all these methods converge to a solution with a zero expected gradient norm when the objective function is nonconvex, twice differentiable and bounded below.


title: Can Lorentz Invariance Violation affect the Sensitivity of Deep Underground Neutrino Experiment?

abstract: We examine the impact of Lorentz Invariance Violation (LIV) in measuring the octant of $\theta_{23}$ and CP phases in the context of the Deep Underground Neutrino Experiment (DUNE). We consider the CPT-violating LIV parameters involving $e - \mu$ ($a_{e\mu}$) and $e - \tau$ ($a_{e\tau}$) flavors, which induce an additional interference term in neutrino and antineutrino appearance probabilities. This new interference term depends on both the standard CP phase $\delta$ and the new dynamical CP phase $\varphi_{e\mu}$/$\varphi_{e\tau}$, giving rise to new degeneracies among ($\theta_{23}$, $\delta$, $\varphi$). Taking one LIV parameter at-a-time and considering a small value of $|a_{e\mu}| = |a_{e\tau}| = 5 \times 10^{-24}$ GeV, we find that the octant discovery potential of DUNE gets substantially deteriorated for unfavorable combinations of $\delta$ and $\varphi_{e\mu}$/$\varphi_{e\tau}$. The octant of $\theta_{23}$ can only be resolved at $3\sigma$ if the true value of $\sin^2\theta_{23} \lesssim 0.42$ or $\gtrsim 0.62$ for any choices of $\delta$ and $\varphi$. Interestingly, we also observe that when both the LIV parameters $a_{e\mu}$ and $a_{e\tau}$ are present together, they cancel out the impact of each other to a significant extent, allowing DUNE to largely regain its octant resolution capability. We also reconstruct the CP phases $\delta$ and $\varphi_{e\mu}$/$\varphi_{e\tau}$. The typical $1\sigma$ uncertainty on $\delta$ is $10^{\circ}$ to $15^{\circ}$ and the same on $\varphi_{e\mu}$/$\varphi_{e\tau}$ is $25^{\circ}$ to $30^{\circ}$ depending on the choices of their true values.


title: Attention-based gated scaling adaptative acoustic model for ctc-based speech recognition

abstract: In this paper, we propose a novel adaptive technique that uses an attention-based gated scaling (AGS) scheme to improve deep feature learning for connectionist temporal classification (CTC) acoustic modeling. In AGS, the outputs of each hidden layer of the main network are scaled by an auxiliary gate matrix extracted from the lower layer by using attention mechanisms. Furthermore, the auxiliary AGS layer and the main network are jointly trained without requiring second-pass model training or additional speaker information, such as speaker code. On the Mandarin AISHELL-1 datasets, the proposed AGS yields a 7.94% character error rate (CER). To the best of our knowledge, this result is the best recognition accuracy achieved on this dataset by using an end-to-end framework.


title: Building Confidence in Scientific Computing Software Via Assurance Cases

abstract: Assurance cases provide an organized and explicit argument for correctness. They can dramatically improve the certification of Scientific Computing Software (SCS). Assurance cases have already been effectively used for safety cases for real time systems. Their advantages for SCS include engaging domain experts, producing only necessary documentation, and providing evidence that can be verified/replicated. This paper illustrates assurance cases for SCS through the correctness case for 3dfim+, an existing Medical Imaging Application (MIA) for analyzing activity in the brain. This example was partly chosen because of recent concerns about the validity of fMRI (Functional Magnetic Resonance Imaging) studies. The example justifies the value of assurance cases for SCS, since the existing documentation is shown to have ambiguities and omissions, such as an incompletely defined ranking function and missing details on the coordinate system. A serious concern for 3dfim+ is identified: running the software does not produce any warning about the necessity of using data that matches the parametric statistical model employed for the correlation calculations. Raising the bar for SCS in general, and MIA in particular, is both feasible and necessary - when software impacts safety, an assurance case methodology (or an equivalently rigorous confidence building methodology) should be employed.


title: Learning in Discounted-cost and Average-cost Mean-field Games

abstract: We consider learning approximate Nash equilibria for discrete-time mean-field games with nonlinear stochastic state dynamics subject to both average and discounted costs. To this end, we introduce a mean-field equilibrium (MFE) operator, whose fixed point is a mean-field equilibrium (i.e. equilibrium in the infinite population limit). We first prove that this operator is a contraction, and propose a learning algorithm to compute an approximate mean-field equilibrium by approximating the MFE operator with a random one. Moreover, using the contraction property of the MFE operator, we establish the error analysis of the proposed learning algorithm. We then show that the learned mean-field equilibrium constitutes an approximate Nash equilibrium for finite-agent games.


title: A general higher-order shell theory for compressible isotropic hyperelastic materials using orthonormal moving frame

abstract: The aim of this study is three-fold: (i) to present a general higher-order shell theory to analyze large deformations of thin or thick shell structures made of general compressible hyperelastic materials; (ii) to utilize the orthonormal or Cartans moving frame in the formulation of shell theory in contrast to the classical tensorial covariant coordinate system; and (iii) to present the nonlinear weak-form Galerkin finite element model for the given shell theory. The displacement field of a point on the line normal to the shell reference surface is approximated by the Taylor series or Legendre polynomials. The kinematics of motion in the assumed coordinate system is derived using the tools of exterior calculus. The use of an orthonormal moving frame makes it possible to represent kinematic quantities, e.g., determinant of the deformation gradient, in a far more efficient manner than the classical tensorial representation of the same with covariant bases. The manipulation of the various tensor used in the kinematics and dynamics of the structures can be carried out with ease and a more computationally efficient manner. The governing equation of the shell has been derived in the general surface coordinates. The methodology developed herein is very much algorithmic, and hence it can also be applied for any arbitrary interpolated surfaces with equal ease. The higher-order nature of the approximation of the displacement field makes the theory suitable for analyzing thick and thin shell structures. The compressible hyperelastic material model used as the constitutive relation of the material. The formulation presented herein can be specialized for various nonlinear hyperelastic constitutive models suitable for use, for example, in bio-mechanics and other soft-material problems (e.g., neo-Hookean material, Mooney-Rivlin material, Generalized power-law neo-Hookean material, and so on).


title: Neutrino evolution and quantum decoherence

abstract: Neutrino interactions with an external environment can in influence the neutrino oscillation pattern and the oscillations can be damped as a result of the neutrino quantum decoherence. In particular, the quantum decoherence of neutrino states engendered by the neutrino radiative decay accounting for the nonstandard interactions (NSI) leads to the suppression of flavor neutrino oscillations in the solar neutrino fluxes.


title: A note on universal operators between separable Banach spaces

abstract: We compare two types of universal operators constructed relatively recently by Cabello S\'anchez, and the authors. The first operator $\Omega$ acts on the Gurarii space, while the second one $P_S$ has values in a fixed separable Banach space $S$. We show that if $S$ is the Gurarii space, then both operators are isometric. We also prove that, for a fixed space $S$, the operator $P_S$ is isometrically unique. Finally, we show that $\Omega$ is generic in the sense of a natural infinite game.


title: The effect of neutrino quantum decoherence

abstract: The neutrino oscillation patterns can be modified by neutrino interactions with external environments including electromagnetic fields that can influence on neutrinos in the case neutrinos have nonzero electromagnetic properties [1]. The phenomenon of neutrino oscillations can proceed only in the case of the coherent superposition of neutrino mass states. An external environment can modify a neutrino evolution in a way that conditions for the coherent superposition of neutrino mass states are violated. Such a violation is called quantum decoherence of neutrino states and leads to the suppression of flavor neutrino oscillations [2, 3]. Note that neutrino decoherence appeared due to the wave separation of different mass states is usually not related to quantum neutrino decoherence, the effect that is not considered below. We consider the neutrino quantum decoherence due to neutrino radiative decay in the presence of an electron medium and radiation field. The corresponding damping of neutrino oscillations is calculated.


title: Shallow water equations in Lagrangian coordinates: symmetries, conservation laws and its preservation in difference models

abstract: The one-dimensional shallow water equations in Eulerian and Lagrangian coordinates are considered. It is shown the relationship between symmetries and conservation laws in Lagrangian (potential) coordinates and symmetries and conservation laws in mass Lagrangian variables. For equations in Lagrangian coordinates with a flat bottom an invariant difference scheme is constructed which possesses all the difference analogues of the conservation laws: mass, momentum, energy, the law of center of mass motion. Some exact invariant solutions are constructed for the invariant scheme, while the scheme admits reduction on subgroups as well as the original system of equations. For an arbitrary shape of bottom it is possible to construct an invariant scheme with conservation of mass and momentum or energy. Invariant conservative difference scheme for the case of a flat bottom tested numerically in comparison with other known schemes.


title: Geodesic boundary of constant mean curvature surfaces in $\mathbb{H}^2\times \mathbb{R}$

abstract: Some results about the geodesic boundary of minimal surfaces in $\mathbb{H}^2\times \mathbb{R}$ are generalized for surfaces of constant mean curvature surfaces $H$, with $0\le H\le 1/2$.