July 2019 arXiv papers — page 44

Carl Lian

We consider the general problem of enumerating branched covers of the projective line from a fixed general curve subject to ramification conditions at possibly moving points. Our main computations are in genus 1; the theory of limit linear series allows one to reduce to this case. We first obtain a simple formula for a weighted count of pencils on a fixed el

Jianbo Yuan, Haofu Liao, Rui Luo, Jiebo Luo

Generating radiology reports is time-consuming and requires extensive expertise in practice. Therefore, reliable automatic radiology report generation is highly desired to alleviate the workload. Although deep learning techniques have been successfully applied to image classification and image captioning tasks, radiology report generation remains challenging

G. Sun, T. Vekua, E. Cobanera, G. Ortiz

Quantum phase transitions are studied in the non-chiral $p$-clock chain, and a new explicitly U(1)-symmetric clock model, by monitoring the ground-state fidelity susceptibility. For $p\ge 5$, the self-dual $\mathbb{Z}_p$-symmetric chain displays a double-hump structure in the fidelity susceptibility with both peak positions and heights scaling logarithmicall

Yukinobu Toda

We develope $\mathbb{C}^{\ast}$-equivariant categorical Donaldson-Thomas theory for local surfaces, i.e. the total spaces of canonical line bundles on smooth projective surfaces. We introduce $\mathbb{C}^{\ast}$-equivariant DT categories for local surfaces as Verdier quotients of derived categories of coherent sheaves on derived moduli stacks of coherent she

Akifumi Okuno, Hidetoshi Shimodaira

A collection of $U \: (\in \mathbb{N})$ data vectors is called a $U$-tuple, and the association strength among the vectors of a tuple is termed as the \emph{hyperlink weight}, that is assumed to be symmetric with respect to permutation of the entries in the index. We herein propose Bregman hyperlink regression (BHLR), which learns a user-specified symmetric

Dao Nguyen Van Anh, Le Quang Ham, Doowon Koh, Thang Pham

In this paper, we study growth rate of product of sets in the Heisenberg group over finite fields and the complex numbers. More precisely, we will give improvements and extensions of recent results due to Hegyvári and Hennecart (2018).

Tetsu Toyoda

Gromov (2001) and Sturm (2003) proved that any four points in a $\mathrm{CAT}(0)$ space satisfy a certain family of inequalities. We call those inequalities the $\boxtimes$-inequalities, following the notation used by Gromov. In this paper, we prove that a metric space $X$ containing at most five points admits an isometric embedding into a $\mathrm{CAT}(0)$

Nancy B. Lu, Christopher A. Browne, Daniel B. Amchin, Janine K. Nunes

Capillary fingering is a displacement process that can occur when a non-wetting fluid displaces a wetting fluid from a homogeneous disordered porous medium. Here, we investigate how this process is influenced by a pore size gradient. Using microfluidic experiments and computational pore-network models, we show that the non-wetting fluid displacement behavior

Kun Ratha Kean, Takashi Nishikawa, Yoritaka Iwata

Based on a systematic Hartree-Fock+BCS calculation, new perturbation scheme is proposed to modify the existing Skyrme-type effective nuclear force. Much attention is paid to have a better description of fission property of heavy nuclei. In terms of incorporating the nuclear medium effects on the fission barrier height more correctly, two typical Skyrme param

Haruki Kurasawa, Toshio Suzuki

The relativistic expression for the $n$-th order moment of the nuclear charge density is presented. For the mean square radius(msr) of the nuclear charge density, the non-relativistic expression, which is equivalent to the relativistic one, is also derived consistently up to $1/M^2$ with use of the Foldy-Wouthuysen transformation. The difference between the

Muhammed O. Sayin, Tamer Basar

We address Bayesian persuasion between a sender and a receiver with state-dependent quadratic cost measures for general classes of distributions. The receiver seeks to make mean-square-error estimate of a state based on a signal sent by the sender while the sender signals strategically in order to control the receiver's estimate in a certain way. Such a sche

Tetsu Toyoda

For any real number $\kappa$ and any integer $n\geq 4$, the $\mathrm{Cycl}_n (\kappa )$ condition introduced by Gromov (2001) is a necessary condition for a metric space to admit an isometric embedding into a $\mathrm{CAT}(\kappa )$ space. It is known that for geodesic metric spaces, the $\mathrm{Cycl}_4 (\kappa )$ condition is equivalent to being $\mathrm{C

Liam C. Morrow, Michael C. Dallaston, Scott W. McCue

We study a model for the evolution of an axially symmetric bubble of inviscid fluid in a homogeneous porous medium otherwise saturated with a viscous fluid. The model is a moving boundary problem that is a higher-dimensional analogue of Hele-Shaw flow. Here we are concerned with the development of pinch-off singularities characterised by a blow-up of the int

Abolfazl Hashemi, Haris Vikalo, Gustavo de Veciana

Many problems in signal processing and machine learning can be formalized as weak submodular optimization tasks. For such problems, a simple greedy algorithm (\textsc{Greedy}) is guaranteed to find a solution achieving the objective with a value no worse than $1-e^{-1/c}$ of the optimal, where $c$ is the multiplicative weak-submodularity constant. Due to the

Andrew H. Song, Francisco J. Flores, Demba Ba

Given a continuous-time signal that can be modeled as the superposition of localized, time-shifted events from multiple sources, the goal of Convolutional Dictionary Learning (CDL) is to identify the location of the events--by Convolutional Sparse Coding (CSC)--and learn the template for each source--by Convolutional Dictionary Update (CDU). In practice, bec

Lei Lei, Yue Tan, Kan Zheng, Shiwen Liu

The Internet of Things (IoT) extends the Internet connectivity into billions of IoT devices around the world, where the IoT devices collect and share information to reflect status of the physical world. The Autonomous Control System (ACS), on the other hand, performs control functions on the physical systems without external intervention over an extended per

J. Wu, D. R. Lester, M. G. Trefry, Guy Metcalfe

In a recent paper (Trefry et al., 2019) we showed that the interplay of aquifer heterogeneity and poroelasticity can produce complex transport in tidally forced aquifers, with significant implications for solute transport, mixing and reaction. However, what was unknown was how broadly these transport dynamics can arise in natural groundwater systems, and how

Daniel Rosa Canêdo, Alexandre Ricardo Soares Romariz

In the last decade, there has been a great technological advance in the infrastructure of mobile technologies. The increase in the use of wireless local area networks and the use of satellite services are also noticed. The high utilization rate of mobile devices for various purposes makes clear the need to track wireless networks to ensure the integrity and

Mircea Namolaru, Thierry Goubier

The main motivation of this work was practical, to offer computationally and theoretical scalable ways to structuring large classes of computation. It started from attempts to optimize R code for machine learning/artificial intelligence algorithms for huge data sets, that due to their size, should be handled into an incremental (online) fashion. Our target a

Jan G. Korvink, Neil MacKinnon, Vlad Badilita, Mazin Jouda

In this prospective paper we consider the opportunities and challenges of miniaturized nuclear magnetic resonance. As the title suggests, (irreverently borrowing from E.F. Schumacher's famous book), miniaturized NMR will feature a few small windows of opportunity for the analyst. We look at what these are, speculate on some open opportunities, but also c

Jie Zhou, Xu Han, Cheng Yang, Zhiyuan Liu

Fact verification (FV) is a challenging task which requires to retrieve relevant evidence from plain text and use the evidence to verify given claims. Many claims require to simultaneously integrate and reason over several pieces of evidence for verification. However, previous work employs simple models to extract information from evidence without letting ev

Naomi Saphra, Adam Lopez

Concerns about interpretability, computational resources, and principled inductive priors have motivated efforts to engineer sparse neural models for NLP tasks. If sparsity is important for NLP, might well-trained neural models naturally become roughly sparse? Using the Taxi-Euclidean norm to measure sparsity, we find that frequent input words are associated

Irina Georgescu, Jani Kinnunen

In the paper there is studied an optimal saving model in which the interest-rate risk for saving is a fuzzy number. The total utility of consumption is defined by using a concept of possibilistic expected utility. A notion of possibilistic precautionary saving is introduced as a measure of the variation of optimal saving level when moving from a sure saving

Jeremy Koster, George Leckie, Brandy Aven, Christopher Charlton

This tutorial demonstrates the estimation and interpretation of the Multilevel Social Relations Model for dyadic data. The Social Relations Model is appropriate for data structures in which individuals appear multiple times as both the source and recipient of dyadic outcomes. Estimated using Stat-JR statistical software, the models are fitted to multiple out

Vinay Uday Prabhu, Dian Ang Yap, Alexander Wang, John Whaley

Attribute prior avoidance entails subconscious or willful non-modeling of (meta)attributes that datasets are oft born with, such as the 40 semantic facial attributes associated with the CelebA and CelebA-HQ datasets. The consequences of this infirmity, we discover, are especially stark in state-of-the-art deep generative models learned on these datasets that

Xingyuan Xu, Jiayang Wu, Mengxi Tan, Thach G. Nguyen

We report a broadband microwave frequency converter based on a coherent Kerr optical micro-comb generated by an integrated micro-ring resonator. The coherent micro-comb displays features that are consistent with soliton crystal dynamics with an FSR of 48.9GHz. We use this to demonstrate a high-performance millimeter-wave local oscillator at 48.9GHz in the Q-

Wen-Long Shang, Huibo Bi, Yanyan Chen, Washington Ochieng

Urban road networks are typical complex systems, which are crucial to our society and economy. In this study, topological characteristics of a number of urban road networks based on purely physical roads rather than routes of vehicles or buses are investigated in order to discover underlying unique structural features, particularly compared to other types of

Lukas Galke, Florian Mai, Iacopo Vagliano, Ansgar Scherp

We present multi-modal adversarial autoencoders for recommendation and evaluate them on two different tasks: citation recommendation and subject label recommendation. We analyze the effects of adversarial regularization, sparsity, and different input modalities. By conducting 408 experiments, we show that adversarial regularization consistently improves the

Jan Křetínský, Alexander Manta, Tobias Meggendorfer

We propose "semantic labelling" as a novel ingredient for solving games in the context of LTL synthesis. It exploits recent advances in the automata-based approach, yielding more information for each state of the generated parity game than the game graph can capture. We utilize this extra information to improve standard approaches as follows. (i) Com

Jesus L. Lobo, Igor Ballesteros, Izaskun Oregi, Javier Del Ser

The prediction of electrical power in combined cycle power plants is a key challenge in the electrical power and energy systems field. This power output can vary depending on environmental variables, such as temperature, pressure, and humidity. Thus, the business problem is how to predict the power output as a function of these environmental conditions in or

M. Thamban Nair

In this note we consider the {\it spectral truncation} as the regularization for an ill-posed non-homogeneous parabolic final value problem, and obtain error estimates under a genral source condition when the data, which consist of the non-homogeneous term as well as the final value, are noisy. The resulting error estimate is compared with the corresponding

John D. Monnier, 48 endorsers

An international group of scientists has begun planning for the Planet Formation Imager (PFI, www.planetformationimager.org), a next-generation infrared interferometer array with the primary goal of imaging the active phases of planet formation in nearby star forming regions and taking planetary system 'snapshots' of young systems to understand exopl

Xiu Ye, Shangyou Zhang

A conforming discontinuous Galerkin finite element method is introduced for solving the biharmonic equation. This method, by its name, uses discontinuous approximations and keeps simple formulation of the conforming finite element method at the same time. The ultra simple formulation of the method will reduce programming complexity in practice. Optimal order

Kevin K. Bowden, Jiaqi Wu, Wen Cui, Juraj Juraska

One of the most interesting aspects of the Amazon Alexa Prize competition is that the framing of the competition requires the development of new computational models of dialogue and its structure. Traditional computational models of dialogue are of two types: (1) task-oriented dialogue, supported by AI planning models,or simplified planning models consisting

Mitchell A. Cox, Lucas Gailele, Ling Cheng, Andrew Forbes

One of the major challenges for long range, high speed Free-Space Optical (FSO) communication is turbulence induced beam wander. Beam wander causes fluctuations in the received intensity as well as crosstalk in mode division multiplexed systems. Existing models for beam wander make use of probability distributions and long term averages and are not able to a

Alexander Serb, Themistoklis Prodromakis

The field of artificial intelligence (AI) represents an enormous endeavour of humankind that is currently transforming our societies down to their very foundations. Its task, building truly intelligent systems, is underpinned by a vast array of subfields ranging from the development of new electronic components to mathematical formulations of highly abstract

Zexian Liu, Hongwei Liu

A new type of stepsize, which was recently introduced by Liu and Liu (Optimization, 67(3), 427-440, 2018), is called approximately optimal stepsize and is quit efficient for gradient method. Interestingly, all gradient methods can be regarded as gradient methods with approximately optimal stepsizes. In this paper, based on the work (Numer. Algorithms 78(1),

Francesco Belardinelli, Umberto Grandi

Knowledge can be represented compactly in multiple ways, from a set of propositional formulas, to a Kripke model, to a database. In this paper we study the aggregation of information coming from multiple sources, each source submitting a database modelled as a first-order relational structure. In the presence of integrity constraints, we identify classes of

Zijia Zhong, Earl E. Lee

Alternative intersection designs (AIDs) can improve the performance of an intersection by not only reducing the number of signal phases but also change the configuration of the conflicting points by re-routing traffic. However the AID studies have rarely been extended to Connected and Automated Vehicle (CAV) which is expected to revolutionize our transportat

Ping Luo, Ruimao Zhang, Jiamin Ren, Zhanglin Peng

We address a learning-to-normalize problem by proposing Switchable Normalization (SN), which learns to select different normalizers for different normalization layers of a deep neural network. SN employs three distinct scopes to compute statistics (means and variances) including a channel, a layer, and a minibatch. SN switches between them by learning their

I. Shlimak, E. Zion, A. Butenko, Yu. Kaganovskii

A brief review of experiments directed to study a gradual localization of charge carriers and metal-insulator transition in samples of disordered monolayer graphene is presented. Disorder was induced by irradiation with different doses of heavy and light ions. Degree of disorder was controlled by measurements of the Raman scattering spectra. The temperature

Zetong Yang, Yanan Sun, Shu Liu, Xiaoyong Shen

We present a new two-stage 3D object detection framework, named sparse-to-dense 3D Object Detector (STD). The first stage is a bottom-up proposal generation network that uses raw point cloud as input to generate accurate proposals by seeding each point with a new spherical anchor. It achieves a high recall with less computation compared with prior works. The

G. Drougakis, K. G. Mavrakis, S. Pandey, G. Vasilakis

This approach permits much finer adjustments of the beam direction and position when compared to other beam steering techniques of the same mechanical precision. This results in a much increased precision, accuracy and mechanical stability. A precision of better than 5 μrad and 5 μm is demonstrated, resulting in a resolution in coupling efficiency of 0.1%. T

Ciro Greco, Andrea Polonioli, Jacopo Tagliabue

The claims that big data holds the key to enterprise successes and that Artificial Intelligence is going to replace humanity have become increasingly more popular over the past few years, both in academia and in the industry. However, while these claims may indeed capture some truth, they have also been massively oversold, or so we contend here. The goal of

Amirhossein Hajavi, Ali Etemad

Todays interactive devices such as smart-phone assistants and smart speakers often deal with short-duration speech segments. As a result, speaker recognition systems integrated into such devices will be much better suited with models capable of performing the recognition task with short-duration utterances. In this paper, a new deep neural network, UtterIdNe

Leandro N. Acquaroli

We analyze the Fick's diffusion of a gas inside porous nanomaterials through the one-dimensional diffusion equation in nanopores for various cases of boundary conditions for homogeneous and non-homogeneous problems. We study the diffusion problems, starting without adsorption of the gas inside the pores, to more complex situations with surface adsorption

Frank M. V. Feys, Helle Hvid Hansen

We present a proof of Arrow's theorem from social choice theory that uses a fixpoint argument. Specifically, we use Banach's result on the existence of a fixpoint of a contractive map defined on a complete metric space. Conceptually, our approach shows that dictatorships can be seen as fixpoints of a certain process.

Martin Bäker

This document is a short and informal tutorial on some aspects of calculating phase diagrams with the ATAT-tools emc2 and phb and on creating cluster expansions with maps. It is neither complete, nor in any way an official document, but mainly a set of collected notes I took during experimentation with ATAT.

Dhruv Patel, Assad A Oberai

Bayesian inference is used extensively to infer and to quantify the uncertainty in a field of interest from a measurement of a related field when the two are linked by a physical model. Despite its many applications, Bayesian inference faces challenges when inferring fields that have discrete representations of large dimension, and/or have prior distribution

Kenjiro Tadakuma, Tori Shimizu, Sosuke Hayashi, Eri Takane

To attach and detach permanent magnets with an operation force smaller than their attractive force, Internally-Balanced Magnetic Unit (IB Magnet) has been developed. The unit utilizes a nonlinear spring with an inverse characteristic of magnetic attraction to produce a balancing force for canceling the internal force applied on the magnet. This paper extends

A. O. Ivanov, A. A. Tuzhilin

In the present paper we calculate the Gromov-Hausdorff distance between an arbitrary simplex (a metric space all whose non-zero distances are the same) and a finite metric space whose non-zero distances take two distinct values (so-called $2$-distance spaces). As a corollary, a complete solution to generalized Borsuk problem for the $2$-distance spaces is ob

Juraj Pálenik, Jan Byška, Stefan Bruckner, Helwig Hauser

Understanding large amounts of spatiotemporal data from particle-based simulations, such as molecular dynamics, often relies on the computation and analysis of aggregate measures. These, however, by virtue of aggregation, hide structural information about the space/time localization of the studied phenomena. This leads to degenerate cases where the measures

Ziqian, Jin

We combinatorially prove Tetranacci, Tetranacci-Fibonacci, and additional identities using only squares and dominoes on a hexagonal double-strip. Some of these are new proofs of old identities, and others we believe have never been seen before.

Yuichi Komorida, Shin-ya Katsumata, Nick Hu, Bartek Klin

Bisimilarity as an equivalence notion of systems has been central to process theory. Due to the recent rise of interest in quantitative systems (probabilistic, weighted, hybrid, etc.), bisimilarity has been extended in various ways: notably, bisimulation metric between probabilistic systems. An important feature of bisimilarity is its game-theoretic characte

Trevor Davis, Martin Schmid, Michael Bowling

Extensive-form games (EFGs) are a common model of multi-agent interactions with imperfect information. State-of-the-art algorithms for solving these games typically perform full walks of the game tree that can prove prohibitively slow in large games. Alternatively, sampling-based methods such as Monte Carlo Counterfactual Regret Minimization walk one or more

Zhi Zong, Andrei Ludu

We investigate a new two-dimensional compressible Navier-Stokes hydrodynamic model design to explain and study large scale ice swirls formation at the surface of the ocean. The linearized model generates a basis of Bessel solutions from where various types of spiral patterns can be generated and their evolution and stability in time analyzed. By restricting

Ivan Corwin, Shalin Parekh

This is an expository note answering a question posed to us by Richard Stanley, in which we prove a limit shape theorem for partitions of $n$ which maximize the number of subpartitions. The limit shape and the growth rate of the number of subpartitions are explicit. The key ideas are to use large deviations estimates for random walks, together with convex an

Pavao Mardesic, Dmitry Novikov, Laura Ortiz-Bobadilla, Jessie Pontigo-Herrera

In this paper we study polynomial Hamiltonian systems $dF=0$ in the plane and their small perturbations: $dF+εω=0$. The first nonzero Melnikov function $M_μ=M_μ(F,γ,ω)$ of the Poincaré map along a loop $γ$ of $dF=0$ is given by an iterated integral. In a previous work (see arXiv 1703.03837), we bounded the length of the iterated integral $M_μ$ by a geometric

V. V. Zhuravlev

The recently discovered resonant drag instability (RDI) of dust streaming in protoplanetary disc is considered as the mode coupling of subsonic gas-dust mixture perturbations. This mode coupling is coalescence of two modes with nearly equal phase velocities: inertial wave (IW) having positive energy and a streaming dust wave (SDW) having negative energy as m

Benjamin R. Ryan, Joshua C. Dolence

We present a conservative numerical method for radiation magnetohydrodynamics with frequency-dependent full transport in stationary spacetimes. This method is stable and accurate for both large and small optical depths and radiation pressures. The radiation stress-energy tensor is evolved in flux-conservative form, and closed with a swarm of samples that eac

Belfakih Keltouma, Elqorachi Elhoucien

In this paper we find the solutions of the functional equation $$f(xy) = g(x)h(y) + \sum_{j=1}^n g_j(x)h_j(y), \;x,y \in M,$$ where $M$ is a monoid, $n\geq 2$, and $g_j$ (for $j=1,...,n$) are linear combinations of at least $2$ distinct nonzero multiplicative functions.

Elvin D. Salcedo, Hong T. Nguyen, Robert S. Hoy

Bent-core trimers are a simple model system for which the competition between crystallization and glass-formation can be tuned by varying a single parameter:\ the bond angle $θ_0$. Using molecular dynamics simulations, we examine how varying $θ_0$ affects their thermal solidification. By examining trends with $θ_0$, comparing these to trends in trimers'

Shalmali Joshi, Oluwasanmi Koyejo, Warut Vijitbenjaronk, Been Kim

Machine learning based decision making systems are increasingly affecting humans. An individual can suffer an undesirable outcome under such decision making systems (e.g. denied credit) irrespective of whether the decision is fair or accurate. Individual recourse pertains to the problem of providing an actionable set of changes a person can undertake in orde

Francesco Paolo Contò, Juan F. Marín, Arnaud Antkowiak, J. Rafael Castrejón Pita

We study the capillary retraction of a Newtonian semi-infinite liquid filament through analytical methods. We derive a long-time asymptotic-state expansion for the filament profile using a one-dimensional free-surface slender cylindrical flow model based on the three-dimensional axisymmetric Navier-Stokes equations. The analysis identifies three distinct len

Andrey Grunin

This study offers several models of social network analysis to examine the organization of central power agents, missi dominici, during the Early Middle Ages. Enriched by statistical analysis, different research hypotheses based on the current historiographical positions have been substantiated. On the one side, the network analysis allowed to highlight the

Nuno F. Loureiro, Stanislav Boldyrev

Recent analytical works on strong magnetized plasma turbulence have hypothesized the existence of a range of scales where the tearing instability may govern the energy cascade. In this paper, we estimate the conditions under which such tearing may give rise to full nonlinear magnetic reconnection in the turbulent eddies, thereby enabling significant energy c

Megumi Sano, Takuya Sobukawa

The classical Hardy inequality holds in Sobolev spaces $W_0^{1,p}$ when $1\le p< N$. In the limiting case where $p=N$, it is known that by adding a logarithmic function to the Hardy potential, some inequality which is called the critical Hardy inequality holds in $W_0^{1,N}$. In this note, in order to give an explanation of appearance of the logarithmic func

Bulat N. Khabibullin, Enzhe Menshikova

We investigate some properties of balayage of charges and measures for subclasses of subharmonic functions and their relationship to the geometry of domain or open set in finite-dimensional Euclidean space where this balayage is considered.

Prashnna Kumar Gyawali, Zhiyuan Li, Sandesh Ghimire, Linwei Wang

The success of deep learning in medical imaging is mostly achieved at the cost of a large labeled data set. Semi-supervised learning (SSL) provides a promising solution by leveraging the structure of unlabeled data to improve learning from a small set of labeled data. Self-ensembling is a simple approach used in SSL to encourage consensus among ensemble pred

Mohamadamin Asgharzadeh, Alexandra Kondyli

This paper evaluates the impact of geometric and operational features on freeway capacity at merge bottleneck locations, by analyzing pre-breakdown flow rates and using parametric and non-parametric techniques. These features include number of lanes, free-flow speed or speed limit, length of acceleration lane, and presence or ramp metering. The analysis was

Christopher Jarzynski

For processes during which a macroscopic system exchanges no heat with its surroundings, the second law of thermodynamics places two lower bounds on the amount of work performed on the system: a weak bound, expressed in terms of a fixed-temperature free energy difference, $W \ge ΔF_T$ , and a strong bound, given by a fixed-entropy internal energy difference,

Francisco Eiras, Morteza Lahijanian, Marta Kwiatkowska

Research into safety in autonomous and semi-autonomous vehicles has, so far, largely been focused on testing and validation through simulation. Due to the fact that failure of these autonomous systems is potentially life-endangering, formal methods arise as a complementary approach. This paper studies the application of formal methods to the verification of

Mehrdad Tahmasbi, Matthieu Bloch

We study several versions of a quantum steganography problem, in which two legitimate parties attempt to conceal a cypher in a quantum cover transmitted over a quantum channel without arising suspicion from a warden who intercepts the cover. In all our models, we assume that the warden has an inaccurate knowledge of the quantum channel and we formulate sever

Sabine Bögli, Marco Marletta, Christiane Tretter

We introduce the concept of essential numerical range $W_{\!e}(T)$ for unbounded Hilbert space operators $T$ and study its fundamental properties including possible equivalent characterizations and perturbation results. Many of the properties known for the bounded case do \emph{not} carry over to the unbounded case, and new interesting phenomena arise which

B. Journaux, J. M. Brown, A. Pakhomova, I. E. Collings

Gibbs energy representations for ice III, V and VI are reported. These were constructed using new measurements of volumes at high pressure over a range of low temperatures combined with calculated vibrational energies grounded in statistical physics. The collection of representations including ice Ih and water (released as the open source SeaFreeze framework

Pablo Hernandez-Leal, Bilal Kartal, Matthew E. Taylor

In this paper we explore how actor-critic methods in deep reinforcement learning, in particular Asynchronous Advantage Actor-Critic (A3C), can be extended with agent modeling. Inspired by recent works on representation learning and multiagent deep reinforcement learning, we propose two architectures to perform agent modeling: the first one based on parameter

Przemyslaw Swatek, Yun Wu, Lin-Lin Wang, Kyungchan Lee

We use high-resolution, tunable angle-resolved photoemission spectroscopy (ARPES) and density functional theory (DFT) calculations to study the electronic properties of single crystals of MnBi2Te4, a material that was predicted to be the first intrinsic antiferromagnetic (AFM) topological insulator. We observe both bulk and surface bands in the electronic sp

Nan Xi, Di Ma, Marcus Liou, Zachary C. Steinert-Threlkeld

In this paper, we seek to understand how politicians use images to express ideological rhetoric through Facebook images posted by members of the U.S. House and Senate. In the era of social media, politics has become saturated with imagery, a potent and emotionally salient form of political rhetoric which has been used by politicians and political organizatio

Xiaojie Wang, Chulong Liang, Li Ping, Stephan ten Brink

We establish a multi-user extrinsic information transfer (EXIT) chart area theorem for the interleave-division multiple-access (IDMA) scheme, a special form of superposition coding, in multiple access channels (MACs). A low-cost multi-user detection (MUD) based on the Gaussian approximation (GA) is assumed. The evolution of mean-square errors (MSE) of the GA

Andreas Bablich, Daniel S. Schneider, Paul Kienitz, Satender Kataria

Few-layer molybdenum disulfide (FL-MoS$_2$) films have been integrated into amorphous silicon (a-Si:H) pin photodetectors. To achieve this, vertical a-Si:H photodiodes were grown by plasma-enhanced chemical vapor deposition (PE-CVD) on top of large-scale synthesized and transferred homogeneous FL-MoS$_2$. This novel detector array exhibits long-term stabilit

Chen Wang, Chetan Mishra

Due to generation retirements and growth of renewable energy sources integration, there will be widespread changes in the real and reactive power flow in nowadays power systems. These changes also bring about challenges on system operation and stability. High voltage direct current (HVDC) technology seems to be a promising solution to these new challenges. A

Wenkai Xu, Gang Niu, Aapo Hyvärinen, Masashi Sugiyama

Summarizing large-scaled directed graphs into small-scale representations is a useful but less studied problem setting. Conventional clustering approaches, which based on &#34;Min-Cut&#34;-style criteria, compress both the vertices and edges of the graph into the communities, that lead to a loss of directed edge information. On the other hand, compressing th

Mate Fellner, Balint Varga, Vince Grolmusz

The human connectome has become the very frequent subject of study of brain-scientists, psychologists, and imaging experts in the last decade. With diffusion magnetic resonance imaging techniques, unified with advanced data processing algorithms, today we are able to compute braingraphs with several hundred, anatomically identified nodes and thousands of edg

Arash S. Amjadi, Mohsen Raoufi, Ali E. Turgut, George Broughton

Using robots for exploration of extreme and hazardous environments has the potential to significantly improve human safety. For example, robotic solutions can be deployed to find the source of a chemical leakage and clean the contaminated area. This paper demonstrates a proof-of-concept bio-inspired exploration method using a swarm robotic system, which is b

Metin Gurses, Yaghoub Heydarzade, Cetin Senturk

We study some physical properties of black holes in Null Aether Theory (NAT)--a vector-tensor theory of gravity. We first review the black hole solutions in NAT and then derive the first law of black hole thermodynamics. The temperature of the black holes depends on both the mass and the NAT \textquotedblleft charge&#34; of the black holes. The extreme cases

John D. Monnier, 67 endorsers

The ultimate astronomical observatory would be a formation flying interferometer in space, immune to atmospheric turbulence and absorption, free from atmospheric and telescope thermal emission, and reconfigurable to adjust baselines according to the required angular resolution. Imagine the near/mid-infrared sensitivity of the JWST and the far-IR sensitivity

Neil Immerman, Rik Sengupta

In this note, we provide details of the $k$-dimensional Weisfeiler-Leman Algorithm and its analysis from Immerman-Lander (1990). In particular, we present an optimized version of the algorithm that runs in time $O(n^{k+1}\log n)$, where $k$ is fixed (not varying with $n$).

Jeffrey A. Powell, Adam M. Summers, Qingcao Liu, Seyyed Javad Robatjazi

We present the results of a systematic study of photoelectron emission from gasphase dielectric nanoparticles (SiO2) irradiated by intense 25 fs, 780 nm linearly polarized laser pulses as a function of particle size (20 nm to 750 nm in diameter) and laser intensity. We also introduce an experimental technique to reduce the effects of focal volume averaging.

Martin Schanzenbach, Thomas Kilian, Julian Schütte, Christian Banse

In this paper we present ZKlaims: a system that allows users to present attribute-based credentials in a privacy-preserving way. We achieve a zero-knowledge property on the basis of Succinct Non-interactive Arguments of Knowledge (SNARKs). ZKlaims allow users to prove statements on credentials issued by trusted third parties. The credential contents are neve

Daniel Gutierrez-Reyes, Ignazio Scimemi, Wouter J. Waalewijn, Lorenzo Zoppi

Semi-inclusive deep inelastic scattering (SIDIS) is a promising channel for the extraction of transverse momentum dependent distributions at future colliders. In this context, we recently developed a framework that uses jets (instead of single hadrons) to achieve reduced sensitivity to final-state non-perturbative effects. A suitable non-standard jet definit

Ancy Sarah Tom, George Karypis

Triangle counting is a fundamental graph analytic operation that is used extensively in network science and graph mining. As the size of the graphs that needs to be analyzed continues to grow, there is a requirement in developing scalable algorithms for distributed-memory parallel systems. To this end, we present a distributed-memory triangle counting algori

Rahul Kumar, Aditya Mandalika, Sanjiban Choudhury, Siddhartha S. Srinivasa

We consider the problem of leveraging prior experience to generate roadmaps in sampling-based motion planning. A desirable roadmap is one that is sparse, allowing for fast search, with nodes spread out at key locations such that a low-cost feasible path exists. An increasingly popular approach is to learn a distribution of nodes that would produce such a roa

F. L. Dubeibe, Sandra M. Martínez-Sicacha, Guillermo A. González

In the present paper, using a generalization of the Miyamoto and Nagai potential we adjusted the observed rotation curves of three specific spiral galaxies to the analytical circular velocities. The observational data have been taken from a 21 cm-line synthesis imaging survey using the Westerbork Synthesis Radio Telescope, for three particular galaxies in th

Yating Wang, Guang Lin

We present efficient deep learning techniques for approximating flow and transport equations for both single phase and two-phase flow problems. The proposed methods take advantages of the sparsity structures in the underlying discrete systems and can be served as efficient alternatives to the system solvers at the full order. In particular, for the flow prob

John D. Monnier, 66 endorsers

New images of young stars are revolutionizing our understanding of planet formation. ALMA detects large grains in planet-forming disks with few AU scale resolution and scattered light imaging with extreme adaptive optics systems reveal small grains suspended on the disks&#39; flared surfaces. Tantalizing evidence for young exoplanets is emerging from line ob

Samira Sheikhi

We study distributed algorithms for expected loss minimization where the datasets are large and have to be stored on different machines. Often we deal with minimizing the average of a set of convex functions where each function is the empirical risk of the corresponding part of the data. In the distributed setting where the individual data instances can be a

John D. Monnier, 65 endorsers

Diffraction fundamentally limits our ability to image and characterize exoplanets. Current and planned coronagraphic searches for exoplanets are making incredible strides but are fundamentally limited by the inner working angle of a few lambda/D. Some crucial topics, such as demographics of exoplanets within the first 50 Myr and the infrared characterization

Giovanni Amendola, Carmine Dodaro, Francesco Ricca

Answer Set Programming (ASP) is a well-established formalism for logic programming. Problem solving in ASP requires to write an ASP program whose answers sets correspond to solutions. Albeit the non-existence of answer sets for some ASP programs can be considered as a modeling feature, it turns out to be a weakness in many other cases, and especially for que

Giovanni Amendola, Francesco Ricca, Mirek Truszczynski

Answer Set Programming (ASP) is a logic programming paradigm featuring a purely declarative language with comparatively high modeling capabilities. Indeed, ASP can model problems in NP in a compact and elegant way. However, modeling problems beyond NP with ASP is known to be complicated, on the one hand, and limited to problems in Σ^P_2 on the other. Inspire

Manu Kurian, Santosh K. Das, Vinod Chandra

The heavy quark drag and momentum diffusion have been investigated in a hot magnetized quark-gluon plasma, along the directions parallel and perpendicular to the magnetic field. The analysis is done within the framework of Fokker-Planck dynamics by considering the heavy quark scattering with thermal quarks and gluons at the leading order in the coupling cons