On the Computational Complexity of Non-dictatorial Aggregation

We investigate when non-dictatorial aggregation is possible from an algorithmic perspective, where non-dictatorial aggregation means that the votes cast by the members of a society can be aggregated in such a way that the collective outcome is not simply the choices made by a single member of the society. We consider the setting in which the members of a society take a position on a fixed collection of issues, where for each issue several different alternatives are possible, but the combination of choices must belong to a given set $X$ of allowable voting patterns. Such a set $X$ is called a possibility domain if there is an aggregator that is non-dictatorial, operates separately on each issue, and returns values among those cast by the society on each issue. We design a polynomial-time algorithm that decides, given a set $X$ of voting patterns, whether or not $X$ is a possibility domain. Furthermore, if $X$ is a possibility domain, then the algorithm constructs in polynomial time such a non-dictatorial aggregator for $X$. We then show that the question of whether a Boolean domain $X$ is a possibility domain is in NLOGSPACE. We also design a polynomial-time algorithm that decides whether $X$ is a uniform possibility domain, that is, whether $X$ admits an aggregator that is non-dictatorial even when restricted to any two positions for each issue. As in the case of possibility domains, the algorithm also constructs in polynomial time a uniform non-dictatorial aggregator, if one exists. Then, we turn our attention to the case where $X$ is given implicitly, either as the set of assignments satisfying a propositional formula, or as a set of consistent evaluations of an sequence of propositional formulas. In both cases, we provide bounds to the complexity of deciding if $X$ is a (uniform) possibility domain.Comment: 21 page

Odin observations of ammonia in the Sgr A +50 km/s Cloud and Circumnuclear Disk

Context. The Odin satellite is now into its sixteenth year of operation, much surpassing its design life of two years. One of the sources which Odin has observed in great detail is the Sgr A Complex in the centre of the Milky Way. Aims. To study the presence of NH3 in the Galactic Centre and spiral arms. Methods. Recently, Odin has made complementary observations of the 572 GHz NH3 line towards the Sgr A +50 km/s Cloud and Circumnuclear Disk (CND). Results. Significant NH3 emission has been observed in both the +50 km/s Cloud and the CND. Clear NH3 absorption has also been detected in many of the spiral arm features along the line of sight from the Sun to the core of our Galaxy. Conclusions. The very large velocity width (80 km/s) of the NH3 emission associated with the shock region in the southwestern part of the CND may suggest a formation/desorption scenario similar to that of gas-phase H2O in shocks/outflows.Comment: 5 pages, 3 figures, 3 table

Lower bounds for on-line graph colorings

We propose two strategies for Presenter in on-line graph coloring games. The first one constructs bipartite graphs and forces any on-line coloring algorithm to use $2\log_2 n - 10$ colors, where $n$ is the number of vertices in the constructed graph. This is best possible up to an additive constant. The second strategy constructs graphs that contain neither $C_3$ nor $C_5$ as a subgraph and forces $\Omega(\frac{n}{\log n}^\frac{1}{3})$ colors. The best known on-line coloring algorithm for these graphs uses $O(n^{\frac{1}{2}})$ colors

Absolute calibration of Analog Detectors using Stimulated Parametric Down Conversion

Spontaneous parametric down conversion has been largely exploited as a tool for absolute calibration of photon counting detectors, photomultiplier tubes or avalanche photodiodes working in Geiger regime. In this work we investigate the extension of this technique from very low photon flux of photon counting regime to the absolute calibration of analog photodetectors at higher photon flux. Moving toward higher photon rate, i.e. at high gain regime, with the spontaneous parametric down conversion shows intrinsic limitations of the method, while the stimulated parametric down conversion process, where a seed beam properly injected into the crystal in order to increase the photon generation rate in the conjugate arm, allows us to work around this problem. A preliminary uncertainty budget is discussed

Algorithmic statistics revisited

The mission of statistics is to provide adequate statistical hypotheses (models) for observed data. But what is an "adequate" model? To answer this question, one needs to use the notions of algorithmic information theory. It turns out that for every data string $x$ one can naturally define "stochasticity profile", a curve that represents a trade-off between complexity of a model and its adequacy. This curve has four different equivalent definitions in terms of (1)~randomness deficiency, (2)~minimal description length, (3)~position in the lists of simple strings and (4)~Kolmogorov complexity with decompression time bounded by busy beaver function. We present a survey of the corresponding definitions and results relating them to each other

Casimir effect of electromagnetic field in Randall-Sundrum spacetime

We study the finite temperature Casimir effect on a pair of parallel perfectly conducting plates in Randall-Sundrum model without using scalar field analogy. Two different ways of interpreting perfectly conducting conditions are discussed. The conventional way that uses perfectly conducting condition induced from 5D leads to three discrete mode corrections. This is very different from the result obtained from imposing 4D perfectly conducting conditions on the 4D massless and massive vector fields obtained by decomposing the 5D electromagnetic field. The latter only contains two discrete mode corrections, but it has a continuum mode correction that depends on the thicknesses of the plates. It is shown that under both boundary conditions, the corrections to the Casimir force make the Casimir force more attractive. The correction under 4D perfectly conducting condition is always smaller than the correction under the 5D induced perfectly conducting condition. These statements are true at any temperature.Comment: 20 pages, 4 figure

Shake table testing of a tuned mass damper inerter (Tmdi)-equipped structure and nonlinear dynamic modeling under harmonic excitations

This paper presents preliminary experimental results from a novel shaking table testing campaign investigating the dynamic response of a two-degree-of-freedom (2DOF) physical specimen with a grounded inerter under harmonic base excitation and contributes a nonlinear dynamic model capturing the behavior of the test specimen. The latter consists of a primary mass connected to the ground through a high damping rubber isolator (HDRI) and a secondary mass connected to the primary mass through a second HDRI. Further, a flywheel-based rack-and-pinion inerter prototype device is used to connect the secondary mass to the ground. The resulting specimen resembles the tuned mass damper inerter (TMDI) configuration with grounded inerter analytically defined and numerically assessed by the authors in a number of previous publications. Physical specimens with three different inerter coefficients are tested on the shake table under sine-sweep excitation with three different amplitudes. Experimental frequency response functions (FRFs) are derived manifesting a softening nonlinear behavior of the specimens and enhanced vibration suppression with increased inerter coefficient. Further, a 2DOF parametric nonlinear model of the specimen is established accounting for non-ideal inerter device behavior and its potential to characterize experimental response time-histories, FRFs, and force-displacement relationships of the HDRIs and of the inerter is verified

Harmonic analysis on the Möbius gyrogroup

In this paper we propose to develop harmonic analysis on the Poincaré ball $B_t^n$, a model of the n-dimensional real hyperbolic space. The Poincaré ball $B_t^n$ is the open ball of the Euclidean n-space $R^n$ with radius $t>0$, centered at the origin of $R^n$ and equipped with Möbius addition, thus forming a Möbius gyrogroup where Möbius addition in the ball plays the role of vector addition in $\mathbb{R}^n$. For any $t>0$ and an arbitrary parameter $\sigma \in R$ we study the $(\sigma,t)$-translation, the $( \sigma,t)$-convolution, the eigenfunctions of the $(\sigma,t)$-Laplace-Beltrami operator, the $(\sigma,t)$-Helgason Fourier transform, its inverse transform and the associated Plancherel's Theorem, which represent counterparts of standard tools, thus, enabling an effective theory of hyperbolic harmonic analysis. Moreover, when $t \rightarrow +\infty$ the resulting hyperbolic harmonic analysis on $B_t^n$ tends to the standard Euclidean harmonic analysis on $R^n$, thus unifying hyperbolic and Euclidean harmonic analysis. As an application we construct diffusive wavelets on $B_t^n$

'I actually felt like I was a researcher myself.' On involving children in the analysis of qualitative paediatric research in the Netherlands

OBJECTIVES: To evaluate the feasibility of a new approach to paediatric research whereby we involved children in analysing qualitative data, and to reflect on the involvement process. SETTING: This was a single-centre, qualitative study in the Netherlands. It consisted of research meetings with individual children at home (Phase I) or group meetings at school (Phase II). In Phase I, we identified themes from a video interview during five one-on-one meetings between a child co-researcher and the adult researcher. In Phase II, during two group meetings, we explored the themes in detail using fragments from 16 interviews. PARTICIPANTS: We involved 14 school children (aged 10 to 14 years) as co-researchers to analyse children's interviews about their experience while participating in medical research. Notes were taken, and children provided feedback. A thematic analysis was performed using a framework approach. RESULTS: All co-researchers identified themes. The time needed to complete the task varied, as did the extent to which the meetings needed to be structured to improve concentration. The children rated time investment as adequate and they considered acting as co-researcher interesting and fun, adding that they had learnt new skills and gained new knowledge. The experience also led them to reflect on health matters in their own lives. The adult researchers considered the process relatively time intensive, but the project did result in a more critical assessment of their own work. CONCLUSION: The new, two-phase approach of involving children to help analyse qualitative data is a feasible research method. The novelty lies in involving children to help identify themes from original interview data, thereby limiting preselection of data by adults, before exploring these themes in detail. Videos make it easier for children to understand the data and to empathise with the interviewees, and limits time investment