February 2019 arXiv papers — page 54

Detlev Buchholz, Klaus Fredenhagen

A novel C*-algebraic framework is presented for relativistic quantum field theories, fixed by a Lagrangean. It combines the postulates of local quantum physics, encoded in the Haag-Kastler axioms, with insights gained in the perturbative approach to quantum field theory. Key ingredients are an appropriate version of Bogolubov's relative $S$-operators and a r

Devansh Bisla, Anna Choromanska, Jennifer A. Stein, David Polsky

Melanoma is one of the ten most common cancers in the US. Early detection is crucial for survival, but often the cancer is diagnosed in the fatal stage. Deep learning has the potential to improve cancer detection rates, but its applicability to melanoma detection is compromised by the limitations of the available skin lesion databases, which are small, heavi

M. Dajczer, Th. Vlachos

Austere submanifolds of Euclidean space were introduced in 1982 by Harvey and Lawson in their foundational work on calibrated geometries. In general, the austerity condition is much stronger than minimality since it express that the nonzero eigenvalues of the shape operator of the submanifold appear in opposite pairs for any normal vector at any point. There

Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning

Programming digital contracts comes with unique challenges, which include (i) expressing and enforcing protocols of interaction, (ii) controlling resource usage, and (iii) preventing the duplication or deletion of a contract's assets. This article presents the design and type-theoretic foundation of Nomos, a programming language for digital contracts tha

Thong Hoang, Julia Lawall, Richard J. Oentaryo, Yuan Tian

This work proposes PatchNet, an automated tool based on hierarchical deep learning for classifying patches by extracting features from commit messages and code changes. PatchNet contains a deep hierarchical structure that mirrors the hierarchical and sequential structure of a code change, differentiating it from the existing deep learning models on source co

Qian Wang, Yangfan Shao, Penglai Gong, Xingqiang Shi

Thicknesses-dependent performance of metal-two-dimensional (2D) semiconductor junctions (MSJ) in electronics/optoelectronics have attracted increasing attention, but till present, people have little knowledge about the micro-mechanism of the thicknesses (or layer-number) dependence. Here, by first-principles calculations based on density functional theory, w

Graziano Crasta, Virginia De Cicco, Annalisa Malusa

We introduce a family of pairings between a bounded divergence-measure vector field and a function $u$ of bounded variation, depending on the choice of the pointwise representative of $u$. We prove that these pairings inherit from the standard one, introduced in [6,10], all the main properties and features (e.g. coarea, Leibniz and Gauss--Green formulas). We

Khuong Vo, Tri Nguyen, Dang Pham, Mao Nguyen

Sentiment analysis has been emerging recently as one of the major natural language processing (NLP) tasks in many applications. Especially, as social media channels (e.g. social networks or forums) have become significant sources for brands to observe user opinions about their products, this task is thus increasingly crucial. However, when applied with real

G. Sivaganesh, A. Arulgnanam, A. N. Seethalakshmi

In this paper, we report the enhanced stability of induced synchronization by transient uncoupling observed in certain unidirectionally coupled second-order chaotic systems. The stability of synchronization observed in the coupled systems subjected to transient uncoupling is analyzed using the {\emph{Master Stability Function}}. The existence of the coupled

Jing-Jing Huang, Huixi Li

We obtain asymptotic formulae with optimal error terms for the number of lattice points under and near a dilation of the standard parabola, the former improving upon an old result of Popov. These results can be regarded as achieving the square root cancellation in the context of the parabola, whereas its analogues are wide open conjectures for the circle and

Xin Ma

In this paper, we construct a semigroup associated to an action of countable discrete group on a compact Hausdorff space, that can be regarded as a higher dimensional generalization of the type semigroup. Using this generalized type semigroup we obtain a new characterization of dynamical comparison. This answers a question of Kerr and Schafhauser. In additio

Jiangmiao Pang, Cong Li, Jianping Shi, Zhihai Xu

Recently, the convolutional neural network has brought impressive improvements for object detection. However, detecting tiny objects in large-scale remote sensing images still remains challenging. First, the extreme large input size makes the existing object detection solutions too slow for practical use. Second, the massive and complex backgrounds cause ser

Tien-Son Pham

Given a polynomial function $f \colon \mathbb{R}^n \rightarrow \mathbb{R}$ and a unbounded basic closed semi-algebraic set $S \subset \mathbb{R}^n,$ in this paper we show that the conditions listed below are characterized exactly in terms of the so-called {\em tangency variety} of $f$ on $S$: (i) The $f$ is bounded from below on $S;$ (ii) The $f$ attains its

Yanchen Deng, Ziyu Chen, Dingding Chen, Xingqiong Jiang

Asymmetric Distributed Constraint Optimization Problems (ADCOPs) have emerged as an important formalism in multi-agent community due to their ability to capture personal preferences. However, the existing search-based complete algorithms for ADCOPs can only use local knowledge to compute lower bounds, which leads to inefficient pruning and prohibits them fro

Lin Dong, Sujit K. Ghosh

In recent years there have been a lot of interest to test for similarity between biological drug products, commonly known as biologics. Biologics are large and complex molecule drugs that are produced by living cells and hence these are sensitive to the environmental changes. In addition, biologics usually induce antibodies which raises the safety and effica

Michihiro Yasunaga, John Lafferty

Scientific documents rely on both mathematics and text to communicate ideas. Inspired by the topical correspondence between mathematical equations and word contexts observed in scientific texts, we propose a novel topic model that jointly generates mathematical equations and their surrounding text (TopicEq). Using an extension of the correlated topic model,

Xiaofa Chen, Xiao-Wu Chen

We give two proofs to the following theorem and its generalization: if a finite dimensional algebra $A$ is derived equivalent to a smooth projective scheme, then any derived equivalence between $A$ and another algebra $B$ is standard, that is, isomorphic to the derived tensor functor by a two-sided tilting complex. The main ingredients of the proofs are as f

Michael M. Saint-Antoine, Abhyudai Singh

One challenge in gene network inference is distinguishing between direct and indirect regulation. Some algorithms, including ARACNE and Phixer, approach this problem by using pruning methods to eliminate redundant edges in an attempt to explain the observed data with the simplest possible network structure. However, we hypothesize that there may be a cost in

Liang Zhang, Kun Jiang, Cheng Li, Feng Liu

Measurements of two-particle azimuthal angle correlations are a useful tool to study the distribution of jet energy loss, however, they are complicated because of the significant anisotropic flow background. We devise a data-driven method for subtracting anisotropic flow background in jet-like correlation analysis. We first require a large recoil momentum ($

Mario Krenn, Xuemei Gu, Daniel Soltész

We state a number of related questions on the structure of perfect matchings. Those questions are inspired by and directly connected to Quantum Physics. In particular, they concern the constructability of general quantum states using modern photonic technology. For that we introduce a new concept, denoted as inherited vertex coloring. It is a vertex coloring

Enguerrand Horel, Kay Giesecke

We develop a pivotal test to assess the statistical significance of the feature variables in a single-layer feedforward neural network regression model. We propose a gradient-based test statistic and study its asymptotics using nonparametric techniques. Under technical conditions, the limiting distribution is given by a mixture of chi-square distributions. T

Luis Nieto-Barajas, Gabriel Nuñez-Antonio

One way of defining probability distributions for circular variables (directions in two dimensions) is to radially project probability distributions, originally defined on $\mathbb{R}^2$, to the unit circle. Projected distributions have proved to be useful in the study of circular and directional data. Although any bivariate distribution can be used to produ

René Heller, Kai Rodenbeck, Giovanni Bruno

Kepler and Hubble photometry of a total of four transits by the Jupiter-sized Kepler-1625b have recently been interpreted to show evidence of a Neptune-sized exomoon. The profound implications of this first possible exomoon detection and the physical oddity of the proposed moon, that is, its giant radius prompt us to re-examine the data and the Bayesian Info

Lars Winther Christensen, Dejun Wu

Let $R \to S$ be a local ring homomorphism and $N$ a finitely generated $S$-module. We prove that if the Gorenstein injective dimension of $N$ over $R$ is finite, then it equals the depth of $R$.

Lingxuan Zhang, Xiaochen Sun, Wenfu Zhang, Guoxi Wang

We propose an on-chip Si photonics optical phased array based on a serial grating design which eliminates the use of directional couplers in previous designs. It significantly reduces overall phased array size especially when the number of the antenna is small which is often demanded in practice. The simulation results show our design reduces overall phased

Zhenfeng Cao

A human brain is capable of continual learning by nature; however the current mainstream deep neural networks suffer from a phenomenon named catastrophic forgetting (i.e., learning a new set of patterns suddenly and completely would result in fully forgetting what has already been learned). In this paper we propose a generic learning model, which regards a l

Thiago Freitas dos Santos, Paulo E. Santos, Leonardo A. Ferreira, Reinaldo A. C. Bianchi

Spatial puzzles composed of rigid objects, flexible strings and holes offer interesting domains for reasoning about spatial entities that are common in the human daily-life's activities. The goal of this work is to investigate the automated solution of this kind of puzzles adapting an algorithm that combines Answer Set Programming (ASP) with Markov Decis

Junqing Tang, Hans R. Heinimann

Financial markets can be seen as complex systems that are constantly evolving and sensitive to external disturbance, such as systemic risks and economic instabilities. Analysis of resilient market performance, therefore, becomes useful for investors. From a systems perspective, this paper proposes a novel function-based resilience metric that considers the e

Boyang Zhang

With the rapid development of AI technologies, thousands of AI papers are being published each year. Many of these papers have released sample code to facilitate follow-up researchers. This paper presents an explorative study of over 1700 code repositories of AI papers hosted on GitHub. We find that these repositories are often poorly written, lack of docume

Xinyun Zou, Soheil Kolouri, Praveen K. Pilly, Jeffrey L. Krichmar

In uncertain domains, the goals are often unknown and need to be predicted by the organism or system. In this paper, contrastive excitation backprop (c-EB) was used in a goal-driven perception task with pairs of noisy MNIST digits, where the system had to increase attention to one of the two digits corresponding to a goal (i.e., even, odd, low value, or high

Silvija Kokalj-Filipovic, Rob Miller, Nicholas Chang, Chi Leung Lau

Adversarial examples in machine learning for images are widely publicized and explored. Illustrations of misclassifications caused by slightly perturbed inputs are abundant and commonly known (e.g., a picture of panda imperceptibly perturbed to fool the classifier into incorrectly labeling it as a gibbon). Similar attacks on deep learning (DL) for radio freq

Francisco Benita, Garvit Bansal, Georgios Piliouras, Bige Tunçer

This study models and examines commuter's preferences for short-distance transportation modes, namely: walking, taking a bus or riding a metro. It is used a unique dataset from a large-scale field experiment in Singapore that provides rich information about tens of thousands of commuters' behavior. In contrast to the standard approach, this work does

Masatoshi Yamaguchi, Goki Iwamoto, Hakaru Tamukoh, Takashi Morie

A time-domain analog-weighted-sum calculation model based on a pulse-width modulation (PWM) approach is proposed. The proposed calculation model can be applied to any types of network structure including multi-layer feedforward networks. We also propose very large-scale integrated (VLSI) circuits to implement the proposed model. Unlike the conventional analo

Kenneth I Aycock, Nuno Rebelo, Brent A Craven

Much progress has been made in advancing and standardizing verification, validation, and uncertainty quantification practices for computational modeling in recent decades. However, examples of rigorous code verification for solid mechanics problems in the literature remain scarce, particularly for commercial software and for the non-trivial large-deformation

Mihai Caragiu, Shannon Tefft, Aaron Kemats, Travis Maenle

We investigate the linear complexities of the periodic 0-1 infinite sequences in which the periods are the sequence of the parities of the spacings between quadratic residues modulo a prime p, and the sequence of the parities of the spacings between primitive roots modulo p, respectively. In either case, the Berlekamp-Massey algorithm running on MAPLE comput

Zhenyu Yan, Qun Song, Rui Tan, Yang Li

This paper presents TouchAuth, a new touch-to-access device authentication approach using induced body electric potentials (iBEPs) caused by the indoor ambient electric field that is mainly emitted from the building's electrical cabling. The design of TouchAuth is based on the electrostatics of iBEP generation and a resulting property, i.e., the iBEPs at

Rohil Badkundri, Victor Valbuena, Srikusmanjali Pinnamareddy, Brittney Cantrell

The ongoing Yemen cholera outbreak has been deemed one of the worst cholera outbreaks in history, with over a million people impacted and thousands dead. Triggered by a civil war, the outbreak has been shaped by various political, environmental, and epidemiological factors and continues to worsen. While cholera has several effective treatments, the untimely

Yu Han, Qi Liu, Chao-Kai Wen, Shi Jin

Massive multiple-input multiple-output (MIMO) systems deploying a large number of antennas at the base station considerably increase the spectrum efficiency by serving multiple users simultaneously without causing severe interference. However, the advantage relies on the availability of the downlink channel state information (CSI) of multiple users, which is

Paolo Lipari

Recent precision measurements of the flux of cosmic ray positrons by the Alpha Magnetic Spectrometer show that the spectrum has a marked softening feature for energies close to one TeV. A possible interpretation of this result is that the observed feature measures the maximum energy of a new hard source of positrons perhaps associated to dark matter self--an

Ludwik Dobrzyński, Krzysztof W. Fornalski, Joanna Reszczyńska, Marek K. Janiak

This paper focuses on the analytic modelling of responses of cells in the body to ionizing radiation. The related mechanisms are consecutively taken into account and discussed. A model of the dose- and time-dependent adaptive response is considered, for two exposure categories: acute and protracted. In case of the latter exposure, we demonstrate that the res

Jack H. Lutz, Neil Lutz, Robyn R. Lutz, Matthew R. Riley

Matter, especially DNA, is now programmed to carry out useful processes at the nanoscale. As these programs and processes become more complex and their envisioned safety-critical applications approach deployment, it is essential to develop methods for engineering trustworthiness into molecular programs. Some of this can be achieved by adapting existing softw

Jianhao Zhang, Carlos Alonso-Ramos, Laurent Vivien, Sailing He

We propose a new approach to provide wideband multi-mode four-wave mixing, independent of the intrinsic waveguide dispersion. We adopt concepts from quantum mechanics and sub-wavelength engineering to design an effective photon well, with a graded potential along the waveguide cross section, that provides flexible control over the mode confinement. The self-

Maximilian Balmus, Andre Massing, Johan Hoffman, Reza Razavi

For problems involving large deformations of thin structures, simulating fluid-structure interaction (FSI) remains challenging largely due to the need to balance computational feasibility, efficiency, and solution accuracy. Overlapping domain techniques have been introduced as a way to combine the fluid-solid mesh conformity, seen in moving-mesh methods, wit

Ikhtier Umirzakov

It is shown that the energy spectrum of the pure vibrational levels of the molecule consisting of two atoms interacting with each other via the modified Rosen-Morse potential, the analytical expressions for the vibrational partition function and enthalpy of the diatomic molecule, obtained in the paper Prediction of enthalpy for nitrogen gas, M. Deng, C.S. Ji

Corey Jones, Scott Morrison, Dmitri Nikshych, Eric C. Rowell

We establish rank-finiteness for the class of $G$-crossed braided fusion categories, generalizing the recent result for modular categories and including the important case of braided fusion categories. This necessitates a study of slightly degenerate braided fusion categories and their centers, which are interesting for their own sake.

Gustavo V. López, Jorge Lizarraga

We consider the 1-D motion of an electron under a periodic force and taking into account the effect of radiation reaction dissipation force on its motion, using the formulation of the radiation reaction force as a function of the external force. Two cases are considered: a simple sinusoidal time depending force, and sinusoidal electromagnetic force with posi

Longlong Jing, Yingli Tian

Large-scale labeled data are generally required to train deep neural networks in order to obtain better performance in visual feature learning from images or videos for computer vision applications. To avoid extensive cost of collecting and annotating large-scale datasets, as a subset of unsupervised learning methods, self-supervised learning methods are pro

Feihu Huang, Bin Gu, Zhouyuan Huo, Songcan Chen

Proximal gradient method has been playing an important role to solve many machine learning tasks, especially for the nonsmooth problems. However, in some machine learning problems such as the bandit model and the black-box learning problem, proximal gradient method could fail because the explicit gradients of these problems are difficult or infeasible to obt

Serge Bielawski, Edmund Blomley, Miriam Brosi, Erik Bründermann

In recent and future synchrotron radiation facilities, relativistic electron bunches with increasingly high charge density are needed for producing brilliant light at various wavelengths, from X-rays to terahertz. In such conditions, interaction of electrons bunches with their own emitted electromagnetic fields leads to instabilities and spontaneous formatio

Sean Parsons, Jan Huizinga

Heart rate variability studies depend on the robust calculation of the tachogram, the heart rate times series, usually by the detection of R peaks in the electrocardiogram (ECG). ECGs however are subject to a number of sources of noise which are difficult to filter and therefore reduce the tachogram accuracy. We describe a pipeline for fast calculation of ta

Gülnihal Tokgöz

In this thesis, Maggiore's method (MM), which evaluates the transition frequency that appears in the adiabatic invariant from the highly damped quasinormal mode frequencies (QNMFs), is used to investigate the entropy and area spectra of the Garfinkle-Horowitz-Strominger black hole (GHSBH), the four-dimensional Lifshitz black hole with zero dynamical expo

Bin Li, Jia Liu

The proliferation of smart mobile devices has spurred an explosive growth of mobile crowd-learning services, where service providers rely on the user community to voluntarily collect, report, and share real-time information for a collection of scattered points of interest. A critical factor affecting the future large-scale adoption of such mobile crowd-learn

Jack O. Burns, S. Bale, N. Bassett, J. Bowman

The Dark Ages, probed by the redshifted 21-cm signal, is the ideal epoch for a new rigorous test of the standard LCDM cosmological model. Divergences from that model would indicate new physics, such as dark matter decay (heating) or baryonic cooling beyond that expected from adiabatic expansion of the Universe. In the early Universe, most of the baryonic mat

Peter T. Breuer

Encrypted computing is an emerging technology based on a processor that `works encrypted', taking encrypted inputs to encrypted outputs while data remains in encrypted form throughout. It aims to secure user data against possible insider attacks by the operator and operating system (who do not know the user's encryption key and cannot access it in th

Guy Tchuente

The identification of the network effect is based on either group size variation, the structure of the network or the relative position in the network. I provide easy-to-verify necessary conditions for identification of undirected network models based on the number of distinct eigenvalues of the adjacency matrix. Identification of network effects is possible

Christophe Finot, Hervé Rigneault

Using the space-time duality we theoretically and experimentally revisit the Arago spot formation in the time domain and explore the temporal emergence of a bright spot in the time shadow of an initial waveform. We describe the linear regime of propagation using Fresnel's integrals and show that in the presence of Kerr nonlinearity the Arago spot formati

Anas El Ankouri, Luiz Neto, Gaël Simon, Hugues Le Bras

We successfully demonstrate a transmission of a high layer split mobile interface for cell-less, high-speed train network applications using a commercially available XGS-PON. Operation is also demonstrated for a GbE interface.

Rémi de Joannis de Verclos

We prove that the class of chordal graphs is easily testable in the following sense. There exists a constant $c>0$ such that, if adding/removing at most $εn^2$ edges to a graph $G$ with $n$ vertices does not make it chordal, then a set of $(1/ε)^c$ vertices of $G$ chosen uniformly at random induces a graph that is not chordal with probability at least $1/2$.

Nicholas Hyldmar, Yijun He, Amanda Prorok

We introduce a unique experimental testbed that consists of a fleet of 16 miniature Ackermann-steering vehicles. We are motivated by a lack of available low-cost platforms to support research and education in multi-car navigation and trajectory planning. This article elaborates the design of our miniature robotic car, the Cambridge Minicar, as well as the fl

Jang Ik Cho, Xiaofeng Wang, Yifan Xu, Jiayang Sun

Large sequences of images (or movies) can now be obtained on an unprecedented scale, which poses fundamental challenges to the existing image analysis techniques. The challenges include heterogeneity, (automatic) alignment, multiple comparisons, potential artifacts, and hidden noises. This paper introduces our MATLAB package, Longitudinal Image Sequence Anal

Diane Genest, Marc Léonard, Jean Cousty, Noémie De Crozé

Fish embryo models are increasingly being used both for the assessment of chemicals efficacy and potential toxicity. This article proposes a methodology to automatically detect the swim bladder on 2D images of Medaka fish embryos seen either in dorsal view or in lateral view. After embryo segmentation and for each studied orientation, the method builds an at

Thomas Renaud, Christophe Benoit, Stephanie Péron, Ivan Mary

This paper sums up some recent validations of an immersed boundary method for compressible flow simulations. It has been already shown that this method is able to provide accurate results without meshing effort around more or less complex geometries. Here, the authors focus on several simple test cases to assess the application range of the method. From subs

Alexandre Aksenov, Pierre-Olivier Amblard, Olivier Michel, Christian Jutten

The measure timetable plays a critical role for the accuracy of the estimator. This article deals with the optimization of the schedule of measures for observing a random process in time using a Kalman filter, when the length of the process is finite and fixed, and a fixed number of measures are available. The measuring devices are allowed to differ. The mea

Filippo Frontera

Twenty years have already been elapsed from the BeppoSAX discovery of the first afterglow of a Gamma Ray Burst (GRB) on February 28, 1997. Thanks to this discovery, it was possible to unveil the 30 year mystery about GRB origin: GRBs are huge explosions in galaxies at cosmological distances. Starting from the first GRB detection with Vela satellites, I will

Yan Wang, Jenny List, Mikael Berggren

We study the search for an extra scalar $S$ boson produced in association with the $Z$ boson at the International Linear Collider (ILC). The study is performed at center-of-mass energies of 250 GeV and 500 GeV based on the full simulation of the International Large Detector (ILD). In order to be as model-independent as possible, the analysis uses the recoil

Jing Zhang

Consider two kinds of 1-d Hamiltonian Derivative Nonlinear Schrödinger (DNLS) equations with respect to different symplectic forms under periodic boundary conditions. The nonlinearities of these equations depend not only on $(x,ψ,\barψ)$ but also on $(ψ_x,\barψ_x)$, which means the nonlinearities of these equations are unbounded. Suppose that the nonlinearit

Y. V. Kartashov, V. V. Konotop, M. Modugno, E. Ya. Sherman

We introduce an exactly integrable nonlinear model describing the dynamics of spinor solitons in space-dependent matrix gauge potentials of rather general types. The model is shown to be gauge equivalent to the integrable system of vector nonlinear Schrödinger equations known as the Manakov model. As an example we consider a self-attractive Bose-Einstein con

Miguel Levy, Olga V. Borovkova, Colin Sheidler, Brandon Blasiola

In previous decades significant efforts have been devoted to increasing the magneto-optical efficiency of iron garnet materials for the miniaturization of nonreciprocal devices such as isolators and circulators. Elemental substitutions or proper nano-structuring to benefit from optical resonances have been pursued. However, all these approaches still require

Valentin Bakoev

One matrix structure in the area of monotone Boolean functions is defined here. Some of its combinatorial, algebraic and algorithmic properties are derived. On the base of these properties, three algorithms are built. First of them generates all monotone Boolean functions of $n$ variables in lexicographic order. The second one determines the first (resp. the

Marie-Claude Arnaud, Xifeng Su

We introduce a notion of upper Green regular solutions to the Lax-Oleinik semi-group that is defined on the set of $C^0$ functions of a closed manifold via a Tonelli Lagrangian. Then we prove some weak $C^2$ convergence results to such a solution for a large class of approximated solutions as (1) the discounted solution (see [DFIZ16]); (2) the image of a $C^

Qilin Li, Senjian An, Ling Li, Wanquan Liu

Graph-based semi-supervised learning usually involves two separate stages, constructing an affinity graph and then propagating labels for transductive inference on the graph. It is suboptimal to solve them independently, as the correlation between the affinity graph and labels are not fully exploited. In this paper, we integrate the two stages into one unifi

Atul Dixit

We give a simple and a more explicit proof of a mod $4$ congruence for a series involving the little $q$-Jacobi polynomials which arose in a recent study of a certain restricted overpartition function.

Oswin Aichholzer, Jean Cardinal, Tony Huynh, Kolja Knauer

Flip graphs are a ubiquitous class of graphs, which encode relations induced on a set of combinatorial objects by elementary, local changes. Skeletons of associahedra, for instance, are the graphs induced by quadrilateral flips in triangulations of a convex polygon. For some definition of a flip graph, a natural computational problem to consider is the flip

Mohammad Hossein Zarei, Afshin Montakhab

It is well-known that the partition function of a classical spin model can be mapped to a quantum entangled state where some properties on one side can be used to find new properties on the other side. However, the consequences of the existence of a classical (critical) phase transition on the corresponding quantum state has been mostly ignored. This is part

Alessandro Ghigi, Gian Pietro Pirola, Sara Torelli

In this paper we study totally geodesic subvarieties $Y \subset \mathsf{A}_g$ of the moduli space of principally polarized abelian varieties with respect to the Siegel metric, for $g\geq 4$. We prove that if $Y$ is generically contained in the Torelli locus, then $\dim Y \leq (7g -2)/3$.

Andreas Abel, Christian Sattler

We observe that normalization by evaluation for simply-typed lambda-calculus with weak coproducts can be carried out in a weak bi-cartesian closed category of presheaves equipped with a monad that allows us to perform case distinction on neutral terms of sum type. The placement of the monad influences the normal forms we obtain: for instance, placing the mon

Aniket Kate, Andrew Miller, Tom Yurek

In this work we present hbAVSS, the Honey Badger of Asynchronous Verifiable Secret Sharing (AVSS) protocols - an AVSS protocol that guarantees linear amortized communication overhead even in the worst case. The best prior work can achieve linear overhead only at a suboptimal resilience level (t < n/4) or by relying on optimism (falling back to quadratic over

Sangarshanan Veeraraghavan

In recent years several novel models were developed to process natural language, development of accurate language translation systems have helped us overcome geographical barriers and communicate ideas effectively. These models are developed mostly for a few languages that are widely used while other languages are ignored. Most of the languages that are spok

Andrzej Pelc, Ram Narayan Yadav

A mobile agent has to find an inert treasure hidden in the plane. Both the agent and the treasure are modeled as points. This is a variant of the task known as treasure hunt. The treasure is at a distance at most $D$ from the initial position of the agent, and the agent finds the treasure when it gets at distance $r$ from it, called the {\em vision radius}.

Vincent E. Coll,, Lee B. Whitt

Minding&#39;s most celebrated result is his namesake theorem of 1839 which established that all surfaces having the same constant curvature must be locally isometric. Today, Minding&#39;s theorem is a staple in differential geometry textbooks. But, to the best of our knowledge, all published proofs of it, inclusive of Minding&#39;s original argument are exis

Mijie Shi, Bo Li, Zhenghua Huang, Shaoxia Chen

Inspired by recent IRIS observations, we forward model the response of the Fe XXI 1354 Å line to fundamental, standing, linear fast sausage modes (FSMs) in flare loops. Starting with the fluid parameters for an FSM in a straight tube with equilibrium parameters largely compatible with the IRIS measurements, we synthesize the line profiles by incorporating th

Fosco Loregian

We prove a Fubini rule for $\infty$-co/ends of $\infty$-functors $F : \mathcal C^\text{op}\times\mathcal C\to \mathcal D$. This allows to lay down &#34;integration rules&#34;, similar to those in classical co/end calculus, also in the setting of $\infty$-categories.

Jorge Clarke, Christian Olivera

We study the $L^{p}$-solutions for the semilinear heat equation with unbounded coefficients and driven by a infinite dimensional fractional Brownian motion with self-similarity parameter $H > 1/2$. Existence and uniqueness of local mild solutions are showed.

Haruko A. Miyazawa, Kodai Wada, Akira Yasuhara

Two string links are equivalent up to $2n$-moves and link-homotopy if and only if their all Milnor link-homotopy invariants are congruent modulo $n$. Moreover, the set of the equivalence classes forms a finite group generated by elements of order $n$. The classification induces that if two string links are equivalent up to $2n$-moves for every $n>0$, then th

Rauan Akylzhanov, Elijah Liflyand, Michael Ruzhansky

In this paper we consider the re-expansion problems on compact Lie groups. First, we establish weighted versions of classical re-expansion results in the setting of multi-dimensional tori. A natural extension of the classical re-expansion problem to general compact Lie groups can be formulated as follows: given a function on the maximal torus of a compact Li

Fosco Loregian

We record an explicit proof of the theorem that lifts a two-variable adjunction to the arrow categories of its domains.

Yohsuke Matsuzawa, Shou Yoshikawa

We investigate int-amplified endomorphisms on normal projective surfaces. We prove that the output of the equivariant MMP is either a Q-abelian surface, a (equivariant) quasi-étale quotient of a smooth projective surface, a Mori dream space, or a projective cone of an elliptic curve.

Yan-Hong Yang, Wen-Jie Xie, Ming-Xia Li, Zhi-Qiang Jiang

User activity fluctuations reflect the performance of online society. We investigate the statistical properties of 1-min user activity time series of simultaneously online users inhabited in 95 independent virtual worlds. The number of online users exhibits clear intraday and weekly patterns due to human&#39;s circadian rhythms and week cycles. Statistical a

Yu Feng, Emina Torlak, Rastislav Bodik

Smart contracts are programs running on top of blockchain platforms. They interact with each other through well-defined interfaces to perform financial transactions in a distributed system with no trusted third parties. But these interfaces also provide a favorable setting for attackers, who can exploit security vulnerabilities in smart contracts to achieve

Varshaneya V, Balasubramanian S, Darshan Gera

One of the ways to train deep neural networks effectively is to use residual connections. Residual connections can be classified as being either identity connections or bridge-connections with a reshaping convolution. Empirical observations on CIFAR-10 and CIFAR-100 datasets using a baseline Resnet model, with bridge-connections removed, have shown a signifi

L. Ambrogi, R. Zanin, S. Casanova, E. De Ona Wilhelmi

We investigate the nature of the accelerated particles responsible for the production of the gamma-ray emission observed from the middle-aged supernova remnant (SNR) HB 21. The analysis of more than nine years of Fermi LAT data leads to the observation of an extended emission positionally in agreement with the SNR HB 21. The bulk of this gamma-ray emission i

Arianna Bottinelli, Marco Gherardi, Marc Barthelemy

Characterizing the spatio-temporal evolution of networks is a central topic in many disciplines. While network expansion has been studied thoroughly, less is known about how empirical networks behave when shrinking. For transportation networks, this is especially relevant on account of their connection with the socio-economical substrate, and we focus here o

Lev Yungelson, Alexandre Kuranov, Konstantin Postnov

We present a new model of the population of symbiotic X-ray binaries (SyXBs) that takes into account non-stationary character of quasi-spherical sub-sonic accretion of the red giant&#39;s stellar wind onto slowly rotating neutron stars. Updates of the earlier models are given, which include more strict criteria of slow NS rotation for plasma entry into the N

Gopikrishnan C. Remesan

A novel numerical technique has been proposed to solve a two-phase tumour growth model in one spatial dimension without needing to account for the boundary dynamics explicitly. The equivalence to the standard definition of a weak solution is proved. The method is tested against equations with analytically known solutions, to illustrate the advantages over th

Fang Wan, Pengxu Wei, Zhenjun Han, Jianbin Jiao

Weakly supervised object detection is a challenging task when provided with image category supervision but required to learn, at the same time, object locations and object detectors. The inconsistency between the weak supervision and learning objectives introduces significant randomness to object locations and ambiguity to detectors. In this paper, a min-ent

Ting Qing, Shupeng Li, Zhenzhou Tang, Bindong Gao

Optical vector analysis (OVA) having the capability to achieve magnitude and phase responses is essential for fabrication and application of emerging optical devices. However, the conventional OVA often have to make compromises among resolution, dynamic range and bandwidth. Modulation-based OVA promises ultra-high resolution but suffers from measurement erro

Vassilis Polimenis, Ioannis Neokosmidis

Dividend yields have been widely used in previous research to relate stock market valuations to cash flow fundamentals. However, this approach relies on the assumption that dividend yields are stationary. Due to the failure to reject the hypothesis of a unit root in the classical dividend-price ratio for the US stock market, Polimenis and Neokosmidis (2016)

Junqing Tang, Hans R. Heinimann, Ke Han

We proposed a Bayesian Network Model (BNM) based on function-oriented resilience framework and ontological interdependence among 10 system qualities to probabilistically assess the general resilience of the road transportation system in Beijing from 1997 to 2016. We tested the model with multi-source data collected from various sectors. The system qualities

Liang Zhang

We employ a data-driven method to subtract the flow background of all harmonics by calculating the difference of the two-particle correlations between the close-region and far-region, determined depending on the pseudo-rapidity ($η$) distance from the region where an enhanced recoil transverse momentum ($P_x$) from a high-$p_T$ trigger particle is selected.

B. G. Konopelchenko, W. K. Schief

Based on the commutativity of scalar vector fields, an algebraic scheme is developed which leads to a privileged multi-dimensionally consistent 2n+2n-dimensional integrable partial differential equation with the associated eigenfunction constituting an infinitesimal symmetry. The &#34;universal&#34; character of this novel equation of vanishing Pfaffian type