Skip to content

July 2019 arXiv papers — page 84

Showing 8,3018,400 of 13,251 papers

  1. Thao P. Le

    Quantum discord-breaking channels were previously defined as the local channels that act on subsystem $A$ to produce classical-quantum states across system $AB$. However, unlike entanglement, discord is asymmetric. Here, we characterise the discord-breaking channels that act on subsystem $B$, thus completing the overall description of discord-breaking channe

  2. Deepak K. D., Deepak Pradhan, Jaydeb Sarkar, Dan Timotin

    This paper concerns a commutant lifting theorem and a Nevanlinna-Pick type interpolation result in the setting of multipliers from vector-valued Drury-Arveson space to a large class of vector-valued reproducing kernel Hilbert spaces over the unit ball in $\mathbb{C}^n$. The special case of reproducing kernel Hilbert spaces includes all natural examples of Hi

  3. Jussi Behrndt, Markus Holzmann, Thomas Ourmières-Bonafos, Konstantin Pankrashkin

    We study the two-dimensional Dirac operator with an arbitrary combination of electrostatic and Lorentz scalar $δ$-interactions of constant strengths supported on a smooth closed curve. For any combination of the coupling constants a rigorous description of the self-adjoint realizations of the operators is given and the qualitative spectral properties are des

  4. Hamilton Bueno, Narciso Lisboa, Leandro Vieira

    In this paper, we consider the following magnetic nonlinear Choquard equation \[-(\nabla+iA(x))^2u+ V(x)u = \left(\frac{1}{|x|^α}*|u|^{2_α^*}\right) |u|^{2_α^*-2} u + λf(u)\ \textrm{ in }\ \R^N,\] where $2_α^{*}=\frac{2N-α}{N-2}$ is the critical exponent in the sense of the Hardy-Littlewood-Sobolev inequality, $λ>0$, $N\geq 3$, $0<α< N$, $A: \mathbb{R}^{N}\r

  5. Martin Schumacher

    The status of the experimental and theoretical investigations on the polarizabilities of the nucleon is presented. This includes a confirmation of the validity of the previously introduced recommended values of the polarizabilities [1,2]. It is shown that the only meaningful approach to a prediction of the polarizabilities is obtained from the nonsubtracted

  6. B. N. Narozhny

    Experimental investigation of hydrodynamics in electron fluids is a highly topical research area that emerged during the last few years. A recent measurement of the optical conductivity in graphene [P. Gallagher et.al, Science 364, 158 (2019)] offers a possibility of experimental determination of microscopic time scales describing scattering processes in the

  7. Abhinav Verma, Hoang M. Le, Yisong Yue, Swarat Chaudhuri

    We study the problem of programmatic reinforcement learning, in which policies are represented as short programs in a symbolic language. Programmatic policies can be more interpretable, generalizable, and amenable to formal verification than neural policies; however, designing rigorous learning approaches for such policies remains a challenge. Our approach t

  8. Fiona K. Seibold

    For supercosets with isometry group of the form $\hat{G} \times \hat{G}$, the eta-deformation can be generalised to a two-parameter integrable deformation with independent $q$-deformations of the two copies. We study its kappa-symmetry and write down a formula for the Ramond-Ramond fluxes. We then focus on $\hat{G}= PSU(1,1|2)$ and construct two supergravity

  9. Wojciech Gorecki, Rafal Demkowicz-Dobrzanski, Howard M. Wiseman, Dominic W. Berry

    We consider the precision $Δφ$ with which the parameter $φ$, appearing in the unitary map $U_φ= e^{ i φΛ}$ acting on some type of probe system, can be estimated when there is a finite amount of prior information about $φ$. We show that, if $U_φ$ acts $n$ times in total, then, asymptotically in $n$, there is a tight lower bound $Δφ\geq \fracπ{n (λ_+ - λ_-)}$,

  10. Miguel Escudero, Malcolm Fairbairn

    Invisible neutrino decay modes are difficult to target at laboratory experiments, and current bounds on such decays from solar neutrino and neutrino oscillation experiments are somewhat weak. It has been known for some time that Cosmology can serve as a powerful probe of invisible neutrino decays. In this work, we show that in order for Big Bang Nucleosynthe

  11. Wilhelm G. F. Krüger, Matthias Vojta, Lukas Janssen

    We discuss magnetically ordered states, arising in Heisenberg-Kitaev and related spin models, on three-dimensional (3D) harmonic honeycomb lattices. For large classes of ordered states, we show that they can be mapped onto two-dimensional (2D) counterparts on the honeycomb lattice, with the classical energetics being identical in the 2D and 3D cases. As an e

  12. Seiji Terashima

    In this paper we study classical limit of conformal field theories realized by large N gauge theories using the generalized coherent states. For generic large N gauge theories with conformal symmetry, we show that the classical limit of them is described by the classical Einstein gravity. This may be regarded as a kind of derivation of the AdS/CFT correspond

  13. W. Rzadkowski, N. Defenu, S. Chiacchiera, A. Trombettoni

    Determining the phase diagram of systems consisting of smaller subsystems &#39;connected&#39; via a tunable coupling is a challenging task relevant for a variety of physical settings. A general question is whether new phases, not present in the uncoupled limit, may arise. We use machine learning to study layered spin models, in which the spin variables const

  14. Pasquale Marra, Muneto Nitta

    Andreev bound states are low energy excitations appearing below the particle-hole gap of superconductors, and are expected to be topologically trivial. Here, we report the theoretical prediction of topologically $nontrivial$ Andreev bound states in one-dimensional superconductors. These states correspond to another topological invariant defined in a syntheti

  15. Piet Lammers, Martin Tassy

    Using an alternative notion of entropy introduced by Datta, the max-entropy, we present a new simplified framework to study the minimizers of the specific free energy for random fields which are weakly dependent in the sense of Lewis, Pfister, and Sullivan. The framework is then applied to derive the variational principle for the loop $O(n)$ model and the Is

  16. Malte Londschien, Solt Kovács, Peter Bühlmann

    We propose estimation methods for change points in high-dimensional covariance structures with an emphasis on challenging scenarios with missing values. We advocate three imputation like methods and investigate their implications on common losses used for change point detection. We also discuss how model selection methods have to be adapted to the setting of

  17. Fabio Apruzzi, Craig Lawrie, Ling Lin, Sakura Schafer-Nameki

    We propose a graph-based approach to 5d superconformal field theories (SCFTs) based on their realization as M-theory compactifications on singular elliptic Calabi--Yau threefolds. Field-theoretically, these 5d SCFTs descend from 6d $\mathcal{N}=(1,0)$ SCFTs by circle compactification and mass deformations. We derive a description of these theories in terms o

  18. Terrance DeVries, Adriana Romero, Luis Pineda, Graham W. Taylor

    Conditional Generative Adversarial Networks (cGANs) are finding increasingly widespread use in many application domains. Despite outstanding progress, quantitative evaluation of such models often involves multiple distinct metrics to assess different desirable properties, such as image quality, conditional consistency, and intra-conditioning diversity. In th

  19. Harold Blum, Yuchen Liu, Chuyu Zhou

    We show that for a K-unstable Fano variety, any divisorial valuation computing its stability threshold induces a non-trivial special test configuration preserving the stability threshold. When such a divisorial valuation exists, we show that the Fano variety degenerates to a uniquely determined twisted K-polystable Fano variety. We also show that the stabili

  20. Fabrizio Caola, Kirill Melnikov, Raoul Röntsch

    We present compact analytic formulas that describe the decay of colorless particles to both $q \bar q$ and $gg$ final states through next-to-next-to-leading order in perturbative QCD in the context of the nested soft-collinear subtraction scheme. In addition to their relevance for the description of decays like $V \to q \bar q&#39;$, $V= Z,W$, $H \to b \bar

  21. M. Coppola, D. Gomez Dumm, S. Noguera, N. N. Scoccola

    In the framework of the Nambu--Jona-Lasino (NJL) model, we study the effect of an intense external uniform magnetic field on neutral and charged pion masses and decay form factors. In particular, the treatment of charged pions is carried out on the basis of the Ritus eigenfunction approach to magnetized relativistic systems. Our analysis shows that in the pr

  22. Nicola Gambino, Christian Sattler, Karol Szumiło

    We present two new proofs of Simon Henry's result that the category of simplicial sets admits a constructive counterpart of the classical Kan-Quillen model structure. Our proofs are entirely self-contained and avoid complex combinatorial arguments on anodyne extensions. We also give new constructive proofs of the left and right properness of the model struct

  23. Cliff Chen, Protik Das, Ece Aytan, Weimin Zhou

    The controlled tunability of superconductivity in low-dimensional materials may enable new quantum devices. Particularly in triplet or topological superconductors, tunneling devices such as Josephson junctions etc. can demonstrate exotic functionalities. The tunnel barrier, an insulating or normal material layer separating two superconductors, is a key compo

  24. Jakub Łącki, Slobodan Mitrović, Krzysztof Onak, Piotr Sankowski

    We introduce a set of techniques that allow for efficiently generating many independent random walks in the Massive Parallel Computation (MPC) model with space per machine strongly sublinear in the number of vertices. In this space-per-machine regime, many natural approaches to graph problems struggle to overcome the $Θ(\log n)$ MPC round complexity barrier.

  25. Ting-Wei Liu, Fabio Semperlotti

    This study investigates the topological behavior of a continuous elastic phononic structure characterized by a 3-term Kekulé distortion. The elastic waveguide consists of a hexagonal unit cell whose geometric dimensions are intentionally perturbed according to a generalized Kekulé scheme. The resulting structure exhibits an effective Hamiltonian that resembl

  26. Chi Jin, Zhuoran Yang, Zhaoran Wang, Michael I. Jordan

    Modern Reinforcement Learning (RL) is commonly applied to practical problems with an enormous number of states, where function approximation must be deployed to approximate either the value function or the policy. The introduction of function approximation raises a fundamental set of challenges involving computational and statistical efficiency, especially g

  27. Jacqueline K. Faherty, Mark SubbaRao, Ryan Wyatt, Anders Ynnerman

    Astrophysics lies at the crossroads of big datasets (such as the Large Synoptic Survey Telescope and Gaia), open source software to visualize and interpret high dimensional datasets (such as Glue, WorldWide Telescope, and OpenSpace), and uniquely skilled software engineers who bridge data science and research fields. At the same time, more than 4,000 planeta

  28. Marija Vella, João F. C. Mota

    Super-resolution (SR) is a technique that allows increasing the resolution of a given image. Having applications in many areas, from medical imaging to consumer electronics, several SR methods have been proposed. Currently, the best performing methods are based on convolutional neural networks (CNNs) and require extensive datasets for training. However, at t

  29. Yassine Hamoudi, Patrick Rebentrost, Ansis Rosmanis, Miklos Santha

    Submodular functions are set functions mapping every subset of some ground set of size $n$ into the real numbers and satisfying the diminishing returns property. Submodular minimization is an important field in discrete optimization theory due to its relevance for various branches of mathematics, computer science and economics. The currently fastest strongly

  30. Nir Sharon, Joe Kileel, Yuehaw Khoo, Boris Landa

    Single-particle reconstruction in cryo-electron microscopy (cryo-EM) is an increasingly popular technique for determining the 3-D structure of a molecule from several noisy 2-D projections images taken at unknown viewing angles. Most reconstruction algorithms require a low-resolution initialization for the 3-D structure, which is the goal of ab initio modeli

  31. Robert Amelard, Kevin R Murray, Eric T Hedge, Taylor W Cleworth

    Postural instability is prevalent in aging and neurodegenerative disease, decreasing quality of life and independence. Quantitatively monitoring balance control is important for assessing treatment efficacy and rehabilitation progress. However, existing technologies for assessing postural sway are complex and expensive, limiting their widespread utility. Her

  32. Michael Schuler, Stephan Hesselmann, Seth Whitsitt, Thomas C. Lang

    We establish the universal torus low-energy spectra at the free Dirac fixed point and at the strongly coupled chiral Ising fixed point and their subtle crossover behaviour in the Gross-Neuveu-Yukawa field theory with ${n_\text{D}=4}$ component Dirac spinors in $D=(2+1)$ dimensions. These fixed points and the field theories are directly relevant for the long-

  33. Erin Marshall Seroka, Ana Valdés Curiel, Dimitrios Trypogeorgos, Nathan Lundblad

    We demonstrate partial-transfer absorption imaging as a technique for repeatedly imaging an ultracold atomic ensemble with minimal perturbation. We prepare an atomic cloud in a state that is dark to the imaging light. We then use a microwave pulse to coherently transfer a small fraction of the ensemble to a bright state, which we image using in situ absorpti

  34. Leonardo Rydin Gorjão, Jan Heysel, Klaus Lehnertz, M. Reza Rahimi Tabar

    We introduce the bivariate jump-diffusion process, comprising two-dimensional diffusion and two-dimensional jumps, that can be coupled to one another. We present a data-driven, non-parametric estimation procedure of higher-order (up to 8) Kramers-Moyal coefficients that allows one to reconstruct relevant aspects of the underlying jump-diffusion processes and

  35. G. F. Giudice, A. Kehagias, A. Riotto

    We propose a mechanism to solve the Higgs naturalness problem through a cosmological selection process. The discharging of excited field configurations through membrane nucleation leads to discrete jumps of the cosmological constant and the Higgs mass, which vary in a correlated way. The resulting multitude of universes are all empty, except for those in whi

  36. Arvind Kumar, S Selvaraja

    Let $G$ be a finite simple graph and $I(G)$ denote the corresponding edge ideal in a polynomial ring over a field $\mathbb{K}$. In this paper, we obtain upper bounds for the Castelnuovo-Mumford regularity of symbolic powers of certain classes of edge ideals. We also prove that for several classes of graphs, the regularity of symbolic powers of their edge ide

  37. Gianluca Truda, Patrick Marais

    Warfarin is an effective preventative treatment for arterial and venous thromboembolism, but requires individualised dosing due to its narrow therapeutic range and high individual variation. Many machine learning techniques have been demonstrated in this domain. This study evaluated the accuracy of the most promising algorithms on the International Warfarin

  38. Khang Manh Huynh

    We use Hodge theory and functional analysis to develop a clean approach to heat flows and Onsager&#39;s conjecture on Riemannian manifolds with boundary, where the weak solution lies in the trace-critical Besov space $B_{3,1}^{\frac{1}{3}}$. We also introduce heatable currents as the natural analogue to tempered distributions and justify their importance in

  39. Igor Boettcher

    We study for the first time the effects of strong short-range electron-electron interactions in generic Rarita--Schwinger--Weyl semimetals hosting spin-3/2 electrons with linear dispersion at a four-fold band crossing point. The emergence of this novel quasiparticle, which is absent in high-energy physics, has recently been confirmed experimentally in the so

  40. Shu Lu, Hongsheng Liu

    In this paper we first provide a method to compute confidence intervals for the center of a piecewise normal distribution given a sample from this distribution, under certain assumptions. We then extend this method to an asymptotic setting, and apply this method to compute confidence intervals for the true solution of a stochastic variational inequality base

  41. M. Dashti Moghaddam, Zhiyuan Liu, R. A. Serota

    We investigate relaxation and correlations in a class of mean-reverting models for stochastic variances. We derive closed-form expressions for the correlation functions and leverage for a general form of the stochastic term. We also discuss correlation functions and leverage for three specific models -- multiplicative, Heston (Cox-Ingersoll-Ross) and combine

  42. Nicola De Nitti, Julian Fischer

    We establish sharp criteria for the instantaneous propagation of free boundaries in solutions to the thin-film equation. The criteria are formulated in terms of the initial distribution of mass (as opposed to previous almost-optimal results), reflecting the fact that mass is a locally conserved quantity for the thin-film equation. In the regime of weak slipp

  43. Samuel Brensinger, Kenneth Heitritter, Vincent G. J. Rodgers, Kory Stiffler

    We further develop the gravitational model, Thomas-Whitehead Gravity (TW Gravity), that arises when projective connections become dynamical fields. TW Gravity has its origins in geometric actions from string theory where the TW projective connection appears as a rank two tensor, $\mathcal{D}_{ab}$, on the spacetime manifold. Using a Gauss-Bonnet (GB) action

  44. Gonzalo A. Palma, Bruno Scheihing Hitschfeld, Spyros Sypsas

    Cosmic inflation may have led to non-Gaussian initial conditions that cannot be fully parametrised by 3- and/or 4-point functions. In this work, we discuss various strategies to search for primordial non-Gaussianity beyond polyspectra with the help of cosmological data. Our starting point is a generalised local ansatz for the primordial curvature perturbatio

  45. Zheng Shi, Emilian M. Nica, Ian Affleck

    We consider the Kondo effect arising from a hydrogen impurity in graphene. As a first approximation, the strong covalent bond to a carbon atom removes that carbon atom without breaking the $C_{3}$ rotation symmetry, and we only retain the Hubbard interaction on the three nearest neighbors of the removed carbon atom which then behave as magnetic impurities. T

  46. Shaolin Ji, Shige Peng, Ying Peng, Xichuan Zhang

    Recently, the deep learning method has been used for solving forward-backward stochastic differential equations (FBSDEs) and parabolic partial differential equations (PDEs). It has good accuracy and performance for high-dimensional problems. In this paper, we mainly solve fully coupled FBSDEs through deep learning and provide three algorithms. Several numeri

  47. Andrew D. McRae, Mark A. Davenport

    This paper considers the problem of estimating a low-rank matrix from the observation of all or a subset of its entries in the presence of Poisson noise. When we observe all entries, this is a problem of matrix denoising; when we observe only a subset of the entries, this is a problem of matrix completion. In both cases, we exploit an assumption that the und

  48. Fang-Zheng Peng, Ming-Zhu Liu, Ya-Wen Pan, Mario Sánchez Sánchez

    The discovery of three pentaquark peaks -- the $P_c(4312)$, $P_c(4440)$ and $P_c(4457)$ -- by the LHCb collaboration has a series of interesting consequences for hadron spectroscopy. If these hidden-charm objects are indeed hadronic molecules, as suspected, they will be constrained by heavy-flavor and SU(3)-flavor symmetries. The combination of these two sym

  49. Carmine Abate, Roberto Blanco, Stefan Ciobaca, Adrien Durier

    Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect, for instance, the externally observable events of each execution. This definition requires, however, the set

  50. Tenavi Nakamura-Zimmerer, Qi Gong, Wei Kang

    Computing optimal feedback controls for nonlinear systems generally requires solving Hamilton-Jacobi-Bellman (HJB) equations, which are notoriously difficult when the state dimension is large. Existing strategies for high-dimensional problems often rely on specific, restrictive problem structures, or are valid only locally around some nominal trajectory. In

  51. Sebastian Andres, Peter A. Taylor

    We study a continuous-time random walk on $\mathbb{Z}^d$ in an environment of random conductances taking values in $(0,\infty)$. For a static environment, we extend the quenched local limit theorem to the case of a general speed measure, given suitable ergodicity and moment conditions on the conductances and on the speed measure. Under stronger moment condit

  52. Reza Torabi, Jörn Davidsen

    We study reaction-diffusion systems beyond the Markovian approximation to take into account the effect of memory on the formation of spatio-temporal patterns. Using a non-Markovian Brusselator model as a paradigmatic example, we show how to use reductive perturbation to investigate the formation and stability of patterns. Focusing in detail on the Hopf insta

  53. Marjolein Fokkema, Carolin Strobl

    Prediction rule ensembles (PREs) are a relatively new statistical learning method, which aim to strike a balance between predictive accuracy and interpretability. Starting from a decision tree ensemble, like a boosted tree ensemble or a random forest, PREs retain a small subset of tree nodes in the final predictive model. These nodes can be written as simple

  54. Daniel Bath

    Given a complex germ $f$ near the point $\mathfrak{x}$ of the complex manifold $X$, equipped with a factorization $f = f_{1} \cdots f_{r}$, we consider the $\mathscr{D}_{X,\mathfrak{x}}[s_{1}, \dots, s_{r}]$-module generated by $ F^{S} := f_{1}^{s_{1}} \cdots f_{r}^{s_{r}}$. We show for a large class of germs that the annihilator of $F^{S}$ is generated by d

  55. S. E. Skipetrov, I. M. Sokolov

    Anderson localization does not lead to an exponential decay of intensity of an incident wave with the depth inside a strongly disordered three-dimensional medium. Instead, the average intensity is roughly constant in the first half of a disordered slab, sharply drops in a narrow region in the middle of the sample, and then remains low in the second half of t

  56. Jianhong Wang, Yuan Zhang, Tae-Kyun Kim, Yunjie Gu

    Cooperative game is a critical research area in the multi-agent reinforcement learning (MARL). Global reward game is a subclass of cooperative games, where all agents aim to maximize the global reward. Credit assignment is an important problem studied in the global reward game. Most of previous works stood by the view of non-cooperative-game theoretical fram

  57. Joachim Spoerhase, Sabine Storandt, Johannes Zink

    We propose and study a generalization to the well-known problem of polyline simplification. Instead of a single polyline, we are given a set of $\ell$ polylines possibly sharing some line segments and bend points. Our goal is to minimize the number of bend points in the simplified bundle with respect to some error tolerance $δ$ (measuring Fréchet distance) b

  58. Christian Kaspers, Alexander Pott

    In this paper, we give a partial solution to a new isomorphism problem about $2$-$(v,k,k-1)$ designs from disjoint difference families in finite fields and Galois rings. Our results are obtained by carefully calculating and bounding some block intersection numbers, and we give insight on the limitations of this technique. Moreover, we present results on cycl

  59. J. Blåbäck, F. F Gautason, A. Ruipérez, T. Van Riet

    Unphysical 3-form flux singularities near anti-branes have been argued to get resolved in the classical supergravity regime when brane polarisation is properly taken into account. The only example that does not seem to fit this logic is the $\bar{\text{D6}}$-brane because of a no-go theorem for well behaved supergravity solutions with negative D6 charge. In

  60. Chuyu Zhou, Ziquan Zhuang

    We prove some criteria for uniform K-stability of log Fano pairs. In particular, we show that uniform K-stability is equivalent to $\beta$-invariant having a positive lower bound. Then we study the relation between optimal destabilization conjecture and the conjectural equivalence between uniform K-stability and K-stability in the twisted setting.

  61. Yaoguang Zheng, Rong-Jia Yang

    We consider the new horizon first law in $f(R)$ theory with general spherically symmetric black hole. We derive the general formulas to computed the entropy and energy of the black hole. For applications, some nontrivial black hole solutions in some popular $f(R)$ theories are investigated, the entropies and the energies of black holes in these models are fi

  62. D. A. Amor-Quiroz, M. Burkardt, C. Lorcé

    One of the challenges of hadronic physics is to fully understand the structure of the proton. In particular, there is nowadays a great interest in the decomposition of its total angular momentum into orbital angular momentum and intrinsic spin, as well as identifying contributions from valence quarks, sea quarks and gluons. The most common decompositions of

  63. Manuel Colavincenzo, Xiuhui Tan, Simone Ammazzalorso, Stefano Camera

    We report the identification of a positive cross-correlation signal between the unresolved $\gamma$-ray emission, measured by the \emph{Fermi} Large Area Telescope, and four different galaxy cluster catalogues. The selected catalogues peak at low-redshift and span different frequency bands, including infrared, optical and X-rays. The signal-to-noise ratio of

  64. Stoffel D. Janssens, David Vázquez-Cortés, Alessandro Giussani, James A. Kwiecinski

    Low-cost and robust platforms are key for the development of next-generation 3D micro- and nanodevices. To fabricate such platforms, nanocrystalline diamond (NCD) is a highly appealing material due to its biocompatibility, robustness, and mechanical, electrical, electrochemical, and optical properties, while glass substrates with through vias are ideal inter

  65. Steven Chaplick, Philipp Kindermann, Andre Löffler, Florian Thiele

    Stick graphs are intersection graphs of horizontal and vertical line segments that all touch a line of slope -1 and lie above this line. De Luca et al. [GD&#39;18] considered the recognition problem of stick graphs when no order is given (STICK), when the order of either one of the two sets is given (STICK_A), and when the order of both sets is given (STICK_

  66. Julie Delon, Agnes Desolneux

    In this paper we introduce a Wasserstein-type distance on the set of Gaussian mixture models. This distance is defined by restricting the set of possible coupling measures in the optimal transport problem to Gaussian mixture models. We derive a very simple discrete formulation for this distance, which makes it suitable for high dimensional problems. We also

  67. Xavier Cabre

    We consider the class of stable solutions to semilinear equations $-Δu=f(u)$ in a bounded smooth domain of $\mathbb{R}^n$. Since 2010 an interior a priori $L^\infty$ bound for stable solutions is known to hold in dimensions $n \leq 4$ for all $C^1$ nonlinearities $f$. In the radial case, the same is true for $n \leq 9$. Here we provide with a new, simpler, a

  68. Kenji Maillard, Catalin Hritcu, Exequiel Rivas, Antoine Van Muylder

    We propose the first framework for defining relational program logics for arbitrary monadic effects. The framework is embedded within a relational dependent type theory and is highly expressive. At the semantic level, we provide an algebraic presentation of relational specifications as a class of relative monads, and link computations and specifications by i

  69. Anna Tenerani, Marco Velli

    We use 2.5D Magnetohydrodynamic simulations to investigate the spectral signatures of the nonlinear disruption of a tearing unstable current sheet via the generation of multiple secondary current sheets and magnetic islands. During the nonlinear phase of tearing mode evolution, there develops a regime in which the magnetic energy density shows a spectrum wit

  70. Pedro Carrilho, Karim A. Malik, David J. Mulryne

    We consider the steepest rate at which the power spectrum from single field inflation can grow, with the aim of providing a simple explanation for the $k^4$ growth found recently. With this explanation in hand we show that a slightly steeper $k^5 (\log k )^2$ growth is in fact possible. Moreover, we argue that the power spectrum after a steep growth cannot i

  71. Tom Bohman, Emily Zhu

    Let $\mathcal{H}$ be a 3-uniform hypergraph. The multicolor Ramsey number $ r_k(\mathcal{H})$ is the smallest integer $n$ such that every coloring of $ \binom{[n]}{3}$ with $k$ colors has a monochromatic copy of $\mathcal{H}$. Let $ \mathcal{L}$ be the loose 3-uniform path with 3 edges and $ \mathcal{M}$ denote the messy 3-uniform path with 3 edges; that is,

  72. José M. Mourão, João P. Nunes, Miguel B. Pereira

    In this paper, we study the analytic continuation to complex time of the Hamiltonian flow of certain $G\times T$-invariant functions on the cotangent bundle of a compact connected Lie group $G$ with maximal torus $T$. Namely, we will take the Hamiltonian flows of one $G\times G$-invariant function, $h$, and one $G\times T$-invariant function, $f$. Acting wit

  73. Álvaro Torras Casas

    We set up the theory for a distributed algorithm for computing persistent homology. For this purpose we develop linear algebra of persistence modules. We present bases of persistence modules, and give motivation as for the advantages of using them. Our focus is on developing efficient methods for the computation of homology of chains of persistence modules.

  74. Geng Lai

    Supersonic flows for the two-dimensional (2D) steady full Euler system are studied. We construct a global non-isentropic rotational supersonic flow in a semi-infinite divergent duct. The flow satisfies the slip condition on the walls of the duct, and the state of the flow is given at the inlet of the duct. The solution is constructed by the method of charact

  75. Joshua Feis, Dominik Beutel, Julian Köpfler, Xavier Garcia-Santiago

    Researchers routinely sense molecules by their infrared vibrational &#34;fingerprint&#34; absorption resonances. In addition, the dominant handedness of chiral molecules can be detected by circular dichroism (CD), the normalized difference between their optical response to incident left- and right- handed circularly polarized light. Here, we introduce a cavi

  76. Andrew N. W. Hone

    Following van der Poorten, we consider a family of nonlinear maps which are generated from the continued fraction expansion of a function on a hyperelliptic curve of genus $\mathrm{g}$. Using the connection with the classical theory of J-fractions and orthogonal polynomials, we show that in the simplest case $\mathrm{g}=1$ this provides a straightforward der

  77. Tuhin Chakrabortty, Chandra R. Murthy, Manoj Varma

    Clinical biosensors with low detection limit hold significant promise in the early diagnosis of debilitating diseases. Recent progress in sensor development has led to the demonstration of detection capable of detecting target molecules even down to single-molecule level. One crucial performance parameter which is not adequately discussed is the issue of mea

  78. G. P. Fedorov, A. V. Ustinov

    Physical systems for quantum computation require calibration of the control parameters based on their physical characteristics by performing a chain of experiments that gather most precise information about the given device. It follows that there is a need for automated data acquisition and interpretation. In this work, we have developed a tool that allows f

  79. T. S. Riekki, J. T. Tuoriniemi, A. P. Sebedash

    We studied the thermal conductivity of superfluid $^3$He in a 2.5 mm effective diameter and 0.15 m long channel connecting the two volumes of our experimental assembly. The main volume contained pure solid $^4$He, pure liquid $^3$He and saturated liquid $^3$He-$^4$He mixture at varying proportions, while the separate heat-exchanger volume housed sinter and w

  80. Benjamin Schäfer, G. Cigdem Yalcin

    A reliable supply of electricity is critical for our modern society and any large scale disturbance of the electrical system causes substantial costs. In 2015, one overloaded transmission line caused a cascading failure in the Turkish power grid, affecting about 75 million people. Here, we analyze the Turkish power grid and its dynamical and statistical prop

  81. Kevin Lin, Lijuan Wang, Kun Luo, Yinpeng Chen

    Supervised deep learning with pixel-wise training labels has great successes on multi-person part segmentation. However, data labeling at pixel-level is very expensive. To solve the problem, people have been exploring to use synthetic data to avoid the data labeling. Although it is easy to generate labels for synthetic data, the results are much worse compar

  82. Kiril Hristov, Stefanos Katmadas, Chiara Toldo

    We present new analytic rotating AdS$_4$ black holes, found as solutions of 4d gauged $\mathcal{N}=2$ supergravity coupled to abelian vector multiplets with a symmetric scalar manifold. These configurations preserve two real supercharges and have a smooth limit to the BPS Kerr-Newman-AdS$_4$ black hole. We spell out the solution of the $STU$ model admitting

  83. Julia Kreutzer, Stefan Riezler

    Not all types of supervision signals are created equal: Different types of feedback have different costs and effects on learning. We show how self-regulation strategies that decide when to ask for which kind of feedback from a teacher (or from oneself) can be cast as a learning-to-learn problem leading to improved cost-aware sequence-to-sequence learning. In

  84. Steffen Sagave, Stefan Schwede

    The purpose of this paper is to show that various convolution products are fully homotopical, meaning that they preserve weak equivalences in both variables without any cofibrancy hypothesis. We establish this property for diagrams of simplicial sets indexed by the category of finite sets and injections and for tame $M$-simplicial sets, with $M$ the monoid o

  85. Ulf Leonhardt, Yuval Rosenberg

    Electrically charged particles, moving faster than the speed of light in a medium, emit Cherenkov radiation. Theory predicts electric and magnetic dipoles to radiate as well, with a puzzling behavior for magnetic dipoles pointing in transversal direction [I. M. Frank, Izv. Akad. Nauk SSSR, Ser. Fiz. 6, 3 (1942)]. A discontinuous Cherenkov spectrum should app

  86. Robert West, Mauro Mobilia

    Rock-paper-scissors games metaphorically model cyclic dominance in ecology and microbiology. In a static environment, these models are characterized by fixation probabilities obeying two different &#34;laws&#34; in large and small well-mixed populations. Here, we investigate the evolution of these three-species models subject to a randomly switching carrying

  87. Rahif Kassab, Osvaldo Simeone, Petar Popovski

    A multi-cell Fog-Radio Access Network (F-RAN) architecture is considered in which Internet of Things (IoT) devices periodically make noisy observations of a Quantity of Interest (QoI) and transmit using grant-free access in the uplink. The devices in each cell are connected to an Edge Node (EN), which may also have a finite-capacity fronthaul link to a centr

  88. Andrea Tacchetti, DJ Strouse, Marta Garnelo, Thore Graepel

    From social networks to supply chains, more and more aspects of how humans, firms and organizations interact is mediated by artificial learning agents. As the influence of machine learning systems grows, it is paramount that we study how to imbue our modern institutions with our own values and principles. Here we consider the problem of allocating goods to b

  89. Thomas Goller, Yinbang Lin

    We study rank-one sheaves and stable pairs on a smooth projective complex surface. We obtain an embedding of the moduli space of limit stable pairs into a smooth space. The embedding induces a perfect obstruction theory, which, over a surface with irregularity 0, agrees with the usual deformation-obstruction theory. The perfect obstruction theory defines a v

  90. Stefano Cusumano, Antonella De Pasquale, Giuseppe Carlo La Rocca, Vittorio Giovannetti

    As the possibility to decouple temporal and spatial variations of the electromagnetic field, leading to a wavelength stretching, has been recognized to be of paramount importance for practical applications, we generalize the idea of stretchability from the framework of electromagnetic waves to massive particles. A necessary and sufficient condition which all

  91. ATLAS Collaboration

    To assess the properties of the quark-gluon plasma formed in heavy-ion collisions, the ATLAS experiment at the LHC measures a correlation between the mean transverse momentum and the magnitudes of the flow harmonics. The analysis uses data samples of lead-lead and proton-lead collisions obtained at the centre-of-mass energy per nucleon pair of 5.02 TeV, corr

  92. M. S. Anwar, M. Kunieda, R. Ishiguro, S. R. Lee

    Spin-polarized supercurrents can be generated with magnetic inhomogeneity at a ferromagnet/spin-singlet-superconductor interface. In such systems, complex magnetic inhomogeneity makes it difficult to functionalise the spin-polarized supercurrents. However, spin-polarized supercurrents in ferromagnet/spin-triplet-superconductor junctions can be controlled by

  93. Tasho Kaletha

    To a torus T over a local field F and a subset of its character module subject to certain properties, we associate a canonical double cover of the topological group T(F). We further associate an L-group to this double cover and establish a natural bijection between L-parameters valued in this L-group and genuine characters of the double cover. When T is a ma

  94. Sean Tull

    Dagger compact structure is a common assumption in the study of physical process theories, but lacks a clear interpretation. Here we derive dagger compactness from more operational axioms on a category. We first characterise the structure in terms of a simple mapping of states to effects which we call a &#39;state dagger&#39;, before deriving this in any cat

  95. Chen Xu, Quan Li, Junfeng Ge, Jinyang Gao

    Features play an important role in the prediction tasks of e-commerce recommendations. To guarantee the consistency of off-line training and on-line serving, we usually utilize the same features that are both available. However, the consistency in turn neglects some discriminative features. For example, when estimating the conversion rate (CVR), i.e., the pr

  96. Jonas Berzinš, Simonas Indrišiūnas, Stefan Fasold, Michael Steinert

    Optically resonant high-index dielectric metasurfaces featuring Mie-type electric and magnetic resonances are usually fabricated by means of planar technologies, which limit the degrees of freedom in tunability and scalability of the fabricated systems. Therefore, we propose a complimentary post-processing technique based on ultrashort ($\leq$ 10 ps) laser p

  97. Vida Dujmović, Pat Morin, David R. Wood

    Dujmovi\'c et al. [\emph{J.~ACM}~'20] recently proved that every planar graph is isomorphic to a subgraph of the strong product of a bounded treewidth graph and a path. Analogous results were obtained for graphs of bounded Euler genus or apex-minor-free graphs. These tools have been used to solve longstanding problems on queue layouts, non-repetitive colouri

  98. Daichi Tsuna, Kazumi Kashiyama, Toshikazu Shigeyama

    We present a bolometric light curve model of Type IIn supernovae powered by supernova ejecta colliding with a circumstellar medium. We estimate the conversion efficiency of the ejecta&#39;s kinetic energy to radiation at the reverse and forward shocks and find that a large density contrast makes a difference in the efficiency. The emission from the reverse s

  99. Fattah Sakuldee, Łukasz Cywiński

    We consider a qubit coupled to another system (its environment), and discuss the relationship between the effects of subjecting the qubit to either a dynamical decoupling sequence of unitary operations, or a sequence of projective measurements. We give a formal statement concerning equivalence of a sequence of coherent operations on a qubit, precisely operat

  100. Pierre Fleury, Juan García-Bellido

    Gravitational microlensing is a key probe of the nature of dark matter and its distribution on the smallest scales. For many practical purposes, confronting theory to observation requires to model the probability that a light source is highly amplified by many-lens systems. This article reviews four simple analytic models of the amplification probability dis