-
An absence of fast radio bursts at intermediate galactic latitudes
Authors:
E. Petroff,
W. van Straten,
S. Johnston,
M. Bailes,
E. D. Barr,
S. D. Bates,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
D. Champion,
P. Coster,
C. Flynn,
E. F. Keane,
M. J. Keith,
M. Kramer,
L. Levin,
C. Ng,
A. Possenti,
B. W. Stappers,
C. Tiburzi,
D. Thornton
Abstract:
Fast radio bursts (FRBs) are an emerging class of bright, highly dispersed radio pulses. Recent work by Thornton et al. (2013) has revealed a population of FRBs in the High Time Resolution Universe (HTRU) survey at high Galactic latitudes. A variety of progenitors have been proposed including cataclysmic events at cosmological distances, Galactic flare stars, and terrestrial radio frequency interf…
▽ More
Fast radio bursts (FRBs) are an emerging class of bright, highly dispersed radio pulses. Recent work by Thornton et al. (2013) has revealed a population of FRBs in the High Time Resolution Universe (HTRU) survey at high Galactic latitudes. A variety of progenitors have been proposed including cataclysmic events at cosmological distances, Galactic flare stars, and terrestrial radio frequency interference. Here we report on a search for FRBs at intermediate Galactic latitudes ($-15^{\circ}$ $< b <$ 15$^{\circ}$) in data taken as part of the HTRU survey. No FRBs were discovered in this region. Several effects such as dispersion, scattering, sky temperature and scintillation decrease the sensitivity by more than 3$σ$ in $\sim$20\% of survey pointings. Including all of these effects, we exclude the hypothesis that FRBs are uniformly distributed on the sky with 99\% confidence. This low probability implies that additional factors -- not accounted for by standard Galactic models -- must be included to ease the discrepancy between the detection rates at high and low Galactic latitudes. A revised rate estimate or another strong and heretofore unknown selection effect in Galactic latitude would provide closer agreement between the surveys' detection rates. The dearth of detections at low Galactic latitude disfavors a Galactic origin for these bursts.
△ Less
Submitted 22 May, 2014;
originally announced May 2014.
-
Occam Bound on Lowest Complexity of Elements
Authors:
Leonid A. Levin
Abstract:
The combined universal probability M(D) of strings x in sets D is close to max_{x \in D} M({x}): their ~ logs differ by at most D's information j = I(D:H) about the halting sequence H. Thus if all x have complexity K(x) > k, D carries > i bits of information on each x where i+j ~ k. Note, there are no ways (whether natural or artificial) to generate D with significant I(D:H).
The combined universal probability M(D) of strings x in sets D is close to max_{x \in D} M({x}): their ~ logs differ by at most D's information j = I(D:H) about the halting sequence H. Thus if all x have complexity K(x) > k, D carries > i bits of information on each x where i+j ~ k. Note, there are no ways (whether natural or artificial) to generate D with significant I(D:H).
△ Less
Submitted 13 May, 2016; v1 submitted 27 February, 2014;
originally announced March 2014.
-
The High Time Resolution Universe Pulsar Survey X: Discovery of four millisecond pulsars and updated timing solutions of a further 12
Authors:
C. Ng,
M. Bailes,
S. D. Bates,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
D. J. Champion,
P. Coster,
S. Johnston,
M. J. Keith,
M. Kramer,
L. Levin,
E. Petroff,
A. Possenti,
B. W. Stappers,
W. van Straten,
D. Thornton,
C. Tiburzi,
C. G. Bassa,
P. C. C. Freire,
L. Guillemot,
A. G. Lyne,
T. M. Tauris,
R. M. Shannon,
N. Wex
Abstract:
We report on the discovery of four millisecond pulsars (MSPs) in the High Time Resolution Universe (HTRU) pulsar survey being conducted at the Parkes 64-m radio telescope. All four MSPs are in binary systems and are likely to have white dwarf companions. In addition, we present updated timing solutions for 12 previously published HTRU MSPs, revealing new observational parameters such as five prope…
▽ More
We report on the discovery of four millisecond pulsars (MSPs) in the High Time Resolution Universe (HTRU) pulsar survey being conducted at the Parkes 64-m radio telescope. All four MSPs are in binary systems and are likely to have white dwarf companions. In addition, we present updated timing solutions for 12 previously published HTRU MSPs, revealing new observational parameters such as five proper motion measurements and significant temporal dispersion measure variations in PSR J1017-7156. We discuss the case of PSR J1801-3210, which shows no significant period derivative after four years of timing data. Our best-fit solution shows a period derivative of the order of $10^{-23}$, an extremely small number compared to that of a typical MSP. However, it is likely that the pulsar lies beyond the Galactic Centre, and an unremarkable intrinsic period derivative is reduced to close to zero by the Galactic potential acceleration. Furthermore, we highlight the potential to employ PSR J1801-3210 in the strong equivalence principle test due to its wide and circular orbit. In a broader comparison with the known MSP population, we suggest a correlation between higher mass functions and the presence of eclipses in `very low-mass binary pulsars', implying that eclipses are observed in systems with high orbital inclinations. We also suggest that the distribution of the total mass of binary systems is inversely-related to the Galactic height distribution. Finally, we report on the first detection of PSRs J1543-5149 and J1811-2404 as gamma-ray pulsars.
△ Less
Submitted 13 January, 2014;
originally announced January 2014.
-
Message and time efficient multi-broadcast schemes
Authors:
Liron Levin,
Dariusz R. Kowalski,
Michael Segal
Abstract:
We consider message and time efficient broadcasting and multi-broadcasting in wireless ad-hoc networks, where a subset of nodes, each with a unique rumor, wish to broadcast their rumors to all destinations while minimizing the total number of transmissions and total time until all rumors arrive to their destination. Under centralized settings, we introduce a novel approximation algorithm that prov…
▽ More
We consider message and time efficient broadcasting and multi-broadcasting in wireless ad-hoc networks, where a subset of nodes, each with a unique rumor, wish to broadcast their rumors to all destinations while minimizing the total number of transmissions and total time until all rumors arrive to their destination. Under centralized settings, we introduce a novel approximation algorithm that provides almost optimal results with respect to the number of transmissions and total time, separately. Later on, we show how to efficiently implement this algorithm under distributed settings, where the nodes have only local information about their surroundings. In addition, we show multiple approximation techniques based on the network collision detection capabilities and explain how to calibrate the algorithms' parameters to produce optimal results for time and messages.
△ Less
Submitted 18 October, 2013;
originally announced October 2013.
-
The High Time Resolution Universe Survey - IX: Polarimetry of long-period pulsars
Authors:
C. Tiburzi,
S. Johnston,
M. Bailes,
S. D. Bates,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
D. Champion,
P. Coster,
N. D'Amico,
M. J. Keith,
M. Kramer,
L. Levin,
S. Milia,
C. Ng,
A. Possenti,
B. W. Stappers,
D. Thornton,
W. van Straten
Abstract:
We present a polarimetric analysis of 49 long-period pulsars discovered as part of the High Time Resolution Universe (HTRU) southern survey. The sources exhibit the typical characteristics of "old" pulsars, with low fractional linear and circular polarisation and narrow, multicomponent profiles. Although the position angle swings are generally complex, for two of the analysed pulsars (J1622-3751 a…
▽ More
We present a polarimetric analysis of 49 long-period pulsars discovered as part of the High Time Resolution Universe (HTRU) southern survey. The sources exhibit the typical characteristics of "old" pulsars, with low fractional linear and circular polarisation and narrow, multicomponent profiles. Although the position angle swings are generally complex, for two of the analysed pulsars (J1622-3751 and J1710-2616) we obtained an indication of the geometry via the rotating vector model. We were able to determine a value of the rotation measure (RM) for 34 of the sources which, when combined with their dispersion measures (DM), yields an integrated magnetic field strength along the line of sight. With the data presented here, the total number of values of RM associated to pulsars discovered during the HTRU southern survey sums to 51. The RMs are not consistent with the hypothesis of a counter-clockwise direction of the Galactic magnetic field within an annulus included between 4 and 6 kpc from the Galactic centre. A partial agreement with a counter-clockwise sense of the Galactic magnetic field within the spiral arms is however found in the area of the Carina-Sagittarius arm.
△ Less
Submitted 7 October, 2013;
originally announced October 2013.
-
OFF-Set: One-pass Factorization of Feature Sets for Online Recommendation in Persistent Cold Start Settings
Authors:
Michal Aharon,
Natalie Aizenberg,
Edward Bortnikov,
Ronny Lempel,
Roi Adadi,
Tomer Benyamini,
Liron Levin,
Ran Roth,
Ohad Serfaty
Abstract:
One of the most challenging recommendation tasks is recommending to a new, previously unseen user. This is known as the 'user cold start' problem. Assuming certain features or attributes of users are known, one approach for handling new users is to initially model them based on their features.
Motivated by an ad targeting application, this paper describes an extreme online recommendation setting…
▽ More
One of the most challenging recommendation tasks is recommending to a new, previously unseen user. This is known as the 'user cold start' problem. Assuming certain features or attributes of users are known, one approach for handling new users is to initially model them based on their features.
Motivated by an ad targeting application, this paper describes an extreme online recommendation setting where the cold start problem is perpetual. Every user is encountered by the system just once, receives a recommendation, and either consumes or ignores it, registering a binary reward.
We introduce One-pass Factorization of Feature Sets, OFF-Set, a novel recommendation algorithm based on Latent Factor analysis, which models users by map** their features to a latent space. Furthermore, OFF-Set is able to model non-linear interactions between pairs of features. OFF-Set is designed for purely online recommendation, performing lightweight updates of its model per each recommendation-reward observation. We evaluate OFF-Set against several state of the art baselines, and demonstrate its superiority on real ad-targeting data.
△ Less
Submitted 8 August, 2013;
originally announced August 2013.
-
The High Time Resolution Universe Pulsar Survey - VII: discovery of five millisecond pulsars and the different luminosity properties of binary and isolated recycled pulsars
Authors:
M. Burgay,
M. Bailes,
S. D. Bates,
N. D. R. Bhat,
S. Burke-Spolaor,
D. J. Champion,
P. Coster,
N. D'Amico,
S. Johnston,
M. J. Keith,
M. Kramer,
L. Levin,
A. G. Lyne,
S. Milia,
C. Ng,
A. Possenti,
B. W. Stappers,
D. Thornton,
C. Tiburzi,
W. van Straten,
C. G. Bassa
Abstract:
This paper presents the discovery and timing parameters for five millisecond pulsars (MSPs), four in binary systems with probable white dwarf companions and one isolated, found in ongoing processing of the High Time Resolution Universe Pulsar Survey (HTRU). We also present high quality polarimetric data on four of them. These further discoveries confirm the high potential of our survey in finding…
▽ More
This paper presents the discovery and timing parameters for five millisecond pulsars (MSPs), four in binary systems with probable white dwarf companions and one isolated, found in ongoing processing of the High Time Resolution Universe Pulsar Survey (HTRU). We also present high quality polarimetric data on four of them. These further discoveries confirm the high potential of our survey in finding pulsars with very short spin periods. At least two of these five MSPs are excellent candidates to be included in the Pulsar Timing Array projects. Thanks to the wealth of MSP discoveries in the HTRU survey, we revisit the question of whether the luminosity distributions of isolated and binary MSPs are different. Using the Cordes and Lazio distance model and our new and catalogue flux density measurements, we find that 41 of the 42 most luminous MSPs in the Galactic disk are in binaries and a statistical analysis suggests that the luminosity functions differ with 99.9% significance. We conclude that the formation process that leads to solitary MSPs affects their luminosities, despite their period and period derivatives being similar to those of pulsars in binary systems.
△ Less
Submitted 29 July, 2013;
originally announced July 2013.
-
A Population of Fast Radio Bursts at Cosmological Distances
Authors:
D. Thornton,
B. Stappers,
M. Bailes,
B. R. Barsdell,
S. D. Bates,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
D. J. Champion,
P. Coster,
N. D'Amico,
A. Jameson,
S. Johnston,
M. J. Keith,
M. Kramer,
L. Levin,
S. Milia,
C. Ng,
A. Possenti,
W. van Straten
Abstract:
Searches for transient astrophysical sources often reveal unexpected classes of objects that are useful physical laboratories. In a recent survey for pulsars and fast transients we have uncovered four millisecond-duration radio transients all more than 40° from the Galactic plane. The bursts' properties indicate that they are of celestial rather than terrestrial origin. Host galaxy and intergalact…
▽ More
Searches for transient astrophysical sources often reveal unexpected classes of objects that are useful physical laboratories. In a recent survey for pulsars and fast transients we have uncovered four millisecond-duration radio transients all more than 40° from the Galactic plane. The bursts' properties indicate that they are of celestial rather than terrestrial origin. Host galaxy and intergalactic medium models suggest that they have cosmological redshifts of 0.5 to 1, and distances of up to 3 gigaparsecs. No temporally coincident x- or gamma-ray signature was identified in association with the bursts. Characterization of the source population and identification of host galaxies offers an opportunity to determine the baryonic content of the Universe.
△ Less
Submitted 5 July, 2013;
originally announced July 2013.
-
The High Time Resolution Universe Pulsar Survey VIII: The Galactic millisecond pulsar population
Authors:
L. Levin,
M. Bailes,
B. R. Barsdell,
S. D. Bates,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
D. J. Champion,
P. Coster,
N. D'Amico,
A. Jameson,
S. Johnston,
M. J. Keith,
M. Kramer,
S. Milia,
C. Ng,
A. Possenti,
B. Stappers,
D. Thornton,
W. van Straten
Abstract:
We have used millisecond pulsars (MSPs) from the southern High Time Resolution Universe (HTRU) intermediate latitude survey area to simulate the distribution and total population of MSPs in the Galaxy. Our model makes use of the scale factor method, which estimates the ratio of the total number of MSPs in the Galaxy to the known sample. Using our best fit value for the z-height, z=500 pc, we find…
▽ More
We have used millisecond pulsars (MSPs) from the southern High Time Resolution Universe (HTRU) intermediate latitude survey area to simulate the distribution and total population of MSPs in the Galaxy. Our model makes use of the scale factor method, which estimates the ratio of the total number of MSPs in the Galaxy to the known sample. Using our best fit value for the z-height, z=500 pc, we find an underlying population of MSPs of 8.3(\pm 4.2)*10^4 sources down to a limiting luminosity of L_min=0.1 mJy kpc^2 and a luminosity distribution with a steep slope of d\log N/d\log L = -1.45(\pm 0.14). However, at the low end of the luminosity distribution, the uncertainties introduced by small number statistics are large. By omitting very low luminosity pulsars, we find a Galactic population above L_min=0.2 mJy kpc^2 of only 3.0(\pm 0.7)*10^4 MSPs. We have also simulated pulsars with periods shorter than any known MSP, and estimate the maximum number of sub-MSPs in the Galaxy to be 7.8(\pm 5.0)*10^4 pulsars at L=0.1 mJy kpc^2. In addition, we estimate that the high and low latitude parts of the southern HTRU survey will detect 68 and 42 MSPs respectively, including 78 new discoveries. Pulsar luminosity, and hence flux density, is an important input parameter in the model. Some of the published flux densities for the pulsars in our sample do not agree with the observed flux densities from our data set, and we have instead calculated average luminosities from archival data from the Parkes Telescope. We found many luminosities to be very different than their catalogue values, leading to very different population estimates. Large variations in flux density highlight the importance of including scintillation effects in MSP population studies.
△ Less
Submitted 18 June, 2013;
originally announced June 2013.
-
Randomness and Non-determinism
Authors:
Leonid A. Levin
Abstract:
Exponentiation makes the difference between the bit-size of this line and the number (<< 2^{300}) of particles in the known Universe. The expulsion of exponential time algorithms from Computer Theory in the 60's broke its umbilical cord from Mathematical Logic. It created a deep gap between deterministic computation and -- formerly its unremarkable tools -- randomness and non-determinism. Little d…
▽ More
Exponentiation makes the difference between the bit-size of this line and the number (<< 2^{300}) of particles in the known Universe. The expulsion of exponential time algorithms from Computer Theory in the 60's broke its umbilical cord from Mathematical Logic. It created a deep gap between deterministic computation and -- formerly its unremarkable tools -- randomness and non-determinism. Little did we learn in the past decades about the power of either of these two basic "freedoms" of computation, but some vague pattern is emerging in relationships between them. The pattern of similar techniques instrumental for quite different results in this area seems even more interesting. Ideas like multilinear and low-degree multivariate polynomials, Fourier transformation over low-periodic groups seem very illuminating. The talk surveyed some recent results. One of them, given in a stronger form than previously published, is described below.
△ Less
Submitted 31 October, 2012;
originally announced November 2012.
-
The High Time Resolution Universe Survey VI: An Artificial Neural Network and Timing of 75 Pulsars
Authors:
S. D. Bates,
M. Bailes,
B. R. Barsdell,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
D. J. Champion,
P. Coster,
N. D'Amico,
A. Jameson,
S. Johnston,
M. J. Keith,
M. Kramer,
L. Levin,
A. Lyne,
S. Milia,
C. Ng,
C. Nietner,
A. Possenti,
B. Stappers,
D. Thornton,
W. van Straten
Abstract:
We present 75 pulsars discovered in the mid-latitude portion of the High Time Resolution Universe survey, 54 of which have full timing solutions. All the pulsars have spin periods greater than 100 ms, and none of those with timing solutions are in binaries. Two display particularly interesting behaviour; PSR J1054-5944 is found to be an intermittent pulsar, and PSR J1809-0119 has glitched twice si…
▽ More
We present 75 pulsars discovered in the mid-latitude portion of the High Time Resolution Universe survey, 54 of which have full timing solutions. All the pulsars have spin periods greater than 100 ms, and none of those with timing solutions are in binaries. Two display particularly interesting behaviour; PSR J1054-5944 is found to be an intermittent pulsar, and PSR J1809-0119 has glitched twice since its discovery.
In the second half of the paper we discuss the development and application of an artificial neural network in the data-processing pipeline for the survey. We discuss the tests that were used to generate scores and find that our neural network was able to reject over 99% of the candidates produced in the data processing, and able to blindly detect 85% of pulsars. We suggest that improvements to the accuracy should be possible if further care is taken when training an artificial neural network; for example ensuring that a representative sample of the pulsar population is used during the training process, or the use of different artificial neural networks for the detection of different types of pulsars.
△ Less
Submitted 9 September, 2012; v1 submitted 4 September, 2012;
originally announced September 2012.
-
Enumerable Distributions, Randomness, Dependence
Authors:
Leonid A. Levin
Abstract:
Mutual information I in infinite sequences (and in their finite prefixes) is essential in theoretical analysis of many situations. Yet its right definition has been elusive for a long time. I address it by generalizing Kolmogorov Complexity theory from measures to SEMImeasures i.e, infimums of sets of measures. Being concave rather than linear functionals, semimeasures are quite delicate to handle…
▽ More
Mutual information I in infinite sequences (and in their finite prefixes) is essential in theoretical analysis of many situations. Yet its right definition has been elusive for a long time. I address it by generalizing Kolmogorov Complexity theory from measures to SEMImeasures i.e, infimums of sets of measures. Being concave rather than linear functionals, semimeasures are quite delicate to handle. Yet, they adequately grasp various theoretical and practical scenaria. A simple lower bound i$(α:β) = \sup\,_{x\in N}\,(K(x) - K(x|α) - K(x|β)) $ for information turns out tight for Martin-Lof random $ α,β$. For all sequences I$(α:β) $ is characterized by the minimum of i$(α':β') $ over random $ α',β' $ with $ U(α')=α, U(β')=β$.
△ Less
Submitted 2 August, 2021; v1 submitted 14 August, 2012;
originally announced August 2012.
-
Radio emission evolution, polarimetry and multifrequency single pulse analysis of the radio magnetar PSR J1622-4950
Authors:
L. Levin,
M. Bailes,
S. D. Bates,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
N. D'Amico,
S. Johnston,
M. J. Keith,
M. Kramer,
S. Milia,
A. Possenti,
B. Stappers,
W. van Straten
Abstract:
Here we report on observations of the radio magnetar PSR J1622-4950 at frequencies from 1.4 to 17 GHz. We show that although its flux density is varying up to a factor of ~10 within a few days, it has on average decreased by a factor of 2 over the last 700 days. At the same time, timing analysis indicates a trend of decreasing spin-down rate over our entire data set, again of about a factor of 2 o…
▽ More
Here we report on observations of the radio magnetar PSR J1622-4950 at frequencies from 1.4 to 17 GHz. We show that although its flux density is varying up to a factor of ~10 within a few days, it has on average decreased by a factor of 2 over the last 700 days. At the same time, timing analysis indicates a trend of decreasing spin-down rate over our entire data set, again of about a factor of 2 over 700 days, but also an erratic variability in the spin-down rate within this time span. Integrated pulse profiles are often close to 100 per cent linearly polarized, but large variations in both the profile shape and fractional polarization are regularly observed. Furthermore, the behaviour of the position angle of the linear polarization is very complex - offsets in both the absolute position angle and the phase of the position angle sweep are often seen and the occasional presence of orthogonal mode jumps further complicates the picture. However, model fitting indicates that the magnetic and rotation axes are close to aligned. Finally, a single pulse analysis has been carried out at four observing frequencies, demonstrating that the wide pulse profile is built up of narrow spikes of emission, with widths that scale inversely with observing frequency. All three of the known radio magnetars seem to have similar characteristics, with highly polarized emission, time-variable flux density and pulse profiles, and with spectral indices close to zero.
△ Less
Submitted 10 April, 2012;
originally announced April 2012.
-
The High Time Resolution Universe Survey - V: Single-pulse energetics and modulation properties of 315 pulsars
Authors:
S. Burke-Spolaor,
S. Johnston,
M. Bailes,
S. D. Bates,
N. D. R. Bhat,
M. Burgay,
D. J. Champion,
N. D'Amico,
M. J. Keith,
M. Kramer,
L. Levin,
S. Milia A. Possenti,
B. Stappers,
W. van Straten
Abstract:
We report on the pulse-to-pulse energy distributions and phase-resolved modulation properties for catalogued pulsars in the southern High Time Resolution Universe intermediate-latitude survey. We selected the 315 pulsars detected in a single-pulse search of this survey, allowing a large sample unbiased regarding any rotational parameters of neutron stars. We found that the energy distribution of m…
▽ More
We report on the pulse-to-pulse energy distributions and phase-resolved modulation properties for catalogued pulsars in the southern High Time Resolution Universe intermediate-latitude survey. We selected the 315 pulsars detected in a single-pulse search of this survey, allowing a large sample unbiased regarding any rotational parameters of neutron stars. We found that the energy distribution of many pulsars is well-described by a log-normal distribution, with few deviating from a small range in log-normal scale and location parameters. Some pulsars exhibited multiple energy states corresponding to mode changes, and implying that some observed "nulling" may actually be a mode-change effect. PSRJ1900-2600 was found to emit weakly in its previously-identified "null" state. We found evidence for another state-change effect in two pulsars, which show bimodality in their nulling time scales; that is, they switch between a continuous-emission state and a single-pulse-emitting state. Large modulation occurs in many pulsars across the full integrated profile, with increased sporadic bursts at leading and trailing sub-beam edges. Some of these high-energy outbursts may indicate the presence of "giant pulse" phenomena. We found no correlation with modulation and pulsar period, age, or other parameters. Finally, the deviation of integrated pulse energy from its average value was generally quite small, despite the significant phase-resolved modulation in some pulsars; we interpret this as tenuous evidence of energy regulation between distinct pulsar sub-beams.
△ Less
Submitted 4 April, 2012; v1 submitted 27 March, 2012;
originally announced March 2012.
-
Multi-wavelength Observations of the Radio Magnetar PSR J1622-4950 and Discovery of its Possibly Associated Supernova Remnant
Authors:
Gemma E. Anderson,
B. M. Gaensler,
Patrick O. Slane,
Nanda Rea,
David L. Kaplan,
Bettina Posselt,
Lina Levin,
Simon Johnston,
Stephen S. Murray,
Crystal L. Brogan,
Matthew Bailes,
Samuel Bates,
Robert A. Benjamin,
N. D. Ramesh Bhat,
Marta Burgay,
Sarah Burke-Spolaor,
Deepto Chakrabarty,
Nichi D'Amico,
Jeremy J. Drake,
Paolo Esposito,
Jonathan E. Grindlay,
Jaesub Hong,
G. L. Israel1,
Michael J. Keith,
Michael Kramer
, et al. (7 additional authors not shown)
Abstract:
We present multi-wavelength observations of the radio magnetar PSR J1622-4950 and its environment. Observations of PSR J1622-4950 with Chandra (in 2007 and 2009) and XMM (in 2011) show that the X-ray flux of PSR J1622-4950 has decreased by a factor of ~50 over 3.7 years, decaying exponentially with a characteristic time of 360 +/- 11 days. This behavior identifies PSR J1622-4950 as a possible addi…
▽ More
We present multi-wavelength observations of the radio magnetar PSR J1622-4950 and its environment. Observations of PSR J1622-4950 with Chandra (in 2007 and 2009) and XMM (in 2011) show that the X-ray flux of PSR J1622-4950 has decreased by a factor of ~50 over 3.7 years, decaying exponentially with a characteristic time of 360 +/- 11 days. This behavior identifies PSR J1622-4950 as a possible addition to the small class of transient magnetars. The X-ray decay likely indicates that PSR J1622-4950 is recovering from an X-ray outburst that occurred earlier in 2007, before the 2007 Chandra observations. Observations with the Australia Telescope Compact Array show strong radio variability, including a possible radio flaring event at least one and a half years after the 2007 X-ray outburst that may be a direct result of this X-ray event. Radio observations with the Molonglo Observatory Synthesis Telescope reveal that PSR J1622-4950 is 8' southeast of a diffuse radio arc, G333.9+0.0, which appears non-thermal in nature and which could possibly be a previously undiscovered supernova remnant. If G333.9+0.0 is a supernova remnant then the estimates of its size and age, combined with the close proximity and reasonable implied velocity of PSR J1622-4950, suggests that these two objects could be physically associated.
△ Less
Submitted 13 March, 2012;
originally announced March 2012.
-
Alpha-viscosity effects in slender tori
Authors:
Jiri Horak,
Marek Abramowicz,
Lina Levin,
Rikard Slapak,
Odele Straub
Abstract:
We explore effects of the Shakura-Sunyaev alpha-viscosity on the dynamics and oscillations of slender tori. We start with a slow secular evolution of the torus. We show that the angular-momentum profile approaches the Keplerian one on the timescale longer than a dynamical one by a factor of the order of 1/α. Then we focus our attention on the oscillations of the torus. We discuss effects of variou…
▽ More
We explore effects of the Shakura-Sunyaev alpha-viscosity on the dynamics and oscillations of slender tori. We start with a slow secular evolution of the torus. We show that the angular-momentum profile approaches the Keplerian one on the timescale longer than a dynamical one by a factor of the order of 1/α. Then we focus our attention on the oscillations of the torus. We discuss effects of various angular momentum distributions. Using a perturbation theory, we have found a rather general result that the high-order acoustic modes are damped by the viscosity, while the high-order inertial modes are enhanced. We calculate a viscous growth rates for the lowest-order modes and show that already lowest-order inertial mode is unstable for less steep angular momentum profiles or very close to the central gravitating object.
△ Less
Submitted 26 January, 2012;
originally announced January 2012.
-
Femtosecond two-photon photoassociation of hot magnesium atoms: A quantum dynamical study using thermal random phase wavefunctions
Authors:
Saieswari Amaran,
Ronnie Kosloff,
Michał Tomza,
Wojciech Skomorowski,
Filip Pawlowski,
Robert Moszynski,
Leonid Rybak,
Liat Levin,
Zohar Amitay,
J. Martin Berglund,
Daniel M. Reich,
Christiane P. Koch
Abstract:
Two-photon photoassociation of hot magnesium atoms by femtosecond laser pulses, creating electronically excited magnesium dimer molecules, is studied from first principles, combining \textit{ab initio} quantum chemistry and molecular quantum dynamics. This theoretical framework allows for rationalizing the generation of molecular rovibrational coherence from thermally hot atoms [L. Rybak \textit{e…
▽ More
Two-photon photoassociation of hot magnesium atoms by femtosecond laser pulses, creating electronically excited magnesium dimer molecules, is studied from first principles, combining \textit{ab initio} quantum chemistry and molecular quantum dynamics. This theoretical framework allows for rationalizing the generation of molecular rovibrational coherence from thermally hot atoms [L. Rybak \textit{et al.}, Phys. Rev. Lett. {\bf 107}, 273001 (2011)]. Random phase thermal wave functions are employed to model the thermal ensemble of hot colliding atoms. Comparing two different choices of basis functions, random phase wavefunctions built from eigenstates are found to have the fastest convergence for the photoassociation yield. The interaction of the colliding atoms with a femtosecond laser pulse is modeled non-perturbatively to account for strong-field effects.
△ Less
Submitted 31 October, 2013; v1 submitted 9 January, 2012;
originally announced January 2012.
-
The High Time Resolution Universe Pulsar Survey IV: Discovery and polarimetry of millisecond pulsars
Authors:
M. J. Keith,
S. Johnston,
M. Bailes,
S. D. Bates,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
N. D'Amico,
A. Jameson,
M. Kramer,
L. Levin,
S. Milia,
A. Possenti,
B. W. Stappers,
W. van Straten,
D. Parent
Abstract:
We present the discovery of six millisecond pulsars (MSPs) in the High Time Resolution Universe (HTRU) survey for pulsars and fast transients carried out with the Parkes radio telescope. All six are in binary systems with approximately circular orbits and are likely to have white dwarf companions. PSR J1017-7156 has a high flux density and a narrow pulse width, making it ideal for precision timing…
▽ More
We present the discovery of six millisecond pulsars (MSPs) in the High Time Resolution Universe (HTRU) survey for pulsars and fast transients carried out with the Parkes radio telescope. All six are in binary systems with approximately circular orbits and are likely to have white dwarf companions. PSR J1017-7156 has a high flux density and a narrow pulse width, making it ideal for precision timing experiments. PSRs J1446-4701 and J1125-5825 are coincident with gamma-ray sources, and folding the high-energy photons with the radio timing ephemeris shows evidence of pulsed gamma-ray emission. PSR J1502-6752 has a spin period of 26.7 ms, and its low period derivative implies that it is a recycled pulsar. The orbital parameters indicate it has a very low mass function, and therefore a companion mass much lower than usually expected for such a mildly recycled pulsar. In addition we present polarisation profiles for all 12 MSPs discovered in the HTRU survey to date. Similar to previous observations of MSPs, we find that many have large widths and a wide range of linear and circular polarisation fractions. Their polarisation profiles can be highly complex, and although the observed position angles often do not obey the rotating vector model, we present several examples of those that do. We speculate that the emission heights of MSPs are a substantial fraction of the light cylinder radius in order to explain broad emission profiles, which then naturally leads to a large number of cases where emission from both poles is observed.
△ Less
Submitted 5 October, 2011; v1 submitted 19 September, 2011;
originally announced September 2011.
-
Transformation of a Star into a Planet in a Millisecond Pulsar Binary
Authors:
M. Bailes,
S. D. Bates,
V. Bhalerao,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
N. D'Amico,
S. Johnsto,
M. J. Keith,
M. Kramer,
S. R. Kulkarni,
L. Levin,
A. G. Lyne,
S. Milia,
A. Possenti,
L. Spitler,
B. Stappers,
W. van Straten
Abstract:
Millisecond pulsars are thought to be neutron stars that have been spun-up by accretion of matter from a binary companion. Although most are in binary systems, some 30% are solitary, and their origin is therefore mysterious. PSR J1719-1438, a 5.7 ms pulsar, was detected in a recent survey with the Parkes 64m radio telescope. We show that it is in a binary system with an orbital period of 2.2 h. It…
▽ More
Millisecond pulsars are thought to be neutron stars that have been spun-up by accretion of matter from a binary companion. Although most are in binary systems, some 30% are solitary, and their origin is therefore mysterious. PSR J1719-1438, a 5.7 ms pulsar, was detected in a recent survey with the Parkes 64m radio telescope. We show that it is in a binary system with an orbital period of 2.2 h. Its companion's mass is near that of Jupiter, but its minimum density of 23 g cm$^{-3}$ suggests that it may be an ultra-low mass carbon white dwarf. This system may thus have once been an Ultra Compact Low-Mass X-ray Binary, where the companion narrowly avoided complete destruction.
△ Less
Submitted 25 August, 2011;
originally announced August 2011.
-
Generating Molecular Rovibrational Coherence by Two-Photon Femtosecond Photoassociation of Thermally Hot Atoms
Authors:
Leonid Rybak,
Saieswari Amaran,
Liat Levin,
Michal Tomza,
Robert Moszynski,
Ronnie Kosloff,
Christiane P. Koch,
Zohar Amitay
Abstract:
The formation of diatomic molecules with rotational and vibrational coherence is demonstrated experimentally in free-to-bound two-photon femtosecond photoassociation of hot atoms. In a thermal gas at a temperature of 1000 K, pairs of magnesium atoms, colliding in their electronic ground state, are excited into coherent superpositions of bound rovibrational levels in an electronically excited state…
▽ More
The formation of diatomic molecules with rotational and vibrational coherence is demonstrated experimentally in free-to-bound two-photon femtosecond photoassociation of hot atoms. In a thermal gas at a temperature of 1000 K, pairs of magnesium atoms, colliding in their electronic ground state, are excited into coherent superpositions of bound rovibrational levels in an electronically excited state. The rovibrational coherence is probed by a time-delayed third photon, resulting in quantum beats in the UV fluorescence. A comprehensive theoretical model based on ab initio calculations rationalizes the generation of coherence by Franck-Condon filtering of collision energies and partial waves, quantifying it in terms of an increase in quantum purity of the thermal ensemble. Our results open the way to coherent control of a binary reaction.
△ Less
Submitted 16 November, 2011; v1 submitted 24 July, 2011;
originally announced July 2011.
-
Sets Have Simple Members
Authors:
Samuel Epstein,
Leonid A. Levin
Abstract:
The combined Universal Probability M(D) of strings x in sets D is close to max M({x}) over x in D: their ~logs differ by at most D's information j=I(D:H) about the halting sequence H. Thus if all x have complexity K(x) >k, D carries >i bits of information on each its x where i+j ~ k. Note that there are no ways to generate D with significant I(D:H).
The combined Universal Probability M(D) of strings x in sets D is close to max M({x}) over x in D: their ~logs differ by at most D's information j=I(D:H) about the halting sequence H. Thus if all x have complexity K(x) >k, D carries >i bits of information on each its x where i+j ~ k. Note that there are no ways to generate D with significant I(D:H).
△ Less
Submitted 20 March, 2014; v1 submitted 7 July, 2011;
originally announced July 2011.
-
17 and 24 GHz observations of southern pulsars
Authors:
M. J. Keith,
S. Johnston,
L. Levin,
M. Bailes
Abstract:
We present observations of PSRs J0437-4715, J0738-4042, J0835-4510, J0908-4913, J1048-5832, J1622-4950, J1644-4559, J1721-3532 and J1740-3015 at 17 GHz using the Parkes radio telescope. All 9 were detected at 17 GHz, additionally, we detected PSR J0835-4510 and J1622-4950 at 24 GHz. Polarisation profiles of each pulsar and the variation with frequency are discussed. In general, we find that the hi…
▽ More
We present observations of PSRs J0437-4715, J0738-4042, J0835-4510, J0908-4913, J1048-5832, J1622-4950, J1644-4559, J1721-3532 and J1740-3015 at 17 GHz using the Parkes radio telescope. All 9 were detected at 17 GHz, additionally, we detected PSR J0835-4510 and J1622-4950 at 24 GHz. Polarisation profiles of each pulsar and the variation with frequency are discussed. In general, we find that the highly polarised edge components of young pulsars continue to dominate their profiles at 17 GHz. Older pulsars (>10^5 years) appear to be almost completely depolarised. Our detection of PSR J0437-4715 is the highest frequency observation of a millisecond pulsar to date, and implies a luminosity at 17 GHz of 14 μJy kpc^2, and a mean spectral index of 2.2. We find that the spectral index of the magnetar PSR J1622-4950 is flat between 1.4 and 24 GHz, similar to the other known radio magnetars XTE J1810-197 and 1E 1547.0-5408. The profile is similar to that at 3.1 GHz, and is highly linearly polarised. Analysis of the frequency evolution of the profile of PSR J0835-4510 show that the profile is made of four components that vary with frequency only in their amplitude. The width and separation of the components remains fixed and the spectral index of each component can be determined independently.
△ Less
Submitted 19 May, 2011;
originally announced May 2011.
-
The High Time Resolution Universe Survey - III. Single-pulse searches and preliminary analysis
Authors:
S. Burke-Spolaor,
M. Bailes,
S. Johnston,
S. D. Bates,
N. D. R Bhat,
M. Burgay,
N. D'Amico,
A. Jameson,
M. J. Keith,
M. Kramer,
L. Levin,
S. Milia,
A. Possenti,
B. Stappers,
W. van Straten
Abstract:
We present the search methods and initial results for transient radio signals in the High Time Resolution Universe (HTRU) Survey. The HTRU survey's single-pulse search, the software designed to perform the search, and a determination of the HTRU survey's sensitivity to single pulses are described. Initial processing of a small fraction of the survey has produced 11 discoveries, all of which are sp…
▽ More
We present the search methods and initial results for transient radio signals in the High Time Resolution Universe (HTRU) Survey. The HTRU survey's single-pulse search, the software designed to perform the search, and a determination of the HTRU survey's sensitivity to single pulses are described. Initial processing of a small fraction of the survey has produced 11 discoveries, all of which are sparsely-emitting neutron stars, as well as provided confirmation of two previously unconfirmed neutron stars. Most of the newly discovered objects lie in regions surveyed previously, indicating both the improved sensitivity of the HTRU survey observing system and the dynamic nature of the radio sky. The cycles of active and null states in nulling pulsars, rotating radio transients (RRATs), and long-term intermittent pulsars are explored in the context of determining the relationship between these populations, and of the sensitivity of a search to the various radio-intermittent neutron star populations. This analysis supports the case that many RRATs are in fact high-null-fraction pulsars (i. e. with null fraction >~0.95), and indicates that intermittent pulsars appear distinct from nulling pulsars in their activity cycle timescales. We find that in the measured population, there is a deficit of pulsars with typical emission timescales greater than ~300 s that is not readily explained by selection effects. The HTRU low-latitude survey will be capable of addressing whether this deficit is physical. We predict that the HTRU survey will explore pulsars with a broad range of nulling fractions (up to and beyond 0.999), and at its completion is likely to increase the currently known RRATs by a factor of more than two.
△ Less
Submitted 20 February, 2011;
originally announced February 2011.
-
The High Time Resolution Universe Survey II: Discovery of 5 Millisecond Pulsars
Authors:
S. D. Bates,
M. Bailes,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
N. D'Amico,
A. Jameson,
S. Johnston,
M. J. Keith,
M. Kramer,
L. Levin,
A. Lyne,
S. Milia,
A. Possenti,
B. Stappers,
W. van Straten
Abstract:
We present the discovery of 5 millisecond pulsars found in the mid-Galactic latitude portion of the High Time Resolution Universe (HTRU) Survey. The pulsars have rotational periods from ~2.3 to ~7.5 ms, and all are in binary systems with orbital periods ranging from ~0.3 to ~150 d. In four of these systems, the most likely companion is a white dwarf, with minimum masses of ~0.2 Solar Masses. The o…
▽ More
We present the discovery of 5 millisecond pulsars found in the mid-Galactic latitude portion of the High Time Resolution Universe (HTRU) Survey. The pulsars have rotational periods from ~2.3 to ~7.5 ms, and all are in binary systems with orbital periods ranging from ~0.3 to ~150 d. In four of these systems, the most likely companion is a white dwarf, with minimum masses of ~0.2 Solar Masses. The other pulsar, J1731-1847, has a very low mass companion and exhibits eclipses, and is thus a member of the "black widow" class of pulsar binaries. These eclipses have been observed in bands centred near frequencies of 700, 1400 and 3000 MHz, from which measurements have been made of the electron density in the eclipse region. These measurements have been used to examine some possible eclipse mechanisms. The eclipse and other properties of this source are used to perform a comparison with the other known eclipsing and "black widow" pulsars.
These new discoveries occupy a short-period and high-dispersion measure (DM) region of parameter space, which we demonstrate is a direct consequence of the high time and frequency resolution of the HTRU survey. The large implied distances to our new discoveries makes observation of their companions unlikely with both current optical telescopes and the Fermi Gamma-ray Space Telescope. The extremely circular orbits make any advance of periastron measurements highly unlikely. No relativistic Shapiro delays are obvious in any of the systems, although the low flux densities would make their detection difficult unless the orbits were fortuitously edge-on.
△ Less
Submitted 25 January, 2011;
originally announced January 2011.
-
Some Theorems on the Algorithmic Approach to Probability Theory and Information Theory
Authors:
Leonid A. Levin
Abstract:
This is a 1971 dissertation. Only its extended abstract was published at the time. While some results appeared in other publications, a number of details remained unpublished and may still have relevance.
This is a 1971 dissertation. Only its extended abstract was published at the time. While some results appeared in other publications, a number of details remained unpublished and may still have relevance.
△ Less
Submitted 29 September, 2010;
originally announced September 2010.
-
A Radio-loud Magnetar in X-ray Quiescence
Authors:
Lina Levin,
Matthew Bailes,
Samuel Bates,
N. D. Ramesh Bhat,
Marta Burgay,
Sarah Burke-Spolaor,
Nichi D'Amico,
Simon Johnston,
Michael Keith,
Michael Kramer,
Sabrina Milia,
Andrea Possenti,
Nanda Rea,
Ben Stappers,
Willem van Straten
Abstract:
As part of a survey for radio pulsars with the Parkes 64-m telescope we have discovered PSR J1622-4950, a pulsar with a 4.3-s rotation period. Follow-up observations show that the pulsar has the highest inferred surface magnetic field of the known radio pulsars (B ~ 3e14 G), exhibits significant timing noise and appears to have an inverted spectrum. Unlike the vast majority of the known pulsar pop…
▽ More
As part of a survey for radio pulsars with the Parkes 64-m telescope we have discovered PSR J1622-4950, a pulsar with a 4.3-s rotation period. Follow-up observations show that the pulsar has the highest inferred surface magnetic field of the known radio pulsars (B ~ 3e14 G), exhibits significant timing noise and appears to have an inverted spectrum. Unlike the vast majority of the known pulsar population, PSR J1622-4950 appears to switch off for many hundreds of days and even in its on-state exhibits extreme variability in its flux density. Furthermore, the integrated pulse profile changes shape with epoch. All of these properties are remarkably similar to the only two magnetars previously known to emit radio pulsations. The position of PSR J1622-4950 is coincident with an X-ray source that, unlike the other radio pulsating magnetars, was found to be in quiescence. We conclude that our newly discovered pulsar is a magnetar - the first to be discovered via its radio emission.
△ Less
Submitted 7 July, 2010;
originally announced July 2010.
-
The High Time Resolution Universe Pulsar Survey I: System configuration and initial discoveries
Authors:
M. J. Keith,
A. Jameson,
W. van Straten,
M. Bailes,
S. Johnston,
M. Kramer,
A. Possenti,
S. D. Bates,
N. D. R. Bhat,
M. Burgay,
S. Burke-Spolaor,
N. D'Amico,
L. Levin,
P. L. McMahon,
S. Milia,
B. W. Stappers
Abstract:
We have embarked on a survey for pulsars and fast transients using the 13-beam Multibeam receiver on the Parkes radio telescope. Installation of a digital backend allows us to record 400 MHz of bandwidth for each beam, split into 1024 channels and sampled every 64 us. Limits of the receiver package restrict us to a 340 MHz observing band centred at 1352 MHz. The factor of eight improvement in freq…
▽ More
We have embarked on a survey for pulsars and fast transients using the 13-beam Multibeam receiver on the Parkes radio telescope. Installation of a digital backend allows us to record 400 MHz of bandwidth for each beam, split into 1024 channels and sampled every 64 us. Limits of the receiver package restrict us to a 340 MHz observing band centred at 1352 MHz. The factor of eight improvement in frequency resolution over previous multibeam surveys allows us to probe deeper into the Galactic plane for short duration signals such as the pulses from millisecond pulsars. We plan to survey the entire southern sky in 42641 pointings, split into low, mid and high Galactic latitude regions, with integration times of 4200, 540 and 270 s respectively. Simulations suggest that we will discover 400 pulsars, of which 75 will be millisecond pulsars. With ~30% of the mid-latitude survey complete, we have re-detected 223 previously known pulsars and discovered 27 pulsars, 5 of which are millisecond pulsars. The newly discovered millisecond pulsars tend to have larger dispersion measures than those discovered in previous surveys, as expected from the improved time and frequency resolution of our instrument.
△ Less
Submitted 5 October, 2010; v1 submitted 29 June, 2010;
originally announced June 2010.
-
Local Analysis of Nonlinear Oscillations of Thin Accretion Disks
Authors:
Sara Fogelström,
Lina Levin,
Rikard Slapak
Abstract:
We calculated the coupling coefficients for non-linear, quasi-local oscillatory modes of thin accretion disks. We found that several of them are non-zero. Mode coupling is a necessary condition for a resonance, and thus our results may be relevant for the recently discussed QPO resonance model.
We calculated the coupling coefficients for non-linear, quasi-local oscillatory modes of thin accretion disks. We found that several of them are non-zero. Mode coupling is a necessary condition for a resonance, and thus our results may be relevant for the recently discussed QPO resonance model.
△ Less
Submitted 12 February, 2008;
originally announced February 2008.
-
Self-stabilization of Circular Arrays of Automata
Authors:
Leonid A. Levin
Abstract:
[Gacs, Kurdiumov, Levin, 78] proposed simple one-dimensional cellular automata with 2 states. In an infinite array they are self-stabilizing: if all but a finite minority of automata are in the same state, the minority states disappear. Implicit in the paper was a stronger result that a sufficiently small minority of states vanish even in a finite circular array. The following note makes this st…
▽ More
[Gacs, Kurdiumov, Levin, 78] proposed simple one-dimensional cellular automata with 2 states. In an infinite array they are self-stabilizing: if all but a finite minority of automata are in the same state, the minority states disappear. Implicit in the paper was a stronger result that a sufficiently small minority of states vanish even in a finite circular array. The following note makes this strengthening explicit.
△ Less
Submitted 8 February, 2006;
originally announced February 2006.
-
Flat Holonomies on Automata Networks
Authors:
Gene Itkis,
Leonid A. Levin
Abstract:
We consider asynchronous networks of identical finite (independent of network's size or topology) automata. Our automata drive any network from any initial configuration of states, to a coherent one in which it can carry efficiently any computations implementable on synchronous properly initialized networks of the same size.
A useful data structure on such networks is a partial orientation of it…
▽ More
We consider asynchronous networks of identical finite (independent of network's size or topology) automata. Our automata drive any network from any initial configuration of states, to a coherent one in which it can carry efficiently any computations implementable on synchronous properly initialized networks of the same size.
A useful data structure on such networks is a partial orientation of its edges. It needs to be flat, i.e. have null holonomy (no excess of up or down edges in any cycle). It also needs to be centered, i.e. have a unique node with no down edges.
There are (interdependent) self-stabilizing asynchronous finite automata protocols assuring flat centered orientation. Such protocols may vary in assorted efficiency parameters and it is desirable to have each replaceable with any alternative, responsible for a simple limited task. We describe an efficient reduction of any computational task to any such set of protocols compliant with our interface conditions.
△ Less
Submitted 30 December, 2011; v1 submitted 20 December, 2005;
originally announced December 2005.
-
Notes for Miscellaneous Lectures
Authors:
Leonid A. Levin
Abstract:
Here I share a few notes I used in various course lectures, talks, etc. Some may be just calculations that in the textbooks are more complicated, scattered, or less specific; others may be simple observations I found useful or curious.
Here I share a few notes I used in various course lectures, talks, etc. Some may be just calculations that in the textbooks are more complicated, scattered, or less specific; others may be simple observations I found useful or curious.
△ Less
Submitted 18 July, 2022; v1 submitted 17 March, 2005;
originally announced March 2005.
-
Aperiodic Tilings: Breaking Translational Symmetry
Authors:
Leonid A. Levin
Abstract:
Classical results on aperiodic tilings are rather complicated and not widely understood. Below, an alternative approach is discussed in hope to provide additional intuition not apparent in classical works.
Classical results on aperiodic tilings are rather complicated and not widely understood. Below, an alternative approach is discussed in hope to provide additional intuition not apparent in classical works.
△ Less
Submitted 29 August, 2005; v1 submitted 13 September, 2004;
originally announced September 2004.
-
Forbidden Information
Authors:
Leonid A. Levin
Abstract:
Goedel Incompleteness Theorem leaves open a way around it, vaguely perceived for a long time but not clearly identified. (Thus, Goedel believed informal arguments can answer any math question.) Closing this loophole does not seem obvious and involves Kolmogorov complexity. (This is unrelated to, well studied before, complexity quantifications of the usual Goedel effects.) I consider extensions U o…
▽ More
Goedel Incompleteness Theorem leaves open a way around it, vaguely perceived for a long time but not clearly identified. (Thus, Goedel believed informal arguments can answer any math question.) Closing this loophole does not seem obvious and involves Kolmogorov complexity. (This is unrelated to, well studied before, complexity quantifications of the usual Goedel effects.) I consider extensions U of the universal partial recursive predicate (or, say, Peano Arithmetic). I prove that any U either leaves an n-bit input (statement) unresolved or contains nearly all information about the n-bit prefix of any r.e. real r (which is n bits for some r). I argue that creating significant information about a SPECIFIC math sequence is impossible regardless of the methods used. Similar problems and answers apply to other unsolvability results for tasks allowing multiple solutions, e.g. non-recursive tilings.
△ Less
Submitted 14 December, 2018; v1 submitted 27 March, 2002;
originally announced March 2002.
-
Initial experiments concerning quantum information processing in rare-earth-ion doped crystals
Authors:
M. Nilsson,
L. Levin,
N. Ohlsson,
T. Christiansson,
S. Kroll
Abstract:
In this paper initial experiments towards constructing simple quantum gates in a solid state material are presented. Instead of using specially tailored materials, the aim is to select a subset of randomly distributed ions in the material, which have the interaction necessary to control each other and therefore can be used to do quantum logic operations. The experimental results demonstrate that…
▽ More
In this paper initial experiments towards constructing simple quantum gates in a solid state material are presented. Instead of using specially tailored materials, the aim is to select a subset of randomly distributed ions in the material, which have the interaction necessary to control each other and therefore can be used to do quantum logic operations. The experimental results demonstrate that part of an inhomogeneously broadened absorption line can be selected as a qubit and that a subset of ions in the material can control the resonance frequency of other ions. This opens the way for the construction of quantum gates in rare-earth-ion doped crystals.
△ Less
Submitted 30 January, 2002;
originally announced January 2002.
-
An Average Case NP-Complete Graph Coloring Problem
Authors:
Leonid A. Levin,
Ramarathnam Venkatesan
Abstract:
NP-complete problems should be hard on some instances but those may be extremely rare. On generic instances many such problems, especially related to random graphs, have been proven easy. We show the intractability of random instances of a graph coloring problem: this graph problem is hard on average unless all NP problem under all samplable (i.e., generatable in polynomial time) distributions are…
▽ More
NP-complete problems should be hard on some instances but those may be extremely rare. On generic instances many such problems, especially related to random graphs, have been proven easy. We show the intractability of random instances of a graph coloring problem: this graph problem is hard on average unless all NP problem under all samplable (i.e., generatable in polynomial time) distributions are easy. Worst case reductions use special gadgets and typically map instances into a negligible fraction of possible outputs. Ours must output nearly random graphs and avoid any super-polynomial distortion of probabilities.
△ Less
Submitted 15 December, 2017; v1 submitted 2 December, 2001;
originally announced December 2001.
-
Complex Tilings
Authors:
Bruno Durand,
Leonid A. Levin,
Alexander Shen
Abstract:
We study the minimal complexity of tilings of a plane with a given tile set. We note that every tile set admits either no tiling or some tiling with O(n) Kolmogorov complexity of its n-by-n squares. We construct tile sets for which this bound is tight: all n-by-n squares in all tilings have complexity at least n. This adds a quantitative angle to classical results on non-recursivity of tilings -…
▽ More
We study the minimal complexity of tilings of a plane with a given tile set. We note that every tile set admits either no tiling or some tiling with O(n) Kolmogorov complexity of its n-by-n squares. We construct tile sets for which this bound is tight: all n-by-n squares in all tilings have complexity at least n. This adds a quantitative angle to classical results on non-recursivity of tilings -- that we also develop in terms of Turing degrees of unsolvability.
Keywords: Tilings, Kolmogorov complexity, recursion theory
△ Less
Submitted 25 September, 2007; v1 submitted 4 July, 2001;
originally announced July 2001.
-
Byzantine Agreement with Faulty Majority using Bounded Broadcast
Authors:
Jeffrey Considine,
Leonid A. Levin,
David Metcalf
Abstract:
Byzantine Agreement introduced in [Pease, Shostak, Lamport, 80] is a widely used building block of reliable distributed protocols. It simulates broadcast despite the presence of faulty parties within the network, traditionally using only private unicast links. Under such conditions, Byzantine Agreement requires more than 2/3 of the parties to be compliant. [Fitzi, Maurer, 00], constructed a Byza…
▽ More
Byzantine Agreement introduced in [Pease, Shostak, Lamport, 80] is a widely used building block of reliable distributed protocols. It simulates broadcast despite the presence of faulty parties within the network, traditionally using only private unicast links. Under such conditions, Byzantine Agreement requires more than 2/3 of the parties to be compliant. [Fitzi, Maurer, 00], constructed a Byzantine Agreement protocol for any compliant majority based on an additional primitive allowing transmission to any two parties simultaneously. They proposed a problem of generalizing these results to wider channels and fewer compliant parties. We prove that 2f < kh condition is necessary and sufficient for implementing broadcast with h compliant and f faulty parties using k-cast channels.
△ Less
Submitted 25 December, 2003; v1 submitted 26 December, 2000;
originally announced December 2000.
-
The Tale of One-way Functions
Authors:
Leonid A. Levin
Abstract:
The existence of one-way functions is arguably the most important problem in computer theory. The article discusses and refines a number of concepts relevant to this problem. For instance, it gives the first combinatorial complete owf, i.e., a function which is one-way if any function is. There are surprisingly many subtleties in basic definitions. Some of these subtleties are discussed or hinte…
▽ More
The existence of one-way functions is arguably the most important problem in computer theory. The article discusses and refines a number of concepts relevant to this problem. For instance, it gives the first combinatorial complete owf, i.e., a function which is one-way if any function is. There are surprisingly many subtleties in basic definitions. Some of these subtleties are discussed or hinted at in the literature and some are overlooked. Here, a unified approach is attempted.
△ Less
Submitted 17 August, 2003; v1 submitted 26 December, 2000;
originally announced December 2000.
-
Taxation and Valuation
Authors:
Leonid A. Levin
Abstract:
The greatest harm from highway robbers lies not in seized wallets but in inhibited travel. Similarly, incentives for tax-reducing strategies put much sand in the wheels of the economy. Demands to replace our monumental tax code with a simple, graceful one that does not distort economic incentives heat up periodically in political debate, but such dreams never materialize. A FUNDAMENTAL obstacle, n…
▽ More
The greatest harm from highway robbers lies not in seized wallets but in inhibited travel. Similarly, incentives for tax-reducing strategies put much sand in the wheels of the economy. Demands to replace our monumental tax code with a simple, graceful one that does not distort economic incentives heat up periodically in political debate, but such dreams never materialize. A FUNDAMENTAL obstacle, not yet well understood in the economic literature, is the impossibility of objectively evaluating the tax base -- assets, income, etc. One can see this even in toy examples, say, trying to assess the value of a position in chess: great masters' assessments will all differ. Here computer theory can add an insight not provided by classical economics tools.
A way around is to avoid evaluations by expressing the tax in natural units, not in cash. For publicly traded corporations, these could be corporate shares. I discuss a simple (postcard-sized in ALL details) corporate tax system that avoids ANY distortion of incentives. (Tax tools MEANT to influence corporate policies should be set as explicit separate taxes or credits, open to public scrutiny, not hidden between lines of an incomprehensible tax code.) Roughly, the~system is to periodically take a t*i fraction of shares to auction, where t is the tax rate, i is the interest rate. It replaces all income taxes on publicly traded corporations, their subsidiaries, and shareholders.
The interest rate is defined via specially designed bonds, so that the whole system can be shown PRECISELY equivalent to a flat tax on INVESTMENT RETURN. Note that taxing the return DIRECTLY is impossible: it would invite manipulation of stock market~prices. The main feature is that nothing corporations and investors do can change their tax (t*i fraction of shares), so they would do business exactly the SAME WAY they would WITHOUT TAXES.
△ Less
Submitted 28 January, 2020; v1 submitted 17 December, 2000;
originally announced December 2000.
-
Discourse Processing of Dialogues with Multiple Threads
Authors:
Carolyn Penstein Rose',
Barbara Di Eugenio,
Lori S. Levin,
Carol Van Ess-Dykema
Abstract:
In this paper we will present our ongoing work on a plan-based discourse processor developed in the context of the Enthusiast Spanish to English translation system as part of the JANUS multi-lingual speech-to-speech translation system. We will demonstrate that theories of discourse which postulate a strict tree structure of discourse on either the intentional or attentional level are not totally…
▽ More
In this paper we will present our ongoing work on a plan-based discourse processor developed in the context of the Enthusiast Spanish to English translation system as part of the JANUS multi-lingual speech-to-speech translation system. We will demonstrate that theories of discourse which postulate a strict tree structure of discourse on either the intentional or attentional level are not totally adequate for handling spontaneous dialogues. We will present our extension to this approach along with its implementation in our plan-based discourse processor. We will demonstrate that the implementation of our approach outperforms an implementation based on the strict tree structure approach.
△ Less
Submitted 27 April, 1995;
originally announced April 1995.