Multiply-Recursive Upper Bounds with Higman's Lemma

We develop a new analysis for the length of controlled bad sequences in well-quasi-orderings based on Higman's Lemma. This leads to tight multiply-recursive upper bounds that readily apply to several verification algorithms for well-structured systems

Revealing the nature of the highly obscured galactic source IGR J16318-4848

The X-ray source IGR J16318-4848 was the first source discovered by INTEGRAL on 2003, January 29. We carried out optical and near-infrared (NIR) observations at the European Southern Observatory (ESO La Silla) in the course of a Target of Opportunity (ToO) programme. We discovered the optical counterpart and confirmed an already proposed NIR candidate. NIR spectroscopy revealed a large amount of emission lines, including forbidden iron lines and P-Cygni profiles. The spectral energy distribution of the source points towards a high luminosity and a high temperature, with an absorption greater than the interstellar absorption, but two orders of magnitude lower than the X-ray absorption. We show that the source is an High Mass X-ray binary (HMXB) at a distance between ~1 and 6 kpc, the mass donor being an early-type star, probably a sgB[e] star, surrounded by a rich and absorbing circumstellar material. This would make the second High Mass X-ray Binary (HMXB) with a sgB[e] star after CI Cam, indicating that a new class of strongly absorbed X-ray binaries is being unveiled by INTEGRAL.Comment: to appear in proceedings of the IAU conference #194, Compact Binaries in the Galaxy and beyond, La Paz, Mexico, 17-22 November 2003, ed. G. Tovmassian & E. Sion, RevMexAA (CS

Allocation rules for museum pass programs

We consider natural axioms for allocating the income of museum pass programs. Two allocation rules are characterized and are shown to coincide with the Shapley value and the equal division solution of the associated TU-game introduced by Ginsburgh and Zang (2003).Museum pass program; fair treatment; Shapley value; equal division solution

On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders

We investigate the ordinal invariants height, length, and width of well quasi orders (WQO), with particular emphasis on width, an invariant of interest for the larger class of orders with finite antichain condition (FAC). We show that the width in the class of FAC orders is completely determined by the width in the class of WQOs, in the sense that if we know how to calculate the width of any WQO then we have a procedure to calculate the width of any given FAC order. We show how the width of WQO orders obtained via some classical constructions can sometimes be computed in a compositional way. In particular, this allows proving that every ordinal can be obtained as the width of some WQO poset. One of the difficult questions is to give a complete formula for the width of Cartesian products of WQOs. Even the width of the product of two ordinals is only known through a complex recursive formula. Although we have not given a complete answer to this question we have advanced the state of knowledge by considering some more complex special cases and in particular by calculating the width of certain products containing three factors. In the course of writing the paper we have discovered that some of the relevant literature was written on cross-purposes and some of the notions re-discovered several times. Therefore we also use the occasion to give a unified presentation of the known results

Magnetic Nernst effect

The thermodynamics of irreversible processes in continuous media predicts the existence of a Magnetic Nernst effect that results from a magnetic analog to the Seebeck effect in a ferromagnet and magnetophoresis occurring in a paramagnetic electrode in contact with the ferromagnet. Thus, a voltage that has DC and AC components is expected across a Pt electrode as a response to the inhomogeneous magnetic induction field generated by magnetostatic waves of an adjacent YIG slab subject to a temperature gradient. The voltage frequency and dependence on the orientation of the applied magnetic induction field are quite distinct from that of spin pumping.Comment: 4 pages, 1 figur

Compensations in the Shapley value and the compensation solutions for graph games

We consider an alternative expression of the Shapley value that reveals a system of compensations: each player receives an equal share of the worth of each coalition he belongs to, and has to compensate an equal share of the worth of any coalition he does not belong to. We give an interpretation in terms of formation of the grand coalition according to an ordering of the players and define the corresponding compensation vector. Then, we generalize this idea to cooperative games with a communication graph. Firstly, we consider cooperative games with a forest (cycle-free graph). We extend the compensation vector by considering all rooted spanning trees of the forest (see Demange 2004) instead of orderings of the players. The associated allocation rule, called the compensation solution, is characterized by component efficiency and relative fairness. The latter axiom takes into account the relative position of a player with respect to his component. Secondly, we consider cooperative games with arbitrary graphs and construct rooted spanning trees by using the classical algorithms DFS and BFS. If the graph is complete, we show that the compensation solutions associated with DFS and BFS coincide with the Shapley value and the equal surplus division respectively.

Average tree solutions and the distribution of Harsanyi dividends

We consider communication situations games being the combination of a TU-game and a communication graph. We study the average tree (AT) solutions introduced by Herings \sl et al. [9] and [10]. The AT solutions are defined with respect to a set, say T, of rooted spanning trees of the communication graph. We characterize these solutions by efficiency, linearity and an axiom of T-hierarchy. Then we prove the following results. Firstly, the AT solution with respect to T is a Harsanyi solution if and only if T is a subset of the set of trees introduced in [10]. Secondly, the latter set is constructed by the classical DFS algorithm and the associated AT solution coincides with the Shapley value when the communication graph is complete. Thirdly, the AT solution with respect to trees constructed by the other classical algorithm BFS yields the equal surplus division when the communication graph is complete.

Evidence for postseismic deformation of the lower crust following the 2004 Mw6.0 Parkfield earthquake

Previous studies have shown that postseismic relaxation following the 2004 Mw6.0 Parkfield, CA, earthquake is dominated by afterslip. However, we show that some fraction of the afterslip inferred from kinematic inversion to have occurred immediately below the seismically ruptured area may in fact be a substitute for viscous postseismic deformation of the lower crust. Using continuous GPS and synthetic aperture radar interferometry, we estimate the relative contribution of shallow afterslip (at depth less than 20km) and deeper seated deformation required to account for observed postseismic surface displacements. Exploiting the possible separation in space and time of the time series of displacements predicted from viscoelastic relaxation, we devise a linear inversion scheme that allows inverting jointly for the contribution of afterslip and viscoelastic flow as a function of time. We find that a wide range of models involving variable amounts of viscoelastic deformation can fit the observations equally well provided that they allow some fraction of deep-seated deformation (at depth larger than ∼20 km). These models require that the moment released by postseismic relaxation over 5 years following the earthquake reached nearly as much as 200% of the coseismic moment. All the models show a remarkable complementarity of coseismic and shallow afterslip distributions. Some significant deformation at lower crustal depth (20–26 km) is required to fit the geodetic data. The condition that postseismic deformation cannot exceed complete relaxation places a constraint on the amount of deep seated deformation. The analysis requires an effective viscosity of at least ~10^(18) Pa s of the lower crust (assuming a semi-infinite homogeneous viscous domain). This deep-seated deformation is consistent with the depth range of tremors which also show a transient postseismic response and could explain as much as 50% of the total postseismic geodetic moment (the remaining fraction being due to afterslip at depth shallower than 20 km). Lower crustal postseismic deformation could reflect a combination of localized ductile deformation and aseismic frictional sliding