Skip to content

March 2020 arXiv papers — page 49

Showing 4,8014,900 of 14,175 papers

  1. Andrew C. Nine, Katelyn E. Milliman, Robert D. Mathieu, Aaron M. Geller

    We introduce the stellar sample of the WIYN Open Cluster Study radial-velocity survey for the rich open cluster NGC 7789 (1.6 Gyr, [Fe/H] = +0.02). This sample lies within an 18$'$ circular radius from the cluster center (10 pc in projection, or about 2 core radii), and includes giants, red-clump stars, blue stragglers, red stragglers, sub-subgiants, and mai

  2. S. Mianowski, D. M. Borowicz, K. Brylew, A. Dziedzic

    This paper presents the results of the proton irradiation of silicon photomulipliers (SiPMs) by mono-energetic 170 MeV protons with fluence up to 4.6$\times$10$^{9}$ particles/cm$^2$. In our work, three types of silicon photodetectors from Hamamatsu with areas 3$\times$3 mm$^2$ and different subpixel sizes of 25$\times$25 $\mu$m$^2$, 50$\times$50 $\mu$m$^2$,

  3. Alessandro Carbonaro, Luca Cipelletti, Domenico Truzzolillo

    We exploit the deformation of drops spinning in a denser background fluid to investigate the effective interfacial tension (EIT) between miscible molecular fluids. We find that for sufficiently low interfacial tension, spinning drops develop dumbbell shapes, with two large heads connected by a thinner central body. We show that this shape depends not only on

  4. Ahmet Alacaoglu, Yura Malitsky, Panayotis Mertikopoulos, Volkan Cevher

    In this paper, we focus on a theory-practice gap for Adam and its variants (AMSgrad, AdamNC, etc.). In practice, these algorithms are used with a constant first-order moment parameter $\beta_{1}$ (typically between $0.9$ and $0.99$). In theory, regret guarantees for online convex optimization require a rapidly decaying $\beta_{1}\to0$ schedule. We show that

  5. Robin Silber, Daniel Král, Ondřej Stejskal, Takahide Kubota

    The Heusler compound Co$_2$MnSi provides a crystallographic transition from B2 to L2$_1$ structure with increasing annealing temperature $T_a$, being a model system for investigating the influence of crystallographic ordering on structural, magnetic, optic, and magnetooptic (MO) properties. Here, we present quadratic magnetooptic Kerr effect (QMOKE) spectra

  6. João R. Cardoso, Amir Sadeghi

    We propose a simple technique that, if combined with algorithms for computing functions of triangular matrices, can make them more efficient. Basically, such a technique consists in a specific scaling similarity transformation that reduces the departure from normality of a triangular matrix, thus decreasing its norm and in general its function condition numb

  7. Frederic P. Schuller

    Constructive gravity allows to calculate the Lagrangian for gravity, provided one previously prescribes the Lagrangian for all matter fields on a spacetime geometry of choice. We explain the physical and mathematical foundation of this result and point out how to answer questions about gravity that could not be meaningfully asked previously.

  8. Gary P. T. Choi, Chris H. Rycroft

    The density-equalizing map, a technique developed for cartogram creation, has been widely applied to data visualization but only for 2D applications. In this work, we propose a novel method called the volumetric density-equalizing reference map (VDERM) for computing density-equalizing map for volumetric domains. Given a prescribed density distribution in a v

  9. Seungmo Kim, Byung-Jun Kim

    Many parties claim the technical significance of Dedicated Short-Range Communications (DSRC) in intelligent transportation system (ITS) for promotion of transportation safety. The main challenge in this key vehicle-to-everything (V2X) standard is high odds of network congestion. Furthermore, in accordance with a V2X network being inherently dynamic in key pa

  10. Aurelio F. Bariviera, Ignasi Merediz-Solà

    This survey develops a dual analysis, consisting, first, in a bibliometric examination and, second, in a close literature review of all the scientific production around cryptocurrencies conducted in economics so far. The aim of this paper is twofold. On the one hand, proposes a methodological hybrid approach to perform comprehensive literature reviews. On th

  11. E. Drgas-Burchardt, H. Furmańczyk, E. Sidorowicz

    Let ${\mathcal D}_d$ be the class of $d$-degenerate graphs and let $L$ be a list assignment for a graph $G$. A colouring of $G$ such that every vertex receives a colour from its list and the subgraph induced by vertices coloured with one color is a $d$-degenerate graph is called the $(L,{\mathcal D}_d)$-colouring of $G$. For a $k$-uniform list assignment $L$

  12. Agostino Martinelli

    This paper provides the extension of the observability rank condition and the extension of the controllability rank condition to time-varying nonlinear systems. Previous conditions to check the state observability and controllability, only account for nonlinear systems that do not explicitly depend on time, or, for time-varying systems, they only account for

  13. Aurelio F. Bariviera

    This paper studies of the multifractal dynamics in 84 cryptocurrencies. It fills an important gap in the literature, by studying this market using two alternative multi-scaling methodologies. We find compelling evidence that cryptocurrencies have different degree of long range dependence, and --more importantly -- follow different stochastic processes. Some

  14. Wan Cong, Jiri Bicak, David Kubiznak, Robert B. Mann

    We study the response function of Unruh-deWitt detectors placed in a flat spacetime inside a thin matter shell. We show that the response function distinguishes between the local and global (Minkowski) inertial frames and picks up the presence of the shell even when the detector is switched on for a finite time interval within which a light signal cannot tra

  15. Mouza Almualla, Michael W. Coughlin, Shreya Anand, Khalid Alqassimi

    The simultaneous detection of electromagnetic and gravitational waves from the coalescence of two neutron stars (GW170817 and GRB170817A) has ushered in a new era of "multi-messenger" astronomy, with electromagnetic detections spanning from gamma to radio. This great opportunity for new scientific investigations raises the issue of how the available multi-me

  16. Suat Mercan, Enes Erdin, Kemal Akkaya

    The last decade has experienced a vast interest in Blockchain-based cryptocurrencies with a specific focus on the applications of this technology. However, slow confirmation times of transactions and unforeseeable high fees hamper their wide adoption for micro-payments. The idea of establishing payment channel networks is one of the many proposed solutions t

  17. Yang Feng, Yu Wang, Jiebo Luo

    Deep neural networks have been successfully applied to solving the video-based person re-identification problem with impressive results reported. The existing networks for person re-id are designed to extract discriminative features that preserve the identity information. Usually, whole video frames are fed into the neural networks and all the regions in a f

  18. Nino Bašić, Sarah Berkemer, Jörg Fallmann, Patrick W. Fowler

    In 2012, a family of benzenoids was introduced by Cruz, Gutman, and Rada, which they called convex benzenoids. In this paper we introduce the convexity deficit, a new topological index intended for benzenoids and, more generally, fusenes. This index measures by how much a given fusene departs from convexity. It is defined in terms of the boundary-edges code.

  19. Anand Sahasranaman, Nishanth Kumar

    We characterize the network of COVID-19 spread in India and find that the transmission rate is 0.43, with daily case growth driven by individuals who contracted the virus abroad. We explore the question of whether this represents exponentially decaying dynamics or is simply an artefact of India's testing strategy. Testing has largely been limited to individu

  20. Saumik Dana, Mary F Wheeler

    The FE$^2$ homogenization algorithm for multiscale modeling iterates between the macroscale and the microscale (represented by a representative volume element) till convergence is achieved at every increment of macroscale loading. The information exchange between the two scales occurs at the gauss points of the macroscale finite element discretization. The m

  21. Neelima Agarwal, Abhinava Danish, Lorenzo Magnea, Sourav Pal

    Correlators of Wilson-line operators are fundamental ingredients for the study of the infrared properties of non-abelian gauge theories. In perturbation theory, they are known to exponentiate, and their logarithm can be organised in terms of collections of Feynman diagrams called webs. We study the classification of webs to high perturbative orders, proposin

  22. Felix Cherubini, Egbert Rijke

    Any modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal factorization system associated to any modality, of which the left class is the class of $\bigcirc$-equivalences and the right class is the class of $\bigcirc$-\'etale maps. This fa

  23. Rati Devidze, Farnam Mansouri, Luis Haug, Yuxin Chen

    Machine teaching studies the interaction between a teacher and a student/learner where the teacher selects training examples for the learner to learn a specific task. The typical assumption is that the teacher has perfect knowledge of the task---this knowledge comprises knowing the desired learning target, having the exact task representation used by the lea

  24. Shalin Shah

    Climate change is a result of a complex system of interactions of greenhouse gases (GHG), the ocean, land, ice, and clouds. Large climate change models use several computers and solve several equations to predict the future climate. The equations may include simple polynomials to partial differential equations. Because of the uptake mechanism of the land and

  25. Jiefeng Chen, Yixuan Li, Xi Wu, Yingyu Liang

    Detecting out-of-distribution (OOD) inputs is critical for safely deploying deep learning models in the real world. Existing approaches for detecting OOD examples work well when evaluated on benign in-distribution and OOD samples. However, in this paper, we show that existing detection mechanisms can be extremely brittle when evaluating on in-distribution an

  26. Masoud Farhadi, Mehdi Abapour, Behnam Mohammadi-Ivatloo

    Experience shows that semiconductor switches in power electronics systems are the most vulnerable components. One of the most common ways to solve this reliability challenge is component-level redundant design. There are four possible configurations for the redundant design in component-level. This paper presents a comparative reliability analysis between di

  27. F. Taddia, M. D. Stritzinger, C. Fransson, P. J. Brown

    We present ultra-violet to mid-infrared observations of the long-lasting Type IIn supernova (SN) 2013L obtained by the Carnegie Supernova Project II (CSP-II). The spectra of SN 2013L are dominated by H emission features characterized by three components attributed to different regions. A unique feature of this Type IIn SN is that the blue shifted line profil

  28. Dong Liu, Jianyu Zhao, Chenyang Yang, Lajos Hanzo

    Predictive power allocation is conceived for energy-efficient video streaming over mobile networks using deep reinforcement learning. The goal is to minimize the accumulated energy consumption of each base station over a complete video streaming session under the constraint that avoids video playback interruptions. To handle the continuous state and action s

  29. I. V. Konnov

    We consider an extension of a noncooperative game problem where players have joint binding constraints. In this case, justification of a generalized equilibrium point needs a reasonable mechanism for attaining this state. We suggest to combine a penalty method together with shares allocation of right-hand sides, which replaces the initial problem with a sequ

  30. I. Pavlov, O. Candemir, A. Rybak, A. Dobrovolskiy

    In spite of the fact that there are different techniques in the creation of the high-quality liquid crystals (LCs) alignment by means of various surfaces, the azimuthal and polar anchoring energies as well as the pre-tilt angle are important parameters to all of them. Here, the modified by a certain manner aligning layers, previously formed by nonlinear lase

  31. Jaime Alvarez-Muñiz, P. M. Hansen, Andrés Romero-Wolf, Enrique Zas

    We present a semi-analytical method for the calculation of coherent Askaryan radiation in showers induced by neutrinos of any flavor in ice. We compare our results with those of a full Monte Carlo simulation based on the ZHAireS code. This approach is able to reproduce the vector potential and hence electric field at any experimentally relevant observer posi

  32. Raouf Fakhfakh

    Suppose V{\nu} is the pseudo-variance function of the Cauchy-Stieltjes Kernel (CSK) family K+({\nu}) generated by a non degenerate probability measure {\nu} with support bounded from above. We determine the formula for pseudo-variance function (or variance function V{\nu} in case of existence) under boolean additive convolution power. This formulas is used t

  33. Alexandra Edey, Ralph Burton, Alan Gadian

    Using observations for two UK coastal sites <3 km from the sea, one on the West coast near the nuclear new build (NNB) site Hinkley Point C (HPC) and the other on the East coast, near the proposed NNB site Bradwell B (BRB), changes in surface two-metre temperatures are analysed. The output from a numerical model (WRF) experiment is used for a control period,

  34. G. W. Fuchs, D. Witsch, D. Herberth, M. Kempkes

    Context: In the laboratory, hydrogen peroxide (HOOH) was proven to be an intermediate product in the solid-state reaction scheme that leads to the formation of water on icy dust grains. When HOOH desorbs from the icy grains, it can be detected in the gas phase. In combination with water detections, it may provide additional information on the water reaction

  35. Kun Xiao, Shaochang Tan, Guohui Wang, Xueyan An

    A customizable multi-rotor UAVs simulation platform based on ROS, Gazebo and PX4 is presented. The platform, which is called XTDrone, integrates dynamic models, sensor models, control algorithm, state estimation algorithm, and 3D scenes. The platform supports multi UAVs and other robots. The platform is modular and each module can be modified, which means th

  36. Moeness G. Amin, Arun Ravisankar, Ronny G. Guendel

    Radar for indoor monitoring is an emerging area of research and development, covering and supporting different health and wellbeing applications of smart homes, assisted living, and medical diagnosis. We report on a successful RF sensing system for home monitoring applications. The system recognizes Activities of Daily Living(ADL) and detects unique motion c

  37. Mario Alviano, Marco Manna

    Reasoning over OWL 2 is a very expensive task in general, and therefore the W3C identified tractable profiles exhibiting good computational properties. Ontological reasoning for many fragments of OWL 2 can be reduced to the evaluation of Datalog queries. This paper surveys some of these compilations, and in particular the one addressing queries over Horn-$\m

  38. Daniela Galárraga-Espinosa, Nabila Aghanim, Mathieu Langer, Céline Gouin

    We present a statistical study of the filamentary structures of the cosmic web in the large hydro-dynamical simulations Illustris-TNG, Illustris, and Magneticum at redshift z=0. We focus on the radial distribution of the galaxy density around filaments detected using the Discrete Persistent Structure Extractor (DisPerSE). We show that the average profile of

  39. Adarsha Balaji, Prathyusha Adiraju, Hirak J. Kashyap, Anup Das

    We present PyCARL, a PyNN-based common Python programming interface for hardware-software co-simulation of spiking neural network (SNN). Through PyCARL, we make the following two key contributions. First, we provide an interface of PyNN to CARLsim, a computationally-efficient, GPU-accelerated and biophysically-detailed SNN simulator. PyCARL facilitates joint

  40. Maria Strazzullo, Francesco Ballarin, Gianluigi Rozza

    In this work we propose reduced order methods as a reliable strategy to efficiently solve parametrized optimal control problems governed by shallow waters equations in a solution tracking setting. The physical parametrized model we deal with is nonlinear and time dependent: this leads to very time consuming simulations which can be unbearable e.g. in a marin

  41. Fereshteh Bahadorykhalily

    The purpose of this short note is to consider multi-variate Hasse-Schmidt derivations on exterior algebras and to show how they easily provide remarkable identities, holding in the algebra of square matrices, which generalise the classical theorem of Cayley-Hamilton.

  42. Shunlin Shen

    We derive rigorously the 2D periodic focusing cubic NLS as the mean-field limit of the 3D focusing quantum many-body dynamics describing a dilute Bose gas with periodic boundary condition in the $x$-direction and a well of infinite-depth in the $z$-direction. Physical experiments for these systems are scarce. We find that, to fulfill the empirical requiremen

  43. Raghav Chaudhary, Varun Raghunathan, Kausik Majumdar

    The defect states in atomically thin layers of transition metal dichalcogenides are promising candidates for single photon emission. However, the brightness of such quantum emission is often weak, and is accompanied with undesirable effects like spectral diffusion and strong background emission. By placing a monolayer WSe$_2$ directly on a rough gold substra

  44. Victoria Fernandez Abrevaya, Adnane Boukhayma, Philip H. S. Torr, Edmond Boyer

    We present an approach for estimating surface normals from in-the-wild color images of faces. While data-driven strategies have been proposed for single face images, limited available ground truth data makes this problem difficult. To alleviate this issue, we propose a method that can leverage all available image and normal data, whether paired or not, thank

  45. S. Miraboutalebi, L. Rajaei

    A study is undertaken to investigate an analytical solution for the N-dimensional Schr\"{o}dinger equation with the Morse potential based on the Laplace transformation method. The results show that in the Pekeris approximation, the radial part of the Schr\"{o}dinger equation reduces to the corresponding equation in one dimension. Hence its exact solutions ca

  46. Yulong Fan, Rong Chen, Bo Li

    Rain removal in images is an important task in computer vision filed and attracting attentions of more and more people. In this paper, we address a non-trivial issue of removing visual effect of rain streak from a single image. Differing from existing work, our method combines various semantic constraint task in a proposed multi-task regression model for rai

  47. B. Blok, F. A. Ceccopieri

    We present predictions for the double parton scattering (DPS) four-jet production cross sections in $pA$ collisions at the LHC. Relying on the experimental capabilities to correlate centrality with impact parameter $B$ of the proton-nucleus collision, we discuss a strategy to extract the double parton scattering contributions in $pA$ collisions, which gives

  48. Piotr Szańkowski, Łukasz Cywiński

    We analyze the conditions under which the dynamics of a quantum system open to a given environment can be simulated with an external noisy field that is a surrogate for the environmental degrees of freedom. We show that such a field is either a subjective or an objective surrogate; the former is capable of simulating the dynamics only for the specific system

  49. Tongmu He

    Let $K$ be a complete discrete valuation field of characteristic $0$ with not necessarily perfect residue field of characteristic $p>0$. We define a Faltings extension of $\mathcal{O}_K$ over $\mathbb{Z}_p$, and we construct a Hodge-Tate filtration for abelian varieties over $K$ by generalizing Fontaine's construction in 1981, where he treated the perfect re

  50. Johann Langemets

    We continue the investigation of the behaviour of diameter two properties in tensor products of Banach spaces. Our main result shows that the symmetric strong diameter two property is stable by taking projective tensor products. We also prove a result for the symmetric strong diameter two property for the injective tensor product.

  51. Oded Farago

    The problem of mass diffusion in layered systems has relevance to applications in different scientific disciplines, e.g., chemistry, material science, soil science, and biomedical engineering. The mathematical challenge in these type of model systems is to match the solutions of the time-dependent diffusion equation in each layer, such that the boundary cond

  52. Adam Chudecki

    Two-sided conformally recurrent 4-dimensional self-dual spaces are considered. It is shown that such spaces are equipped with nonexpanding congruences of null strings. The general structure of weak nonexpanding hyperheavenly spaces is given. Finally, the general metrics of Petrov-Penrose type $[D] x [-]$ spaces are presented.

  53. Jose Pinzon, Martin Siebenborn, Andreas Vogel

    Skin modeling is an ongoing research area that highly benefits from modern parallel algorithms. This article aims at applying shape optimization to compute cell size and arrangement for elastic energy minimization of a cellular composite material model for the upper layer of the human skin. A gradient-penalized shape optimization algorithm is employed and te

  54. Janine Thoma, Danda Pani Paudel, Ajad Chhatkuli, Luc Van Gool

    Vision-based localization of an agent in a map is an important problem in robotics and computer vision. In that context, localization by learning matchable image features is gaining popularity due to recent advances in machine learning. Features that uniquely describe the visual contents of images have a wide range of applications, including image retrieval

  55. Leonhard Frerick, Laurent Loosveldt, Jochen Wengenroth

    We consider the space of real-valued continuously differentiable functions on a compact subset of a euclidean space. We characterize the completeness of this space and prove that the space of restrictions of continuously differentiable functions on the ambient space is always dense. The space is then compared with other spaces of differentiable functions on

  56. Jeffrey A. Boatman, David M. Vock, Joseph S. Koopmeiners

    The increasing multiplicity of data sources offers exciting possibilities in estimating the effects of a treatment, intervention, or exposure, particularly if observational and experimental sources could be used simultaneously. Borrowing between sources can potentially result in more efficient estimators, but it must be done in a principled manner to mitigat

  57. Chengshuai Wu, Michael Margaliot

    We consider $k$-positive linear systems, that is, systems that map the set of vectors with up to $k-1$ sign variations to itself. For $k=1$, this reduces to positive linear systems. It is well-known that stable positive linear time invariant (LTI) systems admit a diagonal Lyapunov function. This property has many important implications. A natural question is

  58. Fabio Cinti, Massimo Boninsegni

    In a recent article [R. Bombin, F. Mazzanti and J. Boronat, Phys. Rev. A100, 063614 (2019)], it is contended that a two-dimensional system of dipolar bosons, with dipole moments aligned at particular angles with respect to the direction perpendicular to the plane of motion, featuring a "striped" crystalline ground state, in turn undergoes a Berezinskii-Koste

  59. Phu X. Nguyen, Van-Dinh Nguyen, Hieu V. Nguyen, Oh-Soon Shin

    This paper considers secure communications for an underlay cognitive radio network (CRN) in the presence of an external eavesdropper (Eve). The secrecy performance of CRNs is usually limited by the primary receiver's interference power constraint. To overcome this issue, we propose to use an unmanned aerial vehicle (UAV) as a friendly jammer to interfere wit

  60. Yiren Zhao, Duo Wang, Xitong Gao, Robert Mullins

    We present the first differentiable Network Architecture Search (NAS) for Graph Neural Networks (GNNs). GNNs show promising performance on a wide range of tasks, but require a large amount of architecture engineering. First, graphs are inherently a non-Euclidean and sophisticated data structure, leading to poor adaptivity of GNN architectures across differen

  61. Nirupam Gupta, Nitin H. Vaidya

    This report considers the problem of Byzantine fault-tolerance in multi-agent collaborative optimization. In this problem, each agent has a local cost function. The goal of a collaborative optimization algorithm is to compute a minimum of the aggregate of the agents' cost functions. We consider the case when a certain number of agents may be Byzantine faulty

  62. Matteo Brunetti, Antonino Favata, Stefano Vidoli

    We deduce a 1D model of elastic planar rods starting from the F\"{o}ppl--von K\'{a}rm\'{a}n model of thin shells. Such model is enhanced by additional kinematical descriptors that keep explicit track of the compatibility condition requested in the 2D parent continuum, that in the standard rods models are identically satisfied after the dimensional reduction.

  63. Mohammad Ali Mohebpour, Shobair Mohammadi Mozvashi, Sahar Izadi Vishkayi, Meysam Bagheri Tagani

    Group IV and V monolayers are very crucial 2D materials for their high carrier mobilities, tunable band gaps, and optical linear dichroism. Very recently, a novel group IV-V binary compound, Sn2Bi, has been synthesized on silicon substrate, and has shown very interesting electronic properties. Further investigations have revealed that the monolayer would be

  64. Coralia Cartis, Adilet Otemissov

    We investigate the unconstrained global optimization of functions with low effective dimensionality, that are constant along certain (unknown) linear subspaces. Extending the technique of random subspace embeddings in [Wang et al., Bayesian optimization in a billion dimensions via random embeddings. JAIR, 55(1): 361--387, 2016], we study a generic Random Emb

  65. David E Evans, Terry Gannon

    This paper is part of a sequence interpreting quantities of conformal field theories K-theoretically. Here we give geometric constructions of the associated module categories (modular invariants, nimreps, etc). In particular, we give a KK-theory interpretation of all modular invariants for the loop groups of tori, as well as most known modular invariants of

  66. Bernhard C. Geiger

    We review the current literature concerned with information plane analyses of neural network classifiers. While the underlying information bottleneck theory and the claim that information-theoretic compression is causally linked to generalization are plausible, empirical evidence was found to be both supporting and conflicting. We review this evidence togeth

  67. Hang Li, Wenbiao Ding, Zitao Liu

    With the rapid emergence of K-12 online learning platforms, a new era of education has been opened up. It is crucial to have a dropout warning framework to preemptively identify K-12 students who are at risk of dropping out of the online courses. Prior researchers have focused on predicting dropout in Massive Open Online Courses (MOOCs), which often deliver

  68. Quan Zhou, Dechun Cong, Bin Kang, Xiaofu Wu

    Exploring contextual information in convolution neural networks (CNNs) has gained substantial attention in recent years for semantic segmentation. This paper introduces a Bi-directional Contextual Aggregating Network, called BiCANet, for semantic segmentation. Unlike previous approaches that encode context in feature space, BiCANet aggregates contextual cues

  69. Paul Terwilliger

    Around 2001 we classified the Leonard systems up to isomorphism. The proof was lengthy and involved considerable computation. In this paper we give a proof that is shorter and involves minimal computation. We also give a comprehensive descriptionof the intersection numbers of a Leonard system.

  70. Amir Mosavi, Pedram Ghamisi, Yaser Faghan, Puhong Duan

    The popularity of deep reinforcement learning (DRL) methods in economics have been exponentially increased. DRL through a wide range of capabilities from reinforcement learning (RL) and deep learning (DL) for handling sophisticated dynamic business environments offers vast opportunities. DRL is characterized by scalability with the potential to be applied to

  71. Eugene Goldberg

    In this report, we study partial quantifier elimination (PQE) for propositional CNF formulas. PQE is a generalization of quantifier elimination where one can limit the set of clauses taken out of the scope of quantifiers to a small subset of target clauses. The appeal of PQE is twofold. First, PQE can be dramatically simpler than full quantifier elimination.

  72. Paul Terwilliger

    Recently Sarah Bockting-Conrad introduced the double lowering operator $\psi$ for a tridiagonal pair. Motivated by $\psi$ we consider the following problem about polynomials. Let $\mathbb F$ denote an algebraically closed field. Let $x$ denote an indeterminate, and let $\mathbb F\lbrack x \rbrack$ denote the algebra consisting of the polynomials in $x$ that

  73. Pavel Golovinski

    A model of the premelting fluctuations is proposed, based on the Landau mean field theory applied to a first-order phase transition. Using the thermodynamic potential, the nonlinear Langevin equation for the order parameter is formulated, which describes the dynamics of the phase transition considering microscopic thermal fluctuations. The origin of the low-

  74. Martin Hughes, Marc Goerigk, Trivikram Dokka

    We consider global non-convex optimisation problems under uncertainty. In this setting, it is not possible to implement a desired solution exactly. Instead, any other solution within some distance to the intended solution may be implemented. The aim is to find a robust solution, i.e., one where the worst possible solution nearby still performs as well as pos

  75. Askar B. Abdikamalov, Dimitry Ayzenberg, Cosimo Bambi, Thomas Dauser

    X-ray reflection spectroscopy is a powerful tool for probing the strong gravity region of black holes and can be used for testing general relativity in the strong field regime. Simplifications of the available relativistic reflection models limit the capability of performing accurate measurements of the properties of black holes. In this paper, we present an

  76. Cristian Tatino, Nikolaos Pappas, Di Yuan

    The massive exploitation of robots for industry 4.0 needs advanced wireless solutions that replace less flexible and more costly wired networks. In this regard, millimeter-waves (mm-waves) can provide high data rates, but they are characterized by a spotty coverage requiring dense radio deployments. In such scenarios, coverage holes and numerous handovers ma

  77. Xinyang Deng

    As a generalization of Dempster-Shafer theory, D number theory (DNT) aims to provide a framework to deal with uncertain information with non-exclusiveness and incompleteness. Although there are some advances on DNT in previous studies, however, they lack of systematicness, and many important issues have not yet been solved. In this paper, several crucial asp

  78. Dhwani Sheth, Thomas V. O

    The Photogravitational Restricted Three Body Problem with oblateness has been studied to obtain halo orbits around the Lagrangian points $L_1$ and $L_2$ of the Sun-Earth system in which the Sun is taken as radiating and the Earth as an oblate spheroid. The halo orbits corresponding to fourth and fifth order approximations around $L_1$ and $L_2$ for actual ob

  79. Yang Hao, Wenbiao Ding, Zitao Liu

    Representation learning approaches require a massive amount of discriminative training data, which is unavailable in many scenarios, such as healthcare, smart city, education, etc. In practice, people refer to crowdsourcing to get annotated labels. However, due to issues like data privacy, budget limitation, shortage of domain-specific annotators, the number

  80. C. A. Cattell, B. Short, A. W. Breneman, P. Grul

    Large amplitude whistler waves at frequencies of 0.2 to 0.4 times electron cyclotron frequency are frequently observed in the solar wind. The waves are obliquely propagating close to the resonance cone, with significant electric fields parallel to the background magnetic field, enabling strong interactions with electrons. Propagation angles are distinctly di

  81. T Srinivasa Murthy

    \textit{Total Coloring} of a graph is a major coloring problem in combinatorial mathematics, introduced in the early $1960$s. A \textit{total coloring} of a graph $G$ is a map $f:V(G) \cup E(G) \rightarrow \mathcal{K}$, where $\mathcal{K}$ is a set of colors, satisfying the following three conditions: 1. $f(u) \neq f(v)$ for any two adjacent vertices $u, v \

  82. P. Walmsley, S. Aeschlimann, J. A. W. Straquadine, P. Giraldo-Gallo

    The rare-earth tritellurides ($R$Te$_3$, where $R$ = La, Ce, Pr, Nd, Sm, Gd, Tb, Dy, Ho, Er, Tm, Y) form a charge density wave state consisting of a single unidirectional charge density wave for lighter $R$, with a second unidirectional charge density wave, perpendicular and in addition to the first, also present at low temperatures for heavier $R$. We prese

  83. Mayukh Panja, Robert Cameron, Sami K. Solanki

    There are no direct spatially resolved observations of spots on stars other than the Sun and starspot properties are inferred indirectly through lightcurves and spectropolarimetric data. We present the first self-consistent 3D radiative MHD computations of starspots on G2V, K0V and M0V stars, which will help to better understand observations of activity, var

  84. Jurek B. Bauer, David J. E. Marsh, Renée Hložek, Hamsa Padmanabhan

    Intensity mapping (IM) of spectral lines has the potential to revolutionize cosmology by increasing the total number of observed modes by several orders of magnitude compared to the cosmic microwave background (CMB) anisotropies. In this paper, we consider IM of neutral hydrogen (HI) in the redshift range $0 \lesssim z \lesssim 3$ employing a halo model appr

  85. Doyeon Kim, Hye Won Chung

    We consider crowdsourced labeling under a $d$-type worker-task specialization model, where each worker and task is associated with one particular type among a finite set of types and a worker provides a more reliable answer to tasks of the matched type than to tasks of unmatched types. We design an inference algorithm that recovers binary task labels (up to

  86. Christian Klöckner, Dante Marvin Kennes, Christoph Karrasch

    We introduce a method to evaluate the steady-state non-equilibrium Keldysh-Schwinger Green's functions for infinite systems subject to both an electric field and a coupling to reservoirs. The method we present exploits a physical quasi-translation invariance, where a shift by one unit cell leaves the physics invariant if all electronic energies are simultane

  87. Christian Klöckner, Christoph Karrasch, Dante Marvin Kennes

    We employ a novel, unbiased renormalization-group approach to investigate non-equilibrium phase transitions in infinite lattice models. This allows us to address the delicate interplay of fluctuations and ordering tendencies in low dimensions out of equilibrium. We study a prototypical model for the metal to insulator transition of spinless interacting fermi

  88. I. A. Fomin

    It is shown that in the polar phase of superfluid 3 He, stabilized by nematic aerogel, at the condition of specular reflection of quasi-particles from the strands of aerogel the temperature dependence of the gap in the spectrum of quasi-particles coincides with that in the bulk polar phase without impurities. The analogy with the Anderson theorem for convent

  89. Tianwei Xia, Zhe Yu, Kai Sun, Di Shi

    Power system oscillations under a large disturbance often exhibit distorted waveforms as captured by increasingly deployed phasor measurement units. One cause is the occurrence of a near-resonance condition among several dominant modes that are influenced by nonlinear transient dynamics of generators. This paper proposes an Extended Prony Analysis method for

  90. V. Čekanavičius, P. Vellaisamy

    The distribution of the sum of 1-dependent lattice vectors with supports on coordinate axes is approximated by a multivariate compound Poisson distribution and by signed compound Poisson measure. The local and $\ell_\alpha$-norms are used to obtain the error bounds. The Heinrich method is used for the proofs.

  91. Stephane Boubanga-Tombet, Wojciech Knap, Deepika Yadav, Akira Satou

    We report on experimental studies of terahertz (THz) radiation transmission through grating-gate graphene-channel transistor nanostructures and demonstrate room temperature THz radiation amplification stimulated by current-driven plasmon excitations. Specifically, with increase of the direct current (dc) under periodic charge density modulation, we observe a

  92. Samuel Gomes, Tomás Alves, João Dias, Carlos Martinho

    Recent research has taken particular interest in observing the dynamics between altruistic and individual behavior. This is a commonly approached problem when reasoning about social dilemmas, which have a plethora of real world counterparts in the fields of education, health and economics. Weighing how incentives influence in-game behavior, our study examine

  93. Deepesh Bhamre, Anuradha Misra

    We consider the three fundamental one loop Feynman diagrams of QED viz. vertex correction, fermion self-energy and vacuum polarization in the light-front gauge and discuss the equivalence of their standard covariant expressions with the light-front expressions obtained using light-cone time-ordered Hamiltonian perturbation theory. Although this issue has bee

  94. Adam Peace

    Increasingly in medical imaging has emerged an issue surrounding the reconstruction of noisy images from raw measurement data. Where the forward problem is the generation of raw measurement data from a ground truth image, the inverse problem is the reconstruction of those images from the measurement data. In most cases with medical imaging, classical inverse

  95. Yunzhao Wu, Qi Jin, Cui Li, Tianyi Xu

    The Moon's optical characteristics in visible and long-wavelength infrared (LWIR) have long been observed with our eyes or with instruments. What the mid-infrared (MIR) Moon looks like is still a mystery. For the first time we present detailed appearance of the MIR Moon observed by a high-resolution geostationary satellite and reveal the essence behind its a

  96. Katherine A. Schreiber, Gábor A. Csáthy

    Due to its extremely rich phase diagram, the two-dimensional electron gas exposed to perpendicular magnetic field has been the subject of intense and sustained study. One particularly interesting problem in this system is that of the half-filled Landau level, where the Fermi sea of composite fermions, a fractional quantum Hall state arising from a pairing in

  97. Joshua Knights, Ben Harwood, Daniel Ward, Anthony Vanderkop

    This paper presents TCE: Temporally Coherent Embeddings for self-supervised video representation learning. The proposed method exploits inherent structure of unlabeled video data to explicitly enforce temporal coherency in the embedding space, rather than indirectly learning it through ranking or predictive proxy tasks. In the same way that high-level visual

  98. Peiyuan Ni, Wenguang Zhang, Xiaoxiao Zhu, Qixin Cao

    Grasping for novel objects is important for robot manipulation in unstructured environments. Most of current works require a grasp sampling process to obtain grasp candidates, combined with local feature extractor using deep learning. This pipeline is time-costly, expecially when grasp points are sparse such as at the edge of a bowl. In this paper, we propos

  99. Eduardo C. Garrido Merchán, Luis C. Jariego Pérez

    Bayesian Optimization is the state of the art technique for the optimization of black boxes, i.e., functions where we do not have access to their analytical expression nor its gradients, they are expensive to evaluate and its evaluation is noisy. The most popular application of bayesian optimization is the automatic hyperparameter tuning of machine learning

  100. Michael A. Bekos, Mirco Haug, Michael Kaufmann, Julia Männecke

    We present a prototype online system to automate the procedure of computing different types of linear layouts of graphs under different user-specific constraints. Currently, four different types of linear layouts are supported: stack, queue, rique and deque, as well as, any mixture of them. The system consists of two main components; the client and the serve