arXiv papers from April 2018

Nandeesh Hiremath, Dhwanil Shukla, Narayanan Komerath

When a rotor blade encounters reverse flow in edgewise flight at high advance ratio, a strong vortical structure forms on the leeside of the sharp blade edge. This has unexpected effects on blade aerodynamics. A differential onset velocity gradient due to rotor rotation creates an envelope of reverse flow extending from the hub. A Sharp Edge Vortex (SEV) is

Jordi Isern, Enrique Garcia-Berro, Santiago Torres, Roxana Cojocaru

The evolution of white dwarfs is a simple gravothermal process of cooling. Since the shape of their luminosity function is sensitive to the characteristic cooling time, it is possible to use its slope to test the existence of additional sources or sinks of energy, such as those predicted by alternative physical theories. The aim of this paper is to study if

Daniel Hauer, Yuhan He, Dehui Liu

In this article, we show that if $A$ is a maximal monotone operator on a Hilbert space $H$ with $0$ in the range $\textrm{Rg}(A)$ of $A$, then for every $0<s<1$, the Dirichlet problem associated with the Bessel-type equation $$ A_{1-2s}u:=-\frac{1-2s}{t}u_{t}-u_{tt}+Au\ni 0 $$ is well-posed for boundary values $\varphi\in \overline{D(A)}^{\mbox{}_{H}}$. This

Olivier Rozier

In this paper, we consider the one-to-one correspondence between a 2-adic integer and its parity sequence under iteration of the so-called "3x+1" map. First, we prove a new formula for the inverse transform. Next, we briefly review what is known about the induced automorphism and study its dynamics on the 2-adic integers. We find that it is ergodic on many s

Andrew Hassell, Adam Sikora

We consider a class of manifolds $\mathcal{M}$ obtained by taking the connected sum of a finite number of $N$-dimensional Riemannian manifolds of the form $(\mathbb{R}^{n_i}, \delta) \times (\mathcal{M}_i, g)$, where $\mathcal{M}_i$ is a compact manifold, with the product metric. The case of greatest interest is when the Euclidean dimensions $n_i$ are not al

Gebhard Boeckle, David-A. Guiraud, Sudesh Kalyanswamy, Chandrashekhar Khare

We consider questions in Galois cohomology which arise by considering mod $p$ Galois representations arising from automorphic forms. We consider a Galois cohomological analog for the standard heuristics about the distribution of Wieferich primes, i.e. prime $p$ such that $2^{p-1}$ is 1 mod $p^2$. Our analog relates to asking if in a compatible system of Galo

Jason P. Allmaras, Alexander G. Kozorezov, Boris A. Korzh, Karl K. Berggren

We analyze the origin of the intrinsic timing jitter in superconducting nanowire single photon detectors (SNSPDs) in terms of fluctuations in the latency of the detector response, which is determined by the microscopic physics of the photon detection process. We demonstrate that fluctuations in the physical parameters which determine the latency give rise to

Meghana Dinesh Kumar, Morteza Babaie, Hamid Tizhoosh

We investigate the concept of deep barcodes and propose two methods to generate them in order to expedite the process of classification and retrieval of histopathology images. Since binary search is computationally less expensive, in terms of both speed and storage, deep barcodes could be useful when dealing with big data retrieval. Our experiments use the d

Kazuki Maeda, Tim Colonius

The dynamics of bubble clouds induced by high-intensity focused ultrasound are investigated in a regime where the cloud size is similar to the ultrasound wavelength. High-speed images show that the cloud is asymmetrical; the bubbles nearest the source grow to a larger radius than the distal ones. Similar structures of bubble clouds are observed in numerical

Sara Ross-Howe, H. R. Tizhoosh

Skin cancer is a widespread, global, and potentially deadly disease, which over the last three decades has afflicted more lives in the USA than all other forms of cancer combined. There have been a lot of promising recent works utilizing deep network architectures, such as FCNs, U-Nets, and ResNets, for developing automated skin lesion segmentation. This pap

M. Pais, C. Pfrommer, K. Ehlert, R. Pakmor

Non-relativistic shocks accelerate ions to highly relativistic energies provided that the orientation of the magnetic field is closely aligned with the shock normal (quasi-parallel shock configuration). In contrast, quasi-perpendicular shocks do not efficiently accelerate ions. We model this obliquity-dependent acceleration process in a spherically expanding

D. Edelberg, D. Rhodes, A. Kerelsky, B. Kim

Two dimensional (2D) transition-metal dichalcogenide (TMD) based semiconductors have generated intense recent interest due to their novel optical and electronic properties, and potential for applications. In this work, we characterize the atomic and electronic nature of intrinsic point defects found in single crystals of these materials synthesized by two di

Y. Tanaka, H. Yamamori, T. Yanagisawa, T. Nishio

An ultrathin superconducting bilayer creates a coreless fractional vortex when only the second layer has a hole. The quantization is broken by the hole, and the normal core disappears. The magnetic flux is no longer confined near the normal core, and its density profile around the hole becomes similar to that of a cr\`eme caramel; the divergence of the magne

Andrei Alexandru, Paulo F. Bedaque, Neill C. Warrington

We study by Monte Carlo methods the thermodynamics of a spin polarized gas of non-relativistic fermions in 1+1 dimensions. The main result of this work is that our action suffers no significant sign problem for any spin polarization in the region relevant for dilute degenerate fermi gases. This lack of sign problem allows us to study attractive spin polarize

Daniel Bruder, Audrey Sedal, Ram Vasudevan, C. David Remy

The compliant structure of soft robotic systems enables a variety of novel capabilities in comparison to traditional rigid-bodied robots. A subclass of soft fluid-driven actuators known as fiber reinforced elastomeric enclosures (FREEs) is particularly well suited as actuators for these types of systems. FREEs are inherently soft and can impart spatial force

Shuai Shao, Zijian Zhao, Boxun Li, Tete Xiao

Human detection has witnessed impressive progress in recent years. However, the occlusion issue of detecting human in highly crowded environments is far from solved. To make matters worse, crowd scenarios are still under-represented in current human detection benchmarks. In this paper, we introduce a new dataset, called CrowdHuman, to better evaluate detecto

Nitsan Bar, Diego Blas, Kfir Blum, Sergey Sibiryakov

Bosonic ultra-light dark matter (ULDM) would form cored density distributions at the center of galaxies. These cores, seen in numerical simulations, admit analytic description as the lowest energy bound state solution ("soliton") of the Schroedinger-Poisson equations. Numerical simulations of ULDM galactic halos found empirical scaling relations between the

Juan Arévalo, Juan Ramón Duque, Marco Creatura

Latent factor models for Recommender Systems with implicit feedback typically treat unobserved user-item interactions (i.e. missing information) as negative feedback. This is frequently done either through negative sampling (point--wise loss) or with a ranking loss function (pair-- or list--wise estimation). Since a zero preference recommendation is a valid

Vineet Rajani, Deepak Garg

Language-based information flow control (IFC) tracks dependencies within a program using sensitivity labels and prohibits public outputs from depending on secret inputs. In particular, literature has proposed several type systems for tracking these dependencies. On one extreme, there are fine-grained type systems (like Flow Caml) that label all values indivi

Constantine Vitt, Darinka Dentcheva, Hui Xiong

We develop a new approach to solving classification problems, which is bases on the theory of coherent measures of risk and risk sharing ideas. The proposed approach aims at designing a risk-averse classifier. The new approach allows for associating distinct risk functional to each classes. The risk may be measured by different (non-linear in probability) me

Manav Vohra, Ali Yousefzadi Nobakht, Seungha Shin, Sankaran Mahadevan

Bulk thermal conductivity estimates based on predictions from non-equilibrium molecular dynamics (NEMD) using the so-called direct method are known to be severely under-predicted since finite simulation length-scales are unable to mimic bulk transport. Moreover, subjecting the system to a temperature gradient by means of thermostatting tends to impact phonon

Evandro P. Souza, Eliza M. Ferreira, Armando G. M. Neves

This paper is based on the complete classification of evolutionary scenarios for the Moran process with two strategies given by Taylor et al. (B. Math. Biol. 66(6): 1621--1644, 2004). Their classification is based on whether each strategy is a Nash equilibrium and whether the fixation probability for a single individual of each strategy is larger or smaller

Jeffrey Uhlmann

The purpose of this paper is to introduce a set of four test images containing features and structures that can facilitate effective examination and comparison of image processing algorithms. More specifically, the images are designed to more explicitly expose the characteristic properties of algorithms for image compression, virtual resolution adjustment, a

Christoph Goldner

We enumerate rational curves in toric surfaces passing through points and satisfying cross-ratio constraints using tropical and combinatorial methods. Our starting point is arXiv:1509.07453, where a tropical-algebraic correspondence theorem was proved that relates counts of rational curves in toric varieties that satisfy point conditions and cross-ratio cons

Se-jin Oh, Travis Scrimshaw

We give a new Jacobi--Trudi-type formula for characters of finite-dimensional irreducible representations in type $C_n$ using characters of the fundamental representations and non-intersecting lattice paths. We give equivalent determinant formulas for the decomposition multiplicities for tensor powers of the spin representation in type $B_n$ and the exterior

Yurii Averboukh

The paper is concerned with the dependence of the solution of the deterministic mean field game on the initial distribution of players. The main object of study is the mapping which assigns to the initial time and the initial distribution of players the set of expected rewards of the representative player corresponding to solutions of mean field game. This m

Waipot Ngamsaad, Suthep Suantai

In this study, we investigate a porous medium-type flux limited reaction--diffusion equation that arises in morphogenesis modeling. This nonlinear partial differential equation is an extension of the generalized Fisher--Kolmogorov--Petrovsky--Piskunov (Fisher-KPP) equation in one-dimensional space. The approximate analytical traveling wave solution is found

Patrick Rebentrost, Brajesh Gupt, Thomas R. Bromley

Financial derivatives are contracts that can have a complex payoff dependent upon underlying benchmark assets. In this work, we present a quantum algorithm for the Monte Carlo pricing of financial derivatives. We show how the relevant probability distributions can be prepared in quantum superposition, the payoff functions can be implemented via quantum circu

Seokho Kang, Kyunghyun Cho

Although machine learning has been successfully used to propose novel molecules that satisfy desired properties, it is still challenging to explore a large chemical space efficiently. In this paper, we present a conditional molecular design method that facilitates generating new molecules with desired properties. The proposed model, which simultaneously perf

Saeed Ranjbar Alvar, Ivan V. Bajić

Object tracking is the cornerstone of many visual analytics systems. While considerable progress has been made in this area in recent years, robust, efficient, and accurate tracking in real-world video remains a challenge. In this paper, we present a hybrid tracker that leverages motion information from the compressed video stream and a general-purpose seman

Nathaniel McVicar, Akina Hoshino, Anna La Torre, Thomas A. Reh

Aligning millions of short DNA or RNA reads, of 75 to 250 base pairs each, to a reference genome is a significant computation problem in bioinformatics. We present a flexible and fast FPGA-based short read alignment tool. Our aligner makes use of the processing power of FPGAs in conjunction with the greater host memory bandwidth and flexibility of software t

Md Johirul Islam, Anuj Sharma, Hridesh Rajan

Big Data-driven transportation engineering has the potential to improve utilization of road infrastructure, decrease traffic fatalities, improve fuel consumption, decrease construction worker injuries, among others. Despite these benefits, research on Big Data-driven transportation engineering is difficult today due to the computational expertise required to

Paige Graves, Sam Nelson, Sherilyn Tamagawa

We introduce \textit{Niebrzydowski algebras}, algebraic structures with a ternary operation and a partially defined multiplication, with axioms motivated by the Reidemeister moves for $Y$-oriented trivalent spatial graphs and handlebody-links. As part of this definition, we identify generating sets of $Y$-oriented Reidemeister moves. We give some examples to

J. Golak, R. Skibinski, K. Topolnicki, H. Witala

The $\bar{\nu}_e + {^2{\rm H}} \rightarrow e^+ + n + n$, $\nu_e + {^2{\rm H}} \rightarrow e^- + p + p$, $\bar{\nu}_l + {^2{\rm H}} \rightarrow \bar{\nu}_l + {^2{\rm H}}$, $\nu_l + {^2{\rm H}} \rightarrow \nu_l + {^2{\rm H}}$, $\bar{\nu}_l + {^2{\rm H}} \rightarrow \bar{\nu}_l + p + n$, $\nu_l + {^2{\rm H}} \rightarrow \nu_l + p + n$, $\bar{\nu}_e + {^3{\rm H

Jake P. Solomon, Misha Verbitsky

Let $(M,I,J,K,g)$ be a hyperk\"ahler manifold. Then the complex manifold $(M,I)$ is holomorphic symplectic. We prove that for all real $x, y,$ with $x^2 + y^2 = 1$ except countably many, any finite energy $(xJ+yK)$-holomorphic curve with boundary in a collection of $I$-holomorphic Lagrangians must be constant. By an argument based on the Lojasiewicz inequali

Guntars Kitenbergs, Andrejs Tatuļčenkovs, Lāsma Puķina, Andrejs Cēbers

Mixing remains an important problem for development of successful microfluidic and lab-on-a-chip devices, where simple and predictable systems are particularly interesting. One is magnetic micro-convection, an instability happening on the interface of miscible magnetic and non-magnetic fluids in a Hele-Shaw cell under applied field. Previous work proved that

Kaitlyn Garifi, Kyri Baker, Dane Christensen, Behrouz Touri

In this paper we provide non-simultaneous charging and discharging guarantees for a linear energy storage system (ESS) model for a model predictive control (MPC) based home energy management system (HEMS) algorithm. The HEMS optimally controls the residential load and residentially-owned power sources, such as photovoltaic (PV) power generation and energy st

Kristian Finlator, Laura Keating, Benjamin D. Oppenheimer, Romeel Davé

We present the Technicolor Dawn simulations, a suite of cosmological radiation-hydrodynamic simulations of the first 1.2 billion years. By modeling a spatially-inhomogeneous UVB on-the-fly with 24 frequencies and resolving dark matter halos down to $10^8 M_\odot$ within 12 $h^{-1}$ Mpc volumes, our simulations unify observations of the intergalactic and circ

Petr Kravchuk, David Simmons-Duffin

We argue that every CFT contains light-ray operators labeled by a continuous spin J. When J is a positive integer, light-ray operators become integrals of local operators over a null line. However for non-integer J, light-ray operators are genuinely nonlocal and give the analytic continuation of CFT data in spin described by Caron-Huot. A key role in our con

Roma Patel, Yinfei Yang, Iain Marshall, Ani Nenkova

Medical professionals search the published literature by specifying the type of patients, the medical intervention(s) and the outcome measure(s) of interest. In this paper we demonstrate how features encoding syntactic patterns improve the performance of state-of-the-art sequence tagging models (both linear and neural) for information extraction of these med

Vivien Parmentier, Mike R. Line, Jacob L. Bean, Megan Mansfield

A new class of exoplanets has emerged: the ultra hot Jupiters, the hottest close-in gas giants. Most of them have weaker than expected spectral features in the $1.1-1.7\mu m$ bandpass probed by HST/WFC3 but stronger spectral features at longer wavelengths probed by Spitzer. This led previous authors to puzzling conclusions about the thermal structures and ch

Roopendra Singh Rajawat, Sudip Sengupta, Nikhil Chakrabarti

Nonlinear stationary structures formed in a cold plasma with immobile ions in the presence of a relativistic electron current beam have been investigated analytically in the collisionless limit. These are cold plasma version of the relativistic Berstein-Greene-Kruskal (BGK) waves. The structure profile is governed by the ratio of maximum electrostatic field

Furkan Alaca, Paul C. van Oorschot

We perform a comprehensive analysis and comparison of 14 web single sign-on (SSO) systems proposed and/or deployed over the last decade, including federated identity and credential/password management schemes. We identify common design properties and use them to develop a taxonomy for SSO schemes, highlighting the associated trade-offs in benefits (positive

Thorsten Kleinjung, Benjamin Wesolowski

A new proof is given for the correctness of the powers of two descent method for computing discrete logarithms. The result is slightly stronger than the original work, but more importantly we provide a unified geometric argument, eliminating the need to analyse all possible subgroups of $\mathrm{PGL}_2(\mathbb F_q)$. Our approach sheds new light on the role

Jun He, Tao Xu

The word "valley" is a popular term used in intuitively describing fitness landscapes. What is a valley on a fitness landscape? How to identify the direction and location of a valley if it exists? However, such questions are seldom rigorously studied in evolutionary optimization especially when the search space is a high dimensional continuous space. This pa

Tushar Kanta Naik

Let $P(G)$ denotes the set of sizes of fibers of non-trivial commutators of the commutator word map. Here, we prove that $|P(G)|=1$, for any finite group $G$ of nilpotency class $3$ with exactlly two conjugacy class sizes. We also show that for given $n\geq 1$, there exists a finite group $G$ of nilpotency class $2$ with exactlly two conjugacy class sizes su

Najla Akram, AL-Saati, Taghreed Riyadh Alreffaee

Estimating the effort of software systems is an essential topic in software engineering, carrying out an estimation process reliably and accurately for a software forms a vital part of the software development phases. Many researchers have utilized different methods and techniques hopping to find solutions to this issue, such techniques include COCOMO, SEER-

Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang

Concolic testing combines program execution and symbolic analysis to explore the execution paths of a software program. This paper presents the first concolic testing approach for Deep Neural Networks (DNNs). More specifically, we formalise coverage criteria for DNNs that have been studied in the literature, and then develop a coherent method for performing

R. Bellwied, J. Noronha-Hostler, P. Parotto, I. Portillo Vazquez

We compare the mean-over-variance ratio of the net-kaon distribution calculated within a state-of-the-art hadron resonance gas model to the latest experimental data from the Beam Energy Scan at RHIC by the STAR collaboration. Our analysis indicates that it is not possible to reproduce the experimental results using the freeze-out parameters from the existing

W. Zheng, R. Schönemann, N. Aryal, Q. Zhou

We present a detailed quantum oscillatory study on the Dirac type-II semimetallic candidates PdTe$_{2}$ and PtTe$_{2}$ \emph{via} the temperature and the angular dependence of the de Haas-van Alphen (dHvA) and Shubnikov-de Haas (SdH) effects. In high quality single crystals of both compounds, i.e. displaying carrier mobilities between $10^3$ and $10^4$ cm$^2

Shermeen Nizami, James R. Green, Carolyn McGregor

Artifact Detection (AD) techniques minimize the impact of artifacts on physiologic data acquired in Critical Care Units (CCU) by assessing quality of data prior to Clinical Event Detection (CED) and Parameter Derivation (PD). This methodological review introduces unique taxonomies to synthesize over 80 AD algorithms based on these six themes: (1) CCU; (2) Ph

Lin Miao, Yishuai Xu, Wenhan Zhang, Daniel Older

The massless Dirac electrons found at topological insulator surfaces are thought to be influenced very little by weak, non-magnetic disorder. However, a resonance effect of strongly perturbing non-magnetic impurities has been theoretically predicted to change the dispersion and physical nature of low-energy quasiparticles, resulting in unique particle-like s

Shermeen Nizami, Amente Bekele, Mohamed Hozayen, Kim Greenwood

Pressure-sensitive mats (PSM) have proved to be useful in the estimation of respiratory rates (RR) in adult patients. However, PSM technology has not been extensively applied to derive physiologic parameters in infant and neonatal patients. This research evaluates the applicability of the capacitive XSensor PSM technology to estimate a range of RR in neonata

S. Nizami, A. Bekele, M. Hozayen, K. Greenwood

We develop and evaluate a respiratory rate estimation algorithm that utilizes data from pressure-sensitive mat (PSM) technology for continuous patient monitoring in neonatal intensive care units (NICU). An analysis of the random effect of drift and systematic effect of creep in the PSM data is presented, showing that these are essentially dependent on the ap

Frank T. M. Nguyen, Michael D. Graham

Trajectories and conformations of uni- and multiflagellar bacteria are studied with a coarse-grained model of a cell comprised of elastic flagella connected to a cell body. The elasticities of both the hook protein (connecting cell body and flagellum) and flagella are varied. Flexibility plays contrasting roles for uni- and multiflagellar swimmers. For a uni

Itay Naeh, Yitzhak Peleg, Alex Furman, Shie Mannor

Electrical Resistivity Tomography (ERT) has been extensively used for imaging the subsurface resistivity distribution and structure. Over the years, many algorithms have been developed in order to solve the subsurface resistivity distribution from the ERT measurements. In this paper a new method for interpreting the ERT measurements is presented. Using super

Satomi Shiraishi, Michael G. Herman, Keith M. Furutani

Purpose: To measure dispersion of a clinical proton therapy beam. Methods and Materials: The proton center at our institution uses a Hitachi PROBEAT V synchrotron that delivers beams with energies ranging from 70 to 230 MeV to five treatment rooms, four of which have gantries and one fixed beam. For this study, the magnetic field strengths of all optics in t

Katarzyna Macieszczak, Emanuele Levi, Tommaso Macrì, Igor Lesanovsky

While the scaling of entanglement in a quantum system can be used to distinguish many-body quantum phases, it is usually hard to quantify the amount of entanglement in mixed states of open quantum systems, while measuring entanglement experimentally, even for the closed systems, requires in general quantum state tomography. In this work we show how to remedy

Viktor Eisler, Ingo Peschel

We study the entanglement Hamiltonian for fermionic hopping models on rings and open chains and determine single-particle spectra, eigenfunctions and the form in real space. For the chain, we find a commuting operator as for the ring and compare with its properties in both cases. In particular, a scaling relation between the eigenvalues is found for large sy

Aneesh Mundayadan, Jaydeb Sarkar

Complementing earlier results on dynamics of unilateral weighted shifts, we obtain a sufficient (but not necessary, with supporting examples) condition for hypercyclicity, mixing and chaos for $M_z^*$, the adjoint of $M_z$, on vector-valued analytic reproducing kernel Hilbert spaces $\mathcal{H}$ in terms of the derivatives of kernel functions on the open un

Andrew Lohr

This thesis deals with applications of experimental mathematics to a number of problems. The first problem is related to random graph statistics. We consider a certain class of Galton-Watson random trees and look at the total height statistic. We provide an automated procedure for computing values of the moments of this statistic. Next, we investigate severa

N. H. Bingham, A. J. Ostaszewski

Motivated by a Steinhaus-like interior-point property involving the Cameron-Martin space of Gaussian measure theory, we study a group-theoretic analogue, the Steinhaus triple $(H,G,\mu)$, and construct a Steinhaus support, a Cameron-Martin-like subset, $H(\mu)$ in any Polish group $G$ corresponding to `sufficiently subcontinuous' measures $\mu$, in particula

Sandro Bettin, Giuseppe Molteni, Carlo Sanna

Given a real number $\tau$, we study the approximation of $\tau$ by signed harmonic sums $\sigma_N(\tau) := \sum_{n \leq N}{s_n(\tau)}/n$, where the sequence of signs $(s_N(\tau))_{N \in\mathbb{N}}$ is defined "greedily" by setting $s_{N+1}(\tau) := +1$ if $\sigma_N(\tau) \leq \tau$, and $s_{N+1}(\tau) := -1$ otherwise. Precisely, we compute the limit points

Long Cheng, Ke Tian, Danfeng Yao, Lui Sha

Securing cyber-physical systems (CPS) against malicious attacks is of paramount importance because these attacks may cause irreparable damages to physical systems. Recent studies have revealed that control programs running on CPS devices suffer from both control-oriented attacks (e.g., code-injection or code-reuse attacks) and data-oriented attacks (e.g., no

Chen-Kai Qiao, Hsin-Chang Chi, Ming-Chien Hsu, Xu-Gen Zheng

Photoionization cross section $\sigma_{n\kappa}$, asymmetry parameter $\beta_{n\kappa}$, and polarization parameters $\xi_{n\kappa}$, $\eta_{n\kappa}$, $\zeta_{n\kappa}$ of Xe and Rn are calculated in the fully relativistic formalism. To deal with the relativistic and correlation effects, we adopt the relativistic random-phase theory with channel couplings a

Nadir Murru, Lea Terracini

Multidimensional continued fractions (MCFs) were introduced by Jacobi and Perron in order to generalize the classical continued fractions. In this paper, we propose an introductive fundamental study about MCFs in the field of the $p$--adic numbers $\mathbb Q_p$. First, we introduce them from a formal point of view, i.e., without considering a specific algori

Gorazd Cvetic, Arindam Das, Jilberto Zamora-Saa

In this work, we study the lepton number violating W boson and top quark decays via intermediate on-shell Majorana neutrinos Nj into three charged leptons and a light neutrino. We discuss the neutrino oscillation effects present in the decay due to the small mass gap between the heavy neutrino states. We focus on a scenario that contains at least two heavy M

Junqiu Liu, Arslan S. Raja, Maxim Karpov, Bahareh Ghadiani

The generation of dissipative Kerr solitons in optical microresonators has provided a route to compact frequency combs of high repetition rate, which have already been employed for optical frequency synthesizers, ultrafast ranging, coherent telecommunication and dual-comb spectroscopy. Silicon nitride (Si$_3$N$_4$) microresonators are promising for photonic

Tobias Kaminski, Thomas Eiter, Katsumi Inoue

Meta-Interpretive Learning (MIL) learns logic programs from examples by instantiating meta-rules, which is implemented by the Metagol system based on Prolog. Viewing MIL-problems as combinatorial search problems, they can alternatively be solved by employing Answer Set Programming (ASP), which may result in performance gains as a result of efficient conflict

Kristina Sojakova, Patricia Johann

Reynolds' original theory of relational parametricity was intended to capture the idea that polymorphically typed System F programs preserve all relations between inputs. But as Reynolds himself later showed, his theory can only be formalized in a meta-theory with an impredicative universe, such as the Calculus of Inductive Constructions. Abstracting from Re

Mustafa Mert Torunbalci, Pramey Upadhyaya, Sunil A. Bhave, Kerem Y. Camsari

This paper describes a robust, modular, and physics- based circuit framework to model conventional and emerging Magnetic Tunnel Junction (MTJ) devices. Magnetization dynamics are described by the stochastic Landau-Lifshitz-Gilbert (sLLG) equation whose results are rigorously benchmarked with a Fokker-Planck Equation (FPE) description of magnet dynamics. We t

Aman Agarwal, Kenta Takatsu, Ivan Zaitsev, Thorsten Joachims

Implicit feedback (e.g., click, dwell time) is an attractive source of training data for Learning-to-Rank, but its naive use leads to learning results that are distorted by presentation bias. For the special case of optimizing average rank for linear ranking functions, however, the recently developed SVM-PropRank method has shown that counterfactual inferenc

Davide Mandelli, Roberto Guerra, Wengen Ouyang, Michael Urbakh

We present a numerical investigation of the size scaling of static friction in incommensurate two dimensional contacts performed for different lateral loading configurations. Results of model simulations show that both the absolute value of the force $F_s$ and the scaling exponent $\gamma$ strongly depend on the loading configuration adopted to drive the sli

Pierre L. Dognin, Igor Melnyk, Youssef Mroueh, Jarret Ross

In this paper we study image captioning as a conditional GAN training, proposing both a context-aware LSTM captioner and co-attentive discriminator, which enforces semantic alignment between images and captions. We empirically focus on the viability of two training methods: Self-critical Sequence Training (SCST) and Gumbel Straight-Through (ST) and demonstra

Xuefeng Jiang, Abraham J. Qavi, Steven H. Huang, Lan Yang

Optical whispering gallery mode (WGM) microresonators, confining resonant photons in a microscale resonator for long periods of time, could strongly enhance light-matter interaction, making it an ideal platform for all kinds of sensors. In this paper, an overview of optical sensors based on WGM microresonators is comprehensively summarized. First, the fundam

Qianqian Zhang, Mohammad Mozaffari, Walid Saad, Mehdi Bennis

In this paper, a novel machine learning (ML) framework is proposed for enabling a predictive, efficient deployment of unmanned aerial vehicles (UAVs), acting as aerial base stations (BSs), to provide on-demand wireless service to cellular users. In order to have a comprehensive analysis of cellular traffic, an ML framework based on a Gaussian mixture model (

Tristan Braquelaire, Marie Gasparoux, Mathieu Raffinot, Raluca Uricaru

The Shortest Common Superstring problem (SCS) consists, for a set of strings S = {s_1,...,s_n}, in finding a minimum length string that contains all s_i, 1<= i <= n, as substrings. While a 2+11/30 approximation ratio algorithm has recently been published, the general objective is now to break the conceptual lower bound barrier of 2. This paper is a step ahea

Brian R. Dennis

This is the memoir of Brian Dennis - his life story to date, and his involvement with high energy solar physics.

Joel Nishimura

Two critical questions about intergenerational outcomes are: one, whether significant barriers or traps exist between different social or economic strata; and two, the extent to which intergenerational outcomes do (or can be used to) affect individual investment and consumption decisions. We develop a model to explicitly relate these two questions, and prove

Oscar Rosas-Ortiz, Sara Cruz y Cruz

Bright and dark solitons of the cubic nonlinear Schrodinger equation are used to construct complex-valued potentials with all-real spectrum. The real part of these potentials is equal to the intensity of a bright soliton while their imaginary part is defined by the product of such soliton with its concomitant, a dark soliton. Considering light propagation in

Sokbae Lee, Bernard Salanié

Multivalued treatment models have typically been studied under restrictive assumptions: ordered choice, and more recently unordered monotonicity. We show how treatment effects can be identified in a more general class of models that allows for multidimensional unobserved heterogeneity. Our results rely on two main assumptions: treatment assignment must be a

Antonio Rubio-Abadal, Jae-yoon Choi, Johannes Zeiher, Simon Hollerith

Closed generic quantum many-body systems may fail to thermalize under certain conditions even after long times, a phenomenon called many-body localization (MBL). Numerous studies support the stability of the MBL phase in strongly disordered one-dimensional systems. However, the situation is much less clear when a small part of the system is ergodic, a scenar

Johannes Hauschild, Frank Pollmann

Tensor product state (TPS) based methods are powerful tools to efficiently simulate quantum many-body systems in and out of equilibrium. In particular, the one-dimensional matrix-product (MPS) formalism is by now an established tool in condensed matter theory and quantum chemistry. In these lecture notes, we combine a compact review of basic TPS concepts wit

Shervin Roshanisefat, Harshith K. Thirumala, Kris Gaj, Houman Homayoun

In this paper, we investigate the strength of six different SAT solvers in attacking various obfuscation schemes. Our investigation revealed that Glucose and Lingeling SAT solvers are generally suited for attacking small-to-midsize obfuscated circuits, while the MapleGlucose, if the system is not memory bound, is best suited for attacking mid-to-difficult ob

Fengyou Sun, Yuming Jiang

This paper aims to initiate the research on dependence control, which transforms the dependence structure of a stochastic process in the system through dependence manipulation, to improve the system performance. Specifically, we develop a dependence control theory for wireless channels, focusing on three principles in dependence control: (i) the asymptotic d

Oriol Artime, Nagi Khalil, Raul Toral, Maxi San Miguel

We present an analytical framework to study the first-passage (FP) and first-return (FR) distributions for the broad family of models described by the one-dimensional Fokker-Planck equation in finite domains, identifying general properties of these distributions for different classes of models. When in the Fokker-Planck equation the diffusion coefficient is

Marcelo M. Santos, Edson J. Teixeira

We show the uniqueness of particle paths of a velocity field, which solves the compressible isentropic Navier-Stokes equations in the half-space $\mathbb{R}_+^3$ with the Navier boundary condition. In particular, by means of energy estimates and the assumption of small energy we prove that the velocity field satisfies the necessary regularity needed to prove

Justin Feng, Mark Baumann, Bryton Hall, Joel Doss

In this paper, we introduce PoMiN, a lightweight $N$-body code based on the post-Minkowskian $N$-body Hamiltonian of Ledvinka et. al., which includes general relativistic effects up to first order in Newton's constant $G$, and all orders in the speed of light $c$. PoMiN is written in C and uses a fourth-order Runge-Kutta integration scheme. PoMiN has also be

Joel Nishimura

Algorithmic education theory examines, among other things, the trade-off between reviewing old material and studying new material: time spent learning the new comes at the expense of reviewing and solidifying one's understanding of the old. This trade-off is captured in the `Slow Flashcard System' (SFS) -- a system that has been studied not only for its appl

Shunsaku Horiuchi, Ko Nakamura, Tomoya Takiwaki, Kei Kotake

It has been suggested that whether a star explodes or not, and what kind of explosion properties it shows, is strongly dependent on the progenitor's core structure. We present the results from 101 axisymmetric core-collapse supernova simulations performed with progenitors spanning initial masses in the range from 10.8 to 75 solar masses, and focus on their c

R. Poleski, B. S. Gaudi, A. Udalski, M. K. Szymanski

We analyze the microlensing event OGLE-2011-BLG-0173, which shows a small perturbation at the end of the microlensing event caused by the primary lens. We consider both binary lens and binary source models and we explore their degeneracies, some of which have not previously been recognized. There are two families of binary lens solutions, one with a mass rat

Evgeny D. Skvortsov, Tung Tran, Mirian Tsulaia

An example of a higher spin gravity in four-dimensional flat space has recently been constructed in arXiv:1609.04655 [hep-th]. This theory is chiral and the action is written in the light-cone gauge. The theory has certain stringy features, e.g. admits Chan-Paton factors. We show that the theory is consistent, both at the classical and quantum level. Even th

Adrian G. Swartz, Alfred K. C. Cheung, Hyeok Yoon, Zhuoyu Chen

We have examined the intrinsic spin-orbit coupling (SOC) and orbital depairing in thin films of Nb-doped SrTiO$_3$ by superconducting tunneling spectroscopy. The orbital depairing is geometrically suppressed in the two-dimensional limit, enabling a quantitative evaluation of the Fermi level spin-orbit scattering using Maki's theory. The response of the super

Misaki Mizumoto, Chris Done, Kouichi Hagino, Ken Ebisawa

X-rays illuminating the accretion disc in active galactic nuclei give rise to an iron K line and its associated reflection spectrum which are lagged behind the continuum variability by the light-travel time from the source to the disc. The measured lag timescales in the iron band can be as short as $\sim R_g/c$, where $R_g$ is the gravitational radius, which

Yves Benoist, Sébastien Miquel

Let $G$ be a semisimple real algebraic Lie group of real rank at least two and $U$ be the unipotent radical of a non-trivial parabolic subgroup. We prove that a discrete Zariski dense subgroup of $G$ that contains an irreducible lattice of $U$ is an arithmetic lattice of $G$. This solves a conjecture of Margulis and extends previous work of Hee Oh.

Yuma Mizuno

For any quiver mutation sequence, we define a pair of matrices that describe a fixed point equation of a cluster transformation determined from the mutation sequence. We give an explicit relationship between this pair of matrices and the Jacobian matrix of the cluster transformation. Furthermore, we show that this relationship reduces to a relationship betwe

Malte F. Lange, Timothy C. Berkelbach

We discuss the analytic and diagrammatic structure of ionization potential (IP) and electron affinity (EA) equation-of-motion coupled-cluster (EOM-CC) theory, in order to put it on equal footing with the prevalent $GW$ approximation. The comparison is most straightforward for the time-ordered one-particle Green's function, and we show that the Green's functi

V. Ghirardini, D. Eckert, S. Ettori, E. Pointecouteau

The hot plasma in galaxy clusters is expected to be heated to high temperatures through shocks and adiabatic compression. The thermodynamical properties of the gas encode information on the processes leading to the thermalization of the gas in the cluster's potential well as well as non-gravitational processes such as gas cooling, AGN feedback and kinetic en

Anis Elgabli, Vaneet Aggarwal, Shuai Hao, Feng Qian

Video streaming today accounts for up to 55\% of mobile traffic. In this paper, we explore streaming videos encoded using Scalable Video Coding scheme (SVC) over highly variable bandwidth conditions such as cellular networks. SVC's unique encoding scheme allows the quality of a video chunk to change incrementally, making it more flexible and adaptive to chal

Emanuele Nardini, Kastytis Zubovas

Powerful outflows with a broad range of properties (such as velocity, ionization, radial scale and mass loss rate) represent a key feature of active galactic nuclei (AGN), even more so since they have been simultaneously revealed also in individual objects. Here we revisit in a simple analytical framework the recent remarkable cases of two ultraluminous infr