arXiv papers from June 2017

Viren Jain

Volumetric (3d) images are acquired for many scientific and biomedical purposes using imaging methods such as serial section microscopy, CT scans, and MRI. A frequent step in the analysis and reconstruction of such data is the alignment and registration of images that were acquired in succession along a spatial or temporal dimension. For example, in serial s

Olufemi O. Oyadare

This paper is an invitation to the study and use of general theory of non-gaussian $r-$congruences in the theory of numbers. In this work we classify the two kinds of $r-$congruences that exist (namely the trivial and non-trivial types) and establish their foundational properties as well as their algebra. Among other results, we show that the consideration o

Shu Yang, Jae Kwang Kim

Nearest neighbor imputation is popular for handling item nonresponse in survey sampling. In this article, we study the asymptotic properties of the nearest neighbor imputation estimator for general population parameters, including population means, proportions and quantiles. For variance estimation, the conventional bootstrap inference for matching estimator

Geoffrey C. Bower, Jason Dexter, Sera Markoff, Ramprasad Rao

Millimeter wavelength polarimetry of accreting black hole systems can provide a tomographic probe of the accretion flow on a wide range of linear scales. We searched for linear polarization in two low luminosity active galactic nuclei (LLAGN), M81 and M84, using the Combined Array for Millimeter Astronomy (CARMA) and the Submillimeter Array (SMA). We find up

Jakub Bilski, Antonino Marciano

Introducing a new method, we demonstrate how the action of reduced operators can be derived without resorting to a recoupling theory and how they exactly reproduce the results obtained in the standard approach of Quantum Reduced Loop Gravity (QRLG). This is particularly relevant while dealing with volume operator when dealing with the coupling of matter fiel

Zeeshan Ahmad, Venkatasubramanian Viswanathan

We investigate the stability of electrodeposition at solid-solid interfaces for materials exhibiting an anisotropic mechanical response. The stability of electrodeposition or resistance to the formation of dendrites is studied within a linear stability analysis. The deformation and stress equations are solved using the Stroh formalism and faithfully recover

A. Palameta, J. Ho, D. Harnett, T. G. Steele

We use QCD Laplace sum-rules to study meson-hybrid mixing in vector ($1^{--}$) heavy quarkonium. We compute the QCD cross-correlator between a heavy meson current and a heavy hybrid current within the operator product expansion. In addition to leading-order perturbation theory, we include four- and six-dimensional gluon condensate contributions as well as a

Adam J. Burgasser, the SPLAT Development Team

I describe our team's development of the SpeX Prism Library Analysis Toolkit (SPLAT), a combined spectral data repository for over 2500 low-resolution spectra of very low mass dwarfs (late M, L and T dwarfs), and Python-based analysis toolkit. SPLAT was constructed through a collaborative, student-centered, research-based model with high school, undergraduat

Su Lin Blodgett, Brendan O'Connor

We highlight an important frontier in algorithmic fairness: disparity in the quality of natural language processing algorithms when applied to language from authors of different social groups. For example, current systems sometimes analyze the language of females and minorities more poorly than they do of whites and males. We conduct an empirical analysis of

Andrej Ilner, Justin Blair, Daniel Cabrera, Christina Markert

We investigate probing the hot and dense nuclear matter with strange vector mesons ($K^*, \bar{K}^*$). Our analysis is based on PHSD which incorporates partonic and hadronic dof and describes the full dynamics of HICs. This allows to study the $K^*$ and $\bar{K}^*$ meson formation from the QGP and the in-medium effects related to the modification of their pr

Francisco Jauffred, Roberto Onofrio, Bala Sundaram

We discuss the dynamics of sympathetic cooling of atomic mixtures in realistic, nonlinear trapping potentials using a microscopic effective model developed earlier for harmonic traps. We contrast the effectiveness of different atomic traps, such as Ioffe-Pritchard magnetic traps and optical dipole traps, and the role their intrinsic nonlinearity plays in spe

Qing Li, Qiang Peng, Chuan Yan

Despite the effectiveness of convolutional neural networks (CNNs) especially in image classification tasks, the effect of convolution features on learned representations is still limited. It mostly focuses on the salient object of the images, but ignores the variation information on clutter and local. In this paper, we propose a special framework, which is t

Yusuf Oguzhan Günaydın, Mehmet Sahin, Saleh Sultansoy

Several Beyond the Standard Model theories are proposed that fermions might have composite substructure. The existence of excited quarks is going to be the noticeable proof for the compositeness of Standard Model fermions. For this reason, excited quarks have been investigated by phenomenological and experimental high energy physicists at various collider op

Daochang Zhang, Dijana Mosi\' c, Li Guo

Our aim is to establish relations between Drazin inverses of the pesudo-block matrix $(P,Q,R,S)$ and the block matrix composed of $P,R,S,Q$, where $R^2=S^2=0$. Based on the relations, we give representations for Drazin inverses of the sum $P+Q+R+S$ under weaker restrictions. As its applications, several expressions for Drazin inverses of a $2\times 2$ block

Hitomi Collaboration, Felix Aharonian, Hiroki Akamatsu, Fumie Akimoto

The Crab nebula originated from a core-collapse supernova (SN) explosion observed in 1054 A.D. When viewed as a supernova remnant (SNR), it has an anomalously low observed ejecta mass and kinetic energy for an Fe-core collapse SN. Intensive searches were made for a massive shell that solves this discrepancy, but none has been detected. An alternative idea is

Alessandro Sisto

The first part of this survey is a heuristic, non-technical discussion of what an HHS is, and the aim is to provide a good mental picture both to those actively doing research on HHSs and to those who only seek a basic understanding out of pure curiosity. It can be read independently of the second part, which is a detailed technical discussion of the axioms

Andreas Lenz, Antonia Wachter-Zeh, Eitan Yaakobi

In this work, we derive upper bounds on the cardinality of tandem duplication and palindromic deletion correcting codes by deriving the generalized sphere packing bound for these error types. We first prove that an upper bound for tandem deletions is also an upper bound for inserting the respective type of duplications. Therefore, we derive the bounds based

Manikandasriram Srinivasan Ramanagopal, Cyrus Anderson, Ram Vasudevan, Matthew Johnson-Roberson

One of the major open challenges in self-driving cars is the ability to detect cars and pedestrians to safely navigate in the world. Deep learning-based object detector approaches have enabled great advances in using camera imagery to detect and classify objects. But for a safety critical application, such as autonomous driving, the error rates of the curren

Sameh Y. Elnaggar, Gregory N. Milford

The properties of space-time modulated media operating in the sub-sonic regime are discussed based on rigorous Bloch-Floquet theory. A geometrical description in the frequency-wavenumber plane is developed to provide insight into the possible interactions and their nature. It is shown that the secular equation has a singularity, which results in a weak/passi

Sanda Bujačić Babić

We prove there exist infinitely many odd integers $n$ for which there exists a pair of positive divisors $d_1, d_2>1$ of $(n^2+1)/2$ such that $$d_1+d_2=\delta n+(\delta+2).$$ We prove the similar result for $\varepsilon=\delta-2$ and $\delta\equiv4, 6\pmod{8}$ using different approaches and methods.

Chaitali Joshi, Alessandro Farsi, Stéphane Clemmen, Sven Ramelow

Single-photon sources based on optical parametric processes have been used extensively for quantum information applications due to their flexibility, room-temperature operation and potential for photonic integration. However, the intrinsically probabilistic nature of these sources is a major limitation for realizing large-scale quantum networks. Active feedf

Anna Jenčová

We study an extension of the sandwiched R\'enyi relative entropies for normal positive functionals on a von Neumann algebra, for parameter values $\alpha\in [1/2,1)$. This work is intended as a continuation of [A. Jen\v{c}ov\'a, Ann. Henri Poincar\'e 19, 2513-2542, 2018], where the values $\alpha>1$ were studied. We use the Araki-Masuda divergences of [Berta

Alexandra Chouldechova, Max G'Sell

Complex statistical machine learning models are increasingly being used or considered for use in high-stakes decision-making pipelines in domains such as financial services, health care, criminal justice and human services. These models are often investigated as possible improvements over more classical tools such as regression models or human judgement. Whi

J. Tejada, E. M. Chudnovsky, R. Zarzuela, N. Statuto

We report evidence of the magnetization reversal in nanoparticles by surface acoustic waves (SAWs). The experimental system consists of isolated magnetite nanoparticles dispersed on a piezoelectric substrate. Magnetic relaxation from a saturated state becomes significantly enhanced in the presence of the SAW at a constant temperature of the substrate. The de

Yahav Bechavod, Katrina Ligett

We present a new approach for mitigating unfairness in learned classifiers. In particular, we focus on binary classification tasks over individuals from two populations, where, as our criterion for fairness, we wish to achieve similar false positive rates in both populations, and similar false negative rates in both populations. As a proof of concept, we imp

Ran Huang, Yuan He, Zhi-Jun Wang, Wei-Ming Yue

Transient beam loading effect is one of the key issues in any superconducting accelerators, which needs to be carefully investigated. The core problem in the analysis is to obtain the time evolution of cavity voltage under the transient beam loading. To simplify the problem, the second order ordinary differential equation describing the behavior of the cavit

Lukas Medišauskas, Ulf Saalmann, Jan-Michael Rost

We present a two-timescale Floquet method that allows one to apply the Kramers-Henneberger approach to short pulses and arbitrary laser frequencies. An efficient numerical procedure to propagate the Floquet Hamiltonian is provided that relies on the Toeplitz matrix formalism and Fast Fourier Transformations. It enables efficient time propagation with large F

C. T. Potter

We describe the phenomenology of light singlet Higgs bosons in the Next-to-Minimal Supersymmetry Model (NMSSM) which are mostly decoupled from the rest of Supersymmetry. Noting that the Large Hadron Collider has not excluded this scenario, we describe previous searches for light Higgs bosons at the Large Electron Positron collider and evaluate the sensitivit

Amirhossein Reisizadeh, Ramtin Pedarsani

Large-scale distributed computing systems face two major bottlenecks that limit their scalability: straggler delay caused by the variability of computation times at different worker nodes and communication bottlenecks caused by shuffling data across many nodes in the network. Recently, it has been shown that codes can provide significant gains in overcoming

Amir Adibzadeh, Mohsen Zamani, Amir A. Suratgar, Mohammad B. Menhaj

In this paper, distributed convex optimization problem over non-directed dynamical networks is studied. Here, networked agents with single-integrator dynamics are supposed to rendezvous at a point that is the solution of a global convex optimization problem with some local inequality constraints. To this end, all agents shall cooperate with their neighbors t

Prabir Daripa, Sourav Dutta

In this article, the convergence of a hybrid numerical method introduced in Daripa and Dutta (J. Comput. Phys., 335:249-282, 2017) has been established. This method integrates a discontinuous finite element method with a modified method of characteristics (MMOC) in combination with finite difference (FD) procedures, and has been successfully applied to solve

Ivan C. Christov

We study a variable-coefficient Burgers equation arising in the modelling of segregation of dry bidisperse granular mixtures. The equation is subject to nonlinear boundary conditions for the particle flux. We construct a strongly implicit Crank--Nicolson type of numerical scheme for the latter equation. The scheme is benchmarked against a standard exact solu

Benjamin Gottesman, Yan Dolinsky

We introduce an efficient numerical scheme for continuous time Dynkin games under model uncertainty. We use the Skorokhod embedding in order to construct recombining tree approximations. This technique allows us to determine convergence rates and to construct numerically optimal stopping strategies. We apply our method to several examples of game options.

Eric Hazlett, Andrés Aragoneses

We present a versatile experimental apparatus for exploring rotational motion through the interplay between the moment of inertia, torque and rotational kinetic energy. The heart of this experiment uses a 3D printed wheel along with easily accessible stock components that allow for the adjustment of moment of inertial while keeping the total mass of the whee

A. T. Hatke, T. Wang, 2 C. Thomas, G. Gardner

InAs-based two-dimensional electron systems grown on lattice mismatched InP substrates offer a robust platform for the pursuit of topologically protected quantum computing. We investigated strained composite quantum wells of In$_{0.75}$Ga$_{0.25}$As/InAs/In$_{0.75}$Ga$_{0.25}$As with In$_{0.75}$Al$_{0.25}$As barriers. By optimizing the widths of the In$_{0.7

Wiesław Kopeć, Kinga Skorupska, Anna Jaskulska, Katarzyna Abramczuk

In this paper we provide a brief summary of development LivingLab PJAIT as an attempt to establish a comprehensive and sustainable ICT-based solution for empowerment of elderly communities towards better urban participation of seniors. We report on our various endeavors for better involvement and participation of older adults in urban life by lowering ICT ba

A. Reid, V. Henriques, M. Mathioudakis, J. G. Doyle

We use spectropolarimetric observations of the Ca II 8542~\AA\ line, taken from the Swedish 1-m Solar Telescope (SST), in an attempt to recover dynamic activity in a micro-flaring region near a sunspot via inversions. These inversions show localized mean temperature enhancements of $\sim$1000~K in the chromosphere and upper photosphere, along with co-spatial

Joshua Bendavid

New machine learning based algorithms have been developed and tested for Monte Carlo integration based on generative Boosted Decision Trees and Deep Neural Networks. Both of these algorithms exhibit substantial improvements compared to existing algorithms for non-factorizable integrands in terms of the achievable integration precision for a given number of t

Elizabeth Jurrus, Dave Engel, Keith Star, Kyle Monson

The Adaptive Poisson-Boltzmann Solver (APBS) software was developed to solve the equations of continuum electrostatics for large biomolecular assemblages that has provided impact in the study of a broad range of chemical, biological, and biomedical applications. APBS addresses three key technology challenges for understanding solvation and electrostatics in

Federico Armata, Ludovico Latmiral, A. D. K Plato, M. S. Kim

We present a table-top quantum estimation protocol to measure the gravitational acceleration $g$ by using an optomechanical cavity. In particular, we exploit the non-linear quantum light-matter interaction between an optical field and a massive mirror acting as mechanical oscillator. The gravitational field influences the system dynamics affecting the phase

Lorenzo Gheri, Andrei Popescu

We present the formalization of a theory of syntax with bindings that has been developed and refined over the last decade to support several large formalization efforts. Terms are defined for an arbitrary number of constructors of varying numbers of inputs, quotiented to alpha-equivalence and sorted according to a binding signature. The theory includes a ric

M. A. Botchev, A. M. Hanse, R. Uppu

Light incident on a layer of scattering material such as a piece of sugar or white paper forms a characteristic speckle pattern in transmission and reflection. The information hidden in the correlations of the speckle pattern with varying frequency, polarization and angle of the incident light can be exploited for applications such as biomedical imaging and

Gabriel German, Alfredo Herrera-Aguilar, Juan Carlos Hidalgo, Roberto A. Sussman

Recently we have studied in great detail a model of Hybrid Natural Inflation (HNI) by constructing two simple effective field theories. These two versions of the model allow inflationary energy scales as small as the electroweak scale in one of them or as large as the Grand Unification scale in the other, therefore covering the whole range of possible energy

Thomas Grohmann, Monika Leibscher, Tamar Seideman

We introduce a four-dimensional quantum model for describing the torsional control of $\rm G_{16}$-type molecules in the electronic ground state, based on the symmetry-adapted variational method. We define conditions for which lower-dimensional models, commonly used to simulate the strong-field control of molecular torsions, are reliable approximations to a

Lee Worden, Ira B. Schwartz, Simone Bianco, Sarah F. Ackley

We extend a technique of approximation of the long-term behavior of a supercritical stochastic epidemic model, using the WKB approximation and a Hamiltonian phase space, to the subcritical case. The limiting behavior of the model and approximation are qualitatively different in the subcritical case, requiring a novel analysis of the limiting behavior of the

Anshul Adve, Alexander Yong

We discuss implications of the following statement about the representation theory of symmetric groups: every integer appears infinitely often as an irreducible character evaluation, and every nonnegative integer appears infinitely often as a Littlewood-Richardson coefficient and as a Kronecker coefficient.

Dirk Pauly

We prove global and local versions of the so-called div-curl-lemma, a crucial result in the homogenization theory of partial differential equations, for mixed boundary conditions on bounded weak Lipschitz domains in 3D with weak Lipschitz interfaces. We will generalize our results using an abstract Hilbert space setting, which shows corresponding results to

Duin Back, Bong Jun Choi, Jing Chen

As the driving force of crowdsourcing is the interaction among participants, various incentive mechanisms have been proposed to attract sufficient participants. However, the existing works assume that all the providers always meet the deadline and the task value accordingly remains constant. To bridge the gap of such impractical assumption, we model the hete

Johannes Lang, Francesco Piazza, Wilhelm Zwerger

We discuss the nature of symmetry breaking and the associated collective excitations for a system of bosons coupled to the electromagnetic field of two optical cavities. For the specific configuration realized in a recent experiment at ETH, we show that, in absence of direct intercavity scattering and for parameters chosen such that the atoms couple symmetri

Petar Simidzija, Eduardo Martin-Martinez

We study (non-perturbatively) the interactions of delta-coupled detectors with coherent states of a scalar field. We show that the time-evolved density matrix spectra of i) a single detector, ii) two detectors, and iii) the partial transpose of the latter, are all independent of which coherent state the field was in. Furthermore, we find that the eigenvalues

Brian Hempel, Justin Lubin, Grace Lu, Ravi Chugh

We present a structure-aware code editor, called Deuce, that is equipped with direct manipulation capabilities for invoking automated program transformations. Compared to traditional refactoring environments, Deuce employs a direct manipulation interface that is tightly integrated within a text-based editing workflow. In particular, Deuce draws (i) clickable

Ryuji Takagi, Theodore J. Yoder, Isaac L. Chuang

A non-Clifford gate is required for universal quantum computation, and, typically, this is the most error-prone and resource intensive logical operation on an error-correcting code. Small, single-qubit rotations are popular choices for this non-Clifford gate, but certain three-qubit gates, such as Toffoli or controlled-controlled-Z (CCZ), are equivalent opti

N. Waterfield Price, R. D. Johnson, W. Saenrang, A. Bombardi

We have directly imaged reversible electrical switching of the cycloidal rotation direction (magnetic polarity) in a (111)-BiFeO3 epitaxial-film device at room temperature by non-resonant x-ray magnetic scattering. Consistent with previous reports, fully relaxed (111)-BiFeO3 epitaxial films consisting of a single ferroelectric domain were found to comprise a

Muhammad Bilal Zafar, Isabel Valera, Manuel Gomez Rodriguez, Krishna P. Gummadi

The adoption of automated, data-driven decision making in an ever expanding range of applications has raised concerns about its potential unfairness towards certain social groups. In this context, a number of recent studies have focused on defining, detecting, and removing unfairness from data-driven decision systems. However, the existing notions of fairnes

Bryant Benson, David M. Wittman, Nathan Golovich, M. James Jee

ZwCl 2341.1+0000, a merging galaxy cluster with disturbed X-ray morphology and widely separated ($\sim$3 Mpc) double radio relics, was thought to be an extremely massive ($10-30 \times 10^{14} M_\odot$) and complex system with little known about its merger history. We present JVLA 2-4 GHz observations of the cluster, along with new spectroscopy from our Keck

Sourabh Dube, Divya Gadkari, Arun M. Thalapillil

Sterile neutrinos, if they exist, are potential harbingers for physics beyond the Standard Model. They have the capacity to shed light on our flavor sector, grand unification frameworks, dark matter sector and origins of baryon anti-baryon asymmetry. There have been a few seminal studies that have broached the subject of sterile neutrinos with low, electrowe

Stephen M. Feeney, Daniel J. Mortlock, Niccolò Dalmasso

Estimates of the Hubble constant, $H_0$, from the distance ladder and the cosmic microwave background (CMB) differ at the $\sim$3-$\sigma$ level, indicating a potential issue with the standard $\Lambda$CDM cosmology. Interpreting this tension correctly requires a model comparison calculation depending on not only the traditional `$n$-$\sigma$' mismatch but a

Ali Seraj, Dieter Van den Bleeken

We consider classical, pure Yang-Mills theory in a box. We show how a set of static electric fields that solve the theory in an adiabatic limit correspond to geodesic motion on the space of vacua, equipped with a particular Riemannian metric that we identify. The vacua are generated by spontaneously broken global gauge symmetries, leading to an infinite numb

A. Chacón-Tanarro, P. Caselli, L. Bizzocchi, J. E. Pineda

In dense and cold molecular clouds dust grains are surrounded by thick icy mantles. It is however not clear if dust growth and coagulation take place before the switch-on of a protostar. This is an important issue, as the presence of large grains may affect the chemical structure of dense cloud cores, including the dynamically important ionization fraction,

Pedro Ponte, C. R. Laumann, David A. Huse, A. Chandran

Many-body localized (MBL) systems lie outside the framework of statistical mechanics, as they fail to equilibrate under their own quantum dynamics. Even basic features of MBL systems such as their stability to thermal inclusions and the nature of the dynamical transition to thermalizing behavior remain poorly understood. We study a simple model to address th

Tejaswi Venumadhav, Liang Dai, Jordi Miralda-Escudé

Recent observations of lensed galaxies at cosmological distances have detected individual stars that are extremely magnified when crossing the caustics of lensing clusters. In idealized cluster lenses with smooth mass distributions, two images of a star of radius $R$ approaching a caustic brighten as $t^{-1/2}$ and reach a peak magnification $\sim 10^{6}\, (

Johnson J. G. Keiriz, Liang Zhan, Morris Chukhman, Olu Ajilore

Visually comparing brain networks, or connectomes, is an essential task in the field of neuroscience. Especially relevant to the field of clinical neuroscience, group studies that examine differences between populations or changes over time within a population enable neuroscientists to reason about effective diagnoses and treatments for a range of neuropsych

Dzianis Kaliada

In the paper, we study the asymptotic distribution of real algebraic integers of fixed degree as their na\"{\i}ve height tends to infinity. For an arbitrary interval $I \subset \mathbb{R}$ and sufficiently large $Q>0$, we obtain an asymptotic formula for the number of algebraic integers $\alpha\in I$ of fixed degree $n$ and na\"{\i}ve height $H(\alpha)\le Q$

Meire Fortunato, Mohammad Gheshlaghi Azar, Bilal Piot, Jacob Menick

We introduce NoisyNet, a deep reinforcement learning agent with parametric noise added to its weights, and show that the induced stochasticity of the agent's policy can be used to aid efficient exploration. The parameters of the noise are learned with gradient descent along with the remaining network weights. NoisyNet is straightforward to implement and adds

Florian Luca, Vandita Patel

We study the equation $F_n + F_m = y^p$, where $F_n$ and $F_m$ are respectively the $n$-th and $m$-th Fibonacci numbers and $p \ge 2$. We find all solutions under the assumption $n \equiv m \pmod{2}$.

Carlos Bonazzola, Alejandro Hnilo, Marcelo Kovalsky, Jorge Tredicce

The passively Q-switched, self-pulsing all-solid-state laser is a device of widespread use in many applications. Depending on the condition of saturation, which is easy to adjust, different dynamical phenomena are observed: continuous wave emission, stable oscillations, period doubling bifurcations, chaos and, in some chaotic regimes, extreme events in the f

Aaron D. Jaggard, Paul Syverson

We introduce and investigate *targeting adversaries* who selectively attack users of Tor or other secure-communication networks. We argue that attacks by such adversaries are more realistic and more significant threats to those most relying on Tor's protection than are attacks in prior analyses of Tor security. Previous research and Tor design decisions have

Mohammad Hosseini, Richard B. Berlin, Lui Sha

In emergency patient transport from rural medical facility to center tertiary hospital, real-time monitoring of the patient in the ambulance by a physician expert at the tertiary center is crucial. While telemetry healthcare services using mobile networks may enable remote real-time monitoring of transported patients, physiologic measures and tracking are at

Robert Fersch, Nevzat Guler, Peter Bosted, Alexandre Deur

We present the results of our final analysis of the full data set of g_1^p(Q^2), the spin structure function of the proton, collected using CLAS at Jefferson Lab in 2000-2001. Polarized electrons with energies of 1.6, 2.5, 4.2 and 5.7 GeV were scattered from proton targets (15^NH_3 dynamically polarized along the beam direction) and detected with CLAS. From

Philippa S. Cole, Christian T. Byrnes

Observational constraints on the abundance of primordial black holes (PBHs) constrain the allowed amplitude of the primordial power spectrum on both the smallest and the largest ranges of scales, covering over 20 decades from $1-10^{20}/ \rm{Mpc}$. Despite tight constraints on the allowed fraction of PBHs at their time of formation near horizon entry in the

N. E. Sujovolsky, P. D. Mininni, A. Pouquet

The large-scale structures in the ocean and the atmosphere are in geostrophic balance, and a conduit must be found to channel the energy to the small scales where it can be dissipated. In turbulence this takes the form of an energy cascade, whereas one possible mechanism in a balanced flow at large scales is through the formation of fronts, a common occurren

K. Aylor, Z. Hou, L. Knox, K. T. Story

The Planck cosmic microwave background (CMB) temperature data are best fit with a LCDM model that is in mild tension with constraints from other cosmological probes. The South Pole Telescope (SPT) 2540 $\text{deg}^2$ SPT-SZ survey offers measurements on sub-degree angular scales (multipoles $650 \leq \ell \leq 2500$) with sufficient precision to use as an in

Gerth Stølting Brodal, Konstantinos Mampentzidis

We study the problem of computing the triplet distance between two rooted unordered trees with $n$ labeled leafs. Introduced by Dobson 1975, the triplet distance is the number of leaf triples that induce different topologies in the two trees. The current theoretically best algorithm is an $\mathrm{O}(n \log n)$ time algorithm by Brodal et al. (SODA 2013). Re

Davis W Blalock, John V Guttag

Vectors of data are at the heart of machine learning and data mining. Recently, vector quantization methods have shown great promise in reducing both the time and space costs of operating on vectors. We introduce a vector quantization algorithm that can compress vectors over 12x faster than existing techniques while also accelerating approximate vector opera

Cayman T. Unterborn, Scott D. Hull, Lars P. Stixrude, Johanna K. Teske

Earth's tectonic processes regulate the formation of continental crust, control its unique deep water and carbon cycles, and are vital to its surface habitability. A major driver of steady-state plate tectonics on Earth is the sinking of the cold subducting plate into the underlying mantle. This sinking is the result of the combined effects of the thermal co

Jose M. Diego, Nick Kaiser, Tom Broadhurst, Patrick L. Kelly

A galaxy cluster acts as a cosmic telescope over background galaxies but also as a cosmic microscope of the lens imperfections. The diverging magnification of lensing caustics enhances the microlensing effect of substructure present within the lensing mass. Fine-scale structure can be accessed as a moving background source brightens and disappears when cross

Brian J. Harker

Spectral line inversion codes are tools used to interpret spectropolarimetric data; in general, their function is to analyze a set of observed Stokes profiles, and infer the physical properties of the line-formation region in which the Stokes profiles were formed. For the SOLIS/VSM 6302v pipeline, the inversion is based on a Milne-Eddington model atmosphere,

P. Giannakeas, Chris H. Greene

The mass-imbalanced three-body recombination process that forms a shallow dimer is shown to possess a rich Efimov-St\"uckelberg landscape, with corresponding spectra that differ fundamentally from the homonuclear case. A semi-analytical treatment of the three-body recombination predicts an unusual spectra with intertwined resonance peaks and minima, and yiel

Patrick L. Kelly, Jose M. Diego, Steven Rodney, Nick Kaiser

Galaxy-cluster gravitational lenses can magnify background galaxies by a total factor of up to ~50. Here we report an image of an individual star at redshift z=1.49 (dubbed "MACS J1149 Lensed Star 1 (LS1)") magnified by >2000. A separate image, detected briefly 0.26 arcseconds from LS1, is likely a counterimage of the first star demagnified for multiple year

Peter J. Gawthrop

A new approach to computing the equilibria and steady-states of biomolecular systems modelled by bond graphs is presented. The approach is illustrated using a model of a biomolecular cycle representing a membrane transporter and a model of the mitochondrial electron transport chain.

Ilaria Gimondi, Matteo Salvalaglio

In this work we describe the thermodynamics and mechanism of CO$_2$ polymorphic transitions under pressure from form I to form III combining standard molecular dynamics, well-tempered metadynamics and committor analysis. We find that the phase transformation takes place through a concerted rearrangement of CO$_2$ molecules, which unfolds via an anisotropic e

Anrin Chakraborti, Chen Chen, Radu Sion

Sensitive information is present on our phones, disks, watches and computers. Its protection is essential. Plausible deniability of stored data allows individuals to deny that their device contains a piece of sensitive information. This constitutes a key tool in the fight against oppressive governments and censorship. Unfortunately, existing solutions, such

Davood Mardani, George K. Atia, Ayman F. Abouraddy

This paper develops a unifying framework for signal reconstruction from interferometric measurements that is broadly applicable to various applications of interferometry. In this framework, the problem of signal reconstruction in interferometry amounts to one of basis analysis. Its applicability is shown to extend beyond conventional temporal interferometry,

Jiwan Ninglekhu, Ram Krishnan

Administrative Role Based Access Control (ARBAC) models specify how to manage user-role assignments (URA), permission-role assignments (PRA), and role-role assignments (RRA). Many approaches have been proposed in the literature for URA, PRA, and RRA. In this paper, we propose a model for attribute-based role-role assignment (ARRA), a novel way to unify prior

Chong Chen, Ruibin Xi, Nan Lin

Community detection in network analysis aims at partitioning nodes in a network into $K$ disjoint communities. Most currently available algorithms assume that $K$ is known, but choosing a correct $K$ is generally very difficult for real networks. In addition, many real networks contain outlier nodes not belonging to any community, but currently very few algo

Scott Powers, Trevor Hastie, Robert Tibshirani

We propose the nuclear norm penalty as an alternative to the ridge penalty for regularized multinomial regression. This convex relaxation of reduced-rank multinomial regression has the advantage of leveraging underlying structure among the response categories to make better predictions. We apply our method, nuclear penalized multinomial regression (NPMR), to

Maria-Florina Balcan, Avrim Blum, Vaishnavh Nagarajan

An important long-term goal in machine learning systems is to build learning agents that, like humans, can learn many tasks over their lifetime, and moreover use information from these tasks to improve their ability to do so efficiently. In this work, our goal is to provide new theoretical insights into the potential of this paradigm. In particular, we propo

Dorin Bucur, Ilaria Fragala

We prove that, in the limit as $k \to+ \infty$, the hexagonal honeycomb solves the optimal partition problem in which the criterion is minimizing the largest among the Cheeger constants of $k$ mutually disjoint cells in a planar domain. As a by-product, the same result holds true when the Cheeger constant is replaced by the first Robin eigenvalue of the Lapl

Nikolai Miklin, Alastair A. Abbott, Cyril Branciard, Rafael Chaves

The existence of a global causal order between events places constraints on the correlations that parties may share. Such "causal correlations" have been the focus of recent attention, driven by the realization that some extensions of quantum mechanics may violate so-called causal inequalities. In this paper we study causal correlations from an entropic pers

Xavier Allamigeon, Ricardo D. Katz

We present a formalization of convex polyhedra in the proof assistant Coq. The cornerstone of our work is a complete implementation of the simplex method, together with the proof of its correctness and termination. This allows us to define the basic predicates over polyhedra in an effective way (i.e., as programs), and relate them with the corresponding usua

Zahra Ghodsi, Tianyu Gu, Siddharth Garg

Inference using deep neural networks is often outsourced to the cloud since it is a computationally demanding task. However, this raises a fundamental issue of trust. How can a client be sure that the cloud has performed inference correctly? A lazy cloud provider might use a simpler but less accurate model to reduce its own computational load, or worse, mali

Thomas M. Conte, Erik P. Debenedictis, R. Stanley Williams, Mark D. Hill

It is undeniable that the worldwide computer industry's center is the US, specifically in Silicon Valley. Much of the reason for the success of Silicon Valley had to do with Moore's Law: the observation by Intel co-founder Gordon Moore that the number of transistors on a microchip doubled at a rate of approximately every two years. According to the Internati

Paria Mehrani, Andrei Mouraviev, Oscar J. Avella Gonzalez, John K. Tsotsos

A biologically plausible computational model for color representation is introduced. We present a mechanistic hierarchical model of neurons that not only successfully encodes local hue, but also explicitly reveals how the contributions of each visual cortical layer participating in the process can lead to a hue representation. Our proposed model benefits fro

Riccardo Borsato, Alessandro Torrielli

We consider the exact S-matrix governing the planar spectral problem for strings on $AdS_5\times S^5$ and $\mathcal N=4$ super Yang-Mills, and we show that it is invariant under a novel "boost" symmetry, which acts as a differentiation with respect to the particle momentum. This generator leads us also to reinterpret the usual centrally extended $\mathfrak{p

Juncheng Wei, Lei Zhang

We study the Gauss curvature equation with negative singularities. For a local mean field type equation with only one negative index we prove a uniqueness property. For a global equation with one or two negative indexes we prove the non-degeneracy of the linearized equations.

Xiufeng Yang, Song-Charng Kong

Smoothed particle hydrodynamics (SPH) method has been increasingly used for simulating fluid flows, however its ability to simulate evaporating flow requires significant improvements. This paper proposes an SPH method for evaporating multiphase flows. The present SPH method can simulate the heat and mass transfers across the liquid-gas interfaces. The conser

Yu. E. Lozovik, I. L. Kurbakov, Pavel A. Volkov

We study anisotropies of helicity modulus, excitation spectrum, sound velocity and angle-resolved luminescence spectrum in a two-dimensional system of interacting excitons in a periodic potential. Analytical expressions for anisotropic corrections to the quantities characterizing superfluidity are obtained. We consider particularly the case of dipolar excito

Manon Michel, Xiaojun Tan, Youjin Deng

We propose the clock Monte Carlo technique for sampling each successive chain step in constant time. It is built on a recently proposed factorized transition filter and its core features include its O(1) computational complexity and its generality. We elaborate how it leads to the clock factorized Metropolis (clock FMet) method, and discuss its application i

Vasant G. Honavar, Katherine Yelick, Klara Nahrstedt, Holly Rushmeier

Progress in many domains increasingly benefits from our ability to view the systems through a computational lens, i.e., using computational abstractions of the domains; and our ability to acquire, share, integrate, and analyze disparate types of data. These advances would not be possible without the advanced data and computational cyberinfrastructure and too

Konstantinos Gourgoulias, Markos A. Katsoulakis, Luc Rey-Bellet, Jie Wang

We derive tight and computable bounds on the bias of statistical estimators, or more generally of quantities of interest, when evaluated on a baseline model P rather than on the typically unknown true model Q. Our proposed method combines the scalable information inequality derived by P. Dupuis, K.Chowdhary, the authors and their collaborators together with