January 2022 arXiv papers — page 30

Fang Liu, Ge Li, Zhiyi Fu, Shuai Lu

In programming, the names for the program entities, especially for the methods, are the intuitive characteristic for understanding the functionality of the code. To ensure the readability and maintainability of the programs, method names should be named properly. Specifically, the names should be meaningful and consistent with other names used in related con

Hoijoon Jung, Younhyun Jung, Michael Fulham, Jinman Kim

Mixed reality head-mounted displays (mxdR-HMD) have the potential to visualize volumetric medical imaging data in holograms to provide a true sense of volumetric depth. An effective user interface, however, has yet to be thoroughly studied. Tangible user interfaces (TUIs) enable a tactile interaction with a hologram through an object. The object has physical

Hanqiu Deng, Xingyu Li

Knowledge distillation (KD) achieves promising results on the challenging problem of unsupervised anomaly detection (AD).The representation discrepancy of anomalies in the teacher-student (T-S) model provides essential evidence for AD. However, using similar or identical architectures to build the teacher and student models in previous studies hinders the di

Reiner Brüning, André Kubetzka, Kirsten von Bergmann, Elena Y. Vedmedenko

Spin-polarized scanning tunneling microscopy has been applied to study non-collinear spin textures of a Mn monolayer on a four-fold symmetric W(001) substrate revealing a zero-field spin spiral ground state and two different types of rotational domain walls. With an applied magnetic field of 9 T, we observe a coexistence of the spin spiral and the skyrmion p

Y. Suzuki, K. Wakamatsu, J. Ibuka, H. Oike

The pairing of interacting fermions leading to superfluidity has two limiting regimes: the Bardeen-Cooper-Schrieffer (BCS) scheme for weakly interacting degenerate fermions and the Bose-Einstein condensation (BEC) of bosonic pairs of strongly interacting fermions. While the superconductivity that emerges in most metallic systems is the BCS-like electron pair

Kaihao Zhang, Wenqi Ren, Wenhan Luo, Wei-Sheng Lai

Image deblurring is a classic problem in low-level computer vision with the aim to recover a sharp image from a blurred input image. Advances in deep learning have led to significant progress in solving this problem, and a large number of deblurring networks have been proposed. This paper presents a comprehensive and timely survey of recently published deep-

Tao Jiang, Sean Longbrake

The celebrated dependent random choice lemma states that in a bipartite graph an average vertex (weighted by its degree) has the property that almost all small subsets $S$ in its neighborhood has common neighborhood almost as large as in the random graph of the same edge-density. Two well-known applications of the lemma are as follows. The first is a theorem

Alireza Famili, Angelos Stavrou, Haining Wang, Jung-Min

Drones in many applications need the ability to fly fully or partially autonomously to accomplish their mission. To allow these fully/partially autonomous flights, first, the drone needs to be able to locate itself constantly. Then the navigation command signal would be generated and passed on to the controller unit of the drone. In this paper, we propose a

Renzo Cavalieri, Damiano Fulghesu

For any odd integer $d$, we give a presentation for the integral Chow ring of the stack $\Mcal_{0}(\Pro^r, d)$, as a quotient of the polynomial ring $\Z[c_1,c_2]$. We describe an efficient set of generators for the ideal of relations, and compute them in generating series form. The paper concludes with explicit computations of some examples for low values of

Michael Pupulin, Xiang-Sheng Wang, Messoud A Efendiev, Thomas Giletti

Fire blight is a bacterial plant disease that affects apple and pear trees. We present a mathematical model for its spread in an orchard during bloom. This is a PDE-ODE coupled system, consisting of two semilinear PDEs for the pathogen, coupled to a system of three ODEs for the stationary hosts. Exploratory numerical simulations suggest the existence of trav

Carlos Aliaga, Christophe Hery, Mengqi Xia

We present a new method to reconstruct and manipulate the spectral properties of human skin from simple RGB albedo captures. To this end, we leverage Monte Carlo light simulation over an accurate biophysical human skin layering model parameterized by its most important components, thereby covering a plausible range of colors. The practical complexity of the

William H. Oliver, Pascal J. Elahi, Geraint F. Lewis

We present CluSTAR-ND, a fast hierarchical galaxy/(sub)halo finder that produces {\bf Clu}stering {\bf S}tructure via {\bf T}ransformative {\bf A}ggregation and {\bf R}ejection in {\bf N}-{\bf D}imensions. It is designed to improve upon Halo-OPTICS -- an algorithm that automatically detects and extracts significant astrophysical clusters from the 3D spatial

Hongqiang Du, Lei Xie, Haizhou Li

Voice conversion has made great progress in the past few years under the studio-quality test scenario in terms of speech quality and speaker similarity. However, in real applications, test speech from source speaker or target speaker can be corrupted by various environment noises, which seriously degrade the speech quality and speaker similarity. In this pap

Manuel H. Muñoz-Arias, Karthik Chinni, Pablo M. Poggi

We show the emergence of Floquet time crystal (FTC) phases in the Floquet dynamics of periodically driven $p$-spin models, which describe a collection of spin-1/2 particles with all-to-all $p$-body interactions. Given the mean-field nature of these models, we treat the problem exactly in the thermodynamic limit and show that, for a given $p$, these systems c

Alireza Famili, Angelos Stavrou, Haining Wang, Jung-Min

For many applications, drones are required to operate entirely or partially autonomously. To fly completely or partially on their own, drones need access to location services to get navigation commands. While using the Global Positioning System (GPS) is an obvious choice, GPS is not always available, can be spoofed or jammed, and is highly error-prone for in

C. A. Bravo-Velazquez, L. F Lastras-Martinez, O. Ruiz-Cigarrillo, G. Flores-Rangel

Circularly polarized photoluminescence (PL) spectroscopy measured at 19 K on GaAs/AlGaAs symmetric and asymmetric double quantum wells (DQW) is reported. The PL is obtained by exciting the sample with a circularly polarized (left or right) laser in order to create an initial unbalanced distribution of electron spins in the conduction band and, in this way, o

Dang Van Cuong, Boris Mordukhovich, Nguyen Mau Nam, Gary Sandine

In this paper we revisit a theorem by Rockafellar on representing the relative interior of the graph of a convex set-valued mapping in terms of the relative interior of its domain and function values. Then we apply this theorem to provide a simple way to prove many calculus rules of generalized differentiation of set-valued mappings and nonsmooth functions i

Max Aires

We construct a set of points with $\Omega(n^2\log n)$ triples determining an angle $\theta$ whenever $\tan(\theta)$ is algebraic over $\mathbb{Q}$, matching the upper bound of Pach and Sharir. This improves upon the original construction, which was optimal only for $\tan(\theta)=a\sqrt{m}/b$ with $a,b,m$ positive integers.

Zexin Cai, Ming Li

In this paper, we propose an invertible deep learning framework called INVVC for voice conversion. It is designed against the possible threats that inherently come along with voice conversion systems. Specifically, we develop an invertible framework that makes the source identity traceable. The framework is built on a series of invertible $1\times1$ convolut

Brandon Gusto, Tomasz Plewa

Computational studies that use block-structured adaptive mesh refinement (AMR) approaches suffer from unnecessarily high mesh resolution in regions adjacent to important solution features. This deficiency limits the performance of AMR codes. In this work a novel hybrid adaptive multiresolution (HAMR) approach to AMR-based calculations is introduced to addres

MM Rashid, Rupal Roy, Md Manjurul Ahsan, Zahed Siddique

Manually monitoring water quality is very exhausting and requires several hours of sampling and laboratory testing for a particular body of water. This article presents a solution to test water properties like electrical conductivity and pH with a remote-controlled floating vehicle that minimizes time intervals. An autonomous surface vehicle (ASV) has been d

Robert A. Baston, Yuji Nakatsukasa

We study the problem of estimating the diagonal of an implicitly given matrix $A$. For such a matrix we have access to an oracle that allows us to evaluate the matrix vector product $Av$. For random variable $v$ drawn from an appropriate distribution, this may be used to return an estimate of the diagonal of the matrix $A$. Whilst results exist for probabili

Aida Rahmattalabi, Alice Xiang

In recent years, there has been increasing interest in causal reasoning for designing fair decision-making systems due to its compatibility with legal frameworks, interpretability for human stakeholders, and robustness to spurious correlations inherent in observational data, among other factors. The recent attention to causal fairness, however, has been acco

Alberto A. García Díaz

In this report the exact rotating charged black hole solution to the Einstein--nonlinear electrodynamics theory with a cosmological constant is presented. This black hole is equipped with mass, rotation parameter, electric and magnetic charges, cosmological constant $\Lambda$, and three parameters due to the nonlinear electrodynamics: $\beta$ is associated t

R. Bharath Venkatesh, Daeyeon Lee

Physically confining polymers into nanoscale pores induces significant changes in their dynamics. Although different results on the effect of confinement on the dynamics of polymers have been reported, changes in the segmental mobility of polymers typically are correlated with changes in their chain mobility due to increased monomeric relaxation times. In th

T. J. L. de Boer, M. E. Huber, E. A. Magnier, P. M. Onaka

Using data from a year-long dedicated campaign to observe bright stars, we study the crosstalk channels present in the GPC1 camera. By analyzing these data, we construct a dataset that checks source stars on almost every CCD of every chip within the camera against all possible crosstalk destinations. We use a clustering algorithm to find potential crosstalk

Haoxiong Yan, Youpeng Zhong, Hung-Shen Chang, Audrey Bienfait

High-fidelity quantum entanglement is a key resource for quantum communication and distributed quantum computing, enabling quantum state teleportation, dense coding, and quantum encryption. Any sources of decoherence in the communication channel however degrade entanglement fidelity, thereby increasing the error rates of entangled state protocols. Entangleme

Murwan Siddig, Yongjia Song

We consider a logistics planning problem of prepositioning relief items in preparation for an impending hurricane landfall. This problem is modeled as a multiperiod network flow problem where the objective is to minimize the logistics cost of operating the network and the penalty for unsatisfied demand. We assume that the demand for relief items can be deriv

Caleb Malchik, Joan Feigenbaum

Internet companies derive value from users by recording and influencing their behavior. Users can pressure companies to refrain from certain invasive and manipulative practices by selectively withdrawing their attention, an exercise of data leverage as formulated by Vincent et al. Ligett and Nissim's proposal for an institution representing the interests of

Daniel A. Goldston, Timothy S. Trudgian, Caroline L. Turnage-Butterbaugh

Assuming the Riemann Hypothesis, it is known that there are infinitely many consecutive pairs of zeros of the Riemann zeta-function within 0.515396 times the average spacing. This is obtained using the method of Montgomery and Odlyzko. We prove that this method can never find infinitely many pairs of consecutive zeros within 0.5042 times the average spacing.

Xuxin Chen, Ximin Wang, Ke Zhang, Kar-Ming Fung

This study aims to develop a novel computer-aided diagnosis (CAD) scheme for mammographic breast mass classification using semi-supervised learning. Although supervised deep learning has achieved huge success across various medical image analysis tasks, its success relies on large amounts of high-quality annotations, which can be challenging to acquire in pr

Gabriella Contardo, David W. Hogg, Jason A. S. Hunt, Joshua E. G. Peek

Discoveries of gaps in data have been important in astrophysics. For example, there are kinematic gaps opened by resonances in dynamical systems, or exoplanets of a certain radius that are empirically rare. A gap in a data set is a kind of anomaly, but in an unusual sense: Instead of being a single outlier data point, situated far from other data points, it

Joel P. Flynn, Lawrence D. W. Schmidt, Alexis Akira Toda

We study a general class of consumption-savings problems with recursive preferences. We characterize the sign of the consumption response to arbitrary shocks in terms of the product of two sufficient statistics: the elasticity of intertemporal substitution between contemporaneous consumption and continuation utility (EIS), and the relative elasticity of the

Samuele Ferracin, Akel Hashim, Jean-Loup Ville, Ravi Naik

Using near-term quantum computers to achieve a quantum advantage requires efficient strategies to improve the performance of the noisy quantum devices presently available. We develop and experimentally validate two efficient error mitigation protocols named "Noiseless Output Extrapolation" and "Pauli Error Cancellation" that can drastically enhance the perfo

Nathaniel Dennler, Changxiao Ruan, Jessica Hadiwijoyo, Brenna Chen

The physical design of a robot suggests expectations of that robot's functionality for human users and collaborators. When those expectations align with the true capabilities of the robot, interaction with the robot is enhanced. However, misalignment of those expectations can result in an unsatisfying interaction. This paper uses Mechanical Turk to evaluate

Hamlet K. Avetissian, Garnik F. Mkrtchian, Andreas Knorr

High-order frequency mixing in graphene using a two-color radiation field consisting of the fundamental and the second harmonic fields of an ultrashort linearly polarized laser pulse is studied. It is shown that the harmonics originated from the interband transitions are efficiently generated in the case of the orthogonally polarized two-color field. In this

Dahye Cho

We develop criteria for affine varieties to admit uniruled subvarieties of certain dimensions. The measurements are from long exact sequences of versions of symplectic cohomology, which is a Hamiltonian Floer theory for some open symplectic manifolds including affine varieties. Symplectic cohomology is hard to compute, in general. However, certain vanishing

Varun Srivastava, Derek Davis, Kevin Kuns, Philippe Landry

Ground-based gravitational-wave detectors like Cosmic Explorer can be tuned to improve their sensitivity at high or low frequencies by tuning the response of the signal extraction cavity. Enhanced sensitivity above 2 kHz enables measurements of the post-merger gravitational-wave spectrum from binary neutron star mergers, which depends critically on the unkno

Andrey Boris Khesin, Peter Shor

We study scenarios which arise when two spatially-separated observers, Alice and Bob, are try to identify a quantum state sampled from several possibilities. In particular, we examine their strategies for maximizing both the probability of guessing their state correctly as well as their information gain about it. It is known that there are scenarios where al

Rodrigo B. Alves, Giulio Iacobelli, Glauco Valle

We study an extension of the generalized excited random walk (GERW) on $\mathbb{Z}^d$ introduced in [Ann. Probab. 40 (5), 2012, [7]] by Menshikov, Popov, Ram\'irez and Vachkovskaia. Our extension consists in studying a version of the GERW where excitation depends on a random environment. Given $p \in (0,1]$ (a parameter of the model) whenever the process vis

Adrian Leo Hagström, Rustam Stanikzai, Josef Bigun, Fernando Alonso-Fernandez

Block characters are often used when filling paper forms for a variety of purposes. We investigate if there is biometric information contained within individual digits of handwritten text. In particular, we use personal identity numbers consisting of the six digits of the date of birth, DoB. We evaluate two recognition approaches, one based on handcrafted fe

Kimberly Villalobos, Vilim Štih, Amineh Ahmadinejad, Shobhita Sundaram

The insideness problem is an aspect of image segmentation that consists of determining which pixels are inside and outside a region. Deep Neural Networks (DNNs) excel in segmentation benchmarks, but it is unclear if they have the ability to solve the insideness problem as it requires evaluating long-range spatial dependencies. In this paper, the insideness p

Philip Lubin, Alexander N. Cohen

We discuss a hypothetical existential threat from a 10 km diameter bolide discovered 6 months prior to impact with one case being a comet and the other being an asteroid. We show that an extension of our work on bolide fragmentation using an array of penetrators but modified with small nuclear explosive devices (NED) in the penetrators, combined with soon-to

Benedikt Ahrens, Paige Randall North, Niels van der Weide

We develop semantics and syntax for bicategorical type theory. Bicategorical type theory features contexts, types, terms, and directed reductions between terms. This type theory is naturally interpreted in a class of structured bicategories. We start by developing the semantics, in the form of comprehension bicategories. Examples of comprehension bicategorie

Jaeryun Yim, Dongwoo Sheen, Imbo Sim

A homogenization approach is one of effective strategies to solve multiscale elliptic problems approximately. The finite element heterogeneous multiscale method (FEHMM) which is based on the finite element makes possible to simulate such process numerically. In this paper we introduce a FEHMM scheme for multiscale elliptic problems based on nonconforming spa

Sergio González-Andrade, Paul E. Méndez Silva

This paper is devoted to the study of Bingham flow with variable density. We propose a local bi-viscosity regularization of the stress tensor based on a Huber smoothing step. Next, our computational approach is based on a second-order, divergence-conforming discretization of the Huber regularized Bingham constitutive equations, coupled with a discontinuous G

Roberto da Silva, Gilson Wirth

We obtained a semi-analytical treatment obtaining estimators for the sample variance and variance of sample variance for the RTS noise. Our method suggests a way to experimentally determine the constants of capture and emission in the case of a dominant trap and universal behaviors for the superposition from many traps. We present detailed closed-form expres

Jaeryun Yim, Dongwoo Sheen

The $P_1$--nonconforming quadrilateral finite element space with periodic boundary condition is investigated. The dimension and basis for the space are characterized with the concept of minimally essential discrete boundary conditions. We show that the situation is totally different based on the parity of the number of discretization on coordinates. Based on

Aaron D. Johnson, Sarah J. Vigeland, Xavier Siemens, Stephen R. Taylor

Recently, many different pulsar timing array (PTA) collaborations have reported strong evidence for a common stochastic process in their data sets. The reported amplitudes are in tension with previously computed upper limits. In this paper, we investigate how using a subset of a set of pulsars biases Bayesian upper limit recovery. We generate 500 simulated P

Peixi Xiong, Yilin Shen, Hongxia Jin

Learning to answer visual questions is a challenging task since the multi-modal inputs are within two feature spaces. Moreover, reasoning in visual question answering requires the model to understand both image and question, and align them in the same space, rather than simply memorize statistics about the question-answer pairs. Thus, it is essential to find

Dilara Keküllüoğlu, Walid Magdy, Kami Vaniea

Date of birth (DOB) has historically been considered as private information and safe to use for authentication, but recent years have seen a shift towards wide public sharing. In this work we characterize how modern social media users are approaching the sharing of birthday wishes publicly online. Over 45 days, we collected over 2.8M tweets wishing happy bir

Peixi Xiong, Quanzeng You, Pei Yu, Zicheng Liu

Visual Question Answering (VQA) attracts much attention from both industry and academia. As a multi-modality task, it is challenging since it requires not only visual and textual understanding, but also the ability to align cross-modality representations. Previous approaches extensively employ entity-level alignments, such as the correlations between the vis

Ruby Byrne, Miguel F. Morales, Bryna Hazelton, Ian Sullivan

We describe a new polarized imaging pipeline implemented in the FHD software package. The pipeline is based on the optimal mapmaking imaging approach and performs horizon-to-horizon image reconstruction in all polarization modes. We discuss the formalism behind the pipeline's polarized analysis, describing equivalent representations of the polarized beam res

Kanghun Cho, Dongwoo Sheen

We introduce simple quadrature rules for the family of nonparametric nonconforming quadrilateral element with four degrees of freedom. Our quadrature rules are motivated by the work of Meng {\it et al.} \cite{meng2018new}. First, we introduce a family of MVP (Mean Value Property)-preserving four DOFs nonconforming elements on the intermediate reference domai

Yamei Tu, Olga Li, Junpeng Wang, Han-Wei Shen

Public opinion surveys constitute a powerful tool to study peoples' attitudes and behaviors in comparative perspectives. However, even worldwide surveys provide only partial geographic and time coverage, which hinders comprehensive knowledge production. To broaden the scope of comparison, social scientists turn to ex-post harmonization of variables from data

Levi Condren, Gerald A. Miller

The influence of nucleon-nucleon short-ranged correlations (SRC) on nuclear super-allowed $\beta$ decay is examined. The need for this is driven by the observed depletion of spectroscopic strength obtained in studies of $(e,e')$ and $(d,^3{\rm He})$ reactions on a wide variety of nuclei. We show that the influence of SRC is model-dependent, but may be very s

José G. M. Esgario, Renato A. Krohling

kin cancer is considered one of the most common type of cancer in several countries. Due to the difficulty and subjectivity in the clinical diagnosis of skin lesions, Computer-Aided Diagnosis systems are being developed for assist experts to perform more reliable diagnosis. The clinical analysis and diagnosis of skin lesions relies not only on the visual inf

Dimitrios Sinodinos, Narges Armanfard

Multitask learning (MTL) has recently gained a lot of popularity as a learning paradigm that can lead to improved per-task performance while also using fewer per-task model parameters compared to single task learning. One of the biggest challenges regarding MTL networks involves how to share features across tasks. To address this challenge, we propose the At

Bulent Sagir, Erdogan Aydin, Haci Ilhan

Reconfigurable intelligent surfaces (RISs) are software-controlled passive devices that can be used as relay (R) systems to reflect incoming signals from a source (S) to a destination (D) in a cooperative manner with optimum signal strength to improve the performance of wireless communication networks. The configurability and flexibility of an RIS deployed i

Han Liu, Yubo Fan, Can Cui, Dingjie Su

Automatic methods to segment the vestibular schwannoma (VS) tumors and the cochlea from magnetic resonance imaging (MRI) are critical to VS treatment planning. Although supervised methods have achieved satisfactory performance in VS segmentation, they require full annotations by experts, which is laborious and time-consuming. In this work, we aim to tackle t

Ciyuan Zhang, Su Wang, Vaneet Aggarwal, Borja Peleato

Coded caching utilizes pre-fetching during off-peak hours and multi-casting for delivery in order to balance the traffic load in communication networks. Several works have studied the achievable peak and average rates under different conditions: variable file lengths or popularities, variable cache sizes, decentralized networks, etc. However, very few have c

Kanghun Cho, Roktaek Lim, Dongwoo Sheen

In this paper we propose an idea of constructing a macro--scale matrix system given a micro--scale matrix linear system. Then the macro--scale system is solved at cheaper computing costs. The method uses the idea of the generalized multiscale finite element method based. Some numerical results are presented.

A. Albert, R. Alfaro, C. Alvarez, J. C. Arteaga-Velázquez

This paper reports on the $\gamma$-ray properties of the 2018 Galactic nova V392 Per, spanning photon energies $\sim$0.1 GeV to 100 TeV by combining observations from the Fermi Gamma-ray Space Telescope and the HAWC Observatory. In one of the most rapidly evolving $\gamma$-ray signals yet observed for a nova, GeV $\gamma$ rays with a power law spectrum with

Margaret Burnett, Martin Erwig, Abrar Fallatah, Christopher Bogart

HCI researchers' and practitioners' awareness of intersectionality has been expanding, producing knowledge, recommendations, and prototypes for supporting intersectional populations. However, doing intersectional HCI work is uniquely expensive: it leads to a combinatorial explosion of empirical work (expense 1), and little of the work on one intersectional p

Toan-Van Nguyen, Thien Huynh-The, Van-Dinh Nguyen, Daniel Benevides da Costa

In this paper, we design an efficient deep convolutional neural network (CNN) to improve and predict the performance of energy harvesting (EH) short-packet communications in multi-hop cognitive Internet-of-Things (IoT) networks. Specifically, we propose a Sum-EH scheme that allows IoT nodes to harvest energy from either a power beacon or primary transmitters

Matthew L. Malloy, Lance Hartung, Steve Wangen, Suman Banerjee

We describe a study conducted at a large public university campus in the United States which shows the efficacy of network log information for digital contact tracing and prediction of COVID-19 cases. Over the period of January 18, 2021 to May 7, 2021, more than 216 million client-access-point associations were logged across more than 11,000 wireless access

Kanghun Cho, Imbunm Kim, Raehyun Kim, Dongwoo Sheen

We introduce an algebraic multiscale method for two--dimensional problems. The method uses the generalized multiscale finite element method based on the quadrilateral nonconforming finite element spaces. Differently from the one--dimensional algebraic multiscale method, we apply the dimension reduction techniques to construct multiscale basis functions. Also

Lily L. Zhao, Debra A. Fischer, Eric B. Ford, Alex Wise

Measured spectral shifts due to intrinsic stellar variability (e.g., pulsations, granulation) and activity (e.g., spots, plages) are the largest source of error for extreme precision radial velocity (EPRV) exoplanet detection. Several methods are designed to disentangle stellar signals from true center-of-mass shifts due to planets. The EXPRES Stellar Signal

Brett W. Larsen, Tamara G. Kolda

We revisit the problem of sketching using approximate leverage scores for matrix least squares problems of the form $\| AX - B \|_F^2$ where the design matrix $A \in \mathbb{R}^{N \times r}$ is tall and skinny with $N \gg r$. We derive the theoretical results from first principles and clarify the relation to previously stated bounds, improving some constants

Alexander Kurtenkov

Possible M-type contact binaries were investigated by selecting W UMa-type variables with orbital periods below the 0.22-day cutoff. Gaia parallaxes were combined with Gaia and 2MASS photometry to obtain G and J-band absolute magnitudes of 674 red variable stars catalogued as contact binaries in the VSX database. The absolute magnitude of main sequence cool

Yuan Gao, Chengzhi Yuan, Yan Gu

State estimation for legged locomotion over a dynamic rigid surface (DRS), which is a rigid surface moving in the world frame (e.g., ships, aircraft, and trains), remains an under-explored problem. This paper introduces an invariant extended Kalman filter that estimates the robot's pose and velocity during DRS locomotion by using common sensors of legged rob

Bo Fu, Tribhi Kathuria, Denise Rizzo, Matthew Castanier

This work presents a framework for multi-robot tour guidance in a partially known environment with uncertainty, such as a museum. In the proposed centralized multi-robot planner, a simultaneous matching and routing problem (SMRP) is formulated to match the humans with robot guides according to their selected places of interest (POIs) and generate the routes

Lesia Mitridati, Emma Romei, Gabriela Hug, Ferdinando Fioretto

Sector coordination between heat and electricity systems has been identified has an energy-efficient and cost-effective way to transition towards a more sustainable energy system. However, the coordination of sequential markets relies on the exchange of sensitive information between the market operators, namely time series of consumers' loads. To address the

Isabel M. Rayas Fernández, Christopher E. Denniston, David A. Caron, Gaurav S. Sukhatme

Scientists interested in studying natural phenomena often take physical specimens from locations in the environment for later analysis. These analysis locations are typically specified by expert heuristics. Instead, we propose to choose locations for scientific analysis by using a robot to perform an informative path planning survey. The survey results in a

Nick Mertin, K. Ritsuka, Karen Rudie

A syntactic model is presented for the specification of finite-state synchronous digital logic systems with complex input/output interfaces, which control the flow of data between opaque computational elements, and for the composition of compatible systems to form closed-loop systems with no inputs or outputs. This model improves upon similar existing models

Komal Dhull, Steven Jecmen, Pravesh Kothari, Nihar B. Shah

Strategic behavior is a fundamental problem in a variety of real-world applications that require some form of peer assessment, such as peer grading of homeworks, grant proposal review, conference peer review of scientific papers, and peer assessment of employees in organizations. Since an individual's own work is in competition with the submissions they are

Eleni Stai, Evangelia Kokolaki, Lesia Mitridati, Petros Tatoulis

This work studies the decentralized and uncoordinated energy source selection problem for smart-grid consumers with heterogeneous energy profiles and risk attitudes: they compete for a limited amount of renewable energy in their local community, at the risk of paying a higher cost if that energy is not enough to supply all such demand. We model this problem

Jeffrey Hatley, Debanjana Kundu, Antonio Lei, Jishnu Ray

Let $\mathcal{O}$ be the ring of integers of a finite extension of $\mathbb{Q}_p$. We prove two control theorems for fine Selmer groups of general cofinitely generated modules over $\mathcal{O}$. We apply these control theorems to compare the fine Selmer group attached to a modular form $f$ over the cyclotomic $\mathbb{Z}_p$-extension of $\mathbb{Q}$ to its

Waqas Ahmed, Mark Goodsell, Shoaib Munir

In the Next-to-Minimal Supersymmetric Standard Model there is a strong correlation between the mass terms corresponding to the singlet Higgs and the singlino interaction states, both of which are proportional to the parameter $\kappa$. If this parameter is complex, explicit CP-violation occurs in the Higgs as well as the neutralino sectors of the model at th

Alen Arslanagić, Pavle Subotić, Jorge A. Pérez

Static analyses based on typestates are important in certifying correctness of code contracts. Such analyses rely on Deterministic Finite Automata (DFAs) to specify properties of an object. We target the analysis of contracts in low-latency environments, where many useful contracts are impractical to codify as DFAs and/or the size of their associated DFAs le

Egor Gladin, Alexander Gasnikov, Elena Ermakova

This paper considers a general problem of convex stochastic optimization in a relatively low-dimensional space (e.g., 100 variables). It is known that for deterministic convex optimization problems of small dimensions, the fastest convergence is achieved by the center of gravity type methods (e.g., Vaidya's cutting plane method). For stochastic optimization

Luigi Amico, Vladimir Korepin, Alioscia Hamma, Salvatore Marco Giampaolo

Local Convertibility refers to the possibility of transforming a given state into a target one, just by means of LOCC with respect to a given bipartition of the system and it is possible if and only if all the Renyi-entropies of the initial state are smaller than those of the target state. We apply this concept to adiabatic evolutions and ask whether they ca

Tristan Phillips

Asymptotics are given for the number of rational points in the domain of a morphism of weighted projective stacks whose images have bounded height and satisfy a (possibly infinite) set of local conditions. As a consequence we obtain results for counting elliptic curves over number fields with prescribed level structures, including the cases of $\Gamma(N)$ fo

Diego Barberena, Sean R. Muleady, John J. Bollinger, Robert J. Lewis-Swan

We propose protocols for the creation of useful entangled states in a system of spins collectively coupled to a bosonic mode, directly applicable to trapped-ion and cavity QED setups. The protocols use coherent manipulations of the spin-boson interactions naturally arising in these systems to prepare spin squeezed states exponentially fast in time. We demons

Rafael Cerna Loli, Onur Dizdar, Bruno Clerckx

Dual-Functional Radar-Communication (DFRC) systems have been investigated to manage the inter-system interference between radar and communication systems. However, the studies in literature often assume that the DFRC possesses perfect Channel State Information at the Transmitter (CSIT), which is an unrealistic assumption due to the inevitable CSIT errors in

Isobel Seabrook, Paolo Barucca, Fabio Caccioli

A fundamental problem in the study of networks is the identification of important nodes. This is typically achieved using centrality metrics, which rank nodes in terms of their position in the network. This approach works well for static networks, that do not change over time, but does not consider the dynamics of the network. Here we propose instead to meas

Jinyuan Xu, Ailing Chen, Linfeng Yu, Donghai Wei

Two-dimensional materials have attracted lots of research interests due to the fantastic properties that are unique to the bulk counterparts. In this paper, from the state-of-the-art first-principles, we predicted the stable structure of monolayer counterpart of the {\gamma}-CuI (Cuprous Iodide), which is a p-type wide bandgap semiconductor. The monolayer Cu

Samira Zad, Joshuan Jimenez, Mark A. Finlayson

Emotion detection is an established NLP task of demonstrated utility for text understanding. However, basic emotion detection leaves out key information, namely, who is experiencing the emotion in question. For example, it may be the author, the narrator, or a character; or the emotion may correspond to something the audience is supposed to feel, or even be

Zhenyu Zhao, Yan He, Miao Chen

Online controlled experimentation is widely adopted for evaluating new features in the rapid development cycle for web products and mobile applications. Measurement of the overall experiment sample is a common practice to quantify the overall treatment effect. In order to understand why the treatment effect occurs in a certain way, segmentation becomes a val

Vito Felice Zenobi

Let $\iota\colon \mathcal{F}_0\to\mathcal{F}_1 $ be a suitably oriented inclusion of foliations over a manifold $M$, then we extend the construction of the lower shriek maps given by Hilsum and Skandalis to adiabatic deformation groupoid C*-algebras: we construct an asymptotic morphism $(\iota_{ad}^{[0,1)})_!\in E_n\left(C^*(G_{ad}^{[0,1)}), C^*(H_{ad}^{[0,1

Rajendra P Gupta

Since Dirac predicted in 1937 possible variation of gravitational constant and other coupling constants from his large number hypothesis, efforts continue to determine such variation without success. Such efforts focus on the variation of one constant while assuming all others pegged to their currently measured values. We show that the variations of the spee

Lennart Klebl, Qiaoling Xu, Ammon Fischer, Lede Xian

We study the electronic structure and correlated phases of twisted bilayers of platinum diselenide using large-scale ab initio simulations combined with the functional renormalization group. PtSe$_2$ is a group-X transition metal dichalcogenide, which hosts emergent flat bands at small twist angles in the twisted bilayer. Remarkably, we find that moir\'e eng

Yan Jin

Jin (Phys. Fluids, vol. 31, 2019, p. 125102) proposed a new turbulence simulation method which shows better performance than other classic turbulence models. It is composed of a small-eddy-dissipation mixing length (SED-ML) model for calculating the reference solution and a parameter extension method for correcting the solution. The mechanism of this method

Yi Ni

We prove that if $K$ is a nontrivial null-homotopic knot in a closed oriented $3$--manfiold $Y$ such that $Y-K$ does not have an $S^1\times S^2$ summand, then the zero surgery on $K$ does not have an $S^1\times S^2$ summand. This generalizes a result of Hom and Lidman, who proved the case when $Y$ is an irreducible rational homology sphere.

Stef Baas, Richard J. Boucherie, Jean-Paul Fox

A Bayesian multivariate model with a structured covariance matrix for multi-way nested data is proposed. This flexible modeling framework allows for positive and for negative associations among clustered observations, and generalizes the well-known dependence structure implied by random effects. A conjugate shifted-inverse gamma prior is proposed for the cov

Daniel Chew, Christine Nguyen, Samuel Berhanu, Chris Baumgart

We propose a method for covert communications using an IEEE 802.11 OFDM/QAM packet as a carrier. We show how to hide the covert message so that the transmitted signal does not violate the spectral mask specified by the standard, and we determine its impact on the OFDM packet error rate. We show conditions under which the hidden signal is not usable and those

Christopher Rieser, Peter Filzmoser

Traditional methods for the analysis of compositional data consider the log-ratios between all different pairs of variables with equal weight, typically in the form of aggregated contributions. This is not meaningful in contexts where it is known that a relationship only exists between very specific variables (e.g.~for metabolomic pathways), while for other

Xiang Deng, Prashant Shiralkar, Colin Lockard, Binxuan Huang

HTML documents are an important medium for disseminating information on the Web for human consumption. An HTML document presents information in multiple text formats including unstructured text, structured key-value pairs, and tables. Effective representation of these documents is essential for machine understanding to enable a wide range of applications, su

Youcef Mohdeb, Javad Vahedi, Stefan Kettemann

Quantum information theoretical measures are useful tools for characterizing quantum dynamical phases. However, employing them to study excited states of random spin systems is a challenging problem. Here, we report results for the entanglement entropy (EE) scaling of excited eigenstates of random XX antiferromagnetic spin chains with long-range (LR) interac

Martin Georgiev, Simon Eberz, Henry Turner, Giulio Lovisotto

In this paper, we investigate common pitfalls affecting the evaluation of authentication systems based on touch dynamics. We consider different factors that lead to misrepresented performance, are incompatible with stated system and threat models or impede reproducibility and comparability with previous work. Specifically, we investigate the effects of (i) s