-
Completion under strong homotopy cokernels
Authors:
Enrico M. Vitale
Abstract:
For A a category with finite colimits, we show that the embedding of A into the category of arrows Arr(A) determined by the initial object is the completion of A under strong homotopy cokernels. The nullhomotopy structure of Arr(A) (needed in order to express the notion of homotopy cokernel) is the usual one induced by the canonical string of adjunctions between A and Arr(A).
For A a category with finite colimits, we show that the embedding of A into the category of arrows Arr(A) determined by the initial object is the completion of A under strong homotopy cokernels. The nullhomotopy structure of Arr(A) (needed in order to express the notion of homotopy cokernel) is the usual one induced by the canonical string of adjunctions between A and Arr(A).
△ Less
Submitted 30 September, 2023;
originally announced October 2023.
-
Homotopy torsion theories
Authors:
Sandra Mantovani,
Mariano Messora,
Enrico M. Vitale
Abstract:
In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in pre-pointed categories. Using the structure of nullhomotopies induced by the canonical string of adjunctions between a category A and the category Arr(A) of arrow…
▽ More
In the context of categories equipped with a structure of nullhomotopies, we introduce the notion of homotopy torsion theory. As special cases, we recover pretorsion theories as well as torsion theories in multi-pointed categories and in pre-pointed categories. Using the structure of nullhomotopies induced by the canonical string of adjunctions between a category A and the category Arr(A) of arrows, we give a new proof of the correspondence between orthogonal factorization systems in A and homotopy torsion theories in Arr(A), avoiding the request on the existence of pullbacks and pushouts in A. Moreover, such a correspondence is extended to weakly orthogonal factorization systems and weak homotopy torsion theories.
△ Less
Submitted 31 August, 2023;
originally announced August 2023.
-
Fibred categorical theory of obstruction and classification of morphisms
Authors:
Alan S. Cigoli,
Sandra Mantovani,
Giuseppe Metere,
Enrico M. Vitale
Abstract:
We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further applications are provided, as for example a classification of unital associative algebra extensions with non-abelian kernel in terms of Hochschild cohomology.
We set up a fibred categorical theory of obstruction and classification of morphisms that specializes to the one of monoidal functors between categorical groups and also to the Schreier-Mac Lane theory of group extensions. Further applications are provided, as for example a classification of unital associative algebra extensions with non-abelian kernel in terms of Hochschild cohomology.
△ Less
Submitted 13 April, 2021;
originally announced April 2021.
-
NECI: N-Electron Configuration Interaction with emphasis on state-of-the-art stochastic methods
Authors:
Kai Guther,
Robert J. Anderson,
Nick S. Blunt,
Nikolay A. Bogdanov,
Deidre Cleland,
Nike Dattani,
Werner Dobrautz,
Khaldoon Ghanem,
Peter Jeszenski,
Niklas Liebermann,
Giovanni Li Manni,
Alexander Y. Lozovoi,
Hongjun Luo,
Dongxia Ma,
Florian Merz,
Catherine Overy,
Markus Rampp,
Pradipta K. Samanta,
Lauretta R. Schwarz,
James J. Shepherd,
Simon D. Smart,
Eugenio Vitale,
Oskar Weser,
George H. Booth,
Ali Alavi
Abstract:
We present NECI, a state-of-the-art implementation of the Full Configuration Interaction Quantum Monte Carlo algorithm, a method based on a stochastic application of the Hamiltonian matrix on a sparse sampling of the wave function. The program utilizes a very powerful parallelization and scales efficiently to more than 24000 CPU cores. In this paper, we describe the core functionalities of NECI an…
▽ More
We present NECI, a state-of-the-art implementation of the Full Configuration Interaction Quantum Monte Carlo algorithm, a method based on a stochastic application of the Hamiltonian matrix on a sparse sampling of the wave function. The program utilizes a very powerful parallelization and scales efficiently to more than 24000 CPU cores. In this paper, we describe the core functionalities of NECI and recent developments. This includes the capabilities to calculate ground and excited state energies, properties via the one- and two-body reduced density matrices, as well as spectral and Green's functions for ab initio and model systems. A number of enhancements of the bare FCIQMC algorithm are available within NECI, allowing to use a partially deterministic formulation of the algorithm, working in a spin-adapted basis or supporting transcorrelated Hamiltonians. NECI supports the FCIDUMP file format for integrals, supplying a convenient interface to numerous quantum chemistry programs and it is licensed under GPL-3.0.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Fibered aspects of Yoneda's regular span
Authors:
Alan S. Cigoli,
Sandra Mantovani,
Giuseppe Metere,
Enrico M. Vitale
Abstract:
In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category $\mathsf{Fib}(\mathcal{A})$. We study the relationship between these notions and those of internal opfibration and two-sided fibration. This fibrational point o…
▽ More
In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category $\mathsf{Fib}(\mathcal{A})$. We study the relationship between these notions and those of internal opfibration and two-sided fibration. This fibrational point of view makes it possible to interpret Yoneda's Classification Theorem given in his 1960 paper as the result of a canonical factorization, and to extend it to a non-symmetric situation, where the fibration given by the product projection $Pr_0 \colon \mathcal{A} \times \mathcal{B} \to \mathcal{A}$ is replaced by any split fibration over $\mathcal{A}$. This new setting allows us to transfer Yoneda's theory of extensions to the non-additive analog given by crossed extensions for the cases of groups and other algebraic structures.
△ Less
Submitted 6 June, 2018;
originally announced June 2018.
-
The snail lemma for internal groupoids
Authors:
S. Mantovani,
G. Metere,
E. M. Vitale
Abstract:
We establish a generalized form both of the Gabriel-Zisman exact sequence associated with a pointed functor between pointed groupoids, and of the Brown exact sequence associated with a fibration of pointed groupoids. Our generalization consists in replacing pointed groupoids with groupoids internal to a pointed regular category with reflexive coequalizers.
We establish a generalized form both of the Gabriel-Zisman exact sequence associated with a pointed functor between pointed groupoids, and of the Brown exact sequence associated with a fibration of pointed groupoids. Our generalization consists in replacing pointed groupoids with groupoids internal to a pointed regular category with reflexive coequalizers.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Bipullbacks of fractions and the snail lemma
Authors:
P. -A. Jacqmin,
S. Mantovani,
G. Metere,
E. M. Vitale
Abstract:
We establish conditions giving the existence of bipullbacks in bicategories of fractions. We apply our results to construct a $π_0$-$π_1$ exact sequence associated with a fractor between groupoids internal to a pointed exact category.
We establish conditions giving the existence of bipullbacks in bicategories of fractions. We apply our results to construct a $π_0$-$π_1$ exact sequence associated with a fractor between groupoids internal to a pointed exact category.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
On fibrations between internal groupoids
Authors:
P. -A. Jacqmin,
S. Mantovani,
G. Metere,
E. M. Vitale
Abstract:
In order to deduce the internal version of the Brown exact sequence from the internal version of the Gabriel-Zisman exact sequence, we characterize fibrations and $\ast$-fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. A similar analysis in the category of arrows allows us to give a characte…
▽ More
In order to deduce the internal version of the Brown exact sequence from the internal version of the Gabriel-Zisman exact sequence, we characterize fibrations and $\ast$-fibrations in the 2-category of internal groupoids in terms of the comparison functor from certain pullbacks to the corresponding strong homotopy pullbacks. A similar analysis in the category of arrows allows us to give a characterization of protomodular categories using strong homotopy kernels.
△ Less
Submitted 4 July, 2017;
originally announced July 2017.
-
Charged particle's flux measurement from PMMA irradiated by 80 MeV/u carbon ion beam
Authors:
C. Agodi,
G. Battistoni,
F. Bellini,
G. A. P. Cirrone,
F. Collamati,
G. Cuttone,
E. De Lucia,
M. De Napoli,
A. Di Domenico,
R. Faccini,
F. Ferroni,
S. Fiore,
P. Gauzzi,
E. Iarocci,
M. Marafini,
I. Mattei,
S. Muraro,
A. Paoloni,
V. Patera,
L. Piersanti,
F. Romano,
A. Sarti,
A. Sciubba,
E. Vitale,
C. Voena
Abstract:
Hadrontherapy is an emerging technique in cancer therapy that uses beams of charged particles. To meet the improved capability of hadrontherapy in matching the dose release with the cancer position, new dose monitoring techniques need to be developed and introduced into clinical use. The measurement of the fluxes of the secondary particles produced by the hadron beam is of fundamental importance i…
▽ More
Hadrontherapy is an emerging technique in cancer therapy that uses beams of charged particles. To meet the improved capability of hadrontherapy in matching the dose release with the cancer position, new dose monitoring techniques need to be developed and introduced into clinical use. The measurement of the fluxes of the secondary particles produced by the hadron beam is of fundamental importance in the design of any dose monitoring device and is eagerly needed to tune Monte Carlo simulations. We report the measurements done with charged secondary particles produced from the interaction of a 80 MeV/u fully stripped carbon ion beam at the INFN Laboratori Nazionali del Sud, Catania, with a Poly-methyl methacrylate target. Charged secondary particles, produced at 90$\degree$ with respect to the beam axis, have been tracked with a drift chamber, while their energy and time of flight has been measured by means of a LYSO scintillator. Secondary protons have been identified exploiting the energy and time of flight information, and their emission region has been reconstructed backtracking from the drift chamber to the target. Moreover a position scan of the target indicates that the reconstructed emission region follows the movement of the expected Bragg peak position. Exploting the reconstruction of the emission region, an accuracy on the Bragg peak determination in the submillimeter range has been obtained. The measured differential production rate for protons produced with $E^{\rm Prod}_{\rm kin} >$ 83 MeV and emitted at 90$\degree$ with respect to the beam line is: $dN_{\rm P}/(dN_{\rm C}dΩ)(E^{\rm Prod}_{\rm kin} > 83 {\rm ~MeV}, θ=90\degree)= (2.69\pm 0.08_{\rm stat} \pm 0.12_{\rm sys})\times 10^{-4} sr^{-1}$.
△ Less
Submitted 21 March, 2012;
originally announced March 2012.
-
Butterflies in a Semi-Abelian Context
Authors:
Omar Abbad,
Sandra Mantovani,
Giuseppe Metere,
Enrico M. Vitale
Abstract:
It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in Grp with respect to weak equivalences. Monoidal functors can be described equivalently by a kind of weak morphisms introduced by B. Noohi under the name of "but…
▽ More
It is known that monoidal functors between internal groupoids in the category Grp of groups constitute the bicategory of fractions of the 2-category Grpd(Grp) of internal groupoids, internal functors and internal natural transformations in Grp with respect to weak equivalences. Monoidal functors can be described equivalently by a kind of weak morphisms introduced by B. Noohi under the name of "butter ies". In order to internalize monoidal functors in a wide context, we introduce the notion of internal butterflies between internal crossed modules in a semi-abelian category C, and we show that they are morphisms of a bicategory B(C): Our main result states that, when in C the notions of Huq commutator and Smith commutator coincide, then the bicategory B(C) of internal butterflies is the bicategory of fractions of Grpd(C) with respect to weak equivalences (that is, internal functors which are internally fully faithful and essentially surjective on objects).
△ Less
Submitted 21 April, 2011;
originally announced April 2011.