Regional aspects of decision-making support for rural development in Poland

Measures for rural development should be adapted to the specific regional conditions and national programs should allow for different regional priorities. However, decision-making for policy measures often takes place under special conditions with many concerned actors, unstructured decision problems and time pressure. These conditions, decision-makers in administrations and institutions are faced with, make the formation of policy-measures for rural development a complex matter. Thus, there is the question arising how decision-makers can be supported in setting priorities for allocating budgets for policy measures among regions. Recently, multi criteria decision-making approaches are discussed to tackle these kinds of decision problems. We show exemplarily for the Polish program of rural development, how decision-making could be supported using a multi-objective programming approach. Different preferences of actors can be considered explicitly by visualizing “trade-offs” and an interactive use of the approach. For example, a political "equity" objective is implemented as a constraint in the programming approach, restricting the budget differences between regions to a defined level. By a parameterization of the bound for budget differences, the "trade-off" between three objectives is displayed and evaluated. Using the exemplary programming approach, it is shown that the objective values of the two main objectives of the PROW decline, when the budget differences between regions are restricted for pursuing a political "equity" objective.Regional Budgeting, Interactive Decision-making support, Multi-objective Programming (MOP), Community/Rural/Urban Development,

Phase Diagram of Interacting Bosons on the Honeycomb Lattice

We study the ground state properties of repulsively interacting bosons on the honeycomb lattice using large-scale quantum Monte Carlo simulations. In the hard-core limit the half-filled system develops long ranged diagonal order for sufficiently strong nearest-neighbor repulsion. This staggered solid melts at a first order quantum phase transition into the superfluid phase, without the presence of any intermediate supersolid phase. Within the superfluid phase, both the superfluid density and the compressibility exhibit local minima near particle- (hole-) density one quarter, while the density and the condensate fraction show inflection points in this region. Relaxing the hard-core constraint, supersolid phases emerge for soft-core bosons. The suppression of the superfluid density is found to persist for sufficiently large, finite on-site repulsion.Comment: 4 pages with 5 figure

Recent advances in the simulation of particle-laden flows

A substantial number of algorithms exists for the simulation of moving particles suspended in fluids. However, finding the best method to address a particular physical problem is often highly non-trivial and depends on the properties of the particles and the involved fluid(s) together. In this report we provide a short overview on a number of existing simulation methods and provide two state of the art examples in more detail. In both cases, the particles are described using a Discrete Element Method (DEM). The DEM solver is usually coupled to a fluid-solver, which can be classified as grid-based or mesh-free (one example for each is given). Fluid solvers feature different resolutions relative to the particle size and separation. First, a multicomponent lattice Boltzmann algorithm (mesh-based and with rather fine resolution) is presented to study the behavior of particle stabilized fluid interfaces and second, a Smoothed Particle Hydrodynamics implementation (mesh-free, meso-scale resolution, similar to the particle size) is introduced to highlight a new player in the field, which is expected to be particularly suited for flows including free surfaces.Comment: 16 pages, 4 figure

On the Herbrand content of LK

We present a structural representation of the Herbrand content of LK-proofs with cuts of complexity prenex Sigma-2/Pi-2. The representation takes the form of a typed non-deterministic tree grammar of order 2 which generates a finite language of first-order terms that appear in the Herbrand expansions obtained through cut-elimination. In particular, for every Gentzen-style reduction between LK-proofs we study the induced grammars and classify the cases in which language equality and inclusion hold.Comment: In Proceedings CL&C 2016, arXiv:1606.0582

High-Precision Spectroscopy with Counter-Propagating Femtosecond Pulses

An experimental realization of high-precision direct frequency comb spectroscopy using counter-propagating femtosecond pulses on two-photon atomic transitions is presented. Doppler broadened background signal, hampering precision spectroscopy with ultrashort pulses, is effectively eliminated with a simple pulse shaping method. As a result, all four 5S-7S two-photon transitions in a rubidium vapor are determined with both statistical and systematic uncertainties below 10$^{-11}$, which is an order of magnitude better than previous experiments on these transitions.Comment: 5 pages, 4 figures. Accepted to PR

Two-body recombination in a quantum mechanical lattice gas: Entropy generation and probing of short-range magnetic correlations

We study entropy generation in a one-dimensional (1D) model of bosons in an optical lattice experiencing two-particle losses. Such heating is a major impediment to observing exotic low temperature states, and "simulating" condensed matter systems. Developing intuition through numerical simulations, we present a simple empirical model for the entropy produced in this 1D setting. We also explore the time evolution of one and two particle correlation functions, showing that they are robust against two-particle loss. Because of this robustness, induced two-body losses can be used as a probe of short range magnetic correlations.Comment: 6 pages, 3 figures - v4, published versio