Skip to content

May 2022 arXiv papers — page 22

Showing 2,1012,200 of 15,811 papers

  1. Lukas Edman, Antonio Toral, Gertjan van Noord

    Character-based representations have important advantages over subword-based ones for morphologically rich languages. They come with increased robustness to noisy input and do not need a separate tokenization step. However, they also have a crucial disadvantage: they notably increase the length of text sequences. The GBST method from Charformer groups (aka d

  2. Alexander Weber, Florian Fiege, Alexander Knoll

    Symbolic optimal control is a powerful method to synthesize algorithmically correct-by-design state-feedback controllers for nonlinear plants. Its solutions are (near-)optimal with respect to a given cost function. In this note, it is demonstrated how symbolic optimal control can be used to calculate controllers for an optimized routing guidance of vehicle s

  3. Bradley Hauer, Seeratpal Jaura, Talgat Omarov, Grzegorz Kondrak

    We describe the University of Alberta systems for the SemEval-2022 Task 2 on multilingual idiomaticity detection. Working under the assumption that idiomatic expressions are noncompositional, our first method integrates information on the meanings of the individual words of an expression into a binary classifier. Further hypothesizing that literal and idioma

  4. Jiawei Du, Daquan Zhou, Jiashi Feng, Vincent Y. F. Tan

    Modern deep neural networks (DNNs) have achieved state-of-the-art performances but are typically over-parameterized. The over-parameterization may result in undesirably large generalization error in the absence of other customized training strategies. Recently, a line of research under the name of Sharpness-Aware Minimization (SAM) has shown that minimizing

  5. Lucio M. Dery, Paul Michel, Mikhail Khodak, Graham Neubig

    Auxiliary objectives, supplementary learning signals that are introduced to help aid learning on data-starved or highly complex end-tasks, are commonplace in machine learning. Whilst much work has been done to formulate useful auxiliary objectives, their construction is still an art which proceeds by slow and tedious hand-design. Intuition for how and when t

  6. Jian-Gang Kong, Qing-Xu Li, Jian Li, Yu Liu

    Antiferromagnetic materials are exciting quantum materials with rich physics and great potential for applications. It is highly demanded of the accurate and efficient theoretical method for determining the critical transition temperatures, N\'{e}el temperatures, of antiferromagnetic materials. The powerful graph neural networks (GNN) that succeed in predicti

  7. Illya Shapoval, Vincent Paul Su, Wibe de Jong, Miro Urbanek

    The holographic principle and its realization in the AdS/CFT correspondence led to unexpected connections between general relativity and quantum information. This set the stage for studying aspects of quantum gravity models, which are otherwise difficult to access, in table-top quantum-computational experiments. Recent works have designed a special teleporta

  8. Swayamsidha Mishra, Sudipta Mukherji, Yogesh K. Srivastava

    In this work, we initiate a holographic study of field theory on time dependent background with conical defect. We focus on the Milne space-time to which, in the absence of cosmological constant, at late time any hyperbolic Friedmann-Robertson-Walker metric flows to. When the Milne vacuum is represented by the adiabatic one, we are able to compute the two po

  9. Neha Thomas, Alexandra J. Miller, Hasan Ayaz, Jeremy D. Brown

    Clinical myoelectric prostheses lack the sensory feedback and sufficient dexterity required to complete activities of daily living efficiently and accurately. Providing haptic feedback of relevant environmental cues to the user or imbuing the prosthesis with autonomous control authority have been separately shown to improve prosthesis utility. Few studies, h

  10. Bruce E. Sagan, Joshua P. Swanson

    Stirling numbers, which count partitions of a set and permutations in the symmetric group, have found extensive application in combinatorics, geometry, and algebra. We study analogues and q-analogues of these numbers corresponding to the Coxeter group of type B. In particular, we show how they are related to complete homogeneous and elementary symmetric poly

  11. Alexander Chunikhin, Vadym Zhytniuk

    The concept of fuzzy cardinal semantic transformation as a basis for creating fuzzy semantic numeration systems is introduced in this work. Both fuzziness of the initial data - cardinals of abstract entities - and fuzziness of the parameters of the cardinal semantic operators are considered. We also expressed cardinal semantic transformations for discrete fu

  12. Daniel R. Reynolds, David J. Gardner, Carol S. Woodward, Rujeko Chinomona

    We describe the ARKODE library of one-step time integration methods for ordinary differential equation (ODE) initial-value problems (IVPs). In addition to providing standard explicit and diagonally implicit Runge--Kutta methods, ARKODE also supports one-step methods designed to treat additive splittings of the IVP, including implicit-explicit (ImEx) additive

  13. João Paulo Bezerra, Petr Kuznetsov

    The last decade has seen a variety of Asset-Transfer systems designed for decentralized environments. To address the problem of double-spending, these systems inherently make strong model assumptions and spend a lot of resources. In this paper, we take a non-orthodox approach to the double-spending problem that might suit better realistic environments in whi

  14. P. Virtanen, F. S. Bergeret, I. V. Tokatly

    We derive the nonlinear $\sigma$-model to describe diffusive transport in normal metals and superconductors with intrinsic spin-orbit coupling (SOC). The SOC is described via an SU(2) gauge field, and we expand the model to the fourth order in gradients to find the leading non-Abelian field-strength contribution. This contribution generates the spin-charge c

  15. Yassine Agarmani, Steffi Hartmann, Jan Zimmermann, Elena Gati

    We report the realization of an advanced technique for measuring relative length changes $\Delta L/L$ of mm-sized samples under control of temperature ($T$) and helium-gas pressure ($P$). The system, which is an extension of the apparatus described in Manna et al., Rev. Sci. Instrum. 83, 085111 (2012), consists of two $^4$He-bath cryostats each of which hous

  16. Fulvio Attinà, Marcello Carammia, Stefano Maria Iacus

    This article illustrates an approach to forecasting change in conflict fatalities designed to address the complexity of the drivers and processes of armed conflicts. The design of this approach is based on two main choices. First, to account for the specificity of conflict drivers and processes over time and space, we model conflicts in each individual count

  17. Emma M. Schmidt, J. Matt Quinlan, Brandon Runnels

    Interactions between an evolving solid and inviscid flow can result in substantial computational complexity, particularly in circumstances involving varied boundary conditions between the solid and fluid phases. Examples of such interactions include melting, sublimation, and deflagration, all of which exhibit bidirectional coupling, mass/heat transfer, and t

  18. John Rushby

    I use mechanized verification to examine several first- and higher-order formalizations of Anselm's Ontological Argument against the charge of begging the question. I propose three different but related criteria for a premise to beg the question in fully formal proofs and find that one or another applies to all the formalizations examined. I also show that a

  19. Xin Tao, Mladen Čičić, Jonas Mårtensson

    With the development of vehicular technologies on automation, electrification, and digitalization, vehicles are becoming more intelligent while being exposed to more complex, uncertain, and frequently occurring faults. In this paper, we look into the maintenance planning of an operating vehicle under fault condition and formulate it as a multi-criteria decis

  20. Jorge Bacca, Alejandra Hernandez-Rojas, Henry Arguello

    Compressive spectral imaging (CSI) has emerged as an attractive compression and sensing technique, primarily to sense spectral regions where traditional systems result in highly costly such as in the near-infrared spectrum. Recently, it has been shown that spectral classification can be performed directly in the compressive domain, considering the amount of

  21. Anmoal Porwal, Lukas Holzbaur, Hedongliang Liu, Julian Renner

    Due to the recent challenges in post-quantum cryptography, several new approaches for code-based cryptography have been proposed. For example, a variant of the McEliece cryptosystem based on interleaved codes was proposed. In order to deem such new settings secure, we first need to understand and analyze the complexity of the underlying problem, in this case

  22. Mahdi Teimouri

    We propose the finite mixture of skewed sub-Gaussian stable distributions. The maximum likelihood estimator for the parameters of proposed finite mixture model is computed through the expectation-maximization algorithm. The proposed model contains the finite mixture of normal and skewed normal distributions. Since the tails of proposed model is heavier than

  23. Lucy M. Thomas, Geraint Pratten, Patricia Schmidt

    Gravitational waves from the coalescences of black hole and neutron stars afford us the unique opportunity to determine the sources' properties, such as their masses and spins, with unprecedented accuracy. To do so, however, theoretical models of the emitted signal that are i) extremely accurate and ii) computationally highly efficient are necessary. The inc

  24. Gautam Singh, Yi-Fu Wu, Sungjin Ahn

    Unsupervised object-centric learning aims to represent the modular, compositional, and causal structure of a scene as a set of object representations and thereby promises to resolve many critical limitations of traditional single-vector representations such as poor systematic generalization. Although there have been many remarkable advances in recent years,

  25. Matthias M. May, Wolfram Jaegermann

    At photoelectrosynthetic interfaces, an electrochemical reaction is driven by excited charge-carriers from a semiconducting photoabsorber. Structure and composition of this interface determine both the electronic and electrochemical performance of devices, yet this structure is often highly dynamic both in the time-domain and upon applied potentials. We disc

  26. Keke Feng, Ian Andreas Leahy, Olatunde Oladehin, Kaya Wei

    We report the synthesis of the entire $Ln$AuAl$_4$Ge$_2$ ($Ln$ = Y, Pr, Nd, Sm, Gd, Tb, Dy, Ho, Er, and Tm) series and focus on the magnetic properties of GdAuAl$_4$Ge$_2$ and TbAuAl$_4$Ge$_2$. Temperature and magnetic field dependent magnetization, heat capacity, and electrical resistivity measurements reveal that both compounds exhibit several magnetically

  27. Liviu Ornea, Misha Verbitsky

    A Mall bundle on a Hopf manifold H is a holomorphic vector bundle whose pullback to the universal cover of H is trivial. We define resonant and non-resonant Mall bundles, generalizing the notion of the resonance in ODE, and prove that a non-resonant Mall bundle always admits a flat holomorphic connection. We use this observation to prove a version of Poincar

  28. Asuka Inoue, Takahiro Kashiwazaki, Taichi Yamashima, Naoto Takanashi

    Continuous-variable optical quantum information processing (CVOQIP), where quantum information is encoded in a traveling wave of light called a flying qubit, is a candidate for a practical quantum computer with high clock frequencies. Homodyne detectors for quadrature-phase amplitude measurements have been the major factor limiting the clock frequency. Here,

  29. Ian Ball, James Bono, Justin Grana, Nicole Immorlica

    We develop a model of content filtering as a game between the filter and the content consumer, where the latter incurs information costs for examining the content. Motivating examples include censoring misinformation, spam/phish filtering, and recommender systems. When the attacker is exogenous, we show that improving the filter's quality is weakly Pareto im

  30. Oliver Roche-Newton, Elaine Wong

    This paper explores the relationship between convexity and sum sets. In particular, we show that elementary number theoretical methods, principally the application of a squeezing principle, can be augmented with the Elekes-Szab\'{o} Theorem in order to give new information. Namely, if we let $A \subset \mathbb R$, we prove that there exist $a,a' \in A$ such

  31. Jingtang Liang, Chi-Man Pun

    Image harmonization task aims at harmonizing different composite foreground regions according to specific background image. Previous methods would rather focus on improving the reconstruction ability of the generator by some internal enhancements such as attention, adaptive normalization and light adjustment, $etc.$. However, they pay less attention to discr

  32. David Klaška, Antonín Kučera, Vít Musil, Vojtěch Řehák

    We consider the mobile robot path planning problem for a class of recurrent reachability objectives. These objectives are parameterized by the expected time needed to visit one position from another, the expected square of this time, and also the frequency of moves between two neighboring locations. We design an efficient strategy synthesis algorithm for rec

  33. Site Bai, Chuyang Ke, Jean Honorio

    We propose the framework of dual convexified convolutional neural networks (DCCNNs). In this framework, we first introduce a primal learning problem motivated by convexified convolutional neural networks (CCNNs), and then construct the dual convex training program through careful analysis of the Karush-Kuhn-Tucker (KKT) conditions and Fenchel conjugates. Our

  34. Jasper Tan, Daniel LeJeune, Blake Mason, Hamid Javadi

    Is overparameterization a privacy liability? In this work, we study the effect that the number of parameters has on a classifier's vulnerability to membership inference attacks. We first demonstrate how the number of parameters of a model can induce a privacy--utility trade-off: increasing the number of parameters generally improves generalization performanc

  35. Soheil Khorram, Jaeyoung Kim, Anshuman Tripathi, Han Lu

    This paper introduces contrastive siamese (c-siam) network, an architecture for leveraging unlabeled acoustic data in speech recognition. c-siam is the first network that extracts high-level linguistic information from speech by matching outputs of two identical transformer encoders. It contains augmented and target branches which are trained by: (1) masking

  36. Ralf Meyer, Ali Imad Raad, Jonathan Taylor

    We prove that an inductive limit of aperiodic noncommutative Cartan inclusions is a noncommutative Cartan inclusion whenever the connecting maps are injective, preserve normalisers and entwine conditional expectations. We show that under the additional assumption that the inductive limit Cartan subalgebra is either essentially separable, essentially simple o

  37. Mohammad Tasnimul Haque, Marco Will, Alexander Zyuzin, Dmitry Golubev

    Nonlinear phenomena in superconducting resonator circuits are of great significance in the field of quantum technology. We observe thermal self-oscillations in a monolayer graphene flake coupled to Molybdenum-Rhenium superconducting resonator. The graphene flake forms a SINIS junction coupled to the resonator with strong temperature dependent resistance. In

  38. Hessah Albanwan, Rongjun Qin

    Deep learning (DL) methods are widely investigated for stereo image matching tasks due to their reported high accuracies. However, their transferability/generalization capabilities are limited by the instances seen in the training data. With satellite images covering large-scale areas with variances in locations, content, land covers, and spatial patterns, w

  39. Haocheng Hua, Xianxin Song, Yuan Fang, Tony Xiao Han

    This paper studies a multiple-input multiple-output (MIMO) integrated sensing and communication (ISAC) system, in which a multi-antenna base station (BS) sends unified wireless signals to estimate an extended target and communicate with a multi-antenna communication user (CU) at the same time. We investigate the fundamental tradeoff between the estimation Cr

  40. K. Ito, E. Skibsted

    We construct solutions to the eikonal equation for a class of long-range potentials, derive strong radiation condition bounds for the corresponding Schr\"odinger operator and apply them to construct the generalized Fourier transform, diagonalizing the continuous part the operator.

  41. Sung Jae Jun, Sokbae Lee

    The log odds ratio is a well-established metric for evaluating the association between binary outcome and exposure variables. Despite its widespread use, there has been limited discussion on how to summarize the log odds ratio as a function of confounders through averaging. To address this issue, we propose the Average Adjusted Association (AAA), which is a

  42. Kyle Hixenbaugh, Rupali Chandar, Angus Mok

    We present a new catalog of 81 ancient globular clusters (GCs) in the early-type spiral (SB0/a) galaxy NGC 1291. Candidates have been selected from B,V, and I band images taken with the Hubble Space Telescope, which also reveal 17 younger (t < few x 100Myr) clusters. The luminosity function shows a peaked shape similar to that found for GC systems in other s

  43. Ying-Hai Wu, Hong-Hao Tu

    We consider a chiral spin liquid constructed using the parton theory. This state supports non-Abelian anyons and neutral fermions, which share some similarities with the celebrated Moore-Read state. The edge physics of the parton state and the Moore-Read state is very different. Based on conformal field theory (CFT) analysis, it is proposed that the edge sta

  44. Hester Graves

    Every Euclidean domain $R$ has a minimal Euclidean function, $\phi_R$. A companion paper \cite{Graves} introduced a formula to compute $\phi_{\mathbb{Z}[i]}$. It is the first formula for a minimal Euclidean function for the ring of integers of a non-trivial number field. It did so by studying the geometry of the set $B_n = \left \{ \sum_{j=0}^n v_j (1+i)^j :

  45. Benedict Oakes, Dominic Richards, Jordi Barr, Jason F. Ralph

    We present a novel Double Deep Q Network (DDQN) application to a sensor management problem in space situational awareness (SSA). Frequent launches of satellites into Earth orbit pose a significant sensor management challenge, whereby a limited number of sensors are required to detect and track an increasing number of objects. In this paper, we demonstrate th

  46. Jameson Cahill, Joseph W. Iverson, Dustin G. Mixon, Daniel Packer

    Given a real inner product space $V$ and a group $G$ of linear isometries, we construct a family of $G$-invariant real-valued functions on $V$ that we call max filters. In the case where $V=\mathbb{R}^d$ and $G$ is finite, a suitable max filter bank separates orbits, and is even bilipschitz in the quotient metric. In the case where $V=L^2(\mathbb{R}^d)$ and

  47. Y. Jiang, M. -L. Cai, Y. -K. Wu, Q. -X. Mei

    Quantum simulation of 1D relativistic quantum mechanics has been achieved in well-controlled systems like trapped ions, but properties like spin dynamics and response to external magnetic fields that appear only in higher dimensions remain unexplored. Here we simulate the dynamics of a 2D Weyl particle. We show the linear dispersion relation of the free part

  48. N. Dupertuis, O. B. Tarun, C. Lütgebaucks, S. Roke

    Water is the liquid of life, thanks to its three-dimensional adaptive hydrogen (H)-bond network. Confinement of this network may lead to dramatic structural changes that influence chemical and physical transformations. Although confinement effects occur on a < 1 nm length scale, the upper length scale limit is not known. Here, we investigate 3D confinement o

  49. Awantee Deshpande, Dana Ruiter, Marius Mosbach, Dietrich Klakow

    Analyzing ethnic or religious bias is important for improving fairness, accountability, and transparency of natural language processing models. However, many techniques rely on human-compiled lists of bias terms, which are expensive to create and are limited in coverage. In this study, we present a fully data-driven pipeline for generating a knowledge graph

  50. Anastasios Tsiamis, Ingvar Ziemann, Manfred Morari, Nikolai Matni

    In this paper, we study the statistical difficulty of learning to control linear systems. We focus on two standard benchmarks, the sample complexity of stabilization, and the regret of the online learning of the Linear Quadratic Regulator (LQR). Prior results state that the statistical difficulty for both benchmarks scales polynomially with the system state

  51. Viviane Alfradique, Miguel Quartin, Luca Amendola, Tiago Castro

    The next generation of detectors will detect gravitational waves from binary neutron stars at cosmological distances, for which around a thousand electromagnetic follow-ups may be observed per year. So far, most work devoted to the expected cosmological impact of these standard sirens employed them only as distance indicators. Only recently their use as trac

  52. Elena Lupo, Eytan Grosfeld, Eran Ginossar

    We present a voltage gate-based method for controlling the Majorana transmon, using a sinusoidal modulation of the induced offset charge $n_g$. Working in the transmon regime and in the instantaneous eigenstates basis, we find the time evolution under this protocol that realises tunable $X$-$Z$ rotations. We optimise the parameters of the system for differen

  53. Cogan Shimizu, Andrew Eells, Seila Gonzalez, Lu Zhou

    Wikibase -- which is the software underlying Wikidata -- is a powerful platform for knowledge graph creation and management. However, it has been developed with a crowd-sourced knowledge graph creation scenario in mind, which in particular means that it has not been designed for use case scenarios in which a tightly controlled high-quality schema, in the for

  54. BESIII Collaboration, M. Ablikim, M. N. Achasov, P. Adlarson

    By analyzing an electron-positron collision data sample corresponding to an integrated luminosity of $2.93\,\rm fb^{-1}$ taken at the center-of-mass energy of 3.773 GeV with the BESIII detector, we obtain for the first time the absolute branching fractions for seven $D^0$ and $D^+$ hadronic decay modes and search for the hadronic decay $D^0\to K^0_S K^0_S\pi

  55. Nicolas Mascot

    Let $\rho$ be a mod $\ell$ Galois representation attached to a newform $f$. Explicit methods are sometimes able to determine the image of $\rho$, or even the number field cut out by $\rho$, provided that $\ell$ and the level $N$ of $f$ are small enough; however these methods are not amenable to the case where $\ell$ or $N$ are large. The purpose of this shor

  56. Weiguo Cao, Marc J. Pomeroy, Zhengrong Liang, Yongfeng Gao

    The elasticity of soft tissues has been widely considered as a characteristic property to differentiate between healthy and vicious tissues and, therefore, motivated several elasticity imaging modalities, such as Ultrasound Elastography, Magnetic Resonance Elastography, and Optical Coherence Elastography. This paper proposes an alternative approach of modeli

  57. Alexander Rothkopf, Jan Nordström

    Motivated by the fact that both the classical and quantum description of nature rest on causality and a variational principle, we develop a novel and highly versatile discretization prescription for classical initial value problems (IVPs). It is based on an optimization (action) functional with doubled degrees of freedom, which is discretized using a single

  58. Vladimir Kostic, Pietro Novelli, Andreas Maurer, Carlo Ciliberto

    We study a class of dynamical systems modelled as Markov chains that admit an invariant distribution via the corresponding transfer, or Koopman, operator. While data-driven algorithms to reconstruct such operators are well known, their relationship with statistical learning is largely unexplored. We formalize a framework to learn the Koopman operator from fi

  59. Ranya Aloufi, Hamed Haddadi, David Boyle

    Using our voices to access, and interact with, online services raises concerns about the trade-offs between convenience, privacy, and security. The conflict between maintaining privacy and ensuring input authenticity has often been hindered by the need to share raw data, which contains all the paralinguistic information required to infer a variety of sensiti

  60. Yuting Ng, Ali Hasan, Vahid Tarokh

    Understanding multivariate dependencies in both the bulk and the tails of a distribution is an important problem for many applications, such as ensuring algorithms are robust to observations that are infrequent but have devastating effects. Archimax copulas are a family of distributions endowed with a precise representation that allows simultaneous modeling

  61. Sefika Kuzgun, David Nualart

    In this paper, we present a rate of convergence in the uniform norm for the densities of spatial averages of the solution to the d-dimensional parabolic Anderson model driven by a Gaussian multiplicative noise, which is white in time and has a spatial covariance given by the Riesz kernel. The proof is based on the combination of Malliavin calculus techniques

  62. Xavier Bonnetain, André Chailloux, André Schrottenloher, Yixin Shen

    Given a random function $f$ with domain $[2^n]$ and codomain $[2^m]$, with $m \geq n$, a collision of $f$ is a pair of distinct inputs with the same image. Collision finding is an ubiquitous problem in cryptanalysis, and it has been well studied using both classical and quantum algorithms. Indeed, the quantum query complexity of the problem is well known to

  63. Americo Cunha, Marcelo Pereira, Rafael Avanço, Angelo Marcelo Tusset

    The present work revisits the reduction of the nonlinear dynamics of an electromechanical system through a quasi-steady state hypothesis, discussing the fundamental aspects of this type of approach and clarifying some confusing points found in the literature. Expressions for the characteristic time scales of dynamics are deduced from a physical analysis that

  64. Dayoung Gong, Joonseok Lee, Manjin Kim, Seong Jong Ha

    The task of predicting future actions from a video is crucial for a real-world agent interacting with others. When anticipating actions in the distant future, we humans typically consider long-term relations over the whole sequence of actions, i.e., not only observed actions in the past but also potential actions in the future. In a similar spirit, we propos

  65. Marco Fontana, Ángel F. García-Fernández, Simon Maskell

    This paper proposes a clustering and merging approach for the Poisson multi-Bernoulli mixture (PMBM) filter to lower its computational complexity and make it suitable for multiple target tracking with a high number of targets. We define a measurement-driven clustering algorithm to reduce the data association problem into several subproblems, and we provide t

  66. Akash Gupta, Lorraine Nicholson, Hilke E. Schlichting

    In recent years, analyzing the bimodality in the size distribution of small planets, i.e., the `radius valley', has given us unprecedented insight into the planet formation process. Here we explore the properties of the radius valley for low mass stars, assuming that the core-powered mass-loss is the dominant process shaping the small exoplanet population. W

  67. Dai-Nam Le, Pablo Rodriguez-Lopez, Lilia M. Woods

    The van der Waals (vdW) interaction plays a prominent role between neutral objects at separations where short ranged chemical forces are negligible. This type of dispersive coupling is determined by the interplay between geometry and response properties of the materials making up the objects. Here, we investigate the vdW interaction between 1D, 2D, and 3D st

  68. Didier Caucal, Chloé Rispal

    For all natural numbers a,b and d > 0, we consider the function f_{a,b,d} which associates n/d to any integer n when it is a multiple of d, and an + b otherwise; in particular f_{3,1,2} is the Collatz function. Coding in base a > 1 with b < a, we realize these functions by input-deterministic letter-to-letter transducers with additional output final words. T

  69. Robin Geelen, Michiel Van Beirendonck, Hilder V. L. Pereira, Brian Huffman

    Fully Homomorphic Encryption (FHE) allows for secure computation on encrypted data. Unfortunately, huge memory size, computational cost and bandwidth requirements limit its practicality. We present BASALISC, an architecture family of hardware accelerators that aims to substantially accelerate FHE computations in the cloud. BASALISC is the first to implement

  70. Maria Chikina, Wesley Pegden

    Established frameworks to understand problems with reproducibility in science begin with the relationship between our understanding of the prior probability of a claim and the statistical certainty that should be demanded of it, and explore the ways in which independent investigations, biases in study design and publication bias interact with these considera

  71. Yuxin Wang, Chu-Tak Lee, Qipeng Guo, Zhangyue Yin

    Transformers have made progress in miscellaneous tasks, but suffer from quadratic computational and memory complexities. Recent works propose sparse Transformers with attention on sparse graphs to reduce complexity and remain strong performance. While effective, the crucial parts of how dense a graph needs to be to perform well are not fully explored. In thi

  72. T. M. Aliev, S. Bilmis, M. Savci

    The weak decays of doubly heavy $\Xi_{QQ}$ baryon induced by flavor changing $b \to d$ and $ c \to u$ flavor changing neutral current within the light cone sum rules are studied. Using the parallel components of the light cone distribution amplitudes for $\Lambda_Q$ baryon, the sum rules are constructed and analyzed for the corresponding transition form fact

  73. Yide Cai, James T. Liu

    We find a class of approximate perturbative solutions describing multi-centered BPS black holes in asymptotically AdS$_4$. These black holes are moving coplanarly in a circular orbit with common radius but fixed phase differences, where the radius is characterized by a common boost velocity $v$. While the solutions are not complete, as they are only accurate

  74. Neha Thomas, Farimah Fazlollahi, Katherine J. Kuchenbecker, Jeremy D. Brown

    Individuals who use myoelectric upper-limb prostheses often rely heavily on vision to complete their daily activities. They thus struggle in situations where vision is overloaded, such as multitasking, or unavailable, such as poor lighting conditions. Non-amputees can easily accomplish such tasks due to tactile reflexes and haptic sensation guiding their upp

  75. Moritz Lichter, Pascal Schweitzer

    We extend Choiceless Polynomial Time (CPT), the currently only remaining promising candidate in the quest for a logic capturing PTime, so that this extended logic has the following property: for every class of structures for which isomorphism is definable, the logic automatically captures PTime. For the construction of this logic we extend CPT by a witnessed

  76. Aidan Zabalo, Justin H. Wilson, Michael J. Gullans, Romain Vasseur

    We consider a model of monitored quantum dynamics with quenched spatial randomness: specifically, random quantum circuits with spatially varying measurement rates. These circuits undergo a measurement-induced phase transition (MIPT) in their entanglement structure, but the nature of the critical point differs drastically from the case with constant measureme

  77. Anh Tung Nguyen, André M. H. Teixeira, Alexander Medvedev

    This paper proposes a game-theoretic approach to address the problem of optimal sensor placement for detecting cyber-attacks in networked control systems. The problem is formulated as a zero-sum game with two players, namely a malicious adversary and a detector. Given a protected target vertex, the detector places a sensor at a single vertex to monitor the s

  78. Meng Zhang, Chao Wang, Shaojun Dong, Hao Zhang

    Whether noisy quantum devices without error correction can provide quantum advantage over classical computers is a critical issue of current quantum computation. In this work, the random quantum circuits, which are used as the paradigm model to demonstrate quantum advantage, are simulated with depolarizing noise on experiment relevant two-dimensional archite

  79. ALICE Collaboration

    Hadronic resonances are used to probe the hadron gas produced in the late stage of heavy-ion collisions since they decay on the same timescale, of the order of 1 to 10 fm/$c$, as the decoupling time of the system. In the hadron gas, (pseudo)elastic scatterings among the products of resonances that decayed before the kinetic freeze-out and regeneration proces

  80. Mycal Tucker, Julie Shah

    Artificial neural nets can represent and classify many types of data but are often tailored to particular applications -- e.g., for "fair" or "hierarchical" classification. Once an architecture has been selected, it is often difficult for humans to adjust models for a new task; for example, a hierarchical classifier cannot be easily transformed into a fair c

  81. Rameen Abdal, Peihao Zhu, Niloy J. Mitra, Peter Wonka

    Image editing using a pretrained StyleGAN generator has emerged as a powerful paradigm for facial editing, providing disentangled controls over age, expression, illumination, etc. However, the approach cannot be directly adopted for video manipulations. We hypothesize that the main missing ingredient is the lack of fine-grained and disentangled control over

  82. Xinyi Yuan

    The goal of this paper is to prove a formula expressing the modular height of a quaternionic Shimura curve over a totally real number field in terms of the logarithmic derivative of the Dedekind zeta function of the totally real number field. Our proof is based on the work of Yuan-Zhang-Zhang on the Gross-Zagier formula and the work of Yuan-Zhang on the aver

  83. Iago Richard Rodrigues, Marrone Dantas, Assis Oliveira Filho, Gibson Barbosa

    Human-robot collaboration has gained a notable prominence in Industry 4.0, as the use of collaborative robots increases efficiency and productivity in the automation process. However, it is necessary to consider the use of mechanisms that increase security in these environments, as the literature reports that risk situations may exist in the context of human

  84. ALICE Collaboration

    The inclusive production of the charm-strange baryon $\rm \Omega_c^0$ is measured for the first time via its hadronic decay into $\rm \Omega^-\pi^+$ at midrapidity ($|y|<0.5$) in proton-proton (pp) collisions at the centre-of-mass energy $\sqrt{s}=13$ TeV with the ALICE detector at the LHC. The transverse momentum ($p_{\rm T}$) differential cross section mul

  85. Zhe Liu, Chunyang Chen, Junjie Wang, Yuhui Su

    Manual testing, as a complement to automated GUI testing, is the last line of defense for app quality especially in spotting usability and accessibility issues. However, the repeated actions and easy missing of some functionalities make manual testing time-consuming, labor-extensive and inefficient. Inspired by the game candy crush with flashy candies as hin

  86. Matthew Stover

    Fundamental groups of fake projective planes fall into fifty distinct isomorphism classes, one for each complex conjugate pair. We prove that this is not the case for their algebraic fundamental groups: there are only forty-six isomorphism classes. We show that there are four pairs of complex conjugate pairs of fake projective planes that are $\mathrm{Aut}(\

  87. Inga Pudza, Andris Anspoks, Giuliana Aquilanti, Alexei Kuzmin

    The effect of tungsten substitution with molybdenum on the structure of CuMo$_{1-x}$W$_x$O$_4$ ($x$ = 0.20, 0.30, 0.50, 0.75) solid solutions was studied by multi-edge X-ray absorption spectroscopy. The simultaneous analysis of EXAFS spectra measured at several (Cu K-edge, Mo K-edge and W L$_3$-edge) absorption edges was performed by the reverse Monte Carlo

  88. Paul C Bressloff

    In this paper we consider diffusion in a domain $\Omega$ containing a partially absorbing target $\calM$ with position and occupation time resetting. The occupation time $A_t$ is a Brownian functional that determines the amount of time that the particle spends in $ \calM$ over the time interval $[0,t]$. We assume that there exists some internal state $\calU_

  89. Steven J. Krieg, William C. Burgis, Patrick M. Soga, Nitesh V. Chawla

    Graph neural networks (GNNs) continue to achieve state-of-the-art performance on many graph learning tasks, but rely on the assumption that a given graph is a sufficient approximation of the true neighborhood structure. When a system contains higher-order sequential dependencies, we show that the tendency of traditional graph representations to underfit each

  90. V. Durant, P. Capel

    We present a determination of optical potentials for $^{10}$Be-nucleus collisions using the double-folding method to compute the real part and Kramers-Kronig dispersion relations to derive the imaginary part. As microscopic inputs we use chiral effective field theory nucleon-nucleon interactions at next-to-next-to-leading order combined with state-of-the-art

  91. Marcin Chałupnik, Patryk Jaśniewski

    We introduce a new functor category: the category $\mathcal{P}_{d,n}$ of strict polynomial functors with bounded by $n$ domain of degree $d$ over a field of characteristic $p>0$. It is equivalent to the category of finite dimensional modules over the Schur algebra $S(n,d)$, hence it allows one to apply the tools available in functor categories to representat

  92. Paul C. Bressloff

    In this paper we develop a hybrid version of the encounter-based approach to diffusion-mediated absorption at a reactive surface, which takes into account stochastic switching of a diffusing particle's conformational state. For simplicity, we consider a two-state model in which the probability of surface absorption depends on the current particle state and t

  93. Frank Nielsen, Kazuki Okamura

    We study various information-theoretic measures and the information geometry of the Poincar\'e distributions and the related hyperboloid distributions, and prove that their statistical mixture models are universal density estimators of smooth densities in hyperbolic spaces. The Poincar\'e and the hyperboloid distributions are two types of hyperbolic probabil

  94. Martin R. Albrecht, Yixin Shen

    We present a quantum augmented variant of the dual lattice attack on the Learning with Errors (LWE) problem, using classical memory with quantum random access (QRACM). Applying our results to lattice parameters from the literature, we find that our algorithm outperforms previous algorithms, assuming unit cost access to a QRACM. On a technical level, we show

  95. Stefan Meinel, Martin Pflaumer, Marc Wagner

    We use lattice QCD to investigate the existence of strong-interaction-stable antiheavy-antiheavy-light-light tetraquarks. We study the $\bar b \bar b u s$ system with quantum numbers $J^P = 1^+$ as well as the $\bar b \bar c u d$ systems with quantum numbers $I(J^P) = 0(0^+)$ and $I(J^P) = 0(1^+)$. We carry out computations on five gauge-link ensembles with

  96. Minjia Shi, Shukai Wang, Xiaoxiao Li

    A code $C$ is called $\Z_p\Z_{p^2}$-linear if it is the Gray image of a $\Z_p\Z_{p^2}$-additive code, where $p>2$ is prime. In this paper, the rank and the dimension of the kernel of $\Z_p\Z_{p^2}$-linear codes are studied. Two bounds of the rank of a $\Z_3\Z_{9}$-linear code and the dimension of the kernel of a $\Z_p\Z_{p^2}$-linear code are given, respecti

  97. R. I. M. Dunbar, Valerio Arnaboldi, Marco Conti, Andrea Passarella

    We use data on frequencies of bi-directional posts to define edges (or relationships) in two Facebook datasets and a Twitter dataset and use these to create ego-centric social networks. We explore the internal structure of these networks to determine whether they have the same kind of layered structure as has been found in offline face-to-face networks (whic

  98. Bing Kwan So

    Given a fiber bundle with closed connected fibers, and a family of separating hypersurfaces, we study the behavior of the Bismut-Lott analytic torsion form, and the eta form for a duality bundle, under analytic surgery in the sense of Hassell, Mazzeo and Melrose. We find that under the surgery limit, the rescaled heat kernel is non-singular, while both the B

  99. Marco de Angelis

    We elucidate why an interval algorithm that computes the exact bounds on the amplitude and phase of the discrete Fourier transform can run in polynomial time. We address this question from a formal perspective to provide the mathematical foundations underpinning such an algorithm. We show that the procedure set out by the algorithm fully addresses the depend

  100. Yan Gao, Chenggang Bai, Quan Quan

    To guide the movement of a robotic swarm in a corridor-like environment, a curve virtual tube with no obstacle inside is designed in our previous work. This paper generalizes the controller design to the condition that all robots have self-localization drifts and precise relative navigation, where the flocking algorithm is introduced to reduce the negative i