July 2019 arXiv papers — page 127

N. I. Shvetsov-Shilovski, M. Lein

We present a mixed quantum-classical approach to strong-field ionization - a semiclassical two-step model with quantum input. In this model the initial conditions for classical trajectories that simulate electron wave packet after ionization are determined by the exact quantum dynamics. As a result, the model allows to overcome deficiencies of standard semic

Yu. A. Fadeyev

Evolutionary calculations of population I stars with initial masses $M_0=1M_\odot$, $1.5M_\odot$ and $2M_\odot$ were carried out up to the stage of the proto--planetary nebula. Selected models of post--AGB evolutionary sequences with effective temperatures $3.6\times 10^3\,\mathrm{K}\lesssim T_\mathrm{eff}\lesssim 2\times 10^4\,\mathrm{K}$ were used as initi

M. Skałba, M. Ulas

In this note we investigate the problem of finding pairs of Pythagorean triangles $(a, b, c), (A, B, C)$, with given catheti ratios $A/a, B/b$. In particular, we prove that there are infinitely many essentially different ("non-similar") pairs of Pythagorean triangles $(a, b, c), (A, B, C)$ satisfying given proportions, provided that $Aa\neq Bb$.

Stav Ashur, Omrit Filtser, Matthew J. Katz

The problem of vertex guarding a simple polygon was first studied by Subir K. Ghosh (1987), who presented a polynomial-time $O(\log n)$-approximation algorithm for placing as few guards as possible at vertices of a simple $n$-gon $P$, such that every point in $P$ is visible to at least one of the guards. Ghosh also conjectured that this problem admits a poly

Chae Young Lee, Youngmin Baek, Hwalsuk Lee

Despite the recent success of scene text detection methods, common evaluation metrics fail to provide a fair and reliable comparison among detectors. They have obvious drawbacks in reflecting the inherent characteristic of text detection tasks, unable to address issues such as granularity, multiline, and character incompleteness. In this paper, we propose a

Guadalupe Márquez-Campos, Jorge L. Ramírez-Alfonsín, José M. Tornero

In this paper we use an elementary approach by using numerical semigroups (specifically, those with two generators) to give a formula for the number of integral points inside a right-angled triangle with rational vertices. This is the basic case for computing the number of integral points inside a rational (not necessarily convex) polygon.

Jake Chandler, Richard Booth

Recent work has considered the problem of extending to the case of iterated belief change the so-called `Harper Identity' (HI), which defines single-shot contraction in terms of single-shot revision. The present paper considers the prospects of providing a similar extension of the Levi Identity (LI), in which the direction of definition runs the other wa

Guadalupe Márquez-Campos, Ignacio Ojeda, José M. Tornero

A simple way of computing the Apéry set of a numerical semigroup (or monoid) with respect to a generator, using Groebner bases, is presented, together with a generalization for affine semigroups. This computation allows us to calculate the type set and, henceforth, to check the Gorenstein condition which characterizes the symmetric numerical subgroups.

Kun Zhao, Takayuki Osogami, Tetsuro Morimura

In team-based invasion sports such as soccer and basketball, analytics is important for teams to understand their performance and for audiences to understand matches better. The present work focuses on performing visual analytics to evaluate the value of any kind of event occurring in a sports match with a continuous parameter space. Here, the continuous par

Attilio Sacripanti

In this paper we are interested, both: at the description of Biomechanics of the Ashi Waza techniques, with precision of few of them, members of the Japanese, so called, Ko Waza group; and at the biomechanical analysis of the small changes in the applicative form of them. These small changes, from the basic movement defined by Kodokan and show in thousand bo

D. Hammerland, P. Zhang, A. Bray, C. F. Perry

Attosecond photoionization delays have mostly been interpreted within the single-particle approximation of multi-electron systems. The strong electron correlation between the photoionization channels associated with the 3p and 3s orbitals of argon presents an interesting arena where this single-particle approximation breaks down. Around photon energies of 42

Guadalupe Márquez-Campos, José M. Tornero

This article is partly a survey and partly a research paper. It tackles the use of Groebner bases for addressing problems of numerical semigroups, which is a topic that has been around for some years, but it does it in a systematic way which enables us to prove some results and a hopefully interesting characterization of the elements of a semigroup in terms

Paul Gastin, Amaldev Manuel, R. Govind

We present MSO and FO logics with predicates `between' and `neighbour' that characterise various fragments of the class of regular languages that are closed under the reverse operation. The standard connections that exist between MSO and FO logics and varieties of finite semigroups extend to this setting with semigroups extended with an involution. T

Ran Huang, Hui Jing

A phonon laser made from a levitated silica nanosphere held in a controllable optical trap offers a useful tool for studying phonon-photon interactions.

Tanveer Iqbal, Syed Ahtsham Ul Haq Bokhary

Let $G = (V, E)$ be a graph without an isolated vertex. A set $D\subseteq V(G)$ is a $k$-distance paired domination set of $G$ if $D$ is a $k$-distance dominating set of $G$ and the induced subgraph $\langle D \rangle$ has a perfect matching. The minimum cardinality of a $k$-distance paired dominating set for graph $G$ is the $k$-distance paired domination n

M. Saint-Paul, P. Monceau

The microscopic description of the CDW phase transition is still debated and remains controversial. The question is how to extend the Peierls picture to real systems in higher dimensions. A general tendency is found in the thermodynamic properties such as the specific heat jump DCp and the decrease of the longitudinal elastic stiffness constant DC11/C11 at t

Jürgen Scherer, Bernhard Rinner

We discuss surveillance with multiple unmanned aerial vehicles (UAV) that minimize idleness (the time between consecutive visits of sensing locations) and constrain latency (the time between capturing data at a sensing location and its arrival at the base station). This is important in persistent surveillance scenarios where sensing locations should not only

Qinmeng Zou, Frederic Magoules

This paper addresses the distributed convergence detection problem in asynchronous iterations. A modified recursive doubling algorithm is investigated in order to adapt to the non-power-of-two case. Some convergence detection algorithms are illustrated based on the reduction operation. Finally, a concluding discussion about the implementation and the applica

Qinmeng Zou, Frederic Magoules

This paper proposes a new gradient method to solve the large-scale problems. Theoretical analysis shows that the new method has finite termination property for two dimensions and converges R-linearly for any dimensions. Experimental results illustrate first the issue of parallel implementation. Then, the solution of a large-scale problem shows that the new m

Qinmeng Zou, Guillaume Gbikpi-Benissan, Frederic Magoules

The advent of asynchronous iterative scheme gives high efficiency to numerical computations. However, it is generally difficult to handle the problems of resource management and convergence detection. This paper uses JACK2, an asynchronous communication kernel library for iterative algorithms, to implement both classical and asynchronous parareal algorithms,

Qinmeng Zou, Guillaume Gbikpi-Benissan, Frederic Magoules

Asynchronous iterations arise naturally in parallel computing if one wants to solve large problems with a minimization of the idle times. This paper presents an original model of asynchronous iterations for a time-domain decomposition method, namely the parareal method. The asynchronous parareal algorithm is here applied to European option pricing, and numer

Dan Oneata, Horia Cucu

This paper addresses the problem of building a speech recognition system attuned to the control of unmanned aerial vehicles (UAVs). Even though UAVs are becoming widespread, the task of creating voice interfaces for them is largely unaddressed. To this end, we introduce a multi-modal evaluation dataset for UAV control, consisting of spoken commands and assoc

Tonghua Tian, Yongyong Cai, Xinming Wu, Zaiwen Wen

The computation of the ground states of spin-$F$ Bose-Einstein condensates (BECs) can be formulated as an energy minimization problem with two quadratic constraints. We discretize the energy functional and constraints using the Fourier pseudospectral schemes and view the discretized problem as an optimization problem on manifold. Three different types of ret

Jingchao Chen

Unit propagation (which is called also Boolean Constraint Propagation) has been an important component of every modern CDCL SAT solver since the CDCL solver was developed. In general, unit propagation is implemented by scanning sequentially every clause over a linear watch-list. This paper presents a new unit propagation technique called core first unit prop

James Chappell, Allen Caldwell, Matthew Wing

Initial simulations investigating using the RHIC-EIC proton beam as the drive beam in a plasma wakefield acceleration experiment are presented. The proton beam enters the plasma and undergoes self-modulation, forming a series of microbunches. These microbunches resonantly drive electron density perturbations within the plasma, exciting a longitudinal electri

Shobhit Goel, Le Duc Anh, Nguyen Thanh Tu, Shinobu Ohya

We report switching of magnetic anisotropy (MA) from in-plane to perpendicular with increasing the thickness d of a (001)-oriented ferromagnetic-semiconductor (FMS) (Ga0.7,Fe0.3)Sb layer with a high Curie temperature (Tc > 320 K), using ferromagnetic resonance at room temperature. We show that the total MA energy (E) along the [001] direction changes its sig

Minho Park, Hak Gu Kim, Yong Man Ro

Realistic image synthesis is to generate an image that is perceptually indistinguishable from an actual image. Generating realistic looking images with large variations (e.g., large spatial deformations and large pose change), however, is very challenging. Handing large variations as well as preserving appearance needs to be taken into account in the realist

Todor Georgiev, He Qin, Haotian Li

This paper explores possibilities for new uses of the Radon transform for imaging and analysis of lightfields. We show that the previously reported Dimansionality Gap can be derived from an ultrahyperbolic PDE, first proposed by F. John, which is satisfied by lightfields. Based on inverse John transform we demonstrate rigorous Focal Stack rendering and viewi

Minseok Cho, YeolLin ChoeJo, Hye-Sung Lee, Young-Min Lee

Beam neutrino oscillation experiments typically employ only one detector at a certain baseline, apart from the near detector that measures the unoscillated neutrino flux at the source. Lately, there have been discussions of having detectors at two different baselines in one of the future long-baseline neutrino oscillation experiments. We study the potential

Linh Nguyen, Jaime Valls Miro, Lei Shi, Teresa Vidal-Calleja

Rapidly estimating the remaining wall thickness (RWT) is paramount for the non-destructive condition assessment evaluation of large critical metallic pipelines. A robotic vehicle with embedded magnetism-based sensors has been developed to traverse the inside of a pipeline and conduct inspections at the location of a break. However its sensing speed is constr

Xiaxia Wang, Jinchi Chen, Shuxin Li, Gong Cheng

Reusing existing datasets is of considerable significance to researchers and developers. Dataset search engines help a user find relevant datasets for reuse. They can present a snippet for each retrieved dataset to explain its relevance to the user's data needs. This emerging problem of snippet generation for dataset search has not received much research

Sonja Surjanovic, William J. Welch

Computer models are used as replacements for physical experiments in a large variety of applications. Nevertheless, direct use of the computer model for the ultimate scientific objective is often limited by the complexity and cost of the model. Historically, Gaussian process regression has proven to be the almost ubiquitous choice for a fast statistical emul

Aaron M. Roth, Nicholay Topin, Pooyan Jamshidi, Manuela Veloso

There is a growing desire in the field of reinforcement learning (and machine learning in general) to move from black-box models toward more "interpretable AI." We improve interpretability of reinforcement learning by increasing the utility of decision tree policies learned via reinforcement learning. These policies consist of a decision tree over th

Julia K. Thalmann, Luis Linan, Etienne Pariat, Gherardo Valori

We demonstrate the sensitivity of magnetic energy and helicity computations regarding the quality of the underlying coronal magnetic field model. We apply the method of Wiegelmann & Inhester (2010) to a series of SDO/HMI vector magnetograms, and discuss nonlinear force-free (NLFF) solutions based on two different sets of the free model parameters. The two ti

Noor Al-Shakarji, Filiz Bunyak, Hadi Aliakbarpour, Guna Seetharaman

Detection of moving objects such as vehicles in videos acquired from an airborne camera is very useful for video analytics applications. Using fast low power algorithms for onboard moving object detection would also provide region of interest-based semantic information for scene content aware image compression. This would enable more efficient and flexible c

Sarira Sahu

Blazars are a subclass of AGN and flaring in multi-TeV gamma-ray seems to be the major activity in high energy blazars a subgrup of blazars. Flaring is also unpredictable and switches between quiescent and active states involving different time scales and fluxes. While in some high energy blazars a strong temporal correlation between X-ray and multi-TeV gamm

Roland Kozubek, Mukesh Tripathi, Mahdi Ghorbani-Asl, Silvan Kretschmer

Porous single layer molybdenum disulfide (MoS$_2$) is a promising material for applications such as DNA sequencing and water desalination. In this work, we introduce irradiation with highly charged ions (HCIs) as a new technique to fabricate well-defined pores in MoS$_2$. Surprisingly, we find a linear increase of the pore creation efficiency over a broad ra

Linh Nguyen, Jaime Valls Miro, Xiaojun Qiu

Knowing the geometry of a space is desirable for many applications, e.g. sound source localization, sound field reproduction or auralization. In circumstances where only acoustic signals can be obtained, estimating the geometry of a room is a challenging proposition. Existing methods have been proposed to reconstruct a room from the room impulse responses (R

Ramchandra Phawade

We provided (PNSE'2014) expressions for free choice nets having "distributed choice property" which makes the nets "direct product" representable. In a recent work (PNSE'2016), we gave equivalent syntax for a larger class of free choice nets obtained by dropping distributed choice property. In both these works, the classes of free cho

Hung Le, Doyen Sahoo, Nancy F. Chen, Steven C. H. Hoi

Developing Video-Grounded Dialogue Systems (VGDS), where a dialogue is conducted based on visual and audio aspects of a given video, is significantly more challenging than traditional image or text-grounded dialogue systems because (1) feature space of videos span across multiple picture frames, making it difficult to obtain semantic information; and (2) a d

Amuthan A. Ramabathiran

A new semi-analytical iterative scheme is proposed in this work for solving the generalized Peierls-Nabarro model. The numerical method developed here exploits certain basic properties of the Hilbert transform to achieve the desired reduction of the non-local and non-linear equations characterizing the generalized Peierls-Nabarro model to a local fixed point

Ashis Pati, Alexander Lerch, Gaëtan Hadjeres

Music Inpainting is the task of filling in missing or lost information in a piece of music. We investigate this task from an interactive music creation perspective. To this end, a novel deep learning-based approach for musical score inpainting is proposed. The designed model takes both past and future musical context into account and is capable of suggesting

Zhibin Li, Jian Zhang, Qiang Wu, Yongshun Gong

Railway points are among the key components of railway infrastructure. As a part of signal equipment, points control the routes of trains at railway junctions, having a significant impact on the reliability, capacity, and punctuality of rail transport. Traditionally, maintenance of points is based on a fixed time interval or raised after the equipment failur

Kazuyuki Yagasaki, Shogo Yamanaka

We consider a class of two-degree-of-freedom Hamiltonian systems with saddle-centers connected by heteroclinic orbits and discuss some relationships between the existence of transverse heteroclinic orbits and nonintegrability. By the Lyapunov center theorem there is a family of periodic orbits near each of the saddle-centers, and the Hessian matrices of the

Gordon Wichern, Joe Antognini, Michael Flynn, Licheng Richard Zhu

Recent progress in separating the speech signals from multiple overlapping speakers using a single audio channel has brought us closer to solving the cocktail party problem. However, most studies in this area use a constrained problem setup, comparing performance when speakers overlap almost completely, at artificially low sampling rates, and with no externa

Patrick Hutchings, Jon McCormack

The generation of music that adapts dynamically to content and actions has an important role in building more immersive, memorable and emotive game experiences. To date, the development of adaptive music systems for video games is limited by both the nature of algorithms used for real-time music generation and the limited modelling of player action, game wor

Alberto Molgado, Ángel Rodríguez-López

We analyze the inherent symmetries associated to the non-Abelian topological BF theory from the geometric and covariant perspectives of the Lagrangian and the multisymplectic formalisms. At the Lagrangian level, we classify the symmetries of the theory as natural and Noether symmetries and construct the associated Noether currents, while at the multisymplect

Yi Zhang, Chao Zhang, Takuya Akashi

We propose a novel multi-scale template matching method which is robust against both scaling and rotation in unconstrained environments. The key component behind is a similarity measure referred to as scalable diversity similarity (SDS). Specifically, SDS exploits bidirectional diversity of the nearest neighbor (NN) matches between two sets of points. To add

Stevan Pilipović, Diana T. Stoeva

Matrix type operators with the off-diagonal decay of polynomial or sub-exponential types are revisited with weaker assumptions concerning row or column estimates, still giving the continuity results for the frame type operators. Such results are extended from Banach to Fréchet spaces. Moreover, the localization of Fréchet frames is used for the frame expansi

Honglun Zhang, Wenqing Chen, Hao He, Yaohui Jin

Facial makeup transfer is a widely-used technology that aims to transfer the makeup style from a reference face image to a non-makeup face. Existing literature leverage the adversarial loss so that the generated faces are of high quality and realistic as real ones, but are only able to produce fixed outputs. Inspired by recent advances in disentangled repres

Charlotte Sleight, Massimo Taronna

We develop a Mellin space approach to boundary correlation functions in anti-de Sitter (AdS) and de Sitter (dS) spaces. Using the Mellin-Barnes representation of correlators in Fourier space, we show that the analytic continuation between AdS$_{d+1}$ and dS$_{d+1}$ is encoded in a collection of simple relative phases. This allows us to determine the late-tim

Yuchen He, Martin Huska, Sung Ha Kang, Hao Liu

We consider constructing a surface from a given set of point cloud data. We explore two fast algorithms to minimize the weighted minimum surface energy in [Zhao, Osher, Merriman and Kang, Comp.Vision and Image Under., 80(3):295-319, 2000]. An approach using Semi-Implicit Method (SIM) improves the computational efficiency through relaxation on the time-step c

Hangbo Zhou, Gang Zhang, Jian-Sheng Wang, Yong-Wei Zhang

We investigate thermoelectric transport through interfaces with inelastic scatterings by developing a quantum theory, which has been extensively validated by existing theories. We find that under temperature bias, while a two-terminal conductor-insulator interface behaves only as a thermal resistor, a three-terminal conductor-insulator-conductor interface ca

Yanhui Chen

Grids of DOV star models are evolved by \texttt{WDEC} with fixed atmospheric constituent to the spectral values of $X_{C}/X_{He}/X_{O}$ = 50/33/17. The core compositions are from white dwarf models at highest $T_{eff}$ evolved by \texttt{MESA}. The eigenfrequencies are calculated and used to fit the observed modes. Based on 264.1 hours of photometric observa

Melanie Good, Andrew Mason, Chandralekha Singh

We examined how introductory physics students' attitudes and approaches to problem solving compare to those of introductory astronomy students, using a previously validated survey, the Attitudes and Approaches to Problem Solving (AAPS) survey. In addition, we compared the performance of the introductory physics and astronomy students on the factors which

Fei Wei, Michael Langberg, Michelle Effros

The edge removal problem studies the loss in network coding rates that results when a network communication edge is removed from a given network. It is known, for example, that in networks restricted to linear coding schemes and networks restricted to Abelian group codes, removing an edge e* with capacity Re* reduces the achievable rate on each source by no

Jinlu Li, Yanghai, Yu

In this paper, we consider the Cauchy problem of 2D tropical climate model without thermal diffusion and construct global smooth solutions by choosing a class of special initial data whose $L^{\infty}$ norm can be arbitrarily large.

Gregory Ashton, Paul D. Lasky, Vanessa Graber, Jim Palfreyman

The 2016 Vela glitch observed by the Mt Pleasant radio telescope provides the first opportunity to study pulse-to-pulse dynamics of a pulsar glitch, opening up new possibilities to study the neutron star's interior. We fit models of the star's rotation frequency to the pulsar data, and present three new results. First, we constrain the glitch rise ti

Satoru Suzuki, Yuichi Haruyama

Submonolayer h-BN was grown on Ni foil in ultra-high vacuum by the diffusion and precipitation method and the growth process was studied by x-ray photoelectron spectroscopy. Formation of h-BN started to be observed at 600 C. All through the process, the surface was always slightly B-rich, which is consistent with the fact that B which is soluble in Ni at a h

Feiping Nie, Zhanxuan Hu, Xiaoqian Wang, Rong Wang

This work aims at solving the problems with intractable sparsity-inducing norms that are often encountered in various machine learning tasks, such as multi-task learning, subspace clustering, feature selection, robust principal component analysis, and so on. Specifically, an Iteratively Re-Weighted method (IRW) with solid convergence guarantee is provided. W

Peng Wang, Jun-Chao Ma, Zhi-Qiang Jiang, Wei-Xing Zhou

Empirical investor networks (EIN) proposed by \cite{Ozsoylev-Walden-Yavuz-Bildik-2014-RFS} are assumed to capture the information spreading path among investors. Here, we perform a comparative analysis between the EIN and the cellphone communication networks (CN) to test whether EIN is an information exchanging network from the perspective of the layer struc

Nick Walker, Yu-Tang Peng, Maya Cakmak

Service robots are envisioned to undertake a wide range of tasks at the request of users. Semantic parsing is one way to convert natural language commands given to these robots into executable representations. Methods for creating semantic parsers, however, rely either on large amounts of data or on engineered lexical features and parsing rules, which has li

Guangjing Song, Michael K. Ng, Xiongjun Zhang

In this paper, we study robust tensor completion by using transformed tensor singular value decomposition (SVD), which employs unitary transform matrices instead of discrete Fourier transform matrix that is used in the traditional tensor SVD. The main motivation is that a lower tubal rank tensor can be obtained by using other unitary transform matrices than

David Hofbauer, Christoph Schmittner, Manuela Brandstetter, Markus Tauber

In the last years the interconnection and ongoing development of physical systems combined with cyber resources has led to increasing automation. Through this progress in technology, autonomous vehicles, especially autonomous trains are getting more attention from industry and are already under test. The use of autonomous trains is known for increasing opera

Li Jin, Alexander A. Kurzhanskiy, Saurabh Amin

In this paper, we study the problem of traffic management in highways facing stochastic perturbations. To model the macroscopic traffic flow under perturbations, we use cell-transmission model with Markovian capacities. The decision variables are: (i) the admissible flow through each on-ramp, and (ii) whether individual on-ramps are metered to prioritize the

Xianghui Mao, Kun Yuan, Yubin Hu, Yuantao Gu

This paper addresses consensus optimization problems in a multi-agent network, where all agents collaboratively find a minimizer for the sum of their private functions. We develop a new decentralized algorithm in which each agent communicates only with its neighbors. State-of-the-art decentralized algorithms use communications between either all pairs of adj

Mukul Dave, Arianne Spaulding, Jennifer A. Franck

Bio-inspired oscillatory foil propulsion has the ability to traverse various propulsive modes by dynamically changing the foil's heave and pitch kinematics. This research characterizes the propulsion properties and wake dynamics of a symmetric oscillating foil, specifically targeting the high Reynolds number operation of small to medium surface vessels w

Tae Jong Choi, Julian Togelius, Yun-Gyung Cheong

Among many evolutionary algorithms, differential evolution (DE) has received much attention over the last two decades. DE is a simple yet powerful evolutionary algorithm that has been used successfully to optimize various real-world problems. Since it was introduced, many researchers have developed new methods for DE, and one of them makes use of a mutation

Mike Miller Eismeier

We define four versions of equivariant instanton Floer homology ($I^+, I^-, I^\infty$ and $\widetilde I$) for a class of 3-manifolds and $SO(3)$-bundles over them including all rational homology spheres. These versions are analogous to the four flavors of monopole and Heegaard Floer homology theories. This construction is functorial for a large class of 4-ma

Amit Moscovich, Amit Halevi, Joakim Andén, Amit Singer

Single-particle electron cryomicroscopy is an essential tool for high-resolution 3D reconstruction of proteins and other biological macromolecules. An important challenge in cryo-EM is the reconstruction of non-rigid molecules with parts that move and deform. Traditional reconstruction methods fail in these cases, resulting in smeared reconstructions of the

Pablo G. Barrientos, Artem Raibekas

We construct open sets of degenerate unfoldings of heterodimensional cycles of any co-index $c>0$ and homoclinic tangencies of arbitrary codimension $c>0$. These sets are known to be the support of unexpected phenomena in families of diffeomorphisms, such as the Kolmogorov typical co-existence of infinitely many attractors. As a prerequisite we also construc

Pedro H. M. Braga, Hansenclever F. Bassani

In the recent years, there is a growing interest in semi-supervised learning, since, in many learning tasks, there is a plentiful supply of unlabeled data, but insufficient labeled ones. Hence, Semi-Supervised learning models can benefit from both types of data to improve the obtained performance. Also, it is important to develop methods that are easy to par

Srinath Sridhar, Davis Rempe, Julien Valentin, Sofien Bouaziz

We investigate the problem of learning category-specific 3D shape reconstruction from a variable number of RGB views of previously unobserved object instances. Most approaches for multiview shape reconstruction operate on sparse shape representations, or assume a fixed number of views. We present a method that can estimate dense 3D shape, and aggregate shape

Charles Delman, Rachel Roberts

A 3-manifold is foliar if it supports a codimension-one co-oriented taut foliation. Suppose $M$ is an oriented 3-manifold with connected boundary a torus, and suppose $M$ contains a properly embedded, compact, oriented, surface $R$ with a single boundary component that is Thurston norm minimizing in $H_2(M, \partial M)$. We define a readily recognizable type

Luca Asproni, Davide Caputo, Blanca Silva, Giovanni Fazzi

In this work we investigate the capabilities of a hybrid quantum-classical procedure to explore the solution space using the D-Wave $2000Q^{TM}$ Quantum Annealer device. Here we study the ability of the Quantum hardware to solve the Number Partitioning Problem, a well-known NP-Hard optimization model that poses some challenges typical of those encountered in

Edin Husic, Stephan Thomasse, Nicolas Trotignon

The class of even-hole-free graphs is very similar to the class of perfect graphs, and was indeed a cornerstone in the tools leading to the proof of the Strong Perfect Graph Theorem. However, the complexity of computing a maximum independent set (MIS) is a long-standing open question in even-hole-free graphs. From the hardness point of view, MIS is W[1]-hard

Onur Günlü, Rafael F. Schaefer, Gerhard Kramer

A basic model for key agreement with biometric or physical identifiers is extended to include measurements of a hidden source through a general broadcast channel (BC). An inner bound for strong secrecy, maximum key rate, and minimum privacy-leakage and database-storage rates is proposed. The inner bound is shown to be tight for physically-degraded and less-n

Anyu Zhang, Brandilyn Stigler

In the field of algebraic systems biology, the number of minimal polynomial models constructed using discretized data from an underlying system is related to the number of distinct reduced Gr\"obner bases for the ideal of the data points. While the theory of Gr\"obner bases is extensive, what is missing is a closed form for their number for a given ideal. Th

Ken Duffy, Amit Solomon, Kishori M. Konwar, Muriel Medard

CA-Polar codes have been selected for all control channel communications in 5G NR, but accurate, computationally feasible decoders are still subject to development. Here we report the performance of a recently proposed class of optimally precise Maximum Likelihood (ML) decoders, GRAND, that can be used with any block-code. As published theoretical results in

Florian Zuleger

Vector addition systems are an important model in theoretical computer science and have been used in a variety of areas. In this paper, we consider vector addition systems with states over a parameterized initial configuration. For these systems, we are interested in the standard notion of computational complexity, i.e., we want to understand the length of t

Mohamed Barakat, Reimer Behrends, Christopher Jefferson, Lukas Kühne

In this paper we describe a parallel algorithm for generating all non-isomorphic rank $3$ simple matroids with a given multiplicity vector. We apply our implementation in the HPC version of GAP to generate all rank $3$ simple matroids with at most $14$ atoms and a splitting characteristic polynomial. We have stored the resulting matroids alongside with vario

Mickaël Postic, Luca Q. Zamboni

Let $\A$ be a finite non-empty set and $\preceq $ a total order on $\A^\nats$ verifying the following lexicographic like condition: For each $n\in \nats$ and $u, v\in \A^n,$ if $u^ω\prec v^ω$ then $ux\prec vy$ for all $x, y \in \A^\nats.$ A word $x\in \A^\nats$ is called $ω$-Lyndon if $x\prec y$ for each proper suffix $y$ of $x.$ A finite word $w\in \A^+$ is

Gergely Kiss, Jean-Luc Marichal

We pursue the investigation of the concept of $n$-distance, an $n$-variable version of the classical concept of distance recently introduced and investigated by Kiss, Marichal, and Teheux. We especially focus on the challenging problem of computing the best constant associated with a given $n$-distance. In particular, we define and investigate the best const

Calum Rickard, Mahir Hadzic, Juhi Jang

Global existence for the nonisentropic compressible Euler equations with vacuum boundary for all adiabatic constants $γ> 1$ is shown through perturbations around a rich class of background nonisentropic affine motions. The notable feature of the nonisentropic motion lies in the presence of non-constant entropies, and it brings a new mathematical challenge to

Rok Češnovar, Steve Bronder, Davor Sluga, Jure Demšar

This paper details an extensible OpenCL framework that allows Stan to utilize heterogeneous compute devices. It includes GPU-optimized routines for the Cholesky decomposition, its derivative, other matrix algebra primitives and some commonly used likelihoods, with more additions planned for the near future. Stan users can now benefit from large speedups offe

Minjie Lei, Noah Steinberg, James D. Wells

Non-standard neutrino self interactions (NSSI) could be stronger than Fermi interactions. We investigate the ability to constrain these four-neutrino interactions by their effect on the flux of neutrinos originating from a galactic supernova. In the dense medium of a core collapse supernova, these new self interactions can have a significant impact on neutri

Matthew Lorig, Zhou Zhou, Bin Zou

We introduce a general framework for continuous-time betting markets, in which a bookmaker can dynamically control the prices of bets on outcomes of random events. In turn, the prices set by the bookmaker affect the rate or intensity of bets placed by gamblers. The bookmaker seeks a price process that maximizes his expected (utility of) terminal wealth. We o

Zixu Wang, Julia Ive, Sumithra Velupillai, Lucia Specia

A major obstacle to the development of Natural Language Processing (NLP) methods in the biomedical domain is data accessibility. This problem can be addressed by generating medical data artificially. Most previous studies have focused on the generation of short clinical text, and evaluation of the data utility has been limited. We propose a generic methodolo

Oliver Leigh

We further the study of the Donaldson-Thomas theory of the banana threefolds which were recently discovered and studied in [Bryan'19]. These are smooth proper Calabi-Yau threefolds which are fibred by Abelian surfaces such that the singular locus of a singular fibre is a non-normal toric curve known as a "banana configuration". In [Bryan'19]

James Drummond, Jack Foster, Ömer Gürdoğan, Chrysostomos Kalousios

We provide a cluster-algebraic approach to the computation of the recently introduced generalised biadjoint scalar amplitudes related to Grassmannians ${\rm Gr}(k,n)$. A finite cluster algebra provides a natural triangulation for the tropical Grassmannian whose volume computes the scattering amplitudes. Using this method one can construct the entire colour-o

Carlos Conde, Cristian Galvis, Eduard Larrañaga

In a recent paper, Nashed and Capozziello presented a new class of charged, spherically symmetric black hole solutions of $f(R)$ gravity with an asymptotic flat or (anti-)de Sitter behavior. These metrics depend on a dimensional parameter $α$ and are interesting because they cannot reduce to general relativity solutions. In this paper, we present a corrected

Andreas Hagemann

I introduce a simple permutation procedure to test conventional (non-sharp) hypotheses about the effect of a binary treatment in the presence of a finite number of large, heterogeneous clusters when the treatment effect is identified by comparisons across clusters. The procedure asymptotically controls size by applying a level-adjusted permutation test to a

Tatsuto Murayama, Asaki Saito, Peter Davis

A spin system can be thought of as an information coding system that transfers information of the interaction configuration into information of the equilibrium state of the spin variables. Hence it can be expected that the relations between the interaction configuration and equilibrium states are consistent with the known laws of information theory. We show

Maen Alzubi, Szilvester Kovács

Fuzzy Rule Interpolation (FRI) reasoning methods have been introduced to address sparse fuzzy rule bases and reduce complexity. The first FRI method was the Koczy and Hirota (KH) proposed "Linear Interpolation". Besides, several conditions and criteria have been suggested for unifying the common requirements FRI methods have to satisfy. One of the mo

So Takei

An easy-plane ferromagnetic insulator in a uniform external magnetic field and in contact with a phonon bath and a normal metal bath is studied theoretically in the presence of dc spin current injection via the spin Hall effect in the metal. The Keldysh path integral formalism is used to model the magnon gas driven into a nonequilibrium steady state by misma

Robert Connelly, Maurice Pierre

Suppose one has a collection of disks of various sizes with disjoint interiors, a packing in the plane, and suppose the ratio of the smallest radius divided by the largest radius lies between $1$ and $q$. In his 1964 book Regular Figures (MR0165423), László Fejes Tóth found a series of packings that were his best guess for the maximum density for any $1 > q

Katerina Verteletsky, Klaus Moelmer

We analyze an autonomous thermoelectric engine composed of two superconducting qubits coupled to separate heat baths and connected by a Josephson junction. Work and heat are process quantities and not observables of the engine quantum system, but their rates can be derived from the steady state expectation value of appropriate system observables and their fl

Muharrem Arik, Ozgur B. Akan

Recently, huge attention is attracted to the concept of integrating communication and radar missions within the same platform. Joint radar-communications (JRC) system gives an important opportunity to reduce spectrum usage and product cost while doing concurrent operation, as target sensing via radar processing and establishing communication links. A JRC-cap

Guy Gaziv

The Algonauts challenge requires to construct a multi-subject encoder of images to brain activity. Deep networks such as ResNet-50 and AlexNet trained for image classification are known to produce feature representations along their intermediate stages which closely mimic the visual hierarchy. However the challenges introduced in the Algonauts project, inclu

J. F. Jesus, R. Valentim, P. H. R. S. Moraes, M. Malheiro

An approach to estimate the spatial curvature $Ω_k$ from data independently of dynamical models is suggested, through kinematic parameterizations of the comoving distance ($D_{C}(z)$) with third degree polynomial, of the Hubble parameter ($H(z)$) with a second degree polynomial and of the deceleration parameter ($q(z)$) with first order polynomial. All these