title: Proofs of two conjectures on Catalan triangle numbers

abstract: We prove two conjectures on sums of products of Catalan triangle numbers, which were originally conjectured by Miana, Ohtsuka, and Romero [Discrete Math. 340 (2017), 2388--2397]. The first one is proved by using Zeilberger's algorithm, and the second one is proved by establishing its $q$-analogue.


title: Pressure Evolution of Magnetism in URhGa

abstract: In this paper, we report the results of an ambient and high pressure study of a 5f-electron ferromagnet URhGa. The work is focused on measurements of magnetic and thermodynamic properties of a single crystal sample and on the construction of the p-T phase diagram. Diamond anvil cells were employed to measure the magnetization and electrical resistivity pressures up to ~ 9 GPa. At ambient pressure, URhGa exhibits collinear ferromagnetic ordering of uranium magnetic moments {\mu}U ~ 1.1 {\mu}B (at 2 K) aligned along the c-axis of the hexagonal crystal structure below the Curie temperature TC = 41K. With the application of pressure up to 5GPa the ordering temperature TC initially increases whereas the saturated moment slightly decreases. The rather unexpected evolution is put in the context of the UTX family of compounds.


title: Evidence for the existence of abundant intracluster light at z= 1.24

abstract: Intracluster stars are believed to be unbound from their progenitor galaxies and diffused throughout the galaxy cluster, creating intracluster light (ICL). However, when and how these stars form are still in debate. To directly constrain the origin, one powerful method is to study clusters at the epoch when mature galaxy clusters began to appear. We report measurements of the spatial distribution, color, and quantity of diffuse intracluster stars for a massive galaxy cluster at a redshift of 1.24. This is the most distant galaxy cluster to date for which those three properties of the ICL have been quantified simultaneously. Our detection of the significant ICL fraction in this unprecedentedly high redshift regime strongly indicates that intracluster stars, contrary to most previous studies, might have formed during a short period and early in the history of the Virgo-like massive cluster formation and might be concurrent with the formation of the brightest cluster galaxy.


title: Mixed Hodge structures and representations of fundamental groups of algebraic varieties

abstract: Given a complex variety $X$, a linear algebraic group $G$ and a representation $\rho$ of the fundamental group $\pi\_1(X,x)$ into $G$, we develop a framework for constructing a functorial mixed Hodge structure on the formal local ring of the representation variety of $\pi\_1(X,x)$ into $G$ at $\rho$ using mixed Hodgediagrams and methods of $L\_\infty$ algebras. We apply it in two geometric situations: either when $X$ is compact K{\"a}hler and $\rho$ is the monodromy of a variation of Hodge structure, or when $X$ is smooth quasi-projective and $\rho$ has finite image.


title: Methodological Approach for the Evaluation of an Adaptive and Assistive Human-Machine System

abstract: With the increasing complexity of modern industrial automatic and robotic systems, an increasing burden is put on the operators, who are requested to supervise and interact with such complex systems, typically under challenging and stressful conditions. To overcome this issue, it is necessary to adopt a responsible approach based on the anthropocentric design methodology, such that machines adapt to the humans capabilities. Moving along these lines, a methodological approach called MATE was introduced in [1], which consists in devising complex automatic or robotic solutions that measure current operator's status, adapting the interaction accordingly, and providing her/him with proper training to improve the interaction and learn lacking skills and expertise. In this paper we propose an evaluation and validation procedure to guarantee the achievement of the requirements of a MATE system.


title: Guest Editorial: Special Topic on Data-enabled Theoretical Chemistry

abstract: A survey of the contributions to the Special Topic on Data-enabled Theoretical Chemistry is given, including a glossary of relevant machine learning terms.


title: Asymptotics of the $D^8 R^4$ genus-two string invariant

abstract: We continue our investigation of the modular graph functions and string invariants that arise at genus-two as coefficients of low energy effective interactions in Type II superstring theory. In previous work, the non-separating degeneration of a genus-two modular graph function of weight $w$ was shown to be given by a Laurent polynomial in the degeneration parameter $t$ of degree $(w,w)$. The coefficients of this polynomial generalize genus-one modular graph functions, up to terms which are exponentially suppressed in $t$ as $t \to \infty$. In this paper, we evaluate this expansion explicitly for the modular graph functions associated with the $D^8 {\cal R}^4$ effective interaction for which the Laurent polynomial has degree $(2,2)$. We also prove that the separating degeneration is given by a polynomial in the degeneration parameter $\ln (|v|)$ up to contributions which are power-behaved in $v$ as $v \to 0$. We further extract the complete, or tropical, degeneration and compare it with the independent calculation of the integrand of the sum of Feynman diagrams that contributes to two-loop type II supergravity expanded to the same order in the low energy expansion. We find that the tropical limit of the string theory integrand reproduces the supergravity integrand as its leading term, but also includes sub-leading terms proportional to odd zeta values that are absent in supergravity and can be ascribed to higher-derivative stringy interactions.


title: Traffic state estimation using stochastic Lagrangian dynamics

abstract: This paper proposes a new stochastic model of traffic dynamics in Lagrangian coordinates. The source of uncertainty is heterogeneity in driving behavior, captured using driver-specific speed-spacing relations, i.e., parametric uncertainty. It also results in smooth vehicle trajectories in a stochastic context, which is in agreement with real-world traffic dynamics and, thereby, overcoming issues with aggressive oscillation typically observed in sample paths of stochastic traffic flow models. We utilize ensemble filtering techniques for data assimilation (traffic state estimation), but derive the mean and covariance dynamics as the ensemble sizes go to infinity, thereby bypassing the need to sample from the parameter distributions while estimating the traffic states. As a result, the estimation algorithm is just a standard Kalman-Bucy algorithm, which renders the proposed approach amenable to real-time applications using recursive data. Data assimilation examples are performed and our results indicate good agreement with out-of-sample data.


title: Rust Distilled: An Expressive Tower of Languages

abstract: Rust represents a major advancement in production programming languages because of its success in bridging the gap between high-level application programming and low-level systems programming. At the heart of its design lies a novel approach to ownership that remains highly programmable. In this talk, we will describe our ongoing work on designing a formal semantics for Rust that captures ownership and borrowing without the details of lifetime analysis. This semantics models a high-level understanding of ownership and as a result is close to source-level Rust (but with full type annotations) which differs from the recent RustBelt effort that essentially models MIR, a CPS-style IR used in the Rust compiler. Further, while RustBelt aims to verify the safety of unsafe code in Rust's standard library, we model standard library APIs as primitives, which is sufficient to reason about their behavior. This yields a simpler model of Rust and its type system that we think researchers will find easier to use as a starting point for investigating Rust extensions. Unlike RustBelt, we aim to prove type soundness using progress and preservation instead of a Kripke logical relation. Finally, our semantics is a family of languages of increasing expressive power, where subsequent levels have features that are impossible to define in previous levels. Following Felleisen, expressive power is defined in terms of observational equivalence. Separating the language into different levels of expressive power should provide a framework for future work on Rust verification and compiler optimization.


title: Gradient Method for Optimization on Riemannian Manifolds with Lower Bounded Curvature

abstract: The gradient method for minimize a differentiable convex function on Riemannian manifolds with lower bounded sectional curvature is analyzed in this paper. The analysis of the method is presented with three different finite procedures for determining the stepsize, namely, Lipschitz stepsize, adaptive stepsize and Armijo's stepsize. The first procedure requires that the objective function has Lipschitz continuous gradient, which is not necessary for the other approaches. Convergence of the whole sequence to a minimizer, without any level set boundedness assumption, is proved. Iteration-complexity bound for functions with Lipschitz continuous gradient is also presented. Numerical experiments are provided to illustrate the effectiveness of the method in this new setting and certify the obtained theoretical results. In particular, we consider the problem of finding the Riemannian center of mass and the so-called Karcher's mean. Our numerical experiences indicate that the adaptive stepsize is a promising scheme that is worth considering.


title: Towards the finite slope part for $\mathrm{GL}_n$

abstract: Let $L$ be a finite extension of $\mathbb{Q}_p$ and $n\geq 2$. We associate to a crystabelline $n$-dimensional representation of $\mathrm{Gal}(\overline L/L)$ satisfying mild genericity assumptions a finite length locally $\mathbb{Q}_p$-analytic representation of $\mathrm{GL}_n(L)$. In the crystalline case and in a global context, using the recent results on the locally analytic socle from [BHS17a] we prove that this representation indeed occurs in spaces of $p$-adic automorphic forms. We then use this latter result in the ordinary case to show that certain "ordinary" $p$-adic Banach space representations constructed in our previous work appear in spaces of $p$-adic automorphic forms. This gives strong new evidence to our previous conjecture in the $p$-adic case.


title: Reliable Characterization for Improving and Validating Accurate Quantum Operations

abstract: A reliable method for characterizing quantum operations that is suitable for improving and validating their accuracies is indispensable for realizing a practical quantum computer. Known methods are still not sufficient because they lack reliability or are not suitable for use in the improvement and validation steps. Here we propose a reliable characterization method that is suitable for the accuracy validation step. First, we introduce a new self-consistent estimator with regularization and physicality constraints that are designed for improvement and validation. Second, we mathematically prove that the method provides estimation results that are stringently physical and converge to the gauge-equivalence class of the quantum operations of interest at the limit of data size going to infinity. The asymptotic convergence guarantees the reliability of the method, and the physical and regularized results ensure the suitability to the validation task. We also derive the asymptotic convergence rate, which would be optimal. Finally, we show numerical results on 1-qubit system, which confirm the theoretical results and prove that the method proposed is practical.


title: Measurements of ZZ production with the ATLAS detector and simulation of loop-induced processes with the HERWIG event generator

abstract: This thesis presents results and method developments in both experimental and theoretical particle physics. The main part shows measurements of $\ell^+\ell^-\ell'^+\ell'^-$ production (where $\ell$, $\ell'$ is either an electron or a muon) in proton-proton collisions at 13 TeV centre-of-mass energy. The collisions were produced by the Large Hadron Collider in 2015 and 2016 and observed with the ATLAS detector. In a phase space sensitive to Z boson pair production, the integrated cross section as well as differential cross sections with respect to twenty-one observables are measured. Ten of these directly measure associated jet activity. The measurements provide an important test of the Standard Model of particle physics. A direct search for effects beyond the Standard Model affecting ZZ production is performed in a generic effective field theory approach. No significant deviations from the Standard Model predictions are observed. Exclusion limits are set on the parameters describing new physics in the effective field theory. In theoretical developments, the automated description of loop-induced processes with the Herwig 7 event generator is presented. These are processes that can only occur via a quantum loop of virtual particles. Preliminary results in leading-order quantum chromodynamics are shown for the production of a Higgs boson, of a pair of Higgs bosons, and of four leptons. The Higgs boson results show that the full loop-induced description can deviate significantly from the common approximation where the mass of the top quark is treated as infinitely large. Thus, including loop effects is crucial to obtaining precise predictions to compare to measurements at the Large Hadron Collider. Developments towards a next-to-leading-order description of arbitrary loop-induced processes are shown.


title: DiG: Enabling Out-of-Band Scalable High-Resolution Monitoring for Data-Center Analytics, Automation and Control (Extended)

abstract: Data centers are increasing in size and complexity, and we need scalable approaches to support their automated analysis and control. Performance counters and power consumption are their key "vital signs". State-of-the-Art (SoA) monitoring systems provide built-in tools to collect performance measurements, and custom solutions to get insight on their power consumption. However, with the increase in measurement resolution (in time and space) and the ensuing huge amount of measurement data to handle, new challenges arise, such as bottlenecks on the network bandwidth, storage and software overhead on the monitoring units. To face these challenges we propose a novel monitoring platform for data centers, which enables real-time high-resolution profiling (i.e., all available performance counters and the entire signal bandwidth of the power consumption at the plug - sampling up to 20us - with an error below 1%) and analytics, both at the edge (node-level analysis) and on a centralized unit (cluster-level analysis). The monitoring infrastructure is completely out-of-band, scalable, technology agnostic and low cost, and it is already installed in a SoA high-performance compute cluster (i.e., D.A.V.I.D.E. - 18th in Green500 November 2017).


title: Primes from sums of two squares and missing digits

abstract: Let $\mathcal{A}'$ be the set of integers missing any three fixed digits from their decimal expansion. We produce primes in a thin sequence by proving an asymptotic formula for counting primes of the form $p = m^2 + \ell^2$, with $\ell \in \mathcal{A}'$. The proof draws on ideas from the work of Friedlander-Iwaniec on primes of the form $p = x^2+y^4$, as well as ideas from the work of Maynard on primes with restricted digits.


title: Synchrotron maser from weakly magnetised neutron stars as the emission mechanism of fast radio bursts

abstract: The origin of Fast Radio Bursts (FRBs) is still mysterious. All FRBs to date show extremely high brightness temperatures, requiring a coherent emission mechanism. Using constraints derived from the physics of one of these mechanisms, the synchrotron maser, as well as observations, we show that accretion induced explosions of neutron stars with surface magnetic fields of $B_*\lesssim10^{11}$ G are favoured as FRB progenitors.


title: There goes Wally: Anonymously sharing your location gives you away

abstract: With current technology, a number of entities have access to user mobility traces at different levels of spatio-temporal granularity. At the same time, users frequently reveal their location through different means, including geo-tagged social media posts and mobile app usage. Such leaks are often bound to a pseudonym or a fake identity in an attempt to preserve one's privacy. In this work, we investigate how large-scale mobility traces can de-anonymize anonymous location leaks. By mining the country-wide mobility traces of tens of millions of users, we aim to understand how many location leaks are required to uniquely match a trace, how spatio-temporal obfuscation decreases the matching quality, and how the location popularity and time of the leak influence de-anonymization. We also study the mobility characteristics of those individuals whose anonymous leaks are more prone to identification. Finally, by extending our matching methodology to full traces, we show how large-scale human mobility is highly unique. Our quantitative results have implications for the privacy of users' traces, and may serve as a guideline for future policies regarding the management and publication of mobility data.


title: Four-Graviton Scattering and String Path Integral in the Proper-time gauge

abstract: We evaluate the four-closed-string scattering amplitude, using the Polyakov string path integral in the proper-time gauge. By identifying the Fock space representation of the four-closed-string-vertex, we obtain a field theoretic expression of the closed string scattering amplitudes. In the zero-slope limit, the four-closed-string scattering amplitude reduces to the four-graviton-scattering amplitude of Einstein's gravity. However, at a finite slope, the four-graviton scattering amplitude in the proper-time gauge differs not only from that of Einstein gravity, but also significantly differs from the conventional one obtained by using the vertex operator technique in string theory. This discrepancy is mainly due to the presence of closed string tachyon poles in the four-graviton-scattering amplitude, which are missing in previous works. Because the tachyon poles in the scattering amplitude considerably alter the short distance behavior of gravitational interaction, they may be important in understanding problems associated with the perturbative theory of quantum gravity and the dark matter within the framework of string theory.


title: Photoinduced polycyclic aromatic hydrocarbon dehydrogenation: The competition between H- and H2-loss

abstract: PAHs constitute a major component of the interstellar medium carbon budget, locking up to 10--20% of the elemental carbon. Sequential fragmentation induced by energetic photons leads to the formation of new species, including fullerenes. However, the exact chemical routes involved in this process remain largely unexplored. In this work, we focus on the first photofragmentation steps, which involve the dehydrogenation of these molecules. For this, we consider a multidisciplinary approach, taking into account the results from experiments, DFT calculations, and modeling using dedicated Monte-Carlo simulations. By considering the simplest isomerization pathways --- i.e., hydrogen roaming along the edges of the molecule --- we are able to characterize the most likely photodissociation pathways for the molecules studied here. These comprise nine PAHs with clearly different structural properties. The formation of aliphatic-like side groups is found to be critical in the first fragmentation step and, furthermore, sets the balance of the competition between H- and H2-loss. We show that the presence of trio hydrogens, especially in combination with bay regions in small PAHs plays an important part in the experimentally established variations in the odd-to-even H-atom loss ratios. In addition, we find that, as PAH size increases, H2 formation becomes dominant, and sequential hydrogen loss only plays a marginal role. We also find disagreements between experiments and calculations for large, solo containing PAHs, which need to be accounted for. In order to match theoretical and experimental results, we have modified the energy barriers and restricted the H-hopping to tertiary atoms. The formation of H2 in large PAHs upon irradiation appears to be the dominant fragmentation channel, suggesting an efficient formation path for molecular hydrogen in PDRs.


title: CABaRet: Leveraging Recommendation Systems for Mobile Edge Caching

abstract: Joint caching and recommendation has been recently proposed for increasing the efficiency of mobile edge caching. While previous works assume collaboration between mobile network operators and content providers (who control the recommendation systems), this might be challenging in today's economic ecosystem, with existing protocols and architectures. In this paper, we propose an approach that enables cache-aware recommendations without requiring a network and content provider collaboration. We leverage information provided publicly by the recommendation system, and build a system that provides cache-friendly and high-quality recommendations. We apply our approach to the YouTube service, and conduct measurements on YouTube video recommendations and experiments with video requests, to evaluate the potential gains in the cache hit ratio. Finally, we analytically study the problem of caching optimization under our approach. Our results show that significant caching gains can be achieved in practice; 8 to 10 times increase in the cache hit ratio from cache-aware recommendations, and an extra 2 times increase from caching optimization.


title: Efficient semantic image segmentation with superpixel pooling

abstract: In this work, we evaluate the use of superpixel pooling layers in deep network architectures for semantic segmentation. Superpixel pooling is a flexible and efficient replacement for other pooling strategies that incorporates spatial prior information. We propose a simple and efficient GPU-implementation of the layer and explore several designs for the integration of the layer into existing network architectures. We provide experimental results on the IBSR and Cityscapes dataset, demonstrating that superpixel pooling can be leveraged to consistently increase network accuracy with minimal computational overhead. Source code is available at https://github.com/bermanmaxim/superpixPool


title: Multiobjective Test Problems with Degenerate Pareto Fronts

abstract: In multiobjective optimisation, a set of scalable test problems with a variety of features allow researchers to investigate and evaluate the abilities of different optimisation algorithms, and thus can help them to design and develop more effective and efficient approaches. Existing test problem suites mainly focus on situations where all the objectives are fully conflicting with each other. In such cases, an m-objective optimisation problem has an (m-1)-dimensional Pareto front in the objective space. However, in some optimisation problems, there may be unexpected characteristics among objectives, e.g., redundancy. The redundancy of some objectives can lead to the multiobjective problem having a degenerate Pareto front, i.e., the dimension of the Pareto front of the $m$-objective problem be less than (m-1). In this paper, we systematically study degenerate multiobjective problems. We abstract three general characteristics of degenerate problems, which are not formulated and systematically investigated in the literature. Based on these characteristics, we present a set of test problems to support the investigation of multiobjective optimisation algorithms under situations with redundant objectives. To the best of our knowledge, this work is the first one that explicitly formulates these three characteristics of degenerate problems, thus allowing the resulting test problems to be featured by their generality, in contrast to existing test problems designed for specific purposes (e.g., visualisation).


title: T-duality to Scattering Amplitude and Wilson Loop in Non-commutative Super Yang-Mills Theory

abstract: We first perform bosonic T-duality transformation on one of the marginal TsT (T-duality, shift, T-duality)-deformed $AdS_5\times S_5$ spacetime, which corresponds to 4D $\mathcal{N}=4$ non-commutative super Yang-Mills theory (NCSYM). We then construct the solution to killing spinor equations of the resulting background, and perform the fermionic T-duality transformation. The final dual geometry becomes the usual $AdS_5\times S_5$ but with the constant NS-NS B-field depending on the non-commutative parameter. As applications, we study the gluon scattering amplitude and open string (Wilson loop) solution in the TsT-deformed $AdS_5\times S_5$ spacetime, which are dual to the null polygon Wilson loop and the folded string solution respectively in the final dual geometry.


title: Photoinduced polycyclic aromatic hydrocarbon dehydrogenation: Molecular hydrogen formation in dense PDRs

abstract: The physical and chemical conditions in photodissociation regions (PDRs) are largely determined by the influence of far ultraviolet radiation. Far-UV photons can efficiently dissociate molecular hydrogen, a process that must be balanced at the HI/H2 interface of the PDR. Given that reactions involving hydrogen atoms in the gas phase are highly inefficient under interstellar conditions, H2 formation models mostly rely on catalytic reactions on the surface of dust grains. Additionally, molecular hydrogen formation in polycyclic aromatic hydrocarbons (PAHs) through the Eley-Rideal mechanism has been considered as well, although it has been found to have low efficiency in PDR fronts. In a previous work, we have described the possibility of efficient H2 release from medium to large sized PAHs upon photodissociation, with the exact branching between H-/H2-loss reactions being molecule dependent. Here we investigate the astrophysical relevance of this process, by using a model for the photofragmentation of PAHs under interstellar conditions. We focus on three PAHs cations (coronene, ovalene and circumcoronene), which represent three possibilities in the branching of atomic and molecular hydrogen losses. We find that, for ovalene (H2-loss dominated) the rate coefficient for H2 formation reaches values of the same order as H2 formation in dust grains. This result suggests that this hitherto disregarded mechanism can account, at least partly, for the high level of molecular hydrogen formation in dense PDRs.


title: Secure Multilayer Perceptron Based On Homomorphic Encryption

abstract: In this work, we propose an outsourced Secure Multilayer Perceptron (SMLP) scheme where privacy and confidentiality of both the data and the model are ensured during the training and the classification phases. More clearly, this SMLP : i) can be trained by a cloud server based on data previously outsourced by a user in an homomorphically encrypted form; ii) its parameters are homomorphically encrypted giving thus no clues to the cloud; and iii) it can also be used for classifying new encrypted data sent by the user returning him the encrypted classification result encrypted. The originality of this scheme is threefold. To the best of our knowledge, it is the first multilayer perceptron (MLP) secured in its training phase over homomorphically encrypted data with no problem of convergence. And It does not require extra-communications between the server and the user. It is based on the Rectified Linear Unit (ReLU) activation function that we secure with no approximation contrarily to actual SMLP solutions. To do so, we take advantage of two semi-honest non-colluding servers. Experimental results carried out on a binary database encrypted with the Paillier cryptosystem demonstrate the overall performance of our scheme and its convergence.


title: On the Sagnac effect and Quantum Mechanics in a Rotating Reference System

abstract: We canonically quantize a spin-less non-relativistic point particle in a rigidly rotating cylinder symmetric reference system. The resulting quantum mechanics is investigated in the case of both a two-dimensional cylindrical shell and in the case of the full rotating cylinder; in both cases energy eigenstates exist which exhibit rotation induced negative energies. Based on a reanalysis of the classical Sagnac effect a novel way to compute the quantum Sagnac phase shift is deduced. It is pointed out that certain states on both the cylindrical shell and in the bulk give rise to a novel anomalous quantum Sagnac effect.


title: POTs: Protective Optimization Technologies

abstract: Algorithmic fairness aims to address the economic, moral, social, and political impact that digital systems have on populations through solutions that can be applied by service providers. Fairness frameworks do so, in part, by mapping these problems to a narrow definition and assuming the service providers can be trusted to deploy countermeasures. Not surprisingly, these decisions limit fairness frameworks' ability to capture a variety of harms caused by systems. We characterize fairness limitations using concepts from requirements engineering and from social sciences. We show that the focus on algorithms' inputs and outputs misses harms that arise from systems interacting with the world; that the focus on bias and discrimination omits broader harms on populations and their environments; and that relying on service providers excludes scenarios where they are not cooperative or intentionally adversarial. We propose Protective Optimization Technologies (POTs). POTs provide means for affected parties to address the negative impacts of systems in the environment, expanding avenues for political contestation. POTs intervene from outside the system, do not require service providers to cooperate, and can serve to correct, shift, or expose harms that systems impose on populations and their environments. We illustrate the potential and limitations of POTs in two case studies: countering road congestion caused by traffic-beating applications, and recalibrating credit scoring for loan applicants.


title: Dissecting reaction calculations using Halo EFT and ab initio input

abstract: We present a description of the break-up of halo nuclei in peripheral nuclear reactions by coupling a model of the projectile motivated by Halo Effective Field Theory with a fully dynamical treatment of the reaction using the Dynamical Eikonal Approximation. Our description of the halo system reproduces its long-range properties, i.e., binding energy and asymptotic normalization coefficients of bound states and phase shifts of continuum states. As an application we consider the break-up of 11Be in collisions on Pb and C targets. Taking the input for our Halo-EFT-inspired description of 11Be from a recent ab initio calculation of that system yields a good description of the Coulomb-dominated breakup on Pb at energies up to about 2 MeV, with the result essentially independent of the short-distance part of the halo wave function. However, the nuclear dominated break-up on C is more sensitive to short-range physics. The role of spectroscopic factors and possible extensions of our approach to include additional short-range mechanisms are also discussed.


title: An implicit kinetic scheme for multiscale heat transfer problem accounting for phonon dispersion and polarization

abstract: An efficient implicit kinetic scheme is developed to solve the stationary phonon Boltzmann transport equation (BTE) based on the non-gray model including the phonon dispersion and polarization. Due to the wide range of the dispersed phonon mean free paths, the phonon transport under the non-gray model is essentially multiscale, and has to be solved differently and appropriately for varied phonon frequencies and branches. The proposed implicit kinetic scheme is composed of a microscopic iteration and a macroscopic iteration. The microscopic iteration is capable of automatically adapting with varied phonon mean free path of each phonon frequency and branch through solving the phonon BTE. The energy transfer of all phonons is gathered together by the microscopic iteration to evaluate the heat flux. The temperature field is predicted through a macroscopic heat transfer equation according to the heat flux, and the equilibrium state in the phonon BTE is also updated. The combination of the phonon BTE solver and the macroscopic equation makes the present method very efficient in a wide length scale. Three numerical tests, including the cross-plane, in-plane and nano-porous heat transfer in silicon, validate that the present scheme can handle with the phonon dispersion and polarization correctly and predict the multiscale heat transfer phenomena efficiently in a wide range. The present method could be tens of times faster than the typical implicit DOM and keeps the same amount of the memory requirements as the Fourier solver for multiscale heat transfer problem.


title: A Study of EV BMS Cyber Security Based on Neural Network SOC Prediction

abstract: Recent changes to greenhouse gas emission policies are catalyzing the electric vehicle (EV) market making it readily accessible to consumers. While there are challenges that arise with dense deployment of EVs, one of the major future concerns is cyber security threat. In this paper, cyber security threats in the form of tampering with EV battery's State of Charge (SOC) was explored. A Back Propagation (BP) Neural Network (NN) was trained and tested based on experimental data to estimate SOC of battery under normal operation and cyber-attack scenarios. NeuralWare software was used to run scenarios. Different statistic metrics of the predicted values were compared against the actual values of the specific battery tested to measure the stability and accuracy of the proposed BP network under different operating conditions. The results showed that BP NN was able to capture and detect the false entries due to a cyber-attack on its network.


title: Elastic turbulence in two-dimensional Taylor-Couette flows

abstract: We report the onset of elastic turbulence in a two-dimensional Taylor-Couette geometry using numerical solutions of the Oldroyd-B model, also performed at high Weissenberg numbers with the program OpenFOAM. Beyond a critical Weissenberg number, an elastic instability causes a supercritical transition from the laminar Taylor-Couette to a turbulent flow. The order parameter, the time average of secondary-flow strength, follows the scaling law $\Phi \propto (\mathrm{Wi} -\mathrm{Wi}_c)^{\gamma}$ with $\mathrm{Wi}_c=10$ and $\gamma = 0.45$. The power spectrum of the velocity fluctuations shows a power-law decay with a characteristic exponent, which strongly depends on the radial position. It is greater than two, which we relate to the dimension of the geometry.


title: Implicit time discretization for the mean curvature flow of mean convex sets

abstract: In this note we analyze the Almgren-Taylor-Wang scheme for mean curvature flow in the case of mean convex initial conditions. We show that the scheme preserves strict mean convexity and, by compensated compactness techniques, that the arrival time functions converge strictly in \(BV\). In particular, this establishes the convergence of the time-integrated perimeters of the approximations. As a corollary, the conditional convergence result of Luckhaus-Sturzenhecker becomes unconditonal in the mean convex case.


title: Gamorithm

abstract: Examining games from a fresh perspective we present the idea of game-inspired and game-based algorithms, dubbed "gamorithms".


title: Alignment-free sequence comparison using absent words

abstract: Sequence comparison is a prerequisite to virtually all comparative genomic analyses. It is often realised by sequence alignment techniques, which are computationally expensive. This has led to increased research into alignment-free techniques, which are based on measures referring to the composition of sequences in terms of their constituent patterns. These measures, such as $q$-gram distance, are usually computed in time linear with respect to the length of the sequences. In this paper, we focus on the complementary idea: how two sequences can be efficiently compared based on information that does not occur in the sequences. A word is an {\em absent word} of some sequence if it does not occur in the sequence. An absent word is {\em minimal} if all its proper factors occur in the sequence. Here we present the first linear-time and linear-space algorithm to compare two sequences by considering {\em all} their minimal absent words. In the process, we present results of combinatorial interest, and also extend the proposed techniques to compare circular sequences. We also present an algorithm that, given a word $x$ of length $n$, computes the largest integer for which all factors of $x$ of that length occur in some minimal absent word of $x$ in time and space $\cO(n)$. Finally, we show that the known asymptotic upper bound on the number of minimal absent words of a word is tight.


title: A Magnetic Field Connecting the Galactic Center Circumnuclear Disk with Streamers and Mini-spiral -Implications from 850 $\mu$m Polarization Data

abstract: Utilizing James Clark Maxwell Telescope (JCMT) 850 $\mu$m SCUPOL dust polarization data, we investigate the configuration of the magnetic ($B$) field in the circumnuclear disk (CND) of the Galactic Center (GC). The SCUPOL data show a highly improved polarization coverage and resolution compared to earlier 100 $\mu$m observations. The 850 $\mu$m data have a resolution and coverage similar to previous 350 $\mu$m polarimetry data. However, with a proper sampling on a 10$"$ grid, we find the 850 $\mu$m data trace the morphological structures of the CND substantially better. Furthermore, because the 850 $\mu$m trace the field deeper into the material near Sgr A*, they represent the highest resolution submillimeter probe to date of the CND magnetic field. The observed $B$-field morphology is well described by a self-similar axisymmetric disk model where the radial infall velocity is one quarter of the rotational velocity. A detailed comparison with higher-resolution interferometric maps from the Submillimeter Array further reveals that the $B$-field aligns with the neutral gas streamers connecting to the CND. Moreover, the innermost observed $B$-field structure also appears to trace and align with the mini-spiral located inside the CND. This suggests that there is one underlying $B$-field structure that is connecting the CND with its streamers and the inner mini-spiral. An estimate of $\beta_{\rm Plasma} \lesssim 1-$based on the global B-field morphology that constrains the azimuthal-to-vertical field strength ratio of around 40 combined with a measurement of the azimuthal velocity--indicates that the B-field appears dynamically significant towards the CND and also onwards to the inner mini-spiral.


title: Anchored in a Data Storm: How Anchoring Bias Can Affect User Strategy, Confidence, and Decisions in Visual Analytics

abstract: Cognitive biases have been shown to lead to faulty decision-making. Recent research has demonstrated that the effect of cognitive biases, anchoring bias in particular, transfers to information visualization and visual analytics. However, it is still unclear how users of visual interfaces can be anchored and the impact of anchoring on user performance and decision-making process. To investigate, we performed two rounds of between-subjects, in-laboratory experiments with 94 participants to analyze the effect of visual anchors and strategy cues in decision-making with a visual analytic system that employs coordinated multiple view design. The decision-making task is identifying misinformation from Twitter news accounts. Participants were randomly assigned one of three treatment groups (including control) in which participant training processes were modified. Our findings reveal that strategy cues and visual anchors (scenario videos) can significantly affect user activity, speed, confidence, and, under certain circumstances, accuracy. We discuss the implications of our experiment results on training users how to use a newly developed visual interface. We call for more careful consideration into how visualization designers and researchers train users to avoid unintentionally anchoring users and thus affecting the end result.


title: Some constructions for the higher-dimensional three-distance theorem

abstract: For a given real number $\alpha$, let us place the fractional parts of the points $0, \alpha, 2 \alpha,$ $ \cdots, (N-1) \alpha$ on the unit circle. These points partition the unit circle into intervals having at most three lengths, one being the sum of the other two. This is the three distance theorem. We consider a two-dimensional version of the three distance theorem obtained by placing on the unit circle the points $ n\alpha+ m\beta $, for $0 \leq n,m < N$. We provide examples of pairs of real numbers $(\alpha,\beta)$, with $1,\alpha, \beta$ rationally independent, for which there are finitely many lengths between successive points (and in fact, seven lengths), with $(\alpha,\beta)$ not badly approximable, as well as examples for which there are infinitely many lengths.


title: Revised Cross Section of the $^{13}$C($\alpha$,n)$^{16}$O reaction between 5 and 8 MeV

abstract: As suggested in a Comment by Peters, Phys.\ Rev.\ C {\bf 96}, 029801 (2017), a correction is applied to the $^{13}$C($\alpha$,n)$^{16}$O data of Harissopulos {\it et al.}, Phys.\ Rev.\ C {\bf 72}, 062801(R) (2005). The correction refers to the energy-dependent efficiency of the neutron detector and appears only above the ($\alpha$,n$_1$) threshold of the $^{13}$C($\alpha$,n)$^{16}$O reaction at about $E_\alpha \approx 5$ MeV. The corrected data are lower than the original data by almost a factor of two. The correction method is verified using recent neutron spectroscopy data and data from the reverse $^{16}$O(n,$\alpha$)$^{13}$C reaction.


title: Achieving huge thermal conductance of metallic nitride on graphene through enhanced elastic and inelastic phonon transmission

abstract: Low thermal conductance of metal contacts is one of the main challenges in thermal management of nanoscale devices of graphene and other 2D materials. Previous attempts to search for metal contacts with high thermal conductance yielded limited success due to incomplete understanding of the origins of the low thermal conductance. In this paper, we carefully study the intrinsic thermal conductance across metal/graphene/metal interfaces to identify the heat transport mechanisms across graphene interfaces. We find that unlike metal contacts on diamond, the intrinsic thermal conductance of most graphene interfaces (except Ti and TiNx) is only about 50 % of the phonon radiation limit, suggesting that heat is carried across graphene interfaces mainly through elastic transmission of phonons. We thus propose a convenient approach to substantially enhance the phononic heat transport across metal contacts on graphene, by better matching the energy of phonons in metals and graphene, e.g., using metallic nitrides. We test the idea with TiNx, with phonon frequencies of up to 1.18*10^14 rad/s, 47 % of the highest phonon frequencies in graphene of 2.51*10^14 rad/s . Interestingly, we obtain a huge thermal conductance of 270 MW m-2 K-1 for TiNx/graphene interfaces, which is about 140 % of the phonon radiation limit. The huge thermal conductance could be partially attributed to inelastic phonon transport across the TiNx/graphene interface. Our work provides guidance for the search for good metal contacts on 2D materials and devices.


title: Speaker-Follower Models for Vision-and-Language Navigation

abstract: Navigation guided by natural language instructions presents a challenging reasoning problem for instruction followers. Natural language instructions typically identify only a few high-level decisions and landmarks rather than complete low-level motor behaviors; much of the missing information must be inferred based on perceptual context. In machine learning settings, this is doubly challenging: it is difficult to collect enough annotated data to enable learning of this reasoning process from scratch, and also difficult to implement the reasoning process using generic sequence models. Here we describe an approach to vision-and-language navigation that addresses both these issues with an embedded speaker model. We use this speaker model to (1) synthesize new instructions for data augmentation and to (2) implement pragmatic reasoning, which evaluates how well candidate action sequences explain an instruction. Both steps are supported by a panoramic action space that reflects the granularity of human-generated instructions. Experiments show that all three components of this approach---speaker-driven data augmentation, pragmatic reasoning and panoramic action space---dramatically improve the performance of a baseline instruction follower, more than doubling the success rate over the best existing approach on a standard benchmark.


title: A Challenge Set for French --> English Machine Translation

abstract: We present a challenge set for French --> English machine translation based on the approach introduced in Isabelle, Cherry and Foster (EMNLP 2017). Such challenge sets are made up of sentences that are expected to be relatively difficult for machines to translate correctly because their most straightforward translations tend to be linguistically divergent. We present here a set of 506 manually constructed French sentences, 307 of which are targeted to the same kinds of structural divergences as in the paper mentioned above. The remaining 199 sentences are designed to test the ability of the systems to correctly translate difficult grammatical words such as prepositions. We report on the results of using this challenge set for testing two different systems, namely Google Translate and DEEPL, each on two different dates (October 2017 and January 2018). All the resulting data are made publicly available.


title: Ab-initio simulations and measurements of the free-free opacity in Aluminum

abstract: The free-free opacity in dense systems is a property that both tests our fundamental understanding of correlated many-body systems, and is needed to understand the radiative properties of high energy-density plasmas. Despite its importance, predictive calculations of the free-free opacity remain challenging even in the condensed matter phase for simple metals. Here we show how the free-free opacity can be modelled at finite-temperatures via time-dependent density functional theory, and illustrate the importance of including local field corrections, core polarization and self-energy corrections. Our calculations for ground-state Al are shown to agree well with experimental opacity measurements performed on the Artemis laser facility across a wide range of x-ray to ultraviolet wavelengths. We extend our calculations across the melt to the warm-dense matter regime, and find good agreement with advanced plasma models based on inverse bremsstrahlung at temperatures above 10 eV.


title: Downlink Interference Management in Dense Interference-Aware Drone Small Cells Networks Using Mean-Field Game Theory

abstract: The use of drone small cells (DSCs) has recently drawn significant attentions as one key enabler for providing air-to-ground communication services in various situations. This paper investigates the co-channel deployment of dense DSCs, which are mounted on captive unmanned aerial vehicles (UAVs). As the altitude of a DSC has a huge impact on the performance of downlink, the downlink interference control problem is mapped to an altitude control problem in this paper. All DSCs adjust their altitude to improve the available signal-to-interference-plus-noise ratio (SINR). The control problem is modeled as a mean-field game (MFG), where the cost function is designed to combine the available SINR with the cost of altitude controling. The interference introduced from a big amount of DSCs is derived through a mean-field approximation approach. Within the proposed MFG framework, the related Hamilton-Jacobi-Bellman and Fokker-Planck-Kolmogorov equations are deduced to describe and explain the control policy. The optimal altitude control policy is obtained by solving the partial differential equations with a proposed finite difference algorithm based on the upwind scheme. The simulations illustrate the optimal power controls and corresponding mean field distribution of DSCs. The numerical results also validate that the proposed control policy achieves better SINR performance of DSCs compared to the uniform control scheme.


title: The growth and entrainment of cold gas in a hot wind

abstract: Both absorption and emission line studies show that cold gas around galaxies is commonly outflowing at speeds of several hundred km$\,\textrm{s}^{-1}$. This observational fact poses a severe challenge to our theoretical models of galaxy evolution since most feedback mechanisms (e.g., supernovae feedback) accelerate hot gas, and the timescale it takes to accelerate a blob of cold gas via a hot wind is much larger than the time it takes to destroy the blob. We revisit this long-standing problem using three-dimensional hydrodynamical simulations with radiative cooling. Our results confirm previous findings, that cooling is often not efficient enough to prevent the destruction of cold gas. However, we also identify regions of parameter space where the cooling efficiency of the mixed, `warm' gas is sufficiently large to contribute new comoving cold gas which can significantly exceed the original cold gas mass. This happens whenever, $t_{\mathrm{cool, mix}}/t_{\mathrm{cc}} < 1$, where $t_{\mathrm{cool,mix}}$ is the cooling time of the mixed warm gas and $t_{\mathrm{cc}}$ is the cloud-crushing time. This criterion is always satisfied for a large enough cloud. Cooling `focuses' stripped material onto the tail where mixing takes place and new cold gas forms. A sufficiently large simulation domain is crucial to capturing this behavior.


title: Connectedness of projective codes in the Grassmann graph

abstract: Using the concept of projective systems for linear codes and elementary linear algebra, we show that projective $[n,k]_q$ codes form a connected subgraph in the Grassmann graph consisting of $k$-dimensional subspaces of an $n$-dimensional vector space over the $q$-element field.


title: A bootstrap test for equality of variances

abstract: We introduce a bootstrap procedure to test the hypothesis $H_o$ that $K+1$ variances are homogeneous. The procedure uses a variance-based statistic, and is derived from a normal-theory test for equality of variances. The test equivalently expressed the hypothesis as $H_o: \mathbf{\eta}=( \eta_1,\ldots,\eta_{K+1})^T=\mathbf{0}$, where $\eta_i$'s are log contrasts of the population variances. A box-type acceptance region is constructed to test the hypothesis $H_o$. Simulation results indicated that our method is generally superior to the Shoemaker and Levene tests, and the bootstrapped version of Levene test in controlling the Type I and Type II errors.


title: Searching for the neurite density with diffusion MRI: challenges for biophysical modeling

abstract: In vivo mapping of the neurite density with diffusion MRI (dMRI) is a high but challenging aim. First, it is unknown whether all neurites exhibit completely anisotropic ('stick-like') diffusion. Second, the 'density' of tissue components may be confounded by non-diffusion properties such as T2 relaxation. Third, the domain of validity for the estimated parameters to serve as indices of neurite density is incompletely explored. We investigated these challenges by acquiring data with 'b-tensor encoding' and multiple echo times in both healthy brain and white matter lesions. Results showed that microscopic anisotropy from b-tensor data is associated with myelinated axons but not with dendrites. Furthermore, b-tensor and multi-echo data showed that unbiased density estimates in white matter lesions require data-driven estimates of compartment-specific T2 times. Finally, the 'stick' fractions of different biophysical models could generally not serve as neurite density indices across the healthy brain and white matter lesions, where outcomes of comparisons depended on the choice of constraints. In particular, constraining compartment-specific T2 times was ambiguous in the healthy brain and had a large impact on estimated values. In summary, estimating neurite density may require accounting for different diffusion and/or T2 properties between axons and dendrites. Constrained 'index' parameters could be valid within limited domains that should be delineated by future studies.


title: A Monte Carlo Approach to the 4D Scattering Equations

abstract: The scattering equation formalism is a general framework for calculation of amplitudes in theories of massless particles. We provide a detailed introduction to the 4D scattering equation framework accessible to non-experts, outline current difficulties solving the equations numerically, and explain how to overcome them with a Monte Carlo algorithm. With this submission we include {\tt treeamps4dJAF}, the first publicly available {\sc Mathematica} package for calculating amplitudes by solving the scattering equations, supporting MHV analytical and N$^{k-2}$MHV numerical computations. The package provides a powerful and flexible computational tool for calculating tree-level amplitudes in super Yang Mills theories, Einstein supergravity and conformal supergravity. We tabulate sets of numerical solutions up to 9 points in all MHV sectors and 12 points in the NHMV sector which can be used for fast evaluation of amplitudes.


title: Ferromagnet/Semiconductor/Ferromagnet Hybrid Trilayers grown using solid phase epitaxy

abstract: The direct growth of semiconductors over metals by molecular beam epitaxy is a difficult task due to the large differences in crystallization energy between these types of materials. This aspect is problematic in the context of spintronics, where coherent spin-injection must proceed via ballistic transport through sharp interfacial Schottky barriers. We report the realization of single-crystalline ferromagnet/semiconductor/ferromagnet hybrid trilayers using solid-phase epitaxy, with combinations of Fe3Si, Co2FeSi, and Ge. The slow annealing of amorphous Ge over Fe3Si results in a crystalline filmlm identified as FeGe2. When the annealing is performed over Co2FeSi, reflected high-energy electron diffraction and X-ray diffraction indicate the creation of a different crystalline Ge(Co,Fe,Si) compound, which also preserves growth orientation. It was possible to observe independent magnetization switching of the ferromagnetic layers in a Fe3Si/FeGe2/Co2FeSi sample, thanks to the different coercive fields of the two metals and to the quality of the interfaces. This result is a step towards the implementation of vertical spin-selective transistor-like devices.


title: Spectral lower bounds for the orthogonal and projective ranks of a graph

abstract: The orthogonal rank of a graph $G=(V,E)$ is the smallest dimension $\xi$ such that there exist non-zero column vectors $x_v\in\mathbb{C}^\xi$ for $v\in V$ satisfying the orthogonality condition $x_v^\dagger x_w=0$ for all $vw\in E$. We prove that many spectral lower bounds for the chromatic number, $\chi$, are also lower bounds for $\xi$. This result complements a previous result by the authors, in which they showed that spectral lower bounds for $\chi$ are also lower bounds for the quantum chromatic number $\chi_q$. It is known that the quantum chromatic number and the orthogonal rank are incomparable. We conclude by proving an inertial lower bound for the projective rank $\xi_f$, and conjecture that a stronger inertial lower bound for $\xi$ is also a lower bound for $\xi_f$.


title: Supercongruences concerning truncated hypergeometric series

abstract: Let $n\geq 3$ be an integer and $p$ be a prime with $p\equiv 1\pmod{n}$. In this paper, we show that $${}_nF_{n-1}\bigg[\begin{matrix} \frac{n-1}{n}&\frac{n-1}{n}&\ldots&\frac{n-1}{n}\\ &1&\ldots&1\end{matrix}\bigg | \, 1\bigg]_{p-1}\equiv -\Gamma_p\bigg(\frac{1}{n}\bigg)^n\pmod{p^3}, $$ where the truncated hypergeometric series $$_nF_{n-1} \bigg[\begin{matrix} x_1&x_2&\ldots&x_n\\ &y_1&\cdots&y_{n-1}\end{matrix}\bigg | \, z\bigg]_m=\sum_{k=0}^{m}\frac{z^k}{k!}\prod_{j=0}^{k-1}\frac{(x_1+j)\cdots(x_{n}+j)}{(y_1+j)\cdots(y_{n-1}+j)} $$ and $\Gamma_p$ denotes the $p$-adic gamma function. This confirms a conjecture of Deines, Fuselier, Long, Swisher and Tu. Furthermore, under the same assumptions, we also prove that $$p^n\cdot {}_{n+1} F_n \bigg[ \begin{matrix} 1 &1 &\ldots &1\\ &\frac{n+1}{n} &\ldots &\frac{n+1}{n} \end{matrix}\bigg | \, 1\bigg]_{p-1} \equiv -\Gamma_p \Bigl(\frac{1}{n} \Bigr)^n \quad(\mathrm{mod}\ {p^3}),$$ which solves another conjecture of Deines, Fuselier, Long, Swisher and Tu.


title: Benchmarking of quantum processors with random circuits

abstract: Quantum processors with sizes in the 10-100 qubit range are now increasingly common. However, with increased size comes increased complexity for benchmarking. The effectiveness of a given device may vary greatly between different tasks, and will not always be easy to predict from single and two qubit gate fidelities. For this reason, it is important to assess processor quality for a range of important tasks. In this work we propose and implement tests based on random quantum circuits. These are used to evaluate multiple different superconducting qubit devices, with sizes from 5 to 19 qubits, from two hardware manufacturers: IBM Research and Rigetti. The data is analyzed to give a quantitive description of how the devices perform. We also describe how it can be used for a qualititive description accessible to the layperson, by being played as a game.


title: Electronic transport through defective semiconducting carbon nanotubes

abstract: We investigate the electronic transport properties of semiconducting ($m$,$n$) carbon nanotubes (CNTs) on the mesoscopic length scale with arbitrarily distributed realistic defects. The study is done by performing quantum transport calculations based on recursive Green's function techniques and an underlying density-functional-based tight-binding model for the description of the electronic structure. Zigzag CNTs as well as chiral CNTs of different diameter are considered. Different defects are exemplarily represented by monovacancies and divacancies. We show the energy-dependent transmission and the temperature-dependent conductance as a function of the number of defects. In the limit of many defetcs, the transport is described by strong localization. Corresponding localization lengths are calculated (energy dependent and temperature dependent) and systematically compared for a large number of CNTs. It is shown, that a distinction by $(m-n)\,\mathrm{mod}\,3$ has to be drawn in order to classify CNTs with different bandgaps. Besides this, the localization length for a given defect probability per unit cell depends linearly on the CNT diameter, but not on the CNT chirality. Finally, elastic mean free paths in the diffusive regime are computed for the limit of few defects, yielding qualitatively same statements.


title: Magnus expansion for a chirped quantum two-level system

abstract: We derive a Magnus expansion for a frequency chirped quantum two-level system. We obtain a time-independent effective Hamiltonian which generates a stroboscopic time evolution. At lowest order the according dynamics is identical to results from using a rotating wave approximation. We determine, furthermore, also the next higher order corrections within our expansion scheme in correspondence to the Bloch-Siegert shifts for harmonically driven systems. Importantly, our scheme can be extended to more complicated systems, i.e. even many-body systems.

categories: quant-ph cond-mat.quant-gas physics.atom-ph physics.chem-ph


title: Discovering space - Grounding spatial topology and metric regularity in a naive agent's sensorimotor experience

abstract: In line with the sensorimotor contingency theory, we investigate the problem of the perception of space from a fundamental sensorimotor perspective. Despite its pervasive nature in our perception of the world, the origin of the concept of space remains largely mysterious. For example in the context of artificial perception, this issue is usually circumvented by having engineers pre-define the spatial structure of the problem the agent has to face. We here show that the structure of space can be autonomously discovered by a naive agent in the form of sensorimotor regularities, that correspond to so called compensable sensory experiences: these are experiences that can be generated either by the agent or its environment. By detecting such compensable experiences the agent can infer the topological and metric structure of the external space in which its body is moving. We propose a theoretical description of the nature of these regularities and illustrate the approach on a simulated robotic arm equipped with an eye-like sensor, and which interacts with an object. Finally we show how these regularities can be used to build an internal representation of the sensor's external spatial configuration.


title: Convergence rates for empirical barycenters in metric spaces: curvature, convexity and extendible geodesics

abstract: This paper provides rates of convergence for empirical (generalised) barycenters on compact geodesic metric spaces under general conditions using empirical processes techniques. Our main assumption is termed a variance inequality and provides a strong connection between usual assumptions in the field of empirical processes and central concepts of metric geometry. We study the validity of variance inequalities in spaces of non-positive and non-negative Aleksandrov curvature. In this last scenario, we show that variance inequalities hold provided geodesics, emanating from a barycenter, can be extended by a constant factor. We also relate variance inequalities to strong geodesic convexity. While not restricted to this setting, our results are largely discussed in the context of the $2$-Wasserstein space.


title: Statistical Image Reconstruction for High-Throughput Thermal Neutron Computed Tomography

abstract: Neutron Computed Tomography (CT) is an increasingly utilised non-destructive analysis tool in material science, palaeontology, and cultural heritage. With the development of new neutron imaging facilities (such as DINGO, ANSTO, Australia) new opportunities arise to maximise their performance through the implementation of statistically driven image reconstruction methods which have yet to see wide scale application in neutron transmission tomography. This work outlines the implementation of a convex algorithm statistical image reconstruction framework applicable to the geometry of most neutron tomography instruments with the aim of obtaining similar imaging quality to conventional ramp filtered back-projection via the inverse Radon transform, but using a lower number of measured projections to increase object throughput. Through comparison of the output of these two frameworks using a tomographic scan of a known 3 material cylindrical phantom obtain with the DINGO neutron radiography instrument (ANSTO, Australia), this work illustrates the advantages of statistical image reconstruction techniques over conventional filter back-projection. It was found that the statistical image reconstruction framework was capable of obtaining image estimates of similar quality with respect to filtered back-projection using only 12.5% the number of projections, potentially increasing object throughput at neutron imaging facilities such as DINGO eight-fold.


title: Bloom type inequality for bi-parameter singular integrals: efficient proof and iterated commutators

abstract: Utilising some recent ideas from our bilinear bi-parameter theory, we give an efficient proof of a two-weight Bloom type inequality for iterated commutators of linear bi-parameter singular integrals. We prove that if $T$ is a bi-parameter singular integral satisfying the assumptions of the bi-parameter representation theorem, then $$ \| [b_k,\cdots[b_2, [b_1, T]]\cdots]\|_{L^p(\mu) \to L^p(\lambda)} \lesssim_{[\mu]_{A_p}, [\lambda]_{A_p}} \prod_{i=1}^k\|b_i\|_{\operatorname{bmo}(\nu^{\theta_i})} , $$ where $p \in (1,\infty)$, $\theta_i \in [0,1]$, $\sum_{i=1}^k\theta_i=1$, $\mu, \lambda \in A_p$, $\nu := \mu^{1/p}\lambda^{-1/p}$. Here $A_p$ stands for the bi-parameter weights in $\mathbb{R}^n \times \mathbb{R}^m$ and $\operatorname{bmo}(\nu)$ is a suitable weighted little BMO space. We also simplify the proof of the known first order case.


title: Content-Based Quality Estimation for Automatic Subject Indexing of Short Texts under Precision and Recall Constraints

abstract: Semantic annotations have to satisfy quality constraints to be useful for digital libraries, which is particularly challenging on large and diverse datasets. Confidence scores of multi-label classification methods typically refer only to the relevance of particular subjects, disregarding indicators of insufficient content representation at the document-level. Therefore, we propose a novel approach that detects documents rather than concepts where quality criteria are met. Our approach uses a deep, multi-layered regression architecture, which comprises a variety of content-based indicators. We evaluated multiple configurations using text collections from law and economics, where the available content is restricted to very short texts. Notably, we demonstrate that the proposed quality estimation technique can determine subsets of the previously unseen data where considerable gains in document-level recall can be achieved, while upholding precision at the same time. Hence, the approach effectively performs a filtering that ensures high data quality standards in operative information retrieval systems.


title: Measurement of the lifetime of the doubly charmed baryon $\Xi_{cc}^{++}$

abstract: The first measurement of the lifetime of the doubly charmed baryon $\Xi_{cc}^{++}$ is presented, with the signal reconstructed in the final state $\Lambda_c^+ K^- \pi^+ \pi^+$. The data sample used corresponds to an integrated luminosity of $1.7\,\mathrm{fb}^{-1}$, collected by the LHCb experiment in proton-proton collisions at a centre-of-mass energy of $13\mathrm{\,Te\kern -0.1em V}$. The $\Xi_{cc}^{++}$ lifetime is measured to be $0.256\,^{+0.024}_{-0.022}{\,\rm (stat)\,} \pm 0.014 {\,\rm(syst)}\mathrm{\,ps}$.


title: An Alpern tower independent of a given partition

abstract: Given a measure-preserving transformation $T$ of a probability space $(X, \mathcal B, \mu)$ and a finite measurable partition $P$ of $X$, we show how to construct an Alpern tower of any height whose base is independent of the partition $P$. That is, given $N \in \N$, there exists a Rohlin tower of height $N$, with base $B$ and error set $E$, so that $B$ is independent of $P$, and $T(E) \subset B$.


title: The X-Ray Luminosity Function of Ultra Luminous X-Ray Sources in Collisional Ring Galaxies

abstract: Ring galaxies are fascinating laboratories: a catastrophic impact between two galaxies (one not much smaller than the other) has produced fireworks especially in the larger one, when hit roughly perpendicularly to the plane. We analyze the point sources, produced by the starburst episode following the impact, in the rings of seven galaxies and determine their X-ray luminosity function (XLF). In total we detect 63 sources, of which 50 have luminosity L$_X \geq 10^{39}$ erg s$^{-1}$, classifying them as ultra luminous X-ray sources (ULXs). We find that the total XLF is not significantly different from XLFs derived for other kinds of galaxies, with a tendency of having a larger fraction of high X-ray luminosity objects. Both the total number of ULXs and the number of ULXs per unit star formation rate are found in the upper envelope of the more normal galaxies distribution. Further analysis would be needed to address the issue of the nature of the compact component in the binary system.


title: Quantum accelerated approach to the thermal state of classical spin systems with applications to pattern-retrieval in the Hopfield neural network

abstract: We explore the question as to whether quantum effects can yield a speedup of the non-equilibrium evolution of spin systems towards a classical thermal state. In our approach we exploit the fact that the thermal state of a spin system can be mapped onto a node-free quantum state whose coefficients are given by thermal weights. This perspective permits the construction of a dissipative -- yet quantum -- dynamics which encodes in its stationary state the thermal state of the original problem. We show for the case of an all-to-all connected Ising spin model that an appropriate transformation of this dissipative dynamics allows to interpolate between a regime in which the order parameter obeys the classical equations of motion under Glauber dynamics, to a quantum regime with an accelerated approach to stationarity. We show that this effect enables in principle a speedup of pattern retrieval in a Hopfield neural network.


title: A stratified age-period-cohort model for spatial heterogeneity in all-cause mortality

abstract: A common goal in modeling demographic rates is to compare two or more groups. For ex- ample comparing mortality rates between men and women or between geographic regions may reveal health inequalities. A popular class of models for all-cause mortality as well as incidence of specific diseases like cancer is the age-period-cohort (APC) model. Extending this model to the multivariate setting is not straightforward because the univariate APC model suffers from well-known identifiability problems. Often APC models are fit separately for each strata, and then comparisons are made post hoc. This paper introduces a stratified APC model to directly assess the sources of heterogeneity in mortality rates using a Bayesian hierarchical model with matrix-normal priors that share information on linear and nonlinear aspects of the APC effects across strata. Computing, model selection, and prior specification are addressed and the model is then applied to all-cause mortality data from the European Union.


title: Independence and Alpern Multitowers

abstract: Let $T$ be any invertible, ergodic, aperiodic measure-preserving transformation of a Lebesgue probability space $(X, \calB, \mu)$, and \P\, any finite measurable partition of $X$. We show that a (finite) Alpern multitower may always be constructed whose base is independent of \P.


title: Evaluating surgical skills from kinematic data using convolutional neural networks

abstract: The need for automatic surgical skills assessment is increasing, especially because manual feedback from senior surgeons observing junior surgeons is prone to subjectivity and time consuming. Thus, automating surgical skills evaluation is a very important step towards improving surgical practice. In this paper, we designed a Convolutional Neural Network (CNN) to evaluate surgeon skills by extracting patterns in the surgeon motions performed in robotic surgery. The proposed method is validated on the JIGSAWS dataset and achieved very competitive results with 100% accuracy on the suturing and needle passing tasks. While we leveraged from the CNNs efficiency, we also managed to mitigate its black-box effect using class activation map. This feature allows our method to automatically highlight which parts of the surgical task influenced the skill prediction and can be used to explain the classification and to provide personalized feedback to the trainee.


title: Discovery of a Candidate Black Hole - Giant Star Binary System in the Galactic Field

abstract: We report the discovery of the first likely black hole in a non-interacting binary system with a field red giant. By combining radial velocity measurements from the Apache Point Observatory Galactic Evolution Experiment (APOGEE) with photometric variability data from the All-Sky Automated Survey for Supernovae (ASAS-SN), we identified the bright rapidly-rotating giant 2MASS J05215658+4359220 as a binary system with a massive unseen companion. Subsequent radial velocity measurements reveal a system with an orbital period of 83 days and near-zero eccentricity. The photometric variability period of the giant is consistent with the orbital period, indicative of star spots and tidal synchronization. Constraints on the giant's mass and radius from its luminosity, surface gravity, and temperature imply an unseen companion with mass of $3.3^{+2.8}_{-0.7}$ M$_\odot$, indicating a low-mass black hole or an exceedingly massive neutron star. Measurement of the astrometric binary motion by {\it Gaia} will further characterize the system. This discovery demonstrates the potential of massive spectroscopic surveys like APOGEE and all-sky, high-cadence photometric surveys like ASAS-SN to revolutionize our understanding of the compact object mass function, and to test theories of binary star evolution and the supernova mechanism.


title: Hamiltonian Engineering in Quantum Spin Networks

abstract: Quantum simulation presents itself as one of the biggest advantages of developing quantum computers. Simulating a quantum system classically is almost impossible beyond a certain system size whereas a controllable quantum system inherently has the resources and computing space to simulate another system. Analog quantum simulation is one of the ways of quantum simulation through which a known system mimics an unknown system. A key aspect of this is the ability to generate the target Hamiltonian using control operations which is referred to as Hamiltonian engineering. One way of doing this is to apply pulse sequences over a length of time such that the average Hamiltonian over this period is the desired one. In this thesis, we discuss the method of filtered Hamiltonian engineering which works in a similar fashion. Using this technique, we create a star topology from a general network of spins. Quantum communication between two parties is an important task for its applications in information theory as well as for its use in a quantum computer. A typical solution to this is using teleportation through the means of shared entangled qubits. Teleportation is not ideal for short-range communication such as between two units in a quantum computer. It has been shown that information can be transported from one node of a quantum spin network to another by natural evolution of the system over time. Such networks are better suited for solid-state based computing architectures as well as for short-range communication. The Hamiltonian that permits such transport however places stringent requirements on the parameters of the network. While individual control of spins cannot be avoided in most cases, excess control can introduce noise. In this thesis, we work on a few models of spin networks that permit information transport with minimal requirements on the parameters of the network.


title: Liouville property of strongly transitive actions

abstract: Liouville property of actions of discrete groups can be reformulated in terms of existence co-F$\o$lner sets. Since every action of amenable group is Liouville, the property can be served as an approach for proving non-amenability. The verification of this property is conceptually different than finding a non-amenable action. There are many groups that are defined by strongly transitive actions. In some cases amenability of such groups is an open problem. We define $n$-Liouville property of action to be Liouville property of point-wise action of the group on the sets of cardinality $n$. We reformulate $n$-Liouville property in terms of additive combinatorics and prove it for $n=1, 2$. The case $n\geq 3$ remains open.


title: Performance of Hierarchical Sparse Detectors for Massive MTC

abstract: Recently, a new class of so-called \emph{hierarchical thresholding algorithms} was introduced to optimally exploit the sparsity structure in joint user activity and channel detection problems. In this paper, we take a closer look at the user detection performance of such algorithms under noise and relate its performance to the classical block correlation detector with orthogonal signatures. More specifically, we derive a lower bound for the diversity order which, under suitable choice of the signatures, equals that of the block correlation detector. Surprisingly, in specific parameter settings non-orthogonal pilots, i.e. pilots where (cyclically) shifted versions interfere with each other, outperform the block correlation detector. Altogether, we show that, in wide parameter regimes, the hierarchical thresholding detectors behave like the classical correlator with improved detection performance but operate with much less required pilot subcarriers. We provide mathematically rigorous and easy to handle formulas for numerical evaluations and system design. Finally, we evaluate our findings with numerical examples and show that, in a practical parameter setting, a classical pilot channel can accommodate up to three advanced pilot channels with the same performance.


title: Solving a Fine-Tuning Problem of the Standard Model through the Introduction of Vector-Like Quarks

abstract: We emphasise that even in the extreme chiral limit where only the top and bottom quarks acquire mass, quark mixing is physically meaningful. This implies that the natural value of $|V_{13}|^2 + |V_{23}|^2$ is of order one, which is to be compared to its experimental value of order $10^{-3}$ . We show how this fine-tuning problem of the Standard Model can be solved through an extension of the Standard Model where vector-like quarks and a complex singlet are introduced, together with a flavour symmetry. The mixings of the light quarks are generated through the mixing of the vector-like quarks with the standard quarks.


title: The complex jet- and bar-perturbed kinematics in NGC 3393 as revealed with ALMA and GEMINI-GMOS/IFU

abstract: NGC 3393, a nearby Seyfert 2 galaxy with nuclear radio jets, large-scale and nuclear bars, and a posited secondary super massive black hole, provides an interesting laboratory to test the physics of inflows and outflows. Here we present and analyse the molecular gas (ALMA observations of CO J:2-1 emission over a field of view (FOV) of 45\arcsec \times 45\arcsec, at 0\farcs56 (143 pc) spatial and 5 km/s spectral resolution), ionised gas and stars (GEMINI-GMOS/IFU; over a FOV of 4\arcsec \times 5\arcsec, at 0\farcs62 (159 pc) spatial and 23 km/s spectral resolution) in NGC 3393. The ionised gas emission, detected over the complete GEMINI-GMOS FOV, has three identifiable kinematic components. A narrow (\sigma < 115 km/s) component present in the complete FOV, which is consistent with rotation in the galaxy disk. A broad (\sigma > 115 km/s) redshifted component, detected near the NE and SW radio lobes; which we interpret as a radio jet driven outflow. And a broad (\sigma > 115 km/s) blueshifted component that shows high velocities in a region perpendicular to the radio jet axis; we interpret this as an equatorial outflow. The CO J:2-1 emission is detected in spiral arms on 5\arcsec - 20\arcsec scales, and in two disturbed circumnuclear regions. The molecular kinematics in the spiral arms can be explained by rotation. The highly disturbed kinematics of the inner region can be explained by perturbations induced by the nuclear bar and interactions with the large scale bar. We find no evidence for, but cannot strongly rule out, the presence of the posited secondary black hole.


title: Low Frequency Noise in Randomly Stimulated Asymmetric Oscillators

abstract: A new mechanism of low frequency (1/f-like) noise generation is described and analyzed. It is attributed to higher frequency asymmetric resonance modes, which are stimulated by a random factor, e.g. due to thermal excitation. One-dimensional models of bi-harmonic and non-linear asymmetric oscillators are presented to prove the concept, and a method of detecting the effect is developed. The method is then applied to experimental data, in order to show that the effect exists in magnetoresistive readers.


title: The Tannaka-Krein formalism and (re)presentations of universal quantum groups

abstract: This is a draft version for an extra chapter in the second edition of the book Quantum Groups and Noncommutative Geometry by Yu. I. Manin. We survey our work on Manin's universal Hopf algebras, placing particular emphasis on the Tannaka-Krein formalism.


title: A note on the value distribution of Differential Polynomials

abstract: Let $f$ be a transcendental meromorphic function, defined in the complex plane $\mathbb{C}$. In this paper, we give a quantitative estimations of the characteristic function $T(r,f)$ in terms of the counting function of a homogeneous differential polynomial generated by $f$. Our result improves and generalizes some recent results.


title: Quasiconformal features and Fredholm eigenvalues of convex polygons

abstract: An important open problem in geometric complex analysis is to find algorithms for explicit determination of basic functionals intrinsically connected with conformal and quasiconformal maps, such as their Teichmuller and Grunsky norms, Fredholm eigenvalues and the quasireflection coefficient. This has not been solved even for convex polygons. This case has intrinsic interest in view of the connection of such polygons with the geometry of the universal Teichmuller space. We provide a new approach, based on affine transformations of univalent functions.


title: Fractional Fokker-Planck equation from non-singular kernel operators

abstract: Fractional diffusion equations imply non-Gaussian distributions that generalise the standard diffusive process. Recent advances in fractional calculus lead to a class of new fractional operators defined by non-singular memory kernels, differently from the fractional operator defined in the literature. In this work we propose a generalisation of the Fokker-Planck equation in terms of a non-singular fractional temporal operator and considering a non-constant diffusion coefficient. We obtain analytical solutions for the Caputo-Fabrizio and the Atangana-Baleanu fractional kernel operators, from which non-Gaussian distributions emerge having a long and short tails. In addition, we show that these non-Gaussian distributions are unimodal or bimodal according if the diffusion index $\nu$ is positive or negative respectively, where a diffusion coefficient of the power law type $\mathcal{D}(x)=\mathcal{D}_0|x|^{\nu}$ is considered. Thereby, a class of anomalous diffusion phenomena connected with fractional derivatives and with a diffusion coefficient of the power law type is presented. The techniques employed in this work open new possibilities for studying memory effects in diffusive contexts.

categories: cond-mat.stat-mech math-ph math.MP physics.data-an


title: A Hamiltonian for Relativistic Interacting Many Particles

abstract: There is no relativistic Hamiltonian for many particles systems except for free particles and this has been accepted since the 1960s from the work of Currie, Jordan and Sudarshan, Cannon and Jordan, and Leutwyler. This is the problem we will address in this paper by coupling relativistic particles with a scalar field. The Hamiltonian we derive is explicitly relativistic and in the non-relativistic limit gives a Hamiltonian with two body interaction. However, we find that the Poincare algebra is still not satisfied because of the inherent time delayed interaction in relativistic particle systems.


title: Embeddings of Complex Supermanifolds

abstract: In this article we present a study of embeddings of complex supermanifolds. We are broadly guided by the question: when will a submanifold of a split supermanifold itself be split? As an application of our study, we will address this question for certain superspace embeddings over rational normal curves.


title: Deformed Fokker-Planck equation: inhomogeneous medium with a position-dependent mass

abstract: We present the Fokker-Planck equation (FPE) for an inhomogeneous medium with a position-dependent mass particle by making use of the Langevin equation, in the context of a generalized deformed derivative for an arbitrary deformation space where the linear (nonlinear) character of the FPE is associated with the employed deformed linear (nonlinear) derivative. The FPE for an inhomogeneous medium with a position-dependent diffusion coefficient is equivalent to a deformed FPE within a deformed space, described by generalized derivatives, and constant diffusion coefficient. The deformed FPE is consistent with the diffusion equation for inhomogeneous media when the temperature and the mobility have the same position-dependent functional form as well as with the nonlinear Langevin approach. The deformed version of the H-theorem permits to express the Boltzmann-Gibbs entropic functional as a sum of two contributions, one from the particles and the other from the inhomogeneous medium. The formalism is illustrated with the infinite square well and the confining potential with linear drift coefficient. Connections between superstatistics and position-dependent Langevin equations are also discussed.


title: Gravity as a Yang-Mills Theory Based on the Lorentz Group

abstract: The Yang-Mills theory associated with the restricted Lorentz group is revisited as a candidate for a theory of gravity. This is a natural idea because the principle of equivalence of gravitation and inertia suggests to introduce locally inertial coordinate systems with the gauge freedom of Lorentz transformations. Compared to previous implementations of the idea, we use a generalized expression for the vector potential of the gauge theory in terms of the metric, which involves a coupling constant. One can verify that, in the limit of small coupling constant, all the classical predictions of general relativity are reproduced. For the resulting higher-order field equations, the nature of the singularity associated with black holes changes. The proposed theory is based on a dimensionless action for coupling the Yang-Mills field to matter.


title: Disentangling amplitude and phase dynamics of a charge density wave in a photo-induced phase transition

abstract: Upon excitation with an intense ultrafast laser pulse, a symmetry-broken ground state can undergo a non-equilibrium phase transition through pathways dissimilar from those in thermal equilibrium. Determining the mechanism underlying these photo-induced phase transitions (PIPTs) has been a long-standing issue in the study of condensed matter systems. To this end, we investigate the light-induced melting of a unidirectional charge density wave (CDW) material, LaTe$_3$. Using a suite of time-resolved probes, we independently track the amplitude and phase dynamics of the CDW. We find that a quick ($\sim\,$1$\,$ps) recovery of the CDW amplitude is followed by a slower reestablishment of phase coherence. This longer timescale is dictated by the presence of topological defects: long-range order (LRO) is inhibited and is only restored when the defects annihilate. Our results provide a framework for understanding other PIPTs by identifying the generation of defects as a governing mechanism.


title: Free Extensions and Jordan type

abstract: Free extensions of commutative Artinian algebras were introduced by T. Harima and J. Watanabe. The Jordan type of a multiplication map $m$ by a nilpotent element of an Artinian algebra is the partition determining the sizes of the blocks in a Jordan matrix for $m$. We show that a free extension of the Artinian algebra $A$ with fibre $B$ is a deformation of the usual tensor product. This has consequences for the generic Jordan types of $A,B$ and $C$, showing that the Jordan type of $C$ is at least that of the usual tensor product in the dominance order. We give applications to algebras of relative coinvariants of linear group actions on a polynomial ring.


title: Combined few-body and mean-field model for nuclei

abstract: The challenging nuclear many-body problem is discussed along with classifications and qualitative descriptions of existing methods and models. We present detailed derivations of a new method where cluster correlations co-exist with an underlying mean-field described core-structure. The variation of an antisymmetrized product of cluster and core wave functions and a given nuclear interaction, provide sets of self-consistent equations of motion. After the applications on dripline nuclei we discuss perspectives with improvements and applications. In the conclusion we summarize while emphasizing the merits of consistently treating both short- and large-distance properties, few- and many-body correlations, ordinary nuclear structure, and concepts of halos and Efimov states.


title: Shedding Light on Correlated Electron-Photon States using the Exact Factorization

abstract: The Exact Factorization framework is extended and utilized to introduce the electronic-states of correlated electron-photon systems. The formal definitions of an exact scalar potential and an exact vector potential that account for the electron-photon correlation are given. Inclusion of these potentials to the Hamiltonian of the uncoupled electronic system leads to a purely electronic Schr\"odinger equation that uniquely determines the electronic states of the complete electron-photon system. For a one-dimensional asymmetric double-well potential coupled to a single photon mode with resonance frequency, we investigate the features of the exact scalar potential. In particular, we discuss the significance of the step-and-peak structure of the exact scalar potential in describing the phenomena of photon-assisted delocalization and polaritonic squeezing of the electronic excited-states. In addition, we develop an analytical approximation for the scalar potential and demonstrate how the step-and-peak features of the exact scalar potential are captured by the proposed analytical expression.


title: Partial vertex covers and the complexity of some problems concerning static and dynamic monopolies

abstract: Let $G$ be a graph and $\tau$ be an assignment of nonnegative integer thresholds to the vertices of $G$. Denote the average of thresholds in $\tau$ by $\bar{\tau}$. A subset of vertices $D$ is said to be a $\tau$-dynamic monopoly, if $V(G)$ can be partitioned into subsets $D_0, D_1, \ldots, D_k$ such that $D_0=D$ and for any $i\in \{0, \ldots, k-1\}$, each vertex $v$ in $D_{i+1}$ has at least $\tau(v)$ neighbors in $D_0\cup \ldots \cup D_i$. Denote the size of smallest $\tau$-dynamic monopoly by $dyn_{\tau}(G)$. Also a subset of vertices $M$ is said to be a $\tau$-static monopoly (or simply $\tau$-monopoly) if any vertex $v\in V(G)\setminus M$ has at least $\tau(v)$ neighbors in $M$. Denote the size of smallest $\tau$-monopoly by $mon_{\tau}(G)$. For a given positive number $t$, denote by $Sdyn_t(G)$ (resp. $Smon_t(G)$), the minimum $dyn_{\tau}(G)$ (resp. $mon_{\tau}(G)$) among all threshold assignments $\tau$ with $\overline{\tau}\geq t$. In this paper we consider the concept of partial vertex cover as follows. Let $G=(V, E)$ be a graph and $t$ be any positive integer. A subset $S\subseteq V$ is said to be a $t$-partial vertex cover of $G$, if $S$ covers at least $t$ edges of $G$. Denote the smallest size of a $t$-partial vertex cover of $G$ by $P\beta_t(G)$. Let $\rho$, $0<\rho<1$ be any fixed number and $G$ be a given bipartite graph with $m$ edges. We first prove that to determine the smallest cardinality of a set $S\subseteq V(G)$ such that $S$ covers at least $\rho m$ edges of $G$, is an NP-hard problem. Then we prove that for any constant $t$, $Sdyn_{t}(G)=P\beta_{nt-m}(G)$ and $Smon_t(G)=P\beta_{nt/2}(G)$, where $n$ and $m$ are the order and size of $G$, respectively.


title: Structural Rounding: Approximation Algorithms for Graphs Near an Algorithmically Tractable Class

abstract: We develop a new framework for generalizing approximation algorithms from the structural graph algorithm literature so that they apply to graphs somewhat close to that class (a scenario we expect is common when working with real-world networks) while still guaranteeing approximation ratios. The idea is to $\textit{edit}$ a given graph via vertex- or edge-deletions to put the graph into an algorithmically tractable class, apply known approximation algorithms for that class, and then $\textit{lift}$ the solution to apply to the original graph. We give a general characterization of when an optimization problem is amenable to this approach, and show that it includes many well-studied graph problems, such as Independent Set, Vertex Cover, Feedback Vertex Set, Minimum Maximal Matching, Chromatic Number, ($\ell$-)Dominating Set, Edge ($\ell$-)Dominating Set, and Connected Dominating Set. To enable this framework, we develop new editing algorithms that find the approximately-fewest edits required to bring a given graph into one of several important graph classes (in some cases, also approximating the target parameter of the family). For bounded degeneracy, we obtain a bicriteria $(4,4)$-approximation which also extends to a smoother bicriteria trade-off. For bounded treewidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w}))$-approximation, and for bounded pathwidth, we obtain a bicriteria $(O(\log^{1.5} n), O(\sqrt{\log w} \cdot \log n))$-approximation. For treedepth $2$ (also related to bounded expansion), we obtain a $4$-approximation. We also prove complementary hardness-of-approximation results assuming $\mathrm{P} \neq \mathrm{NP}$: in particular, these problems are all log-factor inapproximable, except the last which is not approximable below some constant factor ($2$ assuming UGC).


title: Exact computation of the Special geometry for Calabi-Yau hypersurfaces of Fermat type

abstract: We continue to develop our method for effectively computating the special K\"ahler geometry on the moduli space of Calabi-Yau manifolds. We generalize it to all polynomial deformations of Fermat hypersurfaces.


title: Null Signal for the Cosmic Anisotropy in the Pantheon Supernovae Data

abstract: The cosmological principle assumes that the universe is homogeneous and isotropic on cosmic scales. There exist many works testing the cosmic homogeneity and/or the cosmic isotropy of the universe in the literature. In fact, some observational hints of the cosmic anisotropy have been claimed. However, we note that the paucity of the data considered in the literature might be responsible for the `found' cosmic anisotropy. So, it might disappear in a large enough sample. Very recently, the Pantheon sample consisting of 1048 type Ia supernovae (SNIa) has been released, which is the largest spectroscopically confirmed SNIa sample to date. In the present work, we test the cosmic anisotropy in the Pantheon SNIa sample by using three methods, and hence the results from different methods can be cross-checked. All the results obtained by using the hemisphere comparison (HC) method, the dipole fitting (DF) method and HEALPix suggest that no evidence for the cosmic anisotropy is found in the Pantheon SNIa sample.


title: Parameter estimation for fractional Poisson processes

abstract: The paper proposes a formal estimation procedure for parameters of the fractional Poisson process (fPp). Such procedures are needed to make the fPp model usable in applied situations. The basic idea of fPp, motivated by experimental data with long memory is to make the standard Poisson model more flexible by permitting non-exponential, heavy-tailed distributions of interarrival times and different scaling properties. We establish the asymptotic normality of our estimators for the two parameters appearing in our fPp model. This fact permits construction of the corresponding confidence intervals. The properties of the estimators are then tested using simulated data.


title: Stein Variational Gradient Descent Without Gradient

abstract: Stein variational gradient decent (SVGD) has been shown to be a powerful approximate inference algorithm for complex distributions. However, the standard SVGD requires calculating the gradient of the target density and cannot be applied when the gradient is unavailable. In this work, we develop a gradient-free variant of SVGD (GF-SVGD), which replaces the true gradient with a surrogate gradient, and corrects the induced bias by re-weighting the gradients in a proper form. We show that our GF-SVGD can be viewed as the standard SVGD with a special choice of kernel, and hence directly inherits the theoretical properties of SVGD. We shed insights on the empirical choice of the surrogate gradient and propose an annealed GF-SVGD that leverages the idea of simulated annealing to improve the performance on high dimensional complex distributions. Empirical studies show that our method consistently outperforms a number of recent advanced gradient-free MCMC methods.


title: Detection of a 23.6 min periodic modulation in the optical counterpart of 3XMMJ051034.6--670353

abstract: We present high speed optical photometric observations made using the NTT and ULTRACAM of the optical counterpart of 3XMMJ051034.6--670353, which was recently identified as an X-ray source showing a modulation on a period of 23.6 min. Although the optical counterpart is faint (g=21.4), we find that the u'g'r' light curves show a periodic modulation on a period which is consistent with the X-ray period. We also obtained three low resolution spectra of 3XMMJ051034.6--670353 using the Gemini South Telescope and GMOS. There is no evidence for strong emission lines in the optical spectrum of 3XMMJ051034.6--670353. We compare and contrast the optical and X-ray observations of 3XMMJ051034.6--670353 with the ultra compact binaries HM Cnc and V407 Vul. We find we can identify a distribution of binary masses in which stable direct impact accretion can occur.


title: Tensor and convolution direct image of $\ell$-adic sheaves

abstract: Given a Galois \'etale map of varieties $\pi:Y\to X$ and an $\ell$-adic sheaf or derived category object $P\in D^b_c(Y,{\mathbb Q}_\ell)$, we study two cohomological operations: the tensor direct image and (in the case of perverse sheaves) the convolution direct image, which give objects of $D^b_c(X,{\mathbb Q}_\ell)$, and can be used to improve the estimates on some partial exponential sums and the number of rational points on certain varieties.