Discovering a junction tree behind a Markov network by a greedy algorithm

In an earlier paper we introduced a special kind of k-width junction tree, called k-th order t-cherry junction tree in order to approximate a joint probability distribution. The approximation is the best if the Kullback-Leibler divergence between the true joint probability distribution and the approximating one is minimal. Finding the best approximating k-width junction tree is NP-complete if k>2. In our earlier paper we also proved that the best approximating k-width junction tree can be embedded into a k-th order t-cherry junction tree. We introduce a greedy algorithm resulting very good approximations in reasonable computing time. In this paper we prove that if the Markov network underlying fullfills some requirements then our greedy algorithm is able to find the true probability distribution or its best approximation in the family of the k-th order t-cherry tree probability distributions. Our algorithm uses just the k-th order marginal probability distributions as input. We compare the results of the greedy algorithm proposed in this paper with the greedy algorithm proposed by Malvestuto in 1991.Comment: The paper was presented at VOCAL 2010 in Veszprem, Hungar

Human Resource Development as a possibility for developing the most underdeveloped micro-regions of Hungary

One of the problems in regional development policy having been present for a long time – and presumably to remain for a long while – is developing the most underdeveloped regions. Unfortunately the difference between the developed and the underdeveloped has increased in Hungary during the last two decades – despite the strengthening regional politics. These regions are usually afflicted with multiple disadvantages, therefore it is not enough to explore and change only one cause leading to underdevelopment. It is of complex origin; the effect of several correlated factor-layers can be observed. It is an elemental thesis in case of local improvements that investing into human resources (to put it in an ordinary way, into people) and improving the conditions of the population (qualification, healthcare, standards of living, etc.) is one of the most efficient and less costly means to eliminate underdevelopment. Despite its cost-efficiency only long-term results can be expected; in many cases it takes generations to benefit from the investment. In this work we will review the conclusions and suggestions of the educational aspects of a complex Hungarian development programme

Finding Finite Models in Multi-Sorted First-Order Logic

This work extends the existing MACE-style finite model finding approach to multi-sorted first order logic. This existing approach iteratively assumes increasing domain sizes and encodes the related ground problem as a SAT problem. When moving to the multi-sorted setting each sort may have a different domain size, leading to an explosion in the search space. This paper focusses on methods to tame that search space. The key approach adds additional information to the SAT encoding to suggest which domains should be grown. Evaluation of an implementation of techniques in the Vampire theorem prover shows that they dramatically reduce the search space and that this is an effective approach to find finite models in multi-sorted first order logic.Comment: SAT 201

Far-Infrared Properties of Spitzer-selected Luminous Starbursts

We present SHARC-2 350 micron data on 20 luminous z ~ 2 starbursts with S(1.2mm) > 2 mJy from the Spitzer-selected samples of Lonsdale et al. and Fiolet et al. All the sources were detected, with S(350um) > 25 mJy for 18 of them. With the data, we determine precise dust temperatures and luminosities for these galaxies using both single-temperature fits and models with power-law mass--temperature distributions. We derive appropriate formulae to use when optical depths are non-negligible. Our models provide an excellent fit to the 6um--2mm measurements of local starbursts. We find characteristic single-component temperatures T1 ~ 35.5+-2.2 K and integrated infrared (IR) luminosities around 10^(12.9+-0.1) Lsun for the SWIRE-selected sources. Molecular gas masses are estimated at 4 x 10^(10) Msun, assuming kappa(850um)=0.15 m^2/kg and a submillimeter-selected galaxy (SMG)-like gas-to-dust mass ratio. The best-fit models imply >~2 kpc emission scales. We also note a tight correlation between rest-frame 1.4 GHz radio and IR luminosities confirming star formation as the predominant power source. The far-IR properties of our sample are indistinguishable from the purely submillimeter-selected populations from current surveys. We therefore conclude that our original selection criteria, based on mid-IR colors and 24 um flux densities, provides an effective means for the study of SMGs at z ~ 1.5--2.5.Comment: 13 pages, 4 figures, edited to match published version in ApJ 717, 29-39 (2010

The HATNet and HATSouth Exoplanet Surveys

The Hungarian-made Automated Telescope Network (HATNet) has been in operation since 2003, with the key science goal being the discovery and accurate characterization of transiting extrasolar planets (TEPs) around bright stars. Using six small, 11\,cm\ aperture, fully automated telescopes in Arizona and Hawaii, as of 2017 March, it has discovered and accurately characterized 67 such objects. The HATSouth network of telescopes has been in operation since 2009, using slightly larger, 18\,cm diameter optical tubes. It was the first global network of telescopes using identical instrumentation. With three premier sites spread out in longitude (Chile, Namibia, Australia), the HATSouth network permits round-the-clock observations of a 128 square arcdegree swath of the sky at any given time, weather permitting. As of this writing, HATSouth has discovered 36 transiting exoplanets. Many of the altogether ~100 HAT and HATSouth exoplanets were the first of their kind. They have been important contributors to the rapidly developing field of exoplanets, motivating and influencing observational techniques, theoretical studies, and also actively shaping future instrumentation for the detection and characterization of such objects.Comment: Invited review chapter, accepted for publication in "Handbook of Exoplanets", edited by H.J. Deeg and J.A. Belmonte, Springer Reference Work

Thin accretion disks in stationary axisymmetric wormhole spacetimes

In this paper, we study the physical properties and the equilibrium thermal radiation emission characteristics of matter forming thin accretion disks in stationary axially symmetric wormhole spacetimes. The thin disk models are constructed by taking different values of the wormhole's angular velocity, and the time averaged energy flux, the disk temperature and the emission spectra of the accretion disks are obtained. Comparing the mass accretion in a rotating wormhole geometry with the one of a Kerr black hole, we verify that the intensity of the flux emerging from the disk surface is greater for wormholes than for rotating black holes with the same geometrical mass and accretion rate. We also present the conversion efficiency of the accreting mass into radiation, and show that the rotating wormholes provide a much more efficient engine for the transformation of the accreting mass into radiation than the Kerr black holes. Therefore specific signatures appear in the electromagnetic spectrum of thin disks around rotating wormholes, thus leading to the possibility of distinguishing wormhole geometries by using astrophysical observations of the emission spectra from accretion disks.Comment: 12 pages, 26 figures. V2: minor corrections and references added; to appear in Physical Review D. V3: typos corrected, matches published versio