April 2019 arXiv papers — page 8
Showing 701–800 of 12,989 papers
Nicolas Behr
Taking advantage of a recently discovered associativity property of rule compositions, we extend the classical concurrency theory for rewriting systems over adhesive categories. We introduce the notion of tracelets, which are defined as minimal derivation traces that universally encode sequential compositions of rewriting rules. Tracelets are compositional,
Djalal F. Bendimerad, Huijian Zhang, Ingmar Land, Hartmut Hafermann
We propose a very low-complexity and high-performance algorithm for soft-demapping of multi-dimensional modulation formats. We assess its performance over the linear channel for four 8D formats, generated using binary arithmetics. This solution outperforms current algorithms in terms of complexity without loss in performances.
Jun-ichi Sakamoto
This thesis is mainly devoted to studying integrable deformations of the ${\rm AdS}_5 \times {\rm S}^5$ superstring and generalized supergravity. We start to give a brief review of the ${\rm AdS}_5 \times {\rm S}^5$ superstring formulated in the Green-Schwartz formalism, and then introduce homogeneous Yang-Baxter (YB) deformation of the ${\rm AdS}_5 \times {
Tao Hou, Yafei Ren, Yujie Quan, Jeil Jung
We study the electronic and transport properties of a network of domain walls between insulating domains with opposite valley Chern numbers. We find that the network is semi-metallic with Dirac dispersion near the charge neutrality point and the corresponding electronic states distribute along the domain walls. Near the charge neutrality point, we find quant
Experimental Demonstration of Data Transmission Based on the Exact Inverse Periodic Nonlinear Fourier Transform
cs.ITJan-Willem Goossens, Yves Jaouën, Hartmut Hafermann
We design a two-dimensional signal constellation based on the exact periodic inverse nonlinear Fourier transform. Feasibility of continuous transmission with periodic signals is experimentally demonstrated over more than 2000 km.
Sunyoung Shin
We study vacua and walls of the mass-deformed nonlinear sigma model on the Grassmann manifold $G_{N_F,N_C}=\frac{SU(N_F)}{SU(N_C)\times SU(N_F-N_C)\times U(1)}$ and discuss three-pronged junctions for $N_C=1,2,3$ in four dimensions.
Takao Sakaguchi
Physics prospective of the high density matter using heavy ions collisions is presented. The J-PARC-HI project which is a unique lab to tackle the high density matter physics is described. The world highest rate of heavy ion beam of 10$^{11}$ Hz is aimed at J-PARC-HI which enables us to perform measurements of hadrons, fluctuation of conserved quantities, di
Henry W. Lin, Juan Maldacena, Ying Zhao
We consider a nearly-AdS$_2$ gravity theory on the two-sided wormhole geometry. We construct three gauge-invariant operators in NAdS which move bulk matter relative to the dynamical boundaries. In a two-sided system, these operators satisfy an SL(2) algebra (up to non-perturbative corrections). In a semiclassical limit, these generators act like SL(2) transf
Leonard Susskind
In a recent note I argued that the holographic origin of gravitational attraction is the quantum mechanical tendency for operators to grow under time evolution. In a followup the claim was tested in the context of the SYK theory and its bulk dual---the theory of near-extremal black holes. In this paper I give an improved version of the size-momentum correspo
Planetary system around the nearby M dwarf GJ 357 including a transiting, hot, Earth-sized planet optimal for atmospheric characterization
astro-ph.EPR. Luque, E. Pallé, D. Kossakowski, S. Dreizler
We report the detection of a transiting Earth-size planet around GJ 357, a nearby M2.5V star, using data from the Transiting Exoplanet Survey Satellite (TESS). GJ 357 b (TOI-562.01) is a transiting, hot, Earth-sized planet (Teq=525+-11 K) with a radius of Rb=1.217+-0.084 Re and an orbital period of Pb=3.93 d. Precise stellar radial velocities from CARMENES a
Niel de Beaudrap, Ross Duncan, Dominic Horsman, Simon Perdrix
We present an abstract model of quantum computation, the "Pauli Fusion" model, whose primitive operations correspond closely to generators of the ZX calculus (a formal graphical language for quantum computing). The fundamental operations of Pauli Fusion are also straightforward abstractions of basic processes in some leading proposed quantum technologies. Th
Dirk van Bokkem, Rico Hageman, Gijs Koning, Luat Nguyen
With the advancement of technology and subsequently the age of digital information, online trustworthy identification has become increasingly more important. With respect to the various data breaches and privacy regulations, the current identity solutions are not fully optimized. In this paper, we will take a look at several Self-Sovereign Identity solutions
Yacine Mehtar-Tani, Alba Soto-Ontoso, Marta Verweij
Experimentally, jet physics studies face an unavoidable task: distinguishing, at the detector level, the particles produced in the hard partonic scattering from the ones created in unrelated soft processes such as pileup interactions in high-luminosity proton-proton scattering or the underlying event in heavy-ion collisions. The fluctuating nature of the bac
F. Le Vot, S. B. Yuste, E. Abad
We study normal diffusive and subdiffusive processes in a harmonic potential (Ornstein-Uhlenbeck process) on a uniformly growing/contracting domain. Our starting point is a recently derived fractional Fokker-Planck equation, which covers both the case of Brownian diffusion and the case of a subdiffusive Continuous-Time Random Walk (CTRW). We find a high sens
Y. -H. Chan, Diana Y. Qiu, Felipe H. da Jornada, Steven G. Louie
Shift current is a DC current generated from nonlinear light-matter interaction in a non-centrosymmetric crystal and is considered a promising candidate for next generation photovoltaic devices. The mechanism for shift currents in real materials is, however, still not well understood, especially if electron-hole interactions are taken into account. Here, we
Ryosuke Takahashi
We study the quantization of coupled K\"ahler-Einstein (CKE) metrics, namely we approximate CKE metrics by means of the canonical Bergman metrics, so called the ``balanced metrics''. We prove the existence and weak convergence of balanced metrics for the negative first Chern class, while for the positive first Chern class, we introduce some algebro-geometric
Florent Chatelain, Nicolas Le Bihan, Jonathan H. Manton
Impropriety testing for complex-valued vector has been considered lately due to potential applications ranging from digital communications to complex media imaging. This paper provides new results for such tests in the asymptotic regime, i.e. when the vector dimension and sample size grow commensurately to infinity. The studied tests are based on invariant s
A Split-Step Fourier Scheme for the Dissipative Kundu-Eckhaus Equation and its Rogue Wave Dynamics
nlin.CDCihan Bayindir, Hazal Yurtbak
We investigate the rogue wave dynamics of the dissipative Kundu-Eckhaus equation. With this motivation, we propose a split-step Fourier scheme for its numerical solution. After testing the accuracy and stability of the scheme using an analytical solution as a benchmark problem, we analyze the chaotic wave fields generated by the modulation instability within
Raghuram TR, Arvind Ajoy
We propose a framework to model ferroelectric negative capacitance: electrostatic Micro Electro Mechanical Systems (MEMS) hybrid actuators and analyze their dynamic (step input) response. Using this framework, we report the first proposal for reduction in the dynamic pull-in and pull-out voltages of the hybrid actuators due to the negative capacitance of the
Leo Betthauser, Peter Bubenik, Parker B. Edwards
We introduce a refinement of the persistence diagram, the graded persistence diagram. It is the Mobius inversion of the graded rank function, which is obtained from the rank function using the unary numeral system. Both persistence diagrams and graded persistence diagrams are integer-valued functions on the Cartesian plane. Whereas the persistence diagram ta
Allaoua Boughrira, Hellen Colman
This paper is concerned with problems relevant to motion planning in robotics. Configuration spaces are of practical relevance in designing safe control schemes for robots moving on a track. The topological complexity of a configuration space is an integer which can be thought of as the minimum number of continuous instructions required to describe how to mo
U. Buchenau
Supplemental Material to ArXiv:1902.02746
Lorenzo De Stefani
Asymptotically tight lower bounds are derived for the I/O complexity of a general class of hybrid algorithms computing the product of $n \times n$ square matrices combining ``\emph{Strassen-like}'' fast matrix multiplication approach with computational complexity $\Theta{n^{\log_2 7}}$, and ``\emph{standard}'' matrix multiplication algorithms with computatio
Divya Gopinath, Hayes Converse, Corina S. Pasareanu, Ankur Taly
We present techniques for automatically inferring formal properties of feed-forward neural networks. We observe that a significant part (if not all) of the logic of feed forward networks is captured in the activation status ('on' or 'off') of its neurons. We propose to extract patterns based on neuron decisions as preconditions that imply certain desirable o
Math Dicker
A proof of the main theorem of the Galois theory is presented using the main theorem of symmetric polynomials. The idea originated from studying the "M\'emoire sur les conditions de r\'esolubilit\'e des \'equations par radicaux" of Evariste Galois. The motto "Read the masters" pays off.
Lam Hui, Daniel Kabat, Xinyu Li, Luca Santoni
We show that a black hole surrounded by scalar dark matter develops scalar hair. This is the generalization of a phenomenon pointed out by Jacobson, that a minimally coupled scalar with a non-trivial time dependence far away from the black hole would endow the black hole with hair. In our case, the time dependence arises from the oscillation of a scalar fiel
Room-temperature structural phase transition in the quasi-2D spin-1/2 Heisenberg antiferromagnet Cu(pz)$_2$(ClO$_4$)$_2$
cond-mat.mtrl-sciN. Barbero, M. Medarde, T. Shang, D. Sheptyakov
Cu(pz)$_2$(ClO$_4$)$_2$ (with pz denoting pyrazine C$_4$H$_4$N$_2$) is a two-dimensional spin-1/2 square-lattice antiferromagnet with $T_{\mathrm{N}}$ = 4.24 K. Due to a persisting focus on the low-temperature magnetic properties, its room-temperature structural and physical properties caught no attention up to now. Here we report a study of the structural f
Giuliano Bianco, Marco Bonatto
We develop some general ideas to study connected quandles of prime power size and we classify non-affine connected quandles of size $p^3$ for $p>3$, using a combination of group theoretical and universal algebraic tools. As a byproduct we obtain a classification of Bruck loops of the same size and that they are in one-to-one correspondence with commutative a
Simeon Ball, Michel Lavrauw
To an arc $\mathcal{A}$ of $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$ we associate a tensor in $\langle \nu_{k,t}(\mathcal{A})\rangle^{\otimes k-1}$, where $\nu_{k,t}$ denotes the Veronese map of degree $t$ defined on $\mathrm{PG}(k-1,q)$. As a corollary we prove that for each arc $\mathcal{A}$ in $\mathrm{PG}(k-1,q)$ of size $q+k-1-t$, which is not contained in
Marduk Bolaños
This article provides an accessible illustration of the measurement approach to the study of the quantum-classical transition suitable for beginning graduate students. As an example, we apply it to a quantum system with a general quadratic Hamiltonian and obtain the exact solution of the dynamics for an arbitrary measurement strength.
Mathematical studies of the dynamics of finite-size binary neural networks: A review of recent progress
q-bio.NCDiego Fasoli, Stefano Panzeri
Traditional mathematical approaches to studying analytically the dynamics of neural networks rely on the mean-field approximation, which is rigorously applicable only to networks of infinite size. However, all existing real biological networks have finite size, and many of them, such as microscopic circuits in invertebrates, are composed only of a few tens o
On varieties defined by large sets of quadrics and their application to error-correcting codes
math.COSimeon Ball, Valentina Pepe
Let $U$ be a $({ k-1 \choose 2}-1)$-dimensional subspace of quadratic forms defined on $\mathrm{PG}(k-1,{\mathbb F})$ with the property that $U$ does not contain any reducible quadratic form. Let $V(U)$ be the points of $\mathrm{PG}(k-1,{\mathbb F})$ which are zeros of all quadratic forms in $U$. We will prove that if there is a group $G$ which fixes $U$ and
Xin Xin, Xiangnan He, Yongfeng Zhang, Yongdong Zhang
Existing item-based collaborative filtering (ICF) methods leverage only the relation of collaborative similarity. Nevertheless, there exist multiple relations between items in real-world scenarios. Distinct from the collaborative similarity that implies co-interact patterns from the user perspective, these relations reveal fine-grained knowledge on items fro
Anna Frühstück, Ibraheem Alhashim, Peter Wonka
We tackle the problem of texture synthesis in the setting where many input images are given and a large-scale output is required. We build on recent generative adversarial networks and propose two extensions in this paper. First, we propose an algorithm to combine outputs of GANs trained on a smaller resolution to produce a large-scale plausible texture map
Marek M. Rams, Michael Zwolak
The recognition that large classes of quantum many-body systems have limited entanglement in the ground and low-lying excited states led to dramatic advances in their numerical simulation via so-called tensor networks. However, global dynamics elevates many particles into excited states, and can lead to macroscopic entanglement and the failure of tensor netw
Fully Homomorphic Encryption Encapsulated Difference Expansion for Reversible Data hiding in Encrypted Domain
cs.CRYan Ke, Min-qing Zhang, Jia Liu, Ting-ting Su
This paper proposes a fully homomorphic encryption encapsulated difference expansion (FHEE-DE) scheme for reversible data hiding in encrypted domain (RDH-ED). In the proposed scheme, we use key-switching and bootstrapping techniques to control the ciphertext extension and decryption failure. To realize the data extraction directly from the encrypted domain w
Man Hon Yau, C. A. R. Sá de Melo
We discuss the emergence of topological color insulators in optical lattices as quantum phases of SU(3) ultra-cold neutral fermions. We construct the Chern matrix and classify all insulating phases in terms of three topological invariants: the charge-charge, the color-charge and the color-color Chern numbers. Our classification transcends that of SU(2) syste
Lia Corrales, Lynne Valencic, Elisa Costantini, Javier Garcia
X-ray absorption fine structure (XAFS) in the 0.2-2 keV band is a crucial component in multi-wavelength studies of dust mineralogy, size, and shape -- parameters that are necessary for interpreting astronomical observations and building physical models across all fields, from cosmology to exoplanets. Despite its importance, many fundamental questions about d
Riccardo March, Orfeu Bertolami, Marco Muccino, Rodrigo Baptista
We examine the constraints on the Yukawa regime from the non-minimally coupled curvature-matter gravity theory arising from deep underwater ocean experiments. We consider the geophysical experiment of Zumberge et al. of 1991 for searching deviations of Newton's inverse square law in ocean. In the context of non-minimally coupled curvature-matter theory of gr
Tamar Gachechiladze, Teimuraz V. Zaqarashvili, Eka Gurgenashvili, Giorgi Ramishvili
Annual oscillations have been detected in many indices of solar activity during many cycles. Recent multi spacecraft observations of coronal bright points revealed slow retrograde toroidal phase drift (with the speed of 3 m/s of 1 yr oscillations, which naturally suggested their connection with Rossby-type waves in the interior. We have studied from a theore
Yujia Li, Chenjie Gu, Thomas Dullien, Oriol Vinyals
This paper addresses the challenging problem of retrieval and matching of graph structured objects, and makes two key contributions. First, we demonstrate how Graph Neural Networks (GNN), which have emerged as an effective model for various supervised prediction problems defined on structured data, can be trained to produce embedding of graphs in vector spac
José A. de Azcárraga, Diego Gútiez, José M. Izquierdo
In this paper we show how the method of Lie algebra expansions may be used to obtain, in a simple way, both the extended Bargmann Lie superalgebra and the Chern-Simons action associated to it in three dimensions, starting from $D=3$, $\mathcal{N}=2$ superPoincar\'e and its corresponding Chern-Simons supergravity.
Nicholas Kolkin, Jason Salavon, Greg Shakhnarovich
Style transfer algorithms strive to render the content of one image using the style of another. We propose Style Transfer by Relaxed Optimal Transport and Self-Similarity (STROTSS), a new optimization-based style transfer algorithm. We extend our method to allow user-specified point-to-point or region-to-region control over visual similarity between the styl
Shinichi Saito, Isao Tomita
Carbon allotropes such as diamond, nano-tube, Fullerene, and Graphene, have unique lattice symmetries of crystal lattice, but these are topologically trivial. We have proposed a topologically-nontrivial allotrope, named Hopfene, which has three-dimensional (3D) arrays of Hopf-links to bind 2D Graphene sheets both vertically and horizontally. Here, we describ
Katy Clough, Pedro G. Ferreira, Macarena Lagos
Through numerical simulations of a minimally coupled massive Klein-Gordon scalar field, we show that it is possible to grow hair on a Schwarzschild black hole if one assumes an initial periodically time-varying but spatially homogeneous scalar background. By "hair", we mean a non-trivial profile in the scalar field. We find that this profile emerges on a tim
Guido Festuccia, Jian Qiu, Jacob Winding, Maxim Zabzine
This work is a continuation of our previous paper arXiv:1812.06473 where we have constructed ${\cal N}=2$ supersymmetric Yang-Mills theory on 4D manifolds with a Killing vector field with isolated fixed points. In this work we expand on the mathematical aspects of the theory, with a particular focus on its nature as a cohomological field theory. The well-kno
Si-Yue Yu, Luis C. Ho, Zhaohuan Zhu
We use two-dimensional Fourier transformation to measure the pitch angle ($\varphi$) of the dominant spiral Fourier mode of well-defined spiral arms in 13 protoplanetary disks, making use of near-infrared scattered-light images of AB Aur, SAO 206462, MWC 758, V1247 Ori, HD 142527, DZ Cha, LkH$\alpha$ 330, and HD 100453, and ALMA millimeter continuum images o
Baris Nakiboglu
A judicious application of the Berry-Esseen theorem via suitable Augustin information measures is demonstrated to be sufficient for deriving the sphere packing bound with a prefactor that is $\mathit{\Omega}\left(n^{-0.5(1-E_{sp}'(R))}\right)$ for all codes on certain families of channels -- including the Gaussian channels and the non-stationary Renyi symmet
Hanhim Kang, Kristjan Haule, Gabriel Kotliar, Piers Coleman
This paper explores the energy scales of the doped Anderson lattice model using dynamical mean-field theory (DMFT), using a continuous-time Quantum Monte Carlo (CTQMC) impurity solver. We show that the low temperature properties of the lattice can not be scaled using the single ion local Kondo temperature $T_K$ but instead are governed by a doping-dependent
Gergő Pintér
The thesis deals with holomorphic germs $ \Phi: (\mathbb{C}^2, 0) \to (\mathbb{C}^3,0) $ singular only at the origin, with a special emphasis on the distinguished class of finitely determined germs. The results are published in two articles (arXiv:1404.2853 and arXiv:1902.01229), joint with Andr\'{a}s N\'{e}methi. In Chapter 3 of the thesis we study the asso
Abdullah Almethen, Othon Michail, Igor Potapov
In this paper, we study a discrete system of entities residing on a two-dimensional square grid. Each entity is modelled as a node occupying a distinct cell of the grid. The set of all $n$ nodes forms initially a connected shape $A$. Entities are equipped with a linear-strength pushing mechanism that can push a whole line of entities, from 1 to $n$, in paral
Nurdagül Anbar, Tekgül Kalaycı, Wilfried Meidl
We introduce a method based on Bezout's theorem on intersection points of two projective plane curves, for determining the nonlinearity of some classes of quadratic functions on $\mathbb{F}_{2^{2m}}$. Among those are the functions of Taniguchi 2019, Carlet 2011, and Zhou and Pott 2013, all of which are APN under certain conditions. This approach helps to und
The Virtual Machinery Workshop: an Immersive 360 degree Web-Based Vocational Education Learning
cs.CYPrayitno, Anwar Sukito Ardjo, Liliek Triyono, Bambang Kuswanto
In this article, we have proposed an educational learning material model using 360-degree environment on web-based platform by personalizing the learning environment as per user surf the web. Virtual Machinery Workshop allow an illusionary immersion into a virtual learning environment where the user can freely navigate through a 360-degree videos and picture
Nick Koning, Paul Bekker
This paper considers the problem of testing many moment inequalities, where the number of moment inequalities ($p$) is possibly larger than the sample size ($n$). Chernozhukov et al. (2019) proposed asymptotic tests for this problem using the maximum $t$ statistic. We observe that such tests can have low power if multiple inequalities are violated. As an alt
Mossbauer rotor experiment as new proof of general relativity: Rigorous computation of the additional effect of clock synchronization
gr-qcChristian Corda
We received an Honorable Mention at the Gravity Research Foundation 2018 Awards for Essays on Gravitation by showing that a correct general relativistic interpretation of the Mossbauer rotor experiment represents a new, strong and independent, proof of Einstein's general theory relativity (GTR). Here we correct a mistake which was present in our previous com
Clemens Rosenbaum, Ignacio Cases, Matthew Riemer, Tim Klinger
Compositionality is a key strategy for addressing combinatorial complexity and the curse of dimensionality. Recent work has shown that compositional solutions can be learned and offer substantial gains across a variety of domains, including multi-task learning, language modeling, visual question answering, machine comprehension, and others. However, such mod
Zeyu Ding, Yuxin Wang, Danfeng Zhang, Daniel Kifer
Noisy Max and Sparse Vector are selection algorithms for differential privacy and serve as building blocks for more complex algorithms. In this paper we show that both algorithms can release additional information for free (i.e., at no additional privacy cost). Noisy Max is used to return the approximate maximizer among a set of queries. We show that it can
Tilman Enss
The bulk viscosity determines dissipation during hydrodynamic expansion. It vanishes in scale invariant fluids, while a nonzero value quantifies the deviation from scale invariance. For the dilute Fermi gas the bulk viscosity is given exactly by the correlation function of the contact density of local pairs. As a consequence, scale invariance is broken purel
Mohammed Amer, Tomás Maul
Artificial neural networks (ANNs) have achieved significant success in tackling classical and modern machine learning problems. As learning problems grow in scale and complexity, and expand into multi-disciplinary territory, a more modular approach for scaling ANNs will be needed. Modular neural networks (MNNs) are neural networks that embody the concepts an
Localization, Detection and Tracking of Multiple Moving Sound Sources with a Convolutional Recurrent Neural Network
cs.SDSharath Adavanne, Archontis Politis, Tuomas Virtanen
This paper investigates the joint localization, detection, and tracking of sound events using a convolutional recurrent neural network (CRNN). We use a CRNN previously proposed for the localization and detection of stationary sources, and show that the recurrent layers enable the spatial tracking of moving sources when trained with dynamic scenes. The tracki
Tyler Westenbroek, Roy Dong, Lillian J. Ratliff, S. Shankar Sastry
In recent years, data has played an increasingly important role in the economy as a good in its own right. In many settings, data aggregators cannot directly verify the quality of the data they purchase, nor the effort exerted by data sources when creating the data. Recent work has explored mechanisms to ensure that the data sources share high quality data w
Daniel Vial, Vijay Subramanian
We study a social learning model in which agents iteratively update their beliefs about the true state of the world using private signals and the beliefs of other agents in a non-Bayesian manner. Some agents are stubborn, meaning they attempt to convince others of an erroneous true state (modeling fake news). We show that while agents learn the true state on
A new software implementation of the Oslo method with rigorous statistical uncertainty propagation
physics.comp-phJørgen E. Midtbø, Fabio Zeiser, Erlend Lima, Ann-Cecilie Larsen
The Oslo method comprises a set of analysis techniques designed to extract nuclear level density and average $\gamma$-decay strength function from a set of excitation-energy tagged $\gamma$-ray spectra. Here we present a new software implementation of the entire Oslo method, called OMpy. We provide a summary of the theoretical basis and derive the essential
Oluwatobi Olabiyi, Anish Khazane, Alan Salimov, Erik T. Mueller
In this paper, we extend the persona-based sequence-to-sequence (Seq2Seq) neural network conversation model to a multi-turn dialogue scenario by modifying the state-of-the-art hredGAN architecture to simultaneously capture utterance attributes such as speaker identity, dialogue topic, speaker sentiments and so on. The proposed system, phredGAN has a persona-
Daniel J. Schad, Michael Betancourt, Shravan Vasishth
Experiments in research on memory, language, and in other areas of cognitive science are increasingly being analyzed using Bayesian methods. This has been facilitated by the development of probabilistic programming languages such as Stan, and easily accessible front-end packages such as brms. The utility of Bayesian methods, however, ultimately depends on th
Oluwatobi O. Olabiyi, Anish Khazane, Erik T. Mueller
In this paper, we extend the persona-based sequence-to-sequence (Seq2Seq) neural network conversation model to multi-turn dialogue by modifying the state-of-the-art hredGAN architecture. To achieve this, we introduce an additional input modality into the encoder and decoder of hredGAN to capture other attributes such as speaker identity, location, sub-topics
Erhan Bayraktar, Suman Chakraborty
A graph $G$ percolates in the $K_{r,s}$-bootstrap process if we can add all missing edges of $G$ in some order such that each edge creates a new copy of $K_{r,s}$, where $K_{r,s}$ is the complete bipartite graph. We study $K_{r,s}$-bootstrap percolation on the Erd\H{o}s-R\'{e}nyi random graph, and determine the percolation threshold for balanced $K_{r,s}$ up
Helmut Schwichtenberg, Franziskus Wiesnet
Continuing earlier work of the first author with U. Berger, K. Miyamoto and H. Tsuiki, it is shown how a division algorithm for real numbers given as a stream of signed digits can be extracted from an appropriate formal proof. The property of being a real number represented as a stream is formulated by means of coinductively defined predicates, and formal pr
D. Shulyak, A. Reiners, E. Nagel, L. Tal-Or
M dwarfs are known to generate the strongest magnetic fields among main-sequence stars with convective envelopes, but the link between the magnetic fields and underlying dynamo mechanisms, rotation, and activity still lacks a consistent picture. In this work we measure magnetic fields from the high-resolution near-infrared spectra taken with the CARMENES rad
Luis Montejano, Eric Pauli, Miguel Raggi, Edgardo Roldán-Pensado
This work is about graphs arising from Reuleaux polyhedra. Such graphs must necessarily be planar, $3$-connected and strongly self-dual. We study the question of when these conditions are sufficient. If $G$ is any such a graph with isomorphism $\tau : G \to G^*$ (where $G^*$ is the unique dual graph), a metric mapping is a map $\eta : V(G) \to \mathbb R^3$ s
Progressive Differentiable Architecture Search: Bridging the Depth Gap between Search and Evaluation
cs.CVXin Chen, Lingxi Xie, Jun Wu, Qi Tian
Recently, differentiable search methods have made major progress in reducing the computational costs of neural architecture search. However, these approaches often report lower accuracy in evaluating the searched architecture or transferring it to another dataset. This is arguably due to the large gap between the architecture depths in search and evaluation
Juan A. Acebron
A Monte Carlo method for computing the action of a matrix exponential for a certain class of matrices on a vector is proposed. The method is based on generating random paths, which evolve through the indices of the matrix, governed by a given continuous-time Markov chain. The vector solution is computed probabilistically by averaging over a suitable multipli
Shangtong Zhang, Shimon Whiteson
We reformulate the option framework as two parallel augmented MDPs. Under this novel formulation, all policy optimization algorithms can be used off the shelf to learn intra-option policies, option termination conditions, and a master policy over options. We apply an actor-critic algorithm on each augmented MDP, yielding the Double Actor-Critic (DAC) archite
Alvaro Suárez, Daniel Baccino, Arturo C. Marti
A bicycle wheel that was initially spinning freely was placed in contact with a rough surface and a digital film was made of its motion. Using Tracker software for video analysis, we obtained the velocity vectors for several points on the wheel, in the frame of reference of the laboratory as well as in a relative frame of reference having as its origin the w
On the Angular Dependence of InP High Electron Mobility Transistors for Cryogenic Low Noise Amplifiers in a Magnetic Field
physics.app-phIsabel Harrysson Rodrigues, David Niepce, Arsalan Pourkabirian, Giuseppe Moschetti
The InGaAs-InAlAs-InP high electron mobility transistor (InP HEMT) is the preferred active device used in a cryogenic low noise amplifier (LNA) for sensitive detection of microwave signals. We observed that an InP HEMT 0.3-14GHz LNA at 2K, where the in-going transistors were oriented perpendicular to a magnetic field, heavily degraded in gain and average noi
Efficient Computation of Higher-Order Variational Integrators in Robotic Simulation and Trajectory Optimization
cs.ROTaosha Fan, Jarvis Schultz, Todd Murphey
This paper addresses the problem of efficiently computing higher-order variational integrators in simulation and trajectory optimization of mechanical systems as those often found in robotic applications. We develop $O(n)$ algorithms to evaluate the discrete Euler-Lagrange (DEL) equations and compute the Newton direction for solving the DEL equations, which
Hartmut Löwen
Typically the motion of self-propelled active particles is described in a quiescent environment establishing an inertial frame of reference. Here we assume that friction, self-propulsion and uctuations occur relative to a non-inertial frame and thereby the active Brownian motion model is generalized to non-inertial frames. First, analytical solutions are pre
A highly parallel algorithm for computing the action of a matrix exponential on a vector based on a multilevel Monte Carlo method
math.NAJuan A. Acebron, Jose R. Herrero, Jose Monteiro
A novel algorithm for computing the action of a matrix exponential over a vector is proposed. The algorithm is based on a multilevel Monte Carlo method, and the vector solution is computed probabilistically generating suitable random paths which evolve through the indices of the matrix according to a suitable probability law. The computational complexity is
Matteo Beccaria, Arkady A. Tseytlin
We consider the Liouville theory in fixed Euclidean AdS$_2$ background. Expanded near the minimum of the potential the elementary field has mass squared 2 and (assuming the standard Dirichlet b.c.) corresponds to a dimension 2 operator at the boundary. We provide strong evidence for the conjecture that the boundary correlators of the Liouville field are the
Muthukumar Muthuramalingam, Leo S. Villemin, Christoph Bruecker
The surface topology of the scale pattern from the European Sea Bass (Dicentrarchus labrax ) was measured using a digital microscope and geometrically reconstructed using Computer Assisted Design modelling. Numerical flow simulations and experiments with a physical model of the surface pattern in a flow channel mimic the flow over the fish surface with a lam
Andrea Collevecchio, Kais Hamza, Laurent Tournier
Consider a randomly-oriented two dimensional Manhattan lattice where each horizontal line and each vertical line is assigned, once and for all, a random direction by flipping independent and identically distributed coins. A deterministic walk is then started at the origin and at each step moves diagonally to the nearest vertex in the direction of the horizon
K. Hasegawa
The theory that the extra-space component of the gauge field is identified with the standard model Higgs boson, is called the gauge-Higgs unification (GHU) scenario. We examine how the small neutrino masses are naturally generated in the GHU framework. We find out two model classes where the following matter multiplets are introduced : 1. adjoint rep. lepton
Danilo Guerrera, Aurélien Cavelan, Rubén M. Cabezón, David Imbert
Numerical simulations of fluids in astrophysics and computational fluid dynamics (CFD) are among the most computationally-demanding calculations, in terms of sustained floating-point operations per second, or FLOP/s. It is expected that these numerical simulations will significantly benefit from the future Exascale computing infrastructures, that will perfor
Michele Caselle, Nicodemo Magnoli, Alessandro Nada, Marco Panero
We study the accuracy and predictive power of conformal perturbation theory by a comparison with lattice results in the neighborhood of the finite-temperature deconfinement transition of SU(2) Yang-Mills theory, assuming that the infrared properties of this non-Abelian gauge theory near criticality can be described by the Ising model. The results of this com
A nonlinear subgrid-scale model for large-eddy simulations of rotating turbulent flows
physics.flu-dynMaurits H. Silvis, H. Jane Bae, F. Xavier Trias, Mahdi Abkar
Rotating turbulent flows form a challenging test case for large-eddy simulation (LES). We, therefore, propose and validate a new subgrid-scale (SGS) model for such flows. The proposed SGS model consists of a dissipative eddy viscosity term as well as a nondissipative term that is nonlinear in the rate-of-strain and rate-of-rotation tensors. The two correspon
Jing Zhou, Jialun Ping
It has been argued based on electric-magnetic duality that the Jones polynomial of a knot in three dimensions can be computed by counting the solutions of certain gauge theory equations in four-dimension. And the Euler characteristic of Khovanov homology is the Jones polynomial which corresponds to the partition function of twisted $N=4$ super Yang-Mills the
Irit Dinur, Konstantin Golubev
A function $f:[n_1]\times\dots\times[n_d]\to\mathbb{F}_2$ is a direct sum if it is of the form $f\left(a_1,\dots,a_d\right) = f_1(a_1)\oplus\dots \oplus f_d (a_d),$ for some $d$ functions $f_i:[n_i]\to\mathbb{F}_2$ for all $i=1,\dots, d$, and where $n_1,\dots,n_d\in\mathbb{N}$. We present a $4$-query test which distinguishes between direct sums and functions
Leonard Heilig, Robert Stahlbock, Stefan Voß
With the new opportunities emerging from the current wave of digitalization, terminal planning and management need to be revisited by taking a data-driven perspective. Business analytics, as a practice of extracting insights from operational data, assists in reducing uncertainties using predictions and helps to identify and understand causes of inefficiencie
Author name disambiguation of bibliometric data: A comparison of several unsupervised approaches
cs.DLAlexander Tekles, Lutz Bornmann
Adequately disambiguating author names in bibliometric databases is a precondition for conducting reliable analyses at the author level. In the case of bibliometric studies that include many researchers, it is not possible to disambiguate each single researcher manually. Several approaches have been proposed for author name disambiguation but there has not y
Jeff J. Andrews, Ilya Mandel
In the past five years, the number of known double neutron stars (DNS) in the Milky Way has roughly doubled. We argue that the observed sample can be split into three distinct sub-populations based on their orbital characteristics: (i) short-period, low-eccentricity binaries; (ii) wide binaries; and (iii) short-period, high-eccentricity binaries. These sub-p
Experimental Realization of a Passive GHz Frequency-Division Demultiplexer for Magnonic Logic Networks
cond-mat.mes-hallFrank Heussner, Giacomo Talmelli, Moritz Geilen, Björn Heinz
The emerging field of magnonics employs spin waves and their quanta, magnons, to implement wave-based computing on the micro- and nanoscale. Multi-frequency magnon networks would allow for parallel data processing within single logic elements whereas this is not the case with conventional transistor-based electronic logic. However, a lack of experimentally p
End-to-end Cloud Segmentation in High-Resolution Multispectral Satellite Imagery Using Deep Learning
cs.CVGiorgio Morales, Alejandro Ramírez, Joel Telles
Segmenting clouds in high-resolution satellite images is an arduous and challenging task due to the many types of geographies and clouds a satellite can capture. Therefore, it needs to be automated and optimized, specially for those who regularly process great amounts of satellite images, such as governmental institutions. In that sense, the contribution of
Emelie Engström, Margaret-Anne Storey, Per Runeson, Martin Höst
Background: Assessing and communicating software engineering research can be challenging. Design science is recognized as an appropriate research paradigm for applied research but is seldom referred to in software engineering. Applying the design science lens to software engineering research may improve the assessment and communication of research contributi
T. Stauber, A. Nemilentsau, T. Low, G. Gómez-Santos
We investigate the field and spin-momentum coupling of edge plasmons hosted by general two-dimensional materials and identify sweet spots depending on the polarisation plane, ellipticity and the position of an electric dipole relative to the plane and edge. Exciting the dipole at these sweet spots by propagating light leads to uni-directional propagating edg
Xuan Li, Nathan Youngblood, C. David Wright, Wolfram H. P. Pernice
We present the first demonstration of an integrated photonic phase-change memory using GeSbTe-225 on silicon-on-insulator and demonstrate reliable multilevel operation with a single programming pulse. We also compare our results on silicon with previous demonstrations on silicon nitride. Crucially, achieving this on silicon enables tighter integration of tra
Semiha Tedik Basaran, Gunes Karabulut Kurt, Frank R. Kschischang
The outage performance of wireless networks with unstructured network topologies is investigated. The network reliability perspective of graph theory is used to obtain the network outage polynomial of generalized wireless networks by enumerating paths and cut-sets of its graph representation for both uncorrelated and correlated wireless channels. A relation
DeepHMap++: Combined Projection Grouping and Correspondence Learning for Full DoF Pose Estimation
cs.CVMingliang Fu, Weijia Zhou
In recent years, estimating the 6D pose of object instances with convolutional neural network (CNN) has received considerable attention. Depending on whether intermediate cues are used, the relevant literature can be roughly divided into two broad categories: direct methods and two stage pipelines. For the latter, intermediate cues, such as 3D object coordin
Shin-itiro Goto
In this paper a class of dynamical systems describing deterministic neural network models are formulated from a viewpoint of differential geometry. This class includes the Hopfield model and gradient systems, and is such that the so-called activation functions induce information and Hessian geometries. In this formulation, it is shown that the phase space co
Xiaokun Gu, Zheyong Fan, Hua Bao, C. Y. Zhao
Understanding the mechanisms of thermal conduction in graphene is a long-lasting research topic, due to its high thermal conductivity. Peierls-Boltzmann transport equation (PBTE) based studies have revealed many unique phonon transport properties in graphene, but most previous works only considered three-phonon scatterings and relied on interatomic force con
Atmospheric Charged $K/\pi$ Ratio and Measurement of Muon Annual Modulation with a Liquid Scintillation Detector at Soudan
hep-exC. Zhang, D. -M. Mei
We report a measurement of muon annual modulation in a 12-liter liquid scintillation detector with a live-time of more than 4 years at the Soudan Underground Laboratory. Muon minimum ionization in the detector is identified by its observed pulse shape and large energy deposition. The measured muon rate in the detector is 28.69$\pm$2.09 muons per day with a m