title: Understanding Static Code Warnings: an Incremental AI Approach

abstract: Knowledge-based systems reason over some knowledge base. Hence, an important issue for such systems is how to acquire the knowledge needed for their inference. This paper assesses active learning methods for acquiring knowledge for "static code warnings". Static code analysis is a widely-used method for detecting bugs and security vulnerabilities in software systems. As software becomes more complex, analysis tools also report lists of increasingly complex warnings that developers need to address on a daily basis. Such static code analysis tools are usually over-cautious; i.e. they often offer many warnings about spurious issues. Previous research work shows that about 35% to 91% of warnings reported as bugs by SA tools are actually unactionable (i.e., warnings that would not be acted on by developers because they are falsely suggested as bugs). Experienced developers know which errors are important and which can be safely ignored. How can we capture that experience? This paper reports on an incremental AI tool that watches humans reading false alarm reports. Using an incremental support vector machine mechanism, this AI tool can quickly learn to distinguish spurious false alarms from more serious matters that deserve further attention. In this work, nine open-source projects are employed to evaluate our proposed model on the features extracted by previous researchers and identify the actionable warnings in a priority order given by our algorithm. We observe that our model can identify over 90% of actionable warnings when our methods tell humans to ignore 70 to 80% of the warnings.


title: Hopf algebras arising from dg manifolds

abstract: Let $(\mathcal{M}, Q)$ be a dg manifold. The space of vector fields with shifted degrees $(\mathcal{X}(\mathcal{M})[-1], L_Q)$ is a Lie algebra object in the homology category $\mathrm{H}((C^{\infty}_{\mathcal{M}},Q)\mathrm{-}\mathbf{mod})$ of dg modules over $(\mathcal{M},Q)$, the Atiyah class $\alpha_{\mathcal{M}}$ being its Lie bracket. The triple $(\mathcal{X}(\mathcal{M})[-1], L_Q; \alpha_{\mathcal{M}})$ is also a Lie algebra object in the Gabriel-Zisman homotopy category $\Pi((C^{\infty}_{\mathcal{M}},Q)\mathrm{-}\mathbf{mod})$. In this paper, we describe the universal enveloping algebra of $(\mathcal{X}(\mathcal{M})[-1], L_Q; \alpha_{\mathcal{M}})$ and prove that it is a Hopf algebra object in $\Pi((C^{\infty}_{\mathcal{M}},Q)\mathrm{-}\mathbf{mod})$. As an application, we study Fedosov dg Lie algebroids and recover a result of Sti\'enon, Xu, and the second author on the Hopf algebra arising from a Lie pair.


title: Quantum Walks in Periodic and Quasiperiodic Fibonacci Fibers

abstract: Quantum walk is a key operation in quantum computing, simulation, communication and information. Here, we report for the first time the demonstration of quantum walks and localized quantum walks in a new type of optical fibers having a ring of cores constructed with both periodic and quasiperiodic Fibonacci sequences, respectively. Good agreement between theoretical and experimental results have been achieved. The new multicore ring fibers provide a new platform for experiments of quantum effects in low-loss optical fibers which is critical for scalability of real applications with large-size problems. Furthermore, our new quasiperiodic Fibonacci multicore ring fibers provide a new class of quasiperiodic photonics lattices possessing both on- and off-diagonal deterministic disorders for realizing localized quantum walks deterministically. The proposed Fibonacci fibers are simple and straightforward to fabricate and have a rich set of properties that are of potential use for quantum applications. Our simulation and experimental results show that, in contrast with randomly disordered structures, localized quantum walks in new proposed quasiperiodic photonics lattices are highly controllable due to the deterministic disordered nature of quasiperiodic systems.


title: Physical properties of the fluorine and neutron-capture element-rich PN Jonckheere 900

abstract: We performed detailed spectroscopic analyses of a young C-rich planetary nebula (PN) Jonckheere900 (J900) in order to characterise the properties of the central star and nebula. Of the derived 17 elemental abundances, we present the first determination of eight elemental abundances. We present the first detection of the [F IV] 4059.9 A, [F V] 13.4 um, and [Rb IV] 5759.6 A lines in J900. J900 exhibits a large enhancement of F and neutron-capture elements Se, Kr, Rb, and Xe. We investigated the physical conditions of the H2 zone using the newly detected mid-IR H2 lines while also using the the previously measured near-IR H2 lines, which indicate warm (~670 K) and hot (~3200 K) temperature regions. We built the spectral energy distribution (SED) model to be consistent with all the observed quantities. We found that about 67 % of all dust and gas components (4.5x10^-4 Msun and 0.83 Msun, respectively) exists beyond the ionisation front, indicating critical importance of photodissociation regions in understanding stellar mass loss. The best-fitting SED model indicates that the progenitor evolved from an initially ~2.0 Msun star which had been in the course of the He-burning shell phase. Indeed, the derived elemental abundance pattern is consistent with that predicted by a asymptotic giant branch star nucleosynthesis model for a 2.0 Msun star with Z = 0.003 and partial mixing zone mass of 6.0x10^-3 Msun. Our study demonstrates how accurately determined abundances of C/F/Ne/neutron-capture elements and gas/dust masses help us understand the origin and the internal evolution of the PN progenitors.


title: Personalized Robo-Advising: Enhancing Investment through Client Interaction

abstract: Automated investment managers, or robo-advisors, have emerged as an alternative to traditional financial advisors. The viability of robo-advisors crucially depends on their ability to offer personalized financial advice. We introduce a novel framework, in which a robo-advisor interacts with a client to solve an adaptive mean-variance portfolio optimization problem. The risk-return tradeoff adapts to the client's risk profile, which depends on idiosyncratic characteristics, market returns, and economic conditions. We show that the optimal investment strategy includes both myopic and intertemporal hedging terms which are impacted by the dynamics of the client's risk profile. We characterize the optimal portfolio personalization via a tradeoff faced by the robo-advisor between receiving client information in a timely manner and mitigating behavioral biases in the risk profile communicated by the client. We argue that the optimal portfolio's Sharpe ratio and return distribution improve if the robo-advisor counters the client's tendency to reduce market exposure during economic contractions when the market risk-return tradeoff is more favorable.


title: Dynamically Produced Moving Groups in Interacting Simulations

abstract: We show that Smoothed Particle Hydrodynamics (SPH) simulations of dwarf galaxies interacting with a Milky Way-like disk produce moving groups in the simulated stellar disk. We analyze three different simulations: one that includes dwarf galaxies that mimic the Large Magellanic Cloud, Small Magellanic Cloud and the Sagittarius dwarf spheroidal; another with a dwarf galaxy that orbits nearly in the plane of the Milky Way disk; and a null case that does not include a dwarf galaxy interaction. We present a new algorithm to find large moving groups in the $V_R, V_\phi$ plane in an automated fashion that allows us to compare velocity sub-structure in different simulations, at different locations, and at different times. We find that there are significantly more moving groups formed in the interacting simulations than in the isolated simulation. A number of dwarf galaxies are known to orbit the Milky Way, with at least one known to have had a close pericenter approach. Our analysis of simulations here indicates that dwarf galaxies like those orbiting our Galaxy produce large moving groups in the disk. Our analysis also suggests that some of the moving groups in the Milky Way may have formed due to dynamical interactions with perturbing dwarf satellites. The groups identified in the simulations by our algorithm have similar properties to those found in the Milky Way, including similar fractions of the total stellar population included in the groups, as well as similar average velocities and velocity dispersions.


title: A Legendrian Turaev torsion via generating families

abstract: We introduce a Legendrian invariant built out of the Turaev torsion of generating families. This invariant is defined for a certain class of Legendrian submanifolds of 1-jet spaces, which we call of Euler type. We use our invariant to study mesh Legendrians: a family of 2-dimensional Euler type Legendrian links whose linking pattern is determined by a bicolored trivalent ribbon graph. The Turaev torsion of mesh Legendrians is related to a certain monodromy of handle slides, which we compute in terms of the combinatorics of the graph. As an application, we exhibit pairs of Legendrian links in the 1-jet space of any orientable closed surface which are formally equivalent, cannot be distinguished by any natural Legendrian invariant, yet are not Legendrian isotopic. These examples appeared in a different guise in the work of the second author with J. Klein on pictures for $K_3$ and the higher Reidemeister torsion of circle bundles.


title: Structure of Spectra of Precompletions

abstract: Let T be a complete local (Noetherian) ring and let A be a local subring of T such that the completion of A with respect to its maximal ideal is T. We investigate the possible structures of the partially ordered set Spec(A). Specifically, we explore the minimal prime ideals of A and their formal fibers, the maximal chains of prime ideals in A, and the number of prime ideals in A containing combinations of minimal prime ideals of A.


title: Bursting and quenching in satellite galaxies

abstract: The difference in stellar metallicity between red and blue galaxies with the same mass constrains the timescale over which red galaxies ceased to form stars. Here we investigate this constraint with the GalICS 2.0 semi-analytic model of galaxy formation. The advantage of this approach is that the time of pericentric passages for satellite galaxies and the mass-loading factor for galactic winds are not free parameters of the chemical evolution model. The former is determined by the N-body simulation used to construct the merger trees, the latter by the requirement that GalICS 2.0 should reproduce the stellar mass function of galaxies. When we compare our theoretical predictions with observations, we find that GalICS 2.0 can reproduce the observed metallicity difference only if quenching is preceded by a burst of star formation, which contributes to the chemical enrichment of the stellar population. Physically, this burst can be explained as tidally-induced star formation or as an effect of ram pressure, which not only strips gas from galaxies but also compresses it, accelerating its conversion into stars.


title: D meson sensitivity to a system size scan at LHC

abstract: Experimental measurements in pA collisions indicate no D meson suppression ($R_{\rm pPb} \sim 1$) but a surprisingly large $v_2$. To better understand these results we propose a system size scan at the LHC involving $^{16}$OO, $^{40}$ArAr, $^{129}$XeXe and $^{208}$PbPb collisions. Using Trento+ v-USPhydro+DAB-MOD to make predictions, we find that the $R_{\rm AA}$ tends towards unity when the system size is decreased, but nonetheless, in the most central collisions $v_2\{2\}$ is almost independent of the colliding system. These results are analyzed in light of path length and initial eccentricity variations.


title: Periodic Orbits on Obtuse Edge Tessellating Polygons

abstract: A periodic orbit on a frictionless billiard table is a piecewise linear path of a billiard ball that begins and ends at the same point with the same angle of incidence. The period of a primitive periodic orbit is the number of times the ball strikes a side of the table as it traverses its trajectory exactly once. In this paper we find and classify the periodic orbits on a billiard table in the shape of a 120-isosceles triangle, a 60-rhombus, a 60-90-120-kite, and a 30-right triangle. In each case, we use the edge tessellation (also known as tiling) of the plane generated by the figure to unfold a periodic orbit into a straight line segment and to derive a formula for its period in terms of the initial angle and initial position.


title: Recent results from NA61/SHINE

abstract: The research programme of the NA61 collaboration covers a wide range of hadronic physics in the CERN SPS energy range, encompassesing measurements of hadron-hadron, hadron-nucleus as well as nucleus-nucleus collisions. The latter are analysed to better understand the properties of hot and dense nuclear matter. In this paper recent results of particle production properties as well event by event fluctuations in proton-proton, Be+Be and Ar+Sc interactions at beam energies of 19A/20A, 30A, 40A, 75A/80A and 158A GeV/c are presented.


title: Hierarchical Bayesian Model for Probabilistic Analysis of Electric Vehicle Battery Degradation

abstract: This paper proposes a hierarchical Bayesian model for probabilistic estimation of the electric vehicle battery capacity fade. Since the battery aging factors such as temperature, current, and state of charge are not fixed, and they change in different times, locations and by the different users, deterministic models with constant parameters cannot accurately evaluate the battery capacity fade. Therefore, a probabilistic presentation of the capacity fade including uncertainties of the measurements or observations of the variables can be a proper solution. We have developed a hierarchical Bayesian Network model for the electric vehicle battery capacity fade considering multiple external variables. The mathematical expression of the model is extracted based on Bayes theorem, the probability distributions for all variables and their dependencies are carefully chosen where the Metropolis Hastings Markov Chain Monte Carlo sampling method is applied to generate the posterior distributions. The model is trained with 85 percent of experimental data to obtain its unseen parameters and tested with other 15 percent of data to prove its accuracy. Also, three case studies for different drivers, different grid services frequencies, and different climates are explored to show model flexibility with different input data. The developed model needs training data for parameter tuning in different conditions. However, after training, it has more than 95 percent precision in estimating the battery capacity fade percentage.


title: Weyl-Kondo semimetals in nonsymmorphic systems

abstract: There is considerable current interest to explore electronic topology in strongly correlated metals, with heavy fermion systems providing a promising setting. Recently, a Weyl-Kondo semimetal phase has been concurrently discovered in theoretical and experimental studies. The theoretical work was carried out in a Kondo lattice model that is time-reversal invariant but inversion-symmetry breaking. In this paper, we show in some detail how nonsymmorphic space-group symmetry and strong correlations cooperate to form Weyl nodal excitations with highly reduced velocity and pin the resulting Weyl nodes to the Fermi energy. A tilted variation of the Weyl-Kondo solution is further analyzed here, following the recent consideration of such effect in the context of understanding a large spontaneous Hall effect in Ce$_3$Bi$_4$Pd$_3$ (Dzsaber et al., arXiv:1811.02819). We discuss the implications of our results for the enrichment of the global phase diagram of heavy fermion metals, and for the space-group symmetry enforcement of topological semimetals in other strongly correlated settings.


title: Polynomial ballisticity conditions in mixing environments

abstract: We prove ballistic behaviour as well as an annealed functional central limit theorem for random walks in mixing random environments (RWRE). The ballistic hypothesis will be an effective polynomial condition as the one introduced by Berger, Drewitz, and Ram\'{\i}rez (\emph{Comm. Pure Appl. Math,} {\bf 67}, (2014) 1947--1973). The novel idea therein was the construction of several simultaneous renormalization steps, providing more flexibility for seed estimates. For our proof, we indeed follow a similar path, and introduce a new mixing effective criterion which will be implied by the polynomial condition. This allows us to prove, in a mixing framework, the RWRE conjecture concerning the equivalence between each condition $(T^\gamma)|\ell$, for $\gamma\in (0,1)$ and $\ell \in \mathbb S^{d-1}$. This work complements the previous work of Guerra (\emph{Ann. Probab.} {\bf 47} (2019) 3003--3054) and completes the answer about the meaning of condition $(T')|\ell$ in a mixing setting, an open question posed by Comets and Zeitouni (\emph{Ann. Probab.} {\bf 32} (2004) 880--914).


title: Providing Input-Discriminative Protection for Local Differential Privacy

abstract: Local Differential Privacy (LDP) provides provable privacy protection for data collection without the assumption of the trusted data server. In the real-world scenario, different data have different privacy requirements due to the distinct sensitivity levels. However, LDP provides the same protection for all data. In this paper, we tackle the challenge of providing input-discriminative protection to reflect the distinct privacy requirements of different inputs. We first present the Input-Discriminative LDP (ID-LDP) privacy notion and focus on a specific version termed MinID-LDP, which is shown to be a fine-grained version of LDP. Then, we focus on the application of frequency estimation and develop the IDUE mechanism based on Unary Encoding for single-item input and the extended mechanism IDUE-PS (with Padding-and-Sampling protocol) for item-set input. The results on both synthetic and real-world datasets validate the correctness of our theoretical analysis and show that the proposed mechanisms satisfying MinID-LDP have better utility than the state-of-the-art mechanisms satisfying LDP due to the input-discriminative protection.


title: Magnetic field and thermal Hall effect in a pyrochlore U(1) quantum spin liquid

abstract: The antiferromagnetic system on a rare-earth pyrochlore has been focused as a strong candidate of U(1) quantum spin liquid. Here, we study the phase transitions driven by external magnetic field and discuss the large thermal Hall effect due to emergent spinon excitations with staggered gauge fields. Despite the spinons, the charge excitations of the effective action that carry spin-1/2 quantum number, do not couple to the external field, the emergent U(1) gauge field is influenced in the presence of external magnetic field. Especially along [111] and [110]-directions, we discuss the possible phase transitions between U(1) spin liquids with different gauge fluxes are stabilized in fields. Beyond the cases where gauge flux per plaquette are fixed to be either 0 or $\pi$, there exists a regime where the staggered gauge fluxes are stabilized without time reversal symmetry. In such a phase, the large thermal Hall conductivity $\kappa_{xy}/T\sim 4.6\times 10^{-3}\text{W}/(\text{K}^2\cdot\text{m})$ is expected to be observed below 1K.


title: Nonstationary iterative processes

abstract: In this paper we present iterative methods of high efficiency by the criteria of J. F. Traub and A. M. Ostrowski. We define {\it s-nonstationary iterative processes} and prove that, for any one-point iterative process without memory, such as, for example, Newton's, Halley's, Chebyshev's methods, there exists an s-nonstationary process of the same order, but of higher efficiency. We supply constructions of these methods, obtain their properties and, for some of them, also their geometric interpretation. The algorithms we present can be transformed into computer programs in straight-forward manner. The methods are demonstrated by numerical examples.


title: Pseudo-Hermitian approach to Goldstone's theorem in non-Abelian non-Hermitian quantum field theories

abstract: We generalise previous studies on the extension of Goldstone's theorem from Hermitian to non-Hermitian quantum field theories with Abelian symmetries to theories possessing a glocal non-Abelian symmetry. We present a detailed analysis for a non-Hermitian field theory with two complex two component scalar fields possessing a SU(2)-symmetry and indicate how our finding extend to the general case. In the PT-symmetric regime and at the standard exceptional point the Goldstone theorem is shown to apply, although different identification procedures need to be employed. At the zero exceptional points the Goldstone boson can not be identified. Comparing our approach, based on the pseudo-Hermiticity of the model, to an alternative approach that utilises surface terms to achieve compatibility for the non-Hermitian system, we find that the explicit forms of the Goldstone boson fields are different.