-
Simulating graphene-based single-electron transistor: incoherent current effects due to the presence of electron-electron interaction
Authors:
Washington F. dos Santos,
Felippe Amorim,
Alexandre Reily Rocha
Abstract:
Carbon-based nanostructures have unparalleled electronic properties. At the same time, using an allotrope of carbon as the contacts can yield better device control and reproducibility. In this work, we simulate a single-electron transistor composed of a segment of a graphene nanoribbon coupled to carbon nanotubes electrodes. Using the non-equilibrium Green's function formalism we atomistically des…
▽ More
Carbon-based nanostructures have unparalleled electronic properties. At the same time, using an allotrope of carbon as the contacts can yield better device control and reproducibility. In this work, we simulate a single-electron transistor composed of a segment of a graphene nanoribbon coupled to carbon nanotubes electrodes. Using the non-equilibrium Green's function formalism we atomistically describe the electronic transport properties of the system including electron-electron interactions. Using this methodology we are able to recover experimentally observed phenomena, such as the Coulomb blockade, as well as the corresponding Coulomb diamonds. Furthermore, we are able to separate the different contributions to transport and show that incoherent effects due to the interaction play a crucial role in the transport properties depending on the region of the stability diagram being considered.
△ Less
Submitted 22 May, 2024;
originally announced May 2024.
-
A short survey on observability
Authors:
Walter Ferrer Santos
Abstract:
The exploration of the notion of observability exhibits transparently the rich interplay between algebraic and geometric ideas in \emph{geometric invariant theory}. The concept of \emph{observable subgroup} was introduced in the early 1960s with the purpose of studying extensions of representations from an affine algebraic subgroup to the whole group. The extent of its importance in \emph{represen…
▽ More
The exploration of the notion of observability exhibits transparently the rich interplay between algebraic and geometric ideas in \emph{geometric invariant theory}. The concept of \emph{observable subgroup} was introduced in the early 1960s with the purpose of studying extensions of representations from an affine algebraic subgroup to the whole group. The extent of its importance in \emph{representation and invariant theory} in particular for Hilbert's $14^{\text{th}}$ problem was noticed almost immediately. An important strenghtening appeared in the mid 1970s when the concept of \emph{strong observability} was introduced and it was shown that the notion of observability can be understood as an intermediate step in the notion of reductivity (or semisimplicity), when adequately generalized. More recently starting in 2010, the concept of observable subgroup was expanded to include the concept of \emph{observable action} of an affine algebraic group on an affine variety, launching a series of new applications. In 2006 the related concept of \emph{observable adjunction} was introduced, and its application to module categories over tensor categories was noticed. In the current survey, we follow (approximately) the historical development of the subject introducing along the way, the definitions and some of the main results including some of the proofs. For the unproven parts, precise references are mentioned.
△ Less
Submitted 1 October, 2018;
originally announced October 2018.
-
Quasi-compact group schemes, Hopf sheaves, and their representations
Authors:
Alvaro Rittatore,
Pedro Luis del Angel,
Walter Ferrer Santos
Abstract:
We explore the notion of representation of an affine extension of an abelian variety -- such an extension is a faithfully flat affine morphism of $\Bbbk$-group schemes $q:G\to A$, where $A$ is an abelian variety. We characterize the categories that arise as the category of representations of an affine extension $q:G\to A$, generalizing the classical results of Tannaka Duality established for affin…
▽ More
We explore the notion of representation of an affine extension of an abelian variety -- such an extension is a faithfully flat affine morphism of $\Bbbk$-group schemes $q:G\to A$, where $A$ is an abelian variety. We characterize the categories that arise as the category of representations of an affine extension $q:G\to A$, generalizing the classical results of Tannaka Duality established for affine $\Bbbk$-group schemes (that is, when $A=\operatorname{Spec}(\Bbbk)$). We also prove the existence of a contravariant equivalence between the category of affine extensions of a given $A$ and the category of faithful commutative Hopf sheaves on $A$, generalizing in this manner the well-known op-equivalence between affine group schemes and commutative Hopf algebras. If $\mathcal H_q$ is the Hopf sheaf on $A$ associated to $q$, the category of representations of $q$ is equivalent to the category of $\mathcal H_q$-comodules.
△ Less
Submitted 24 August, 2020; v1 submitted 9 July, 2018;
originally announced July 2018.
-
Realizability in OCAs and AKSs
Authors:
Walter Ferrer Santos,
Mauricio Guillermo,
Octavio Malherbe
Abstract:
In the context of the $\mathcal{OCA}$ associated to an ${\mathcal{AKS}}$ we introduce a closure operator and two associated maps that replace the closure and the maps defined in \cite{kn:ocar}. We were motivated by the search of a full adjunction to the original implication map. We show that all the constructions from $\mathcal{OCA}$s to triposes developped in \cite{kn:ocar} can be also implemente…
▽ More
In the context of the $\mathcal{OCA}$ associated to an ${\mathcal{AKS}}$ we introduce a closure operator and two associated maps that replace the closure and the maps defined in \cite{kn:ocar}. We were motivated by the search of a full adjunction to the original implication map. We show that all the constructions from $\mathcal{OCA}$s to triposes developped in \cite{kn:ocar} can be also implemented in the new situation.
△ Less
Submitted 24 December, 2015;
originally announced December 2015.
-
The Heisenberg product: from Hopf algebras and species to symmetric functions
Authors:
Marcelo Aguiar,
Walter Ferrer Santos,
Walter Moreira
Abstract:
Many related products and coproducts (e.g. Hadamard, Cauchy, Kronecker, induction, internal, external, Solomon, composition, Malvenuto-Reutenauer, convolution, etc.) have been defined in the following objects : species, representations of the symmetric groups, symmetric functions, endomorphisms of graded connected Hopf algebras, permutations, non-commutative symmetric functions, quasi-symmetric fu…
▽ More
Many related products and coproducts (e.g. Hadamard, Cauchy, Kronecker, induction, internal, external, Solomon, composition, Malvenuto-Reutenauer, convolution, etc.) have been defined in the following objects : species, representations of the symmetric groups, symmetric functions, endomorphisms of graded connected Hopf algebras, permutations, non-commutative symmetric functions, quasi-symmetric functions, etc. With the purpose of simplifying and unifying this diversity we introduce yet, another -non graded- product the Heisenberg product, that for the highest and lowest degrees produces the classical external and internal products (and their namesakes in different contexts). In order to define it, we start from the two opposite more general extremes: species in the "commutative context", and endomorphisms of Hopf algebras in the "non-commutative" environment. Both specialize to the space of commutative symmetric functions where the definitions coincide. We also deal with the different coproducts that these objects carry -to which we add the Heisenberg coproduct for quasi-symmetric functions-, and study their Hopf algebra compatibility particularly for symmetric and non commutative symmetric functions. We obtain combinatorial formulas for the structure constants of the new product that extend, generalize and unify results due to Garsia, Remmel, Reutenauer and Solomon. In the space of quasi- symmetric functions, we describe explicitly the new operations in terms of alphabets.
△ Less
Submitted 28 April, 2015; v1 submitted 23 April, 2015;
originally announced April 2015.
-
Ordered combinatory algebras and realizability
Authors:
Walter Ferrer Santos,
Jonas Frey,
Mauricio Guillermo,
Octavio Malherbe,
Alexandre Miquel
Abstract:
We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they are equivalent for the purpose of modeling higher-order logic. We center our attentions in the role of a special kind of Ordered Combinatory Algebras-- that we call the "Krivine ordered combinatory algebras" (…
▽ More
We consider different classes of combinatory structures related to Krivine realizability. We show, in the precise sense that they give rise to the same class of triposes, that they are equivalent for the purpose of modeling higher-order logic. We center our attentions in the role of a special kind of Ordered Combinatory Algebras-- that we call the "Krivine ordered combinatory algebras" ($\mathcal{KOCA}$s)-- that we propose as the foundational pillars for the categorical perspective of Krivine's classical realizability as presented by Streicher.
Our procedure is the following: we show that each of the considered combinatory structures gives rise to an indexed preorder, and describe a way to transform the different structures into each other that preserves the associated indexed preorders up to equivalence. Since all structures give rise to the same indexed preorders, we only prove that they are triposes once: for the class of $\mathcal{KOCA}$s.
We finish showing that in $\mathcal{KOCA}$s, one can define realizability in every higher-order language and in particular in higher-order arithmetic.
△ Less
Submitted 19 October, 2014;
originally announced October 2014.
-
Almost involutive Hopf algebras
Authors:
Andrés Abella,
Walter Ferrer Santos
Abstract:
We define the concept of \emph{companion automorphism} of a Hopf algebra $H$ as an automorphism $σ:H \rightarrow H$: $σ^2=S^2$ --where $S$ denotes the antipode--. A Hopf algebra is said to be \emph{almost involutive} (AI) if it admits a companion automorphism that can be viewed as a special additional symmetry. We present examples and study some of the basic properties and constructions of AI-Hopf…
▽ More
We define the concept of \emph{companion automorphism} of a Hopf algebra $H$ as an automorphism $σ:H \rightarrow H$: $σ^2=S^2$ --where $S$ denotes the antipode--. A Hopf algebra is said to be \emph{almost involutive} (AI) if it admits a companion automorphism that can be viewed as a special additional symmetry. We present examples and study some of the basic properties and constructions of AI-Hopf algebras centering the attention in the finite dimensional case. In particular we show that within the family of Hopf algebras of dimension smaller or equal than 15, only in dimension eight and twelve, there are non almost involutive Hopf algebras.
△ Less
Submitted 28 November, 2013;
originally announced November 2013.
-
Some constructions of compact quantum groups
Authors:
Andrés Abella,
Walter Ferrer Santos,
Mariana Haim
Abstract:
The purpose of this paper is to consider some basic constructions in the category of compact quantum groups --for example de case of extensions, of Drinfeld twists, of matched pairs, of extensions, of linked pairs and of cocycle Singer pairs -- with special emphasis in the finite dimensional situation. We give conditions, in some cases necessary and sufficient, to extend to the new objects the ori…
▽ More
The purpose of this paper is to consider some basic constructions in the category of compact quantum groups --for example de case of extensions, of Drinfeld twists, of matched pairs, of extensions, of linked pairs and of cocycle Singer pairs -- with special emphasis in the finite dimensional situation. We give conditions, in some cases necessary and sufficient, to extend to the new objects the original compact structure. We illustrate the results in the case of matched pairs of groups.
△ Less
Submitted 24 September, 2013;
originally announced September 2013.
-
A Report on Realizability
Authors:
Walter Ferrer Santos,
Mauricio Guillermo,
Octavio Malherbe
Abstract:
Besides recalling the basic definitions of Realizability Lattices, Abstract Krivine Structures, Ordered Combinatory Algebras and Tripos and reviewing its relationships, we propose a new foundational framework for realizability. Motivated by Streicher's paper "Krivine's Classical Realizability from a Categorical Perspective" [9], we define the concept of Krivine's Ordered Combinatory Algebras (kOKA…
▽ More
Besides recalling the basic definitions of Realizability Lattices, Abstract Krivine Structures, Ordered Combinatory Algebras and Tripos and reviewing its relationships, we propose a new foundational framework for realizability. Motivated by Streicher's paper "Krivine's Classical Realizability from a Categorical Perspective" [9], we define the concept of Krivine's Ordered Combinatory Algebras (kOKA) as a common platform that is strong enough to do both: categorical and computational semantics. The OCAs produced by Streicher from AKSs in [9] are particular cases of kOKAs.
△ Less
Submitted 29 September, 2013; v1 submitted 3 September, 2013;
originally announced September 2013.
-
Aerothermodynamic Analysis of a Reentry Brazilian Satellite
Authors:
Wilson F. N. Santos
Abstract:
This work deals with a computational investigation on the small ballistic reentry Brazilian vehicle SARA (acronyms for SAtélite de Reentrada Atmosférica). Hypersonic flows over the vehicle SARA at zero-degree angle of attack in a chemical equilibrium and thermal non-equilibrium are modeled by the Direct Simulation Monte Carlo (DSMC) method, which has become the main technique for studying complex…
▽ More
This work deals with a computational investigation on the small ballistic reentry Brazilian vehicle SARA (acronyms for SAtélite de Reentrada Atmosférica). Hypersonic flows over the vehicle SARA at zero-degree angle of attack in a chemical equilibrium and thermal non-equilibrium are modeled by the Direct Simulation Monte Carlo (DSMC) method, which has become the main technique for studying complex multidimensional rarefied flows, and that properly accounts for the non-equilibrium aspects of the flows. The emphasis of this paper is to examine the behavior of the primary properties during the high altitude portion of SARA reentry. In this way, velocity, density, pressure and temperature field are investigated for altitudes of 100, 95, 90, 85 and 80 km. In addition, comparisons based on geometry are made between axisymmetric and planar two-dimensional configurations. Some significant differences between these configurations were noted on the flowfield structure in the reentry trajectory. The analysis showed that the flow disturbances have different influence on velocity, density, pressure and temperature along the stagnation streamline ahead of the capsule nose. It was found that the stagnation region is a thermally stressed zone. It was also found that the stagnation region is a zone of strong compression, high wall pressure. Wall pressure distributions are compared with those of available experimental data and good agreement is found along the spherical nose for the altitude range investigated.
△ Less
Submitted 11 September, 2012;
originally announced September 2012.
-
Gerhard Hochschild (1915/2010) A Mathematician of the XXth Century
Authors:
Walter Ferrer Santos
Abstract:
Gerhard Hochschild's contribution to the development of mathematics in the XX century is succinctly surveyed. We start with a personal and mathematical biography, and then consider with certain detail his contributions to algebraic groups and Hopf algebras.
Gerhard Hochschild's contribution to the development of mathematics in the XX century is succinctly surveyed. We start with a personal and mathematical biography, and then consider with certain detail his contributions to algebraic groups and Hopf algebras.
△ Less
Submitted 2 April, 2011;
originally announced April 2011.
-
Compact coalgebras, compact quantum groups and the positive antipode
Authors:
A. Abella,
W. Ferrer Santos,
M. Haim
Abstract:
In this article -that has also the intention to survey some known results in the theory of compact quantum groups using methods different from the standard and with a strong algebraic flavor- we consider compact o-coalgebras and Hopf algebras. In the case of a o-Hopf algebra we present a proof of the characterization of the compactness in terms of the existence of a positive definite integral, a…
▽ More
In this article -that has also the intention to survey some known results in the theory of compact quantum groups using methods different from the standard and with a strong algebraic flavor- we consider compact o-coalgebras and Hopf algebras. In the case of a o-Hopf algebra we present a proof of the characterization of the compactness in terms of the existence of a positive definite integral, and use our methods to give an elementary proof of the uniqueness - up to conjugation by an automorphism of Hopf algebras- of the compact involution appearing in [4]. We study the basic properties of the positive square root of the antipode square that is a Hopf algebra automorphism that we call the positive antipode. We use it -as well as the unitary antipode and the Nakayama automorphism- in order to enhance our understanding of the antipode itself.
△ Less
Submitted 7 July, 2009;
originally announced July 2009.
-
The beginnings of the theory of Hopf algebras
Authors:
Nicolas Andruskiewitsch,
Walter Ferrer Santos
Abstract:
We consider issues related to the origins, sources and initial motivations of the theory of Hopf algebras. We consider the two main sources of primeval development: algebraic topology and algebraic group theory. Hopf algebras are named from the work of Heinz Hopf in the 1940's. In this note we trace the infancy of the subject back to papers from the 40's, 50's and 60's in the two areas mentioned…
▽ More
We consider issues related to the origins, sources and initial motivations of the theory of Hopf algebras. We consider the two main sources of primeval development: algebraic topology and algebraic group theory. Hopf algebras are named from the work of Heinz Hopf in the 1940's. In this note we trace the infancy of the subject back to papers from the 40's, 50's and 60's in the two areas mentioned above. Many times we just describe -- and/or transcribe parts of -- some of the relevant original papers on the subject.
△ Less
Submitted 17 March, 2009; v1 submitted 16 January, 2009;
originally announced January 2009.
-
Monoidal categories of comodules for coquasi Hopf algebras and Radford's formula
Authors:
Walter Ferrer Santos,
Ignacio Lopez Franco
Abstract:
We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the category of Hopf modules. We present a categorical proof of Radford's $S^4$ formula for the case of a finite dimensional coquasi Hopf algebra, by establishing…
▽ More
We study the basic monoidal properties of the category of Hopf modules for a coquasi Hopf algebra. In particular we discuss the so called fundamental theorem that establishes a monoidal equivalence between the category of comodules and the category of Hopf modules. We present a categorical proof of Radford's $S^4$ formula for the case of a finite dimensional coquasi Hopf algebra, by establishing a monoidal isomorphism between certain double dual functors.
△ Less
Submitted 7 January, 2008;
originally announced January 2008.
-
Radford's formula for biFrobenius algebras and applications
Authors:
Walter Ferrer Santos,
Mariana Haim
Abstract:
In a biFrobenius algebra H, in particular in the case that H is a finite dimensional Hopf algebra, the antipode S can be decomposed as S= cf where c and f are the Frobenius and coFrobenius isomorphisms. We use this decomposition to present an easy proof of Radford's formula for the fourth composition power of S. Then, in the case that the map S is the convolution inverse of the identity, we prov…
▽ More
In a biFrobenius algebra H, in particular in the case that H is a finite dimensional Hopf algebra, the antipode S can be decomposed as S= cf where c and f are the Frobenius and coFrobenius isomorphisms. We use this decomposition to present an easy proof of Radford's formula for the fourth composition power of S. Then, in the case that the map S is the convolution inverse of the identity, we prove the trace formula for the trace of the square of S. We finish by applying the above results to study the semisimplicity and cosemisimplicity of H.
△ Less
Submitted 22 June, 2006;
originally announced June 2006.
-
Generalized Cayley's $Ω$-processes
Authors:
Walter Ferrer Santos,
Alvaro Rittatore
Abstract:
In this paper we generalize some constructions and results due to Cayley and Hilbert. We define the concept of $Ω$--process for an arbitrary algebraic monoid with zero and unit group $G$. Then we show how to produce from the process and for a linear rational representation of $G$, a number of elements of the ring of $G$-invariants, that is large enough as to guarantee its finite generation. More…
▽ More
In this paper we generalize some constructions and results due to Cayley and Hilbert. We define the concept of $Ω$--process for an arbitrary algebraic monoid with zero and unit group $G$. Then we show how to produce from the process and for a linear rational representation of $G$, a number of elements of the ring of $G$-invariants, that is large enough as to guarantee its finite generation. Moreover, we give an explicit construction of all $Ω$-processes for general reductive monoids and, in the case of the monoid of all the $n^2$ matrices, compare our construction with Cayley's definition.
△ Less
Submitted 23 August, 2005;
originally announced August 2005.