4,307 research outputs found
The topological structure of scaling limits of large planar maps
We discuss scaling limits of large bipartite planar maps. If p is a fixed
integer strictly greater than 1, we consider a random planar map M(n) which is
uniformly distributed over the set of all 2p-angulations with n faces. Then, at
least along a suitable subsequence, the metric space M(n) equipped with the
graph distance rescaled by the factor n to the power -1/4 converges in
distribution as n tends to infinity towards a limiting random compact metric
space, in the sense of the Gromov-Hausdorff distance. We prove that the
topology of the limiting space is uniquely determined independently of p, and
that this space can be obtained as the quotient of the Continuum Random Tree
for an equivalence relation which is defined from Brownian labels attached to
the vertices. We also verify that the Hausdorff dimension of the limit is
almost surely equal to 4.Comment: 45 pages Second version with minor modification
A Decidable Confluence Test for Cognitive Models in ACT-R
Computational cognitive modeling investigates human cognition by building
detailed computational models for cognitive processes. Adaptive Control of
Thought - Rational (ACT-R) is a rule-based cognitive architecture that offers a
widely employed framework to build such models. There is a sound and complete
embedding of ACT-R in Constraint Handling Rules (CHR). Therefore analysis
techniques from CHR can be used to reason about computational properties of
ACT-R models. For example, confluence is the property that a program yields the
same result for the same input regardless of the rules that are applied.
In ACT-R models, there are often cognitive processes that should always yield
the same result while others e.g. implement strategies to solve a problem that
could yield different results. In this paper, a decidable confluence criterion
for ACT-R is presented. It allows to identify ACT-R rules that are not
confluent. Thereby, the modeler can check if his model has the desired
behavior.
The sound and complete translation of ACT-R to CHR from prior work is used to
come up with a suitable invariant-based confluence criterion from the CHR
literature. Proper invariants for translated ACT-R models are identified and
proven to be decidable. The presented method coincides with confluence of the
original ACT-R models.Comment: To appear in Stefania Costantini, Enrico Franconi, William Van
Woensel, Roman Kontchakov, Fariba Sadri, and Dumitru Roman: "Proceedings of
RuleML+RR 2017". Springer LNC
Magnetization reversal and spin dynamics exchange in biased F/AF bilayers probed with complex permeability spectra
The spin dynamics of the ferromagnetic pinned layer of
ferro-antiferromagnetic coupled NiFe/MnNi bilayers is investigated in a broad
frequency range (30 MHz-6 GHz). A phenomenological model based on the
Landau-Lifshitz equation for the complex permeability of the F/AF bilayer is
proposed. The experimental results are compared to theoretical predictions. We
show that the resonance frequencies, measured during the magnetization, are
likewise hysteretic.Comment: 4 pages, 4 figure
The Distance to NGC 4993: The Host Galaxy of the Gravitational-wave Event GW170817
The historic detection of gravitational waves from a binary neutron star
merger (GW170817) and its electromagnetic counterpart led to the first accurate
(sub-arcsecond) localization of a gravitational-wave event. The transient was
found to be 10" from the nucleus of the S0 galaxy NGC 4993. We report
here the luminosity distance to this galaxy using two independent methods. (1)
Based on our MUSE/VLT measurement of the heliocentric redshift () we infer the systemic recession velocity of the
NGC 4993 group of galaxies in the cosmic microwave background (CMB) frame to be
km s. Using constrained cosmological
simulations we estimate the line-of-sight peculiar velocity to be km s, resulting in a cosmic velocity of km s () and a
distance of Mpc assuming a local Hubble constant of
km s Mpc. (2) Using Hubble Space Telescope
measurements of the effective radius (15.5" 1.5") and contained intensity
and MUSE/VLT measurements of the velocity dispersion, we place NGC 4993 on the
Fundamental Plane (FP) of E and S0 galaxies. Comparing to a frame of 10
clusters containing 226 galaxies, this yields a distance estimate of Mpc. The combined redshift and FP distance is Mpc. This 'electromagnetic' distance estimate is consistent
with the independent measurement of the distance to GW170817 as obtained from
the gravitational-wave signal ( Mpc) and
confirms that GW170817 occurred in NGC 4993.Comment: 9 pages, 5 figure
Canonical-basis solution of the Hartree-Fock-Bogoliubov equation on three-dimensional Cartesian mesh
A method is presented to obtain the canonical-form solutions of the HFB
equation for atomic nuclei with zero-range interactions like the Skyrme force.
It is appropriate to describe pairing correlations in the continuum in
coordinate-space representations. An improved gradient method is used for
faster convergences under constraint of orthogonality between orbitals. To
prevent high-lying orbitals to shrink into a spatial point, a repulsive
momentum dependent force is introduced, which turns out to unveil the nature of
high-lying canonical-basis orbitals. The asymptotic properties at large radius
and the relation with quasiparticle states are discussed for the obtained
canonical basis.Comment: 23 pages including 17 figures, REVTeX4, revised version, scheduled to
appear in Phys. Rev. C, Vol.69, No.
Social Communication Across Reproductive Boundaries: Hormones And The Auditory Periphery Of Songbirds And Frogs
Most animals experience reproductive transitions in their lives; for instance, reaching reproductive maturity or cycling in and out of breeding condition. Some reproductive transitions are abrupt, while others are more gradual. In most cases, changes in communication between the sexes follow the time course of these reproductive transitions and are typically thought to be coordinated by steroid hormones. We know a great deal about hormonal control of communication behaviors in birds and frogs, as well as the central neural control of these behaviors. There has also been significant interest in the effects of steroid hormones on central nervous system structures that control both the production and reception of communication signals associated with reproductive behaviors. However, peripheral sensory structures have typically received less attention, although there has been growing interest in recent years. It is becoming clear that peripheral sensory systems play an important role in reproductive communication, are plastic across reproductive conditions, and, in some cases, this plasticity may be mediated by steroid hormones. In this paper, we discuss recent evidence for the role of peripheral auditory structures in reproductive communication in birds and frogs, the plasticity of the peripheral auditory system, and the role of steroid hormones in mediating the effects of the peripheral auditory system on reproductive communication. We focus on both seasonal and acute reproductive transitions, introduce new data on the role of hormones in modulating seasonal patterns, and make recommendations for future work
A simple proof of Duquesne's theorem on contour processes of conditioned Galton-Watson trees
We give a simple new proof of a theorem of Duquesne, stating that the
properly rescaled contour function of a critical aperiodic Galton-Watson tree,
whose offspring distribution is in the domain of attraction of a stable law of
index , conditioned on having total progeny , converges in
the functional sense to the normalized excursion of the continuous-time height
function of a strictly stable spectrally positive L\'evy process of index
. To this end, we generalize an idea of Le Gall which consists in using
an absolute continuity relation between the conditional probability of having
total progeny exactly and the conditional probability of having total
progeny at least . This new method is robust and can be adapted to establish
invariance theorems for Galton-Watson trees having vertices whose degrees
are prescribed to belong to a fixed subset of the positive integers.Comment: 16 pages, 2 figures. Published versio
Совместное использование станции активного подсвета и опорных источников сигналов при местоопределении наземных радиопередающих устройств, работающих через геостационарные ретрансляторы
Introduction. There are incidences of jamming the users of satellite communication systems, who apply e.g. geostationary relay satellites, and the illegal use of such satellite resources. These actions can be both intentional and unintentional, and, among other things, be caused by non-compliance with electromagnetic compatibility standards on part of other users of satellite communication systems. For a prompt and high -quality response of radio monitoring services and satellite operators to these illegal actions, it seems urgent to develop methods for accurate determination of the geolocation of radio emission sources.Aim. To develop a method for improving the accuracy of determining the coordinates of ground-based radio emission sources operating via geostationary relay satellites based on shared operation of a barrage jammer and reference signal sources.Materials and methods. The research was conducted using the statistical theory of radio engineering systems, the theory of digital signal processing and the method of simulation.Results. A method was developed for improving the geolocation accuracy of ground-based radio emission sources operating via geostationary relay satellites based on shared operation of a barrage jammer and reference signal sources. A method for resolving ambiguity regarding the true correlation peak of a reference source signal using a signal from a barrage jammer was described. An expression was obtained for the probability of a correct solution when resolving such ambiguity. As a result, the estimates of geolocation accuracy obtained using the developed method were compared with those obtained by a conventional method relying on the usage of 3 different reference stations.Conclusions. The method proposed in this paper makes it possible to achieve a relatively high accuracy when determining the geolocation of ground-based radio emission sources in the Earth’s regions of interest, at the same time as involving no organizational and financial costs for the installation of a large number of reference stations.Введение. В настоящее время часто наблюдаются случаи постановки помех пользователям спутниковых систем связи, использующих, в частности, космические аппараты-ретрансляторы, расположенные на геостационарной орбите, а также нелегального использования ресурса таких космических аппаратов. Подобные действия могут быть как непреднамеренными, так и целенаправленными, и, в частности, приводят к несоблюдению норм электромагнитной совместимости с другими пользователями спутниковой системы связи. Для оперативного и качественного реагирования служб радиоконтроля и операторов космических аппаратов на нелегальные действия актуальна разработка методов, позволяющих с необходимой точностью определять местоположение источника помехового радиоизлучения.Цель работы. Разработка метода повышения точности определения координат наземных источников радиоизлучения, работающих через геостационарные спутники-ретрансляторы, за счет совместного использования станции активного подсвета и опорных источников сигналов.Материалы и методы. Используются статистическая теория радиотехнических систем, теория цифровой обработки сигналов и метод имитационного моделирования.Результаты. Разработан метод повышения точности местоопределения наземных источников радиоизлучения, работающих через геостационарные ретрансляторы, за счет совместного использования станции активного подсвета и опорных источников сигналов. Описан метод разрешения неоднозначности относительно истинного корреляционного пика опорного источника сигнала с помощью сигнала станции активного подсвета. Получено выражение для вероятности правильного решения при разрешении неоднозначности. В результате имитационного моделирования получена оценка точности геолокации при использовании разработанного метода в сравнении с известным методом, предполагающим использование трех реперных станций.Заключение. Метод, описываемый в данной статье, позволяет достичь относительно высокой точности определения местоположения наземных источников радиоизлучения в интересующих регионах Земли, не требуя организационных и финансовых затрат по установке большого количества реперных станций
- …