Magnetostratigraphy and mid-palaeolatitude VGP dispersion during the Permo-Carboniferous Superchron: results from Parana Basin (Southern Brazil) rhythmites

A detailed magnetostratigraphic and rock-magnetism study of two Late Palaeozoic rhythmite exposures (Itu and Rio do Sul) from the Itarare Group (Parana Basin, Brazil) is presented in this paper. After stepwise alterning-field procedures and thermal cleaning were performed, samples from both collections show reversed characteristic magnetization components, which is expected for Late Palaeozoic rocks. However, the Itu rocks presented an odd, flat inclination pattern that could not be corrected with mathematical methods based on the virtual geomagnetic pole (VGP) distributions. Correlation tests between the maximum anisotropy of the magnetic susceptibility axis (K1) and the magnetic declination indicated a possible mechanical influence on the remanence acquisition. The Rio do Sul sequence displayed medium to high inclinations and provided a high-quality palaeomagnetic pole (after shallowing corrections of f = 0.8) of 347.5 degrees E 63.2 degrees S (N = 119; A95 = 3.3; K = 31), which is in accordance with the Palaeozoic apparent wander pole path of South America. The angular dispersion (Sb) for the distribution of the VGPs calculated on the basis of both the 45 degrees cut-off angle and Vandamme method was compared to the best-fit Model G for mid-latitudes. Both of the Sb results are in reasonable agreement with the predicted (palaeo) latitudinal S-? relationship during the Cretaceous Normal Superchron (CNS), although the Sb value after the Vandamme cut-off has been applied is a little lower than expected. This result, in addition to those for low palaeolatitudes during the Permo-Carboniferous Reversed Superchron (PCRS) previously reported, indicates that the low secular variation regime for the geodynamo that has already been discovered in the CNS might have also been predominant during the PCRS.

Nonanalyticity of the free energy in thermal field theory

We study, in a d-dimensional space-time, the nonanalyticity of the thermal free energy in the scalar phi(4) theory as well as in QED. We find that the infrared divergent contributions induce, when d is even, a nonanalyticity in the coupling alpha of the form (alpha)((d-1)/2) whereas when d is odd the nonanalyticity is only logarithmic.

Edge Colourings of Graphs Avoiding Monochromatic Matchings of a Given Size

Let k and l be positive integers. With a graph G, we associate the quantity c(k,l)(G), the number of k-colourings of the edge set of G with no monochromatic matching of size l. Consider the function c(k,l) : N --> N given by c(k,l)(n) = max {c(k,l)(G): vertical bar V(G)vertical bar = n}, the maximum of c(k,l)(G) over all graphs G on n vertices. In this paper, we determine c(k,l)(n) and the corresponding extremal graphs for all large n and all fixed values of k and l.

EXTENSION OF AUTOMORPHISMS OF SUBGROUPS

Let G be a group such that, for any subgroup H of G, every automorphism of H can be extended to an automorphism of G. Such a group G is said to be of injective type. The finite abelian groups of injective type are precisely the quasi-injective groups. We prove that a finite non-abelian group G of injective type has even order. If, furthermore, G is also quasi-injective, then we prove that G = K x B, with B a quasi-injective abelian group of odd order and either K = Q(8) (the quaternion group of order 8) or K = Dih(A), a dihedral group on a quasi-injective abelian group A of odd order coprime with the order of B. We give a description of the supersoluble finite groups of injective type whose Sylow 2-subgroup are abelian showing that these groups are, in general, not quasi-injective. In particular, the characterisation of such groups is reduced to that of finite 2-groups that are of injective type. We give several restrictions on the latter. We also show that the alternating group A(5) is of injective type but that the binary icosahedral group SL(2, 5) is not.

Hypergraphs with many Kneser colorings

For fixed positive integers r, k and E with 1 <= l < r and an r-uniform hypergraph H, let kappa(H, k, l) denote the number of k-colorings of the set of hyperedges of H for which any two hyperedges in the same color class intersect in at least l elements. Consider the function KC(n, r, k, l) = max(H epsilon Hn) kappa(H, k, l), where the maximum runs over the family H-n of all r-uniform hypergraphs on n vertices. In this paper, we determine the asymptotic behavior of the function KC(n, r, k, l) for every fixed r, k and l and describe the extremal hypergraphs. This variant of a problem of Erdos and Rothschild, who considered edge colorings of graphs without a monochromatic triangle, is related to the Erdos-Ko-Rado Theorem (Erdos et al., 1961 [8]) on intersecting systems of sets. (C) 2011 Elsevier Ltd. All rights reserved.

Is the LHC observing the pseudoscalar state of a two-Higgs-doublet model?

The ATLAS and CMS collaborations have recently shown data suggesting the presence of a Higgs boson in the vicinity of 125 GeV. We show that a two-Higgs-doublet model spectrum, with the pseudoscalar state being the lightest, could be responsible for the diphoton signal events. In this model, the other scalars are considerably heavier and are not excluded by the current LHC data. If this assumption is correct, future LHC data should show a strengthening of the gamma gamma signal, while the signals in the ZZ(()*()) -> 4l and WW(*()) -> 2l2 nu channels should diminish and eventually disappear, due to the absence of diboson tree-level couplings of the CP-odd state. The heavier CP-even neutral scalars can now decay into channels involving the CP-odd light scalar which, together with their larger masses, allow them to avoid the existing bounds on Higgs searches. We suggest additional signals to confirm this scenario at the LHC, in the decay channels of the heavier scalars into AA and AZ. Finally, this inverted two-Higgs-doublet spectrum is characteristic in models where fermion condensation leads to electroweak symmetry breaking. We show that in these theories it is possible to obtain the observed diphoton signal at or somewhat above the prediction for the standard model Higgs for the typical values of the parameters predicted.

ENERGY AND VOLUME OF VECTOR FIELDS ON SPHERICAL DOMAINS

We present a "boundary version" for theorems about minimality of volume and energy functionals on a spherical domain of an odd-dimensional Euclidean sphere.

How far is C-0(Gamma, X) with Gamma discrete from C-0(K, X) spaces?

For a locally compact Hausdorff space K and a Banach space X we denote by C-0(K, X) the space of X-valued continuous functions on K which vanish at infinity, provided with the supremum norm. Let n be a positive integer, Gamma an infinite set with the discrete topology, and X a Banach space having non-trivial cotype. We first prove that if the nth derived set of K is not empty, then the Banach-Mazur distance between C-0(Gamma, X) and C-0(K, X) is greater than or equal to 2n + 1. We also show that the Banach-Mazur distance between C-0(N, X) and C([1, omega(n)k], X) is exactly 2n + 1, for any positive integers n and k. These results extend and provide a vector-valued version of some 1970 Cambern theorems, concerning the cases where n = 1 and X is the scalar field.

delta-Superderivations of Semisimple Finite-Dimensional Jordan Superalgebras

In the paper, a complete description of the delta-derivations and the delta-superderivations of semisimple finite-dimensional Jordan superalgebras over an algebraically closed field of characteristic p not equal 2 is given. In particular, new examples of nontrivial (1/2)-derivations and odd (1/2)-superderivations are given that are not operators of right multiplication by an element of the superalgebra.

Chiral HPLC analysis of donepezil, 5-O-desmethyl donepezil and 6-O-desmethyl donepezil in culture medium: application to fungal biotransformation studies

An high performance liquid chromatography (HPLC) method for the enantioselective determination of donepezil (DPZ), 5-O-desmethyl donepezil (5-ODD), and 6-O-desmethyl donepezil (6-ODD) in Czapek culture medium to be applied to biotransformation studies with fungi is described for the first time. The HPLC analysis was carried out using a Chiralpak AD-H column with hexane/ethanol/methanol (75:20:5, v/v/v) plus 0.3 % triethylamine as mobile phase and UV detection at 270 nm. Sample preparation was carried out by liquid-liquid extraction using ethyl acetate as extractor solvent. The method was linear over the concentration range of 100-10,000 ng mL(-1) for each enantiomer of DPZ (r a parts per thousand yenaEuro parts per thousand 0.9985) and of 100-5,000 ng mL(-1) for each enantiomer of 5-ODD (r a parts per thousand yenaEuro parts per thousand 0.9977) and 6-ODD (r a parts per thousand yenaEuro parts per thousand 0.9951). Within-day and between-day precision and accuracy evaluated by relative standard deviations and relative errors, respectively, were lower than 15 % for all analytes. The validated method was used to assess DPZ biotransformation by the fungi Beauveria bassiana American Type Culture Collection (ATCC) 7159 and Cunninghamella elegans ATCC 10028B. Using the fungus B. bassiana ATCC 7159, a predominant formation of (R)-5-ODD was observed while for the fungus C. elegans ATCC 10028B, DPZ was biotransformed to (R)-6-ODD with an enantiomeric excess of 100 %.

Multiple Island Chains in Primary Resonances.

We analyse the dynamics of a relativistic particle moving in a uniform magnetic field and perturbed by a stationary electrostatic wave. We show that a pulsed wave produces an infinite number of perturbing terms with the same winding number. The perturbation coupling alters the number of island chains as a function of the parameters of the wave. We also observe that the number of chains in is always even if the number of islands in each chain is odd.

Properties of a new poly-ether-glycol copolymer.

Triblock copolymers are made of monomer segments, being the central part usually hydrophobic and the outer parts hydrophilic. By varying sizes, molecular weights and monomer types of the segments one obtains different final molecules, with different physico-chemical properties, which are directly related to the performance of the final product. Looking for new products to be used, among other possibilities, in biological applications, a new polymer (Figure 1) was synthesized by the Dow Chemical and studied by Size Exclusion Chromatography, Fourier Transformed Infrared Spectrometry, Small-angle X-ray Scattering (SAXS) and its cloud point was determined by measuring light transmittance. The studies showed low molecular polydispersivety, but different polarities in the macromolecules fractions. Due to the low solubility of Diol in water, a mixture of water/butyl diglycol was used as solvent. An extensive analysis by SAXS was performed for concentrations from 50 wt% to 80 wt% of Diol in solution. Small concentrations showed very low signal to noise ratio, making it impossible to be analysed. The scattering intensity including the form factor of polydisperse non-homogeneous spheres, and the structure factor of interacting hard spheres was fitted to the curves. As the polymer concentration is high, the fitting of form factors of direct and reverse micelles were compared. The results for direct micelles were better up to 80 wt%, whereas at 90 wt% and 95 wt% the curves were better fitted by reverse micelles. It might seem odd that direct micelles are present up to such high concentrations, but it might have been caused by the presence of butyl diglycol, which increases the solubility of Diol in water. The inner and outer radius of the micelles, electron density distribution, and interaction radius of the micelles were obtained. The polydispersivety increases with Diol concentration. Besides, the interaction radius increases with solvent concentration, even when reversed micelles are present. In the last case, accompanied by an increase of inner radius (water content), as there are fewer Diol molecules to involve the water nuclei, which become larger, further apart, and in less number.

Resonant States in Negative Ions

Resonant states are multiply excited states in atoms and ions that have enough energy to decay by emitting an electron. The ability to emit an electron and the strong electron correlation (which is extra strong in negative ions) makes these states both interesting and challenging from a theoretical point of view. The main contribution in this thesis is a method, which combines the use of B splines and complex rotation, to solve the three-electron Schrödinger equation treating all three electrons equally. It is used to calculate doubly excited and triply excited states of 4S symmetry with even parity in He-. For the doubly excited states there are experimental and theoretical data to compare with. For the triply excited states there is only theoretical data available and only for one of the resonances. The agreement is in general good. For the triply excited state there is a significant and interesting difference in the width between our calculation and another method. A cause for this deviation is suggested. The method is also used to find a resonant state of 4S symmetry with odd parity in H2-. This state, in this extremely negative system, has been predicted by two earlier calculations but is highly controversial. Several other studies presented here focus on two-electron systems. In one, the effect of the splitting of the degenerate H(n=2) thresholds in H-, on the resonant states converging to this threshold, is studied. If a completely degenerate threshold is assumed an infinite series of states is expected to converge to the threshold. Here states of 1P symmetry and odd parity are examined, and it is found that the relativistic and radiative splitting of the threshold causes the series to end after only three resonant states. Since the independent particle model completely fails for doubly excited states, several schemes of alternative quantum numbers have been suggested. We investigate the so called DESB (Doubly Excited Symmetry Basis) quantum numbers in several calculations. For the doubly excited states of He- mentioned above we investigate one resonance and find that it cannot be assigned DESB quantum numbers unambiguously. We also investigate these quantum numbers for states of 1S even parity in He. We find two types of mixing of DESB states in the doubly excited states calculated. We also show that the amount of mixing of DESB quantum numbers can be inferred from the value of the cosine of the inter-electronic angle. In a study on Li- the calculated cosine values are used to identify doubly excited states measured in a photodetachment experiment. In particular a resonant state that violates a propensity rule is found.

Improvements in the experimentation and the representation of thermodynamic properties (iso-p VLE and y) of alkyl propanoate+alkane binaries

[EN]This paper presents the experimental measurements of isobaric vapor−liquid equilibria (iso-p VLE) and excess volumes (vE) at several temperatures in the interval (288.15 to 328.15) K for six binary systems composed of two alkyl (methyl, ethyl) propanoates and three odd carbon alkanes (C5 to C9). The mixing processes were expansive, vE > 0, with (δvE/δT)p > 0, and endothermic. The installation used to measure the iso-p VLE was improved by controlling three of the variables involved in the experimentation with a PC.

Interactive theorem provers: issues faced as a user and tackled as a developer

Interactive theorem provers (ITP for short) are tools whose final aim is to certify proofs written by human beings. To reach that objective they have to fill the gap between the high level language used by humans for communicating and reasoning about mathematics and the lower level language that a machine is able to “understand” and process. The user perceives this gap in terms of missing features or inefficiencies. The developer tries to accommodate the user requests without increasing the already high complexity of these applications. We believe that satisfactory solutions can only come from a strong synergy between users and developers. We devoted most part of our PHD designing and developing the Matita interactive theorem prover. The software was born in the computer science department of the University of Bologna as the result of composing together all the technologies developed by the HELM team (to which we belong) for the MoWGLI project. The MoWGLI project aimed at giving accessibility through the web to the libraries of formalised mathematics of various interactive theorem provers, taking Coq as the main test case. The motivations for giving life to a new ITP are: • study the architecture of these tools, with the aim of understanding the source of their complexity • exploit such a knowledge to experiment new solutions that, for backward compatibility reasons, would be hard (if not impossible) to test on a widely used system like Coq. Matita is based on the Curry-Howard isomorphism, adopting the Calculus of Inductive Constructions (CIC) as its logical foundation. Proof objects are thus, at some extent, compatible with the ones produced with the Coq ITP, that is itself able to import and process the ones generated using Matita. Although the systems have a lot in common, they share no code at all, and even most of the algorithmic solutions are different. The thesis is composed of two parts where we respectively describe our experience as a user and a developer of interactive provers. In particular, the first part is based on two different formalisation experiences: • our internship in the Mathematical Components team (INRIA), that is formalising the finite group theory required to attack the Feit Thompson Theorem. To tackle this result, giving an effective classification of finite groups of odd order, the team adopts the SSReflect Coq extension, developed by Georges Gonthier for the proof of the four colours theorem. • our collaboration at the D.A.M.A. Project, whose goal is the formalisation of abstract measure theory in Matita leading to a constructive proof of Lebesgue’s Dominated Convergence Theorem. The most notable issues we faced, analysed in this part of the thesis, are the following: the difficulties arising when using “black box” automation in large formalisations; the impossibility for a user (especially a newcomer) to master the context of a library of already formalised results; the uncomfortable big step execution of proof commands historically adopted in ITPs; the difficult encoding of mathematical structures with a notion of inheritance in a type theory without subtyping like CIC. In the second part of the manuscript many of these issues will be analysed with the looking glasses of an ITP developer, describing the solutions we adopted in the implementation of Matita to solve these problems: integrated searching facilities to assist the user in handling large libraries of formalised results; a small step execution semantic for proof commands; a flexible implementation of coercive subtyping allowing multiple inheritance with shared substructures; automatic tactics, integrated with the searching facilities, that generates proof commands (and not only proof objects, usually kept hidden to the user) one of which specifically designed to be user driven.