July 2020 arXiv papers

Jinghao Sun, Luk Van Baelen, Els Plettinckx, Forrest W. Crawford

Capture-recapture (CRC) surveys are used to estimate the size of a population whose members cannot be enumerated directly. CRC surveys have been used to estimate the number of Covid-19 infections, people who use drugs, sex workers, conflict casualties, and trafficking victims. When $k$ capture samples are obtained, counts of unit captures in subsets of sampl

N. Benjamin Erichson, Dane Taylor, Qixuan Wu, Michael W. Mahoney

The ubiquity of deep neural networks (DNNs), cloud-based training, and transfer learning is giving rise to a new cybersecurity frontier in which unsecure DNNs have `structural malware' (i.e., compromised weights and activation pathways). In particular, DNNs can be designed to have backdoors that allow an adversary to easily and reliably fool an image cla

Neha S. Wadia, Ryan V. Zarcone, Michael R. DeWeese

Considerable progress has recently been made with geometrical approaches to understanding and controlling small out-of-equilibrium systems, but a mathematically rigorous foundation for these methods has been lacking. Towards this end, we develop a perturbative solution to the Fokker-Planck equation for one-dimensional driven Brownian motion in the overdamped

Shakila Khan Rumi, Kyle K. Qin, Flora D. Salim

A well-crafted police patrol route design is vital in providing community safety and security in the society. Previous works have largely focused on predicting crime events with historical crime data. The usage of large-scale mobility data collected from Location-Based Social Network, or check-ins, and Point of Interests (POI) data for designing an effective

I. Filikhin, R. Ya. Kezerashvili, V. M. Suslov, Sh. M. Tsiklauri

The three-body $KK\bar K$ model for the $K(1460)$ resonance is developed on the basis of the Faddeev equations in configuration space. A single-channel approach is using with taking into account the difference of masses of neutral and charged kaons. It is demonstrated that a splitting the mass of the $K(1460)$ resonance takes a place around 1460 MeV accordin

I. Cabrera-Munguia

This paper is dedicated to derive and study binary systems of identical corotating dyonic black holes separated by a massless strut -- two 5-parametric corotating binary black hole models endowed with both electric and magnetic charges-- where the dyonic black holes carrying equal/opposite electromagnetic charges in the first/second model satisfy the extende

Martin Mladenov, Elliot Creager, Omer Ben-Porat, Kevin Swersky

Most recommender systems (RS) research assumes that a user's utility can be maximized independently of the utility of the other agents (e.g., other users, content providers). In realistic settings, this is often not true---the dynamics of an RS ecosystem couple the long-term utility of all agents. In this work, we explore settings in which content provid

David J. Hand, Peter Christen, Nishadi Kirielle

The F-measure, also known as the F1-score, is widely used to assess the performance of classification algorithms. However, some researchers find it lacking in intuitive interpretation, questioning the appropriateness of combining two aspects of performance as conceptually distinct as precision and recall, and also questioning whether the harmonic mean is the

Xurong Chen, Feng-Kun Guo, Craig D. Roberts, Rong Wang

An electron ion collider has been proposed in China (EicC). It is anticipated that the facility would provide polarised electrons, protons and ion beams, in collisions with large centre-of-mass energy. This discussion highlights its potential to address issues that are central to understanding the emergence of mass within the Standard Model, using examples t

Rasmus Larsen, Stefan Meinel, Swagato Mukherjee, Peter Petreczky

Based on lattice non-relativistic QCD (NRQCD) studies we present results for Bethe-Salpeter amplitudes for $Υ(1S)$, $Υ(2S)$ and $Υ(3S)$ in vacuum as well as in quark-gluon plasma. Our study is based on 2+1 flavor $48^3 \times 12$ lattices generated using the Highly Improved Staggered Quark (HISQ) action and with a pion mass of $161$ MeV. At zero temperature

Antonio Montalbán, Rodrigo M. Corder, M. Gabriela M. Gomes

We study a SEIR model considered by Gomes et al. \cite{Gomes2020} and Aguas et al. \cite{Aguas2020} where different individuals are assumed to have different levels of susceptibility or exposure to infection. Under this heterogeneity assumption, epidemic growth is effectively suppressed when the percentage of population having acquired immunity surpasses a c

Karen Leung, Nikos Aréchiga, Marco Pavone

This paper presents a technique, named STLCG, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs. STLCG provides a platform which enables the incorporation of logical specifications into robotics problems that benefit from gradient-based solutions. Specifically, STL is a powerful and expressive formal langu

Audrey Richard, Ian Cherabier, Martin R. Oswald, Marc Pollefeys

We present a novel 3D shape completion method that operates directly on unstructured point clouds, thus avoiding resource-intensive data structures like voxel grids. To this end, we introduce KAPLAN, a 3D point descriptor that aggregates local shape information via a series of 2D convolutions. The key idea is to project the points in a local neighborhood ont

Edgar Knobloch, Arik Yochelis

An activator-inhibitor-substrate model of side-branching used in the context of pulmonary vascular and lung development is considered on the supposition that spatially localized concentrations of the activator trigger local side-branching. The model consists of four coupled reaction-diffusion equations and its steady localized solutions therefore obey an eig

Ezra Miller

Over any partially ordered abelian group whose positive cone is closed in an appropriate sense and has finitely many faces, modules that satisfy a weak finiteness condition admit finite primary decompositions. This conclusion rests on the introduction of basic notions in the relevant generality, such as closedness of partially ordered abelian groups, faces a

Kourosh Sartipi, Tien Do, Tong Ke, Khiem Vuong

This paper addresses the problem of learning to complete a scene's depth from sparse depth points and images of indoor scenes. Specifically, we study the case in which the sparse depth is computed from a visual-inertial simultaneous localization and mapping (VI-SLAM) system. The resulting point cloud has low density, it is noisy, and has non-uniform spat

Ezra Miller

Interpreting the syzygy theorem for tame modules over posets in the setting of derived categories of subanalytically constructible sheaves proves two conjectures due to Kashiwara and Schapira concerning the existence of stratifications of real vector spaces that play well with sheaves having microsupport in a given cone or, equivalently, sheaves in the corre

Kai-Mei C. Fu, Geoffrey Z. Iwata, Arne Wickenbrock, Dmitry Budker

State-of-the-art magnetic field measurements performed in shielded environments with carefully controlled conditions rarely reflect the realities of those applications envisioned in the introductions of peer-reviewed publications. Nevertheless, significant advances in magnetometer sensitivity have been accompanied by serious attempts to bring these magnetome

Gordon Slade

We use the lace expansion to study the long-distance decay of the two-point function of weakly self-avoiding walk on the integer lattice $\mathbb{Z}^d$ in dimensions $d>4$, in the vicinity of the critical point, and prove an upper bound $|x|^{-(d-2)}\exp[-c|x|/ξ]$, where the correlation length $ξ$ has a square root divergence at the critical point. As an app

Minghan Li, Xialei Liu, Joost van de Weijer, Bogdan Raducanu

Active learning emerged as an alternative to alleviate the effort to label huge amount of data for data hungry applications (such as image/video indexing and retrieval, autonomous driving, etc.). The goal of active learning is to automatically select a number of unlabeled samples for annotation (according to a budget), based on an acquisition function, which

Jacinto Davila

This is an attempt to formalize the conditions of possibility for free, libre, open access to scientific knowledge within a game. The challenge is to enunciate the terms under which agents participating in the Grand conversation of science would be willing to open share, exchange, negotiate or surrender their contributions, considering their corresponding in

Max Kanovich, Stepan Kuznetsov, Andre Scedrov

We give a proof-theoretic and algorithmic complexity analysis for systems introduced by Morrill to serve as the core of the CatLog categorial grammar parser. We consider two recent versions of Morrill's calculi, and focus on their fragments including multiplicative (Lambek) connectives, additive conjunction and disjunction, brackets and bracket modalitie

Md Rafiqul Islam Rabin, Nghi D. Q. Bui, Ke Wang, Yijun Yu

With the prevalence of publicly available source code repositories to train deep neural network models, neural program models can do well in source code analysis tasks such as predicting method names in given programs that cannot be easily done by traditional program analysis techniques. Although such neural program models have been tested on various existin

Rui Chen, Jinhua Cao, Stephen Gee, Yin Liu

Two-dimensional (2D) layered materials hosting dislocations have attracted considerable research attention in recent years. In particular, screw dislocations can result in a spiral topology and an interlayer twist in the layered materials, significantly impacting the stacking order and symmetry of the layers. Moreover, the dislocations with large strain and

L. A. Pastur, V. V. Slavin, A. V. Yanovsky

Spin valves based on materials in which the spin-flip is suppressed by the spatial separation of charge carriers, while maintaining electric neutrality in the valve volume, are considered. The possibility of using these valves as electric batteries is discussed. It is shown that if the potential difference across the valve is controlled, incommensurability e

Vasily A. Dolgushev, Khanh Q. Le, Aidan A. Lorenz

Let $B_4$ (resp. $PB_4$) be the braid group (resp. the pure braid group) on 4 strands and $NFI_{PB_4}(B_4)$ be the poset whose objects are finite index normal subgroups of $B_4$ that are contained in $PB_4$. In this paper, we introduce GT-shadows which may be thought of as "approximations" to elements of the profinite version $\widehat{GT}$ of the Gr

Ezra Miller

Homological algebra of modules over posets is developed, as closely parallel as possible to that of finitely generated modules over noetherian commutative rings, in the direction of finite presentations and resolutions. Centrally at issue is how to define finiteness to replace the noetherian hypothesis which fails. The tameness condition introduced for this

Omar Pedraza, L. A. López, R. Arceo, I. Cabrera-Munguia

Basing on the ideas used by Kiselev, we study the Hayward black hole surrounded by quintessence. By setting for the quintessence state parameter at the special case of $ω=-\frac{2}{3}$, using the metric of the black hole surrounded by quintessence and the definition of the effective potential, we analyzed in detail the null geodesics for different energies.

Joseph Cecil, Neelav Dutta, Christopher Manon, Benjamin Riley

An ideal $I$ is said to be "well-poised" if all of the initial ideals obtained from points in the tropical variety $Trop(I)$ are prime. This condition was first defined by Nathan Ilten and the third author. We classify all well-poised hypersurfaces over an algebraically closed field. We also study the tropical varieties and associated Newton-Okounkov

S. Sharma, A. E. Kovalev, D. J. Rebar, D. Mann

Using the experimental capability of the novel X-ray diffraction instrument available at the 25 Tesla Florida Split Coil Magnet at the NHMFL, Tallahassee we present an extensive investigation on the magnetostriction of polycrystalline AlFe2B2. The magnetostriction was measured near the ferromagnetic transition temperature (Curie temperature TC = 280 K, deter

Nadejda Drenska, Jeff Calder

We study the problem of prediction of binary sequences with expert advice in the online setting, which is a classic example of online machine learning. We interpret the binary sequence as the price history of a stock, and view the predictor as an investor, which converts the problem into a stock prediction problem. In this framework, an investor, who predict

Ahmad Ajalloeian, Sebastian U. Stich

We analyze the complexity of biased stochastic gradient methods (SGD), where individual updates are corrupted by deterministic, i.e. biased error terms. We derive convergence results for smooth (non-convex) functions and give improved rates under the Polyak-Lojasiewicz condition. We quantify how the magnitude of the bias impacts the attainable accuracy and t

Florin P. Boca, Maria Siskaki

This paper investigates the periodic points of the Gauss type shifts associated to the even continued fraction (Schweiger) and to the backward continued fraction (Rényi). We show that they coincide exactly with two sets of quadratic irrationals that we call $E$-reduced, and respectively $B$-reduced. We prove that these numbers are equidistributed with respec

Bingyin Zhao, Yingjie Lao

Poisoning attacks on machine learning systems compromise the model performance by deliberately injecting malicious samples in the training dataset to influence the training process. Prior works focus on either availability attacks (i.e., lowering the overall model accuracy) or integrity attacks (i.e., enabling specific instance-based backdoor). In this paper

William G. Newton, Gabriel Crocombe

We present an inference of the nuclear symmetry energy magnitude $J$, the slope $L$ and the curvature $K_{\rm sym}$ by combining neutron skin data on Ca, Pb and Sn isotopes and our best theoretical information about pure neutron matter (PNM). A Bayesian framework is used to consistently incorporate prior knowledge of the PNM equation of state from chiral eff

Gavin Hester, T. N. DeLazzer, D. R. Yahne, C. L. Sarkis

Ising-like spin-1/2 magnetic materials are of interest for their ready connection to theory, particularly in the context of quantum critical behavior. In this work we report detailed studies of the magnetic properties of a member of the rare earth pyrosilicate family, D-Er$_{2}$Si$_{2}$O$_{7}$, which is known to display a highly anisotropic Ising-like g-tens

Sabina Tomkins, Peng Liao, Predrag Klasnja, Susan Murphy

In mobile health (mHealth) smart devices deliver behavioral treatments repeatedly over time to a user with the goal of helping the user adopt and maintain healthy behaviors. Reinforcement learning appears ideal for learning how to optimally make these sequential treatment decisions. However, significant challenges must be overcome before reinforcement learni

Tiziano Fagni, Fabrizio Falchi, Margherita Gambini, Antonio Martella

The recent advances in language modeling significantly improved the generative capabilities of deep neural models: in 2019 OpenAI released GPT-2, a pre-trained language model that can autonomously generate coherent, non-trivial and human-like text samples. Since then, ever more powerful text generative models have been developed. Adversaries can exploit thes

R. M. Albuquerque, S. Narison, A. Rabemananjara, D. Rabetiarivony

Alerted by the recent LHCb discovery of exotic hadrons in the range (6.2 -- 6.9) GeV, we present new results for the doubly-hidden scalar heavy $(\bar QQ) (Q\bar Q)$ charm and beauty molecules using the inverse Laplace transform sum rule (LSR) within stability criteria and including the Next-to-Leading Order (NLO) factorized perturbative and $\langle G^3\ran

Sathyan Sandeep, Théo Thréard, Elton De Lima Savi, Nikolay Chigarev

Time-domain Brillouin scattering uses ultrashort laser pulses to generate coherent acoustic pulses of picoseconds duration in a solid sample and to follow their propagation in order to image material inhomogeneities with sub-optical depth resolution. The width of the acoustic pulse limits the spatial resolution of the technique along the direction of the pul

Vincenzo Denisi, Alessandro Papa, Marco Rossi

We speculate on Dyson series for the $S$-matrix when the interaction depends on derivatives of the fields. We stick on two particular examples: the scalar electrodynamics and the renormalised $ϕ^4$ theory. We eventually give evidence that Lorentz invariance is satisfied and that usual Feynman rules can be applied to the interaction Lagrangian.

Cristina Zuheros, Eugenio Martínez-Cámara, Enrique Herrera-Viedma, Francisco Herrera

Decision making models are constrained by taking the expert evaluations with pre-defined numerical or linguistic terms. We claim that the use of sentiment analysis will allow decision making models to consider expert evaluations in natural language. Accordingly, we propose the Sentiment Analysis based Multi-person Multi-criteria Decision Making (SA-MpMcDM) m

Joshua P. Ebenezer, Zaixi Shang, Yongjun Wu, Hai Wei

We propose a new prototype model for no-reference video quality assessment (VQA) based on the natural statistics of space-time chips of videos. Space-time chips (ST-chips) are a new, quality-aware feature space which we define as space-time localized cuts of video data in directions that are determined by the local motion flow. We use parametrized distributi

Rafael Gomes Mantovani, André Luis Debiaso Rossi, Edesio Alcobaça, Jadson Castro Gertrudes

Machine Learning (ML) algorithms have been increasingly applied to problems from several different areas. Despite their growing popularity, their predictive performance is usually affected by the values assigned to their hyperparameters (HPs). As consequence, researchers and practitioners face the challenge of how to set these values. Many users have limited

Shiraz Minwalla, Amiya Mishra, Naveen Prabhakar

We generalize previously obtained results for the (all orders in the 't Hooft coupling) thermal free energy of bosonic and fermionic large $N$ Chern-Simons theories with fundamental matter, to values of the chemical potential larger than quasiparticle thermal masses. Building on an analysis by Geracie, Goykhman and Son, we present a simple explicit formu

E. O. Nadler, A. Drlica-Wagner, K. Bechtol, S. Mau

We perform a comprehensive study of Milky Way (MW) satellite galaxies to constrain the fundamental properties of dark matter (DM). This analysis fully incorporates inhomogeneities in the spatial distribution and detectability of MW satellites and marginalizes over uncertainties in the mapping between galaxies and DM halos, the properties of the MW system, an

Ali Mokhtari-Jazi, Matthew R. C. Fitzpatrick, Malcolm P. Kennett

Lieb-Robinson and related bounds set an upper limit on the rate of spreading of information in non-relativistic quantum systems. Experimentally, they have been observed in the spreading of correlations in the Bose-Hubbard model after a quantum quench. Using a recently developed two particle irreducible (2PI) strong coupling approach to out-of-equilibrium dyn

Mathias Garny, Petter Taule

Loop corrections to the power spectrum are frequently computed using approximate non-linear kernels adopted from an Einstein de-Sitter (EdS) cosmology. We present an algorithm that allows us to take the full time- and scale-dependence of the underlying fluid dynamics into account, and apply it to assess the impact of neutrino free-streaming on the 1- and 2-l

Nialh McCallum, Daniel B. Thomas, Michael L. Brown, Nicolas Tessore

The CMB $B$-mode polarisation signal -- both the primordial gravitational wave signature and the signal sourced by lensing -- is subject to many contaminants from systematic effects. Of particular concern are systematics that result in mixing of signals of different ``spin'', particularly leakage from the much larger spin-0 intensity signal to the sp

Shmuel Bialy

The intensity of the far-ultraviolet (FUV; 6-13.6 eV) interstellar radiation field (ISRF) in galaxies determines the thermal and chemical evolution of the neutral interstellar gas and is key for interpreting extragalactic observations and for theories of star-formation. We run a series of galactic disk models and derive the FUV ISRF intensity as a function o

Xingze Qiu, Peter Zoller, Xiaopeng Li

Quantum annealing aims at solving optimization problems efficiently by preparing the ground state of an Ising spin-Hamiltonian quantum mechanically. A prerequisite of building a quantum annealer is the implementation of programmable long-range two-, three- or multi-spin Ising interactions. We discuss an architecture, where the required spin interactions are

Martina Donnari, Annalisa Pillepich, Gandhali D. Joshi, Dylan Nelson

We use the IllustrisTNG simulations to show how the fractions of quenched galaxies vary across different environments and cosmic time, and to quantify the role AGN feedback and preprocessing play in quenching group and cluster satellites. At $z=0$, we select galaxies with $M_* = 10^{9-12} M_{\odot}$ residing within ($\leq R_{200c}$) groups and clusters of to

Martina Donnari, Annalisa Pillepich, Dylan Nelson, Federico Marinacci

We make an in-depth comparison of the IllustrisTNG simulations with observational data on the quenched fractions of central and satellite galaxies, for $M_*=10^{9-12}M_{\odot}$ at $0\leq z\leq3$. We study how analysis methodologies and observational effects impact this comparison. This includes measurement choices -- aperture, quenched definition, star forma

M. Bonkhoff, K. Jägering, S. Eggert, A. Pelster

Anyons with arbitrary exchange phases exist on 1D lattices in ultracold gases. Yet, known continuum theories in 1D do not match. We derive the continuum limit of 1D lattice anyons via interacting bosons. The theory maintains the exchange phase periodicity fully analogous to 2D anyons. This provides a mapping between experiments, lattice anyons, and continuum

Jan Christoph, Jan Lebert

The inverse mechano-electrical problem in cardiac electrophysiology is the attempt to reconstruct electrical excitation or action potential wave patterns from the heart's mechanical deformation that occurs in response to electrical excitation. Because heart muscle cells contract upon electrical excitation due to the excitation-contraction coupling mechan

Nicholas O'Dea, Fiona Burnell, Anushya Chandran, Vedika Khemani

We present a general symmetry-based framework for obtaining many-body Hamiltonians with scarred eigenstates that do not obey the eigenstate thermalization hypothesis. Our models are derived from parent Hamiltonians with a non-Abelian (or q-deformed) symmetry, whose eigenspectra are organized as degenerate multiplets that transform as irreducible representati

Song Liu, Suraj Shankar, M. Cristina Marchetti, Yilin Wu

Active matter consists of units that generate mechanical work by consuming energy. Examples include living systems, such as assemblies of bacteria and biological tissues, biopolymers driven by molecular motors, and suspensions of synthetic self-propelled particles. A central question in the field is to understand and control the self-organization of active a

Maciej Gałązka, Tomasz Mańdziuk, Filip Rupniewski

Cactus varieties are a generalization of secant varieties. They are defined using linear spans of arbitrary finite schemes of bounded length, while secant varieties use only isolated reduced points. In particular, any secant variety is always contained in the respective cactus variety, and, except in a few initial cases, the inclusion is strict. It is known

F. Maislinger, H. G. Evertz

We study the non-equilibrium response of a 4x3 Hubbard model at U=8 under the influence of a short electric field pulse, with the main focus on multiple photon excitations and on the change of double occupancy after the pulse. The behavior mainly depends on the driving frequency of the electric field. The largest change of double occupancy occurs during the

Nicolas M. de Oliveira, Lucas P. de Albuquerque, Wilson R. de Oliveira, Teresa B. Ludermir

The advancement of technology in Quantum Computing has brought possibilities for the execution of algorithms in real quantum devices. However, the existing errors in the current quantum hardware and the low number of available qubits make it necessary to use solutions that use fewer qubits and fewer operations, mitigating such obstacles. Hadamard Classifier

Norman Dombey

A scientific biography of John Ward, who was responsible for the Ward Identity in quantum electrodynamics; the first detailed calculation of the quantum entanglement of two photons in electron-positron annihilation with Maurice Pryce; the prediction of neutral weak currents in electroweak theory with Sheldon Glashow and Abdus Salam, and many other major calc

Yuehuan Wei, Jianyu Long, Francesco Lombardi, Zhiheng Jiang

The liquid xenon (LXe) time projection chamber (TPC) technology is probing a wide range of dark matter masses from sub-GeV to a few TeV. To further improve its sensitivity to sub-GeV dark matter and its application in reactor neutrino monitoring via coherent elastic neutrino-nucleus scattering (CEvNS), more understanding and suppression of single/few electro

Willow Ahrens

Graph partitioning schedules parallel calculations like sparse matrix-vector multiply (SpMV). We consider contiguous partitions, where the $m$ rows (or columns) of a sparse matrix with $N$ nonzeros are split into $K$ parts without reordering. We propose the first near-linear time algorithms for several graph partitioning problems in the contiguous regime. Tr

Bhaskar Dutta, Sumit Ghosh, Jason Kumar

We consider strategies for using new datasets to probe scenarios in which light right-handed SM fermions couple to a new gauge group, $U(1)_{T3R}$. This scenario provides a natural explanation for the light flavor sector scale, and a motivation for sub-GeV dark matter. There is parameter space which is currently allowed, but we find that much of it can be pr

Tyler D. Blanton, Stephen R. Sharpe

We show that a recently derived alternative form of the relativistic three-particle quantization condition for identical particles can be rewritten in terms of the R matrix introduced to give a unitary representation of the infinite-volume three-particle scattering amplitude. Combined with earlier work, this shows the equivalence of the relativistic effectiv

A. Emin Orhan, Vaibhav V. Gupta, Brenden M. Lake

Within months of birth, children develop meaningful expectations about the world around them. How much of this early knowledge can be explained through generic learning mechanisms applied to sensory data, and how much of it requires more substantive innate inductive biases? Addressing this fundamental question in its full generality is currently infeasible,

Tyler D. Blanton, Stephen R. Sharpe

We present a simplified derivation of the relativistic three-particle quantization condition for identical, spinless particles described by a generic relativistic field theory satisfying a $\mathbb Z_2$ symmetry. The simplification is afforded by using a three-particle quasilocal K matrix that is not fully symmetrized, $\widetilde{\mathcal{K}}_{\rm df,3}^{(u

Damien A. Easson, Cynthia Keeler, Tucker Manton

We apply the classical double copy procedure to a class of regular, non-singular black hole solutions. We give several examples, paying particular attention to a string-theory-corrected black hole solution emerging from T-duality. Non-perturbative stringy corrections introduce an ultraviolet (UV) zero-point length cutoff which results in non-singular black h

Marcel Neugebauer, Laurin Fischer, Alexander Jäger, Stefanie Czischek

We study the performance of efficient quantum state tomography methods based on neural network quantum states using measured data from a two-photon experiment. Machine learning inspired variational methods provide a promising route towards scalable state characterization for quantum simulators. While the power of these methods has been demonstrated on synthe

Ángel González-Prieto, Jorge Perez, Jessica Diaz, Daniel López-Fernández

In recent years, the research on empirical software engineering that uses qualitative data analysis (e.g., cases studies, interview surveys, and grounded theory studies) is increasing. However, most of this research does not deep into the reliability and validity of findings, specifically in the reliability of coding in which these methodologies rely on, des

Jacopo Emmenegger, Fabio Pasquali, Giuseppe Rosolini

Grothendieck fibrations provide a unifying algebraic framework that underlies the treatment of various form of logics, such as first order logic, higher order logics and dependent type theories. In the categorical approach to logic proposed by Lawvere, which systematically uses adjoints to describe the logical operations, equality is presented in the form of

Zachary Levonian, Marco Dow, Drew Erikson, Sourojit Ghosh

Online health communities offer the promise of support benefits to users, in particular because these communities enable users to find peers with similar experiences. Building mutually supportive connections between peers is a key motivation for using online health communities. However, a user's role in a community may influence the formation of peer con

Germán Vidal

Reversible debugging is becoming increasingly popular for locating the source of errors. This technique proposes a more natural approach to debugging, where one can explore a computation from the observable misbehaviour backwards to the source of the error. In this work, we propose a reversible debugging scheme for logic programs. For this purpose, we define

Nicolas Vaskou

In this paper, we show that every irreducible $2$-dimensional Artin group $A_Γ$ of rank at least $3$ is acylindrically hyperbolic. We do this by studying the action of $A_Γ$ on its modified Deligne complex. Along the way, we prove results of independent interests on the geometry of links of this complex.

Federico Faedo, Yolanda Lozano, Nicolo Petri

We study $\mathrm{AdS}_3\times S^3/\mathbb{Z}_k\times {\tilde S}^3/\mathbb{Z}_{k'}$ solutions to M-theory preserving $\mathcal{N}=(0,4)$ supersymmetries, arising as near-horizon limits of M2-M5 brane intersections ending on M5'-branes, with both types of five-branes placed on A-type singularities. Solutions in this class asymptote locally to $\mathrm

Mijin Yoon, M. James Jee

While baryonic feedback is one of the most important astrophysical systematics that we need to address in order to achieve precision cosmology, few weak lensing studies have directly measured its impact on the matter power spectrum. We report measurement of the baryonic feedback parameter with the constraints on its lower and upper limits from cosmic shear.

Prarit Agarwal, Ki-Hong Lee, Jaewon Song

We classify the large $N$ limits of four-dimensional supersymmetric gauge theories with simple gauge groups that flow to superconformal fixed points. We restrict ourselves to the ones without a superpotential and with a fixed flavor symmetry. We find 35 classes in total, with 8 having a dense spectrum of chiral gauge-invariant operators. The central charges

Peter Feller, Immanuel van Santen

We prove that every smooth affine variety of dimension $d$ embeds into every simple algebraic group of dimension at least $2d+2$. We do this by establishing the existence of embeddings of smooth affine varieties into the total space of certain principal bundles. For the latter we employ and build upon parametric transversality results for flexible affine var

Shubhankar Agarwal, Harshit Sikchi, Cole Gulino, Eric Wilkinson

A popular way to plan trajectories in dynamic urban scenarios for Autonomous Vehicles is to rely on explicitly specified and hand crafted cost functions, coupled with random sampling in the trajectory space to find the minimum cost trajectory. Such methods require a high number of samples to find a low-cost trajectory and might end up with a highly suboptima

José Espírito Santo, Ralph Matthes, Luís Pinto

The approach to proof search dubbed "coinductive proof search" (CoIPS), and previously developed by the authors for implicational intuitionistic logic, is in this paper extended to LJP, a focused sequent-calculus presentation of polarized intuitionistic logic, including an array of positive and negative connectives. As before, this includes developin

Austin K. Daniel, Akimasa Miyake

Nonlocal games with advantageous quantum strategies give arguably the most fundamental demonstration of the power of quantum resources over their classical counterparts. Recently, certain multiplayer generalizations of nonlocal games have been used to prove unconditional separations between small computational complexity classes of shallow-depth circuits. He

Mikhail Shaposhnikov, Andrey Shkerin, Inar Timiryasov, Sebastian Zell

We study gravity coupled to scalar and fermion fields in the Einstein-Cartan framework. We discuss the most general form of the action that contains terms of mass dimension not bigger than four, leaving out only contributions quadratic in curvature. By resolving the theory explicitly for torsion, we arrive at an equivalent metric theory containing additional

M. Martinelli, C. J. A. P. Martins, S. Nesseris, D. Sapone

In metric theories of gravity with photon number conservation, the luminosity and angular diameter distances are related via the Etherington relation, also known as the distance-duality relation (DDR). A violation of this relation would rule out the standard cosmological paradigm and point at the presence of new physics. We quantify the ability of Euclid, in

Michael F. Howland, Carlos Moral Gonzalez, Juan Jose Pena Martinez, Jesus Bas Quesada

The intentional yaw misalignment of leading, upwind turbines in a wind farm, termed wake steering, has demonstrated potential as a collective control approach for wind farm power maximization. The optimal control strategy, and resulting effect of wake steering on wind farm power production, are in part dictated by the power degradation of the upwind yaw misa

Patrick Schrempf, Hannah Watson, Shadia Mikhael, Maciej Pajak

Training medical image analysis models requires large amounts of expertly annotated data which is time-consuming and expensive to obtain. Images are often accompanied by free-text radiology reports which are a rich source of information. In this paper, we tackle the automated extraction of structured labels from head CT reports for imaging of suspected strok

Jason Hindes, Simone Bianco, Ira B. Schwartz

Without vaccines and treatments, societies must rely on non-pharmaceutical intervention strategies to control the spread of emerging diseases such as COVID-19. Though complete lockdown is epidemiologically effective, because it eliminates infectious contacts, it comes with significant costs. Several recent studies have suggested that a plausible compromise s

Brian Yueshuai He, Jinkai Zhou, Ziyi Ma, Ding Wang

Evaluation of the demand for emerging transportation technologies and policies can vary by time of day due to spillbacks on roadways, rescheduling of travelers' activity patterns, and shifting to other modes that affect the level of congestion. These effects are not well-captured with static travel demand models. We calibrate and validate the first open-

Erik Woodhead, Antonio Acín, Stefano Pironio

The simplest device-independent quantum key distribution protocol is based on the Clauser-Horne-Shimony-Holt (CHSH) Bell inequality and allows two users, Alice and Bob, to generate a secret key if they observe sufficiently strong correlations. There is, however, a mismatch between the protocol, in which only one of Alice's measurements is used to generat

Armin Tavakoli, Emmanuel Zambrini Cruzeiro, Erik Woodhead, Stefano Pironio

We introduce new methods and tools to study and characterise classical and quantum correlations emerging from prepare-and-measure experiments with informationally restricted communication. We consider the most general kind of informationally restricted correlations, namely the ones formed when the sender is allowed to prepare statistical mixtures of mixed st

C. V. Brito, G. S. Denicol

In this paper, we perform a linear stability analysis of Israel-Stewart theory around a global equilibrium state, including the effects of shear-stress tensor, net-baryon diffusion current and diffusion-viscous coupling. We find all the relevant modes of this theory and derive necessary conditions that these modes must satisfy in order to be stable and sublu

Camilo Miguel Signorelli, Quanlong Wang, Ilyas Khan

Scientific studies of consciousness rely on objects whose existence is assumed to be independent of any consciousness. On the contrary, we assume consciousness to be fundamental, and that one of the main features of consciousness is characterized as being other-dependent. We set up a framework which naturally subsumes this feature by defining a compact close

Melvyn Tyloo, Robin Delabays, Philippe Jacquod

The dynamics of systems of interacting agents is determined by the structure of their coupling network. The knowledge of the latter is, therefore, highly desirable, for instance, to develop efficient control schemes, to accurately predict the dynamics, or to better understand inter-agent processes. In many important and interesting situations, the network st

Mingnan Ding, Zhanchun Tu, Xiangjun Xing

The multi-dimensional non-linear Langevin equation with multiplicative Gaussian white noises in Ito's sense is made covariant with respect to non-linear transform of variables. The formalism involves no metric or affine connection, works for systems with or without detailed balance, and is substantially simpler than previous theories. Its relation with d

The Cherenkov Telescope Array Consortium, :, A. Acharyya, R. Adam

We provide an updated assessment of the power of the Cherenkov Telescope Array (CTA) to search for thermally produced dark matter at the TeV scale, via the associated gamma-ray signal from pair-annihilating dark matter particles in the region around the Galactic centre. We find that CTA will open a new window of discovery potential, significantly extending t

P. Adelhardt, J. A. Koziol, A. Schellenberger, K. P. Schmidt

The critical breakdown of a one-dimensional quantum magnet with long-range interactions is studied by investigating the high-field polarized phase of the anisotropic XY model in a transverse field for the ferro- and antiferromagnetic case. While for the limiting case of the isotropic long-range XY model we can extract the elementary one quasi-particle disper

Sergey Dolgov, Daniel Kressner, Christoph Strössner

This work is concerned with approximating a trivariate function defined on a tensor-product domain via function evaluations. Combining tensorized Chebyshev interpolation with a Tucker decomposition of low multilinear rank yields function approximations that can be computed and stored very efficiently. The existing Chebfun3 algorithm [Hashemi and Trefethen, S

Zhe Wang, Liqin Zhao, Biye Jiang, Guorui Zhou

Multi-stage cascade architecture exists widely in many industrial systems such as recommender systems and online advertising, which often consists of sequential modules including matching, pre-ranking, ranking, etc. For a long time, it is believed pre-ranking is just a simplified version of the ranking module, considering the larger size of the candidate set

Tong Wu, Xuefei Ning, Wenshuo Li, Ranran Huang

In this paper, we tackle the issue of physical adversarial examples for object detectors in the wild. Specifically, we proposed to generate adversarial patterns to be applied on vehicle surface so that it's not recognizable by detectors in the photo-realistic Carla simulator. Our approach contains two main techniques, an Enlarge-and-Repeat process and a

Ramen Ghosh, Jakub Marecek, Wynita M. Griggs, Matheus Souza

We consider the design of distributed algorithms that govern the manner in which agents contribute to a social sensing platform. Specifically, we are interested in situations where fairness among the agents contributing to the platform is needed. A notable example are platforms operated by public bodies, where fairness is a legal requirement. The design of s

Zhouyou Fan, Rui Zhang, Huey-Wen Lin

The parton distribution functions (PDFs) provide process-independent information about the quarks and gluons inside hadrons. Although the gluon PDF can be obtained from a global fit to experimental data, it is not constrained well in the large-$x$ region. Theoretical gluon-PDF studies are much fewer than those of the quark PDFs. In this work, we present the