The Cumulant Expansion for the Anderson Lattice with Finite U: The Completeness Problem

``Completeness'' (i.e. probability conservation) is not usually satisfied in the cumulant expansion of the Anderson lattice when a reduced state space is employed for $U\to \infty$. To understand this result, the well known ``Chain'' approximation is first calculated for finite $U$, followed by taking $U\to \infty$. Completeness is recovered by this procedure, but this result hides a serious inconsistency that causes completeness failure in the reduced space calculation. Completeness is satisfied and the inconsistency is removed by choosing an adequate family of diagrams. The main result of this work is that using a reduced space of relevant states is as good as using the whole space.Comment: Latex 22 pages, 6 figures with postscript files attached, accepted for publication in the Int. J. of Mod. Phys. B (1998). Subject field : Strongly Correlated System

Reasoning about Data Repetitions with Counter Systems

We study linear-time temporal logics interpreted over data words with multiple attributes. We restrict the atomic formulas to equalities of attribute values in successive positions and to repetitions of attribute values in the future or past. We demonstrate correspondences between satisfiability problems for logics and reachability-like decision problems for counter systems. We show that allowing/disallowing atomic formulas expressing repetitions of values in the past corresponds to the reachability/coverability problem in Petri nets. This gives us 2EXPSPACE upper bounds for several satisfiability problems. We prove matching lower bounds by reduction from a reachability problem for a newly introduced class of counter systems. This new class is a succinct version of vector addition systems with states in which counters are accessed via pointers, a potentially useful feature in other contexts. We strengthen further the correspondences between data logics and counter systems by characterizing the complexity of fragments, extensions and variants of the logic. For instance, we precisely characterize the relationship between the number of attributes allowed in the logic and the number of counters needed in the counter system.Comment: 54 page

Revisiting the correlation between stellar activity and planetary surface gravity

Aims: We re-evaluate the correlation between planetary surface gravity and stellar host activity as measured by the index log($R'_{HK}$). This correlation, previously identified by Hartman (2010), is now analyzed in light of an extended measurements dataset, roughly 3 times larger than the original one. Methods: We calculated the Spearman's rank correlation coefficient between the two quantities and its associated p-value. The correlation coefficient was calculated for both the full dataset and the star-planet pairs that follow the conditions proposed by Hartman (2010). In order to do so, we considered effective temperatures both as collected from the literature and from the SWEET-Cat catalog, which provides a more homogeneous and accurate effective temperature determination. Results: The analysis delivers significant correlation coefficients, but with a lower value than those obtained by Hartman (2010). Yet, the two datasets are compatible, and we show that a correlation coefficient as large as previously published can arise naturally from a small-number statistics analysis of the current dataset. The correlation is recovered for star-planet pairs selected using the different conditions proposed by Hartman (2010). Remarkably, the usage of SWEET-Cat temperatures leads to larger correlation coefficient values. We highlight and discuss the role of the correlation betwen different parameters such as effective temperature and activity index. Several additional effects on top of those discussed previously were considered, but none fully explains the detected correlation. In light of the complex issue discussed here, we encourage the different follow-up teams to publish their activity index values in the form of log($R'_{HK}$) index so that a comparison across stars and instruments can be pursued.Comment: 11 pages, 3 figures, accepted for publication in A&

Convergence of numerical schemes for short wave long wave interaction equations

We consider the numerical approximation of a system of partial differential equations involving a nonlinear Schr\"odinger equation coupled with a hyperbolic conservation law. This system arises in models for the interaction of short and long waves. Using the compensated compactness method, we prove convergence of approximate solutions generated by semi-discrete finite volume type methods towards the unique entropy solution of the Cauchy problem. Some numerical examples are presented.Comment: 31 pages, 7 figure