An algorithmic approach to the existence of ideal objects in commutative algebra

The existence of ideal objects, such as maximal ideals in nonzero rings, plays a crucial role in commutative algebra. These are typically justified using Zorn's lemma, and thus pose a challenge from a computational point of view. Giving a constructive meaning to ideal objects is a problem which dates back to Hilbert's program, and today is still a central theme in the area of dynamical algebra, which focuses on the elimination of ideal objects via syntactic methods. In this paper, we take an alternative approach based on Kreisel's no counterexample interpretation and sequential algorithms. We first give a computational interpretation to an abstract maximality principle in the countable setting via an intuitive, state based algorithm. We then carry out a concrete case study, in which we give an algorithmic account of the result that in any commutative ring, the intersection of all prime ideals is contained in its nilradical

Spinoza

"Spinoza", second edition. Encyclopedia entry for the Springer Encyclopedia of EM Phil and the Sciences, ed. D. Jalobeanu and C. T. Wolfe

Automating Agential Reasoning: Proof-Calculi and Syntactic Decidability for STIT Logics

This work provides proof-search algorithms and automated counter-model extraction for a class of STIT logics. With this, we answer an open problem concerning syntactic decision procedures and cut-free calculi for STIT logics. A new class of cut-free complete labelled sequent calculi G3LdmL^m_n, for multi-agent STIT with at most n-many choices, is introduced. We refine the calculi G3LdmL^m_n through the use of propagation rules and demonstrate the admissibility of their structural rules, resulting in auxiliary calculi Ldm^m_nL. In the single-agent case, we show that the refined calculi Ldm^m_nL derive theorems within a restricted class of (forestlike) sequents, allowing us to provide proof-search algorithms that decide single-agent STIT logics. We prove that the proof-search algorithms are correct and terminate

Frenkel and charge transfer excitons in C60

We have studied the low energy electronic excitations of C60 using momentum dependent electron energy-loss spectroscopy in transmission. The momentum dependent intensity of the gap excitation allows the first direct experimental determination of the energy of the 1Hg excitation and thus also of the total width of the multiplet resulting from the gap transition. In addition, we could elucidate the nature of the following excitations - as either Frenkel or charge transfer excitons.Comment: RevTEX, 3 Figures, to appear in Phys. Rev.

Linear resolutions of powers and products

The goal of this paper is to present examples of families of homogeneous ideals in the polynomial ring over a field that satisfy the following condition: every product of ideals of the family has a linear free resolution. As we will see, this condition is strongly correlated to good primary decompositions of the products and good homological and arithmetical properties of the associated multi-Rees algebras. The following families will be discussed in detail: polymatroidal ideals, ideals generated by linear forms and Borel fixed ideals of maximal minors. The main tools are Gr\"obner bases and Sagbi deformation

Off-diagonal Interactions, Hund's Rules and Pair-binding in Hubbard Molecules

We have studied the effect of including nearest-neighbor, electron-electron interactions, in particular the off-diagonal (non density-density) terms, on the spectra of truncated tetrahedral and icosahedral ``Hubbard molecules,'' focusing on the relevance of these systems to the physics of doped C$_{60}$. Our perturbation theoretic and exact diagonalization results agree with previous work in that the density-density term suppresses pair-binding. However, we find that for the parameter values of interest for $C_{60}$ the off-diagonal terms {\em enhance} pair-binding, though not enough to offset the suppression due to the density-density term. We also find that the critical interaction strengths for the Hund's rules violating level crossings in C$_{60}^{-2}$, C$_{60}^{-3}$ and C$_{60}^{-4}$ are quite insensitive to the inclusion of these additional interactions.Comment: 20p + 5figs, Revtex 3.0, UIUC preprint P-94-10-08

Raman scattering in C_{60} and C_{48}N_{12} aza-fullerene: First-principles study

We carry out large scale {\sl ab initio} calculations of Raman scattering activities and Raman-active frequencies (RAFs) in ${\rm C}_{48}{\rm N}_{12}$ aza-fullerene. The results are compared with those of ${\rm C}_{60}$. Twenty-nine non-degenerate polarized and 29 doubly-degenerate unpolarized RAFs are predicted for ${\rm C}_{48}{\rm N}_{12}$. The RAF of the strongest Raman signal in the low- and high-frequency regions and the lowest and highest RAFs for ${\rm C}_{48}{\rm N}_{12}$ are almost the same as those of ${\rm C}_{60}$. The study of ${\rm C}_{60}$ reveals the importance of electron correlations and the choice of basis sets in the {\sl ab initio} calculations. Our best calculated results for ${\rm C}_{60}$ with the B3LYP hybrid density functional theory are in excellent agreement with experiment and demonstrate the desirable efficiency and accuracy of this theory for obtaining quantitative information on the vibrational properties of these molecules.Comment: submitted to Phys.Rev.

Differential (2+1) Jet Event Rates and Determination of alpha_s in Deep Inelastic Scattering at HERA

Events with a (2+1) jet topology in deep-inelastic scattering at HERA are studied in the kinematic range 200 < Q^2< 10,000 GeV^2. The rate of (2+1) jet events has been determined with the modified JADE jet algorithm as a function of the jet resolution parameter and is compared with the predictions of Monte Carlo models. In addition, the event rate is corrected for both hadronization and detector effects and is compared with next-to-leading order QCD calculations. A value of the strong coupling constant of alpha_s(M_Z^2)= 0.118+- 0.002 (stat.)^(+0.007)_(-0.008) (syst.)^(+0.007)_(-0.006) (theory) is extracted. The systematic error includes uncertainties in the calorimeter energy calibration, in the description of the data by current Monte Carlo models, and in the knowledge of the parton densities. The theoretical error is dominated by the renormalization scale ambiguity.Comment: 25 pages, 6 figures, 3 tables, submitted to Eur. Phys.

Multi-Jet Event Rates in Deep Inelastic Scattering and Determination of the Strong Coupling Constant

Jet event rates in deep inelastic ep scattering at HERA are investigated applying the modified JADE jet algorithm. The analysis uses data taken with the H1 detector in 1994 and 1995. The data are corrected for detector and hadronization effects and then compared with perturbative QCD predictions using next-to-leading order calculations. The strong coupling constant alpha_S(M_Z^2) is determined evaluating the jet event rates. Values of alpha_S(Q^2) are extracted in four different bins of the negative squared momentum transfer~\qq in the range from 40 GeV2 to 4000 GeV2. A combined fit of the renormalization group equation to these several alpha_S(Q^2) values results in alpha_S(M_Z^2) = 0.117+-0.003(stat)+0.009-0.013(syst)+0.006(jet algorithm).Comment: 17 pages, 4 figures, 3 tables, this version to appear in Eur. Phys. J.; it replaces first posted hep-ex/9807019 which had incorrect figure 4

Multiplicity Structure of the Hadronic Final State in Diffractive Deep-Inelastic Scattering at HERA

The multiplicity structure of the hadronic system X produced in deep-inelastic processes at HERA of the type ep -> eXY, where Y is a hadronic system with mass M_Y< 1.6 GeV and where the squared momentum transfer at the pY vertex, t, is limited to |t|<1 GeV^2, is studied as a function of the invariant mass M_X of the system X. Results are presented on multiplicity distributions and multiplicity moments, rapidity spectra and forward-backward correlations in the centre-of-mass system of X. The data are compared to results in e+e- annihilation, fixed-target lepton-nucleon collisions, hadro-produced diffractive final states and to non-diffractive hadron-hadron collisions. The comparison suggests a production mechanism of virtual photon dissociation which involves a mixture of partonic states and a significant gluon content. The data are well described by a model, based on a QCD-Regge analysis of the diffractive structure function, which assumes a large hard gluonic component of the colourless exchange at low Q^2. A model with soft colour interactions is also successful.Comment: 22 pages, 4 figures, submitted to Eur. Phys. J., error in first submission - omitted bibliograph