Curvaton reheating and intermediate inflation in brane cosmology

In this paper, we study the curvaton reheating mechanism for an intermediate inflationary universe in brane world cosmology. In contrast to our previous work, we assume that when the universe enters the kination era, it is still in the high-energy regime. We then discuss, in detail, the new cosmological constraints on both the model parameters and the physical quantities.Comment: 15 pages, 4 figures. With some modifications to the text the version published on Can. J. Phys. arXiv admin note: significant text overlap with arXiv:1011.080

The Parameterized Complexity of Domination-type Problems and Application to Linear Codes

We study the parameterized complexity of domination-type problems. (sigma,rho)-domination is a general and unifying framework introduced by Telle: a set D of vertices of a graph G is (sigma,rho)-dominating if for any v in D, |N(v)\cap D| in sigma and for any $v\notin D, |N(v)\cap D| in rho. We mainly show that for any sigma and rho the problem of (sigma,rho)-domination is W[2] when parameterized by the size of the dominating set. This general statement is optimal in the sense that several particular instances of (sigma,rho)-domination are W[2]-complete (e.g. Dominating Set). We also prove that (sigma,rho)-domination is W[2] for the dual parameterization, i.e. when parameterized by the size of the dominated set. We extend this result to a class of domination-type problems which do not fall into the (sigma,rho)-domination framework, including Connected Dominating Set. We also consider problems of coding theory which are related to domination-type problems with parity constraints. In particular, we prove that the problem of the minimal distance of a linear code over Fq is W[2] for both standard and dual parameterizations, and W[1]-hard for the dual parameterization. To prove W[2]-membership of the domination-type problems we extend the Turing-way to parameterized complexity by introducing a new kind of non deterministic Turing machine with the ability to perform `blind' transitions, i.e. transitions which do not depend on the content of the tapes. We prove that the corresponding problem Short Blind Multi-Tape Non-Deterministic Turing Machine is W[2]-complete. We believe that this new machine can be used to prove W[2]-membership of other problems, not necessarily related to dominationComment: 19 pages, 2 figure

A Satisfiability Algorithm for Sparse Depth Two Threshold Circuits

We give a nontrivial algorithm for the satisfiability problem for cn-wire threshold circuits of depth two which is better than exhaustive search by a factor 2^{sn} where s= 1/c^{O(c^2)}. We believe that this is the first nontrivial satisfiability algorithm for cn-wire threshold circuits of depth two. The independently interesting problem of the feasibility of sparse 0-1 integer linear programs is a special case. To our knowledge, our algorithm is the first to achieve constant savings even for the special case of Integer Linear Programming. The key idea is to reduce the satisfiability problem to the Vector Domination Problem, the problem of checking whether there are two vectors in a given collection of vectors such that one dominates the other component-wise. We also provide a satisfiability algorithm with constant savings for depth two circuits with symmetric gates where the total weighted fan-in is at most cn. One of our motivations is proving strong lower bounds for TC^0 circuits, exploiting the connection (established by Williams) between satisfiability algorithms and lower bounds. Our second motivation is to explore the connection between the expressive power of the circuits and the complexity of the corresponding circuit satisfiability problem

Heredity for generalized power domination

In this paper, we study the behaviour of the generalized power domination number of a graph by small changes on the graph, namely edge and vertex deletion and edge contraction. We prove optimal bounds for $\gamma\_{p,k}(G-e)$, $\gamma\_{p,k}(G/e)$ and for $\gamma\_{p,k}(G-v)$ in terms of $\gamma\_{p,k}(G)$, and give examples for which these bounds are tight. We characterize all graphs for which $\gamma\_{p,k}(G-e) = \gamma\_{p,k}(G)+1$ for any edge $e$. We also consider the behaviour of the propagation radius of graphs by similar modifications.Comment: Discrete Mathematics and Theoretical Computer Science, 201

More Applications of the d-Neighbor Equivalence: Connectivity and Acyclicity Constraints

In this paper, we design a framework to obtain efficient algorithms for several problems with a global constraint (acyclicity or connectivity) such as Connected Dominating Set, Node Weighted Steiner Tree, Maximum Induced Tree, Longest Induced Path, and Feedback Vertex Set. For all these problems, we obtain 2^O(k)* n^O(1), 2^O(k log(k))* n^O(1), 2^O(k^2) * n^O(1) and n^O(k) time algorithms parameterized respectively by clique-width, Q-rank-width, rank-width and maximum induced matching width. Our approach simplifies and unifies the known algorithms for each of the parameters and match asymptotically also the running time of the best algorithms for basic NP-hard problems such as Vertex Cover and Dominating Set. Our framework is based on the d-neighbor equivalence defined in [Bui-Xuan, Telle and Vatshelle, TCS 2013]. The results we obtain highlight the importance and the generalizing power of this equivalence relation on width measures. We also prove that this equivalence relation could be useful for Max Cut: a W[1]-hard problem parameterized by clique-width. For this latter problem, we obtain n^O(k), n^O(k) and n^(2^O(k)) time algorithm parameterized by clique-width, Q-rank-width and rank-width

Axion constraints in non-standard thermal histories

It is usually assumed that dark matter is produced during the radiation dominated era. There is, however, no direct evidence for radiation domination prior to big-bang nucleosynthesis. Two non-standard thermal histories are considered. In one, the low-temperature-reheating scenario, radiation domination begins as late as 1 MeV, and is preceded by significant entropy generation. Thermal axion relic abundances are then suppressed, and cosmological limits to axions are loosened. For reheating temperatures less than 35 MeV, the large-scale structure limit to the axion mass is lifted. The remaining constraint from the total density of matter is significantly relaxed. Constraints are also relaxed for higher reheating temperatures. In a kination scenario, a more modest change to cosmological axion constraints is obtained. Future possible constraints to axions and low-temperature reheating from the helium abundance and next-generation large-scale-structure surveys are discussed.Comment: 10 pages, 7 figures, revised to match version published in Phys. Rev. D. Fig. 7 and Eq. (20) modifie