Skip to content

April 2019 arXiv papers — page 17

Showing 1,6011,700 of 12,989 papers

  1. D. van Eijk, J. Dorant, C. Wendt, A. Karle

    The IceCube Collaboration is investigating various types and manufacturers of photomultiplier tubes (PMT) for possible use in future optical modules. This report presents characterization results for two different types of HZC Photonics PMTs: the 3.5 inch XP82B20D and the 9 inch XP1805D. The results are in good agreement with the specifications as provided b

  2. Aubida A. Al-Hameed, Safwan Hafeedh Younus, Ahmed Taha Hussein, Mohammed T. Alresheedi

    In this paper, we introduce an intelligent light detection and localization (LiDAL) system that uses artificial neural networks (ANN). The LiDAL systems of interest are MIMO LiDAL and MISO IMG LiDAL systems. A trained ANN with the LiDAL system of interest is used to distinguish a human (target) from the background obstacles (furniture) in a realistic indoor

  3. Alex Teachey, David Kipping, Christopher J. Burke, Ruth Angus

    The claim of an exomoon candidate in the Kepler-1625b system has generated substantial discussion regarding possible alternative explanations for the purported signal. In this work we examine in detail these possibilities. First, the effect of more flexible trend models is explored and we show that sufficiently flexible models are capable of attenuating the

  4. Shantanav Chakraborty, Kyle Luh, Jérémie Roland

    The problem of sampling from the stationary distribution of a Markov chain finds widespread applications in a variety of fields. The time required for a Markov chain to converge to its stationary distribution is known as the classical mixing time. In this article, we deal with analog quantum algorithms for mixing. First, we provide an analog quantum algorith

  5. M. Mikhasenko, Y. Wunderlich, A. Jackura, V. Mathieu

    We discuss unitarity constraints on the dynamics of a system of three interacting particles. We show how the short-range interaction that describes three-body resonances can be separated from the long-range exchange processes, in particular the one-pion-exchange process. It is demonstrated that unitarity demands a specific functional form of the amplitude wi

  6. R. Kitahara, K. Hirota, S. Ieki, T. Ino

    In a neutron lifetime measurement at the Japan Proton Accelerator Complex, the neutron lifetime is calculated by the neutron decay rate and the incident neutron flux. The flux is obtained due to counting the protons emitted from the neutron absorption reaction of ${}^{3}{\rm He}$ gas, which is diluted in a mixture of working gas in a detector. Hence, it is c

  7. Daniel G. Figueroa, Adrien Florio, Mikhail Shaposhnikov

    We study fermion number non-conservation (or chirality breaking) in Abelian gauge theories at finite temperature. We consider the presence of a chemical potential $\mu$ for the fermionic charge, and monitor its evolution with real-time classical lattice simulations. This method accounts for short-scale fluctuations not included in the usual effective magneto

  8. Matthias Löwe, Kristina Schubert, Franck Vermet

    We construct and analyze a random graph model for discrete choice with social interaction and several groups of equal size. We concentrate on the case of two groups of equal sizes and we allow the interaction strength within a group to differ from the interaction strength between the two groups. Given that the resulting graph is sufficiently dense we show th

  9. Lu Gao, Yingwen Zhang, Eliahu Cohen, Avshalom C. Elitzur

    The Franson interference is a fourth order interference effect, which unlike the better known Hong-Ou-Mandel interference, does not require the entangled photon pairs to be present at the same space-time location for interference to occur - it is nonlocal. Here, we use a modified Franson interferometer to experimentally demonstrate the nonlocal erasure and c

  10. David M. J. Dykstra, Joris Busink, Bernard Ennis, Corentin Coulais

    Mechanical metamaterials are artificial composites with tunable advanced mechanical properties. Particularly interesting types of mechanical metamaterials are flexible metamaterials, which harness internal rotations and instabilities to exhibit programmable deformations. However, to date such materials have mostly been considered using nearly purely elastic

  11. Tamás Erdélyi

    We give a simple, elementary, and at least partially new proof of Arestov's famous extension of Bernstein's inequality in $L_p$ to all $p \geq 0$. Our crucial observation is that Boyd's approach to prove Mahler's inequality for algebraic polynomials $P_n \in {\mathcal P}_n^c$ can be extended to all trigonometric polynomials $T_n \in {\mathcal T}_n^c$.

  12. Eliza Harrison, Paige Martin, Didi Surian, Adam G. Dunn

    Online health communications often provide biased interpretations of evidence and have unreliable links to the source research. We tested the feasibility of a tool for matching webpages to their source evidence. From 207,538 eligible vaccination-related PubMed articles, we evaluated several approaches using 3,573 unique links to webpages from Altmetric. We e

  13. Arkaprava Das, Deobrat Singh, Chetan Prakash Saini, Rajeev Ahuja

    We present the cationic impurity assisted band offset phenomena in NixCd1-xO (x= 0, 0.02, 0.05, 0.1, 0.2, 0.4, 0.8, 1) thin films and further discussed in the light of orbital hybridization modification. Compositional and structural studies revealed that cationic substitution of Cd2+ by Ni2+ ions leads to a monotonic shift in (220) diffraction peak, indicati

  14. Bo Jiang, Ziyan Zhang, Bin Luo

    Graph Convolutional Representation (GCR) has achieved impressive performance for graph data representation. However, existing GCR is generally defined on the input fixed graph which may restrict the representation capacity and also be vulnerable to the structural attacks and noises. To address this issue, we propose a novel Latent Graph Convolutional Represe

  15. Shawn T. Burkett, Mark L. Lewis

    In this paper, we study the vanishing-off subgroups of supercharacters, and use these to determine several new characterizations of supercharacter theory products. In particular, we give a character theoretic characterization that allows us to conclude that one may determine if a supercharacter theory is a $\Delta$-product or $\ast$-product from the values o

  16. Hamid Reza Moradi, Zahra Heydarbeygi, Mohammad Sababheh

    In this article, we present a new subadditivity behavior of convex and concave functions, when applied to Hilbert space operators. For example, under suitable assumptions on the spectrum of the positive operators $A$ and $B$, we prove that \[{{2}^{1-r}}{{\left( A+B \right)}^{r}}\le {{A}^{r}}+{{B}^{r}}\quad\text{ for }r>1\text{ and }r<0,\] and \[{{A}^{r}}+{{B

  17. Yuzhen Yang, Han Jia, Yafeng Bi, Han Zhao

    Passive parity-time-symmetric medium provides a feasible scheme to investigate non-Hermitian systems experimentally. Here, we design a passive PT-symmetric acoustic grating with a period equal to exact PT-symmetric medium. This treatment enhances the diffraction ability of a passive PT-symmetric grating with more compact modulation. Above all, it eliminates

  18. Letian Wang, Dongwoo Paeng, Zeqing Jin, He Zhang

    Pulsed laser processing is playing a crucial role in additive manufacturing and nanomaterial processing. However, probing transient temperature during laser interaction with the processed materials is challenging with both high spatial and temporal resolution. Here, we demonstrate 9ns rise time 50{\mu}m sized Pt thin film sensor for probing the temperature f

  19. Davide Buoso, Luigi Provenzano, Joachim Stubbe

    We provide complementary semiclassical bounds for the Riesz means $R_1(z)$ of the eigenvalues of various biharmonic operators, with a second term in the expected power of $z$. The method we discuss makes use of the averaged variational principle (AVP), and yields two-sided bounds for individual eigenvalues, which are semiclassically sharp. The AVP also yield

  20. Jakub M. Tomczak, Romain Lepert, Auke Wiggers

    Optimizing the execution time of tensor program, e.g., a convolution, involves finding its optimal configuration. Searching the configuration space exhaustively is typically infeasible in practice. In line with recent research using TVM, we propose to learn a surrogate model to overcome this issue. The model is trained on an acyclic graph called an abstract

  21. Daniel Alabi, Adam Tauman Kalai, Katrina Ligett, Cameron Musco

    It is common to encounter situations where one must solve a sequence of similar computational problems. Running a standard algorithm with worst-case runtime guarantees on each instance will fail to take advantage of valuable structure shared across the problem instances. For example, when a commuter drives from work to home, there are typically only a handfu

  22. B. Bahari, L. -Y. Hsu, S. H. Pan, D. Preece

    Vortices are topologically stable singularities at the center of a swirl of energy. Optical vortices are conventionally formed using diffractive optics or by bespoke optical elements. We report room temperature integrated lasers directly generating and multiplexing coherent beams carrying arbitrarily large orbital angular momenta (OAM). The OAM beams are cre

  23. Daniel Cunnington, Graham White, Geeth de Mel

    Generative Policy-based Models aim to enable a coalition of systems, be they devices or services to adapt according to contextual changes such as environmental factors, user preferences and different tasks whilst adhering to various constraints and regulations as directed by a managing party or the collective vision of the coalition. Recent developments have

  24. Matthew Lawson, Alexander J. Millar, Matteo Pancaldi, Edoardo Vitagliano

    We propose a new strategy to search for dark matter axions using tunable cryogenic plasmas. Unlike current experiments, which repair the mismatch between axion and photon masses by breaking translational invariance (cavity and dielectric haloscopes), a plasma haloscope enables resonant conversion by matching the axion mass to a plasma frequency. A key advant

  25. Sayak Bose, Troy Carter, Michael Hahn, Shreekrishna Tripathi

    We have explored the effectiveness of a longitudinal gradient in Alfv\'en speed in reducing the energy of propagating Alfv\'en waves under conditions scaled to match solar coronal holes. The experiments were conducted in the Large Plasma Device at the University of California, Los Angeles. Our results show that the energy of the transmitted Alfv\'en wave dec

  26. Marcel Bräutigam, Marie Kratz

    In this paper, we derive the joint asymptotic distributions of functions of quantile estimators (the non-parametric sample quantile and the parametric location-scale quantile estimator) with functions of measure of dispersion estimators (the sample variance, sample mean absolute deviation, sample median absolute deviation) - assuming an underlying identicall

  27. Alix Deruelle, Felix Schulze, Miles Simon

    We consider smooth, not necessarily complete, Ricci flows, $(M,g(t))_{t\in (0,T)}$ with ${\mathrm{Ric}}(g(t)) \geq -1$ and $| {\mathrm{Rm}} (g(t))| \leq c/t$ for all $t\in (0 ,T)$ coming out of metric spaces $(M,d_0)$ in the sense that $(M,d(g(t)), x_0) \to (M,d_0, x_0)$ as $t\searrow 0$ in the pointed Gromov-Hausdorff sense. In the case that $B_{g(t)}(x_0,1

  28. Scipio Cuccagna, Masaya Maeda

    We consider a Nonlinear Schr\"odinger Equation with a very general non linear term and with a trapping $\delta $ potential on the line. We then discuss the asymptotic behavior of all its small solutions, generalizing a recent result by Masaki et al. We give also a result of dispersion in the case of defocusing equations with a non--trapping delta potential.

  29. Yihan Chen, Bicheng Zhang

    Dariush Kiani et al.\cite{kiani2015unitary} claim to have found the unitary Cayley graph $Cay(M_{n}(F),GL_{n}(F))$ of matrix algebras over finite field $F$ is strongly regular only when $n=2$, but they have only considered two special cases, namely when $n = 2$ and $3$ and have failed to cover the general cases. In this paper, we prove that the unitary Cayle

  30. J. Fabio Montenegro

    Let $M$ be a Riemannian manifold of dimension $n+1$ with smooth boundary and $p\in \partial M$. We prove that there exists a smooth foliation around $p$ whose leaves are submanifolds of dimension $n$, constant mean curvature and its arrive perpendicular to the boundary of M, provided that $p$ is a nondegenerate critical point of the mean curvature function o

  31. Gavin Bewick, Silvia Ferrario Ravasio, Peter Richardson, Michael H. Seymour

    We study the logarithmic accuracy of angular-ordered parton showers by considering the singular limits of multiple emission matrix elements. This allows us to consider different choices for the evolution variable and propose a new choice which has both the correct logarithmic behaviour and improved performance away from the singular regions. In particular th

  32. Dong Jiang, Weicong Huang, Chaohui Gao, Jia Liu

    As the inevitable development trend of quantum key distribution, quantum networks have attracted extensive attention, and many prototypes have been deployed over recent years. Existing quantum networks based on optical fibers or quantum satellites can realize the metro and even global communications. However, for some application scenarios that require emerg

  33. Rania Briq, Andreas Doering, Juergen Gall

    We propose a joint model of human joint detection and association for 2D multi-person pose estimation (MPPE). The approach unifies training of joint detection and association without a need for further processing or sophisticated heuristics in order to associate the joints with people individually. The approach consists of two stages, where in the first stag

  34. Thomas Place, Marc Zeitoun

    We investigate the star-free closure, which associates to a class of languages its closure under Boolean operations and marked concatenation. We prove that the star-free closure of any finite class and of any class of groups languages with decidable separation (plus mild additional properties) has decidable separation. We actually show decidability of a stro

  35. Mohammed Ghadiyali, Sajeev Chacko

    Fractals are self-repeating patterns which have dimensions given by fractions rather than integers. While the dimension of a system unambiguously defines its properties, a fractional dimensional system can exhibit interesting properties. The recent work on confinement of the electronic wavefunction in fractal dimensions by creating artificial lattice has giv

  36. Svante Janson, Lutz Warnke

    We study the following preferential attachment variant of the classical Erdos-Renyi random graph process. Starting with an empty graph on n vertices, new edges are added one-by-one, and each time an edge is chosen with probability roughly proportional to the product of the current degrees of its endpoints (note that the vertex set is fixed). We determine the

  37. Philipp Harms, Elodie Maignant, Stefan Schlager

    Several important algorithms for machine learning and data analysis use pairwise distances as input. On Riemannian manifolds these distances may be prohibitively costly to compute, in particular for large datasets. To tackle this problem, we propose a distance approximation which requires only a linear number of geodesic boundary value problems to be solved.

  38. E. Darragh-Ford, C. Laigle, G. Gozaliasl, C. Pichon

    Cosmic filaments are the channel through which galaxy groups assemble their mass. Cosmic connectivity, namely the number of filaments connected to a given group, is therefore expected to be an important ingredient in shaping group properties. The local connectivity is measured in COSMOS around X-Ray detected groups between redshift 0.5 and 1.2. To this end,

  39. Piergiorgio Caramazza, Oisín Moran, Roderick Murray-Smith, Daniele Faccio

    The optical transport of images through a multimode fibre remains an outstanding challenge with applications ranging from optical communications to neuro-imaging. State of the art approaches either involve measurement and control of the full complex field transmitted through the fibre or, more recently, training of artificial neural networks that however, ar

  40. Martha P. Dussan, A. P. Franco Filho, P. Simoes

    This paper introduces a complex representation for spacelike surfaces in the Lorentz-Minkowski space $L^4$, based in two complex valued functions which can be assumed to be holomorphic or anti-holomorphic. When the immersion is contained in quadrics of $L^4$, the representation then allows us to obtain interesting partial differential equations with holomorp

  41. N. P. Ikonnikova, M. A. Burlak, V. P. Arkhipova, V. F. Esipov

    LT Del is a yellow symbiotic system that consists of a bright K3-type giant and a hot subdwarf with a temperature of about 10$^5$ K. We present the results of our spectroscopic observations of LT Del over the period 2010-2018. In 2017 the star experienced a second low-amplitude ($\Delta V\sim0.^{m}7$) outburst in the history of its studies. The emission spec

  42. Dhriti Ranjan Dolai, M Krishna, Anish Mallick

    In this paper we solve a long standing open problem for Random Schr\"odinger operators on $L^2(\mathbb{R}^d)$ with i.i.d single site random potentials. We allow a large class of free operators, including magnetic potential, however our method of proof works only for the case when the random potentials satisfy a complete covering condition. We require that th

  43. Nicolas Brantut, Dmitry I. Garagash, Hiroyuki Noda

    Pulse-like ruptures arise spontaneously in many elastodynamic rupture simulations and seem to be the dominant rupture mode along crustal faults. Pulse-like ruptures propagating under steady-state conditions can be efficiently analysed theoretically, but it remains unclear how they can arise and how they evolve if perturbed. Using thermal pressurisation as a

  44. Rebekah I. Dawson, Chelsea X. Huang, Jack J. Lissauer, Karen A. Collins

    Warm, large exoplanets with 10-100 day orbital periods pose a major challenge to our understanding of how planetary systems form and evolve. Although high eccentricity tidal migration has been invoked to explain their proximity to their host stars, a handful reside in or near orbital resonance with nearby planets, suggesting a gentler history of in situ form

  45. Joel Greenyer, Malte Lochau, Thomas Vogel

    This report documents the program and results of the GI-Dagstuhl Seminar 19023 on Explainable Software for Cyber-Physical Systems (ES4CPS). The seminar was concerned with the challenge that for future Cyber-Physical Systems (CPS), it will become increasingly relevant to explain their behavior (past, current, and future behavior, why a certain action was take

  46. Yonatan Gazit, Hui Khoon Ng, Jun Suzuki

    Quantum process tomography --- a primitive in many quantum information processing tasks --- can be cast within the framework of the theory of design of experiment (DoE), a branch of classical statistics that deals with the relationship between inputs and outputs of an experimental setup. Such a link potentially gives access to the many ideas of the rich subj

  47. Rodrigo C. V. Coelho, Nuno A. M. Araújo, Margarida M. Telo da Gama

    We use numerical simulations to investigate the hydrodynamic behavior of the interface between nematic (N) and isotropic (I) phases of a confined active liquid crystal. At low activities, a stable interface with constant shape and velocity is observed separating the two phases. For nematics in homeotropic channels, the velocity of the interface at the NI tra

  48. Maximilian A. C. Saller, Aaron Kelly, Jeremy O. Richardson

    The mapping approach addresses the mismatch between the continuous nuclear phase space and discrete electronic states by creating an extended, fully continuous phase space using a set of harmonic oscillators to encode the populations and coherences of the electronic states. Existing quasiclassical dynamics methods based on mapping, such as the linearised sem

  49. Nicolò Maccaferri, Irina Zubritskaya, Ilya Razdolski, Ioan-Augustin Chioar

    This Perspective surveys the state-of-the-art and future prospects of science and technology employing the nanoconfined light (nanophotonics and nanoplasmonics) in combination with magnetism. We denote this field broadly as nanoscale magnetophotonics. We include a general introduction to the field and describe the emerging magneto-optical effects in magnetop

  50. Thomas J. Maccarone, Elena Gallo, Sebastian Heinz, James C. A. Miller-Jones

    This paper outlines the importance of understanding jets from compact binaries for the problem of understanding the broader phenomenology of jet production. Because X-ray binaries are nearby and bright, have well-measured system parameters, and vary by factors of $\sim 10^6$ on $\sim$ year timescales, they provide a unique opportunity to understand how vario

  51. Aleksandra Gawlik, Vsevolod Vladimirov, Sergii Skurativskyi

    We study a system of nonlinear differential equations simulating transport phenomena in active media. The model we are interested in is a generalization of the celebrated FitzHugh-Nagumo system, describing the nerve impulse propagation in axon. The modeling system is shown to possesses soliton-like solutions under certain restrictions on the parameters. The

  52. Ian Marquette

    In recent years, progress toward the classification of superintegrable systems with higher order integrals of motion has been made. In particular, a complete classification of all exotic potentials with a third or a fourth order integrals, and allowing separation of variables in Cartesian coordinates. All doubly exotic potentials with a fifth order integral

  53. C. Beck, S. Gosain, C. Kiessner

    Present day solar imaging spectrometers typically yield a few hundred million spectra in one hour of observing time. This number will increase by an order of magnitude for future instruments with larger 4k x 4k sensors as planned to be used for the upcoming DKIST solar telescope. A fast quantitative analysis of such huge data volumes can be done by comparing

  54. Thomas J. Maccarone, Laura Chomiuk, James Miller-Jones, Eric Bellm

    Black holes in binary star systems are vital for understanding the process of pr oducing gravitational wave sources, understanding how supernovae work, and for p roviding fossil evidence for the high mass stars from earlier in the Universe. At the present time, sample sizes of these objects, and especially of black hole s in binaries, are quite limited. Furt

  55. Yan Li, Rong-Feng Shen

    A multi-messenger, black hole (BH) - neutron star (NS) merger event still remains to be detected. The tidal (dynamical) ejecta from such an event, thought to produce a kinonova, is concentrated in the equatorial plane and occupies only part of the whole azimuthal angle. In addition, recent simulations suggest that the outflow or wind from the post-merger rem

  56. Yun-Wei Yu, Aming Chen, Xiang-Dong Li

    The accretion-induced collapse (AIC) of a white dwarf in a binary with a nondegenerate companion can sometimes lead to the formation of a rapidly rotating and highly magnetized neutron star (NS). The spin-down of this NS can drive a powerful pulsar wind (PW) and bring out some detectable multi-wavelength emissions. On the one hand, the PW can evaporate the c

  57. Biqiang Mu, Hongsheng Qi, Ian R. Petersen, Guodong Shi

    In this paper, we study extended linear regression approaches for quantum state tomography based on regularization techniques. For unknown quantum states represented by density matrices, performing measurements under certain basis yields random outcomes, from which a classical linear regression model can be established. First of all, for complete or over-com

  58. Marco Roberti, Giovanni Bonetta, Rossella Cancelliere, Patrick Gallinari

    In the last few years, many different methods have been focusing on using deep recurrent neural networks for natural language generation. The most widely used sequence-to-sequence neural methods are word-based: as such, they need a pre-processing step called delexicalization (conversely, relexicalization) to deal with uncommon or unknown words. These forms o

  59. Santiago Andres Triana, Jeremy Rekier, Antony Trinh, Veronique Dehant

    The Earth is a rapidly rotating body. The centrifugal pull makes its shape resemble a flattened ellipsoid and Coriolis forces support waves in its fluid core, known as inertial waves. These waves can lead to global oscillations, or modes, of the fluid. Periodic variations of the Earth's rotation axis (nutations) can lead to an exchange of angular momentum be

  60. L. Crippa, A. Amaricci, N. Wagner, G. Sangiovanni

    Weyl semimetals (WSMs) are characterized by topologically stable pairs of nodal points in the band structure, that typically originate from splitting a degenerate Dirac point by breaking symmetries such as time reversal or inversion symmetry. Within the independent electron approximation, the transition between an insulating state and a WSM requires the loca

  61. Matteo Tuveri, Mariano Cadoni

    We explore in a systematic way the possibility that long-range quantum gravity effects could play a role at galactic scales and could be responsible for the phenomenology commonly attributed to dark matter. We argue that the presence of baryonic matter breaks the scale symmetry of the de Sitter (dS) spacetime generating an IR scale $r_0$, corresponding to th

  62. Artur Souza, Leonardo B. Oliveira, Sabine Hollatz, Matt Feldman

    Serial crystallography is the field of science that studies the structure and properties of crystals via diffraction patterns. In this paper, we introduce a new serial crystallography dataset comprised of real and synthetic images; the synthetic images are generated through the use of a simulator that is both scalable and accurate. The resulting dataset is c

  63. Xiaokun Pu, Chunguang Li

    In this paper, we address the problem of adaptive learning for autoregressive moving average (ARMA) model in the quaternion domain. By transforming the original learning problem into a full information optimization task without explicit noise terms, and then solving the optimization problem using the gradient descent and the Newton analogues, we obtain two o

  64. Leila Arras, Ahmed Osman, Klaus-Robert Müller, Wojciech Samek

    Recently, several methods have been proposed to explain the predictions of recurrent neural networks (RNNs), in particular of LSTMs. The goal of these methods is to understand the network's decisions by assigning to each input variable, e.g., a word, a relevance indicating to which extent it contributed to a particular prediction. In previous works, some of

  65. Dominik Kahl, Philipp Wendland, Matthias Neidhardt, Andreas Weber

    Despite recent progress in our understanding of complex dynamic networks, it remains challenging to devisesufficiently accurate models to observe, control or predict the state of real systems in biology, economics or other fields. A largely overlooked fact is that these systems are typically open and receive unknown inputs from their environment. A further f

  66. Sanjay Krishnan, Eugene Wu

    The analyst effort in data cleaning is gradually shifting away from the design of hand-written scripts to building and tuning complex pipelines of automated data cleaning libraries. Hyper-parameter tuning for data cleaning is very different than hyper-parameter tuning for machine learning since the pipeline components and objective functions have structure t

  67. Y. Fu, D. J. Singh

    We report tests of various density functionals for ferromagnetic, Fe, Co and Ni with a focus on characterizing the behavior of the so-called strongly constrained and appropriately normed (SCAN) functional. It is found that SCAN is closer in behavior to functionals that yield localized behavior, such as hybrid functionals, than other semilocal functionals tha

  68. Sheng-Tao Li, Gang Lü

    In perturbative QCD approach, we study the direct $CP$ violation in the decay of $\bar{B}_s^0\to\rho(\omega )\phi\to {\pi^+}{\pi^-}\phi$ via isospin symmetry breaking. An interesting mechanism involving the charge symmetry violating between $\rho$ and $\omega$ is applied to enlarge the $CP$ violating asymmetry. We find that the $CP$ violation can be enhanced

  69. Yannick Forster, Fabian Kunze

    We provide a plugin extracting Coq functions of simple polymorphic types to the (untyped) call-by-value $\lambda$-calculus L. The plugin is implemented in the MetaCoq framework and entirely written in Coq. We provide Ltac tactics to automatically verify the extracted terms w.r.t a logical relation connecting Coq functions with correct extractions and time bo

  70. Maksat Temirkhan

    The uniform acceleration of a point charge moving along a stationary worldline, which emits constant radiated power was investigated. A classification of motion of a particle along stationary worldlines into six types is made. The angular distribution of this power is found for all stationary worldlines including those with torsion and hypertorsion and their

  71. Sietske J. D. Bouma, Philipp Richter, Cora Fechner

    Aims. We aim to investigate the ionisation conditions and distances of Galactic high-velocity clouds (HVCs) in the Galactic halo and beyond in the direction of the Local Group (LG) barycentre and anti-barycentre, by studying spectral data of 29 extragalactic background sources obtained with Cosmic Origins Spectropgraph (COS) installed on the Hubble Space Tel

  72. Alexandre Salle, Marcelo Prates

    This short paper introduces an abstraction called Think Again Networks (ThinkNet) which can be applied to any state-dependent function (such as a recurrent neural network).

  73. Jean-Baptiste Camps, Gilles Guilhem Couffignal

    At a time when the quantity of - more or less freely - available data is increasing significantly, thanks to digital corpora, editions or libraries, the development of data mining tools or deep learning methods allows researchers to build a corpus of study tailored for their research, to enrich their data and to exploit them.Open optical character recognitio

  74. Yannick Boetzel, Chandra Kant Mishra, Guillaume Faye, Achamveedu Gopakumar

    We compute the tail contributions to the gravitational-wave mode amplitudes for compact binaries in eccentric orbits at the third post-Newtonian order of general relativity. We combine them with the already available instantaneous pieces and include the post-adiabatic corrections required to fully account for the effects of radiation-reaction forces on the m

  75. Carlos Sánchez-Sánchez, José Ignacio Martínez, Nerea Ruiz del Arbol, Pascal Ruffieux

    The activation and subsequent covalent coupling of polycyclic aromatic hydrocarbons (PAHs) are of great interest in fields like chemistry, energy, biology, or health, among others. However, this is not a trivial process. So far, it is based on the use of catalysts that drive and increase the efficiency of the reaction. Here, we report on an unprecedented met

  76. George K. Thiruvathukal, Cameron Christensen, Xiaoyong Jin, François Tessier

    As dataset sizes increase, data analysis tasks in high performance computing (HPC) are increasingly dependent on sophisticated dataflows and out-of-core methods for efficient system utilization. In addition, as HPC systems grow, memory access and data sharing are becoming performance bottlenecks. Cloud computing employs a data processing paradigm typically b

  77. Wilton N. Catford

    An overview of the experimental aspects of nucleon transfer reactions with radioactive beams is presented, aimed principally at a researcher who is beginning their work in this area. Whilst the physics motivation and the means of theoretical interpretation are briefly described, the emphasis is on the experimental techniques and the quantities that can be me

  78. Marduk Bolaños, Benjamin A. Stickler, Klaus Hornberger

    We present a generic Markovian master equation inducing the gradual classicalization of a bosonic quantum field. It leads to the decoherence of quantum superpositions of field configurations, while leaving the Ehrenfest equations for both the field and the mode-variables invariant. We characterize the classicalization analytically and numerically, and show t

  79. Karoliina Lehtinen, Sven Schewe, Dominik Wojtczak

    Parys has recently proposed a quasi-polynomial version of Zielonka's recursive algorithm for solving parity games. In this brief note we suggest a variation of his algorithm that improves the complexity to meet the state-of-the-art complexity of broadly $2^{O((\log n)(\log c))}$, while providing polynomial bounds when the number of colours is logarithmic.

  80. Thomas Kirchner, Janek Gröhl, Niklas Holzwarth, Mildred A. Herrera

    Multispectral photoacoustic (PA) imaging is a prime modality to monitor hemodynamics and changes in blood oxygenation (sO2). Although sO2 changes can be an indicator of brain activity both in normal and in pathological conditions, PA imaging of the brain has mainly focused on small animal models with lissencephalic brains. Therefore, the purpose of this work

  81. Claudio Carmeli, Teiko Heinosaari, Takayuki Miyadera, Alessandro Toigo

    The relation between noise and disturbance is investigated within the general framework of Galois connections. Within this framework, we introduce the notion of leak of information, mathematically defined as one of the two closure maps arising from the observable-channel compatibility relation. We provide a physical interpretation for it, and we give a compa

  82. Anant S. Vemuri

    This paper attempts to provide the reader a place to begin studying the application of computer vision and machine learning to gastrointestinal (GI) endoscopy. They have been classified into 18 categories. It should be be noted by the reader that this is a review from pre-deep learning era. A lot of deep learning based applications have not been covered in t

  83. Weiming Feng, Kun He, Xiaoming Sun, Yitong Yin

    Probabilistic graphical models, such as Markov random fields (MRFs), are useful for describing high-dimensional distributions in terms of local dependence structures. The probabilistic inference is a fundamental problem related to graphical models, and sampling is a main approach for the problem. In this paper, we study probabilistic inference problems when

  84. Rebeca Bueno, Marzia Marciello, Miguel Moreno, Carlos Sanchez-Sanchez

    Technologically useful and robust graphene-based interfaces for devices require the introduction of highly selective, stable, and covalently bonded functionalities on the graphene surface, whilst essentially retaining the electronic properties of the pristine layer. This work demonstrates that highly controlled, ultrahigh vacuum covalent chemical functionali

  85. Dehia Ait-Ferhat, Vincent Juliard, Gautier Stauffer, Andres Torres

    In this paper, we investigate the $k$-path coloring problem, a variant of vertex coloring arising in the context of integrated circuit manufacturing. In this setting, typical industrial instances exhibit a `tree-like' structure. We exploit this property to design an efficient algorithm for our industrial problem: (i) on the methodological side, we show that

  86. Francesco Ranzato, Marco Zanella

    We study the problem of formally verifying the robustness to adversarial examples of support vector machines (SVMs), a major machine learning model for classification and regression tasks. Following a recent stream of works on formal robustness verification of (deep) neural networks, our approach relies on a sound abstract version of a given SVM classifier t

  87. Oleg Gutik, Anatolii Savchuk

    In this paper we study submonoids of the monoid $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ of almost monotone injective co-finite partial selfmaps of positive integers $\mathbb{N}$. Let $\mathscr{I}_\infty^{\!\nearrow}(\mathbb{N})$ be a submonoid of $\mathscr{I}_\infty^{\,\Rsh\!\!\!\nearrow}(\mathbb{N})$ which consists of cofinite monotone parti

  88. Muhua Zheng, Antoine Allard, Patric Hagmann, Yasser Alemán-Gómez

    Structural connectivity in the brain is typically studied by reducing its observation to a single spatial resolution. However, the brain possesses a rich architecture organized over multiple scales linked to one another. We explored the multiscale organization of human connectomes using datasets of healthy subjects reconstructed at five different resolutions

  89. Daniele Chiappini, Xiao Xue, Giacomo Falcucci, Mauro Sbragaglia

    The Plateau-Rayleigh instability causes the fragmentation of a liquid ligament into smaller droplets. In this study a numerical study of this phenomenon based on a single relaxation time (SRT) pseudo-potential lattice Boltzmann method (LBM) is proposed. If systematically analysed, this test case allows to design appropriate parameters sets to deal with engin

  90. V C C Alves, H Aratyn, J F Gomes, A H Zimerman

    The paper discusses P$_{III-V}$ equation for special values of its parameters for which this equation reduces to P$_{III}$, I$_{12}$, as well as, to some special cases of I$_{38}$ and I$_{49}$ equations from the Ince's list of $50$ second order differential equations possessing Painlev\'e property. These reductions also yield symmetries governing the reduced

  91. J. Fernando Barbero G., Bogar Díaz, Juan Margalef-Bentabol, Eduardo J. S. Villaseñor

    The goal of this paper is to propose and discuss a practical way to implement the Dirac algorithm for constrained field models defined on spatial regions with boundaries. Our method is inspired in the geometric viewpoint developed by Gotay, Nester, and Hinds (GNH) to deal with singular Hamiltonian systems. We pay special attention to the specific issues rais

  92. Gerrit van Dijk

    A Lie group G is called a trace class group if for every irreducible unitary representation R of G and every C-infinity function f with compact support the operator R(f) is of trace class. In this note we prove that the semidirect product of R^n and a real semisimple algebraic subgroup G of GL(n;R) is a trace class group only if G is compact. The converse ha

  93. Pablo D. Carrasco, Davi Obata

    We present an example of a $\mathcal{C}^1$-robustly transitive skew-product with non-trivial, non-hyperbolic action on homology. The example is conservative, ergodic, non-uniformly hyperbolic and its fiber directions cannot be decomposed into two dominated expanded/contracted bundles.

  94. Ohad Shpielberg, Takahiro Nemoto

    An equivalence between non equilibrium steady states (NESS) driven by a time-independent force and stochastic pumps (SP) stirred by a time-varying conservative force is studied for general many-body diffusive systems. When the particle density and current of NESS are imitated by SP time-averaged counterparts, we prove that the entropy production rate in NESS

  95. Julien Lavauzelle, Julian Renner

    Twisted Reed-Solomon (TRS) codes are a family of codes that contains a large number of maximum distance separable codes that are non-equivalent to Reed--Solomon codes. TRS codes were recently proposed as an alternative to Goppa codes for the McEliece code-based cryptosystem, resulting in a potential reduction of key sizes. The use of TRS codes in the McEliec

  96. Guojun Yin, Bin Liu, Huihui Zhu, Tao Gong

    Multiple-object tracking and behavior analysis have been the essential parts of surveillance video analysis for public security and urban management. With billions of surveillance video captured all over the world, multiple-object tracking and behavior analysis by manual labor are cumbersome and cost expensive. Due to the rapid development of deep learning a

  97. Anne Lauscher, Goran Glavaš

    Word embeddings have recently been shown to reflect many of the pronounced societal biases (e.g., gender bias or racial bias). Existing studies are, however, limited in scope and do not investigate the consistency of biases across relevant dimensions like embedding models, types of texts, and different languages. In this work, we present a systematic study o

  98. Noam Zimhoni

    In 1934 B. Berggren first discovered the surprising result that every Pythagorean triplet is the pre product of the triplet (3, 4, 5) presented as a column by a product of three matrices, that every triplet is obtained in this manner exactly once and in primitive form. In this paper we show a similar result for integer triangles with an angle of 60 degrees (

  99. Michael Strecke, Jörg Stückler

    The majority of approaches for acquiring dense 3D environment maps with RGB-D cameras assumes static environments or rejects moving objects as outliers. The representation and tracking of moving objects, however, has significant potential for applications in robotics or augmented reality. In this paper, we propose a novel approach to dynamic SLAM with dense

  100. Cheuk Yu Mak, Helge Ruddat

    We use tropical curves and toric degeneration techniques to construct closed embedded Lagrangian rational homology spheres in a lot of Calabi-Yau threefolds. We apply this construction to the tropical curves obtained from the 2875 lines on the quintic Calabi-Yau threefold. Each admissible tropical curve gives a Lagrangian rational homology sphere in the corr